Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541800144.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-318, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 661K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589099184095

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 318
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458556 SOS 744615 HAS SOPS 744615 HAS SOUS 686857 HAS SOUPS 686857 WITH SCORE 687601.615
AT ITER 12 NEW BEST:: SOT 4458002 SOS 743852 HAS SOPS 743852 HAS SOUS 686007 HAS SOUPS 686007 WITH SCORE 686750.852
AT ITER 47 NEW BEST:: SOT 4458001 SOS 743821 HAS SOPS 743821 HAS SOUS 685977 HAS SOUPS 685977 WITH SCORE 686720.821
AT ITER 49 NEW BEST:: SOT 4457818 SOS 743455 HAS SOPS 743455 HAS SOUS 685866 HAS SOUPS 685866 WITH SCORE 686609.455
AT ITER 53 NEW BEST:: SOT 4457956 SOS 743731 HAS SOPS 743731 HAS SOUS 685804 HAS SOUPS 685804 WITH SCORE 686547.731
AT ITER 73 NEW BEST:: SOT 4457956 SOS 743572 HAS SOPS 743572 HAS SOUS 685804 HAS SOUPS 685804 WITH SCORE 686547.572
AT ITER 79 NEW BEST:: SOT 4458087 SOS 743834 HAS SOPS 743834 HAS SOUS 685755 HAS SOUPS 685755 WITH SCORE 686498.834
AT ITER 80 NEW BEST:: SOT 4458089 SOS 743838 HAS SOPS 743838 HAS SOUS 685570 HAS SOUPS 685570 WITH SCORE 686313.838
AT ITER 86 NEW BEST:: SOT 4457714 SOS 743710 HAS SOPS 743710 HAS SOUS 685279 HAS SOUPS 685279 WITH SCORE 686022.71
AT ITER 143 NEW BEST:: SOT 4457644 SOS 743570 HAS SOPS 743570 HAS SOUS 685139 HAS SOUPS 685139 WITH SCORE 685882.57
AT ITER 151 NEW BEST:: SOT 4457503 SOS 743580 HAS SOPS 743580 HAS SOUS 685071 HAS SOUPS 685071 WITH SCORE 685814.58
AT ITER 156 NEW BEST:: SOT 4457364 SOS 743441 HAS SOPS 743441 HAS SOUS 684932 HAS SOUPS 684932 WITH SCORE 685675.441
AT ITER 160 NEW BEST:: SOT 4457166 SOS 743243 HAS SOPS 743243 HAS SOUS 684734 HAS SOUPS 684734 WITH SCORE 685477.243
AT ITER 164 NEW BEST:: SOT 4457166 SOS 742985 HAS SOPS 742985 HAS SOUS 684734 HAS SOUPS 684734 WITH SCORE 685476.985
AT ITER 182 NEW BEST:: SOT 4457165 SOS 742983 HAS SOPS 742983 HAS SOUS 684732 HAS SOUPS 684732 WITH SCORE 685474.983
AT ITER 200 NEW BEST:: SOT 4457165 SOS 742721 HAS SOPS 742721 HAS SOUS 684732 HAS SOUPS 684732 WITH SCORE 685474.721
AT ITER 204 NEW BEST:: SOT 4457126 SOS 742643 HAS SOPS 742643 HAS SOUS 684654 HAS SOUPS 684654 WITH SCORE 685396.643
AT ITER 238 NEW BEST:: SOT 4456848 SOS 742087 HAS SOPS 742087 HAS SOUS 684098 HAS SOUPS 684098 WITH SCORE 684840.087
AT ITER 239 NEW BEST:: SOT 4456973 SOS 741905 HAS SOPS 741905 HAS SOUS 684007 HAS SOUPS 684007 WITH SCORE 684748.905
AT ITER 251 NEW BEST:: SOT 4456619 SOS 741905 HAS SOPS 741905 HAS SOUS 683830 HAS SOUPS 683830 WITH SCORE 684571.905
AT ITER 266 NEW BEST:: SOT 4456699 SOS 741527 HAS SOPS 741527 HAS SOUS 683641 HAS SOUPS 683641 WITH SCORE 684382.527
AT ITER 276 NEW BEST:: SOT 4456520 SOS 741169 HAS SOPS 741169 HAS SOUS 683283 HAS SOUPS 683283 WITH SCORE 684024.169
AT ITER 281 NEW BEST:: SOT 4456520 SOS 741169 HAS SOPS 741169 HAS SOUS 683232 HAS SOUPS 683232 WITH SCORE 683973.169
AT ITER 287 NEW BEST:: SOT 4456478 SOS 741127 HAS SOPS 741127 HAS SOUS 683190 HAS SOUPS 683190 WITH SCORE 683931.127
AT ITER 304 NEW BEST:: SOT 4456308 SOS 741411 HAS SOPS 741411 HAS SOUS 683098 HAS SOUPS 683098 WITH SCORE 683839.411
AT ITER 310 NEW BEST:: SOT 4455959 SOS 740713 HAS SOPS 740713 HAS SOUS 682400 HAS SOUPS 682400 WITH SCORE 683140.713
AT ITER 333 NEW BEST:: SOT 4455787 SOS 740569 HAS SOPS 740569 HAS SOUS 682256 HAS SOUPS 682256 WITH SCORE 682996.569
AT ITER 339 NEW BEST:: SOT 4455728 SOS 740533 HAS SOPS 740533 HAS SOUS 682220 HAS SOUPS 682220 WITH SCORE 682960.533
AT ITER 346 NEW BEST:: SOT 4455567 SOS 740211 HAS SOPS 740211 HAS SOUS 681898 HAS SOUPS 681898 WITH SCORE 682638.211
AT ITER 378 NEW BEST:: SOT 4455494 SOS 740065 HAS SOPS 740065 HAS SOUS 681825 HAS SOUPS 681825 WITH SCORE 682565.065
AT ITER 379 NEW BEST:: SOT 4455354 SOS 739951 HAS SOPS 739951 HAS SOUS 681697 HAS SOUPS 681697 WITH SCORE 682436.951
AT ITER 386 NEW BEST:: SOT 4455354 SOS 739788 HAS SOPS 739788 HAS SOUS 681697 HAS SOUPS 681697 WITH SCORE 682436.788
AT ITER 388 NEW BEST:: SOT 4455195 SOS 739240 HAS SOPS 739240 HAS SOUS 681192 HAS SOUPS 681192 WITH SCORE 681931.24
AT ITER 391 NEW BEST:: SOT 4454922 SOS 738694 HAS SOPS 738694 HAS SOUS 680646 HAS SOUPS 680646 WITH SCORE 681384.694
AT ITER 393 NEW BEST:: SOT 4454738 SOS 738546 HAS SOPS 738546 HAS SOUS 680498 HAS SOUPS 680498 WITH SCORE 681236.546
AT ITER 394 NEW BEST:: SOT 4454558 SOS 738529 HAS SOPS 738529 HAS SOUS 680354 HAS SOUPS 680354 WITH SCORE 681092.529
AT ITER 406 NEW BEST:: SOT 4454513 SOS 738439 HAS SOPS 738439 HAS SOUS 680264 HAS SOUPS 680264 WITH SCORE 681002.439
AT ITER 429 NEW BEST:: SOT 4454513 SOS 738439 HAS SOPS 738439 HAS SOUS 680263 HAS SOUPS 680263 WITH SCORE 681001.439
AT ITER 446 NEW BEST:: SOT 4454570 SOS 738233 HAS SOPS 738233 HAS SOUS 680057 HAS SOUPS 680057 WITH SCORE 680795.233
AT ITER 486 NEW BEST:: SOT 4454570 SOS 737928 HAS SOPS 737928 HAS SOUS 680057 HAS SOUPS 680057 WITH SCORE 680794.928
AT ITER 497 NEW BEST:: SOT 4454238 SOS 739073 HAS SOPS 739073 HAS SOUS 679998 HAS SOUPS 679998 WITH SCORE 680737.073
AT ITER 512 NEW BEST:: SOT 4454433 SOS 738461 HAS SOPS 738461 HAS SOUS 679523 HAS SOUPS 679523 WITH SCORE 680261.461
AT ITER 515 NEW BEST:: SOT 4454334 SOS 738362 HAS SOPS 738362 HAS SOUS 679424 HAS SOUPS 679424 WITH SCORE 680162.362
AT ITER 531 NEW BEST:: SOT 4451633 SOS 756781 HAS SOPS 756781 HAS SOUS 677001 HAS SOUPS 677001 WITH SCORE 677757.781
AT ITER 532 NEW BEST:: SOT 4451558 SOS 756876 HAS SOPS 756876 HAS SOUS 676971 HAS SOUPS 676971 WITH SCORE 677727.876
AT ITER 546 NEW BEST:: SOT 4451205 SOS 756534 HAS SOPS 756534 HAS SOUS 676618 HAS SOUPS 676618 WITH SCORE 677374.534
AT ITER 556 NEW BEST:: SOT 4451164 SOS 756566 HAS SOPS 756566 HAS SOUS 676591 HAS SOUPS 676591 WITH SCORE 677347.566
AT ITER 618 NEW BEST:: SOT 4451164 SOS 756566 HAS SOPS 756566 HAS SOUS 676590 HAS SOUPS 676590 WITH SCORE 677346.566
AT ITER 627 NEW BEST:: SOT 4451164 SOS 756566 HAS SOPS 756566 HAS SOUS 676587 HAS SOUPS 676587 WITH SCORE 677343.566
AT ITER 633 NEW BEST:: SOT 4451120 SOS 756478 HAS SOPS 756478 HAS SOUS 676499 HAS SOUPS 676499 WITH SCORE 677255.478
AT ITER 642 NEW BEST:: SOT 4451003 SOS 756244 HAS SOPS 756244 HAS SOUS 676142 HAS SOUPS 676142 WITH SCORE 676898.244
AT ITER 650 NEW BEST:: SOT 4450789 SOS 756031 HAS SOPS 756031 HAS SOUS 675929 HAS SOUPS 675929 WITH SCORE 676685.031
AT ITER 652 NEW BEST:: SOT 4450668 SOS 755600 HAS SOPS 755600 HAS SOUS 675619 HAS SOUPS 675619 WITH SCORE 676374.6
AT ITER 676 NEW BEST:: SOT 4450668 SOS 755600 HAS SOPS 755600 HAS SOUS 675450 HAS SOUPS 675450 WITH SCORE 676205.6
AT ITER 690 NEW BEST:: SOT 4450600 SOS 755464 HAS SOPS 755464 HAS SOUS 675138 HAS SOUPS 675138 WITH SCORE 675893.464
AT ITER 720 NEW BEST:: SOT 4450610 SOS 755484 HAS SOPS 755484 HAS SOUS 675124 HAS SOUPS 675124 WITH SCORE 675879.484
AT ITER 753 NEW BEST:: SOT 4450478 SOS 755385 HAS SOPS 755385 HAS SOUS 675025 HAS SOUPS 675025 WITH SCORE 675780.385
AT ITER 771 NEW BEST:: SOT 4450477 SOS 755383 HAS SOPS 755383 HAS SOUS 675023 HAS SOUPS 675023 WITH SCORE 675778.383
AT ITER 782 NEW BEST:: SOT 4450262 SOS 754953 HAS SOPS 754953 HAS SOUS 674593 HAS SOUPS 674593 WITH SCORE 675347.953
AT ITER 785 NEW BEST:: SOT 4450262 SOS 754612 HAS SOPS 754612 HAS SOUS 674593 HAS SOUPS 674593 WITH SCORE 675347.612
AT ITER 822 NEW BEST:: SOT 4450102 SOS 754292 HAS SOPS 754292 HAS SOUS 674510 HAS SOUPS 674510 WITH SCORE 675264.292
AT ITER 893 NEW BEST:: SOT 4450101 SOS 754290 HAS SOPS 754290 HAS SOUS 674508 HAS SOUPS 674508 WITH SCORE 675262.29
AT ITER 913 NEW BEST:: SOT 4450117 SOS 753695 HAS SOPS 753695 HAS SOUS 674053 HAS SOUPS 674053 WITH SCORE 674806.695
AT ITER 917 NEW BEST:: SOT 4450299 SOS 754059 HAS SOPS 754059 HAS SOUS 673838 HAS SOUPS 673838 WITH SCORE 674592.059
AT ITER 923 NEW BEST:: SOT 4450116 SOS 753897 HAS SOPS 753897 HAS SOUS 673655 HAS SOUPS 673655 WITH SCORE 674408.897
AT ITER 961 NEW BEST:: SOT 4450032 SOS 753729 HAS SOPS 753729 HAS SOUS 673487 HAS SOUPS 673487 WITH SCORE 674240.729
AT ITER 962 NEW BEST:: SOT 4450032 SOS 753580 HAS SOPS 753580 HAS SOUS 673486 HAS SOUPS 673486 WITH SCORE 674239.58
AT ITER 970 NEW BEST:: SOT 4450022 SOS 753560 HAS SOPS 753560 HAS SOUS 673466 HAS SOUPS 673466 WITH SCORE 674219.56
AT ITER 1086 NEW BEST:: SOT 4450009 SOS 753530 HAS SOPS 753530 HAS SOUS 673436 HAS SOUPS 673436 WITH SCORE 674189.53
AT ITER 1103 NEW BEST:: SOT 4449931 SOS 753488 HAS SOPS 753488 HAS SOUS 673358 HAS SOUPS 673358 WITH SCORE 674111.488
AT ITER 1110 NEW BEST:: SOT 4449845 SOS 753316 HAS SOPS 753316 HAS SOUS 673186 HAS SOUPS 673186 WITH SCORE 673939.316
AT ITER 1112 NEW BEST:: SOT 4449574 SOS 752774 HAS SOPS 752774 HAS SOUS 673040 HAS SOUPS 673040 WITH SCORE 673792.774
AT ITER 1138 NEW BEST:: SOT 4449234 SOS 753003 HAS SOPS 753003 HAS SOUS 672845 HAS SOUPS 672845 WITH SCORE 673598.003
AT ITER 1158 NEW BEST:: SOT 4448990 SOS 752759 HAS SOPS 752759 HAS SOUS 672601 HAS SOUPS 672601 WITH SCORE 673353.759
AT ITER 1176 NEW BEST:: SOT 4448908 SOS 752595 HAS SOPS 752595 HAS SOUS 672437 HAS SOUPS 672437 WITH SCORE 673189.595
AT ITER 1187 NEW BEST:: SOT 4448873 SOS 752525 HAS SOPS 752525 HAS SOUS 672402 HAS SOUPS 672402 WITH SCORE 673154.525
AT ITER 1227 NEW BEST:: SOT 4448873 SOS 752342 HAS SOPS 752342 HAS SOUS 672402 HAS SOUPS 672402 WITH SCORE 673154.342
AT ITER 1254 NEW BEST:: SOT 4448720 SOS 752189 HAS SOPS 752189 HAS SOUS 672249 HAS SOUPS 672249 WITH SCORE 673001.189
AT ITER 1255 NEW BEST:: SOT 4448647 SOS 752116 HAS SOPS 752116 HAS SOUS 672176 HAS SOUPS 672176 WITH SCORE 672928.116
AT ITER 1269 NEW BEST:: SOT 4448467 SOS 751396 HAS SOPS 751396 HAS SOUS 671732 HAS SOUPS 671732 WITH SCORE 672483.396
AT ITER 1277 NEW BEST:: SOT 4448326 SOS 751114 HAS SOPS 751114 HAS SOUS 671450 HAS SOUPS 671450 WITH SCORE 672201.114
AT ITER 1285 NEW BEST:: SOT 4447916 SOS 750730 HAS SOPS 750730 HAS SOUS 670903 HAS SOUPS 670903 WITH SCORE 671653.73
AT ITER 1336 NEW BEST:: SOT 4447916 SOS 750730 HAS SOPS 750730 HAS SOUS 670761 HAS SOUPS 670761 WITH SCORE 671511.73
AT ITER 1339 NEW BEST:: SOT 4447433 SOS 751112 HAS SOPS 751112 HAS SOUS 670396 HAS SOUPS 670396 WITH SCORE 671147.112
AT ITER 1355 NEW BEST:: SOT 4447430 SOS 751106 HAS SOPS 751106 HAS SOUS 670390 HAS SOUPS 670390 WITH SCORE 671141.106
AT ITER 1358 NEW BEST:: SOT 4447430 SOS 750771 HAS SOPS 750771 HAS SOUS 670055 HAS SOUPS 670055 WITH SCORE 670805.771
AT ITER 1376 NEW BEST:: SOT 4447370 SOS 750651 HAS SOPS 750651 HAS SOUS 669914 HAS SOUPS 669914 WITH SCORE 670664.651
AT ITER 1380 NEW BEST:: SOT 4447194 SOS 750299 HAS SOPS 750299 HAS SOUS 669281 HAS SOUPS 669281 WITH SCORE 670031.299
AT ITER 1431 NEW BEST:: SOT 4447148 SOS 750003 HAS SOPS 750003 HAS SOUS 669031 HAS SOUPS 669031 WITH SCORE 669781.003
AT ITER 1443 NEW BEST:: SOT 4446479 SOS 750329 HAS SOPS 750329 HAS SOUS 668544 HAS SOUPS 668544 WITH SCORE 669294.329
AT ITER 1444 NEW BEST:: SOT 4446479 SOS 750267 HAS SOPS 750267 HAS SOUS 668544 HAS SOUPS 668544 WITH SCORE 669294.267
AT ITER 1466 NEW BEST:: SOT 4446475 SOS 749845 HAS SOPS 749845 HAS SOUS 668232 HAS SOUPS 668232 WITH SCORE 668981.845
AT ITER 1469 NEW BEST:: SOT 4446474 SOS 749843 HAS SOPS 749843 HAS SOUS 668230 HAS SOUPS 668230 WITH SCORE 668979.843
AT ITER 1477 NEW BEST:: SOT 4446473 SOS 749841 HAS SOPS 749841 HAS SOUS 668228 HAS SOUPS 668228 WITH SCORE 668977.841
AT ITER 1484 NEW BEST:: SOT 4446438 SOS 749771 HAS SOPS 749771 HAS SOUS 668158 HAS SOUPS 668158 WITH SCORE 668907.771
AT ITER 1496 NEW BEST:: SOT 4446438 SOS 749414 HAS SOPS 749414 HAS SOUS 667801 HAS SOUPS 667801 WITH SCORE 668550.414
AT ITER 1517 NEW BEST:: SOT 4446339 SOS 749216 HAS SOPS 749216 HAS SOUS 667603 HAS SOUPS 667603 WITH SCORE 668352.216
AT ITER 1522 NEW BEST:: SOT 4446138 SOS 749412 HAS SOPS 749412 HAS SOUS 667249 HAS SOUPS 667249 WITH SCORE 667998.412
AT ITER 1543 NEW BEST:: SOT 4443720 SOS 761427 HAS SOPS 761427 HAS SOUS 665677 HAS SOUPS 665677 WITH SCORE 666438.427
AT ITER 1545 NEW BEST:: SOT 4443619 SOS 761366 HAS SOPS 761366 HAS SOUS 665512 HAS SOUPS 665512 WITH SCORE 666273.366
AT ITER 1556 NEW BEST:: SOT 4443704 SOS 761239 HAS SOPS 761239 HAS SOUS 665387 HAS SOUPS 665387 WITH SCORE 666148.239
AT ITER 1588 NEW BEST:: SOT 4443680 SOS 761191 HAS SOPS 761191 HAS SOUS 665339 HAS SOUPS 665339 WITH SCORE 666100.191
AT ITER 1597 NEW BEST:: SOT 4443456 SOS 760743 HAS SOPS 760743 HAS SOUS 664891 HAS SOUPS 664891 WITH SCORE 665651.743
AT ITER 1599 NEW BEST:: SOT 4443306 SOS 760443 HAS SOPS 760443 HAS SOUS 664591 HAS SOUPS 664591 WITH SCORE 665351.443
AT ITER 1612 NEW BEST:: SOT 4443121 SOS 760367 HAS SOPS 760367 HAS SOUS 664359 HAS SOUPS 664359 WITH SCORE 665119.367
AT ITER 1668 NEW BEST:: SOT 4443095 SOS 760315 HAS SOPS 760315 HAS SOUS 664307 HAS SOUPS 664307 WITH SCORE 665067.315
AT ITER 1669 NEW BEST:: SOT 4442995 SOS 760250 HAS SOPS 760250 HAS SOUS 664242 HAS SOUPS 664242 WITH SCORE 665002.25
AT ITER 1682 NEW BEST:: SOT 4442953 SOS 760222 HAS SOPS 760222 HAS SOUS 664214 HAS SOUPS 664214 WITH SCORE 664974.222
AT ITER 1684 NEW BEST:: SOT 4442863 SOS 760478 HAS SOPS 760478 HAS SOUS 664184 HAS SOUPS 664184 WITH SCORE 664944.478
AT ITER 1731 NEW BEST:: SOT 4442752 SOS 760478 HAS SOPS 760478 HAS SOUS 664090 HAS SOUPS 664090 WITH SCORE 664850.478
AT ITER 1742 NEW BEST:: SOT 4442750 SOS 760474 HAS SOPS 760474 HAS SOUS 664086 HAS SOUPS 664086 WITH SCORE 664846.474
AT ITER 1748 NEW BEST:: SOT 4442736 SOS 760446 HAS SOPS 760446 HAS SOUS 664072 HAS SOUPS 664072 WITH SCORE 664832.446
AT ITER 1749 NEW BEST:: SOT 4442590 SOS 760154 HAS SOPS 760154 HAS SOUS 663780 HAS SOUPS 663780 WITH SCORE 664540.154
AT ITER 1761 NEW BEST:: SOT 4442405 SOS 760306 HAS SOPS 760306 HAS SOUS 663710 HAS SOUPS 663710 WITH SCORE 664470.306
AT ITER 1763 NEW BEST:: SOT 4442116 SOS 760120 HAS SOPS 760120 HAS SOUS 663426 HAS SOUPS 663426 WITH SCORE 664186.12
AT ITER 1767 NEW BEST:: SOT 4442116 SOS 760108 HAS SOPS 760108 HAS SOUS 663414 HAS SOUPS 663414 WITH SCORE 664174.108
AT ITER 1798 NEW BEST:: SOT 4442116 SOS 760099 HAS SOPS 760099 HAS SOUS 663405 HAS SOUPS 663405 WITH SCORE 664165.099
AT ITER 1857 NEW BEST:: SOT 4442047 SOS 759892 HAS SOPS 759892 HAS SOUS 663335 HAS SOUPS 663335 WITH SCORE 664094.892
AT ITER 1868 NEW BEST:: SOT 4441746 SOS 759598 HAS SOPS 759598 HAS SOUS 663041 HAS SOUPS 663041 WITH SCORE 663800.598
AT ITER 1885 NEW BEST:: SOT 4441818 SOS 759464 HAS SOPS 759464 HAS SOUS 662974 HAS SOUPS 662974 WITH SCORE 663733.464
AT ITER 1898 NEW BEST:: SOT 4441798 SOS 759095 HAS SOPS 759095 HAS SOUS 662657 HAS SOUPS 662657 WITH SCORE 663416.095
AT ITER 1910 NEW BEST:: SOT 4441540 SOS 759359 HAS SOPS 759359 HAS SOUS 662594 HAS SOUPS 662594 WITH SCORE 663353.359
AT ITER 1929 NEW BEST:: SOT 4441459 SOS 759116 HAS SOPS 759116 HAS SOUS 662432 HAS SOUPS 662432 WITH SCORE 663191.116
AT ITER 1930 NEW BEST:: SOT 4441345 SOS 758733 HAS SOPS 758733 HAS SOUS 662163 HAS SOUPS 662163 WITH SCORE 662921.733
AT ITER 1934 NEW BEST:: SOT 4441218 SOS 758479 HAS SOPS 758479 HAS SOUS 662036 HAS SOUPS 662036 WITH SCORE 662794.479
AT ITER 1944 NEW BEST:: SOT 4441067 SOS 758177 HAS SOPS 758177 HAS SOUS 661734 HAS SOUPS 661734 WITH SCORE 662492.177
AT ITER 1945 NEW BEST:: SOT 4441047 SOS 758137 HAS SOPS 758137 HAS SOUS 661704 HAS SOUPS 661704 WITH SCORE 662462.137
AT ITER 1946 NEW BEST:: SOT 4441085 SOS 758213 HAS SOPS 758213 HAS SOUS 661589 HAS SOUPS 661589 WITH SCORE 662347.213
AT ITER 1970 NEW BEST:: SOT 4440852 SOS 757747 HAS SOPS 757747 HAS SOUS 661155 HAS SOUPS 661155 WITH SCORE 661912.747
AT ITER 2008 NEW BEST:: SOT 4440852 SOS 757342 HAS SOPS 757342 HAS SOUS 661155 HAS SOUPS 661155 WITH SCORE 661912.342
AT ITER 2029 NEW BEST:: SOT 4440723 SOS 757213 HAS SOPS 757213 HAS SOUS 661026 HAS SOUPS 661026 WITH SCORE 661783.213
AT ITER 2036 NEW BEST:: SOT 4440722 SOS 757211 HAS SOPS 757211 HAS SOUS 661024 HAS SOUPS 661024 WITH SCORE 661781.211
AT ITER 2040 NEW BEST:: SOT 4440157 SOS 757467 HAS SOPS 757467 HAS SOUS 660599 HAS SOUPS 660599 WITH SCORE 661356.467
AT ITER 2056 NEW BEST:: SOT 4440118 SOS 757240 HAS SOPS 757240 HAS SOUS 660411 HAS SOUPS 660411 WITH SCORE 661168.24
AT ITER 2071 NEW BEST:: SOT 4439983 SOS 756970 HAS SOPS 756970 HAS SOUS 660141 HAS SOUPS 660141 WITH SCORE 660897.97
AT ITER 2080 NEW BEST:: SOT 4439801 SOS 756901 HAS SOPS 756901 HAS SOUS 660034 HAS SOUPS 660034 WITH SCORE 660790.901
AT ITER 2081 NEW BEST:: SOT 4439801 SOS 756738 HAS SOPS 756738 HAS SOUS 660034 HAS SOUPS 660034 WITH SCORE 660790.738
AT ITER 2091 NEW BEST:: SOT 4437003 SOS 753940 HAS SOPS 753940 HAS SOUS 657282 HAS SOUPS 657282 WITH SCORE 658035.94
AT ITER 2093 NEW BEST:: SOT 4437003 SOS 753940 HAS SOPS 753940 HAS SOUS 657281 HAS SOUPS 657281 WITH SCORE 658034.94
AT ITER 2096 NEW BEST:: SOT 4436935 SOS 753872 HAS SOPS 753872 HAS SOUS 657213 HAS SOUPS 657213 WITH SCORE 657966.872
AT ITER 2099 NEW BEST:: SOT 4436719 SOS 753440 HAS SOPS 753440 HAS SOUS 656781 HAS SOUPS 656781 WITH SCORE 657534.44
AT ITER 2124 NEW BEST:: SOT 4436719 SOS 753380 HAS SOPS 753380 HAS SOUS 656781 HAS SOUPS 656781 WITH SCORE 657534.38
AT ITER 2131 NEW BEST:: SOT 4436735 SOS 753233 HAS SOPS 753233 HAS SOUS 656723 HAS SOUPS 656723 WITH SCORE 657476.233
AT ITER 2153 NEW BEST:: SOT 4436649 SOS 752680 HAS SOPS 752680 HAS SOUS 656518 HAS SOUPS 656518 WITH SCORE 657270.68
AT ITER 2167 NEW BEST:: SOT 4436697 SOS 752776 HAS SOPS 752776 HAS SOUS 656344 HAS SOUPS 656344 WITH SCORE 657096.776
AT ITER 2170 NEW BEST:: SOT 4436550 SOS 752207 HAS SOPS 752207 HAS SOUS 656050 HAS SOUPS 656050 WITH SCORE 656802.207
AT ITER 2184 NEW BEST:: SOT 4436438 SOS 751983 HAS SOPS 751983 HAS SOUS 655641 HAS SOUPS 655641 WITH SCORE 656392.983
AT ITER 2200 NEW BEST:: SOT 4436365 SOS 751910 HAS SOPS 751910 HAS SOUS 655568 HAS SOUPS 655568 WITH SCORE 656319.91
AT ITER 2204 NEW BEST:: SOT 4436366 SOS 751912 HAS SOPS 751912 HAS SOUS 655477 HAS SOUPS 655477 WITH SCORE 656228.912
AT ITER 2224 NEW BEST:: SOT 4436366 SOS 751878 HAS SOPS 751878 HAS SOUS 655476 HAS SOUPS 655476 WITH SCORE 656227.878
AT ITER 2234 NEW BEST:: SOT 4436366 SOS 751589 HAS SOPS 751589 HAS SOUS 655187 HAS SOUPS 655187 WITH SCORE 655938.589
AT ITER 2256 NEW BEST:: SOT 4436419 SOS 751565 HAS SOPS 751565 HAS SOUS 655163 HAS SOUPS 655163 WITH SCORE 655914.565
AT ITER 2302 NEW BEST:: SOT 4436291 SOS 751309 HAS SOPS 751309 HAS SOUS 655035 HAS SOUPS 655035 WITH SCORE 655786.309
AT ITER 2320 NEW BEST:: SOT 4435487 SOS 750505 HAS SOPS 750505 HAS SOUS 654231 HAS SOUPS 654231 WITH SCORE 654981.505
AT ITER 2358 NEW BEST:: SOT 4435333 SOS 750197 HAS SOPS 750197 HAS SOUS 654077 HAS SOUPS 654077 WITH SCORE 654827.197
AT ITER 2375 NEW BEST:: SOT 4434967 SOS 749465 HAS SOPS 749465 HAS SOUS 653481 HAS SOUPS 653481 WITH SCORE 654230.465
AT ITER 2396 NEW BEST:: SOT 4434877 SOS 749375 HAS SOPS 749375 HAS SOUS 653391 HAS SOUPS 653391 WITH SCORE 654140.375
AT ITER 2397 NEW BEST:: SOT 4434743 SOS 749107 HAS SOPS 749107 HAS SOUS 653123 HAS SOUPS 653123 WITH SCORE 653872.107
AT ITER 2398 NEW BEST:: SOT 4434742 SOS 748849 HAS SOPS 748849 HAS SOUS 653121 HAS SOUPS 653121 WITH SCORE 653869.849
AT ITER 2409 NEW BEST:: SOT 4434807 SOS 748664 HAS SOPS 748664 HAS SOUS 653051 HAS SOUPS 653051 WITH SCORE 653799.664
AT ITER 2419 NEW BEST:: SOT 4434743 SOS 747896 HAS SOPS 747896 HAS SOUS 652987 HAS SOUPS 652987 WITH SCORE 653734.896
AT ITER 2440 NEW BEST:: SOT 4434475 SOS 747360 HAS SOPS 747360 HAS SOUS 652451 HAS SOUPS 652451 WITH SCORE 653198.36
AT ITER 2461 NEW BEST:: SOT 4434375 SOS 747060 HAS SOPS 747060 HAS SOUS 652251 HAS SOUPS 652251 WITH SCORE 652998.06
AT ITER 2466 NEW BEST:: SOT 4434375 SOS 747060 HAS SOPS 747060 HAS SOUS 652171 HAS SOUPS 652171 WITH SCORE 652918.06
AT ITER 2480 NEW BEST:: SOT 4434375 SOS 746918 HAS SOPS 746918 HAS SOUS 652170 HAS SOUPS 652170 WITH SCORE 652916.918
AT ITER 2493 NEW BEST:: SOT 4434375 SOS 746699 HAS SOPS 746699 HAS SOUS 651951 HAS SOUPS 651951 WITH SCORE 652697.699
AT ITER 2524 NEW BEST:: SOT 4434374 SOS 746697 HAS SOPS 746697 HAS SOUS 651949 HAS SOUPS 651949 WITH SCORE 652695.697
AT ITER 2579 NEW BEST:: SOT 4434308 SOS 746194 HAS SOPS 746194 HAS SOUS 651817 HAS SOUPS 651817 WITH SCORE 652563.194
AT ITER 2604 NEW BEST:: SOT 4433967 SOS 746180 HAS SOPS 746180 HAS SOUS 651642 HAS SOUPS 651642 WITH SCORE 652388.18
AT ITER 2614 NEW BEST:: SOT 4433966 SOS 746126 HAS SOPS 746126 HAS SOUS 651588 HAS SOUPS 651588 WITH SCORE 652334.126
AT ITER 2618 NEW BEST:: SOT 4433715 SOS 745624 HAS SOPS 745624 HAS SOUS 651337 HAS SOUPS 651337 WITH SCORE 652082.624
AT ITER 2620 NEW BEST:: SOT 4433556 SOS 745306 HAS SOPS 745306 HAS SOUS 651337 HAS SOUPS 651337 WITH SCORE 652082.306
AT ITER 2643 NEW BEST:: SOT 4432550 SOS 744949 HAS SOPS 744949 HAS SOUS 650662 HAS SOUPS 650662 WITH SCORE 651406.949
AT ITER 2666 NEW BEST:: SOT 4432550 SOS 744864 HAS SOPS 744864 HAS SOUS 650662 HAS SOUPS 650662 WITH SCORE 651406.864
AT ITER 2696 NEW BEST:: SOT 4432483 SOS 744730 HAS SOPS 744730 HAS SOUS 650528 HAS SOUPS 650528 WITH SCORE 651272.73
AT ITER 2700 NEW BEST:: SOT 4432271 SOS 744306 HAS SOPS 744306 HAS SOUS 650104 HAS SOUPS 650104 WITH SCORE 650848.306
AT ITER 2743 NEW BEST:: SOT 4431874 SOS 744472 HAS SOPS 744472 HAS SOUS 649981 HAS SOUPS 649981 WITH SCORE 650725.472
AT ITER 2749 NEW BEST:: SOT 4431874 SOS 744314 HAS SOPS 744314 HAS SOUS 649981 HAS SOUPS 649981 WITH SCORE 650725.314
AT ITER 2750 NEW BEST:: SOT 4431827 SOS 744220 HAS SOPS 744220 HAS SOUS 649887 HAS SOUPS 649887 WITH SCORE 650631.22
AT ITER 2776 NEW BEST:: SOT 4431942 SOS 744238 HAS SOPS 744238 HAS SOUS 649632 HAS SOUPS 649632 WITH SCORE 650376.238
AT ITER 2790 NEW BEST:: SOT 4432023 SOS 744400 HAS SOPS 744400 HAS SOUS 649466 HAS SOUPS 649466 WITH SCORE 650210.4
AT ITER 2824 NEW BEST:: SOT 4431800 SOS 744256 HAS SOPS 744256 HAS SOUS 649271 HAS SOUPS 649271 WITH SCORE 650015.256
AT ITER 2833 NEW BEST:: SOT 4431800 SOS 744172 HAS SOPS 744172 HAS SOUS 649187 HAS SOUPS 649187 WITH SCORE 649931.172
AT ITER 2854 NEW BEST:: SOT 4431651 SOS 743874 HAS SOPS 743874 HAS SOUS 648889 HAS SOUPS 648889 WITH SCORE 649632.874
AT ITER 2855 NEW BEST:: SOT 4431593 SOS 743787 HAS SOPS 743787 HAS SOUS 648802 HAS SOUPS 648802 WITH SCORE 649545.787
AT ITER 2858 NEW BEST:: SOT 4431593 SOS 743787 HAS SOPS 743787 HAS SOUS 648801 HAS SOUPS 648801 WITH SCORE 649544.787
AT ITER 2862 NEW BEST:: SOT 4431581 SOS 743763 HAS SOPS 743763 HAS SOUS 648777 HAS SOUPS 648777 WITH SCORE 649520.763
AT ITER 2867 NEW BEST:: SOT 4431429 SOS 743705 HAS SOPS 743705 HAS SOUS 648473 HAS SOUPS 648473 WITH SCORE 649216.705
AT ITER 2888 NEW BEST:: SOT 4431442 SOS 743731 HAS SOPS 743731 HAS SOUS 648379 HAS SOUPS 648379 WITH SCORE 649122.731
AT ITER 2902 NEW BEST:: SOT 4431442 SOS 743731 HAS SOPS 743731 HAS SOUS 648354 HAS SOUPS 648354 WITH SCORE 649097.731
AT ITER 2910 NEW BEST:: SOT 4431189 SOS 743478 HAS SOPS 743478 HAS SOUS 648101 HAS SOUPS 648101 WITH SCORE 648844.478
AT ITER 2912 NEW BEST:: SOT 4431115 SOS 743330 HAS SOPS 743330 HAS SOUS 647953 HAS SOUPS 647953 WITH SCORE 648696.33
AT ITER 2962 NEW BEST:: SOT 4431330 SOS 743422 HAS SOPS 743422 HAS SOUS 647907 HAS SOUPS 647907 WITH SCORE 648650.422
AT ITER 2990 NEW BEST:: SOT 4431330 SOS 743204 HAS SOPS 743204 HAS SOUS 647907 HAS SOUPS 647907 WITH SCORE 648650.204
AT ITER 2991 NEW BEST:: SOT 4431156 SOS 743076 HAS SOPS 743076 HAS SOUS 647777 HAS SOUPS 647777 WITH SCORE 648520.076
AT ITER 3061 NEW BEST:: SOT 4430902 SOS 742568 HAS SOPS 742568 HAS SOUS 647269 HAS SOUPS 647269 WITH SCORE 648011.568
AT ITER 3067 NEW BEST:: SOT 4430726 SOS 742392 HAS SOPS 742392 HAS SOUS 647093 HAS SOUPS 647093 WITH SCORE 647835.392
AT ITER 3068 NEW BEST:: SOT 4430726 SOS 742361 HAS SOPS 742361 HAS SOUS 647062 HAS SOUPS 647062 WITH SCORE 647804.361
AT ITER 3073 NEW BEST:: SOT 4430133 SOS 742463 HAS SOPS 742463 HAS SOUS 646586 HAS SOUPS 646586 WITH SCORE 647328.463
AT ITER 3079 NEW BEST:: SOT 4430133 SOS 742232 HAS SOPS 742232 HAS SOUS 646586 HAS SOUPS 646586 WITH SCORE 647328.232
AT ITER 3087 NEW BEST:: SOT 4430132 SOS 742230 HAS SOPS 742230 HAS SOUS 646584 HAS SOUPS 646584 WITH SCORE 647326.23
AT ITER 3093 NEW BEST:: SOT 4430114 SOS 742194 HAS SOPS 742194 HAS SOUS 646548 HAS SOUPS 646548 WITH SCORE 647290.194
AT ITER 3094 NEW BEST:: SOT 4429940 SOS 742209 HAS SOPS 742209 HAS SOUS 646146 HAS SOUPS 646146 WITH SCORE 646888.209
AT ITER 3112 NEW BEST:: SOT 4429418 SOS 741661 HAS SOPS 741661 HAS SOUS 645633 HAS SOUPS 645633 WITH SCORE 646374.661
AT ITER 3141 NEW BEST:: SOT 4429331 SOS 741388 HAS SOPS 741388 HAS SOUS 645459 HAS SOUPS 645459 WITH SCORE 646200.388
AT ITER 3147 NEW BEST:: SOT 4429331 SOS 741388 HAS SOPS 741388 HAS SOUS 645450 HAS SOUPS 645450 WITH SCORE 646191.388
AT ITER 3160 NEW BEST:: SOT 4429211 SOS 741148 HAS SOPS 741148 HAS SOUS 645330 HAS SOUPS 645330 WITH SCORE 646071.148
AT ITER 3166 NEW BEST:: SOT 4429187 SOS 740850 HAS SOPS 740850 HAS SOUS 645062 HAS SOUPS 645062 WITH SCORE 645802.85
AT ITER 3167 NEW BEST:: SOT 4429090 SOS 740656 HAS SOPS 740656 HAS SOUS 644739 HAS SOUPS 644739 WITH SCORE 645479.656
AT ITER 3178 NEW BEST:: SOT 4429090 SOS 740656 HAS SOPS 740656 HAS SOUS 644545 HAS SOUPS 644545 WITH SCORE 645285.656
AT ITER 3192 NEW BEST:: SOT 4429087 SOS 740650 HAS SOPS 740650 HAS SOUS 644507 HAS SOUPS 644507 WITH SCORE 645247.65
AT ITER 3224 NEW BEST:: SOT 4429087 SOS 740633 HAS SOPS 740633 HAS SOUS 644507 HAS SOUPS 644507 WITH SCORE 645247.633
AT ITER 3225 NEW BEST:: SOT 4429087 SOS 740323 HAS SOPS 740323 HAS SOUS 644507 HAS SOUPS 644507 WITH SCORE 645247.323
AT ITER 3238 NEW BEST:: SOT 4428916 SOS 740174 HAS SOPS 740174 HAS SOUS 644336 HAS SOUPS 644336 WITH SCORE 645076.174
AT ITER 3260 NEW BEST:: SOT 4428726 SOS 740166 HAS SOPS 740166 HAS SOUS 644316 HAS SOUPS 644316 WITH SCORE 645056.166
AT ITER 3289 NEW BEST:: SOT 4428638 SOS 739990 HAS SOPS 739990 HAS SOUS 644228 HAS SOUPS 644228 WITH SCORE 644967.99
AT ITER 3321 NEW BEST:: SOT 4428638 SOS 739713 HAS SOPS 739713 HAS SOUS 644228 HAS SOUPS 644228 WITH SCORE 644967.713
AT ITER 3326 NEW BEST:: SOT 4428609 SOS 739655 HAS SOPS 739655 HAS SOUS 644073 HAS SOUPS 644073 WITH SCORE 644812.655
AT ITER 3331 NEW BEST:: SOT 4428542 SOS 739294 HAS SOPS 739294 HAS SOUS 643771 HAS SOUPS 643771 WITH SCORE 644510.294
AT ITER 3352 NEW BEST:: SOT 4428542 SOS 739220 HAS SOPS 739220 HAS SOUS 643771 HAS SOUPS 643771 WITH SCORE 644510.22
AT ITER 3362 NEW BEST:: SOT 4428346 SOS 738828 HAS SOPS 738828 HAS SOUS 643379 HAS SOUPS 643379 WITH SCORE 644117.828
AT ITER 3381 NEW BEST:: SOT 4428346 SOS 738805 HAS SOPS 738805 HAS SOUS 643379 HAS SOUPS 643379 WITH SCORE 644117.805
AT ITER 3405 NEW BEST:: SOT 4428135 SOS 738383 HAS SOPS 738383 HAS SOUS 642957 HAS SOUPS 642957 WITH SCORE 643695.383
AT ITER 3410 NEW BEST:: SOT 4428565 SOS 738636 HAS SOPS 738636 HAS SOUS 642780 HAS SOUPS 642780 WITH SCORE 643518.636
AT ITER 3460 NEW BEST:: SOT 4428651 SOS 739566 HAS SOPS 739566 HAS SOUS 642494 HAS SOUPS 642494 WITH SCORE 643233.566
AT ITER 3467 NEW BEST:: SOT 4428600 SOS 739464 HAS SOPS 739464 HAS SOUS 642440 HAS SOUPS 642440 WITH SCORE 643179.464
AT ITER 3490 NEW BEST:: SOT 4428599 SOS 739462 HAS SOPS 739462 HAS SOUS 642438 HAS SOUPS 642438 WITH SCORE 643177.462
AT ITER 3500 NEW BEST:: SOT 4428479 SOS 739222 HAS SOPS 739222 HAS SOUS 642198 HAS SOUPS 642198 WITH SCORE 642937.222
AT ITER 3501 NEW BEST:: SOT 4428424 SOS 739335 HAS SOPS 739335 HAS SOUS 642143 HAS SOUPS 642143 WITH SCORE 642882.335
AT ITER 3512 NEW BEST:: SOT 4428424 SOS 739335 HAS SOPS 739335 HAS SOUS 642140 HAS SOUPS 642140 WITH SCORE 642879.335
AT ITER 3522 NEW BEST:: SOT 4428212 SOS 739309 HAS SOPS 739309 HAS SOUS 642114 HAS SOUPS 642114 WITH SCORE 642853.309
AT ITER 3523 NEW BEST:: SOT 4428207 SOS 739304 HAS SOPS 739304 HAS SOUS 642109 HAS SOUPS 642109 WITH SCORE 642848.304
AT ITER 3586 NEW BEST:: SOT 4428017 SOS 738924 HAS SOPS 738924 HAS SOUS 641729 HAS SOUPS 641729 WITH SCORE 642467.924
AT ITER 3591 NEW BEST:: SOT 4427903 SOS 739586 HAS SOPS 739586 HAS SOUS 641572 HAS SOUPS 641572 WITH SCORE 642311.586
AT ITER 3595 NEW BEST:: SOT 4427903 SOS 739372 HAS SOPS 739372 HAS SOUS 641465 HAS SOUPS 641465 WITH SCORE 642204.372
AT ITER 3596 NEW BEST:: SOT 4427829 SOS 739224 HAS SOPS 739224 HAS SOUS 641317 HAS SOUPS 641317 WITH SCORE 642056.224
AT ITER 3628 NEW BEST:: SOT 4427925 SOS 739063 HAS SOPS 739063 HAS SOUS 641156 HAS SOUPS 641156 WITH SCORE 641895.063
AT ITER 3641 NEW BEST:: SOT 4427829 SOS 738871 HAS SOPS 738871 HAS SOUS 641060 HAS SOUPS 641060 WITH SCORE 641798.871
AT ITER 3654 NEW BEST:: SOT 4427743 SOS 738432 HAS SOPS 738432 HAS SOUS 640676 HAS SOUPS 640676 WITH SCORE 641414.432
AT ITER 3665 NEW BEST:: SOT 4427502 SOS 737950 HAS SOPS 737950 HAS SOUS 640194 HAS SOUPS 640194 WITH SCORE 640931.95
AT ITER 3670 NEW BEST:: SOT 4427284 SOS 737806 HAS SOPS 737806 HAS SOUS 639976 HAS SOUPS 639976 WITH SCORE 640713.806
AT ITER 3682 NEW BEST:: SOT 4427244 SOS 737581 HAS SOPS 737581 HAS SOUS 639896 HAS SOUPS 639896 WITH SCORE 640633.581
AT ITER 3691 NEW BEST:: SOT 4427232 SOS 737557 HAS SOPS 737557 HAS SOUS 639872 HAS SOUPS 639872 WITH SCORE 640609.557
AT ITER 3699 NEW BEST:: SOT 4426776 SOS 736880 HAS SOPS 736880 HAS SOUS 639195 HAS SOUPS 639195 WITH SCORE 639931.88
AT ITER 3705 NEW BEST:: SOT 4426083 SOS 738009 HAS SOPS 738009 HAS SOUS 639073 HAS SOUPS 639073 WITH SCORE 639811.009
AT ITER 3725 NEW BEST:: SOT 4426052 SOS 737947 HAS SOPS 737947 HAS SOUS 639049 HAS SOUPS 639049 WITH SCORE 639786.947
AT ITER 3738 NEW BEST:: SOT 4426052 SOS 737947 HAS SOPS 737947 HAS SOUS 638974 HAS SOUPS 638974 WITH SCORE 639711.947
AT ITER 3757 NEW BEST:: SOT 4425654 SOS 737847 HAS SOPS 737847 HAS SOUS 638836 HAS SOUPS 638836 WITH SCORE 639573.847
AT ITER 3761 NEW BEST:: SOT 4425580 SOS 737829 HAS SOPS 737829 HAS SOUS 638817 HAS SOUPS 638817 WITH SCORE 639554.829
AT ITER 3800 NEW BEST:: SOT 4425580 SOS 737829 HAS SOPS 737829 HAS SOUS 638797 HAS SOUPS 638797 WITH SCORE 639534.829
AT ITER 3801 NEW BEST:: SOT 4425580 SOS 737829 HAS SOPS 737829 HAS SOUS 638796 HAS SOUPS 638796 WITH SCORE 639533.829
AT ITER 3813 NEW BEST:: SOT 4425061 SOS 737325 HAS SOPS 737325 HAS SOUS 638283 HAS SOUPS 638283 WITH SCORE 639020.325
AT ITER 3815 NEW BEST:: SOT 4424986 SOS 737039 HAS SOPS 737039 HAS SOUS 638133 HAS SOUPS 638133 WITH SCORE 638870.039
AT ITER 3841 NEW BEST:: SOT 4425167 SOS 736757 HAS SOPS 736757 HAS SOUS 638118 HAS SOUPS 638118 WITH SCORE 638854.757
AT ITER 3861 NEW BEST:: SOT 4425078 SOS 736579 HAS SOPS 736579 HAS SOUS 637887 HAS SOUPS 637887 WITH SCORE 638623.579
AT ITER 3885 NEW BEST:: SOT 4424963 SOS 736176 HAS SOPS 736176 HAS SOUS 637599 HAS SOUPS 637599 WITH SCORE 638335.176
AT ITER 3902 NEW BEST:: SOT 4424963 SOS 736176 HAS SOPS 736176 HAS SOUS 637366 HAS SOUPS 637366 WITH SCORE 638102.176
AT ITER 3908 NEW BEST:: SOT 4424901 SOS 736052 HAS SOPS 736052 HAS SOUS 636987 HAS SOUPS 636987 WITH SCORE 637723.052
AT ITER 3960 NEW BEST:: SOT 4424835 SOS 735920 HAS SOPS 735920 HAS SOUS 636855 HAS SOUPS 636855 WITH SCORE 637590.92
AT ITER 3972 NEW BEST:: SOT 4424835 SOS 735883 HAS SOPS 735883 HAS SOUS 636855 HAS SOUPS 636855 WITH SCORE 637590.883
AT ITER 3979 NEW BEST:: SOT 4424834 SOS 735881 HAS SOPS 735881 HAS SOUS 636853 HAS SOUPS 636853 WITH SCORE 637588.881
AT ITER 3989 NEW BEST:: SOT 4424274 SOS 735321 HAS SOPS 735321 HAS SOUS 636293 HAS SOUPS 636293 WITH SCORE 637028.321
AT ITER 3992 NEW BEST:: SOT 4424306 SOS 735385 HAS SOPS 735385 HAS SOUS 636071 HAS SOUPS 636071 WITH SCORE 636806.385
AT ITER 4018 NEW BEST:: SOT 4423746 SOS 734771 HAS SOPS 734771 HAS SOUS 635299 HAS SOUPS 635299 WITH SCORE 636033.771
AT ITER 4043 NEW BEST:: SOT 4423702 SOS 734683 HAS SOPS 734683 HAS SOUS 635211 HAS SOUPS 635211 WITH SCORE 635945.683
AT ITER 4076 NEW BEST:: SOT 4423692 SOS 734663 HAS SOPS 734663 HAS SOUS 635030 HAS SOUPS 635030 WITH SCORE 635764.663
AT ITER 4091 NEW BEST:: SOT 4423599 SOS 734817 HAS SOPS 734817 HAS SOUS 634972 HAS SOUPS 634972 WITH SCORE 635706.817
AT ITER 4132 NEW BEST:: SOT 4422950 SOS 734724 HAS SOPS 734724 HAS SOUS 634680 HAS SOUPS 634680 WITH SCORE 635414.724
AT ITER 4140 NEW BEST:: SOT 4422937 SOS 734698 HAS SOPS 734698 HAS SOUS 634654 HAS SOUPS 634654 WITH SCORE 635388.698
AT ITER 4167 NEW BEST:: SOT 4422937 SOS 734662 HAS SOPS 734662 HAS SOUS 634654 HAS SOUPS 634654 WITH SCORE 635388.662
AT ITER 4195 NEW BEST:: SOT 4422838 SOS 734563 HAS SOPS 734563 HAS SOUS 634555 HAS SOUPS 634555 WITH SCORE 635289.563
AT ITER 4200 NEW BEST:: SOT 4422815 SOS 734517 HAS SOPS 734517 HAS SOUS 634511 HAS SOUPS 634511 WITH SCORE 635245.517
AT ITER 4201 NEW BEST:: SOT 4422815 SOS 734503 HAS SOPS 734503 HAS SOUS 634497 HAS SOUPS 634497 WITH SCORE 635231.503
AT ITER 4209 NEW BEST:: SOT 4422648 SOS 734336 HAS SOPS 734336 HAS SOUS 634480 HAS SOUPS 634480 WITH SCORE 635214.336
AT ITER 4216 NEW BEST:: SOT 4422411 SOS 734498 HAS SOPS 734498 HAS SOUS 634349 HAS SOUPS 634349 WITH SCORE 635083.498
AT ITER 4223 NEW BEST:: SOT 4422191 SOS 734580 HAS SOPS 734580 HAS SOUS 634173 HAS SOUPS 634173 WITH SCORE 634907.58
AT ITER 4245 NEW BEST:: SOT 4422141 SOS 734480 HAS SOPS 734480 HAS SOUS 634073 HAS SOUPS 634073 WITH SCORE 634807.48
AT ITER 4374 NEW BEST:: SOT 4422070 SOS 734338 HAS SOPS 734338 HAS SOUS 633931 HAS SOUPS 633931 WITH SCORE 634665.338
AT ITER 4378 NEW BEST:: SOT 4422070 SOS 734338 HAS SOPS 734338 HAS SOUS 633802 HAS SOUPS 633802 WITH SCORE 634536.338
AT ITER 4382 NEW BEST:: SOT 4422042 SOS 734282 HAS SOPS 734282 HAS SOUS 633771 HAS SOUPS 633771 WITH SCORE 634505.282
AT ITER 4427 NEW BEST:: SOT 4421987 SOS 734172 HAS SOPS 734172 HAS SOUS 633716 HAS SOUPS 633716 WITH SCORE 634450.172
AT ITER 4450 NEW BEST:: SOT 4421974 SOS 734146 HAS SOPS 734146 HAS SOUS 633690 HAS SOUPS 633690 WITH SCORE 634424.146
AT ITER 4453 NEW BEST:: SOT 4421886 SOS 733970 HAS SOPS 733970 HAS SOUS 633514 HAS SOUPS 633514 WITH SCORE 634247.97
AT ITER 4504 NEW BEST:: SOT 4421839 SOS 733876 HAS SOPS 733876 HAS SOUS 633420 HAS SOUPS 633420 WITH SCORE 634153.876
AT ITER 4512 NEW BEST:: SOT 4421839 SOS 733788 HAS SOPS 733788 HAS SOUS 633332 HAS SOUPS 633332 WITH SCORE 634065.788
AT ITER 4533 NEW BEST:: SOT 4421305 SOS 733968 HAS SOPS 733968 HAS SOUS 633134 HAS SOUPS 633134 WITH SCORE 633867.968
AT ITER 4562 NEW BEST:: SOT 4421357 SOS 734072 HAS SOPS 734072 HAS SOUS 633116 HAS SOUPS 633116 WITH SCORE 633850.072
AT ITER 4610 NEW BEST:: SOT 4421356 SOS 734070 HAS SOPS 734070 HAS SOUS 633114 HAS SOUPS 633114 WITH SCORE 633848.07
AT ITER 4614 NEW BEST:: SOT 4421336 SOS 734030 HAS SOPS 734030 HAS SOUS 633074 HAS SOUPS 633074 WITH SCORE 633808.03
AT ITER 4634 NEW BEST:: SOT 4421320 SOS 733710 HAS SOPS 733710 HAS SOUS 633058 HAS SOUPS 633058 WITH SCORE 633791.71
AT ITER 4636 NEW BEST:: SOT 4421282 SOS 733634 HAS SOPS 733634 HAS SOUS 632982 HAS SOUPS 632982 WITH SCORE 633715.634
AT ITER 4653 NEW BEST:: SOT 4421214 SOS 733498 HAS SOPS 733498 HAS SOUS 632914 HAS SOUPS 632914 WITH SCORE 633647.498
AT ITER 4662 NEW BEST:: SOT 4421238 SOS 733762 HAS SOPS 733762 HAS SOUS 632888 HAS SOUPS 632888 WITH SCORE 633621.762
AT ITER 4663 NEW BEST:: SOT 4421238 SOS 733560 HAS SOPS 733560 HAS SOUS 632888 HAS SOUPS 632888 WITH SCORE 633621.56
AT ITER 4713 NEW BEST:: SOT 4421230 SOS 733544 HAS SOPS 733544 HAS SOUS 632872 HAS SOUPS 632872 WITH SCORE 633605.544
AT ITER 4761 NEW BEST:: SOT 4421305 SOS 733694 HAS SOPS 733694 HAS SOUS 632634 HAS SOUPS 632634 WITH SCORE 633367.694
AT ITER 4805 NEW BEST:: SOT 4421083 SOS 733250 HAS SOPS 733250 HAS SOUS 632190 HAS SOUPS 632190 WITH SCORE 632923.25
AT ITER 4816 NEW BEST:: SOT 4420910 SOS 732993 HAS SOPS 732993 HAS SOUS 631933 HAS SOUPS 631933 WITH SCORE 632665.993
AT ITER 4819 NEW BEST:: SOT 4420909 SOS 732991 HAS SOPS 732991 HAS SOUS 631931 HAS SOUPS 631931 WITH SCORE 632663.991
AT ITER 4850 NEW BEST:: SOT 4420867 SOS 732907 HAS SOPS 732907 HAS SOUS 631847 HAS SOUPS 631847 WITH SCORE 632579.907
AT ITER 4881 NEW BEST:: SOT 4420867 SOS 732671 HAS SOPS 732671 HAS SOUS 631847 HAS SOUPS 631847 WITH SCORE 632579.671
AT ITER 4926 NEW BEST:: SOT 4420843 SOS 732623 HAS SOPS 732623 HAS SOUS 631762 HAS SOUPS 631762 WITH SCORE 632494.623
AT ITER 4945 NEW BEST:: SOT 4420639 SOS 732459 HAS SOPS 732459 HAS SOUS 631582 HAS SOUPS 631582 WITH SCORE 632314.459
AT ITER 4958 NEW BEST:: SOT 4420639 SOS 732453 HAS SOPS 732453 HAS SOUS 631582 HAS SOUPS 631582 WITH SCORE 632314.453
AT ITER 4977 NEW BEST:: SOT 4421104 SOS 732321 HAS SOPS 732321 HAS SOUS 631518 HAS SOUPS 631518 WITH SCORE 632250.321
AT ITER 4978 NEW BEST:: SOT 4420932 SOS 731977 HAS SOPS 731977 HAS SOUS 631174 HAS SOUPS 631174 WITH SCORE 631905.977
AT ITER 5004 NEW BEST:: SOT 4420933 SOS 731979 HAS SOPS 731979 HAS SOUS 630948 HAS SOUPS 630948 WITH SCORE 631679.979
AT ITER 5015 NEW BEST:: SOT 4420893 SOS 731899 HAS SOPS 731899 HAS SOUS 630908 HAS SOUPS 630908 WITH SCORE 631639.899
AT ITER 5016 NEW BEST:: SOT 4420872 SOS 731857 HAS SOPS 731857 HAS SOUS 630866 HAS SOUPS 630866 WITH SCORE 631597.857
AT ITER 5064 NEW BEST:: SOT 4420872 SOS 731842 HAS SOPS 731842 HAS SOUS 630865 HAS SOUPS 630865 WITH SCORE 631596.842
AT ITER 5141 NEW BEST:: SOT 4420923 SOS 731944 HAS SOPS 731944 HAS SOUS 630760 HAS SOUPS 630760 WITH SCORE 631491.944
AT ITER 5142 NEW BEST:: SOT 4420741 SOS 731580 HAS SOPS 731580 HAS SOUS 630396 HAS SOUPS 630396 WITH SCORE 631127.58
AT ITER 5169 NEW BEST:: SOT 4420505 SOS 731380 HAS SOPS 731380 HAS SOUS 630175 HAS SOUPS 630175 WITH SCORE 630906.38
AT ITER 5182 NEW BEST:: SOT 4420403 SOS 731314 HAS SOPS 731314 HAS SOUS 630084 HAS SOUPS 630084 WITH SCORE 630815.314
AT ITER 5188 NEW BEST:: SOT 4420225 SOS 730958 HAS SOPS 730958 HAS SOUS 629728 HAS SOUPS 629728 WITH SCORE 630458.958
AT ITER 5254 NEW BEST:: SOT 4420201 SOS 730934 HAS SOPS 730934 HAS SOUS 629704 HAS SOUPS 629704 WITH SCORE 630434.934
AT ITER 5268 NEW BEST:: SOT 4420095 SOS 730855 HAS SOPS 730855 HAS SOUS 629562 HAS SOUPS 629562 WITH SCORE 630292.855
AT ITER 5272 NEW BEST:: SOT 4419687 SOS 730333 HAS SOPS 730333 HAS SOUS 629107 HAS SOUPS 629107 WITH SCORE 629837.333
AT ITER 5281 NEW BEST:: SOT 4419354 SOS 729889 HAS SOPS 729889 HAS SOUS 628663 HAS SOUPS 628663 WITH SCORE 629392.889
AT ITER 5284 NEW BEST:: SOT 4419348 SOS 729877 HAS SOPS 729877 HAS SOUS 628657 HAS SOUPS 628657 WITH SCORE 629386.877
AT ITER 5288 NEW BEST:: SOT 4413830 SOS 750803 HAS SOPS 750803 HAS SOUS 624523 HAS SOUPS 624523 WITH SCORE 625273.803
AT ITER 5310 NEW BEST:: SOT 4413830 SOS 750570 HAS SOPS 750570 HAS SOUS 624523 HAS SOUPS 624523 WITH SCORE 625273.57
AT ITER 5314 NEW BEST:: SOT 4413820 SOS 750496 HAS SOPS 750496 HAS SOUS 624459 HAS SOUPS 624459 WITH SCORE 625209.496
AT ITER 5319 NEW BEST:: SOT 4413814 SOS 750484 HAS SOPS 750484 HAS SOUS 624447 HAS SOUPS 624447 WITH SCORE 625197.484
AT ITER 5342 NEW BEST:: SOT 4413792 SOS 750440 HAS SOPS 750440 HAS SOUS 624403 HAS SOUPS 624403 WITH SCORE 625153.44
AT ITER 5364 NEW BEST:: SOT 4413698 SOS 750252 HAS SOPS 750252 HAS SOUS 624215 HAS SOUPS 624215 WITH SCORE 624965.252
AT ITER 5371 NEW BEST:: SOT 4414006 SOS 737194 HAS SOPS 737194 HAS SOUS 624205 HAS SOUPS 624205 WITH SCORE 624942.194
AT ITER 5392 NEW BEST:: SOT 4413898 SOS 737155 HAS SOPS 737155 HAS SOUS 624096 HAS SOUPS 624096 WITH SCORE 624833.155
AT ITER 5417 NEW BEST:: SOT 4412827 SOS 765127 HAS SOPS 765127 HAS SOUS 623926 HAS SOUPS 623926 WITH SCORE 624691.127
AT ITER 5478 NEW BEST:: SOT 4412827 SOS 764827 HAS SOPS 764827 HAS SOUS 623925 HAS SOUPS 623925 WITH SCORE 624689.827
AT ITER 5479 NEW BEST:: SOT 4412826 SOS 764771 HAS SOPS 764771 HAS SOUS 623923 HAS SOUPS 623923 WITH SCORE 624687.771
AT ITER 5498 NEW BEST:: SOT 4412826 SOS 764657 HAS SOPS 764657 HAS SOUS 623809 HAS SOUPS 623809 WITH SCORE 624573.657
AT ITER 5499 NEW BEST:: SOT 4412864 SOS 764511 HAS SOPS 764511 HAS SOUS 623752 HAS SOUPS 623752 WITH SCORE 624516.511
AT ITER 5513 NEW BEST:: SOT 4412862 SOS 764507 HAS SOPS 764507 HAS SOUS 623748 HAS SOUPS 623748 WITH SCORE 624512.507
AT ITER 5514 NEW BEST:: SOT 4412862 SOS 764375 HAS SOPS 764375 HAS SOUS 623748 HAS SOUPS 623748 WITH SCORE 624512.375
AT ITER 5517 NEW BEST:: SOT 4412745 SOS 764141 HAS SOPS 764141 HAS SOUS 623704 HAS SOUPS 623704 WITH SCORE 624468.141
AT ITER 5579 NEW BEST:: SOT 4412589 SOS 763829 HAS SOPS 763829 HAS SOUS 623498 HAS SOUPS 623498 WITH SCORE 624261.829
AT ITER 5584 NEW BEST:: SOT 4412290 SOS 763889 HAS SOPS 763889 HAS SOUS 623214 HAS SOUPS 623214 WITH SCORE 623977.889
AT ITER 5585 NEW BEST:: SOT 4412290 SOS 763889 HAS SOPS 763889 HAS SOUS 623181 HAS SOUPS 623181 WITH SCORE 623944.889
AT ITER 5591 NEW BEST:: SOT 4412335 SOS 763815 HAS SOPS 763815 HAS SOUS 623107 HAS SOUPS 623107 WITH SCORE 623870.815
AT ITER 5628 NEW BEST:: SOT 4412289 SOS 763723 HAS SOPS 763723 HAS SOUS 623098 HAS SOUPS 623098 WITH SCORE 623861.723
AT ITER 5747 NEW BEST:: SOT 4412075 SOS 763295 HAS SOPS 763295 HAS SOUS 622598 HAS SOUPS 622598 WITH SCORE 623361.295
AT ITER 5762 NEW BEST:: SOT 4412062 SOS 763285 HAS SOPS 763285 HAS SOUS 622586 HAS SOUPS 622586 WITH SCORE 623349.285
AT ITER 5780 NEW BEST:: SOT 4412517 SOS 763127 HAS SOPS 763127 HAS SOUS 622462 HAS SOUPS 622462 WITH SCORE 623225.127
AT ITER 5801 NEW BEST:: SOT 4412421 SOS 762935 HAS SOPS 762935 HAS SOUS 622366 HAS SOUPS 622366 WITH SCORE 623128.935
AT ITER 5802 NEW BEST:: SOT 4412071 SOS 764426 HAS SOPS 764426 HAS SOUS 622268 HAS SOUPS 622268 WITH SCORE 623032.426
AT ITER 5806 NEW BEST:: SOT 4412070 SOS 764424 HAS SOPS 764424 HAS SOUS 622266 HAS SOUPS 622266 WITH SCORE 623030.424
AT ITER 5824 NEW BEST:: SOT 4411851 SOS 763986 HAS SOPS 763986 HAS SOUS 622047 HAS SOUPS 622047 WITH SCORE 622810.986
AT ITER 5826 NEW BEST:: SOT 4411826 SOS 763936 HAS SOPS 763936 HAS SOUS 621997 HAS SOUPS 621997 WITH SCORE 622760.936
AT ITER 5849 NEW BEST:: SOT 4411674 SOS 763902 HAS SOPS 763902 HAS SOUS 621938 HAS SOUPS 621938 WITH SCORE 622701.902
AT ITER 5875 NEW BEST:: SOT 4411406 SOS 763634 HAS SOPS 763634 HAS SOUS 621670 HAS SOUPS 621670 WITH SCORE 622433.634
AT ITER 5878 NEW BEST:: SOT 4411324 SOS 763470 HAS SOPS 763470 HAS SOUS 621641 HAS SOUPS 621641 WITH SCORE 622404.47
AT ITER 5917 NEW BEST:: SOT 4411152 SOS 763298 HAS SOPS 763298 HAS SOUS 621469 HAS SOUPS 621469 WITH SCORE 622232.298
AT ITER 5918 NEW BEST:: SOT 4410992 SOS 763138 HAS SOPS 763138 HAS SOUS 621309 HAS SOUPS 621309 WITH SCORE 622072.138
AT ITER 5953 NEW BEST:: SOT 4410828 SOS 762810 HAS SOPS 762810 HAS SOUS 620981 HAS SOUPS 620981 WITH SCORE 621743.81
AT ITER 6014 NEW BEST:: SOT 4410817 SOS 762708 HAS SOPS 762708 HAS SOUS 620879 HAS SOUPS 620879 WITH SCORE 621641.708
AT ITER 6026 NEW BEST:: SOT 4410774 SOS 762622 HAS SOPS 762622 HAS SOUS 620793 HAS SOUPS 620793 WITH SCORE 621555.622
AT ITER 6028 NEW BEST:: SOT 4410713 SOS 762561 HAS SOPS 762561 HAS SOUS 620732 HAS SOUPS 620732 WITH SCORE 621494.561
AT ITER 6041 NEW BEST:: SOT 4410596 SOS 762405 HAS SOPS 762405 HAS SOUS 620576 HAS SOUPS 620576 WITH SCORE 621338.405
AT ITER 6045 NEW BEST:: SOT 4410366 SOS 762185 HAS SOPS 762185 HAS SOUS 620351 HAS SOUPS 620351 WITH SCORE 621113.185
AT ITER 6047 NEW BEST:: SOT 4410366 SOS 762145 HAS SOPS 762145 HAS SOUS 620349 HAS SOUPS 620349 WITH SCORE 621111.145
AT ITER 6098 NEW BEST:: SOT 4410333 SOS 762079 HAS SOPS 762079 HAS SOUS 620316 HAS SOUPS 620316 WITH SCORE 621078.079
AT ITER 6106 NEW BEST:: SOT 4410141 SOS 761887 HAS SOPS 761887 HAS SOUS 620060 HAS SOUPS 620060 WITH SCORE 620821.887
AT ITER 6138 NEW BEST:: SOT 4410026 SOS 761837 HAS SOPS 761837 HAS SOUS 619945 HAS SOUPS 619945 WITH SCORE 620706.837
AT ITER 6141 NEW BEST:: SOT 4410023 SOS 761828 HAS SOPS 761828 HAS SOUS 619939 HAS SOUPS 619939 WITH SCORE 620700.828
AT ITER 6155 NEW BEST:: SOT 4409962 SOS 761779 HAS SOPS 761779 HAS SOUS 619890 HAS SOUPS 619890 WITH SCORE 620651.779
AT ITER 6158 NEW BEST:: SOT 4409954 SOS 761763 HAS SOPS 761763 HAS SOUS 619874 HAS SOUPS 619874 WITH SCORE 620635.763
AT ITER 6169 NEW BEST:: SOT 4409828 SOS 761511 HAS SOPS 761511 HAS SOUS 619748 HAS SOUPS 619748 WITH SCORE 620509.511
AT ITER 6211 NEW BEST:: SOT 4409771 SOS 761397 HAS SOPS 761397 HAS SOUS 619634 HAS SOUPS 619634 WITH SCORE 620395.397
AT ITER 6226 NEW BEST:: SOT 4409771 SOS 761223 HAS SOPS 761223 HAS SOUS 619460 HAS SOUPS 619460 WITH SCORE 620221.223
AT ITER 6272 NEW BEST:: SOT 4409573 SOS 760827 HAS SOPS 760827 HAS SOUS 619209 HAS SOUPS 619209 WITH SCORE 619969.827
AT ITER 6281 NEW BEST:: SOT 4409401 SOS 760786 HAS SOPS 760786 HAS SOUS 619051 HAS SOUPS 619051 WITH SCORE 619811.786
AT ITER 6302 NEW BEST:: SOT 4409442 SOS 760868 HAS SOPS 760868 HAS SOUS 618935 HAS SOUPS 618935 WITH SCORE 619695.868
AT ITER 6396 NEW BEST:: SOT 4409394 SOS 760723 HAS SOPS 760723 HAS SOUS 618887 HAS SOUPS 618887 WITH SCORE 619647.723
AT ITER 6400 NEW BEST:: SOT 4409335 SOS 760605 HAS SOPS 760605 HAS SOUS 618769 HAS SOUPS 618769 WITH SCORE 619529.605
AT ITER 6446 NEW BEST:: SOT 4409334 SOS 760300 HAS SOPS 760300 HAS SOUS 618767 HAS SOUPS 618767 WITH SCORE 619527.3
AT ITER 6493 NEW BEST:: SOT 4409218 SOS 760184 HAS SOPS 760184 HAS SOUS 618651 HAS SOUPS 618651 WITH SCORE 619411.184
AT ITER 6508 NEW BEST:: SOT 4409151 SOS 760184 HAS SOPS 760184 HAS SOUS 618650 HAS SOUPS 618650 WITH SCORE 619410.184
AT ITER 6519 NEW BEST:: SOT 4409067 SOS 760100 HAS SOPS 760100 HAS SOUS 618584 HAS SOUPS 618584 WITH SCORE 619344.1
AT ITER 6529 NEW BEST:: SOT 4409000 SOS 759966 HAS SOPS 759966 HAS SOUS 618450 HAS SOUPS 618450 WITH SCORE 619209.966
AT ITER 6541 NEW BEST:: SOT 4408938 SOS 759842 HAS SOPS 759842 HAS SOUS 618388 HAS SOUPS 618388 WITH SCORE 619147.842
AT ITER 6553 NEW BEST:: SOT 4408723 SOS 759412 HAS SOPS 759412 HAS SOUS 618173 HAS SOUPS 618173 WITH SCORE 618932.412
AT ITER 6568 NEW BEST:: SOT 4408552 SOS 759241 HAS SOPS 759241 HAS SOUS 618002 HAS SOUPS 618002 WITH SCORE 618761.241
AT ITER 6575 NEW BEST:: SOT 4408473 SOS 759083 HAS SOPS 759083 HAS SOUS 617844 HAS SOUPS 617844 WITH SCORE 618603.083
AT ITER 6582 NEW BEST:: SOT 4408382 SOS 758901 HAS SOPS 758901 HAS SOUS 617798 HAS SOUPS 617798 WITH SCORE 618556.901
AT ITER 6630 NEW BEST:: SOT 4408068 SOS 758687 HAS SOPS 758687 HAS SOUS 617484 HAS SOUPS 617484 WITH SCORE 618242.687
AT ITER 6637 NEW BEST:: SOT 4408157 SOS 758304 HAS SOPS 758304 HAS SOUS 617243 HAS SOUPS 617243 WITH SCORE 618001.304
AT ITER 6702 NEW BEST:: SOT 4407954 SOS 757898 HAS SOPS 757898 HAS SOUS 617040 HAS SOUPS 617040 WITH SCORE 617797.898
AT ITER 6785 NEW BEST:: SOT 4407954 SOS 757817 HAS SOPS 757817 HAS SOUS 617040 HAS SOUPS 617040 WITH SCORE 617797.817
AT ITER 6794 NEW BEST:: SOT 4407824 SOS 757557 HAS SOPS 757557 HAS SOUS 616780 HAS SOUPS 616780 WITH SCORE 617537.557
AT ITER 6802 NEW BEST:: SOT 4407742 SOS 757393 HAS SOPS 757393 HAS SOUS 616698 HAS SOUPS 616698 WITH SCORE 617455.393
AT ITER 6835 NEW BEST:: SOT 4407579 SOS 757400 HAS SOPS 757400 HAS SOUS 616468 HAS SOUPS 616468 WITH SCORE 617225.4
AT ITER 6849 NEW BEST:: SOT 4407558 SOS 757358 HAS SOPS 757358 HAS SOUS 616447 HAS SOUPS 616447 WITH SCORE 617204.358
AT ITER 6853 NEW BEST:: SOT 4407212 SOS 756666 HAS SOPS 756666 HAS SOUS 616442 HAS SOUPS 616442 WITH SCORE 617198.666
AT ITER 6865 NEW BEST:: SOT 4407172 SOS 756662 HAS SOPS 756662 HAS SOUS 616421 HAS SOUPS 616421 WITH SCORE 617177.662
AT ITER 6867 NEW BEST:: SOT 4407141 SOS 756569 HAS SOPS 756569 HAS SOUS 616359 HAS SOUPS 616359 WITH SCORE 617115.569
AT ITER 6890 NEW BEST:: SOT 4407140 SOS 756324 HAS SOPS 756324 HAS SOUS 616357 HAS SOUPS 616357 WITH SCORE 617113.324
AT ITER 6909 NEW BEST:: SOT 4406820 SOS 755826 HAS SOPS 755826 HAS SOUS 615895 HAS SOUPS 615895 WITH SCORE 616650.826
AT ITER 6930 NEW BEST:: SOT 4406574 SOS 755602 HAS SOPS 755602 HAS SOUS 615671 HAS SOUPS 615671 WITH SCORE 616426.602
AT ITER 6948 NEW BEST:: SOT 4406364 SOS 755392 HAS SOPS 755392 HAS SOUS 615461 HAS SOUPS 615461 WITH SCORE 616216.392
AT ITER 6962 NEW BEST:: SOT 4406269 SOS 755273 HAS SOPS 755273 HAS SOUS 615342 HAS SOUPS 615342 WITH SCORE 616097.273
AT ITER 6964 NEW BEST:: SOT 4405813 SOS 759653 HAS SOPS 759653 HAS SOUS 615138 HAS SOUPS 615138 WITH SCORE 615897.653
AT ITER 6987 NEW BEST:: SOT 4405971 SOS 759626 HAS SOPS 759626 HAS SOUS 614926 HAS SOUPS 614926 WITH SCORE 615685.626
AT ITER 6989 NEW BEST:: SOT 4405840 SOS 759364 HAS SOPS 759364 HAS SOUS 614795 HAS SOUPS 614795 WITH SCORE 615554.364
AT ITER 7050 NEW BEST:: SOT 4405758 SOS 759439 HAS SOPS 759439 HAS SOUS 614793 HAS SOUPS 614793 WITH SCORE 615552.439
AT ITER 7076 NEW BEST:: SOT 4405849 SOS 759621 HAS SOPS 759621 HAS SOUS 614778 HAS SOUPS 614778 WITH SCORE 615537.621
AT ITER 7080 NEW BEST:: SOT 4405796 SOS 759515 HAS SOPS 759515 HAS SOUS 614672 HAS SOUPS 614672 WITH SCORE 615431.515
AT ITER 7083 NEW BEST:: SOT 4405765 SOS 759453 HAS SOPS 759453 HAS SOUS 614610 HAS SOUPS 614610 WITH SCORE 615369.453
AT ITER 7122 NEW BEST:: SOT 4405403 SOS 758960 HAS SOPS 758960 HAS SOUS 614017 HAS SOUPS 614017 WITH SCORE 614775.96
AT ITER 7128 NEW BEST:: SOT 4405346 SOS 758865 HAS SOPS 758865 HAS SOUS 613922 HAS SOUPS 613922 WITH SCORE 614680.865
AT ITER 7131 NEW BEST:: SOT 4405203 SOS 758579 HAS SOPS 758579 HAS SOUS 613728 HAS SOUPS 613728 WITH SCORE 614486.579
AT ITER 7143 NEW BEST:: SOT 4405054 SOS 758299 HAS SOPS 758299 HAS SOUS 613430 HAS SOUPS 613430 WITH SCORE 614188.299
AT ITER 7168 NEW BEST:: SOT 4405037 SOS 758265 HAS SOPS 758265 HAS SOUS 613413 HAS SOUPS 613413 WITH SCORE 614171.265
AT ITER 7190 NEW BEST:: SOT 4405037 SOS 758233 HAS SOPS 758233 HAS SOUS 613381 HAS SOUPS 613381 WITH SCORE 614139.233
AT ITER 7196 NEW BEST:: SOT 4404872 SOS 758295 HAS SOPS 758295 HAS SOUS 613232 HAS SOUPS 613232 WITH SCORE 613990.295
AT ITER 7231 NEW BEST:: SOT 4404872 SOS 758270 HAS SOPS 758270 HAS SOUS 613232 HAS SOUPS 613232 WITH SCORE 613990.27
AT ITER 7259 NEW BEST:: SOT 4404808 SOS 757928 HAS SOPS 757928 HAS SOUS 612936 HAS SOUPS 612936 WITH SCORE 613693.928
AT ITER 7261 NEW BEST:: SOT 4404709 SOS 757730 HAS SOPS 757730 HAS SOUS 612738 HAS SOUPS 612738 WITH SCORE 613495.73
AT ITER 7306 NEW BEST:: SOT 4404697 SOS 757682 HAS SOPS 757682 HAS SOUS 612702 HAS SOUPS 612702 WITH SCORE 613459.682
AT ITER 7336 NEW BEST:: SOT 4404697 SOS 757680 HAS SOPS 757680 HAS SOUS 612701 HAS SOUPS 612701 WITH SCORE 613458.68
AT ITER 7343 NEW BEST:: SOT 4404550 SOS 757386 HAS SOPS 757386 HAS SOUS 612551 HAS SOUPS 612551 WITH SCORE 613308.386
AT ITER 7369 NEW BEST:: SOT 4404549 SOS 757154 HAS SOPS 757154 HAS SOUS 612434 HAS SOUPS 612434 WITH SCORE 613191.154
AT ITER 7398 NEW BEST:: SOT 4404417 SOS 757290 HAS SOPS 757290 HAS SOUS 612301 HAS SOUPS 612301 WITH SCORE 613058.29
AT ITER 7407 NEW BEST:: SOT 4404417 SOS 757418 HAS SOPS 757418 HAS SOUS 612203 HAS SOUPS 612203 WITH SCORE 612960.418
AT ITER 7426 NEW BEST:: SOT 4404417 SOS 757418 HAS SOPS 757418 HAS SOUS 612157 HAS SOUPS 612157 WITH SCORE 612914.418
AT ITER 7434 NEW BEST:: SOT 4404337 SOS 757258 HAS SOPS 757258 HAS SOUS 611997 HAS SOUPS 611997 WITH SCORE 612754.258
AT ITER 7455 NEW BEST:: SOT 4404207 SOS 756998 HAS SOPS 756998 HAS SOUS 611872 HAS SOUPS 611872 WITH SCORE 612628.998
AT ITER 7462 NEW BEST:: SOT 4404206 SOS 756562 HAS SOPS 756562 HAS SOUS 611870 HAS SOUPS 611870 WITH SCORE 612626.562
AT ITER 7463 NEW BEST:: SOT 4404206 SOS 756263 HAS SOPS 756263 HAS SOUS 611870 HAS SOUPS 611870 WITH SCORE 612626.263
AT ITER 7492 NEW BEST:: SOT 4404155 SOS 756161 HAS SOPS 756161 HAS SOUS 611768 HAS SOUPS 611768 WITH SCORE 612524.161
AT ITER 7503 NEW BEST:: SOT 4404155 SOS 756161 HAS SOPS 756161 HAS SOUS 611657 HAS SOUPS 611657 WITH SCORE 612413.161
AT ITER 7505 NEW BEST:: SOT 4404151 SOS 756153 HAS SOPS 756153 HAS SOUS 611649 HAS SOUPS 611649 WITH SCORE 612405.153
AT ITER 7545 NEW BEST:: SOT 4403919 SOS 755921 HAS SOPS 755921 HAS SOUS 611417 HAS SOUPS 611417 WITH SCORE 612172.921
AT ITER 7600 NEW BEST:: SOT 4403740 SOS 755563 HAS SOPS 755563 HAS SOUS 611059 HAS SOUPS 611059 WITH SCORE 611814.563
AT ITER 7614 NEW BEST:: SOT 4403737 SOS 755554 HAS SOPS 755554 HAS SOUS 611056 HAS SOUPS 611056 WITH SCORE 611811.554
AT ITER 7659 NEW BEST:: SOT 4403721 SOS 755522 HAS SOPS 755522 HAS SOUS 610999 HAS SOUPS 610999 WITH SCORE 611754.522
AT ITER 7668 NEW BEST:: SOT 4403475 SOS 755307 HAS SOPS 755307 HAS SOUS 610753 HAS SOUPS 610753 WITH SCORE 611508.307
AT ITER 7675 NEW BEST:: SOT 4403380 SOS 755117 HAS SOPS 755117 HAS SOUS 610563 HAS SOUPS 610563 WITH SCORE 611318.117
AT ITER 7755 NEW BEST:: SOT 4403380 SOS 755117 HAS SOPS 755117 HAS SOUS 610544 HAS SOUPS 610544 WITH SCORE 611299.117
AT ITER 7782 NEW BEST:: SOT 4403202 SOS 754583 HAS SOPS 754583 HAS SOUS 610277 HAS SOUPS 610277 WITH SCORE 611031.583
AT ITER 7801 NEW BEST:: SOT 4403139 SOS 754457 HAS SOPS 754457 HAS SOUS 610151 HAS SOUPS 610151 WITH SCORE 610905.457
AT ITER 7806 NEW BEST:: SOT 4403064 SOS 754454 HAS SOPS 754454 HAS SOUS 610150 HAS SOUPS 610150 WITH SCORE 610904.454
AT ITER 7809 NEW BEST:: SOT 4402845 SOS 754016 HAS SOPS 754016 HAS SOUS 609712 HAS SOUPS 609712 WITH SCORE 610466.016
AT ITER 7838 NEW BEST:: SOT 4402809 SOS 753944 HAS SOPS 753944 HAS SOUS 609640 HAS SOUPS 609640 WITH SCORE 610393.944
AT ITER 7842 NEW BEST:: SOT 4402809 SOS 753944 HAS SOPS 753944 HAS SOUS 609639 HAS SOUPS 609639 WITH SCORE 610392.944
AT ITER 7848 NEW BEST:: SOT 4402809 SOS 753931 HAS SOPS 753931 HAS SOUS 609639 HAS SOUPS 609639 WITH SCORE 610392.931
AT ITER 7885 NEW BEST:: SOT 4402808 SOS 753493 HAS SOPS 753493 HAS SOUS 609637 HAS SOUPS 609637 WITH SCORE 610390.493
AT ITER 7905 NEW BEST:: SOT 4402767 SOS 753370 HAS SOPS 753370 HAS SOUS 609555 HAS SOUPS 609555 WITH SCORE 610308.37
AT ITER 7919 NEW BEST:: SOT 4402767 SOS 753370 HAS SOPS 753370 HAS SOUS 609550 HAS SOUPS 609550 WITH SCORE 610303.37
AT ITER 8055 NEW BEST:: SOT 4402646 SOS 753249 HAS SOPS 753249 HAS SOUS 609429 HAS SOUPS 609429 WITH SCORE 610182.249
AT ITER 8070 NEW BEST:: SOT 4402675 SOS 752813 HAS SOPS 752813 HAS SOUS 609213 HAS SOUPS 609213 WITH SCORE 609965.813
AT ITER 8084 NEW BEST:: SOT 4402613 SOS 752689 HAS SOPS 752689 HAS SOUS 609089 HAS SOUPS 609089 WITH SCORE 609841.689
AT ITER 8101 NEW BEST:: SOT 4402341 SOS 752145 HAS SOPS 752145 HAS SOUS 608545 HAS SOUPS 608545 WITH SCORE 609297.145
AT ITER 8130 NEW BEST:: SOT 4401972 SOS 751407 HAS SOPS 751407 HAS SOUS 608118 HAS SOUPS 608118 WITH SCORE 608869.407
AT ITER 8134 NEW BEST:: SOT 4401972 SOS 751359 HAS SOPS 751359 HAS SOUS 608118 HAS SOUPS 608118 WITH SCORE 608869.359
AT ITER 8182 NEW BEST:: SOT 4401664 SOS 750743 HAS SOPS 750743 HAS SOUS 607502 HAS SOUPS 607502 WITH SCORE 608252.743
AT ITER 8205 NEW BEST:: SOT 4401664 SOS 750673 HAS SOPS 750673 HAS SOUS 607432 HAS SOUPS 607432 WITH SCORE 608182.673
AT ITER 8246 NEW BEST:: SOT 4401402 SOS 750411 HAS SOPS 750411 HAS SOUS 607039 HAS SOUPS 607039 WITH SCORE 607789.411
AT ITER 8258 NEW BEST:: SOT 4401361 SOS 750329 HAS SOPS 750329 HAS SOUS 606957 HAS SOUPS 606957 WITH SCORE 607707.329
AT ITER 8262 NEW BEST:: SOT 4401282 SOS 750171 HAS SOPS 750171 HAS SOUS 606799 HAS SOUPS 606799 WITH SCORE 607549.171
AT ITER 8268 NEW BEST:: SOT 4401155 SOS 749409 HAS SOPS 749409 HAS SOUS 606545 HAS SOUPS 606545 WITH SCORE 607294.409
AT ITER 8280 NEW BEST:: SOT 4400986 SOS 749643 HAS SOPS 749643 HAS SOUS 606528 HAS SOUPS 606528 WITH SCORE 607277.643
AT ITER 8298 NEW BEST:: SOT 4400986 SOS 749643 HAS SOPS 749643 HAS SOUS 606430 HAS SOUPS 606430 WITH SCORE 607179.643
AT ITER 8305 NEW BEST:: SOT 4400873 SOS 749222 HAS SOPS 749222 HAS SOUS 606199 HAS SOUPS 606199 WITH SCORE 606948.222
AT ITER 8347 NEW BEST:: SOT 4400788 SOS 749556 HAS SOPS 749556 HAS SOUS 606117 HAS SOUPS 606117 WITH SCORE 606866.556
AT ITER 8403 NEW BEST:: SOT 4400643 SOS 749266 HAS SOPS 749266 HAS SOUS 605827 HAS SOUPS 605827 WITH SCORE 606576.266
AT ITER 8440 NEW BEST:: SOT 4400508 SOS 748861 HAS SOPS 748861 HAS SOUS 605557 HAS SOUPS 605557 WITH SCORE 606305.861
AT ITER 8445 NEW BEST:: SOT 4400508 SOS 748834 HAS SOPS 748834 HAS SOUS 605530 HAS SOUPS 605530 WITH SCORE 606278.834
AT ITER 8462 NEW BEST:: SOT 4400255 SOS 747899 HAS SOPS 747899 HAS SOUS 605024 HAS SOUPS 605024 WITH SCORE 605771.899
AT ITER 8523 NEW BEST:: SOT 4400251 SOS 747891 HAS SOPS 747891 HAS SOUS 605016 HAS SOUPS 605016 WITH SCORE 605763.891
AT ITER 8537 NEW BEST:: SOT 4400221 SOS 747938 HAS SOPS 747938 HAS SOUS 604986 HAS SOUPS 604986 WITH SCORE 605733.938
AT ITER 8538 NEW BEST:: SOT 4400093 SOS 747933 HAS SOPS 747933 HAS SOUS 604981 HAS SOUPS 604981 WITH SCORE 605728.933
AT ITER 8555 NEW BEST:: SOT 4400078 SOS 747903 HAS SOPS 747903 HAS SOUS 604960 HAS SOUPS 604960 WITH SCORE 605707.903
AT ITER 8581 NEW BEST:: SOT 4400040 SOS 747865 HAS SOPS 747865 HAS SOUS 604922 HAS SOUPS 604922 WITH SCORE 605669.865
AT ITER 8602 NEW BEST:: SOT 4400028 SOS 747841 HAS SOPS 747841 HAS SOUS 604898 HAS SOUPS 604898 WITH SCORE 605645.841
AT ITER 8615 NEW BEST:: SOT 4400034 SOS 747411 HAS SOPS 747411 HAS SOUS 604586 HAS SOUPS 604586 WITH SCORE 605333.411
AT ITER 8625 NEW BEST:: SOT 4400023 SOS 747417 HAS SOPS 747417 HAS SOUS 604557 HAS SOUPS 604557 WITH SCORE 605304.417
AT ITER 8637 NEW BEST:: SOT 4400023 SOS 747417 HAS SOPS 747417 HAS SOUS 604541 HAS SOUPS 604541 WITH SCORE 605288.417
AT ITER 8644 NEW BEST:: SOT 4399801 SOS 746973 HAS SOPS 746973 HAS SOUS 604097 HAS SOUPS 604097 WITH SCORE 604843.973
AT ITER 8654 NEW BEST:: SOT 4399724 SOS 746819 HAS SOPS 746819 HAS SOUS 604079 HAS SOUPS 604079 WITH SCORE 604825.819
AT ITER 8671 NEW BEST:: SOT 4399507 SOS 746385 HAS SOPS 746385 HAS SOUS 603645 HAS SOUPS 603645 WITH SCORE 604391.385
AT ITER 8683 NEW BEST:: SOT 4399302 SOS 745975 HAS SOPS 745975 HAS SOUS 603506 HAS SOUPS 603506 WITH SCORE 604251.975
AT ITER 8699 NEW BEST:: SOT 4399134 SOS 745639 HAS SOPS 745639 HAS SOUS 603338 HAS SOUPS 603338 WITH SCORE 604083.639
AT ITER 8776 NEW BEST:: SOT 4399260 SOS 745613 HAS SOPS 745613 HAS SOUS 603309 HAS SOUPS 603309 WITH SCORE 604054.613
AT ITER 8787 NEW BEST:: SOT 4399126 SOS 745545 HAS SOPS 745545 HAS SOUS 603175 HAS SOUPS 603175 WITH SCORE 603920.545
AT ITER 8818 NEW BEST:: SOT 4399126 SOS 745319 HAS SOPS 745319 HAS SOUS 603012 HAS SOUPS 603012 WITH SCORE 603757.319
AT ITER 8847 NEW BEST:: SOT 4399122 SOS 745349 HAS SOPS 745349 HAS SOUS 603004 HAS SOUPS 603004 WITH SCORE 603749.349
AT ITER 8858 NEW BEST:: SOT 4399122 SOS 745349 HAS SOPS 745349 HAS SOUS 602909 HAS SOUPS 602909 WITH SCORE 603654.349
AT ITER 8894 NEW BEST:: SOT 4399041 SOS 745267 HAS SOPS 745267 HAS SOUS 602906 HAS SOUPS 602906 WITH SCORE 603651.267
AT ITER 8900 NEW BEST:: SOT 4399041 SOS 745177 HAS SOPS 745177 HAS SOUS 602906 HAS SOUPS 602906 WITH SCORE 603651.177
AT ITER 8911 NEW BEST:: SOT 4399003 SOS 744934 HAS SOPS 744934 HAS SOUS 602729 HAS SOUPS 602729 WITH SCORE 603473.934
AT ITER 8917 NEW BEST:: SOT 4399003 SOS 744796 HAS SOPS 744796 HAS SOUS 602729 HAS SOUPS 602729 WITH SCORE 603473.796
AT ITER 8918 NEW BEST:: SOT 4398993 SOS 744776 HAS SOPS 744776 HAS SOUS 602719 HAS SOUPS 602719 WITH SCORE 603463.776
AT ITER 8933 NEW BEST:: SOT 4398993 SOS 744733 HAS SOPS 744733 HAS SOUS 602719 HAS SOUPS 602719 WITH SCORE 603463.733
AT ITER 8936 NEW BEST:: SOT 4398942 SOS 744691 HAS SOPS 744691 HAS SOUS 602617 HAS SOUPS 602617 WITH SCORE 603361.691
AT ITER 8967 NEW BEST:: SOT 4398923 SOS 744653 HAS SOPS 744653 HAS SOUS 602579 HAS SOUPS 602579 WITH SCORE 603323.653
AT ITER 8976 NEW BEST:: SOT 4398921 SOS 744649 HAS SOPS 744649 HAS SOUS 602575 HAS SOUPS 602575 WITH SCORE 603319.649
AT ITER 8989 NEW BEST:: SOT 4398924 SOS 744548 HAS SOPS 744548 HAS SOUS 602474 HAS SOUPS 602474 WITH SCORE 603218.548
AT ITER 9035 NEW BEST:: SOT 4398906 SOS 744512 HAS SOPS 744512 HAS SOUS 602456 HAS SOUPS 602456 WITH SCORE 603200.512
AT ITER 9065 NEW BEST:: SOT 4398185 SOS 744400 HAS SOPS 744400 HAS SOUS 601925 HAS SOUPS 601925 WITH SCORE 602669.4
AT ITER 9114 NEW BEST:: SOT 4398161 SOS 744352 HAS SOPS 744352 HAS SOUS 601877 HAS SOUPS 601877 WITH SCORE 602621.352
AT ITER 9207 NEW BEST:: SOT 4398112 SOS 744254 HAS SOPS 744254 HAS SOUS 601862 HAS SOUPS 601862 WITH SCORE 602606.254
AT ITER 9240 NEW BEST:: SOT 4397869 SOS 743420 HAS SOPS 743420 HAS SOUS 601773 HAS SOUPS 601773 WITH SCORE 602516.42
AT ITER 9245 NEW BEST:: SOT 4397870 SOS 743230 HAS SOPS 743230 HAS SOUS 601583 HAS SOUPS 601583 WITH SCORE 602326.23
AT ITER 9284 NEW BEST:: SOT 4397836 SOS 743286 HAS SOPS 743286 HAS SOUS 601446 HAS SOUPS 601446 WITH SCORE 602189.286
AT ITER 9295 NEW BEST:: SOT 4397810 SOS 743234 HAS SOPS 743234 HAS SOUS 601394 HAS SOUPS 601394 WITH SCORE 602137.234
AT ITER 9314 NEW BEST:: SOT 4397522 SOS 742946 HAS SOPS 742946 HAS SOUS 601165 HAS SOUPS 601165 WITH SCORE 601907.946
AT ITER 9322 NEW BEST:: SOT 4397515 SOS 742932 HAS SOPS 742932 HAS SOUS 601151 HAS SOUPS 601151 WITH SCORE 601893.932
AT ITER 9352 NEW BEST:: SOT 4397372 SOS 742350 HAS SOPS 742350 HAS SOUS 600865 HAS SOUPS 600865 WITH SCORE 601607.35
AT ITER 9399 NEW BEST:: SOT 4397240 SOS 741954 HAS SOPS 741954 HAS SOUS 600577 HAS SOUPS 600577 WITH SCORE 601318.954
AT ITER 9426 NEW BEST:: SOT 4396739 SOS 741620 HAS SOPS 741620 HAS SOUS 600076 HAS SOUPS 600076 WITH SCORE 600817.62
AT ITER 9449 NEW BEST:: SOT 4396660 SOS 741462 HAS SOPS 741462 HAS SOUS 599997 HAS SOUPS 599997 WITH SCORE 600738.462
AT ITER 9452 NEW BEST:: SOT 4396685 SOS 741114 HAS SOPS 741114 HAS SOUS 599937 HAS SOUPS 599937 WITH SCORE 600678.114
AT ITER 9476 NEW BEST:: SOT 4396687 SOS 741118 HAS SOPS 741118 HAS SOUS 599828 HAS SOUPS 599828 WITH SCORE 600569.118
AT ITER 9505 NEW BEST:: SOT 4396466 SOS 741846 HAS SOPS 741846 HAS SOUS 599671 HAS SOUPS 599671 WITH SCORE 600412.846
AT ITER 9522 NEW BEST:: SOT 4396484 SOS 741702 HAS SOPS 741702 HAS SOUS 599657 HAS SOUPS 599657 WITH SCORE 600398.702
AT ITER 9529 NEW BEST:: SOT 4396484 SOS 741467 HAS SOPS 741467 HAS SOUS 599467 HAS SOUPS 599467 WITH SCORE 600208.467
AT ITER 9538 NEW BEST:: SOT 4396430 SOS 740976 HAS SOPS 740976 HAS SOUS 599359 HAS SOUPS 599359 WITH SCORE 600099.976
AT ITER 9583 NEW BEST:: SOT 4396430 SOS 740976 HAS SOPS 740976 HAS SOUS 599339 HAS SOUPS 599339 WITH SCORE 600079.976
AT ITER 9601 NEW BEST:: SOT 4396155 SOS 740918 HAS SOPS 740918 HAS SOUS 598974 HAS SOUPS 598974 WITH SCORE 599714.918
AT ITER 9609 NEW BEST:: SOT 4396075 SOS 740758 HAS SOPS 740758 HAS SOUS 598814 HAS SOUPS 598814 WITH SCORE 599554.758
AT ITER 9611 NEW BEST:: SOT 4396340 SOS 741023 HAS SOPS 741023 HAS SOUS 598758 HAS SOUPS 598758 WITH SCORE 599499.023
AT ITER 9689 NEW BEST:: SOT 4396075 SOS 740758 HAS SOPS 740758 HAS SOUS 598494 HAS SOUPS 598494 WITH SCORE 599234.758
AT ITER 9701 NEW BEST:: SOT 4396075 SOS 740758 HAS SOPS 740758 HAS SOUS 598464 HAS SOUPS 598464 WITH SCORE 599204.758
AT ITER 9702 NEW BEST:: SOT 4396041 SOS 740690 HAS SOPS 740690 HAS SOUS 598396 HAS SOUPS 598396 WITH SCORE 599136.69
AT ITER 9704 NEW BEST:: SOT 4395861 SOS 740543 HAS SOPS 740543 HAS SOUS 598132 HAS SOUPS 598132 WITH SCORE 598872.543
AT ITER 9712 NEW BEST:: SOT 4395833 SOS 740496 HAS SOPS 740496 HAS SOUS 598122 HAS SOUPS 598122 WITH SCORE 598862.496
AT ITER 9727 NEW BEST:: SOT 4395740 SOS 740377 HAS SOPS 740377 HAS SOUS 598003 HAS SOUPS 598003 WITH SCORE 598743.377
AT ITER 9761 NEW BEST:: SOT 4395950 SOS 740797 HAS SOPS 740797 HAS SOUS 597915 HAS SOUPS 597915 WITH SCORE 598655.797
AT ITER 9789 NEW BEST:: SOT 4395818 SOS 740533 HAS SOPS 740533 HAS SOUS 597651 HAS SOUPS 597651 WITH SCORE 598391.533
AT ITER 9802 NEW BEST:: SOT 4395494 SOS 740209 HAS SOPS 740209 HAS SOUS 597003 HAS SOUPS 597003 WITH SCORE 597743.209
AT ITER 9852 NEW BEST:: SOT 4395494 SOS 740209 HAS SOPS 740209 HAS SOUS 596894 HAS SOUPS 596894 WITH SCORE 597634.209
AT ITER 9855 NEW BEST:: SOT 4395339 SOS 739862 HAS SOPS 739862 HAS SOUS 596746 HAS SOUPS 596746 WITH SCORE 597485.862
AT ITER 9864 NEW BEST:: SOT 4395339 SOS 739821 HAS SOPS 739821 HAS SOUS 596705 HAS SOUPS 596705 WITH SCORE 597444.821
AT ITER 9871 NEW BEST:: SOT 4395329 SOS 739801 HAS SOPS 739801 HAS SOUS 596699 HAS SOUPS 596699 WITH SCORE 597438.801
AT ITER 9911 NEW BEST:: SOT 4395131 SOS 739603 HAS SOPS 739603 HAS SOUS 596600 HAS SOUPS 596600 WITH SCORE 597339.603
AT ITER 9919 NEW BEST:: SOT 4395101 SOS 739543 HAS SOPS 739543 HAS SOUS 596600 HAS SOUPS 596600 WITH SCORE 597339.543
AT ITER 9956 NEW BEST:: SOT 4395101 SOS 739535 HAS SOPS 739535 HAS SOUS 596600 HAS SOUPS 596600 WITH SCORE 597339.535
AT ITER 9988 NEW BEST:: SOT 4394859 SOS 738675 HAS SOPS 738675 HAS SOUS 596449 HAS SOUPS 596449 WITH SCORE 597187.675
AT ITER 9994 NEW BEST:: SOT 4394756 SOS 738589 HAS SOPS 738589 HAS SOUS 596312 HAS SOUPS 596312 WITH SCORE 597050.589
AT ITER 9997 NEW BEST:: SOT 4394713 SOS 738503 HAS SOPS 738503 HAS SOUS 596226 HAS SOUPS 596226 WITH SCORE 596964.503

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-318"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-318, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541800144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-318.tgz
mv CloudReconfiguration-PT-318 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;