fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r035-tajo-167813688100408
Last Updated
May 14, 2023

About the Execution of Smart for BugTracking-PT-q8m008

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
360.632 3600000.00 3600102.00 0.00 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.5K Feb 26 06:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 06:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 06:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 06:08 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:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 07:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 07:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 06:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 06:44 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 1678467608351

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-q8m008
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m008
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 4 NEW BEST:: SOT 12968412 SOS 6048829 HAS SOPS 6044374 HAS SOUS 1650204 HAS SOUPS 1645749 WITH SCORE 1651797.829
AT ITER 40 NEW BEST:: SOT 12968381 SOS 6048798 HAS SOPS 6044343 HAS SOUS 1650199 HAS SOUPS 1645744 WITH SCORE 1651792.798
AT ITER 43 NEW BEST:: SOT 12968381 SOS 6039474 HAS SOPS 6035019 HAS SOUS 1650073 HAS SOUPS 1645618 WITH SCORE 1651657.474
AT ITER 46 NEW BEST:: SOT 12968381 SOS 6035370 HAS SOPS 6030915 HAS SOUS 1650073 HAS SOUPS 1645618 WITH SCORE 1651653.37
AT ITER 58 NEW BEST:: SOT 12964840 SOS 6031829 HAS SOPS 6027374 HAS SOUS 1642922 HAS SOUPS 1638467 WITH SCORE 1644498.829
AT ITER 60 NEW BEST:: SOT 12956416 SOS 6025899 HAS SOPS 6021444 HAS SOUS 1634170 HAS SOUPS 1629715 WITH SCORE 1635740.899
AT ITER 62 NEW BEST:: SOT 12956442 SOS 6026061 HAS SOPS 6021470 HAS SOUS 1634125 HAS SOUPS 1629566 WITH SCORE 1635592.061
AT ITER 66 NEW BEST:: SOT 12956442 SOS 6016557 HAS SOPS 6011966 HAS SOUS 1634125 HAS SOUPS 1629566 WITH SCORE 1635582.557
AT ITER 75 NEW BEST:: SOT 12956458 SOS 6016573 HAS SOPS 6011982 HAS SOUS 1629628 HAS SOUPS 1625069 WITH SCORE 1631085.573
AT ITER 76 NEW BEST:: SOT 12955878 SOS 6015993 HAS SOPS 6011402 HAS SOUS 1629220 HAS SOUPS 1624661 WITH SCORE 1630676.993
AT ITER 79 NEW BEST:: SOT 12954175 SOS 6014248 HAS SOPS 6010077 HAS SOUS 1623860 HAS SOUPS 1619721 WITH SCORE 1625735.248
AT ITER 103 NEW BEST:: SOT 12946918 SOS 6019413 HAS SOPS 6015242 HAS SOUS 1613478 HAS SOUPS 1609339 WITH SCORE 1615358.413
AT ITER 109 NEW BEST:: SOT 12944581 SOS 6018186 HAS SOPS 6014015 HAS SOUS 1599954 HAS SOUPS 1595815 WITH SCORE 1601833.186
AT ITER 117 NEW BEST:: SOT 12943879 SOS 6017484 HAS SOPS 6013313 HAS SOUS 1598499 HAS SOUPS 1594360 WITH SCORE 1600377.484
AT ITER 130 NEW BEST:: SOT 12943879 SOS 6015756 HAS SOPS 6011585 HAS SOUS 1598499 HAS SOUPS 1594360 WITH SCORE 1600375.756
AT ITER 132 NEW BEST:: SOT 12943879 SOS 6013236 HAS SOPS 6009065 HAS SOUS 1598499 HAS SOUPS 1594360 WITH SCORE 1600373.236
AT ITER 156 NEW BEST:: SOT 12944035 SOS 6013392 HAS SOPS 6009221 HAS SOUS 1590512 HAS SOUPS 1586373 WITH SCORE 1592386.392
AT ITER 168 NEW BEST:: SOT 12946045 SOS 6016218 HAS SOPS 6012047 HAS SOUS 1588302 HAS SOUPS 1584163 WITH SCORE 1590179.218
AT ITER 175 NEW BEST:: SOT 12946045 SOS 6010890 HAS SOPS 6006719 HAS SOUS 1588302 HAS SOUPS 1584163 WITH SCORE 1590173.89
AT ITER 191 NEW BEST:: SOT 12944068 SOS 6008913 HAS SOPS 6004742 HAS SOUS 1585141 HAS SOUPS 1581002 WITH SCORE 1587010.913
AT ITER 194 NEW BEST:: SOT 12937367 SOS 6005253 HAS SOPS 6001082 HAS SOUS 1580214 HAS SOUPS 1576075 WITH SCORE 1582080.253
AT ITER 238 NEW BEST:: SOT 12937676 SOS 6005562 HAS SOPS 6001391 HAS SOUS 1579883 HAS SOUPS 1575744 WITH SCORE 1581749.562
AT ITER 242 NEW BEST:: SOT 12937676 SOS 6002322 HAS SOPS 5998151 HAS SOUS 1579883 HAS SOUPS 1575744 WITH SCORE 1581746.322
AT ITER 245 NEW BEST:: SOT 12800066 SOS 7823086 HAS SOPS 7819814 HAS SOUS 1440343 HAS SOUPS 1437071 WITH SCORE 1444894.086
AT ITER 246 NEW BEST:: SOT 12797163 SOS 7820183 HAS SOPS 7816911 HAS SOUS 1430492 HAS SOUPS 1427220 WITH SCORE 1435040.183
AT ITER 252 NEW BEST:: SOT 12787670 SOS 7813642 HAS SOPS 7810370 HAS SOUS 1419583 HAS SOUPS 1416311 WITH SCORE 1424124.642
AT ITER 262 NEW BEST:: SOT 12788294 SOS 7814349 HAS SOPS 7811122 HAS SOUS 1416099 HAS SOUPS 1412872 WITH SCORE 1420686.349
AT ITER 300 NEW BEST:: SOT 12788294 SOS 7808517 HAS SOPS 7805290 HAS SOUS 1416099 HAS SOUPS 1412872 WITH SCORE 1420680.517
AT ITER 305 NEW BEST:: SOT 12788294 SOS 7808229 HAS SOPS 7805002 HAS SOUS 1416099 HAS SOUPS 1412872 WITH SCORE 1420680.229
AT ITER 312 NEW BEST:: SOT 12778517 SOS 7800174 HAS SOPS 7796947 HAS SOUS 1406282 HAS SOUPS 1403055 WITH SCORE 1410855.174
AT ITER 316 NEW BEST:: SOT 12778802 SOS 7800459 HAS SOPS 7797232 HAS SOUS 1399791 HAS SOUPS 1396564 WITH SCORE 1404364.459
AT ITER 333 NEW BEST:: SOT 12777748 SOS 7799405 HAS SOPS 7796178 HAS SOUS 1397657 HAS SOUPS 1394430 WITH SCORE 1402229.405
AT ITER 336 NEW BEST:: SOT 12777580 SOS 7799237 HAS SOPS 7796010 HAS SOUS 1397307 HAS SOUPS 1394080 WITH SCORE 1401879.237
AT ITER 342 NEW BEST:: SOT 12777580 SOS 7793117 HAS SOPS 7789890 HAS SOUS 1397307 HAS SOUPS 1394080 WITH SCORE 1401873.117
AT ITER 346 NEW BEST:: SOT 12776681 SOS 7792218 HAS SOPS 7788991 HAS SOUS 1395211 HAS SOUPS 1391984 WITH SCORE 1399776.218
AT ITER 348 NEW BEST:: SOT 12775080 SOS 7790480 HAS SOPS 7787270 HAS SOUS 1390961 HAS SOUPS 1387751 WITH SCORE 1395541.48
AT ITER 349 NEW BEST:: SOT 12779152 SOS 7794552 HAS SOPS 7791342 HAS SOUS 1390813 HAS SOUPS 1387603 WITH SCORE 1395397.552
AT ITER 352 NEW BEST:: SOT 12777915 SOS 7793206 HAS SOPS 7790009 HAS SOUS 1378833 HAS SOUPS 1375636 WITH SCORE 1383429.206
AT ITER 353 NEW BEST:: SOT 12777915 SOS 7793386 HAS SOPS 7790189 HAS SOUS 1378412 HAS SOUPS 1375215 WITH SCORE 1383008.386
AT ITER 354 NEW BEST:: SOT 12777915 SOS 7785322 HAS SOPS 7782125 HAS SOUS 1378412 HAS SOUPS 1375215 WITH SCORE 1383000.322
AT ITER 357 NEW BEST:: SOT 12773242 SOS 7781191 HAS SOPS 7777994 HAS SOUS 1372474 HAS SOUPS 1369277 WITH SCORE 1377058.191
AT ITER 369 NEW BEST:: SOT 12771496 SOS 7778957 HAS SOPS 7775179 HAS SOUS 1371016 HAS SOUPS 1367819 WITH SCORE 1375597.957
AT ITER 379 NEW BEST:: SOT 12771024 SOS 7778485 HAS SOPS 7774707 HAS SOUS 1370118 HAS SOUPS 1366921 WITH SCORE 1374699.485
AT ITER 385 NEW BEST:: SOT 12771024 SOS 7772365 HAS SOPS 7768587 HAS SOUS 1370118 HAS SOUPS 1366921 WITH SCORE 1374693.365
AT ITER 387 NEW BEST:: SOT 12768017 SOS 7769892 HAS SOPS 7766114 HAS SOUS 1367683 HAS SOUPS 1364486 WITH SCORE 1372255.892
AT ITER 413 NEW BEST:: SOT 12768017 SOS 7769892 HAS SOPS 7766114 HAS SOUS 1367678 HAS SOUPS 1364481 WITH SCORE 1372250.892
AT ITER 415 NEW BEST:: SOT 12772171 SOS 7778873 HAS SOPS 7775347 HAS SOUS 1361935 HAS SOUPS 1358920 WITH SCORE 1366698.873
AT ITER 431 NEW BEST:: SOT 12770098 SOS 7777428 HAS SOPS 7773902 HAS SOUS 1358059 HAS SOUPS 1355044 WITH SCORE 1362821.428
AT ITER 456 NEW BEST:: SOT 12772180 SOS 7780230 HAS SOPS 7776704 HAS SOUS 1355931 HAS SOUPS 1352916 WITH SCORE 1360696.23
AT ITER 478 NEW BEST:: SOT 12765600 SOS 7783794 HAS SOPS 7780268 HAS SOUS 1348192 HAS SOUPS 1345177 WITH SCORE 1352960.794
AT ITER 495 NEW BEST:: SOT 12764745 SOS 7783158 HAS SOPS 7779632 HAS SOUS 1334076 HAS SOUPS 1331061 WITH SCORE 1338844.158
AT ITER 507 NEW BEST:: SOT 12767866 SOS 7786425 HAS SOPS 7782899 HAS SOUS 1331964 HAS SOUPS 1328949 WITH SCORE 1336735.425
AT ITER 512 NEW BEST:: SOT 12767793 SOS 7786352 HAS SOPS 7782826 HAS SOUS 1331715 HAS SOUPS 1328700 WITH SCORE 1336486.352
AT ITER 518 NEW BEST:: SOT 12767615 SOS 7786174 HAS SOPS 7782648 HAS SOUS 1331133 HAS SOUPS 1328118 WITH SCORE 1335904.174
AT ITER 526 NEW BEST:: SOT 12767371 SOS 7785930 HAS SOPS 7782404 HAS SOUS 1322577 HAS SOUPS 1319562 WITH SCORE 1327347.93
AT ITER 528 NEW BEST:: SOT 12765332 SOS 7784375 HAS SOPS 7780849 HAS SOUS 1315982 HAS SOUPS 1312967 WITH SCORE 1320751.375
AT ITER 532 NEW BEST:: SOT 12765332 SOS 7784375 HAS SOPS 7780849 HAS SOUS 1315976 HAS SOUPS 1312961 WITH SCORE 1320745.375
AT ITER 535 NEW BEST:: SOT 12764420 SOS 7783463 HAS SOPS 7779937 HAS SOUS 1313580 HAS SOUPS 1310565 WITH SCORE 1318348.463
AT ITER 545 NEW BEST:: SOT 12764420 SOS 7780151 HAS SOPS 7776625 HAS SOUS 1313580 HAS SOUPS 1310565 WITH SCORE 1318345.151
AT ITER 550 NEW BEST:: SOT 12765928 SOS 7781695 HAS SOPS 7778171 HAS SOUS 1312835 HAS SOUPS 1309822 WITH SCORE 1317603.695
AT ITER 555 NEW BEST:: SOT 12764736 SOS 7780239 HAS SOPS 7776760 HAS SOUS 1310406 HAS SOUPS 1307393 WITH SCORE 1315173.239
AT ITER 557 NEW BEST:: SOT 12774316 SOS 7791111 HAS SOPS 7787292 HAS SOUS 1308880 HAS SOUPS 1305748 WITH SCORE 1313539.111
AT ITER 584 NEW BEST:: SOT 12774316 SOS 7783479 HAS SOPS 7779660 HAS SOUS 1308880 HAS SOUPS 1305748 WITH SCORE 1313531.479
AT ITER 585 NEW BEST:: SOT 12774316 SOS 7783478 HAS SOPS 7779659 HAS SOUS 1308880 HAS SOUPS 1305748 WITH SCORE 1313531.478
AT ITER 586 NEW BEST:: SOT 12768414 SOS 7787260 HAS SOPS 7783441 HAS SOUS 1302473 HAS SOUPS 1299341 WITH SCORE 1307128.26
AT ITER 589 NEW BEST:: SOT 12768414 SOS 7787260 HAS SOPS 7783441 HAS SOUS 1302464 HAS SOUPS 1299332 WITH SCORE 1307119.26
AT ITER 594 NEW BEST:: SOT 12767455 SOS 7786683 HAS SOPS 7782864 HAS SOUS 1300906 HAS SOUPS 1297774 WITH SCORE 1305560.683
AT ITER 607 NEW BEST:: SOT 12771979 SOS 7791077 HAS SOPS 7787274 HAS SOUS 1299013 HAS SOUPS 1295897 WITH SCORE 1303688.077
AT ITER 629 NEW BEST:: SOT 12771759 SOS 7790909 HAS SOPS 7787106 HAS SOUS 1296829 HAS SOUPS 1293713 WITH SCORE 1301503.909
AT ITER 634 NEW BEST:: SOT 12773334 SOS 7792944 HAS SOPS 7789233 HAS SOUS 1295182 HAS SOUPS 1292066 WITH SCORE 1299858.944
AT ITER 652 NEW BEST:: SOT 12776385 SOS 7796090 HAS SOPS 7792379 HAS SOUS 1291459 HAS SOUPS 1288343 WITH SCORE 1296139.09
AT ITER 664 NEW BEST:: SOT 12775681 SOS 7795386 HAS SOPS 7791675 HAS SOUS 1275325 HAS SOUPS 1272209 WITH SCORE 1280004.386
AT ITER 670 NEW BEST:: SOT 12775681 SOS 7795270 HAS SOPS 7791578 HAS SOUS 1275247 HAS SOUPS 1272150 WITH SCORE 1279945.27
AT ITER 672 NEW BEST:: SOT 12774793 SOS 7794382 HAS SOPS 7790690 HAS SOUS 1266064 HAS SOUPS 1262967 WITH SCORE 1270761.382
AT ITER 673 NEW BEST:: SOT 12770360 SOS 7789949 HAS SOPS 7786257 HAS SOUS 1262462 HAS SOUPS 1259365 WITH SCORE 1267154.949
AT ITER 686 NEW BEST:: SOT 12775885 SOS 7795724 HAS SOPS 7792032 HAS SOUS 1259366 HAS SOUPS 1256269 WITH SCORE 1264064.724
AT ITER 695 NEW BEST:: SOT 12771018 SOS 7793665 HAS SOPS 7789973 HAS SOUS 1254705 HAS SOUPS 1251608 WITH SCORE 1259401.665
AT ITER 696 NEW BEST:: SOT 12764783 SOS 7786676 HAS SOPS 7782952 HAS SOUS 1254435 HAS SOUPS 1251322 WITH SCORE 1259108.676
AT ITER 699 NEW BEST:: SOT 12762412 SOS 7784161 HAS SOPS 7780455 HAS SOUS 1243953 HAS SOUPS 1240858 WITH SCORE 1248642.161
AT ITER 722 NEW BEST:: SOT 12761914 SOS 7783663 HAS SOPS 7779957 HAS SOUS 1243433 HAS SOUPS 1240338 WITH SCORE 1248121.663
AT ITER 731 NEW BEST:: SOT 12768780 SOS 7796345 HAS SOPS 7792647 HAS SOUS 1243055 HAS SOUPS 1239968 WITH SCORE 1247764.345
AT ITER 732 NEW BEST:: SOT 12764737 SOS 7792525 HAS SOPS 7788827 HAS SOUS 1238760 HAS SOUPS 1235673 WITH SCORE 1243465.525
AT ITER 734 NEW BEST:: SOT 12766366 SOS 7794980 HAS SOPS 7791315 HAS SOUS 1238020 HAS SOUPS 1234966 WITH SCORE 1242760.98
AT ITER 741 NEW BEST:: SOT 12764939 SOS 7793787 HAS SOPS 7790122 HAS SOUS 1221319 HAS SOUPS 1218265 WITH SCORE 1226058.787
AT ITER 755 NEW BEST:: SOT 12765081 SOS 7097371 HAS SOPS 7093706 HAS SOUS 1221267 HAS SOUPS 1218213 WITH SCORE 1225310.371
AT ITER 758 NEW BEST:: SOT 12766955 SOS 7099381 HAS SOPS 7095716 HAS SOUS 1220682 HAS SOUPS 1217628 WITH SCORE 1224727.381
AT ITER 760 NEW BEST:: SOT 12765151 SOS 7097577 HAS SOPS 7093912 HAS SOUS 1215842 HAS SOUPS 1212788 WITH SCORE 1219885.577
AT ITER 778 NEW BEST:: SOT 12768687 SOS 7112201 HAS SOPS 7108536 HAS SOUS 1214925 HAS SOUPS 1211871 WITH SCORE 1218983.201
AT ITER 780 NEW BEST:: SOT 12772117 SOS 7116055 HAS SOPS 7112390 HAS SOUS 1206574 HAS SOUPS 1203520 WITH SCORE 1210636.055
AT ITER 789 NEW BEST:: SOT 12772117 SOS 7115556 HAS SOPS 7111891 HAS SOUS 1206569 HAS SOUPS 1203515 WITH SCORE 1210630.556
AT ITER 804 NEW BEST:: SOT 12770981 SOS 7114420 HAS SOPS 7110755 HAS SOUS 1204752 HAS SOUPS 1201698 WITH SCORE 1208812.42
AT ITER 806 NEW BEST:: SOT 12770407 SOS 7113836 HAS SOPS 7110171 HAS SOUS 1203585 HAS SOUPS 1200531 WITH SCORE 1207644.836
AT ITER 809 NEW BEST:: SOT 12769738 SOS 7113167 HAS SOPS 7109502 HAS SOUS 1196704 HAS SOUPS 1193650 WITH SCORE 1200763.167
AT ITER 819 NEW BEST:: SOT 12769729 SOS 7113158 HAS SOPS 7109493 HAS SOUS 1196695 HAS SOUPS 1193641 WITH SCORE 1200754.158
AT ITER 854 NEW BEST:: SOT 12768902 SOS 7112331 HAS SOPS 7108666 HAS SOUS 1194801 HAS SOUPS 1191747 WITH SCORE 1198859.331
AT ITER 855 NEW BEST:: SOT 12766176 SOS 7109605 HAS SOPS 7105940 HAS SOUS 1189642 HAS SOUPS 1186588 WITH SCORE 1193697.605
AT ITER 860 NEW BEST:: SOT 12763158 SOS 7106587 HAS SOPS 7102922 HAS SOUS 1178605 HAS SOUPS 1175551 WITH SCORE 1182657.587
AT ITER 865 NEW BEST:: SOT 12763695 SOS 7107138 HAS SOPS 7103487 HAS SOUS 1178236 HAS SOUPS 1175196 WITH SCORE 1182303.138
AT ITER 869 NEW BEST:: SOT 12763312 SOS 7106906 HAS SOPS 7103255 HAS SOUS 1177599 HAS SOUPS 1174559 WITH SCORE 1181665.906
AT ITER 870 NEW BEST:: SOT 12763312 SOS 7106864 HAS SOPS 7103213 HAS SOUS 1177578 HAS SOUPS 1174538 WITH SCORE 1181644.864
AT ITER 871 NEW BEST:: SOT 12766250 SOS 7105338 HAS SOPS 7101687 HAS SOUS 1176785 HAS SOUPS 1173745 WITH SCORE 1180850.338
AT ITER 889 NEW BEST:: SOT 12764675 SOS 7103991 HAS SOPS 7100340 HAS SOUS 1172432 HAS SOUPS 1169392 WITH SCORE 1176495.991
AT ITER 898 NEW BEST:: SOT 12764549 SOS 7102698 HAS SOPS 7098755 HAS SOUS 1172200 HAS SOUPS 1168868 WITH SCORE 1175970.698
AT ITER 905 NEW BEST:: SOT 12755059 SOS 7096172 HAS SOPS 7092229 HAS SOUS 1163222 HAS SOUPS 1159890 WITH SCORE 1166986.172
AT ITER 930 NEW BEST:: SOT 12754331 SOS 7096944 HAS SOPS 7093001 HAS SOUS 1156497 HAS SOUPS 1153165 WITH SCORE 1160261.944
AT ITER 932 NEW BEST:: SOT 12758418 SOS 7101145 HAS SOPS 7097270 HAS SOUS 1154146 HAS SOUPS 1150882 WITH SCORE 1157983.145
AT ITER 943 NEW BEST:: SOT 12757936 SOS 7100646 HAS SOPS 7096771 HAS SOUS 1152117 HAS SOUPS 1148853 WITH SCORE 1155953.646
AT ITER 945 NEW BEST:: SOT 12756807 SOS 7099517 HAS SOPS 7095642 HAS SOUS 1149762 HAS SOUPS 1146498 WITH SCORE 1153597.517
AT ITER 953 NEW BEST:: SOT 12756097 SOS 7098807 HAS SOPS 7094932 HAS SOUS 1149356 HAS SOUPS 1146092 WITH SCORE 1153190.807
AT ITER 955 NEW BEST:: SOT 12756618 SOS 7099150 HAS SOPS 7095329 HAS SOUS 1148938 HAS SOUPS 1145701 WITH SCORE 1152800.15
AT ITER 958 NEW BEST:: SOT 12752547 SOS 7094650 HAS SOPS 7090912 HAS SOUS 1134114 HAS SOUPS 1130960 WITH SCORE 1138054.65
AT ITER 976 NEW BEST:: SOT 12752547 SOS 7094470 HAS SOPS 7090732 HAS SOUS 1134024 HAS SOUPS 1130870 WITH SCORE 1137964.47
AT ITER 979 NEW BEST:: SOT 12763953 SOS 7106435 HAS SOPS 7102461 HAS SOUS 1128023 HAS SOUPS 1124751 WITH SCORE 1131857.435
AT ITER 983 NEW BEST:: SOT 12762116 SOS 7104595 HAS SOPS 7100648 HAS SOUS 1123346 HAS SOUPS 1120101 WITH SCORE 1127205.595
AT ITER 985 NEW BEST:: SOT 12764809 SOS 7107288 HAS SOPS 7103341 HAS SOUS 1120909 HAS SOUPS 1117664 WITH SCORE 1124771.288
AT ITER 988 NEW BEST:: SOT 12764243 SOS 7106722 HAS SOPS 7102775 HAS SOUS 1119756 HAS SOUPS 1116511 WITH SCORE 1123617.722
AT ITER 1000 NEW BEST:: SOT 12765721 SOS 7108200 HAS SOPS 7104253 HAS SOUS 1118461 HAS SOUPS 1115216 WITH SCORE 1122324.2
AT ITER 1020 NEW BEST:: SOT 12765027 SOS 7108374 HAS SOPS 7104427 HAS SOUS 1117245 HAS SOUPS 1114000 WITH SCORE 1121108.374
AT ITER 1022 NEW BEST:: SOT 12761526 SOS 7107157 HAS SOPS 7103210 HAS SOUS 1115664 HAS SOUPS 1112419 WITH SCORE 1119526.157
AT ITER 1034 NEW BEST:: SOT 12772836 SOS 7135203 HAS SOPS 7131473 HAS SOUS 1115291 HAS SOUPS 1112046 WITH SCORE 1119181.203
AT ITER 1035 NEW BEST:: SOT 12772836 SOS 7137355 HAS SOPS 7133625 HAS SOUS 1115181 HAS SOUPS 1111936 WITH SCORE 1119073.355
AT ITER 1052 NEW BEST:: SOT 12772018 SOS 7135685 HAS SOPS 7131955 HAS SOUS 1114375 HAS SOUPS 1111130 WITH SCORE 1118265.685
AT ITER 1055 NEW BEST:: SOT 12772039 SOS 7135706 HAS SOPS 7131976 HAS SOUS 1112234 HAS SOUPS 1108989 WITH SCORE 1116124.706
AT ITER 1075 NEW BEST:: SOT 12780620 SOS 7144897 HAS SOPS 7141199 HAS SOUS 1105704 HAS SOUPS 1102475 WITH SCORE 1109619.897
AT ITER 1080 NEW BEST:: SOT 12777104 SOS 7141571 HAS SOPS 7137873 HAS SOUS 1103495 HAS SOUPS 1100266 WITH SCORE 1107407.571
AT ITER 1083 NEW BEST:: SOT 12776624 SOS 7141091 HAS SOPS 7137393 HAS SOUS 1099186 HAS SOUPS 1095957 WITH SCORE 1103098.091
AT ITER 1087 NEW BEST:: SOT 12776624 SOS 7140515 HAS SOPS 7136817 HAS SOUS 1099186 HAS SOUPS 1095957 WITH SCORE 1103097.515
AT ITER 1094 NEW BEST:: SOT 12780324 SOS 7144281 HAS SOPS 7140633 HAS SOUS 1097274 HAS SOUPS 1094095 WITH SCORE 1101239.281
AT ITER 1098 NEW BEST:: SOT 12778035 SOS 7141332 HAS SOPS 7137784 HAS SOUS 1094205 HAS SOUPS 1091096 WITH SCORE 1098237.332
AT ITER 1100 NEW BEST:: SOT 12772300 SOS 7139245 HAS SOPS 7135697 HAS SOUS 1088484 HAS SOUPS 1085375 WITH SCORE 1092514.245
AT ITER 1129 NEW BEST:: SOT 12771051 SOS 7137899 HAS SOPS 7134351 HAS SOUS 1080150 HAS SOUPS 1077041 WITH SCORE 1084178.899
AT ITER 1151 NEW BEST:: SOT 12765819 SOS 7132485 HAS SOPS 7129014 HAS SOUS 1073282 HAS SOUPS 1070250 WITH SCORE 1077382.485
AT ITER 1156 NEW BEST:: SOT 12765631 SOS 7132231 HAS SOPS 7128782 HAS SOUS 1070370 HAS SOUPS 1067360 WITH SCORE 1074492.231
AT ITER 1166 NEW BEST:: SOT 12756601 SOS 7124902 HAS SOPS 7121453 HAS SOUS 1062591 HAS SOUPS 1059581 WITH SCORE 1066705.902
AT ITER 1179 NEW BEST:: SOT 12756841 SOS 7125142 HAS SOPS 7121693 HAS SOUS 1061890 HAS SOUPS 1058880 WITH SCORE 1066005.142
AT ITER 1219 NEW BEST:: SOT 12753370 SOS 7121661 HAS SOPS 7118212 HAS SOUS 1054590 HAS SOUPS 1051580 WITH SCORE 1058701.661
AT ITER 1225 NEW BEST:: SOT 12753370 SOS 7121629 HAS SOPS 7118180 HAS SOUS 1054558 HAS SOUPS 1051548 WITH SCORE 1058669.629
AT ITER 1226 NEW BEST:: SOT 12750692 SOS 7118951 HAS SOPS 7115502 HAS SOUS 1052145 HAS SOUPS 1049135 WITH SCORE 1056253.951
AT ITER 1231 NEW BEST:: SOT 12753763 SOS 7122108 HAS SOPS 7118708 HAS SOUS 1049884 HAS SOUPS 1046923 WITH SCORE 1054045.108
AT ITER 1235 NEW BEST:: SOT 12744367 SOS 7114348 HAS SOPS 7110948 HAS SOUS 1037833 HAS SOUPS 1034872 WITH SCORE 1041986.348
AT ITER 1236 NEW BEST:: SOT 12743968 SOS 7116252 HAS SOPS 7112852 HAS SOUS 1037130 HAS SOUPS 1034169 WITH SCORE 1041285.252
AT ITER 1239 NEW BEST:: SOT 12741028 SOS 7113312 HAS SOPS 7109912 HAS SOUS 1033379 HAS SOUPS 1030418 WITH SCORE 1037531.312
AT ITER 1242 NEW BEST:: SOT 12753503 SOS 7127911 HAS SOPS 7124275 HAS SOUS 1033515 HAS SOUPS 1030318 WITH SCORE 1037445.911
AT ITER 1246 NEW BEST:: SOT 12753503 SOS 7132663 HAS SOPS 7129027 HAS SOUS 1031737 HAS SOUPS 1028540 WITH SCORE 1035672.663
AT ITER 1249 NEW BEST:: SOT 12753503 SOS 7132255 HAS SOPS 7128619 HAS SOUS 1031635 HAS SOUPS 1028438 WITH SCORE 1035570.255
AT ITER 1254 NEW BEST:: SOT 12753386 SOS 7132138 HAS SOPS 7128502 HAS SOUS 1031392 HAS SOUPS 1028195 WITH SCORE 1035327.138
AT ITER 1260 NEW BEST:: SOT 12754395 SOS 7133122 HAS SOPS 7129486 HAS SOUS 1025479 HAS SOUPS 1022282 WITH SCORE 1029415.122
AT ITER 1274 NEW BEST:: SOT 12754694 SOS 7133421 HAS SOPS 7129785 HAS SOUS 1023717 HAS SOUPS 1020520 WITH SCORE 1027653.421
AT ITER 1277 NEW BEST:: SOT 12754692 SOS 7133419 HAS SOPS 7129783 HAS SOUS 1023711 HAS SOUPS 1020514 WITH SCORE 1027647.419
AT ITER 1294 NEW BEST:: SOT 12754655 SOS 7133382 HAS SOPS 7129413 HAS SOUS 1023674 HAS SOUPS 1020144 WITH SCORE 1027277.382
AT ITER 1315 NEW BEST:: SOT 12754655 SOS 7133326 HAS SOPS 7129357 HAS SOUS 1023646 HAS SOUPS 1020116 WITH SCORE 1027249.326
AT ITER 1317 NEW BEST:: SOT 12757224 SOS 7135956 HAS SOPS 7132008 HAS SOUS 1022374 HAS SOUPS 1018865 WITH SCORE 1026000.956
AT ITER 1318 NEW BEST:: SOT 12760019 SOS 7138751 HAS SOPS 7134803 HAS SOUS 1022263 HAS SOUPS 1018754 WITH SCORE 1025892.751
AT ITER 1338 NEW BEST:: SOT 12759188 SOS 7137402 HAS SOPS 7133454 HAS SOUS 1021925 HAS SOUPS 1018416 WITH SCORE 1025553.402
AT ITER 1342 NEW BEST:: SOT 12758852 SOS 7137054 HAS SOPS 7133106 HAS SOUS 1020563 HAS SOUPS 1017054 WITH SCORE 1024191.054
AT ITER 1350 NEW BEST:: SOT 12758417 SOS 7136619 HAS SOPS 7132671 HAS SOUS 1012612 HAS SOUPS 1009103 WITH SCORE 1016239.619
AT ITER 1368 NEW BEST:: SOT 12771078 SOS 7161592 HAS SOPS 7157644 HAS SOUS 1011777 HAS SOUPS 1008268 WITH SCORE 1015429.592
AT ITER 1380 NEW BEST:: SOT 12773876 SOS 7164455 HAS SOPS 7160561 HAS SOUS 1004329 HAS SOUPS 1000874 WITH SCORE 1008038.455
AT ITER 1381 NEW BEST:: SOT 12780392 SOS 7171159 HAS SOPS 7167265 HAS SOUS 1000690 HAS SOUPS 997235 WITH SCORE 1004406.159
AT ITER 1400 NEW BEST:: SOT 12781304 SOS 7172071 HAS SOPS 7168177 HAS SOUS 1000030 HAS SOUPS 996575 WITH SCORE 1003747.071
AT ITER 1405 NEW BEST:: SOT 12780993 SOS 7172192 HAS SOPS 7168298 HAS SOUS 991226 HAS SOUPS 987771 WITH SCORE 994943.192
AT ITER 1406 NEW BEST:: SOT 12780992 SOS 7172191 HAS SOPS 7168297 HAS SOUS 990941 HAS SOUPS 987486 WITH SCORE 994658.191
AT ITER 1430 NEW BEST:: SOT 12778527 SOS 7168629 HAS SOPS 7164735 HAS SOUS 987866 HAS SOUPS 984411 WITH SCORE 991579.629
AT ITER 1432 NEW BEST:: SOT 12778499 SOS 7168601 HAS SOPS 7164707 HAS SOUS 987838 HAS SOUPS 984383 WITH SCORE 991551.601
AT ITER 1434 NEW BEST:: SOT 12780460 SOS 7170533 HAS SOPS 7166657 HAS SOUS 986000 HAS SOUPS 982563 WITH SCORE 989733.533
AT ITER 1442 NEW BEST:: SOT 12780460 SOS 7072892 HAS SOPS 7069016 HAS SOUS 985981 HAS SOUPS 982544 WITH SCORE 989616.892
AT ITER 1446 NEW BEST:: SOT 12779678 SOS 7072110 HAS SOPS 7068234 HAS SOUS 985167 HAS SOUPS 981730 WITH SCORE 988802.11
AT ITER 1449 NEW BEST:: SOT 12785952 SOS 7086992 HAS SOPS 7083178 HAS SOUS 979981 HAS SOUPS 976606 WITH SCORE 983692.992
AT ITER 1454 NEW BEST:: SOT 12784601 SOS 7085601 HAS SOPS 7081787 HAS SOUS 972982 HAS SOUPS 969607 WITH SCORE 976692.601
AT ITER 1466 NEW BEST:: SOT 12784601 SOS 7085569 HAS SOPS 7081755 HAS SOUS 972966 HAS SOUPS 969591 WITH SCORE 976676.569
AT ITER 1470 NEW BEST:: SOT 12784601 SOS 7084855 HAS SOPS 7081041 HAS SOUS 972966 HAS SOUPS 969591 WITH SCORE 976675.855
AT ITER 1487 NEW BEST:: SOT 12787667 SOS 7088027 HAS SOPS 7084231 HAS SOUS 971795 HAS SOUPS 968438 WITH SCORE 975526.027
AT ITER 1491 NEW BEST:: SOT 12794190 SOS 7094550 HAS SOPS 7090754 HAS SOUS 971212 HAS SOUPS 967855 WITH SCORE 974949.55
AT ITER 1493 NEW BEST:: SOT 12797627 SOS 7097987 HAS SOPS 7094191 HAS SOUS 969198 HAS SOUPS 965841 WITH SCORE 972938.987
AT ITER 1495 NEW BEST:: SOT 12790841 SOS 6379058 HAS SOPS 6375139 HAS SOUS 964539 HAS SOUPS 961181 WITH SCORE 967560.058
AT ITER 1499 NEW BEST:: SOT 12789691 SOS 6377878 HAS SOPS 6373959 HAS SOUS 963299 HAS SOUPS 959941 WITH SCORE 966318.878
AT ITER 1507 NEW BEST:: SOT 12805517 SOS 6399338 HAS SOPS 6395100 HAS SOUS 957336 HAS SOUPS 953718 WITH SCORE 960117.338
AT ITER 1517 NEW BEST:: SOT 12805291 SOS 6396802 HAS SOPS 6392794 HAS SOUS 954716 HAS SOUPS 951324 WITH SCORE 957720.802
AT ITER 1522 NEW BEST:: SOT 12806595 SOS 6400194 HAS SOPS 6396284 HAS SOUS 952514 HAS SOUPS 949220 WITH SCORE 955620.194
AT ITER 1546 NEW BEST:: SOT 12806362 SOS 6400291 HAS SOPS 6396381 HAS SOUS 952411 HAS SOUPS 949117 WITH SCORE 955517.291
AT ITER 1547 NEW BEST:: SOT 12807513 SOS 6401442 HAS SOPS 6397532 HAS SOUS 948453 HAS SOUPS 945159 WITH SCORE 951560.442
AT ITER 1559 NEW BEST:: SOT 12805828 SOS 6399673 HAS SOPS 6395805 HAS SOUS 947856 HAS SOUPS 944583 WITH SCORE 950982.673
AT ITER 1562 NEW BEST:: SOT 12807837 SOS 6401189 HAS SOPS 6397407 HAS SOUS 945782 HAS SOUPS 942595 WITH SCORE 948996.189
AT ITER 1580 NEW BEST:: SOT 12807832 SOS 6401184 HAS SOPS 6397402 HAS SOUS 945644 HAS SOUPS 942457 WITH SCORE 948858.184
AT ITER 1586 NEW BEST:: SOT 12802607 SOS 6395925 HAS SOPS 6392143 HAS SOUS 939939 HAS SOUPS 936752 WITH SCORE 943147.925
AT ITER 1587 NEW BEST:: SOT 12802607 SOS 6395595 HAS SOPS 6391813 HAS SOUS 939774 HAS SOUPS 936587 WITH SCORE 942982.595
AT ITER 1593 NEW BEST:: SOT 12802607 SOS 6394587 HAS SOPS 6390805 HAS SOUS 939774 HAS SOUPS 936587 WITH SCORE 942981.587
AT ITER 1604 NEW BEST:: SOT 12801847 SOS 6393827 HAS SOPS 6390045 HAS SOUS 938272 HAS SOUPS 935085 WITH SCORE 941478.827
AT ITER 1607 NEW BEST:: SOT 12797843 SOS 6389823 HAS SOPS 6386041 HAS SOUS 934373 HAS SOUPS 931186 WITH SCORE 937575.823
AT ITER 1623 NEW BEST:: SOT 12797843 SOS 6389866 HAS SOPS 6386031 HAS SOUS 934305 HAS SOUPS 931065 WITH SCORE 937454.866
AT ITER 1625 NEW BEST:: SOT 12795301 SOS 6387324 HAS SOPS 6383489 HAS SOUS 931763 HAS SOUPS 928523 WITH SCORE 934910.324
AT ITER 1647 NEW BEST:: SOT 12798259 SOS 6390570 HAS SOPS 6386591 HAS SOUS 930142 HAS SOUPS 926830 WITH SCORE 933220.57
AT ITER 1653 NEW BEST:: SOT 12801554 SOS 6400120 HAS SOPS 6396231 HAS SOUS 926371 HAS SOUPS 923149 WITH SCORE 929549.12
AT ITER 1665 NEW BEST:: SOT 12802178 SOS 6400744 HAS SOPS 6396855 HAS SOUS 925891 HAS SOUPS 922669 WITH SCORE 929069.744
AT ITER 1689 NEW BEST:: SOT 12802581 SOS 6401207 HAS SOPS 6397318 HAS SOUS 925603 HAS SOUPS 922381 WITH SCORE 928782.207
AT ITER 1705 NEW BEST:: SOT 12802642 SOS 5496416 HAS SOPS 5491568 HAS SOUS 923197 HAS SOUPS 919741 WITH SCORE 925237.416
AT ITER 1707 NEW BEST:: SOT 12802975 SOS 5496749 HAS SOPS 5491901 HAS SOUS 923178 HAS SOUPS 919722 WITH SCORE 925218.749
AT ITER 1719 NEW BEST:: SOT 12802071 SOS 5495845 HAS SOPS 5490997 HAS SOUS 921271 HAS SOUPS 917815 WITH SCORE 923310.845
AT ITER 1720 NEW BEST:: SOT 12802989 SOS 5537424 HAS SOPS 5531741 HAS SOUS 921228 HAS SOUPS 917445 WITH SCORE 922982.424
AT ITER 1728 NEW BEST:: SOT 12803632 SOS 5538067 HAS SOPS 5532384 HAS SOUS 916371 HAS SOUPS 912588 WITH SCORE 918126.067
AT ITER 1737 NEW BEST:: SOT 12803815 SOS 5540914 HAS SOPS 5535231 HAS SOUS 914610 HAS SOUPS 910827 WITH SCORE 916367.914
AT ITER 1752 NEW BEST:: SOT 12803647 SOS 5540746 HAS SOPS 5535063 HAS SOUS 914358 HAS SOUPS 910575 WITH SCORE 916115.746
AT ITER 1770 NEW BEST:: SOT 12803644 SOS 5540728 HAS SOPS 5535021 HAS SOUS 914352 HAS SOUPS 910545 WITH SCORE 916085.728
AT ITER 1786 NEW BEST:: SOT 12803644 SOS 5540590 HAS SOPS 5534881 HAS SOUS 914243 HAS SOUPS 910434 WITH SCORE 915974.59
AT ITER 1791 NEW BEST:: SOT 12803644 SOS 5540500 HAS SOPS 5534791 HAS SOUS 914198 HAS SOUPS 910389 WITH SCORE 915929.5
AT ITER 1801 NEW BEST:: SOT 12803644 SOS 5540511 HAS SOPS 5534802 HAS SOUS 914170 HAS SOUPS 910361 WITH SCORE 915901.511
AT ITER 1802 NEW BEST:: SOT 12802417 SOS 5539284 HAS SOPS 5533575 HAS SOUS 909868 HAS SOUPS 906059 WITH SCORE 911598.284
AT ITER 1808 NEW BEST:: SOT 12812191 SOS 5550576 HAS SOPS 5544867 HAS SOUS 905405 HAS SOUPS 901596 WITH SCORE 907146.576
AT ITER 1813 NEW BEST:: SOT 12814249 SOS 5553646 HAS SOPS 5549432 HAS SOUS 895593 HAS SOUPS 892986 WITH SCORE 898539.646
AT ITER 1821 NEW BEST:: SOT 12817086 SOS 5556425 HAS SOPS 5552211 HAS SOUS 893708 HAS SOUPS 891101 WITH SCORE 896657.425
AT ITER 1828 NEW BEST:: SOT 12817086 SOS 5556406 HAS SOPS 5552192 HAS SOUS 893689 HAS SOUPS 891082 WITH SCORE 896638.406
AT ITER 1860 NEW BEST:: SOT 12817086 SOS 5556406 HAS SOPS 5552192 HAS SOUS 893614 HAS SOUPS 891007 WITH SCORE 896563.406
AT ITER 1866 NEW BEST:: SOT 12817043 SOS 5556363 HAS SOPS 5552149 HAS SOUS 893113 HAS SOUPS 890506 WITH SCORE 896062.363
AT ITER 1878 NEW BEST:: SOT 12817187 SOS 5557111 HAS SOPS 5552881 HAS SOUS 893017 HAS SOUPS 890406 WITH SCORE 895963.111
AT ITER 1892 NEW BEST:: SOT 12816811 SOS 5556683 HAS SOPS 5552453 HAS SOUS 892136 HAS SOUPS 889525 WITH SCORE 895081.683
AT ITER 1895 NEW BEST:: SOT 12815694 SOS 5555566 HAS SOPS 5551336 HAS SOUS 889851 HAS SOUPS 887240 WITH SCORE 892795.566
AT ITER 1932 NEW BEST:: SOT 12814313 SOS 5554185 HAS SOPS 5549955 HAS SOUS 888451 HAS SOUPS 885840 WITH SCORE 891394.185
AT ITER 1935 NEW BEST:: SOT 12812438 SOS 5552387 HAS SOPS 5548157 HAS SOUS 877394 HAS SOUPS 874783 WITH SCORE 880335.387
AT ITER 1937 NEW BEST:: SOT 12812620 SOS 5552569 HAS SOPS 5548339 HAS SOUS 876177 HAS SOUPS 873566 WITH SCORE 879118.569
AT ITER 1953 NEW BEST:: SOT 12813167 SOS 5553116 HAS SOPS 5548886 HAS SOUS 876140 HAS SOUPS 873529 WITH SCORE 879082.116
AT ITER 1959 NEW BEST:: SOT 12812989 SOS 5552722 HAS SOPS 5548492 HAS SOUS 875959 HAS SOUPS 873348 WITH SCORE 878900.722
AT ITER 1996 NEW BEST:: SOT 12812889 SOS 5552444 HAS SOPS 5548214 HAS SOUS 875799 HAS SOUPS 873188 WITH SCORE 878740.444
AT ITER 2003 NEW BEST:: SOT 12811203 SOS 5550758 HAS SOPS 5546528 HAS SOUS 874535 HAS SOUPS 871924 WITH SCORE 877474.758
AT ITER 2006 NEW BEST:: SOT 12808734 SOS 5548289 HAS SOPS 5544059 HAS SOUS 869400 HAS SOUPS 866789 WITH SCORE 872337.289
AT ITER 2020 NEW BEST:: SOT 12811687 SOS 5551242 HAS SOPS 5547012 HAS SOUS 868362 HAS SOUPS 865751 WITH SCORE 871302.242
AT ITER 2066 NEW BEST:: SOT 12817506 SOS 5573395 HAS SOPS 5569165 HAS SOUS 868008 HAS SOUPS 865397 WITH SCORE 870970.395
AT ITER 2081 NEW BEST:: SOT 12818735 SOS 5573575 HAS SOPS 5569625 HAS SOUS 866163 HAS SOUPS 863552 WITH SCORE 869125.575
AT ITER 2090 NEW BEST:: SOT 12821335 SOS 5576121 HAS SOPS 5572171 HAS SOUS 862467 HAS SOUPS 859856 WITH SCORE 865432.121
AT ITER 2096 NEW BEST:: SOT 12819829 SOS 5573978 HAS SOPS 5570106 HAS SOUS 856869 HAS SOUPS 854336 WITH SCORE 859909.978
AT ITER 2100 NEW BEST:: SOT 12819794 SOS 5573943 HAS SOPS 5570071 HAS SOUS 856834 HAS SOUPS 854301 WITH SCORE 859874.943
AT ITER 2103 NEW BEST:: SOT 12817262 SOS 5571003 HAS SOPS 5567131 HAS SOUS 856458 HAS SOUPS 853925 WITH SCORE 859496.003
AT ITER 2105 NEW BEST:: SOT 12817262 SOS 5570729 HAS SOPS 5566902 HAS SOUS 856438 HAS SOUPS 853925 WITH SCORE 859495.729
AT ITER 2120 NEW BEST:: SOT 12816877 SOS 5570464 HAS SOPS 5566637 HAS SOUS 855717 HAS SOUPS 853204 WITH SCORE 858774.464
AT ITER 2136 NEW BEST:: SOT 12817856 SOS 5573200 HAS SOPS 5569473 HAS SOUS 850976 HAS SOUPS 848563 WITH SCORE 854136.2
AT ITER 2141 NEW BEST:: SOT 12817874 SOS 5573218 HAS SOPS 5569491 HAS SOUS 850639 HAS SOUPS 848226 WITH SCORE 853799.218
AT ITER 2148 NEW BEST:: SOT 12812402 SOS 5568755 HAS SOPS 5565028 HAS SOUS 844498 HAS SOUPS 842085 WITH SCORE 847653.755
AT ITER 2169 NEW BEST:: SOT 12812402 SOS 5575910 HAS SOPS 5572183 HAS SOUS 841929 HAS SOUPS 839516 WITH SCORE 845091.91
AT ITER 2176 NEW BEST:: SOT 12812326 SOS 5575834 HAS SOPS 5572107 HAS SOUS 841772 HAS SOUPS 839359 WITH SCORE 844934.834
AT ITER 2177 NEW BEST:: SOT 12809326 SOS 5572834 HAS SOPS 5569107 HAS SOUS 839365 HAS SOUPS 836952 WITH SCORE 842524.834
AT ITER 2197 NEW BEST:: SOT 12810373 SOS 5573881 HAS SOPS 5570154 HAS SOUS 835114 HAS SOUPS 832701 WITH SCORE 838274.881
AT ITER 2210 NEW BEST:: SOT 12814895 SOS 5578484 HAS SOPS 5574757 HAS SOUS 833945 HAS SOUPS 831532 WITH SCORE 837110.484
AT ITER 2220 NEW BEST:: SOT 12813869 SOS 5577830 HAS SOPS 5574103 HAS SOUS 829111 HAS SOUPS 826698 WITH SCORE 832275.83
AT ITER 2222 NEW BEST:: SOT 12813869 SOS 5582542 HAS SOPS 5578795 HAS SOUS 829074 HAS SOUPS 826661 WITH SCORE 832243.542
AT ITER 2224 NEW BEST:: SOT 12817997 SOS 5586670 HAS SOPS 5582923 HAS SOUS 828973 HAS SOUPS 826560 WITH SCORE 832146.67
AT ITER 2237 NEW BEST:: SOT 12817997 SOS 5586614 HAS SOPS 5582867 HAS SOUS 828945 HAS SOUPS 826532 WITH SCORE 832118.614
AT ITER 2246 NEW BEST:: SOT 12817997 SOS 5585823 HAS SOPS 5582076 HAS SOUS 828945 HAS SOUPS 826532 WITH SCORE 832117.823
AT ITER 2249 NEW BEST:: SOT 12817868 SOS 5585694 HAS SOPS 5581947 HAS SOUS 828239 HAS SOUPS 825826 WITH SCORE 831411.694
AT ITER 2255 NEW BEST:: SOT 12818213 SOS 5586165 HAS SOPS 5582418 HAS SOUS 827339 HAS SOUPS 824926 WITH SCORE 830512.165
AT ITER 2283 NEW BEST:: SOT 12817659 SOS 5585579 HAS SOPS 5581832 HAS SOUS 826785 HAS SOUPS 824372 WITH SCORE 829957.579
AT ITER 2307 NEW BEST:: SOT 12816996 SOS 5584883 HAS SOPS 5581136 HAS SOUS 825473 HAS SOUPS 823060 WITH SCORE 828644.883
AT ITER 2312 NEW BEST:: SOT 12817347 SOS 5585234 HAS SOPS 5581487 HAS SOUS 825326 HAS SOUPS 822913 WITH SCORE 828498.234
AT ITER 2314 NEW BEST:: SOT 12817347 SOS 5585168 HAS SOPS 5581421 HAS SOUS 825293 HAS SOUPS 822880 WITH SCORE 828465.168
AT ITER 2315 NEW BEST:: SOT 12819136 SOS 5587053 HAS SOPS 5583306 HAS SOUS 824751 HAS SOUPS 822338 WITH SCORE 827925.053
AT ITER 2323 NEW BEST:: SOT 12825987 SOS 5600312 HAS SOPS 5596565 HAS SOUS 821537 HAS SOUPS 819124 WITH SCORE 824724.312
AT ITER 2325 NEW BEST:: SOT 12825901 SOS 5600226 HAS SOPS 5596479 HAS SOUS 821451 HAS SOUPS 819038 WITH SCORE 824638.226
AT ITER 2327 NEW BEST:: SOT 12825901 SOS 5600127 HAS SOPS 5596380 HAS SOUS 821352 HAS SOUPS 818939 WITH SCORE 824539.127
AT ITER 2336 NEW BEST:: SOT 12825896 SOS 5600122 HAS SOPS 5596375 HAS SOUS 821347 HAS SOUPS 818934 WITH SCORE 824534.122
AT ITER 2348 NEW BEST:: SOT 12822470 SOS 5596776 HAS SOPS 5593029 HAS SOUS 817691 HAS SOUPS 815278 WITH SCORE 820874.776
AT ITER 2354 NEW BEST:: SOT 12822869 SOS 5597175 HAS SOPS 5593428 HAS SOUS 816915 HAS SOUPS 814502 WITH SCORE 820099.175
AT ITER 2386 NEW BEST:: SOT 12833319 SOS 5607625 HAS SOPS 5603878 HAS SOUS 812342 HAS SOUPS 809929 WITH SCORE 815536.625
AT ITER 2388 NEW BEST:: SOT 12835184 SOS 5609808 HAS SOPS 5606061 HAS SOUS 810796 HAS SOUPS 808383 WITH SCORE 813992.808
AT ITER 2395 NEW BEST:: SOT 12835184 SOS 5609736 HAS SOPS 5605989 HAS SOUS 810796 HAS SOUPS 808383 WITH SCORE 813992.736
AT ITER 2418 NEW BEST:: SOT 12835184 SOS 5609474 HAS SOPS 5605727 HAS SOUS 810665 HAS SOUPS 808252 WITH SCORE 813861.474
AT ITER 2427 NEW BEST:: SOT 12834453 SOS 5608744 HAS SOPS 5604997 HAS SOUS 808249 HAS SOUPS 805836 WITH SCORE 811444.744
AT ITER 2433 NEW BEST:: SOT 12834432 SOS 5608735 HAS SOPS 5604988 HAS SOUS 808169 HAS SOUPS 805756 WITH SCORE 811364.735
AT ITER 2435 NEW BEST:: SOT 12834432 SOS 5608798 HAS SOPS 5605051 HAS SOUS 808160 HAS SOUPS 805747 WITH SCORE 811355.798
AT ITER 2436 NEW BEST:: SOT 12834432 SOS 5608512 HAS SOPS 5604765 HAS SOUS 808017 HAS SOUPS 805604 WITH SCORE 811212.512
AT ITER 2470 NEW BEST:: SOT 12833216 SOS 5607296 HAS SOPS 5603549 HAS SOUS 804557 HAS SOUPS 802144 WITH SCORE 807751.296
AT ITER 2474 NEW BEST:: SOT 12831806 SOS 5603996 HAS SOPS 5600249 HAS SOUS 803120 HAS SOUPS 800707 WITH SCORE 806310.996
AT ITER 2478 NEW BEST:: SOT 12831782 SOS 5603972 HAS SOPS 5600225 HAS SOUS 803075 HAS SOUPS 800662 WITH SCORE 806265.972
AT ITER 2482 NEW BEST:: SOT 12831080 SOS 5602620 HAS SOPS 5598873 HAS SOUS 802373 HAS SOUPS 799960 WITH SCORE 805562.62
AT ITER 2486 NEW BEST:: SOT 12831049 SOS 5602451 HAS SOPS 5598704 HAS SOUS 802357 HAS SOUPS 799944 WITH SCORE 805546.451
AT ITER 2505 NEW BEST:: SOT 12834399 SOS 5610409 HAS SOPS 5606662 HAS SOUS 798013 HAS SOUPS 795600 WITH SCORE 801210.409
AT ITER 2554 NEW BEST:: SOT 12832386 SOS 5608396 HAS SOPS 5604649 HAS SOUS 796282 HAS SOUPS 793869 WITH SCORE 799477.396
AT ITER 2559 NEW BEST:: SOT 12832386 SOS 5606676 HAS SOPS 5602929 HAS SOUS 796281 HAS SOUPS 793868 WITH SCORE 799474.676
AT ITER 2591 NEW BEST:: SOT 12831892 SOS 5606182 HAS SOPS 5602435 HAS SOUS 795898 HAS SOUPS 793485 WITH SCORE 799091.182
AT ITER 2617 NEW BEST:: SOT 12831332 SOS 5462714 HAS SOPS 5458827 HAS SOUS 795156 HAS SOUPS 792710 WITH SCORE 798172.714
AT ITER 2629 NEW BEST:: SOT 12831259 SOS 5462642 HAS SOPS 5458755 HAS SOUS 795098 HAS SOUPS 792652 WITH SCORE 798114.642
AT ITER 2645 NEW BEST:: SOT 12831259 SOS 5462502 HAS SOPS 5458615 HAS SOUS 795063 HAS SOUPS 792617 WITH SCORE 798079.502
AT ITER 2655 NEW BEST:: SOT 12832209 SOS 5463452 HAS SOPS 5459565 HAS SOUS 793280 HAS SOUPS 790834 WITH SCORE 796297.452
AT ITER 2656 NEW BEST:: SOT 12823149 SOS 5444245 HAS SOPS 5440650 HAS SOUS 788478 HAS SOUPS 786105 WITH SCORE 791549.245
AT ITER 2665 NEW BEST:: SOT 12822386 SOS 5443482 HAS SOPS 5439887 HAS SOUS 788202 HAS SOUPS 785829 WITH SCORE 791272.482
AT ITER 2673 NEW BEST:: SOT 12820624 SOS 5441720 HAS SOPS 5438125 HAS SOUS 786409 HAS SOUPS 784036 WITH SCORE 789477.72
AT ITER 2684 NEW BEST:: SOT 12820599 SOS 5440145 HAS SOPS 5436550 HAS SOUS 786409 HAS SOUPS 784036 WITH SCORE 789476.145
AT ITER 2709 NEW BEST:: SOT 12820157 SOS 5439703 HAS SOPS 5436108 HAS SOUS 785856 HAS SOUPS 783483 WITH SCORE 788922.703
AT ITER 2713 NEW BEST:: SOT 12821329 SOS 5440967 HAS SOPS 5437372 HAS SOUS 784018 HAS SOUPS 781645 WITH SCORE 787085.967
AT ITER 2717 NEW BEST:: SOT 12821329 SOS 5440859 HAS SOPS 5437264 HAS SOUS 783964 HAS SOUPS 781591 WITH SCORE 787031.859
AT ITER 2751 NEW BEST:: SOT 12821881 SOS 5441411 HAS SOPS 5437816 HAS SOUS 783844 HAS SOUPS 781471 WITH SCORE 786912.411
AT ITER 2778 NEW BEST:: SOT 12822541 SOS 5442067 HAS SOPS 5438472 HAS SOUS 782295 HAS SOUPS 779922 WITH SCORE 785364.067
AT ITER 2779 NEW BEST:: SOT 12819925 SOS 5420428 HAS SOPS 5417383 HAS SOUS 777779 HAS SOUPS 775657 WITH SCORE 781077.428
AT ITER 2786 NEW BEST:: SOT 12818363 SOS 5418866 HAS SOPS 5415821 HAS SOUS 776485 HAS SOUPS 774363 WITH SCORE 779781.866
AT ITER 2789 NEW BEST:: SOT 12818153 SOS 5418656 HAS SOPS 5415611 HAS SOUS 776275 HAS SOUPS 774153 WITH SCORE 779571.656
AT ITER 2819 NEW BEST:: SOT 12817421 SOS 5418052 HAS SOPS 5414983 HAS SOUS 774783 HAS SOUPS 772641 WITH SCORE 778059.052
AT ITER 2827 NEW BEST:: SOT 12814843 SOS 5413846 HAS SOPS 5410777 HAS SOUS 773666 HAS SOUPS 771524 WITH SCORE 776937.846
AT ITER 2835 NEW BEST:: SOT 12814720 SOS 5413723 HAS SOPS 5410654 HAS SOUS 773543 HAS SOUPS 771401 WITH SCORE 776814.723
AT ITER 2864 NEW BEST:: SOT 12817980 SOS 5416983 HAS SOPS 5413914 HAS SOUS 773163 HAS SOUPS 771021 WITH SCORE 776437.983
AT ITER 2921 NEW BEST:: SOT 12817980 SOS 5416963 HAS SOPS 5413894 HAS SOUS 773153 HAS SOUPS 771011 WITH SCORE 776427.963
AT ITER 2937 NEW BEST:: SOT 12817806 SOS 5416393 HAS SOPS 5413324 HAS SOUS 772784 HAS SOUPS 770642 WITH SCORE 776058.393
AT ITER 2939 NEW BEST:: SOT 12817617 SOS 5416204 HAS SOPS 5413135 HAS SOUS 772396 HAS SOUPS 770254 WITH SCORE 775670.204
AT ITER 2946 NEW BEST:: SOT 12817279 SOS 5415866 HAS SOPS 5412797 HAS SOUS 772145 HAS SOUPS 770003 WITH SCORE 775418.866
AT ITER 2955 NEW BEST:: SOT 12818347 SOS 5468928 HAS SOPS 5463835 HAS SOUS 768976 HAS SOUPS 766341 WITH SCORE 771809.928
AT ITER 2958 NEW BEST:: SOT 12817003 SOS 5466905 HAS SOPS 5461835 HAS SOUS 767082 HAS SOUPS 764466 WITH SCORE 769932.905
AT ITER 2978 NEW BEST:: SOT 12817003 SOS 5466245 HAS SOPS 5461175 HAS SOUS 767082 HAS SOUPS 764466 WITH SCORE 769932.245
AT ITER 2987 NEW BEST:: SOT 12816721 SOS 5465549 HAS SOPS 5460491 HAS SOUS 766938 HAS SOUPS 764325 WITH SCORE 769790.549
AT ITER 3011 NEW BEST:: SOT 12816721 SOS 5464109 HAS SOPS 5459051 HAS SOUS 766882 HAS SOUPS 764269 WITH SCORE 769733.109
AT ITER 3019 NEW BEST:: SOT 12816721 SOS 5464106 HAS SOPS 5459045 HAS SOUS 766876 HAS SOUPS 764263 WITH SCORE 769727.106
AT ITER 3023 NEW BEST:: SOT 12816198 SOS 5463583 HAS SOPS 5458522 HAS SOUS 766460 HAS SOUPS 763847 WITH SCORE 769310.583
AT ITER 3024 NEW BEST:: SOT 12814503 SOS 5461708 HAS SOPS 5456647 HAS SOUS 764800 HAS SOUPS 762187 WITH SCORE 767648.708
AT ITER 3033 NEW BEST:: SOT 12814503 SOS 5461424 HAS SOPS 5456363 HAS SOUS 764729 HAS SOUPS 762116 WITH SCORE 767577.424
AT ITER 3044 NEW BEST:: SOT 12814503 SOS 5460088 HAS SOPS 5455027 HAS SOUS 764673 HAS SOUPS 762060 WITH SCORE 767520.088
AT ITER 3045 NEW BEST:: SOT 12814503 SOS 5459728 HAS SOPS 5454667 HAS SOUS 764673 HAS SOUPS 762060 WITH SCORE 767519.728
AT ITER 3052 NEW BEST:: SOT 12814343 SOS 5459523 HAS SOPS 5454471 HAS SOUS 764340 HAS SOUPS 761736 WITH SCORE 767195.523
AT ITER 3056 NEW BEST:: SOT 12814582 SOS 5460882 HAS SOPS 5455830 HAS SOUS 763786 HAS SOUPS 761182 WITH SCORE 766642.882
AT ITER 3070 NEW BEST:: SOT 12814582 SOS 5460722 HAS SOPS 5455670 HAS SOUS 763706 HAS SOUPS 761102 WITH SCORE 766562.722
AT ITER 3090 NEW BEST:: SOT 12814578 SOS 5460718 HAS SOPS 5455666 HAS SOUS 763702 HAS SOUPS 761098 WITH SCORE 766558.718
AT ITER 3119 NEW BEST:: SOT 12816369 SOS 5463217 HAS SOPS 5458165 HAS SOUS 763022 HAS SOUPS 760418 WITH SCORE 765881.217
AT ITER 3132 NEW BEST:: SOT 12817883 SOS 5464731 HAS SOPS 5459679 HAS SOUS 760285 HAS SOUPS 757681 WITH SCORE 763145.731
AT ITER 3152 NEW BEST:: SOT 12817879 SOS 5464727 HAS SOPS 5459675 HAS SOUS 760281 HAS SOUPS 757677 WITH SCORE 763141.727
AT ITER 3212 NEW BEST:: SOT 12817872 SOS 5464684 HAS SOPS 5459632 HAS SOUS 760271 HAS SOUPS 757667 WITH SCORE 763131.684
AT ITER 3236 NEW BEST:: SOT 12821117 SOS 5468901 HAS SOPS 5463849 HAS SOUS 758240 HAS SOUPS 755636 WITH SCORE 761104.901
AT ITER 3237 NEW BEST:: SOT 12821092 SOS 5468876 HAS SOPS 5463824 HAS SOUS 758215 HAS SOUPS 755611 WITH SCORE 761079.876
AT ITER 3261 NEW BEST:: SOT 12817832 SOS 5461546 HAS SOPS 5456494 HAS SOUS 755139 HAS SOUPS 752535 WITH SCORE 757996.546
AT ITER 3266 NEW BEST:: SOT 12817832 SOS 5461473 HAS SOPS 5456421 HAS SOUS 755066 HAS SOUPS 752462 WITH SCORE 757923.473
AT ITER 3270 NEW BEST:: SOT 12817349 SOS 5460990 HAS SOPS 5455938 HAS SOUS 754868 HAS SOUPS 752264 WITH SCORE 757724.99
AT ITER 3285 NEW BEST:: SOT 12813519 SOS 5457291 HAS SOPS 5452239 HAS SOUS 751670 HAS SOUPS 749066 WITH SCORE 754523.291
AT ITER 3287 NEW BEST:: SOT 12813747 SOS 5457585 HAS SOPS 5452553 HAS SOUS 751455 HAS SOUPS 748871 WITH SCORE 754328.585
AT ITER 3291 NEW BEST:: SOT 12817385 SOS 5474667 HAS SOPS 5469635 HAS SOUS 749845 HAS SOUPS 747261 WITH SCORE 752735.667
AT ITER 3299 NEW BEST:: SOT 12817385 SOS 5474269 HAS SOPS 5469237 HAS SOUS 749646 HAS SOUPS 747062 WITH SCORE 752536.269
AT ITER 3318 NEW BEST:: SOT 12817432 SOS 5474316 HAS SOPS 5469284 HAS SOUS 749605 HAS SOUPS 747021 WITH SCORE 752495.316
AT ITER 3322 NEW BEST:: SOT 12819260 SOS 5476144 HAS SOPS 5471112 HAS SOUS 748753 HAS SOUPS 746169 WITH SCORE 751645.144
AT ITER 3328 NEW BEST:: SOT 12817738 SOS 5474622 HAS SOPS 5469590 HAS SOUS 748049 HAS SOUPS 745465 WITH SCORE 750939.622
AT ITER 3335 NEW BEST:: SOT 12817738 SOS 5474370 HAS SOPS 5469338 HAS SOUS 747923 HAS SOUPS 745339 WITH SCORE 750813.37
AT ITER 3337 NEW BEST:: SOT 12817781 SOS 5474413 HAS SOPS 5469381 HAS SOUS 745927 HAS SOUPS 743343 WITH SCORE 748817.413
AT ITER 3347 NEW BEST:: SOT 12814650 SOS 5471282 HAS SOPS 5466250 HAS SOUS 745408 HAS SOUPS 742824 WITH SCORE 748295.282
AT ITER 3366 NEW BEST:: SOT 12814585 SOS 5471217 HAS SOPS 5466185 HAS SOUS 745343 HAS SOUPS 742759 WITH SCORE 748230.217
AT ITER 3384 NEW BEST:: SOT 12814638 SOS 5438497 HAS SOPS 5435477 HAS SOUS 739780 HAS SOUPS 737674 WITH SCORE 743112.497
AT ITER 3403 NEW BEST:: SOT 12813638 SOS 5437452 HAS SOPS 5434432 HAS SOUS 738752 HAS SOUPS 736646 WITH SCORE 742083.452
AT ITER 3419 NEW BEST:: SOT 12813557 SOS 5437371 HAS SOPS 5434351 HAS SOUS 738671 HAS SOUPS 736565 WITH SCORE 742002.371
AT ITER 3432 NEW BEST:: SOT 12813347 SOS 5437161 HAS SOPS 5434141 HAS SOUS 738238 HAS SOUPS 736132 WITH SCORE 741569.161
AT ITER 3438 NEW BEST:: SOT 12813347 SOS 5438701 HAS SOPS 5435709 HAS SOUS 737984 HAS SOUPS 735906 WITH SCORE 741344.701
AT ITER 3464 NEW BEST:: SOT 12813347 SOS 5438125 HAS SOPS 5435133 HAS SOUS 737984 HAS SOUPS 735906 WITH SCORE 741344.125
AT ITER 3472 NEW BEST:: SOT 12812643 SOS 5437421 HAS SOPS 5434429 HAS SOUS 736526 HAS SOUPS 734448 WITH SCORE 739885.421
AT ITER 3473 NEW BEST:: SOT 12812621 SOS 5436463 HAS SOPS 5433471 HAS SOUS 736482 HAS SOUPS 734404 WITH SCORE 739840.463
AT ITER 3502 NEW BEST:: SOT 12812337 SOS 5436179 HAS SOPS 5433187 HAS SOUS 735717 HAS SOUPS 733639 WITH SCORE 739075.179
AT ITER 3519 NEW BEST:: SOT 12812337 SOS 5436283 HAS SOPS 5433291 HAS SOUS 735687 HAS SOUPS 733609 WITH SCORE 739045.283
AT ITER 3544 NEW BEST:: SOT 12814514 SOS 5437875 HAS SOPS 5434966 HAS SOUS 733262 HAS SOUPS 731267 WITH SCORE 736704.875
AT ITER 3555 NEW BEST:: SOT 12815247 SOS 5438608 HAS SOPS 5435699 HAS SOUS 731945 HAS SOUPS 729950 WITH SCORE 735388.608
AT ITER 3624 NEW BEST:: SOT 12817089 SOS 5440450 HAS SOPS 5437541 HAS SOUS 731576 HAS SOUPS 729581 WITH SCORE 735021.45
AT ITER 3626 NEW BEST:: SOT 12817057 SOS 5440418 HAS SOPS 5437509 HAS SOUS 731576 HAS SOUPS 729581 WITH SCORE 735021.418
AT ITER 3630 NEW BEST:: SOT 12819249 SOS 5444078 HAS SOPS 5441186 HAS SOUS 730232 HAS SOUPS 728254 WITH SCORE 733698.078
AT ITER 3643 NEW BEST:: SOT 12819244 SOS 5443763 HAS SOPS 5440871 HAS SOUS 730232 HAS SOUPS 728254 WITH SCORE 733697.763
AT ITER 3662 NEW BEST:: SOT 12817243 SOS 5441762 HAS SOPS 5438870 HAS SOUS 729201 HAS SOUPS 727223 WITH SCORE 732664.762
AT ITER 3672 NEW BEST:: SOT 12822734 SOS 5447253 HAS SOPS 5444361 HAS SOUS 728565 HAS SOUPS 726587 WITH SCORE 732034.253
AT ITER 3699 NEW BEST:: SOT 12822720 SOS 5447239 HAS SOPS 5444347 HAS SOUS 728551 HAS SOUPS 726573 WITH SCORE 732020.239
AT ITER 3709 NEW BEST:: SOT 12822720 SOS 5447217 HAS SOPS 5444325 HAS SOUS 728522 HAS SOUPS 726544 WITH SCORE 731991.217
AT ITER 3723 NEW BEST:: SOT 12822824 SOS 5447321 HAS SOPS 5444429 HAS SOUS 728041 HAS SOUPS 726063 WITH SCORE 731510.321
AT ITER 3730 NEW BEST:: SOT 12821480 SOS 5440289 HAS SOPS 5437397 HAS SOUS 727415 HAS SOUPS 725437 WITH SCORE 730877.289
AT ITER 3736 NEW BEST:: SOT 12817419 SOS 5436228 HAS SOPS 5433336 HAS SOUS 724526 HAS SOUPS 722548 WITH SCORE 727984.228
AT ITER 3737 NEW BEST:: SOT 12830603 SOS 5451766 HAS SOPS 5448961 HAS SOUS 722063 HAS SOUPS 720085 WITH SCORE 725536.766
AT ITER 3739 NEW BEST:: SOT 12832350 SOS 5453513 HAS SOPS 5450708 HAS SOUS 722030 HAS SOUPS 720052 WITH SCORE 725505.513
AT ITER 3745 NEW BEST:: SOT 12832350 SOS 5453359 HAS SOPS 5450554 HAS SOUS 721953 HAS SOUPS 719975 WITH SCORE 725428.359
AT ITER 3750 NEW BEST:: SOT 12832078 SOS 5452793 HAS SOPS 5450030 HAS SOUS 721526 HAS SOUPS 719590 WITH SCORE 725042.793
AT ITER 3805 NEW BEST:: SOT 12832078 SOS 5460660 HAS SOPS 5457897 HAS SOUS 721512 HAS SOUPS 719576 WITH SCORE 725036.66
AT ITER 3827 NEW BEST:: SOT 12829332 SOS 5457914 HAS SOPS 5455151 HAS SOUS 718877 HAS SOUPS 716941 WITH SCORE 722398.914
AT ITER 3839 NEW BEST:: SOT 12832148 SOS 5468218 HAS SOPS 5465455 HAS SOUS 718474 HAS SOUPS 716538 WITH SCORE 722006.218
AT ITER 3879 NEW BEST:: SOT 12830447 SOS 5447826 HAS SOPS 5445063 HAS SOUS 717917 HAS SOUPS 715981 WITH SCORE 721428.826
AT ITER 3891 NEW BEST:: SOT 12830447 SOS 5447796 HAS SOPS 5445033 HAS SOUS 717902 HAS SOUPS 715966 WITH SCORE 721413.796
AT ITER 3900 NEW BEST:: SOT 12830199 SOS 5447548 HAS SOPS 5444785 HAS SOUS 717779 HAS SOUPS 715843 WITH SCORE 721290.548
AT ITER 3922 NEW BEST:: SOT 12829597 SOS 5453767 HAS SOPS 5451004 HAS SOUS 717274 HAS SOUPS 715338 WITH SCORE 720791.767
AT ITER 3940 NEW BEST:: SOT 12830699 SOS 5454921 HAS SOPS 5452158 HAS SOUS 716627 HAS SOUPS 714691 WITH SCORE 720145.921
AT ITER 3944 NEW BEST:: SOT 12834393 SOS 5463416 HAS SOPS 5460756 HAS SOUS 716546 HAS SOUPS 714681 WITH SCORE 720144.416
AT ITER 3969 NEW BEST:: SOT 12833694 SOS 5462717 HAS SOPS 5460057 HAS SOUS 715445 HAS SOUPS 713580 WITH SCORE 719042.717
AT ITER 3975 NEW BEST:: SOT 12832066 SOS 5461028 HAS SOPS 5458339 HAS SOUS 715063 HAS SOUPS 713169 WITH SCORE 718630.028
AT ITER 3978 NEW BEST:: SOT 12832066 SOS 5461014 HAS SOPS 5458325 HAS SOUS 715056 HAS SOUPS 713162 WITH SCORE 718623.014
AT ITER 3979 NEW BEST:: SOT 12830938 SOS 5459886 HAS SOPS 5457197 HAS SOUS 713944 HAS SOUPS 712050 WITH SCORE 717509.886
AT ITER 4024 NEW BEST:: SOT 12828825 SOS 5456693 HAS SOPS 5454004 HAS SOUS 712911 HAS SOUPS 711017 WITH SCORE 716473.693
AT ITER 4042 NEW BEST:: SOT 12827365 SOS 5455233 HAS SOPS 5452544 HAS SOUS 711175 HAS SOUPS 709281 WITH SCORE 714736.233
AT ITER 4061 NEW BEST:: SOT 12830052 SOS 5457920 HAS SOPS 5455231 HAS SOUS 710558 HAS SOUPS 708664 WITH SCORE 714121.92
AT ITER 4065 NEW BEST:: SOT 12828666 SOS 5456534 HAS SOPS 5453845 HAS SOUS 709172 HAS SOUPS 707278 WITH SCORE 712734.534
AT ITER 4079 NEW BEST:: SOT 12828666 SOS 5456534 HAS SOPS 5453845 HAS SOUS 709121 HAS SOUPS 707227 WITH SCORE 712683.534
AT ITER 4112 NEW BEST:: SOT 12828552 SOS 5456500 HAS SOPS 5453811 HAS SOUS 708923 HAS SOUPS 707029 WITH SCORE 712485.5
AT ITER 4124 NEW BEST:: SOT 12827409 SOS 5455048 HAS SOPS 5452440 HAS SOUS 706499 HAS SOUPS 704686 WITH SCORE 710141.048
AT ITER 4149 NEW BEST:: SOT 12822252 SOS 5429552 HAS SOPS 5426944 HAS SOUS 704073 HAS SOUPS 702260 WITH SCORE 707689.552
AT ITER 4152 NEW BEST:: SOT 12822252 SOS 5429572 HAS SOPS 5426959 HAS SOUS 704070 HAS SOUPS 702255 WITH SCORE 707684.572
AT ITER 4155 NEW BEST:: SOT 12822252 SOS 5429607 HAS SOPS 5426988 HAS SOUS 704064 HAS SOUPS 702249 WITH SCORE 707678.607
AT ITER 4159 NEW BEST:: SOT 12823275 SOS 5432010 HAS SOPS 5429391 HAS SOUS 702576 HAS SOUPS 700761 WITH SCORE 706193.01
AT ITER 4161 NEW BEST:: SOT 12823210 SOS 5431945 HAS SOPS 5429326 HAS SOUS 702444 HAS SOUPS 700629 WITH SCORE 706060.945
AT ITER 4177 NEW BEST:: SOT 12823210 SOS 5434393 HAS SOPS 5431774 HAS SOUS 701994 HAS SOUPS 700179 WITH SCORE 705613.393
AT ITER 4185 NEW BEST:: SOT 12823187 SOS 5433681 HAS SOPS 5431062 HAS SOUS 701992 HAS SOUPS 700177 WITH SCORE 705610.681
AT ITER 4187 NEW BEST:: SOT 12822509 SOS 5433462 HAS SOPS 5431045 HAS SOUS 700647 HAS SOUPS 699034 WITH SCORE 704467.462
AT ITER 4221 NEW BEST:: SOT 12821509 SOS 5455874 HAS SOPS 5453457 HAS SOUS 698921 HAS SOUPS 697308 WITH SCORE 702763.874
AT ITER 4224 NEW BEST:: SOT 12821391 SOS 5455597 HAS SOPS 5453200 HAS SOUS 698063 HAS SOUPS 696470 WITH SCORE 701925.597
AT ITER 4263 NEW BEST:: SOT 12821360 SOS 5455566 HAS SOPS 5453169 HAS SOUS 698032 HAS SOUPS 696439 WITH SCORE 701894.566
AT ITER 4276 NEW BEST:: SOT 12819381 SOS 5453572 HAS SOPS 5451175 HAS SOUS 695095 HAS SOUPS 693502 WITH SCORE 698955.572
AT ITER 4295 NEW BEST:: SOT 12818456 SOS 5452647 HAS SOPS 5450250 HAS SOUS 693421 HAS SOUPS 691828 WITH SCORE 697280.647
AT ITER 4297 NEW BEST:: SOT 12818456 SOS 5448823 HAS SOPS 5446426 HAS SOUS 693365 HAS SOUPS 691772 WITH SCORE 697220.823
AT ITER 4304 NEW BEST:: SOT 12818939 SOS 5451053 HAS SOPS 5448656 HAS SOUS 692485 HAS SOUPS 690892 WITH SCORE 696343.053
AT ITER 4326 NEW BEST:: SOT 12818939 SOS 5451053 HAS SOPS 5448656 HAS SOUS 692472 HAS SOUPS 690879 WITH SCORE 696330.053
AT ITER 4333 NEW BEST:: SOT 12816906 SOS 5449020 HAS SOPS 5446623 HAS SOUS 691172 HAS SOUPS 689579 WITH SCORE 695028.02
AT ITER 4335 NEW BEST:: SOT 12812665 SOS 5444779 HAS SOPS 5442382 HAS SOUS 689928 HAS SOUPS 688335 WITH SCORE 693779.779
AT ITER 4336 NEW BEST:: SOT 12812958 SOS 5448320 HAS SOPS 5445845 HAS SOUS 689288 HAS SOUPS 687673 WITH SCORE 693121.32
AT ITER 4358 NEW BEST:: SOT 12812958 SOS 5443802 HAS SOPS 5441671 HAS SOUS 688900 HAS SOUPS 687381 WITH SCORE 692824.802
AT ITER 4442 NEW BEST:: SOT 12812958 SOS 5443772 HAS SOPS 5441641 HAS SOUS 688870 HAS SOUPS 687351 WITH SCORE 692794.772
AT ITER 4451 NEW BEST:: SOT 12809779 SOS 5442033 HAS SOPS 5439902 HAS SOUS 686877 HAS SOUPS 685358 WITH SCORE 690800.033
AT ITER 4452 NEW BEST:: SOT 12810678 SOS 5444992 HAS SOPS 5442865 HAS SOUS 685388 HAS SOUPS 683873 WITH SCORE 689317.992
AT ITER 4456 NEW BEST:: SOT 12810678 SOS 5443456 HAS SOPS 5441329 HAS SOUS 685364 HAS SOUPS 683849 WITH SCORE 689292.456
AT ITER 4477 NEW BEST:: SOT 12810310 SOS 5443088 HAS SOPS 5440961 HAS SOUS 684619 HAS SOUPS 683104 WITH SCORE 688547.088
AT ITER 4491 NEW BEST:: SOT 12810310 SOS 5443069 HAS SOPS 5440942 HAS SOUS 684581 HAS SOUPS 683066 WITH SCORE 688509.069
AT ITER 4493 NEW BEST:: SOT 12810764 SOS 5443523 HAS SOPS 5441396 HAS SOUS 684058 HAS SOUPS 682543 WITH SCORE 687986.523
AT ITER 4503 NEW BEST:: SOT 12810756 SOS 5443515 HAS SOPS 5441388 HAS SOUS 684050 HAS SOUPS 682535 WITH SCORE 687978.515
AT ITER 4530 NEW BEST:: SOT 12810756 SOS 5443483 HAS SOPS 5441356 HAS SOUS 684046 HAS SOUPS 682531 WITH SCORE 687974.483
AT ITER 4567 NEW BEST:: SOT 12810214 SOS 5442921 HAS SOPS 5440794 HAS SOUS 682280 HAS SOUPS 680765 WITH SCORE 686207.921
AT ITER 4578 NEW BEST:: SOT 12810214 SOS 5442899 HAS SOPS 5440772 HAS SOUS 682269 HAS SOUPS 680754 WITH SCORE 686196.899
AT ITER 4588 NEW BEST:: SOT 12808554 SOS 5441239 HAS SOPS 5439112 HAS SOUS 680632 HAS SOUPS 679117 WITH SCORE 684558.239
AT ITER 4595 NEW BEST:: SOT 12806109 SOS 5438794 HAS SOPS 5436667 HAS SOUS 679837 HAS SOUPS 678322 WITH SCORE 683760.794
AT ITER 4596 NEW BEST:: SOT 12806109 SOS 5439545 HAS SOPS 5437418 HAS SOUS 678594 HAS SOUPS 677079 WITH SCORE 682518.545
AT ITER 4641 NEW BEST:: SOT 12803346 SOS 5436782 HAS SOPS 5434655 HAS SOUS 677060 HAS SOUPS 675545 WITH SCORE 680981.782
AT ITER 4646 NEW BEST:: SOT 12803346 SOS 5436644 HAS SOPS 5434517 HAS SOUS 676426 HAS SOUPS 674911 WITH SCORE 680347.644
AT ITER 4679 NEW BEST:: SOT 12807110 SOS 5441642 HAS SOPS 5439515 HAS SOUS 675764 HAS SOUPS 674249 WITH SCORE 679690.642
AT ITER 4681 NEW BEST:: SOT 12810955 SOS 5445783 HAS SOPS 5443656 HAS SOUS 671856 HAS SOUPS 670341 WITH SCORE 675786.783
AT ITER 4730 NEW BEST:: SOT 12810950 SOS 5445780 HAS SOPS 5443658 HAS SOUS 671784 HAS SOUPS 670274 WITH SCORE 675719.78
AT ITER 4754 NEW BEST:: SOT 12810950 SOS 5445980 HAS SOPS 5443858 HAS SOUS 671569 HAS SOUPS 670059 WITH SCORE 675504.98
AT ITER 4759 NEW BEST:: SOT 12807476 SOS 5442506 HAS SOPS 5440384 HAS SOUS 668805 HAS SOUPS 667295 WITH SCORE 672737.506
AT ITER 4774 NEW BEST:: SOT 12807476 SOS 5441858 HAS SOPS 5439736 HAS SOUS 668805 HAS SOUPS 667295 WITH SCORE 672736.858
AT ITER 4810 NEW BEST:: SOT 12808130 SOS 5463010 HAS SOPS 5460888 HAS SOUS 666743 HAS SOUPS 665233 WITH SCORE 670696.01
AT ITER 4845 NEW BEST:: SOT 12807890 SOS 5462770 HAS SOPS 5460648 HAS SOUS 666509 HAS SOUPS 664999 WITH SCORE 670461.77
AT ITER 4869 NEW BEST:: SOT 12808014 SOS 5462984 HAS SOPS 5460880 HAS SOUS 666205 HAS SOUPS 664695 WITH SCORE 670157.984
AT ITER 4876 NEW BEST:: SOT 12808014 SOS 5462920 HAS SOPS 5460816 HAS SOUS 666173 HAS SOUPS 664663 WITH SCORE 670125.92
AT ITER 4888 NEW BEST:: SOT 12807697 SOS 5462603 HAS SOPS 5460499 HAS SOUS 665529 HAS SOUPS 664019 WITH SCORE 669481.603
AT ITER 4980 NEW BEST:: SOT 12805263 SOS 5460169 HAS SOPS 5458065 HAS SOUS 665500 HAS SOUPS 663990 WITH SCORE 669450.169
AT ITER 4999 NEW BEST:: SOT 12805263 SOS 5460167 HAS SOPS 5458063 HAS SOUS 665500 HAS SOUPS 663990 WITH SCORE 669450.167
AT ITER 5029 NEW BEST:: SOT 12802632 SOS 5457536 HAS SOPS 5455432 HAS SOUS 657374 HAS SOUPS 655864 WITH SCORE 661321.536
AT ITER 5040 NEW BEST:: SOT 12801884 SOS 5456788 HAS SOPS 5454684 HAS SOUS 655614 HAS SOUPS 654104 WITH SCORE 659560.788
AT ITER 5052 NEW BEST:: SOT 12801731 SOS 5456635 HAS SOPS 5454531 HAS SOUS 655531 HAS SOUPS 654021 WITH SCORE 659477.635
AT ITER 5066 NEW BEST:: SOT 12801731 SOS 5456380 HAS SOPS 5454345 HAS SOUS 655490 HAS SOUPS 654019 WITH SCORE 659475.38
AT ITER 5080 NEW BEST:: SOT 12801271 SOS 5455920 HAS SOPS 5453885 HAS SOUS 655202 HAS SOUPS 653731 WITH SCORE 659186.92
AT ITER 5084 NEW BEST:: SOT 12801312 SOS 5455951 HAS SOPS 5453916 HAS SOUS 654983 HAS SOUPS 653512 WITH SCORE 658967.951
AT ITER 5098 NEW BEST:: SOT 12799623 SOS 5454262 HAS SOPS 5452227 HAS SOUS 654941 HAS SOUPS 653470 WITH SCORE 658924.262
AT ITER 5141 NEW BEST:: SOT 12799501 SOS 5454140 HAS SOPS 5452105 HAS SOUS 654695 HAS SOUPS 653224 WITH SCORE 658678.14
AT ITER 5142 NEW BEST:: SOT 12799501 SOS 5454130 HAS SOPS 5452095 HAS SOUS 654690 HAS SOUPS 653219 WITH SCORE 658673.13
AT ITER 5155 NEW BEST:: SOT 12799501 SOS 5458900 HAS SOPS 5456865 HAS SOUS 654674 HAS SOUPS 653203 WITH SCORE 658661.9
AT ITER 5158 NEW BEST:: SOT 12799500 SOS 5458899 HAS SOPS 5456864 HAS SOUS 654673 HAS SOUPS 653202 WITH SCORE 658660.899
AT ITER 5193 NEW BEST:: SOT 12799486 SOS 5458885 HAS SOPS 5456850 HAS SOUS 654671 HAS SOUPS 653200 WITH SCORE 658658.885
AT ITER 5207 NEW BEST:: SOT 12794820 SOS 5448687 HAS SOPS 5446628 HAS SOUS 653676 HAS SOUPS 652181 WITH SCORE 657629.687
AT ITER 5264 NEW BEST:: SOT 12801800 SOS 5461492 HAS SOPS 5459433 HAS SOUS 652926 HAS SOUPS 651431 WITH SCORE 656892.492
AT ITER 5274 NEW BEST:: SOT 12801800 SOS 5461492 HAS SOPS 5459433 HAS SOUS 652924 HAS SOUPS 651429 WITH SCORE 656890.492
AT ITER 5285 NEW BEST:: SOT 12801752 SOS 5461444 HAS SOPS 5459385 HAS SOUS 652876 HAS SOUPS 651381 WITH SCORE 656842.444
AT ITER 5317 NEW BEST:: SOT 12801751 SOS 5461443 HAS SOPS 5459384 HAS SOUS 652875 HAS SOUPS 651380 WITH SCORE 656841.443
AT ITER 5333 NEW BEST:: SOT 12801751 SOS 5459256 HAS SOPS 5457197 HAS SOUS 652817 HAS SOUPS 651322 WITH SCORE 656781.256
AT ITER 5337 NEW BEST:: SOT 12800343 SOS 5457848 HAS SOPS 5455789 HAS SOUS 649942 HAS SOUPS 648447 WITH SCORE 653904.848
AT ITER 5358 NEW BEST:: SOT 12800314 SOS 5457819 HAS SOPS 5455760 HAS SOUS 649913 HAS SOUPS 648418 WITH SCORE 653875.819
AT ITER 5360 NEW BEST:: SOT 12800184 SOS 5457689 HAS SOPS 5455630 HAS SOUS 649648 HAS SOUPS 648153 WITH SCORE 653610.689
AT ITER 5364 NEW BEST:: SOT 12800042 SOS 5457547 HAS SOPS 5455488 HAS SOUS 649380 HAS SOUPS 647885 WITH SCORE 653342.547
AT ITER 5377 NEW BEST:: SOT 12800729 SOS 5459947 HAS SOPS 5457888 HAS SOUS 647730 HAS SOUPS 646235 WITH SCORE 651694.947
AT ITER 5383 NEW BEST:: SOT 12800684 SOS 5459830 HAS SOPS 5457769 HAS SOUS 647731 HAS SOUPS 646234 WITH SCORE 651693.83
AT ITER 5409 NEW BEST:: SOT 12795884 SOS 5455030 HAS SOPS 5452969 HAS SOUS 644010 HAS SOUPS 642513 WITH SCORE 647968.03
AT ITER 5493 NEW BEST:: SOT 12793944 SOS 5453090 HAS SOPS 5451029 HAS SOUS 642289 HAS SOUPS 640792 WITH SCORE 646245.09
AT ITER 5494 NEW BEST:: SOT 12796147 SOS 5460395 HAS SOPS 5458334 HAS SOUS 642191 HAS SOUPS 640694 WITH SCORE 646154.395
AT ITER 5520 NEW BEST:: SOT 12796147 SOS 5459963 HAS SOPS 5457902 HAS SOUS 642191 HAS SOUPS 640694 WITH SCORE 646153.963
AT ITER 5529 NEW BEST:: SOT 12796812 SOS 5466216 HAS SOPS 5464067 HAS SOUS 642125 HAS SOUPS 640627 WITH SCORE 646093.216
AT ITER 5566 NEW BEST:: SOT 12787105 SOS 5450245 HAS SOPS 5448096 HAS SOUS 637666 HAS SOUPS 636168 WITH SCORE 641618.245
AT ITER 5567 NEW BEST:: SOT 12786877 SOS 5450017 HAS SOPS 5447868 HAS SOUS 637396 HAS SOUPS 635898 WITH SCORE 641348.017
AT ITER 5572 NEW BEST:: SOT 12786877 SOS 5456377 HAS SOPS 5454228 HAS SOUS 636755 HAS SOUPS 635257 WITH SCORE 640713.377
AT ITER 5591 NEW BEST:: SOT 12788552 SOS 5466589 HAS SOPS 5464470 HAS SOUS 636389 HAS SOUPS 634921 WITH SCORE 640387.589
AT ITER 5616 NEW BEST:: SOT 12788227 SOS 5466264 HAS SOPS 5464145 HAS SOUS 635732 HAS SOUPS 634264 WITH SCORE 639730.264
AT ITER 5656 NEW BEST:: SOT 12789769 SOS 5467806 HAS SOPS 5465687 HAS SOUS 635629 HAS SOUPS 634161 WITH SCORE 639628.806
AT ITER 5671 NEW BEST:: SOT 12785359 SOS 5463396 HAS SOPS 5461277 HAS SOUS 632052 HAS SOUPS 630584 WITH SCORE 636047.396
AT ITER 5708 NEW BEST:: SOT 12785491 SOS 5463528 HAS SOPS 5461409 HAS SOUS 632042 HAS SOUPS 630574 WITH SCORE 636037.528
AT ITER 5713 NEW BEST:: SOT 12785477 SOS 5463514 HAS SOPS 5461395 HAS SOUS 632028 HAS SOUPS 630560 WITH SCORE 636023.514
AT ITER 5736 NEW BEST:: SOT 12790231 SOS 5449829 HAS SOPS 5448288 HAS SOUS 630412 HAS SOUPS 629258 WITH SCORE 634707.829
AT ITER 5745 NEW BEST:: SOT 12791337 SOS 5452375 HAS SOPS 5450834 HAS SOUS 629630 HAS SOUPS 628476 WITH SCORE 633928.375
AT ITER 5766 NEW BEST:: SOT 12790810 SOS 5451811 HAS SOPS 5450270 HAS SOUS 629309 HAS SOUPS 628155 WITH SCORE 633606.811
AT ITER 5809 NEW BEST:: SOT 12789619 SOS 5450152 HAS SOPS 5448611 HAS SOUS 626532 HAS SOUPS 625378 WITH SCORE 630828.152
AT ITER 5818 NEW BEST:: SOT 12789861 SOS 5450394 HAS SOPS 5448853 HAS SOUS 625903 HAS SOUPS 624749 WITH SCORE 630199.394
AT ITER 5826 NEW BEST:: SOT 12790102 SOS 5450635 HAS SOPS 5449094 HAS SOUS 625867 HAS SOUPS 624713 WITH SCORE 630163.635
AT ITER 5890 NEW BEST:: SOT 12789990 SOS 5450523 HAS SOPS 5448982 HAS SOUS 625755 HAS SOUPS 624601 WITH SCORE 630051.523
AT ITER 5913 NEW BEST:: SOT 12787604 SOS 5448160 HAS SOPS 5446619 HAS SOUS 625502 HAS SOUPS 624348 WITH SCORE 629796.16
AT ITER 5937 NEW BEST:: SOT 12786638 SOS 5445724 HAS SOPS 5444183 HAS SOUS 624629 HAS SOUPS 623475 WITH SCORE 628920.724
AT ITER 5946 NEW BEST:: SOT 12788295 SOS 5447381 HAS SOPS 5445840 HAS SOUS 624296 HAS SOUPS 623142 WITH SCORE 628589.381
AT ITER 5954 NEW BEST:: SOT 12788295 SOS 5446085 HAS SOPS 5444544 HAS SOUS 624254 HAS SOUPS 623100 WITH SCORE 628546.085
AT ITER 6035 NEW BEST:: SOT 12790271 SOS 5448061 HAS SOPS 5446520 HAS SOUS 623083 HAS SOUPS 621929 WITH SCORE 627377.061
AT ITER 6054 NEW BEST:: SOT 12790271 SOS 5448016 HAS SOPS 5446475 HAS SOUS 623083 HAS SOUPS 621929 WITH SCORE 627377.016
AT ITER 6080 NEW BEST:: SOT 12790271 SOS 5448016 HAS SOPS 5446475 HAS SOUS 623065 HAS SOUPS 621911 WITH SCORE 627359.016
AT ITER 6098 NEW BEST:: SOT 12790497 SOS 5448242 HAS SOPS 5446711 HAS SOUS 622979 HAS SOUPS 621835 WITH SCORE 627283.242
AT ITER 6101 NEW BEST:: SOT 12792649 SOS 5469987 HAS SOPS 5468458 HAS SOUS 621065 HAS SOUPS 619921 WITH SCORE 625390.987
AT ITER 6153 NEW BEST:: SOT 12792537 SOS 5470097 HAS SOPS 5468570 HAS SOUS 621044 HAS SOUPS 619902 WITH SCORE 625372.097
AT ITER 6165 NEW BEST:: SOT 12792646 SOS 5470206 HAS SOPS 5468679 HAS SOUS 620310 HAS SOUPS 619168 WITH SCORE 624638.206
AT ITER 6234 NEW BEST:: SOT 12790494 SOS 5449371 HAS SOPS 5447844 HAS SOUS 617569 HAS SOUPS 616427 WITH SCORE 621876.371
AT ITER 6257 NEW BEST:: SOT 12790402 SOS 5445466 HAS SOPS 5443939 HAS SOUS 617507 HAS SOUPS 616365 WITH SCORE 621810.466
AT ITER 6264 NEW BEST:: SOT 12790402 SOS 5445444 HAS SOPS 5443917 HAS SOUS 617506 HAS SOUPS 616364 WITH SCORE 621809.444
AT ITER 6268 NEW BEST:: SOT 12790398 SOS 5447539 HAS SOPS 5446012 HAS SOUS 617419 HAS SOUPS 616277 WITH SCORE 621724.539
AT ITER 6290 NEW BEST:: SOT 12790072 SOS 5447213 HAS SOPS 5445686 HAS SOUS 616745 HAS SOUPS 615603 WITH SCORE 621050.213
AT ITER 6291 NEW BEST:: SOT 12791002 SOS 5448143 HAS SOPS 5446616 HAS SOUS 616290 HAS SOUPS 615148 WITH SCORE 620596.143
AT ITER 6328 NEW BEST:: SOT 12791405 SOS 5448546 HAS SOPS 5447019 HAS SOUS 616097 HAS SOUPS 614955 WITH SCORE 620403.546
AT ITER 6333 NEW BEST:: SOT 12789953 SOS 5447094 HAS SOPS 5445567 HAS SOUS 613100 HAS SOUPS 611958 WITH SCORE 617405.094
AT ITER 6343 NEW BEST:: SOT 12787061 SOS 5436596 HAS SOPS 5435069 HAS SOUS 611100 HAS SOUPS 609958 WITH SCORE 615394.596
AT ITER 6350 NEW BEST:: SOT 12786864 SOS 5435535 HAS SOPS 5434008 HAS SOUS 610879 HAS SOUPS 609737 WITH SCORE 615172.535
AT ITER 6371 NEW BEST:: SOT 12792732 SOS 5452938 HAS SOPS 5451411 HAS SOUS 607439 HAS SOUPS 606297 WITH SCORE 611749.938
AT ITER 6375 NEW BEST:: SOT 12792740 SOS 5452946 HAS SOPS 5451419 HAS SOUS 607352 HAS SOUPS 606210 WITH SCORE 611662.946
AT ITER 6376 NEW BEST:: SOT 12792604 SOS 5452818 HAS SOPS 5451287 HAS SOUS 607334 HAS SOUPS 606188 WITH SCORE 611640.818
AT ITER 6377 NEW BEST:: SOT 12792554 SOS 5452768 HAS SOPS 5451237 HAS SOUS 607284 HAS SOUPS 606138 WITH SCORE 611590.768
AT ITER 6434 NEW BEST:: SOT 12792354 SOS 5452572 HAS SOPS 5451040 HAS SOUS 606884 HAS SOUPS 605737 WITH SCORE 611189.572
AT ITER 6441 NEW BEST:: SOT 12787673 SOS 5447891 HAS SOPS 5446359 HAS SOUS 603323 HAS SOUPS 602176 WITH SCORE 607623.891
AT ITER 6476 NEW BEST:: SOT 12787551 SOS 5447769 HAS SOPS 5446237 HAS SOUS 603201 HAS SOUPS 602054 WITH SCORE 607501.769
AT ITER 6486 NEW BEST:: SOT 12787540 SOS 5446197 HAS SOPS 5444665 HAS SOUS 603164 HAS SOUPS 602017 WITH SCORE 607463.197
AT ITER 6489 NEW BEST:: SOT 12785154 SOS 5443811 HAS SOPS 5442279 HAS SOUS 600942 HAS SOUPS 599795 WITH SCORE 605238.811
AT ITER 6548 NEW BEST:: SOT 12785129 SOS 5443786 HAS SOPS 5442254 HAS SOUS 600917 HAS SOUPS 599770 WITH SCORE 605213.786
AT ITER 6587 NEW BEST:: SOT 12784905 SOS 5443452 HAS SOPS 5441939 HAS SOUS 600393 HAS SOUPS 599265 WITH SCORE 604708.452
AT ITER 6621 NEW BEST:: SOT 12784905 SOS 5445252 HAS SOPS 5443739 HAS SOUS 599684 HAS SOUPS 598556 WITH SCORE 604001.252
AT ITER 6636 NEW BEST:: SOT 12784905 SOS 5445036 HAS SOPS 5443523 HAS SOUS 599684 HAS SOUPS 598556 WITH SCORE 604001.036
AT ITER 6641 NEW BEST:: SOT 12784617 SOS 5444464 HAS SOPS 5442951 HAS SOUS 599400 HAS SOUPS 598272 WITH SCORE 603716.464
AT ITER 6643 NEW BEST:: SOT 12784617 SOS 5444412 HAS SOPS 5442899 HAS SOUS 599387 HAS SOUPS 598259 WITH SCORE 603703.412
AT ITER 6709 NEW BEST:: SOT 12784861 SOS 5444716 HAS SOPS 5443203 HAS SOUS 599050 HAS SOUPS 597922 WITH SCORE 603366.716
AT ITER 6723 NEW BEST:: SOT 12784471 SOS 5444110 HAS SOPS 5442597 HAS SOUS 598867 HAS SOUPS 597739 WITH SCORE 603183.11
AT ITER 6752 NEW BEST:: SOT 12783745 SOS 5443384 HAS SOPS 5441871 HAS SOUS 598141 HAS SOUPS 597013 WITH SCORE 602456.384
AT ITER 6770 NEW BEST:: SOT 12781060 SOS 5440699 HAS SOPS 5439186 HAS SOUS 597502 HAS SOUPS 596374 WITH SCORE 601814.699
AT ITER 6792 NEW BEST:: SOT 12781060 SOS 5440611 HAS SOPS 5439098 HAS SOUS 597414 HAS SOUPS 596286 WITH SCORE 601726.611
AT ITER 6833 NEW BEST:: SOT 12780916 SOS 5440467 HAS SOPS 5438954 HAS SOUS 597270 HAS SOUPS 596142 WITH SCORE 601582.467
AT ITER 6836 NEW BEST:: SOT 12781520 SOS 5441071 HAS SOPS 5439558 HAS SOUS 596224 HAS SOUPS 595096 WITH SCORE 600537.071
AT ITER 6843 NEW BEST:: SOT 12781576 SOS 5441127 HAS SOPS 5439614 HAS SOUS 596177 HAS SOUPS 595049 WITH SCORE 600490.127
AT ITER 6853 NEW BEST:: SOT 12780836 SOS 5439918 HAS SOPS 5438090 HAS SOUS 595998 HAS SOUPS 594625 WITH SCORE 600064.918
AT ITER 6870 NEW BEST:: SOT 12782042 SOS 5442809 HAS SOPS 5440955 HAS SOUS 595173 HAS SOUPS 593787 WITH SCORE 599229.809
AT ITER 6932 NEW BEST:: SOT 12780689 SOS 5441456 HAS SOPS 5439602 HAS SOUS 594087 HAS SOUPS 592701 WITH SCORE 598142.456
AT ITER 6949 NEW BEST:: SOT 12778327 SOS 5439094 HAS SOPS 5437240 HAS SOUS 593299 HAS SOUPS 591913 WITH SCORE 597352.094
AT ITER 6953 NEW BEST:: SOT 12778311 SOS 5439078 HAS SOPS 5437224 HAS SOUS 593294 HAS SOUPS 591908 WITH SCORE 597347.078
AT ITER 6965 NEW BEST:: SOT 12775339 SOS 5438909 HAS SOPS 5437055 HAS SOUS 590864 HAS SOUPS 589478 WITH SCORE 594916.909
AT ITER 6975 NEW BEST:: SOT 12775339 SOS 5438909 HAS SOPS 5437055 HAS SOUS 590856 HAS SOUPS 589470 WITH SCORE 594908.909
AT ITER 6977 NEW BEST:: SOT 12775328 SOS 5438898 HAS SOPS 5437044 HAS SOUS 590831 HAS SOUPS 589445 WITH SCORE 594883.898
AT ITER 7050 NEW BEST:: SOT 12777153 SOS 5440723 HAS SOPS 5438869 HAS SOUS 590671 HAS SOUPS 589285 WITH SCORE 594725.723
AT ITER 7077 NEW BEST:: SOT 12773322 SOS 5434804 HAS SOPS 5432950 HAS SOUS 588864 HAS SOUPS 587478 WITH SCORE 592912.804
AT ITER 7137 NEW BEST:: SOT 12773313 SOS 5434795 HAS SOPS 5432941 HAS SOUS 588781 HAS SOUPS 587395 WITH SCORE 592829.795
AT ITER 7138 NEW BEST:: SOT 12773271 SOS 5434753 HAS SOPS 5432899 HAS SOUS 588739 HAS SOUPS 587353 WITH SCORE 592787.753
AT ITER 7159 NEW BEST:: SOT 12773271 SOS 5429056 HAS SOPS 5427202 HAS SOUS 588455 HAS SOUPS 587069 WITH SCORE 592498.056
AT ITER 7196 NEW BEST:: SOT 12774140 SOS 5449544 HAS SOPS 5447690 HAS SOUS 586838 HAS SOUPS 585452 WITH SCORE 590901.544
AT ITER 7202 NEW BEST:: SOT 12773362 SOS 5448766 HAS SOPS 5446912 HAS SOUS 585319 HAS SOUPS 583933 WITH SCORE 589381.766
AT ITER 7238 NEW BEST:: SOT 12772984 SOS 5454394 HAS SOPS 5452494 HAS SOUS 582297 HAS SOUPS 580911 WITH SCORE 586365.394
AT ITER 7332 NEW BEST:: SOT 12772228 SOS 5455078 HAS SOPS 5453178 HAS SOUS 581913 HAS SOUPS 580527 WITH SCORE 585982.078
AT ITER 7360 NEW BEST:: SOT 12772133 SOS 5454983 HAS SOPS 5453083 HAS SOUS 581818 HAS SOUPS 580432 WITH SCORE 585886.983
AT ITER 7414 NEW BEST:: SOT 12773464 SOS 5456314 HAS SOPS 5454414 HAS SOUS 580461 HAS SOUPS 579075 WITH SCORE 584531.314
AT ITER 7444 NEW BEST:: SOT 12772391 SOS 5455241 HAS SOPS 5453341 HAS SOUS 579383 HAS SOUPS 577997 WITH SCORE 583452.241
AT ITER 7449 NEW BEST:: SOT 12772363 SOS 5455213 HAS SOPS 5453313 HAS SOUS 579321 HAS SOUPS 577935 WITH SCORE 583390.213
AT ITER 7461 NEW BEST:: SOT 12772495 SOS 5455705 HAS SOPS 5453805 HAS SOUS 579151 HAS SOUPS 577765 WITH SCORE 583220.705
AT ITER 7463 NEW BEST:: SOT 12772958 SOS 5456168 HAS SOPS 5454268 HAS SOUS 578647 HAS SOUPS 577261 WITH SCORE 582717.168
AT ITER 7514 NEW BEST:: SOT 12773390 SOS 5461271 HAS SOPS 5459443 HAS SOUS 578234 HAS SOUPS 576920 WITH SCORE 582381.271
AT ITER 7523 NEW BEST:: SOT 12773390 SOS 5461249 HAS SOPS 5459421 HAS SOUS 578223 HAS SOUPS 576909 WITH SCORE 582370.249
AT ITER 7537 NEW BEST:: SOT 12773390 SOS 5462950 HAS SOPS 5461122 HAS SOUS 578052 HAS SOUPS 576738 WITH SCORE 582200.95
AT ITER 7545 NEW BEST:: SOT 12773356 SOS 5462916 HAS SOPS 5461088 HAS SOUS 578039 HAS SOUPS 576725 WITH SCORE 582187.916
AT ITER 7553 NEW BEST:: SOT 12771650 SOS 5479762 HAS SOPS 5477934 HAS SOUS 575422 HAS SOUPS 574108 WITH SCORE 579587.762
AT ITER 7573 NEW BEST:: SOT 12771650 SOS 5479759 HAS SOPS 5477931 HAS SOUS 575419 HAS SOUPS 574105 WITH SCORE 579584.759
AT ITER 7618 NEW BEST:: SOT 12767370 SOS 5475319 HAS SOPS 5473488 HAS SOUS 574644 HAS SOUPS 573327 WITH SCORE 578802.319
AT ITER 7694 NEW BEST:: SOT 12767370 SOS 5475180 HAS SOPS 5473349 HAS SOUS 574573 HAS SOUPS 573256 WITH SCORE 578731.18
AT ITER 7698 NEW BEST:: SOT 12767061 SOS 5476635 HAS SOPS 5474804 HAS SOUS 573949 HAS SOUPS 572632 WITH SCORE 578108.635
AT ITER 7710 NEW BEST:: SOT 12768022 SOS 5477596 HAS SOPS 5475765 HAS SOUS 573737 HAS SOUPS 572420 WITH SCORE 577897.596
AT ITER 7735 NEW BEST:: SOT 12768022 SOS 5477536 HAS SOPS 5475705 HAS SOUS 573703 HAS SOUPS 572386 WITH SCORE 577863.536
AT ITER 7792 NEW BEST:: SOT 12768019 SOS 5500371 HAS SOPS 5498543 HAS SOUS 573677 HAS SOUPS 572363 WITH SCORE 577863.371
AT ITER 7801 NEW BEST:: SOT 12767966 SOS 5500318 HAS SOPS 5498490 HAS SOUS 573624 HAS SOUPS 572310 WITH SCORE 577810.318
AT ITER 7870 NEW BEST:: SOT 12767966 SOS 5499877 HAS SOPS 5498049 HAS SOUS 573624 HAS SOUPS 572310 WITH SCORE 577809.877
AT ITER 7914 NEW BEST:: SOT 12767928 SOS 5499839 HAS SOPS 5498011 HAS SOUS 573594 HAS SOUPS 572280 WITH SCORE 577779.839
AT ITER 7956 NEW BEST:: SOT 12767928 SOS 5499818 HAS SOPS 5497990 HAS SOUS 573573 HAS SOUPS 572259 WITH SCORE 577758.818
AT ITER 7965 NEW BEST:: SOT 12767913 SOS 5499803 HAS SOPS 5497975 HAS SOUS 573573 HAS SOUPS 572259 WITH SCORE 577758.803
AT ITER 7988 NEW BEST:: SOT 12767913 SOS 5499776 HAS SOPS 5497948 HAS SOUS 573573 HAS SOUPS 572259 WITH SCORE 577758.776
AT ITER 7997 NEW BEST:: SOT 12766939 SOS 5498298 HAS SOPS 5496470 HAS SOUS 572880 HAS SOUPS 571566 WITH SCORE 577064.298
AT ITER 8058 NEW BEST:: SOT 12766594 SOS 5497953 HAS SOPS 5496125 HAS SOUS 572215 HAS SOUPS 570901 WITH SCORE 576398.953
AT ITER 8078 NEW BEST:: SOT 12766670 SOS 5497748 HAS SOPS 5495879 HAS SOUS 572206 HAS SOUPS 570851 WITH SCORE 576348.748
AT ITER 8099 NEW BEST:: SOT 12766759 SOS 5497837 HAS SOPS 5495968 HAS SOUS 572103 HAS SOUPS 570748 WITH SCORE 576245.837
AT ITER 8161 NEW BEST:: SOT 12766023 SOS 5496773 HAS SOPS 5494896 HAS SOUS 571921 HAS SOUPS 570558 WITH SCORE 576054.773
AT ITER 8162 NEW BEST:: SOT 12766023 SOS 5495897 HAS SOPS 5494020 HAS SOUS 571880 HAS SOUPS 570517 WITH SCORE 576012.897
AT ITER 8179 NEW BEST:: SOT 12766155 SOS 5487861 HAS SOPS 5486424 HAS SOUS 569119 HAS SOUPS 567883 WITH SCORE 573370.861
AT ITER 8222 NEW BEST:: SOT 12766145 SOS 5487851 HAS SOPS 5486414 HAS SOUS 569089 HAS SOUPS 567853 WITH SCORE 573340.851
AT ITER 8229 NEW BEST:: SOT 12764743 SOS 5486426 HAS SOPS 5484945 HAS SOUS 568804 HAS SOUPS 567524 WITH SCORE 573010.426
AT ITER 8234 NEW BEST:: SOT 12765402 SOS 5486257 HAS SOPS 5484802 HAS SOUS 567774 HAS SOUPS 566507 WITH SCORE 571993.257
AT ITER 8291 NEW BEST:: SOT 12765810 SOS 5490160 HAS SOPS 5488713 HAS SOUS 566269 HAS SOUPS 565010 WITH SCORE 570500.16
AT ITER 8332 NEW BEST:: SOT 12764252 SOS 5488602 HAS SOPS 5487155 HAS SOUS 565191 HAS SOUPS 563932 WITH SCORE 569420.602
AT ITER 8345 NEW BEST:: SOT 12764225 SOS 5488575 HAS SOPS 5487128 HAS SOUS 565177 HAS SOUPS 563918 WITH SCORE 569406.575
AT ITER 8378 NEW BEST:: SOT 12763757 SOS 5487459 HAS SOPS 5486012 HAS SOUS 564700 HAS SOUPS 563441 WITH SCORE 568928.459
AT ITER 8401 NEW BEST:: SOT 12762489 SOS 5486144 HAS SOPS 5484697 HAS SOUS 563395 HAS SOUPS 562136 WITH SCORE 567622.144
AT ITER 8435 NEW BEST:: SOT 12757777 SOS 5481276 HAS SOPS 5479829 HAS SOUS 561750 HAS SOUPS 560491 WITH SCORE 565972.276
AT ITER 8487 NEW BEST:: SOT 12757777 SOS 5479222 HAS SOPS 5477775 HAS SOUS 558995 HAS SOUPS 557736 WITH SCORE 563215.222
AT ITER 8490 NEW BEST:: SOT 12757777 SOS 5478874 HAS SOPS 5477427 HAS SOUS 558966 HAS SOUPS 557707 WITH SCORE 563185.874
AT ITER 8513 NEW BEST:: SOT 12758536 SOS 5490398 HAS SOPS 5488951 HAS SOUS 558433 HAS SOUPS 557174 WITH SCORE 562664.398
AT ITER 8519 NEW BEST:: SOT 12758946 SOS 5490808 HAS SOPS 5489361 HAS SOUS 558361 HAS SOUPS 557102 WITH SCORE 562592.808
AT ITER 8533 NEW BEST:: SOT 12758964 SOS 5494908 HAS SOPS 5493461 HAS SOUS 556977 HAS SOUPS 555718 WITH SCORE 561212.908
AT ITER 8636 NEW BEST:: SOT 12758964 SOS 5494908 HAS SOPS 5493461 HAS SOUS 555978 HAS SOUPS 554719 WITH SCORE 560213.908
AT ITER 8641 NEW BEST:: SOT 12758964 SOS 5494834 HAS SOPS 5493387 HAS SOUS 555904 HAS SOUPS 554645 WITH SCORE 560139.834
AT ITER 8663 NEW BEST:: SOT 12753196 SOS 5488432 HAS SOPS 5486887 HAS SOUS 553727 HAS SOUPS 552468 WITH SCORE 557956.432
AT ITER 8712 NEW BEST:: SOT 12751586 SOS 5486822 HAS SOPS 5485277 HAS SOUS 550594 HAS SOUPS 549335 WITH SCORE 554821.822
AT ITER 8755 NEW BEST:: SOT 12751565 SOS 5508270 HAS SOPS 5506725 HAS SOUS 550556 HAS SOUPS 549297 WITH SCORE 554805.27
AT ITER 8793 NEW BEST:: SOT 12753858 SOS 5510641 HAS SOPS 5509108 HAS SOUS 548927 HAS SOUPS 547680 WITH SCORE 553190.641
AT ITER 8813 NEW BEST:: SOT 12754499 SOS 5511282 HAS SOPS 5509749 HAS SOUS 548867 HAS SOUPS 547620 WITH SCORE 553131.282
AT ITER 8844 NEW BEST:: SOT 12753198 SOS 5509981 HAS SOPS 5508448 HAS SOUS 546340 HAS SOUPS 545093 WITH SCORE 550602.981
AT ITER 8923 NEW BEST:: SOT 12753198 SOS 5509981 HAS SOPS 5508448 HAS SOUS 546275 HAS SOUPS 545028 WITH SCORE 550537.981
AT ITER 8941 NEW BEST:: SOT 12756238 SOS 5523529 HAS SOPS 5521996 HAS SOUS 545061 HAS SOUPS 543814 WITH SCORE 549337.529
AT ITER 8951 NEW BEST:: SOT 12756174 SOS 5523465 HAS SOPS 5521932 HAS SOUS 545058 HAS SOUPS 543811 WITH SCORE 549334.465
AT ITER 8956 NEW BEST:: SOT 12755849 SOS 5523140 HAS SOPS 5521607 HAS SOUS 544540 HAS SOUPS 543293 WITH SCORE 548816.14
AT ITER 8974 NEW BEST:: SOT 12755849 SOS 5520263 HAS SOPS 5518730 HAS SOUS 544513 HAS SOUPS 543266 WITH SCORE 548786.263
AT ITER 9034 NEW BEST:: SOT 12757229 SOS 5521853 HAS SOPS 5520320 HAS SOUS 544371 HAS SOUPS 543124 WITH SCORE 548645.853
AT ITER 9097 NEW BEST:: SOT 12757805 SOS 5522429 HAS SOPS 5520896 HAS SOUS 544307 HAS SOUPS 543060 WITH SCORE 548582.429
AT ITER 9123 NEW BEST:: SOT 12757327 SOS 5521951 HAS SOPS 5520418 HAS SOUS 543307 HAS SOUPS 542060 WITH SCORE 547581.951
AT ITER 9173 NEW BEST:: SOT 12756420 SOS 5519427 HAS SOPS 5517873 HAS SOUS 543240 HAS SOUPS 541972 WITH SCORE 547491.427
AT ITER 9183 NEW BEST:: SOT 12757440 SOS 5522967 HAS SOPS 5521413 HAS SOUS 542924 HAS SOUPS 541656 WITH SCORE 547178.967
AT ITER 9194 NEW BEST:: SOT 12758236 SOS 5523797 HAS SOPS 5522243 HAS SOUS 542890 HAS SOUPS 541622 WITH SCORE 547145.797
AT ITER 9223 NEW BEST:: SOT 12758236 SOS 5523234 HAS SOPS 5521680 HAS SOUS 542820 HAS SOUPS 541552 WITH SCORE 547075.234
AT ITER 9280 NEW BEST:: SOT 12758278 SOS 5526804 HAS SOPS 5525250 HAS SOUS 541926 HAS SOUPS 540658 WITH SCORE 546184.804
AT ITER 9305 NEW BEST:: SOT 12758278 SOS 5523680 HAS SOPS 5522126 HAS SOUS 541926 HAS SOUPS 540658 WITH SCORE 546181.68
AT ITER 9311 NEW BEST:: SOT 12758233 SOS 5523635 HAS SOPS 5522081 HAS SOUS 541902 HAS SOUPS 540634 WITH SCORE 546157.635
AT ITER 9332 NEW BEST:: SOT 12758303 SOS 5523705 HAS SOPS 5522151 HAS SOUS 541854 HAS SOUPS 540586 WITH SCORE 546109.705
AT ITER 9343 NEW BEST:: SOT 12759305 SOS 5532118 HAS SOPS 5530564 HAS SOUS 541686 HAS SOUPS 540418 WITH SCORE 545950.118
AT ITER 9349 NEW BEST:: SOT 12759325 SOS 5532138 HAS SOPS 5530584 HAS SOUS 541557 HAS SOUPS 540289 WITH SCORE 545821.138
AT ITER 9363 NEW BEST:: SOT 12757564 SOS 5530377 HAS SOPS 5528823 HAS SOUS 540502 HAS SOUPS 539234 WITH SCORE 544764.377
AT ITER 9370 NEW BEST:: SOT 12757417 SOS 5530567 HAS SOPS 5529013 HAS SOUS 540344 HAS SOUPS 539076 WITH SCORE 544606.567
AT ITER 9372 NEW BEST:: SOT 12757417 SOS 5530531 HAS SOPS 5528977 HAS SOUS 540341 HAS SOUPS 539073 WITH SCORE 544603.531
AT ITER 9422 NEW BEST:: SOT 12758891 SOS 5532005 HAS SOPS 5530451 HAS SOUS 537810 HAS SOUPS 536542 WITH SCORE 542074.005
AT ITER 9457 NEW BEST:: SOT 12760513 SOS 5535643 HAS SOPS 5534089 HAS SOUS 536197 HAS SOUPS 534929 WITH SCORE 540464.643
AT ITER 9460 NEW BEST:: SOT 12760513 SOS 5535915 HAS SOPS 5534361 HAS SOUS 536037 HAS SOUPS 534769 WITH SCORE 540304.915
AT ITER 9524 NEW BEST:: SOT 12760513 SOS 5538519 HAS SOPS 5536965 HAS SOUS 536027 HAS SOUPS 534759 WITH SCORE 540297.519
AT ITER 9546 NEW BEST:: SOT 12760172 SOS 5538178 HAS SOPS 5536624 HAS SOUS 535677 HAS SOUPS 534409 WITH SCORE 539947.178
AT ITER 9547 NEW BEST:: SOT 12760172 SOS 5537801 HAS SOPS 5536247 HAS SOUS 535612 HAS SOUPS 534344 WITH SCORE 539881.801
AT ITER 9558 NEW BEST:: SOT 12760274 SOS 5537612 HAS SOPS 5536098 HAS SOUS 534548 HAS SOUPS 533320 WITH SCORE 538857.612
AT ITER 9740 NEW BEST:: SOT 12760725 SOS 5538063 HAS SOPS 5536549 HAS SOUS 534430 HAS SOUPS 533202 WITH SCORE 538740.063
AT ITER 9743 NEW BEST:: SOT 12760695 SOS 5538033 HAS SOPS 5536519 HAS SOUS 534394 HAS SOUPS 533166 WITH SCORE 538704.033
AT ITER 9799 NEW BEST:: SOT 12760167 SOS 5537505 HAS SOPS 5535991 HAS SOUS 533953 HAS SOUPS 532725 WITH SCORE 538262.505
AT ITER 9814 NEW BEST:: SOT 12760210 SOS 5537619 HAS SOPS 5536105 HAS SOUS 533899 HAS SOUPS 532671 WITH SCORE 538208.619
AT ITER 9876 NEW BEST:: SOT 12760210 SOS 5537554 HAS SOPS 5536040 HAS SOUS 533873 HAS SOUPS 532645 WITH SCORE 538182.554
AT ITER 9902 NEW BEST:: SOT 12762346 SOS 5539689 HAS SOPS 5538175 HAS SOUS 533736 HAS SOUPS 532508 WITH SCORE 538047.689
AT ITER 9904 NEW BEST:: SOT 12762380 SOS 5539723 HAS SOPS 5538209 HAS SOUS 533724 HAS SOUPS 532496 WITH SCORE 538035.723
AT ITER 9917 NEW BEST:: SOT 12762368 SOS 5539711 HAS SOPS 5538197 HAS SOUS 533712 HAS SOUPS 532484 WITH SCORE 538023.711
AT ITER 9941 NEW BEST:: SOT 12762349 SOS 5539692 HAS SOPS 5538178 HAS SOUS 533669 HAS SOUPS 532441 WITH SCORE 537980.692
AT ITER 9952 NEW BEST:: SOT 12762349 SOS 5539699 HAS SOPS 5538183 HAS SOUS 533669 HAS SOUPS 532440 WITH SCORE 537979.699
AT ITER 9970 NEW BEST:: SOT 12762349 SOS 5543176 HAS SOPS 5541660 HAS SOUS 533612 HAS SOUPS 532383 WITH SCORE 537926.176
AT ITER 9992 NEW BEST:: SOT 12762349 SOS 5542964 HAS SOPS 5541448 HAS SOUS 533506 HAS SOUPS 532277 WITH SCORE 537819.964
AT ITER 9995 NEW BEST:: SOT 12762349 SOS 5542300 HAS SOPS 5540784 HAS SOUS 533506 HAS SOUPS 532277 WITH SCORE 537819.3
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 15964592 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16123492 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-q8m008"
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-q8m008, 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-167813688100408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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