Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696800424.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 smartxred
Input is BugTracking-PT-q8m032, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696800424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 7.2K Feb 26 06:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 06:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 06:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 06:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 07:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 07:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 06:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 06:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678788590790

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q8m032
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:09:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:09:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:09:53] [INFO ] Load time of PNML (sax parser for PT used): 756 ms
[2023-03-14 10:09:53] [INFO ] Transformed 754 places.
[2023-03-14 10:09:53] [INFO ] Transformed 27370 transitions.
[2023-03-14 10:09:53] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 950 ms.
[2023-03-14 10:09:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 138 ms.
Total runtime 1126 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m032
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12975622 SOS 6053409 HAS SOPS 6048954 HAS SOUS 1656695 HAS SOUPS 1652240 WITH SCORE 1658293.409
AT ITER 4 NEW BEST:: SOT 12975670 SOS 5621017 HAS SOPS 5616562 HAS SOUS 1656643 HAS SOUPS 1652188 WITH SCORE 1657809.017
AT ITER 5 NEW BEST:: SOT 12975670 SOS 5616697 HAS SOPS 5612242 HAS SOUS 1656643 HAS SOUPS 1652188 WITH SCORE 1657804.697
AT ITER 8 NEW BEST:: SOT 12972980 SOS 5614595 HAS SOPS 5610140 HAS SOUS 1650941 HAS SOUPS 1646486 WITH SCORE 1652100.595
AT ITER 11 NEW BEST:: SOT 12977806 SOS 5619661 HAS SOPS 5615206 HAS SOUS 1648777 HAS SOUPS 1644322 WITH SCORE 1649941.661
AT ITER 19 NEW BEST:: SOT 12974716 SOS 5616631 HAS SOPS 5612176 HAS SOUS 1645747 HAS SOUPS 1641292 WITH SCORE 1646908.631
AT ITER 49 NEW BEST:: SOT 12974716 SOS 5613247 HAS SOPS 5608792 HAS SOUS 1645747 HAS SOUPS 1641292 WITH SCORE 1646905.247
AT ITER 71 NEW BEST:: SOT 12974716 SOS 5613218 HAS SOPS 5608763 HAS SOUS 1645718 HAS SOUPS 1641263 WITH SCORE 1646876.218
AT ITER 78 NEW BEST:: SOT 12978083 SOS 5617287 HAS SOPS 5612832 HAS SOUS 1641685 HAS SOUPS 1637230 WITH SCORE 1642847.287
AT ITER 82 NEW BEST:: SOT 12857871 SOS 6801634 HAS SOPS 6798016 HAS SOUS 1513816 HAS SOUPS 1510198 WITH SCORE 1516999.634
AT ITER 84 NEW BEST:: SOT 12871267 SOS 6815030 HAS SOPS 6811412 HAS SOUS 1513084 HAS SOUPS 1509466 WITH SCORE 1516281.03
AT ITER 90 NEW BEST:: SOT 12868891 SOS 6812654 HAS SOPS 6809036 HAS SOUS 1505055 HAS SOUPS 1501437 WITH SCORE 1508249.654
AT ITER 93 NEW BEST:: SOT 12866371 SOS 6810134 HAS SOPS 6806516 HAS SOUS 1495487 HAS SOUPS 1491869 WITH SCORE 1498679.134
AT ITER 95 NEW BEST:: SOT 12866371 SOS 6810134 HAS SOPS 6806516 HAS SOUS 1495484 HAS SOUPS 1491866 WITH SCORE 1498676.134
AT ITER 99 NEW BEST:: SOT 12866325 SOS 6811936 HAS SOPS 6808318 HAS SOUS 1473539 HAS SOUPS 1469921 WITH SCORE 1476732.936
AT ITER 105 NEW BEST:: SOT 12862993 SOS 6808284 HAS SOPS 6804727 HAS SOUS 1465654 HAS SOUPS 1462097 WITH SCORE 1468905.284
AT ITER 116 NEW BEST:: SOT 12862993 SOS 6807060 HAS SOPS 6803503 HAS SOUS 1465654 HAS SOUPS 1462097 WITH SCORE 1468904.06
AT ITER 117 NEW BEST:: SOT 12861572 SOS 6807151 HAS SOPS 6803594 HAS SOUS 1448592 HAS SOUPS 1445035 WITH SCORE 1451842.151
AT ITER 118 NEW BEST:: SOT 12861999 SOS 6807578 HAS SOPS 6804021 HAS SOUS 1443600 HAS SOUPS 1440043 WITH SCORE 1446850.578
AT ITER 147 NEW BEST:: SOT 12861685 SOS 6807264 HAS SOPS 6803707 HAS SOUS 1437532 HAS SOUPS 1433975 WITH SCORE 1440782.264
AT ITER 152 NEW BEST:: SOT 12858092 SOS 6812021 HAS SOPS 6808464 HAS SOUS 1437315 HAS SOUPS 1433758 WITH SCORE 1440570.021
AT ITER 155 NEW BEST:: SOT 12856325 SOS 6812276 HAS SOPS 6808719 HAS SOUS 1433855 HAS SOUPS 1430298 WITH SCORE 1437110.276
AT ITER 164 NEW BEST:: SOT 12870040 SOS 6825991 HAS SOPS 6822434 HAS SOUS 1427537 HAS SOUPS 1423980 WITH SCORE 1430805.991
AT ITER 170 NEW BEST:: SOT 12896427 SOS 6852378 HAS SOPS 6848821 HAS SOUS 1417651 HAS SOUPS 1414094 WITH SCORE 1420946.378
AT ITER 175 NEW BEST:: SOT 12896471 SOS 6852422 HAS SOPS 6848865 HAS SOUS 1415281 HAS SOUPS 1411724 WITH SCORE 1418576.422
AT ITER 180 NEW BEST:: SOT 12899702 SOS 6855754 HAS SOPS 6852263 HAS SOUS 1414764 HAS SOUPS 1411273 WITH SCORE 1418128.754
AT ITER 184 NEW BEST:: SOT 12899702 SOS 6854530 HAS SOPS 6851039 HAS SOUS 1414764 HAS SOUPS 1411273 WITH SCORE 1418127.53
AT ITER 185 NEW BEST:: SOT 12902727 SOS 6857555 HAS SOPS 6854064 HAS SOUS 1387440 HAS SOUPS 1383949 WITH SCORE 1390806.555
AT ITER 188 NEW BEST:: SOT 12909854 SOS 6865474 HAS SOPS 6861983 HAS SOUS 1386252 HAS SOUPS 1382761 WITH SCORE 1389626.474
AT ITER 193 NEW BEST:: SOT 12908143 SOS 6863763 HAS SOPS 6860272 HAS SOUS 1381829 HAS SOUPS 1378338 WITH SCORE 1385201.763
AT ITER 195 NEW BEST:: SOT 12907658 SOS 6863278 HAS SOPS 6859787 HAS SOUS 1377657 HAS SOUPS 1374166 WITH SCORE 1381029.278
AT ITER 205 NEW BEST:: SOT 12907963 SOS 6863583 HAS SOPS 6860092 HAS SOUS 1375752 HAS SOUPS 1372261 WITH SCORE 1379124.583
AT ITER 206 NEW BEST:: SOT 12928786 SOS 6885898 HAS SOPS 6881858 HAS SOUS 1368240 HAS SOUPS 1364532 WITH SCORE 1371417.898
AT ITER 208 NEW BEST:: SOT 12928740 SOS 6886059 HAS SOPS 6882019 HAS SOUS 1368194 HAS SOUPS 1364486 WITH SCORE 1371372.059
AT ITER 227 NEW BEST:: SOT 12931277 SOS 6888653 HAS SOPS 6884625 HAS SOUS 1367638 HAS SOUPS 1363942 WITH SCORE 1370830.653
AT ITER 231 NEW BEST:: SOT 12933862 SOS 6891238 HAS SOPS 6887210 HAS SOUS 1365480 HAS SOUPS 1361784 WITH SCORE 1368675.238
AT ITER 235 NEW BEST:: SOT 12929556 SOS 6895832 HAS SOPS 6891804 HAS SOUS 1361559 HAS SOUPS 1357863 WITH SCORE 1364758.832
AT ITER 236 NEW BEST:: SOT 12929556 SOS 6893240 HAS SOPS 6889212 HAS SOUS 1361559 HAS SOUPS 1357863 WITH SCORE 1364756.24
AT ITER 237 NEW BEST:: SOT 12929556 SOS 6893240 HAS SOPS 6889212 HAS SOUS 1361486 HAS SOUPS 1357790 WITH SCORE 1364683.24
AT ITER 245 NEW BEST:: SOT 12929253 SOS 6892937 HAS SOPS 6888909 HAS SOUS 1360880 HAS SOUPS 1357184 WITH SCORE 1364076.937
AT ITER 248 NEW BEST:: SOT 12929273 SOS 6892957 HAS SOPS 6888929 HAS SOUS 1358281 HAS SOUPS 1354585 WITH SCORE 1361477.957
AT ITER 253 NEW BEST:: SOT 12941441 SOS 6905749 HAS SOPS 6901721 HAS SOUS 1357012 HAS SOUPS 1353316 WITH SCORE 1360221.749
AT ITER 257 NEW BEST:: SOT 12933704 SOS 6906356 HAS SOPS 6902328 HAS SOUS 1348417 HAS SOUPS 1344721 WITH SCORE 1351627.356
AT ITER 259 NEW BEST:: SOT 12938649 SOS 6911305 HAS SOPS 6907335 HAS SOUS 1346794 HAS SOUPS 1343156 WITH SCORE 1350067.305
AT ITER 261 NEW BEST:: SOT 12936974 SOS 6909630 HAS SOPS 6905660 HAS SOUS 1338482 HAS SOUPS 1334844 WITH SCORE 1341753.63
AT ITER 263 NEW BEST:: SOT 12935011 SOS 6907349 HAS SOPS 6903439 HAS SOUS 1325403 HAS SOUPS 1321825 WITH SCORE 1328732.349
AT ITER 265 NEW BEST:: SOT 12940286 SOS 6912900 HAS SOPS 6908990 HAS SOUS 1321116 HAS SOUPS 1317538 WITH SCORE 1324450.9
AT ITER 270 NEW BEST:: SOT 12940286 SOS 6912900 HAS SOPS 6908990 HAS SOUS 1321110 HAS SOUPS 1317532 WITH SCORE 1324444.9
AT ITER 275 NEW BEST:: SOT 12942026 SOS 6914640 HAS SOPS 6910730 HAS SOUS 1318838 HAS SOUPS 1315260 WITH SCORE 1322174.64
AT ITER 288 NEW BEST:: SOT 12942026 SOS 6914632 HAS SOPS 6910722 HAS SOUS 1318830 HAS SOUPS 1315252 WITH SCORE 1322166.632
AT ITER 302 NEW BEST:: SOT 12940705 SOS 6913311 HAS SOPS 6909401 HAS SOUS 1313041 HAS SOUPS 1309463 WITH SCORE 1316376.311
AT ITER 304 NEW BEST:: SOT 12948908 SOS 6921514 HAS SOPS 6917604 HAS SOUS 1301922 HAS SOUPS 1298344 WITH SCORE 1305265.514
AT ITER 306 NEW BEST:: SOT 12949550 SOS 6922156 HAS SOPS 6918246 HAS SOUS 1301745 HAS SOUPS 1298167 WITH SCORE 1305089.156
AT ITER 316 NEW BEST:: SOT 12957771 SOS 6930719 HAS SOPS 6926640 HAS SOUS 1295542 HAS SOUPS 1291903 WITH SCORE 1298833.719
AT ITER 322 NEW BEST:: SOT 12957101 SOS 6930049 HAS SOPS 6925970 HAS SOUS 1290170 HAS SOUPS 1286531 WITH SCORE 1293461.049
AT ITER 324 NEW BEST:: SOT 12957437 SOS 6930599 HAS SOPS 6926695 HAS SOUS 1285361 HAS SOUPS 1281897 WITH SCORE 1288827.599
AT ITER 342 NEW BEST:: SOT 12962640 SOS 6936198 HAS SOPS 6932294 HAS SOUS 1269194 HAS SOUPS 1265730 WITH SCORE 1272666.198
AT ITER 350 NEW BEST:: SOT 12965663 SOS 6939225 HAS SOPS 6935322 HAS SOUS 1268098 HAS SOUPS 1264635 WITH SCORE 1271574.225
AT ITER 352 NEW BEST:: SOT 12965663 SOS 6939153 HAS SOPS 6935250 HAS SOUS 1268098 HAS SOUPS 1264635 WITH SCORE 1271574.153
AT ITER 360 NEW BEST:: SOT 12965614 SOS 6939104 HAS SOPS 6935201 HAS SOUS 1268042 HAS SOUPS 1264579 WITH SCORE 1271518.104
AT ITER 365 NEW BEST:: SOT 12969637 SOS 6943243 HAS SOPS 6939408 HAS SOUS 1264735 HAS SOUPS 1261340 WITH SCORE 1268283.243
AT ITER 368 NEW BEST:: SOT 12968362 SOS 6941968 HAS SOPS 6938133 HAS SOUS 1258415 HAS SOUPS 1255020 WITH SCORE 1261961.968
AT ITER 379 NEW BEST:: SOT 12968894 SOS 6942500 HAS SOPS 6938665 HAS SOUS 1252581 HAS SOUPS 1249186 WITH SCORE 1256128.5
AT ITER 385 NEW BEST:: SOT 12968890 SOS 6942525 HAS SOPS 6938674 HAS SOUS 1250988 HAS SOUPS 1247577 WITH SCORE 1254519.525
AT ITER 395 NEW BEST:: SOT 12969039 SOS 6942674 HAS SOPS 6938823 HAS SOUS 1250966 HAS SOUPS 1247555 WITH SCORE 1254497.674
AT ITER 396 NEW BEST:: SOT 12962089 SOS 6935201 HAS SOPS 6931899 HAS SOUS 1244055 HAS SOUPS 1240861 WITH SCORE 1247796.201
AT ITER 398 NEW BEST:: SOT 12962089 SOS 6935101 HAS SOPS 6931799 HAS SOUS 1244005 HAS SOUPS 1240811 WITH SCORE 1247746.101
AT ITER 405 NEW BEST:: SOT 12962335 SOS 6935189 HAS SOPS 6931921 HAS SOUS 1243929 HAS SOUPS 1240769 WITH SCORE 1247704.189
AT ITER 407 NEW BEST:: SOT 12956218 SOS 6933764 HAS SOPS 6930496 HAS SOUS 1229084 HAS SOUPS 1225924 WITH SCORE 1232857.764
AT ITER 438 NEW BEST:: SOT 12974040 SOS 6952741 HAS SOPS 6948829 HAS SOUS 1223345 HAS SOUPS 1219955 WITH SCORE 1226907.741
AT ITER 456 NEW BEST:: SOT 12974040 SOS 6947557 HAS SOPS 6943645 HAS SOUS 1223345 HAS SOUPS 1219955 WITH SCORE 1226902.557
AT ITER 477 NEW BEST:: SOT 12973293 SOS 6946810 HAS SOPS 6942898 HAS SOUS 1222038 HAS SOUPS 1218648 WITH SCORE 1225594.81
AT ITER 478 NEW BEST:: SOT 12972968 SOS 6946679 HAS SOPS 6942767 HAS SOUS 1216398 HAS SOUPS 1213008 WITH SCORE 1219954.679
AT ITER 486 NEW BEST:: SOT 12976222 SOS 6950197 HAS SOPS 6946285 HAS SOUS 1216020 HAS SOUPS 1212630 WITH SCORE 1219580.197
AT ITER 495 NEW BEST:: SOT 12976330 SOS 6950305 HAS SOPS 6946393 HAS SOUS 1213790 HAS SOUPS 1210400 WITH SCORE 1217350.305
AT ITER 496 NEW BEST:: SOT 12977414 SOS 6951571 HAS SOPS 6947559 HAS SOUS 1213443 HAS SOUPS 1210009 WITH SCORE 1216960.571
AT ITER 504 NEW BEST:: SOT 12979170 SOS 6953975 HAS SOPS 6949988 HAS SOUS 1213292 HAS SOUPS 1209883 WITH SCORE 1216836.975
AT ITER 508 NEW BEST:: SOT 12976100 SOS 6950925 HAS SOPS 6946918 HAS SOUS 1207299 HAS SOUPS 1203870 WITH SCORE 1210820.925
AT ITER 510 NEW BEST:: SOT 12966969 SOS 6944273 HAS SOPS 6940266 HAS SOUS 1193220 HAS SOUPS 1189791 WITH SCORE 1196735.273
AT ITER 519 NEW BEST:: SOT 12966969 SOS 6944169 HAS SOPS 6940162 HAS SOUS 1193212 HAS SOUPS 1189783 WITH SCORE 1196727.169
AT ITER 530 NEW BEST:: SOT 12992208 SOS 6969408 HAS SOPS 6965401 HAS SOUS 1187129 HAS SOUPS 1183700 WITH SCORE 1190669.408
AT ITER 552 NEW BEST:: SOT 12992208 SOS 6969532 HAS SOPS 6965503 HAS SOUS 1186185 HAS SOUPS 1182734 WITH SCORE 1189703.532
AT ITER 554 NEW BEST:: SOT 12992208 SOS 6965212 HAS SOPS 6961183 HAS SOUS 1186185 HAS SOUPS 1182734 WITH SCORE 1189699.212
AT ITER 555 NEW BEST:: SOT 12992208 SOS 6959092 HAS SOPS 6955063 HAS SOUS 1186185 HAS SOUPS 1182734 WITH SCORE 1189693.092
AT ITER 557 NEW BEST:: SOT 12996713 SOS 6963597 HAS SOPS 6959568 HAS SOUS 1185515 HAS SOUPS 1182064 WITH SCORE 1189027.597
AT ITER 566 NEW BEST:: SOT 12997679 SOS 6964563 HAS SOPS 6960534 HAS SOUS 1182705 HAS SOUPS 1179254 WITH SCORE 1186218.563
AT ITER 581 NEW BEST:: SOT 12997679 SOS 6964215 HAS SOPS 6960186 HAS SOUS 1182531 HAS SOUPS 1179080 WITH SCORE 1186044.215
AT ITER 588 NEW BEST:: SOT 12999179 SOS 6965715 HAS SOPS 6961686 HAS SOUS 1180381 HAS SOUPS 1176930 WITH SCORE 1183895.715
AT ITER 592 NEW BEST:: SOT 12999179 SOS 6963339 HAS SOPS 6959310 HAS SOUS 1180381 HAS SOUPS 1176930 WITH SCORE 1183893.339
AT ITER 597 NEW BEST:: SOT 12997769 SOS 6963249 HAS SOPS 6959220 HAS SOUS 1177804 HAS SOUPS 1174353 WITH SCORE 1181316.249
AT ITER 604 NEW BEST:: SOT 12997769 SOS 6963668 HAS SOPS 6959639 HAS SOUS 1177603 HAS SOUPS 1174152 WITH SCORE 1181115.668
AT ITER 605 NEW BEST:: SOT 12997769 SOS 6963500 HAS SOPS 6959471 HAS SOUS 1177519 HAS SOUPS 1174068 WITH SCORE 1181031.5
AT ITER 614 NEW BEST:: SOT 12997769 SOS 6957596 HAS SOPS 6953567 HAS SOUS 1177519 HAS SOUPS 1174068 WITH SCORE 1181025.596
AT ITER 649 NEW BEST:: SOT 12997731 SOS 6957558 HAS SOPS 6953286 HAS SOUS 1177481 HAS SOUPS 1173787 WITH SCORE 1180744.558
AT ITER 658 NEW BEST:: SOT 12998508 SOS 6958319 HAS SOPS 6954047 HAS SOUS 1174598 HAS SOUPS 1170904 WITH SCORE 1177862.319
AT ITER 681 NEW BEST:: SOT 12998508 SOS 6963707 HAS SOPS 6959435 HAS SOUS 1173980 HAS SOUPS 1170286 WITH SCORE 1177249.707
AT ITER 686 NEW BEST:: SOT 12998508 SOS 6963645 HAS SOPS 6959373 HAS SOUS 1173979 HAS SOUPS 1170285 WITH SCORE 1177248.645
AT ITER 691 NEW BEST:: SOT 12998784 SOS 6963921 HAS SOPS 6959649 HAS SOUS 1171588 HAS SOUPS 1167894 WITH SCORE 1174857.921
AT ITER 695 NEW BEST:: SOT 12998784 SOS 6968097 HAS SOPS 6963825 HAS SOUS 1170482 HAS SOUPS 1166788 WITH SCORE 1173756.097
AT ITER 696 NEW BEST:: SOT 12998688 SOS 6967969 HAS SOPS 6963697 HAS SOUS 1170386 HAS SOUPS 1166692 WITH SCORE 1173659.969
AT ITER 719 NEW BEST:: SOT 12998688 SOS 6964873 HAS SOPS 6960601 HAS SOUS 1170386 HAS SOUPS 1166692 WITH SCORE 1173656.873
AT ITER 723 NEW BEST:: SOT 12999935 SOS 6966120 HAS SOPS 6961848 HAS SOUS 1168678 HAS SOUPS 1164984 WITH SCORE 1171950.12
AT ITER 736 NEW BEST:: SOT 12997210 SOS 6965719 HAS SOPS 6961447 HAS SOUS 1163729 HAS SOUPS 1160035 WITH SCORE 1167000.719
AT ITER 737 NEW BEST:: SOT 13021287 SOS 6989796 HAS SOPS 6985524 HAS SOUS 1154817 HAS SOUPS 1151123 WITH SCORE 1158112.796
AT ITER 738 NEW BEST:: SOT 13021287 SOS 6989510 HAS SOPS 6985238 HAS SOUS 1154674 HAS SOUPS 1150980 WITH SCORE 1157969.51
AT ITER 742 NEW BEST:: SOT 13021287 SOS 6987998 HAS SOPS 6983726 HAS SOUS 1154674 HAS SOUPS 1150980 WITH SCORE 1157967.998
AT ITER 778 NEW BEST:: SOT 13023044 SOS 6989953 HAS SOPS 6985681 HAS SOUS 1154103 HAS SOUPS 1150409 WITH SCORE 1157398.953
AT ITER 792 NEW BEST:: SOT 13022344 SOS 6989253 HAS SOPS 6984981 HAS SOUS 1153111 HAS SOUPS 1149417 WITH SCORE 1156406.253
AT ITER 802 NEW BEST:: SOT 13013537 SOS 6989178 HAS SOPS 6984906 HAS SOUS 1142203 HAS SOUPS 1138509 WITH SCORE 1145498.178
AT ITER 814 NEW BEST:: SOT 13013537 SOS 6988906 HAS SOPS 6984634 HAS SOUS 1142033 HAS SOUPS 1138339 WITH SCORE 1145327.906
AT ITER 828 NEW BEST:: SOT 13013537 SOS 6988839 HAS SOPS 6984567 HAS SOUS 1141966 HAS SOUPS 1138272 WITH SCORE 1145260.839
AT ITER 850 NEW BEST:: SOT 13013331 SOS 6988828 HAS SOPS 6984528 HAS SOUS 1140439 HAS SOUPS 1136717 WITH SCORE 1143705.828
AT ITER 879 NEW BEST:: SOT 13023280 SOS 6998777 HAS SOPS 6994477 HAS SOUS 1138336 HAS SOUPS 1134614 WITH SCORE 1141612.777
AT ITER 885 NEW BEST:: SOT 13024759 SOS 7001145 HAS SOPS 6996880 HAS SOUS 1137110 HAS SOUPS 1133423 WITH SCORE 1140424.145
AT ITER 900 NEW BEST:: SOT 13021785 SOS 6998171 HAS SOPS 6993906 HAS SOUS 1134818 HAS SOUPS 1131131 WITH SCORE 1138129.171
AT ITER 915 NEW BEST:: SOT 13023244 SOS 6999787 HAS SOPS 6995501 HAS SOUS 1134719 HAS SOUPS 1131015 WITH SCORE 1138014.787
AT ITER 919 NEW BEST:: SOT 13024608 SOS 7003436 HAS SOPS 6999159 HAS SOUS 1133017 HAS SOUPS 1129322 WITH SCORE 1136325.436
AT ITER 921 NEW BEST:: SOT 13024028 SOS 7001701 HAS SOPS 6998068 HAS SOUS 1127037 HAS SOUPS 1123572 WITH SCORE 1130573.701
AT ITER 924 NEW BEST:: SOT 13024028 SOS 7001585 HAS SOPS 6997952 HAS SOUS 1126979 HAS SOUPS 1123514 WITH SCORE 1130515.585
AT ITER 926 NEW BEST:: SOT 13033387 SOS 7011264 HAS SOPS 7007631 HAS SOUS 1125978 HAS SOUPS 1122513 WITH SCORE 1129524.264
AT ITER 930 NEW BEST:: SOT 13032172 SOS 7010049 HAS SOPS 7006416 HAS SOUS 1123572 HAS SOUPS 1120107 WITH SCORE 1127117.049
AT ITER 935 NEW BEST:: SOT 13037022 SOS 7014899 HAS SOPS 7011266 HAS SOUS 1121538 HAS SOUPS 1118073 WITH SCORE 1125087.899
AT ITER 944 NEW BEST:: SOT 13037518 SOS 7015413 HAS SOPS 7011780 HAS SOUS 1121440 HAS SOUPS 1117975 WITH SCORE 1124990.413
AT ITER 951 NEW BEST:: SOT 13032003 SOS 7009898 HAS SOPS 7006265 HAS SOUS 1120368 HAS SOUPS 1116903 WITH SCORE 1123912.898
AT ITER 960 NEW BEST:: SOT 13037440 SOS 7015135 HAS SOPS 7011533 HAS SOUS 1119356 HAS SOUPS 1115922 WITH SCORE 1122937.135
AT ITER 961 NEW BEST:: SOT 13037440 SOS 7017859 HAS SOPS 7014257 HAS SOUS 1117340 HAS SOUPS 1113906 WITH SCORE 1120923.859
AT ITER 967 NEW BEST:: SOT 13037284 SOS 7017703 HAS SOPS 7014101 HAS SOUS 1117020 HAS SOUPS 1113586 WITH SCORE 1120603.703
AT ITER 988 NEW BEST:: SOT 13035964 SOS 7016028 HAS SOPS 7012478 HAS SOUS 1112853 HAS SOUPS 1109471 WITH SCORE 1116487.028
AT ITER 992 NEW BEST:: SOT 13040280 SOS 7021600 HAS SOPS 7018050 HAS SOUS 1109541 HAS SOUPS 1106159 WITH SCORE 1113180.6
AT ITER 994 NEW BEST:: SOT 13039021 SOS 7018871 HAS SOPS 7015321 HAS SOUS 1108282 HAS SOUPS 1104900 WITH SCORE 1111918.871
AT ITER 996 NEW BEST:: SOT 13039991 SOS 7019841 HAS SOPS 7016291 HAS SOUS 1106673 HAS SOUPS 1103291 WITH SCORE 1110310.841
AT ITER 1001 NEW BEST:: SOT 13042794 SOS 7022744 HAS SOPS 7019216 HAS SOUS 1105300 HAS SOUPS 1101940 WITH SCORE 1108962.744
AT ITER 1006 NEW BEST:: SOT 13042794 SOS 7021376 HAS SOPS 7017848 HAS SOUS 1105300 HAS SOUPS 1101940 WITH SCORE 1108961.376
AT ITER 1010 NEW BEST:: SOT 13042794 SOS 7016984 HAS SOPS 7013456 HAS SOUS 1105300 HAS SOUPS 1101940 WITH SCORE 1108956.984
AT ITER 1027 NEW BEST:: SOT 13045551 SOS 7025437 HAS SOPS 7022270 HAS SOUS 1100610 HAS SOUPS 1097611 WITH SCORE 1104636.437
AT ITER 1030 NEW BEST:: SOT 13048750 SOS 7028636 HAS SOPS 7025469 HAS SOUS 1097768 HAS SOUPS 1094769 WITH SCORE 1101797.636
AT ITER 1050 NEW BEST:: SOT 13048750 SOS 7023956 HAS SOPS 7020789 HAS SOUS 1097768 HAS SOUPS 1094769 WITH SCORE 1101792.956
AT ITER 1055 NEW BEST:: SOT 13049364 SOS 7025794 HAS SOPS 7022627 HAS SOUS 1097157 HAS SOUPS 1094158 WITH SCORE 1101183.794
AT ITER 1060 NEW BEST:: SOT 13049149 SOS 7025538 HAS SOPS 7022371 HAS SOUS 1092764 HAS SOUPS 1089765 WITH SCORE 1096790.538
AT ITER 1070 NEW BEST:: SOT 13044333 SOS 7020378 HAS SOPS 7017211 HAS SOUS 1091924 HAS SOUPS 1088925 WITH SCORE 1095945.378
AT ITER 1086 NEW BEST:: SOT 13044333 SOS 7019370 HAS SOPS 7016203 HAS SOUS 1091924 HAS SOUPS 1088925 WITH SCORE 1095944.37
AT ITER 1088 NEW BEST:: SOT 13044333 SOS 7019172 HAS SOPS 7016005 HAS SOUS 1091825 HAS SOUPS 1088826 WITH SCORE 1095845.172
AT ITER 1102 NEW BEST:: SOT 13042024 SOS 7015457 HAS SOPS 7012290 HAS SOUS 1090865 HAS SOUPS 1087866 WITH SCORE 1094881.457
AT ITER 1105 NEW BEST:: SOT 13041711 SOS 7020919 HAS SOPS 7017752 HAS SOUS 1090576 HAS SOUPS 1087577 WITH SCORE 1094597.919
AT ITER 1108 NEW BEST:: SOT 13040594 SOS 7022070 HAS SOPS 7018903 HAS SOUS 1088593 HAS SOUPS 1085594 WITH SCORE 1092616.07
AT ITER 1114 NEW BEST:: SOT 13047154 SOS 7035438 HAS SOPS 7032303 HAS SOUS 1085700 HAS SOUPS 1082733 WITH SCORE 1089768.438
AT ITER 1115 NEW BEST:: SOT 13046227 SOS 7034511 HAS SOPS 7031376 HAS SOUS 1083813 HAS SOUPS 1080846 WITH SCORE 1087880.511
AT ITER 1116 NEW BEST:: SOT 13046048 SOS 7034332 HAS SOPS 7031197 HAS SOUS 1083435 HAS SOUPS 1080468 WITH SCORE 1087502.332
AT ITER 1125 NEW BEST:: SOT 13041877 SOS 7030161 HAS SOPS 7027026 HAS SOUS 1080024 HAS SOUPS 1077057 WITH SCORE 1084087.161
AT ITER 1149 NEW BEST:: SOT 13041877 SOS 7025553 HAS SOPS 7022418 HAS SOUS 1080024 HAS SOUPS 1077057 WITH SCORE 1084082.553
AT ITER 1150 NEW BEST:: SOT 13041877 SOS 7025534 HAS SOPS 7022399 HAS SOUS 1080005 HAS SOUPS 1077038 WITH SCORE 1084063.534
AT ITER 1158 NEW BEST:: SOT 13040869 SOS 7018811 HAS SOPS 7015676 HAS SOUS 1078212 HAS SOUPS 1075245 WITH SCORE 1082263.811
AT ITER 1162 NEW BEST:: SOT 13039917 SOS 7017859 HAS SOPS 7014724 HAS SOUS 1077351 HAS SOUPS 1074384 WITH SCORE 1081401.859
AT ITER 1169 NEW BEST:: SOT 13037666 SOS 7015608 HAS SOPS 7012473 HAS SOUS 1074022 HAS SOUPS 1071055 WITH SCORE 1078070.608
AT ITER 1179 NEW BEST:: SOT 13037601 SOS 7015976 HAS SOPS 7012877 HAS SOUS 1073965 HAS SOUPS 1071014 WITH SCORE 1078029.976
AT ITER 1186 NEW BEST:: SOT 13037146 SOS 7015521 HAS SOPS 7012422 HAS SOUS 1073371 HAS SOUPS 1070420 WITH SCORE 1077435.521
AT ITER 1194 NEW BEST:: SOT 13037224 SOS 7015599 HAS SOPS 7012500 HAS SOUS 1073180 HAS SOUPS 1070229 WITH SCORE 1077244.599
AT ITER 1200 NEW BEST:: SOT 13033571 SOS 7019723 HAS SOPS 7016326 HAS SOUS 1068900 HAS SOUPS 1065651 WITH SCORE 1072670.723
AT ITER 1204 NEW BEST:: SOT 13035972 SOS 7022335 HAS SOPS 7019292 HAS SOUS 1060597 HAS SOUPS 1057702 WITH SCORE 1064724.335
AT ITER 1207 NEW BEST:: SOT 13034534 SOS 7020573 HAS SOPS 7017504 HAS SOUS 1059660 HAS SOUPS 1056754 WITH SCORE 1063774.573
AT ITER 1214 NEW BEST:: SOT 13048909 SOS 7034948 HAS SOPS 7031879 HAS SOUS 1056729 HAS SOUPS 1053823 WITH SCORE 1060857.948
AT ITER 1215 NEW BEST:: SOT 13027404 SOS 7013443 HAS SOPS 7010374 HAS SOUS 1047701 HAS SOUPS 1044795 WITH SCORE 1051808.443
AT ITER 1221 NEW BEST:: SOT 13027404 SOS 7008115 HAS SOPS 7005046 HAS SOUS 1047701 HAS SOUPS 1044795 WITH SCORE 1051803.115
AT ITER 1222 NEW BEST:: SOT 13027062 SOS 6998629 HAS SOPS 6995560 HAS SOUS 1047382 HAS SOUPS 1044476 WITH SCORE 1051474.629
AT ITER 1224 NEW BEST:: SOT 13027062 SOS 6994837 HAS SOPS 6991768 HAS SOUS 1047306 HAS SOUPS 1044400 WITH SCORE 1051394.837
AT ITER 1230 NEW BEST:: SOT 13052046 SOS 7019821 HAS SOPS 7016752 HAS SOUS 1039438 HAS SOUPS 1036532 WITH SCORE 1043551.821
AT ITER 1233 NEW BEST:: SOT 13052046 SOS 7019821 HAS SOPS 7016752 HAS SOUS 1039353 HAS SOUPS 1036447 WITH SCORE 1043466.821
AT ITER 1246 NEW BEST:: SOT 13051800 SOS 7019575 HAS SOPS 7016506 HAS SOUS 1039312 HAS SOUPS 1036406 WITH SCORE 1043425.575
AT ITER 1248 NEW BEST:: SOT 13051792 SOS 7019567 HAS SOPS 7016498 HAS SOUS 1039305 HAS SOUPS 1036399 WITH SCORE 1043418.567
AT ITER 1268 NEW BEST:: SOT 13051727 SOS 7019502 HAS SOPS 7016433 HAS SOUS 1038306 HAS SOUPS 1035400 WITH SCORE 1042419.502
AT ITER 1286 NEW BEST:: SOT 13062743 SOS 7031925 HAS SOPS 7028581 HAS SOUS 1036366 HAS SOUPS 1033312 WITH SCORE 1040343.925
AT ITER 1310 NEW BEST:: SOT 13062737 SOS 7031910 HAS SOPS 7028566 HAS SOUS 1036360 HAS SOUPS 1033306 WITH SCORE 1040337.91
AT ITER 1319 NEW BEST:: SOT 13055669 SOS 7024825 HAS SOPS 7021481 HAS SOUS 1028824 HAS SOUPS 1025770 WITH SCORE 1032794.825
AT ITER 1321 NEW BEST:: SOT 13067303 SOS 7047416 HAS SOPS 7044131 HAS SOUS 1028202 HAS SOUPS 1025207 WITH SCORE 1032254.416
AT ITER 1322 NEW BEST:: SOT 13069463 SOS 7049700 HAS SOPS 7046415 HAS SOUS 1028142 HAS SOUPS 1025147 WITH SCORE 1032196.7
AT ITER 1333 NEW BEST:: SOT 13069463 SOS 7044804 HAS SOPS 7041519 HAS SOUS 1028142 HAS SOUPS 1025147 WITH SCORE 1032191.804
AT ITER 1358 NEW BEST:: SOT 13068702 SOS 7048595 HAS SOPS 7045310 HAS SOUS 1027170 HAS SOUPS 1024175 WITH SCORE 1031223.595
AT ITER 1368 NEW BEST:: SOT 13068702 SOS 7052548 HAS SOPS 7049263 HAS SOUS 1026531 HAS SOUPS 1023536 WITH SCORE 1030588.548
AT ITER 1370 NEW BEST:: SOT 13076132 SOS 7066444 HAS SOPS 7063173 HAS SOUS 1024714 HAS SOUPS 1021733 WITH SCORE 1028799.444
AT ITER 1371 NEW BEST:: SOT 13076132 SOS 7066444 HAS SOPS 7063173 HAS SOUS 1024696 HAS SOUPS 1021715 WITH SCORE 1028781.444
AT ITER 1372 NEW BEST:: SOT 13076118 SOS 7066430 HAS SOPS 7063159 HAS SOUS 1024682 HAS SOUPS 1021701 WITH SCORE 1028767.43
AT ITER 1377 NEW BEST:: SOT 13071484 SOS 7061796 HAS SOPS 7058525 HAS SOUS 1013867 HAS SOUPS 1010886 WITH SCORE 1017947.796
AT ITER 1384 NEW BEST:: SOT 13071484 SOS 7059115 HAS SOPS 7055844 HAS SOUS 1013778 HAS SOUPS 1010797 WITH SCORE 1017856.115
AT ITER 1386 NEW BEST:: SOT 13071484 SOS 7058827 HAS SOPS 7055556 HAS SOUS 1013634 HAS SOUPS 1010653 WITH SCORE 1017711.827
AT ITER 1393 NEW BEST:: SOT 13070789 SOS 7058132 HAS SOPS 7054861 HAS SOUS 1012939 HAS SOUPS 1009958 WITH SCORE 1017016.132
AT ITER 1396 NEW BEST:: SOT 13070814 SOS 7058157 HAS SOPS 7054886 HAS SOUS 1012921 HAS SOUPS 1009940 WITH SCORE 1016998.157
AT ITER 1398 NEW BEST:: SOT 13070814 SOS 7055963 HAS SOPS 7052692 HAS SOUS 1012861 HAS SOUPS 1009880 WITH SCORE 1016935.963
AT ITER 1412 NEW BEST:: SOT 13070814 SOS 7055963 HAS SOPS 7052692 HAS SOUS 1012812 HAS SOUPS 1009831 WITH SCORE 1016886.963
AT ITER 1432 NEW BEST:: SOT 13070814 SOS 7065107 HAS SOPS 7061836 HAS SOUS 1012605 HAS SOUPS 1009624 WITH SCORE 1016689.107
AT ITER 1435 NEW BEST:: SOT 13070807 SOS 7065100 HAS SOPS 7061829 HAS SOUS 1012598 HAS SOUPS 1009617 WITH SCORE 1016682.1
AT ITER 1436 NEW BEST:: SOT 13071557 SOS 7065850 HAS SOPS 7062579 HAS SOUS 1012561 HAS SOUPS 1009580 WITH SCORE 1016645.85
AT ITER 1444 NEW BEST:: SOT 13073118 SOS 7067411 HAS SOPS 7064140 HAS SOUS 1007834 HAS SOUPS 1004853 WITH SCORE 1011920.411
AT ITER 1458 NEW BEST:: SOT 13066353 SOS 7060646 HAS SOPS 7057375 HAS SOUS 1007396 HAS SOUPS 1004415 WITH SCORE 1011475.646
AT ITER 1465 NEW BEST:: SOT 13065855 SOS 7060148 HAS SOPS 7056877 HAS SOUS 1006828 HAS SOUPS 1003847 WITH SCORE 1010907.148
AT ITER 1469 NEW BEST:: SOT 13066928 SOS 7061265 HAS SOPS 7057994 HAS SOUS 1006769 HAS SOUPS 1003788 WITH SCORE 1010849.265
AT ITER 1479 NEW BEST:: SOT 13066890 SOS 7061281 HAS SOPS 7058010 HAS SOUS 1006220 HAS SOUPS 1003239 WITH SCORE 1010300.281
AT ITER 1481 NEW BEST:: SOT 13064454 SOS 7058667 HAS SOPS 7055373 HAS SOUS 1001295 HAS SOUPS 998291 WITH SCORE 1005349.667
AT ITER 1482 NEW BEST:: SOT 13063651 SOS 7057517 HAS SOPS 7054276 HAS SOUS 994167 HAS SOUPS 991212 WITH SCORE 998269.517
AT ITER 1493 NEW BEST:: SOT 13069254 SOS 7069582 HAS SOPS 7066359 HAS SOUS 990062 HAS SOUPS 987125 WITH SCORE 994194.582
AT ITER 1495 NEW BEST:: SOT 13069254 SOS 7064110 HAS SOPS 7060887 HAS SOUS 990062 HAS SOUPS 987125 WITH SCORE 994189.11
AT ITER 1508 NEW BEST:: SOT 13065203 SOS 7060059 HAS SOPS 7056836 HAS SOUS 989045 HAS SOUPS 986108 WITH SCORE 993168.059
AT ITER 1516 NEW BEST:: SOT 13065199 SOS 7060055 HAS SOPS 7056832 HAS SOUS 988863 HAS SOUPS 985926 WITH SCORE 992986.055
AT ITER 1520 NEW BEST:: SOT 13062673 SOS 7057529 HAS SOPS 7054306 HAS SOUS 983531 HAS SOUPS 980594 WITH SCORE 987651.529
AT ITER 1527 NEW BEST:: SOT 13061631 SOS 7056487 HAS SOPS 7053264 HAS SOUS 981426 HAS SOUPS 978489 WITH SCORE 985545.487
AT ITER 1535 NEW BEST:: SOT 13060380 SOS 7055083 HAS SOPS 7051893 HAS SOUS 969702 HAS SOUPS 966798 WITH SCORE 973853.083
AT ITER 1539 NEW BEST:: SOT 13076893 SOS 7071596 HAS SOPS 7068406 HAS SOUS 961270 HAS SOUPS 958366 WITH SCORE 965437.596
AT ITER 1557 NEW BEST:: SOT 13076002 SOS 7070705 HAS SOPS 7067515 HAS SOUS 960431 HAS SOUPS 957527 WITH SCORE 964597.705
AT ITER 1564 NEW BEST:: SOT 13075580 SOS 7070127 HAS SOPS 7066937 HAS SOUS 959996 HAS SOUPS 957092 WITH SCORE 964162.127
AT ITER 1570 NEW BEST:: SOT 13076089 SOS 7070636 HAS SOPS 7067446 HAS SOUS 959365 HAS SOUPS 956461 WITH SCORE 963531.636
AT ITER 1577 NEW BEST:: SOT 13076089 SOS 7069772 HAS SOPS 7066582 HAS SOUS 959365 HAS SOUPS 956461 WITH SCORE 963530.772
AT ITER 1581 NEW BEST:: SOT 13078552 SOS 7072751 HAS SOPS 7069561 HAS SOUS 958698 HAS SOUPS 955794 WITH SCORE 962866.751
AT ITER 1583 NEW BEST:: SOT 13078422 SOS 7072475 HAS SOPS 7069285 HAS SOUS 958568 HAS SOUPS 955664 WITH SCORE 962736.475
AT ITER 1585 NEW BEST:: SOT 13075811 SOS 7078244 HAS SOPS 7075054 HAS SOUS 956260 HAS SOUPS 953356 WITH SCORE 960434.244
AT ITER 1587 NEW BEST:: SOT 13077070 SOS 7081445 HAS SOPS 7078257 HAS SOUS 954068 HAS SOUPS 951166 WITH SCORE 958247.445
AT ITER 1599 NEW BEST:: SOT 13072797 SOS 7077172 HAS SOPS 7073984 HAS SOUS 947432 HAS SOUPS 944530 WITH SCORE 951607.172
AT ITER 1620 NEW BEST:: SOT 13072798 SOS 7077173 HAS SOPS 7073985 HAS SOUS 947429 HAS SOUPS 944527 WITH SCORE 951604.173
AT ITER 1624 NEW BEST:: SOT 13072798 SOS 7070117 HAS SOPS 7066929 HAS SOUS 947429 HAS SOUPS 944527 WITH SCORE 951597.117
AT ITER 1626 NEW BEST:: SOT 13072798 SOS 7069955 HAS SOPS 7066767 HAS SOUS 947348 HAS SOUPS 944446 WITH SCORE 951515.955
AT ITER 1633 NEW BEST:: SOT 13072730 SOS 7069902 HAS SOPS 7066657 HAS SOUS 947309 HAS SOUPS 944350 WITH SCORE 951419.902
AT ITER 1638 NEW BEST:: SOT 13072730 SOS 7064718 HAS SOPS 7061473 HAS SOUS 947309 HAS SOUPS 944350 WITH SCORE 951414.718
AT ITER 1656 NEW BEST:: SOT 13072730 SOS 7059246 HAS SOPS 7056001 HAS SOUS 947237 HAS SOUPS 944278 WITH SCORE 951337.246
AT ITER 1657 NEW BEST:: SOT 13072730 SOS 7055502 HAS SOPS 7052257 HAS SOUS 947237 HAS SOUPS 944278 WITH SCORE 951333.502
AT ITER 1662 NEW BEST:: SOT 13071327 SOS 7054243 HAS SOPS 7050998 HAS SOUS 947129 HAS SOUPS 944170 WITH SCORE 951224.243
AT ITER 1663 NEW BEST:: SOT 13076521 SOS 7059805 HAS SOPS 7056560 HAS SOUS 946633 HAS SOUPS 943674 WITH SCORE 950733.805
AT ITER 1666 NEW BEST:: SOT 13076780 SOS 7060120 HAS SOPS 7056861 HAS SOUS 946609 HAS SOUPS 943636 WITH SCORE 950696.12
AT ITER 1669 NEW BEST:: SOT 13076864 SOS 7060790 HAS SOPS 7057531 HAS SOUS 946464 HAS SOUPS 943491 WITH SCORE 950551.79
AT ITER 1672 NEW BEST:: SOT 13078341 SOS 7062267 HAS SOPS 7059008 HAS SOUS 945966 HAS SOUPS 942993 WITH SCORE 950055.267
AT ITER 1698 NEW BEST:: SOT 13077546 SOS 7061904 HAS SOPS 7058645 HAS SOUS 941423 HAS SOUPS 938450 WITH SCORE 945511.904
AT ITER 1701 NEW BEST:: SOT 13078486 SOS 7062844 HAS SOPS 7059585 HAS SOUS 940943 HAS SOUPS 937970 WITH SCORE 945032.844
AT ITER 1703 NEW BEST:: SOT 13075031 SOS 7059310 HAS SOPS 7055977 HAS SOUS 939308 HAS SOUPS 936261 WITH SCORE 943320.31
AT ITER 1710 NEW BEST:: SOT 13072487 SOS 7056766 HAS SOPS 7053433 HAS SOUS 934070 HAS SOUPS 931023 WITH SCORE 938079.766
AT ITER 1715 NEW BEST:: SOT 13072706 SOS 7056971 HAS SOPS 7053638 HAS SOUS 933950 HAS SOUPS 930903 WITH SCORE 937959.971
AT ITER 1722 NEW BEST:: SOT 13083787 SOS 7077672 HAS SOPS 7074367 HAS SOUS 931925 HAS SOUPS 928906 WITH SCORE 935983.672
AT ITER 1736 NEW BEST:: SOT 13083787 SOS 7077672 HAS SOPS 7074367 HAS SOUS 931582 HAS SOUPS 928563 WITH SCORE 935640.672
AT ITER 1741 NEW BEST:: SOT 13084523 SOS 7078408 HAS SOPS 7075103 HAS SOUS 930369 HAS SOUPS 927350 WITH SCORE 934428.408
AT ITER 1769 NEW BEST:: SOT 13083500 SOS 7079541 HAS SOPS 7076236 HAS SOUS 928395 HAS SOUPS 925376 WITH SCORE 932455.541
AT ITER 1779 NEW BEST:: SOT 13083618 SOS 7080150 HAS SOPS 7076905 HAS SOUS 927657 HAS SOUPS 924698 WITH SCORE 931778.15
AT ITER 1791 NEW BEST:: SOT 13083459 SOS 7079991 HAS SOPS 7076759 HAS SOUS 926011 HAS SOUPS 923065 WITH SCORE 930144.991
AT ITER 1795 NEW BEST:: SOT 13083794 SOS 7080405 HAS SOPS 7077222 HAS SOUS 920683 HAS SOUPS 917786 WITH SCORE 924866.405
AT ITER 1808 NEW BEST:: SOT 13084039 SOS 7080612 HAS SOPS 7077429 HAS SOUS 919766 HAS SOUPS 916869 WITH SCORE 923949.612
AT ITER 1819 NEW BEST:: SOT 13083947 SOS 7080536 HAS SOPS 7077353 HAS SOUS 919086 HAS SOUPS 916189 WITH SCORE 923269.536
AT ITER 1829 NEW BEST:: SOT 13084774 SOS 7081363 HAS SOPS 7078180 HAS SOUS 915097 HAS SOUPS 912200 WITH SCORE 919281.363
AT ITER 1841 NEW BEST:: SOT 13084774 SOS 7077494 HAS SOPS 7074311 HAS SOUS 915044 HAS SOUPS 912147 WITH SCORE 919224.494
AT ITER 1858 NEW BEST:: SOT 13084597 SOS 7077243 HAS SOPS 7074047 HAS SOUS 910978 HAS SOUPS 908068 WITH SCORE 915145.243
AT ITER 1860 NEW BEST:: SOT 13084256 SOS 7076902 HAS SOPS 7073706 HAS SOUS 910296 HAS SOUPS 907386 WITH SCORE 914462.902
AT ITER 1870 NEW BEST:: SOT 13082078 SOS 7074813 HAS SOPS 7071615 HAS SOUS 905902 HAS SOUPS 902990 WITH SCORE 910064.813
AT ITER 1882 NEW BEST:: SOT 13082832 SOS 7075567 HAS SOPS 7072369 HAS SOUS 905340 HAS SOUPS 902428 WITH SCORE 909503.567
AT ITER 1884 NEW BEST:: SOT 13082316 SOS 7077847 HAS SOPS 7074649 HAS SOUS 904530 HAS SOUPS 901618 WITH SCORE 908695.847
AT ITER 1902 NEW BEST:: SOT 13080225 SOS 7075756 HAS SOPS 7072558 HAS SOUS 900365 HAS SOUPS 897453 WITH SCORE 904528.756
AT ITER 1910 NEW BEST:: SOT 13080805 SOS 7076336 HAS SOPS 7073138 HAS SOUS 899920 HAS SOUPS 897008 WITH SCORE 904084.336
AT ITER 1927 NEW BEST:: SOT 13078429 SOS 7073960 HAS SOPS 7070762 HAS SOUS 899070 HAS SOUPS 896158 WITH SCORE 903231.96
AT ITER 1939 NEW BEST:: SOT 13078430 SOS 7073961 HAS SOPS 7070763 HAS SOUS 899045 HAS SOUPS 896133 WITH SCORE 903206.961
AT ITER 1952 NEW BEST:: SOT 13075950 SOS 7071427 HAS SOPS 7068229 HAS SOUS 893741 HAS SOUPS 890829 WITH SCORE 897900.427
AT ITER 1966 NEW BEST:: SOT 13075950 SOS 7065379 HAS SOPS 7062181 HAS SOUS 893741 HAS SOUPS 890829 WITH SCORE 897894.379
AT ITER 2036 NEW BEST:: SOT 13075436 SOS 7064865 HAS SOPS 7061667 HAS SOUS 893286 HAS SOUPS 890374 WITH SCORE 897438.865
AT ITER 2038 NEW BEST:: SOT 13075456 SOS 7001937 HAS SOPS 6998739 HAS SOUS 893286 HAS SOUPS 890374 WITH SCORE 897375.937
AT ITER 2047 NEW BEST:: SOT 13075456 SOS 7000497 HAS SOPS 6997299 HAS SOUS 893286 HAS SOUPS 890374 WITH SCORE 897374.497
AT ITER 2061 NEW BEST:: SOT 13073897 SOS 6998938 HAS SOPS 6995740 HAS SOUS 890896 HAS SOUPS 887984 WITH SCORE 894982.938
AT ITER 2074 NEW BEST:: SOT 13069488 SOS 6994404 HAS SOPS 6991157 HAS SOUS 890712 HAS SOUPS 887751 WITH SCORE 894745.404
AT ITER 2076 NEW BEST:: SOT 13069473 SOS 6994389 HAS SOPS 6991142 HAS SOUS 890227 HAS SOUPS 887266 WITH SCORE 894260.389
AT ITER 2081 NEW BEST:: SOT 13063780 SOS 6987561 HAS SOPS 6984314 HAS SOUS 888715 HAS SOUPS 885754 WITH SCORE 892741.561
AT ITER 2084 NEW BEST:: SOT 13063780 SOS 6981297 HAS SOPS 6978050 HAS SOUS 888715 HAS SOUPS 885754 WITH SCORE 892735.297
AT ITER 2108 NEW BEST:: SOT 13066251 SOS 6995724 HAS SOPS 6992477 HAS SOUS 885614 HAS SOUPS 882653 WITH SCORE 889648.724
AT ITER 2115 NEW BEST:: SOT 13067824 SOS 6999369 HAS SOPS 6996122 HAS SOUS 883506 HAS SOUPS 880545 WITH SCORE 887544.369
AT ITER 2116 NEW BEST:: SOT 13076667 SOS 7015750 HAS SOPS 7012525 HAS SOUS 882054 HAS SOUPS 879115 WITH SCORE 886130.75
AT ITER 2152 NEW BEST:: SOT 13073046 SOS 7012129 HAS SOPS 7008904 HAS SOUS 877284 HAS SOUPS 874345 WITH SCORE 881357.129
AT ITER 2156 NEW BEST:: SOT 13071667 SOS 7010750 HAS SOPS 7007525 HAS SOUS 877238 HAS SOUPS 874299 WITH SCORE 881309.75
AT ITER 2159 NEW BEST:: SOT 13073862 SOS 7012945 HAS SOPS 7009720 HAS SOUS 874989 HAS SOUPS 872050 WITH SCORE 879062.945
AT ITER 2173 NEW BEST:: SOT 13078236 SOS 7017373 HAS SOPS 7014186 HAS SOUS 873739 HAS SOUPS 870838 WITH SCORE 877855.373
AT ITER 2179 NEW BEST:: SOT 13077365 SOS 7016502 HAS SOPS 7013315 HAS SOUS 871935 HAS SOUPS 869034 WITH SCORE 876050.502
AT ITER 2187 NEW BEST:: SOT 13076510 SOS 7015623 HAS SOPS 7012436 HAS SOUS 866215 HAS SOUPS 863314 WITH SCORE 870329.623
AT ITER 2201 NEW BEST:: SOT 13075343 SOS 7012700 HAS SOPS 7010261 HAS SOUS 865034 HAS SOUPS 862881 WITH SCORE 869893.7
AT ITER 2203 NEW BEST:: SOT 13074286 SOS 7011643 HAS SOPS 7009204 HAS SOUS 864003 HAS SOUPS 861850 WITH SCORE 868861.643
AT ITER 2243 NEW BEST:: SOT 13078686 SOS 7016204 HAS SOPS 7013812 HAS SOUS 862841 HAS SOUPS 860735 WITH SCORE 867751.204
AT ITER 2250 NEW BEST:: SOT 13078873 SOS 7065621 HAS SOPS 7063229 HAS SOUS 862508 HAS SOUPS 860402 WITH SCORE 867467.621
AT ITER 2280 NEW BEST:: SOT 13078873 SOS 7063029 HAS SOPS 7060637 HAS SOUS 862508 HAS SOUPS 860402 WITH SCORE 867465.029
AT ITER 2290 NEW BEST:: SOT 13078873 SOS 7060797 HAS SOPS 7058405 HAS SOUS 862508 HAS SOUPS 860402 WITH SCORE 867462.797
AT ITER 2295 NEW BEST:: SOT 13078873 SOS 7054977 HAS SOPS 7052585 HAS SOUS 862496 HAS SOUPS 860390 WITH SCORE 867444.977
AT ITER 2301 NEW BEST:: SOT 13078086 SOS 7054203 HAS SOPS 7051811 HAS SOUS 860750 HAS SOUPS 858644 WITH SCORE 865698.203
AT ITER 2306 NEW BEST:: SOT 13077988 SOS 7053961 HAS SOPS 7051569 HAS SOUS 858528 HAS SOUPS 856422 WITH SCORE 863475.961
AT ITER 2325 NEW BEST:: SOT 13077988 SOS 7047337 HAS SOPS 7044945 HAS SOUS 858192 HAS SOUPS 856086 WITH SCORE 863133.337
AT ITER 2330 NEW BEST:: SOT 13077918 SOS 7047243 HAS SOPS 7044851 HAS SOUS 858192 HAS SOUPS 856086 WITH SCORE 863133.243
AT ITER 2334 NEW BEST:: SOT 13077918 SOS 7047243 HAS SOPS 7044851 HAS SOUS 858153 HAS SOUPS 856047 WITH SCORE 863094.243
AT ITER 2339 NEW BEST:: SOT 13076154 SOS 7045479 HAS SOPS 7043087 HAS SOUS 856038 HAS SOUPS 853932 WITH SCORE 860977.479
AT ITER 2373 NEW BEST:: SOT 13073829 SOS 7043154 HAS SOPS 7040762 HAS SOUS 853962 HAS SOUPS 851856 WITH SCORE 858899.154
AT ITER 2380 NEW BEST:: SOT 13074128 SOS 7043498 HAS SOPS 7041101 HAS SOUS 853776 HAS SOUPS 851665 WITH SCORE 858708.498
AT ITER 2396 NEW BEST:: SOT 13075930 SOS 7045443 HAS SOPS 7043089 HAS SOUS 848419 HAS SOUPS 846351 WITH SCORE 853396.443
AT ITER 2398 NEW BEST:: SOT 13074844 SOS 7044373 HAS SOPS 7042019 HAS SOUS 846183 HAS SOUPS 844115 WITH SCORE 851159.373
AT ITER 2404 NEW BEST:: SOT 13075468 SOS 7044997 HAS SOPS 7042643 HAS SOUS 842108 HAS SOUPS 840040 WITH SCORE 847084.997
AT ITER 2427 NEW BEST:: SOT 13076496 SOS 7046025 HAS SOPS 7043671 HAS SOUS 841819 HAS SOUPS 839751 WITH SCORE 846797.025
AT ITER 2434 NEW BEST:: SOT 13076496 SOS 7046025 HAS SOPS 7043671 HAS SOUS 841813 HAS SOUPS 839745 WITH SCORE 846791.025
AT ITER 2436 NEW BEST:: SOT 13076990 SOS 7046551 HAS SOPS 7044197 HAS SOUS 841672 HAS SOUPS 839604 WITH SCORE 846650.551
AT ITER 2440 NEW BEST:: SOT 13076990 SOS 7046377 HAS SOPS 7044023 HAS SOUS 841585 HAS SOUPS 839517 WITH SCORE 846563.377
AT ITER 2451 NEW BEST:: SOT 13076943 SOS 7044087 HAS SOPS 7041733 HAS SOUS 841563 HAS SOUPS 839495 WITH SCORE 846539.087
AT ITER 2452 NEW BEST:: SOT 13075673 SOS 7042817 HAS SOPS 7040463 HAS SOUS 840853 HAS SOUPS 838785 WITH SCORE 845827.817
AT ITER 2455 NEW BEST:: SOT 13075673 SOS 7042473 HAS SOPS 7040119 HAS SOUS 840753 HAS SOUPS 838685 WITH SCORE 845727.473
AT ITER 2459 NEW BEST:: SOT 13074893 SOS 7041693 HAS SOPS 7039339 HAS SOUS 839643 HAS SOUPS 837575 WITH SCORE 844616.693
AT ITER 2480 NEW BEST:: SOT 13076593 SOS 7044280 HAS SOPS 7041941 HAS SOUS 839036 HAS SOUPS 836983 WITH SCORE 844027.28
AT ITER 2498 NEW BEST:: SOT 13077506 SOS 7049253 HAS SOPS 7046914 HAS SOUS 838683 HAS SOUPS 836630 WITH SCORE 843679.253
AT ITER 2499 NEW BEST:: SOT 13076611 SOS 7048358 HAS SOPS 7046019 HAS SOUS 837609 HAS SOUPS 835556 WITH SCORE 842604.358
AT ITER 2501 NEW BEST:: SOT 13076611 SOS 7048358 HAS SOPS 7046019 HAS SOUS 837360 HAS SOUPS 835307 WITH SCORE 842355.358
AT ITER 2520 NEW BEST:: SOT 13076557 SOS 7048218 HAS SOPS 7045879 HAS SOUS 837295 HAS SOUPS 835242 WITH SCORE 842290.218
AT ITER 2526 NEW BEST:: SOT 13062551 SOS 7034776 HAS SOPS 7032437 HAS SOUS 833374 HAS SOUPS 831321 WITH SCORE 838355.776
AT ITER 2564 NEW BEST:: SOT 13062551 SOS 7034344 HAS SOPS 7032005 HAS SOUS 833374 HAS SOUPS 831321 WITH SCORE 838355.344
AT ITER 2591 NEW BEST:: SOT 13062551 SOS 7030672 HAS SOPS 7028333 HAS SOUS 833374 HAS SOUPS 831321 WITH SCORE 838351.672
AT ITER 2633 NEW BEST:: SOT 13065414 SOS 7033643 HAS SOPS 7031314 HAS SOUS 832877 HAS SOUPS 830834 WITH SCORE 837867.643
AT ITER 2655 NEW BEST:: SOT 13067211 SOS 7035424 HAS SOPS 7033095 HAS SOUS 831100 HAS SOUPS 829057 WITH SCORE 836092.424
AT ITER 2671 NEW BEST:: SOT 13070453 SOS 7038646 HAS SOPS 7036337 HAS SOUS 829537 HAS SOUPS 827514 WITH SCORE 834552.646
AT ITER 2709 NEW BEST:: SOT 13070577 SOS 7038264 HAS SOPS 7036017 HAS SOUS 827681 HAS SOUPS 825720 WITH SCORE 832758.264
AT ITER 2712 NEW BEST:: SOT 13071984 SOS 7039658 HAS SOPS 7037424 HAS SOUS 826606 HAS SOUPS 824658 WITH SCORE 831697.658
AT ITER 2723 NEW BEST:: SOT 13071984 SOS 7039526 HAS SOPS 7037292 HAS SOUS 826600 HAS SOUPS 824652 WITH SCORE 831691.526
AT ITER 2734 NEW BEST:: SOT 13071872 SOS 7039398 HAS SOPS 7037164 HAS SOUS 826480 HAS SOUPS 824532 WITH SCORE 831571.398
AT ITER 2751 NEW BEST:: SOT 13067855 SOS 7035424 HAS SOPS 7033190 HAS SOUS 825705 HAS SOUPS 823757 WITH SCORE 830792.424
AT ITER 2755 NEW BEST:: SOT 13071896 SOS 7039607 HAS SOPS 7037373 HAS SOUS 825372 HAS SOUPS 823424 WITH SCORE 830463.607
AT ITER 2771 NEW BEST:: SOT 13071530 SOS 7032617 HAS SOPS 7030383 HAS SOUS 824979 HAS SOUPS 823031 WITH SCORE 830063.617
AT ITER 2790 NEW BEST:: SOT 13071530 SOS 7027511 HAS SOPS 7025277 HAS SOUS 824973 HAS SOUPS 823025 WITH SCORE 830052.511
AT ITER 2796 NEW BEST:: SOT 13071511 SOS 7027460 HAS SOPS 7025226 HAS SOUS 824934 HAS SOUPS 822986 WITH SCORE 830013.46
AT ITER 2810 NEW BEST:: SOT 13071511 SOS 7025876 HAS SOPS 7023642 HAS SOUS 824934 HAS SOUPS 822986 WITH SCORE 830011.876
AT ITER 2840 NEW BEST:: SOT 13072934 SOS 7027487 HAS SOPS 7025253 HAS SOUS 824480 HAS SOUPS 822532 WITH SCORE 829559.487
AT ITER 2861 NEW BEST:: SOT 13071491 SOS 7026044 HAS SOPS 7023810 HAS SOUS 821917 HAS SOUPS 819969 WITH SCORE 826995.044
AT ITER 2880 NEW BEST:: SOT 13071465 SOS 7026018 HAS SOPS 7023784 HAS SOUS 821917 HAS SOUPS 819969 WITH SCORE 826995.018
AT ITER 2885 NEW BEST:: SOT 13066884 SOS 7021437 HAS SOPS 7019203 HAS SOUS 815719 HAS SOUPS 813771 WITH SCORE 820792.437
AT ITER 2925 NEW BEST:: SOT 13066427 SOS 7020933 HAS SOPS 7018693 HAS SOUS 815521 HAS SOUPS 813567 WITH SCORE 820587.933
AT ITER 2930 NEW BEST:: SOT 13066427 SOS 7018269 HAS SOPS 7016029 HAS SOUS 815521 HAS SOUPS 813567 WITH SCORE 820585.269
AT ITER 2960 NEW BEST:: SOT 13067805 SOS 7019200 HAS SOPS 7017037 HAS SOUS 810730 HAS SOUPS 808853 WITH SCORE 815872.2
AT ITER 2967 NEW BEST:: SOT 13067764 SOS 7019159 HAS SOPS 7016996 HAS SOUS 810689 HAS SOUPS 808812 WITH SCORE 815831.159
AT ITER 3011 NEW BEST:: SOT 13067886 SOS 7019281 HAS SOPS 7017118 HAS SOUS 810615 HAS SOUPS 808738 WITH SCORE 815757.281
AT ITER 3027 NEW BEST:: SOT 13067886 SOS 7019029 HAS SOPS 7016866 HAS SOUS 810615 HAS SOUPS 808738 WITH SCORE 815757.029
AT ITER 3053 NEW BEST:: SOT 13058894 SOS 7009357 HAS SOPS 7006981 HAS SOUS 808287 HAS SOUPS 806197 WITH SCORE 813206.357
AT ITER 3059 NEW BEST:: SOT 13057860 SOS 7008323 HAS SOPS 7005947 HAS SOUS 807088 HAS SOUPS 804998 WITH SCORE 812006.323
AT ITER 3069 NEW BEST:: SOT 13059962 SOS 7018835 HAS SOPS 7015708 HAS SOUS 806300 HAS SOUPS 803869 WITH SCORE 810887.835
AT ITER 3086 NEW BEST:: SOT 13059962 SOS 7018768 HAS SOPS 7015641 HAS SOUS 806233 HAS SOUPS 803802 WITH SCORE 810820.768
AT ITER 3137 NEW BEST:: SOT 13059255 SOS 7018061 HAS SOPS 7014934 HAS SOUS 805022 HAS SOUPS 802591 WITH SCORE 809609.061
AT ITER 3141 NEW BEST:: SOT 13058644 SOS 7017450 HAS SOPS 7014323 HAS SOUS 804469 HAS SOUPS 802038 WITH SCORE 809055.45
AT ITER 3153 NEW BEST:: SOT 13058644 SOS 7017451 HAS SOPS 7014324 HAS SOUS 804468 HAS SOUPS 802037 WITH SCORE 809054.451
AT ITER 3166 NEW BEST:: SOT 13058350 SOS 7018536 HAS SOPS 7015409 HAS SOUS 804426 HAS SOUPS 801995 WITH SCORE 809013.536
AT ITER 3168 NEW BEST:: SOT 13058350 SOS 7018544 HAS SOPS 7015417 HAS SOUS 804418 HAS SOUPS 801987 WITH SCORE 809005.544
AT ITER 3206 NEW BEST:: SOT 13058649 SOS 7018796 HAS SOPS 7015669 HAS SOUS 801124 HAS SOUPS 798693 WITH SCORE 805711.796
AT ITER 3222 NEW BEST:: SOT 13058642 SOS 7018789 HAS SOPS 7015662 HAS SOUS 800912 HAS SOUPS 798481 WITH SCORE 805499.789
AT ITER 3228 NEW BEST:: SOT 13058642 SOS 7018705 HAS SOPS 7015578 HAS SOUS 800870 HAS SOUPS 798439 WITH SCORE 805457.705
AT ITER 3232 NEW BEST:: SOT 13058581 SOS 7018690 HAS SOPS 7015563 HAS SOUS 800787 HAS SOUPS 798356 WITH SCORE 805374.69
AT ITER 3241 NEW BEST:: SOT 13058518 SOS 7018627 HAS SOPS 7015500 HAS SOUS 800735 HAS SOUPS 798304 WITH SCORE 805322.627
AT ITER 3264 NEW BEST:: SOT 13058516 SOS 7018629 HAS SOPS 7015502 HAS SOUS 800469 HAS SOUPS 798038 WITH SCORE 805056.629
AT ITER 3280 NEW BEST:: SOT 13059366 SOS 7019480 HAS SOPS 7016378 HAS SOUS 799967 HAS SOUPS 797561 WITH SCORE 804580.48
AT ITER 3286 NEW BEST:: SOT 13056405 SOS 7016631 HAS SOPS 7013641 HAS SOUS 796130 HAS SOUPS 793780 WITH SCORE 800796.631
AT ITER 3287 NEW BEST:: SOT 13056416 SOS 7016642 HAS SOPS 7013652 HAS SOUS 796090 HAS SOUPS 793740 WITH SCORE 800756.642
AT ITER 3301 NEW BEST:: SOT 13056414 SOS 7016640 HAS SOPS 7013650 HAS SOUS 796090 HAS SOUPS 793740 WITH SCORE 800756.64
AT ITER 3334 NEW BEST:: SOT 13056413 SOS 7016639 HAS SOPS 7013649 HAS SOUS 796089 HAS SOUPS 793739 WITH SCORE 800755.639
AT ITER 3340 NEW BEST:: SOT 13056413 SOS 7016639 HAS SOPS 7013649 HAS SOUS 796062 HAS SOUPS 793712 WITH SCORE 800728.639
AT ITER 3366 NEW BEST:: SOT 13056752 SOS 7015926 HAS SOPS 7013122 HAS SOUS 793813 HAS SOUPS 791578 WITH SCORE 798593.926
AT ITER 3369 NEW BEST:: SOT 13056752 SOS 7015408 HAS SOPS 7012604 HAS SOUS 793806 HAS SOUPS 791571 WITH SCORE 798586.408
AT ITER 3389 NEW BEST:: SOT 13049530 SOS 7004298 HAS SOPS 7001494 HAS SOUS 789747 HAS SOUPS 787512 WITH SCORE 794516.298
AT ITER 3391 NEW BEST:: SOT 13049477 SOS 7004175 HAS SOPS 7001371 HAS SOUS 789693 HAS SOUPS 787458 WITH SCORE 794462.175
AT ITER 3397 NEW BEST:: SOT 13049477 SOS 7004420 HAS SOPS 7001581 HAS SOUS 789623 HAS SOUPS 787388 WITH SCORE 794392.42
AT ITER 3411 NEW BEST:: SOT 13046244 SOS 6998838 HAS SOPS 6995999 HAS SOUS 788266 HAS SOUPS 786031 WITH SCORE 793029.838
AT ITER 3425 NEW BEST:: SOT 13047478 SOS 7004432 HAS SOPS 7001643 HAS SOUS 787928 HAS SOUPS 785743 WITH SCORE 792747.432
AT ITER 3426 NEW BEST:: SOT 13047570 SOS 7004668 HAS SOPS 7001879 HAS SOUS 787823 HAS SOUPS 785638 WITH SCORE 792642.668
AT ITER 3450 NEW BEST:: SOT 13047659 SOS 7004757 HAS SOPS 7001968 HAS SOUS 787724 HAS SOUPS 785539 WITH SCORE 792543.757
AT ITER 3466 NEW BEST:: SOT 13047538 SOS 7004636 HAS SOPS 7001847 HAS SOUS 787615 HAS SOUPS 785430 WITH SCORE 792434.636
AT ITER 3469 NEW BEST:: SOT 13047538 SOS 7004264 HAS SOPS 7001475 HAS SOUS 787575 HAS SOUPS 785390 WITH SCORE 792394.264
AT ITER 3509 NEW BEST:: SOT 13047208 SOS 7003934 HAS SOPS 7001145 HAS SOUS 786909 HAS SOUPS 784724 WITH SCORE 791727.934
AT ITER 3516 NEW BEST:: SOT 13047208 SOS 7003466 HAS SOPS 7000677 HAS SOUS 786885 HAS SOUPS 784700 WITH SCORE 791703.466
AT ITER 3519 NEW BEST:: SOT 13047098 SOS 7003246 HAS SOPS 7000457 HAS SOUS 786720 HAS SOUPS 784535 WITH SCORE 791538.246
AT ITER 3526 NEW BEST:: SOT 13047098 SOS 7003244 HAS SOPS 7000455 HAS SOUS 786718 HAS SOUPS 784533 WITH SCORE 791536.244
AT ITER 3541 NEW BEST:: SOT 13046049 SOS 7002195 HAS SOPS 6999406 HAS SOUS 784625 HAS SOUPS 782440 WITH SCORE 789442.195
AT ITER 3551 NEW BEST:: SOT 13045937 SOS 7129019 HAS SOPS 7126230 HAS SOUS 784495 HAS SOUPS 782310 WITH SCORE 789439.019
AT ITER 3568 NEW BEST:: SOT 13045937 SOS 7129019 HAS SOPS 7126230 HAS SOUS 784492 HAS SOUPS 782307 WITH SCORE 789436.019
AT ITER 3571 NEW BEST:: SOT 13045937 SOS 7128970 HAS SOPS 7126181 HAS SOUS 784443 HAS SOUPS 782258 WITH SCORE 789386.97
AT ITER 3580 NEW BEST:: SOT 13047360 SOS 7130393 HAS SOPS 7127604 HAS SOUS 784191 HAS SOUPS 782006 WITH SCORE 789136.393
AT ITER 3621 NEW BEST:: SOT 13045790 SOS 7128759 HAS SOPS 7125970 HAS SOUS 783559 HAS SOUPS 781374 WITH SCORE 788502.759
AT ITER 3622 NEW BEST:: SOT 13045607 SOS 7128576 HAS SOPS 7125787 HAS SOUS 781521 HAS SOUPS 779336 WITH SCORE 786464.576
AT ITER 3626 NEW BEST:: SOT 13045426 SOS 7128395 HAS SOPS 7125606 HAS SOUS 781154 HAS SOUPS 778969 WITH SCORE 786097.395
AT ITER 3634 NEW BEST:: SOT 13045432 SOS 7272665 HAS SOPS 7269876 HAS SOUS 780531 HAS SOUPS 778346 WITH SCORE 785618.665
AT ITER 3674 NEW BEST:: SOT 13046317 SOS 7273563 HAS SOPS 7270783 HAS SOUS 780234 HAS SOUPS 778058 WITH SCORE 785331.563
AT ITER 3676 NEW BEST:: SOT 13046317 SOS 7219635 HAS SOPS 7216855 HAS SOUS 780066 HAS SOUPS 777890 WITH SCORE 785109.635
AT ITER 3681 NEW BEST:: SOT 13046405 SOS 7112227 HAS SOPS 7109447 HAS SOUS 780154 HAS SOUPS 777978 WITH SCORE 785090.227
AT ITER 3685 NEW BEST:: SOT 13046446 SOS 7109248 HAS SOPS 7106468 HAS SOUS 780086 HAS SOUPS 777910 WITH SCORE 785019.248
AT ITER 3691 NEW BEST:: SOT 13046446 SOS 7109248 HAS SOPS 7106468 HAS SOUS 780077 HAS SOUPS 777901 WITH SCORE 785010.248
AT ITER 3704 NEW BEST:: SOT 13046380 SOS 7109182 HAS SOPS 7106402 HAS SOUS 780011 HAS SOUPS 777835 WITH SCORE 784944.182
AT ITER 3733 NEW BEST:: SOT 13046380 SOS 7107958 HAS SOPS 7105178 HAS SOUS 780011 HAS SOUPS 777835 WITH SCORE 784942.958
AT ITER 3739 NEW BEST:: SOT 13046380 SOS 7110190 HAS SOPS 7107410 HAS SOUS 779993 HAS SOUPS 777817 WITH SCORE 784927.19
AT ITER 3748 NEW BEST:: SOT 13046380 SOS 7110599 HAS SOPS 7107819 HAS SOUS 779898 HAS SOUPS 777722 WITH SCORE 784832.599
AT ITER 3774 NEW BEST:: SOT 13043170 SOS 7107389 HAS SOPS 7104609 HAS SOUS 777168 HAS SOUPS 774992 WITH SCORE 782099.389
AT ITER 3781 NEW BEST:: SOT 13042860 SOS 7107079 HAS SOPS 7104299 HAS SOUS 776129 HAS SOUPS 773953 WITH SCORE 781060.079
AT ITER 3814 NEW BEST:: SOT 13039906 SOS 7101825 HAS SOPS 7099041 HAS SOUS 775024 HAS SOUPS 772844 WITH SCORE 779945.825
AT ITER 3840 NEW BEST:: SOT 13039906 SOS 7101789 HAS SOPS 7099005 HAS SOUS 774988 HAS SOUPS 772808 WITH SCORE 779909.789
AT ITER 3880 NEW BEST:: SOT 13039968 SOS 7101851 HAS SOPS 7099067 HAS SOUS 774964 HAS SOUPS 772784 WITH SCORE 779885.851
AT ITER 3888 NEW BEST:: SOT 13039980 SOS 7101806 HAS SOPS 7099022 HAS SOUS 773850 HAS SOUPS 771670 WITH SCORE 778771.806
AT ITER 3893 NEW BEST:: SOT 13039980 SOS 7101806 HAS SOPS 7099022 HAS SOUS 773828 HAS SOUPS 771648 WITH SCORE 778749.806
AT ITER 3898 NEW BEST:: SOT 13034240 SOS 7096066 HAS SOPS 7093282 HAS SOUS 770375 HAS SOUPS 768195 WITH SCORE 775291.066
AT ITER 3910 NEW BEST:: SOT 13033830 SOS 7095656 HAS SOPS 7092872 HAS SOUS 770026 HAS SOUPS 767846 WITH SCORE 774941.656
AT ITER 3923 NEW BEST:: SOT 13033662 SOS 7095507 HAS SOPS 7092723 HAS SOUS 769702 HAS SOUPS 767522 WITH SCORE 774617.507
AT ITER 3924 NEW BEST:: SOT 13034375 SOS 7096220 HAS SOPS 7093436 HAS SOUS 765939 HAS SOUPS 763759 WITH SCORE 770855.22
AT ITER 3933 NEW BEST:: SOT 13024265 SOS 7085890 HAS SOPS 7083181 HAS SOUS 759142 HAS SOUPS 756999 WITH SCORE 764084.89
AT ITER 3939 NEW BEST:: SOT 13024265 SOS 7085890 HAS SOPS 7083181 HAS SOUS 759104 HAS SOUPS 756961 WITH SCORE 764046.89
AT ITER 3945 NEW BEST:: SOT 13024661 SOS 7086862 HAS SOPS 7084153 HAS SOUS 758646 HAS SOUPS 756503 WITH SCORE 763589.862
AT ITER 3976 NEW BEST:: SOT 13027904 SOS 7090062 HAS SOPS 7087353 HAS SOUS 754839 HAS SOUPS 752696 WITH SCORE 759786.062
AT ITER 3984 NEW BEST:: SOT 13026442 SOS 7088600 HAS SOPS 7085891 HAS SOUS 751876 HAS SOUPS 749733 WITH SCORE 756821.6
AT ITER 3987 NEW BEST:: SOT 13026143 SOS 7088301 HAS SOPS 7085592 HAS SOUS 751217 HAS SOUPS 749074 WITH SCORE 756162.301
AT ITER 3998 NEW BEST:: SOT 13026143 SOS 7088080 HAS SOPS 7085371 HAS SOUS 751200 HAS SOUPS 749057 WITH SCORE 756145.08
AT ITER 4011 NEW BEST:: SOT 13028660 SOS 7101905 HAS SOPS 7099196 HAS SOUS 749382 HAS SOUPS 747239 WITH SCORE 754340.905
AT ITER 4025 NEW BEST:: SOT 13023270 SOS 7096450 HAS SOPS 7093741 HAS SOUS 746955 HAS SOUPS 744812 WITH SCORE 751908.45
AT ITER 4085 NEW BEST:: SOT 13023245 SOS 7096425 HAS SOPS 7093716 HAS SOUS 746932 HAS SOUPS 744789 WITH SCORE 751885.425
AT ITER 4087 NEW BEST:: SOT 13018149 SOS 7091653 HAS SOPS 7088870 HAS SOUS 746342 HAS SOUPS 744132 WITH SCORE 751223.653
AT ITER 4089 NEW BEST:: SOT 13018924 SOS 7092317 HAS SOPS 7089536 HAS SOUS 745882 HAS SOUPS 743674 WITH SCORE 750766.317
AT ITER 4099 NEW BEST:: SOT 13018924 SOS 7094571 HAS SOPS 7091790 HAS SOUS 745671 HAS SOUPS 743463 WITH SCORE 750557.571
AT ITER 4104 NEW BEST:: SOT 13018659 SOS 7094306 HAS SOPS 7091525 HAS SOUS 745406 HAS SOUPS 743198 WITH SCORE 750292.306
AT ITER 4131 NEW BEST:: SOT 13018659 SOS 7094088 HAS SOPS 7091307 HAS SOUS 745297 HAS SOUPS 743089 WITH SCORE 750183.088
AT ITER 4203 NEW BEST:: SOT 13018777 SOS 7094206 HAS SOPS 7091425 HAS SOUS 745108 HAS SOUPS 742900 WITH SCORE 749994.206
AT ITER 4208 NEW BEST:: SOT 13018777 SOS 7092694 HAS SOPS 7089913 HAS SOUS 745108 HAS SOUPS 742900 WITH SCORE 749992.694
AT ITER 4221 NEW BEST:: SOT 13018026 SOS 7091943 HAS SOPS 7089162 HAS SOUS 744875 HAS SOUPS 742667 WITH SCORE 749758.943
AT ITER 4246 NEW BEST:: SOT 13017960 SOS 7091877 HAS SOPS 7089096 HAS SOUS 742941 HAS SOUPS 740733 WITH SCORE 747824.877
AT ITER 4250 NEW BEST:: SOT 13017960 SOS 7092287 HAS SOPS 7089506 HAS SOUS 742916 HAS SOUPS 740708 WITH SCORE 747800.287
AT ITER 4263 NEW BEST:: SOT 13016355 SOS 7090682 HAS SOPS 7087901 HAS SOUS 741510 HAS SOUPS 739302 WITH SCORE 746392.682
AT ITER 4283 NEW BEST:: SOT 13016355 SOS 7091179 HAS SOPS 7088398 HAS SOUS 741036 HAS SOUPS 738828 WITH SCORE 745919.179
AT ITER 4348 NEW BEST:: SOT 13015388 SOS 7089708 HAS SOPS 7086927 HAS SOUS 740566 HAS SOUPS 738358 WITH SCORE 745447.708
AT ITER 4354 NEW BEST:: SOT 13015062 SOS 7089382 HAS SOPS 7086601 HAS SOUS 739914 HAS SOUPS 737706 WITH SCORE 744795.382
AT ITER 4356 NEW BEST:: SOT 13015062 SOS 7091286 HAS SOPS 7088505 HAS SOUS 739902 HAS SOUPS 737694 WITH SCORE 744785.286
AT ITER 4367 NEW BEST:: SOT 13015062 SOS 7089774 HAS SOPS 7086993 HAS SOUS 739902 HAS SOUPS 737694 WITH SCORE 744783.774
AT ITER 4376 NEW BEST:: SOT 13010599 SOS 7084940 HAS SOPS 7082236 HAS SOUS 738156 HAS SOUPS 736025 WITH SCORE 743109.94
AT ITER 4378 NEW BEST:: SOT 13010599 SOS 7084940 HAS SOPS 7082236 HAS SOUS 738110 HAS SOUPS 735979 WITH SCORE 743063.94
AT ITER 4379 NEW BEST:: SOT 13010599 SOS 7095836 HAS SOPS 7091920 HAS SOUS 736067 HAS SOUPS 733657 WITH SCORE 740752.836
AT ITER 4381 NEW BEST:: SOT 13011106 SOS 7096343 HAS SOPS 7092427 HAS SOUS 735984 HAS SOUPS 733574 WITH SCORE 740670.343
AT ITER 4383 NEW BEST:: SOT 13009511 SOS 7094748 HAS SOPS 7090832 HAS SOUS 732784 HAS SOUPS 730374 WITH SCORE 737468.748
AT ITER 4392 NEW BEST:: SOT 13009396 SOS 7094633 HAS SOPS 7090717 HAS SOUS 732699 HAS SOUPS 730289 WITH SCORE 737383.633
AT ITER 4421 NEW BEST:: SOT 13009089 SOS 7094164 HAS SOPS 7090248 HAS SOUS 732061 HAS SOUPS 729651 WITH SCORE 736745.164
AT ITER 4424 NEW BEST:: SOT 13008968 SOS 7094307 HAS SOPS 7090391 HAS SOUS 730144 HAS SOUPS 727734 WITH SCORE 734828.307
AT ITER 4488 NEW BEST:: SOT 13016784 SOS 7102123 HAS SOPS 7098207 HAS SOUS 730106 HAS SOUPS 727696 WITH SCORE 734798.123
AT ITER 4529 NEW BEST:: SOT 13016784 SOS 7101547 HAS SOPS 7097631 HAS SOUS 730106 HAS SOUPS 727696 WITH SCORE 734797.547
AT ITER 4542 NEW BEST:: SOT 13015612 SOS 7100375 HAS SOPS 7096459 HAS SOUS 727775 HAS SOUPS 725365 WITH SCORE 732465.375
AT ITER 4550 NEW BEST:: SOT 13013696 SOS 7098459 HAS SOPS 7094543 HAS SOUS 723969 HAS SOUPS 721559 WITH SCORE 728657.459
AT ITER 4560 NEW BEST:: SOT 13012762 SOS 7097931 HAS SOPS 7094015 HAS SOUS 722788 HAS SOUPS 720378 WITH SCORE 727475.931
AT ITER 4562 NEW BEST:: SOT 13012591 SOS 7097760 HAS SOPS 7093844 HAS SOUS 722443 HAS SOUPS 720033 WITH SCORE 727130.76
AT ITER 4577 NEW BEST:: SOT 13012516 SOS 7097685 HAS SOPS 7093769 HAS SOUS 722401 HAS SOUPS 719991 WITH SCORE 727088.685
AT ITER 4588 NEW BEST:: SOT 13012514 SOS 7097685 HAS SOPS 7093769 HAS SOUS 722276 HAS SOUPS 719866 WITH SCORE 726963.685
AT ITER 4593 NEW BEST:: SOT 13012514 SOS 7094661 HAS SOPS 7090745 HAS SOUS 722276 HAS SOUPS 719866 WITH SCORE 726960.661
AT ITER 4595 NEW BEST:: SOT 13012499 SOS 7094656 HAS SOPS 7090730 HAS SOUS 722246 HAS SOUPS 719826 WITH SCORE 726920.656
AT ITER 4607 NEW BEST:: SOT 13012452 SOS 7094609 HAS SOPS 7090683 HAS SOUS 722199 HAS SOUPS 719779 WITH SCORE 726873.609
AT ITER 4609 NEW BEST:: SOT 13013186 SOS 7096178 HAS SOPS 7092311 HAS SOUS 720735 HAS SOUPS 718367 WITH SCORE 725463.178
AT ITER 4617 NEW BEST:: SOT 13014817 SOS 7097897 HAS SOPS 7094030 HAS SOUS 719093 HAS SOUPS 716725 WITH SCORE 723822.897
AT ITER 4634 NEW BEST:: SOT 13014071 SOS 7097151 HAS SOPS 7093284 HAS SOUS 718996 HAS SOUPS 716628 WITH SCORE 723725.151
AT ITER 4642 NEW BEST:: SOT 13009811 SOS 7089579 HAS SOPS 7085712 HAS SOUS 718674 HAS SOUPS 716306 WITH SCORE 723395.579
AT ITER 4644 NEW BEST:: SOT 13005609 SOS 7085377 HAS SOPS 7081510 HAS SOUS 714250 HAS SOUPS 711882 WITH SCORE 718967.377
AT ITER 4656 NEW BEST:: SOT 13005251 SOS 7084923 HAS SOPS 7081056 HAS SOUS 714125 HAS SOUPS 711757 WITH SCORE 718841.923
AT ITER 4673 NEW BEST:: SOT 13006599 SOS 7086271 HAS SOPS 7082404 HAS SOUS 713179 HAS SOUPS 710811 WITH SCORE 717897.271
AT ITER 4686 NEW BEST:: SOT 13005615 SOS 7085287 HAS SOPS 7081420 HAS SOUS 711174 HAS SOUPS 708806 WITH SCORE 715891.287
AT ITER 4697 NEW BEST:: SOT 13005735 SOS 7085402 HAS SOPS 7081535 HAS SOUS 711058 HAS SOUPS 708690 WITH SCORE 715775.402
AT ITER 4753 NEW BEST:: SOT 13005735 SOS 7085327 HAS SOPS 7081460 HAS SOUS 710983 HAS SOUPS 708615 WITH SCORE 715700.327
AT ITER 4775 NEW BEST:: SOT 13005338 SOS 7084927 HAS SOPS 7081060 HAS SOUS 710595 HAS SOUPS 708227 WITH SCORE 715311.927
AT ITER 4834 NEW BEST:: SOT 13005338 SOS 7086799 HAS SOPS 7082932 HAS SOUS 710587 HAS SOUPS 708219 WITH SCORE 715305.799
AT ITER 4883 NEW BEST:: SOT 13004923 SOS 7088068 HAS SOPS 7084301 HAS SOUS 710288 HAS SOUPS 708015 WITH SCORE 715103.068
AT ITER 4898 NEW BEST:: SOT 13004923 SOS 7092899 HAS SOPS 7089132 HAS SOUS 709212 HAS SOUPS 706939 WITH SCORE 714031.899
AT ITER 4948 NEW BEST:: SOT 13006024 SOS 7094000 HAS SOPS 7090233 HAS SOUS 705941 HAS SOUPS 703668 WITH SCORE 710762.0
AT ITER 4954 NEW BEST:: SOT 13005707 SOS 7093765 HAS SOPS 7089998 HAS SOUS 704134 HAS SOUPS 701861 WITH SCORE 708954.765
AT ITER 4957 NEW BEST:: SOT 13005778 SOS 7093836 HAS SOPS 7090069 HAS SOUS 703374 HAS SOUPS 701101 WITH SCORE 708194.836
AT ITER 5011 NEW BEST:: SOT 13005749 SOS 7093807 HAS SOPS 7090040 HAS SOUS 703141 HAS SOUPS 700868 WITH SCORE 707961.807
AT ITER 5031 NEW BEST:: SOT 13005749 SOS 7096651 HAS SOPS 7092884 HAS SOUS 703134 HAS SOUPS 700861 WITH SCORE 707957.651
AT ITER 5074 NEW BEST:: SOT 13006270 SOS 7097149 HAS SOPS 7093382 HAS SOUS 702807 HAS SOUPS 700534 WITH SCORE 707631.149
AT ITER 5116 NEW BEST:: SOT 13006989 SOS 7098678 HAS SOPS 7094911 HAS SOUS 702394 HAS SOUPS 700121 WITH SCORE 707219.678
AT ITER 5182 NEW BEST:: SOT 13006948 SOS 7098637 HAS SOPS 7094870 HAS SOUS 702353 HAS SOUPS 700080 WITH SCORE 707178.637
AT ITER 5218 NEW BEST:: SOT 13006974 SOS 7098663 HAS SOPS 7094896 HAS SOUS 702334 HAS SOUPS 700061 WITH SCORE 707159.663
AT ITER 5223 NEW BEST:: SOT 13006974 SOS 7098597 HAS SOPS 7094830 HAS SOUS 700904 HAS SOUPS 698631 WITH SCORE 705729.597
AT ITER 5225 NEW BEST:: SOT 13006974 SOS 7101189 HAS SOPS 7097422 HAS SOUS 700866 HAS SOUPS 698593 WITH SCORE 705694.189
AT ITER 5240 NEW BEST:: SOT 13007225 SOS 7101456 HAS SOPS 7097689 HAS SOUS 700841 HAS SOUPS 698568 WITH SCORE 705669.456
AT ITER 5251 NEW BEST:: SOT 13007225 SOS 7099080 HAS SOPS 7095313 HAS SOUS 700808 HAS SOUPS 698535 WITH SCORE 705634.08
AT ITER 5264 NEW BEST:: SOT 13011429 SOS 7103450 HAS SOPS 7099683 HAS SOUS 700488 HAS SOUPS 698215 WITH SCORE 705318.45
AT ITER 5323 NEW BEST:: SOT 13011334 SOS 7103355 HAS SOPS 7099588 HAS SOUS 700393 HAS SOUPS 698120 WITH SCORE 705223.355
AT ITER 5330 NEW BEST:: SOT 13011304 SOS 7103325 HAS SOPS 7099558 HAS SOUS 700393 HAS SOUPS 698120 WITH SCORE 705223.325
AT ITER 5331 NEW BEST:: SOT 13008966 SOS 7100987 HAS SOPS 7097220 HAS SOUS 699515 HAS SOUPS 697242 WITH SCORE 704342.987
AT ITER 5377 NEW BEST:: SOT 13008966 SOS 7099135 HAS SOPS 7095368 HAS SOUS 699417 HAS SOUPS 697144 WITH SCORE 704243.135
AT ITER 5379 NEW BEST:: SOT 13009551 SOS 7099984 HAS SOPS 7096217 HAS SOUS 699307 HAS SOUPS 697034 WITH SCORE 704133.984
AT ITER 5385 NEW BEST:: SOT 13009551 SOS 7091712 HAS SOPS 7088325 HAS SOUS 698905 HAS SOUPS 696708 WITH SCORE 703799.712
AT ITER 5398 NEW BEST:: SOT 13009504 SOS 7091665 HAS SOPS 7088278 HAS SOUS 698885 HAS SOUPS 696688 WITH SCORE 703779.665
AT ITER 5399 NEW BEST:: SOT 13009515 SOS 7091700 HAS SOPS 7088313 HAS SOUS 698640 HAS SOUPS 696443 WITH SCORE 703534.7
AT ITER 5435 NEW BEST:: SOT 13009515 SOS 7090629 HAS SOPS 7087242 HAS SOUS 698640 HAS SOUPS 696443 WITH SCORE 703533.629
AT ITER 5460 NEW BEST:: SOT 13009515 SOS 7091713 HAS SOPS 7088326 HAS SOUS 698552 HAS SOUPS 696355 WITH SCORE 703446.713
AT ITER 5508 NEW BEST:: SOT 13009505 SOS 7091703 HAS SOPS 7088316 HAS SOUS 698544 HAS SOUPS 696347 WITH SCORE 703438.703
AT ITER 5524 NEW BEST:: SOT 13009491 SOS 7091689 HAS SOPS 7088302 HAS SOUS 698530 HAS SOUPS 696333 WITH SCORE 703424.689
AT ITER 5541 NEW BEST:: SOT 13009491 SOS 7091671 HAS SOPS 7088284 HAS SOUS 698521 HAS SOUPS 696324 WITH SCORE 703415.671
AT ITER 5555 NEW BEST:: SOT 13009491 SOS 7091566 HAS SOPS 7088200 HAS SOUS 698500 HAS SOUPS 696324 WITH SCORE 703415.566
AT ITER 5569 NEW BEST:: SOT 13009491 SOS 7091544 HAS SOPS 7088178 HAS SOUS 698499 HAS SOUPS 696323 WITH SCORE 703414.544
AT ITER 5571 NEW BEST:: SOT 13009350 SOS 7099027 HAS SOPS 7095831 HAS SOUS 695135 HAS SOUPS 693129 WITH SCORE 700228.027
AT ITER 5573 NEW BEST:: SOT 13009338 SOS 7099015 HAS SOPS 7095819 HAS SOUS 695123 HAS SOUPS 693117 WITH SCORE 700216.015
AT ITER 5578 NEW BEST:: SOT 13009338 SOS 7100765 HAS SOPS 7097569 HAS SOUS 695098 HAS SOUPS 693092 WITH SCORE 700192.765
AT ITER 5585 NEW BEST:: SOT 13010189 SOS 7102386 HAS SOPS 7099190 HAS SOUS 693728 HAS SOUPS 691722 WITH SCORE 698824.386
AT ITER 5637 NEW BEST:: SOT 13010189 SOS 7104656 HAS SOPS 7101460 HAS SOUS 693696 HAS SOUPS 691690 WITH SCORE 698794.656
AT ITER 5653 NEW BEST:: SOT 13008987 SOS 7103454 HAS SOPS 7100258 HAS SOUS 693431 HAS SOUPS 691425 WITH SCORE 698528.454
AT ITER 5688 NEW BEST:: SOT 13008972 SOS 7103439 HAS SOPS 7100243 HAS SOUS 693426 HAS SOUPS 691420 WITH SCORE 698523.439
AT ITER 5690 NEW BEST:: SOT 13012438 SOS 7107415 HAS SOPS 7104287 HAS SOUS 693021 HAS SOUPS 691083 WITH SCORE 698190.415
AT ITER 5770 NEW BEST:: SOT 13013274 SOS 7108280 HAS SOPS 7105167 HAS SOUS 692764 HAS SOUPS 690841 WITH SCORE 697949.28
AT ITER 5776 NEW BEST:: SOT 13012056 SOS 7107062 HAS SOPS 7103949 HAS SOUS 690285 HAS SOUPS 688362 WITH SCORE 695469.062
AT ITER 5779 NEW BEST:: SOT 13012056 SOS 7102382 HAS SOPS 7099269 HAS SOUS 690285 HAS SOUPS 688362 WITH SCORE 695464.382
AT ITER 5821 NEW BEST:: SOT 13009573 SOS 7097235 HAS SOPS 7094122 HAS SOUS 687765 HAS SOUPS 685842 WITH SCORE 692939.235
AT ITER 5886 NEW BEST:: SOT 13006897 SOS 7097871 HAS SOPS 7094758 HAS SOUS 687389 HAS SOUPS 685466 WITH SCORE 692563.871
AT ITER 5893 NEW BEST:: SOT 12993907 SOS 7084773 HAS SOPS 7081660 HAS SOUS 681802 HAS SOUPS 679879 WITH SCORE 686963.773
AT ITER 5913 NEW BEST:: SOT 12993704 SOS 7084570 HAS SOPS 7081457 HAS SOUS 681291 HAS SOUPS 679368 WITH SCORE 686452.57
AT ITER 5931 NEW BEST:: SOT 12989486 SOS 7080352 HAS SOPS 7077239 HAS SOUS 680238 HAS SOUPS 678315 WITH SCORE 685395.352
AT ITER 5935 NEW BEST:: SOT 12989651 SOS 7080517 HAS SOPS 7077404 HAS SOUS 680143 HAS SOUPS 678220 WITH SCORE 685300.517
AT ITER 5953 NEW BEST:: SOT 12989834 SOS 7080690 HAS SOPS 7077579 HAS SOUS 680136 HAS SOUPS 678215 WITH SCORE 685295.69
AT ITER 5973 NEW BEST:: SOT 12989834 SOS 7082631 HAS SOPS 7079491 HAS SOUS 680007 HAS SOUPS 678182 WITH SCORE 685264.631
AT ITER 6047 NEW BEST:: SOT 12987974 SOS 7080771 HAS SOPS 7077631 HAS SOUS 679508 HAS SOUPS 677683 WITH SCORE 684763.771
AT ITER 6067 NEW BEST:: SOT 12987682 SOS 7080473 HAS SOPS 7077327 HAS SOUS 679442 HAS SOUPS 677611 WITH SCORE 684691.473
AT ITER 6089 NEW BEST:: SOT 12987783 SOS 6021817 HAS SOPS 6018235 HAS SOUS 679856 HAS SOUPS 677874 WITH SCORE 683895.817
AT ITER 6090 NEW BEST:: SOT 12987783 SOS 5987199 HAS SOPS 5984443 HAS SOUS 677557 HAS SOUPS 675817 WITH SCORE 681804.199
AT ITER 6105 NEW BEST:: SOT 12984054 SOS 5980204 HAS SOPS 5977448 HAS SOUS 676479 HAS SOUPS 674739 WITH SCORE 680719.204
AT ITER 6113 NEW BEST:: SOT 12987829 SOS 5987723 HAS SOPS 5984967 HAS SOUS 674663 HAS SOUPS 672923 WITH SCORE 678910.723
AT ITER 6119 NEW BEST:: SOT 12987829 SOS 5987722 HAS SOPS 5984966 HAS SOUS 674663 HAS SOUPS 672923 WITH SCORE 678910.722
AT ITER 6167 NEW BEST:: SOT 12989012 SOS 5989866 HAS SOPS 5987244 HAS SOUS 674037 HAS SOUPS 672431 WITH SCORE 678420.866
AT ITER 6180 NEW BEST:: SOT 12989012 SOS 5989146 HAS SOPS 5986524 HAS SOUS 674037 HAS SOUPS 672431 WITH SCORE 678420.146
AT ITER 6181 NEW BEST:: SOT 12985556 SOS 5985902 HAS SOPS 5983280 HAS SOUS 667459 HAS SOUPS 665853 WITH SCORE 671838.902
AT ITER 6198 NEW BEST:: SOT 12985556 SOS 5985765 HAS SOPS 5983143 HAS SOUS 667452 HAS SOUPS 665846 WITH SCORE 671831.765
AT ITER 6228 NEW BEST:: SOT 12985556 SOS 5982741 HAS SOPS 5980119 HAS SOUS 667452 HAS SOUPS 665846 WITH SCORE 671828.741
AT ITER 6230 NEW BEST:: SOT 12985275 SOS 5982460 HAS SOPS 5979838 HAS SOUS 667245 HAS SOUPS 665639 WITH SCORE 671621.46
AT ITER 6235 NEW BEST:: SOT 12985275 SOS 5982464 HAS SOPS 5979838 HAS SOUS 667245 HAS SOUPS 665635 WITH SCORE 671617.464
AT ITER 6240 NEW BEST:: SOT 12984532 SOS 5981417 HAS SOPS 5978791 HAS SOUS 665737 HAS SOUPS 664127 WITH SCORE 670108.417
AT ITER 6253 NEW BEST:: SOT 12985376 SOS 5982309 HAS SOPS 5979683 HAS SOUS 664265 HAS SOUPS 662655 WITH SCORE 668637.309
AT ITER 6257 NEW BEST:: SOT 12985376 SOS 5982309 HAS SOPS 5979683 HAS SOUS 664249 HAS SOUPS 662639 WITH SCORE 668621.309
AT ITER 6274 NEW BEST:: SOT 12980454 SOS 5977387 HAS SOPS 5974761 HAS SOUS 663153 HAS SOUPS 661543 WITH SCORE 667520.387
AT ITER 6280 NEW BEST:: SOT 12980151 SOS 5975695 HAS SOPS 5973280 HAS SOUS 662835 HAS SOUPS 661436 WITH SCORE 667411.695
AT ITER 6310 NEW BEST:: SOT 12980698 SOS 5976180 HAS SOPS 5973765 HAS SOUS 662501 HAS SOUPS 661102 WITH SCORE 667078.18
AT ITER 6334 NEW BEST:: SOT 12979574 SOS 5975056 HAS SOPS 5972641 HAS SOUS 662425 HAS SOUPS 661026 WITH SCORE 667001.056
AT ITER 6358 NEW BEST:: SOT 12979574 SOS 5974962 HAS SOPS 5972547 HAS SOUS 662378 HAS SOUPS 660979 WITH SCORE 666953.962
AT ITER 6363 NEW BEST:: SOT 12977924 SOS 5972232 HAS SOPS 5969817 HAS SOUS 661662 HAS SOUPS 660263 WITH SCORE 666235.232
AT ITER 6391 NEW BEST:: SOT 12977924 SOS 5970619 HAS SOPS 5968204 HAS SOUS 661646 HAS SOUPS 660247 WITH SCORE 666217.619
AT ITER 6407 NEW BEST:: SOT 12979838 SOS 5973205 HAS SOPS 5970790 HAS SOUS 661543 HAS SOUPS 660144 WITH SCORE 666117.205
AT ITER 6492 NEW BEST:: SOT 12979686 SOS 5973053 HAS SOPS 5970638 HAS SOUS 661416 HAS SOUPS 660017 WITH SCORE 665990.053
AT ITER 6515 NEW BEST:: SOT 12979686 SOS 5975141 HAS SOPS 5972726 HAS SOUS 661402 HAS SOUPS 660003 WITH SCORE 665978.141
AT ITER 6523 NEW BEST:: SOT 12979869 SOS 5969530 HAS SOPS 5967329 HAS SOUS 658553 HAS SOUPS 657287 WITH SCORE 663256.53
AT ITER 6547 NEW BEST:: SOT 12981865 SOS 5971567 HAS SOPS 5969366 HAS SOUS 658492 HAS SOUPS 657226 WITH SCORE 663197.567
AT ITER 6557 NEW BEST:: SOT 12981849 SOS 5971551 HAS SOPS 5969350 HAS SOUS 658483 HAS SOUPS 657217 WITH SCORE 663188.551
AT ITER 6562 NEW BEST:: SOT 12984707 SOS 5985659 HAS SOPS 5983345 HAS SOUS 658208 HAS SOUPS 656858 WITH SCORE 662843.659
AT ITER 6579 NEW BEST:: SOT 12982860 SOS 5984028 HAS SOPS 5981714 HAS SOUS 654536 HAS SOUPS 653186 WITH SCORE 659170.028
AT ITER 6580 NEW BEST:: SOT 12982817 SOS 5983992 HAS SOPS 5981678 HAS SOUS 654536 HAS SOUPS 653186 WITH SCORE 659169.992
AT ITER 6608 NEW BEST:: SOT 12982637 SOS 5983812 HAS SOPS 5981498 HAS SOUS 654446 HAS SOUPS 653096 WITH SCORE 659079.812
AT ITER 6619 NEW BEST:: SOT 12981773 SOS 5982948 HAS SOPS 5980634 HAS SOUS 652915 HAS SOUPS 651565 WITH SCORE 657547.948
AT ITER 6631 NEW BEST:: SOT 12980324 SOS 5978419 HAS SOPS 5976105 HAS SOUS 652346 HAS SOUPS 650996 WITH SCORE 656974.419
AT ITER 6714 NEW BEST:: SOT 12986317 SOS 6411399 HAS SOPS 6409340 HAS SOUS 651329 HAS SOUPS 650063 WITH SCORE 656474.399
AT ITER 6742 NEW BEST:: SOT 12984702 SOS 6409784 HAS SOPS 6407725 HAS SOUS 648950 HAS SOUPS 647684 WITH SCORE 654093.784
AT ITER 6767 NEW BEST:: SOT 12984720 SOS 6408506 HAS SOPS 6406447 HAS SOUS 648950 HAS SOUPS 647684 WITH SCORE 654092.506
AT ITER 6778 NEW BEST:: SOT 12984551 SOS 6408311 HAS SOPS 6406252 HAS SOUS 648556 HAS SOUPS 647290 WITH SCORE 653698.311
AT ITER 6850 NEW BEST:: SOT 12984551 SOS 6404639 HAS SOPS 6402580 HAS SOUS 648556 HAS SOUPS 647290 WITH SCORE 653694.639
AT ITER 6891 NEW BEST:: SOT 12984551 SOS 6404847 HAS SOPS 6402788 HAS SOUS 648537 HAS SOUPS 647271 WITH SCORE 653675.847
AT ITER 6930 NEW BEST:: SOT 12984551 SOS 6404847 HAS SOPS 6402788 HAS SOUS 648499 HAS SOUPS 647233 WITH SCORE 653637.847
AT ITER 6940 NEW BEST:: SOT 12985387 SOS 6405497 HAS SOPS 6403438 HAS SOUS 646262 HAS SOUPS 644996 WITH SCORE 651401.497
AT ITER 6981 NEW BEST:: SOT 12985381 SOS 6405451 HAS SOPS 6403392 HAS SOUS 646247 HAS SOUPS 644981 WITH SCORE 651386.451
AT ITER 6991 NEW BEST:: SOT 12985406 SOS 6405476 HAS SOPS 6403417 HAS SOUS 646235 HAS SOUPS 644969 WITH SCORE 651374.476
AT ITER 7057 NEW BEST:: SOT 12984858 SOS 6404928 HAS SOPS 6402869 HAS SOUS 645112 HAS SOUPS 643846 WITH SCORE 650250.928
AT ITER 7060 NEW BEST:: SOT 12984858 SOS 6403560 HAS SOPS 6401501 HAS SOUS 645112 HAS SOUPS 643846 WITH SCORE 650249.56
AT ITER 7079 NEW BEST:: SOT 12987175 SOS 6405877 HAS SOPS 6403818 HAS SOUS 645071 HAS SOUPS 643805 WITH SCORE 650210.877
AT ITER 7091 NEW BEST:: SOT 12986520 SOS 6405244 HAS SOPS 6403185 HAS SOUS 644494 HAS SOUPS 643228 WITH SCORE 649633.244
AT ITER 7107 NEW BEST:: SOT 12983959 SOS 6402683 HAS SOPS 6400624 HAS SOUS 643576 HAS SOUPS 642310 WITH SCORE 648712.683
AT ITER 7117 NEW BEST:: SOT 12984283 SOS 6403007 HAS SOPS 6400948 HAS SOUS 643507 HAS SOUPS 642241 WITH SCORE 648644.007
AT ITER 7119 NEW BEST:: SOT 12984283 SOS 6397391 HAS SOPS 6395332 HAS SOUS 643507 HAS SOUPS 642241 WITH SCORE 648638.391
AT ITER 7127 NEW BEST:: SOT 12985348 SOS 6398476 HAS SOPS 6396417 HAS SOUS 643123 HAS SOUPS 641857 WITH SCORE 648255.476
AT ITER 7190 NEW BEST:: SOT 12985331 SOS 6398459 HAS SOPS 6396400 HAS SOUS 642119 HAS SOUPS 640853 WITH SCORE 647251.459
AT ITER 7191 NEW BEST:: SOT 12985078 SOS 6398206 HAS SOPS 6396147 HAS SOUS 641848 HAS SOUPS 640582 WITH SCORE 646980.206
AT ITER 7197 NEW BEST:: SOT 12984884 SOS 6398012 HAS SOPS 6395953 HAS SOUS 641590 HAS SOUPS 640324 WITH SCORE 646722.012
AT ITER 7256 NEW BEST:: SOT 12984578 SOS 6397651 HAS SOPS 6395598 HAS SOUS 641375 HAS SOUPS 640115 WITH SCORE 646512.651
AT ITER 7273 NEW BEST:: SOT 12984582 SOS 6397655 HAS SOPS 6395602 HAS SOUS 641103 HAS SOUPS 639843 WITH SCORE 646240.655
AT ITER 7276 NEW BEST:: SOT 12984318 SOS 6397391 HAS SOPS 6395338 HAS SOUS 640849 HAS SOUPS 639589 WITH SCORE 645986.391
AT ITER 7361 NEW BEST:: SOT 12984086 SOS 6397015 HAS SOPS 6394962 HAS SOUS 640739 HAS SOUPS 639479 WITH SCORE 645876.015
AT ITER 7413 NEW BEST:: SOT 12984098 SOS 6397027 HAS SOPS 6394974 HAS SOUS 640677 HAS SOUPS 639417 WITH SCORE 645814.027
AT ITER 7447 NEW BEST:: SOT 12984859 SOS 6397788 HAS SOPS 6395750 HAS SOUS 640636 HAS SOUPS 639376 WITH SCORE 645773.788
AT ITER 7455 NEW BEST:: SOT 12980153 SOS 6393082 HAS SOPS 6391044 HAS SOUS 639124 HAS SOUPS 637864 WITH SCORE 644257.082
AT ITER 7457 NEW BEST:: SOT 12980055 SOS 6392984 HAS SOPS 6390946 HAS SOUS 639052 HAS SOUPS 637792 WITH SCORE 644184.984
AT ITER 7472 NEW BEST:: SOT 12978468 SOS 6391397 HAS SOPS 6389359 HAS SOUS 636821 HAS SOUPS 635561 WITH SCORE 641952.397
AT ITER 7485 NEW BEST:: SOT 12978468 SOS 6391645 HAS SOPS 6389607 HAS SOUS 636317 HAS SOUPS 635057 WITH SCORE 641448.645
AT ITER 7583 NEW BEST:: SOT 12977712 SOS 6394009 HAS SOPS 6391971 HAS SOUS 635049 HAS SOUPS 633789 WITH SCORE 640183.009
AT ITER 7608 NEW BEST:: SOT 12979983 SOS 6396085 HAS SOPS 6394092 HAS SOUS 634273 HAS SOUPS 633058 WITH SCORE 639454.085
AT ITER 7610 NEW BEST:: SOT 12979983 SOS 6401489 HAS SOPS 6399496 HAS SOUS 632321 HAS SOUPS 631106 WITH SCORE 637507.489
AT ITER 7618 NEW BEST:: SOT 12978877 SOS 6067883 HAS SOPS 6065738 HAS SOUS 629887 HAS SOUPS 628672 WITH SCORE 634739.883
AT ITER 7636 NEW BEST:: SOT 12977896 SOS 6066902 HAS SOPS 6064757 HAS SOUS 629563 HAS SOUPS 628348 WITH SCORE 634414.902
AT ITER 7658 NEW BEST:: SOT 12977742 SOS 6065468 HAS SOPS 6063323 HAS SOUS 629251 HAS SOUPS 628036 WITH SCORE 634101.468
AT ITER 7670 NEW BEST:: SOT 12977634 SOS 6065323 HAS SOPS 6063178 HAS SOUS 629168 HAS SOUPS 627953 WITH SCORE 634018.323
AT ITER 7786 NEW BEST:: SOT 12977634 SOS 6068052 HAS SOPS 6065907 HAS SOUS 629128 HAS SOUPS 627913 WITH SCORE 633981.052
AT ITER 7796 NEW BEST:: SOT 12977358 SOS 6067632 HAS SOPS 6065487 HAS SOUS 628994 HAS SOUPS 627779 WITH SCORE 633846.632
AT ITER 7804 NEW BEST:: SOT 12977328 SOS 6067602 HAS SOPS 6065457 HAS SOUS 628964 HAS SOUPS 627749 WITH SCORE 633816.602
AT ITER 7843 NEW BEST:: SOT 12978787 SOS 6069061 HAS SOPS 6066916 HAS SOUS 628452 HAS SOUPS 627237 WITH SCORE 633306.061
AT ITER 7849 NEW BEST:: SOT 12978406 SOS 6068680 HAS SOPS 6066535 HAS SOUS 627682 HAS SOUPS 626467 WITH SCORE 632535.68
AT ITER 7888 NEW BEST:: SOT 12978406 SOS 6065440 HAS SOPS 6063295 HAS SOUS 627682 HAS SOUPS 626467 WITH SCORE 632532.44
AT ITER 7910 NEW BEST:: SOT 12978406 SOS 6065296 HAS SOPS 6063151 HAS SOUS 627682 HAS SOUPS 626467 WITH SCORE 632532.296
AT ITER 7943 NEW BEST:: SOT 12978418 SOS 5969266 HAS SOPS 5967102 HAS SOUS 627618 HAS SOUPS 626403 WITH SCORE 632372.266
AT ITER 7945 NEW BEST:: SOT 12977564 SOS 5968322 HAS SOPS 5966140 HAS SOUS 627578 HAS SOUPS 626363 WITH SCORE 632331.322
AT ITER 7958 NEW BEST:: SOT 12977660 SOS 5968418 HAS SOPS 5966242 HAS SOUS 627495 HAS SOUPS 626286 WITH SCORE 632254.418
AT ITER 7999 NEW BEST:: SOT 12978534 SOS 5971668 HAS SOPS 5969492 HAS SOUS 627173 HAS SOUPS 625964 WITH SCORE 631935.668
AT ITER 8035 NEW BEST:: SOT 12978007 SOS 5971136 HAS SOPS 5968960 HAS SOUS 626960 HAS SOUPS 625751 WITH SCORE 631722.136
AT ITER 8039 NEW BEST:: SOT 12978007 SOS 5971058 HAS SOPS 5968882 HAS SOUS 626921 HAS SOUPS 625712 WITH SCORE 631683.058
AT ITER 8055 NEW BEST:: SOT 12981006 SOS 5974037 HAS SOPS 5971861 HAS SOUS 626337 HAS SOUPS 625128 WITH SCORE 631102.037
AT ITER 8083 NEW BEST:: SOT 12980847 SOS 5973878 HAS SOPS 5971702 HAS SOUS 626015 HAS SOUPS 624806 WITH SCORE 630779.878
AT ITER 8089 NEW BEST:: SOT 12980980 SOS 5872666 HAS SOPS 5870490 HAS SOUS 626069 HAS SOUPS 624860 WITH SCORE 630732.666
AT ITER 8098 NEW BEST:: SOT 12980486 SOS 5872172 HAS SOPS 5869996 HAS SOUS 625575 HAS SOUPS 624366 WITH SCORE 630238.172
AT ITER 8101 NEW BEST:: SOT 12980481 SOS 5872167 HAS SOPS 5869991 HAS SOUS 625573 HAS SOUPS 624364 WITH SCORE 630236.167
AT ITER 8105 NEW BEST:: SOT 12983078 SOS 5875284 HAS SOPS 5873108 HAS SOUS 623929 HAS SOUPS 622720 WITH SCORE 628595.284
AT ITER 8152 NEW BEST:: SOT 12983151 SOS 5893838 HAS SOPS 5891662 HAS SOUS 623746 HAS SOUPS 622537 WITH SCORE 628430.838
AT ITER 8166 NEW BEST:: SOT 12984125 SOS 5894757 HAS SOPS 5892581 HAS SOUS 622405 HAS SOUPS 621196 WITH SCORE 627090.757
AT ITER 8201 NEW BEST:: SOT 12984125 SOS 5893173 HAS SOPS 5890997 HAS SOUS 622406 HAS SOUPS 621197 WITH SCORE 627090.173
AT ITER 8209 NEW BEST:: SOT 12984119 SOS 5893167 HAS SOPS 5890991 HAS SOUS 622400 HAS SOUPS 621191 WITH SCORE 627084.167
AT ITER 8212 NEW BEST:: SOT 12981737 SOS 5890785 HAS SOPS 5888609 HAS SOUS 621418 HAS SOUPS 620209 WITH SCORE 626099.785
AT ITER 8219 NEW BEST:: SOT 12981450 SOS 5916406 HAS SOPS 5914230 HAS SOUS 621027 HAS SOUPS 619818 WITH SCORE 625734.406
AT ITER 8223 NEW BEST:: SOT 12979583 SOS 5914539 HAS SOPS 5912363 HAS SOUS 620167 HAS SOUPS 618958 WITH SCORE 624872.539
AT ITER 8225 NEW BEST:: SOT 12979589 SOS 5904087 HAS SOPS 5901911 HAS SOUS 620170 HAS SOUPS 618961 WITH SCORE 624865.087
AT ITER 8240 NEW BEST:: SOT 12979716 SOS 5908335 HAS SOPS 5906278 HAS SOUS 619107 HAS SOUPS 617994 WITH SCORE 623902.335
AT ITER 8247 NEW BEST:: SOT 12972786 SOS 5901355 HAS SOPS 5899298 HAS SOUS 614110 HAS SOUPS 612997 WITH SCORE 618898.355
AT ITER 8286 NEW BEST:: SOT 12968526 SOS 5897095 HAS SOPS 5895038 HAS SOUS 612444 HAS SOUPS 611331 WITH SCORE 617228.095
AT ITER 8289 NEW BEST:: SOT 12967810 SOS 5897083 HAS SOPS 5895026 HAS SOUS 611136 HAS SOUPS 610023 WITH SCORE 615920.083
AT ITER 8312 NEW BEST:: SOT 12967819 SOS 5897092 HAS SOPS 5895035 HAS SOUS 611130 HAS SOUPS 610017 WITH SCORE 615914.092
AT ITER 8320 NEW BEST:: SOT 12966726 SOS 5895999 HAS SOPS 5893942 HAS SOUS 608940 HAS SOUPS 607827 WITH SCORE 613722.999
AT ITER 8329 NEW BEST:: SOT 12966726 SOS 5895405 HAS SOPS 5893348 HAS SOUS 608940 HAS SOUPS 607827 WITH SCORE 613722.405
AT ITER 8334 NEW BEST:: SOT 12966726 SOS 5894205 HAS SOPS 5892148 HAS SOUS 608116 HAS SOUPS 607003 WITH SCORE 612897.205
AT ITER 8355 NEW BEST:: SOT 12966726 SOS 5893557 HAS SOPS 5891500 HAS SOUS 608116 HAS SOUPS 607003 WITH SCORE 612896.557
AT ITER 8361 NEW BEST:: SOT 12966726 SOS 5893557 HAS SOPS 5891500 HAS SOUS 608104 HAS SOUPS 606991 WITH SCORE 612884.557
AT ITER 8389 NEW BEST:: SOT 12969710 SOS 5899127 HAS SOPS 5897070 HAS SOUS 606903 HAS SOUPS 605790 WITH SCORE 611689.127
AT ITER 8407 NEW BEST:: SOT 12969842 SOS 5899379 HAS SOPS 5897322 HAS SOUS 606483 HAS SOUPS 605370 WITH SCORE 611269.379
AT ITER 8506 NEW BEST:: SOT 12966583 SOS 5896120 HAS SOPS 5894063 HAS SOUS 606322 HAS SOUPS 605209 WITH SCORE 611105.12
AT ITER 8537 NEW BEST:: SOT 12966478 SOS 5896015 HAS SOPS 5893958 HAS SOUS 606224 HAS SOUPS 605111 WITH SCORE 611007.015
AT ITER 8545 NEW BEST:: SOT 12963825 SOS 5827037 HAS SOPS 5824957 HAS SOUS 604881 HAS SOUPS 603753 WITH SCORE 609580.037
AT ITER 8591 NEW BEST:: SOT 12963814 SOS 5827026 HAS SOPS 5824946 HAS SOUS 604870 HAS SOUPS 603742 WITH SCORE 609569.026
AT ITER 8638 NEW BEST:: SOT 12959632 SOS 5822647 HAS SOPS 5820567 HAS SOUS 599690 HAS SOUPS 598562 WITH SCORE 604384.647
AT ITER 8640 NEW BEST:: SOT 12959692 SOS 5824167 HAS SOPS 5822037 HAS SOUS 599469 HAS SOUPS 598331 WITH SCORE 604155.167
AT ITER 8662 NEW BEST:: SOT 12959290 SOS 5823766 HAS SOPS 5821636 HAS SOUS 598459 HAS SOUPS 597321 WITH SCORE 603144.766
AT ITER 8670 NEW BEST:: SOT 12957316 SOS 5821792 HAS SOPS 5819662 HAS SOUS 594382 HAS SOUPS 593244 WITH SCORE 599065.792
AT ITER 8672 NEW BEST:: SOT 12957312 SOS 5821788 HAS SOPS 5819658 HAS SOUS 594380 HAS SOUPS 593242 WITH SCORE 599063.788
AT ITER 8679 NEW BEST:: SOT 12955900 SOS 5820376 HAS SOPS 5818246 HAS SOUS 593359 HAS SOUPS 592221 WITH SCORE 598041.376
AT ITER 8685 NEW BEST:: SOT 12955900 SOS 5817860 HAS SOPS 5815730 HAS SOUS 593357 HAS SOUPS 592219 WITH SCORE 598036.86
AT ITER 8722 NEW BEST:: SOT 12952065 SOS 5814025 HAS SOPS 5811895 HAS SOUS 591573 HAS SOUPS 590435 WITH SCORE 596249.025
AT ITER 8745 NEW BEST:: SOT 12952065 SOS 5813737 HAS SOPS 5811607 HAS SOUS 591573 HAS SOUPS 590435 WITH SCORE 596248.737
AT ITER 8779 NEW BEST:: SOT 12951077 SOS 5811741 HAS SOPS 5809611 HAS SOUS 590571 HAS SOUPS 589433 WITH SCORE 595244.741
AT ITER 8822 NEW BEST:: SOT 12951660 SOS 5812324 HAS SOPS 5810194 HAS SOUS 588968 HAS SOUPS 587830 WITH SCORE 593642.324
AT ITER 8924 NEW BEST:: SOT 12951656 SOS 5812320 HAS SOPS 5810190 HAS SOUS 588968 HAS SOUPS 587830 WITH SCORE 593642.32
AT ITER 8931 NEW BEST:: SOT 12949615 SOS 5808599 HAS SOPS 5806469 HAS SOUS 588495 HAS SOUPS 587357 WITH SCORE 593165.599
AT ITER 8977 NEW BEST:: SOT 12949615 SOS 5808599 HAS SOPS 5806469 HAS SOUS 588443 HAS SOUPS 587305 WITH SCORE 593113.599
AT ITER 9029 NEW BEST:: SOT 12952018 SOS 5810287 HAS SOPS 5808172 HAS SOUS 587846 HAS SOUPS 586723 WITH SCORE 592533.287
AT ITER 9059 NEW BEST:: SOT 12951999 SOS 5782908 HAS SOPS 5780793 HAS SOUS 587840 HAS SOUPS 586717 WITH SCORE 592499.908
AT ITER 9108 NEW BEST:: SOT 12951974 SOS 5782883 HAS SOPS 5780768 HAS SOUS 587779 HAS SOUPS 586656 WITH SCORE 592438.883
AT ITER 9131 NEW BEST:: SOT 12951974 SOS 5782883 HAS SOPS 5780768 HAS SOUS 587778 HAS SOUPS 586655 WITH SCORE 592437.883
AT ITER 9146 NEW BEST:: SOT 12951974 SOS 5782928 HAS SOPS 5780798 HAS SOUS 587783 HAS SOUPS 586651 WITH SCORE 592433.928
AT ITER 9209 NEW BEST:: SOT 12951974 SOS 5782920 HAS SOPS 5780790 HAS SOUS 587775 HAS SOUPS 586643 WITH SCORE 592425.92
AT ITER 9235 NEW BEST:: SOT 12951974 SOS 5782920 HAS SOPS 5780790 HAS SOUS 586579 HAS SOUPS 585447 WITH SCORE 591229.92
AT ITER 9266 NEW BEST:: SOT 12949078 SOS 5780024 HAS SOPS 5777894 HAS SOUS 584495 HAS SOUPS 583363 WITH SCORE 589143.024
AT ITER 9292 NEW BEST:: SOT 12948957 SOS 5779903 HAS SOPS 5777773 HAS SOUS 584250 HAS SOUPS 583118 WITH SCORE 588897.903
AT ITER 9370 NEW BEST:: SOT 12948933 SOS 5781486 HAS SOPS 5779401 HAS SOUS 584088 HAS SOUPS 582956 WITH SCORE 588737.486
AT ITER 9396 NEW BEST:: SOT 12948915 SOS 5781468 HAS SOPS 5779383 HAS SOUS 584077 HAS SOUPS 582945 WITH SCORE 588726.468
AT ITER 9401 NEW BEST:: SOT 12950157 SOS 5782710 HAS SOPS 5780625 HAS SOUS 583856 HAS SOUPS 582724 WITH SCORE 588506.71
AT ITER 9408 NEW BEST:: SOT 12949953 SOS 5784306 HAS SOPS 5782221 HAS SOUS 581944 HAS SOUPS 580812 WITH SCORE 586596.306
AT ITER 9422 NEW BEST:: SOT 12950713 SOS 5785066 HAS SOPS 5782981 HAS SOUS 580482 HAS SOUPS 579350 WITH SCORE 585135.066
AT ITER 9436 NEW BEST:: SOT 12950711 SOS 5785064 HAS SOPS 5782979 HAS SOUS 580480 HAS SOUPS 579348 WITH SCORE 585133.064
AT ITER 9454 NEW BEST:: SOT 12950711 SOS 5783860 HAS SOPS 5781819 HAS SOUS 580393 HAS SOUPS 579281 WITH SCORE 585064.86
AT ITER 9464 NEW BEST:: SOT 12950828 SOS 5784025 HAS SOPS 5781984 HAS SOUS 579725 HAS SOUPS 578613 WITH SCORE 584397.025
AT ITER 9560 NEW BEST:: SOT 12950948 SOS 5784158 HAS SOPS 5782117 HAS SOUS 579347 HAS SOUPS 578235 WITH SCORE 584019.158
AT ITER 9561 NEW BEST:: SOT 12951058 SOS 5784424 HAS SOPS 5782383 HAS SOUS 577746 HAS SOUPS 576634 WITH SCORE 582418.424
AT ITER 9583 NEW BEST:: SOT 12951058 SOS 5783632 HAS SOPS 5781591 HAS SOUS 577743 HAS SOUPS 576631 WITH SCORE 582414.632
AT ITER 9589 NEW BEST:: SOT 12951153 SOS 5823889 HAS SOPS 5821842 HAS SOUS 577510 HAS SOUPS 576395 WITH SCORE 582218.889
AT ITER 9605 NEW BEST:: SOT 12951153 SOS 5828498 HAS SOPS 5826451 HAS SOUS 577437 HAS SOUPS 576322 WITH SCORE 582150.498
AT ITER 9617 NEW BEST:: SOT 12951079 SOS 5828424 HAS SOPS 5826377 HAS SOUS 577363 HAS SOUPS 576248 WITH SCORE 582076.424
AT ITER 9625 NEW BEST:: SOT 12951079 SOS 5828314 HAS SOPS 5826267 HAS SOUS 577358 HAS SOUPS 576243 WITH SCORE 582071.314
AT ITER 9643 NEW BEST:: SOT 12951079 SOS 5828314 HAS SOPS 5826267 HAS SOUS 577344 HAS SOUPS 576229 WITH SCORE 582057.314
AT ITER 9670 NEW BEST:: SOT 12952299 SOS 5829534 HAS SOPS 5827487 HAS SOUS 576992 HAS SOUPS 575877 WITH SCORE 581706.534
AT ITER 9714 NEW BEST:: SOT 12951674 SOS 5829522 HAS SOPS 5827475 HAS SOUS 575615 HAS SOUPS 574500 WITH SCORE 580329.522
AT ITER 9789 NEW BEST:: SOT 12951455 SOS 5829087 HAS SOPS 5827040 HAS SOUS 575612 HAS SOUPS 574497 WITH SCORE 580326.087
AT ITER 9807 NEW BEST:: SOT 12952929 SOS 5852680 HAS SOPS 5850633 HAS SOUS 573368 HAS SOUPS 572253 WITH SCORE 578105.68
AT ITER 9834 NEW BEST:: SOT 12953084 SOS 5852828 HAS SOPS 5850794 HAS SOUS 573111 HAS SOUPS 572009 WITH SCORE 577861.828
AT ITER 9856 NEW BEST:: SOT 12953084 SOS 5851604 HAS SOPS 5849570 HAS SOUS 573111 HAS SOUPS 572009 WITH SCORE 577860.604
AT ITER 9911 NEW BEST:: SOT 12953004 SOS 5851524 HAS SOPS 5849490 HAS SOUS 573079 HAS SOUPS 571977 WITH SCORE 577828.524
AT ITER 9913 NEW BEST:: SOT 12952937 SOS 5851382 HAS SOPS 5849333 HAS SOUS 572991 HAS SOUPS 571889 WITH SCORE 577740.382
AT ITER 9947 NEW BEST:: SOT 12955950 SOS 5854395 HAS SOPS 5852346 HAS SOUS 571926 HAS SOUPS 570824 WITH SCORE 576678.395
AT ITER 9963 NEW BEST:: SOT 12955738 SOS 5859121 HAS SOPS 5857078 HAS SOUS 571717 HAS SOUPS 570618 WITH SCORE 576477.121
AT ITER 9979 NEW BEST:: SOT 12955458 SOS 5858841 HAS SOPS 5856798 HAS SOUS 571327 HAS SOUPS 570228 WITH SCORE 576086.841

BK_STOP 1678791910013

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 531 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BugTracking-PT-q8m032"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is BugTracking-PT-q8m032, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813696800424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q8m032.tgz
mv BugTracking-PT-q8m032 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;