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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.2K Feb 26 06:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 06:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 06:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 06:05 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.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 07:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 07:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 06:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 06:38 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 1678467634743

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-q8m032
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m032
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 19 NEW BEST:: SOT 12971343 SOS 6064526 HAS SOPS 6060071 HAS SOUS 1653272 HAS SOUPS 1648817 WITH SCORE 1654881.526
AT ITER 24 NEW BEST:: SOT 12971308 SOS 6064527 HAS SOPS 6060072 HAS SOUS 1653194 HAS SOUPS 1648739 WITH SCORE 1654803.527
AT ITER 25 NEW BEST:: SOT 12971308 SOS 6064527 HAS SOPS 6060072 HAS SOUS 1653186 HAS SOUPS 1648731 WITH SCORE 1654795.527
AT ITER 52 NEW BEST:: SOT 12973318 SOS 6073817 HAS SOPS 6069362 HAS SOUS 1652990 HAS SOUPS 1648535 WITH SCORE 1654608.817
AT ITER 71 NEW BEST:: SOT 12973678 SOS 6086273 HAS SOPS 6081818 HAS SOUS 1651032 HAS SOUPS 1646577 WITH SCORE 1652663.273
AT ITER 78 NEW BEST:: SOT 12973814 SOS 6086371 HAS SOPS 6081954 HAS SOUS 1640685 HAS SOUPS 1636268 WITH SCORE 1642354.371
AT ITER 88 NEW BEST:: SOT 12969719 SOS 6086850 HAS SOPS 6082433 HAS SOUS 1637455 HAS SOUPS 1633038 WITH SCORE 1639124.85
AT ITER 95 NEW BEST:: SOT 12970691 SOS 6087822 HAS SOPS 6083405 HAS SOUS 1637177 HAS SOUPS 1632760 WITH SCORE 1638847.822
AT ITER 96 NEW BEST:: SOT 12970691 SOS 6084942 HAS SOPS 6080525 HAS SOUS 1637177 HAS SOUPS 1632760 WITH SCORE 1638844.942
AT ITER 100 NEW BEST:: SOT 12968540 SOS 6083176 HAS SOPS 6078759 HAS SOUS 1633188 HAS SOUPS 1628771 WITH SCORE 1634854.176
AT ITER 104 NEW BEST:: SOT 12964465 SOS 6081550 HAS SOPS 6077133 HAS SOUS 1629943 HAS SOUPS 1625526 WITH SCORE 1631607.55
AT ITER 107 NEW BEST:: SOT 12964465 SOS 6081550 HAS SOPS 6077133 HAS SOUS 1629942 HAS SOUPS 1625525 WITH SCORE 1631606.55
AT ITER 108 NEW BEST:: SOT 12964465 SOS 6081525 HAS SOPS 6077108 HAS SOUS 1629917 HAS SOUPS 1625500 WITH SCORE 1631581.525
AT ITER 122 NEW BEST:: SOT 12846434 SOS 8273795 HAS SOPS 8270177 HAS SOUS 1512890 HAS SOUPS 1509272 WITH SCORE 1517545.795
AT ITER 159 NEW BEST:: SOT 12846434 SOS 8269907 HAS SOPS 8266289 HAS SOUS 1512890 HAS SOUPS 1509272 WITH SCORE 1517541.907
AT ITER 164 NEW BEST:: SOT 12849754 SOS 8275501 HAS SOPS 8271973 HAS SOUS 1512694 HAS SOUPS 1509166 WITH SCORE 1517441.501
AT ITER 180 NEW BEST:: SOT 12849754 SOS 8275501 HAS SOPS 8271973 HAS SOUS 1512682 HAS SOUPS 1509154 WITH SCORE 1517429.501
AT ITER 188 NEW BEST:: SOT 12851595 SOS 8277594 HAS SOPS 8274066 HAS SOUS 1512368 HAS SOUPS 1508840 WITH SCORE 1517117.594
AT ITER 201 NEW BEST:: SOT 12853590 SOS 8279623 HAS SOPS 8276106 HAS SOUS 1511211 HAS SOUPS 1507694 WITH SCORE 1515973.623
AT ITER 220 NEW BEST:: SOT 12848679 SOS 8274441 HAS SOPS 8270979 HAS SOUS 1500388 HAS SOUPS 1496926 WITH SCORE 1505200.441
AT ITER 224 NEW BEST:: SOT 12849208 SOS 8275394 HAS SOPS 8271932 HAS SOUS 1492917 HAS SOUPS 1489455 WITH SCORE 1497730.394
AT ITER 226 NEW BEST:: SOT 12849208 SOS 8275394 HAS SOPS 8271932 HAS SOUS 1492910 HAS SOUPS 1489448 WITH SCORE 1497723.394
AT ITER 227 NEW BEST:: SOT 12849208 SOS 8275394 HAS SOPS 8271932 HAS SOUS 1492892 HAS SOUPS 1489430 WITH SCORE 1497705.394
AT ITER 240 NEW BEST:: SOT 12858170 SOS 8292316 HAS SOPS 8288886 HAS SOUS 1492383 HAS SOUPS 1488953 WITH SCORE 1497245.316
AT ITER 242 NEW BEST:: SOT 12857004 SOS 8291150 HAS SOPS 8287720 HAS SOUS 1491364 HAS SOUPS 1487934 WITH SCORE 1496225.15
AT ITER 243 NEW BEST:: SOT 12856211 SOS 8290357 HAS SOPS 8286927 HAS SOUS 1489777 HAS SOUPS 1486347 WITH SCORE 1494637.357
AT ITER 245 NEW BEST:: SOT 12847043 SOS 8282586 HAS SOPS 8279156 HAS SOUS 1479809 HAS SOUPS 1476379 WITH SCORE 1484661.586
AT ITER 248 NEW BEST:: SOT 12847013 SOS 8282559 HAS SOPS 8279196 HAS SOUS 1479639 HAS SOUPS 1476276 WITH SCORE 1484558.559
AT ITER 276 NEW BEST:: SOT 12846063 SOS 8281609 HAS SOPS 8278246 HAS SOUS 1477711 HAS SOUPS 1474348 WITH SCORE 1482629.609
AT ITER 280 NEW BEST:: SOT 12846063 SOS 8281417 HAS SOPS 8278054 HAS SOUS 1477679 HAS SOUPS 1474316 WITH SCORE 1482597.417
AT ITER 289 NEW BEST:: SOT 12842450 SOS 8277490 HAS SOPS 8274185 HAS SOUS 1464835 HAS SOUPS 1461530 WITH SCORE 1469807.49
AT ITER 304 NEW BEST:: SOT 12850738 SOS 8293592 HAS SOPS 8290321 HAS SOUS 1461696 HAS SOUPS 1458425 WITH SCORE 1466718.592
AT ITER 343 NEW BEST:: SOT 12850543 SOS 8293397 HAS SOPS 8290126 HAS SOUS 1461303 HAS SOUPS 1458032 WITH SCORE 1466325.397
AT ITER 347 NEW BEST:: SOT 12849086 SOS 8291940 HAS SOPS 8288669 HAS SOUS 1459201 HAS SOUPS 1455930 WITH SCORE 1464221.94
AT ITER 349 NEW BEST:: SOT 12847744 SOS 8290598 HAS SOPS 8287327 HAS SOUS 1456847 HAS SOUPS 1453576 WITH SCORE 1461866.598
AT ITER 357 NEW BEST:: SOT 12849142 SOS 8292497 HAS SOPS 8289253 HAS SOUS 1455674 HAS SOUPS 1452430 WITH SCORE 1460722.497
AT ITER 362 NEW BEST:: SOT 12843933 SOS 8287144 HAS SOPS 8283900 HAS SOUS 1448416 HAS SOUPS 1445172 WITH SCORE 1453459.144
AT ITER 377 NEW BEST:: SOT 12840982 SOS 8284193 HAS SOPS 8280949 HAS SOUS 1445048 HAS SOUPS 1441804 WITH SCORE 1450088.193
AT ITER 391 NEW BEST:: SOT 12841006 SOS 7947993 HAS SOPS 7944749 HAS SOUS 1444996 HAS SOUPS 1441752 WITH SCORE 1449699.993
AT ITER 408 NEW BEST:: SOT 12841006 SOS 7947993 HAS SOPS 7944749 HAS SOUS 1444994 HAS SOUPS 1441750 WITH SCORE 1449697.993
AT ITER 421 NEW BEST:: SOT 12841006 SOS 7943385 HAS SOPS 7940141 HAS SOUS 1444994 HAS SOUPS 1441750 WITH SCORE 1449693.385
AT ITER 432 NEW BEST:: SOT 12841244 SOS 7943623 HAS SOPS 7940379 HAS SOUS 1444536 HAS SOUPS 1441292 WITH SCORE 1449235.623
AT ITER 459 NEW BEST:: SOT 12841278 SOS 7807039 HAS SOPS 7803795 HAS SOUS 1444536 HAS SOUPS 1441292 WITH SCORE 1449099.039
AT ITER 475 NEW BEST:: SOT 12839190 SOS 7804951 HAS SOPS 7801707 HAS SOUS 1439221 HAS SOUPS 1435977 WITH SCORE 1443781.951
AT ITER 476 NEW BEST:: SOT 12839680 SOS 7805441 HAS SOPS 7802197 HAS SOUS 1434479 HAS SOUPS 1431235 WITH SCORE 1439040.441
AT ITER 481 NEW BEST:: SOT 12841259 SOS 7807266 HAS SOPS 7804022 HAS SOUS 1433297 HAS SOUPS 1430053 WITH SCORE 1437860.266
AT ITER 487 NEW BEST:: SOT 12839219 SOS 7808007 HAS SOPS 7804763 HAS SOUS 1430516 HAS SOUPS 1427272 WITH SCORE 1435080.007
AT ITER 492 NEW BEST:: SOT 12840098 SOS 7809750 HAS SOPS 7806506 HAS SOUS 1429303 HAS SOUPS 1426059 WITH SCORE 1433868.75
AT ITER 494 NEW BEST:: SOT 12839151 SOS 7808803 HAS SOPS 7805559 HAS SOUS 1428000 HAS SOUPS 1424756 WITH SCORE 1432564.803
AT ITER 496 NEW BEST:: SOT 12838407 SOS 7808043 HAS SOPS 7804799 HAS SOUS 1426496 HAS SOUPS 1423252 WITH SCORE 1431060.043
AT ITER 499 NEW BEST:: SOT 12842210 SOS 7812817 HAS SOPS 7809589 HAS SOUS 1425616 HAS SOUPS 1422388 WITH SCORE 1430200.817
AT ITER 500 NEW BEST:: SOT 12839797 SOS 7810367 HAS SOPS 7807139 HAS SOUS 1420749 HAS SOUPS 1417521 WITH SCORE 1425331.367
AT ITER 510 NEW BEST:: SOT 12838930 SOS 7813268 HAS SOPS 7810040 HAS SOUS 1419303 HAS SOUPS 1416075 WITH SCORE 1423888.268
AT ITER 522 NEW BEST:: SOT 12836528 SOS 7810395 HAS SOPS 7807086 HAS SOUS 1419032 HAS SOUPS 1415724 WITH SCORE 1423534.395
AT ITER 527 NEW BEST:: SOT 12839401 SOS 7813394 HAS SOPS 7810085 HAS SOUS 1418473 HAS SOUPS 1415165 WITH SCORE 1422978.394
AT ITER 537 NEW BEST:: SOT 12838652 SOS 7812645 HAS SOPS 7809336 HAS SOUS 1417844 HAS SOUPS 1414536 WITH SCORE 1422348.645
AT ITER 540 NEW BEST:: SOT 12837322 SOS 7811315 HAS SOPS 7808006 HAS SOUS 1412488 HAS SOUPS 1409180 WITH SCORE 1416991.315
AT ITER 587 NEW BEST:: SOT 12836414 SOS 7810407 HAS SOPS 7807098 HAS SOUS 1409483 HAS SOUPS 1406175 WITH SCORE 1413985.407
AT ITER 600 NEW BEST:: SOT 12836414 SOS 7805900 HAS SOPS 7802591 HAS SOUS 1409368 HAS SOUPS 1406060 WITH SCORE 1413865.9
AT ITER 607 NEW BEST:: SOT 12836200 SOS 7805684 HAS SOPS 7802375 HAS SOUS 1409136 HAS SOUPS 1405828 WITH SCORE 1413633.684
AT ITER 611 NEW BEST:: SOT 12831857 SOS 7801542 HAS SOPS 7798233 HAS SOUS 1404144 HAS SOUPS 1400836 WITH SCORE 1408637.542
AT ITER 612 NEW BEST:: SOT 12831857 SOS 7795710 HAS SOPS 7792401 HAS SOUS 1404144 HAS SOUPS 1400836 WITH SCORE 1408631.71
AT ITER 614 NEW BEST:: SOT 12832879 SOS 7796732 HAS SOPS 7793423 HAS SOUS 1400462 HAS SOUPS 1397154 WITH SCORE 1404950.732
AT ITER 625 NEW BEST:: SOT 12830931 SOS 7794784 HAS SOPS 7791475 HAS SOUS 1391880 HAS SOUPS 1388572 WITH SCORE 1396366.784
AT ITER 630 NEW BEST:: SOT 12829570 SOS 7793423 HAS SOPS 7790114 HAS SOUS 1386528 HAS SOUPS 1383220 WITH SCORE 1391013.423
AT ITER 636 NEW BEST:: SOT 12823675 SOS 7791416 HAS SOPS 7788107 HAS SOUS 1381944 HAS SOUPS 1378636 WITH SCORE 1386427.416
AT ITER 663 NEW BEST:: SOT 12814816 SOS 7786647 HAS SOPS 7783338 HAS SOUS 1373415 HAS SOUPS 1370107 WITH SCORE 1377893.647
AT ITER 674 NEW BEST:: SOT 12813281 SOS 7784688 HAS SOPS 7781379 HAS SOUS 1372417 HAS SOUPS 1369109 WITH SCORE 1376893.688
AT ITER 678 NEW BEST:: SOT 12814456 SOS 7790267 HAS SOPS 7786958 HAS SOUS 1371652 HAS SOUPS 1368344 WITH SCORE 1376134.267
AT ITER 684 NEW BEST:: SOT 12812171 SOS 7788054 HAS SOPS 7784745 HAS SOUS 1369439 HAS SOUPS 1366131 WITH SCORE 1373919.054
AT ITER 685 NEW BEST:: SOT 12811578 SOS 7787461 HAS SOPS 7784152 HAS SOUS 1366828 HAS SOUPS 1363520 WITH SCORE 1371307.461
AT ITER 695 NEW BEST:: SOT 12811578 SOS 7783789 HAS SOPS 7780480 HAS SOUS 1366828 HAS SOUPS 1363520 WITH SCORE 1371303.789
AT ITER 698 NEW BEST:: SOT 12812361 SOS 7784572 HAS SOPS 7781263 HAS SOUS 1363691 HAS SOUPS 1360383 WITH SCORE 1368167.572
AT ITER 709 NEW BEST:: SOT 12814922 SOS 7792891 HAS SOPS 7789802 HAS SOUS 1358910 HAS SOUPS 1355822 WITH SCORE 1363614.891
AT ITER 719 NEW BEST:: SOT 12812710 SOS 7790679 HAS SOPS 7787590 HAS SOUS 1354596 HAS SOUPS 1351508 WITH SCORE 1359298.679
AT ITER 730 NEW BEST:: SOT 12810750 SOS 7788929 HAS SOPS 7785840 HAS SOUS 1351214 HAS SOUPS 1348126 WITH SCORE 1355914.929
AT ITER 731 NEW BEST:: SOT 12816428 SOS 7795999 HAS SOPS 7792910 HAS SOUS 1348935 HAS SOUPS 1345847 WITH SCORE 1353642.999
AT ITER 739 NEW BEST:: SOT 12818164 SOS 7798107 HAS SOPS 7795018 HAS SOUS 1348425 HAS SOUPS 1345337 WITH SCORE 1353135.107
AT ITER 749 NEW BEST:: SOT 12818706 SOS 7798657 HAS SOPS 7795574 HAS SOUS 1348033 HAS SOUPS 1344951 WITH SCORE 1352749.657
AT ITER 751 NEW BEST:: SOT 12816509 SOS 7796625 HAS SOPS 7793542 HAS SOUS 1344565 HAS SOUPS 1341483 WITH SCORE 1349279.625
AT ITER 759 NEW BEST:: SOT 12824350 SOS 7813500 HAS SOPS 7810455 HAS SOUS 1339227 HAS SOUPS 1336183 WITH SCORE 1343996.5
AT ITER 763 NEW BEST:: SOT 12824918 SOS 7814068 HAS SOPS 7811023 HAS SOUS 1338387 HAS SOUPS 1335343 WITH SCORE 1343157.068
AT ITER 764 NEW BEST:: SOT 12823197 SOS 7812357 HAS SOPS 7809298 HAS SOUS 1335056 HAS SOUPS 1331998 WITH SCORE 1339810.357
AT ITER 768 NEW BEST:: SOT 12823225 SOS 7709469 HAS SOPS 7706410 HAS SOUS 1335056 HAS SOUPS 1331998 WITH SCORE 1339707.469
AT ITER 769 NEW BEST:: SOT 12823225 SOS 7707885 HAS SOPS 7704826 HAS SOUS 1335056 HAS SOUPS 1331998 WITH SCORE 1339705.885
AT ITER 773 NEW BEST:: SOT 12816647 SOS 7705591 HAS SOPS 7702532 HAS SOUS 1327154 HAS SOUPS 1324096 WITH SCORE 1331801.591
AT ITER 778 NEW BEST:: SOT 12809044 SOS 7699774 HAS SOPS 7696715 HAS SOUS 1321810 HAS SOUPS 1318752 WITH SCORE 1326451.774
AT ITER 782 NEW BEST:: SOT 12810891 SOS 7701625 HAS SOPS 7698610 HAS SOUS 1314037 HAS SOUPS 1311023 WITH SCORE 1318724.625
AT ITER 784 NEW BEST:: SOT 12810902 SOS 7701636 HAS SOPS 7698621 HAS SOUS 1314003 HAS SOUPS 1310989 WITH SCORE 1318690.636
AT ITER 787 NEW BEST:: SOT 12810670 SOS 7702640 HAS SOPS 7699625 HAS SOUS 1313844 HAS SOUPS 1310830 WITH SCORE 1318532.64
AT ITER 798 NEW BEST:: SOT 12810070 SOS 7702040 HAS SOPS 7699025 HAS SOUS 1312626 HAS SOUPS 1309612 WITH SCORE 1317314.04
AT ITER 805 NEW BEST:: SOT 12817135 SOS 7709531 HAS SOPS 7706516 HAS SOUS 1307093 HAS SOUPS 1304079 WITH SCORE 1311788.531
AT ITER 817 NEW BEST:: SOT 12816794 SOS 7709175 HAS SOPS 7706157 HAS SOUS 1306706 HAS SOUPS 1303689 WITH SCORE 1311398.175
AT ITER 833 NEW BEST:: SOT 12821769 SOS 7714414 HAS SOPS 7711396 HAS SOUS 1302458 HAS SOUPS 1299441 WITH SCORE 1307155.414
AT ITER 834 NEW BEST:: SOT 12821769 SOS 7713004 HAS SOPS 7709986 HAS SOUS 1302329 HAS SOUPS 1299312 WITH SCORE 1307025.004
AT ITER 841 NEW BEST:: SOT 12824465 SOS 7715700 HAS SOPS 7712682 HAS SOUS 1299523 HAS SOUPS 1296506 WITH SCORE 1304221.7
AT ITER 855 NEW BEST:: SOT 12826237 SOS 7717472 HAS SOPS 7714454 HAS SOUS 1298757 HAS SOUPS 1295740 WITH SCORE 1303457.472
AT ITER 863 NEW BEST:: SOT 12825733 SOS 7716912 HAS SOPS 7713901 HAS SOUS 1298151 HAS SOUPS 1295141 WITH SCORE 1302857.912
AT ITER 865 NEW BEST:: SOT 12822957 SOS 7714308 HAS SOPS 7711297 HAS SOUS 1275972 HAS SOUPS 1272962 WITH SCORE 1280676.308
AT ITER 869 NEW BEST:: SOT 12822957 SOS 7710420 HAS SOPS 7707409 HAS SOUS 1275972 HAS SOUPS 1272962 WITH SCORE 1280672.42
AT ITER 876 NEW BEST:: SOT 12822957 SOS 7710415 HAS SOPS 7707404 HAS SOUS 1275967 HAS SOUPS 1272957 WITH SCORE 1280667.415
AT ITER 877 NEW BEST:: SOT 12829054 SOS 7716778 HAS SOPS 7713767 HAS SOUS 1273375 HAS SOUPS 1270365 WITH SCORE 1278081.778
AT ITER 889 NEW BEST:: SOT 12827557 SOS 7715281 HAS SOPS 7712270 HAS SOUS 1271629 HAS SOUPS 1268619 WITH SCORE 1276334.281
AT ITER 893 NEW BEST:: SOT 12826516 SOS 7715128 HAS SOPS 7712117 HAS SOUS 1260673 HAS SOUPS 1257663 WITH SCORE 1265378.128
AT ITER 894 NEW BEST:: SOT 12826358 SOS 7714970 HAS SOPS 7711959 HAS SOUS 1260357 HAS SOUPS 1257347 WITH SCORE 1265061.97
AT ITER 901 NEW BEST:: SOT 12822585 SOS 7713559 HAS SOPS 7710548 HAS SOUS 1257189 HAS SOUPS 1254179 WITH SCORE 1261892.559
AT ITER 909 NEW BEST:: SOT 12822585 SOS 7710031 HAS SOPS 7707020 HAS SOUS 1257189 HAS SOUPS 1254179 WITH SCORE 1261889.031
AT ITER 913 NEW BEST:: SOT 12819584 SOS 7707241 HAS SOPS 7704230 HAS SOUS 1255257 HAS SOUPS 1252247 WITH SCORE 1259954.241
AT ITER 918 NEW BEST:: SOT 12819584 SOS 7710110 HAS SOPS 7707099 HAS SOUS 1254341 HAS SOUPS 1251331 WITH SCORE 1259041.11
AT ITER 927 NEW BEST:: SOT 12828636 SOS 7731638 HAS SOPS 7728679 HAS SOUS 1247794 HAS SOUPS 1244836 WITH SCORE 1252567.638
AT ITER 929 NEW BEST:: SOT 12820296 SOS 7724967 HAS SOPS 7722008 HAS SOUS 1238319 HAS SOUPS 1235361 WITH SCORE 1243085.967
AT ITER 931 NEW BEST:: SOT 12820296 SOS 7723850 HAS SOPS 7720891 HAS SOUS 1238282 HAS SOUPS 1235324 WITH SCORE 1243047.85
AT ITER 937 NEW BEST:: SOT 12821873 SOS 7729799 HAS SOPS 7726840 HAS SOUS 1236537 HAS SOUPS 1233579 WITH SCORE 1241308.799
AT ITER 943 NEW BEST:: SOT 12824207 SOS 7732133 HAS SOPS 7729174 HAS SOUS 1235576 HAS SOUPS 1232618 WITH SCORE 1240350.133
AT ITER 959 NEW BEST:: SOT 12825279 SOS 7732893 HAS SOPS 7729993 HAS SOUS 1232696 HAS SOUPS 1229797 WITH SCORE 1237529.893
AT ITER 961 NEW BEST:: SOT 12828446 SOS 7735972 HAS SOPS 7730908 HAS SOUS 1229808 HAS SOUPS 1226365 WITH SCORE 1234100.972
AT ITER 963 NEW BEST:: SOT 12824249 SOS 7731775 HAS SOPS 7726711 HAS SOUS 1224527 HAS SOUPS 1221084 WITH SCORE 1228815.775
AT ITER 967 NEW BEST:: SOT 12835052 SOS 7742578 HAS SOPS 7737514 HAS SOUS 1223735 HAS SOUPS 1220292 WITH SCORE 1228034.578
AT ITER 976 NEW BEST:: SOT 12845339 SOS 7752865 HAS SOPS 7747801 HAS SOUS 1215165 HAS SOUPS 1211722 WITH SCORE 1219474.865
AT ITER 1001 NEW BEST:: SOT 12836394 SOS 5639984 HAS SOPS 5634502 HAS SOUS 1204823 HAS SOUPS 1201380 WITH SCORE 1207019.984
AT ITER 1002 NEW BEST:: SOT 12845734 SOS 5662314 HAS SOPS 5656587 HAS SOUS 1198939 HAS SOUPS 1195407 WITH SCORE 1201069.314
AT ITER 1008 NEW BEST:: SOT 12844821 SOS 5661401 HAS SOPS 5655674 HAS SOUS 1197063 HAS SOUPS 1193531 WITH SCORE 1199192.401
AT ITER 1014 NEW BEST:: SOT 12844634 SOS 5661214 HAS SOPS 5655487 HAS SOUS 1193892 HAS SOUPS 1190360 WITH SCORE 1196021.214
AT ITER 1019 NEW BEST:: SOT 12853229 SOS 5677347 HAS SOPS 5671642 HAS SOUS 1192030 HAS SOUPS 1188520 WITH SCORE 1194197.347
AT ITER 1025 NEW BEST:: SOT 12865196 SOS 5701922 HAS SOPS 5696281 HAS SOUS 1186350 HAS SOUPS 1182904 WITH SCORE 1188605.922
AT ITER 1060 NEW BEST:: SOT 12866776 SOS 5703562 HAS SOPS 5697921 HAS SOUS 1185913 HAS SOUPS 1182467 WITH SCORE 1188170.562
AT ITER 1066 NEW BEST:: SOT 12867420 SOS 5724309 HAS SOPS 5718668 HAS SOUS 1184995 HAS SOUPS 1181549 WITH SCORE 1187273.309
AT ITER 1073 NEW BEST:: SOT 12865201 SOS 5722090 HAS SOPS 5716449 HAS SOUS 1182439 HAS SOUPS 1178993 WITH SCORE 1184715.09
AT ITER 1074 NEW BEST:: SOT 12865201 SOS 5721970 HAS SOPS 5716329 HAS SOUS 1182429 HAS SOUPS 1178983 WITH SCORE 1184704.97
AT ITER 1079 NEW BEST:: SOT 12862966 SOS 5719735 HAS SOPS 5714094 HAS SOUS 1180656 HAS SOUPS 1177210 WITH SCORE 1182929.735
AT ITER 1080 NEW BEST:: SOT 12863834 SOS 5720779 HAS SOPS 5715138 HAS SOUS 1174858 HAS SOUPS 1171412 WITH SCORE 1177132.779
AT ITER 1084 NEW BEST:: SOT 12863833 SOS 5720778 HAS SOPS 5715137 HAS SOUS 1174857 HAS SOUPS 1171411 WITH SCORE 1177131.778
AT ITER 1085 NEW BEST:: SOT 12867907 SOS 5724852 HAS SOPS 5719211 HAS SOUS 1173868 HAS SOUPS 1170422 WITH SCORE 1176146.852
AT ITER 1096 NEW BEST:: SOT 12867907 SOS 5722980 HAS SOPS 5717339 HAS SOUS 1173820 HAS SOUPS 1170374 WITH SCORE 1176096.98
AT ITER 1097 NEW BEST:: SOT 12870891 SOS 5726087 HAS SOPS 5720507 HAS SOUS 1171521 HAS SOUPS 1168136 WITH SCORE 1173862.087
AT ITER 1098 NEW BEST:: SOT 12879176 SOS 5750100 HAS SOPS 5744281 HAS SOUS 1164171 HAS SOUPS 1160652 WITH SCORE 1166402.1
AT ITER 1103 NEW BEST:: SOT 12879176 SOS 5752332 HAS SOPS 5746513 HAS SOUS 1162042 HAS SOUPS 1158523 WITH SCORE 1164275.332
AT ITER 1106 NEW BEST:: SOT 12879173 SOS 5752329 HAS SOPS 5746510 HAS SOUS 1162042 HAS SOUPS 1158523 WITH SCORE 1164275.329
AT ITER 1109 NEW BEST:: SOT 12875407 SOS 5752479 HAS SOPS 5746660 HAS SOUS 1158834 HAS SOUPS 1155315 WITH SCORE 1161067.479
AT ITER 1133 NEW BEST:: SOT 12875413 SOS 5752895 HAS SOPS 5747076 HAS SOUS 1158810 HAS SOUPS 1155291 WITH SCORE 1161043.895
AT ITER 1134 NEW BEST:: SOT 12873607 SOS 5750625 HAS SOPS 5744806 HAS SOUS 1158532 HAS SOUPS 1155013 WITH SCORE 1160763.625
AT ITER 1138 NEW BEST:: SOT 12873607 SOS 5750526 HAS SOPS 5744707 HAS SOUS 1158532 HAS SOUPS 1155013 WITH SCORE 1160763.526
AT ITER 1140 NEW BEST:: SOT 12875277 SOS 5753530 HAS SOPS 5747767 HAS SOUS 1156435 HAS SOUPS 1152972 WITH SCORE 1158725.53
AT ITER 1141 NEW BEST:: SOT 12876126 SOS 5754379 HAS SOPS 5748616 HAS SOUS 1156023 HAS SOUPS 1152560 WITH SCORE 1158314.379
AT ITER 1146 NEW BEST:: SOT 12876126 SOS 5759731 HAS SOPS 5753738 HAS SOUS 1155917 HAS SOUPS 1152408 WITH SCORE 1158167.731
AT ITER 1175 NEW BEST:: SOT 12876126 SOS 5759741 HAS SOPS 5753748 HAS SOUS 1155907 HAS SOUPS 1152398 WITH SCORE 1158157.741
AT ITER 1184 NEW BEST:: SOT 12875718 SOS 5759374 HAS SOPS 5753398 HAS SOUS 1153979 HAS SOUPS 1150487 WITH SCORE 1156246.374
AT ITER 1190 NEW BEST:: SOT 12876765 SOS 5760417 HAS SOPS 5754441 HAS SOUS 1151705 HAS SOUPS 1148213 WITH SCORE 1153973.417
AT ITER 1203 NEW BEST:: SOT 12879393 SOS 5763141 HAS SOPS 5757165 HAS SOUS 1151305 HAS SOUPS 1147813 WITH SCORE 1153576.141
AT ITER 1206 NEW BEST:: SOT 12884178 SOS 5768210 HAS SOPS 5762234 HAS SOUS 1146811 HAS SOUPS 1143319 WITH SCORE 1149087.21
AT ITER 1210 NEW BEST:: SOT 12886247 SOS 5773015 HAS SOPS 5767158 HAS SOUS 1145123 HAS SOUPS 1141750 WITH SCORE 1147523.015
AT ITER 1211 NEW BEST:: SOT 12890691 SOS 5777419 HAS SOPS 5771562 HAS SOUS 1143584 HAS SOUPS 1140211 WITH SCORE 1145988.419
AT ITER 1220 NEW BEST:: SOT 12903032 SOS 5803472 HAS SOPS 5797673 HAS SOUS 1141912 HAS SOUPS 1138597 WITH SCORE 1144400.472
AT ITER 1228 NEW BEST:: SOT 12901121 SOS 5801561 HAS SOPS 5795762 HAS SOUS 1133157 HAS SOUPS 1129842 WITH SCORE 1135643.561
AT ITER 1230 NEW BEST:: SOT 12899619 SOS 5800049 HAS SOPS 5794250 HAS SOUS 1125873 HAS SOUPS 1122558 WITH SCORE 1128358.049
AT ITER 1240 NEW BEST:: SOT 12899619 SOS 5798256 HAS SOPS 5792457 HAS SOUS 1125873 HAS SOUPS 1122558 WITH SCORE 1128356.256
AT ITER 1241 NEW BEST:: SOT 12915294 SOS 5829864 HAS SOPS 5823893 HAS SOUS 1124853 HAS SOUPS 1121424 WITH SCORE 1127253.864
AT ITER 1245 NEW BEST:: SOT 12915294 SOS 5827200 HAS SOPS 5821229 HAS SOUS 1124853 HAS SOUPS 1121424 WITH SCORE 1127251.2
AT ITER 1250 NEW BEST:: SOT 12916349 SOS 5849265 HAS SOPS 5843294 HAS SOUS 1122586 HAS SOUPS 1119157 WITH SCORE 1125006.265
AT ITER 1256 NEW BEST:: SOT 12916349 SOS 5849209 HAS SOPS 5843246 HAS SOUS 1122390 HAS SOUPS 1118969 WITH SCORE 1124818.209
AT ITER 1271 NEW BEST:: SOT 12912885 SOS 5845745 HAS SOPS 5839782 HAS SOUS 1119647 HAS SOUPS 1116226 WITH SCORE 1122071.745
AT ITER 1278 NEW BEST:: SOT 12908337 SOS 5842687 HAS SOPS 5836782 HAS SOUS 1115087 HAS SOUPS 1111666 WITH SCORE 1117508.687
AT ITER 1287 NEW BEST:: SOT 12908337 SOS 5842631 HAS SOPS 5836726 HAS SOUS 1114448 HAS SOUPS 1111027 WITH SCORE 1116869.631
AT ITER 1296 NEW BEST:: SOT 12907488 SOS 5840774 HAS SOPS 5834869 HAS SOUS 1113585 HAS SOUPS 1110164 WITH SCORE 1116004.774
AT ITER 1301 NEW BEST:: SOT 12905633 SOS 5839305 HAS SOPS 5833400 HAS SOUS 1110189 HAS SOUPS 1106768 WITH SCORE 1112607.305
AT ITER 1302 NEW BEST:: SOT 12915989 SOS 5849844 HAS SOPS 5843939 HAS SOUS 1109015 HAS SOUPS 1105594 WITH SCORE 1111443.844
AT ITER 1307 NEW BEST:: SOT 12913260 SOS 5847115 HAS SOPS 5841210 HAS SOUS 1106785 HAS SOUPS 1103364 WITH SCORE 1109211.115
AT ITER 1310 NEW BEST:: SOT 12914791 SOS 5848646 HAS SOPS 5842741 HAS SOUS 1106274 HAS SOUPS 1102853 WITH SCORE 1108701.646
AT ITER 1311 NEW BEST:: SOT 12914791 SOS 5848631 HAS SOPS 5842726 HAS SOUS 1106259 HAS SOUPS 1102838 WITH SCORE 1108686.631
AT ITER 1339 NEW BEST:: SOT 12907600 SOS 5841494 HAS SOPS 5835589 HAS SOUS 1096153 HAS SOUPS 1092732 WITH SCORE 1098573.494
AT ITER 1344 NEW BEST:: SOT 12904561 SOS 5838439 HAS SOPS 5832550 HAS SOUS 1090091 HAS SOUPS 1086686 WITH SCORE 1092524.439
AT ITER 1359 NEW BEST:: SOT 12904561 SOS 5838439 HAS SOPS 5832550 HAS SOUS 1089953 HAS SOUPS 1086548 WITH SCORE 1092386.439
AT ITER 1362 NEW BEST:: SOT 12903721 SOS 5837635 HAS SOPS 5831746 HAS SOUS 1088724 HAS SOUPS 1085319 WITH SCORE 1091156.635
AT ITER 1373 NEW BEST:: SOT 12903626 SOS 5837540 HAS SOPS 5831651 HAS SOUS 1088591 HAS SOUPS 1085186 WITH SCORE 1091023.54
AT ITER 1411 NEW BEST:: SOT 12906243 SOS 5840215 HAS SOPS 5834384 HAS SOUS 1087244 HAS SOUPS 1083839 WITH SCORE 1089679.215
AT ITER 1412 NEW BEST:: SOT 12906263 SOS 5840235 HAS SOPS 5834404 HAS SOUS 1087146 HAS SOUPS 1083741 WITH SCORE 1089581.235
AT ITER 1452 NEW BEST:: SOT 12905593 SOS 5839565 HAS SOPS 5833734 HAS SOUS 1085756 HAS SOUPS 1082351 WITH SCORE 1088190.565
AT ITER 1454 NEW BEST:: SOT 12905588 SOS 5839560 HAS SOPS 5833729 HAS SOUS 1085746 HAS SOUPS 1082341 WITH SCORE 1088180.56
AT ITER 1466 NEW BEST:: SOT 12906041 SOS 5842285 HAS SOPS 5836486 HAS SOUS 1084224 HAS SOUPS 1080851 WITH SCORE 1086693.285
AT ITER 1468 NEW BEST:: SOT 12906041 SOS 5837453 HAS SOPS 5831654 HAS SOUS 1083936 HAS SOUPS 1080563 WITH SCORE 1086400.453
AT ITER 1483 NEW BEST:: SOT 12904683 SOS 5835835 HAS SOPS 5830091 HAS SOUS 1075458 HAS SOUPS 1072140 WITH SCORE 1077975.835
AT ITER 1486 NEW BEST:: SOT 12905349 SOS 5836501 HAS SOPS 5830757 HAS SOUS 1073512 HAS SOUPS 1070194 WITH SCORE 1076030.501
AT ITER 1515 NEW BEST:: SOT 12905199 SOS 5836351 HAS SOPS 5830607 HAS SOUS 1073027 HAS SOUPS 1069709 WITH SCORE 1075545.351
AT ITER 1516 NEW BEST:: SOT 12905467 SOS 5864537 HAS SOPS 5858073 HAS SOUS 1072150 HAS SOUPS 1068592 WITH SCORE 1074456.537
AT ITER 1518 NEW BEST:: SOT 12906293 SOS 5865401 HAS SOPS 5858937 HAS SOUS 1071664 HAS SOUPS 1068106 WITH SCORE 1073971.401
AT ITER 1521 NEW BEST:: SOT 12906293 SOS 5862521 HAS SOPS 5856057 HAS SOUS 1071664 HAS SOUPS 1068106 WITH SCORE 1073968.521
AT ITER 1527 NEW BEST:: SOT 12912169 SOS 5884788 HAS SOPS 5878324 HAS SOUS 1070411 HAS SOUPS 1066853 WITH SCORE 1072737.788
AT ITER 1529 NEW BEST:: SOT 12910864 SOS 5881803 HAS SOPS 5875339 HAS SOUS 1069082 HAS SOUPS 1065524 WITH SCORE 1071405.803
AT ITER 1542 NEW BEST:: SOT 12917227 SOS 5895418 HAS SOPS 5888974 HAS SOUS 1064256 HAS SOUPS 1060718 WITH SCORE 1066613.418
AT ITER 1555 NEW BEST:: SOT 12917227 SOS 5901082 HAS SOPS 5894638 HAS SOUS 1062084 HAS SOUPS 1058546 WITH SCORE 1064447.082
AT ITER 1561 NEW BEST:: SOT 12917227 SOS 5897578 HAS SOPS 5891134 HAS SOUS 1062036 HAS SOUPS 1058498 WITH SCORE 1064395.578
AT ITER 1575 NEW BEST:: SOT 12917212 SOS 5897563 HAS SOPS 5891119 HAS SOUS 1062021 HAS SOUPS 1058483 WITH SCORE 1064380.563
AT ITER 1582 NEW BEST:: SOT 12917053 SOS 5897404 HAS SOPS 5890960 HAS SOUS 1061862 HAS SOUPS 1058324 WITH SCORE 1064221.404
AT ITER 1584 NEW BEST:: SOT 12914602 SOS 5894953 HAS SOPS 5888509 HAS SOUS 1060066 HAS SOUPS 1056528 WITH SCORE 1062422.953
AT ITER 1589 NEW BEST:: SOT 12918096 SOS 5898447 HAS SOPS 5892003 HAS SOUS 1059619 HAS SOUPS 1056081 WITH SCORE 1061979.447
AT ITER 1593 NEW BEST:: SOT 12919730 SOS 5900239 HAS SOPS 5893795 HAS SOUS 1054882 HAS SOUPS 1051344 WITH SCORE 1057244.239
AT ITER 1594 NEW BEST:: SOT 12919716 SOS 5900225 HAS SOPS 5893781 HAS SOUS 1054398 HAS SOUPS 1050860 WITH SCORE 1056760.225
AT ITER 1608 NEW BEST:: SOT 12919716 SOS 5899809 HAS SOPS 5893365 HAS SOUS 1054294 HAS SOUPS 1050756 WITH SCORE 1056655.809
AT ITER 1612 NEW BEST:: SOT 12917464 SOS 5897557 HAS SOPS 5891113 HAS SOUS 1049356 HAS SOUPS 1045818 WITH SCORE 1051715.557
AT ITER 1644 NEW BEST:: SOT 12917318 SOS 5897411 HAS SOPS 5890967 HAS SOUS 1049054 HAS SOUPS 1045516 WITH SCORE 1051413.411
AT ITER 1655 NEW BEST:: SOT 12912324 SOS 5897601 HAS SOPS 5891157 HAS SOUS 1047036 HAS SOUPS 1043498 WITH SCORE 1049395.601
AT ITER 1656 NEW BEST:: SOT 12911711 SOS 5896232 HAS SOPS 5889788 HAS SOUS 1045745 HAS SOUPS 1042207 WITH SCORE 1048103.232
AT ITER 1664 NEW BEST:: SOT 12914613 SOS 5899134 HAS SOPS 5892690 HAS SOUS 1034373 HAS SOUPS 1030835 WITH SCORE 1036734.134
AT ITER 1671 NEW BEST:: SOT 12917936 SOS 5939096 HAS SOPS 5932179 HAS SOUS 1034262 HAS SOUPS 1030423 WITH SCORE 1036362.096
AT ITER 1675 NEW BEST:: SOT 12915523 SOS 5929263 HAS SOPS 5922346 HAS SOUS 1033696 HAS SOUPS 1029857 WITH SCORE 1035786.263
AT ITER 1724 NEW BEST:: SOT 12915412 SOS 5929252 HAS SOPS 5922335 HAS SOUS 1033692 HAS SOUPS 1029853 WITH SCORE 1035782.252
AT ITER 1733 NEW BEST:: SOT 12915412 SOS 5929030 HAS SOPS 5922113 HAS SOUS 1033581 HAS SOUPS 1029742 WITH SCORE 1035671.03
AT ITER 1766 NEW BEST:: SOT 12920168 SOS 5933903 HAS SOPS 5926986 HAS SOUS 1030983 HAS SOUPS 1027144 WITH SCORE 1033077.903
AT ITER 1768 NEW BEST:: SOT 12920222 SOS 5933964 HAS SOPS 5927054 HAS SOUS 1030792 HAS SOUPS 1026960 WITH SCORE 1032893.964
AT ITER 1770 NEW BEST:: SOT 12920222 SOS 5931660 HAS SOPS 5924750 HAS SOUS 1030792 HAS SOUPS 1026960 WITH SCORE 1032891.66
AT ITER 1772 NEW BEST:: SOT 12917422 SOS 5928860 HAS SOPS 5921950 HAS SOUS 1026505 HAS SOUPS 1022673 WITH SCORE 1028601.86
AT ITER 1777 NEW BEST:: SOT 12916714 SOS 5928200 HAS SOPS 5921338 HAS SOUS 1023262 HAS SOUPS 1019430 WITH SCORE 1025358.2
AT ITER 1800 NEW BEST:: SOT 12915764 SOS 5927250 HAS SOPS 5920388 HAS SOUS 1021464 HAS SOUPS 1017632 WITH SCORE 1023559.25
AT ITER 1809 NEW BEST:: SOT 12911481 SOS 5928979 HAS SOPS 5922117 HAS SOUS 1018361 HAS SOUPS 1014529 WITH SCORE 1020457.979
AT ITER 1815 NEW BEST:: SOT 12909235 SOS 5926733 HAS SOPS 5919871 HAS SOUS 1013624 HAS SOUPS 1009792 WITH SCORE 1015718.733
AT ITER 1819 NEW BEST:: SOT 12910689 SOS 5929031 HAS SOPS 5922203 HAS SOUS 1012820 HAS SOUPS 1009022 WITH SCORE 1014951.031
AT ITER 1839 NEW BEST:: SOT 12910294 SOS 5928636 HAS SOPS 5921808 HAS SOUS 1012016 HAS SOUPS 1008218 WITH SCORE 1014146.636
AT ITER 1841 NEW BEST:: SOT 12907543 SOS 5925885 HAS SOPS 5919057 HAS SOUS 1009408 HAS SOUPS 1005610 WITH SCORE 1011535.885
AT ITER 1852 NEW BEST:: SOT 12907543 SOS 5920697 HAS SOPS 5913869 HAS SOUS 1009222 HAS SOUPS 1005424 WITH SCORE 1011344.697
AT ITER 1853 NEW BEST:: SOT 12901504 SOS 5918066 HAS SOPS 5911238 HAS SOUS 1000812 HAS SOUPS 997014 WITH SCORE 1002932.066
AT ITER 1858 NEW BEST:: SOT 12901504 SOS 5918002 HAS SOPS 5911174 HAS SOUS 1000812 HAS SOUPS 997014 WITH SCORE 1002932.002
AT ITER 1861 NEW BEST:: SOT 12897734 SOS 5913954 HAS SOPS 5907174 HAS SOUS 992716 HAS SOUPS 988966 WITH SCORE 994879.954
AT ITER 1868 NEW BEST:: SOT 12897608 SOS 5913828 HAS SOPS 5907048 HAS SOUS 992385 HAS SOUPS 988635 WITH SCORE 994548.828
AT ITER 1880 NEW BEST:: SOT 12895160 SOS 5911380 HAS SOPS 5904600 HAS SOUS 990834 HAS SOUPS 987084 WITH SCORE 992995.38
AT ITER 1896 NEW BEST:: SOT 12896872 SOS 5912766 HAS SOPS 5906043 HAS SOUS 986906 HAS SOUPS 983213 WITH SCORE 989125.766
AT ITER 1905 NEW BEST:: SOT 12896361 SOS 5912255 HAS SOPS 5905532 HAS SOUS 985874 HAS SOUPS 982181 WITH SCORE 988093.255
AT ITER 1909 NEW BEST:: SOT 12896408 SOS 5912384 HAS SOPS 5905661 HAS SOUS 983260 HAS SOUPS 979567 WITH SCORE 985479.384
AT ITER 1912 NEW BEST:: SOT 12896408 SOS 5911617 HAS SOPS 5904894 HAS SOUS 983201 HAS SOUPS 979508 WITH SCORE 985419.617
AT ITER 1914 NEW BEST:: SOT 12910758 SOS 5931662 HAS SOPS 5924939 HAS SOUS 982503 HAS SOUPS 978810 WITH SCORE 984741.662
AT ITER 1917 NEW BEST:: SOT 12914789 SOS 5935693 HAS SOPS 5928970 HAS SOUS 981351 HAS SOUPS 977658 WITH SCORE 983593.693
AT ITER 1947 NEW BEST:: SOT 12912702 SOS 5933390 HAS SOPS 5926696 HAS SOUS 978550 HAS SOUPS 974886 WITH SCORE 980819.39
AT ITER 1957 NEW BEST:: SOT 12909578 SOS 5929860 HAS SOPS 5923166 HAS SOUS 975485 HAS SOUPS 971821 WITH SCORE 977750.86
AT ITER 1969 NEW BEST:: SOT 12909578 SOS 5929822 HAS SOPS 5923128 HAS SOUS 975466 HAS SOUPS 971802 WITH SCORE 977731.822
AT ITER 1970 NEW BEST:: SOT 12909578 SOS 5932864 HAS SOPS 5926170 HAS SOUS 974836 HAS SOUPS 971172 WITH SCORE 977104.864
AT ITER 1977 NEW BEST:: SOT 12911592 SOS 5934878 HAS SOPS 5928184 HAS SOUS 974648 HAS SOUPS 970984 WITH SCORE 976918.878
AT ITER 1982 NEW BEST:: SOT 12914235 SOS 5943471 HAS SOPS 5936777 HAS SOUS 974283 HAS SOUPS 970619 WITH SCORE 976562.471
AT ITER 1995 NEW BEST:: SOT 12915905 SOS 5945227 HAS SOPS 5938533 HAS SOUS 973559 HAS SOUPS 969895 WITH SCORE 975840.227
AT ITER 1997 NEW BEST:: SOT 12907029 SOS 5936351 HAS SOPS 5929657 HAS SOUS 966508 HAS SOUPS 962844 WITH SCORE 968780.351
AT ITER 1999 NEW BEST:: SOT 12909339 SOS 5938661 HAS SOPS 5931967 HAS SOUS 965726 HAS SOUPS 962062 WITH SCORE 968000.661
AT ITER 2007 NEW BEST:: SOT 12909150 SOS 5938253 HAS SOPS 5931559 HAS SOUS 965534 HAS SOUPS 961870 WITH SCORE 967808.253
AT ITER 2011 NEW BEST:: SOT 12907852 SOS 5936955 HAS SOPS 5930261 HAS SOUS 963634 HAS SOUPS 959970 WITH SCORE 965906.955
AT ITER 2023 NEW BEST:: SOT 12908184 SOS 5937273 HAS SOPS 5930579 HAS SOUS 957512 HAS SOUPS 953848 WITH SCORE 959785.273
AT ITER 2034 NEW BEST:: SOT 12899905 SOS 5921290 HAS SOPS 5914485 HAS SOUS 948741 HAS SOUPS 945077 WITH SCORE 950998.29
AT ITER 2050 NEW BEST:: SOT 12899905 SOS 5921290 HAS SOPS 5914485 HAS SOUS 948723 HAS SOUPS 945059 WITH SCORE 950980.29
AT ITER 2058 NEW BEST:: SOT 12905192 SOS 5930986 HAS SOPS 5924035 HAS SOUS 948764 HAS SOUPS 945041 WITH SCORE 950971.986
AT ITER 2094 NEW BEST:: SOT 12908324 SOS 5935222 HAS SOPS 5928271 HAS SOUS 942455 HAS SOUPS 938732 WITH SCORE 944667.222
AT ITER 2107 NEW BEST:: SOT 12908568 SOS 5935557 HAS SOPS 5928766 HAS SOUS 941844 HAS SOUPS 938281 WITH SCORE 944216.557
AT ITER 2117 NEW BEST:: SOT 12908568 SOS 5932317 HAS SOPS 5925526 HAS SOUS 941844 HAS SOUPS 938281 WITH SCORE 944213.317
AT ITER 2125 NEW BEST:: SOT 12908540 SOS 5932306 HAS SOPS 5925519 HAS SOUS 941720 HAS SOUPS 938161 WITH SCORE 944093.306
AT ITER 2129 NEW BEST:: SOT 12908540 SOS 5927914 HAS SOPS 5921127 HAS SOUS 941720 HAS SOUPS 938161 WITH SCORE 944088.914
AT ITER 2132 NEW BEST:: SOT 12908540 SOS 5927314 HAS SOPS 5920527 HAS SOUS 941720 HAS SOUPS 938161 WITH SCORE 944088.314
AT ITER 2137 NEW BEST:: SOT 12907056 SOS 5925830 HAS SOPS 5919043 HAS SOUS 938658 HAS SOUPS 935099 WITH SCORE 941024.83
AT ITER 2147 NEW BEST:: SOT 12907056 SOS 5925790 HAS SOPS 5919003 HAS SOUS 938638 HAS SOUPS 935079 WITH SCORE 941004.79
AT ITER 2150 NEW BEST:: SOT 12907056 SOS 5925812 HAS SOPS 5919003 HAS SOUS 938598 HAS SOUPS 935017 WITH SCORE 940942.812
AT ITER 2153 NEW BEST:: SOT 12906600 SOS 5925356 HAS SOPS 5918547 HAS SOUS 937676 HAS SOUPS 934095 WITH SCORE 940020.356
AT ITER 2193 NEW BEST:: SOT 12905992 SOS 5924748 HAS SOPS 5917939 HAS SOUS 936454 HAS SOUPS 932873 WITH SCORE 938797.748
AT ITER 2196 NEW BEST:: SOT 12908566 SOS 5927322 HAS SOPS 5920513 HAS SOUS 933831 HAS SOUPS 930250 WITH SCORE 936177.322
AT ITER 2202 NEW BEST:: SOT 12908566 SOS 5927317 HAS SOPS 5920508 HAS SOUS 933826 HAS SOUPS 930245 WITH SCORE 936172.317
AT ITER 2205 NEW BEST:: SOT 12908566 SOS 5925203 HAS SOPS 5918394 HAS SOUS 933705 HAS SOUPS 930124 WITH SCORE 936049.203
AT ITER 2274 NEW BEST:: SOT 12911032 SOS 5927933 HAS SOPS 5921124 HAS SOUS 931871 HAS SOUPS 928290 WITH SCORE 934217.933
AT ITER 2276 NEW BEST:: SOT 12911140 SOS 5928041 HAS SOPS 5921232 HAS SOUS 918927 HAS SOUPS 915346 WITH SCORE 921274.041
AT ITER 2282 NEW BEST:: SOT 12911140 SOS 5927465 HAS SOPS 5920656 HAS SOUS 918783 HAS SOUPS 915202 WITH SCORE 921129.465
AT ITER 2304 NEW BEST:: SOT 12907081 SOS 5923406 HAS SOPS 5916597 HAS SOUS 910672 HAS SOUPS 907091 WITH SCORE 913014.406
AT ITER 2322 NEW BEST:: SOT 12909331 SOS 5925656 HAS SOPS 5918847 HAS SOUS 909479 HAS SOUPS 905898 WITH SCORE 911823.656
AT ITER 2327 NEW BEST:: SOT 12910153 SOS 5932611 HAS SOPS 5925802 HAS SOUS 908696 HAS SOUPS 905115 WITH SCORE 911047.611
AT ITER 2344 NEW BEST:: SOT 12910153 SOS 5932611 HAS SOPS 5925802 HAS SOUS 908680 HAS SOUPS 905099 WITH SCORE 911031.611
AT ITER 2347 NEW BEST:: SOT 12910463 SOS 5932921 HAS SOPS 5926112 HAS SOUS 908008 HAS SOUPS 904427 WITH SCORE 910359.921
AT ITER 2353 NEW BEST:: SOT 12910346 SOS 5932804 HAS SOPS 5925995 HAS SOUS 907954 HAS SOUPS 904373 WITH SCORE 910305.804
AT ITER 2379 NEW BEST:: SOT 12910030 SOS 5933757 HAS SOPS 5925679 HAS SOUS 906993 HAS SOUPS 903345 WITH SCORE 909278.757
AT ITER 2382 NEW BEST:: SOT 12908921 SOS 5932648 HAS SOPS 5924570 HAS SOUS 901138 HAS SOUPS 897490 WITH SCORE 903422.648
AT ITER 2398 NEW BEST:: SOT 12908252 SOS 5931979 HAS SOPS 5923901 HAS SOUS 899781 HAS SOUPS 896133 WITH SCORE 902064.979
AT ITER 2400 NEW BEST:: SOT 12907470 SOS 5929083 HAS SOPS 5921005 HAS SOUS 898141 HAS SOUPS 894493 WITH SCORE 900422.083
AT ITER 2408 NEW BEST:: SOT 12909533 SOS 5935497 HAS SOPS 5927617 HAS SOUS 894727 HAS SOUPS 891277 WITH SCORE 897212.497
AT ITER 2422 NEW BEST:: SOT 12909533 SOS 5933837 HAS SOPS 5925957 HAS SOUS 894579 HAS SOUPS 891129 WITH SCORE 897062.837
AT ITER 2423 NEW BEST:: SOT 12910178 SOS 5935346 HAS SOPS 5927466 HAS SOUS 893782 HAS SOUPS 890332 WITH SCORE 896267.346
AT ITER 2440 NEW BEST:: SOT 12915487 SOS 5941745 HAS SOPS 5934083 HAS SOUS 892553 HAS SOUPS 889103 WITH SCORE 895044.745
AT ITER 2449 NEW BEST:: SOT 12913455 SOS 5937675 HAS SOPS 5929979 HAS SOUS 891936 HAS SOUPS 888452 WITH SCORE 894389.675
AT ITER 2460 NEW BEST:: SOT 12913455 SOS 5937695 HAS SOPS 5930019 HAS SOUS 891896 HAS SOUPS 888412 WITH SCORE 894349.695
AT ITER 2488 NEW BEST:: SOT 12912923 SOS 5936912 HAS SOPS 5929266 HAS SOUS 887057 HAS SOUPS 883603 WITH SCORE 889539.912
AT ITER 2492 NEW BEST:: SOT 12912923 SOS 5935688 HAS SOPS 5928042 HAS SOUS 887057 HAS SOUPS 883603 WITH SCORE 889538.688
AT ITER 2519 NEW BEST:: SOT 12912923 SOS 5935661 HAS SOPS 5928015 HAS SOUS 887047 HAS SOUPS 883593 WITH SCORE 889528.661
AT ITER 2524 NEW BEST:: SOT 12912138 SOS 5934876 HAS SOPS 5927230 HAS SOUS 885475 HAS SOUPS 882021 WITH SCORE 887955.876
AT ITER 2537 NEW BEST:: SOT 12914084 SOS 5936990 HAS SOPS 5929344 HAS SOUS 884904 HAS SOUPS 881450 WITH SCORE 887386.99
AT ITER 2558 NEW BEST:: SOT 12914130 SOS 5937065 HAS SOPS 5929390 HAS SOUS 884904 HAS SOUPS 881421 WITH SCORE 887358.065
AT ITER 2586 NEW BEST:: SOT 12914130 SOS 5934113 HAS SOPS 5926438 HAS SOUS 884904 HAS SOUPS 881421 WITH SCORE 887355.113
AT ITER 2594 NEW BEST:: SOT 12915817 SOS 5935772 HAS SOPS 5928097 HAS SOUS 883241 HAS SOUPS 879758 WITH SCORE 885693.772
AT ITER 2613 NEW BEST:: SOT 12916239 SOS 5936164 HAS SOPS 5928489 HAS SOUS 879518 HAS SOUPS 876035 WITH SCORE 881971.164
AT ITER 2629 NEW BEST:: SOT 12914409 SOS 5932011 HAS SOPS 5924210 HAS SOUS 879134 HAS SOUPS 875525 WITH SCORE 881457.011
AT ITER 2638 NEW BEST:: SOT 12914409 SOS 5932011 HAS SOPS 5924210 HAS SOUS 879130 HAS SOUPS 875521 WITH SCORE 881453.011
AT ITER 2642 NEW BEST:: SOT 12914178 SOS 5909846 HAS SOPS 5903005 HAS SOUS 878814 HAS SOUPS 875397 WITH SCORE 881306.846
AT ITER 2648 NEW BEST:: SOT 12911068 SOS 5901998 HAS SOPS 5895157 HAS SOUS 877317 HAS SOUPS 873900 WITH SCORE 879801.998
AT ITER 2650 NEW BEST:: SOT 12906296 SOS 5896975 HAS SOPS 5890161 HAS SOUS 873083 HAS SOUPS 869693 WITH SCORE 875589.975
AT ITER 2673 NEW BEST:: SOT 12906296 SOS 5897185 HAS SOPS 5890371 HAS SOUS 873044 HAS SOUPS 869654 WITH SCORE 875551.185
AT ITER 2674 NEW BEST:: SOT 12905487 SOS 5896376 HAS SOPS 5889562 HAS SOUS 872351 HAS SOUPS 868961 WITH SCORE 874857.376
AT ITER 2693 NEW BEST:: SOT 12905487 SOS 5892953 HAS SOPS 5886327 HAS SOUS 872108 HAS SOUPS 868765 WITH SCORE 874657.953
AT ITER 2703 NEW BEST:: SOT 12905487 SOS 5892968 HAS SOPS 5886342 HAS SOUS 872071 HAS SOUPS 868728 WITH SCORE 874620.968
AT ITER 2713 NEW BEST:: SOT 12905487 SOS 5892968 HAS SOPS 5886342 HAS SOUS 871943 HAS SOUPS 868600 WITH SCORE 874492.968
AT ITER 2725 NEW BEST:: SOT 12905487 SOS 5888288 HAS SOPS 5881662 HAS SOUS 871943 HAS SOUPS 868600 WITH SCORE 874488.288
AT ITER 2726 NEW BEST:: SOT 12905487 SOS 5888255 HAS SOPS 5881629 HAS SOUS 871943 HAS SOUPS 868600 WITH SCORE 874488.255
AT ITER 2751 NEW BEST:: SOT 12906638 SOS 5889474 HAS SOPS 5882872 HAS SOUS 869631 HAS SOUPS 866312 WITH SCORE 872201.474
AT ITER 2766 NEW BEST:: SOT 12910105 SOS 5892941 HAS SOPS 5886339 HAS SOUS 869097 HAS SOUPS 865778 WITH SCORE 871670.941
AT ITER 2790 NEW BEST:: SOT 12904757 SOS 5885220 HAS SOPS 5878572 HAS SOUS 869073 HAS SOUPS 865708 WITH SCORE 871593.22
AT ITER 2792 NEW BEST:: SOT 12904757 SOS 5881116 HAS SOPS 5874468 HAS SOUS 869073 HAS SOUPS 865708 WITH SCORE 871589.116
AT ITER 2803 NEW BEST:: SOT 12904698 SOS 5881057 HAS SOPS 5874409 HAS SOUS 868694 HAS SOUPS 865329 WITH SCORE 871210.057
AT ITER 2806 NEW BEST:: SOT 12904079 SOS 5880438 HAS SOPS 5873790 HAS SOUS 868043 HAS SOUPS 864678 WITH SCORE 870558.438
AT ITER 2819 NEW BEST:: SOT 12904454 SOS 5885085 HAS SOPS 5878437 HAS SOUS 866414 HAS SOUPS 863049 WITH SCORE 868934.085
AT ITER 2824 NEW BEST:: SOT 12904249 SOS 5884880 HAS SOPS 5878232 HAS SOUS 866144 HAS SOUPS 862779 WITH SCORE 868663.88
AT ITER 2827 NEW BEST:: SOT 12908233 SOS 5905142 HAS SOPS 5898494 HAS SOUS 864155 HAS SOUPS 860790 WITH SCORE 866695.142
AT ITER 2832 NEW BEST:: SOT 12907831 SOS 5904730 HAS SOPS 5898082 HAS SOUS 854827 HAS SOUPS 851462 WITH SCORE 857366.73
AT ITER 2840 NEW BEST:: SOT 12904722 SOS 5899893 HAS SOPS 5893245 HAS SOUS 853377 HAS SOUPS 850012 WITH SCORE 855911.893
AT ITER 2875 NEW BEST:: SOT 12915357 SOS 5914450 HAS SOPS 5907802 HAS SOUS 852687 HAS SOUPS 849322 WITH SCORE 855236.45
AT ITER 2876 NEW BEST:: SOT 12915101 SOS 5914194 HAS SOPS 5907546 HAS SOUS 852160 HAS SOUPS 848795 WITH SCORE 854709.194
AT ITER 2879 NEW BEST:: SOT 12915101 SOS 5914146 HAS SOPS 5907498 HAS SOUS 852112 HAS SOUPS 848747 WITH SCORE 854661.146
AT ITER 2888 NEW BEST:: SOT 12916338 SOS 5915383 HAS SOPS 5908735 HAS SOUS 852025 HAS SOUPS 848660 WITH SCORE 854575.383
AT ITER 2898 NEW BEST:: SOT 12920129 SOS 5919174 HAS SOPS 5912526 HAS SOUS 848216 HAS SOUPS 844851 WITH SCORE 850770.174
AT ITER 2902 NEW BEST:: SOT 12924234 SOS 5922862 HAS SOPS 5916269 HAS SOUS 846693 HAS SOUPS 843383 WITH SCORE 849305.862
AT ITER 2904 NEW BEST:: SOT 12927259 SOS 5925887 HAS SOPS 5919294 HAS SOUS 844966 HAS SOUPS 841656 WITH SCORE 847581.887
AT ITER 2906 NEW BEST:: SOT 12931774 SOS 5930475 HAS SOPS 5923882 HAS SOUS 844903 HAS SOUPS 841593 WITH SCORE 847523.475
AT ITER 2909 NEW BEST:: SOT 12931774 SOS 5930505 HAS SOPS 5923882 HAS SOUS 844903 HAS SOUPS 841563 WITH SCORE 847493.505
AT ITER 2933 NEW BEST:: SOT 12931858 SOS 5930589 HAS SOPS 5923966 HAS SOUS 844839 HAS SOUPS 841499 WITH SCORE 847429.589
AT ITER 2934 NEW BEST:: SOT 12930314 SOS 5927505 HAS SOPS 5920882 HAS SOUS 843295 HAS SOUPS 839955 WITH SCORE 845882.505
AT ITER 2938 NEW BEST:: SOT 12930306 SOS 5927497 HAS SOPS 5920874 HAS SOUS 843287 HAS SOUPS 839947 WITH SCORE 845874.497
AT ITER 2945 NEW BEST:: SOT 12930306 SOS 5924412 HAS SOPS 5917789 HAS SOUS 843118 HAS SOUPS 839778 WITH SCORE 845702.412
AT ITER 2953 NEW BEST:: SOT 12930306 SOS 5921388 HAS SOPS 5914765 HAS SOUS 843118 HAS SOUPS 839778 WITH SCORE 845699.388
AT ITER 2962 NEW BEST:: SOT 12927575 SOS 5918657 HAS SOPS 5912034 HAS SOUS 840445 HAS SOUPS 837105 WITH SCORE 843023.657
AT ITER 3004 NEW BEST:: SOT 12927556 SOS 5918487 HAS SOPS 5911883 HAS SOUS 839866 HAS SOUPS 836545 WITH SCORE 842463.487
AT ITER 3015 NEW BEST:: SOT 12925359 SOS 5916290 HAS SOPS 5909686 HAS SOUS 834892 HAS SOUPS 831571 WITH SCORE 837487.29
AT ITER 3016 NEW BEST:: SOT 12925359 SOS 5911862 HAS SOPS 5905258 HAS SOUS 834856 HAS SOUPS 831535 WITH SCORE 837446.862
AT ITER 3021 NEW BEST:: SOT 12926100 SOS 5912603 HAS SOPS 5905999 HAS SOUS 832781 HAS SOUPS 829460 WITH SCORE 835372.603
AT ITER 3031 NEW BEST:: SOT 12925568 SOS 5911607 HAS SOPS 5905003 HAS SOUS 832257 HAS SOUPS 828936 WITH SCORE 834847.607
AT ITER 3046 NEW BEST:: SOT 12926096 SOS 5912134 HAS SOPS 5905513 HAS SOUS 831220 HAS SOUPS 827890 WITH SCORE 833802.134
AT ITER 3053 NEW BEST:: SOT 12926096 SOS 5908462 HAS SOPS 5901841 HAS SOUS 831220 HAS SOUPS 827890 WITH SCORE 833798.462
AT ITER 3124 NEW BEST:: SOT 12926096 SOS 5908102 HAS SOPS 5901481 HAS SOUS 831220 HAS SOUPS 827890 WITH SCORE 833798.102
AT ITER 3129 NEW BEST:: SOT 12926096 SOS 5908102 HAS SOPS 5901481 HAS SOUS 831152 HAS SOUPS 827822 WITH SCORE 833730.102
AT ITER 3146 NEW BEST:: SOT 12927970 SOS 5909976 HAS SOPS 5903355 HAS SOUS 829297 HAS SOUPS 825967 WITH SCORE 831876.976
AT ITER 3185 NEW BEST:: SOT 12927970 SOS 5909400 HAS SOPS 5902779 HAS SOUS 829249 HAS SOUPS 825919 WITH SCORE 831828.4
AT ITER 3187 NEW BEST:: SOT 12927966 SOS 5909396 HAS SOPS 5902775 HAS SOUS 829245 HAS SOUPS 825915 WITH SCORE 831824.396
AT ITER 3208 NEW BEST:: SOT 12927620 SOS 5909067 HAS SOPS 5902446 HAS SOUS 828542 HAS SOUPS 825212 WITH SCORE 831121.067
AT ITER 3211 NEW BEST:: SOT 12926884 SOS 5908331 HAS SOPS 5901710 HAS SOUS 827056 HAS SOUPS 823726 WITH SCORE 829634.331
AT ITER 3215 NEW BEST:: SOT 12925828 SOS 5907275 HAS SOPS 5900654 HAS SOUS 825877 HAS SOUPS 822547 WITH SCORE 828454.275
AT ITER 3224 NEW BEST:: SOT 12923959 SOS 5904641 HAS SOPS 5897730 HAS SOUS 821537 HAS SOUPS 818194 WITH SCORE 824098.641
AT ITER 3269 NEW BEST:: SOT 12923001 SOS 5903683 HAS SOPS 5896772 HAS SOUS 819609 HAS SOUPS 816266 WITH SCORE 822169.683
AT ITER 3286 NEW BEST:: SOT 12918095 SOS 5898777 HAS SOPS 5891866 HAS SOUS 814017 HAS SOUPS 810674 WITH SCORE 816572.777
AT ITER 3298 NEW BEST:: SOT 12915941 SOS 5896623 HAS SOPS 5889712 HAS SOUS 810426 HAS SOUPS 807083 WITH SCORE 812979.623
AT ITER 3304 NEW BEST:: SOT 12918436 SOS 5902640 HAS SOPS 5895735 HAS SOUS 807281 HAS SOUPS 803944 WITH SCORE 809846.64
AT ITER 3311 NEW BEST:: SOT 12918328 SOS 5902508 HAS SOPS 5895603 HAS SOUS 807227 HAS SOUPS 803890 WITH SCORE 809792.508
AT ITER 3318 NEW BEST:: SOT 12918328 SOS 5902456 HAS SOPS 5895551 HAS SOUS 807175 HAS SOUPS 803838 WITH SCORE 809740.456
AT ITER 3335 NEW BEST:: SOT 12918328 SOS 5903824 HAS SOPS 5896919 HAS SOUS 805905 HAS SOUPS 802568 WITH SCORE 808471.824
AT ITER 3337 NEW BEST:: SOT 12918328 SOS 5906488 HAS SOPS 5899583 HAS SOUS 805054 HAS SOUPS 801717 WITH SCORE 807623.488
AT ITER 3352 NEW BEST:: SOT 12922518 SOS 5910678 HAS SOPS 5903773 HAS SOUS 804112 HAS SOUPS 800775 WITH SCORE 806685.678
AT ITER 3360 NEW BEST:: SOT 12922084 SOS 5910244 HAS SOPS 5903339 HAS SOUS 803521 HAS SOUPS 800184 WITH SCORE 806094.244
AT ITER 3368 NEW BEST:: SOT 12922084 SOS 5910184 HAS SOPS 5903279 HAS SOUS 803521 HAS SOUPS 800184 WITH SCORE 806094.184
AT ITER 3387 NEW BEST:: SOT 12921995 SOS 5906145 HAS SOPS 5899240 HAS SOUS 803361 HAS SOUPS 800024 WITH SCORE 805930.145
AT ITER 3432 NEW BEST:: SOT 12921995 SOS 5906095 HAS SOPS 5899190 HAS SOUS 803336 HAS SOUPS 799999 WITH SCORE 805905.095
AT ITER 3477 NEW BEST:: SOT 12921851 SOS 5905951 HAS SOPS 5899046 HAS SOUS 802447 HAS SOUPS 799110 WITH SCORE 805015.951
AT ITER 3481 NEW BEST:: SOT 12921851 SOS 5905951 HAS SOPS 5899046 HAS SOUS 802441 HAS SOUPS 799104 WITH SCORE 805009.951
AT ITER 3515 NEW BEST:: SOT 12918269 SOS 5902369 HAS SOPS 5895464 HAS SOUS 799079 HAS SOUPS 795742 WITH SCORE 801644.369
AT ITER 3540 NEW BEST:: SOT 12921244 SOS 5910459 HAS SOPS 5903623 HAS SOUS 797978 HAS SOUPS 794710 WITH SCORE 800620.459
AT ITER 3547 NEW BEST:: SOT 12921785 SOS 5913302 HAS SOPS 5906466 HAS SOUS 797024 HAS SOUPS 793756 WITH SCORE 799669.302
AT ITER 3549 NEW BEST:: SOT 12921565 SOS 5913082 HAS SOPS 5906246 HAS SOUS 796884 HAS SOUPS 793616 WITH SCORE 799529.082
AT ITER 3601 NEW BEST:: SOT 12921565 SOS 5916920 HAS SOPS 5910084 HAS SOUS 795946 HAS SOUPS 792678 WITH SCORE 798594.92
AT ITER 3636 NEW BEST:: SOT 12921935 SOS 5917290 HAS SOPS 5910454 HAS SOUS 795881 HAS SOUPS 792613 WITH SCORE 798530.29
AT ITER 3686 NEW BEST:: SOT 12926791 SOS 5922705 HAS SOPS 5915872 HAS SOUS 795859 HAS SOUPS 792594 WITH SCORE 798516.705
AT ITER 3698 NEW BEST:: SOT 12926730 SOS 5922644 HAS SOPS 5915811 HAS SOUS 795842 HAS SOUPS 792577 WITH SCORE 798499.644
AT ITER 3710 NEW BEST:: SOT 12926314 SOS 5922228 HAS SOPS 5915395 HAS SOUS 795546 HAS SOUPS 792281 WITH SCORE 798203.228
AT ITER 3713 NEW BEST:: SOT 12934055 SOS 5935946 HAS SOPS 5929021 HAS SOUS 789120 HAS SOUPS 785763 WITH SCORE 791698.946
AT ITER 3725 NEW BEST:: SOT 12934016 SOS 5936427 HAS SOPS 5929502 HAS SOUS 787071 HAS SOUPS 783714 WITH SCORE 789650.427
AT ITER 3728 NEW BEST:: SOT 12934016 SOS 5936878 HAS SOPS 5929953 HAS SOUS 787062 HAS SOUPS 783705 WITH SCORE 789641.878
AT ITER 3737 NEW BEST:: SOT 12935810 SOS 5938672 HAS SOPS 5931747 HAS SOUS 785932 HAS SOUPS 782575 WITH SCORE 788513.672
AT ITER 3765 NEW BEST:: SOT 12935784 SOS 5938646 HAS SOPS 5931697 HAS SOUS 785906 HAS SOUPS 782525 WITH SCORE 788463.646
AT ITER 3782 NEW BEST:: SOT 12935784 SOS 5937620 HAS SOPS 5930671 HAS SOUS 785871 HAS SOUPS 782490 WITH SCORE 788427.62
AT ITER 3801 NEW BEST:: SOT 12935704 SOS 5937540 HAS SOPS 5930591 HAS SOUS 785831 HAS SOUPS 782450 WITH SCORE 788387.54
AT ITER 3818 NEW BEST:: SOT 12934836 SOS 5936672 HAS SOPS 5929723 HAS SOUS 785189 HAS SOUPS 781808 WITH SCORE 787744.672
AT ITER 3829 NEW BEST:: SOT 12934689 SOS 5936525 HAS SOPS 5929576 HAS SOUS 784678 HAS SOUPS 781297 WITH SCORE 787233.525
AT ITER 3834 NEW BEST:: SOT 12933988 SOS 5935824 HAS SOPS 5928875 HAS SOUS 784096 HAS SOUPS 780715 WITH SCORE 786650.824
AT ITER 3840 NEW BEST:: SOT 12933396 SOS 5935282 HAS SOPS 5928333 HAS SOUS 781914 HAS SOUPS 778533 WITH SCORE 784468.282
AT ITER 3869 NEW BEST:: SOT 12934509 SOS 5936390 HAS SOPS 5929441 HAS SOUS 780923 HAS SOUPS 777542 WITH SCORE 783478.39
AT ITER 3892 NEW BEST:: SOT 12934509 SOS 5932934 HAS SOPS 5925985 HAS SOUS 780923 HAS SOUPS 777542 WITH SCORE 783474.934
AT ITER 3897 NEW BEST:: SOT 12935102 SOS 5933527 HAS SOPS 5926578 HAS SOUS 780285 HAS SOUPS 776904 WITH SCORE 782837.527
AT ITER 3970 NEW BEST:: SOT 12935102 SOS 5933527 HAS SOPS 5926578 HAS SOUS 780262 HAS SOUPS 776881 WITH SCORE 782814.527
AT ITER 3986 NEW BEST:: SOT 12935102 SOS 5917509 HAS SOPS 5911525 HAS SOUS 779875 HAS SOUPS 776687 WITH SCORE 782604.509
AT ITER 3996 NEW BEST:: SOT 12935073 SOS 5917480 HAS SOPS 5911496 HAS SOUS 779846 HAS SOUPS 776658 WITH SCORE 782575.48
AT ITER 4011 NEW BEST:: SOT 12935073 SOS 5918830 HAS SOPS 5912846 HAS SOUS 779540 HAS SOUPS 776352 WITH SCORE 782270.83
AT ITER 4013 NEW BEST:: SOT 12932929 SOS 5916622 HAS SOPS 5910638 HAS SOUS 778398 HAS SOUPS 775210 WITH SCORE 781126.622
AT ITER 4112 NEW BEST:: SOT 12929531 SOS 5811181 HAS SOPS 5804914 HAS SOUS 776733 HAS SOUPS 773430 WITH SCORE 779241.181
AT ITER 4127 NEW BEST:: SOT 12929094 SOS 5810096 HAS SOPS 5803829 HAS SOUS 776420 HAS SOUPS 773117 WITH SCORE 778927.096
AT ITER 4140 NEW BEST:: SOT 12929094 SOS 5810107 HAS SOPS 5803840 HAS SOUS 776409 HAS SOUPS 773106 WITH SCORE 778916.107
AT ITER 4189 NEW BEST:: SOT 12937155 SOS 5824216 HAS SOPS 5817949 HAS SOUS 776270 HAS SOUPS 772967 WITH SCORE 778791.216
AT ITER 4207 NEW BEST:: SOT 12937155 SOS 5821492 HAS SOPS 5815225 HAS SOUS 776258 HAS SOUPS 772955 WITH SCORE 778776.492
AT ITER 4214 NEW BEST:: SOT 12937155 SOS 5821502 HAS SOPS 5815235 HAS SOUS 776248 HAS SOUPS 772945 WITH SCORE 778766.502
AT ITER 4228 NEW BEST:: SOT 12937100 SOS 5821445 HAS SOPS 5815178 HAS SOUS 775798 HAS SOUPS 772495 WITH SCORE 778316.445
AT ITER 4252 NEW BEST:: SOT 12941105 SOS 5834522 HAS SOPS 5828255 HAS SOUS 775411 HAS SOUPS 772108 WITH SCORE 777942.522
AT ITER 4253 NEW BEST:: SOT 12941369 SOS 5837026 HAS SOPS 5830531 HAS SOUS 772197 HAS SOUPS 768842 WITH SCORE 774679.026
AT ITER 4283 NEW BEST:: SOT 12937908 SOS 5833366 HAS SOPS 5826897 HAS SOUS 769821 HAS SOUPS 766492 WITH SCORE 772325.366
AT ITER 4294 NEW BEST:: SOT 12937908 SOS 5829982 HAS SOPS 5823513 HAS SOUS 769821 HAS SOUPS 766492 WITH SCORE 772321.982
AT ITER 4296 NEW BEST:: SOT 12936426 SOS 5786692 HAS SOPS 5780919 HAS SOUS 768248 HAS SOUPS 765227 WITH SCORE 771013.692
AT ITER 4301 NEW BEST:: SOT 12937239 SOS 5787505 HAS SOPS 5781732 HAS SOUS 768068 HAS SOUPS 765047 WITH SCORE 770834.505
AT ITER 4303 NEW BEST:: SOT 12937239 SOS 5789651 HAS SOPS 5783878 HAS SOUS 765552 HAS SOUPS 762531 WITH SCORE 768320.651
AT ITER 4314 NEW BEST:: SOT 12935871 SOS 5788283 HAS SOPS 5782510 HAS SOUS 764508 HAS SOUPS 761487 WITH SCORE 767275.283
AT ITER 4322 NEW BEST:: SOT 12937165 SOS 5792168 HAS SOPS 5786395 HAS SOUS 761480 HAS SOUPS 758459 WITH SCORE 764251.168
AT ITER 4337 NEW BEST:: SOT 12936835 SOS 5791852 HAS SOPS 5786093 HAS SOUS 761030 HAS SOUPS 758009 WITH SCORE 763800.852
AT ITER 4360 NEW BEST:: SOT 12937310 SOS 5792349 HAS SOPS 5786590 HAS SOUS 760800 HAS SOUPS 757779 WITH SCORE 763571.349
AT ITER 4364 NEW BEST:: SOT 12936428 SOS 5794131 HAS SOPS 5788372 HAS SOUS 759212 HAS SOUPS 756191 WITH SCORE 761985.131
AT ITER 4372 NEW BEST:: SOT 12934184 SOS 5791887 HAS SOPS 5786128 HAS SOUS 755137 HAS SOUPS 752116 WITH SCORE 757907.887
AT ITER 4381 NEW BEST:: SOT 12934184 SOS 5791918 HAS SOPS 5786159 HAS SOUS 755106 HAS SOUPS 752085 WITH SCORE 757876.918
AT ITER 4389 NEW BEST:: SOT 12926405 SOS 5776276 HAS SOPS 5770418 HAS SOUS 754228 HAS SOUPS 751133 WITH SCORE 756909.276
AT ITER 4394 NEW BEST:: SOT 12926399 SOS 5776270 HAS SOPS 5770412 HAS SOUS 754222 HAS SOUPS 751127 WITH SCORE 756903.27
AT ITER 4405 NEW BEST:: SOT 12926370 SOS 5776241 HAS SOPS 5770383 HAS SOUS 754193 HAS SOUPS 751098 WITH SCORE 756874.241
AT ITER 4420 NEW BEST:: SOT 12927961 SOS 5777832 HAS SOPS 5771974 HAS SOUS 753500 HAS SOUPS 750405 WITH SCORE 756182.832
AT ITER 4496 NEW BEST:: SOT 12925351 SOS 5775222 HAS SOPS 5769364 HAS SOUS 750237 HAS SOUPS 747142 WITH SCORE 752917.222
AT ITER 4513 NEW BEST:: SOT 12925052 SOS 5774928 HAS SOPS 5769075 HAS SOUS 749978 HAS SOUPS 746884 WITH SCORE 752658.928
AT ITER 4521 NEW BEST:: SOT 12925052 SOS 5771636 HAS SOPS 5765783 HAS SOUS 749958 HAS SOUPS 746864 WITH SCORE 752635.636
AT ITER 4526 NEW BEST:: SOT 12925980 SOS 5793312 HAS SOPS 5787459 HAS SOUS 747698 HAS SOUPS 744604 WITH SCORE 750397.312
AT ITER 4552 NEW BEST:: SOT 12928698 SOS 5795998 HAS SOPS 5790145 HAS SOUS 746846 HAS SOUPS 743752 WITH SCORE 749547.998
AT ITER 4595 NEW BEST:: SOT 12928678 SOS 5795268 HAS SOPS 5789415 HAS SOUS 746816 HAS SOUPS 743722 WITH SCORE 749517.268
AT ITER 4601 NEW BEST:: SOT 12928675 SOS 5795265 HAS SOPS 5789412 HAS SOUS 746816 HAS SOUPS 743722 WITH SCORE 749517.265
AT ITER 4604 NEW BEST:: SOT 12928675 SOS 5795175 HAS SOPS 5789322 HAS SOUS 746771 HAS SOUPS 743677 WITH SCORE 749472.175
AT ITER 4679 NEW BEST:: SOT 12928642 SOS 5795142 HAS SOPS 5789289 HAS SOUS 746738 HAS SOUPS 743644 WITH SCORE 749439.142
AT ITER 4680 NEW BEST:: SOT 12928378 SOS 5794878 HAS SOPS 5789025 HAS SOUS 746474 HAS SOUPS 743380 WITH SCORE 749174.878
AT ITER 4684 NEW BEST:: SOT 12938863 SOS 5827325 HAS SOPS 5820809 HAS SOUS 745293 HAS SOUPS 742104 WITH SCORE 747931.325
AT ITER 4710 NEW BEST:: SOT 12937885 SOS 5826347 HAS SOPS 5819831 HAS SOUS 743320 HAS SOUPS 740131 WITH SCORE 745957.347
AT ITER 4712 NEW BEST:: SOT 12937885 SOS 5826347 HAS SOPS 5819831 HAS SOUS 743318 HAS SOUPS 740129 WITH SCORE 745955.347
AT ITER 4735 NEW BEST:: SOT 12934229 SOS 5819121 HAS SOPS 5812605 HAS SOUS 739662 HAS SOUPS 736473 WITH SCORE 742292.121
AT ITER 4736 NEW BEST:: SOT 12934229 SOS 5817540 HAS SOPS 5811024 HAS SOUS 739559 HAS SOUPS 736370 WITH SCORE 742187.54
AT ITER 4760 NEW BEST:: SOT 12934229 SOS 5817540 HAS SOPS 5811024 HAS SOUS 739541 HAS SOUPS 736352 WITH SCORE 742169.54
AT ITER 4763 NEW BEST:: SOT 12932105 SOS 5820744 HAS SOPS 5814228 HAS SOUS 738543 HAS SOUPS 735354 WITH SCORE 741174.744
AT ITER 4764 NEW BEST:: SOT 12929672 SOS 5818311 HAS SOPS 5811795 HAS SOUS 736984 HAS SOUPS 733795 WITH SCORE 739613.311
AT ITER 4765 NEW BEST:: SOT 12929672 SOS 5818265 HAS SOPS 5811749 HAS SOUS 736984 HAS SOUPS 733795 WITH SCORE 739613.265
AT ITER 4780 NEW BEST:: SOT 12929048 SOS 5817641 HAS SOPS 5811125 HAS SOUS 736575 HAS SOUPS 733386 WITH SCORE 739203.641
AT ITER 4825 NEW BEST:: SOT 12929048 SOS 5817399 HAS SOPS 5810883 HAS SOUS 736454 HAS SOUPS 733265 WITH SCORE 739082.399
AT ITER 4827 NEW BEST:: SOT 12931961 SOS 5820312 HAS SOPS 5813796 HAS SOUS 735732 HAS SOUPS 732543 WITH SCORE 738363.312
AT ITER 4829 NEW BEST:: SOT 12927244 SOS 5814515 HAS SOPS 5807999 HAS SOUS 732190 HAS SOUPS 729001 WITH SCORE 734815.515
AT ITER 4859 NEW BEST:: SOT 12925348 SOS 5812619 HAS SOPS 5806103 HAS SOUS 729979 HAS SOUPS 726790 WITH SCORE 732602.619
AT ITER 4869 NEW BEST:: SOT 12925348 SOS 5811971 HAS SOPS 5805455 HAS SOUS 729979 HAS SOUPS 726790 WITH SCORE 732601.971
AT ITER 4884 NEW BEST:: SOT 12924984 SOS 5811211 HAS SOPS 5804695 HAS SOUS 729573 HAS SOUPS 726384 WITH SCORE 732195.211
AT ITER 4889 NEW BEST:: SOT 12927110 SOS 5812851 HAS SOPS 5806434 HAS SOUS 729093 HAS SOUPS 725978 WITH SCORE 731790.851
AT ITER 4931 NEW BEST:: SOT 12926738 SOS 5812473 HAS SOPS 5806050 HAS SOUS 728807 HAS SOUPS 725686 WITH SCORE 731498.473
AT ITER 4958 NEW BEST:: SOT 12926738 SOS 5822615 HAS SOPS 5815954 HAS SOUS 728156 HAS SOUPS 724860 WITH SCORE 730682.615
AT ITER 4959 NEW BEST:: SOT 12926738 SOS 5822563 HAS SOPS 5815902 HAS SOUS 728130 HAS SOUPS 724834 WITH SCORE 730656.563
AT ITER 4969 NEW BEST:: SOT 12928012 SOS 5823837 HAS SOPS 5817176 HAS SOUS 727854 HAS SOUPS 724558 WITH SCORE 730381.837
AT ITER 4981 NEW BEST:: SOT 12928012 SOS 5823774 HAS SOPS 5817113 HAS SOUS 727847 HAS SOUPS 724551 WITH SCORE 730374.774
AT ITER 5002 NEW BEST:: SOT 12926908 SOS 5822670 HAS SOPS 5816009 HAS SOUS 725618 HAS SOUPS 722322 WITH SCORE 728144.67
AT ITER 5044 NEW BEST:: SOT 12926908 SOS 5822860 HAS SOPS 5816199 HAS SOUS 725387 HAS SOUPS 722091 WITH SCORE 727913.86
AT ITER 5114 NEW BEST:: SOT 12926902 SOS 5822854 HAS SOPS 5816193 HAS SOUS 725381 HAS SOUPS 722085 WITH SCORE 727907.854
AT ITER 5126 NEW BEST:: SOT 12926883 SOS 5821657 HAS SOPS 5814996 HAS SOUS 725381 HAS SOUPS 722085 WITH SCORE 727906.657
AT ITER 5131 NEW BEST:: SOT 12926714 SOS 5821488 HAS SOPS 5814827 HAS SOUS 725040 HAS SOUPS 721744 WITH SCORE 727565.488
AT ITER 5137 NEW BEST:: SOT 12926714 SOS 5820073 HAS SOPS 5813412 HAS SOUS 725015 HAS SOUPS 721719 WITH SCORE 727539.073
AT ITER 5144 NEW BEST:: SOT 12926714 SOS 5819660 HAS SOPS 5812999 HAS SOUS 725015 HAS SOUPS 721719 WITH SCORE 727538.66
AT ITER 5161 NEW BEST:: SOT 12926591 SOS 5819537 HAS SOPS 5812876 HAS SOUS 724766 HAS SOUPS 721470 WITH SCORE 727289.537
AT ITER 5166 NEW BEST:: SOT 12921327 SOS 5814232 HAS SOPS 5807571 HAS SOUS 721039 HAS SOUPS 717743 WITH SCORE 723557.232
AT ITER 5191 NEW BEST:: SOT 12921327 SOS 5814212 HAS SOPS 5807571 HAS SOUS 721019 HAS SOUPS 717743 WITH SCORE 723557.212
AT ITER 5196 NEW BEST:: SOT 12921327 SOS 5818802 HAS SOPS 5812161 HAS SOUS 720497 HAS SOUPS 717221 WITH SCORE 723039.802
AT ITER 5198 NEW BEST:: SOT 12920078 SOS 5817588 HAS SOPS 5810989 HAS SOUS 719273 HAS SOUPS 716011 WITH SCORE 721828.588
AT ITER 5201 NEW BEST:: SOT 12920077 SOS 5817587 HAS SOPS 5810988 HAS SOUS 719272 HAS SOUPS 716010 WITH SCORE 721827.587
AT ITER 5257 NEW BEST:: SOT 12920077 SOS 5817587 HAS SOPS 5810988 HAS SOUS 719269 HAS SOUPS 716007 WITH SCORE 721824.587
AT ITER 5261 NEW BEST:: SOT 12920077 SOS 5825474 HAS SOPS 5818875 HAS SOUS 718667 HAS SOUPS 715405 WITH SCORE 721230.474
AT ITER 5291 NEW BEST:: SOT 12918027 SOS 5823424 HAS SOPS 5816825 HAS SOUS 716988 HAS SOUPS 713726 WITH SCORE 719549.424
AT ITER 5349 NEW BEST:: SOT 12918920 SOS 5824317 HAS SOPS 5817718 HAS SOUS 716649 HAS SOUPS 713387 WITH SCORE 719211.317
AT ITER 5358 NEW BEST:: SOT 12918920 SOS 5824341 HAS SOPS 5817742 HAS SOUS 716625 HAS SOUPS 713363 WITH SCORE 719187.341
AT ITER 5360 NEW BEST:: SOT 12917486 SOS 5822907 HAS SOPS 5816308 HAS SOUS 713712 HAS SOUPS 710450 WITH SCORE 716272.907
AT ITER 5363 NEW BEST:: SOT 12917540 SOS 5822789 HAS SOPS 5816190 HAS SOUS 713596 HAS SOUPS 710334 WITH SCORE 716156.789
AT ITER 5368 NEW BEST:: SOT 12917540 SOS 5822509 HAS SOPS 5815910 HAS SOUS 713588 HAS SOUPS 710326 WITH SCORE 716148.509
AT ITER 5397 NEW BEST:: SOT 12911837 SOS 5816032 HAS SOPS 5809391 HAS SOUS 710882 HAS SOUPS 707620 WITH SCORE 713436.032
AT ITER 5461 NEW BEST:: SOT 12896381 SOS 5805770 HAS SOPS 5798837 HAS SOUS 709793 HAS SOUPS 706399 WITH SCORE 712204.77
AT ITER 5471 NEW BEST:: SOT 12896288 SOS 5805677 HAS SOPS 5798744 HAS SOUS 709756 HAS SOUPS 706362 WITH SCORE 712167.677
AT ITER 5480 NEW BEST:: SOT 12888834 SOS 5798223 HAS SOPS 5791290 HAS SOUS 708816 HAS SOUPS 705422 WITH SCORE 711220.223
AT ITER 5499 NEW BEST:: SOT 12888628 SOS 5798017 HAS SOPS 5791084 HAS SOUS 708398 HAS SOUPS 705004 WITH SCORE 710802.017
AT ITER 5500 NEW BEST:: SOT 12888581 SOS 5797970 HAS SOPS 5791037 HAS SOUS 708364 HAS SOUPS 704970 WITH SCORE 710767.97
AT ITER 5501 NEW BEST:: SOT 12887360 SOS 5796749 HAS SOPS 5789816 HAS SOUS 707353 HAS SOUPS 703959 WITH SCORE 709755.749
AT ITER 5526 NEW BEST:: SOT 12887425 SOS 5796821 HAS SOPS 5789895 HAS SOUS 707188 HAS SOUPS 703801 WITH SCORE 709597.821
AT ITER 5545 NEW BEST:: SOT 12887576 SOS 5796639 HAS SOPS 5789612 HAS SOUS 707243 HAS SOUPS 703755 WITH SCORE 709551.639
AT ITER 5546 NEW BEST:: SOT 12887576 SOS 5794625 HAS SOPS 5787598 HAS SOUS 707241 HAS SOUPS 703753 WITH SCORE 709547.625
AT ITER 5575 NEW BEST:: SOT 12887416 SOS 5794465 HAS SOPS 5787438 HAS SOUS 706311 HAS SOUPS 702823 WITH SCORE 708617.465
AT ITER 5589 NEW BEST:: SOT 12887416 SOS 5795025 HAS SOPS 5787998 HAS SOUS 705835 HAS SOUPS 702347 WITH SCORE 708142.025
AT ITER 5612 NEW BEST:: SOT 12890977 SOS 5798586 HAS SOPS 5791559 HAS SOUS 705582 HAS SOUPS 702094 WITH SCORE 707892.586
AT ITER 5632 NEW BEST:: SOT 12888310 SOS 5793713 HAS SOPS 5786686 HAS SOUS 704807 HAS SOUPS 701319 WITH SCORE 707112.713
AT ITER 5633 NEW BEST:: SOT 12889939 SOS 5794350 HAS SOPS 5787660 HAS SOUS 700523 HAS SOUPS 697189 WITH SCORE 702983.35
AT ITER 5634 NEW BEST:: SOT 12886148 SOS 5789245 HAS SOPS 5782619 HAS SOUS 698238 HAS SOUPS 694935 WITH SCORE 700724.245
AT ITER 5637 NEW BEST:: SOT 12897010 SOS 5794913 HAS SOPS 5788579 HAS SOUS 695179 HAS SOUPS 692008 WITH SCORE 697802.913
AT ITER 5647 NEW BEST:: SOT 12895972 SOS 5793875 HAS SOPS 5787541 HAS SOUS 692922 HAS SOUPS 689751 WITH SCORE 695544.875
AT ITER 5649 NEW BEST:: SOT 12895972 SOS 5793875 HAS SOPS 5787541 HAS SOUS 692914 HAS SOUPS 689743 WITH SCORE 695536.875
AT ITER 5666 NEW BEST:: SOT 12896577 SOS 5794480 HAS SOPS 5788146 HAS SOUS 691705 HAS SOUPS 688534 WITH SCORE 694328.48
AT ITER 5717 NEW BEST:: SOT 12896256 SOS 5792927 HAS SOPS 5786625 HAS SOUS 691695 HAS SOUPS 688524 WITH SCORE 694316.927
AT ITER 5727 NEW BEST:: SOT 12896256 SOS 5792937 HAS SOPS 5786635 HAS SOUS 691685 HAS SOUPS 688514 WITH SCORE 694306.937
AT ITER 5734 NEW BEST:: SOT 12896256 SOS 5792850 HAS SOPS 5786548 HAS SOUS 691685 HAS SOUPS 688514 WITH SCORE 694306.85
AT ITER 5736 NEW BEST:: SOT 12896256 SOS 5792850 HAS SOPS 5786548 HAS SOUS 691648 HAS SOUPS 688477 WITH SCORE 694269.85
AT ITER 5740 NEW BEST:: SOT 12896256 SOS 5785297 HAS SOPS 5779450 HAS SOUS 691466 HAS SOUPS 688386 WITH SCORE 694171.297
AT ITER 5846 NEW BEST:: SOT 12901421 SOS 6238016 HAS SOPS 6233011 HAS SOUS 686368 HAS SOUPS 683536 WITH SCORE 689774.016
AT ITER 5907 NEW BEST:: SOT 12901421 SOS 6238616 HAS SOPS 6233611 HAS SOUS 686007 HAS SOUPS 683175 WITH SCORE 689413.616
AT ITER 5911 NEW BEST:: SOT 12901326 SOS 6238492 HAS SOPS 6233487 HAS SOUS 684899 HAS SOUPS 682067 WITH SCORE 688305.492
AT ITER 5931 NEW BEST:: SOT 12903132 SOS 6248272 HAS SOPS 6243267 HAS SOUS 678427 HAS SOUPS 675595 WITH SCORE 681843.272
AT ITER 6003 NEW BEST:: SOT 12903132 SOS 6248462 HAS SOPS 6243457 HAS SOUS 675880 HAS SOUPS 673048 WITH SCORE 679296.462
AT ITER 6021 NEW BEST:: SOT 12906649 SOS 6268142 HAS SOPS 6263137 HAS SOUS 675445 HAS SOUPS 672613 WITH SCORE 678881.142
AT ITER 6055 NEW BEST:: SOT 12906649 SOS 6268156 HAS SOPS 6263151 HAS SOUS 675431 HAS SOUPS 672599 WITH SCORE 678867.156
AT ITER 6062 NEW BEST:: SOT 12910461 SOS 6271952 HAS SOPS 6266947 HAS SOUS 675228 HAS SOUPS 672396 WITH SCORE 678667.952
AT ITER 6078 NEW BEST:: SOT 12908234 SOS 6269557 HAS SOPS 6264615 HAS SOUS 673985 HAS SOUPS 671174 WITH SCORE 677443.557
AT ITER 6090 NEW BEST:: SOT 12911318 SOS 6272616 HAS SOPS 6267674 HAS SOUS 673636 HAS SOUPS 670825 WITH SCORE 677097.616
AT ITER 6095 NEW BEST:: SOT 12907742 SOS 6267926 HAS SOPS 6262290 HAS SOUS 669881 HAS SOUPS 666376 WITH SCORE 672643.926
AT ITER 6126 NEW BEST:: SOT 12907702 SOS 6267886 HAS SOPS 6262250 HAS SOUS 669821 HAS SOUPS 666316 WITH SCORE 672583.886
AT ITER 6131 NEW BEST:: SOT 12906530 SOS 6266674 HAS SOPS 6261038 HAS SOUS 668055 HAS SOUPS 664550 WITH SCORE 670816.674
AT ITER 6143 NEW BEST:: SOT 12906530 SOS 6266562 HAS SOPS 6260926 HAS SOUS 668055 HAS SOUPS 664550 WITH SCORE 670816.562
AT ITER 6189 NEW BEST:: SOT 12906506 SOS 6266538 HAS SOPS 6260902 HAS SOUS 668055 HAS SOUPS 664550 WITH SCORE 670816.538
AT ITER 6277 NEW BEST:: SOT 12906488 SOS 6266520 HAS SOPS 6260884 HAS SOUS 668037 HAS SOUPS 664532 WITH SCORE 670798.52
AT ITER 6329 NEW BEST:: SOT 12906488 SOS 6266660 HAS SOPS 6261024 HAS SOUS 668027 HAS SOUPS 664522 WITH SCORE 670788.66
AT ITER 6357 NEW BEST:: SOT 12906046 SOS 6266218 HAS SOPS 6260582 HAS SOUS 667128 HAS SOUPS 663623 WITH SCORE 669889.218
AT ITER 6361 NEW BEST:: SOT 12906437 SOS 6266609 HAS SOPS 6260973 HAS SOUS 666763 HAS SOUPS 663258 WITH SCORE 669524.609
AT ITER 6366 NEW BEST:: SOT 12906437 SOS 6266241 HAS SOPS 6260605 HAS SOUS 666671 HAS SOUPS 663166 WITH SCORE 669432.241
AT ITER 6420 NEW BEST:: SOT 12908674 SOS 6269002 HAS SOPS 6263539 HAS SOUS 662876 HAS SOUPS 659419 WITH SCORE 665688.002
AT ITER 6422 NEW BEST:: SOT 12908674 SOS 6268789 HAS SOPS 6263326 HAS SOUS 662873 HAS SOUPS 659416 WITH SCORE 665684.789
AT ITER 6447 NEW BEST:: SOT 12908674 SOS 6268531 HAS SOPS 6263068 HAS SOUS 662864 HAS SOUPS 659407 WITH SCORE 665675.531
AT ITER 6481 NEW BEST:: SOT 12910109 SOS 6269966 HAS SOPS 6264503 HAS SOUS 662808 HAS SOUPS 659351 WITH SCORE 665620.966
AT ITER 6488 NEW BEST:: SOT 12910093 SOS 6269950 HAS SOPS 6264487 HAS SOUS 662792 HAS SOUPS 659335 WITH SCORE 665604.95
AT ITER 6490 NEW BEST:: SOT 12910093 SOS 6269967 HAS SOPS 6264504 HAS SOUS 662775 HAS SOUPS 659318 WITH SCORE 665587.967
AT ITER 6491 NEW BEST:: SOT 12910093 SOS 6268239 HAS SOPS 6262776 HAS SOUS 662775 HAS SOUPS 659318 WITH SCORE 665586.239
AT ITER 6537 NEW BEST:: SOT 12906821 SOS 6260914 HAS SOPS 6255481 HAS SOUS 662659 HAS SOUPS 659232 WITH SCORE 665492.914
AT ITER 6630 NEW BEST:: SOT 12906537 SOS 6259018 HAS SOPS 6253705 HAS SOUS 662163 HAS SOUPS 658760 WITH SCORE 665019.018
AT ITER 6688 NEW BEST:: SOT 12906537 SOS 6263792 HAS SOPS 6258479 HAS SOUS 660764 HAS SOUPS 657361 WITH SCORE 663624.792
AT ITER 6702 NEW BEST:: SOT 12906980 SOS 6264326 HAS SOPS 6259027 HAS SOUS 660334 HAS SOUPS 656935 WITH SCORE 663199.326
AT ITER 6718 NEW BEST:: SOT 12906964 SOS 6264310 HAS SOPS 6259011 HAS SOUS 660334 HAS SOUPS 656935 WITH SCORE 663199.31
AT ITER 6736 NEW BEST:: SOT 12908159 SOS 6266585 HAS SOPS 6261286 HAS SOUS 660315 HAS SOUPS 656916 WITH SCORE 663182.585
AT ITER 6761 NEW BEST:: SOT 12905761 SOS 6263880 HAS SOPS 6258715 HAS SOUS 659698 HAS SOUPS 656343 WITH SCORE 662606.88
AT ITER 6763 NEW BEST:: SOT 12905904 SOS 6264012 HAS SOPS 6258847 HAS SOUS 657300 HAS SOUPS 653945 WITH SCORE 660209.012
AT ITER 6764 NEW BEST:: SOT 12905929 SOS 6264038 HAS SOPS 6258874 HAS SOUS 657283 HAS SOUPS 653929 WITH SCORE 660193.038
AT ITER 6782 NEW BEST:: SOT 12905916 SOS 6264025 HAS SOPS 6258861 HAS SOUS 657257 HAS SOUPS 653903 WITH SCORE 660167.025
AT ITER 6809 NEW BEST:: SOT 12906432 SOS 6264541 HAS SOPS 6259377 HAS SOUS 656982 HAS SOUPS 653628 WITH SCORE 659892.541
AT ITER 6834 NEW BEST:: SOT 12906442 SOS 6265261 HAS SOPS 6260097 HAS SOUS 656932 HAS SOUPS 653578 WITH SCORE 659843.261
AT ITER 6835 NEW BEST:: SOT 12907038 SOS 6265820 HAS SOPS 6260656 HAS SOUS 656524 HAS SOUPS 653170 WITH SCORE 659435.82
AT ITER 6841 NEW BEST:: SOT 12906517 SOS 6265395 HAS SOPS 6260372 HAS SOUS 655168 HAS SOUPS 651862 WITH SCORE 658127.395
AT ITER 6864 NEW BEST:: SOT 12906082 SOS 6265721 HAS SOPS 6260574 HAS SOUS 654797 HAS SOUPS 651367 WITH SCORE 657632.721
AT ITER 6897 NEW BEST:: SOT 12906082 SOS 6265756 HAS SOPS 6260609 HAS SOUS 654762 HAS SOUPS 651332 WITH SCORE 657597.756
AT ITER 6913 NEW BEST:: SOT 12906058 SOS 6265732 HAS SOPS 6260585 HAS SOUS 654738 HAS SOUPS 651308 WITH SCORE 657573.732
AT ITER 6918 NEW BEST:: SOT 12905989 SOS 6265664 HAS SOPS 6260516 HAS SOUS 654548 HAS SOUPS 651117 WITH SCORE 657382.664
AT ITER 6942 NEW BEST:: SOT 12905800 SOS 6265455 HAS SOPS 6260303 HAS SOUS 654543 HAS SOUPS 651109 WITH SCORE 657374.455
AT ITER 6944 NEW BEST:: SOT 12905557 SOS 6265226 HAS SOPS 6260067 HAS SOUS 654046 HAS SOUPS 650605 WITH SCORE 656870.226
AT ITER 6982 NEW BEST:: SOT 12905557 SOS 6265956 HAS SOPS 6260781 HAS SOUS 654033 HAS SOUPS 650592 WITH SCORE 656857.956
AT ITER 6992 NEW BEST:: SOT 12906308 SOS 6270697 HAS SOPS 6265522 HAS SOUS 651813 HAS SOUPS 648372 WITH SCORE 654642.697
AT ITER 7030 NEW BEST:: SOT 12900460 SOS 6260961 HAS SOPS 6255786 HAS SOUS 650104 HAS SOUPS 646663 WITH SCORE 652923.961
AT ITER 7047 NEW BEST:: SOT 12900460 SOS 6261911 HAS SOPS 6256736 HAS SOUS 650094 HAS SOUPS 646653 WITH SCORE 652914.911
AT ITER 7050 NEW BEST:: SOT 12900460 SOS 6261877 HAS SOPS 6256702 HAS SOUS 650060 HAS SOUPS 646619 WITH SCORE 652880.877
AT ITER 7053 NEW BEST:: SOT 12899414 SOS 6260792 HAS SOPS 6255617 HAS SOUS 647304 HAS SOUPS 643863 WITH SCORE 650123.792
AT ITER 7064 NEW BEST:: SOT 12892528 SOS 6250476 HAS SOPS 6245252 HAS SOUS 645917 HAS SOUPS 642427 WITH SCORE 648677.476
AT ITER 7086 NEW BEST:: SOT 12891549 SOS 6249497 HAS SOPS 6244273 HAS SOUS 643846 HAS SOUPS 640356 WITH SCORE 646605.497
AT ITER 7111 NEW BEST:: SOT 12891549 SOS 6249497 HAS SOPS 6244273 HAS SOUS 643844 HAS SOUPS 640354 WITH SCORE 646603.497
AT ITER 7142 NEW BEST:: SOT 12891549 SOS 6250682 HAS SOPS 6245444 HAS SOUS 643832 HAS SOUPS 640342 WITH SCORE 646592.682
AT ITER 7153 NEW BEST:: SOT 12891551 SOS 6252355 HAS SOPS 6247166 HAS SOUS 641743 HAS SOUPS 638302 WITH SCORE 644554.355
AT ITER 7199 NEW BEST:: SOT 12891551 SOS 6251887 HAS SOPS 6246698 HAS SOUS 641707 HAS SOUPS 638266 WITH SCORE 644517.887
AT ITER 7274 NEW BEST:: SOT 12888713 SOS 6249081 HAS SOPS 6243892 HAS SOUS 640835 HAS SOUPS 637394 WITH SCORE 643643.081
AT ITER 7277 NEW BEST:: SOT 12890863 SOS 6251903 HAS SOPS 6246714 HAS SOUS 640826 HAS SOUPS 637385 WITH SCORE 643636.903
AT ITER 7289 NEW BEST:: SOT 12890393 SOS 6251433 HAS SOPS 6246244 HAS SOUS 640396 HAS SOUPS 636955 WITH SCORE 643206.433
AT ITER 7291 NEW BEST:: SOT 12890733 SOS 6252969 HAS SOPS 6247780 HAS SOUS 640213 HAS SOUPS 636772 WITH SCORE 643024.969
AT ITER 7292 NEW BEST:: SOT 12890403 SOS 6252634 HAS SOPS 6247444 HAS SOUS 639178 HAS SOUPS 635736 WITH SCORE 641988.634
AT ITER 7308 NEW BEST:: SOT 12890403 SOS 6252634 HAS SOPS 6247444 HAS SOUS 639141 HAS SOUPS 635699 WITH SCORE 641951.634
AT ITER 7317 NEW BEST:: SOT 12892127 SOS 6254358 HAS SOPS 6249168 HAS SOUS 639087 HAS SOUPS 635645 WITH SCORE 641899.358
AT ITER 7348 NEW BEST:: SOT 12892101 SOS 6259391 HAS SOPS 6254201 HAS SOUS 639012 HAS SOUPS 635570 WITH SCORE 641829.391
AT ITER 7399 NEW BEST:: SOT 12892235 SOS 6259525 HAS SOPS 6254335 HAS SOUS 638663 HAS SOUPS 635221 WITH SCORE 641480.525
AT ITER 7417 NEW BEST:: SOT 12891000 SOS 6258030 HAS SOPS 6252874 HAS SOUS 636077 HAS SOUPS 632669 WITH SCORE 638927.03
AT ITER 7432 NEW BEST:: SOT 12890990 SOS 6258020 HAS SOPS 6252864 HAS SOUS 636067 HAS SOUPS 632659 WITH SCORE 638917.02
AT ITER 7446 NEW BEST:: SOT 12888356 SOS 6255386 HAS SOPS 6250230 HAS SOUS 635922 HAS SOUPS 632514 WITH SCORE 638769.386
AT ITER 7471 NEW BEST:: SOT 12888369 SOS 6255399 HAS SOPS 6250243 HAS SOUS 635327 HAS SOUPS 631919 WITH SCORE 638174.399
AT ITER 7504 NEW BEST:: SOT 12886795 SOS 6251979 HAS SOPS 6246797 HAS SOUS 634886 HAS SOUPS 631452 WITH SCORE 637703.979
AT ITER 7509 NEW BEST:: SOT 12881507 SOS 6245830 HAS SOPS 6240643 HAS SOUS 633692 HAS SOUPS 630253 WITH SCORE 636498.83
AT ITER 7521 NEW BEST:: SOT 12881517 SOS 6245847 HAS SOPS 6240653 HAS SOUS 633685 HAS SOUPS 630239 WITH SCORE 636484.847
AT ITER 7528 NEW BEST:: SOT 12881295 SOS 6245625 HAS SOPS 6240431 HAS SOUS 633237 HAS SOUPS 629791 WITH SCORE 636036.625
AT ITER 7565 NEW BEST:: SOT 12880718 SOS 6245048 HAS SOPS 6239854 HAS SOUS 632290 HAS SOUPS 628844 WITH SCORE 635089.048
AT ITER 7589 NEW BEST:: SOT 12879039 SOS 6243369 HAS SOPS 6238175 HAS SOUS 632135 HAS SOUPS 628689 WITH SCORE 634932.369
AT ITER 7603 NEW BEST:: SOT 12879892 SOS 6244222 HAS SOPS 6239028 HAS SOUS 631548 HAS SOUPS 628102 WITH SCORE 634346.222
AT ITER 7620 NEW BEST:: SOT 12879879 SOS 6244209 HAS SOPS 6239015 HAS SOUS 631535 HAS SOUPS 628089 WITH SCORE 634333.209
AT ITER 7682 NEW BEST:: SOT 12879879 SOS 6244196 HAS SOPS 6239002 HAS SOUS 631509 HAS SOUPS 628063 WITH SCORE 634307.196
AT ITER 7701 NEW BEST:: SOT 12880131 SOS 6244448 HAS SOPS 6239254 HAS SOUS 630845 HAS SOUPS 627399 WITH SCORE 633643.448
AT ITER 7706 NEW BEST:: SOT 12880131 SOS 6244338 HAS SOPS 6239144 HAS SOUS 630830 HAS SOUPS 627384 WITH SCORE 633628.338
AT ITER 7770 NEW BEST:: SOT 12880199 SOS 6244406 HAS SOPS 6239212 HAS SOUS 630802 HAS SOUPS 627356 WITH SCORE 633600.406
AT ITER 7784 NEW BEST:: SOT 12880199 SOS 6244388 HAS SOPS 6239194 HAS SOUS 630793 HAS SOUPS 627347 WITH SCORE 633591.388
AT ITER 7794 NEW BEST:: SOT 12880139 SOS 6244094 HAS SOPS 6239121 HAS SOUS 630369 HAS SOUPS 627014 WITH SCORE 633258.094
AT ITER 7834 NEW BEST:: SOT 12880123 SOS 6244067 HAS SOPS 6239094 HAS SOUS 630364 HAS SOUPS 627009 WITH SCORE 633253.067
AT ITER 7875 NEW BEST:: SOT 12880009 SOS 6243953 HAS SOPS 6238980 HAS SOUS 630134 HAS SOUPS 626779 WITH SCORE 633022.953
AT ITER 7881 NEW BEST:: SOT 12880009 SOS 6243953 HAS SOPS 6238980 HAS SOUS 630101 HAS SOUPS 626746 WITH SCORE 632989.953
AT ITER 7885 NEW BEST:: SOT 12879987 SOS 6243931 HAS SOPS 6238958 HAS SOUS 630069 HAS SOUPS 626714 WITH SCORE 632957.931
AT ITER 7934 NEW BEST:: SOT 12880086 SOS 6244054 HAS SOPS 6239081 HAS SOUS 629878 HAS SOUPS 626523 WITH SCORE 632767.054
AT ITER 7952 NEW BEST:: SOT 12880086 SOS 6242180 HAS SOPS 6237207 HAS SOUS 629793 HAS SOUPS 626438 WITH SCORE 632680.18
AT ITER 7977 NEW BEST:: SOT 12880086 SOS 6242706 HAS SOPS 6237733 HAS SOUS 629759 HAS SOUPS 626404 WITH SCORE 632646.706
AT ITER 7998 NEW BEST:: SOT 12879428 SOS 6242048 HAS SOPS 6237075 HAS SOUS 629180 HAS SOUPS 625825 WITH SCORE 632067.048
AT ITER 8000 NEW BEST:: SOT 12879428 SOS 6242048 HAS SOPS 6237075 HAS SOUS 629178 HAS SOUPS 625823 WITH SCORE 632065.048
AT ITER 8016 NEW BEST:: SOT 12879428 SOS 6241708 HAS SOPS 6236735 HAS SOUS 629178 HAS SOUPS 625823 WITH SCORE 632064.708
AT ITER 8050 NEW BEST:: SOT 12876931 SOS 6239211 HAS SOPS 6234238 HAS SOUS 626912 HAS SOUPS 623557 WITH SCORE 629796.211
AT ITER 8066 NEW BEST:: SOT 12876931 SOS 6238894 HAS SOPS 6233988 HAS SOUS 625513 HAS SOUPS 622195 WITH SCORE 628433.894
AT ITER 8075 NEW BEST:: SOT 12876730 SOS 6238735 HAS SOPS 6233829 HAS SOUS 622986 HAS SOUPS 619668 WITH SCORE 625906.735
AT ITER 8081 NEW BEST:: SOT 12875034 SOS 6237039 HAS SOPS 6232133 HAS SOUS 619301 HAS SOUPS 615983 WITH SCORE 622220.039
AT ITER 8094 NEW BEST:: SOT 12875014 SOS 6237019 HAS SOPS 6232113 HAS SOUS 619239 HAS SOUPS 615921 WITH SCORE 622158.019
AT ITER 8125 NEW BEST:: SOT 12875296 SOS 6237301 HAS SOPS 6232395 HAS SOUS 618587 HAS SOUPS 615269 WITH SCORE 621506.301
AT ITER 8130 NEW BEST:: SOT 12875296 SOS 6237755 HAS SOPS 6232849 HAS SOUS 618539 HAS SOUPS 615221 WITH SCORE 621458.755
AT ITER 8134 NEW BEST:: SOT 12875296 SOS 6237539 HAS SOPS 6232633 HAS SOUS 618521 HAS SOUPS 615203 WITH SCORE 621440.539
AT ITER 8141 NEW BEST:: SOT 12875296 SOS 6236659 HAS SOPS 6231753 HAS SOUS 618521 HAS SOUPS 615203 WITH SCORE 621439.659
AT ITER 8191 NEW BEST:: SOT 12878512 SOS 6243545 HAS SOPS 6238641 HAS SOUS 616592 HAS SOUPS 613276 WITH SCORE 619519.545
AT ITER 8192 NEW BEST:: SOT 12878504 SOS 6243537 HAS SOPS 6238633 HAS SOUS 616584 HAS SOUPS 613268 WITH SCORE 619511.537
AT ITER 8203 NEW BEST:: SOT 12873603 SOS 6238636 HAS SOPS 6233732 HAS SOUS 615184 HAS SOUPS 611868 WITH SCORE 618106.636
AT ITER 8217 NEW BEST:: SOT 12873608 SOS 6238640 HAS SOPS 6233737 HAS SOUS 615154 HAS SOUPS 611839 WITH SCORE 618077.64
AT ITER 8287 NEW BEST:: SOT 12873608 SOS 6238640 HAS SOPS 6233737 HAS SOUS 615146 HAS SOUPS 611831 WITH SCORE 618069.64
AT ITER 8288 NEW BEST:: SOT 12873147 SOS 6238179 HAS SOPS 6233276 HAS SOUS 614774 HAS SOUPS 611459 WITH SCORE 617697.179
AT ITER 8376 NEW BEST:: SOT 12872615 SOS 6237647 HAS SOPS 6232744 HAS SOUS 614619 HAS SOUPS 611304 WITH SCORE 617541.647
AT ITER 8435 NEW BEST:: SOT 12872615 SOS 6236767 HAS SOPS 6231864 HAS SOUS 614399 HAS SOUPS 611084 WITH SCORE 617320.767
AT ITER 8460 NEW BEST:: SOT 12871582 SOS 6235734 HAS SOPS 6230831 HAS SOUS 611889 HAS SOUPS 608574 WITH SCORE 614809.734
AT ITER 8488 NEW BEST:: SOT 12871220 SOS 6235372 HAS SOPS 6230469 HAS SOUS 610390 HAS SOUPS 607075 WITH SCORE 613310.372
AT ITER 8548 NEW BEST:: SOT 12871220 SOS 6235372 HAS SOPS 6230469 HAS SOUS 610337 HAS SOUPS 607022 WITH SCORE 613257.372
AT ITER 8593 NEW BEST:: SOT 12871220 SOS 6239080 HAS SOPS 6234177 HAS SOUS 609616 HAS SOUPS 606301 WITH SCORE 612540.08
AT ITER 8601 NEW BEST:: SOT 12871220 SOS 6239084 HAS SOPS 6234181 HAS SOUS 609612 HAS SOUPS 606297 WITH SCORE 612536.084
AT ITER 8628 NEW BEST:: SOT 12872008 SOS 6238890 HAS SOPS 6234102 HAS SOUS 608004 HAS SOUPS 604804 WITH SCORE 611042.89
AT ITER 8655 NEW BEST:: SOT 12871404 SOS 6238286 HAS SOPS 6233498 HAS SOUS 607460 HAS SOUPS 604260 WITH SCORE 610498.286
AT ITER 8695 NEW BEST:: SOT 12869477 SOS 6236359 HAS SOPS 6231571 HAS SOUS 607172 HAS SOUPS 603972 WITH SCORE 610208.359
AT ITER 8736 NEW BEST:: SOT 12863999 SOS 6230881 HAS SOPS 6226093 HAS SOUS 603690 HAS SOUPS 600490 WITH SCORE 606720.881
AT ITER 8777 NEW BEST:: SOT 12861853 SOS 6227943 HAS SOPS 6223133 HAS SOUS 602768 HAS SOUPS 599546 WITH SCORE 605773.943
AT ITER 8791 NEW BEST:: SOT 12861853 SOS 6226143 HAS SOPS 6221333 HAS SOUS 602768 HAS SOUPS 599546 WITH SCORE 605772.143
AT ITER 8792 NEW BEST:: SOT 12869412 SOS 6233089 HAS SOPS 6228412 HAS SOUS 601163 HAS SOUPS 598074 WITH SCORE 604307.089
AT ITER 8794 NEW BEST:: SOT 12869412 SOS 6233144 HAS SOPS 6228467 HAS SOUS 600981 HAS SOUPS 597892 WITH SCORE 604125.144
AT ITER 8807 NEW BEST:: SOT 12869418 SOS 6233150 HAS SOPS 6228473 HAS SOUS 600969 HAS SOUPS 597880 WITH SCORE 604113.15
AT ITER 8841 NEW BEST:: SOT 12868622 SOS 6232354 HAS SOPS 6227677 HAS SOUS 599256 HAS SOUPS 596167 WITH SCORE 602399.354
AT ITER 8898 NEW BEST:: SOT 12866120 SOS 6228268 HAS SOPS 6223591 HAS SOUS 598133 HAS SOUPS 595044 WITH SCORE 601272.268
AT ITER 8914 NEW BEST:: SOT 12866129 SOS 6228277 HAS SOPS 6223600 HAS SOUS 598123 HAS SOUPS 595034 WITH SCORE 601262.277
AT ITER 8925 NEW BEST:: SOT 12868416 SOS 6204301 HAS SOPS 6201636 HAS SOUS 594655 HAS SOUPS 592089 WITH SCORE 598293.301
AT ITER 8946 NEW BEST:: SOT 12868068 SOS 6204123 HAS SOPS 6201512 HAS SOUS 594443 HAS SOUPS 591931 WITH SCORE 598135.123
AT ITER 8949 NEW BEST:: SOT 12868021 SOS 6248670 HAS SOPS 6246117 HAS SOUS 594144 HAS SOUPS 591661 WITH SCORE 597909.67
AT ITER 8954 NEW BEST:: SOT 12869107 SOS 6249756 HAS SOPS 6247203 HAS SOUS 593426 HAS SOUPS 590943 WITH SCORE 597192.756
AT ITER 8956 NEW BEST:: SOT 12869089 SOS 6249738 HAS SOPS 6247185 HAS SOUS 593408 HAS SOUPS 590925 WITH SCORE 597174.738
AT ITER 8959 NEW BEST:: SOT 12869048 SOS 6249697 HAS SOPS 6247144 HAS SOUS 593330 HAS SOUPS 590847 WITH SCORE 597096.697
AT ITER 8972 NEW BEST:: SOT 12869048 SOS 6247537 HAS SOPS 6244984 HAS SOUS 593330 HAS SOUPS 590847 WITH SCORE 597094.537
AT ITER 9018 NEW BEST:: SOT 12869048 SOS 6247341 HAS SOPS 6244788 HAS SOUS 593232 HAS SOUPS 590749 WITH SCORE 596996.341
AT ITER 9132 NEW BEST:: SOT 12868990 SOS 6247283 HAS SOPS 6244730 HAS SOUS 593212 HAS SOUPS 590729 WITH SCORE 596976.283
AT ITER 9136 NEW BEST:: SOT 12868385 SOS 6246794 HAS SOPS 6244225 HAS SOUS 592926 HAS SOUPS 590427 WITH SCORE 596673.794
AT ITER 9142 NEW BEST:: SOT 12868652 SOS 6245394 HAS SOPS 6242867 HAS SOUS 589664 HAS SOUPS 587186 WITH SCORE 593431.394
AT ITER 9156 NEW BEST:: SOT 12868652 SOS 6244668 HAS SOPS 6242141 HAS SOUS 589631 HAS SOUPS 587153 WITH SCORE 593397.668
AT ITER 9160 NEW BEST:: SOT 12868643 SOS 6244659 HAS SOPS 6242132 HAS SOUS 589631 HAS SOUPS 587153 WITH SCORE 593397.659
AT ITER 9165 NEW BEST:: SOT 12868673 SOS 6244689 HAS SOPS 6242162 HAS SOUS 589614 HAS SOUPS 587136 WITH SCORE 593380.689
AT ITER 9203 NEW BEST:: SOT 12868673 SOS 6244449 HAS SOPS 6241922 HAS SOUS 589594 HAS SOUPS 587116 WITH SCORE 593360.449
AT ITER 9221 NEW BEST:: SOT 12866707 SOS 6242483 HAS SOPS 6239956 HAS SOUS 587614 HAS SOUPS 585136 WITH SCORE 591378.483
AT ITER 9260 NEW BEST:: SOT 12868721 SOS 6260903 HAS SOPS 6258376 HAS SOUS 585947 HAS SOUPS 583469 WITH SCORE 589729.903
AT ITER 9269 NEW BEST:: SOT 12868721 SOS 6260453 HAS SOPS 6257926 HAS SOUS 585938 HAS SOUPS 583460 WITH SCORE 589720.453
AT ITER 9301 NEW BEST:: SOT 12868721 SOS 6262563 HAS SOPS 6260036 HAS SOUS 585661 HAS SOUPS 583183 WITH SCORE 589445.563
AT ITER 9314 NEW BEST:: SOT 12868468 SOS 6262318 HAS SOPS 6259791 HAS SOUS 585155 HAS SOUPS 582677 WITH SCORE 588939.318
AT ITER 9358 NEW BEST:: SOT 12868431 SOS 6262281 HAS SOPS 6259754 HAS SOUS 585129 HAS SOUPS 582651 WITH SCORE 588913.281
AT ITER 9390 NEW BEST:: SOT 12868431 SOS 6261201 HAS SOPS 6258674 HAS SOUS 585129 HAS SOUPS 582651 WITH SCORE 588912.201
AT ITER 9396 NEW BEST:: SOT 12866806 SOS 6259458 HAS SOPS 6256931 HAS SOUS 584085 HAS SOUPS 581607 WITH SCORE 587866.458
AT ITER 9413 NEW BEST:: SOT 12866313 SOS 6258965 HAS SOPS 6256438 HAS SOUS 583954 HAS SOUPS 581476 WITH SCORE 587734.965
AT ITER 9416 NEW BEST:: SOT 12866313 SOS 6258923 HAS SOPS 6256396 HAS SOUS 583954 HAS SOUPS 581476 WITH SCORE 587734.923
AT ITER 9532 NEW BEST:: SOT 12865637 SOS 6258249 HAS SOPS 6255722 HAS SOUS 583456 HAS SOUPS 580978 WITH SCORE 587236.249
AT ITER 9537 NEW BEST:: SOT 12858378 SOS 6250990 HAS SOPS 6248463 HAS SOUS 576574 HAS SOUPS 574096 WITH SCORE 580346.99
AT ITER 9595 NEW BEST:: SOT 12858382 SOS 6250996 HAS SOPS 6248469 HAS SOUS 576317 HAS SOUPS 573839 WITH SCORE 580089.996
AT ITER 9681 NEW BEST:: SOT 12858727 SOS 6251423 HAS SOPS 6248896 HAS SOUS 575857 HAS SOUPS 573379 WITH SCORE 579630.423
AT ITER 9690 NEW BEST:: SOT 12858509 SOS 6251205 HAS SOPS 6248678 HAS SOUS 575539 HAS SOUPS 573061 WITH SCORE 579312.205
AT ITER 9714 NEW BEST:: SOT 12860673 SOS 6253365 HAS SOPS 6250838 HAS SOUS 574610 HAS SOUPS 572132 WITH SCORE 578385.365
AT ITER 9727 NEW BEST:: SOT 12860773 SOS 6253465 HAS SOPS 6250938 HAS SOUS 574540 HAS SOUPS 572062 WITH SCORE 578315.465
AT ITER 9732 NEW BEST:: SOT 12856984 SOS 6251116 HAS SOPS 6248589 HAS SOUS 572518 HAS SOUPS 570040 WITH SCORE 576291.116
AT ITER 9735 NEW BEST:: SOT 12856906 SOS 6251036 HAS SOPS 6248507 HAS SOUS 572473 HAS SOUPS 569993 WITH SCORE 576244.036
AT ITER 9737 NEW BEST:: SOT 12856906 SOS 6250716 HAS SOPS 6248187 HAS SOUS 572473 HAS SOUPS 569993 WITH SCORE 576243.716
AT ITER 9739 NEW BEST:: SOT 12856165 SOS 6249975 HAS SOPS 6247446 HAS SOUS 571588 HAS SOUPS 569108 WITH SCORE 575357.975
AT ITER 9752 NEW BEST:: SOT 12854752 SOS 6248562 HAS SOPS 6246033 HAS SOUS 568584 HAS SOUPS 566104 WITH SCORE 572352.562
AT ITER 9761 NEW BEST:: SOT 12854742 SOS 6248552 HAS SOPS 6246023 HAS SOUS 568574 HAS SOUPS 566094 WITH SCORE 572342.552
AT ITER 9808 NEW BEST:: SOT 12854525 SOS 6248335 HAS SOPS 6245806 HAS SOUS 568332 HAS SOUPS 565852 WITH SCORE 572100.335
AT ITER 9817 NEW BEST:: SOT 12854700 SOS 6248010 HAS SOPS 6245549 HAS SOUS 567550 HAS SOUPS 565124 WITH SCORE 571372.01
AT ITER 9820 NEW BEST:: SOT 12854541 SOS 6247851 HAS SOPS 6245390 HAS SOUS 567380 HAS SOUPS 564954 WITH SCORE 571201.851
AT ITER 9846 NEW BEST:: SOT 12855473 SOS 6251917 HAS SOPS 6249518 HAS SOUS 566414 HAS SOUPS 564049 WITH SCORE 570300.917
AT ITER 9850 NEW BEST:: SOT 12855473 SOS 6251843 HAS SOPS 6249444 HAS SOUS 566340 HAS SOUPS 563975 WITH SCORE 570226.843
AT ITER 9884 NEW BEST:: SOT 12855473 SOS 6251811 HAS SOPS 6249412 HAS SOUS 566324 HAS SOUPS 563959 WITH SCORE 570210.811
AT ITER 9936 NEW BEST:: SOT 12847950 SOS 6236802 HAS SOPS 6234393 HAS SOUS 565343 HAS SOUPS 562968 WITH SCORE 569204.802
AT ITER 9957 NEW BEST:: SOT 12847950 SOS 6236794 HAS SOPS 6234385 HAS SOUS 565339 HAS SOUPS 562964 WITH SCORE 569200.794
AT ITER 9959 NEW BEST:: SOT 12848904 SOS 6237748 HAS SOPS 6235339 HAS SOUS 565295 HAS SOUPS 562920 WITH SCORE 569157.748
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 159212 kB
After kill :
MemTotal: 16394036 kB
MemFree: 14211012 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-q8m032"
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-q8m032, 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-167813688200424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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