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.r355-smll-167891803600456.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 SemanticWebServices-PT-S256P18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803600456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.7M
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 10:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 10:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 10:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 26 10:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 9.2M Mar 5 18:23 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 1679954083168

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=SemanticWebServices-PT-S256P18
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S256P18
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: 198 places, 9732 transitions, 78799 arcs.
AT ITER 0 NEW BEST:: SOT 1626421 SOS 1547611 HAS SOPS 1512221 HAS SOUS 767635 HAS SOUPS 764001 WITH SCORE 765548.611
AT ITER 7 NEW BEST:: SOT 1626421 SOS 1546819 HAS SOPS 1501091 HAS SOUS 763371 HAS SOUPS 754910 WITH SCORE 756456.819
AT ITER 9 NEW BEST:: SOT 1626421 SOS 1534867 HAS SOPS 1488819 HAS SOUS 734574 HAS SOUPS 726522 WITH SCORE 728056.867
AT ITER 10 NEW BEST:: SOT 1639029 SOS 1547475 HAS SOPS 1492727 HAS SOUS 739842 HAS SOUPS 725940 WITH SCORE 727487.475
AT ITER 11 NEW BEST:: SOT 1639029 SOS 1547463 HAS SOPS 1492723 HAS SOUS 739838 HAS SOUPS 725938 WITH SCORE 727485.463
AT ITER 13 NEW BEST:: SOT 1639029 SOS 1545337 HAS SOPS 1486993 HAS SOUS 733401 HAS SOUPS 716309 WITH SCORE 717854.337
AT ITER 14 NEW BEST:: SOT 1639029 SOS 1545333 HAS SOPS 1486993 HAS SOUS 733399 HAS SOUPS 716309 WITH SCORE 717854.333
AT ITER 16 NEW BEST:: SOT 1639029 SOS 1544345 HAS SOPS 1486005 HAS SOUS 731435 HAS SOUPS 714345 WITH SCORE 715889.345
AT ITER 17 NEW BEST:: SOT 1643899 SOS 1545593 HAS SOPS 1486157 HAS SOUS 727114 HAS SOUPS 709500 WITH SCORE 711045.593
AT ITER 18 NEW BEST:: SOT 1643899 SOS 1542655 HAS SOPS 1471202 HAS SOUS 722619 HAS SOUPS 699323 WITH SCORE 700865.655
AT ITER 19 NEW BEST:: SOT 1650923 SOS 1547991 HAS SOPS 1476308 HAS SOUS 720538 HAS SOUPS 697849 WITH SCORE 699396.991
AT ITER 21 NEW BEST:: SOT 1643963 SOS 1542105 HAS SOPS 1470420 HAS SOUS 718459 HAS SOUPS 695429 WITH SCORE 696971.105
AT ITER 23 NEW BEST:: SOT 1643963 SOS 1540029 HAS SOPS 1468938 HAS SOUS 691853 HAS SOUPS 668974 WITH SCORE 670514.029
AT ITER 27 NEW BEST:: SOT 1643963 SOS 1536955 HAS SOPS 1457304 HAS SOUS 652008 HAS SOUPS 626713 WITH SCORE 628249.955
AT ITER 29 NEW BEST:: SOT 1643963 SOS 1535715 HAS SOPS 1455008 HAS SOUS 638291 HAS SOUPS 613355 WITH SCORE 614890.715
AT ITER 30 NEW BEST:: SOT 1643963 SOS 1533335 HAS SOPS 1452634 HAS SOUS 630826 HAS SOUPS 606204 WITH SCORE 607737.335
AT ITER 31 NEW BEST:: SOT 1643963 SOS 1528947 HAS SOPS 1447282 HAS SOUS 625480 HAS SOUPS 600952 WITH SCORE 602480.947
AT ITER 32 NEW BEST:: SOT 1643963 SOS 1528883 HAS SOPS 1447218 HAS SOUS 625448 HAS SOUPS 600920 WITH SCORE 602448.883
AT ITER 34 NEW BEST:: SOT 1643963 SOS 1528251 HAS SOPS 1445830 HAS SOUS 618837 HAS SOUPS 594383 WITH SCORE 595911.251
AT ITER 36 NEW BEST:: SOT 1643963 SOS 1527490 HAS SOPS 1444950 HAS SOUS 599222 HAS SOUPS 574915 WITH SCORE 576442.49
AT ITER 38 NEW BEST:: SOT 1643963 SOS 1523043 HAS SOPS 1440742 HAS SOUS 594582 HAS SOUPS 570124 WITH SCORE 571647.043
AT ITER 45 NEW BEST:: SOT 1643963 SOS 1518059 HAS SOPS 1438194 HAS SOUS 591772 HAS SOUPS 567363 WITH SCORE 568881.059
AT ITER 49 NEW BEST:: SOT 1471855 SOS 1347045 HAS SOPS 1273084 HAS SOUS 495900 HAS SOUPS 474912 WITH SCORE 476259.045
AT ITER 55 NEW BEST:: SOT 1471809 SOS 1346797 HAS SOPS 1273038 HAS SOUS 495766 HAS SOUPS 474879 WITH SCORE 476225.797
AT ITER 56 NEW BEST:: SOT 1471809 SOS 1343575 HAS SOPS 1266440 HAS SOUS 461085 HAS SOUPS 440618 WITH SCORE 441961.575
AT ITER 58 NEW BEST:: SOT 1471809 SOS 1343555 HAS SOPS 1266430 HAS SOUS 461075 HAS SOUPS 440613 WITH SCORE 441956.555
AT ITER 60 NEW BEST:: SOT 1471809 SOS 1343479 HAS SOPS 1266396 HAS SOUS 461037 HAS SOUPS 440596 WITH SCORE 441939.479
AT ITER 61 NEW BEST:: SOT 1471809 SOS 1343545 HAS SOPS 1266388 HAS SOUS 461070 HAS SOUPS 440592 WITH SCORE 441935.545
AT ITER 62 NEW BEST:: SOT 1469877 SOS 1341611 HAS SOPS 1264454 HAS SOUS 460142 HAS SOUPS 439664 WITH SCORE 441005.611
AT ITER 63 NEW BEST:: SOT 1463663 SOS 1336069 HAS SOPS 1266484 HAS SOUS 436339 HAS SOUPS 420680 WITH SCORE 422016.069
AT ITER 65 NEW BEST:: SOT 1463663 SOS 1335785 HAS SOPS 1266400 HAS SOUS 436285 HAS SOUPS 420638 WITH SCORE 421973.785
AT ITER 66 NEW BEST:: SOT 1463663 SOS 1335739 HAS SOPS 1266316 HAS SOUS 436262 HAS SOUPS 420596 WITH SCORE 421931.739
AT ITER 69 NEW BEST:: SOT 1478933 SOS 1340657 HAS SOPS 1262870 HAS SOUS 401569 HAS SOUPS 387680 WITH SCORE 389020.657
AT ITER 71 NEW BEST:: SOT 1479225 SOS 1340045 HAS SOPS 1262262 HAS SOUS 400089 HAS SOUPS 386202 WITH SCORE 387542.045
AT ITER 73 NEW BEST:: SOT 1205839 SOS 1108493 HAS SOPS 1082282 HAS SOUS 245463 HAS SOUPS 244538 WITH SCORE 245646.493
AT ITER 79 NEW BEST:: SOT 1205831 SOS 1108485 HAS SOPS 1082274 HAS SOUS 245463 HAS SOUPS 244538 WITH SCORE 245646.485
AT ITER 81 NEW BEST:: SOT 1223161 SOS 1125815 HAS SOPS 1099604 HAS SOUS 232650 HAS SOUPS 231725 WITH SCORE 232850.815
AT ITER 83 NEW BEST:: SOT 1289783 SOS 1191863 HAS SOPS 1165334 HAS SOUS 214145 HAS SOUPS 213228 WITH SCORE 214419.863
AT ITER 87 NEW BEST:: SOT 1289775 SOS 1191855 HAS SOPS 1165326 HAS SOUS 214134 HAS SOUPS 213217 WITH SCORE 214408.855
AT ITER 89 NEW BEST:: SOT 1289677 SOS 1191727 HAS SOPS 1165228 HAS SOUS 214065 HAS SOUPS 213163 WITH SCORE 214354.727
AT ITER 90 NEW BEST:: SOT 1293316 SOS 1194876 HAS SOPS 1168451 HAS SOUS 210564 HAS SOUPS 209696 WITH SCORE 210890.876
AT ITER 95 NEW BEST:: SOT 1293316 SOS 1194594 HAS SOPS 1155691 HAS SOUS 210661 HAS SOUPS 209470 WITH SCORE 210664.594
AT ITER 97 NEW BEST:: SOT 1293150 SOS 1194428 HAS SOPS 1155525 HAS SOUS 210593 HAS SOUPS 209402 WITH SCORE 210596.428
AT ITER 99 NEW BEST:: SOT 1275226 SOS 1177262 HAS SOPS 1138231 HAS SOUS 205527 HAS SOUPS 204340 WITH SCORE 205517.262
AT ITER 100 NEW BEST:: SOT 1233992 SOS 1136028 HAS SOPS 1096997 HAS SOUS 193019 HAS SOUPS 191832 WITH SCORE 192968.028
AT ITER 116 NEW BEST:: SOT 1295701 SOS 1195813 HAS SOPS 1157220 HAS SOUS 172607 HAS SOUPS 171433 WITH SCORE 172628.813
AT ITER 117 NEW BEST:: SOT 1295701 SOS 1195813 HAS SOPS 1157220 HAS SOUS 172598 HAS SOUPS 171432 WITH SCORE 172627.813
AT ITER 122 NEW BEST:: SOT 1295581 SOS 1195693 HAS SOPS 1157100 HAS SOUS 172491 HAS SOUPS 171325 WITH SCORE 172520.693
AT ITER 131 NEW BEST:: SOT 1295563 SOS 1195675 HAS SOPS 1157082 HAS SOUS 172462 HAS SOUPS 171296 WITH SCORE 172491.675
AT ITER 136 NEW BEST:: SOT 1295603 SOS 1195715 HAS SOPS 1157122 HAS SOUS 172360 HAS SOUPS 171194 WITH SCORE 172389.715
AT ITER 138 NEW BEST:: SOT 1295531 SOS 1195651 HAS SOPS 1157050 HAS SOUS 172317 HAS SOUPS 171147 WITH SCORE 172342.651
AT ITER 142 NEW BEST:: SOT 1296430 SOS 1196550 HAS SOPS 1157949 HAS SOUS 171727 HAS SOUPS 170557 WITH SCORE 171753.55
AT ITER 143 NEW BEST:: SOT 1296601 SOS 1196501 HAS SOPS 1157926 HAS SOUS 171525 HAS SOUPS 170368 WITH SCORE 171564.501
AT ITER 149 NEW BEST:: SOT 1296601 SOS 1196501 HAS SOPS 1157926 HAS SOUS 171515 HAS SOUPS 170358 WITH SCORE 171554.501
AT ITER 155 NEW BEST:: SOT 1296601 SOS 1196501 HAS SOPS 1157926 HAS SOUS 171496 HAS SOUPS 170339 WITH SCORE 171535.501
AT ITER 160 NEW BEST:: SOT 1296591 SOS 1196491 HAS SOPS 1157916 HAS SOUS 171491 HAS SOUPS 170334 WITH SCORE 171530.491
AT ITER 164 NEW BEST:: SOT 1282792 SOS 1183992 HAS SOPS 1144765 HAS SOUS 164734 HAS SOUPS 163514 WITH SCORE 164697.992
AT ITER 168 NEW BEST:: SOT 1282776 SOS 1183976 HAS SOPS 1144749 HAS SOUS 164722 HAS SOUPS 163502 WITH SCORE 164685.976
AT ITER 169 NEW BEST:: SOT 1282328 SOS 1183542 HAS SOPS 1144315 HAS SOUS 164652 HAS SOUPS 163432 WITH SCORE 164615.542
AT ITER 171 NEW BEST:: SOT 1282316 SOS 1183530 HAS SOPS 1144303 HAS SOUS 164646 HAS SOUPS 163426 WITH SCORE 164609.53
AT ITER 172 NEW BEST:: SOT 1282134 SOS 1183348 HAS SOPS 1144121 HAS SOUS 164508 HAS SOUPS 163288 WITH SCORE 164471.348
AT ITER 174 NEW BEST:: SOT 1283072 SOS 1184286 HAS SOPS 1145059 HAS SOUS 162912 HAS SOUPS 161692 WITH SCORE 162876.286
AT ITER 175 NEW BEST:: SOT 1280668 SOS 1180436 HAS SOPS 1141062 HAS SOUS 162385 HAS SOUPS 161258 WITH SCORE 162438.436
AT ITER 179 NEW BEST:: SOT 1280712 SOS 1180480 HAS SOPS 1141106 HAS SOUS 162374 HAS SOUPS 161247 WITH SCORE 162427.48
AT ITER 181 NEW BEST:: SOT 1287047 SOS 1186815 HAS SOPS 1147441 HAS SOUS 161649 HAS SOUPS 160522 WITH SCORE 161708.815
AT ITER 183 NEW BEST:: SOT 1286997 SOS 1186765 HAS SOPS 1147391 HAS SOUS 161649 HAS SOUPS 160522 WITH SCORE 161708.765
AT ITER 187 NEW BEST:: SOT 1286963 SOS 1186731 HAS SOPS 1147357 HAS SOUS 161633 HAS SOUPS 160506 WITH SCORE 161692.731
AT ITER 190 NEW BEST:: SOT 1286789 SOS 1186557 HAS SOPS 1147183 HAS SOUS 161406 HAS SOUPS 160279 WITH SCORE 161465.557
AT ITER 199 NEW BEST:: SOT 1286691 SOS 1186453 HAS SOPS 1147077 HAS SOUS 161280 HAS SOUPS 160152 WITH SCORE 161338.453
AT ITER 202 NEW BEST:: SOT 1301153 SOS 1197863 HAS SOPS 1159599 HAS SOUS 150012 HAS SOUPS 148992 WITH SCORE 150189.863
AT ITER 206 NEW BEST:: SOT 1301153 SOS 1197797 HAS SOPS 1159503 HAS SOUS 149991 HAS SOUPS 148956 WITH SCORE 150153.797
AT ITER 208 NEW BEST:: SOT 1301089 SOS 1197763 HAS SOPS 1159439 HAS SOUS 149958 HAS SOUPS 148923 WITH SCORE 150120.763
AT ITER 216 NEW BEST:: SOT 1312518 SOS 1209192 HAS SOPS 1170868 HAS SOUS 148441 HAS SOUPS 147406 WITH SCORE 148615.192
AT ITER 220 NEW BEST:: SOT 1312446 SOS 1209120 HAS SOPS 1170796 HAS SOUS 148385 HAS SOUPS 147350 WITH SCORE 148559.12
AT ITER 223 NEW BEST:: SOT 1312446 SOS 1209120 HAS SOPS 1170796 HAS SOUS 148343 HAS SOUPS 147308 WITH SCORE 148517.12
AT ITER 224 NEW BEST:: SOT 1317207 SOS 1201397 HAS SOPS 1163595 HAS SOUS 138889 HAS SOUPS 138114 WITH SCORE 139315.397
AT ITER 226 NEW BEST:: SOT 1322327 SOS 1206517 HAS SOPS 1168715 HAS SOUS 138003 HAS SOUPS 137228 WITH SCORE 138434.517
AT ITER 230 NEW BEST:: SOT 1297900 SOS 1182090 HAS SOPS 1144288 HAS SOUS 136099 HAS SOUPS 135324 WITH SCORE 136506.09
AT ITER 233 NEW BEST:: SOT 1297918 SOS 1182107 HAS SOPS 1144305 HAS SOUS 136096 HAS SOUPS 135321 WITH SCORE 136503.107
AT ITER 244 NEW BEST:: SOT 1295202 SOS 1179743 HAS SOPS 1142021 HAS SOUS 135704 HAS SOUPS 134945 WITH SCORE 136124.743
AT ITER 251 NEW BEST:: SOT 1295202 SOS 1179743 HAS SOPS 1142021 HAS SOUS 135679 HAS SOUPS 134920 WITH SCORE 136099.743
AT ITER 253 NEW BEST:: SOT 1295158 SOS 1179699 HAS SOPS 1141977 HAS SOUS 135610 HAS SOUPS 134851 WITH SCORE 136030.699
AT ITER 261 NEW BEST:: SOT 1295082 SOS 1179623 HAS SOPS 1141901 HAS SOUS 135520 HAS SOUPS 134761 WITH SCORE 135940.623
AT ITER 267 NEW BEST:: SOT 1298764 SOS 1177861 HAS SOPS 1139943 HAS SOUS 135200 HAS SOUPS 134448 WITH SCORE 135625.861
AT ITER 270 NEW BEST:: SOT 1287549 SOS 1166900 HAS SOPS 1129302 HAS SOUS 133157 HAS SOUPS 132397 WITH SCORE 133563.9
AT ITER 271 NEW BEST:: SOT 1287513 SOS 1166864 HAS SOPS 1129266 HAS SOUS 133079 HAS SOUPS 132319 WITH SCORE 133485.864
AT ITER 273 NEW BEST:: SOT 1287513 SOS 1166858 HAS SOPS 1129266 HAS SOUS 133079 HAS SOUPS 132319 WITH SCORE 133485.858
AT ITER 275 NEW BEST:: SOT 1292803 SOS 1171556 HAS SOPS 1133692 HAS SOUS 126956 HAS SOUPS 126214 WITH SCORE 127385.556
AT ITER 276 NEW BEST:: SOT 1292818 SOS 1172682 HAS SOPS 1133743 HAS SOUS 126395 HAS SOUPS 125608 WITH SCORE 126780.682
AT ITER 277 NEW BEST:: SOT 1292806 SOS 1172648 HAS SOPS 1133731 HAS SOUS 126354 HAS SOUPS 125578 WITH SCORE 126750.648
AT ITER 280 NEW BEST:: SOT 1293220 SOS 1173046 HAS SOPS 1134145 HAS SOUS 126324 HAS SOUPS 125552 WITH SCORE 126725.046
AT ITER 288 NEW BEST:: SOT 1290532 SOS 1170358 HAS SOPS 1131457 HAS SOUS 126294 HAS SOUPS 125522 WITH SCORE 126692.358
AT ITER 289 NEW BEST:: SOT 1286460 SOS 1166286 HAS SOPS 1127385 HAS SOUS 123356 HAS SOUPS 122584 WITH SCORE 123750.286
AT ITER 290 NEW BEST:: SOT 1286460 SOS 1164864 HAS SOPS 1125971 HAS SOUS 122604 HAS SOUPS 121856 WITH SCORE 123020.864
AT ITER 293 NEW BEST:: SOT 1286448 SOS 1164852 HAS SOPS 1125959 HAS SOUS 122586 HAS SOUPS 121838 WITH SCORE 123002.852
AT ITER 297 NEW BEST:: SOT 1289212 SOS 1167616 HAS SOPS 1128723 HAS SOUS 121421 HAS SOUPS 120673 WITH SCORE 121840.616
AT ITER 302 NEW BEST:: SOT 1289996 SOS 1167780 HAS SOPS 1128743 HAS SOUS 120042 HAS SOUPS 119297 WITH SCORE 120464.78
AT ITER 309 NEW BEST:: SOT 1289996 SOS 1167776 HAS SOPS 1128743 HAS SOUS 120027 HAS SOUPS 119284 WITH SCORE 120451.776
AT ITER 311 NEW BEST:: SOT 1299739 SOS 1177519 HAS SOPS 1138486 HAS SOUS 116061 HAS SOUPS 115318 WITH SCORE 116495.519
AT ITER 312 NEW BEST:: SOT 1299739 SOS 1172993 HAS SOPS 1115184 HAS SOUS 115698 HAS SOUPS 114973 WITH SCORE 116145.993
AT ITER 335 NEW BEST:: SOT 1299739 SOS 1157795 HAS SOPS 1112452 HAS SOUS 115510 HAS SOUPS 114820 WITH SCORE 115977.795
AT ITER 338 NEW BEST:: SOT 1299755 SOS 1156123 HAS SOPS 1110776 HAS SOUS 115279 HAS SOUPS 114605 WITH SCORE 115761.123
AT ITER 339 NEW BEST:: SOT 1295344 SOS 1152729 HAS SOPS 1106673 HAS SOUS 112639 HAS SOUPS 111967 WITH SCORE 113119.729
AT ITER 342 NEW BEST:: SOT 1295328 SOS 1152713 HAS SOPS 1106657 HAS SOUS 112636 HAS SOUPS 111964 WITH SCORE 113116.713
AT ITER 355 NEW BEST:: SOT 1295184 SOS 1152569 HAS SOPS 1106513 HAS SOUS 112612 HAS SOUPS 111940 WITH SCORE 113092.569
AT ITER 363 NEW BEST:: SOT 1295184 SOS 1151273 HAS SOPS 1106373 HAS SOUS 112582 HAS SOUPS 111916 WITH SCORE 113067.273
AT ITER 367 NEW BEST:: SOT 1308979 SOS 1165068 HAS SOPS 1120168 HAS SOUS 109139 HAS SOUPS 108473 WITH SCORE 109638.068
AT ITER 370 NEW BEST:: SOT 1309011 SOS 1165100 HAS SOPS 1120200 HAS SOUS 109135 HAS SOUPS 108469 WITH SCORE 109634.1
AT ITER 371 NEW BEST:: SOT 1309011 SOS 1165096 HAS SOPS 1120200 HAS SOUS 109135 HAS SOUPS 108469 WITH SCORE 109634.096
AT ITER 376 NEW BEST:: SOT 1318799 SOS 1174884 HAS SOPS 1129988 HAS SOUS 108256 HAS SOUPS 107590 WITH SCORE 108764.884
AT ITER 384 NEW BEST:: SOT 1319823 SOS 1175908 HAS SOPS 1131012 HAS SOUS 108012 HAS SOUPS 107346 WITH SCORE 108521.908
AT ITER 388 NEW BEST:: SOT 1320343 SOS 1174366 HAS SOPS 1130532 HAS SOUS 106815 HAS SOUPS 106183 WITH SCORE 107357.366
AT ITER 392 NEW BEST:: SOT 1320303 SOS 1174326 HAS SOPS 1130492 HAS SOUS 106775 HAS SOUPS 106143 WITH SCORE 107317.326
AT ITER 394 NEW BEST:: SOT 1320303 SOS 1174326 HAS SOPS 1130492 HAS SOUS 106770 HAS SOUPS 106138 WITH SCORE 107312.326
AT ITER 408 NEW BEST:: SOT 1320239 SOS 1174238 HAS SOPS 1130428 HAS SOUS 106623 HAS SOUPS 105997 WITH SCORE 107171.238
AT ITER 409 NEW BEST:: SOT 1320231 SOS 1174230 HAS SOPS 1130420 HAS SOUS 106618 HAS SOUPS 105992 WITH SCORE 107166.23
AT ITER 420 NEW BEST:: SOT 1333661 SOS 1187660 HAS SOPS 1143850 HAS SOUS 103490 HAS SOUPS 102864 WITH SCORE 104051.66
AT ITER 424 NEW BEST:: SOT 1335839 SOS 1189838 HAS SOPS 1146028 HAS SOUS 102458 HAS SOUPS 101832 WITH SCORE 103021.838
AT ITER 427 NEW BEST:: SOT 1335693 SOS 1189750 HAS SOPS 1145940 HAS SOUS 102409 HAS SOUPS 101783 WITH SCORE 102972.75
AT ITER 429 NEW BEST:: SOT 1335625 SOS 1189682 HAS SOPS 1145872 HAS SOUS 102336 HAS SOUPS 101710 WITH SCORE 102899.682
AT ITER 430 NEW BEST:: SOT 1335643 SOS 1189670 HAS SOPS 1145860 HAS SOUS 102317 HAS SOUPS 101691 WITH SCORE 102880.67
AT ITER 437 NEW BEST:: SOT 1335449 SOS 1189476 HAS SOPS 1145666 HAS SOUS 102259 HAS SOUPS 101633 WITH SCORE 102822.476
AT ITER 452 NEW BEST:: SOT 1339451 SOS 1177498 HAS SOPS 1141258 HAS SOUS 99209 HAS SOUPS 98652 WITH SCORE 99829.498
AT ITER 460 NEW BEST:: SOT 1339409 SOS 1177456 HAS SOPS 1141216 HAS SOUS 99109 HAS SOUPS 98552 WITH SCORE 99729.456
AT ITER 463 NEW BEST:: SOT 1335979 SOS 1174026 HAS SOPS 1137786 HAS SOUS 98426 HAS SOUPS 97869 WITH SCORE 99043.026
AT ITER 468 NEW BEST:: SOT 1335979 SOS 1174014 HAS SOPS 1137774 HAS SOUS 98414 HAS SOUPS 97857 WITH SCORE 99031.014
AT ITER 473 NEW BEST:: SOT 1335971 SOS 1174006 HAS SOPS 1137766 HAS SOUS 98400 HAS SOUPS 97843 WITH SCORE 99017.006
AT ITER 477 NEW BEST:: SOT 1336869 SOS 1174904 HAS SOPS 1138664 HAS SOUS 98093 HAS SOUPS 97536 WITH SCORE 98710.904
AT ITER 480 NEW BEST:: SOT 1342797 SOS 1180832 HAS SOPS 1144592 HAS SOUS 96411 HAS SOUPS 95854 WITH SCORE 97034.832
AT ITER 481 NEW BEST:: SOT 1342797 SOS 1180824 HAS SOPS 1144590 HAS SOUS 96417 HAS SOUPS 95853 WITH SCORE 97033.824
AT ITER 485 NEW BEST:: SOT 1342763 SOS 1180790 HAS SOPS 1144556 HAS SOUS 96383 HAS SOUPS 95819 WITH SCORE 96999.79
AT ITER 495 NEW BEST:: SOT 1342645 SOS 1180672 HAS SOPS 1144438 HAS SOUS 96282 HAS SOUPS 95718 WITH SCORE 96898.672
AT ITER 500 NEW BEST:: SOT 1342533 SOS 1180594 HAS SOPS 1144360 HAS SOUS 96258 HAS SOUPS 95694 WITH SCORE 96874.594
AT ITER 503 NEW BEST:: SOT 1342561 SOS 1180622 HAS SOPS 1144388 HAS SOUS 96255 HAS SOUPS 95691 WITH SCORE 96871.622
AT ITER 509 NEW BEST:: SOT 1342561 SOS 1180622 HAS SOPS 1144388 HAS SOUS 96246 HAS SOUPS 95682 WITH SCORE 96862.622
AT ITER 518 NEW BEST:: SOT 1345821 SOS 1181338 HAS SOPS 1146768 HAS SOUS 95325 HAS SOUPS 94763 WITH SCORE 95944.338
AT ITER 519 NEW BEST:: SOT 1350111 SOS 1185628 HAS SOPS 1151058 HAS SOUS 94690 HAS SOUPS 94128 WITH SCORE 95313.628
AT ITER 522 NEW BEST:: SOT 1350121 SOS 1185638 HAS SOPS 1151068 HAS SOUS 94662 HAS SOUPS 94100 WITH SCORE 95285.638
AT ITER 526 NEW BEST:: SOT 1349823 SOS 1185372 HAS SOPS 1150802 HAS SOUS 94612 HAS SOUPS 94058 WITH SCORE 95243.372
AT ITER 531 NEW BEST:: SOT 1349811 SOS 1185360 HAS SOPS 1150790 HAS SOUS 94576 HAS SOUPS 94022 WITH SCORE 95207.36
AT ITER 536 NEW BEST:: SOT 1366295 SOS 1201844 HAS SOPS 1167274 HAS SOUS 94415 HAS SOUPS 93861 WITH SCORE 95062.844
AT ITER 541 NEW BEST:: SOT 1380764 SOS 1216313 HAS SOPS 1181743 HAS SOUS 93845 HAS SOUPS 93291 WITH SCORE 94507.313
AT ITER 542 NEW BEST:: SOT 1383134 SOS 1213861 HAS SOPS 1182821 HAS SOUS 91451 HAS SOUPS 90947 WITH SCORE 92160.861
AT ITER 555 NEW BEST:: SOT 1383112 SOS 1213839 HAS SOPS 1182799 HAS SOUS 91448 HAS SOUPS 90944 WITH SCORE 92157.839
AT ITER 562 NEW BEST:: SOT 1383450 SOS 1168719 HAS SOPS 1136161 HAS SOUS 91146 HAS SOUPS 90638 WITH SCORE 91806.719
AT ITER 564 NEW BEST:: SOT 1383162 SOS 1168431 HAS SOPS 1135873 HAS SOUS 91002 HAS SOUPS 90494 WITH SCORE 91662.431
AT ITER 566 NEW BEST:: SOT 1383124 SOS 1168393 HAS SOPS 1135835 HAS SOUS 90992 HAS SOUPS 90484 WITH SCORE 91652.393
AT ITER 573 NEW BEST:: SOT 1383112 SOS 1168381 HAS SOPS 1135823 HAS SOUS 90986 HAS SOUPS 90478 WITH SCORE 91646.381
AT ITER 578 NEW BEST:: SOT 1383122 SOS 1168397 HAS SOPS 1135805 HAS SOUS 90994 HAS SOUPS 90469 WITH SCORE 91637.397
AT ITER 584 NEW BEST:: SOT 1372438 SOS 1157713 HAS SOPS 1125121 HAS SOUS 89943 HAS SOUPS 89418 WITH SCORE 90575.713
AT ITER 595 NEW BEST:: SOT 1372352 SOS 1157627 HAS SOPS 1125035 HAS SOUS 89839 HAS SOUPS 89314 WITH SCORE 90471.627
AT ITER 596 NEW BEST:: SOT 1372332 SOS 1157607 HAS SOPS 1125015 HAS SOUS 89839 HAS SOUPS 89314 WITH SCORE 90471.607
AT ITER 600 NEW BEST:: SOT 1372296 SOS 1157563 HAS SOPS 1124975 HAS SOUS 89765 HAS SOUPS 89242 WITH SCORE 90399.563
AT ITER 609 NEW BEST:: SOT 1372288 SOS 1157547 HAS SOPS 1124959 HAS SOUS 89761 HAS SOUPS 89238 WITH SCORE 90395.547
AT ITER 622 NEW BEST:: SOT 1372498 SOS 1155383 HAS SOPS 1102453 HAS SOUS 89218 HAS SOUPS 88642 WITH SCORE 89797.383
AT ITER 624 NEW BEST:: SOT 1372430 SOS 1155315 HAS SOPS 1102385 HAS SOUS 89167 HAS SOUPS 88591 WITH SCORE 89746.315
AT ITER 629 NEW BEST:: SOT 1374664 SOS 1157549 HAS SOPS 1104619 HAS SOUS 88837 HAS SOUPS 88261 WITH SCORE 89418.549
AT ITER 631 NEW BEST:: SOT 1374624 SOS 1157509 HAS SOPS 1104579 HAS SOUS 88817 HAS SOUPS 88241 WITH SCORE 89398.509
AT ITER 638 NEW BEST:: SOT 1374638 SOS 1157523 HAS SOPS 1104593 HAS SOUS 88740 HAS SOUPS 88164 WITH SCORE 89321.523
AT ITER 640 NEW BEST:: SOT 1375578 SOS 1128317 HAS SOPS 1080661 HAS SOUS 88373 HAS SOUPS 87881 WITH SCORE 89009.317
AT ITER 641 NEW BEST:: SOT 1375544 SOS 1128283 HAS SOPS 1080627 HAS SOUS 88295 HAS SOUPS 87803 WITH SCORE 88931.283
AT ITER 642 NEW BEST:: SOT 1375544 SOS 1128283 HAS SOPS 1080627 HAS SOUS 88246 HAS SOUPS 87754 WITH SCORE 88882.283
AT ITER 645 NEW BEST:: SOT 1375544 SOS 1128235 HAS SOPS 1080627 HAS SOUS 88215 HAS SOUPS 87747 WITH SCORE 88875.235
AT ITER 654 NEW BEST:: SOT 1375498 SOS 1128189 HAS SOPS 1080581 HAS SOUS 88168 HAS SOUPS 87700 WITH SCORE 88828.189
AT ITER 658 NEW BEST:: SOT 1403540 SOS 1156231 HAS SOPS 1108623 HAS SOUS 87420 HAS SOUPS 86952 WITH SCORE 88108.231
AT ITER 665 NEW BEST:: SOT 1399786 SOS 1152477 HAS SOPS 1104869 HAS SOUS 86937 HAS SOUPS 86469 WITH SCORE 87621.477
AT ITER 668 NEW BEST:: SOT 1401930 SOS 1154621 HAS SOPS 1107013 HAS SOUS 86872 HAS SOUPS 86404 WITH SCORE 87558.621
AT ITER 673 NEW BEST:: SOT 1401900 SOS 1154549 HAS SOPS 1106983 HAS SOUS 86822 HAS SOUPS 86375 WITH SCORE 87529.549
AT ITER 674 NEW BEST:: SOT 1424705 SOS 1175216 HAS SOPS 1128000 HAS SOUS 84952 HAS SOUPS 84510 WITH SCORE 85685.216
AT ITER 684 NEW BEST:: SOT 1424083 SOS 1174594 HAS SOPS 1127378 HAS SOUS 84815 HAS SOUPS 84373 WITH SCORE 85547.594
AT ITER 685 NEW BEST:: SOT 1424027 SOS 1174538 HAS SOPS 1127322 HAS SOUS 84787 HAS SOUPS 84345 WITH SCORE 85519.538
AT ITER 688 NEW BEST:: SOT 1426583 SOS 1177094 HAS SOPS 1129878 HAS SOUS 83286 HAS SOUPS 82844 WITH SCORE 84021.094
AT ITER 690 NEW BEST:: SOT 1426583 SOS 1177050 HAS SOPS 1129856 HAS SOUS 83232 HAS SOUPS 82801 WITH SCORE 83978.05
AT ITER 694 NEW BEST:: SOT 1426497 SOS 1176964 HAS SOPS 1129770 HAS SOUS 83194 HAS SOUPS 82763 WITH SCORE 83939.964
AT ITER 697 NEW BEST:: SOT 1426467 SOS 1176934 HAS SOPS 1129740 HAS SOUS 83156 HAS SOUPS 82725 WITH SCORE 83901.934
AT ITER 698 NEW BEST:: SOT 1426447 SOS 1176914 HAS SOPS 1129720 HAS SOUS 83113 HAS SOUPS 82682 WITH SCORE 83858.914
AT ITER 707 NEW BEST:: SOT 1426490 SOS 1176926 HAS SOPS 1129732 HAS SOUS 83088 HAS SOUPS 82657 WITH SCORE 83833.926
AT ITER 710 NEW BEST:: SOT 1426622 SOS 1177058 HAS SOPS 1129864 HAS SOUS 83072 HAS SOUPS 82641 WITH SCORE 83818.058
AT ITER 716 NEW BEST:: SOT 1426580 SOS 1176994 HAS SOPS 1129822 HAS SOUS 83040 HAS SOUPS 82620 WITH SCORE 83796.994
AT ITER 731 NEW BEST:: SOT 1426580 SOS 1176994 HAS SOPS 1129822 HAS SOUS 83039 HAS SOUPS 82619 WITH SCORE 83795.994
AT ITER 734 NEW BEST:: SOT 1426580 SOS 1176961 HAS SOPS 1129789 HAS SOUS 83039 HAS SOUPS 82619 WITH SCORE 83795.961
AT ITER 751 NEW BEST:: SOT 1429252 SOS 1179633 HAS SOPS 1132461 HAS SOUS 82525 HAS SOUPS 82105 WITH SCORE 83284.633
AT ITER 756 NEW BEST:: SOT 1429228 SOS 1179609 HAS SOPS 1132437 HAS SOUS 82513 HAS SOUPS 82093 WITH SCORE 83272.609
AT ITER 766 NEW BEST:: SOT 1429210 SOS 1179591 HAS SOPS 1132419 HAS SOUS 82511 HAS SOUPS 82091 WITH SCORE 83270.591
AT ITER 767 NEW BEST:: SOT 1430794 SOS 1181175 HAS SOPS 1134003 HAS SOUS 81878 HAS SOUPS 81458 WITH SCORE 82639.175
AT ITER 776 NEW BEST:: SOT 1430794 SOS 1181165 HAS SOPS 1134003 HAS SOUS 81847 HAS SOUPS 81432 WITH SCORE 82613.165
AT ITER 778 NEW BEST:: SOT 1430796 SOS 1181203 HAS SOPS 1134041 HAS SOUS 81836 HAS SOUPS 81421 WITH SCORE 82602.203
AT ITER 780 NEW BEST:: SOT 1430764 SOS 1181171 HAS SOPS 1134009 HAS SOUS 81808 HAS SOUPS 81393 WITH SCORE 82574.171
AT ITER 784 NEW BEST:: SOT 1427052 SOS 1177459 HAS SOPS 1130297 HAS SOUS 81590 HAS SOUPS 81175 WITH SCORE 82352.459
AT ITER 791 NEW BEST:: SOT 1426950 SOS 1177297 HAS SOPS 1130195 HAS SOUS 81474 HAS SOUPS 81089 WITH SCORE 82266.297
AT ITER 793 NEW BEST:: SOT 1426762 SOS 1177109 HAS SOPS 1130007 HAS SOUS 81416 HAS SOUPS 81031 WITH SCORE 82208.109
AT ITER 800 NEW BEST:: SOT 1427543 SOS 1173034 HAS SOPS 1129856 HAS SOUS 80938 HAS SOUPS 80570 WITH SCORE 81743.034
AT ITER 811 NEW BEST:: SOT 1434931 SOS 1180422 HAS SOPS 1137244 HAS SOUS 80530 HAS SOUPS 80162 WITH SCORE 81342.422
AT ITER 818 NEW BEST:: SOT 1435207 SOS 1178424 HAS SOPS 1134994 HAS SOUS 79530 HAS SOUPS 79192 WITH SCORE 80370.424
AT ITER 822 NEW BEST:: SOT 1435199 SOS 1178416 HAS SOPS 1134986 HAS SOUS 79524 HAS SOUPS 79186 WITH SCORE 80364.416
AT ITER 824 NEW BEST:: SOT 1435163 SOS 1178380 HAS SOPS 1134950 HAS SOUS 79506 HAS SOUPS 79168 WITH SCORE 80346.38
AT ITER 830 NEW BEST:: SOT 1436539 SOS 1093154 HAS SOPS 1008108 HAS SOUS 79801 HAS SOUPS 79123 WITH SCORE 80216.154
AT ITER 836 NEW BEST:: SOT 1436401 SOS 1093016 HAS SOPS 1007970 HAS SOUS 79748 HAS SOUPS 79070 WITH SCORE 80163.016
AT ITER 840 NEW BEST:: SOT 1436399 SOS 1093014 HAS SOPS 1007968 HAS SOUS 79743 HAS SOUPS 79065 WITH SCORE 80158.014
AT ITER 855 NEW BEST:: SOT 1436387 SOS 1092954 HAS SOPS 1007944 HAS SOUS 79731 HAS SOUPS 79053 WITH SCORE 80145.954
AT ITER 858 NEW BEST:: SOT 1436331 SOS 1092898 HAS SOPS 1007888 HAS SOUS 79708 HAS SOUPS 79030 WITH SCORE 80122.898
AT ITER 867 NEW BEST:: SOT 1436331 SOS 1092890 HAS SOPS 1007880 HAS SOUS 79704 HAS SOUPS 79026 WITH SCORE 80118.89
AT ITER 869 NEW BEST:: SOT 1436329 SOS 1092888 HAS SOPS 1007878 HAS SOUS 79703 HAS SOUPS 79025 WITH SCORE 80117.888
AT ITER 878 NEW BEST:: SOT 1436042 SOS 1092830 HAS SOPS 1007660 HAS SOUS 79614 HAS SOUPS 78926 WITH SCORE 80018.83
AT ITER 899 NEW BEST:: SOT 1436042 SOS 1092772 HAS SOPS 1007578 HAS SOUS 79610 HAS SOUPS 78916 WITH SCORE 80008.772
AT ITER 900 NEW BEST:: SOT 1436040 SOS 1092770 HAS SOPS 1007576 HAS SOUS 79609 HAS SOUPS 78915 WITH SCORE 80007.77
AT ITER 922 NEW BEST:: SOT 1436038 SOS 1092761 HAS SOPS 1007567 HAS SOUS 79603 HAS SOUPS 78909 WITH SCORE 80001.761
AT ITER 930 NEW BEST:: SOT 1439070 SOS 1095793 HAS SOPS 1010599 HAS SOUS 79298 HAS SOUPS 78604 WITH SCORE 79699.793
AT ITER 932 NEW BEST:: SOT 1449046 SOS 1105769 HAS SOPS 1020575 HAS SOUS 78808 HAS SOUPS 78114 WITH SCORE 79219.769
AT ITER 935 NEW BEST:: SOT 1454896 SOS 1111279 HAS SOPS 1026107 HAS SOUS 75772 HAS SOUPS 75079 WITH SCORE 76190.279
AT ITER 938 NEW BEST:: SOT 1454896 SOS 1111231 HAS SOPS 1026051 HAS SOUS 75747 HAS SOUPS 75051 WITH SCORE 76162.231
AT ITER 945 NEW BEST:: SOT 1454730 SOS 1111065 HAS SOPS 1025885 HAS SOUS 75624 HAS SOUPS 74928 WITH SCORE 76039.065
AT ITER 946 NEW BEST:: SOT 1456598 SOS 1112933 HAS SOPS 1027753 HAS SOUS 75370 HAS SOUPS 74674 WITH SCORE 75786.933
AT ITER 948 NEW BEST:: SOT 1456598 SOS 1111761 HAS SOPS 1026873 HAS SOUS 75336 HAS SOUPS 74650 WITH SCORE 75761.761
AT ITER 949 NEW BEST:: SOT 1456586 SOS 1111749 HAS SOPS 1026861 HAS SOUS 75330 HAS SOUPS 74644 WITH SCORE 75755.749
AT ITER 952 NEW BEST:: SOT 1456586 SOS 1111837 HAS SOPS 1026881 HAS SOUS 75371 HAS SOUPS 74642 WITH SCORE 75753.837
AT ITER 953 NEW BEST:: SOT 1456586 SOS 1111837 HAS SOPS 1026881 HAS SOUS 75339 HAS SOUPS 74610 WITH SCORE 75721.837
AT ITER 956 NEW BEST:: SOT 1456614 SOS 1111809 HAS SOPS 1026909 HAS SOUS 75307 HAS SOUPS 74606 WITH SCORE 75717.809
AT ITER 958 NEW BEST:: SOT 1456642 SOS 1111875 HAS SOPS 1026937 HAS SOUS 75319 HAS SOUPS 74599 WITH SCORE 75710.875
AT ITER 982 NEW BEST:: SOT 1456624 SOS 1111913 HAS SOPS 1026919 HAS SOUS 75346 HAS SOUPS 74598 WITH SCORE 75709.913
AT ITER 997 NEW BEST:: SOT 1459758 SOS 1115047 HAS SOPS 1030053 HAS SOUS 75052 HAS SOUPS 74304 WITH SCORE 75419.047
AT ITER 998 NEW BEST:: SOT 1459764 SOS 1115054 HAS SOPS 1030060 HAS SOUS 75049 HAS SOUPS 74301 WITH SCORE 75416.054
AT ITER 1019 NEW BEST:: SOT 1459764 SOS 1115054 HAS SOPS 1030052 HAS SOUS 75049 HAS SOUPS 74297 WITH SCORE 75412.054
AT ITER 1027 NEW BEST:: SOT 1459748 SOS 1115038 HAS SOPS 1030036 HAS SOUS 75041 HAS SOUPS 74289 WITH SCORE 75404.038
AT ITER 1029 NEW BEST:: SOT 1459748 SOS 1115022 HAS SOPS 1030036 HAS SOUS 75033 HAS SOUPS 74289 WITH SCORE 75404.022
AT ITER 1031 NEW BEST:: SOT 1459664 SOS 1114938 HAS SOPS 1029952 HAS SOUS 74991 HAS SOUPS 74247 WITH SCORE 75361.938
AT ITER 1032 NEW BEST:: SOT 1459776 SOS 1115050 HAS SOPS 1030064 HAS SOUS 74914 HAS SOUPS 74170 WITH SCORE 75285.05
AT ITER 1035 NEW BEST:: SOT 1459776 SOS 1115048 HAS SOPS 1030064 HAS SOUS 74914 HAS SOUPS 74170 WITH SCORE 75285.048
AT ITER 1044 NEW BEST:: SOT 1459776 SOS 1115008 HAS SOPS 1030004 HAS SOUS 74894 HAS SOUPS 74140 WITH SCORE 75255.008
AT ITER 1075 NEW BEST:: SOT 1459744 SOS 1114976 HAS SOPS 1029972 HAS SOUS 74891 HAS SOUPS 74137 WITH SCORE 75251.976
AT ITER 1078 NEW BEST:: SOT 1453836 SOS 1109068 HAS SOPS 1024064 HAS SOUS 74714 HAS SOUPS 73960 WITH SCORE 75069.068
AT ITER 1079 NEW BEST:: SOT 1453836 SOS 1109002 HAS SOPS 1024026 HAS SOUS 74697 HAS SOUPS 73934 WITH SCORE 75043.002
AT ITER 1089 NEW BEST:: SOT 1460906 SOS 1116072 HAS SOPS 1031096 HAS SOUS 73051 HAS SOUPS 72288 WITH SCORE 73404.072
AT ITER 1091 NEW BEST:: SOT 1460848 SOS 1116014 HAS SOPS 1031038 HAS SOUS 72993 HAS SOUPS 72230 WITH SCORE 73346.014
AT ITER 1094 NEW BEST:: SOT 1460846 SOS 1116012 HAS SOPS 1031036 HAS SOUS 72992 HAS SOUPS 72229 WITH SCORE 73345.012
AT ITER 1096 NEW BEST:: SOT 1460826 SOS 1115992 HAS SOPS 1031016 HAS SOUS 72972 HAS SOUPS 72209 WITH SCORE 73324.992
AT ITER 1108 NEW BEST:: SOT 1461086 SOS 1114128 HAS SOPS 1030856 HAS SOUS 72742 HAS SOUPS 71982 WITH SCORE 73096.128
AT ITER 1124 NEW BEST:: SOT 1461086 SOS 1114112 HAS SOPS 1030856 HAS SOUS 72734 HAS SOUPS 71982 WITH SCORE 73096.112
AT ITER 1127 NEW BEST:: SOT 1461086 SOS 1079034 HAS SOPS 1026960 HAS SOUS 72443 HAS SOUPS 71826 WITH SCORE 72905.034
AT ITER 1134 NEW BEST:: SOT 1461697 SOS 1079645 HAS SOPS 1027571 HAS SOUS 72355 HAS SOUPS 71738 WITH SCORE 72817.645
AT ITER 1140 NEW BEST:: SOT 1461683 SOS 1079631 HAS SOPS 1027557 HAS SOUS 72335 HAS SOUPS 71718 WITH SCORE 72797.631
AT ITER 1142 NEW BEST:: SOT 1461685 SOS 1079625 HAS SOPS 1027551 HAS SOUS 72332 HAS SOUPS 71715 WITH SCORE 72794.625
AT ITER 1149 NEW BEST:: SOT 1460397 SOS 1078337 HAS SOPS 1026263 HAS SOUS 71724 HAS SOUPS 71107 WITH SCORE 72185.337
AT ITER 1154 NEW BEST:: SOT 1459815 SOS 1077755 HAS SOPS 1025681 HAS SOUS 71722 HAS SOUPS 71105 WITH SCORE 72182.755
AT ITER 1166 NEW BEST:: SOT 1459755 SOS 1077629 HAS SOPS 1025621 HAS SOUS 71578 HAS SOUPS 70994 WITH SCORE 72071.629
AT ITER 1175 NEW BEST:: SOT 1459755 SOS 1077615 HAS SOPS 1025621 HAS SOUS 71571 HAS SOUPS 70994 WITH SCORE 72071.615
AT ITER 1176 NEW BEST:: SOT 1459755 SOS 1077615 HAS SOPS 1025621 HAS SOUS 71567 HAS SOUPS 70990 WITH SCORE 72067.615
AT ITER 1179 NEW BEST:: SOT 1456955 SOS 1074815 HAS SOPS 1022821 HAS SOUS 70886 HAS SOUPS 70309 WITH SCORE 71383.815
AT ITER 1184 NEW BEST:: SOT 1469869 SOS 1087729 HAS SOPS 1035735 HAS SOUS 68597 HAS SOUPS 68020 WITH SCORE 69107.729
AT ITER 1198 NEW BEST:: SOT 1469987 SOS 1087847 HAS SOPS 1035853 HAS SOUS 68459 HAS SOUPS 67882 WITH SCORE 68969.847
AT ITER 1199 NEW BEST:: SOT 1469993 SOS 1087831 HAS SOPS 1035859 HAS SOUS 68438 HAS SOUPS 67872 WITH SCORE 68959.831
AT ITER 1205 NEW BEST:: SOT 1469991 SOS 1087827 HAS SOPS 1035855 HAS SOUS 68432 HAS SOUPS 67866 WITH SCORE 68953.827
AT ITER 1218 NEW BEST:: SOT 1469976 SOS 1072641 HAS SOPS 1034235 HAS SOUS 68302 HAS SOUPS 67766 WITH SCORE 68838.641
AT ITER 1223 NEW BEST:: SOT 1469940 SOS 1072605 HAS SOPS 1034199 HAS SOUS 68284 HAS SOUPS 67748 WITH SCORE 68820.605
AT ITER 1228 NEW BEST:: SOT 1470048 SOS 1072713 HAS SOPS 1034307 HAS SOUS 68254 HAS SOUPS 67718 WITH SCORE 68790.713
AT ITER 1238 NEW BEST:: SOT 1470006 SOS 1072671 HAS SOPS 1034265 HAS SOUS 68219 HAS SOUPS 67683 WITH SCORE 68755.671
AT ITER 1242 NEW BEST:: SOT 1470006 SOS 1072671 HAS SOPS 1034265 HAS SOUS 68209 HAS SOUPS 67673 WITH SCORE 68745.671
AT ITER 1243 NEW BEST:: SOT 1470006 SOS 1072671 HAS SOPS 1034265 HAS SOUS 68191 HAS SOUPS 67655 WITH SCORE 68727.671
AT ITER 1244 NEW BEST:: SOT 1469936 SOS 1072601 HAS SOPS 1034195 HAS SOUS 68125 HAS SOUPS 67589 WITH SCORE 68661.601
AT ITER 1248 NEW BEST:: SOT 1469936 SOS 1072593 HAS SOPS 1034187 HAS SOUS 68121 HAS SOUPS 67585 WITH SCORE 68657.593
AT ITER 1257 NEW BEST:: SOT 1474188 SOS 1076845 HAS SOPS 1038439 HAS SOUS 67487 HAS SOUPS 66951 WITH SCORE 68027.845
AT ITER 1261 NEW BEST:: SOT 1474192 SOS 1076837 HAS SOPS 1038431 HAS SOUS 67487 HAS SOUPS 66951 WITH SCORE 68027.837
AT ITER 1272 NEW BEST:: SOT 1474182 SOS 1076827 HAS SOPS 1038421 HAS SOUS 67477 HAS SOUPS 66941 WITH SCORE 68017.827
AT ITER 1277 NEW BEST:: SOT 1474182 SOS 1076821 HAS SOPS 1038387 HAS SOUS 67471 HAS SOUPS 66924 WITH SCORE 68000.821
AT ITER 1286 NEW BEST:: SOT 1474462 SOS 1077101 HAS SOPS 1038667 HAS SOUS 67009 HAS SOUPS 66462 WITH SCORE 67539.101
AT ITER 1293 NEW BEST:: SOT 1474420 SOS 1077059 HAS SOPS 1038625 HAS SOUS 66987 HAS SOUPS 66440 WITH SCORE 67517.059
AT ITER 1301 NEW BEST:: SOT 1474420 SOS 1077053 HAS SOPS 1038625 HAS SOUS 66987 HAS SOUPS 66440 WITH SCORE 67517.053
AT ITER 1308 NEW BEST:: SOT 1476694 SOS 1074189 HAS SOPS 1037599 HAS SOUS 66419 HAS SOUPS 65878 WITH SCORE 66952.189
AT ITER 1309 NEW BEST:: SOT 1476694 SOS 1074065 HAS SOPS 1037443 HAS SOUS 66415 HAS SOUPS 65866 WITH SCORE 66940.065
AT ITER 1323 NEW BEST:: SOT 1478012 SOS 1075383 HAS SOPS 1038761 HAS SOUS 66097 HAS SOUPS 65548 WITH SCORE 66623.383
AT ITER 1329 NEW BEST:: SOT 1477938 SOS 1075309 HAS SOPS 1038687 HAS SOUS 66060 HAS SOUPS 65511 WITH SCORE 66586.309
AT ITER 1340 NEW BEST:: SOT 1477134 SOS 1074505 HAS SOPS 1037883 HAS SOUS 65980 HAS SOUPS 65431 WITH SCORE 66505.505
AT ITER 1342 NEW BEST:: SOT 1477094 SOS 1074458 HAS SOPS 1037836 HAS SOUS 65940 HAS SOUPS 65391 WITH SCORE 66465.458
AT ITER 1345 NEW BEST:: SOT 1476920 SOS 1074284 HAS SOPS 1037662 HAS SOUS 65762 HAS SOUPS 65213 WITH SCORE 66287.284
AT ITER 1354 NEW BEST:: SOT 1437768 SOS 1035132 HAS SOPS 998510 HAS SOUS 64797 HAS SOUPS 64248 WITH SCORE 65283.132
AT ITER 1355 NEW BEST:: SOT 1437761 SOS 1035125 HAS SOPS 998503 HAS SOUS 64796 HAS SOUPS 64247 WITH SCORE 65282.125
AT ITER 1369 NEW BEST:: SOT 1437921 SOS 1035285 HAS SOPS 998663 HAS SOUS 64726 HAS SOUPS 64177 WITH SCORE 65212.285
AT ITER 1374 NEW BEST:: SOT 1437921 SOS 1035271 HAS SOPS 998663 HAS SOUS 64719 HAS SOUPS 64177 WITH SCORE 65212.271
AT ITER 1375 NEW BEST:: SOT 1464683 SOS 1062193 HAS SOPS 1025585 HAS SOUS 63551 HAS SOUPS 63009 WITH SCORE 64071.193
AT ITER 1379 NEW BEST:: SOT 1511463 SOS 1108973 HAS SOPS 1072365 HAS SOUS 63190 HAS SOUPS 62648 WITH SCORE 63756.973
AT ITER 1381 NEW BEST:: SOT 1511463 SOS 1108961 HAS SOPS 1072359 HAS SOUS 63184 HAS SOUPS 62645 WITH SCORE 63753.961
AT ITER 1382 NEW BEST:: SOT 1511391 SOS 1108889 HAS SOPS 1072287 HAS SOUS 63148 HAS SOUPS 62609 WITH SCORE 63717.889
AT ITER 1389 NEW BEST:: SOT 1511391 SOS 1108877 HAS SOPS 1072287 HAS SOUS 63142 HAS SOUPS 62609 WITH SCORE 63717.877
AT ITER 1406 NEW BEST:: SOT 1511621 SOS 1109107 HAS SOPS 1072517 HAS SOUS 63103 HAS SOUPS 62570 WITH SCORE 63679.107
AT ITER 1414 NEW BEST:: SOT 1511481 SOS 1108967 HAS SOPS 1072377 HAS SOUS 63017 HAS SOUPS 62484 WITH SCORE 63592.967
AT ITER 1415 NEW BEST:: SOT 1511473 SOS 1108959 HAS SOPS 1072369 HAS SOUS 63013 HAS SOUPS 62480 WITH SCORE 63588.959
AT ITER 1430 NEW BEST:: SOT 1511471 SOS 1108957 HAS SOPS 1072367 HAS SOUS 63011 HAS SOUPS 62478 WITH SCORE 63586.957
AT ITER 1436 NEW BEST:: SOT 1511437 SOS 1108923 HAS SOPS 1072333 HAS SOUS 62976 HAS SOUPS 62443 WITH SCORE 63551.923
AT ITER 1453 NEW BEST:: SOT 1511365 SOS 1108851 HAS SOPS 1072261 HAS SOUS 62839 HAS SOUPS 62306 WITH SCORE 63414.851
AT ITER 1454 NEW BEST:: SOT 1511249 SOS 1108735 HAS SOPS 1072145 HAS SOUS 62817 HAS SOUPS 62284 WITH SCORE 63392.735
AT ITER 1458 NEW BEST:: SOT 1511215 SOS 1108701 HAS SOPS 1072111 HAS SOUS 62769 HAS SOUPS 62236 WITH SCORE 63344.701
AT ITER 1461 NEW BEST:: SOT 1511183 SOS 1108741 HAS SOPS 1072079 HAS SOUS 62743 HAS SOUPS 62199 WITH SCORE 63307.741
AT ITER 1468 NEW BEST:: SOT 1511161 SOS 1108719 HAS SOPS 1072057 HAS SOUS 62732 HAS SOUPS 62188 WITH SCORE 63296.719
AT ITER 1496 NEW BEST:: SOT 1511073 SOS 1108627 HAS SOPS 1071967 HAS SOUS 62588 HAS SOUPS 62045 WITH SCORE 63153.627
AT ITER 1505 NEW BEST:: SOT 1511073 SOS 1108573 HAS SOPS 1071941 HAS SOUS 62561 HAS SOUPS 62032 WITH SCORE 63140.573
AT ITER 1512 NEW BEST:: SOT 1510969 SOS 1108505 HAS SOPS 1071837 HAS SOUS 62550 HAS SOUPS 62012 WITH SCORE 63120.505
AT ITER 1519 NEW BEST:: SOT 1510969 SOS 1108478 HAS SOPS 1071798 HAS SOUS 62549 HAS SOUPS 62008 WITH SCORE 63116.478
AT ITER 1533 NEW BEST:: SOT 1523441 SOS 1120950 HAS SOPS 1084270 HAS SOUS 62191 HAS SOUPS 61650 WITH SCORE 62770.95
AT ITER 1539 NEW BEST:: SOT 1523441 SOS 1120950 HAS SOPS 1084260 HAS SOUS 62186 HAS SOUPS 61637 WITH SCORE 62757.95
AT ITER 1547 NEW BEST:: SOT 1524181 SOS 1121690 HAS SOPS 1085000 HAS SOUS 62068 HAS SOUPS 61519 WITH SCORE 62640.69
AT ITER 1548 NEW BEST:: SOT 1524239 SOS 1121748 HAS SOPS 1085058 HAS SOUS 62036 HAS SOUPS 61487 WITH SCORE 62608.748
AT ITER 1549 NEW BEST:: SOT 1524217 SOS 1121726 HAS SOPS 1085036 HAS SOUS 62025 HAS SOUPS 61476 WITH SCORE 62597.726
AT ITER 1564 NEW BEST:: SOT 1524217 SOS 1121660 HAS SOPS 1085036 HAS SOUS 62008 HAS SOUPS 61469 WITH SCORE 62590.66
AT ITER 1568 NEW BEST:: SOT 1524217 SOS 1121658 HAS SOPS 1085036 HAS SOUS 62007 HAS SOUPS 61469 WITH SCORE 62590.658
AT ITER 1571 NEW BEST:: SOT 1524213 SOS 1121618 HAS SOPS 1085016 HAS SOUS 61987 HAS SOUPS 61459 WITH SCORE 62580.618
AT ITER 1573 NEW BEST:: SOT 1526679 SOS 1124084 HAS SOPS 1087482 HAS SOUS 60985 HAS SOUPS 60457 WITH SCORE 61581.084
AT ITER 1575 NEW BEST:: SOT 1526839 SOS 1124244 HAS SOPS 1087642 HAS SOUS 60877 HAS SOUPS 60349 WITH SCORE 61473.244
AT ITER 1578 NEW BEST:: SOT 1528793 SOS 1126198 HAS SOPS 1089596 HAS SOUS 60768 HAS SOUPS 60240 WITH SCORE 61366.198
AT ITER 1607 NEW BEST:: SOT 1529579 SOS 1126984 HAS SOPS 1090382 HAS SOUS 60235 HAS SOUPS 59707 WITH SCORE 60833.984
AT ITER 1627 NEW BEST:: SOT 1529511 SOS 1126916 HAS SOPS 1090314 HAS SOUS 60153 HAS SOUPS 59625 WITH SCORE 60751.916
AT ITER 1636 NEW BEST:: SOT 1529509 SOS 1126914 HAS SOPS 1090312 HAS SOUS 60151 HAS SOUPS 59623 WITH SCORE 60749.914
AT ITER 1638 NEW BEST:: SOT 1529493 SOS 1126876 HAS SOPS 1090274 HAS SOUS 60132 HAS SOUPS 59604 WITH SCORE 60730.876
AT ITER 1641 NEW BEST:: SOT 1523425 SOS 1120808 HAS SOPS 1084206 HAS SOUS 58792 HAS SOUPS 58264 WITH SCORE 59384.808
AT ITER 1656 NEW BEST:: SOT 1523425 SOS 1120800 HAS SOPS 1084198 HAS SOUS 58788 HAS SOUPS 58260 WITH SCORE 59380.8
AT ITER 1688 NEW BEST:: SOT 1523425 SOS 1120800 HAS SOPS 1084178 HAS SOUS 58788 HAS SOUPS 58250 WITH SCORE 59370.8
AT ITER 1705 NEW BEST:: SOT 1525055 SOS 1122430 HAS SOPS 1085808 HAS SOUS 58567 HAS SOUPS 58029 WITH SCORE 59151.43
AT ITER 1721 NEW BEST:: SOT 1525021 SOS 1122396 HAS SOPS 1085774 HAS SOUS 58557 HAS SOUPS 58019 WITH SCORE 59141.396
AT ITER 1734 NEW BEST:: SOT 1524985 SOS 1122360 HAS SOPS 1085738 HAS SOUS 58545 HAS SOUPS 58007 WITH SCORE 59129.36
AT ITER 1739 NEW BEST:: SOT 1524867 SOS 1122242 HAS SOPS 1085620 HAS SOUS 58539 HAS SOUPS 58001 WITH SCORE 59123.242
AT ITER 1749 NEW BEST:: SOT 1525471 SOS 1122846 HAS SOPS 1086224 HAS SOUS 58054 HAS SOUPS 57516 WITH SCORE 58638.846
AT ITER 1764 NEW BEST:: SOT 1526727 SOS 1124102 HAS SOPS 1087480 HAS SOUS 57742 HAS SOUPS 57204 WITH SCORE 58328.102
AT ITER 1778 NEW BEST:: SOT 1526671 SOS 1123958 HAS SOPS 1087336 HAS SOUS 57692 HAS SOUPS 57154 WITH SCORE 58277.958
AT ITER 1780 NEW BEST:: SOT 1526687 SOS 1123974 HAS SOPS 1087352 HAS SOUS 57691 HAS SOUPS 57153 WITH SCORE 58276.974
AT ITER 1781 NEW BEST:: SOT 1527384 SOS 1061947 HAS SOPS 1045437 HAS SOUS 57317 HAS SOUPS 56840 WITH SCORE 57901.947
AT ITER 1788 NEW BEST:: SOT 1526852 SOS 1061415 HAS SOPS 1044905 HAS SOUS 57152 HAS SOUPS 56675 WITH SCORE 57736.415
AT ITER 1792 NEW BEST:: SOT 1526854 SOS 1061417 HAS SOPS 1044907 HAS SOUS 57151 HAS SOUPS 56674 WITH SCORE 57735.417
AT ITER 1804 NEW BEST:: SOT 1526734 SOS 1061297 HAS SOPS 1044787 HAS SOUS 57003 HAS SOUPS 56526 WITH SCORE 57587.297
AT ITER 1814 NEW BEST:: SOT 1526718 SOS 1061275 HAS SOPS 1044765 HAS SOUS 56984 HAS SOUPS 56507 WITH SCORE 57568.275
AT ITER 1841 NEW BEST:: SOT 1526692 SOS 1061249 HAS SOPS 1044739 HAS SOUS 56964 HAS SOUPS 56487 WITH SCORE 57548.249
AT ITER 1842 NEW BEST:: SOT 1526692 SOS 1061249 HAS SOPS 1044739 HAS SOUS 56922 HAS SOUPS 56445 WITH SCORE 57506.249
AT ITER 1868 NEW BEST:: SOT 1526793 SOS 1052990 HAS SOPS 1044024 HAS SOUS 56613 HAS SOUPS 56162 WITH SCORE 57214.99
AT ITER 1871 NEW BEST:: SOT 1483521 SOS 1009718 HAS SOPS 1000752 HAS SOUS 56285 HAS SOUPS 55834 WITH SCORE 56843.718
AT ITER 1874 NEW BEST:: SOT 1509761 SOS 1035958 HAS SOPS 1026992 HAS SOUS 53548 HAS SOUPS 53097 WITH SCORE 54132.958
AT ITER 1877 NEW BEST:: SOT 1509759 SOS 1035956 HAS SOPS 1026990 HAS SOUS 53545 HAS SOUPS 53094 WITH SCORE 54129.956
AT ITER 1878 NEW BEST:: SOT 1509714 SOS 1035911 HAS SOPS 1026945 HAS SOUS 53530 HAS SOUPS 53079 WITH SCORE 54114.911
AT ITER 1897 NEW BEST:: SOT 1509018 SOS 1035215 HAS SOPS 1026249 HAS SOUS 53298 HAS SOUPS 52847 WITH SCORE 53882.215
AT ITER 1902 NEW BEST:: SOT 1509500 SOS 1035697 HAS SOPS 1026731 HAS SOUS 53214 HAS SOUPS 52763 WITH SCORE 53798.697
AT ITER 1926 NEW BEST:: SOT 1509482 SOS 1035679 HAS SOPS 1026713 HAS SOUS 53196 HAS SOUPS 52745 WITH SCORE 53780.679000000004
AT ITER 1940 NEW BEST:: SOT 1509430 SOS 1035627 HAS SOPS 1026661 HAS SOUS 53188 HAS SOUPS 52737 WITH SCORE 53772.627
AT ITER 1941 NEW BEST:: SOT 1509382 SOS 1035579 HAS SOPS 1026613 HAS SOUS 53159 HAS SOUPS 52708 WITH SCORE 53743.579
AT ITER 1955 NEW BEST:: SOT 1498604 SOS 1024773 HAS SOPS 1015807 HAS SOUS 52888 HAS SOUPS 52437 WITH SCORE 53461.773
AT ITER 1964 NEW BEST:: SOT 1498658 SOS 1024827 HAS SOPS 1015861 HAS SOUS 52847 HAS SOUPS 52396 WITH SCORE 53420.827
AT ITER 1995 NEW BEST:: SOT 1498656 SOS 1024825 HAS SOPS 1015859 HAS SOUS 52847 HAS SOUPS 52396 WITH SCORE 53420.825
AT ITER 2001 NEW BEST:: SOT 1498848 SOS 1025017 HAS SOPS 1016051 HAS SOUS 52771 HAS SOUPS 52320 WITH SCORE 53345.017
AT ITER 2003 NEW BEST:: SOT 1498814 SOS 1024983 HAS SOPS 1016017 HAS SOUS 52720 HAS SOUPS 52269 WITH SCORE 53293.983
AT ITER 2041 NEW BEST:: SOT 1498802 SOS 1024951 HAS SOPS 1016007 HAS SOUS 52706 HAS SOUPS 52266 WITH SCORE 53290.951
AT ITER 2069 NEW BEST:: SOT 1498770 SOS 1024919 HAS SOPS 1015975 HAS SOUS 52706 HAS SOUPS 52266 WITH SCORE 53290.919
AT ITER 2093 NEW BEST:: SOT 1498768 SOS 1024937 HAS SOPS 1015973 HAS SOUS 52714 HAS SOUPS 52264 WITH SCORE 53288.937
AT ITER 2094 NEW BEST:: SOT 1498722 SOS 1024891 HAS SOPS 1015927 HAS SOUS 52693 HAS SOUPS 52243 WITH SCORE 53267.891
AT ITER 2096 NEW BEST:: SOT 1486796 SOS 1012965 HAS SOPS 1004001 HAS SOUS 52468 HAS SOUPS 52018 WITH SCORE 53030.965
AT ITER 2108 NEW BEST:: SOT 1486796 SOS 1012979 HAS SOPS 1003999 HAS SOUS 52466 HAS SOUPS 52017 WITH SCORE 53029.979
AT ITER 2123 NEW BEST:: SOT 1487308 SOS 1013491 HAS SOPS 1004511 HAS SOUS 52173 HAS SOUPS 51724 WITH SCORE 52737.491
AT ITER 2126 NEW BEST:: SOT 1487477 SOS 1006930 HAS SOPS 993790 HAS SOUS 52132 HAS SOUPS 51678 WITH SCORE 52684.93
AT ITER 2163 NEW BEST:: SOT 1487829 SOS 1007282 HAS SOPS 994142 HAS SOUS 51448 HAS SOUPS 50994 WITH SCORE 52001.282
AT ITER 2170 NEW BEST:: SOT 1487829 SOS 1007278 HAS SOPS 994142 HAS SOUS 51446 HAS SOUPS 50994 WITH SCORE 52001.278
AT ITER 2179 NEW BEST:: SOT 1488447 SOS 1007896 HAS SOPS 994760 HAS SOUS 50925 HAS SOUPS 50473 WITH SCORE 51480.896
AT ITER 2180 NEW BEST:: SOT 1490431 SOS 1009880 HAS SOPS 996744 HAS SOUS 50675 HAS SOUPS 50223 WITH SCORE 51232.88
AT ITER 2217 NEW BEST:: SOT 1490579 SOS 1010028 HAS SOPS 996892 HAS SOUS 50551 HAS SOUPS 50099 WITH SCORE 51109.028
AT ITER 2246 NEW BEST:: SOT 1490579 SOS 1010028 HAS SOPS 996892 HAS SOUS 50546 HAS SOUPS 50094 WITH SCORE 51104.028
AT ITER 2251 NEW BEST:: SOT 1490567 SOS 1010016 HAS SOPS 996880 HAS SOUS 50542 HAS SOUPS 50090 WITH SCORE 51100.016
AT ITER 2259 NEW BEST:: SOT 1490553 SOS 1009986 HAS SOPS 996866 HAS SOUS 50512 HAS SOUPS 50068 WITH SCORE 51077.986
AT ITER 2270 NEW BEST:: SOT 1490869 SOS 1010302 HAS SOPS 997182 HAS SOUS 50307 HAS SOUPS 49863 WITH SCORE 50873.302
AT ITER 2274 NEW BEST:: SOT 1490869 SOS 1010099 HAS SOPS 996909 HAS SOUS 50300 HAS SOUPS 49842 WITH SCORE 50852.099
AT ITER 2277 NEW BEST:: SOT 1490827 SOS 1010057 HAS SOPS 996867 HAS SOUS 50279 HAS SOUPS 49821 WITH SCORE 50831.057
AT ITER 2296 NEW BEST:: SOT 1490753 SOS 1009983 HAS SOPS 996793 HAS SOUS 50204 HAS SOUPS 49746 WITH SCORE 50755.983
AT ITER 2306 NEW BEST:: SOT 1490785 SOS 1010015 HAS SOPS 996825 HAS SOUS 49772 HAS SOUPS 49314 WITH SCORE 50324.015
AT ITER 2312 NEW BEST:: SOT 1490731 SOS 1009959 HAS SOPS 996771 HAS SOUS 49718 HAS SOUPS 49261 WITH SCORE 50270.959
AT ITER 2317 NEW BEST:: SOT 1490393 SOS 1009621 HAS SOPS 996433 HAS SOUS 49718 HAS SOUPS 49261 WITH SCORE 50270.621
AT ITER 2318 NEW BEST:: SOT 1489817 SOS 1009045 HAS SOPS 995857 HAS SOUS 49506 HAS SOUPS 49049 WITH SCORE 50058.045
AT ITER 2325 NEW BEST:: SOT 1490841 SOS 1010069 HAS SOPS 996881 HAS SOUS 49245 HAS SOUPS 48788 WITH SCORE 49798.069
AT ITER 2331 NEW BEST:: SOT 1491561 SOS 1010789 HAS SOPS 997601 HAS SOUS 47620 HAS SOUPS 47163 WITH SCORE 48173.789
AT ITER 2353 NEW BEST:: SOT 1491561 SOS 1010717 HAS SOPS 997601 HAS SOUS 47584 HAS SOUPS 47163 WITH SCORE 48173.717
AT ITER 2354 NEW BEST:: SOT 1491147 SOS 1010303 HAS SOPS 997187 HAS SOUS 47548 HAS SOUPS 47127 WITH SCORE 48137.303
AT ITER 2375 NEW BEST:: SOT 1491255 SOS 1004353 HAS SOPS 996721 HAS SOUS 47337 HAS SOUPS 46933 WITH SCORE 47937.353
AT ITER 2381 NEW BEST:: SOT 1491169 SOS 1004267 HAS SOPS 996635 HAS SOUS 47316 HAS SOUPS 46912 WITH SCORE 47916.267
AT ITER 2407 NEW BEST:: SOT 1491197 SOS 1004295 HAS SOPS 996663 HAS SOUS 47302 HAS SOUPS 46898 WITH SCORE 47902.295
AT ITER 2412 NEW BEST:: SOT 1491169 SOS 1004267 HAS SOPS 996635 HAS SOUS 47274 HAS SOUPS 46870 WITH SCORE 47874.267
AT ITER 2444 NEW BEST:: SOT 1491065 SOS 1009143 HAS SOPS 1003031 HAS SOUS 47256 HAS SOUPS 46852 WITH SCORE 47861.143
AT ITER 2454 NEW BEST:: SOT 1495549 SOS 1013627 HAS SOPS 1007515 HAS SOUS 46810 HAS SOUPS 46406 WITH SCORE 47419.627
AT ITER 2461 NEW BEST:: SOT 1496257 SOS 1014335 HAS SOPS 1008223 HAS SOUS 46760 HAS SOUPS 46356 WITH SCORE 47370.335
AT ITER 2480 NEW BEST:: SOT 1497785 SOS 1015863 HAS SOPS 1009751 HAS SOUS 46654 HAS SOUPS 46250 WITH SCORE 47265.863
AT ITER 2482 NEW BEST:: SOT 1498149 SOS 1016227 HAS SOPS 1010115 HAS SOUS 46626 HAS SOUPS 46222 WITH SCORE 47238.227
AT ITER 2484 NEW BEST:: SOT 1498515 SOS 1016593 HAS SOPS 1010481 HAS SOUS 46528 HAS SOUPS 46124 WITH SCORE 47140.593
AT ITER 2485 NEW BEST:: SOT 1498515 SOS 1016589 HAS SOPS 1010479 HAS SOUS 46526 HAS SOUPS 46123 WITH SCORE 47139.589
AT ITER 2488 NEW BEST:: SOT 1498531 SOS 1016605 HAS SOPS 1010495 HAS SOUS 46504 HAS SOUPS 46101 WITH SCORE 47117.605
AT ITER 2489 NEW BEST:: SOT 1498515 SOS 1016561 HAS SOPS 1010451 HAS SOUS 46474 HAS SOUPS 46071 WITH SCORE 47087.561
AT ITER 2492 NEW BEST:: SOT 1498519 SOS 1016565 HAS SOPS 1010429 HAS SOUS 46476 HAS SOUPS 46060 WITH SCORE 47076.565
AT ITER 2500 NEW BEST:: SOT 1498621 SOS 1016667 HAS SOPS 1010531 HAS SOUS 46068 HAS SOUPS 45652 WITH SCORE 46668.667
AT ITER 2510 NEW BEST:: SOT 1498671 SOS 1016717 HAS SOPS 1010581 HAS SOUS 45958 HAS SOUPS 45542 WITH SCORE 46558.717
AT ITER 2511 NEW BEST:: SOT 1498687 SOS 1016705 HAS SOPS 1010581 HAS SOUS 45953 HAS SOUPS 45536 WITH SCORE 46552.705
AT ITER 2520 NEW BEST:: SOT 1497887 SOS 1015905 HAS SOPS 1009781 HAS SOUS 45849 HAS SOUPS 45432 WITH SCORE 46447.905
AT ITER 2528 NEW BEST:: SOT 1497887 SOS 1015901 HAS SOPS 1009777 HAS SOUS 45847 HAS SOUPS 45430 WITH SCORE 46445.901
AT ITER 2540 NEW BEST:: SOT 1496441 SOS 1014455 HAS SOPS 1008331 HAS SOUS 45502 HAS SOUPS 45085 WITH SCORE 46099.455
AT ITER 2545 NEW BEST:: SOT 1496391 SOS 1014405 HAS SOPS 1008281 HAS SOUS 45436 HAS SOUPS 45019 WITH SCORE 46033.405
AT ITER 2570 NEW BEST:: SOT 1496457 SOS 1014471 HAS SOPS 1008347 HAS SOUS 45113 HAS SOUPS 44696 WITH SCORE 45710.471
AT ITER 2575 NEW BEST:: SOT 1496453 SOS 1014467 HAS SOPS 1008343 HAS SOUS 45109 HAS SOUPS 44692 WITH SCORE 45706.467
AT ITER 2615 NEW BEST:: SOT 1496453 SOS 1014467 HAS SOPS 1008343 HAS SOUS 45100 HAS SOUPS 44683 WITH SCORE 45697.467
AT ITER 2630 NEW BEST:: SOT 1496467 SOS 1014481 HAS SOPS 1008357 HAS SOUS 45072 HAS SOUPS 44655 WITH SCORE 45669.481
AT ITER 2634 NEW BEST:: SOT 1496467 SOS 1014481 HAS SOPS 1008357 HAS SOUS 45054 HAS SOUPS 44637 WITH SCORE 45651.481
AT ITER 2650 NEW BEST:: SOT 1496467 SOS 1014471 HAS SOPS 1008357 HAS SOUS 45049 HAS SOUPS 44637 WITH SCORE 45651.471
AT ITER 2652 NEW BEST:: SOT 1496623 SOS 1002805 HAS SOPS 1001471 HAS SOUS 44886 HAS SOUPS 44484 WITH SCORE 45486.805
AT ITER 2661 NEW BEST:: SOT 1496511 SOS 1002693 HAS SOPS 1001359 HAS SOUS 44714 HAS SOUPS 44312 WITH SCORE 45314.693
AT ITER 2668 NEW BEST:: SOT 1496517 SOS 1002699 HAS SOPS 1001365 HAS SOUS 44702 HAS SOUPS 44300 WITH SCORE 45302.699
AT ITER 2686 NEW BEST:: SOT 1496787 SOS 1002969 HAS SOPS 1001635 HAS SOUS 44620 HAS SOUPS 44218 WITH SCORE 45220.969
AT ITER 2697 NEW BEST:: SOT 1496785 SOS 1002967 HAS SOPS 1001633 HAS SOUS 44619 HAS SOUPS 44217 WITH SCORE 45219.967
AT ITER 2700 NEW BEST:: SOT 1496787 SOS 1002969 HAS SOPS 1001635 HAS SOUS 44613 HAS SOUPS 44211 WITH SCORE 45213.969
AT ITER 2722 NEW BEST:: SOT 1498371 SOS 1004553 HAS SOPS 1003219 HAS SOUS 44173 HAS SOUPS 43771 WITH SCORE 44775.553
AT ITER 2725 NEW BEST:: SOT 1498367 SOS 1004549 HAS SOPS 1003215 HAS SOUS 44170 HAS SOUPS 43768 WITH SCORE 44772.549
AT ITER 2739 NEW BEST:: SOT 1498367 SOS 1004543 HAS SOPS 1003209 HAS SOUS 44170 HAS SOUPS 43768 WITH SCORE 44772.543
AT ITER 2742 NEW BEST:: SOT 1498355 SOS 1004531 HAS SOPS 1003197 HAS SOUS 44164 HAS SOUPS 43762 WITH SCORE 44766.531
AT ITER 2751 NEW BEST:: SOT 1498375 SOS 1004529 HAS SOPS 1003195 HAS SOUS 44163 HAS SOUPS 43761 WITH SCORE 44765.529
AT ITER 2776 NEW BEST:: SOT 1498373 SOS 1004527 HAS SOPS 1003193 HAS SOUS 44161 HAS SOUPS 43759 WITH SCORE 44763.527
AT ITER 2780 NEW BEST:: SOT 1498369 SOS 1004523 HAS SOPS 1003167 HAS SOUS 44146 HAS SOUPS 43733 WITH SCORE 44737.523
AT ITER 2827 NEW BEST:: SOT 1498369 SOS 1004523 HAS SOPS 1003163 HAS SOUS 44144 HAS SOUPS 43729 WITH SCORE 44733.523
AT ITER 2835 NEW BEST:: SOT 1498263 SOS 1004417 HAS SOPS 1003057 HAS SOUS 44053 HAS SOUPS 43638 WITH SCORE 44642.417
AT ITER 2846 NEW BEST:: SOT 1498239 SOS 1004393 HAS SOPS 1003033 HAS SOUS 44041 HAS SOUPS 43626 WITH SCORE 44630.393
AT ITER 2866 NEW BEST:: SOT 1498246 SOS 1004263 HAS SOPS 1003033 HAS SOUS 44034 HAS SOUPS 43626 WITH SCORE 44630.263
AT ITER 2882 NEW BEST:: SOT 1498416 SOS 1004433 HAS SOPS 1003203 HAS SOUS 43967 HAS SOUPS 43559 WITH SCORE 44563.433
AT ITER 3000 NEW BEST:: SOT 1498410 SOS 1004427 HAS SOPS 1003197 HAS SOUS 43949 HAS SOUPS 43541 WITH SCORE 44545.427
AT ITER 3014 NEW BEST:: SOT 1498434 SOS 1004451 HAS SOPS 1003221 HAS SOUS 43942 HAS SOUPS 43534 WITH SCORE 44538.451
AT ITER 3021 NEW BEST:: SOT 1498512 SOS 1004529 HAS SOPS 1003299 HAS SOUS 43912 HAS SOUPS 43504 WITH SCORE 44508.529
AT ITER 3027 NEW BEST:: SOT 1483678 SOS 989611 HAS SOPS 988381 HAS SOUS 43894 HAS SOUPS 43486 WITH SCORE 44475.611
AT ITER 3042 NEW BEST:: SOT 1483678 SOS 989609 HAS SOPS 988379 HAS SOUS 43893 HAS SOUPS 43485 WITH SCORE 44474.609
AT ITER 3057 NEW BEST:: SOT 1483672 SOS 989603 HAS SOPS 988373 HAS SOUS 43878 HAS SOUPS 43470 WITH SCORE 44459.603
AT ITER 3068 NEW BEST:: SOT 1483692 SOS 989623 HAS SOPS 988393 HAS SOUS 43778 HAS SOUPS 43370 WITH SCORE 44359.623
AT ITER 3083 NEW BEST:: SOT 1483800 SOS 989731 HAS SOPS 988501 HAS SOUS 43655 HAS SOUPS 43247 WITH SCORE 44236.731
AT ITER 3085 NEW BEST:: SOT 1483800 SOS 989705 HAS SOPS 988475 HAS SOUS 43642 HAS SOUPS 43234 WITH SCORE 44223.705
AT ITER 3091 NEW BEST:: SOT 1483776 SOS 989681 HAS SOPS 988451 HAS SOUS 43626 HAS SOUPS 43218 WITH SCORE 44207.681
AT ITER 3105 NEW BEST:: SOT 1454048 SOS 976123 HAS SOPS 974165 HAS SOUS 42959 HAS SOUPS 42534 WITH SCORE 43510.123
AT ITER 3111 NEW BEST:: SOT 1454080 SOS 976155 HAS SOPS 974197 HAS SOUS 42947 HAS SOUPS 42522 WITH SCORE 43498.155
AT ITER 3118 NEW BEST:: SOT 1454080 SOS 976121 HAS SOPS 974183 HAS SOUS 42930 HAS SOUPS 42515 WITH SCORE 43491.121
AT ITER 3119 NEW BEST:: SOT 1454080 SOS 976101 HAS SOPS 974173 HAS SOUS 42939 HAS SOUPS 42510 WITH SCORE 43486.101
AT ITER 3136 NEW BEST:: SOT 1471882 SOS 977803 HAS SOPS 976565 HAS SOUS 39838 HAS SOUPS 39409 WITH SCORE 40386.803
AT ITER 3142 NEW BEST:: SOT 1471934 SOS 977855 HAS SOPS 976617 HAS SOUS 39814 HAS SOUPS 39385 WITH SCORE 40362.855
AT ITER 3144 NEW BEST:: SOT 1471946 SOS 977518 HAS SOPS 976160 HAS SOUS 39790 HAS SOUPS 39337 WITH SCORE 40314.518
AT ITER 3155 NEW BEST:: SOT 1461444 SOS 967016 HAS SOPS 965658 HAS SOUS 39121 HAS SOUPS 38668 WITH SCORE 39635.016
AT ITER 3173 NEW BEST:: SOT 1461440 SOS 967012 HAS SOPS 965654 HAS SOUS 39117 HAS SOUPS 38664 WITH SCORE 39631.012
AT ITER 3176 NEW BEST:: SOT 1461448 SOS 967020 HAS SOPS 965662 HAS SOUS 39106 HAS SOUPS 38653 WITH SCORE 39620.02
AT ITER 3178 NEW BEST:: SOT 1461448 SOS 967020 HAS SOPS 965662 HAS SOUS 39088 HAS SOUPS 38635 WITH SCORE 39602.02
AT ITER 3187 NEW BEST:: SOT 1461668 SOS 967240 HAS SOPS 965882 HAS SOUS 38762 HAS SOUPS 38309 WITH SCORE 39276.24
AT ITER 3189 NEW BEST:: SOT 1461690 SOS 967262 HAS SOPS 965904 HAS SOUS 38718 HAS SOUPS 38265 WITH SCORE 39232.262
AT ITER 3208 NEW BEST:: SOT 1461634 SOS 967206 HAS SOPS 965848 HAS SOUS 38678 HAS SOUPS 38225 WITH SCORE 39192.206
AT ITER 3222 NEW BEST:: SOT 1461634 SOS 967182 HAS SOPS 965836 HAS SOUS 38666 HAS SOUPS 38219 WITH SCORE 39186.182
AT ITER 3293 NEW BEST:: SOT 1461632 SOS 967180 HAS SOPS 965834 HAS SOUS 38665 HAS SOUPS 38218 WITH SCORE 39185.18
AT ITER 3295 NEW BEST:: SOT 1463098 SOS 968646 HAS SOPS 967300 HAS SOUS 38629 HAS SOUPS 38182 WITH SCORE 39150.646
AT ITER 3331 NEW BEST:: SOT 1463098 SOS 968626 HAS SOPS 967290 HAS SOUS 38619 HAS SOUPS 38177 WITH SCORE 39145.626
AT ITER 3387 NEW BEST:: SOT 1463098 SOS 968626 HAS SOPS 967290 HAS SOUS 38607 HAS SOUPS 38165 WITH SCORE 39133.626
AT ITER 3390 NEW BEST:: SOT 1463090 SOS 968618 HAS SOPS 967282 HAS SOUS 38604 HAS SOUPS 38162 WITH SCORE 39130.618
AT ITER 3407 NEW BEST:: SOT 1463092 SOS 968620 HAS SOPS 967284 HAS SOUS 38603 HAS SOUPS 38161 WITH SCORE 39129.62
AT ITER 3417 NEW BEST:: SOT 1463052 SOS 968580 HAS SOPS 967244 HAS SOUS 38581 HAS SOUPS 38139 WITH SCORE 39107.58
AT ITER 3428 NEW BEST:: SOT 1463230 SOS 968758 HAS SOPS 967422 HAS SOUS 37822 HAS SOUPS 37380 WITH SCORE 38348.758
AT ITER 3443 NEW BEST:: SOT 1463256 SOS 968784 HAS SOPS 967448 HAS SOUS 37812 HAS SOUPS 37370 WITH SCORE 38338.784
AT ITER 3477 NEW BEST:: SOT 1463440 SOS 968968 HAS SOPS 967632 HAS SOUS 37660 HAS SOUPS 37218 WITH SCORE 38186.968
AT ITER 3493 NEW BEST:: SOT 1463342 SOS 968870 HAS SOPS 967534 HAS SOUS 37568 HAS SOUPS 37126 WITH SCORE 38094.87
AT ITER 3531 NEW BEST:: SOT 1463318 SOS 968846 HAS SOPS 967510 HAS SOUS 37550 HAS SOUPS 37108 WITH SCORE 38076.846
AT ITER 3587 NEW BEST:: SOT 1465288 SOS 970816 HAS SOPS 969480 HAS SOUS 37505 HAS SOUPS 37063 WITH SCORE 38033.816
AT ITER 3601 NEW BEST:: SOT 1465288 SOS 970816 HAS SOPS 969480 HAS SOUS 37499 HAS SOUPS 37057 WITH SCORE 38027.816
AT ITER 3624 NEW BEST:: SOT 1465288 SOS 970820 HAS SOPS 969462 HAS SOUS 37501 HAS SOUPS 37048 WITH SCORE 38018.82
AT ITER 3647 NEW BEST:: SOT 1466606 SOS 972138 HAS SOPS 970780 HAS SOUS 37199 HAS SOUPS 36746 WITH SCORE 37718.138
AT ITER 3668 NEW BEST:: SOT 1466610 SOS 972141 HAS SOPS 970777 HAS SOUS 37196 HAS SOUPS 36740 WITH SCORE 37712.141
AT ITER 3669 NEW BEST:: SOT 1466565 SOS 972096 HAS SOPS 970732 HAS SOUS 37189 HAS SOUPS 36733 WITH SCORE 37705.096
AT ITER 3670 NEW BEST:: SOT 1466547 SOS 972102 HAS SOPS 970706 HAS SOUS 37167 HAS SOUPS 36711 WITH SCORE 37683.102
AT ITER 3672 NEW BEST:: SOT 1466543 SOS 972098 HAS SOPS 970702 HAS SOUS 37080 HAS SOUPS 36624 WITH SCORE 37596.098
AT ITER 3678 NEW BEST:: SOT 1466551 SOS 972106 HAS SOPS 970710 HAS SOUS 37079 HAS SOUPS 36623 WITH SCORE 37595.106
AT ITER 3684 NEW BEST:: SOT 1466551 SOS 972098 HAS SOPS 970710 HAS SOUS 37075 HAS SOUPS 36623 WITH SCORE 37595.098
AT ITER 3725 NEW BEST:: SOT 1466569 SOS 972116 HAS SOPS 970728 HAS SOUS 37068 HAS SOUPS 36616 WITH SCORE 37588.116
AT ITER 3735 NEW BEST:: SOT 1466606 SOS 972153 HAS SOPS 970765 HAS SOUS 37048 HAS SOUPS 36596 WITH SCORE 37568.153
AT ITER 3758 NEW BEST:: SOT 1466480 SOS 972027 HAS SOPS 970639 HAS SOUS 37022 HAS SOUPS 36570 WITH SCORE 37542.027
AT ITER 3764 NEW BEST:: SOT 1455176 SOS 960723 HAS SOPS 959335 HAS SOUS 36809 HAS SOUPS 36357 WITH SCORE 37317.723
AT ITER 3800 NEW BEST:: SOT 1455176 SOS 960705 HAS SOPS 959295 HAS SOUS 36800 HAS SOUPS 36337 WITH SCORE 37297.705
AT ITER 3897 NEW BEST:: SOT 1455828 SOS 961357 HAS SOPS 959947 HAS SOUS 36767 HAS SOUPS 36304 WITH SCORE 37265.357
AT ITER 3929 NEW BEST:: SOT 1455826 SOS 961331 HAS SOPS 959945 HAS SOUS 36750 HAS SOUPS 36293 WITH SCORE 37254.331
AT ITER 3935 NEW BEST:: SOT 1455806 SOS 961311 HAS SOPS 959925 HAS SOUS 36743 HAS SOUPS 36286 WITH SCORE 37247.311
AT ITER 3940 NEW BEST:: SOT 1455660 SOS 961165 HAS SOPS 959779 HAS SOUS 36742 HAS SOUPS 36285 WITH SCORE 37246.165
AT ITER 3948 NEW BEST:: SOT 1455681 SOS 961221 HAS SOPS 959835 HAS SOUS 36733 HAS SOUPS 36276 WITH SCORE 37237.221
AT ITER 3952 NEW BEST:: SOT 1455674 SOS 961213 HAS SOPS 959827 HAS SOUS 36731 HAS SOUPS 36274 WITH SCORE 37235.213
AT ITER 3966 NEW BEST:: SOT 1455674 SOS 961213 HAS SOPS 959827 HAS SOUS 36729 HAS SOUPS 36272 WITH SCORE 37233.213
AT ITER 3969 NEW BEST:: SOT 1455752 SOS 961291 HAS SOPS 959905 HAS SOUS 36562 HAS SOUPS 36105 WITH SCORE 37066.291
AT ITER 3991 NEW BEST:: SOT 1455752 SOS 961265 HAS SOPS 959905 HAS SOUS 36549 HAS SOUPS 36105 WITH SCORE 37066.265
AT ITER 3992 NEW BEST:: SOT 1455744 SOS 961257 HAS SOPS 959897 HAS SOUS 36541 HAS SOUPS 36097 WITH SCORE 37058.257
AT ITER 4027 NEW BEST:: SOT 1455734 SOS 961247 HAS SOPS 959887 HAS SOUS 36525 HAS SOUPS 36081 WITH SCORE 37042.247
AT ITER 4041 NEW BEST:: SOT 1456496 SOS 962009 HAS SOPS 960649 HAS SOUS 36491 HAS SOUPS 36047 WITH SCORE 37009.009
AT ITER 4042 NEW BEST:: SOT 1456012 SOS 961525 HAS SOPS 960165 HAS SOUS 36447 HAS SOUPS 36003 WITH SCORE 36964.525
AT ITER 4110 NEW BEST:: SOT 1456048 SOS 961561 HAS SOPS 960201 HAS SOUS 36438 HAS SOUPS 35994 WITH SCORE 36955.561
AT ITER 4140 NEW BEST:: SOT 1456046 SOS 961559 HAS SOPS 960199 HAS SOUS 36436 HAS SOUPS 35992 WITH SCORE 36953.559
AT ITER 4144 NEW BEST:: SOT 1456046 SOS 961551 HAS SOPS 960195 HAS SOUS 36432 HAS SOUPS 35990 WITH SCORE 36951.551
AT ITER 4187 NEW BEST:: SOT 1456046 SOS 961505 HAS SOPS 960195 HAS SOUS 36405 HAS SOUPS 35986 WITH SCORE 36947.505
AT ITER 4223 NEW BEST:: SOT 1456015 SOS 961505 HAS SOPS 960195 HAS SOUS 36374 HAS SOUPS 35955 WITH SCORE 36916.505
AT ITER 4240 NEW BEST:: SOT 1455925 SOS 961415 HAS SOPS 960105 HAS SOUS 36328 HAS SOUPS 35909 WITH SCORE 36870.415
AT ITER 4289 NEW BEST:: SOT 1455885 SOS 961375 HAS SOPS 960065 HAS SOUS 36319 HAS SOUPS 35900 WITH SCORE 36861.375
AT ITER 4292 NEW BEST:: SOT 1455857 SOS 961347 HAS SOPS 960037 HAS SOUS 36306 HAS SOUPS 35887 WITH SCORE 36848.347
AT ITER 4302 NEW BEST:: SOT 1455857 SOS 961323 HAS SOPS 960013 HAS SOUS 36294 HAS SOUPS 35875 WITH SCORE 36836.323
AT ITER 4305 NEW BEST:: SOT 1455804 SOS 961217 HAS SOPS 959907 HAS SOUS 36286 HAS SOUPS 35867 WITH SCORE 36828.217
AT ITER 4311 NEW BEST:: SOT 1455936 SOS 961349 HAS SOPS 960039 HAS SOUS 36256 HAS SOUPS 35837 WITH SCORE 36798.349
AT ITER 4347 NEW BEST:: SOT 1455936 SOS 961347 HAS SOPS 960037 HAS SOUS 36255 HAS SOUPS 35836 WITH SCORE 36797.347
AT ITER 4432 NEW BEST:: SOT 1456116 SOS 961527 HAS SOPS 960217 HAS SOUS 36239 HAS SOUPS 35820 WITH SCORE 36781.527
AT ITER 4433 NEW BEST:: SOT 1456104 SOS 961517 HAS SOPS 960207 HAS SOUS 36239 HAS SOUPS 35820 WITH SCORE 36781.517
AT ITER 4491 NEW BEST:: SOT 1456188 SOS 961601 HAS SOPS 960291 HAS SOUS 36232 HAS SOUPS 35813 WITH SCORE 36774.601
AT ITER 4520 NEW BEST:: SOT 1456196 SOS 961609 HAS SOPS 960299 HAS SOUS 36228 HAS SOUPS 35809 WITH SCORE 36770.609
AT ITER 4549 NEW BEST:: SOT 1456178 SOS 961573 HAS SOPS 960295 HAS SOUS 36222 HAS SOUPS 35807 WITH SCORE 36768.573
AT ITER 4558 NEW BEST:: SOT 1456184 SOS 961579 HAS SOPS 960301 HAS SOUS 36219 HAS SOUPS 35804 WITH SCORE 36765.579
AT ITER 4582 NEW BEST:: SOT 1456122 SOS 961517 HAS SOPS 960239 HAS SOUS 36216 HAS SOUPS 35801 WITH SCORE 36762.517
AT ITER 4591 NEW BEST:: SOT 1456108 SOS 961503 HAS SOPS 960225 HAS SOUS 36196 HAS SOUPS 35781 WITH SCORE 36742.503
AT ITER 4618 NEW BEST:: SOT 1456064 SOS 961459 HAS SOPS 960181 HAS SOUS 36179 HAS SOUPS 35764 WITH SCORE 36725.459
AT ITER 4626 NEW BEST:: SOT 1456032 SOS 961427 HAS SOPS 960149 HAS SOUS 36179 HAS SOUPS 35764 WITH SCORE 36725.427
AT ITER 4648 NEW BEST:: SOT 1456622 SOS 962017 HAS SOPS 960739 HAS SOUS 35589 HAS SOUPS 35174 WITH SCORE 36136.017
AT ITER 4655 NEW BEST:: SOT 1456766 SOS 962161 HAS SOPS 960883 HAS SOUS 35503 HAS SOUPS 35088 WITH SCORE 36050.161
AT ITER 4659 NEW BEST:: SOT 1456766 SOS 962161 HAS SOPS 960883 HAS SOUS 35502 HAS SOUPS 35087 WITH SCORE 36049.161
AT ITER 4668 NEW BEST:: SOT 1456914 SOS 962309 HAS SOPS 961031 HAS SOUS 35447 HAS SOUPS 35032 WITH SCORE 35994.309
AT ITER 4676 NEW BEST:: SOT 1456970 SOS 962365 HAS SOPS 961087 HAS SOUS 35431 HAS SOUPS 35016 WITH SCORE 35978.365
AT ITER 4682 NEW BEST:: SOT 1457037 SOS 962432 HAS SOPS 961154 HAS SOUS 35277 HAS SOUPS 34862 WITH SCORE 35824.432
AT ITER 4686 NEW BEST:: SOT 1457061 SOS 962456 HAS SOPS 961178 HAS SOUS 35272 HAS SOUPS 34857 WITH SCORE 35819.456
AT ITER 4706 NEW BEST:: SOT 1457057 SOS 962446 HAS SOPS 961168 HAS SOUS 35266 HAS SOUPS 34851 WITH SCORE 35813.446
AT ITER 4718 NEW BEST:: SOT 1457007 SOS 962396 HAS SOPS 961118 HAS SOUS 35241 HAS SOUPS 34826 WITH SCORE 35788.396
AT ITER 4756 NEW BEST:: SOT 1457007 SOS 962388 HAS SOPS 961114 HAS SOUS 35237 HAS SOUPS 34824 WITH SCORE 35786.388
AT ITER 4770 NEW BEST:: SOT 1457795 SOS 963176 HAS SOPS 961902 HAS SOUS 35141 HAS SOUPS 34728 WITH SCORE 35691.176
AT ITER 4822 NEW BEST:: SOT 1457787 SOS 963168 HAS SOPS 961894 HAS SOUS 35135 HAS SOUPS 34722 WITH SCORE 35685.168
AT ITER 4855 NEW BEST:: SOT 1457981 SOS 963362 HAS SOPS 962088 HAS SOUS 34938 HAS SOUPS 34525 WITH SCORE 35488.362
AT ITER 4862 NEW BEST:: SOT 1457978 SOS 963359 HAS SOPS 962085 HAS SOUS 34938 HAS SOUPS 34525 WITH SCORE 35488.359
AT ITER 4872 NEW BEST:: SOT 1457972 SOS 963353 HAS SOPS 962079 HAS SOUS 34917 HAS SOUPS 34504 WITH SCORE 35467.353
AT ITER 4878 NEW BEST:: SOT 1457980 SOS 963361 HAS SOPS 962087 HAS SOUS 34909 HAS SOUPS 34496 WITH SCORE 35459.361
AT ITER 4895 NEW BEST:: SOT 1457976 SOS 963357 HAS SOPS 962083 HAS SOUS 34907 HAS SOUPS 34494 WITH SCORE 35457.357
AT ITER 4923 NEW BEST:: SOT 1457976 SOS 963369 HAS SOPS 962081 HAS SOUS 34902 HAS SOUPS 34493 WITH SCORE 35456.369
AT ITER 4940 NEW BEST:: SOT 1457738 SOS 963131 HAS SOPS 961843 HAS SOUS 34864 HAS SOUPS 34455 WITH SCORE 35418.131
AT ITER 4943 NEW BEST:: SOT 1457728 SOS 963121 HAS SOPS 961833 HAS SOUS 34853 HAS SOUPS 34444 WITH SCORE 35407.121
AT ITER 4974 NEW BEST:: SOT 1457856 SOS 963249 HAS SOPS 961961 HAS SOUS 34846 HAS SOUPS 34437 WITH SCORE 35400.249
AT ITER 4977 NEW BEST:: SOT 1457836 SOS 963229 HAS SOPS 961941 HAS SOUS 34834 HAS SOUPS 34425 WITH SCORE 35388.229
AT ITER 4990 NEW BEST:: SOT 1457828 SOS 963221 HAS SOPS 961933 HAS SOUS 34833 HAS SOUPS 34424 WITH SCORE 35387.221
AT ITER 5013 NEW BEST:: SOT 1457824 SOS 963217 HAS SOPS 961929 HAS SOUS 34831 HAS SOUPS 34422 WITH SCORE 35385.217
AT ITER 5028 NEW BEST:: SOT 1457792 SOS 963201 HAS SOPS 961897 HAS SOUS 34829 HAS SOUPS 34420 WITH SCORE 35383.201
AT ITER 5070 NEW BEST:: SOT 1457792 SOS 963195 HAS SOPS 961891 HAS SOUS 34826 HAS SOUPS 34417 WITH SCORE 35380.195
AT ITER 5118 NEW BEST:: SOT 1457792 SOS 963181 HAS SOPS 961887 HAS SOUS 34822 HAS SOUPS 34415 WITH SCORE 35378.181
AT ITER 5132 NEW BEST:: SOT 1457609 SOS 962998 HAS SOPS 961704 HAS SOUS 34639 HAS SOUPS 34232 WITH SCORE 35194.998
AT ITER 5178 NEW BEST:: SOT 1457609 SOS 962998 HAS SOPS 961704 HAS SOUS 34637 HAS SOUPS 34230 WITH SCORE 35192.998
AT ITER 5185 NEW BEST:: SOT 1457595 SOS 962984 HAS SOPS 961690 HAS SOUS 34623 HAS SOUPS 34216 WITH SCORE 35178.984
AT ITER 5212 NEW BEST:: SOT 1457739 SOS 963128 HAS SOPS 961834 HAS SOUS 34597 HAS SOUPS 34190 WITH SCORE 35153.128
AT ITER 5216 NEW BEST:: SOT 1461825 SOS 967214 HAS SOPS 965920 HAS SOUS 34393 HAS SOUPS 33986 WITH SCORE 34953.214
AT ITER 5243 NEW BEST:: SOT 1461825 SOS 967208 HAS SOPS 965920 HAS SOUS 34390 HAS SOUPS 33986 WITH SCORE 34953.208
AT ITER 5252 NEW BEST:: SOT 1461825 SOS 967208 HAS SOPS 965920 HAS SOUS 34386 HAS SOUPS 33982 WITH SCORE 34949.208
AT ITER 5280 NEW BEST:: SOT 1461825 SOS 967206 HAS SOPS 965898 HAS SOUS 34383 HAS SOUPS 33971 WITH SCORE 34938.206
AT ITER 5440 NEW BEST:: SOT 1461925 SOS 967306 HAS SOPS 965998 HAS SOUS 34312 HAS SOUPS 33900 WITH SCORE 34867.306
AT ITER 5442 NEW BEST:: SOT 1461925 SOS 967276 HAS SOPS 965996 HAS SOUS 34304 HAS SOUPS 33899 WITH SCORE 34866.276
AT ITER 5475 NEW BEST:: SOT 1461919 SOS 967270 HAS SOPS 965990 HAS SOUS 34304 HAS SOUPS 33899 WITH SCORE 34866.27
AT ITER 5487 NEW BEST:: SOT 1461909 SOS 967260 HAS SOPS 965980 HAS SOUS 34294 HAS SOUPS 33889 WITH SCORE 34856.26
AT ITER 5488 NEW BEST:: SOT 1461909 SOS 967256 HAS SOPS 965978 HAS SOUS 34292 HAS SOUPS 33888 WITH SCORE 34855.256
AT ITER 5510 NEW BEST:: SOT 1461895 SOS 967242 HAS SOPS 965964 HAS SOUS 34272 HAS SOUPS 33868 WITH SCORE 34835.242
AT ITER 5514 NEW BEST:: SOT 1461885 SOS 967232 HAS SOPS 965954 HAS SOUS 34262 HAS SOUPS 33858 WITH SCORE 34825.232
AT ITER 5551 NEW BEST:: SOT 1461885 SOS 967228 HAS SOPS 965952 HAS SOUS 34260 HAS SOUPS 33857 WITH SCORE 34824.228
AT ITER 5610 NEW BEST:: SOT 1461867 SOS 967210 HAS SOPS 965934 HAS SOUS 34260 HAS SOUPS 33857 WITH SCORE 34824.21
AT ITER 5723 NEW BEST:: SOT 1461860 SOS 967203 HAS SOPS 965927 HAS SOUS 34248 HAS SOUPS 33845 WITH SCORE 34812.203
AT ITER 5735 NEW BEST:: SOT 1461850 SOS 967193 HAS SOPS 965917 HAS SOUS 34238 HAS SOUPS 33835 WITH SCORE 34802.193
AT ITER 5800 NEW BEST:: SOT 1461838 SOS 967181 HAS SOPS 965905 HAS SOUS 34231 HAS SOUPS 33828 WITH SCORE 34795.181
AT ITER 5817 NEW BEST:: SOT 1461112 SOS 966455 HAS SOPS 965179 HAS SOUS 33827 HAS SOUPS 33424 WITH SCORE 34390.455
AT ITER 5823 NEW BEST:: SOT 1461438 SOS 966781 HAS SOPS 965505 HAS SOUS 33700 HAS SOUPS 33297 WITH SCORE 34263.781
AT ITER 5837 NEW BEST:: SOT 1465354 SOS 970697 HAS SOPS 969421 HAS SOUS 33616 HAS SOUPS 33213 WITH SCORE 34183.697
AT ITER 5923 NEW BEST:: SOT 1466210 SOS 971553 HAS SOPS 970277 HAS SOUS 33478 HAS SOUPS 33075 WITH SCORE 34046.553
AT ITER 5964 NEW BEST:: SOT 1466366 SOS 971709 HAS SOPS 970433 HAS SOUS 33454 HAS SOUPS 33051 WITH SCORE 34022.709
AT ITER 5976 NEW BEST:: SOT 1466300 SOS 971643 HAS SOPS 970367 HAS SOUS 33421 HAS SOUPS 33018 WITH SCORE 33989.643
AT ITER 6029 NEW BEST:: SOT 1466308 SOS 971651 HAS SOPS 970375 HAS SOUS 33409 HAS SOUPS 33006 WITH SCORE 33977.651
AT ITER 6048 NEW BEST:: SOT 1466308 SOS 971647 HAS SOPS 970371 HAS SOUS 33407 HAS SOUPS 33004 WITH SCORE 33975.647
AT ITER 6089 NEW BEST:: SOT 1466308 SOS 971647 HAS SOPS 970371 HAS SOUS 33400 HAS SOUPS 32997 WITH SCORE 33968.647
AT ITER 6157 NEW BEST:: SOT 1466288 SOS 971627 HAS SOPS 970351 HAS SOUS 33386 HAS SOUPS 32983 WITH SCORE 33954.627
AT ITER 6161 NEW BEST:: SOT 1466288 SOS 971625 HAS SOPS 970339 HAS SOUS 33385 HAS SOUPS 32977 WITH SCORE 33948.625
AT ITER 6210 NEW BEST:: SOT 1466274 SOS 971611 HAS SOPS 970325 HAS SOUS 33377 HAS SOUPS 32969 WITH SCORE 33940.611
AT ITER 6275 NEW BEST:: SOT 1466270 SOS 971607 HAS SOPS 970321 HAS SOUS 33372 HAS SOUPS 32964 WITH SCORE 33935.607
AT ITER 6287 NEW BEST:: SOT 1466270 SOS 971617 HAS SOPS 970291 HAS SOUS 33377 HAS SOUPS 32949 WITH SCORE 33920.617
AT ITER 6318 NEW BEST:: SOT 1466270 SOS 971619 HAS SOPS 970285 HAS SOUS 33378 HAS SOUPS 32946 WITH SCORE 33917.619
AT ITER 6327 NEW BEST:: SOT 1466270 SOS 971615 HAS SOPS 970285 HAS SOUS 33377 HAS SOUPS 32946 WITH SCORE 33917.615
AT ITER 6354 NEW BEST:: SOT 1465920 SOS 971265 HAS SOPS 969935 HAS SOUS 33354 HAS SOUPS 32923 WITH SCORE 33894.265
AT ITER 6378 NEW BEST:: SOT 1468808 SOS 974153 HAS SOPS 972823 HAS SOUS 33226 HAS SOUPS 32795 WITH SCORE 33769.153
AT ITER 6394 NEW BEST:: SOT 1468808 SOS 974149 HAS SOPS 972821 HAS SOUS 33224 HAS SOUPS 32794 WITH SCORE 33768.149
AT ITER 6400 NEW BEST:: SOT 1468778 SOS 974119 HAS SOPS 972791 HAS SOUS 33195 HAS SOUPS 32765 WITH SCORE 33739.119
AT ITER 6425 NEW BEST:: SOT 1469530 SOS 974871 HAS SOPS 973543 HAS SOUS 33133 HAS SOUPS 32703 WITH SCORE 33677.871
AT ITER 6429 NEW BEST:: SOT 1469530 SOS 974867 HAS SOPS 973543 HAS SOUS 33133 HAS SOUPS 32703 WITH SCORE 33677.867
AT ITER 6451 NEW BEST:: SOT 1469530 SOS 974865 HAS SOPS 973541 HAS SOUS 33133 HAS SOUPS 32703 WITH SCORE 33677.865
AT ITER 6452 NEW BEST:: SOT 1469530 SOS 974865 HAS SOPS 973541 HAS SOUS 33132 HAS SOUPS 32702 WITH SCORE 33676.865
AT ITER 6460 NEW BEST:: SOT 1461528 SOS 966863 HAS SOPS 965539 HAS SOUS 32708 HAS SOUPS 32278 WITH SCORE 33244.863
AT ITER 6476 NEW BEST:: SOT 1461520 SOS 966855 HAS SOPS 965531 HAS SOUS 32700 HAS SOUPS 32270 WITH SCORE 33236.855
AT ITER 6483 NEW BEST:: SOT 1461510 SOS 966817 HAS SOPS 965493 HAS SOUS 32695 HAS SOUPS 32265 WITH SCORE 33231.817
AT ITER 6528 NEW BEST:: SOT 1461508 SOS 966815 HAS SOPS 965491 HAS SOUS 32695 HAS SOUPS 32265 WITH SCORE 33231.815
AT ITER 6548 NEW BEST:: SOT 1461566 SOS 966873 HAS SOPS 965549 HAS SOUS 32651 HAS SOUPS 32221 WITH SCORE 33187.873
AT ITER 6623 NEW BEST:: SOT 1461544 SOS 966851 HAS SOPS 965527 HAS SOUS 32632 HAS SOUPS 32202 WITH SCORE 33168.851
AT ITER 6671 NEW BEST:: SOT 1461976 SOS 967283 HAS SOPS 965959 HAS SOUS 32483 HAS SOUPS 32053 WITH SCORE 33020.283
AT ITER 6700 NEW BEST:: SOT 1461966 SOS 967273 HAS SOPS 965949 HAS SOUS 32482 HAS SOUPS 32052 WITH SCORE 33019.273
AT ITER 6701 NEW BEST:: SOT 1461902 SOS 967209 HAS SOPS 965885 HAS SOUS 32454 HAS SOUPS 32024 WITH SCORE 32991.209
AT ITER 6752 NEW BEST:: SOT 1462986 SOS 968293 HAS SOPS 966969 HAS SOUS 32313 HAS SOUPS 31883 WITH SCORE 32851.293
AT ITER 6772 NEW BEST:: SOT 1465260 SOS 970567 HAS SOPS 969243 HAS SOUS 32265 HAS SOUPS 31835 WITH SCORE 32805.567
AT ITER 6838 NEW BEST:: SOT 1465260 SOS 970563 HAS SOPS 969239 HAS SOUS 32265 HAS SOUPS 31835 WITH SCORE 32805.563
AT ITER 6839 NEW BEST:: SOT 1466453 SOS 971756 HAS SOPS 970432 HAS SOUS 32130 HAS SOUPS 31700 WITH SCORE 32671.756
AT ITER 6865 NEW BEST:: SOT 1466449 SOS 971752 HAS SOPS 970428 HAS SOUS 32128 HAS SOUPS 31698 WITH SCORE 32669.752
AT ITER 6908 NEW BEST:: SOT 1466673 SOS 971976 HAS SOPS 970652 HAS SOUS 31613 HAS SOUPS 31183 WITH SCORE 32154.976
AT ITER 6909 NEW BEST:: SOT 1466635 SOS 971938 HAS SOPS 970614 HAS SOUS 31562 HAS SOUPS 31132 WITH SCORE 32103.938
AT ITER 6974 NEW BEST:: SOT 1466647 SOS 971950 HAS SOPS 970626 HAS SOUS 31535 HAS SOUPS 31105 WITH SCORE 32076.95
AT ITER 6990 NEW BEST:: SOT 1466647 SOS 971946 HAS SOPS 970622 HAS SOUS 31533 HAS SOUPS 31103 WITH SCORE 32074.946
AT ITER 6996 NEW BEST:: SOT 1466513 SOS 971812 HAS SOPS 970488 HAS SOUS 31516 HAS SOUPS 31086 WITH SCORE 32057.812
AT ITER 7040 NEW BEST:: SOT 1466287 SOS 971586 HAS SOPS 970262 HAS SOUS 31449 HAS SOUPS 31019 WITH SCORE 31990.586
AT ITER 7050 NEW BEST:: SOT 1466287 SOS 971584 HAS SOPS 970260 HAS SOUS 31448 HAS SOUPS 31018 WITH SCORE 31989.584
AT ITER 7079 NEW BEST:: SOT 1466323 SOS 971612 HAS SOPS 970292 HAS SOUS 31445 HAS SOUPS 31015 WITH SCORE 31986.612
AT ITER 7134 NEW BEST:: SOT 1466322 SOS 971608 HAS SOPS 970288 HAS SOUS 31444 HAS SOUPS 31014 WITH SCORE 31985.608
AT ITER 7161 NEW BEST:: SOT 1466312 SOS 971598 HAS SOPS 970278 HAS SOUS 31436 HAS SOUPS 31006 WITH SCORE 31977.598
AT ITER 7216 NEW BEST:: SOT 1466312 SOS 971574 HAS SOPS 970254 HAS SOUS 31433 HAS SOUPS 31003 WITH SCORE 31974.574
AT ITER 7297 NEW BEST:: SOT 1466312 SOS 971574 HAS SOPS 970254 HAS SOUS 31430 HAS SOUPS 31000 WITH SCORE 31971.574
AT ITER 7307 NEW BEST:: SOT 1466322 SOS 971584 HAS SOPS 970264 HAS SOUS 31406 HAS SOUPS 30976 WITH SCORE 31947.584
AT ITER 7317 NEW BEST:: SOT 1466444 SOS 971706 HAS SOPS 970386 HAS SOUS 31400 HAS SOUPS 30970 WITH SCORE 31941.706
AT ITER 7376 NEW BEST:: SOT 1466444 SOS 971702 HAS SOPS 970384 HAS SOUS 31398 HAS SOUPS 30969 WITH SCORE 31940.702
AT ITER 7411 NEW BEST:: SOT 1467440 SOS 972698 HAS SOPS 971380 HAS SOUS 31060 HAS SOUPS 30631 WITH SCORE 31603.698
AT ITER 7417 NEW BEST:: SOT 1467004 SOS 972262 HAS SOPS 970944 HAS SOUS 30592 HAS SOUPS 30163 WITH SCORE 31135.262
AT ITER 7419 NEW BEST:: SOT 1466862 SOS 972120 HAS SOPS 970802 HAS SOUS 30592 HAS SOUPS 30163 WITH SCORE 31135.12
AT ITER 7446 NEW BEST:: SOT 1466846 SOS 972104 HAS SOPS 970786 HAS SOUS 30584 HAS SOUPS 30155 WITH SCORE 31127.104
AT ITER 7464 NEW BEST:: SOT 1466844 SOS 972102 HAS SOPS 970784 HAS SOUS 30581 HAS SOUPS 30152 WITH SCORE 31124.102
AT ITER 7543 NEW BEST:: SOT 1466794 SOS 972052 HAS SOPS 970734 HAS SOUS 30563 HAS SOUPS 30134 WITH SCORE 31106.052
AT ITER 7605 NEW BEST:: SOT 1466760 SOS 972018 HAS SOPS 970700 HAS SOUS 30545 HAS SOUPS 30116 WITH SCORE 31088.018
AT ITER 7610 NEW BEST:: SOT 1466738 SOS 971996 HAS SOPS 970678 HAS SOUS 30537 HAS SOUPS 30108 WITH SCORE 31079.996
AT ITER 7617 NEW BEST:: SOT 1466738 SOS 971995 HAS SOPS 970677 HAS SOUS 30536 HAS SOUPS 30107 WITH SCORE 31078.995
AT ITER 7618 NEW BEST:: SOT 1466738 SOS 971995 HAS SOPS 970677 HAS SOUS 30533 HAS SOUPS 30104 WITH SCORE 31075.995
AT ITER 7732 NEW BEST:: SOT 1466738 SOS 971995 HAS SOPS 970677 HAS SOUS 30532 HAS SOUPS 30103 WITH SCORE 31074.995
AT ITER 8007 NEW BEST:: SOT 1466740 SOS 971997 HAS SOPS 970679 HAS SOUS 30531 HAS SOUPS 30102 WITH SCORE 31073.997
AT ITER 8160 NEW BEST:: SOT 1466738 SOS 971995 HAS SOPS 970677 HAS SOUS 30530 HAS SOUPS 30101 WITH SCORE 31072.995
AT ITER 8185 NEW BEST:: SOT 1466726 SOS 971983 HAS SOPS 970665 HAS SOUS 30529 HAS SOUPS 30100 WITH SCORE 31071.983
AT ITER 8232 NEW BEST:: SOT 1466736 SOS 971993 HAS SOPS 970675 HAS SOUS 30492 HAS SOUPS 30063 WITH SCORE 31034.993
AT ITER 8233 NEW BEST:: SOT 1466736 SOS 971991 HAS SOPS 970675 HAS SOUS 30492 HAS SOUPS 30063 WITH SCORE 31034.991
AT ITER 8238 NEW BEST:: SOT 1466714 SOS 971969 HAS SOPS 970653 HAS SOUS 30475 HAS SOUPS 30046 WITH SCORE 31017.969
AT ITER 8245 NEW BEST:: SOT 1466714 SOS 971961 HAS SOPS 970649 HAS SOUS 30471 HAS SOUPS 30044 WITH SCORE 31015.961
AT ITER 8312 NEW BEST:: SOT 1466662 SOS 971909 HAS SOPS 970597 HAS SOUS 30411 HAS SOUPS 29984 WITH SCORE 30955.909
AT ITER 8334 NEW BEST:: SOT 1466662 SOS 971909 HAS SOPS 970597 HAS SOUS 30405 HAS SOUPS 29978 WITH SCORE 30949.909
AT ITER 8356 NEW BEST:: SOT 1466924 SOS 972171 HAS SOPS 970859 HAS SOUS 30256 HAS SOUPS 29829 WITH SCORE 30801.171
AT ITER 8408 NEW BEST:: SOT 1466964 SOS 972211 HAS SOPS 970899 HAS SOUS 30220 HAS SOUPS 29793 WITH SCORE 30765.211
AT ITER 8421 NEW BEST:: SOT 1466882 SOS 972129 HAS SOPS 970817 HAS SOUS 30211 HAS SOUPS 29784 WITH SCORE 30756.129
AT ITER 8426 NEW BEST:: SOT 1466882 SOS 972129 HAS SOPS 970811 HAS SOUS 30211 HAS SOUPS 29781 WITH SCORE 30753.129
AT ITER 8434 NEW BEST:: SOT 1466874 SOS 972121 HAS SOPS 970803 HAS SOUS 30202 HAS SOUPS 29772 WITH SCORE 30744.121
AT ITER 8444 NEW BEST:: SOT 1466896 SOS 972143 HAS SOPS 970825 HAS SOUS 30147 HAS SOUPS 29717 WITH SCORE 30689.143
AT ITER 8460 NEW BEST:: SOT 1466876 SOS 972123 HAS SOPS 970805 HAS SOUS 30137 HAS SOUPS 29707 WITH SCORE 30679.123
AT ITER 8518 NEW BEST:: SOT 1466886 SOS 972133 HAS SOPS 970815 HAS SOUS 30127 HAS SOUPS 29697 WITH SCORE 30669.133
AT ITER 8519 NEW BEST:: SOT 1466882 SOS 972129 HAS SOPS 970811 HAS SOUS 30127 HAS SOUPS 29697 WITH SCORE 30669.129
AT ITER 8608 NEW BEST:: SOT 1466882 SOS 972121 HAS SOPS 970803 HAS SOUS 30123 HAS SOUPS 29693 WITH SCORE 30665.121
AT ITER 8613 NEW BEST:: SOT 1466832 SOS 972071 HAS SOPS 970753 HAS SOUS 30123 HAS SOUPS 29693 WITH SCORE 30665.071
AT ITER 8627 NEW BEST:: SOT 1466874 SOS 972113 HAS SOPS 970795 HAS SOUS 29894 HAS SOUPS 29464 WITH SCORE 30436.113
AT ITER 8733 NEW BEST:: SOT 1466876 SOS 972115 HAS SOPS 970797 HAS SOUS 29873 HAS SOUPS 29443 WITH SCORE 30415.115
AT ITER 8822 NEW BEST:: SOT 1466872 SOS 972111 HAS SOPS 970793 HAS SOUS 29863 HAS SOUPS 29433 WITH SCORE 30405.111
AT ITER 8922 NEW BEST:: SOT 1466854 SOS 972093 HAS SOPS 970775 HAS SOUS 29851 HAS SOUPS 29421 WITH SCORE 30393.093
AT ITER 8964 NEW BEST:: SOT 1466814 SOS 972053 HAS SOPS 970735 HAS SOUS 29832 HAS SOUPS 29402 WITH SCORE 30374.053
AT ITER 9002 NEW BEST:: SOT 1466810 SOS 972049 HAS SOPS 970731 HAS SOUS 29832 HAS SOUPS 29402 WITH SCORE 30374.049
AT ITER 9008 NEW BEST:: SOT 1466946 SOS 972185 HAS SOPS 970867 HAS SOUS 29423 HAS SOUPS 28993 WITH SCORE 29965.185
AT ITER 9060 NEW BEST:: SOT 1466934 SOS 972173 HAS SOPS 970855 HAS SOUS 29419 HAS SOUPS 28989 WITH SCORE 29961.173
AT ITER 9090 NEW BEST:: SOT 1466934 SOS 972149 HAS SOPS 970855 HAS SOUS 29407 HAS SOUPS 28989 WITH SCORE 29961.149
AT ITER 9112 NEW BEST:: SOT 1466934 SOS 972143 HAS SOPS 970851 HAS SOUS 29403 HAS SOUPS 28987 WITH SCORE 29959.143
AT ITER 9120 NEW BEST:: SOT 1466932 SOS 972141 HAS SOPS 970849 HAS SOUS 29399 HAS SOUPS 28983 WITH SCORE 29955.141
AT ITER 9171 NEW BEST:: SOT 1466988 SOS 972197 HAS SOPS 970905 HAS SOUS 29342 HAS SOUPS 28926 WITH SCORE 29898.197
AT ITER 9185 NEW BEST:: SOT 1466970 SOS 972179 HAS SOPS 970887 HAS SOUS 29333 HAS SOUPS 28917 WITH SCORE 29889.179
AT ITER 9203 NEW BEST:: SOT 1466984 SOS 972193 HAS SOPS 970901 HAS SOUS 29321 HAS SOUPS 28905 WITH SCORE 29877.193
AT ITER 9260 NEW BEST:: SOT 1466972 SOS 972181 HAS SOPS 970889 HAS SOUS 29315 HAS SOUPS 28899 WITH SCORE 29871.181
AT ITER 9270 NEW BEST:: SOT 1468700 SOS 973909 HAS SOPS 972617 HAS SOUS 28882 HAS SOUPS 28466 WITH SCORE 29439.909
AT ITER 9379 NEW BEST:: SOT 1468046 SOS 973255 HAS SOPS 971963 HAS SOUS 28850 HAS SOUPS 28434 WITH SCORE 29407.255
AT ITER 9418 NEW BEST:: SOT 1463868 SOS 969077 HAS SOPS 967785 HAS SOUS 28751 HAS SOUPS 28335 WITH SCORE 29304.077
AT ITER 9462 NEW BEST:: SOT 1463868 SOS 969074 HAS SOPS 967784 HAS SOUS 28750 HAS SOUPS 28335 WITH SCORE 29304.074
AT ITER 9560 NEW BEST:: SOT 1463875 SOS 969088 HAS SOPS 967798 HAS SOUS 28745 HAS SOUPS 28330 WITH SCORE 29299.088
AT ITER 9690 NEW BEST:: SOT 1463873 SOS 969086 HAS SOPS 967796 HAS SOUS 28736 HAS SOUPS 28321 WITH SCORE 29290.086
AT ITER 9695 NEW BEST:: SOT 1463868 SOS 969086 HAS SOPS 967796 HAS SOUS 28731 HAS SOUPS 28316 WITH SCORE 29285.086
AT ITER 9713 NEW BEST:: SOT 1463862 SOS 969080 HAS SOPS 967790 HAS SOUS 28728 HAS SOUPS 28313 WITH SCORE 29282.08
AT ITER 9720 NEW BEST:: SOT 1465286 SOS 970504 HAS SOPS 969214 HAS SOUS 28548 HAS SOUPS 28133 WITH SCORE 29103.504
AT ITER 9775 NEW BEST:: SOT 1465260 SOS 970478 HAS SOPS 969188 HAS SOUS 28522 HAS SOUPS 28107 WITH SCORE 29077.478
AT ITER 9777 NEW BEST:: SOT 1465162 SOS 970380 HAS SOPS 969090 HAS SOUS 28500 HAS SOUPS 28085 WITH SCORE 29055.38
AT ITER 9792 NEW BEST:: SOT 1465154 SOS 970372 HAS SOPS 969082 HAS SOUS 28489 HAS SOUPS 28074 WITH SCORE 29044.372
AT ITER 9801 NEW BEST:: SOT 1465174 SOS 970392 HAS SOPS 969102 HAS SOUS 28483 HAS SOUPS 28068 WITH SCORE 29038.392
AT ITER 9881 NEW BEST:: SOT 1465108 SOS 970326 HAS SOPS 969036 HAS SOUS 28467 HAS SOUPS 28052 WITH SCORE 29022.326
AT ITER 9889 NEW BEST:: SOT 1465142 SOS 970360 HAS SOPS 969070 HAS SOUS 28432 HAS SOUPS 28017 WITH SCORE 28987.36
AT ITER 9903 NEW BEST:: SOT 1465132 SOS 970350 HAS SOPS 969060 HAS SOUS 28423 HAS SOUPS 28008 WITH SCORE 28978.35
AT ITER 9982 NEW BEST:: SOT 1465140 SOS 970358 HAS SOPS 969068 HAS SOUS 28410 HAS SOUPS 27995 WITH SCORE 28965.358
AT ITER 9989 NEW BEST:: SOT 1465130 SOS 970348 HAS SOPS 969058 HAS SOUS 28405 HAS SOUPS 27990 WITH SCORE 28960.348
AT ITER 9991 NEW BEST:: SOT 1465130 SOS 970348 HAS SOPS 969058 HAS SOUS 28401 HAS SOUPS 27986 WITH SCORE 28956.348
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14915184 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16134924 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="SemanticWebServices-PT-S256P18"
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 SemanticWebServices-PT-S256P18, 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 r355-smll-167891803600456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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