About the Execution of Smart for BugTracking-PT-q8m002
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16222.464 | 3452087.00 | 3451470.00 | 538.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688100392.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BugTracking-PT-q8m002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688100392
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 11K Feb 26 07:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 07:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 07:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 07:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 08:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678467600279
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q8m002
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m002
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12976552 SOS 6056099 HAS SOPS 6051644 HAS SOUS 1658044 HAS SOUPS 1653589 WITH SCORE 1659645.099
AT ITER 6 NEW BEST:: SOT 12976542 SOS 6056089 HAS SOPS 6051634 HAS SOUS 1658015 HAS SOUPS 1653560 WITH SCORE 1659616.089
AT ITER 7 NEW BEST:: SOT 12974472 SOS 6054525 HAS SOPS 6050070 HAS SOUS 1657473 HAS SOUPS 1653018 WITH SCORE 1659072.525
AT ITER 12 NEW BEST:: SOT 12974472 SOS 6054488 HAS SOPS 6050033 HAS SOUS 1657436 HAS SOUPS 1652981 WITH SCORE 1659035.488
AT ITER 30 NEW BEST:: SOT 12974472 SOS 6046166 HAS SOPS 6041711 HAS SOUS 1657322 HAS SOUPS 1652867 WITH SCORE 1658913.166
AT ITER 67 NEW BEST:: SOT 12974572 SOS 6046214 HAS SOPS 6041811 HAS SOUS 1647681 HAS SOUPS 1643278 WITH SCORE 1649324.214
AT ITER 75 NEW BEST:: SOT 12974572 SOS 6041822 HAS SOPS 6037419 HAS SOUS 1647681 HAS SOUPS 1643278 WITH SCORE 1649319.822
AT ITER 89 NEW BEST:: SOT 12970576 SOS 6037927 HAS SOPS 6033605 HAS SOUS 1633877 HAS SOUPS 1629555 WITH SCORE 1635592.927
AT ITER 93 NEW BEST:: SOT 12965869 SOS 6036748 HAS SOPS 6032426 HAS SOUS 1629474 HAS SOUPS 1625152 WITH SCORE 1631188.748
AT ITER 103 NEW BEST:: SOT 12956135 SOS 6030703 HAS SOPS 6026381 HAS SOUS 1620681 HAS SOUPS 1616359 WITH SCORE 1622389.703
AT ITER 115 NEW BEST:: SOT 12956360 SOS 6030928 HAS SOPS 6026606 HAS SOUS 1613332 HAS SOUPS 1609010 WITH SCORE 1615040.928
AT ITER 140 NEW BEST:: SOT 12956394 SOS 6030962 HAS SOPS 6026640 HAS SOUS 1611257 HAS SOUPS 1606935 WITH SCORE 1612965.962
AT ITER 143 NEW BEST:: SOT 12955016 SOS 6030070 HAS SOPS 6025748 HAS SOUS 1608357 HAS SOUPS 1604035 WITH SCORE 1610065.07
AT ITER 145 NEW BEST:: SOT 12954911 SOS 6032229 HAS SOPS 6027907 HAS SOUS 1608257 HAS SOUPS 1603935 WITH SCORE 1609967.229
AT ITER 149 NEW BEST:: SOT 12889386 SOS 8657404 HAS SOPS 8653904 HAS SOUS 1541487 HAS SOUPS 1537987 WITH SCORE 1546644.404
AT ITER 173 NEW BEST:: SOT 12893297 SOS 8661809 HAS SOPS 8658309 HAS SOUS 1538898 HAS SOUPS 1535398 WITH SCORE 1544059.809
AT ITER 181 NEW BEST:: SOT 12890256 SOS 8661924 HAS SOPS 8658424 HAS SOUS 1537736 HAS SOUPS 1534236 WITH SCORE 1542897.924
AT ITER 194 NEW BEST:: SOT 12889978 SOS 8661886 HAS SOPS 8658386 HAS SOUS 1537647 HAS SOUPS 1534147 WITH SCORE 1542808.886
AT ITER 197 NEW BEST:: SOT 12889519 SOS 8661427 HAS SOPS 8657927 HAS SOUS 1536705 HAS SOUPS 1533205 WITH SCORE 1541866.427
AT ITER 218 NEW BEST:: SOT 12881444 SOS 8657248 HAS SOPS 8653748 HAS SOUS 1528436 HAS SOUPS 1524936 WITH SCORE 1533593.248
AT ITER 221 NEW BEST:: SOT 12879163 SOS 8655126 HAS SOPS 8651626 HAS SOUS 1527200 HAS SOUPS 1523700 WITH SCORE 1532355.126
AT ITER 222 NEW BEST:: SOT 12869784 SOS 8648471 HAS SOPS 8644971 HAS SOUS 1517855 HAS SOUPS 1514355 WITH SCORE 1523003.471
AT ITER 223 NEW BEST:: SOT 12872592 SOS 8651279 HAS SOPS 8647779 HAS SOUS 1512576 HAS SOUPS 1509076 WITH SCORE 1517727.279
AT ITER 229 NEW BEST:: SOT 12887187 SOS 8679055 HAS SOPS 8675622 HAS SOUS 1512476 HAS SOUPS 1509043 WITH SCORE 1517722.055
AT ITER 249 NEW BEST:: SOT 12904392 SOS 8696260 HAS SOPS 8692827 HAS SOUS 1507363 HAS SOUPS 1503930 WITH SCORE 1512626.26
AT ITER 254 NEW BEST:: SOT 12904392 SOS 8696260 HAS SOPS 8692827 HAS SOUS 1507339 HAS SOUPS 1503906 WITH SCORE 1512602.26
AT ITER 257 NEW BEST:: SOT 12903974 SOS 8695842 HAS SOPS 8692409 HAS SOUS 1506489 HAS SOUPS 1503056 WITH SCORE 1511751.842
AT ITER 269 NEW BEST:: SOT 12903284 SOS 8695152 HAS SOPS 8691719 HAS SOUS 1496993 HAS SOUPS 1493560 WITH SCORE 1502255.152
AT ITER 285 NEW BEST:: SOT 12901291 SOS 8693123 HAS SOPS 8689690 HAS SOUS 1494915 HAS SOUPS 1491482 WITH SCORE 1500175.123
AT ITER 289 NEW BEST:: SOT 12901291 SOS 8693775 HAS SOPS 8690342 HAS SOUS 1494495 HAS SOUPS 1491062 WITH SCORE 1499755.775
AT ITER 293 NEW BEST:: SOT 12900364 SOS 8692848 HAS SOPS 8689415 HAS SOUS 1493715 HAS SOUPS 1490282 WITH SCORE 1498974.848
AT ITER 301 NEW BEST:: SOT 12900272 SOS 8693170 HAS SOPS 8689737 HAS SOUS 1493623 HAS SOUPS 1490190 WITH SCORE 1498883.17
AT ITER 305 NEW BEST:: SOT 12896964 SOS 8689862 HAS SOPS 8686429 HAS SOUS 1490014 HAS SOUPS 1486581 WITH SCORE 1495270.862
AT ITER 311 NEW BEST:: SOT 12888525 SOS 8685631 HAS SOPS 8682198 HAS SOUS 1480738 HAS SOUPS 1477305 WITH SCORE 1485990.631
AT ITER 336 NEW BEST:: SOT 12888525 SOS 8678863 HAS SOPS 8675430 HAS SOUS 1480738 HAS SOUPS 1477305 WITH SCORE 1485983.863
AT ITER 344 NEW BEST:: SOT 12888521 SOS 8678857 HAS SOPS 8675424 HAS SOUS 1480734 HAS SOUPS 1477301 WITH SCORE 1485979.857
AT ITER 354 NEW BEST:: SOT 12896730 SOS 8687066 HAS SOPS 8683633 HAS SOUS 1478809 HAS SOUPS 1475376 WITH SCORE 1484063.066
AT ITER 358 NEW BEST:: SOT 12898366 SOS 8688972 HAS SOPS 8685539 HAS SOUS 1477898 HAS SOUPS 1474465 WITH SCORE 1483153.972
AT ITER 365 NEW BEST:: SOT 12898366 SOS 8685876 HAS SOPS 8682443 HAS SOUS 1477898 HAS SOUPS 1474465 WITH SCORE 1483150.876
AT ITER 368 NEW BEST:: SOT 12901959 SOS 8689469 HAS SOPS 8686036 HAS SOUS 1476478 HAS SOUPS 1473045 WITH SCORE 1481734.469
AT ITER 369 NEW BEST:: SOT 12901959 SOS 8689214 HAS SOPS 8685781 HAS SOUS 1476475 HAS SOUPS 1473042 WITH SCORE 1481731.214
AT ITER 373 NEW BEST:: SOT 12902061 SOS 8689316 HAS SOPS 8685883 HAS SOUS 1472930 HAS SOUPS 1469497 WITH SCORE 1478186.316
AT ITER 374 NEW BEST:: SOT 12925243 SOS 8712498 HAS SOPS 8709065 HAS SOUS 1467800 HAS SOUPS 1464367 WITH SCORE 1473079.498
AT ITER 383 NEW BEST:: SOT 12923822 SOS 8713160 HAS SOPS 8709727 HAS SOUS 1465025 HAS SOUPS 1461592 WITH SCORE 1470305.16
AT ITER 399 NEW BEST:: SOT 12921238 SOS 8710576 HAS SOPS 8707143 HAS SOUS 1461922 HAS SOUPS 1458489 WITH SCORE 1467199.576
AT ITER 408 NEW BEST:: SOT 12921238 SOS 8710576 HAS SOPS 8707143 HAS SOUS 1461914 HAS SOUPS 1458481 WITH SCORE 1467191.576
AT ITER 411 NEW BEST:: SOT 12921238 SOS 8704456 HAS SOPS 8701023 HAS SOUS 1461914 HAS SOUPS 1458481 WITH SCORE 1467185.456
AT ITER 416 NEW BEST:: SOT 12926945 SOS 8710163 HAS SOPS 8706730 HAS SOUS 1451842 HAS SOUPS 1448409 WITH SCORE 1457119.163
AT ITER 423 NEW BEST:: SOT 12926945 SOS 8710163 HAS SOPS 8706730 HAS SOUS 1451834 HAS SOUPS 1448401 WITH SCORE 1457111.163
AT ITER 432 NEW BEST:: SOT 12924896 SOS 8708114 HAS SOPS 8704681 HAS SOUS 1444112 HAS SOUPS 1440679 WITH SCORE 1449387.114
AT ITER 435 NEW BEST:: SOT 12925410 SOS 8708694 HAS SOPS 8705323 HAS SOUS 1431405 HAS SOUPS 1428034 WITH SCORE 1436742.694
AT ITER 438 NEW BEST:: SOT 12923817 SOS 8707101 HAS SOPS 8703730 HAS SOUS 1428175 HAS SOUPS 1424804 WITH SCORE 1433511.101
AT ITER 441 NEW BEST:: SOT 12923817 SOS 8707101 HAS SOPS 8703730 HAS SOUS 1428157 HAS SOUPS 1424786 WITH SCORE 1433493.101
AT ITER 445 NEW BEST:: SOT 12919542 SOS 8703552 HAS SOPS 8700181 HAS SOUS 1424324 HAS SOUPS 1420953 WITH SCORE 1429656.552
AT ITER 455 NEW BEST:: SOT 12920729 SOS 8704739 HAS SOPS 8701368 HAS SOUS 1421641 HAS SOUPS 1418270 WITH SCORE 1426974.739
AT ITER 460 NEW BEST:: SOT 12878366 SOS 8662361 HAS SOPS 8658990 HAS SOUS 1384826 HAS SOUPS 1381455 WITH SCORE 1390117.361
AT ITER 465 NEW BEST:: SOT 12878366 SOS 8652889 HAS SOPS 8649518 HAS SOUS 1384698 HAS SOUPS 1381327 WITH SCORE 1389979.889
AT ITER 471 NEW BEST:: SOT 12875586 SOS 8650109 HAS SOPS 8646738 HAS SOUS 1382132 HAS SOUPS 1378761 WITH SCORE 1387411.109
AT ITER 472 NEW BEST:: SOT 12875586 SOS 8642765 HAS SOPS 8639394 HAS SOUS 1382132 HAS SOUPS 1378761 WITH SCORE 1387403.765
AT ITER 488 NEW BEST:: SOT 12875586 SOS 8642583 HAS SOPS 8639212 HAS SOUS 1382041 HAS SOUPS 1378670 WITH SCORE 1387312.583
AT ITER 514 NEW BEST:: SOT 12875586 SOS 8642583 HAS SOPS 8639212 HAS SOUS 1381995 HAS SOUPS 1378624 WITH SCORE 1387266.583
AT ITER 518 NEW BEST:: SOT 12881204 SOS 8648807 HAS SOPS 8645436 HAS SOUS 1381270 HAS SOUPS 1377899 WITH SCORE 1386547.807
AT ITER 519 NEW BEST:: SOT 12880026 SOS 8647629 HAS SOPS 8644258 HAS SOUS 1378881 HAS SOUPS 1375510 WITH SCORE 1384157.629
AT ITER 531 NEW BEST:: SOT 12880026 SOS 8641437 HAS SOPS 8638066 HAS SOUS 1378881 HAS SOUPS 1375510 WITH SCORE 1384151.437
AT ITER 538 NEW BEST:: SOT 12880026 SOS 8641247 HAS SOPS 8637876 HAS SOUS 1378881 HAS SOUPS 1375510 WITH SCORE 1384151.247
AT ITER 547 NEW BEST:: SOT 12880026 SOS 8636999 HAS SOPS 8633628 HAS SOUS 1378881 HAS SOUPS 1375510 WITH SCORE 1384146.999
AT ITER 548 NEW BEST:: SOT 12877475 SOS 8634448 HAS SOPS 8631077 HAS SOUS 1373301 HAS SOUPS 1369930 WITH SCORE 1378564.448
AT ITER 552 NEW BEST:: SOT 12877475 SOS 8634392 HAS SOPS 8631021 HAS SOUS 1373273 HAS SOUPS 1369902 WITH SCORE 1378536.392
AT ITER 559 NEW BEST:: SOT 12877407 SOS 8634324 HAS SOPS 8630953 HAS SOUS 1373137 HAS SOUPS 1369766 WITH SCORE 1378400.324
AT ITER 565 NEW BEST:: SOT 12878109 SOS 8635026 HAS SOPS 8631655 HAS SOUS 1371761 HAS SOUPS 1368390 WITH SCORE 1377025.026
AT ITER 573 NEW BEST:: SOT 12877352 SOS 8634078 HAS SOPS 8630738 HAS SOUS 1369187 HAS SOUPS 1365847 WITH SCORE 1374481.078
AT ITER 588 NEW BEST:: SOT 12879597 SOS 8636635 HAS SOPS 8633295 HAS SOUS 1367008 HAS SOUPS 1363668 WITH SCORE 1372304.635
AT ITER 590 NEW BEST:: SOT 12885095 SOS 8642192 HAS SOPS 8638912 HAS SOUS 1365443 HAS SOUPS 1362163 WITH SCORE 1370805.192
AT ITER 608 NEW BEST:: SOT 12890261 SOS 8647418 HAS SOPS 8644206 HAS SOUS 1362351 HAS SOUPS 1359139 WITH SCORE 1367786.418
AT ITER 620 NEW BEST:: SOT 12888169 SOS 8645326 HAS SOPS 8642114 HAS SOUS 1354219 HAS SOUPS 1351007 WITH SCORE 1359652.326
AT ITER 633 NEW BEST:: SOT 12887677 SOS 8644834 HAS SOPS 8641622 HAS SOUS 1353219 HAS SOUPS 1350007 WITH SCORE 1358651.834
AT ITER 648 NEW BEST:: SOT 12887677 SOS 8631946 HAS SOPS 8628734 HAS SOUS 1353219 HAS SOUPS 1350007 WITH SCORE 1358638.946
AT ITER 650 NEW BEST:: SOT 12887677 SOS 8627266 HAS SOPS 8624054 HAS SOUS 1353219 HAS SOUPS 1350007 WITH SCORE 1358634.266
AT ITER 674 NEW BEST:: SOT 12894650 SOS 8634951 HAS SOPS 8631747 HAS SOUS 1348246 HAS SOUPS 1345042 WITH SCORE 1353676.951
AT ITER 679 NEW BEST:: SOT 12894558 SOS 8634859 HAS SOPS 8631619 HAS SOUS 1348153 HAS SOUPS 1344913 WITH SCORE 1353547.859
AT ITER 687 NEW BEST:: SOT 12894558 SOS 8634786 HAS SOPS 8631557 HAS SOUS 1348120 HAS SOUPS 1344891 WITH SCORE 1353525.786
AT ITER 690 NEW BEST:: SOT 12888353 SOS 8638044 HAS SOPS 8634815 HAS SOUS 1342944 HAS SOUPS 1339715 WITH SCORE 1348353.044
AT ITER 691 NEW BEST:: SOT 12885108 SOS 8639339 HAS SOPS 8636110 HAS SOUS 1341439 HAS SOUPS 1338210 WITH SCORE 1346849.339
AT ITER 696 NEW BEST:: SOT 12882240 SOS 8653007 HAS SOPS 8649778 HAS SOUS 1340055 HAS SOUPS 1336826 WITH SCORE 1345479.007
AT ITER 706 NEW BEST:: SOT 12883622 SOS 8656678 HAS SOPS 8653454 HAS SOUS 1337236 HAS SOUPS 1334012 WITH SCORE 1342668.678
AT ITER 714 NEW BEST:: SOT 12883622 SOS 8650198 HAS SOPS 8646974 HAS SOUS 1337236 HAS SOUPS 1334012 WITH SCORE 1342662.198
AT ITER 721 NEW BEST:: SOT 12884318 SOS 8650894 HAS SOPS 8647670 HAS SOUS 1333553 HAS SOUPS 1330329 WITH SCORE 1338979.894
AT ITER 735 NEW BEST:: SOT 12883936 SOS 8650512 HAS SOPS 8647288 HAS SOUS 1333175 HAS SOUPS 1329951 WITH SCORE 1338601.512
AT ITER 737 NEW BEST:: SOT 12877724 SOS 8658304 HAS SOPS 8655080 HAS SOUS 1325731 HAS SOUPS 1322507 WITH SCORE 1331165.304
AT ITER 738 NEW BEST:: SOT 12877724 SOS 8649617 HAS SOPS 8646393 HAS SOUS 1325612 HAS SOUPS 1322388 WITH SCORE 1331037.617
AT ITER 745 NEW BEST:: SOT 12877724 SOS 8649617 HAS SOPS 8646393 HAS SOUS 1325611 HAS SOUPS 1322387 WITH SCORE 1331036.617
AT ITER 761 NEW BEST:: SOT 12877660 SOS 8649557 HAS SOPS 8646333 HAS SOUS 1325003 HAS SOUPS 1321779 WITH SCORE 1330428.557
AT ITER 767 NEW BEST:: SOT 12878226 SOS 8650123 HAS SOPS 8646899 HAS SOUS 1322291 HAS SOUPS 1319067 WITH SCORE 1327717.123
AT ITER 770 NEW BEST:: SOT 12878226 SOS 8649919 HAS SOPS 8646695 HAS SOUS 1322189 HAS SOUPS 1318965 WITH SCORE 1327614.919
AT ITER 774 NEW BEST:: SOT 12875464 SOS 8647157 HAS SOPS 8643933 HAS SOUS 1309920 HAS SOUPS 1306696 WITH SCORE 1315343.157
AT ITER 800 NEW BEST:: SOT 12875464 SOS 8647157 HAS SOPS 8643933 HAS SOUS 1309820 HAS SOUPS 1306596 WITH SCORE 1315243.157
AT ITER 813 NEW BEST:: SOT 12874512 SOS 8647437 HAS SOPS 8644213 HAS SOUS 1308205 HAS SOUPS 1304981 WITH SCORE 1313628.437
AT ITER 820 NEW BEST:: SOT 12874512 SOS 8642325 HAS SOPS 8639101 HAS SOUS 1308205 HAS SOUPS 1304981 WITH SCORE 1313623.325
AT ITER 829 NEW BEST:: SOT 12868519 SOS 8636332 HAS SOPS 8633108 HAS SOUS 1296278 HAS SOUPS 1293054 WITH SCORE 1301690.332
AT ITER 831 NEW BEST:: SOT 12868519 SOS 8636332 HAS SOPS 8633108 HAS SOUS 1296218 HAS SOUPS 1292994 WITH SCORE 1301630.332
AT ITER 841 NEW BEST:: SOT 12869652 SOS 8637537 HAS SOPS 8634313 HAS SOUS 1296037 HAS SOUPS 1292813 WITH SCORE 1301450.537
AT ITER 848 NEW BEST:: SOT 12868610 SOS 8636495 HAS SOPS 8633271 HAS SOUS 1292519 HAS SOUPS 1289295 WITH SCORE 1297931.495
AT ITER 851 NEW BEST:: SOT 12866827 SOS 8634712 HAS SOPS 8631488 HAS SOUS 1290000 HAS SOUPS 1286776 WITH SCORE 1295410.712
AT ITER 866 NEW BEST:: SOT 12865565 SOS 8633450 HAS SOPS 8630194 HAS SOUS 1289661 HAS SOUPS 1286405 WITH SCORE 1295038.45
AT ITER 886 NEW BEST:: SOT 12865209 SOS 8633094 HAS SOPS 8629838 HAS SOUS 1287839 HAS SOUPS 1284583 WITH SCORE 1293216.094
AT ITER 891 NEW BEST:: SOT 12865169 SOS 8631714 HAS SOPS 8628458 HAS SOUS 1287779 HAS SOUPS 1284523 WITH SCORE 1293154.714
AT ITER 893 NEW BEST:: SOT 12862171 SOS 8628716 HAS SOPS 8625460 HAS SOUS 1281999 HAS SOUPS 1278743 WITH SCORE 1287371.716
AT ITER 896 NEW BEST:: SOT 12863731 SOS 8630276 HAS SOPS 8627020 HAS SOUS 1276279 HAS SOUPS 1273023 WITH SCORE 1281653.276
AT ITER 897 NEW BEST:: SOT 12863731 SOS 8622684 HAS SOPS 8619428 HAS SOUS 1276175 HAS SOUPS 1272919 WITH SCORE 1281541.684
AT ITER 900 NEW BEST:: SOT 12865636 SOS 8624652 HAS SOPS 8621466 HAS SOUS 1266109 HAS SOUPS 1262923 WITH SCORE 1271547.652
AT ITER 928 NEW BEST:: SOT 12862925 SOS 8638253 HAS SOPS 8635067 HAS SOUS 1265944 HAS SOUPS 1262758 WITH SCORE 1271396.253
AT ITER 930 NEW BEST:: SOT 12862900 SOS 8638228 HAS SOPS 8635042 HAS SOUS 1261203 HAS SOUPS 1258017 WITH SCORE 1266655.228
AT ITER 933 NEW BEST:: SOT 12862536 SOS 8640051 HAS SOPS 8636865 HAS SOUS 1260574 HAS SOUPS 1257388 WITH SCORE 1266028.051
AT ITER 948 NEW BEST:: SOT 12863675 SOS 8641346 HAS SOPS 8638160 HAS SOUS 1259823 HAS SOUPS 1256637 WITH SCORE 1265278.346
AT ITER 953 NEW BEST:: SOT 12862994 SOS 8640665 HAS SOPS 8637479 HAS SOUS 1258448 HAS SOUPS 1255262 WITH SCORE 1263902.665
AT ITER 974 NEW BEST:: SOT 12862016 SOS 8639687 HAS SOPS 8636501 HAS SOUS 1257322 HAS SOUPS 1254136 WITH SCORE 1262775.687
AT ITER 980 NEW BEST:: SOT 12862016 SOS 8639687 HAS SOPS 8636501 HAS SOUS 1257318 HAS SOUPS 1254132 WITH SCORE 1262771.687
AT ITER 991 NEW BEST:: SOT 12861975 SOS 8642214 HAS SOPS 8639028 HAS SOUS 1248031 HAS SOUPS 1244845 WITH SCORE 1253487.214
AT ITER 993 NEW BEST:: SOT 12864798 SOS 8645037 HAS SOPS 8641851 HAS SOUS 1240049 HAS SOUPS 1236863 WITH SCORE 1245508.037
AT ITER 1023 NEW BEST:: SOT 12863371 SOS 8643768 HAS SOPS 8640582 HAS SOUS 1231596 HAS SOUPS 1228410 WITH SCORE 1237053.768
AT ITER 1048 NEW BEST:: SOT 12858490 SOS 8638887 HAS SOPS 8635701 HAS SOUS 1230887 HAS SOUPS 1227701 WITH SCORE 1236339.887
AT ITER 1058 NEW BEST:: SOT 12858490 SOS 8634999 HAS SOPS 8631813 HAS SOUS 1230887 HAS SOUPS 1227701 WITH SCORE 1236335.999
AT ITER 1066 NEW BEST:: SOT 12857289 SOS 8634030 HAS SOPS 8630844 HAS SOUS 1228627 HAS SOUPS 1225441 WITH SCORE 1234075.03
AT ITER 1070 NEW BEST:: SOT 12855504 SOS 8632441 HAS SOPS 8629565 HAS SOUS 1223259 HAS SOUPS 1220383 WITH SCORE 1229015.441
AT ITER 1072 NEW BEST:: SOT 12855501 SOS 8632438 HAS SOPS 8629562 HAS SOUS 1223210 HAS SOUPS 1220334 WITH SCORE 1228966.438
AT ITER 1092 NEW BEST:: SOT 12855449 SOS 8630462 HAS SOPS 8627586 HAS SOUS 1223132 HAS SOUPS 1220256 WITH SCORE 1228886.462
AT ITER 1096 NEW BEST:: SOT 12855799 SOS 8633597 HAS SOPS 8630721 HAS SOUS 1221157 HAS SOUPS 1218281 WITH SCORE 1226914.597
AT ITER 1099 NEW BEST:: SOT 12855579 SOS 8633377 HAS SOPS 8630501 HAS SOUS 1220881 HAS SOUPS 1218005 WITH SCORE 1226638.377
AT ITER 1101 NEW BEST:: SOT 12860250 SOS 8638113 HAS SOPS 8635267 HAS SOUS 1219183 HAS SOUPS 1216337 WITH SCORE 1224975.113
AT ITER 1106 NEW BEST:: SOT 12858692 SOS 8636555 HAS SOPS 8633709 HAS SOUS 1217633 HAS SOUPS 1214787 WITH SCORE 1223423.555
AT ITER 1118 NEW BEST:: SOT 12851998 SOS 8647727 HAS SOPS 8644881 HAS SOUS 1209638 HAS SOUPS 1206792 WITH SCORE 1215439.727
AT ITER 1119 NEW BEST:: SOT 12851998 SOS 8645495 HAS SOPS 8642649 HAS SOUS 1209638 HAS SOUPS 1206792 WITH SCORE 1215437.495
AT ITER 1124 NEW BEST:: SOT 12851552 SOS 8645049 HAS SOPS 8642203 HAS SOUS 1203375 HAS SOUPS 1200529 WITH SCORE 1209174.049
AT ITER 1125 NEW BEST:: SOT 12861573 SOS 8656490 HAS SOPS 8653328 HAS SOUS 1197732 HAS SOUPS 1194748 WITH SCORE 1203404.49
AT ITER 1135 NEW BEST:: SOT 12857836 SOS 8656857 HAS SOPS 8653695 HAS SOUS 1195794 HAS SOUPS 1192810 WITH SCORE 1201466.857
AT ITER 1152 NEW BEST:: SOT 12853869 SOS 8645186 HAS SOPS 8642024 HAS SOUS 1180688 HAS SOUPS 1177704 WITH SCORE 1186349.186
AT ITER 1155 NEW BEST:: SOT 12853869 SOS 8644947 HAS SOPS 8641687 HAS SOUS 1180658 HAS SOUPS 1177576 WITH SCORE 1186220.947
AT ITER 1163 NEW BEST:: SOT 12879278 SOS 8676975 HAS SOPS 8673804 HAS SOUS 1176294 HAS SOUPS 1173212 WITH SCORE 1181888.975
AT ITER 1171 NEW BEST:: SOT 12886610 SOS 8684415 HAS SOPS 8681244 HAS SOUS 1174387 HAS SOUPS 1171305 WITH SCORE 1179989.415
AT ITER 1180 NEW BEST:: SOT 12886469 SOS 8684271 HAS SOPS 8681100 HAS SOUS 1172774 HAS SOUPS 1169692 WITH SCORE 1178376.271
AT ITER 1196 NEW BEST:: SOT 12886329 SOS 8684131 HAS SOPS 8680960 HAS SOUS 1172634 HAS SOUPS 1169552 WITH SCORE 1178236.131
AT ITER 1217 NEW BEST:: SOT 12888310 SOS 8686156 HAS SOPS 8682989 HAS SOUS 1171974 HAS SOUPS 1168896 WITH SCORE 1177582.156
AT ITER 1238 NEW BEST:: SOT 12889586 SOS 8687654 HAS SOPS 8684487 HAS SOUS 1159779 HAS SOUPS 1156701 WITH SCORE 1165388.654
AT ITER 1243 NEW BEST:: SOT 12889969 SOS 8688037 HAS SOPS 8684870 HAS SOUS 1152226 HAS SOUPS 1149148 WITH SCORE 1157836.037
AT ITER 1277 NEW BEST:: SOT 12887043 SOS 8685111 HAS SOPS 8681944 HAS SOUS 1145023 HAS SOUPS 1141945 WITH SCORE 1150630.111
AT ITER 1288 NEW BEST:: SOT 12887043 SOS 8680575 HAS SOPS 8677408 HAS SOUS 1145023 HAS SOUPS 1141945 WITH SCORE 1150625.575
AT ITER 1289 NEW BEST:: SOT 12904274 SOS 8697806 HAS SOPS 8694639 HAS SOUS 1143156 HAS SOUPS 1140078 WITH SCORE 1148775.806
AT ITER 1297 NEW BEST:: SOT 12913473 SOS 8715168 HAS SOPS 8712046 HAS SOUS 1142279 HAS SOUPS 1139246 WITH SCORE 1147961.168
AT ITER 1308 NEW BEST:: SOT 12920655 SOS 8722479 HAS SOPS 8719357 HAS SOUS 1140595 HAS SOUPS 1137562 WITH SCORE 1146284.479
AT ITER 1318 NEW BEST:: SOT 12940030 SOS 8741854 HAS SOPS 8738732 HAS SOUS 1138221 HAS SOUPS 1135188 WITH SCORE 1143929.854
AT ITER 1322 NEW BEST:: SOT 12939900 SOS 8741724 HAS SOPS 8738602 HAS SOUS 1137376 HAS SOUPS 1134343 WITH SCORE 1143084.724
AT ITER 1330 NEW BEST:: SOT 12937416 SOS 8739240 HAS SOPS 8736118 HAS SOUS 1132290 HAS SOUPS 1129257 WITH SCORE 1137996.24
AT ITER 1332 NEW BEST:: SOT 12937157 SOS 8739003 HAS SOPS 8735903 HAS SOUS 1129632 HAS SOUPS 1126621 WITH SCORE 1135360.003
AT ITER 1341 NEW BEST:: SOT 12939607 SOS 8741512 HAS SOPS 8738436 HAS SOUS 1128634 HAS SOUPS 1125647 WITH SCORE 1134388.512
AT ITER 1343 NEW BEST:: SOT 12939292 SOS 8741602 HAS SOPS 8738645 HAS SOUS 1127353 HAS SOUPS 1124485 WITH SCORE 1133226.602
AT ITER 1346 NEW BEST:: SOT 12935175 SOS 8737485 HAS SOPS 8734528 HAS SOUS 1125274 HAS SOUPS 1122406 WITH SCORE 1131143.485
AT ITER 1352 NEW BEST:: SOT 12932670 SOS 8734638 HAS SOPS 8731610 HAS SOUS 1124727 HAS SOUPS 1121788 WITH SCORE 1130522.638
AT ITER 1356 NEW BEST:: SOT 12932986 SOS 8734954 HAS SOPS 8731926 HAS SOUS 1122660 HAS SOUPS 1119721 WITH SCORE 1128455.954
AT ITER 1369 NEW BEST:: SOT 12939441 SOS 8747670 HAS SOPS 8744645 HAS SOUS 1118957 HAS SOUPS 1116021 WITH SCORE 1124768.67
AT ITER 1371 NEW BEST:: SOT 12939188 SOS 8747417 HAS SOPS 8744392 HAS SOUS 1114562 HAS SOUPS 1111626 WITH SCORE 1120373.417
AT ITER 1374 NEW BEST:: SOT 12943527 SOS 8751703 HAS SOPS 8748731 HAS SOUS 1113621 HAS SOUPS 1110738 WITH SCORE 1119489.703
AT ITER 1378 NEW BEST:: SOT 12943639 SOS 8126319 HAS SOPS 8123347 HAS SOUS 1113733 HAS SOUPS 1110850 WITH SCORE 1118976.319
AT ITER 1394 NEW BEST:: SOT 12940185 SOS 8122865 HAS SOPS 8119893 HAS SOUS 1106758 HAS SOUPS 1103875 WITH SCORE 1111997.865
AT ITER 1395 NEW BEST:: SOT 12950540 SOS 8133220 HAS SOPS 8130248 HAS SOUS 1099691 HAS SOUPS 1096808 WITH SCORE 1104941.22
AT ITER 1406 NEW BEST:: SOT 12949990 SOS 8132670 HAS SOPS 8129698 HAS SOUS 1098581 HAS SOUPS 1095698 WITH SCORE 1103830.67
AT ITER 1408 NEW BEST:: SOT 12950021 SOS 8132701 HAS SOPS 8129729 HAS SOUS 1098580 HAS SOUPS 1095697 WITH SCORE 1103829.701
AT ITER 1418 NEW BEST:: SOT 12949905 SOS 8132441 HAS SOPS 8129469 HAS SOUS 1098462 HAS SOUPS 1095579 WITH SCORE 1103711.441
AT ITER 1423 NEW BEST:: SOT 12956045 SOS 8138581 HAS SOPS 8135609 HAS SOUS 1096545 HAS SOUPS 1093662 WITH SCORE 1101800.581
AT ITER 1432 NEW BEST:: SOT 12955237 SOS 8137773 HAS SOPS 8134801 HAS SOUS 1089599 HAS SOUPS 1086716 WITH SCORE 1094853.773
AT ITER 1438 NEW BEST:: SOT 12955268 SOS 8137805 HAS SOPS 8134833 HAS SOUS 1089566 HAS SOUPS 1086683 WITH SCORE 1094820.805
AT ITER 1452 NEW BEST:: SOT 12955268 SOS 8137013 HAS SOPS 8134041 HAS SOUS 1089566 HAS SOUPS 1086683 WITH SCORE 1094820.013
AT ITER 1465 NEW BEST:: SOT 12955281 SOS 8137026 HAS SOPS 8134054 HAS SOUS 1089556 HAS SOUPS 1086673 WITH SCORE 1094810.026
AT ITER 1472 NEW BEST:: SOT 12955251 SOS 8136996 HAS SOPS 8134024 HAS SOUS 1089466 HAS SOUPS 1086583 WITH SCORE 1094719.996
AT ITER 1498 NEW BEST:: SOT 12953490 SOS 8135235 HAS SOPS 8132263 HAS SOUS 1086102 HAS SOUPS 1083219 WITH SCORE 1091354.235
AT ITER 1517 NEW BEST:: SOT 12974979 SOS 8156724 HAS SOPS 8153752 HAS SOUS 1075378 HAS SOUPS 1072495 WITH SCORE 1080651.724
AT ITER 1526 NEW BEST:: SOT 12974421 SOS 8156166 HAS SOPS 8153194 HAS SOUS 1074849 HAS SOUPS 1071966 WITH SCORE 1080122.166
AT ITER 1529 NEW BEST:: SOT 12974085 SOS 8155830 HAS SOPS 8152858 HAS SOUS 1074183 HAS SOUPS 1071300 WITH SCORE 1079455.83
AT ITER 1533 NEW BEST:: SOT 12973826 SOS 8155571 HAS SOPS 8152599 HAS SOUS 1073668 HAS SOUPS 1070785 WITH SCORE 1078940.571
AT ITER 1543 NEW BEST:: SOT 12977739 SOS 8170110 HAS SOPS 8167138 HAS SOUS 1072273 HAS SOUPS 1069390 WITH SCORE 1077560.11
AT ITER 1546 NEW BEST:: SOT 12977739 SOS 8170623 HAS SOPS 8167651 HAS SOUS 1072246 HAS SOUPS 1069363 WITH SCORE 1077533.623
AT ITER 1547 NEW BEST:: SOT 12975599 SOS 8168483 HAS SOPS 8165511 HAS SOUS 1067843 HAS SOUPS 1064960 WITH SCORE 1073128.483
AT ITER 1572 NEW BEST:: SOT 12975599 SOS 8165171 HAS SOPS 8162199 HAS SOUS 1067830 HAS SOUPS 1064947 WITH SCORE 1073112.171
AT ITER 1590 NEW BEST:: SOT 12975864 SOS 8165460 HAS SOPS 8162488 HAS SOUS 1067309 HAS SOUPS 1064426 WITH SCORE 1072591.46
AT ITER 1611 NEW BEST:: SOT 12979431 SOS 8169102 HAS SOPS 8166130 HAS SOUS 1066085 HAS SOUPS 1063202 WITH SCORE 1071371.102
AT ITER 1617 NEW BEST:: SOT 12994489 SOS 8184160 HAS SOPS 8181188 HAS SOUS 1063310 HAS SOUPS 1060427 WITH SCORE 1068611.16
AT ITER 1628 NEW BEST:: SOT 12994489 SOS 8183802 HAS SOPS 8180830 HAS SOUS 1063131 HAS SOUPS 1060248 WITH SCORE 1068431.802
AT ITER 1631 NEW BEST:: SOT 12961932 SOS 8150091 HAS SOPS 8147119 HAS SOUS 1058774 HAS SOUPS 1055891 WITH SCORE 1064041.091
AT ITER 1655 NEW BEST:: SOT 12961932 SOS 8150133 HAS SOPS 8147161 HAS SOUS 1058732 HAS SOUPS 1055849 WITH SCORE 1063999.133
AT ITER 1658 NEW BEST:: SOT 12957016 SOS 8149711 HAS SOPS 8146739 HAS SOUS 1053445 HAS SOUPS 1050562 WITH SCORE 1058711.711
AT ITER 1665 NEW BEST:: SOT 12952721 SOS 8145416 HAS SOPS 8142444 HAS SOUS 1049163 HAS SOUPS 1046280 WITH SCORE 1054425.416
AT ITER 1674 NEW BEST:: SOT 12957202 SOS 8149958 HAS SOPS 8147011 HAS SOUS 1048355 HAS SOUPS 1045497 WITH SCORE 1053646.958
AT ITER 1679 NEW BEST:: SOT 12952914 SOS 8145670 HAS SOPS 8142723 HAS SOUS 1039786 HAS SOUPS 1036928 WITH SCORE 1045073.67
AT ITER 1680 NEW BEST:: SOT 12950170 SOS 8145259 HAS SOPS 8142312 HAS SOUS 1038260 HAS SOUPS 1035402 WITH SCORE 1043547.259
AT ITER 1685 NEW BEST:: SOT 12950196 SOS 8145285 HAS SOPS 8142338 HAS SOUS 1038252 HAS SOUPS 1035394 WITH SCORE 1043539.285
AT ITER 1692 NEW BEST:: SOT 12949408 SOS 8144692 HAS SOPS 8141745 HAS SOUS 1036803 HAS SOUPS 1033945 WITH SCORE 1042089.692
AT ITER 1696 NEW BEST:: SOT 12938395 SOS 8123728 HAS SOPS 8120698 HAS SOUS 1033859 HAS SOUPS 1030918 WITH SCORE 1039041.728
AT ITER 1697 NEW BEST:: SOT 12937962 SOS 8123283 HAS SOPS 8120255 HAS SOUS 1032946 HAS SOUPS 1030007 WITH SCORE 1038130.283
AT ITER 1708 NEW BEST:: SOT 12937962 SOS 8122147 HAS SOPS 8119119 HAS SOUS 1032912 HAS SOUPS 1029973 WITH SCORE 1038095.147
AT ITER 1715 NEW BEST:: SOT 12937542 SOS 8121363 HAS SOPS 8118335 HAS SOUS 1032065 HAS SOUPS 1029126 WITH SCORE 1037247.363
AT ITER 1721 NEW BEST:: SOT 12958997 SOS 8142818 HAS SOPS 8139790 HAS SOUS 1031891 HAS SOUPS 1028952 WITH SCORE 1037094.818
AT ITER 1726 NEW BEST:: SOT 12960376 SOS 8146159 HAS SOPS 8143131 HAS SOUS 1030530 HAS SOUPS 1027591 WITH SCORE 1035737.159
AT ITER 1728 NEW BEST:: SOT 12960276 SOS 8146059 HAS SOPS 8143031 HAS SOUS 1030530 HAS SOUPS 1027591 WITH SCORE 1035737.059
AT ITER 1731 NEW BEST:: SOT 12960146 SOS 8145773 HAS SOPS 8142745 HAS SOUS 1028584 HAS SOUPS 1025645 WITH SCORE 1033790.773
AT ITER 1748 NEW BEST:: SOT 12960123 SOS 8145750 HAS SOPS 8142722 HAS SOUS 1028537 HAS SOUPS 1025598 WITH SCORE 1033743.75
AT ITER 1753 NEW BEST:: SOT 12987181 SOS 8172808 HAS SOPS 8169780 HAS SOUS 1028372 HAS SOUPS 1025433 WITH SCORE 1033605.808
AT ITER 1794 NEW BEST:: SOT 12990184 SOS 8175460 HAS SOPS 8172496 HAS SOUS 1026713 HAS SOUPS 1023838 WITH SCORE 1032013.46
AT ITER 1837 NEW BEST:: SOT 12995494 SOS 8180950 HAS SOPS 8177986 HAS SOUS 1026312 HAS SOUPS 1023437 WITH SCORE 1031617.95
AT ITER 1848 NEW BEST:: SOT 12994334 SOS 8179790 HAS SOPS 8176826 HAS SOUS 1023951 HAS SOUPS 1021076 WITH SCORE 1029255.79
AT ITER 1874 NEW BEST:: SOT 12992721 SOS 8178233 HAS SOPS 8175269 HAS SOUS 1022338 HAS SOUPS 1019463 WITH SCORE 1027641.233
AT ITER 1911 NEW BEST:: SOT 12991221 SOS 8176788 HAS SOPS 8173824 HAS SOUS 1020630 HAS SOUPS 1017755 WITH SCORE 1025931.788
AT ITER 1915 NEW BEST:: SOT 12991210 SOS 8176777 HAS SOPS 8173813 HAS SOUS 1020608 HAS SOUPS 1017733 WITH SCORE 1025909.777
AT ITER 1925 NEW BEST:: SOT 12991210 SOS 8177019 HAS SOPS 8174055 HAS SOUS 1020094 HAS SOUPS 1017219 WITH SCORE 1025396.019
AT ITER 1941 NEW BEST:: SOT 12991279 SOS 8177088 HAS SOPS 8174124 HAS SOUS 1018337 HAS SOUPS 1015462 WITH SCORE 1023639.088
AT ITER 1951 NEW BEST:: SOT 12993264 SOS 8179151 HAS SOPS 8176187 HAS SOUS 1017612 HAS SOUPS 1014737 WITH SCORE 1022916.151
AT ITER 1967 NEW BEST:: SOT 12992861 SOS 8178748 HAS SOPS 8175784 HAS SOUS 1017458 HAS SOUPS 1014583 WITH SCORE 1022761.748
AT ITER 1968 NEW BEST:: SOT 12992886 SOS 8123524 HAS SOPS 8120560 HAS SOUS 1017458 HAS SOUPS 1014583 WITH SCORE 1022706.524
AT ITER 1977 NEW BEST:: SOT 12992886 SOS 8123524 HAS SOPS 8120560 HAS SOUS 1017427 HAS SOUPS 1014552 WITH SCORE 1022675.524
AT ITER 2032 NEW BEST:: SOT 12991020 SOS 8121622 HAS SOPS 8118658 HAS SOUS 1015507 HAS SOUPS 1012632 WITH SCORE 1020753.622
AT ITER 2035 NEW BEST:: SOT 12986794 SOS 8117396 HAS SOPS 8114432 HAS SOUS 1011356 HAS SOUPS 1008481 WITH SCORE 1016598.396
AT ITER 2041 NEW BEST:: SOT 12986756 SOS 8117358 HAS SOPS 8114394 HAS SOUS 1011318 HAS SOUPS 1008443 WITH SCORE 1016560.358
AT ITER 2054 NEW BEST:: SOT 12988137 SOS 8118739 HAS SOPS 8115775 HAS SOUS 1008433 HAS SOUPS 1005558 WITH SCORE 1013676.739
AT ITER 2055 NEW BEST:: SOT 12988123 SOS 8118725 HAS SOPS 8115761 HAS SOUS 1008419 HAS SOUPS 1005544 WITH SCORE 1013662.725
AT ITER 2111 NEW BEST:: SOT 12986620 SOS 8117222 HAS SOPS 8114258 HAS SOUS 1005591 HAS SOUPS 1002716 WITH SCORE 1010833.222
AT ITER 2118 NEW BEST:: SOT 12990980 SOS 8121650 HAS SOPS 8118686 HAS SOUS 1005366 HAS SOUPS 1002491 WITH SCORE 1010612.65
AT ITER 2127 NEW BEST:: SOT 12998810 SOS 8130711 HAS SOPS 8127490 HAS SOUS 998675 HAS SOUPS 995676 WITH SCORE 1003806.711
AT ITER 2133 NEW BEST:: SOT 12998807 SOS 8130708 HAS SOPS 8127487 HAS SOUS 998672 HAS SOUPS 995673 WITH SCORE 1003803.708
AT ITER 2138 NEW BEST:: SOT 12998837 SOS 8130738 HAS SOPS 8127517 HAS SOUS 989376 HAS SOUPS 986377 WITH SCORE 994507.738
AT ITER 2144 NEW BEST:: SOT 12998799 SOS 8130700 HAS SOPS 8127479 HAS SOUS 989338 HAS SOUPS 986339 WITH SCORE 994469.7
AT ITER 2164 NEW BEST:: SOT 12998799 SOS 8130710 HAS SOPS 8127489 HAS SOUS 989328 HAS SOUPS 986329 WITH SCORE 994459.71
AT ITER 2180 NEW BEST:: SOT 12998752 SOS 8228379 HAS SOPS 8225158 HAS SOUS 989213 HAS SOUPS 986214 WITH SCORE 994442.379
AT ITER 2199 NEW BEST:: SOT 12994286 SOS 8221321 HAS SOPS 8218100 HAS SOUS 987212 HAS SOUPS 984213 WITH SCORE 992434.321
AT ITER 2203 NEW BEST:: SOT 12994286 SOS 8221321 HAS SOPS 8218100 HAS SOUS 987184 HAS SOUPS 984185 WITH SCORE 992406.321
AT ITER 2209 NEW BEST:: SOT 12993713 SOS 8220739 HAS SOPS 8217509 HAS SOUS 985999 HAS SOUPS 983000 WITH SCORE 991220.739
AT ITER 2225 NEW BEST:: SOT 12993356 SOS 8220382 HAS SOPS 8217152 HAS SOUS 984491 HAS SOUPS 981492 WITH SCORE 989712.382
AT ITER 2244 NEW BEST:: SOT 12992981 SOS 8220007 HAS SOPS 8216777 HAS SOUS 984143 HAS SOUPS 981144 WITH SCORE 989364.007
AT ITER 2253 NEW BEST:: SOT 12992981 SOS 8220022 HAS SOPS 8216792 HAS SOUS 984128 HAS SOUPS 981129 WITH SCORE 989349.022
AT ITER 2269 NEW BEST:: SOT 12995099 SOS 8222190 HAS SOPS 8218980 HAS SOUS 983420 HAS SOUPS 980441 WITH SCORE 988663.19
AT ITER 2284 NEW BEST:: SOT 12988137 SOS 8215228 HAS SOPS 8212018 HAS SOUS 982321 HAS SOUPS 979342 WITH SCORE 987557.228
AT ITER 2294 NEW BEST:: SOT 12987456 SOS 8214547 HAS SOPS 8211337 HAS SOUS 980608 HAS SOUPS 977629 WITH SCORE 985843.547
AT ITER 2309 NEW BEST:: SOT 12987371 SOS 8213210 HAS SOPS 8210260 HAS SOUS 973633 HAS SOUPS 970781 WITH SCORE 978994.21
AT ITER 2316 NEW BEST:: SOT 12979426 SOS 8204127 HAS SOPS 8201405 HAS SOUS 963713 HAS SOUPS 960991 WITH SCORE 969195.127
AT ITER 2330 NEW BEST:: SOT 12979444 SOS 8204085 HAS SOPS 8201363 HAS SOUS 963711 HAS SOUPS 960989 WITH SCORE 969193.085
AT ITER 2340 NEW BEST:: SOT 12977360 SOS 8202001 HAS SOPS 8199279 HAS SOUS 958299 HAS SOUPS 955577 WITH SCORE 963779.001
AT ITER 2342 NEW BEST:: SOT 12975332 SOS 8200985 HAS SOPS 8198162 HAS SOUS 958340 HAS SOUPS 955540 WITH SCORE 963740.985
AT ITER 2350 NEW BEST:: SOT 12976607 SOS 8204475 HAS SOPS 8201788 HAS SOUS 956020 HAS SOUPS 953356 WITH SCORE 961560.475
AT ITER 2351 NEW BEST:: SOT 12976489 SOS 8204357 HAS SOPS 8201670 HAS SOUS 955898 HAS SOUPS 953234 WITH SCORE 961438.357
AT ITER 2354 NEW BEST:: SOT 12976437 SOS 8204465 HAS SOPS 8201778 HAS SOUS 955835 HAS SOUPS 953171 WITH SCORE 961375.465
AT ITER 2372 NEW BEST:: SOT 12977110 SOS 8205138 HAS SOPS 8202451 HAS SOUS 955092 HAS SOUPS 952428 WITH SCORE 960633.138
AT ITER 2374 NEW BEST:: SOT 12978633 SOS 8208801 HAS SOPS 8206120 HAS SOUS 953134 HAS SOUPS 950476 WITH SCORE 958684.801
AT ITER 2392 NEW BEST:: SOT 12978553 SOS 8208721 HAS SOPS 8206040 HAS SOUS 952972 HAS SOUPS 950314 WITH SCORE 958522.721
AT ITER 2402 NEW BEST:: SOT 12978553 SOS 8204930 HAS SOPS 8202249 HAS SOUS 952875 HAS SOUPS 950217 WITH SCORE 958421.93
AT ITER 2425 NEW BEST:: SOT 12984064 SOS 8210531 HAS SOPS 8207850 HAS SOUS 952567 HAS SOUPS 949909 WITH SCORE 958119.531
AT ITER 2427 NEW BEST:: SOT 12984064 SOS 8210466 HAS SOPS 8207785 HAS SOUS 952488 HAS SOUPS 949830 WITH SCORE 958040.466
AT ITER 2441 NEW BEST:: SOT 12984064 SOS 8211123 HAS SOPS 8208442 HAS SOUS 951736 HAS SOUPS 949078 WITH SCORE 957289.123
AT ITER 2447 NEW BEST:: SOT 12981721 SOS 8208780 HAS SOPS 8206099 HAS SOUS 946828 HAS SOUPS 944170 WITH SCORE 952378.78
AT ITER 2459 NEW BEST:: SOT 12981640 SOS 8208795 HAS SOPS 8206114 HAS SOUS 944575 HAS SOUPS 941917 WITH SCORE 950125.795
AT ITER 2468 NEW BEST:: SOT 12975236 SOS 8202492 HAS SOPS 8199811 HAS SOUS 944539 HAS SOUPS 941881 WITH SCORE 950083.492
AT ITER 2472 NEW BEST:: SOT 12974676 SOS 8201644 HAS SOPS 8198963 HAS SOUS 944263 HAS SOUPS 941605 WITH SCORE 949806.644
AT ITER 2484 NEW BEST:: SOT 12974676 SOS 8201604 HAS SOPS 8198923 HAS SOUS 944223 HAS SOUPS 941565 WITH SCORE 949766.604
AT ITER 2487 NEW BEST:: SOT 12974676 SOS 8201655 HAS SOPS 8198923 HAS SOUS 944223 HAS SOUPS 941514 WITH SCORE 949715.655
AT ITER 2516 NEW BEST:: SOT 12971617 SOS 8198596 HAS SOPS 8195864 HAS SOUS 941147 HAS SOUPS 938438 WITH SCORE 946636.596
AT ITER 2532 NEW BEST:: SOT 12971617 SOS 8198586 HAS SOPS 8195854 HAS SOUS 941142 HAS SOUPS 938433 WITH SCORE 946631.586
AT ITER 2537 NEW BEST:: SOT 12971662 SOS 8190673 HAS SOPS 8187351 HAS SOUS 941232 HAS SOUPS 937933 WITH SCORE 946123.673
AT ITER 2541 NEW BEST:: SOT 12971662 SOS 7152827 HAS SOPS 7149505 HAS SOUS 941232 HAS SOUPS 937933 WITH SCORE 945085.827
AT ITER 2547 NEW BEST:: SOT 12971826 SOS 7152991 HAS SOPS 7149669 HAS SOUS 941191 HAS SOUPS 937892 WITH SCORE 945044.991
AT ITER 2552 NEW BEST:: SOT 12970776 SOS 7150025 HAS SOPS 7146703 HAS SOUS 940023 HAS SOUPS 936724 WITH SCORE 943874.025
AT ITER 2573 NEW BEST:: SOT 12975094 SOS 7153909 HAS SOPS 7150653 HAS SOUS 939260 HAS SOUPS 936027 WITH SCORE 943180.909
AT ITER 2579 NEW BEST:: SOT 12975094 SOS 7153918 HAS SOPS 7150662 HAS SOUS 939251 HAS SOUPS 936018 WITH SCORE 943171.918
AT ITER 2580 NEW BEST:: SOT 12976204 SOS 7154893 HAS SOPS 7151637 HAS SOUS 933072 HAS SOUPS 929839 WITH SCORE 936993.893
AT ITER 2585 NEW BEST:: SOT 12977904 SOS 7156525 HAS SOPS 7153269 HAS SOUS 930545 HAS SOUPS 927312 WITH SCORE 934468.525
AT ITER 2600 NEW BEST:: SOT 12977447 SOS 7156164 HAS SOPS 7152908 HAS SOUS 928854 HAS SOUPS 925621 WITH SCORE 932777.164
AT ITER 2617 NEW BEST:: SOT 12982126 SOS 7161705 HAS SOPS 7158449 HAS SOUS 926490 HAS SOUPS 923257 WITH SCORE 930418.705
AT ITER 2622 NEW BEST:: SOT 12982126 SOS 7162026 HAS SOPS 7158770 HAS SOUS 926453 HAS SOUPS 923220 WITH SCORE 930382.026
AT ITER 2647 NEW BEST:: SOT 12979008 SOS 7158908 HAS SOPS 7155652 HAS SOUS 925278 HAS SOUPS 922045 WITH SCORE 929203.908
AT ITER 2653 NEW BEST:: SOT 12979008 SOS 7158908 HAS SOPS 7155652 HAS SOUS 925263 HAS SOUPS 922030 WITH SCORE 929188.908
AT ITER 2660 NEW BEST:: SOT 12980278 SOS 7160250 HAS SOPS 7156994 HAS SOUS 925098 HAS SOUPS 921865 WITH SCORE 929025.25
AT ITER 2661 NEW BEST:: SOT 12978591 SOS 7157009 HAS SOPS 7153753 HAS SOUS 924993 HAS SOUPS 921760 WITH SCORE 928917.009
AT ITER 2696 NEW BEST:: SOT 12973720 SOS 7152138 HAS SOPS 7148882 HAS SOUS 921398 HAS SOUPS 918165 WITH SCORE 925317.138
AT ITER 2711 NEW BEST:: SOT 12962206 SOS 7136088 HAS SOPS 7132832 HAS SOUS 909617 HAS SOUPS 906384 WITH SCORE 913520.088
AT ITER 2716 NEW BEST:: SOT 12961005 SOS 7134887 HAS SOPS 7131631 HAS SOUS 903780 HAS SOUPS 900547 WITH SCORE 907681.887
AT ITER 2728 NEW BEST:: SOT 12960701 SOS 7134583 HAS SOPS 7131327 HAS SOUS 903163 HAS SOUPS 899930 WITH SCORE 907064.583
AT ITER 2737 NEW BEST:: SOT 12963833 SOS 7137214 HAS SOPS 7134031 HAS SOUS 899237 HAS SOUPS 896077 WITH SCORE 903214.214
AT ITER 2764 NEW BEST:: SOT 12963833 SOS 7135581 HAS SOPS 7132398 HAS SOUS 899214 HAS SOUPS 896054 WITH SCORE 903189.581
AT ITER 2771 NEW BEST:: SOT 12960203 SOS 7132021 HAS SOPS 7128824 HAS SOUS 891890 HAS SOUPS 888716 WITH SCORE 895848.021
AT ITER 2782 NEW BEST:: SOT 12960203 SOS 7132021 HAS SOPS 7128824 HAS SOUS 891888 HAS SOUPS 888714 WITH SCORE 895846.021
AT ITER 2787 NEW BEST:: SOT 12958751 SOS 7130569 HAS SOPS 7127372 HAS SOUS 888734 HAS SOUPS 885560 WITH SCORE 892690.569
AT ITER 2815 NEW BEST:: SOT 12958857 SOS 7129047 HAS SOPS 7125850 HAS SOUS 887574 HAS SOUPS 884400 WITH SCORE 891529.047
AT ITER 2830 NEW BEST:: SOT 12958857 SOS 7129004 HAS SOPS 7125807 HAS SOUS 887556 HAS SOUPS 884382 WITH SCORE 891511.004
AT ITER 2832 NEW BEST:: SOT 12958805 SOS 7128952 HAS SOPS 7125755 HAS SOUS 887513 HAS SOUPS 884339 WITH SCORE 891467.952
AT ITER 2874 NEW BEST:: SOT 12959372 SOS 7130797 HAS SOPS 7127618 HAS SOUS 887250 HAS SOUPS 884094 WITH SCORE 891224.797
AT ITER 2894 NEW BEST:: SOT 12959372 SOS 7130797 HAS SOPS 7127618 HAS SOUS 887230 HAS SOUPS 884074 WITH SCORE 891204.797
AT ITER 2895 NEW BEST:: SOT 12958943 SOS 7130368 HAS SOPS 7127189 HAS SOUS 886526 HAS SOUPS 883370 WITH SCORE 890500.368
AT ITER 2902 NEW BEST:: SOT 12958712 SOS 7129323 HAS SOPS 7126144 HAS SOUS 886459 HAS SOUPS 883303 WITH SCORE 890432.323
AT ITER 2917 NEW BEST:: SOT 12959261 SOS 7129872 HAS SOPS 7126693 HAS SOUS 885621 HAS SOUPS 882465 WITH SCORE 889594.872
AT ITER 2921 NEW BEST:: SOT 12959261 SOS 7129838 HAS SOPS 7126662 HAS SOUS 885597 HAS SOUPS 882444 WITH SCORE 889573.838
AT ITER 2928 NEW BEST:: SOT 12958916 SOS 7129493 HAS SOPS 7126317 HAS SOUS 884900 HAS SOUPS 881747 WITH SCORE 888876.493
AT ITER 2942 NEW BEST:: SOT 12958877 SOS 7129454 HAS SOPS 7126278 HAS SOUS 884874 HAS SOUPS 881721 WITH SCORE 888850.454
AT ITER 2981 NEW BEST:: SOT 12958877 SOS 7129489 HAS SOPS 7126313 HAS SOUS 884839 HAS SOUPS 881686 WITH SCORE 888815.489
AT ITER 2995 NEW BEST:: SOT 12951631 SOS 7121677 HAS SOPS 7118399 HAS SOUS 880132 HAS SOUPS 876877 WITH SCORE 883998.677
AT ITER 2996 NEW BEST:: SOT 12950401 SOS 7120438 HAS SOPS 7117160 HAS SOUS 878827 HAS SOUPS 875572 WITH SCORE 882692.438
AT ITER 3014 NEW BEST:: SOT 12949988 SOS 7120025 HAS SOPS 7116747 HAS SOUS 877989 HAS SOUPS 874734 WITH SCORE 881854.025
AT ITER 3042 NEW BEST:: SOT 12949988 SOS 7120075 HAS SOPS 7116797 HAS SOUS 877939 HAS SOUPS 874684 WITH SCORE 881804.075
AT ITER 3077 NEW BEST:: SOT 12949598 SOS 7119272 HAS SOPS 7116053 HAS SOUS 876533 HAS SOUPS 873337 WITH SCORE 880456.272
AT ITER 3082 NEW BEST:: SOT 12949487 SOS 7119161 HAS SOPS 7115942 HAS SOUS 876153 HAS SOUPS 872957 WITH SCORE 880076.161
AT ITER 3101 NEW BEST:: SOT 12949487 SOS 7119905 HAS SOPS 7116686 HAS SOUS 876141 HAS SOUPS 872945 WITH SCORE 880064.905
AT ITER 3109 NEW BEST:: SOT 12946914 SOS 7117332 HAS SOPS 7114113 HAS SOUS 874525 HAS SOUPS 871329 WITH SCORE 878446.332
AT ITER 3112 NEW BEST:: SOT 12946914 SOS 7117332 HAS SOPS 7114113 HAS SOUS 874519 HAS SOUPS 871323 WITH SCORE 878440.332
AT ITER 3126 NEW BEST:: SOT 12948749 SOS 7119167 HAS SOPS 7115948 HAS SOUS 874098 HAS SOUPS 870902 WITH SCORE 878021.167
AT ITER 3132 NEW BEST:: SOT 12949781 SOS 7120170 HAS SOPS 7116951 HAS SOUS 872404 HAS SOUPS 869208 WITH SCORE 876328.17
AT ITER 3134 NEW BEST:: SOT 12949748 SOS 7120137 HAS SOPS 7116918 HAS SOUS 872240 HAS SOUPS 869044 WITH SCORE 876164.137
AT ITER 3153 NEW BEST:: SOT 12949726 SOS 7129506 HAS SOPS 7126287 HAS SOUS 872201 HAS SOUPS 869005 WITH SCORE 876134.506
AT ITER 3155 NEW BEST:: SOT 12947109 SOS 7126819 HAS SOPS 7123614 HAS SOUS 870255 HAS SOUPS 867073 WITH SCORE 874199.819
AT ITER 3167 NEW BEST:: SOT 12936052 SOS 7115762 HAS SOPS 7112557 HAS SOUS 855101 HAS SOUPS 851919 WITH SCORE 859034.762
AT ITER 3183 NEW BEST:: SOT 12936556 SOS 7117673 HAS SOPS 7114736 HAS SOUS 850778 HAS SOUPS 847864 WITH SCORE 854981.673
AT ITER 3197 NEW BEST:: SOT 12940367 SOS 7125372 HAS SOPS 7122435 HAS SOUS 847895 HAS SOUPS 844981 WITH SCORE 852106.372
AT ITER 3257 NEW BEST:: SOT 12941334 SOS 7126290 HAS SOPS 7123353 HAS SOUS 846449 HAS SOUPS 843535 WITH SCORE 850661.29
AT ITER 3263 NEW BEST:: SOT 12942459 SOS 7127625 HAS SOPS 7124688 HAS SOUS 845257 HAS SOUPS 842343 WITH SCORE 849470.625
AT ITER 3265 NEW BEST:: SOT 12941828 SOS 7125914 HAS SOPS 7122977 HAS SOUS 844770 HAS SOUPS 841856 WITH SCORE 848981.914
AT ITER 3277 NEW BEST:: SOT 12938367 SOS 7122444 HAS SOPS 7119507 HAS SOUS 841104 HAS SOUPS 838190 WITH SCORE 845312.444
AT ITER 3281 NEW BEST:: SOT 12942791 SOS 7131098 HAS SOPS 7128165 HAS SOUS 839687 HAS SOUPS 836777 WITH SCORE 843908.098
AT ITER 3297 NEW BEST:: SOT 12942791 SOS 7130582 HAS SOPS 7127649 HAS SOUS 839644 HAS SOUPS 836734 WITH SCORE 843864.582
AT ITER 3309 NEW BEST:: SOT 12955152 SOS 7142936 HAS SOPS 7140003 HAS SOUS 839422 HAS SOUPS 836512 WITH SCORE 843654.936
AT ITER 3339 NEW BEST:: SOT 12955423 SOS 7143161 HAS SOPS 7140235 HAS SOUS 839208 HAS SOUPS 836305 WITH SCORE 843448.161
AT ITER 3361 NEW BEST:: SOT 12955423 SOS 7143528 HAS SOPS 7140602 HAS SOUS 838952 HAS SOUPS 836049 WITH SCORE 843192.528
AT ITER 3380 NEW BEST:: SOT 12954771 SOS 7142876 HAS SOPS 7139950 HAS SOUS 837680 HAS SOUPS 834777 WITH SCORE 841919.876
AT ITER 3403 NEW BEST:: SOT 12953392 SOS 7141497 HAS SOPS 7138571 HAS SOUS 835394 HAS SOUPS 832491 WITH SCORE 839632.497
AT ITER 3435 NEW BEST:: SOT 12953222 SOS 7141327 HAS SOPS 7138401 HAS SOUS 835331 HAS SOUPS 832428 WITH SCORE 839569.327
AT ITER 3444 NEW BEST:: SOT 12954283 SOS 7142383 HAS SOPS 7139457 HAS SOUS 832494 HAS SOUPS 829591 WITH SCORE 836733.383
AT ITER 3450 NEW BEST:: SOT 12954283 SOS 7137334 HAS SOPS 7134408 HAS SOUS 832263 HAS SOUPS 829360 WITH SCORE 836497.334
AT ITER 3456 NEW BEST:: SOT 12952926 SOS 7135977 HAS SOPS 7133051 HAS SOUS 831232 HAS SOUPS 828329 WITH SCORE 835464.977
AT ITER 3462 NEW BEST:: SOT 12946568 SOS 7129619 HAS SOPS 7126693 HAS SOUS 823723 HAS SOUPS 820820 WITH SCORE 827949.619
AT ITER 3465 NEW BEST:: SOT 12946565 SOS 7129616 HAS SOPS 7126690 HAS SOUS 823720 HAS SOUPS 820817 WITH SCORE 827946.616
AT ITER 3466 NEW BEST:: SOT 12945882 SOS 7128933 HAS SOPS 7126007 HAS SOUS 822560 HAS SOUPS 819657 WITH SCORE 826785.933
AT ITER 3481 NEW BEST:: SOT 12945889 SOS 7128875 HAS SOPS 7125949 HAS SOUS 822495 HAS SOUPS 819592 WITH SCORE 826720.875
AT ITER 3496 NEW BEST:: SOT 12948196 SOS 7131096 HAS SOPS 7128170 HAS SOUS 819517 HAS SOUPS 816614 WITH SCORE 823745.096
AT ITER 3535 NEW BEST:: SOT 12946178 SOS 7127710 HAS SOPS 7124784 HAS SOUS 818757 HAS SOUPS 815854 WITH SCORE 822981.71
AT ITER 3552 NEW BEST:: SOT 12946178 SOS 7122550 HAS SOPS 7119624 HAS SOUS 816540 HAS SOUPS 813637 WITH SCORE 820759.55
AT ITER 3557 NEW BEST:: SOT 12946178 SOS 7122434 HAS SOPS 7119508 HAS SOUS 816425 HAS SOUPS 813522 WITH SCORE 820644.434
AT ITER 3595 NEW BEST:: SOT 12946283 SOS 7122497 HAS SOPS 7119576 HAS SOUS 815352 HAS SOUPS 812454 WITH SCORE 819576.497
AT ITER 3620 NEW BEST:: SOT 12946283 SOS 7122504 HAS SOPS 7119583 HAS SOUS 815345 HAS SOUPS 812447 WITH SCORE 819569.504
AT ITER 3647 NEW BEST:: SOT 12946073 SOS 7122294 HAS SOPS 7119373 HAS SOUS 815135 HAS SOUPS 812237 WITH SCORE 819359.294
AT ITER 3652 NEW BEST:: SOT 12946073 SOS 7122327 HAS SOPS 7119406 HAS SOUS 815102 HAS SOUPS 812204 WITH SCORE 819326.327
AT ITER 3673 NEW BEST:: SOT 12946073 SOS 7124775 HAS SOPS 7121854 HAS SOUS 814811 HAS SOUPS 811913 WITH SCORE 819037.775
AT ITER 3677 NEW BEST:: SOT 12946073 SOS 7122471 HAS SOPS 7119550 HAS SOUS 814811 HAS SOUPS 811913 WITH SCORE 819035.471
AT ITER 3690 NEW BEST:: SOT 12945465 SOS 7121863 HAS SOPS 7118942 HAS SOUS 813651 HAS SOUPS 810753 WITH SCORE 817874.863
AT ITER 3699 NEW BEST:: SOT 12945434 SOS 7123137 HAS SOPS 7120216 HAS SOUS 813611 HAS SOUPS 810713 WITH SCORE 817836.137
AT ITER 3705 NEW BEST:: SOT 12945417 SOS 7123103 HAS SOPS 7120182 HAS SOUS 813594 HAS SOUPS 810696 WITH SCORE 817819.103
AT ITER 3723 NEW BEST:: SOT 12945417 SOS 7123124 HAS SOPS 7120203 HAS SOUS 813573 HAS SOUPS 810675 WITH SCORE 817798.124
AT ITER 3761 NEW BEST:: SOT 12946932 SOS 7124639 HAS SOPS 7121718 HAS SOUS 813541 HAS SOUPS 810643 WITH SCORE 817767.639
AT ITER 3785 NEW BEST:: SOT 12946592 SOS 7124299 HAS SOPS 7121378 HAS SOUS 812821 HAS SOUPS 809923 WITH SCORE 817047.299
AT ITER 3795 NEW BEST:: SOT 12944608 SOS 7122315 HAS SOPS 7119394 HAS SOUS 810775 HAS SOUPS 807877 WITH SCORE 814999.315
AT ITER 3813 NEW BEST:: SOT 12944476 SOS 7122169 HAS SOPS 7119248 HAS SOUS 810500 HAS SOUPS 807602 WITH SCORE 814724.169
AT ITER 3824 NEW BEST:: SOT 12944476 SOS 7121017 HAS SOPS 7118096 HAS SOUS 810500 HAS SOUPS 807602 WITH SCORE 814723.017
AT ITER 3834 NEW BEST:: SOT 12944342 SOS 7120883 HAS SOPS 7117962 HAS SOUS 810465 HAS SOUPS 807567 WITH SCORE 814687.883
AT ITER 3853 NEW BEST:: SOT 12933105 SOS 7109719 HAS SOPS 7106798 HAS SOUS 810239 HAS SOUPS 807341 WITH SCORE 814450.719
AT ITER 3865 NEW BEST:: SOT 12929978 SOS 7106644 HAS SOPS 7103723 HAS SOUS 807366 HAS SOUPS 804468 WITH SCORE 811574.644
AT ITER 3885 NEW BEST:: SOT 12929998 SOS 7106664 HAS SOPS 7103743 HAS SOUS 807283 HAS SOUPS 804385 WITH SCORE 811491.664
AT ITER 3893 NEW BEST:: SOT 12929939 SOS 7106605 HAS SOPS 7103684 HAS SOUS 807140 HAS SOUPS 804242 WITH SCORE 811348.605
AT ITER 3914 NEW BEST:: SOT 12929939 SOS 7106463 HAS SOPS 7103542 HAS SOUS 807069 HAS SOUPS 804171 WITH SCORE 811277.463
AT ITER 3927 NEW BEST:: SOT 12929939 SOS 7109694 HAS SOPS 7106773 HAS SOUS 807057 HAS SOUPS 804159 WITH SCORE 811268.694
AT ITER 3934 NEW BEST:: SOT 12930230 SOS 7109985 HAS SOPS 7107064 HAS SOUS 806971 HAS SOUPS 804073 WITH SCORE 811182.985
AT ITER 3939 NEW BEST:: SOT 12928895 SOS 7108650 HAS SOPS 7105729 HAS SOUS 804205 HAS SOUPS 801307 WITH SCORE 808415.65
AT ITER 3963 NEW BEST:: SOT 12928895 SOS 7108662 HAS SOPS 7105741 HAS SOUS 804203 HAS SOUPS 801305 WITH SCORE 808413.662
AT ITER 3973 NEW BEST:: SOT 12928895 SOS 7108651 HAS SOPS 7105730 HAS SOUS 804181 HAS SOUPS 801283 WITH SCORE 808391.651
AT ITER 3984 NEW BEST:: SOT 12928895 SOS 7108587 HAS SOPS 7105666 HAS SOUS 804165 HAS SOUPS 801267 WITH SCORE 808375.587
AT ITER 3999 NEW BEST:: SOT 12932826 SOS 7112518 HAS SOPS 7109597 HAS SOUS 803255 HAS SOUPS 800357 WITH SCORE 807469.518
AT ITER 4000 NEW BEST:: SOT 12932826 SOS 7112124 HAS SOPS 7109277 HAS SOUS 803181 HAS SOUPS 800357 WITH SCORE 807469.124
AT ITER 4012 NEW BEST:: SOT 12930414 SOS 7109712 HAS SOPS 7106865 HAS SOUS 798207 HAS SOUPS 795383 WITH SCORE 802492.712
AT ITER 4014 NEW BEST:: SOT 12930414 SOS 7107264 HAS SOPS 7104417 HAS SOUS 798207 HAS SOUPS 795383 WITH SCORE 802490.264
AT ITER 4029 NEW BEST:: SOT 12930414 SOS 7110726 HAS SOPS 7107879 HAS SOUS 798055 HAS SOUPS 795231 WITH SCORE 802341.726
AT ITER 4036 NEW BEST:: SOT 12928855 SOS 7109167 HAS SOPS 7106320 HAS SOUS 794775 HAS SOUPS 791951 WITH SCORE 799060.167
AT ITER 4042 NEW BEST:: SOT 12929616 SOS 7109936 HAS SOPS 7107089 HAS SOUS 794692 HAS SOUPS 791868 WITH SCORE 798977.936
AT ITER 4053 NEW BEST:: SOT 12929883 SOS 7110203 HAS SOPS 7107356 HAS SOUS 793223 HAS SOUPS 790399 WITH SCORE 797509.203
AT ITER 4060 NEW BEST:: SOT 12925553 SOS 7103137 HAS SOPS 7100290 HAS SOUS 791352 HAS SOUPS 788528 WITH SCORE 795631.137
AT ITER 4082 NEW BEST:: SOT 12925553 SOS 7103005 HAS SOPS 7100158 HAS SOUS 791286 HAS SOUPS 788462 WITH SCORE 795565.005
AT ITER 4104 NEW BEST:: SOT 12929847 SOS 7113563 HAS SOPS 7110798 HAS SOUS 786187 HAS SOUPS 783445 WITH SCORE 790558.563
AT ITER 4119 NEW BEST:: SOT 12929847 SOS 7113020 HAS SOPS 7110255 HAS SOUS 786001 HAS SOUPS 783259 WITH SCORE 790372.02
AT ITER 4129 NEW BEST:: SOT 12929847 SOS 7113018 HAS SOPS 7110253 HAS SOUS 786000 HAS SOUPS 783258 WITH SCORE 790371.018
AT ITER 4166 NEW BEST:: SOT 12929846 SOS 7113017 HAS SOPS 7110252 HAS SOUS 785999 HAS SOUPS 783257 WITH SCORE 790370.017
AT ITER 4186 NEW BEST:: SOT 12929846 SOS 7113050 HAS SOPS 7110285 HAS SOUS 785966 HAS SOUPS 783224 WITH SCORE 790337.05
AT ITER 4206 NEW BEST:: SOT 12929734 SOS 7112938 HAS SOPS 7110173 HAS SOUS 785715 HAS SOUPS 782973 WITH SCORE 790085.938
AT ITER 4237 NEW BEST:: SOT 12929628 SOS 7108883 HAS SOPS 7106118 HAS SOUS 785629 HAS SOUPS 782887 WITH SCORE 789995.883
AT ITER 4290 NEW BEST:: SOT 12929490 SOS 7108673 HAS SOPS 7105908 HAS SOUS 785562 HAS SOUPS 782820 WITH SCORE 789928.673
AT ITER 4320 NEW BEST:: SOT 12929490 SOS 7107870 HAS SOPS 7105105 HAS SOUS 785540 HAS SOUPS 782798 WITH SCORE 789905.87
AT ITER 4356 NEW BEST:: SOT 12930220 SOS 7110356 HAS SOPS 7107591 HAS SOUS 784756 HAS SOUPS 782014 WITH SCORE 789124.356
AT ITER 4362 NEW BEST:: SOT 12930628 SOS 7110940 HAS SOPS 7108175 HAS SOUS 784680 HAS SOUPS 781938 WITH SCORE 789048.94
AT ITER 4370 NEW BEST:: SOT 12930628 SOS 7109338 HAS SOPS 7106573 HAS SOUS 784608 HAS SOUPS 781866 WITH SCORE 788975.338
AT ITER 4376 NEW BEST:: SOT 12931081 SOS 7109727 HAS SOPS 7106970 HAS SOUS 779672 HAS SOUPS 776938 WITH SCORE 784047.727
AT ITER 4400 NEW BEST:: SOT 12931158 SOS 7024826 HAS SOPS 7022069 HAS SOUS 779692 HAS SOUPS 776958 WITH SCORE 783982.826
AT ITER 4409 NEW BEST:: SOT 12931130 SOS 7024798 HAS SOPS 7022041 HAS SOUS 779692 HAS SOUPS 776958 WITH SCORE 783982.798
AT ITER 4416 NEW BEST:: SOT 12931018 SOS 7024686 HAS SOPS 7021929 HAS SOUS 779202 HAS SOUPS 776468 WITH SCORE 783492.686
AT ITER 4428 NEW BEST:: SOT 12931401 SOS 7025244 HAS SOPS 7022488 HAS SOUS 779127 HAS SOUPS 776394 WITH SCORE 783419.244
AT ITER 4441 NEW BEST:: SOT 12931468 SOS 7024733 HAS SOPS 7022097 HAS SOUS 778867 HAS SOUPS 776254 WITH SCORE 783278.733
AT ITER 4454 NEW BEST:: SOT 12931521 SOS 7024786 HAS SOPS 7022150 HAS SOUS 778850 HAS SOUPS 776237 WITH SCORE 783261.786
AT ITER 4462 NEW BEST:: SOT 12929849 SOS 7023114 HAS SOPS 7020478 HAS SOUS 775416 HAS SOUPS 772803 WITH SCORE 779826.114
AT ITER 4499 NEW BEST:: SOT 12929472 SOS 7022233 HAS SOPS 7019597 HAS SOUS 775032 HAS SOUPS 772419 WITH SCORE 779441.233
AT ITER 4501 NEW BEST:: SOT 12929483 SOS 7022244 HAS SOPS 7019608 HAS SOUS 775025 HAS SOUPS 772412 WITH SCORE 779434.244
AT ITER 4529 NEW BEST:: SOT 12924206 SOS 7016967 HAS SOPS 7014331 HAS SOUS 767820 HAS SOUPS 765207 WITH SCORE 772223.967
AT ITER 4550 NEW BEST:: SOT 12923741 SOS 7016724 HAS SOPS 7014088 HAS SOUS 766992 HAS SOUPS 764379 WITH SCORE 771395.724
AT ITER 4553 NEW BEST:: SOT 12921887 SOS 7014905 HAS SOPS 7012269 HAS SOUS 765249 HAS SOUPS 762636 WITH SCORE 769650.905
AT ITER 4563 NEW BEST:: SOT 12921887 SOS 7013309 HAS SOPS 7010673 HAS SOUS 765156 HAS SOUPS 762543 WITH SCORE 769556.309
AT ITER 4624 NEW BEST:: SOT 12918954 SOS 7008360 HAS SOPS 7005724 HAS SOUS 764969 HAS SOUPS 762356 WITH SCORE 769364.36
AT ITER 4638 NEW BEST:: SOT 12918822 SOS 7008228 HAS SOPS 7005592 HAS SOUS 764837 HAS SOUPS 762224 WITH SCORE 769232.228
AT ITER 4639 NEW BEST:: SOT 12918822 SOS 7006600 HAS SOPS 7003964 HAS SOUS 764610 HAS SOUPS 761997 WITH SCORE 769003.6
AT ITER 4644 NEW BEST:: SOT 12918795 SOS 7006573 HAS SOPS 7003937 HAS SOUS 764609 HAS SOUPS 761996 WITH SCORE 769002.573
AT ITER 4691 NEW BEST:: SOT 12917980 SOS 7005758 HAS SOPS 7003122 HAS SOUS 763847 HAS SOUPS 761234 WITH SCORE 768239.758
AT ITER 4728 NEW BEST:: SOT 12917641 SOS 7005382 HAS SOPS 7002746 HAS SOUS 763471 HAS SOUPS 760858 WITH SCORE 767863.382
AT ITER 4736 NEW BEST:: SOT 12917479 SOS 7005220 HAS SOPS 7002584 HAS SOUS 762435 HAS SOUPS 759822 WITH SCORE 766827.22
AT ITER 4740 NEW BEST:: SOT 12917479 SOS 7011895 HAS SOPS 7009259 HAS SOUS 762365 HAS SOUPS 759752 WITH SCORE 766763.895
AT ITER 4757 NEW BEST:: SOT 12919568 SOS 7013984 HAS SOPS 7011348 HAS SOUS 762102 HAS SOUPS 759489 WITH SCORE 766502.984
AT ITER 4763 NEW BEST:: SOT 12922832 SOS 7020074 HAS SOPS 7016193 HAS SOUS 761940 HAS SOUPS 758984 WITH SCORE 766004.074
AT ITER 4784 NEW BEST:: SOT 12922678 SOS 7019920 HAS SOPS 7016039 HAS SOUS 761776 HAS SOUPS 758820 WITH SCORE 765839.92
AT ITER 4785 NEW BEST:: SOT 12922678 SOS 7019382 HAS SOPS 7015501 HAS SOUS 761741 HAS SOUPS 758785 WITH SCORE 765804.382
AT ITER 4800 NEW BEST:: SOT 12922575 SOS 7019422 HAS SOPS 7015541 HAS SOUS 759845 HAS SOUPS 756889 WITH SCORE 763908.422
AT ITER 4825 NEW BEST:: SOT 12922571 SOS 7019418 HAS SOPS 7015537 HAS SOUS 759841 HAS SOUPS 756885 WITH SCORE 763904.418
AT ITER 4840 NEW BEST:: SOT 12922571 SOS 7019141 HAS SOPS 7015260 HAS SOUS 759573 HAS SOUPS 756617 WITH SCORE 763636.141
AT ITER 4848 NEW BEST:: SOT 12922555 SOS 7019546 HAS SOPS 7015665 HAS SOUS 759053 HAS SOUPS 756097 WITH SCORE 763116.546
AT ITER 4851 NEW BEST:: SOT 12922478 SOS 7019577 HAS SOPS 7015696 HAS SOUS 757620 HAS SOUPS 754664 WITH SCORE 761683.577
AT ITER 4870 NEW BEST:: SOT 12913343 SOS 7010956 HAS SOPS 7006912 HAS SOUS 753633 HAS SOUPS 750514 WITH SCORE 757524.956
AT ITER 4875 NEW BEST:: SOT 12913343 SOS 7011002 HAS SOPS 7006958 HAS SOUS 753587 HAS SOUPS 750468 WITH SCORE 757479.002
AT ITER 4884 NEW BEST:: SOT 12913310 SOS 7010969 HAS SOPS 7006925 HAS SOUS 753554 HAS SOUPS 750435 WITH SCORE 757445.969
AT ITER 4905 NEW BEST:: SOT 12914828 SOS 7012565 HAS SOPS 7008521 HAS SOUS 753434 HAS SOUPS 750315 WITH SCORE 757327.565
AT ITER 4917 NEW BEST:: SOT 12914855 SOS 7012858 HAS SOPS 7008827 HAS SOUS 753053 HAS SOUPS 749947 WITH SCORE 756959.858
AT ITER 4921 NEW BEST:: SOT 12914855 SOS 7012895 HAS SOPS 7008864 HAS SOUS 753016 HAS SOUPS 749910 WITH SCORE 756922.895
AT ITER 4955 NEW BEST:: SOT 12911491 SOS 7009482 HAS SOPS 7005451 HAS SOUS 749699 HAS SOUPS 746593 WITH SCORE 753602.482
AT ITER 4965 NEW BEST:: SOT 12911491 SOS 7009542 HAS SOPS 7005511 HAS SOUS 749639 HAS SOUPS 746533 WITH SCORE 753542.542
AT ITER 4989 NEW BEST:: SOT 12911518 SOS 7009569 HAS SOPS 7005538 HAS SOUS 749583 HAS SOUPS 746477 WITH SCORE 753486.569
AT ITER 4994 NEW BEST:: SOT 12911469 SOS 7009520 HAS SOPS 7005489 HAS SOUS 749534 HAS SOUPS 746428 WITH SCORE 753437.52
AT ITER 5010 NEW BEST:: SOT 12911469 SOS 7009356 HAS SOPS 7005325 HAS SOUS 749493 HAS SOUPS 746387 WITH SCORE 753396.356
AT ITER 5015 NEW BEST:: SOT 12912168 SOS 7010235 HAS SOPS 7006204 HAS SOUS 749315 HAS SOUPS 746209 WITH SCORE 753219.235
AT ITER 5049 NEW BEST:: SOT 12912168 SOS 7009841 HAS SOPS 7005810 HAS SOUS 749118 HAS SOUPS 746012 WITH SCORE 753021.841
AT ITER 5066 NEW BEST:: SOT 12912168 SOS 7009750 HAS SOPS 7005732 HAS SOUS 749061 HAS SOUPS 745968 WITH SCORE 752977.75
AT ITER 5076 NEW BEST:: SOT 12912168 SOS 7009628 HAS SOPS 7005610 HAS SOUS 749000 HAS SOUPS 745907 WITH SCORE 752916.628
AT ITER 5090 NEW BEST:: SOT 12912168 SOS 7009448 HAS SOPS 7005430 HAS SOUS 748985 HAS SOUPS 745892 WITH SCORE 752901.448
AT ITER 5098 NEW BEST:: SOT 12912504 SOS 7016742 HAS SOPS 7012724 HAS SOUS 747809 HAS SOUPS 744716 WITH SCORE 751732.742
AT ITER 5109 NEW BEST:: SOT 12913839 SOS 7021893 HAS SOPS 7017875 HAS SOUS 747306 HAS SOUPS 744213 WITH SCORE 751234.893
AT ITER 5113 NEW BEST:: SOT 12915503 SOS 7023557 HAS SOPS 7019539 HAS SOUS 745789 HAS SOUPS 742696 WITH SCORE 749719.557
AT ITER 5120 NEW BEST:: SOT 12914499 SOS 7024493 HAS SOPS 7020475 HAS SOUS 745117 HAS SOUPS 742024 WITH SCORE 749048.493
AT ITER 5129 NEW BEST:: SOT 12914485 SOS 7024479 HAS SOPS 7020461 HAS SOUS 745103 HAS SOUPS 742010 WITH SCORE 749034.479
AT ITER 5146 NEW BEST:: SOT 12913125 SOS 7022017 HAS SOPS 7018933 HAS SOUS 742796 HAS SOUPS 739928 WITH SCORE 746950.017
AT ITER 5163 NEW BEST:: SOT 12913466 SOS 7022342 HAS SOPS 7019274 HAS SOUS 742616 HAS SOUPS 739764 WITH SCORE 746786.342
AT ITER 5170 NEW BEST:: SOT 12917533 SOS 7026409 HAS SOPS 7023341 HAS SOUS 739784 HAS SOUPS 736932 WITH SCORE 743958.409
AT ITER 5177 NEW BEST:: SOT 12917501 SOS 7026377 HAS SOPS 7023309 HAS SOUS 739706 HAS SOUPS 736854 WITH SCORE 743880.377
AT ITER 5183 NEW BEST:: SOT 12917115 SOS 7024335 HAS SOPS 7021267 HAS SOUS 739141 HAS SOUPS 736289 WITH SCORE 743313.335
AT ITER 5193 NEW BEST:: SOT 12916828 SOS 7024048 HAS SOPS 7020980 HAS SOUS 738475 HAS SOUPS 735623 WITH SCORE 742647.048
AT ITER 5206 NEW BEST:: SOT 12920956 SOS 7032818 HAS SOPS 7029788 HAS SOUS 736971 HAS SOUPS 734157 WITH SCORE 741189.818
AT ITER 5224 NEW BEST:: SOT 12926254 SOS 7042063 HAS SOPS 7039429 HAS SOUS 735096 HAS SOUPS 732678 WITH SCORE 739720.063
AT ITER 5228 NEW BEST:: SOT 12927716 SOS 7043525 HAS SOPS 7040891 HAS SOUS 733994 HAS SOUPS 731576 WITH SCORE 738619.525
AT ITER 5236 NEW BEST:: SOT 12934487 SOS 7050296 HAS SOPS 7047662 HAS SOUS 732678 HAS SOUPS 730260 WITH SCORE 737310.296
AT ITER 5241 NEW BEST:: SOT 12934484 SOS 7050293 HAS SOPS 7047659 HAS SOUS 732676 HAS SOUPS 730258 WITH SCORE 737308.293
AT ITER 5244 NEW BEST:: SOT 12934484 SOS 7045493 HAS SOPS 7042859 HAS SOUS 732648 HAS SOUPS 730230 WITH SCORE 737275.493
AT ITER 5263 NEW BEST:: SOT 12934229 SOS 7047438 HAS SOPS 7044804 HAS SOUS 732223 HAS SOUPS 729805 WITH SCORE 736852.438
AT ITER 5278 NEW BEST:: SOT 12934229 SOS 7047438 HAS SOPS 7044804 HAS SOUS 732210 HAS SOUPS 729792 WITH SCORE 736839.438
AT ITER 5287 NEW BEST:: SOT 12932130 SOS 7045331 HAS SOPS 7042697 HAS SOUS 730053 HAS SOUPS 727635 WITH SCORE 734680.331
AT ITER 5301 NEW BEST:: SOT 12932130 SOS 7041803 HAS SOPS 7039169 HAS SOUS 730053 HAS SOUPS 727635 WITH SCORE 734676.803
AT ITER 5351 NEW BEST:: SOT 12932210 SOS 7041883 HAS SOPS 7039249 HAS SOUS 729921 HAS SOUPS 727503 WITH SCORE 734544.883
AT ITER 5377 NEW BEST:: SOT 12933285 SOS 7041086 HAS SOPS 7038452 HAS SOUS 729648 HAS SOUPS 727230 WITH SCORE 734271.086
AT ITER 5391 NEW BEST:: SOT 12933263 SOS 7041064 HAS SOPS 7038430 HAS SOUS 729626 HAS SOUPS 727208 WITH SCORE 734249.064
AT ITER 5405 NEW BEST:: SOT 12928657 SOS 7034774 HAS SOPS 7032021 HAS SOUS 726968 HAS SOUPS 724431 WITH SCORE 731465.774
AT ITER 5455 NEW BEST:: SOT 12928657 SOS 7034714 HAS SOPS 7031961 HAS SOUS 726948 HAS SOUPS 724411 WITH SCORE 731445.714
AT ITER 5485 NEW BEST:: SOT 12929079 SOS 7038358 HAS SOPS 7035701 HAS SOUS 725633 HAS SOUPS 723192 WITH SCORE 730230.358
AT ITER 5502 NEW BEST:: SOT 12927452 SOS 7035723 HAS SOPS 7033066 HAS SOUS 724886 HAS SOUPS 722445 WITH SCORE 729480.723
AT ITER 5538 NEW BEST:: SOT 12927395 SOS 7032174 HAS SOPS 7029517 HAS SOUS 724315 HAS SOUPS 721874 WITH SCORE 728906.174
AT ITER 5544 NEW BEST:: SOT 12927652 SOS 7032429 HAS SOPS 7029772 HAS SOUS 723724 HAS SOUPS 721283 WITH SCORE 728315.429
AT ITER 5552 NEW BEST:: SOT 12927766 SOS 7032520 HAS SOPS 7029863 HAS SOUS 723195 HAS SOUPS 720754 WITH SCORE 727786.52
AT ITER 5558 NEW BEST:: SOT 12928861 SOS 7042350 HAS SOPS 7039555 HAS SOUS 721141 HAS SOUPS 718614 WITH SCORE 725656.35
AT ITER 5596 NEW BEST:: SOT 12928917 SOS 7042406 HAS SOPS 7039492 HAS SOUS 721197 HAS SOUPS 718551 WITH SCORE 725593.406
AT ITER 5605 NEW BEST:: SOT 12928917 SOS 7042118 HAS SOPS 7039204 HAS SOUS 721197 HAS SOUPS 718551 WITH SCORE 725593.118
AT ITER 5619 NEW BEST:: SOT 12927388 SOS 7042827 HAS SOPS 7039913 HAS SOUS 720288 HAS SOUPS 717642 WITH SCORE 724684.827
AT ITER 5642 NEW BEST:: SOT 12927388 SOS 7042771 HAS SOPS 7039857 HAS SOUS 720274 HAS SOUPS 717628 WITH SCORE 724670.771
AT ITER 5684 NEW BEST:: SOT 12927388 SOS 7042771 HAS SOPS 7039857 HAS SOUS 720269 HAS SOUPS 717623 WITH SCORE 724665.771
AT ITER 5734 NEW BEST:: SOT 12927388 SOS 7038866 HAS SOPS 7035952 HAS SOUS 720269 HAS SOUPS 717623 WITH SCORE 724661.866
AT ITER 5762 NEW BEST:: SOT 12923443 SOS 7037000 HAS SOPS 7034086 HAS SOUS 720218 HAS SOUPS 717572 WITH SCORE 724609.0
AT ITER 5788 NEW BEST:: SOT 12929777 SOS 7043334 HAS SOPS 7040420 HAS SOUS 717967 HAS SOUPS 715321 WITH SCORE 722364.334
AT ITER 5826 NEW BEST:: SOT 12929717 SOS 7043274 HAS SOPS 7040360 HAS SOUS 717907 HAS SOUPS 715261 WITH SCORE 722304.274
AT ITER 5838 NEW BEST:: SOT 12929641 SOS 7075052 HAS SOPS 7072138 HAS SOUS 717822 HAS SOUPS 715176 WITH SCORE 722251.052
AT ITER 5839 NEW BEST:: SOT 12931402 SOS 7079937 HAS SOPS 7077067 HAS SOUS 717621 HAS SOUPS 715019 WITH SCORE 722098.937
AT ITER 5867 NEW BEST:: SOT 12934464 SOS 7081483 HAS SOPS 7078613 HAS SOUS 716924 HAS SOUPS 714322 WITH SCORE 721403.483
AT ITER 5913 NEW BEST:: SOT 12934464 SOS 7081483 HAS SOPS 7078613 HAS SOUS 716867 HAS SOUPS 714265 WITH SCORE 721346.483
AT ITER 5954 NEW BEST:: SOT 12934464 SOS 7081516 HAS SOPS 7078646 HAS SOUS 716801 HAS SOUPS 714199 WITH SCORE 721280.516
AT ITER 5979 NEW BEST:: SOT 12935118 SOS 7082170 HAS SOPS 7079300 HAS SOUS 716749 HAS SOUPS 714147 WITH SCORE 721229.17
AT ITER 6008 NEW BEST:: SOT 12935118 SOS 7080514 HAS SOPS 7077644 HAS SOUS 716284 HAS SOUPS 713682 WITH SCORE 720762.514
AT ITER 6031 NEW BEST:: SOT 12935338 SOS 7080734 HAS SOPS 7077864 HAS SOUS 716236 HAS SOUPS 713634 WITH SCORE 720714.734
AT ITER 6046 NEW BEST:: SOT 12933671 SOS 7079067 HAS SOPS 7076197 HAS SOUS 714870 HAS SOUPS 712268 WITH SCORE 719347.067
AT ITER 6049 NEW BEST:: SOT 12933671 SOS 7079168 HAS SOPS 7076298 HAS SOUS 714769 HAS SOUPS 712167 WITH SCORE 719246.168
AT ITER 6085 NEW BEST:: SOT 12931115 SOS 7076612 HAS SOPS 7073742 HAS SOUS 710146 HAS SOUPS 707544 WITH SCORE 714620.612
AT ITER 6113 NEW BEST:: SOT 12928318 SOS 7071587 HAS SOPS 7068713 HAS SOUS 709735 HAS SOUPS 707129 WITH SCORE 714200.587
AT ITER 6119 NEW BEST:: SOT 12928318 SOS 7071598 HAS SOPS 7068724 HAS SOUS 709564 HAS SOUPS 706958 WITH SCORE 714029.598
AT ITER 6159 NEW BEST:: SOT 12929601 SOS 7069353 HAS SOPS 7066479 HAS SOUS 701542 HAS SOUPS 698936 WITH SCORE 706005.353
AT ITER 6160 NEW BEST:: SOT 12935892 SOS 7080945 HAS SOPS 7078073 HAS SOUS 700639 HAS SOUPS 698035 WITH SCORE 705115.945
AT ITER 6174 NEW BEST:: SOT 12935892 SOS 7080759 HAS SOPS 7077887 HAS SOUS 700546 HAS SOUPS 697942 WITH SCORE 705022.759
AT ITER 6202 NEW BEST:: SOT 12935888 SOS 7080755 HAS SOPS 7077883 HAS SOUS 700544 HAS SOUPS 697940 WITH SCORE 705020.755
AT ITER 6206 NEW BEST:: SOT 12935888 SOS 7080381 HAS SOPS 7077509 HAS SOUS 700527 HAS SOUPS 697923 WITH SCORE 705003.381
AT ITER 6213 NEW BEST:: SOT 12940159 SOS 7088244 HAS SOPS 7085372 HAS SOUS 700047 HAS SOUPS 697443 WITH SCORE 704531.244
AT ITER 6222 NEW BEST:: SOT 12940207 SOS 7088364 HAS SOPS 7085492 HAS SOUS 699983 HAS SOUPS 697379 WITH SCORE 704467.364
AT ITER 6312 NEW BEST:: SOT 12939994 SOS 7088151 HAS SOPS 7085279 HAS SOUS 699770 HAS SOUPS 697166 WITH SCORE 704254.151
AT ITER 6319 NEW BEST:: SOT 12939994 SOS 7090144 HAS SOPS 7087272 HAS SOUS 698406 HAS SOUPS 695802 WITH SCORE 702892.144
AT ITER 6323 NEW BEST:: SOT 12939994 SOS 7090144 HAS SOPS 7087272 HAS SOUS 698373 HAS SOUPS 695769 WITH SCORE 702859.144
AT ITER 6331 NEW BEST:: SOT 12939994 SOS 7092470 HAS SOPS 7089598 HAS SOUS 698339 HAS SOUPS 695735 WITH SCORE 702827.47
AT ITER 6352 NEW BEST:: SOT 12940069 SOS 7092545 HAS SOPS 7089673 HAS SOUS 698207 HAS SOUPS 695603 WITH SCORE 702695.545
AT ITER 6356 NEW BEST:: SOT 12940069 SOS 7092618 HAS SOPS 7089746 HAS SOUS 698134 HAS SOUPS 695530 WITH SCORE 702622.618
AT ITER 6389 NEW BEST:: SOT 12939618 SOS 7092167 HAS SOPS 7089295 HAS SOUS 697223 HAS SOUPS 694619 WITH SCORE 701711.167
AT ITER 6411 NEW BEST:: SOT 12942447 SOS 7094966 HAS SOPS 7092094 HAS SOUS 694235 HAS SOUPS 691631 WITH SCORE 698725.966
AT ITER 6423 NEW BEST:: SOT 12946659 SOS 7097902 HAS SOPS 7095341 HAS SOUS 693867 HAS SOUPS 691381 WITH SCORE 698478.902
AT ITER 6436 NEW BEST:: SOT 12946621 SOS 7098059 HAS SOPS 7095464 HAS SOUS 693829 HAS SOUPS 691309 WITH SCORE 698407.059
AT ITER 6478 NEW BEST:: SOT 12945743 SOS 7097181 HAS SOPS 7094586 HAS SOUS 692951 HAS SOUPS 690431 WITH SCORE 697528.181
AT ITER 6563 NEW BEST:: SOT 12948067 SOS 7099121 HAS SOPS 7096526 HAS SOUS 688170 HAS SOUPS 685650 WITH SCORE 692749.121
AT ITER 6630 NEW BEST:: SOT 12948723 SOS 7099777 HAS SOPS 7097182 HAS SOUS 687686 HAS SOUPS 685166 WITH SCORE 692265.777
AT ITER 6631 NEW BEST:: SOT 12948741 SOS 7073137 HAS SOPS 7070542 HAS SOUS 687704 HAS SOUPS 685184 WITH SCORE 692257.137
AT ITER 6660 NEW BEST:: SOT 12948769 SOS 7073409 HAS SOPS 7070814 HAS SOUS 687686 HAS SOUPS 685166 WITH SCORE 692239.409
AT ITER 6661 NEW BEST:: SOT 12952201 SOS 7076945 HAS SOPS 7074350 HAS SOUS 685326 HAS SOUPS 682806 WITH SCORE 689882.945
AT ITER 6671 NEW BEST:: SOT 12952327 SOS 7077071 HAS SOPS 7074476 HAS SOUS 685272 HAS SOUPS 682752 WITH SCORE 689829.071
AT ITER 6685 NEW BEST:: SOT 12952327 SOS 7076947 HAS SOPS 7074352 HAS SOUS 685210 HAS SOUPS 682690 WITH SCORE 689766.947
AT ITER 6748 NEW BEST:: SOT 12954199 SOS 7076555 HAS SOPS 7073960 HAS SOUS 683501 HAS SOUPS 680981 WITH SCORE 688057.555
AT ITER 6749 NEW BEST:: SOT 12954199 SOS 7076329 HAS SOPS 7073734 HAS SOUS 683388 HAS SOUPS 680868 WITH SCORE 687944.329
AT ITER 6750 NEW BEST:: SOT 12954199 SOS 7076313 HAS SOPS 7073718 HAS SOUS 683388 HAS SOUPS 680868 WITH SCORE 687944.313
AT ITER 6765 NEW BEST:: SOT 12953614 SOS 7075728 HAS SOPS 7073133 HAS SOUS 682659 HAS SOUPS 680139 WITH SCORE 687214.728
AT ITER 6782 NEW BEST:: SOT 12953614 SOS 7075368 HAS SOPS 7072773 HAS SOUS 682659 HAS SOUPS 680139 WITH SCORE 687214.368
AT ITER 6791 NEW BEST:: SOT 12958591 SOS 7079813 HAS SOPS 7077381 HAS SOUS 680614 HAS SOUPS 678257 WITH SCORE 685336.813
AT ITER 6821 NEW BEST:: SOT 12958702 SOS 7088228 HAS SOPS 7085765 HAS SOUS 679490 HAS SOUPS 677133 WITH SCORE 684221.228
AT ITER 6822 NEW BEST:: SOT 12958702 SOS 7084700 HAS SOPS 7082237 HAS SOUS 677386 HAS SOUPS 675029 WITH SCORE 682113.7
AT ITER 6829 NEW BEST:: SOT 12958679 SOS 7084677 HAS SOPS 7082214 HAS SOUS 677282 HAS SOUPS 674925 WITH SCORE 682009.677
AT ITER 6830 NEW BEST:: SOT 12958686 SOS 7084684 HAS SOPS 7082221 HAS SOUS 676093 HAS SOUPS 673736 WITH SCORE 680820.684
AT ITER 6833 NEW BEST:: SOT 12958997 SOS 7084995 HAS SOPS 7082532 HAS SOUS 675803 HAS SOUPS 673446 WITH SCORE 680530.995
AT ITER 6855 NEW BEST:: SOT 12958951 SOS 7083347 HAS SOPS 7080907 HAS SOUS 675776 HAS SOUPS 673419 WITH SCORE 680502.347
AT ITER 6880 NEW BEST:: SOT 12958937 SOS 7083333 HAS SOPS 7080893 HAS SOUS 675444 HAS SOUPS 673087 WITH SCORE 680170.333
AT ITER 6885 NEW BEST:: SOT 12958132 SOS 7078413 HAS SOPS 7075912 HAS SOUS 675194 HAS SOUPS 672776 WITH SCORE 679854.413
AT ITER 6889 NEW BEST:: SOT 12959697 SOS 7079978 HAS SOPS 7077477 HAS SOUS 675141 HAS SOUPS 672723 WITH SCORE 679802.978
AT ITER 6896 NEW BEST:: SOT 12959697 SOS 7079618 HAS SOPS 7077117 HAS SOUS 674912 HAS SOUPS 672494 WITH SCORE 679573.618
AT ITER 6914 NEW BEST:: SOT 12959656 SOS 7079745 HAS SOPS 7077252 HAS SOUS 674021 HAS SOUPS 671611 WITH SCORE 678690.745
AT ITER 6921 NEW BEST:: SOT 12957280 SOS 7077369 HAS SOPS 7074876 HAS SOUS 669269 HAS SOUPS 666859 WITH SCORE 673936.369
AT ITER 6940 NEW BEST:: SOT 12957280 SOS 7076508 HAS SOPS 7074015 HAS SOUS 669269 HAS SOUPS 666859 WITH SCORE 673935.508
AT ITER 6949 NEW BEST:: SOT 12957280 SOS 7076370 HAS SOPS 7073877 HAS SOUS 669200 HAS SOUPS 666790 WITH SCORE 673866.37
AT ITER 6971 NEW BEST:: SOT 12957280 SOS 7076480 HAS SOPS 7073987 HAS SOUS 669090 HAS SOUPS 666680 WITH SCORE 673756.48
AT ITER 6981 NEW BEST:: SOT 12957069 SOS 7076269 HAS SOPS 7073776 HAS SOUS 668635 HAS SOUPS 666225 WITH SCORE 673301.269
AT ITER 7000 NEW BEST:: SOT 12953116 SOS 7072316 HAS SOPS 7069823 HAS SOUS 663643 HAS SOUPS 661233 WITH SCORE 668305.316
AT ITER 7002 NEW BEST:: SOT 12950249 SOS 7066192 HAS SOPS 7063765 HAS SOUS 662101 HAS SOUPS 659713 WITH SCORE 666779.192
AT ITER 7003 NEW BEST:: SOT 12950106 SOS 7066049 HAS SOPS 7063622 HAS SOUS 662030 HAS SOUPS 659642 WITH SCORE 666708.049
AT ITER 7013 NEW BEST:: SOT 12952346 SOS 7068283 HAS SOPS 7065857 HAS SOUS 661876 HAS SOUPS 659489 WITH SCORE 666557.283
AT ITER 7065 NEW BEST:: SOT 12952663 SOS 7068616 HAS SOPS 7066190 HAS SOUS 661753 HAS SOUPS 659366 WITH SCORE 666434.616
AT ITER 7090 NEW BEST:: SOT 12952619 SOS 7070383 HAS SOPS 7068114 HAS SOUS 661441 HAS SOUPS 659211 WITH SCORE 666281.383
AT ITER 7103 NEW BEST:: SOT 12953196 SOS 7078642 HAS SOPS 7076373 HAS SOUS 658682 HAS SOUPS 656452 WITH SCORE 663530.642
AT ITER 7118 NEW BEST:: SOT 12953196 SOS 7077922 HAS SOPS 7075653 HAS SOUS 658682 HAS SOUPS 656452 WITH SCORE 663529.922
AT ITER 7120 NEW BEST:: SOT 12953196 SOS 7077966 HAS SOPS 7075697 HAS SOUS 658638 HAS SOUPS 656408 WITH SCORE 663485.966
AT ITER 7173 NEW BEST:: SOT 12953064 SOS 7077832 HAS SOPS 7075563 HAS SOUS 654872 HAS SOUPS 652642 WITH SCORE 659719.832
AT ITER 7177 NEW BEST:: SOT 12952084 SOS 7077072 HAS SOPS 7074803 HAS SOUS 653472 HAS SOUPS 651242 WITH SCORE 658319.072
AT ITER 7197 NEW BEST:: SOT 12951114 SOS 7076073 HAS SOPS 7073804 HAS SOUS 651186 HAS SOUPS 648956 WITH SCORE 656032.073
AT ITER 7203 NEW BEST:: SOT 12951114 SOS 7075653 HAS SOPS 7073384 HAS SOUS 651186 HAS SOUPS 648956 WITH SCORE 656031.653
AT ITER 7213 NEW BEST:: SOT 12951112 SOS 7075651 HAS SOPS 7073382 HAS SOUS 651184 HAS SOUPS 648954 WITH SCORE 656029.651
AT ITER 7237 NEW BEST:: SOT 12951112 SOS 7075679 HAS SOPS 7073410 HAS SOUS 651156 HAS SOUPS 648926 WITH SCORE 656001.679
AT ITER 7245 NEW BEST:: SOT 12951064 SOS 7075631 HAS SOPS 7073362 HAS SOUS 651108 HAS SOUPS 648878 WITH SCORE 655953.631
AT ITER 7262 NEW BEST:: SOT 12950976 SOS 7075543 HAS SOPS 7073274 HAS SOUS 651020 HAS SOUPS 648790 WITH SCORE 655865.543
AT ITER 7317 NEW BEST:: SOT 12948651 SOS 7073218 HAS SOPS 7070949 HAS SOUS 648981 HAS SOUPS 646751 WITH SCORE 653824.218
AT ITER 7343 NEW BEST:: SOT 12948774 SOS 7079390 HAS SOPS 7077121 HAS SOUS 647286 HAS SOUPS 645056 WITH SCORE 652135.39
AT ITER 7373 NEW BEST:: SOT 12953352 SOS 7084760 HAS SOPS 7082491 HAS SOUS 647009 HAS SOUPS 644779 WITH SCORE 651863.76
AT ITER 7384 NEW BEST:: SOT 12953185 SOS 7084519 HAS SOPS 7082250 HAS SOUS 646608 HAS SOUPS 644378 WITH SCORE 651462.519
AT ITER 7386 NEW BEST:: SOT 12950748 SOS 7082082 HAS SOPS 7079813 HAS SOUS 643285 HAS SOUPS 641055 WITH SCORE 648137.082
AT ITER 7391 NEW BEST:: SOT 12950936 SOS 7082270 HAS SOPS 7080001 HAS SOUS 643266 HAS SOUPS 641036 WITH SCORE 648118.27
AT ITER 7423 NEW BEST:: SOT 12950909 SOS 7082243 HAS SOPS 7079974 HAS SOUS 643259 HAS SOUPS 641029 WITH SCORE 648111.243
AT ITER 7489 NEW BEST:: SOT 12951073 SOS 7082407 HAS SOPS 7080138 HAS SOUS 643219 HAS SOUPS 640989 WITH SCORE 648071.407
AT ITER 7501 NEW BEST:: SOT 12951073 SOS 7082407 HAS SOPS 7080138 HAS SOUS 643199 HAS SOUPS 640969 WITH SCORE 648051.407
AT ITER 7509 NEW BEST:: SOT 12952137 SOS 7083407 HAS SOPS 7081110 HAS SOUS 642963 HAS SOUPS 640705 WITH SCORE 647788.407
AT ITER 7528 NEW BEST:: SOT 12952107 SOS 7083377 HAS SOPS 7081080 HAS SOUS 642943 HAS SOUPS 640685 WITH SCORE 647768.377
AT ITER 7554 NEW BEST:: SOT 12952107 SOS 7076873 HAS SOPS 7074576 HAS SOUS 642852 HAS SOUPS 640594 WITH SCORE 647670.873
AT ITER 7564 NEW BEST:: SOT 12952107 SOS 7076915 HAS SOPS 7074618 HAS SOUS 642810 HAS SOUPS 640552 WITH SCORE 647628.915
AT ITER 7579 NEW BEST:: SOT 12943150 SOS 7067286 HAS SOPS 7064989 HAS SOUS 641713 HAS SOUPS 639455 WITH SCORE 646522.286
AT ITER 7624 NEW BEST:: SOT 12943351 SOS 7069095 HAS SOPS 7066798 HAS SOUS 640896 HAS SOUPS 638638 WITH SCORE 645707.095
AT ITER 7649 NEW BEST:: SOT 12943288 SOS 7069032 HAS SOPS 7066735 HAS SOUS 640833 HAS SOUPS 638575 WITH SCORE 645644.032
AT ITER 7672 NEW BEST:: SOT 12940922 SOS 7066748 HAS SOPS 7064379 HAS SOUS 640640 HAS SOUPS 638314 WITH SCORE 645380.748
AT ITER 7694 NEW BEST:: SOT 12940913 SOS 7071244 HAS SOPS 7068875 HAS SOUS 640196 HAS SOUPS 637870 WITH SCORE 644941.244
AT ITER 7695 NEW BEST:: SOT 12940913 SOS 7070636 HAS SOPS 7068267 HAS SOUS 640072 HAS SOUPS 637746 WITH SCORE 644816.636
AT ITER 7728 NEW BEST:: SOT 12940852 SOS 7070575 HAS SOPS 7068206 HAS SOUS 639943 HAS SOUPS 637617 WITH SCORE 644687.575
AT ITER 7777 NEW BEST:: SOT 12940852 SOS 7069596 HAS SOPS 7067227 HAS SOUS 639943 HAS SOUPS 637617 WITH SCORE 644686.596
AT ITER 7801 NEW BEST:: SOT 12941572 SOS 7070316 HAS SOPS 7067947 HAS SOUS 638221 HAS SOUPS 635895 WITH SCORE 642965.316
AT ITER 7832 NEW BEST:: SOT 12942070 SOS 7071174 HAS SOPS 7068805 HAS SOUS 638163 HAS SOUPS 635837 WITH SCORE 642908.174
AT ITER 7848 NEW BEST:: SOT 12942195 SOS 7071299 HAS SOPS 7068930 HAS SOUS 638049 HAS SOUPS 635723 WITH SCORE 642794.299
AT ITER 7896 NEW BEST:: SOT 12941516 SOS 7070610 HAS SOPS 7068241 HAS SOUS 637004 HAS SOUPS 634678 WITH SCORE 641748.61
AT ITER 7908 NEW BEST:: SOT 12942534 SOS 7071646 HAS SOPS 7069277 HAS SOUS 636526 HAS SOUPS 634200 WITH SCORE 641271.646
AT ITER 7924 NEW BEST:: SOT 12947070 SOS 7076182 HAS SOPS 7073813 HAS SOUS 632254 HAS SOUPS 629928 WITH SCORE 637004.182
AT ITER 8011 NEW BEST:: SOT 12947070 SOS 7075986 HAS SOPS 7073617 HAS SOUS 632205 HAS SOUPS 629879 WITH SCORE 636954.986
AT ITER 8047 NEW BEST:: SOT 12947070 SOS 7075986 HAS SOPS 7073617 HAS SOUS 632166 HAS SOUPS 629840 WITH SCORE 636915.986
AT ITER 8073 NEW BEST:: SOT 12947067 SOS 7075983 HAS SOPS 7073614 HAS SOUS 631596 HAS SOUPS 629270 WITH SCORE 636345.983
AT ITER 8080 NEW BEST:: SOT 12947067 SOS 7076171 HAS SOPS 7073802 HAS SOUS 631584 HAS SOUPS 629258 WITH SCORE 636334.171
AT ITER 8112 NEW BEST:: SOT 12947067 SOS 7076131 HAS SOPS 7073762 HAS SOUS 631584 HAS SOUPS 629258 WITH SCORE 636334.131
AT ITER 8123 NEW BEST:: SOT 12954514 SOS 7083578 HAS SOPS 7081209 HAS SOUS 624891 HAS SOUPS 622565 WITH SCORE 629648.578
AT ITER 8127 NEW BEST:: SOT 12954514 SOS 7083596 HAS SOPS 7081227 HAS SOUS 624873 HAS SOUPS 622547 WITH SCORE 629630.596
AT ITER 8156 NEW BEST:: SOT 12953733 SOS 7082815 HAS SOPS 7080446 HAS SOUS 623628 HAS SOUPS 621302 WITH SCORE 628384.815
AT ITER 8201 NEW BEST:: SOT 12953741 SOS 7082823 HAS SOPS 7080454 HAS SOUS 622736 HAS SOUPS 620410 WITH SCORE 627492.823
AT ITER 8213 NEW BEST:: SOT 12951551 SOS 7080633 HAS SOPS 7078264 HAS SOUS 620582 HAS SOUPS 618256 WITH SCORE 625336.633
AT ITER 8238 NEW BEST:: SOT 12951732 SOS 7080814 HAS SOPS 7078445 HAS SOUS 620281 HAS SOUPS 617955 WITH SCORE 625035.814
AT ITER 8262 NEW BEST:: SOT 12951732 SOS 7081722 HAS SOPS 7079353 HAS SOUS 620169 HAS SOUPS 617843 WITH SCORE 624924.722
AT ITER 8273 NEW BEST:: SOT 12953857 SOS 7083802 HAS SOPS 7081433 HAS SOUS 619079 HAS SOUPS 616753 WITH SCORE 623836.802
AT ITER 8295 NEW BEST:: SOT 12948128 SOS 7078096 HAS SOPS 7075727 HAS SOUS 615134 HAS SOUPS 612808 WITH SCORE 619886.096
AT ITER 8297 NEW BEST:: SOT 12948128 SOS 7078016 HAS SOPS 7075567 HAS SOUS 615113 HAS SOUPS 612787 WITH SCORE 619865.016
AT ITER 8309 NEW BEST:: SOT 12948128 SOS 7076168 HAS SOPS 7073719 HAS SOUS 615112 HAS SOUPS 612786 WITH SCORE 619862.168
AT ITER 8313 NEW BEST:: SOT 12946243 SOS 7074283 HAS SOPS 7071834 HAS SOUS 613245 HAS SOUPS 610919 WITH SCORE 617993.283
AT ITER 8322 NEW BEST:: SOT 12950942 SOS 7078982 HAS SOPS 7076533 HAS SOUS 612636 HAS SOUPS 610310 WITH SCORE 617388.982
AT ITER 8328 NEW BEST:: SOT 12950375 SOS 7078425 HAS SOPS 7075966 HAS SOUS 612399 HAS SOUPS 610063 WITH SCORE 617141.425
AT ITER 8345 NEW BEST:: SOT 12950375 SOS 7078425 HAS SOPS 7075966 HAS SOUS 612397 HAS SOUPS 610061 WITH SCORE 617139.425
AT ITER 8347 NEW BEST:: SOT 12950353 SOS 7078403 HAS SOPS 7075944 HAS SOUS 612397 HAS SOUPS 610061 WITH SCORE 617139.403
AT ITER 8367 NEW BEST:: SOT 12950353 SOS 7078475 HAS SOPS 7076016 HAS SOUS 612325 HAS SOUPS 609989 WITH SCORE 617067.475
AT ITER 8373 NEW BEST:: SOT 12950353 SOS 7079893 HAS SOPS 7077434 HAS SOUS 612242 HAS SOUPS 609906 WITH SCORE 616985.893
AT ITER 8395 NEW BEST:: SOT 12950307 SOS 7079847 HAS SOPS 7077388 HAS SOUS 612168 HAS SOUPS 609832 WITH SCORE 616911.847
AT ITER 8440 NEW BEST:: SOT 12950315 SOS 7079855 HAS SOPS 7077396 HAS SOUS 612156 HAS SOUPS 609820 WITH SCORE 616899.855
AT ITER 8490 NEW BEST:: SOT 12950315 SOS 7079855 HAS SOPS 7077396 HAS SOUS 612153 HAS SOUPS 609817 WITH SCORE 616896.855
AT ITER 8498 NEW BEST:: SOT 12951249 SOS 7080789 HAS SOPS 7078330 HAS SOUS 609992 HAS SOUPS 607656 WITH SCORE 614736.789
AT ITER 8528 NEW BEST:: SOT 12952490 SOS 7085460 HAS SOPS 7083001 HAS SOUS 609228 HAS SOUPS 606892 WITH SCORE 613977.46
AT ITER 8560 NEW BEST:: SOT 12952490 SOS 7086367 HAS SOPS 7083908 HAS SOUS 609196 HAS SOUPS 606860 WITH SCORE 613946.367
AT ITER 8567 NEW BEST:: SOT 12950054 SOS 7083931 HAS SOPS 7081472 HAS SOUS 606828 HAS SOUPS 604492 WITH SCORE 611575.931
AT ITER 8581 NEW BEST:: SOT 12950241 SOS 7084118 HAS SOPS 7081659 HAS SOUS 606720 HAS SOUPS 604384 WITH SCORE 611468.118
AT ITER 8603 NEW BEST:: SOT 12950313 SOS 7084190 HAS SOPS 7081731 HAS SOUS 606718 HAS SOUPS 604382 WITH SCORE 611466.19
AT ITER 8607 NEW BEST:: SOT 12950313 SOS 7084285 HAS SOPS 7081817 HAS SOUS 606718 HAS SOUPS 604373 WITH SCORE 611457.285
AT ITER 8616 NEW BEST:: SOT 12950303 SOS 7084275 HAS SOPS 7081807 HAS SOUS 606708 HAS SOUPS 604363 WITH SCORE 611447.275
AT ITER 8620 NEW BEST:: SOT 12950340 SOS 7084349 HAS SOPS 7081881 HAS SOUS 606671 HAS SOUPS 604326 WITH SCORE 611410.349
AT ITER 8624 NEW BEST:: SOT 12950437 SOS 7084376 HAS SOPS 7081867 HAS SOUS 606705 HAS SOUPS 604319 WITH SCORE 611403.376
AT ITER 8664 NEW BEST:: SOT 12951973 SOS 7085912 HAS SOPS 7083403 HAS SOUS 606167 HAS SOUPS 603781 WITH SCORE 610866.912
AT ITER 8693 NEW BEST:: SOT 12951975 SOS 7085914 HAS SOPS 7083405 HAS SOUS 606161 HAS SOUPS 603775 WITH SCORE 610860.914
AT ITER 8718 NEW BEST:: SOT 12951971 SOS 7085910 HAS SOPS 7083401 HAS SOUS 606161 HAS SOUPS 603775 WITH SCORE 610860.91
AT ITER 8737 NEW BEST:: SOT 12952043 SOS 7085982 HAS SOPS 7083475 HAS SOUS 606139 HAS SOUPS 603755 WITH SCORE 610840.982
AT ITER 8750 NEW BEST:: SOT 12952019 SOS 7085958 HAS SOPS 7083451 HAS SOUS 606139 HAS SOUPS 603755 WITH SCORE 610840.958
AT ITER 8767 NEW BEST:: SOT 12951746 SOS 7085685 HAS SOPS 7083178 HAS SOUS 606033 HAS SOUPS 603649 WITH SCORE 610734.685
AT ITER 8771 NEW BEST:: SOT 12951404 SOS 7085616 HAS SOPS 7083070 HAS SOUS 605297 HAS SOUPS 602874 WITH SCORE 609959.616
AT ITER 8774 NEW BEST:: SOT 12951389 SOS 7085601 HAS SOPS 7083055 HAS SOUS 605267 HAS SOUPS 602844 WITH SCORE 609929.601
AT ITER 8782 NEW BEST:: SOT 12951378 SOS 7085590 HAS SOPS 7083044 HAS SOUS 605256 HAS SOUPS 602833 WITH SCORE 609918.59
AT ITER 8893 NEW BEST:: SOT 12951378 SOS 7085434 HAS SOPS 7082888 HAS SOUS 605217 HAS SOUPS 602794 WITH SCORE 609879.434
AT ITER 8894 NEW BEST:: SOT 12950748 SOS 7084804 HAS SOPS 7082258 HAS SOUS 603940 HAS SOUPS 601517 WITH SCORE 608601.804
AT ITER 8906 NEW BEST:: SOT 12953634 SOS 7087787 HAS SOPS 7085260 HAS SOUS 603544 HAS SOUPS 601140 WITH SCORE 608227.787
AT ITER 8932 NEW BEST:: SOT 12952566 SOS 7087079 HAS SOPS 7084552 HAS SOUS 603435 HAS SOUPS 601031 WITH SCORE 608118.079
AT ITER 8936 NEW BEST:: SOT 12952566 SOS 7087079 HAS SOPS 7084552 HAS SOUS 603426 HAS SOUPS 601022 WITH SCORE 608109.079
AT ITER 8938 NEW BEST:: SOT 12955141 SOS 7096268 HAS SOPS 7093741 HAS SOUS 603291 HAS SOUPS 600887 WITH SCORE 607983.268
AT ITER 8963 NEW BEST:: SOT 12954700 SOS 7096121 HAS SOPS 7093594 HAS SOUS 603170 HAS SOUPS 600766 WITH SCORE 607862.121
AT ITER 8983 NEW BEST:: SOT 12953459 SOS 7092640 HAS SOPS 7090113 HAS SOUS 602867 HAS SOUPS 600463 WITH SCORE 607555.64
AT ITER 8988 NEW BEST:: SOT 12953315 SOS 7092064 HAS SOPS 7089537 HAS SOUS 602859 HAS SOUPS 600455 WITH SCORE 607547.064
AT ITER 9031 NEW BEST:: SOT 12952516 SOS 7091265 HAS SOPS 7088738 HAS SOUS 601323 HAS SOUPS 598919 WITH SCORE 606010.265
AT ITER 9038 NEW BEST:: SOT 12954890 SOS 7093639 HAS SOPS 7091112 HAS SOUS 598994 HAS SOUPS 596590 WITH SCORE 603683.639
AT ITER 9117 NEW BEST:: SOT 12954668 SOS 7093129 HAS SOPS 7090602 HAS SOUS 598768 HAS SOUPS 596364 WITH SCORE 603457.129
AT ITER 9126 NEW BEST:: SOT 12954668 SOS 7093015 HAS SOPS 7090488 HAS SOUS 598711 HAS SOUPS 596307 WITH SCORE 603400.015
AT ITER 9128 NEW BEST:: SOT 12954646 SOS 7092993 HAS SOPS 7090466 HAS SOUS 598644 HAS SOUPS 596240 WITH SCORE 603332.993
AT ITER 9130 NEW BEST:: SOT 12954646 SOS 7092801 HAS SOPS 7090274 HAS SOUS 598596 HAS SOUPS 596192 WITH SCORE 603284.801
AT ITER 9133 NEW BEST:: SOT 12954646 SOS 7092845 HAS SOPS 7090318 HAS SOUS 598552 HAS SOUPS 596148 WITH SCORE 603240.845
AT ITER 9141 NEW BEST:: SOT 12955030 SOS 7095049 HAS SOPS 7092522 HAS SOUS 597712 HAS SOUPS 595308 WITH SCORE 602403.049
AT ITER 9158 NEW BEST:: SOT 12956655 SOS 7096638 HAS SOPS 7094147 HAS SOUS 597325 HAS SOUPS 594957 WITH SCORE 602053.638
AT ITER 9193 NEW BEST:: SOT 12955173 SOS 7095156 HAS SOPS 7092665 HAS SOUS 596941 HAS SOUPS 594573 WITH SCORE 601668.156
AT ITER 9208 NEW BEST:: SOT 12955173 SOS 7095102 HAS SOPS 7092611 HAS SOUS 596914 HAS SOUPS 594546 WITH SCORE 601641.102
AT ITER 9243 NEW BEST:: SOT 12955172 SOS 7095099 HAS SOPS 7092608 HAS SOUS 596913 HAS SOUPS 594545 WITH SCORE 601640.099
AT ITER 9268 NEW BEST:: SOT 12952555 SOS 7092832 HAS SOPS 7090495 HAS SOUS 594826 HAS SOUPS 592612 WITH SCORE 599704.832
AT ITER 9296 NEW BEST:: SOT 12956348 SOS 7100153 HAS SOPS 7097816 HAS SOUS 592760 HAS SOUPS 590546 WITH SCORE 597646.153
AT ITER 9334 NEW BEST:: SOT 12956348 SOS 7099818 HAS SOPS 7097403 HAS SOUS 592701 HAS SOUPS 590409 WITH SCORE 597508.818
AT ITER 9360 NEW BEST:: SOT 12956348 SOS 7099822 HAS SOPS 7097407 HAS SOUS 592693 HAS SOUPS 590401 WITH SCORE 597500.822
AT ITER 9366 NEW BEST:: SOT 12956400 SOS 7100995 HAS SOPS 7098568 HAS SOUS 592694 HAS SOUPS 590390 WITH SCORE 597490.995
AT ITER 9377 NEW BEST:: SOT 12954993 SOS 7099624 HAS SOPS 7097161 HAS SOUS 592042 HAS SOUPS 589702 WITH SCORE 596801.624
AT ITER 9380 NEW BEST:: SOT 12951952 SOS 7096583 HAS SOPS 7094120 HAS SOUS 590915 HAS SOUPS 588575 WITH SCORE 595671.583
AT ITER 9386 NEW BEST:: SOT 12951927 SOS 7096558 HAS SOPS 7094095 HAS SOUS 590895 HAS SOUPS 588555 WITH SCORE 595651.558
AT ITER 9389 NEW BEST:: SOT 12951922 SOS 7096553 HAS SOPS 7094090 HAS SOUS 590895 HAS SOUPS 588555 WITH SCORE 595651.553
AT ITER 9392 NEW BEST:: SOT 12951885 SOS 7096516 HAS SOPS 7094053 HAS SOUS 590824 HAS SOUPS 588484 WITH SCORE 595580.516
AT ITER 9408 NEW BEST:: SOT 12951885 SOS 7096405 HAS SOPS 7093942 HAS SOUS 590824 HAS SOUPS 588484 WITH SCORE 595580.405
AT ITER 9411 NEW BEST:: SOT 12951885 SOS 7095196 HAS SOPS 7092733 HAS SOUS 590824 HAS SOUPS 588484 WITH SCORE 595579.196
AT ITER 9437 NEW BEST:: SOT 12950478 SOS 7093789 HAS SOPS 7091326 HAS SOUS 589990 HAS SOUPS 587650 WITH SCORE 594743.789
AT ITER 9498 NEW BEST:: SOT 12950036 SOS 7093347 HAS SOPS 7090884 HAS SOUS 589603 HAS SOUPS 587263 WITH SCORE 594356.347
AT ITER 9526 NEW BEST:: SOT 12950040 SOS 7093351 HAS SOPS 7090888 HAS SOUS 589574 HAS SOUPS 587234 WITH SCORE 594327.351
AT ITER 9534 NEW BEST:: SOT 12947404 SOS 7089916 HAS SOPS 7087452 HAS SOUS 589385 HAS SOUPS 587045 WITH SCORE 594134.916
AT ITER 9570 NEW BEST:: SOT 12947404 SOS 7089841 HAS SOPS 7087377 HAS SOUS 589385 HAS SOUPS 587045 WITH SCORE 594134.841
AT ITER 9584 NEW BEST:: SOT 12947404 SOS 7089839 HAS SOPS 7087375 HAS SOUS 589382 HAS SOUPS 587042 WITH SCORE 594131.839
AT ITER 9603 NEW BEST:: SOT 12947404 SOS 7091639 HAS SOPS 7089150 HAS SOUS 589357 HAS SOUPS 587017 WITH SCORE 594108.639
AT ITER 9617 NEW BEST:: SOT 12947284 SOS 7091524 HAS SOPS 7089035 HAS SOUS 589105 HAS SOUPS 586765 WITH SCORE 593856.524
AT ITER 9626 NEW BEST:: SOT 12945034 SOS 7089274 HAS SOPS 7086785 HAS SOUS 588817 HAS SOUPS 586477 WITH SCORE 593566.274
AT ITER 9688 NEW BEST:: SOT 12944614 SOS 7088637 HAS SOPS 7086182 HAS SOUS 587676 HAS SOUPS 585370 WITH SCORE 592458.637
AT ITER 9748 NEW BEST:: SOT 12944174 SOS 7088286 HAS SOPS 7085832 HAS SOUS 586902 HAS SOUPS 584596 WITH SCORE 591684.286
AT ITER 9755 NEW BEST:: SOT 12945342 SOS 7089483 HAS SOPS 7087058 HAS SOUS 586756 HAS SOUPS 584479 WITH SCORE 591568.483
AT ITER 9768 NEW BEST:: SOT 12946004 SOS 7090145 HAS SOPS 7087720 HAS SOUS 586441 HAS SOUPS 584164 WITH SCORE 591254.145
AT ITER 9774 NEW BEST:: SOT 12946004 SOS 7091009 HAS SOPS 7088584 HAS SOUS 586405 HAS SOUPS 584128 WITH SCORE 591219.009
AT ITER 9792 NEW BEST:: SOT 12949999 SOS 7095004 HAS SOPS 7092579 HAS SOUS 583715 HAS SOUPS 581438 WITH SCORE 588533.004
AT ITER 9798 NEW BEST:: SOT 12950251 SOS 7095256 HAS SOPS 7092831 HAS SOUS 583679 HAS SOUPS 581402 WITH SCORE 588497.256
AT ITER 9826 NEW BEST:: SOT 12947099 SOS 7092104 HAS SOPS 7089679 HAS SOUS 582411 HAS SOUPS 580134 WITH SCORE 587226.104
AT ITER 9848 NEW BEST:: SOT 12947090 SOS 7092095 HAS SOPS 7089670 HAS SOUS 582402 HAS SOUPS 580125 WITH SCORE 587217.095
AT ITER 9904 NEW BEST:: SOT 12947114 SOS 7092119 HAS SOPS 7089694 HAS SOUS 582206 HAS SOUPS 579929 WITH SCORE 587021.119
AT ITER 9939 NEW BEST:: SOT 12947114 SOS 7092119 HAS SOPS 7089694 HAS SOUS 582156 HAS SOUPS 579879 WITH SCORE 586971.119
AT ITER 9969 NEW BEST:: SOT 12947114 SOS 7099922 HAS SOPS 7097497 HAS SOUS 580924 HAS SOUPS 578647 WITH SCORE 585746.922
AT ITER 9976 NEW BEST:: SOT 12948327 SOS 7102342 HAS SOPS 7099917 HAS SOUS 580756 HAS SOUPS 578479 WITH SCORE 585581.342
AT ITER 9994 NEW BEST:: SOT 12942345 SOS 7096360 HAS SOPS 7093935 HAS SOUS 577489 HAS SOUPS 575212 WITH SCORE 582308.36
BK_STOP 1678471052366
--------------------
content from stderr:
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 467 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-q8m002"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BugTracking-PT-q8m002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688100392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q8m002.tgz
mv BugTracking-PT-q8m002 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 '
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 ;