Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814471900032.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CloudReconfiguration-PT-304, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814471900032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 9.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 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 1678218799688

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudReconfiguration-PT-304
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 304
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439073 SOS 755786 HAS SOPS 755786 HAS SOUS 697225 HAS SOUPS 697225 WITH SCORE 697980.786
AT ITER 33 NEW BEST:: SOT 4438147 SOS 756238 HAS SOPS 756238 HAS SOUS 696773 HAS SOUPS 696773 WITH SCORE 697529.238
AT ITER 37 NEW BEST:: SOT 4437998 SOS 755940 HAS SOPS 755940 HAS SOUS 696623 HAS SOUPS 696623 WITH SCORE 697378.94
AT ITER 52 NEW BEST:: SOT 4437972 SOS 755940 HAS SOPS 755940 HAS SOUS 696622 HAS SOUPS 696622 WITH SCORE 697377.94
AT ITER 55 NEW BEST:: SOT 4437787 SOS 755962 HAS SOPS 755962 HAS SOUS 696437 HAS SOUPS 696437 WITH SCORE 697192.962
AT ITER 58 NEW BEST:: SOT 4437554 SOS 755729 HAS SOPS 755729 HAS SOUS 696204 HAS SOUPS 696204 WITH SCORE 696959.729
AT ITER 70 NEW BEST:: SOT 4437423 SOS 755468 HAS SOPS 755468 HAS SOUS 695943 HAS SOUPS 695943 WITH SCORE 696698.468
AT ITER 78 NEW BEST:: SOT 4437398 SOS 755005 HAS SOPS 755005 HAS SOUS 695612 HAS SOUPS 695612 WITH SCORE 696367.005
AT ITER 81 NEW BEST:: SOT 4435550 SOS 753913 HAS SOPS 753913 HAS SOUS 693895 HAS SOUPS 693895 WITH SCORE 694648.913
AT ITER 90 NEW BEST:: SOT 4435415 SOS 753643 HAS SOPS 753643 HAS SOUS 693625 HAS SOUPS 693625 WITH SCORE 694378.643
AT ITER 99 NEW BEST:: SOT 4435427 SOS 753667 HAS SOPS 753667 HAS SOUS 693455 HAS SOUPS 693455 WITH SCORE 694208.667
AT ITER 101 NEW BEST:: SOT 4435217 SOS 753037 HAS SOPS 753037 HAS SOUS 693035 HAS SOUPS 693035 WITH SCORE 693788.037
AT ITER 103 NEW BEST:: SOT 4435217 SOS 752968 HAS SOPS 752968 HAS SOUS 693035 HAS SOUPS 693035 WITH SCORE 693787.968
AT ITER 111 NEW BEST:: SOT 4435217 SOS 752968 HAS SOPS 752968 HAS SOUS 692983 HAS SOUPS 692983 WITH SCORE 693735.968
AT ITER 175 NEW BEST:: SOT 4434439 SOS 753662 HAS SOPS 753662 HAS SOUS 692519 HAS SOUPS 692519 WITH SCORE 693272.662
AT ITER 177 NEW BEST:: SOT 4434438 SOS 753660 HAS SOPS 753660 HAS SOUS 692517 HAS SOUPS 692517 WITH SCORE 693270.66
AT ITER 232 NEW BEST:: SOT 4434294 SOS 753500 HAS SOPS 753500 HAS SOUS 692245 HAS SOUPS 692245 WITH SCORE 692998.5
AT ITER 248 NEW BEST:: SOT 4434294 SOS 753208 HAS SOPS 753208 HAS SOUS 692099 HAS SOUPS 692099 WITH SCORE 692852.208
AT ITER 272 NEW BEST:: SOT 4434286 SOS 753184 HAS SOPS 753184 HAS SOUS 692083 HAS SOUPS 692083 WITH SCORE 692836.184
AT ITER 293 NEW BEST:: SOT 4434286 SOS 753184 HAS SOPS 753184 HAS SOUS 691819 HAS SOUPS 691819 WITH SCORE 692572.184
AT ITER 296 NEW BEST:: SOT 4434365 SOS 753105 HAS SOPS 753105 HAS SOUS 691818 HAS SOUPS 691818 WITH SCORE 692571.105
AT ITER 309 NEW BEST:: SOT 4434365 SOS 753037 HAS SOPS 753037 HAS SOUS 691818 HAS SOUPS 691818 WITH SCORE 692571.037
AT ITER 315 NEW BEST:: SOT 4433913 SOS 752737 HAS SOPS 752737 HAS SOUS 691366 HAS SOUPS 691366 WITH SCORE 692118.737
AT ITER 319 NEW BEST:: SOT 4433776 SOS 752463 HAS SOPS 752463 HAS SOUS 691092 HAS SOUPS 691092 WITH SCORE 691844.463
AT ITER 326 NEW BEST:: SOT 4433946 SOS 752803 HAS SOPS 752803 HAS SOUS 691071 HAS SOUPS 691071 WITH SCORE 691823.803
AT ITER 385 NEW BEST:: SOT 4433650 SOS 752931 HAS SOPS 752931 HAS SOUS 690968 HAS SOUPS 690968 WITH SCORE 691720.931
AT ITER 411 NEW BEST:: SOT 4433458 SOS 753357 HAS SOPS 753357 HAS SOUS 690868 HAS SOUPS 690868 WITH SCORE 691621.357
AT ITER 434 NEW BEST:: SOT 4424738 SOS 808031 HAS SOPS 808031 HAS SOUS 685328 HAS SOUPS 685328 WITH SCORE 686136.031
AT ITER 452 NEW BEST:: SOT 4424738 SOS 807751 HAS SOPS 807751 HAS SOUS 685188 HAS SOUPS 685188 WITH SCORE 685995.751
AT ITER 463 NEW BEST:: SOT 4424738 SOS 807751 HAS SOPS 807751 HAS SOUS 685051 HAS SOUPS 685051 WITH SCORE 685858.751
AT ITER 482 NEW BEST:: SOT 4424738 SOS 807483 HAS SOPS 807483 HAS SOUS 684721 HAS SOUPS 684721 WITH SCORE 685528.483
AT ITER 490 NEW BEST:: SOT 4424294 SOS 807323 HAS SOPS 807323 HAS SOUS 684179 HAS SOUPS 684179 WITH SCORE 684986.323
AT ITER 496 NEW BEST:: SOT 4424175 SOS 807229 HAS SOPS 807229 HAS SOUS 684069 HAS SOUPS 684069 WITH SCORE 684876.229
AT ITER 498 NEW BEST:: SOT 4424175 SOS 807125 HAS SOPS 807125 HAS SOUS 684068 HAS SOUPS 684068 WITH SCORE 684875.125
AT ITER 515 NEW BEST:: SOT 4423918 SOS 807125 HAS SOPS 807125 HAS SOUS 684065 HAS SOUPS 684065 WITH SCORE 684872.125
AT ITER 525 NEW BEST:: SOT 4423918 SOS 806886 HAS SOPS 806886 HAS SOUS 684065 HAS SOUPS 684065 WITH SCORE 684871.886
AT ITER 541 NEW BEST:: SOT 4423841 SOS 806886 HAS SOPS 806886 HAS SOUS 684064 HAS SOUPS 684064 WITH SCORE 684870.886
AT ITER 576 NEW BEST:: SOT 4423360 SOS 760480 HAS SOPS 760480 HAS SOUS 683102 HAS SOUPS 683102 WITH SCORE 683862.48
AT ITER 587 NEW BEST:: SOT 4423360 SOS 760480 HAS SOPS 760480 HAS SOUS 683043 HAS SOUPS 683043 WITH SCORE 683803.48
AT ITER 601 NEW BEST:: SOT 4423138 SOS 760372 HAS SOPS 760372 HAS SOUS 682593 HAS SOUPS 682593 WITH SCORE 683353.372
AT ITER 623 NEW BEST:: SOT 4423069 SOS 760302 HAS SOPS 760302 HAS SOUS 682523 HAS SOUPS 682523 WITH SCORE 683283.302
AT ITER 655 NEW BEST:: SOT 4422756 SOS 759989 HAS SOPS 759989 HAS SOUS 682210 HAS SOUPS 682210 WITH SCORE 682969.989
AT ITER 722 NEW BEST:: SOT 4422756 SOS 759939 HAS SOPS 759939 HAS SOUS 682209 HAS SOUPS 682209 WITH SCORE 682968.939
AT ITER 737 NEW BEST:: SOT 4422759 SOS 759945 HAS SOPS 759945 HAS SOUS 682195 HAS SOUPS 682195 WITH SCORE 682954.945
AT ITER 739 NEW BEST:: SOT 4422693 SOS 759894 HAS SOPS 759894 HAS SOUS 682129 HAS SOUPS 682129 WITH SCORE 682888.894
AT ITER 750 NEW BEST:: SOT 4422533 SOS 759757 HAS SOPS 759757 HAS SOUS 681992 HAS SOUPS 681992 WITH SCORE 682751.757
AT ITER 761 NEW BEST:: SOT 4422308 SOS 759307 HAS SOPS 759307 HAS SOUS 681767 HAS SOUPS 681767 WITH SCORE 682526.307
AT ITER 771 NEW BEST:: SOT 4422194 SOS 759193 HAS SOPS 759193 HAS SOUS 681767 HAS SOUPS 681767 WITH SCORE 682526.193
AT ITER 791 NEW BEST:: SOT 4421939 SOS 759495 HAS SOPS 759495 HAS SOUS 681715 HAS SOUPS 681715 WITH SCORE 682474.495
AT ITER 804 NEW BEST:: SOT 4421939 SOS 759166 HAS SOPS 759166 HAS SOUS 681715 HAS SOUPS 681715 WITH SCORE 682474.166
AT ITER 808 NEW BEST:: SOT 4421689 SOS 758666 HAS SOPS 758666 HAS SOUS 681215 HAS SOUPS 681215 WITH SCORE 681973.666
AT ITER 822 NEW BEST:: SOT 4421441 SOS 758170 HAS SOPS 758170 HAS SOUS 680719 HAS SOUPS 680719 WITH SCORE 681477.17
AT ITER 888 NEW BEST:: SOT 4413495 SOS 783194 HAS SOPS 783194 HAS SOUS 674264 HAS SOUPS 674264 WITH SCORE 675047.194
AT ITER 893 NEW BEST:: SOT 4413442 SOS 783088 HAS SOPS 783088 HAS SOUS 674204 HAS SOUPS 674204 WITH SCORE 674987.088
AT ITER 921 NEW BEST:: SOT 4413442 SOS 782757 HAS SOPS 782757 HAS SOUS 674204 HAS SOUPS 674204 WITH SCORE 674986.757
AT ITER 928 NEW BEST:: SOT 4413441 SOS 782755 HAS SOPS 782755 HAS SOUS 674190 HAS SOUPS 674190 WITH SCORE 674972.755
AT ITER 936 NEW BEST:: SOT 4413411 SOS 782695 HAS SOPS 782695 HAS SOUS 674130 HAS SOUPS 674130 WITH SCORE 674912.695
AT ITER 946 NEW BEST:: SOT 4408315 SOS 777253 HAS SOPS 777253 HAS SOUS 668961 HAS SOUPS 668961 WITH SCORE 669738.253
AT ITER 970 NEW BEST:: SOT 4408314 SOS 777251 HAS SOPS 777251 HAS SOUS 668959 HAS SOUPS 668959 WITH SCORE 669736.251
AT ITER 988 NEW BEST:: SOT 4403844 SOS 818165 HAS SOPS 818165 HAS SOUS 666397 HAS SOUPS 666397 WITH SCORE 667215.165
AT ITER 989 NEW BEST:: SOT 4403679 SOS 818057 HAS SOPS 818057 HAS SOUS 666261 HAS SOUPS 666261 WITH SCORE 667079.057
AT ITER 1019 NEW BEST:: SOT 4403592 SOS 817883 HAS SOPS 817883 HAS SOUS 666174 HAS SOUPS 666174 WITH SCORE 666991.883
AT ITER 1025 NEW BEST:: SOT 4403174 SOS 817047 HAS SOPS 817047 HAS SOUS 665802 HAS SOUPS 665802 WITH SCORE 666619.047
AT ITER 1065 NEW BEST:: SOT 4403174 SOS 816911 HAS SOPS 816911 HAS SOUS 665802 HAS SOUPS 665802 WITH SCORE 666618.911
AT ITER 1068 NEW BEST:: SOT 4403035 SOS 816633 HAS SOPS 816633 HAS SOUS 665524 HAS SOUPS 665524 WITH SCORE 666340.633
AT ITER 1069 NEW BEST:: SOT 4403032 SOS 816627 HAS SOPS 816627 HAS SOUS 665518 HAS SOUPS 665518 WITH SCORE 666334.627
AT ITER 1086 NEW BEST:: SOT 4403032 SOS 816583 HAS SOPS 816583 HAS SOUS 665518 HAS SOUPS 665518 WITH SCORE 666334.583
AT ITER 1092 NEW BEST:: SOT 4402964 SOS 816655 HAS SOPS 816655 HAS SOUS 665450 HAS SOUPS 665450 WITH SCORE 666266.655
AT ITER 1133 NEW BEST:: SOT 4402706 SOS 816535 HAS SOPS 816535 HAS SOUS 665192 HAS SOUPS 665192 WITH SCORE 666008.535
AT ITER 1151 NEW BEST:: SOT 4402531 SOS 816185 HAS SOPS 816185 HAS SOUS 664842 HAS SOUPS 664842 WITH SCORE 665658.185
AT ITER 1167 NEW BEST:: SOT 4402267 SOS 815657 HAS SOPS 815657 HAS SOUS 664314 HAS SOUPS 664314 WITH SCORE 665129.657
AT ITER 1224 NEW BEST:: SOT 4402150 SOS 815423 HAS SOPS 815423 HAS SOUS 663878 HAS SOUPS 663878 WITH SCORE 664693.423
AT ITER 1259 NEW BEST:: SOT 4402045 SOS 815423 HAS SOPS 815423 HAS SOUS 663773 HAS SOUPS 663773 WITH SCORE 664588.423
AT ITER 1287 NEW BEST:: SOT 4401706 SOS 815299 HAS SOPS 815299 HAS SOUS 663311 HAS SOUPS 663311 WITH SCORE 664126.299
AT ITER 1288 NEW BEST:: SOT 4401706 SOS 815077 HAS SOPS 815077 HAS SOUS 663311 HAS SOUPS 663311 WITH SCORE 664126.077
AT ITER 1300 NEW BEST:: SOT 4401501 SOS 814667 HAS SOPS 814667 HAS SOUS 662901 HAS SOUPS 662901 WITH SCORE 663715.667
AT ITER 1321 NEW BEST:: SOT 4401388 SOS 814441 HAS SOPS 814441 HAS SOUS 662675 HAS SOUPS 662675 WITH SCORE 663489.441
AT ITER 1341 NEW BEST:: SOT 4401200 SOS 814373 HAS SOPS 814373 HAS SOUS 662520 HAS SOUPS 662520 WITH SCORE 663334.373
AT ITER 1358 NEW BEST:: SOT 4401124 SOS 814221 HAS SOPS 814221 HAS SOUS 662330 HAS SOUPS 662330 WITH SCORE 663144.221
AT ITER 1368 NEW BEST:: SOT 4401143 SOS 814259 HAS SOPS 814259 HAS SOUS 662254 HAS SOUPS 662254 WITH SCORE 663068.259
AT ITER 1376 NEW BEST:: SOT 4400937 SOS 813847 HAS SOPS 813847 HAS SOUS 661842 HAS SOUPS 661842 WITH SCORE 662655.847
AT ITER 1384 NEW BEST:: SOT 4400937 SOS 813847 HAS SOPS 813847 HAS SOUS 661635 HAS SOUPS 661635 WITH SCORE 662448.847
AT ITER 1385 NEW BEST:: SOT 4400937 SOS 813545 HAS SOPS 813545 HAS SOUS 661635 HAS SOUPS 661635 WITH SCORE 662448.545
AT ITER 1412 NEW BEST:: SOT 4400937 SOS 813432 HAS SOPS 813432 HAS SOUS 661522 HAS SOUPS 661522 WITH SCORE 662335.432
AT ITER 1466 NEW BEST:: SOT 4400703 SOS 812964 HAS SOPS 812964 HAS SOUS 661287 HAS SOUPS 661287 WITH SCORE 662099.964
AT ITER 1471 NEW BEST:: SOT 4400462 SOS 812482 HAS SOPS 812482 HAS SOUS 660805 HAS SOUPS 660805 WITH SCORE 661617.482
AT ITER 1473 NEW BEST:: SOT 4400598 SOS 812351 HAS SOPS 812351 HAS SOUS 660713 HAS SOUPS 660713 WITH SCORE 661525.351
AT ITER 1476 NEW BEST:: SOT 4400434 SOS 812187 HAS SOPS 812187 HAS SOUS 660549 HAS SOUPS 660549 WITH SCORE 661361.187
AT ITER 1478 NEW BEST:: SOT 4399741 SOS 811881 HAS SOPS 811881 HAS SOUS 660072 HAS SOUPS 660072 WITH SCORE 660883.881
AT ITER 1498 NEW BEST:: SOT 4399688 SOS 811722 HAS SOPS 811722 HAS SOUS 659966 HAS SOUPS 659966 WITH SCORE 660777.722
AT ITER 1508 NEW BEST:: SOT 4399688 SOS 811408 HAS SOPS 811408 HAS SOUS 659966 HAS SOUPS 659966 WITH SCORE 660777.408
AT ITER 1514 NEW BEST:: SOT 4399536 SOS 811104 HAS SOPS 811104 HAS SOUS 659662 HAS SOUPS 659662 WITH SCORE 660473.104
AT ITER 1515 NEW BEST:: SOT 4399420 SOS 810814 HAS SOPS 810814 HAS SOUS 659488 HAS SOUPS 659488 WITH SCORE 660298.814
AT ITER 1526 NEW BEST:: SOT 4399208 SOS 810390 HAS SOPS 810390 HAS SOUS 659193 HAS SOUPS 659193 WITH SCORE 660003.39
AT ITER 1536 NEW BEST:: SOT 4396756 SOS 809098 HAS SOPS 809098 HAS SOUS 657054 HAS SOUPS 657054 WITH SCORE 657863.098
AT ITER 1553 NEW BEST:: SOT 4396822 SOS 809230 HAS SOPS 809230 HAS SOUS 656992 HAS SOUPS 656992 WITH SCORE 657801.23
AT ITER 1576 NEW BEST:: SOT 4396276 SOS 813223 HAS SOPS 813223 HAS SOUS 656764 HAS SOUPS 656764 WITH SCORE 657577.223
AT ITER 1582 NEW BEST:: SOT 4396276 SOS 813144 HAS SOPS 813144 HAS SOUS 656763 HAS SOUPS 656763 WITH SCORE 657576.144
AT ITER 1595 NEW BEST:: SOT 4396084 SOS 812760 HAS SOPS 812760 HAS SOUS 656379 HAS SOUPS 656379 WITH SCORE 657191.76
AT ITER 1607 NEW BEST:: SOT 4395788 SOS 812666 HAS SOPS 812666 HAS SOUS 656153 HAS SOUPS 656153 WITH SCORE 656965.666
AT ITER 1614 NEW BEST:: SOT 4395598 SOS 812381 HAS SOPS 812381 HAS SOUS 655868 HAS SOUPS 655868 WITH SCORE 656680.381
AT ITER 1621 NEW BEST:: SOT 4395496 SOS 812357 HAS SOPS 812357 HAS SOUS 655765 HAS SOUPS 655765 WITH SCORE 656577.357
AT ITER 1627 NEW BEST:: SOT 4395521 SOS 811962 HAS SOPS 811962 HAS SOUS 655539 HAS SOUPS 655539 WITH SCORE 656350.962
AT ITER 1656 NEW BEST:: SOT 4395398 SOS 811716 HAS SOPS 811716 HAS SOUS 655293 HAS SOUPS 655293 WITH SCORE 656104.716
AT ITER 1715 NEW BEST:: SOT 4395398 SOS 811664 HAS SOPS 811664 HAS SOUS 655241 HAS SOUPS 655241 WITH SCORE 656052.664
AT ITER 1735 NEW BEST:: SOT 4395321 SOS 811510 HAS SOPS 811510 HAS SOUS 655087 HAS SOUPS 655087 WITH SCORE 655898.51
AT ITER 1753 NEW BEST:: SOT 4395197 SOS 811096 HAS SOPS 811096 HAS SOUS 654815 HAS SOUPS 654815 WITH SCORE 655626.096
AT ITER 1780 NEW BEST:: SOT 4395066 SOS 810834 HAS SOPS 810834 HAS SOUS 654553 HAS SOUPS 654553 WITH SCORE 655363.834
AT ITER 1783 NEW BEST:: SOT 4395050 SOS 811350 HAS SOPS 811350 HAS SOUS 654420 HAS SOUPS 654420 WITH SCORE 655231.35
AT ITER 1788 NEW BEST:: SOT 4395050 SOS 811350 HAS SOPS 811350 HAS SOUS 654256 HAS SOUPS 654256 WITH SCORE 655067.35
AT ITER 1801 NEW BEST:: SOT 4395257 SOS 811105 HAS SOPS 811105 HAS SOUS 654222 HAS SOUPS 654222 WITH SCORE 655033.105
AT ITER 1825 NEW BEST:: SOT 4394738 SOS 811192 HAS SOPS 811192 HAS SOUS 653949 HAS SOUPS 653949 WITH SCORE 654760.192
AT ITER 1841 NEW BEST:: SOT 4394464 SOS 810644 HAS SOPS 810644 HAS SOUS 653675 HAS SOUPS 653675 WITH SCORE 654485.644
AT ITER 1851 NEW BEST:: SOT 4394421 SOS 810649 HAS SOPS 810649 HAS SOUS 653662 HAS SOUPS 653662 WITH SCORE 654472.649
AT ITER 1929 NEW BEST:: SOT 4394420 SOS 810647 HAS SOPS 810647 HAS SOUS 653660 HAS SOUPS 653660 WITH SCORE 654470.647
AT ITER 1930 NEW BEST:: SOT 4392843 SOS 812827 HAS SOPS 812827 HAS SOUS 652207 HAS SOUPS 652207 WITH SCORE 653019.827
AT ITER 1941 NEW BEST:: SOT 4392747 SOS 812635 HAS SOPS 812635 HAS SOUS 652015 HAS SOUPS 652015 WITH SCORE 652827.635
AT ITER 1942 NEW BEST:: SOT 4392582 SOS 812182 HAS SOPS 812182 HAS SOUS 651274 HAS SOUPS 651274 WITH SCORE 652086.182
AT ITER 1948 NEW BEST:: SOT 4392296 SOS 811610 HAS SOPS 811610 HAS SOUS 650702 HAS SOUPS 650702 WITH SCORE 651513.61
AT ITER 1954 NEW BEST:: SOT 4392041 SOS 811100 HAS SOPS 811100 HAS SOUS 650702 HAS SOUPS 650702 WITH SCORE 651513.1
AT ITER 1955 NEW BEST:: SOT 4392013 SOS 811044 HAS SOPS 811044 HAS SOUS 650674 HAS SOUPS 650674 WITH SCORE 651485.044
AT ITER 1976 NEW BEST:: SOT 4392020 SOS 811009 HAS SOPS 811009 HAS SOUS 650674 HAS SOUPS 650674 WITH SCORE 651485.009
AT ITER 1984 NEW BEST:: SOT 4392091 SOS 810705 HAS SOPS 810705 HAS SOUS 650581 HAS SOUPS 650581 WITH SCORE 651391.705
AT ITER 1997 NEW BEST:: SOT 4392091 SOS 810579 HAS SOPS 810579 HAS SOUS 650581 HAS SOUPS 650581 WITH SCORE 651391.579
AT ITER 2022 NEW BEST:: SOT 4392023 SOS 810375 HAS SOPS 810375 HAS SOUS 650445 HAS SOUPS 650445 WITH SCORE 651255.375
AT ITER 2026 NEW BEST:: SOT 4391992 SOS 810313 HAS SOPS 810313 HAS SOUS 650383 HAS SOUPS 650383 WITH SCORE 651193.313
AT ITER 2047 NEW BEST:: SOT 4391992 SOS 810258 HAS SOPS 810258 HAS SOUS 650383 HAS SOUPS 650383 WITH SCORE 651193.258
AT ITER 2106 NEW BEST:: SOT 4391968 SOS 810210 HAS SOPS 810210 HAS SOUS 650374 HAS SOUPS 650374 WITH SCORE 651184.21
AT ITER 2111 NEW BEST:: SOT 4391968 SOS 810160 HAS SOPS 810160 HAS SOUS 650373 HAS SOUPS 650373 WITH SCORE 651183.16
AT ITER 2124 NEW BEST:: SOT 4391936 SOS 810160 HAS SOPS 810160 HAS SOUS 650357 HAS SOUPS 650357 WITH SCORE 651167.16
AT ITER 2177 NEW BEST:: SOT 4391696 SOS 810216 HAS SOPS 810216 HAS SOUS 650187 HAS SOUPS 650187 WITH SCORE 650997.216
AT ITER 2178 NEW BEST:: SOT 4391696 SOS 810216 HAS SOPS 810216 HAS SOUS 650186 HAS SOUPS 650186 WITH SCORE 650996.216
AT ITER 2210 NEW BEST:: SOT 4391773 SOS 810370 HAS SOPS 810370 HAS SOUS 650020 HAS SOUPS 650020 WITH SCORE 650830.37
AT ITER 2214 NEW BEST:: SOT 4391548 SOS 809920 HAS SOPS 809920 HAS SOUS 649570 HAS SOUPS 649570 WITH SCORE 650379.92
AT ITER 2223 NEW BEST:: SOT 4391359 SOS 809757 HAS SOPS 809757 HAS SOUS 649407 HAS SOUPS 649407 WITH SCORE 650216.757
AT ITER 2248 NEW BEST:: SOT 4391313 SOS 809665 HAS SOPS 809665 HAS SOUS 649315 HAS SOUPS 649315 WITH SCORE 650124.665
AT ITER 2259 NEW BEST:: SOT 4391248 SOS 809817 HAS SOPS 809817 HAS SOUS 649289 HAS SOUPS 649289 WITH SCORE 650098.817
AT ITER 2299 NEW BEST:: SOT 4384373 SOS 807561 HAS SOPS 807561 HAS SOUS 643391 HAS SOUPS 643391 WITH SCORE 644198.561
AT ITER 2303 NEW BEST:: SOT 4384245 SOS 807534 HAS SOPS 807534 HAS SOUS 643313 HAS SOUPS 643313 WITH SCORE 644120.534
AT ITER 2340 NEW BEST:: SOT 4384130 SOS 807304 HAS SOPS 807304 HAS SOUS 643312 HAS SOUPS 643312 WITH SCORE 644119.304
AT ITER 2353 NEW BEST:: SOT 4383980 SOS 807154 HAS SOPS 807154 HAS SOUS 643162 HAS SOUPS 643162 WITH SCORE 643969.154
AT ITER 2359 NEW BEST:: SOT 4383842 SOS 807084 HAS SOPS 807084 HAS SOUS 643092 HAS SOUPS 643092 WITH SCORE 643899.084
AT ITER 2426 NEW BEST:: SOT 4383804 SOS 807008 HAS SOPS 807008 HAS SOUS 643016 HAS SOUPS 643016 WITH SCORE 643823.008
AT ITER 2434 NEW BEST:: SOT 4383252 SOS 806648 HAS SOPS 806648 HAS SOUS 642464 HAS SOUPS 642464 WITH SCORE 643270.648
AT ITER 2441 NEW BEST:: SOT 4383252 SOS 806648 HAS SOPS 806648 HAS SOUS 642205 HAS SOUPS 642205 WITH SCORE 643011.648
AT ITER 2470 NEW BEST:: SOT 4383251 SOS 806647 HAS SOPS 806647 HAS SOUS 642205 HAS SOUPS 642205 WITH SCORE 643011.647
AT ITER 2472 NEW BEST:: SOT 4382646 SOS 805933 HAS SOPS 805933 HAS SOUS 641440 HAS SOUPS 641440 WITH SCORE 642245.933
AT ITER 2530 NEW BEST:: SOT 4382454 SOS 805933 HAS SOPS 805933 HAS SOUS 641344 HAS SOUPS 641344 WITH SCORE 642149.933
AT ITER 2536 NEW BEST:: SOT 4382454 SOS 805733 HAS SOPS 805733 HAS SOUS 641344 HAS SOUPS 641344 WITH SCORE 642149.733
AT ITER 2537 NEW BEST:: SOT 4382578 SOS 805621 HAS SOPS 805621 HAS SOUS 641288 HAS SOUPS 641288 WITH SCORE 642093.621
AT ITER 2548 NEW BEST:: SOT 4382578 SOS 805606 HAS SOPS 805606 HAS SOUS 641273 HAS SOUPS 641273 WITH SCORE 642078.606
AT ITER 2549 NEW BEST:: SOT 4382308 SOS 805456 HAS SOPS 805456 HAS SOUS 640968 HAS SOUPS 640968 WITH SCORE 641773.456
AT ITER 2567 NEW BEST:: SOT 4382307 SOS 805454 HAS SOPS 805454 HAS SOUS 640966 HAS SOUPS 640966 WITH SCORE 641771.454
AT ITER 2575 NEW BEST:: SOT 4382306 SOS 805332 HAS SOPS 805332 HAS SOUS 640965 HAS SOUPS 640965 WITH SCORE 641770.332
AT ITER 2578 NEW BEST:: SOT 4382276 SOS 805317 HAS SOPS 805317 HAS SOUS 640950 HAS SOUPS 640950 WITH SCORE 641755.317
AT ITER 2608 NEW BEST:: SOT 4382230 SOS 805225 HAS SOPS 805225 HAS SOUS 640758 HAS SOUPS 640758 WITH SCORE 641563.225
AT ITER 2619 NEW BEST:: SOT 4382116 SOS 805111 HAS SOPS 805111 HAS SOUS 640644 HAS SOUPS 640644 WITH SCORE 641449.111
AT ITER 2647 NEW BEST:: SOT 4382054 SOS 805110 HAS SOPS 805110 HAS SOUS 640582 HAS SOUPS 640582 WITH SCORE 641387.11
AT ITER 2663 NEW BEST:: SOT 4382065 SOS 805132 HAS SOPS 805132 HAS SOUS 640502 HAS SOUPS 640502 WITH SCORE 641307.132
AT ITER 2678 NEW BEST:: SOT 4382065 SOS 805126 HAS SOPS 805126 HAS SOUS 640502 HAS SOUPS 640502 WITH SCORE 641307.126
AT ITER 2698 NEW BEST:: SOT 4381996 SOS 804988 HAS SOPS 804988 HAS SOUS 640364 HAS SOUPS 640364 WITH SCORE 641168.988
AT ITER 2728 NEW BEST:: SOT 4381975 SOS 804967 HAS SOPS 804967 HAS SOUS 640343 HAS SOUPS 640343 WITH SCORE 641147.967
AT ITER 2756 NEW BEST:: SOT 4381974 SOS 804965 HAS SOPS 804965 HAS SOUS 640341 HAS SOUPS 640341 WITH SCORE 641145.965
AT ITER 2757 NEW BEST:: SOT 4381702 SOS 805474 HAS SOPS 805474 HAS SOUS 640268 HAS SOUPS 640268 WITH SCORE 641073.474
AT ITER 2773 NEW BEST:: SOT 4381624 SOS 805318 HAS SOPS 805318 HAS SOUS 640112 HAS SOUPS 640112 WITH SCORE 640917.318
AT ITER 2778 NEW BEST:: SOT 4380680 SOS 804641 HAS SOPS 804641 HAS SOUS 639262 HAS SOUPS 639262 WITH SCORE 640066.641
AT ITER 2784 NEW BEST:: SOT 4380680 SOS 804641 HAS SOPS 804641 HAS SOUS 639261 HAS SOUPS 639261 WITH SCORE 640065.641
AT ITER 2792 NEW BEST:: SOT 4380630 SOS 804541 HAS SOPS 804541 HAS SOUS 639161 HAS SOUPS 639161 WITH SCORE 639965.541
AT ITER 2799 NEW BEST:: SOT 4380526 SOS 804333 HAS SOPS 804333 HAS SOUS 639057 HAS SOUPS 639057 WITH SCORE 639861.333
AT ITER 2805 NEW BEST:: SOT 4380526 SOS 804295 HAS SOPS 804295 HAS SOUS 639019 HAS SOUPS 639019 WITH SCORE 639823.295
AT ITER 2828 NEW BEST:: SOT 4380380 SOS 804295 HAS SOPS 804295 HAS SOUS 638946 HAS SOUPS 638946 WITH SCORE 639750.295
AT ITER 2884 NEW BEST:: SOT 4380407 SOS 804349 HAS SOPS 804349 HAS SOUS 638904 HAS SOUPS 638904 WITH SCORE 639708.349
AT ITER 2899 NEW BEST:: SOT 4380407 SOS 804349 HAS SOPS 804349 HAS SOUS 638860 HAS SOUPS 638860 WITH SCORE 639664.349
AT ITER 2900 NEW BEST:: SOT 4380207 SOS 803949 HAS SOPS 803949 HAS SOUS 638612 HAS SOUPS 638612 WITH SCORE 639415.949
AT ITER 2902 NEW BEST:: SOT 4379919 SOS 803373 HAS SOPS 803373 HAS SOUS 638036 HAS SOUPS 638036 WITH SCORE 638839.373
AT ITER 2904 NEW BEST:: SOT 4379882 SOS 803299 HAS SOPS 803299 HAS SOUS 637999 HAS SOUPS 637999 WITH SCORE 638802.299
AT ITER 2924 NEW BEST:: SOT 4379882 SOS 803011 HAS SOPS 803011 HAS SOUS 637711 HAS SOUPS 637711 WITH SCORE 638514.011
AT ITER 2971 NEW BEST:: SOT 4379643 SOS 802533 HAS SOPS 802533 HAS SOUS 637233 HAS SOUPS 637233 WITH SCORE 638035.533
AT ITER 3028 NEW BEST:: SOT 4379587 SOS 802365 HAS SOPS 802365 HAS SOUS 637121 HAS SOUPS 637121 WITH SCORE 637923.365
AT ITER 3043 NEW BEST:: SOT 4379548 SOS 802364 HAS SOPS 802364 HAS SOUS 637096 HAS SOUPS 637096 WITH SCORE 637898.364
AT ITER 3059 NEW BEST:: SOT 4379402 SOS 802370 HAS SOPS 802370 HAS SOUS 637020 HAS SOUPS 637020 WITH SCORE 637822.37
AT ITER 3138 NEW BEST:: SOT 4379399 SOS 802367 HAS SOPS 802367 HAS SOUS 637014 HAS SOUPS 637014 WITH SCORE 637816.367
AT ITER 3150 NEW BEST:: SOT 4379399 SOS 802367 HAS SOPS 802367 HAS SOUS 637002 HAS SOUPS 637002 WITH SCORE 637804.367
AT ITER 3188 NEW BEST:: SOT 4379287 SOS 801966 HAS SOPS 801966 HAS SOUS 636601 HAS SOUPS 636601 WITH SCORE 637402.966
AT ITER 3195 NEW BEST:: SOT 4379124 SOS 801934 HAS SOPS 801934 HAS SOUS 636569 HAS SOUPS 636569 WITH SCORE 637370.934
AT ITER 3217 NEW BEST:: SOT 4379071 SOS 801828 HAS SOPS 801828 HAS SOUS 636463 HAS SOUPS 636463 WITH SCORE 637264.828
AT ITER 3225 NEW BEST:: SOT 4379066 SOS 801818 HAS SOPS 801818 HAS SOUS 636453 HAS SOUPS 636453 WITH SCORE 637254.818
AT ITER 3232 NEW BEST:: SOT 4379026 SOS 801738 HAS SOPS 801738 HAS SOUS 636373 HAS SOUPS 636373 WITH SCORE 637174.738
AT ITER 3242 NEW BEST:: SOT 4379026 SOS 801767 HAS SOPS 801767 HAS SOUS 636344 HAS SOUPS 636344 WITH SCORE 637145.767
AT ITER 3261 NEW BEST:: SOT 4379084 SOS 801698 HAS SOPS 801698 HAS SOUS 636275 HAS SOUPS 636275 WITH SCORE 637076.698
AT ITER 3264 NEW BEST:: SOT 4379084 SOS 801698 HAS SOPS 801698 HAS SOUS 636251 HAS SOUPS 636251 WITH SCORE 637052.698
AT ITER 3267 NEW BEST:: SOT 4379083 SOS 801696 HAS SOPS 801696 HAS SOUS 636249 HAS SOUPS 636249 WITH SCORE 637050.696
AT ITER 3275 NEW BEST:: SOT 4378931 SOS 801240 HAS SOPS 801240 HAS SOUS 635945 HAS SOUPS 635945 WITH SCORE 636746.24
AT ITER 3278 NEW BEST:: SOT 4378930 SOS 801272 HAS SOPS 801272 HAS SOUS 635943 HAS SOUPS 635943 WITH SCORE 636744.272
AT ITER 3291 NEW BEST:: SOT 4378972 SOS 801356 HAS SOPS 801356 HAS SOUS 635745 HAS SOUPS 635745 WITH SCORE 636546.356
AT ITER 3292 NEW BEST:: SOT 4378802 SOS 800880 HAS SOPS 800880 HAS SOUS 635405 HAS SOUPS 635405 WITH SCORE 636205.88
AT ITER 3310 NEW BEST:: SOT 4378802 SOS 800552 HAS SOPS 800552 HAS SOUS 635405 HAS SOUPS 635405 WITH SCORE 636205.552
AT ITER 3332 NEW BEST:: SOT 4379082 SOS 800530 HAS SOPS 800530 HAS SOUS 635384 HAS SOUPS 635384 WITH SCORE 636184.53
AT ITER 3357 NEW BEST:: SOT 4379082 SOS 800530 HAS SOPS 800530 HAS SOUS 635159 HAS SOUPS 635159 WITH SCORE 635959.53
AT ITER 3375 NEW BEST:: SOT 4379082 SOS 800489 HAS SOPS 800489 HAS SOUS 635159 HAS SOUPS 635159 WITH SCORE 635959.489
AT ITER 3413 NEW BEST:: SOT 4378898 SOS 800305 HAS SOPS 800305 HAS SOUS 634975 HAS SOUPS 634975 WITH SCORE 635775.305
AT ITER 3450 NEW BEST:: SOT 4378437 SOS 799639 HAS SOPS 799639 HAS SOUS 634286 HAS SOUPS 634286 WITH SCORE 635085.639
AT ITER 3457 NEW BEST:: SOT 4378309 SOS 799479 HAS SOPS 799479 HAS SOUS 634126 HAS SOUPS 634126 WITH SCORE 634925.479
AT ITER 3494 NEW BEST:: SOT 4378250 SOS 799361 HAS SOPS 799361 HAS SOUS 634008 HAS SOUPS 634008 WITH SCORE 634807.361
AT ITER 3505 NEW BEST:: SOT 4378234 SOS 799154 HAS SOPS 799154 HAS SOUS 633785 HAS SOUPS 633785 WITH SCORE 634584.154
AT ITER 3525 NEW BEST:: SOT 4378234 SOS 799115 HAS SOPS 799115 HAS SOUS 633746 HAS SOUPS 633746 WITH SCORE 634545.115
AT ITER 3541 NEW BEST:: SOT 4378067 SOS 799419 HAS SOPS 799419 HAS SOUS 633579 HAS SOUPS 633579 WITH SCORE 634378.419
AT ITER 3560 NEW BEST:: SOT 4378067 SOS 799243 HAS SOPS 799243 HAS SOUS 633579 HAS SOUPS 633579 WITH SCORE 634378.243
AT ITER 3593 NEW BEST:: SOT 4378067 SOS 799111 HAS SOPS 799111 HAS SOUS 633579 HAS SOUPS 633579 WITH SCORE 634378.111
AT ITER 3613 NEW BEST:: SOT 4377884 SOS 798745 HAS SOPS 798745 HAS SOUS 633064 HAS SOUPS 633064 WITH SCORE 633862.745
AT ITER 3617 NEW BEST:: SOT 4377840 SOS 798701 HAS SOPS 798701 HAS SOUS 633020 HAS SOUPS 633020 WITH SCORE 633818.701
AT ITER 3642 NEW BEST:: SOT 4377661 SOS 799039 HAS SOPS 799039 HAS SOUS 633015 HAS SOUPS 633015 WITH SCORE 633814.039
AT ITER 3646 NEW BEST:: SOT 4377658 SOS 799033 HAS SOPS 799033 HAS SOUS 632950 HAS SOUPS 632950 WITH SCORE 633749.033
AT ITER 3655 NEW BEST:: SOT 4377761 SOS 798986 HAS SOPS 798986 HAS SOUS 632903 HAS SOUPS 632903 WITH SCORE 633701.986
AT ITER 3658 NEW BEST:: SOT 4377761 SOS 798759 HAS SOPS 798759 HAS SOUS 632903 HAS SOUPS 632903 WITH SCORE 633701.759
AT ITER 3661 NEW BEST:: SOT 4377738 SOS 798647 HAS SOPS 798647 HAS SOUS 632880 HAS SOUPS 632880 WITH SCORE 633678.647
AT ITER 3673 NEW BEST:: SOT 4377787 SOS 798544 HAS SOPS 798544 HAS SOUS 632826 HAS SOUPS 632826 WITH SCORE 633624.544
AT ITER 3689 NEW BEST:: SOT 4377598 SOS 798412 HAS SOPS 798412 HAS SOUS 632425 HAS SOUPS 632425 WITH SCORE 633223.412
AT ITER 3718 NEW BEST:: SOT 4377598 SOS 798412 HAS SOPS 798412 HAS SOUS 632422 HAS SOUPS 632422 WITH SCORE 633220.412
AT ITER 3734 NEW BEST:: SOT 4377598 SOS 798246 HAS SOPS 798246 HAS SOUS 632422 HAS SOUPS 632422 WITH SCORE 633220.246
AT ITER 3770 NEW BEST:: SOT 4377597 SOS 798244 HAS SOPS 798244 HAS SOUS 632420 HAS SOUPS 632420 WITH SCORE 633218.244
AT ITER 3789 NEW BEST:: SOT 4377596 SOS 798045 HAS SOPS 798045 HAS SOUS 632418 HAS SOUPS 632418 WITH SCORE 633216.045
AT ITER 3798 NEW BEST:: SOT 4377445 SOS 797894 HAS SOPS 797894 HAS SOUS 632267 HAS SOUPS 632267 WITH SCORE 633064.894
AT ITER 3806 NEW BEST:: SOT 4377200 SOS 797404 HAS SOPS 797404 HAS SOUS 632022 HAS SOUPS 632022 WITH SCORE 632819.404
AT ITER 3811 NEW BEST:: SOT 4377200 SOS 797294 HAS SOPS 797294 HAS SOUS 632022 HAS SOUPS 632022 WITH SCORE 632819.294
AT ITER 3842 NEW BEST:: SOT 4376460 SOS 796554 HAS SOPS 796554 HAS SOUS 631282 HAS SOUPS 631282 WITH SCORE 632078.554
AT ITER 3845 NEW BEST:: SOT 4376434 SOS 796502 HAS SOPS 796502 HAS SOUS 631256 HAS SOUPS 631256 WITH SCORE 632052.502
AT ITER 3853 NEW BEST:: SOT 4376378 SOS 796446 HAS SOPS 796446 HAS SOUS 631200 HAS SOUPS 631200 WITH SCORE 631996.446
AT ITER 3869 NEW BEST:: SOT 4376301 SOS 797484 HAS SOPS 797484 HAS SOUS 631085 HAS SOUPS 631085 WITH SCORE 631882.484
AT ITER 3890 NEW BEST:: SOT 4376072 SOS 797255 HAS SOPS 797255 HAS SOUS 630856 HAS SOUPS 630856 WITH SCORE 631653.255
AT ITER 3901 NEW BEST:: SOT 4375857 SOS 797121 HAS SOPS 797121 HAS SOUS 630719 HAS SOUPS 630719 WITH SCORE 631516.121
AT ITER 3916 NEW BEST:: SOT 4375849 SOS 797105 HAS SOPS 797105 HAS SOUS 630703 HAS SOUPS 630703 WITH SCORE 631500.105
AT ITER 3921 NEW BEST:: SOT 4375848 SOS 796622 HAS SOPS 796622 HAS SOUS 630702 HAS SOUPS 630702 WITH SCORE 631498.622
AT ITER 3926 NEW BEST:: SOT 4375579 SOS 796768 HAS SOPS 796768 HAS SOUS 630604 HAS SOUPS 630604 WITH SCORE 631400.768
AT ITER 3947 NEW BEST:: SOT 4375322 SOS 797106 HAS SOPS 797106 HAS SOUS 630395 HAS SOUPS 630395 WITH SCORE 631192.106
AT ITER 3982 NEW BEST:: SOT 4373799 SOS 797267 HAS SOPS 797267 HAS SOUS 629572 HAS SOUPS 629572 WITH SCORE 630369.267
AT ITER 3994 NEW BEST:: SOT 4373798 SOS 796926 HAS SOPS 796926 HAS SOUS 629570 HAS SOUPS 629570 WITH SCORE 630366.926
AT ITER 4017 NEW BEST:: SOT 4373508 SOS 796956 HAS SOPS 796956 HAS SOUS 629340 HAS SOUPS 629340 WITH SCORE 630136.956
AT ITER 4032 NEW BEST:: SOT 4373277 SOS 796784 HAS SOPS 796784 HAS SOUS 629109 HAS SOUPS 629109 WITH SCORE 629905.784
AT ITER 4059 NEW BEST:: SOT 4373126 SOS 796331 HAS SOPS 796331 HAS SOUS 628807 HAS SOUPS 628807 WITH SCORE 629603.331
AT ITER 4106 NEW BEST:: SOT 4373123 SOS 796325 HAS SOPS 796325 HAS SOUS 628801 HAS SOUPS 628801 WITH SCORE 629597.325
AT ITER 4116 NEW BEST:: SOT 4373101 SOS 796281 HAS SOPS 796281 HAS SOUS 628779 HAS SOUPS 628779 WITH SCORE 629575.281
AT ITER 4121 NEW BEST:: SOT 4373001 SOS 796081 HAS SOPS 796081 HAS SOUS 628579 HAS SOUPS 628579 WITH SCORE 629375.081
AT ITER 4147 NEW BEST:: SOT 4373171 SOS 795915 HAS SOPS 795915 HAS SOUS 628275 HAS SOUPS 628275 WITH SCORE 629070.915
AT ITER 4162 NEW BEST:: SOT 4372954 SOS 795798 HAS SOPS 795798 HAS SOUS 628074 HAS SOUPS 628074 WITH SCORE 628869.798
AT ITER 4200 NEW BEST:: SOT 4372378 SOS 795366 HAS SOPS 795366 HAS SOUS 627642 HAS SOUPS 627642 WITH SCORE 628437.366
AT ITER 4201 NEW BEST:: SOT 4372378 SOS 795074 HAS SOPS 795074 HAS SOUS 627496 HAS SOUPS 627496 WITH SCORE 628291.074
AT ITER 4254 NEW BEST:: SOT 4372378 SOS 795074 HAS SOPS 795074 HAS SOUS 627464 HAS SOUPS 627464 WITH SCORE 628259.074
AT ITER 4285 NEW BEST:: SOT 4372304 SOS 795109 HAS SOPS 795109 HAS SOUS 627207 HAS SOUPS 627207 WITH SCORE 628002.109
AT ITER 4321 NEW BEST:: SOT 4372304 SOS 794591 HAS SOPS 794591 HAS SOUS 627207 HAS SOUPS 627207 WITH SCORE 628001.591
AT ITER 4326 NEW BEST:: SOT 4372301 SOS 794585 HAS SOPS 794585 HAS SOUS 627204 HAS SOUPS 627204 WITH SCORE 627998.585
AT ITER 4330 NEW BEST:: SOT 4372212 SOS 794704 HAS SOPS 794704 HAS SOUS 627159 HAS SOUPS 627159 WITH SCORE 627953.704
AT ITER 4335 NEW BEST:: SOT 4372048 SOS 794213 HAS SOPS 794213 HAS SOUS 626989 HAS SOUPS 626989 WITH SCORE 627783.213
AT ITER 4357 NEW BEST:: SOT 4372043 SOS 794203 HAS SOPS 794203 HAS SOUS 626984 HAS SOUPS 626984 WITH SCORE 627778.203
AT ITER 4386 NEW BEST:: SOT 4371935 SOS 793987 HAS SOPS 793987 HAS SOUS 626876 HAS SOUPS 626876 WITH SCORE 627669.987
AT ITER 4421 NEW BEST:: SOT 4371934 SOS 793834 HAS SOPS 793834 HAS SOUS 626724 HAS SOUPS 626724 WITH SCORE 627517.834
AT ITER 4439 NEW BEST:: SOT 4371933 SOS 793615 HAS SOPS 793615 HAS SOUS 626722 HAS SOUPS 626722 WITH SCORE 627515.615
AT ITER 4445 NEW BEST:: SOT 4371253 SOS 762882 HAS SOPS 762882 HAS SOUS 625362 HAS SOUPS 625362 WITH SCORE 626124.882
AT ITER 4471 NEW BEST:: SOT 4370945 SOS 762041 HAS SOPS 762041 HAS SOUS 624684 HAS SOUPS 624684 WITH SCORE 625446.041
AT ITER 4490 NEW BEST:: SOT 4370912 SOS 761942 HAS SOPS 761942 HAS SOUS 624618 HAS SOUPS 624618 WITH SCORE 625379.942
AT ITER 4503 NEW BEST:: SOT 4370912 SOS 761942 HAS SOPS 761942 HAS SOUS 624337 HAS SOUPS 624337 WITH SCORE 625098.942
AT ITER 4504 NEW BEST:: SOT 4370824 SOS 761766 HAS SOPS 761766 HAS SOUS 624285 HAS SOUPS 624285 WITH SCORE 625046.766
AT ITER 4517 NEW BEST:: SOT 4370824 SOS 761526 HAS SOPS 761526 HAS SOUS 624165 HAS SOUPS 624165 WITH SCORE 624926.526
AT ITER 4519 NEW BEST:: SOT 4370824 SOS 761437 HAS SOPS 761437 HAS SOUS 624076 HAS SOUPS 624076 WITH SCORE 624837.437
AT ITER 4533 NEW BEST:: SOT 4370670 SOS 761129 HAS SOPS 761129 HAS SOUS 623768 HAS SOUPS 623768 WITH SCORE 624529.129
AT ITER 4562 NEW BEST:: SOT 4370628 SOS 761023 HAS SOPS 761023 HAS SOUS 623662 HAS SOUPS 623662 WITH SCORE 624423.023
AT ITER 4582 NEW BEST:: SOT 4370579 SOS 760833 HAS SOPS 760833 HAS SOUS 623472 HAS SOUPS 623472 WITH SCORE 624232.833
AT ITER 4593 NEW BEST:: SOT 4370583 SOS 760768 HAS SOPS 760768 HAS SOUS 623407 HAS SOUPS 623407 WITH SCORE 624167.768
AT ITER 4595 NEW BEST:: SOT 4370376 SOS 760354 HAS SOPS 760354 HAS SOUS 623216 HAS SOUPS 623216 WITH SCORE 623976.354
AT ITER 4598 NEW BEST:: SOT 4370390 SOS 760382 HAS SOPS 760382 HAS SOUS 623163 HAS SOUPS 623163 WITH SCORE 623923.382
AT ITER 4600 NEW BEST:: SOT 4370292 SOS 760186 HAS SOPS 760186 HAS SOUS 622967 HAS SOUPS 622967 WITH SCORE 623727.186
AT ITER 4645 NEW BEST:: SOT 4370240 SOS 760082 HAS SOPS 760082 HAS SOUS 622863 HAS SOUPS 622863 WITH SCORE 623623.082
AT ITER 4653 NEW BEST:: SOT 4370049 SOS 759916 HAS SOPS 759916 HAS SOUS 622671 HAS SOUPS 622671 WITH SCORE 623430.916
AT ITER 4658 NEW BEST:: SOT 4370049 SOS 759738 HAS SOPS 759738 HAS SOUS 622582 HAS SOUPS 622582 WITH SCORE 623341.738
AT ITER 4682 NEW BEST:: SOT 4370049 SOS 759716 HAS SOPS 759716 HAS SOUS 622571 HAS SOUPS 622571 WITH SCORE 623330.716
AT ITER 4707 NEW BEST:: SOT 4369970 SOS 759389 HAS SOPS 759389 HAS SOUS 622413 HAS SOUPS 622413 WITH SCORE 623172.389
AT ITER 4721 NEW BEST:: SOT 4369970 SOS 759389 HAS SOPS 759389 HAS SOUS 622412 HAS SOUPS 622412 WITH SCORE 623171.389
AT ITER 4746 NEW BEST:: SOT 4369943 SOS 759335 HAS SOPS 759335 HAS SOUS 622358 HAS SOUPS 622358 WITH SCORE 623117.335
AT ITER 4785 NEW BEST:: SOT 4369518 SOS 758485 HAS SOPS 758485 HAS SOUS 621539 HAS SOUPS 621539 WITH SCORE 622297.485
AT ITER 4802 NEW BEST:: SOT 4369517 SOS 758483 HAS SOPS 758483 HAS SOUS 621537 HAS SOUPS 621537 WITH SCORE 622295.483
AT ITER 4803 NEW BEST:: SOT 4369352 SOS 758153 HAS SOPS 758153 HAS SOUS 621207 HAS SOUPS 621207 WITH SCORE 621965.153
AT ITER 4808 NEW BEST:: SOT 4369255 SOS 757959 HAS SOPS 757959 HAS SOUS 621013 HAS SOUPS 621013 WITH SCORE 621770.959
AT ITER 4813 NEW BEST:: SOT 4369255 SOS 757761 HAS SOPS 757761 HAS SOUS 621013 HAS SOUPS 621013 WITH SCORE 621770.761
AT ITER 4815 NEW BEST:: SOT 4369234 SOS 757535 HAS SOPS 757535 HAS SOUS 620971 HAS SOUPS 620971 WITH SCORE 621728.535
AT ITER 4817 NEW BEST:: SOT 4368880 SOS 757181 HAS SOPS 757181 HAS SOUS 620617 HAS SOUPS 620617 WITH SCORE 621374.181
AT ITER 4838 NEW BEST:: SOT 4368845 SOS 756718 HAS SOPS 756718 HAS SOUS 620247 HAS SOUPS 620247 WITH SCORE 621003.718
AT ITER 4852 NEW BEST:: SOT 4368819 SOS 756593 HAS SOPS 756593 HAS SOUS 620195 HAS SOUPS 620195 WITH SCORE 620951.593
AT ITER 4860 NEW BEST:: SOT 4368725 SOS 756405 HAS SOPS 756405 HAS SOUS 620007 HAS SOUPS 620007 WITH SCORE 620763.405
AT ITER 4873 NEW BEST:: SOT 4368333 SOS 756189 HAS SOPS 756189 HAS SOUS 619686 HAS SOUPS 619686 WITH SCORE 620442.189
AT ITER 4897 NEW BEST:: SOT 4368333 SOS 756175 HAS SOPS 756175 HAS SOUS 619686 HAS SOUPS 619686 WITH SCORE 620442.175
AT ITER 4931 NEW BEST:: SOT 4368333 SOS 756027 HAS SOPS 756027 HAS SOUS 619538 HAS SOUPS 619538 WITH SCORE 620294.027
AT ITER 4949 NEW BEST:: SOT 4368089 SOS 755539 HAS SOPS 755539 HAS SOUS 619468 HAS SOUPS 619468 WITH SCORE 620223.539
AT ITER 4965 NEW BEST:: SOT 4368089 SOS 755299 HAS SOPS 755299 HAS SOUS 619468 HAS SOUPS 619468 WITH SCORE 620223.299
AT ITER 4988 NEW BEST:: SOT 4368026 SOS 755173 HAS SOPS 755173 HAS SOUS 619342 HAS SOUPS 619342 WITH SCORE 620097.173
AT ITER 4995 NEW BEST:: SOT 4367856 SOS 755282 HAS SOPS 755282 HAS SOUS 619276 HAS SOUPS 619276 WITH SCORE 620031.282
AT ITER 5004 NEW BEST:: SOT 4367904 SOS 755223 HAS SOPS 755223 HAS SOUS 619217 HAS SOUPS 619217 WITH SCORE 619972.223
AT ITER 5025 NEW BEST:: SOT 4367903 SOS 755221 HAS SOPS 755221 HAS SOUS 619215 HAS SOUPS 619215 WITH SCORE 619970.221
AT ITER 5061 NEW BEST:: SOT 4367643 SOS 754701 HAS SOPS 754701 HAS SOUS 618695 HAS SOUPS 618695 WITH SCORE 619449.701
AT ITER 5082 NEW BEST:: SOT 4367610 SOS 754635 HAS SOPS 754635 HAS SOUS 618662 HAS SOUPS 618662 WITH SCORE 619416.635
AT ITER 5147 NEW BEST:: SOT 4367596 SOS 754574 HAS SOPS 754574 HAS SOUS 618624 HAS SOUPS 618624 WITH SCORE 619378.574
AT ITER 5149 NEW BEST:: SOT 4367362 SOS 754340 HAS SOPS 754340 HAS SOUS 618509 HAS SOUPS 618509 WITH SCORE 619263.34
AT ITER 5172 NEW BEST:: SOT 4367276 SOS 754168 HAS SOPS 754168 HAS SOUS 618414 HAS SOUPS 618414 WITH SCORE 619168.168
AT ITER 5178 NEW BEST:: SOT 4367275 SOS 754166 HAS SOPS 754166 HAS SOUS 618412 HAS SOUPS 618412 WITH SCORE 619166.166
AT ITER 5277 NEW BEST:: SOT 4367262 SOS 754140 HAS SOPS 754140 HAS SOUS 618399 HAS SOUPS 618399 WITH SCORE 619153.14
AT ITER 5293 NEW BEST:: SOT 4367262 SOS 754140 HAS SOPS 754140 HAS SOUS 618372 HAS SOUPS 618372 WITH SCORE 619126.14
AT ITER 5307 NEW BEST:: SOT 4367123 SOS 753862 HAS SOPS 753862 HAS SOUS 618094 HAS SOUPS 618094 WITH SCORE 618847.862
AT ITER 5313 NEW BEST:: SOT 4367122 SOS 753647 HAS SOPS 753647 HAS SOUS 617843 HAS SOUPS 617843 WITH SCORE 618596.647
AT ITER 5320 NEW BEST:: SOT 4367122 SOS 753377 HAS SOPS 753377 HAS SOUS 617615 HAS SOUPS 617615 WITH SCORE 618368.377
AT ITER 5326 NEW BEST:: SOT 4367068 SOS 753269 HAS SOPS 753269 HAS SOUS 617507 HAS SOUPS 617507 WITH SCORE 618260.269
AT ITER 5337 NEW BEST:: SOT 4367061 SOS 753096 HAS SOPS 753096 HAS SOUS 617493 HAS SOUPS 617493 WITH SCORE 618246.096
AT ITER 5352 NEW BEST:: SOT 4367061 SOS 753087 HAS SOPS 753087 HAS SOUS 617475 HAS SOUPS 617475 WITH SCORE 618228.087
AT ITER 5356 NEW BEST:: SOT 4366904 SOS 752616 HAS SOPS 752616 HAS SOUS 617161 HAS SOUPS 617161 WITH SCORE 617913.616
AT ITER 5398 NEW BEST:: SOT 4366903 SOS 752614 HAS SOPS 752614 HAS SOUS 617159 HAS SOUPS 617159 WITH SCORE 617911.614
AT ITER 5409 NEW BEST:: SOT 4366903 SOS 752532 HAS SOPS 752532 HAS SOUS 617159 HAS SOUPS 617159 WITH SCORE 617911.532
AT ITER 5428 NEW BEST:: SOT 4366903 SOS 752514 HAS SOPS 752514 HAS SOUS 617159 HAS SOUPS 617159 WITH SCORE 617911.514
AT ITER 5429 NEW BEST:: SOT 4366800 SOS 752308 HAS SOPS 752308 HAS SOUS 617055 HAS SOUPS 617055 WITH SCORE 617807.308
AT ITER 5438 NEW BEST:: SOT 4366562 SOS 751832 HAS SOPS 751832 HAS SOUS 616277 HAS SOUPS 616277 WITH SCORE 617028.832
AT ITER 5451 NEW BEST:: SOT 4366549 SOS 751806 HAS SOPS 751806 HAS SOUS 616251 HAS SOUPS 616251 WITH SCORE 617002.806
AT ITER 5458 NEW BEST:: SOT 4366548 SOS 751804 HAS SOPS 751804 HAS SOUS 616249 HAS SOUPS 616249 WITH SCORE 617000.804
AT ITER 5467 NEW BEST:: SOT 4366597 SOS 751474 HAS SOPS 751474 HAS SOUS 615921 HAS SOUPS 615921 WITH SCORE 616672.474
AT ITER 5475 NEW BEST:: SOT 4366597 SOS 751184 HAS SOPS 751184 HAS SOUS 615921 HAS SOUPS 615921 WITH SCORE 616672.184
AT ITER 5485 NEW BEST:: SOT 4366506 SOS 751002 HAS SOPS 751002 HAS SOUS 615739 HAS SOUPS 615739 WITH SCORE 616490.002
AT ITER 5494 NEW BEST:: SOT 4366506 SOS 750850 HAS SOPS 750850 HAS SOUS 615663 HAS SOUPS 615663 WITH SCORE 616413.85
AT ITER 5499 NEW BEST:: SOT 4366351 SOS 750695 HAS SOPS 750695 HAS SOUS 615508 HAS SOUPS 615508 WITH SCORE 616258.695
AT ITER 5501 NEW BEST:: SOT 4366351 SOS 750637 HAS SOPS 750637 HAS SOUS 615497 HAS SOUPS 615497 WITH SCORE 616247.637
AT ITER 5507 NEW BEST:: SOT 4366170 SOS 750275 HAS SOPS 750275 HAS SOUS 615135 HAS SOUPS 615135 WITH SCORE 615885.275
AT ITER 5522 NEW BEST:: SOT 4366170 SOS 750136 HAS SOPS 750136 HAS SOUS 615135 HAS SOUPS 615135 WITH SCORE 615885.136
AT ITER 5545 NEW BEST:: SOT 4366169 SOS 750134 HAS SOPS 750134 HAS SOUS 615133 HAS SOUPS 615133 WITH SCORE 615883.134
AT ITER 5567 NEW BEST:: SOT 4366132 SOS 750060 HAS SOPS 750060 HAS SOUS 615059 HAS SOUPS 615059 WITH SCORE 615809.06
AT ITER 5569 NEW BEST:: SOT 4366113 SOS 750022 HAS SOPS 750022 HAS SOUS 614990 HAS SOUPS 614990 WITH SCORE 615740.022
AT ITER 5580 NEW BEST:: SOT 4366051 SOS 749893 HAS SOPS 749893 HAS SOUS 614861 HAS SOUPS 614861 WITH SCORE 615610.893
AT ITER 5596 NEW BEST:: SOT 4366005 SOS 749635 HAS SOPS 749635 HAS SOUS 614714 HAS SOUPS 614714 WITH SCORE 615463.635
AT ITER 5615 NEW BEST:: SOT 4365994 SOS 750009 HAS SOPS 750009 HAS SOUS 614703 HAS SOUPS 614703 WITH SCORE 615453.009
AT ITER 5623 NEW BEST:: SOT 4365770 SOS 749763 HAS SOPS 749763 HAS SOUS 614583 HAS SOUPS 614583 WITH SCORE 615332.763
AT ITER 5634 NEW BEST:: SOT 4365500 SOS 750097 HAS SOPS 750097 HAS SOUS 614535 HAS SOUPS 614535 WITH SCORE 615285.097
AT ITER 5654 NEW BEST:: SOT 4365369 SOS 749835 HAS SOPS 749835 HAS SOUS 614273 HAS SOUPS 614273 WITH SCORE 615022.835
AT ITER 5657 NEW BEST:: SOT 4365145 SOS 749611 HAS SOPS 749611 HAS SOUS 614049 HAS SOUPS 614049 WITH SCORE 614798.611
AT ITER 5737 NEW BEST:: SOT 4365211 SOS 749743 HAS SOPS 749743 HAS SOUS 613937 HAS SOUPS 613937 WITH SCORE 614686.743
AT ITER 5742 NEW BEST:: SOT 4364894 SOS 749766 HAS SOPS 749766 HAS SOUS 613718 HAS SOUPS 613718 WITH SCORE 614467.766
AT ITER 5750 NEW BEST:: SOT 4364928 SOS 749651 HAS SOPS 749651 HAS SOUS 613538 HAS SOUPS 613538 WITH SCORE 614287.651
AT ITER 5801 NEW BEST:: SOT 4364631 SOS 749057 HAS SOPS 749057 HAS SOUS 612944 HAS SOUPS 612944 WITH SCORE 613693.057
AT ITER 5821 NEW BEST:: SOT 4364627 SOS 749049 HAS SOPS 749049 HAS SOUS 612938 HAS SOUPS 612938 WITH SCORE 613687.049
AT ITER 5846 NEW BEST:: SOT 4364617 SOS 749029 HAS SOPS 749029 HAS SOUS 612900 HAS SOUPS 612900 WITH SCORE 613649.029
AT ITER 5890 NEW BEST:: SOT 4364580 SOS 749000 HAS SOPS 749000 HAS SOUS 612871 HAS SOUPS 612871 WITH SCORE 613620.0
AT ITER 5899 NEW BEST:: SOT 4364505 SOS 748850 HAS SOPS 748850 HAS SOUS 612721 HAS SOUPS 612721 WITH SCORE 613469.85
AT ITER 5918 NEW BEST:: SOT 4364260 SOS 748360 HAS SOPS 748360 HAS SOUS 611610 HAS SOUPS 611610 WITH SCORE 612358.36
AT ITER 5922 NEW BEST:: SOT 4364278 SOS 748396 HAS SOPS 748396 HAS SOUS 611513 HAS SOUPS 611513 WITH SCORE 612261.396
AT ITER 5925 NEW BEST:: SOT 4364240 SOS 748320 HAS SOPS 748320 HAS SOUS 611475 HAS SOUPS 611475 WITH SCORE 612223.32
AT ITER 5937 NEW BEST:: SOT 4364006 SOS 748086 HAS SOPS 748086 HAS SOUS 611241 HAS SOUPS 611241 WITH SCORE 611989.086
AT ITER 5947 NEW BEST:: SOT 4364006 SOS 747929 HAS SOPS 747929 HAS SOUS 611241 HAS SOUPS 611241 WITH SCORE 611988.929
AT ITER 5961 NEW BEST:: SOT 4363999 SOS 747915 HAS SOPS 747915 HAS SOUS 611227 HAS SOUPS 611227 WITH SCORE 611974.915
AT ITER 5971 NEW BEST:: SOT 4364060 SOS 747749 HAS SOPS 747749 HAS SOUS 611061 HAS SOUPS 611061 WITH SCORE 611808.749
AT ITER 5985 NEW BEST:: SOT 4364038 SOS 747705 HAS SOPS 747705 HAS SOUS 611039 HAS SOUPS 611039 WITH SCORE 611786.705
AT ITER 5988 NEW BEST:: SOT 4364037 SOS 747703 HAS SOPS 747703 HAS SOUS 611037 HAS SOUPS 611037 WITH SCORE 611784.703
AT ITER 6002 NEW BEST:: SOT 4364030 SOS 747703 HAS SOPS 747703 HAS SOUS 611030 HAS SOUPS 611030 WITH SCORE 611777.703
AT ITER 6009 NEW BEST:: SOT 4364044 SOS 746849 HAS SOPS 746849 HAS SOUS 610603 HAS SOUPS 610603 WITH SCORE 611349.849
AT ITER 6018 NEW BEST:: SOT 4364126 SOS 746802 HAS SOPS 746802 HAS SOUS 610556 HAS SOUPS 610556 WITH SCORE 611302.802
AT ITER 6020 NEW BEST:: SOT 4364029 SOS 746608 HAS SOPS 746608 HAS SOUS 610362 HAS SOUPS 610362 WITH SCORE 611108.608
AT ITER 6032 NEW BEST:: SOT 4363904 SOS 746591 HAS SOPS 746591 HAS SOUS 610345 HAS SOUPS 610345 WITH SCORE 611091.591
AT ITER 6037 NEW BEST:: SOT 4363822 SOS 746542 HAS SOPS 746542 HAS SOUS 610286 HAS SOUPS 610286 WITH SCORE 611032.542
AT ITER 6069 NEW BEST:: SOT 4363822 SOS 746542 HAS SOPS 746542 HAS SOUS 610249 HAS SOUPS 610249 WITH SCORE 610995.542
AT ITER 6081 NEW BEST:: SOT 4363822 SOS 746534 HAS SOPS 746534 HAS SOUS 610241 HAS SOUPS 610241 WITH SCORE 610987.534
AT ITER 6096 NEW BEST:: SOT 4363822 SOS 746534 HAS SOPS 746534 HAS SOUS 610240 HAS SOUPS 610240 WITH SCORE 610986.534
AT ITER 6101 NEW BEST:: SOT 4363391 SOS 746114 HAS SOPS 746114 HAS SOUS 609809 HAS SOUPS 609809 WITH SCORE 610555.114
AT ITER 6115 NEW BEST:: SOT 4363043 SOS 745766 HAS SOPS 745766 HAS SOUS 609461 HAS SOUPS 609461 WITH SCORE 610206.766
AT ITER 6126 NEW BEST:: SOT 4362873 SOS 745785 HAS SOPS 745785 HAS SOUS 609447 HAS SOUPS 609447 WITH SCORE 610192.785
AT ITER 6150 NEW BEST:: SOT 4362903 SOS 745549 HAS SOPS 745549 HAS SOUS 609311 HAS SOUPS 609311 WITH SCORE 610056.549
AT ITER 6190 NEW BEST:: SOT 4362838 SOS 745419 HAS SOPS 745419 HAS SOUS 609246 HAS SOUPS 609246 WITH SCORE 609991.419
AT ITER 6195 NEW BEST:: SOT 4362616 SOS 745197 HAS SOPS 745197 HAS SOUS 609024 HAS SOUPS 609024 WITH SCORE 609769.197
AT ITER 6197 NEW BEST:: SOT 4362616 SOS 744760 HAS SOPS 744760 HAS SOUS 609024 HAS SOUPS 609024 WITH SCORE 609768.76
AT ITER 6198 NEW BEST:: SOT 4362615 SOS 744595 HAS SOPS 744595 HAS SOUS 609022 HAS SOUPS 609022 WITH SCORE 609766.595
AT ITER 6215 NEW BEST:: SOT 4362598 SOS 744492 HAS SOPS 744492 HAS SOUS 608658 HAS SOUPS 608658 WITH SCORE 609402.492
AT ITER 6240 NEW BEST:: SOT 4362598 SOS 744486 HAS SOPS 744486 HAS SOUS 608658 HAS SOUPS 608658 WITH SCORE 609402.486
AT ITER 6264 NEW BEST:: SOT 4362540 SOS 744370 HAS SOPS 744370 HAS SOUS 608542 HAS SOUPS 608542 WITH SCORE 609286.37
AT ITER 6320 NEW BEST:: SOT 4362540 SOS 744280 HAS SOPS 744280 HAS SOUS 608497 HAS SOUPS 608497 WITH SCORE 609241.28
AT ITER 6349 NEW BEST:: SOT 4362637 SOS 744474 HAS SOPS 744474 HAS SOUS 608357 HAS SOUPS 608357 WITH SCORE 609101.474
AT ITER 6351 NEW BEST:: SOT 4362637 SOS 744226 HAS SOPS 744226 HAS SOUS 608357 HAS SOUPS 608357 WITH SCORE 609101.226
AT ITER 6431 NEW BEST:: SOT 4362497 SOS 743912 HAS SOPS 743912 HAS SOUS 608010 HAS SOUPS 608010 WITH SCORE 608753.912
AT ITER 6498 NEW BEST:: SOT 4362566 SOS 743981 HAS SOPS 743981 HAS SOUS 607839 HAS SOUPS 607839 WITH SCORE 608582.981
AT ITER 6550 NEW BEST:: SOT 4362565 SOS 743979 HAS SOPS 743979 HAS SOUS 607837 HAS SOUPS 607837 WITH SCORE 608580.979
AT ITER 6571 NEW BEST:: SOT 4362565 SOS 743979 HAS SOPS 743979 HAS SOUS 607663 HAS SOUPS 607663 WITH SCORE 608406.979
AT ITER 6604 NEW BEST:: SOT 4362398 SOS 743645 HAS SOPS 743645 HAS SOUS 607329 HAS SOUPS 607329 WITH SCORE 608072.645
AT ITER 6619 NEW BEST:: SOT 4362356 SOS 743435 HAS SOPS 743435 HAS SOUS 607245 HAS SOUPS 607245 WITH SCORE 607988.435
AT ITER 6621 NEW BEST:: SOT 4362356 SOS 743342 HAS SOPS 743342 HAS SOUS 607152 HAS SOUPS 607152 WITH SCORE 607895.342
AT ITER 6627 NEW BEST:: SOT 4362325 SOS 743249 HAS SOPS 743249 HAS SOUS 607090 HAS SOUPS 607090 WITH SCORE 607833.249
AT ITER 6631 NEW BEST:: SOT 4362153 SOS 743249 HAS SOPS 743249 HAS SOUS 607004 HAS SOUPS 607004 WITH SCORE 607747.249
AT ITER 6635 NEW BEST:: SOT 4362152 SOS 743247 HAS SOPS 743247 HAS SOUS 607002 HAS SOUPS 607002 WITH SCORE 607745.247
AT ITER 6677 NEW BEST:: SOT 4362027 SOS 743074 HAS SOPS 743074 HAS SOUS 606817 HAS SOUPS 606817 WITH SCORE 607560.074
AT ITER 6678 NEW BEST:: SOT 4362016 SOS 743052 HAS SOPS 743052 HAS SOUS 606795 HAS SOUPS 606795 WITH SCORE 607538.052
AT ITER 6703 NEW BEST:: SOT 4362015 SOS 742835 HAS SOPS 742835 HAS SOUS 606793 HAS SOUPS 606793 WITH SCORE 607535.835
AT ITER 6732 NEW BEST:: SOT 4361800 SOS 742151 HAS SOPS 742151 HAS SOUS 606448 HAS SOUPS 606448 WITH SCORE 607190.151
AT ITER 6740 NEW BEST:: SOT 4361799 SOS 742102 HAS SOPS 742102 HAS SOUS 606398 HAS SOUPS 606398 WITH SCORE 607140.102
AT ITER 6761 NEW BEST:: SOT 4361640 SOS 741677 HAS SOPS 741677 HAS SOUS 606080 HAS SOUPS 606080 WITH SCORE 606821.677
AT ITER 6793 NEW BEST:: SOT 4361640 SOS 741639 HAS SOPS 741639 HAS SOUS 606042 HAS SOUPS 606042 WITH SCORE 606783.639
AT ITER 6803 NEW BEST:: SOT 4361626 SOS 741611 HAS SOPS 741611 HAS SOUS 606014 HAS SOUPS 606014 WITH SCORE 606755.611
AT ITER 6888 NEW BEST:: SOT 4361506 SOS 741371 HAS SOPS 741371 HAS SOUS 605747 HAS SOUPS 605747 WITH SCORE 606488.371
AT ITER 6890 NEW BEST:: SOT 4361459 SOS 741277 HAS SOPS 741277 HAS SOUS 605699 HAS SOUPS 605699 WITH SCORE 606440.277
AT ITER 6900 NEW BEST:: SOT 4361334 SOS 741027 HAS SOPS 741027 HAS SOUS 605574 HAS SOUPS 605574 WITH SCORE 606315.027
AT ITER 6912 NEW BEST:: SOT 4361066 SOS 740491 HAS SOPS 740491 HAS SOUS 605038 HAS SOUPS 605038 WITH SCORE 605778.491
AT ITER 6921 NEW BEST:: SOT 4360913 SOS 740185 HAS SOPS 740185 HAS SOUS 604885 HAS SOUPS 604885 WITH SCORE 605625.185
AT ITER 6934 NEW BEST:: SOT 4360912 SOS 740183 HAS SOPS 740183 HAS SOUS 604883 HAS SOUPS 604883 WITH SCORE 605623.183
AT ITER 6958 NEW BEST:: SOT 4360913 SOS 739277 HAS SOPS 739277 HAS SOUS 604657 HAS SOUPS 604657 WITH SCORE 605396.277
AT ITER 6971 NEW BEST:: SOT 4360666 SOS 738783 HAS SOPS 738783 HAS SOUS 604186 HAS SOUPS 604186 WITH SCORE 604924.783
AT ITER 7000 NEW BEST:: SOT 4360812 SOS 738672 HAS SOPS 738672 HAS SOUS 604075 HAS SOUPS 604075 WITH SCORE 604813.672
AT ITER 7027 NEW BEST:: SOT 4360688 SOS 738722 HAS SOPS 738722 HAS SOUS 603890 HAS SOUPS 603890 WITH SCORE 604628.722
AT ITER 7045 NEW BEST:: SOT 4360621 SOS 738377 HAS SOPS 738377 HAS SOUS 603756 HAS SOUPS 603756 WITH SCORE 604494.377
AT ITER 7082 NEW BEST:: SOT 4360601 SOS 738357 HAS SOPS 738357 HAS SOUS 603736 HAS SOUPS 603736 WITH SCORE 604474.357
AT ITER 7107 NEW BEST:: SOT 4360472 SOS 737972 HAS SOPS 737972 HAS SOUS 603478 HAS SOUPS 603478 WITH SCORE 604215.972
AT ITER 7108 NEW BEST:: SOT 4360472 SOS 737972 HAS SOPS 737972 HAS SOUS 603473 HAS SOUPS 603473 WITH SCORE 604210.972
AT ITER 7119 NEW BEST:: SOT 4360357 SOS 737742 HAS SOPS 737742 HAS SOUS 603243 HAS SOUPS 603243 WITH SCORE 603980.742
AT ITER 7120 NEW BEST:: SOT 4360331 SOS 737690 HAS SOPS 737690 HAS SOUS 603203 HAS SOUPS 603203 WITH SCORE 603940.69
AT ITER 7140 NEW BEST:: SOT 4360081 SOS 737190 HAS SOPS 737190 HAS SOUS 602703 HAS SOUPS 602703 WITH SCORE 603440.19
AT ITER 7145 NEW BEST:: SOT 4360013 SOS 737054 HAS SOPS 737054 HAS SOUS 602567 HAS SOUPS 602567 WITH SCORE 603304.054
AT ITER 7153 NEW BEST:: SOT 4360013 SOS 737054 HAS SOPS 737054 HAS SOUS 602514 HAS SOUPS 602514 WITH SCORE 603251.054
AT ITER 7154 NEW BEST:: SOT 4360158 SOS 736932 HAS SOPS 736932 HAS SOUS 602453 HAS SOUPS 602453 WITH SCORE 603189.932
AT ITER 7170 NEW BEST:: SOT 4360158 SOS 736901 HAS SOPS 736901 HAS SOUS 602422 HAS SOUPS 602422 WITH SCORE 603158.901
AT ITER 7184 NEW BEST:: SOT 4360085 SOS 736755 HAS SOPS 736755 HAS SOUS 602276 HAS SOUPS 602276 WITH SCORE 603012.755
AT ITER 7253 NEW BEST:: SOT 4360171 SOS 736927 HAS SOPS 736927 HAS SOUS 602266 HAS SOUPS 602266 WITH SCORE 603002.927
AT ITER 7258 NEW BEST:: SOT 4360171 SOS 736927 HAS SOPS 736927 HAS SOUS 602115 HAS SOUPS 602115 WITH SCORE 602851.927
AT ITER 7262 NEW BEST:: SOT 4360110 SOS 736716 HAS SOPS 736716 HAS SOUS 602054 HAS SOUPS 602054 WITH SCORE 602790.716
AT ITER 7277 NEW BEST:: SOT 4359942 SOS 736716 HAS SOPS 736716 HAS SOUS 601886 HAS SOUPS 601886 WITH SCORE 602622.716
AT ITER 7293 NEW BEST:: SOT 4359830 SOS 736660 HAS SOPS 736660 HAS SOUS 601830 HAS SOUPS 601830 WITH SCORE 602566.66
AT ITER 7302 NEW BEST:: SOT 4359733 SOS 736563 HAS SOPS 736563 HAS SOUS 601733 HAS SOUPS 601733 WITH SCORE 602469.563
AT ITER 7413 NEW BEST:: SOT 4359583 SOS 736572 HAS SOPS 736572 HAS SOUS 601674 HAS SOUPS 601674 WITH SCORE 602410.572
AT ITER 7415 NEW BEST:: SOT 4359583 SOS 736572 HAS SOPS 736572 HAS SOUS 601673 HAS SOUPS 601673 WITH SCORE 602409.572
AT ITER 7451 NEW BEST:: SOT 4359525 SOS 736456 HAS SOPS 736456 HAS SOUS 601552 HAS SOUPS 601552 WITH SCORE 602288.456
AT ITER 7477 NEW BEST:: SOT 4359525 SOS 736324 HAS SOPS 736324 HAS SOUS 601552 HAS SOUPS 601552 WITH SCORE 602288.324
AT ITER 7480 NEW BEST:: SOT 4359379 SOS 735987 HAS SOPS 735987 HAS SOUS 601215 HAS SOUPS 601215 WITH SCORE 601950.987
AT ITER 7491 NEW BEST:: SOT 4359243 SOS 735851 HAS SOPS 735851 HAS SOUS 601079 HAS SOUPS 601079 WITH SCORE 601814.851
AT ITER 7516 NEW BEST:: SOT 4359242 SOS 735582 HAS SOPS 735582 HAS SOUS 601077 HAS SOUPS 601077 WITH SCORE 601812.582
AT ITER 7549 NEW BEST:: SOT 4359214 SOS 735526 HAS SOPS 735526 HAS SOUS 600885 HAS SOUPS 600885 WITH SCORE 601620.526
AT ITER 7579 NEW BEST:: SOT 4359214 SOS 735466 HAS SOPS 735466 HAS SOUS 600885 HAS SOUPS 600885 WITH SCORE 601620.466
AT ITER 7584 NEW BEST:: SOT 4358099 SOS 735013 HAS SOPS 735013 HAS SOUS 600145 HAS SOUPS 600145 WITH SCORE 600880.013
AT ITER 7594 NEW BEST:: SOT 4358159 SOS 734772 HAS SOPS 734772 HAS SOUS 600020 HAS SOUPS 600020 WITH SCORE 600754.772
AT ITER 7603 NEW BEST:: SOT 4358154 SOS 734762 HAS SOPS 734762 HAS SOUS 600010 HAS SOUPS 600010 WITH SCORE 600744.762
AT ITER 7615 NEW BEST:: SOT 4358154 SOS 734737 HAS SOPS 734737 HAS SOUS 599985 HAS SOUPS 599985 WITH SCORE 600719.737
AT ITER 7619 NEW BEST:: SOT 4358154 SOS 734526 HAS SOPS 734526 HAS SOUS 599985 HAS SOUPS 599985 WITH SCORE 600719.526
AT ITER 7637 NEW BEST:: SOT 4358016 SOS 734250 HAS SOPS 734250 HAS SOUS 599709 HAS SOUPS 599709 WITH SCORE 600443.25
AT ITER 7647 NEW BEST:: SOT 4358016 SOS 734250 HAS SOPS 734250 HAS SOUS 599682 HAS SOUPS 599682 WITH SCORE 600416.25
AT ITER 7668 NEW BEST:: SOT 4357966 SOS 734150 HAS SOPS 734150 HAS SOUS 599582 HAS SOUPS 599582 WITH SCORE 600316.15
AT ITER 7678 NEW BEST:: SOT 4357995 SOS 734071 HAS SOPS 734071 HAS SOUS 599546 HAS SOUPS 599546 WITH SCORE 600280.071
AT ITER 7692 NEW BEST:: SOT 4357995 SOS 734071 HAS SOPS 734071 HAS SOUS 599530 HAS SOUPS 599530 WITH SCORE 600264.071
AT ITER 7698 NEW BEST:: SOT 4357994 SOS 734069 HAS SOPS 734069 HAS SOUS 599528 HAS SOUPS 599528 WITH SCORE 600262.069
AT ITER 7705 NEW BEST:: SOT 4357991 SOS 734066 HAS SOPS 734066 HAS SOUS 599525 HAS SOUPS 599525 WITH SCORE 600259.066
AT ITER 7743 NEW BEST:: SOT 4357936 SOS 734011 HAS SOPS 734011 HAS SOUS 599415 HAS SOUPS 599415 WITH SCORE 600149.011
AT ITER 7763 NEW BEST:: SOT 4357936 SOS 734011 HAS SOPS 734011 HAS SOUS 599402 HAS SOUPS 599402 WITH SCORE 600136.011
AT ITER 7791 NEW BEST:: SOT 4357903 SOS 733945 HAS SOPS 733945 HAS SOUS 599336 HAS SOUPS 599336 WITH SCORE 600069.945
AT ITER 7804 NEW BEST:: SOT 4357866 SOS 733777 HAS SOPS 733777 HAS SOUS 599326 HAS SOUPS 599326 WITH SCORE 600059.777
AT ITER 7816 NEW BEST:: SOT 4357866 SOS 733760 HAS SOPS 733760 HAS SOUS 599326 HAS SOUPS 599326 WITH SCORE 600059.76
AT ITER 7817 NEW BEST:: SOT 4357724 SOS 733476 HAS SOPS 733476 HAS SOUS 599042 HAS SOUPS 599042 WITH SCORE 599775.476
AT ITER 7845 NEW BEST:: SOT 4357814 SOS 733656 HAS SOPS 733656 HAS SOUS 598906 HAS SOUPS 598906 WITH SCORE 599639.656
AT ITER 7854 NEW BEST:: SOT 4357558 SOS 732664 HAS SOPS 732664 HAS SOUS 598673 HAS SOUPS 598673 WITH SCORE 599405.664
AT ITER 7855 NEW BEST:: SOT 4357232 SOS 732966 HAS SOPS 732966 HAS SOUS 598453 HAS SOUPS 598453 WITH SCORE 599185.966
AT ITER 7874 NEW BEST:: SOT 4357150 SOS 732802 HAS SOPS 732802 HAS SOUS 598289 HAS SOUPS 598289 WITH SCORE 599021.802
AT ITER 7878 NEW BEST:: SOT 4357137 SOS 732737 HAS SOPS 732737 HAS SOUS 598263 HAS SOUPS 598263 WITH SCORE 598995.737
AT ITER 7882 NEW BEST:: SOT 4357034 SOS 732531 HAS SOPS 732531 HAS SOUS 598160 HAS SOUPS 598160 WITH SCORE 598892.531
AT ITER 7887 NEW BEST:: SOT 4356996 SOS 732455 HAS SOPS 732455 HAS SOUS 598084 HAS SOUPS 598084 WITH SCORE 598816.455
AT ITER 7900 NEW BEST:: SOT 4356996 SOS 732248 HAS SOPS 732248 HAS SOUS 598083 HAS SOUPS 598083 WITH SCORE 598815.248
AT ITER 7923 NEW BEST:: SOT 4356866 SOS 731975 HAS SOPS 731975 HAS SOUS 597810 HAS SOUPS 597810 WITH SCORE 598541.975
AT ITER 7935 NEW BEST:: SOT 4356748 SOS 731857 HAS SOPS 731857 HAS SOUS 597692 HAS SOUPS 597692 WITH SCORE 598423.857
AT ITER 7939 NEW BEST:: SOT 4356748 SOS 731857 HAS SOPS 731857 HAS SOUS 597588 HAS SOUPS 597588 WITH SCORE 598319.857
AT ITER 7959 NEW BEST:: SOT 4356632 SOS 731625 HAS SOPS 731625 HAS SOUS 597472 HAS SOUPS 597472 WITH SCORE 598203.625
AT ITER 7971 NEW BEST:: SOT 4356572 SOS 731505 HAS SOPS 731505 HAS SOUS 597352 HAS SOUPS 597352 WITH SCORE 598083.505
AT ITER 7975 NEW BEST:: SOT 4356580 SOS 731179 HAS SOPS 731179 HAS SOUS 597197 HAS SOUPS 597197 WITH SCORE 597928.179
AT ITER 8004 NEW BEST:: SOT 4356484 SOS 731223 HAS SOPS 731223 HAS SOUS 597101 HAS SOUPS 597101 WITH SCORE 597832.223
AT ITER 8008 NEW BEST:: SOT 4356484 SOS 731101 HAS SOPS 731101 HAS SOUS 596979 HAS SOUPS 596979 WITH SCORE 597710.101
AT ITER 8009 NEW BEST:: SOT 4356374 SOS 730991 HAS SOPS 730991 HAS SOUS 596978 HAS SOUPS 596978 WITH SCORE 597708.991
AT ITER 8011 NEW BEST:: SOT 4356347 SOS 730937 HAS SOPS 730937 HAS SOUS 596924 HAS SOUPS 596924 WITH SCORE 597654.937
AT ITER 8031 NEW BEST:: SOT 4356375 SOS 730993 HAS SOPS 730993 HAS SOUS 596894 HAS SOUPS 596894 WITH SCORE 597624.993
AT ITER 8078 NEW BEST:: SOT 4356008 SOS 731567 HAS SOPS 731567 HAS SOUS 596768 HAS SOUPS 596768 WITH SCORE 597499.567
AT ITER 8119 NEW BEST:: SOT 4355766 SOS 730865 HAS SOPS 730865 HAS SOUS 596308 HAS SOUPS 596308 WITH SCORE 597038.865
AT ITER 8121 NEW BEST:: SOT 4355542 SOS 730957 HAS SOPS 730957 HAS SOUS 596103 HAS SOUPS 596103 WITH SCORE 596833.957
AT ITER 8130 NEW BEST:: SOT 4355542 SOS 730808 HAS SOPS 730808 HAS SOUS 596103 HAS SOUPS 596103 WITH SCORE 596833.808
AT ITER 8135 NEW BEST:: SOT 4355529 SOS 730782 HAS SOPS 730782 HAS SOUS 596077 HAS SOUPS 596077 WITH SCORE 596807.782
AT ITER 8140 NEW BEST:: SOT 4355510 SOS 730744 HAS SOPS 730744 HAS SOUS 595741 HAS SOUPS 595741 WITH SCORE 596471.744
AT ITER 8146 NEW BEST:: SOT 4355396 SOS 730573 HAS SOPS 730573 HAS SOUS 595570 HAS SOUPS 595570 WITH SCORE 596300.573
AT ITER 8149 NEW BEST:: SOT 4355396 SOS 730320 HAS SOPS 730320 HAS SOUS 595570 HAS SOUPS 595570 WITH SCORE 596300.32
AT ITER 8235 NEW BEST:: SOT 4355262 SOS 730186 HAS SOPS 730186 HAS SOUS 595436 HAS SOUPS 595436 WITH SCORE 596166.186
AT ITER 8242 NEW BEST:: SOT 4355236 SOS 730108 HAS SOPS 730108 HAS SOUS 595384 HAS SOUPS 595384 WITH SCORE 596114.108
AT ITER 8263 NEW BEST:: SOT 4354996 SOS 729628 HAS SOPS 729628 HAS SOUS 595154 HAS SOUPS 595154 WITH SCORE 595883.628
AT ITER 8281 NEW BEST:: SOT 4354915 SOS 729547 HAS SOPS 729547 HAS SOUS 595073 HAS SOUPS 595073 WITH SCORE 595802.547
AT ITER 8285 NEW BEST:: SOT 4354901 SOS 729533 HAS SOPS 729533 HAS SOUS 595059 HAS SOUPS 595059 WITH SCORE 595788.533
AT ITER 8298 NEW BEST:: SOT 4354901 SOS 729533 HAS SOPS 729533 HAS SOUS 595058 HAS SOUPS 595058 WITH SCORE 595787.533
AT ITER 8309 NEW BEST:: SOT 4354901 SOS 729512 HAS SOPS 729512 HAS SOUS 595037 HAS SOUPS 595037 WITH SCORE 595766.512
AT ITER 8333 NEW BEST:: SOT 4354901 SOS 729512 HAS SOPS 729512 HAS SOUS 594872 HAS SOUPS 594872 WITH SCORE 595601.512
AT ITER 8342 NEW BEST:: SOT 4354790 SOS 729290 HAS SOPS 729290 HAS SOUS 594650 HAS SOUPS 594650 WITH SCORE 595379.29
AT ITER 8384 NEW BEST:: SOT 4354707 SOS 729124 HAS SOPS 729124 HAS SOUS 594567 HAS SOUPS 594567 WITH SCORE 595296.124
AT ITER 8393 NEW BEST:: SOT 4354707 SOS 729124 HAS SOPS 729124 HAS SOUS 594548 HAS SOUPS 594548 WITH SCORE 595277.124
AT ITER 8401 NEW BEST:: SOT 4354421 SOS 729204 HAS SOPS 729204 HAS SOUS 594425 HAS SOUPS 594425 WITH SCORE 595154.204
AT ITER 8407 NEW BEST:: SOT 4354421 SOS 729204 HAS SOPS 729204 HAS SOUS 594369 HAS SOUPS 594369 WITH SCORE 595098.204
AT ITER 8409 NEW BEST:: SOT 4354400 SOS 729162 HAS SOPS 729162 HAS SOUS 594348 HAS SOUPS 594348 WITH SCORE 595077.162
AT ITER 8419 NEW BEST:: SOT 4354504 SOS 729370 HAS SOPS 729370 HAS SOUS 594271 HAS SOUPS 594271 WITH SCORE 595000.37
AT ITER 8440 NEW BEST:: SOT 4354493 SOS 729348 HAS SOPS 729348 HAS SOUS 594249 HAS SOUPS 594249 WITH SCORE 594978.348
AT ITER 8486 NEW BEST:: SOT 4354305 SOS 728972 HAS SOPS 728972 HAS SOUS 594061 HAS SOUPS 594061 WITH SCORE 594789.972
AT ITER 8487 NEW BEST:: SOT 4354263 SOS 728629 HAS SOPS 728629 HAS SOUS 593783 HAS SOUPS 593783 WITH SCORE 594511.629
AT ITER 8502 NEW BEST:: SOT 4354262 SOS 728628 HAS SOPS 728628 HAS SOUS 593781 HAS SOUPS 593781 WITH SCORE 594509.628
AT ITER 8524 NEW BEST:: SOT 4354261 SOS 728626 HAS SOPS 728626 HAS SOUS 593779 HAS SOUPS 593779 WITH SCORE 594507.626
AT ITER 8537 NEW BEST:: SOT 4354251 SOS 728606 HAS SOPS 728606 HAS SOUS 593759 HAS SOUPS 593759 WITH SCORE 594487.606
AT ITER 8543 NEW BEST:: SOT 4354339 SOS 728540 HAS SOPS 728540 HAS SOUS 593693 HAS SOUPS 593693 WITH SCORE 594421.54
AT ITER 8558 NEW BEST:: SOT 4354220 SOS 728302 HAS SOPS 728302 HAS SOUS 593455 HAS SOUPS 593455 WITH SCORE 594183.302
AT ITER 8630 NEW BEST:: SOT 4354083 SOS 728028 HAS SOPS 728028 HAS SOUS 593318 HAS SOUPS 593318 WITH SCORE 594046.028
AT ITER 8713 NEW BEST:: SOT 4354013 SOS 728028 HAS SOPS 728028 HAS SOUS 593248 HAS SOUPS 593248 WITH SCORE 593976.028
AT ITER 8777 NEW BEST:: SOT 4353885 SOS 727772 HAS SOPS 727772 HAS SOUS 592992 HAS SOUPS 592992 WITH SCORE 593719.772
AT ITER 8809 NEW BEST:: SOT 4353805 SOS 727692 HAS SOPS 727692 HAS SOUS 592912 HAS SOUPS 592912 WITH SCORE 593639.692
AT ITER 8845 NEW BEST:: SOT 4353805 SOS 727675 HAS SOPS 727675 HAS SOUS 592912 HAS SOUPS 592912 WITH SCORE 593639.675
AT ITER 8851 NEW BEST:: SOT 4353805 SOS 727611 HAS SOPS 727611 HAS SOUS 592848 HAS SOUPS 592848 WITH SCORE 593575.611
AT ITER 8875 NEW BEST:: SOT 4353745 SOS 727491 HAS SOPS 727491 HAS SOUS 592788 HAS SOUPS 592788 WITH SCORE 593515.491
AT ITER 8888 NEW BEST:: SOT 4353652 SOS 727461 HAS SOPS 727461 HAS SOUS 592720 HAS SOUPS 592720 WITH SCORE 593447.461
AT ITER 8900 NEW BEST:: SOT 4353547 SOS 727460 HAS SOPS 727460 HAS SOUS 592719 HAS SOUPS 592719 WITH SCORE 593446.46
AT ITER 8906 NEW BEST:: SOT 4353483 SOS 727396 HAS SOPS 727396 HAS SOUS 592655 HAS SOUPS 592655 WITH SCORE 593382.396
AT ITER 8910 NEW BEST:: SOT 4353276 SOS 726982 HAS SOPS 726982 HAS SOUS 592241 HAS SOUPS 592241 WITH SCORE 592967.982
AT ITER 8919 NEW BEST:: SOT 4353276 SOS 726639 HAS SOPS 726639 HAS SOUS 592241 HAS SOUPS 592241 WITH SCORE 592967.639
AT ITER 8929 NEW BEST:: SOT 4353276 SOS 726631 HAS SOPS 726631 HAS SOUS 592233 HAS SOUPS 592233 WITH SCORE 592959.631
AT ITER 8975 NEW BEST:: SOT 4352946 SOS 726136 HAS SOPS 726136 HAS SOUS 591738 HAS SOUPS 591738 WITH SCORE 592464.136
AT ITER 8976 NEW BEST:: SOT 4352995 SOS 725504 HAS SOPS 725504 HAS SOUS 591385 HAS SOUPS 591385 WITH SCORE 592110.504
AT ITER 8982 NEW BEST:: SOT 4352700 SOS 725760 HAS SOPS 725760 HAS SOUS 591090 HAS SOUPS 591090 WITH SCORE 591815.76
AT ITER 9028 NEW BEST:: SOT 4352752 SOS 725764 HAS SOPS 725764 HAS SOUS 591042 HAS SOUPS 591042 WITH SCORE 591767.764
AT ITER 9045 NEW BEST:: SOT 4352676 SOS 725831 HAS SOPS 725831 HAS SOUS 590974 HAS SOUPS 590974 WITH SCORE 591699.831
AT ITER 9048 NEW BEST:: SOT 4352637 SOS 725753 HAS SOPS 725753 HAS SOUS 590896 HAS SOUPS 590896 WITH SCORE 591621.753
AT ITER 9055 NEW BEST:: SOT 4352565 SOS 725500 HAS SOPS 725500 HAS SOUS 590752 HAS SOUPS 590752 WITH SCORE 591477.5
AT ITER 9072 NEW BEST:: SOT 4352503 SOS 725299 HAS SOPS 725299 HAS SOUS 590640 HAS SOUPS 590640 WITH SCORE 591365.299
AT ITER 9080 NEW BEST:: SOT 4352398 SOS 725194 HAS SOPS 725194 HAS SOUS 590631 HAS SOUPS 590631 WITH SCORE 591356.194
AT ITER 9137 NEW BEST:: SOT 4352444 SOS 725038 HAS SOPS 725038 HAS SOUS 590475 HAS SOUPS 590475 WITH SCORE 591200.038
AT ITER 9142 NEW BEST:: SOT 4352444 SOS 724942 HAS SOPS 724942 HAS SOUS 590443 HAS SOUPS 590443 WITH SCORE 591167.942
AT ITER 9171 NEW BEST:: SOT 4352394 SOS 724842 HAS SOPS 724842 HAS SOUS 590343 HAS SOUPS 590343 WITH SCORE 591067.842
AT ITER 9173 NEW BEST:: SOT 4352394 SOS 724842 HAS SOPS 724842 HAS SOUS 590332 HAS SOUPS 590332 WITH SCORE 591056.842
AT ITER 9187 NEW BEST:: SOT 4352366 SOS 724814 HAS SOPS 724814 HAS SOUS 590304 HAS SOUPS 590304 WITH SCORE 591028.814
AT ITER 9221 NEW BEST:: SOT 4352361 SOS 724804 HAS SOPS 724804 HAS SOUS 590076 HAS SOUPS 590076 WITH SCORE 590800.804
AT ITER 9226 NEW BEST:: SOT 4352348 SOS 724778 HAS SOPS 724778 HAS SOUS 590063 HAS SOUPS 590063 WITH SCORE 590787.778
AT ITER 9234 NEW BEST:: SOT 4352241 SOS 724564 HAS SOPS 724564 HAS SOUS 589849 HAS SOUPS 589849 WITH SCORE 590573.564
AT ITER 9287 NEW BEST:: SOT 4352239 SOS 724560 HAS SOPS 724560 HAS SOUS 589847 HAS SOUPS 589847 WITH SCORE 590571.56
AT ITER 9312 NEW BEST:: SOT 4352077 SOS 724036 HAS SOPS 724036 HAS SOUS 589505 HAS SOUPS 589505 WITH SCORE 590229.036
AT ITER 9377 NEW BEST:: SOT 4352008 SOS 724005 HAS SOPS 724005 HAS SOUS 589474 HAS SOUPS 589474 WITH SCORE 590198.005
AT ITER 9392 NEW BEST:: SOT 4352008 SOS 723905 HAS SOPS 723905 HAS SOUS 589374 HAS SOUPS 589374 WITH SCORE 590097.905
AT ITER 9393 NEW BEST:: SOT 4351992 SOS 723873 HAS SOPS 723873 HAS SOUS 589342 HAS SOUPS 589342 WITH SCORE 590065.873
AT ITER 9415 NEW BEST:: SOT 4351953 SOS 723795 HAS SOPS 723795 HAS SOUS 589314 HAS SOUPS 589314 WITH SCORE 590037.795
AT ITER 9418 NEW BEST:: SOT 4351953 SOS 723795 HAS SOPS 723795 HAS SOUS 589167 HAS SOUPS 589167 WITH SCORE 589890.795
AT ITER 9430 NEW BEST:: SOT 4351953 SOS 723708 HAS SOPS 723708 HAS SOUS 589080 HAS SOUPS 589080 WITH SCORE 589803.708
AT ITER 9434 NEW BEST:: SOT 4351953 SOS 723576 HAS SOPS 723576 HAS SOUS 588948 HAS SOUPS 588948 WITH SCORE 589671.576
AT ITER 9454 NEW BEST:: SOT 4351877 SOS 723424 HAS SOPS 723424 HAS SOUS 588872 HAS SOUPS 588872 WITH SCORE 589595.424
AT ITER 9455 NEW BEST:: SOT 4351870 SOS 723188 HAS SOPS 723188 HAS SOUS 588858 HAS SOUPS 588858 WITH SCORE 589581.188
AT ITER 9466 NEW BEST:: SOT 4351766 SOS 722980 HAS SOPS 722980 HAS SOUS 588650 HAS SOUPS 588650 WITH SCORE 589372.98
AT ITER 9513 NEW BEST:: SOT 4351818 SOS 723084 HAS SOPS 723084 HAS SOUS 588488 HAS SOUPS 588488 WITH SCORE 589211.084
AT ITER 9578 NEW BEST:: SOT 4351818 SOS 723072 HAS SOPS 723072 HAS SOUS 588476 HAS SOUPS 588476 WITH SCORE 589199.072
AT ITER 9579 NEW BEST:: SOT 4351809 SOS 723054 HAS SOPS 723054 HAS SOUS 588458 HAS SOUPS 588458 WITH SCORE 589181.054
AT ITER 9587 NEW BEST:: SOT 4351600 SOS 722636 HAS SOPS 722636 HAS SOUS 588249 HAS SOUPS 588249 WITH SCORE 588971.636
AT ITER 9593 NEW BEST:: SOT 4351569 SOS 722543 HAS SOPS 722543 HAS SOUS 588187 HAS SOUPS 588187 WITH SCORE 588909.543
AT ITER 9628 NEW BEST:: SOT 4351568 SOS 722324 HAS SOPS 722324 HAS SOUS 588185 HAS SOUPS 588185 WITH SCORE 588907.324
AT ITER 9647 NEW BEST:: SOT 4351389 SOS 722145 HAS SOPS 722145 HAS SOUS 588006 HAS SOUPS 588006 WITH SCORE 588728.145
AT ITER 9664 NEW BEST:: SOT 4351228 SOS 722149 HAS SOPS 722149 HAS SOUS 587845 HAS SOUPS 587845 WITH SCORE 588567.149
AT ITER 9688 NEW BEST:: SOT 4351227 SOS 722147 HAS SOPS 722147 HAS SOUS 587843 HAS SOUPS 587843 WITH SCORE 588565.147
AT ITER 9704 NEW BEST:: SOT 4351224 SOS 722141 HAS SOPS 722141 HAS SOUS 587837 HAS SOUPS 587837 WITH SCORE 588559.141
AT ITER 9721 NEW BEST:: SOT 4351238 SOS 721792 HAS SOPS 721792 HAS SOUS 587712 HAS SOUPS 587712 WITH SCORE 588433.792
AT ITER 9757 NEW BEST:: SOT 4351234 SOS 721784 HAS SOPS 721784 HAS SOUS 587696 HAS SOUPS 587696 WITH SCORE 588417.784
AT ITER 9805 NEW BEST:: SOT 4351194 SOS 721704 HAS SOPS 721704 HAS SOUS 587656 HAS SOUPS 587656 WITH SCORE 588377.704
AT ITER 9814 NEW BEST:: SOT 4351017 SOS 721565 HAS SOPS 721565 HAS SOUS 587628 HAS SOUPS 587628 WITH SCORE 588349.565
AT ITER 9820 NEW BEST:: SOT 4350851 SOS 721392 HAS SOPS 721392 HAS SOUS 587514 HAS SOUPS 587514 WITH SCORE 588235.392
AT ITER 9833 NEW BEST:: SOT 4350665 SOS 721227 HAS SOPS 721227 HAS SOUS 587349 HAS SOUPS 587349 WITH SCORE 588070.227
AT ITER 9841 NEW BEST:: SOT 4350665 SOS 721227 HAS SOPS 721227 HAS SOUS 587297 HAS SOUPS 587297 WITH SCORE 588018.227
AT ITER 9842 NEW BEST:: SOT 4350665 SOS 721144 HAS SOPS 721144 HAS SOUS 587294 HAS SOUPS 587294 WITH SCORE 588015.144
AT ITER 9875 NEW BEST:: SOT 4350576 SOS 720966 HAS SOPS 720966 HAS SOUS 587116 HAS SOUPS 587116 WITH SCORE 587836.966
AT ITER 9885 NEW BEST:: SOT 4350576 SOS 720966 HAS SOPS 720966 HAS SOUS 587047 HAS SOUPS 587047 WITH SCORE 587767.966
AT ITER 9899 NEW BEST:: SOT 4350583 SOS 720902 HAS SOPS 720902 HAS SOUS 586983 HAS SOUPS 586983 WITH SCORE 587703.902
AT ITER 9918 NEW BEST:: SOT 4350555 SOS 720703 HAS SOPS 720703 HAS SOUS 586935 HAS SOUPS 586935 WITH SCORE 587655.703
AT ITER 9936 NEW BEST:: SOT 4350555 SOS 720703 HAS SOPS 720703 HAS SOUS 586895 HAS SOUPS 586895 WITH SCORE 587615.703
AT ITER 9966 NEW BEST:: SOT 4350317 SOS 720346 HAS SOPS 720346 HAS SOUS 586657 HAS SOUPS 586657 WITH SCORE 587377.346
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12096856 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151656 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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-304"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-304, 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 r099-tall-167814471900032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-304.tgz
mv CloudReconfiguration-PT-304 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 ;