Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.8K Feb 26 06:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 06:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 06:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 06:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 07:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 07:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 06:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 06:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678467829924

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q8m256
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m256
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12976552 SOS 6056099 HAS SOPS 6051644 HAS SOUS 1658044 HAS SOUPS 1653589 WITH SCORE 1659645.099
AT ITER 5 NEW BEST:: SOT 12976552 SOS 6048539 HAS SOPS 6044084 HAS SOUS 1658044 HAS SOUPS 1653589 WITH SCORE 1659637.539
AT ITER 8 NEW BEST:: SOT 12984061 SOS 6056504 HAS SOPS 6052049 HAS SOUS 1657643 HAS SOUPS 1653188 WITH SCORE 1659244.504
AT ITER 11 NEW BEST:: SOT 12982376 SOS 6054819 HAS SOPS 6050364 HAS SOUS 1655594 HAS SOUPS 1651139 WITH SCORE 1657193.819
AT ITER 21 NEW BEST:: SOT 12982376 SOS 6050283 HAS SOPS 6045828 HAS SOUS 1655594 HAS SOUPS 1651139 WITH SCORE 1657189.283
AT ITER 49 NEW BEST:: SOT 12982353 SOS 6050021 HAS SOPS 6045618 HAS SOUS 1647708 HAS SOUPS 1643305 WITH SCORE 1649355.021
AT ITER 62 NEW BEST:: SOT 12975179 SOS 6046855 HAS SOPS 6042452 HAS SOUS 1640803 HAS SOUPS 1636400 WITH SCORE 1642446.855
AT ITER 68 NEW BEST:: SOT 12973079 SOS 6046829 HAS SOPS 6042426 HAS SOUS 1636648 HAS SOUPS 1632245 WITH SCORE 1638291.829
AT ITER 77 NEW BEST:: SOT 12971894 SOS 6045403 HAS SOPS 6041053 HAS SOUS 1631771 HAS SOUPS 1627421 WITH SCORE 1633466.403
AT ITER 80 NEW BEST:: SOT 12971901 SOS 6045370 HAS SOPS 6041060 HAS SOUS 1623971 HAS SOUPS 1619661 WITH SCORE 1625706.37
AT ITER 104 NEW BEST:: SOT 12973675 SOS 6049388 HAS SOPS 6045078 HAS SOUS 1614259 HAS SOUPS 1609949 WITH SCORE 1615998.388
AT ITER 132 NEW BEST:: SOT 12970956 SOS 6044629 HAS SOPS 6040319 HAS SOUS 1611956 HAS SOUPS 1607646 WITH SCORE 1613690.629
AT ITER 133 NEW BEST:: SOT 12970659 SOS 6044410 HAS SOPS 6040100 HAS SOUS 1611246 HAS SOUPS 1606936 WITH SCORE 1612980.41
AT ITER 136 NEW BEST:: SOT 12962461 SOS 6038732 HAS SOPS 6034422 HAS SOUS 1603002 HAS SOUPS 1598692 WITH SCORE 1604730.732
AT ITER 137 NEW BEST:: SOT 12962461 SOS 6038606 HAS SOPS 6034296 HAS SOUS 1602939 HAS SOUPS 1598629 WITH SCORE 1604667.606
AT ITER 140 NEW BEST:: SOT 12962461 SOS 6038606 HAS SOPS 6034296 HAS SOUS 1602832 HAS SOUPS 1598522 WITH SCORE 1604560.606
AT ITER 144 NEW BEST:: SOT 12961118 SOS 6037494 HAS SOPS 6033184 HAS SOUS 1600277 HAS SOUPS 1595967 WITH SCORE 1602004.494
AT ITER 148 NEW BEST:: SOT 12960800 SOS 6037167 HAS SOPS 6032866 HAS SOUS 1599111 HAS SOUPS 1594810 WITH SCORE 1600847.167
AT ITER 155 NEW BEST:: SOT 12959127 SOS 6035926 HAS SOPS 6031625 HAS SOUS 1592600 HAS SOUPS 1588299 WITH SCORE 1594334.926
AT ITER 156 NEW BEST:: SOT 12959127 SOS 6028654 HAS SOPS 6024353 HAS SOUS 1592600 HAS SOUPS 1588299 WITH SCORE 1594327.654
AT ITER 157 NEW BEST:: SOT 12954208 SOS 6025459 HAS SOPS 6021158 HAS SOUS 1586727 HAS SOUPS 1582426 WITH SCORE 1588451.459
AT ITER 171 NEW BEST:: SOT 12956904 SOS 6028415 HAS SOPS 6024114 HAS SOUS 1585291 HAS SOUPS 1580990 WITH SCORE 1587018.415
AT ITER 180 NEW BEST:: SOT 12956904 SOS 6018049 HAS SOPS 6013748 HAS SOUS 1585149 HAS SOUPS 1580848 WITH SCORE 1586866.049
AT ITER 192 NEW BEST:: SOT 12967524 SOS 6049057 HAS SOPS 6044262 HAS SOUS 1581903 HAS SOUPS 1577456 WITH SCORE 1583505.057
AT ITER 216 NEW BEST:: SOT 12967517 SOS 6049050 HAS SOPS 6044255 HAS SOUS 1581902 HAS SOUPS 1577455 WITH SCORE 1583504.05
AT ITER 217 NEW BEST:: SOT 12966947 SOS 6048480 HAS SOPS 6043685 HAS SOUS 1580728 HAS SOUPS 1576281 WITH SCORE 1582329.48
AT ITER 218 NEW BEST:: SOT 12967930 SOS 6049428 HAS SOPS 6044668 HAS SOUS 1579537 HAS SOUPS 1575125 WITH SCORE 1581174.428
AT ITER 221 NEW BEST:: SOT 12967885 SOS 6049075 HAS SOPS 6044315 HAS SOUS 1579492 HAS SOUPS 1575080 WITH SCORE 1581129.075
AT ITER 226 NEW BEST:: SOT 12971595 SOS 6052939 HAS SOPS 6048179 HAS SOUS 1578637 HAS SOUPS 1574225 WITH SCORE 1580277.939
AT ITER 236 NEW BEST:: SOT 12970958 SOS 6052302 HAS SOPS 6047542 HAS SOUS 1578161 HAS SOUPS 1573749 WITH SCORE 1579801.302
AT ITER 238 NEW BEST:: SOT 12970958 SOS 6044958 HAS SOPS 6040198 HAS SOUS 1578161 HAS SOUPS 1573749 WITH SCORE 1579793.958
AT ITER 245 NEW BEST:: SOT 12970958 SOS 6037902 HAS SOPS 6033142 HAS SOUS 1578161 HAS SOUPS 1573749 WITH SCORE 1579786.902
AT ITER 247 NEW BEST:: SOT 12969422 SOS 6037000 HAS SOPS 6032240 HAS SOUS 1575374 HAS SOUPS 1570962 WITH SCORE 1576999.0
AT ITER 251 NEW BEST:: SOT 12969573 SOS 6037151 HAS SOPS 6032391 HAS SOUS 1567202 HAS SOUPS 1562790 WITH SCORE 1568827.151
AT ITER 255 NEW BEST:: SOT 12967714 SOS 6035796 HAS SOPS 6031036 HAS SOUS 1548877 HAS SOUPS 1544465 WITH SCORE 1550500.796
AT ITER 271 NEW BEST:: SOT 12968645 SOS 6036727 HAS SOPS 6031967 HAS SOUS 1547248 HAS SOUPS 1542836 WITH SCORE 1548872.727
AT ITER 275 NEW BEST:: SOT 12968645 SOS 6036727 HAS SOPS 6031967 HAS SOUS 1547229 HAS SOUPS 1542817 WITH SCORE 1548853.727
AT ITER 280 NEW BEST:: SOT 12968645 SOS 6035287 HAS SOPS 6030527 HAS SOUS 1547229 HAS SOUPS 1542817 WITH SCORE 1548852.287
AT ITER 282 NEW BEST:: SOT 12968645 SOS 6035285 HAS SOPS 6030525 HAS SOUS 1547229 HAS SOUPS 1542817 WITH SCORE 1548852.285
AT ITER 319 NEW BEST:: SOT 12968619 SOS 6034896 HAS SOPS 6030193 HAS SOUS 1539619 HAS SOUPS 1535264 WITH SCORE 1541298.896
AT ITER 320 NEW BEST:: SOT 12970825 SOS 6037348 HAS SOPS 6032645 HAS SOUS 1530246 HAS SOUPS 1525891 WITH SCORE 1531928.348
AT ITER 325 NEW BEST:: SOT 12964057 SOS 6032404 HAS SOPS 6027701 HAS SOUS 1521768 HAS SOUPS 1517413 WITH SCORE 1523445.404
AT ITER 334 NEW BEST:: SOT 12965501 SOS 6036207 HAS SOPS 6031513 HAS SOUS 1521162 HAS SOUPS 1516816 WITH SCORE 1522852.207
AT ITER 356 NEW BEST:: SOT 12964830 SOS 6036008 HAS SOPS 6031331 HAS SOUS 1516976 HAS SOUPS 1512647 WITH SCORE 1518683.008
AT ITER 361 NEW BEST:: SOT 12963798 SOS 6034976 HAS SOPS 6030299 HAS SOUS 1515751 HAS SOUPS 1511422 WITH SCORE 1517456.976
AT ITER 362 NEW BEST:: SOT 12963798 SOS 6034930 HAS SOPS 6030253 HAS SOUS 1515728 HAS SOUPS 1511399 WITH SCORE 1517433.93
AT ITER 366 NEW BEST:: SOT 12963985 SOS 6034793 HAS SOPS 6030179 HAS SOUS 1513071 HAS SOUPS 1508805 WITH SCORE 1514839.793
AT ITER 371 NEW BEST:: SOT 12960994 SOS 6036198 HAS SOPS 6031584 HAS SOUS 1511320 HAS SOUPS 1507054 WITH SCORE 1513090.198
AT ITER 380 NEW BEST:: SOT 12966755 SOS 6042199 HAS SOPS 6037585 HAS SOUS 1508317 HAS SOUPS 1504051 WITH SCORE 1510093.199
AT ITER 388 NEW BEST:: SOT 12962503 SOS 6041409 HAS SOPS 6036795 HAS SOUS 1503962 HAS SOUPS 1499696 WITH SCORE 1505737.409
AT ITER 394 NEW BEST:: SOT 12962503 SOS 6041344 HAS SOPS 6036730 HAS SOUS 1503897 HAS SOUPS 1499631 WITH SCORE 1505672.344
AT ITER 403 NEW BEST:: SOT 12962503 SOS 6039832 HAS SOPS 6035218 HAS SOUS 1503897 HAS SOUPS 1499631 WITH SCORE 1505670.832
AT ITER 407 NEW BEST:: SOT 12962503 SOS 6038752 HAS SOPS 6034138 HAS SOUS 1503897 HAS SOUPS 1499631 WITH SCORE 1505669.752
AT ITER 408 NEW BEST:: SOT 12961910 SOS 6038159 HAS SOPS 6033545 HAS SOUS 1502719 HAS SOUPS 1498453 WITH SCORE 1504491.159
AT ITER 410 NEW BEST:: SOT 12963340 SOS 6039589 HAS SOPS 6034975 HAS SOUS 1500208 HAS SOUPS 1495942 WITH SCORE 1501981.589
AT ITER 420 NEW BEST:: SOT 12968423 SOS 6044908 HAS SOPS 6040294 HAS SOUS 1491133 HAS SOUPS 1486867 WITH SCORE 1492911.908
AT ITER 430 NEW BEST:: SOT 12968423 SOS 6037132 HAS SOPS 6032518 HAS SOUS 1491133 HAS SOUPS 1486867 WITH SCORE 1492904.132
AT ITER 433 NEW BEST:: SOT 12958036 SOS 6028579 HAS SOPS 6023965 HAS SOUS 1478708 HAS SOUPS 1474442 WITH SCORE 1480470.579
AT ITER 444 NEW BEST:: SOT 12961074 SOS 6032283 HAS SOPS 6027669 HAS SOUS 1475002 HAS SOUPS 1470736 WITH SCORE 1476768.283
AT ITER 452 NEW BEST:: SOT 12955170 SOS 6024764 HAS SOPS 6018539 HAS SOUS 1470445 HAS SOUPS 1464568 WITH SCORE 1470592.764
AT ITER 460 NEW BEST:: SOT 12947815 SOS 6018201 HAS SOPS 6011976 HAS SOUS 1464799 HAS SOUPS 1458922 WITH SCORE 1464940.201
AT ITER 467 NEW BEST:: SOT 12940270 SOS 6020318 HAS SOPS 6014093 HAS SOUS 1458386 HAS SOUPS 1452509 WITH SCORE 1458529.318
AT ITER 500 NEW BEST:: SOT 12940370 SOS 6020418 HAS SOPS 6014193 HAS SOUS 1452168 HAS SOUPS 1446291 WITH SCORE 1452311.418
AT ITER 508 NEW BEST:: SOT 12939776 SOS 6019624 HAS SOPS 6013424 HAS SOUS 1451785 HAS SOUPS 1445933 WITH SCORE 1451952.624
AT ITER 520 NEW BEST:: SOT 12939464 SOS 6019312 HAS SOPS 6013112 HAS SOUS 1451151 HAS SOUPS 1445299 WITH SCORE 1451318.312
AT ITER 525 NEW BEST:: SOT 12953714 SOS 6066618 HAS SOPS 6059703 HAS SOUS 1442984 HAS SOUPS 1437057 WITH SCORE 1443123.618
AT ITER 528 NEW BEST:: SOT 12952550 SOS 6065472 HAS SOPS 6058557 HAS SOUS 1441838 HAS SOUPS 1435911 WITH SCORE 1441976.472
AT ITER 532 NEW BEST:: SOT 12952550 SOS 6065534 HAS SOPS 6058620 HAS SOUS 1441814 HAS SOUPS 1435888 WITH SCORE 1441953.534
AT ITER 536 NEW BEST:: SOT 12952550 SOS 6058262 HAS SOPS 6051348 HAS SOUS 1441814 HAS SOUPS 1435888 WITH SCORE 1441946.262
AT ITER 551 NEW BEST:: SOT 12951017 SOS 6056729 HAS SOPS 6049815 HAS SOUS 1438706 HAS SOUPS 1432780 WITH SCORE 1438836.729
AT ITER 583 NEW BEST:: SOT 12951017 SOS 6051041 HAS SOPS 6044127 HAS SOUS 1438706 HAS SOUPS 1432780 WITH SCORE 1438831.041
AT ITER 607 NEW BEST:: SOT 12956664 SOS 6061063 HAS SOPS 6054284 HAS SOUS 1435110 HAS SOUPS 1429319 WITH SCORE 1435380.063
AT ITER 610 NEW BEST:: SOT 12954664 SOS 6062555 HAS SOPS 6055776 HAS SOUS 1431349 HAS SOUPS 1425558 WITH SCORE 1431620.555
AT ITER 622 NEW BEST:: SOT 12958275 SOS 6066238 HAS SOPS 6059459 HAS SOUS 1430141 HAS SOUPS 1424350 WITH SCORE 1430416.238
AT ITER 623 NEW BEST:: SOT 12958393 SOS 6066338 HAS SOPS 6059559 HAS SOUS 1424509 HAS SOUPS 1418718 WITH SCORE 1424784.338
AT ITER 636 NEW BEST:: SOT 12967034 SOS 6079525 HAS SOPS 6072808 HAS SOUS 1421068 HAS SOUPS 1415339 WITH SCORE 1421418.525
AT ITER 667 NEW BEST:: SOT 12967167 SOS 6079616 HAS SOPS 6072941 HAS SOUS 1415642 HAS SOUPS 1409955 WITH SCORE 1416034.616
AT ITER 713 NEW BEST:: SOT 12975164 SOS 6088038 HAS SOPS 6081773 HAS SOUS 1410341 HAS SOUPS 1404654 WITH SCORE 1410742.038
AT ITER 716 NEW BEST:: SOT 12973330 SOS 6086392 HAS SOPS 6080127 HAS SOUS 1396595 HAS SOUPS 1390908 WITH SCORE 1396994.392
AT ITER 731 NEW BEST:: SOT 12982184 SOS 7121783 HAS SOPS 7116121 HAS SOUS 1386577 HAS SOUPS 1381049 WITH SCORE 1388170.783
AT ITER 740 NEW BEST:: SOT 12982184 SOS 7114583 HAS SOPS 7108921 HAS SOUS 1386577 HAS SOUPS 1381049 WITH SCORE 1388163.583
AT ITER 745 NEW BEST:: SOT 12982184 SOS 7114583 HAS SOPS 7108921 HAS SOUS 1386576 HAS SOUPS 1381048 WITH SCORE 1388162.583
AT ITER 748 NEW BEST:: SOT 12982085 SOS 7114481 HAS SOPS 7108819 HAS SOUS 1386369 HAS SOUPS 1380841 WITH SCORE 1387955.481
AT ITER 749 NEW BEST:: SOT 12982085 SOS 7122001 HAS SOPS 7116339 HAS SOUS 1385732 HAS SOUPS 1380204 WITH SCORE 1387326.001
AT ITER 761 NEW BEST:: SOT 12982024 SOS 7121940 HAS SOPS 7116278 HAS SOUS 1385594 HAS SOUPS 1380066 WITH SCORE 1387187.94
AT ITER 767 NEW BEST:: SOT 12978446 SOS 7118369 HAS SOPS 7112707 HAS SOUS 1384125 HAS SOUPS 1378597 WITH SCORE 1385715.369
AT ITER 771 NEW BEST:: SOT 12979743 SOS 7119666 HAS SOPS 7114004 HAS SOUS 1383583 HAS SOUPS 1378055 WITH SCORE 1385174.666
AT ITER 773 NEW BEST:: SOT 12979743 SOS 7119370 HAS SOPS 7113708 HAS SOUS 1383435 HAS SOUPS 1377907 WITH SCORE 1385026.37
AT ITER 774 NEW BEST:: SOT 12974721 SOS 7114320 HAS SOPS 7108658 HAS SOUS 1379018 HAS SOUPS 1373490 WITH SCORE 1380604.32
AT ITER 781 NEW BEST:: SOT 12978672 SOS 7118399 HAS SOPS 7112803 HAS SOUS 1377804 HAS SOUPS 1372342 WITH SCORE 1379460.399
AT ITER 785 NEW BEST:: SOT 12966887 SOS 7109108 HAS SOPS 7103512 HAS SOUS 1364571 HAS SOUPS 1359109 WITH SCORE 1366218.108
AT ITER 791 NEW BEST:: SOT 12977074 SOS 7119295 HAS SOPS 7113699 HAS SOUS 1364319 HAS SOUPS 1358857 WITH SCORE 1365976.295
AT ITER 800 NEW BEST:: SOT 12977091 SOS 7119296 HAS SOPS 7113700 HAS SOUS 1358808 HAS SOUPS 1353346 WITH SCORE 1360465.296
AT ITER 808 NEW BEST:: SOT 12977091 SOS 7119296 HAS SOPS 7113700 HAS SOUS 1358793 HAS SOUPS 1353331 WITH SCORE 1360450.296
AT ITER 810 NEW BEST:: SOT 12996562 SOS 7138686 HAS SOPS 7133090 HAS SOUS 1358405 HAS SOUPS 1352943 WITH SCORE 1360081.686
AT ITER 814 NEW BEST:: SOT 12995240 SOS 7135924 HAS SOPS 7130328 HAS SOUS 1357132 HAS SOUPS 1351670 WITH SCORE 1358805.924
AT ITER 821 NEW BEST:: SOT 12995240 SOS 7135504 HAS SOPS 7129908 HAS SOUS 1357097 HAS SOUPS 1351635 WITH SCORE 1358770.504
AT ITER 825 NEW BEST:: SOT 12993099 SOS 7137947 HAS SOPS 7132351 HAS SOUS 1356212 HAS SOUPS 1350750 WITH SCORE 1357887.947
AT ITER 842 NEW BEST:: SOT 12993113 SOS 7137999 HAS SOPS 7132331 HAS SOUS 1355102 HAS SOUPS 1349568 WITH SCORE 1356705.999
AT ITER 849 NEW BEST:: SOT 12993113 SOS 7137999 HAS SOPS 7132331 HAS SOUS 1355100 HAS SOUPS 1349566 WITH SCORE 1356703.999
AT ITER 853 NEW BEST:: SOT 12993113 SOS 7137974 HAS SOPS 7132306 HAS SOUS 1355075 HAS SOUPS 1349541 WITH SCORE 1356678.974
AT ITER 860 NEW BEST:: SOT 12996778 SOS 7148908 HAS SOPS 7143297 HAS SOUS 1347987 HAS SOUPS 1342510 WITH SCORE 1349658.908
AT ITER 862 NEW BEST:: SOT 12998715 SOS 7150845 HAS SOPS 7145234 HAS SOUS 1342570 HAS SOUPS 1337093 WITH SCORE 1344243.845
AT ITER 871 NEW BEST:: SOT 13007911 SOS 7159237 HAS SOPS 7153815 HAS SOUS 1339410 HAS SOUPS 1334122 WITH SCORE 1341281.237
AT ITER 875 NEW BEST:: SOT 13007648 SOS 7159011 HAS SOPS 7153589 HAS SOUS 1339057 HAS SOUPS 1333769 WITH SCORE 1340928.011
AT ITER 882 NEW BEST:: SOT 13006716 SOS 7157943 HAS SOPS 7152538 HAS SOUS 1338371 HAS SOUPS 1333100 WITH SCORE 1340257.943
AT ITER 888 NEW BEST:: SOT 13006756 SOS 7157983 HAS SOPS 7152578 HAS SOUS 1333009 HAS SOUPS 1327738 WITH SCORE 1334895.983
AT ITER 899 NEW BEST:: SOT 12930580 SOS 8872499 HAS SOPS 8868237 HAS SOUS 1248879 HAS SOUPS 1244725 WITH SCORE 1253597.499
AT ITER 902 NEW BEST:: SOT 12929576 SOS 8871495 HAS SOPS 8867233 HAS SOUS 1246853 HAS SOUPS 1242699 WITH SCORE 1251570.495
AT ITER 929 NEW BEST:: SOT 12925544 SOS 8870241 HAS SOPS 8865979 HAS SOUS 1242064 HAS SOUPS 1237910 WITH SCORE 1246780.241
AT ITER 933 NEW BEST:: SOT 12924536 SOS 8869233 HAS SOPS 8864971 HAS SOUS 1237057 HAS SOUPS 1232903 WITH SCORE 1241772.233
AT ITER 945 NEW BEST:: SOT 12923152 SOS 8870109 HAS SOPS 8865847 HAS SOUS 1234348 HAS SOUPS 1230194 WITH SCORE 1239064.109
AT ITER 952 NEW BEST:: SOT 12922210 SOS 8869167 HAS SOPS 8864905 HAS SOUS 1233455 HAS SOUPS 1229301 WITH SCORE 1238170.167
AT ITER 955 NEW BEST:: SOT 12924542 SOS 8871571 HAS SOPS 8867309 HAS SOUS 1233222 HAS SOUPS 1229068 WITH SCORE 1237939.571
AT ITER 978 NEW BEST:: SOT 12923257 SOS 8872084 HAS SOPS 8867822 HAS SOUS 1232527 HAS SOUPS 1228373 WITH SCORE 1237245.084
AT ITER 988 NEW BEST:: SOT 12923023 SOS 8864479 HAS SOPS 8860217 HAS SOUS 1232293 HAS SOUPS 1228139 WITH SCORE 1237003.479
AT ITER 1015 NEW BEST:: SOT 12923358 SOS 8864814 HAS SOPS 8860552 HAS SOUS 1232243 HAS SOUPS 1228089 WITH SCORE 1236953.814
AT ITER 1034 NEW BEST:: SOT 12931618 SOS 8873074 HAS SOPS 8868812 HAS SOUS 1225640 HAS SOUPS 1221486 WITH SCORE 1230359.074
AT ITER 1045 NEW BEST:: SOT 12931618 SOS 8873102 HAS SOPS 8868840 HAS SOUS 1225442 HAS SOUPS 1221288 WITH SCORE 1230161.102
AT ITER 1051 NEW BEST:: SOT 12929760 SOS 8871111 HAS SOPS 8866792 HAS SOUS 1225278 HAS SOUPS 1221067 WITH SCORE 1229938.111
AT ITER 1060 NEW BEST:: SOT 12929066 SOS 8870417 HAS SOPS 8866098 HAS SOUS 1223848 HAS SOUPS 1219637 WITH SCORE 1228507.417
AT ITER 1069 NEW BEST:: SOT 12930301 SOS 8873593 HAS SOPS 8869277 HAS SOUS 1221453 HAS SOUPS 1217245 WITH SCORE 1226118.593
AT ITER 1072 NEW BEST:: SOT 12930301 SOS 8868985 HAS SOPS 8864669 HAS SOUS 1221453 HAS SOUPS 1217245 WITH SCORE 1226113.985
AT ITER 1076 NEW BEST:: SOT 12924352 SOS 8863224 HAS SOPS 8858908 HAS SOUS 1215837 HAS SOUPS 1211629 WITH SCORE 1220492.224
AT ITER 1077 NEW BEST:: SOT 12924352 SOS 7902231 HAS SOPS 7897915 HAS SOUS 1215650 HAS SOUPS 1211442 WITH SCORE 1219344.231
AT ITER 1107 NEW BEST:: SOT 12920541 SOS 7898186 HAS SOPS 7893918 HAS SOUS 1206885 HAS SOUPS 1202725 WITH SCORE 1210623.186
AT ITER 1128 NEW BEST:: SOT 12917539 SOS 7890782 HAS SOPS 7886514 HAS SOUS 1205871 HAS SOUPS 1201711 WITH SCORE 1209601.782
AT ITER 1131 NEW BEST:: SOT 12916581 SOS 7889824 HAS SOPS 7885556 HAS SOUS 1203089 HAS SOUPS 1198929 WITH SCORE 1206818.824
AT ITER 1136 NEW BEST:: SOT 12914544 SOS 7887787 HAS SOPS 7883519 HAS SOUS 1200182 HAS SOUPS 1196022 WITH SCORE 1203909.787
AT ITER 1155 NEW BEST:: SOT 12914249 SOS 7887492 HAS SOPS 7883224 HAS SOUS 1199992 HAS SOUPS 1195832 WITH SCORE 1203719.492
AT ITER 1158 NEW BEST:: SOT 12913197 SOS 7886440 HAS SOPS 7882172 HAS SOUS 1196505 HAS SOUPS 1192345 WITH SCORE 1200231.44
AT ITER 1159 NEW BEST:: SOT 12913008 SOS 7886251 HAS SOPS 7881983 HAS SOUS 1196364 HAS SOUPS 1192204 WITH SCORE 1200090.251
AT ITER 1166 NEW BEST:: SOT 12915199 SOS 7888522 HAS SOPS 7884274 HAS SOUS 1195229 HAS SOUPS 1191089 WITH SCORE 1198977.522
AT ITER 1191 NEW BEST:: SOT 12915199 SOS 7882546 HAS SOPS 7878298 HAS SOUS 1195229 HAS SOUPS 1191089 WITH SCORE 1198971.546
AT ITER 1196 NEW BEST:: SOT 12911871 SOS 7879650 HAS SOPS 7875402 HAS SOUS 1191580 HAS SOUPS 1187440 WITH SCORE 1195319.65
AT ITER 1201 NEW BEST:: SOT 12910768 SOS 7878791 HAS SOPS 7874543 HAS SOUS 1189474 HAS SOUPS 1185334 WITH SCORE 1193212.791
AT ITER 1205 NEW BEST:: SOT 12911598 SOS 7879783 HAS SOPS 7875535 HAS SOUS 1187008 HAS SOUPS 1182868 WITH SCORE 1190747.783
AT ITER 1209 NEW BEST:: SOT 12869728 SOS 7833737 HAS SOPS 7829489 HAS SOUS 1144501 HAS SOUPS 1140361 WITH SCORE 1148194.737
AT ITER 1236 NEW BEST:: SOT 12870871 SOS 7834880 HAS SOPS 7830632 HAS SOUS 1142142 HAS SOUPS 1138002 WITH SCORE 1145836.88
AT ITER 1258 NEW BEST:: SOT 12870871 SOS 7836236 HAS SOPS 7831988 HAS SOUS 1141506 HAS SOUPS 1137366 WITH SCORE 1145202.236
AT ITER 1268 NEW BEST:: SOT 12877111 SOS 7842476 HAS SOPS 7838228 HAS SOUS 1140962 HAS SOUPS 1136822 WITH SCORE 1144664.476
AT ITER 1269 NEW BEST:: SOT 12874704 SOS 7832725 HAS SOPS 7828477 HAS SOUS 1140533 HAS SOUPS 1136393 WITH SCORE 1144225.725
AT ITER 1274 NEW BEST:: SOT 12875177 SOS 7833216 HAS SOPS 7828968 HAS SOUS 1140375 HAS SOUPS 1136235 WITH SCORE 1144068.216
AT ITER 1280 NEW BEST:: SOT 12876887 SOS 7834926 HAS SOPS 7830678 HAS SOUS 1140329 HAS SOUPS 1136189 WITH SCORE 1144023.926
AT ITER 1282 NEW BEST:: SOT 12875832 SOS 7833871 HAS SOPS 7829623 HAS SOUS 1138203 HAS SOUPS 1134063 WITH SCORE 1141896.871
AT ITER 1296 NEW BEST:: SOT 12875832 SOS 7825879 HAS SOPS 7821631 HAS SOUS 1138203 HAS SOUPS 1134063 WITH SCORE 1141888.879
AT ITER 1318 NEW BEST:: SOT 12875832 SOS 7820695 HAS SOPS 7816447 HAS SOUS 1138203 HAS SOUPS 1134063 WITH SCORE 1141883.695
AT ITER 1326 NEW BEST:: SOT 12878085 SOS 7820341 HAS SOPS 7815366 HAS SOUS 1136761 HAS SOUPS 1132244 WITH SCORE 1140064.341
AT ITER 1328 NEW BEST:: SOT 12877705 SOS 7819961 HAS SOPS 7814986 HAS SOUS 1135926 HAS SOUPS 1131409 WITH SCORE 1139228.961
AT ITER 1338 NEW BEST:: SOT 12882064 SOS 7829123 HAS SOPS 7824299 HAS SOUS 1128069 HAS SOUPS 1123703 WITH SCORE 1131532.123
AT ITER 1342 NEW BEST:: SOT 12902659 SOS 7850316 HAS SOPS 7845424 HAS SOUS 1121600 HAS SOUPS 1117200 WITH SCORE 1125050.316
AT ITER 1351 NEW BEST:: SOT 12900929 SOS 7848586 HAS SOPS 7843694 HAS SOUS 1120117 HAS SOUPS 1115717 WITH SCORE 1123565.586
AT ITER 1371 NEW BEST:: SOT 12904537 SOS 7852070 HAS SOPS 7847178 HAS SOUS 1110938 HAS SOUPS 1106538 WITH SCORE 1114390.07
AT ITER 1380 NEW BEST:: SOT 12902998 SOS 7850514 HAS SOPS 7845622 HAS SOUS 1107819 HAS SOUPS 1103419 WITH SCORE 1111269.514
AT ITER 1381 NEW BEST:: SOT 12899101 SOS 7846427 HAS SOPS 7841585 HAS SOUS 1098797 HAS SOUPS 1094447 WITH SCORE 1102293.427
AT ITER 1387 NEW BEST:: SOT 12899101 SOS 7845851 HAS SOPS 7841009 HAS SOUS 1098733 HAS SOUPS 1094383 WITH SCORE 1102228.851
AT ITER 1393 NEW BEST:: SOT 12900649 SOS 7847399 HAS SOPS 7842557 HAS SOUS 1094504 HAS SOUPS 1090154 WITH SCORE 1098001.399
AT ITER 1421 NEW BEST:: SOT 12897068 SOS 7839913 HAS SOPS 7835071 HAS SOUS 1090923 HAS SOUPS 1086573 WITH SCORE 1094412.913
AT ITER 1425 NEW BEST:: SOT 12895541 SOS 7838381 HAS SOPS 7833539 HAS SOUS 1082748 HAS SOUPS 1078398 WITH SCORE 1086236.381
AT ITER 1430 NEW BEST:: SOT 12895541 SOS 7831469 HAS SOPS 7826627 HAS SOUS 1082748 HAS SOUPS 1078398 WITH SCORE 1086229.469
AT ITER 1435 NEW BEST:: SOT 12892946 SOS 7830192 HAS SOPS 7825350 HAS SOUS 1081245 HAS SOUPS 1076895 WITH SCORE 1084725.192
AT ITER 1442 NEW BEST:: SOT 12892946 SOS 7832058 HAS SOPS 7827411 HAS SOUS 1081078 HAS SOUPS 1076775 WITH SCORE 1084607.058
AT ITER 1450 NEW BEST:: SOT 12894140 SOS 7833243 HAS SOPS 7828596 HAS SOUS 1080413 HAS SOUPS 1076110 WITH SCORE 1083943.243
AT ITER 1461 NEW BEST:: SOT 12894140 SOS 7833171 HAS SOPS 7828524 HAS SOUS 1080413 HAS SOUPS 1076110 WITH SCORE 1083943.171
AT ITER 1469 NEW BEST:: SOT 12896953 SOS 7836500 HAS SOPS 7831549 HAS SOUS 1079367 HAS SOUPS 1074838 WITH SCORE 1082674.5
AT ITER 1485 NEW BEST:: SOT 12897773 SOS 7837320 HAS SOPS 7832369 HAS SOUS 1076230 HAS SOUPS 1071701 WITH SCORE 1079538.32
AT ITER 1488 NEW BEST:: SOT 12901864 SOS 7841411 HAS SOPS 7836460 HAS SOUS 1075184 HAS SOUPS 1070655 WITH SCORE 1078496.411
AT ITER 1506 NEW BEST:: SOT 12901454 SOS 7841001 HAS SOPS 7836050 HAS SOUS 1074349 HAS SOUPS 1069820 WITH SCORE 1077661.001
AT ITER 1526 NEW BEST:: SOT 12901858 SOS 7841380 HAS SOPS 7836429 HAS SOUS 1073174 HAS SOUPS 1068645 WITH SCORE 1076486.38
AT ITER 1537 NEW BEST:: SOT 12905028 SOS 7844550 HAS SOPS 7839599 HAS SOUS 1072686 HAS SOUPS 1068157 WITH SCORE 1076001.55
AT ITER 1545 NEW BEST:: SOT 12901086 SOS 7840740 HAS SOPS 7835789 HAS SOUS 1064802 HAS SOUPS 1060273 WITH SCORE 1068113.74
AT ITER 1548 NEW BEST:: SOT 12905076 SOS 7844730 HAS SOPS 7839779 HAS SOUS 1063944 HAS SOUPS 1059415 WITH SCORE 1067259.73
AT ITER 1549 NEW BEST:: SOT 12900919 SOS 7840061 HAS SOPS 7835174 HAS SOUS 1060746 HAS SOUPS 1056281 WITH SCORE 1064121.061
AT ITER 1550 NEW BEST:: SOT 12900912 SOS 7840093 HAS SOPS 7835206 HAS SOUS 1060739 HAS SOUPS 1056274 WITH SCORE 1064114.093
AT ITER 1552 NEW BEST:: SOT 12890984 SOS 7831713 HAS SOPS 7826826 HAS SOUS 1050402 HAS SOUPS 1045937 WITH SCORE 1053768.713
AT ITER 1559 NEW BEST:: SOT 12890984 SOS 7830345 HAS SOPS 7825458 HAS SOUS 1050402 HAS SOUPS 1045937 WITH SCORE 1053767.345
AT ITER 1576 NEW BEST:: SOT 12889199 SOS 7827989 HAS SOPS 7823049 HAS SOUS 1047600 HAS SOUPS 1043082 WITH SCORE 1050909.989
AT ITER 1589 NEW BEST:: SOT 12889199 SOS 7827125 HAS SOPS 7822185 HAS SOUS 1047600 HAS SOUPS 1043082 WITH SCORE 1050909.125
AT ITER 1597 NEW BEST:: SOT 12889199 SOS 7827269 HAS SOPS 7822329 HAS SOUS 1047284 HAS SOUPS 1042766 WITH SCORE 1050593.269
AT ITER 1617 NEW BEST:: SOT 12885706 SOS 7829452 HAS SOPS 7824512 HAS SOUS 1046145 HAS SOUPS 1041627 WITH SCORE 1049456.452
AT ITER 1623 NEW BEST:: SOT 12885478 SOS 7829224 HAS SOPS 7824284 HAS SOUS 1045157 HAS SOUPS 1040639 WITH SCORE 1048468.224
AT ITER 1643 NEW BEST:: SOT 12890409 SOS 7835616 HAS SOPS 7830692 HAS SOUS 1043356 HAS SOUPS 1038854 WITH SCORE 1046689.616
AT ITER 1647 NEW BEST:: SOT 12889289 SOS 7834496 HAS SOPS 7829572 HAS SOUS 1041098 HAS SOUPS 1036596 WITH SCORE 1044430.496
AT ITER 1659 NEW BEST:: SOT 12889239 SOS 7834446 HAS SOPS 7829522 HAS SOUS 1041048 HAS SOUPS 1036546 WITH SCORE 1044380.446
AT ITER 1671 NEW BEST:: SOT 12889197 SOS 7834404 HAS SOPS 7829480 HAS SOUS 1041008 HAS SOUPS 1036506 WITH SCORE 1044340.404
AT ITER 1674 NEW BEST:: SOT 12889197 SOS 7833912 HAS SOPS 7828988 HAS SOUS 1040762 HAS SOUPS 1036260 WITH SCORE 1044093.912
AT ITER 1682 NEW BEST:: SOT 12889411 SOS 7834095 HAS SOPS 7829171 HAS SOUS 1039258 HAS SOUPS 1034756 WITH SCORE 1042590.095
AT ITER 1684 NEW BEST:: SOT 12889411 SOS 7833663 HAS SOPS 7828739 HAS SOUS 1039258 HAS SOUPS 1034756 WITH SCORE 1042589.663
AT ITER 1686 NEW BEST:: SOT 12890451 SOS 7834729 HAS SOPS 7829805 HAS SOUS 1039018 HAS SOUPS 1034516 WITH SCORE 1042350.729
AT ITER 1687 NEW BEST:: SOT 12889894 SOS 7834168 HAS SOPS 7829244 HAS SOUS 1038497 HAS SOUPS 1033995 WITH SCORE 1041829.168
AT ITER 1695 NEW BEST:: SOT 12887091 SOS 7832038 HAS SOPS 7827114 HAS SOUS 1036708 HAS SOUPS 1032206 WITH SCORE 1040038.038
AT ITER 1697 NEW BEST:: SOT 12887054 SOS 7831982 HAS SOPS 7827058 HAS SOUS 1035381 HAS SOUPS 1030879 WITH SCORE 1038710.982
AT ITER 1701 NEW BEST:: SOT 12888128 SOS 7832626 HAS SOPS 7827760 HAS SOUS 1028942 HAS SOUPS 1024498 WITH SCORE 1032330.626
AT ITER 1706 NEW BEST:: SOT 12898520 SOS 7843335 HAS SOPS 7838379 HAS SOUS 1028185 HAS SOUPS 1023651 WITH SCORE 1031494.335
AT ITER 1710 NEW BEST:: SOT 12903366 SOS 7848379 HAS SOPS 7843423 HAS SOUS 1027910 HAS SOUPS 1023376 WITH SCORE 1031224.379
AT ITER 1715 NEW BEST:: SOT 12904090 SOS 7849103 HAS SOPS 7844147 HAS SOUS 1027109 HAS SOUPS 1022575 WITH SCORE 1030424.103
AT ITER 1718 NEW BEST:: SOT 12904090 SOS 7845503 HAS SOPS 7840547 HAS SOUS 1027109 HAS SOUPS 1022575 WITH SCORE 1030420.503
AT ITER 1744 NEW BEST:: SOT 12904090 SOS 7845254 HAS SOPS 7840353 HAS SOUS 1027046 HAS SOUPS 1022567 WITH SCORE 1030412.254
AT ITER 1760 NEW BEST:: SOT 12903248 SOS 7844412 HAS SOPS 7839511 HAS SOUS 1025361 HAS SOUPS 1020882 WITH SCORE 1028726.412
AT ITER 1768 NEW BEST:: SOT 12903264 SOS 7844444 HAS SOPS 7839543 HAS SOUS 1025140 HAS SOUPS 1020661 WITH SCORE 1028505.444
AT ITER 1770 NEW BEST:: SOT 12905640 SOS 7846820 HAS SOPS 7841919 HAS SOUS 1024605 HAS SOUPS 1020126 WITH SCORE 1027972.82
AT ITER 1788 NEW BEST:: SOT 12905617 SOS 7847175 HAS SOPS 7842292 HAS SOUS 1022987 HAS SOUPS 1018526 WITH SCORE 1026373.175
AT ITER 1789 NEW BEST:: SOT 12903877 SOS 7845435 HAS SOPS 7840552 HAS SOUS 1022671 HAS SOUPS 1018210 WITH SCORE 1026055.435
AT ITER 1790 NEW BEST:: SOT 12903877 SOS 7845435 HAS SOPS 7840552 HAS SOUS 1022648 HAS SOUPS 1018187 WITH SCORE 1026032.435
AT ITER 1799 NEW BEST:: SOT 12903606 SOS 7845164 HAS SOPS 7840281 HAS SOUS 1022486 HAS SOUPS 1018025 WITH SCORE 1025870.164
AT ITER 1808 NEW BEST:: SOT 12900104 SOS 7841870 HAS SOPS 7836909 HAS SOUS 1020819 HAS SOUPS 1016284 WITH SCORE 1024125.87
AT ITER 1810 NEW BEST:: SOT 12897621 SOS 7839387 HAS SOPS 7834426 HAS SOUS 1016514 HAS SOUPS 1011979 WITH SCORE 1019818.387
AT ITER 1816 NEW BEST:: SOT 12897485 SOS 7839236 HAS SOPS 7834275 HAS SOUS 1015530 HAS SOUPS 1010995 WITH SCORE 1018834.236
AT ITER 1817 NEW BEST:: SOT 12910154 SOS 7850725 HAS SOPS 7845946 HAS SOUS 1014087 HAS SOUPS 1009734 WITH SCORE 1017584.725
AT ITER 1818 NEW BEST:: SOT 12910154 SOS 7847701 HAS SOPS 7842922 HAS SOUS 1014087 HAS SOUPS 1009734 WITH SCORE 1017581.701
AT ITER 1819 NEW BEST:: SOT 12910154 SOS 7847257 HAS SOPS 7842478 HAS SOUS 1014081 HAS SOUPS 1009728 WITH SCORE 1017575.257
AT ITER 1852 NEW BEST:: SOT 12914059 SOS 7851072 HAS SOPS 7846293 HAS SOUS 1009075 HAS SOUPS 1004722 WITH SCORE 1012573.072
AT ITER 1861 NEW BEST:: SOT 12914035 SOS 7851048 HAS SOPS 7846269 HAS SOUS 1009036 HAS SOUPS 1004683 WITH SCORE 1012534.048
AT ITER 1873 NEW BEST:: SOT 12914042 SOS 7851055 HAS SOPS 7846276 HAS SOUS 1009022 HAS SOUPS 1004669 WITH SCORE 1012520.055
AT ITER 1874 NEW BEST:: SOT 12912901 SOS 7850071 HAS SOPS 7845292 HAS SOUS 1006869 HAS SOUPS 1002516 WITH SCORE 1010366.071
AT ITER 1878 NEW BEST:: SOT 12914717 SOS 7844039 HAS SOPS 7839260 HAS SOUS 1006302 HAS SOUPS 1001949 WITH SCORE 1009793.039
AT ITER 1879 NEW BEST:: SOT 12914823 SOS 7844145 HAS SOPS 7839366 HAS SOUS 1005022 HAS SOUPS 1000669 WITH SCORE 1008513.145
AT ITER 1884 NEW BEST:: SOT 12913292 SOS 7842614 HAS SOPS 7837835 HAS SOUS 1001855 HAS SOUPS 997502 WITH SCORE 1005344.614
AT ITER 1894 NEW BEST:: SOT 12912849 SOS 7842171 HAS SOPS 7837392 HAS SOUS 996143 HAS SOUPS 991790 WITH SCORE 999632.171
AT ITER 1903 NEW BEST:: SOT 12912846 SOS 7842168 HAS SOPS 7837389 HAS SOUS 996140 HAS SOUPS 991787 WITH SCORE 999629.168
AT ITER 1924 NEW BEST:: SOT 12912876 SOS 7500352 HAS SOPS 7495573 HAS SOUS 996088 HAS SOUPS 991735 WITH SCORE 999235.352
AT ITER 1929 NEW BEST:: SOT 12911129 SOS 7501000 HAS SOPS 7496260 HAS SOUS 994836 HAS SOUPS 990483 WITH SCORE 997984.0
AT ITER 1936 NEW BEST:: SOT 12910365 SOS 7500236 HAS SOPS 7495496 HAS SOUS 993294 HAS SOUPS 988941 WITH SCORE 996441.236
AT ITER 1941 NEW BEST:: SOT 12910350 SOS 7499413 HAS SOPS 7494790 HAS SOUS 993170 HAS SOUPS 988934 WITH SCORE 996433.413
AT ITER 1948 NEW BEST:: SOT 12910966 SOS 7499984 HAS SOPS 7495361 HAS SOUS 991539 HAS SOUPS 987303 WITH SCORE 994802.984
AT ITER 1957 NEW BEST:: SOT 12906265 SOS 7495040 HAS SOPS 7490524 HAS SOUS 990602 HAS SOUPS 986434 WITH SCORE 993929.04
AT ITER 1966 NEW BEST:: SOT 12899872 SOS 7488657 HAS SOPS 7484141 HAS SOUS 988281 HAS SOUPS 984113 WITH SCORE 991601.657
AT ITER 1976 NEW BEST:: SOT 12899751 SOS 7488533 HAS SOPS 7484018 HAS SOUS 988218 HAS SOUPS 984051 WITH SCORE 991539.533
AT ITER 1978 NEW BEST:: SOT 12899751 SOS 7488527 HAS SOPS 7484012 HAS SOUS 988215 HAS SOUPS 984048 WITH SCORE 991536.527
AT ITER 1979 NEW BEST:: SOT 12899104 SOS 7487721 HAS SOPS 7483259 HAS SOUS 987614 HAS SOUPS 983500 WITH SCORE 990987.721
AT ITER 1986 NEW BEST:: SOT 12899104 SOS 7484509 HAS SOPS 7480047 HAS SOUS 987570 HAS SOUPS 983456 WITH SCORE 990940.509
AT ITER 1991 NEW BEST:: SOT 12899227 SOS 7484621 HAS SOPS 7480159 HAS SOUS 987475 HAS SOUPS 983361 WITH SCORE 990845.621
AT ITER 1995 NEW BEST:: SOT 12901825 SOS 7490638 HAS SOPS 7486258 HAS SOUS 985525 HAS SOUPS 981493 WITH SCORE 988983.638
AT ITER 2000 NEW BEST:: SOT 12901825 SOS 7489720 HAS SOPS 7485340 HAS SOUS 985499 HAS SOUPS 981467 WITH SCORE 988956.72
AT ITER 2015 NEW BEST:: SOT 12901825 SOS 7491663 HAS SOPS 7487283 HAS SOUS 984900 HAS SOUPS 980868 WITH SCORE 988359.663
AT ITER 2030 NEW BEST:: SOT 12901759 SOS 7491597 HAS SOPS 7487217 HAS SOUS 984323 HAS SOUPS 980291 WITH SCORE 987782.597
AT ITER 2034 NEW BEST:: SOT 12901759 SOS 7487133 HAS SOPS 7482753 HAS SOUS 984323 HAS SOUPS 980291 WITH SCORE 987778.133
AT ITER 2036 NEW BEST:: SOT 12901598 SOS 7486972 HAS SOPS 7482592 HAS SOUS 984224 HAS SOUPS 980192 WITH SCORE 987678.972
AT ITER 2043 NEW BEST:: SOT 12901285 SOS 7486659 HAS SOPS 7482279 HAS SOUS 983414 HAS SOUPS 979382 WITH SCORE 986868.659
AT ITER 2063 NEW BEST:: SOT 12901285 SOS 7489539 HAS SOPS 7485159 HAS SOUS 982853 HAS SOUPS 978821 WITH SCORE 986310.539
AT ITER 2064 NEW BEST:: SOT 12899129 SOS 7485865 HAS SOPS 7481462 HAS SOUS 981952 HAS SOUPS 977920 WITH SCORE 985405.865
AT ITER 2068 NEW BEST:: SOT 12899880 SOS 7486635 HAS SOPS 7482232 HAS SOUS 981848 HAS SOUPS 977816 WITH SCORE 985302.635
AT ITER 2087 NEW BEST:: SOT 12898914 SOS 7485659 HAS SOPS 7481256 HAS SOUS 977655 HAS SOUPS 973623 WITH SCORE 981108.659
AT ITER 2107 NEW BEST:: SOT 12894454 SOS 7481128 HAS SOPS 7476725 HAS SOUS 974343 HAS SOUPS 970311 WITH SCORE 977792.128
AT ITER 2134 NEW BEST:: SOT 12893588 SOS 7482462 HAS SOPS 7478059 HAS SOUS 972693 HAS SOUPS 968661 WITH SCORE 976143.462
AT ITER 2141 NEW BEST:: SOT 12903625 SOS 7492499 HAS SOPS 7488096 HAS SOUS 966637 HAS SOUPS 962605 WITH SCORE 970097.499
AT ITER 2150 NEW BEST:: SOT 12903625 SOS 7490051 HAS SOPS 7485648 HAS SOUS 966637 HAS SOUPS 962605 WITH SCORE 970095.051
AT ITER 2163 NEW BEST:: SOT 12903625 SOS 7485371 HAS SOPS 7480968 HAS SOUS 966637 HAS SOUPS 962605 WITH SCORE 970090.371
AT ITER 2176 NEW BEST:: SOT 12902312 SOS 7483613 HAS SOPS 7479270 HAS SOUS 963616 HAS SOUPS 959644 WITH SCORE 967127.613
AT ITER 2179 NEW BEST:: SOT 12902312 SOS 7483585 HAS SOPS 7479242 HAS SOUS 963609 HAS SOUPS 959637 WITH SCORE 967120.585
AT ITER 2180 NEW BEST:: SOT 12902385 SOS 7483660 HAS SOPS 7479317 HAS SOUS 963558 HAS SOUPS 959586 WITH SCORE 967069.66
AT ITER 2191 NEW BEST:: SOT 12898947 SOS 7480195 HAS SOPS 7475852 HAS SOUS 961413 HAS SOUPS 957441 WITH SCORE 964921.195
AT ITER 2200 NEW BEST:: SOT 12898947 SOS 6590887 HAS SOPS 6586077 HAS SOUS 960717 HAS SOUPS 956548 WITH SCORE 963138.887
AT ITER 2202 NEW BEST:: SOT 12898947 SOS 6590579 HAS SOPS 6585779 HAS SOUS 960711 HAS SOUPS 956544 WITH SCORE 963134.579
AT ITER 2208 NEW BEST:: SOT 12908882 SOS 6600814 HAS SOPS 6595814 HAS SOUS 951708 HAS SOUPS 947341 WITH SCORE 953941.814
AT ITER 2210 NEW BEST:: SOT 12904834 SOS 6596725 HAS SOPS 6591725 HAS SOUS 948632 HAS SOUPS 944265 WITH SCORE 950861.725
AT ITER 2223 NEW BEST:: SOT 12913667 SOS 6606487 HAS SOPS 6601340 HAS SOUS 946238 HAS SOUPS 941724 WITH SCORE 948330.487
AT ITER 2224 NEW BEST:: SOT 12914730 SOS 6607550 HAS SOPS 6602403 HAS SOUS 943102 HAS SOUPS 938588 WITH SCORE 945195.55
AT ITER 2230 NEW BEST:: SOT 12914714 SOS 6607534 HAS SOPS 6602387 HAS SOUS 943086 HAS SOUPS 938572 WITH SCORE 945179.534
AT ITER 2236 NEW BEST:: SOT 12914708 SOS 6607528 HAS SOPS 6602381 HAS SOUS 943080 HAS SOUPS 938566 WITH SCORE 945173.528
AT ITER 2239 NEW BEST:: SOT 12914708 SOS 6601840 HAS SOPS 6596693 HAS SOUS 943080 HAS SOUPS 938566 WITH SCORE 945167.84
AT ITER 2251 NEW BEST:: SOT 12915889 SOS 6603291 HAS SOPS 6598084 HAS SOUS 943060 HAS SOUPS 938516 WITH SCORE 945119.291
AT ITER 2255 NEW BEST:: SOT 12922082 SOS 6609484 HAS SOPS 6604277 HAS SOUS 939834 HAS SOUPS 935290 WITH SCORE 941899.484
AT ITER 2272 NEW BEST:: SOT 12921980 SOS 6609382 HAS SOPS 6604175 HAS SOUS 939446 HAS SOUPS 934902 WITH SCORE 941511.382
AT ITER 2286 NEW BEST:: SOT 12924765 SOS 6615720 HAS SOPS 6610626 HAS SOUS 937744 HAS SOUPS 933313 WITH SCORE 939928.72
AT ITER 2301 NEW BEST:: SOT 12924765 SOS 6615360 HAS SOPS 6610322 HAS SOUS 937688 HAS SOUPS 933313 WITH SCORE 939928.36
AT ITER 2313 NEW BEST:: SOT 12920679 SOS 6611274 HAS SOPS 6606236 HAS SOUS 929720 HAS SOUPS 925345 WITH SCORE 931956.274
AT ITER 2316 NEW BEST:: SOT 12919486 SOS 6610081 HAS SOPS 6605043 HAS SOUS 927207 HAS SOUPS 922832 WITH SCORE 929442.081
AT ITER 2322 NEW BEST:: SOT 12918434 SOS 6609015 HAS SOPS 6603977 HAS SOUS 921721 HAS SOUPS 917346 WITH SCORE 923955.015
AT ITER 2328 NEW BEST:: SOT 12919020 SOS 6609541 HAS SOPS 6604503 HAS SOUS 918635 HAS SOUPS 914260 WITH SCORE 920869.541
AT ITER 2351 NEW BEST:: SOT 12918893 SOS 6607717 HAS SOPS 6602992 HAS SOUS 915902 HAS SOUPS 911702 WITH SCORE 918309.717
AT ITER 2361 NEW BEST:: SOT 12918900 SOS 6607724 HAS SOPS 6602999 HAS SOUS 915768 HAS SOUPS 911568 WITH SCORE 918175.724
AT ITER 2363 NEW BEST:: SOT 12919228 SOS 6608062 HAS SOPS 6603337 HAS SOUS 915583 HAS SOUPS 911383 WITH SCORE 917991.062
AT ITER 2371 NEW BEST:: SOT 12919099 SOS 6626825 HAS SOPS 6621373 HAS SOUS 914059 HAS SOUPS 909541 WITH SCORE 916167.825
AT ITER 2414 NEW BEST:: SOT 12917771 SOS 6625497 HAS SOPS 6620045 HAS SOUS 911379 HAS SOUPS 906861 WITH SCORE 913486.497
AT ITER 2430 NEW BEST:: SOT 12917877 SOS 6625568 HAS SOPS 6620116 HAS SOUS 911345 HAS SOUPS 906827 WITH SCORE 913452.568
AT ITER 2435 NEW BEST:: SOT 12917877 SOS 6625514 HAS SOPS 6620062 HAS SOUS 911318 HAS SOUPS 906800 WITH SCORE 913425.514
AT ITER 2445 NEW BEST:: SOT 12917877 SOS 6625514 HAS SOPS 6620062 HAS SOUS 911304 HAS SOUPS 906786 WITH SCORE 913411.514
AT ITER 2458 NEW BEST:: SOT 12920662 SOS 6628396 HAS SOPS 6622944 HAS SOUS 910724 HAS SOUPS 906206 WITH SCORE 912834.396
AT ITER 2483 NEW BEST:: SOT 12920412 SOS 6628122 HAS SOPS 6622670 HAS SOUS 910566 HAS SOUPS 906048 WITH SCORE 912676.122
AT ITER 2492 NEW BEST:: SOT 12912099 SOS 6629411 HAS SOPS 6623959 HAS SOUS 900259 HAS SOUPS 895741 WITH SCORE 902370.411
AT ITER 2506 NEW BEST:: SOT 12912000 SOS 6629312 HAS SOPS 6623860 HAS SOUS 900203 HAS SOUPS 895685 WITH SCORE 902314.312
AT ITER 2527 NEW BEST:: SOT 12910194 SOS 6383802 HAS SOPS 6377889 HAS SOUS 900113 HAS SOUPS 895595 WITH SCORE 901978.802
AT ITER 2536 NEW BEST:: SOT 12907737 SOS 6381345 HAS SOPS 6375432 HAS SOUS 900044 HAS SOUPS 895526 WITH SCORE 901907.345
AT ITER 2547 NEW BEST:: SOT 12907737 SOS 6376305 HAS SOPS 6370392 HAS SOUS 900044 HAS SOUPS 895526 WITH SCORE 901902.305
AT ITER 2561 NEW BEST:: SOT 12907442 SOS 6376158 HAS SOPS 6370245 HAS SOUS 899504 HAS SOUPS 894986 WITH SCORE 901362.158
AT ITER 2563 NEW BEST:: SOT 12907442 SOS 6375984 HAS SOPS 6370071 HAS SOUS 899417 HAS SOUPS 894899 WITH SCORE 901274.984
AT ITER 2581 NEW BEST:: SOT 12906484 SOS 6375026 HAS SOPS 6369113 HAS SOUS 897379 HAS SOUPS 892861 WITH SCORE 899236.026
AT ITER 2589 NEW BEST:: SOT 12906544 SOS 6375086 HAS SOPS 6369173 HAS SOUS 897053 HAS SOUPS 892535 WITH SCORE 898910.086
AT ITER 2600 NEW BEST:: SOT 12906885 SOS 6375436 HAS SOPS 6369532 HAS SOUS 896909 HAS SOUPS 892400 WITH SCORE 898775.436
AT ITER 2608 NEW BEST:: SOT 12905904 SOS 6374455 HAS SOPS 6368551 HAS SOUS 896871 HAS SOUPS 892362 WITH SCORE 898736.455
AT ITER 2609 NEW BEST:: SOT 12907281 SOS 6375873 HAS SOPS 6369994 HAS SOUS 896332 HAS SOUPS 891848 WITH SCORE 898223.873
AT ITER 2611 NEW BEST:: SOT 12907281 SOS 6375832 HAS SOPS 6369953 HAS SOUS 896332 HAS SOUPS 891848 WITH SCORE 898223.832
AT ITER 2622 NEW BEST:: SOT 12907281 SOS 6375328 HAS SOPS 6369449 HAS SOUS 896332 HAS SOUPS 891848 WITH SCORE 898223.328
AT ITER 2641 NEW BEST:: SOT 12907248 SOS 6375295 HAS SOPS 6369416 HAS SOUS 896225 HAS SOUPS 891741 WITH SCORE 898116.295
AT ITER 2675 NEW BEST:: SOT 12905446 SOS 6373493 HAS SOPS 6367614 HAS SOUS 892564 HAS SOUPS 888080 WITH SCORE 894453.493
AT ITER 2697 NEW BEST:: SOT 12905446 SOS 6369389 HAS SOPS 6363510 HAS SOUS 892564 HAS SOUPS 888080 WITH SCORE 894449.389
AT ITER 2714 NEW BEST:: SOT 12905446 SOS 6366365 HAS SOPS 6360486 HAS SOUS 892564 HAS SOUPS 888080 WITH SCORE 894446.365
AT ITER 2758 NEW BEST:: SOT 12906074 SOS 6366968 HAS SOPS 6361114 HAS SOUS 892369 HAS SOUPS 887910 WITH SCORE 894276.968
AT ITER 2760 NEW BEST:: SOT 12904902 SOS 6367918 HAS SOPS 6362064 HAS SOUS 890349 HAS SOUPS 885890 WITH SCORE 892257.918
AT ITER 2764 NEW BEST:: SOT 12904902 SOS 6366766 HAS SOPS 6360912 HAS SOUS 890349 HAS SOUPS 885890 WITH SCORE 892256.766
AT ITER 2778 NEW BEST:: SOT 12899729 SOS 6361508 HAS SOPS 6355654 HAS SOUS 886786 HAS SOUPS 882327 WITH SCORE 888688.508
AT ITER 2779 NEW BEST:: SOT 12899729 SOS 6361470 HAS SOPS 6355616 HAS SOUS 886767 HAS SOUPS 882308 WITH SCORE 888669.47
AT ITER 2785 NEW BEST:: SOT 12903208 SOS 6364949 HAS SOPS 6359095 HAS SOUS 884397 HAS SOUPS 879938 WITH SCORE 886302.949
AT ITER 2786 NEW BEST:: SOT 12903189 SOS 6364955 HAS SOPS 6359101 HAS SOUS 884205 HAS SOUPS 879746 WITH SCORE 886110.955
AT ITER 2788 NEW BEST:: SOT 12903189 SOS 6364655 HAS SOPS 6358801 HAS SOUS 884055 HAS SOUPS 879596 WITH SCORE 885960.655
AT ITER 2798 NEW BEST:: SOT 12902605 SOS 6364071 HAS SOPS 6358217 HAS SOUS 883623 HAS SOUPS 879164 WITH SCORE 885528.071
AT ITER 2812 NEW BEST:: SOT 12902617 SOS 6364083 HAS SOPS 6358229 HAS SOUS 883617 HAS SOUPS 879158 WITH SCORE 885522.083
AT ITER 2822 NEW BEST:: SOT 12900348 SOS 6361814 HAS SOPS 6355960 HAS SOUS 883465 HAS SOUPS 879006 WITH SCORE 885367.814
AT ITER 2825 NEW BEST:: SOT 12900348 SOS 6361767 HAS SOPS 6355913 HAS SOUS 883418 HAS SOUPS 878959 WITH SCORE 885320.767
AT ITER 2831 NEW BEST:: SOT 12896775 SOS 6358194 HAS SOPS 6352340 HAS SOUS 876026 HAS SOUPS 871567 WITH SCORE 877925.194
AT ITER 2834 NEW BEST:: SOT 12894510 SOS 6354849 HAS SOPS 6348995 HAS SOUS 873746 HAS SOUPS 869287 WITH SCORE 875641.849
AT ITER 2849 NEW BEST:: SOT 12898629 SOS 6358968 HAS SOPS 6353114 HAS SOUS 864312 HAS SOUPS 859853 WITH SCORE 866211.968
AT ITER 2851 NEW BEST:: SOT 12898591 SOS 6358930 HAS SOPS 6353076 HAS SOUS 864274 HAS SOUPS 859815 WITH SCORE 866173.93
AT ITER 2859 NEW BEST:: SOT 12898591 SOS 6358659 HAS SOPS 6352852 HAS SOUS 864070 HAS SOUPS 859658 WITH SCORE 866016.659
AT ITER 2869 NEW BEST:: SOT 12898591 SOS 6358659 HAS SOPS 6352852 HAS SOUS 864031 HAS SOUPS 859619 WITH SCORE 865977.659
AT ITER 2870 NEW BEST:: SOT 12896989 SOS 6353417 HAS SOPS 6347662 HAS SOUS 863919 HAS SOUPS 859533 WITH SCORE 865886.417
AT ITER 2875 NEW BEST:: SOT 12895862 SOS 6352078 HAS SOPS 6346323 HAS SOUS 861429 HAS SOUPS 857043 WITH SCORE 863395.078
AT ITER 2892 NEW BEST:: SOT 12895862 SOS 6351646 HAS SOPS 6345891 HAS SOUS 861429 HAS SOUPS 857043 WITH SCORE 863394.646
AT ITER 2909 NEW BEST:: SOT 12895818 SOS 6351600 HAS SOPS 6345845 HAS SOUS 861271 HAS SOUPS 856885 WITH SCORE 863236.6
AT ITER 2910 NEW BEST:: SOT 12896136 SOS 6351872 HAS SOPS 6346117 HAS SOUS 860594 HAS SOUPS 856208 WITH SCORE 862559.872
AT ITER 2916 NEW BEST:: SOT 12899927 SOS 6356194 HAS SOPS 6350539 HAS SOUS 856363 HAS SOUPS 852077 WITH SCORE 858433.194
AT ITER 2936 NEW BEST:: SOT 12901114 SOS 6359358 HAS SOPS 6353747 HAS SOUS 854411 HAS SOUPS 850169 WITH SCORE 856528.358
AT ITER 2943 NEW BEST:: SOT 12901915 SOS 6360159 HAS SOPS 6354548 HAS SOUS 854329 HAS SOUPS 850087 WITH SCORE 856447.159
AT ITER 2946 NEW BEST:: SOT 12901328 SOS 6359572 HAS SOPS 6353961 HAS SOUS 853319 HAS SOUPS 849077 WITH SCORE 855436.572
AT ITER 2967 NEW BEST:: SOT 12901328 SOS 6359569 HAS SOPS 6353958 HAS SOUS 853319 HAS SOUPS 849077 WITH SCORE 855436.569
AT ITER 2981 NEW BEST:: SOT 12901333 SOS 6359574 HAS SOPS 6353963 HAS SOUS 853313 HAS SOUPS 849071 WITH SCORE 855430.574
AT ITER 2982 NEW BEST:: SOT 12901333 SOS 6359065 HAS SOPS 6353640 HAS SOUS 852960 HAS SOUPS 848904 WITH SCORE 855263.065
AT ITER 2997 NEW BEST:: SOT 12901333 SOS 6359065 HAS SOPS 6353640 HAS SOUS 852958 HAS SOUPS 848902 WITH SCORE 855261.065
AT ITER 2998 NEW BEST:: SOT 12900301 SOS 6328968 HAS SOPS 6324290 HAS SOUS 850072 HAS SOUPS 846294 WITH SCORE 852622.968
AT ITER 3007 NEW BEST:: SOT 12899057 SOS 6327724 HAS SOPS 6323046 HAS SOUS 844082 HAS SOUPS 840304 WITH SCORE 846631.724
AT ITER 3030 NEW BEST:: SOT 12899057 SOS 6327724 HAS SOPS 6323046 HAS SOUS 844047 HAS SOUPS 840269 WITH SCORE 846596.724
AT ITER 3037 NEW BEST:: SOT 12896894 SOS 6325693 HAS SOPS 6320924 HAS SOUS 839402 HAS SOUPS 835533 WITH SCORE 841858.693
AT ITER 3044 NEW BEST:: SOT 12894513 SOS 6323358 HAS SOPS 6318589 HAS SOUS 834693 HAS SOUPS 830824 WITH SCORE 837147.358
AT ITER 3063 NEW BEST:: SOT 12894513 SOS 6318822 HAS SOPS 6314053 HAS SOUS 834693 HAS SOUPS 830824 WITH SCORE 837142.822
AT ITER 3084 NEW BEST:: SOT 12909892 SOS 6338511 HAS SOPS 6333790 HAS SOUS 834414 HAS SOUPS 830545 WITH SCORE 836883.511
AT ITER 3128 NEW BEST:: SOT 12909894 SOS 6338513 HAS SOPS 6333792 HAS SOUS 834267 HAS SOUPS 830398 WITH SCORE 836736.513
AT ITER 3140 NEW BEST:: SOT 12909944 SOS 6338563 HAS SOPS 6333842 HAS SOUS 834211 HAS SOUPS 830342 WITH SCORE 836680.563
AT ITER 3146 NEW BEST:: SOT 12909320 SOS 6337954 HAS SOPS 6333233 HAS SOUS 833533 HAS SOUPS 829664 WITH SCORE 836001.954
AT ITER 3156 NEW BEST:: SOT 12910172 SOS 6339959 HAS SOPS 6335244 HAS SOUS 832688 HAS SOUPS 828825 WITH SCORE 835164.959
AT ITER 3165 NEW BEST:: SOT 12910172 SOS 6339764 HAS SOPS 6335049 HAS SOUS 832673 HAS SOUPS 828810 WITH SCORE 835149.764
AT ITER 3168 NEW BEST:: SOT 12910169 SOS 6339760 HAS SOPS 6335045 HAS SOUS 832477 HAS SOUPS 828614 WITH SCORE 834953.76
AT ITER 3180 NEW BEST:: SOT 12909285 SOS 6339498 HAS SOPS 6334904 HAS SOUS 828759 HAS SOUPS 825017 WITH SCORE 831356.498
AT ITER 3241 NEW BEST:: SOT 12909285 SOS 6339498 HAS SOPS 6334904 HAS SOUS 828753 HAS SOUPS 825011 WITH SCORE 831350.498
AT ITER 3246 NEW BEST:: SOT 12909285 SOS 6339424 HAS SOPS 6334830 HAS SOUS 828716 HAS SOUPS 824974 WITH SCORE 831313.424
AT ITER 3265 NEW BEST:: SOT 12909285 SOS 6339424 HAS SOPS 6334830 HAS SOUS 828696 HAS SOUPS 824954 WITH SCORE 831293.424
AT ITER 3266 NEW BEST:: SOT 12909307 SOS 6339468 HAS SOPS 6334874 HAS SOUS 828446 HAS SOUPS 824704 WITH SCORE 831043.468
AT ITER 3268 NEW BEST:: SOT 12910014 SOS 6340175 HAS SOPS 6335581 HAS SOUS 828095 HAS SOUPS 824353 WITH SCORE 830693.175
AT ITER 3272 NEW BEST:: SOT 12908905 SOS 6338653 HAS SOPS 6334114 HAS SOUS 824590 HAS SOUPS 820903 WITH SCORE 827241.653
AT ITER 3274 NEW BEST:: SOT 12895447 SOS 6316123 HAS SOPS 6311584 HAS SOUS 816165 HAS SOUPS 812478 WITH SCORE 818794.123
AT ITER 3304 NEW BEST:: SOT 12895447 SOS 6321676 HAS SOPS 6317137 HAS SOUS 813890 HAS SOUPS 810203 WITH SCORE 816524.676
AT ITER 3313 NEW BEST:: SOT 12895447 SOS 6320092 HAS SOPS 6315553 HAS SOUS 813890 HAS SOUPS 810203 WITH SCORE 816523.092
AT ITER 3315 NEW BEST:: SOT 12893942 SOS 6318575 HAS SOPS 6314036 HAS SOUS 812840 HAS SOUPS 809153 WITH SCORE 815471.575
AT ITER 3316 NEW BEST:: SOT 12892431 SOS 6317064 HAS SOPS 6312525 HAS SOUS 812706 HAS SOUPS 809019 WITH SCORE 815336.064
AT ITER 3326 NEW BEST:: SOT 12891904 SOS 6316945 HAS SOPS 6312329 HAS SOUS 811993 HAS SOUPS 808229 WITH SCORE 814545.945
AT ITER 3339 NEW BEST:: SOT 12891241 SOS 6316282 HAS SOPS 6311666 HAS SOUS 810654 HAS SOUPS 806890 WITH SCORE 813206.282
AT ITER 3369 NEW BEST:: SOT 12891241 SOS 6316082 HAS SOPS 6311466 HAS SOUS 810554 HAS SOUPS 806790 WITH SCORE 813106.082
AT ITER 3386 NEW BEST:: SOT 12891241 SOS 6310106 HAS SOPS 6305490 HAS SOUS 810554 HAS SOUPS 806790 WITH SCORE 813100.106
AT ITER 3392 NEW BEST:: SOT 12891220 SOS 6310085 HAS SOPS 6305469 HAS SOUS 810521 HAS SOUPS 806757 WITH SCORE 813067.085
AT ITER 3401 NEW BEST:: SOT 12891020 SOS 6309885 HAS SOPS 6305269 HAS SOUS 810323 HAS SOUPS 806559 WITH SCORE 812868.885
AT ITER 3415 NEW BEST:: SOT 12891053 SOS 6309792 HAS SOPS 6305192 HAS SOUS 809881 HAS SOUPS 806129 WITH SCORE 812438.792
AT ITER 3428 NEW BEST:: SOT 12888398 SOS 6307146 HAS SOPS 6302552 HAS SOUS 804338 HAS SOUPS 800592 WITH SCORE 806899.146
AT ITER 3458 NEW BEST:: SOT 12888354 SOS 6307102 HAS SOPS 6302508 HAS SOUS 804294 HAS SOUPS 800548 WITH SCORE 806855.102
AT ITER 3473 NEW BEST:: SOT 12889646 SOS 6308043 HAS SOPS 6303644 HAS SOUS 803362 HAS SOUPS 799743 WITH SCORE 806051.043
AT ITER 3477 NEW BEST:: SOT 12891592 SOS 6310024 HAS SOPS 6305625 HAS SOUS 803073 HAS SOUPS 799454 WITH SCORE 805764.024
AT ITER 3520 NEW BEST:: SOT 12891592 SOS 6309970 HAS SOPS 6305571 HAS SOUS 803019 HAS SOUPS 799400 WITH SCORE 805709.97
AT ITER 3542 NEW BEST:: SOT 12892624 SOS 6340113 HAS SOPS 6335185 HAS SOUS 802048 HAS SOUPS 798157 WITH SCORE 804497.113
AT ITER 3545 NEW BEST:: SOT 12892140 SOS 6339629 HAS SOPS 6334701 HAS SOUS 801068 HAS SOUPS 797177 WITH SCORE 803516.629
AT ITER 3561 NEW BEST:: SOT 12892140 SOS 6335597 HAS SOPS 6330669 HAS SOUS 801068 HAS SOUPS 797177 WITH SCORE 803512.597
AT ITER 3567 NEW BEST:: SOT 12887820 SOS 6327763 HAS SOPS 6322468 HAS SOUS 800808 HAS SOUPS 796917 WITH SCORE 803244.763
AT ITER 3574 NEW BEST:: SOT 12894560 SOS 6343167 HAS SOPS 6337920 HAS SOUS 795044 HAS SOUPS 791201 WITH SCORE 797544.167
AT ITER 3601 NEW BEST:: SOT 12894560 SOS 6340071 HAS SOPS 6334824 HAS SOUS 795044 HAS SOUPS 791201 WITH SCORE 797541.071
AT ITER 3631 NEW BEST:: SOT 12894466 SOS 6339977 HAS SOPS 6334730 HAS SOUS 794722 HAS SOUPS 790879 WITH SCORE 797218.977
AT ITER 3637 NEW BEST:: SOT 12894466 SOS 6334093 HAS SOPS 6328846 HAS SOUS 794552 HAS SOUPS 790709 WITH SCORE 797043.093
AT ITER 3644 NEW BEST:: SOT 12888130 SOS 6327721 HAS SOPS 6322474 HAS SOUS 783543 HAS SOUPS 779700 WITH SCORE 786027.721
AT ITER 3647 NEW BEST:: SOT 12888110 SOS 6327701 HAS SOPS 6322454 HAS SOUS 783519 HAS SOUPS 779676 WITH SCORE 786003.701
AT ITER 3648 NEW BEST:: SOT 12879833 SOS 6319054 HAS SOPS 6313807 HAS SOUS 780780 HAS SOUPS 776937 WITH SCORE 783256.054
AT ITER 3670 NEW BEST:: SOT 12879833 SOS 6317974 HAS SOPS 6312727 HAS SOUS 780780 HAS SOUPS 776937 WITH SCORE 783254.974
AT ITER 3671 NEW BEST:: SOT 12879767 SOS 6317176 HAS SOPS 6311685 HAS SOUS 780518 HAS SOUPS 776675 WITH SCORE 782992.176
AT ITER 3701 NEW BEST:: SOT 12879767 SOS 6317000 HAS SOPS 6311509 HAS SOUS 780510 HAS SOUPS 776667 WITH SCORE 782984.0
AT ITER 3753 NEW BEST:: SOT 12883911 SOS 6321126 HAS SOPS 6315653 HAS SOUS 778791 HAS SOUPS 774966 WITH SCORE 781287.126
AT ITER 3755 NEW BEST:: SOT 12884737 SOS 6327429 HAS SOPS 6321956 HAS SOUS 778321 HAS SOUPS 774496 WITH SCORE 780823.429
AT ITER 3762 NEW BEST:: SOT 12890576 SOS 6338596 HAS SOPS 6333123 HAS SOUS 776431 HAS SOUPS 772606 WITH SCORE 778944.596
AT ITER 3796 NEW BEST:: SOT 12890576 SOS 6342736 HAS SOPS 6337173 HAS SOUS 775824 HAS SOUPS 771969 WITH SCORE 778311.736
AT ITER 3798 NEW BEST:: SOT 12890576 SOS 6342662 HAS SOPS 6337099 HAS SOUS 775823 HAS SOUPS 771968 WITH SCORE 778310.662
AT ITER 3832 NEW BEST:: SOT 12888147 SOS 6337180 HAS SOPS 6331617 HAS SOUS 773378 HAS SOUPS 769523 WITH SCORE 775860.18
AT ITER 3838 NEW BEST:: SOT 12889028 SOS 6354043 HAS SOPS 6348988 HAS SOUS 772716 HAS SOUPS 769369 WITH SCORE 775723.043
AT ITER 3860 NEW BEST:: SOT 12889028 SOS 6354032 HAS SOPS 6348977 HAS SOUS 772716 HAS SOUPS 769369 WITH SCORE 775723.032
AT ITER 3868 NEW BEST:: SOT 12889028 SOS 6347768 HAS SOPS 6342713 HAS SOUS 772716 HAS SOUPS 769369 WITH SCORE 775716.768
AT ITER 3894 NEW BEST:: SOT 12885460 SOS 6344200 HAS SOPS 6339145 HAS SOUS 770296 HAS SOUPS 766949 WITH SCORE 773293.2
AT ITER 3895 NEW BEST:: SOT 12881173 SOS 6336889 HAS SOPS 6331834 HAS SOUS 770047 HAS SOUPS 766700 WITH SCORE 773036.889
AT ITER 3896 NEW BEST:: SOT 12881399 SOS 6337115 HAS SOPS 6332060 HAS SOUS 766461 HAS SOUPS 763114 WITH SCORE 769451.115
AT ITER 3909 NEW BEST:: SOT 12881399 SOS 6331787 HAS SOPS 6326732 HAS SOUS 766461 HAS SOUPS 763114 WITH SCORE 769445.787
AT ITER 3913 NEW BEST:: SOT 12881399 SOS 6326810 HAS SOPS 6321977 HAS SOUS 766212 HAS SOUPS 762932 WITH SCORE 769258.81
AT ITER 3962 NEW BEST:: SOT 12877165 SOS 6332088 HAS SOPS 6327255 HAS SOUS 762850 HAS SOUPS 759570 WITH SCORE 765902.088
AT ITER 3965 NEW BEST:: SOT 12877263 SOS 6335806 HAS SOPS 6330973 HAS SOUS 761719 HAS SOUPS 758439 WITH SCORE 764774.806
AT ITER 4046 NEW BEST:: SOT 12880507 SOS 6324317 HAS SOPS 6320035 HAS SOUS 760128 HAS SOUPS 757053 WITH SCORE 763377.317
AT ITER 4059 NEW BEST:: SOT 12882596 SOS 6326406 HAS SOPS 6322124 HAS SOUS 756361 HAS SOUPS 753286 WITH SCORE 759612.406
AT ITER 4108 NEW BEST:: SOT 12882579 SOS 6326389 HAS SOPS 6322107 HAS SOUS 756348 HAS SOUPS 753273 WITH SCORE 759599.389
AT ITER 4109 NEW BEST:: SOT 12882718 SOS 6326439 HAS SOPS 6322165 HAS SOUS 755750 HAS SOUPS 752683 WITH SCORE 759009.439
AT ITER 4121 NEW BEST:: SOT 12882718 SOS 6333855 HAS SOPS 6329581 HAS SOUS 753381 HAS SOUPS 750314 WITH SCORE 756647.855
AT ITER 4134 NEW BEST:: SOT 12879942 SOS 6333389 HAS SOPS 6329115 HAS SOUS 748592 HAS SOUPS 745525 WITH SCORE 751858.389
AT ITER 4144 NEW BEST:: SOT 12879942 SOS 6331212 HAS SOPS 6326968 HAS SOUS 748561 HAS SOUPS 745494 WITH SCORE 751825.212
AT ITER 4171 NEW BEST:: SOT 12879982 SOS 6329445 HAS SOPS 6325578 HAS SOUS 746599 HAS SOUPS 743678 WITH SCORE 750007.445
AT ITER 4179 NEW BEST:: SOT 12879932 SOS 6329395 HAS SOPS 6325528 HAS SOUS 746549 HAS SOUPS 743628 WITH SCORE 749957.395
AT ITER 4225 NEW BEST:: SOT 12879932 SOS 6323563 HAS SOPS 6319696 HAS SOUS 746549 HAS SOUPS 743628 WITH SCORE 749951.563
AT ITER 4232 NEW BEST:: SOT 12882546 SOS 6326409 HAS SOPS 6322542 HAS SOUS 745354 HAS SOUPS 742433 WITH SCORE 748759.409
AT ITER 4250 NEW BEST:: SOT 12881938 SOS 6325801 HAS SOPS 6321934 HAS SOUS 744746 HAS SOUPS 741825 WITH SCORE 748150.801
AT ITER 4258 NEW BEST:: SOT 12882015 SOS 6143435 HAS SOPS 6139568 HAS SOUS 744823 HAS SOUPS 741902 WITH SCORE 748045.435
AT ITER 4262 NEW BEST:: SOT 12880384 SOS 5768924 HAS SOPS 5764584 HAS SOUS 743517 HAS SOUPS 740498 WITH SCORE 746266.924
AT ITER 4275 NEW BEST:: SOT 12880384 SOS 5777318 HAS SOPS 5772978 HAS SOUS 743036 HAS SOUPS 740017 WITH SCORE 745794.318
AT ITER 4289 NEW BEST:: SOT 12880384 SOS 5778182 HAS SOPS 5773842 HAS SOUS 743024 HAS SOUPS 740005 WITH SCORE 745783.182
AT ITER 4292 NEW BEST:: SOT 12880343 SOS 5783427 HAS SOPS 5778943 HAS SOUS 742611 HAS SOUPS 739592 WITH SCORE 745375.427
AT ITER 4327 NEW BEST:: SOT 12880343 SOS 5783409 HAS SOPS 5778925 HAS SOUS 742484 HAS SOUPS 739465 WITH SCORE 745248.409
AT ITER 4374 NEW BEST:: SOT 12881190 SOS 5784256 HAS SOPS 5779772 HAS SOUS 741578 HAS SOUPS 738559 WITH SCORE 744343.256
AT ITER 4393 NEW BEST:: SOT 12878351 SOS 5779884 HAS SOPS 5775400 HAS SOUS 740235 HAS SOUPS 737216 WITH SCORE 742995.884
AT ITER 4398 NEW BEST:: SOT 12880397 SOS 5781858 HAS SOPS 5777377 HAS SOUS 738992 HAS SOUPS 735976 WITH SCORE 741757.858
AT ITER 4411 NEW BEST:: SOT 12877204 SOS 5778665 HAS SOPS 5774184 HAS SOUS 735798 HAS SOUPS 732782 WITH SCORE 738560.665
AT ITER 4417 NEW BEST:: SOT 12878132 SOS 5782818 HAS SOPS 5778337 HAS SOUS 735711 HAS SOUPS 732695 WITH SCORE 738477.818
AT ITER 4442 NEW BEST:: SOT 12881568 SOS 5786516 HAS SOPS 5782169 HAS SOUS 734935 HAS SOUPS 732053 WITH SCORE 737839.516
AT ITER 4448 NEW BEST:: SOT 12880573 SOS 5784801 HAS SOPS 5780454 HAS SOUS 734537 HAS SOUPS 731655 WITH SCORE 737439.801
AT ITER 4481 NEW BEST:: SOT 12879678 SOS 5783906 HAS SOPS 5779559 HAS SOUS 732926 HAS SOUPS 730044 WITH SCORE 735827.906
AT ITER 4488 NEW BEST:: SOT 12880615 SOS 5771794 HAS SOPS 5767992 HAS SOUS 729578 HAS SOUPS 726902 WITH SCORE 732673.794
AT ITER 4498 NEW BEST:: SOT 12879209 SOS 5774204 HAS SOPS 5770402 HAS SOUS 728667 HAS SOUPS 725991 WITH SCORE 731765.204
AT ITER 4517 NEW BEST:: SOT 12877498 SOS 5772493 HAS SOPS 5768691 HAS SOUS 725296 HAS SOUPS 722620 WITH SCORE 728392.493
AT ITER 4542 NEW BEST:: SOT 12877471 SOS 5772466 HAS SOPS 5768664 HAS SOUS 725224 HAS SOUPS 722548 WITH SCORE 728320.466
AT ITER 4559 NEW BEST:: SOT 12876094 SOS 5771089 HAS SOPS 5767287 HAS SOUS 723637 HAS SOUPS 720961 WITH SCORE 726732.089
AT ITER 4573 NEW BEST:: SOT 12875862 SOS 5770829 HAS SOPS 5767027 HAS SOUS 721686 HAS SOUPS 719010 WITH SCORE 724780.829
AT ITER 4586 NEW BEST:: SOT 12875862 SOS 5770705 HAS SOPS 5766903 HAS SOUS 721599 HAS SOUPS 718923 WITH SCORE 724693.705
AT ITER 4605 NEW BEST:: SOT 12875862 SOS 5773319 HAS SOPS 5769330 HAS SOUS 721406 HAS SOUPS 718731 WITH SCORE 724504.319
AT ITER 4633 NEW BEST:: SOT 12875945 SOS 5782618 HAS SOPS 5778629 HAS SOUS 720876 HAS SOUPS 718201 WITH SCORE 723983.618
AT ITER 4673 NEW BEST:: SOT 12875283 SOS 5781956 HAS SOPS 5777967 HAS SOUS 719661 HAS SOUPS 716986 WITH SCORE 722767.956
AT ITER 4702 NEW BEST:: SOT 12871812 SOS 5778217 HAS SOPS 5774228 HAS SOUS 718671 HAS SOUPS 715996 WITH SCORE 721774.217
AT ITER 4716 NEW BEST:: SOT 12871811 SOS 5778216 HAS SOPS 5774227 HAS SOUS 718647 HAS SOUPS 715972 WITH SCORE 721750.216
AT ITER 4720 NEW BEST:: SOT 12871753 SOS 5778158 HAS SOPS 5774169 HAS SOUS 718508 HAS SOUPS 715833 WITH SCORE 721611.158
AT ITER 4730 NEW BEST:: SOT 12871005 SOS 5777410 HAS SOPS 5773421 HAS SOUS 717760 HAS SOUPS 715085 WITH SCORE 720862.41
AT ITER 4736 NEW BEST:: SOT 12871012 SOS 5776920 HAS SOPS 5772931 HAS SOUS 717760 HAS SOUPS 715085 WITH SCORE 720861.92
AT ITER 4741 NEW BEST:: SOT 12871012 SOS 5776914 HAS SOPS 5772925 HAS SOUS 717757 HAS SOUPS 715082 WITH SCORE 720858.914
AT ITER 4784 NEW BEST:: SOT 12868025 SOS 5773927 HAS SOPS 5769938 HAS SOUS 715598 HAS SOUPS 712923 WITH SCORE 718696.927
AT ITER 4799 NEW BEST:: SOT 12863184 SOS 5758070 HAS SOPS 5754081 HAS SOUS 713965 HAS SOUPS 711290 WITH SCORE 717048.07
AT ITER 4831 NEW BEST:: SOT 12863184 SOS 5757138 HAS SOPS 5753193 HAS SOUS 713827 HAS SOUPS 711195 WITH SCORE 716952.138
AT ITER 4844 NEW BEST:: SOT 12862358 SOS 5756130 HAS SOPS 5752178 HAS SOUS 713500 HAS SOUPS 710868 WITH SCORE 716624.13
AT ITER 4875 NEW BEST:: SOT 12862331 SOS 5756103 HAS SOPS 5752151 HAS SOUS 713482 HAS SOUPS 710850 WITH SCORE 716606.103
AT ITER 4881 NEW BEST:: SOT 12866608 SOS 5759958 HAS SOPS 5756065 HAS SOUS 712475 HAS SOUPS 709902 WITH SCORE 715661.958
AT ITER 4882 NEW BEST:: SOT 12866608 SOS 5759924 HAS SOPS 5756031 HAS SOUS 712458 HAS SOUPS 709885 WITH SCORE 715644.924
AT ITER 4886 NEW BEST:: SOT 12866608 SOS 5759877 HAS SOPS 5755984 HAS SOUS 712411 HAS SOUPS 709838 WITH SCORE 715597.877
AT ITER 4907 NEW BEST:: SOT 12866717 SOS 5760625 HAS SOPS 5756732 HAS SOUS 711935 HAS SOUPS 709362 WITH SCORE 715122.625
AT ITER 4922 NEW BEST:: SOT 12865905 SOS 5759813 HAS SOPS 5755920 HAS SOUS 711251 HAS SOUPS 708678 WITH SCORE 714437.813
AT ITER 4925 NEW BEST:: SOT 12865959 SOS 5759867 HAS SOPS 5755974 HAS SOUS 711217 HAS SOUPS 708644 WITH SCORE 714403.867
AT ITER 4934 NEW BEST:: SOT 12863446 SOS 5745374 HAS SOPS 5741481 HAS SOUS 708620 HAS SOUPS 706047 WITH SCORE 711792.374
AT ITER 4936 NEW BEST:: SOT 12862927 SOS 5744997 HAS SOPS 5741104 HAS SOUS 707637 HAS SOUPS 705064 WITH SCORE 710808.997
AT ITER 4943 NEW BEST:: SOT 12862927 SOS 5744853 HAS SOPS 5740960 HAS SOUS 707637 HAS SOUPS 705064 WITH SCORE 710808.853
AT ITER 4954 NEW BEST:: SOT 12862827 SOS 5744753 HAS SOPS 5740860 HAS SOUS 707439 HAS SOUPS 704866 WITH SCORE 710610.753
AT ITER 5017 NEW BEST:: SOT 12864257 SOS 5746149 HAS SOPS 5742290 HAS SOUS 706867 HAS SOUPS 704328 WITH SCORE 710074.149
AT ITER 5033 NEW BEST:: SOT 12864005 SOS 5745897 HAS SOPS 5742038 HAS SOUS 706705 HAS SOUPS 704166 WITH SCORE 709911.897
AT ITER 5048 NEW BEST:: SOT 12860125 SOS 5742017 HAS SOPS 5738158 HAS SOUS 703318 HAS SOUPS 700779 WITH SCORE 706521.017
AT ITER 5057 NEW BEST:: SOT 12860125 SOS 5741909 HAS SOPS 5738050 HAS SOUS 703264 HAS SOUPS 700725 WITH SCORE 706466.909
AT ITER 5060 NEW BEST:: SOT 12860125 SOS 5741681 HAS SOPS 5737822 HAS SOUS 703150 HAS SOUPS 700611 WITH SCORE 706352.681
AT ITER 5063 NEW BEST:: SOT 12860089 SOS 5741645 HAS SOPS 5737786 HAS SOUS 703149 HAS SOUPS 700610 WITH SCORE 706351.645
AT ITER 5066 NEW BEST:: SOT 12858266 SOS 5739822 HAS SOPS 5735963 HAS SOUS 700677 HAS SOUPS 698138 WITH SCORE 703877.822
AT ITER 5084 NEW BEST:: SOT 12865980 SOS 5755096 HAS SOPS 5751237 HAS SOUS 697658 HAS SOUPS 695119 WITH SCORE 700874.096
AT ITER 5087 NEW BEST:: SOT 12863794 SOS 5749598 HAS SOPS 5745647 HAS SOUS 697450 HAS SOUPS 694857 WITH SCORE 700606.598
AT ITER 5090 NEW BEST:: SOT 12863780 SOS 5749584 HAS SOPS 5745633 HAS SOUS 697436 HAS SOUPS 694843 WITH SCORE 700592.584
AT ITER 5113 NEW BEST:: SOT 12862959 SOS 5752920 HAS SOPS 5748969 HAS SOUS 696415 HAS SOUPS 693822 WITH SCORE 699574.92
AT ITER 5129 NEW BEST:: SOT 12862980 SOS 5752903 HAS SOPS 5748952 HAS SOUS 696377 HAS SOUPS 693784 WITH SCORE 699536.903
AT ITER 5130 NEW BEST:: SOT 12844770 SOS 5721601 HAS SOPS 5717650 HAS SOUS 692135 HAS SOUPS 689542 WITH SCORE 695263.601
AT ITER 5159 NEW BEST:: SOT 12847726 SOS 5717386 HAS SOPS 5713644 HAS SOUS 690382 HAS SOUPS 687894 WITH SCORE 693611.386
AT ITER 5160 NEW BEST:: SOT 12854494 SOS 5729410 HAS SOPS 5725668 HAS SOUS 689982 HAS SOUPS 687494 WITH SCORE 693223.41
AT ITER 5170 NEW BEST:: SOT 12854494 SOS 5728060 HAS SOPS 5724318 HAS SOUS 689847 HAS SOUPS 687359 WITH SCORE 693087.06
AT ITER 5172 NEW BEST:: SOT 12854259 SOS 5727825 HAS SOPS 5724083 HAS SOUS 689317 HAS SOUPS 686829 WITH SCORE 692556.825
AT ITER 5210 NEW BEST:: SOT 12854035 SOS 5730769 HAS SOPS 5727027 HAS SOUS 689118 HAS SOUPS 686630 WITH SCORE 692360.769
AT ITER 5218 NEW BEST:: SOT 12853530 SOS 5730280 HAS SOPS 5726538 HAS SOUS 688108 HAS SOUPS 685620 WITH SCORE 691350.28
AT ITER 5224 NEW BEST:: SOT 12853264 SOS 5730014 HAS SOPS 5726272 HAS SOUS 687931 HAS SOUPS 685443 WITH SCORE 691173.014
AT ITER 5253 NEW BEST:: SOT 12853290 SOS 5707876 HAS SOPS 5705145 HAS SOUS 684947 HAS SOUPS 682777 WITH SCORE 688484.876
AT ITER 5259 NEW BEST:: SOT 12853290 SOS 5707800 HAS SOPS 5705069 HAS SOUS 684871 HAS SOUPS 682701 WITH SCORE 688408.8
AT ITER 5260 NEW BEST:: SOT 12851608 SOS 5706118 HAS SOPS 5703387 HAS SOUS 682546 HAS SOUPS 680376 WITH SCORE 686082.118
AT ITER 5348 NEW BEST:: SOT 12851608 SOS 5706118 HAS SOPS 5703387 HAS SOUS 682540 HAS SOUPS 680370 WITH SCORE 686076.118
AT ITER 5409 NEW BEST:: SOT 12851608 SOS 5702446 HAS SOPS 5699715 HAS SOUS 681324 HAS SOUPS 679154 WITH SCORE 684856.446
AT ITER 5436 NEW BEST:: SOT 12850121 SOS 5700791 HAS SOPS 5698060 HAS SOUS 681069 HAS SOUPS 678899 WITH SCORE 684599.791
AT ITER 5459 NEW BEST:: SOT 12849501 SOS 5700171 HAS SOPS 5697440 HAS SOUS 679805 HAS SOUPS 677635 WITH SCORE 683335.171
AT ITER 5461 NEW BEST:: SOT 12847912 SOS 5693754 HAS SOPS 5691023 HAS SOUS 679456 HAS SOUPS 677286 WITH SCORE 682979.754
AT ITER 5491 NEW BEST:: SOT 12848184 SOS 5694020 HAS SOPS 5691289 HAS SOUS 679131 HAS SOUPS 676961 WITH SCORE 682655.02
AT ITER 5501 NEW BEST:: SOT 12848803 SOS 5694639 HAS SOPS 5691908 HAS SOUS 678921 HAS SOUPS 676751 WITH SCORE 682445.639
AT ITER 5518 NEW BEST:: SOT 12854531 SOS 5700367 HAS SOPS 5697636 HAS SOUS 675181 HAS SOUPS 673011 WITH SCORE 678711.367
AT ITER 5553 NEW BEST:: SOT 12854203 SOS 5700039 HAS SOPS 5697308 HAS SOUS 674501 HAS SOUPS 672331 WITH SCORE 678031.039
AT ITER 5565 NEW BEST:: SOT 12856870 SOS 5702706 HAS SOPS 5699975 HAS SOUS 674378 HAS SOUPS 672208 WITH SCORE 677910.706
AT ITER 5595 NEW BEST:: SOT 12858002 SOS 5704363 HAS SOPS 5701657 HAS SOUS 674333 HAS SOUPS 672188 WITH SCORE 677892.363
AT ITER 5633 NEW BEST:: SOT 12858002 SOS 5704345 HAS SOPS 5701639 HAS SOUS 674331 HAS SOUPS 672186 WITH SCORE 677890.345
AT ITER 5652 NEW BEST:: SOT 12858094 SOS 5704411 HAS SOPS 5701705 HAS SOUS 674147 HAS SOUPS 672002 WITH SCORE 677706.411
AT ITER 5656 NEW BEST:: SOT 12858092 SOS 5704409 HAS SOPS 5701703 HAS SOUS 674101 HAS SOUPS 671956 WITH SCORE 677660.409
AT ITER 5662 NEW BEST:: SOT 12855556 SOS 5699896 HAS SOPS 5697146 HAS SOUS 673097 HAS SOUPS 670908 WITH SCORE 676607.896
AT ITER 5672 NEW BEST:: SOT 12854843 SOS 5708629 HAS SOPS 5706018 HAS SOUS 671704 HAS SOUPS 669638 WITH SCORE 675346.629
AT ITER 5675 NEW BEST:: SOT 12854891 SOS 5708677 HAS SOPS 5706066 HAS SOUS 671378 HAS SOUPS 669312 WITH SCORE 675020.677
AT ITER 5684 NEW BEST:: SOT 12854891 SOS 5708677 HAS SOPS 5706066 HAS SOUS 671370 HAS SOUPS 669304 WITH SCORE 675012.677
AT ITER 5685 NEW BEST:: SOT 12854870 SOS 5708347 HAS SOPS 5705736 HAS SOUS 671349 HAS SOUPS 669283 WITH SCORE 674991.347
AT ITER 5688 NEW BEST:: SOT 12854476 SOS 5707401 HAS SOPS 5704802 HAS SOUS 671183 HAS SOUPS 669121 WITH SCORE 674828.401
AT ITER 5780 NEW BEST:: SOT 12854764 SOS 5707689 HAS SOPS 5705090 HAS SOUS 670742 HAS SOUPS 668680 WITH SCORE 674387.689
AT ITER 5784 NEW BEST:: SOT 12854804 SOS 5707766 HAS SOPS 5705130 HAS SOUS 670751 HAS SOUPS 668652 WITH SCORE 674359.766
AT ITER 5816 NEW BEST:: SOT 12854804 SOS 5707753 HAS SOPS 5705117 HAS SOUS 670751 HAS SOUPS 668652 WITH SCORE 674359.753
AT ITER 5823 NEW BEST:: SOT 12854804 SOS 5703937 HAS SOPS 5701301 HAS SOUS 669649 HAS SOUPS 667550 WITH SCORE 673253.937
AT ITER 5829 NEW BEST:: SOT 12850844 SOS 5697673 HAS SOPS 5695037 HAS SOUS 667821 HAS SOUPS 665722 WITH SCORE 671419.673
AT ITER 5845 NEW BEST:: SOT 12850844 SOS 5697361 HAS SOPS 5694725 HAS SOUS 667743 HAS SOUPS 665644 WITH SCORE 671341.361
AT ITER 5873 NEW BEST:: SOT 12850013 SOS 5696530 HAS SOPS 5693894 HAS SOUS 666245 HAS SOUPS 664146 WITH SCORE 669842.53
AT ITER 5891 NEW BEST:: SOT 12850713 SOS 5697230 HAS SOPS 5694594 HAS SOUS 666076 HAS SOUPS 663977 WITH SCORE 669674.23
AT ITER 5900 NEW BEST:: SOT 12850678 SOS 5697033 HAS SOPS 5694421 HAS SOUS 666025 HAS SOUPS 663926 WITH SCORE 669623.033
AT ITER 5927 NEW BEST:: SOT 12850678 SOS 5696817 HAS SOPS 5694205 HAS SOUS 666025 HAS SOUPS 663926 WITH SCORE 669622.817
AT ITER 5932 NEW BEST:: SOT 12851180 SOS 5697319 HAS SOPS 5694707 HAS SOUS 664207 HAS SOUPS 662108 WITH SCORE 667805.319
AT ITER 5970 NEW BEST:: SOT 12850576 SOS 5696715 HAS SOPS 5694103 HAS SOUS 662424 HAS SOUPS 660325 WITH SCORE 666021.715
AT ITER 5974 NEW BEST:: SOT 12850438 SOS 5696577 HAS SOPS 5693965 HAS SOUS 662345 HAS SOUPS 660246 WITH SCORE 665942.577
AT ITER 5991 NEW BEST:: SOT 12850220 SOS 5696359 HAS SOPS 5693747 HAS SOUS 661918 HAS SOUPS 659819 WITH SCORE 665515.359
AT ITER 5994 NEW BEST:: SOT 12850220 SOS 5696326 HAS SOPS 5693714 HAS SOUS 661885 HAS SOUPS 659786 WITH SCORE 665482.326
AT ITER 5997 NEW BEST:: SOT 12849456 SOS 5695562 HAS SOPS 5692950 HAS SOUS 660386 HAS SOUPS 658287 WITH SCORE 663982.562
AT ITER 6007 NEW BEST:: SOT 12849742 SOS 5695833 HAS SOPS 5693221 HAS SOUS 659456 HAS SOUPS 657357 WITH SCORE 663052.833
AT ITER 6014 NEW BEST:: SOT 12849742 SOS 5695827 HAS SOPS 5693215 HAS SOUS 659453 HAS SOUPS 657354 WITH SCORE 663049.827
AT ITER 6054 NEW BEST:: SOT 12849742 SOS 5695780 HAS SOPS 5693180 HAS SOUS 659453 HAS SOUPS 657354 WITH SCORE 663049.78
AT ITER 6068 NEW BEST:: SOT 12849435 SOS 5694704 HAS SOPS 5692115 HAS SOUS 658689 HAS SOUPS 656590 WITH SCORE 662284.704
AT ITER 6076 NEW BEST:: SOT 12849435 SOS 5701909 HAS SOPS 5699320 HAS SOUS 655301 HAS SOUPS 653202 WITH SCORE 658903.909
AT ITER 6083 NEW BEST:: SOT 12853744 SOS 5709674 HAS SOPS 5707085 HAS SOUS 654210 HAS SOUPS 652111 WITH SCORE 657820.674
AT ITER 6085 NEW BEST:: SOT 12853743 SOS 5709673 HAS SOPS 5707084 HAS SOUS 654209 HAS SOUPS 652110 WITH SCORE 657819.673
AT ITER 6094 NEW BEST:: SOT 12857523 SOS 5729578 HAS SOPS 5726989 HAS SOUS 652102 HAS SOUPS 650003 WITH SCORE 655732.578
AT ITER 6099 NEW BEST:: SOT 12857523 SOS 5729542 HAS SOPS 5726953 HAS SOUS 652102 HAS SOUPS 650003 WITH SCORE 655732.542
AT ITER 6103 NEW BEST:: SOT 12857523 SOS 5729528 HAS SOPS 5726939 HAS SOUS 652102 HAS SOUPS 650003 WITH SCORE 655732.528
AT ITER 6113 NEW BEST:: SOT 12857570 SOS 5729575 HAS SOPS 5726986 HAS SOUS 652084 HAS SOUPS 649985 WITH SCORE 655714.575
AT ITER 6116 NEW BEST:: SOT 12857529 SOS 5729534 HAS SOPS 5726945 HAS SOUS 652037 HAS SOUPS 649938 WITH SCORE 655667.534
AT ITER 6118 NEW BEST:: SOT 12857436 SOS 5729441 HAS SOPS 5726852 HAS SOUS 651989 HAS SOUPS 649890 WITH SCORE 655619.441
AT ITER 6130 NEW BEST:: SOT 12853140 SOS 5725145 HAS SOPS 5722556 HAS SOUS 649815 HAS SOUPS 647716 WITH SCORE 653441.145
AT ITER 6144 NEW BEST:: SOT 12850143 SOS 5722016 HAS SOPS 5719427 HAS SOUS 648875 HAS SOUPS 646776 WITH SCORE 652498.016
AT ITER 6179 NEW BEST:: SOT 12850143 SOS 5720778 HAS SOPS 5718189 HAS SOUS 648267 HAS SOUPS 646168 WITH SCORE 651888.778
AT ITER 6215 NEW BEST:: SOT 12852702 SOS 5723337 HAS SOPS 5720748 HAS SOUS 647900 HAS SOUPS 645801 WITH SCORE 651524.337
AT ITER 6234 NEW BEST:: SOT 12852702 SOS 5722473 HAS SOPS 5719884 HAS SOUS 647900 HAS SOUPS 645801 WITH SCORE 651523.473
AT ITER 6273 NEW BEST:: SOT 12855904 SOS 5725675 HAS SOPS 5723086 HAS SOUS 647083 HAS SOUPS 644984 WITH SCORE 650709.675
AT ITER 6284 NEW BEST:: SOT 12857544 SOS 5733261 HAS SOPS 5730672 HAS SOUS 644515 HAS SOUPS 642416 WITH SCORE 648149.261
AT ITER 6309 NEW BEST:: SOT 12857544 SOS 5733223 HAS SOPS 5730634 HAS SOUS 644477 HAS SOUPS 642378 WITH SCORE 648111.223
AT ITER 6310 NEW BEST:: SOT 12857544 SOS 5733214 HAS SOPS 5730625 HAS SOUS 644468 HAS SOUPS 642369 WITH SCORE 648102.214
AT ITER 6341 NEW BEST:: SOT 12858271 SOS 5735165 HAS SOPS 5732576 HAS SOUS 644073 HAS SOUPS 641974 WITH SCORE 647709.165
AT ITER 6399 NEW BEST:: SOT 12858249 SOS 5735143 HAS SOPS 5732554 HAS SOUS 644046 HAS SOUPS 641947 WITH SCORE 647682.143
AT ITER 6401 NEW BEST:: SOT 12858601 SOS 5736677 HAS SOPS 5734088 HAS SOUS 643699 HAS SOUPS 641600 WITH SCORE 647336.677
AT ITER 6415 NEW BEST:: SOT 12858366 SOS 5736442 HAS SOPS 5733853 HAS SOUS 643492 HAS SOUPS 641393 WITH SCORE 647129.442
AT ITER 6460 NEW BEST:: SOT 12857182 SOS 5735258 HAS SOPS 5732669 HAS SOUS 643039 HAS SOUPS 640940 WITH SCORE 646675.258
AT ITER 6469 NEW BEST:: SOT 12858894 SOS 5736984 HAS SOPS 5734395 HAS SOUS 642984 HAS SOUPS 640885 WITH SCORE 646621.984
AT ITER 6503 NEW BEST:: SOT 12858844 SOS 5736934 HAS SOPS 5734345 HAS SOUS 642881 HAS SOUPS 640782 WITH SCORE 646518.934
AT ITER 6586 NEW BEST:: SOT 12858399 SOS 5736489 HAS SOPS 5733900 HAS SOUS 642583 HAS SOUPS 640484 WITH SCORE 646220.489
AT ITER 6597 NEW BEST:: SOT 12858384 SOS 5736474 HAS SOPS 5733885 HAS SOUS 642546 HAS SOUPS 640447 WITH SCORE 646183.474
AT ITER 6608 NEW BEST:: SOT 12858384 SOS 5736464 HAS SOPS 5733875 HAS SOUS 642536 HAS SOUPS 640437 WITH SCORE 646173.464
AT ITER 6616 NEW BEST:: SOT 12853183 SOS 5709551 HAS SOPS 5706942 HAS SOUS 640656 HAS SOUPS 638548 WITH SCORE 644257.551
AT ITER 6645 NEW BEST:: SOT 12853183 SOS 5708399 HAS SOPS 5705790 HAS SOUS 640656 HAS SOUPS 638548 WITH SCORE 644256.399
AT ITER 6647 NEW BEST:: SOT 12851703 SOS 5706795 HAS SOPS 5704135 HAS SOUS 640563 HAS SOUPS 638404 WITH SCORE 644110.795
AT ITER 6668 NEW BEST:: SOT 12851703 SOS 5706789 HAS SOPS 5704129 HAS SOUS 640563 HAS SOUPS 638404 WITH SCORE 644110.789
AT ITER 6698 NEW BEST:: SOT 12851700 SOS 5706786 HAS SOPS 5704126 HAS SOUS 640557 HAS SOUPS 638398 WITH SCORE 644104.786
AT ITER 6761 NEW BEST:: SOT 12848264 SOS 5703350 HAS SOPS 5700690 HAS SOUS 633569 HAS SOUPS 631410 WITH SCORE 637113.35
AT ITER 6786 NEW BEST:: SOT 12850355 SOS 5705441 HAS SOPS 5702781 HAS SOUS 633180 HAS SOUPS 631021 WITH SCORE 636726.441
AT ITER 6800 NEW BEST:: SOT 12850339 SOS 5705425 HAS SOPS 5702765 HAS SOUS 633178 HAS SOUPS 631019 WITH SCORE 636724.425
AT ITER 6807 NEW BEST:: SOT 12843453 SOS 5697875 HAS SOPS 5695215 HAS SOUS 631574 HAS SOUPS 629415 WITH SCORE 635112.875
AT ITER 6815 NEW BEST:: SOT 12842268 SOS 5696118 HAS SOPS 5693458 HAS SOUS 631563 HAS SOUPS 629404 WITH SCORE 635100.118
AT ITER 6816 NEW BEST:: SOT 12838959 SOS 5692809 HAS SOPS 5690149 HAS SOUS 630260 HAS SOUPS 628101 WITH SCORE 633793.809
AT ITER 6825 NEW BEST:: SOT 12838900 SOS 5692750 HAS SOPS 5690090 HAS SOUS 630166 HAS SOUPS 628007 WITH SCORE 633699.75
AT ITER 6875 NEW BEST:: SOT 12838773 SOS 5692623 HAS SOPS 5689963 HAS SOUS 629978 HAS SOUPS 627819 WITH SCORE 633511.623
AT ITER 6897 NEW BEST:: SOT 12835811 SOS 5689661 HAS SOPS 5687001 HAS SOUS 628454 HAS SOUPS 626295 WITH SCORE 631984.661
AT ITER 6967 NEW BEST:: SOT 12835796 SOS 5689646 HAS SOPS 5686986 HAS SOUS 628439 HAS SOUPS 626280 WITH SCORE 631969.646
AT ITER 6993 NEW BEST:: SOT 12833329 SOS 5687179 HAS SOPS 5684519 HAS SOUS 627634 HAS SOUPS 625475 WITH SCORE 631162.179
AT ITER 7007 NEW BEST:: SOT 12828866 SOS 5605602 HAS SOPS 5602864 HAS SOUS 624945 HAS SOUPS 622786 WITH SCORE 628391.602
AT ITER 7018 NEW BEST:: SOT 12828115 SOS 5603830 HAS SOPS 5601135 HAS SOUS 624080 HAS SOUPS 621936 WITH SCORE 627539.83
AT ITER 7093 NEW BEST:: SOT 12827999 SOS 5603796 HAS SOPS 5601101 HAS SOUS 623887 HAS SOUPS 621743 WITH SCORE 627346.796
AT ITER 7106 NEW BEST:: SOT 12828096 SOS 5603874 HAS SOPS 5601160 HAS SOUS 623884 HAS SOUPS 621721 WITH SCORE 627324.874
AT ITER 7110 NEW BEST:: SOT 12828633 SOS 5604411 HAS SOPS 5601697 HAS SOUS 621151 HAS SOUPS 618988 WITH SCORE 624592.411
AT ITER 7139 NEW BEST:: SOT 12828290 SOS 5604074 HAS SOPS 5601354 HAS SOUS 620441 HAS SOUPS 618272 WITH SCORE 623876.074
AT ITER 7162 NEW BEST:: SOT 12828260 SOS 5604044 HAS SOPS 5601324 HAS SOUS 620407 HAS SOUPS 618238 WITH SCORE 623842.044
AT ITER 7187 NEW BEST:: SOT 12828260 SOS 5604094 HAS SOPS 5601342 HAS SOUS 620375 HAS SOUPS 618206 WITH SCORE 623810.094
AT ITER 7192 NEW BEST:: SOT 12827697 SOS 5603531 HAS SOPS 5600768 HAS SOUS 619986 HAS SOUPS 617806 WITH SCORE 623409.531
AT ITER 7233 NEW BEST:: SOT 12827898 SOS 5603872 HAS SOPS 5601116 HAS SOUS 619877 HAS SOUPS 617704 WITH SCORE 623307.872
AT ITER 7234 NEW BEST:: SOT 12827844 SOS 5603818 HAS SOPS 5601062 HAS SOUS 619839 HAS SOUPS 617666 WITH SCORE 623269.818
AT ITER 7272 NEW BEST:: SOT 12825954 SOS 5602241 HAS SOPS 5599952 HAS SOUS 615486 HAS SOUPS 613470 WITH SCORE 619072.241
AT ITER 7314 NEW BEST:: SOT 12825954 SOS 5600513 HAS SOPS 5598224 HAS SOUS 615486 HAS SOUPS 613470 WITH SCORE 619070.513
AT ITER 7330 NEW BEST:: SOT 12823239 SOS 5521577 HAS SOPS 5519270 HAS SOUS 614221 HAS SOUPS 612205 WITH SCORE 617726.577
AT ITER 7335 NEW BEST:: SOT 12823175 SOS 5521513 HAS SOPS 5519206 HAS SOUS 614157 HAS SOUPS 612141 WITH SCORE 617662.513
AT ITER 7356 NEW BEST:: SOT 12823073 SOS 5521411 HAS SOPS 5519104 HAS SOUS 613911 HAS SOUPS 611895 WITH SCORE 617416.411
AT ITER 7458 NEW BEST:: SOT 12825726 SOS 5557848 HAS SOPS 5554624 HAS SOUS 613049 HAS SOUPS 610754 WITH SCORE 616311.848
AT ITER 7609 NEW BEST:: SOT 12825726 SOS 5557839 HAS SOPS 5554615 HAS SOUS 613049 HAS SOUPS 610754 WITH SCORE 616311.839
AT ITER 7624 NEW BEST:: SOT 12825726 SOS 5557462 HAS SOPS 5554245 HAS SOUS 613036 HAS SOUPS 610741 WITH SCORE 616298.462
AT ITER 7662 NEW BEST:: SOT 12825698 SOS 5557434 HAS SOPS 5554217 HAS SOUS 613020 HAS SOUPS 610725 WITH SCORE 616282.434
AT ITER 7721 NEW BEST:: SOT 12825618 SOS 5557354 HAS SOPS 5554137 HAS SOUS 612931 HAS SOUPS 610636 WITH SCORE 616193.354
AT ITER 7756 NEW BEST:: SOT 12825841 SOS 5557073 HAS SOPS 5553856 HAS SOUS 611869 HAS SOUPS 609574 WITH SCORE 615131.073
AT ITER 7768 NEW BEST:: SOT 12825841 SOS 5575009 HAS SOPS 5571012 HAS SOUS 611925 HAS SOUPS 609370 WITH SCORE 614945.009
AT ITER 7805 NEW BEST:: SOT 12825841 SOS 5574991 HAS SOPS 5570994 HAS SOUS 611923 HAS SOUPS 609368 WITH SCORE 614942.991
AT ITER 7833 NEW BEST:: SOT 12825825 SOS 5574975 HAS SOPS 5570978 HAS SOUS 611907 HAS SOUPS 609352 WITH SCORE 614926.975
AT ITER 7847 NEW BEST:: SOT 12825825 SOS 5574952 HAS SOPS 5571045 HAS SOUS 611750 HAS SOUPS 609225 WITH SCORE 614799.952
AT ITER 7888 NEW BEST:: SOT 12825247 SOS 5574374 HAS SOPS 5570467 HAS SOUS 611462 HAS SOUPS 608937 WITH SCORE 614511.374
AT ITER 7927 NEW BEST:: SOT 12825247 SOS 5574365 HAS SOPS 5570467 HAS SOUS 611453 HAS SOUPS 608937 WITH SCORE 614511.365
AT ITER 7959 NEW BEST:: SOT 12825059 SOS 5574035 HAS SOPS 5570135 HAS SOUS 611378 HAS SOUPS 608860 WITH SCORE 614434.035
AT ITER 8025 NEW BEST:: SOT 12825152 SOS 5571783 HAS SOPS 5567991 HAS SOUS 610027 HAS SOUPS 607563 WITH SCORE 613134.783
AT ITER 8045 NEW BEST:: SOT 12825152 SOS 5571770 HAS SOPS 5567978 HAS SOUS 610014 HAS SOUPS 607550 WITH SCORE 613121.77
AT ITER 8086 NEW BEST:: SOT 12825152 SOS 5571462 HAS SOPS 5567670 HAS SOUS 610000 HAS SOUPS 607536 WITH SCORE 613107.462
AT ITER 8102 NEW BEST:: SOT 12826002 SOS 5573824 HAS SOPS 5570032 HAS SOUS 608854 HAS SOUPS 606390 WITH SCORE 611963.824
AT ITER 8135 NEW BEST:: SOT 12824242 SOS 5572121 HAS SOPS 5568302 HAS SOUS 608629 HAS SOUPS 606138 WITH SCORE 611710.121
AT ITER 8139 NEW BEST:: SOT 12824179 SOS 5572058 HAS SOPS 5568239 HAS SOUS 608502 HAS SOUPS 606011 WITH SCORE 611583.058
AT ITER 8171 NEW BEST:: SOT 12823456 SOS 5571335 HAS SOPS 5567516 HAS SOUS 607071 HAS SOUPS 604580 WITH SCORE 610151.335
AT ITER 8182 NEW BEST:: SOT 12823400 SOS 5571279 HAS SOPS 5567460 HAS SOUS 606947 HAS SOUPS 604456 WITH SCORE 610027.279
AT ITER 8203 NEW BEST:: SOT 12819730 SOS 5566707 HAS SOPS 5562888 HAS SOUS 605988 HAS SOUPS 603497 WITH SCORE 609063.707
AT ITER 8219 NEW BEST:: SOT 12813396 SOS 5560373 HAS SOPS 5556554 HAS SOUS 601263 HAS SOUPS 598772 WITH SCORE 604332.373
AT ITER 8236 NEW BEST:: SOT 12813396 SOS 5560733 HAS SOPS 5556878 HAS SOUS 601221 HAS SOUPS 598730 WITH SCORE 604290.733
AT ITER 8245 NEW BEST:: SOT 12813336 SOS 5560673 HAS SOPS 5556818 HAS SOUS 601099 HAS SOUPS 598608 WITH SCORE 604168.673
AT ITER 8261 NEW BEST:: SOT 12815758 SOS 5563527 HAS SOPS 5559669 HAS SOUS 601064 HAS SOUPS 598570 WITH SCORE 604133.527
AT ITER 8267 NEW BEST:: SOT 12815758 SOS 5563527 HAS SOPS 5559669 HAS SOUS 601030 HAS SOUPS 598536 WITH SCORE 604099.527
AT ITER 8269 NEW BEST:: SOT 12816320 SOS 5566956 HAS SOPS 5563098 HAS SOUS 599625 HAS SOUPS 597131 WITH SCORE 602697.956
AT ITER 8285 NEW BEST:: SOT 12816406 SOS 5567042 HAS SOPS 5563184 HAS SOUS 598936 HAS SOUPS 596442 WITH SCORE 602009.042
AT ITER 8310 NEW BEST:: SOT 12803805 SOS 5538971 HAS SOPS 5535113 HAS SOUS 597735 HAS SOUPS 595241 WITH SCORE 600779.971
AT ITER 8358 NEW BEST:: SOT 12803733 SOS 5538899 HAS SOPS 5535041 HAS SOUS 597663 HAS SOUPS 595169 WITH SCORE 600707.899
AT ITER 8373 NEW BEST:: SOT 12803958 SOS 5539124 HAS SOPS 5535266 HAS SOUS 597562 HAS SOUPS 595068 WITH SCORE 600607.124
AT ITER 8414 NEW BEST:: SOT 12804822 SOS 5542776 HAS SOPS 5538918 HAS SOUS 597174 HAS SOUPS 594680 WITH SCORE 600222.776
AT ITER 8455 NEW BEST:: SOT 12805504 SOS 5543330 HAS SOPS 5539514 HAS SOUS 596894 HAS SOUPS 594421 WITH SCORE 599964.33
AT ITER 8462 NEW BEST:: SOT 12805393 SOS 5543219 HAS SOPS 5539403 HAS SOUS 596798 HAS SOUPS 594325 WITH SCORE 599868.219
AT ITER 8497 NEW BEST:: SOT 12805158 SOS 5543144 HAS SOPS 5539354 HAS SOUS 596639 HAS SOUPS 594192 WITH SCORE 599735.144
AT ITER 8502 NEW BEST:: SOT 12805158 SOS 5543144 HAS SOPS 5539354 HAS SOUS 596630 HAS SOUPS 594183 WITH SCORE 599726.144
AT ITER 8522 NEW BEST:: SOT 12805158 SOS 5543079 HAS SOPS 5539289 HAS SOUS 596625 HAS SOUPS 594178 WITH SCORE 599721.079
AT ITER 8532 NEW BEST:: SOT 12807219 SOS 5545140 HAS SOPS 5541350 HAS SOUS 596299 HAS SOUPS 593852 WITH SCORE 599397.14
AT ITER 8593 NEW BEST:: SOT 12806207 SOS 5544114 HAS SOPS 5540324 HAS SOUS 595066 HAS SOUPS 592619 WITH SCORE 598163.114
AT ITER 8613 NEW BEST:: SOT 12806107 SOS 5544014 HAS SOPS 5540224 HAS SOUS 594861 HAS SOUPS 592414 WITH SCORE 597958.014
AT ITER 8632 NEW BEST:: SOT 12805879 SOS 5543786 HAS SOPS 5539996 HAS SOUS 594400 HAS SOUPS 591953 WITH SCORE 597496.786
AT ITER 8646 NEW BEST:: SOT 12805879 SOS 5543768 HAS SOPS 5539978 HAS SOUS 594382 HAS SOUPS 591935 WITH SCORE 597478.768
AT ITER 8649 NEW BEST:: SOT 12807217 SOS 5545023 HAS SOPS 5541242 HAS SOUS 594012 HAS SOUPS 591574 WITH SCORE 597119.023
AT ITER 8660 NEW BEST:: SOT 12805781 SOS 5543587 HAS SOPS 5539806 HAS SOUS 593822 HAS SOUPS 591384 WITH SCORE 596927.587
AT ITER 8692 NEW BEST:: SOT 12805781 SOS 5542435 HAS SOPS 5538654 HAS SOUS 593822 HAS SOUPS 591384 WITH SCORE 596926.435
AT ITER 8743 NEW BEST:: SOT 12805746 SOS 5542400 HAS SOPS 5538619 HAS SOUS 593822 HAS SOUPS 591384 WITH SCORE 596926.4
AT ITER 8753 NEW BEST:: SOT 12805746 SOS 5542139 HAS SOPS 5538358 HAS SOUS 593793 HAS SOUPS 591355 WITH SCORE 596897.139
AT ITER 8834 NEW BEST:: SOT 12800030 SOS 5536423 HAS SOPS 5532642 HAS SOUS 591955 HAS SOUPS 589517 WITH SCORE 595053.423
AT ITER 8873 NEW BEST:: SOT 12800030 SOS 5536136 HAS SOPS 5532355 HAS SOUS 591922 HAS SOUPS 589484 WITH SCORE 595020.136
AT ITER 8895 NEW BEST:: SOT 12801315 SOS 5541669 HAS SOPS 5537888 HAS SOUS 591296 HAS SOUPS 588858 WITH SCORE 594399.669
AT ITER 8915 NEW BEST:: SOT 12801327 SOS 5526909 HAS SOPS 5523128 HAS SOUS 591296 HAS SOUPS 588858 WITH SCORE 594384.909
AT ITER 8935 NEW BEST:: SOT 12800324 SOS 5525906 HAS SOPS 5522125 HAS SOUS 590160 HAS SOUPS 587722 WITH SCORE 593247.906
AT ITER 8978 NEW BEST:: SOT 12800324 SOS 5525850 HAS SOPS 5522069 HAS SOUS 590104 HAS SOUPS 587666 WITH SCORE 593191.85
AT ITER 9017 NEW BEST:: SOT 12799583 SOS 5525037 HAS SOPS 5521256 HAS SOUS 590094 HAS SOUPS 587656 WITH SCORE 593181.037
AT ITER 9021 NEW BEST:: SOT 12798918 SOS 5523952 HAS SOPS 5520171 HAS SOUS 589833 HAS SOUPS 587395 WITH SCORE 592918.952
AT ITER 9038 NEW BEST:: SOT 12799284 SOS 5524318 HAS SOPS 5520537 HAS SOUS 589661 HAS SOUPS 587223 WITH SCORE 592747.318
AT ITER 9046 NEW BEST:: SOT 12799284 SOS 5524325 HAS SOPS 5520544 HAS SOUS 589654 HAS SOUPS 587216 WITH SCORE 592740.325
AT ITER 9086 NEW BEST:: SOT 12795868 SOS 5518966 HAS SOPS 5515185 HAS SOUS 587965 HAS SOUPS 585527 WITH SCORE 591045.966
AT ITER 9137 NEW BEST:: SOT 12795868 SOS 5518966 HAS SOPS 5515185 HAS SOUS 587000 HAS SOUPS 584562 WITH SCORE 590080.966
AT ITER 9138 NEW BEST:: SOT 12795314 SOS 5518412 HAS SOPS 5514631 HAS SOUS 585869 HAS SOUPS 583431 WITH SCORE 588949.412
AT ITER 9142 NEW BEST:: SOT 12795290 SOS 5518388 HAS SOPS 5514607 HAS SOUS 585845 HAS SOUPS 583407 WITH SCORE 588925.388
AT ITER 9143 NEW BEST:: SOT 12795811 SOS 5518909 HAS SOPS 5515128 HAS SOUS 583414 HAS SOUPS 580976 WITH SCORE 586494.909
AT ITER 9145 NEW BEST:: SOT 12795811 SOS 5518401 HAS SOPS 5514620 HAS SOUS 583358 HAS SOUPS 580920 WITH SCORE 586438.401
AT ITER 9193 NEW BEST:: SOT 12795649 SOS 5518239 HAS SOPS 5514458 HAS SOUS 583028 HAS SOUPS 580590 WITH SCORE 586108.239
AT ITER 9217 NEW BEST:: SOT 12795647 SOS 5518237 HAS SOPS 5514456 HAS SOUS 583026 HAS SOUPS 580588 WITH SCORE 586106.237
AT ITER 9259 NEW BEST:: SOT 12795654 SOS 5518244 HAS SOPS 5514463 HAS SOUS 582987 HAS SOUPS 580549 WITH SCORE 586067.244
AT ITER 9260 NEW BEST:: SOT 12795610 SOS 5518200 HAS SOPS 5514419 HAS SOUS 582777 HAS SOUPS 580339 WITH SCORE 585857.2
AT ITER 9299 NEW BEST:: SOT 12795606 SOS 5518196 HAS SOPS 5514415 HAS SOUS 582775 HAS SOUPS 580337 WITH SCORE 585855.196
AT ITER 9306 NEW BEST:: SOT 12795595 SOS 5518185 HAS SOPS 5514404 HAS SOUS 582753 HAS SOUPS 580315 WITH SCORE 585833.185
AT ITER 9331 NEW BEST:: SOT 12795155 SOS 5517731 HAS SOPS 5513936 HAS SOUS 582639 HAS SOUPS 580187 WITH SCORE 585704.731
AT ITER 9382 NEW BEST:: SOT 12795155 SOS 5515961 HAS SOPS 5512166 HAS SOUS 582639 HAS SOUPS 580187 WITH SCORE 585702.961
AT ITER 9428 NEW BEST:: SOT 12795155 SOS 5515979 HAS SOPS 5512184 HAS SOUS 582621 HAS SOUPS 580169 WITH SCORE 585684.979
AT ITER 9491 NEW BEST:: SOT 12795155 SOS 5515979 HAS SOPS 5512184 HAS SOUS 582616 HAS SOUPS 580164 WITH SCORE 585679.979
AT ITER 9510 NEW BEST:: SOT 12795155 SOS 5515939 HAS SOPS 5512144 HAS SOUS 582576 HAS SOUPS 580124 WITH SCORE 585639.939
AT ITER 9524 NEW BEST:: SOT 12796371 SOS 5517227 HAS SOPS 5513432 HAS SOUS 581995 HAS SOUPS 579543 WITH SCORE 585060.227
AT ITER 9567 NEW BEST:: SOT 12796241 SOS 5517097 HAS SOPS 5513302 HAS SOUS 581724 HAS SOUPS 579272 WITH SCORE 584789.097
AT ITER 9589 NEW BEST:: SOT 12796634 SOS 5517490 HAS SOPS 5513695 HAS SOUS 581467 HAS SOUPS 579015 WITH SCORE 584532.49
AT ITER 9627 NEW BEST:: SOT 12797130 SOS 5517986 HAS SOPS 5514191 HAS SOUS 581416 HAS SOUPS 578964 WITH SCORE 584481.986
AT ITER 9629 NEW BEST:: SOT 12795293 SOS 5516149 HAS SOPS 5512354 HAS SOUS 580186 HAS SOUPS 577734 WITH SCORE 583250.149
AT ITER 9631 NEW BEST:: SOT 12791738 SOS 5510564 HAS SOPS 5506769 HAS SOUS 578650 HAS SOUPS 576198 WITH SCORE 581708.564
AT ITER 9662 NEW BEST:: SOT 12792866 SOS 5512772 HAS SOPS 5508977 HAS SOUS 577851 HAS SOUPS 575399 WITH SCORE 580911.772
AT ITER 9663 NEW BEST:: SOT 12792827 SOS 5512733 HAS SOPS 5508938 HAS SOUS 577812 HAS SOUPS 575360 WITH SCORE 580872.733
AT ITER 9701 NEW BEST:: SOT 12789657 SOS 5509563 HAS SOPS 5505768 HAS SOUS 574637 HAS SOUPS 572185 WITH SCORE 577694.563
AT ITER 9704 NEW BEST:: SOT 12789653 SOS 5509559 HAS SOPS 5505764 HAS SOUS 574633 HAS SOUPS 572181 WITH SCORE 577690.559
AT ITER 9717 NEW BEST:: SOT 12791004 SOS 5510910 HAS SOPS 5507115 HAS SOUS 573922 HAS SOUPS 571470 WITH SCORE 576980.91
AT ITER 9751 NEW BEST:: SOT 12790530 SOS 5510460 HAS SOPS 5506665 HAS SOUS 573460 HAS SOUPS 571008 WITH SCORE 576518.46
AT ITER 9759 NEW BEST:: SOT 12790254 SOS 5510184 HAS SOPS 5506389 HAS SOUS 572908 HAS SOUPS 570456 WITH SCORE 575966.184
AT ITER 9794 NEW BEST:: SOT 12791183 SOS 5511257 HAS SOPS 5507462 HAS SOUS 572599 HAS SOUPS 570147 WITH SCORE 575658.257
AT ITER 9797 NEW BEST:: SOT 12791183 SOS 5511267 HAS SOPS 5507472 HAS SOUS 572580 HAS SOUPS 570128 WITH SCORE 575639.267
AT ITER 9799 NEW BEST:: SOT 12791183 SOS 5511267 HAS SOPS 5507472 HAS SOUS 572568 HAS SOUPS 570116 WITH SCORE 575627.267
AT ITER 9826 NEW BEST:: SOT 12791183 SOS 5510547 HAS SOPS 5506752 HAS SOUS 572568 HAS SOUPS 570116 WITH SCORE 575626.547
AT ITER 9868 NEW BEST:: SOT 12791183 SOS 5510493 HAS SOPS 5506698 HAS SOUS 572541 HAS SOUPS 570089 WITH SCORE 575599.493
AT ITER 9918 NEW BEST:: SOT 12791363 SOS 5510681 HAS SOPS 5506886 HAS SOUS 572281 HAS SOUPS 569829 WITH SCORE 575339.681
AT ITER 9922 NEW BEST:: SOT 12791791 SOS 5511109 HAS SOPS 5507314 HAS SOUS 572266 HAS SOUPS 569814 WITH SCORE 575325.109
AT ITER 9944 NEW BEST:: SOT 12791474 SOS 5510762 HAS SOPS 5506967 HAS SOUS 572118 HAS SOUPS 569666 WITH SCORE 575176.762
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 15967284 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16126444 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BugTracking-PT-q8m256"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BugTracking-PT-q8m256, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688200448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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