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-167813688100376.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-q3m128, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688100376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.0K Feb 26 07:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 07:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 06:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 06:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 07:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 07:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 07:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 07:30 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 1678467589090

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-q3m128
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m128
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 3 NEW BEST:: SOT 14035084 SOS 8821373 HAS SOPS 8819528 HAS SOUS 1624501 HAS SOUPS 1622656 WITH SCORE 1631477.373
AT ITER 12 NEW BEST:: SOT 14034919 SOS 8821208 HAS SOPS 8819363 HAS SOUS 1624164 HAS SOUPS 1622319 WITH SCORE 1631140.208
AT ITER 17 NEW BEST:: SOT 14034919 SOS 8818184 HAS SOPS 8816339 HAS SOUS 1624164 HAS SOUPS 1622319 WITH SCORE 1631137.184
AT ITER 18 NEW BEST:: SOT 14034919 SOS 8815076 HAS SOPS 8813231 HAS SOUS 1624122 HAS SOUPS 1622277 WITH SCORE 1631092.076
AT ITER 24 NEW BEST:: SOT 14034811 SOS 8807300 HAS SOPS 8805455 HAS SOUS 1624014 HAS SOUPS 1622169 WITH SCORE 1630976.3
AT ITER 38 NEW BEST:: SOT 14032107 SOS 8805484 HAS SOPS 8803639 HAS SOUS 1615298 HAS SOUPS 1613453 WITH SCORE 1622258.484
AT ITER 39 NEW BEST:: SOT 14032107 SOS 8790092 HAS SOPS 8788247 HAS SOUS 1615090 HAS SOUPS 1613245 WITH SCORE 1622035.092
AT ITER 40 NEW BEST:: SOT 14030895 SOS 8788880 HAS SOPS 8787035 HAS SOUS 1613909 HAS SOUPS 1612064 WITH SCORE 1620852.88
AT ITER 49 NEW BEST:: SOT 14031475 SOS 8789460 HAS SOPS 8787615 HAS SOUS 1613908 HAS SOUPS 1612063 WITH SCORE 1620852.46
AT ITER 53 NEW BEST:: SOT 14031475 SOS 8789163 HAS SOPS 8787373 HAS SOUS 1613843 HAS SOUPS 1612053 WITH SCORE 1620842.163
AT ITER 57 NEW BEST:: SOT 14031475 SOS 8789163 HAS SOPS 8787373 HAS SOUS 1613812 HAS SOUPS 1612022 WITH SCORE 1620811.163
AT ITER 66 NEW BEST:: SOT 14028629 SOS 8786317 HAS SOPS 8784527 HAS SOUS 1608117 HAS SOUPS 1606327 WITH SCORE 1615113.317
AT ITER 72 NEW BEST:: SOT 14028530 SOS 8786218 HAS SOPS 8784428 HAS SOUS 1607917 HAS SOUPS 1606127 WITH SCORE 1614913.218
AT ITER 76 NEW BEST:: SOT 14028492 SOS 8786180 HAS SOPS 8784390 HAS SOUS 1607840 HAS SOUPS 1606050 WITH SCORE 1614836.18
AT ITER 84 NEW BEST:: SOT 14028492 SOS 8786066 HAS SOPS 8784276 HAS SOUS 1607819 HAS SOUPS 1606029 WITH SCORE 1614815.066
AT ITER 85 NEW BEST:: SOT 13898302 SOS 11346538 HAS SOPS 11345626 HAS SOUS 1478764 HAS SOUPS 1477852 WITH SCORE 1489198.538
AT ITER 97 NEW BEST:: SOT 13897976 SOS 11346212 HAS SOPS 11345300 HAS SOUS 1470300 HAS SOUPS 1469388 WITH SCORE 1480734.212
AT ITER 108 NEW BEST:: SOT 13894708 SOS 11342944 HAS SOPS 11342032 HAS SOUS 1463605 HAS SOUPS 1462693 WITH SCORE 1474035.944
AT ITER 112 NEW BEST:: SOT 13885208 SOS 11334176 HAS SOPS 11333264 HAS SOUS 1453804 HAS SOUPS 1452892 WITH SCORE 1464226.176
AT ITER 118 NEW BEST:: SOT 13885197 SOS 11334165 HAS SOPS 11333253 HAS SOUS 1453781 HAS SOUPS 1452869 WITH SCORE 1464203.165
AT ITER 123 NEW BEST:: SOT 13885197 SOS 11334165 HAS SOPS 11333253 HAS SOUS 1453712 HAS SOUPS 1452800 WITH SCORE 1464134.165
AT ITER 125 NEW BEST:: SOT 13884807 SOS 11333833 HAS SOPS 11332921 HAS SOUS 1449338 HAS SOUPS 1448426 WITH SCORE 1459759.833
AT ITER 127 NEW BEST:: SOT 13884631 SOS 11333657 HAS SOPS 11332745 HAS SOUS 1449162 HAS SOUPS 1448250 WITH SCORE 1459583.657
AT ITER 149 NEW BEST:: SOT 13884568 SOS 11333761 HAS SOPS 11333184 HAS SOUS 1435672 HAS SOUPS 1435095 WITH SCORE 1446428.761
AT ITER 154 NEW BEST:: SOT 13884568 SOS 11333761 HAS SOPS 11333184 HAS SOUS 1435545 HAS SOUPS 1434968 WITH SCORE 1446301.761
AT ITER 156 NEW BEST:: SOT 13884498 SOS 11333691 HAS SOPS 11333114 HAS SOUS 1435475 HAS SOUPS 1434898 WITH SCORE 1446231.691
AT ITER 162 NEW BEST:: SOT 13884498 SOS 11343123 HAS SOPS 11342546 HAS SOUS 1435344 HAS SOUPS 1434767 WITH SCORE 1446110.123
AT ITER 165 NEW BEST:: SOT 13883404 SOS 11342029 HAS SOPS 11341452 HAS SOUS 1435265 HAS SOUPS 1434688 WITH SCORE 1446030.029
AT ITER 167 NEW BEST:: SOT 13883404 SOS 11328635 HAS SOPS 11328058 HAS SOUS 1435084 HAS SOUPS 1434507 WITH SCORE 1445835.635
AT ITER 170 NEW BEST:: SOT 13880749 SOS 11325970 HAS SOPS 11325393 HAS SOUS 1424588 HAS SOUPS 1424011 WITH SCORE 1435336.97
AT ITER 179 NEW BEST:: SOT 13880749 SOS 11325970 HAS SOPS 11325393 HAS SOUS 1424587 HAS SOUPS 1424010 WITH SCORE 1435335.97
AT ITER 183 NEW BEST:: SOT 13874110 SOS 11322991 HAS SOPS 11322414 HAS SOUS 1418550 HAS SOUPS 1417973 WITH SCORE 1429295.991
AT ITER 198 NEW BEST:: SOT 13874501 SOS 11323382 HAS SOPS 11322805 HAS SOUS 1410792 HAS SOUPS 1410215 WITH SCORE 1421538.382
AT ITER 207 NEW BEST:: SOT 13880957 SOS 11330774 HAS SOPS 11329932 HAS SOUS 1409214 HAS SOUPS 1408553 WITH SCORE 1419883.774
AT ITER 219 NEW BEST:: SOT 13880957 SOS 11339918 HAS SOPS 11339076 HAS SOUS 1409087 HAS SOUPS 1408426 WITH SCORE 1419765.918
AT ITER 223 NEW BEST:: SOT 13877881 SOS 11336842 HAS SOPS 11336000 HAS SOUS 1407098 HAS SOUPS 1406437 WITH SCORE 1417773.842
AT ITER 225 NEW BEST:: SOT 13879124 SOS 11338685 HAS SOPS 11337843 HAS SOUS 1405014 HAS SOUPS 1404353 WITH SCORE 1415691.685
AT ITER 232 NEW BEST:: SOT 13879124 SOS 11336453 HAS SOPS 11335611 HAS SOUS 1405014 HAS SOUPS 1404353 WITH SCORE 1415689.453
AT ITER 238 NEW BEST:: SOT 13879124 SOS 11329901 HAS SOPS 11329059 HAS SOUS 1405014 HAS SOUPS 1404353 WITH SCORE 1415682.901
AT ITER 239 NEW BEST:: SOT 13879124 SOS 11324943 HAS SOPS 11324101 HAS SOUS 1404947 HAS SOUPS 1404286 WITH SCORE 1415610.943
AT ITER 263 NEW BEST:: SOT 13879124 SOS 11324943 HAS SOPS 11324101 HAS SOUS 1404844 HAS SOUPS 1404183 WITH SCORE 1415507.943
AT ITER 267 NEW BEST:: SOT 13881994 SOS 11327876 HAS SOPS 11327034 HAS SOUS 1403021 HAS SOUPS 1402360 WITH SCORE 1413687.876
AT ITER 290 NEW BEST:: SOT 13881994 SOS 11327843 HAS SOPS 11327001 HAS SOUS 1403021 HAS SOUPS 1402360 WITH SCORE 1413687.843
AT ITER 312 NEW BEST:: SOT 13882111 SOS 11338508 HAS SOPS 11337666 HAS SOUS 1402967 HAS SOUPS 1402306 WITH SCORE 1413644.508
AT ITER 314 NEW BEST:: SOT 13882111 SOS 11345685 HAS SOPS 11344843 HAS SOUS 1402913 HAS SOUPS 1402252 WITH SCORE 1413597.685
AT ITER 320 NEW BEST:: SOT 13882111 SOS 11345685 HAS SOPS 11344843 HAS SOUS 1402902 HAS SOUPS 1402241 WITH SCORE 1413586.685
AT ITER 325 NEW BEST:: SOT 13876308 SOS 11345180 HAS SOPS 11344338 HAS SOUS 1401016 HAS SOUPS 1400355 WITH SCORE 1411700.18
AT ITER 334 NEW BEST:: SOT 13876308 SOS 11351760 HAS SOPS 11350918 HAS SOUS 1400922 HAS SOUPS 1400261 WITH SCORE 1411612.76
AT ITER 335 NEW BEST:: SOT 13872344 SOS 11348318 HAS SOPS 11347476 HAS SOUS 1382758 HAS SOUPS 1382097 WITH SCORE 1393445.318
AT ITER 343 NEW BEST:: SOT 13873919 SOS 11350043 HAS SOPS 11349201 HAS SOUS 1379419 HAS SOUPS 1378758 WITH SCORE 1390108.043
AT ITER 360 NEW BEST:: SOT 13872262 SOS 11348023 HAS SOPS 11347242 HAS SOUS 1372681 HAS SOUPS 1372081 WITH SCORE 1383429.023
AT ITER 368 NEW BEST:: SOT 13870063 SOS 11345824 HAS SOPS 11345043 HAS SOUS 1371310 HAS SOUPS 1370710 WITH SCORE 1382055.824
AT ITER 383 NEW BEST:: SOT 13867049 SOS 11343632 HAS SOPS 11342851 HAS SOUS 1365552 HAS SOUPS 1364952 WITH SCORE 1376295.632
AT ITER 393 NEW BEST:: SOT 13867049 SOS 11342442 HAS SOPS 11341661 HAS SOUS 1365357 HAS SOUPS 1364757 WITH SCORE 1376099.442
AT ITER 398 NEW BEST:: SOT 13864005 SOS 11339398 HAS SOPS 11338617 HAS SOUS 1353866 HAS SOUPS 1353266 WITH SCORE 1364605.398
AT ITER 401 NEW BEST:: SOT 13862373 SOS 11337766 HAS SOPS 11336985 HAS SOUS 1349567 HAS SOUPS 1348967 WITH SCORE 1360304.766
AT ITER 408 NEW BEST:: SOT 13862757 SOS 11338482 HAS SOPS 11337701 HAS SOUS 1344694 HAS SOUPS 1344094 WITH SCORE 1355432.482
AT ITER 416 NEW BEST:: SOT 13861548 SOS 11337273 HAS SOPS 11336492 HAS SOUS 1343516 HAS SOUPS 1342916 WITH SCORE 1354253.273
AT ITER 424 NEW BEST:: SOT 13861096 SOS 11336821 HAS SOPS 11336040 HAS SOUS 1343093 HAS SOUPS 1342493 WITH SCORE 1353829.821
AT ITER 427 NEW BEST:: SOT 13861035 SOS 11336760 HAS SOPS 11335979 HAS SOUS 1338935 HAS SOUPS 1338335 WITH SCORE 1349671.76
AT ITER 428 NEW BEST:: SOT 13863037 SOS 11338737 HAS SOPS 11337956 HAS SOUS 1333234 HAS SOUPS 1332634 WITH SCORE 1343972.737
AT ITER 429 NEW BEST:: SOT 13863164 SOS 11331630 HAS SOPS 11330849 HAS SOUS 1333237 HAS SOUPS 1332637 WITH SCORE 1343968.63
AT ITER 434 NEW BEST:: SOT 13862823 SOS 11331289 HAS SOPS 11330508 HAS SOUS 1332848 HAS SOUPS 1332248 WITH SCORE 1343579.289
AT ITER 441 NEW BEST:: SOT 13862823 SOS 11333881 HAS SOPS 11333100 HAS SOUS 1332812 HAS SOUPS 1332212 WITH SCORE 1343545.881
AT ITER 451 NEW BEST:: SOT 13857481 SOS 11332919 HAS SOPS 11332138 HAS SOUS 1330674 HAS SOUPS 1330074 WITH SCORE 1341406.919
AT ITER 470 NEW BEST:: SOT 13857481 SOS 11332919 HAS SOPS 11332138 HAS SOUS 1330668 HAS SOUPS 1330068 WITH SCORE 1341400.919
AT ITER 487 NEW BEST:: SOT 13857481 SOS 11332919 HAS SOPS 11332138 HAS SOUS 1330552 HAS SOUPS 1329952 WITH SCORE 1341284.919
AT ITER 497 NEW BEST:: SOT 13857481 SOS 11321823 HAS SOPS 11321042 HAS SOUS 1330400 HAS SOUPS 1329800 WITH SCORE 1341121.823
AT ITER 508 NEW BEST:: SOT 13857481 SOS 11315919 HAS SOPS 11315138 HAS SOUS 1330400 HAS SOUPS 1329800 WITH SCORE 1341115.919
AT ITER 509 NEW BEST:: SOT 13857392 SOS 11315696 HAS SOPS 11314915 HAS SOUS 1330176 HAS SOUPS 1329576 WITH SCORE 1340891.696
AT ITER 510 NEW BEST:: SOT 13857392 SOS 11311996 HAS SOPS 11311215 HAS SOUS 1330126 HAS SOUPS 1329526 WITH SCORE 1340837.996
AT ITER 534 NEW BEST:: SOT 13856496 SOS 11311126 HAS SOPS 11310345 HAS SOUS 1327512 HAS SOUPS 1326912 WITH SCORE 1338223.126
AT ITER 547 NEW BEST:: SOT 13856496 SOS 11311070 HAS SOPS 11310289 HAS SOUS 1327417 HAS SOUPS 1326817 WITH SCORE 1338128.07
AT ITER 556 NEW BEST:: SOT 13861703 SOS 11316500 HAS SOPS 11315719 HAS SOUS 1323831 HAS SOUPS 1323231 WITH SCORE 1334547.5
AT ITER 562 NEW BEST:: SOT 13861703 SOS 11324780 HAS SOPS 11323999 HAS SOUS 1323716 HAS SOUPS 1323116 WITH SCORE 1334440.78
AT ITER 575 NEW BEST:: SOT 13862744 SOS 11325821 HAS SOPS 11325040 HAS SOUS 1321004 HAS SOUPS 1320404 WITH SCORE 1331729.821
AT ITER 589 NEW BEST:: SOT 13862744 SOS 11322125 HAS SOPS 11321344 HAS SOUS 1320960 HAS SOUPS 1320360 WITH SCORE 1331682.125
AT ITER 598 NEW BEST:: SOT 13862744 SOS 11322125 HAS SOPS 11321344 HAS SOUS 1320888 HAS SOUPS 1320288 WITH SCORE 1331610.125
AT ITER 616 NEW BEST:: SOT 13862744 SOS 11322125 HAS SOPS 11321344 HAS SOUS 1320805 HAS SOUPS 1320205 WITH SCORE 1331527.125
AT ITER 621 NEW BEST:: SOT 13862790 SOS 11321711 HAS SOPS 11320930 HAS SOUS 1320805 HAS SOUPS 1320205 WITH SCORE 1331526.711
AT ITER 624 NEW BEST:: SOT 13862762 SOS 11339899 HAS SOPS 11339118 HAS SOUS 1320775 HAS SOUPS 1320175 WITH SCORE 1331514.899
AT ITER 627 NEW BEST:: SOT 13867840 SOS 11345756 HAS SOPS 11344780 HAS SOUS 1318569 HAS SOUPS 1317896 WITH SCORE 1329241.756
AT ITER 633 NEW BEST:: SOT 13862926 SOS 11357906 HAS SOPS 11356930 HAS SOUS 1312546 HAS SOUPS 1311873 WITH SCORE 1323230.906
AT ITER 639 NEW BEST:: SOT 13862955 SOS 11355847 HAS SOPS 11354871 HAS SOUS 1312546 HAS SOUPS 1311873 WITH SCORE 1323228.847
AT ITER 642 NEW BEST:: SOT 13862955 SOS 11355847 HAS SOPS 11354871 HAS SOUS 1312528 HAS SOUPS 1311855 WITH SCORE 1323210.847
AT ITER 657 NEW BEST:: SOT 13858485 SOS 11351377 HAS SOPS 11350401 HAS SOUS 1309948 HAS SOUPS 1309275 WITH SCORE 1320626.377
AT ITER 674 NEW BEST:: SOT 13854402 SOS 11347294 HAS SOPS 11346318 HAS SOUS 1305737 HAS SOUPS 1305064 WITH SCORE 1316411.294
AT ITER 675 NEW BEST:: SOT 13851901 SOS 11344793 HAS SOPS 11343817 HAS SOUS 1300600 HAS SOUPS 1299927 WITH SCORE 1311271.793
AT ITER 690 NEW BEST:: SOT 13851412 SOS 11344304 HAS SOPS 11343328 HAS SOUS 1300118 HAS SOUPS 1299445 WITH SCORE 1310789.304
AT ITER 693 NEW BEST:: SOT 13851412 SOS 11344130 HAS SOPS 11343154 HAS SOUS 1300031 HAS SOUPS 1299358 WITH SCORE 1310702.13
AT ITER 700 NEW BEST:: SOT 13851412 SOS 11343964 HAS SOPS 11342988 HAS SOUS 1299948 HAS SOUPS 1299275 WITH SCORE 1310618.964
AT ITER 702 NEW BEST:: SOT 13853964 SOS 11346624 HAS SOPS 11345648 HAS SOUS 1298755 HAS SOUPS 1298082 WITH SCORE 1309428.624
AT ITER 704 NEW BEST:: SOT 13855348 SOS 11344371 HAS SOPS 11342179 HAS SOUS 1296710 HAS SOUPS 1295621 WITH SCORE 1306965.371
AT ITER 705 NEW BEST:: SOT 13855063 SOS 11344086 HAS SOPS 11341894 HAS SOUS 1292702 HAS SOUPS 1291613 WITH SCORE 1302957.086
AT ITER 711 NEW BEST:: SOT 13855063 SOS 11347758 HAS SOPS 11345566 HAS SOUS 1292510 HAS SOUPS 1291421 WITH SCORE 1302768.758
AT ITER 714 NEW BEST:: SOT 13854722 SOS 11347417 HAS SOPS 11345225 HAS SOUS 1289211 HAS SOUPS 1288122 WITH SCORE 1299469.417
AT ITER 731 NEW BEST:: SOT 13854367 SOS 11347071 HAS SOPS 11344879 HAS SOUS 1288924 HAS SOUPS 1287835 WITH SCORE 1299182.071
AT ITER 736 NEW BEST:: SOT 13854367 SOS 11342955 HAS SOPS 11340763 HAS SOUS 1288875 HAS SOUPS 1287786 WITH SCORE 1299128.955
AT ITER 749 NEW BEST:: SOT 13852060 SOS 11340339 HAS SOPS 11338202 HAS SOUS 1284202 HAS SOUPS 1283168 WITH SCORE 1294508.339
AT ITER 750 NEW BEST:: SOT 13852744 SOS 11341023 HAS SOPS 11338886 HAS SOUS 1281227 HAS SOUPS 1280193 WITH SCORE 1291534.023
AT ITER 759 NEW BEST:: SOT 13852744 SOS 11340914 HAS SOPS 11338777 HAS SOUS 1281118 HAS SOUPS 1280084 WITH SCORE 1291424.914
AT ITER 768 NEW BEST:: SOT 13843394 SOS 11335032 HAS SOPS 11332895 HAS SOUS 1272314 HAS SOUPS 1271280 WITH SCORE 1282615.032
AT ITER 776 NEW BEST:: SOT 13842868 SOS 11334814 HAS SOPS 11332677 HAS SOUS 1270205 HAS SOUPS 1269171 WITH SCORE 1280505.814
AT ITER 777 NEW BEST:: SOT 13842910 SOS 11334856 HAS SOPS 11332719 HAS SOUS 1270184 HAS SOUPS 1269150 WITH SCORE 1280484.856
AT ITER 781 NEW BEST:: SOT 13843372 SOS 11335318 HAS SOPS 11333181 HAS SOUS 1266169 HAS SOUPS 1265135 WITH SCORE 1276470.318
AT ITER 783 NEW BEST:: SOT 13839118 SOS 11331598 HAS SOPS 11329571 HAS SOUS 1262248 HAS SOUPS 1261214 WITH SCORE 1272545.598
AT ITER 802 NEW BEST:: SOT 13839262 SOS 11331886 HAS SOPS 11329859 HAS SOUS 1258901 HAS SOUPS 1257867 WITH SCORE 1269198.886
AT ITER 816 NEW BEST:: SOT 13838318 SOS 11331206 HAS SOPS 11329250 HAS SOUS 1256976 HAS SOUPS 1255942 WITH SCORE 1267273.206
AT ITER 824 NEW BEST:: SOT 13832826 SOS 11333778 HAS SOPS 11331822 HAS SOUS 1250679 HAS SOUPS 1249645 WITH SCORE 1260978.778
AT ITER 827 NEW BEST:: SOT 13838184 SOS 11339136 HAS SOPS 11337180 HAS SOUS 1248841 HAS SOUPS 1247807 WITH SCORE 1259146.136
AT ITER 835 NEW BEST:: SOT 13839425 SOS 11340377 HAS SOPS 11338421 HAS SOUS 1244627 HAS SOUPS 1243593 WITH SCORE 1254933.377
AT ITER 842 NEW BEST:: SOT 13839425 SOS 11337137 HAS SOPS 11335181 HAS SOUS 1244627 HAS SOUPS 1243593 WITH SCORE 1254930.137
AT ITER 843 NEW BEST:: SOT 13839952 SOS 11337659 HAS SOPS 11335703 HAS SOUS 1236115 HAS SOUPS 1235081 WITH SCORE 1246418.659
AT ITER 851 NEW BEST:: SOT 13839952 SOS 11329853 HAS SOPS 11327897 HAS SOUS 1236059 HAS SOUPS 1235025 WITH SCORE 1246354.853
AT ITER 855 NEW BEST:: SOT 13839952 SOS 11337629 HAS SOPS 11335673 HAS SOUS 1235950 HAS SOUPS 1234916 WITH SCORE 1246253.629
AT ITER 862 NEW BEST:: SOT 13831962 SOS 11329639 HAS SOPS 11327683 HAS SOUS 1227608 HAS SOUPS 1226574 WITH SCORE 1237903.639
AT ITER 886 NEW BEST:: SOT 13829391 SOS 11327068 HAS SOPS 11325112 HAS SOUS 1222466 HAS SOUPS 1221432 WITH SCORE 1232759.068
AT ITER 889 NEW BEST:: SOT 13829391 SOS 11326849 HAS SOPS 11324893 HAS SOUS 1222463 HAS SOUPS 1221429 WITH SCORE 1232755.849
AT ITER 896 NEW BEST:: SOT 13829391 SOS 11326849 HAS SOPS 11324893 HAS SOUS 1222441 HAS SOUPS 1221407 WITH SCORE 1232733.849
AT ITER 901 NEW BEST:: SOT 13829391 SOS 11337002 HAS SOPS 11335046 HAS SOUS 1222296 HAS SOUPS 1221262 WITH SCORE 1232599.002
AT ITER 903 NEW BEST:: SOT 13829077 SOS 11336688 HAS SOPS 11334732 HAS SOUS 1221534 HAS SOUPS 1220500 WITH SCORE 1231836.688
AT ITER 920 NEW BEST:: SOT 13827833 SOS 11335444 HAS SOPS 11333488 HAS SOUS 1216533 HAS SOUPS 1215499 WITH SCORE 1226834.444
AT ITER 926 NEW BEST:: SOT 13827833 SOS 11334076 HAS SOPS 11332120 HAS SOUS 1216533 HAS SOUPS 1215499 WITH SCORE 1226833.076
AT ITER 930 NEW BEST:: SOT 13827833 SOS 11335190 HAS SOPS 11333234 HAS SOUS 1216418 HAS SOUPS 1215384 WITH SCORE 1226719.19
AT ITER 932 NEW BEST:: SOT 13827833 SOS 11321500 HAS SOPS 11319544 HAS SOUS 1216233 HAS SOUPS 1215199 WITH SCORE 1226520.5
AT ITER 949 NEW BEST:: SOT 13827833 SOS 11328766 HAS SOPS 11326810 HAS SOUS 1216131 HAS SOUPS 1215097 WITH SCORE 1226425.766
AT ITER 951 NEW BEST:: SOT 13828223 SOS 11329156 HAS SOPS 11327200 HAS SOUS 1215809 HAS SOUPS 1214775 WITH SCORE 1226104.156
AT ITER 954 NEW BEST:: SOT 13825991 SOS 11326924 HAS SOPS 11324968 HAS SOUS 1215513 HAS SOUPS 1214479 WITH SCORE 1225805.924
AT ITER 968 NEW BEST:: SOT 13825718 SOS 11326651 HAS SOPS 11324695 HAS SOUS 1214979 HAS SOUPS 1213945 WITH SCORE 1225271.651
AT ITER 975 NEW BEST:: SOT 13825718 SOS 11326651 HAS SOPS 11324695 HAS SOUS 1214902 HAS SOUPS 1213868 WITH SCORE 1225194.651
AT ITER 990 NEW BEST:: SOT 13826617 SOS 11327550 HAS SOPS 11325594 HAS SOUS 1211595 HAS SOUPS 1210561 WITH SCORE 1221888.55
AT ITER 1001 NEW BEST:: SOT 13826617 SOS 11327550 HAS SOPS 11325594 HAS SOUS 1211444 HAS SOUPS 1210410 WITH SCORE 1221737.55
AT ITER 1004 NEW BEST:: SOT 13832216 SOS 11334445 HAS SOPS 11332489 HAS SOUS 1207170 HAS SOUPS 1206136 WITH SCORE 1217470.445
AT ITER 1011 NEW BEST:: SOT 13834614 SOS 11336843 HAS SOPS 11334887 HAS SOUS 1206318 HAS SOUPS 1205284 WITH SCORE 1216620.843
AT ITER 1015 NEW BEST:: SOT 13834614 SOS 11332739 HAS SOPS 11330783 HAS SOUS 1206318 HAS SOUPS 1205284 WITH SCORE 1216616.739
AT ITER 1018 NEW BEST:: SOT 13834614 SOS 11331703 HAS SOPS 11329747 HAS SOUS 1206304 HAS SOUPS 1205270 WITH SCORE 1216601.703
AT ITER 1034 NEW BEST:: SOT 13834614 SOS 10882009 HAS SOPS 10880053 HAS SOUS 1206329 HAS SOUPS 1205295 WITH SCORE 1216177.009
AT ITER 1038 NEW BEST:: SOT 13835226 SOS 10882825 HAS SOPS 10880869 HAS SOUS 1205767 HAS SOUPS 1204733 WITH SCORE 1215615.825
AT ITER 1040 NEW BEST:: SOT 13835226 SOS 10872687 HAS SOPS 10870731 HAS SOUS 1205630 HAS SOUPS 1204596 WITH SCORE 1215468.687
AT ITER 1047 NEW BEST:: SOT 13835226 SOS 10872687 HAS SOPS 10870731 HAS SOUS 1205463 HAS SOUPS 1204429 WITH SCORE 1215301.687
AT ITER 1055 NEW BEST:: SOT 13833343 SOS 10870804 HAS SOPS 10868848 HAS SOUS 1202867 HAS SOUPS 1201833 WITH SCORE 1212703.804
AT ITER 1061 NEW BEST:: SOT 13835071 SOS 10873524 HAS SOPS 10871640 HAS SOUS 1196912 HAS SOUPS 1195878 WITH SCORE 1206751.524
AT ITER 1065 NEW BEST:: SOT 13830433 SOS 10868886 HAS SOPS 10867002 HAS SOUS 1196533 HAS SOUPS 1195499 WITH SCORE 1206367.886
AT ITER 1069 NEW BEST:: SOT 13826956 SOS 10880427 HAS SOPS 10878543 HAS SOUS 1193737 HAS SOUPS 1192703 WITH SCORE 1203583.427
AT ITER 1070 NEW BEST:: SOT 13826378 SOS 10879849 HAS SOPS 10877965 HAS SOUS 1188055 HAS SOUPS 1187021 WITH SCORE 1197900.849
AT ITER 1075 NEW BEST:: SOT 13826378 SOS 10871209 HAS SOPS 10869325 HAS SOUS 1188055 HAS SOUPS 1187021 WITH SCORE 1197892.209
AT ITER 1087 NEW BEST:: SOT 13826378 SOS 10871209 HAS SOPS 10869325 HAS SOUS 1188005 HAS SOUPS 1186971 WITH SCORE 1197842.209
AT ITER 1115 NEW BEST:: SOT 13826378 SOS 10862887 HAS SOPS 10861003 HAS SOUS 1187891 HAS SOUPS 1186857 WITH SCORE 1197719.887
AT ITER 1117 NEW BEST:: SOT 13824852 SOS 10861361 HAS SOPS 10859477 HAS SOUS 1186575 HAS SOUPS 1185541 WITH SCORE 1196402.361
AT ITER 1118 NEW BEST:: SOT 13824782 SOS 10861291 HAS SOPS 10859407 HAS SOUS 1186505 HAS SOUPS 1185471 WITH SCORE 1196332.291
AT ITER 1142 NEW BEST:: SOT 13819653 SOS 10870818 HAS SOPS 10868934 HAS SOUS 1180312 HAS SOUPS 1179278 WITH SCORE 1190148.818
AT ITER 1151 NEW BEST:: SOT 13819653 SOS 10870612 HAS SOPS 10868728 HAS SOUS 1180209 HAS SOUPS 1179175 WITH SCORE 1190045.612
AT ITER 1171 NEW BEST:: SOT 13824845 SOS 10875804 HAS SOPS 10873920 HAS SOUS 1177676 HAS SOUPS 1176642 WITH SCORE 1187517.804
AT ITER 1174 NEW BEST:: SOT 13824294 SOS 10876125 HAS SOPS 10874241 HAS SOUS 1177001 HAS SOUPS 1175967 WITH SCORE 1186843.125
AT ITER 1192 NEW BEST:: SOT 13824294 SOS 10876028 HAS SOPS 10874144 HAS SOUS 1176904 HAS SOUPS 1175870 WITH SCORE 1186746.028
AT ITER 1210 NEW BEST:: SOT 13824294 SOS 10875968 HAS SOPS 10874084 HAS SOUS 1176762 HAS SOUPS 1175728 WITH SCORE 1186603.968
AT ITER 1211 NEW BEST:: SOT 13819612 SOS 10853240 HAS SOPS 10851356 HAS SOUS 1172303 HAS SOUPS 1171269 WITH SCORE 1182122.24
AT ITER 1215 NEW BEST:: SOT 13820726 SOS 10854466 HAS SOPS 10852582 HAS SOUS 1171639 HAS SOUPS 1170605 WITH SCORE 1181459.466
AT ITER 1218 NEW BEST:: SOT 13815601 SOS 10848485 HAS SOPS 10847817 HAS SOUS 1162994 HAS SOUPS 1162376 WITH SCORE 1173224.485
AT ITER 1225 NEW BEST:: SOT 13812347 SOS 10845231 HAS SOPS 10844563 HAS SOUS 1159847 HAS SOUPS 1159229 WITH SCORE 1170074.231
AT ITER 1227 NEW BEST:: SOT 13812347 SOS 10845202 HAS SOPS 10844534 HAS SOUS 1159847 HAS SOUPS 1159229 WITH SCORE 1170074.202
AT ITER 1239 NEW BEST:: SOT 13812347 SOS 10842970 HAS SOPS 10842302 HAS SOUS 1159847 HAS SOUPS 1159229 WITH SCORE 1170071.97
AT ITER 1247 NEW BEST:: SOT 13812347 SOS 10842806 HAS SOPS 10842138 HAS SOUS 1159765 HAS SOUPS 1159147 WITH SCORE 1169989.806
AT ITER 1259 NEW BEST:: SOT 13812347 SOS 10837262 HAS SOPS 10836594 HAS SOUS 1159765 HAS SOUPS 1159147 WITH SCORE 1169984.262
AT ITER 1266 NEW BEST:: SOT 13810689 SOS 10835604 HAS SOPS 10834936 HAS SOUS 1152606 HAS SOUPS 1151988 WITH SCORE 1162823.604
AT ITER 1267 NEW BEST:: SOT 13810124 SOS 10835018 HAS SOPS 10834350 HAS SOUS 1150546 HAS SOUPS 1149928 WITH SCORE 1160763.018
AT ITER 1273 NEW BEST:: SOT 13810124 SOS 10822754 HAS SOPS 10822086 HAS SOUS 1150378 HAS SOUPS 1149760 WITH SCORE 1160582.754
AT ITER 1278 NEW BEST:: SOT 13810124 SOS 10822690 HAS SOPS 10822022 HAS SOUS 1150346 HAS SOUPS 1149728 WITH SCORE 1160550.69
AT ITER 1283 NEW BEST:: SOT 13810124 SOS 10812466 HAS SOPS 10811798 HAS SOUS 1150346 HAS SOUPS 1149728 WITH SCORE 1160540.466
AT ITER 1304 NEW BEST:: SOT 13810124 SOS 10812204 HAS SOPS 10811536 HAS SOUS 1150215 HAS SOUPS 1149597 WITH SCORE 1160409.204
AT ITER 1307 NEW BEST:: SOT 13809848 SOS 10811928 HAS SOPS 10811260 HAS SOUS 1150043 HAS SOUPS 1149425 WITH SCORE 1160236.928
AT ITER 1310 NEW BEST:: SOT 13809848 SOS 10806600 HAS SOPS 10805932 HAS SOUS 1149987 HAS SOUPS 1149369 WITH SCORE 1160175.6
AT ITER 1333 NEW BEST:: SOT 13808033 SOS 10813553 HAS SOPS 10812885 HAS SOUS 1149756 HAS SOUPS 1149138 WITH SCORE 1159951.553
AT ITER 1337 NEW BEST:: SOT 13808333 SOS 10813853 HAS SOPS 10813185 HAS SOUS 1149010 HAS SOUPS 1148392 WITH SCORE 1159205.853
AT ITER 1340 NEW BEST:: SOT 13808333 SOS 10805935 HAS SOPS 10805267 HAS SOUS 1148903 HAS SOUPS 1148285 WITH SCORE 1159090.935
AT ITER 1342 NEW BEST:: SOT 13808333 SOS 10809526 HAS SOPS 10808858 HAS SOUS 1148873 HAS SOUPS 1148255 WITH SCORE 1159064.526
AT ITER 1343 NEW BEST:: SOT 13807913 SOS 10808880 HAS SOPS 10808264 HAS SOUS 1147970 HAS SOUPS 1147404 WITH SCORE 1158212.88
AT ITER 1346 NEW BEST:: SOT 13807913 SOS 10808310 HAS SOPS 10807694 HAS SOUS 1147970 HAS SOUPS 1147404 WITH SCORE 1158212.31
AT ITER 1353 NEW BEST:: SOT 13807913 SOS 10802190 HAS SOPS 10801574 HAS SOUS 1147970 HAS SOUPS 1147404 WITH SCORE 1158206.19
AT ITER 1357 NEW BEST:: SOT 13809780 SOS 10803661 HAS SOPS 10803107 HAS SOUS 1145943 HAS SOUPS 1145439 WITH SCORE 1156242.661
AT ITER 1363 NEW BEST:: SOT 13809780 SOS 10803427 HAS SOPS 10802873 HAS SOUS 1145826 HAS SOUPS 1145322 WITH SCORE 1156125.427
AT ITER 1366 NEW BEST:: SOT 13809780 SOS 10638979 HAS SOPS 10638425 HAS SOUS 1145794 HAS SOUPS 1145290 WITH SCORE 1155928.979
AT ITER 1373 NEW BEST:: SOT 13809780 SOS 10649753 HAS SOPS 10649199 HAS SOUS 1145642 HAS SOUPS 1145138 WITH SCORE 1155787.753
AT ITER 1388 NEW BEST:: SOT 13808926 SOS 10648899 HAS SOPS 10648345 HAS SOUS 1145186 HAS SOUPS 1144682 WITH SCORE 1155330.899
AT ITER 1400 NEW BEST:: SOT 13835221 SOS 10675194 HAS SOPS 10674640 HAS SOUS 1141531 HAS SOUPS 1141027 WITH SCORE 1151702.194
AT ITER 1408 NEW BEST:: SOT 13834921 SOS 10675056 HAS SOPS 10674502 HAS SOUS 1132546 HAS SOUPS 1132042 WITH SCORE 1142717.056
AT ITER 1419 NEW BEST:: SOT 13834921 SOS 10674806 HAS SOPS 10674252 HAS SOUS 1132421 HAS SOUPS 1131917 WITH SCORE 1142591.806
AT ITER 1425 NEW BEST:: SOT 13834941 SOS 10674826 HAS SOPS 10674272 HAS SOUS 1131514 HAS SOUPS 1131010 WITH SCORE 1141684.826
AT ITER 1433 NEW BEST:: SOT 13836973 SOS 10676858 HAS SOPS 10676304 HAS SOUS 1129988 HAS SOUPS 1129484 WITH SCORE 1140160.858
AT ITER 1436 NEW BEST:: SOT 13837138 SOS 10677273 HAS SOPS 10676789 HAS SOUS 1129420 HAS SOUPS 1128986 WITH SCORE 1139663.273
AT ITER 1447 NEW BEST:: SOT 13837138 SOS 10670073 HAS SOPS 10669589 HAS SOUS 1129420 HAS SOUPS 1128986 WITH SCORE 1139656.073
AT ITER 1460 NEW BEST:: SOT 13837138 SOS 10670073 HAS SOPS 10669589 HAS SOUS 1129413 HAS SOUPS 1128979 WITH SCORE 1139649.073
AT ITER 1498 NEW BEST:: SOT 13837138 SOS 10665707 HAS SOPS 10665223 HAS SOUS 1129354 HAS SOUPS 1128920 WITH SCORE 1139585.707
AT ITER 1514 NEW BEST:: SOT 13832158 SOS 10660487 HAS SOPS 10660003 HAS SOUS 1124765 HAS SOUPS 1124331 WITH SCORE 1134991.487
AT ITER 1521 NEW BEST:: SOT 13825000 SOS 10653332 HAS SOPS 10652845 HAS SOUS 1124740 HAS SOUPS 1124305 WITH SCORE 1134958.332
AT ITER 1524 NEW BEST:: SOT 13824998 SOS 10653330 HAS SOPS 10652843 HAS SOUS 1124739 HAS SOUPS 1124304 WITH SCORE 1134957.33
AT ITER 1525 NEW BEST:: SOT 13822121 SOS 10662945 HAS SOPS 10662458 HAS SOUS 1123110 HAS SOUPS 1122675 WITH SCORE 1133337.945
AT ITER 1528 NEW BEST:: SOT 13822121 SOS 10660503 HAS SOPS 10660016 HAS SOUS 1123077 HAS SOUPS 1122642 WITH SCORE 1133302.503
AT ITER 1529 NEW BEST:: SOT 13818992 SOS 10657374 HAS SOPS 10656887 HAS SOUS 1117029 HAS SOUPS 1116594 WITH SCORE 1127251.374
AT ITER 1533 NEW BEST:: SOT 13820419 SOS 10658801 HAS SOPS 10658314 HAS SOUS 1115663 HAS SOUPS 1115228 WITH SCORE 1125886.801
AT ITER 1538 NEW BEST:: SOT 13820462 SOS 10658739 HAS SOPS 10658237 HAS SOUS 1115637 HAS SOUPS 1115187 WITH SCORE 1125845.739
AT ITER 1545 NEW BEST:: SOT 13820574 SOS 10650347 HAS SOPS 10649845 HAS SOUS 1113134 HAS SOUPS 1112684 WITH SCORE 1123334.347
AT ITER 1550 NEW BEST:: SOT 13820574 SOS 10649681 HAS SOPS 10649179 HAS SOUS 1113125 HAS SOUPS 1112675 WITH SCORE 1123324.681
AT ITER 1560 NEW BEST:: SOT 13820567 SOS 10649674 HAS SOPS 10649172 HAS SOUS 1113118 HAS SOUPS 1112668 WITH SCORE 1123317.674
AT ITER 1570 NEW BEST:: SOT 13820282 SOS 10649389 HAS SOPS 10648887 HAS SOUS 1112533 HAS SOUPS 1112083 WITH SCORE 1122732.389
AT ITER 1584 NEW BEST:: SOT 13819325 SOS 10648432 HAS SOPS 10647930 HAS SOUS 1111760 HAS SOUPS 1111310 WITH SCORE 1121958.432
AT ITER 1585 NEW BEST:: SOT 13813032 SOS 10625791 HAS SOPS 10625289 HAS SOUS 1104178 HAS SOUPS 1103728 WITH SCORE 1114353.791
AT ITER 1592 NEW BEST:: SOT 13813032 SOS 10624053 HAS SOPS 10623551 HAS SOUS 1104156 HAS SOUPS 1103706 WITH SCORE 1114330.053
AT ITER 1594 NEW BEST:: SOT 13813160 SOS 10624185 HAS SOPS 10623683 HAS SOUS 1104037 HAS SOUPS 1103587 WITH SCORE 1114211.185
AT ITER 1628 NEW BEST:: SOT 13809516 SOS 10620438 HAS SOPS 10619945 HAS SOUS 1096060 HAS SOUPS 1095619 WITH SCORE 1106239.438
AT ITER 1630 NEW BEST:: SOT 13809516 SOS 10626802 HAS SOPS 10626309 HAS SOUS 1095965 HAS SOUPS 1095524 WITH SCORE 1106150.802
AT ITER 1633 NEW BEST:: SOT 13809483 SOS 10626769 HAS SOPS 10626276 HAS SOUS 1095939 HAS SOUPS 1095498 WITH SCORE 1106124.769
AT ITER 1653 NEW BEST:: SOT 13809483 SOS 10631365 HAS SOPS 10630872 HAS SOUS 1095696 HAS SOUPS 1095255 WITH SCORE 1105886.365
AT ITER 1678 NEW BEST:: SOT 13816856 SOS 10638738 HAS SOPS 10638245 HAS SOUS 1084935 HAS SOUPS 1084494 WITH SCORE 1095132.738
AT ITER 1681 NEW BEST:: SOT 13813565 SOS 10635447 HAS SOPS 10634954 HAS SOUS 1078281 HAS SOUPS 1077840 WITH SCORE 1088475.447
AT ITER 1682 NEW BEST:: SOT 13812441 SOS 10634338 HAS SOPS 10633852 HAS SOUS 1077182 HAS SOUPS 1076748 WITH SCORE 1087382.338
AT ITER 1684 NEW BEST:: SOT 13812322 SOS 10634219 HAS SOPS 10633733 HAS SOUS 1076938 HAS SOUPS 1076504 WITH SCORE 1087138.219
AT ITER 1688 NEW BEST:: SOT 13812322 SOS 10629251 HAS SOPS 10628765 HAS SOUS 1076938 HAS SOUPS 1076504 WITH SCORE 1087133.251
AT ITER 1689 NEW BEST:: SOT 13810888 SOS 10627817 HAS SOPS 10627331 HAS SOUS 1075244 HAS SOUPS 1074810 WITH SCORE 1085437.817
AT ITER 1692 NEW BEST:: SOT 13810888 SOS 10627817 HAS SOPS 10627331 HAS SOUS 1075220 HAS SOUPS 1074786 WITH SCORE 1085413.817
AT ITER 1698 NEW BEST:: SOT 13810888 SOS 10627763 HAS SOPS 10627277 HAS SOUS 1075147 HAS SOUPS 1074713 WITH SCORE 1085340.763
AT ITER 1700 NEW BEST:: SOT 13810888 SOS 10626020 HAS SOPS 10625534 HAS SOUS 1075110 HAS SOUPS 1074676 WITH SCORE 1085302.02
AT ITER 1719 NEW BEST:: SOT 13806701 SOS 10621833 HAS SOPS 10621347 HAS SOUS 1071992 HAS SOUPS 1071558 WITH SCORE 1082179.833
AT ITER 1744 NEW BEST:: SOT 13805986 SOS 10621118 HAS SOPS 10620632 HAS SOUS 1069553 HAS SOUPS 1069119 WITH SCORE 1079740.118
AT ITER 1756 NEW BEST:: SOT 13804166 SOS 10619298 HAS SOPS 10618812 HAS SOUS 1068626 HAS SOUPS 1068192 WITH SCORE 1078811.298
AT ITER 1762 NEW BEST:: SOT 13803266 SOS 10619244 HAS SOPS 10618758 HAS SOUS 1068203 HAS SOUPS 1067769 WITH SCORE 1078388.244
AT ITER 1772 NEW BEST:: SOT 13802518 SOS 10618496 HAS SOPS 10618010 HAS SOUS 1067894 HAS SOUPS 1067460 WITH SCORE 1078078.496
AT ITER 1775 NEW BEST:: SOT 13802518 SOS 10610864 HAS SOPS 10610378 HAS SOUS 1067894 HAS SOUPS 1067460 WITH SCORE 1078070.864
AT ITER 1801 NEW BEST:: SOT 13802570 SOS 10610858 HAS SOPS 10610292 HAS SOUS 1067946 HAS SOUPS 1067442 WITH SCORE 1078052.858
AT ITER 1802 NEW BEST:: SOT 13802570 SOS 10603874 HAS SOPS 10603308 HAS SOUS 1067946 HAS SOUPS 1067442 WITH SCORE 1078045.874
AT ITER 1805 NEW BEST:: SOT 13801373 SOS 10602677 HAS SOPS 10602111 HAS SOUS 1067072 HAS SOUPS 1066568 WITH SCORE 1077170.677
AT ITER 1811 NEW BEST:: SOT 13801373 SOS 10596557 HAS SOPS 10595991 HAS SOUS 1067072 HAS SOUPS 1066568 WITH SCORE 1077164.557
AT ITER 1815 NEW BEST:: SOT 13803179 SOS 10598543 HAS SOPS 10597957 HAS SOUS 1066929 HAS SOUPS 1066405 WITH SCORE 1077003.543
AT ITER 1820 NEW BEST:: SOT 13803179 SOS 10593071 HAS SOPS 10592485 HAS SOUS 1066929 HAS SOUPS 1066405 WITH SCORE 1076998.071
AT ITER 1828 NEW BEST:: SOT 13809566 SOS 10599458 HAS SOPS 10598872 HAS SOUS 1059285 HAS SOUPS 1058761 WITH SCORE 1069360.458
AT ITER 1829 NEW BEST:: SOT 13809566 SOS 10599136 HAS SOPS 10598550 HAS SOUS 1059081 HAS SOUPS 1058557 WITH SCORE 1069156.136
AT ITER 1833 NEW BEST:: SOT 13809566 SOS 10599136 HAS SOPS 10598550 HAS SOUS 1059073 HAS SOUPS 1058549 WITH SCORE 1069148.136
AT ITER 1838 NEW BEST:: SOT 13807923 SOS 10597493 HAS SOPS 10596907 HAS SOUS 1055586 HAS SOUPS 1055062 WITH SCORE 1065659.493
AT ITER 1842 NEW BEST:: SOT 13806591 SOS 10596161 HAS SOPS 10595575 HAS SOUS 1052896 HAS SOUPS 1052372 WITH SCORE 1062968.161
AT ITER 1852 NEW BEST:: SOT 13805702 SOS 10594988 HAS SOPS 10594442 HAS SOUS 1050831 HAS SOUPS 1050347 WITH SCORE 1060941.988
AT ITER 1859 NEW BEST:: SOT 13805702 SOS 10581812 HAS SOPS 10581266 HAS SOUS 1050831 HAS SOUPS 1050347 WITH SCORE 1060928.812
AT ITER 1865 NEW BEST:: SOT 13805702 SOS 10579436 HAS SOPS 10578890 HAS SOUS 1050831 HAS SOUPS 1050347 WITH SCORE 1060926.436
AT ITER 1868 NEW BEST:: SOT 13805939 SOS 10579673 HAS SOPS 10579127 HAS SOUS 1050632 HAS SOUPS 1050148 WITH SCORE 1060727.673
AT ITER 1872 NEW BEST:: SOT 13805939 SOS 10578595 HAS SOPS 10578049 HAS SOUS 1050618 HAS SOUPS 1050134 WITH SCORE 1060712.595
AT ITER 1879 NEW BEST:: SOT 13805920 SOS 10578576 HAS SOPS 10578030 HAS SOUS 1050579 HAS SOUPS 1050095 WITH SCORE 1060673.576
AT ITER 1885 NEW BEST:: SOT 13805920 SOS 10578576 HAS SOPS 10578030 HAS SOUS 1050577 HAS SOUPS 1050093 WITH SCORE 1060671.576
AT ITER 1900 NEW BEST:: SOT 13805920 SOS 10578266 HAS SOPS 10577720 HAS SOUS 1050577 HAS SOUPS 1050093 WITH SCORE 1060671.266
AT ITER 1919 NEW BEST:: SOT 13805920 SOS 10578025 HAS SOPS 10577479 HAS SOUS 1050577 HAS SOUPS 1050093 WITH SCORE 1060671.025
AT ITER 1920 NEW BEST:: SOT 13808839 SOS 10581508 HAS SOPS 10580962 HAS SOUS 1050004 HAS SOUPS 1049520 WITH SCORE 1060101.508
AT ITER 1944 NEW BEST:: SOT 13809419 SOS 10582088 HAS SOPS 10581542 HAS SOUS 1047070 HAS SOUPS 1046586 WITH SCORE 1057168.088
AT ITER 1957 NEW BEST:: SOT 13809791 SOS 10582460 HAS SOPS 10581914 HAS SOUS 1043421 HAS SOUPS 1042937 WITH SCORE 1053519.46
AT ITER 1968 NEW BEST:: SOT 13805391 SOS 10578060 HAS SOPS 10577514 HAS SOUS 1043038 HAS SOUPS 1042554 WITH SCORE 1053132.06
AT ITER 1977 NEW BEST:: SOT 13803918 SOS 10576587 HAS SOPS 10576041 HAS SOUS 1042052 HAS SOUPS 1041568 WITH SCORE 1052144.587
AT ITER 1984 NEW BEST:: SOT 13803918 SOS 10576587 HAS SOPS 10576041 HAS SOUS 1042027 HAS SOUPS 1041543 WITH SCORE 1052119.587
AT ITER 1996 NEW BEST:: SOT 13808621 SOS 10581382 HAS SOPS 10580836 HAS SOUS 1040991 HAS SOUPS 1040507 WITH SCORE 1051088.382
AT ITER 2003 NEW BEST:: SOT 13809416 SOS 10582177 HAS SOPS 10581631 HAS SOUS 1039862 HAS SOUPS 1039378 WITH SCORE 1049960.177
AT ITER 2024 NEW BEST:: SOT 13809416 SOS 10569217 HAS SOPS 10568671 HAS SOUS 1039863 HAS SOUPS 1039379 WITH SCORE 1049948.217
AT ITER 2027 NEW BEST:: SOT 13805542 SOS 10565343 HAS SOPS 10564797 HAS SOUS 1036301 HAS SOUPS 1035817 WITH SCORE 1046382.343
AT ITER 2040 NEW BEST:: SOT 13805879 SOS 10565824 HAS SOPS 10565278 HAS SOUS 1035852 HAS SOUPS 1035368 WITH SCORE 1045933.824
AT ITER 2065 NEW BEST:: SOT 13804104 SOS 10564049 HAS SOPS 10563503 HAS SOUS 1033879 HAS SOUPS 1033395 WITH SCORE 1043959.049
AT ITER 2083 NEW BEST:: SOT 13804595 SOS 10564600 HAS SOPS 10564054 HAS SOUS 1033353 HAS SOUPS 1032869 WITH SCORE 1043433.6
AT ITER 2094 NEW BEST:: SOT 13804464 SOS 10564400 HAS SOPS 10563864 HAS SOUS 1025086 HAS SOUPS 1024612 WITH SCORE 1035176.4
AT ITER 2101 NEW BEST:: SOT 13809014 SOS 10568863 HAS SOPS 10568340 HAS SOUS 1023467 HAS SOUPS 1023006 WITH SCORE 1033574.863
AT ITER 2108 NEW BEST:: SOT 13817578 SOS 10578153 HAS SOPS 10577259 HAS SOUS 1021248 HAS SOUPS 1020654 WITH SCORE 1031232.153
AT ITER 2110 NEW BEST:: SOT 13828188 SOS 10588763 HAS SOPS 10587869 HAS SOUS 1019497 HAS SOUPS 1018903 WITH SCORE 1029491.763
AT ITER 2112 NEW BEST:: SOT 13828195 SOS 10596034 HAS SOPS 10595140 HAS SOUS 1019448 HAS SOUPS 1018854 WITH SCORE 1029450.034
AT ITER 2123 NEW BEST:: SOT 13817943 SOS 10585253 HAS SOPS 10584485 HAS SOUS 1005078 HAS SOUPS 1004610 WITH SCORE 1015195.253
AT ITER 2126 NEW BEST:: SOT 13817943 SOS 10575101 HAS SOPS 10574333 HAS SOUS 1005078 HAS SOUPS 1004610 WITH SCORE 1015185.101
AT ITER 2133 NEW BEST:: SOT 13817943 SOS 10562645 HAS SOPS 10561877 HAS SOUS 1005078 HAS SOUPS 1004610 WITH SCORE 1015172.645
AT ITER 2134 NEW BEST:: SOT 13817943 SOS 10562583 HAS SOPS 10561815 HAS SOUS 1004869 HAS SOUPS 1004401 WITH SCORE 1014963.583
AT ITER 2138 NEW BEST:: SOT 13817943 SOS 10562583 HAS SOPS 10561815 HAS SOUS 1004858 HAS SOUPS 1004390 WITH SCORE 1014952.583
AT ITER 2149 NEW BEST:: SOT 13817868 SOS 10562508 HAS SOPS 10561740 HAS SOUS 1004728 HAS SOUPS 1004260 WITH SCORE 1014822.508
AT ITER 2155 NEW BEST:: SOT 13827644 SOS 10572646 HAS SOPS 10571789 HAS SOUS 1003688 HAS SOUPS 1003177 WITH SCORE 1013749.646
AT ITER 2177 NEW BEST:: SOT 13824913 SOS 10569915 HAS SOPS 10569058 HAS SOUS 999145 HAS SOUPS 998634 WITH SCORE 1009203.915
AT ITER 2182 NEW BEST:: SOT 13824263 SOS 10566459 HAS SOPS 10565840 HAS SOUS 997949 HAS SOUPS 997438 WITH SCORE 1008004.459
AT ITER 2188 NEW BEST:: SOT 13824263 SOS 10569088 HAS SOPS 10568469 HAS SOUS 997946 HAS SOUPS 997435 WITH SCORE 1008004.088
AT ITER 2196 NEW BEST:: SOT 13822372 SOS 10567197 HAS SOPS 10566578 HAS SOUS 995980 HAS SOUPS 995469 WITH SCORE 1006036.197
AT ITER 2206 NEW BEST:: SOT 13822372 SOS 10567187 HAS SOPS 10566568 HAS SOUS 995970 HAS SOUPS 995459 WITH SCORE 1006026.187
AT ITER 2212 NEW BEST:: SOT 13822372 SOS 10567047 HAS SOPS 10566428 HAS SOUS 995950 HAS SOUPS 995439 WITH SCORE 1006006.047
AT ITER 2218 NEW BEST:: SOT 13817351 SOS 10562026 HAS SOPS 10561407 HAS SOUS 992946 HAS SOUPS 992435 WITH SCORE 1002997.026
AT ITER 2228 NEW BEST:: SOT 13817196 SOS 10561885 HAS SOPS 10561266 HAS SOUS 992624 HAS SOUPS 992113 WITH SCORE 1002674.885
AT ITER 2238 NEW BEST:: SOT 13815927 SOS 10564506 HAS SOPS 10563933 HAS SOUS 990357 HAS SOUPS 989846 WITH SCORE 1000410.506
AT ITER 2272 NEW BEST:: SOT 13815528 SOS 10564107 HAS SOPS 10563534 HAS SOUS 985078 HAS SOUPS 984567 WITH SCORE 995131.107
AT ITER 2282 NEW BEST:: SOT 13814598 SOS 10562215 HAS SOPS 10561642 HAS SOUS 984147 HAS SOUPS 983636 WITH SCORE 994198.215
AT ITER 2304 NEW BEST:: SOT 13813535 SOS 10562211 HAS SOPS 10561512 HAS SOUS 981539 HAS SOUPS 980902 WITH SCORE 991464.211
AT ITER 2313 NEW BEST:: SOT 13813535 SOS 10554219 HAS SOPS 10553520 HAS SOUS 981539 HAS SOUPS 980902 WITH SCORE 991456.219
AT ITER 2317 NEW BEST:: SOT 13813535 SOS 10553449 HAS SOPS 10552750 HAS SOUS 981341 HAS SOUPS 980704 WITH SCORE 991257.449
AT ITER 2326 NEW BEST:: SOT 13812999 SOS 10552913 HAS SOPS 10552214 HAS SOUS 980781 HAS SOUPS 980144 WITH SCORE 990696.913
AT ITER 2329 NEW BEST:: SOT 13812999 SOS 10554165 HAS SOPS 10553466 HAS SOUS 980620 HAS SOUPS 979983 WITH SCORE 990537.165
AT ITER 2338 NEW BEST:: SOT 13804523 SOS 10545276 HAS SOPS 10544710 HAS SOUS 978396 HAS SOUPS 977892 WITH SCORE 988437.276
AT ITER 2362 NEW BEST:: SOT 13819565 SOS 10561217 HAS SOPS 10560078 HAS SOUS 974002 HAS SOUPS 973302 WITH SCORE 983863.217
AT ITER 2371 NEW BEST:: SOT 13831617 SOS 10573439 HAS SOPS 10572300 HAS SOUS 969420 HAS SOUPS 968720 WITH SCORE 979293.439
AT ITER 2376 NEW BEST:: SOT 13830164 SOS 10571986 HAS SOPS 10570847 HAS SOUS 968466 HAS SOUPS 967766 WITH SCORE 978337.986
AT ITER 2388 NEW BEST:: SOT 13827405 SOS 10569227 HAS SOPS 10568088 HAS SOUS 966329 HAS SOUPS 965629 WITH SCORE 976198.227
AT ITER 2406 NEW BEST:: SOT 13827405 SOS 10563179 HAS SOPS 10562040 HAS SOUS 966329 HAS SOUPS 965629 WITH SCORE 976192.179
AT ITER 2436 NEW BEST:: SOT 13826959 SOS 10562733 HAS SOPS 10561594 HAS SOUS 966051 HAS SOUPS 965351 WITH SCORE 975913.733
AT ITER 2450 NEW BEST:: SOT 13822855 SOS 10558629 HAS SOPS 10557490 HAS SOUS 962772 HAS SOUPS 962072 WITH SCORE 972630.629
AT ITER 2452 NEW BEST:: SOT 13822850 SOS 10558552 HAS SOPS 10557421 HAS SOUS 962605 HAS SOUPS 961913 WITH SCORE 972471.552
AT ITER 2455 NEW BEST:: SOT 13822447 SOS 10558149 HAS SOPS 10557018 HAS SOUS 961844 HAS SOUPS 961152 WITH SCORE 971710.149
AT ITER 2466 NEW BEST:: SOT 13822447 SOS 10558138 HAS SOPS 10557007 HAS SOUS 961833 HAS SOUPS 961141 WITH SCORE 971699.138
AT ITER 2498 NEW BEST:: SOT 13822447 SOS 10540966 HAS SOPS 10539835 HAS SOUS 961621 HAS SOUPS 960929 WITH SCORE 971469.966
AT ITER 2505 NEW BEST:: SOT 13822447 SOS 10526782 HAS SOPS 10525651 HAS SOUS 961621 HAS SOUPS 960929 WITH SCORE 971455.782
AT ITER 2524 NEW BEST:: SOT 13825761 SOS 10530096 HAS SOPS 10528965 HAS SOUS 957456 HAS SOUPS 956764 WITH SCORE 967294.096
AT ITER 2530 NEW BEST:: SOT 13825761 SOS 10530096 HAS SOPS 10528965 HAS SOUS 957433 HAS SOUPS 956741 WITH SCORE 967271.096
AT ITER 2556 NEW BEST:: SOT 13825761 SOS 10529800 HAS SOPS 10528669 HAS SOUS 957429 HAS SOUPS 956737 WITH SCORE 967266.8
AT ITER 2571 NEW BEST:: SOT 13825708 SOS 10529747 HAS SOPS 10528616 HAS SOUS 957226 HAS SOUPS 956534 WITH SCORE 967063.747
AT ITER 2577 NEW BEST:: SOT 13825708 SOS 10530035 HAS SOPS 10528904 HAS SOUS 957222 HAS SOUPS 956530 WITH SCORE 967060.035
AT ITER 2593 NEW BEST:: SOT 13822978 SOS 10527305 HAS SOPS 10526174 HAS SOUS 955159 HAS SOUPS 954467 WITH SCORE 964994.305
AT ITER 2601 NEW BEST:: SOT 13818300 SOS 10522277 HAS SOPS 10521356 HAS SOUS 954813 HAS SOUPS 954191 WITH SCORE 964713.277
AT ITER 2604 NEW BEST:: SOT 13818250 SOS 10562763 HAS SOPS 10561842 HAS SOUS 954763 HAS SOUPS 954141 WITH SCORE 964703.763
AT ITER 2609 NEW BEST:: SOT 13815849 SOS 10560362 HAS SOPS 10559441 HAS SOUS 952851 HAS SOUPS 952229 WITH SCORE 962789.362
AT ITER 2643 NEW BEST:: SOT 13818014 SOS 10562527 HAS SOPS 10561606 HAS SOUS 950444 HAS SOUPS 949822 WITH SCORE 960384.527
AT ITER 2652 NEW BEST:: SOT 13816613 SOS 10561095 HAS SOPS 10560174 HAS SOUS 944558 HAS SOUPS 943936 WITH SCORE 954497.095
AT ITER 2656 NEW BEST:: SOT 13816613 SOS 10564173 HAS SOPS 10563252 HAS SOUS 944504 HAS SOUPS 943882 WITH SCORE 954446.173
AT ITER 2658 NEW BEST:: SOT 13816613 SOS 10555749 HAS SOPS 10554828 HAS SOUS 944504 HAS SOUPS 943882 WITH SCORE 954437.749
AT ITER 2664 NEW BEST:: SOT 13816441 SOS 10555577 HAS SOPS 10554656 HAS SOUS 944153 HAS SOUPS 943531 WITH SCORE 954086.577
AT ITER 2669 NEW BEST:: SOT 13816441 SOS 10547513 HAS SOPS 10546592 HAS SOUS 944153 HAS SOUPS 943531 WITH SCORE 954078.513
AT ITER 2700 NEW BEST:: SOT 13816441 SOS 10546649 HAS SOPS 10545728 HAS SOUS 944153 HAS SOUPS 943531 WITH SCORE 954077.649
AT ITER 2708 NEW BEST:: SOT 13817011 SOS 10547219 HAS SOPS 10546298 HAS SOUS 942778 HAS SOUPS 942156 WITH SCORE 952703.219
AT ITER 2720 NEW BEST:: SOT 13817011 SOS 10543271 HAS SOPS 10542350 HAS SOUS 942778 HAS SOUPS 942156 WITH SCORE 952699.271
AT ITER 2721 NEW BEST:: SOT 13816990 SOS 10543250 HAS SOPS 10542329 HAS SOUS 942734 HAS SOUPS 942112 WITH SCORE 952655.25
AT ITER 2725 NEW BEST:: SOT 13823540 SOS 10549800 HAS SOPS 10548879 HAS SOUS 941483 HAS SOUPS 940861 WITH SCORE 951410.8
AT ITER 2726 NEW BEST:: SOT 13822063 SOS 10548227 HAS SOPS 10547306 HAS SOUS 940148 HAS SOUPS 939526 WITH SCORE 950074.227
AT ITER 2728 NEW BEST:: SOT 13822302 SOS 10548451 HAS SOPS 10547530 HAS SOUS 939641 HAS SOUPS 939019 WITH SCORE 949567.451
AT ITER 2734 NEW BEST:: SOT 13822302 SOS 10546711 HAS SOPS 10545790 HAS SOUS 939563 HAS SOUPS 938941 WITH SCORE 949487.711
AT ITER 2737 NEW BEST:: SOT 13820956 SOS 10545365 HAS SOPS 10544444 HAS SOUS 937971 HAS SOUPS 937349 WITH SCORE 947894.365
AT ITER 2752 NEW BEST:: SOT 13820902 SOS 10545311 HAS SOPS 10544390 HAS SOUS 937949 HAS SOUPS 937327 WITH SCORE 947872.311
AT ITER 2757 NEW BEST:: SOT 13820902 SOS 10544807 HAS SOPS 10543886 HAS SOUS 937949 HAS SOUPS 937327 WITH SCORE 947871.807
AT ITER 2764 NEW BEST:: SOT 13820865 SOS 10544770 HAS SOPS 10543849 HAS SOUS 937949 HAS SOUPS 937327 WITH SCORE 947871.77
AT ITER 2778 NEW BEST:: SOT 13820522 SOS 10544399 HAS SOPS 10543478 HAS SOUS 937578 HAS SOUPS 936956 WITH SCORE 947500.399
AT ITER 2784 NEW BEST:: SOT 13820522 SOS 10538999 HAS SOPS 10538078 HAS SOUS 937578 HAS SOUPS 936956 WITH SCORE 947494.999
AT ITER 2789 NEW BEST:: SOT 13809359 SOS 10549432 HAS SOPS 10548512 HAS SOUS 934669 HAS SOUPS 934047 WITH SCORE 944596.432
AT ITER 2793 NEW BEST:: SOT 13809359 SOS 10546316 HAS SOPS 10545396 HAS SOUS 934475 HAS SOUPS 933853 WITH SCORE 944399.316
AT ITER 2800 NEW BEST:: SOT 13809334 SOS 10546291 HAS SOPS 10545371 HAS SOUS 934450 HAS SOUPS 933828 WITH SCORE 944374.291
AT ITER 2805 NEW BEST:: SOT 13809090 SOS 10546047 HAS SOPS 10545127 HAS SOUS 934326 HAS SOUPS 933704 WITH SCORE 944250.047
AT ITER 2815 NEW BEST:: SOT 13807781 SOS 10544738 HAS SOPS 10543818 HAS SOUS 930748 HAS SOUPS 930126 WITH SCORE 940670.738
AT ITER 2828 NEW BEST:: SOT 13807781 SOS 10544672 HAS SOPS 10543752 HAS SOUS 930715 HAS SOUPS 930093 WITH SCORE 940637.672
AT ITER 2837 NEW BEST:: SOT 13809747 SOS 10546598 HAS SOPS 10545678 HAS SOUS 929514 HAS SOUPS 928892 WITH SCORE 939438.598
AT ITER 2857 NEW BEST:: SOT 13811349 SOS 10548200 HAS SOPS 10547280 HAS SOUS 929053 HAS SOUPS 928431 WITH SCORE 938979.2
AT ITER 2862 NEW BEST:: SOT 13810065 SOS 10546916 HAS SOPS 10545996 HAS SOUS 927915 HAS SOUPS 927293 WITH SCORE 937839.916
AT ITER 2907 NEW BEST:: SOT 13810065 SOS 10529204 HAS SOPS 10528284 HAS SOUS 927916 HAS SOUPS 927294 WITH SCORE 937823.204
AT ITER 2929 NEW BEST:: SOT 13805778 SOS 10524917 HAS SOPS 10523997 HAS SOUS 925355 HAS SOUPS 924733 WITH SCORE 935257.917
AT ITER 2958 NEW BEST:: SOT 13805778 SOS 10524787 HAS SOPS 10523867 HAS SOUS 925290 HAS SOUPS 924668 WITH SCORE 935192.787
AT ITER 2974 NEW BEST:: SOT 13805778 SOS 10524031 HAS SOPS 10523111 HAS SOUS 925290 HAS SOUPS 924668 WITH SCORE 935192.031
AT ITER 2976 NEW BEST:: SOT 13805723 SOS 10523976 HAS SOPS 10523056 HAS SOUS 925235 HAS SOUPS 924613 WITH SCORE 935136.976
AT ITER 2978 NEW BEST:: SOT 13806034 SOS 10524107 HAS SOPS 10523213 HAS SOUS 925085 HAS SOUPS 924489 WITH SCORE 935013.107
AT ITER 2979 NEW BEST:: SOT 13806034 SOS 10524107 HAS SOPS 10523213 HAS SOUS 925055 HAS SOUPS 924459 WITH SCORE 934983.107
AT ITER 2992 NEW BEST:: SOT 13806034 SOS 10516970 HAS SOPS 10516076 HAS SOUS 924990 HAS SOUPS 924394 WITH SCORE 934910.97
AT ITER 3010 NEW BEST:: SOT 13806047 SOS 10516392 HAS SOPS 10515887 HAS SOUS 923399 HAS SOUPS 922945 WITH SCORE 933461.392
AT ITER 3039 NEW BEST:: SOT 13806050 SOS 10516393 HAS SOPS 10515890 HAS SOUS 923259 HAS SOUPS 922806 WITH SCORE 933322.393
AT ITER 3069 NEW BEST:: SOT 13807079 SOS 10517422 HAS SOPS 10516919 HAS SOUS 922605 HAS SOUPS 922152 WITH SCORE 932669.422
AT ITER 3073 NEW BEST:: SOT 13807115 SOS 10537105 HAS SOPS 10536602 HAS SOUS 922574 HAS SOUPS 922121 WITH SCORE 932658.105
AT ITER 3093 NEW BEST:: SOT 13807115 SOS 10523637 HAS SOPS 10523134 HAS SOUS 922392 HAS SOUPS 921939 WITH SCORE 932462.637
AT ITER 3113 NEW BEST:: SOT 13807115 SOS 10523280 HAS SOPS 10522777 HAS SOUS 922341 HAS SOUPS 921888 WITH SCORE 932411.28
AT ITER 3119 NEW BEST:: SOT 13807115 SOS 10523280 HAS SOPS 10522777 HAS SOUS 922323 HAS SOUPS 921870 WITH SCORE 932393.28
AT ITER 3125 NEW BEST:: SOT 13804309 SOS 10520476 HAS SOPS 10519971 HAS SOUS 920447 HAS SOUPS 919993 WITH SCORE 930513.476
AT ITER 3133 NEW BEST:: SOT 13804309 SOS 10520476 HAS SOPS 10519971 HAS SOUS 920444 HAS SOUPS 919990 WITH SCORE 930510.476
AT ITER 3140 NEW BEST:: SOT 13804309 SOS 10519178 HAS SOPS 10518673 HAS SOUS 920332 HAS SOUPS 919878 WITH SCORE 930397.178
AT ITER 3167 NEW BEST:: SOT 13802770 SOS 10517639 HAS SOPS 10517134 HAS SOUS 918233 HAS SOUPS 917779 WITH SCORE 928296.639
AT ITER 3173 NEW BEST:: SOT 13802770 SOS 10517639 HAS SOPS 10517134 HAS SOUS 918227 HAS SOUPS 917773 WITH SCORE 928290.639
AT ITER 3176 NEW BEST:: SOT 13802770 SOS 10505594 HAS SOPS 10505089 HAS SOUS 918062 HAS SOUPS 917608 WITH SCORE 928113.594
AT ITER 3185 NEW BEST:: SOT 13802734 SOS 10507368 HAS SOPS 10506863 HAS SOUS 918014 HAS SOUPS 917560 WITH SCORE 928067.368
AT ITER 3213 NEW BEST:: SOT 13802139 SOS 10506554 HAS SOPS 10506082 HAS SOUS 915323 HAS SOUPS 914902 WITH SCORE 925408.554
AT ITER 3216 NEW BEST:: SOT 13800210 SOS 10504625 HAS SOPS 10504153 HAS SOUS 914055 HAS SOUPS 913634 WITH SCORE 924138.625
AT ITER 3223 NEW BEST:: SOT 13810206 SOS 10514621 HAS SOPS 10514149 HAS SOUS 913378 HAS SOUPS 912957 WITH SCORE 923471.621
AT ITER 3226 NEW BEST:: SOT 13809860 SOS 10514275 HAS SOPS 10513803 HAS SOUS 912686 HAS SOUPS 912265 WITH SCORE 922779.275
AT ITER 3237 NEW BEST:: SOT 13810235 SOS 10514725 HAS SOPS 10514228 HAS SOUS 912045 HAS SOUPS 911599 WITH SCORE 922113.725
AT ITER 3244 NEW BEST:: SOT 13810214 SOS 10514704 HAS SOPS 10514207 HAS SOUS 911974 HAS SOUPS 911528 WITH SCORE 922042.704
AT ITER 3260 NEW BEST:: SOT 13810215 SOS 10514705 HAS SOPS 10514208 HAS SOUS 911954 HAS SOUPS 911508 WITH SCORE 922022.705
AT ITER 3264 NEW BEST:: SOT 13805719 SOS 10510209 HAS SOPS 10509712 HAS SOUS 905642 HAS SOUPS 905196 WITH SCORE 915706.209
AT ITER 3275 NEW BEST:: SOT 13805719 SOS 10509399 HAS SOPS 10508902 HAS SOUS 905620 HAS SOUPS 905174 WITH SCORE 915683.399
AT ITER 3284 NEW BEST:: SOT 13805719 SOS 10509217 HAS SOPS 10508720 HAS SOUS 905529 HAS SOUPS 905083 WITH SCORE 915592.217
AT ITER 3291 NEW BEST:: SOT 13801616 SOS 10505114 HAS SOPS 10504617 HAS SOUS 904332 HAS SOUPS 903886 WITH SCORE 914391.114
AT ITER 3316 NEW BEST:: SOT 13801582 SOS 10505080 HAS SOPS 10504583 HAS SOUS 904298 HAS SOUPS 903852 WITH SCORE 914357.08
AT ITER 3355 NEW BEST:: SOT 13801582 SOS 10496008 HAS SOPS 10495511 HAS SOUS 904298 HAS SOUPS 903852 WITH SCORE 914348.008
AT ITER 3356 NEW BEST:: SOT 13799402 SOS 10493828 HAS SOPS 10493331 HAS SOUS 904272 HAS SOUPS 903826 WITH SCORE 914319.828
AT ITER 3385 NEW BEST:: SOT 13801704 SOS 10496095 HAS SOPS 10495577 HAS SOUS 903421 HAS SOUPS 902954 WITH SCORE 913450.095
AT ITER 3389 NEW BEST:: SOT 13801670 SOS 10496061 HAS SOPS 10495543 HAS SOUS 903353 HAS SOUPS 902886 WITH SCORE 913382.061
AT ITER 3439 NEW BEST:: SOT 13801855 SOS 10496232 HAS SOPS 10495714 HAS SOUS 896740 HAS SOUPS 896273 WITH SCORE 906769.232
AT ITER 3474 NEW BEST:: SOT 13802732 SOS 10497109 HAS SOPS 10496591 HAS SOUS 896014 HAS SOUPS 895547 WITH SCORE 906044.109
AT ITER 3511 NEW BEST:: SOT 13802731 SOS 10497108 HAS SOPS 10496590 HAS SOUS 896011 HAS SOUPS 895544 WITH SCORE 906041.108
AT ITER 3515 NEW BEST:: SOT 13802731 SOS 10487604 HAS SOPS 10487086 HAS SOUS 896011 HAS SOUPS 895544 WITH SCORE 906031.604
AT ITER 3518 NEW BEST:: SOT 13800617 SOS 10485490 HAS SOPS 10484972 HAS SOUS 894432 HAS SOUPS 893965 WITH SCORE 904450.49
AT ITER 3521 NEW BEST:: SOT 13803567 SOS 10488440 HAS SOPS 10487922 HAS SOUS 893152 HAS SOUPS 892685 WITH SCORE 903173.44
AT ITER 3522 NEW BEST:: SOT 13803567 SOS 10487996 HAS SOPS 10487478 HAS SOUS 893146 HAS SOUPS 892679 WITH SCORE 903166.996
AT ITER 3545 NEW BEST:: SOT 13801414 SOS 10485843 HAS SOPS 10485325 HAS SOUS 890902 HAS SOUPS 890435 WITH SCORE 900920.843
AT ITER 3548 NEW BEST:: SOT 13800217 SOS 10484646 HAS SOPS 10484128 HAS SOUS 889705 HAS SOUPS 889238 WITH SCORE 899722.646
AT ITER 3568 NEW BEST:: SOT 13801147 SOS 10485720 HAS SOPS 10485202 HAS SOUS 888458 HAS SOUPS 887991 WITH SCORE 898476.72
AT ITER 3571 NEW BEST:: SOT 13801147 SOS 10485720 HAS SOPS 10485202 HAS SOUS 888455 HAS SOUPS 887988 WITH SCORE 898473.72
AT ITER 3576 NEW BEST:: SOT 13800549 SOS 10485122 HAS SOPS 10484604 HAS SOUS 884675 HAS SOUPS 884208 WITH SCORE 894693.122
AT ITER 3590 NEW BEST:: SOT 13800549 SOS 9925906 HAS SOPS 9925388 HAS SOUS 884675 HAS SOUPS 884208 WITH SCORE 894133.906
AT ITER 3605 NEW BEST:: SOT 13800549 SOS 9925906 HAS SOPS 9925388 HAS SOUS 884671 HAS SOUPS 884204 WITH SCORE 894129.906
AT ITER 3619 NEW BEST:: SOT 13802325 SOS 9927682 HAS SOPS 9927164 HAS SOUS 884054 HAS SOUPS 883587 WITH SCORE 893514.682
AT ITER 3641 NEW BEST:: SOT 13800424 SOS 9925743 HAS SOPS 9925225 HAS SOUS 883491 HAS SOUPS 883024 WITH SCORE 892949.743
AT ITER 3655 NEW BEST:: SOT 13800424 SOS 9925526 HAS SOPS 9925008 HAS SOUS 883460 HAS SOUPS 882993 WITH SCORE 892918.526
AT ITER 3697 NEW BEST:: SOT 13799557 SOS 9924659 HAS SOPS 9924141 HAS SOUS 882795 HAS SOUPS 882328 WITH SCORE 892252.659
AT ITER 3706 NEW BEST:: SOT 13778377 SOS 9902938 HAS SOPS 9902421 HAS SOUS 878716 HAS SOUPS 878249 WITH SCORE 888151.938
AT ITER 3717 NEW BEST:: SOT 13778377 SOS 9894171 HAS SOPS 9893654 HAS SOUS 878716 HAS SOUPS 878249 WITH SCORE 888143.171
AT ITER 3720 NEW BEST:: SOT 13778377 SOS 9894171 HAS SOPS 9893654 HAS SOUS 878701 HAS SOUPS 878234 WITH SCORE 888128.171
AT ITER 3734 NEW BEST:: SOT 13778367 SOS 9894161 HAS SOPS 9893644 HAS SOUS 878653 HAS SOUPS 878186 WITH SCORE 888080.161
AT ITER 3760 NEW BEST:: SOT 13778367 SOS 9891425 HAS SOPS 9890908 HAS SOUS 878653 HAS SOUPS 878186 WITH SCORE 888077.425
AT ITER 3768 NEW BEST:: SOT 13777913 SOS 9890971 HAS SOPS 9890454 HAS SOUS 878199 HAS SOUPS 877732 WITH SCORE 887622.971
AT ITER 3786 NEW BEST:: SOT 13777437 SOS 9890495 HAS SOPS 9889978 HAS SOUS 877805 HAS SOUPS 877338 WITH SCORE 887228.495
AT ITER 3818 NEW BEST:: SOT 13777437 SOS 9890495 HAS SOPS 9889978 HAS SOUS 877781 HAS SOUPS 877314 WITH SCORE 887204.495
AT ITER 3822 NEW BEST:: SOT 13779967 SOS 9893025 HAS SOPS 9892508 HAS SOUS 877694 HAS SOUPS 877227 WITH SCORE 887120.025
AT ITER 3834 NEW BEST:: SOT 13779967 SOS 9882225 HAS SOPS 9881708 HAS SOUS 877694 HAS SOUPS 877227 WITH SCORE 887109.225
AT ITER 3845 NEW BEST:: SOT 13777809 SOS 9879390 HAS SOPS 9878963 HAS SOUS 872897 HAS SOUPS 872520 WITH SCORE 882399.39
AT ITER 3856 NEW BEST:: SOT 13777809 SOS 9870966 HAS SOPS 9870539 HAS SOUS 872897 HAS SOUPS 872520 WITH SCORE 882390.966
AT ITER 3869 NEW BEST:: SOT 13775299 SOS 9868456 HAS SOPS 9868029 HAS SOUS 870067 HAS SOUPS 869690 WITH SCORE 879558.456
AT ITER 3894 NEW BEST:: SOT 13775270 SOS 9868427 HAS SOPS 9868000 HAS SOUS 870038 HAS SOUPS 869661 WITH SCORE 879529.427
AT ITER 3903 NEW BEST:: SOT 13770853 SOS 9864010 HAS SOPS 9863583 HAS SOUS 869438 HAS SOUPS 869061 WITH SCORE 878925.01
AT ITER 3912 NEW BEST:: SOT 13770853 SOS 9863198 HAS SOPS 9862771 HAS SOUS 869322 HAS SOUPS 868945 WITH SCORE 878808.198
AT ITER 3945 NEW BEST:: SOT 13768756 SOS 9860865 HAS SOPS 9860486 HAS SOUS 868268 HAS SOUPS 867915 WITH SCORE 877775.865
AT ITER 3955 NEW BEST:: SOT 13768746 SOS 9860855 HAS SOPS 9860476 HAS SOUS 868258 HAS SOUPS 867905 WITH SCORE 877765.855
AT ITER 3963 NEW BEST:: SOT 13768746 SOS 9860725 HAS SOPS 9860346 HAS SOUS 868193 HAS SOUPS 867840 WITH SCORE 877700.725
AT ITER 3967 NEW BEST:: SOT 13772940 SOS 9864919 HAS SOPS 9864540 HAS SOUS 862927 HAS SOUPS 862574 WITH SCORE 872438.919
AT ITER 3977 NEW BEST:: SOT 13772940 SOS 9864919 HAS SOPS 9864540 HAS SOUS 862881 HAS SOUPS 862528 WITH SCORE 872392.919
AT ITER 4003 NEW BEST:: SOT 13772940 SOS 9854047 HAS SOPS 9853668 HAS SOUS 862885 HAS SOUPS 862532 WITH SCORE 872386.047
AT ITER 4014 NEW BEST:: SOT 13771723 SOS 9852830 HAS SOPS 9852451 HAS SOUS 860451 HAS SOUPS 860098 WITH SCORE 869950.83
AT ITER 4025 NEW BEST:: SOT 13771670 SOS 9852764 HAS SOPS 9852385 HAS SOUS 860385 HAS SOUPS 860032 WITH SCORE 869884.764
AT ITER 4038 NEW BEST:: SOT 13766138 SOS 9847232 HAS SOPS 9846853 HAS SOUS 858124 HAS SOUPS 857771 WITH SCORE 867618.232
AT ITER 4047 NEW BEST:: SOT 13766138 SOS 9847232 HAS SOPS 9846853 HAS SOUS 858123 HAS SOUPS 857770 WITH SCORE 867617.232
AT ITER 4048 NEW BEST:: SOT 13767582 SOS 9848676 HAS SOPS 9848297 HAS SOUS 856176 HAS SOUPS 855823 WITH SCORE 865671.676
AT ITER 4052 NEW BEST:: SOT 13769055 SOS 9850149 HAS SOPS 9849770 HAS SOUS 854953 HAS SOUPS 854600 WITH SCORE 864450.149
AT ITER 4090 NEW BEST:: SOT 13769055 SOS 9851628 HAS SOPS 9851249 HAS SOUS 854931 HAS SOUPS 854578 WITH SCORE 864429.628
AT ITER 4117 NEW BEST:: SOT 13769577 SOS 9852182 HAS SOPS 9851803 HAS SOUS 853319 HAS SOUPS 852966 WITH SCORE 862818.182
AT ITER 4139 NEW BEST:: SOT 13769577 SOS 9857057 HAS SOPS 9856678 HAS SOUS 853244 HAS SOUPS 852891 WITH SCORE 862748.057
AT ITER 4148 NEW BEST:: SOT 13763817 SOS 9850197 HAS SOPS 9849819 HAS SOUS 845551 HAS SOUPS 845199 WITH SCORE 855049.197
AT ITER 4162 NEW BEST:: SOT 13763817 SOS 9850037 HAS SOPS 9849659 HAS SOUS 845249 HAS SOUPS 844897 WITH SCORE 854747.037
AT ITER 4179 NEW BEST:: SOT 13764822 SOS 9851042 HAS SOPS 9850664 HAS SOUS 844247 HAS SOUPS 843895 WITH SCORE 853746.042
AT ITER 4180 NEW BEST:: SOT 13763864 SOS 9850084 HAS SOPS 9849706 HAS SOUS 843213 HAS SOUPS 842861 WITH SCORE 852711.084
AT ITER 4187 NEW BEST:: SOT 13763864 SOS 9851236 HAS SOPS 9850858 HAS SOUS 843125 HAS SOUPS 842773 WITH SCORE 852624.236
AT ITER 4196 NEW BEST:: SOT 13763864 SOS 9851236 HAS SOPS 9850858 HAS SOUS 843099 HAS SOUPS 842747 WITH SCORE 852598.236
AT ITER 4219 NEW BEST:: SOT 13763864 SOS 9852566 HAS SOPS 9852188 HAS SOUS 843080 HAS SOUPS 842728 WITH SCORE 852580.566
AT ITER 4221 NEW BEST:: SOT 13763845 SOS 9852547 HAS SOPS 9852169 HAS SOUS 843080 HAS SOUPS 842728 WITH SCORE 852580.547
AT ITER 4223 NEW BEST:: SOT 13764574 SOS 9853276 HAS SOPS 9852898 HAS SOUS 842217 HAS SOUPS 841865 WITH SCORE 851718.276
AT ITER 4226 NEW BEST:: SOT 13764953 SOS 9853469 HAS SOPS 9853091 HAS SOUS 841240 HAS SOUPS 840888 WITH SCORE 850741.469
AT ITER 4249 NEW BEST:: SOT 13763725 SOS 9852241 HAS SOPS 9851863 HAS SOUS 838975 HAS SOUPS 838623 WITH SCORE 848475.241
AT ITER 4252 NEW BEST:: SOT 13763725 SOS 9843817 HAS SOPS 9843439 HAS SOUS 838975 HAS SOUPS 838623 WITH SCORE 848466.817
AT ITER 4257 NEW BEST:: SOT 13763725 SOS 9836113 HAS SOPS 9835735 HAS SOUS 838975 HAS SOUPS 838623 WITH SCORE 848459.113
AT ITER 4259 NEW BEST:: SOT 13763725 SOS 9835132 HAS SOPS 9834754 HAS SOUS 838756 HAS SOUPS 838404 WITH SCORE 848239.132
AT ITER 4262 NEW BEST:: SOT 13760796 SOS 9832203 HAS SOPS 9831825 HAS SOUS 835611 HAS SOUPS 835259 WITH SCORE 845091.203
AT ITER 4286 NEW BEST:: SOT 13760796 SOS 9596821 HAS SOPS 9596443 HAS SOUS 835555 HAS SOUPS 835203 WITH SCORE 844799.821
AT ITER 4289 NEW BEST:: SOT 13760323 SOS 9600376 HAS SOPS 9599998 HAS SOUS 835357 HAS SOUPS 835005 WITH SCORE 844605.376
AT ITER 4300 NEW BEST:: SOT 13765616 SOS 9605659 HAS SOPS 9605281 HAS SOUS 835330 HAS SOUPS 834978 WITH SCORE 844583.659
AT ITER 4354 NEW BEST:: SOT 13765517 SOS 9605560 HAS SOPS 9605182 HAS SOUS 835259 HAS SOUPS 834907 WITH SCORE 844512.56
AT ITER 4371 NEW BEST:: SOT 13763125 SOS 9605286 HAS SOPS 9604908 HAS SOUS 834054 HAS SOUPS 833702 WITH SCORE 843307.286
AT ITER 4401 NEW BEST:: SOT 13763672 SOS 9605833 HAS SOPS 9605455 HAS SOUS 833798 HAS SOUPS 833446 WITH SCORE 843051.833
AT ITER 4408 NEW BEST:: SOT 13763672 SOS 9604177 HAS SOPS 9603799 HAS SOUS 833754 HAS SOUPS 833402 WITH SCORE 843006.177
AT ITER 4428 NEW BEST:: SOT 13762684 SOS 9603189 HAS SOPS 9602811 HAS SOUS 833515 HAS SOUPS 833163 WITH SCORE 842766.189
AT ITER 4447 NEW BEST:: SOT 13761316 SOS 9601821 HAS SOPS 9601443 HAS SOUS 830842 HAS SOUPS 830490 WITH SCORE 840091.821
AT ITER 4450 NEW BEST:: SOT 13761572 SOS 9602073 HAS SOPS 9601695 HAS SOUS 830217 HAS SOUPS 829865 WITH SCORE 839467.073
AT ITER 4471 NEW BEST:: SOT 13761688 SOS 9593985 HAS SOPS 9593601 HAS SOUS 829234 HAS SOUPS 828882 WITH SCORE 838475.985
AT ITER 4497 NEW BEST:: SOT 13768592 SOS 9600889 HAS SOPS 9600505 HAS SOUS 828284 HAS SOUPS 827932 WITH SCORE 837532.889
AT ITER 4614 NEW BEST:: SOT 13768592 SOS 9600455 HAS SOPS 9600071 HAS SOUS 828222 HAS SOUPS 827870 WITH SCORE 837470.455
AT ITER 4616 NEW BEST:: SOT 13768592 SOS 9600430 HAS SOPS 9600046 HAS SOUS 828146 HAS SOUPS 827794 WITH SCORE 837394.43
AT ITER 4658 NEW BEST:: SOT 13768592 SOS 9600380 HAS SOPS 9599996 HAS SOUS 828145 HAS SOUPS 827793 WITH SCORE 837393.38
AT ITER 4673 NEW BEST:: SOT 13769547 SOS 9601176 HAS SOPS 9600808 HAS SOUS 826200 HAS SOUPS 825864 WITH SCORE 835465.176
AT ITER 4677 NEW BEST:: SOT 13769835 SOS 9601464 HAS SOPS 9601096 HAS SOUS 826044 HAS SOUPS 825708 WITH SCORE 835309.464
AT ITER 4678 NEW BEST:: SOT 13770766 SOS 9602395 HAS SOPS 9602027 HAS SOUS 822724 HAS SOUPS 822388 WITH SCORE 831990.395
AT ITER 4696 NEW BEST:: SOT 13770751 SOS 9602380 HAS SOPS 9602012 HAS SOUS 822699 HAS SOUPS 822363 WITH SCORE 831965.38
AT ITER 4708 NEW BEST:: SOT 13770751 SOS 9600880 HAS SOPS 9600512 HAS SOUS 822674 HAS SOUPS 822338 WITH SCORE 831938.88
AT ITER 4733 NEW BEST:: SOT 13770751 SOS 9588352 HAS SOPS 9587984 HAS SOUS 822674 HAS SOUPS 822338 WITH SCORE 831926.352
AT ITER 4742 NEW BEST:: SOT 13768928 SOS 9586135 HAS SOPS 9585839 HAS SOUS 820819 HAS SOUPS 820529 WITH SCORE 830115.135
AT ITER 4746 NEW BEST:: SOT 13768894 SOS 9586101 HAS SOPS 9585805 HAS SOUS 820785 HAS SOUPS 820495 WITH SCORE 830081.101
AT ITER 4750 NEW BEST:: SOT 13768598 SOS 9585805 HAS SOPS 9585509 HAS SOUS 820046 HAS SOUPS 819756 WITH SCORE 829341.805
AT ITER 4752 NEW BEST:: SOT 13768598 SOS 9585805 HAS SOPS 9585509 HAS SOUS 819929 HAS SOUPS 819639 WITH SCORE 829224.805
AT ITER 4808 NEW BEST:: SOT 13769016 SOS 9586221 HAS SOPS 9585925 HAS SOUS 819906 HAS SOUPS 819616 WITH SCORE 829202.221
AT ITER 4813 NEW BEST:: SOT 13769544 SOS 9589867 HAS SOPS 9589571 HAS SOUS 817999 HAS SOUPS 817709 WITH SCORE 827298.867
AT ITER 4815 NEW BEST:: SOT 13769093 SOS 9589416 HAS SOPS 9589120 HAS SOUS 817089 HAS SOUPS 816799 WITH SCORE 826388.416
AT ITER 4851 NEW BEST:: SOT 13768862 SOS 9589185 HAS SOPS 9588889 HAS SOUS 816846 HAS SOUPS 816556 WITH SCORE 826145.185
AT ITER 4854 NEW BEST:: SOT 13767828 SOS 9588165 HAS SOPS 9587869 HAS SOUS 816344 HAS SOUPS 816054 WITH SCORE 825642.165
AT ITER 4884 NEW BEST:: SOT 13756378 SOS 9576715 HAS SOPS 9576419 HAS SOUS 807774 HAS SOUPS 807484 WITH SCORE 817060.715
AT ITER 4906 NEW BEST:: SOT 13756378 SOS 9572467 HAS SOPS 9572171 HAS SOUS 807774 HAS SOUPS 807484 WITH SCORE 817056.467
AT ITER 4917 NEW BEST:: SOT 13753068 SOS 9569157 HAS SOPS 9568861 HAS SOUS 806526 HAS SOUPS 806236 WITH SCORE 815805.157
AT ITER 4918 NEW BEST:: SOT 13748184 SOS 9564273 HAS SOPS 9563977 HAS SOUS 804428 HAS SOUPS 804138 WITH SCORE 813702.273
AT ITER 4968 NEW BEST:: SOT 13747681 SOS 9563770 HAS SOPS 9563474 HAS SOUS 803392 HAS SOUPS 803102 WITH SCORE 812665.77
AT ITER 4982 NEW BEST:: SOT 13747681 SOS 9563770 HAS SOPS 9563474 HAS SOUS 803350 HAS SOUPS 803060 WITH SCORE 812623.77
AT ITER 4986 NEW BEST:: SOT 13747432 SOS 9563472 HAS SOPS 9563230 HAS SOUS 802813 HAS SOUPS 802577 WITH SCORE 812140.472
AT ITER 5000 NEW BEST:: SOT 13747432 SOS 9563472 HAS SOPS 9563230 HAS SOUS 802741 HAS SOUPS 802505 WITH SCORE 812068.472
AT ITER 5009 NEW BEST:: SOT 13746198 SOS 9562238 HAS SOPS 9561996 HAS SOUS 797983 HAS SOUPS 797747 WITH SCORE 807309.238
AT ITER 5010 NEW BEST:: SOT 13745970 SOS 9562010 HAS SOPS 9561768 HAS SOUS 797141 HAS SOUPS 796905 WITH SCORE 806467.01
AT ITER 5021 NEW BEST:: SOT 13745970 SOS 9633812 HAS SOPS 9633570 HAS SOUS 797052 HAS SOUPS 796816 WITH SCORE 806449.812
AT ITER 5032 NEW BEST:: SOT 13746277 SOS 9634124 HAS SOPS 9633882 HAS SOUS 796890 HAS SOUPS 796654 WITH SCORE 806288.124
AT ITER 5050 NEW BEST:: SOT 13747020 SOS 9634923 HAS SOPS 9634681 HAS SOUS 795941 HAS SOUPS 795705 WITH SCORE 805339.923
AT ITER 5062 NEW BEST:: SOT 13747008 SOS 9634911 HAS SOPS 9634669 HAS SOUS 795660 HAS SOUPS 795424 WITH SCORE 805058.911
AT ITER 5065 NEW BEST:: SOT 13747008 SOS 9634895 HAS SOPS 9634653 HAS SOUS 795582 HAS SOUPS 795346 WITH SCORE 804980.895
AT ITER 5083 NEW BEST:: SOT 13747008 SOS 9633239 HAS SOPS 9632997 HAS SOUS 795559 HAS SOUPS 795323 WITH SCORE 804956.239
AT ITER 5126 NEW BEST:: SOT 13746476 SOS 9632693 HAS SOPS 9632451 HAS SOUS 792872 HAS SOUPS 792636 WITH SCORE 802268.693
AT ITER 5151 NEW BEST:: SOT 13744606 SOS 9630817 HAS SOPS 9630575 HAS SOUS 792613 HAS SOUPS 792377 WITH SCORE 802007.817
AT ITER 5167 NEW BEST:: SOT 13746855 SOS 9633066 HAS SOPS 9632824 HAS SOUS 791714 HAS SOUPS 791478 WITH SCORE 801111.066
AT ITER 5177 NEW BEST:: SOT 13746855 SOS 9634326 HAS SOPS 9634084 HAS SOUS 791696 HAS SOUPS 791460 WITH SCORE 801094.326
AT ITER 5184 NEW BEST:: SOT 13747133 SOS 9634469 HAS SOPS 9634227 HAS SOUS 790448 HAS SOUPS 790212 WITH SCORE 799846.469
AT ITER 5258 NEW BEST:: SOT 13743498 SOS 9630114 HAS SOPS 9629872 HAS SOUS 789110 HAS SOUPS 788874 WITH SCORE 798504.114
AT ITER 5261 NEW BEST:: SOT 13740431 SOS 9624815 HAS SOPS 9624573 HAS SOUS 788795 HAS SOUPS 788559 WITH SCORE 798183.815
AT ITER 5269 NEW BEST:: SOT 13740411 SOS 9624795 HAS SOPS 9624553 HAS SOUS 788775 HAS SOUPS 788539 WITH SCORE 798163.795
AT ITER 5276 NEW BEST:: SOT 13740368 SOS 9621977 HAS SOPS 9621735 HAS SOUS 788622 HAS SOUPS 788386 WITH SCORE 798007.977
AT ITER 5282 NEW BEST:: SOT 13740368 SOS 9621641 HAS SOPS 9621399 HAS SOUS 788493 HAS SOUPS 788257 WITH SCORE 797878.641
AT ITER 5294 NEW BEST:: SOT 13740368 SOS 9608033 HAS SOPS 9607791 HAS SOUS 788493 HAS SOUPS 788257 WITH SCORE 797865.033
AT ITER 5309 NEW BEST:: SOT 13740368 SOS 9605513 HAS SOPS 9605271 HAS SOUS 788493 HAS SOUPS 788257 WITH SCORE 797862.513
AT ITER 5347 NEW BEST:: SOT 13740368 SOS 9602849 HAS SOPS 9602607 HAS SOUS 788493 HAS SOUPS 788257 WITH SCORE 797859.849
AT ITER 5379 NEW BEST:: SOT 13740217 SOS 9600982 HAS SOPS 9600740 HAS SOUS 788040 HAS SOUPS 787804 WITH SCORE 797404.982
AT ITER 5380 NEW BEST:: SOT 13740217 SOS 9596086 HAS SOPS 9595844 HAS SOUS 788040 HAS SOUPS 787804 WITH SCORE 797400.086
AT ITER 5382 NEW BEST:: SOT 13739803 SOS 9595722 HAS SOPS 9595480 HAS SOUS 787552 HAS SOUPS 787316 WITH SCORE 796911.722
AT ITER 5396 NEW BEST:: SOT 13739835 SOS 9595754 HAS SOPS 9595512 HAS SOUS 787519 HAS SOUPS 787283 WITH SCORE 796878.754
AT ITER 5403 NEW BEST:: SOT 13739755 SOS 9595674 HAS SOPS 9595432 HAS SOUS 787413 HAS SOUPS 787177 WITH SCORE 796772.674
AT ITER 5415 NEW BEST:: SOT 13739755 SOS 9599574 HAS SOPS 9599332 HAS SOUS 787353 HAS SOUPS 787117 WITH SCORE 796716.574
AT ITER 5422 NEW BEST:: SOT 13737995 SOS 9597814 HAS SOPS 9597572 HAS SOUS 785871 HAS SOUPS 785635 WITH SCORE 795232.814
AT ITER 5432 NEW BEST:: SOT 13737995 SOS 9596086 HAS SOPS 9595844 HAS SOUS 785871 HAS SOUPS 785635 WITH SCORE 795231.086
AT ITER 5444 NEW BEST:: SOT 13737995 SOS 9595966 HAS SOPS 9595724 HAS SOUS 785795 HAS SOUPS 785559 WITH SCORE 795154.966
AT ITER 5459 NEW BEST:: SOT 13737995 SOS 9595966 HAS SOPS 9595724 HAS SOUS 785746 HAS SOUPS 785510 WITH SCORE 795105.966
AT ITER 5466 NEW BEST:: SOT 13735824 SOS 9590697 HAS SOPS 9590455 HAS SOUS 783517 HAS SOUPS 783281 WITH SCORE 792871.697
AT ITER 5475 NEW BEST:: SOT 13743508 SOS 9598381 HAS SOPS 9598139 HAS SOUS 781013 HAS SOUPS 780777 WITH SCORE 790375.381
AT ITER 5495 NEW BEST:: SOT 13742096 SOS 9596969 HAS SOPS 9596727 HAS SOUS 780348 HAS SOUPS 780112 WITH SCORE 789708.969
AT ITER 5501 NEW BEST:: SOT 13742094 SOS 9596931 HAS SOPS 9596689 HAS SOUS 780344 HAS SOUPS 780108 WITH SCORE 789704.931
AT ITER 5521 NEW BEST:: SOT 13742094 SOS 9593619 HAS SOPS 9593377 HAS SOUS 780344 HAS SOUPS 780108 WITH SCORE 789701.619
AT ITER 5531 NEW BEST:: SOT 13741235 SOS 9592760 HAS SOPS 9592518 HAS SOUS 778614 HAS SOUPS 778378 WITH SCORE 787970.76
AT ITER 5532 NEW BEST:: SOT 13742127 SOS 9593678 HAS SOPS 9593436 HAS SOUS 777885 HAS SOUPS 777649 WITH SCORE 787242.678
AT ITER 5579 NEW BEST:: SOT 13742127 SOS 9595524 HAS SOPS 9595282 HAS SOUS 777859 HAS SOUPS 777623 WITH SCORE 787218.524
AT ITER 5583 NEW BEST:: SOT 13748701 SOS 9602098 HAS SOPS 9601856 HAS SOUS 777391 HAS SOUPS 777155 WITH SCORE 786757.098
AT ITER 5606 NEW BEST:: SOT 13748544 SOS 9601941 HAS SOPS 9601699 HAS SOUS 777279 HAS SOUPS 777043 WITH SCORE 786644.941
AT ITER 5611 NEW BEST:: SOT 13748524 SOS 9601921 HAS SOPS 9601679 HAS SOUS 777271 HAS SOUPS 777035 WITH SCORE 786636.921
AT ITER 5623 NEW BEST:: SOT 13749727 SOS 9603122 HAS SOPS 9602880 HAS SOUS 776099 HAS SOUPS 775863 WITH SCORE 785466.122
AT ITER 5639 NEW BEST:: SOT 13749008 SOS 9602403 HAS SOPS 9602161 HAS SOUS 775151 HAS SOUPS 774915 WITH SCORE 784517.403
AT ITER 5641 NEW BEST:: SOT 13748988 SOS 9602383 HAS SOPS 9602141 HAS SOUS 775131 HAS SOUPS 774895 WITH SCORE 784497.383
AT ITER 5648 NEW BEST:: SOT 13748988 SOS 9519128 HAS SOPS 9518886 HAS SOUS 775103 HAS SOUPS 774867 WITH SCORE 784386.128
AT ITER 5655 NEW BEST:: SOT 13748985 SOS 9519125 HAS SOPS 9518883 HAS SOUS 775103 HAS SOUPS 774867 WITH SCORE 784386.125
AT ITER 5684 NEW BEST:: SOT 13748875 SOS 9519015 HAS SOPS 9518773 HAS SOUS 774915 HAS SOUPS 774679 WITH SCORE 784198.015
AT ITER 5694 NEW BEST:: SOT 13748567 SOS 9518707 HAS SOPS 9518465 HAS SOUS 774677 HAS SOUPS 774441 WITH SCORE 783959.707
AT ITER 5722 NEW BEST:: SOT 13747815 SOS 9517955 HAS SOPS 9517713 HAS SOUS 774144 HAS SOUPS 773908 WITH SCORE 783425.955
AT ITER 5731 NEW BEST:: SOT 13747833 SOS 9517969 HAS SOPS 9517727 HAS SOUS 774079 HAS SOUPS 773843 WITH SCORE 783360.969
AT ITER 5748 NEW BEST:: SOT 13749298 SOS 9519434 HAS SOPS 9519192 HAS SOUS 773815 HAS SOUPS 773579 WITH SCORE 783098.434
AT ITER 5758 NEW BEST:: SOT 13748535 SOS 9518671 HAS SOPS 9518429 HAS SOUS 772174 HAS SOUPS 771938 WITH SCORE 781456.671
AT ITER 5761 NEW BEST:: SOT 13748490 SOS 9518596 HAS SOPS 9518354 HAS SOUS 770674 HAS SOUPS 770438 WITH SCORE 779956.596
AT ITER 5776 NEW BEST:: SOT 13747454 SOS 9529144 HAS SOPS 9528902 HAS SOUS 768571 HAS SOUPS 768335 WITH SCORE 777864.144
AT ITER 5777 NEW BEST:: SOT 13747306 SOS 9528996 HAS SOPS 9528754 HAS SOUS 768270 HAS SOUPS 768034 WITH SCORE 777562.996
AT ITER 5820 NEW BEST:: SOT 13747306 SOS 9528948 HAS SOPS 9528706 HAS SOUS 768246 HAS SOUPS 768010 WITH SCORE 777538.948
AT ITER 5822 NEW BEST:: SOT 13747282 SOS 9528924 HAS SOPS 9528682 HAS SOUS 768222 HAS SOUPS 767986 WITH SCORE 777514.924
AT ITER 5851 NEW BEST:: SOT 13747269 SOS 9528911 HAS SOPS 9528669 HAS SOUS 768183 HAS SOUPS 767947 WITH SCORE 777475.911
AT ITER 5863 NEW BEST:: SOT 13747226 SOS 9528868 HAS SOPS 9528626 HAS SOUS 768156 HAS SOUPS 767920 WITH SCORE 777448.868
AT ITER 5867 NEW BEST:: SOT 13742221 SOS 9530889 HAS SOPS 9530647 HAS SOUS 767534 HAS SOUPS 767298 WITH SCORE 776828.889
AT ITER 5870 NEW BEST:: SOT 13742221 SOS 9392104 HAS SOPS 9391862 HAS SOUS 767411 HAS SOUPS 767175 WITH SCORE 776567.104
AT ITER 5888 NEW BEST:: SOT 13742221 SOS 9396242 HAS SOPS 9396000 HAS SOUS 767351 HAS SOUPS 767115 WITH SCORE 776511.242
AT ITER 5907 NEW BEST:: SOT 13740975 SOS 9394996 HAS SOPS 9394754 HAS SOUS 764816 HAS SOUPS 764580 WITH SCORE 773974.996
AT ITER 5927 NEW BEST:: SOT 13743993 SOS 9398014 HAS SOPS 9397772 HAS SOUS 763546 HAS SOUPS 763310 WITH SCORE 772708.014
AT ITER 5931 NEW BEST:: SOT 13743993 SOS 9399786 HAS SOPS 9399544 HAS SOUS 763371 HAS SOUPS 763135 WITH SCORE 772534.786
AT ITER 5934 NEW BEST:: SOT 13743990 SOS 9399783 HAS SOPS 9399541 HAS SOUS 763368 HAS SOUPS 763132 WITH SCORE 772531.783
AT ITER 5942 NEW BEST:: SOT 13743990 SOS 9399749 HAS SOPS 9399507 HAS SOUS 763351 HAS SOUPS 763115 WITH SCORE 772514.749
AT ITER 5981 NEW BEST:: SOT 13743887 SOS 9399646 HAS SOPS 9399404 HAS SOUS 763112 HAS SOUPS 762876 WITH SCORE 772275.646
AT ITER 5982 NEW BEST:: SOT 13743920 SOS 9396927 HAS SOPS 9396685 HAS SOUS 762881 HAS SOUPS 762645 WITH SCORE 772041.927
AT ITER 6018 NEW BEST:: SOT 13742958 SOS 9396073 HAS SOPS 9395831 HAS SOUS 762497 HAS SOUPS 762261 WITH SCORE 771657.073
AT ITER 6036 NEW BEST:: SOT 13742674 SOS 9395789 HAS SOPS 9395547 HAS SOUS 761919 HAS SOUPS 761683 WITH SCORE 771078.789
AT ITER 6039 NEW BEST:: SOT 13742674 SOS 9395787 HAS SOPS 9395545 HAS SOUS 761917 HAS SOUPS 761681 WITH SCORE 771076.787
AT ITER 6057 NEW BEST:: SOT 13742783 SOS 9397427 HAS SOPS 9397185 HAS SOUS 761749 HAS SOUPS 761513 WITH SCORE 770910.427
AT ITER 6072 NEW BEST:: SOT 13742783 SOS 9396491 HAS SOPS 9396249 HAS SOUS 761749 HAS SOUPS 761513 WITH SCORE 770909.491
AT ITER 6096 NEW BEST:: SOT 13742783 SOS 9395933 HAS SOPS 9395691 HAS SOUS 761749 HAS SOUPS 761513 WITH SCORE 770908.933
AT ITER 6105 NEW BEST:: SOT 13742783 SOS 9394493 HAS SOPS 9394251 HAS SOUS 761749 HAS SOUPS 761513 WITH SCORE 770907.493
AT ITER 6145 NEW BEST:: SOT 13742766 SOS 9394476 HAS SOPS 9394234 HAS SOUS 761732 HAS SOUPS 761496 WITH SCORE 770890.476
AT ITER 6148 NEW BEST:: SOT 13742766 SOS 9394754 HAS SOPS 9394512 HAS SOUS 761726 HAS SOUPS 761490 WITH SCORE 770884.754
AT ITER 6164 NEW BEST:: SOT 13743496 SOS 9395380 HAS SOPS 9395147 HAS SOUS 760904 HAS SOUPS 760677 WITH SCORE 770072.38
AT ITER 6175 NEW BEST:: SOT 13743583 SOS 9395467 HAS SOPS 9395234 HAS SOUS 760782 HAS SOUPS 760555 WITH SCORE 769950.467
AT ITER 6177 NEW BEST:: SOT 13743571 SOS 9395455 HAS SOPS 9395222 HAS SOUS 760770 HAS SOUPS 760543 WITH SCORE 769938.455
AT ITER 6184 NEW BEST:: SOT 13743562 SOS 9395446 HAS SOPS 9395213 HAS SOUS 760761 HAS SOUPS 760534 WITH SCORE 769929.446
AT ITER 6197 NEW BEST:: SOT 13743517 SOS 9395401 HAS SOPS 9395168 HAS SOUS 760716 HAS SOUPS 760489 WITH SCORE 769884.401
AT ITER 6214 NEW BEST:: SOT 13743491 SOS 9395375 HAS SOPS 9395142 HAS SOUS 760657 HAS SOUPS 760430 WITH SCORE 769825.375
AT ITER 6279 NEW BEST:: SOT 13749965 SOS 9401849 HAS SOPS 9401616 HAS SOUS 759196 HAS SOUPS 758969 WITH SCORE 768370.849
AT ITER 6281 NEW BEST:: SOT 13749965 SOS 9401723 HAS SOPS 9401490 HAS SOUS 759042 HAS SOUPS 758815 WITH SCORE 768216.723
AT ITER 6298 NEW BEST:: SOT 13749965 SOS 9401663 HAS SOPS 9401430 HAS SOUS 758982 HAS SOUPS 758755 WITH SCORE 768156.663
AT ITER 6300 NEW BEST:: SOT 13749965 SOS 9401605 HAS SOPS 9401372 HAS SOUS 758953 HAS SOUPS 758726 WITH SCORE 768127.605
AT ITER 6303 NEW BEST:: SOT 13749917 SOS 9401557 HAS SOPS 9401324 HAS SOUS 758894 HAS SOUPS 758667 WITH SCORE 768068.557
AT ITER 6353 NEW BEST:: SOT 13749917 SOS 9402106 HAS SOPS 9401873 HAS SOUS 758885 HAS SOUPS 758658 WITH SCORE 768060.106
AT ITER 6358 NEW BEST:: SOT 13748749 SOS 9400878 HAS SOPS 9400645 HAS SOUS 757982 HAS SOUPS 757755 WITH SCORE 767155.878
AT ITER 6379 NEW BEST:: SOT 13743850 SOS 9395979 HAS SOPS 9395746 HAS SOUS 756017 HAS SOUPS 755790 WITH SCORE 765185.979
AT ITER 6381 NEW BEST:: SOT 13745124 SOS 9397218 HAS SOPS 9396985 HAS SOUS 754769 HAS SOUPS 754542 WITH SCORE 763939.218
AT ITER 6397 NEW BEST:: SOT 13745124 SOS 9394782 HAS SOPS 9394549 HAS SOUS 754769 HAS SOUPS 754542 WITH SCORE 763936.782
AT ITER 6437 NEW BEST:: SOT 13741683 SOS 9391341 HAS SOPS 9391108 HAS SOUS 752040 HAS SOUPS 751813 WITH SCORE 761204.341
AT ITER 6438 NEW BEST:: SOT 13741683 SOS 9385725 HAS SOPS 9385492 HAS SOUS 752040 HAS SOUPS 751813 WITH SCORE 761198.725
AT ITER 6486 NEW BEST:: SOT 13741601 SOS 9385643 HAS SOPS 9385410 HAS SOUS 751971 HAS SOUPS 751744 WITH SCORE 761129.643
AT ITER 6500 NEW BEST:: SOT 13739846 SOS 9383888 HAS SOPS 9383655 HAS SOUS 748515 HAS SOUPS 748288 WITH SCORE 757671.888
AT ITER 6506 NEW BEST:: SOT 13739642 SOS 9383684 HAS SOPS 9383451 HAS SOUS 748038 HAS SOUPS 747811 WITH SCORE 757194.684
AT ITER 6514 NEW BEST:: SOT 13739642 SOS 9385196 HAS SOPS 9384963 HAS SOUS 748017 HAS SOUPS 747790 WITH SCORE 757175.196
AT ITER 6529 NEW BEST:: SOT 13739642 SOS 9385174 HAS SOPS 9384941 HAS SOUS 747955 HAS SOUPS 747728 WITH SCORE 757113.174
AT ITER 6540 NEW BEST:: SOT 13739468 SOS 9385000 HAS SOPS 9384767 HAS SOUS 747418 HAS SOUPS 747191 WITH SCORE 756576.0
AT ITER 6593 NEW BEST:: SOT 13739690 SOS 9385222 HAS SOPS 9384989 HAS SOUS 747048 HAS SOUPS 746821 WITH SCORE 756206.222
AT ITER 6597 NEW BEST:: SOT 13739645 SOS 9385177 HAS SOPS 9384944 HAS SOUS 747003 HAS SOUPS 746776 WITH SCORE 756161.177
AT ITER 6627 NEW BEST:: SOT 13735187 SOS 9382657 HAS SOPS 9382424 HAS SOUS 743070 HAS SOUPS 742843 WITH SCORE 752225.657
AT ITER 6669 NEW BEST:: SOT 13735106 SOS 9382576 HAS SOPS 9382343 HAS SOUS 742929 HAS SOUPS 742702 WITH SCORE 752084.576
AT ITER 6677 NEW BEST:: SOT 13738785 SOS 9386255 HAS SOPS 9386022 HAS SOUS 742239 HAS SOUPS 742012 WITH SCORE 751398.255
AT ITER 6682 NEW BEST:: SOT 13738785 SOS 9386115 HAS SOPS 9385882 HAS SOUS 742169 HAS SOUPS 741942 WITH SCORE 751328.115
AT ITER 6689 NEW BEST:: SOT 13738774 SOS 9386104 HAS SOPS 9385871 HAS SOUS 742088 HAS SOUPS 741861 WITH SCORE 751247.104
AT ITER 6708 NEW BEST:: SOT 13736347 SOS 9383677 HAS SOPS 9383444 HAS SOUS 740143 HAS SOUPS 739916 WITH SCORE 749299.677
AT ITER 6761 NEW BEST:: SOT 13736347 SOS 9382841 HAS SOPS 9382608 HAS SOUS 740105 HAS SOUPS 739878 WITH SCORE 749260.841
AT ITER 6763 NEW BEST:: SOT 13736347 SOS 9382763 HAS SOPS 9382530 HAS SOUS 740051 HAS SOUPS 739824 WITH SCORE 749206.763
AT ITER 6764 NEW BEST:: SOT 13735898 SOS 9382314 HAS SOPS 9382081 HAS SOUS 737738 HAS SOUPS 737511 WITH SCORE 746893.314
AT ITER 6801 NEW BEST:: SOT 13735875 SOS 9382291 HAS SOPS 9382058 HAS SOUS 737715 HAS SOUPS 737488 WITH SCORE 746870.291
AT ITER 6807 NEW BEST:: SOT 13735875 SOS 9382277 HAS SOPS 9382044 HAS SOUS 737708 HAS SOUPS 737481 WITH SCORE 746863.277
AT ITER 6842 NEW BEST:: SOT 13735875 SOS 9382209 HAS SOPS 9381976 HAS SOUS 737619 HAS SOUPS 737392 WITH SCORE 746774.209
AT ITER 6861 NEW BEST:: SOT 13743940 SOS 9390636 HAS SOPS 9390257 HAS SOUS 737027 HAS SOUPS 736700 WITH SCORE 746090.636
AT ITER 6862 NEW BEST:: SOT 13743940 SOS 9389079 HAS SOPS 9388700 HAS SOUS 736998 HAS SOUPS 736671 WITH SCORE 746060.079
AT ITER 6883 NEW BEST:: SOT 13739939 SOS 9385078 HAS SOPS 9384699 HAS SOUS 733690 HAS SOUPS 733363 WITH SCORE 742748.078
AT ITER 6888 NEW BEST:: SOT 13739939 SOS 9384574 HAS SOPS 9384195 HAS SOUS 733690 HAS SOUPS 733363 WITH SCORE 742747.574
AT ITER 6897 NEW BEST:: SOT 13739939 SOS 9383206 HAS SOPS 9382827 HAS SOUS 733690 HAS SOUPS 733363 WITH SCORE 742746.206
AT ITER 6899 NEW BEST:: SOT 13739738 SOS 9383005 HAS SOPS 9382626 HAS SOUS 733280 HAS SOUPS 732953 WITH SCORE 742336.005
AT ITER 6902 NEW BEST:: SOT 13737415 SOS 9395539 HAS SOPS 9395166 HAS SOUS 729401 HAS SOUPS 729074 WITH SCORE 738469.539
AT ITER 6941 NEW BEST:: SOT 13737162 SOS 9395286 HAS SOPS 9394913 HAS SOUS 728889 HAS SOUPS 728562 WITH SCORE 737957.286
AT ITER 6986 NEW BEST:: SOT 13737113 SOS 9395222 HAS SOPS 9394847 HAS SOUS 728812 HAS SOUPS 728483 WITH SCORE 737878.222
AT ITER 7042 NEW BEST:: SOT 13737123 SOS 9396157 HAS SOPS 9395782 HAS SOUS 728807 HAS SOUPS 728478 WITH SCORE 737874.157
AT ITER 7151 NEW BEST:: SOT 13737123 SOS 9400245 HAS SOPS 9399870 HAS SOUS 728802 HAS SOUPS 728473 WITH SCORE 737873.245
AT ITER 7166 NEW BEST:: SOT 13736996 SOS 9400118 HAS SOPS 9399743 HAS SOUS 728537 HAS SOUPS 728208 WITH SCORE 737608.118
AT ITER 7199 NEW BEST:: SOT 13736996 SOS 9399470 HAS SOPS 9399095 HAS SOUS 728537 HAS SOUPS 728208 WITH SCORE 737607.47
AT ITER 7207 NEW BEST:: SOT 13736726 SOS 9399200 HAS SOPS 9398825 HAS SOUS 728015 HAS SOUPS 727686 WITH SCORE 737085.2
AT ITER 7237 NEW BEST:: SOT 13737186 SOS 9403053 HAS SOPS 9402678 HAS SOUS 727432 HAS SOUPS 727103 WITH SCORE 736506.053
AT ITER 7256 NEW BEST:: SOT 13735441 SOS 9401308 HAS SOPS 9400933 HAS SOUS 723963 HAS SOUPS 723634 WITH SCORE 733035.308
AT ITER 7301 NEW BEST:: SOT 13735482 SOS 9351340 HAS SOPS 9350965 HAS SOUS 723963 HAS SOUPS 723634 WITH SCORE 732985.34
AT ITER 7303 NEW BEST:: SOT 13735482 SOS 9351312 HAS SOPS 9350937 HAS SOUS 723935 HAS SOUPS 723606 WITH SCORE 732957.312
AT ITER 7309 NEW BEST:: SOT 13735482 SOS 9351205 HAS SOPS 9350830 HAS SOUS 723910 HAS SOUPS 723581 WITH SCORE 732932.205
AT ITER 7315 NEW BEST:: SOT 13726552 SOS 9340813 HAS SOPS 9340438 HAS SOUS 722571 HAS SOUPS 722242 WITH SCORE 731582.813
AT ITER 7336 NEW BEST:: SOT 13726566 SOS 9340827 HAS SOPS 9340452 HAS SOUS 722570 HAS SOUPS 722241 WITH SCORE 731581.827
AT ITER 7341 NEW BEST:: SOT 13725033 SOS 9339294 HAS SOPS 9338919 HAS SOUS 721712 HAS SOUPS 721383 WITH SCORE 730722.294
AT ITER 7348 NEW BEST:: SOT 13725033 SOS 9339208 HAS SOPS 9338833 HAS SOUS 721669 HAS SOUPS 721340 WITH SCORE 730679.208
AT ITER 7359 NEW BEST:: SOT 13725033 SOS 9339492 HAS SOPS 9339117 HAS SOUS 721621 HAS SOUPS 721292 WITH SCORE 730631.492
AT ITER 7453 NEW BEST:: SOT 13726653 SOS 9341112 HAS SOPS 9340737 HAS SOUS 721148 HAS SOUPS 720819 WITH SCORE 730160.112
AT ITER 7480 NEW BEST:: SOT 13726758 SOS 9341217 HAS SOPS 9340842 HAS SOUS 721053 HAS SOUPS 720724 WITH SCORE 730065.217
AT ITER 7481 NEW BEST:: SOT 13726758 SOS 9340804 HAS SOPS 9340429 HAS SOUS 720962 HAS SOUPS 720633 WITH SCORE 729973.804
AT ITER 7487 NEW BEST:: SOT 13723152 SOS 9337198 HAS SOPS 9336823 HAS SOUS 717158 HAS SOUPS 716829 WITH SCORE 726166.198
AT ITER 7504 NEW BEST:: SOT 13722961 SOS 9337007 HAS SOPS 9336632 HAS SOUS 716919 HAS SOUPS 716590 WITH SCORE 725927.007
AT ITER 7523 NEW BEST:: SOT 13722529 SOS 9336609 HAS SOPS 9336234 HAS SOUS 716149 HAS SOUPS 715820 WITH SCORE 725156.609
AT ITER 7539 NEW BEST:: SOT 13722529 SOS 9336000 HAS SOPS 9335625 HAS SOUS 716062 HAS SOUPS 715733 WITH SCORE 725069.0
AT ITER 7565 NEW BEST:: SOT 13722517 SOS 9335988 HAS SOPS 9335613 HAS SOUS 716054 HAS SOUPS 715725 WITH SCORE 725060.988
AT ITER 7570 NEW BEST:: SOT 13722433 SOS 9335904 HAS SOPS 9335529 HAS SOUS 716007 HAS SOUPS 715678 WITH SCORE 725013.904
AT ITER 7593 NEW BEST:: SOT 13722433 SOS 9333888 HAS SOPS 9333513 HAS SOUS 716007 HAS SOUPS 715678 WITH SCORE 725011.888
AT ITER 7595 NEW BEST:: SOT 13719885 SOS 9331312 HAS SOPS 9330937 HAS SOUS 715492 HAS SOUPS 715163 WITH SCORE 724494.312
AT ITER 7604 NEW BEST:: SOT 13719885 SOS 9330531 HAS SOPS 9330156 HAS SOUS 715423 HAS SOUPS 715094 WITH SCORE 724424.531
AT ITER 7617 NEW BEST:: SOT 13719876 SOS 9330522 HAS SOPS 9330147 HAS SOUS 715417 HAS SOUPS 715088 WITH SCORE 724418.522
AT ITER 7628 NEW BEST:: SOT 13720666 SOS 9331326 HAS SOPS 9330951 HAS SOUS 714824 HAS SOUPS 714495 WITH SCORE 723826.326
AT ITER 7686 NEW BEST:: SOT 13720669 SOS 9331329 HAS SOPS 9330954 HAS SOUS 714782 HAS SOUPS 714453 WITH SCORE 723784.329
AT ITER 7708 NEW BEST:: SOT 13719953 SOS 9330613 HAS SOPS 9330238 HAS SOUS 714030 HAS SOUPS 713701 WITH SCORE 723031.613
AT ITER 7744 NEW BEST:: SOT 13719953 SOS 9330578 HAS SOPS 9330203 HAS SOUS 714025 HAS SOUPS 713696 WITH SCORE 723026.578
AT ITER 7750 NEW BEST:: SOT 13719953 SOS 9330578 HAS SOPS 9330203 HAS SOUS 713959 HAS SOUPS 713630 WITH SCORE 722960.578
AT ITER 7761 NEW BEST:: SOT 13719968 SOS 9330366 HAS SOPS 9329991 HAS SOUS 713952 HAS SOUPS 713623 WITH SCORE 722953.366
AT ITER 7780 NEW BEST:: SOT 13719968 SOS 9330212 HAS SOPS 9329837 HAS SOUS 713945 HAS SOUPS 713616 WITH SCORE 722946.212
AT ITER 7800 NEW BEST:: SOT 13718670 SOS 9328009 HAS SOPS 9327634 HAS SOUS 712901 HAS SOUPS 712572 WITH SCORE 721900.009
AT ITER 7802 NEW BEST:: SOT 13718579 SOS 9327918 HAS SOPS 9327543 HAS SOUS 712824 HAS SOUPS 712495 WITH SCORE 721822.918
AT ITER 7811 NEW BEST:: SOT 13718579 SOS 9325254 HAS SOPS 9324879 HAS SOUS 712824 HAS SOUPS 712495 WITH SCORE 721820.254
AT ITER 7814 NEW BEST:: SOT 13719869 SOS 9326808 HAS SOPS 9326433 HAS SOUS 712509 HAS SOUPS 712180 WITH SCORE 721506.808
AT ITER 7825 NEW BEST:: SOT 13719869 SOS 9326808 HAS SOPS 9326433 HAS SOUS 712505 HAS SOUPS 712176 WITH SCORE 721502.808
AT ITER 7834 NEW BEST:: SOT 13719857 SOS 9326796 HAS SOPS 9326421 HAS SOUS 712457 HAS SOUPS 712128 WITH SCORE 721454.796
AT ITER 7851 NEW BEST:: SOT 13719509 SOS 9326272 HAS SOPS 9325914 HAS SOUS 710343 HAS SOUPS 710031 WITH SCORE 719357.272
AT ITER 7854 NEW BEST:: SOT 13719509 SOS 9324562 HAS SOPS 9324204 HAS SOUS 710343 HAS SOUPS 710031 WITH SCORE 719355.562
AT ITER 7868 NEW BEST:: SOT 13717986 SOS 9323039 HAS SOPS 9322681 HAS SOUS 709157 HAS SOUPS 708845 WITH SCORE 718168.039
AT ITER 7881 NEW BEST:: SOT 13717724 SOS 9322767 HAS SOPS 9322409 HAS SOUS 709065 HAS SOUPS 708753 WITH SCORE 718075.767
AT ITER 7890 NEW BEST:: SOT 13719001 SOS 9324073 HAS SOPS 9323715 HAS SOUS 708953 HAS SOUPS 708641 WITH SCORE 717965.073
AT ITER 7899 NEW BEST:: SOT 13718946 SOS 9324018 HAS SOPS 9323660 HAS SOUS 708417 HAS SOUPS 708105 WITH SCORE 717429.018
AT ITER 8062 NEW BEST:: SOT 13718447 SOS 9323519 HAS SOPS 9323161 HAS SOUS 707890 HAS SOUPS 707578 WITH SCORE 716901.519
AT ITER 8065 NEW BEST:: SOT 13716335 SOS 9321272 HAS SOPS 9320914 HAS SOUS 706289 HAS SOUPS 705977 WITH SCORE 715298.272
AT ITER 8071 NEW BEST:: SOT 13716264 SOS 9321201 HAS SOPS 9320843 HAS SOUS 706236 HAS SOUPS 705924 WITH SCORE 715245.201
AT ITER 8075 NEW BEST:: SOT 13716251 SOS 9321188 HAS SOPS 9320830 HAS SOUS 706235 HAS SOUPS 705923 WITH SCORE 715244.188
AT ITER 8104 NEW BEST:: SOT 13715569 SOS 9320506 HAS SOPS 9320148 HAS SOUS 705688 HAS SOUPS 705376 WITH SCORE 714696.506
AT ITER 8118 NEW BEST:: SOT 13715569 SOS 9320107 HAS SOPS 9319749 HAS SOUS 705631 HAS SOUPS 705319 WITH SCORE 714639.107
AT ITER 8125 NEW BEST:: SOT 13715569 SOS 9319459 HAS SOPS 9319101 HAS SOUS 705631 HAS SOUPS 705319 WITH SCORE 714638.459
AT ITER 8142 NEW BEST:: SOT 13715569 SOS 9318934 HAS SOPS 9318576 HAS SOUS 705546 HAS SOUPS 705234 WITH SCORE 714552.934
AT ITER 8310 NEW BEST:: SOT 13715858 SOS 9319223 HAS SOPS 9318865 HAS SOUS 705296 HAS SOUPS 704984 WITH SCORE 714303.223
AT ITER 8314 NEW BEST:: SOT 13718677 SOS 9322078 HAS SOPS 9321720 HAS SOUS 705237 HAS SOUPS 704925 WITH SCORE 714247.078
AT ITER 8318 NEW BEST:: SOT 13718677 SOS 9322044 HAS SOPS 9321686 HAS SOUS 705220 HAS SOUPS 704908 WITH SCORE 714230.044
AT ITER 8329 NEW BEST:: SOT 13715455 SOS 9318822 HAS SOPS 9318464 HAS SOUS 702703 HAS SOUPS 702391 WITH SCORE 711709.822
AT ITER 8389 NEW BEST:: SOT 13715455 SOS 9318542 HAS SOPS 9318184 HAS SOUS 702693 HAS SOUPS 702381 WITH SCORE 711699.542
AT ITER 8392 NEW BEST:: SOT 13715455 SOS 9317894 HAS SOPS 9317536 HAS SOUS 702693 HAS SOUPS 702381 WITH SCORE 711698.894
AT ITER 8395 NEW BEST:: SOT 13714989 SOS 9317378 HAS SOPS 9317050 HAS SOUS 702583 HAS SOUPS 702281 WITH SCORE 711598.378
AT ITER 8402 NEW BEST:: SOT 13714989 SOS 9319538 HAS SOPS 9319210 HAS SOUS 699715 HAS SOUPS 699413 WITH SCORE 708732.538
AT ITER 8433 NEW BEST:: SOT 13713269 SOS 9317818 HAS SOPS 9317490 HAS SOUS 697939 HAS SOUPS 697637 WITH SCORE 706954.818
AT ITER 8437 NEW BEST:: SOT 13713053 SOS 9317602 HAS SOPS 9317274 HAS SOUS 697770 HAS SOUPS 697468 WITH SCORE 706785.602
AT ITER 8443 NEW BEST:: SOT 13712951 SOS 9317488 HAS SOPS 9317160 HAS SOUS 697657 HAS SOUPS 697355 WITH SCORE 706672.488
AT ITER 8457 NEW BEST:: SOT 13712936 SOS 9317473 HAS SOPS 9317145 HAS SOUS 697612 HAS SOUPS 697310 WITH SCORE 706627.473
AT ITER 8458 NEW BEST:: SOT 13709112 SOS 9312773 HAS SOPS 9312445 HAS SOUS 697235 HAS SOUPS 696933 WITH SCORE 706245.773
AT ITER 8464 NEW BEST:: SOT 13709112 SOS 9313625 HAS SOPS 9313297 HAS SOUS 697207 HAS SOUPS 696905 WITH SCORE 706218.625
AT ITER 8474 NEW BEST:: SOT 13709014 SOS 9313527 HAS SOPS 9313199 HAS SOUS 697132 HAS SOUPS 696830 WITH SCORE 706143.527
AT ITER 8482 NEW BEST:: SOT 13708990 SOS 9313503 HAS SOPS 9313175 HAS SOUS 697108 HAS SOUPS 696806 WITH SCORE 706119.503
AT ITER 8499 NEW BEST:: SOT 13707452 SOS 9311965 HAS SOPS 9311637 HAS SOUS 696435 HAS SOUPS 696133 WITH SCORE 705444.965
AT ITER 8516 NEW BEST:: SOT 13707452 SOS 9311965 HAS SOPS 9311637 HAS SOUS 696313 HAS SOUPS 696011 WITH SCORE 705322.965
AT ITER 8519 NEW BEST:: SOT 13708083 SOS 9311372 HAS SOPS 9311044 HAS SOUS 695200 HAS SOUPS 694898 WITH SCORE 704209.372
AT ITER 8539 NEW BEST:: SOT 13708048 SOS 9311337 HAS SOPS 9311009 HAS SOUS 695165 HAS SOUPS 694863 WITH SCORE 704174.337
AT ITER 8543 NEW BEST:: SOT 13715199 SOS 9318776 HAS SOPS 9318448 HAS SOUS 694962 HAS SOUPS 694660 WITH SCORE 703978.776
AT ITER 8573 NEW BEST:: SOT 13715168 SOS 9318745 HAS SOPS 9318417 HAS SOUS 694931 HAS SOUPS 694629 WITH SCORE 703947.745
AT ITER 8578 NEW BEST:: SOT 13715207 SOS 9318774 HAS SOPS 9318446 HAS SOUS 694921 HAS SOUPS 694619 WITH SCORE 703937.774
AT ITER 8595 NEW BEST:: SOT 13715207 SOS 9318774 HAS SOPS 9318446 HAS SOUS 694920 HAS SOUPS 694618 WITH SCORE 703936.774
AT ITER 8622 NEW BEST:: SOT 13714621 SOS 9318205 HAS SOPS 9317877 HAS SOUS 693810 HAS SOUPS 693508 WITH SCORE 702826.205
AT ITER 8635 NEW BEST:: SOT 13714535 SOS 9318119 HAS SOPS 9317791 HAS SOUS 693727 HAS SOUPS 693425 WITH SCORE 702743.119
AT ITER 8707 NEW BEST:: SOT 13714497 SOS 9318081 HAS SOPS 9317753 HAS SOUS 693697 HAS SOUPS 693395 WITH SCORE 702713.081
AT ITER 8716 NEW BEST:: SOT 13714497 SOS 9315417 HAS SOPS 9315089 HAS SOUS 693697 HAS SOUPS 693395 WITH SCORE 702710.417
AT ITER 8730 NEW BEST:: SOT 13714608 SOS 9315528 HAS SOPS 9315200 HAS SOUS 693680 HAS SOUPS 693378 WITH SCORE 702693.528
AT ITER 8752 NEW BEST:: SOT 13714608 SOS 9315242 HAS SOPS 9314914 HAS SOUS 693667 HAS SOUPS 693365 WITH SCORE 702680.242
AT ITER 8758 NEW BEST:: SOT 13713724 SOS 9325843 HAS SOPS 9325515 HAS SOUS 691393 HAS SOUPS 691091 WITH SCORE 700416.843
AT ITER 8790 NEW BEST:: SOT 13720020 SOS 9332139 HAS SOPS 9331811 HAS SOUS 690770 HAS SOUPS 690468 WITH SCORE 699800.139
AT ITER 8800 NEW BEST:: SOT 13719786 SOS 9331850 HAS SOPS 9331532 HAS SOUS 690111 HAS SOUPS 689819 WITH SCORE 699150.85
AT ITER 8809 NEW BEST:: SOT 13719786 SOS 9331850 HAS SOPS 9331532 HAS SOUS 690081 HAS SOUPS 689789 WITH SCORE 699120.85
AT ITER 8818 NEW BEST:: SOT 13723177 SOS 9334899 HAS SOPS 9334698 HAS SOUS 686891 HAS SOUPS 686690 WITH SCORE 696024.899
AT ITER 8821 NEW BEST:: SOT 13729372 SOS 9341394 HAS SOPS 9341193 HAS SOUS 685818 HAS SOUPS 685617 WITH SCORE 694958.394
AT ITER 8836 NEW BEST:: SOT 13727542 SOS 9339564 HAS SOPS 9339363 HAS SOUS 685342 HAS SOUPS 685141 WITH SCORE 694480.564
AT ITER 8885 NEW BEST:: SOT 13727542 SOS 9338556 HAS SOPS 9338355 HAS SOUS 685342 HAS SOUPS 685141 WITH SCORE 694479.556
AT ITER 8904 NEW BEST:: SOT 13727542 SOS 9337240 HAS SOPS 9337039 HAS SOUS 685295 HAS SOUPS 685094 WITH SCORE 694431.24
AT ITER 8955 NEW BEST:: SOT 13727478 SOS 9337274 HAS SOPS 9337059 HAS SOUS 685231 HAS SOUPS 685016 WITH SCORE 694353.274
AT ITER 8956 NEW BEST:: SOT 13727478 SOS 9336238 HAS SOPS 9336023 HAS SOUS 685194 HAS SOUPS 684979 WITH SCORE 694315.238
AT ITER 8980 NEW BEST:: SOT 13727478 SOS 8682298 HAS SOPS 8682083 HAS SOUS 685294 HAS SOUPS 685079 WITH SCORE 693761.298
AT ITER 9023 NEW BEST:: SOT 13727478 SOS 8681267 HAS SOPS 8681052 HAS SOUS 685201 HAS SOUPS 684986 WITH SCORE 693667.267
AT ITER 9071 NEW BEST:: SOT 13727478 SOS 8680484 HAS SOPS 8680269 HAS SOUS 685066 HAS SOUPS 684851 WITH SCORE 693531.484
AT ITER 9106 NEW BEST:: SOT 13726290 SOS 8679296 HAS SOPS 8679081 HAS SOUS 684102 HAS SOUPS 683887 WITH SCORE 692566.296
AT ITER 9115 NEW BEST:: SOT 13726286 SOS 8679292 HAS SOPS 8679077 HAS SOUS 684064 HAS SOUPS 683849 WITH SCORE 692528.292
AT ITER 9154 NEW BEST:: SOT 13726286 SOS 8686721 HAS SOPS 8686506 HAS SOUS 683000 HAS SOUPS 682785 WITH SCORE 691471.721
AT ITER 9184 NEW BEST:: SOT 13726228 SOS 8686663 HAS SOPS 8686448 HAS SOUS 682881 HAS SOUPS 682666 WITH SCORE 691352.663
AT ITER 9195 NEW BEST:: SOT 13725795 SOS 8686230 HAS SOPS 8686015 HAS SOUS 682488 HAS SOUPS 682273 WITH SCORE 690959.23
AT ITER 9215 NEW BEST:: SOT 13725781 SOS 8686216 HAS SOPS 8686001 HAS SOUS 682474 HAS SOUPS 682259 WITH SCORE 690945.216
AT ITER 9233 NEW BEST:: SOT 13725534 SOS 8685969 HAS SOPS 8685754 HAS SOUS 682272 HAS SOUPS 682057 WITH SCORE 690742.969
AT ITER 9252 NEW BEST:: SOT 13725534 SOS 8685965 HAS SOPS 8685750 HAS SOUS 682270 HAS SOUPS 682055 WITH SCORE 690740.965
AT ITER 9253 NEW BEST:: SOT 13725487 SOS 8685918 HAS SOPS 8685703 HAS SOUS 682250 HAS SOUPS 682035 WITH SCORE 690720.918
AT ITER 9277 NEW BEST:: SOT 13725487 SOS 8687502 HAS SOPS 8687287 HAS SOUS 682228 HAS SOUPS 682013 WITH SCORE 690700.502
AT ITER 9332 NEW BEST:: SOT 13725464 SOS 8685847 HAS SOPS 8685632 HAS SOUS 682182 HAS SOUPS 681967 WITH SCORE 690652.847
AT ITER 9343 NEW BEST:: SOT 13725163 SOS 8685546 HAS SOPS 8685331 HAS SOUS 681772 HAS SOUPS 681557 WITH SCORE 690242.546
AT ITER 9363 NEW BEST:: SOT 13725163 SOS 8685466 HAS SOPS 8685251 HAS SOUS 681732 HAS SOUPS 681517 WITH SCORE 690202.466
AT ITER 9387 NEW BEST:: SOT 13724895 SOS 8685198 HAS SOPS 8684983 HAS SOUS 681532 HAS SOUPS 681317 WITH SCORE 690002.198
AT ITER 9419 NEW BEST:: SOT 13726523 SOS 8686826 HAS SOPS 8686611 HAS SOUS 680760 HAS SOUPS 680545 WITH SCORE 689231.826
AT ITER 9426 NEW BEST:: SOT 13725623 SOS 8685926 HAS SOPS 8685711 HAS SOUS 678929 HAS SOUPS 678714 WITH SCORE 687399.926
AT ITER 9445 NEW BEST:: SOT 13725161 SOS 8685464 HAS SOPS 8685249 HAS SOUS 678467 HAS SOUPS 678252 WITH SCORE 686937.464
AT ITER 9466 NEW BEST:: SOT 13725161 SOS 8685376 HAS SOPS 8685161 HAS SOUS 678423 HAS SOUPS 678208 WITH SCORE 686893.376
AT ITER 9487 NEW BEST:: SOT 13724956 SOS 8685171 HAS SOPS 8684956 HAS SOUS 678273 HAS SOUPS 678058 WITH SCORE 686743.171
AT ITER 9509 NEW BEST:: SOT 13725245 SOS 8687626 HAS SOPS 8687433 HAS SOUS 677525 HAS SOUPS 677332 WITH SCORE 686019.626
AT ITER 9510 NEW BEST:: SOT 13723605 SOS 8685986 HAS SOPS 8685793 HAS SOUS 675840 HAS SOUPS 675647 WITH SCORE 684332.986
AT ITER 9513 NEW BEST:: SOT 13724265 SOS 8686646 HAS SOPS 8686453 HAS SOUS 675783 HAS SOUPS 675590 WITH SCORE 684276.646
AT ITER 9522 NEW BEST:: SOT 13723179 SOS 8685532 HAS SOPS 8685339 HAS SOUS 675022 HAS SOUPS 674829 WITH SCORE 683514.532
AT ITER 9531 NEW BEST:: SOT 13723733 SOS 8686086 HAS SOPS 8685893 HAS SOUS 674638 HAS SOUPS 674445 WITH SCORE 683131.086
AT ITER 9537 NEW BEST:: SOT 13722843 SOS 8685196 HAS SOPS 8685003 HAS SOUS 672563 HAS SOUPS 672370 WITH SCORE 681055.196
AT ITER 9543 NEW BEST:: SOT 13722843 SOS 8685196 HAS SOPS 8685003 HAS SOUS 672535 HAS SOUPS 672342 WITH SCORE 681027.196
AT ITER 9580 NEW BEST:: SOT 13723307 SOS 8685660 HAS SOPS 8685467 HAS SOUS 672470 HAS SOUPS 672277 WITH SCORE 680962.66
AT ITER 9582 NEW BEST:: SOT 13723377 SOS 8685730 HAS SOPS 8685537 HAS SOUS 672456 HAS SOUPS 672263 WITH SCORE 680948.73
AT ITER 9587 NEW BEST:: SOT 13722412 SOS 8684765 HAS SOPS 8684572 HAS SOUS 672195 HAS SOUPS 672002 WITH SCORE 680686.765
AT ITER 9596 NEW BEST:: SOT 13722409 SOS 8684762 HAS SOPS 8684569 HAS SOUS 672186 HAS SOUPS 671993 WITH SCORE 680677.762
AT ITER 9612 NEW BEST:: SOT 13722337 SOS 8684690 HAS SOPS 8684497 HAS SOUS 672114 HAS SOUPS 671921 WITH SCORE 680605.69
AT ITER 9618 NEW BEST:: SOT 13722337 SOS 8686672 HAS SOPS 8686479 HAS SOUS 672066 HAS SOUPS 671873 WITH SCORE 680559.672
AT ITER 9643 NEW BEST:: SOT 13722325 SOS 8686660 HAS SOPS 8686467 HAS SOUS 672054 HAS SOUPS 671861 WITH SCORE 680547.66
AT ITER 9648 NEW BEST:: SOT 13722325 SOS 8682046 HAS SOPS 8681853 HAS SOUS 672054 HAS SOUPS 671861 WITH SCORE 680543.046
AT ITER 9706 NEW BEST:: SOT 13722325 SOS 8681398 HAS SOPS 8681205 HAS SOUS 672054 HAS SOUPS 671861 WITH SCORE 680542.398
AT ITER 9719 NEW BEST:: SOT 13722518 SOS 8681591 HAS SOPS 8681398 HAS SOUS 671892 HAS SOUPS 671699 WITH SCORE 680380.591
AT ITER 9740 NEW BEST:: SOT 13722518 SOS 8681731 HAS SOPS 8681538 HAS SOUS 671801 HAS SOUPS 671608 WITH SCORE 680289.731
AT ITER 9766 NEW BEST:: SOT 13722514 SOS 8681727 HAS SOPS 8681534 HAS SOUS 671797 HAS SOUPS 671604 WITH SCORE 680285.727
AT ITER 9825 NEW BEST:: SOT 13722514 SOS 8681716 HAS SOPS 8681523 HAS SOUS 671786 HAS SOUPS 671593 WITH SCORE 680274.716
AT ITER 9878 NEW BEST:: SOT 13722418 SOS 8681620 HAS SOPS 8681427 HAS SOUS 671755 HAS SOUPS 671562 WITH SCORE 680243.62
AT ITER 9903 NEW BEST:: SOT 13722303 SOS 8681505 HAS SOPS 8681312 HAS SOUS 671563 HAS SOUPS 671370 WITH SCORE 680051.505
AT ITER 9923 NEW BEST:: SOT 13718804 SOS 8678006 HAS SOPS 8677813 HAS SOUS 671560 HAS SOUPS 671367 WITH SCORE 680045.006
AT ITER 9944 NEW BEST:: SOT 13709523 SOS 8668725 HAS SOPS 8668532 HAS SOUS 667927 HAS SOUPS 667734 WITH SCORE 676402.725
AT ITER 9956 NEW BEST:: SOT 13706449 SOS 8665663 HAS SOPS 8665470 HAS SOUS 666002 HAS SOUPS 665809 WITH SCORE 674474.663

BK_STOP 1678470999834

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 164321
double free or corruption (out)
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 468 Aborted ${SMART}/smart ${INPUT_SM}

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-q3m128"
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-q3m128, 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-167813688100376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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