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.r043-tajo-167813696800448.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-q8m256, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696800448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.8K Feb 26 06:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 06:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 06:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 06:07 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.4K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 07:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 07:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 06:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 06:44 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 1678789684025

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-q8m256
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:28:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:28:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:28:06] [INFO ] Load time of PNML (sax parser for PT used): 785 ms
[2023-03-14 10:28:06] [INFO ] Transformed 754 places.
[2023-03-14 10:28:06] [INFO ] Transformed 27370 transitions.
[2023-03-14 10:28:06] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 967 ms.
[2023-03-14 10:28:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 152 ms.
Total runtime 1154 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m256
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 13 NEW BEST:: SOT 12974000 SOS 6051787 HAS SOPS 6047332 HAS SOUS 1653825 HAS SOUPS 1649370 WITH SCORE 1655421.787
AT ITER 27 NEW BEST:: SOT 12974000 SOS 6045739 HAS SOPS 6041284 HAS SOUS 1653825 HAS SOUPS 1649370 WITH SCORE 1655415.739
AT ITER 29 NEW BEST:: SOT 12974129 SOS 6045554 HAS SOPS 6041157 HAS SOUS 1642317 HAS SOUPS 1637920 WITH SCORE 1643965.554
AT ITER 34 NEW BEST:: SOT 12976967 SOS 6048656 HAS SOPS 6044259 HAS SOUS 1641973 HAS SOUPS 1637576 WITH SCORE 1643624.656
AT ITER 55 NEW BEST:: SOT 12977078 SOS 6048443 HAS SOPS 6044109 HAS SOUS 1633576 HAS SOUPS 1629242 WITH SCORE 1635290.443
AT ITER 59 NEW BEST:: SOT 12979106 SOS 6050951 HAS SOPS 6046617 HAS SOUS 1632695 HAS SOUPS 1628361 WITH SCORE 1634411.951
AT ITER 63 NEW BEST:: SOT 12979106 SOS 6050761 HAS SOPS 6046427 HAS SOUS 1632600 HAS SOUPS 1628266 WITH SCORE 1634316.761
AT ITER 74 NEW BEST:: SOT 12832130 SOS 8151535 HAS SOPS 8148038 HAS SOUS 1486470 HAS SOUPS 1482973 WITH SCORE 1491124.535
AT ITER 86 NEW BEST:: SOT 12833935 SOS 8156317 HAS SOPS 8153068 HAS SOUS 1483895 HAS SOUPS 1480646 WITH SCORE 1488802.317
AT ITER 90 NEW BEST:: SOT 12833935 SOS 8151637 HAS SOPS 8148388 HAS SOUS 1483895 HAS SOUPS 1480646 WITH SCORE 1488797.637
AT ITER 95 NEW BEST:: SOT 12837206 SOS 8155078 HAS SOPS 8151829 HAS SOUS 1481804 HAS SOUPS 1478555 WITH SCORE 1486710.078
AT ITER 99 NEW BEST:: SOT 12837385 SOS 8155257 HAS SOPS 8152008 HAS SOUS 1480288 HAS SOUPS 1477039 WITH SCORE 1485194.257
AT ITER 101 NEW BEST:: SOT 12834920 SOS 8154076 HAS SOPS 8150827 HAS SOUS 1471319 HAS SOUPS 1468070 WITH SCORE 1476224.076
AT ITER 103 NEW BEST:: SOT 12832031 SOS 8151187 HAS SOPS 8147938 HAS SOUS 1467795 HAS SOUPS 1464546 WITH SCORE 1472697.187
AT ITER 109 NEW BEST:: SOT 12826458 SOS 8148142 HAS SOPS 8144893 HAS SOUS 1464693 HAS SOUPS 1461444 WITH SCORE 1469592.142
AT ITER 113 NEW BEST:: SOT 12826458 SOS 8148142 HAS SOPS 8144893 HAS SOUS 1464689 HAS SOUPS 1461440 WITH SCORE 1469588.142
AT ITER 114 NEW BEST:: SOT 12821711 SOS 8145059 HAS SOPS 8141810 HAS SOUS 1460465 HAS SOUPS 1457216 WITH SCORE 1465361.059
AT ITER 115 NEW BEST:: SOT 12818979 SOS 8142327 HAS SOPS 8139078 HAS SOUS 1448490 HAS SOUPS 1445241 WITH SCORE 1453383.327
AT ITER 128 NEW BEST:: SOT 12816975 SOS 8142332 HAS SOPS 8139083 HAS SOUS 1444525 HAS SOUPS 1441276 WITH SCORE 1449418.332
AT ITER 147 NEW BEST:: SOT 12815973 SOS 8141330 HAS SOPS 8138081 HAS SOUS 1442617 HAS SOUPS 1439368 WITH SCORE 1447509.33
AT ITER 155 NEW BEST:: SOT 12815973 SOS 8138234 HAS SOPS 8134985 HAS SOUS 1442617 HAS SOUPS 1439368 WITH SCORE 1447506.234
AT ITER 161 NEW BEST:: SOT 12814379 SOS 8136640 HAS SOPS 8133391 HAS SOUS 1439338 HAS SOUPS 1436089 WITH SCORE 1444225.64
AT ITER 171 NEW BEST:: SOT 12828011 SOS 8150272 HAS SOPS 8147023 HAS SOUS 1434731 HAS SOUPS 1431482 WITH SCORE 1439632.272
AT ITER 186 NEW BEST:: SOT 12827506 SOS 8150100 HAS SOPS 8146862 HAS SOUS 1431730 HAS SOUPS 1428492 WITH SCORE 1436642.1
AT ITER 193 NEW BEST:: SOT 12841913 SOS 8164975 HAS SOPS 8161737 HAS SOUS 1430373 HAS SOUPS 1427135 WITH SCORE 1435299.975
AT ITER 205 NEW BEST:: SOT 12839836 SOS 8162858 HAS SOPS 8159620 HAS SOUS 1421345 HAS SOUPS 1418107 WITH SCORE 1426269.858
AT ITER 215 NEW BEST:: SOT 12840868 SOS 8163890 HAS SOPS 8160652 HAS SOUS 1413787 HAS SOUPS 1410549 WITH SCORE 1418712.89
AT ITER 219 NEW BEST:: SOT 12840016 SOS 8163034 HAS SOPS 8159796 HAS SOUS 1411492 HAS SOUPS 1408254 WITH SCORE 1416417.034
AT ITER 222 NEW BEST:: SOT 12841936 SOS 8164954 HAS SOPS 8161716 HAS SOUS 1410591 HAS SOUPS 1407353 WITH SCORE 1415517.954
AT ITER 224 NEW BEST:: SOT 12845062 SOS 8168186 HAS SOPS 8164948 HAS SOUS 1409898 HAS SOUPS 1406660 WITH SCORE 1414828.186
AT ITER 232 NEW BEST:: SOT 12847885 SOS 8171171 HAS SOPS 8167933 HAS SOUS 1406882 HAS SOUPS 1403644 WITH SCORE 1411815.171
AT ITER 241 NEW BEST:: SOT 12847885 SOS 8161739 HAS SOPS 8158501 HAS SOUS 1406882 HAS SOUPS 1403644 WITH SCORE 1411805.739
AT ITER 250 NEW BEST:: SOT 12841227 SOS 8159065 HAS SOPS 8155827 HAS SOUS 1398880 HAS SOUPS 1395642 WITH SCORE 1403801.065
AT ITER 258 NEW BEST:: SOT 12843266 SOS 8161104 HAS SOPS 8157866 HAS SOUS 1394024 HAS SOUPS 1390786 WITH SCORE 1398947.104
AT ITER 264 NEW BEST:: SOT 12842747 SOS 8160585 HAS SOPS 8157347 HAS SOUS 1393884 HAS SOUPS 1390646 WITH SCORE 1398806.585
AT ITER 271 NEW BEST:: SOT 12842747 SOS 8160585 HAS SOPS 8157347 HAS SOUS 1393852 HAS SOUPS 1390614 WITH SCORE 1398774.585
AT ITER 281 NEW BEST:: SOT 12842742 SOS 8160580 HAS SOPS 8157342 HAS SOUS 1390301 HAS SOUPS 1387063 WITH SCORE 1395223.58
AT ITER 283 NEW BEST:: SOT 12845126 SOS 8162964 HAS SOPS 8159726 HAS SOUS 1384845 HAS SOUPS 1381607 WITH SCORE 1389769.964
AT ITER 286 NEW BEST:: SOT 12845126 SOS 8157492 HAS SOPS 8154254 HAS SOUS 1384845 HAS SOUPS 1381607 WITH SCORE 1389764.492
AT ITER 288 NEW BEST:: SOT 12843835 SOS 8156298 HAS SOPS 8153060 HAS SOUS 1382374 HAS SOUPS 1379136 WITH SCORE 1387292.298
AT ITER 296 NEW BEST:: SOT 12842318 SOS 8154781 HAS SOPS 8151543 HAS SOUS 1379279 HAS SOUPS 1376041 WITH SCORE 1384195.781
AT ITER 315 NEW BEST:: SOT 12842318 SOS 8149957 HAS SOPS 8146719 HAS SOUS 1379279 HAS SOUPS 1376041 WITH SCORE 1384190.957
AT ITER 321 NEW BEST:: SOT 12841837 SOS 8149476 HAS SOPS 8146238 HAS SOUS 1378282 HAS SOUPS 1375044 WITH SCORE 1383193.476
AT ITER 340 NEW BEST:: SOT 12841475 SOS 8148794 HAS SOPS 8145617 HAS SOUS 1368361 HAS SOUPS 1365184 WITH SCORE 1373332.794
AT ITER 344 NEW BEST:: SOT 12841475 SOS 8148700 HAS SOPS 8145523 HAS SOUS 1368314 HAS SOUPS 1365137 WITH SCORE 1373285.7
AT ITER 350 NEW BEST:: SOT 12841319 SOS 8148854 HAS SOPS 8145677 HAS SOUS 1348761 HAS SOUPS 1345584 WITH SCORE 1353732.854
AT ITER 355 NEW BEST:: SOT 12838430 SOS 8145703 HAS SOPS 8142578 HAS SOUS 1334193 HAS SOUPS 1331068 WITH SCORE 1339213.703
AT ITER 361 NEW BEST:: SOT 12838175 SOS 8145689 HAS SOPS 8142564 HAS SOUS 1333844 HAS SOUPS 1330719 WITH SCORE 1338864.689
AT ITER 372 NEW BEST:: SOT 12836015 SOS 8141309 HAS SOPS 8138184 HAS SOUS 1331624 HAS SOUPS 1328499 WITH SCORE 1336640.309
AT ITER 379 NEW BEST:: SOT 12834245 SOS 8139539 HAS SOPS 8136414 HAS SOUS 1326982 HAS SOUPS 1323857 WITH SCORE 1331996.539
AT ITER 385 NEW BEST:: SOT 12834245 SOS 8135307 HAS SOPS 8132182 HAS SOUS 1326630 HAS SOUPS 1323505 WITH SCORE 1331640.307
AT ITER 389 NEW BEST:: SOT 12830075 SOS 8131163 HAS SOPS 8128091 HAS SOUS 1317473 HAS SOUPS 1314401 WITH SCORE 1322532.163
AT ITER 402 NEW BEST:: SOT 12828317 SOS 8129405 HAS SOPS 8126333 HAS SOUS 1310057 HAS SOUPS 1306985 WITH SCORE 1315114.405
AT ITER 416 NEW BEST:: SOT 12841737 SOS 8143076 HAS SOPS 8140004 HAS SOUS 1307227 HAS SOUPS 1304155 WITH SCORE 1312298.076
AT ITER 428 NEW BEST:: SOT 12838687 SOS 8132034 HAS SOPS 8128962 HAS SOUS 1294351 HAS SOUPS 1291279 WITH SCORE 1299411.034
AT ITER 430 NEW BEST:: SOT 12836835 SOS 8131244 HAS SOPS 8128172 HAS SOUS 1280873 HAS SOUPS 1277801 WITH SCORE 1285932.244
AT ITER 436 NEW BEST:: SOT 12836835 SOS 8122748 HAS SOPS 8119676 HAS SOUS 1280873 HAS SOUPS 1277801 WITH SCORE 1285923.748
AT ITER 443 NEW BEST:: SOT 12838351 SOS 8124510 HAS SOPS 8121438 HAS SOUS 1254581 HAS SOUPS 1251509 WITH SCORE 1259633.51
AT ITER 451 NEW BEST:: SOT 12843852 SOS 8134647 HAS SOPS 8131671 HAS SOUS 1251716 HAS SOUPS 1248740 WITH SCORE 1256874.647
AT ITER 458 NEW BEST:: SOT 12843852 SOS 8131623 HAS SOPS 8128647 HAS SOUS 1251716 HAS SOUPS 1248740 WITH SCORE 1256871.623
AT ITER 461 NEW BEST:: SOT 12843852 SOS 8131047 HAS SOPS 8128071 HAS SOUS 1251716 HAS SOUPS 1248740 WITH SCORE 1256871.047
AT ITER 462 NEW BEST:: SOT 12841046 SOS 8128241 HAS SOPS 8125265 HAS SOUS 1248444 HAS SOUPS 1245468 WITH SCORE 1253596.241
AT ITER 472 NEW BEST:: SOT 12840940 SOS 8128135 HAS SOPS 8125159 HAS SOUS 1248338 HAS SOUPS 1245362 WITH SCORE 1253490.135
AT ITER 477 NEW BEST:: SOT 12840940 SOS 8126335 HAS SOPS 8123359 HAS SOUS 1248338 HAS SOUPS 1245362 WITH SCORE 1253488.335
AT ITER 482 NEW BEST:: SOT 12840053 SOS 8125448 HAS SOPS 8122472 HAS SOUS 1246547 HAS SOUPS 1243571 WITH SCORE 1251696.448
AT ITER 490 NEW BEST:: SOT 12833258 SOS 8135129 HAS SOPS 8132153 HAS SOUS 1237770 HAS SOUPS 1234794 WITH SCORE 1242929.129
AT ITER 493 NEW BEST:: SOT 12828654 SOS 8130525 HAS SOPS 8127549 HAS SOUS 1232166 HAS SOUPS 1229190 WITH SCORE 1237320.525
AT ITER 513 NEW BEST:: SOT 12828179 SOS 8130050 HAS SOPS 8127074 HAS SOUS 1231470 HAS SOUPS 1228494 WITH SCORE 1236624.05
AT ITER 514 NEW BEST:: SOT 12829150 SOS 8131127 HAS SOPS 8128151 HAS SOUS 1226865 HAS SOUPS 1223889 WITH SCORE 1232020.127
AT ITER 515 NEW BEST:: SOT 12829150 SOS 8128751 HAS SOPS 8125775 HAS SOUS 1226865 HAS SOUPS 1223889 WITH SCORE 1232017.751
AT ITER 526 NEW BEST:: SOT 12829251 SOS 7524783 HAS SOPS 7521807 HAS SOUS 1226813 HAS SOUPS 1223837 WITH SCORE 1231361.783
AT ITER 533 NEW BEST:: SOT 12831004 SOS 7526536 HAS SOPS 7523560 HAS SOUS 1225647 HAS SOUPS 1222671 WITH SCORE 1230197.536
AT ITER 538 NEW BEST:: SOT 12828049 SOS 7523431 HAS SOPS 7520455 HAS SOUS 1222845 HAS SOUPS 1219869 WITH SCORE 1227392.431
AT ITER 543 NEW BEST:: SOT 12828200 SOS 7524728 HAS SOPS 7521797 HAS SOUS 1217592 HAS SOUPS 1214661 WITH SCORE 1222185.728
AT ITER 565 NEW BEST:: SOT 12827999 SOS 7524527 HAS SOPS 7521596 HAS SOUS 1217384 HAS SOUPS 1214453 WITH SCORE 1221977.527
AT ITER 593 NEW BEST:: SOT 12830546 SOS 7527234 HAS SOPS 7524303 HAS SOUS 1214161 HAS SOUPS 1211230 WITH SCORE 1218757.234
AT ITER 595 NEW BEST:: SOT 12830546 SOS 7524570 HAS SOPS 7521639 HAS SOUS 1214161 HAS SOUPS 1211230 WITH SCORE 1218754.57
AT ITER 599 NEW BEST:: SOT 12830088 SOS 7524103 HAS SOPS 7521172 HAS SOUS 1212046 HAS SOUPS 1209115 WITH SCORE 1216639.103
AT ITER 611 NEW BEST:: SOT 12835586 SOS 7532373 HAS SOPS 7529442 HAS SOUS 1205599 HAS SOUPS 1202668 WITH SCORE 1210200.373
AT ITER 624 NEW BEST:: SOT 12835586 SOS 7532373 HAS SOPS 7529442 HAS SOUS 1205591 HAS SOUPS 1202660 WITH SCORE 1210192.373
AT ITER 649 NEW BEST:: SOT 12835051 SOS 7531838 HAS SOPS 7528907 HAS SOUS 1204290 HAS SOUPS 1201359 WITH SCORE 1208890.838
AT ITER 664 NEW BEST:: SOT 12834701 SOS 7531472 HAS SOPS 7528541 HAS SOUS 1195407 HAS SOUPS 1192476 WITH SCORE 1200007.472
AT ITER 668 NEW BEST:: SOT 12836513 SOS 7533393 HAS SOPS 7530527 HAS SOUS 1188906 HAS SOUPS 1186040 WITH SCORE 1193573.393
AT ITER 691 NEW BEST:: SOT 12836060 SOS 7534133 HAS SOPS 7533161 HAS SOUS 1183470 HAS SOUPS 1182498 WITH SCORE 1190032.133
AT ITER 695 NEW BEST:: SOT 12836060 SOS 7533905 HAS SOPS 7532933 HAS SOUS 1183356 HAS SOUPS 1182384 WITH SCORE 1189917.905
AT ITER 696 NEW BEST:: SOT 12838382 SOS 7536313 HAS SOPS 7535341 HAS SOUS 1182570 HAS SOUPS 1181598 WITH SCORE 1189134.313
AT ITER 708 NEW BEST:: SOT 12844910 SOS 7549681 HAS SOPS 7548709 HAS SOUS 1180837 HAS SOUPS 1179865 WITH SCORE 1187414.681
AT ITER 709 NEW BEST:: SOT 12844910 SOS 7547665 HAS SOPS 7546693 HAS SOUS 1180837 HAS SOUPS 1179865 WITH SCORE 1187412.665
AT ITER 712 NEW BEST:: SOT 12846997 SOS 7549725 HAS SOPS 7548753 HAS SOUS 1175055 HAS SOUPS 1174083 WITH SCORE 1181632.725
AT ITER 718 NEW BEST:: SOT 12846997 SOS 6932109 HAS SOPS 6931137 HAS SOUS 1174935 HAS SOUPS 1173963 WITH SCORE 1180895.109
AT ITER 727 NEW BEST:: SOT 12854831 SOS 6940487 HAS SOPS 6939515 HAS SOUS 1173588 HAS SOUPS 1172616 WITH SCORE 1179556.487
AT ITER 761 NEW BEST:: SOT 12854897 SOS 6940597 HAS SOPS 6939625 HAS SOUS 1172074 HAS SOUPS 1171102 WITH SCORE 1178042.597
AT ITER 774 NEW BEST:: SOT 12855548 SOS 6941394 HAS SOPS 6940422 HAS SOUS 1168303 HAS SOUPS 1167331 WITH SCORE 1174272.394
AT ITER 779 NEW BEST:: SOT 12854550 SOS 6940396 HAS SOPS 6939424 HAS SOUS 1167178 HAS SOUPS 1166206 WITH SCORE 1173146.396
AT ITER 784 NEW BEST:: SOT 12864611 SOS 6950781 HAS SOPS 6949809 HAS SOUS 1166679 HAS SOUPS 1165707 WITH SCORE 1172657.781
AT ITER 801 NEW BEST:: SOT 12889605 SOS 6975775 HAS SOPS 6974803 HAS SOUS 1163824 HAS SOUPS 1162852 WITH SCORE 1169827.775
AT ITER 803 NEW BEST:: SOT 12889605 SOS 6975739 HAS SOPS 6974767 HAS SOUS 1163815 HAS SOUPS 1162843 WITH SCORE 1169818.739
AT ITER 808 NEW BEST:: SOT 12889383 SOS 6976813 HAS SOPS 6975841 HAS SOUS 1150758 HAS SOUPS 1149786 WITH SCORE 1156762.813
AT ITER 816 NEW BEST:: SOT 12890981 SOS 6978467 HAS SOPS 6977495 HAS SOUS 1150340 HAS SOUPS 1149368 WITH SCORE 1156346.467
AT ITER 823 NEW BEST:: SOT 12891720 SOS 6979206 HAS SOPS 6978234 HAS SOUS 1148041 HAS SOUPS 1147069 WITH SCORE 1154048.206
AT ITER 824 NEW BEST:: SOT 12891720 SOS 6981330 HAS SOPS 6980358 HAS SOUS 1148010 HAS SOUPS 1147038 WITH SCORE 1154019.33
AT ITER 835 NEW BEST:: SOT 12891712 SOS 6981322 HAS SOPS 6980350 HAS SOUS 1148002 HAS SOUPS 1147030 WITH SCORE 1154011.322
AT ITER 849 NEW BEST:: SOT 12895241 SOS 6985667 HAS SOPS 6984695 HAS SOUS 1146683 HAS SOUPS 1145711 WITH SCORE 1152696.667
AT ITER 850 NEW BEST:: SOT 12895492 SOS 6987139 HAS SOPS 6986430 HAS SOUS 1145950 HAS SOUPS 1145241 WITH SCORE 1152228.139
AT ITER 855 NEW BEST:: SOT 12895492 SOS 6987067 HAS SOPS 6986358 HAS SOUS 1145950 HAS SOUPS 1145241 WITH SCORE 1152228.067
AT ITER 882 NEW BEST:: SOT 12894628 SOS 6985811 HAS SOPS 6985157 HAS SOUS 1142816 HAS SOUPS 1142162 WITH SCORE 1149147.811
AT ITER 885 NEW BEST:: SOT 12894628 SOS 6985669 HAS SOPS 6985015 HAS SOUS 1142745 HAS SOUPS 1142091 WITH SCORE 1149076.669
AT ITER 892 NEW BEST:: SOT 12894602 SOS 6985679 HAS SOPS 6985025 HAS SOUS 1142497 HAS SOUPS 1141843 WITH SCORE 1148828.679
AT ITER 899 NEW BEST:: SOT 12897587 SOS 6988779 HAS SOPS 6988125 HAS SOUS 1137185 HAS SOUPS 1136531 WITH SCORE 1143519.779
AT ITER 911 NEW BEST:: SOT 12897587 SOS 6987483 HAS SOPS 6986829 HAS SOUS 1137185 HAS SOUPS 1136531 WITH SCORE 1143518.483
AT ITER 928 NEW BEST:: SOT 12897587 SOS 6987217 HAS SOPS 6986563 HAS SOUS 1137052 HAS SOUPS 1136398 WITH SCORE 1143385.217
AT ITER 949 NEW BEST:: SOT 12899718 SOS 6989348 HAS SOPS 6988694 HAS SOUS 1134581 HAS SOUPS 1133927 WITH SCORE 1140916.348
AT ITER 954 NEW BEST:: SOT 12903073 SOS 6992703 HAS SOPS 6992049 HAS SOUS 1133622 HAS SOUPS 1132968 WITH SCORE 1139960.703
AT ITER 959 NEW BEST:: SOT 12902889 SOS 6992593 HAS SOPS 6991939 HAS SOUS 1133444 HAS SOUPS 1132790 WITH SCORE 1139782.593
AT ITER 961 NEW BEST:: SOT 12902889 SOS 6992593 HAS SOPS 6991939 HAS SOUS 1133244 HAS SOUPS 1132590 WITH SCORE 1139582.593
AT ITER 972 NEW BEST:: SOT 12902889 SOS 6992518 HAS SOPS 6991864 HAS SOUS 1133169 HAS SOUPS 1132515 WITH SCORE 1139507.518
AT ITER 977 NEW BEST:: SOT 12901474 SOS 6991103 HAS SOPS 6990449 HAS SOUS 1130364 HAS SOUPS 1129710 WITH SCORE 1136701.103
AT ITER 993 NEW BEST:: SOT 12898061 SOS 6993738 HAS SOPS 6993084 HAS SOUS 1127218 HAS SOUPS 1126564 WITH SCORE 1133557.738
AT ITER 1035 NEW BEST:: SOT 12897498 SOS 6993175 HAS SOPS 6992521 HAS SOUS 1126472 HAS SOUPS 1125818 WITH SCORE 1132811.175
AT ITER 1037 NEW BEST:: SOT 12897498 SOS 6991295 HAS SOPS 6990641 HAS SOUS 1126324 HAS SOUPS 1125670 WITH SCORE 1132661.295
AT ITER 1038 NEW BEST:: SOT 12896362 SOS 6990393 HAS SOPS 6989739 HAS SOUS 1124253 HAS SOUPS 1123599 WITH SCORE 1130589.393
AT ITER 1043 NEW BEST:: SOT 12895569 SOS 6988677 HAS SOPS 6988023 HAS SOUS 1123473 HAS SOUPS 1122819 WITH SCORE 1129807.677
AT ITER 1057 NEW BEST:: SOT 12908931 SOS 7002039 HAS SOPS 7001385 HAS SOUS 1122765 HAS SOUPS 1122111 WITH SCORE 1129113.039
AT ITER 1064 NEW BEST:: SOT 12915405 SOS 7008513 HAS SOPS 7007859 HAS SOUS 1116390 HAS SOUPS 1115736 WITH SCORE 1122744.513
AT ITER 1065 NEW BEST:: SOT 12915405 SOS 7008502 HAS SOPS 7007848 HAS SOUS 1116379 HAS SOUPS 1115725 WITH SCORE 1122733.502
AT ITER 1067 NEW BEST:: SOT 12911964 SOS 7009689 HAS SOPS 7009035 HAS SOUS 1115170 HAS SOUPS 1114516 WITH SCORE 1121525.689
AT ITER 1089 NEW BEST:: SOT 12911964 SOS 7008177 HAS SOPS 7007523 HAS SOUS 1115170 HAS SOUPS 1114516 WITH SCORE 1121524.177
AT ITER 1092 NEW BEST:: SOT 12913657 SOS 7010860 HAS SOPS 7010206 HAS SOUS 1114924 HAS SOUPS 1114270 WITH SCORE 1121280.86
AT ITER 1097 NEW BEST:: SOT 12913657 SOS 7009764 HAS SOPS 7009110 HAS SOUS 1114704 HAS SOUPS 1114050 WITH SCORE 1121059.764
AT ITER 1101 NEW BEST:: SOT 12916192 SOS 7012401 HAS SOPS 7011747 HAS SOUS 1113596 HAS SOUPS 1112942 WITH SCORE 1119954.401
AT ITER 1102 NEW BEST:: SOT 12915595 SOS 7013284 HAS SOPS 7012630 HAS SOUS 1112383 HAS SOUPS 1111729 WITH SCORE 1118742.284
AT ITER 1119 NEW BEST:: SOT 12912849 SOS 7010142 HAS SOPS 7009471 HAS SOUS 1111677 HAS SOUPS 1111006 WITH SCORE 1118016.142
AT ITER 1127 NEW BEST:: SOT 12912889 SOS 7010182 HAS SOPS 7009511 HAS SOUS 1111589 HAS SOUPS 1110918 WITH SCORE 1117928.182
AT ITER 1130 NEW BEST:: SOT 12912889 SOS 7009318 HAS SOPS 7008647 HAS SOUS 1111589 HAS SOUPS 1110918 WITH SCORE 1117927.318
AT ITER 1134 NEW BEST:: SOT 12906936 SOS 7011003 HAS SOPS 7010332 HAS SOUS 1107090 HAS SOUPS 1106419 WITH SCORE 1113430.003
AT ITER 1152 NEW BEST:: SOT 12906936 SOS 7008267 HAS SOPS 7007596 HAS SOUS 1107090 HAS SOUPS 1106419 WITH SCORE 1113427.267
AT ITER 1157 NEW BEST:: SOT 12905794 SOS 7007125 HAS SOPS 7006454 HAS SOUS 1102175 HAS SOUPS 1101504 WITH SCORE 1108511.125
AT ITER 1168 NEW BEST:: SOT 12899702 SOS 7001033 HAS SOPS 7000362 HAS SOUS 1098051 HAS SOUPS 1097380 WITH SCORE 1104381.033
AT ITER 1170 NEW BEST:: SOT 12899702 SOS 7001033 HAS SOPS 7000362 HAS SOUS 1098025 HAS SOUPS 1097354 WITH SCORE 1104355.033
AT ITER 1177 NEW BEST:: SOT 12896562 SOS 6997893 HAS SOPS 6997222 HAS SOUS 1094038 HAS SOUPS 1093367 WITH SCORE 1100364.893
AT ITER 1182 NEW BEST:: SOT 12891440 SOS 6996721 HAS SOPS 6996050 HAS SOUS 1093171 HAS SOUPS 1092500 WITH SCORE 1099496.721
AT ITER 1186 NEW BEST:: SOT 12896785 SOS 7002414 HAS SOPS 7001743 HAS SOUS 1092280 HAS SOUPS 1091609 WITH SCORE 1098611.414
AT ITER 1192 NEW BEST:: SOT 12896540 SOS 7002169 HAS SOPS 7001498 HAS SOUS 1091795 HAS SOUPS 1091124 WITH SCORE 1098126.169
AT ITER 1196 NEW BEST:: SOT 12896540 SOS 7002159 HAS SOPS 7001488 HAS SOUS 1091702 HAS SOUPS 1091031 WITH SCORE 1098033.159
AT ITER 1197 NEW BEST:: SOT 12894331 SOS 6999950 HAS SOPS 6999279 HAS SOUS 1088946 HAS SOUPS 1088275 WITH SCORE 1095274.95
AT ITER 1208 NEW BEST:: SOT 12894938 SOS 7000557 HAS SOPS 6999886 HAS SOUS 1086075 HAS SOUPS 1085404 WITH SCORE 1092404.557
AT ITER 1219 NEW BEST:: SOT 12874017 SOS 6983878 HAS SOPS 6983121 HAS SOUS 1079842 HAS SOUPS 1079128 WITH SCORE 1086111.878
AT ITER 1228 NEW BEST:: SOT 12874017 SOS 6982373 HAS SOPS 6981616 HAS SOUS 1079835 HAS SOUPS 1079121 WITH SCORE 1086103.373
AT ITER 1234 NEW BEST:: SOT 12870383 SOS 6978739 HAS SOPS 6977982 HAS SOUS 1072419 HAS SOUPS 1071705 WITH SCORE 1078683.739
AT ITER 1237 NEW BEST:: SOT 12864803 SOS 6979003 HAS SOPS 6978246 HAS SOUS 1066214 HAS SOUPS 1065500 WITH SCORE 1072479.003
AT ITER 1239 NEW BEST:: SOT 12865955 SOS 6980671 HAS SOPS 6979914 HAS SOUS 1065730 HAS SOUPS 1065016 WITH SCORE 1071996.671
AT ITER 1259 NEW BEST:: SOT 12863928 SOS 6978909 HAS SOPS 6978152 HAS SOUS 1061806 HAS SOUPS 1061092 WITH SCORE 1068070.909
AT ITER 1271 NEW BEST:: SOT 12863876 SOS 6978881 HAS SOPS 6978134 HAS SOUS 1061764 HAS SOUPS 1061050 WITH SCORE 1068028.881
AT ITER 1273 NEW BEST:: SOT 12863876 SOS 6978864 HAS SOPS 6978117 HAS SOUS 1061747 HAS SOUPS 1061033 WITH SCORE 1068011.864
AT ITER 1309 NEW BEST:: SOT 12869088 SOS 6984076 HAS SOPS 6983329 HAS SOUS 1054607 HAS SOUPS 1053893 WITH SCORE 1060877.076
AT ITER 1318 NEW BEST:: SOT 12866087 SOS 6981075 HAS SOPS 6980328 HAS SOUS 1052122 HAS SOUPS 1051408 WITH SCORE 1058389.075
AT ITER 1319 NEW BEST:: SOT 12865571 SOS 6980559 HAS SOPS 6979812 HAS SOUS 1049807 HAS SOUPS 1049093 WITH SCORE 1056073.559
AT ITER 1362 NEW BEST:: SOT 12872030 SOS 6992922 HAS SOPS 6992175 HAS SOUS 1047132 HAS SOUPS 1046418 WITH SCORE 1053410.922
AT ITER 1375 NEW BEST:: SOT 12872030 SOS 6992643 HAS SOPS 6991950 HAS SOUS 1046980 HAS SOUPS 1046320 WITH SCORE 1053312.643
AT ITER 1380 NEW BEST:: SOT 12875314 SOS 6996069 HAS SOPS 6995376 HAS SOUS 1045051 HAS SOUPS 1044391 WITH SCORE 1051387.069
AT ITER 1389 NEW BEST:: SOT 12870177 SOS 6991343 HAS SOPS 6990650 HAS SOUS 1042110 HAS SOUPS 1041450 WITH SCORE 1048441.343
AT ITER 1396 NEW BEST:: SOT 12870081 SOS 6991679 HAS SOPS 6990986 HAS SOUS 1042014 HAS SOUPS 1041354 WITH SCORE 1048345.679
AT ITER 1398 NEW BEST:: SOT 12870081 SOS 6988754 HAS SOPS 6988061 HAS SOUS 1041987 HAS SOUPS 1041327 WITH SCORE 1048315.754
AT ITER 1400 NEW BEST:: SOT 12870000 SOS 6988673 HAS SOPS 6987980 HAS SOUS 1041936 HAS SOUPS 1041276 WITH SCORE 1048264.673
AT ITER 1404 NEW BEST:: SOT 12869502 SOS 6988175 HAS SOPS 6987482 HAS SOUS 1040423 HAS SOUPS 1039763 WITH SCORE 1046751.175
AT ITER 1407 NEW BEST:: SOT 12865654 SOS 6987500 HAS SOPS 6986807 HAS SOUS 1037779 HAS SOUPS 1037119 WITH SCORE 1044106.5
AT ITER 1419 NEW BEST:: SOT 12865654 SOS 6984836 HAS SOPS 6984143 HAS SOUS 1037779 HAS SOUPS 1037119 WITH SCORE 1044103.836
AT ITER 1421 NEW BEST:: SOT 12865944 SOS 6985496 HAS SOPS 6984883 HAS SOUS 1037309 HAS SOUPS 1036729 WITH SCORE 1043714.496
AT ITER 1427 NEW BEST:: SOT 12863154 SOS 6982826 HAS SOPS 6982213 HAS SOUS 1034094 HAS SOUPS 1033514 WITH SCORE 1040496.826
AT ITER 1457 NEW BEST:: SOT 12863154 SOS 6982034 HAS SOPS 6981421 HAS SOUS 1034094 HAS SOUPS 1033514 WITH SCORE 1040496.034
AT ITER 1461 NEW BEST:: SOT 12862721 SOS 6981601 HAS SOPS 6980988 HAS SOUS 1033192 HAS SOUPS 1032612 WITH SCORE 1039593.601
AT ITER 1465 NEW BEST:: SOT 12862721 SOS 6981625 HAS SOPS 6981012 HAS SOUS 1033136 HAS SOUPS 1032556 WITH SCORE 1039537.625
AT ITER 1473 NEW BEST:: SOT 12862623 SOS 6981527 HAS SOPS 6980914 HAS SOUS 1030331 HAS SOUPS 1029751 WITH SCORE 1036732.527
AT ITER 1483 NEW BEST:: SOT 12862395 SOS 6981299 HAS SOPS 6980686 HAS SOUS 1030077 HAS SOUPS 1029497 WITH SCORE 1036478.299
AT ITER 1485 NEW BEST:: SOT 12862207 SOS 6981111 HAS SOPS 6980498 HAS SOUS 1029936 HAS SOUPS 1029356 WITH SCORE 1036337.111
AT ITER 1490 NEW BEST:: SOT 12875108 SOS 7006108 HAS SOPS 7005495 HAS SOUS 1028746 HAS SOUPS 1028166 WITH SCORE 1035172.108
AT ITER 1498 NEW BEST:: SOT 12875086 SOS 7006086 HAS SOPS 7005473 HAS SOUS 1028724 HAS SOUPS 1028144 WITH SCORE 1035150.086
AT ITER 1523 NEW BEST:: SOT 12875086 SOS 7002514 HAS SOPS 7001901 HAS SOUS 1028677 HAS SOUPS 1028097 WITH SCORE 1035099.514
AT ITER 1541 NEW BEST:: SOT 12875086 SOS 7002514 HAS SOPS 7001901 HAS SOUS 1028673 HAS SOUPS 1028093 WITH SCORE 1035095.514
AT ITER 1544 NEW BEST:: SOT 12895877 SOS 7023742 HAS SOPS 7023129 HAS SOUS 1024994 HAS SOUPS 1024414 WITH SCORE 1031437.742
AT ITER 1545 NEW BEST:: SOT 12891011 SOS 7020452 HAS SOPS 7019839 HAS SOUS 1020784 HAS SOUPS 1020204 WITH SCORE 1027224.452
AT ITER 1546 NEW BEST:: SOT 12890105 SOS 7019520 HAS SOPS 7018907 HAS SOUS 1020595 HAS SOUPS 1020015 WITH SCORE 1027034.52
AT ITER 1556 NEW BEST:: SOT 12890115 SOS 7019476 HAS SOPS 7018869 HAS SOUS 1020517 HAS SOUPS 1019943 WITH SCORE 1026962.476
AT ITER 1560 NEW BEST:: SOT 12890115 SOS 7019476 HAS SOPS 7018869 HAS SOUS 1020383 HAS SOUPS 1019809 WITH SCORE 1026828.476
AT ITER 1574 NEW BEST:: SOT 12874536 SOS 7005440 HAS SOPS 7004779 HAS SOUS 1017835 HAS SOUPS 1017207 WITH SCORE 1024212.44
AT ITER 1580 NEW BEST:: SOT 12874528 SOS 7005432 HAS SOPS 7004771 HAS SOUS 1016364 HAS SOUPS 1015736 WITH SCORE 1022741.432
AT ITER 1588 NEW BEST:: SOT 12870553 SOS 7001771 HAS SOPS 7001110 HAS SOUS 1003449 HAS SOUPS 1002821 WITH SCORE 1009822.771
AT ITER 1601 NEW BEST:: SOT 12876713 SOS 7007931 HAS SOPS 7007270 HAS SOUS 999684 HAS SOUPS 999056 WITH SCORE 1006063.931
AT ITER 1604 NEW BEST:: SOT 12879242 SOS 7020548 HAS SOPS 7019887 HAS SOUS 997783 HAS SOUPS 997155 WITH SCORE 1004175.548
AT ITER 1605 NEW BEST:: SOT 12879238 SOS 7020544 HAS SOPS 7019883 HAS SOUS 997779 HAS SOUPS 997151 WITH SCORE 1004171.544
AT ITER 1610 NEW BEST:: SOT 12875745 SOS 7016391 HAS SOPS 7015730 HAS SOUS 996634 HAS SOUPS 996006 WITH SCORE 1003022.391
AT ITER 1620 NEW BEST:: SOT 12875180 SOS 7015826 HAS SOPS 7015165 HAS SOUS 995309 HAS SOUPS 994681 WITH SCORE 1001696.826
AT ITER 1621 NEW BEST:: SOT 12875212 SOS 7015770 HAS SOPS 7015109 HAS SOUS 995253 HAS SOUPS 994625 WITH SCORE 1001640.77
AT ITER 1624 NEW BEST:: SOT 12875212 SOS 7012673 HAS SOPS 7012012 HAS SOUS 995182 HAS SOUPS 994554 WITH SCORE 1001566.673
AT ITER 1625 NEW BEST:: SOT 12874962 SOS 7012423 HAS SOPS 7011762 HAS SOUS 994643 HAS SOUPS 994015 WITH SCORE 1001027.423
AT ITER 1633 NEW BEST:: SOT 12875303 SOS 7013136 HAS SOPS 7012475 HAS SOUS 994012 HAS SOUPS 993384 WITH SCORE 1000397.136
AT ITER 1639 NEW BEST:: SOT 12876728 SOS 7014561 HAS SOPS 7013900 HAS SOUS 992375 HAS SOUPS 991747 WITH SCORE 998761.561
AT ITER 1641 NEW BEST:: SOT 12875568 SOS 7013401 HAS SOPS 7012740 HAS SOUS 989620 HAS SOUPS 988992 WITH SCORE 996005.401
AT ITER 1644 NEW BEST:: SOT 12874801 SOS 7012634 HAS SOPS 7011973 HAS SOUS 985604 HAS SOUPS 984976 WITH SCORE 991988.634
AT ITER 1667 NEW BEST:: SOT 12877715 SOS 7015766 HAS SOPS 7015105 HAS SOUS 981410 HAS SOUPS 980782 WITH SCORE 987797.766
AT ITER 1673 NEW BEST:: SOT 12874219 SOS 7010614 HAS SOPS 7009953 HAS SOUS 977891 HAS SOUPS 977263 WITH SCORE 984273.614
AT ITER 1675 NEW BEST:: SOT 12873429 SOS 7009824 HAS SOPS 7009163 HAS SOUS 977577 HAS SOUPS 976949 WITH SCORE 983958.824
AT ITER 1677 NEW BEST:: SOT 12873429 SOS 7004715 HAS SOPS 7004054 HAS SOUS 977430 HAS SOUPS 976802 WITH SCORE 983806.715
AT ITER 1720 NEW BEST:: SOT 12879027 SOS 7010559 HAS SOPS 7009898 HAS SOUS 976575 HAS SOUPS 975947 WITH SCORE 982957.559
AT ITER 1724 NEW BEST:: SOT 12880114 SOS 7011646 HAS SOPS 7010985 HAS SOUS 976377 HAS SOUPS 975749 WITH SCORE 982760.646
AT ITER 1733 NEW BEST:: SOT 12881014 SOS 7012546 HAS SOPS 7011885 HAS SOUS 976316 HAS SOUPS 975688 WITH SCORE 982700.546
AT ITER 1736 NEW BEST:: SOT 12877026 SOS 7008558 HAS SOPS 7007897 HAS SOUS 968663 HAS SOUPS 968035 WITH SCORE 975043.558
AT ITER 1756 NEW BEST:: SOT 12877026 SOS 7008322 HAS SOPS 7007661 HAS SOUS 967915 HAS SOUPS 967287 WITH SCORE 974295.322
AT ITER 1769 NEW BEST:: SOT 12876146 SOS 7006866 HAS SOPS 7006205 HAS SOUS 967571 HAS SOUPS 966943 WITH SCORE 973949.866
AT ITER 1802 NEW BEST:: SOT 12876796 SOS 7007576 HAS SOPS 7006915 HAS SOUS 961625 HAS SOUPS 960997 WITH SCORE 968004.576
AT ITER 1806 NEW BEST:: SOT 12882106 SOS 7013204 HAS SOPS 7012543 HAS SOUS 957839 HAS SOUPS 957211 WITH SCORE 964224.204
AT ITER 1811 NEW BEST:: SOT 12881301 SOS 7012399 HAS SOPS 7011738 HAS SOUS 956211 HAS SOUPS 955583 WITH SCORE 962595.399
AT ITER 1813 NEW BEST:: SOT 12884876 SOS 7015974 HAS SOPS 7015313 HAS SOUS 956074 HAS SOUPS 955446 WITH SCORE 962461.974
AT ITER 1820 NEW BEST:: SOT 12863322 SOS 6994994 HAS SOPS 6994242 HAS SOUS 953141 HAS SOUPS 952422 WITH SCORE 959416.994
AT ITER 1828 NEW BEST:: SOT 12862778 SOS 6994450 HAS SOPS 6993698 HAS SOUS 951996 HAS SOUPS 951277 WITH SCORE 958271.45
AT ITER 1830 NEW BEST:: SOT 12862735 SOS 6994407 HAS SOPS 6993655 HAS SOUS 951945 HAS SOUPS 951226 WITH SCORE 958220.407
AT ITER 1837 NEW BEST:: SOT 12861181 SOS 6993096 HAS SOPS 6992305 HAS SOUS 948951 HAS SOUPS 948193 WITH SCORE 955186.096
AT ITER 1844 NEW BEST:: SOT 12857249 SOS 6988813 HAS SOPS 6988073 HAS SOUS 940621 HAS SOUPS 939914 WITH SCORE 946902.813
AT ITER 1845 NEW BEST:: SOT 12858591 SOS 6992099 HAS SOPS 6991359 HAS SOUS 938473 HAS SOUPS 937766 WITH SCORE 944758.099
AT ITER 1870 NEW BEST:: SOT 12858591 SOS 6991811 HAS SOPS 6991071 HAS SOUS 938473 HAS SOUPS 937766 WITH SCORE 944757.811
AT ITER 1872 NEW BEST:: SOT 12858591 SOS 6991797 HAS SOPS 6991057 HAS SOUS 938459 HAS SOUPS 937752 WITH SCORE 944743.797
AT ITER 1877 NEW BEST:: SOT 12858591 SOS 6993939 HAS SOPS 6993199 HAS SOUS 937474 HAS SOUPS 936767 WITH SCORE 943760.939
AT ITER 1883 NEW BEST:: SOT 12856729 SOS 6992077 HAS SOPS 6991337 HAS SOUS 933851 HAS SOUPS 933144 WITH SCORE 940136.077
AT ITER 1909 NEW BEST:: SOT 12856729 SOS 7002831 HAS SOPS 7002091 HAS SOUS 932965 HAS SOUPS 932258 WITH SCORE 939260.831
AT ITER 1915 NEW BEST:: SOT 12861653 SOS 7007755 HAS SOPS 7007015 HAS SOUS 932494 HAS SOUPS 931787 WITH SCORE 938794.755
AT ITER 1916 NEW BEST:: SOT 12864448 SOS 7010610 HAS SOPS 7009870 HAS SOUS 931548 HAS SOUPS 930841 WITH SCORE 937851.61
AT ITER 1918 NEW BEST:: SOT 12864448 SOS 7010834 HAS SOPS 7010094 HAS SOUS 931484 HAS SOUPS 930777 WITH SCORE 937787.834
AT ITER 1928 NEW BEST:: SOT 12864052 SOS 7010438 HAS SOPS 7009698 HAS SOUS 931088 HAS SOUPS 930381 WITH SCORE 937391.438
AT ITER 1935 NEW BEST:: SOT 12863843 SOS 7010229 HAS SOPS 7009489 HAS SOUS 930666 HAS SOUPS 929959 WITH SCORE 936969.229
AT ITER 1942 NEW BEST:: SOT 12865460 SOS 7014924 HAS SOPS 7014184 HAS SOUS 928068 HAS SOUPS 927361 WITH SCORE 934375.924
AT ITER 1951 NEW BEST:: SOT 12865614 SOS 7015078 HAS SOPS 7014338 HAS SOUS 927705 HAS SOUPS 926998 WITH SCORE 934013.078
AT ITER 1952 NEW BEST:: SOT 12867026 SOS 7016490 HAS SOPS 7015750 HAS SOUS 926582 HAS SOUPS 925875 WITH SCORE 932891.49
AT ITER 1962 NEW BEST:: SOT 12867026 SOS 7016490 HAS SOPS 7015750 HAS SOUS 926504 HAS SOUPS 925797 WITH SCORE 932813.49
AT ITER 1964 NEW BEST:: SOT 12869546 SOS 7026050 HAS SOPS 7025310 HAS SOUS 923565 HAS SOUPS 922858 WITH SCORE 929884.05
AT ITER 1979 NEW BEST:: SOT 12867473 SOS 7023977 HAS SOPS 7023237 HAS SOUS 921536 HAS SOUPS 920829 WITH SCORE 927852.977
AT ITER 1986 NEW BEST:: SOT 12867473 SOS 7023968 HAS SOPS 7023228 HAS SOUS 921527 HAS SOUPS 920820 WITH SCORE 927843.968
AT ITER 1991 NEW BEST:: SOT 12865282 SOS 7021777 HAS SOPS 7021037 HAS SOUS 916380 HAS SOUPS 915673 WITH SCORE 922694.777
AT ITER 1993 NEW BEST:: SOT 12865135 SOS 7021630 HAS SOPS 7020890 HAS SOUS 916233 HAS SOUPS 915526 WITH SCORE 922547.63
AT ITER 2020 NEW BEST:: SOT 12870985 SOS 7028740 HAS SOPS 7028000 HAS SOUS 915189 HAS SOUPS 914482 WITH SCORE 921510.74
AT ITER 2025 NEW BEST:: SOT 12870829 SOS 7028584 HAS SOPS 7027844 HAS SOUS 915075 HAS SOUPS 914368 WITH SCORE 921396.584
AT ITER 2027 NEW BEST:: SOT 12870782 SOS 7028537 HAS SOPS 7027797 HAS SOUS 915028 HAS SOUPS 914321 WITH SCORE 921349.537
AT ITER 2048 NEW BEST:: SOT 12882229 SOS 7040317 HAS SOPS 7039577 HAS SOUS 905633 HAS SOUPS 904926 WITH SCORE 911966.317
AT ITER 2058 NEW BEST:: SOT 12881398 SOS 7039512 HAS SOPS 7038772 HAS SOUS 904978 HAS SOUPS 904271 WITH SCORE 911310.512
AT ITER 2069 NEW BEST:: SOT 12881396 SOS 7039510 HAS SOPS 7038770 HAS SOUS 904976 HAS SOUPS 904269 WITH SCORE 911308.51
AT ITER 2096 NEW BEST:: SOT 12881396 SOS 7037422 HAS SOPS 7036682 HAS SOUS 904976 HAS SOUPS 904269 WITH SCORE 911306.422
AT ITER 2098 NEW BEST:: SOT 12880369 SOS 7036393 HAS SOPS 7035653 HAS SOUS 902022 HAS SOUPS 901315 WITH SCORE 908351.393
AT ITER 2129 NEW BEST:: SOT 12880369 SOS 7033081 HAS SOPS 7032341 HAS SOUS 901359 HAS SOUPS 900652 WITH SCORE 907685.081
AT ITER 2134 NEW BEST:: SOT 12880275 SOS 7033221 HAS SOPS 7032481 HAS SOUS 901277 HAS SOUPS 900570 WITH SCORE 907603.221
AT ITER 2147 NEW BEST:: SOT 12880269 SOS 7033215 HAS SOPS 7032475 HAS SOUS 901265 HAS SOUPS 900558 WITH SCORE 907591.215
AT ITER 2161 NEW BEST:: SOT 12890101 SOS 7053559 HAS SOPS 7052819 HAS SOUS 897339 HAS SOUPS 896632 WITH SCORE 903685.559
AT ITER 2167 NEW BEST:: SOT 12884198 SOS 7047510 HAS SOPS 7046770 HAS SOUS 895059 HAS SOUPS 894352 WITH SCORE 901399.51
AT ITER 2191 NEW BEST:: SOT 12884198 SOS 7047006 HAS SOPS 7046266 HAS SOUS 895059 HAS SOUPS 894352 WITH SCORE 901399.006
AT ITER 2231 NEW BEST:: SOT 12882116 SOS 7041670 HAS SOPS 7040930 HAS SOUS 893396 HAS SOUPS 892689 WITH SCORE 899730.67
AT ITER 2234 NEW BEST:: SOT 12882116 SOS 6820693 HAS SOPS 6819953 HAS SOUS 893353 HAS SOUPS 892646 WITH SCORE 899466.693
AT ITER 2246 NEW BEST:: SOT 12882096 SOS 6820673 HAS SOPS 6819933 HAS SOUS 888977 HAS SOUPS 888270 WITH SCORE 895090.673
AT ITER 2247 NEW BEST:: SOT 12879916 SOS 6818493 HAS SOPS 6817753 HAS SOUS 887595 HAS SOUPS 886888 WITH SCORE 893706.493
AT ITER 2251 NEW BEST:: SOT 12879941 SOS 6818518 HAS SOPS 6817778 HAS SOUS 886852 HAS SOUPS 886145 WITH SCORE 892963.518
AT ITER 2263 NEW BEST:: SOT 12879937 SOS 6818863 HAS SOPS 6818146 HAS SOUS 886825 HAS SOUPS 886141 WITH SCORE 892959.863
AT ITER 2284 NEW BEST:: SOT 12879937 SOS 6816343 HAS SOPS 6815626 HAS SOUS 886825 HAS SOUPS 886141 WITH SCORE 892957.343
AT ITER 2285 NEW BEST:: SOT 12872877 SOS 6809283 HAS SOPS 6808566 HAS SOUS 883598 HAS SOUPS 882914 WITH SCORE 889723.283
AT ITER 2296 NEW BEST:: SOT 12872877 SOS 6809254 HAS SOPS 6808537 HAS SOUS 883598 HAS SOUPS 882914 WITH SCORE 889723.254
AT ITER 2300 NEW BEST:: SOT 12872058 SOS 6808294 HAS SOPS 6807606 HAS SOUS 881375 HAS SOUPS 880720 WITH SCORE 887528.294
AT ITER 2303 NEW BEST:: SOT 12875270 SOS 6815466 HAS SOPS 6814778 HAS SOUS 878089 HAS SOUPS 877434 WITH SCORE 884249.466
AT ITER 2347 NEW BEST:: SOT 12876285 SOS 6817165 HAS SOPS 6816477 HAS SOUS 875215 HAS SOUPS 874560 WITH SCORE 881377.165
AT ITER 2351 NEW BEST:: SOT 12875757 SOS 6816637 HAS SOPS 6815949 HAS SOUS 874172 HAS SOUPS 873517 WITH SCORE 880333.637
AT ITER 2360 NEW BEST:: SOT 12877779 SOS 6818632 HAS SOPS 6817944 HAS SOUS 871048 HAS SOUPS 870393 WITH SCORE 877211.632
AT ITER 2367 NEW BEST:: SOT 12884718 SOS 6826806 HAS SOPS 6826432 HAS SOUS 870283 HAS SOUPS 869942 WITH SCORE 876768.806
AT ITER 2378 NEW BEST:: SOT 12888437 SOS 6836213 HAS SOPS 6835839 HAS SOUS 864919 HAS SOUPS 864578 WITH SCORE 871414.213
AT ITER 2387 NEW BEST:: SOT 12890533 SOS 6839324 HAS SOPS 6838950 HAS SOUS 860792 HAS SOUPS 860451 WITH SCORE 867290.324
AT ITER 2398 NEW BEST:: SOT 12890382 SOS 6838963 HAS SOPS 6838621 HAS SOUS 848778 HAS SOUPS 848469 WITH SCORE 855307.963
AT ITER 2401 NEW BEST:: SOT 12885771 SOS 6834389 HAS SOPS 6834047 HAS SOUS 846967 HAS SOUPS 846658 WITH SCORE 853492.389
AT ITER 2426 NEW BEST:: SOT 12885622 SOS 6834240 HAS SOPS 6833898 HAS SOUS 845906 HAS SOUPS 845597 WITH SCORE 852431.24
AT ITER 2430 NEW BEST:: SOT 12885492 SOS 6834068 HAS SOPS 6833726 HAS SOUS 842038 HAS SOUPS 841729 WITH SCORE 848563.068
AT ITER 2432 NEW BEST:: SOT 12882960 SOS 6831536 HAS SOPS 6831194 HAS SOUS 842016 HAS SOUPS 841707 WITH SCORE 848538.536
AT ITER 2436 NEW BEST:: SOT 12882960 SOS 6831284 HAS SOPS 6830942 HAS SOUS 841995 HAS SOUPS 841686 WITH SCORE 848517.284
AT ITER 2438 NEW BEST:: SOT 12882960 SOS 6831782 HAS SOPS 6831440 HAS SOUS 841645 HAS SOUPS 841336 WITH SCORE 848167.782
AT ITER 2443 NEW BEST:: SOT 12893313 SOS 6842859 HAS SOPS 6842517 HAS SOUS 840506 HAS SOUPS 840197 WITH SCORE 847039.859
AT ITER 2447 NEW BEST:: SOT 12893219 SOS 6842765 HAS SOPS 6842423 HAS SOUS 840394 HAS SOUPS 840085 WITH SCORE 846927.765
AT ITER 2464 NEW BEST:: SOT 12898054 SOS 6848419 HAS SOPS 6847986 HAS SOUS 837432 HAS SOUPS 837032 WITH SCORE 843880.419
AT ITER 2469 NEW BEST:: SOT 12896111 SOS 6846443 HAS SOPS 6846010 HAS SOUS 836168 HAS SOUPS 835768 WITH SCORE 842614.443
AT ITER 2491 NEW BEST:: SOT 12895973 SOS 6846305 HAS SOPS 6845872 HAS SOUS 836030 HAS SOUPS 835630 WITH SCORE 842476.305
AT ITER 2500 NEW BEST:: SOT 12895973 SOS 6846306 HAS SOPS 6845873 HAS SOUS 836029 HAS SOUPS 835629 WITH SCORE 842475.306
AT ITER 2508 NEW BEST:: SOT 12895973 SOS 6846306 HAS SOPS 6845873 HAS SOUS 835997 HAS SOUPS 835597 WITH SCORE 842443.306
AT ITER 2537 NEW BEST:: SOT 12895824 SOS 6846157 HAS SOPS 6845724 HAS SOUS 835707 HAS SOUPS 835307 WITH SCORE 842153.157
AT ITER 2556 NEW BEST:: SOT 12895757 SOS 6846090 HAS SOPS 6845657 HAS SOUS 835640 HAS SOUPS 835240 WITH SCORE 842086.09
AT ITER 2571 NEW BEST:: SOT 12897040 SOS 6848741 HAS SOPS 6848308 HAS SOUS 835330 HAS SOUPS 834930 WITH SCORE 841778.741
AT ITER 2574 NEW BEST:: SOT 12904273 SOS 6855974 HAS SOPS 6855541 HAS SOUS 829103 HAS SOUPS 828703 WITH SCORE 835558.974
AT ITER 2576 NEW BEST:: SOT 12901650 SOS 6851551 HAS SOPS 6851118 HAS SOUS 828581 HAS SOUPS 828181 WITH SCORE 835032.551
AT ITER 2591 NEW BEST:: SOT 12904517 SOS 6854418 HAS SOPS 6853985 HAS SOUS 826689 HAS SOUPS 826289 WITH SCORE 833143.418
AT ITER 2592 NEW BEST:: SOT 12904490 SOS 6854391 HAS SOPS 6853958 HAS SOUS 826689 HAS SOUPS 826289 WITH SCORE 833143.391
AT ITER 2607 NEW BEST:: SOT 12903706 SOS 6853607 HAS SOPS 6853174 HAS SOUS 826101 HAS SOUPS 825701 WITH SCORE 832554.607
AT ITER 2634 NEW BEST:: SOT 12903706 SOS 6853610 HAS SOPS 6853177 HAS SOUS 826098 HAS SOUPS 825698 WITH SCORE 832551.61
AT ITER 2641 NEW BEST:: SOT 12903706 SOS 6853492 HAS SOPS 6853059 HAS SOUS 825916 HAS SOUPS 825516 WITH SCORE 832369.492
AT ITER 2644 NEW BEST:: SOT 12903706 SOS 6853177 HAS SOPS 6852744 HAS SOUS 825793 HAS SOUPS 825393 WITH SCORE 832246.177
AT ITER 2647 NEW BEST:: SOT 12903307 SOS 6852715 HAS SOPS 6852289 HAS SOUS 825758 HAS SOUPS 825365 WITH SCORE 832217.715
AT ITER 2652 NEW BEST:: SOT 12903248 SOS 6852656 HAS SOPS 6852230 HAS SOUS 825711 HAS SOUPS 825318 WITH SCORE 832170.656
AT ITER 2655 NEW BEST:: SOT 12903248 SOS 6852709 HAS SOPS 6852283 HAS SOUS 825658 HAS SOUPS 825265 WITH SCORE 832117.709
AT ITER 2664 NEW BEST:: SOT 12903248 SOS 6852745 HAS SOPS 6852319 HAS SOUS 825475 HAS SOUPS 825082 WITH SCORE 831934.745
AT ITER 2679 NEW BEST:: SOT 12903321 SOS 6852818 HAS SOPS 6852392 HAS SOUS 825469 HAS SOUPS 825076 WITH SCORE 831928.818
AT ITER 2682 NEW BEST:: SOT 12903604 SOS 6853101 HAS SOPS 6852675 HAS SOUS 824582 HAS SOUPS 824189 WITH SCORE 831042.101
AT ITER 2687 NEW BEST:: SOT 12903604 SOS 6853128 HAS SOPS 6852702 HAS SOUS 824555 HAS SOUPS 824162 WITH SCORE 831015.128
AT ITER 2691 NEW BEST:: SOT 12902356 SOS 6851812 HAS SOPS 6851386 HAS SOUS 824167 HAS SOUPS 823774 WITH SCORE 830625.812
AT ITER 2713 NEW BEST:: SOT 12904375 SOS 6853831 HAS SOPS 6853405 HAS SOUS 821317 HAS SOUPS 820924 WITH SCORE 827777.831
AT ITER 2739 NEW BEST:: SOT 12903366 SOS 6852822 HAS SOPS 6852396 HAS SOUS 819269 HAS SOUPS 818876 WITH SCORE 825728.822
AT ITER 2743 NEW BEST:: SOT 12903366 SOS 6851598 HAS SOPS 6851172 HAS SOUS 819269 HAS SOUPS 818876 WITH SCORE 825727.598
AT ITER 2750 NEW BEST:: SOT 12903366 SOS 6848358 HAS SOPS 6847932 HAS SOUS 819269 HAS SOUPS 818876 WITH SCORE 825724.358
AT ITER 2753 NEW BEST:: SOT 12903365 SOS 6848357 HAS SOPS 6847931 HAS SOUS 819268 HAS SOUPS 818875 WITH SCORE 825723.357
AT ITER 2769 NEW BEST:: SOT 12914173 SOS 6859165 HAS SOPS 6858739 HAS SOUS 816623 HAS SOUPS 816230 WITH SCORE 823089.165
AT ITER 2783 NEW BEST:: SOT 12914182 SOS 6859174 HAS SOPS 6858748 HAS SOUS 816606 HAS SOUPS 816213 WITH SCORE 823072.174
AT ITER 2790 NEW BEST:: SOT 12914172 SOS 6859164 HAS SOPS 6858738 HAS SOUS 816596 HAS SOUPS 816203 WITH SCORE 823062.164
AT ITER 2814 NEW BEST:: SOT 12916077 SOS 6861155 HAS SOPS 6860729 HAS SOUS 815577 HAS SOUPS 815184 WITH SCORE 822045.155
AT ITER 2823 NEW BEST:: SOT 12916995 SOS 6862135 HAS SOPS 6861709 HAS SOUS 815190 HAS SOUPS 814797 WITH SCORE 821659.135
AT ITER 2825 NEW BEST:: SOT 12917381 SOS 6862521 HAS SOPS 6862095 HAS SOUS 814084 HAS SOUPS 813691 WITH SCORE 820553.521
AT ITER 2839 NEW BEST:: SOT 12917381 SOS 6862589 HAS SOPS 6862163 HAS SOUS 814016 HAS SOUPS 813623 WITH SCORE 820485.589
AT ITER 2840 NEW BEST:: SOT 12917418 SOS 6862656 HAS SOPS 6862230 HAS SOUS 813369 HAS SOUPS 812976 WITH SCORE 819838.656
AT ITER 2852 NEW BEST:: SOT 12932664 SOS 6877902 HAS SOPS 6877476 HAS SOUS 811145 HAS SOUPS 810752 WITH SCORE 817629.902
AT ITER 2853 NEW BEST:: SOT 12930121 SOS 6875359 HAS SOPS 6874933 HAS SOUS 808499 HAS SOUPS 808106 WITH SCORE 814981.359
AT ITER 2855 NEW BEST:: SOT 12930121 SOS 6875469 HAS SOPS 6875043 HAS SOUS 808469 HAS SOUPS 808076 WITH SCORE 814951.469
AT ITER 2856 NEW BEST:: SOT 12930121 SOS 6875533 HAS SOPS 6875107 HAS SOUS 808449 HAS SOUPS 808056 WITH SCORE 814931.533
AT ITER 2857 NEW BEST:: SOT 12938636 SOS 6891392 HAS SOPS 6890966 HAS SOUS 807305 HAS SOUPS 806912 WITH SCORE 813803.392
AT ITER 2867 NEW BEST:: SOT 12938636 SOS 6889592 HAS SOPS 6889166 HAS SOUS 807305 HAS SOUPS 806912 WITH SCORE 813801.592
AT ITER 2892 NEW BEST:: SOT 12939403 SOS 6890331 HAS SOPS 6889905 HAS SOUS 804104 HAS SOUPS 803711 WITH SCORE 810601.331
AT ITER 2912 NEW BEST:: SOT 12939251 SOS 6890179 HAS SOPS 6889753 HAS SOUS 803952 HAS SOUPS 803559 WITH SCORE 810449.179
AT ITER 2924 NEW BEST:: SOT 12939233 SOS 6890161 HAS SOPS 6889735 HAS SOUS 803916 HAS SOUPS 803523 WITH SCORE 810413.161
AT ITER 2947 NEW BEST:: SOT 12938900 SOS 6889814 HAS SOPS 6889388 HAS SOUS 803910 HAS SOUPS 803517 WITH SCORE 810406.814
AT ITER 2958 NEW BEST:: SOT 12936369 SOS 6887283 HAS SOPS 6886857 HAS SOUS 803004 HAS SOUPS 802611 WITH SCORE 809498.283
AT ITER 2959 NEW BEST:: SOT 12935833 SOS 6886747 HAS SOPS 6886321 HAS SOUS 802586 HAS SOUPS 802193 WITH SCORE 809079.747
AT ITER 2962 NEW BEST:: SOT 12935079 SOS 6885977 HAS SOPS 6885551 HAS SOUS 802288 HAS SOUPS 801895 WITH SCORE 808780.977
AT ITER 2968 NEW BEST:: SOT 12935079 SOS 6886000 HAS SOPS 6885574 HAS SOUS 802265 HAS SOUPS 801872 WITH SCORE 808758.0
AT ITER 2972 NEW BEST:: SOT 12935079 SOS 6886018 HAS SOPS 6885592 HAS SOUS 802247 HAS SOUPS 801854 WITH SCORE 808740.018
AT ITER 2982 NEW BEST:: SOT 12938641 SOS 6889477 HAS SOPS 6889058 HAS SOUS 799923 HAS SOUPS 799537 WITH SCORE 806426.477
AT ITER 2983 NEW BEST:: SOT 12938110 SOS 6888946 HAS SOPS 6888527 HAS SOUS 797047 HAS SOUPS 796661 WITH SCORE 803549.946
AT ITER 2987 NEW BEST:: SOT 12936466 SOS 6887302 HAS SOPS 6886883 HAS SOUS 793805 HAS SOUPS 793419 WITH SCORE 800306.302
AT ITER 3028 NEW BEST:: SOT 12937715 SOS 6892583 HAS SOPS 6892164 HAS SOUS 791565 HAS SOUPS 791179 WITH SCORE 798071.583
AT ITER 3031 NEW BEST:: SOT 12939665 SOS 6894533 HAS SOPS 6894114 HAS SOUS 789726 HAS SOUPS 789340 WITH SCORE 796234.533
AT ITER 3063 NEW BEST:: SOT 12938657 SOS 6893527 HAS SOPS 6893108 HAS SOUS 787531 HAS SOUPS 787145 WITH SCORE 794038.527
AT ITER 3073 NEW BEST:: SOT 12935431 SOS 6890301 HAS SOPS 6889882 HAS SOUS 784385 HAS SOUPS 783999 WITH SCORE 790889.301
AT ITER 3109 NEW BEST:: SOT 12933185 SOS 6885391 HAS SOPS 6884972 HAS SOUS 783920 HAS SOUPS 783534 WITH SCORE 790419.391
AT ITER 3113 NEW BEST:: SOT 12933185 SOS 6884097 HAS SOPS 6883678 HAS SOUS 783846 HAS SOUPS 783460 WITH SCORE 790344.097
AT ITER 3134 NEW BEST:: SOT 12933165 SOS 6884077 HAS SOPS 6883658 HAS SOUS 783826 HAS SOUPS 783440 WITH SCORE 790324.077
AT ITER 3156 NEW BEST:: SOT 12937542 SOS 6888682 HAS SOPS 6888263 HAS SOUS 782036 HAS SOUPS 781650 WITH SCORE 788538.682
AT ITER 3160 NEW BEST:: SOT 12936938 SOS 6888294 HAS SOPS 6887839 HAS SOUS 780852 HAS SOUPS 780430 WITH SCORE 787318.294
AT ITER 3164 NEW BEST:: SOT 12936462 SOS 6887818 HAS SOPS 6887363 HAS SOUS 780609 HAS SOUPS 780187 WITH SCORE 787074.818
AT ITER 3178 NEW BEST:: SOT 12938251 SOS 6885359 HAS SOPS 6884904 HAS SOUS 780465 HAS SOUPS 780043 WITH SCORE 786928.359
AT ITER 3180 NEW BEST:: SOT 12938251 SOS 6886229 HAS SOPS 6885774 HAS SOUS 780412 HAS SOUPS 779990 WITH SCORE 786876.229
AT ITER 3190 NEW BEST:: SOT 12937995 SOS 6885925 HAS SOPS 6885470 HAS SOUS 779823 HAS SOUPS 779401 WITH SCORE 786286.925
AT ITER 3191 NEW BEST:: SOT 12943465 SOS 6891395 HAS SOPS 6890940 HAS SOUS 775844 HAS SOUPS 775422 WITH SCORE 782313.395
AT ITER 3212 NEW BEST:: SOT 12944693 SOS 6892623 HAS SOPS 6892168 HAS SOUS 775253 HAS SOUPS 774831 WITH SCORE 781723.623
AT ITER 3217 NEW BEST:: SOT 12945325 SOS 6893255 HAS SOPS 6892800 HAS SOUS 774084 HAS SOUPS 773662 WITH SCORE 780555.255
AT ITER 3233 NEW BEST:: SOT 12944505 SOS 6892267 HAS SOPS 6891812 HAS SOUS 772555 HAS SOUPS 772133 WITH SCORE 779025.267
AT ITER 3242 NEW BEST:: SOT 12944175 SOS 6891817 HAS SOPS 6891362 HAS SOUS 771853 HAS SOUPS 771431 WITH SCORE 778322.817
AT ITER 3243 NEW BEST:: SOT 12942474 SOS 6890116 HAS SOPS 6889661 HAS SOUS 770116 HAS SOUPS 769694 WITH SCORE 776584.116
AT ITER 3250 NEW BEST:: SOT 12941430 SOS 6889072 HAS SOPS 6888617 HAS SOUS 769118 HAS SOUPS 768696 WITH SCORE 775585.072
AT ITER 3254 NEW BEST:: SOT 12941263 SOS 6888905 HAS SOPS 6888450 HAS SOUS 768775 HAS SOUPS 768353 WITH SCORE 775241.905
AT ITER 3300 NEW BEST:: SOT 12941263 SOS 6888545 HAS SOPS 6888090 HAS SOUS 768775 HAS SOUPS 768353 WITH SCORE 775241.545
AT ITER 3310 NEW BEST:: SOT 12939226 SOS 6886508 HAS SOPS 6886053 HAS SOUS 764899 HAS SOUPS 764477 WITH SCORE 771363.508
AT ITER 3319 NEW BEST:: SOT 12941769 SOS 6889051 HAS SOPS 6888596 HAS SOUS 764010 HAS SOUPS 763588 WITH SCORE 770477.051
AT ITER 3342 NEW BEST:: SOT 12941769 SOS 6888475 HAS SOPS 6888020 HAS SOUS 764010 HAS SOUPS 763588 WITH SCORE 770476.475
AT ITER 3345 NEW BEST:: SOT 12941017 SOS 6887723 HAS SOPS 6887268 HAS SOUS 763278 HAS SOUPS 762856 WITH SCORE 769743.723
AT ITER 3353 NEW BEST:: SOT 12939701 SOS 6885183 HAS SOPS 6884728 HAS SOUS 756628 HAS SOUPS 756206 WITH SCORE 763091.183
AT ITER 3359 NEW BEST:: SOT 12937645 SOS 6883127 HAS SOPS 6882672 HAS SOUS 754640 HAS SOUPS 754218 WITH SCORE 761101.127
AT ITER 3368 NEW BEST:: SOT 12937651 SOS 6870023 HAS SOPS 6869568 HAS SOUS 754640 HAS SOUPS 754218 WITH SCORE 761088.023
AT ITER 3376 NEW BEST:: SOT 12926589 SOS 6858961 HAS SOPS 6858506 HAS SOUS 753853 HAS SOUPS 753431 WITH SCORE 760289.961
AT ITER 3391 NEW BEST:: SOT 12926589 SOS 6858961 HAS SOPS 6858506 HAS SOUS 753758 HAS SOUPS 753336 WITH SCORE 760194.961
AT ITER 3407 NEW BEST:: SOT 12924486 SOS 6856642 HAS SOPS 6856187 HAS SOUS 753093 HAS SOUPS 752671 WITH SCORE 759527.642
AT ITER 3429 NEW BEST:: SOT 12924486 SOS 6856670 HAS SOPS 6856215 HAS SOUS 753063 HAS SOUPS 752641 WITH SCORE 759497.67
AT ITER 3430 NEW BEST:: SOT 12922041 SOS 6854225 HAS SOPS 6853770 HAS SOUS 750444 HAS SOUPS 750022 WITH SCORE 756876.225
AT ITER 3457 NEW BEST:: SOT 12915597 SOS 6843173 HAS SOPS 6842718 HAS SOUS 749611 HAS SOUPS 749189 WITH SCORE 756032.173
AT ITER 3466 NEW BEST:: SOT 12913844 SOS 6841420 HAS SOPS 6840965 HAS SOUS 745723 HAS SOUPS 745301 WITH SCORE 752142.42
AT ITER 3483 NEW BEST:: SOT 12912792 SOS 6840320 HAS SOPS 6839865 HAS SOUS 744722 HAS SOUPS 744300 WITH SCORE 751140.32
AT ITER 3485 NEW BEST:: SOT 12912578 SOS 6847989 HAS SOPS 6847534 HAS SOUS 744545 HAS SOUPS 744123 WITH SCORE 750970.989
AT ITER 3493 NEW BEST:: SOT 12914644 SOS 6850036 HAS SOPS 6849581 HAS SOUS 743642 HAS SOUPS 743220 WITH SCORE 750070.036
AT ITER 3564 NEW BEST:: SOT 12914871 SOS 6850263 HAS SOPS 6849808 HAS SOUS 743393 HAS SOUPS 742971 WITH SCORE 749821.263
AT ITER 3568 NEW BEST:: SOT 12914899 SOS 6850291 HAS SOPS 6849836 HAS SOUS 742747 HAS SOUPS 742325 WITH SCORE 749175.291
AT ITER 3572 NEW BEST:: SOT 12914899 SOS 6846835 HAS SOPS 6846380 HAS SOUS 742699 HAS SOUPS 742277 WITH SCORE 749123.835
AT ITER 3587 NEW BEST:: SOT 12914445 SOS 6846382 HAS SOPS 6845927 HAS SOUS 741681 HAS SOUPS 741259 WITH SCORE 748105.382
AT ITER 3598 NEW BEST:: SOT 12914243 SOS 6846180 HAS SOPS 6845725 HAS SOUS 741486 HAS SOUPS 741064 WITH SCORE 747910.18
AT ITER 3647 NEW BEST:: SOT 12914113 SOS 6846050 HAS SOPS 6845595 HAS SOUS 741359 HAS SOUPS 740937 WITH SCORE 747783.05
AT ITER 3666 NEW BEST:: SOT 12910710 SOS 6842647 HAS SOPS 6842192 HAS SOUS 739036 HAS SOUPS 738614 WITH SCORE 745456.647
AT ITER 3668 NEW BEST:: SOT 12910710 SOS 6842603 HAS SOPS 6842148 HAS SOUS 738992 HAS SOUPS 738570 WITH SCORE 745412.603
AT ITER 3688 NEW BEST:: SOT 12907266 SOS 6839159 HAS SOPS 6838704 HAS SOUS 735422 HAS SOUPS 735000 WITH SCORE 741839.159
AT ITER 3713 NEW BEST:: SOT 12906518 SOS 6838411 HAS SOPS 6837956 HAS SOUS 734704 HAS SOUPS 734282 WITH SCORE 741120.411
AT ITER 3716 NEW BEST:: SOT 12906518 SOS 6838411 HAS SOPS 6837956 HAS SOUS 734694 HAS SOUPS 734272 WITH SCORE 741110.411
AT ITER 3718 NEW BEST:: SOT 12906518 SOS 6838468 HAS SOPS 6838013 HAS SOUS 734559 HAS SOUPS 734137 WITH SCORE 740975.468
AT ITER 3724 NEW BEST:: SOT 12906702 SOS 6838484 HAS SOPS 6838029 HAS SOUS 732950 HAS SOUPS 732528 WITH SCORE 739366.484
AT ITER 3725 NEW BEST:: SOT 12906702 SOS 6842156 HAS SOPS 6841701 HAS SOUS 731823 HAS SOUPS 731401 WITH SCORE 738243.156
AT ITER 3732 NEW BEST:: SOT 12906702 SOS 6842180 HAS SOPS 6841725 HAS SOUS 731799 HAS SOUPS 731377 WITH SCORE 738219.18
AT ITER 3742 NEW BEST:: SOT 12906702 SOS 6846170 HAS SOPS 6845715 HAS SOUS 730410 HAS SOUPS 729988 WITH SCORE 736834.17
AT ITER 3767 NEW BEST:: SOT 12906702 SOS 6846021 HAS SOPS 6845566 HAS SOUS 730398 HAS SOUPS 729976 WITH SCORE 736822.021
AT ITER 3785 NEW BEST:: SOT 12906702 SOS 6846049 HAS SOPS 6845594 HAS SOUS 730370 HAS SOUPS 729948 WITH SCORE 736794.049
AT ITER 3810 NEW BEST:: SOT 12906954 SOS 6846301 HAS SOPS 6845846 HAS SOUS 727489 HAS SOUPS 727067 WITH SCORE 733913.301
AT ITER 3834 NEW BEST:: SOT 12906900 SOS 6846247 HAS SOPS 6845792 HAS SOUS 727435 HAS SOUPS 727013 WITH SCORE 733859.247
AT ITER 3843 NEW BEST:: SOT 12909337 SOS 6848684 HAS SOPS 6848229 HAS SOUS 727042 HAS SOUPS 726620 WITH SCORE 733468.684
AT ITER 3849 NEW BEST:: SOT 12910849 SOS 6850196 HAS SOPS 6849741 HAS SOUS 725464 HAS SOUPS 725042 WITH SCORE 731892.196
AT ITER 3868 NEW BEST:: SOT 12912139 SOS 6851486 HAS SOPS 6851031 HAS SOUS 722425 HAS SOUPS 722003 WITH SCORE 728854.486
AT ITER 3869 NEW BEST:: SOT 12911985 SOS 6848740 HAS SOPS 6848285 HAS SOUS 722271 HAS SOUPS 721849 WITH SCORE 728697.74
AT ITER 3879 NEW BEST:: SOT 12912383 SOS 6849138 HAS SOPS 6848683 HAS SOUS 719300 HAS SOUPS 718878 WITH SCORE 725727.138
AT ITER 3886 NEW BEST:: SOT 12912355 SOS 6849110 HAS SOPS 6848655 HAS SOUS 719258 HAS SOUPS 718836 WITH SCORE 725685.11
AT ITER 3889 NEW BEST:: SOT 12912355 SOS 6849209 HAS SOPS 6848754 HAS SOUS 719159 HAS SOUPS 718737 WITH SCORE 725586.209
AT ITER 3890 NEW BEST:: SOT 12912337 SOS 6849191 HAS SOPS 6848736 HAS SOUS 719141 HAS SOUPS 718719 WITH SCORE 725568.191
AT ITER 3908 NEW BEST:: SOT 12912265 SOS 6849119 HAS SOPS 6848664 HAS SOUS 719069 HAS SOUPS 718647 WITH SCORE 725496.119
AT ITER 3933 NEW BEST:: SOT 12907968 SOS 6844822 HAS SOPS 6844367 HAS SOUS 718132 HAS SOUPS 717710 WITH SCORE 724554.822
AT ITER 3941 NEW BEST:: SOT 12907916 SOS 6844770 HAS SOPS 6844315 HAS SOUS 718026 HAS SOUPS 717604 WITH SCORE 724448.77
AT ITER 3964 NEW BEST:: SOT 12907859 SOS 6844713 HAS SOPS 6844258 HAS SOUS 717969 HAS SOUPS 717547 WITH SCORE 724391.713
AT ITER 3972 NEW BEST:: SOT 12907581 SOS 6844435 HAS SOPS 6843980 HAS SOUS 717413 HAS SOUPS 716991 WITH SCORE 723835.435
AT ITER 3976 NEW BEST:: SOT 12907145 SOS 6843999 HAS SOPS 6843544 HAS SOUS 717027 HAS SOUPS 716605 WITH SCORE 723448.999
AT ITER 3986 NEW BEST:: SOT 12907145 SOS 6843914 HAS SOPS 6843459 HAS SOUS 717025 HAS SOUPS 716603 WITH SCORE 723446.914
AT ITER 4010 NEW BEST:: SOT 12907145 SOS 6843721 HAS SOPS 6843276 HAS SOUS 716838 HAS SOUPS 716421 WITH SCORE 723264.721
AT ITER 4019 NEW BEST:: SOT 12907131 SOS 6843706 HAS SOPS 6843261 HAS SOUS 716746 HAS SOUPS 716329 WITH SCORE 723172.706
AT ITER 4053 NEW BEST:: SOT 12902434 SOS 6838181 HAS SOPS 6837736 HAS SOUS 715042 HAS SOUPS 714625 WITH SCORE 721463.181
AT ITER 4084 NEW BEST:: SOT 12902434 SOS 6837677 HAS SOPS 6837232 HAS SOUS 715042 HAS SOUPS 714625 WITH SCORE 721462.677
AT ITER 4091 NEW BEST:: SOT 12900332 SOS 6835575 HAS SOPS 6835130 HAS SOUS 714094 HAS SOUPS 713677 WITH SCORE 720512.575
AT ITER 4100 NEW BEST:: SOT 12900980 SOS 6841706 HAS SOPS 6841261 HAS SOUS 713626 HAS SOUPS 713209 WITH SCORE 720050.706
AT ITER 4113 NEW BEST:: SOT 12900629 SOS 6841355 HAS SOPS 6840910 HAS SOUS 712748 HAS SOUPS 712331 WITH SCORE 719172.355
AT ITER 4151 NEW BEST:: SOT 12899676 SOS 6840402 HAS SOPS 6839957 HAS SOUS 710825 HAS SOUPS 710408 WITH SCORE 717248.402
AT ITER 4177 NEW BEST:: SOT 12899043 SOS 6839769 HAS SOPS 6839324 HAS SOUS 709980 HAS SOUPS 709563 WITH SCORE 716402.769
AT ITER 4179 NEW BEST:: SOT 12899424 SOS 6840150 HAS SOPS 6839705 HAS SOUS 707663 HAS SOUPS 707246 WITH SCORE 714086.15
AT ITER 4196 NEW BEST:: SOT 12899431 SOS 6840251 HAS SOPS 6839793 HAS SOUS 707538 HAS SOUPS 707108 WITH SCORE 713948.251
AT ITER 4240 NEW BEST:: SOT 12899431 SOS 6840243 HAS SOPS 6839785 HAS SOUS 707538 HAS SOUPS 707108 WITH SCORE 713948.243
AT ITER 4244 NEW BEST:: SOT 12898044 SOS 6838856 HAS SOPS 6838398 HAS SOUS 706223 HAS SOUPS 705793 WITH SCORE 712631.856
AT ITER 4249 NEW BEST:: SOT 12896002 SOS 6836814 HAS SOPS 6836356 HAS SOUS 704261 HAS SOUPS 703831 WITH SCORE 710667.814
AT ITER 4269 NEW BEST:: SOT 12894285 SOS 6835097 HAS SOPS 6834639 HAS SOUS 702724 HAS SOUPS 702294 WITH SCORE 709129.097
AT ITER 4324 NEW BEST:: SOT 12892038 SOS 6832850 HAS SOPS 6832392 HAS SOUS 700518 HAS SOUPS 700088 WITH SCORE 706920.85
AT ITER 4326 NEW BEST:: SOT 12892038 SOS 6832999 HAS SOPS 6832541 HAS SOUS 700509 HAS SOUPS 700079 WITH SCORE 706911.999
AT ITER 4328 NEW BEST:: SOT 12892038 SOS 6836194 HAS SOPS 6835736 HAS SOUS 698322 HAS SOUPS 697892 WITH SCORE 704728.194
AT ITER 4330 NEW BEST:: SOT 12892458 SOS 6836614 HAS SOPS 6836156 HAS SOUS 697949 HAS SOUPS 697519 WITH SCORE 704355.614
AT ITER 4362 NEW BEST:: SOT 12891842 SOS 6835998 HAS SOPS 6835540 HAS SOUS 697410 HAS SOUPS 696980 WITH SCORE 703815.998
AT ITER 4388 NEW BEST:: SOT 12892137 SOS 6836303 HAS SOPS 6835845 HAS SOUS 697375 HAS SOUPS 696945 WITH SCORE 703781.303
AT ITER 4396 NEW BEST:: SOT 12894182 SOS 6838131 HAS SOPS 6837708 HAS SOUS 695986 HAS SOUPS 695591 WITH SCORE 702429.131
AT ITER 4398 NEW BEST:: SOT 12895682 SOS 6839733 HAS SOPS 6839310 HAS SOUS 693398 HAS SOUPS 693003 WITH SCORE 699842.733
AT ITER 4429 NEW BEST:: SOT 12898140 SOS 6842960 HAS SOPS 6842537 HAS SOUS 693192 HAS SOUPS 692797 WITH SCORE 699639.96
AT ITER 4430 NEW BEST:: SOT 12897931 SOS 6842751 HAS SOPS 6842328 HAS SOUS 692983 HAS SOUPS 692588 WITH SCORE 699430.751
AT ITER 4433 NEW BEST:: SOT 12901128 SOS 6845948 HAS SOPS 6845525 HAS SOUS 691521 HAS SOUPS 691126 WITH SCORE 697971.948
AT ITER 4454 NEW BEST:: SOT 12899894 SOS 6844714 HAS SOPS 6844291 HAS SOUS 690317 HAS SOUPS 689922 WITH SCORE 696766.714
AT ITER 4467 NEW BEST:: SOT 12899894 SOS 6841258 HAS SOPS 6840835 HAS SOUS 690317 HAS SOUPS 689922 WITH SCORE 696763.258
AT ITER 4525 NEW BEST:: SOT 12899894 SOS 6841270 HAS SOPS 6840847 HAS SOUS 690305 HAS SOUPS 689910 WITH SCORE 696751.27
AT ITER 4542 NEW BEST:: SOT 12899894 SOS 6841299 HAS SOPS 6840876 HAS SOUS 690276 HAS SOUPS 689881 WITH SCORE 696722.299
AT ITER 4560 NEW BEST:: SOT 12899224 SOS 6840599 HAS SOPS 6840176 HAS SOUS 688906 HAS SOUPS 688511 WITH SCORE 695351.599
AT ITER 4568 NEW BEST:: SOT 12898867 SOS 6839954 HAS SOPS 6839531 HAS SOUS 688752 HAS SOUPS 688357 WITH SCORE 695196.954
AT ITER 4577 NEW BEST:: SOT 12898732 SOS 6839819 HAS SOPS 6839396 HAS SOUS 688638 HAS SOUPS 688243 WITH SCORE 695082.819
AT ITER 4596 NEW BEST:: SOT 12895678 SOS 6836765 HAS SOPS 6836342 HAS SOUS 682537 HAS SOUPS 682142 WITH SCORE 688978.765
AT ITER 4620 NEW BEST:: SOT 12895654 SOS 6836741 HAS SOPS 6836318 HAS SOUS 682516 HAS SOUPS 682121 WITH SCORE 688957.741
AT ITER 4643 NEW BEST:: SOT 12895587 SOS 6836674 HAS SOPS 6836251 HAS SOUS 682231 HAS SOUPS 681836 WITH SCORE 688672.674
AT ITER 4688 NEW BEST:: SOT 12895587 SOS 6834634 HAS SOPS 6834211 HAS SOUS 682145 HAS SOUPS 681750 WITH SCORE 688584.634
AT ITER 4716 NEW BEST:: SOT 12895587 SOS 6833194 HAS SOPS 6832771 HAS SOUS 682145 HAS SOUPS 681750 WITH SCORE 688583.194
AT ITER 4720 NEW BEST:: SOT 12898909 SOS 6840252 HAS SOPS 6839829 HAS SOUS 680770 HAS SOUPS 680375 WITH SCORE 687215.252
AT ITER 4748 NEW BEST:: SOT 12899940 SOS 6841019 HAS SOPS 6840629 HAS SOUS 678368 HAS SOUPS 678006 WITH SCORE 684847.019
AT ITER 4759 NEW BEST:: SOT 12897565 SOS 6838574 HAS SOPS 6838184 HAS SOUS 677007 HAS SOUPS 676645 WITH SCORE 683483.574
AT ITER 4764 NEW BEST:: SOT 12901557 SOS 6843011 HAS SOPS 6842560 HAS SOUS 676336 HAS SOUPS 675926 WITH SCORE 682769.011
AT ITER 4776 NEW BEST:: SOT 12900070 SOS 6841654 HAS SOPS 6841203 HAS SOUS 676082 HAS SOUPS 675672 WITH SCORE 682513.654
AT ITER 4796 NEW BEST:: SOT 12900853 SOS 6842435 HAS SOPS 6841984 HAS SOUS 675251 HAS SOUPS 674841 WITH SCORE 681683.435
AT ITER 4807 NEW BEST:: SOT 12901174 SOS 6842756 HAS SOPS 6842305 HAS SOUS 674119 HAS SOUPS 673709 WITH SCORE 680551.756
AT ITER 4833 NEW BEST:: SOT 12901174 SOS 6842748 HAS SOPS 6842297 HAS SOUS 674111 HAS SOUPS 673701 WITH SCORE 680543.748
AT ITER 4834 NEW BEST:: SOT 12901149 SOS 6861069 HAS SOPS 6860608 HAS SOUS 674074 HAS SOUPS 673664 WITH SCORE 680525.069
AT ITER 4843 NEW BEST:: SOT 12898680 SOS 6858600 HAS SOPS 6858139 HAS SOUS 672959 HAS SOUPS 672549 WITH SCORE 679407.6
AT ITER 4906 NEW BEST:: SOT 12898276 SOS 6858196 HAS SOPS 6857735 HAS SOUS 671857 HAS SOUPS 671447 WITH SCORE 678305.196
AT ITER 4920 NEW BEST:: SOT 12898276 SOS 6858203 HAS SOPS 6857742 HAS SOUS 671850 HAS SOUPS 671440 WITH SCORE 678298.203
AT ITER 4960 NEW BEST:: SOT 12898276 SOS 6855882 HAS SOPS 6855421 HAS SOUS 671764 HAS SOUPS 671354 WITH SCORE 678209.882
AT ITER 4976 NEW BEST:: SOT 12896713 SOS 6854319 HAS SOPS 6853858 HAS SOUS 670804 HAS SOUPS 670394 WITH SCORE 677248.319
AT ITER 5002 NEW BEST:: SOT 12900174 SOS 6857870 HAS SOPS 6857409 HAS SOUS 667931 HAS SOUPS 667521 WITH SCORE 674378.87
AT ITER 5012 NEW BEST:: SOT 12900174 SOS 6856358 HAS SOPS 6855897 HAS SOUS 667931 HAS SOUPS 667521 WITH SCORE 674377.358
AT ITER 5024 NEW BEST:: SOT 12900226 SOS 6856410 HAS SOPS 6855949 HAS SOUS 667896 HAS SOUPS 667486 WITH SCORE 674342.41
AT ITER 5041 NEW BEST:: SOT 12901162 SOS 6857370 HAS SOPS 6856908 HAS SOUS 666901 HAS SOUPS 666490 WITH SCORE 673347.37
AT ITER 5042 NEW BEST:: SOT 12901162 SOS 6857214 HAS SOPS 6856752 HAS SOUS 666888 HAS SOUPS 666477 WITH SCORE 673334.214
AT ITER 5064 NEW BEST:: SOT 12898144 SOS 6856879 HAS SOPS 6856417 HAS SOUS 665236 HAS SOUPS 664825 WITH SCORE 671681.879
AT ITER 5084 NEW BEST:: SOT 12898144 SOS 6856041 HAS SOPS 6855579 HAS SOUS 665108 HAS SOUPS 664697 WITH SCORE 671553.041
AT ITER 5094 NEW BEST:: SOT 12898144 SOS 6857802 HAS SOPS 6857316 HAS SOUS 665075 HAS SOUPS 664664 WITH SCORE 671521.802
AT ITER 5109 NEW BEST:: SOT 12898119 SOS 6857846 HAS SOPS 6857360 HAS SOUS 664854 HAS SOUPS 664443 WITH SCORE 671300.846
AT ITER 5127 NEW BEST:: SOT 12898069 SOS 6857709 HAS SOPS 6857235 HAS SOUS 664128 HAS SOUPS 663729 WITH SCORE 670586.709
AT ITER 5156 NEW BEST:: SOT 12896331 SOS 6855797 HAS SOPS 6855323 HAS SOUS 664058 HAS SOUPS 663659 WITH SCORE 670514.797
AT ITER 5195 NEW BEST:: SOT 12896175 SOS 6867806 HAS SOPS 6866119 HAS SOUS 662669 HAS SOUPS 661921 WITH SCORE 668788.806
AT ITER 5215 NEW BEST:: SOT 12896084 SOS 6867757 HAS SOPS 6866070 HAS SOUS 662003 HAS SOUPS 661255 WITH SCORE 668122.757
AT ITER 5220 NEW BEST:: SOT 12896494 SOS 6868247 HAS SOPS 6866544 HAS SOUS 661649 HAS SOUPS 660893 WITH SCORE 667761.247
AT ITER 5277 NEW BEST:: SOT 12896477 SOS 6868230 HAS SOPS 6866527 HAS SOUS 660962 HAS SOUPS 660206 WITH SCORE 667074.23
AT ITER 5314 NEW BEST:: SOT 12896328 SOS 6868080 HAS SOPS 6866377 HAS SOUS 660861 HAS SOUPS 660105 WITH SCORE 666973.08
AT ITER 5411 NEW BEST:: SOT 12891939 SOS 6863691 HAS SOPS 6861988 HAS SOUS 656300 HAS SOUPS 655544 WITH SCORE 662407.691
AT ITER 5415 NEW BEST:: SOT 12891939 SOS 6863697 HAS SOPS 6861994 HAS SOUS 656063 HAS SOUPS 655307 WITH SCORE 662170.697
AT ITER 5445 NEW BEST:: SOT 12891939 SOS 6863302 HAS SOPS 6861599 HAS SOUS 655954 HAS SOUPS 655198 WITH SCORE 662061.302
AT ITER 5476 NEW BEST:: SOT 12892157 SOS 6863262 HAS SOPS 6861559 HAS SOUS 654576 HAS SOUPS 653820 WITH SCORE 660683.262
AT ITER 5480 NEW BEST:: SOT 12892142 SOS 6863247 HAS SOPS 6861544 HAS SOUS 654561 HAS SOUPS 653805 WITH SCORE 660668.247
AT ITER 5489 NEW BEST:: SOT 12894361 SOS 6865466 HAS SOPS 6863763 HAS SOUS 654412 HAS SOUPS 653656 WITH SCORE 660521.466
AT ITER 5512 NEW BEST:: SOT 12894361 SOS 6865884 HAS SOPS 6864181 HAS SOUS 654368 HAS SOUPS 653612 WITH SCORE 660477.884
AT ITER 5514 NEW BEST:: SOT 12894361 SOS 6864491 HAS SOPS 6862788 HAS SOUS 654198 HAS SOUPS 653442 WITH SCORE 660306.491
AT ITER 5525 NEW BEST:: SOT 12894879 SOS 6865001 HAS SOPS 6863298 HAS SOUS 650503 HAS SOUPS 649747 WITH SCORE 656612.001
AT ITER 5535 NEW BEST:: SOT 12894996 SOS 6864990 HAS SOPS 6863287 HAS SOUS 650416 HAS SOUPS 649660 WITH SCORE 656524.99
AT ITER 5589 NEW BEST:: SOT 12895000 SOS 6864994 HAS SOPS 6863291 HAS SOUS 650079 HAS SOUPS 649323 WITH SCORE 656187.994
AT ITER 5608 NEW BEST:: SOT 12894644 SOS 6864638 HAS SOPS 6862935 HAS SOUS 650032 HAS SOUPS 649276 WITH SCORE 656140.638
AT ITER 5623 NEW BEST:: SOT 12894556 SOS 6864571 HAS SOPS 6862865 HAS SOUS 649776 HAS SOUPS 649017 WITH SCORE 655881.571
AT ITER 5703 NEW BEST:: SOT 12896166 SOS 6866101 HAS SOPS 6864400 HAS SOUS 646118 HAS SOUPS 645364 WITH SCORE 652230.101
AT ITER 5753 NEW BEST:: SOT 12895685 SOS 6865620 HAS SOPS 6863919 HAS SOUS 645142 HAS SOUPS 644388 WITH SCORE 651253.62
AT ITER 5787 NEW BEST:: SOT 12895685 SOS 6863604 HAS SOPS 6861903 HAS SOUS 645142 HAS SOUPS 644388 WITH SCORE 651251.604
AT ITER 5808 NEW BEST:: SOT 12895685 SOS 6863606 HAS SOPS 6861905 HAS SOUS 645140 HAS SOUPS 644386 WITH SCORE 651249.606
AT ITER 5814 NEW BEST:: SOT 12895665 SOS 6863586 HAS SOPS 6861885 HAS SOUS 645107 HAS SOUPS 644353 WITH SCORE 651216.586
AT ITER 5851 NEW BEST:: SOT 12895665 SOS 6863599 HAS SOPS 6861898 HAS SOUS 645094 HAS SOUPS 644340 WITH SCORE 651203.599
AT ITER 5855 NEW BEST:: SOT 12894475 SOS 6862409 HAS SOPS 6860708 HAS SOUS 643971 HAS SOUPS 643217 WITH SCORE 650079.409
AT ITER 5862 NEW BEST:: SOT 12894475 SOS 6862424 HAS SOPS 6860723 HAS SOUS 643956 HAS SOUPS 643202 WITH SCORE 650064.424
AT ITER 5882 NEW BEST:: SOT 12894475 SOS 6862389 HAS SOPS 6860688 HAS SOUS 643949 HAS SOUPS 643195 WITH SCORE 650057.389
AT ITER 5886 NEW BEST:: SOT 12894434 SOS 6883835 HAS SOPS 6882134 HAS SOUS 643867 HAS SOUPS 643113 WITH SCORE 649996.835
AT ITER 5894 NEW BEST:: SOT 12894414 SOS 6883815 HAS SOPS 6882114 HAS SOUS 643847 HAS SOUPS 643093 WITH SCORE 649976.815
AT ITER 5953 NEW BEST:: SOT 12894381 SOS 6883782 HAS SOPS 6882081 HAS SOUS 643812 HAS SOUPS 643058 WITH SCORE 649941.782
AT ITER 5960 NEW BEST:: SOT 12894654 SOS 6884055 HAS SOPS 6882354 HAS SOUS 643682 HAS SOUPS 642928 WITH SCORE 649812.055
AT ITER 5985 NEW BEST:: SOT 12894654 SOS 6883286 HAS SOPS 6881609 HAS SOUS 643590 HAS SOUPS 642836 WITH SCORE 649719.286
AT ITER 5998 NEW BEST:: SOT 12894600 SOS 6883232 HAS SOPS 6881555 HAS SOUS 643464 HAS SOUPS 642710 WITH SCORE 649593.232
AT ITER 6023 NEW BEST:: SOT 12895968 SOS 6884600 HAS SOPS 6882923 HAS SOUS 643426 HAS SOUPS 642672 WITH SCORE 649556.6
AT ITER 6042 NEW BEST:: SOT 12895968 SOS 6884649 HAS SOPS 6882972 HAS SOUS 643377 HAS SOUPS 642623 WITH SCORE 649507.649
AT ITER 6059 NEW BEST:: SOT 12899114 SOS 6887795 HAS SOPS 6886118 HAS SOUS 641803 HAS SOUPS 641049 WITH SCORE 647936.795
AT ITER 6076 NEW BEST:: SOT 12899062 SOS 6887743 HAS SOPS 6886066 HAS SOUS 641001 HAS SOUPS 640247 WITH SCORE 647134.743
AT ITER 6178 NEW BEST:: SOT 12898855 SOS 6887248 HAS SOPS 6885571 HAS SOUS 640965 HAS SOUPS 640211 WITH SCORE 647098.248
AT ITER 6187 NEW BEST:: SOT 12898800 SOS 6887193 HAS SOPS 6885516 HAS SOUS 640910 HAS SOUPS 640156 WITH SCORE 647043.193
AT ITER 6193 NEW BEST:: SOT 12897739 SOS 6886132 HAS SOPS 6884455 HAS SOUS 640192 HAS SOUPS 639438 WITH SCORE 646324.132
AT ITER 6222 NEW BEST:: SOT 12895336 SOS 6880859 HAS SOPS 6879182 HAS SOUS 638024 HAS SOUPS 637270 WITH SCORE 644150.859
AT ITER 6228 NEW BEST:: SOT 12894936 SOS 6880459 HAS SOPS 6878782 HAS SOUS 637209 HAS SOUPS 636455 WITH SCORE 643335.459
AT ITER 6241 NEW BEST:: SOT 12894936 SOS 6877892 HAS SOPS 6876215 HAS SOUS 637171 HAS SOUPS 636417 WITH SCORE 643294.892
AT ITER 6257 NEW BEST:: SOT 12894936 SOS 6877452 HAS SOPS 6875775 HAS SOUS 637061 HAS SOUPS 636307 WITH SCORE 643184.452
AT ITER 6283 NEW BEST:: SOT 12894936 SOS 6877452 HAS SOPS 6875775 HAS SOUS 637005 HAS SOUPS 636251 WITH SCORE 643128.452
AT ITER 6288 NEW BEST:: SOT 12894936 SOS 6877260 HAS SOPS 6875583 HAS SOUS 636837 HAS SOUPS 636083 WITH SCORE 642960.26
AT ITER 6302 NEW BEST:: SOT 12894933 SOS 6874702 HAS SOPS 6873063 HAS SOUS 636771 HAS SOUPS 636017 WITH SCORE 642891.702
AT ITER 6305 NEW BEST:: SOT 12894927 SOS 6874696 HAS SOPS 6873057 HAS SOUS 636759 HAS SOUPS 636005 WITH SCORE 642879.696
AT ITER 6347 NEW BEST:: SOT 12895021 SOS 6874790 HAS SOPS 6873151 HAS SOUS 634389 HAS SOUPS 633635 WITH SCORE 640509.79
AT ITER 6365 NEW BEST:: SOT 12896625 SOS 6878194 HAS SOPS 6876555 HAS SOUS 633668 HAS SOUPS 632914 WITH SCORE 639792.194
AT ITER 6375 NEW BEST:: SOT 12896380 SOS 6877949 HAS SOPS 6876310 HAS SOUS 633067 HAS SOUPS 632313 WITH SCORE 639190.949
AT ITER 6380 NEW BEST:: SOT 12897544 SOS 6879113 HAS SOPS 6877474 HAS SOUS 632921 HAS SOUPS 632167 WITH SCORE 639046.113
AT ITER 6390 NEW BEST:: SOT 12897491 SOS 6879060 HAS SOPS 6877421 HAS SOUS 632814 HAS SOUPS 632060 WITH SCORE 638939.06
AT ITER 6405 NEW BEST:: SOT 12897267 SOS 6878837 HAS SOPS 6877198 HAS SOUS 632570 HAS SOUPS 631816 WITH SCORE 638694.837
AT ITER 6410 NEW BEST:: SOT 12897267 SOS 6876029 HAS SOPS 6874390 HAS SOUS 632570 HAS SOUPS 631816 WITH SCORE 638692.029
AT ITER 6419 NEW BEST:: SOT 12897267 SOS 6876328 HAS SOPS 6874689 HAS SOUS 632552 HAS SOUPS 631798 WITH SCORE 638674.328
AT ITER 6431 NEW BEST:: SOT 12892750 SOS 6871811 HAS SOPS 6870172 HAS SOUS 630943 HAS SOUPS 630189 WITH SCORE 637060.811
AT ITER 6460 NEW BEST:: SOT 12892735 SOS 6871796 HAS SOPS 6870157 HAS SOUS 630923 HAS SOUPS 630169 WITH SCORE 637040.796
AT ITER 6472 NEW BEST:: SOT 12895802 SOS 6874863 HAS SOPS 6873224 HAS SOUS 630454 HAS SOUPS 629700 WITH SCORE 636574.863
AT ITER 6480 NEW BEST:: SOT 12894578 SOS 6872991 HAS SOPS 6871284 HAS SOUS 629173 HAS SOUPS 628351 WITH SCORE 635223.991
AT ITER 6546 NEW BEST:: SOT 12894578 SOS 6871258 HAS SOPS 6869551 HAS SOUS 629106 HAS SOUPS 628284 WITH SCORE 635155.258
AT ITER 6552 NEW BEST:: SOT 12894572 SOS 6871252 HAS SOPS 6869545 HAS SOUS 629106 HAS SOUPS 628284 WITH SCORE 635155.252
AT ITER 6570 NEW BEST:: SOT 12897544 SOS 6874224 HAS SOPS 6872517 HAS SOUS 628245 HAS SOUPS 627423 WITH SCORE 634297.224
AT ITER 6641 NEW BEST:: SOT 12899837 SOS 6876517 HAS SOPS 6874810 HAS SOUS 626801 HAS SOUPS 625979 WITH SCORE 632855.517
AT ITER 6677 NEW BEST:: SOT 12899837 SOS 6876379 HAS SOPS 6874672 HAS SOUS 626793 HAS SOUPS 625971 WITH SCORE 632847.379
AT ITER 6680 NEW BEST:: SOT 12898464 SOS 6875006 HAS SOPS 6873299 HAS SOUS 624471 HAS SOUPS 623649 WITH SCORE 630524.006
AT ITER 6681 NEW BEST:: SOT 12898437 SOS 6910859 HAS SOPS 6909152 HAS SOUS 624361 HAS SOUPS 623539 WITH SCORE 630449.859
AT ITER 6688 NEW BEST:: SOT 12899277 SOS 6907079 HAS SOPS 6905372 HAS SOUS 623336 HAS SOUPS 622514 WITH SCORE 629421.079
AT ITER 6709 NEW BEST:: SOT 12899277 SOS 6907079 HAS SOPS 6905372 HAS SOUS 623334 HAS SOUPS 622512 WITH SCORE 629419.079
AT ITER 6716 NEW BEST:: SOT 12899279 SOS 6907155 HAS SOPS 6905456 HAS SOUS 623320 HAS SOUPS 622506 WITH SCORE 629413.155
AT ITER 6757 NEW BEST:: SOT 12899240 SOS 6907116 HAS SOPS 6905417 HAS SOUS 623281 HAS SOUPS 622467 WITH SCORE 629374.116
AT ITER 6761 NEW BEST:: SOT 12899226 SOS 6907102 HAS SOPS 6905403 HAS SOUS 623267 HAS SOUPS 622453 WITH SCORE 629360.102
AT ITER 6764 NEW BEST:: SOT 12899226 SOS 6907147 HAS SOPS 6905448 HAS SOUS 623222 HAS SOUPS 622408 WITH SCORE 629315.147
AT ITER 6767 NEW BEST:: SOT 12899040 SOS 6906961 HAS SOPS 6905262 HAS SOUS 623091 HAS SOUPS 622277 WITH SCORE 629183.961
AT ITER 6781 NEW BEST:: SOT 12899084 SOS 6903965 HAS SOPS 6902266 HAS SOUS 623020 HAS SOUPS 622206 WITH SCORE 629109.965
AT ITER 6805 NEW BEST:: SOT 12899079 SOS 6903960 HAS SOPS 6902261 HAS SOUS 623015 HAS SOUPS 622201 WITH SCORE 629104.96
AT ITER 6850 NEW BEST:: SOT 12898867 SOS 6903748 HAS SOPS 6902049 HAS SOUS 622918 HAS SOUPS 622104 WITH SCORE 629007.748
AT ITER 6875 NEW BEST:: SOT 12898867 SOS 6901156 HAS SOPS 6899457 HAS SOUS 622918 HAS SOUPS 622104 WITH SCORE 629005.156
AT ITER 6884 NEW BEST:: SOT 12898875 SOS 6901164 HAS SOPS 6899465 HAS SOUS 622910 HAS SOUPS 622096 WITH SCORE 628997.164
AT ITER 6910 NEW BEST:: SOT 12898689 SOS 6900978 HAS SOPS 6899279 HAS SOUS 622534 HAS SOUPS 621720 WITH SCORE 628620.978
AT ITER 6924 NEW BEST:: SOT 12910600 SOS 6912889 HAS SOPS 6911190 HAS SOUS 621971 HAS SOUPS 621157 WITH SCORE 628069.889
AT ITER 6930 NEW BEST:: SOT 12909788 SOS 6912241 HAS SOPS 6910542 HAS SOUS 619575 HAS SOUPS 618761 WITH SCORE 625673.241
AT ITER 6932 NEW BEST:: SOT 12909795 SOS 6912248 HAS SOPS 6910549 HAS SOUS 619532 HAS SOUPS 618718 WITH SCORE 625630.248
AT ITER 6934 NEW BEST:: SOT 12909252 SOS 6911705 HAS SOPS 6910006 HAS SOUS 618954 HAS SOUPS 618140 WITH SCORE 625051.705
AT ITER 6953 NEW BEST:: SOT 12909252 SOS 6911746 HAS SOPS 6910047 HAS SOUS 618913 HAS SOUPS 618099 WITH SCORE 625010.746
AT ITER 6955 NEW BEST:: SOT 12909252 SOS 6890494 HAS SOPS 6888795 HAS SOUS 618922 HAS SOUPS 618108 WITH SCORE 624998.494
AT ITER 6960 NEW BEST:: SOT 12909233 SOS 6890475 HAS SOPS 6888776 HAS SOUS 618903 HAS SOUPS 618089 WITH SCORE 624979.475
AT ITER 6982 NEW BEST:: SOT 12909233 SOS 6890490 HAS SOPS 6888791 HAS SOUS 618873 HAS SOUPS 618059 WITH SCORE 624949.49
AT ITER 6988 NEW BEST:: SOT 12909233 SOS 6891752 HAS SOPS 6890053 HAS SOUS 617957 HAS SOUPS 617143 WITH SCORE 624034.752
AT ITER 7014 NEW BEST:: SOT 12910568 SOS 6893402 HAS SOPS 6891668 HAS SOUS 617878 HAS SOUPS 617029 WITH SCORE 623922.402
AT ITER 7033 NEW BEST:: SOT 12911304 SOS 6894164 HAS SOPS 6892430 HAS SOUS 617750 HAS SOUPS 616901 WITH SCORE 623795.164
AT ITER 7046 NEW BEST:: SOT 12911330 SOS 6894274 HAS SOPS 6892540 HAS SOUS 617559 HAS SOUPS 616710 WITH SCORE 623604.274
AT ITER 7048 NEW BEST:: SOT 12913195 SOS 6896187 HAS SOPS 6894453 HAS SOUS 617483 HAS SOUPS 616634 WITH SCORE 623530.187
AT ITER 7078 NEW BEST:: SOT 12908385 SOS 6891377 HAS SOPS 6889643 HAS SOUS 614464 HAS SOUPS 613615 WITH SCORE 620506.377
AT ITER 7081 NEW BEST:: SOT 12908385 SOS 6891377 HAS SOPS 6889643 HAS SOUS 614434 HAS SOUPS 613585 WITH SCORE 620476.377
AT ITER 7100 NEW BEST:: SOT 12908385 SOS 6892958 HAS SOPS 6891224 HAS SOUS 614432 HAS SOUPS 613583 WITH SCORE 620475.958
AT ITER 7101 NEW BEST:: SOT 12908385 SOS 6890669 HAS SOPS 6888935 HAS SOUS 614266 HAS SOUPS 613417 WITH SCORE 620307.669
AT ITER 7111 NEW BEST:: SOT 12907309 SOS 6889593 HAS SOPS 6887859 HAS SOUS 612085 HAS SOUPS 611236 WITH SCORE 618125.593
AT ITER 7128 NEW BEST:: SOT 12907066 SOS 6889134 HAS SOPS 6887400 HAS SOUS 611995 HAS SOUPS 611146 WITH SCORE 618035.134
AT ITER 7153 NEW BEST:: SOT 12907006 SOS 6889074 HAS SOPS 6887340 HAS SOUS 611965 HAS SOUPS 611116 WITH SCORE 618005.074
AT ITER 7201 NEW BEST:: SOT 12904128 SOS 6886196 HAS SOPS 6884462 HAS SOUS 610629 HAS SOUPS 609780 WITH SCORE 616666.196
AT ITER 7203 NEW BEST:: SOT 12904122 SOS 6886190 HAS SOPS 6884456 HAS SOUS 610623 HAS SOUPS 609774 WITH SCORE 616660.19
AT ITER 7228 NEW BEST:: SOT 12904122 SOS 6886421 HAS SOPS 6884696 HAS SOUS 610356 HAS SOUPS 609516 WITH SCORE 616402.421
AT ITER 7253 NEW BEST:: SOT 12904098 SOS 6886397 HAS SOPS 6884672 HAS SOUS 610332 HAS SOUPS 609492 WITH SCORE 616378.397
AT ITER 7304 NEW BEST:: SOT 12900930 SOS 6883229 HAS SOPS 6881504 HAS SOUS 607115 HAS SOUPS 606275 WITH SCORE 613158.229
AT ITER 7317 NEW BEST:: SOT 12900930 SOS 6883113 HAS SOPS 6881388 HAS SOUS 607086 HAS SOUPS 606246 WITH SCORE 613129.113
AT ITER 7367 NEW BEST:: SOT 12901775 SOS 6883243 HAS SOPS 6881614 HAS SOUS 604447 HAS SOUPS 603682 WITH SCORE 610565.243
AT ITER 7390 NEW BEST:: SOT 12899524 SOS 6880992 HAS SOPS 6879363 HAS SOUS 604227 HAS SOUPS 603462 WITH SCORE 610342.992
AT ITER 7432 NEW BEST:: SOT 12902595 SOS 6884063 HAS SOPS 6882434 HAS SOUS 604196 HAS SOUPS 603431 WITH SCORE 610315.063
AT ITER 7465 NEW BEST:: SOT 12902541 SOS 6884009 HAS SOPS 6882380 HAS SOUS 604151 HAS SOUPS 603386 WITH SCORE 610270.009
AT ITER 7476 NEW BEST:: SOT 12902546 SOS 6884014 HAS SOPS 6882385 HAS SOUS 604149 HAS SOUPS 603384 WITH SCORE 610268.014
AT ITER 7499 NEW BEST:: SOT 12902912 SOS 6884688 HAS SOPS 6883059 HAS SOUS 604074 HAS SOUPS 603309 WITH SCORE 610193.688
AT ITER 7512 NEW BEST:: SOT 12901926 SOS 6883674 HAS SOPS 6882045 HAS SOUS 603406 HAS SOUPS 602641 WITH SCORE 609524.674
AT ITER 7559 NEW BEST:: SOT 12901918 SOS 6883666 HAS SOPS 6882037 HAS SOUS 603398 HAS SOUPS 602633 WITH SCORE 609516.666
AT ITER 7600 NEW BEST:: SOT 12902017 SOS 6883765 HAS SOPS 6882136 HAS SOUS 601956 HAS SOUPS 601191 WITH SCORE 608074.765
AT ITER 7606 NEW BEST:: SOT 12901811 SOS 6883559 HAS SOPS 6881930 HAS SOUS 601599 HAS SOUPS 600834 WITH SCORE 607717.559
AT ITER 7632 NEW BEST:: SOT 12901543 SOS 6883291 HAS SOPS 6881662 HAS SOUS 601587 HAS SOUPS 600822 WITH SCORE 607705.291
AT ITER 7637 NEW BEST:: SOT 12901308 SOS 6883056 HAS SOPS 6881427 HAS SOUS 601111 HAS SOUPS 600346 WITH SCORE 607229.056
AT ITER 7644 NEW BEST:: SOT 12901272 SOS 6883020 HAS SOPS 6881391 HAS SOUS 601104 HAS SOUPS 600339 WITH SCORE 607222.02
AT ITER 7645 NEW BEST:: SOT 12901268 SOS 6883016 HAS SOPS 6881387 HAS SOUS 601100 HAS SOUPS 600335 WITH SCORE 607218.016
AT ITER 7677 NEW BEST:: SOT 12901268 SOS 6883016 HAS SOPS 6881387 HAS SOUS 601040 HAS SOUPS 600275 WITH SCORE 607158.016
AT ITER 7706 NEW BEST:: SOT 12901248 SOS 6882988 HAS SOPS 6881359 HAS SOUS 600950 HAS SOUPS 600185 WITH SCORE 607067.988
AT ITER 7707 NEW BEST:: SOT 12901248 SOS 6882985 HAS SOPS 6881356 HAS SOUS 600947 HAS SOUPS 600182 WITH SCORE 607064.985
AT ITER 7736 NEW BEST:: SOT 12901286 SOS 6883023 HAS SOPS 6881394 HAS SOUS 600858 HAS SOUPS 600093 WITH SCORE 606976.023
AT ITER 7741 NEW BEST:: SOT 12901279 SOS 6883726 HAS SOPS 6882097 HAS SOUS 595216 HAS SOUPS 594451 WITH SCORE 601334.726
AT ITER 7753 NEW BEST:: SOT 12901279 SOS 6882841 HAS SOPS 6881212 HAS SOUS 595216 HAS SOUPS 594451 WITH SCORE 601333.841
AT ITER 7797 NEW BEST:: SOT 12901279 SOS 6883045 HAS SOPS 6881431 HAS SOUS 594922 HAS SOUPS 594172 WITH SCORE 601055.045
AT ITER 7799 NEW BEST:: SOT 12901279 SOS 6883007 HAS SOPS 6881393 HAS SOUS 594903 HAS SOUPS 594153 WITH SCORE 601036.007
AT ITER 7816 NEW BEST:: SOT 12900572 SOS 6882300 HAS SOPS 6880686 HAS SOUS 593472 HAS SOUPS 592722 WITH SCORE 599604.3
AT ITER 7855 NEW BEST:: SOT 12900394 SOS 6882122 HAS SOPS 6880508 HAS SOUS 593104 HAS SOUPS 592354 WITH SCORE 599236.122
AT ITER 7860 NEW BEST:: SOT 12900437 SOS 6891015 HAS SOPS 6889401 HAS SOUS 590176 HAS SOUPS 589426 WITH SCORE 596317.015
AT ITER 7861 NEW BEST:: SOT 12900490 SOS 6891068 HAS SOPS 6889454 HAS SOUS 590130 HAS SOUPS 589380 WITH SCORE 596271.068
AT ITER 7868 NEW BEST:: SOT 12898788 SOS 6889366 HAS SOPS 6887752 HAS SOUS 588926 HAS SOUPS 588176 WITH SCORE 595065.366
AT ITER 7905 NEW BEST:: SOT 12898775 SOS 6889353 HAS SOPS 6887739 HAS SOUS 588903 HAS SOUPS 588153 WITH SCORE 595042.353
AT ITER 7936 NEW BEST:: SOT 12897780 SOS 6888358 HAS SOPS 6886744 HAS SOUS 587962 HAS SOUPS 587212 WITH SCORE 594100.358
AT ITER 7942 NEW BEST:: SOT 12898583 SOS 6889161 HAS SOPS 6887547 HAS SOUS 587879 HAS SOUPS 587129 WITH SCORE 594018.161
AT ITER 7966 NEW BEST:: SOT 12898653 SOS 6889231 HAS SOPS 6887617 HAS SOUS 587824 HAS SOUPS 587074 WITH SCORE 593963.231
AT ITER 8004 NEW BEST:: SOT 12899090 SOS 6889668 HAS SOPS 6888054 HAS SOUS 587603 HAS SOUPS 586853 WITH SCORE 593742.668
AT ITER 8096 NEW BEST:: SOT 12899090 SOS 6889332 HAS SOPS 6887718 HAS SOUS 587575 HAS SOUPS 586825 WITH SCORE 593714.332
AT ITER 8097 NEW BEST:: SOT 12899628 SOS 6891094 HAS SOPS 6889480 HAS SOUS 586754 HAS SOUPS 586004 WITH SCORE 592895.094
AT ITER 8113 NEW BEST:: SOT 12900039 SOS 6891505 HAS SOPS 6889891 HAS SOUS 586725 HAS SOUPS 585975 WITH SCORE 592866.505
AT ITER 8201 NEW BEST:: SOT 12900039 SOS 6890727 HAS SOPS 6889113 HAS SOUS 586665 HAS SOUPS 585915 WITH SCORE 592805.727
AT ITER 8208 NEW BEST:: SOT 12900141 SOS 6889884 HAS SOPS 6888260 HAS SOUS 585988 HAS SOUPS 585238 WITH SCORE 592127.884
AT ITER 8211 NEW BEST:: SOT 12900075 SOS 6889818 HAS SOPS 6888194 HAS SOUS 585912 HAS SOUPS 585162 WITH SCORE 592051.818
AT ITER 8212 NEW BEST:: SOT 12900075 SOS 6917158 HAS SOPS 6915552 HAS SOUS 585322 HAS SOUPS 584590 WITH SCORE 591507.158
AT ITER 8224 NEW BEST:: SOT 12899848 SOS 6916931 HAS SOPS 6915325 HAS SOUS 584864 HAS SOUPS 584132 WITH SCORE 591048.931
AT ITER 8257 NEW BEST:: SOT 12899870 SOS 6916917 HAS SOPS 6915315 HAS SOUS 584797 HAS SOUPS 584069 WITH SCORE 590985.917
AT ITER 8339 NEW BEST:: SOT 12901718 SOS 6918765 HAS SOPS 6917163 HAS SOUS 584243 HAS SOUPS 583515 WITH SCORE 590433.765
AT ITER 8413 NEW BEST:: SOT 12901716 SOS 6918763 HAS SOPS 6917161 HAS SOUS 584241 HAS SOUPS 583513 WITH SCORE 590431.763
AT ITER 8419 NEW BEST:: SOT 12901427 SOS 6918570 HAS SOPS 6916968 HAS SOUS 583146 HAS SOUPS 582418 WITH SCORE 589336.57
AT ITER 8480 NEW BEST:: SOT 12901180 SOS 6923370 HAS SOPS 6921768 HAS SOUS 581288 HAS SOUPS 580560 WITH SCORE 587483.37
AT ITER 8481 NEW BEST:: SOT 12901180 SOS 6920100 HAS SOPS 6918498 HAS SOUS 581233 HAS SOUPS 580505 WITH SCORE 587425.1
AT ITER 8485 NEW BEST:: SOT 12902121 SOS 6921041 HAS SOPS 6919439 HAS SOUS 581013 HAS SOUPS 580285 WITH SCORE 587206.041
AT ITER 8511 NEW BEST:: SOT 12902915 SOS 6921835 HAS SOPS 6920233 HAS SOUS 580787 HAS SOUPS 580059 WITH SCORE 586980.835
AT ITER 8531 NEW BEST:: SOT 12901167 SOS 6919751 HAS SOPS 6918149 HAS SOUS 580720 HAS SOUPS 579992 WITH SCORE 586911.751
AT ITER 8555 NEW BEST:: SOT 12901167 SOS 6919781 HAS SOPS 6918185 HAS SOUS 580547 HAS SOUPS 579822 WITH SCORE 586741.781
AT ITER 8611 NEW BEST:: SOT 12901167 SOS 6919795 HAS SOPS 6918199 HAS SOUS 580533 HAS SOUPS 579808 WITH SCORE 586727.795
AT ITER 8633 NEW BEST:: SOT 12901167 SOS 6919291 HAS SOPS 6917695 HAS SOUS 580533 HAS SOUPS 579808 WITH SCORE 586727.291
AT ITER 8693 NEW BEST:: SOT 12901167 SOS 6917751 HAS SOPS 6916155 HAS SOUS 580489 HAS SOUPS 579764 WITH SCORE 586681.751
AT ITER 8715 NEW BEST:: SOT 12901663 SOS 6918895 HAS SOPS 6917299 HAS SOUS 580195 HAS SOUPS 579470 WITH SCORE 586388.895
AT ITER 8738 NEW BEST:: SOT 12901592 SOS 6918824 HAS SOPS 6917228 HAS SOUS 580070 HAS SOUPS 579345 WITH SCORE 586263.824
AT ITER 8773 NEW BEST:: SOT 12899898 SOS 6915762 HAS SOPS 6914166 HAS SOUS 580050 HAS SOUPS 579325 WITH SCORE 586240.762
AT ITER 8862 NEW BEST:: SOT 12899898 SOS 6914774 HAS SOPS 6913243 HAS SOUS 580011 HAS SOUPS 579299 WITH SCORE 586213.774
AT ITER 8864 NEW BEST:: SOT 12899898 SOS 6914746 HAS SOPS 6913219 HAS SOUS 580003 HAS SOUPS 579295 WITH SCORE 586209.746
AT ITER 8882 NEW BEST:: SOT 12899898 SOS 6914768 HAS SOPS 6913241 HAS SOUS 579981 HAS SOUPS 579273 WITH SCORE 586187.768
AT ITER 8889 NEW BEST:: SOT 12899861 SOS 6914731 HAS SOPS 6913204 HAS SOUS 579944 HAS SOUPS 579236 WITH SCORE 586150.731
AT ITER 8896 NEW BEST:: SOT 12899861 SOS 5996907 HAS SOPS 5995004 HAS SOUS 579351 HAS SOUPS 578643 WITH SCORE 584639.907
AT ITER 8944 NEW BEST:: SOT 12896381 SOS 5993333 HAS SOPS 5991430 HAS SOUS 576734 HAS SOUPS 576026 WITH SCORE 582019.333
AT ITER 8949 NEW BEST:: SOT 12896381 SOS 5993331 HAS SOPS 5991428 HAS SOUS 576732 HAS SOUPS 576024 WITH SCORE 582017.331
AT ITER 9042 NEW BEST:: SOT 12896378 SOS 5993328 HAS SOPS 5991425 HAS SOUS 576712 HAS SOUPS 576004 WITH SCORE 581997.328
AT ITER 9066 NEW BEST:: SOT 12896880 SOS 5994627 HAS SOPS 5992761 HAS SOUS 575926 HAS SOUPS 575255 WITH SCORE 581249.627
AT ITER 9069 NEW BEST:: SOT 12897110 SOS 5995006 HAS SOPS 5993117 HAS SOUS 575691 HAS SOUPS 575003 WITH SCORE 580998.006
AT ITER 9070 NEW BEST:: SOT 12897320 SOS 5995642 HAS SOPS 5993753 HAS SOUS 575557 HAS SOUPS 574869 WITH SCORE 580864.642
AT ITER 9088 NEW BEST:: SOT 12897320 SOS 5994410 HAS SOPS 5992521 HAS SOUS 575493 HAS SOUPS 574805 WITH SCORE 580799.41
AT ITER 9089 NEW BEST:: SOT 12895561 SOS 5992651 HAS SOPS 5990762 HAS SOUS 573732 HAS SOUPS 573044 WITH SCORE 579036.651
AT ITER 9097 NEW BEST:: SOT 12895561 SOS 5995451 HAS SOPS 5993562 HAS SOUS 571151 HAS SOUPS 570463 WITH SCORE 576458.451
AT ITER 9210 NEW BEST:: SOT 12895306 SOS 5995196 HAS SOPS 5993307 HAS SOUS 570919 HAS SOUPS 570231 WITH SCORE 576226.196
AT ITER 9217 NEW BEST:: SOT 12892805 SOS 5994362 HAS SOPS 5992440 HAS SOUS 570453 HAS SOUPS 569732 WITH SCORE 575726.362
AT ITER 9274 NEW BEST:: SOT 12892827 SOS 5994384 HAS SOPS 5992462 HAS SOUS 570426 HAS SOUPS 569705 WITH SCORE 575699.384
AT ITER 9286 NEW BEST:: SOT 12892827 SOS 5994320 HAS SOPS 5992398 HAS SOUS 570410 HAS SOUPS 569689 WITH SCORE 575683.32
AT ITER 9301 NEW BEST:: SOT 12892137 SOS 5993630 HAS SOPS 5991708 HAS SOUS 569692 HAS SOUPS 568971 WITH SCORE 574964.63
AT ITER 9323 NEW BEST:: SOT 12891695 SOS 5993188 HAS SOPS 5991266 HAS SOUS 568773 HAS SOUPS 568052 WITH SCORE 574045.188
AT ITER 9324 NEW BEST:: SOT 12890146 SOS 5991639 HAS SOPS 5989717 HAS SOUS 565614 HAS SOUPS 564893 WITH SCORE 570884.639
AT ITER 9348 NEW BEST:: SOT 12889827 SOS 5991305 HAS SOPS 5989383 HAS SOUS 564971 HAS SOUPS 564250 WITH SCORE 570241.305
AT ITER 9351 NEW BEST:: SOT 12888622 SOS 5990148 HAS SOPS 5988226 HAS SOUS 562566 HAS SOUPS 561845 WITH SCORE 567835.148
AT ITER 9353 NEW BEST:: SOT 12888622 SOS 5989004 HAS SOPS 5987082 HAS SOUS 562486 HAS SOUPS 561765 WITH SCORE 567754.004
AT ITER 9372 NEW BEST:: SOT 12888622 SOS 5990754 HAS SOPS 5988832 HAS SOUS 561162 HAS SOUPS 560441 WITH SCORE 566431.754
AT ITER 9458 NEW BEST:: SOT 12888622 SOS 5990685 HAS SOPS 5988763 HAS SOUS 561162 HAS SOUPS 560441 WITH SCORE 566431.685
AT ITER 9505 NEW BEST:: SOT 12889746 SOS 5991809 HAS SOPS 5989887 HAS SOUS 560202 HAS SOUPS 559481 WITH SCORE 565472.809
AT ITER 9540 NEW BEST:: SOT 12884467 SOS 5982282 HAS SOPS 5980360 HAS SOUS 558875 HAS SOUPS 558154 WITH SCORE 564136.282
AT ITER 9603 NEW BEST:: SOT 12884347 SOS 5979597 HAS SOPS 5977675 HAS SOUS 558714 HAS SOUPS 557993 WITH SCORE 563972.597
AT ITER 9649 NEW BEST:: SOT 12882331 SOS 5977581 HAS SOPS 5975659 HAS SOUS 557726 HAS SOUPS 557005 WITH SCORE 562982.581
AT ITER 9705 NEW BEST:: SOT 12882324 SOS 5977574 HAS SOPS 5975652 HAS SOUS 557719 HAS SOUPS 556998 WITH SCORE 562975.574
AT ITER 9755 NEW BEST:: SOT 12882317 SOS 5977567 HAS SOPS 5975645 HAS SOUS 557712 HAS SOUPS 556991 WITH SCORE 562968.567
AT ITER 9775 NEW BEST:: SOT 12882317 SOS 5977565 HAS SOPS 5975643 HAS SOUS 557711 HAS SOUPS 556990 WITH SCORE 562967.565
AT ITER 9776 NEW BEST:: SOT 12882317 SOS 5972519 HAS SOPS 5970932 HAS SOUS 557464 HAS SOUPS 556810 WITH SCORE 562782.519
AT ITER 9798 NEW BEST:: SOT 12881993 SOS 5972195 HAS SOPS 5970608 HAS SOUS 557192 HAS SOUPS 556538 WITH SCORE 562510.195
AT ITER 9812 NEW BEST:: SOT 12881993 SOS 5971215 HAS SOPS 5969628 HAS SOUS 557146 HAS SOUPS 556492 WITH SCORE 562463.215
AT ITER 9824 NEW BEST:: SOT 12881099 SOS 5970245 HAS SOPS 5968658 HAS SOUS 556562 HAS SOUPS 555908 WITH SCORE 561878.245
AT ITER 9909 NEW BEST:: SOT 12881099 SOS 5970245 HAS SOPS 5968658 HAS SOUS 556544 HAS SOUPS 555890 WITH SCORE 561860.245
AT ITER 9930 NEW BEST:: SOT 12881099 SOS 5967542 HAS SOPS 5965955 HAS SOUS 555195 HAS SOUPS 554541 WITH SCORE 560508.542
AT ITER 9984 NEW BEST:: SOT 12880711 SOS 5968283 HAS SOPS 5966748 HAS SOUS 554585 HAS SOUPS 553983 WITH SCORE 559951.283
AT ITER 9985 NEW BEST:: SOT 12880872 SOS 5974841 HAS SOPS 5973306 HAS SOUS 552638 HAS SOUPS 552036 WITH SCORE 558010.841

BK_STOP 1678792400002

--------------------
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: 583 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-q8m256"
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-q8m256, 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-167813696800448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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