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.r067-smll-167814394800408.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 CloudDeployment-PT-4b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394800408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 956K
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 14:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 14:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 14:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 14:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 14:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 591K 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 1678302781196

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=CloudDeployment-PT-4b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 4b
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: 1182 places, 1824 transitions, 8741 arcs.
AT ITER 0 NEW BEST:: SOT 1371630 SOS 370547 HAS SOPS 370547 HAS SOUS 239087 HAS SOUPS 239087 WITH SCORE 239457.547
AT ITER 7 NEW BEST:: SOT 1371374 SOS 370235 HAS SOPS 370235 HAS SOUS 238743 HAS SOUPS 238743 WITH SCORE 239113.235
AT ITER 9 NEW BEST:: SOT 1371373 SOS 370233 HAS SOPS 370233 HAS SOUS 238741 HAS SOUPS 238741 WITH SCORE 239111.233
AT ITER 13 NEW BEST:: SOT 1371316 SOS 370689 HAS SOPS 370689 HAS SOUS 238736 HAS SOUPS 238736 WITH SCORE 239106.689
AT ITER 19 NEW BEST:: SOT 1371230 SOS 370646 HAS SOPS 370646 HAS SOUS 238650 HAS SOUPS 238650 WITH SCORE 239020.646
AT ITER 35 NEW BEST:: SOT 1371285 SOS 370756 HAS SOPS 370756 HAS SOUS 238591 HAS SOUPS 238591 WITH SCORE 238961.756
AT ITER 39 NEW BEST:: SOT 1371255 SOS 370771 HAS SOPS 370771 HAS SOUS 238561 HAS SOUPS 238561 WITH SCORE 238931.771
AT ITER 60 NEW BEST:: SOT 1371227 SOS 370715 HAS SOPS 370715 HAS SOUS 238527 HAS SOUPS 238527 WITH SCORE 238897.715
AT ITER 61 NEW BEST:: SOT 1371227 SOS 371107 HAS SOPS 371107 HAS SOUS 238481 HAS SOUPS 238481 WITH SCORE 238852.107
AT ITER 75 NEW BEST:: SOT 1371226 SOS 371105 HAS SOPS 371105 HAS SOUS 238479 HAS SOUPS 238479 WITH SCORE 238850.105
AT ITER 85 NEW BEST:: SOT 1371249 SOS 371151 HAS SOPS 371151 HAS SOUS 238461 HAS SOUPS 238461 WITH SCORE 238832.151
AT ITER 112 NEW BEST:: SOT 1371268 SOS 371189 HAS SOPS 371189 HAS SOUS 238450 HAS SOUPS 238450 WITH SCORE 238821.189
AT ITER 114 NEW BEST:: SOT 1371312 SOS 371374 HAS SOPS 371374 HAS SOUS 238442 HAS SOUPS 238442 WITH SCORE 238813.374
AT ITER 121 NEW BEST:: SOT 1371262 SOS 371321 HAS SOPS 371321 HAS SOUS 238357 HAS SOUPS 238357 WITH SCORE 238728.321
AT ITER 122 NEW BEST:: SOT 1371244 SOS 371285 HAS SOPS 371285 HAS SOUS 238321 HAS SOUPS 238321 WITH SCORE 238692.285
AT ITER 129 NEW BEST:: SOT 1370211 SOS 378769 HAS SOPS 378769 HAS SOUS 237633 HAS SOUPS 237633 WITH SCORE 238011.769
AT ITER 153 NEW BEST:: SOT 1370166 SOS 378679 HAS SOPS 378679 HAS SOUS 237446 HAS SOUPS 237446 WITH SCORE 237824.679
AT ITER 166 NEW BEST:: SOT 1370079 SOS 378505 HAS SOPS 378505 HAS SOUS 237272 HAS SOUPS 237272 WITH SCORE 237650.505
AT ITER 186 NEW BEST:: SOT 1369697 SOS 378949 HAS SOPS 378949 HAS SOUS 237041 HAS SOUPS 237041 WITH SCORE 237419.949
AT ITER 199 NEW BEST:: SOT 1369582 SOS 378872 HAS SOPS 378872 HAS SOUS 236773 HAS SOUPS 236773 WITH SCORE 237151.872
AT ITER 203 NEW BEST:: SOT 1368033 SOS 378286 HAS SOPS 378286 HAS SOUS 235303 HAS SOUPS 235303 WITH SCORE 235681.286
AT ITER 214 NEW BEST:: SOT 1368092 SOS 378284 HAS SOPS 378284 HAS SOUS 235301 HAS SOUPS 235301 WITH SCORE 235679.284
AT ITER 216 NEW BEST:: SOT 1368089 SOS 378278 HAS SOPS 378278 HAS SOUS 235295 HAS SOUPS 235295 WITH SCORE 235673.278
AT ITER 219 NEW BEST:: SOT 1368041 SOS 378702 HAS SOPS 378702 HAS SOUS 235247 HAS SOUPS 235247 WITH SCORE 235625.702
AT ITER 232 NEW BEST:: SOT 1368041 SOS 378702 HAS SOPS 378702 HAS SOUS 235213 HAS SOUPS 235213 WITH SCORE 235591.702
AT ITER 236 NEW BEST:: SOT 1367630 SOS 378505 HAS SOPS 378505 HAS SOUS 235016 HAS SOUPS 235016 WITH SCORE 235394.505
AT ITER 240 NEW BEST:: SOT 1367894 SOS 379361 HAS SOPS 379361 HAS SOUS 234788 HAS SOUPS 234788 WITH SCORE 235167.361
AT ITER 259 NEW BEST:: SOT 1367862 SOS 379297 HAS SOPS 379297 HAS SOUS 234724 HAS SOUPS 234724 WITH SCORE 235103.297
AT ITER 263 NEW BEST:: SOT 1367267 SOS 378845 HAS SOPS 378845 HAS SOUS 234129 HAS SOUPS 234129 WITH SCORE 234507.845
AT ITER 276 NEW BEST:: SOT 1367267 SOS 379154 HAS SOPS 379154 HAS SOUS 234125 HAS SOUPS 234125 WITH SCORE 234504.154
AT ITER 280 NEW BEST:: SOT 1367206 SOS 379864 HAS SOPS 379864 HAS SOUS 234120 HAS SOUPS 234120 WITH SCORE 234499.864
AT ITER 285 NEW BEST:: SOT 1367206 SOS 379782 HAS SOPS 379782 HAS SOUS 234079 HAS SOUPS 234079 WITH SCORE 234458.782
AT ITER 299 NEW BEST:: SOT 1367205 SOS 379780 HAS SOPS 379780 HAS SOUS 234077 HAS SOUPS 234077 WITH SCORE 234456.78
AT ITER 300 NEW BEST:: SOT 1367062 SOS 379758 HAS SOPS 379758 HAS SOUS 233978 HAS SOUPS 233978 WITH SCORE 234357.758
AT ITER 315 NEW BEST:: SOT 1366829 SOS 379292 HAS SOPS 379292 HAS SOUS 233512 HAS SOUPS 233512 WITH SCORE 233891.292
AT ITER 323 NEW BEST:: SOT 1366819 SOS 379262 HAS SOPS 379262 HAS SOUS 233502 HAS SOUPS 233502 WITH SCORE 233881.262
AT ITER 327 NEW BEST:: SOT 1366788 SOS 379200 HAS SOPS 379200 HAS SOUS 233471 HAS SOUPS 233471 WITH SCORE 233850.2
AT ITER 352 NEW BEST:: SOT 1366622 SOS 379234 HAS SOPS 379234 HAS SOUS 233332 HAS SOUPS 233332 WITH SCORE 233711.234
AT ITER 371 NEW BEST:: SOT 1366622 SOS 379234 HAS SOPS 379234 HAS SOUS 233150 HAS SOUPS 233150 WITH SCORE 233529.234
AT ITER 373 NEW BEST:: SOT 1366515 SOS 379020 HAS SOPS 379020 HAS SOUS 232936 HAS SOUPS 232936 WITH SCORE 233315.02
AT ITER 402 NEW BEST:: SOT 1366540 SOS 379070 HAS SOPS 379070 HAS SOUS 232724 HAS SOUPS 232724 WITH SCORE 233103.07
AT ITER 420 NEW BEST:: SOT 1366529 SOS 379048 HAS SOPS 379048 HAS SOUS 232702 HAS SOUPS 232702 WITH SCORE 233081.048
AT ITER 446 NEW BEST:: SOT 1366502 SOS 379012 HAS SOPS 379012 HAS SOUS 232675 HAS SOUPS 232675 WITH SCORE 233054.012
AT ITER 448 NEW BEST:: SOT 1366507 SOS 378962 HAS SOPS 378962 HAS SOUS 232649 HAS SOUPS 232649 WITH SCORE 233027.962
AT ITER 450 NEW BEST:: SOT 1366512 SOS 378972 HAS SOPS 378972 HAS SOUS 232498 HAS SOUPS 232498 WITH SCORE 232876.972
AT ITER 451 NEW BEST:: SOT 1366512 SOS 379165 HAS SOPS 379165 HAS SOUS 232460 HAS SOUPS 232460 WITH SCORE 232839.165
AT ITER 475 NEW BEST:: SOT 1366512 SOS 379165 HAS SOPS 379165 HAS SOUS 232431 HAS SOUPS 232431 WITH SCORE 232810.165
AT ITER 493 NEW BEST:: SOT 1365953 SOS 379175 HAS SOPS 379175 HAS SOUS 232013 HAS SOUPS 232013 WITH SCORE 232392.175
AT ITER 503 NEW BEST:: SOT 1365953 SOS 378958 HAS SOPS 378958 HAS SOUS 231850 HAS SOUPS 231850 WITH SCORE 232228.958
AT ITER 504 NEW BEST:: SOT 1365869 SOS 378874 HAS SOPS 378874 HAS SOUS 231766 HAS SOUPS 231766 WITH SCORE 232144.874
AT ITER 512 NEW BEST:: SOT 1365869 SOS 378874 HAS SOPS 378874 HAS SOUS 231735 HAS SOUPS 231735 WITH SCORE 232113.874
AT ITER 542 NEW BEST:: SOT 1365867 SOS 378875 HAS SOPS 378875 HAS SOUS 231733 HAS SOUPS 231733 WITH SCORE 232111.875
AT ITER 549 NEW BEST:: SOT 1365693 SOS 378850 HAS SOPS 378850 HAS SOUS 231621 HAS SOUPS 231621 WITH SCORE 231999.85
AT ITER 608 NEW BEST:: SOT 1365657 SOS 378879 HAS SOPS 378879 HAS SOUS 231584 HAS SOUPS 231584 WITH SCORE 231962.879
AT ITER 623 NEW BEST:: SOT 1365553 SOS 378671 HAS SOPS 378671 HAS SOUS 231376 HAS SOUPS 231376 WITH SCORE 231754.671
AT ITER 630 NEW BEST:: SOT 1365377 SOS 378495 HAS SOPS 378495 HAS SOUS 231242 HAS SOUPS 231242 WITH SCORE 231620.495
AT ITER 631 NEW BEST:: SOT 1365321 SOS 378657 HAS SOPS 378657 HAS SOUS 231070 HAS SOUPS 231070 WITH SCORE 231448.657
AT ITER 642 NEW BEST:: SOT 1365340 SOS 378602 HAS SOPS 378602 HAS SOUS 231000 HAS SOUPS 231000 WITH SCORE 231378.602
AT ITER 645 NEW BEST:: SOT 1365340 SOS 378692 HAS SOPS 378692 HAS SOUS 230972 HAS SOUPS 230972 WITH SCORE 231350.692
AT ITER 677 NEW BEST:: SOT 1365322 SOS 378642 HAS SOPS 378642 HAS SOUS 230952 HAS SOUPS 230952 WITH SCORE 231330.642
AT ITER 688 NEW BEST:: SOT 1365330 SOS 378567 HAS SOPS 378567 HAS SOUS 230829 HAS SOUPS 230829 WITH SCORE 231207.567
AT ITER 701 NEW BEST:: SOT 1365275 SOS 378512 HAS SOPS 378512 HAS SOUS 230774 HAS SOUPS 230774 WITH SCORE 231152.512
AT ITER 711 NEW BEST:: SOT 1364933 SOS 379692 HAS SOPS 379692 HAS SOUS 230729 HAS SOUPS 230729 WITH SCORE 231108.692
AT ITER 737 NEW BEST:: SOT 1364814 SOS 379573 HAS SOPS 379573 HAS SOUS 230728 HAS SOUPS 230728 WITH SCORE 231107.573
AT ITER 756 NEW BEST:: SOT 1364814 SOS 379509 HAS SOPS 379509 HAS SOUS 230696 HAS SOUPS 230696 WITH SCORE 231075.509
AT ITER 762 NEW BEST:: SOT 1364168 SOS 385353 HAS SOPS 385353 HAS SOUS 230473 HAS SOUPS 230473 WITH SCORE 230858.353
AT ITER 773 NEW BEST:: SOT 1364206 SOS 385429 HAS SOPS 385429 HAS SOUS 230457 HAS SOUPS 230457 WITH SCORE 230842.429
AT ITER 804 NEW BEST:: SOT 1364334 SOS 385685 HAS SOPS 385685 HAS SOUS 230370 HAS SOUPS 230370 WITH SCORE 230755.685
AT ITER 834 NEW BEST:: SOT 1364334 SOS 385818 HAS SOPS 385818 HAS SOUS 229971 HAS SOUPS 229971 WITH SCORE 230356.818
AT ITER 853 NEW BEST:: SOT 1364275 SOS 385700 HAS SOPS 385700 HAS SOUS 229853 HAS SOUPS 229853 WITH SCORE 230238.7
AT ITER 859 NEW BEST:: SOT 1364175 SOS 385634 HAS SOPS 385634 HAS SOUS 229753 HAS SOUPS 229753 WITH SCORE 230138.634
AT ITER 887 NEW BEST:: SOT 1364100 SOS 385559 HAS SOPS 385559 HAS SOUS 229748 HAS SOUPS 229748 WITH SCORE 230133.559
AT ITER 910 NEW BEST:: SOT 1363351 SOS 402115 HAS SOPS 402115 HAS SOUS 228756 HAS SOUPS 228756 WITH SCORE 229158.115
AT ITER 924 NEW BEST:: SOT 1363338 SOS 402089 HAS SOPS 402089 HAS SOUS 228743 HAS SOUPS 228743 WITH SCORE 229145.089
AT ITER 925 NEW BEST:: SOT 1363337 SOS 401982 HAS SOPS 401982 HAS SOUS 228741 HAS SOUPS 228741 WITH SCORE 229142.982
AT ITER 929 NEW BEST:: SOT 1363325 SOS 401958 HAS SOPS 401958 HAS SOUS 228717 HAS SOUPS 228717 WITH SCORE 229118.958
AT ITER 932 NEW BEST:: SOT 1363325 SOS 401697 HAS SOPS 401697 HAS SOUS 228671 HAS SOUPS 228671 WITH SCORE 229072.697
AT ITER 937 NEW BEST:: SOT 1363145 SOS 401649 HAS SOPS 401649 HAS SOUS 228503 HAS SOUPS 228503 WITH SCORE 228904.649
AT ITER 947 NEW BEST:: SOT 1363207 SOS 402937 HAS SOPS 402937 HAS SOUS 228500 HAS SOUPS 228500 WITH SCORE 228902.937
AT ITER 986 NEW BEST:: SOT 1363207 SOS 402937 HAS SOPS 402937 HAS SOUS 228498 HAS SOUPS 228498 WITH SCORE 228900.937
AT ITER 989 NEW BEST:: SOT 1362953 SOS 402683 HAS SOPS 402683 HAS SOUS 220408 HAS SOUPS 220408 WITH SCORE 220810.683
AT ITER 996 NEW BEST:: SOT 1362930 SOS 402637 HAS SOPS 402637 HAS SOUS 220362 HAS SOUPS 220362 WITH SCORE 220764.637
AT ITER 1005 NEW BEST:: SOT 1362836 SOS 402382 HAS SOPS 402382 HAS SOUS 220173 HAS SOUPS 220173 WITH SCORE 220575.382
AT ITER 1016 NEW BEST:: SOT 1362836 SOS 402337 HAS SOPS 402337 HAS SOUS 220083 HAS SOUPS 220083 WITH SCORE 220485.337
AT ITER 1020 NEW BEST:: SOT 1362862 SOS 400833 HAS SOPS 400833 HAS SOUS 220014 HAS SOUPS 220014 WITH SCORE 220414.833
AT ITER 1029 NEW BEST:: SOT 1362862 SOS 400653 HAS SOPS 400653 HAS SOUS 219713 HAS SOUPS 219713 WITH SCORE 220113.653
AT ITER 1030 NEW BEST:: SOT 1362757 SOS 400379 HAS SOPS 400379 HAS SOUS 219671 HAS SOUPS 219671 WITH SCORE 220071.379
AT ITER 1036 NEW BEST:: SOT 1362774 SOS 400640 HAS SOPS 400640 HAS SOUS 219603 HAS SOUPS 219603 WITH SCORE 220003.64
AT ITER 1054 NEW BEST:: SOT 1362721 SOS 400786 HAS SOPS 400786 HAS SOUS 219550 HAS SOUPS 219550 WITH SCORE 219950.786
AT ITER 1056 NEW BEST:: SOT 1362721 SOS 400786 HAS SOPS 400786 HAS SOUS 219431 HAS SOUPS 219431 WITH SCORE 219831.786
AT ITER 1062 NEW BEST:: SOT 1362641 SOS 400728 HAS SOPS 400728 HAS SOUS 219373 HAS SOUPS 219373 WITH SCORE 219773.728
AT ITER 1065 NEW BEST:: SOT 1362596 SOS 400686 HAS SOPS 400686 HAS SOUS 218851 HAS SOUPS 218851 WITH SCORE 219251.686
AT ITER 1073 NEW BEST:: SOT 1362570 SOS 400634 HAS SOPS 400634 HAS SOUS 218824 HAS SOUPS 218824 WITH SCORE 219224.634
AT ITER 1079 NEW BEST:: SOT 1362096 SOS 401055 HAS SOPS 401055 HAS SOUS 218802 HAS SOUPS 218802 WITH SCORE 219203.055
AT ITER 1098 NEW BEST:: SOT 1362077 SOS 401036 HAS SOPS 401036 HAS SOUS 218800 HAS SOUPS 218800 WITH SCORE 219201.036
AT ITER 1106 NEW BEST:: SOT 1361956 SOS 400794 HAS SOPS 400794 HAS SOUS 218676 HAS SOUPS 218676 WITH SCORE 219076.794
AT ITER 1108 NEW BEST:: SOT 1361956 SOS 400794 HAS SOPS 400794 HAS SOUS 218537 HAS SOUPS 218537 WITH SCORE 218937.794
AT ITER 1124 NEW BEST:: SOT 1361724 SOS 400421 HAS SOPS 400421 HAS SOUS 218009 HAS SOUPS 218009 WITH SCORE 218409.421
AT ITER 1207 NEW BEST:: SOT 1361621 SOS 400318 HAS SOPS 400318 HAS SOUS 216361 HAS SOUPS 216361 WITH SCORE 216761.318
AT ITER 1212 NEW BEST:: SOT 1361747 SOS 400318 HAS SOPS 400318 HAS SOUS 216269 HAS SOUPS 216269 WITH SCORE 216669.318
AT ITER 1213 NEW BEST:: SOT 1361747 SOS 400270 HAS SOPS 400270 HAS SOUS 216187 HAS SOUPS 216187 WITH SCORE 216587.27
AT ITER 1229 NEW BEST:: SOT 1361716 SOS 400239 HAS SOPS 400239 HAS SOUS 216156 HAS SOUPS 216156 WITH SCORE 216556.239
AT ITER 1231 NEW BEST:: SOT 1361624 SOS 400377 HAS SOPS 400377 HAS SOUS 216155 HAS SOUPS 216155 WITH SCORE 216555.377
AT ITER 1254 NEW BEST:: SOT 1361624 SOS 400358 HAS SOPS 400358 HAS SOUS 216138 HAS SOUPS 216138 WITH SCORE 216538.358
AT ITER 1264 NEW BEST:: SOT 1361565 SOS 400240 HAS SOPS 400240 HAS SOUS 216119 HAS SOUPS 216119 WITH SCORE 216519.24
AT ITER 1280 NEW BEST:: SOT 1361531 SOS 400172 HAS SOPS 400172 HAS SOUS 216049 HAS SOUPS 216049 WITH SCORE 216449.172
AT ITER 1291 NEW BEST:: SOT 1361427 SOS 399964 HAS SOPS 399964 HAS SOUS 215935 HAS SOUPS 215935 WITH SCORE 216334.964
AT ITER 1324 NEW BEST:: SOT 1361427 SOS 399935 HAS SOPS 399935 HAS SOUS 215931 HAS SOUPS 215931 WITH SCORE 216330.935
AT ITER 1354 NEW BEST:: SOT 1361367 SOS 399895 HAS SOPS 399895 HAS SOUS 215871 HAS SOUPS 215871 WITH SCORE 216270.895
AT ITER 1363 NEW BEST:: SOT 1361367 SOS 399856 HAS SOPS 399856 HAS SOUS 215871 HAS SOUPS 215871 WITH SCORE 216270.856
AT ITER 1381 NEW BEST:: SOT 1361359 SOS 399840 HAS SOPS 399840 HAS SOUS 215855 HAS SOUPS 215855 WITH SCORE 216254.84
AT ITER 1386 NEW BEST:: SOT 1361251 SOS 399848 HAS SOPS 399848 HAS SOUS 215639 HAS SOUPS 215639 WITH SCORE 216038.848
AT ITER 1405 NEW BEST:: SOT 1361270 SOS 399803 HAS SOPS 399803 HAS SOUS 215594 HAS SOUPS 215594 WITH SCORE 215993.803
AT ITER 1413 NEW BEST:: SOT 1361091 SOS 399445 HAS SOPS 399445 HAS SOUS 215415 HAS SOUPS 215415 WITH SCORE 215814.445
AT ITER 1452 NEW BEST:: SOT 1361091 SOS 399426 HAS SOPS 399426 HAS SOUS 215394 HAS SOUPS 215394 WITH SCORE 215793.426
AT ITER 1465 NEW BEST:: SOT 1361091 SOS 399426 HAS SOPS 399426 HAS SOUS 215393 HAS SOUPS 215393 WITH SCORE 215792.426
AT ITER 1475 NEW BEST:: SOT 1361058 SOS 399310 HAS SOPS 399310 HAS SOUS 215342 HAS SOUPS 215342 WITH SCORE 215741.31
AT ITER 1476 NEW BEST:: SOT 1361020 SOS 399234 HAS SOPS 399234 HAS SOUS 215266 HAS SOUPS 215266 WITH SCORE 215665.234
AT ITER 1489 NEW BEST:: SOT 1360956 SOS 399161 HAS SOPS 399161 HAS SOUS 215195 HAS SOUPS 215195 WITH SCORE 215594.161
AT ITER 1495 NEW BEST:: SOT 1361044 SOS 399521 HAS SOPS 399521 HAS SOUS 215187 HAS SOUPS 215187 WITH SCORE 215586.521
AT ITER 1516 NEW BEST:: SOT 1360928 SOS 399272 HAS SOPS 399272 HAS SOUS 214972 HAS SOUPS 214972 WITH SCORE 215371.272
AT ITER 1550 NEW BEST:: SOT 1360927 SOS 399270 HAS SOPS 399270 HAS SOUS 214970 HAS SOUPS 214970 WITH SCORE 215369.27
AT ITER 1568 NEW BEST:: SOT 1360848 SOS 399924 HAS SOPS 399924 HAS SOUS 214751 HAS SOUPS 214751 WITH SCORE 215150.924
AT ITER 1580 NEW BEST:: SOT 1360823 SOS 399988 HAS SOPS 399988 HAS SOUS 214619 HAS SOUPS 214619 WITH SCORE 215018.988
AT ITER 1590 NEW BEST:: SOT 1360823 SOS 399926 HAS SOPS 399926 HAS SOUS 214557 HAS SOUPS 214557 WITH SCORE 214956.926
AT ITER 1615 NEW BEST:: SOT 1360820 SOS 399923 HAS SOPS 399923 HAS SOUS 214554 HAS SOUPS 214554 WITH SCORE 214953.923
AT ITER 1622 NEW BEST:: SOT 1360820 SOS 399923 HAS SOPS 399923 HAS SOUS 214459 HAS SOUPS 214459 WITH SCORE 214858.923
AT ITER 1636 NEW BEST:: SOT 1360820 SOS 399922 HAS SOPS 399922 HAS SOUS 214458 HAS SOUPS 214458 WITH SCORE 214857.922
AT ITER 1652 NEW BEST:: SOT 1360763 SOS 399808 HAS SOPS 399808 HAS SOUS 214344 HAS SOUPS 214344 WITH SCORE 214743.808
AT ITER 1656 NEW BEST:: SOT 1360699 SOS 399680 HAS SOPS 399680 HAS SOUS 214216 HAS SOUPS 214216 WITH SCORE 214615.68
AT ITER 1676 NEW BEST:: SOT 1360699 SOS 399680 HAS SOPS 399680 HAS SOUS 214179 HAS SOUPS 214179 WITH SCORE 214578.68
AT ITER 1680 NEW BEST:: SOT 1360698 SOS 399662 HAS SOPS 399662 HAS SOUS 214177 HAS SOUPS 214177 WITH SCORE 214576.662
AT ITER 1681 NEW BEST:: SOT 1360765 SOS 400612 HAS SOPS 400612 HAS SOUS 213836 HAS SOUPS 213836 WITH SCORE 214236.612
AT ITER 1690 NEW BEST:: SOT 1360677 SOS 400557 HAS SOPS 400557 HAS SOUS 213781 HAS SOUPS 213781 WITH SCORE 214181.557
AT ITER 1698 NEW BEST:: SOT 1360683 SOS 401430 HAS SOPS 401430 HAS SOUS 213607 HAS SOUPS 213607 WITH SCORE 214008.43
AT ITER 1710 NEW BEST:: SOT 1360683 SOS 401430 HAS SOPS 401430 HAS SOUS 213606 HAS SOUPS 213606 WITH SCORE 214007.43
AT ITER 1712 NEW BEST:: SOT 1360574 SOS 401409 HAS SOPS 401409 HAS SOUS 213363 HAS SOUPS 213363 WITH SCORE 213764.409
AT ITER 1719 NEW BEST:: SOT 1360570 SOS 401401 HAS SOPS 401401 HAS SOUS 213361 HAS SOUPS 213361 WITH SCORE 213762.401
AT ITER 1734 NEW BEST:: SOT 1360507 SOS 401275 HAS SOPS 401275 HAS SOUS 213296 HAS SOUPS 213296 WITH SCORE 213697.275
AT ITER 1759 NEW BEST:: SOT 1360507 SOS 401275 HAS SOPS 401275 HAS SOUS 213291 HAS SOUPS 213291 WITH SCORE 213692.275
AT ITER 1768 NEW BEST:: SOT 1360406 SOS 402135 HAS SOPS 402135 HAS SOUS 213168 HAS SOUPS 213168 WITH SCORE 213570.135
AT ITER 1769 NEW BEST:: SOT 1360406 SOS 402135 HAS SOPS 402135 HAS SOUS 213166 HAS SOUPS 213166 WITH SCORE 213568.135
AT ITER 1773 NEW BEST:: SOT 1360373 SOS 402069 HAS SOPS 402069 HAS SOUS 213100 HAS SOUPS 213100 WITH SCORE 213502.069
AT ITER 1778 NEW BEST:: SOT 1360361 SOS 402045 HAS SOPS 402045 HAS SOUS 212921 HAS SOUPS 212921 WITH SCORE 213323.045
AT ITER 1791 NEW BEST:: SOT 1360313 SOS 401997 HAS SOPS 401997 HAS SOUS 212920 HAS SOUPS 212920 WITH SCORE 213321.997
AT ITER 1800 NEW BEST:: SOT 1360406 SOS 402183 HAS SOPS 402183 HAS SOUS 212825 HAS SOUPS 212825 WITH SCORE 213227.183
AT ITER 1817 NEW BEST:: SOT 1360399 SOS 402169 HAS SOPS 402169 HAS SOUS 212811 HAS SOUPS 212811 WITH SCORE 213213.169
AT ITER 1826 NEW BEST:: SOT 1360273 SOS 401917 HAS SOPS 401917 HAS SOUS 212558 HAS SOUPS 212558 WITH SCORE 212959.917
AT ITER 1828 NEW BEST:: SOT 1360210 SOS 401980 HAS SOPS 401980 HAS SOUS 212495 HAS SOUPS 212495 WITH SCORE 212896.98
AT ITER 1841 NEW BEST:: SOT 1360178 SOS 401916 HAS SOPS 401916 HAS SOUS 212482 HAS SOUPS 212482 WITH SCORE 212883.916
AT ITER 1844 NEW BEST:: SOT 1360151 SOS 401862 HAS SOPS 401862 HAS SOUS 212257 HAS SOUPS 212257 WITH SCORE 212658.862
AT ITER 1861 NEW BEST:: SOT 1360151 SOS 401862 HAS SOPS 401862 HAS SOUS 212256 HAS SOUPS 212256 WITH SCORE 212657.862
AT ITER 1862 NEW BEST:: SOT 1360126 SOS 401812 HAS SOPS 401812 HAS SOUS 212206 HAS SOUPS 212206 WITH SCORE 212607.812
AT ITER 1877 NEW BEST:: SOT 1360126 SOS 401812 HAS SOPS 401812 HAS SOUS 212198 HAS SOUPS 212198 WITH SCORE 212599.812
AT ITER 1893 NEW BEST:: SOT 1360094 SOS 401788 HAS SOPS 401788 HAS SOUS 211910 HAS SOUPS 211910 WITH SCORE 212311.788
AT ITER 1918 NEW BEST:: SOT 1360094 SOS 401788 HAS SOPS 401788 HAS SOUS 211894 HAS SOUPS 211894 WITH SCORE 212295.788
AT ITER 1920 NEW BEST:: SOT 1360094 SOS 401788 HAS SOPS 401788 HAS SOUS 211891 HAS SOUPS 211891 WITH SCORE 212292.788
AT ITER 1927 NEW BEST:: SOT 1360059 SOS 401753 HAS SOPS 401753 HAS SOUS 211891 HAS SOUPS 211891 WITH SCORE 212292.753
AT ITER 1933 NEW BEST:: SOT 1359894 SOS 401592 HAS SOPS 401592 HAS SOUS 211872 HAS SOUPS 211872 WITH SCORE 212273.592
AT ITER 1937 NEW BEST:: SOT 1359893 SOS 401590 HAS SOPS 401590 HAS SOUS 211870 HAS SOUPS 211870 WITH SCORE 212271.59
AT ITER 1949 NEW BEST:: SOT 1359496 SOS 405819 HAS SOPS 405819 HAS SOUS 211824 HAS SOUPS 211824 WITH SCORE 212229.819
AT ITER 1954 NEW BEST:: SOT 1359482 SOS 405791 HAS SOPS 405791 HAS SOUS 211667 HAS SOUPS 211667 WITH SCORE 212072.791
AT ITER 1977 NEW BEST:: SOT 1359431 SOS 405976 HAS SOPS 405976 HAS SOUS 211616 HAS SOUPS 211616 WITH SCORE 212021.976
AT ITER 1981 NEW BEST:: SOT 1359431 SOS 405976 HAS SOPS 405976 HAS SOUS 211614 HAS SOUPS 211614 WITH SCORE 212019.976
AT ITER 1985 NEW BEST:: SOT 1359518 SOS 406150 HAS SOPS 406150 HAS SOUS 211483 HAS SOUPS 211483 WITH SCORE 211889.15
AT ITER 1996 NEW BEST:: SOT 1359455 SOS 406087 HAS SOPS 406087 HAS SOUS 211355 HAS SOUPS 211355 WITH SCORE 211761.087
AT ITER 2001 NEW BEST:: SOT 1359371 SOS 406034 HAS SOPS 406034 HAS SOUS 211302 HAS SOUPS 211302 WITH SCORE 211708.034
AT ITER 2014 NEW BEST:: SOT 1359365 SOS 406028 HAS SOPS 406028 HAS SOUS 211296 HAS SOUPS 211296 WITH SCORE 211702.028
AT ITER 2022 NEW BEST:: SOT 1359275 SOS 406118 HAS SOPS 406118 HAS SOUS 211206 HAS SOUPS 211206 WITH SCORE 211612.118
AT ITER 2024 NEW BEST:: SOT 1358817 SOS 408054 HAS SOPS 408054 HAS SOUS 210621 HAS SOUPS 210621 WITH SCORE 211029.054
AT ITER 2033 NEW BEST:: SOT 1358472 SOS 407912 HAS SOPS 407912 HAS SOUS 210429 HAS SOUPS 210429 WITH SCORE 210836.912
AT ITER 2041 NEW BEST:: SOT 1358472 SOS 407899 HAS SOPS 407899 HAS SOUS 210429 HAS SOUPS 210429 WITH SCORE 210836.899
AT ITER 2068 NEW BEST:: SOT 1358472 SOS 407899 HAS SOPS 407899 HAS SOUS 210427 HAS SOUPS 210427 WITH SCORE 210834.899
AT ITER 2070 NEW BEST:: SOT 1358471 SOS 407897 HAS SOPS 407897 HAS SOUS 210425 HAS SOUPS 210425 WITH SCORE 210832.897
AT ITER 2071 NEW BEST:: SOT 1358372 SOS 407749 HAS SOPS 407749 HAS SOUS 210321 HAS SOUPS 210321 WITH SCORE 210728.749
AT ITER 2076 NEW BEST:: SOT 1358372 SOS 408009 HAS SOPS 408009 HAS SOUS 207313 HAS SOUPS 207313 WITH SCORE 207721.009
AT ITER 2100 NEW BEST:: SOT 1358200 SOS 407837 HAS SOPS 407837 HAS SOUS 207141 HAS SOUPS 207141 WITH SCORE 207548.837
AT ITER 2107 NEW BEST:: SOT 1358200 SOS 409011 HAS SOPS 409011 HAS SOUS 207125 HAS SOUPS 207125 WITH SCORE 207534.011
AT ITER 2121 NEW BEST:: SOT 1358047 SOS 408548 HAS SOPS 408548 HAS SOUS 206819 HAS SOUPS 206819 WITH SCORE 207227.548
AT ITER 2142 NEW BEST:: SOT 1358015 SOS 408500 HAS SOPS 408500 HAS SOUS 206771 HAS SOUPS 206771 WITH SCORE 207179.5
AT ITER 2143 NEW BEST:: SOT 1358015 SOS 408352 HAS SOPS 408352 HAS SOUS 206715 HAS SOUPS 206715 WITH SCORE 207123.352
AT ITER 2152 NEW BEST:: SOT 1358015 SOS 408324 HAS SOPS 408324 HAS SOUS 206677 HAS SOUPS 206677 WITH SCORE 207085.324
AT ITER 2165 NEW BEST:: SOT 1358017 SOS 408630 HAS SOPS 408630 HAS SOUS 206557 HAS SOUPS 206557 WITH SCORE 206965.63
AT ITER 2181 NEW BEST:: SOT 1358168 SOS 408600 HAS SOPS 408600 HAS SOUS 206500 HAS SOUPS 206500 WITH SCORE 206908.6
AT ITER 2182 NEW BEST:: SOT 1358132 SOS 408528 HAS SOPS 408528 HAS SOUS 206428 HAS SOUPS 206428 WITH SCORE 206836.528
AT ITER 2186 NEW BEST:: SOT 1358166 SOS 408432 HAS SOPS 408432 HAS SOUS 206360 HAS SOUPS 206360 WITH SCORE 206768.432
AT ITER 2203 NEW BEST:: SOT 1358107 SOS 408325 HAS SOPS 408325 HAS SOUS 206083 HAS SOUPS 206083 WITH SCORE 206491.325
AT ITER 2210 NEW BEST:: SOT 1358107 SOS 408243 HAS SOPS 408243 HAS SOUS 206001 HAS SOUPS 206001 WITH SCORE 206409.243
AT ITER 2220 NEW BEST:: SOT 1358107 SOS 408176 HAS SOPS 408176 HAS SOUS 205974 HAS SOUPS 205974 WITH SCORE 206382.176
AT ITER 2222 NEW BEST:: SOT 1357802 SOS 411455 HAS SOPS 411455 HAS SOUS 205709 HAS SOUPS 205709 WITH SCORE 206120.455
AT ITER 2229 NEW BEST:: SOT 1357802 SOS 411455 HAS SOPS 411455 HAS SOUS 205686 HAS SOUPS 205686 WITH SCORE 206097.455
AT ITER 2230 NEW BEST:: SOT 1357490 SOS 411287 HAS SOPS 411287 HAS SOUS 205450 HAS SOUPS 205450 WITH SCORE 205861.287
AT ITER 2256 NEW BEST:: SOT 1357482 SOS 410909 HAS SOPS 410909 HAS SOUS 205395 HAS SOUPS 205395 WITH SCORE 205805.909
AT ITER 2258 NEW BEST:: SOT 1357482 SOS 410890 HAS SOPS 410890 HAS SOUS 205376 HAS SOUPS 205376 WITH SCORE 205786.89
AT ITER 2260 NEW BEST:: SOT 1357482 SOS 410798 HAS SOPS 410798 HAS SOUS 205284 HAS SOUPS 205284 WITH SCORE 205694.798
AT ITER 2264 NEW BEST:: SOT 1357442 SOS 410379 HAS SOPS 410379 HAS SOUS 205271 HAS SOUPS 205271 WITH SCORE 205681.379
AT ITER 2274 NEW BEST:: SOT 1357307 SOS 410109 HAS SOPS 410109 HAS SOUS 205118 HAS SOUPS 205118 WITH SCORE 205528.109
AT ITER 2297 NEW BEST:: SOT 1357349 SOS 410055 HAS SOPS 410055 HAS SOUS 205063 HAS SOUPS 205063 WITH SCORE 205473.055
AT ITER 2299 NEW BEST:: SOT 1357022 SOS 409382 HAS SOPS 409382 HAS SOUS 204656 HAS SOUPS 204656 WITH SCORE 205065.382
AT ITER 2316 NEW BEST:: SOT 1357018 SOS 409374 HAS SOPS 409374 HAS SOUS 204648 HAS SOUPS 204648 WITH SCORE 205057.374
AT ITER 2327 NEW BEST:: SOT 1357018 SOS 409349 HAS SOPS 409349 HAS SOUS 204648 HAS SOUPS 204648 WITH SCORE 205057.349
AT ITER 2361 NEW BEST:: SOT 1356904 SOS 409099 HAS SOPS 409099 HAS SOUS 204555 HAS SOUPS 204555 WITH SCORE 204964.099
AT ITER 2365 NEW BEST:: SOT 1356904 SOS 409099 HAS SOPS 409099 HAS SOUS 204503 HAS SOUPS 204503 WITH SCORE 204912.099
AT ITER 2367 NEW BEST:: SOT 1356967 SOS 409161 HAS SOPS 409161 HAS SOUS 204501 HAS SOUPS 204501 WITH SCORE 204910.161
AT ITER 2368 NEW BEST:: SOT 1356967 SOS 408997 HAS SOPS 408997 HAS SOUS 204501 HAS SOUPS 204501 WITH SCORE 204909.997
AT ITER 2396 NEW BEST:: SOT 1356967 SOS 409493 HAS SOPS 409493 HAS SOUS 204465 HAS SOUPS 204465 WITH SCORE 204874.493
AT ITER 2416 NEW BEST:: SOT 1356853 SOS 409869 HAS SOPS 409869 HAS SOUS 204351 HAS SOUPS 204351 WITH SCORE 204760.869
AT ITER 2430 NEW BEST:: SOT 1356852 SOS 409867 HAS SOPS 409867 HAS SOUS 204349 HAS SOUPS 204349 WITH SCORE 204758.867
AT ITER 2451 NEW BEST:: SOT 1356851 SOS 409865 HAS SOPS 409865 HAS SOUS 204347 HAS SOUPS 204347 WITH SCORE 204756.865
AT ITER 2469 NEW BEST:: SOT 1356938 SOS 409339 HAS SOPS 409339 HAS SOUS 204193 HAS SOUPS 204193 WITH SCORE 204602.339
AT ITER 2476 NEW BEST:: SOT 1356938 SOS 409164 HAS SOPS 409164 HAS SOUS 204145 HAS SOUPS 204145 WITH SCORE 204554.164
AT ITER 2496 NEW BEST:: SOT 1356861 SOS 409010 HAS SOPS 409010 HAS SOUS 203991 HAS SOUPS 203991 WITH SCORE 204400.01
AT ITER 2501 NEW BEST:: SOT 1357007 SOS 408969 HAS SOPS 408969 HAS SOUS 203981 HAS SOUPS 203981 WITH SCORE 204389.969
AT ITER 2507 NEW BEST:: SOT 1357007 SOS 408969 HAS SOPS 408969 HAS SOUS 203889 HAS SOUPS 203889 WITH SCORE 204297.969
AT ITER 2509 NEW BEST:: SOT 1357007 SOS 408969 HAS SOPS 408969 HAS SOUS 203802 HAS SOUPS 203802 WITH SCORE 204210.969
AT ITER 2512 NEW BEST:: SOT 1357004 SOS 408963 HAS SOPS 408963 HAS SOUS 203796 HAS SOUPS 203796 WITH SCORE 204204.963
AT ITER 2515 NEW BEST:: SOT 1356476 SOS 409843 HAS SOPS 409843 HAS SOUS 203510 HAS SOUPS 203510 WITH SCORE 203919.843
AT ITER 2519 NEW BEST:: SOT 1356431 SOS 409798 HAS SOPS 409798 HAS SOUS 203465 HAS SOUPS 203465 WITH SCORE 203874.798
AT ITER 2522 NEW BEST:: SOT 1356941 SOS 410444 HAS SOPS 410444 HAS SOUS 203295 HAS SOUPS 203295 WITH SCORE 203705.444
AT ITER 2528 NEW BEST:: SOT 1356941 SOS 410408 HAS SOPS 410408 HAS SOUS 203259 HAS SOUPS 203259 WITH SCORE 203669.408
AT ITER 2530 NEW BEST:: SOT 1356962 SOS 411137 HAS SOPS 411137 HAS SOUS 202993 HAS SOUPS 202993 WITH SCORE 203404.137
AT ITER 2555 NEW BEST:: SOT 1356807 SOS 410827 HAS SOPS 410827 HAS SOUS 202781 HAS SOUPS 202781 WITH SCORE 203191.827
AT ITER 2600 NEW BEST:: SOT 1356790 SOS 410793 HAS SOPS 410793 HAS SOUS 202764 HAS SOUPS 202764 WITH SCORE 203174.793
AT ITER 2624 NEW BEST:: SOT 1356774 SOS 410761 HAS SOPS 410761 HAS SOUS 202732 HAS SOUPS 202732 WITH SCORE 203142.761
AT ITER 2632 NEW BEST:: SOT 1356616 SOS 410709 HAS SOPS 410709 HAS SOUS 202629 HAS SOUPS 202629 WITH SCORE 203039.709
AT ITER 2659 NEW BEST:: SOT 1356694 SOS 410768 HAS SOPS 410768 HAS SOUS 202591 HAS SOUPS 202591 WITH SCORE 203001.768
AT ITER 2672 NEW BEST:: SOT 1356642 SOS 410664 HAS SOPS 410664 HAS SOUS 202540 HAS SOUPS 202540 WITH SCORE 202950.664
AT ITER 2706 NEW BEST:: SOT 1356580 SOS 410602 HAS SOPS 410602 HAS SOUS 202478 HAS SOUPS 202478 WITH SCORE 202888.602
AT ITER 2728 NEW BEST:: SOT 1356781 SOS 411004 HAS SOPS 411004 HAS SOUS 202446 HAS SOUPS 202446 WITH SCORE 202857.004
AT ITER 2731 NEW BEST:: SOT 1356781 SOS 411004 HAS SOPS 411004 HAS SOUS 202371 HAS SOUPS 202371 WITH SCORE 202782.004
AT ITER 2753 NEW BEST:: SOT 1356754 SOS 411001 HAS SOPS 411001 HAS SOUS 202368 HAS SOUPS 202368 WITH SCORE 202779.001
AT ITER 2759 NEW BEST:: SOT 1356771 SOS 411035 HAS SOPS 411035 HAS SOUS 202148 HAS SOUPS 202148 WITH SCORE 202559.035
AT ITER 2761 NEW BEST:: SOT 1356698 SOS 411252 HAS SOPS 411252 HAS SOUS 202128 HAS SOUPS 202128 WITH SCORE 202539.252
AT ITER 2777 NEW BEST:: SOT 1356670 SOS 411196 HAS SOPS 411196 HAS SOUS 202098 HAS SOUPS 202098 WITH SCORE 202509.196
AT ITER 2780 NEW BEST:: SOT 1356661 SOS 411336 HAS SOPS 411336 HAS SOUS 202080 HAS SOUPS 202080 WITH SCORE 202491.336
AT ITER 2787 NEW BEST:: SOT 1356698 SOS 411356 HAS SOPS 411356 HAS SOUS 202045 HAS SOUPS 202045 WITH SCORE 202456.356
AT ITER 2805 NEW BEST:: SOT 1356690 SOS 411341 HAS SOPS 411341 HAS SOUS 202030 HAS SOUPS 202030 WITH SCORE 202441.341
AT ITER 2812 NEW BEST:: SOT 1356689 SOS 411339 HAS SOPS 411339 HAS SOUS 202028 HAS SOUPS 202028 WITH SCORE 202439.339
AT ITER 2818 NEW BEST:: SOT 1356581 SOS 411288 HAS SOPS 411288 HAS SOUS 201774 HAS SOUPS 201774 WITH SCORE 202185.288
AT ITER 2821 NEW BEST:: SOT 1356544 SOS 411251 HAS SOPS 411251 HAS SOUS 201737 HAS SOUPS 201737 WITH SCORE 202148.251
AT ITER 2824 NEW BEST:: SOT 1356544 SOS 411251 HAS SOPS 411251 HAS SOUS 201690 HAS SOUPS 201690 WITH SCORE 202101.251
AT ITER 2838 NEW BEST:: SOT 1356544 SOS 411203 HAS SOPS 411203 HAS SOUS 201666 HAS SOUPS 201666 WITH SCORE 202077.203
AT ITER 2839 NEW BEST:: SOT 1356484 SOS 411143 HAS SOPS 411143 HAS SOUS 201509 HAS SOUPS 201509 WITH SCORE 201920.143
AT ITER 2843 NEW BEST:: SOT 1356512 SOS 411197 HAS SOPS 411197 HAS SOUS 201492 HAS SOUPS 201492 WITH SCORE 201903.197
AT ITER 2864 NEW BEST:: SOT 1356436 SOS 484228 HAS SOPS 484228 HAS SOUS 201338 HAS SOUPS 201338 WITH SCORE 201822.228
AT ITER 2881 NEW BEST:: SOT 1356394 SOS 484144 HAS SOPS 484144 HAS SOUS 201254 HAS SOUPS 201254 WITH SCORE 201738.144
AT ITER 2889 NEW BEST:: SOT 1356399 SOS 484138 HAS SOPS 484138 HAS SOUS 201207 HAS SOUPS 201207 WITH SCORE 201691.138
AT ITER 2892 NEW BEST:: SOT 1356399 SOS 484129 HAS SOPS 484129 HAS SOUS 201198 HAS SOUPS 201198 WITH SCORE 201682.129
AT ITER 2931 NEW BEST:: SOT 1356394 SOS 484119 HAS SOPS 484119 HAS SOUS 201188 HAS SOUPS 201188 WITH SCORE 201672.119
AT ITER 2956 NEW BEST:: SOT 1356394 SOS 484119 HAS SOPS 484119 HAS SOUS 201180 HAS SOUPS 201180 WITH SCORE 201664.119
AT ITER 2964 NEW BEST:: SOT 1356410 SOS 484151 HAS SOPS 484151 HAS SOUS 201031 HAS SOUPS 201031 WITH SCORE 201515.151
AT ITER 2974 NEW BEST:: SOT 1356372 SOS 484075 HAS SOPS 484075 HAS SOUS 200993 HAS SOUPS 200993 WITH SCORE 201477.075
AT ITER 2979 NEW BEST:: SOT 1356331 SOS 483656 HAS SOPS 483656 HAS SOUS 200865 HAS SOUPS 200865 WITH SCORE 201348.656
AT ITER 2997 NEW BEST:: SOT 1356331 SOS 484254 HAS SOPS 484254 HAS SOUS 200861 HAS SOUPS 200861 WITH SCORE 201345.254
AT ITER 3015 NEW BEST:: SOT 1356331 SOS 484205 HAS SOPS 484205 HAS SOUS 200811 HAS SOUPS 200811 WITH SCORE 201295.205
AT ITER 3019 NEW BEST:: SOT 1356348 SOS 484442 HAS SOPS 484442 HAS SOUS 200742 HAS SOUPS 200742 WITH SCORE 201226.442
AT ITER 3045 NEW BEST:: SOT 1356308 SOS 484362 HAS SOPS 484362 HAS SOUS 200662 HAS SOUPS 200662 WITH SCORE 201146.362
AT ITER 3050 NEW BEST:: SOT 1356258 SOS 484517 HAS SOPS 484517 HAS SOUS 200612 HAS SOUPS 200612 WITH SCORE 201096.517
AT ITER 3070 NEW BEST:: SOT 1356206 SOS 484261 HAS SOPS 484261 HAS SOUS 200610 HAS SOUPS 200610 WITH SCORE 201094.261
AT ITER 3084 NEW BEST:: SOT 1356206 SOS 484255 HAS SOPS 484255 HAS SOUS 200610 HAS SOUPS 200610 WITH SCORE 201094.255
AT ITER 3087 NEW BEST:: SOT 1355887 SOS 483979 HAS SOPS 483979 HAS SOUS 200559 HAS SOUPS 200559 WITH SCORE 201042.979
AT ITER 3093 NEW BEST:: SOT 1355782 SOS 483769 HAS SOPS 483769 HAS SOUS 200349 HAS SOUPS 200349 WITH SCORE 200832.769
AT ITER 3115 NEW BEST:: SOT 1355781 SOS 483767 HAS SOPS 483767 HAS SOUS 200347 HAS SOUPS 200347 WITH SCORE 200830.767
AT ITER 3143 NEW BEST:: SOT 1355727 SOS 483503 HAS SOPS 483503 HAS SOUS 200204 HAS SOUPS 200204 WITH SCORE 200687.503
AT ITER 3156 NEW BEST:: SOT 1355727 SOS 483371 HAS SOPS 483371 HAS SOUS 200158 HAS SOUPS 200158 WITH SCORE 200641.371
AT ITER 3169 NEW BEST:: SOT 1355704 SOS 483348 HAS SOPS 483348 HAS SOUS 200135 HAS SOUPS 200135 WITH SCORE 200618.348
AT ITER 3187 NEW BEST:: SOT 1355704 SOS 483324 HAS SOPS 483324 HAS SOUS 200111 HAS SOUPS 200111 WITH SCORE 200594.324
AT ITER 3197 NEW BEST:: SOT 1355672 SOS 483324 HAS SOPS 483324 HAS SOUS 200079 HAS SOUPS 200079 WITH SCORE 200562.324
AT ITER 3204 NEW BEST:: SOT 1355672 SOS 483289 HAS SOPS 483289 HAS SOUS 200044 HAS SOUPS 200044 WITH SCORE 200527.289
AT ITER 3207 NEW BEST:: SOT 1355671 SOS 483287 HAS SOPS 483287 HAS SOUS 200042 HAS SOUPS 200042 WITH SCORE 200525.287
AT ITER 3219 NEW BEST:: SOT 1355208 SOS 485865 HAS SOPS 485865 HAS SOUS 199579 HAS SOUPS 199579 WITH SCORE 200064.865
AT ITER 3220 NEW BEST:: SOT 1355208 SOS 485842 HAS SOPS 485842 HAS SOUS 199556 HAS SOUPS 199556 WITH SCORE 200041.842
AT ITER 3230 NEW BEST:: SOT 1355047 SOS 485697 HAS SOPS 485697 HAS SOUS 199407 HAS SOUPS 199407 WITH SCORE 199892.697
AT ITER 3241 NEW BEST:: SOT 1355047 SOS 485672 HAS SOPS 485672 HAS SOUS 199407 HAS SOUPS 199407 WITH SCORE 199892.672
AT ITER 3249 NEW BEST:: SOT 1355163 SOS 485415 HAS SOPS 485415 HAS SOUS 199348 HAS SOUPS 199348 WITH SCORE 199833.415
AT ITER 3253 NEW BEST:: SOT 1355077 SOS 485329 HAS SOPS 485329 HAS SOUS 199262 HAS SOUPS 199262 WITH SCORE 199747.329
AT ITER 3260 NEW BEST:: SOT 1355063 SOS 485301 HAS SOPS 485301 HAS SOUS 199234 HAS SOUPS 199234 WITH SCORE 199719.301
AT ITER 3267 NEW BEST:: SOT 1355063 SOS 485301 HAS SOPS 485301 HAS SOUS 199177 HAS SOUPS 199177 WITH SCORE 199662.301
AT ITER 3268 NEW BEST:: SOT 1355053 SOS 485281 HAS SOPS 485281 HAS SOUS 199158 HAS SOUPS 199158 WITH SCORE 199643.281
AT ITER 3269 NEW BEST:: SOT 1355042 SOS 485259 HAS SOPS 485259 HAS SOUS 199125 HAS SOUPS 199125 WITH SCORE 199610.259
AT ITER 3337 NEW BEST:: SOT 1355042 SOS 485245 HAS SOPS 485245 HAS SOUS 199111 HAS SOUPS 199111 WITH SCORE 199596.245
AT ITER 3342 NEW BEST:: SOT 1354978 SOS 485181 HAS SOPS 485181 HAS SOUS 199077 HAS SOUPS 199077 WITH SCORE 199562.181
AT ITER 3394 NEW BEST:: SOT 1354978 SOS 485158 HAS SOPS 485158 HAS SOUS 199062 HAS SOUPS 199062 WITH SCORE 199547.158
AT ITER 3401 NEW BEST:: SOT 1354819 SOS 484976 HAS SOPS 484976 HAS SOUS 198880 HAS SOUPS 198880 WITH SCORE 199364.976
AT ITER 3453 NEW BEST:: SOT 1354819 SOS 484976 HAS SOPS 484976 HAS SOUS 198878 HAS SOUPS 198878 WITH SCORE 199362.976
AT ITER 3460 NEW BEST:: SOT 1354762 SOS 484862 HAS SOPS 484862 HAS SOUS 198836 HAS SOUPS 198836 WITH SCORE 199320.862
AT ITER 3466 NEW BEST:: SOT 1354722 SOS 485017 HAS SOPS 485017 HAS SOUS 198756 HAS SOUPS 198756 WITH SCORE 199241.017
AT ITER 3473 NEW BEST:: SOT 1354691 SOS 484955 HAS SOPS 484955 HAS SOUS 198694 HAS SOUPS 198694 WITH SCORE 199178.955
AT ITER 3475 NEW BEST:: SOT 1354650 SOS 484922 HAS SOPS 484922 HAS SOUS 198661 HAS SOUPS 198661 WITH SCORE 199145.922
AT ITER 3483 NEW BEST:: SOT 1354664 SOS 484871 HAS SOPS 484871 HAS SOUS 198610 HAS SOUPS 198610 WITH SCORE 199094.871
AT ITER 3485 NEW BEST:: SOT 1354684 SOS 484786 HAS SOPS 484786 HAS SOUS 198525 HAS SOUPS 198525 WITH SCORE 199009.786
AT ITER 3526 NEW BEST:: SOT 1354684 SOS 484781 HAS SOPS 484781 HAS SOUS 198525 HAS SOUPS 198525 WITH SCORE 199009.781
AT ITER 3528 NEW BEST:: SOT 1354684 SOS 484781 HAS SOPS 484781 HAS SOUS 198292 HAS SOUPS 198292 WITH SCORE 198776.781
AT ITER 3534 NEW BEST:: SOT 1354551 SOS 484281 HAS SOPS 484281 HAS SOUS 197909 HAS SOUPS 197909 WITH SCORE 198393.281
AT ITER 3588 NEW BEST:: SOT 1354339 SOS 484599 HAS SOPS 484599 HAS SOUS 197865 HAS SOUPS 197865 WITH SCORE 198349.599
AT ITER 3605 NEW BEST:: SOT 1354324 SOS 484554 HAS SOPS 484554 HAS SOUS 197850 HAS SOUPS 197850 WITH SCORE 198334.554
AT ITER 3626 NEW BEST:: SOT 1354324 SOS 484474 HAS SOPS 484474 HAS SOUS 197810 HAS SOUPS 197810 WITH SCORE 198294.474
AT ITER 3638 NEW BEST:: SOT 1354366 SOS 484558 HAS SOPS 484558 HAS SOUS 197745 HAS SOUPS 197745 WITH SCORE 198229.558
AT ITER 3648 NEW BEST:: SOT 1354316 SOS 484458 HAS SOPS 484458 HAS SOUS 197695 HAS SOUPS 197695 WITH SCORE 198179.458
AT ITER 3681 NEW BEST:: SOT 1354365 SOS 484037 HAS SOPS 484037 HAS SOUS 197447 HAS SOUPS 197447 WITH SCORE 197931.037
AT ITER 3704 NEW BEST:: SOT 1354159 SOS 483409 HAS SOPS 483409 HAS SOUS 197308 HAS SOUPS 197308 WITH SCORE 197791.409
AT ITER 3723 NEW BEST:: SOT 1354159 SOS 483409 HAS SOPS 483409 HAS SOUS 197304 HAS SOUPS 197304 WITH SCORE 197787.409
AT ITER 3778 NEW BEST:: SOT 1354087 SOS 483265 HAS SOPS 483265 HAS SOUS 197232 HAS SOUPS 197232 WITH SCORE 197715.265
AT ITER 3809 NEW BEST:: SOT 1354126 SOS 483133 HAS SOPS 483133 HAS SOUS 197139 HAS SOUPS 197139 WITH SCORE 197622.133
AT ITER 3836 NEW BEST:: SOT 1353976 SOS 482970 HAS SOPS 482970 HAS SOUS 196976 HAS SOUPS 196976 WITH SCORE 197458.97
AT ITER 3838 NEW BEST:: SOT 1353932 SOS 482932 HAS SOPS 482932 HAS SOUS 196932 HAS SOUPS 196932 WITH SCORE 197414.932
AT ITER 3847 NEW BEST:: SOT 1353869 SOS 482602 HAS SOPS 482602 HAS SOUS 196857 HAS SOUPS 196857 WITH SCORE 197339.602
AT ITER 3866 NEW BEST:: SOT 1353791 SOS 482446 HAS SOPS 482446 HAS SOUS 196789 HAS SOUPS 196789 WITH SCORE 197271.446
AT ITER 3869 NEW BEST:: SOT 1353773 SOS 482428 HAS SOPS 482428 HAS SOUS 196771 HAS SOUPS 196771 WITH SCORE 197253.428
AT ITER 3871 NEW BEST:: SOT 1353771 SOS 482425 HAS SOPS 482425 HAS SOUS 196768 HAS SOUPS 196768 WITH SCORE 197250.425
AT ITER 3874 NEW BEST:: SOT 1353645 SOS 483081 HAS SOPS 483081 HAS SOUS 196372 HAS SOUPS 196372 WITH SCORE 196855.081
AT ITER 3886 NEW BEST:: SOT 1353645 SOS 483034 HAS SOPS 483034 HAS SOUS 196356 HAS SOUPS 196356 WITH SCORE 196839.034
AT ITER 3898 NEW BEST:: SOT 1353604 SOS 482952 HAS SOPS 482952 HAS SOUS 196274 HAS SOUPS 196274 WITH SCORE 196756.952
AT ITER 3900 NEW BEST:: SOT 1353709 SOS 483162 HAS SOPS 483162 HAS SOUS 196237 HAS SOUPS 196237 WITH SCORE 196720.162
AT ITER 3906 NEW BEST:: SOT 1353620 SOS 483230 HAS SOPS 483230 HAS SOUS 196162 HAS SOUPS 196162 WITH SCORE 196645.23
AT ITER 3918 NEW BEST:: SOT 1353556 SOS 483070 HAS SOPS 483070 HAS SOUS 196098 HAS SOUPS 196098 WITH SCORE 196581.07
AT ITER 3924 NEW BEST:: SOT 1353457 SOS 483354 HAS SOPS 483354 HAS SOUS 196088 HAS SOUPS 196088 WITH SCORE 196571.354
AT ITER 3926 NEW BEST:: SOT 1353570 SOS 483295 HAS SOPS 483295 HAS SOUS 196028 HAS SOUPS 196028 WITH SCORE 196511.295
AT ITER 3945 NEW BEST:: SOT 1353503 SOS 483161 HAS SOPS 483161 HAS SOUS 195930 HAS SOUPS 195930 WITH SCORE 196413.161
AT ITER 3956 NEW BEST:: SOT 1353404 SOS 482963 HAS SOPS 482963 HAS SOUS 195865 HAS SOUPS 195865 WITH SCORE 196347.963
AT ITER 3958 NEW BEST:: SOT 1353197 SOS 482549 HAS SOPS 482549 HAS SOUS 195601 HAS SOUPS 195601 WITH SCORE 196083.549
AT ITER 3959 NEW BEST:: SOT 1353191 SOS 482537 HAS SOPS 482537 HAS SOUS 195589 HAS SOUPS 195589 WITH SCORE 196071.537
AT ITER 3980 NEW BEST:: SOT 1353105 SOS 482517 HAS SOPS 482517 HAS SOUS 195570 HAS SOUPS 195570 WITH SCORE 196052.517
AT ITER 4005 NEW BEST:: SOT 1353085 SOS 482500 HAS SOPS 482500 HAS SOUS 195551 HAS SOUPS 195551 WITH SCORE 196033.5
AT ITER 4020 NEW BEST:: SOT 1352978 SOS 482640 HAS SOPS 482640 HAS SOUS 195503 HAS SOUPS 195503 WITH SCORE 195985.64
AT ITER 4023 NEW BEST:: SOT 1352978 SOS 482640 HAS SOPS 482640 HAS SOUS 195483 HAS SOUPS 195483 WITH SCORE 195965.64
AT ITER 4037 NEW BEST:: SOT 1353033 SOS 482649 HAS SOPS 482649 HAS SOUS 195457 HAS SOUPS 195457 WITH SCORE 195939.649
AT ITER 4049 NEW BEST:: SOT 1353004 SOS 482647 HAS SOPS 482647 HAS SOUS 195427 HAS SOUPS 195427 WITH SCORE 195909.647
AT ITER 4051 NEW BEST:: SOT 1353037 SOS 482379 HAS SOPS 482379 HAS SOUS 195423 HAS SOUPS 195423 WITH SCORE 195905.379
AT ITER 4072 NEW BEST:: SOT 1353021 SOS 482363 HAS SOPS 482363 HAS SOUS 195415 HAS SOUPS 195415 WITH SCORE 195897.363
AT ITER 4101 NEW BEST:: SOT 1352718 SOS 482067 HAS SOPS 482067 HAS SOUS 195093 HAS SOUPS 195093 WITH SCORE 195575.067
AT ITER 4112 NEW BEST:: SOT 1352669 SOS 481920 HAS SOPS 481920 HAS SOUS 195093 HAS SOUPS 195093 WITH SCORE 195574.92
AT ITER 4124 NEW BEST:: SOT 1352615 SOS 481893 HAS SOPS 481893 HAS SOUS 195066 HAS SOUPS 195066 WITH SCORE 195547.893
AT ITER 4134 NEW BEST:: SOT 1352356 SOS 481765 HAS SOPS 481765 HAS SOUS 194759 HAS SOUPS 194759 WITH SCORE 195240.765
AT ITER 4145 NEW BEST:: SOT 1352260 SOS 482029 HAS SOPS 482029 HAS SOUS 194663 HAS SOUPS 194663 WITH SCORE 195145.029
AT ITER 4167 NEW BEST:: SOT 1352235 SOS 482351 HAS SOPS 482351 HAS SOUS 194638 HAS SOUPS 194638 WITH SCORE 195120.351
AT ITER 4190 NEW BEST:: SOT 1352218 SOS 482300 HAS SOPS 482300 HAS SOUS 194604 HAS SOUPS 194604 WITH SCORE 195086.3
AT ITER 4206 NEW BEST:: SOT 1351891 SOS 481646 HAS SOPS 481646 HAS SOUS 194247 HAS SOUPS 194247 WITH SCORE 194728.646
AT ITER 4218 NEW BEST:: SOT 1351881 SOS 481626 HAS SOPS 481626 HAS SOUS 194237 HAS SOUPS 194237 WITH SCORE 194718.626
AT ITER 4241 NEW BEST:: SOT 1351881 SOS 481667 HAS SOPS 481667 HAS SOUS 194236 HAS SOUPS 194236 WITH SCORE 194717.667
AT ITER 4245 NEW BEST:: SOT 1351876 SOS 481657 HAS SOPS 481657 HAS SOUS 194231 HAS SOUPS 194231 WITH SCORE 194712.657
AT ITER 4258 NEW BEST:: SOT 1351876 SOS 481657 HAS SOPS 481657 HAS SOUS 194222 HAS SOUPS 194222 WITH SCORE 194703.657
AT ITER 4274 NEW BEST:: SOT 1351854 SOS 482351 HAS SOPS 482351 HAS SOUS 194152 HAS SOUPS 194152 WITH SCORE 194634.351
AT ITER 4304 NEW BEST:: SOT 1351854 SOS 482322 HAS SOPS 482322 HAS SOUS 194094 HAS SOUPS 194094 WITH SCORE 194576.322
AT ITER 4336 NEW BEST:: SOT 1351872 SOS 482318 HAS SOPS 482318 HAS SOUS 194090 HAS SOUPS 194090 WITH SCORE 194572.318
AT ITER 4349 NEW BEST:: SOT 1351697 SOS 482392 HAS SOPS 482392 HAS SOUS 193984 HAS SOUPS 193984 WITH SCORE 194466.392
AT ITER 4350 NEW BEST:: SOT 1351160 SOS 481794 HAS SOPS 481794 HAS SOUS 193466 HAS SOUPS 193466 WITH SCORE 193947.794
AT ITER 4362 NEW BEST:: SOT 1351122 SOS 481718 HAS SOPS 481718 HAS SOUS 193429 HAS SOUPS 193429 WITH SCORE 193910.718
AT ITER 4367 NEW BEST:: SOT 1351089 SOS 482244 HAS SOPS 482244 HAS SOUS 193396 HAS SOUPS 193396 WITH SCORE 193878.244
AT ITER 4383 NEW BEST:: SOT 1351055 SOS 482176 HAS SOPS 482176 HAS SOUS 193362 HAS SOUPS 193362 WITH SCORE 193844.176
AT ITER 4393 NEW BEST:: SOT 1350843 SOS 481742 HAS SOPS 481742 HAS SOUS 193168 HAS SOUPS 193168 WITH SCORE 193649.742
AT ITER 4418 NEW BEST:: SOT 1350797 SOS 481651 HAS SOPS 481651 HAS SOUS 193040 HAS SOUPS 193040 WITH SCORE 193521.651
AT ITER 4426 NEW BEST:: SOT 1350762 SOS 481616 HAS SOPS 481616 HAS SOUS 193040 HAS SOUPS 193040 WITH SCORE 193521.616
AT ITER 4454 NEW BEST:: SOT 1350483 SOS 482102 HAS SOPS 482102 HAS SOUS 192926 HAS SOUPS 192926 WITH SCORE 193408.102
AT ITER 4497 NEW BEST:: SOT 1350432 SOS 482000 HAS SOPS 482000 HAS SOUS 192830 HAS SOUPS 192830 WITH SCORE 193312.0
AT ITER 4500 NEW BEST:: SOT 1350432 SOS 482000 HAS SOPS 482000 HAS SOUS 192827 HAS SOUPS 192827 WITH SCORE 193309.0
AT ITER 4548 NEW BEST:: SOT 1350534 SOS 481864 HAS SOPS 481864 HAS SOUS 192751 HAS SOUPS 192751 WITH SCORE 193232.864
AT ITER 4606 NEW BEST:: SOT 1350446 SOS 481758 HAS SOPS 481758 HAS SOUS 192703 HAS SOUPS 192703 WITH SCORE 193184.758
AT ITER 4617 NEW BEST:: SOT 1350332 SOS 481842 HAS SOPS 481842 HAS SOUS 192589 HAS SOUPS 192589 WITH SCORE 193070.842
AT ITER 4622 NEW BEST:: SOT 1350332 SOS 481631 HAS SOPS 481631 HAS SOUS 192167 HAS SOUPS 192167 WITH SCORE 192648.631
AT ITER 4641 NEW BEST:: SOT 1350258 SOS 481483 HAS SOPS 481483 HAS SOUS 192093 HAS SOUPS 192093 WITH SCORE 192574.483
AT ITER 4643 NEW BEST:: SOT 1350258 SOS 481408 HAS SOPS 481408 HAS SOUS 192093 HAS SOUPS 192093 WITH SCORE 192574.408
AT ITER 4664 NEW BEST:: SOT 1350252 SOS 481396 HAS SOPS 481396 HAS SOUS 192081 HAS SOUPS 192081 WITH SCORE 192562.396
AT ITER 4665 NEW BEST:: SOT 1350252 SOS 481326 HAS SOPS 481326 HAS SOUS 192081 HAS SOUPS 192081 WITH SCORE 192562.326
AT ITER 4668 NEW BEST:: SOT 1350271 SOS 481291 HAS SOPS 481291 HAS SOUS 192046 HAS SOUPS 192046 WITH SCORE 192527.291
AT ITER 4696 NEW BEST:: SOT 1350322 SOS 481291 HAS SOPS 481291 HAS SOUS 192024 HAS SOUPS 192024 WITH SCORE 192505.291
AT ITER 4717 NEW BEST:: SOT 1350278 SOS 482067 HAS SOPS 482067 HAS SOUS 191915 HAS SOUPS 191915 WITH SCORE 192397.067
AT ITER 4724 NEW BEST:: SOT 1350268 SOS 482057 HAS SOPS 482057 HAS SOUS 191915 HAS SOUPS 191915 WITH SCORE 192397.057
AT ITER 4728 NEW BEST:: SOT 1350144 SOS 482020 HAS SOPS 482020 HAS SOUS 191878 HAS SOUPS 191878 WITH SCORE 192360.02
AT ITER 4751 NEW BEST:: SOT 1350095 SOS 482018 HAS SOPS 482018 HAS SOUS 191812 HAS SOUPS 191812 WITH SCORE 192294.018
AT ITER 4754 NEW BEST:: SOT 1350112 SOS 481226 HAS SOPS 481226 HAS SOUS 191789 HAS SOUPS 191789 WITH SCORE 192270.226
AT ITER 4759 NEW BEST:: SOT 1349910 SOS 480629 HAS SOPS 480629 HAS SOUS 191391 HAS SOUPS 191391 WITH SCORE 191871.629
AT ITER 4762 NEW BEST:: SOT 1349910 SOS 480660 HAS SOPS 480660 HAS SOUS 191390 HAS SOUPS 191390 WITH SCORE 191870.66
AT ITER 4771 NEW BEST:: SOT 1350051 SOS 480921 HAS SOPS 480921 HAS SOUS 191387 HAS SOUPS 191387 WITH SCORE 191867.921
AT ITER 4773 NEW BEST:: SOT 1350034 SOS 480887 HAS SOPS 480887 HAS SOUS 191353 HAS SOUPS 191353 WITH SCORE 191833.887
AT ITER 4785 NEW BEST:: SOT 1350030 SOS 480879 HAS SOPS 480879 HAS SOUS 191345 HAS SOUPS 191345 WITH SCORE 191825.879
AT ITER 4823 NEW BEST:: SOT 1350030 SOS 480864 HAS SOPS 480864 HAS SOUS 191315 HAS SOUPS 191315 WITH SCORE 191795.864
AT ITER 4854 NEW BEST:: SOT 1350009 SOS 480843 HAS SOPS 480843 HAS SOUS 191294 HAS SOUPS 191294 WITH SCORE 191774.843
AT ITER 4857 NEW BEST:: SOT 1349807 SOS 480789 HAS SOPS 480789 HAS SOUS 191223 HAS SOUPS 191223 WITH SCORE 191703.789
AT ITER 4873 NEW BEST:: SOT 1349769 SOS 480644 HAS SOPS 480644 HAS SOUS 191216 HAS SOUPS 191216 WITH SCORE 191696.644
AT ITER 4882 NEW BEST:: SOT 1349683 SOS 480558 HAS SOPS 480558 HAS SOUS 191130 HAS SOUPS 191130 WITH SCORE 191610.558
AT ITER 4890 NEW BEST:: SOT 1349677 SOS 480540 HAS SOPS 480540 HAS SOUS 191112 HAS SOUPS 191112 WITH SCORE 191592.54
AT ITER 4894 NEW BEST:: SOT 1349469 SOS 480332 HAS SOPS 480332 HAS SOUS 190904 HAS SOUPS 190904 WITH SCORE 191384.332
AT ITER 4927 NEW BEST:: SOT 1349334 SOS 480124 HAS SOPS 480124 HAS SOUS 190668 HAS SOUPS 190668 WITH SCORE 191148.124
AT ITER 4946 NEW BEST:: SOT 1349322 SOS 480016 HAS SOPS 480016 HAS SOUS 190644 HAS SOUPS 190644 WITH SCORE 191124.016
AT ITER 4964 NEW BEST:: SOT 1349264 SOS 480016 HAS SOPS 480016 HAS SOUS 190586 HAS SOUPS 190586 WITH SCORE 191066.016
AT ITER 4968 NEW BEST:: SOT 1349264 SOS 479988 HAS SOPS 479988 HAS SOUS 190545 HAS SOUPS 190545 WITH SCORE 191024.988
AT ITER 4982 NEW BEST:: SOT 1349176 SOS 479812 HAS SOPS 479812 HAS SOUS 190353 HAS SOUPS 190353 WITH SCORE 190832.812
AT ITER 4998 NEW BEST:: SOT 1349044 SOS 480088 HAS SOPS 480088 HAS SOUS 190221 HAS SOUPS 190221 WITH SCORE 190701.088
AT ITER 5018 NEW BEST:: SOT 1349029 SOS 480058 HAS SOPS 480058 HAS SOUS 190155 HAS SOUPS 190155 WITH SCORE 190635.058
AT ITER 5023 NEW BEST:: SOT 1348988 SOS 480023 HAS SOPS 480023 HAS SOUS 190067 HAS SOUPS 190067 WITH SCORE 190547.023
AT ITER 5029 NEW BEST:: SOT 1349038 SOS 479943 HAS SOPS 479943 HAS SOUS 189889 HAS SOUPS 189889 WITH SCORE 190368.943
AT ITER 5053 NEW BEST:: SOT 1349038 SOS 479942 HAS SOPS 479942 HAS SOUS 189870 HAS SOUPS 189870 WITH SCORE 190349.942
AT ITER 5057 NEW BEST:: SOT 1349124 SOS 478978 HAS SOPS 478978 HAS SOUS 189815 HAS SOUPS 189815 WITH SCORE 190293.978
AT ITER 5087 NEW BEST:: SOT 1349124 SOS 478972 HAS SOPS 478972 HAS SOUS 189809 HAS SOUPS 189809 WITH SCORE 190287.972
AT ITER 5091 NEW BEST:: SOT 1349087 SOS 478386 HAS SOPS 478386 HAS SOUS 189692 HAS SOUPS 189692 WITH SCORE 190170.386
AT ITER 5104 NEW BEST:: SOT 1348948 SOS 477838 HAS SOPS 477838 HAS SOUS 189684 HAS SOUPS 189684 WITH SCORE 190161.838
AT ITER 5115 NEW BEST:: SOT 1348875 SOS 477692 HAS SOPS 477692 HAS SOUS 189538 HAS SOUPS 189538 WITH SCORE 190015.692
AT ITER 5130 NEW BEST:: SOT 1348859 SOS 477660 HAS SOPS 477660 HAS SOUS 189525 HAS SOUPS 189525 WITH SCORE 190002.66
AT ITER 5131 NEW BEST:: SOT 1348806 SOS 477422 HAS SOPS 477422 HAS SOUS 189406 HAS SOUPS 189406 WITH SCORE 189883.422
AT ITER 5145 NEW BEST:: SOT 1348714 SOS 477238 HAS SOPS 477238 HAS SOUS 189238 HAS SOUPS 189238 WITH SCORE 189715.238
AT ITER 5156 NEW BEST:: SOT 1348714 SOS 477271 HAS SOPS 477271 HAS SOUS 189205 HAS SOUPS 189205 WITH SCORE 189682.271
AT ITER 5169 NEW BEST:: SOT 1348708 SOS 477259 HAS SOPS 477259 HAS SOUS 189193 HAS SOUPS 189193 WITH SCORE 189670.259
AT ITER 5195 NEW BEST:: SOT 1348567 SOS 478321 HAS SOPS 478321 HAS SOUS 189136 HAS SOUPS 189136 WITH SCORE 189614.321
AT ITER 5250 NEW BEST:: SOT 1348531 SOS 478217 HAS SOPS 478217 HAS SOUS 189032 HAS SOUPS 189032 WITH SCORE 189510.217
AT ITER 5268 NEW BEST:: SOT 1348510 SOS 478175 HAS SOPS 478175 HAS SOUS 188916 HAS SOUPS 188916 WITH SCORE 189394.175
AT ITER 5269 NEW BEST:: SOT 1348367 SOS 478249 HAS SOPS 478249 HAS SOUS 188786 HAS SOUPS 188786 WITH SCORE 189264.249
AT ITER 5281 NEW BEST:: SOT 1348321 SOS 478283 HAS SOPS 478283 HAS SOUS 188740 HAS SOUPS 188740 WITH SCORE 189218.283
AT ITER 5326 NEW BEST:: SOT 1348322 SOS 479041 HAS SOPS 479041 HAS SOUS 186268 HAS SOUPS 186268 WITH SCORE 186747.041
AT ITER 5331 NEW BEST:: SOT 1348321 SOS 479039 HAS SOPS 479039 HAS SOUS 186266 HAS SOUPS 186266 WITH SCORE 186745.039
AT ITER 5334 NEW BEST:: SOT 1348308 SOS 478887 HAS SOPS 478887 HAS SOUS 186198 HAS SOUPS 186198 WITH SCORE 186676.887
AT ITER 5348 NEW BEST:: SOT 1348301 SOS 478873 HAS SOPS 478873 HAS SOUS 186184 HAS SOUPS 186184 WITH SCORE 186662.873
AT ITER 5350 NEW BEST:: SOT 1348288 SOS 478847 HAS SOPS 478847 HAS SOUS 186148 HAS SOUPS 186148 WITH SCORE 186626.847
AT ITER 5357 NEW BEST:: SOT 1348245 SOS 478761 HAS SOPS 478761 HAS SOUS 186062 HAS SOUPS 186062 WITH SCORE 186540.761
AT ITER 5373 NEW BEST:: SOT 1348104 SOS 478439 HAS SOPS 478439 HAS SOUS 185902 HAS SOUPS 185902 WITH SCORE 186380.439
AT ITER 5393 NEW BEST:: SOT 1348094 SOS 478428 HAS SOPS 478428 HAS SOUS 185900 HAS SOUPS 185900 WITH SCORE 186378.428
AT ITER 5408 NEW BEST:: SOT 1348039 SOS 478318 HAS SOPS 478318 HAS SOUS 185845 HAS SOUPS 185845 WITH SCORE 186323.318
AT ITER 5422 NEW BEST:: SOT 1347988 SOS 478267 HAS SOPS 478267 HAS SOUS 185794 HAS SOUPS 185794 WITH SCORE 186272.267
AT ITER 5425 NEW BEST:: SOT 1347964 SOS 478123 HAS SOPS 478123 HAS SOUS 185689 HAS SOUPS 185689 WITH SCORE 186167.123
AT ITER 5452 NEW BEST:: SOT 1347758 SOS 477909 HAS SOPS 477909 HAS SOUS 185089 HAS SOUPS 185089 WITH SCORE 185566.909
AT ITER 5491 NEW BEST:: SOT 1347758 SOS 477891 HAS SOPS 477891 HAS SOUS 185068 HAS SOUPS 185068 WITH SCORE 185545.891
AT ITER 5495 NEW BEST:: SOT 1347758 SOS 477891 HAS SOPS 477891 HAS SOUS 185033 HAS SOUPS 185033 WITH SCORE 185510.891
AT ITER 5497 NEW BEST:: SOT 1347758 SOS 477891 HAS SOPS 477891 HAS SOUS 185006 HAS SOUPS 185006 WITH SCORE 185483.891
AT ITER 5499 NEW BEST:: SOT 1347758 SOS 477891 HAS SOPS 477891 HAS SOUS 184994 HAS SOUPS 184994 WITH SCORE 185471.891
AT ITER 5510 NEW BEST:: SOT 1347583 SOS 477016 HAS SOPS 477016 HAS SOUS 184816 HAS SOUPS 184816 WITH SCORE 185293.016
AT ITER 5512 NEW BEST:: SOT 1347358 SOS 476925 HAS SOPS 476925 HAS SOUS 184797 HAS SOUPS 184797 WITH SCORE 185273.925
AT ITER 5535 NEW BEST:: SOT 1347298 SOS 476805 HAS SOPS 476805 HAS SOUS 184737 HAS SOUPS 184737 WITH SCORE 185213.805
AT ITER 5585 NEW BEST:: SOT 1347236 SOS 476798 HAS SOPS 476798 HAS SOUS 184691 HAS SOUPS 184691 WITH SCORE 185167.798
AT ITER 5587 NEW BEST:: SOT 1347160 SOS 476823 HAS SOPS 476823 HAS SOUS 184604 HAS SOUPS 184604 WITH SCORE 185080.823
AT ITER 5592 NEW BEST:: SOT 1347043 SOS 476689 HAS SOPS 476689 HAS SOUS 184587 HAS SOUPS 184587 WITH SCORE 185063.689
AT ITER 5650 NEW BEST:: SOT 1346953 SOS 476509 HAS SOPS 476509 HAS SOUS 184366 HAS SOUPS 184366 WITH SCORE 184842.509
AT ITER 5651 NEW BEST:: SOT 1347005 SOS 473189 HAS SOPS 473189 HAS SOUS 184165 HAS SOUPS 184165 WITH SCORE 184638.189
AT ITER 5659 NEW BEST:: SOT 1346874 SOS 473198 HAS SOPS 473198 HAS SOUS 184041 HAS SOUPS 184041 WITH SCORE 184514.198
AT ITER 5677 NEW BEST:: SOT 1346835 SOS 473120 HAS SOPS 473120 HAS SOUS 183934 HAS SOUPS 183934 WITH SCORE 184407.12
AT ITER 5734 NEW BEST:: SOT 1346812 SOS 473074 HAS SOPS 473074 HAS SOUS 183911 HAS SOUPS 183911 WITH SCORE 184384.074
AT ITER 5735 NEW BEST:: SOT 1346812 SOS 472898 HAS SOPS 472898 HAS SOUS 183911 HAS SOUPS 183911 WITH SCORE 184383.898
AT ITER 5786 NEW BEST:: SOT 1346876 SOS 473141 HAS SOPS 473141 HAS SOUS 183860 HAS SOUPS 183860 WITH SCORE 184333.141
AT ITER 5816 NEW BEST:: SOT 1346855 SOS 473183 HAS SOPS 473183 HAS SOUS 183833 HAS SOUPS 183833 WITH SCORE 184306.183
AT ITER 5818 NEW BEST:: SOT 1346954 SOS 473171 HAS SOPS 473171 HAS SOUS 183821 HAS SOUPS 183821 WITH SCORE 184294.171
AT ITER 5834 NEW BEST:: SOT 1346948 SOS 473159 HAS SOPS 473159 HAS SOUS 183801 HAS SOUPS 183801 WITH SCORE 184274.159
AT ITER 5847 NEW BEST:: SOT 1346878 SOS 473088 HAS SOPS 473088 HAS SOUS 183765 HAS SOUPS 183765 WITH SCORE 184238.088
AT ITER 5853 NEW BEST:: SOT 1346819 SOS 473000 HAS SOPS 473000 HAS SOUS 183705 HAS SOUPS 183705 WITH SCORE 184178.0
AT ITER 5855 NEW BEST:: SOT 1346768 SOS 472984 HAS SOPS 472984 HAS SOUS 183693 HAS SOUPS 183693 WITH SCORE 184165.984
AT ITER 5862 NEW BEST:: SOT 1346768 SOS 472956 HAS SOPS 472956 HAS SOUS 183665 HAS SOUPS 183665 WITH SCORE 184137.956
AT ITER 5893 NEW BEST:: SOT 1346747 SOS 473036 HAS SOPS 473036 HAS SOUS 183561 HAS SOUPS 183561 WITH SCORE 184034.036
AT ITER 5956 NEW BEST:: SOT 1346745 SOS 473032 HAS SOPS 473032 HAS SOUS 183314 HAS SOUPS 183314 WITH SCORE 183787.032
AT ITER 6007 NEW BEST:: SOT 1346846 SOS 473378 HAS SOPS 473378 HAS SOUS 183252 HAS SOUPS 183252 WITH SCORE 183725.378
AT ITER 6017 NEW BEST:: SOT 1346839 SOS 473349 HAS SOPS 473349 HAS SOUS 183223 HAS SOUPS 183223 WITH SCORE 183696.349
AT ITER 6022 NEW BEST:: SOT 1346826 SOS 473349 HAS SOPS 473349 HAS SOUS 183203 HAS SOUPS 183203 WITH SCORE 183676.349
AT ITER 6030 NEW BEST:: SOT 1346826 SOS 473349 HAS SOPS 473349 HAS SOUS 183192 HAS SOUPS 183192 WITH SCORE 183665.349
AT ITER 6050 NEW BEST:: SOT 1346831 SOS 473359 HAS SOPS 473359 HAS SOUS 183180 HAS SOUPS 183180 WITH SCORE 183653.359
AT ITER 6051 NEW BEST:: SOT 1346787 SOS 473315 HAS SOPS 473315 HAS SOUS 183141 HAS SOUPS 183141 WITH SCORE 183614.315
AT ITER 6057 NEW BEST:: SOT 1346787 SOS 473282 HAS SOPS 473282 HAS SOUS 183141 HAS SOUPS 183141 WITH SCORE 183614.282
AT ITER 6067 NEW BEST:: SOT 1346821 SOS 473454 HAS SOPS 473454 HAS SOUS 183133 HAS SOUPS 183133 WITH SCORE 183606.454
AT ITER 6077 NEW BEST:: SOT 1346786 SOS 473347 HAS SOPS 473347 HAS SOUS 182992 HAS SOUPS 182992 WITH SCORE 183465.347
AT ITER 6082 NEW BEST:: SOT 1346801 SOS 473347 HAS SOPS 473347 HAS SOUS 182977 HAS SOUPS 182977 WITH SCORE 183450.347
AT ITER 6097 NEW BEST:: SOT 1346778 SOS 473322 HAS SOPS 473322 HAS SOUS 182956 HAS SOUPS 182956 WITH SCORE 183429.322
AT ITER 6103 NEW BEST:: SOT 1346932 SOS 472946 HAS SOPS 472946 HAS SOUS 182882 HAS SOUPS 182882 WITH SCORE 183354.946
AT ITER 6124 NEW BEST:: SOT 1346899 SOS 472880 HAS SOPS 472880 HAS SOUS 182816 HAS SOUPS 182816 WITH SCORE 183288.88
AT ITER 6169 NEW BEST:: SOT 1346899 SOS 472658 HAS SOPS 472658 HAS SOUS 182798 HAS SOUPS 182798 WITH SCORE 183270.658
AT ITER 6182 NEW BEST:: SOT 1346913 SOS 472714 HAS SOPS 472714 HAS SOUS 182784 HAS SOUPS 182784 WITH SCORE 183256.714
AT ITER 6185 NEW BEST:: SOT 1346907 SOS 472702 HAS SOPS 472702 HAS SOUS 182778 HAS SOUPS 182778 WITH SCORE 183250.702
AT ITER 6197 NEW BEST:: SOT 1346895 SOS 472690 HAS SOPS 472690 HAS SOUS 182754 HAS SOUPS 182754 WITH SCORE 183226.69
AT ITER 6202 NEW BEST:: SOT 1346791 SOS 472482 HAS SOPS 472482 HAS SOUS 182546 HAS SOUPS 182546 WITH SCORE 183018.482
AT ITER 6207 NEW BEST:: SOT 1346821 SOS 472564 HAS SOPS 472564 HAS SOUS 182532 HAS SOUPS 182532 WITH SCORE 183004.564
AT ITER 6252 NEW BEST:: SOT 1346877 SOS 472576 HAS SOPS 472576 HAS SOUS 182488 HAS SOUPS 182488 WITH SCORE 182960.576
AT ITER 6267 NEW BEST:: SOT 1346757 SOS 472336 HAS SOPS 472336 HAS SOUS 182290 HAS SOUPS 182290 WITH SCORE 182762.336
AT ITER 6272 NEW BEST:: SOT 1346680 SOS 472182 HAS SOPS 472182 HAS SOUS 182136 HAS SOUPS 182136 WITH SCORE 182608.182
AT ITER 6296 NEW BEST:: SOT 1346678 SOS 472178 HAS SOPS 472178 HAS SOUS 182132 HAS SOUPS 182132 WITH SCORE 182604.178
AT ITER 6312 NEW BEST:: SOT 1346701 SOS 472155 HAS SOPS 472155 HAS SOUS 182132 HAS SOUPS 182132 WITH SCORE 182604.155
AT ITER 6318 NEW BEST:: SOT 1346701 SOS 472139 HAS SOPS 472139 HAS SOUS 182116 HAS SOUPS 182116 WITH SCORE 182588.139
AT ITER 6374 NEW BEST:: SOT 1346536 SOS 471809 HAS SOPS 471809 HAS SOUS 181951 HAS SOUPS 181951 WITH SCORE 182422.809
AT ITER 6382 NEW BEST:: SOT 1346536 SOS 471809 HAS SOPS 471809 HAS SOUS 181903 HAS SOUPS 181903 WITH SCORE 182374.809
AT ITER 6438 NEW BEST:: SOT 1346558 SOS 471787 HAS SOPS 471787 HAS SOUS 181881 HAS SOUPS 181881 WITH SCORE 182352.787
AT ITER 6456 NEW BEST:: SOT 1346450 SOS 471554 HAS SOPS 471554 HAS SOUS 181648 HAS SOUPS 181648 WITH SCORE 182119.554
AT ITER 6534 NEW BEST:: SOT 1346408 SOS 471954 HAS SOPS 471954 HAS SOUS 181303 HAS SOUPS 181303 WITH SCORE 181774.954
AT ITER 6541 NEW BEST:: SOT 1346413 SOS 471964 HAS SOPS 471964 HAS SOUS 181289 HAS SOUPS 181289 WITH SCORE 181760.964
AT ITER 6595 NEW BEST:: SOT 1346339 SOS 471816 HAS SOPS 471816 HAS SOUS 181107 HAS SOUPS 181107 WITH SCORE 181578.816
AT ITER 6618 NEW BEST:: SOT 1346292 SOS 471765 HAS SOPS 471765 HAS SOUS 181056 HAS SOUPS 181056 WITH SCORE 181527.765
AT ITER 6637 NEW BEST:: SOT 1346264 SOS 471709 HAS SOPS 471709 HAS SOUS 181000 HAS SOUPS 181000 WITH SCORE 181471.709
AT ITER 6642 NEW BEST:: SOT 1346274 SOS 471729 HAS SOPS 471729 HAS SOUS 180980 HAS SOUPS 180980 WITH SCORE 181451.729
AT ITER 6643 NEW BEST:: SOT 1346234 SOS 471649 HAS SOPS 471649 HAS SOUS 180900 HAS SOUPS 180900 WITH SCORE 181371.649
AT ITER 6656 NEW BEST:: SOT 1346140 SOS 471461 HAS SOPS 471461 HAS SOUS 180870 HAS SOUPS 180870 WITH SCORE 181341.461
AT ITER 6685 NEW BEST:: SOT 1346154 SOS 471475 HAS SOPS 471475 HAS SOUS 180640 HAS SOUPS 180640 WITH SCORE 181111.475
AT ITER 6697 NEW BEST:: SOT 1346151 SOS 471434 HAS SOPS 471434 HAS SOUS 180617 HAS SOUPS 180617 WITH SCORE 181088.434
AT ITER 6699 NEW BEST:: SOT 1346141 SOS 471414 HAS SOPS 471414 HAS SOUS 180597 HAS SOUPS 180597 WITH SCORE 181068.414
AT ITER 6710 NEW BEST:: SOT 1346116 SOS 471364 HAS SOPS 471364 HAS SOUS 180572 HAS SOUPS 180572 WITH SCORE 181043.364
AT ITER 6712 NEW BEST:: SOT 1345909 SOS 471157 HAS SOPS 471157 HAS SOUS 180331 HAS SOUPS 180331 WITH SCORE 180802.157
AT ITER 6742 NEW BEST:: SOT 1345904 SOS 471147 HAS SOPS 471147 HAS SOUS 179999 HAS SOUPS 179999 WITH SCORE 180470.147
AT ITER 6750 NEW BEST:: SOT 1345900 SOS 471139 HAS SOPS 471139 HAS SOUS 179993 HAS SOUPS 179993 WITH SCORE 180464.139
AT ITER 6761 NEW BEST:: SOT 1345883 SOS 471005 HAS SOPS 471005 HAS SOUS 179959 HAS SOUPS 179959 WITH SCORE 180430.005
AT ITER 6784 NEW BEST:: SOT 1345861 SOS 470863 HAS SOPS 470863 HAS SOUS 179949 HAS SOUPS 179949 WITH SCORE 180419.863
AT ITER 6805 NEW BEST:: SOT 1345847 SOS 470835 HAS SOPS 470835 HAS SOUS 179924 HAS SOUPS 179924 WITH SCORE 180394.835
AT ITER 6817 NEW BEST:: SOT 1345921 SOS 470983 HAS SOPS 470983 HAS SOUS 179859 HAS SOUPS 179859 WITH SCORE 180329.983
AT ITER 6831 NEW BEST:: SOT 1345921 SOS 470917 HAS SOPS 470917 HAS SOUS 179826 HAS SOUPS 179826 WITH SCORE 180296.917
AT ITER 6872 NEW BEST:: SOT 1345921 SOS 470854 HAS SOPS 470854 HAS SOUS 179802 HAS SOUPS 179802 WITH SCORE 180272.854
AT ITER 6888 NEW BEST:: SOT 1345921 SOS 470854 HAS SOPS 470854 HAS SOUS 179630 HAS SOUPS 179630 WITH SCORE 180100.854
AT ITER 6895 NEW BEST:: SOT 1345833 SOS 470744 HAS SOPS 470744 HAS SOUS 179498 HAS SOUPS 179498 WITH SCORE 179968.744
AT ITER 6911 NEW BEST:: SOT 1345717 SOS 470563 HAS SOPS 470563 HAS SOUS 179382 HAS SOUPS 179382 WITH SCORE 179852.563
AT ITER 6916 NEW BEST:: SOT 1345717 SOS 470563 HAS SOPS 470563 HAS SOUS 179242 HAS SOUPS 179242 WITH SCORE 179712.563
AT ITER 6918 NEW BEST:: SOT 1345730 SOS 470540 HAS SOPS 470540 HAS SOUS 179219 HAS SOUPS 179219 WITH SCORE 179689.54
AT ITER 6943 NEW BEST:: SOT 1345773 SOS 470439 HAS SOPS 470439 HAS SOUS 179184 HAS SOUPS 179184 WITH SCORE 179654.439
AT ITER 7002 NEW BEST:: SOT 1345881 SOS 470530 HAS SOPS 470530 HAS SOUS 179150 HAS SOUPS 179150 WITH SCORE 179620.53
AT ITER 7018 NEW BEST:: SOT 1345870 SOS 470519 HAS SOPS 470519 HAS SOUS 179124 HAS SOUPS 179124 WITH SCORE 179594.519
AT ITER 7036 NEW BEST:: SOT 1345850 SOS 470514 HAS SOPS 470514 HAS SOUS 179099 HAS SOUPS 179099 WITH SCORE 179569.514
AT ITER 7072 NEW BEST:: SOT 1345850 SOS 470514 HAS SOPS 470514 HAS SOUS 179062 HAS SOUPS 179062 WITH SCORE 179532.514
AT ITER 7076 NEW BEST:: SOT 1345844 SOS 470398 HAS SOPS 470398 HAS SOUS 178946 HAS SOUPS 178946 WITH SCORE 179416.398
AT ITER 7099 NEW BEST:: SOT 1345814 SOS 470353 HAS SOPS 470353 HAS SOUS 178931 HAS SOUPS 178931 WITH SCORE 179401.353
AT ITER 7107 NEW BEST:: SOT 1345788 SOS 470320 HAS SOPS 470320 HAS SOUS 178917 HAS SOUPS 178917 WITH SCORE 179387.32
AT ITER 7109 NEW BEST:: SOT 1345788 SOS 470320 HAS SOPS 470320 HAS SOUS 178827 HAS SOUPS 178827 WITH SCORE 179297.32
AT ITER 7114 NEW BEST:: SOT 1345646 SOS 470401 HAS SOPS 470401 HAS SOUS 178758 HAS SOUPS 178758 WITH SCORE 179228.401
AT ITER 7122 NEW BEST:: SOT 1345540 SOS 470522 HAS SOPS 470522 HAS SOUS 178734 HAS SOUPS 178734 WITH SCORE 179204.522
AT ITER 7131 NEW BEST:: SOT 1345484 SOS 470410 HAS SOPS 470410 HAS SOUS 178678 HAS SOUPS 178678 WITH SCORE 179148.41
AT ITER 7152 NEW BEST:: SOT 1345432 SOS 470306 HAS SOPS 470306 HAS SOUS 178650 HAS SOUPS 178650 WITH SCORE 179120.306
AT ITER 7159 NEW BEST:: SOT 1345356 SOS 470230 HAS SOPS 470230 HAS SOUS 178650 HAS SOUPS 178650 WITH SCORE 179120.23
AT ITER 7167 NEW BEST:: SOT 1345292 SOS 472958 HAS SOPS 472958 HAS SOUS 178590 HAS SOUPS 178590 WITH SCORE 179062.958
AT ITER 7169 NEW BEST:: SOT 1345292 SOS 472935 HAS SOPS 472935 HAS SOUS 178575 HAS SOUPS 178575 WITH SCORE 179047.935
AT ITER 7191 NEW BEST:: SOT 1345299 SOS 472949 HAS SOPS 472949 HAS SOUS 178574 HAS SOUPS 178574 WITH SCORE 179046.949
AT ITER 7213 NEW BEST:: SOT 1345299 SOS 472735 HAS SOPS 472735 HAS SOUS 178467 HAS SOUPS 178467 WITH SCORE 178939.735
AT ITER 7263 NEW BEST:: SOT 1345274 SOS 472571 HAS SOPS 472571 HAS SOUS 178404 HAS SOUPS 178404 WITH SCORE 178876.571
AT ITER 7295 NEW BEST:: SOT 1345162 SOS 472517 HAS SOPS 472517 HAS SOUS 178350 HAS SOUPS 178350 WITH SCORE 178822.517
AT ITER 7316 NEW BEST:: SOT 1345256 SOS 472736 HAS SOPS 472736 HAS SOUS 178342 HAS SOUPS 178342 WITH SCORE 178814.736
AT ITER 7347 NEW BEST:: SOT 1345245 SOS 472725 HAS SOPS 472725 HAS SOUS 178342 HAS SOUPS 178342 WITH SCORE 178814.725
AT ITER 7350 NEW BEST:: SOT 1345253 SOS 472673 HAS SOPS 472673 HAS SOUS 178290 HAS SOUPS 178290 WITH SCORE 178762.673
AT ITER 7372 NEW BEST:: SOT 1345253 SOS 472673 HAS SOPS 472673 HAS SOUS 178228 HAS SOUPS 178228 WITH SCORE 178700.673
AT ITER 7398 NEW BEST:: SOT 1345068 SOS 472488 HAS SOPS 472488 HAS SOUS 178043 HAS SOUPS 178043 WITH SCORE 178515.488
AT ITER 7399 NEW BEST:: SOT 1345279 SOS 472532 HAS SOPS 472532 HAS SOUS 177922 HAS SOUPS 177922 WITH SCORE 178394.532
AT ITER 7415 NEW BEST:: SOT 1345279 SOS 472321 HAS SOPS 472321 HAS SOUS 177500 HAS SOUPS 177500 WITH SCORE 177972.321
AT ITER 7435 NEW BEST:: SOT 1345311 SOS 472220 HAS SOPS 472220 HAS SOUS 177397 HAS SOUPS 177397 WITH SCORE 177869.22
AT ITER 7461 NEW BEST:: SOT 1345348 SOS 472294 HAS SOPS 472294 HAS SOUS 177147 HAS SOUPS 177147 WITH SCORE 177619.294
AT ITER 7470 NEW BEST:: SOT 1345306 SOS 471922 HAS SOPS 471922 HAS SOUS 177033 HAS SOUPS 177033 WITH SCORE 177504.922
AT ITER 7482 NEW BEST:: SOT 1345291 SOS 471877 HAS SOPS 471877 HAS SOUS 177018 HAS SOUPS 177018 WITH SCORE 177489.877
AT ITER 7492 NEW BEST:: SOT 1345252 SOS 471799 HAS SOPS 471799 HAS SOUS 176946 HAS SOUPS 176946 WITH SCORE 177417.799
AT ITER 7495 NEW BEST:: SOT 1345182 SOS 471640 HAS SOPS 471640 HAS SOUS 176838 HAS SOUPS 176838 WITH SCORE 177309.64
AT ITER 7508 NEW BEST:: SOT 1345182 SOS 471628 HAS SOPS 471628 HAS SOUS 176826 HAS SOUPS 176826 WITH SCORE 177297.628
AT ITER 7509 NEW BEST:: SOT 1345160 SOS 471584 HAS SOPS 471584 HAS SOUS 176782 HAS SOUPS 176782 WITH SCORE 177253.584
AT ITER 7526 NEW BEST:: SOT 1345160 SOS 471581 HAS SOPS 471581 HAS SOUS 176779 HAS SOUPS 176779 WITH SCORE 177250.581
AT ITER 7527 NEW BEST:: SOT 1345199 SOS 471617 HAS SOPS 471617 HAS SOUS 176773 HAS SOUPS 176773 WITH SCORE 177244.617
AT ITER 7532 NEW BEST:: SOT 1345101 SOS 471421 HAS SOPS 471421 HAS SOUS 176731 HAS SOUPS 176731 WITH SCORE 177202.421
AT ITER 7534 NEW BEST:: SOT 1345273 SOS 471625 HAS SOPS 471625 HAS SOUS 176700 HAS SOUPS 176700 WITH SCORE 177171.625
AT ITER 7543 NEW BEST:: SOT 1345102 SOS 471595 HAS SOPS 471595 HAS SOUS 176547 HAS SOUPS 176547 WITH SCORE 177018.595
AT ITER 7560 NEW BEST:: SOT 1345102 SOS 471621 HAS SOPS 471621 HAS SOUS 176216 HAS SOUPS 176216 WITH SCORE 176687.621
AT ITER 7576 NEW BEST:: SOT 1345078 SOS 471547 HAS SOPS 471547 HAS SOUS 176198 HAS SOUPS 176198 WITH SCORE 176669.547
AT ITER 7584 NEW BEST:: SOT 1345106 SOS 471603 HAS SOPS 471603 HAS SOUS 176195 HAS SOUPS 176195 WITH SCORE 176666.603
AT ITER 7590 NEW BEST:: SOT 1345091 SOS 471573 HAS SOPS 471573 HAS SOUS 176165 HAS SOUPS 176165 WITH SCORE 176636.573
AT ITER 7606 NEW BEST:: SOT 1345063 SOS 471517 HAS SOPS 471517 HAS SOUS 176136 HAS SOUPS 176136 WITH SCORE 176607.517
AT ITER 7614 NEW BEST:: SOT 1344975 SOS 471484 HAS SOPS 471484 HAS SOUS 176134 HAS SOUPS 176134 WITH SCORE 176605.484
AT ITER 7625 NEW BEST:: SOT 1344975 SOS 471479 HAS SOPS 471479 HAS SOUS 176134 HAS SOUPS 176134 WITH SCORE 176605.479
AT ITER 7635 NEW BEST:: SOT 1345020 SOS 471408 HAS SOPS 471408 HAS SOUS 176058 HAS SOUPS 176058 WITH SCORE 176529.408
AT ITER 7721 NEW BEST:: SOT 1345041 SOS 471383 HAS SOPS 471383 HAS SOUS 176033 HAS SOUPS 176033 WITH SCORE 176504.383
AT ITER 7739 NEW BEST:: SOT 1345041 SOS 471330 HAS SOPS 471330 HAS SOUS 176033 HAS SOUPS 176033 WITH SCORE 176504.33
AT ITER 7758 NEW BEST:: SOT 1345041 SOS 471330 HAS SOPS 471330 HAS SOUS 175942 HAS SOUPS 175942 WITH SCORE 176413.33
AT ITER 7828 NEW BEST:: SOT 1345041 SOS 471329 HAS SOPS 471329 HAS SOUS 175941 HAS SOUPS 175941 WITH SCORE 176412.329
AT ITER 7840 NEW BEST:: SOT 1345036 SOS 471319 HAS SOPS 471319 HAS SOUS 175931 HAS SOUPS 175931 WITH SCORE 176402.319
AT ITER 7847 NEW BEST:: SOT 1345025 SOS 471297 HAS SOPS 471297 HAS SOUS 175909 HAS SOUPS 175909 WITH SCORE 176380.297
AT ITER 7864 NEW BEST:: SOT 1345025 SOS 471297 HAS SOPS 471297 HAS SOUS 175897 HAS SOUPS 175897 WITH SCORE 176368.297
AT ITER 7877 NEW BEST:: SOT 1345001 SOS 471441 HAS SOPS 471441 HAS SOUS 175873 HAS SOUPS 175873 WITH SCORE 176344.441
AT ITER 7912 NEW BEST:: SOT 1345000 SOS 471439 HAS SOPS 471439 HAS SOUS 175871 HAS SOUPS 175871 WITH SCORE 176342.439
AT ITER 7990 NEW BEST:: SOT 1344997 SOS 471436 HAS SOPS 471436 HAS SOUS 175870 HAS SOUPS 175870 WITH SCORE 176341.436
AT ITER 8003 NEW BEST:: SOT 1344902 SOS 471705 HAS SOPS 471705 HAS SOUS 175782 HAS SOUPS 175782 WITH SCORE 176253.705
AT ITER 8033 NEW BEST:: SOT 1344832 SOS 471565 HAS SOPS 471565 HAS SOUS 175660 HAS SOUPS 175660 WITH SCORE 176131.565
AT ITER 8042 NEW BEST:: SOT 1344829 SOS 471547 HAS SOPS 471547 HAS SOUS 175654 HAS SOUPS 175654 WITH SCORE 176125.547
AT ITER 8066 NEW BEST:: SOT 1344818 SOS 471536 HAS SOPS 471536 HAS SOUS 175654 HAS SOUPS 175654 WITH SCORE 176125.536
AT ITER 8080 NEW BEST:: SOT 1344739 SOS 471386 HAS SOPS 471386 HAS SOUS 175645 HAS SOUPS 175645 WITH SCORE 176116.386
AT ITER 8096 NEW BEST:: SOT 1344739 SOS 471181 HAS SOPS 471181 HAS SOUS 175645 HAS SOUPS 175645 WITH SCORE 176116.181
AT ITER 8113 NEW BEST:: SOT 1344739 SOS 464551 HAS SOPS 464551 HAS SOUS 175645 HAS SOUPS 175645 WITH SCORE 176109.551
AT ITER 8114 NEW BEST:: SOT 1344705 SOS 464585 HAS SOPS 464585 HAS SOUS 175611 HAS SOUPS 175611 WITH SCORE 176075.585
AT ITER 8135 NEW BEST:: SOT 1344596 SOS 464603 HAS SOPS 464603 HAS SOUS 175585 HAS SOUPS 175585 WITH SCORE 176049.603
AT ITER 8136 NEW BEST:: SOT 1344531 SOS 464538 HAS SOPS 464538 HAS SOUS 175585 HAS SOUPS 175585 WITH SCORE 176049.538
AT ITER 8159 NEW BEST:: SOT 1344531 SOS 464258 HAS SOPS 464258 HAS SOUS 175547 HAS SOUPS 175547 WITH SCORE 176011.258
AT ITER 8195 NEW BEST:: SOT 1344403 SOS 487729 HAS SOPS 487729 HAS SOUS 175492 HAS SOUPS 175492 WITH SCORE 175979.729
AT ITER 8231 NEW BEST:: SOT 1344403 SOS 487700 HAS SOPS 487700 HAS SOUS 175463 HAS SOUPS 175463 WITH SCORE 175950.7
AT ITER 8232 NEW BEST:: SOT 1344401 SOS 487696 HAS SOPS 487696 HAS SOUS 175459 HAS SOUPS 175459 WITH SCORE 175946.696
AT ITER 8286 NEW BEST:: SOT 1344198 SOS 487290 HAS SOPS 487290 HAS SOUS 175053 HAS SOUPS 175053 WITH SCORE 175540.29
AT ITER 8322 NEW BEST:: SOT 1344185 SOS 487056 HAS SOPS 487056 HAS SOUS 175023 HAS SOUPS 175023 WITH SCORE 175510.056
AT ITER 8341 NEW BEST:: SOT 1343848 SOS 489637 HAS SOPS 489637 HAS SOUS 174686 HAS SOUPS 174686 WITH SCORE 175175.637
AT ITER 8457 NEW BEST:: SOT 1343748 SOS 489437 HAS SOPS 489437 HAS SOUS 174486 HAS SOUPS 174486 WITH SCORE 174975.437
AT ITER 8467 NEW BEST:: SOT 1343702 SOS 489392 HAS SOPS 489392 HAS SOUS 174394 HAS SOUPS 174394 WITH SCORE 174883.392
AT ITER 8480 NEW BEST:: SOT 1343711 SOS 489410 HAS SOPS 489410 HAS SOUS 174391 HAS SOUPS 174391 WITH SCORE 174880.41
AT ITER 8482 NEW BEST:: SOT 1343776 SOS 489473 HAS SOPS 489473 HAS SOUS 174335 HAS SOUPS 174335 WITH SCORE 174824.473
AT ITER 8489 NEW BEST:: SOT 1343760 SOS 489205 HAS SOPS 489205 HAS SOUS 174244 HAS SOUPS 174244 WITH SCORE 174733.205
AT ITER 8501 NEW BEST:: SOT 1343736 SOS 489181 HAS SOPS 489181 HAS SOUS 174220 HAS SOUPS 174220 WITH SCORE 174709.181
AT ITER 8514 NEW BEST:: SOT 1343707 SOS 489123 HAS SOPS 489123 HAS SOUS 174191 HAS SOUPS 174191 WITH SCORE 174680.123
AT ITER 8530 NEW BEST:: SOT 1343707 SOS 489139 HAS SOPS 489139 HAS SOUS 174161 HAS SOUPS 174161 WITH SCORE 174650.139
AT ITER 8567 NEW BEST:: SOT 1343707 SOS 489139 HAS SOPS 489139 HAS SOUS 174156 HAS SOUPS 174156 WITH SCORE 174645.139
AT ITER 8576 NEW BEST:: SOT 1343642 SOS 489074 HAS SOPS 489074 HAS SOUS 174091 HAS SOUPS 174091 WITH SCORE 174580.074
AT ITER 8597 NEW BEST:: SOT 1343642 SOS 489069 HAS SOPS 489069 HAS SOUS 174035 HAS SOUPS 174035 WITH SCORE 174524.069
AT ITER 8599 NEW BEST:: SOT 1343642 SOS 489074 HAS SOPS 489074 HAS SOUS 174030 HAS SOUPS 174030 WITH SCORE 174519.074
AT ITER 8632 NEW BEST:: SOT 1343610 SOS 489010 HAS SOPS 489010 HAS SOUS 173966 HAS SOUPS 173966 WITH SCORE 174455.01
AT ITER 8665 NEW BEST:: SOT 1343598 SOS 489005 HAS SOPS 489005 HAS SOUS 173963 HAS SOUPS 173963 WITH SCORE 174452.005
AT ITER 8673 NEW BEST:: SOT 1343542 SOS 488893 HAS SOPS 488893 HAS SOUS 173851 HAS SOUPS 173851 WITH SCORE 174339.893
AT ITER 8685 NEW BEST:: SOT 1343542 SOS 488645 HAS SOPS 488645 HAS SOUS 173805 HAS SOUPS 173805 WITH SCORE 174293.645
AT ITER 8686 NEW BEST:: SOT 1343529 SOS 488619 HAS SOPS 488619 HAS SOUS 173779 HAS SOUPS 173779 WITH SCORE 174267.619
AT ITER 8692 NEW BEST:: SOT 1343529 SOS 488550 HAS SOPS 488550 HAS SOUS 173779 HAS SOUPS 173779 WITH SCORE 174267.55
AT ITER 8737 NEW BEST:: SOT 1343459 SOS 488569 HAS SOPS 488569 HAS SOUS 173745 HAS SOUPS 173745 WITH SCORE 174233.569
AT ITER 8738 NEW BEST:: SOT 1343363 SOS 488620 HAS SOPS 488620 HAS SOUS 173610 HAS SOUPS 173610 WITH SCORE 174098.62
AT ITER 8748 NEW BEST:: SOT 1343363 SOS 488620 HAS SOPS 488620 HAS SOUS 173597 HAS SOUPS 173597 WITH SCORE 174085.62
AT ITER 8772 NEW BEST:: SOT 1343360 SOS 488605 HAS SOPS 488605 HAS SOUS 173591 HAS SOUPS 173591 WITH SCORE 174079.605
AT ITER 8774 NEW BEST:: SOT 1343360 SOS 488596 HAS SOPS 488596 HAS SOUS 173582 HAS SOUPS 173582 WITH SCORE 174070.596
AT ITER 8795 NEW BEST:: SOT 1343212 SOS 488535 HAS SOPS 488535 HAS SOUS 173523 HAS SOUPS 173523 WITH SCORE 174011.535
AT ITER 8798 NEW BEST:: SOT 1343212 SOS 488467 HAS SOPS 488467 HAS SOUS 173523 HAS SOUPS 173523 WITH SCORE 174011.467
AT ITER 8806 NEW BEST:: SOT 1343198 SOS 488523 HAS SOPS 488523 HAS SOUS 173479 HAS SOUPS 173479 WITH SCORE 173967.523
AT ITER 8819 NEW BEST:: SOT 1342968 SOS 488203 HAS SOPS 488203 HAS SOUS 173214 HAS SOUPS 173214 WITH SCORE 173702.203
AT ITER 8858 NEW BEST:: SOT 1342975 SOS 488217 HAS SOPS 488217 HAS SOUS 173203 HAS SOUPS 173203 WITH SCORE 173691.217
AT ITER 8883 NEW BEST:: SOT 1342957 SOS 488199 HAS SOPS 488199 HAS SOUS 173163 HAS SOUPS 173163 WITH SCORE 173651.199
AT ITER 8900 NEW BEST:: SOT 1342933 SOS 488175 HAS SOPS 488175 HAS SOUS 173151 HAS SOUPS 173151 WITH SCORE 173639.175
AT ITER 8923 NEW BEST:: SOT 1342992 SOS 487943 HAS SOPS 487943 HAS SOUS 173140 HAS SOUPS 173140 WITH SCORE 173627.943
AT ITER 8933 NEW BEST:: SOT 1342902 SOS 487853 HAS SOPS 487853 HAS SOUS 173092 HAS SOUPS 173092 WITH SCORE 173579.853
AT ITER 8938 NEW BEST:: SOT 1342904 SOS 487857 HAS SOPS 487857 HAS SOUS 173062 HAS SOUPS 173062 WITH SCORE 173549.857
AT ITER 8948 NEW BEST:: SOT 1342904 SOS 487857 HAS SOPS 487857 HAS SOUS 172898 HAS SOUPS 172898 WITH SCORE 173385.857
AT ITER 8952 NEW BEST:: SOT 1342840 SOS 487774 HAS SOPS 487774 HAS SOUS 172815 HAS SOUPS 172815 WITH SCORE 173302.774
AT ITER 8957 NEW BEST:: SOT 1342839 SOS 487732 HAS SOPS 487732 HAS SOUS 172813 HAS SOUPS 172813 WITH SCORE 173300.732
AT ITER 9021 NEW BEST:: SOT 1342820 SOS 487751 HAS SOPS 487751 HAS SOUS 172794 HAS SOUPS 172794 WITH SCORE 173281.751
AT ITER 9039 NEW BEST:: SOT 1342798 SOS 487707 HAS SOPS 487707 HAS SOUS 172750 HAS SOUPS 172750 WITH SCORE 173237.707
AT ITER 9043 NEW BEST:: SOT 1342798 SOS 487707 HAS SOPS 487707 HAS SOUS 172702 HAS SOUPS 172702 WITH SCORE 173189.707
AT ITER 9062 NEW BEST:: SOT 1342798 SOS 487704 HAS SOPS 487704 HAS SOUS 172699 HAS SOUPS 172699 WITH SCORE 173186.704
AT ITER 9070 NEW BEST:: SOT 1342797 SOS 487708 HAS SOPS 487708 HAS SOUS 172691 HAS SOUPS 172691 WITH SCORE 173178.708
AT ITER 9088 NEW BEST:: SOT 1342797 SOS 487706 HAS SOPS 487706 HAS SOUS 172688 HAS SOUPS 172688 WITH SCORE 173175.706
AT ITER 9097 NEW BEST:: SOT 1342828 SOS 487644 HAS SOPS 487644 HAS SOUS 172626 HAS SOUPS 172626 WITH SCORE 173113.644
AT ITER 9120 NEW BEST:: SOT 1342771 SOS 487251 HAS SOPS 487251 HAS SOUS 172569 HAS SOUPS 172569 WITH SCORE 173056.251
AT ITER 9126 NEW BEST:: SOT 1342721 SOS 487228 HAS SOPS 487228 HAS SOUS 172546 HAS SOUPS 172546 WITH SCORE 173033.228
AT ITER 9191 NEW BEST:: SOT 1342700 SOS 487186 HAS SOPS 487186 HAS SOUS 172514 HAS SOUPS 172514 WITH SCORE 173001.186
AT ITER 9205 NEW BEST:: SOT 1342700 SOS 486414 HAS SOPS 486414 HAS SOUS 172514 HAS SOUPS 172514 WITH SCORE 173000.414
AT ITER 9261 NEW BEST:: SOT 1342603 SOS 486220 HAS SOPS 486220 HAS SOUS 172320 HAS SOUPS 172320 WITH SCORE 172806.22
AT ITER 9265 NEW BEST:: SOT 1342598 SOS 486210 HAS SOPS 486210 HAS SOUS 172310 HAS SOUPS 172310 WITH SCORE 172796.21
AT ITER 9315 NEW BEST:: SOT 1342562 SOS 486158 HAS SOPS 486158 HAS SOUS 172242 HAS SOUPS 172242 WITH SCORE 172728.158
AT ITER 9317 NEW BEST:: SOT 1342562 SOS 486158 HAS SOPS 486158 HAS SOUS 172210 HAS SOUPS 172210 WITH SCORE 172696.158
AT ITER 9329 NEW BEST:: SOT 1342570 SOS 486132 HAS SOPS 486132 HAS SOUS 172184 HAS SOUPS 172184 WITH SCORE 172670.132
AT ITER 9334 NEW BEST:: SOT 1342498 SOS 486140 HAS SOPS 486140 HAS SOUS 172112 HAS SOUPS 172112 WITH SCORE 172598.14
AT ITER 9363 NEW BEST:: SOT 1342449 SOS 485935 HAS SOPS 485935 HAS SOUS 172098 HAS SOUPS 172098 WITH SCORE 172583.935
AT ITER 9368 NEW BEST:: SOT 1342358 SOS 485775 HAS SOPS 485775 HAS SOUS 172004 HAS SOUPS 172004 WITH SCORE 172489.775
AT ITER 9378 NEW BEST:: SOT 1342302 SOS 485663 HAS SOPS 485663 HAS SOUS 171997 HAS SOUPS 171997 WITH SCORE 172482.663
AT ITER 9395 NEW BEST:: SOT 1342298 SOS 485655 HAS SOPS 485655 HAS SOUS 171989 HAS SOUPS 171989 WITH SCORE 172474.655
AT ITER 9411 NEW BEST:: SOT 1342315 SOS 485638 HAS SOPS 485638 HAS SOUS 171989 HAS SOUPS 171989 WITH SCORE 172474.638
AT ITER 9421 NEW BEST:: SOT 1342097 SOS 485838 HAS SOPS 485838 HAS SOUS 171894 HAS SOUPS 171894 WITH SCORE 172379.838
AT ITER 9434 NEW BEST:: SOT 1342090 SOS 485831 HAS SOPS 485831 HAS SOUS 171880 HAS SOUPS 171880 WITH SCORE 172365.831
AT ITER 9459 NEW BEST:: SOT 1342140 SOS 485601 HAS SOPS 485601 HAS SOUS 171794 HAS SOUPS 171794 WITH SCORE 172279.601
AT ITER 9496 NEW BEST:: SOT 1342140 SOS 485601 HAS SOPS 485601 HAS SOUS 171711 HAS SOUPS 171711 WITH SCORE 172196.601
AT ITER 9506 NEW BEST:: SOT 1342194 SOS 485537 HAS SOPS 485537 HAS SOUS 171709 HAS SOUPS 171709 WITH SCORE 172194.537
AT ITER 9532 NEW BEST:: SOT 1342194 SOS 485521 HAS SOPS 485521 HAS SOUS 171693 HAS SOUPS 171693 WITH SCORE 172178.521
AT ITER 9546 NEW BEST:: SOT 1342194 SOS 485483 HAS SOPS 485483 HAS SOUS 171655 HAS SOUPS 171655 WITH SCORE 172140.483
AT ITER 9549 NEW BEST:: SOT 1342194 SOS 485483 HAS SOPS 485483 HAS SOUS 171621 HAS SOUPS 171621 WITH SCORE 172106.483
AT ITER 9558 NEW BEST:: SOT 1342194 SOS 485483 HAS SOPS 485483 HAS SOUS 171576 HAS SOUPS 171576 WITH SCORE 172061.483
AT ITER 9561 NEW BEST:: SOT 1342170 SOS 485435 HAS SOPS 485435 HAS SOUS 171552 HAS SOUPS 171552 WITH SCORE 172037.435
AT ITER 9572 NEW BEST:: SOT 1342556 SOS 486337 HAS SOPS 486337 HAS SOUS 171544 HAS SOUPS 171544 WITH SCORE 172030.337
AT ITER 9587 NEW BEST:: SOT 1342553 SOS 486331 HAS SOPS 486331 HAS SOUS 171504 HAS SOUPS 171504 WITH SCORE 171990.331
AT ITER 9597 NEW BEST:: SOT 1342542 SOS 486276 HAS SOPS 486276 HAS SOUS 171493 HAS SOUPS 171493 WITH SCORE 171979.276
AT ITER 9603 NEW BEST:: SOT 1341381 SOS 485978 HAS SOPS 485978 HAS SOUS 171309 HAS SOUPS 171309 WITH SCORE 171794.978
AT ITER 9617 NEW BEST:: SOT 1341117 SOS 485450 HAS SOPS 485450 HAS SOUS 171089 HAS SOUPS 171089 WITH SCORE 171574.45
AT ITER 9641 NEW BEST:: SOT 1341100 SOS 485416 HAS SOPS 485416 HAS SOUS 171085 HAS SOUPS 171085 WITH SCORE 171570.416
AT ITER 9643 NEW BEST:: SOT 1341050 SOS 485320 HAS SOPS 485320 HAS SOUS 171054 HAS SOUPS 171054 WITH SCORE 171539.32
AT ITER 9666 NEW BEST:: SOT 1341006 SOS 485313 HAS SOPS 485313 HAS SOUS 171047 HAS SOUPS 171047 WITH SCORE 171532.313
AT ITER 9692 NEW BEST:: SOT 1341006 SOS 485309 HAS SOPS 485309 HAS SOUS 171047 HAS SOUPS 171047 WITH SCORE 171532.309
AT ITER 9697 NEW BEST:: SOT 1340968 SOS 485233 HAS SOPS 485233 HAS SOUS 170971 HAS SOUPS 170971 WITH SCORE 171456.233
AT ITER 9719 NEW BEST:: SOT 1340912 SOS 484905 HAS SOPS 484905 HAS SOUS 170881 HAS SOUPS 170881 WITH SCORE 171365.905
AT ITER 9720 NEW BEST:: SOT 1340889 SOS 484859 HAS SOPS 484859 HAS SOUS 170835 HAS SOUPS 170835 WITH SCORE 171319.859
AT ITER 9750 NEW BEST:: SOT 1340882 SOS 484845 HAS SOPS 484845 HAS SOUS 170821 HAS SOUPS 170821 WITH SCORE 171305.845
AT ITER 9752 NEW BEST:: SOT 1340882 SOS 484786 HAS SOPS 484786 HAS SOUS 170821 HAS SOUPS 170821 WITH SCORE 171305.786
AT ITER 9768 NEW BEST:: SOT 1340820 SOS 484662 HAS SOPS 484662 HAS SOUS 170684 HAS SOUPS 170684 WITH SCORE 171168.662
AT ITER 9770 NEW BEST:: SOT 1340842 SOS 484706 HAS SOPS 484706 HAS SOUS 170654 HAS SOUPS 170654 WITH SCORE 171138.706
AT ITER 9795 NEW BEST:: SOT 1340742 SOS 484506 HAS SOPS 484506 HAS SOUS 170554 HAS SOUPS 170554 WITH SCORE 171038.506
AT ITER 9813 NEW BEST:: SOT 1340760 SOS 484474 HAS SOPS 484474 HAS SOUS 170492 HAS SOUPS 170492 WITH SCORE 170976.474
AT ITER 9857 NEW BEST:: SOT 1340753 SOS 484460 HAS SOPS 484460 HAS SOUS 170478 HAS SOUPS 170478 WITH SCORE 170962.46
AT ITER 9877 NEW BEST:: SOT 1340688 SOS 484330 HAS SOPS 484330 HAS SOUS 170421 HAS SOUPS 170421 WITH SCORE 170905.33
AT ITER 9906 NEW BEST:: SOT 1340623 SOS 484200 HAS SOPS 484200 HAS SOUS 170356 HAS SOUPS 170356 WITH SCORE 170840.2
AT ITER 9913 NEW BEST:: SOT 1340900 SOS 473475 HAS SOPS 473475 HAS SOUS 170252 HAS SOUPS 170252 WITH SCORE 170725.475
AT ITER 9917 NEW BEST:: SOT 1341005 SOS 473501 HAS SOPS 473501 HAS SOUS 170147 HAS SOUPS 170147 WITH SCORE 170620.501
AT ITER 9952 NEW BEST:: SOT 1340891 SOS 473273 HAS SOPS 473273 HAS SOUS 170123 HAS SOUPS 170123 WITH SCORE 170596.273
AT ITER 9969 NEW BEST:: SOT 1340835 SOS 473161 HAS SOPS 473161 HAS SOUS 170011 HAS SOUPS 170011 WITH SCORE 170484.161
AT ITER 9987 NEW BEST:: SOT 1340822 SOS 473153 HAS SOPS 473153 HAS SOUS 169990 HAS SOUPS 169990 WITH SCORE 170463.153
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8643084 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151556 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="CloudDeployment-PT-4b"
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 CloudDeployment-PT-4b, 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 r067-smll-167814394800408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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