Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.2K Feb 26 07:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 07:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 07:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 07:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 08:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 08:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 08:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M 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 1678467475100

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=BugTracking-PT-q3m004
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m004
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: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 14035084 SOS 8812733 HAS SOPS 8810888 HAS SOUS 1624533 HAS SOUPS 1622688 WITH SCORE 1631500.733
AT ITER 2 NEW BEST:: SOT 14036423 SOS 8814624 HAS SOPS 8812779 HAS SOUS 1623652 HAS SOUPS 1621807 WITH SCORE 1630621.624
AT ITER 12 NEW BEST:: SOT 14032250 SOS 8810532 HAS SOPS 8809118 HAS SOUS 1605876 HAS SOUPS 1604462 WITH SCORE 1613272.532
AT ITER 28 NEW BEST:: SOT 14032367 SOS 8810649 HAS SOPS 8809235 HAS SOUS 1605759 HAS SOUPS 1604345 WITH SCORE 1613155.649
AT ITER 30 NEW BEST:: SOT 13907402 SOS 11214881 HAS SOPS 11214269 HAS SOUS 1481898 HAS SOUPS 1481286 WITH SCORE 1492500.881
AT ITER 35 NEW BEST:: SOT 13907402 SOS 11214881 HAS SOPS 11214269 HAS SOUS 1481897 HAS SOUPS 1481285 WITH SCORE 1492499.881
AT ITER 75 NEW BEST:: SOT 13907402 SOS 11213056 HAS SOPS 11212444 HAS SOUS 1481872 HAS SOUPS 1481260 WITH SCORE 1492473.056
AT ITER 83 NEW BEST:: SOT 13900854 SOS 11204863 HAS SOPS 11204251 HAS SOUS 1480539 HAS SOUPS 1479927 WITH SCORE 1491131.863
AT ITER 87 NEW BEST:: SOT 13899556 SOS 11203565 HAS SOPS 11202953 HAS SOUS 1479738 HAS SOUPS 1479126 WITH SCORE 1490329.565
AT ITER 120 NEW BEST:: SOT 13897837 SOS 11201684 HAS SOPS 11201093 HAS SOUS 1471699 HAS SOUPS 1471108 WITH SCORE 1482309.684
AT ITER 127 NEW BEST:: SOT 13897837 SOS 11201684 HAS SOPS 11201093 HAS SOUS 1471692 HAS SOUPS 1471101 WITH SCORE 1482302.684
AT ITER 138 NEW BEST:: SOT 13897837 SOS 11201684 HAS SOPS 11201093 HAS SOUS 1471576 HAS SOUPS 1470985 WITH SCORE 1482186.684
AT ITER 143 NEW BEST:: SOT 13896932 SOS 11201321 HAS SOPS 11200730 HAS SOUS 1459617 HAS SOUPS 1459026 WITH SCORE 1470227.321
AT ITER 160 NEW BEST:: SOT 13896932 SOS 11201321 HAS SOPS 11200730 HAS SOUS 1459608 HAS SOUPS 1459017 WITH SCORE 1470218.321
AT ITER 162 NEW BEST:: SOT 13899084 SOS 11203547 HAS SOPS 11202956 HAS SOUS 1459133 HAS SOUPS 1458542 WITH SCORE 1469745.547
AT ITER 165 NEW BEST:: SOT 13900156 SOS 11204829 HAS SOPS 11204238 HAS SOUS 1458021 HAS SOUPS 1457430 WITH SCORE 1468634.829
AT ITER 170 NEW BEST:: SOT 13899681 SOS 11204586 HAS SOPS 11203995 HAS SOUS 1451923 HAS SOUPS 1451332 WITH SCORE 1462536.586
AT ITER 178 NEW BEST:: SOT 13899681 SOS 11213010 HAS SOPS 11212419 HAS SOUS 1451901 HAS SOUPS 1451310 WITH SCORE 1462523.01
AT ITER 197 NEW BEST:: SOT 13896726 SOS 11210055 HAS SOPS 11209464 HAS SOUS 1445382 HAS SOUPS 1444791 WITH SCORE 1456001.055
AT ITER 202 NEW BEST:: SOT 13897068 SOS 11210547 HAS SOPS 11209956 HAS SOUS 1444433 HAS SOUPS 1443842 WITH SCORE 1455052.547
AT ITER 207 NEW BEST:: SOT 13897068 SOS 11219475 HAS SOPS 11218884 HAS SOUS 1444336 HAS SOUPS 1443745 WITH SCORE 1454964.475
AT ITER 215 NEW BEST:: SOT 13896300 SOS 11218707 HAS SOPS 11218116 HAS SOUS 1443551 HAS SOUPS 1442960 WITH SCORE 1454178.707
AT ITER 218 NEW BEST:: SOT 13894679 SOS 11217086 HAS SOPS 11216495 HAS SOUS 1442855 HAS SOUPS 1442264 WITH SCORE 1453481.086
AT ITER 231 NEW BEST:: SOT 13894867 SOS 10315756 HAS SOPS 10315165 HAS SOUS 1442802 HAS SOUPS 1442211 WITH SCORE 1452526.756
AT ITER 236 NEW BEST:: SOT 13896074 SOS 10317347 HAS SOPS 10316756 HAS SOUS 1441767 HAS SOUPS 1441176 WITH SCORE 1451493.347
AT ITER 237 NEW BEST:: SOT 13895024 SOS 10316297 HAS SOPS 10315706 HAS SOUS 1439667 HAS SOUPS 1439076 WITH SCORE 1449392.297
AT ITER 245 NEW BEST:: SOT 13894878 SOS 10433655 HAS SOPS 10433064 HAS SOUS 1439519 HAS SOUPS 1438928 WITH SCORE 1449361.655
AT ITER 248 NEW BEST:: SOT 13882683 SOS 10416914 HAS SOPS 10416323 HAS SOUS 1424231 HAS SOUPS 1423640 WITH SCORE 1434056.914
AT ITER 249 NEW BEST:: SOT 13880560 SOS 10414791 HAS SOPS 10414200 HAS SOUS 1412878 HAS SOUPS 1412287 WITH SCORE 1422701.791
AT ITER 261 NEW BEST:: SOT 13880560 SOS 10408959 HAS SOPS 10408368 HAS SOUS 1412878 HAS SOUPS 1412287 WITH SCORE 1422695.959
AT ITER 262 NEW BEST:: SOT 13878181 SOS 10406615 HAS SOPS 10405989 HAS SOUS 1408072 HAS SOUPS 1407446 WITH SCORE 1417852.615
AT ITER 263 NEW BEST:: SOT 13874097 SOS 10402396 HAS SOPS 10401817 HAS SOUS 1398793 HAS SOUPS 1398214 WITH SCORE 1408616.396
AT ITER 265 NEW BEST:: SOT 13873426 SOS 10401725 HAS SOPS 10401146 HAS SOUS 1397593 HAS SOUPS 1397014 WITH SCORE 1407415.725
AT ITER 267 NEW BEST:: SOT 13873426 SOS 10401725 HAS SOPS 10401146 HAS SOUS 1397589 HAS SOUPS 1397010 WITH SCORE 1407411.725
AT ITER 275 NEW BEST:: SOT 13863780 SOS 10388163 HAS SOPS 10387584 HAS SOUS 1387873 HAS SOUPS 1387294 WITH SCORE 1397682.163
AT ITER 282 NEW BEST:: SOT 13863780 SOS 10388163 HAS SOPS 10387584 HAS SOUS 1387747 HAS SOUPS 1387168 WITH SCORE 1397556.163
AT ITER 293 NEW BEST:: SOT 13861467 SOS 10385850 HAS SOPS 10385271 HAS SOUS 1379272 HAS SOUPS 1378693 WITH SCORE 1389078.85
AT ITER 312 NEW BEST:: SOT 13861467 SOS 10381818 HAS SOPS 10381239 HAS SOUS 1379272 HAS SOUPS 1378693 WITH SCORE 1389074.818
AT ITER 367 NEW BEST:: SOT 13863718 SOS 10384157 HAS SOPS 10383578 HAS SOUS 1378736 HAS SOUPS 1378157 WITH SCORE 1388541.157
AT ITER 370 NEW BEST:: SOT 13863718 SOS 10384154 HAS SOPS 10383575 HAS SOUS 1378736 HAS SOUPS 1378157 WITH SCORE 1388541.154
AT ITER 385 NEW BEST:: SOT 13863718 SOS 10384154 HAS SOPS 10383575 HAS SOUS 1378715 HAS SOUPS 1378136 WITH SCORE 1388520.154
AT ITER 398 NEW BEST:: SOT 13863512 SOS 10385600 HAS SOPS 10385021 HAS SOUS 1378712 HAS SOUPS 1378133 WITH SCORE 1388518.6
AT ITER 413 NEW BEST:: SOT 13863512 SOS 10394240 HAS SOPS 10393661 HAS SOUS 1378592 HAS SOUPS 1378013 WITH SCORE 1388407.24
AT ITER 414 NEW BEST:: SOT 13863512 SOS 10394020 HAS SOPS 10393441 HAS SOUS 1378482 HAS SOUPS 1377903 WITH SCORE 1388297.02
AT ITER 417 NEW BEST:: SOT 13863512 SOS 10389506 HAS SOPS 10388927 HAS SOUS 1378421 HAS SOUPS 1377842 WITH SCORE 1388231.506
AT ITER 424 NEW BEST:: SOT 13863122 SOS 10389171 HAS SOPS 10388592 HAS SOUS 1373816 HAS SOUPS 1373237 WITH SCORE 1383626.171
AT ITER 429 NEW BEST:: SOT 13862078 SOS 10388127 HAS SOPS 10387548 HAS SOUS 1373185 HAS SOUPS 1372606 WITH SCORE 1382994.127
AT ITER 457 NEW BEST:: SOT 13859492 SOS 10385697 HAS SOPS 10385118 HAS SOUS 1361340 HAS SOUPS 1360761 WITH SCORE 1371146.697
AT ITER 464 NEW BEST:: SOT 13861897 SOS 10387861 HAS SOPS 10387335 HAS SOUS 1360354 HAS SOUPS 1359828 WITH SCORE 1370215.861
AT ITER 504 NEW BEST:: SOT 13861897 SOS 10387527 HAS SOPS 10387001 HAS SOUS 1360187 HAS SOUPS 1359661 WITH SCORE 1370048.527
AT ITER 507 NEW BEST:: SOT 13861897 SOS 10387527 HAS SOPS 10387001 HAS SOUS 1360025 HAS SOUPS 1359499 WITH SCORE 1369886.527
AT ITER 508 NEW BEST:: SOT 13861897 SOS 10385511 HAS SOPS 10384985 HAS SOUS 1360025 HAS SOUPS 1359499 WITH SCORE 1369884.511
AT ITER 513 NEW BEST:: SOT 13861897 SOS 10380399 HAS SOPS 10379873 HAS SOUS 1360025 HAS SOUPS 1359499 WITH SCORE 1369879.399
AT ITER 525 NEW BEST:: SOT 13859594 SOS 10378096 HAS SOPS 10377570 HAS SOUS 1355285 HAS SOUPS 1354759 WITH SCORE 1365137.096
AT ITER 538 NEW BEST:: SOT 13859594 SOS 10378084 HAS SOPS 10377558 HAS SOUS 1355279 HAS SOUPS 1354753 WITH SCORE 1365131.084
AT ITER 547 NEW BEST:: SOT 13854807 SOS 10373549 HAS SOPS 10373074 HAS SOUS 1345186 HAS SOUPS 1344711 WITH SCORE 1355084.549
AT ITER 549 NEW BEST:: SOT 13851784 SOS 10370526 HAS SOPS 10370051 HAS SOUS 1343246 HAS SOUPS 1342771 WITH SCORE 1353141.526
AT ITER 563 NEW BEST:: SOT 13849467 SOS 10368209 HAS SOPS 10367734 HAS SOUS 1342097 HAS SOUPS 1341622 WITH SCORE 1351990.209
AT ITER 567 NEW BEST:: SOT 13843416 SOS 10363094 HAS SOPS 10362619 HAS SOUS 1336052 HAS SOUPS 1335577 WITH SCORE 1345940.094
AT ITER 568 NEW BEST:: SOT 13840786 SOS 10360464 HAS SOPS 10359989 HAS SOUS 1327182 HAS SOUPS 1326707 WITH SCORE 1337067.464
AT ITER 576 NEW BEST:: SOT 13839166 SOS 10358844 HAS SOPS 10358369 HAS SOUS 1326336 HAS SOUPS 1325861 WITH SCORE 1336219.844
AT ITER 585 NEW BEST:: SOT 13838325 SOS 10358003 HAS SOPS 10357528 HAS SOUS 1324473 HAS SOUPS 1323998 WITH SCORE 1334356.003
AT ITER 587 NEW BEST:: SOT 13835630 SOS 10355308 HAS SOPS 10354833 HAS SOUS 1321802 HAS SOUPS 1321327 WITH SCORE 1331682.308
AT ITER 599 NEW BEST:: SOT 13835630 SOS 10355184 HAS SOPS 10354726 HAS SOUS 1321744 HAS SOUPS 1321286 WITH SCORE 1331641.184
AT ITER 618 NEW BEST:: SOT 13833739 SOS 10353293 HAS SOPS 10352835 HAS SOUS 1320332 HAS SOUPS 1319874 WITH SCORE 1330227.293
AT ITER 623 NEW BEST:: SOT 13833739 SOS 10348483 HAS SOPS 10348025 HAS SOUS 1320267 HAS SOUPS 1319809 WITH SCORE 1330157.483
AT ITER 630 NEW BEST:: SOT 13833739 SOS 10347547 HAS SOPS 10347089 HAS SOUS 1320241 HAS SOUPS 1319783 WITH SCORE 1330130.547
AT ITER 638 NEW BEST:: SOT 13833739 SOS 10347167 HAS SOPS 10346709 HAS SOUS 1320051 HAS SOUPS 1319593 WITH SCORE 1329940.167
AT ITER 640 NEW BEST:: SOT 13830598 SOS 10343774 HAS SOPS 10343364 HAS SOUS 1308160 HAS SOUPS 1307750 WITH SCORE 1318093.774
AT ITER 641 NEW BEST:: SOT 13825648 SOS 10338009 HAS SOPS 10337531 HAS SOUS 1301264 HAS SOUPS 1300801 WITH SCORE 1311139.009
AT ITER 642 NEW BEST:: SOT 13822820 SOS 10335178 HAS SOPS 10334700 HAS SOUS 1286999 HAS SOUPS 1286536 WITH SCORE 1296871.178
AT ITER 654 NEW BEST:: SOT 13822820 SOS 10330714 HAS SOPS 10330236 HAS SOUS 1286937 HAS SOUPS 1286474 WITH SCORE 1296804.714
AT ITER 655 NEW BEST:: SOT 13821452 SOS 10329346 HAS SOPS 10328868 HAS SOUS 1284215 HAS SOUPS 1283752 WITH SCORE 1294081.346
AT ITER 658 NEW BEST:: SOT 13818799 SOS 10328673 HAS SOPS 10328195 HAS SOUS 1278617 HAS SOUPS 1278154 WITH SCORE 1288482.673
AT ITER 662 NEW BEST:: SOT 13818799 SOS 10328325 HAS SOPS 10327847 HAS SOUS 1278443 HAS SOUPS 1277980 WITH SCORE 1288308.325
AT ITER 667 NEW BEST:: SOT 13818799 SOS 10328218 HAS SOPS 10327740 HAS SOUS 1278336 HAS SOUPS 1277873 WITH SCORE 1288201.218
AT ITER 669 NEW BEST:: SOT 13818799 SOS 10328218 HAS SOPS 10327740 HAS SOUS 1278326 HAS SOUPS 1277863 WITH SCORE 1288191.218
AT ITER 677 NEW BEST:: SOT 13826476 SOS 10335895 HAS SOPS 10335417 HAS SOUS 1277809 HAS SOUPS 1277346 WITH SCORE 1287681.895
AT ITER 686 NEW BEST:: SOT 13826476 SOS 10335855 HAS SOPS 10335377 HAS SOUS 1277809 HAS SOUPS 1277346 WITH SCORE 1287681.855
AT ITER 695 NEW BEST:: SOT 13824700 SOS 10334579 HAS SOPS 10334101 HAS SOUS 1258686 HAS SOUPS 1258223 WITH SCORE 1268557.579
AT ITER 702 NEW BEST:: SOT 13824700 SOS 10334075 HAS SOPS 10333597 HAS SOUS 1258679 HAS SOUPS 1258216 WITH SCORE 1268550.075
AT ITER 709 NEW BEST:: SOT 13824700 SOS 10349267 HAS SOPS 10348789 HAS SOUS 1258553 HAS SOUPS 1258090 WITH SCORE 1268439.267
AT ITER 714 NEW BEST:: SOT 13824619 SOS 10349186 HAS SOPS 10348708 HAS SOUS 1252121 HAS SOUPS 1251658 WITH SCORE 1262007.186
AT ITER 754 NEW BEST:: SOT 13823012 SOS 10347423 HAS SOPS 10346965 HAS SOUS 1244424 HAS SOUPS 1243981 WITH SCORE 1254328.423
AT ITER 761 NEW BEST:: SOT 13823424 SOS 10347835 HAS SOPS 10347377 HAS SOUS 1244010 HAS SOUPS 1243567 WITH SCORE 1253914.835
AT ITER 762 NEW BEST:: SOT 13823424 SOS 10343659 HAS SOPS 10343201 HAS SOUS 1243954 HAS SOUPS 1243511 WITH SCORE 1253854.659
AT ITER 767 NEW BEST:: SOT 13825871 SOS 10345906 HAS SOPS 10345448 HAS SOUS 1242582 HAS SOUPS 1242139 WITH SCORE 1252484.906
AT ITER 769 NEW BEST:: SOT 13815429 SOS 10331812 HAS SOPS 10331354 HAS SOUS 1231066 HAS SOUPS 1230623 WITH SCORE 1240954.812
AT ITER 779 NEW BEST:: SOT 13808712 SOS 10320557 HAS SOPS 10320099 HAS SOUS 1225406 HAS SOUPS 1224963 WITH SCORE 1235283.557
AT ITER 780 NEW BEST:: SOT 13804208 SOS 10316061 HAS SOPS 10315603 HAS SOUS 1221040 HAS SOUPS 1220597 WITH SCORE 1230913.061
AT ITER 793 NEW BEST:: SOT 13804946 SOS 10316943 HAS SOPS 10316485 HAS SOUS 1220220 HAS SOUPS 1219777 WITH SCORE 1230093.943
AT ITER 798 NEW BEST:: SOT 13804880 SOS 10316877 HAS SOPS 10316419 HAS SOUS 1220216 HAS SOUPS 1219773 WITH SCORE 1230089.877
AT ITER 803 NEW BEST:: SOT 13804449 SOS 10316446 HAS SOPS 10315988 HAS SOUS 1220063 HAS SOUPS 1219620 WITH SCORE 1229936.446
AT ITER 804 NEW BEST:: SOT 13804527 SOS 10316524 HAS SOPS 10316066 HAS SOUS 1219929 HAS SOUPS 1219486 WITH SCORE 1229802.524
AT ITER 810 NEW BEST:: SOT 13801874 SOS 10313871 HAS SOPS 10313413 HAS SOUS 1217250 HAS SOUPS 1216807 WITH SCORE 1227120.871
AT ITER 816 NEW BEST:: SOT 13799889 SOS 10311848 HAS SOPS 10311390 HAS SOUS 1204460 HAS SOUPS 1204017 WITH SCORE 1214328.848
AT ITER 828 NEW BEST:: SOT 13799330 SOS 10311289 HAS SOPS 10310831 HAS SOUS 1204230 HAS SOUPS 1203787 WITH SCORE 1214098.289
AT ITER 835 NEW BEST:: SOT 13799330 SOS 10311289 HAS SOPS 10310831 HAS SOUS 1204035 HAS SOUPS 1203592 WITH SCORE 1213903.289
AT ITER 844 NEW BEST:: SOT 13797315 SOS 10309274 HAS SOPS 10308816 HAS SOUS 1202020 HAS SOUPS 1201577 WITH SCORE 1211886.274
AT ITER 845 NEW BEST:: SOT 13800570 SOS 10312675 HAS SOPS 10312217 HAS SOUS 1200792 HAS SOUPS 1200349 WITH SCORE 1210661.675
AT ITER 860 NEW BEST:: SOT 13800570 SOS 10314259 HAS SOPS 10313801 HAS SOUS 1200770 HAS SOUPS 1200327 WITH SCORE 1210641.259
AT ITER 871 NEW BEST:: SOT 13799229 SOS 10310122 HAS SOPS 10309664 HAS SOUS 1199512 HAS SOUPS 1199069 WITH SCORE 1209379.122
AT ITER 873 NEW BEST:: SOT 13799229 SOS 10312842 HAS SOPS 10312384 HAS SOUS 1199324 HAS SOUPS 1198881 WITH SCORE 1209193.842
AT ITER 876 NEW BEST:: SOT 13797747 SOS 10311360 HAS SOPS 10310902 HAS SOUS 1192054 HAS SOUPS 1191611 WITH SCORE 1201922.36
AT ITER 883 NEW BEST:: SOT 13804244 SOS 10318589 HAS SOPS 10318131 HAS SOUS 1184344 HAS SOUPS 1183901 WITH SCORE 1194219.589
AT ITER 886 NEW BEST:: SOT 13804442 SOS 10318787 HAS SOPS 10318329 HAS SOUS 1184152 HAS SOUPS 1183709 WITH SCORE 1194027.787
AT ITER 890 NEW BEST:: SOT 13792959 SOS 10306668 HAS SOPS 10306210 HAS SOUS 1170324 HAS SOUPS 1169881 WITH SCORE 1180187.668
AT ITER 895 NEW BEST:: SOT 13792959 SOS 10306663 HAS SOPS 10306205 HAS SOUS 1170324 HAS SOUPS 1169881 WITH SCORE 1180187.663
AT ITER 896 NEW BEST:: SOT 13789562 SOS 10303266 HAS SOPS 10302808 HAS SOUS 1166211 HAS SOUPS 1165768 WITH SCORE 1176071.266
AT ITER 902 NEW BEST:: SOT 13789562 SOS 10300602 HAS SOPS 10300144 HAS SOUS 1166174 HAS SOUPS 1165731 WITH SCORE 1176031.602
AT ITER 916 NEW BEST:: SOT 13789484 SOS 10300524 HAS SOPS 10300066 HAS SOUS 1166110 HAS SOUPS 1165667 WITH SCORE 1175967.524
AT ITER 934 NEW BEST:: SOT 13786711 SOS 10297751 HAS SOPS 10297293 HAS SOUS 1162205 HAS SOUPS 1161762 WITH SCORE 1172059.751
AT ITER 939 NEW BEST:: SOT 13783197 SOS 10294237 HAS SOPS 10293779 HAS SOUS 1159996 HAS SOUPS 1159553 WITH SCORE 1169847.237
AT ITER 945 NEW BEST:: SOT 13783197 SOS 10293445 HAS SOPS 10292987 HAS SOUS 1159996 HAS SOUPS 1159553 WITH SCORE 1169846.445
AT ITER 948 NEW BEST:: SOT 13782762 SOS 10293010 HAS SOPS 10292552 HAS SOUS 1154140 HAS SOUPS 1153697 WITH SCORE 1163990.01
AT ITER 951 NEW BEST:: SOT 13782762 SOS 10292748 HAS SOPS 10292290 HAS SOUS 1154009 HAS SOUPS 1153566 WITH SCORE 1163858.748
AT ITER 954 NEW BEST:: SOT 13790482 SOS 10302064 HAS SOPS 10301606 HAS SOUS 1152339 HAS SOUPS 1151896 WITH SCORE 1162198.064
AT ITER 956 NEW BEST:: SOT 13790366 SOS 10301948 HAS SOPS 10301490 HAS SOUS 1152266 HAS SOUPS 1151823 WITH SCORE 1162124.948
AT ITER 958 NEW BEST:: SOT 13790366 SOS 10301948 HAS SOPS 10301490 HAS SOUS 1152090 HAS SOUPS 1151647 WITH SCORE 1161948.948
AT ITER 965 NEW BEST:: SOT 13790366 SOS 10311740 HAS SOPS 10311282 HAS SOUS 1151954 HAS SOUPS 1151511 WITH SCORE 1161822.74
AT ITER 966 NEW BEST:: SOT 13791607 SOS 10312981 HAS SOPS 10312523 HAS SOUS 1150331 HAS SOUPS 1149888 WITH SCORE 1160200.981
AT ITER 968 NEW BEST:: SOT 13791607 SOS 10312981 HAS SOPS 10312523 HAS SOUS 1150322 HAS SOUPS 1149879 WITH SCORE 1160191.981
AT ITER 971 NEW BEST:: SOT 13789082 SOS 10309052 HAS SOPS 10308594 HAS SOUS 1150109 HAS SOUPS 1149666 WITH SCORE 1159975.052
AT ITER 975 NEW BEST:: SOT 13790657 SOS 10310627 HAS SOPS 10310169 HAS SOUS 1147713 HAS SOUPS 1147270 WITH SCORE 1157580.627
AT ITER 987 NEW BEST:: SOT 13805610 SOS 10325800 HAS SOPS 10325342 HAS SOUS 1143407 HAS SOUPS 1142964 WITH SCORE 1153289.8
AT ITER 996 NEW BEST:: SOT 13798038 SOS 10313963 HAS SOPS 10313505 HAS SOUS 1137761 HAS SOUPS 1137318 WITH SCORE 1147631.963
AT ITER 998 NEW BEST:: SOT 13797995 SOS 10313920 HAS SOPS 10313462 HAS SOUS 1137760 HAS SOUPS 1137317 WITH SCORE 1147630.92
AT ITER 1017 NEW BEST:: SOT 13795521 SOS 10311420 HAS SOPS 10310962 HAS SOUS 1131293 HAS SOUPS 1130850 WITH SCORE 1141161.42
AT ITER 1020 NEW BEST:: SOT 13795521 SOS 10325532 HAS SOPS 10325074 HAS SOUS 1131097 HAS SOUPS 1130654 WITH SCORE 1140979.532
AT ITER 1045 NEW BEST:: SOT 13795521 SOS 10328380 HAS SOPS 10327922 HAS SOUS 1131045 HAS SOUPS 1130602 WITH SCORE 1140930.38
AT ITER 1050 NEW BEST:: SOT 13795521 SOS 10328380 HAS SOPS 10327922 HAS SOUS 1130996 HAS SOUPS 1130553 WITH SCORE 1140881.38
AT ITER 1056 NEW BEST:: SOT 13795521 SOS 10334140 HAS SOPS 10333682 HAS SOUS 1130916 HAS SOUPS 1130473 WITH SCORE 1140807.14
AT ITER 1064 NEW BEST:: SOT 13795521 SOS 10335148 HAS SOPS 10334690 HAS SOUS 1130724 HAS SOUPS 1130281 WITH SCORE 1140616.148
AT ITER 1073 NEW BEST:: SOT 13795709 SOS 10346462 HAS SOPS 10346004 HAS SOUS 1130670 HAS SOUPS 1130227 WITH SCORE 1140573.462
AT ITER 1074 NEW BEST:: SOT 13797128 SOS 10347881 HAS SOPS 10347423 HAS SOUS 1129655 HAS SOUPS 1129212 WITH SCORE 1139559.881
AT ITER 1097 NEW BEST:: SOT 13797128 SOS 10346253 HAS SOPS 10345795 HAS SOUS 1129633 HAS SOUPS 1129190 WITH SCORE 1139536.253
AT ITER 1098 NEW BEST:: SOT 13798668 SOS 10347758 HAS SOPS 10347300 HAS SOUS 1126114 HAS SOUPS 1125671 WITH SCORE 1136018.758
AT ITER 1103 NEW BEST:: SOT 13785715 SOS 10332887 HAS SOPS 10332429 HAS SOUS 1113516 HAS SOUPS 1113073 WITH SCORE 1123405.887
AT ITER 1108 NEW BEST:: SOT 13783390 SOS 10330349 HAS SOPS 10329910 HAS SOUS 1107610 HAS SOUPS 1107186 WITH SCORE 1117516.349
AT ITER 1112 NEW BEST:: SOT 13783390 SOS 10330349 HAS SOPS 10329910 HAS SOUS 1107440 HAS SOUPS 1107016 WITH SCORE 1117346.349
AT ITER 1113 NEW BEST:: SOT 13783390 SOS 10325237 HAS SOPS 10324798 HAS SOUS 1107440 HAS SOUPS 1107016 WITH SCORE 1117341.237
AT ITER 1120 NEW BEST:: SOT 13783390 SOS 10325133 HAS SOPS 10324694 HAS SOUS 1107356 HAS SOUPS 1106932 WITH SCORE 1117257.133
AT ITER 1123 NEW BEST:: SOT 13781712 SOS 10323507 HAS SOPS 10323068 HAS SOUS 1105694 HAS SOUPS 1105270 WITH SCORE 1115593.507
AT ITER 1124 NEW BEST:: SOT 13781266 SOS 10323061 HAS SOPS 10322622 HAS SOUS 1103095 HAS SOUPS 1102671 WITH SCORE 1112994.061
AT ITER 1160 NEW BEST:: SOT 13781266 SOS 10321063 HAS SOPS 10320624 HAS SOUS 1103068 HAS SOUPS 1102644 WITH SCORE 1112965.063
AT ITER 1161 NEW BEST:: SOT 13781092 SOS 10320889 HAS SOPS 10320450 HAS SOUS 1102894 HAS SOUPS 1102470 WITH SCORE 1112790.889
AT ITER 1164 NEW BEST:: SOT 13780588 SOS 10320355 HAS SOPS 10319916 HAS SOUS 1102421 HAS SOUPS 1101997 WITH SCORE 1112317.355
AT ITER 1168 NEW BEST:: SOT 13780570 SOS 10320337 HAS SOPS 10319898 HAS SOUS 1102403 HAS SOUPS 1101979 WITH SCORE 1112299.337
AT ITER 1177 NEW BEST:: SOT 13773626 SOS 10313059 HAS SOPS 10312620 HAS SOUS 1092276 HAS SOUPS 1091852 WITH SCORE 1102165.059
AT ITER 1183 NEW BEST:: SOT 13773575 SOS 10313008 HAS SOPS 10312569 HAS SOUS 1092225 HAS SOUPS 1091801 WITH SCORE 1102114.008
AT ITER 1186 NEW BEST:: SOT 13773744 SOS 10313033 HAS SOPS 10312612 HAS SOUS 1091438 HAS SOUPS 1091032 WITH SCORE 1101345.033
AT ITER 1196 NEW BEST:: SOT 13774731 SOS 10314236 HAS SOPS 10313815 HAS SOUS 1090366 HAS SOUPS 1089960 WITH SCORE 1100274.236
AT ITER 1199 NEW BEST:: SOT 13775865 SOS 10315370 HAS SOPS 10314949 HAS SOUS 1084448 HAS SOUPS 1084042 WITH SCORE 1094357.37
AT ITER 1208 NEW BEST:: SOT 13775865 SOS 10315298 HAS SOPS 10314877 HAS SOUS 1084448 HAS SOUPS 1084042 WITH SCORE 1094357.298
AT ITER 1221 NEW BEST:: SOT 13775936 SOS 10315434 HAS SOPS 10315043 HAS SOUS 1084265 HAS SOUPS 1083889 WITH SCORE 1094204.434
AT ITER 1224 NEW BEST:: SOT 13776460 SOS 10315958 HAS SOPS 10315567 HAS SOUS 1080914 HAS SOUPS 1080538 WITH SCORE 1090853.958
AT ITER 1226 NEW BEST:: SOT 13773760 SOS 10313258 HAS SOPS 10312867 HAS SOUS 1075326 HAS SOUPS 1074950 WITH SCORE 1085263.258
AT ITER 1236 NEW BEST:: SOT 13773760 SOS 10329098 HAS SOPS 10328707 HAS SOUS 1075117 HAS SOUPS 1074741 WITH SCORE 1085070.098
AT ITER 1248 NEW BEST:: SOT 13773478 SOS 10328816 HAS SOPS 10328425 HAS SOUS 1074909 HAS SOUPS 1074533 WITH SCORE 1084861.816
AT ITER 1251 NEW BEST:: SOT 13777955 SOS 10333293 HAS SOPS 10332902 HAS SOUS 1068712 HAS SOUPS 1068336 WITH SCORE 1078669.293
AT ITER 1266 NEW BEST:: SOT 13777607 SOS 10332945 HAS SOPS 10332554 HAS SOUS 1065798 HAS SOUPS 1065422 WITH SCORE 1075754.945
AT ITER 1272 NEW BEST:: SOT 13777607 SOS 10332891 HAS SOPS 10332500 HAS SOUS 1065792 HAS SOUPS 1065416 WITH SCORE 1075748.891
AT ITER 1280 NEW BEST:: SOT 13777599 SOS 10332883 HAS SOPS 10332492 HAS SOUS 1065768 HAS SOUPS 1065392 WITH SCORE 1075724.883
AT ITER 1288 NEW BEST:: SOT 13777599 SOS 10332833 HAS SOPS 10332442 HAS SOUS 1065743 HAS SOUPS 1065367 WITH SCORE 1075699.833
AT ITER 1292 NEW BEST:: SOT 13776883 SOS 10332117 HAS SOPS 10331726 HAS SOUS 1061740 HAS SOUPS 1061364 WITH SCORE 1071696.117
AT ITER 1299 NEW BEST:: SOT 13776842 SOS 10332076 HAS SOPS 10331685 HAS SOUS 1061699 HAS SOUPS 1061323 WITH SCORE 1071655.076
AT ITER 1307 NEW BEST:: SOT 13776278 SOS 10331512 HAS SOPS 10331121 HAS SOUS 1061103 HAS SOUPS 1060727 WITH SCORE 1071058.512
AT ITER 1316 NEW BEST:: SOT 13771984 SOS 10327122 HAS SOPS 10326731 HAS SOUS 1059529 HAS SOUPS 1059153 WITH SCORE 1069480.122
AT ITER 1318 NEW BEST:: SOT 13774230 SOS 10329368 HAS SOPS 10328977 HAS SOUS 1058498 HAS SOUPS 1058122 WITH SCORE 1068451.368
AT ITER 1343 NEW BEST:: SOT 13774230 SOS 10326200 HAS SOPS 10325809 HAS SOUS 1058498 HAS SOUPS 1058122 WITH SCORE 1068448.2
AT ITER 1348 NEW BEST:: SOT 13774265 SOS 10326235 HAS SOPS 10325844 HAS SOUS 1057971 HAS SOUPS 1057595 WITH SCORE 1067921.235
AT ITER 1362 NEW BEST:: SOT 13774329 SOS 10328841 HAS SOPS 10328450 HAS SOUS 1057956 HAS SOUPS 1057580 WITH SCORE 1067908.841
AT ITER 1368 NEW BEST:: SOT 13774329 SOS 10328841 HAS SOPS 10328450 HAS SOUS 1057846 HAS SOUPS 1057470 WITH SCORE 1067798.841
AT ITER 1391 NEW BEST:: SOT 13774325 SOS 10328837 HAS SOPS 10328446 HAS SOUS 1057714 HAS SOUPS 1057338 WITH SCORE 1067666.837
AT ITER 1396 NEW BEST:: SOT 13774325 SOS 10323797 HAS SOPS 10323406 HAS SOUS 1057714 HAS SOUPS 1057338 WITH SCORE 1067661.797
AT ITER 1397 NEW BEST:: SOT 13775065 SOS 10324549 HAS SOPS 10324158 HAS SOUS 1057613 HAS SOUPS 1057237 WITH SCORE 1067561.549
AT ITER 1408 NEW BEST:: SOT 13781725 SOS 10331209 HAS SOPS 10330818 HAS SOUS 1055037 HAS SOUPS 1054661 WITH SCORE 1064992.209
AT ITER 1424 NEW BEST:: SOT 13780156 SOS 10329640 HAS SOPS 10329249 HAS SOUS 1046133 HAS SOUPS 1045757 WITH SCORE 1056086.64
AT ITER 1425 NEW BEST:: SOT 13792818 SOS 10342302 HAS SOPS 10341911 HAS SOUS 1044027 HAS SOUPS 1043651 WITH SCORE 1053993.302
AT ITER 1428 NEW BEST:: SOT 13800212 SOS 10350788 HAS SOPS 10350397 HAS SOUS 1033146 HAS SOUPS 1032770 WITH SCORE 1043120.788
AT ITER 1433 NEW BEST:: SOT 13800212 SOS 10344812 HAS SOPS 10344421 HAS SOUS 1033146 HAS SOUPS 1032770 WITH SCORE 1043114.812
AT ITER 1439 NEW BEST:: SOT 13800212 SOS 10340533 HAS SOPS 10340142 HAS SOUS 1033146 HAS SOUPS 1032770 WITH SCORE 1043110.533
AT ITER 1460 NEW BEST:: SOT 13800104 SOS 10340425 HAS SOPS 10340034 HAS SOUS 1033100 HAS SOUPS 1032724 WITH SCORE 1043064.425
AT ITER 1464 NEW BEST:: SOT 13799878 SOS 10340199 HAS SOPS 10339808 HAS SOUS 1032972 HAS SOUPS 1032596 WITH SCORE 1042936.199
AT ITER 1480 NEW BEST:: SOT 13799288 SOS 10339609 HAS SOPS 10339218 HAS SOUS 1032466 HAS SOUPS 1032090 WITH SCORE 1042429.609
AT ITER 1485 NEW BEST:: SOT 13799288 SOS 10339387 HAS SOPS 10338996 HAS SOUS 1032466 HAS SOUPS 1032090 WITH SCORE 1042429.387
AT ITER 1499 NEW BEST:: SOT 13799288 SOS 10337807 HAS SOPS 10337416 HAS SOUS 1032466 HAS SOUPS 1032090 WITH SCORE 1042427.807
AT ITER 1505 NEW BEST:: SOT 13799266 SOS 10337785 HAS SOPS 10337394 HAS SOUS 1032397 HAS SOUPS 1032021 WITH SCORE 1042358.785
AT ITER 1508 NEW BEST:: SOT 13799481 SOS 10338000 HAS SOPS 10337609 HAS SOUS 1032055 HAS SOUPS 1031679 WITH SCORE 1042017.0
AT ITER 1511 NEW BEST:: SOT 13801352 SOS 10339871 HAS SOPS 10339480 HAS SOUS 1030207 HAS SOUPS 1029831 WITH SCORE 1040170.871
AT ITER 1515 NEW BEST:: SOT 13803768 SOS 10342058 HAS SOPS 10341711 HAS SOUS 1027609 HAS SOUPS 1027277 WITH SCORE 1037619.058
AT ITER 1521 NEW BEST:: SOT 13803553 SOS 10341843 HAS SOPS 10341496 HAS SOUS 1027239 HAS SOUPS 1026907 WITH SCORE 1037248.843
AT ITER 1525 NEW BEST:: SOT 13803400 SOS 10341690 HAS SOPS 10341343 HAS SOUS 1025763 HAS SOUPS 1025431 WITH SCORE 1035772.69
AT ITER 1526 NEW BEST:: SOT 13803420 SOS 10341599 HAS SOPS 10341265 HAS SOUS 1025455 HAS SOUPS 1025136 WITH SCORE 1035477.599
AT ITER 1527 NEW BEST:: SOT 13803420 SOS 10341339 HAS SOPS 10341005 HAS SOUS 1025325 HAS SOUPS 1025006 WITH SCORE 1035347.339
AT ITER 1528 NEW BEST:: SOT 13802426 SOS 10340345 HAS SOPS 10340011 HAS SOUS 1023456 HAS SOUPS 1023137 WITH SCORE 1033477.345
AT ITER 1534 NEW BEST:: SOT 13802426 SOS 10340345 HAS SOPS 10340011 HAS SOUS 1023449 HAS SOUPS 1023130 WITH SCORE 1033470.345
AT ITER 1536 NEW BEST:: SOT 13802498 SOS 10340417 HAS SOPS 10340083 HAS SOUS 1023415 HAS SOUPS 1023096 WITH SCORE 1033436.417
AT ITER 1537 NEW BEST:: SOT 13798571 SOS 10336490 HAS SOPS 10336156 HAS SOUS 1021071 HAS SOUPS 1020752 WITH SCORE 1031088.49
AT ITER 1539 NEW BEST:: SOT 13798571 SOS 10336478 HAS SOPS 10336144 HAS SOUS 1021059 HAS SOUPS 1020740 WITH SCORE 1031076.478
AT ITER 1561 NEW BEST:: SOT 13798571 SOS 10330286 HAS SOPS 10329952 HAS SOUS 1021059 HAS SOUPS 1020740 WITH SCORE 1031070.286
AT ITER 1562 NEW BEST:: SOT 13798571 SOS 10330286 HAS SOPS 10329952 HAS SOUS 1020988 HAS SOUPS 1020669 WITH SCORE 1030999.286
AT ITER 1565 NEW BEST:: SOT 13798478 SOS 10330193 HAS SOPS 10329859 HAS SOUS 1020798 HAS SOUPS 1020479 WITH SCORE 1030809.193
AT ITER 1567 NEW BEST:: SOT 13798478 SOS 10330193 HAS SOPS 10329859 HAS SOUS 1020780 HAS SOUPS 1020461 WITH SCORE 1030791.193
AT ITER 1570 NEW BEST:: SOT 13798478 SOS 10330769 HAS SOPS 10330435 HAS SOUS 1020772 HAS SOUPS 1020453 WITH SCORE 1030783.769
AT ITER 1578 NEW BEST:: SOT 13798478 SOS 10330769 HAS SOPS 10330435 HAS SOUS 1020716 HAS SOUPS 1020397 WITH SCORE 1030727.769
AT ITER 1584 NEW BEST:: SOT 13798346 SOS 10330637 HAS SOPS 10330303 HAS SOUS 1020579 HAS SOUPS 1020260 WITH SCORE 1030590.637
AT ITER 1587 NEW BEST:: SOT 13799015 SOS 10331306 HAS SOPS 10330972 HAS SOUS 1018803 HAS SOUPS 1018484 WITH SCORE 1028815.306
AT ITER 1610 NEW BEST:: SOT 13798276 SOS 10330567 HAS SOPS 10330233 HAS SOUS 1017309 HAS SOUPS 1016990 WITH SCORE 1027320.567
AT ITER 1613 NEW BEST:: SOT 13799608 SOS 10331842 HAS SOPS 10331508 HAS SOUS 1015444 HAS SOUPS 1015125 WITH SCORE 1025456.842
AT ITER 1615 NEW BEST:: SOT 13809332 SOS 10341566 HAS SOPS 10341232 HAS SOUS 1010367 HAS SOUPS 1010048 WITH SCORE 1020389.566
AT ITER 1659 NEW BEST:: SOT 13807990 SOS 10340686 HAS SOPS 10340352 HAS SOUS 1000510 HAS SOUPS 1000191 WITH SCORE 1010531.686
AT ITER 1660 NEW BEST:: SOT 13812493 SOS 10389408 HAS SOPS 10389074 HAS SOUS 999596 HAS SOUPS 999277 WITH SCORE 1009666.408
AT ITER 1666 NEW BEST:: SOT 13812493 SOS 10389408 HAS SOPS 10389074 HAS SOUS 999554 HAS SOUPS 999235 WITH SCORE 1009624.408
AT ITER 1706 NEW BEST:: SOT 13812493 SOS 10389408 HAS SOPS 10389074 HAS SOUS 999545 HAS SOUPS 999226 WITH SCORE 1009615.408
AT ITER 1739 NEW BEST:: SOT 13812493 SOS 10407453 HAS SOPS 10407119 HAS SOUS 999506 HAS SOUPS 999187 WITH SCORE 1009594.453
AT ITER 1745 NEW BEST:: SOT 13812493 SOS 10401117 HAS SOPS 10400783 HAS SOUS 999506 HAS SOUPS 999187 WITH SCORE 1009588.117
AT ITER 1748 NEW BEST:: SOT 13812493 SOS 10396011 HAS SOPS 10395677 HAS SOUS 999437 HAS SOUPS 999118 WITH SCORE 1009514.011
AT ITER 1750 NEW BEST:: SOT 13812493 SOS 10395913 HAS SOPS 10395579 HAS SOUS 999268 HAS SOUPS 998949 WITH SCORE 1009344.913
AT ITER 1758 NEW BEST:: SOT 13812493 SOS 10277716 HAS SOPS 10277382 HAS SOUS 999245 HAS SOUPS 998926 WITH SCORE 1009203.716
AT ITER 1760 NEW BEST:: SOT 13812493 SOS 10277716 HAS SOPS 10277382 HAS SOUS 999139 HAS SOUPS 998820 WITH SCORE 1009097.716
AT ITER 1767 NEW BEST:: SOT 13812493 SOS 10277604 HAS SOPS 10277270 HAS SOUS 999083 HAS SOUPS 998764 WITH SCORE 1009041.604
AT ITER 1780 NEW BEST:: SOT 13812493 SOS 10275216 HAS SOPS 10274882 HAS SOUS 998905 HAS SOUPS 998586 WITH SCORE 1008861.216
AT ITER 1799 NEW BEST:: SOT 13812493 SOS 10273638 HAS SOPS 10273304 HAS SOUS 998905 HAS SOUPS 998586 WITH SCORE 1008859.638
AT ITER 1803 NEW BEST:: SOT 13812493 SOS 10270038 HAS SOPS 10269704 HAS SOUS 998905 HAS SOUPS 998586 WITH SCORE 1008856.038
AT ITER 1811 NEW BEST:: SOT 13812493 SOS 10270038 HAS SOPS 10269704 HAS SOUS 998887 HAS SOUPS 998568 WITH SCORE 1008838.038
AT ITER 1820 NEW BEST:: SOT 13812493 SOS 10269485 HAS SOPS 10269151 HAS SOUS 998738 HAS SOUPS 998419 WITH SCORE 1008688.485
AT ITER 1835 NEW BEST:: SOT 13812516 SOS 10269508 HAS SOPS 10269174 HAS SOUS 998730 HAS SOUPS 998411 WITH SCORE 1008680.508
AT ITER 1842 NEW BEST:: SOT 13812516 SOS 9878980 HAS SOPS 9878646 HAS SOUS 998530 HAS SOUPS 998211 WITH SCORE 1008089.98
AT ITER 1865 NEW BEST:: SOT 13811404 SOS 9877868 HAS SOPS 9877534 HAS SOUS 997472 HAS SOUPS 997153 WITH SCORE 1007030.868
AT ITER 1883 NEW BEST:: SOT 13813185 SOS 9880009 HAS SOPS 9879675 HAS SOUS 995694 HAS SOUPS 995375 WITH SCORE 1005255.009
AT ITER 1886 NEW BEST:: SOT 13813157 SOS 9879981 HAS SOPS 9879647 HAS SOUS 995667 HAS SOUPS 995348 WITH SCORE 1005227.981
AT ITER 1906 NEW BEST:: SOT 13813153 SOS 9879977 HAS SOPS 9879643 HAS SOUS 995665 HAS SOUPS 995346 WITH SCORE 1005225.977
AT ITER 1922 NEW BEST:: SOT 13815013 SOS 9881837 HAS SOPS 9881503 HAS SOUS 995261 HAS SOUPS 994942 WITH SCORE 1004823.837
AT ITER 1959 NEW BEST:: SOT 13813871 SOS 9880695 HAS SOPS 9880361 HAS SOUS 994145 HAS SOUPS 993826 WITH SCORE 1003706.695
AT ITER 1971 NEW BEST:: SOT 13812390 SOS 9879214 HAS SOPS 9878880 HAS SOUS 991168 HAS SOUPS 990849 WITH SCORE 1000728.214
AT ITER 1975 NEW BEST:: SOT 13817424 SOS 9884248 HAS SOPS 9883914 HAS SOUS 987701 HAS SOUPS 987382 WITH SCORE 997266.248
AT ITER 1978 NEW BEST:: SOT 13817424 SOS 9884154 HAS SOPS 9883820 HAS SOUS 987701 HAS SOUPS 987382 WITH SCORE 997266.154
AT ITER 1993 NEW BEST:: SOT 13817198 SOS 9883928 HAS SOPS 9883594 HAS SOUS 987018 HAS SOUPS 986699 WITH SCORE 996582.928
AT ITER 2013 NEW BEST:: SOT 13818293 SOS 9885023 HAS SOPS 9884689 HAS SOUS 983730 HAS SOUPS 983411 WITH SCORE 993296.023
AT ITER 2033 NEW BEST:: SOT 13818282 SOS 9885012 HAS SOPS 9884678 HAS SOUS 983725 HAS SOUPS 983406 WITH SCORE 993291.012
AT ITER 2054 NEW BEST:: SOT 13813838 SOS 9880568 HAS SOPS 9880234 HAS SOUS 980439 HAS SOUPS 980120 WITH SCORE 990000.568
AT ITER 2081 NEW BEST:: SOT 13814926 SOS 9881836 HAS SOPS 9881502 HAS SOUS 979769 HAS SOUPS 979450 WITH SCORE 989331.836
AT ITER 2091 NEW BEST:: SOT 13814842 SOS 9874936 HAS SOPS 9874602 HAS SOUS 979648 HAS SOUPS 979329 WITH SCORE 989203.936
AT ITER 2093 NEW BEST:: SOT 13815705 SOS 9875799 HAS SOPS 9875465 HAS SOUS 978748 HAS SOUPS 978429 WITH SCORE 988304.799
AT ITER 2097 NEW BEST:: SOT 13811928 SOS 9872022 HAS SOPS 9871688 HAS SOUS 978375 HAS SOUPS 978056 WITH SCORE 987928.022
AT ITER 2107 NEW BEST:: SOT 13811803 SOS 9871897 HAS SOPS 9871563 HAS SOUS 978250 HAS SOUPS 977931 WITH SCORE 987802.897
AT ITER 2117 NEW BEST:: SOT 13811803 SOS 9871897 HAS SOPS 9871563 HAS SOUS 978147 HAS SOUPS 977828 WITH SCORE 987699.897
AT ITER 2132 NEW BEST:: SOT 13809397 SOS 9869491 HAS SOPS 9869157 HAS SOUS 973217 HAS SOUPS 972898 WITH SCORE 982767.491
AT ITER 2142 NEW BEST:: SOT 13809397 SOS 9865891 HAS SOPS 9865557 HAS SOUS 973217 HAS SOUPS 972898 WITH SCORE 982763.891
AT ITER 2172 NEW BEST:: SOT 13810121 SOS 9866615 HAS SOPS 9866281 HAS SOUS 972709 HAS SOUPS 972390 WITH SCORE 982256.615
AT ITER 2177 NEW BEST:: SOT 13810121 SOS 9868703 HAS SOPS 9868369 HAS SOUS 972704 HAS SOUPS 972385 WITH SCORE 982253.703
AT ITER 2200 NEW BEST:: SOT 13809236 SOS 9867818 HAS SOPS 9867484 HAS SOUS 971969 HAS SOUPS 971650 WITH SCORE 981517.818
AT ITER 2219 NEW BEST:: SOT 13809236 SOS 9861152 HAS SOPS 9860818 HAS SOUS 970886 HAS SOUPS 970567 WITH SCORE 980428.152
AT ITER 2254 NEW BEST:: SOT 13809236 SOS 9859712 HAS SOPS 9859378 HAS SOUS 970886 HAS SOUPS 970567 WITH SCORE 980426.712
AT ITER 2267 NEW BEST:: SOT 13808784 SOS 9858969 HAS SOPS 9858679 HAS SOUS 968418 HAS SOUPS 968143 WITH SCORE 978001.969
AT ITER 2270 NEW BEST:: SOT 13808350 SOS 9858535 HAS SOPS 9858231 HAS SOUS 967970 HAS SOUPS 967681 WITH SCORE 977539.535
AT ITER 2276 NEW BEST:: SOT 13808350 SOS 9858497 HAS SOPS 9858193 HAS SOUS 967822 HAS SOUPS 967533 WITH SCORE 977391.497
AT ITER 2287 NEW BEST:: SOT 13808328 SOS 9858475 HAS SOPS 9858171 HAS SOUS 967800 HAS SOUPS 967511 WITH SCORE 977369.475
AT ITER 2301 NEW BEST:: SOT 13808321 SOS 9858468 HAS SOPS 9858164 HAS SOUS 967800 HAS SOUPS 967511 WITH SCORE 977369.468
AT ITER 2369 NEW BEST:: SOT 13809374 SOS 9859773 HAS SOPS 9859469 HAS SOUS 966377 HAS SOUPS 966088 WITH SCORE 975947.773
AT ITER 2372 NEW BEST:: SOT 13813583 SOS 9863982 HAS SOPS 9863678 HAS SOUS 965511 HAS SOUPS 965222 WITH SCORE 975085.982
AT ITER 2379 NEW BEST:: SOT 13813585 SOS 9863984 HAS SOPS 9863680 HAS SOUS 965351 HAS SOUPS 965062 WITH SCORE 974925.984
AT ITER 2381 NEW BEST:: SOT 13813516 SOS 9863915 HAS SOPS 9863611 HAS SOUS 965210 HAS SOUPS 964921 WITH SCORE 974784.915
AT ITER 2392 NEW BEST:: SOT 13813495 SOS 9863880 HAS SOPS 9863576 HAS SOUS 965200 HAS SOUPS 964911 WITH SCORE 974774.88
AT ITER 2393 NEW BEST:: SOT 13814877 SOS 9865262 HAS SOPS 9864958 HAS SOUS 962944 HAS SOUPS 962655 WITH SCORE 972520.262
AT ITER 2399 NEW BEST:: SOT 13814877 SOS 9865262 HAS SOPS 9864958 HAS SOUS 962936 HAS SOUPS 962647 WITH SCORE 972512.262
AT ITER 2403 NEW BEST:: SOT 13814877 SOS 9863860 HAS SOPS 9863556 HAS SOUS 962739 HAS SOUPS 962450 WITH SCORE 972313.86
AT ITER 2415 NEW BEST:: SOT 13814871 SOS 9863854 HAS SOPS 9863550 HAS SOUS 962727 HAS SOUPS 962438 WITH SCORE 972301.854
AT ITER 2445 NEW BEST:: SOT 13812821 SOS 9861804 HAS SOPS 9861500 HAS SOUS 960773 HAS SOUPS 960484 WITH SCORE 970345.804
AT ITER 2457 NEW BEST:: SOT 13812821 SOS 9853326 HAS SOPS 9853022 HAS SOUS 960773 HAS SOUPS 960484 WITH SCORE 970337.326
AT ITER 2464 NEW BEST:: SOT 13812821 SOS 9853270 HAS SOPS 9852966 HAS SOUS 960607 HAS SOUPS 960318 WITH SCORE 970171.27
AT ITER 2471 NEW BEST:: SOT 13812821 SOS 9853986 HAS SOPS 9853682 HAS SOUS 960531 HAS SOUPS 960242 WITH SCORE 970095.986
AT ITER 2483 NEW BEST:: SOT 13812821 SOS 9853986 HAS SOPS 9853682 HAS SOUS 960430 HAS SOUPS 960141 WITH SCORE 969994.986
AT ITER 2488 NEW BEST:: SOT 13812821 SOS 9853698 HAS SOPS 9853394 HAS SOUS 960430 HAS SOUPS 960141 WITH SCORE 969994.698
AT ITER 2490 NEW BEST:: SOT 13812799 SOS 9853676 HAS SOPS 9853372 HAS SOUS 960327 HAS SOUPS 960038 WITH SCORE 969891.676
AT ITER 2499 NEW BEST:: SOT 13812799 SOS 9853676 HAS SOPS 9853372 HAS SOUS 960312 HAS SOUPS 960023 WITH SCORE 969876.676
AT ITER 2515 NEW BEST:: SOT 13812050 SOS 9852636 HAS SOPS 9852378 HAS SOUS 957473 HAS SOUPS 957230 WITH SCORE 967082.636
AT ITER 2525 NEW BEST:: SOT 13812050 SOS 9852636 HAS SOPS 9852378 HAS SOUS 957410 HAS SOUPS 957167 WITH SCORE 967019.636
AT ITER 2552 NEW BEST:: SOT 13816795 SOS 9857381 HAS SOPS 9857123 HAS SOUS 952618 HAS SOUPS 952375 WITH SCORE 962232.381
AT ITER 2562 NEW BEST:: SOT 13815867 SOS 9856453 HAS SOPS 9856195 HAS SOUS 952575 HAS SOUPS 952332 WITH SCORE 962188.453
AT ITER 2580 NEW BEST:: SOT 13817006 SOS 9857664 HAS SOPS 9857406 HAS SOUS 949176 HAS SOUPS 948933 WITH SCORE 958790.664
AT ITER 2586 NEW BEST:: SOT 13815326 SOS 9851006 HAS SOPS 9850748 HAS SOUS 947169 HAS SOUPS 946926 WITH SCORE 956777.006
AT ITER 2596 NEW BEST:: SOT 13815278 SOS 9850958 HAS SOPS 9850700 HAS SOUS 947121 HAS SOUPS 946878 WITH SCORE 956728.958
AT ITER 2604 NEW BEST:: SOT 13815278 SOS 9850693 HAS SOPS 9850435 HAS SOUS 947121 HAS SOUPS 946878 WITH SCORE 956728.693
AT ITER 2630 NEW BEST:: SOT 13815278 SOS 9746041 HAS SOPS 9745783 HAS SOUS 947100 HAS SOUPS 946857 WITH SCORE 956603.041
AT ITER 2654 NEW BEST:: SOT 13815278 SOS 9745987 HAS SOPS 9745729 HAS SOUS 947021 HAS SOUPS 946778 WITH SCORE 956523.987
AT ITER 2655 NEW BEST:: SOT 13815278 SOS 9745987 HAS SOPS 9745729 HAS SOUS 946989 HAS SOUPS 946746 WITH SCORE 956491.987
AT ITER 2670 NEW BEST:: SOT 13815278 SOS 9747931 HAS SOPS 9747673 HAS SOUS 946886 HAS SOUPS 946643 WITH SCORE 956390.931
AT ITER 2673 NEW BEST:: SOT 13815214 SOS 9747867 HAS SOPS 9747609 HAS SOUS 946852 HAS SOUPS 946609 WITH SCORE 956356.867
AT ITER 2690 NEW BEST:: SOT 13815294 SOS 9747947 HAS SOPS 9747689 HAS SOUS 945561 HAS SOUPS 945318 WITH SCORE 955065.947
AT ITER 2694 NEW BEST:: SOT 13815080 SOS 9747733 HAS SOPS 9747475 HAS SOUS 945347 HAS SOUPS 945104 WITH SCORE 954851.733
AT ITER 2698 NEW BEST:: SOT 13815080 SOS 9743251 HAS SOPS 9742993 HAS SOUS 945347 HAS SOUPS 945104 WITH SCORE 954847.251
AT ITER 2699 NEW BEST:: SOT 13815048 SOS 9743219 HAS SOPS 9742961 HAS SOUS 945327 HAS SOUPS 945084 WITH SCORE 954827.219
AT ITER 2700 NEW BEST:: SOT 13815048 SOS 9742624 HAS SOPS 9742366 HAS SOUS 945128 HAS SOUPS 944885 WITH SCORE 954627.624
AT ITER 2702 NEW BEST:: SOT 13815048 SOS 9742408 HAS SOPS 9742150 HAS SOUS 945020 HAS SOUPS 944777 WITH SCORE 954519.408
AT ITER 2720 NEW BEST:: SOT 13815048 SOS 9742384 HAS SOPS 9742126 HAS SOUS 944918 HAS SOUPS 944675 WITH SCORE 954417.384
AT ITER 2722 NEW BEST:: SOT 13815048 SOS 9742168 HAS SOPS 9741910 HAS SOUS 944918 HAS SOUPS 944675 WITH SCORE 954417.168
AT ITER 2748 NEW BEST:: SOT 13810155 SOS 9732417 HAS SOPS 9732159 HAS SOUS 943017 HAS SOUPS 942774 WITH SCORE 952506.417
AT ITER 2789 NEW BEST:: SOT 13812060 SOS 9734322 HAS SOPS 9734077 HAS SOUS 942674 HAS SOUPS 942444 WITH SCORE 952178.322
AT ITER 2796 NEW BEST:: SOT 13809837 SOS 9732099 HAS SOPS 9731854 HAS SOUS 941063 HAS SOUPS 940833 WITH SCORE 950565.099
AT ITER 2803 NEW BEST:: SOT 13809837 SOS 9732068 HAS SOPS 9731823 HAS SOUS 941032 HAS SOUPS 940802 WITH SCORE 950534.068
AT ITER 2824 NEW BEST:: SOT 13804122 SOS 9726353 HAS SOPS 9726108 HAS SOUS 935393 HAS SOUPS 935163 WITH SCORE 944889.353
AT ITER 2829 NEW BEST:: SOT 13805443 SOS 9723980 HAS SOPS 9723735 HAS SOUS 931675 HAS SOUPS 931445 WITH SCORE 941168.98
AT ITER 2832 NEW BEST:: SOT 13805443 SOS 9722550 HAS SOPS 9722305 HAS SOUS 931610 HAS SOUPS 931380 WITH SCORE 941102.55
AT ITER 2835 NEW BEST:: SOT 13805443 SOS 9724494 HAS SOPS 9724249 HAS SOUS 931474 HAS SOUPS 931244 WITH SCORE 940968.494
AT ITER 2838 NEW BEST:: SOT 13805388 SOS 9724439 HAS SOPS 9724194 HAS SOUS 931419 HAS SOUPS 931189 WITH SCORE 940913.439
AT ITER 2850 NEW BEST:: SOT 13805388 SOS 9723359 HAS SOPS 9723114 HAS SOUS 931419 HAS SOUPS 931189 WITH SCORE 940912.359
AT ITER 2884 NEW BEST:: SOT 13805364 SOS 9723335 HAS SOPS 9723090 HAS SOUS 931395 HAS SOUPS 931165 WITH SCORE 940888.335
AT ITER 2885 NEW BEST:: SOT 13805364 SOS 9721915 HAS SOPS 9721670 HAS SOUS 931395 HAS SOUPS 931165 WITH SCORE 940886.915
AT ITER 2899 NEW BEST:: SOT 13805364 SOS 9721809 HAS SOPS 9721564 HAS SOUS 931342 HAS SOUPS 931112 WITH SCORE 940833.809
AT ITER 2901 NEW BEST:: SOT 13811624 SOS 9728069 HAS SOPS 9727824 HAS SOUS 927062 HAS SOUPS 926832 WITH SCORE 936560.069
AT ITER 2912 NEW BEST:: SOT 13811654 SOS 9728099 HAS SOPS 9727854 HAS SOUS 927032 HAS SOUPS 926802 WITH SCORE 936530.099
AT ITER 2940 NEW BEST:: SOT 13811654 SOS 9727402 HAS SOPS 9727157 HAS SOUS 927032 HAS SOUPS 926802 WITH SCORE 936529.402
AT ITER 2948 NEW BEST:: SOT 13811612 SOS 9727434 HAS SOPS 9727201 HAS SOUS 926768 HAS SOUPS 926550 WITH SCORE 936277.434
AT ITER 2979 NEW BEST:: SOT 13810261 SOS 9726083 HAS SOPS 9725850 HAS SOUS 925138 HAS SOUPS 924920 WITH SCORE 934646.083
AT ITER 2990 NEW BEST:: SOT 13810261 SOS 9725753 HAS SOPS 9725520 HAS SOUS 925123 HAS SOUPS 924905 WITH SCORE 934630.753
AT ITER 2998 NEW BEST:: SOT 13808272 SOS 9721892 HAS SOPS 9721659 HAS SOUS 924005 HAS SOUPS 923787 WITH SCORE 933508.892
AT ITER 3009 NEW BEST:: SOT 13808073 SOS 9723056 HAS SOPS 9722920 HAS SOUS 921883 HAS SOUPS 921762 WITH SCORE 931485.056
AT ITER 3010 NEW BEST:: SOT 13808073 SOS 9724606 HAS SOPS 9724470 HAS SOUS 921679 HAS SOUPS 921558 WITH SCORE 931282.606
AT ITER 3021 NEW BEST:: SOT 13808082 SOS 9724491 HAS SOPS 9724369 HAS SOUS 921283 HAS SOUPS 921176 WITH SCORE 930900.491
AT ITER 3036 NEW BEST:: SOT 13808082 SOS 9720939 HAS SOPS 9720817 HAS SOUS 921283 HAS SOUPS 921176 WITH SCORE 930896.939
AT ITER 3047 NEW BEST:: SOT 13808082 SOS 9720880 HAS SOPS 9720758 HAS SOUS 921186 HAS SOUPS 921079 WITH SCORE 930799.88
AT ITER 3049 NEW BEST:: SOT 13807977 SOS 9719161 HAS SOPS 9719039 HAS SOUS 921186 HAS SOUPS 921079 WITH SCORE 930798.161
AT ITER 3077 NEW BEST:: SOT 13807991 SOS 9720059 HAS SOPS 9719948 HAS SOUS 921156 HAS SOUPS 921060 WITH SCORE 930780.059
AT ITER 3086 NEW BEST:: SOT 13814446 SOS 9726514 HAS SOPS 9726403 HAS SOUS 920332 HAS SOUPS 920236 WITH SCORE 929962.514
AT ITER 3164 NEW BEST:: SOT 13814530 SOS 9726598 HAS SOPS 9726487 HAS SOUS 920220 HAS SOUPS 920124 WITH SCORE 929850.598
AT ITER 3191 NEW BEST:: SOT 13817433 SOS 9729501 HAS SOPS 9729390 HAS SOUS 917717 HAS SOUPS 917621 WITH SCORE 927350.501
AT ITER 3193 NEW BEST:: SOT 13819406 SOS 9731474 HAS SOPS 9731363 HAS SOUS 916837 HAS SOUPS 916741 WITH SCORE 926472.474
AT ITER 3200 NEW BEST:: SOT 13817740 SOS 9729808 HAS SOPS 9729697 HAS SOUS 915729 HAS SOUPS 915633 WITH SCORE 925362.808
AT ITER 3203 NEW BEST:: SOT 13817638 SOS 9729706 HAS SOPS 9729595 HAS SOUS 915627 HAS SOUPS 915531 WITH SCORE 925260.706
AT ITER 3222 NEW BEST:: SOT 13799464 SOS 9719107 HAS SOPS 9718996 HAS SOUS 906598 HAS SOUPS 906502 WITH SCORE 916221.107
AT ITER 3225 NEW BEST:: SOT 13796676 SOS 9716319 HAS SOPS 9716208 HAS SOUS 901050 HAS SOUPS 900954 WITH SCORE 910670.319
AT ITER 3229 NEW BEST:: SOT 13796451 SOS 9715982 HAS SOPS 9715885 HAS SOUS 900480 HAS SOUPS 900398 WITH SCORE 910113.982
AT ITER 3238 NEW BEST:: SOT 13796451 SOS 9718742 HAS SOPS 9718645 HAS SOUS 900368 HAS SOUPS 900286 WITH SCORE 910004.742
AT ITER 3242 NEW BEST:: SOT 13796451 SOS 9718742 HAS SOPS 9718645 HAS SOUS 900325 HAS SOUPS 900243 WITH SCORE 909961.742
AT ITER 3246 NEW BEST:: SOT 13796451 SOS 9718693 HAS SOPS 9718596 HAS SOUS 900260 HAS SOUPS 900178 WITH SCORE 909896.693
AT ITER 3268 NEW BEST:: SOT 13796451 SOS 9518096 HAS SOPS 9517999 HAS SOUS 900010 HAS SOUPS 899928 WITH SCORE 909446.096
AT ITER 3291 NEW BEST:: SOT 13794866 SOS 9516511 HAS SOPS 9516414 HAS SOUS 898892 HAS SOUPS 898810 WITH SCORE 908326.511
AT ITER 3310 NEW BEST:: SOT 13795283 SOS 9515992 HAS SOPS 9515895 HAS SOUS 898800 HAS SOUPS 898718 WITH SCORE 908233.992
AT ITER 3360 NEW BEST:: SOT 13795283 SOS 9515056 HAS SOPS 9514959 HAS SOUS 898800 HAS SOUPS 898718 WITH SCORE 908233.056
AT ITER 3372 NEW BEST:: SOT 13801387 SOS 9521160 HAS SOPS 9521063 HAS SOUS 894528 HAS SOUPS 894446 WITH SCORE 903967.16
AT ITER 3379 NEW BEST:: SOT 13801367 SOS 9521140 HAS SOPS 9521043 HAS SOUS 894506 HAS SOUPS 894424 WITH SCORE 903945.14
AT ITER 3394 NEW BEST:: SOT 13801813 SOS 9521586 HAS SOPS 9521489 HAS SOUS 894288 HAS SOUPS 894206 WITH SCORE 903727.586
AT ITER 3400 NEW BEST:: SOT 13801788 SOS 9521561 HAS SOPS 9521464 HAS SOUS 894263 HAS SOUPS 894181 WITH SCORE 903702.561
AT ITER 3437 NEW BEST:: SOT 13803259 SOS 9523032 HAS SOPS 9522935 HAS SOUS 892187 HAS SOUPS 892105 WITH SCORE 901628.032
AT ITER 3479 NEW BEST:: SOT 13803243 SOS 9523016 HAS SOPS 9522919 HAS SOUS 892171 HAS SOUPS 892089 WITH SCORE 901612.016
AT ITER 3496 NEW BEST:: SOT 13802983 SOS 9522756 HAS SOPS 9522659 HAS SOUS 891635 HAS SOUPS 891553 WITH SCORE 901075.756
AT ITER 3513 NEW BEST:: SOT 13814251 SOS 9534319 HAS SOPS 9534155 HAS SOUS 889059 HAS SOUPS 888910 WITH SCORE 898444.319
AT ITER 3525 NEW BEST:: SOT 13814251 SOS 9531871 HAS SOPS 9531707 HAS SOUS 888576 HAS SOUPS 888427 WITH SCORE 897958.871
AT ITER 3529 NEW BEST:: SOT 13812592 SOS 9530212 HAS SOPS 9530048 HAS SOUS 888231 HAS SOUPS 888082 WITH SCORE 897612.212
AT ITER 3547 NEW BEST:: SOT 13812592 SOS 9531443 HAS SOPS 9531279 HAS SOUS 888209 HAS SOUPS 888060 WITH SCORE 897591.443
AT ITER 3558 NEW BEST:: SOT 13812592 SOS 9531259 HAS SOPS 9531095 HAS SOUS 888117 HAS SOUPS 887968 WITH SCORE 897499.259
AT ITER 3569 NEW BEST:: SOT 13811549 SOS 9530216 HAS SOPS 9530052 HAS SOUS 884835 HAS SOUPS 884686 WITH SCORE 894216.216
AT ITER 3596 NEW BEST:: SOT 13812571 SOS 9531238 HAS SOPS 9531074 HAS SOUS 884489 HAS SOUPS 884340 WITH SCORE 893871.238
AT ITER 3598 NEW BEST:: SOT 13812619 SOS 9531286 HAS SOPS 9531122 HAS SOUS 884174 HAS SOUPS 884025 WITH SCORE 893556.286
AT ITER 3600 NEW BEST:: SOT 13812619 SOS 9535852 HAS SOPS 9535688 HAS SOUS 884140 HAS SOUPS 883991 WITH SCORE 893526.852
AT ITER 3630 NEW BEST:: SOT 13813187 SOS 9536420 HAS SOPS 9536256 HAS SOUS 883830 HAS SOUPS 883681 WITH SCORE 893217.42
AT ITER 3637 NEW BEST:: SOT 13813187 SOS 9528356 HAS SOPS 9528192 HAS SOUS 883800 HAS SOUPS 883651 WITH SCORE 893179.356
AT ITER 3674 NEW BEST:: SOT 13807195 SOS 9522364 HAS SOPS 9522200 HAS SOUS 877956 HAS SOUPS 877807 WITH SCORE 887329.364
AT ITER 3675 NEW BEST:: SOT 13809365 SOS 9524534 HAS SOPS 9524370 HAS SOUS 876215 HAS SOUPS 876066 WITH SCORE 885590.534
AT ITER 3689 NEW BEST:: SOT 13805297 SOS 9520466 HAS SOPS 9520302 HAS SOUS 873008 HAS SOUPS 872859 WITH SCORE 882379.466
AT ITER 3709 NEW BEST:: SOT 13803108 SOS 9518277 HAS SOPS 9518113 HAS SOUS 871378 HAS SOUPS 871229 WITH SCORE 880747.277
AT ITER 3711 NEW BEST:: SOT 13804181 SOS 9483400 HAS SOPS 9483100 HAS SOUS 866251 HAS SOUPS 866102 WITH SCORE 875585.4
AT ITER 3717 NEW BEST:: SOT 13802247 SOS 9480602 HAS SOPS 9480302 HAS SOUS 863791 HAS SOUPS 863642 WITH SCORE 873122.602
AT ITER 3724 NEW BEST:: SOT 13804461 SOS 9482816 HAS SOPS 9482516 HAS SOUS 861879 HAS SOUPS 861730 WITH SCORE 871212.816
AT ITER 3733 NEW BEST:: SOT 13801129 SOS 9479484 HAS SOPS 9479184 HAS SOUS 855009 HAS SOUPS 854860 WITH SCORE 864339.484
AT ITER 3740 NEW BEST:: SOT 13801129 SOS 9479420 HAS SOPS 9479120 HAS SOUS 854975 HAS SOUPS 854826 WITH SCORE 864305.42
AT ITER 3748 NEW BEST:: SOT 13801129 SOS 9479420 HAS SOPS 9479120 HAS SOUS 854948 HAS SOUPS 854799 WITH SCORE 864278.42
AT ITER 3761 NEW BEST:: SOT 13796709 SOS 9475000 HAS SOPS 9474700 HAS SOUS 850830 HAS SOUPS 850681 WITH SCORE 860156.0
AT ITER 3796 NEW BEST:: SOT 13796731 SOS 9475022 HAS SOPS 9474722 HAS SOUS 850618 HAS SOUPS 850469 WITH SCORE 859944.022
AT ITER 3798 NEW BEST:: SOT 13803503 SOS 9481794 HAS SOPS 9481494 HAS SOUS 842241 HAS SOUPS 842092 WITH SCORE 851573.794
AT ITER 3806 NEW BEST:: SOT 13803503 SOS 9481735 HAS SOPS 9481435 HAS SOUS 842182 HAS SOUPS 842033 WITH SCORE 851514.735
AT ITER 3820 NEW BEST:: SOT 13803211 SOS 9481443 HAS SOPS 9481143 HAS SOUS 841994 HAS SOUPS 841845 WITH SCORE 851326.443
AT ITER 3826 NEW BEST:: SOT 13801037 SOS 9479269 HAS SOPS 9478969 HAS SOUS 841609 HAS SOUPS 841460 WITH SCORE 850939.269
AT ITER 3828 NEW BEST:: SOT 13801009 SOS 9479241 HAS SOPS 9478941 HAS SOUS 841591 HAS SOUPS 841442 WITH SCORE 850921.241
AT ITER 3857 NEW BEST:: SOT 13798931 SOS 9477163 HAS SOPS 9476863 HAS SOUS 839761 HAS SOUPS 839612 WITH SCORE 849089.163
AT ITER 3880 NEW BEST:: SOT 13798885 SOS 9477117 HAS SOPS 9476817 HAS SOUS 839740 HAS SOUPS 839591 WITH SCORE 849068.117
AT ITER 3901 NEW BEST:: SOT 13798885 SOS 9475965 HAS SOPS 9475665 HAS SOUS 839740 HAS SOUPS 839591 WITH SCORE 849066.965
AT ITER 3912 NEW BEST:: SOT 13798885 SOS 9475869 HAS SOPS 9475569 HAS SOUS 839546 HAS SOUPS 839397 WITH SCORE 848872.869
AT ITER 3917 NEW BEST:: SOT 13798885 SOS 9475811 HAS SOPS 9475511 HAS SOUS 839517 HAS SOUPS 839368 WITH SCORE 848843.811
AT ITER 3937 NEW BEST:: SOT 13798885 SOS 9474999 HAS SOPS 9474699 HAS SOUS 839517 HAS SOUPS 839368 WITH SCORE 848842.999
AT ITER 3951 NEW BEST:: SOT 13794830 SOS 9470959 HAS SOPS 9470659 HAS SOUS 829874 HAS SOUPS 829725 WITH SCORE 839195.959
AT ITER 3959 NEW BEST:: SOT 13794761 SOS 9470890 HAS SOPS 9470590 HAS SOUS 829707 HAS SOUPS 829558 WITH SCORE 839028.89
AT ITER 3961 NEW BEST:: SOT 13791438 SOS 9467567 HAS SOPS 9467267 HAS SOUS 827081 HAS SOUPS 826932 WITH SCORE 836399.567
AT ITER 4000 NEW BEST:: SOT 13791510 SOS 9409687 HAS SOPS 9409387 HAS SOUS 827119 HAS SOUPS 826970 WITH SCORE 836379.687
AT ITER 4005 NEW BEST:: SOT 13791540 SOS 9409686 HAS SOPS 9409386 HAS SOUS 826781 HAS SOUPS 826632 WITH SCORE 836041.686
AT ITER 4013 NEW BEST:: SOT 13801899 SOS 9420045 HAS SOPS 9419745 HAS SOUS 825707 HAS SOUPS 825558 WITH SCORE 834978.045
AT ITER 4030 NEW BEST:: SOT 13801493 SOS 9419639 HAS SOPS 9419339 HAS SOUS 821577 HAS SOUPS 821428 WITH SCORE 830847.639
AT ITER 4041 NEW BEST:: SOT 13802344 SOS 9420285 HAS SOPS 9420096 HAS SOUS 820760 HAS SOUPS 820677 WITH SCORE 830097.285
AT ITER 4043 NEW BEST:: SOT 13802344 SOS 9420260 HAS SOPS 9420071 HAS SOUS 820756 HAS SOUPS 820673 WITH SCORE 830093.26
AT ITER 4072 NEW BEST:: SOT 13802317 SOS 9420043 HAS SOPS 9419854 HAS SOUS 820070 HAS SOUPS 819987 WITH SCORE 829407.043
AT ITER 4075 NEW BEST:: SOT 13802317 SOS 9419853 HAS SOPS 9419664 HAS SOUS 819975 HAS SOUPS 819892 WITH SCORE 829311.853
AT ITER 4083 NEW BEST:: SOT 13802295 SOS 9419831 HAS SOPS 9419642 HAS SOUS 819953 HAS SOUPS 819870 WITH SCORE 829289.831
AT ITER 4089 NEW BEST:: SOT 13802295 SOS 9419463 HAS SOPS 9419274 HAS SOUS 819861 HAS SOUPS 819778 WITH SCORE 829197.463
AT ITER 4092 NEW BEST:: SOT 13803971 SOS 9421139 HAS SOPS 9420950 HAS SOUS 819326 HAS SOUPS 819243 WITH SCORE 828664.139
AT ITER 4095 NEW BEST:: SOT 13802849 SOS 9420017 HAS SOPS 9419828 HAS SOUS 817130 HAS SOUPS 817047 WITH SCORE 826467.017
AT ITER 4115 NEW BEST:: SOT 13786646 SOS 7977604 HAS SOPS 7977415 HAS SOUS 815663 HAS SOUPS 815580 WITH SCORE 823557.604
AT ITER 4120 NEW BEST:: SOT 13784513 SOS 7975471 HAS SOPS 7975282 HAS SOUS 814115 HAS SOUPS 814032 WITH SCORE 822007.471
AT ITER 4130 NEW BEST:: SOT 13782386 SOS 7973344 HAS SOPS 7973155 HAS SOUS 812777 HAS SOUPS 812694 WITH SCORE 820667.344
AT ITER 4168 NEW BEST:: SOT 13785923 SOS 7976881 HAS SOPS 7976692 HAS SOUS 811894 HAS SOUPS 811811 WITH SCORE 819787.881
AT ITER 4178 NEW BEST:: SOT 13784018 SOS 7974976 HAS SOPS 7974787 HAS SOUS 809465 HAS SOUPS 809382 WITH SCORE 817356.976
AT ITER 4181 NEW BEST:: SOT 13784018 SOS 7974922 HAS SOPS 7974733 HAS SOUS 809465 HAS SOUPS 809382 WITH SCORE 817356.922
AT ITER 4204 NEW BEST:: SOT 13787721 SOS 7978625 HAS SOPS 7978436 HAS SOUS 808903 HAS SOUPS 808820 WITH SCORE 816798.625
AT ITER 4207 NEW BEST:: SOT 13787719 SOS 7978623 HAS SOPS 7978434 HAS SOUS 808881 HAS SOUPS 808798 WITH SCORE 816776.623
AT ITER 4212 NEW BEST:: SOT 13788191 SOS 7980385 HAS SOPS 7980196 HAS SOUS 807013 HAS SOUPS 806930 WITH SCORE 814910.385
AT ITER 4223 NEW BEST:: SOT 13786107 SOS 7976573 HAS SOPS 7976384 HAS SOUS 806681 HAS SOUPS 806598 WITH SCORE 814574.573
AT ITER 4238 NEW BEST:: SOT 13786107 SOS 7976331 HAS SOPS 7976142 HAS SOUS 806670 HAS SOUPS 806587 WITH SCORE 814563.331
AT ITER 4303 NEW BEST:: SOT 13785246 SOS 7975470 HAS SOPS 7975281 HAS SOUS 806372 HAS SOUPS 806289 WITH SCORE 814264.47
AT ITER 4346 NEW BEST:: SOT 13785246 SOS 7974612 HAS SOPS 7974423 HAS SOUS 806372 HAS SOUPS 806289 WITH SCORE 814263.612
AT ITER 4351 NEW BEST:: SOT 13785266 SOS 7974632 HAS SOPS 7974443 HAS SOUS 806360 HAS SOUPS 806277 WITH SCORE 814251.632
AT ITER 4362 NEW BEST:: SOT 13784390 SOS 7973756 HAS SOPS 7973567 HAS SOUS 804632 HAS SOUPS 804549 WITH SCORE 812522.756
AT ITER 4369 NEW BEST:: SOT 13784390 SOS 7973756 HAS SOPS 7973567 HAS SOUS 804605 HAS SOUPS 804522 WITH SCORE 812495.756
AT ITER 4392 NEW BEST:: SOT 13784390 SOS 7973138 HAS SOPS 7972949 HAS SOUS 804605 HAS SOUPS 804522 WITH SCORE 812495.138
AT ITER 4407 NEW BEST:: SOT 13783544 SOS 7972253 HAS SOPS 7972103 HAS SOUS 802918 HAS SOUPS 802835 WITH SCORE 810807.253
AT ITER 4420 NEW BEST:: SOT 13784089 SOS 7972798 HAS SOPS 7972648 HAS SOUS 801436 HAS SOUPS 801353 WITH SCORE 809325.798
AT ITER 4429 NEW BEST:: SOT 13792683 SOS 7982034 HAS SOPS 7981884 HAS SOUS 800203 HAS SOUPS 800120 WITH SCORE 808102.034
AT ITER 4446 NEW BEST:: SOT 13792792 SOS 7982151 HAS SOPS 7982001 HAS SOUS 800062 HAS SOUPS 799979 WITH SCORE 807961.151
AT ITER 4449 NEW BEST:: SOT 13792792 SOS 7982151 HAS SOPS 7982001 HAS SOUS 800060 HAS SOUPS 799977 WITH SCORE 807959.151
AT ITER 4502 NEW BEST:: SOT 13793121 SOS 7983098 HAS SOPS 7982948 HAS SOUS 793413 HAS SOUPS 793330 WITH SCORE 801313.098
AT ITER 4507 NEW BEST:: SOT 13793121 SOS 7981658 HAS SOPS 7981508 HAS SOUS 793413 HAS SOUPS 793330 WITH SCORE 801311.658
AT ITER 4518 NEW BEST:: SOT 13792911 SOS 7981448 HAS SOPS 7981298 HAS SOUS 792993 HAS SOUPS 792910 WITH SCORE 800891.448
AT ITER 4521 NEW BEST:: SOT 13791929 SOS 7980466 HAS SOPS 7980316 HAS SOUS 792037 HAS SOUPS 791954 WITH SCORE 799934.466
AT ITER 4537 NEW BEST:: SOT 13789924 SOS 7978461 HAS SOPS 7978311 HAS SOUS 787981 HAS SOUPS 787898 WITH SCORE 795876.461
AT ITER 4552 NEW BEST:: SOT 13797537 SOS 7994786 HAS SOPS 7994636 HAS SOUS 787671 HAS SOUPS 787588 WITH SCORE 795582.786
AT ITER 4553 NEW BEST:: SOT 13797565 SOS 7994814 HAS SOPS 7994664 HAS SOUS 787631 HAS SOUPS 787548 WITH SCORE 795542.814
AT ITER 4557 NEW BEST:: SOT 13797565 SOS 7994814 HAS SOPS 7994664 HAS SOUS 787629 HAS SOUPS 787546 WITH SCORE 795540.814
AT ITER 4564 NEW BEST:: SOT 13797374 SOS 7994623 HAS SOPS 7994473 HAS SOUS 787243 HAS SOUPS 787160 WITH SCORE 795154.623
AT ITER 4622 NEW BEST:: SOT 13797275 SOS 8004702 HAS SOPS 8004552 HAS SOUS 785862 HAS SOUPS 785779 WITH SCORE 793783.702
AT ITER 4646 NEW BEST:: SOT 13797167 SOS 8004594 HAS SOPS 8004444 HAS SOUS 785617 HAS SOUPS 785534 WITH SCORE 793538.594
AT ITER 4686 NEW BEST:: SOT 13797167 SOS 8004069 HAS SOPS 8003919 HAS SOUS 785542 HAS SOUPS 785459 WITH SCORE 793463.069
AT ITER 4727 NEW BEST:: SOT 13798351 SOS 8005273 HAS SOPS 8005126 HAS SOUS 785073 HAS SOUPS 784993 WITH SCORE 792998.273
AT ITER 4737 NEW BEST:: SOT 13798351 SOS 8005257 HAS SOPS 8005110 HAS SOUS 785069 HAS SOUPS 784989 WITH SCORE 792994.257
AT ITER 4754 NEW BEST:: SOT 13798283 SOS 8005189 HAS SOPS 8005042 HAS SOUS 785001 HAS SOUPS 784921 WITH SCORE 792926.189
AT ITER 4761 NEW BEST:: SOT 13794185 SOS 8000647 HAS SOPS 8000500 HAS SOUS 782324 HAS SOUPS 782244 WITH SCORE 790244.647
AT ITER 4768 NEW BEST:: SOT 13794166 SOS 8000628 HAS SOPS 8000481 HAS SOUS 782305 HAS SOUPS 782225 WITH SCORE 790225.628
AT ITER 4769 NEW BEST:: SOT 13789559 SOS 7995895 HAS SOPS 7995748 HAS SOUS 779577 HAS SOUPS 779497 WITH SCORE 787492.895
AT ITER 4774 NEW BEST:: SOT 13789559 SOS 7995894 HAS SOPS 7995747 HAS SOUS 779575 HAS SOUPS 779495 WITH SCORE 787490.894
AT ITER 4775 NEW BEST:: SOT 13790492 SOS 7998845 HAS SOPS 7998698 HAS SOUS 779269 HAS SOUPS 779189 WITH SCORE 787187.845
AT ITER 4778 NEW BEST:: SOT 13790395 SOS 7998748 HAS SOPS 7998601 HAS SOUS 778827 HAS SOUPS 778747 WITH SCORE 786745.748
AT ITER 4788 NEW BEST:: SOT 13786207 SOS 7994560 HAS SOPS 7994413 HAS SOUS 774191 HAS SOUPS 774111 WITH SCORE 782105.56
AT ITER 4789 NEW BEST:: SOT 13786640 SOS 8012771 HAS SOPS 8012624 HAS SOUS 770704 HAS SOUPS 770624 WITH SCORE 778636.771
AT ITER 4795 NEW BEST:: SOT 13786638 SOS 8012769 HAS SOPS 8012622 HAS SOUS 770700 HAS SOUPS 770620 WITH SCORE 778632.769
AT ITER 4806 NEW BEST:: SOT 13787348 SOS 8013479 HAS SOPS 8013332 HAS SOUS 769260 HAS SOUPS 769180 WITH SCORE 777193.479
AT ITER 4816 NEW BEST:: SOT 13787915 SOS 8014046 HAS SOPS 8013899 HAS SOUS 768998 HAS SOUPS 768918 WITH SCORE 776932.046
AT ITER 4819 NEW BEST:: SOT 13787590 SOS 8013721 HAS SOPS 8013574 HAS SOUS 768310 HAS SOUPS 768230 WITH SCORE 776243.721
AT ITER 4835 NEW BEST:: SOT 13785604 SOS 8011735 HAS SOPS 8011588 HAS SOUS 766646 HAS SOUPS 766566 WITH SCORE 774577.735
AT ITER 4836 NEW BEST:: SOT 13784917 SOS 8011048 HAS SOPS 8010901 HAS SOUS 765272 HAS SOUPS 765192 WITH SCORE 773203.048
AT ITER 4870 NEW BEST:: SOT 13784917 SOS 8010789 HAS SOPS 8010642 HAS SOUS 765227 HAS SOUPS 765147 WITH SCORE 773157.789
AT ITER 4894 NEW BEST:: SOT 13783429 SOS 8009301 HAS SOPS 8009154 HAS SOUS 762193 HAS SOUPS 762113 WITH SCORE 770122.301
AT ITER 4938 NEW BEST:: SOT 13783429 SOS 8009189 HAS SOPS 8009042 HAS SOUS 762177 HAS SOUPS 762097 WITH SCORE 770106.189
AT ITER 4945 NEW BEST:: SOT 13784002 SOS 8009762 HAS SOPS 8009615 HAS SOUS 761996 HAS SOUPS 761916 WITH SCORE 769925.762
AT ITER 4953 NEW BEST:: SOT 13781565 SOS 8009423 HAS SOPS 8009276 HAS SOUS 760081 HAS SOUPS 760001 WITH SCORE 768010.423
AT ITER 4975 NEW BEST:: SOT 13788642 SOS 8016760 HAS SOPS 8016613 HAS SOUS 756290 HAS SOUPS 756210 WITH SCORE 764226.76
AT ITER 4991 NEW BEST:: SOT 13788642 SOS 8016186 HAS SOPS 8016039 HAS SOUS 756180 HAS SOUPS 756100 WITH SCORE 764116.186
AT ITER 4992 NEW BEST:: SOT 13788642 SOS 8015754 HAS SOPS 8015607 HAS SOUS 756180 HAS SOUPS 756100 WITH SCORE 764115.754
AT ITER 5015 NEW BEST:: SOT 13788642 SOS 8016446 HAS SOPS 8016299 HAS SOUS 756155 HAS SOUPS 756075 WITH SCORE 764091.446
AT ITER 5025 NEW BEST:: SOT 13788642 SOS 8017160 HAS SOPS 8017013 HAS SOUS 751308 HAS SOUPS 751228 WITH SCORE 759245.16
AT ITER 5036 NEW BEST:: SOT 13788642 SOS 8017160 HAS SOPS 8017013 HAS SOUS 751260 HAS SOUPS 751180 WITH SCORE 759197.16
AT ITER 5068 NEW BEST:: SOT 13786854 SOS 8015372 HAS SOPS 8015225 HAS SOUS 750911 HAS SOUPS 750831 WITH SCORE 758846.372
AT ITER 5089 NEW BEST:: SOT 13786928 SOS 8015446 HAS SOPS 8015299 HAS SOUS 750343 HAS SOUPS 750263 WITH SCORE 758278.446
AT ITER 5098 NEW BEST:: SOT 13785806 SOS 8014324 HAS SOPS 8014177 HAS SOUS 748892 HAS SOUPS 748812 WITH SCORE 756826.324
AT ITER 5110 NEW BEST:: SOT 13778923 SOS 8006313 HAS SOPS 8006166 HAS SOUS 739928 HAS SOUPS 739848 WITH SCORE 747854.313
AT ITER 5136 NEW BEST:: SOT 13778088 SOS 8005491 HAS SOPS 8005344 HAS SOUS 739106 HAS SOUPS 739026 WITH SCORE 747031.491
AT ITER 5180 NEW BEST:: SOT 13776965 SOS 8004368 HAS SOPS 8004221 HAS SOUS 736827 HAS SOUPS 736747 WITH SCORE 744751.368
AT ITER 5188 NEW BEST:: SOT 13775686 SOS 8003089 HAS SOPS 8002942 HAS SOUS 736646 HAS SOUPS 736566 WITH SCORE 744569.089
AT ITER 5192 NEW BEST:: SOT 13775685 SOS 8003088 HAS SOPS 8002941 HAS SOUS 736645 HAS SOUPS 736565 WITH SCORE 744568.088
AT ITER 5197 NEW BEST:: SOT 13775471 SOS 8002874 HAS SOPS 8002727 HAS SOUS 736485 HAS SOUPS 736405 WITH SCORE 744407.874
AT ITER 5201 NEW BEST:: SOT 13775471 SOS 8002873 HAS SOPS 8002726 HAS SOUS 736483 HAS SOUPS 736403 WITH SCORE 744405.873
AT ITER 5213 NEW BEST:: SOT 13775284 SOS 8002686 HAS SOPS 8002539 HAS SOUS 736262 HAS SOUPS 736182 WITH SCORE 744184.686
AT ITER 5219 NEW BEST:: SOT 13775830 SOS 8003232 HAS SOPS 8003085 HAS SOUS 731320 HAS SOUPS 731240 WITH SCORE 739243.232
AT ITER 5249 NEW BEST:: SOT 13775830 SOS 8002211 HAS SOPS 8002064 HAS SOUS 731151 HAS SOUPS 731071 WITH SCORE 739073.211
AT ITER 5259 NEW BEST:: SOT 13775165 SOS 8002400 HAS SOPS 8002253 HAS SOUS 730208 HAS SOUPS 730128 WITH SCORE 738130.4
AT ITER 5275 NEW BEST:: SOT 13772617 SOS 7999138 HAS SOPS 7998991 HAS SOUS 730070 HAS SOUPS 729990 WITH SCORE 737989.138
AT ITER 5281 NEW BEST:: SOT 13772617 SOS 7998557 HAS SOPS 7998410 HAS SOUS 729980 HAS SOUPS 729900 WITH SCORE 737898.557
AT ITER 5298 NEW BEST:: SOT 13772617 SOS 8000448 HAS SOPS 8000301 HAS SOUS 729949 HAS SOUPS 729869 WITH SCORE 737869.448
AT ITER 5301 NEW BEST:: SOT 13772827 SOS 8000658 HAS SOPS 8000511 HAS SOUS 729899 HAS SOUPS 729819 WITH SCORE 737819.658
AT ITER 5316 NEW BEST:: SOT 13770395 SOS 7998226 HAS SOPS 7998079 HAS SOUS 728127 HAS SOUPS 728047 WITH SCORE 736045.226
AT ITER 5328 NEW BEST:: SOT 13770024 SOS 7997855 HAS SOPS 7997708 HAS SOUS 727417 HAS SOUPS 727337 WITH SCORE 735334.855
AT ITER 5341 NEW BEST:: SOT 13765952 SOS 7993783 HAS SOPS 7993636 HAS SOUS 724228 HAS SOUPS 724148 WITH SCORE 732141.783
AT ITER 5362 NEW BEST:: SOT 13765142 SOS 7992973 HAS SOPS 7992826 HAS SOUS 722593 HAS SOUPS 722513 WITH SCORE 730505.973
AT ITER 5378 NEW BEST:: SOT 13765008 SOS 7992839 HAS SOPS 7992692 HAS SOUS 722491 HAS SOUPS 722411 WITH SCORE 730403.839
AT ITER 5414 NEW BEST:: SOT 13763760 SOS 7995455 HAS SOPS 7995308 HAS SOUS 720525 HAS SOUPS 720445 WITH SCORE 728440.455
AT ITER 5439 NEW BEST:: SOT 13763759 SOS 7995454 HAS SOPS 7995307 HAS SOUS 720522 HAS SOUPS 720442 WITH SCORE 728437.454
AT ITER 5446 NEW BEST:: SOT 13763767 SOS 7995462 HAS SOPS 7995315 HAS SOUS 720516 HAS SOUPS 720436 WITH SCORE 728431.462
AT ITER 5489 NEW BEST:: SOT 13763608 SOS 7995303 HAS SOPS 7995156 HAS SOUS 720202 HAS SOUPS 720122 WITH SCORE 728117.303
AT ITER 5523 NEW BEST:: SOT 13766667 SOS 7998362 HAS SOPS 7998215 HAS SOUS 718775 HAS SOUPS 718695 WITH SCORE 726693.362
AT ITER 5551 NEW BEST:: SOT 13766454 SOS 7998149 HAS SOPS 7998002 HAS SOUS 718542 HAS SOUPS 718462 WITH SCORE 726460.149
AT ITER 5558 NEW BEST:: SOT 13766454 SOS 7997979 HAS SOPS 7997832 HAS SOUS 718542 HAS SOUPS 718462 WITH SCORE 726459.979
AT ITER 5561 NEW BEST:: SOT 13766454 SOS 7997671 HAS SOPS 7997524 HAS SOUS 718498 HAS SOUPS 718418 WITH SCORE 726415.671
AT ITER 5568 NEW BEST:: SOT 13766454 SOS 7999511 HAS SOPS 7999364 HAS SOUS 718492 HAS SOUPS 718412 WITH SCORE 726411.511
AT ITER 5575 NEW BEST:: SOT 13766454 SOS 7999084 HAS SOPS 7998937 HAS SOUS 718377 HAS SOUPS 718297 WITH SCORE 726296.084
AT ITER 5633 NEW BEST:: SOT 13766520 SOS 7999162 HAS SOPS 7999015 HAS SOUS 718374 HAS SOUPS 718294 WITH SCORE 726293.162
AT ITER 5636 NEW BEST:: SOT 13766511 SOS 7999142 HAS SOPS 7998995 HAS SOUS 718157 HAS SOUPS 718077 WITH SCORE 726076.142
AT ITER 5667 NEW BEST:: SOT 13765177 SOS 7995662 HAS SOPS 7995515 HAS SOUS 718110 HAS SOUPS 718030 WITH SCORE 726025.662
AT ITER 5679 NEW BEST:: SOT 13765375 SOS 7995860 HAS SOPS 7995713 HAS SOUS 718032 HAS SOUPS 717952 WITH SCORE 725947.86
AT ITER 5708 NEW BEST:: SOT 13765375 SOS 8002654 HAS SOPS 8002507 HAS SOUS 718010 HAS SOUPS 717930 WITH SCORE 725932.654
AT ITER 5712 NEW BEST:: SOT 13766926 SOS 8004205 HAS SOPS 8004058 HAS SOUS 716377 HAS SOUPS 716297 WITH SCORE 724301.205
AT ITER 5731 NEW BEST:: SOT 13763416 SOS 7997959 HAS SOPS 7997812 HAS SOUS 715203 HAS SOUPS 715123 WITH SCORE 723120.959
AT ITER 5750 NEW BEST:: SOT 13763407 SOS 7998260 HAS SOPS 7998175 HAS SOUS 710869 HAS SOUPS 710820 WITH SCORE 718818.26
AT ITER 5763 NEW BEST:: SOT 13763382 SOS 7998130 HAS SOPS 7998058 HAS SOUS 710164 HAS SOUPS 710128 WITH SCORE 718126.13
AT ITER 5801 NEW BEST:: SOT 13763382 SOS 7994165 HAS SOPS 7994093 HAS SOUS 710063 HAS SOUPS 710027 WITH SCORE 718021.165
AT ITER 5837 NEW BEST:: SOT 13763443 SOS 7994226 HAS SOPS 7994154 HAS SOUS 710050 HAS SOUPS 710014 WITH SCORE 718008.226
AT ITER 5882 NEW BEST:: SOT 13763008 SOS 7993791 HAS SOPS 7993719 HAS SOUS 709110 HAS SOUPS 709074 WITH SCORE 717067.791
AT ITER 5913 NEW BEST:: SOT 13762991 SOS 7993774 HAS SOPS 7993702 HAS SOUS 709093 HAS SOUPS 709057 WITH SCORE 717050.774
AT ITER 5930 NEW BEST:: SOT 13768459 SOS 7999242 HAS SOPS 7999170 HAS SOUS 708393 HAS SOUPS 708357 WITH SCORE 716356.242
AT ITER 5993 NEW BEST:: SOT 13768439 SOS 7999222 HAS SOPS 7999150 HAS SOUS 708351 HAS SOUPS 708315 WITH SCORE 716314.222
AT ITER 6003 NEW BEST:: SOT 13767881 SOS 7998664 HAS SOPS 7998592 HAS SOUS 707084 HAS SOUPS 707048 WITH SCORE 715046.664
AT ITER 6015 NEW BEST:: SOT 13768381 SOS 7999169 HAS SOPS 7999097 HAS SOUS 705669 HAS SOUPS 705633 WITH SCORE 713632.169
AT ITER 6018 NEW BEST:: SOT 13763464 SOS 7994252 HAS SOPS 7994180 HAS SOUS 705209 HAS SOUPS 705173 WITH SCORE 713167.252
AT ITER 6021 NEW BEST:: SOT 13763462 SOS 7994250 HAS SOPS 7994178 HAS SOUS 705209 HAS SOUPS 705173 WITH SCORE 713167.25
AT ITER 6028 NEW BEST:: SOT 13763017 SOS 7993165 HAS SOPS 7993093 HAS SOUS 704312 HAS SOUPS 704276 WITH SCORE 712269.165
AT ITER 6050 NEW BEST:: SOT 13762594 SOS 7992742 HAS SOPS 7992670 HAS SOUS 703425 HAS SOUPS 703389 WITH SCORE 711381.742
AT ITER 6063 NEW BEST:: SOT 13763050 SOS 7993211 HAS SOPS 7993139 HAS SOUS 703215 HAS SOUPS 703179 WITH SCORE 711172.211
AT ITER 6080 NEW BEST:: SOT 13763050 SOS 7993008 HAS SOPS 7992936 HAS SOUS 703186 HAS SOUPS 703150 WITH SCORE 711143.008
AT ITER 6092 NEW BEST:: SOT 13763020 SOS 7992978 HAS SOPS 7992906 HAS SOUS 703174 HAS SOUPS 703138 WITH SCORE 711130.978
AT ITER 6098 NEW BEST:: SOT 13762468 SOS 7992426 HAS SOPS 7992354 HAS SOUS 702049 HAS SOUPS 702013 WITH SCORE 710005.426
AT ITER 6099 NEW BEST:: SOT 13762414 SOS 7992372 HAS SOPS 7992300 HAS SOUS 701995 HAS SOUPS 701959 WITH SCORE 709951.372
AT ITER 6192 NEW BEST:: SOT 13764502 SOS 7994460 HAS SOPS 7994388 HAS SOUS 700997 HAS SOUPS 700961 WITH SCORE 708955.46
AT ITER 6195 NEW BEST:: SOT 13764502 SOS 7994299 HAS SOPS 7994227 HAS SOUS 700957 HAS SOUPS 700921 WITH SCORE 708915.299
AT ITER 6226 NEW BEST:: SOT 13762667 SOS 7992464 HAS SOPS 7992392 HAS SOUS 699604 HAS SOUPS 699568 WITH SCORE 707560.464
AT ITER 6240 NEW BEST:: SOT 13762330 SOS 7992127 HAS SOPS 7992055 HAS SOUS 698924 HAS SOUPS 698888 WITH SCORE 706880.127
AT ITER 6291 NEW BEST:: SOT 13762305 SOS 7992102 HAS SOPS 7992030 HAS SOUS 698899 HAS SOUPS 698863 WITH SCORE 706855.102
AT ITER 6300 NEW BEST:: SOT 13762077 SOS 7991844 HAS SOPS 7991772 HAS SOUS 698753 HAS SOUPS 698717 WITH SCORE 706708.844
AT ITER 6310 NEW BEST:: SOT 13761391 SOS 7991158 HAS SOPS 7991086 HAS SOUS 698726 HAS SOUPS 698690 WITH SCORE 706681.158
AT ITER 6321 NEW BEST:: SOT 13761391 SOS 7991274 HAS SOPS 7991202 HAS SOUS 698716 HAS SOUPS 698680 WITH SCORE 706671.274
AT ITER 6336 NEW BEST:: SOT 13761391 SOS 7991099 HAS SOPS 7991027 HAS SOUS 698600 HAS SOUPS 698564 WITH SCORE 706555.099
AT ITER 6347 NEW BEST:: SOT 13760860 SOS 7990256 HAS SOPS 7990184 HAS SOUS 697519 HAS SOUPS 697483 WITH SCORE 705473.256
AT ITER 6395 NEW BEST:: SOT 13760783 SOS 7990179 HAS SOPS 7990107 HAS SOUS 697479 HAS SOUPS 697443 WITH SCORE 705433.179
AT ITER 6417 NEW BEST:: SOT 13760782 SOS 7990178 HAS SOPS 7990106 HAS SOUS 697477 HAS SOUPS 697441 WITH SCORE 705431.178
AT ITER 6439 NEW BEST:: SOT 13760782 SOS 7990178 HAS SOPS 7990106 HAS SOUS 697469 HAS SOUPS 697433 WITH SCORE 705423.178
AT ITER 6490 NEW BEST:: SOT 13760701 SOS 7990097 HAS SOPS 7990025 HAS SOUS 697435 HAS SOUPS 697399 WITH SCORE 705389.097
AT ITER 6494 NEW BEST:: SOT 13761523 SOS 7990945 HAS SOPS 7990873 HAS SOUS 696655 HAS SOUPS 696619 WITH SCORE 704609.945
AT ITER 6503 NEW BEST:: SOT 13761523 SOS 7991494 HAS SOPS 7991422 HAS SOUS 696646 HAS SOUPS 696610 WITH SCORE 704601.494
AT ITER 6584 NEW BEST:: SOT 13759239 SOS 7989210 HAS SOPS 7989138 HAS SOUS 696030 HAS SOUPS 695994 WITH SCORE 703983.21
AT ITER 6659 NEW BEST:: SOT 13759225 SOS 7989196 HAS SOPS 7989124 HAS SOUS 696021 HAS SOUPS 695985 WITH SCORE 703974.196
AT ITER 6672 NEW BEST:: SOT 13760856 SOS 7990931 HAS SOPS 7990859 HAS SOUS 695814 HAS SOUPS 695778 WITH SCORE 703768.931
AT ITER 6695 NEW BEST:: SOT 13760840 SOS 7990915 HAS SOPS 7990843 HAS SOUS 695742 HAS SOUPS 695706 WITH SCORE 703696.915
AT ITER 6739 NEW BEST:: SOT 13760840 SOS 7989101 HAS SOPS 7989029 HAS SOUS 695668 HAS SOUPS 695632 WITH SCORE 703621.101
AT ITER 6741 NEW BEST:: SOT 13758332 SOS 7986593 HAS SOPS 7986521 HAS SOUS 695463 HAS SOUPS 695427 WITH SCORE 703413.593
AT ITER 6771 NEW BEST:: SOT 13758332 SOS 7986507 HAS SOPS 7986435 HAS SOUS 695420 HAS SOUPS 695384 WITH SCORE 703370.507
AT ITER 6782 NEW BEST:: SOT 13753321 SOS 7979408 HAS SOPS 7979336 HAS SOUS 692128 HAS SOUPS 692092 WITH SCORE 700071.408
AT ITER 6801 NEW BEST:: SOT 13753478 SOS 7979577 HAS SOPS 7979505 HAS SOUS 692102 HAS SOUPS 692066 WITH SCORE 700045.577
AT ITER 6815 NEW BEST:: SOT 13754013 SOS 7980112 HAS SOPS 7980040 HAS SOUS 691885 HAS SOUPS 691849 WITH SCORE 699829.112
AT ITER 6818 NEW BEST:: SOT 13754013 SOS 7943968 HAS SOPS 7943896 HAS SOUS 691885 HAS SOUPS 691849 WITH SCORE 699792.968
AT ITER 6834 NEW BEST:: SOT 13752993 SOS 7942948 HAS SOPS 7942876 HAS SOUS 691375 HAS SOUPS 691339 WITH SCORE 699281.948
AT ITER 6844 NEW BEST:: SOT 13753420 SOS 7943375 HAS SOPS 7943303 HAS SOUS 691216 HAS SOUPS 691180 WITH SCORE 699123.375
AT ITER 6863 NEW BEST:: SOT 13753439 SOS 7943394 HAS SOPS 7943322 HAS SOUS 691179 HAS SOUPS 691143 WITH SCORE 699086.394
AT ITER 6892 NEW BEST:: SOT 13753370 SOS 7943325 HAS SOPS 7943253 HAS SOUS 691159 HAS SOUPS 691123 WITH SCORE 699066.325
AT ITER 6897 NEW BEST:: SOT 13753521 SOS 7943476 HAS SOPS 7943404 HAS SOUS 688826 HAS SOUPS 688790 WITH SCORE 696733.476
AT ITER 6922 NEW BEST:: SOT 13752954 SOS 7942909 HAS SOPS 7942837 HAS SOUS 688473 HAS SOUPS 688437 WITH SCORE 696379.909
AT ITER 6964 NEW BEST:: SOT 13751870 SOS 7941825 HAS SOPS 7941753 HAS SOUS 687437 HAS SOUPS 687401 WITH SCORE 695342.825
AT ITER 7026 NEW BEST:: SOT 13750761 SOS 7940696 HAS SOPS 7940624 HAS SOUS 687336 HAS SOUPS 687300 WITH SCORE 695240.696
AT ITER 7052 NEW BEST:: SOT 13749080 SOS 7939015 HAS SOPS 7938943 HAS SOUS 686240 HAS SOUPS 686204 WITH SCORE 694143.015
AT ITER 7057 NEW BEST:: SOT 13749067 SOS 7939002 HAS SOPS 7938930 HAS SOUS 686227 HAS SOUPS 686191 WITH SCORE 694130.002
AT ITER 7058 NEW BEST:: SOT 13748985 SOS 7938908 HAS SOPS 7938836 HAS SOUS 686196 HAS SOUPS 686160 WITH SCORE 694098.908
AT ITER 7084 NEW BEST:: SOT 13747554 SOS 7937477 HAS SOPS 7937405 HAS SOUS 685922 HAS SOUPS 685886 WITH SCORE 693823.477
AT ITER 7095 NEW BEST:: SOT 13747554 SOS 7937306 HAS SOPS 7937234 HAS SOUS 685811 HAS SOUPS 685775 WITH SCORE 693712.306
AT ITER 7110 NEW BEST:: SOT 13749796 SOS 7939548 HAS SOPS 7939476 HAS SOUS 684188 HAS SOUPS 684152 WITH SCORE 692091.548
AT ITER 7114 NEW BEST:: SOT 13746601 SOS 7939035 HAS SOPS 7938963 HAS SOUS 682764 HAS SOUPS 682728 WITH SCORE 690667.035
AT ITER 7134 NEW BEST:: SOT 13750283 SOS 7943109 HAS SOPS 7943037 HAS SOUS 681899 HAS SOUPS 681863 WITH SCORE 689806.109
AT ITER 7138 NEW BEST:: SOT 13750283 SOS 7943829 HAS SOPS 7943757 HAS SOUS 681886 HAS SOUPS 681850 WITH SCORE 689793.829
AT ITER 7205 NEW BEST:: SOT 13750182 SOS 7943728 HAS SOPS 7943656 HAS SOUS 681782 HAS SOUPS 681746 WITH SCORE 689689.728
AT ITER 7233 NEW BEST:: SOT 13750068 SOS 7943614 HAS SOPS 7943542 HAS SOUS 681674 HAS SOUPS 681638 WITH SCORE 689581.614
AT ITER 7237 NEW BEST:: SOT 13748591 SOS 7942137 HAS SOPS 7942065 HAS SOUS 678355 HAS SOUPS 678319 WITH SCORE 686261.137
AT ITER 7255 NEW BEST:: SOT 13748591 SOS 7942071 HAS SOPS 7941999 HAS SOUS 678310 HAS SOUPS 678274 WITH SCORE 686216.071
AT ITER 7262 NEW BEST:: SOT 13748595 SOS 7942075 HAS SOPS 7942003 HAS SOUS 678308 HAS SOUPS 678272 WITH SCORE 686214.075
AT ITER 7282 NEW BEST:: SOT 13745160 SOS 7936264 HAS SOPS 7936192 HAS SOUS 677282 HAS SOUPS 677246 WITH SCORE 685182.264
AT ITER 7319 NEW BEST:: SOT 13745057 SOS 7936161 HAS SOPS 7936089 HAS SOUS 677215 HAS SOUPS 677179 WITH SCORE 685115.161
AT ITER 7336 NEW BEST:: SOT 13745051 SOS 7936155 HAS SOPS 7936083 HAS SOUS 677209 HAS SOUPS 677173 WITH SCORE 685109.155
AT ITER 7355 NEW BEST:: SOT 13744872 SOS 7935976 HAS SOPS 7935904 HAS SOUS 674342 HAS SOUPS 674306 WITH SCORE 682241.976
AT ITER 7361 NEW BEST:: SOT 13744791 SOS 7935895 HAS SOPS 7935823 HAS SOUS 674285 HAS SOUPS 674249 WITH SCORE 682184.895
AT ITER 7374 NEW BEST:: SOT 13744737 SOS 7935841 HAS SOPS 7935769 HAS SOUS 674231 HAS SOUPS 674195 WITH SCORE 682130.841
AT ITER 7410 NEW BEST:: SOT 13742824 SOS 7933928 HAS SOPS 7933856 HAS SOUS 671972 HAS SOUPS 671936 WITH SCORE 679869.928
AT ITER 7454 NEW BEST:: SOT 13742733 SOS 7933837 HAS SOPS 7933765 HAS SOUS 671537 HAS SOUPS 671501 WITH SCORE 679434.837
AT ITER 7458 NEW BEST:: SOT 13742522 SOS 7933626 HAS SOPS 7933554 HAS SOUS 671035 HAS SOUPS 670999 WITH SCORE 678932.626
AT ITER 7481 NEW BEST:: SOT 13742522 SOS 7933026 HAS SOPS 7932954 HAS SOUS 670981 HAS SOUPS 670945 WITH SCORE 678878.026
AT ITER 7495 NEW BEST:: SOT 13741674 SOS 7932178 HAS SOPS 7932106 HAS SOUS 669262 HAS SOUPS 669226 WITH SCORE 677158.178
AT ITER 7507 NEW BEST:: SOT 13742887 SOS 7934831 HAS SOPS 7934759 HAS SOUS 667966 HAS SOUPS 667930 WITH SCORE 675864.831
AT ITER 7534 NEW BEST:: SOT 13742887 SOS 7934831 HAS SOPS 7934759 HAS SOUS 667915 HAS SOUPS 667879 WITH SCORE 675813.831
AT ITER 7550 NEW BEST:: SOT 13742884 SOS 7934828 HAS SOPS 7934756 HAS SOUS 667915 HAS SOUPS 667879 WITH SCORE 675813.828
AT ITER 7570 NEW BEST:: SOT 13742884 SOS 7934824 HAS SOPS 7934752 HAS SOUS 667913 HAS SOUPS 667877 WITH SCORE 675811.824
AT ITER 7600 NEW BEST:: SOT 13742568 SOS 7934508 HAS SOPS 7934436 HAS SOUS 667654 HAS SOUPS 667618 WITH SCORE 675552.508
AT ITER 7643 NEW BEST:: SOT 13742568 SOS 7934502 HAS SOPS 7934430 HAS SOUS 667642 HAS SOUPS 667606 WITH SCORE 675540.502
AT ITER 7645 NEW BEST:: SOT 13742200 SOS 7934134 HAS SOPS 7934062 HAS SOUS 667320 HAS SOUPS 667284 WITH SCORE 675218.134
AT ITER 7650 NEW BEST:: SOT 13741596 SOS 7932594 HAS SOPS 7932522 HAS SOUS 666854 HAS SOUPS 666818 WITH SCORE 674750.594
AT ITER 7662 NEW BEST:: SOT 13741909 SOS 7932911 HAS SOPS 7932839 HAS SOUS 666093 HAS SOUPS 666057 WITH SCORE 673989.911
AT ITER 7675 NEW BEST:: SOT 13741909 SOS 7929663 HAS SOPS 7929591 HAS SOUS 665866 HAS SOUPS 665830 WITH SCORE 673759.663
AT ITER 7701 NEW BEST:: SOT 13741909 SOS 7929663 HAS SOPS 7929591 HAS SOUS 665859 HAS SOUPS 665823 WITH SCORE 673752.663
AT ITER 7734 NEW BEST:: SOT 13740297 SOS 7928051 HAS SOPS 7927979 HAS SOUS 664694 HAS SOUPS 664658 WITH SCORE 672586.051
AT ITER 7735 NEW BEST:: SOT 13741247 SOS 7946779 HAS SOPS 7946707 HAS SOUS 664523 HAS SOUPS 664487 WITH SCORE 672433.779
AT ITER 7767 NEW BEST:: SOT 13741277 SOS 7948963 HAS SOPS 7948891 HAS SOUS 664511 HAS SOUPS 664475 WITH SCORE 672423.963
AT ITER 7788 NEW BEST:: SOT 13742596 SOS 7956752 HAS SOPS 7956680 HAS SOUS 664101 HAS SOUPS 664065 WITH SCORE 672021.752
AT ITER 7794 NEW BEST:: SOT 13742273 SOS 7956429 HAS SOPS 7956357 HAS SOUS 663429 HAS SOUPS 663393 WITH SCORE 671349.429
AT ITER 7801 NEW BEST:: SOT 13743430 SOS 7957586 HAS SOPS 7957514 HAS SOUS 663369 HAS SOUPS 663333 WITH SCORE 671290.586
AT ITER 7900 NEW BEST:: SOT 13743444 SOS 7958590 HAS SOPS 7958518 HAS SOUS 663367 HAS SOUPS 663331 WITH SCORE 671289.59
AT ITER 7929 NEW BEST:: SOT 13740059 SOS 7581964 HAS SOPS 7581892 HAS SOUS 661911 HAS SOUPS 661875 WITH SCORE 669456.964
AT ITER 7944 NEW BEST:: SOT 13739996 SOS 7581901 HAS SOPS 7581829 HAS SOUS 661737 HAS SOUPS 661701 WITH SCORE 669282.901
AT ITER 7963 NEW BEST:: SOT 13741705 SOS 7583636 HAS SOPS 7583564 HAS SOUS 661497 HAS SOUPS 661461 WITH SCORE 669044.636
AT ITER 7998 NEW BEST:: SOT 13738945 SOS 7583306 HAS SOPS 7583234 HAS SOUS 659731 HAS SOUPS 659695 WITH SCORE 667278.306
AT ITER 8000 NEW BEST:: SOT 13738945 SOS 7583246 HAS SOPS 7583174 HAS SOUS 659723 HAS SOUPS 659687 WITH SCORE 667270.246
AT ITER 8009 NEW BEST:: SOT 13739400 SOS 7583701 HAS SOPS 7583629 HAS SOUS 658525 HAS SOUPS 658489 WITH SCORE 666072.701
AT ITER 8013 NEW BEST:: SOT 13735898 SOS 7585377 HAS SOPS 7585305 HAS SOUS 656098 HAS SOUPS 656062 WITH SCORE 663647.377
AT ITER 8022 NEW BEST:: SOT 13736094 SOS 7585861 HAS SOPS 7585789 HAS SOUS 655798 HAS SOUPS 655762 WITH SCORE 663347.861
AT ITER 8034 NEW BEST:: SOT 13736094 SOS 7585861 HAS SOPS 7585789 HAS SOUS 655770 HAS SOUPS 655734 WITH SCORE 663319.861
AT ITER 8058 NEW BEST:: SOT 13735279 SOS 7585046 HAS SOPS 7584974 HAS SOUS 653834 HAS SOUPS 653798 WITH SCORE 661383.046
AT ITER 8060 NEW BEST:: SOT 13735936 SOS 7585703 HAS SOPS 7585631 HAS SOUS 653496 HAS SOUPS 653460 WITH SCORE 661045.703
AT ITER 8083 NEW BEST:: SOT 13735936 SOS 7584223 HAS SOPS 7584151 HAS SOUS 653496 HAS SOUPS 653460 WITH SCORE 661044.223
AT ITER 8089 NEW BEST:: SOT 13736290 SOS 7584577 HAS SOPS 7584505 HAS SOUS 653426 HAS SOUPS 653390 WITH SCORE 660974.577
AT ITER 8115 NEW BEST:: SOT 13732942 SOS 7581229 HAS SOPS 7581157 HAS SOUS 653099 HAS SOUPS 653063 WITH SCORE 660644.229
AT ITER 8144 NEW BEST:: SOT 13735694 SOS 7606286 HAS SOPS 7606214 HAS SOUS 652938 HAS SOUPS 652902 WITH SCORE 660508.286
AT ITER 8162 NEW BEST:: SOT 13735694 SOS 7606286 HAS SOPS 7606214 HAS SOUS 652889 HAS SOUPS 652853 WITH SCORE 660459.286
AT ITER 8175 NEW BEST:: SOT 13735694 SOS 7606286 HAS SOPS 7606214 HAS SOUS 652882 HAS SOUPS 652846 WITH SCORE 660452.286
AT ITER 8180 NEW BEST:: SOT 13733463 SOS 7604055 HAS SOPS 7603983 HAS SOUS 648423 HAS SOUPS 648387 WITH SCORE 655991.055
AT ITER 8208 NEW BEST:: SOT 13733391 SOS 7697286 HAS SOPS 7697214 HAS SOUS 648208 HAS SOUPS 648172 WITH SCORE 655869.286
AT ITER 8237 NEW BEST:: SOT 13733355 SOS 7697250 HAS SOPS 7697178 HAS SOUS 648162 HAS SOUPS 648126 WITH SCORE 655823.25
AT ITER 8243 NEW BEST:: SOT 13733355 SOS 7693217 HAS SOPS 7693145 HAS SOUS 647829 HAS SOUPS 647793 WITH SCORE 655486.217
AT ITER 8244 NEW BEST:: SOT 13733355 SOS 7693217 HAS SOPS 7693145 HAS SOUS 647794 HAS SOUPS 647758 WITH SCORE 655451.217
AT ITER 8257 NEW BEST:: SOT 13733252 SOS 7693154 HAS SOPS 7693082 HAS SOUS 647545 HAS SOUPS 647509 WITH SCORE 655202.154
AT ITER 8258 NEW BEST:: SOT 13728292 SOS 7688194 HAS SOPS 7688122 HAS SOUS 645895 HAS SOUPS 645859 WITH SCORE 653547.194
AT ITER 8302 NEW BEST:: SOT 13728217 SOS 7688119 HAS SOPS 7688047 HAS SOUS 645804 HAS SOUPS 645768 WITH SCORE 653456.119
AT ITER 8334 NEW BEST:: SOT 13742937 SOS 7719878 HAS SOPS 7719806 HAS SOUS 643975 HAS SOUPS 643939 WITH SCORE 651658.878
AT ITER 8375 NEW BEST:: SOT 13736946 SOS 7713539 HAS SOPS 7713467 HAS SOUS 642122 HAS SOUPS 642086 WITH SCORE 649799.539
AT ITER 8422 NEW BEST:: SOT 13738626 SOS 7715219 HAS SOPS 7715147 HAS SOUS 641990 HAS SOUPS 641954 WITH SCORE 649669.219
AT ITER 8443 NEW BEST:: SOT 13737591 SOS 7714184 HAS SOPS 7714112 HAS SOUS 641163 HAS SOUPS 641127 WITH SCORE 648841.184
AT ITER 8457 NEW BEST:: SOT 13737591 SOS 7714147 HAS SOPS 7714075 HAS SOUS 641140 HAS SOUPS 641104 WITH SCORE 648818.147
AT ITER 8491 NEW BEST:: SOT 13737592 SOS 7714148 HAS SOPS 7714076 HAS SOUS 641139 HAS SOUPS 641103 WITH SCORE 648817.148
AT ITER 8541 NEW BEST:: SOT 13737656 SOS 7718310 HAS SOPS 7718133 HAS SOUS 639201 HAS SOUPS 639113 WITH SCORE 646831.31
AT ITER 8566 NEW BEST:: SOT 13737170 SOS 7716474 HAS SOPS 7716337 HAS SOUS 638505 HAS SOUPS 638427 WITH SCORE 646143.474
AT ITER 8568 NEW BEST:: SOT 13736475 SOS 7715753 HAS SOPS 7715616 HAS SOUS 638164 HAS SOUPS 638086 WITH SCORE 645801.753
AT ITER 8597 NEW BEST:: SOT 13736475 SOS 7715333 HAS SOPS 7715210 HAS SOUS 638125 HAS SOUPS 638054 WITH SCORE 645769.333
AT ITER 8603 NEW BEST:: SOT 13736469 SOS 7715327 HAS SOPS 7715204 HAS SOUS 638119 HAS SOUPS 638048 WITH SCORE 645763.327
AT ITER 8625 NEW BEST:: SOT 13736002 SOS 7714860 HAS SOPS 7714737 HAS SOUS 637728 HAS SOUPS 637657 WITH SCORE 645371.86
AT ITER 8654 NEW BEST:: SOT 13735692 SOS 7720958 HAS SOPS 7720835 HAS SOUS 637715 HAS SOUPS 637644 WITH SCORE 645364.958
AT ITER 8716 NEW BEST:: SOT 13735274 SOS 7720654 HAS SOPS 7720531 HAS SOUS 637316 HAS SOUPS 637245 WITH SCORE 644965.654
AT ITER 8726 NEW BEST:: SOT 13735286 SOS 7720666 HAS SOPS 7720543 HAS SOUS 637304 HAS SOUPS 637233 WITH SCORE 644953.666
AT ITER 8769 NEW BEST:: SOT 13735286 SOS 7720666 HAS SOPS 7720543 HAS SOUS 637289 HAS SOUPS 637218 WITH SCORE 644938.666
AT ITER 8786 NEW BEST:: SOT 13728762 SOS 7689441 HAS SOPS 7689318 HAS SOUS 633640 HAS SOUPS 633569 WITH SCORE 641258.441
AT ITER 8793 NEW BEST:: SOT 13726823 SOS 7704401 HAS SOPS 7704278 HAS SOUS 632403 HAS SOUPS 632332 WITH SCORE 640036.401
AT ITER 8810 NEW BEST:: SOT 13726334 SOS 7703912 HAS SOPS 7703789 HAS SOUS 632166 HAS SOUPS 632095 WITH SCORE 639798.912
AT ITER 8853 NEW BEST:: SOT 13726691 SOS 7704269 HAS SOPS 7704146 HAS SOUS 631440 HAS SOUPS 631369 WITH SCORE 639073.269
AT ITER 8889 NEW BEST:: SOT 13726691 SOS 7704269 HAS SOPS 7704146 HAS SOUS 631431 HAS SOUPS 631360 WITH SCORE 639064.269
AT ITER 8917 NEW BEST:: SOT 13726293 SOS 7703871 HAS SOPS 7703748 HAS SOUS 630565 HAS SOUPS 630494 WITH SCORE 638197.871
AT ITER 8931 NEW BEST:: SOT 13726293 SOS 7703871 HAS SOPS 7703748 HAS SOUS 630550 HAS SOUPS 630479 WITH SCORE 638182.871
AT ITER 8953 NEW BEST:: SOT 13724737 SOS 7702315 HAS SOPS 7702192 HAS SOUS 628544 HAS SOUPS 628473 WITH SCORE 636175.315
AT ITER 8998 NEW BEST:: SOT 13724783 SOS 7619972 HAS SOPS 7619849 HAS SOUS 628611 HAS SOUPS 628540 WITH SCORE 636159.972
AT ITER 9081 NEW BEST:: SOT 13724783 SOS 7622204 HAS SOPS 7622081 HAS SOUS 628506 HAS SOUPS 628435 WITH SCORE 636057.204
AT ITER 9091 NEW BEST:: SOT 13721488 SOS 7618777 HAS SOPS 7618654 HAS SOUS 627344 HAS SOUPS 627273 WITH SCORE 634891.777
AT ITER 9102 NEW BEST:: SOT 13721348 SOS 7618637 HAS SOPS 7618514 HAS SOUS 627046 HAS SOUPS 626975 WITH SCORE 634593.637
AT ITER 9214 NEW BEST:: SOT 13721257 SOS 7618546 HAS SOPS 7618423 HAS SOUS 627005 HAS SOUPS 626934 WITH SCORE 634552.546
AT ITER 9294 NEW BEST:: SOT 13721225 SOS 7618514 HAS SOPS 7618391 HAS SOUS 626977 HAS SOUPS 626906 WITH SCORE 634524.514
AT ITER 9311 NEW BEST:: SOT 13721215 SOS 7618504 HAS SOPS 7618381 HAS SOUS 626977 HAS SOUPS 626906 WITH SCORE 634524.504
AT ITER 9318 NEW BEST:: SOT 13724462 SOS 7628204 HAS SOPS 7627893 HAS SOUS 624564 HAS SOUPS 624446 WITH SCORE 632074.204
AT ITER 9357 NEW BEST:: SOT 13724457 SOS 7628199 HAS SOPS 7627888 HAS SOUS 624549 HAS SOUPS 624431 WITH SCORE 632059.199
AT ITER 9359 NEW BEST:: SOT 13723250 SOS 7641179 HAS SOPS 7640868 HAS SOUS 623374 HAS SOUPS 623256 WITH SCORE 630897.179
AT ITER 9365 NEW BEST:: SOT 13722904 SOS 7640833 HAS SOPS 7640522 HAS SOUS 622711 HAS SOUPS 622593 WITH SCORE 630233.833
AT ITER 9368 NEW BEST:: SOT 13722857 SOS 7640786 HAS SOPS 7640475 HAS SOUS 622664 HAS SOUPS 622546 WITH SCORE 630186.786
AT ITER 9427 NEW BEST:: SOT 13722857 SOS 7640786 HAS SOPS 7640475 HAS SOUS 622615 HAS SOUPS 622497 WITH SCORE 630137.786
AT ITER 9486 NEW BEST:: SOT 13722857 SOS 7640786 HAS SOPS 7640475 HAS SOUS 622606 HAS SOUPS 622488 WITH SCORE 630128.786
AT ITER 9510 NEW BEST:: SOT 13722848 SOS 7640777 HAS SOPS 7640466 HAS SOUS 622602 HAS SOUPS 622484 WITH SCORE 630124.777
AT ITER 9542 NEW BEST:: SOT 13719869 SOS 7637744 HAS SOPS 7637433 HAS SOUS 622042 HAS SOUPS 621924 WITH SCORE 629561.744
AT ITER 9543 NEW BEST:: SOT 13719869 SOS 7637105 HAS SOPS 7636794 HAS SOUS 622042 HAS SOUPS 621924 WITH SCORE 629561.105
AT ITER 9552 NEW BEST:: SOT 13719869 SOS 7637007 HAS SOPS 7636696 HAS SOUS 621993 HAS SOUPS 621875 WITH SCORE 629512.007
AT ITER 9575 NEW BEST:: SOT 13722173 SOS 7639539 HAS SOPS 7639228 HAS SOUS 621949 HAS SOUPS 621831 WITH SCORE 629470.539
AT ITER 9590 NEW BEST:: SOT 13721907 SOS 7639273 HAS SOPS 7638962 HAS SOUS 621265 HAS SOUPS 621147 WITH SCORE 628786.273
AT ITER 9620 NEW BEST:: SOT 13721907 SOS 7639273 HAS SOPS 7638962 HAS SOUS 621146 HAS SOUPS 621028 WITH SCORE 628667.273
AT ITER 9630 NEW BEST:: SOT 13721771 SOS 7639137 HAS SOPS 7638826 HAS SOUS 621045 HAS SOUPS 620927 WITH SCORE 628566.137
AT ITER 9678 NEW BEST:: SOT 13721771 SOS 7640467 HAS SOPS 7640156 HAS SOUS 621026 HAS SOUPS 620908 WITH SCORE 628548.467
AT ITER 9691 NEW BEST:: SOT 13721751 SOS 7640447 HAS SOPS 7640136 HAS SOUS 620986 HAS SOUPS 620868 WITH SCORE 628508.447
AT ITER 9731 NEW BEST:: SOT 13721751 SOS 7640447 HAS SOPS 7640136 HAS SOUS 620869 HAS SOUPS 620751 WITH SCORE 628391.447
AT ITER 9781 NEW BEST:: SOT 13721656 SOS 7640352 HAS SOPS 7640041 HAS SOUS 620662 HAS SOUPS 620544 WITH SCORE 628184.352
AT ITER 9862 NEW BEST:: SOT 13721519 SOS 7640215 HAS SOPS 7639904 HAS SOUS 620417 HAS SOUPS 620299 WITH SCORE 627939.215
AT ITER 9866 NEW BEST:: SOT 13720050 SOS 7638746 HAS SOPS 7638435 HAS SOUS 618715 HAS SOUPS 618597 WITH SCORE 626235.746
AT ITER 9880 NEW BEST:: SOT 13720840 SOS 7639536 HAS SOPS 7639225 HAS SOUS 618576 HAS SOUPS 618458 WITH SCORE 626097.536
AT ITER 9917 NEW BEST:: SOT 13720058 SOS 7638754 HAS SOPS 7638443 HAS SOUS 618032 HAS SOUPS 617914 WITH SCORE 625552.754
AT ITER 9970 NEW BEST:: SOT 13720021 SOS 7638717 HAS SOPS 7638406 HAS SOUS 617997 HAS SOUPS 617879 WITH SCORE 625517.717
AT ITER 9971 NEW BEST:: SOT 13719894 SOS 7629446 HAS SOPS 7629135 HAS SOUS 617952 HAS SOUPS 617834 WITH SCORE 625463.446
AT ITER 9980 NEW BEST:: SOT 13719894 SOS 7627054 HAS SOPS 7626743 HAS SOUS 617738 HAS SOUPS 617620 WITH SCORE 625247.054
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 13643556 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16125988 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="BugTracking-PT-q3m004"
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 BugTracking-PT-q3m004, 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 r035-tajo-167813688000336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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