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.r043-tajo-167813696800440.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 smartxred
Input is BugTracking-PT-q8m128, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696800440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.3K Feb 26 06:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 06:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 06:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 06:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 07:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 07:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 07:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 07:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:38 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 1678789402753

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q8m128
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:23:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:23:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:23:25] [INFO ] Load time of PNML (sax parser for PT used): 646 ms
[2023-03-14 10:23:25] [INFO ] Transformed 754 places.
[2023-03-14 10:23:25] [INFO ] Transformed 27370 transitions.
[2023-03-14 10:23:25] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 830 ms.
[2023-03-14 10:23:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 148 ms.
Total runtime 1019 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m128
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12975622 SOS 6053409 HAS SOPS 6048954 HAS SOUS 1656695 HAS SOUPS 1652240 WITH SCORE 1658293.409
AT ITER 3 NEW BEST:: SOT 12973708 SOS 6052205 HAS SOPS 6047750 HAS SOUS 1653178 HAS SOUPS 1648723 WITH SCORE 1654775.205
AT ITER 14 NEW BEST:: SOT 12973708 SOS 6052180 HAS SOPS 6047725 HAS SOUS 1653167 HAS SOUPS 1648712 WITH SCORE 1654764.18
AT ITER 34 NEW BEST:: SOT 12973708 SOS 6049444 HAS SOPS 6044989 HAS SOUS 1653167 HAS SOUPS 1648712 WITH SCORE 1654761.444
AT ITER 35 NEW BEST:: SOT 12970717 SOS 6046453 HAS SOPS 6041998 HAS SOUS 1649542 HAS SOUPS 1645087 WITH SCORE 1651133.453
AT ITER 40 NEW BEST:: SOT 12969516 SOS 6045342 HAS SOPS 6040887 HAS SOUS 1646199 HAS SOUPS 1641744 WITH SCORE 1647789.342
AT ITER 51 NEW BEST:: SOT 12969516 SOS 6042462 HAS SOPS 6038007 HAS SOUS 1646199 HAS SOUPS 1641744 WITH SCORE 1647786.462
AT ITER 53 NEW BEST:: SOT 12969638 SOS 6042650 HAS SOPS 6038227 HAS SOUS 1644304 HAS SOUPS 1639881 WITH SCORE 1645923.65
AT ITER 58 NEW BEST:: SOT 12964426 SOS 6039542 HAS SOPS 6035119 HAS SOUS 1638363 HAS SOUPS 1633940 WITH SCORE 1639979.542
AT ITER 64 NEW BEST:: SOT 12968474 SOS 6043694 HAS SOPS 6039329 HAS SOUS 1637043 HAS SOUPS 1632678 WITH SCORE 1638721.694
AT ITER 69 NEW BEST:: SOT 12968474 SOS 6037574 HAS SOPS 6033209 HAS SOUS 1637043 HAS SOUPS 1632678 WITH SCORE 1638715.574
AT ITER 76 NEW BEST:: SOT 12968474 SOS 6037458 HAS SOPS 6033093 HAS SOUS 1636985 HAS SOUPS 1632620 WITH SCORE 1638657.458
AT ITER 79 NEW BEST:: SOT 12968474 SOS 6034578 HAS SOPS 6030213 HAS SOUS 1636985 HAS SOUPS 1632620 WITH SCORE 1638654.578
AT ITER 89 NEW BEST:: SOT 12970463 SOS 6037347 HAS SOPS 6032982 HAS SOUS 1635190 HAS SOUPS 1630825 WITH SCORE 1636862.347
AT ITER 96 NEW BEST:: SOT 12970622 SOS 6037506 HAS SOPS 6033141 HAS SOUS 1632691 HAS SOUPS 1628326 WITH SCORE 1634363.506
AT ITER 100 NEW BEST:: SOT 12970725 SOS 6037566 HAS SOPS 6033244 HAS SOUS 1623334 HAS SOUPS 1619012 WITH SCORE 1625049.566
AT ITER 105 NEW BEST:: SOT 12968458 SOS 6036331 HAS SOPS 6032009 HAS SOUS 1617018 HAS SOUPS 1612696 WITH SCORE 1618732.331
AT ITER 111 NEW BEST:: SOT 12968458 SOS 6036208 HAS SOPS 6031886 HAS SOUS 1617018 HAS SOUPS 1612696 WITH SCORE 1618732.208
AT ITER 112 NEW BEST:: SOT 12977792 SOS 6045898 HAS SOPS 6041576 HAS SOUS 1615401 HAS SOUPS 1611079 WITH SCORE 1617124.898
AT ITER 113 NEW BEST:: SOT 12977792 SOS 6045898 HAS SOPS 6041576 HAS SOUS 1615396 HAS SOUPS 1611074 WITH SCORE 1617119.898
AT ITER 124 NEW BEST:: SOT 12977271 SOS 6045696 HAS SOPS 6041383 HAS SOUS 1612093 HAS SOUPS 1607780 WITH SCORE 1613825.696
AT ITER 125 NEW BEST:: SOT 12970523 SOS 6037561 HAS SOPS 6031633 HAS SOUS 1606922 HAS SOUPS 1600994 WITH SCORE 1607031.561
AT ITER 127 NEW BEST:: SOT 12970536 SOS 6037578 HAS SOPS 6031664 HAS SOUS 1599833 HAS SOUPS 1593919 WITH SCORE 1599956.578
AT ITER 130 NEW BEST:: SOT 12966270 SOS 6046728 HAS SOPS 6040814 HAS SOUS 1597659 HAS SOUPS 1591745 WITH SCORE 1597791.728
AT ITER 131 NEW BEST:: SOT 12959352 SOS 6041724 HAS SOPS 6035810 HAS SOUS 1589024 HAS SOUPS 1583110 WITH SCORE 1589151.724
AT ITER 137 NEW BEST:: SOT 12962628 SOS 6045004 HAS SOPS 6039097 HAS SOUS 1587931 HAS SOUPS 1582024 WITH SCORE 1588069.004
AT ITER 142 NEW BEST:: SOT 12962628 SOS 6041548 HAS SOPS 6035641 HAS SOUS 1587931 HAS SOUPS 1582024 WITH SCORE 1588065.548
AT ITER 146 NEW BEST:: SOT 12965309 SOS 6044481 HAS SOPS 6038574 HAS SOUS 1586705 HAS SOUPS 1580798 WITH SCORE 1586842.481
AT ITER 149 NEW BEST:: SOT 12965309 SOS 6037425 HAS SOPS 6031518 HAS SOUS 1586705 HAS SOUPS 1580798 WITH SCORE 1586835.425
AT ITER 151 NEW BEST:: SOT 12965309 SOS 6037425 HAS SOPS 6031518 HAS SOUS 1586633 HAS SOUPS 1580726 WITH SCORE 1586763.425
AT ITER 152 NEW BEST:: SOT 12962754 SOS 6034870 HAS SOPS 6028963 HAS SOUS 1583743 HAS SOUPS 1577836 WITH SCORE 1583870.87
AT ITER 155 NEW BEST:: SOT 12961467 SOS 6033583 HAS SOPS 6027676 HAS SOUS 1581154 HAS SOUPS 1575247 WITH SCORE 1581280.583
AT ITER 162 NEW BEST:: SOT 12961207 SOS 6033323 HAS SOPS 6027416 HAS SOUS 1580626 HAS SOUPS 1574719 WITH SCORE 1580752.323
AT ITER 168 NEW BEST:: SOT 12955026 SOS 6026902 HAS SOPS 6020836 HAS SOUS 1580370 HAS SOUPS 1574349 WITH SCORE 1580375.902
AT ITER 194 NEW BEST:: SOT 12955020 SOS 6026841 HAS SOPS 6020830 HAS SOUS 1573611 HAS SOUPS 1567645 WITH SCORE 1573671.841
AT ITER 202 NEW BEST:: SOT 12955361 SOS 6027182 HAS SOPS 6021171 HAS SOUS 1571063 HAS SOUPS 1565097 WITH SCORE 1571124.182
AT ITER 221 NEW BEST:: SOT 12955361 SOS 6026564 HAS SOPS 6020661 HAS SOUS 1570955 HAS SOUPS 1565097 WITH SCORE 1571123.564
AT ITER 225 NEW BEST:: SOT 12944363 SOS 6021180 HAS SOPS 6015277 HAS SOUS 1562801 HAS SOUPS 1556943 WITH SCORE 1562964.18
AT ITER 230 NEW BEST:: SOT 12944363 SOS 6021152 HAS SOPS 6015277 HAS SOUS 1561698 HAS SOUPS 1555868 WITH SCORE 1561889.152
AT ITER 250 NEW BEST:: SOT 12945406 SOS 6022694 HAS SOPS 6016859 HAS SOUS 1559266 HAS SOUPS 1553476 WITH SCORE 1559498.694
AT ITER 256 NEW BEST:: SOT 12953910 SOS 6040231 HAS SOPS 6034435 HAS SOUS 1556513 HAS SOUPS 1550762 WITH SCORE 1556802.231
AT ITER 275 NEW BEST:: SOT 12954055 SOS 6040595 HAS SOPS 6034799 HAS SOUS 1542907 HAS SOUPS 1537156 WITH SCORE 1543196.595
AT ITER 286 NEW BEST:: SOT 12953280 SOS 6039820 HAS SOPS 6034159 HAS SOUS 1540492 HAS SOUPS 1534876 WITH SCORE 1540915.82
AT ITER 288 NEW BEST:: SOT 12951414 SOS 6039767 HAS SOPS 6034105 HAS SOUS 1538897 HAS SOUPS 1533281 WITH SCORE 1539320.767
AT ITER 296 NEW BEST:: SOT 12962599 SOS 6075703 HAS SOPS 6069217 HAS SOUS 1531333 HAS SOUPS 1525526 WITH SCORE 1531601.703
AT ITER 301 NEW BEST:: SOT 12966142 SOS 6079319 HAS SOPS 6072864 HAS SOUS 1530716 HAS SOUPS 1524940 WITH SCORE 1531019.319
AT ITER 309 NEW BEST:: SOT 12856743 SOS 7281942 HAS SOPS 7276555 HAS SOUS 1403059 HAS SOUPS 1398024 WITH SCORE 1405305.942
AT ITER 327 NEW BEST:: SOT 12855598 SOS 7280797 HAS SOPS 7275410 HAS SOUS 1401012 HAS SOUPS 1395977 WITH SCORE 1403257.797
AT ITER 328 NEW BEST:: SOT 12866361 SOS 7293347 HAS SOPS 7287456 HAS SOUS 1388229 HAS SOUPS 1383012 WITH SCORE 1390305.347
AT ITER 333 NEW BEST:: SOT 12863206 SOS 7289958 HAS SOPS 7284067 HAS SOUS 1386887 HAS SOUPS 1381670 WITH SCORE 1388959.958
AT ITER 334 NEW BEST:: SOT 12863206 SOS 7286646 HAS SOPS 7280755 HAS SOUS 1386887 HAS SOUPS 1381670 WITH SCORE 1388956.646
AT ITER 338 NEW BEST:: SOT 12863114 SOS 7283314 HAS SOPS 7277501 HAS SOUS 1386795 HAS SOUPS 1381656 WITH SCORE 1388939.314
AT ITER 345 NEW BEST:: SOT 12860944 SOS 7281144 HAS SOPS 7275331 HAS SOUS 1379440 HAS SOUPS 1374301 WITH SCORE 1381582.144
AT ITER 346 NEW BEST:: SOT 12861079 SOS 7281279 HAS SOPS 7275466 HAS SOUS 1377860 HAS SOUPS 1372721 WITH SCORE 1380002.279
AT ITER 347 NEW BEST:: SOT 12877374 SOS 7300341 HAS SOPS 7293833 HAS SOUS 1367656 HAS SOUPS 1362258 WITH SCORE 1369558.341
AT ITER 349 NEW BEST:: SOT 12877374 SOS 7300161 HAS SOPS 7293653 HAS SOUS 1367611 HAS SOUPS 1362213 WITH SCORE 1369513.161
AT ITER 369 NEW BEST:: SOT 12875475 SOS 7298262 HAS SOPS 7291754 HAS SOUS 1360702 HAS SOUPS 1355304 WITH SCORE 1362602.262
AT ITER 408 NEW BEST:: SOT 12874905 SOS 7297911 HAS SOPS 7291403 HAS SOUS 1359713 HAS SOUPS 1354315 WITH SCORE 1361612.911
AT ITER 412 NEW BEST:: SOT 12878423 SOS 7301519 HAS SOPS 7295046 HAS SOUS 1357797 HAS SOUPS 1352434 WITH SCORE 1359735.519
AT ITER 414 NEW BEST:: SOT 12879836 SOS 7303552 HAS SOPS 7297102 HAS SOUS 1356884 HAS SOUPS 1351544 WITH SCORE 1358847.552
AT ITER 417 NEW BEST:: SOT 12878413 SOS 7302353 HAS SOPS 7295903 HAS SOUS 1353043 HAS SOUPS 1347703 WITH SCORE 1355005.353
AT ITER 418 NEW BEST:: SOT 12878413 SOS 7302353 HAS SOPS 7295903 HAS SOUS 1353025 HAS SOUPS 1347685 WITH SCORE 1354987.353
AT ITER 419 NEW BEST:: SOT 12878015 SOS 7301955 HAS SOPS 7295505 HAS SOUS 1352621 HAS SOUPS 1347281 WITH SCORE 1354582.955
AT ITER 421 NEW BEST:: SOT 12885157 SOS 7309146 HAS SOPS 7302882 HAS SOUS 1346290 HAS SOUPS 1341136 WITH SCORE 1348445.146
AT ITER 423 NEW BEST:: SOT 12890739 SOS 7329644 HAS SOPS 7323380 HAS SOUS 1345828 HAS SOUPS 1340674 WITH SCORE 1348003.644
AT ITER 429 NEW BEST:: SOT 12881679 SOS 7325918 HAS SOPS 7319654 HAS SOUS 1336146 HAS SOUPS 1330992 WITH SCORE 1338317.918
AT ITER 436 NEW BEST:: SOT 12884775 SOS 7340543 HAS SOPS 7334279 HAS SOUS 1334064 HAS SOUPS 1328910 WITH SCORE 1336250.543
AT ITER 450 NEW BEST:: SOT 12884751 SOS 7340519 HAS SOPS 7334255 HAS SOUS 1334040 HAS SOUPS 1328886 WITH SCORE 1336226.519
AT ITER 451 NEW BEST:: SOT 12884751 SOS 7333895 HAS SOPS 7327631 HAS SOUS 1334040 HAS SOUPS 1328886 WITH SCORE 1336219.895
AT ITER 458 NEW BEST:: SOT 12884751 SOS 7333735 HAS SOPS 7327471 HAS SOUS 1333922 HAS SOUPS 1328768 WITH SCORE 1336101.735
AT ITER 460 NEW BEST:: SOT 12885646 SOS 7336646 HAS SOPS 7330578 HAS SOUS 1331767 HAS SOUPS 1326809 WITH SCORE 1334145.646
AT ITER 465 NEW BEST:: SOT 12885715 SOS 7336715 HAS SOPS 7330647 HAS SOUS 1328088 HAS SOUPS 1323130 WITH SCORE 1330466.715
AT ITER 484 NEW BEST:: SOT 12885715 SOS 7332323 HAS SOPS 7326255 HAS SOUS 1328088 HAS SOUPS 1323130 WITH SCORE 1330462.323
AT ITER 497 NEW BEST:: SOT 12889074 SOS 7335860 HAS SOPS 7329792 HAS SOUS 1324986 HAS SOUPS 1320028 WITH SCORE 1327363.86
AT ITER 500 NEW BEST:: SOT 12884339 SOS 7331125 HAS SOPS 7325057 HAS SOUS 1316708 HAS SOUPS 1311750 WITH SCORE 1319081.125
AT ITER 508 NEW BEST:: SOT 12884258 SOS 7330690 HAS SOPS 7324703 HAS SOUS 1316546 HAS SOUPS 1311669 WITH SCORE 1318999.69
AT ITER 513 NEW BEST:: SOT 12892074 SOS 7348516 HAS SOPS 7342599 HAS SOUS 1310331 HAS SOUPS 1305524 WITH SCORE 1312872.516
AT ITER 518 NEW BEST:: SOT 12891116 SOS 7347558 HAS SOPS 7341641 HAS SOUS 1307235 HAS SOUPS 1302428 WITH SCORE 1309775.558
AT ITER 521 NEW BEST:: SOT 12911296 SOS 7367738 HAS SOPS 7361821 HAS SOUS 1304782 HAS SOUPS 1299975 WITH SCORE 1307342.738
AT ITER 523 NEW BEST:: SOT 12911306 SOS 7367752 HAS SOPS 7361883 HAS SOUS 1296495 HAS SOUPS 1291736 WITH SCORE 1299103.752
AT ITER 531 NEW BEST:: SOT 12923652 SOS 7382023 HAS SOPS 7375595 HAS SOUS 1293491 HAS SOUPS 1288559 WITH SCORE 1295941.023
AT ITER 535 NEW BEST:: SOT 12920920 SOS 7379280 HAS SOPS 7372852 HAS SOUS 1290712 HAS SOUPS 1285780 WITH SCORE 1293159.28
AT ITER 536 NEW BEST:: SOT 12920920 SOS 7379208 HAS SOPS 7372780 HAS SOUS 1290712 HAS SOUPS 1285780 WITH SCORE 1293159.208
AT ITER 540 NEW BEST:: SOT 12928878 SOS 7387345 HAS SOPS 7380917 HAS SOUS 1288903 HAS SOUPS 1283971 WITH SCORE 1291358.345
AT ITER 542 NEW BEST:: SOT 12934902 SOS 7393630 HAS SOPS 7387202 HAS SOUS 1281869 HAS SOUPS 1276937 WITH SCORE 1284330.63
AT ITER 543 NEW BEST:: SOT 12938467 SOS 7398140 HAS SOPS 7391712 HAS SOUS 1281062 HAS SOUPS 1276130 WITH SCORE 1283528.14
AT ITER 544 NEW BEST:: SOT 12929654 SOS 7389882 HAS SOPS 7383454 HAS SOUS 1271099 HAS SOUPS 1266167 WITH SCORE 1273556.882
AT ITER 551 NEW BEST:: SOT 12929849 SOS 7390137 HAS SOPS 7383964 HAS SOUS 1270561 HAS SOUPS 1265884 WITH SCORE 1273274.137
AT ITER 552 NEW BEST:: SOT 12927092 SOS 7386939 HAS SOPS 7380910 HAS SOUS 1270278 HAS SOUPS 1265649 WITH SCORE 1273035.939
AT ITER 555 NEW BEST:: SOT 12937549 SOS 7397880 HAS SOPS 7391606 HAS SOUS 1270105 HAS SOUPS 1265392 WITH SCORE 1272789.88
AT ITER 558 NEW BEST:: SOT 12937549 SOS 7389960 HAS SOPS 7383686 HAS SOUS 1270105 HAS SOUPS 1265392 WITH SCORE 1272781.96
AT ITER 559 NEW BEST:: SOT 12937549 SOS 7389794 HAS SOPS 7383520 HAS SOUS 1269975 HAS SOUPS 1265262 WITH SCORE 1272651.794
AT ITER 561 NEW BEST:: SOT 12956816 SOS 7409061 HAS SOPS 7402787 HAS SOUS 1266861 HAS SOUPS 1262148 WITH SCORE 1269557.061
AT ITER 580 NEW BEST:: SOT 12946493 SOS 6399937 HAS SOPS 6392951 HAS SOUS 1254329 HAS SOUPS 1249616 WITH SCORE 1256015.937
AT ITER 586 NEW BEST:: SOT 12946493 SOS 6399897 HAS SOPS 6392911 HAS SOUS 1254255 HAS SOUPS 1249542 WITH SCORE 1255941.897
AT ITER 601 NEW BEST:: SOT 12946378 SOS 6399782 HAS SOPS 6392796 HAS SOUS 1250459 HAS SOUPS 1245746 WITH SCORE 1252145.782
AT ITER 609 NEW BEST:: SOT 12946926 SOS 6395426 HAS SOPS 6388753 HAS SOUS 1241303 HAS SOUPS 1236674 WITH SCORE 1243069.426
AT ITER 611 NEW BEST:: SOT 12946905 SOS 6395261 HAS SOPS 6388588 HAS SOUS 1241271 HAS SOUPS 1236642 WITH SCORE 1243037.261
AT ITER 614 NEW BEST:: SOT 12946905 SOS 6394253 HAS SOPS 6387580 HAS SOUS 1241271 HAS SOUPS 1236642 WITH SCORE 1243036.253
AT ITER 622 NEW BEST:: SOT 12946905 SOS 6393533 HAS SOPS 6386860 HAS SOUS 1241271 HAS SOUPS 1236642 WITH SCORE 1243035.533
AT ITER 623 NEW BEST:: SOT 12947865 SOS 6394493 HAS SOPS 6387820 HAS SOUS 1238025 HAS SOUPS 1233396 WITH SCORE 1239790.493
AT ITER 654 NEW BEST:: SOT 12950065 SOS 6407650 HAS SOPS 6400602 HAS SOUS 1236146 HAS SOUPS 1231442 WITH SCORE 1237849.65
AT ITER 664 NEW BEST:: SOT 12951477 SOS 6410219 HAS SOPS 6403216 HAS SOUS 1233834 HAS SOUPS 1229175 WITH SCORE 1235585.219
AT ITER 666 NEW BEST:: SOT 12948684 SOS 6407426 HAS SOPS 6400423 HAS SOUS 1228275 HAS SOUPS 1223616 WITH SCORE 1230023.426
AT ITER 668 NEW BEST:: SOT 12948684 SOS 6407426 HAS SOPS 6400423 HAS SOUS 1228272 HAS SOUPS 1223613 WITH SCORE 1230020.426
AT ITER 671 NEW BEST:: SOT 12947023 SOS 6405765 HAS SOPS 6398762 HAS SOUS 1220095 HAS SOUPS 1215436 WITH SCORE 1221841.765
AT ITER 672 NEW BEST:: SOT 12947869 SOS 6406611 HAS SOPS 6399608 HAS SOUS 1219245 HAS SOUPS 1214586 WITH SCORE 1220992.611
AT ITER 681 NEW BEST:: SOT 12960843 SOS 6420741 HAS SOPS 6413738 HAS SOUS 1216221 HAS SOUPS 1211562 WITH SCORE 1217982.741
AT ITER 695 NEW BEST:: SOT 12960843 SOS 6411165 HAS SOPS 6404162 HAS SOUS 1216221 HAS SOUPS 1211562 WITH SCORE 1217973.165
AT ITER 700 NEW BEST:: SOT 12960843 SOS 6405981 HAS SOPS 6398978 HAS SOUS 1216221 HAS SOUPS 1211562 WITH SCORE 1217967.981
AT ITER 706 NEW BEST:: SOT 12981358 SOS 6436669 HAS SOPS 6430373 HAS SOUS 1202417 HAS SOUPS 1198216 WITH SCORE 1204652.669
AT ITER 709 NEW BEST:: SOT 12985818 SOS 6441365 HAS SOPS 6435069 HAS SOUS 1198971 HAS SOUPS 1194770 WITH SCORE 1201211.365
AT ITER 720 NEW BEST:: SOT 12985847 SOS 6441394 HAS SOPS 6435098 HAS SOUS 1198939 HAS SOUPS 1194738 WITH SCORE 1201179.394
AT ITER 722 NEW BEST:: SOT 12987466 SOS 6443024 HAS SOPS 6436728 HAS SOUS 1198705 HAS SOUPS 1194504 WITH SCORE 1200947.024
AT ITER 731 NEW BEST:: SOT 12987449 SOS 6443007 HAS SOPS 6436711 HAS SOUS 1198688 HAS SOUPS 1194487 WITH SCORE 1200930.007
AT ITER 738 NEW BEST:: SOT 12988588 SOS 6444146 HAS SOPS 6437882 HAS SOUS 1198670 HAS SOUPS 1194469 WITH SCORE 1200913.146
AT ITER 747 NEW BEST:: SOT 12988588 SOS 6441266 HAS SOPS 6435002 HAS SOUS 1198670 HAS SOUPS 1194469 WITH SCORE 1200910.266
AT ITER 749 NEW BEST:: SOT 13016373 SOS 6483644 HAS SOPS 6477380 HAS SOUS 1188071 HAS SOUPS 1183870 WITH SCORE 1190353.644
AT ITER 750 NEW BEST:: SOT 13026347 SOS 6495438 HAS SOPS 6489538 HAS SOUS 1184875 HAS SOUPS 1180685 WITH SCORE 1187180.438
AT ITER 752 NEW BEST:: SOT 13027044 SOS 6496135 HAS SOPS 6490235 HAS SOUS 1182977 HAS SOUPS 1178787 WITH SCORE 1185283.135
AT ITER 754 NEW BEST:: SOT 13031814 SOS 6512012 HAS SOPS 6506112 HAS SOUS 1176754 HAS SOUPS 1172564 WITH SCORE 1179076.012
AT ITER 757 NEW BEST:: SOT 13035311 SOS 6501500 HAS SOPS 6496650 HAS SOUS 1171153 HAS SOUPS 1167199 WITH SCORE 1173700.5
AT ITER 760 NEW BEST:: SOT 13036684 SOS 6503125 HAS SOPS 6498275 HAS SOUS 1170989 HAS SOUPS 1167035 WITH SCORE 1173538.125
AT ITER 763 NEW BEST:: SOT 13036016 SOS 6502457 HAS SOPS 6497607 HAS SOUS 1166563 HAS SOUPS 1162609 WITH SCORE 1169111.457
AT ITER 767 NEW BEST:: SOT 13035911 SOS 6513262 HAS SOPS 6508328 HAS SOUS 1159797 HAS SOUPS 1155759 WITH SCORE 1162272.262
AT ITER 772 NEW BEST:: SOT 13040738 SOS 6518769 HAS SOPS 6513835 HAS SOUS 1148411 HAS SOUPS 1144373 WITH SCORE 1150891.769
AT ITER 795 NEW BEST:: SOT 13045142 SOS 6523173 HAS SOPS 6518239 HAS SOUS 1145348 HAS SOUPS 1141310 WITH SCORE 1147833.173
AT ITER 812 NEW BEST:: SOT 13045142 SOS 6522813 HAS SOPS 6517879 HAS SOUS 1145348 HAS SOUPS 1141310 WITH SCORE 1147832.813
AT ITER 814 NEW BEST:: SOT 13046717 SOS 6524388 HAS SOPS 6519454 HAS SOUS 1143304 HAS SOUPS 1139266 WITH SCORE 1145790.388
AT ITER 820 NEW BEST:: SOT 13046427 SOS 6524058 HAS SOPS 6519124 HAS SOUS 1143270 HAS SOUPS 1139232 WITH SCORE 1145756.058
AT ITER 823 NEW BEST:: SOT 13044200 SOS 6521831 HAS SOPS 6516897 HAS SOUS 1132797 HAS SOUPS 1128759 WITH SCORE 1135280.831
AT ITER 826 NEW BEST:: SOT 13055817 SOS 6550089 HAS SOPS 6544583 HAS SOUS 1122930 HAS SOUPS 1118724 WITH SCORE 1125274.089
AT ITER 858 NEW BEST:: SOT 13055817 SOS 6550089 HAS SOPS 6544583 HAS SOUS 1122900 HAS SOUPS 1118694 WITH SCORE 1125244.089
AT ITER 861 NEW BEST:: SOT 13053952 SOS 6548224 HAS SOPS 6542718 HAS SOUS 1121271 HAS SOUPS 1117065 WITH SCORE 1123613.224
AT ITER 876 NEW BEST:: SOT 13071621 SOS 6585737 HAS SOPS 6581187 HAS SOUS 1116860 HAS SOUPS 1113155 WITH SCORE 1119740.737
AT ITER 878 NEW BEST:: SOT 13062567 SOS 6576683 HAS SOPS 6572133 HAS SOUS 1108375 HAS SOUPS 1104670 WITH SCORE 1111246.683
AT ITER 879 NEW BEST:: SOT 13061348 SOS 6575262 HAS SOPS 6570754 HAS SOUS 1105860 HAS SOUPS 1102197 WITH SCORE 1108772.262
AT ITER 882 NEW BEST:: SOT 13057593 SOS 6571507 HAS SOPS 6566999 HAS SOUS 1104769 HAS SOUPS 1101106 WITH SCORE 1107677.507
AT ITER 902 NEW BEST:: SOT 13057593 SOS 6563155 HAS SOPS 6558647 HAS SOUS 1104769 HAS SOUPS 1101106 WITH SCORE 1107669.155
AT ITER 909 NEW BEST:: SOT 13056486 SOS 6555182 HAS SOPS 6550048 HAS SOUS 1102909 HAS SOUPS 1098777 WITH SCORE 1105332.182
AT ITER 910 NEW BEST:: SOT 13072189 SOS 6575649 HAS SOPS 6570575 HAS SOUS 1102731 HAS SOUPS 1098659 WITH SCORE 1105234.649
AT ITER 913 NEW BEST:: SOT 13065474 SOS 6574383 HAS SOPS 6569309 HAS SOUS 1095357 HAS SOUPS 1091285 WITH SCORE 1097859.383
AT ITER 945 NEW BEST:: SOT 13065474 SOS 6574023 HAS SOPS 6568949 HAS SOUS 1095357 HAS SOUPS 1091285 WITH SCORE 1097859.023
AT ITER 949 NEW BEST:: SOT 13065806 SOS 6574470 HAS SOPS 6569373 HAS SOUS 1094424 HAS SOUPS 1090329 WITH SCORE 1096903.47
AT ITER 951 NEW BEST:: SOT 13064309 SOS 6572330 HAS SOPS 6567233 HAS SOUS 1092765 HAS SOUPS 1088670 WITH SCORE 1095242.33
AT ITER 972 NEW BEST:: SOT 13064284 SOS 6572305 HAS SOPS 6567208 HAS SOUS 1092740 HAS SOUPS 1088645 WITH SCORE 1095217.305
AT ITER 982 NEW BEST:: SOT 13070878 SOS 6578899 HAS SOPS 6573802 HAS SOUS 1077254 HAS SOUPS 1073159 WITH SCORE 1079737.899
AT ITER 999 NEW BEST:: SOT 13070878 SOS 6590929 HAS SOPS 6585832 HAS SOUS 1075092 HAS SOUPS 1070997 WITH SCORE 1077587.929
AT ITER 1007 NEW BEST:: SOT 13070276 SOS 6590327 HAS SOPS 6585230 HAS SOUS 1073869 HAS SOUPS 1069774 WITH SCORE 1076364.327
AT ITER 1008 NEW BEST:: SOT 13070276 SOS 6589679 HAS SOPS 6584582 HAS SOUS 1073869 HAS SOUPS 1069774 WITH SCORE 1076363.679
AT ITER 1011 NEW BEST:: SOT 13070110 SOS 6589513 HAS SOPS 6584416 HAS SOUS 1073415 HAS SOUPS 1069320 WITH SCORE 1075909.513
AT ITER 1015 NEW BEST:: SOT 13070110 SOS 6586849 HAS SOPS 6581752 HAS SOUS 1073415 HAS SOUPS 1069320 WITH SCORE 1075906.849
AT ITER 1023 NEW BEST:: SOT 13067609 SOS 6584348 HAS SOPS 6579251 HAS SOUS 1068523 HAS SOUPS 1064428 WITH SCORE 1071012.348
AT ITER 1025 NEW BEST:: SOT 13068736 SOS 6585475 HAS SOPS 6580378 HAS SOUS 1068346 HAS SOUPS 1064251 WITH SCORE 1070836.475
AT ITER 1051 NEW BEST:: SOT 13068682 SOS 6585421 HAS SOPS 6580324 HAS SOUS 1068218 HAS SOUPS 1064123 WITH SCORE 1070708.421
AT ITER 1060 NEW BEST:: SOT 13076777 SOS 6603434 HAS SOPS 6598355 HAS SOUS 1061998 HAS SOUPS 1057921 WITH SCORE 1064524.434
AT ITER 1085 NEW BEST:: SOT 13073096 SOS 6599748 HAS SOPS 6594669 HAS SOUS 1054163 HAS SOUPS 1050086 WITH SCORE 1056685.748
AT ITER 1088 NEW BEST:: SOT 13076293 SOS 6603047 HAS SOPS 6598025 HAS SOUS 1052024 HAS SOUPS 1048004 WITH SCORE 1054607.047
AT ITER 1100 NEW BEST:: SOT 13074418 SOS 6601172 HAS SOPS 6596150 HAS SOUS 1049457 HAS SOUPS 1045437 WITH SCORE 1052038.172
AT ITER 1108 NEW BEST:: SOT 13074418 SOS 6600888 HAS SOPS 6595866 HAS SOUS 1049386 HAS SOUPS 1045366 WITH SCORE 1051966.888
AT ITER 1116 NEW BEST:: SOT 13071917 SOS 6599507 HAS SOPS 6594565 HAS SOUS 1048142 HAS SOUPS 1044122 WITH SCORE 1050721.507
AT ITER 1125 NEW BEST:: SOT 13071182 SOS 6598772 HAS SOPS 6593830 HAS SOUS 1046692 HAS SOUPS 1042672 WITH SCORE 1049270.772
AT ITER 1129 NEW BEST:: SOT 13071498 SOS 6598982 HAS SOPS 6593957 HAS SOUS 1045237 HAS SOUPS 1041148 WITH SCORE 1047746.982
AT ITER 1131 NEW BEST:: SOT 13070981 SOS 6598465 HAS SOPS 6593440 HAS SOUS 1040093 HAS SOUPS 1036004 WITH SCORE 1042602.465
AT ITER 1134 NEW BEST:: SOT 13072284 SOS 6599768 HAS SOPS 6594743 HAS SOUS 1033060 HAS SOUPS 1028971 WITH SCORE 1035570.768
AT ITER 1136 NEW BEST:: SOT 13070299 SOS 6597783 HAS SOPS 6592758 HAS SOUS 1029439 HAS SOUPS 1025350 WITH SCORE 1031947.783
AT ITER 1138 NEW BEST:: SOT 13072377 SOS 6604057 HAS SOPS 6599132 HAS SOUS 1025087 HAS SOUPS 1021098 WITH SCORE 1027702.057
AT ITER 1147 NEW BEST:: SOT 13065822 SOS 6609768 HAS SOPS 6604843 HAS SOUS 1017609 HAS SOUPS 1013620 WITH SCORE 1020229.768
AT ITER 1148 NEW BEST:: SOT 13065759 SOS 6609705 HAS SOPS 6604780 HAS SOUS 1017482 HAS SOUPS 1013493 WITH SCORE 1020102.705
AT ITER 1149 NEW BEST:: SOT 13056995 SOS 6596693 HAS SOPS 6591768 HAS SOUS 1009754 HAS SOUPS 1005765 WITH SCORE 1012361.693
AT ITER 1155 NEW BEST:: SOT 13056995 SOS 6596579 HAS SOPS 6591654 HAS SOUS 1009697 HAS SOUPS 1005708 WITH SCORE 1012304.579
AT ITER 1160 NEW BEST:: SOT 13056995 SOS 6596579 HAS SOPS 6591654 HAS SOUS 1009677 HAS SOUPS 1005688 WITH SCORE 1012284.579
AT ITER 1163 NEW BEST:: SOT 13057014 SOS 6596598 HAS SOPS 6591673 HAS SOUS 1009599 HAS SOUPS 1005610 WITH SCORE 1012206.598
AT ITER 1170 NEW BEST:: SOT 13057014 SOS 6593790 HAS SOPS 6588865 HAS SOUS 1009599 HAS SOUPS 1005610 WITH SCORE 1012203.79
AT ITER 1177 NEW BEST:: SOT 13057014 SOS 6593332 HAS SOPS 6588517 HAS SOUS 1009487 HAS SOUPS 1005608 WITH SCORE 1012201.332
AT ITER 1183 NEW BEST:: SOT 13056635 SOS 6592953 HAS SOPS 6588138 HAS SOUS 1006686 HAS SOUPS 1002807 WITH SCORE 1009399.953
AT ITER 1184 NEW BEST:: SOT 13063654 SOS 6600232 HAS SOPS 6595417 HAS SOUS 1005534 HAS SOUPS 1001655 WITH SCORE 1008255.232
AT ITER 1188 NEW BEST:: SOT 13063089 SOS 6599639 HAS SOPS 6594824 HAS SOUS 1005020 HAS SOUPS 1001141 WITH SCORE 1007740.639
AT ITER 1193 NEW BEST:: SOT 13063448 SOS 6599998 HAS SOPS 6595183 HAS SOUS 1003404 HAS SOUPS 999525 WITH SCORE 1006124.998
AT ITER 1199 NEW BEST:: SOT 13063432 SOS 6599982 HAS SOPS 6595167 HAS SOUS 1003388 HAS SOUPS 999509 WITH SCORE 1006108.982
AT ITER 1232 NEW BEST:: SOT 13066181 SOS 6602905 HAS SOPS 6598090 HAS SOUS 999965 HAS SOUPS 996086 WITH SCORE 1002688.905
AT ITER 1236 NEW BEST:: SOT 13072195 SOS 6609452 HAS SOPS 6604754 HAS SOUS 998885 HAS SOUPS 995006 WITH SCORE 1001615.452
AT ITER 1237 NEW BEST:: SOT 13072195 SOS 6609468 HAS SOPS 6604770 HAS SOUS 998869 HAS SOUPS 994990 WITH SCORE 1001599.468
AT ITER 1252 NEW BEST:: SOT 13064911 SOS 6606098 HAS SOPS 6601400 HAS SOUS 993068 HAS SOUPS 989189 WITH SCORE 995795.098
AT ITER 1253 NEW BEST:: SOT 13064911 SOS 6602354 HAS SOPS 6597656 HAS SOUS 993068 HAS SOUPS 989189 WITH SCORE 995791.354
AT ITER 1258 NEW BEST:: SOT 13063799 SOS 6599693 HAS SOPS 6594995 HAS SOUS 992557 HAS SOUPS 988678 WITH SCORE 995277.693
AT ITER 1261 NEW BEST:: SOT 13063799 SOS 6604848 HAS SOPS 6600150 HAS SOUS 992551 HAS SOUPS 988672 WITH SCORE 995276.848
AT ITER 1269 NEW BEST:: SOT 13063799 SOS 6604738 HAS SOPS 6600040 HAS SOUS 992496 HAS SOUPS 988617 WITH SCORE 995221.738
AT ITER 1270 NEW BEST:: SOT 13058491 SOS 6599430 HAS SOPS 6594732 HAS SOUS 987574 HAS SOUPS 983695 WITH SCORE 990294.43
AT ITER 1288 NEW BEST:: SOT 13058090 SOS 6599029 HAS SOPS 6594331 HAS SOUS 986564 HAS SOUPS 982685 WITH SCORE 989284.029
AT ITER 1310 NEW BEST:: SOT 13058090 SOS 6594277 HAS SOPS 6589579 HAS SOUS 986564 HAS SOUPS 982685 WITH SCORE 989279.277
AT ITER 1330 NEW BEST:: SOT 13058090 SOS 6594290 HAS SOPS 6589579 HAS SOUS 986564 HAS SOUPS 982672 WITH SCORE 989266.29
AT ITER 1335 NEW BEST:: SOT 13058090 SOS 6593402 HAS SOPS 6588691 HAS SOUS 986552 HAS SOUPS 982660 WITH SCORE 989253.402
AT ITER 1341 NEW BEST:: SOT 13058090 SOS 6591723 HAS SOPS 6587012 HAS SOUS 986552 HAS SOUPS 982660 WITH SCORE 989251.723
AT ITER 1344 NEW BEST:: SOT 13056783 SOS 6590101 HAS SOPS 6585435 HAS SOUS 985287 HAS SOUPS 981440 WITH SCORE 988030.101
AT ITER 1345 NEW BEST:: SOT 13056603 SOS 6589921 HAS SOPS 6585255 HAS SOUS 984921 HAS SOUPS 981074 WITH SCORE 987663.921
AT ITER 1346 NEW BEST:: SOT 13054211 SOS 6587529 HAS SOPS 6582863 HAS SOUS 979990 HAS SOUPS 976143 WITH SCORE 982730.529
AT ITER 1355 NEW BEST:: SOT 13054196 SOS 6587514 HAS SOPS 6582848 HAS SOUS 979988 HAS SOUPS 976141 WITH SCORE 982728.514
AT ITER 1368 NEW BEST:: SOT 13054200 SOS 6587518 HAS SOPS 6582852 HAS SOUS 979976 HAS SOUPS 976129 WITH SCORE 982716.518
AT ITER 1379 NEW BEST:: SOT 13054748 SOS 6572191 HAS SOPS 6568106 HAS SOUS 974247 HAS SOUPS 970702 WITH SCORE 977274.191
AT ITER 1398 NEW BEST:: SOT 13054748 SOS 6559375 HAS SOPS 6555290 HAS SOUS 974247 HAS SOUPS 970702 WITH SCORE 977261.375
AT ITER 1411 NEW BEST:: SOT 13067397 SOS 6573048 HAS SOPS 6568963 HAS SOUS 970512 HAS SOUPS 966967 WITH SCORE 973540.048
AT ITER 1416 NEW BEST:: SOT 13069969 SOS 6575620 HAS SOPS 6571535 HAS SOUS 970236 HAS SOUPS 966691 WITH SCORE 973266.62
AT ITER 1429 NEW BEST:: SOT 13069969 SOS 6577193 HAS SOPS 6573108 HAS SOUS 969687 HAS SOUPS 966142 WITH SCORE 972719.193
AT ITER 1442 NEW BEST:: SOT 13069969 SOS 6576745 HAS SOPS 6572730 HAS SOUS 969617 HAS SOUPS 966142 WITH SCORE 972718.745
AT ITER 1453 NEW BEST:: SOT 13069940 SOS 6576716 HAS SOPS 6572701 HAS SOUS 969537 HAS SOUPS 966062 WITH SCORE 972638.716
AT ITER 1456 NEW BEST:: SOT 13069940 SOS 6573116 HAS SOPS 6569101 HAS SOUS 969537 HAS SOUPS 966062 WITH SCORE 972635.116
AT ITER 1476 NEW BEST:: SOT 13069940 SOS 6564764 HAS SOPS 6560749 HAS SOUS 969537 HAS SOUPS 966062 WITH SCORE 972626.764
AT ITER 1499 NEW BEST:: SOT 13074583 SOS 6573773 HAS SOPS 6569892 HAS SOUS 964197 HAS SOUPS 960856 WITH SCORE 967429.773
AT ITER 1506 NEW BEST:: SOT 13073613 SOS 6572803 HAS SOPS 6568922 HAS SOUS 962227 HAS SOUPS 958886 WITH SCORE 965458.803
AT ITER 1518 NEW BEST:: SOT 13072881 SOS 6572071 HAS SOPS 6568190 HAS SOUS 960559 HAS SOUPS 957218 WITH SCORE 963790.071
AT ITER 1527 NEW BEST:: SOT 13072881 SOS 6569191 HAS SOPS 6565310 HAS SOUS 960559 HAS SOUPS 957218 WITH SCORE 963787.191
AT ITER 1531 NEW BEST:: SOT 13072575 SOS 6566779 HAS SOPS 6562937 HAS SOUS 958356 HAS SOUPS 955015 WITH SCORE 961581.779
AT ITER 1534 NEW BEST:: SOT 13072575 SOS 6562531 HAS SOPS 6558689 HAS SOUS 958356 HAS SOUPS 955015 WITH SCORE 961577.531
AT ITER 1535 NEW BEST:: SOT 13067480 SOS 6557436 HAS SOPS 6553594 HAS SOUS 955021 HAS SOUPS 951680 WITH SCORE 958237.436
AT ITER 1539 NEW BEST:: SOT 13076950 SOS 6577572 HAS SOPS 6573792 HAS SOUS 950955 HAS SOUPS 947676 WITH SCORE 954253.572
AT ITER 1549 NEW BEST:: SOT 13076950 SOS 6571020 HAS SOPS 6567240 HAS SOUS 950955 HAS SOUPS 947676 WITH SCORE 954247.02
AT ITER 1557 NEW BEST:: SOT 13078557 SOS 6572627 HAS SOPS 6568847 HAS SOUS 949081 HAS SOUPS 945802 WITH SCORE 952374.627
AT ITER 1561 NEW BEST:: SOT 13077764 SOS 6518407 HAS SOPS 6514570 HAS SOUS 948200 HAS SOUPS 944908 WITH SCORE 951426.407
AT ITER 1563 NEW BEST:: SOT 13079778 SOS 6520817 HAS SOPS 6516980 HAS SOUS 948086 HAS SOUPS 944794 WITH SCORE 951314.817
AT ITER 1565 NEW BEST:: SOT 13079761 SOS 6520800 HAS SOPS 6516963 HAS SOUS 948052 HAS SOUPS 944760 WITH SCORE 951280.8
AT ITER 1566 NEW BEST:: SOT 13082280 SOS 6523319 HAS SOPS 6519482 HAS SOUS 947263 HAS SOUPS 943971 WITH SCORE 950494.319
AT ITER 1570 NEW BEST:: SOT 13080799 SOS 6521686 HAS SOPS 6517859 HAS SOUS 944394 HAS SOUPS 941112 WITH SCORE 947633.686
AT ITER 1575 NEW BEST:: SOT 13080638 SOS 6513068 HAS SOPS 6509241 HAS SOUS 944344 HAS SOUPS 941062 WITH SCORE 947575.068
AT ITER 1584 NEW BEST:: SOT 13081716 SOS 6513769 HAS SOPS 6509985 HAS SOUS 937238 HAS SOUPS 933994 WITH SCORE 940507.769
AT ITER 1586 NEW BEST:: SOT 13081608 SOS 6513659 HAS SOPS 6509875 HAS SOUS 937130 HAS SOUPS 933886 WITH SCORE 940399.659
AT ITER 1589 NEW BEST:: SOT 13081608 SOS 6505307 HAS SOPS 6501523 HAS SOUS 937130 HAS SOUPS 933886 WITH SCORE 940391.307
AT ITER 1594 NEW BEST:: SOT 13092648 SOS 6531867 HAS SOPS 6527786 HAS SOUS 935143 HAS SOUPS 931751 WITH SCORE 938282.867
AT ITER 1619 NEW BEST:: SOT 13093173 SOS 6532493 HAS SOPS 6528427 HAS SOUS 934969 HAS SOUPS 931592 WITH SCORE 938124.493
AT ITER 1633 NEW BEST:: SOT 13091013 SOS 6528173 HAS SOPS 6524107 HAS SOUS 932779 HAS SOUPS 929402 WITH SCORE 935930.173
AT ITER 1638 NEW BEST:: SOT 13097019 SOS 6534179 HAS SOPS 6530113 HAS SOUS 930782 HAS SOUPS 927405 WITH SCORE 933939.179
AT ITER 1645 NEW BEST:: SOT 13097012 SOS 6534172 HAS SOPS 6530106 HAS SOUS 930775 HAS SOUPS 927398 WITH SCORE 933932.172
AT ITER 1649 NEW BEST:: SOT 13096043 SOS 6532699 HAS SOPS 6528633 HAS SOUS 930310 HAS SOUPS 926933 WITH SCORE 933465.699
AT ITER 1657 NEW BEST:: SOT 13093460 SOS 6532099 HAS SOPS 6528070 HAS SOUS 930217 HAS SOUPS 926840 WITH SCORE 933372.099
AT ITER 1691 NEW BEST:: SOT 13095346 SOS 6533985 HAS SOPS 6529956 HAS SOUS 929064 HAS SOUPS 925687 WITH SCORE 932220.985
AT ITER 1699 NEW BEST:: SOT 13095346 SOS 6534489 HAS SOPS 6530460 HAS SOUS 928943 HAS SOUPS 925566 WITH SCORE 932100.489
AT ITER 1728 NEW BEST:: SOT 13095346 SOS 6532761 HAS SOPS 6528732 HAS SOUS 928943 HAS SOUPS 925566 WITH SCORE 932098.761
AT ITER 1764 NEW BEST:: SOT 13095346 SOS 6527289 HAS SOPS 6523260 HAS SOUS 928943 HAS SOUPS 925566 WITH SCORE 932093.289
AT ITER 1778 NEW BEST:: SOT 13097043 SOS 6528925 HAS SOPS 6524957 HAS SOUS 928179 HAS SOUPS 924863 WITH SCORE 931391.925
AT ITER 1785 NEW BEST:: SOT 13097043 SOS 6529459 HAS SOPS 6525491 HAS SOUS 928131 HAS SOUPS 924815 WITH SCORE 931344.459
AT ITER 1786 NEW BEST:: SOT 13097196 SOS 6531058 HAS SOPS 6527154 HAS SOUS 926760 HAS SOUPS 923501 WITH SCORE 930032.058
AT ITER 1802 NEW BEST:: SOT 13097196 SOS 6524506 HAS SOPS 6520602 HAS SOUS 926760 HAS SOUPS 923501 WITH SCORE 930025.506
AT ITER 1806 NEW BEST:: SOT 13102479 SOS 6521682 HAS SOPS 6518084 HAS SOUS 925395 HAS SOUPS 922330 WITH SCORE 928851.682
AT ITER 1810 NEW BEST:: SOT 13102486 SOS 6521689 HAS SOPS 6518091 HAS SOUS 925277 HAS SOUPS 922212 WITH SCORE 928733.689
AT ITER 1822 NEW BEST:: SOT 13102486 SOS 6514057 HAS SOPS 6510459 HAS SOUS 925277 HAS SOUPS 922212 WITH SCORE 928726.057
AT ITER 1856 NEW BEST:: SOT 13103452 SOS 6518296 HAS SOPS 6514698 HAS SOUS 923231 HAS SOUPS 920166 WITH SCORE 926684.296
AT ITER 1873 NEW BEST:: SOT 13103452 SOS 6517504 HAS SOPS 6513906 HAS SOUS 923231 HAS SOUPS 920166 WITH SCORE 926683.504
AT ITER 1878 NEW BEST:: SOT 13102935 SOS 6519530 HAS SOPS 6515932 HAS SOUS 922421 HAS SOUPS 919356 WITH SCORE 925875.53
AT ITER 1882 NEW BEST:: SOT 13102691 SOS 6519282 HAS SOPS 6515684 HAS SOUS 921929 HAS SOUPS 918864 WITH SCORE 925383.282
AT ITER 1885 NEW BEST:: SOT 13107549 SOS 6524734 HAS SOPS 6521136 HAS SOUS 920511 HAS SOUPS 917446 WITH SCORE 923970.734
AT ITER 1906 NEW BEST:: SOT 13104858 SOS 6522043 HAS SOPS 6518445 HAS SOUS 915010 HAS SOUPS 911945 WITH SCORE 918467.043
AT ITER 1907 NEW BEST:: SOT 13104844 SOS 6522029 HAS SOPS 6518431 HAS SOUS 914996 HAS SOUPS 911931 WITH SCORE 918453.029
AT ITER 1917 NEW BEST:: SOT 13104678 SOS 6521863 HAS SOPS 6518265 HAS SOUS 914660 HAS SOUPS 911595 WITH SCORE 918116.863
AT ITER 1941 NEW BEST:: SOT 13104191 SOS 6521376 HAS SOPS 6517778 HAS SOUS 913686 HAS SOUPS 910621 WITH SCORE 917142.376
AT ITER 1946 NEW BEST:: SOT 13107221 SOS 6524482 HAS SOPS 6520914 HAS SOUS 913119 HAS SOUPS 910084 WITH SCORE 916608.482
AT ITER 1956 NEW BEST:: SOT 13107221 SOS 6519802 HAS SOPS 6516234 HAS SOUS 913119 HAS SOUPS 910084 WITH SCORE 916603.802
AT ITER 1959 NEW BEST:: SOT 13107145 SOS 6519726 HAS SOPS 6516158 HAS SOUS 913043 HAS SOUPS 910008 WITH SCORE 916527.726
AT ITER 1967 NEW BEST:: SOT 13108360 SOS 6525461 HAS SOPS 6521893 HAS SOUS 912519 HAS SOUPS 909484 WITH SCORE 916009.461
AT ITER 1984 NEW BEST:: SOT 13109868 SOS 6526953 HAS SOPS 6523385 HAS SOUS 910590 HAS SOUPS 907555 WITH SCORE 914081.953
AT ITER 1986 NEW BEST:: SOT 13109868 SOS 6533547 HAS SOPS 6529979 HAS SOUS 907748 HAS SOUPS 904713 WITH SCORE 911246.547
AT ITER 2005 NEW BEST:: SOT 13108138 SOS 6528308 HAS SOPS 6524740 HAS SOUS 906530 HAS SOUPS 903495 WITH SCORE 910023.308
AT ITER 2032 NEW BEST:: SOT 13108138 SOS 6522260 HAS SOPS 6518692 HAS SOUS 906530 HAS SOUPS 903495 WITH SCORE 910017.26
AT ITER 2034 NEW BEST:: SOT 13108113 SOS 6522235 HAS SOPS 6518667 HAS SOUS 906505 HAS SOUPS 903470 WITH SCORE 909992.235
AT ITER 2041 NEW BEST:: SOT 13108113 SOS 6530900 HAS SOPS 6527332 HAS SOUS 906314 HAS SOUPS 903279 WITH SCORE 909809.9
AT ITER 2051 NEW BEST:: SOT 13108113 SOS 6522449 HAS SOPS 6518881 HAS SOUS 906214 HAS SOUPS 903179 WITH SCORE 909701.449
AT ITER 2063 NEW BEST:: SOT 13108414 SOS 6523077 HAS SOPS 6519635 HAS SOUS 905698 HAS SOUPS 902789 WITH SCORE 909312.077
AT ITER 2081 NEW BEST:: SOT 13108460 SOS 6523123 HAS SOPS 6519681 HAS SOUS 905626 HAS SOUPS 902717 WITH SCORE 909240.123
AT ITER 2092 NEW BEST:: SOT 13108085 SOS 6522735 HAS SOPS 6519293 HAS SOUS 903224 HAS SOUPS 900315 WITH SCORE 906837.735
AT ITER 2094 NEW BEST:: SOT 13100102 SOS 6499475 HAS SOPS 6495787 HAS SOUS 902710 HAS SOUPS 899801 WITH SCORE 906300.475
AT ITER 2097 NEW BEST:: SOT 13099728 SOS 6499101 HAS SOPS 6495413 HAS SOUS 901957 HAS SOUPS 899048 WITH SCORE 905547.101
AT ITER 2119 NEW BEST:: SOT 13099728 SOS 6495501 HAS SOPS 6491813 HAS SOUS 901957 HAS SOUPS 899048 WITH SCORE 905543.501
AT ITER 2131 NEW BEST:: SOT 13099728 SOS 6491109 HAS SOPS 6487421 HAS SOUS 901871 HAS SOUPS 898962 WITH SCORE 905453.109
AT ITER 2156 NEW BEST:: SOT 13098950 SOS 6490360 HAS SOPS 6486672 HAS SOUS 900962 HAS SOUPS 898053 WITH SCORE 904543.36
AT ITER 2168 NEW BEST:: SOT 13098950 SOS 6491584 HAS SOPS 6487896 HAS SOUS 900911 HAS SOUPS 898002 WITH SCORE 904493.584
AT ITER 2170 NEW BEST:: SOT 13100007 SOS 6493001 HAS SOPS 6489313 HAS SOUS 899289 HAS SOUPS 896380 WITH SCORE 902873.001
AT ITER 2175 NEW BEST:: SOT 13099719 SOS 6492693 HAS SOPS 6489005 HAS SOUS 899112 HAS SOUPS 896203 WITH SCORE 902695.693
AT ITER 2182 NEW BEST:: SOT 13099719 SOS 6489955 HAS SOPS 6486267 HAS SOUS 899075 HAS SOUPS 896166 WITH SCORE 902655.955
AT ITER 2198 NEW BEST:: SOT 13101286 SOS 6491522 HAS SOPS 6487834 HAS SOUS 897882 HAS SOUPS 894973 WITH SCORE 901464.522
AT ITER 2208 NEW BEST:: SOT 13101259 SOS 6491333 HAS SOPS 6487666 HAS SOUS 897179 HAS SOUPS 894291 WITH SCORE 900782.333
AT ITER 2215 NEW BEST:: SOT 13105924 SOS 6499370 HAS SOPS 6495715 HAS SOUS 896826 HAS SOUPS 893950 WITH SCORE 900449.37
AT ITER 2233 NEW BEST:: SOT 13104092 SOS 6497538 HAS SOPS 6493883 HAS SOUS 895554 HAS SOUPS 892678 WITH SCORE 899175.538
AT ITER 2235 NEW BEST:: SOT 13104092 SOS 6497346 HAS SOPS 6493691 HAS SOUS 895458 HAS SOUPS 892582 WITH SCORE 899079.346
AT ITER 2243 NEW BEST:: SOT 13111654 SOS 6504908 HAS SOPS 6501253 HAS SOUS 895311 HAS SOUPS 892435 WITH SCORE 898939.908
AT ITER 2245 NEW BEST:: SOT 13111734 SOS 6504986 HAS SOPS 6501331 HAS SOUS 895283 HAS SOUPS 892407 WITH SCORE 898911.986
AT ITER 2250 NEW BEST:: SOT 13109531 SOS 6502744 HAS SOPS 6499089 HAS SOUS 893056 HAS SOUPS 890180 WITH SCORE 896682.744
AT ITER 2251 NEW BEST:: SOT 13109401 SOS 6505831 HAS SOPS 6503360 HAS SOUS 891695 HAS SOUPS 890003 WITH SCORE 896508.831
AT ITER 2259 NEW BEST:: SOT 13109327 SOS 6498607 HAS SOPS 6496584 HAS SOUS 889385 HAS SOUPS 887839 WITH SCORE 894337.607
AT ITER 2274 NEW BEST:: SOT 13109346 SOS 6498521 HAS SOPS 6496513 HAS SOUS 889344 HAS SOUPS 887813 WITH SCORE 894311.521
AT ITER 2279 NEW BEST:: SOT 13110023 SOS 6504345 HAS SOPS 6502337 HAS SOUS 889232 HAS SOUPS 887701 WITH SCORE 894205.345
AT ITER 2280 NEW BEST:: SOT 13110089 SOS 6504411 HAS SOPS 6502403 HAS SOUS 889200 HAS SOUPS 887669 WITH SCORE 894173.411
AT ITER 2287 NEW BEST:: SOT 13110089 SOS 6503475 HAS SOPS 6501467 HAS SOUS 889200 HAS SOUPS 887669 WITH SCORE 894172.475
AT ITER 2291 NEW BEST:: SOT 13111287 SOS 6504673 HAS SOPS 6502665 HAS SOUS 887524 HAS SOUPS 885993 WITH SCORE 892497.673
AT ITER 2297 NEW BEST:: SOT 13111441 SOS 6504827 HAS SOPS 6502819 HAS SOUS 886642 HAS SOUPS 885111 WITH SCORE 891615.827
AT ITER 2298 NEW BEST:: SOT 13111269 SOS 6504655 HAS SOPS 6502647 HAS SOUS 886290 HAS SOUPS 884759 WITH SCORE 891263.655
AT ITER 2305 NEW BEST:: SOT 13111359 SOS 6504734 HAS SOPS 6502726 HAS SOUS 886279 HAS SOUPS 884748 WITH SCORE 891252.734
AT ITER 2349 NEW BEST:: SOT 13110705 SOS 6504095 HAS SOPS 6502087 HAS SOUS 885566 HAS SOUPS 884035 WITH SCORE 890539.095
AT ITER 2360 NEW BEST:: SOT 13115779 SOS 6509343 HAS SOPS 6507335 HAS SOUS 885166 HAS SOUPS 883635 WITH SCORE 890144.343
AT ITER 2371 NEW BEST:: SOT 13114751 SOS 6507091 HAS SOPS 6505083 HAS SOUS 884121 HAS SOUPS 882590 WITH SCORE 889097.091
AT ITER 2372 NEW BEST:: SOT 13114116 SOS 6506180 HAS SOPS 6504172 HAS SOUS 882692 HAS SOUPS 881161 WITH SCORE 887667.18
AT ITER 2402 NEW BEST:: SOT 13114038 SOS 6506180 HAS SOPS 6504172 HAS SOUS 882571 HAS SOUPS 881040 WITH SCORE 887546.18
AT ITER 2423 NEW BEST:: SOT 13114502 SOS 6506644 HAS SOPS 6504636 HAS SOUS 882461 HAS SOUPS 880930 WITH SCORE 887436.644
AT ITER 2434 NEW BEST:: SOT 13119438 SOS 6527287 HAS SOPS 6525279 HAS SOUS 879338 HAS SOUPS 877807 WITH SCORE 884334.287
AT ITER 2448 NEW BEST:: SOT 13119438 SOS 6527257 HAS SOPS 6525249 HAS SOUS 879308 HAS SOUPS 877777 WITH SCORE 884304.257
AT ITER 2471 NEW BEST:: SOT 13119438 SOS 6527287 HAS SOPS 6525279 HAS SOUS 879287 HAS SOUPS 877756 WITH SCORE 884283.287
AT ITER 2472 NEW BEST:: SOT 13121604 SOS 6529453 HAS SOPS 6527445 HAS SOUS 878192 HAS SOUPS 876661 WITH SCORE 883190.453
AT ITER 2495 NEW BEST:: SOT 13121604 SOS 6529347 HAS SOPS 6527339 HAS SOUS 878139 HAS SOUPS 876608 WITH SCORE 883137.347
AT ITER 2502 NEW BEST:: SOT 13121413 SOS 6528940 HAS SOPS 6526932 HAS SOUS 877916 HAS SOUPS 876385 WITH SCORE 882913.94
AT ITER 2535 NEW BEST:: SOT 13121326 SOS 6528776 HAS SOPS 6526768 HAS SOUS 877659 HAS SOUPS 876128 WITH SCORE 882656.776
AT ITER 2546 NEW BEST:: SOT 13121326 SOS 6523880 HAS SOPS 6521872 HAS SOUS 877081 HAS SOUPS 875550 WITH SCORE 882073.88
AT ITER 2548 NEW BEST:: SOT 13120988 SOS 6523571 HAS SOPS 6521554 HAS SOUS 876396 HAS SOUPS 874856 WITH SCORE 881379.571
AT ITER 2591 NEW BEST:: SOT 13120985 SOS 6523568 HAS SOPS 6521551 HAS SOUS 876393 HAS SOUPS 874853 WITH SCORE 881376.568
AT ITER 2626 NEW BEST:: SOT 13119139 SOS 6521722 HAS SOPS 6519705 HAS SOUS 874154 HAS SOUPS 872614 WITH SCORE 879135.722
AT ITER 2631 NEW BEST:: SOT 13119139 SOS 6520138 HAS SOPS 6518121 HAS SOUS 874154 HAS SOUPS 872614 WITH SCORE 879134.138
AT ITER 2643 NEW BEST:: SOT 13123494 SOS 6524661 HAS SOPS 6522644 HAS SOUS 874095 HAS SOUPS 872555 WITH SCORE 879079.661
AT ITER 2655 NEW BEST:: SOT 13123494 SOS 6524661 HAS SOPS 6522644 HAS SOUS 873965 HAS SOUPS 872425 WITH SCORE 878949.661
AT ITER 2660 NEW BEST:: SOT 13121370 SOS 6522537 HAS SOPS 6520520 HAS SOUS 871809 HAS SOUPS 870269 WITH SCORE 876791.537
AT ITER 2663 NEW BEST:: SOT 13117525 SOS 6534988 HAS SOPS 6532971 HAS SOUS 868138 HAS SOUPS 866598 WITH SCORE 873132.988
AT ITER 2666 NEW BEST:: SOT 13111832 SOS 6529295 HAS SOPS 6527278 HAS SOUS 863241 HAS SOUPS 861701 WITH SCORE 868230.295
AT ITER 2669 NEW BEST:: SOT 13108832 SOS 6541271 HAS SOPS 6539254 HAS SOUS 861245 HAS SOUPS 859705 WITH SCORE 866246.271
AT ITER 2703 NEW BEST:: SOT 13108832 SOS 6536447 HAS SOPS 6534430 HAS SOUS 861245 HAS SOUPS 859705 WITH SCORE 866241.447
AT ITER 2711 NEW BEST:: SOT 13109978 SOS 6537689 HAS SOPS 6535672 HAS SOUS 858376 HAS SOUPS 856836 WITH SCORE 863373.689
AT ITER 2726 NEW BEST:: SOT 13109978 SOS 6552059 HAS SOPS 6549730 HAS SOUS 856938 HAS SOUPS 855294 WITH SCORE 861846.059
AT ITER 2737 NEW BEST:: SOT 13109418 SOS 6551499 HAS SOPS 6549170 HAS SOUS 856428 HAS SOUPS 854784 WITH SCORE 861335.499
AT ITER 2743 NEW BEST:: SOT 13109785 SOS 6551832 HAS SOPS 6549503 HAS SOUS 856116 HAS SOUPS 854472 WITH SCORE 861023.832
AT ITER 2764 NEW BEST:: SOT 13108890 SOS 6550592 HAS SOPS 6548263 HAS SOUS 855711 HAS SOUPS 854067 WITH SCORE 860617.592
AT ITER 2771 NEW BEST:: SOT 13110853 SOS 6552541 HAS SOPS 6550212 HAS SOUS 853999 HAS SOUPS 852355 WITH SCORE 858907.541
AT ITER 2772 NEW BEST:: SOT 13110640 SOS 6552328 HAS SOPS 6549999 HAS SOUS 852817 HAS SOUPS 851173 WITH SCORE 857725.328
AT ITER 2776 NEW BEST:: SOT 13110852 SOS 6552540 HAS SOPS 6550211 HAS SOUS 852750 HAS SOUPS 851106 WITH SCORE 857658.54
AT ITER 2800 NEW BEST:: SOT 13110746 SOS 6552434 HAS SOPS 6550105 HAS SOUS 852536 HAS SOUPS 850892 WITH SCORE 857444.434
AT ITER 2814 NEW BEST:: SOT 13109680 SOS 6551368 HAS SOPS 6549039 HAS SOUS 850771 HAS SOUPS 849127 WITH SCORE 855678.368
AT ITER 2836 NEW BEST:: SOT 13109680 SOS 6551378 HAS SOPS 6549049 HAS SOUS 850688 HAS SOUPS 849044 WITH SCORE 855595.378
AT ITER 2858 NEW BEST:: SOT 13109640 SOS 6551338 HAS SOPS 6549009 HAS SOUS 850605 HAS SOUPS 848961 WITH SCORE 855512.338
AT ITER 2874 NEW BEST:: SOT 13109640 SOS 6549394 HAS SOPS 6547065 HAS SOUS 850605 HAS SOUPS 848961 WITH SCORE 855510.394
AT ITER 2887 NEW BEST:: SOT 13107680 SOS 6547093 HAS SOPS 6544764 HAS SOUS 850389 HAS SOUPS 848745 WITH SCORE 855292.093
AT ITER 2897 NEW BEST:: SOT 13107680 SOS 6546987 HAS SOPS 6544658 HAS SOUS 850336 HAS SOUPS 848692 WITH SCORE 855238.987
AT ITER 2914 NEW BEST:: SOT 13105758 SOS 6545082 HAS SOPS 6542753 HAS SOUS 846298 HAS SOUPS 844654 WITH SCORE 851199.082
AT ITER 2916 NEW BEST:: SOT 13104963 SOS 6544258 HAS SOPS 6541929 HAS SOUS 845472 HAS SOUPS 843828 WITH SCORE 850372.258
AT ITER 2922 NEW BEST:: SOT 13104171 SOS 6543466 HAS SOPS 6541137 HAS SOUS 843860 HAS SOUPS 842216 WITH SCORE 848759.466
AT ITER 2926 NEW BEST:: SOT 13103794 SOS 6543069 HAS SOPS 6540740 HAS SOUS 843494 HAS SOUPS 841850 WITH SCORE 848393.069
AT ITER 2931 NEW BEST:: SOT 13104370 SOS 6543645 HAS SOPS 6541316 HAS SOUS 840564 HAS SOUPS 838920 WITH SCORE 845463.645
AT ITER 2936 NEW BEST:: SOT 13103607 SOS 6542882 HAS SOPS 6540553 HAS SOUS 839070 HAS SOUPS 837426 WITH SCORE 843968.882
AT ITER 2938 NEW BEST:: SOT 13101935 SOS 6541210 HAS SOPS 6538881 HAS SOUS 835650 HAS SOUPS 834006 WITH SCORE 840547.21
AT ITER 2947 NEW BEST:: SOT 13101935 SOS 6539834 HAS SOPS 6537505 HAS SOUS 835650 HAS SOUPS 834006 WITH SCORE 840545.834
AT ITER 2951 NEW BEST:: SOT 13102481 SOS 6540380 HAS SOPS 6538051 HAS SOUS 830384 HAS SOUPS 828740 WITH SCORE 835280.38
AT ITER 2970 NEW BEST:: SOT 13102432 SOS 6540331 HAS SOPS 6538002 HAS SOUS 830335 HAS SOUPS 828691 WITH SCORE 835231.331
AT ITER 2977 NEW BEST:: SOT 13099858 SOS 6537757 HAS SOPS 6535428 HAS SOUS 825125 HAS SOUPS 823481 WITH SCORE 830018.757
AT ITER 2985 NEW BEST:: SOT 13098522 SOS 6536421 HAS SOPS 6534092 HAS SOUS 824025 HAS SOUPS 822381 WITH SCORE 828917.421
AT ITER 2988 NEW BEST:: SOT 13098522 SOS 6529221 HAS SOPS 6526892 HAS SOUS 824025 HAS SOUPS 822381 WITH SCORE 828910.221
AT ITER 3005 NEW BEST:: SOT 13098522 SOS 6528528 HAS SOPS 6526199 HAS SOUS 824025 HAS SOUPS 822381 WITH SCORE 828909.528
AT ITER 3014 NEW BEST:: SOT 13098511 SOS 6528517 HAS SOPS 6526188 HAS SOUS 824014 HAS SOUPS 822370 WITH SCORE 828898.517
AT ITER 3018 NEW BEST:: SOT 13098608 SOS 6400251 HAS SOPS 6397810 HAS SOUS 824113 HAS SOUPS 822423 WITH SCORE 828823.251
AT ITER 3028 NEW BEST:: SOT 13096113 SOS 6397588 HAS SOPS 6395171 HAS SOUS 818930 HAS SOUPS 817264 WITH SCORE 823661.588
AT ITER 3031 NEW BEST:: SOT 13095896 SOS 6401667 HAS SOPS 6399250 HAS SOUS 818697 HAS SOUPS 817031 WITH SCORE 823432.667
AT ITER 3051 NEW BEST:: SOT 13095896 SOS 6396915 HAS SOPS 6394498 HAS SOUS 818697 HAS SOUPS 817031 WITH SCORE 823427.915
AT ITER 3074 NEW BEST:: SOT 13095896 SOS 6397904 HAS SOPS 6395487 HAS SOUS 818633 HAS SOUPS 816967 WITH SCORE 823364.904
AT ITER 3082 NEW BEST:: SOT 13095692 SOS 6397700 HAS SOPS 6395283 HAS SOUS 818545 HAS SOUPS 816879 WITH SCORE 823276.7
AT ITER 3096 NEW BEST:: SOT 13092959 SOS 6394925 HAS SOPS 6392508 HAS SOUS 815891 HAS SOUPS 814225 WITH SCORE 820619.925
AT ITER 3098 NEW BEST:: SOT 13092746 SOS 6394712 HAS SOPS 6392295 HAS SOUS 815457 HAS SOUPS 813791 WITH SCORE 820185.712
AT ITER 3109 NEW BEST:: SOT 13092746 SOS 6395113 HAS SOPS 6392696 HAS SOUS 815376 HAS SOUPS 813710 WITH SCORE 820105.113
AT ITER 3118 NEW BEST:: SOT 13092743 SOS 6395110 HAS SOPS 6392693 HAS SOUS 815373 HAS SOUPS 813707 WITH SCORE 820102.11
AT ITER 3129 NEW BEST:: SOT 13096544 SOS 6398911 HAS SOPS 6396494 HAS SOUS 808182 HAS SOUPS 806516 WITH SCORE 812914.911
AT ITER 3134 NEW BEST:: SOT 13096655 SOS 6403711 HAS SOPS 6401294 HAS SOUS 807436 HAS SOUPS 805770 WITH SCORE 812173.711
AT ITER 3142 NEW BEST:: SOT 13096655 SOS 6401767 HAS SOPS 6399350 HAS SOUS 807436 HAS SOUPS 805770 WITH SCORE 812171.767
AT ITER 3156 NEW BEST:: SOT 13096597 SOS 6401709 HAS SOPS 6399292 HAS SOUS 807407 HAS SOUPS 805741 WITH SCORE 812142.709
AT ITER 3165 NEW BEST:: SOT 13099963 SOS 6407532 HAS SOPS 6405115 HAS SOUS 807167 HAS SOUPS 805501 WITH SCORE 811908.532
AT ITER 3173 NEW BEST:: SOT 13100489 SOS 6408226 HAS SOPS 6405833 HAS SOUS 806214 HAS SOUPS 804572 WITH SCORE 810980.226
AT ITER 3201 NEW BEST:: SOT 13100465 SOS 6408202 HAS SOPS 6405809 HAS SOUS 806194 HAS SOUPS 804552 WITH SCORE 810960.202
AT ITER 3205 NEW BEST:: SOT 13100465 SOS 6408202 HAS SOPS 6405809 HAS SOUS 806183 HAS SOUPS 804541 WITH SCORE 810949.202
AT ITER 3216 NEW BEST:: SOT 13100463 SOS 6409878 HAS SOPS 6407453 HAS SOUS 804909 HAS SOUPS 803235 WITH SCORE 809644.878
AT ITER 3220 NEW BEST:: SOT 13098191 SOS 6407691 HAS SOPS 6405266 HAS SOUS 802349 HAS SOUPS 800675 WITH SCORE 807082.691
AT ITER 3221 NEW BEST:: SOT 13098191 SOS 6407331 HAS SOPS 6404906 HAS SOUS 802349 HAS SOUPS 800675 WITH SCORE 807082.331
AT ITER 3237 NEW BEST:: SOT 13097245 SOS 6406343 HAS SOPS 6403918 HAS SOUS 801435 HAS SOUPS 799761 WITH SCORE 806167.343
AT ITER 3249 NEW BEST:: SOT 13097245 SOS 6404975 HAS SOPS 6402550 HAS SOUS 801435 HAS SOUPS 799761 WITH SCORE 806165.975
AT ITER 3255 NEW BEST:: SOT 13097245 SOS 6404975 HAS SOPS 6402550 HAS SOUS 801371 HAS SOUPS 799697 WITH SCORE 806101.975
AT ITER 3263 NEW BEST:: SOT 13097053 SOS 6403080 HAS SOPS 6400655 HAS SOUS 801033 HAS SOUPS 799359 WITH SCORE 805762.08
AT ITER 3274 NEW BEST:: SOT 13096763 SOS 6403154 HAS SOPS 6400729 HAS SOUS 800498 HAS SOUPS 798824 WITH SCORE 805227.154
AT ITER 3288 NEW BEST:: SOT 13096794 SOS 6403178 HAS SOPS 6400753 HAS SOUS 800493 HAS SOUPS 798819 WITH SCORE 805222.178
AT ITER 3313 NEW BEST:: SOT 13091533 SOS 6397917 HAS SOPS 6395492 HAS SOUS 792144 HAS SOUPS 790470 WITH SCORE 796867.917
AT ITER 3325 NEW BEST:: SOT 13091533 SOS 6397918 HAS SOPS 6395493 HAS SOUS 792143 HAS SOUPS 790469 WITH SCORE 796866.918
AT ITER 3332 NEW BEST:: SOT 13090703 SOS 6397082 HAS SOPS 6394657 HAS SOUS 790648 HAS SOUPS 788974 WITH SCORE 795371.082
AT ITER 3345 NEW BEST:: SOT 13090113 SOS 6396422 HAS SOPS 6394007 HAS SOUS 790078 HAS SOUPS 788414 WITH SCORE 794810.422
AT ITER 3355 NEW BEST:: SOT 13094723 SOS 6406288 HAS SOPS 6403873 HAS SOUS 789646 HAS SOUPS 787982 WITH SCORE 794388.288
AT ITER 3389 NEW BEST:: SOT 13094775 SOS 6406488 HAS SOPS 6404073 HAS SOUS 789620 HAS SOUPS 787956 WITH SCORE 794362.488
AT ITER 3400 NEW BEST:: SOT 13094775 SOS 6402384 HAS SOPS 6399969 HAS SOUS 789620 HAS SOUPS 787956 WITH SCORE 794358.384
AT ITER 3404 NEW BEST:: SOT 13093960 SOS 6401569 HAS SOPS 6399154 HAS SOUS 786902 HAS SOUPS 785238 WITH SCORE 791639.569
AT ITER 3418 NEW BEST:: SOT 13093960 SOS 6401551 HAS SOPS 6399136 HAS SOUS 786885 HAS SOUPS 785221 WITH SCORE 791622.551
AT ITER 3429 NEW BEST:: SOT 13095763 SOS 6403354 HAS SOPS 6400939 HAS SOUS 786416 HAS SOUPS 784752 WITH SCORE 791155.354
AT ITER 3430 NEW BEST:: SOT 13095384 SOS 6402975 HAS SOPS 6400560 HAS SOUS 785434 HAS SOUPS 783770 WITH SCORE 790172.975
AT ITER 3432 NEW BEST:: SOT 13095384 SOS 6402975 HAS SOPS 6400560 HAS SOUS 785402 HAS SOUPS 783738 WITH SCORE 790140.975
AT ITER 3434 NEW BEST:: SOT 13095311 SOS 6402883 HAS SOPS 6400487 HAS SOUS 785168 HAS SOUPS 783523 WITH SCORE 789925.883
AT ITER 3464 NEW BEST:: SOT 13095311 SOS 6404863 HAS SOPS 6402467 HAS SOUS 783491 HAS SOUPS 781846 WITH SCORE 788250.863
AT ITER 3465 NEW BEST:: SOT 13095347 SOS 6404909 HAS SOPS 6402513 HAS SOUS 783245 HAS SOUPS 781600 WITH SCORE 788004.909
AT ITER 3485 NEW BEST:: SOT 13095347 SOS 6410394 HAS SOPS 6407998 HAS SOUS 780895 HAS SOUPS 779250 WITH SCORE 785660.394
AT ITER 3487 NEW BEST:: SOT 13095347 SOS 6413135 HAS SOPS 6410739 HAS SOUS 779931 HAS SOUPS 778286 WITH SCORE 784699.135
AT ITER 3488 NEW BEST:: SOT 13094956 SOS 6412744 HAS SOPS 6410348 HAS SOUS 779129 HAS SOUPS 777484 WITH SCORE 783896.744
AT ITER 3503 NEW BEST:: SOT 13096841 SOS 6414702 HAS SOPS 6412546 HAS SOUS 775103 HAS SOUPS 773698 WITH SCORE 780112.702
AT ITER 3515 NEW BEST:: SOT 13096841 SOS 6414698 HAS SOPS 6412542 HAS SOUS 774854 HAS SOUPS 773449 WITH SCORE 779863.698
AT ITER 3537 NEW BEST:: SOT 13095420 SOS 6413277 HAS SOPS 6411121 HAS SOUS 772018 HAS SOUPS 770613 WITH SCORE 777026.277
AT ITER 3546 NEW BEST:: SOT 13090294 SOS 6408151 HAS SOPS 6405995 HAS SOUS 771984 HAS SOUPS 770579 WITH SCORE 776987.151
AT ITER 3562 NEW BEST:: SOT 13090294 SOS 6408151 HAS SOPS 6405995 HAS SOUS 771975 HAS SOUPS 770570 WITH SCORE 776978.151
AT ITER 3587 NEW BEST:: SOT 13089259 SOS 6407116 HAS SOPS 6404960 HAS SOUS 771286 HAS SOUPS 769881 WITH SCORE 776288.116
AT ITER 3593 NEW BEST:: SOT 13088684 SOS 6408593 HAS SOPS 6406437 HAS SOUS 770265 HAS SOUPS 768860 WITH SCORE 775268.593
AT ITER 3596 NEW BEST:: SOT 13088684 SOS 6404705 HAS SOPS 6402549 HAS SOUS 770265 HAS SOUPS 768860 WITH SCORE 775264.705
AT ITER 3607 NEW BEST:: SOT 13088497 SOS 6404518 HAS SOPS 6402362 HAS SOUS 769885 HAS SOUPS 768480 WITH SCORE 774884.518
AT ITER 3611 NEW BEST:: SOT 13088430 SOS 6404451 HAS SOPS 6402295 HAS SOUS 769780 HAS SOUPS 768375 WITH SCORE 774779.451
AT ITER 3618 NEW BEST:: SOT 13085262 SOS 6401274 HAS SOPS 6399118 HAS SOUS 766762 HAS SOUPS 765357 WITH SCORE 771758.274
AT ITER 3627 NEW BEST:: SOT 13085262 SOS 6395802 HAS SOPS 6393646 HAS SOUS 766762 HAS SOUPS 765357 WITH SCORE 771752.802
AT ITER 3632 NEW BEST:: SOT 13084903 SOS 6395499 HAS SOPS 6393335 HAS SOUS 766450 HAS SOUPS 765037 WITH SCORE 771432.499
AT ITER 3652 NEW BEST:: SOT 13084903 SOS 6388025 HAS SOPS 6385861 HAS SOUS 766349 HAS SOUPS 764936 WITH SCORE 771324.025
AT ITER 3663 NEW BEST:: SOT 13082970 SOS 6385070 HAS SOPS 6382906 HAS SOUS 765424 HAS SOUPS 764011 WITH SCORE 770396.07
AT ITER 3666 NEW BEST:: SOT 13082970 SOS 6378950 HAS SOPS 6376786 HAS SOUS 765424 HAS SOUPS 764011 WITH SCORE 770389.95
AT ITER 3674 NEW BEST:: SOT 13082970 SOS 6375206 HAS SOPS 6373042 HAS SOUS 765424 HAS SOUPS 764011 WITH SCORE 770386.206
AT ITER 3680 NEW BEST:: SOT 13082970 SOS 6368942 HAS SOPS 6366778 HAS SOUS 765424 HAS SOUPS 764011 WITH SCORE 770379.942
AT ITER 3683 NEW BEST:: SOT 13085464 SOS 6370826 HAS SOPS 6368743 HAS SOUS 763465 HAS SOUPS 762133 WITH SCORE 768503.826
AT ITER 3698 NEW BEST:: SOT 13085109 SOS 6370471 HAS SOPS 6368388 HAS SOUS 763233 HAS SOUPS 761901 WITH SCORE 768271.471
AT ITER 3699 NEW BEST:: SOT 13083896 SOS 6369227 HAS SOPS 6367144 HAS SOUS 762142 HAS SOUPS 760810 WITH SCORE 767179.227
AT ITER 3718 NEW BEST:: SOT 13084401 SOS 6369804 HAS SOPS 6367721 HAS SOUS 761278 HAS SOUPS 759946 WITH SCORE 766315.804
AT ITER 3744 NEW BEST:: SOT 13086753 SOS 6372105 HAS SOPS 6370022 HAS SOUS 761087 HAS SOUPS 759755 WITH SCORE 766127.105
AT ITER 3749 NEW BEST:: SOT 13085586 SOS 6370938 HAS SOPS 6368855 HAS SOUS 758730 HAS SOUPS 757398 WITH SCORE 763768.938
AT ITER 3753 NEW BEST:: SOT 13085103 SOS 6370455 HAS SOPS 6368372 HAS SOUS 757764 HAS SOUPS 756432 WITH SCORE 762802.455
AT ITER 3759 NEW BEST:: SOT 13079385 SOS 6364737 HAS SOPS 6362654 HAS SOUS 755579 HAS SOUPS 754247 WITH SCORE 760611.737
AT ITER 3761 NEW BEST:: SOT 13079385 SOS 6363153 HAS SOPS 6361070 HAS SOUS 755579 HAS SOUPS 754247 WITH SCORE 760610.153
AT ITER 3782 NEW BEST:: SOT 13079385 SOS 6363091 HAS SOPS 6361008 HAS SOUS 755538 HAS SOUPS 754206 WITH SCORE 760569.091
AT ITER 3793 NEW BEST:: SOT 13078933 SOS 6375052 HAS SOPS 6373624 HAS SOUS 753044 HAS SOUPS 752367 WITH SCORE 758742.052
AT ITER 3801 NEW BEST:: SOT 13078451 SOS 6374570 HAS SOPS 6373142 HAS SOUS 752345 HAS SOUPS 751668 WITH SCORE 758042.57
AT ITER 3813 NEW BEST:: SOT 13080697 SOS 6376816 HAS SOPS 6375388 HAS SOUS 751922 HAS SOUPS 751245 WITH SCORE 757621.816
AT ITER 3817 NEW BEST:: SOT 13071665 SOS 6355530 HAS SOPS 6354450 HAS SOUS 750169 HAS SOUPS 749633 WITH SCORE 755988.53
AT ITER 3825 NEW BEST:: SOT 13070335 SOS 6354200 HAS SOPS 6353120 HAS SOUS 749920 HAS SOUPS 749384 WITH SCORE 755738.2
AT ITER 3831 NEW BEST:: SOT 13070335 SOS 6343112 HAS SOPS 6342032 HAS SOUS 749920 HAS SOUPS 749384 WITH SCORE 755727.112
AT ITER 3853 NEW BEST:: SOT 13068459 SOS 6341236 HAS SOPS 6340156 HAS SOUS 747664 HAS SOUPS 747128 WITH SCORE 753469.236
AT ITER 3867 NEW BEST:: SOT 13067850 SOS 6340627 HAS SOPS 6339547 HAS SOUS 746431 HAS SOUPS 745895 WITH SCORE 752235.627
AT ITER 3871 NEW BEST:: SOT 13065221 SOS 6337998 HAS SOPS 6336918 HAS SOUS 745147 HAS SOUPS 744611 WITH SCORE 750948.998
AT ITER 3876 NEW BEST:: SOT 13065221 SOS 6334686 HAS SOPS 6333606 HAS SOUS 745147 HAS SOUPS 744611 WITH SCORE 750945.686
AT ITER 3884 NEW BEST:: SOT 13064137 SOS 6333602 HAS SOPS 6332522 HAS SOUS 744987 HAS SOUPS 744451 WITH SCORE 750784.602
AT ITER 3898 NEW BEST:: SOT 13064137 SOS 6333602 HAS SOPS 6332522 HAS SOUS 744985 HAS SOUPS 744449 WITH SCORE 750782.602
AT ITER 3911 NEW BEST:: SOT 13064119 SOS 6333584 HAS SOPS 6332504 HAS SOUS 744303 HAS SOUPS 743767 WITH SCORE 750100.584
AT ITER 3915 NEW BEST:: SOT 13061653 SOS 6331118 HAS SOPS 6330038 HAS SOUS 739903 HAS SOUPS 739367 WITH SCORE 745698.118
AT ITER 3918 NEW BEST:: SOT 13061653 SOS 6331946 HAS SOPS 6330866 HAS SOUS 739808 HAS SOUPS 739272 WITH SCORE 745603.946
AT ITER 3941 NEW BEST:: SOT 13063896 SOS 6324901 HAS SOPS 6323821 HAS SOUS 738016 HAS SOUPS 737480 WITH SCORE 743804.901
AT ITER 3947 NEW BEST:: SOT 13063798 SOS 6324803 HAS SOPS 6323723 HAS SOUS 737982 HAS SOUPS 737446 WITH SCORE 743770.803
AT ITER 3953 NEW BEST:: SOT 13063794 SOS 6324799 HAS SOPS 6323719 HAS SOUS 737869 HAS SOUPS 737333 WITH SCORE 743657.799
AT ITER 3954 NEW BEST:: SOT 13061174 SOS 6322179 HAS SOPS 6321099 HAS SOUS 736036 HAS SOUPS 735500 WITH SCORE 741822.179
AT ITER 3987 NEW BEST:: SOT 13057893 SOS 6315419 HAS SOPS 6314339 HAS SOUS 735621 HAS SOUPS 735085 WITH SCORE 741400.419
AT ITER 3988 NEW BEST:: SOT 13055332 SOS 6312714 HAS SOPS 6311634 HAS SOUS 733548 HAS SOUPS 733012 WITH SCORE 739324.714
AT ITER 3989 NEW BEST:: SOT 13056090 SOS 6319378 HAS SOPS 6318252 HAS SOUS 732118 HAS SOUPS 731538 WITH SCORE 737857.378
AT ITER 4011 NEW BEST:: SOT 13055978 SOS 6319238 HAS SOPS 6318112 HAS SOUS 731888 HAS SOUPS 731308 WITH SCORE 737627.238
AT ITER 4019 NEW BEST:: SOT 13055978 SOS 6317870 HAS SOPS 6316744 HAS SOUS 731888 HAS SOUPS 731308 WITH SCORE 737625.87
AT ITER 4026 NEW BEST:: SOT 13055852 SOS 6317696 HAS SOPS 6316576 HAS SOUS 729898 HAS SOUPS 729324 WITH SCORE 735641.696
AT ITER 4032 NEW BEST:: SOT 13055984 SOS 6317828 HAS SOPS 6316708 HAS SOUS 729490 HAS SOUPS 728916 WITH SCORE 735233.828
AT ITER 4104 NEW BEST:: SOT 13056059 SOS 5878843 HAS SOPS 5877723 HAS SOUS 729582 HAS SOUPS 729008 WITH SCORE 734886.843
AT ITER 4181 NEW BEST:: SOT 13055265 SOS 5878049 HAS SOPS 5876929 HAS SOUS 729000 HAS SOUPS 728426 WITH SCORE 734304.049
AT ITER 4221 NEW BEST:: SOT 13055265 SOS 5877983 HAS SOPS 5876863 HAS SOUS 729000 HAS SOUPS 728426 WITH SCORE 734303.983
AT ITER 4222 NEW BEST:: SOT 13043031 SOS 5867077 HAS SOPS 5865834 HAS SOUS 727674 HAS SOUPS 727038 WITH SCORE 732905.077
AT ITER 4224 NEW BEST:: SOT 13041242 SOS 5864280 HAS SOPS 5863037 HAS SOUS 726828 HAS SOUPS 726192 WITH SCORE 732056.28
AT ITER 4275 NEW BEST:: SOT 13039071 SOS 5862109 HAS SOPS 5860866 HAS SOUS 724865 HAS SOUPS 724229 WITH SCORE 730091.109
AT ITER 4276 NEW BEST:: SOT 13039071 SOS 5862109 HAS SOPS 5860866 HAS SOUS 724783 HAS SOUPS 724147 WITH SCORE 730009.109
AT ITER 4285 NEW BEST:: SOT 13038964 SOS 5862002 HAS SOPS 5860759 HAS SOUS 724569 HAS SOUPS 723933 WITH SCORE 729795.002
AT ITER 4320 NEW BEST:: SOT 13043408 SOS 6021876 HAS SOPS 6020766 HAS SOUS 723639 HAS SOUPS 723056 WITH SCORE 729077.876
AT ITER 4349 NEW BEST:: SOT 13046760 SOS 6025228 HAS SOPS 6024118 HAS SOUS 722969 HAS SOUPS 722386 WITH SCORE 728411.228
AT ITER 4350 NEW BEST:: SOT 13048649 SOS 6027117 HAS SOPS 6026007 HAS SOUS 720978 HAS SOUPS 720395 WITH SCORE 726422.117
AT ITER 4359 NEW BEST:: SOT 13048887 SOS 6027859 HAS SOPS 6026749 HAS SOUS 720520 HAS SOUPS 719937 WITH SCORE 725964.859
AT ITER 4370 NEW BEST:: SOT 13046346 SOS 6025318 HAS SOPS 6024208 HAS SOUS 718193 HAS SOUPS 717610 WITH SCORE 723635.318
AT ITER 4371 NEW BEST:: SOT 13046343 SOS 6025315 HAS SOPS 6024205 HAS SOUS 718187 HAS SOUPS 717604 WITH SCORE 723629.315
AT ITER 4374 NEW BEST:: SOT 13046343 SOS 6025322 HAS SOPS 6024212 HAS SOUS 718180 HAS SOUPS 717597 WITH SCORE 723622.322
AT ITER 4376 NEW BEST:: SOT 13046321 SOS 6025300 HAS SOPS 6024190 HAS SOUS 718180 HAS SOUPS 717597 WITH SCORE 723622.3
AT ITER 4420 NEW BEST:: SOT 13045951 SOS 6024930 HAS SOPS 6023820 HAS SOUS 717777 HAS SOUPS 717194 WITH SCORE 723218.93
AT ITER 4425 NEW BEST:: SOT 13045802 SOS 6024949 HAS SOPS 6023839 HAS SOUS 717756 HAS SOUPS 717173 WITH SCORE 723197.949
AT ITER 4439 NEW BEST:: SOT 13044555 SOS 6023702 HAS SOPS 6022592 HAS SOUS 717087 HAS SOUPS 716504 WITH SCORE 722527.702
AT ITER 4446 NEW BEST:: SOT 13044555 SOS 6021385 HAS SOPS 6020275 HAS SOUS 717028 HAS SOUPS 716445 WITH SCORE 722466.385
AT ITER 4474 NEW BEST:: SOT 13047708 SOS 6027778 HAS SOPS 6026668 HAS SOUS 716354 HAS SOUPS 715771 WITH SCORE 721798.778
AT ITER 4502 NEW BEST:: SOT 13047708 SOS 6027706 HAS SOPS 6026596 HAS SOUS 716318 HAS SOUPS 715735 WITH SCORE 721762.706
AT ITER 4515 NEW BEST:: SOT 13047417 SOS 6029734 HAS SOPS 6028624 HAS SOUS 711960 HAS SOUPS 711377 WITH SCORE 717406.734
AT ITER 4541 NEW BEST:: SOT 13047417 SOS 6026540 HAS SOPS 6025430 HAS SOUS 711914 HAS SOUPS 711331 WITH SCORE 717357.54
AT ITER 4548 NEW BEST:: SOT 13047417 SOS 6026540 HAS SOPS 6025430 HAS SOUS 711852 HAS SOUPS 711269 WITH SCORE 717295.54
AT ITER 4572 NEW BEST:: SOT 13047118 SOS 6026241 HAS SOPS 6025131 HAS SOUS 711816 HAS SOUPS 711233 WITH SCORE 717259.241
AT ITER 4580 NEW BEST:: SOT 13047086 SOS 6026209 HAS SOPS 6025099 HAS SOUS 711750 HAS SOUPS 711167 WITH SCORE 717193.209
AT ITER 4585 NEW BEST:: SOT 13047085 SOS 6026208 HAS SOPS 6025098 HAS SOUS 711749 HAS SOUPS 711166 WITH SCORE 717192.208
AT ITER 4598 NEW BEST:: SOT 13046119 SOS 6025242 HAS SOPS 6024132 HAS SOUS 710753 HAS SOUPS 710170 WITH SCORE 716195.242
AT ITER 4638 NEW BEST:: SOT 13046059 SOS 6025182 HAS SOPS 6024072 HAS SOUS 710664 HAS SOUPS 710081 WITH SCORE 716106.182
AT ITER 4666 NEW BEST:: SOT 13045821 SOS 6024944 HAS SOPS 6023834 HAS SOUS 710171 HAS SOUPS 709588 WITH SCORE 715612.944
AT ITER 4668 NEW BEST:: SOT 13045821 SOS 6025243 HAS SOPS 6024133 HAS SOUS 710154 HAS SOUPS 709571 WITH SCORE 715596.243
AT ITER 4688 NEW BEST:: SOT 13045821 SOS 6025243 HAS SOPS 6024133 HAS SOUS 710133 HAS SOUPS 709550 WITH SCORE 715575.243
AT ITER 4714 NEW BEST:: SOT 13047557 SOS 6026979 HAS SOPS 6025869 HAS SOUS 709631 HAS SOUPS 709048 WITH SCORE 715074.979
AT ITER 4722 NEW BEST:: SOT 13046489 SOS 6025647 HAS SOPS 6024537 HAS SOUS 709112 HAS SOUPS 708529 WITH SCORE 714554.647
AT ITER 4737 NEW BEST:: SOT 13046201 SOS 6025359 HAS SOPS 6024249 HAS SOUS 708600 HAS SOUPS 708017 WITH SCORE 714042.359
AT ITER 4778 NEW BEST:: SOT 13046201 SOS 6025355 HAS SOPS 6024245 HAS SOUS 708598 HAS SOUPS 708015 WITH SCORE 714040.355
AT ITER 4786 NEW BEST:: SOT 13046201 SOS 6025355 HAS SOPS 6024245 HAS SOUS 708595 HAS SOUPS 708012 WITH SCORE 714037.355
AT ITER 4790 NEW BEST:: SOT 13046211 SOS 6025365 HAS SOPS 6024255 HAS SOUS 708584 HAS SOUPS 708001 WITH SCORE 714026.365
AT ITER 4833 NEW BEST:: SOT 13046780 SOS 6025934 HAS SOPS 6024824 HAS SOUS 708530 HAS SOUPS 707947 WITH SCORE 713972.934
AT ITER 4838 NEW BEST:: SOT 13046673 SOS 6025840 HAS SOPS 6024730 HAS SOUS 708485 HAS SOUPS 707902 WITH SCORE 713927.84
AT ITER 4848 NEW BEST:: SOT 13047581 SOS 6028908 HAS SOPS 6027798 HAS SOUS 708251 HAS SOUPS 707668 WITH SCORE 713696.908
AT ITER 4860 NEW BEST:: SOT 13047513 SOS 6028838 HAS SOPS 6027728 HAS SOUS 708118 HAS SOUPS 707535 WITH SCORE 713563.838
AT ITER 4880 NEW BEST:: SOT 13047561 SOS 6028886 HAS SOPS 6027776 HAS SOUS 708088 HAS SOUPS 707505 WITH SCORE 713533.886
AT ITER 4898 NEW BEST:: SOT 13047983 SOS 6027320 HAS SOPS 6026210 HAS SOUS 706521 HAS SOUPS 705938 WITH SCORE 711965.32
AT ITER 4914 NEW BEST:: SOT 13046755 SOS 6026092 HAS SOPS 6024982 HAS SOUS 706228 HAS SOUPS 705645 WITH SCORE 711671.092
AT ITER 4919 NEW BEST:: SOT 13046666 SOS 6026003 HAS SOPS 6024893 HAS SOUS 706048 HAS SOUPS 705465 WITH SCORE 711491.003
AT ITER 4950 NEW BEST:: SOT 13052067 SOS 6031459 HAS SOPS 6030349 HAS SOUS 705949 HAS SOUPS 705366 WITH SCORE 711397.459
AT ITER 4951 NEW BEST:: SOT 13051201 SOS 6030593 HAS SOPS 6029483 HAS SOUS 704773 HAS SOUPS 704190 WITH SCORE 710220.593
AT ITER 4993 NEW BEST:: SOT 13048671 SOS 6021063 HAS SOPS 6019953 HAS SOUS 703414 HAS SOUPS 702831 WITH SCORE 708852.063
AT ITER 5002 NEW BEST:: SOT 13048746 SOS 6021359 HAS SOPS 6020249 HAS SOUS 702583 HAS SOUPS 702000 WITH SCORE 708021.359
AT ITER 5055 NEW BEST:: SOT 13048720 SOS 6021333 HAS SOPS 6020223 HAS SOUS 702518 HAS SOUPS 701935 WITH SCORE 707956.333
AT ITER 5059 NEW BEST:: SOT 13048806 SOS 6021419 HAS SOPS 6020309 HAS SOUS 702497 HAS SOUPS 701914 WITH SCORE 707935.419
AT ITER 5076 NEW BEST:: SOT 13048798 SOS 6021411 HAS SOPS 6020301 HAS SOUS 702489 HAS SOUPS 701906 WITH SCORE 707927.411
AT ITER 5108 NEW BEST:: SOT 13048798 SOS 6021315 HAS SOPS 6020205 HAS SOUS 702481 HAS SOUPS 701898 WITH SCORE 707919.315
AT ITER 5124 NEW BEST:: SOT 13048798 SOS 6019443 HAS SOPS 6018395 HAS SOUS 702480 HAS SOUPS 701898 WITH SCORE 707917.443
AT ITER 5134 NEW BEST:: SOT 13048798 SOS 6019441 HAS SOPS 6018393 HAS SOUS 702480 HAS SOUPS 701898 WITH SCORE 707917.441
AT ITER 5145 NEW BEST:: SOT 13047879 SOS 6018522 HAS SOPS 6017474 HAS SOUS 701225 HAS SOUPS 700643 WITH SCORE 706661.522
AT ITER 5152 NEW BEST:: SOT 13048214 SOS 6018857 HAS SOPS 6017809 HAS SOUS 700720 HAS SOUPS 700138 WITH SCORE 706156.857
AT ITER 5155 NEW BEST:: SOT 13048214 SOS 6018857 HAS SOPS 6017809 HAS SOUS 700677 HAS SOUPS 700095 WITH SCORE 706113.857
AT ITER 5216 NEW BEST:: SOT 13047553 SOS 6018196 HAS SOPS 6017148 HAS SOUS 699312 HAS SOUPS 698730 WITH SCORE 704748.196
AT ITER 5222 NEW BEST:: SOT 13049003 SOS 6019646 HAS SOPS 6018598 HAS SOUS 697122 HAS SOUPS 696540 WITH SCORE 702559.646
AT ITER 5231 NEW BEST:: SOT 13048985 SOS 6018332 HAS SOPS 6017284 HAS SOUS 697086 HAS SOUPS 696504 WITH SCORE 702522.332
AT ITER 5233 NEW BEST:: SOT 13048822 SOS 6018169 HAS SOPS 6017121 HAS SOUS 696932 HAS SOUPS 696350 WITH SCORE 702368.169
AT ITER 5242 NEW BEST:: SOT 13048822 SOS 6014353 HAS SOPS 6013305 HAS SOUS 696461 HAS SOUPS 695879 WITH SCORE 701893.353
AT ITER 5274 NEW BEST:: SOT 13048822 SOS 6014245 HAS SOPS 6013197 HAS SOUS 696326 HAS SOUPS 695744 WITH SCORE 701758.245
AT ITER 5279 NEW BEST:: SOT 13048763 SOS 6014186 HAS SOPS 6013138 HAS SOUS 696267 HAS SOUPS 695685 WITH SCORE 701699.186
AT ITER 5285 NEW BEST:: SOT 13048763 SOS 6013786 HAS SOPS 6012738 HAS SOUS 696235 HAS SOUPS 695653 WITH SCORE 701666.786
AT ITER 5287 NEW BEST:: SOT 13048000 SOS 6013023 HAS SOPS 6011975 HAS SOUS 695422 HAS SOUPS 694840 WITH SCORE 700853.023
AT ITER 5306 NEW BEST:: SOT 13048055 SOS 6013078 HAS SOPS 6012030 HAS SOUS 695348 HAS SOUPS 694766 WITH SCORE 700779.078
AT ITER 5308 NEW BEST:: SOT 13045027 SOS 6023446 HAS SOPS 6022398 HAS SOUS 692448 HAS SOUPS 691866 WITH SCORE 697889.446
AT ITER 5315 NEW BEST:: SOT 13045027 SOS 6021116 HAS SOPS 6020068 HAS SOUS 692448 HAS SOUPS 691866 WITH SCORE 697887.116
AT ITER 5317 NEW BEST:: SOT 13045027 SOS 6021144 HAS SOPS 6020096 HAS SOUS 692420 HAS SOUPS 691838 WITH SCORE 697859.144
AT ITER 5323 NEW BEST:: SOT 13044531 SOS 6020640 HAS SOPS 6019592 HAS SOUS 691420 HAS SOUPS 690838 WITH SCORE 696858.64
AT ITER 5343 NEW BEST:: SOT 13044507 SOS 6020616 HAS SOPS 6019568 HAS SOUS 691396 HAS SOUPS 690814 WITH SCORE 696834.616
AT ITER 5347 NEW BEST:: SOT 13044507 SOS 6018960 HAS SOPS 6017912 HAS SOUS 691396 HAS SOUPS 690814 WITH SCORE 696832.96
AT ITER 5356 NEW BEST:: SOT 13044669 SOS 6019122 HAS SOPS 6018074 HAS SOUS 691252 HAS SOUPS 690670 WITH SCORE 696689.122
AT ITER 5370 NEW BEST:: SOT 13048168 SOS 6024161 HAS SOPS 6023113 HAS SOUS 688218 HAS SOUPS 687636 WITH SCORE 693660.161
AT ITER 5441 NEW BEST:: SOT 13048115 SOS 6024922 HAS SOPS 6023931 HAS SOUS 686216 HAS SOUPS 685691 WITH SCORE 691715.922
AT ITER 5530 NEW BEST:: SOT 13046654 SOS 6023461 HAS SOPS 6022470 HAS SOUS 684536 HAS SOUPS 684011 WITH SCORE 690034.461
AT ITER 5543 NEW BEST:: SOT 13048597 SOS 6027434 HAS SOPS 6026443 HAS SOUS 683473 HAS SOUPS 682948 WITH SCORE 688975.434
AT ITER 5545 NEW BEST:: SOT 13046860 SOS 6025697 HAS SOPS 6024706 HAS SOUS 682042 HAS SOUPS 681517 WITH SCORE 687542.697
AT ITER 5557 NEW BEST:: SOT 13048537 SOS 6027890 HAS SOPS 6026899 HAS SOUS 681433 HAS SOUPS 680908 WITH SCORE 686935.89
AT ITER 5560 NEW BEST:: SOT 13044828 SOS 6024181 HAS SOPS 6023190 HAS SOUS 677362 HAS SOUPS 676837 WITH SCORE 682861.181
AT ITER 5625 NEW BEST:: SOT 13044828 SOS 6023361 HAS SOPS 6022370 HAS SOUS 676952 HAS SOUPS 676427 WITH SCORE 682450.361
AT ITER 5629 NEW BEST:: SOT 13044893 SOS 6023442 HAS SOPS 6022451 HAS SOUS 676734 HAS SOUPS 676209 WITH SCORE 682232.442
AT ITER 5636 NEW BEST:: SOT 13044685 SOS 6023234 HAS SOPS 6022243 HAS SOUS 676564 HAS SOUPS 676039 WITH SCORE 682062.234
AT ITER 5663 NEW BEST:: SOT 13044685 SOS 6019418 HAS SOPS 6018427 HAS SOUS 676492 HAS SOUPS 675967 WITH SCORE 681986.418
AT ITER 5694 NEW BEST:: SOT 13044685 SOS 6019418 HAS SOPS 6018427 HAS SOUS 676482 HAS SOUPS 675957 WITH SCORE 681976.418
AT ITER 5702 NEW BEST:: SOT 13044625 SOS 6019358 HAS SOPS 6018367 HAS SOUS 676443 HAS SOUPS 675918 WITH SCORE 681937.358
AT ITER 5715 NEW BEST:: SOT 13044625 SOS 6019409 HAS SOPS 6018418 HAS SOUS 676392 HAS SOUPS 675867 WITH SCORE 681886.409
AT ITER 5723 NEW BEST:: SOT 13043015 SOS 6017799 HAS SOPS 6016808 HAS SOUS 674891 HAS SOUPS 674366 WITH SCORE 680383.799
AT ITER 5725 NEW BEST:: SOT 13042993 SOS 6017777 HAS SOPS 6016786 HAS SOUS 674888 HAS SOUPS 674363 WITH SCORE 680380.777
AT ITER 5757 NEW BEST:: SOT 13041986 SOS 6016770 HAS SOPS 6015779 HAS SOUS 672826 HAS SOUPS 672301 WITH SCORE 678317.77
AT ITER 5767 NEW BEST:: SOT 13041910 SOS 6016694 HAS SOPS 6015703 HAS SOUS 672750 HAS SOUPS 672225 WITH SCORE 678241.694
AT ITER 5782 NEW BEST:: SOT 13044589 SOS 6019373 HAS SOPS 6018382 HAS SOUS 672674 HAS SOUPS 672149 WITH SCORE 678168.373
AT ITER 5805 NEW BEST:: SOT 13044468 SOS 6019252 HAS SOPS 6018261 HAS SOUS 672418 HAS SOUPS 671893 WITH SCORE 677912.252
AT ITER 5846 NEW BEST:: SOT 13045408 SOS 6020192 HAS SOPS 6019201 HAS SOUS 672121 HAS SOUPS 671596 WITH SCORE 677616.192
AT ITER 5852 NEW BEST:: SOT 13045416 SOS 6020200 HAS SOPS 6019209 HAS SOUS 672113 HAS SOUPS 671588 WITH SCORE 677608.2
AT ITER 5858 NEW BEST:: SOT 13048098 SOS 6023806 HAS SOPS 6022815 HAS SOUS 671740 HAS SOUPS 671215 WITH SCORE 677238.806
AT ITER 5876 NEW BEST:: SOT 13046255 SOS 6021963 HAS SOPS 6020972 HAS SOUS 669590 HAS SOUPS 669065 WITH SCORE 675086.963
AT ITER 5878 NEW BEST:: SOT 13045786 SOS 6020798 HAS SOPS 6019807 HAS SOUS 669133 HAS SOUPS 668608 WITH SCORE 674628.798
AT ITER 5889 NEW BEST:: SOT 13045804 SOS 6020816 HAS SOPS 6019825 HAS SOUS 669081 HAS SOUPS 668556 WITH SCORE 674576.816
AT ITER 5926 NEW BEST:: SOT 13045207 SOS 6020219 HAS SOPS 6019228 HAS SOUS 668503 HAS SOUPS 667978 WITH SCORE 673998.219
AT ITER 5936 NEW BEST:: SOT 13046413 SOS 6029498 HAS SOPS 6028490 HAS SOUS 666843 HAS SOUPS 666318 WITH SCORE 672347.498
AT ITER 5939 NEW BEST:: SOT 13046352 SOS 6029437 HAS SOPS 6028429 HAS SOUS 666782 HAS SOUPS 666257 WITH SCORE 672286.437
AT ITER 5967 NEW BEST:: SOT 13046116 SOS 6029195 HAS SOPS 6028187 HAS SOUS 666552 HAS SOUPS 666027 WITH SCORE 672056.195
AT ITER 5994 NEW BEST:: SOT 13046116 SOS 6034136 HAS SOPS 6033128 HAS SOUS 666471 HAS SOUPS 665946 WITH SCORE 671980.136
AT ITER 5996 NEW BEST:: SOT 13045700 SOS 6033720 HAS SOPS 6032712 HAS SOUS 666099 HAS SOUPS 665574 WITH SCORE 671607.72
AT ITER 6010 NEW BEST:: SOT 13045700 SOS 6033659 HAS SOPS 6032651 HAS SOUS 665977 HAS SOUPS 665452 WITH SCORE 671485.659
AT ITER 6025 NEW BEST:: SOT 13047149 SOS 6035108 HAS SOPS 6034100 HAS SOUS 664857 HAS SOUPS 664332 WITH SCORE 670367.108
AT ITER 6036 NEW BEST:: SOT 13047013 SOS 6157084 HAS SOPS 6156076 HAS SOUS 664721 HAS SOUPS 664196 WITH SCORE 670353.084
AT ITER 6056 NEW BEST:: SOT 13047013 SOS 6157111 HAS SOPS 6156103 HAS SOUS 664479 HAS SOUPS 663954 WITH SCORE 670111.111
AT ITER 6066 NEW BEST:: SOT 13046871 SOS 6156979 HAS SOPS 6155971 HAS SOUS 664269 HAS SOUPS 663744 WITH SCORE 669900.979
AT ITER 6095 NEW BEST:: SOT 13046871 SOS 7108405 HAS SOPS 7107981 HAS SOUS 660726 HAS SOUPS 660326 WITH SCORE 667434.405
AT ITER 6107 NEW BEST:: SOT 13046871 SOS 7107397 HAS SOPS 7106973 HAS SOUS 660726 HAS SOUPS 660326 WITH SCORE 667433.397
AT ITER 6116 NEW BEST:: SOT 13046871 SOS 7102861 HAS SOPS 7102437 HAS SOUS 660717 HAS SOUPS 660317 WITH SCORE 667419.861
AT ITER 6137 NEW BEST:: SOT 13046871 SOS 7102875 HAS SOPS 7102451 HAS SOUS 660703 HAS SOUPS 660303 WITH SCORE 667405.875
AT ITER 6184 NEW BEST:: SOT 13047339 SOS 7103343 HAS SOPS 7102919 HAS SOUS 656377 HAS SOUPS 655977 WITH SCORE 663080.343
AT ITER 6203 NEW BEST:: SOT 13047481 SOS 7104277 HAS SOPS 7103853 HAS SOUS 655892 HAS SOUPS 655492 WITH SCORE 662596.277
AT ITER 6206 NEW BEST:: SOT 13047481 SOS 7104277 HAS SOPS 7103853 HAS SOUS 655874 HAS SOUPS 655474 WITH SCORE 662578.277
AT ITER 6225 NEW BEST:: SOT 13047424 SOS 7104220 HAS SOPS 7103796 HAS SOUS 655817 HAS SOUPS 655417 WITH SCORE 662521.22
AT ITER 6227 NEW BEST:: SOT 13052262 SOS 7109042 HAS SOPS 7108618 HAS SOUS 655254 HAS SOUPS 654854 WITH SCORE 661963.042
AT ITER 6233 NEW BEST:: SOT 13052022 SOS 7108803 HAS SOPS 7108379 HAS SOUS 654754 HAS SOUPS 654354 WITH SCORE 661462.803
AT ITER 6246 NEW BEST:: SOT 13052022 SOS 7110818 HAS SOPS 7110394 HAS SOUS 654677 HAS SOUPS 654277 WITH SCORE 661387.818
AT ITER 6282 NEW BEST:: SOT 13054578 SOS 7122682 HAS SOPS 7122258 HAS SOUS 653343 HAS SOUPS 652943 WITH SCORE 660065.682
AT ITER 6293 NEW BEST:: SOT 13054359 SOS 7122463 HAS SOPS 7122039 HAS SOUS 652242 HAS SOUPS 651842 WITH SCORE 658964.463
AT ITER 6312 NEW BEST:: SOT 13054359 SOS 7122461 HAS SOPS 7122037 HAS SOUS 652240 HAS SOUPS 651840 WITH SCORE 658962.461
AT ITER 6317 NEW BEST:: SOT 13052404 SOS 7120479 HAS SOPS 7120055 HAS SOUS 651607 HAS SOUPS 651207 WITH SCORE 658327.479
AT ITER 6347 NEW BEST:: SOT 13052202 SOS 7120133 HAS SOPS 7119709 HAS SOUS 651339 HAS SOUPS 650939 WITH SCORE 658059.133
AT ITER 6350 NEW BEST:: SOT 13052031 SOS 7119962 HAS SOPS 7119538 HAS SOUS 650955 HAS SOUPS 650555 WITH SCORE 657674.962
AT ITER 6374 NEW BEST:: SOT 13051082 SOS 7119265 HAS SOPS 7118841 HAS SOUS 649057 HAS SOUPS 648657 WITH SCORE 655776.265
AT ITER 6391 NEW BEST:: SOT 13049588 SOS 7117771 HAS SOPS 7117347 HAS SOUS 646142 HAS SOUPS 645742 WITH SCORE 652859.771
AT ITER 6397 NEW BEST:: SOT 13049073 SOS 7116346 HAS SOPS 7115922 HAS SOUS 645944 HAS SOUPS 645544 WITH SCORE 652660.346
AT ITER 6418 NEW BEST:: SOT 13049073 SOS 7114906 HAS SOPS 7114482 HAS SOUS 645944 HAS SOUPS 645544 WITH SCORE 652658.906
AT ITER 6430 NEW BEST:: SOT 13052212 SOS 7118045 HAS SOPS 7117621 HAS SOUS 645713 HAS SOUPS 645313 WITH SCORE 652431.045
AT ITER 6434 NEW BEST:: SOT 13047913 SOS 7113746 HAS SOPS 7113322 HAS SOUS 641997 HAS SOUPS 641597 WITH SCORE 648710.746
AT ITER 6438 NEW BEST:: SOT 13047913 SOS 7112468 HAS SOPS 7112044 HAS SOUS 641979 HAS SOUPS 641579 WITH SCORE 648691.468
AT ITER 6439 NEW BEST:: SOT 13047601 SOS 7112156 HAS SOPS 7111732 HAS SOUS 641350 HAS SOUPS 640950 WITH SCORE 648062.156
AT ITER 6461 NEW BEST:: SOT 13047601 SOS 7112142 HAS SOPS 7111718 HAS SOUS 641336 HAS SOUPS 640936 WITH SCORE 648048.142
AT ITER 6464 NEW BEST:: SOT 13047601 SOS 7114265 HAS SOPS 7113841 HAS SOUS 640103 HAS SOUPS 639703 WITH SCORE 646817.265
AT ITER 6472 NEW BEST:: SOT 13045921 SOS 7112585 HAS SOPS 7112161 HAS SOUS 636510 HAS SOUPS 636110 WITH SCORE 643222.585
AT ITER 6476 NEW BEST:: SOT 13045964 SOS 7112628 HAS SOPS 7112204 HAS SOUS 636506 HAS SOUPS 636106 WITH SCORE 643218.628
AT ITER 6520 NEW BEST:: SOT 13045990 SOS 7112654 HAS SOPS 7112230 HAS SOUS 636484 HAS SOUPS 636084 WITH SCORE 643196.654
AT ITER 6532 NEW BEST:: SOT 13045990 SOS 7112726 HAS SOPS 7112302 HAS SOUS 636412 HAS SOUPS 636012 WITH SCORE 643124.726
AT ITER 6547 NEW BEST:: SOT 13047989 SOS 7114756 HAS SOPS 7114332 HAS SOUS 633164 HAS SOUPS 632764 WITH SCORE 639878.756
AT ITER 6549 NEW BEST:: SOT 13047940 SOS 7114707 HAS SOPS 7114283 HAS SOUS 633140 HAS SOUPS 632740 WITH SCORE 639854.707
AT ITER 6642 NEW BEST:: SOT 13048127 SOS 7115182 HAS SOPS 7114758 HAS SOUS 632928 HAS SOUPS 632528 WITH SCORE 639643.182
AT ITER 6656 NEW BEST:: SOT 13050723 SOS 7117778 HAS SOPS 7117354 HAS SOUS 632066 HAS SOUPS 631666 WITH SCORE 638783.778
AT ITER 6704 NEW BEST:: SOT 13050723 SOS 7114178 HAS SOPS 7113754 HAS SOUS 632066 HAS SOUPS 631666 WITH SCORE 638780.178
AT ITER 6705 NEW BEST:: SOT 13050783 SOS 7111633 HAS SOPS 7111209 HAS SOUS 631100 HAS SOUPS 630700 WITH SCORE 637811.633
AT ITER 6753 NEW BEST:: SOT 13050997 SOS 7111847 HAS SOPS 7111423 HAS SOUS 631094 HAS SOUPS 630694 WITH SCORE 637805.847
AT ITER 6770 NEW BEST:: SOT 13050351 SOS 7111201 HAS SOPS 7110777 HAS SOUS 631016 HAS SOUPS 630616 WITH SCORE 637727.201
AT ITER 6777 NEW BEST:: SOT 13050351 SOS 7108321 HAS SOPS 7107897 HAS SOUS 631016 HAS SOUPS 630616 WITH SCORE 637724.321
AT ITER 6811 NEW BEST:: SOT 13050245 SOS 7228792 HAS SOPS 7228368 HAS SOUS 630855 HAS SOUPS 630455 WITH SCORE 637683.792
AT ITER 6898 NEW BEST:: SOT 13050245 SOS 7228812 HAS SOPS 7228388 HAS SOUS 630833 HAS SOUPS 630433 WITH SCORE 637661.812
AT ITER 6908 NEW BEST:: SOT 13050185 SOS 7228752 HAS SOPS 7228328 HAS SOUS 630800 HAS SOUPS 630400 WITH SCORE 637628.752
AT ITER 6918 NEW BEST:: SOT 13050185 SOS 7226340 HAS SOPS 7225916 HAS SOUS 630764 HAS SOUPS 630364 WITH SCORE 637590.34
AT ITER 6941 NEW BEST:: SOT 13045637 SOS 7221792 HAS SOPS 7221368 HAS SOUS 630715 HAS SOUPS 630315 WITH SCORE 637536.792
AT ITER 6956 NEW BEST:: SOT 13043989 SOS 7220018 HAS SOPS 7219594 HAS SOUS 630095 HAS SOUPS 629695 WITH SCORE 636915.018
AT ITER 6983 NEW BEST:: SOT 13043989 SOS 7220018 HAS SOPS 7219594 HAS SOUS 630071 HAS SOUPS 629671 WITH SCORE 636891.018
AT ITER 7008 NEW BEST:: SOT 13043989 SOS 7220058 HAS SOPS 7219634 HAS SOUS 630031 HAS SOUPS 629631 WITH SCORE 636851.058
AT ITER 7024 NEW BEST:: SOT 13044068 SOS 7220137 HAS SOPS 7219713 HAS SOUS 630011 HAS SOUPS 629611 WITH SCORE 636831.137
AT ITER 7026 NEW BEST:: SOT 13044068 SOS 7219705 HAS SOPS 7219281 HAS SOUS 630011 HAS SOUPS 629611 WITH SCORE 636830.705
AT ITER 7036 NEW BEST:: SOT 13042752 SOS 7218389 HAS SOPS 7217965 HAS SOUS 627305 HAS SOUPS 626905 WITH SCORE 634123.389
AT ITER 7053 NEW BEST:: SOT 13042716 SOS 7218353 HAS SOPS 7217929 HAS SOUS 627281 HAS SOUPS 626881 WITH SCORE 634099.353
AT ITER 7071 NEW BEST:: SOT 13042716 SOS 7217417 HAS SOPS 7216993 HAS SOUS 627281 HAS SOUPS 626881 WITH SCORE 634098.417
AT ITER 7080 NEW BEST:: SOT 13041408 SOS 7216109 HAS SOPS 7215685 HAS SOUS 626113 HAS SOUPS 625713 WITH SCORE 632929.109
AT ITER 7118 NEW BEST:: SOT 13041281 SOS 7215982 HAS SOPS 7215558 HAS SOUS 626036 HAS SOUPS 625636 WITH SCORE 632851.982
AT ITER 7142 NEW BEST:: SOT 13041269 SOS 7215970 HAS SOPS 7215546 HAS SOUS 625915 HAS SOUPS 625515 WITH SCORE 632730.97
AT ITER 7153 NEW BEST:: SOT 13041269 SOS 7215250 HAS SOPS 7214826 HAS SOUS 625915 HAS SOUPS 625515 WITH SCORE 632730.25
AT ITER 7156 NEW BEST:: SOT 13041537 SOS 7215448 HAS SOPS 7215024 HAS SOUS 624347 HAS SOUPS 623947 WITH SCORE 631162.448
AT ITER 7163 NEW BEST:: SOT 13039736 SOS 7213623 HAS SOPS 7213199 HAS SOUS 624216 HAS SOUPS 623816 WITH SCORE 631029.623
AT ITER 7168 NEW BEST:: SOT 13039741 SOS 7213628 HAS SOPS 7213204 HAS SOUS 624205 HAS SOUPS 623805 WITH SCORE 631018.628
AT ITER 7176 NEW BEST:: SOT 13039741 SOS 7217720 HAS SOPS 7217296 HAS SOUS 624123 HAS SOUPS 623723 WITH SCORE 630940.72
AT ITER 7182 NEW BEST:: SOT 13039506 SOS 7217485 HAS SOPS 7217061 HAS SOUS 623303 HAS SOUPS 622903 WITH SCORE 630120.485
AT ITER 7188 NEW BEST:: SOT 13038712 SOS 7216691 HAS SOPS 7216267 HAS SOUS 622488 HAS SOUPS 622088 WITH SCORE 629304.691
AT ITER 7189 NEW BEST:: SOT 13038231 SOS 7216210 HAS SOPS 7215786 HAS SOUS 621535 HAS SOUPS 621135 WITH SCORE 628351.21
AT ITER 7231 NEW BEST:: SOT 13036226 SOS 7214205 HAS SOPS 7213781 HAS SOUS 620766 HAS SOUPS 620366 WITH SCORE 627580.205
AT ITER 7248 NEW BEST:: SOT 13036123 SOS 7214102 HAS SOPS 7213678 HAS SOUS 620554 HAS SOUPS 620154 WITH SCORE 627368.102
AT ITER 7319 NEW BEST:: SOT 13036123 SOS 7218224 HAS SOPS 7217800 HAS SOUS 618808 HAS SOUPS 618408 WITH SCORE 625626.224
AT ITER 7336 NEW BEST:: SOT 13036210 SOS 7217519 HAS SOPS 7217095 HAS SOUS 618034 HAS SOUPS 617634 WITH SCORE 624851.519
AT ITER 7356 NEW BEST:: SOT 13031600 SOS 7206302 HAS SOPS 7205855 HAS SOUS 617779 HAS SOUPS 617368 WITH SCORE 624574.302
AT ITER 7394 NEW BEST:: SOT 13032096 SOS 7206798 HAS SOPS 7206351 HAS SOUS 617220 HAS SOUPS 616809 WITH SCORE 624015.798
AT ITER 7408 NEW BEST:: SOT 13032096 SOS 7204902 HAS SOPS 7204455 HAS SOUS 617008 HAS SOUPS 616597 WITH SCORE 623801.902
AT ITER 7415 NEW BEST:: SOT 13032096 SOS 7204902 HAS SOPS 7204455 HAS SOUS 617007 HAS SOUPS 616596 WITH SCORE 623800.902
AT ITER 7448 NEW BEST:: SOT 13032065 SOS 7204871 HAS SOPS 7204424 HAS SOUS 616976 HAS SOUPS 616565 WITH SCORE 623769.871
AT ITER 7450 NEW BEST:: SOT 13032148 SOS 7204818 HAS SOPS 7204388 HAS SOUS 616502 HAS SOUPS 616108 WITH SCORE 623312.818
AT ITER 7517 NEW BEST:: SOT 13029146 SOS 7201816 HAS SOPS 7201386 HAS SOUS 613716 HAS SOUPS 613322 WITH SCORE 620523.816
AT ITER 7525 NEW BEST:: SOT 13029426 SOS 7202016 HAS SOPS 7201565 HAS SOUS 613632 HAS SOUPS 613217 WITH SCORE 620419.016
AT ITER 7533 NEW BEST:: SOT 13029424 SOS 7201902 HAS SOPS 7201431 HAS SOUS 611729 HAS SOUPS 611294 WITH SCORE 618495.902
AT ITER 7557 NEW BEST:: SOT 13029424 SOS 7198878 HAS SOPS 7198391 HAS SOUS 611729 HAS SOUPS 611294 WITH SCORE 618492.878
AT ITER 7597 NEW BEST:: SOT 13029351 SOS 7199111 HAS SOPS 7198651 HAS SOUS 611567 HAS SOUPS 611159 WITH SCORE 618358.111
AT ITER 7630 NEW BEST:: SOT 13030016 SOS 7199776 HAS SOPS 7199316 HAS SOUS 611518 HAS SOUPS 611110 WITH SCORE 618309.776
AT ITER 7656 NEW BEST:: SOT 13030004 SOS 7199764 HAS SOPS 7199304 HAS SOUS 611506 HAS SOUPS 611098 WITH SCORE 618297.764
AT ITER 7668 NEW BEST:: SOT 13030600 SOS 7200360 HAS SOPS 7199900 HAS SOUS 611301 HAS SOUPS 610893 WITH SCORE 618093.36
AT ITER 7716 NEW BEST:: SOT 13030600 SOS 7198704 HAS SOPS 7198244 HAS SOUS 611301 HAS SOUPS 610893 WITH SCORE 618091.704
AT ITER 7722 NEW BEST:: SOT 13030600 SOS 7193664 HAS SOPS 7193204 HAS SOUS 609685 HAS SOUPS 609277 WITH SCORE 616470.664
AT ITER 7723 NEW BEST:: SOT 13030546 SOS 7193610 HAS SOPS 7193150 HAS SOUS 609685 HAS SOUPS 609277 WITH SCORE 616470.61
AT ITER 7735 NEW BEST:: SOT 13030546 SOS 7193610 HAS SOPS 7193150 HAS SOUS 609671 HAS SOUPS 609263 WITH SCORE 616456.61
AT ITER 7740 NEW BEST:: SOT 13030546 SOS 7192317 HAS SOPS 7191857 HAS SOUS 609239 HAS SOUPS 608831 WITH SCORE 616023.317
AT ITER 7747 NEW BEST:: SOT 13030152 SOS 7191909 HAS SOPS 7191449 HAS SOUS 608941 HAS SOUPS 608533 WITH SCORE 615724.909
AT ITER 7780 NEW BEST:: SOT 13030152 SOS 7191909 HAS SOPS 7191449 HAS SOUS 608833 HAS SOUPS 608425 WITH SCORE 615616.909
AT ITER 7785 NEW BEST:: SOT 13034561 SOS 7199918 HAS SOPS 7199458 HAS SOUS 607370 HAS SOUPS 606962 WITH SCORE 614161.918
AT ITER 7792 NEW BEST:: SOT 13034863 SOS 7200220 HAS SOPS 7199760 HAS SOUS 607326 HAS SOUPS 606918 WITH SCORE 614118.22
AT ITER 7810 NEW BEST:: SOT 13030998 SOS 7196355 HAS SOPS 7195895 HAS SOUS 606039 HAS SOUPS 605631 WITH SCORE 612827.355
AT ITER 7843 NEW BEST:: SOT 13030962 SOS 7196319 HAS SOPS 7195859 HAS SOUS 605966 HAS SOUPS 605558 WITH SCORE 612754.319
AT ITER 7856 NEW BEST:: SOT 13030700 SOS 7196047 HAS SOPS 7195587 HAS SOUS 605774 HAS SOUPS 605366 WITH SCORE 612562.047
AT ITER 7903 NEW BEST:: SOT 13030688 SOS 7196035 HAS SOPS 7195575 HAS SOUS 605762 HAS SOUPS 605354 WITH SCORE 612550.035
AT ITER 7918 NEW BEST:: SOT 13030674 SOS 7196021 HAS SOPS 7195561 HAS SOUS 605748 HAS SOUPS 605340 WITH SCORE 612536.021
AT ITER 7935 NEW BEST:: SOT 13032108 SOS 7197520 HAS SOPS 7197060 HAS SOUS 605169 HAS SOUPS 604761 WITH SCORE 611958.52
AT ITER 7939 NEW BEST:: SOT 13032285 SOS 7197697 HAS SOPS 7197237 HAS SOUS 605117 HAS SOUPS 604709 WITH SCORE 611906.697
AT ITER 7957 NEW BEST:: SOT 13034782 SOS 7200236 HAS SOPS 7199776 HAS SOUS 604155 HAS SOUPS 603747 WITH SCORE 610947.236
AT ITER 7978 NEW BEST:: SOT 13034582 SOS 7200036 HAS SOPS 7199576 HAS SOUS 603733 HAS SOUPS 603325 WITH SCORE 610525.036
AT ITER 7996 NEW BEST:: SOT 13034582 SOS 7197551 HAS SOPS 7197091 HAS SOUS 603698 HAS SOUPS 603290 WITH SCORE 610487.551
AT ITER 8053 NEW BEST:: SOT 13033143 SOS 7196112 HAS SOPS 7195652 HAS SOUS 602647 HAS SOUPS 602239 WITH SCORE 609435.112
AT ITER 8062 NEW BEST:: SOT 13033102 SOS 7196071 HAS SOPS 7195611 HAS SOUS 602574 HAS SOUPS 602166 WITH SCORE 609362.071
AT ITER 8066 NEW BEST:: SOT 13033573 SOS 7196542 HAS SOPS 7196082 HAS SOUS 601935 HAS SOUPS 601527 WITH SCORE 608723.542
AT ITER 8119 NEW BEST:: SOT 13034482 SOS 7198093 HAS SOPS 7197633 HAS SOUS 601263 HAS SOUPS 600855 WITH SCORE 608053.093
AT ITER 8153 NEW BEST:: SOT 13034334 SOS 7197945 HAS SOPS 7197485 HAS SOUS 601115 HAS SOUPS 600707 WITH SCORE 607904.945
AT ITER 8194 NEW BEST:: SOT 13034334 SOS 7197959 HAS SOPS 7197499 HAS SOUS 600751 HAS SOUPS 600343 WITH SCORE 607540.959
AT ITER 8196 NEW BEST:: SOT 13034334 SOS 7198296 HAS SOPS 7197836 HAS SOUS 600736 HAS SOUPS 600328 WITH SCORE 607526.296
AT ITER 8203 NEW BEST:: SOT 13034334 SOS 7198242 HAS SOPS 7197782 HAS SOUS 600632 HAS SOUPS 600224 WITH SCORE 607422.242
AT ITER 8204 NEW BEST:: SOT 13036539 SOS 7200447 HAS SOPS 7199987 HAS SOUS 600321 HAS SOUPS 599913 WITH SCORE 607113.447
AT ITER 8209 NEW BEST:: SOT 13036675 SOS 7200583 HAS SOPS 7200123 HAS SOUS 600188 HAS SOUPS 599780 WITH SCORE 606980.583
AT ITER 8213 NEW BEST:: SOT 13036675 SOS 7201145 HAS SOPS 7200685 HAS SOUS 600112 HAS SOUPS 599704 WITH SCORE 606905.145
AT ITER 8225 NEW BEST:: SOT 13036675 SOS 7192926 HAS SOPS 7192466 HAS SOUS 599943 HAS SOUPS 599535 WITH SCORE 606727.926
AT ITER 8249 NEW BEST:: SOT 13036675 SOS 7190768 HAS SOPS 7190308 HAS SOUS 599941 HAS SOUPS 599533 WITH SCORE 606723.768
AT ITER 8283 NEW BEST:: SOT 13036718 SOS 7190811 HAS SOPS 7190351 HAS SOUS 599876 HAS SOUPS 599468 WITH SCORE 606658.811
AT ITER 8286 NEW BEST:: SOT 13036947 SOS 7191040 HAS SOPS 7190580 HAS SOUS 599861 HAS SOUPS 599453 WITH SCORE 606644.04
AT ITER 8383 NEW BEST:: SOT 13036947 SOS 7191047 HAS SOPS 7190587 HAS SOUS 599854 HAS SOUPS 599446 WITH SCORE 606637.047
AT ITER 8386 NEW BEST:: SOT 13036934 SOS 7191034 HAS SOPS 7190574 HAS SOUS 599841 HAS SOUPS 599433 WITH SCORE 606624.034
AT ITER 8406 NEW BEST:: SOT 13036608 SOS 7190708 HAS SOPS 7190248 HAS SOUS 599830 HAS SOUPS 599422 WITH SCORE 606612.708
AT ITER 8413 NEW BEST:: SOT 13036550 SOS 7190650 HAS SOPS 7190190 HAS SOUS 599772 HAS SOUPS 599364 WITH SCORE 606554.65
AT ITER 8414 NEW BEST:: SOT 13036550 SOS 7186932 HAS SOPS 7186472 HAS SOUS 599746 HAS SOUPS 599338 WITH SCORE 606524.932
AT ITER 8455 NEW BEST:: SOT 13036408 SOS 7186790 HAS SOPS 7186330 HAS SOUS 599527 HAS SOUPS 599119 WITH SCORE 606305.79
AT ITER 8497 NEW BEST:: SOT 13036408 SOS 7186790 HAS SOPS 7186330 HAS SOUS 599513 HAS SOUPS 599105 WITH SCORE 606291.79
AT ITER 8535 NEW BEST:: SOT 13037425 SOS 7187917 HAS SOPS 7187422 HAS SOUS 598924 HAS SOUPS 598516 WITH SCORE 605703.917
AT ITER 8547 NEW BEST:: SOT 13037425 SOS 7187493 HAS SOPS 7186998 HAS SOUS 598896 HAS SOUPS 598488 WITH SCORE 605675.493
AT ITER 8551 NEW BEST:: SOT 13037645 SOS 7187713 HAS SOPS 7187218 HAS SOUS 598759 HAS SOUPS 598351 WITH SCORE 605538.713
AT ITER 8621 NEW BEST:: SOT 13037645 SOS 7187663 HAS SOPS 7187168 HAS SOUS 598709 HAS SOUPS 598301 WITH SCORE 605488.663
AT ITER 8642 NEW BEST:: SOT 13037377 SOS 7187415 HAS SOPS 7186924 HAS SOUS 598426 HAS SOUPS 598018 WITH SCORE 605205.415
AT ITER 8658 NEW BEST:: SOT 13037703 SOS 7187741 HAS SOPS 7187250 HAS SOUS 598324 HAS SOUPS 597916 WITH SCORE 605103.741
AT ITER 8664 NEW BEST:: SOT 13035792 SOS 7185803 HAS SOPS 7185312 HAS SOUS 597381 HAS SOUPS 596973 WITH SCORE 604158.803
AT ITER 8680 NEW BEST:: SOT 13035311 SOS 7185322 HAS SOPS 7184831 HAS SOUS 595497 HAS SOUPS 595089 WITH SCORE 602274.322
AT ITER 8750 NEW BEST:: SOT 13035311 SOS 7181375 HAS SOPS 7180884 HAS SOUS 595484 HAS SOUPS 595076 WITH SCORE 602257.375
AT ITER 8785 NEW BEST:: SOT 13035746 SOS 7181526 HAS SOPS 7181035 HAS SOUS 595247 HAS SOUPS 594839 WITH SCORE 602020.526
AT ITER 8794 NEW BEST:: SOT 13035746 SOS 7181029 HAS SOPS 7180538 HAS SOUS 595220 HAS SOUPS 594812 WITH SCORE 601993.029
AT ITER 8803 NEW BEST:: SOT 13037368 SOS 7182603 HAS SOPS 7182123 HAS SOUS 594961 HAS SOUPS 594564 WITH SCORE 601746.603
AT ITER 8836 NEW BEST:: SOT 13035868 SOS 7180692 HAS SOPS 7180212 HAS SOUS 594837 HAS SOUPS 594440 WITH SCORE 601620.692
AT ITER 8837 NEW BEST:: SOT 13035179 SOS 7180003 HAS SOPS 7179523 HAS SOUS 593588 HAS SOUPS 593191 WITH SCORE 600371.003
AT ITER 8855 NEW BEST:: SOT 13035171 SOS 7179995 HAS SOPS 7179515 HAS SOUS 593580 HAS SOUPS 593183 WITH SCORE 600362.995
AT ITER 8878 NEW BEST:: SOT 13034533 SOS 7179332 HAS SOPS 7178852 HAS SOUS 593523 HAS SOUPS 593126 WITH SCORE 600305.332
AT ITER 8879 NEW BEST:: SOT 13034533 SOS 7179188 HAS SOPS 7178708 HAS SOUS 593523 HAS SOUPS 593126 WITH SCORE 600305.188
AT ITER 8895 NEW BEST:: SOT 13034492 SOS 7179147 HAS SOPS 7178667 HAS SOUS 592437 HAS SOUPS 592040 WITH SCORE 599219.147
AT ITER 8907 NEW BEST:: SOT 13034481 SOS 7179136 HAS SOPS 7178656 HAS SOUS 592437 HAS SOUPS 592040 WITH SCORE 599219.136
AT ITER 8938 NEW BEST:: SOT 13034481 SOS 7179077 HAS SOPS 7178597 HAS SOUS 592437 HAS SOUPS 592040 WITH SCORE 599219.077
AT ITER 8957 NEW BEST:: SOT 13034485 SOS 7179081 HAS SOPS 7178601 HAS SOUS 592427 HAS SOUPS 592030 WITH SCORE 599209.081
AT ITER 8996 NEW BEST:: SOT 13034980 SOS 7179576 HAS SOPS 7179096 HAS SOUS 592379 HAS SOUPS 591982 WITH SCORE 599161.576
AT ITER 8999 NEW BEST:: SOT 13034140 SOS 7178736 HAS SOPS 7178256 HAS SOUS 592307 HAS SOUPS 591910 WITH SCORE 599088.736
AT ITER 9004 NEW BEST:: SOT 13032822 SOS 7178958 HAS SOPS 7178478 HAS SOUS 591866 HAS SOUPS 591469 WITH SCORE 598647.958
AT ITER 9010 NEW BEST:: SOT 13032792 SOS 7178928 HAS SOPS 7178448 HAS SOUS 591852 HAS SOUPS 591455 WITH SCORE 598633.928
AT ITER 9019 NEW BEST:: SOT 13031838 SOS 7177974 HAS SOPS 7177494 HAS SOUS 590794 HAS SOUPS 590397 WITH SCORE 597574.974
AT ITER 9055 NEW BEST:: SOT 13031825 SOS 7177961 HAS SOPS 7177481 HAS SOUS 590781 HAS SOUPS 590384 WITH SCORE 597561.961
AT ITER 9148 NEW BEST:: SOT 13031825 SOS 7180267 HAS SOPS 7179787 HAS SOUS 590756 HAS SOUPS 590359 WITH SCORE 597539.267
AT ITER 9160 NEW BEST:: SOT 13031744 SOS 7180186 HAS SOPS 7179706 HAS SOUS 590711 HAS SOUPS 590314 WITH SCORE 597494.186
AT ITER 9231 NEW BEST:: SOT 13031744 SOS 7180816 HAS SOPS 7180336 HAS SOUS 590692 HAS SOUPS 590295 WITH SCORE 597475.816
AT ITER 9247 NEW BEST:: SOT 13031375 SOS 7180447 HAS SOPS 7179967 HAS SOUS 590356 HAS SOUPS 589959 WITH SCORE 597139.447
AT ITER 9257 NEW BEST:: SOT 13031385 SOS 7179463 HAS SOPS 7178997 HAS SOUS 590352 HAS SOUPS 589955 WITH SCORE 597134.463
AT ITER 9267 NEW BEST:: SOT 13031173 SOS 7182418 HAS SOPS 7182003 HAS SOUS 589552 HAS SOUPS 589175 WITH SCORE 596357.418
AT ITER 9298 NEW BEST:: SOT 13031058 SOS 7182303 HAS SOPS 7181888 HAS SOUS 589319 HAS SOUPS 588942 WITH SCORE 596124.303
AT ITER 9303 NEW BEST:: SOT 13029938 SOS 7181183 HAS SOPS 7180768 HAS SOUS 588596 HAS SOUPS 588219 WITH SCORE 595400.183
AT ITER 9335 NEW BEST:: SOT 13029001 SOS 6267265 HAS SOPS 6266243 HAS SOUS 587828 HAS SOUPS 587303 WITH SCORE 593570.265
AT ITER 9344 NEW BEST:: SOT 13030318 SOS 6268820 HAS SOPS 6267800 HAS SOUS 586651 HAS SOUPS 586126 WITH SCORE 592394.82
AT ITER 9374 NEW BEST:: SOT 13030318 SOS 6267092 HAS SOPS 6266072 HAS SOUS 586651 HAS SOUPS 586126 WITH SCORE 592393.092
AT ITER 9391 NEW BEST:: SOT 13030301 SOS 6267075 HAS SOPS 6266055 HAS SOUS 586634 HAS SOUPS 586109 WITH SCORE 592376.075
AT ITER 9409 NEW BEST:: SOT 13031313 SOS 6268083 HAS SOPS 6267067 HAS SOUS 586167 HAS SOUPS 585646 WITH SCORE 591914.083
AT ITER 9414 NEW BEST:: SOT 13031313 SOS 6267075 HAS SOPS 6266059 HAS SOUS 586167 HAS SOUPS 585646 WITH SCORE 591913.075
AT ITER 9415 NEW BEST:: SOT 13031313 SOS 6236812 HAS SOPS 6236477 HAS SOUS 585084 HAS SOUPS 584790 WITH SCORE 591026.812
AT ITER 9423 NEW BEST:: SOT 13031313 SOS 6236452 HAS SOPS 6236117 HAS SOUS 585084 HAS SOUPS 584790 WITH SCORE 591026.452
AT ITER 9427 NEW BEST:: SOT 13031313 SOS 6234481 HAS SOPS 6234146 HAS SOUS 585030 HAS SOUPS 584736 WITH SCORE 590970.481
AT ITER 9440 NEW BEST:: SOT 13031514 SOS 6234434 HAS SOPS 6234099 HAS SOUS 584889 HAS SOUPS 584595 WITH SCORE 590829.434
AT ITER 9477 NEW BEST:: SOT 13031514 SOS 6234292 HAS SOPS 6233959 HAS SOUS 584887 HAS SOUPS 584593 WITH SCORE 590827.292
AT ITER 9550 NEW BEST:: SOT 13027581 SOS 6230359 HAS SOPS 6230026 HAS SOUS 580667 HAS SOUPS 580373 WITH SCORE 586603.359
AT ITER 9563 NEW BEST:: SOT 13027509 SOS 6230287 HAS SOPS 6229954 HAS SOUS 580664 HAS SOUPS 580370 WITH SCORE 586600.287
AT ITER 9570 NEW BEST:: SOT 13027486 SOS 6230264 HAS SOPS 6229931 HAS SOUS 580641 HAS SOUPS 580347 WITH SCORE 586577.264
AT ITER 9584 NEW BEST:: SOT 13027462 SOS 6230240 HAS SOPS 6229907 HAS SOUS 580641 HAS SOUPS 580347 WITH SCORE 586577.24
AT ITER 9660 NEW BEST:: SOT 13023520 SOS 6221808 HAS SOPS 6221475 HAS SOUS 580235 HAS SOUPS 579941 WITH SCORE 586162.808
AT ITER 9662 NEW BEST:: SOT 13023523 SOS 6221811 HAS SOPS 6221478 HAS SOUS 579978 HAS SOUPS 579684 WITH SCORE 585905.811
AT ITER 9687 NEW BEST:: SOT 13020895 SOS 6211826 HAS SOPS 6211632 HAS SOUS 574055 HAS SOUPS 573883 WITH SCORE 580094.826
AT ITER 9706 NEW BEST:: SOT 13027710 SOS 6218641 HAS SOPS 6218447 HAS SOUS 573777 HAS SOUPS 573605 WITH SCORE 579823.641
AT ITER 9711 NEW BEST:: SOT 13027710 SOS 6218489 HAS SOPS 6218295 HAS SOUS 573637 HAS SOUPS 573465 WITH SCORE 579683.489
AT ITER 9717 NEW BEST:: SOT 13027529 SOS 6218308 HAS SOPS 6218114 HAS SOUS 573481 HAS SOUPS 573309 WITH SCORE 579527.308
AT ITER 9755 NEW BEST:: SOT 13027379 SOS 6212775 HAS SOPS 6212581 HAS SOUS 573120 HAS SOUPS 572948 WITH SCORE 579160.775
AT ITER 9763 NEW BEST:: SOT 13027303 SOS 6212735 HAS SOPS 6212541 HAS SOUS 572046 HAS SOUPS 571874 WITH SCORE 578086.735
AT ITER 9867 NEW BEST:: SOT 13026047 SOS 6211150 HAS SOPS 6210950 HAS SOUS 572011 HAS SOUPS 571833 WITH SCORE 578044.15
AT ITER 9891 NEW BEST:: SOT 13026047 SOS 6211006 HAS SOPS 6210845 HAS SOUS 571147 HAS SOUPS 571008 WITH SCORE 577219.006
AT ITER 9976 NEW BEST:: SOT 13027357 SOS 6212316 HAS SOPS 6212155 HAS SOUS 570866 HAS SOUPS 570727 WITH SCORE 576939.316

BK_STOP 1678792336244

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 521 Killed ${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-q8m128"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is BugTracking-PT-q8m128, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813696800440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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