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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.8K Feb 26 08:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 08:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 07:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 07:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 26 08:29 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 1678467619098

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-q8m016
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m016
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 21 NEW BEST:: SOT 12976552 SOS 6056099 HAS SOPS 6051644 HAS SOUS 1658035 HAS SOUPS 1653580 WITH SCORE 1659636.099
AT ITER 29 NEW BEST:: SOT 12976924 SOS 6056471 HAS SOPS 6052016 HAS SOUS 1657053 HAS SOUPS 1652598 WITH SCORE 1658654.471
AT ITER 49 NEW BEST:: SOT 12976924 SOS 6056407 HAS SOPS 6051952 HAS SOUS 1657053 HAS SOUPS 1652598 WITH SCORE 1658654.407
AT ITER 53 NEW BEST:: SOT 12977167 SOS 6057088 HAS SOPS 6052633 HAS SOUS 1648104 HAS SOUPS 1643649 WITH SCORE 1649706.088
AT ITER 57 NEW BEST:: SOT 12971650 SOS 6051247 HAS SOPS 6046855 HAS SOUS 1637238 HAS SOUPS 1632846 WITH SCORE 1638897.247
AT ITER 59 NEW BEST:: SOT 12969964 SOS 6049561 HAS SOPS 6045169 HAS SOUS 1635146 HAS SOUPS 1630754 WITH SCORE 1636803.561
AT ITER 71 NEW BEST:: SOT 12964670 SOS 6048011 HAS SOPS 6043619 HAS SOUS 1634011 HAS SOUPS 1629619 WITH SCORE 1635667.011
AT ITER 83 NEW BEST:: SOT 12964670 SOS 6048459 HAS SOPS 6044067 HAS SOUS 1633854 HAS SOUPS 1629462 WITH SCORE 1635510.459
AT ITER 95 NEW BEST:: SOT 12966426 SOS 6052423 HAS SOPS 6048031 HAS SOUS 1624356 HAS SOUPS 1619964 WITH SCORE 1626016.423
AT ITER 98 NEW BEST:: SOT 12964581 SOS 6050671 HAS SOPS 6046279 HAS SOUS 1620777 HAS SOUPS 1616385 WITH SCORE 1622435.671
AT ITER 104 NEW BEST:: SOT 12964581 SOS 6050630 HAS SOPS 6046238 HAS SOUS 1620736 HAS SOUPS 1616344 WITH SCORE 1622394.63
AT ITER 114 NEW BEST:: SOT 12973946 SOS 6081657 HAS SOPS 6076769 HAS SOUS 1614105 HAS SOUPS 1609570 WITH SCORE 1615651.657
AT ITER 130 NEW BEST:: SOT 12973956 SOS 6081667 HAS SOPS 6076779 HAS SOUS 1608699 HAS SOUPS 1604164 WITH SCORE 1610245.667
AT ITER 131 NEW BEST:: SOT 12988565 SOS 6119136 HAS SOPS 6113735 HAS SOUS 1606809 HAS SOUPS 1602117 WITH SCORE 1608236.136
AT ITER 140 NEW BEST:: SOT 12987114 SOS 6117685 HAS SOPS 6112284 HAS SOUS 1605670 HAS SOUPS 1600978 WITH SCORE 1607095.685
AT ITER 150 NEW BEST:: SOT 12988722 SOS 6119485 HAS SOPS 6114084 HAS SOUS 1605131 HAS SOUPS 1600439 WITH SCORE 1606558.485
AT ITER 157 NEW BEST:: SOT 12988218 SOS 6118477 HAS SOPS 6113076 HAS SOUS 1604627 HAS SOUPS 1599935 WITH SCORE 1606053.477
AT ITER 162 NEW BEST:: SOT 12988218 SOS 6116749 HAS SOPS 6111348 HAS SOUS 1604626 HAS SOUPS 1599934 WITH SCORE 1606050.749
AT ITER 164 NEW BEST:: SOT 12978689 SOS 6108866 HAS SOPS 6103465 HAS SOUS 1594476 HAS SOUPS 1589784 WITH SCORE 1595892.866
AT ITER 171 NEW BEST:: SOT 12977194 SOS 6107394 HAS SOPS 6101993 HAS SOUS 1593004 HAS SOUPS 1588312 WITH SCORE 1594419.394
AT ITER 172 NEW BEST:: SOT 12977204 SOS 6107404 HAS SOPS 6102003 HAS SOUS 1586477 HAS SOUPS 1581785 WITH SCORE 1587892.404
AT ITER 180 NEW BEST:: SOT 12977204 SOS 6107370 HAS SOPS 6101969 HAS SOUS 1586443 HAS SOUPS 1581751 WITH SCORE 1587858.37
AT ITER 184 NEW BEST:: SOT 12977334 SOS 6107461 HAS SOPS 6102099 HAS SOUS 1575993 HAS SOUPS 1571340 WITH SCORE 1577447.461
AT ITER 193 NEW BEST:: SOT 12972086 SOS 6102825 HAS SOPS 6097463 HAS SOUS 1569492 HAS SOUPS 1564839 WITH SCORE 1570941.825
AT ITER 196 NEW BEST:: SOT 12972015 SOS 6102754 HAS SOPS 6097392 HAS SOUS 1569421 HAS SOUPS 1564768 WITH SCORE 1570870.754
AT ITER 205 NEW BEST:: SOT 12972169 SOS 6102859 HAS SOPS 6097546 HAS SOUS 1564848 HAS SOUPS 1560244 WITH SCORE 1566346.859
AT ITER 211 NEW BEST:: SOT 12972158 SOS 6102848 HAS SOPS 6097535 HAS SOUS 1564837 HAS SOUPS 1560233 WITH SCORE 1566335.848
AT ITER 217 NEW BEST:: SOT 12972846 SOS 6102977 HAS SOPS 6097551 HAS SOUS 1562863 HAS SOUPS 1558259 WITH SCORE 1564361.977
AT ITER 221 NEW BEST:: SOT 12972466 SOS 6102803 HAS SOPS 6097377 HAS SOUS 1562229 HAS SOUPS 1557625 WITH SCORE 1563727.803
AT ITER 239 NEW BEST:: SOT 12972466 SOS 6089261 HAS SOPS 6083835 HAS SOUS 1562046 HAS SOUPS 1557442 WITH SCORE 1563531.261
AT ITER 240 NEW BEST:: SOT 12972439 SOS 6088880 HAS SOPS 6083509 HAS SOUS 1555714 HAS SOUPS 1551165 WITH SCORE 1557253.88
AT ITER 247 NEW BEST:: SOT 12980698 SOS 6116533 HAS SOPS 6110788 HAS SOUS 1547448 HAS SOUPS 1542764 WITH SCORE 1548880.533
AT ITER 253 NEW BEST:: SOT 12978304 SOS 6114350 HAS SOPS 6108605 HAS SOUS 1542823 HAS SOUPS 1538139 WITH SCORE 1544253.35
AT ITER 261 NEW BEST:: SOT 12970210 SOS 6106859 HAS SOPS 6101223 HAS SOUS 1535129 HAS SOUPS 1530445 WITH SCORE 1536551.859
AT ITER 267 NEW BEST:: SOT 12973968 SOS 6116844 HAS SOPS 6111271 HAS SOUS 1532899 HAS SOUPS 1528278 WITH SCORE 1534394.844
AT ITER 270 NEW BEST:: SOT 12972537 SOS 6115233 HAS SOPS 6109660 HAS SOUS 1531448 HAS SOUPS 1526827 WITH SCORE 1532942.233
AT ITER 276 NEW BEST:: SOT 12977937 SOS 6125675 HAS SOPS 6120169 HAS SOUS 1528568 HAS SOUPS 1524014 WITH SCORE 1530139.675
AT ITER 287 NEW BEST:: SOT 12977814 SOS 6125207 HAS SOPS 6119762 HAS SOUS 1525191 HAS SOUPS 1520698 WITH SCORE 1526823.207
AT ITER 299 NEW BEST:: SOT 12977814 SOS 6122687 HAS SOPS 6117242 HAS SOUS 1525191 HAS SOUPS 1520698 WITH SCORE 1526820.687
AT ITER 314 NEW BEST:: SOT 12980611 SOS 6125752 HAS SOPS 6120307 HAS SOUS 1523849 HAS SOUPS 1519356 WITH SCORE 1525481.752
AT ITER 316 NEW BEST:: SOT 12980611 SOS 6125600 HAS SOPS 6120155 HAS SOUS 1523773 HAS SOUPS 1519280 WITH SCORE 1525405.6
AT ITER 320 NEW BEST:: SOT 12984584 SOS 6129655 HAS SOPS 6124210 HAS SOUS 1523269 HAS SOUPS 1518776 WITH SCORE 1524905.655
AT ITER 333 NEW BEST:: SOT 12984584 SOS 6129655 HAS SOPS 6124210 HAS SOUS 1523162 HAS SOUPS 1518669 WITH SCORE 1524798.655
AT ITER 345 NEW BEST:: SOT 12984477 SOS 6129548 HAS SOPS 6124103 HAS SOUS 1522946 HAS SOUPS 1518453 WITH SCORE 1524582.548
AT ITER 346 NEW BEST:: SOT 12984477 SOS 6129548 HAS SOPS 6124103 HAS SOUS 1522940 HAS SOUPS 1518447 WITH SCORE 1524576.548
AT ITER 348 NEW BEST:: SOT 12984477 SOS 6129429 HAS SOPS 6124030 HAS SOUS 1516914 HAS SOUPS 1512467 WITH SCORE 1518596.429
AT ITER 352 NEW BEST:: SOT 12986265 SOS 6131217 HAS SOPS 6125818 HAS SOUS 1509176 HAS SOUPS 1504729 WITH SCORE 1510860.217
AT ITER 370 NEW BEST:: SOT 12987785 SOS 6134372 HAS SOPS 6129141 HAS SOUS 1505210 HAS SOUPS 1500931 WITH SCORE 1507065.372
AT ITER 373 NEW BEST:: SOT 12991463 SOS 6138204 HAS SOPS 6132973 HAS SOUS 1503231 HAS SOUPS 1498952 WITH SCORE 1505090.204
AT ITER 374 NEW BEST:: SOT 12987818 SOS 6135651 HAS SOPS 6130420 HAS SOUS 1487077 HAS SOUPS 1482798 WITH SCORE 1488933.651
AT ITER 378 NEW BEST:: SOT 12986041 SOS 6137448 HAS SOPS 6132459 HAS SOUS 1483861 HAS SOUPS 1479582 WITH SCORE 1485719.448
AT ITER 385 NEW BEST:: SOT 12934819 SOS 6086352 HAS SOPS 6081363 HAS SOUS 1431650 HAS SOUPS 1427371 WITH SCORE 1433457.352
AT ITER 388 NEW BEST:: SOT 12934779 SOS 6084832 HAS SOPS 6079843 HAS SOUS 1431590 HAS SOUPS 1427311 WITH SCORE 1433395.832
AT ITER 398 NEW BEST:: SOT 12933073 SOS 6083126 HAS SOPS 6078137 HAS SOUS 1429508 HAS SOUPS 1425229 WITH SCORE 1431312.126
AT ITER 408 NEW BEST:: SOT 12935044 SOS 6085143 HAS SOPS 6080160 HAS SOUS 1428548 HAS SOUPS 1424275 WITH SCORE 1430360.143
AT ITER 415 NEW BEST:: SOT 12934148 SOS 6084247 HAS SOPS 6079264 HAS SOUS 1426733 HAS SOUPS 1422460 WITH SCORE 1428544.247
AT ITER 432 NEW BEST:: SOT 12932752 SOS 6082851 HAS SOPS 6077868 HAS SOUS 1419587 HAS SOUPS 1415314 WITH SCORE 1421396.851
AT ITER 439 NEW BEST:: SOT 12933618 SOS 6083717 HAS SOPS 6078734 HAS SOUS 1416484 HAS SOUPS 1412211 WITH SCORE 1418294.717
AT ITER 441 NEW BEST:: SOT 12933618 SOS 6079901 HAS SOPS 6074918 HAS SOUS 1416484 HAS SOUPS 1412211 WITH SCORE 1418290.901
AT ITER 452 NEW BEST:: SOT 12843552 SOS 8338732 HAS SOPS 8334880 HAS SOUS 1328313 HAS SOUPS 1324786 WITH SCORE 1333124.732
AT ITER 460 NEW BEST:: SOT 12840730 SOS 8336042 HAS SOPS 8332190 HAS SOUS 1327326 HAS SOUPS 1323799 WITH SCORE 1332135.042
AT ITER 461 NEW BEST:: SOT 12850967 SOS 8346572 HAS SOPS 8342552 HAS SOUS 1324236 HAS SOUPS 1320625 WITH SCORE 1328971.572
AT ITER 464 NEW BEST:: SOT 12848371 SOS 8344210 HAS SOPS 8340190 HAS SOUS 1306453 HAS SOUPS 1302842 WITH SCORE 1311186.21
AT ITER 466 NEW BEST:: SOT 12848371 SOS 8344210 HAS SOPS 8340190 HAS SOUS 1306395 HAS SOUPS 1302784 WITH SCORE 1311128.21
AT ITER 468 NEW BEST:: SOT 12848371 SOS 8338522 HAS SOPS 8334502 HAS SOUS 1306395 HAS SOUPS 1302784 WITH SCORE 1311122.522
AT ITER 477 NEW BEST:: SOT 12848371 SOS 8336938 HAS SOPS 8332918 HAS SOUS 1306395 HAS SOUPS 1302784 WITH SCORE 1311120.938
AT ITER 483 NEW BEST:: SOT 12847403 SOS 8335970 HAS SOPS 8331950 HAS SOUS 1302944 HAS SOUPS 1299333 WITH SCORE 1307668.97
AT ITER 484 NEW BEST:: SOT 12847602 SOS 8336169 HAS SOPS 8332149 HAS SOUS 1300997 HAS SOUPS 1297386 WITH SCORE 1305722.169
AT ITER 485 NEW BEST:: SOT 12847792 SOS 7611561 HAS SOPS 7607541 HAS SOUS 1300997 HAS SOUPS 1297386 WITH SCORE 1304997.561
AT ITER 500 NEW BEST:: SOT 12853743 SOS 7617512 HAS SOPS 7613492 HAS SOUS 1299459 HAS SOUPS 1295848 WITH SCORE 1303465.512
AT ITER 551 NEW BEST:: SOT 12852157 SOS 7616270 HAS SOPS 7612250 HAS SOUS 1290332 HAS SOUPS 1286721 WITH SCORE 1294337.27
AT ITER 559 NEW BEST:: SOT 12852157 SOS 7619410 HAS SOPS 7615390 HAS SOUS 1289580 HAS SOUPS 1285969 WITH SCORE 1293588.41
AT ITER 565 NEW BEST:: SOT 12853194 SOS 7620507 HAS SOPS 7616467 HAS SOUS 1287948 HAS SOUPS 1284317 WITH SCORE 1291937.507
AT ITER 569 NEW BEST:: SOT 12848844 SOS 7618748 HAS SOPS 7614708 HAS SOUS 1284766 HAS SOUPS 1281135 WITH SCORE 1288753.748
AT ITER 577 NEW BEST:: SOT 12850667 SOS 7621841 HAS SOPS 7617855 HAS SOUS 1282795 HAS SOUPS 1279218 WITH SCORE 1286839.841
AT ITER 588 NEW BEST:: SOT 12856472 SOS 7627876 HAS SOPS 7623890 HAS SOUS 1275658 HAS SOUPS 1272081 WITH SCORE 1279708.876
AT ITER 590 NEW BEST:: SOT 12854571 SOS 7625975 HAS SOPS 7621989 HAS SOUS 1273265 HAS SOUPS 1269688 WITH SCORE 1277313.975
AT ITER 592 NEW BEST:: SOT 12853285 SOS 7624751 HAS SOPS 7620765 HAS SOUS 1268548 HAS SOUPS 1264971 WITH SCORE 1272595.751
AT ITER 594 NEW BEST:: SOT 12843137 SOS 7616094 HAS SOPS 7612108 HAS SOUS 1259539 HAS SOUPS 1255962 WITH SCORE 1263578.094
AT ITER 599 NEW BEST:: SOT 12843137 SOS 7614942 HAS SOPS 7610956 HAS SOUS 1259539 HAS SOUPS 1255962 WITH SCORE 1263576.942
AT ITER 603 NEW BEST:: SOT 12841388 SOS 7613206 HAS SOPS 7609220 HAS SOUS 1256125 HAS SOUPS 1252548 WITH SCORE 1260161.206
AT ITER 621 NEW BEST:: SOT 12841403 SOS 7613222 HAS SOPS 7609236 HAS SOUS 1256106 HAS SOUPS 1252529 WITH SCORE 1260142.222
AT ITER 632 NEW BEST:: SOT 12842233 SOS 7614052 HAS SOPS 7610066 HAS SOUS 1255136 HAS SOUPS 1251559 WITH SCORE 1259173.052
AT ITER 635 NEW BEST:: SOT 12841898 SOS 7614029 HAS SOPS 7610043 HAS SOUS 1254612 HAS SOUPS 1251035 WITH SCORE 1258649.029
AT ITER 644 NEW BEST:: SOT 12840485 SOS 7612616 HAS SOPS 7608630 HAS SOUS 1253160 HAS SOUPS 1249583 WITH SCORE 1257195.616
AT ITER 650 NEW BEST:: SOT 12838896 SOS 7611239 HAS SOPS 7607253 HAS SOUS 1238745 HAS SOUPS 1235168 WITH SCORE 1242779.239
AT ITER 655 NEW BEST:: SOT 12832912 SOS 7607405 HAS SOPS 7603419 HAS SOUS 1235564 HAS SOUPS 1231987 WITH SCORE 1239594.405
AT ITER 658 NEW BEST:: SOT 12838243 SOS 7618489 HAS SOPS 7614510 HAS SOUS 1233033 HAS SOUPS 1229463 WITH SCORE 1237081.489
AT ITER 665 NEW BEST:: SOT 12833799 SOS 7614308 HAS SOPS 7610329 HAS SOUS 1229652 HAS SOUPS 1226082 WITH SCORE 1233696.308
AT ITER 667 NEW BEST:: SOT 12833823 SOS 7614332 HAS SOPS 7610353 HAS SOUS 1229505 HAS SOUPS 1225935 WITH SCORE 1233549.332
AT ITER 696 NEW BEST:: SOT 12833344 SOS 7613947 HAS SOPS 7609968 HAS SOUS 1218679 HAS SOUPS 1215109 WITH SCORE 1222722.947
AT ITER 698 NEW BEST:: SOT 12834583 SOS 7615219 HAS SOPS 7611240 HAS SOUS 1217093 HAS SOUPS 1213523 WITH SCORE 1221138.219
AT ITER 721 NEW BEST:: SOT 12834899 SOS 7615535 HAS SOPS 7611556 HAS SOUS 1216727 HAS SOUPS 1213157 WITH SCORE 1220772.535
AT ITER 729 NEW BEST:: SOT 12836536 SOS 7618913 HAS SOPS 7614177 HAS SOUS 1216626 HAS SOUPS 1212735 WITH SCORE 1220353.913
AT ITER 733 NEW BEST:: SOT 12839192 SOS 7622069 HAS SOPS 7617433 HAS SOUS 1213592 HAS SOUPS 1209801 WITH SCORE 1217423.069
AT ITER 737 NEW BEST:: SOT 12840467 SOS 7623513 HAS SOPS 7618877 HAS SOUS 1204901 HAS SOUPS 1201110 WITH SCORE 1208733.513
AT ITER 745 NEW BEST:: SOT 12844757 SOS 7628167 HAS SOPS 7623531 HAS SOUS 1203172 HAS SOUPS 1199381 WITH SCORE 1207009.167
AT ITER 768 NEW BEST:: SOT 12844721 SOS 7628095 HAS SOPS 7623459 HAS SOUS 1203118 HAS SOUPS 1199327 WITH SCORE 1206955.095
AT ITER 769 NEW BEST:: SOT 12841181 SOS 7624528 HAS SOPS 7619678 HAS SOUS 1195733 HAS SOUPS 1191942 WITH SCORE 1199566.528
AT ITER 787 NEW BEST:: SOT 12839352 SOS 7622699 HAS SOPS 7617849 HAS SOUS 1191925 HAS SOUPS 1188134 WITH SCORE 1195756.699
AT ITER 804 NEW BEST:: SOT 12836760 SOS 7621691 HAS SOPS 7616841 HAS SOUS 1191223 HAS SOUPS 1187432 WITH SCORE 1195053.691
AT ITER 812 NEW BEST:: SOT 12836666 SOS 7621597 HAS SOPS 7616747 HAS SOUS 1191129 HAS SOUPS 1187338 WITH SCORE 1194959.597
AT ITER 837 NEW BEST:: SOT 12838863 SOS 7623868 HAS SOPS 7619018 HAS SOUS 1191077 HAS SOUPS 1187286 WITH SCORE 1194909.868
AT ITER 838 NEW BEST:: SOT 12834429 SOS 7620846 HAS SOPS 7616184 HAS SOUS 1189484 HAS SOUPS 1185693 WITH SCORE 1193313.846
AT ITER 840 NEW BEST:: SOT 12837819 SOS 7624356 HAS SOPS 7619694 HAS SOUS 1188643 HAS SOUPS 1184852 WITH SCORE 1192476.356
AT ITER 848 NEW BEST:: SOT 12842363 SOS 7628900 HAS SOPS 7624238 HAS SOUS 1186725 HAS SOUPS 1182934 WITH SCORE 1190562.9
AT ITER 850 NEW BEST:: SOT 12842363 SOS 7630364 HAS SOPS 7625702 HAS SOUS 1186627 HAS SOUPS 1182836 WITH SCORE 1190466.364
AT ITER 853 NEW BEST:: SOT 12842376 SOS 7616036 HAS SOPS 7611374 HAS SOUS 1186627 HAS SOUPS 1182836 WITH SCORE 1190452.036
AT ITER 883 NEW BEST:: SOT 12840754 SOS 7614414 HAS SOPS 7609752 HAS SOUS 1183403 HAS SOUPS 1179612 WITH SCORE 1187226.414
AT ITER 884 NEW BEST:: SOT 12849885 SOS 7631802 HAS SOPS 7627163 HAS SOUS 1181539 HAS SOUPS 1177771 WITH SCORE 1185402.802
AT ITER 891 NEW BEST:: SOT 12850884 SOS 7644151 HAS SOPS 7640231 HAS SOUS 1167949 HAS SOUPS 1164787 WITH SCORE 1172431.151
AT ITER 915 NEW BEST:: SOT 12850294 SOS 7643593 HAS SOPS 7639705 HAS SOUS 1165963 HAS SOUPS 1162801 WITH SCORE 1170444.593
AT ITER 920 NEW BEST:: SOT 12849123 SOS 5845553 HAS SOPS 5841803 HAS SOUS 1166208 HAS SOUPS 1163023 WITH SCORE 1168868.553
AT ITER 925 NEW BEST:: SOT 12847784 SOS 5844214 HAS SOPS 5840464 HAS SOUS 1165784 HAS SOUPS 1162599 WITH SCORE 1168443.214
AT ITER 929 NEW BEST:: SOT 12847784 SOS 5844188 HAS SOPS 5840438 HAS SOUS 1165758 HAS SOUPS 1162573 WITH SCORE 1168417.188
AT ITER 930 NEW BEST:: SOT 12838324 SOS 5836118 HAS SOPS 5832368 HAS SOUS 1154934 HAS SOUPS 1151749 WITH SCORE 1157585.118
AT ITER 945 NEW BEST:: SOT 12843179 SOS 5840976 HAS SOPS 5837263 HAS SOUS 1152903 HAS SOUPS 1149755 WITH SCORE 1155595.976
AT ITER 959 NEW BEST:: SOT 12841280 SOS 5838840 HAS SOPS 5835178 HAS SOUS 1145158 HAS SOUPS 1142061 WITH SCORE 1147899.84
AT ITER 960 NEW BEST:: SOT 12842697 SOS 5840257 HAS SOPS 5836595 HAS SOUS 1140998 HAS SOUPS 1137901 WITH SCORE 1143741.257
AT ITER 970 NEW BEST:: SOT 12838686 SOS 5837744 HAS SOPS 5834082 HAS SOUS 1138688 HAS SOUPS 1135591 WITH SCORE 1141428.744
AT ITER 973 NEW BEST:: SOT 12837055 SOS 5836113 HAS SOPS 5832451 HAS SOUS 1130916 HAS SOUPS 1127819 WITH SCORE 1133655.113
AT ITER 982 NEW BEST:: SOT 12837215 SOS 5836273 HAS SOPS 5832611 HAS SOUS 1130458 HAS SOUPS 1127361 WITH SCORE 1133197.273
AT ITER 983 NEW BEST:: SOT 12837215 SOS 5836273 HAS SOPS 5832611 HAS SOUS 1130433 HAS SOUPS 1127336 WITH SCORE 1133172.273
AT ITER 990 NEW BEST:: SOT 12840397 SOS 5839941 HAS SOPS 5836279 HAS SOUS 1124067 HAS SOUPS 1120970 WITH SCORE 1126809.941
AT ITER 997 NEW BEST:: SOT 12838276 SOS 5837820 HAS SOPS 5834158 HAS SOUS 1120071 HAS SOUPS 1116974 WITH SCORE 1122811.82
AT ITER 1008 NEW BEST:: SOT 12836566 SOS 5829278 HAS SOPS 5824931 HAS SOUS 1118294 HAS SOUPS 1114648 WITH SCORE 1120477.278
AT ITER 1009 NEW BEST:: SOT 12835330 SOS 5827714 HAS SOPS 5823422 HAS SOUS 1112124 HAS SOUPS 1108533 WITH SCORE 1114360.714
AT ITER 1010 NEW BEST:: SOT 12834827 SOS 5827317 HAS SOPS 5823055 HAS SOUS 1103621 HAS SOUPS 1100060 WITH SCORE 1105887.317
AT ITER 1011 NEW BEST:: SOT 12834820 SOS 5827310 HAS SOPS 5823048 HAS SOUS 1103516 HAS SOUPS 1099955 WITH SCORE 1105782.31
AT ITER 1032 NEW BEST:: SOT 12836371 SOS 5831813 HAS SOPS 5827733 HAS SOUS 1100156 HAS SOUPS 1096777 WITH SCORE 1102608.813
AT ITER 1046 NEW BEST:: SOT 12838185 SOS 5835425 HAS SOPS 5831347 HAS SOUS 1099353 HAS SOUPS 1095976 WITH SCORE 1101811.425
AT ITER 1050 NEW BEST:: SOT 12843540 SOS 5840780 HAS SOPS 5836702 HAS SOUS 1097900 HAS SOUPS 1094523 WITH SCORE 1100363.78
AT ITER 1060 NEW BEST:: SOT 12844220 SOS 5841460 HAS SOPS 5837382 HAS SOUS 1096961 HAS SOUPS 1093584 WITH SCORE 1099425.46
AT ITER 1072 NEW BEST:: SOT 12852819 SOS 5857101 HAS SOPS 5853037 HAS SOUS 1096273 HAS SOUPS 1092910 WITH SCORE 1098767.101
AT ITER 1083 NEW BEST:: SOT 12850301 SOS 5854583 HAS SOPS 5850519 HAS SOUS 1094428 HAS SOUPS 1091065 WITH SCORE 1096919.583
AT ITER 1099 NEW BEST:: SOT 12857369 SOS 5867550 HAS SOPS 5863491 HAS SOUS 1092873 HAS SOUPS 1089515 WITH SCORE 1095382.55
AT ITER 1100 NEW BEST:: SOT 12856390 SOS 5862610 HAS SOPS 5858663 HAS SOUS 1090660 HAS SOUPS 1087391 WITH SCORE 1093253.61
AT ITER 1103 NEW BEST:: SOT 12850535 SOS 5858653 HAS SOPS 5854706 HAS SOUS 1083933 HAS SOUPS 1080664 WITH SCORE 1086522.653
AT ITER 1110 NEW BEST:: SOT 12850535 SOS 5858653 HAS SOPS 5854706 HAS SOUS 1083880 HAS SOUPS 1080611 WITH SCORE 1086469.653
AT ITER 1112 NEW BEST:: SOT 12850531 SOS 5858649 HAS SOPS 5854702 HAS SOUS 1083776 HAS SOUPS 1080507 WITH SCORE 1086365.649
AT ITER 1124 NEW BEST:: SOT 12850531 SOS 5860062 HAS SOPS 5856115 HAS SOUS 1083723 HAS SOUPS 1080454 WITH SCORE 1086314.062
AT ITER 1125 NEW BEST:: SOT 12854312 SOS 5863996 HAS SOPS 5860049 HAS SOUS 1077736 HAS SOUPS 1074467 WITH SCORE 1080330.996
AT ITER 1138 NEW BEST:: SOT 12854312 SOS 5863996 HAS SOPS 5860049 HAS SOUS 1077711 HAS SOUPS 1074442 WITH SCORE 1080305.996
AT ITER 1146 NEW BEST:: SOT 12855454 SOS 5865096 HAS SOPS 5861149 HAS SOUS 1070428 HAS SOUPS 1067159 WITH SCORE 1073024.096
AT ITER 1178 NEW BEST:: SOT 12855454 SOS 5865096 HAS SOPS 5861149 HAS SOUS 1070423 HAS SOUPS 1067154 WITH SCORE 1073019.096
AT ITER 1191 NEW BEST:: SOT 12847546 SOS 5859595 HAS SOPS 5855761 HAS SOUS 1060695 HAS SOUPS 1057426 WITH SCORE 1063285.595
AT ITER 1193 NEW BEST:: SOT 12847546 SOS 5859595 HAS SOPS 5855761 HAS SOUS 1060641 HAS SOUPS 1057372 WITH SCORE 1063231.595
AT ITER 1197 NEW BEST:: SOT 12847546 SOS 5859369 HAS SOPS 5855535 HAS SOUS 1060528 HAS SOUPS 1057259 WITH SCORE 1063118.369
AT ITER 1224 NEW BEST:: SOT 12847000 SOS 5859591 HAS SOPS 5855757 HAS SOUS 1059432 HAS SOUPS 1056163 WITH SCORE 1062022.591
AT ITER 1231 NEW BEST:: SOT 12846787 SOS 5859378 HAS SOPS 5855544 HAS SOUS 1058974 HAS SOUPS 1055705 WITH SCORE 1061564.378
AT ITER 1235 NEW BEST:: SOT 12848767 SOS 5861358 HAS SOPS 5857524 HAS SOUS 1054721 HAS SOUPS 1051452 WITH SCORE 1057313.358
AT ITER 1239 NEW BEST:: SOT 12848718 SOS 5861309 HAS SOPS 5857475 HAS SOUS 1054683 HAS SOUPS 1051414 WITH SCORE 1057275.309
AT ITER 1241 NEW BEST:: SOT 12852095 SOS 5861564 HAS SOPS 5857932 HAS SOUS 1049627 HAS SOUPS 1046358 WITH SCORE 1052219.564
AT ITER 1252 NEW BEST:: SOT 12848051 SOS 5852584 HAS SOPS 5848952 HAS SOUS 1046015 HAS SOUPS 1042746 WITH SCORE 1048598.584
AT ITER 1256 NEW BEST:: SOT 12848026 SOS 5852559 HAS SOPS 5848927 HAS SOUS 1045953 HAS SOUPS 1042684 WITH SCORE 1048536.559
AT ITER 1263 NEW BEST:: SOT 12847970 SOS 5852503 HAS SOPS 5848871 HAS SOUS 1045838 HAS SOUPS 1042569 WITH SCORE 1048421.503
AT ITER 1271 NEW BEST:: SOT 12847266 SOS 5851029 HAS SOPS 5847397 HAS SOUS 1045134 HAS SOUPS 1041865 WITH SCORE 1047716.029
AT ITER 1280 NEW BEST:: SOT 12844288 SOS 5848051 HAS SOPS 5844419 HAS SOUS 1041266 HAS SOUPS 1037997 WITH SCORE 1043845.051
AT ITER 1289 NEW BEST:: SOT 12844339 SOS 5848102 HAS SOPS 5844470 HAS SOUS 1041192 HAS SOUPS 1037923 WITH SCORE 1043771.102
AT ITER 1294 NEW BEST:: SOT 12864770 SOS 5877864 HAS SOPS 5874232 HAS SOUS 1040910 HAS SOUPS 1037641 WITH SCORE 1043518.864
AT ITER 1297 NEW BEST:: SOT 12864591 SOS 5877685 HAS SOPS 5874053 HAS SOUS 1040534 HAS SOUPS 1037265 WITH SCORE 1043142.685
AT ITER 1300 NEW BEST:: SOT 12862358 SOS 5875419 HAS SOPS 5871787 HAS SOUS 1038642 HAS SOUPS 1035373 WITH SCORE 1041248.419
AT ITER 1302 NEW BEST:: SOT 12862342 SOS 5875403 HAS SOPS 5871771 HAS SOUS 1038626 HAS SOUPS 1035357 WITH SCORE 1041232.403
AT ITER 1308 NEW BEST:: SOT 12861873 SOS 5874934 HAS SOPS 5871302 HAS SOUS 1035965 HAS SOUPS 1032696 WITH SCORE 1038570.934
AT ITER 1315 NEW BEST:: SOT 12861864 SOS 5874925 HAS SOPS 5871293 HAS SOUS 1035953 HAS SOUPS 1032684 WITH SCORE 1038558.925
AT ITER 1318 NEW BEST:: SOT 12859508 SOS 5872569 HAS SOPS 5868937 HAS SOUS 1028891 HAS SOUPS 1025622 WITH SCORE 1031494.569
AT ITER 1330 NEW BEST:: SOT 12859479 SOS 5872540 HAS SOPS 5868908 HAS SOUS 1028862 HAS SOUPS 1025593 WITH SCORE 1031465.54
AT ITER 1341 NEW BEST:: SOT 12866572 SOS 5884961 HAS SOPS 5881329 HAS SOUS 1028804 HAS SOUPS 1025535 WITH SCORE 1031419.961
AT ITER 1352 NEW BEST:: SOT 12865828 SOS 5884300 HAS SOPS 5880668 HAS SOUS 1026510 HAS SOUPS 1023241 WITH SCORE 1029125.3
AT ITER 1359 NEW BEST:: SOT 12861776 SOS 5880248 HAS SOPS 5876616 HAS SOUS 1023859 HAS SOUPS 1020590 WITH SCORE 1026470.248
AT ITER 1360 NEW BEST:: SOT 12861471 SOS 5879943 HAS SOPS 5876311 HAS SOUS 1021344 HAS SOUPS 1018075 WITH SCORE 1023954.943
AT ITER 1370 NEW BEST:: SOT 12859469 SOS 5877179 HAS SOPS 5873722 HAS SOUS 1010629 HAS SOUPS 1007444 WITH SCORE 1013321.179
AT ITER 1372 NEW BEST:: SOT 12859469 SOS 5876659 HAS SOPS 5873202 HAS SOUS 1010589 HAS SOUPS 1007404 WITH SCORE 1013280.659
AT ITER 1394 NEW BEST:: SOT 12859608 SOS 5876940 HAS SOPS 5873555 HAS SOUS 1010205 HAS SOUPS 1007092 WITH SCORE 1012968.94
AT ITER 1398 NEW BEST:: SOT 12859338 SOS 5876719 HAS SOPS 5873334 HAS SOUS 1009767 HAS SOUPS 1006654 WITH SCORE 1012530.719
AT ITER 1402 NEW BEST:: SOT 12855877 SOS 5866562 HAS SOPS 5863177 HAS SOUS 1006813 HAS SOUPS 1003700 WITH SCORE 1009566.562
AT ITER 1419 NEW BEST:: SOT 12855877 SOS 5866312 HAS SOPS 5862927 HAS SOUS 1006688 HAS SOUPS 1003575 WITH SCORE 1009441.312
AT ITER 1435 NEW BEST:: SOT 12852748 SOS 5863183 HAS SOPS 5859798 HAS SOUS 1003098 HAS SOUPS 999985 WITH SCORE 1005848.183
AT ITER 1445 NEW BEST:: SOT 12849695 SOS 5860130 HAS SOPS 5856745 HAS SOUS 997136 HAS SOUPS 994023 WITH SCORE 999883.13
AT ITER 1450 NEW BEST:: SOT 12856294 SOS 5871250 HAS SOPS 5867930 HAS SOUS 994777 HAS SOUPS 991664 WITH SCORE 997535.25
AT ITER 1454 NEW BEST:: SOT 12857866 SOS 5873050 HAS SOPS 5869730 HAS SOUS 990533 HAS SOUPS 987420 WITH SCORE 993293.05
AT ITER 1455 NEW BEST:: SOT 12859295 SOS 5881247 HAS SOPS 5877927 HAS SOUS 989966 HAS SOUPS 986853 WITH SCORE 992734.247
AT ITER 1457 NEW BEST:: SOT 12859262 SOS 5881214 HAS SOPS 5877894 HAS SOUS 989966 HAS SOUPS 986853 WITH SCORE 992734.214
AT ITER 1464 NEW BEST:: SOT 12859262 SOS 5881214 HAS SOPS 5877894 HAS SOUS 989934 HAS SOUPS 986821 WITH SCORE 992702.214
AT ITER 1469 NEW BEST:: SOT 12859036 SOS 5880988 HAS SOPS 5877668 HAS SOUS 989394 HAS SOUPS 986281 WITH SCORE 992161.988
AT ITER 1472 NEW BEST:: SOT 12864415 SOS 5887489 HAS SOPS 5884169 HAS SOUS 987620 HAS SOUPS 984507 WITH SCORE 990394.489
AT ITER 1475 NEW BEST:: SOT 12863923 SOS 5887553 HAS SOPS 5884233 HAS SOUS 986887 HAS SOUPS 983774 WITH SCORE 989661.553
AT ITER 1480 NEW BEST:: SOT 12863723 SOS 5887615 HAS SOPS 5884299 HAS SOUS 984862 HAS SOUPS 981753 WITH SCORE 987640.615
AT ITER 1486 NEW BEST:: SOT 12863723 SOS 5887615 HAS SOPS 5884299 HAS SOUS 984848 HAS SOUPS 981739 WITH SCORE 987626.615
AT ITER 1490 NEW BEST:: SOT 12862351 SOS 5886243 HAS SOPS 5882927 HAS SOUS 984459 HAS SOUPS 981350 WITH SCORE 987236.243
AT ITER 1497 NEW BEST:: SOT 12865610 SOS 5889502 HAS SOPS 5886186 HAS SOUS 984222 HAS SOUPS 981113 WITH SCORE 987002.502
AT ITER 1506 NEW BEST:: SOT 12860359 SOS 5883462 HAS SOPS 5880146 HAS SOUS 977471 HAS SOUPS 974362 WITH SCORE 980245.462
AT ITER 1520 NEW BEST:: SOT 12859439 SOS 5882513 HAS SOPS 5879197 HAS SOUS 971358 HAS SOUPS 968249 WITH SCORE 974131.513
AT ITER 1532 NEW BEST:: SOT 12862034 SOS 5893007 HAS SOPS 5890129 HAS SOUS 969000 HAS SOUPS 966254 WITH SCORE 972147.007
AT ITER 1535 NEW BEST:: SOT 12860258 SOS 5891231 HAS SOPS 5888353 HAS SOUS 965386 HAS SOUPS 962640 WITH SCORE 968531.231
AT ITER 1540 NEW BEST:: SOT 12861842 SOS 5892815 HAS SOPS 5889937 HAS SOUS 963400 HAS SOUPS 960654 WITH SCORE 966546.815
AT ITER 1543 NEW BEST:: SOT 12861899 SOS 5892872 HAS SOPS 5889994 HAS SOUS 963294 HAS SOUPS 960548 WITH SCORE 966440.872
AT ITER 1547 NEW BEST:: SOT 12861744 SOS 5892717 HAS SOPS 5889839 HAS SOUS 962843 HAS SOUPS 960097 WITH SCORE 965989.717
AT ITER 1560 NEW BEST:: SOT 12861744 SOS 5892205 HAS SOPS 5889327 HAS SOUS 962715 HAS SOUPS 959969 WITH SCORE 965861.205
AT ITER 1564 NEW BEST:: SOT 12860505 SOS 5890966 HAS SOPS 5888088 HAS SOUS 961476 HAS SOUPS 958730 WITH SCORE 964620.966
AT ITER 1568 NEW BEST:: SOT 12859568 SOS 5890029 HAS SOPS 5887151 HAS SOUS 959492 HAS SOUPS 956746 WITH SCORE 962636.029
AT ITER 1575 NEW BEST:: SOT 12859568 SOS 5889919 HAS SOPS 5887041 HAS SOUS 959437 HAS SOUPS 956691 WITH SCORE 962580.919
AT ITER 1577 NEW BEST:: SOT 12859519 SOS 5889870 HAS SOPS 5886992 HAS SOUS 959141 HAS SOUPS 956395 WITH SCORE 962284.87
AT ITER 1584 NEW BEST:: SOT 12859341 SOS 5889812 HAS SOPS 5886934 HAS SOUS 948303 HAS SOUPS 945557 WITH SCORE 951446.812
AT ITER 1585 NEW BEST:: SOT 12859341 SOS 5889812 HAS SOPS 5886934 HAS SOUS 948302 HAS SOUPS 945556 WITH SCORE 951445.812
AT ITER 1591 NEW BEST:: SOT 12858903 SOS 5891535 HAS SOPS 5888657 HAS SOUS 947926 HAS SOUPS 945180 WITH SCORE 951071.535
AT ITER 1601 NEW BEST:: SOT 12858358 SOS 5890794 HAS SOPS 5887916 HAS SOUS 946799 HAS SOUPS 944053 WITH SCORE 949943.794
AT ITER 1603 NEW BEST:: SOT 12858358 SOS 5890766 HAS SOPS 5887888 HAS SOUS 946785 HAS SOUPS 944039 WITH SCORE 949929.766
AT ITER 1620 NEW BEST:: SOT 12859452 SOS 5903020 HAS SOPS 5900142 HAS SOUS 941765 HAS SOUPS 939019 WITH SCORE 944922.02
AT ITER 1622 NEW BEST:: SOT 12861392 SOS 5904960 HAS SOPS 5902082 HAS SOUS 940858 HAS SOUPS 938112 WITH SCORE 944016.96
AT ITER 1633 NEW BEST:: SOT 12857868 SOS 5901436 HAS SOPS 5898558 HAS SOUS 938419 HAS SOUPS 935673 WITH SCORE 941574.436
AT ITER 1649 NEW BEST:: SOT 12859894 SOS 5907005 HAS SOPS 5904297 HAS SOUS 938161 HAS SOUPS 935585 WITH SCORE 941492.005
AT ITER 1655 NEW BEST:: SOT 12860693 SOS 5907804 HAS SOPS 5905096 HAS SOUS 931370 HAS SOUPS 928794 WITH SCORE 934701.804
AT ITER 1657 NEW BEST:: SOT 12860697 SOS 5907814 HAS SOPS 5905106 HAS SOUS 931252 HAS SOUPS 928676 WITH SCORE 934583.814
AT ITER 1667 NEW BEST:: SOT 12855061 SOS 5902178 HAS SOPS 5899470 HAS SOUS 925793 HAS SOUPS 923217 WITH SCORE 929119.178
AT ITER 1690 NEW BEST:: SOT 12854742 SOS 5901859 HAS SOPS 5899151 HAS SOUS 925260 HAS SOUPS 922684 WITH SCORE 928585.859
AT ITER 1691 NEW BEST:: SOT 12854917 SOS 5902034 HAS SOPS 5899326 HAS SOUS 925209 HAS SOUPS 922633 WITH SCORE 928535.034
AT ITER 1704 NEW BEST:: SOT 12857791 SOS 5916062 HAS SOPS 5913354 HAS SOUS 923139 HAS SOUPS 920563 WITH SCORE 926479.062
AT ITER 1729 NEW BEST:: SOT 12856226 SOS 5914497 HAS SOPS 5911789 HAS SOUS 920035 HAS SOUPS 917459 WITH SCORE 923373.497
AT ITER 1730 NEW BEST:: SOT 12853655 SOS 5911937 HAS SOPS 5909227 HAS SOUS 914992 HAS SOUPS 912414 WITH SCORE 918325.937
AT ITER 1731 NEW BEST:: SOT 12852129 SOS 5910393 HAS SOPS 5907683 HAS SOUS 913777 HAS SOUPS 911199 WITH SCORE 917109.393
AT ITER 1736 NEW BEST:: SOT 12852124 SOS 5910388 HAS SOPS 5907678 HAS SOUS 913777 HAS SOUPS 911199 WITH SCORE 917109.388
AT ITER 1738 NEW BEST:: SOT 12852981 SOS 5911245 HAS SOPS 5908535 HAS SOUS 912374 HAS SOUPS 909796 WITH SCORE 915707.245
AT ITER 1747 NEW BEST:: SOT 12851887 SOS 5910151 HAS SOPS 5907441 HAS SOUS 906382 HAS SOUPS 903804 WITH SCORE 909714.151
AT ITER 1752 NEW BEST:: SOT 12851887 SOS 5908715 HAS SOPS 5906005 HAS SOUS 906360 HAS SOUPS 903782 WITH SCORE 909690.715
AT ITER 1757 NEW BEST:: SOT 12851510 SOS 5909104 HAS SOPS 5906426 HAS SOUS 902039 HAS SOUPS 899493 WITH SCORE 905402.104
AT ITER 1773 NEW BEST:: SOT 12850077 SOS 5907671 HAS SOPS 5904993 HAS SOUS 901454 HAS SOUPS 898908 WITH SCORE 904815.671
AT ITER 1787 NEW BEST:: SOT 12850482 SOS 5908019 HAS SOPS 5905398 HAS SOUS 893643 HAS SOUPS 891154 WITH SCORE 897062.019
AT ITER 1789 NEW BEST:: SOT 12850959 SOS 5908504 HAS SOPS 5905883 HAS SOUS 893565 HAS SOUPS 891076 WITH SCORE 896984.504
AT ITER 1803 NEW BEST:: SOT 12848103 SOS 5906975 HAS SOPS 5904354 HAS SOUS 892027 HAS SOUPS 889538 WITH SCORE 895444.975
AT ITER 1812 NEW BEST:: SOT 12848106 SOS 5906978 HAS SOPS 5904357 HAS SOUS 891936 HAS SOUPS 889447 WITH SCORE 895353.978
AT ITER 1814 NEW BEST:: SOT 12848820 SOS 5907764 HAS SOPS 5905143 HAS SOUS 889602 HAS SOUPS 887113 WITH SCORE 893020.764
AT ITER 1833 NEW BEST:: SOT 12848689 SOS 5907618 HAS SOPS 5904997 HAS SOUS 881411 HAS SOUPS 878922 WITH SCORE 884829.618
AT ITER 1834 NEW BEST:: SOT 12853991 SOS 5913556 HAS SOPS 5910935 HAS SOUS 880186 HAS SOUPS 877697 WITH SCORE 883610.556
AT ITER 1839 NEW BEST:: SOT 12853991 SOS 5913556 HAS SOPS 5910935 HAS SOUS 880180 HAS SOUPS 877691 WITH SCORE 883604.556
AT ITER 1852 NEW BEST:: SOT 12853991 SOS 5913438 HAS SOPS 5910817 HAS SOUS 880121 HAS SOUPS 877632 WITH SCORE 883545.438
AT ITER 1866 NEW BEST:: SOT 12853991 SOS 5915749 HAS SOPS 5913384 HAS SOUS 879202 HAS SOUPS 876912 WITH SCORE 882827.749
AT ITER 1888 NEW BEST:: SOT 12851434 SOS 5913192 HAS SOPS 5910827 HAS SOUS 876907 HAS SOUPS 874617 WITH SCORE 880530.192
AT ITER 1890 NEW BEST:: SOT 12846503 SOS 5907624 HAS SOPS 5905259 HAS SOUS 873758 HAS SOUPS 871468 WITH SCORE 877375.624
AT ITER 1915 NEW BEST:: SOT 12846503 SOS 5909892 HAS SOPS 5907527 HAS SOUS 873712 HAS SOUPS 871422 WITH SCORE 877331.892
AT ITER 1965 NEW BEST:: SOT 12847317 SOS 5910706 HAS SOPS 5908341 HAS SOUS 873411 HAS SOUPS 871121 WITH SCORE 877031.706
AT ITER 1999 NEW BEST:: SOT 12848839 SOS 5918780 HAS SOPS 5916415 HAS SOUS 873389 HAS SOUPS 871099 WITH SCORE 877017.78
AT ITER 2001 NEW BEST:: SOT 12845578 SOS 5907677 HAS SOPS 5905312 HAS SOUS 870463 HAS SOUPS 868173 WITH SCORE 874080.677
AT ITER 2013 NEW BEST:: SOT 12845578 SOS 5907676 HAS SOPS 5905311 HAS SOUS 870432 HAS SOUPS 868142 WITH SCORE 874049.676
AT ITER 2019 NEW BEST:: SOT 12845578 SOS 5907702 HAS SOPS 5905311 HAS SOUS 870429 HAS SOUPS 868113 WITH SCORE 874020.702
AT ITER 2023 NEW BEST:: SOT 12838725 SOS 5900849 HAS SOPS 5898458 HAS SOUS 865781 HAS SOUPS 863465 WITH SCORE 869365.849
AT ITER 2037 NEW BEST:: SOT 12837494 SOS 5898538 HAS SOPS 5896042 HAS SOUS 865353 HAS SOUPS 862932 WITH SCORE 868830.538
AT ITER 2073 NEW BEST:: SOT 12836895 SOS 5897921 HAS SOPS 5895425 HAS SOUS 864101 HAS SOUPS 861680 WITH SCORE 867577.921
AT ITER 2122 NEW BEST:: SOT 12836895 SOS 5897811 HAS SOPS 5895315 HAS SOUS 864101 HAS SOUPS 861680 WITH SCORE 867577.811
AT ITER 2131 NEW BEST:: SOT 12835076 SOS 5895992 HAS SOPS 5893496 HAS SOUS 860508 HAS SOUPS 858087 WITH SCORE 863982.992
AT ITER 2138 NEW BEST:: SOT 12833996 SOS 5894912 HAS SOPS 5892416 HAS SOUS 858379 HAS SOUPS 855958 WITH SCORE 861852.912
AT ITER 2145 NEW BEST:: SOT 12833996 SOS 5894912 HAS SOPS 5892416 HAS SOUS 858377 HAS SOUPS 855956 WITH SCORE 861850.912
AT ITER 2157 NEW BEST:: SOT 12833996 SOS 5894791 HAS SOPS 5892295 HAS SOUS 858256 HAS SOUPS 855835 WITH SCORE 861729.791
AT ITER 2160 NEW BEST:: SOT 12834337 SOS 5894874 HAS SOPS 5892416 HAS SOUS 857483 HAS SOUPS 855100 WITH SCORE 860994.874
AT ITER 2187 NEW BEST:: SOT 12838221 SOS 5898627 HAS SOPS 5896169 HAS SOUS 857169 HAS SOUPS 854786 WITH SCORE 860684.627
AT ITER 2189 NEW BEST:: SOT 12836878 SOS 5897284 HAS SOPS 5894826 HAS SOUS 854294 HAS SOUPS 851911 WITH SCORE 857808.284
AT ITER 2193 NEW BEST:: SOT 12834847 SOS 5895412 HAS SOPS 5892920 HAS SOUS 849892 HAS SOUPS 847475 WITH SCORE 853370.412
AT ITER 2199 NEW BEST:: SOT 12834847 SOS 5895164 HAS SOPS 5892672 HAS SOUS 849883 HAS SOUPS 847466 WITH SCORE 853361.164
AT ITER 2206 NEW BEST:: SOT 12834546 SOS 5894863 HAS SOPS 5892371 HAS SOUS 849779 HAS SOUPS 847362 WITH SCORE 853256.863
AT ITER 2229 NEW BEST:: SOT 12843240 SOS 5910898 HAS SOPS 5908409 HAS SOUS 847764 HAS SOUPS 845350 WITH SCORE 851260.898
AT ITER 2242 NEW BEST:: SOT 12843232 SOS 5914778 HAS SOPS 5912289 HAS SOUS 847754 HAS SOUPS 845340 WITH SCORE 851254.778
AT ITER 2312 NEW BEST:: SOT 12843232 SOS 5916938 HAS SOPS 5914449 HAS SOUS 847437 HAS SOUPS 845023 WITH SCORE 850939.938
AT ITER 2316 NEW BEST:: SOT 12839538 SOS 5913244 HAS SOPS 5910755 HAS SOUS 841964 HAS SOUPS 839550 WITH SCORE 845463.244
AT ITER 2321 NEW BEST:: SOT 12840736 SOS 5914442 HAS SOPS 5911953 HAS SOUS 841874 HAS SOUPS 839460 WITH SCORE 845374.442
AT ITER 2323 NEW BEST:: SOT 12839832 SOS 5908338 HAS SOPS 5905849 HAS SOUS 839525 HAS SOUPS 837111 WITH SCORE 843019.338
AT ITER 2324 NEW BEST:: SOT 12837400 SOS 5905906 HAS SOPS 5903417 HAS SOUS 837825 HAS SOUPS 835411 WITH SCORE 841316.906
AT ITER 2329 NEW BEST:: SOT 12840365 SOS 5908862 HAS SOPS 5906373 HAS SOUS 835645 HAS SOUPS 833231 WITH SCORE 839139.862
AT ITER 2345 NEW BEST:: SOT 12839209 SOS 5907706 HAS SOPS 5905217 HAS SOUS 833291 HAS SOUPS 830877 WITH SCORE 836784.706
AT ITER 2390 NEW BEST:: SOT 12839153 SOS 5907650 HAS SOPS 5905161 HAS SOUS 833235 HAS SOUPS 830821 WITH SCORE 836728.65
AT ITER 2398 NEW BEST:: SOT 12847787 SOS 5916527 HAS SOPS 5914038 HAS SOUS 832152 HAS SOUPS 829738 WITH SCORE 835654.527
AT ITER 2402 NEW BEST:: SOT 12837324 SOS 5904931 HAS SOPS 5902411 HAS SOUS 831665 HAS SOUPS 829220 WITH SCORE 835124.931
AT ITER 2409 NEW BEST:: SOT 12836689 SOS 5904296 HAS SOPS 5901776 HAS SOUS 830828 HAS SOUPS 828383 WITH SCORE 834287.296
AT ITER 2413 NEW BEST:: SOT 12842294 SOS 5909901 HAS SOPS 5907381 HAS SOUS 828688 HAS SOUPS 826243 WITH SCORE 832152.901
AT ITER 2454 NEW BEST:: SOT 12846194 SOS 5913888 HAS SOPS 5911368 HAS SOUS 826639 HAS SOUPS 824194 WITH SCORE 830107.888
AT ITER 2469 NEW BEST:: SOT 12847467 SOS 5915161 HAS SOPS 5912641 HAS SOUS 825013 HAS SOUPS 822568 WITH SCORE 828483.161
AT ITER 2471 NEW BEST:: SOT 12846447 SOS 5914141 HAS SOPS 5911621 HAS SOUS 822625 HAS SOUPS 820180 WITH SCORE 826094.141
AT ITER 2484 NEW BEST:: SOT 12848845 SOS 5916539 HAS SOPS 5914019 HAS SOUS 821754 HAS SOUPS 819309 WITH SCORE 825225.539
AT ITER 2500 NEW BEST:: SOT 12849114 SOS 5916808 HAS SOPS 5914288 HAS SOUS 817571 HAS SOUPS 815126 WITH SCORE 821042.808
AT ITER 2524 NEW BEST:: SOT 12848093 SOS 5915787 HAS SOPS 5913267 HAS SOUS 814414 HAS SOUPS 811969 WITH SCORE 817884.787
AT ITER 2532 NEW BEST:: SOT 12850688 SOS 5918349 HAS SOPS 5915829 HAS SOUS 813316 HAS SOUPS 810871 WITH SCORE 816789.349
AT ITER 2541 NEW BEST:: SOT 12854683 SOS 5924053 HAS SOPS 5921564 HAS SOUS 810104 HAS SOUPS 807690 WITH SCORE 813614.053
AT ITER 2548 NEW BEST:: SOT 12856844 SOS 5926214 HAS SOPS 5923725 HAS SOUS 808841 HAS SOUPS 806427 WITH SCORE 812353.214
AT ITER 2565 NEW BEST:: SOT 12852831 SOS 5922201 HAS SOPS 5919712 HAS SOUS 808479 HAS SOUPS 806065 WITH SCORE 811987.201
AT ITER 2594 NEW BEST:: SOT 12853016 SOS 5922386 HAS SOPS 5919897 HAS SOUS 807754 HAS SOUPS 805340 WITH SCORE 811262.386
AT ITER 2616 NEW BEST:: SOT 12853016 SOS 5922386 HAS SOPS 5919897 HAS SOUS 807712 HAS SOUPS 805298 WITH SCORE 811220.386
AT ITER 2628 NEW BEST:: SOT 12853016 SOS 5922162 HAS SOPS 5919673 HAS SOUS 807712 HAS SOUPS 805298 WITH SCORE 811220.162
AT ITER 2693 NEW BEST:: SOT 12851667 SOS 5918297 HAS SOPS 5915808 HAS SOUS 807143 HAS SOUPS 804729 WITH SCORE 810647.297
AT ITER 2718 NEW BEST:: SOT 12851661 SOS 5918349 HAS SOPS 5915860 HAS SOUS 807077 HAS SOUPS 804663 WITH SCORE 810581.349
AT ITER 2727 NEW BEST:: SOT 12853818 SOS 5920506 HAS SOPS 5918017 HAS SOUS 805640 HAS SOUPS 803226 WITH SCORE 809146.506
AT ITER 2774 NEW BEST:: SOT 12853818 SOS 5919326 HAS SOPS 5916837 HAS SOUS 805444 HAS SOUPS 803030 WITH SCORE 808949.326
AT ITER 2783 NEW BEST:: SOT 12853727 SOS 5919235 HAS SOPS 5916746 HAS SOUS 804273 HAS SOUPS 801859 WITH SCORE 807778.235
AT ITER 2804 NEW BEST:: SOT 12849006 SOS 5914514 HAS SOPS 5912025 HAS SOUS 799318 HAS SOUPS 796904 WITH SCORE 802818.514
AT ITER 2812 NEW BEST:: SOT 12847207 SOS 5912631 HAS SOPS 5910142 HAS SOUS 797673 HAS SOUPS 795259 WITH SCORE 801171.631
AT ITER 2814 NEW BEST:: SOT 12840907 SOS 5906331 HAS SOPS 5903842 HAS SOUS 795195 HAS SOUPS 792781 WITH SCORE 798687.331
AT ITER 2832 NEW BEST:: SOT 12842458 SOS 5908044 HAS SOPS 5905555 HAS SOUS 794891 HAS SOUPS 792477 WITH SCORE 798385.044
AT ITER 2834 NEW BEST:: SOT 12841520 SOS 5907106 HAS SOPS 5904617 HAS SOUS 792985 HAS SOUPS 790571 WITH SCORE 796478.106
AT ITER 2866 NEW BEST:: SOT 12841520 SOS 5907106 HAS SOPS 5904617 HAS SOUS 792967 HAS SOUPS 790553 WITH SCORE 796460.106
AT ITER 2869 NEW BEST:: SOT 12837650 SOS 5903236 HAS SOPS 5900747 HAS SOUS 789509 HAS SOUPS 787095 WITH SCORE 792998.236
AT ITER 2871 NEW BEST:: SOT 12836846 SOS 5902432 HAS SOPS 5899943 HAS SOUS 788886 HAS SOUPS 786472 WITH SCORE 792374.432
AT ITER 2894 NEW BEST:: SOT 12836846 SOS 5902396 HAS SOPS 5899907 HAS SOUS 788868 HAS SOUPS 786454 WITH SCORE 792356.396
AT ITER 2899 NEW BEST:: SOT 12840987 SOS 5906537 HAS SOPS 5904048 HAS SOUS 788853 HAS SOUPS 786439 WITH SCORE 792345.537
AT ITER 2917 NEW BEST:: SOT 12840987 SOS 5906388 HAS SOPS 5903899 HAS SOUS 787111 HAS SOUPS 784697 WITH SCORE 790603.388
AT ITER 2920 NEW BEST:: SOT 12841062 SOS 5906463 HAS SOPS 5903974 HAS SOUS 786345 HAS SOUPS 783931 WITH SCORE 789837.463
AT ITER 2922 NEW BEST:: SOT 12842531 SOS 5907932 HAS SOPS 5905443 HAS SOUS 785295 HAS SOUPS 782881 WITH SCORE 788788.932
AT ITER 2924 NEW BEST:: SOT 12842173 SOS 5909589 HAS SOPS 5907124 HAS SOUS 783576 HAS SOUPS 781186 WITH SCORE 787095.589
AT ITER 2964 NEW BEST:: SOT 12841410 SOS 5908826 HAS SOPS 5906361 HAS SOUS 783198 HAS SOUPS 780808 WITH SCORE 786716.826
AT ITER 2977 NEW BEST:: SOT 12841162 SOS 5908578 HAS SOPS 5906113 HAS SOUS 781730 HAS SOUPS 779340 WITH SCORE 785248.578
AT ITER 2979 NEW BEST:: SOT 12840947 SOS 5908363 HAS SOPS 5905898 HAS SOUS 781293 HAS SOUPS 778903 WITH SCORE 784811.363
AT ITER 3027 NEW BEST:: SOT 12840642 SOS 5908114 HAS SOPS 5905649 HAS SOUS 780726 HAS SOUPS 778336 WITH SCORE 784244.114
AT ITER 3030 NEW BEST:: SOT 12840642 SOS 5920173 HAS SOPS 5917708 HAS SOUS 780485 HAS SOUPS 778095 WITH SCORE 784015.173
AT ITER 3036 NEW BEST:: SOT 12835718 SOS 5915249 HAS SOPS 5912784 HAS SOUS 777214 HAS SOUPS 774824 WITH SCORE 780739.249
AT ITER 3059 NEW BEST:: SOT 12835542 SOS 5915073 HAS SOPS 5912608 HAS SOUS 776862 HAS SOUPS 774472 WITH SCORE 780387.073
AT ITER 3099 NEW BEST:: SOT 12835419 SOS 5914950 HAS SOPS 5912485 HAS SOUS 776563 HAS SOUPS 774173 WITH SCORE 780087.95
AT ITER 3129 NEW BEST:: SOT 12834133 SOS 5913664 HAS SOPS 5911199 HAS SOUS 773998 HAS SOUPS 771608 WITH SCORE 777521.664
AT ITER 3141 NEW BEST:: SOT 12834332 SOS 5913863 HAS SOPS 5911398 HAS SOUS 770906 HAS SOUPS 768516 WITH SCORE 774429.863
AT ITER 3144 NEW BEST:: SOT 12834332 SOS 5910335 HAS SOPS 5907870 HAS SOUS 770822 HAS SOUPS 768432 WITH SCORE 774342.335
AT ITER 3150 NEW BEST:: SOT 12833740 SOS 5909743 HAS SOPS 5907278 HAS SOUS 770117 HAS SOUPS 767727 WITH SCORE 773636.743
AT ITER 3159 NEW BEST:: SOT 12833740 SOS 5909743 HAS SOPS 5907278 HAS SOUS 770108 HAS SOUPS 767718 WITH SCORE 773627.743
AT ITER 3189 NEW BEST:: SOT 12833740 SOS 5909613 HAS SOPS 5907148 HAS SOUS 770043 HAS SOUPS 767653 WITH SCORE 773562.613
AT ITER 3217 NEW BEST:: SOT 12841286 SOS 5917159 HAS SOPS 5914694 HAS SOUS 764618 HAS SOUPS 762228 WITH SCORE 768145.159
AT ITER 3240 NEW BEST:: SOT 12840887 SOS 5916760 HAS SOPS 5914295 HAS SOUS 762568 HAS SOUPS 760178 WITH SCORE 766094.76
AT ITER 3264 NEW BEST:: SOT 12841048 SOS 5916812 HAS SOPS 5914367 HAS SOUS 762482 HAS SOUPS 760112 WITH SCORE 766028.812
AT ITER 3298 NEW BEST:: SOT 12840860 SOS 5916592 HAS SOPS 5914147 HAS SOUS 762267 HAS SOUPS 759897 WITH SCORE 765813.592
AT ITER 3305 NEW BEST:: SOT 12839804 SOS 5915536 HAS SOPS 5913091 HAS SOUS 761447 HAS SOUPS 759077 WITH SCORE 764992.536
AT ITER 3307 NEW BEST:: SOT 12839648 SOS 5915380 HAS SOPS 5912935 HAS SOUS 761221 HAS SOUPS 758851 WITH SCORE 764766.38
AT ITER 3334 NEW BEST:: SOT 12839648 SOS 5913696 HAS SOPS 5911251 HAS SOUS 761191 HAS SOUPS 758821 WITH SCORE 764734.696
AT ITER 3339 NEW BEST:: SOT 12832128 SOS 5906144 HAS SOPS 5903699 HAS SOUS 760844 HAS SOUPS 758474 WITH SCORE 764380.144
AT ITER 3351 NEW BEST:: SOT 12830788 SOS 5904804 HAS SOPS 5902359 HAS SOUS 758136 HAS SOUPS 755766 WITH SCORE 761670.804
AT ITER 3364 NEW BEST:: SOT 12830788 SOS 5904692 HAS SOPS 5902247 HAS SOUS 758080 HAS SOUPS 755710 WITH SCORE 761614.692
AT ITER 3371 NEW BEST:: SOT 12830788 SOS 5904692 HAS SOPS 5902247 HAS SOUS 758074 HAS SOUPS 755704 WITH SCORE 761608.692
AT ITER 3372 NEW BEST:: SOT 12830788 SOS 5904684 HAS SOPS 5902239 HAS SOUS 758066 HAS SOUPS 755696 WITH SCORE 761600.684
AT ITER 3381 NEW BEST:: SOT 12830522 SOS 5904418 HAS SOPS 5901973 HAS SOUS 757945 HAS SOUPS 755575 WITH SCORE 761479.418
AT ITER 3384 NEW BEST:: SOT 12830448 SOS 5904344 HAS SOPS 5901899 HAS SOUS 757831 HAS SOUPS 755461 WITH SCORE 761365.344
AT ITER 3415 NEW BEST:: SOT 12830448 SOS 5904280 HAS SOPS 5901835 HAS SOUS 757799 HAS SOUPS 755429 WITH SCORE 761333.28
AT ITER 3417 NEW BEST:: SOT 12836761 SOS 5910657 HAS SOPS 5908212 HAS SOUS 756940 HAS SOUPS 754570 WITH SCORE 760480.657
AT ITER 3425 NEW BEST:: SOT 12836720 SOS 5911078 HAS SOPS 5908655 HAS SOUS 755285 HAS SOUPS 752937 WITH SCORE 758848.078
AT ITER 3432 NEW BEST:: SOT 12836486 SOS 5910842 HAS SOPS 5908419 HAS SOUS 755126 HAS SOUPS 752778 WITH SCORE 758688.842
AT ITER 3439 NEW BEST:: SOT 12838525 SOS 5912481 HAS SOPS 5910108 HAS SOUS 754481 HAS SOUPS 752183 WITH SCORE 758095.481
AT ITER 3444 NEW BEST:: SOT 12835481 SOS 5909437 HAS SOPS 5907064 HAS SOUS 753715 HAS SOUPS 751417 WITH SCORE 757326.437
AT ITER 3447 NEW BEST:: SOT 12835944 SOS 5909996 HAS SOPS 5907623 HAS SOUS 753666 HAS SOUPS 751368 WITH SCORE 757277.996
AT ITER 3449 NEW BEST:: SOT 12835818 SOS 5909870 HAS SOPS 5907497 HAS SOUS 753503 HAS SOUPS 751205 WITH SCORE 757114.87
AT ITER 3481 NEW BEST:: SOT 12835818 SOS 5909870 HAS SOPS 5907497 HAS SOUS 753458 HAS SOUPS 751160 WITH SCORE 757069.87
AT ITER 3507 NEW BEST:: SOT 12835818 SOS 5909740 HAS SOPS 5907367 HAS SOUS 753448 HAS SOUPS 751150 WITH SCORE 757059.74
AT ITER 3511 NEW BEST:: SOT 12835818 SOS 5909740 HAS SOPS 5907367 HAS SOUS 753411 HAS SOUPS 751113 WITH SCORE 757022.74
AT ITER 3523 NEW BEST:: SOT 12831000 SOS 5904863 HAS SOPS 5902490 HAS SOUS 752282 HAS SOUPS 749984 WITH SCORE 755888.863
AT ITER 3536 NEW BEST:: SOT 12830910 SOS 5904773 HAS SOPS 5902400 HAS SOUS 752192 HAS SOUPS 749894 WITH SCORE 755798.773
AT ITER 3538 NEW BEST:: SOT 12830673 SOS 5904536 HAS SOPS 5902163 HAS SOUS 752103 HAS SOUPS 749805 WITH SCORE 755709.536
AT ITER 3556 NEW BEST:: SOT 12829473 SOS 5903323 HAS SOPS 5900950 HAS SOUS 750890 HAS SOUPS 748592 WITH SCORE 754495.323
AT ITER 3579 NEW BEST:: SOT 12829595 SOS 5900897 HAS SOPS 5898683 HAS SOUS 748877 HAS SOUPS 746663 WITH SCORE 752563.897
AT ITER 3592 NEW BEST:: SOT 12825253 SOS 5896555 HAS SOPS 5894341 HAS SOUS 746354 HAS SOUPS 744140 WITH SCORE 750036.555
AT ITER 3619 NEW BEST:: SOT 12825210 SOS 5896622 HAS SOPS 5894408 HAS SOUS 745728 HAS SOUPS 743514 WITH SCORE 749410.622
AT ITER 3627 NEW BEST:: SOT 12824106 SOS 5896390 HAS SOPS 5894176 HAS SOUS 745548 HAS SOUPS 743334 WITH SCORE 749230.39
AT ITER 3641 NEW BEST:: SOT 12824075 SOS 5896359 HAS SOPS 5894145 HAS SOUS 745517 HAS SOUPS 743303 WITH SCORE 749199.359
AT ITER 3663 NEW BEST:: SOT 12824336 SOS 5895710 HAS SOPS 5893612 HAS SOUS 744277 HAS SOUPS 742179 WITH SCORE 748074.71
AT ITER 3679 NEW BEST:: SOT 12824892 SOS 5896266 HAS SOPS 5894168 HAS SOUS 743694 HAS SOUPS 741596 WITH SCORE 747492.266
AT ITER 3683 NEW BEST:: SOT 12826683 SOS 5898057 HAS SOPS 5895959 HAS SOUS 742460 HAS SOUPS 740362 WITH SCORE 746260.057
AT ITER 3693 NEW BEST:: SOT 12826666 SOS 5898040 HAS SOPS 5895942 HAS SOUS 742443 HAS SOUPS 740345 WITH SCORE 746243.04
AT ITER 3694 NEW BEST:: SOT 12829770 SOS 5901144 HAS SOPS 5899046 HAS SOUS 740716 HAS SOUPS 738618 WITH SCORE 744519.144
AT ITER 3707 NEW BEST:: SOT 12830363 SOS 5903517 HAS SOPS 5901704 HAS SOUS 739399 HAS SOUPS 737586 WITH SCORE 743489.517
AT ITER 3715 NEW BEST:: SOT 12830304 SOS 5903458 HAS SOPS 5901645 HAS SOUS 739320 HAS SOUPS 737507 WITH SCORE 743410.458
AT ITER 3717 NEW BEST:: SOT 12829797 SOS 5902951 HAS SOPS 5901138 HAS SOUS 739232 HAS SOUPS 737419 WITH SCORE 743321.951
AT ITER 3777 NEW BEST:: SOT 12829797 SOS 5902838 HAS SOPS 5901025 HAS SOUS 739119 HAS SOUPS 737306 WITH SCORE 743208.838
AT ITER 3782 NEW BEST:: SOT 12829797 SOS 5902776 HAS SOPS 5900963 HAS SOUS 739088 HAS SOUPS 737275 WITH SCORE 743177.776
AT ITER 3789 NEW BEST:: SOT 12829797 SOS 5902763 HAS SOPS 5900950 HAS SOUS 739087 HAS SOUPS 737274 WITH SCORE 743176.763
AT ITER 3791 NEW BEST:: SOT 12834823 SOS 5913962 HAS SOPS 5912168 HAS SOUS 733513 HAS SOUPS 731719 WITH SCORE 737632.962
AT ITER 3798 NEW BEST:: SOT 12834692 SOS 5913831 HAS SOPS 5912037 HAS SOUS 733208 HAS SOUPS 731414 WITH SCORE 737327.831
AT ITER 3815 NEW BEST:: SOT 12834692 SOS 5913539 HAS SOPS 5911745 HAS SOUS 733062 HAS SOUPS 731268 WITH SCORE 737181.539
AT ITER 3843 NEW BEST:: SOT 12830076 SOS 5907957 HAS SOPS 5906163 HAS SOUS 731120 HAS SOUPS 729326 WITH SCORE 735233.957
AT ITER 3845 NEW BEST:: SOT 12830076 SOS 5907957 HAS SOPS 5906163 HAS SOUS 731102 HAS SOUPS 729308 WITH SCORE 735215.957
AT ITER 3912 NEW BEST:: SOT 12836532 SOS 5920458 HAS SOPS 5918687 HAS SOUS 730165 HAS SOUPS 728394 WITH SCORE 734314.458
AT ITER 3940 NEW BEST:: SOT 12833610 SOS 5917536 HAS SOPS 5915765 HAS SOUS 724444 HAS SOUPS 722673 WITH SCORE 728590.536
AT ITER 3945 NEW BEST:: SOT 12833610 SOS 5917341 HAS SOPS 5915570 HAS SOUS 724429 HAS SOUPS 722658 WITH SCORE 728575.341
AT ITER 3953 NEW BEST:: SOT 12833610 SOS 5917305 HAS SOPS 5915534 HAS SOUS 724393 HAS SOUPS 722622 WITH SCORE 728539.305
AT ITER 3977 NEW BEST:: SOT 12835648 SOS 5919343 HAS SOPS 5917572 HAS SOUS 718447 HAS SOUPS 716676 WITH SCORE 722595.343
AT ITER 4001 NEW BEST:: SOT 12836178 SOS 5919873 HAS SOPS 5918102 HAS SOUS 718102 HAS SOUPS 716331 WITH SCORE 722250.873
AT ITER 4044 NEW BEST:: SOT 12836164 SOS 5919859 HAS SOPS 5918088 HAS SOUS 718073 HAS SOUPS 716302 WITH SCORE 722221.859
AT ITER 4068 NEW BEST:: SOT 12836803 SOS 5924323 HAS SOPS 5922552 HAS SOUS 715713 HAS SOUPS 713942 WITH SCORE 719866.323
AT ITER 4075 NEW BEST:: SOT 12836803 SOS 5932675 HAS SOPS 5930904 HAS SOUS 715670 HAS SOUPS 713899 WITH SCORE 719831.675
AT ITER 4078 NEW BEST:: SOT 12836790 SOS 5932662 HAS SOPS 5930891 HAS SOUS 715670 HAS SOUPS 713899 WITH SCORE 719831.662
AT ITER 4089 NEW BEST:: SOT 12837870 SOS 5934582 HAS SOPS 5932851 HAS SOUS 715522 HAS SOUPS 713791 WITH SCORE 719725.582
AT ITER 4098 NEW BEST:: SOT 12837790 SOS 5934502 HAS SOPS 5932771 HAS SOUS 715362 HAS SOUPS 713631 WITH SCORE 719565.502
AT ITER 4129 NEW BEST:: SOT 12839157 SOS 5935869 HAS SOPS 5934138 HAS SOUS 713530 HAS SOUPS 711799 WITH SCORE 717734.869
AT ITER 4138 NEW BEST:: SOT 12839157 SOS 5935869 HAS SOPS 5934138 HAS SOUS 713528 HAS SOUPS 711797 WITH SCORE 717732.869
AT ITER 4177 NEW BEST:: SOT 12837851 SOS 5934563 HAS SOPS 5932832 HAS SOUS 712031 HAS SOUPS 710300 WITH SCORE 716234.563
AT ITER 4185 NEW BEST:: SOT 12836743 SOS 5930865 HAS SOPS 5929134 HAS SOUS 711909 HAS SOUPS 710178 WITH SCORE 716108.865
AT ITER 4199 NEW BEST:: SOT 12837152 SOS 5931274 HAS SOPS 5929543 HAS SOUS 709610 HAS SOUPS 707879 WITH SCORE 713810.274
AT ITER 4220 NEW BEST:: SOT 12836012 SOS 5930134 HAS SOPS 5928403 HAS SOUS 707829 HAS SOUPS 706098 WITH SCORE 712028.134
AT ITER 4223 NEW BEST:: SOT 12836041 SOS 5930163 HAS SOPS 5928432 HAS SOUS 707768 HAS SOUPS 706037 WITH SCORE 711967.163
AT ITER 4231 NEW BEST:: SOT 12836041 SOS 5930163 HAS SOPS 5928432 HAS SOUS 707740 HAS SOUPS 706009 WITH SCORE 711939.163
AT ITER 4233 NEW BEST:: SOT 12835602 SOS 5929724 HAS SOPS 5927993 HAS SOUS 707521 HAS SOUPS 705790 WITH SCORE 711719.724
AT ITER 4236 NEW BEST:: SOT 12835602 SOS 5929580 HAS SOPS 5927849 HAS SOUS 707521 HAS SOUPS 705790 WITH SCORE 711719.58
AT ITER 4255 NEW BEST:: SOT 12836118 SOS 5930096 HAS SOPS 5928365 HAS SOUS 706591 HAS SOUPS 704860 WITH SCORE 710790.096
AT ITER 4343 NEW BEST:: SOT 12836074 SOS 5927324 HAS SOPS 5925593 HAS SOUS 706591 HAS SOUPS 704860 WITH SCORE 710787.324
AT ITER 4350 NEW BEST:: SOT 12836541 SOS 5927809 HAS SOPS 5926078 HAS SOUS 706517 HAS SOUPS 704786 WITH SCORE 710713.809
AT ITER 4364 NEW BEST:: SOT 12837033 SOS 5928301 HAS SOPS 5926570 HAS SOUS 706175 HAS SOUPS 704444 WITH SCORE 710372.301
AT ITER 4419 NEW BEST:: SOT 12831587 SOS 5922855 HAS SOPS 5921124 HAS SOUS 704200 HAS SOUPS 702469 WITH SCORE 708391.855
AT ITER 4445 NEW BEST:: SOT 12831541 SOS 5922815 HAS SOPS 5921084 HAS SOUS 704160 HAS SOUPS 702429 WITH SCORE 708351.815
AT ITER 4486 NEW BEST:: SOT 12831272 SOS 5922546 HAS SOPS 5920815 HAS SOUS 703225 HAS SOUPS 701494 WITH SCORE 707416.546
AT ITER 4490 NEW BEST:: SOT 12830407 SOS 5920817 HAS SOPS 5919086 HAS SOUS 702634 HAS SOUPS 700903 WITH SCORE 706823.817
AT ITER 4502 NEW BEST:: SOT 12830492 SOS 5921070 HAS SOPS 5919347 HAS SOUS 702360 HAS SOUPS 700637 WITH SCORE 706558.07
AT ITER 4524 NEW BEST:: SOT 12830492 SOS 5920862 HAS SOPS 5919139 HAS SOUS 702344 HAS SOUPS 700621 WITH SCORE 706541.862
AT ITER 4527 NEW BEST:: SOT 12833133 SOS 5925216 HAS SOPS 5923562 HAS SOUS 701210 HAS SOUPS 699556 WITH SCORE 705481.216
AT ITER 4544 NEW BEST:: SOT 12830979 SOS 5923566 HAS SOPS 5921912 HAS SOUS 698683 HAS SOUPS 697029 WITH SCORE 702952.566
AT ITER 4555 NEW BEST:: SOT 12830964 SOS 5923551 HAS SOPS 5921897 HAS SOUS 698668 HAS SOUPS 697014 WITH SCORE 702937.551
AT ITER 4558 NEW BEST:: SOT 12830929 SOS 5923516 HAS SOPS 5921862 HAS SOUS 698662 HAS SOUPS 697008 WITH SCORE 702931.516
AT ITER 4579 NEW BEST:: SOT 12830929 SOS 5923500 HAS SOPS 5921846 HAS SOUS 698646 HAS SOUPS 696992 WITH SCORE 702915.5
AT ITER 4612 NEW BEST:: SOT 12827961 SOS 5920532 HAS SOPS 5918878 HAS SOUS 696767 HAS SOUPS 695113 WITH SCORE 701033.532
AT ITER 4619 NEW BEST:: SOT 12827961 SOS 5920532 HAS SOPS 5918878 HAS SOUS 696713 HAS SOUPS 695059 WITH SCORE 700979.532
AT ITER 4670 NEW BEST:: SOT 12827959 SOS 5920530 HAS SOPS 5918876 HAS SOUS 696711 HAS SOUPS 695057 WITH SCORE 700977.53
AT ITER 4683 NEW BEST:: SOT 12827959 SOS 5920458 HAS SOPS 5918804 HAS SOUS 696083 HAS SOUPS 694429 WITH SCORE 700349.458
AT ITER 4695 NEW BEST:: SOT 12827607 SOS 5920074 HAS SOPS 5918420 HAS SOUS 695699 HAS SOUPS 694045 WITH SCORE 699965.074
AT ITER 4703 NEW BEST:: SOT 12827646 SOS 5920113 HAS SOPS 5918459 HAS SOUS 695664 HAS SOUPS 694010 WITH SCORE 699930.113
AT ITER 4707 NEW BEST:: SOT 12826731 SOS 5918868 HAS SOPS 5917214 HAS SOUS 695662 HAS SOUPS 694008 WITH SCORE 699926.868
AT ITER 4718 NEW BEST:: SOT 12826726 SOS 5918863 HAS SOPS 5917209 HAS SOUS 695657 HAS SOUPS 694003 WITH SCORE 699921.863
AT ITER 4723 NEW BEST:: SOT 12828864 SOS 5930302 HAS SOPS 5928648 HAS SOUS 695275 HAS SOUPS 693621 WITH SCORE 699551.302
AT ITER 4736 NEW BEST:: SOT 12829595 SOS 5931033 HAS SOPS 5929379 HAS SOUS 694952 HAS SOUPS 693298 WITH SCORE 699229.033
AT ITER 4770 NEW BEST:: SOT 12830981 SOS 5932419 HAS SOPS 5930765 HAS SOUS 693781 HAS SOUPS 692127 WITH SCORE 698059.419
AT ITER 4771 NEW BEST:: SOT 12830544 SOS 5931991 HAS SOPS 5930328 HAS SOUS 693546 HAS SOUPS 691883 WITH SCORE 697814.991
AT ITER 4775 NEW BEST:: SOT 12830544 SOS 5931981 HAS SOPS 5930318 HAS SOUS 693546 HAS SOUPS 691883 WITH SCORE 697814.981
AT ITER 4787 NEW BEST:: SOT 12830544 SOS 5939262 HAS SOPS 5937599 HAS SOUS 693508 HAS SOUPS 691845 WITH SCORE 697784.262
AT ITER 4827 NEW BEST:: SOT 12830452 SOS 5939170 HAS SOPS 5937507 HAS SOUS 693452 HAS SOUPS 691789 WITH SCORE 697728.17
AT ITER 4828 NEW BEST:: SOT 12830452 SOS 5939130 HAS SOPS 5937467 HAS SOUS 693432 HAS SOUPS 691769 WITH SCORE 697708.13
AT ITER 4836 NEW BEST:: SOT 12828474 SOS 5937152 HAS SOPS 5935489 HAS SOUS 691532 HAS SOUPS 689869 WITH SCORE 695806.152
AT ITER 4841 NEW BEST:: SOT 12828474 SOS 5937068 HAS SOPS 5935405 HAS SOUS 691532 HAS SOUPS 689869 WITH SCORE 695806.068
AT ITER 4845 NEW BEST:: SOT 12815288 SOS 5920266 HAS SOPS 5918603 HAS SOUS 686289 HAS SOUPS 684626 WITH SCORE 690546.266
AT ITER 4846 NEW BEST:: SOT 12815288 SOS 5920264 HAS SOPS 5918601 HAS SOUS 686287 HAS SOUPS 684624 WITH SCORE 690544.264
AT ITER 4867 NEW BEST:: SOT 12813572 SOS 5918583 HAS SOPS 5916885 HAS SOUS 685374 HAS SOUPS 683676 WITH SCORE 689594.583
AT ITER 4912 NEW BEST:: SOT 12813901 SOS 5918912 HAS SOPS 5917214 HAS SOUS 684448 HAS SOUPS 682750 WITH SCORE 688668.912
AT ITER 4918 NEW BEST:: SOT 12813923 SOS 5918934 HAS SOPS 5917236 HAS SOUS 684344 HAS SOUPS 682646 WITH SCORE 688564.934
AT ITER 4922 NEW BEST:: SOT 12813852 SOS 5918863 HAS SOPS 5917165 HAS SOUS 684293 HAS SOUPS 682595 WITH SCORE 688513.863
AT ITER 4933 NEW BEST:: SOT 12813312 SOS 5918323 HAS SOPS 5916625 HAS SOUS 684253 HAS SOUPS 682555 WITH SCORE 688473.323
AT ITER 4972 NEW BEST:: SOT 12811217 SOS 5916300 HAS SOPS 5914602 HAS SOUS 684076 HAS SOUPS 682378 WITH SCORE 688294.3
AT ITER 5004 NEW BEST:: SOT 12811217 SOS 5916092 HAS SOPS 5914394 HAS SOUS 683868 HAS SOUPS 682170 WITH SCORE 688086.092
AT ITER 5023 NEW BEST:: SOT 12809751 SOS 5914626 HAS SOPS 5912928 HAS SOUS 683322 HAS SOUPS 681624 WITH SCORE 687538.626
AT ITER 5036 NEW BEST:: SOT 12806131 SOS 5911006 HAS SOPS 5909308 HAS SOUS 681574 HAS SOUPS 679876 WITH SCORE 685787.006
AT ITER 5041 NEW BEST:: SOT 12806220 SOS 5911095 HAS SOPS 5909397 HAS SOUS 681474 HAS SOUPS 679776 WITH SCORE 685687.095
AT ITER 5049 NEW BEST:: SOT 12805802 SOS 5910245 HAS SOPS 5908547 HAS SOUS 681050 HAS SOUPS 679352 WITH SCORE 685262.245
AT ITER 5070 NEW BEST:: SOT 12805802 SOS 5909662 HAS SOPS 5907964 HAS SOUS 681050 HAS SOUPS 679352 WITH SCORE 685261.662
AT ITER 5077 NEW BEST:: SOT 12805655 SOS 5909515 HAS SOPS 5907817 HAS SOUS 680961 HAS SOUPS 679263 WITH SCORE 685172.515
AT ITER 5079 NEW BEST:: SOT 12805655 SOS 5909515 HAS SOPS 5907817 HAS SOUS 680959 HAS SOUPS 679261 WITH SCORE 685170.515
AT ITER 5087 NEW BEST:: SOT 12799874 SOS 5561104 HAS SOPS 5559398 HAS SOUS 680072 HAS SOUPS 678366 WITH SCORE 683927.104
AT ITER 5096 NEW BEST:: SOT 12801394 SOS 5562624 HAS SOPS 5560918 HAS SOUS 677854 HAS SOUPS 676148 WITH SCORE 681710.624
AT ITER 5158 NEW BEST:: SOT 12801278 SOS 5562508 HAS SOPS 5560802 HAS SOUS 677705 HAS SOUPS 675999 WITH SCORE 681561.508
AT ITER 5167 NEW BEST:: SOT 12800444 SOS 5561674 HAS SOPS 5559968 HAS SOUS 676388 HAS SOUPS 674682 WITH SCORE 680243.674
AT ITER 5176 NEW BEST:: SOT 12800663 SOS 5561893 HAS SOPS 5560187 HAS SOUS 676061 HAS SOUPS 674355 WITH SCORE 679916.893
AT ITER 5178 NEW BEST:: SOT 12800663 SOS 5561903 HAS SOPS 5560187 HAS SOUS 676061 HAS SOUPS 674345 WITH SCORE 679906.903
AT ITER 5199 NEW BEST:: SOT 12803150 SOS 5564390 HAS SOPS 5562674 HAS SOUS 675174 HAS SOUPS 673458 WITH SCORE 679022.39
AT ITER 5214 NEW BEST:: SOT 12813728 SOS 5585616 HAS SOPS 5583900 HAS SOUS 673474 HAS SOUPS 671758 WITH SCORE 677343.616
AT ITER 5224 NEW BEST:: SOT 12817674 SOS 5606402 HAS SOPS 5604686 HAS SOUS 672163 HAS SOUPS 670447 WITH SCORE 676053.402
AT ITER 5233 NEW BEST:: SOT 12816647 SOS 5608848 HAS SOPS 5607132 HAS SOUS 671648 HAS SOUPS 669932 WITH SCORE 675540.848
AT ITER 5234 NEW BEST:: SOT 12816142 SOS 5608343 HAS SOPS 5606627 HAS SOUS 670623 HAS SOUPS 668907 WITH SCORE 674515.343
AT ITER 5245 NEW BEST:: SOT 12816136 SOS 5608409 HAS SOPS 5606693 HAS SOUS 670563 HAS SOUPS 668847 WITH SCORE 674455.409
AT ITER 5320 NEW BEST:: SOT 12816039 SOS 5608312 HAS SOPS 5606596 HAS SOUS 668659 HAS SOUPS 666943 WITH SCORE 672551.312
AT ITER 5328 NEW BEST:: SOT 12816008 SOS 5608281 HAS SOPS 5606565 HAS SOUS 668628 HAS SOUPS 666912 WITH SCORE 672520.281
AT ITER 5344 NEW BEST:: SOT 12815504 SOS 5607280 HAS SOPS 5605564 HAS SOUS 668124 HAS SOUPS 666408 WITH SCORE 672015.28
AT ITER 5362 NEW BEST:: SOT 12815493 SOS 5607269 HAS SOPS 5605553 HAS SOUS 668124 HAS SOUPS 666408 WITH SCORE 672015.269
AT ITER 5366 NEW BEST:: SOT 12814929 SOS 5606345 HAS SOPS 5604629 HAS SOUS 667865 HAS SOUPS 666149 WITH SCORE 671755.345
AT ITER 5387 NEW BEST:: SOT 12813875 SOS 5609087 HAS SOPS 5607371 HAS SOUS 662480 HAS SOUPS 660764 WITH SCORE 666373.087
AT ITER 5410 NEW BEST:: SOT 12813806 SOS 5609018 HAS SOPS 5607302 HAS SOUS 662455 HAS SOUPS 660739 WITH SCORE 666348.018
AT ITER 5417 NEW BEST:: SOT 12813806 SOS 5609403 HAS SOPS 5607687 HAS SOUS 661986 HAS SOUPS 660270 WITH SCORE 665879.403
AT ITER 5495 NEW BEST:: SOT 12813806 SOS 5609293 HAS SOPS 5607577 HAS SOUS 661986 HAS SOUPS 660270 WITH SCORE 665879.293
AT ITER 5501 NEW BEST:: SOT 12813618 SOS 5609105 HAS SOPS 5607389 HAS SOUS 657191 HAS SOUPS 655475 WITH SCORE 661084.105
AT ITER 5509 NEW BEST:: SOT 12812997 SOS 5605584 HAS SOPS 5603690 HAS SOUS 657170 HAS SOUPS 655276 WITH SCORE 660881.584
AT ITER 5523 NEW BEST:: SOT 12825886 SOS 5632289 HAS SOPS 5630395 HAS SOUS 654395 HAS SOUPS 652501 WITH SCORE 658133.289
AT ITER 5526 NEW BEST:: SOT 12827088 SOS 5633491 HAS SOPS 5631597 HAS SOUS 653619 HAS SOUPS 651725 WITH SCORE 657358.491
AT ITER 5571 NEW BEST:: SOT 12827952 SOS 5634355 HAS SOPS 5632461 HAS SOUS 653005 HAS SOUPS 651111 WITH SCORE 656745.355
AT ITER 5589 NEW BEST:: SOT 12827514 SOS 5633917 HAS SOPS 5632023 HAS SOUS 652736 HAS SOUPS 650842 WITH SCORE 656475.917
AT ITER 5593 NEW BEST:: SOT 12827508 SOS 5634331 HAS SOPS 5632437 HAS SOUS 652402 HAS SOUPS 650508 WITH SCORE 656142.331
AT ITER 5598 NEW BEST:: SOT 12827737 SOS 5634544 HAS SOPS 5632654 HAS SOUS 652170 HAS SOUPS 650280 WITH SCORE 655914.544
AT ITER 5638 NEW BEST:: SOT 12828512 SOS 5635319 HAS SOPS 5633429 HAS SOUS 650792 HAS SOUPS 648902 WITH SCORE 654537.319
AT ITER 5693 NEW BEST:: SOT 12828512 SOS 5635205 HAS SOPS 5633315 HAS SOUS 650702 HAS SOUPS 648812 WITH SCORE 654447.205
AT ITER 5703 NEW BEST:: SOT 12828461 SOS 5635027 HAS SOPS 5633160 HAS SOUS 650651 HAS SOUPS 648784 WITH SCORE 654419.027
AT ITER 5741 NEW BEST:: SOT 12825700 SOS 5632842 HAS SOPS 5630975 HAS SOUS 649467 HAS SOUPS 647600 WITH SCORE 653232.842
AT ITER 5763 NEW BEST:: SOT 12826070 SOS 5633356 HAS SOPS 5631489 HAS SOUS 649033 HAS SOUPS 647166 WITH SCORE 652799.356
AT ITER 5812 NEW BEST:: SOT 12821805 SOS 5625349 HAS SOPS 5623482 HAS SOUS 648265 HAS SOUPS 646398 WITH SCORE 652023.349
AT ITER 5824 NEW BEST:: SOT 12821927 SOS 5636053 HAS SOPS 5634186 HAS SOUS 645548 HAS SOUPS 643681 WITH SCORE 649317.053
AT ITER 5827 NEW BEST:: SOT 12819917 SOS 5633999 HAS SOPS 5632132 HAS SOUS 644136 HAS SOUPS 642269 WITH SCORE 647902.999
AT ITER 5830 NEW BEST:: SOT 12820061 SOS 5634143 HAS SOPS 5632276 HAS SOUS 643824 HAS SOUPS 641957 WITH SCORE 647591.143
AT ITER 5831 NEW BEST:: SOT 12817996 SOS 5630618 HAS SOPS 5628751 HAS SOUS 643713 HAS SOUPS 641846 WITH SCORE 647476.618
AT ITER 5865 NEW BEST:: SOT 12821627 SOS 5651593 HAS SOPS 5649726 HAS SOUS 641687 HAS SOUPS 639820 WITH SCORE 645471.593
AT ITER 5895 NEW BEST:: SOT 12821619 SOS 5651585 HAS SOPS 5649718 HAS SOUS 641687 HAS SOUPS 639820 WITH SCORE 645471.585
AT ITER 5922 NEW BEST:: SOT 12821619 SOS 5651585 HAS SOPS 5649718 HAS SOUS 641654 HAS SOUPS 639787 WITH SCORE 645438.585
AT ITER 6017 NEW BEST:: SOT 12827799 SOS 5657765 HAS SOPS 5655898 HAS SOUS 639043 HAS SOUPS 637176 WITH SCORE 642833.765
AT ITER 6024 NEW BEST:: SOT 12827799 SOS 5657765 HAS SOPS 5655898 HAS SOUS 638985 HAS SOUPS 637118 WITH SCORE 642775.765
AT ITER 6036 NEW BEST:: SOT 12829847 SOS 5659237 HAS SOPS 5657378 HAS SOUS 637795 HAS SOUPS 635936 WITH SCORE 641595.237
AT ITER 6045 NEW BEST:: SOT 12831877 SOS 5661258 HAS SOPS 5659408 HAS SOUS 635911 HAS SOUPS 634061 WITH SCORE 639722.258
AT ITER 6057 NEW BEST:: SOT 12831870 SOS 5661251 HAS SOPS 5659401 HAS SOUS 635904 HAS SOUPS 634054 WITH SCORE 639715.251
AT ITER 6061 NEW BEST:: SOT 12837105 SOS 5672174 HAS SOPS 5670324 HAS SOUS 635878 HAS SOUPS 634028 WITH SCORE 639700.174
AT ITER 6066 NEW BEST:: SOT 12835032 SOS 5669957 HAS SOPS 5668107 HAS SOUS 635209 HAS SOUPS 633359 WITH SCORE 639028.957
AT ITER 6072 NEW BEST:: SOT 12832657 SOS 5667582 HAS SOPS 5665732 HAS SOUS 634576 HAS SOUPS 632726 WITH SCORE 638393.582
AT ITER 6074 NEW BEST:: SOT 12832381 SOS 5667306 HAS SOPS 5665456 HAS SOUS 634222 HAS SOUPS 632372 WITH SCORE 638039.306
AT ITER 6078 NEW BEST:: SOT 12832994 SOS 5678791 HAS SOPS 5676941 HAS SOUS 632609 HAS SOUPS 630759 WITH SCORE 636437.791
AT ITER 6079 NEW BEST:: SOT 12832881 SOS 5690354 HAS SOPS 5688504 HAS SOUS 632348 HAS SOUPS 630498 WITH SCORE 636188.354
AT ITER 6110 NEW BEST:: SOT 12832746 SOS 5690219 HAS SOPS 5688369 HAS SOUS 632052 HAS SOUPS 630202 WITH SCORE 635892.219
AT ITER 6127 NEW BEST:: SOT 12836930 SOS 5694475 HAS SOPS 5692625 HAS SOUS 631715 HAS SOUPS 629865 WITH SCORE 635559.475
AT ITER 6134 NEW BEST:: SOT 12836930 SOS 5694441 HAS SOPS 5692591 HAS SOUS 631698 HAS SOUPS 629848 WITH SCORE 635542.441
AT ITER 6154 NEW BEST:: SOT 12836966 SOS 5694474 HAS SOPS 5692624 HAS SOUS 631655 HAS SOUPS 629805 WITH SCORE 635499.474
AT ITER 6155 NEW BEST:: SOT 12836966 SOS 5694445 HAS SOPS 5692595 HAS SOUS 631597 HAS SOUPS 629747 WITH SCORE 635441.445
AT ITER 6158 NEW BEST:: SOT 12834128 SOS 5691625 HAS SOPS 5689775 HAS SOUS 631116 HAS SOUPS 629266 WITH SCORE 634957.625
AT ITER 6184 NEW BEST:: SOT 12834117 SOS 5691469 HAS SOPS 5689619 HAS SOUS 631095 HAS SOUPS 629245 WITH SCORE 634936.469
AT ITER 6219 NEW BEST:: SOT 12835289 SOS 5692641 HAS SOPS 5690791 HAS SOUS 630495 HAS SOUPS 628645 WITH SCORE 634337.641
AT ITER 6247 NEW BEST:: SOT 12835686 SOS 5693816 HAS SOPS 5692050 HAS SOUS 630055 HAS SOUPS 628289 WITH SCORE 633982.816
AT ITER 6261 NEW BEST:: SOT 12835686 SOS 5693177 HAS SOPS 5691411 HAS SOUS 629984 HAS SOUPS 628218 WITH SCORE 633911.177
AT ITER 6265 NEW BEST:: SOT 12836683 SOS 5710950 HAS SOPS 5709184 HAS SOUS 629692 HAS SOUPS 627926 WITH SCORE 633636.95
AT ITER 6276 NEW BEST:: SOT 12840065 SOS 5714332 HAS SOPS 5712566 HAS SOUS 628935 HAS SOUPS 627169 WITH SCORE 632883.332
AT ITER 6314 NEW BEST:: SOT 12837626 SOS 5711893 HAS SOPS 5710127 HAS SOUS 627540 HAS SOUPS 625774 WITH SCORE 631485.893
AT ITER 6330 NEW BEST:: SOT 12837626 SOS 5711861 HAS SOPS 5710095 HAS SOUS 627484 HAS SOUPS 625718 WITH SCORE 631429.861
AT ITER 6345 NEW BEST:: SOT 12838279 SOS 5712514 HAS SOPS 5710748 HAS SOUS 626000 HAS SOUPS 624234 WITH SCORE 629946.514
AT ITER 6374 NEW BEST:: SOT 12838260 SOS 5712495 HAS SOPS 5710729 HAS SOUS 626000 HAS SOUPS 624234 WITH SCORE 629946.495
AT ITER 6375 NEW BEST:: SOT 12836549 SOS 5710784 HAS SOPS 5709018 HAS SOUS 624853 HAS SOUPS 623087 WITH SCORE 628797.784
AT ITER 6381 NEW BEST:: SOT 12836493 SOS 5710728 HAS SOPS 5708962 HAS SOUS 624825 HAS SOUPS 623059 WITH SCORE 628769.728
AT ITER 6391 NEW BEST:: SOT 12836039 SOS 5710274 HAS SOPS 5708508 HAS SOUS 623917 HAS SOUPS 622151 WITH SCORE 627861.274
AT ITER 6402 NEW BEST:: SOT 12835351 SOS 5709586 HAS SOPS 5707820 HAS SOUS 622526 HAS SOUPS 620760 WITH SCORE 626469.586
AT ITER 6403 NEW BEST:: SOT 12835351 SOS 5708912 HAS SOPS 5707146 HAS SOUS 622441 HAS SOUPS 620675 WITH SCORE 626383.912
AT ITER 6429 NEW BEST:: SOT 12834841 SOS 5708402 HAS SOPS 5706636 HAS SOUS 621391 HAS SOUPS 619625 WITH SCORE 625333.402
AT ITER 6465 NEW BEST:: SOT 12834841 SOS 5708098 HAS SOPS 5706332 HAS SOUS 621239 HAS SOUPS 619473 WITH SCORE 625181.098
AT ITER 6483 NEW BEST:: SOT 12834825 SOS 5708086 HAS SOPS 5706324 HAS SOUS 620805 HAS SOUPS 619043 WITH SCORE 624751.086
AT ITER 6503 NEW BEST:: SOT 12834825 SOS 5707874 HAS SOPS 5706112 HAS SOUS 620674 HAS SOUPS 618912 WITH SCORE 624619.874
AT ITER 6568 NEW BEST:: SOT 12834055 SOS 5707104 HAS SOPS 5705342 HAS SOUS 619123 HAS SOUPS 617361 WITH SCORE 623068.104
AT ITER 6579 NEW BEST:: SOT 12833162 SOS 5706211 HAS SOPS 5704449 HAS SOUS 618647 HAS SOUPS 616885 WITH SCORE 622591.211
AT ITER 6595 NEW BEST:: SOT 12833200 SOS 5706249 HAS SOPS 5704487 HAS SOUS 617261 HAS SOUPS 615499 WITH SCORE 621205.249
AT ITER 6611 NEW BEST:: SOT 12832514 SOS 5705563 HAS SOPS 5703801 HAS SOUS 616072 HAS SOUPS 614310 WITH SCORE 620015.563
AT ITER 6688 NEW BEST:: SOT 12830019 SOS 5705645 HAS SOPS 5703883 HAS SOUS 614553 HAS SOUPS 612791 WITH SCORE 618496.645
AT ITER 6738 NEW BEST:: SOT 12828730 SOS 5702319 HAS SOPS 5700501 HAS SOUS 613257 HAS SOUPS 611439 WITH SCORE 617141.319
AT ITER 6778 NEW BEST:: SOT 12828678 SOS 5702267 HAS SOPS 5700449 HAS SOUS 613231 HAS SOUPS 611413 WITH SCORE 617115.267
AT ITER 6896 NEW BEST:: SOT 12828691 SOS 5702280 HAS SOPS 5700462 HAS SOUS 613210 HAS SOUPS 611392 WITH SCORE 617094.28
AT ITER 6903 NEW BEST:: SOT 12828577 SOS 5702173 HAS SOPS 5700397 HAS SOUS 613123 HAS SOUPS 611347 WITH SCORE 617049.173
AT ITER 6973 NEW BEST:: SOT 12829542 SOS 5703138 HAS SOPS 5701362 HAS SOUS 612116 HAS SOUPS 610340 WITH SCORE 616043.138
AT ITER 7013 NEW BEST:: SOT 12829776 SOS 5703848 HAS SOPS 5702072 HAS SOUS 612113 HAS SOUPS 610337 WITH SCORE 616040.848
AT ITER 7022 NEW BEST:: SOT 12829776 SOS 5703848 HAS SOPS 5702072 HAS SOUS 612061 HAS SOUPS 610285 WITH SCORE 615988.848
AT ITER 7023 NEW BEST:: SOT 12826120 SOS 5700192 HAS SOPS 5698416 HAS SOUS 611375 HAS SOUPS 609599 WITH SCORE 615299.192
AT ITER 7026 NEW BEST:: SOT 12822454 SOS 5694366 HAS SOPS 5692590 HAS SOUS 609682 HAS SOUPS 607906 WITH SCORE 613600.366
AT ITER 7041 NEW BEST:: SOT 12822454 SOS 5694366 HAS SOPS 5692590 HAS SOUS 609649 HAS SOUPS 607873 WITH SCORE 613567.366
AT ITER 7068 NEW BEST:: SOT 12822446 SOS 5694358 HAS SOPS 5692582 HAS SOUS 609641 HAS SOUPS 607865 WITH SCORE 613559.358
AT ITER 7072 NEW BEST:: SOT 12821790 SOS 5693962 HAS SOPS 5692186 HAS SOUS 608316 HAS SOUPS 606540 WITH SCORE 612233.962
AT ITER 7109 NEW BEST:: SOT 12821736 SOS 5693908 HAS SOPS 5692132 HAS SOUS 608252 HAS SOUPS 606476 WITH SCORE 612169.908
AT ITER 7133 NEW BEST:: SOT 12820821 SOS 5692993 HAS SOPS 5691217 HAS SOUS 606404 HAS SOUPS 604628 WITH SCORE 610320.993
AT ITER 7147 NEW BEST:: SOT 12818834 SOS 5690145 HAS SOPS 5688328 HAS SOUS 605549 HAS SOUPS 603732 WITH SCORE 609422.145
AT ITER 7149 NEW BEST:: SOT 12813439 SOS 5684406 HAS SOPS 5682589 HAS SOUS 603885 HAS SOUPS 602068 WITH SCORE 607752.406
AT ITER 7158 NEW BEST:: SOT 12814138 SOS 5687205 HAS SOPS 5685388 HAS SOUS 603636 HAS SOUPS 601819 WITH SCORE 607506.205
AT ITER 7160 NEW BEST:: SOT 12814138 SOS 5687103 HAS SOPS 5685286 HAS SOUS 603585 HAS SOUPS 601768 WITH SCORE 607455.103
AT ITER 7169 NEW BEST:: SOT 12814134 SOS 5687099 HAS SOPS 5685282 HAS SOUS 603581 HAS SOUPS 601764 WITH SCORE 607451.099
AT ITER 7212 NEW BEST:: SOT 12814134 SOS 5687099 HAS SOPS 5685282 HAS SOUS 603562 HAS SOUPS 601745 WITH SCORE 607432.099
AT ITER 7218 NEW BEST:: SOT 12814024 SOS 5686989 HAS SOPS 5685172 HAS SOUS 603484 HAS SOUPS 601667 WITH SCORE 607353.989
AT ITER 7239 NEW BEST:: SOT 12812603 SOS 5684596 HAS SOPS 5682779 HAS SOUS 601233 HAS SOUPS 599416 WITH SCORE 605100.596
AT ITER 7275 NEW BEST:: SOT 12812573 SOS 5684566 HAS SOPS 5682749 HAS SOUS 601203 HAS SOUPS 599386 WITH SCORE 605070.566
AT ITER 7276 NEW BEST:: SOT 12812534 SOS 5684527 HAS SOPS 5682710 HAS SOUS 601107 HAS SOUPS 599290 WITH SCORE 604974.527
AT ITER 7325 NEW BEST:: SOT 12808745 SOS 5677642 HAS SOPS 5675825 HAS SOUS 600389 HAS SOUPS 598572 WITH SCORE 604249.642
AT ITER 7339 NEW BEST:: SOT 12808688 SOS 5677585 HAS SOPS 5675768 HAS SOUS 600332 HAS SOUPS 598515 WITH SCORE 604192.585
AT ITER 7341 NEW BEST:: SOT 12808640 SOS 5677537 HAS SOPS 5675720 HAS SOUS 600235 HAS SOUPS 598418 WITH SCORE 604095.537
AT ITER 7361 NEW BEST:: SOT 12808636 SOS 5677533 HAS SOPS 5675716 HAS SOUS 600235 HAS SOUPS 598418 WITH SCORE 604095.533
AT ITER 7365 NEW BEST:: SOT 12809534 SOS 5678431 HAS SOPS 5676614 HAS SOUS 599109 HAS SOUPS 597292 WITH SCORE 602970.431
AT ITER 7386 NEW BEST:: SOT 12809320 SOS 5678217 HAS SOPS 5676400 HAS SOUS 597321 HAS SOUPS 595504 WITH SCORE 601182.217
AT ITER 7390 NEW BEST:: SOT 12799206 SOS 5667402 HAS SOPS 5665585 HAS SOUS 596982 HAS SOUPS 595165 WITH SCORE 600832.402
AT ITER 7485 NEW BEST:: SOT 12800134 SOS 5668770 HAS SOPS 5666953 HAS SOUS 596463 HAS SOUPS 594646 WITH SCORE 600314.77
AT ITER 7509 NEW BEST:: SOT 12800153 SOS 5668789 HAS SOPS 5666972 HAS SOUS 596400 HAS SOUPS 594583 WITH SCORE 600251.789
AT ITER 7521 NEW BEST:: SOT 12801609 SOS 5670245 HAS SOPS 5668428 HAS SOUS 596202 HAS SOUPS 594385 WITH SCORE 600055.245
AT ITER 7541 NEW BEST:: SOT 12801361 SOS 5669997 HAS SOPS 5668180 HAS SOUS 595939 HAS SOUPS 594122 WITH SCORE 599791.997
AT ITER 7547 NEW BEST:: SOT 12801053 SOS 5669689 HAS SOPS 5667872 HAS SOUS 595706 HAS SOUPS 593889 WITH SCORE 599558.689
AT ITER 7557 NEW BEST:: SOT 12799905 SOS 5668541 HAS SOPS 5666724 HAS SOUS 593070 HAS SOUPS 591253 WITH SCORE 596921.541
AT ITER 7596 NEW BEST:: SOT 12801689 SOS 5672769 HAS SOPS 5670956 HAS SOUS 591011 HAS SOUPS 589198 WITH SCORE 594870.769
AT ITER 7638 NEW BEST:: SOT 12801283 SOS 5672363 HAS SOPS 5670550 HAS SOUS 590680 HAS SOUPS 588867 WITH SCORE 594539.363
AT ITER 7644 NEW BEST:: SOT 12801159 SOS 5672239 HAS SOPS 5670426 HAS SOUS 590430 HAS SOUPS 588617 WITH SCORE 594289.239
AT ITER 7691 NEW BEST:: SOT 12801484 SOS 5672564 HAS SOPS 5670751 HAS SOUS 590382 HAS SOUPS 588569 WITH SCORE 594241.564
AT ITER 7712 NEW BEST:: SOT 12801484 SOS 5672268 HAS SOPS 5670455 HAS SOUS 590308 HAS SOUPS 588495 WITH SCORE 594167.268
AT ITER 7715 NEW BEST:: SOT 12799517 SOS 5662439 HAS SOPS 5660624 HAS SOUS 590312 HAS SOUPS 588497 WITH SCORE 594159.439
AT ITER 7716 NEW BEST:: SOT 12798961 SOS 5661858 HAS SOPS 5660043 HAS SOUS 589531 HAS SOUPS 587716 WITH SCORE 593377.858
AT ITER 7724 NEW BEST:: SOT 12798961 SOS 5661808 HAS SOPS 5659993 HAS SOUS 589485 HAS SOUPS 587670 WITH SCORE 593331.808
AT ITER 7736 NEW BEST:: SOT 12798963 SOS 5661810 HAS SOPS 5659995 HAS SOUS 589439 HAS SOUPS 587624 WITH SCORE 593285.81
AT ITER 7742 NEW BEST:: SOT 12799058 SOS 5661905 HAS SOPS 5660090 HAS SOUS 589418 HAS SOUPS 587603 WITH SCORE 593264.905
AT ITER 7761 NEW BEST:: SOT 12799052 SOS 5661899 HAS SOPS 5660084 HAS SOUS 589412 HAS SOUPS 587597 WITH SCORE 593258.899
AT ITER 7766 NEW BEST:: SOT 12798959 SOS 5661806 HAS SOPS 5659991 HAS SOUS 589412 HAS SOUPS 587597 WITH SCORE 593258.806
AT ITER 7776 NEW BEST:: SOT 12798959 SOS 5661797 HAS SOPS 5659982 HAS SOUS 589412 HAS SOUPS 587597 WITH SCORE 593258.797
AT ITER 7779 NEW BEST:: SOT 12798029 SOS 5660867 HAS SOPS 5659052 HAS SOUS 588743 HAS SOUPS 586928 WITH SCORE 592588.867
AT ITER 7826 NEW BEST:: SOT 12798002 SOS 5660840 HAS SOPS 5659025 HAS SOUS 588716 HAS SOUPS 586901 WITH SCORE 592561.84
AT ITER 7844 NEW BEST:: SOT 12797856 SOS 5660694 HAS SOPS 5658879 HAS SOUS 588570 HAS SOUPS 586755 WITH SCORE 592415.694
AT ITER 7898 NEW BEST:: SOT 12802198 SOS 5670634 HAS SOPS 5668842 HAS SOUS 584708 HAS SOUPS 582916 WITH SCORE 588586.634
AT ITER 7934 NEW BEST:: SOT 12803145 SOS 5667297 HAS SOPS 5665505 HAS SOUS 584101 HAS SOUPS 582309 WITH SCORE 587976.297
AT ITER 7936 NEW BEST:: SOT 12803141 SOS 5667293 HAS SOPS 5665501 HAS SOUS 584082 HAS SOUPS 582290 WITH SCORE 587957.293
AT ITER 7977 NEW BEST:: SOT 12803225 SOS 5667377 HAS SOPS 5665585 HAS SOUS 583928 HAS SOUPS 582136 WITH SCORE 587803.377
AT ITER 7981 NEW BEST:: SOT 12803091 SOS 5667317 HAS SOPS 5665525 HAS SOUS 583625 HAS SOUPS 581833 WITH SCORE 587500.317
AT ITER 8018 NEW BEST:: SOT 12803283 SOS 5667941 HAS SOPS 5666149 HAS SOUS 583433 HAS SOUPS 581641 WITH SCORE 587308.941
AT ITER 8049 NEW BEST:: SOT 12803979 SOS 5668637 HAS SOPS 5666845 HAS SOUS 582031 HAS SOUPS 580239 WITH SCORE 585907.637
AT ITER 8060 NEW BEST:: SOT 12803979 SOS 5674181 HAS SOPS 5672389 HAS SOUS 581960 HAS SOUPS 580168 WITH SCORE 585842.181
AT ITER 8078 NEW BEST:: SOT 12799318 SOS 5665913 HAS SOPS 5664079 HAS SOUS 580754 HAS SOUPS 578920 WITH SCORE 584585.913
AT ITER 8105 NEW BEST:: SOT 12799340 SOS 5665935 HAS SOPS 5664101 HAS SOUS 580680 HAS SOUPS 578846 WITH SCORE 584511.935
AT ITER 8106 NEW BEST:: SOT 12799322 SOS 5665917 HAS SOPS 5664083 HAS SOUS 580662 HAS SOUPS 578828 WITH SCORE 584493.917
AT ITER 8113 NEW BEST:: SOT 12797516 SOS 5663687 HAS SOPS 5661767 HAS SOUS 580721 HAS SOUPS 578819 WITH SCORE 584482.687
AT ITER 8135 NEW BEST:: SOT 12793795 SOS 5656006 HAS SOPS 5654086 HAS SOUS 580521 HAS SOUPS 578619 WITH SCORE 584275.006
AT ITER 8146 NEW BEST:: SOT 12793775 SOS 5655986 HAS SOPS 5654066 HAS SOUS 580501 HAS SOUPS 578599 WITH SCORE 584254.986
AT ITER 8163 NEW BEST:: SOT 12793314 SOS 5655525 HAS SOPS 5653605 HAS SOUS 579571 HAS SOUPS 577669 WITH SCORE 583324.525
AT ITER 8178 NEW BEST:: SOT 12793314 SOS 5647058 HAS SOPS 5645055 HAS SOUS 579192 HAS SOUPS 577207 WITH SCORE 582854.058
AT ITER 8188 NEW BEST:: SOT 12791410 SOS 5645142 HAS SOPS 5643141 HAS SOUS 576786 HAS SOUPS 574803 WITH SCORE 580448.142
AT ITER 8192 NEW BEST:: SOT 12791406 SOS 5646532 HAS SOPS 5644531 HAS SOUS 576778 HAS SOUPS 574795 WITH SCORE 580441.532
AT ITER 8251 NEW BEST:: SOT 12786817 SOS 5641943 HAS SOPS 5639942 HAS SOUS 573627 HAS SOUPS 571644 WITH SCORE 577285.943
AT ITER 8290 NEW BEST:: SOT 12786763 SOS 5648513 HAS SOPS 5646512 HAS SOUS 573588 HAS SOUPS 571605 WITH SCORE 577253.513
AT ITER 8310 NEW BEST:: SOT 12786763 SOS 5648345 HAS SOPS 5646344 HAS SOUS 573588 HAS SOUPS 571605 WITH SCORE 577253.345
AT ITER 8328 NEW BEST:: SOT 12786665 SOS 5648247 HAS SOPS 5646284 HAS SOUS 573490 HAS SOUPS 571545 WITH SCORE 577193.247
AT ITER 8439 NEW BEST:: SOT 12786345 SOS 5647572 HAS SOPS 5645609 HAS SOUS 573170 HAS SOUPS 571225 WITH SCORE 576872.572
AT ITER 8441 NEW BEST:: SOT 12786372 SOS 5647634 HAS SOPS 5645673 HAS SOUS 573148 HAS SOUPS 571205 WITH SCORE 576852.634
AT ITER 8456 NEW BEST:: SOT 12786378 SOS 5647604 HAS SOPS 5645647 HAS SOUS 573035 HAS SOUPS 571096 WITH SCORE 576743.604
AT ITER 8472 NEW BEST:: SOT 12785082 SOS 5484555 HAS SOPS 5482598 HAS SOUS 572931 HAS SOUPS 570992 WITH SCORE 576476.555
AT ITER 8497 NEW BEST:: SOT 12785824 SOS 5484645 HAS SOPS 5482688 HAS SOUS 571810 HAS SOUPS 569871 WITH SCORE 575355.645
AT ITER 8557 NEW BEST:: SOT 12785231 SOS 5484008 HAS SOPS 5482051 HAS SOUS 570791 HAS SOUPS 568852 WITH SCORE 574336.008
AT ITER 8566 NEW BEST:: SOT 12789094 SOS 5487871 HAS SOPS 5485914 HAS SOUS 566698 HAS SOUPS 564759 WITH SCORE 570246.871
AT ITER 8576 NEW BEST:: SOT 12789062 SOS 5487979 HAS SOPS 5486022 HAS SOUS 566629 HAS SOUPS 564690 WITH SCORE 570177.979
AT ITER 8614 NEW BEST:: SOT 12789014 SOS 5487931 HAS SOPS 5485974 HAS SOUS 566597 HAS SOUPS 564658 WITH SCORE 570145.931
AT ITER 8667 NEW BEST:: SOT 12791223 SOS 5490638 HAS SOPS 5488681 HAS SOUS 566465 HAS SOUPS 564526 WITH SCORE 570016.638
AT ITER 8672 NEW BEST:: SOT 12790684 SOS 5492499 HAS SOPS 5490542 HAS SOUS 563751 HAS SOUPS 561812 WITH SCORE 567304.499
AT ITER 8696 NEW BEST:: SOT 12790662 SOS 5492477 HAS SOPS 5490520 HAS SOUS 563731 HAS SOUPS 561792 WITH SCORE 567284.477
AT ITER 8715 NEW BEST:: SOT 12790662 SOS 5492477 HAS SOPS 5490520 HAS SOUS 563704 HAS SOUPS 561765 WITH SCORE 567257.477
AT ITER 8730 NEW BEST:: SOT 12788698 SOS 5490513 HAS SOPS 5488556 HAS SOUS 563522 HAS SOUPS 561583 WITH SCORE 567073.513
AT ITER 8743 NEW BEST:: SOT 12788379 SOS 5490194 HAS SOPS 5488237 HAS SOUS 563106 HAS SOUPS 561167 WITH SCORE 566657.194
AT ITER 8758 NEW BEST:: SOT 12788379 SOS 5490716 HAS SOPS 5488759 HAS SOUS 563101 HAS SOUPS 561162 WITH SCORE 566652.716
AT ITER 8842 NEW BEST:: SOT 12788381 SOS 5490718 HAS SOPS 5488723 HAS SOUS 563103 HAS SOUPS 561126 WITH SCORE 566616.718
AT ITER 8859 NEW BEST:: SOT 12788685 SOS 5491022 HAS SOPS 5489027 HAS SOUS 561975 HAS SOUPS 559998 WITH SCORE 565489.022
AT ITER 8890 NEW BEST:: SOT 12789152 SOS 5491489 HAS SOPS 5489494 HAS SOUS 559616 HAS SOUPS 557639 WITH SCORE 563130.489
AT ITER 8902 NEW BEST:: SOT 12789151 SOS 5491488 HAS SOPS 5489493 HAS SOUS 559615 HAS SOUPS 557638 WITH SCORE 563129.488
AT ITER 8966 NEW BEST:: SOT 12789151 SOS 5491820 HAS SOPS 5489825 HAS SOUS 559572 HAS SOUPS 557595 WITH SCORE 563086.82
AT ITER 8967 NEW BEST:: SOT 12791018 SOS 5493687 HAS SOPS 5491692 HAS SOUS 556901 HAS SOUPS 554924 WITH SCORE 560417.687
AT ITER 8977 NEW BEST:: SOT 12790802 SOS 5493471 HAS SOPS 5491476 HAS SOUS 556710 HAS SOUPS 554733 WITH SCORE 560226.471
AT ITER 9026 NEW BEST:: SOT 12789423 SOS 5492092 HAS SOPS 5490097 HAS SOUS 554370 HAS SOUPS 552393 WITH SCORE 557885.092
AT ITER 9036 NEW BEST:: SOT 12789420 SOS 5492089 HAS SOPS 5490094 HAS SOUS 554367 HAS SOUPS 552390 WITH SCORE 557882.089
AT ITER 9050 NEW BEST:: SOT 12789420 SOS 5492081 HAS SOPS 5490086 HAS SOUS 554363 HAS SOUPS 552386 WITH SCORE 557878.081
AT ITER 9095 NEW BEST:: SOT 12788855 SOS 5491840 HAS SOPS 5489845 HAS SOUS 553300 HAS SOUPS 551323 WITH SCORE 556814.84
AT ITER 9099 NEW BEST:: SOT 12788820 SOS 5499906 HAS SOPS 5497911 HAS SOUS 553212 HAS SOUPS 551235 WITH SCORE 556734.906
AT ITER 9106 NEW BEST:: SOT 12788820 SOS 5499623 HAS SOPS 5497628 HAS SOUS 553207 HAS SOUPS 551230 WITH SCORE 556729.623
AT ITER 9138 NEW BEST:: SOT 12786478 SOS 5497281 HAS SOPS 5495286 HAS SOUS 552940 HAS SOUPS 550963 WITH SCORE 556460.281
AT ITER 9232 NEW BEST:: SOT 12786478 SOS 5512547 HAS SOPS 5510556 HAS SOUS 552854 HAS SOUPS 550881 WITH SCORE 556393.547
AT ITER 9247 NEW BEST:: SOT 12784139 SOS 5510208 HAS SOPS 5508217 HAS SOUS 550509 HAS SOUPS 548536 WITH SCORE 554046.208
AT ITER 9270 NEW BEST:: SOT 12781260 SOS 5508428 HAS SOPS 5506437 HAS SOUS 548261 HAS SOUPS 546288 WITH SCORE 551796.428
AT ITER 9274 NEW BEST:: SOT 12781260 SOS 5508770 HAS SOPS 5506807 HAS SOUS 547863 HAS SOUPS 545904 WITH SCORE 551412.77
AT ITER 9278 NEW BEST:: SOT 12780053 SOS 5508067 HAS SOPS 5506104 HAS SOUS 547822 HAS SOUPS 545863 WITH SCORE 551371.067
AT ITER 9286 NEW BEST:: SOT 12778064 SOS 5506078 HAS SOPS 5504115 HAS SOUS 544434 HAS SOUPS 542475 WITH SCORE 547981.078
AT ITER 9364 NEW BEST:: SOT 12778064 SOS 5506106 HAS SOPS 5504143 HAS SOUS 544430 HAS SOUPS 542471 WITH SCORE 547977.106
AT ITER 9377 NEW BEST:: SOT 12776618 SOS 5504680 HAS SOPS 5502713 HAS SOUS 543474 HAS SOUPS 541511 WITH SCORE 547015.68
AT ITER 9379 NEW BEST:: SOT 12776286 SOS 5504348 HAS SOPS 5502381 HAS SOUS 543054 HAS SOUPS 541091 WITH SCORE 546595.348
AT ITER 9447 NEW BEST:: SOT 12774648 SOS 5502434 HAS SOPS 5500467 HAS SOUS 542996 HAS SOUPS 541033 WITH SCORE 546535.434
AT ITER 9465 NEW BEST:: SOT 12775260 SOS 5503046 HAS SOPS 5501079 HAS SOUS 541523 HAS SOUPS 539560 WITH SCORE 545063.046
AT ITER 9469 NEW BEST:: SOT 12775260 SOS 5503809 HAS SOPS 5501842 HAS SOUS 541325 HAS SOUPS 539362 WITH SCORE 544865.809
AT ITER 9487 NEW BEST:: SOT 12775223 SOS 5503772 HAS SOPS 5501805 HAS SOUS 541225 HAS SOUPS 539262 WITH SCORE 544765.772
AT ITER 9497 NEW BEST:: SOT 12775219 SOS 5521710 HAS SOPS 5519743 HAS SOUS 541175 HAS SOUPS 539212 WITH SCORE 544733.71
AT ITER 9504 NEW BEST:: SOT 12775219 SOS 5521710 HAS SOPS 5519743 HAS SOUS 541173 HAS SOUPS 539210 WITH SCORE 544731.71
AT ITER 9509 NEW BEST:: SOT 12772974 SOS 5526042 HAS SOPS 5524075 HAS SOUS 539184 HAS SOUPS 537221 WITH SCORE 542747.042
AT ITER 9546 NEW BEST:: SOT 12769323 SOS 5522391 HAS SOPS 5520424 HAS SOUS 536510 HAS SOUPS 534547 WITH SCORE 540069.391
AT ITER 9562 NEW BEST:: SOT 12769851 SOS 5522919 HAS SOPS 5520952 HAS SOUS 536345 HAS SOUPS 534382 WITH SCORE 539904.919
AT ITER 9620 NEW BEST:: SOT 12769851 SOS 5522947 HAS SOPS 5520980 HAS SOUS 536337 HAS SOUPS 534374 WITH SCORE 539896.947
AT ITER 9631 NEW BEST:: SOT 12769850 SOS 5522946 HAS SOPS 5520979 HAS SOUS 536336 HAS SOUPS 534373 WITH SCORE 539895.946
AT ITER 9684 NEW BEST:: SOT 12769850 SOS 5522939 HAS SOPS 5520973 HAS SOUS 536265 HAS SOUPS 534303 WITH SCORE 539825.939
AT ITER 9772 NEW BEST:: SOT 12769850 SOS 5523230 HAS SOPS 5521264 HAS SOUS 536258 HAS SOUPS 534296 WITH SCORE 539819.23
AT ITER 9778 NEW BEST:: SOT 12769693 SOS 5524869 HAS SOPS 5522989 HAS SOUS 535575 HAS SOUPS 533699 WITH SCORE 539223.869
AT ITER 9827 NEW BEST:: SOT 12769651 SOS 5524827 HAS SOPS 5522947 HAS SOUS 535543 HAS SOUPS 533667 WITH SCORE 539191.827
AT ITER 9845 NEW BEST:: SOT 12769614 SOS 5544478 HAS SOPS 5542598 HAS SOUS 535070 HAS SOUPS 533194 WITH SCORE 538738.478
AT ITER 9871 NEW BEST:: SOT 12766806 SOS 5541670 HAS SOPS 5539790 HAS SOUS 532463 HAS SOUPS 530587 WITH SCORE 536128.67
AT ITER 9932 NEW BEST:: SOT 12767006 SOS 5547418 HAS SOPS 5545538 HAS SOUS 530675 HAS SOUPS 528799 WITH SCORE 534346.418
AT ITER 9993 NEW BEST:: SOT 12767509 SOS 5547921 HAS SOPS 5546041 HAS SOUS 530650 HAS SOUPS 528774 WITH SCORE 534321.921
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 15966828 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16126288 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-q8m016"
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-q8m016, 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-167813688200416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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