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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 11K Feb 26 07:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 07:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 07:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 07:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 26 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 08:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 08:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678467604123

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-q8m004
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m004
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 9 NEW BEST:: SOT 12976552 SOS 6056099 HAS SOPS 6051644 HAS SOUS 1658037 HAS SOUPS 1653582 WITH SCORE 1659638.099
AT ITER 10 NEW BEST:: SOT 12979654 SOS 6059393 HAS SOPS 6054938 HAS SOUS 1656594 HAS SOUPS 1652139 WITH SCORE 1658198.393
AT ITER 18 NEW BEST:: SOT 12979654 SOS 6056873 HAS SOPS 6052418 HAS SOUS 1656594 HAS SOUPS 1652139 WITH SCORE 1658195.873
AT ITER 22 NEW BEST:: SOT 12979654 SOS 6056735 HAS SOPS 6052280 HAS SOUS 1656571 HAS SOUPS 1652116 WITH SCORE 1658172.735
AT ITER 29 NEW BEST:: SOT 12979652 SOS 6056733 HAS SOPS 6052278 HAS SOUS 1656557 HAS SOUPS 1652102 WITH SCORE 1658158.733
AT ITER 32 NEW BEST:: SOT 12979652 SOS 6051549 HAS SOPS 6047094 HAS SOUS 1656557 HAS SOUPS 1652102 WITH SCORE 1658153.549
AT ITER 34 NEW BEST:: SOT 12973262 SOS 6048784 HAS SOPS 6044329 HAS SOUS 1653423 HAS SOUPS 1648968 WITH SCORE 1655016.784
AT ITER 41 NEW BEST:: SOT 12976412 SOS 6052058 HAS SOPS 6047603 HAS SOUS 1652074 HAS SOUPS 1647619 WITH SCORE 1653671.058
AT ITER 42 NEW BEST:: SOT 12974504 SOS 6049909 HAS SOPS 6045984 HAS SOUS 1646064 HAS SOUPS 1642139 WITH SCORE 1648188.909
AT ITER 61 NEW BEST:: SOT 12980926 SOS 6058827 HAS SOPS 6054902 HAS SOUS 1644659 HAS SOUPS 1640734 WITH SCORE 1646792.827
AT ITER 67 NEW BEST:: SOT 12978001 SOS 6055902 HAS SOPS 6051977 HAS SOUS 1641734 HAS SOUPS 1637809 WITH SCORE 1643864.902
AT ITER 79 NEW BEST:: SOT 12978001 SOS 6051510 HAS SOPS 6047585 HAS SOUS 1641734 HAS SOUPS 1637809 WITH SCORE 1643860.51
AT ITER 92 NEW BEST:: SOT 12971233 SOS 6047598 HAS SOPS 6043673 HAS SOUS 1640154 HAS SOUPS 1636229 WITH SCORE 1642276.598
AT ITER 97 NEW BEST:: SOT 12971445 SOS 6047581 HAS SOPS 6043703 HAS SOUS 1626934 HAS SOUPS 1623056 WITH SCORE 1629103.581
AT ITER 103 NEW BEST:: SOT 12972041 SOS 6048177 HAS SOPS 6044299 HAS SOUS 1625686 HAS SOUPS 1621808 WITH SCORE 1627856.177
AT ITER 104 NEW BEST:: SOT 12972041 SOS 6044433 HAS SOPS 6040555 HAS SOUS 1625686 HAS SOUPS 1621808 WITH SCORE 1627852.433
AT ITER 106 NEW BEST:: SOT 12967865 SOS 6038683 HAS SOPS 6034805 HAS SOUS 1620866 HAS SOUPS 1616988 WITH SCORE 1623026.683
AT ITER 107 NEW BEST:: SOT 12965954 SOS 6036772 HAS SOPS 6032894 HAS SOUS 1616991 HAS SOUPS 1613113 WITH SCORE 1619149.772
AT ITER 113 NEW BEST:: SOT 12970233 SOS 6045242 HAS SOPS 6041535 HAS SOUS 1615588 HAS SOUPS 1611881 WITH SCORE 1617926.242
AT ITER 123 NEW BEST:: SOT 12968674 SOS 6044373 HAS SOPS 6040666 HAS SOUS 1612731 HAS SOUPS 1609024 WITH SCORE 1615068.373
AT ITER 127 NEW BEST:: SOT 12968889 SOS 6044535 HAS SOPS 6040881 HAS SOUS 1604562 HAS SOUPS 1600908 WITH SCORE 1606952.535
AT ITER 136 NEW BEST:: SOT 12969791 SOS 6045471 HAS SOPS 6041827 HAS SOUS 1603890 HAS SOUPS 1600246 WITH SCORE 1606291.471
AT ITER 143 NEW BEST:: SOT 12970766 SOS 6533500 HAS SOPS 6529856 HAS SOUS 1603249 HAS SOUPS 1599605 WITH SCORE 1606138.5
AT ITER 145 NEW BEST:: SOT 12970773 SOS 6533507 HAS SOPS 6529863 HAS SOUS 1603194 HAS SOUPS 1599550 WITH SCORE 1606083.507
AT ITER 172 NEW BEST:: SOT 12971032 SOS 6533766 HAS SOPS 6530122 HAS SOUS 1602256 HAS SOUPS 1598612 WITH SCORE 1605145.766
AT ITER 174 NEW BEST:: SOT 12970235 SOS 6532969 HAS SOPS 6529325 HAS SOUS 1601697 HAS SOUPS 1598053 WITH SCORE 1604585.969
AT ITER 195 NEW BEST:: SOT 12969127 SOS 6531861 HAS SOPS 6528217 HAS SOUS 1599441 HAS SOUPS 1595797 WITH SCORE 1602328.861
AT ITER 197 NEW BEST:: SOT 12983546 SOS 6580587 HAS SOPS 6575944 HAS SOUS 1599300 HAS SOUPS 1595433 WITH SCORE 1602013.587
AT ITER 198 NEW BEST:: SOT 12985499 SOS 6582600 HAS SOPS 6577957 HAS SOUS 1599063 HAS SOUPS 1595196 WITH SCORE 1601778.6
AT ITER 205 NEW BEST:: SOT 12988450 SOS 6586536 HAS SOPS 6581893 HAS SOUS 1598771 HAS SOUPS 1594904 WITH SCORE 1601490.536
AT ITER 211 NEW BEST:: SOT 12999471 SOS 6607319 HAS SOPS 6602706 HAS SOUS 1598575 HAS SOUPS 1594738 WITH SCORE 1601345.319
AT ITER 214 NEW BEST:: SOT 12992621 SOS 6600941 HAS SOPS 6596328 HAS SOUS 1588610 HAS SOUPS 1584773 WITH SCORE 1591373.941
AT ITER 222 NEW BEST:: SOT 12989721 SOS 6598236 HAS SOPS 6593662 HAS SOUS 1581467 HAS SOUPS 1577669 WITH SCORE 1584267.236
AT ITER 236 NEW BEST:: SOT 12982577 SOS 6595292 HAS SOPS 6590718 HAS SOUS 1575665 HAS SOUPS 1571867 WITH SCORE 1578462.292
AT ITER 238 NEW BEST:: SOT 12984182 SOS 6596992 HAS SOPS 6592505 HAS SOUS 1571441 HAS SOUPS 1567730 WITH SCORE 1574326.992
AT ITER 240 NEW BEST:: SOT 12984182 SOS 6596992 HAS SOPS 6592505 HAS SOUS 1571439 HAS SOUPS 1567728 WITH SCORE 1574324.992
AT ITER 247 NEW BEST:: SOT 12987443 SOS 6600423 HAS SOPS 6595936 HAS SOUS 1568681 HAS SOUPS 1564970 WITH SCORE 1571570.423
AT ITER 252 NEW BEST:: SOT 12987443 SOS 6600177 HAS SOPS 6595690 HAS SOUS 1568558 HAS SOUPS 1564847 WITH SCORE 1571447.177
AT ITER 262 NEW BEST:: SOT 12987836 SOS 6600570 HAS SOPS 6596083 HAS SOUS 1567434 HAS SOUPS 1563723 WITH SCORE 1570323.57
AT ITER 269 NEW BEST:: SOT 12981866 SOS 6596786 HAS SOPS 6592299 HAS SOUS 1560033 HAS SOUPS 1556322 WITH SCORE 1562918.786
AT ITER 270 NEW BEST:: SOT 12982293 SOS 6597154 HAS SOPS 6591887 HAS SOUS 1560409 HAS SOUPS 1555918 WITH SCORE 1562515.154
AT ITER 272 NEW BEST:: SOT 12982293 SOS 6593842 HAS SOPS 6588575 HAS SOUS 1560409 HAS SOUPS 1555918 WITH SCORE 1562511.842
AT ITER 278 NEW BEST:: SOT 12976187 SOS 6587924 HAS SOPS 6582657 HAS SOUS 1552079 HAS SOUPS 1547588 WITH SCORE 1554175.924
AT ITER 281 NEW BEST:: SOT 12976126 SOS 6587863 HAS SOPS 6582596 HAS SOUS 1551963 HAS SOUPS 1547472 WITH SCORE 1554059.863
AT ITER 284 NEW BEST:: SOT 12972261 SOS 6592844 HAS SOPS 6587577 HAS SOUS 1548802 HAS SOUPS 1544311 WITH SCORE 1550903.844
AT ITER 286 NEW BEST:: SOT 12971182 SOS 6591765 HAS SOPS 6586498 HAS SOUS 1544520 HAS SOUPS 1540029 WITH SCORE 1546620.765
AT ITER 287 NEW BEST:: SOT 12970083 SOS 6590666 HAS SOPS 6585399 HAS SOUS 1543421 HAS SOUPS 1538930 WITH SCORE 1545520.666
AT ITER 333 NEW BEST:: SOT 12970083 SOS 6590666 HAS SOPS 6585434 HAS SOUS 1543383 HAS SOUPS 1538927 WITH SCORE 1545517.666
AT ITER 335 NEW BEST:: SOT 12968601 SOS 6589218 HAS SOPS 6583986 HAS SOUS 1541935 HAS SOUPS 1537479 WITH SCORE 1544068.218
AT ITER 338 NEW BEST:: SOT 12966224 SOS 6584727 HAS SOPS 6579495 HAS SOUS 1539566 HAS SOUPS 1535110 WITH SCORE 1541694.727
AT ITER 346 NEW BEST:: SOT 12967250 SOS 6585753 HAS SOPS 6580521 HAS SOUS 1538813 HAS SOUPS 1534357 WITH SCORE 1540942.753
AT ITER 355 NEW BEST:: SOT 12967271 SOS 6585774 HAS SOPS 6580542 HAS SOUS 1538572 HAS SOUPS 1534116 WITH SCORE 1540701.774
AT ITER 365 NEW BEST:: SOT 12977416 SOS 6595919 HAS SOPS 6590687 HAS SOUS 1538251 HAS SOUPS 1533795 WITH SCORE 1540390.919
AT ITER 378 NEW BEST:: SOT 12989240 SOS 6645088 HAS SOPS 6638739 HAS SOUS 1528790 HAS SOUPS 1524081 WITH SCORE 1530726.088
AT ITER 395 NEW BEST:: SOT 12985435 SOS 6643409 HAS SOPS 6637060 HAS SOUS 1527081 HAS SOUPS 1522372 WITH SCORE 1529015.409
AT ITER 418 NEW BEST:: SOT 12982872 SOS 6640846 HAS SOPS 6634497 HAS SOUS 1521840 HAS SOUPS 1517131 WITH SCORE 1523771.846
AT ITER 420 NEW BEST:: SOT 12982423 SOS 6640397 HAS SOPS 6634048 HAS SOUS 1521613 HAS SOUPS 1516904 WITH SCORE 1523544.397
AT ITER 439 NEW BEST:: SOT 12982172 SOS 6640146 HAS SOPS 6633797 HAS SOUS 1521173 HAS SOUPS 1516464 WITH SCORE 1523104.146
AT ITER 444 NEW BEST:: SOT 12982667 SOS 6640641 HAS SOPS 6634292 HAS SOUS 1519218 HAS SOUPS 1514509 WITH SCORE 1521149.641
AT ITER 449 NEW BEST:: SOT 12985080 SOS 6643128 HAS SOPS 6636779 HAS SOUS 1518931 HAS SOUPS 1514222 WITH SCORE 1520865.128
AT ITER 452 NEW BEST:: SOT 12981570 SOS 6642312 HAS SOPS 6635963 HAS SOUS 1517950 HAS SOUPS 1513241 WITH SCORE 1519883.312
AT ITER 456 NEW BEST:: SOT 12985720 SOS 6646619 HAS SOPS 6640337 HAS SOUS 1515148 HAS SOUPS 1510506 WITH SCORE 1517152.619
AT ITER 459 NEW BEST:: SOT 12987739 SOS 6650343 HAS SOPS 6644076 HAS SOUS 1512730 HAS SOUPS 1508103 WITH SCORE 1514753.343
AT ITER 463 NEW BEST:: SOT 12987489 SOS 6651397 HAS SOPS 6645130 HAS SOUS 1512548 HAS SOUPS 1507921 WITH SCORE 1514572.397
AT ITER 472 NEW BEST:: SOT 12987322 SOS 6651250 HAS SOPS 6644983 HAS SOUS 1511107 HAS SOUPS 1506480 WITH SCORE 1513131.25
AT ITER 482 NEW BEST:: SOT 12979768 SOS 6654763 HAS SOPS 6648496 HAS SOUS 1503628 HAS SOUPS 1499001 WITH SCORE 1505655.763
AT ITER 483 NEW BEST:: SOT 12979768 SOS 6652027 HAS SOPS 6645760 HAS SOUS 1503628 HAS SOUPS 1499001 WITH SCORE 1505653.027
AT ITER 488 NEW BEST:: SOT 12981218 SOS 6653583 HAS SOPS 6647316 HAS SOUS 1500183 HAS SOUPS 1495556 WITH SCORE 1502209.583
AT ITER 490 NEW BEST:: SOT 12983239 SOS 6655604 HAS SOPS 6649337 HAS SOUS 1496346 HAS SOUPS 1491719 WITH SCORE 1498374.604
AT ITER 500 NEW BEST:: SOT 12985496 SOS 6658037 HAS SOPS 6651770 HAS SOUS 1495386 HAS SOUPS 1490759 WITH SCORE 1497417.037
AT ITER 505 NEW BEST:: SOT 12847298 SOS 8489341 HAS SOPS 8485030 HAS SOUS 1357633 HAS SOUPS 1354496 WITH SCORE 1362985.341
AT ITER 515 NEW BEST:: SOT 12847298 SOS 8480557 HAS SOPS 8476246 HAS SOUS 1357633 HAS SOUPS 1354496 WITH SCORE 1362976.557
AT ITER 526 NEW BEST:: SOT 12843828 SOS 8477515 HAS SOPS 8473204 HAS SOUS 1353563 HAS SOUPS 1350426 WITH SCORE 1358903.515
AT ITER 534 NEW BEST:: SOT 12842863 SOS 8476550 HAS SOPS 8472239 HAS SOUS 1352520 HAS SOUPS 1349383 WITH SCORE 1357859.55
AT ITER 536 NEW BEST:: SOT 12841148 SOS 8476131 HAS SOPS 8471820 HAS SOUS 1351253 HAS SOUPS 1348116 WITH SCORE 1356592.131
AT ITER 539 NEW BEST:: SOT 12840881 SOS 8475864 HAS SOPS 8471553 HAS SOUS 1351014 HAS SOUPS 1347877 WITH SCORE 1356352.864
AT ITER 548 NEW BEST:: SOT 12834409 SOS 6723733 HAS SOPS 6719046 HAS SOUS 1347651 HAS SOUPS 1344514 WITH SCORE 1351237.733
AT ITER 560 NEW BEST:: SOT 12832438 SOS 6721762 HAS SOPS 6717075 HAS SOUS 1345740 HAS SOUPS 1342603 WITH SCORE 1349324.762
AT ITER 562 NEW BEST:: SOT 12830422 SOS 6719746 HAS SOPS 6715059 HAS SOUS 1338345 HAS SOUPS 1335208 WITH SCORE 1341927.746
AT ITER 565 NEW BEST:: SOT 12825525 SOS 6714776 HAS SOPS 6710097 HAS SOUS 1328203 HAS SOUPS 1325074 WITH SCORE 1331788.776
AT ITER 566 NEW BEST:: SOT 12822915 SOS 6712101 HAS SOPS 6707429 HAS SOUS 1319248 HAS SOUPS 1316126 WITH SCORE 1322838.101
AT ITER 569 NEW BEST:: SOT 12827272 SOS 6716581 HAS SOPS 6711956 HAS SOUS 1319120 HAS SOUPS 1316045 WITH SCORE 1322761.581
AT ITER 570 NEW BEST:: SOT 12834380 SOS 6724075 HAS SOPS 6719450 HAS SOUS 1315882 HAS SOUPS 1312807 WITH SCORE 1319531.075
AT ITER 574 NEW BEST:: SOT 12832519 SOS 6724514 HAS SOPS 6719889 HAS SOUS 1312236 HAS SOUPS 1309161 WITH SCORE 1315885.514
AT ITER 587 NEW BEST:: SOT 12832498 SOS 6724511 HAS SOPS 6719886 HAS SOUS 1312218 HAS SOUPS 1309143 WITH SCORE 1315867.511
AT ITER 601 NEW BEST:: SOT 12831298 SOS 6723311 HAS SOPS 6718686 HAS SOUS 1309778 HAS SOUPS 1306703 WITH SCORE 1313426.311
AT ITER 611 NEW BEST:: SOT 12831298 SOS 6723284 HAS SOPS 6718659 HAS SOUS 1309610 HAS SOUPS 1306535 WITH SCORE 1313258.284
AT ITER 615 NEW BEST:: SOT 12830533 SOS 6722519 HAS SOPS 6717894 HAS SOUS 1306907 HAS SOUPS 1303832 WITH SCORE 1310554.519
AT ITER 616 NEW BEST:: SOT 12840184 SOS 6735080 HAS SOPS 6730455 HAS SOUS 1304341 HAS SOUPS 1301266 WITH SCORE 1308001.08
AT ITER 617 NEW BEST:: SOT 12842143 SOS 6737775 HAS SOPS 6733150 HAS SOUS 1303980 HAS SOUPS 1300905 WITH SCORE 1307642.775
AT ITER 626 NEW BEST:: SOT 12838405 SOS 6734581 HAS SOPS 6729956 HAS SOUS 1301371 HAS SOUPS 1298296 WITH SCORE 1305030.581
AT ITER 627 NEW BEST:: SOT 12850343 SOS 6757557 HAS SOPS 6752944 HAS SOUS 1300382 HAS SOUPS 1297319 WITH SCORE 1304076.557
AT ITER 635 NEW BEST:: SOT 12847182 SOS 6754554 HAS SOPS 6749941 HAS SOUS 1298878 HAS SOUPS 1295815 WITH SCORE 1302569.554
AT ITER 636 NEW BEST:: SOT 12849424 SOS 6756897 HAS SOPS 6752284 HAS SOUS 1293741 HAS SOUPS 1290678 WITH SCORE 1297434.897
AT ITER 646 NEW BEST:: SOT 12847484 SOS 6754957 HAS SOPS 6750344 HAS SOUS 1290804 HAS SOUPS 1287741 WITH SCORE 1294495.957
AT ITER 660 NEW BEST:: SOT 12849195 SOS 6757220 HAS SOPS 6752607 HAS SOUS 1289111 HAS SOUPS 1286048 WITH SCORE 1292805.22
AT ITER 668 NEW BEST:: SOT 12847633 SOS 6755650 HAS SOPS 6751037 HAS SOUS 1282169 HAS SOUPS 1279106 WITH SCORE 1285861.65
AT ITER 677 NEW BEST:: SOT 12847633 SOS 6751978 HAS SOPS 6747365 HAS SOUS 1282169 HAS SOUPS 1279106 WITH SCORE 1285857.978
AT ITER 687 NEW BEST:: SOT 12847337 SOS 6751682 HAS SOPS 6747069 HAS SOUS 1281571 HAS SOUPS 1278508 WITH SCORE 1285259.682
AT ITER 688 NEW BEST:: SOT 12849560 SOS 6753905 HAS SOPS 6749292 HAS SOUS 1281396 HAS SOUPS 1278333 WITH SCORE 1285086.905
AT ITER 694 NEW BEST:: SOT 12851003 SOS 6755472 HAS SOPS 6750859 HAS SOUS 1278665 HAS SOUPS 1275602 WITH SCORE 1282357.472
AT ITER 696 NEW BEST:: SOT 12851003 SOS 6755433 HAS SOPS 6750820 HAS SOUS 1278626 HAS SOUPS 1275563 WITH SCORE 1282318.433
AT ITER 699 NEW BEST:: SOT 12852353 SOS 6757079 HAS SOPS 6752614 HAS SOUS 1277312 HAS SOUPS 1274249 WITH SCORE 1281006.079
AT ITER 728 NEW BEST:: SOT 12851579 SOS 6757652 HAS SOPS 6753246 HAS SOUS 1270049 HAS SOUPS 1267045 WITH SCORE 1273802.652
AT ITER 733 NEW BEST:: SOT 12852636 SOS 6758709 HAS SOPS 6754338 HAS SOUS 1267834 HAS SOUPS 1264865 WITH SCORE 1271623.709
AT ITER 740 NEW BEST:: SOT 12852636 SOS 6758709 HAS SOPS 6754338 HAS SOUS 1267828 HAS SOUPS 1264859 WITH SCORE 1271617.709
AT ITER 750 NEW BEST:: SOT 12852636 SOS 6752877 HAS SOPS 6748506 HAS SOUS 1267828 HAS SOUPS 1264859 WITH SCORE 1271611.877
AT ITER 754 NEW BEST:: SOT 12851951 SOS 6752192 HAS SOPS 6747821 HAS SOUS 1267235 HAS SOUPS 1264266 WITH SCORE 1271018.192
AT ITER 757 NEW BEST:: SOT 12842084 SOS 6744053 HAS SOPS 6739682 HAS SOUS 1255511 HAS SOUPS 1252542 WITH SCORE 1259286.053
AT ITER 764 NEW BEST:: SOT 12835978 SOS 6738425 HAS SOPS 6734054 HAS SOUS 1247824 HAS SOUPS 1244855 WITH SCORE 1251593.425
AT ITER 784 NEW BEST:: SOT 12836764 SOS 6739211 HAS SOPS 6734840 HAS SOUS 1247419 HAS SOUPS 1244450 WITH SCORE 1251189.211
AT ITER 789 NEW BEST:: SOT 12836742 SOS 6737605 HAS SOPS 6733234 HAS SOUS 1247419 HAS SOUPS 1244450 WITH SCORE 1251187.605
AT ITER 801 NEW BEST:: SOT 12836742 SOS 6736237 HAS SOPS 6731866 HAS SOUS 1247419 HAS SOUPS 1244450 WITH SCORE 1251186.237
AT ITER 804 NEW BEST:: SOT 12839159 SOS 6738654 HAS SOPS 6734283 HAS SOUS 1246196 HAS SOUPS 1243227 WITH SCORE 1249965.654
AT ITER 810 NEW BEST:: SOT 12834751 SOS 6736910 HAS SOPS 6732539 HAS SOUS 1241772 HAS SOUPS 1238803 WITH SCORE 1245539.91
AT ITER 814 NEW BEST:: SOT 12833248 SOS 6735923 HAS SOPS 6731552 HAS SOUS 1224829 HAS SOUPS 1221860 WITH SCORE 1228595.923
AT ITER 818 NEW BEST:: SOT 12835269 SOS 6737944 HAS SOPS 6733573 HAS SOUS 1211787 HAS SOUPS 1208818 WITH SCORE 1215555.944
AT ITER 830 NEW BEST:: SOT 12835995 SOS 6738670 HAS SOPS 6734299 HAS SOUS 1211255 HAS SOUPS 1208286 WITH SCORE 1215024.67
AT ITER 831 NEW BEST:: SOT 12835995 SOS 6735286 HAS SOPS 6730915 HAS SOUS 1211255 HAS SOUPS 1208286 WITH SCORE 1215021.286
AT ITER 833 NEW BEST:: SOT 12835995 SOS 6735348 HAS SOPS 6730977 HAS SOUS 1210850 HAS SOUPS 1207881 WITH SCORE 1214616.348
AT ITER 846 NEW BEST:: SOT 12834187 SOS 6733520 HAS SOPS 6729149 HAS SOUS 1199731 HAS SOUPS 1196762 WITH SCORE 1203495.52
AT ITER 848 NEW BEST:: SOT 12833218 SOS 6732663 HAS SOPS 6728292 HAS SOUS 1195885 HAS SOUPS 1192916 WITH SCORE 1199648.663
AT ITER 852 NEW BEST:: SOT 12832583 SOS 6732012 HAS SOPS 6727657 HAS SOUS 1194593 HAS SOUPS 1191640 WITH SCORE 1198372.012
AT ITER 855 NEW BEST:: SOT 12832623 SOS 6732052 HAS SOPS 6727697 HAS SOUS 1192007 HAS SOUPS 1189054 WITH SCORE 1195786.052
AT ITER 858 NEW BEST:: SOT 12835839 SOS 6735268 HAS SOPS 6730913 HAS SOUS 1191003 HAS SOUPS 1188050 WITH SCORE 1194785.268
AT ITER 869 NEW BEST:: SOT 12832302 SOS 6731987 HAS SOPS 6727632 HAS SOUS 1183994 HAS SOUPS 1181041 WITH SCORE 1187772.987
AT ITER 872 NEW BEST:: SOT 12829597 SOS 6729282 HAS SOPS 6724927 HAS SOUS 1178354 HAS SOUPS 1175401 WITH SCORE 1182130.282
AT ITER 880 NEW BEST:: SOT 12830414 SOS 6730279 HAS SOPS 6725924 HAS SOUS 1176951 HAS SOUPS 1173998 WITH SCORE 1180728.279
AT ITER 890 NEW BEST:: SOT 12824735 SOS 6727056 HAS SOPS 6722701 HAS SOUS 1174327 HAS SOUPS 1171374 WITH SCORE 1178101.056
AT ITER 896 NEW BEST:: SOT 12822928 SOS 6727209 HAS SOPS 6722854 HAS SOUS 1172022 HAS SOUPS 1169069 WITH SCORE 1175796.209
AT ITER 899 NEW BEST:: SOT 12822928 SOS 6730665 HAS SOPS 6726310 HAS SOUS 1171590 HAS SOUPS 1168637 WITH SCORE 1175367.665
AT ITER 905 NEW BEST:: SOT 12823705 SOS 6731466 HAS SOPS 6727135 HAS SOUS 1170968 HAS SOUPS 1168039 WITH SCORE 1174770.466
AT ITER 906 NEW BEST:: SOT 12823759 SOS 6731524 HAS SOPS 6727193 HAS SOUS 1170949 HAS SOUPS 1168020 WITH SCORE 1174751.524
AT ITER 928 NEW BEST:: SOT 12815151 SOS 6725560 HAS SOPS 6721229 HAS SOUS 1162770 HAS SOUPS 1159841 WITH SCORE 1166566.56
AT ITER 934 NEW BEST:: SOT 12815151 SOS 6719800 HAS SOPS 6715469 HAS SOUS 1162770 HAS SOUPS 1159841 WITH SCORE 1166560.8
AT ITER 958 NEW BEST:: SOT 12819270 SOS 6723919 HAS SOPS 6719588 HAS SOUS 1160601 HAS SOUPS 1157672 WITH SCORE 1164395.919
AT ITER 979 NEW BEST:: SOT 12822834 SOS 6727483 HAS SOPS 6723152 HAS SOUS 1158378 HAS SOUPS 1155449 WITH SCORE 1162176.483
AT ITER 982 NEW BEST:: SOT 12822930 SOS 6727579 HAS SOPS 6723248 HAS SOUS 1158369 HAS SOUPS 1155440 WITH SCORE 1162167.579
AT ITER 987 NEW BEST:: SOT 12824379 SOS 6729252 HAS SOPS 6724921 HAS SOUS 1155600 HAS SOUPS 1152671 WITH SCORE 1159400.252
AT ITER 995 NEW BEST:: SOT 12823749 SOS 6728622 HAS SOPS 6724291 HAS SOUS 1154322 HAS SOUPS 1151393 WITH SCORE 1158121.622
AT ITER 998 NEW BEST:: SOT 12823749 SOS 6728451 HAS SOPS 6724144 HAS SOUS 1154298 HAS SOUPS 1151393 WITH SCORE 1158121.451
AT ITER 1012 NEW BEST:: SOT 12823749 SOS 6719595 HAS SOPS 6715288 HAS SOUS 1154298 HAS SOUPS 1151393 WITH SCORE 1158112.595
AT ITER 1044 NEW BEST:: SOT 12826996 SOS 6722842 HAS SOPS 6718535 HAS SOUS 1152797 HAS SOUPS 1149892 WITH SCORE 1156614.842
AT ITER 1047 NEW BEST:: SOT 12825174 SOS 6713388 HAS SOPS 6709081 HAS SOUS 1144642 HAS SOUPS 1141737 WITH SCORE 1148450.388
AT ITER 1050 NEW BEST:: SOT 12825174 SOS 6702436 HAS SOPS 6698129 HAS SOUS 1144494 HAS SOUPS 1141589 WITH SCORE 1148291.436
AT ITER 1054 NEW BEST:: SOT 12825160 SOS 6702422 HAS SOPS 6698115 HAS SOUS 1144480 HAS SOUPS 1141575 WITH SCORE 1148277.422
AT ITER 1057 NEW BEST:: SOT 12825160 SOS 6702410 HAS SOPS 6698103 HAS SOUS 1144477 HAS SOUPS 1141572 WITH SCORE 1148274.41
AT ITER 1059 NEW BEST:: SOT 12823960 SOS 6703752 HAS SOPS 6699827 HAS SOUS 1142961 HAS SOUPS 1140056 WITH SCORE 1146759.752
AT ITER 1063 NEW BEST:: SOT 12824174 SOS 6703966 HAS SOPS 6700041 HAS SOUS 1140757 HAS SOUPS 1137852 WITH SCORE 1144555.966
AT ITER 1073 NEW BEST:: SOT 12824174 SOS 6700438 HAS SOPS 6696513 HAS SOUS 1140757 HAS SOUPS 1137852 WITH SCORE 1144552.438
AT ITER 1080 NEW BEST:: SOT 12826885 SOS 6703185 HAS SOPS 6699476 HAS SOUS 1138276 HAS SOUPS 1135587 WITH SCORE 1142290.185
AT ITER 1129 NEW BEST:: SOT 12826483 SOS 6702783 HAS SOPS 6699074 HAS SOUS 1128464 HAS SOUPS 1125775 WITH SCORE 1132477.783
AT ITER 1132 NEW BEST:: SOT 12826369 SOS 6702669 HAS SOPS 6698960 HAS SOUS 1128344 HAS SOUPS 1125655 WITH SCORE 1132357.669
AT ITER 1141 NEW BEST:: SOT 12827220 SOS 6705956 HAS SOPS 6702276 HAS SOUS 1126449 HAS SOUPS 1123789 WITH SCORE 1130494.956
AT ITER 1143 NEW BEST:: SOT 12836690 SOS 6720116 HAS SOPS 6716436 HAS SOUS 1123021 HAS SOUPS 1120361 WITH SCORE 1127081.116
AT ITER 1154 NEW BEST:: SOT 12835358 SOS 6718613 HAS SOPS 6714984 HAS SOUS 1112505 HAS SOUPS 1109896 WITH SCORE 1116614.613
AT ITER 1166 NEW BEST:: SOT 12830518 SOS 6714841 HAS SOPS 6711212 HAS SOUS 1095566 HAS SOUPS 1092957 WITH SCORE 1099671.841
AT ITER 1169 NEW BEST:: SOT 12830921 SOS 6715340 HAS SOPS 6711711 HAS SOUS 1094801 HAS SOUPS 1092192 WITH SCORE 1098907.34
AT ITER 1178 NEW BEST:: SOT 12830921 SOS 6716353 HAS SOPS 6712724 HAS SOUS 1094432 HAS SOUPS 1091823 WITH SCORE 1098539.353
AT ITER 1206 NEW BEST:: SOT 12830920 SOS 6716352 HAS SOPS 6712723 HAS SOUS 1094431 HAS SOUPS 1091822 WITH SCORE 1098538.352
AT ITER 1215 NEW BEST:: SOT 12832565 SOS 6719020 HAS SOPS 6715430 HAS SOUS 1093208 HAS SOUPS 1090638 WITH SCORE 1097357.02
AT ITER 1223 NEW BEST:: SOT 12832551 SOS 6728006 HAS SOPS 6724416 HAS SOUS 1093192 HAS SOUPS 1090622 WITH SCORE 1097350.006
AT ITER 1225 NEW BEST:: SOT 12834197 SOS 6732302 HAS SOPS 6728726 HAS SOUS 1090430 HAS SOUPS 1087874 WITH SCORE 1094606.302
AT ITER 1237 NEW BEST:: SOT 12822950 SOS 6726671 HAS SOPS 6723095 HAS SOUS 1079333 HAS SOUPS 1076777 WITH SCORE 1083503.671
AT ITER 1242 NEW BEST:: SOT 12822627 SOS 6729467 HAS SOPS 6727648 HAS SOUS 1077054 HAS SOUPS 1076255 WITH SCORE 1082984.467
AT ITER 1246 NEW BEST:: SOT 12822498 SOS 6729338 HAS SOPS 6727519 HAS SOUS 1076955 HAS SOUPS 1076156 WITH SCORE 1082885.338
AT ITER 1261 NEW BEST:: SOT 12819363 SOS 6726341 HAS SOPS 6724522 HAS SOUS 1074358 HAS SOUPS 1073559 WITH SCORE 1080285.341
AT ITER 1269 NEW BEST:: SOT 12818837 SOS 6726079 HAS SOPS 6724260 HAS SOUS 1073423 HAS SOUPS 1072624 WITH SCORE 1079350.079
AT ITER 1276 NEW BEST:: SOT 12818837 SOS 6726055 HAS SOPS 6724236 HAS SOUS 1073411 HAS SOUPS 1072612 WITH SCORE 1079338.055
AT ITER 1285 NEW BEST:: SOT 12815439 SOS 6734869 HAS SOPS 6733050 HAS SOUS 1070519 HAS SOUPS 1069720 WITH SCORE 1076454.869
AT ITER 1291 NEW BEST:: SOT 12815481 SOS 6734911 HAS SOPS 6733092 HAS SOUS 1070512 HAS SOUPS 1069713 WITH SCORE 1076447.911
AT ITER 1301 NEW BEST:: SOT 12815123 SOS 6734553 HAS SOPS 6732734 HAS SOUS 1057353 HAS SOUPS 1056554 WITH SCORE 1063288.553
AT ITER 1308 NEW BEST:: SOT 12811998 SOS 6731428 HAS SOPS 6729609 HAS SOUS 1054270 HAS SOUPS 1053471 WITH SCORE 1060202.428
AT ITER 1311 NEW BEST:: SOT 12807445 SOS 6710297 HAS SOPS 6709276 HAS SOUS 1044459 HAS SOUPS 1043915 WITH SCORE 1050625.297
AT ITER 1314 NEW BEST:: SOT 12807445 SOS 6710201 HAS SOPS 6709180 HAS SOUS 1044411 HAS SOUPS 1043867 WITH SCORE 1050577.201
AT ITER 1332 NEW BEST:: SOT 12816365 SOS 6724331 HAS SOPS 6723128 HAS SOUS 1043848 HAS SOUPS 1043258 WITH SCORE 1049982.331
AT ITER 1336 NEW BEST:: SOT 12816365 SOS 6724327 HAS SOPS 6723124 HAS SOUS 1043846 HAS SOUPS 1043256 WITH SCORE 1049980.327
AT ITER 1348 NEW BEST:: SOT 12814155 SOS 6722117 HAS SOPS 6720914 HAS SOUS 1041527 HAS SOUPS 1040937 WITH SCORE 1047659.117
AT ITER 1351 NEW BEST:: SOT 12813876 SOS 6724464 HAS SOPS 6723261 HAS SOUS 1041107 HAS SOUPS 1040517 WITH SCORE 1047241.464
AT ITER 1360 NEW BEST:: SOT 12813876 SOS 6720504 HAS SOPS 6719301 HAS SOUS 1041107 HAS SOUPS 1040517 WITH SCORE 1047237.504
AT ITER 1366 NEW BEST:: SOT 12815908 SOS 6714112 HAS SOPS 6712909 HAS SOUS 1040849 HAS SOUPS 1040259 WITH SCORE 1046973.112
AT ITER 1372 NEW BEST:: SOT 12813708 SOS 6711912 HAS SOPS 6710709 HAS SOUS 1038649 HAS SOUPS 1038059 WITH SCORE 1044770.912
AT ITER 1374 NEW BEST:: SOT 12813229 SOS 6711433 HAS SOPS 6710230 HAS SOUS 1037678 HAS SOUPS 1037088 WITH SCORE 1043799.433
AT ITER 1384 NEW BEST:: SOT 12805793 SOS 6708379 HAS SOPS 6707176 HAS SOUS 1032200 HAS SOUPS 1031610 WITH SCORE 1038318.379
AT ITER 1396 NEW BEST:: SOT 12804053 SOS 6706639 HAS SOPS 6705436 HAS SOUS 1026214 HAS SOUPS 1025624 WITH SCORE 1032330.639
AT ITER 1405 NEW BEST:: SOT 12804154 SOS 5632897 HAS SOPS 5631694 HAS SOUS 1026067 HAS SOUPS 1025477 WITH SCORE 1031109.897
AT ITER 1424 NEW BEST:: SOT 12804154 SOS 5632609 HAS SOPS 5631406 HAS SOUS 1025923 HAS SOUPS 1025333 WITH SCORE 1030965.609
AT ITER 1427 NEW BEST:: SOT 12804154 SOS 5631603 HAS SOPS 5630400 HAS SOUS 1025852 HAS SOUPS 1025262 WITH SCORE 1030893.603
AT ITER 1464 NEW BEST:: SOT 12804154 SOS 5631365 HAS SOPS 5630162 HAS SOUS 1025733 HAS SOUPS 1025143 WITH SCORE 1030774.365
AT ITER 1465 NEW BEST:: SOT 12804116 SOS 5631327 HAS SOPS 5630124 HAS SOUS 1025695 HAS SOUPS 1025105 WITH SCORE 1030736.327
AT ITER 1468 NEW BEST:: SOT 12798656 SOS 5629755 HAS SOPS 5628552 HAS SOUS 1018959 HAS SOUPS 1018369 WITH SCORE 1023998.755
AT ITER 1486 NEW BEST:: SOT 12805650 SOS 5636749 HAS SOPS 5635546 HAS SOUS 1018506 HAS SOUPS 1017916 WITH SCORE 1023552.749
AT ITER 1497 NEW BEST:: SOT 12805366 SOS 5624715 HAS SOPS 5623512 HAS SOUS 1018093 HAS SOUPS 1017503 WITH SCORE 1023127.715
AT ITER 1504 NEW BEST:: SOT 12806971 SOS 5626320 HAS SOPS 5625117 HAS SOUS 1016374 HAS SOUPS 1015784 WITH SCORE 1021410.32
AT ITER 1507 NEW BEST:: SOT 12805247 SOS 5624612 HAS SOPS 5623409 HAS SOUS 1013153 HAS SOUPS 1012563 WITH SCORE 1018187.612
AT ITER 1509 NEW BEST:: SOT 12804257 SOS 5623589 HAS SOPS 5622386 HAS SOUS 1003808 HAS SOUPS 1003218 WITH SCORE 1008841.589
AT ITER 1518 NEW BEST:: SOT 12800188 SOS 5619520 HAS SOPS 5618317 HAS SOUS 983971 HAS SOUPS 983381 WITH SCORE 989000.52
AT ITER 1530 NEW BEST:: SOT 12797763 SOS 5617095 HAS SOPS 5615892 HAS SOUS 979271 HAS SOUPS 978681 WITH SCORE 984298.095
AT ITER 1532 NEW BEST:: SOT 12799454 SOS 5874964 HAS SOPS 5873884 HAS SOUS 975765 HAS SOUPS 975175 WITH SCORE 981049.964
AT ITER 1568 NEW BEST:: SOT 12801569 SOS 5877147 HAS SOPS 5876067 HAS SOUS 975592 HAS SOUPS 975002 WITH SCORE 980879.147
AT ITER 1570 NEW BEST:: SOT 12799662 SOS 5875240 HAS SOPS 5874160 HAS SOUS 974528 HAS SOUPS 973938 WITH SCORE 979813.24
AT ITER 1571 NEW BEST:: SOT 12799635 SOS 5875213 HAS SOPS 5874133 HAS SOUS 974501 HAS SOUPS 973911 WITH SCORE 979786.213
AT ITER 1572 NEW BEST:: SOT 12803400 SOS 5880118 HAS SOPS 5879038 HAS SOUS 968492 HAS SOUPS 967902 WITH SCORE 973782.118
AT ITER 1574 NEW BEST:: SOT 12807075 SOS 5883793 HAS SOPS 5882713 HAS SOUS 962231 HAS SOUPS 961641 WITH SCORE 967524.793
AT ITER 1577 NEW BEST:: SOT 12808759 SOS 5885477 HAS SOPS 5884397 HAS SOUS 959393 HAS SOUPS 958803 WITH SCORE 964688.477
AT ITER 1608 NEW BEST:: SOT 12810341 SOS 5905626 HAS SOPS 5904546 HAS SOUS 959010 HAS SOUPS 958420 WITH SCORE 964325.626
AT ITER 1617 NEW BEST:: SOT 12811724 SOS 5907471 HAS SOPS 5906391 HAS SOUS 955704 HAS SOUPS 955114 WITH SCORE 961021.471
AT ITER 1634 NEW BEST:: SOT 12813865 SOS 5909644 HAS SOPS 5908564 HAS SOUS 955432 HAS SOUPS 954842 WITH SCORE 960751.644
AT ITER 1643 NEW BEST:: SOT 12811674 SOS 5907453 HAS SOPS 5906373 HAS SOUS 943649 HAS SOUPS 943059 WITH SCORE 948966.453
AT ITER 1662 NEW BEST:: SOT 12809182 SOS 5904961 HAS SOPS 5903881 HAS SOUS 938603 HAS SOUPS 938013 WITH SCORE 943917.961
AT ITER 1687 NEW BEST:: SOT 12821161 SOS 5927890 HAS SOPS 5926810 HAS SOUS 936884 HAS SOUPS 936294 WITH SCORE 942221.89
AT ITER 1695 NEW BEST:: SOT 12821161 SOS 5927818 HAS SOPS 5926738 HAS SOUS 936884 HAS SOUPS 936294 WITH SCORE 942221.818
AT ITER 1742 NEW BEST:: SOT 12821161 SOS 5924074 HAS SOPS 5922994 HAS SOUS 936884 HAS SOUPS 936294 WITH SCORE 942218.074
AT ITER 1757 NEW BEST:: SOT 12820851 SOS 5923764 HAS SOPS 5922684 HAS SOUS 936134 HAS SOUPS 935544 WITH SCORE 941467.764
AT ITER 1790 NEW BEST:: SOT 12820022 SOS 5922935 HAS SOPS 5921855 HAS SOUS 934539 HAS SOUPS 933949 WITH SCORE 939871.935
AT ITER 1792 NEW BEST:: SOT 12820022 SOS 5920487 HAS SOPS 5919407 HAS SOUS 934539 HAS SOUPS 933949 WITH SCORE 939869.487
AT ITER 1797 NEW BEST:: SOT 12821345 SOS 5918866 HAS SOPS 5916012 HAS SOUS 935993 HAS SOUPS 933629 WITH SCORE 939547.866
AT ITER 1819 NEW BEST:: SOT 12821345 SOS 5921858 HAS SOPS 5919004 HAS SOUS 935609 HAS SOUPS 933245 WITH SCORE 939166.858
AT ITER 1827 NEW BEST:: SOT 12821587 SOS 5922100 HAS SOPS 5919246 HAS SOUS 935552 HAS SOUPS 933188 WITH SCORE 939110.1
AT ITER 1847 NEW BEST:: SOT 12820394 SOS 5920640 HAS SOPS 5917836 HAS SOUS 928876 HAS SOUPS 926562 WITH SCORE 932482.64
AT ITER 1855 NEW BEST:: SOT 12809991 SOS 5911301 HAS SOPS 5908497 HAS SOUS 917809 HAS SOUPS 915495 WITH SCORE 921406.301
AT ITER 1857 NEW BEST:: SOT 12805094 SOS 5906270 HAS SOPS 5903475 HAS SOUS 906996 HAS SOUPS 904691 WITH SCORE 910597.27
AT ITER 1872 NEW BEST:: SOT 12805490 SOS 5906666 HAS SOPS 5903871 HAS SOUS 906468 HAS SOUPS 904163 WITH SCORE 910069.666
AT ITER 1888 NEW BEST:: SOT 12804614 SOS 5905571 HAS SOPS 5902818 HAS SOUS 904721 HAS SOUPS 902458 WITH SCORE 908363.571
AT ITER 1902 NEW BEST:: SOT 12798995 SOS 5902535 HAS SOPS 5899802 HAS SOUS 897650 HAS SOUPS 895387 WITH SCORE 901289.535
AT ITER 1903 NEW BEST:: SOT 12801242 SOS 5908332 HAS SOPS 5905649 HAS SOUS 897349 HAS SOUPS 895136 WITH SCORE 901044.332
AT ITER 1922 NEW BEST:: SOT 12801242 SOS 5907914 HAS SOPS 5905231 HAS SOUS 897330 HAS SOUPS 895117 WITH SCORE 901024.914
AT ITER 1925 NEW BEST:: SOT 12800919 SOS 5907591 HAS SOPS 5904908 HAS SOUS 896679 HAS SOUPS 894466 WITH SCORE 900373.591
AT ITER 1948 NEW BEST:: SOT 12800919 SOS 5907574 HAS SOPS 5904891 HAS SOUS 896662 HAS SOUPS 894449 WITH SCORE 900356.574
AT ITER 1954 NEW BEST:: SOT 12800875 SOS 5907530 HAS SOPS 5904847 HAS SOUS 896526 HAS SOUPS 894313 WITH SCORE 900220.53
AT ITER 1956 NEW BEST:: SOT 12800875 SOS 5906061 HAS SOPS 5903378 HAS SOUS 896392 HAS SOUPS 894179 WITH SCORE 900085.061
AT ITER 1967 NEW BEST:: SOT 12802961 SOS 5907819 HAS SOPS 5905228 HAS SOUS 892984 HAS SOUPS 890817 WITH SCORE 896724.819
AT ITER 1977 NEW BEST:: SOT 12811725 SOS 5924655 HAS SOPS 5922067 HAS SOUS 892114 HAS SOUPS 889950 WITH SCORE 895874.655
AT ITER 2012 NEW BEST:: SOT 12811725 SOS 5921415 HAS SOPS 5918827 HAS SOUS 892114 HAS SOUPS 889950 WITH SCORE 895871.415
AT ITER 2018 NEW BEST:: SOT 12812412 SOS 5922096 HAS SOPS 5919508 HAS SOUS 889660 HAS SOUPS 887496 WITH SCORE 893418.096
AT ITER 2019 NEW BEST:: SOT 12812420 SOS 5922680 HAS SOPS 5920092 HAS SOUS 889484 HAS SOUPS 887320 WITH SCORE 893242.68
AT ITER 2024 NEW BEST:: SOT 12815994 SOS 5926219 HAS SOPS 5923631 HAS SOUS 889013 HAS SOUPS 886849 WITH SCORE 892775.219
AT ITER 2029 NEW BEST:: SOT 12815984 SOS 5926209 HAS SOPS 5923621 HAS SOUS 889007 HAS SOUPS 886843 WITH SCORE 892769.209
AT ITER 2032 NEW BEST:: SOT 12810732 SOS 5920957 HAS SOPS 5918369 HAS SOUS 885063 HAS SOUPS 882899 WITH SCORE 888819.957
AT ITER 2033 NEW BEST:: SOT 12810732 SOS 5920953 HAS SOPS 5918365 HAS SOUS 885061 HAS SOUPS 882897 WITH SCORE 888817.953
AT ITER 2038 NEW BEST:: SOT 12815016 SOS 5925237 HAS SOPS 5922649 HAS SOUS 878964 HAS SOUPS 876800 WITH SCORE 882725.237
AT ITER 2050 NEW BEST:: SOT 12814031 SOS 5924252 HAS SOPS 5921664 HAS SOUS 877788 HAS SOUPS 875624 WITH SCORE 881548.252
AT ITER 2072 NEW BEST:: SOT 12810719 SOS 5920968 HAS SOPS 5918380 HAS SOUS 871079 HAS SOUPS 868915 WITH SCORE 874835.968
AT ITER 2080 NEW BEST:: SOT 12809472 SOS 5919721 HAS SOPS 5917133 HAS SOUS 868637 HAS SOUPS 866473 WITH SCORE 872392.721
AT ITER 2095 NEW BEST:: SOT 12809472 SOS 5919717 HAS SOPS 5917129 HAS SOUS 868635 HAS SOUPS 866471 WITH SCORE 872390.717
AT ITER 2127 NEW BEST:: SOT 12824209 SOS 5947208 HAS SOPS 5944682 HAS SOUS 868183 HAS SOUPS 866081 WITH SCORE 872028.208
AT ITER 2131 NEW BEST:: SOT 12827613 SOS 5950335 HAS SOPS 5947857 HAS SOUS 866454 HAS SOUPS 864400 WITH SCORE 870350.335
AT ITER 2148 NEW BEST:: SOT 12824903 SOS 5947903 HAS SOPS 5945425 HAS SOUS 863946 HAS SOUPS 861892 WITH SCORE 867839.903
AT ITER 2149 NEW BEST:: SOT 12831087 SOS 5954159 HAS SOPS 5951681 HAS SOUS 863910 HAS SOUPS 861856 WITH SCORE 867810.159
AT ITER 2151 NEW BEST:: SOT 12831056 SOS 5955162 HAS SOPS 5952684 HAS SOUS 863891 HAS SOUPS 861837 WITH SCORE 867792.162
AT ITER 2160 NEW BEST:: SOT 12831056 SOS 5954010 HAS SOPS 5951532 HAS SOUS 863875 HAS SOUPS 861821 WITH SCORE 867775.01
AT ITER 2164 NEW BEST:: SOT 12830516 SOS 5953596 HAS SOPS 5951118 HAS SOUS 862821 HAS SOUPS 860767 WITH SCORE 866720.596
AT ITER 2165 NEW BEST:: SOT 12828148 SOS 5951228 HAS SOPS 5948750 HAS SOUS 861478 HAS SOUPS 859424 WITH SCORE 865375.228
AT ITER 2184 NEW BEST:: SOT 12828387 SOS 5951467 HAS SOPS 5948989 HAS SOUS 860775 HAS SOUPS 858721 WITH SCORE 864672.467
AT ITER 2207 NEW BEST:: SOT 12828387 SOS 5950387 HAS SOPS 5947909 HAS SOUS 860775 HAS SOUPS 858721 WITH SCORE 864671.387
AT ITER 2213 NEW BEST:: SOT 12830721 SOS 5952084 HAS SOPS 5949289 HAS SOUS 858691 HAS SOUPS 856320 WITH SCORE 862272.084
AT ITER 2230 NEW BEST:: SOT 12834145 SOS 5955508 HAS SOPS 5952713 HAS SOUS 857219 HAS SOUPS 854848 WITH SCORE 860803.508
AT ITER 2236 NEW BEST:: SOT 12834145 SOS 5952916 HAS SOPS 5950121 HAS SOUS 857219 HAS SOUPS 854848 WITH SCORE 860800.916
AT ITER 2251 NEW BEST:: SOT 12834923 SOS 5953914 HAS SOPS 5951163 HAS SOUS 856173 HAS SOUPS 853802 WITH SCORE 859755.914
AT ITER 2269 NEW BEST:: SOT 12834909 SOS 5953900 HAS SOPS 5951149 HAS SOUS 856159 HAS SOUPS 853788 WITH SCORE 859741.9
AT ITER 2279 NEW BEST:: SOT 12834909 SOS 5953612 HAS SOPS 5950861 HAS SOUS 856159 HAS SOUPS 853788 WITH SCORE 859741.612
AT ITER 2298 NEW BEST:: SOT 12838862 SOS 5957565 HAS SOPS 5954814 HAS SOUS 855821 HAS SOUPS 853450 WITH SCORE 859407.565
AT ITER 2302 NEW BEST:: SOT 12840186 SOS 5958874 HAS SOPS 5956123 HAS SOUS 854659 HAS SOUPS 852288 WITH SCORE 858246.874
AT ITER 2305 NEW BEST:: SOT 12840186 SOS 5961744 HAS SOPS 5958993 HAS SOUS 853183 HAS SOUPS 850812 WITH SCORE 856773.744
AT ITER 2306 NEW BEST:: SOT 12840173 SOS 5961731 HAS SOPS 5958980 HAS SOUS 853170 HAS SOUPS 850799 WITH SCORE 856760.731
AT ITER 2309 NEW BEST:: SOT 12842000 SOS 5963853 HAS SOPS 5960960 HAS SOUS 852795 HAS SOUPS 850342 WITH SCORE 856305.853
AT ITER 2335 NEW BEST:: SOT 12838011 SOS 5959864 HAS SOPS 5956971 HAS SOUS 851115 HAS SOUPS 848662 WITH SCORE 854621.864
AT ITER 2337 NEW BEST:: SOT 12838960 SOS 5960813 HAS SOPS 5957920 HAS SOUS 851022 HAS SOUPS 848569 WITH SCORE 854529.813
AT ITER 2362 NEW BEST:: SOT 12838960 SOS 5964037 HAS SOPS 5961144 HAS SOUS 850295 HAS SOUPS 847842 WITH SCORE 853806.037
AT ITER 2383 NEW BEST:: SOT 12849086 SOS 5974163 HAS SOPS 5971270 HAS SOUS 849025 HAS SOUPS 846572 WITH SCORE 852546.163
AT ITER 2399 NEW BEST:: SOT 12849086 SOS 5974110 HAS SOPS 5971217 HAS SOUS 848972 HAS SOUPS 846519 WITH SCORE 852493.11
AT ITER 2419 NEW BEST:: SOT 12848237 SOS 5973256 HAS SOPS 5970363 HAS SOUS 841375 HAS SOUPS 838922 WITH SCORE 844895.256
AT ITER 2420 NEW BEST:: SOT 12845916 SOS 5970935 HAS SOPS 5968042 HAS SOUS 840834 HAS SOUPS 838381 WITH SCORE 844351.935
AT ITER 2421 NEW BEST:: SOT 12846295 SOS 5971314 HAS SOPS 5968421 HAS SOUS 836941 HAS SOUPS 834488 WITH SCORE 840459.314
AT ITER 2426 NEW BEST:: SOT 12841450 SOS 5968586 HAS SOPS 5965693 HAS SOUS 833491 HAS SOUPS 831038 WITH SCORE 837006.586
AT ITER 2438 NEW BEST:: SOT 12841450 SOS 5968586 HAS SOPS 5965693 HAS SOUS 833490 HAS SOUPS 831037 WITH SCORE 837005.586
AT ITER 2440 NEW BEST:: SOT 12841606 SOS 5968754 HAS SOPS 5965861 HAS SOUS 833159 HAS SOUPS 830706 WITH SCORE 836674.754
AT ITER 2451 NEW BEST:: SOT 12854707 SOS 5990731 HAS SOPS 5987838 HAS SOUS 830834 HAS SOUPS 828381 WITH SCORE 834371.731
AT ITER 2453 NEW BEST:: SOT 12854644 SOS 5990668 HAS SOPS 5987775 HAS SOUS 830023 HAS SOUPS 827570 WITH SCORE 833560.668
AT ITER 2456 NEW BEST:: SOT 12854644 SOS 5986996 HAS SOPS 5984103 HAS SOUS 830023 HAS SOUPS 827570 WITH SCORE 833556.996
AT ITER 2467 NEW BEST:: SOT 12848763 SOS 5981351 HAS SOPS 5978458 HAS SOUS 827396 HAS SOUPS 824943 WITH SCORE 830924.351
AT ITER 2478 NEW BEST:: SOT 12854060 SOS 5986876 HAS SOPS 5983983 HAS SOUS 825752 HAS SOUPS 823299 WITH SCORE 829285.876
AT ITER 2516 NEW BEST:: SOT 12854125 SOS 5983823 HAS SOPS 5980930 HAS SOUS 825732 HAS SOUPS 823279 WITH SCORE 829262.823
AT ITER 2538 NEW BEST:: SOT 12854125 SOS 5983813 HAS SOPS 5980920 HAS SOUS 825722 HAS SOUPS 823269 WITH SCORE 829252.813
AT ITER 2544 NEW BEST:: SOT 12851291 SOS 5980444 HAS SOPS 5977546 HAS SOUS 819797 HAS SOUPS 817339 WITH SCORE 823319.444
AT ITER 2550 NEW BEST:: SOT 12853287 SOS 5983124 HAS SOPS 5980226 HAS SOUS 818753 HAS SOUPS 816295 WITH SCORE 822278.124
AT ITER 2554 NEW BEST:: SOT 12859212 SOS 5989114 HAS SOPS 5986267 HAS SOUS 817862 HAS SOUPS 815455 WITH SCORE 821444.114
AT ITER 2555 NEW BEST:: SOT 12856334 SOS 5986175 HAS SOPS 5983333 HAS SOUS 815481 HAS SOUPS 813079 WITH SCORE 819065.175
AT ITER 2567 NEW BEST:: SOT 12856334 SOS 5983439 HAS SOPS 5980597 HAS SOUS 815481 HAS SOUPS 813079 WITH SCORE 819062.439
AT ITER 2572 NEW BEST:: SOT 12856334 SOS 5983297 HAS SOPS 5980455 HAS SOUS 815410 HAS SOUPS 813008 WITH SCORE 818991.297
AT ITER 2585 NEW BEST:: SOT 12856334 SOS 5988166 HAS SOPS 5985324 HAS SOUS 815380 HAS SOUPS 812978 WITH SCORE 818966.166
AT ITER 2591 NEW BEST:: SOT 12854628 SOS 5986460 HAS SOPS 5983618 HAS SOUS 814301 HAS SOUPS 811899 WITH SCORE 817885.46
AT ITER 2593 NEW BEST:: SOT 12851005 SOS 5982837 HAS SOPS 5979995 HAS SOUS 814216 HAS SOUPS 811814 WITH SCORE 817796.837
AT ITER 2594 NEW BEST:: SOT 12850975 SOS 5982807 HAS SOPS 5979965 HAS SOUS 814186 HAS SOUPS 811784 WITH SCORE 817766.807
AT ITER 2606 NEW BEST:: SOT 12844109 SOS 5976157 HAS SOPS 5973315 HAS SOUS 806553 HAS SOUPS 804151 WITH SCORE 810127.157
AT ITER 2618 NEW BEST:: SOT 12844189 SOS 5976220 HAS SOPS 5973378 HAS SOUS 800717 HAS SOUPS 798315 WITH SCORE 804291.22
AT ITER 2621 NEW BEST:: SOT 12844084 SOS 5975894 HAS SOPS 5972977 HAS SOUS 800597 HAS SOUPS 798120 WITH SCORE 804095.894
AT ITER 2626 NEW BEST:: SOT 12844122 SOS 5975932 HAS SOPS 5973015 HAS SOUS 800569 HAS SOUPS 798092 WITH SCORE 804067.932
AT ITER 2651 NEW BEST:: SOT 12839053 SOS 5970863 HAS SOPS 5967946 HAS SOUS 797031 HAS SOUPS 794554 WITH SCORE 800524.863
AT ITER 2659 NEW BEST:: SOT 12838083 SOS 5969875 HAS SOPS 5966958 HAS SOUS 796881 HAS SOUPS 794404 WITH SCORE 800373.875
AT ITER 2670 NEW BEST:: SOT 12839605 SOS 5971376 HAS SOPS 5968459 HAS SOUS 796466 HAS SOUPS 793989 WITH SCORE 799960.376
AT ITER 2698 NEW BEST:: SOT 12840237 SOS 5972008 HAS SOPS 5969091 HAS SOUS 796358 HAS SOUPS 793881 WITH SCORE 799853.008
AT ITER 2738 NEW BEST:: SOT 12839609 SOS 5971380 HAS SOPS 5968463 HAS SOUS 795696 HAS SOUPS 793219 WITH SCORE 799190.38
AT ITER 2739 NEW BEST:: SOT 12839661 SOS 5971428 HAS SOPS 5968511 HAS SOUS 795616 HAS SOUPS 793139 WITH SCORE 799110.428
AT ITER 2753 NEW BEST:: SOT 12841527 SOS 5985554 HAS SOPS 5982637 HAS SOUS 795573 HAS SOUPS 793096 WITH SCORE 799081.554
AT ITER 2780 NEW BEST:: SOT 12840045 SOS 5987960 HAS SOPS 5985043 HAS SOUS 795234 HAS SOUPS 792757 WITH SCORE 798744.96
AT ITER 2782 NEW BEST:: SOT 12840033 SOS 5987948 HAS SOPS 5985031 HAS SOUS 795222 HAS SOUPS 792745 WITH SCORE 798732.948
AT ITER 2787 NEW BEST:: SOT 12849354 SOS 6004737 HAS SOPS 6001840 HAS SOUS 795093 HAS SOUPS 792636 WITH SCORE 798640.737
AT ITER 2797 NEW BEST:: SOT 12847488 SOS 6002871 HAS SOPS 5999974 HAS SOUS 791324 HAS SOUPS 788867 WITH SCORE 794869.871
AT ITER 2814 NEW BEST:: SOT 12847433 SOS 6002816 HAS SOPS 5999919 HAS SOUS 791293 HAS SOUPS 788836 WITH SCORE 794838.816
AT ITER 2817 NEW BEST:: SOT 12846916 SOS 6002299 HAS SOPS 5999402 HAS SOUS 790702 HAS SOUPS 788245 WITH SCORE 794247.299
AT ITER 2836 NEW BEST:: SOT 12843461 SOS 5998844 HAS SOPS 5995947 HAS SOUS 790304 HAS SOUPS 787847 WITH SCORE 793845.844
AT ITER 2841 NEW BEST:: SOT 12843035 SOS 5998418 HAS SOPS 5995521 HAS SOUS 789978 HAS SOUPS 787521 WITH SCORE 793519.418
AT ITER 2848 NEW BEST:: SOT 12848043 SOS 6003331 HAS SOPS 6000434 HAS SOUS 788548 HAS SOUPS 786091 WITH SCORE 792094.331
AT ITER 2857 NEW BEST:: SOT 12848043 SOS 6002044 HAS SOPS 5999147 HAS SOUS 788319 HAS SOUPS 785862 WITH SCORE 791864.044
AT ITER 2862 NEW BEST:: SOT 12848043 SOS 6001792 HAS SOPS 5998895 HAS SOUS 788316 HAS SOUPS 785859 WITH SCORE 791860.792
AT ITER 2874 NEW BEST:: SOT 12853174 SOS 6006989 HAS SOPS 6004131 HAS SOUS 786848 HAS SOUPS 784430 WITH SCORE 790436.989
AT ITER 2882 NEW BEST:: SOT 12846499 SOS 6000314 HAS SOPS 5997456 HAS SOUS 786559 HAS SOUPS 784141 WITH SCORE 790141.314
AT ITER 2900 NEW BEST:: SOT 12845425 SOS 5999876 HAS SOPS 5997018 HAS SOUS 782246 HAS SOUPS 779828 WITH SCORE 785827.876
AT ITER 2910 NEW BEST:: SOT 12845425 SOS 5998386 HAS SOPS 5995528 HAS SOUS 782149 HAS SOUPS 779731 WITH SCORE 785729.386
AT ITER 2938 NEW BEST:: SOT 12847187 SOS 6000148 HAS SOPS 5997290 HAS SOUS 782006 HAS SOUPS 779588 WITH SCORE 785588.148
AT ITER 2953 NEW BEST:: SOT 12847187 SOS 6003532 HAS SOPS 6000674 HAS SOUS 781923 HAS SOUPS 779505 WITH SCORE 785508.532
AT ITER 2960 NEW BEST:: SOT 12847162 SOS 6003507 HAS SOPS 6000649 HAS SOUS 781917 HAS SOUPS 779499 WITH SCORE 785502.507
AT ITER 2972 NEW BEST:: SOT 12847150 SOS 6003495 HAS SOPS 6000637 HAS SOUS 781917 HAS SOUPS 779499 WITH SCORE 785502.495
AT ITER 2979 NEW BEST:: SOT 12847175 SOS 6003508 HAS SOPS 6000656 HAS SOUS 781764 HAS SOUPS 779352 WITH SCORE 785355.508
AT ITER 2998 NEW BEST:: SOT 12847175 SOS 6003482 HAS SOPS 6000630 HAS SOUS 781738 HAS SOUPS 779326 WITH SCORE 785329.482
AT ITER 3016 NEW BEST:: SOT 12846065 SOS 6002394 HAS SOPS 5999542 HAS SOUS 778840 HAS SOUPS 776428 WITH SCORE 782430.394
AT ITER 3028 NEW BEST:: SOT 12846065 SOS 5998866 HAS SOPS 5996014 HAS SOUS 778840 HAS SOUPS 776428 WITH SCORE 782426.866
AT ITER 3058 NEW BEST:: SOT 12846065 SOS 6000150 HAS SOPS 5997306 HAS SOUS 778793 HAS SOUPS 776389 WITH SCORE 782389.15
AT ITER 3073 NEW BEST:: SOT 12845996 SOS 6000081 HAS SOPS 5997237 HAS SOUS 778670 HAS SOUPS 776266 WITH SCORE 782266.081
AT ITER 3080 NEW BEST:: SOT 12845996 SOS 5996625 HAS SOPS 5993781 HAS SOUS 778670 HAS SOUPS 776266 WITH SCORE 782262.625
AT ITER 3105 NEW BEST:: SOT 12845967 SOS 5996596 HAS SOPS 5993752 HAS SOUS 778641 HAS SOUPS 776237 WITH SCORE 782233.596
AT ITER 3138 NEW BEST:: SOT 12845967 SOS 5996286 HAS SOPS 5993442 HAS SOUS 778486 HAS SOUPS 776082 WITH SCORE 782078.286
AT ITER 3157 NEW BEST:: SOT 12845939 SOS 5996258 HAS SOPS 5993414 HAS SOUS 778458 HAS SOUPS 776054 WITH SCORE 782050.258
AT ITER 3160 NEW BEST:: SOT 12846653 SOS 5997665 HAS SOPS 5994854 HAS SOUS 777820 HAS SOUPS 775449 WITH SCORE 781446.665
AT ITER 3165 NEW BEST:: SOT 12846653 SOS 5997025 HAS SOPS 5994214 HAS SOUS 777820 HAS SOUPS 775449 WITH SCORE 781446.025
AT ITER 3173 NEW BEST:: SOT 12846643 SOS 5997015 HAS SOPS 5994204 HAS SOUS 777810 HAS SOUPS 775439 WITH SCORE 781436.015
AT ITER 3189 NEW BEST:: SOT 12841855 SOS 5992227 HAS SOPS 5989416 HAS SOUS 773503 HAS SOUPS 771132 WITH SCORE 777124.227
AT ITER 3233 NEW BEST:: SOT 12839634 SOS 5993462 HAS SOPS 5990651 HAS SOUS 773484 HAS SOUPS 771113 WITH SCORE 777106.462
AT ITER 3235 NEW BEST:: SOT 12840916 SOS 5994744 HAS SOPS 5991933 HAS SOUS 771563 HAS SOUPS 769192 WITH SCORE 775186.744
AT ITER 3241 NEW BEST:: SOT 12840730 SOS 5994558 HAS SOPS 5991747 HAS SOUS 771369 HAS SOUPS 768998 WITH SCORE 774992.558
AT ITER 3243 NEW BEST:: SOT 12840730 SOS 5994558 HAS SOPS 5991747 HAS SOUS 771349 HAS SOUPS 768978 WITH SCORE 774972.558
AT ITER 3244 NEW BEST:: SOT 12840465 SOS 5994263 HAS SOPS 5991452 HAS SOUS 771290 HAS SOUPS 768919 WITH SCORE 774913.263
AT ITER 3246 NEW BEST:: SOT 12839746 SOS 5993174 HAS SOPS 5990363 HAS SOUS 770777 HAS SOUPS 768406 WITH SCORE 774399.174
AT ITER 3267 NEW BEST:: SOT 12839708 SOS 5993136 HAS SOPS 5990325 HAS SOUS 770754 HAS SOUPS 768383 WITH SCORE 774376.136
AT ITER 3280 NEW BEST:: SOT 12835536 SOS 5988964 HAS SOPS 5986153 HAS SOUS 767289 HAS SOUPS 764918 WITH SCORE 770906.964
AT ITER 3291 NEW BEST:: SOT 12835245 SOS 5988673 HAS SOPS 5985862 HAS SOUS 767102 HAS SOUPS 764731 WITH SCORE 770719.673
AT ITER 3310 NEW BEST:: SOT 12835302 SOS 5988730 HAS SOPS 5985919 HAS SOUS 767009 HAS SOUPS 764638 WITH SCORE 770626.73
AT ITER 3312 NEW BEST:: SOT 12837813 SOS 5991545 HAS SOPS 5988734 HAS SOUS 766173 HAS SOUPS 763802 WITH SCORE 769793.545
AT ITER 3319 NEW BEST:: SOT 12837624 SOS 5991356 HAS SOPS 5988545 HAS SOUS 766040 HAS SOUPS 763669 WITH SCORE 769660.356
AT ITER 3323 NEW BEST:: SOT 12842285 SOS 5995673 HAS SOPS 5992905 HAS SOUS 765049 HAS SOUPS 762721 WITH SCORE 768716.673
AT ITER 3343 NEW BEST:: SOT 12843958 SOS 5997346 HAS SOPS 5994578 HAS SOUS 764521 HAS SOUPS 762193 WITH SCORE 768190.346
AT ITER 3355 NEW BEST:: SOT 12841626 SOS 5995014 HAS SOPS 5992246 HAS SOUS 763532 HAS SOUPS 761204 WITH SCORE 767199.014
AT ITER 3383 NEW BEST:: SOT 12841626 SOS 5994348 HAS SOPS 5991580 HAS SOUS 763523 HAS SOUPS 761195 WITH SCORE 767189.348
AT ITER 3389 NEW BEST:: SOT 12841626 SOS 5992260 HAS SOPS 5989492 HAS SOUS 763523 HAS SOUPS 761195 WITH SCORE 767187.26
AT ITER 3451 NEW BEST:: SOT 12841626 SOS 5992127 HAS SOPS 5989359 HAS SOUS 763390 HAS SOUPS 761062 WITH SCORE 767054.127
AT ITER 3470 NEW BEST:: SOT 12841626 SOS 5990327 HAS SOPS 5987559 HAS SOUS 763390 HAS SOUPS 761062 WITH SCORE 767052.327
AT ITER 3495 NEW BEST:: SOT 12840970 SOS 5989671 HAS SOPS 5986903 HAS SOUS 762062 HAS SOUPS 759734 WITH SCORE 765723.671
AT ITER 3501 NEW BEST:: SOT 12840970 SOS 5989563 HAS SOPS 5986651 HAS SOUS 761999 HAS SOUPS 759527 WITH SCORE 765516.563
AT ITER 3504 NEW BEST:: SOT 12840924 SOS 5989517 HAS SOPS 5986605 HAS SOUS 761906 HAS SOUPS 759434 WITH SCORE 765423.517
AT ITER 3509 NEW BEST:: SOT 12840594 SOS 5989127 HAS SOPS 5986215 HAS SOUS 761220 HAS SOUPS 758748 WITH SCORE 764737.127
AT ITER 3519 NEW BEST:: SOT 12834100 SOS 5982557 HAS SOPS 5979645 HAS SOUS 757262 HAS SOUPS 754790 WITH SCORE 760772.557
AT ITER 3528 NEW BEST:: SOT 12833041 SOS 5981498 HAS SOPS 5978586 HAS SOUS 756203 HAS SOUPS 753731 WITH SCORE 759712.498
AT ITER 3532 NEW BEST:: SOT 12833085 SOS 5981249 HAS SOPS 5978478 HAS SOUS 755040 HAS SOUPS 752649 WITH SCORE 758630.249
AT ITER 3533 NEW BEST:: SOT 12833085 SOS 5981201 HAS SOPS 5978430 HAS SOUS 755016 HAS SOUPS 752625 WITH SCORE 758606.201
AT ITER 3536 NEW BEST:: SOT 12831473 SOS 5979413 HAS SOPS 5976642 HAS SOUS 754374 HAS SOUPS 751983 WITH SCORE 757962.413
AT ITER 3569 NEW BEST:: SOT 12831485 SOS 5979430 HAS SOPS 5976654 HAS SOUS 754366 HAS SOUPS 751970 WITH SCORE 757949.43
AT ITER 3572 NEW BEST:: SOT 12831786 SOS 5980007 HAS SOPS 5977231 HAS SOUS 754127 HAS SOUPS 751731 WITH SCORE 757711.007
AT ITER 3579 NEW BEST:: SOT 12831786 SOS 5979305 HAS SOPS 5976529 HAS SOUS 754049 HAS SOUPS 751653 WITH SCORE 757632.305
AT ITER 3612 NEW BEST:: SOT 12830208 SOS 5977722 HAS SOPS 5974951 HAS SOUS 749574 HAS SOUPS 747183 WITH SCORE 753160.722
AT ITER 3613 NEW BEST:: SOT 12830208 SOS 5976358 HAS SOPS 5973587 HAS SOUS 749432 HAS SOUPS 747041 WITH SCORE 753017.358
AT ITER 3675 NEW BEST:: SOT 12825375 SOS 5968789 HAS SOPS 5966018 HAS SOUS 747169 HAS SOUPS 744778 WITH SCORE 750746.789
AT ITER 3679 NEW BEST:: SOT 12825375 SOS 5968542 HAS SOPS 5965771 HAS SOUS 747150 HAS SOUPS 744759 WITH SCORE 750727.542
AT ITER 3683 NEW BEST:: SOT 12827384 SOS 5970551 HAS SOPS 5967780 HAS SOUS 747094 HAS SOUPS 744703 WITH SCORE 750673.551
AT ITER 3692 NEW BEST:: SOT 12828025 SOS 5971036 HAS SOPS 5968265 HAS SOUS 741984 HAS SOUPS 739593 WITH SCORE 745564.036
AT ITER 3693 NEW BEST:: SOT 12828415 SOS 5971358 HAS SOPS 5968591 HAS SOUS 741645 HAS SOUPS 739258 WITH SCORE 745229.358
AT ITER 3711 NEW BEST:: SOT 12828415 SOS 5971028 HAS SOPS 5968261 HAS SOUS 741630 HAS SOUPS 739243 WITH SCORE 745214.028
AT ITER 3736 NEW BEST:: SOT 12828415 SOS 5970326 HAS SOPS 5967559 HAS SOUS 741576 HAS SOUPS 739189 WITH SCORE 745159.326
AT ITER 3740 NEW BEST:: SOT 12824282 SOS 5970654 HAS SOPS 5967887 HAS SOUS 738401 HAS SOUPS 736014 WITH SCORE 741984.654
AT ITER 3743 NEW BEST:: SOT 12826586 SOS 5981422 HAS SOPS 5978655 HAS SOUS 737576 HAS SOUPS 735189 WITH SCORE 741170.422
AT ITER 3750 NEW BEST:: SOT 12826544 SOS 5981380 HAS SOPS 5978613 HAS SOUS 737513 HAS SOUPS 735126 WITH SCORE 741107.38
AT ITER 3773 NEW BEST:: SOT 12824150 SOS 5978986 HAS SOPS 5976219 HAS SOUS 735119 HAS SOUPS 732732 WITH SCORE 738710.986
AT ITER 3820 NEW BEST:: SOT 12824000 SOS 5978784 HAS SOPS 5976017 HAS SOUS 729242 HAS SOUPS 726855 WITH SCORE 732833.784
AT ITER 3825 NEW BEST:: SOT 12826340 SOS 5981124 HAS SOPS 5978357 HAS SOUS 728100 HAS SOUPS 725713 WITH SCORE 731694.124
AT ITER 3834 NEW BEST:: SOT 12826677 SOS 5985349 HAS SOPS 5982582 HAS SOUS 727910 HAS SOUPS 725523 WITH SCORE 731508.349
AT ITER 3837 NEW BEST:: SOT 12826683 SOS 5985355 HAS SOPS 5982588 HAS SOUS 727904 HAS SOUPS 725517 WITH SCORE 731502.355
AT ITER 3841 NEW BEST:: SOT 12826706 SOS 5985378 HAS SOPS 5982611 HAS SOUS 727805 HAS SOUPS 725418 WITH SCORE 731403.378
AT ITER 3862 NEW BEST:: SOT 12826706 SOS 5982830 HAS SOPS 5980063 HAS SOUS 727609 HAS SOUPS 725222 WITH SCORE 731204.83
AT ITER 3867 NEW BEST:: SOT 12826846 SOS 5983538 HAS SOPS 5980779 HAS SOUS 727403 HAS SOUPS 725024 WITH SCORE 731007.538
AT ITER 3872 NEW BEST:: SOT 12827274 SOS 5984056 HAS SOPS 5981297 HAS SOUS 727033 HAS SOUPS 724654 WITH SCORE 730638.056
AT ITER 3906 NEW BEST:: SOT 12827221 SOS 5984003 HAS SOPS 5981244 HAS SOUS 727033 HAS SOUPS 724654 WITH SCORE 730638.003
AT ITER 3910 NEW BEST:: SOT 12827275 SOS 5984225 HAS SOPS 5981474 HAS SOUS 726794 HAS SOUPS 724423 WITH SCORE 730407.225
AT ITER 3953 NEW BEST:: SOT 12826128 SOS 5983078 HAS SOPS 5980327 HAS SOUS 725880 HAS SOUPS 723509 WITH SCORE 729492.078
AT ITER 3955 NEW BEST:: SOT 12825970 SOS 5982923 HAS SOPS 5980169 HAS SOUS 725792 HAS SOUPS 723418 WITH SCORE 729400.923
AT ITER 3973 NEW BEST:: SOT 12825339 SOS 5982292 HAS SOPS 5979538 HAS SOUS 724502 HAS SOUPS 722128 WITH SCORE 728110.292
AT ITER 3975 NEW BEST:: SOT 12826574 SOS 6102133 HAS SOPS 6099404 HAS SOUS 723162 HAS SOUPS 720788 WITH SCORE 726890.133
AT ITER 3978 NEW BEST:: SOT 12826668 SOS 6108937 HAS SOPS 6106208 HAS SOUS 723112 HAS SOUPS 720738 WITH SCORE 726846.937
AT ITER 3985 NEW BEST:: SOT 12825618 SOS 6107887 HAS SOPS 6105158 HAS SOUS 722602 HAS SOUPS 720228 WITH SCORE 726335.887
AT ITER 4002 NEW BEST:: SOT 12825608 SOS 6107877 HAS SOPS 6105148 HAS SOUS 722592 HAS SOUPS 720218 WITH SCORE 726325.877
AT ITER 4057 NEW BEST:: SOT 12825608 SOS 6105861 HAS SOPS 6103132 HAS SOUS 722592 HAS SOUPS 720218 WITH SCORE 726323.861
AT ITER 4100 NEW BEST:: SOT 12825433 SOS 6105668 HAS SOPS 6102939 HAS SOUS 722535 HAS SOUPS 720161 WITH SCORE 726266.668
AT ITER 4133 NEW BEST:: SOT 12826525 SOS 6120574 HAS SOPS 6117845 HAS SOUS 721974 HAS SOUPS 719600 WITH SCORE 725720.574
AT ITER 4142 NEW BEST:: SOT 12826525 SOS 6120574 HAS SOPS 6117845 HAS SOUS 721949 HAS SOUPS 719575 WITH SCORE 725695.574
AT ITER 4146 NEW BEST:: SOT 12826491 SOS 6120540 HAS SOPS 6117811 HAS SOUS 721912 HAS SOUPS 719538 WITH SCORE 725658.54
AT ITER 4152 NEW BEST:: SOT 12826467 SOS 6120516 HAS SOPS 6117787 HAS SOUS 721429 HAS SOUPS 719055 WITH SCORE 725175.516
AT ITER 4211 NEW BEST:: SOT 12829875 SOS 6123891 HAS SOPS 6121162 HAS SOUS 720349 HAS SOUPS 717975 WITH SCORE 724098.891
AT ITER 4225 NEW BEST:: SOT 12820506 SOS 6112258 HAS SOPS 6109454 HAS SOUS 719889 HAS SOUPS 717440 WITH SCORE 723552.258
AT ITER 4231 NEW BEST:: SOT 12820500 SOS 6112272 HAS SOPS 6109448 HAS SOUS 719883 HAS SOUPS 717414 WITH SCORE 723526.272
AT ITER 4271 NEW BEST:: SOT 12820500 SOS 6108312 HAS SOPS 6105488 HAS SOUS 719883 HAS SOUPS 717414 WITH SCORE 723522.312
AT ITER 4305 NEW BEST:: SOT 12820500 SOS 6108298 HAS SOPS 6105474 HAS SOUS 719869 HAS SOUPS 717400 WITH SCORE 723508.298
AT ITER 4308 NEW BEST:: SOT 12819950 SOS 6107694 HAS SOPS 6104870 HAS SOUS 719668 HAS SOUPS 717199 WITH SCORE 723306.694
AT ITER 4329 NEW BEST:: SOT 12820660 SOS 6108404 HAS SOPS 6105580 HAS SOUS 718057 HAS SOUPS 715588 WITH SCORE 721696.404
AT ITER 4331 NEW BEST:: SOT 12820660 SOS 6108379 HAS SOPS 6105555 HAS SOUS 718057 HAS SOUPS 715588 WITH SCORE 721696.379
AT ITER 4380 NEW BEST:: SOT 12817170 SOS 6097761 HAS SOPS 6094937 HAS SOUS 714668 HAS SOUPS 712199 WITH SCORE 718296.761
AT ITER 4452 NEW BEST:: SOT 12815903 SOS 6092581 HAS SOPS 6089712 HAS SOUS 714307 HAS SOUPS 711793 WITH SCORE 717885.581
AT ITER 4495 NEW BEST:: SOT 12824218 SOS 6100896 HAS SOPS 6098027 HAS SOUS 713893 HAS SOUPS 711379 WITH SCORE 717479.896
AT ITER 4501 NEW BEST:: SOT 12824218 SOS 6100728 HAS SOPS 6097859 HAS SOUS 713821 HAS SOUPS 711307 WITH SCORE 717407.728
AT ITER 4515 NEW BEST:: SOT 12821914 SOS 6094774 HAS SOPS 6091905 HAS SOUS 711467 HAS SOUPS 708953 WITH SCORE 715047.774
AT ITER 4520 NEW BEST:: SOT 12821580 SOS 6094400 HAS SOPS 6091531 HAS SOUS 710871 HAS SOUPS 708357 WITH SCORE 714451.4
AT ITER 4525 NEW BEST:: SOT 12821560 SOS 6092940 HAS SOPS 6090071 HAS SOUS 710831 HAS SOUPS 708317 WITH SCORE 714409.94
AT ITER 4528 NEW BEST:: SOT 12821560 SOS 6092914 HAS SOPS 6090045 HAS SOUS 710818 HAS SOUPS 708304 WITH SCORE 714396.914
AT ITER 4532 NEW BEST:: SOT 12819685 SOS 6091039 HAS SOPS 6088170 HAS SOUS 706999 HAS SOUPS 704485 WITH SCORE 710576.039
AT ITER 4543 NEW BEST:: SOT 12819404 SOS 6090745 HAS SOPS 6087876 HAS SOUS 706915 HAS SOUPS 704401 WITH SCORE 710491.745
AT ITER 4555 NEW BEST:: SOT 12819360 SOS 6142269 HAS SOPS 6139400 HAS SOUS 706855 HAS SOUPS 704341 WITH SCORE 710483.269
AT ITER 4576 NEW BEST:: SOT 12819381 SOS 6142284 HAS SOPS 6139416 HAS SOUS 706831 HAS SOUPS 704318 WITH SCORE 710460.284
AT ITER 4578 NEW BEST:: SOT 12819390 SOS 6142293 HAS SOPS 6139425 HAS SOUS 706772 HAS SOUPS 704259 WITH SCORE 710401.293
AT ITER 4629 NEW BEST:: SOT 12819390 SOS 6138744 HAS SOPS 6135876 HAS SOUS 706555 HAS SOUPS 704042 WITH SCORE 710180.744
AT ITER 4690 NEW BEST:: SOT 12819390 SOS 6138758 HAS SOPS 6135890 HAS SOUS 706541 HAS SOUPS 704028 WITH SCORE 710166.758
AT ITER 4723 NEW BEST:: SOT 12819390 SOS 6138650 HAS SOPS 6135782 HAS SOUS 706520 HAS SOUPS 704007 WITH SCORE 710145.65
AT ITER 4725 NEW BEST:: SOT 12819380 SOS 6138640 HAS SOPS 6135772 HAS SOUS 706500 HAS SOUPS 703987 WITH SCORE 710125.64
AT ITER 4730 NEW BEST:: SOT 12819553 SOS 6138809 HAS SOPS 6135941 HAS SOUS 706373 HAS SOUPS 703860 WITH SCORE 709998.809
AT ITER 4736 NEW BEST:: SOT 12819133 SOS 6138389 HAS SOPS 6135521 HAS SOUS 705526 HAS SOUPS 703013 WITH SCORE 709151.389
AT ITER 4738 NEW BEST:: SOT 12817543 SOS 6136799 HAS SOPS 6133931 HAS SOUS 704607 HAS SOUPS 702094 WITH SCORE 708230.799
AT ITER 4746 NEW BEST:: SOT 12818579 SOS 6137745 HAS SOPS 6134892 HAS SOUS 703899 HAS SOUPS 701401 WITH SCORE 707538.745
AT ITER 4749 NEW BEST:: SOT 12818490 SOS 6137656 HAS SOPS 6134803 HAS SOUS 703790 HAS SOUPS 701292 WITH SCORE 707429.656
AT ITER 4793 NEW BEST:: SOT 12818490 SOS 6137656 HAS SOPS 6134803 HAS SOUS 703787 HAS SOUPS 701289 WITH SCORE 707426.656
AT ITER 4810 NEW BEST:: SOT 12819564 SOS 6133328 HAS SOPS 6130475 HAS SOUS 703492 HAS SOUPS 700994 WITH SCORE 707127.328
AT ITER 4845 NEW BEST:: SOT 12819564 SOS 6135343 HAS SOPS 6132490 HAS SOUS 703167 HAS SOUPS 700669 WITH SCORE 706804.343
AT ITER 4867 NEW BEST:: SOT 12819550 SOS 6135329 HAS SOPS 6132476 HAS SOUS 703139 HAS SOUPS 700641 WITH SCORE 706776.329
AT ITER 4879 NEW BEST:: SOT 12816984 SOS 6132763 HAS SOPS 6129910 HAS SOUS 702025 HAS SOUPS 699527 WITH SCORE 705659.763
AT ITER 4896 NEW BEST:: SOT 12817507 SOS 6142977 HAS SOPS 6140223 HAS SOUS 701633 HAS SOUPS 699135 WITH SCORE 705277.977
AT ITER 4903 NEW BEST:: SOT 12818058 SOS 6143528 HAS SOPS 6140774 HAS SOUS 701366 HAS SOUPS 698868 WITH SCORE 705011.528
AT ITER 4976 NEW BEST:: SOT 12817549 SOS 6143019 HAS SOPS 6140265 HAS SOUS 700940 HAS SOUPS 698442 WITH SCORE 704585.019
AT ITER 4985 NEW BEST:: SOT 12817503 SOS 6142973 HAS SOPS 6140219 HAS SOUS 700894 HAS SOUPS 698396 WITH SCORE 704538.973
AT ITER 4988 NEW BEST:: SOT 12817857 SOS 6142396 HAS SOPS 6139642 HAS SOUS 698286 HAS SOUPS 695788 WITH SCORE 701930.396
AT ITER 4991 NEW BEST:: SOT 12817828 SOS 6142367 HAS SOPS 6139613 HAS SOUS 698151 HAS SOUPS 695653 WITH SCORE 701795.367
AT ITER 5001 NEW BEST:: SOT 12817828 SOS 6142206 HAS SOPS 6139452 HAS SOUS 698064 HAS SOUPS 695566 WITH SCORE 701708.206
AT ITER 5014 NEW BEST:: SOT 12815237 SOS 6136917 HAS SOPS 6134163 HAS SOUS 695473 HAS SOUPS 692975 WITH SCORE 699111.917
AT ITER 5030 NEW BEST:: SOT 12815790 SOS 6138210 HAS SOPS 6135456 HAS SOUS 694803 HAS SOUPS 692305 WITH SCORE 698443.21
AT ITER 5069 NEW BEST:: SOT 12814452 SOS 6136347 HAS SOPS 6133568 HAS SOUS 694010 HAS SOUPS 691487 WITH SCORE 697623.347
AT ITER 5083 NEW BEST:: SOT 12813553 SOS 6135448 HAS SOPS 6132669 HAS SOUS 693094 HAS SOUPS 690571 WITH SCORE 696706.448
AT ITER 5087 NEW BEST:: SOT 12813553 SOS 6135448 HAS SOPS 6132669 HAS SOUS 693036 HAS SOUPS 690513 WITH SCORE 696648.448
AT ITER 5106 NEW BEST:: SOT 12813170 SOS 6135071 HAS SOPS 6132292 HAS SOUS 691748 HAS SOUPS 689225 WITH SCORE 695360.071
AT ITER 5108 NEW BEST:: SOT 12813170 SOS 6134716 HAS SOPS 6131937 HAS SOUS 691743 HAS SOUPS 689220 WITH SCORE 695354.716
AT ITER 5111 NEW BEST:: SOT 12813170 SOS 6132916 HAS SOPS 6130137 HAS SOUS 691743 HAS SOUPS 689220 WITH SCORE 695352.916
AT ITER 5134 NEW BEST:: SOT 12809676 SOS 6129970 HAS SOPS 6127191 HAS SOUS 689931 HAS SOUPS 687408 WITH SCORE 693537.97
AT ITER 5145 NEW BEST:: SOT 12809676 SOS 6129172 HAS SOPS 6126393 HAS SOUS 689931 HAS SOUPS 687408 WITH SCORE 693537.172
AT ITER 5158 NEW BEST:: SOT 12809594 SOS 6129090 HAS SOPS 6126311 HAS SOUS 689767 HAS SOUPS 687244 WITH SCORE 693373.09
AT ITER 5162 NEW BEST:: SOT 12809585 SOS 6129081 HAS SOPS 6126302 HAS SOUS 689767 HAS SOUPS 687244 WITH SCORE 693373.081
AT ITER 5215 NEW BEST:: SOT 12808609 SOS 6128083 HAS SOPS 6125304 HAS SOUS 687654 HAS SOUPS 685131 WITH SCORE 691259.083
AT ITER 5243 NEW BEST:: SOT 12807426 SOS 6126882 HAS SOPS 6124112 HAS SOUS 686813 HAS SOUPS 684299 WITH SCORE 690425.882
AT ITER 5275 NEW BEST:: SOT 12807459 SOS 6126915 HAS SOPS 6124145 HAS SOUS 686804 HAS SOUPS 684290 WITH SCORE 690416.915
AT ITER 5277 NEW BEST:: SOT 12807459 SOS 6126829 HAS SOPS 6124059 HAS SOUS 686718 HAS SOUPS 684204 WITH SCORE 690330.829
AT ITER 5280 NEW BEST:: SOT 12807252 SOS 6126622 HAS SOPS 6123852 HAS SOUS 686563 HAS SOUPS 684049 WITH SCORE 690175.622
AT ITER 5288 NEW BEST:: SOT 12804685 SOS 6121668 HAS SOPS 6118991 HAS SOUS 685927 HAS SOUPS 683444 WITH SCORE 689565.668
AT ITER 5311 NEW BEST:: SOT 12804685 SOS 6120876 HAS SOPS 6118199 HAS SOUS 685927 HAS SOUPS 683444 WITH SCORE 689564.876
AT ITER 5332 NEW BEST:: SOT 12805041 SOS 6117762 HAS SOPS 6115085 HAS SOUS 684943 HAS SOUPS 682460 WITH SCORE 688577.762
AT ITER 5333 NEW BEST:: SOT 12805041 SOS 6117762 HAS SOPS 6115085 HAS SOUS 684941 HAS SOUPS 682458 WITH SCORE 688575.762
AT ITER 5334 NEW BEST:: SOT 12805041 SOS 6113946 HAS SOPS 6111269 HAS SOUS 684941 HAS SOUPS 682458 WITH SCORE 688571.946
AT ITER 5342 NEW BEST:: SOT 12805064 SOS 6113969 HAS SOPS 6111292 HAS SOUS 684939 HAS SOUPS 682456 WITH SCORE 688569.969
AT ITER 5350 NEW BEST:: SOT 12805161 SOS 6114066 HAS SOPS 6111389 HAS SOUS 683927 HAS SOUPS 681444 WITH SCORE 687558.066
AT ITER 5353 NEW BEST:: SOT 12802344 SOS 6109478 HAS SOPS 6106870 HAS SOUS 682570 HAS SOUPS 680110 WITH SCORE 686219.478
AT ITER 5358 NEW BEST:: SOT 12802344 SOS 6109478 HAS SOPS 6106870 HAS SOUS 682529 HAS SOUPS 680069 WITH SCORE 686178.478
AT ITER 5361 NEW BEST:: SOT 12798063 SOS 6105197 HAS SOPS 6102589 HAS SOUS 680241 HAS SOUPS 677781 WITH SCORE 683886.197
AT ITER 5374 NEW BEST:: SOT 12798063 SOS 6180937 HAS SOPS 6178329 HAS SOUS 680133 HAS SOUPS 677673 WITH SCORE 683853.937
AT ITER 5389 NEW BEST:: SOT 12796236 SOS 6179110 HAS SOPS 6176502 HAS SOUS 678835 HAS SOUPS 676375 WITH SCORE 682554.11
AT ITER 5398 NEW BEST:: SOT 12796715 SOS 6185106 HAS SOPS 6182670 HAS SOUS 678395 HAS SOUPS 676107 WITH SCORE 682292.106
AT ITER 5407 NEW BEST:: SOT 12799271 SOS 6203810 HAS SOPS 6201374 HAS SOUS 676225 HAS SOUPS 673937 WITH SCORE 680140.81
AT ITER 5416 NEW BEST:: SOT 12799195 SOS 6290687 HAS SOPS 6288298 HAS SOUS 674254 HAS SOUPS 671966 WITH SCORE 678256.687
AT ITER 5444 NEW BEST:: SOT 12797371 SOS 6284990 HAS SOPS 6282601 HAS SOUS 674149 HAS SOUPS 671861 WITH SCORE 678145.99
AT ITER 5466 NEW BEST:: SOT 12797328 SOS 6284947 HAS SOPS 6282558 HAS SOUS 674106 HAS SOUPS 671818 WITH SCORE 678102.947
AT ITER 5472 NEW BEST:: SOT 12797958 SOS 6289695 HAS SOPS 6287306 HAS SOUS 671409 HAS SOUPS 669121 WITH SCORE 675410.695
AT ITER 5475 NEW BEST:: SOT 12797964 SOS 6289701 HAS SOPS 6287312 HAS SOUS 671375 HAS SOUPS 669087 WITH SCORE 675376.701
AT ITER 5493 NEW BEST:: SOT 12798394 SOS 6290841 HAS SOPS 6288462 HAS SOUS 670804 HAS SOUPS 668526 WITH SCORE 674816.841
AT ITER 5499 NEW BEST:: SOT 12798394 SOS 6290696 HAS SOPS 6288317 HAS SOUS 670659 HAS SOUPS 668381 WITH SCORE 674671.696
AT ITER 5508 NEW BEST:: SOT 12798392 SOS 6290694 HAS SOPS 6288315 HAS SOUS 670657 HAS SOUPS 668379 WITH SCORE 674669.694
AT ITER 5530 NEW BEST:: SOT 12798392 SOS 6292143 HAS SOPS 6289764 HAS SOUS 670635 HAS SOUPS 668357 WITH SCORE 674649.143
AT ITER 5539 NEW BEST:: SOT 12798887 SOS 6293196 HAS SOPS 6290871 HAS SOUS 670303 HAS SOUPS 668079 WITH SCORE 674372.196
AT ITER 5558 NEW BEST:: SOT 12798492 SOS 6292773 HAS SOPS 6290467 HAS SOUS 669073 HAS SOUPS 666868 WITH SCORE 673160.773
AT ITER 5565 NEW BEST:: SOT 12796865 SOS 6291146 HAS SOPS 6288840 HAS SOUS 665762 HAS SOUPS 663557 WITH SCORE 669848.146
AT ITER 5575 NEW BEST:: SOT 12797099 SOS 6292689 HAS SOPS 6290417 HAS SOUS 662922 HAS SOUPS 660751 WITH SCORE 667043.689
AT ITER 5588 NEW BEST:: SOT 12797099 SOS 6290601 HAS SOPS 6288329 HAS SOUS 662922 HAS SOUPS 660751 WITH SCORE 667041.601
AT ITER 5598 NEW BEST:: SOT 12797047 SOS 6293975 HAS SOPS 6291703 HAS SOUS 662451 HAS SOUPS 660280 WITH SCORE 666573.975
AT ITER 5620 NEW BEST:: SOT 12797044 SOS 6294028 HAS SOPS 6291700 HAS SOUS 662442 HAS SOUPS 660215 WITH SCORE 666509.028
AT ITER 5648 NEW BEST:: SOT 12796989 SOS 6293973 HAS SOPS 6291645 HAS SOUS 662387 HAS SOUPS 660160 WITH SCORE 666453.973
AT ITER 5666 NEW BEST:: SOT 12796989 SOS 6291373 HAS SOPS 6289045 HAS SOUS 662347 HAS SOUPS 660120 WITH SCORE 666411.373
AT ITER 5692 NEW BEST:: SOT 12796989 SOS 6287629 HAS SOPS 6285301 HAS SOUS 662075 HAS SOUPS 659848 WITH SCORE 666135.629
AT ITER 5716 NEW BEST:: SOT 12796975 SOS 6287615 HAS SOPS 6285287 HAS SOUS 662061 HAS SOUPS 659834 WITH SCORE 666121.615
AT ITER 5754 NEW BEST:: SOT 12796469 SOS 6287109 HAS SOPS 6284781 HAS SOUS 661555 HAS SOUPS 659328 WITH SCORE 665615.109
AT ITER 5784 NEW BEST:: SOT 12796441 SOS 6287082 HAS SOPS 6284754 HAS SOUS 661491 HAS SOUPS 659264 WITH SCORE 665551.082
AT ITER 5792 NEW BEST:: SOT 12795951 SOS 6286816 HAS SOPS 6284488 HAS SOUS 660562 HAS SOUPS 658335 WITH SCORE 664621.816
AT ITER 5800 NEW BEST:: SOT 12795842 SOS 6286707 HAS SOPS 6284379 HAS SOUS 660547 HAS SOUPS 658320 WITH SCORE 664606.707
AT ITER 5801 NEW BEST:: SOT 12795842 SOS 6286637 HAS SOPS 6284309 HAS SOUS 660546 HAS SOUPS 658319 WITH SCORE 664605.637
AT ITER 5826 NEW BEST:: SOT 12798089 SOS 6288858 HAS SOPS 6286530 HAS SOUS 659825 HAS SOUPS 657598 WITH SCORE 663886.858
AT ITER 5829 NEW BEST:: SOT 12798089 SOS 6288550 HAS SOPS 6286222 HAS SOUS 659690 HAS SOUPS 657463 WITH SCORE 663751.55
AT ITER 5833 NEW BEST:: SOT 12794533 SOS 6285164 HAS SOPS 6282836 HAS SOUS 654812 HAS SOUPS 652585 WITH SCORE 658870.164
AT ITER 5842 NEW BEST:: SOT 12794492 SOS 6285123 HAS SOPS 6282795 HAS SOUS 654771 HAS SOUPS 652544 WITH SCORE 658829.123
AT ITER 5860 NEW BEST:: SOT 12794383 SOS 6285001 HAS SOPS 6282673 HAS SOUS 652644 HAS SOUPS 650417 WITH SCORE 656702.001
AT ITER 5868 NEW BEST:: SOT 12794323 SOS 6284941 HAS SOPS 6282613 HAS SOUS 652494 HAS SOUPS 650267 WITH SCORE 656551.941
AT ITER 5903 NEW BEST:: SOT 12787979 SOS 6278495 HAS SOPS 6276167 HAS SOUS 648811 HAS SOUPS 646584 WITH SCORE 652862.495
AT ITER 5910 NEW BEST:: SOT 12787979 SOS 6276075 HAS SOPS 6273747 HAS SOUS 648783 HAS SOUPS 646556 WITH SCORE 652832.075
AT ITER 5935 NEW BEST:: SOT 12787955 SOS 6276051 HAS SOPS 6273723 HAS SOUS 648734 HAS SOUPS 646507 WITH SCORE 652783.051
AT ITER 5952 NEW BEST:: SOT 12787955 SOS 6273021 HAS SOPS 6270693 HAS SOUS 648668 HAS SOUPS 646441 WITH SCORE 652714.021
AT ITER 5990 NEW BEST:: SOT 12787955 SOS 6272589 HAS SOPS 6270225 HAS SOUS 648668 HAS SOUPS 646441 WITH SCORE 652713.589
AT ITER 6025 NEW BEST:: SOT 12787328 SOS 6274926 HAS SOPS 6274170 HAS SOUS 646728 HAS SOUPS 646109 WITH SCORE 652383.926
AT ITER 6040 NEW BEST:: SOT 12787328 SOS 6276273 HAS SOPS 6275517 HAS SOUS 646726 HAS SOUPS 646107 WITH SCORE 652383.273
AT ITER 6044 NEW BEST:: SOT 12781952 SOS 6270897 HAS SOPS 6270141 HAS SOUS 641329 HAS SOUPS 640710 WITH SCORE 646980.897
AT ITER 6051 NEW BEST:: SOT 12779688 SOS 6267881 HAS SOPS 6267125 HAS SOUS 640990 HAS SOUPS 640371 WITH SCORE 646638.881
AT ITER 6059 NEW BEST:: SOT 12779632 SOS 6267825 HAS SOPS 6267069 HAS SOUS 640953 HAS SOUPS 640334 WITH SCORE 646601.825
AT ITER 6061 NEW BEST:: SOT 12780026 SOS 6268219 HAS SOPS 6267463 HAS SOUS 638594 HAS SOUPS 637975 WITH SCORE 644243.219
AT ITER 6112 NEW BEST:: SOT 12772460 SOS 6255638 HAS SOPS 6254882 HAS SOUS 635721 HAS SOUPS 635102 WITH SCORE 641357.638
AT ITER 6179 NEW BEST:: SOT 12774157 SOS 6257335 HAS SOPS 6256579 HAS SOUS 635338 HAS SOUPS 634719 WITH SCORE 640976.335
AT ITER 6183 NEW BEST:: SOT 12774209 SOS 6257385 HAS SOPS 6256631 HAS SOUS 635295 HAS SOUPS 634678 WITH SCORE 640935.385
AT ITER 6227 NEW BEST:: SOT 12774209 SOS 6252835 HAS SOPS 6252081 HAS SOUS 635237 HAS SOUPS 634620 WITH SCORE 640872.835
AT ITER 6240 NEW BEST:: SOT 12774804 SOS 6254654 HAS SOPS 6253900 HAS SOUS 635082 HAS SOUPS 634465 WITH SCORE 640719.654
AT ITER 6247 NEW BEST:: SOT 12774922 SOS 6267578 HAS SOPS 6266824 HAS SOUS 634992 HAS SOUPS 634375 WITH SCORE 640642.578
AT ITER 6258 NEW BEST:: SOT 12774908 SOS 6267564 HAS SOPS 6266810 HAS SOUS 634937 HAS SOUPS 634320 WITH SCORE 640587.564
AT ITER 6294 NEW BEST:: SOT 12774908 SOS 6267343 HAS SOPS 6266589 HAS SOUS 634929 HAS SOUPS 634312 WITH SCORE 640579.343
AT ITER 6303 NEW BEST:: SOT 12774908 SOS 6267331 HAS SOPS 6266577 HAS SOUS 634929 HAS SOUPS 634312 WITH SCORE 640579.331
AT ITER 6305 NEW BEST:: SOT 12774908 SOS 6264159 HAS SOPS 6263405 HAS SOUS 634861 HAS SOUPS 634244 WITH SCORE 640508.159
AT ITER 6319 NEW BEST:: SOT 12774908 SOS 6258757 HAS SOPS 6258003 HAS SOUS 634049 HAS SOUPS 633432 WITH SCORE 639690.757
AT ITER 6327 NEW BEST:: SOT 12774919 SOS 6258768 HAS SOPS 6258014 HAS SOUS 633533 HAS SOUPS 632916 WITH SCORE 639174.768
AT ITER 6361 NEW BEST:: SOT 12774602 SOS 6258451 HAS SOPS 6257697 HAS SOUS 632768 HAS SOUPS 632151 WITH SCORE 638409.451
AT ITER 6383 NEW BEST:: SOT 12774628 SOS 6258390 HAS SOPS 6257629 HAS SOUS 632703 HAS SOUPS 632079 WITH SCORE 638337.39
AT ITER 6429 NEW BEST:: SOT 12774628 SOS 6258384 HAS SOPS 6257623 HAS SOUS 632703 HAS SOUPS 632079 WITH SCORE 638337.384
AT ITER 6464 NEW BEST:: SOT 12774423 SOS 6258179 HAS SOPS 6257418 HAS SOUS 631739 HAS SOUPS 631115 WITH SCORE 637373.179
AT ITER 6488 NEW BEST:: SOT 12774139 SOS 6257895 HAS SOPS 6257134 HAS SOUS 631203 HAS SOUPS 630579 WITH SCORE 636836.895
AT ITER 6496 NEW BEST:: SOT 12774062 SOS 6257818 HAS SOPS 6257057 HAS SOUS 631139 HAS SOUPS 630515 WITH SCORE 636772.818
AT ITER 6558 NEW BEST:: SOT 12774062 SOS 6257810 HAS SOPS 6257049 HAS SOUS 631135 HAS SOUPS 630511 WITH SCORE 636768.81
AT ITER 6563 NEW BEST:: SOT 12773995 SOS 6257743 HAS SOPS 6256982 HAS SOUS 630995 HAS SOUPS 630371 WITH SCORE 636628.743
AT ITER 6564 NEW BEST:: SOT 12773481 SOS 6257229 HAS SOPS 6256468 HAS SOUS 629957 HAS SOUPS 629333 WITH SCORE 635590.229
AT ITER 6568 NEW BEST:: SOT 12773481 SOS 6257229 HAS SOPS 6256468 HAS SOUS 629923 HAS SOUPS 629299 WITH SCORE 635556.229
AT ITER 6628 NEW BEST:: SOT 12773874 SOS 6257622 HAS SOPS 6256861 HAS SOUS 629900 HAS SOUPS 629276 WITH SCORE 635533.622
AT ITER 6753 NEW BEST:: SOT 12773977 SOS 6257598 HAS SOPS 6256784 HAS SOUS 629773 HAS SOUPS 629146 WITH SCORE 635403.598
AT ITER 6761 NEW BEST:: SOT 12773977 SOS 6254886 HAS SOPS 6254033 HAS SOUS 629741 HAS SOUPS 629114 WITH SCORE 635368.886
AT ITER 6789 NEW BEST:: SOT 12773977 SOS 6253991 HAS SOPS 6253138 HAS SOUS 629666 HAS SOUPS 629039 WITH SCORE 635292.991
AT ITER 6825 NEW BEST:: SOT 12773977 SOS 6253127 HAS SOPS 6252274 HAS SOUS 629666 HAS SOUPS 629039 WITH SCORE 635292.127
AT ITER 6863 NEW BEST:: SOT 12773977 SOS 6256441 HAS SOPS 6255588 HAS SOUS 629231 HAS SOUPS 628604 WITH SCORE 634860.441
AT ITER 6886 NEW BEST:: SOT 12771195 SOS 6251957 HAS SOPS 6251104 HAS SOUS 627942 HAS SOUPS 627315 WITH SCORE 633566.957
AT ITER 6937 NEW BEST:: SOT 12771142 SOS 6259709 HAS SOPS 6258982 HAS SOUS 627774 HAS SOUPS 627255 WITH SCORE 633514.709
AT ITER 6955 NEW BEST:: SOT 12771119 SOS 6259686 HAS SOPS 6258959 HAS SOUS 627758 HAS SOUPS 627239 WITH SCORE 633498.686
AT ITER 6966 NEW BEST:: SOT 12770852 SOS 6259412 HAS SOPS 6258685 HAS SOUS 627477 HAS SOUPS 626958 WITH SCORE 633217.412
AT ITER 6985 NEW BEST:: SOT 12770286 SOS 6258846 HAS SOPS 6258119 HAS SOUS 627038 HAS SOUPS 626519 WITH SCORE 632777.846
AT ITER 6989 NEW BEST:: SOT 12768213 SOS 6256739 HAS SOPS 6256046 HAS SOUS 623393 HAS SOUPS 622908 WITH SCORE 629164.739
AT ITER 6995 NEW BEST:: SOT 12767594 SOS 6256139 HAS SOPS 6255465 HAS SOUS 622072 HAS SOUPS 621590 WITH SCORE 627846.139
AT ITER 7012 NEW BEST:: SOT 12765633 SOS 6253026 HAS SOPS 6252352 HAS SOUS 621163 HAS SOUPS 620681 WITH SCORE 626934.026
AT ITER 7015 NEW BEST:: SOT 12765373 SOS 6252766 HAS SOPS 6252092 HAS SOUS 620978 HAS SOUPS 620496 WITH SCORE 626748.766
AT ITER 7030 NEW BEST:: SOT 12769289 SOS 6257614 HAS SOPS 6256986 HAS SOUS 620931 HAS SOUPS 620490 WITH SCORE 626747.614
AT ITER 7034 NEW BEST:: SOT 12769820 SOS 6273040 HAS SOPS 6271608 HAS SOUS 620348 HAS SOUPS 619686 WITH SCORE 625959.04
AT ITER 7048 NEW BEST:: SOT 12765114 SOS 6268334 HAS SOPS 6266902 HAS SOUS 616693 HAS SOUPS 616031 WITH SCORE 622299.334
AT ITER 7066 NEW BEST:: SOT 12762881 SOS 6266029 HAS SOPS 6264658 HAS SOUS 612424 HAS SOUPS 611823 WITH SCORE 618089.029
AT ITER 7077 NEW BEST:: SOT 12761015 SOS 6264163 HAS SOPS 6262792 HAS SOUS 612298 HAS SOUPS 611697 WITH SCORE 617961.163
AT ITER 7094 NEW BEST:: SOT 12756759 SOS 6260348 HAS SOPS 6258977 HAS SOUS 608990 HAS SOUPS 608389 WITH SCORE 614649.348
AT ITER 7095 NEW BEST:: SOT 12757503 SOS 6261104 HAS SOPS 6259733 HAS SOUS 608966 HAS SOUPS 608365 WITH SCORE 614626.104
AT ITER 7149 NEW BEST:: SOT 12758861 SOS 6262460 HAS SOPS 6261089 HAS SOUS 608807 HAS SOUPS 608206 WITH SCORE 614468.46
AT ITER 7167 NEW BEST:: SOT 12759305 SOS 6262832 HAS SOPS 6261461 HAS SOUS 608178 HAS SOUPS 607577 WITH SCORE 613839.832
AT ITER 7171 NEW BEST:: SOT 12758984 SOS 6262511 HAS SOPS 6261140 HAS SOUS 607648 HAS SOUPS 607047 WITH SCORE 613309.511
AT ITER 7204 NEW BEST:: SOT 12758984 SOS 6262472 HAS SOPS 6261101 HAS SOUS 607559 HAS SOUPS 606958 WITH SCORE 613220.472
AT ITER 7229 NEW BEST:: SOT 12758628 SOS 6262132 HAS SOPS 6260761 HAS SOUS 606839 HAS SOUPS 606238 WITH SCORE 612500.132
AT ITER 7247 NEW BEST:: SOT 12760396 SOS 6263862 HAS SOPS 6262529 HAS SOUS 606420 HAS SOUPS 605857 WITH SCORE 612120.862
AT ITER 7267 NEW BEST:: SOT 12755734 SOS 6259090 HAS SOPS 6257757 HAS SOUS 603425 HAS SOUPS 602862 WITH SCORE 609121.09
AT ITER 7270 NEW BEST:: SOT 12757419 SOS 6260775 HAS SOPS 6259442 HAS SOUS 603186 HAS SOUPS 602623 WITH SCORE 608883.775
AT ITER 7289 NEW BEST:: SOT 12757069 SOS 6260425 HAS SOPS 6259092 HAS SOUS 602480 HAS SOUPS 601917 WITH SCORE 608177.425
AT ITER 7298 NEW BEST:: SOT 12754891 SOS 6258247 HAS SOPS 6256914 HAS SOUS 597614 HAS SOUPS 597051 WITH SCORE 603309.247
AT ITER 7311 NEW BEST:: SOT 12754891 SOS 6261051 HAS SOPS 6259718 HAS SOUS 596056 HAS SOUPS 595493 WITH SCORE 601754.051
AT ITER 7359 NEW BEST:: SOT 12754891 SOS 6258092 HAS SOPS 6256759 HAS SOUS 595991 HAS SOUPS 595428 WITH SCORE 601686.092
AT ITER 7448 NEW BEST:: SOT 12754864 SOS 6258062 HAS SOPS 6256729 HAS SOUS 595964 HAS SOUPS 595401 WITH SCORE 601659.062
AT ITER 7452 NEW BEST:: SOT 12754788 SOS 6257986 HAS SOPS 6256653 HAS SOUS 595926 HAS SOUPS 595363 WITH SCORE 601620.986
AT ITER 7458 NEW BEST:: SOT 12753794 SOS 6256992 HAS SOPS 6255659 HAS SOUS 594873 HAS SOUPS 594310 WITH SCORE 600566.992
AT ITER 7490 NEW BEST:: SOT 12753794 SOS 6254821 HAS SOPS 6253488 HAS SOUS 594790 HAS SOUPS 594227 WITH SCORE 600481.821
AT ITER 7508 NEW BEST:: SOT 12752414 SOS 6253441 HAS SOPS 6252108 HAS SOUS 593959 HAS SOUPS 593396 WITH SCORE 599649.441
AT ITER 7525 NEW BEST:: SOT 12751905 SOS 6252932 HAS SOPS 6251599 HAS SOUS 592756 HAS SOUPS 592193 WITH SCORE 598445.932
AT ITER 7527 NEW BEST:: SOT 12751775 SOS 6252802 HAS SOPS 6251469 HAS SOUS 592664 HAS SOUPS 592101 WITH SCORE 598353.802
AT ITER 7598 NEW BEST:: SOT 12751679 SOS 6246754 HAS SOPS 6245421 HAS SOUS 592664 HAS SOUPS 592101 WITH SCORE 598347.754
AT ITER 7643 NEW BEST:: SOT 12751369 SOS 6246444 HAS SOPS 6245111 HAS SOUS 592553 HAS SOUPS 591990 WITH SCORE 598236.444
AT ITER 7665 NEW BEST:: SOT 12751344 SOS 6246419 HAS SOPS 6245086 HAS SOUS 592528 HAS SOUPS 591965 WITH SCORE 598211.419
AT ITER 7705 NEW BEST:: SOT 12750850 SOS 6245925 HAS SOPS 6244592 HAS SOUS 592283 HAS SOUPS 591720 WITH SCORE 597965.925
AT ITER 7706 NEW BEST:: SOT 12750850 SOS 6243274 HAS SOPS 6241977 HAS SOUS 592152 HAS SOUPS 591589 WITH SCORE 597832.274
AT ITER 7762 NEW BEST:: SOT 12750850 SOS 6243234 HAS SOPS 6241937 HAS SOUS 592132 HAS SOUPS 591569 WITH SCORE 597812.234
AT ITER 7769 NEW BEST:: SOT 12750850 SOS 6243214 HAS SOPS 6241917 HAS SOUS 592112 HAS SOUPS 591549 WITH SCORE 597792.214
AT ITER 7772 NEW BEST:: SOT 12744600 SOS 6237099 HAS SOPS 6235797 HAS SOUS 590666 HAS SOUPS 590098 WITH SCORE 596335.099
AT ITER 7777 NEW BEST:: SOT 12745140 SOS 6237639 HAS SOPS 6236337 HAS SOUS 590202 HAS SOUPS 589634 WITH SCORE 595871.639
AT ITER 7780 NEW BEST:: SOT 12745557 SOS 6238632 HAS SOPS 6237330 HAS SOUS 589687 HAS SOUPS 589119 WITH SCORE 595357.632
AT ITER 7793 NEW BEST:: SOT 12743827 SOS 6236902 HAS SOPS 6235600 HAS SOUS 588588 HAS SOUPS 588020 WITH SCORE 594256.902
AT ITER 7820 NEW BEST:: SOT 12744006 SOS 6237080 HAS SOPS 6235778 HAS SOUS 588193 HAS SOUPS 587625 WITH SCORE 593862.08
AT ITER 7837 NEW BEST:: SOT 12743974 SOS 6237048 HAS SOPS 6235746 HAS SOUS 588161 HAS SOUPS 587593 WITH SCORE 593830.048
AT ITER 7852 NEW BEST:: SOT 12743974 SOS 6236616 HAS SOPS 6235307 HAS SOUS 588161 HAS SOUPS 587593 WITH SCORE 593829.616
AT ITER 7853 NEW BEST:: SOT 12743952 SOS 6236594 HAS SOPS 6235285 HAS SOUS 588096 HAS SOUPS 587528 WITH SCORE 593764.594
AT ITER 7865 NEW BEST:: SOT 12743456 SOS 6236114 HAS SOPS 6234805 HAS SOUS 586704 HAS SOUPS 586136 WITH SCORE 592372.114
AT ITER 7869 NEW BEST:: SOT 12746462 SOS 6241568 HAS SOPS 6240259 HAS SOUS 586355 HAS SOUPS 585787 WITH SCORE 592028.568
AT ITER 7893 NEW BEST:: SOT 12746422 SOS 6241528 HAS SOPS 6240219 HAS SOUS 586274 HAS SOUPS 585706 WITH SCORE 591947.528
AT ITER 7896 NEW BEST:: SOT 12746422 SOS 6242399 HAS SOPS 6241090 HAS SOUS 586226 HAS SOUPS 585658 WITH SCORE 591900.399
AT ITER 7905 NEW BEST:: SOT 12746426 SOS 6242403 HAS SOPS 6241094 HAS SOUS 586138 HAS SOUPS 585570 WITH SCORE 591812.403
AT ITER 7928 NEW BEST:: SOT 12746417 SOS 6242399 HAS SOPS 6241090 HAS SOUS 586122 HAS SOUPS 585554 WITH SCORE 591796.399
AT ITER 7958 NEW BEST:: SOT 12745021 SOS 6241003 HAS SOPS 6239694 HAS SOUS 585796 HAS SOUPS 585228 WITH SCORE 591469.003
AT ITER 7965 NEW BEST:: SOT 12745407 SOS 6241400 HAS SOPS 6240091 HAS SOUS 585303 HAS SOUPS 584735 WITH SCORE 590976.4
AT ITER 7970 NEW BEST:: SOT 12745407 SOS 6241401 HAS SOPS 6240092 HAS SOUS 585302 HAS SOUPS 584734 WITH SCORE 590975.401
AT ITER 7983 NEW BEST:: SOT 12745257 SOS 6241251 HAS SOPS 6239942 HAS SOUS 585024 HAS SOUPS 584456 WITH SCORE 590697.251
AT ITER 8019 NEW BEST:: SOT 12741644 SOS 6232254 HAS SOPS 6230945 HAS SOUS 584842 HAS SOUPS 584274 WITH SCORE 590506.254
AT ITER 8028 NEW BEST:: SOT 12734945 SOS 6216433 HAS SOPS 6215124 HAS SOUS 584445 HAS SOUPS 583877 WITH SCORE 590093.433
AT ITER 8043 NEW BEST:: SOT 12736120 SOS 6217608 HAS SOPS 6216299 HAS SOUS 584226 HAS SOUPS 583658 WITH SCORE 589875.608
AT ITER 8060 NEW BEST:: SOT 12736120 SOS 6217255 HAS SOPS 6215951 HAS SOUS 584214 HAS SOUPS 583651 WITH SCORE 589868.255
AT ITER 8084 NEW BEST:: SOT 12732275 SOS 6213410 HAS SOPS 6212106 HAS SOUS 580614 HAS SOUPS 580051 WITH SCORE 586264.41
AT ITER 8118 NEW BEST:: SOT 12732234 SOS 6213369 HAS SOPS 6212065 HAS SOUS 580573 HAS SOUPS 580010 WITH SCORE 586223.369
AT ITER 8142 NEW BEST:: SOT 12732960 SOS 6214971 HAS SOPS 6213667 HAS SOUS 580202 HAS SOUPS 579639 WITH SCORE 585853.971
AT ITER 8181 NEW BEST:: SOT 12733486 SOS 6210479 HAS SOPS 6210136 HAS SOUS 576663 HAS SOUPS 576395 WITH SCORE 582605.479
AT ITER 8226 NEW BEST:: SOT 12732848 SOS 6209841 HAS SOPS 6209498 HAS SOUS 575379 HAS SOUPS 575111 WITH SCORE 581320.841
AT ITER 8227 NEW BEST:: SOT 12732091 SOS 6209084 HAS SOPS 6208741 HAS SOUS 574646 HAS SOUPS 574378 WITH SCORE 580587.084
AT ITER 8247 NEW BEST:: SOT 12732091 SOS 6207013 HAS SOPS 6206670 HAS SOUS 574535 HAS SOUPS 574267 WITH SCORE 580474.013
AT ITER 8258 NEW BEST:: SOT 12732078 SOS 6207000 HAS SOPS 6206657 HAS SOUS 574510 HAS SOUPS 574242 WITH SCORE 580449.0
AT ITER 8267 NEW BEST:: SOT 12731391 SOS 6206193 HAS SOPS 6205850 HAS SOUS 574113 HAS SOUPS 573845 WITH SCORE 580051.193
AT ITER 8268 NEW BEST:: SOT 12729528 SOS 6204330 HAS SOPS 6203987 HAS SOUS 574095 HAS SOUPS 573827 WITH SCORE 580031.33
AT ITER 8272 NEW BEST:: SOT 12726951 SOS 6201753 HAS SOPS 6201410 HAS SOUS 571975 HAS SOUPS 571707 WITH SCORE 577908.753
AT ITER 8281 NEW BEST:: SOT 12726123 SOS 6200739 HAS SOPS 6200396 HAS SOUS 571148 HAS SOUPS 570880 WITH SCORE 577080.739
AT ITER 8286 NEW BEST:: SOT 12726120 SOS 6200700 HAS SOPS 6200393 HAS SOUS 571109 HAS SOUPS 570877 WITH SCORE 577077.7
AT ITER 8316 NEW BEST:: SOT 12727837 SOS 6202554 HAS SOPS 6202260 HAS SOUS 571028 HAS SOUPS 570809 WITH SCORE 577011.554
AT ITER 8347 NEW BEST:: SOT 12727837 SOS 6215010 HAS SOPS 6214716 HAS SOUS 570975 HAS SOUPS 570756 WITH SCORE 576971.01
AT ITER 8387 NEW BEST:: SOT 12728046 SOS 6215219 HAS SOPS 6214925 HAS SOUS 570954 HAS SOUPS 570735 WITH SCORE 576950.219
AT ITER 8413 NEW BEST:: SOT 12728096 SOS 6215269 HAS SOPS 6214975 HAS SOUS 569884 HAS SOUPS 569665 WITH SCORE 575880.269
AT ITER 8435 NEW BEST:: SOT 12724097 SOS 6211886 HAS SOPS 6211592 HAS SOUS 567112 HAS SOUPS 566893 WITH SCORE 573104.886
AT ITER 8475 NEW BEST:: SOT 12724097 SOS 6211886 HAS SOPS 6211592 HAS SOUS 567074 HAS SOUPS 566855 WITH SCORE 573066.886
AT ITER 8478 NEW BEST:: SOT 12719611 SOS 6204232 HAS SOPS 6203938 HAS SOUS 566097 HAS SOUPS 565878 WITH SCORE 572082.232
AT ITER 8491 NEW BEST:: SOT 12719659 SOS 6206385 HAS SOPS 6206091 HAS SOUS 565916 HAS SOUPS 565697 WITH SCORE 571903.385
AT ITER 8528 NEW BEST:: SOT 12719570 SOS 6206296 HAS SOPS 6206002 HAS SOUS 565827 HAS SOUPS 565608 WITH SCORE 571814.296
AT ITER 8530 NEW BEST:: SOT 12719280 SOS 6206006 HAS SOPS 6205712 HAS SOUS 565597 HAS SOUPS 565378 WITH SCORE 571584.006
AT ITER 8532 NEW BEST:: SOT 12718825 SOS 6205551 HAS SOPS 6205257 HAS SOUS 564680 HAS SOUPS 564461 WITH SCORE 570666.551
AT ITER 8537 NEW BEST:: SOT 12718841 SOS 6205567 HAS SOPS 6205273 HAS SOUS 564668 HAS SOUPS 564449 WITH SCORE 570654.567
AT ITER 8633 NEW BEST:: SOT 12718860 SOS 6205586 HAS SOPS 6205292 HAS SOUS 564649 HAS SOUPS 564430 WITH SCORE 570635.586
AT ITER 8635 NEW BEST:: SOT 12722828 SOS 6224345 HAS SOPS 6224051 HAS SOUS 564582 HAS SOUPS 564363 WITH SCORE 570587.345
AT ITER 8636 NEW BEST:: SOT 12718310 SOS 6219827 HAS SOPS 6219533 HAS SOUS 560772 HAS SOUPS 560553 WITH SCORE 566772.827
AT ITER 8643 NEW BEST:: SOT 12714918 SOS 6216435 HAS SOPS 6216141 HAS SOUS 558312 HAS SOUPS 558093 WITH SCORE 564309.435
AT ITER 8721 NEW BEST:: SOT 12715899 SOS 6217416 HAS SOPS 6217122 HAS SOUS 558027 HAS SOUPS 557808 WITH SCORE 564025.416
AT ITER 8723 NEW BEST:: SOT 12715899 SOS 6217344 HAS SOPS 6217050 HAS SOUS 558027 HAS SOUPS 557808 WITH SCORE 564025.344
AT ITER 8724 NEW BEST:: SOT 12715138 SOS 6216598 HAS SOPS 6216304 HAS SOUS 557920 HAS SOUPS 557701 WITH SCORE 563917.598
AT ITER 8851 NEW BEST:: SOT 12714693 SOS 6232011 HAS SOPS 6231717 HAS SOUS 553879 HAS SOUPS 553660 WITH SCORE 559892.011
AT ITER 8884 NEW BEST:: SOT 12714784 SOS 6232102 HAS SOPS 6231808 HAS SOUS 553844 HAS SOUPS 553625 WITH SCORE 559857.102
AT ITER 8976 NEW BEST:: SOT 12714771 SOS 6232089 HAS SOPS 6231795 HAS SOUS 552285 HAS SOUPS 552066 WITH SCORE 558298.089
AT ITER 8988 NEW BEST:: SOT 12716230 SOS 6233548 HAS SOPS 6233254 HAS SOUS 551831 HAS SOUPS 551612 WITH SCORE 557845.548
AT ITER 8993 NEW BEST:: SOT 12716230 SOS 6229874 HAS SOPS 6229580 HAS SOUS 551753 HAS SOUPS 551534 WITH SCORE 557763.874
AT ITER 9013 NEW BEST:: SOT 12716250 SOS 6229894 HAS SOPS 6229600 HAS SOUS 551744 HAS SOUPS 551525 WITH SCORE 557754.894
AT ITER 9029 NEW BEST:: SOT 12715458 SOS 6229102 HAS SOPS 6228808 HAS SOUS 550737 HAS SOUPS 550518 WITH SCORE 556747.102
AT ITER 9070 NEW BEST:: SOT 12714024 SOS 6227668 HAS SOPS 6227374 HAS SOUS 547850 HAS SOUPS 547631 WITH SCORE 553858.668
AT ITER 9081 NEW BEST:: SOT 12712351 SOS 6225833 HAS SOPS 6225539 HAS SOUS 544392 HAS SOUPS 544173 WITH SCORE 550398.833
AT ITER 9087 NEW BEST:: SOT 12712351 SOS 6225691 HAS SOPS 6225397 HAS SOUS 544390 HAS SOUPS 544171 WITH SCORE 550396.691
AT ITER 9094 NEW BEST:: SOT 12712351 SOS 6225561 HAS SOPS 6225267 HAS SOUS 544325 HAS SOUPS 544106 WITH SCORE 550331.561
AT ITER 9099 NEW BEST:: SOT 12711940 SOS 6225150 HAS SOPS 6224856 HAS SOUS 543445 HAS SOUPS 543226 WITH SCORE 549451.15
AT ITER 9120 NEW BEST:: SOT 12712238 SOS 6225448 HAS SOPS 6225154 HAS SOUS 542553 HAS SOUPS 542334 WITH SCORE 548559.448
AT ITER 9124 NEW BEST:: SOT 12713150 SOS 6226382 HAS SOPS 6226088 HAS SOUS 542458 HAS SOUPS 542239 WITH SCORE 548465.382
AT ITER 9150 NEW BEST:: SOT 12709532 SOS 6222764 HAS SOPS 6222470 HAS SOUS 539790 HAS SOUPS 539571 WITH SCORE 545793.764
AT ITER 9166 NEW BEST:: SOT 12711996 SOS 6240058 HAS SOPS 6239764 HAS SOUS 539004 HAS SOUPS 538785 WITH SCORE 545025.058
AT ITER 9167 NEW BEST:: SOT 12711996 SOS 6236448 HAS SOPS 6236154 HAS SOUS 539004 HAS SOUPS 538785 WITH SCORE 545021.448
AT ITER 9187 NEW BEST:: SOT 12710236 SOS 6234688 HAS SOPS 6234394 HAS SOUS 537820 HAS SOUPS 537601 WITH SCORE 543835.688
AT ITER 9249 NEW BEST:: SOT 12710411 SOS 6234863 HAS SOPS 6234569 HAS SOUS 537612 HAS SOUPS 537393 WITH SCORE 543627.863
AT ITER 9302 NEW BEST:: SOT 12709884 SOS 6234336 HAS SOPS 6234042 HAS SOUS 536539 HAS SOUPS 536320 WITH SCORE 542554.336
AT ITER 9325 NEW BEST:: SOT 12709988 SOS 6234440 HAS SOPS 6234146 HAS SOUS 536525 HAS SOUPS 536306 WITH SCORE 542540.44
AT ITER 9326 NEW BEST:: SOT 12709258 SOS 6233710 HAS SOPS 6233416 HAS SOUS 535002 HAS SOUPS 534783 WITH SCORE 541016.71
AT ITER 9381 NEW BEST:: SOT 12709258 SOS 6233710 HAS SOPS 6233416 HAS SOUS 535000 HAS SOUPS 534781 WITH SCORE 541014.71
AT ITER 9385 NEW BEST:: SOT 12709258 SOS 6232716 HAS SOPS 6232422 HAS SOUS 535000 HAS SOUPS 534781 WITH SCORE 541013.716
AT ITER 9392 NEW BEST:: SOT 12712316 SOS 6235774 HAS SOPS 6235480 HAS SOUS 534629 HAS SOUPS 534410 WITH SCORE 540645.774
AT ITER 9399 NEW BEST:: SOT 12712316 SOS 6235754 HAS SOPS 6235460 HAS SOUS 534613 HAS SOUPS 534394 WITH SCORE 540629.754
AT ITER 9442 NEW BEST:: SOT 12712316 SOS 6233623 HAS SOPS 6233329 HAS SOUS 534592 HAS SOUPS 534373 WITH SCORE 540606.623
AT ITER 9447 NEW BEST:: SOT 12712253 SOS 6233560 HAS SOPS 6233266 HAS SOUS 534529 HAS SOUPS 534310 WITH SCORE 540543.56
AT ITER 9453 NEW BEST:: SOT 12711845 SOS 6233152 HAS SOPS 6232858 HAS SOUS 534334 HAS SOUPS 534115 WITH SCORE 540348.152
AT ITER 9485 NEW BEST:: SOT 12711763 SOS 6233070 HAS SOPS 6232776 HAS SOUS 533907 HAS SOUPS 533688 WITH SCORE 539921.07
AT ITER 9492 NEW BEST:: SOT 12711763 SOS 6230022 HAS SOPS 6229728 HAS SOUS 533907 HAS SOUPS 533688 WITH SCORE 539918.022
AT ITER 9593 NEW BEST:: SOT 12712190 SOS 6230452 HAS SOPS 6230161 HAS SOUS 532989 HAS SOUPS 532773 WITH SCORE 539003.452
AT ITER 9637 NEW BEST:: SOT 12713075 SOS 6231397 HAS SOPS 6231160 HAS SOUS 532872 HAS SOUPS 532710 WITH SCORE 538941.397
AT ITER 9653 NEW BEST:: SOT 12712897 SOS 6231219 HAS SOPS 6230982 HAS SOUS 532694 HAS SOUPS 532532 WITH SCORE 538763.219
AT ITER 9657 NEW BEST:: SOT 12711286 SOS 6229608 HAS SOPS 6229371 HAS SOUS 529431 HAS SOUPS 529269 WITH SCORE 535498.608
AT ITER 9666 NEW BEST:: SOT 12711711 SOS 6230033 HAS SOPS 6229796 HAS SOUS 529421 HAS SOUPS 529259 WITH SCORE 535489.033
AT ITER 9698 NEW BEST:: SOT 12711702 SOS 6230024 HAS SOPS 6229787 HAS SOUS 529412 HAS SOUPS 529250 WITH SCORE 535480.024
AT ITER 9702 NEW BEST:: SOT 12708553 SOS 6226731 HAS SOPS 6226494 HAS SOUS 528434 HAS SOUPS 528272 WITH SCORE 534498.731
AT ITER 9751 NEW BEST:: SOT 12708553 SOS 6226581 HAS SOPS 6226344 HAS SOUS 528430 HAS SOUPS 528268 WITH SCORE 534494.581
AT ITER 9776 NEW BEST:: SOT 12708553 SOS 6226517 HAS SOPS 6226280 HAS SOUS 528319 HAS SOUPS 528157 WITH SCORE 534383.517
AT ITER 9816 NEW BEST:: SOT 12708172 SOS 6226136 HAS SOPS 6225899 HAS SOUS 527600 HAS SOUPS 527438 WITH SCORE 533664.136
AT ITER 9908 NEW BEST:: SOT 12707452 SOS 6225416 HAS SOPS 6225179 HAS SOUS 526712 HAS SOUPS 526550 WITH SCORE 532775.416
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 15965932 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16125508 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-q8m004"
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-q8m004, 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-167813688100400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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