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-167813696700360.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-q3m032, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696700360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.4K Feb 26 06:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 06:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 26 06:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 29K Feb 26 06:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K 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 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 07:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 07:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 06:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 06:40 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 1678785445042

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-q3m032
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:17:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:17:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:17:28] [INFO ] Load time of PNML (sax parser for PT used): 1031 ms
[2023-03-14 09:17:28] [INFO ] Transformed 754 places.
[2023-03-14 09:17:28] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:17:28] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 1380 ms.
[2023-03-14 09:17:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 149 ms.
Total runtime 1572 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m032
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 14117150 SOS 8895966 HAS SOPS 8894121 HAS SOUS 1695521 HAS SOUPS 1693676 WITH SCORE 1702571.966
AT ITER 9 NEW BEST:: SOT 14114622 SOS 8893438 HAS SOPS 8891593 HAS SOUS 1694157 HAS SOUPS 1692312 WITH SCORE 1701205.438
AT ITER 20 NEW BEST:: SOT 14114622 SOS 8893332 HAS SOPS 8891487 HAS SOUS 1694051 HAS SOUPS 1692206 WITH SCORE 1701099.332
AT ITER 25 NEW BEST:: SOT 14114622 SOS 8888292 HAS SOPS 8886447 HAS SOUS 1694051 HAS SOUPS 1692206 WITH SCORE 1701094.292
AT ITER 47 NEW BEST:: SOT 14115937 SOS 8890145 HAS SOPS 8888300 HAS SOUS 1683575 HAS SOUPS 1681730 WITH SCORE 1690620.145
AT ITER 55 NEW BEST:: SOT 14112572 SOS 8888380 HAS SOPS 8886535 HAS SOUS 1677111 HAS SOUPS 1675266 WITH SCORE 1684154.38
AT ITER 58 NEW BEST:: SOT 14112572 SOS 8888324 HAS SOPS 8886479 HAS SOUS 1677097 HAS SOUPS 1675252 WITH SCORE 1684140.324
AT ITER 60 NEW BEST:: SOT 14112060 SOS 8888088 HAS SOPS 8886243 HAS SOUS 1674358 HAS SOUPS 1672513 WITH SCORE 1681401.088
AT ITER 82 NEW BEST:: SOT 14121434 SOS 8919784 HAS SOPS 8917236 HAS SOUS 1671246 HAS SOUPS 1669228 WITH SCORE 1678147.784
AT ITER 100 NEW BEST:: SOT 14125322 SOS 8989737 HAS SOPS 8984507 HAS SOUS 1670083 HAS SOUPS 1667481 WITH SCORE 1676470.737
AT ITER 114 NEW BEST:: SOT 14125322 SOS 8975011 HAS SOPS 8969781 HAS SOUS 1669884 HAS SOUPS 1667282 WITH SCORE 1676257.011
AT ITER 120 NEW BEST:: SOT 14126070 SOS 8975759 HAS SOPS 8970529 HAS SOUS 1668441 HAS SOUPS 1665839 WITH SCORE 1674814.759
AT ITER 140 NEW BEST:: SOT 14126078 SOS 8975767 HAS SOPS 8970537 HAS SOUS 1662479 HAS SOUPS 1659877 WITH SCORE 1668852.767
AT ITER 150 NEW BEST:: SOT 14126078 SOS 8975767 HAS SOPS 8970537 HAS SOUS 1662460 HAS SOUPS 1659858 WITH SCORE 1668833.767
AT ITER 153 NEW BEST:: SOT 14125972 SOS 9063789 HAS SOPS 9058559 HAS SOUS 1662359 HAS SOUPS 1659757 WITH SCORE 1668820.789
AT ITER 159 NEW BEST:: SOT 14125102 SOS 9062919 HAS SOPS 9057689 HAS SOUS 1661977 HAS SOUPS 1659375 WITH SCORE 1668437.919
AT ITER 161 NEW BEST:: SOT 14125102 SOS 9062919 HAS SOPS 9057689 HAS SOUS 1661938 HAS SOUPS 1659336 WITH SCORE 1668398.919
AT ITER 171 NEW BEST:: SOT 14125102 SOS 9062830 HAS SOPS 9057600 HAS SOUS 1661849 HAS SOUPS 1659247 WITH SCORE 1668309.83
AT ITER 175 NEW BEST:: SOT 14124133 SOS 9061861 HAS SOPS 9056631 HAS SOUS 1660934 HAS SOUPS 1658332 WITH SCORE 1667393.861
AT ITER 176 NEW BEST:: SOT 14125448 SOS 9063176 HAS SOPS 9057946 HAS SOUS 1658556 HAS SOUPS 1655954 WITH SCORE 1665017.176
AT ITER 178 NEW BEST:: SOT 14125353 SOS 9063081 HAS SOPS 9057851 HAS SOUS 1658461 HAS SOUPS 1655859 WITH SCORE 1664922.081
AT ITER 186 NEW BEST:: SOT 14125353 SOS 8950800 HAS SOPS 8944346 HAS SOUS 1655678 HAS SOUPS 1652966 WITH SCORE 1661916.8
AT ITER 188 NEW BEST:: SOT 14125353 SOS 8957856 HAS SOPS 8951402 HAS SOUS 1655645 HAS SOUPS 1652933 WITH SCORE 1661890.856
AT ITER 194 NEW BEST:: SOT 14125353 SOS 8957856 HAS SOPS 8951402 HAS SOUS 1655627 HAS SOUPS 1652915 WITH SCORE 1661872.856
AT ITER 216 NEW BEST:: SOT 14125353 SOS 8957856 HAS SOPS 8951402 HAS SOUS 1655527 HAS SOUPS 1652815 WITH SCORE 1661772.856
AT ITER 230 NEW BEST:: SOT 14125353 SOS 8952240 HAS SOPS 8945786 HAS SOUS 1655527 HAS SOUPS 1652815 WITH SCORE 1661767.24
AT ITER 231 NEW BEST:: SOT 14125353 SOS 8947200 HAS SOPS 8940746 HAS SOUS 1655527 HAS SOUPS 1652815 WITH SCORE 1661762.2
AT ITER 245 NEW BEST:: SOT 14125353 SOS 8940193 HAS SOPS 8934194 HAS SOUS 1655345 HAS SOUPS 1652724 WITH SCORE 1661664.193
AT ITER 248 NEW BEST:: SOT 14125353 SOS 8937097 HAS SOPS 8931098 HAS SOUS 1655345 HAS SOUPS 1652724 WITH SCORE 1661661.097
AT ITER 257 NEW BEST:: SOT 14125353 SOS 8936135 HAS SOPS 8930136 HAS SOUS 1655345 HAS SOUPS 1652724 WITH SCORE 1661660.135
AT ITER 264 NEW BEST:: SOT 14118681 SOS 8933459 HAS SOPS 8927460 HAS SOUS 1650969 HAS SOUPS 1648348 WITH SCORE 1657281.459
AT ITER 273 NEW BEST:: SOT 14118681 SOS 8929715 HAS SOPS 8923716 HAS SOUS 1650969 HAS SOUPS 1648348 WITH SCORE 1657277.715
AT ITER 284 NEW BEST:: SOT 13961353 SOS 8773125 HAS SOPS 8766586 HAS SOUS 1493722 HAS SOUPS 1490561 WITH SCORE 1499334.125
AT ITER 288 NEW BEST:: SOT 13961353 SOS 8768833 HAS SOPS 8762294 HAS SOUS 1493664 HAS SOUPS 1490503 WITH SCORE 1499271.833
AT ITER 294 NEW BEST:: SOT 13959444 SOS 8765447 HAS SOPS 8758989 HAS SOUS 1484005 HAS SOUPS 1480893 WITH SCORE 1489658.447
AT ITER 298 NEW BEST:: SOT 13959444 SOS 8762207 HAS SOPS 8755749 HAS SOUS 1484005 HAS SOUPS 1480893 WITH SCORE 1489655.207
AT ITER 319 NEW BEST:: SOT 13959616 SOS 8766135 HAS SOPS 8759677 HAS SOUS 1483658 HAS SOUPS 1480546 WITH SCORE 1489312.135
AT ITER 328 NEW BEST:: SOT 13959616 SOS 8752484 HAS SOPS 8746026 HAS SOUS 1483471 HAS SOUPS 1480359 WITH SCORE 1489111.484
AT ITER 332 NEW BEST:: SOT 13957514 SOS 8750112 HAS SOPS 8743592 HAS SOUS 1479318 HAS SOUPS 1476277 WITH SCORE 1485027.112
AT ITER 339 NEW BEST:: SOT 13957586 SOS 8745000 HAS SOPS 8738480 HAS SOUS 1479318 HAS SOUPS 1476277 WITH SCORE 1485022.0
AT ITER 344 NEW BEST:: SOT 13956563 SOS 8743977 HAS SOPS 8737457 HAS SOUS 1477151 HAS SOUPS 1474110 WITH SCORE 1482853.977
AT ITER 355 NEW BEST:: SOT 13953640 SOS 8735078 HAS SOPS 8728558 HAS SOUS 1472274 HAS SOUPS 1469233 WITH SCORE 1477968.078
AT ITER 358 NEW BEST:: SOT 13959852 SOS 8753497 HAS SOPS 8746711 HAS SOUS 1469276 HAS SOUPS 1466151 WITH SCORE 1474904.497
AT ITER 360 NEW BEST:: SOT 13959450 SOS 8755301 HAS SOPS 8748515 HAS SOUS 1468138 HAS SOUPS 1465013 WITH SCORE 1473768.301
AT ITER 364 NEW BEST:: SOT 13960431 SOS 8756282 HAS SOPS 8749496 HAS SOUS 1463203 HAS SOUPS 1460078 WITH SCORE 1468834.282
AT ITER 384 NEW BEST:: SOT 13961309 SOS 8754881 HAS SOPS 8748198 HAS SOUS 1456608 HAS SOUPS 1453528 WITH SCORE 1462282.881
AT ITER 388 NEW BEST:: SOT 13961309 SOS 8754857 HAS SOPS 8748174 HAS SOUS 1456608 HAS SOUPS 1453528 WITH SCORE 1462282.857
AT ITER 392 NEW BEST:: SOT 13959977 SOS 8753525 HAS SOPS 8746842 HAS SOUS 1453973 HAS SOUPS 1450893 WITH SCORE 1459646.525
AT ITER 400 NEW BEST:: SOT 13959977 SOS 8753525 HAS SOPS 8746842 HAS SOUS 1453969 HAS SOUPS 1450889 WITH SCORE 1459642.525
AT ITER 405 NEW BEST:: SOT 13959977 SOS 8753304 HAS SOPS 8746665 HAS SOUS 1453877 HAS SOUPS 1450801 WITH SCORE 1459554.304
AT ITER 421 NEW BEST:: SOT 13960000 SOS 8140766 HAS SOPS 8134127 HAS SOUS 1453752 HAS SOUPS 1450676 WITH SCORE 1458816.766
AT ITER 424 NEW BEST:: SOT 13958067 SOS 8162240 HAS SOPS 8156887 HAS SOUS 1450522 HAS SOUPS 1448117 WITH SCORE 1456279.24
AT ITER 434 NEW BEST:: SOT 13957313 SOS 8161476 HAS SOPS 8156123 HAS SOUS 1448536 HAS SOUPS 1446131 WITH SCORE 1454292.476
AT ITER 438 NEW BEST:: SOT 13957313 SOS 8161476 HAS SOPS 8156123 HAS SOUS 1448488 HAS SOUPS 1446083 WITH SCORE 1454244.476
AT ITER 439 NEW BEST:: SOT 13945273 SOS 8151308 HAS SOPS 8145955 HAS SOUS 1447128 HAS SOUPS 1444723 WITH SCORE 1452874.308
AT ITER 443 NEW BEST:: SOT 13940340 SOS 8151055 HAS SOPS 8145702 HAS SOUS 1443681 HAS SOUPS 1441276 WITH SCORE 1449427.055
AT ITER 457 NEW BEST:: SOT 13938100 SOS 8148815 HAS SOPS 8143462 HAS SOUS 1435655 HAS SOUPS 1433250 WITH SCORE 1441398.815
AT ITER 458 NEW BEST:: SOT 13938081 SOS 8148796 HAS SOPS 8143443 HAS SOUS 1435636 HAS SOUPS 1433231 WITH SCORE 1441379.796
AT ITER 474 NEW BEST:: SOT 13923240 SOS 8138467 HAS SOPS 8133114 HAS SOUS 1424118 HAS SOUPS 1421713 WITH SCORE 1429851.467
AT ITER 486 NEW BEST:: SOT 13917872 SOS 8134523 HAS SOPS 8129170 HAS SOUS 1419778 HAS SOUPS 1417373 WITH SCORE 1425507.523
AT ITER 488 NEW BEST:: SOT 13917872 SOS 8129555 HAS SOPS 8124202 HAS SOUS 1419709 HAS SOUPS 1417304 WITH SCORE 1425433.555
AT ITER 490 NEW BEST:: SOT 13917872 SOS 8126099 HAS SOPS 8120746 HAS SOUS 1419709 HAS SOUPS 1417304 WITH SCORE 1425430.099
AT ITER 495 NEW BEST:: SOT 13917872 SOS 8119187 HAS SOPS 8113834 HAS SOUS 1419613 HAS SOUPS 1417208 WITH SCORE 1425327.187
AT ITER 506 NEW BEST:: SOT 13916747 SOS 8118062 HAS SOPS 8112709 HAS SOUS 1417362 HAS SOUPS 1414957 WITH SCORE 1423075.062
AT ITER 512 NEW BEST:: SOT 13916747 SOS 8110702 HAS SOPS 8105349 HAS SOUS 1417174 HAS SOUPS 1414769 WITH SCORE 1422879.702
AT ITER 514 NEW BEST:: SOT 13916747 SOS 8106742 HAS SOPS 8101389 HAS SOUS 1417174 HAS SOUPS 1414769 WITH SCORE 1422875.742
AT ITER 531 NEW BEST:: SOT 13915739 SOS 8105904 HAS SOPS 8100470 HAS SOUS 1415253 HAS SOUPS 1412767 WITH SCORE 1420872.904
AT ITER 540 NEW BEST:: SOT 13915278 SOS 8105443 HAS SOPS 8100009 HAS SOUS 1415117 HAS SOUPS 1412631 WITH SCORE 1420736.443
AT ITER 541 NEW BEST:: SOT 13914306 SOS 8117339 HAS SOPS 8111905 HAS SOUS 1414025 HAS SOUPS 1411539 WITH SCORE 1419656.339
AT ITER 542 NEW BEST:: SOT 13908698 SOS 8117515 HAS SOPS 8112081 HAS SOUS 1408906 HAS SOUPS 1406420 WITH SCORE 1414537.515
AT ITER 576 NEW BEST:: SOT 13904532 SOS 8112747 HAS SOPS 8107329 HAS SOUS 1400993 HAS SOUPS 1398515 WITH SCORE 1406627.747
AT ITER 578 NEW BEST:: SOT 13904532 SOS 8109229 HAS SOPS 8103811 HAS SOUS 1400859 HAS SOUPS 1398381 WITH SCORE 1406490.229
AT ITER 599 NEW BEST:: SOT 13904532 SOS 8109229 HAS SOPS 8103811 HAS SOUS 1400845 HAS SOUPS 1398367 WITH SCORE 1406476.229
AT ITER 620 NEW BEST:: SOT 13907044 SOS 8111833 HAS SOPS 8106415 HAS SOUS 1400211 HAS SOUPS 1397733 WITH SCORE 1405844.833
AT ITER 637 NEW BEST:: SOT 13907044 SOS 8109745 HAS SOPS 8104327 HAS SOUS 1400211 HAS SOUPS 1397733 WITH SCORE 1405842.745
AT ITER 647 NEW BEST:: SOT 13916161 SOS 8118862 HAS SOPS 8113444 HAS SOUS 1396854 HAS SOUPS 1394376 WITH SCORE 1402494.862
AT ITER 653 NEW BEST:: SOT 13916161 SOS 8118576 HAS SOPS 8113158 HAS SOUS 1396711 HAS SOUPS 1394233 WITH SCORE 1402351.576
AT ITER 675 NEW BEST:: SOT 13915523 SOS 8117938 HAS SOPS 8112520 HAS SOUS 1396206 HAS SOUPS 1393728 WITH SCORE 1401845.938
AT ITER 677 NEW BEST:: SOT 13915523 SOS 8113258 HAS SOPS 8107840 HAS SOUS 1396206 HAS SOUPS 1393728 WITH SCORE 1401841.258
AT ITER 680 NEW BEST:: SOT 13916532 SOS 8114267 HAS SOPS 8108849 HAS SOUS 1392282 HAS SOUPS 1389804 WITH SCORE 1397918.267
AT ITER 689 NEW BEST:: SOT 13916532 SOS 8114267 HAS SOPS 8108849 HAS SOUS 1392127 HAS SOUPS 1389649 WITH SCORE 1397763.267
AT ITER 694 NEW BEST:: SOT 13916532 SOS 8113259 HAS SOPS 8107841 HAS SOUS 1392127 HAS SOUPS 1389649 WITH SCORE 1397762.259
AT ITER 708 NEW BEST:: SOT 13916532 SOS 8109695 HAS SOPS 8104277 HAS SOUS 1392127 HAS SOUPS 1389649 WITH SCORE 1397758.695
AT ITER 709 NEW BEST:: SOT 13930919 SOS 8149763 HAS SOPS 8144039 HAS SOUS 1392030 HAS SOUPS 1389364 WITH SCORE 1397513.763
AT ITER 715 NEW BEST:: SOT 13925349 SOS 8144121 HAS SOPS 8138397 HAS SOUS 1386174 HAS SOUPS 1383508 WITH SCORE 1391652.121
AT ITER 720 NEW BEST:: SOT 13925349 SOS 8138941 HAS SOPS 8133217 HAS SOUS 1386104 HAS SOUPS 1383438 WITH SCORE 1391576.941
AT ITER 722 NEW BEST:: SOT 13922789 SOS 8136424 HAS SOPS 8130700 HAS SOUS 1379472 HAS SOUPS 1376806 WITH SCORE 1384942.424
AT ITER 731 NEW BEST:: SOT 13920989 SOS 8134589 HAS SOPS 8128865 HAS SOUS 1377637 HAS SOUPS 1374971 WITH SCORE 1383105.589
AT ITER 736 NEW BEST:: SOT 13920011 SOS 8133611 HAS SOPS 8127887 HAS SOUS 1376659 HAS SOUPS 1373993 WITH SCORE 1382126.611
AT ITER 747 NEW BEST:: SOT 13920011 SOS 8131595 HAS SOPS 8125871 HAS SOUS 1376659 HAS SOUPS 1373993 WITH SCORE 1382124.595
AT ITER 750 NEW BEST:: SOT 13923106 SOS 8134753 HAS SOPS 8129092 HAS SOUS 1375633 HAS SOUPS 1372967 WITH SCORE 1381101.753
AT ITER 751 NEW BEST:: SOT 13923106 SOS 8130793 HAS SOPS 8125132 HAS SOUS 1375633 HAS SOUPS 1372967 WITH SCORE 1381097.793
AT ITER 756 NEW BEST:: SOT 13921747 SOS 8129434 HAS SOPS 8123773 HAS SOUS 1370151 HAS SOUPS 1367485 WITH SCORE 1375614.434
AT ITER 757 NEW BEST:: SOT 13926144 SOS 8133831 HAS SOPS 8128170 HAS SOUS 1364486 HAS SOUPS 1361820 WITH SCORE 1369953.831
AT ITER 762 NEW BEST:: SOT 13926144 SOS 8133831 HAS SOPS 8128170 HAS SOUS 1364441 HAS SOUPS 1361775 WITH SCORE 1369908.831
AT ITER 783 NEW BEST:: SOT 13926144 SOS 8131959 HAS SOPS 8126298 HAS SOUS 1364441 HAS SOUPS 1361775 WITH SCORE 1369906.959
AT ITER 794 NEW BEST:: SOT 13929535 SOS 8141198 HAS SOPS 8135464 HAS SOUS 1363166 HAS SOUPS 1360457 WITH SCORE 1368598.198
AT ITER 798 NEW BEST:: SOT 13929535 SOS 8140478 HAS SOPS 8134744 HAS SOUS 1363166 HAS SOUPS 1360457 WITH SCORE 1368597.478
AT ITER 804 NEW BEST:: SOT 13922808 SOS 8133617 HAS SOPS 8127883 HAS SOUS 1356981 HAS SOUPS 1354272 WITH SCORE 1362405.617
AT ITER 807 NEW BEST:: SOT 13922808 SOS 8133289 HAS SOPS 8127555 HAS SOUS 1356817 HAS SOUPS 1354108 WITH SCORE 1362241.289
AT ITER 808 NEW BEST:: SOT 13922808 SOS 8133283 HAS SOPS 8127549 HAS SOUS 1356817 HAS SOUPS 1354108 WITH SCORE 1362241.283
AT ITER 836 NEW BEST:: SOT 13928035 SOS 8138712 HAS SOPS 8132978 HAS SOUS 1355566 HAS SOUPS 1352857 WITH SCORE 1360995.712
AT ITER 842 NEW BEST:: SOT 13928035 SOS 8135184 HAS SOPS 8129450 HAS SOUS 1355566 HAS SOUPS 1352857 WITH SCORE 1360992.184
AT ITER 859 NEW BEST:: SOT 13926234 SOS 8133383 HAS SOPS 8127649 HAS SOUS 1353765 HAS SOUPS 1351056 WITH SCORE 1359189.383
AT ITER 863 NEW BEST:: SOT 13925592 SOS 8132333 HAS SOPS 8126611 HAS SOUS 1346641 HAS SOUPS 1343936 WITH SCORE 1352068.333
AT ITER 868 NEW BEST:: SOT 13926727 SOS 8133468 HAS SOPS 8127746 HAS SOUS 1344653 HAS SOUPS 1341948 WITH SCORE 1350081.468
AT ITER 885 NEW BEST:: SOT 13926727 SOS 8129508 HAS SOPS 8123786 HAS SOUS 1344653 HAS SOUPS 1341948 WITH SCORE 1350077.508
AT ITER 893 NEW BEST:: SOT 13926727 SOS 8129508 HAS SOPS 8123786 HAS SOUS 1344651 HAS SOUPS 1341946 WITH SCORE 1350075.508
AT ITER 901 NEW BEST:: SOT 13924674 SOS 8113990 HAS SOPS 8108690 HAS SOUS 1333934 HAS SOUPS 1331361 WITH SCORE 1339474.99
AT ITER 904 NEW BEST:: SOT 13932173 SOS 8147224 HAS SOPS 8141442 HAS SOUS 1323917 HAS SOUPS 1321167 WITH SCORE 1329314.224
AT ITER 911 NEW BEST:: SOT 13932154 SOS 8147205 HAS SOPS 8141423 HAS SOUS 1323879 HAS SOUPS 1321129 WITH SCORE 1329276.205
AT ITER 924 NEW BEST:: SOT 13931082 SOS 8146133 HAS SOPS 8140351 HAS SOUS 1323395 HAS SOUPS 1320645 WITH SCORE 1328791.133
AT ITER 930 NEW BEST:: SOT 13931058 SOS 8146119 HAS SOPS 8140339 HAS SOUS 1323375 HAS SOUPS 1320625 WITH SCORE 1328771.119
AT ITER 931 NEW BEST:: SOT 13931044 SOS 8146105 HAS SOPS 8140325 HAS SOUS 1323346 HAS SOUPS 1320596 WITH SCORE 1328742.105
AT ITER 933 NEW BEST:: SOT 13929189 SOS 8144250 HAS SOPS 8138470 HAS SOUS 1321673 HAS SOUPS 1318923 WITH SCORE 1327067.25
AT ITER 936 NEW BEST:: SOT 13929189 SOS 8154258 HAS SOPS 8148478 HAS SOUS 1321654 HAS SOUPS 1318904 WITH SCORE 1327058.258
AT ITER 943 NEW BEST:: SOT 13931342 SOS 8156411 HAS SOPS 8150631 HAS SOUS 1320086 HAS SOUPS 1317336 WITH SCORE 1325492.411
AT ITER 949 NEW BEST:: SOT 13931342 SOS 8156377 HAS SOPS 8150597 HAS SOUS 1320052 HAS SOUPS 1317302 WITH SCORE 1325458.377
AT ITER 956 NEW BEST:: SOT 13936801 SOS 8162058 HAS SOPS 8156278 HAS SOUS 1317900 HAS SOUPS 1315150 WITH SCORE 1323312.058
AT ITER 966 NEW BEST:: SOT 13936801 SOS 8171922 HAS SOPS 8166142 HAS SOUS 1317755 HAS SOUPS 1315005 WITH SCORE 1323176.922
AT ITER 970 NEW BEST:: SOT 13940833 SOS 8175954 HAS SOPS 8170174 HAS SOUS 1315466 HAS SOUPS 1312716 WITH SCORE 1320891.954
AT ITER 971 NEW BEST:: SOT 13940110 SOS 8175231 HAS SOPS 8169451 HAS SOUS 1309354 HAS SOUPS 1306604 WITH SCORE 1314779.231
AT ITER 979 NEW BEST:: SOT 13940110 SOS 8190639 HAS SOPS 8184859 HAS SOUS 1309210 HAS SOUPS 1306460 WITH SCORE 1314650.639
AT ITER 981 NEW BEST:: SOT 13940110 SOS 8190455 HAS SOPS 8184675 HAS SOUS 1309118 HAS SOUPS 1306368 WITH SCORE 1314558.455
AT ITER 983 NEW BEST:: SOT 13944188 SOS 8194997 HAS SOPS 8189217 HAS SOUS 1304809 HAS SOUPS 1302059 WITH SCORE 1310253.997
AT ITER 986 NEW BEST:: SOT 13944228 SOS 8195014 HAS SOPS 8189234 HAS SOUS 1304786 HAS SOUPS 1302036 WITH SCORE 1310231.014
AT ITER 990 NEW BEST:: SOT 13956060 SOS 8234404 HAS SOPS 8227812 HAS SOUS 1299600 HAS SOUPS 1296661 WITH SCORE 1304895.404
AT ITER 991 NEW BEST:: SOT 13956060 SOS 8230516 HAS SOPS 8223924 HAS SOUS 1299600 HAS SOUPS 1296661 WITH SCORE 1304891.516
AT ITER 994 NEW BEST:: SOT 13956060 SOS 8230511 HAS SOPS 8223924 HAS SOUS 1299569 HAS SOUPS 1296630 WITH SCORE 1304860.511
AT ITER 996 NEW BEST:: SOT 13954535 SOS 8228986 HAS SOPS 8222399 HAS SOUS 1296444 HAS SOUPS 1293505 WITH SCORE 1301733.986
AT ITER 1004 NEW BEST:: SOT 13954535 SOS 8225530 HAS SOPS 8218943 HAS SOUS 1296444 HAS SOUPS 1293505 WITH SCORE 1301730.53
AT ITER 1005 NEW BEST:: SOT 13954535 SOS 8221938 HAS SOPS 8215351 HAS SOUS 1296232 HAS SOUPS 1293293 WITH SCORE 1301514.938
AT ITER 1022 NEW BEST:: SOT 13954525 SOS 8221928 HAS SOPS 8215341 HAS SOUS 1296212 HAS SOUPS 1293273 WITH SCORE 1301494.928
AT ITER 1025 NEW BEST:: SOT 13954525 SOS 8225888 HAS SOPS 8219301 HAS SOUS 1296052 HAS SOUPS 1293113 WITH SCORE 1301338.888
AT ITER 1026 NEW BEST:: SOT 13954525 SOS 8225888 HAS SOPS 8219301 HAS SOUS 1296043 HAS SOUPS 1293104 WITH SCORE 1301329.888
AT ITER 1046 NEW BEST:: SOT 13954525 SOS 8225377 HAS SOPS 8218790 HAS SOUS 1296036 HAS SOUPS 1293097 WITH SCORE 1301322.377
AT ITER 1081 NEW BEST:: SOT 13954616 SOS 8225468 HAS SOPS 8218881 HAS SOUS 1288482 HAS SOUPS 1285543 WITH SCORE 1293768.468
AT ITER 1092 NEW BEST:: SOT 13953734 SOS 8208581 HAS SOPS 8202880 HAS SOUS 1281298 HAS SOUPS 1278603 WITH SCORE 1286811.581
AT ITER 1098 NEW BEST:: SOT 13953713 SOS 8208560 HAS SOPS 8202859 HAS SOUS 1281277 HAS SOUPS 1278582 WITH SCORE 1286790.56
AT ITER 1127 NEW BEST:: SOT 13962387 SOS 8227144 HAS SOPS 8221526 HAS SOUS 1277676 HAS SOUPS 1274981 WITH SCORE 1283208.144
AT ITER 1128 NEW BEST:: SOT 13962387 SOS 8232688 HAS SOPS 8227070 HAS SOUS 1277530 HAS SOUPS 1274835 WITH SCORE 1283067.688
AT ITER 1136 NEW BEST:: SOT 13962387 SOS 8232688 HAS SOPS 8227070 HAS SOUS 1277354 HAS SOUPS 1274659 WITH SCORE 1282891.688
AT ITER 1141 NEW BEST:: SOT 13961672 SOS 8231954 HAS SOPS 8226336 HAS SOUS 1273746 HAS SOUPS 1271051 WITH SCORE 1279282.954
AT ITER 1142 NEW BEST:: SOT 13957910 SOS 8228192 HAS SOPS 8222574 HAS SOUS 1270269 HAS SOUPS 1267574 WITH SCORE 1275802.192
AT ITER 1147 NEW BEST:: SOT 13957910 SOS 8254297 HAS SOPS 8248309 HAS SOUS 1269990 HAS SOUPS 1267110 WITH SCORE 1275364.297
AT ITER 1148 NEW BEST:: SOT 13957910 SOS 8267401 HAS SOPS 8261413 HAS SOUS 1269780 HAS SOUPS 1266900 WITH SCORE 1275167.401
AT ITER 1149 NEW BEST:: SOT 13957910 SOS 8278057 HAS SOPS 8272069 HAS SOUS 1269632 HAS SOUPS 1266752 WITH SCORE 1275030.057
AT ITER 1154 NEW BEST:: SOT 13962126 SOS 8282273 HAS SOPS 8276285 HAS SOUS 1268075 HAS SOUPS 1265195 WITH SCORE 1273477.273
AT ITER 1164 NEW BEST:: SOT 13968398 SOS 8288545 HAS SOPS 8282557 HAS SOUS 1267812 HAS SOUPS 1264932 WITH SCORE 1273220.545
AT ITER 1175 NEW BEST:: SOT 13968398 SOS 8288545 HAS SOPS 8282557 HAS SOUS 1267798 HAS SOUPS 1264918 WITH SCORE 1273206.545
AT ITER 1189 NEW BEST:: SOT 13974071 SOS 8294374 HAS SOPS 8288386 HAS SOUS 1263595 HAS SOUPS 1260715 WITH SCORE 1269009.374
AT ITER 1191 NEW BEST:: SOT 13974071 SOS 8291308 HAS SOPS 8285320 HAS SOUS 1263595 HAS SOUPS 1260715 WITH SCORE 1269006.308
AT ITER 1199 NEW BEST:: SOT 13973767 SOS 8290860 HAS SOPS 8284872 HAS SOUS 1259859 HAS SOUPS 1256979 WITH SCORE 1265269.86
AT ITER 1211 NEW BEST:: SOT 13973767 SOS 8292444 HAS SOPS 8286456 HAS SOUS 1259718 HAS SOUPS 1256838 WITH SCORE 1265130.444
AT ITER 1215 NEW BEST:: SOT 13971026 SOS 8283655 HAS SOPS 8277667 HAS SOUS 1254594 HAS SOUPS 1251714 WITH SCORE 1259997.655
AT ITER 1240 NEW BEST:: SOT 13971026 SOS 8280703 HAS SOPS 8274715 HAS SOUS 1254594 HAS SOUPS 1251714 WITH SCORE 1259994.703
AT ITER 1260 NEW BEST:: SOT 13971026 SOS 8280541 HAS SOPS 8274553 HAS SOUS 1254513 HAS SOUPS 1251633 WITH SCORE 1259913.541
AT ITER 1281 NEW BEST:: SOT 13973754 SOS 8283269 HAS SOPS 8277281 HAS SOUS 1254207 HAS SOUPS 1251327 WITH SCORE 1259610.269
AT ITER 1285 NEW BEST:: SOT 13975133 SOS 8284648 HAS SOPS 8278660 HAS SOUS 1251119 HAS SOUPS 1248239 WITH SCORE 1256523.648
AT ITER 1302 NEW BEST:: SOT 13994602 SOS 8338793 HAS SOPS 8331691 HAS SOUS 1245904 HAS SOUPS 1242771 WITH SCORE 1251109.793
AT ITER 1306 NEW BEST:: SOT 13995868 SOS 8340059 HAS SOPS 8332957 HAS SOUS 1239971 HAS SOUPS 1236838 WITH SCORE 1245178.059
AT ITER 1311 NEW BEST:: SOT 13995629 SOS 8339820 HAS SOPS 8332718 HAS SOUS 1239837 HAS SOUPS 1236704 WITH SCORE 1245043.82
AT ITER 1322 NEW BEST:: SOT 14001051 SOS 8345528 HAS SOPS 8338426 HAS SOUS 1236365 HAS SOUPS 1233232 WITH SCORE 1241577.528
AT ITER 1328 NEW BEST:: SOT 14003625 SOS 8347899 HAS SOPS 8340803 HAS SOUS 1236278 HAS SOUPS 1233148 WITH SCORE 1241495.899
AT ITER 1362 NEW BEST:: SOT 14003685 SOS 8347959 HAS SOPS 8340863 HAS SOUS 1236178 HAS SOUPS 1233048 WITH SCORE 1241395.959
AT ITER 1371 NEW BEST:: SOT 14017615 SOS 8400678 HAS SOPS 8392570 HAS SOUS 1235267 HAS SOUPS 1231868 WITH SCORE 1240268.678
AT ITER 1394 NEW BEST:: SOT 14020040 SOS 8403224 HAS SOPS 8395116 HAS SOUS 1233005 HAS SOUPS 1229606 WITH SCORE 1238009.224
AT ITER 1409 NEW BEST:: SOT 14022155 SOS 8408688 HAS SOPS 8400530 HAS SOUS 1232662 HAS SOUPS 1229238 WITH SCORE 1237646.688
AT ITER 1412 NEW BEST:: SOT 14022155 SOS 8408607 HAS SOPS 8400449 HAS SOUS 1232653 HAS SOUPS 1229229 WITH SCORE 1237637.607
AT ITER 1418 NEW BEST:: SOT 14022155 SOS 8408333 HAS SOPS 8400175 HAS SOUS 1232516 HAS SOUPS 1229092 WITH SCORE 1237500.333
AT ITER 1419 NEW BEST:: SOT 14021665 SOS 8407843 HAS SOPS 8399685 HAS SOUS 1229953 HAS SOUPS 1226529 WITH SCORE 1234936.843
AT ITER 1423 NEW BEST:: SOT 14022965 SOS 8409143 HAS SOPS 8400985 HAS SOUS 1229931 HAS SOUPS 1226507 WITH SCORE 1234916.143
AT ITER 1431 NEW BEST:: SOT 14034009 SOS 8420587 HAS SOPS 8412825 HAS SOUS 1227914 HAS SOUPS 1224490 WITH SCORE 1232910.587
AT ITER 1433 NEW BEST:: SOT 14033756 SOS 8420334 HAS SOPS 8412572 HAS SOUS 1222304 HAS SOUPS 1218880 WITH SCORE 1227300.334
AT ITER 1439 NEW BEST:: SOT 14033756 SOS 8420334 HAS SOPS 8412572 HAS SOUS 1222188 HAS SOUPS 1218764 WITH SCORE 1227184.334
AT ITER 1450 NEW BEST:: SOT 14031847 SOS 8418425 HAS SOPS 8410663 HAS SOUS 1218370 HAS SOUPS 1214946 WITH SCORE 1223364.425
AT ITER 1453 NEW BEST:: SOT 14031412 SOS 8412000 HAS SOPS 8404142 HAS SOUS 1217735 HAS SOUPS 1214275 WITH SCORE 1222687.0
AT ITER 1460 NEW BEST:: SOT 14034044 SOS 8414632 HAS SOPS 8406774 HAS SOUS 1216033 HAS SOUPS 1212573 WITH SCORE 1220987.632
AT ITER 1465 NEW BEST:: SOT 14034044 SOS 8409334 HAS SOPS 8401476 HAS SOUS 1215940 HAS SOUPS 1212480 WITH SCORE 1220889.334
AT ITER 1473 NEW BEST:: SOT 14034044 SOS 8409258 HAS SOPS 8401400 HAS SOUS 1215940 HAS SOUPS 1212480 WITH SCORE 1220889.258
AT ITER 1476 NEW BEST:: SOT 14030143 SOS 8405357 HAS SOPS 8397499 HAS SOUS 1213023 HAS SOUPS 1209563 WITH SCORE 1217968.357
AT ITER 1484 NEW BEST:: SOT 14029071 SOS 8404285 HAS SOPS 8396427 HAS SOUS 1210896 HAS SOUPS 1207436 WITH SCORE 1215840.285
AT ITER 1485 NEW BEST:: SOT 14029071 SOS 8404215 HAS SOPS 8396357 HAS SOUS 1210826 HAS SOUPS 1207366 WITH SCORE 1215770.215
AT ITER 1506 NEW BEST:: SOT 14029071 SOS 8402640 HAS SOPS 8394782 HAS SOUS 1210691 HAS SOUPS 1207231 WITH SCORE 1215633.64
AT ITER 1526 NEW BEST:: SOT 14027057 SOS 8399880 HAS SOPS 8392038 HAS SOUS 1198901 HAS SOUPS 1195449 WITH SCORE 1203848.88
AT ITER 1527 NEW BEST:: SOT 14027017 SOS 7977592 HAS SOPS 7969750 HAS SOUS 1198859 HAS SOUPS 1195407 WITH SCORE 1203384.592
AT ITER 1531 NEW BEST:: SOT 14026063 SOS 7976638 HAS SOPS 7968796 HAS SOUS 1198533 HAS SOUPS 1195081 WITH SCORE 1203057.638
AT ITER 1540 NEW BEST:: SOT 14024431 SOS 7975006 HAS SOPS 7967164 HAS SOUS 1188106 HAS SOUPS 1184654 WITH SCORE 1192629.006
AT ITER 1547 NEW BEST:: SOT 14024431 SOS 7974939 HAS SOPS 7967097 HAS SOUS 1188039 HAS SOUPS 1184587 WITH SCORE 1192561.939
AT ITER 1554 NEW BEST:: SOT 14022766 SOS 7973274 HAS SOPS 7965432 HAS SOUS 1186667 HAS SOUPS 1183215 WITH SCORE 1191188.274
AT ITER 1555 NEW BEST:: SOT 14022766 SOS 7969314 HAS SOPS 7961472 HAS SOUS 1186667 HAS SOUPS 1183215 WITH SCORE 1191184.314
AT ITER 1567 NEW BEST:: SOT 14022766 SOS 7969314 HAS SOPS 7961472 HAS SOUS 1186665 HAS SOUPS 1183213 WITH SCORE 1191182.314
AT ITER 1568 NEW BEST:: SOT 14022766 SOS 7967658 HAS SOPS 7959816 HAS SOUS 1186665 HAS SOUPS 1183213 WITH SCORE 1191180.658
AT ITER 1572 NEW BEST:: SOT 14018881 SOS 7963773 HAS SOPS 7955931 HAS SOUS 1184245 HAS SOUPS 1180793 WITH SCORE 1188756.773
AT ITER 1580 NEW BEST:: SOT 14018881 SOS 7960389 HAS SOPS 7952547 HAS SOUS 1184245 HAS SOUPS 1180793 WITH SCORE 1188753.389
AT ITER 1587 NEW BEST:: SOT 14015097 SOS 7956605 HAS SOPS 7948763 HAS SOUS 1176471 HAS SOUPS 1173019 WITH SCORE 1180975.605
AT ITER 1595 NEW BEST:: SOT 14015539 SOS 7957047 HAS SOPS 7949205 HAS SOUS 1166629 HAS SOUPS 1163177 WITH SCORE 1171134.047
AT ITER 1601 NEW BEST:: SOT 14014978 SOS 7953450 HAS SOPS 7945608 HAS SOUS 1166236 HAS SOUPS 1162784 WITH SCORE 1170737.45
AT ITER 1606 NEW BEST:: SOT 14008391 SOS 7947378 HAS SOPS 7939536 HAS SOUS 1158837 HAS SOUPS 1155385 WITH SCORE 1163332.378
AT ITER 1608 NEW BEST:: SOT 14008267 SOS 7947254 HAS SOPS 7939412 HAS SOUS 1157911 HAS SOUPS 1154459 WITH SCORE 1162406.254
AT ITER 1631 NEW BEST:: SOT 14008021 SOS 7947008 HAS SOPS 7939166 HAS SOUS 1157690 HAS SOUPS 1154238 WITH SCORE 1162185.008
AT ITER 1639 NEW BEST:: SOT 14006110 SOS 7945085 HAS SOPS 7937243 HAS SOUS 1152340 HAS SOUPS 1148888 WITH SCORE 1156833.085
AT ITER 1663 NEW BEST:: SOT 14006110 SOS 7937265 HAS SOPS 7929423 HAS SOUS 1152251 HAS SOUPS 1148799 WITH SCORE 1156736.265
AT ITER 1671 NEW BEST:: SOT 14006110 SOS 7939281 HAS SOPS 7931439 HAS SOUS 1152125 HAS SOUPS 1148673 WITH SCORE 1156612.281
AT ITER 1672 NEW BEST:: SOT 14002610 SOS 7935396 HAS SOPS 7927554 HAS SOUS 1150534 HAS SOUPS 1147082 WITH SCORE 1155017.396
AT ITER 1684 NEW BEST:: SOT 13997629 SOS 7930415 HAS SOPS 7922573 HAS SOUS 1145504 HAS SOUPS 1142052 WITH SCORE 1149982.415
AT ITER 1701 NEW BEST:: SOT 13997688 SOS 7930474 HAS SOPS 7922632 HAS SOUS 1138788 HAS SOUPS 1135336 WITH SCORE 1143266.474
AT ITER 1713 NEW BEST:: SOT 14000814 SOS 7933600 HAS SOPS 7925758 HAS SOUS 1137640 HAS SOUPS 1134188 WITH SCORE 1142121.6
AT ITER 1714 NEW BEST:: SOT 14000814 SOS 7931152 HAS SOPS 7923310 HAS SOUS 1137640 HAS SOUPS 1134188 WITH SCORE 1142119.152
AT ITER 1745 NEW BEST:: SOT 14000975 SOS 7931625 HAS SOPS 7924027 HAS SOUS 1128769 HAS SOUPS 1125317 WITH SCORE 1133248.625
AT ITER 1754 NEW BEST:: SOT 14004362 SOS 7935472 HAS SOPS 7927874 HAS SOUS 1118962 HAS SOUPS 1115510 WITH SCORE 1123445.472
AT ITER 1761 NEW BEST:: SOT 14004294 SOS 7935404 HAS SOPS 7927806 HAS SOUS 1118846 HAS SOUPS 1115394 WITH SCORE 1123329.404
AT ITER 1779 NEW BEST:: SOT 14008250 SOS 7939492 HAS SOPS 7931894 HAS SOUS 1118420 HAS SOUPS 1114968 WITH SCORE 1122907.492
AT ITER 1791 NEW BEST:: SOT 14006860 SOS 7938116 HAS SOPS 7930504 HAS SOUS 1115650 HAS SOUPS 1112184 WITH SCORE 1120122.116
AT ITER 1794 NEW BEST:: SOT 14006860 SOS 7938116 HAS SOPS 7930504 HAS SOUS 1115622 HAS SOUPS 1112156 WITH SCORE 1120094.116
AT ITER 1796 NEW BEST:: SOT 14007696 SOS 7938952 HAS SOPS 7931340 HAS SOUS 1114959 HAS SOUPS 1111493 WITH SCORE 1119431.952
AT ITER 1802 NEW BEST:: SOT 14007226 SOS 7938482 HAS SOPS 7930870 HAS SOUS 1113715 HAS SOUPS 1110249 WITH SCORE 1118187.482
AT ITER 1803 NEW BEST:: SOT 14007209 SOS 7937518 HAS SOPS 7929991 HAS SOUS 1113333 HAS SOUPS 1109884 WITH SCORE 1117821.518
AT ITER 1806 NEW BEST:: SOT 14006994 SOS 7937303 HAS SOPS 7929776 HAS SOUS 1113027 HAS SOUPS 1109578 WITH SCORE 1117515.303
AT ITER 1808 NEW BEST:: SOT 14006616 SOS 7944629 HAS SOPS 7937102 HAS SOUS 1112431 HAS SOUPS 1108982 WITH SCORE 1116926.629
AT ITER 1809 NEW BEST:: SOT 14007851 SOS 7945864 HAS SOPS 7938337 HAS SOUS 1111866 HAS SOUPS 1108417 WITH SCORE 1116362.864
AT ITER 1810 NEW BEST:: SOT 14004215 SOS 7942228 HAS SOPS 7934701 HAS SOUS 1107334 HAS SOUPS 1103885 WITH SCORE 1111827.228
AT ITER 1826 NEW BEST:: SOT 13999687 SOS 7937700 HAS SOPS 7930173 HAS SOUS 1103020 HAS SOUPS 1099571 WITH SCORE 1107508.7
AT ITER 1843 NEW BEST:: SOT 13994751 SOS 7932656 HAS SOPS 7925129 HAS SOUS 1101352 HAS SOUPS 1097903 WITH SCORE 1105835.656
AT ITER 1846 NEW BEST:: SOT 13994751 SOS 7929920 HAS SOPS 7922393 HAS SOUS 1101352 HAS SOUPS 1097903 WITH SCORE 1105832.92
AT ITER 1853 NEW BEST:: SOT 13992968 SOS 7928137 HAS SOPS 7920610 HAS SOUS 1097742 HAS SOUPS 1094293 WITH SCORE 1102221.137
AT ITER 1875 NEW BEST:: SOT 13992882 SOS 7928051 HAS SOPS 7920524 HAS SOUS 1097613 HAS SOUPS 1094164 WITH SCORE 1102092.051
AT ITER 1888 NEW BEST:: SOT 13992865 SOS 7928034 HAS SOPS 7920507 HAS SOUS 1097601 HAS SOUPS 1094152 WITH SCORE 1102080.034
AT ITER 1892 NEW BEST:: SOT 13992857 SOS 7928026 HAS SOPS 7920499 HAS SOUS 1097601 HAS SOUPS 1094152 WITH SCORE 1102080.026
AT ITER 1896 NEW BEST:: SOT 13992857 SOS 7928026 HAS SOPS 7920499 HAS SOUS 1097556 HAS SOUPS 1094107 WITH SCORE 1102035.026
AT ITER 1898 NEW BEST:: SOT 13992800 SOS 7927969 HAS SOPS 7920442 HAS SOUS 1097429 HAS SOUPS 1093980 WITH SCORE 1101907.969
AT ITER 1905 NEW BEST:: SOT 13992800 SOS 7927969 HAS SOPS 7920442 HAS SOUS 1097411 HAS SOUPS 1093962 WITH SCORE 1101889.969
AT ITER 1926 NEW BEST:: SOT 13992800 SOS 7926601 HAS SOPS 7919074 HAS SOUS 1097411 HAS SOUPS 1093962 WITH SCORE 1101888.601
AT ITER 1935 NEW BEST:: SOT 13992774 SOS 7926546 HAS SOPS 7919033 HAS SOUS 1096316 HAS SOUPS 1092881 WITH SCORE 1100807.546
AT ITER 1939 NEW BEST:: SOT 13994621 SOS 7928365 HAS SOPS 7920852 HAS SOUS 1091441 HAS SOUPS 1088006 WITH SCORE 1095934.365
AT ITER 1942 NEW BEST:: SOT 13994990 SOS 7925631 HAS SOPS 7918243 HAS SOUS 1088111 HAS SOUPS 1084776 WITH SCORE 1092701.631
AT ITER 1967 NEW BEST:: SOT 13994686 SOS 7925294 HAS SOPS 7917910 HAS SOUS 1087280 HAS SOUPS 1083945 WITH SCORE 1091870.294
AT ITER 1975 NEW BEST:: SOT 13991466 SOS 7921864 HAS SOPS 7914480 HAS SOUS 1085727 HAS SOUPS 1082392 WITH SCORE 1090313.864
AT ITER 1985 NEW BEST:: SOT 13991374 SOS 7921772 HAS SOPS 7914388 HAS SOUS 1085546 HAS SOUPS 1082211 WITH SCORE 1090132.772
AT ITER 1996 NEW BEST:: SOT 13996223 SOS 7926709 HAS SOPS 7919325 HAS SOUS 1081103 HAS SOUPS 1077768 WITH SCORE 1085694.709
AT ITER 1998 NEW BEST:: SOT 13996223 SOS 7922749 HAS SOPS 7915365 HAS SOUS 1081103 HAS SOUPS 1077768 WITH SCORE 1085690.749
AT ITER 2014 NEW BEST:: SOT 13994407 SOS 7920885 HAS SOPS 7913501 HAS SOUS 1080895 HAS SOUPS 1077560 WITH SCORE 1085480.885
AT ITER 2020 NEW BEST:: SOT 13994407 SOS 7918005 HAS SOPS 7910621 HAS SOUS 1080895 HAS SOUPS 1077560 WITH SCORE 1085478.005
AT ITER 2058 NEW BEST:: SOT 13993173 SOS 7917809 HAS SOPS 7910459 HAS SOUS 1078424 HAS SOUPS 1075089 WITH SCORE 1083006.809
AT ITER 2072 NEW BEST:: SOT 13993173 SOS 7917809 HAS SOPS 7910459 HAS SOUS 1078375 HAS SOUPS 1075040 WITH SCORE 1082957.809
AT ITER 2077 NEW BEST:: SOT 13993173 SOS 7917809 HAS SOPS 7910459 HAS SOUS 1078323 HAS SOUPS 1074988 WITH SCORE 1082905.809
AT ITER 2081 NEW BEST:: SOT 13993291 SOS 7915557 HAS SOPS 7908334 HAS SOUS 1073822 HAS SOUPS 1070583 WITH SCORE 1078498.557
AT ITER 2090 NEW BEST:: SOT 13993291 SOS 7912677 HAS SOPS 7905454 HAS SOUS 1073822 HAS SOUPS 1070583 WITH SCORE 1078495.677
AT ITER 2117 NEW BEST:: SOT 13993291 SOS 7912651 HAS SOPS 7905428 HAS SOUS 1073796 HAS SOUPS 1070557 WITH SCORE 1078469.651
AT ITER 2131 NEW BEST:: SOT 13996097 SOS 7915457 HAS SOPS 7908234 HAS SOUS 1072728 HAS SOUPS 1069489 WITH SCORE 1077404.457
AT ITER 2141 NEW BEST:: SOT 13995903 SOS 7923263 HAS SOPS 7916040 HAS SOUS 1072023 HAS SOUPS 1068784 WITH SCORE 1076707.263
AT ITER 2147 NEW BEST:: SOT 14003851 SOS 7931211 HAS SOPS 7923988 HAS SOUS 1061152 HAS SOUPS 1057913 WITH SCORE 1065844.211
AT ITER 2151 NEW BEST:: SOT 14002115 SOS 7929489 HAS SOPS 7922266 HAS SOUS 1060956 HAS SOUPS 1057717 WITH SCORE 1065646.489
AT ITER 2153 NEW BEST:: SOT 13999656 SOS 7930654 HAS SOPS 7923643 HAS SOUS 1056015 HAS SOUPS 1052776 WITH SCORE 1060706.654
AT ITER 2179 NEW BEST:: SOT 13999656 SOS 7930654 HAS SOPS 7923643 HAS SOUS 1055907 HAS SOUPS 1052668 WITH SCORE 1060598.654
AT ITER 2183 NEW BEST:: SOT 13999585 SOS 7930583 HAS SOPS 7923571 HAS SOUS 1055770 HAS SOUPS 1052531 WITH SCORE 1060461.583
AT ITER 2184 NEW BEST:: SOT 13999585 SOS 7930583 HAS SOPS 7923571 HAS SOUS 1055764 HAS SOUPS 1052525 WITH SCORE 1060455.583
AT ITER 2187 NEW BEST:: SOT 13999585 SOS 7930583 HAS SOPS 7923571 HAS SOUS 1055723 HAS SOUPS 1052484 WITH SCORE 1060414.583
AT ITER 2191 NEW BEST:: SOT 13999868 SOS 7930866 HAS SOPS 7923854 HAS SOUS 1052775 HAS SOUPS 1049536 WITH SCORE 1057466.866
AT ITER 2195 NEW BEST:: SOT 13999841 SOS 7930839 HAS SOPS 7923827 HAS SOUS 1052741 HAS SOUPS 1049502 WITH SCORE 1057432.839
AT ITER 2201 NEW BEST:: SOT 13995056 SOS 7920381 HAS SOPS 7913682 HAS SOUS 1051903 HAS SOUPS 1048744 WITH SCORE 1056664.381
AT ITER 2218 NEW BEST:: SOT 13994688 SOS 7919630 HAS SOPS 7913020 HAS SOUS 1050506 HAS SOUPS 1047380 WITH SCORE 1055299.63
AT ITER 2224 NEW BEST:: SOT 13995140 SOS 7918645 HAS SOPS 7912112 HAS SOUS 1047869 HAS SOUPS 1044797 WITH SCORE 1052715.645
AT ITER 2225 NEW BEST:: SOT 13992988 SOS 7916493 HAS SOPS 7909960 HAS SOUS 1046944 HAS SOUPS 1043872 WITH SCORE 1051788.493
AT ITER 2231 NEW BEST:: SOT 13992988 SOS 7914909 HAS SOPS 7908376 HAS SOUS 1046944 HAS SOUPS 1043872 WITH SCORE 1051786.909
AT ITER 2233 NEW BEST:: SOT 13996014 SOS 7942684 HAS SOPS 7936151 HAS SOUS 1045216 HAS SOUPS 1042144 WITH SCORE 1050086.684
AT ITER 2236 NEW BEST:: SOT 13994146 SOS 7940816 HAS SOPS 7934283 HAS SOUS 1043853 HAS SOUPS 1040781 WITH SCORE 1048721.816
AT ITER 2263 NEW BEST:: SOT 13993895 SOS 7940565 HAS SOPS 7934032 HAS SOUS 1043602 HAS SOUPS 1040530 WITH SCORE 1048470.565
AT ITER 2283 NEW BEST:: SOT 13993490 SOS 7940160 HAS SOPS 7933627 HAS SOUS 1043183 HAS SOUPS 1040111 WITH SCORE 1048051.16
AT ITER 2288 NEW BEST:: SOT 13992940 SOS 7939585 HAS SOPS 7933052 HAS SOUS 1037369 HAS SOUPS 1034297 WITH SCORE 1042236.585
AT ITER 2290 NEW BEST:: SOT 13989345 SOS 7935990 HAS SOPS 7929457 HAS SOUS 1034705 HAS SOUPS 1031633 WITH SCORE 1039568.99
AT ITER 2291 NEW BEST:: SOT 13989345 SOS 7935972 HAS SOPS 7929439 HAS SOUS 1034687 HAS SOUPS 1031615 WITH SCORE 1039550.972
AT ITER 2300 NEW BEST:: SOT 13988552 SOS 7934206 HAS SOPS 7927738 HAS SOUS 1031859 HAS SOUPS 1028838 WITH SCORE 1036772.206
AT ITER 2304 NEW BEST:: SOT 13988552 SOS 7934206 HAS SOPS 7927738 HAS SOUS 1031839 HAS SOUPS 1028818 WITH SCORE 1036752.206
AT ITER 2306 NEW BEST:: SOT 13988203 SOS 7933857 HAS SOPS 7927389 HAS SOUS 1031141 HAS SOUPS 1028120 WITH SCORE 1036053.857
AT ITER 2345 NEW BEST:: SOT 13987888 SOS 7936242 HAS SOPS 7929774 HAS SOUS 1020025 HAS SOUPS 1017004 WITH SCORE 1024940.242
AT ITER 2352 NEW BEST:: SOT 13990159 SOS 7934946 HAS SOPS 7928690 HAS SOUS 1014722 HAS SOUPS 1011861 WITH SCORE 1019795.946
AT ITER 2369 NEW BEST:: SOT 13987893 SOS 7932680 HAS SOPS 7926424 HAS SOUS 1008356 HAS SOUPS 1005495 WITH SCORE 1013427.68
AT ITER 2370 NEW BEST:: SOT 13984483 SOS 7928826 HAS SOPS 7922570 HAS SOUS 1007184 HAS SOUPS 1004323 WITH SCORE 1012251.826
AT ITER 2371 NEW BEST:: SOT 13984483 SOS 7928394 HAS SOPS 7922138 HAS SOUS 1007184 HAS SOUPS 1004323 WITH SCORE 1012251.394
AT ITER 2373 NEW BEST:: SOT 13989473 SOS 7995645 HAS SOPS 7988321 HAS SOUS 1007081 HAS SOUPS 1003723 WITH SCORE 1011718.645
AT ITER 2374 NEW BEST:: SOT 13983563 SOS 7989735 HAS SOPS 7982411 HAS SOUS 1000149 HAS SOUPS 996791 WITH SCORE 1004780.735
AT ITER 2378 NEW BEST:: SOT 13983563 SOS 7989735 HAS SOPS 7982411 HAS SOUS 1000109 HAS SOUPS 996751 WITH SCORE 1004740.735
AT ITER 2379 NEW BEST:: SOT 13980637 SOS 7986809 HAS SOPS 7979485 HAS SOUS 998404 HAS SOUPS 995046 WITH SCORE 1003032.809
AT ITER 2389 NEW BEST:: SOT 13980637 SOS 7989575 HAS SOPS 7982251 HAS SOUS 998174 HAS SOUPS 994816 WITH SCORE 1002805.575
AT ITER 2399 NEW BEST:: SOT 13980657 SOS 7989595 HAS SOPS 7982271 HAS SOUS 996756 HAS SOUPS 993398 WITH SCORE 1001387.595
AT ITER 2402 NEW BEST:: SOT 13978903 SOS 7987841 HAS SOPS 7980517 HAS SOUS 994574 HAS SOUPS 991216 WITH SCORE 999203.841
AT ITER 2408 NEW BEST:: SOT 13978903 SOS 7992521 HAS SOPS 7985197 HAS SOUS 994509 HAS SOUPS 991151 WITH SCORE 999143.521
AT ITER 2419 NEW BEST:: SOT 13978903 SOS 7989641 HAS SOPS 7982317 HAS SOUS 994509 HAS SOUPS 991151 WITH SCORE 999140.641
AT ITER 2426 NEW BEST:: SOT 13978903 SOS 7989641 HAS SOPS 7982317 HAS SOUS 994508 HAS SOUPS 991150 WITH SCORE 999139.641
AT ITER 2440 NEW BEST:: SOT 13974315 SOS 7984333 HAS SOPS 7977009 HAS SOUS 992567 HAS SOUPS 989209 WITH SCORE 997193.333
AT ITER 2443 NEW BEST:: SOT 13972831 SOS 7982849 HAS SOPS 7975525 HAS SOUS 990504 HAS SOUPS 987146 WITH SCORE 995128.849
AT ITER 2449 NEW BEST:: SOT 13972831 SOS 7982849 HAS SOPS 7975525 HAS SOUS 990500 HAS SOUPS 987142 WITH SCORE 995124.849
AT ITER 2450 NEW BEST:: SOT 13972831 SOS 7978889 HAS SOPS 7971565 HAS SOUS 990500 HAS SOUPS 987142 WITH SCORE 995120.889
AT ITER 2467 NEW BEST:: SOT 13972831 SOS 7979537 HAS SOPS 7972213 HAS SOUS 990334 HAS SOUPS 986976 WITH SCORE 994955.537
AT ITER 2468 NEW BEST:: SOT 13973878 SOS 7980523 HAS SOPS 7973199 HAS SOUS 985713 HAS SOUPS 982355 WITH SCORE 990335.523
AT ITER 2473 NEW BEST:: SOT 13973416 SOS 7980016 HAS SOPS 7972692 HAS SOUS 982925 HAS SOUPS 979567 WITH SCORE 987547.016
AT ITER 2478 NEW BEST:: SOT 13967884 SOS 7976040 HAS SOPS 7968716 HAS SOUS 978095 HAS SOUPS 974737 WITH SCORE 982713.04
AT ITER 2481 NEW BEST:: SOT 13967985 SOS 7968720 HAS SOPS 7961396 HAS SOUS 978009 HAS SOUPS 974651 WITH SCORE 982619.72
AT ITER 2493 NEW BEST:: SOT 13971339 SOS 7972206 HAS SOPS 7964882 HAS SOUS 974930 HAS SOUPS 971572 WITH SCORE 979544.206
AT ITER 2503 NEW BEST:: SOT 13973619 SOS 7974424 HAS SOPS 7967100 HAS SOUS 974149 HAS SOUPS 970791 WITH SCORE 978765.424
AT ITER 2508 NEW BEST:: SOT 13986710 SOS 8001545 HAS SOPS 7994221 HAS SOUS 970346 HAS SOUPS 966988 WITH SCORE 974989.545
AT ITER 2512 NEW BEST:: SOT 13986710 SOS 8003489 HAS SOPS 7996165 HAS SOUS 970282 HAS SOUPS 966924 WITH SCORE 974927.489
AT ITER 2536 NEW BEST:: SOT 13986710 SOS 8003337 HAS SOPS 7996013 HAS SOUS 970206 HAS SOUPS 966848 WITH SCORE 974851.337
AT ITER 2547 NEW BEST:: SOT 13986710 SOS 8002534 HAS SOPS 7995210 HAS SOUS 970195 HAS SOUPS 966837 WITH SCORE 974839.534
AT ITER 2603 NEW BEST:: SOT 13985120 SOS 8000944 HAS SOPS 7993620 HAS SOUS 969301 HAS SOUPS 965943 WITH SCORE 973943.944
AT ITER 2607 NEW BEST:: SOT 13985076 SOS 7998155 HAS SOPS 7990906 HAS SOUS 968671 HAS SOUPS 965357 WITH SCORE 973355.155
AT ITER 2666 NEW BEST:: SOT 13985076 SOS 7992027 HAS SOPS 7985158 HAS SOUS 968291 HAS SOUPS 965053 WITH SCORE 973045.027
AT ITER 2686 NEW BEST:: SOT 13983783 SOS 7989501 HAS SOPS 7982667 HAS SOUS 965672 HAS SOUPS 962507 WITH SCORE 970496.501
AT ITER 2708 NEW BEST:: SOT 13983783 SOS 7988844 HAS SOPS 7982010 HAS SOUS 965663 HAS SOUPS 962498 WITH SCORE 970486.844
AT ITER 2728 NEW BEST:: SOT 13986548 SOS 7991623 HAS SOPS 7984791 HAS SOUS 965083 HAS SOUPS 961920 WITH SCORE 969911.623
AT ITER 2730 NEW BEST:: SOT 13986232 SOS 7991307 HAS SOPS 7984475 HAS SOUS 964257 HAS SOUPS 961094 WITH SCORE 969085.307
AT ITER 2732 NEW BEST:: SOT 13986232 SOS 7990731 HAS SOPS 7983899 HAS SOUS 964257 HAS SOUPS 961094 WITH SCORE 969084.731
AT ITER 2735 NEW BEST:: SOT 13986192 SOS 7990691 HAS SOPS 7983859 HAS SOUS 964168 HAS SOUPS 961005 WITH SCORE 968995.691
AT ITER 2741 NEW BEST:: SOT 13986192 SOS 7989095 HAS SOPS 7982299 HAS SOUS 964145 HAS SOUPS 960994 WITH SCORE 968983.095
AT ITER 2743 NEW BEST:: SOT 13987426 SOS 7990329 HAS SOPS 7983533 HAS SOUS 963990 HAS SOUPS 960839 WITH SCORE 968829.329
AT ITER 2745 NEW BEST:: SOT 13987449 SOS 7990352 HAS SOPS 7983556 HAS SOUS 963972 HAS SOUPS 960821 WITH SCORE 968811.352
AT ITER 2755 NEW BEST:: SOT 13987443 SOS 7990346 HAS SOPS 7983550 HAS SOUS 963966 HAS SOUPS 960815 WITH SCORE 968805.346
AT ITER 2759 NEW BEST:: SOT 13986543 SOS 7988229 HAS SOPS 7981506 HAS SOUS 961153 HAS SOUPS 958055 WITH SCORE 966043.229
AT ITER 2761 NEW BEST:: SOT 13986543 SOS 7986625 HAS SOPS 7979902 HAS SOUS 960963 HAS SOUPS 957865 WITH SCORE 965851.625
AT ITER 2794 NEW BEST:: SOT 13986532 SOS 7984094 HAS SOPS 7977417 HAS SOUS 959066 HAS SOUPS 956014 WITH SCORE 963998.094
AT ITER 2807 NEW BEST:: SOT 13986532 SOS 7984100 HAS SOPS 7977417 HAS SOUS 959060 HAS SOUPS 956008 WITH SCORE 963992.1
AT ITER 2816 NEW BEST:: SOT 13988695 SOS 7986363 HAS SOPS 7979680 HAS SOUS 958326 HAS SOUPS 955274 WITH SCORE 963260.363
AT ITER 2842 NEW BEST:: SOT 13987486 SOS 7985154 HAS SOPS 7978471 HAS SOUS 957272 HAS SOUPS 954220 WITH SCORE 962205.154
AT ITER 2843 NEW BEST:: SOT 13987486 SOS 7985154 HAS SOPS 7978471 HAS SOUS 957221 HAS SOUPS 954169 WITH SCORE 962154.154
AT ITER 2844 NEW BEST:: SOT 13987486 SOS 8002290 HAS SOPS 7995607 HAS SOUS 957170 HAS SOUPS 954118 WITH SCORE 962120.29
AT ITER 2846 NEW BEST:: SOT 13987486 SOS 7999410 HAS SOPS 7992727 HAS SOUS 957170 HAS SOUPS 954118 WITH SCORE 962117.41
AT ITER 2848 NEW BEST:: SOT 13987486 SOS 7999410 HAS SOPS 7992727 HAS SOUS 957141 HAS SOUPS 954089 WITH SCORE 962088.41
AT ITER 2901 NEW BEST:: SOT 13986837 SOS 7998761 HAS SOPS 7992078 HAS SOUS 956301 HAS SOUPS 953249 WITH SCORE 961247.761
AT ITER 2911 NEW BEST:: SOT 13986117 SOS 7997651 HAS SOPS 7990968 HAS SOUS 955929 HAS SOUPS 952877 WITH SCORE 960874.651
AT ITER 2933 NEW BEST:: SOT 13986117 SOS 7997651 HAS SOPS 7990968 HAS SOUS 955895 HAS SOUPS 952843 WITH SCORE 960840.651
AT ITER 2950 NEW BEST:: SOT 13988047 SOS 8000283 HAS SOPS 7993600 HAS SOUS 951176 HAS SOUPS 948124 WITH SCORE 956124.283
AT ITER 2956 NEW BEST:: SOT 13988313 SOS 8023592 HAS SOPS 8015741 HAS SOUS 950466 HAS SOUPS 947135 WITH SCORE 955158.592
AT ITER 2960 NEW BEST:: SOT 13988313 SOS 8021255 HAS SOPS 8013404 HAS SOUS 950398 HAS SOUPS 947067 WITH SCORE 955088.255
AT ITER 2962 NEW BEST:: SOT 13988313 SOS 8021255 HAS SOPS 8013404 HAS SOUS 950397 HAS SOUPS 947066 WITH SCORE 955087.255
AT ITER 2981 NEW BEST:: SOT 13991586 SOS 8024525 HAS SOPS 8016674 HAS SOUS 948938 HAS SOUPS 945607 WITH SCORE 953631.525
AT ITER 3004 NEW BEST:: SOT 13991196 SOS 8024135 HAS SOPS 8016284 HAS SOUS 947940 HAS SOUPS 944609 WITH SCORE 952633.135
AT ITER 3009 NEW BEST:: SOT 13991196 SOS 8008164 HAS SOPS 8001127 HAS SOUS 946037 HAS SOUPS 942829 WITH SCORE 950837.164
AT ITER 3032 NEW BEST:: SOT 13991118 SOS 8071590 HAS SOPS 8064553 HAS SOUS 945950 HAS SOUPS 942742 WITH SCORE 950813.59
AT ITER 3040 NEW BEST:: SOT 13988217 SOS 8068689 HAS SOPS 8061652 HAS SOUS 945085 HAS SOUPS 941877 WITH SCORE 949945.689
AT ITER 3047 NEW BEST:: SOT 13988217 SOS 8065433 HAS SOPS 8058396 HAS SOUS 945085 HAS SOUPS 941877 WITH SCORE 949942.433
AT ITER 3069 NEW BEST:: SOT 13988588 SOS 8065937 HAS SOPS 8059276 HAS SOUS 940178 HAS SOUPS 937346 WITH SCORE 945411.937
AT ITER 3083 NEW BEST:: SOT 13988588 SOS 8065814 HAS SOPS 8059153 HAS SOUS 940055 HAS SOUPS 937223 WITH SCORE 945288.814
AT ITER 3095 NEW BEST:: SOT 13985832 SOS 8100838 HAS SOPS 8094307 HAS SOUS 938388 HAS SOUPS 935574 WITH SCORE 943674.838
AT ITER 3122 NEW BEST:: SOT 13982066 SOS 8097072 HAS SOPS 8090541 HAS SOUS 938116 HAS SOUPS 935302 WITH SCORE 943399.072
AT ITER 3129 NEW BEST:: SOT 13982066 SOS 8103645 HAS SOPS 8097114 HAS SOUS 938087 HAS SOUPS 935273 WITH SCORE 943376.645
AT ITER 3141 NEW BEST:: SOT 13982066 SOS 8104765 HAS SOPS 8098234 HAS SOUS 937835 HAS SOUPS 935021 WITH SCORE 943125.765
AT ITER 3144 NEW BEST:: SOT 13982066 SOS 8101287 HAS SOPS 8094756 HAS SOUS 937788 HAS SOUPS 934974 WITH SCORE 943075.287
AT ITER 3165 NEW BEST:: SOT 13982066 SOS 8101287 HAS SOPS 8094756 HAS SOUS 937733 HAS SOUPS 934919 WITH SCORE 943020.287
AT ITER 3176 NEW BEST:: SOT 13982066 SOS 8100657 HAS SOPS 8094126 HAS SOUS 937601 HAS SOUPS 934787 WITH SCORE 942887.657
AT ITER 3180 NEW BEST:: SOT 13982066 SOS 8099505 HAS SOPS 8092974 HAS SOUS 937601 HAS SOUPS 934787 WITH SCORE 942886.505
AT ITER 3195 NEW BEST:: SOT 13978478 SOS 8095917 HAS SOPS 8089386 HAS SOUS 930368 HAS SOUPS 927554 WITH SCORE 935649.917
AT ITER 3198 NEW BEST:: SOT 13979886 SOS 8097346 HAS SOPS 8090815 HAS SOUS 930327 HAS SOUPS 927513 WITH SCORE 935610.346
AT ITER 3209 NEW BEST:: SOT 13981775 SOS 8083246 HAS SOPS 8077213 HAS SOUS 925472 HAS SOUPS 922914 WITH SCORE 930997.246
AT ITER 3213 NEW BEST:: SOT 13980078 SOS 8080053 HAS SOPS 8074020 HAS SOUS 925449 HAS SOUPS 922891 WITH SCORE 930971.053
AT ITER 3220 NEW BEST:: SOT 13979977 SOS 8078804 HAS SOPS 8072771 HAS SOUS 925431 HAS SOUPS 922873 WITH SCORE 930951.804
AT ITER 3232 NEW BEST:: SOT 13979967 SOS 8078794 HAS SOPS 8072761 HAS SOUS 925237 HAS SOUPS 922679 WITH SCORE 930757.794
AT ITER 3235 NEW BEST:: SOT 13979967 SOS 8075986 HAS SOPS 8069953 HAS SOUS 925237 HAS SOUPS 922679 WITH SCORE 930754.986
AT ITER 3246 NEW BEST:: SOT 13988502 SOS 8084651 HAS SOPS 8078618 HAS SOUS 924632 HAS SOUPS 922074 WITH SCORE 930158.651
AT ITER 3254 NEW BEST:: SOT 13988317 SOS 8084466 HAS SOPS 8078433 HAS SOUS 924262 HAS SOUPS 921704 WITH SCORE 929788.466
AT ITER 3257 NEW BEST:: SOT 13988317 SOS 8083809 HAS SOPS 8077776 HAS SOUS 924215 HAS SOUPS 921657 WITH SCORE 929740.809
AT ITER 3327 NEW BEST:: SOT 13988317 SOS 8083645 HAS SOPS 8077612 HAS SOUS 924174 HAS SOUPS 921616 WITH SCORE 929699.645
AT ITER 3374 NEW BEST:: SOT 13988317 SOS 8084678 HAS SOPS 8078645 HAS SOUS 924142 HAS SOUPS 921584 WITH SCORE 929668.678
AT ITER 3381 NEW BEST:: SOT 13988317 SOS 8081342 HAS SOPS 8075309 HAS SOUS 923800 HAS SOUPS 921242 WITH SCORE 929323.342
AT ITER 3403 NEW BEST:: SOT 13992741 SOS 8094526 HAS SOPS 8088493 HAS SOUS 921297 HAS SOUPS 918739 WITH SCORE 926833.526
AT ITER 3423 NEW BEST:: SOT 13993088 SOS 8118520 HAS SOPS 8112487 HAS SOUS 918916 HAS SOUPS 916358 WITH SCORE 924476.52
AT ITER 3425 NEW BEST:: SOT 13993088 SOS 8118520 HAS SOPS 8112487 HAS SOUS 918912 HAS SOUPS 916354 WITH SCORE 924472.52
AT ITER 3458 NEW BEST:: SOT 13994393 SOS 8119778 HAS SOPS 8113745 HAS SOUS 913410 HAS SOUPS 910852 WITH SCORE 918971.778
AT ITER 3476 NEW BEST:: SOT 13994393 SOS 8119778 HAS SOPS 8113745 HAS SOUS 913344 HAS SOUPS 910786 WITH SCORE 918905.778
AT ITER 3493 NEW BEST:: SOT 13995272 SOS 8120657 HAS SOPS 8114624 HAS SOUS 913157 HAS SOUPS 910599 WITH SCORE 918719.657
AT ITER 3498 NEW BEST:: SOT 13995234 SOS 8120619 HAS SOPS 8114586 HAS SOUS 913119 HAS SOUPS 910561 WITH SCORE 918681.619
AT ITER 3504 NEW BEST:: SOT 13991975 SOS 8117274 HAS SOPS 8111241 HAS SOUS 912206 HAS SOUPS 909648 WITH SCORE 917765.274
AT ITER 3518 NEW BEST:: SOT 13991825 SOS 8117124 HAS SOPS 8111091 HAS SOUS 909977 HAS SOUPS 907419 WITH SCORE 915536.124
AT ITER 3532 NEW BEST:: SOT 13991825 SOS 8117124 HAS SOPS 8111091 HAS SOUS 909955 HAS SOUPS 907397 WITH SCORE 915514.124
AT ITER 3539 NEW BEST:: SOT 13991654 SOS 8122190 HAS SOPS 8116157 HAS SOUS 909789 HAS SOUPS 907231 WITH SCORE 915353.19
AT ITER 3568 NEW BEST:: SOT 13991654 SOS 8122129 HAS SOPS 8116096 HAS SOUS 909679 HAS SOUPS 907121 WITH SCORE 915243.129
AT ITER 3584 NEW BEST:: SOT 13991654 SOS 8106118 HAS SOPS 8100473 HAS SOUS 909252 HAS SOUPS 906813 WITH SCORE 914919.118
AT ITER 3600 NEW BEST:: SOT 13991654 SOS 8104564 HAS SOPS 8098919 HAS SOUS 909210 HAS SOUPS 906771 WITH SCORE 914875.564
AT ITER 3625 NEW BEST:: SOT 13991627 SOS 8104537 HAS SOPS 8098892 HAS SOUS 909163 HAS SOUPS 906724 WITH SCORE 914828.537
AT ITER 3640 NEW BEST:: SOT 13991627 SOS 8104646 HAS SOPS 8099001 HAS SOUS 909010 HAS SOUPS 906571 WITH SCORE 914675.646
AT ITER 3648 NEW BEST:: SOT 13990329 SOS 8103348 HAS SOPS 8097703 HAS SOUS 907712 HAS SOUPS 905273 WITH SCORE 913376.348
AT ITER 3660 NEW BEST:: SOT 14001242 SOS 8121809 HAS SOPS 8116167 HAS SOUS 907035 HAS SOUPS 904596 WITH SCORE 912717.809
AT ITER 3663 NEW BEST:: SOT 14001242 SOS 8121737 HAS SOPS 8116095 HAS SOUS 907035 HAS SOUPS 904596 WITH SCORE 912717.737
AT ITER 3676 NEW BEST:: SOT 14001242 SOS 8118857 HAS SOPS 8113215 HAS SOUS 907037 HAS SOUPS 904598 WITH SCORE 912716.857
AT ITER 3680 NEW BEST:: SOT 14001242 SOS 8118857 HAS SOPS 8113215 HAS SOUS 906999 HAS SOUPS 904560 WITH SCORE 912678.857
AT ITER 3687 NEW BEST:: SOT 13999570 SOS 8117185 HAS SOPS 8111543 HAS SOUS 903621 HAS SOUPS 901182 WITH SCORE 909299.185
AT ITER 3717 NEW BEST:: SOT 14002729 SOS 8097220 HAS SOPS 8092234 HAS SOUS 901304 HAS SOUPS 899218 WITH SCORE 907315.22
AT ITER 3718 NEW BEST:: SOT 14002729 SOS 8097220 HAS SOPS 8092234 HAS SOUS 901270 HAS SOUPS 899184 WITH SCORE 907281.22
AT ITER 3729 NEW BEST:: SOT 14002761 SOS 8096874 HAS SOPS 8091920 HAS SOUS 900346 HAS SOUPS 898288 WITH SCORE 906384.874
AT ITER 3736 NEW BEST:: SOT 13999305 SOS 8093418 HAS SOPS 8088464 HAS SOUS 897753 HAS SOUPS 895695 WITH SCORE 903788.418
AT ITER 3765 NEW BEST:: SOT 13999263 SOS 8093376 HAS SOPS 8088422 HAS SOUS 897669 HAS SOUPS 895611 WITH SCORE 903704.376
AT ITER 3778 NEW BEST:: SOT 13999229 SOS 8093342 HAS SOPS 8088388 HAS SOUS 897635 HAS SOUPS 895577 WITH SCORE 903670.342
AT ITER 3779 NEW BEST:: SOT 13999229 SOS 8090948 HAS SOPS 8085994 HAS SOUS 897635 HAS SOUPS 895577 WITH SCORE 903667.948
AT ITER 3791 NEW BEST:: SOT 13999229 SOS 8090942 HAS SOPS 8085988 HAS SOUS 897577 HAS SOUPS 895519 WITH SCORE 903609.942
AT ITER 3796 NEW BEST:: SOT 13999229 SOS 8088062 HAS SOPS 8083108 HAS SOUS 897577 HAS SOUPS 895519 WITH SCORE 903607.062
AT ITER 3820 NEW BEST:: SOT 13999229 SOS 8085326 HAS SOPS 8080372 HAS SOUS 897577 HAS SOUPS 895519 WITH SCORE 903604.326
AT ITER 3829 NEW BEST:: SOT 13999496 SOS 8085593 HAS SOPS 8080639 HAS SOUS 896916 HAS SOUPS 894858 WITH SCORE 902943.593
AT ITER 3831 NEW BEST:: SOT 13999496 SOS 8085461 HAS SOPS 8080507 HAS SOUS 896883 HAS SOUPS 894825 WITH SCORE 902910.461
AT ITER 3869 NEW BEST:: SOT 14001003 SOS 8086968 HAS SOPS 8082014 HAS SOUS 896254 HAS SOUPS 894196 WITH SCORE 902282.968
AT ITER 3883 NEW BEST:: SOT 13999717 SOS 8085682 HAS SOPS 8080728 HAS SOUS 893308 HAS SOUPS 891250 WITH SCORE 899335.682
AT ITER 3887 NEW BEST:: SOT 13999717 SOS 8085682 HAS SOPS 8080728 HAS SOUS 893271 HAS SOUPS 891213 WITH SCORE 899298.682
AT ITER 3904 NEW BEST:: SOT 13999140 SOS 8085105 HAS SOPS 8080151 HAS SOUS 893071 HAS SOUPS 891013 WITH SCORE 899098.105
AT ITER 3910 NEW BEST:: SOT 13999580 SOS 8085545 HAS SOPS 8080591 HAS SOUS 892629 HAS SOUPS 890571 WITH SCORE 898656.545
AT ITER 3924 NEW BEST:: SOT 13999588 SOS 8085435 HAS SOPS 8080505 HAS SOUS 892527 HAS SOUPS 890493 WITH SCORE 898578.435
AT ITER 3935 NEW BEST:: SOT 13999588 SOS 8084643 HAS SOPS 8079713 HAS SOUS 892527 HAS SOUPS 890493 WITH SCORE 898577.643
AT ITER 3939 NEW BEST:: SOT 13999389 SOS 8084425 HAS SOPS 8079495 HAS SOUS 890757 HAS SOUPS 888723 WITH SCORE 896807.425
AT ITER 3946 NEW BEST:: SOT 13999389 SOS 8082697 HAS SOPS 8077767 HAS SOUS 890757 HAS SOUPS 888723 WITH SCORE 896805.697
AT ITER 3958 NEW BEST:: SOT 13999389 SOS 8083268 HAS SOPS 8078338 HAS SOUS 890493 HAS SOUPS 888459 WITH SCORE 896542.268
AT ITER 3981 NEW BEST:: SOT 13999457 SOS 8083336 HAS SOPS 8078406 HAS SOUS 889789 HAS SOUPS 887755 WITH SCORE 895838.336
AT ITER 3986 NEW BEST:: SOT 13999457 SOS 8086000 HAS SOPS 8081070 HAS SOUS 889735 HAS SOUPS 887701 WITH SCORE 895787.0
AT ITER 3995 NEW BEST:: SOT 13992954 SOS 8063516 HAS SOPS 8058586 HAS SOUS 887542 HAS SOUPS 885508 WITH SCORE 893571.516
AT ITER 4032 NEW BEST:: SOT 13993353 SOS 8063915 HAS SOPS 8059060 HAS SOUS 884103 HAS SOUPS 882069 WITH SCORE 890132.915
AT ITER 4041 NEW BEST:: SOT 13992952 SOS 8063514 HAS SOPS 8058659 HAS SOUS 883484 HAS SOUPS 881450 WITH SCORE 889513.514
AT ITER 4048 NEW BEST:: SOT 13998569 SOS 8069131 HAS SOPS 8064276 HAS SOUS 883244 HAS SOUPS 881210 WITH SCORE 889279.131
AT ITER 4049 NEW BEST:: SOT 13998523 SOS 8069085 HAS SOPS 8064230 HAS SOUS 883200 HAS SOUPS 881166 WITH SCORE 889235.085
AT ITER 4054 NEW BEST:: SOT 13998523 SOS 8068935 HAS SOPS 8064080 HAS SOUS 883034 HAS SOUPS 881000 WITH SCORE 889068.935
AT ITER 4059 NEW BEST:: SOT 14002147 SOS 8088540 HAS SOPS 8083685 HAS SOUS 880617 HAS SOUPS 878583 WITH SCORE 886671.54
AT ITER 4070 NEW BEST:: SOT 14002368 SOS 8108925 HAS SOPS 8104070 HAS SOUS 880202 HAS SOUPS 878168 WITH SCORE 886276.925
AT ITER 4072 NEW BEST:: SOT 14002368 SOS 8107827 HAS SOPS 8102972 HAS SOUS 880184 HAS SOUPS 878150 WITH SCORE 886257.827
AT ITER 4127 NEW BEST:: SOT 14001860 SOS 8106803 HAS SOPS 8101956 HAS SOUS 879850 HAS SOUPS 877820 WITH SCORE 885926.803
AT ITER 4164 NEW BEST:: SOT 14001734 SOS 8106677 HAS SOPS 8101830 HAS SOUS 879714 HAS SOUPS 877684 WITH SCORE 885790.677
AT ITER 4172 NEW BEST:: SOT 14001802 SOS 8109185 HAS SOPS 8104338 HAS SOUS 879652 HAS SOUPS 877622 WITH SCORE 885731.185
AT ITER 4174 NEW BEST:: SOT 14001802 SOS 8106305 HAS SOPS 8101458 HAS SOUS 879652 HAS SOUPS 877622 WITH SCORE 885728.305
AT ITER 4185 NEW BEST:: SOT 14001802 SOS 8106025 HAS SOPS 8101178 HAS SOUS 879493 HAS SOUPS 877463 WITH SCORE 885569.025
AT ITER 4200 NEW BEST:: SOT 14001774 SOS 8105997 HAS SOPS 8101150 HAS SOUS 879465 HAS SOUPS 877435 WITH SCORE 885540.997
AT ITER 4209 NEW BEST:: SOT 14001587 SOS 8105810 HAS SOPS 8100963 HAS SOUS 877737 HAS SOUPS 875707 WITH SCORE 883812.81
AT ITER 4214 NEW BEST:: SOT 14001587 SOS 8099258 HAS SOPS 8094411 HAS SOUS 877737 HAS SOUPS 875707 WITH SCORE 883806.258
AT ITER 4258 NEW BEST:: SOT 13998113 SOS 8081515 HAS SOPS 8077090 HAS SOUS 876916 HAS SOUPS 875070 WITH SCORE 883151.515
AT ITER 4271 NEW BEST:: SOT 13998113 SOS 8083243 HAS SOPS 8078818 HAS SOUS 876914 HAS SOUPS 875068 WITH SCORE 883151.243
AT ITER 4278 NEW BEST:: SOT 13996585 SOS 8081715 HAS SOPS 8077290 HAS SOUS 875262 HAS SOUPS 873416 WITH SCORE 881497.715
AT ITER 4289 NEW BEST:: SOT 13996706 SOS 8083070 HAS SOPS 8078645 HAS SOUS 874291 HAS SOUPS 872445 WITH SCORE 880528.07
AT ITER 4291 NEW BEST:: SOT 13997603 SOS 8083940 HAS SOPS 8079515 HAS SOUS 872892 HAS SOUPS 871046 WITH SCORE 879129.94
AT ITER 4309 NEW BEST:: SOT 13997603 SOS 8082577 HAS SOPS 8078152 HAS SOUS 872877 HAS SOUPS 871031 WITH SCORE 879113.577
AT ITER 4316 NEW BEST:: SOT 13997567 SOS 8082541 HAS SOPS 8078116 HAS SOUS 872848 HAS SOUPS 871002 WITH SCORE 879084.541
AT ITER 4345 NEW BEST:: SOT 13997567 SOS 8082541 HAS SOPS 8078116 HAS SOUS 872747 HAS SOUPS 870901 WITH SCORE 878983.541
AT ITER 4378 NEW BEST:: SOT 13997567 SOS 8081089 HAS SOPS 8076664 HAS SOUS 872608 HAS SOUPS 870762 WITH SCORE 878843.089
AT ITER 4390 NEW BEST:: SOT 13997032 SOS 8080554 HAS SOPS 8076129 HAS SOUS 871506 HAS SOUPS 869660 WITH SCORE 877740.554
AT ITER 4398 NEW BEST:: SOT 13998104 SOS 8081718 HAS SOPS 8077293 HAS SOUS 869875 HAS SOUPS 868029 WITH SCORE 876110.718
AT ITER 4402 NEW BEST:: SOT 13998100 SOS 8081714 HAS SOPS 8077289 HAS SOUS 869871 HAS SOUPS 868025 WITH SCORE 876106.714
AT ITER 4415 NEW BEST:: SOT 13996480 SOS 8080094 HAS SOPS 8075669 HAS SOUS 867496 HAS SOUPS 865650 WITH SCORE 873730.094
AT ITER 4420 NEW BEST:: SOT 13996480 SOS 8078222 HAS SOPS 8073797 HAS SOUS 867496 HAS SOUPS 865650 WITH SCORE 873728.222
AT ITER 4433 NEW BEST:: SOT 13996691 SOS 8078469 HAS SOPS 8074044 HAS SOUS 867335 HAS SOUPS 865489 WITH SCORE 873567.469
AT ITER 4444 NEW BEST:: SOT 13996334 SOS 8078112 HAS SOPS 8073687 HAS SOUS 866439 HAS SOUPS 864593 WITH SCORE 872671.112
AT ITER 4449 NEW BEST:: SOT 13996334 SOS 8077782 HAS SOPS 8073357 HAS SOUS 866439 HAS SOUPS 864593 WITH SCORE 872670.782
AT ITER 4479 NEW BEST:: SOT 13996334 SOS 8077770 HAS SOPS 8073345 HAS SOUS 866439 HAS SOUPS 864593 WITH SCORE 872670.77
AT ITER 4484 NEW BEST:: SOT 13994327 SOS 8075763 HAS SOPS 8071338 HAS SOUS 865022 HAS SOUPS 863176 WITH SCORE 871251.763
AT ITER 4516 NEW BEST:: SOT 13991753 SOS 8073189 HAS SOPS 8068764 HAS SOUS 862656 HAS SOUPS 860810 WITH SCORE 868883.189
AT ITER 4526 NEW BEST:: SOT 13991088 SOS 8072524 HAS SOPS 8068099 HAS SOUS 859622 HAS SOUPS 857776 WITH SCORE 865848.524
AT ITER 4528 NEW BEST:: SOT 13991088 SOS 8071372 HAS SOPS 8066947 HAS SOUS 859622 HAS SOUPS 857776 WITH SCORE 865847.372
AT ITER 4552 NEW BEST:: SOT 13991088 SOS 8071264 HAS SOPS 8066839 HAS SOUS 859568 HAS SOUPS 857722 WITH SCORE 865793.264
AT ITER 4568 NEW BEST:: SOT 13991088 SOS 8070976 HAS SOPS 8066551 HAS SOUS 859568 HAS SOUPS 857722 WITH SCORE 865792.976
AT ITER 4569 NEW BEST:: SOT 13988328 SOS 8068216 HAS SOPS 8063791 HAS SOUS 857369 HAS SOUPS 855523 WITH SCORE 863591.216
AT ITER 4583 NEW BEST:: SOT 13986680 SOS 8066568 HAS SOPS 8062143 HAS SOUS 856145 HAS SOUPS 854299 WITH SCORE 862365.568
AT ITER 4610 NEW BEST:: SOT 13984794 SOS 8064682 HAS SOPS 8060257 HAS SOUS 855470 HAS SOUPS 853624 WITH SCORE 861688.682
AT ITER 4641 NEW BEST:: SOT 13984794 SOS 8061357 HAS SOPS 8056932 HAS SOUS 855270 HAS SOUPS 853424 WITH SCORE 861485.357
AT ITER 4672 NEW BEST:: SOT 13984794 SOS 8061030 HAS SOPS 8056605 HAS SOUS 855211 HAS SOUPS 853365 WITH SCORE 861426.03
AT ITER 4675 NEW BEST:: SOT 13978232 SOS 8054468 HAS SOPS 8050043 HAS SOUS 850919 HAS SOUPS 849073 WITH SCORE 857127.468
AT ITER 4681 NEW BEST:: SOT 13976563 SOS 8052076 HAS SOPS 8047682 HAS SOUS 848072 HAS SOUPS 846252 WITH SCORE 854304.076
AT ITER 4682 NEW BEST:: SOT 13971381 SOS 8046830 HAS SOPS 8042436 HAS SOUS 844322 HAS SOUPS 842502 WITH SCORE 850548.83
AT ITER 4708 NEW BEST:: SOT 13971381 SOS 8045678 HAS SOPS 8041284 HAS SOUS 844322 HAS SOUPS 842502 WITH SCORE 850547.678
AT ITER 4713 NEW BEST:: SOT 13971381 SOS 8044676 HAS SOPS 8040282 HAS SOUS 844303 HAS SOUPS 842483 WITH SCORE 850527.676
AT ITER 4722 NEW BEST:: SOT 13971381 SOS 8044676 HAS SOPS 8040282 HAS SOUS 844296 HAS SOUPS 842476 WITH SCORE 850520.676
AT ITER 4723 NEW BEST:: SOT 13971050 SOS 8044345 HAS SOPS 8039951 HAS SOUS 843678 HAS SOUPS 841858 WITH SCORE 849902.345
AT ITER 4728 NEW BEST:: SOT 13971027 SOS 8056677 HAS SOPS 8052283 HAS SOUS 843576 HAS SOUPS 841756 WITH SCORE 849812.677
AT ITER 4771 NEW BEST:: SOT 13973687 SOS 8059847 HAS SOPS 8055453 HAS SOUS 842930 HAS SOUPS 841110 WITH SCORE 849169.847
AT ITER 4811 NEW BEST:: SOT 13973713 SOS 8061540 HAS SOPS 8057120 HAS SOUS 841884 HAS SOUPS 840038 WITH SCORE 848099.54
AT ITER 4816 NEW BEST:: SOT 13973713 SOS 8061540 HAS SOPS 8057120 HAS SOUS 841882 HAS SOUPS 840036 WITH SCORE 848097.54
AT ITER 4819 NEW BEST:: SOT 13973713 SOS 8055348 HAS SOPS 8050928 HAS SOUS 841882 HAS SOUPS 840036 WITH SCORE 848091.348
AT ITER 4833 NEW BEST:: SOT 13973637 SOS 8055272 HAS SOPS 8050852 HAS SOUS 841806 HAS SOUPS 839960 WITH SCORE 848015.272
AT ITER 4836 NEW BEST:: SOT 13973637 SOS 8055270 HAS SOPS 8050850 HAS SOUS 841738 HAS SOUPS 839892 WITH SCORE 847947.27
AT ITER 4860 NEW BEST:: SOT 13973637 SOS 8055270 HAS SOPS 8050850 HAS SOUS 841708 HAS SOUPS 839862 WITH SCORE 847917.27
AT ITER 4888 NEW BEST:: SOT 13970291 SOS 8051924 HAS SOPS 8047504 HAS SOUS 839700 HAS SOUPS 837854 WITH SCORE 845905.924
AT ITER 4905 NEW BEST:: SOT 13971277 SOS 8059462 HAS SOPS 8055042 HAS SOUS 839622 HAS SOUPS 837776 WITH SCORE 845835.462
AT ITER 4915 NEW BEST:: SOT 13971277 SOS 8059414 HAS SOPS 8054994 HAS SOUS 839539 HAS SOUPS 837693 WITH SCORE 845752.414
AT ITER 4947 NEW BEST:: SOT 13970628 SOS 8066681 HAS SOPS 8062261 HAS SOUS 839372 HAS SOUPS 837526 WITH SCORE 845592.681
AT ITER 4951 NEW BEST:: SOT 13970628 SOS 8066681 HAS SOPS 8062261 HAS SOUS 839322 HAS SOUPS 837476 WITH SCORE 845542.681
AT ITER 4954 NEW BEST:: SOT 13966836 SOS 8062966 HAS SOPS 8058546 HAS SOUS 838518 HAS SOUPS 836672 WITH SCORE 844734.966
AT ITER 4965 NEW BEST:: SOT 13965414 SOS 8061544 HAS SOPS 8057124 HAS SOUS 837361 HAS SOUPS 835515 WITH SCORE 843576.544
AT ITER 4968 NEW BEST:: SOT 13961417 SOS 8057547 HAS SOPS 8053086 HAS SOUS 836357 HAS SOUPS 834511 WITH SCORE 842568.547
AT ITER 4974 NEW BEST:: SOT 13960072 SOS 8059220 HAS SOPS 8054759 HAS SOUS 835566 HAS SOUPS 833720 WITH SCORE 841779.22
AT ITER 4984 NEW BEST:: SOT 13960158 SOS 8059431 HAS SOPS 8054973 HAS SOUS 835145 HAS SOUPS 833302 WITH SCORE 841361.431
AT ITER 4996 NEW BEST:: SOT 13960158 SOS 8073856 HAS SOPS 8069398 HAS SOUS 834480 HAS SOUPS 832637 WITH SCORE 840710.856
AT ITER 5021 NEW BEST:: SOT 13960272 SOS 8074177 HAS SOPS 8069719 HAS SOUS 834387 HAS SOUPS 832544 WITH SCORE 840618.177
AT ITER 5030 NEW BEST:: SOT 13959970 SOS 8073875 HAS SOPS 8069417 HAS SOUS 833768 HAS SOUPS 831925 WITH SCORE 839998.875
AT ITER 5074 NEW BEST:: SOT 13960123 SOS 8073958 HAS SOPS 8069510 HAS SOUS 833558 HAS SOUPS 831725 WITH SCORE 839798.958
AT ITER 5082 NEW BEST:: SOT 13956813 SOS 8070648 HAS SOPS 8066200 HAS SOUS 831265 HAS SOUPS 829432 WITH SCORE 837502.648
AT ITER 5099 NEW BEST:: SOT 13957380 SOS 8071215 HAS SOPS 8066767 HAS SOUS 826496 HAS SOUPS 824663 WITH SCORE 832734.215
AT ITER 5122 NEW BEST:: SOT 13956642 SOS 8070477 HAS SOPS 8066029 HAS SOUS 826196 HAS SOUPS 824363 WITH SCORE 832433.477
AT ITER 5150 NEW BEST:: SOT 13956534 SOS 8070369 HAS SOPS 8065921 HAS SOUS 825978 HAS SOUPS 824145 WITH SCORE 832215.369
AT ITER 5165 NEW BEST:: SOT 13956492 SOS 8070327 HAS SOPS 8065879 HAS SOUS 825944 HAS SOUPS 824111 WITH SCORE 832181.327
AT ITER 5198 NEW BEST:: SOT 13956492 SOS 8070151 HAS SOPS 8065703 HAS SOUS 825825 HAS SOUPS 823992 WITH SCORE 832062.151
AT ITER 5205 NEW BEST:: SOT 13954860 SOS 8068519 HAS SOPS 8064071 HAS SOUS 824585 HAS SOUPS 822752 WITH SCORE 830820.519
AT ITER 5209 NEW BEST:: SOT 13954860 SOS 8068463 HAS SOPS 8064015 HAS SOUS 824585 HAS SOUPS 822752 WITH SCORE 830820.463
AT ITER 5220 NEW BEST:: SOT 13955021 SOS 8068624 HAS SOPS 8064176 HAS SOUS 824575 HAS SOUPS 822742 WITH SCORE 830810.624
AT ITER 5223 NEW BEST:: SOT 13955021 SOS 8068499 HAS SOPS 8064051 HAS SOUS 824575 HAS SOUPS 822742 WITH SCORE 830810.499
AT ITER 5229 NEW BEST:: SOT 13955021 SOS 8068476 HAS SOPS 8064028 HAS SOUS 824552 HAS SOUPS 822719 WITH SCORE 830787.476
AT ITER 5250 NEW BEST:: SOT 13955197 SOS 8068626 HAS SOPS 8064178 HAS SOUS 824480 HAS SOUPS 822647 WITH SCORE 830715.626
AT ITER 5266 NEW BEST:: SOT 13955197 SOS 8068626 HAS SOPS 8064178 HAS SOUS 824451 HAS SOUPS 822618 WITH SCORE 830686.626
AT ITER 5288 NEW BEST:: SOT 13955197 SOS 8068499 HAS SOPS 8064051 HAS SOUS 824324 HAS SOUPS 822491 WITH SCORE 830559.499
AT ITER 5325 NEW BEST:: SOT 13953934 SOS 8067236 HAS SOPS 8062788 HAS SOUS 823061 HAS SOUPS 821228 WITH SCORE 829295.236
AT ITER 5372 NEW BEST:: SOT 13955235 SOS 8068537 HAS SOPS 8064089 HAS SOUS 821676 HAS SOUPS 819843 WITH SCORE 827911.537
AT ITER 5399 NEW BEST:: SOT 13955235 SOS 8067385 HAS SOPS 8062937 HAS SOUS 821676 HAS SOUPS 819843 WITH SCORE 827910.385
AT ITER 5412 NEW BEST:: SOT 13955235 SOS 8067313 HAS SOPS 8062865 HAS SOUS 821676 HAS SOUPS 819843 WITH SCORE 827910.313
AT ITER 5417 NEW BEST:: SOT 13955207 SOS 8067285 HAS SOPS 8062837 HAS SOUS 821606 HAS SOUPS 819773 WITH SCORE 827840.285
AT ITER 5418 NEW BEST:: SOT 13955207 SOS 8067161 HAS SOPS 8062713 HAS SOUS 821575 HAS SOUPS 819742 WITH SCORE 827809.161
AT ITER 5437 NEW BEST:: SOT 13955207 SOS 8067137 HAS SOPS 8062689 HAS SOUS 821551 HAS SOUPS 819718 WITH SCORE 827785.137
AT ITER 5445 NEW BEST:: SOT 13955177 SOS 8067107 HAS SOPS 8062659 HAS SOUS 821551 HAS SOUPS 819718 WITH SCORE 827785.107
AT ITER 5474 NEW BEST:: SOT 13955620 SOS 8067550 HAS SOPS 8063102 HAS SOUS 821151 HAS SOUPS 819318 WITH SCORE 827385.55
AT ITER 5506 NEW BEST:: SOT 13955637 SOS 8073963 HAS SOPS 8069515 HAS SOUS 821103 HAS SOUPS 819270 WITH SCORE 827343.963
AT ITER 5507 NEW BEST:: SOT 13955637 SOS 8073819 HAS SOPS 8069371 HAS SOUS 821103 HAS SOUPS 819270 WITH SCORE 827343.819
AT ITER 5565 NEW BEST:: SOT 13955637 SOS 8070219 HAS SOPS 8065771 HAS SOUS 821053 HAS SOUPS 819220 WITH SCORE 827290.219
AT ITER 5579 NEW BEST:: SOT 13955346 SOS 8069913 HAS SOPS 8065462 HAS SOUS 820975 HAS SOUPS 819142 WITH SCORE 827211.913
AT ITER 5592 NEW BEST:: SOT 13955349 SOS 8069916 HAS SOPS 8065465 HAS SOUS 820834 HAS SOUPS 819001 WITH SCORE 827070.916
AT ITER 5639 NEW BEST:: SOT 13955346 SOS 8069913 HAS SOPS 8065462 HAS SOUS 820828 HAS SOUPS 818995 WITH SCORE 827064.913
AT ITER 5659 NEW BEST:: SOT 13955198 SOS 8069800 HAS SOPS 8065349 HAS SOUS 820622 HAS SOUPS 818789 WITH SCORE 826858.8
AT ITER 5663 NEW BEST:: SOT 13955198 SOS 8066920 HAS SOPS 8062469 HAS SOUS 820622 HAS SOUPS 818789 WITH SCORE 826855.92
AT ITER 5668 NEW BEST:: SOT 13955188 SOS 8066910 HAS SOPS 8062459 HAS SOUS 820617 HAS SOUPS 818784 WITH SCORE 826850.91
AT ITER 5689 NEW BEST:: SOT 13955409 SOS 8067131 HAS SOPS 8062680 HAS SOUS 820519 HAS SOUPS 818686 WITH SCORE 826753.131
AT ITER 5717 NEW BEST:: SOT 13955409 SOS 8067627 HAS SOPS 8063172 HAS SOUS 820367 HAS SOUPS 818530 WITH SCORE 826597.627
AT ITER 5729 NEW BEST:: SOT 13955409 SOS 8066691 HAS SOPS 8062236 HAS SOUS 820367 HAS SOUPS 818530 WITH SCORE 826596.691
AT ITER 5730 NEW BEST:: SOT 13955405 SOS 8066687 HAS SOPS 8062232 HAS SOUS 820361 HAS SOUPS 818524 WITH SCORE 826590.687
AT ITER 5744 NEW BEST:: SOT 13953941 SOS 8065673 HAS SOPS 8061218 HAS SOUS 819007 HAS SOUPS 817170 WITH SCORE 825235.673
AT ITER 5762 NEW BEST:: SOT 13953895 SOS 8065627 HAS SOPS 8061172 HAS SOUS 818949 HAS SOUPS 817112 WITH SCORE 825177.627
AT ITER 5773 NEW BEST:: SOT 13952977 SOS 8064709 HAS SOPS 8060254 HAS SOUS 818535 HAS SOUPS 816698 WITH SCORE 824762.709
AT ITER 5854 NEW BEST:: SOT 13956321 SOS 8044667 HAS SOPS 8040878 HAS SOUS 815001 HAS SOUPS 813528 WITH SCORE 821572.667
AT ITER 5865 NEW BEST:: SOT 13956321 SOS 8044352 HAS SOPS 8040563 HAS SOUS 814866 HAS SOUPS 813393 WITH SCORE 821437.352
AT ITER 5882 NEW BEST:: SOT 13956398 SOS 8044429 HAS SOPS 8040640 HAS SOUS 814622 HAS SOUPS 813149 WITH SCORE 821193.429
AT ITER 5893 NEW BEST:: SOT 13956684 SOS 8044726 HAS SOPS 8040937 HAS SOUS 814072 HAS SOUPS 812599 WITH SCORE 820643.726
AT ITER 5898 NEW BEST:: SOT 13956684 SOS 8044726 HAS SOPS 8040937 HAS SOUS 814031 HAS SOUPS 812558 WITH SCORE 820602.726
AT ITER 5905 NEW BEST:: SOT 13956684 SOS 8041349 HAS SOPS 8037560 HAS SOUS 813996 HAS SOUPS 812523 WITH SCORE 820564.349
AT ITER 5912 NEW BEST:: SOT 13956684 SOS 8042501 HAS SOPS 8038712 HAS SOUS 813946 HAS SOUPS 812473 WITH SCORE 820515.501
AT ITER 5913 NEW BEST:: SOT 13957537 SOS 8043418 HAS SOPS 8039629 HAS SOUS 813581 HAS SOUPS 812108 WITH SCORE 820151.418
AT ITER 5918 NEW BEST:: SOT 13956946 SOS 8042827 HAS SOPS 8039038 HAS SOUS 812373 HAS SOUPS 810900 WITH SCORE 818942.827
AT ITER 5968 NEW BEST:: SOT 13953144 SOS 8039025 HAS SOPS 8035236 HAS SOUS 809641 HAS SOUPS 808168 WITH SCORE 816207.025
AT ITER 5978 NEW BEST:: SOT 13960130 SOS 8046011 HAS SOPS 8042222 HAS SOUS 809236 HAS SOUPS 807763 WITH SCORE 815809.011
AT ITER 5980 NEW BEST:: SOT 13960122 SOS 8046003 HAS SOPS 8042214 HAS SOUS 809228 HAS SOUPS 807755 WITH SCORE 815801.003
AT ITER 5982 NEW BEST:: SOT 13960007 SOS 8045888 HAS SOPS 8042099 HAS SOUS 808468 HAS SOUPS 806995 WITH SCORE 815040.888
AT ITER 5988 NEW BEST:: SOT 13960670 SOS 8046540 HAS SOPS 8042773 HAS SOUS 807164 HAS SOUPS 805713 WITH SCORE 813759.54
AT ITER 6011 NEW BEST:: SOT 13960670 SOS 8044452 HAS SOPS 8040685 HAS SOUS 807164 HAS SOUPS 805713 WITH SCORE 813757.452
AT ITER 6040 NEW BEST:: SOT 13960670 SOS 8043318 HAS SOPS 8039551 HAS SOUS 807162 HAS SOUPS 805711 WITH SCORE 813754.318
AT ITER 6055 NEW BEST:: SOT 13960670 SOS 8040472 HAS SOPS 8036705 HAS SOUS 807162 HAS SOUPS 805711 WITH SCORE 813751.472
AT ITER 6071 NEW BEST:: SOT 13960670 SOS 8040400 HAS SOPS 8036633 HAS SOUS 807162 HAS SOUPS 805711 WITH SCORE 813751.4
AT ITER 6078 NEW BEST:: SOT 13960670 SOS 8063538 HAS SOPS 8058438 HAS SOUS 805519 HAS SOUPS 803697 WITH SCORE 811760.538
AT ITER 6106 NEW BEST:: SOT 13960669 SOS 8063537 HAS SOPS 8058437 HAS SOUS 805519 HAS SOUPS 803697 WITH SCORE 811760.537
AT ITER 6197 NEW BEST:: SOT 13961720 SOS 8053212 HAS SOPS 8048632 HAS SOUS 801612 HAS SOUPS 799981 WITH SCORE 808034.212
AT ITER 6208 NEW BEST:: SOT 13961720 SOS 8053168 HAS SOPS 8048588 HAS SOUS 801438 HAS SOUPS 799807 WITH SCORE 807860.168
AT ITER 6210 NEW BEST:: SOT 13961719 SOS 8053169 HAS SOPS 8048589 HAS SOUS 801437 HAS SOUPS 799806 WITH SCORE 807859.169
AT ITER 6219 NEW BEST:: SOT 13961719 SOS 8051441 HAS SOPS 8046861 HAS SOUS 801375 HAS SOUPS 799744 WITH SCORE 807795.441
AT ITER 6237 NEW BEST:: SOT 13961683 SOS 8051405 HAS SOPS 8046825 HAS SOUS 801339 HAS SOUPS 799708 WITH SCORE 807759.405
AT ITER 6260 NEW BEST:: SOT 13961687 SOS 8051409 HAS SOPS 8046829 HAS SOUS 801305 HAS SOUPS 799674 WITH SCORE 807725.409
AT ITER 6268 NEW BEST:: SOT 13962125 SOS 8058399 HAS SOPS 8053819 HAS SOUS 800569 HAS SOUPS 798938 WITH SCORE 806996.399
AT ITER 6281 NEW BEST:: SOT 13962125 SOS 8058399 HAS SOPS 8053819 HAS SOUS 800566 HAS SOUPS 798935 WITH SCORE 806993.399
AT ITER 6316 NEW BEST:: SOT 13962112 SOS 8058386 HAS SOPS 8053806 HAS SOUS 800553 HAS SOUPS 798922 WITH SCORE 806980.386
AT ITER 6340 NEW BEST:: SOT 13963588 SOS 8059853 HAS SOPS 8055274 HAS SOUS 800299 HAS SOUPS 798669 WITH SCORE 806728.853
AT ITER 6368 NEW BEST:: SOT 13963857 SOS 8060122 HAS SOPS 8055543 HAS SOUS 798363 HAS SOUPS 796733 WITH SCORE 804793.122
AT ITER 6374 NEW BEST:: SOT 13963857 SOS 8060256 HAS SOPS 8055677 HAS SOUS 798350 HAS SOUPS 796720 WITH SCORE 804780.256
AT ITER 6391 NEW BEST:: SOT 13963955 SOS 8065575 HAS SOPS 8060897 HAS SOUS 797171 HAS SOUPS 795481 WITH SCORE 803546.575
AT ITER 6393 NEW BEST:: SOT 13964152 SOS 8065554 HAS SOPS 8060876 HAS SOUS 796696 HAS SOUPS 795006 WITH SCORE 803071.554
AT ITER 6419 NEW BEST:: SOT 13962446 SOS 8063848 HAS SOPS 8059170 HAS SOUS 794816 HAS SOUPS 793126 WITH SCORE 801189.848
AT ITER 6433 NEW BEST:: SOT 13962446 SOS 8063848 HAS SOPS 8059170 HAS SOUS 794798 HAS SOUPS 793108 WITH SCORE 801171.848
AT ITER 6447 NEW BEST:: SOT 13962446 SOS 8064888 HAS SOPS 8060210 HAS SOUS 794769 HAS SOUPS 793079 WITH SCORE 801143.888
AT ITER 6461 NEW BEST:: SOT 13964928 SOS 8067370 HAS SOPS 8062692 HAS SOUS 793857 HAS SOUPS 792167 WITH SCORE 800234.37
AT ITER 6462 NEW BEST:: SOT 13965146 SOS 8067588 HAS SOPS 8062910 HAS SOUS 793765 HAS SOUPS 792075 WITH SCORE 800142.588
AT ITER 6472 NEW BEST:: SOT 13965010 SOS 8067452 HAS SOPS 8062774 HAS SOUS 793663 HAS SOUPS 791973 WITH SCORE 800040.452
AT ITER 6478 NEW BEST:: SOT 13966636 SOS 8069061 HAS SOPS 8064383 HAS SOUS 792787 HAS SOUPS 791097 WITH SCORE 799166.061
AT ITER 6491 NEW BEST:: SOT 13965612 SOS 8068037 HAS SOPS 8063359 HAS SOUS 790753 HAS SOUPS 789063 WITH SCORE 797131.037
AT ITER 6509 NEW BEST:: SOT 13965612 SOS 8066885 HAS SOPS 8062207 HAS SOUS 790753 HAS SOUPS 789063 WITH SCORE 797129.885
AT ITER 6515 NEW BEST:: SOT 13961513 SOS 8062786 HAS SOPS 8058108 HAS SOUS 787144 HAS SOUPS 785454 WITH SCORE 793516.786
AT ITER 6519 NEW BEST:: SOT 13961513 SOS 8062646 HAS SOPS 8057968 HAS SOUS 787142 HAS SOUPS 785452 WITH SCORE 793514.646
AT ITER 6541 NEW BEST:: SOT 13961513 SOS 8062372 HAS SOPS 8057694 HAS SOUS 787142 HAS SOUPS 785452 WITH SCORE 793514.372
AT ITER 6544 NEW BEST:: SOT 13959069 SOS 8059928 HAS SOPS 8055232 HAS SOUS 785900 HAS SOUPS 784210 WITH SCORE 792269.928
AT ITER 6560 NEW BEST:: SOT 13958276 SOS 8059135 HAS SOPS 8054439 HAS SOUS 783620 HAS SOUPS 781930 WITH SCORE 789989.135
AT ITER 6603 NEW BEST:: SOT 13958276 SOS 8059135 HAS SOPS 8054439 HAS SOUS 783580 HAS SOUPS 781890 WITH SCORE 789949.135
AT ITER 6620 NEW BEST:: SOT 13958276 SOS 8058055 HAS SOPS 8053359 HAS SOUS 783580 HAS SOUPS 781890 WITH SCORE 789948.055
AT ITER 6621 NEW BEST:: SOT 13958166 SOS 8057945 HAS SOPS 8053249 HAS SOUS 783314 HAS SOUPS 781624 WITH SCORE 789681.945
AT ITER 6640 NEW BEST:: SOT 13958125 SOS 8057703 HAS SOPS 8053034 HAS SOUS 783273 HAS SOUPS 781610 WITH SCORE 789667.703
AT ITER 6641 NEW BEST:: SOT 13958125 SOS 8057703 HAS SOPS 8053034 HAS SOUS 783261 HAS SOUPS 781598 WITH SCORE 789655.703
AT ITER 6659 NEW BEST:: SOT 13958115 SOS 8057703 HAS SOPS 8053034 HAS SOUS 783251 HAS SOUPS 781588 WITH SCORE 789645.703
AT ITER 6670 NEW BEST:: SOT 13957637 SOS 8057201 HAS SOPS 8052532 HAS SOUS 783181 HAS SOUPS 781518 WITH SCORE 789575.201
AT ITER 6677 NEW BEST:: SOT 13957637 SOS 8044176 HAS SOPS 8040022 HAS SOUS 782555 HAS SOUPS 780995 WITH SCORE 789039.176
AT ITER 6679 NEW BEST:: SOT 13957297 SOS 8044040 HAS SOPS 8039886 HAS SOUS 781842 HAS SOUPS 780282 WITH SCORE 788326.04
AT ITER 6681 NEW BEST:: SOT 13957265 SOS 8044008 HAS SOPS 8039854 HAS SOUS 781758 HAS SOUPS 780198 WITH SCORE 788242.008
AT ITER 6733 NEW BEST:: SOT 13957265 SOS 8043789 HAS SOPS 8039635 HAS SOUS 781747 HAS SOUPS 780187 WITH SCORE 788230.789
AT ITER 6742 NEW BEST:: SOT 13955316 SOS 8041620 HAS SOPS 8037422 HAS SOUS 780575 HAS SOUPS 779015 WITH SCORE 787056.62
AT ITER 6749 NEW BEST:: SOT 13956432 SOS 8042804 HAS SOPS 8038606 HAS SOUS 780159 HAS SOUPS 778599 WITH SCORE 786641.804
AT ITER 6765 NEW BEST:: SOT 13956432 SOS 8042804 HAS SOPS 8038606 HAS SOUS 780070 HAS SOUPS 778510 WITH SCORE 786552.804
AT ITER 6803 NEW BEST:: SOT 13956417 SOS 8042407 HAS SOPS 8038461 HAS SOUS 779744 HAS SOUPS 778247 WITH SCORE 786289.407
AT ITER 6808 NEW BEST:: SOT 13955618 SOS 8041608 HAS SOPS 8037662 HAS SOUS 776915 HAS SOUPS 775418 WITH SCORE 783459.608
AT ITER 6828 NEW BEST:: SOT 13955616 SOS 8041611 HAS SOPS 8037665 HAS SOUS 776913 HAS SOUPS 775416 WITH SCORE 783457.611
AT ITER 6859 NEW BEST:: SOT 13956855 SOS 8042850 HAS SOPS 8038904 HAS SOUS 776883 HAS SOUPS 775386 WITH SCORE 783428.85
AT ITER 6868 NEW BEST:: SOT 13956855 SOS 8042850 HAS SOPS 8038904 HAS SOUS 776780 HAS SOUPS 775283 WITH SCORE 783325.85
AT ITER 6871 NEW BEST:: SOT 13956855 SOS 8042850 HAS SOPS 8038904 HAS SOUS 776769 HAS SOUPS 775272 WITH SCORE 783314.85
AT ITER 6873 NEW BEST:: SOT 13954255 SOS 8040182 HAS SOPS 8036236 HAS SOUS 776753 HAS SOUPS 775256 WITH SCORE 783296.182
AT ITER 6894 NEW BEST:: SOT 13954255 SOS 8038972 HAS SOPS 8035026 HAS SOUS 776753 HAS SOUPS 775256 WITH SCORE 783294.972
AT ITER 6914 NEW BEST:: SOT 13954255 SOS 8038960 HAS SOPS 8035014 HAS SOUS 776720 HAS SOUPS 775223 WITH SCORE 783261.96
AT ITER 6915 NEW BEST:: SOT 13954255 SOS 8038960 HAS SOPS 8035014 HAS SOUS 776656 HAS SOUPS 775159 WITH SCORE 783197.96
AT ITER 6920 NEW BEST:: SOT 13953690 SOS 8038407 HAS SOPS 8034461 HAS SOUS 775511 HAS SOUPS 774014 WITH SCORE 782052.407
AT ITER 6927 NEW BEST:: SOT 13953396 SOS 8038113 HAS SOPS 8034167 HAS SOUS 774914 HAS SOUPS 773417 WITH SCORE 781455.113
AT ITER 6951 NEW BEST:: SOT 13953304 SOS 8038021 HAS SOPS 8034075 HAS SOUS 774768 HAS SOUPS 773271 WITH SCORE 781309.021
AT ITER 6971 NEW BEST:: SOT 13953291 SOS 8038008 HAS SOPS 8034062 HAS SOUS 774755 HAS SOUPS 773258 WITH SCORE 781296.008
AT ITER 6982 NEW BEST:: SOT 13957671 SOS 8046634 HAS SOPS 8042663 HAS SOUS 771303 HAS SOUPS 769781 WITH SCORE 777827.634
AT ITER 7015 NEW BEST:: SOT 13957002 SOS 8045844 HAS SOPS 8041892 HAS SOUS 769761 HAS SOUPS 768258 WITH SCORE 776303.844
AT ITER 7018 NEW BEST:: SOT 13956756 SOS 8045338 HAS SOPS 8041390 HAS SOUS 769599 HAS SOUPS 768098 WITH SCORE 776143.338
AT ITER 7027 NEW BEST:: SOT 13956756 SOS 8046822 HAS SOPS 8042874 HAS SOUS 769589 HAS SOUPS 768088 WITH SCORE 776134.822
AT ITER 7029 NEW BEST:: SOT 13956756 SOS 8046730 HAS SOPS 8042782 HAS SOUS 769552 HAS SOUPS 768051 WITH SCORE 776097.73
AT ITER 7032 NEW BEST:: SOT 13956756 SOS 8045578 HAS SOPS 8041630 HAS SOUS 769552 HAS SOUPS 768051 WITH SCORE 776096.578
AT ITER 7039 NEW BEST:: SOT 13956756 SOS 8043850 HAS SOPS 8039902 HAS SOUS 769552 HAS SOUPS 768051 WITH SCORE 776094.85
AT ITER 7065 NEW BEST:: SOT 13953231 SOS 8040343 HAS SOPS 8036395 HAS SOUS 763589 HAS SOUPS 762088 WITH SCORE 770128.343
AT ITER 7072 NEW BEST:: SOT 13953231 SOS 8037339 HAS SOPS 8033391 HAS SOUS 763490 HAS SOUPS 761989 WITH SCORE 770026.339
AT ITER 7091 NEW BEST:: SOT 13953228 SOS 8037336 HAS SOPS 8033388 HAS SOUS 763487 HAS SOUPS 761986 WITH SCORE 770023.336
AT ITER 7109 NEW BEST:: SOT 13954307 SOS 8038380 HAS SOPS 8034432 HAS SOUS 763132 HAS SOUPS 761631 WITH SCORE 769669.38
AT ITER 7152 NEW BEST:: SOT 13954307 SOS 8035282 HAS SOPS 8031334 HAS SOUS 762875 HAS SOUPS 761374 WITH SCORE 769409.282
AT ITER 7168 NEW BEST:: SOT 13954307 SOS 8027578 HAS SOPS 8023630 HAS SOUS 762875 HAS SOUPS 761374 WITH SCORE 769401.578
AT ITER 7178 NEW BEST:: SOT 13953453 SOS 8026724 HAS SOPS 8022776 HAS SOUS 762580 HAS SOUPS 761079 WITH SCORE 769105.724
AT ITER 7189 NEW BEST:: SOT 13953415 SOS 8029440 HAS SOPS 8025492 HAS SOUS 762560 HAS SOUPS 761059 WITH SCORE 769088.44
AT ITER 7195 NEW BEST:: SOT 13953415 SOS 8030592 HAS SOPS 8026644 HAS SOUS 762506 HAS SOUPS 761005 WITH SCORE 769035.592
AT ITER 7198 NEW BEST:: SOT 13953036 SOS 8030213 HAS SOPS 8026265 HAS SOUS 762479 HAS SOUPS 760978 WITH SCORE 769008.213
AT ITER 7199 NEW BEST:: SOT 13953036 SOS 8028485 HAS SOPS 8024537 HAS SOUS 762479 HAS SOUPS 760978 WITH SCORE 769006.485
AT ITER 7201 NEW BEST:: SOT 13953071 SOS 8028520 HAS SOPS 8024572 HAS SOUS 762439 HAS SOUPS 760938 WITH SCORE 768966.52
AT ITER 7223 NEW BEST:: SOT 13953375 SOS 8028824 HAS SOPS 8024876 HAS SOUS 761131 HAS SOUPS 759630 WITH SCORE 767658.824
AT ITER 7237 NEW BEST:: SOT 13953375 SOS 8030624 HAS SOPS 8026676 HAS SOUS 761106 HAS SOUPS 759605 WITH SCORE 767635.624
AT ITER 7281 NEW BEST:: SOT 13953147 SOS 8029960 HAS SOPS 8026850 HAS SOUS 758653 HAS SOUPS 757380 WITH SCORE 765409.96
AT ITER 7284 NEW BEST:: SOT 13952576 SOS 8029448 HAS SOPS 8026323 HAS SOUS 757400 HAS SOUPS 756124 WITH SCORE 764153.448
AT ITER 7297 NEW BEST:: SOT 13952576 SOS 8029742 HAS SOPS 8026617 HAS SOUS 757309 HAS SOUPS 756033 WITH SCORE 764062.742
AT ITER 7310 NEW BEST:: SOT 13950987 SOS 8024337 HAS SOPS 8021212 HAS SOUS 753820 HAS SOUPS 752544 WITH SCORE 760568.337
AT ITER 7320 NEW BEST:: SOT 13954987 SOS 8028337 HAS SOPS 8025212 HAS SOUS 753184 HAS SOUPS 751908 WITH SCORE 759936.337
AT ITER 7326 NEW BEST:: SOT 13953945 SOS 8027285 HAS SOPS 8024170 HAS SOUS 751623 HAS SOUPS 750357 WITH SCORE 758384.285
AT ITER 7345 NEW BEST:: SOT 13954003 SOS 8027343 HAS SOPS 8024228 HAS SOUS 751618 HAS SOUPS 750352 WITH SCORE 758379.343
AT ITER 7386 NEW BEST:: SOT 13954003 SOS 8028566 HAS SOPS 8025451 HAS SOUS 751595 HAS SOUPS 750329 WITH SCORE 758357.566
AT ITER 7387 NEW BEST:: SOT 13954003 SOS 8028445 HAS SOPS 8025229 HAS SOUS 751531 HAS SOUPS 750265 WITH SCORE 758293.445
AT ITER 7397 NEW BEST:: SOT 13954003 SOS 8025565 HAS SOPS 8022349 HAS SOUS 751531 HAS SOUPS 750265 WITH SCORE 758290.565
AT ITER 7423 NEW BEST:: SOT 13954488 SOS 8026050 HAS SOPS 8022834 HAS SOUS 751375 HAS SOUPS 750109 WITH SCORE 758135.05
AT ITER 7441 NEW BEST:: SOT 13953753 SOS 8033900 HAS SOPS 8030709 HAS SOUS 751140 HAS SOUPS 749899 WITH SCORE 757932.9
AT ITER 7479 NEW BEST:: SOT 13953726 SOS 8033873 HAS SOPS 8030682 HAS SOUS 751083 HAS SOUPS 749842 WITH SCORE 757875.873
AT ITER 7494 NEW BEST:: SOT 13953809 SOS 8034540 HAS SOPS 8031469 HAS SOUS 750665 HAS SOUPS 749544 WITH SCORE 757578.54
AT ITER 7496 NEW BEST:: SOT 13953809 SOS 8033320 HAS SOPS 8030249 HAS SOUS 750523 HAS SOUPS 749402 WITH SCORE 757435.32
AT ITER 7528 NEW BEST:: SOT 13953809 SOS 8032096 HAS SOPS 8029025 HAS SOUS 750523 HAS SOUPS 749402 WITH SCORE 757434.096
AT ITER 7558 NEW BEST:: SOT 13953872 SOS 8032035 HAS SOPS 8028964 HAS SOUS 750462 HAS SOUPS 749341 WITH SCORE 757373.035
AT ITER 7566 NEW BEST:: SOT 13953872 SOS 8032041 HAS SOPS 8028970 HAS SOUS 750456 HAS SOUPS 749335 WITH SCORE 757367.041
AT ITER 7576 NEW BEST:: SOT 13953736 SOS 8031905 HAS SOPS 8028834 HAS SOUS 750376 HAS SOUPS 749255 WITH SCORE 757286.905
AT ITER 7608 NEW BEST:: SOT 13953712 SOS 8031881 HAS SOPS 8028810 HAS SOUS 750353 HAS SOUPS 749232 WITH SCORE 757263.881
AT ITER 7627 NEW BEST:: SOT 13953712 SOS 8029001 HAS SOPS 8025930 HAS SOUS 750353 HAS SOUPS 749232 WITH SCORE 757261.001
AT ITER 7657 NEW BEST:: SOT 13953712 SOS 8029001 HAS SOPS 8025930 HAS SOUS 750307 HAS SOUPS 749186 WITH SCORE 757215.001
AT ITER 7718 NEW BEST:: SOT 13951527 SOS 8026816 HAS SOPS 8023745 HAS SOUS 748711 HAS SOUPS 747590 WITH SCORE 755616.816
AT ITER 7719 NEW BEST:: SOT 13951113 SOS 8026402 HAS SOPS 8023331 HAS SOUS 748066 HAS SOUPS 746945 WITH SCORE 754971.402
AT ITER 7730 NEW BEST:: SOT 13951086 SOS 8026375 HAS SOPS 8023304 HAS SOUS 748039 HAS SOUPS 746918 WITH SCORE 754944.375
AT ITER 7737 NEW BEST:: SOT 13951332 SOS 8027196 HAS SOPS 8024170 HAS SOUS 747780 HAS SOUPS 746704 WITH SCORE 754731.196
AT ITER 7738 NEW BEST:: SOT 13955799 SOS 8031885 HAS SOPS 8028859 HAS SOUS 747702 HAS SOUPS 746626 WITH SCORE 754657.885
AT ITER 7742 NEW BEST:: SOT 13955457 SOS 8031485 HAS SOPS 8028459 HAS SOUS 747327 HAS SOUPS 746251 WITH SCORE 754282.485
AT ITER 7759 NEW BEST:: SOT 13955102 SOS 8031132 HAS SOPS 8028106 HAS SOUS 746576 HAS SOUPS 745500 WITH SCORE 753531.132
AT ITER 7792 NEW BEST:: SOT 13954874 SOS 8030569 HAS SOPS 8028717 HAS SOUS 741380 HAS SOUPS 740661 WITH SCORE 748691.569
AT ITER 7816 NEW BEST:: SOT 13955478 SOS 8031173 HAS SOPS 8029321 HAS SOUS 741106 HAS SOUPS 740387 WITH SCORE 748418.173
AT ITER 7826 NEW BEST:: SOT 13955478 SOS 8031137 HAS SOPS 8029285 HAS SOUS 741106 HAS SOUPS 740387 WITH SCORE 748418.137
AT ITER 7833 NEW BEST:: SOT 13955478 SOS 8031137 HAS SOPS 8029285 HAS SOUS 741080 HAS SOUPS 740361 WITH SCORE 748392.137
AT ITER 7860 NEW BEST:: SOT 13952676 SOS 8028335 HAS SOPS 8026483 HAS SOUS 738826 HAS SOUPS 738107 WITH SCORE 746135.335
AT ITER 7861 NEW BEST:: SOT 13952690 SOS 8028349 HAS SOPS 8026497 HAS SOUS 738810 HAS SOUPS 738091 WITH SCORE 746119.349
AT ITER 7874 NEW BEST:: SOT 13952690 SOS 8027269 HAS SOPS 8025417 HAS SOUS 738810 HAS SOUPS 738091 WITH SCORE 746118.269
AT ITER 7877 NEW BEST:: SOT 13952283 SOS 8056594 HAS SOPS 8054852 HAS SOUS 738374 HAS SOUPS 737706 WITH SCORE 745762.594
AT ITER 7907 NEW BEST:: SOT 13952207 SOS 8056518 HAS SOPS 8054776 HAS SOUS 738364 HAS SOUPS 737696 WITH SCORE 745752.518
AT ITER 7935 NEW BEST:: SOT 13952207 SOS 8056518 HAS SOPS 8054776 HAS SOUS 738286 HAS SOUPS 737618 WITH SCORE 745674.518
AT ITER 7940 NEW BEST:: SOT 13950016 SOS 8054327 HAS SOPS 8052585 HAS SOUS 736643 HAS SOUPS 735975 WITH SCORE 744029.327
AT ITER 7952 NEW BEST:: SOT 13950645 SOS 8056447 HAS SOPS 8054705 HAS SOUS 736033 HAS SOUPS 735365 WITH SCORE 743421.447
AT ITER 7980 NEW BEST:: SOT 13950645 SOS 8055007 HAS SOPS 8053265 HAS SOUS 736033 HAS SOUPS 735365 WITH SCORE 743420.007
AT ITER 7997 NEW BEST:: SOT 13950645 SOS 8054791 HAS SOPS 8053049 HAS SOUS 736033 HAS SOUPS 735365 WITH SCORE 743419.791
AT ITER 8002 NEW BEST:: SOT 13950645 SOS 8053063 HAS SOPS 8051321 HAS SOUS 736033 HAS SOUPS 735365 WITH SCORE 743418.063
AT ITER 8006 NEW BEST:: SOT 13950307 SOS 8027222 HAS SOPS 8026821 HAS SOUS 730196 HAS SOUPS 729921 WITH SCORE 737948.222
AT ITER 8018 NEW BEST:: SOT 13950045 SOS 8026960 HAS SOPS 8026559 HAS SOUS 729525 HAS SOUPS 729250 WITH SCORE 737276.96
AT ITER 8023 NEW BEST:: SOT 13947827 SOS 8024742 HAS SOPS 8024341 HAS SOUS 728444 HAS SOUPS 728169 WITH SCORE 736193.742
AT ITER 8093 NEW BEST:: SOT 13947794 SOS 8024709 HAS SOPS 8024308 HAS SOUS 728411 HAS SOUPS 728136 WITH SCORE 736160.709
AT ITER 8098 NEW BEST:: SOT 13947561 SOS 8024476 HAS SOPS 8024075 HAS SOUS 728149 HAS SOUPS 727874 WITH SCORE 735898.476
AT ITER 8106 NEW BEST:: SOT 13947541 SOS 8024456 HAS SOPS 8024055 HAS SOUS 728119 HAS SOUPS 727844 WITH SCORE 735868.456
AT ITER 8111 NEW BEST:: SOT 13947541 SOS 8025032 HAS SOPS 8024631 HAS SOUS 728047 HAS SOUPS 727772 WITH SCORE 735797.032
AT ITER 8115 NEW BEST:: SOT 13947055 SOS 8033323 HAS SOPS 8032922 HAS SOUS 727885 HAS SOUPS 727610 WITH SCORE 735643.323
AT ITER 8163 NEW BEST:: SOT 13947343 SOS 8033601 HAS SOPS 8033210 HAS SOUS 727858 HAS SOUPS 727593 WITH SCORE 735626.601
AT ITER 8186 NEW BEST:: SOT 13947147 SOS 8033405 HAS SOPS 8033014 HAS SOUS 727441 HAS SOUPS 727176 WITH SCORE 735209.405
AT ITER 8200 NEW BEST:: SOT 13947147 SOS 8034397 HAS SOPS 8034006 HAS SOUS 725249 HAS SOUPS 724984 WITH SCORE 733018.397
AT ITER 8216 NEW BEST:: SOT 13946104 SOS 8033354 HAS SOPS 8032963 HAS SOUS 724843 HAS SOUPS 724578 WITH SCORE 732611.354
AT ITER 8231 NEW BEST:: SOT 13946104 SOS 8033193 HAS SOPS 8032802 HAS SOUS 724843 HAS SOUPS 724578 WITH SCORE 732611.193
AT ITER 8236 NEW BEST:: SOT 13946094 SOS 8033183 HAS SOPS 8032792 HAS SOUS 724718 HAS SOUPS 724453 WITH SCORE 732486.183
AT ITER 8241 NEW BEST:: SOT 13944715 SOS 8031832 HAS SOPS 8031441 HAS SOUS 722426 HAS SOUPS 722161 WITH SCORE 730192.832
AT ITER 8247 NEW BEST:: SOT 13944715 SOS 8027080 HAS SOPS 8026689 HAS SOUS 722426 HAS SOUPS 722161 WITH SCORE 730188.08
AT ITER 8254 NEW BEST:: SOT 13944694 SOS 8027059 HAS SOPS 8026668 HAS SOUS 722364 HAS SOUPS 722099 WITH SCORE 730126.059
AT ITER 8271 NEW BEST:: SOT 13944631 SOS 8028653 HAS SOPS 8028262 HAS SOUS 722302 HAS SOUPS 722037 WITH SCORE 730065.653
AT ITER 8275 NEW BEST:: SOT 13944611 SOS 8028633 HAS SOPS 8028242 HAS SOUS 722242 HAS SOUPS 721977 WITH SCORE 730005.633
AT ITER 8293 NEW BEST:: SOT 13941752 SOS 8025774 HAS SOPS 8025383 HAS SOUS 721871 HAS SOUPS 721606 WITH SCORE 729631.774
AT ITER 8296 NEW BEST:: SOT 13941558 SOS 8025580 HAS SOPS 8025189 HAS SOUS 721463 HAS SOUPS 721198 WITH SCORE 729223.58
AT ITER 8304 NEW BEST:: SOT 13941434 SOS 8025456 HAS SOPS 8025065 HAS SOUS 721435 HAS SOUPS 721170 WITH SCORE 729195.456
AT ITER 8316 NEW BEST:: SOT 13941434 SOS 8025164 HAS SOPS 8024773 HAS SOUS 721427 HAS SOUPS 721162 WITH SCORE 729187.164
AT ITER 8322 NEW BEST:: SOT 13941417 SOS 8025147 HAS SOPS 8024756 HAS SOUS 721355 HAS SOUPS 721090 WITH SCORE 729115.147
AT ITER 8323 NEW BEST:: SOT 13942535 SOS 8026265 HAS SOPS 8025874 HAS SOUS 721173 HAS SOUPS 720908 WITH SCORE 728934.265
AT ITER 8377 NEW BEST:: SOT 13939433 SOS 8023093 HAS SOPS 8022702 HAS SOUS 720496 HAS SOUPS 720231 WITH SCORE 728254.093
AT ITER 8388 NEW BEST:: SOT 13944548 SOS 8053072 HAS SOPS 8052681 HAS SOUS 719432 HAS SOUPS 719167 WITH SCORE 727220.072
AT ITER 8402 NEW BEST:: SOT 13944521 SOS 8059309 HAS SOPS 8058918 HAS SOUS 719268 HAS SOUPS 719003 WITH SCORE 727062.309
AT ITER 8429 NEW BEST:: SOT 13948436 SOS 8065349 HAS SOPS 8065050 HAS SOUS 718110 HAS SOUPS 717937 WITH SCORE 726002.349
AT ITER 8430 NEW BEST:: SOT 13952032 SOS 8095078 HAS SOPS 8094821 HAS SOUS 716384 HAS SOUPS 716247 WITH SCORE 724342.078
AT ITER 8437 NEW BEST:: SOT 13952039 SOS 8095085 HAS SOPS 8094828 HAS SOUS 715375 HAS SOUPS 715238 WITH SCORE 723333.085
AT ITER 8529 NEW BEST:: SOT 13952833 SOS 8095902 HAS SOPS 8095668 HAS SOUS 715089 HAS SOUPS 714969 WITH SCORE 723064.902
AT ITER 8545 NEW BEST:: SOT 13952833 SOS 8095253 HAS SOPS 8095019 HAS SOUS 715089 HAS SOUPS 714969 WITH SCORE 723064.253
AT ITER 8551 NEW BEST:: SOT 13944448 SOS 8086364 HAS SOPS 8086130 HAS SOUS 715083 HAS SOUPS 714963 WITH SCORE 723049.364
AT ITER 8553 NEW BEST:: SOT 13944534 SOS 8086450 HAS SOPS 8086216 HAS SOUS 715024 HAS SOUPS 714904 WITH SCORE 722990.45
AT ITER 8572 NEW BEST:: SOT 13944534 SOS 8087914 HAS SOPS 8087680 HAS SOUS 715008 HAS SOUPS 714888 WITH SCORE 722975.914
AT ITER 8573 NEW BEST:: SOT 13944157 SOS 8087537 HAS SOPS 8087303 HAS SOUS 714453 HAS SOUPS 714333 WITH SCORE 722420.537
AT ITER 8575 NEW BEST:: SOT 13944352 SOS 8087732 HAS SOPS 8087498 HAS SOUS 714410 HAS SOUPS 714290 WITH SCORE 722377.732
AT ITER 8586 NEW BEST:: SOT 13946591 SOS 8113819 HAS SOPS 8113585 HAS SOUS 712299 HAS SOUPS 712179 WITH SCORE 720292.819
AT ITER 8595 NEW BEST:: SOT 13946591 SOS 8108347 HAS SOPS 8108113 HAS SOUS 712224 HAS SOUPS 712104 WITH SCORE 720212.347
AT ITER 8617 NEW BEST:: SOT 13946591 SOS 8108327 HAS SOPS 8108093 HAS SOUS 712198 HAS SOUPS 712078 WITH SCORE 720186.327
AT ITER 8629 NEW BEST:: SOT 13946544 SOS 8119840 HAS SOPS 8119606 HAS SOUS 711718 HAS SOUPS 711598 WITH SCORE 719717.84
AT ITER 8655 NEW BEST:: SOT 13944915 SOS 8118211 HAS SOPS 8117977 HAS SOUS 710780 HAS SOUPS 710660 WITH SCORE 718778.211
AT ITER 8665 NEW BEST:: SOT 13940334 SOS 8113238 HAS SOPS 8113004 HAS SOUS 709907 HAS SOUPS 709787 WITH SCORE 717900.238
AT ITER 8667 NEW BEST:: SOT 13940558 SOS 8113462 HAS SOPS 8113228 HAS SOUS 709658 HAS SOUPS 709538 WITH SCORE 717651.462
AT ITER 8685 NEW BEST:: SOT 13940197 SOS 8113101 HAS SOPS 8112867 HAS SOUS 709562 HAS SOUPS 709442 WITH SCORE 717555.101
AT ITER 8712 NEW BEST:: SOT 13940197 SOS 8113101 HAS SOPS 8112867 HAS SOUS 709535 HAS SOUPS 709415 WITH SCORE 717528.101
AT ITER 8736 NEW BEST:: SOT 13940197 SOS 8113101 HAS SOPS 8112867 HAS SOUS 709515 HAS SOUPS 709395 WITH SCORE 717508.101
AT ITER 8739 NEW BEST:: SOT 13940197 SOS 8112921 HAS SOPS 8112687 HAS SOUS 709500 HAS SOUPS 709380 WITH SCORE 717492.921
AT ITER 8768 NEW BEST:: SOT 13940229 SOS 8112953 HAS SOPS 8112719 HAS SOUS 709480 HAS SOUPS 709360 WITH SCORE 717472.953
AT ITER 8769 NEW BEST:: SOT 13940224 SOS 8112948 HAS SOPS 8112714 HAS SOUS 709476 HAS SOUPS 709356 WITH SCORE 717468.948
AT ITER 8815 NEW BEST:: SOT 13940188 SOS 8112912 HAS SOPS 8112678 HAS SOUS 709452 HAS SOUPS 709332 WITH SCORE 717444.912
AT ITER 8817 NEW BEST:: SOT 13940007 SOS 8112731 HAS SOPS 8112497 HAS SOUS 709314 HAS SOUPS 709194 WITH SCORE 717306.731
AT ITER 8818 NEW BEST:: SOT 13939998 SOS 8112722 HAS SOPS 8112488 HAS SOUS 709288 HAS SOUPS 709168 WITH SCORE 717280.722
AT ITER 8831 NEW BEST:: SOT 13938559 SOS 8111283 HAS SOPS 8111049 HAS SOUS 706189 HAS SOUPS 706069 WITH SCORE 714180.283
AT ITER 8832 NEW BEST:: SOT 13935999 SOS 8108723 HAS SOPS 8108489 HAS SOUS 704465 HAS SOUPS 704345 WITH SCORE 712453.723
AT ITER 8902 NEW BEST:: SOT 13935999 SOS 8114607 HAS SOPS 8114373 HAS SOUS 704456 HAS SOUPS 704336 WITH SCORE 712450.607
AT ITER 8913 NEW BEST:: SOT 13934949 SOS 8113557 HAS SOPS 8113323 HAS SOUS 702150 HAS SOUPS 702030 WITH SCORE 710143.557
AT ITER 8926 NEW BEST:: SOT 13934844 SOS 8113460 HAS SOPS 8113226 HAS SOUS 701911 HAS SOUPS 701791 WITH SCORE 709904.46
AT ITER 8953 NEW BEST:: SOT 13933086 SOS 8119878 HAS SOPS 8119644 HAS SOUS 700124 HAS SOUPS 700004 WITH SCORE 708123.878
AT ITER 9014 NEW BEST:: SOT 13937036 SOS 8123828 HAS SOPS 8123594 HAS SOUS 699446 HAS SOUPS 699326 WITH SCORE 707449.828
AT ITER 9035 NEW BEST:: SOT 13932540 SOS 8119332 HAS SOPS 8119098 HAS SOUS 695725 HAS SOUPS 695605 WITH SCORE 703724.332
AT ITER 9042 NEW BEST:: SOT 13931758 SOS 8118238 HAS SOPS 8118004 HAS SOUS 693828 HAS SOUPS 693708 WITH SCORE 701826.238
AT ITER 9043 NEW BEST:: SOT 13931758 SOS 8118238 HAS SOPS 8118004 HAS SOUS 693823 HAS SOUPS 693703 WITH SCORE 701821.238
AT ITER 9066 NEW BEST:: SOT 13931758 SOS 8111992 HAS SOPS 8111758 HAS SOUS 693811 HAS SOUPS 693691 WITH SCORE 701802.992
AT ITER 9067 NEW BEST:: SOT 13929748 SOS 8109946 HAS SOPS 8109712 HAS SOUS 693028 HAS SOUPS 692908 WITH SCORE 701017.946
AT ITER 9110 NEW BEST:: SOT 13929742 SOS 8109940 HAS SOPS 8109706 HAS SOUS 693028 HAS SOUPS 692908 WITH SCORE 701017.94
AT ITER 9148 NEW BEST:: SOT 13929684 SOS 8109882 HAS SOPS 8109648 HAS SOUS 693012 HAS SOUPS 692892 WITH SCORE 701001.882
AT ITER 9154 NEW BEST:: SOT 13929650 SOS 8109848 HAS SOPS 8109614 HAS SOUS 692960 HAS SOUPS 692840 WITH SCORE 700949.848
AT ITER 9180 NEW BEST:: SOT 13935940 SOS 8137128 HAS SOPS 8136892 HAS SOUS 688645 HAS SOUPS 688523 WITH SCORE 696660.128
AT ITER 9222 NEW BEST:: SOT 13936074 SOS 8137290 HAS SOPS 8137054 HAS SOUS 688023 HAS SOUPS 687901 WITH SCORE 696038.29
AT ITER 9243 NEW BEST:: SOT 13936855 SOS 8138071 HAS SOPS 8137835 HAS SOUS 687824 HAS SOUPS 687702 WITH SCORE 695840.071
AT ITER 9253 NEW BEST:: SOT 13936669 SOS 8137885 HAS SOPS 8137649 HAS SOUS 687667 HAS SOUPS 687545 WITH SCORE 695682.885
AT ITER 9263 NEW BEST:: SOT 13932289 SOS 8133505 HAS SOPS 8133269 HAS SOUS 686343 HAS SOUPS 686221 WITH SCORE 694354.505
AT ITER 9303 NEW BEST:: SOT 13932226 SOS 8133442 HAS SOPS 8133206 HAS SOUS 686338 HAS SOUPS 686216 WITH SCORE 694349.442
AT ITER 9311 NEW BEST:: SOT 13932222 SOS 8133438 HAS SOPS 8133202 HAS SOUS 686332 HAS SOUPS 686210 WITH SCORE 694343.438
AT ITER 9320 NEW BEST:: SOT 13933294 SOS 8134878 HAS SOPS 8134669 HAS SOUS 685150 HAS SOUPS 685055 WITH SCORE 693189.878
AT ITER 9332 NEW BEST:: SOT 13930985 SOS 8132569 HAS SOPS 8132360 HAS SOUS 683209 HAS SOUPS 683114 WITH SCORE 691246.569
AT ITER 9351 NEW BEST:: SOT 13930973 SOS 8132557 HAS SOPS 8132348 HAS SOUS 683197 HAS SOUPS 683102 WITH SCORE 691234.557
AT ITER 9355 NEW BEST:: SOT 13930961 SOS 8132545 HAS SOPS 8132336 HAS SOUS 683159 HAS SOUPS 683064 WITH SCORE 691196.545
AT ITER 9358 NEW BEST:: SOT 13929463 SOS 8131047 HAS SOPS 8130838 HAS SOUS 682803 HAS SOUPS 682708 WITH SCORE 690839.047
AT ITER 9389 NEW BEST:: SOT 13929397 SOS 8126889 HAS SOPS 8126680 HAS SOUS 682803 HAS SOUPS 682708 WITH SCORE 690834.889
AT ITER 9397 NEW BEST:: SOT 13929397 SOS 8121892 HAS SOPS 8121683 HAS SOUS 682720 HAS SOUPS 682625 WITH SCORE 690746.892
AT ITER 9407 NEW BEST:: SOT 13929397 SOS 8121857 HAS SOPS 8121648 HAS SOUS 682685 HAS SOUPS 682590 WITH SCORE 690711.857
AT ITER 9426 NEW BEST:: SOT 13930119 SOS 8122579 HAS SOPS 8122370 HAS SOUS 682633 HAS SOUPS 682538 WITH SCORE 690660.579
AT ITER 9447 NEW BEST:: SOT 13929941 SOS 8121369 HAS SOPS 8121160 HAS SOUS 681951 HAS SOUPS 681856 WITH SCORE 689977.369
AT ITER 9507 NEW BEST:: SOT 13929941 SOS 8119425 HAS SOPS 8119216 HAS SOUS 681951 HAS SOUPS 681856 WITH SCORE 689975.425
AT ITER 9544 NEW BEST:: SOT 13929922 SOS 8119406 HAS SOPS 8119197 HAS SOUS 681932 HAS SOUPS 681837 WITH SCORE 689956.406
AT ITER 9549 NEW BEST:: SOT 13929895 SOS 8117656 HAS SOPS 8117600 HAS SOUS 680595 HAS SOUPS 680539 WITH SCORE 688656.656
AT ITER 9564 NEW BEST:: SOT 13927576 SOS 8115315 HAS SOPS 8115259 HAS SOUS 678995 HAS SOUPS 678939 WITH SCORE 687054.315
AT ITER 9568 NEW BEST:: SOT 13927505 SOS 8115244 HAS SOPS 8115188 HAS SOUS 678924 HAS SOUPS 678868 WITH SCORE 686983.244
AT ITER 9593 NEW BEST:: SOT 13927706 SOS 8115445 HAS SOPS 8115389 HAS SOUS 678821 HAS SOUPS 678765 WITH SCORE 686880.445
AT ITER 9598 NEW BEST:: SOT 13926990 SOS 8114729 HAS SOPS 8114673 HAS SOUS 678241 HAS SOUPS 678185 WITH SCORE 686299.729
AT ITER 9619 NEW BEST:: SOT 13926990 SOS 8107312 HAS SOPS 8107256 HAS SOUS 678241 HAS SOUPS 678185 WITH SCORE 686292.312
AT ITER 9641 NEW BEST:: SOT 13926278 SOS 8106586 HAS SOPS 8106530 HAS SOUS 677768 HAS SOUPS 677712 WITH SCORE 685818.586
AT ITER 9674 NEW BEST:: SOT 13926738 SOS 8107150 HAS SOPS 8107094 HAS SOUS 676995 HAS SOUPS 676939 WITH SCORE 685046.15
AT ITER 9680 NEW BEST:: SOT 13926390 SOS 8106802 HAS SOPS 8106746 HAS SOUS 676221 HAS SOUPS 676165 WITH SCORE 684271.802
AT ITER 9700 NEW BEST:: SOT 13925149 SOS 8105561 HAS SOPS 8105505 HAS SOUS 675948 HAS SOUPS 675892 WITH SCORE 683997.561
AT ITER 9719 NEW BEST:: SOT 13925149 SOS 8105849 HAS SOPS 8105793 HAS SOUS 675865 HAS SOUPS 675809 WITH SCORE 683914.849
AT ITER 9722 NEW BEST:: SOT 13925149 SOS 8102166 HAS SOPS 8102110 HAS SOUS 675755 HAS SOUPS 675699 WITH SCORE 683801.166
AT ITER 9723 NEW BEST:: SOT 13925149 SOS 8100982 HAS SOPS 8100926 HAS SOUS 675755 HAS SOUPS 675699 WITH SCORE 683799.982
AT ITER 9841 NEW BEST:: SOT 13925131 SOS 8100964 HAS SOPS 8100908 HAS SOUS 675632 HAS SOUPS 675576 WITH SCORE 683676.964
AT ITER 9872 NEW BEST:: SOT 13925035 SOS 8100868 HAS SOPS 8100812 HAS SOUS 675571 HAS SOUPS 675515 WITH SCORE 683615.868
AT ITER 9950 NEW BEST:: SOT 13924734 SOS 8100567 HAS SOPS 8100511 HAS SOUS 675374 HAS SOUPS 675318 WITH SCORE 683418.567
AT ITER 9991 NEW BEST:: SOT 13919708 SOS 8095541 HAS SOPS 8095485 HAS SOUS 670901 HAS SOUPS 670845 WITH SCORE 678940.541
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 8412320 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16076828 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BugTracking-PT-q3m032"
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-q3m032, 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-167813696700360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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