About the Execution of Smart for BugTracking-PT-q8m064
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16226.808 | 3028539.00 | 3027073.00 | 966.80 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688200432.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BugTracking-PT-q8m064, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688200432
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 6.2K Feb 26 07:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 26 07:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 06:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 06:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 11K Feb 26 07:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 07:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 07:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 07:27 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 1678467652231
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BugTracking-PT-q8m064
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m064
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 754 places, 27370 transitions, 136172 arcs.
AT ITER 0 NEW BEST:: SOT 12976552 SOS 6056099 HAS SOPS 6051644 HAS SOUS 1658044 HAS SOUPS 1653589 WITH SCORE 1659645.099
AT ITER 1 NEW BEST:: SOT 12974221 SOS 6053768 HAS SOPS 6049313 HAS SOUS 1653244 HAS SOUPS 1648789 WITH SCORE 1654842.768
AT ITER 4 NEW BEST:: SOT 12974221 SOS 6053737 HAS SOPS 6049282 HAS SOUS 1653244 HAS SOUPS 1648789 WITH SCORE 1654842.737
AT ITER 9 NEW BEST:: SOT 12974221 SOS 6053737 HAS SOPS 6049282 HAS SOUS 1653240 HAS SOUPS 1648785 WITH SCORE 1654838.737
AT ITER 12 NEW BEST:: SOT 12974372 SOS 6053888 HAS SOPS 6049433 HAS SOUS 1644708 HAS SOUPS 1640253 WITH SCORE 1646306.888
AT ITER 14 NEW BEST:: SOT 12973608 SOS 6056113 HAS SOPS 6051658 HAS SOUS 1644426 HAS SOUPS 1639971 WITH SCORE 1646027.113
AT ITER 42 NEW BEST:: SOT 12973608 SOS 6050281 HAS SOPS 6045826 HAS SOUS 1644426 HAS SOUPS 1639971 WITH SCORE 1646021.281
AT ITER 43 NEW BEST:: SOT 12973608 SOS 6050119 HAS SOPS 6045664 HAS SOUS 1644399 HAS SOUPS 1639944 WITH SCORE 1645994.119
AT ITER 47 NEW BEST:: SOT 12974039 SOS 6050553 HAS SOPS 6046151 HAS SOUS 1639778 HAS SOUPS 1635376 WITH SCORE 1641426.553
AT ITER 54 NEW BEST:: SOT 12974039 SOS 6042849 HAS SOPS 6038447 HAS SOUS 1639778 HAS SOUPS 1635376 WITH SCORE 1641418.849
AT ITER 70 NEW BEST:: SOT 12971397 SOS 6040747 HAS SOPS 6036345 HAS SOUS 1638050 HAS SOUPS 1633648 WITH SCORE 1639688.747
AT ITER 91 NEW BEST:: SOT 12971575 SOS 6040605 HAS SOPS 6036264 HAS SOUS 1629614 HAS SOUPS 1625273 WITH SCORE 1631313.605
AT ITER 93 NEW BEST:: SOT 12971575 SOS 6037005 HAS SOPS 6032664 HAS SOUS 1629614 HAS SOUPS 1625273 WITH SCORE 1631310.005
AT ITER 95 NEW BEST:: SOT 12971264 SOS 6036694 HAS SOPS 6032353 HAS SOUS 1629148 HAS SOUPS 1624807 WITH SCORE 1630843.694
AT ITER 112 NEW BEST:: SOT 12968974 SOS 6034962 HAS SOPS 6030621 HAS SOUS 1628209 HAS SOUPS 1623868 WITH SCORE 1629902.962
AT ITER 119 NEW BEST:: SOT 12968986 SOS 6034958 HAS SOPS 6030617 HAS SOUS 1623385 HAS SOUPS 1619044 WITH SCORE 1625078.958
AT ITER 121 NEW BEST:: SOT 12964604 SOS 6034496 HAS SOPS 6030155 HAS SOUS 1621363 HAS SOUPS 1617022 WITH SCORE 1623056.496
AT ITER 132 NEW BEST:: SOT 12964604 SOS 6030104 HAS SOPS 6025763 HAS SOUS 1621363 HAS SOUPS 1617022 WITH SCORE 1623052.104
AT ITER 133 NEW BEST:: SOT 12962431 SOS 6028435 HAS SOPS 6024094 HAS SOUS 1618408 HAS SOUPS 1614067 WITH SCORE 1620095.435
AT ITER 135 NEW BEST:: SOT 12958556 SOS 6024964 HAS SOPS 6020623 HAS SOUS 1614216 HAS SOUPS 1609875 WITH SCORE 1615899.964
AT ITER 142 NEW BEST:: SOT 12958572 SOS 6024980 HAS SOPS 6020639 HAS SOUS 1608675 HAS SOUPS 1604334 WITH SCORE 1610358.98
AT ITER 152 NEW BEST:: SOT 12958572 SOS 6023612 HAS SOPS 6019271 HAS SOUS 1608675 HAS SOUPS 1604334 WITH SCORE 1610357.612
AT ITER 165 NEW BEST:: SOT 12954316 SOS 6023956 HAS SOPS 6019615 HAS SOUS 1605019 HAS SOUPS 1600678 WITH SCORE 1606701.956
AT ITER 166 NEW BEST:: SOT 12954470 SOS 6024110 HAS SOPS 6019769 HAS SOUS 1597568 HAS SOUPS 1593227 WITH SCORE 1599251.11
AT ITER 172 NEW BEST:: SOT 12952085 SOS 6022649 HAS SOPS 6018308 HAS SOUS 1592330 HAS SOUPS 1587989 WITH SCORE 1594011.649
AT ITER 187 NEW BEST:: SOT 12952085 SOS 6016241 HAS SOPS 6011900 HAS SOUS 1592330 HAS SOUPS 1587989 WITH SCORE 1594005.241
AT ITER 203 NEW BEST:: SOT 12952209 SOS 6016057 HAS SOPS 6011771 HAS SOUS 1581400 HAS SOUPS 1577114 WITH SCORE 1583130.057
AT ITER 208 NEW BEST:: SOT 12955966 SOS 6019814 HAS SOPS 6015528 HAS SOUS 1578710 HAS SOUPS 1574424 WITH SCORE 1580443.814
AT ITER 213 NEW BEST:: SOT 12954703 SOS 6019167 HAS SOPS 6014881 HAS SOUS 1577238 HAS SOUPS 1572952 WITH SCORE 1578971.167
AT ITER 217 NEW BEST:: SOT 12954672 SOS 6019136 HAS SOPS 6014850 HAS SOUS 1577175 HAS SOUPS 1572889 WITH SCORE 1578908.136
AT ITER 218 NEW BEST:: SOT 12953142 SOS 6017606 HAS SOPS 6013320 HAS SOUS 1575267 HAS SOUPS 1570981 WITH SCORE 1576998.606
AT ITER 220 NEW BEST:: SOT 12953097 SOS 6017561 HAS SOPS 6013275 HAS SOUS 1571136 HAS SOUPS 1566850 WITH SCORE 1572867.561
AT ITER 234 NEW BEST:: SOT 12949720 SOS 6020700 HAS SOPS 6016414 HAS SOUS 1569104 HAS SOUPS 1564818 WITH SCORE 1570838.7
AT ITER 235 NEW BEST:: SOT 12951625 SOS 6022605 HAS SOPS 6018319 HAS SOUS 1563797 HAS SOUPS 1559511 WITH SCORE 1565533.605
AT ITER 238 NEW BEST:: SOT 12951625 SOS 6022605 HAS SOPS 6018319 HAS SOUS 1563781 HAS SOUPS 1559495 WITH SCORE 1565517.605
AT ITER 243 NEW BEST:: SOT 12948248 SOS 6034612 HAS SOPS 6030326 HAS SOUS 1561824 HAS SOUPS 1557538 WITH SCORE 1563572.612
AT ITER 244 NEW BEST:: SOT 12959853 SOS 6083315 HAS SOPS 6078129 HAS SOUS 1552064 HAS SOUPS 1547531 WITH SCORE 1553614.315
AT ITER 251 NEW BEST:: SOT 12959853 SOS 6083315 HAS SOPS 6078129 HAS SOUS 1552059 HAS SOUPS 1547526 WITH SCORE 1553609.315
AT ITER 255 NEW BEST:: SOT 12957922 SOS 6081431 HAS SOPS 6076245 HAS SOUS 1548784 HAS SOUPS 1544251 WITH SCORE 1550332.431
AT ITER 259 NEW BEST:: SOT 12956786 SOS 6080336 HAS SOPS 6075150 HAS SOUS 1547721 HAS SOUPS 1543188 WITH SCORE 1549268.336
AT ITER 264 NEW BEST:: SOT 12954803 SOS 6078353 HAS SOPS 6073167 HAS SOUS 1533656 HAS SOUPS 1529123 WITH SCORE 1535201.353
AT ITER 265 NEW BEST:: SOT 12955318 SOS 6078868 HAS SOPS 6073682 HAS SOUS 1530980 HAS SOUPS 1526447 WITH SCORE 1532525.868
AT ITER 270 NEW BEST:: SOT 12955295 SOS 6078845 HAS SOPS 6073659 HAS SOUS 1530977 HAS SOUPS 1526444 WITH SCORE 1532522.845
AT ITER 272 NEW BEST:: SOT 12959699 SOS 6083249 HAS SOPS 6078063 HAS SOUS 1514675 HAS SOUPS 1510142 WITH SCORE 1516225.249
AT ITER 273 NEW BEST:: SOT 12960283 SOS 6083990 HAS SOPS 6078805 HAS SOUS 1514340 HAS SOUPS 1509808 WITH SCORE 1515891.99
AT ITER 276 NEW BEST:: SOT 12954807 SOS 6078693 HAS SOPS 6073508 HAS SOUS 1507147 HAS SOUPS 1502615 WITH SCORE 1508693.693
AT ITER 282 NEW BEST:: SOT 12953018 SOS 6076904 HAS SOPS 6071719 HAS SOUS 1504885 HAS SOUPS 1500353 WITH SCORE 1506429.904
AT ITER 287 NEW BEST:: SOT 12953018 SOS 6072368 HAS SOPS 6067183 HAS SOUS 1504885 HAS SOUPS 1500353 WITH SCORE 1506425.368
AT ITER 300 NEW BEST:: SOT 12952162 SOS 6071512 HAS SOPS 6066327 HAS SOUS 1499128 HAS SOUPS 1494596 WITH SCORE 1500667.512
AT ITER 308 NEW BEST:: SOT 12949360 SOS 6073110 HAS SOPS 6067925 HAS SOUS 1497769 HAS SOUPS 1493237 WITH SCORE 1499310.11
AT ITER 310 NEW BEST:: SOT 12948567 SOS 6072317 HAS SOPS 6067132 HAS SOUS 1497203 HAS SOUPS 1492671 WITH SCORE 1498743.317
AT ITER 317 NEW BEST:: SOT 12952680 SOS 6076712 HAS SOPS 6071527 HAS SOUS 1491963 HAS SOUPS 1487431 WITH SCORE 1493507.712
AT ITER 318 NEW BEST:: SOT 12958873 SOS 6086276 HAS SOPS 6081194 HAS SOUS 1489041 HAS SOUPS 1484612 WITH SCORE 1490698.276
AT ITER 326 NEW BEST:: SOT 12957148 SOS 6084551 HAS SOPS 6079469 HAS SOUS 1487645 HAS SOUPS 1483216 WITH SCORE 1489300.551
AT ITER 331 NEW BEST:: SOT 12957148 SOS 6084201 HAS SOPS 6079119 HAS SOUS 1487555 HAS SOUPS 1483126 WITH SCORE 1489210.201
AT ITER 343 NEW BEST:: SOT 12956320 SOS 6083373 HAS SOPS 6078291 HAS SOUS 1486727 HAS SOUPS 1482298 WITH SCORE 1488381.373
AT ITER 349 NEW BEST:: SOT 12961050 SOS 6092979 HAS SOPS 6087905 HAS SOUS 1483732 HAS SOUPS 1479311 WITH SCORE 1485403.979
AT ITER 362 NEW BEST:: SOT 12961215 SOS 6093098 HAS SOPS 6088070 HAS SOUS 1477128 HAS SOUPS 1472753 WITH SCORE 1478846.098
AT ITER 363 NEW BEST:: SOT 12800331 SOS 5933202 HAS SOPS 5928752 HAS SOUS 1305708 HAS SOUPS 1301911 WITH SCORE 1307844.202
AT ITER 372 NEW BEST:: SOT 12815197 SOS 6724339 HAS SOPS 6720255 HAS SOUS 1303461 HAS SOUPS 1299877 WITH SCORE 1306601.339
AT ITER 373 NEW BEST:: SOT 12812367 SOS 6720925 HAS SOPS 6716841 HAS SOUS 1297676 HAS SOUPS 1294092 WITH SCORE 1300812.925
AT ITER 377 NEW BEST:: SOT 12818727 SOS 6728089 HAS SOPS 6724005 HAS SOUS 1291058 HAS SOUPS 1287474 WITH SCORE 1294202.089
AT ITER 379 NEW BEST:: SOT 12822866 SOS 6732424 HAS SOPS 6728340 HAS SOUS 1288555 HAS SOUPS 1284971 WITH SCORE 1291703.424
AT ITER 399 NEW BEST:: SOT 12826903 SOS 6736569 HAS SOPS 6732485 HAS SOUS 1288121 HAS SOUPS 1284537 WITH SCORE 1291273.569
AT ITER 411 NEW BEST:: SOT 12832011 SOS 6746307 HAS SOPS 6742325 HAS SOUS 1281388 HAS SOUPS 1277906 WITH SCORE 1284652.307
AT ITER 414 NEW BEST:: SOT 12844934 SOS 6772039 HAS SOPS 6768124 HAS SOUS 1280756 HAS SOUPS 1277341 WITH SCORE 1284113.039
AT ITER 415 NEW BEST:: SOT 12841425 SOS 6768530 HAS SOPS 6764615 HAS SOUS 1276991 HAS SOUPS 1273576 WITH SCORE 1280344.53
AT ITER 425 NEW BEST:: SOT 12838238 SOS 6765343 HAS SOPS 6761428 HAS SOUS 1273429 HAS SOUPS 1270014 WITH SCORE 1276779.343
AT ITER 427 NEW BEST:: SOT 12847339 SOS 6774909 HAS SOPS 6770764 HAS SOUS 1269370 HAS SOUPS 1265876 WITH SCORE 1272650.909
AT ITER 433 NEW BEST:: SOT 12862023 SOS 6790516 HAS SOPS 6786371 HAS SOUS 1268262 HAS SOUPS 1264768 WITH SCORE 1271558.516
AT ITER 444 NEW BEST:: SOT 12862023 SOS 6790012 HAS SOPS 6785867 HAS SOUS 1268262 HAS SOUPS 1264768 WITH SCORE 1271558.012
AT ITER 449 NEW BEST:: SOT 12865970 SOS 6793959 HAS SOPS 6789814 HAS SOUS 1267273 HAS SOUPS 1263779 WITH SCORE 1270572.959
AT ITER 454 NEW BEST:: SOT 12878059 SOS 6818087 HAS SOPS 6813999 HAS SOUS 1263284 HAS SOUPS 1259847 WITH SCORE 1266665.087
AT ITER 463 NEW BEST:: SOT 12877703 SOS 6817731 HAS SOPS 6813643 HAS SOUS 1262544 HAS SOUPS 1259107 WITH SCORE 1265924.731
AT ITER 471 NEW BEST:: SOT 12876012 SOS 6816040 HAS SOPS 6811952 HAS SOUS 1256246 HAS SOUPS 1252809 WITH SCORE 1259625.04
AT ITER 481 NEW BEST:: SOT 12879150 SOS 6819724 HAS SOPS 6815636 HAS SOUS 1253853 HAS SOUPS 1250416 WITH SCORE 1257235.724
AT ITER 483 NEW BEST:: SOT 12879150 SOS 6817540 HAS SOPS 6813452 HAS SOUS 1253827 HAS SOUPS 1250390 WITH SCORE 1257207.54
AT ITER 484 NEW BEST:: SOT 12883307 SOS 6821697 HAS SOPS 6817609 HAS SOUS 1243702 HAS SOUPS 1240265 WITH SCORE 1247086.697
AT ITER 486 NEW BEST:: SOT 12881647 SOS 6820037 HAS SOPS 6815949 HAS SOUS 1241500 HAS SOUPS 1238063 WITH SCORE 1244883.037
AT ITER 490 NEW BEST:: SOT 12882038 SOS 6820428 HAS SOPS 6816340 HAS SOUS 1238599 HAS SOUPS 1235162 WITH SCORE 1241982.428
AT ITER 499 NEW BEST:: SOT 12886029 SOS 6824419 HAS SOPS 6820331 HAS SOUS 1238047 HAS SOUPS 1234610 WITH SCORE 1241434.419
AT ITER 500 NEW BEST:: SOT 12886065 SOS 6448187 HAS SOPS 6444099 HAS SOUS 1237995 HAS SOUPS 1234558 WITH SCORE 1241006.187
AT ITER 506 NEW BEST:: SOT 12886065 SOS 6445019 HAS SOPS 6440931 HAS SOUS 1237995 HAS SOUPS 1234558 WITH SCORE 1241003.019
AT ITER 513 NEW BEST:: SOT 12886765 SOS 6445719 HAS SOPS 6441631 HAS SOUS 1235828 HAS SOUPS 1232391 WITH SCORE 1238836.719
AT ITER 515 NEW BEST:: SOT 12885013 SOS 6443967 HAS SOPS 6439879 HAS SOUS 1234038 HAS SOUPS 1230601 WITH SCORE 1237044.967
AT ITER 521 NEW BEST:: SOT 12885308 SOS 6444262 HAS SOPS 6440174 HAS SOUS 1231784 HAS SOUPS 1228347 WITH SCORE 1234791.262
AT ITER 525 NEW BEST:: SOT 12885308 SOS 6442246 HAS SOPS 6438158 HAS SOUS 1231784 HAS SOUPS 1228347 WITH SCORE 1234789.246
AT ITER 533 NEW BEST:: SOT 12885308 SOS 6440626 HAS SOPS 6436538 HAS SOUS 1231784 HAS SOUPS 1228347 WITH SCORE 1234787.626
AT ITER 536 NEW BEST:: SOT 12898804 SOS 6457176 HAS SOPS 6452906 HAS SOUS 1218443 HAS SOUPS 1214842 WITH SCORE 1221299.176
AT ITER 538 NEW BEST:: SOT 12899835 SOS 6458316 HAS SOPS 6454046 HAS SOUS 1208247 HAS SOUPS 1204646 WITH SCORE 1211104.316
AT ITER 539 NEW BEST:: SOT 12900335 SOS 6463987 HAS SOPS 6459717 HAS SOUS 1207543 HAS SOUPS 1203942 WITH SCORE 1210405.987
AT ITER 546 NEW BEST:: SOT 12900335 SOS 6461035 HAS SOPS 6456765 HAS SOUS 1207543 HAS SOUPS 1203942 WITH SCORE 1210403.035
AT ITER 547 NEW BEST:: SOT 12900335 SOS 6463358 HAS SOPS 6459088 HAS SOUS 1207484 HAS SOUPS 1203883 WITH SCORE 1210346.358
AT ITER 578 NEW BEST:: SOT 12903697 SOS 6466720 HAS SOPS 6462450 HAS SOUS 1206298 HAS SOUPS 1202697 WITH SCORE 1209163.72
AT ITER 585 NEW BEST:: SOT 12904363 SOS 6467402 HAS SOPS 6463132 HAS SOUS 1205936 HAS SOUPS 1202335 WITH SCORE 1208802.402
AT ITER 590 NEW BEST:: SOT 12915683 SOS 6488802 HAS SOPS 6484532 HAS SOUS 1202185 HAS SOUPS 1198584 WITH SCORE 1205072.802
AT ITER 598 NEW BEST:: SOT 12915758 SOS 6488877 HAS SOPS 6484607 HAS SOUS 1202116 HAS SOUPS 1198515 WITH SCORE 1205003.877
AT ITER 615 NEW BEST:: SOT 12915618 SOS 6488681 HAS SOPS 6484419 HAS SOUS 1201852 HAS SOUPS 1198259 WITH SCORE 1204747.681
AT ITER 621 NEW BEST:: SOT 12913238 SOS 6486091 HAS SOPS 6481878 HAS SOUS 1196627 HAS SOUPS 1193083 WITH SCORE 1199569.091
AT ITER 634 NEW BEST:: SOT 12917699 SOS 6495900 HAS SOPS 6491713 HAS SOUS 1192737 HAS SOUPS 1189219 WITH SCORE 1195714.9
AT ITER 637 NEW BEST:: SOT 12927082 SOS 6506273 HAS SOPS 6502086 HAS SOUS 1191718 HAS SOUPS 1188200 WITH SCORE 1194706.273
AT ITER 649 NEW BEST:: SOT 12932374 SOS 6511565 HAS SOPS 6507378 HAS SOUS 1178478 HAS SOUPS 1174960 WITH SCORE 1181471.565
AT ITER 658 NEW BEST:: SOT 12930963 SOS 6510376 HAS SOPS 6506189 HAS SOUS 1170653 HAS SOUPS 1167135 WITH SCORE 1173645.376
AT ITER 660 NEW BEST:: SOT 12929931 SOS 6509347 HAS SOPS 6505157 HAS SOUS 1168523 HAS SOUPS 1165002 WITH SCORE 1171511.347
AT ITER 662 NEW BEST:: SOT 12934254 SOS 6517843 HAS SOPS 6513656 HAS SOUS 1166594 HAS SOUPS 1163076 WITH SCORE 1169593.843
AT ITER 665 NEW BEST:: SOT 12934254 SOS 6517629 HAS SOPS 6513442 HAS SOUS 1166487 HAS SOUPS 1162969 WITH SCORE 1169486.629
AT ITER 672 NEW BEST:: SOT 12934670 SOS 6518901 HAS SOPS 6515129 HAS SOUS 1165403 HAS SOUPS 1162300 WITH SCORE 1168818.901
AT ITER 675 NEW BEST:: SOT 12934703 SOS 6518934 HAS SOPS 6515162 HAS SOUS 1165354 HAS SOUPS 1162251 WITH SCORE 1168769.934
AT ITER 685 NEW BEST:: SOT 12925291 SOS 6509522 HAS SOPS 6505750 HAS SOUS 1146694 HAS SOUPS 1143591 WITH SCORE 1150100.522
AT ITER 696 NEW BEST:: SOT 12926859 SOS 6510779 HAS SOPS 6507060 HAS SOUS 1140113 HAS SOUPS 1137063 WITH SCORE 1143573.779
AT ITER 720 NEW BEST:: SOT 12926859 SOS 6510779 HAS SOPS 6507060 HAS SOUS 1140104 HAS SOUPS 1137054 WITH SCORE 1143564.779
AT ITER 734 NEW BEST:: SOT 12931200 SOS 6515123 HAS SOPS 6511424 HAS SOUS 1138773 HAS SOUPS 1135743 WITH SCORE 1142258.123
AT ITER 736 NEW BEST:: SOT 12936048 SOS 6519718 HAS SOPS 6516062 HAS SOUS 1138425 HAS SOUPS 1135438 WITH SCORE 1141957.718
AT ITER 743 NEW BEST:: SOT 12936048 SOS 6512446 HAS SOPS 6508790 HAS SOUS 1138425 HAS SOUPS 1135438 WITH SCORE 1141950.446
AT ITER 760 NEW BEST:: SOT 12936048 SOS 6503227 HAS SOPS 6499571 HAS SOUS 1138314 HAS SOUPS 1135327 WITH SCORE 1141830.227
AT ITER 780 NEW BEST:: SOT 12934483 SOS 6501662 HAS SOPS 6498006 HAS SOUS 1135124 HAS SOUPS 1132137 WITH SCORE 1138638.662
AT ITER 792 NEW BEST:: SOT 12933075 SOS 6500254 HAS SOPS 6496598 HAS SOUS 1132256 HAS SOUPS 1129269 WITH SCORE 1135769.254
AT ITER 793 NEW BEST:: SOT 12933075 SOS 6500254 HAS SOPS 6496598 HAS SOUS 1132236 HAS SOUPS 1129249 WITH SCORE 1135749.254
AT ITER 795 NEW BEST:: SOT 12943147 SOS 6511022 HAS SOPS 6507366 HAS SOUS 1126408 HAS SOUPS 1123421 WITH SCORE 1129932.022
AT ITER 798 NEW BEST:: SOT 12943295 SOS 6511170 HAS SOPS 6507514 HAS SOUS 1126134 HAS SOUPS 1123147 WITH SCORE 1129658.17
AT ITER 810 NEW BEST:: SOT 12944184 SOS 6513499 HAS SOPS 6509878 HAS SOUS 1124520 HAS SOUPS 1121568 WITH SCORE 1128081.499
AT ITER 812 NEW BEST:: SOT 12948361 SOS 6517826 HAS SOPS 6514205 HAS SOUS 1123161 HAS SOUPS 1120209 WITH SCORE 1126726.826
AT ITER 837 NEW BEST:: SOT 12948462 SOS 6213770 HAS SOPS 6210149 HAS SOUS 1123161 HAS SOUPS 1120209 WITH SCORE 1126422.77
AT ITER 848 NEW BEST:: SOT 12944986 SOS 6210294 HAS SOPS 6206673 HAS SOUS 1114414 HAS SOUPS 1111462 WITH SCORE 1117672.294
AT ITER 852 NEW BEST:: SOT 12944787 SOS 6210095 HAS SOPS 6206474 HAS SOUS 1113639 HAS SOUPS 1110687 WITH SCORE 1116897.095
AT ITER 857 NEW BEST:: SOT 12944787 SOS 6210095 HAS SOPS 6206474 HAS SOUS 1113637 HAS SOUPS 1110685 WITH SCORE 1116895.095
AT ITER 860 NEW BEST:: SOT 12954453 SOS 6221475 HAS SOPS 6218012 HAS SOUS 1109777 HAS SOUPS 1106832 WITH SCORE 1113053.475
AT ITER 862 NEW BEST:: SOT 12948753 SOS 6218814 HAS SOPS 6215351 HAS SOUS 1103449 HAS SOUPS 1100504 WITH SCORE 1106722.814
AT ITER 872 NEW BEST:: SOT 12950536 SOS 6221475 HAS SOPS 6218039 HAS SOUS 1100277 HAS SOUPS 1097359 WITH SCORE 1103580.475
AT ITER 875 NEW BEST:: SOT 12950536 SOS 6221259 HAS SOPS 6217823 HAS SOUS 1100277 HAS SOUPS 1097359 WITH SCORE 1103580.259
AT ITER 915 NEW BEST:: SOT 12950675 SOS 6221398 HAS SOPS 6217962 HAS SOUS 1100193 HAS SOUPS 1097275 WITH SCORE 1103496.398
AT ITER 923 NEW BEST:: SOT 12952159 SOS 6223501 HAS SOPS 6220089 HAS SOUS 1099920 HAS SOUPS 1097026 WITH SCORE 1103249.501
AT ITER 946 NEW BEST:: SOT 12952159 SOS 6223131 HAS SOPS 6219719 HAS SOUS 1099735 HAS SOUPS 1096841 WITH SCORE 1103064.131
AT ITER 951 NEW BEST:: SOT 12949806 SOS 6219002 HAS SOPS 6215590 HAS SOUS 1099486 HAS SOUPS 1096592 WITH SCORE 1102811.002
AT ITER 963 NEW BEST:: SOT 12947415 SOS 6218583 HAS SOPS 6215171 HAS SOUS 1098776 HAS SOUPS 1095882 WITH SCORE 1102100.583
AT ITER 964 NEW BEST:: SOT 12946179 SOS 6217172 HAS SOPS 6213807 HAS SOUS 1096327 HAS SOUPS 1093480 WITH SCORE 1099697.172
AT ITER 973 NEW BEST:: SOT 12958877 SOS 6229870 HAS SOPS 6226505 HAS SOUS 1092903 HAS SOUPS 1090056 WITH SCORE 1096285.87
AT ITER 979 NEW BEST:: SOT 12958867 SOS 6229860 HAS SOPS 6226495 HAS SOUS 1092896 HAS SOUPS 1090049 WITH SCORE 1096278.86
AT ITER 989 NEW BEST:: SOT 12957310 SOS 6228303 HAS SOPS 6224938 HAS SOUS 1087008 HAS SOUPS 1084161 WITH SCORE 1090389.303
AT ITER 992 NEW BEST:: SOT 12957487 SOS 6228532 HAS SOPS 6225167 HAS SOUS 1084054 HAS SOUPS 1081207 WITH SCORE 1087435.532
AT ITER 1004 NEW BEST:: SOT 12957487 SOS 6230347 HAS SOPS 6226982 HAS SOUS 1083399 HAS SOUPS 1080552 WITH SCORE 1086782.347
AT ITER 1018 NEW BEST:: SOT 12960525 SOS 6233385 HAS SOPS 6230020 HAS SOUS 1079227 HAS SOUPS 1076380 WITH SCORE 1082613.385
AT ITER 1046 NEW BEST:: SOT 12957753 SOS 6230613 HAS SOPS 6227248 HAS SOUS 1076875 HAS SOUPS 1074028 WITH SCORE 1080258.613
AT ITER 1049 NEW BEST:: SOT 12957753 SOS 6230181 HAS SOPS 6226816 HAS SOUS 1076875 HAS SOUPS 1074028 WITH SCORE 1080258.181
AT ITER 1066 NEW BEST:: SOT 12958467 SOS 6230895 HAS SOPS 6227530 HAS SOUS 1075755 HAS SOUPS 1072908 WITH SCORE 1079138.895
AT ITER 1070 NEW BEST:: SOT 12957210 SOS 6229638 HAS SOPS 6226273 HAS SOUS 1073335 HAS SOUPS 1070488 WITH SCORE 1076717.638
AT ITER 1074 NEW BEST:: SOT 12959993 SOS 6232366 HAS SOPS 6229001 HAS SOUS 1070136 HAS SOUPS 1067289 WITH SCORE 1073521.366
AT ITER 1086 NEW BEST:: SOT 12961695 SOS 6235287 HAS SOPS 6231973 HAS SOUS 1068404 HAS SOUPS 1065608 WITH SCORE 1071843.287
AT ITER 1092 NEW BEST:: SOT 12962495 SOS 6236087 HAS SOPS 6232773 HAS SOUS 1067810 HAS SOUPS 1065014 WITH SCORE 1071250.087
AT ITER 1094 NEW BEST:: SOT 12975229 SOS 6249372 HAS SOPS 6245812 HAS SOUS 1065985 HAS SOUPS 1063066 WITH SCORE 1069315.372
AT ITER 1096 NEW BEST:: SOT 12977691 SOS 6252326 HAS SOPS 6248766 HAS SOUS 1065447 HAS SOUPS 1062528 WITH SCORE 1068780.326
AT ITER 1103 NEW BEST:: SOT 12982673 SOS 6263370 HAS SOPS 6259810 HAS SOUS 1065211 HAS SOUPS 1062292 WITH SCORE 1068555.37
AT ITER 1107 NEW BEST:: SOT 12982740 SOS 6263437 HAS SOPS 6259877 HAS SOUS 1064363 HAS SOUPS 1061444 WITH SCORE 1067707.437
AT ITER 1131 NEW BEST:: SOT 12982618 SOS 6263315 HAS SOPS 6259755 HAS SOUS 1064237 HAS SOUPS 1061318 WITH SCORE 1067581.315
AT ITER 1150 NEW BEST:: SOT 12977618 SOS 6258315 HAS SOPS 6254755 HAS SOUS 1058835 HAS SOUPS 1055916 WITH SCORE 1062174.315
AT ITER 1157 NEW BEST:: SOT 12975293 SOS 6255556 HAS SOPS 6251920 HAS SOUS 1058606 HAS SOUPS 1055611 WITH SCORE 1061866.556
AT ITER 1165 NEW BEST:: SOT 12974553 SOS 6254816 HAS SOPS 6251180 HAS SOUS 1057106 HAS SOUPS 1054111 WITH SCORE 1060365.816
AT ITER 1168 NEW BEST:: SOT 12969618 SOS 6249825 HAS SOPS 6246191 HAS SOUS 1054240 HAS SOUPS 1051247 WITH SCORE 1057496.825
AT ITER 1177 NEW BEST:: SOT 12969537 SOS 6249744 HAS SOPS 6246110 HAS SOUS 1054104 HAS SOUPS 1051111 WITH SCORE 1057360.744
AT ITER 1185 NEW BEST:: SOT 12970478 SOS 6250813 HAS SOPS 6247179 HAS SOUS 1053185 HAS SOUPS 1050192 WITH SCORE 1056442.813
AT ITER 1199 NEW BEST:: SOT 12975206 SOS 6255602 HAS SOPS 6251999 HAS SOUS 1052545 HAS SOUPS 1049583 WITH SCORE 1055838.602
AT ITER 1205 NEW BEST:: SOT 12983902 SOS 6272744 HAS SOPS 6269191 HAS SOUS 1051378 HAS SOUPS 1048466 WITH SCORE 1054738.744
AT ITER 1218 NEW BEST:: SOT 12988104 SOS 6276946 HAS SOPS 6273393 HAS SOUS 1051202 HAS SOUPS 1048290 WITH SCORE 1054566.946
AT ITER 1229 NEW BEST:: SOT 12986999 SOS 6275841 HAS SOPS 6272288 HAS SOUS 1048966 HAS SOUPS 1046054 WITH SCORE 1052329.841
AT ITER 1230 NEW BEST:: SOT 12986999 SOS 6274617 HAS SOPS 6271064 HAS SOUS 1048966 HAS SOUPS 1046054 WITH SCORE 1052328.617
AT ITER 1251 NEW BEST:: SOT 12986999 SOS 6274291 HAS SOPS 6270738 HAS SOUS 1048803 HAS SOUPS 1045891 WITH SCORE 1052165.291
AT ITER 1291 NEW BEST:: SOT 12986856 SOS 6274148 HAS SOPS 6270595 HAS SOUS 1047968 HAS SOUPS 1045056 WITH SCORE 1051330.148
AT ITER 1324 NEW BEST:: SOT 12986537 SOS 6273829 HAS SOPS 6270276 HAS SOUS 1047824 HAS SOUPS 1044912 WITH SCORE 1051185.829
AT ITER 1328 NEW BEST:: SOT 12985499 SOS 6272641 HAS SOPS 6269088 HAS SOUS 1045822 HAS SOUPS 1042910 WITH SCORE 1049182.641
AT ITER 1344 NEW BEST:: SOT 12985499 SOS 6271633 HAS SOPS 6268080 HAS SOUS 1045822 HAS SOUPS 1042910 WITH SCORE 1049181.633
AT ITER 1370 NEW BEST:: SOT 12976388 SOS 6256390 HAS SOPS 6252837 HAS SOUS 1044634 HAS SOUPS 1041722 WITH SCORE 1047978.39
AT ITER 1373 NEW BEST:: SOT 12976229 SOS 6256231 HAS SOPS 6252678 HAS SOUS 1044345 HAS SOUPS 1041433 WITH SCORE 1047689.231
AT ITER 1377 NEW BEST:: SOT 12982738 SOS 6270475 HAS SOPS 6266963 HAS SOUS 1039719 HAS SOUPS 1036848 WITH SCORE 1043118.475
AT ITER 1388 NEW BEST:: SOT 12982881 SOS 6270464 HAS SOPS 6266952 HAS SOUS 1039432 HAS SOUPS 1036561 WITH SCORE 1042831.464
AT ITER 1393 NEW BEST:: SOT 12982881 SOS 6270447 HAS SOPS 6266935 HAS SOUS 1039415 HAS SOUPS 1036544 WITH SCORE 1042814.447
AT ITER 1398 NEW BEST:: SOT 12981596 SOS 6269162 HAS SOPS 6265650 HAS SOUS 1036860 HAS SOUPS 1033989 WITH SCORE 1040258.162
AT ITER 1414 NEW BEST:: SOT 12981589 SOS 6269155 HAS SOPS 6265643 HAS SOUS 1036853 HAS SOUPS 1033982 WITH SCORE 1040251.155
AT ITER 1418 NEW BEST:: SOT 12985438 SOS 6273468 HAS SOPS 6269956 HAS SOUS 1032906 HAS SOUPS 1030035 WITH SCORE 1036308.468
AT ITER 1423 NEW BEST:: SOT 12990675 SOS 6279722 HAS SOPS 6276443 HAS SOUS 1029493 HAS SOUPS 1026855 WITH SCORE 1033134.722
AT ITER 1430 NEW BEST:: SOT 12990675 SOS 6279722 HAS SOPS 6276443 HAS SOUS 1029492 HAS SOUPS 1026854 WITH SCORE 1033133.722
AT ITER 1435 NEW BEST:: SOT 12988308 SOS 6277368 HAS SOPS 6274089 HAS SOUS 1024850 HAS SOUPS 1022212 WITH SCORE 1028489.368
AT ITER 1459 NEW BEST:: SOT 12975930 SOS 6265339 HAS SOPS 6262046 HAS SOUS 1024831 HAS SOUPS 1022179 WITH SCORE 1028444.339
AT ITER 1461 NEW BEST:: SOT 12975930 SOS 6263697 HAS SOPS 6260404 HAS SOUS 1024374 HAS SOUPS 1021722 WITH SCORE 1027985.697
AT ITER 1490 NEW BEST:: SOT 12975930 SOS 6263690 HAS SOPS 6260397 HAS SOUS 1024367 HAS SOUPS 1021715 WITH SCORE 1027978.69
AT ITER 1496 NEW BEST:: SOT 12975930 SOS 6263648 HAS SOPS 6260355 HAS SOUS 1024325 HAS SOUPS 1021673 WITH SCORE 1027936.648
AT ITER 1511 NEW BEST:: SOT 12971450 SOS 6259168 HAS SOPS 6255875 HAS SOUS 1014539 HAS SOUPS 1011887 WITH SCORE 1018146.168
AT ITER 1522 NEW BEST:: SOT 12967828 SOS 6250703 HAS SOPS 6247410 HAS SOUS 1010917 HAS SOUPS 1008265 WITH SCORE 1014515.703
AT ITER 1528 NEW BEST:: SOT 12967327 SOS 6249554 HAS SOPS 6246261 HAS SOUS 1010407 HAS SOUPS 1007755 WITH SCORE 1014004.554
AT ITER 1535 NEW BEST:: SOT 12967348 SOS 6249575 HAS SOPS 6246282 HAS SOUS 1010401 HAS SOUPS 1007749 WITH SCORE 1013998.575
AT ITER 1541 NEW BEST:: SOT 12968278 SOS 6258089 HAS SOPS 6254796 HAS SOUS 1008705 HAS SOUPS 1006053 WITH SCORE 1012311.089
AT ITER 1548 NEW BEST:: SOT 12966339 SOS 6256150 HAS SOPS 6252857 HAS SOUS 1005547 HAS SOUPS 1002895 WITH SCORE 1009151.15
AT ITER 1567 NEW BEST:: SOT 12966117 SOS 6255928 HAS SOPS 6252635 HAS SOUS 1005327 HAS SOUPS 1002675 WITH SCORE 1008930.928
AT ITER 1568 NEW BEST:: SOT 12968160 SOS 6257975 HAS SOPS 6254686 HAS SOUS 1004771 HAS SOUPS 1002123 WITH SCORE 1008380.975
AT ITER 1573 NEW BEST:: SOT 12969376 SOS 6259431 HAS SOPS 6256142 HAS SOUS 1004643 HAS SOUPS 1001995 WITH SCORE 1008254.431
AT ITER 1574 NEW BEST:: SOT 12965129 SOS 6255184 HAS SOPS 6251895 HAS SOUS 996168 HAS SOUPS 993520 WITH SCORE 999775.184
AT ITER 1587 NEW BEST:: SOT 12967454 SOS 6256972 HAS SOPS 6253929 HAS SOUS 992448 HAS SOUPS 989923 WITH SCORE 996179.972
AT ITER 1592 NEW BEST:: SOT 12967454 SOS 6255877 HAS SOPS 6252834 HAS SOUS 992259 HAS SOUPS 989734 WITH SCORE 995989.877
AT ITER 1625 NEW BEST:: SOT 12967497 SOS 6255920 HAS SOPS 6252877 HAS SOUS 992186 HAS SOUPS 989661 WITH SCORE 995916.92
AT ITER 1640 NEW BEST:: SOT 12967497 SOS 6257161 HAS SOPS 6254118 HAS SOUS 992047 HAS SOUPS 989522 WITH SCORE 995779.161
AT ITER 1653 NEW BEST:: SOT 12967497 SOS 6256081 HAS SOPS 6253038 HAS SOUS 992047 HAS SOUPS 989522 WITH SCORE 995778.081
AT ITER 1664 NEW BEST:: SOT 12965212 SOS 6248540 HAS SOPS 6245497 HAS SOUS 991638 HAS SOUPS 989113 WITH SCORE 995361.54
AT ITER 1680 NEW BEST:: SOT 12964453 SOS 6247781 HAS SOPS 6244738 HAS SOUS 988705 HAS SOUPS 986180 WITH SCORE 992427.781
AT ITER 1692 NEW BEST:: SOT 12962240 SOS 6245533 HAS SOPS 6242495 HAS SOUS 984032 HAS SOUPS 981512 WITH SCORE 987757.533
AT ITER 1694 NEW BEST:: SOT 12962240 SOS 6244672 HAS SOPS 6241634 HAS SOUS 984029 HAS SOUPS 981509 WITH SCORE 987753.672
AT ITER 1696 NEW BEST:: SOT 12962400 SOS 6244774 HAS SOPS 6241745 HAS SOUS 978699 HAS SOUPS 976188 WITH SCORE 982432.774
AT ITER 1704 NEW BEST:: SOT 12962307 SOS 6244697 HAS SOPS 6241668 HAS SOUS 977598 HAS SOUPS 975087 WITH SCORE 981331.697
AT ITER 1705 NEW BEST:: SOT 12962307 SOS 6244685 HAS SOPS 6241656 HAS SOUS 977574 HAS SOUPS 975063 WITH SCORE 981307.685
AT ITER 1711 NEW BEST:: SOT 12962307 SOS 6244597 HAS SOPS 6241568 HAS SOUS 977486 HAS SOUPS 974975 WITH SCORE 981219.597
AT ITER 1714 NEW BEST:: SOT 12961930 SOS 6244220 HAS SOPS 6241191 HAS SOUS 976820 HAS SOUPS 974309 WITH SCORE 980553.22
AT ITER 1715 NEW BEST:: SOT 12961992 SOS 6244285 HAS SOPS 6241256 HAS SOUS 976777 HAS SOUPS 974266 WITH SCORE 980510.285
AT ITER 1717 NEW BEST:: SOT 12957918 SOS 6239849 HAS SOPS 6236820 HAS SOUS 968554 HAS SOUPS 966043 WITH SCORE 972282.849
AT ITER 1725 NEW BEST:: SOT 12940154 SOS 6221169 HAS SOPS 6218140 HAS SOUS 964230 HAS SOUPS 961719 WITH SCORE 967940.169
AT ITER 1727 NEW BEST:: SOT 12940612 SOS 6221627 HAS SOPS 6218598 HAS SOUS 963908 HAS SOUPS 961397 WITH SCORE 967618.627
AT ITER 1730 NEW BEST:: SOT 12943553 SOS 6224572 HAS SOPS 6221575 HAS SOUS 963204 HAS SOUPS 960725 WITH SCORE 966949.572
AT ITER 1745 NEW BEST:: SOT 12944083 SOS 6225102 HAS SOPS 6222105 HAS SOUS 962910 HAS SOUPS 960431 WITH SCORE 966656.102
AT ITER 1760 NEW BEST:: SOT 12944104 SOS 6225118 HAS SOPS 6222091 HAS SOUS 962902 HAS SOUPS 960393 WITH SCORE 966618.118
AT ITER 1761 NEW BEST:: SOT 12944104 SOS 6224183 HAS SOPS 6221156 HAS SOUS 962755 HAS SOUPS 960246 WITH SCORE 966470.183
AT ITER 1765 NEW BEST:: SOT 12949043 SOS 6229136 HAS SOPS 6226273 HAS SOUS 956738 HAS SOUPS 954375 WITH SCORE 960604.136
AT ITER 1803 NEW BEST:: SOT 12939909 SOS 6213786 HAS SOPS 6210923 HAS SOUS 955209 HAS SOUPS 952846 WITH SCORE 959059.786
AT ITER 1810 NEW BEST:: SOT 12936531 SOS 6216346 HAS SOPS 6213483 HAS SOUS 950426 HAS SOUPS 948063 WITH SCORE 954279.346
AT ITER 1813 NEW BEST:: SOT 12937630 SOS 6224219 HAS SOPS 6221564 HAS SOUS 949939 HAS SOUPS 947784 WITH SCORE 954008.219
AT ITER 1820 NEW BEST:: SOT 12937630 SOS 6223585 HAS SOPS 6220930 HAS SOUS 949766 HAS SOUPS 947611 WITH SCORE 953834.585
AT ITER 1821 NEW BEST:: SOT 12937195 SOS 6223150 HAS SOPS 6220495 HAS SOUS 948925 HAS SOUPS 946770 WITH SCORE 952993.15
AT ITER 1822 NEW BEST:: SOT 12938118 SOS 6229185 HAS SOPS 6226530 HAS SOUS 946181 HAS SOUPS 944026 WITH SCORE 950255.185
AT ITER 1824 NEW BEST:: SOT 12938754 SOS 6229956 HAS SOPS 6227301 HAS SOUS 945338 HAS SOUPS 943183 WITH SCORE 949412.956
AT ITER 1832 NEW BEST:: SOT 12938228 SOS 6229430 HAS SOPS 6226775 HAS SOUS 944700 HAS SOUPS 942545 WITH SCORE 948774.43
AT ITER 1851 NEW BEST:: SOT 12938461 SOS 6229663 HAS SOPS 6227014 HAS SOUS 944588 HAS SOUPS 942439 WITH SCORE 948668.663
AT ITER 1884 NEW BEST:: SOT 12941737 SOS 6233004 HAS SOPS 6230355 HAS SOUS 943700 HAS SOUPS 941551 WITH SCORE 947784.004
AT ITER 1885 NEW BEST:: SOT 12947856 SOS 6239123 HAS SOPS 6236474 HAS SOUS 942707 HAS SOUPS 940558 WITH SCORE 946797.123
AT ITER 1897 NEW BEST:: SOT 12947499 SOS 6238114 HAS SOPS 6235411 HAS SOUS 942314 HAS SOUPS 940111 WITH SCORE 946349.114
AT ITER 1907 NEW BEST:: SOT 12947499 SOS 6238114 HAS SOPS 6235411 HAS SOUS 942298 HAS SOUPS 940095 WITH SCORE 946333.114
AT ITER 1927 NEW BEST:: SOT 12949257 SOS 6239872 HAS SOPS 6237169 HAS SOUS 936574 HAS SOUPS 934371 WITH SCORE 940610.872
AT ITER 1941 NEW BEST:: SOT 12945650 SOS 6238117 HAS SOPS 6235414 HAS SOUS 929647 HAS SOUPS 927444 WITH SCORE 933682.117
AT ITER 1946 NEW BEST:: SOT 12945306 SOS 6238529 HAS SOPS 6235826 HAS SOUS 921023 HAS SOUPS 918820 WITH SCORE 925058.529
AT ITER 1953 NEW BEST:: SOT 12945228 SOS 6238447 HAS SOPS 6235744 HAS SOUS 921018 HAS SOUPS 918815 WITH SCORE 925053.447
AT ITER 1993 NEW BEST:: SOT 12942731 SOS 6240348 HAS SOPS 6238057 HAS SOUS 918900 HAS SOUPS 916697 WITH SCORE 922937.348
AT ITER 2012 NEW BEST:: SOT 12946679 SOS 6244300 HAS SOPS 6242081 HAS SOUS 917507 HAS SOUPS 915376 WITH SCORE 921620.3
AT ITER 2016 NEW BEST:: SOT 12942816 SOS 6240437 HAS SOPS 6238218 HAS SOUS 914071 HAS SOUPS 911940 WITH SCORE 918180.437
AT ITER 2018 NEW BEST:: SOT 12943513 SOS 6241134 HAS SOPS 6238915 HAS SOUS 913031 HAS SOUPS 910900 WITH SCORE 917141.134
AT ITER 2020 NEW BEST:: SOT 12945420 SOS 6241529 HAS SOPS 6239310 HAS SOUS 912843 HAS SOUPS 910712 WITH SCORE 916953.529
AT ITER 2037 NEW BEST:: SOT 12941333 SOS 6237442 HAS SOPS 6235223 HAS SOUS 909157 HAS SOUPS 907026 WITH SCORE 913263.442
AT ITER 2049 NEW BEST:: SOT 12941079 SOS 6229187 HAS SOPS 6226968 HAS SOUS 908903 HAS SOUPS 906772 WITH SCORE 913001.187
AT ITER 2057 NEW BEST:: SOT 12941653 SOS 6229717 HAS SOPS 6227499 HAS SOUS 903981 HAS SOUPS 901851 WITH SCORE 908080.717
AT ITER 2069 NEW BEST:: SOT 12941653 SOS 6229677 HAS SOPS 6227459 HAS SOUS 903981 HAS SOUPS 901851 WITH SCORE 908080.677
AT ITER 2074 NEW BEST:: SOT 12947718 SOS 6237484 HAS SOPS 6235354 HAS SOUS 902649 HAS SOUPS 900519 WITH SCORE 906756.484
AT ITER 2092 NEW BEST:: SOT 12947327 SOS 6237093 HAS SOPS 6234963 HAS SOUS 901849 HAS SOUPS 899719 WITH SCORE 905956.093
AT ITER 2098 NEW BEST:: SOT 12946231 SOS 6235997 HAS SOPS 6233867 HAS SOUS 899698 HAS SOUPS 897568 WITH SCORE 903803.997
AT ITER 2111 NEW BEST:: SOT 12946206 SOS 6235972 HAS SOPS 6233842 HAS SOUS 899583 HAS SOUPS 897453 WITH SCORE 903688.972
AT ITER 2116 NEW BEST:: SOT 12945806 SOS 6235572 HAS SOPS 6233442 HAS SOUS 898833 HAS SOUPS 896703 WITH SCORE 902938.572
AT ITER 2119 NEW BEST:: SOT 12945806 SOS 6237308 HAS SOPS 6235178 HAS SOUS 898610 HAS SOUPS 896480 WITH SCORE 902717.308
AT ITER 2124 NEW BEST:: SOT 12945806 SOS 6237286 HAS SOPS 6235156 HAS SOUS 898604 HAS SOUPS 896474 WITH SCORE 902711.286
AT ITER 2153 NEW BEST:: SOT 12946341 SOS 6237771 HAS SOPS 6235641 HAS SOUS 896630 HAS SOUPS 894500 WITH SCORE 900737.771
AT ITER 2155 NEW BEST:: SOT 12940873 SOS 6234989 HAS SOPS 6232859 HAS SOUS 890982 HAS SOUPS 888852 WITH SCORE 895086.989
AT ITER 2158 NEW BEST:: SOT 12937246 SOS 6231362 HAS SOPS 6229232 HAS SOUS 883459 HAS SOUPS 881329 WITH SCORE 887560.362
AT ITER 2173 NEW BEST:: SOT 12937246 SOS 6233254 HAS SOPS 6231124 HAS SOUS 882713 HAS SOUPS 880583 WITH SCORE 886816.254
AT ITER 2175 NEW BEST:: SOT 12943392 SOS 6239400 HAS SOPS 6237270 HAS SOUS 880334 HAS SOUPS 878204 WITH SCORE 884443.4
AT ITER 2192 NEW BEST:: SOT 12943392 SOS 6239170 HAS SOPS 6237040 HAS SOUS 880219 HAS SOUPS 878089 WITH SCORE 884328.17
AT ITER 2200 NEW BEST:: SOT 12943392 SOS 6239170 HAS SOPS 6237040 HAS SOUS 880216 HAS SOUPS 878086 WITH SCORE 884325.17
AT ITER 2217 NEW BEST:: SOT 12938198 SOS 6233976 HAS SOPS 6231846 HAS SOUS 873359 HAS SOUPS 871229 WITH SCORE 877462.976
AT ITER 2223 NEW BEST:: SOT 12938198 SOS 6232334 HAS SOPS 6230204 HAS SOUS 873158 HAS SOUPS 871028 WITH SCORE 877260.334
AT ITER 2225 NEW BEST:: SOT 12938197 SOS 6232333 HAS SOPS 6230203 HAS SOUS 873157 HAS SOUPS 871027 WITH SCORE 877259.333
AT ITER 2235 NEW BEST:: SOT 12938064 SOS 6232200 HAS SOPS 6230070 HAS SOUS 873035 HAS SOUPS 870905 WITH SCORE 877137.2
AT ITER 2236 NEW BEST:: SOT 12938064 SOS 6236226 HAS SOPS 6234096 HAS SOUS 873014 HAS SOUPS 870884 WITH SCORE 877120.226
AT ITER 2267 NEW BEST:: SOT 12942712 SOS 6249500 HAS SOPS 6247384 HAS SOUS 868612 HAS SOUPS 866496 WITH SCORE 872745.5
AT ITER 2271 NEW BEST:: SOT 12942059 SOS 6259077 HAS SOPS 6256961 HAS SOUS 867645 HAS SOUPS 865529 WITH SCORE 871788.077
AT ITER 2273 NEW BEST:: SOT 12941055 SOS 6256795 HAS SOPS 6254679 HAS SOUS 866659 HAS SOUPS 864543 WITH SCORE 870799.795
AT ITER 2303 NEW BEST:: SOT 12935316 SOS 6251056 HAS SOPS 6248940 HAS SOUS 862559 HAS SOUPS 860443 WITH SCORE 866694.056
AT ITER 2319 NEW BEST:: SOT 12935380 SOS 6251036 HAS SOPS 6248880 HAS SOUS 862580 HAS SOUPS 860424 WITH SCORE 866675.036
AT ITER 2326 NEW BEST:: SOT 12935436 SOS 6250785 HAS SOPS 6248486 HAS SOUS 862619 HAS SOUPS 860320 WITH SCORE 866570.785
AT ITER 2327 NEW BEST:: SOT 12937805 SOS 6253145 HAS SOPS 6250846 HAS SOUS 860893 HAS SOUPS 858594 WITH SCORE 864847.145
AT ITER 2330 NEW BEST:: SOT 12936748 SOS 6252088 HAS SOPS 6249789 HAS SOUS 854574 HAS SOUPS 852275 WITH SCORE 858527.088
AT ITER 2336 NEW BEST:: SOT 12936562 SOS 6251902 HAS SOPS 6249603 HAS SOUS 854391 HAS SOUPS 852092 WITH SCORE 858343.902
AT ITER 2350 NEW BEST:: SOT 12935880 SOS 6251220 HAS SOPS 6248921 HAS SOUS 850709 HAS SOUPS 848410 WITH SCORE 854661.22
AT ITER 2353 NEW BEST:: SOT 12936052 SOS 6255385 HAS SOPS 6252648 HAS SOUS 850375 HAS SOUPS 848011 WITH SCORE 854266.385
AT ITER 2354 NEW BEST:: SOT 12936052 SOS 6255385 HAS SOPS 6252648 HAS SOUS 850190 HAS SOUPS 847826 WITH SCORE 854081.385
AT ITER 2356 NEW BEST:: SOT 12931604 SOS 6246352 HAS SOPS 6243499 HAS SOUS 849827 HAS SOUPS 847368 WITH SCORE 853614.352
AT ITER 2388 NEW BEST:: SOT 12931463 SOS 6246210 HAS SOPS 6243357 HAS SOUS 849487 HAS SOUPS 847028 WITH SCORE 853274.21
AT ITER 2403 NEW BEST:: SOT 12930526 SOS 6245273 HAS SOPS 6242420 HAS SOUS 841920 HAS SOUPS 839461 WITH SCORE 845706.273
AT ITER 2415 NEW BEST:: SOT 12930401 SOS 6245147 HAS SOPS 6242294 HAS SOUS 841800 HAS SOUPS 839341 WITH SCORE 845586.147
AT ITER 2427 NEW BEST:: SOT 12929562 SOS 6244308 HAS SOPS 6241455 HAS SOUS 840028 HAS SOUPS 837569 WITH SCORE 843813.308
AT ITER 2429 NEW BEST:: SOT 12932978 SOS 6247591 HAS SOPS 6244758 HAS SOUS 836882 HAS SOUPS 834443 WITH SCORE 840690.591
AT ITER 2430 NEW BEST:: SOT 12932805 SOS 6247418 HAS SOPS 6244585 HAS SOUS 836554 HAS SOUPS 834115 WITH SCORE 840362.418
AT ITER 2431 NEW BEST:: SOT 12934758 SOS 6249348 HAS SOPS 6246515 HAS SOUS 834743 HAS SOUPS 832304 WITH SCORE 838553.348
AT ITER 2433 NEW BEST:: SOT 12929528 SOS 6244118 HAS SOPS 6241285 HAS SOUS 831297 HAS SOUPS 828858 WITH SCORE 835102.118
AT ITER 2438 NEW BEST:: SOT 12928197 SOS 6242777 HAS SOPS 6239944 HAS SOUS 830269 HAS SOUPS 827830 WITH SCORE 834072.777
AT ITER 2441 NEW BEST:: SOT 12928912 SOS 6246301 HAS SOPS 6243543 HAS SOUS 829014 HAS SOUPS 826629 WITH SCORE 832875.301
AT ITER 2459 NEW BEST:: SOT 12928912 SOS 6246301 HAS SOPS 6243543 HAS SOUS 828823 HAS SOUPS 826438 WITH SCORE 832684.301
AT ITER 2469 NEW BEST:: SOT 12930594 SOS 6247983 HAS SOPS 6245225 HAS SOUS 828659 HAS SOUPS 826274 WITH SCORE 832521.983
AT ITER 2485 NEW BEST:: SOT 12927262 SOS 6249981 HAS SOPS 6247223 HAS SOUS 826715 HAS SOUPS 824330 WITH SCORE 830579.981
AT ITER 2488 NEW BEST:: SOT 12926755 SOS 6249330 HAS SOPS 6246572 HAS SOUS 826155 HAS SOUPS 823770 WITH SCORE 830019.33
AT ITER 2494 NEW BEST:: SOT 12926755 SOS 6248754 HAS SOPS 6245996 HAS SOUS 826155 HAS SOUPS 823770 WITH SCORE 830018.754
AT ITER 2501 NEW BEST:: SOT 12926993 SOS 6248900 HAS SOPS 6246172 HAS SOUS 825934 HAS SOUPS 823564 WITH SCORE 829812.9
AT ITER 2502 NEW BEST:: SOT 12926782 SOS 6248689 HAS SOPS 6245961 HAS SOUS 825320 HAS SOUPS 822950 WITH SCORE 829198.689
AT ITER 2510 NEW BEST:: SOT 12926782 SOS 6248591 HAS SOPS 6245863 HAS SOUS 825271 HAS SOUPS 822901 WITH SCORE 829149.591
AT ITER 2522 NEW BEST:: SOT 12924963 SOS 6246425 HAS SOPS 6243627 HAS SOUS 825174 HAS SOUPS 822734 WITH SCORE 828980.425
AT ITER 2548 NEW BEST:: SOT 12928944 SOS 6258364 HAS SOPS 6255566 HAS SOUS 821874 HAS SOUPS 819434 WITH SCORE 825692.364
AT ITER 2556 NEW BEST:: SOT 12928944 SOS 6258188 HAS SOPS 6255390 HAS SOUS 821771 HAS SOUPS 819331 WITH SCORE 825589.188
AT ITER 2560 NEW BEST:: SOT 12934632 SOS 6263876 HAS SOPS 6261078 HAS SOUS 815154 HAS SOUPS 812714 WITH SCORE 818977.876
AT ITER 2583 NEW BEST:: SOT 12934606 SOS 6263850 HAS SOPS 6261052 HAS SOUS 815128 HAS SOUPS 812688 WITH SCORE 818951.85
AT ITER 2590 NEW BEST:: SOT 12932124 SOS 6254374 HAS SOPS 6251576 HAS SOUS 813651 HAS SOUPS 811211 WITH SCORE 817465.374
AT ITER 2624 NEW BEST:: SOT 12932124 SOS 6254342 HAS SOPS 6251544 HAS SOUS 813643 HAS SOUPS 811203 WITH SCORE 817457.342
AT ITER 2627 NEW BEST:: SOT 12934394 SOS 6256612 HAS SOPS 6253814 HAS SOUS 811674 HAS SOUPS 809234 WITH SCORE 815490.612
AT ITER 2634 NEW BEST:: SOT 12934394 SOS 6255928 HAS SOPS 6253130 HAS SOUS 811656 HAS SOUPS 809216 WITH SCORE 815471.928
AT ITER 2638 NEW BEST:: SOT 12934394 SOS 6255928 HAS SOPS 6253130 HAS SOUS 811646 HAS SOUPS 809206 WITH SCORE 815461.928
AT ITER 2668 NEW BEST:: SOT 12934272 SOS 6255806 HAS SOPS 6253008 HAS SOUS 811526 HAS SOUPS 809086 WITH SCORE 815341.806
AT ITER 2680 NEW BEST:: SOT 12933069 SOS 6254603 HAS SOPS 6251805 HAS SOUS 809475 HAS SOUPS 807035 WITH SCORE 813289.603
AT ITER 2693 NEW BEST:: SOT 12932991 SOS 6255448 HAS SOPS 6252650 HAS SOUS 808568 HAS SOUPS 806128 WITH SCORE 812383.448
AT ITER 2695 NEW BEST:: SOT 12934843 SOS 6257300 HAS SOPS 6254502 HAS SOUS 804992 HAS SOUPS 802552 WITH SCORE 808809.3
AT ITER 2706 NEW BEST:: SOT 12934389 SOS 6256846 HAS SOPS 6254048 HAS SOUS 802470 HAS SOUPS 800030 WITH SCORE 806286.846
AT ITER 2713 NEW BEST:: SOT 12934389 SOS 6256846 HAS SOPS 6254048 HAS SOUS 802405 HAS SOUPS 799965 WITH SCORE 806221.846
AT ITER 2726 NEW BEST:: SOT 12934389 SOS 6255190 HAS SOPS 6252392 HAS SOUS 802387 HAS SOUPS 799947 WITH SCORE 806202.19
AT ITER 2738 NEW BEST:: SOT 12934328 SOS 6255129 HAS SOPS 6252331 HAS SOUS 802329 HAS SOUPS 799889 WITH SCORE 806144.129
AT ITER 2746 NEW BEST:: SOT 12931100 SOS 6251901 HAS SOPS 6249103 HAS SOUS 801783 HAS SOUPS 799343 WITH SCORE 805594.901
AT ITER 2760 NEW BEST:: SOT 12929059 SOS 6249860 HAS SOPS 6247062 HAS SOUS 800064 HAS SOUPS 797624 WITH SCORE 803873.86
AT ITER 2763 NEW BEST:: SOT 12930671 SOS 6253430 HAS SOPS 6250667 HAS SOUS 799040 HAS SOUPS 796635 WITH SCORE 802888.43
AT ITER 2770 NEW BEST:: SOT 12930650 SOS 6253409 HAS SOPS 6250646 HAS SOUS 799019 HAS SOUPS 796614 WITH SCORE 802867.409
AT ITER 2774 NEW BEST:: SOT 12928503 SOS 6251262 HAS SOPS 6248499 HAS SOUS 797120 HAS SOUPS 794715 WITH SCORE 800966.262
AT ITER 2789 NEW BEST:: SOT 12928062 SOS 6249878 HAS SOPS 6247122 HAS SOUS 796642 HAS SOUPS 794244 WITH SCORE 800493.878
AT ITER 2793 NEW BEST:: SOT 12928543 SOS 6250443 HAS SOPS 6247687 HAS SOUS 796543 HAS SOUPS 794145 WITH SCORE 800395.443
AT ITER 2801 NEW BEST:: SOT 12929817 SOS 6251535 HAS SOPS 6248779 HAS SOUS 795636 HAS SOUPS 793238 WITH SCORE 799489.535
AT ITER 2816 NEW BEST:: SOT 12926196 SOS 6247914 HAS SOPS 6245158 HAS SOUS 790673 HAS SOUPS 788275 WITH SCORE 794522.914
AT ITER 2824 NEW BEST:: SOT 12927942 SOS 6259166 HAS SOPS 6256345 HAS SOUS 789741 HAS SOUPS 787343 WITH SCORE 793602.166
AT ITER 2828 NEW BEST:: SOT 12928264 SOS 6259488 HAS SOPS 6256667 HAS SOUS 789505 HAS SOUPS 787107 WITH SCORE 793366.488
AT ITER 2841 NEW BEST:: SOT 12928045 SOS 6259269 HAS SOPS 6256448 HAS SOUS 789057 HAS SOUPS 786659 WITH SCORE 792918.269
AT ITER 2859 NEW BEST:: SOT 12927535 SOS 6258759 HAS SOPS 6255938 HAS SOUS 787984 HAS SOUPS 785586 WITH SCORE 791844.759
AT ITER 2883 NEW BEST:: SOT 12926049 SOS 6256470 HAS SOPS 6253649 HAS SOUS 787278 HAS SOUPS 784880 WITH SCORE 791136.47
AT ITER 2893 NEW BEST:: SOT 12926117 SOS 6266385 HAS SOPS 6263564 HAS SOUS 784288 HAS SOUPS 781890 WITH SCORE 788156.385
AT ITER 2923 NEW BEST:: SOT 12925419 SOS 6265687 HAS SOPS 6262866 HAS SOUS 782873 HAS SOUPS 780475 WITH SCORE 786740.687
AT ITER 2940 NEW BEST:: SOT 12925440 SOS 6265708 HAS SOPS 6262887 HAS SOUS 782837 HAS SOUPS 780439 WITH SCORE 786704.708
AT ITER 2969 NEW BEST:: SOT 12924613 SOS 6264881 HAS SOPS 6262060 HAS SOUS 780079 HAS SOUPS 777681 WITH SCORE 783945.881
AT ITER 2983 NEW BEST:: SOT 12924613 SOS 6264755 HAS SOPS 6261934 HAS SOUS 780065 HAS SOUPS 777667 WITH SCORE 783931.755
AT ITER 3035 NEW BEST:: SOT 12924613 SOS 6264790 HAS SOPS 6261962 HAS SOUS 780020 HAS SOUPS 777615 WITH SCORE 783879.79
AT ITER 3038 NEW BEST:: SOT 12923563 SOS 6263740 HAS SOPS 6260912 HAS SOUS 778447 HAS SOUPS 776042 WITH SCORE 782305.74
AT ITER 3046 NEW BEST:: SOT 12923606 SOS 6263766 HAS SOPS 6260938 HAS SOUS 778430 HAS SOUPS 776025 WITH SCORE 782288.766
AT ITER 3055 NEW BEST:: SOT 12923625 SOS 6250158 HAS SOPS 6247330 HAS SOUS 778430 HAS SOUPS 776025 WITH SCORE 782275.158
AT ITER 3109 NEW BEST:: SOT 12924005 SOS 6251126 HAS SOPS 6248298 HAS SOUS 776249 HAS SOUPS 773844 WITH SCORE 780095.126
AT ITER 3113 NEW BEST:: SOT 12923450 SOS 6250348 HAS SOPS 6247550 HAS SOUS 775109 HAS SOUPS 772704 WITH SCORE 778954.348
AT ITER 3130 NEW BEST:: SOT 12923489 SOS 6250274 HAS SOPS 6247491 HAS SOUS 774717 HAS SOUPS 772327 WITH SCORE 778577.274
AT ITER 3148 NEW BEST:: SOT 12924360 SOS 6251145 HAS SOPS 6248362 HAS SOUS 774641 HAS SOUPS 772251 WITH SCORE 778502.145
AT ITER 3156 NEW BEST:: SOT 12924360 SOS 6251079 HAS SOPS 6248296 HAS SOUS 774619 HAS SOUPS 772229 WITH SCORE 778480.079
AT ITER 3159 NEW BEST:: SOT 12924454 SOS 6251127 HAS SOPS 6248344 HAS SOUS 773398 HAS SOUPS 771008 WITH SCORE 777259.127
AT ITER 3162 NEW BEST:: SOT 12923539 SOS 6250212 HAS SOPS 6247429 HAS SOUS 772480 HAS SOUPS 770090 WITH SCORE 776340.212
AT ITER 3191 NEW BEST:: SOT 12923539 SOS 6250356 HAS SOPS 6247573 HAS SOUS 772055 HAS SOUPS 769665 WITH SCORE 775915.356
AT ITER 3199 NEW BEST:: SOT 12922464 SOS 6250570 HAS SOPS 6247787 HAS SOUS 769678 HAS SOUPS 767288 WITH SCORE 773538.57
AT ITER 3208 NEW BEST:: SOT 12923289 SOS 6251215 HAS SOPS 6248524 HAS SOUS 768519 HAS SOUPS 766175 WITH SCORE 772426.215
AT ITER 3214 NEW BEST:: SOT 12928754 SOS 6257318 HAS SOPS 6254627 HAS SOUS 768064 HAS SOUPS 765720 WITH SCORE 771977.318
AT ITER 3251 NEW BEST:: SOT 12928754 SOS 6257098 HAS SOPS 6254407 HAS SOUS 768064 HAS SOUPS 765720 WITH SCORE 771977.098
AT ITER 3261 NEW BEST:: SOT 12927786 SOS 6254709 HAS SOPS 6251990 HAS SOUS 767125 HAS SOUPS 764753 WITH SCORE 771007.709
AT ITER 3265 NEW BEST:: SOT 12927446 SOS 6254369 HAS SOPS 6251650 HAS SOUS 766438 HAS SOUPS 764066 WITH SCORE 770320.369
AT ITER 3284 NEW BEST:: SOT 12932385 SOS 6259308 HAS SOPS 6256589 HAS SOUS 765602 HAS SOUPS 763230 WITH SCORE 769489.308
AT ITER 3290 NEW BEST:: SOT 12929212 SOS 6256135 HAS SOPS 6253416 HAS SOUS 764538 HAS SOUPS 762166 WITH SCORE 768422.135
AT ITER 3294 NEW BEST:: SOT 12928620 SOS 6255543 HAS SOPS 6252824 HAS SOUS 763789 HAS SOUPS 761417 WITH SCORE 767672.543
AT ITER 3304 NEW BEST:: SOT 12930497 SOS 6258686 HAS SOPS 6256021 HAS SOUS 762590 HAS SOUPS 760272 WITH SCORE 766530.686
AT ITER 3321 NEW BEST:: SOT 12927666 SOS 6255855 HAS SOPS 6253190 HAS SOUS 761949 HAS SOUPS 759631 WITH SCORE 765886.855
AT ITER 3333 NEW BEST:: SOT 12927794 SOS 6255983 HAS SOPS 6253318 HAS SOUS 761737 HAS SOUPS 759419 WITH SCORE 765674.983
AT ITER 3375 NEW BEST:: SOT 12927794 SOS 6257435 HAS SOPS 6254770 HAS SOUS 761442 HAS SOUPS 759124 WITH SCORE 765381.435
AT ITER 3402 NEW BEST:: SOT 12938242 SOS 6278118 HAS SOPS 6275501 HAS SOUS 758590 HAS SOUPS 756320 WITH SCORE 762598.118
AT ITER 3404 NEW BEST:: SOT 12938376 SOS 6278243 HAS SOPS 6275626 HAS SOUS 754637 HAS SOUPS 752367 WITH SCORE 758645.243
AT ITER 3432 NEW BEST:: SOT 12939834 SOS 6279701 HAS SOPS 6277084 HAS SOUS 754328 HAS SOUPS 752058 WITH SCORE 758337.701
AT ITER 3444 NEW BEST:: SOT 12939825 SOS 6279692 HAS SOPS 6277075 HAS SOUS 754319 HAS SOUPS 752049 WITH SCORE 758328.692
AT ITER 3447 NEW BEST:: SOT 12941406 SOS 6281273 HAS SOPS 6278656 HAS SOUS 752958 HAS SOUPS 750688 WITH SCORE 756969.273
AT ITER 3500 NEW BEST:: SOT 12941406 SOS 6281263 HAS SOPS 6278646 HAS SOUS 752953 HAS SOUPS 750683 WITH SCORE 756964.263
AT ITER 3509 NEW BEST:: SOT 12943299 SOS 6283156 HAS SOPS 6280539 HAS SOUS 752752 HAS SOUPS 750482 WITH SCORE 756765.156
AT ITER 3523 NEW BEST:: SOT 12943022 SOS 6282879 HAS SOPS 6280262 HAS SOUS 752690 HAS SOUPS 750420 WITH SCORE 756702.879
AT ITER 3527 NEW BEST:: SOT 12942756 SOS 6282613 HAS SOPS 6279996 HAS SOUS 752464 HAS SOUPS 750194 WITH SCORE 756476.613
AT ITER 3559 NEW BEST:: SOT 12943806 SOS 6282816 HAS SOPS 6280199 HAS SOUS 751527 HAS SOUPS 749257 WITH SCORE 755539.816
AT ITER 3580 NEW BEST:: SOT 12941602 SOS 6280612 HAS SOPS 6277995 HAS SOUS 749312 HAS SOUPS 747042 WITH SCORE 753322.612
AT ITER 3602 NEW BEST:: SOT 12941601 SOS 6280611 HAS SOPS 6277994 HAS SOUS 749312 HAS SOUPS 747042 WITH SCORE 753322.611
AT ITER 3605 NEW BEST:: SOT 12941601 SOS 6282945 HAS SOPS 6280328 HAS SOUS 748733 HAS SOUPS 746463 WITH SCORE 752745.945
AT ITER 3617 NEW BEST:: SOT 12945602 SOS 6287020 HAS SOPS 6284403 HAS SOUS 747417 HAS SOUPS 745147 WITH SCORE 751434.02
AT ITER 3661 NEW BEST:: SOT 12945207 SOS 6286625 HAS SOPS 6284008 HAS SOUS 747153 HAS SOUPS 744883 WITH SCORE 751169.625
AT ITER 3669 NEW BEST:: SOT 12942577 SOS 6283995 HAS SOPS 6281378 HAS SOUS 744890 HAS SOUPS 742620 WITH SCORE 748903.995
AT ITER 3693 NEW BEST:: SOT 12967540 SOS 6315411 HAS SOPS 6312794 HAS SOUS 743185 HAS SOUPS 740915 WITH SCORE 747230.411
AT ITER 3697 NEW BEST:: SOT 12967492 SOS 6315363 HAS SOPS 6312746 HAS SOUS 743109 HAS SOUPS 740839 WITH SCORE 747154.363
AT ITER 3703 NEW BEST:: SOT 12964151 SOS 6312022 HAS SOPS 6309405 HAS SOUS 739831 HAS SOUPS 737561 WITH SCORE 743873.022
AT ITER 3723 NEW BEST:: SOT 12964137 SOS 6312008 HAS SOPS 6309391 HAS SOUS 739803 HAS SOUPS 737533 WITH SCORE 743845.008
AT ITER 3743 NEW BEST:: SOT 12964282 SOS 6312139 HAS SOPS 6309522 HAS SOUS 738957 HAS SOUPS 736687 WITH SCORE 742999.139
AT ITER 3751 NEW BEST:: SOT 12964282 SOS 6312142 HAS SOPS 6309525 HAS SOUS 738954 HAS SOUPS 736684 WITH SCORE 742996.142
AT ITER 3785 NEW BEST:: SOT 12961297 SOS 6309157 HAS SOPS 6306540 HAS SOUS 734897 HAS SOUPS 732627 WITH SCORE 738936.157
AT ITER 3788 NEW BEST:: SOT 12961080 SOS 6308940 HAS SOPS 6306323 HAS SOUS 734680 HAS SOUPS 732410 WITH SCORE 738718.94
AT ITER 3794 NEW BEST:: SOT 12960215 SOS 6308075 HAS SOPS 6305458 HAS SOUS 732676 HAS SOUPS 730406 WITH SCORE 736714.075
AT ITER 3819 NEW BEST:: SOT 12963768 SOS 6325505 HAS SOPS 6322888 HAS SOUS 731130 HAS SOUPS 728860 WITH SCORE 735185.505
AT ITER 3854 NEW BEST:: SOT 12963768 SOS 6326051 HAS SOPS 6323434 HAS SOUS 731095 HAS SOUPS 728825 WITH SCORE 735151.051
AT ITER 3857 NEW BEST:: SOT 12963768 SOS 6327730 HAS SOPS 6325113 HAS SOUS 730824 HAS SOUPS 728554 WITH SCORE 734881.73
AT ITER 3905 NEW BEST:: SOT 12964236 SOS 6328198 HAS SOPS 6325581 HAS SOUS 727554 HAS SOUPS 725284 WITH SCORE 731612.198
AT ITER 3931 NEW BEST:: SOT 12964395 SOS 6328357 HAS SOPS 6325740 HAS SOUS 727404 HAS SOUPS 725134 WITH SCORE 731462.357
AT ITER 3943 NEW BEST:: SOT 12964431 SOS 6328393 HAS SOPS 6325776 HAS SOUS 727390 HAS SOUPS 725120 WITH SCORE 731448.393
AT ITER 3956 NEW BEST:: SOT 12964405 SOS 6329557 HAS SOPS 6326940 HAS SOUS 726325 HAS SOUPS 724055 WITH SCORE 730384.557
AT ITER 3958 NEW BEST:: SOT 12964405 SOS 6329555 HAS SOPS 6326938 HAS SOUS 726324 HAS SOUPS 724054 WITH SCORE 730383.555
AT ITER 4002 NEW BEST:: SOT 12965262 SOS 6330412 HAS SOPS 6327795 HAS SOUS 726146 HAS SOUPS 723876 WITH SCORE 730206.412
AT ITER 4009 NEW BEST:: SOT 12962816 SOS 6325516 HAS SOPS 6322899 HAS SOUS 723700 HAS SOUPS 721430 WITH SCORE 727755.516
AT ITER 4015 NEW BEST:: SOT 12962816 SOS 6332781 HAS SOPS 6330164 HAS SOUS 723037 HAS SOUPS 720767 WITH SCORE 727099.781
AT ITER 4027 NEW BEST:: SOT 12962767 SOS 6332732 HAS SOPS 6330115 HAS SOUS 722988 HAS SOUPS 720718 WITH SCORE 727050.732
AT ITER 4058 NEW BEST:: SOT 12961377 SOS 6331342 HAS SOPS 6328725 HAS SOUS 720753 HAS SOUPS 718483 WITH SCORE 724814.342
AT ITER 4094 NEW BEST:: SOT 12960995 SOS 6330960 HAS SOPS 6328343 HAS SOUS 719978 HAS SOUPS 717708 WITH SCORE 724038.96
AT ITER 4097 NEW BEST:: SOT 12960460 SOS 6330445 HAS SOPS 6327812 HAS SOUS 719811 HAS SOUPS 717525 WITH SCORE 723855.445
AT ITER 4104 NEW BEST:: SOT 12959945 SOS 6329930 HAS SOPS 6327297 HAS SOUS 719290 HAS SOUPS 717004 WITH SCORE 723333.93
AT ITER 4113 NEW BEST:: SOT 12959945 SOS 6329928 HAS SOPS 6327295 HAS SOUS 719281 HAS SOUPS 716995 WITH SCORE 723324.928
AT ITER 4136 NEW BEST:: SOT 12959991 SOS 6329974 HAS SOPS 6327341 HAS SOUS 719246 HAS SOUPS 716960 WITH SCORE 723289.974
AT ITER 4145 NEW BEST:: SOT 12959076 SOS 6329059 HAS SOPS 6326426 HAS SOUS 717366 HAS SOUPS 715080 WITH SCORE 721409.059
AT ITER 4147 NEW BEST:: SOT 12959073 SOS 6329056 HAS SOPS 6326423 HAS SOUS 717357 HAS SOUPS 715071 WITH SCORE 721400.056
AT ITER 4157 NEW BEST:: SOT 12958128 SOS 6328309 HAS SOPS 6325691 HAS SOUS 715744 HAS SOUPS 713473 WITH SCORE 719801.309
AT ITER 4177 NEW BEST:: SOT 12958100 SOS 6328281 HAS SOPS 6325663 HAS SOUS 715175 HAS SOUPS 712904 WITH SCORE 719232.281
AT ITER 4194 NEW BEST:: SOT 12958065 SOS 6328477 HAS SOPS 6325870 HAS SOUS 714044 HAS SOUPS 711784 WITH SCORE 718112.477
AT ITER 4195 NEW BEST:: SOT 12958065 SOS 6328409 HAS SOPS 6325802 HAS SOUS 714010 HAS SOUPS 711750 WITH SCORE 718078.409
AT ITER 4211 NEW BEST:: SOT 12958063 SOS 6328407 HAS SOPS 6325800 HAS SOUS 714006 HAS SOUPS 711746 WITH SCORE 718074.407
AT ITER 4244 NEW BEST:: SOT 12958073 SOS 6328417 HAS SOPS 6325810 HAS SOUS 713986 HAS SOUPS 711726 WITH SCORE 718054.417
AT ITER 4273 NEW BEST:: SOT 12955968 SOS 6326254 HAS SOPS 6323647 HAS SOUS 713471 HAS SOUPS 711211 WITH SCORE 717537.254
AT ITER 4300 NEW BEST:: SOT 12955941 SOS 6326227 HAS SOPS 6323620 HAS SOUS 713424 HAS SOUPS 711164 WITH SCORE 717490.227
AT ITER 4328 NEW BEST:: SOT 12955941 SOS 6326227 HAS SOPS 6323620 HAS SOUS 713423 HAS SOUPS 711163 WITH SCORE 717489.227
AT ITER 4381 NEW BEST:: SOT 12955101 SOS 6325368 HAS SOPS 6322742 HAS SOUS 713259 HAS SOUPS 710980 WITH SCORE 717305.368
AT ITER 4398 NEW BEST:: SOT 12954338 SOS 6323835 HAS SOPS 6321198 HAS SOUS 712992 HAS SOUPS 710702 WITH SCORE 717025.835
AT ITER 4403 NEW BEST:: SOT 12954338 SOS 6323271 HAS SOPS 6320634 HAS SOUS 712945 HAS SOUPS 710655 WITH SCORE 716978.271
AT ITER 4416 NEW BEST:: SOT 12955406 SOS 6324310 HAS SOPS 6321673 HAS SOUS 709676 HAS SOUPS 707386 WITH SCORE 713710.31
AT ITER 4427 NEW BEST:: SOT 12955406 SOS 6323184 HAS SOPS 6320461 HAS SOUS 709532 HAS SOUPS 707242 WITH SCORE 713565.184
AT ITER 4480 NEW BEST:: SOT 12952609 SOS 6317435 HAS SOPS 6314712 HAS SOUS 706694 HAS SOUPS 704404 WITH SCORE 710721.435
AT ITER 4481 NEW BEST:: SOT 12954128 SOS 6547483 HAS SOPS 6544771 HAS SOUS 705581 HAS SOUPS 703302 WITH SCORE 709849.483
AT ITER 4507 NEW BEST:: SOT 12954128 SOS 6546055 HAS SOPS 6543343 HAS SOUS 705135 HAS SOUPS 702856 WITH SCORE 709402.055
AT ITER 4554 NEW BEST:: SOT 12952624 SOS 6542535 HAS SOPS 6539823 HAS SOUS 703780 HAS SOUPS 701501 WITH SCORE 708043.535
AT ITER 4559 NEW BEST:: SOT 12952087 SOS 6541998 HAS SOPS 6539286 HAS SOUS 702879 HAS SOUPS 700600 WITH SCORE 707141.998
AT ITER 4569 NEW BEST:: SOT 12952096 SOS 6541965 HAS SOPS 6539253 HAS SOUS 702878 HAS SOUPS 700599 WITH SCORE 707140.965
AT ITER 4577 NEW BEST:: SOT 12954096 SOS 6543965 HAS SOPS 6541253 HAS SOUS 701434 HAS SOUPS 699155 WITH SCORE 705698.965
AT ITER 4586 NEW BEST:: SOT 12954086 SOS 6543955 HAS SOPS 6541243 HAS SOUS 701407 HAS SOUPS 699128 WITH SCORE 705671.955
AT ITER 4671 NEW BEST:: SOT 12954086 SOS 6545746 HAS SOPS 6543074 HAS SOUS 700175 HAS SOUPS 697936 WITH SCORE 704481.746
AT ITER 4687 NEW BEST:: SOT 12954086 SOS 6544510 HAS SOPS 6541838 HAS SOUS 700072 HAS SOUPS 697833 WITH SCORE 704377.51
AT ITER 4711 NEW BEST:: SOT 12954972 SOS 6545396 HAS SOPS 6542724 HAS SOUS 700049 HAS SOUPS 697810 WITH SCORE 704355.396
AT ITER 4724 NEW BEST:: SOT 12954909 SOS 6545333 HAS SOPS 6542661 HAS SOUS 699960 HAS SOUPS 697721 WITH SCORE 704266.333
AT ITER 4776 NEW BEST:: SOT 12954909 SOS 6545280 HAS SOPS 6542608 HAS SOUS 699941 HAS SOUPS 697702 WITH SCORE 704247.28
AT ITER 4799 NEW BEST:: SOT 12952659 SOS 6543030 HAS SOPS 6540358 HAS SOUS 698211 HAS SOUPS 695972 WITH SCORE 702515.03
AT ITER 4805 NEW BEST:: SOT 12952659 SOS 6542962 HAS SOPS 6540290 HAS SOUS 698177 HAS SOUPS 695938 WITH SCORE 702480.962
AT ITER 4822 NEW BEST:: SOT 12951978 SOS 6542281 HAS SOPS 6539609 HAS SOUS 697172 HAS SOUPS 694933 WITH SCORE 701475.281
AT ITER 4831 NEW BEST:: SOT 12955303 SOS 6547046 HAS SOPS 6544380 HAS SOUS 696528 HAS SOUPS 694295 WITH SCORE 700842.046
AT ITER 4851 NEW BEST:: SOT 12955303 SOS 6546980 HAS SOPS 6544314 HAS SOUS 696426 HAS SOUPS 694193 WITH SCORE 700739.98
AT ITER 4881 NEW BEST:: SOT 12958311 SOS 6549988 HAS SOPS 6547322 HAS SOUS 695739 HAS SOUPS 693506 WITH SCORE 700055.988
AT ITER 4888 NEW BEST:: SOT 12957625 SOS 6549302 HAS SOPS 6546636 HAS SOUS 695739 HAS SOUPS 693506 WITH SCORE 700055.302
AT ITER 4891 NEW BEST:: SOT 12959615 SOS 6551267 HAS SOPS 6548601 HAS SOUS 694404 HAS SOUPS 692171 WITH SCORE 698722.267
AT ITER 4944 NEW BEST:: SOT 12959656 SOS 6554260 HAS SOPS 6551594 HAS SOUS 693502 HAS SOUPS 691269 WITH SCORE 697823.26
AT ITER 4954 NEW BEST:: SOT 12959656 SOS 6554073 HAS SOPS 6551407 HAS SOUS 693502 HAS SOUPS 691269 WITH SCORE 697823.073
AT ITER 4964 NEW BEST:: SOT 12955393 SOS 6546825 HAS SOPS 6544159 HAS SOUS 692656 HAS SOUPS 690423 WITH SCORE 696969.825
AT ITER 4970 NEW BEST:: SOT 12955490 SOS 6546634 HAS SOPS 6543968 HAS SOUS 690906 HAS SOUPS 688673 WITH SCORE 695219.634
AT ITER 4988 NEW BEST:: SOT 12954512 SOS 6545675 HAS SOPS 6543009 HAS SOUS 690895 HAS SOUPS 688662 WITH SCORE 695207.675
AT ITER 4992 NEW BEST:: SOT 12954432 SOS 6545595 HAS SOPS 6542929 HAS SOUS 690460 HAS SOUPS 688227 WITH SCORE 694772.595
AT ITER 5016 NEW BEST:: SOT 12949977 SOS 6541140 HAS SOPS 6538474 HAS SOUS 686766 HAS SOUPS 684533 WITH SCORE 691074.14
AT ITER 5024 NEW BEST:: SOT 12949885 SOS 6540648 HAS SOPS 6537982 HAS SOUS 686674 HAS SOUPS 684441 WITH SCORE 690981.648
AT ITER 5027 NEW BEST:: SOT 12942300 SOS 6525495 HAS SOPS 6522701 HAS SOUS 685010 HAS SOUPS 682661 WITH SCORE 689186.495
AT ITER 5030 NEW BEST:: SOT 12941540 SOS 6524738 HAS SOPS 6521944 HAS SOUS 684738 HAS SOUPS 682389 WITH SCORE 688913.738
AT ITER 5045 NEW BEST:: SOT 12941879 SOS 6525077 HAS SOPS 6522283 HAS SOUS 684640 HAS SOUPS 682291 WITH SCORE 688816.077
AT ITER 5065 NEW BEST:: SOT 12941865 SOS 6525063 HAS SOPS 6522269 HAS SOUS 684626 HAS SOUPS 682277 WITH SCORE 688802.063
AT ITER 5076 NEW BEST:: SOT 12941865 SOS 6525198 HAS SOPS 6522251 HAS SOUS 684602 HAS SOUPS 682121 WITH SCORE 688646.198
AT ITER 5084 NEW BEST:: SOT 12941865 SOS 6525198 HAS SOPS 6522251 HAS SOUS 684586 HAS SOUPS 682105 WITH SCORE 688630.198
AT ITER 5122 NEW BEST:: SOT 12941434 SOS 6524767 HAS SOPS 6521820 HAS SOUS 684031 HAS SOUPS 681550 WITH SCORE 688074.767
AT ITER 5221 NEW BEST:: SOT 12942320 SOS 6525653 HAS SOPS 6522706 HAS SOUS 683153 HAS SOUPS 680672 WITH SCORE 687197.653
AT ITER 5223 NEW BEST:: SOT 12938978 SOS 6522311 HAS SOPS 6519364 HAS SOUS 681931 HAS SOUPS 679450 WITH SCORE 685972.311
AT ITER 5254 NEW BEST:: SOT 12938784 SOS 6522117 HAS SOPS 6519170 HAS SOUS 681577 HAS SOUPS 679096 WITH SCORE 685618.117
AT ITER 5302 NEW BEST:: SOT 12937185 SOS 6520518 HAS SOPS 6517571 HAS SOUS 680524 HAS SOUPS 678043 WITH SCORE 684563.518
AT ITER 5314 NEW BEST:: SOT 12937173 SOS 6519642 HAS SOPS 6516695 HAS SOUS 680512 HAS SOUPS 678031 WITH SCORE 684550.642
AT ITER 5321 NEW BEST:: SOT 12937338 SOS 6519807 HAS SOPS 6516860 HAS SOUS 680377 HAS SOUPS 677896 WITH SCORE 684415.807
AT ITER 5326 NEW BEST:: SOT 12938083 SOS 6520552 HAS SOPS 6517605 HAS SOUS 679540 HAS SOUPS 677059 WITH SCORE 683579.552
AT ITER 5333 NEW BEST:: SOT 12914042 SOS 6496511 HAS SOPS 6493564 HAS SOUS 674595 HAS SOUPS 672114 WITH SCORE 678610.511
AT ITER 5379 NEW BEST:: SOT 12915402 SOS 6502117 HAS SOPS 6499140 HAS SOUS 673079 HAS SOUPS 670568 WITH SCORE 677070.117
AT ITER 5391 NEW BEST:: SOT 12915866 SOS 6502581 HAS SOPS 6499604 HAS SOUS 672367 HAS SOUPS 669856 WITH SCORE 676358.581
AT ITER 5413 NEW BEST:: SOT 12915839 SOS 6502554 HAS SOPS 6499577 HAS SOUS 672266 HAS SOUPS 669755 WITH SCORE 676257.554
AT ITER 5419 NEW BEST:: SOT 12916718 SOS 6508196 HAS SOPS 6505219 HAS SOUS 671143 HAS SOUPS 668632 WITH SCORE 675140.196
AT ITER 5458 NEW BEST:: SOT 12917802 SOS 6509280 HAS SOPS 6506303 HAS SOUS 670037 HAS SOUPS 667526 WITH SCORE 674035.28
AT ITER 5487 NEW BEST:: SOT 12916500 SOS 6507978 HAS SOPS 6505001 HAS SOUS 668953 HAS SOUPS 666442 WITH SCORE 672949.978
AT ITER 5496 NEW BEST:: SOT 12916495 SOS 6507973 HAS SOPS 6504996 HAS SOUS 668948 HAS SOUPS 666437 WITH SCORE 672944.973
AT ITER 5513 NEW BEST:: SOT 12917244 SOS 6509163 HAS SOPS 6506207 HAS SOUS 668752 HAS SOUPS 666262 WITH SCORE 672771.163
AT ITER 5514 NEW BEST:: SOT 12917088 SOS 6509007 HAS SOPS 6506051 HAS SOUS 668374 HAS SOUPS 665884 WITH SCORE 672393.007
AT ITER 5535 NEW BEST:: SOT 12915763 SOS 6507682 HAS SOPS 6504726 HAS SOUS 667379 HAS SOUPS 664889 WITH SCORE 671396.682
AT ITER 5558 NEW BEST:: SOT 12915657 SOS 6507576 HAS SOPS 6504620 HAS SOUS 667302 HAS SOUPS 664812 WITH SCORE 671319.576
AT ITER 5573 NEW BEST:: SOT 12917363 SOS 6506834 HAS SOPS 6503908 HAS SOUS 665621 HAS SOUPS 663161 WITH SCORE 669667.834
AT ITER 5579 NEW BEST:: SOT 12918440 SOS 6507911 HAS SOPS 6504985 HAS SOUS 665035 HAS SOUPS 662575 WITH SCORE 669082.911
AT ITER 5594 NEW BEST:: SOT 12918440 SOS 6507395 HAS SOPS 6504469 HAS SOUS 665035 HAS SOUPS 662575 WITH SCORE 669082.395
AT ITER 5616 NEW BEST:: SOT 12919015 SOS 6507970 HAS SOPS 6505044 HAS SOUS 663170 HAS SOUPS 660710 WITH SCORE 667217.97
AT ITER 5659 NEW BEST:: SOT 12918984 SOS 6507939 HAS SOPS 6505013 HAS SOUS 663094 HAS SOUPS 660634 WITH SCORE 667141.939
AT ITER 5692 NEW BEST:: SOT 12918984 SOS 6507865 HAS SOPS 6504939 HAS SOUS 663057 HAS SOUPS 660597 WITH SCORE 667104.865
AT ITER 5702 NEW BEST:: SOT 12918677 SOS 6507546 HAS SOPS 6504620 HAS SOUS 662908 HAS SOUPS 660448 WITH SCORE 666955.546
AT ITER 5742 NEW BEST:: SOT 12918677 SOS 6507546 HAS SOPS 6504620 HAS SOUS 662905 HAS SOUPS 660445 WITH SCORE 666952.546
AT ITER 5743 NEW BEST:: SOT 12919717 SOS 6508586 HAS SOPS 6505660 HAS SOUS 662673 HAS SOUPS 660213 WITH SCORE 666721.586
AT ITER 5772 NEW BEST:: SOT 12919717 SOS 6509306 HAS SOPS 6506380 HAS SOUS 662611 HAS SOUPS 660151 WITH SCORE 666660.306
AT ITER 5774 NEW BEST:: SOT 12918927 SOS 6508516 HAS SOPS 6505590 HAS SOUS 660858 HAS SOUPS 658398 WITH SCORE 664906.516
AT ITER 5824 NEW BEST:: SOT 12918783 SOS 6508372 HAS SOPS 6505446 HAS SOUS 660402 HAS SOUPS 657942 WITH SCORE 664450.372
AT ITER 5834 NEW BEST:: SOT 12923868 SOS 6518478 HAS SOPS 6515571 HAS SOUS 659081 HAS SOUPS 656640 WITH SCORE 663158.478
AT ITER 5851 NEW BEST:: SOT 12923572 SOS 6518182 HAS SOPS 6515275 HAS SOUS 658851 HAS SOUPS 656410 WITH SCORE 662928.182
AT ITER 5853 NEW BEST:: SOT 12923540 SOS 6519270 HAS SOPS 6516363 HAS SOUS 657806 HAS SOUPS 655365 WITH SCORE 661884.27
AT ITER 5873 NEW BEST:: SOT 12922856 SOS 6518538 HAS SOPS 6515631 HAS SOUS 656426 HAS SOUPS 653985 WITH SCORE 660503.538
AT ITER 5905 NEW BEST:: SOT 12922641 SOS 6518323 HAS SOPS 6515416 HAS SOUS 655944 HAS SOUPS 653503 WITH SCORE 660021.323
AT ITER 5940 NEW BEST:: SOT 12922641 SOS 6518257 HAS SOPS 6515350 HAS SOUS 655941 HAS SOUPS 653500 WITH SCORE 660018.257
AT ITER 5989 NEW BEST:: SOT 12922641 SOS 6518253 HAS SOPS 6515346 HAS SOUS 655941 HAS SOUPS 653500 WITH SCORE 660018.253
AT ITER 5993 NEW BEST:: SOT 12922625 SOS 6518237 HAS SOPS 6515330 HAS SOUS 655925 HAS SOUPS 653484 WITH SCORE 660002.237
AT ITER 5999 NEW BEST:: SOT 12922604 SOS 6518216 HAS SOPS 6515309 HAS SOUS 655904 HAS SOUPS 653463 WITH SCORE 659981.216
AT ITER 6002 NEW BEST:: SOT 12921678 SOS 6517290 HAS SOPS 6514383 HAS SOUS 651507 HAS SOUPS 649066 WITH SCORE 655583.29
AT ITER 6012 NEW BEST:: SOT 12920891 SOS 6516350 HAS SOPS 6513426 HAS SOUS 651384 HAS SOUPS 648926 WITH SCORE 655442.35
AT ITER 6046 NEW BEST:: SOT 12920859 SOS 6516318 HAS SOPS 6513394 HAS SOUS 651368 HAS SOUPS 648910 WITH SCORE 655426.318
AT ITER 6053 NEW BEST:: SOT 12920629 SOS 6516088 HAS SOPS 6513164 HAS SOUS 651178 HAS SOUPS 648720 WITH SCORE 655236.088
AT ITER 6060 NEW BEST:: SOT 12920629 SOS 6516470 HAS SOPS 6513546 HAS SOUS 650591 HAS SOUPS 648133 WITH SCORE 654649.47
AT ITER 6074 NEW BEST:: SOT 12920629 SOS 6516462 HAS SOPS 6513538 HAS SOUS 650591 HAS SOUPS 648133 WITH SCORE 654649.462
AT ITER 6075 NEW BEST:: SOT 12921702 SOS 6517679 HAS SOPS 6514755 HAS SOUS 649795 HAS SOUPS 647337 WITH SCORE 653854.679
AT ITER 6083 NEW BEST:: SOT 12921672 SOS 6516857 HAS SOPS 6513933 HAS SOUS 649784 HAS SOUPS 647326 WITH SCORE 653842.857
AT ITER 6117 NEW BEST:: SOT 12921572 SOS 6516757 HAS SOPS 6513833 HAS SOUS 649566 HAS SOUPS 647108 WITH SCORE 653624.757
AT ITER 6151 NEW BEST:: SOT 12921282 SOS 6516445 HAS SOPS 6513521 HAS SOUS 649061 HAS SOUPS 646603 WITH SCORE 653119.445
AT ITER 6168 NEW BEST:: SOT 12920966 SOS 6516129 HAS SOPS 6513205 HAS SOUS 648464 HAS SOUPS 646006 WITH SCORE 652522.129
AT ITER 6177 NEW BEST:: SOT 12920818 SOS 6515981 HAS SOPS 6513057 HAS SOUS 648203 HAS SOUPS 645745 WITH SCORE 652260.981
AT ITER 6186 NEW BEST:: SOT 12920064 SOS 6514919 HAS SOPS 6511995 HAS SOUS 646667 HAS SOUPS 644209 WITH SCORE 650723.919
AT ITER 6189 NEW BEST:: SOT 12920826 SOS 6515653 HAS SOPS 6512729 HAS SOUS 646597 HAS SOUPS 644139 WITH SCORE 650654.653
AT ITER 6266 NEW BEST:: SOT 12920751 SOS 6515578 HAS SOPS 6512654 HAS SOUS 646522 HAS SOUPS 644064 WITH SCORE 650579.578
AT ITER 6270 NEW BEST:: SOT 12920719 SOS 6515546 HAS SOPS 6512622 HAS SOUS 646506 HAS SOUPS 644048 WITH SCORE 650563.546
AT ITER 6285 NEW BEST:: SOT 12920719 SOS 6515546 HAS SOPS 6512622 HAS SOUS 646496 HAS SOUPS 644038 WITH SCORE 650553.546
AT ITER 6295 NEW BEST:: SOT 12920728 SOS 6515443 HAS SOPS 6512535 HAS SOUS 646475 HAS SOUPS 644033 WITH SCORE 650548.443
AT ITER 6309 NEW BEST:: SOT 12920728 SOS 6515443 HAS SOPS 6512535 HAS SOUS 646457 HAS SOUPS 644015 WITH SCORE 650530.443
AT ITER 6331 NEW BEST:: SOT 12919429 SOS 6514144 HAS SOPS 6511236 HAS SOUS 645723 HAS SOUPS 643281 WITH SCORE 649795.144
AT ITER 6341 NEW BEST:: SOT 12919429 SOS 6513682 HAS SOPS 6510774 HAS SOUS 645492 HAS SOUPS 643050 WITH SCORE 649563.682
AT ITER 6352 NEW BEST:: SOT 12919112 SOS 6506480 HAS SOPS 6503572 HAS SOUS 644516 HAS SOUPS 642074 WITH SCORE 648580.48
AT ITER 6353 NEW BEST:: SOT 12918544 SOS 6505912 HAS SOPS 6503004 HAS SOUS 643824 HAS SOUPS 641382 WITH SCORE 647887.912
AT ITER 6355 NEW BEST:: SOT 12918523 SOS 6505891 HAS SOPS 6502983 HAS SOUS 643803 HAS SOUPS 641361 WITH SCORE 647866.891
AT ITER 6357 NEW BEST:: SOT 12918516 SOS 6505884 HAS SOPS 6502976 HAS SOUS 643789 HAS SOUPS 641347 WITH SCORE 647852.884
AT ITER 6369 NEW BEST:: SOT 12918296 SOS 6505664 HAS SOPS 6502756 HAS SOUS 643569 HAS SOUPS 641127 WITH SCORE 647632.664
AT ITER 6442 NEW BEST:: SOT 12927967 SOS 6515335 HAS SOPS 6512427 HAS SOUS 643347 HAS SOUPS 640905 WITH SCORE 647420.335
AT ITER 6468 NEW BEST:: SOT 12927967 SOS 6515335 HAS SOPS 6512427 HAS SOUS 643343 HAS SOUPS 640901 WITH SCORE 647416.335
AT ITER 6501 NEW BEST:: SOT 12927967 SOS 6520120 HAS SOPS 6517212 HAS SOUS 641981 HAS SOUPS 639539 WITH SCORE 646059.12
AT ITER 6510 NEW BEST:: SOT 12927974 SOS 6520127 HAS SOPS 6517219 HAS SOUS 641956 HAS SOUPS 639514 WITH SCORE 646034.127
AT ITER 6528 NEW BEST:: SOT 12927965 SOS 6520118 HAS SOPS 6517210 HAS SOUS 641955 HAS SOUPS 639513 WITH SCORE 646033.118
AT ITER 6543 NEW BEST:: SOT 12927955 SOS 6520108 HAS SOPS 6517200 HAS SOUS 641945 HAS SOUPS 639503 WITH SCORE 646023.108
AT ITER 6599 NEW BEST:: SOT 12928871 SOS 6521024 HAS SOPS 6518116 HAS SOUS 637426 HAS SOUPS 634984 WITH SCORE 641505.024
AT ITER 6652 NEW BEST:: SOT 12928871 SOS 6521037 HAS SOPS 6518119 HAS SOUS 637426 HAS SOUPS 634979 WITH SCORE 641500.037
AT ITER 6686 NEW BEST:: SOT 12926353 SOS 6518519 HAS SOPS 6515601 HAS SOUS 636512 HAS SOUPS 634065 WITH SCORE 640583.519
AT ITER 6700 NEW BEST:: SOT 12926353 SOS 6518148 HAS SOPS 6515230 HAS SOUS 636505 HAS SOUPS 634058 WITH SCORE 640576.148
AT ITER 6719 NEW BEST:: SOT 12926316 SOS 6518111 HAS SOPS 6515193 HAS SOUS 636491 HAS SOUPS 634044 WITH SCORE 640562.111
AT ITER 6737 NEW BEST:: SOT 12928506 SOS 6521885 HAS SOPS 6518967 HAS SOUS 636200 HAS SOUPS 633753 WITH SCORE 640274.885
AT ITER 6754 NEW BEST:: SOT 12928506 SOS 6521801 HAS SOPS 6518883 HAS SOUS 636172 HAS SOUPS 633725 WITH SCORE 640246.801
AT ITER 6799 NEW BEST:: SOT 12928506 SOS 6522314 HAS SOPS 6519396 HAS SOUS 636135 HAS SOUPS 633688 WITH SCORE 640210.314
AT ITER 6817 NEW BEST:: SOT 12926925 SOS 6520589 HAS SOPS 6517671 HAS SOUS 636012 HAS SOUPS 633565 WITH SCORE 640085.589
AT ITER 6842 NEW BEST:: SOT 12926873 SOS 6520535 HAS SOPS 6517617 HAS SOUS 635889 HAS SOUPS 633442 WITH SCORE 639962.535
AT ITER 6856 NEW BEST:: SOT 12926873 SOS 6520355 HAS SOPS 6517437 HAS SOUS 635874 HAS SOUPS 633427 WITH SCORE 639947.355
AT ITER 6917 NEW BEST:: SOT 12924843 SOS 6518135 HAS SOPS 6515179 HAS SOUS 634780 HAS SOUPS 632333 WITH SCORE 638851.135
AT ITER 6919 NEW BEST:: SOT 12923877 SOS 6517169 HAS SOPS 6514213 HAS SOUS 633699 HAS SOUPS 631252 WITH SCORE 637769.169
AT ITER 6925 NEW BEST:: SOT 12923460 SOS 6516752 HAS SOPS 6513796 HAS SOUS 633532 HAS SOUPS 631085 WITH SCORE 637601.752
AT ITER 6950 NEW BEST:: SOT 12923460 SOS 6516752 HAS SOPS 6513796 HAS SOUS 633525 HAS SOUPS 631078 WITH SCORE 637594.752
AT ITER 7021 NEW BEST:: SOT 12923430 SOS 6516722 HAS SOPS 6513766 HAS SOUS 633495 HAS SOUPS 631048 WITH SCORE 637564.722
AT ITER 7045 NEW BEST:: SOT 12923429 SOS 6516721 HAS SOPS 6513765 HAS SOUS 633495 HAS SOUPS 631048 WITH SCORE 637564.721
AT ITER 7050 NEW BEST:: SOT 12919553 SOS 6512976 HAS SOPS 6510020 HAS SOUS 630751 HAS SOUPS 628304 WITH SCORE 634816.976
AT ITER 7114 NEW BEST:: SOT 12919537 SOS 6512960 HAS SOPS 6510004 HAS SOUS 630751 HAS SOUPS 628304 WITH SCORE 634816.96
AT ITER 7119 NEW BEST:: SOT 12919312 SOS 6512735 HAS SOPS 6509779 HAS SOUS 630577 HAS SOUPS 628130 WITH SCORE 634642.735
AT ITER 7154 NEW BEST:: SOT 12920280 SOS 6515782 HAS SOPS 6512826 HAS SOUS 629816 HAS SOUPS 627369 WITH SCORE 633884.782
AT ITER 7178 NEW BEST:: SOT 12919126 SOS 6514646 HAS SOPS 6511690 HAS SOUS 628133 HAS SOUPS 625686 WITH SCORE 632200.646
AT ITER 7218 NEW BEST:: SOT 12919448 SOS 6514933 HAS SOPS 6511982 HAS SOUS 625552 HAS SOUPS 623110 WITH SCORE 629624.933
AT ITER 7333 NEW BEST:: SOT 12918498 SOS 6514971 HAS SOPS 6512020 HAS SOUS 624929 HAS SOUPS 622487 WITH SCORE 629001.971
AT ITER 7343 NEW BEST:: SOT 12918552 SOS 6515003 HAS SOPS 6511997 HAS SOUS 624927 HAS SOUPS 622430 WITH SCORE 628945.003
AT ITER 7345 NEW BEST:: SOT 12918083 SOS 6514534 HAS SOPS 6511528 HAS SOUS 624005 HAS SOUPS 621508 WITH SCORE 628022.534
AT ITER 7348 NEW BEST:: SOT 12918083 SOS 6516214 HAS SOPS 6513208 HAS SOUS 623715 HAS SOUPS 621218 WITH SCORE 627734.214
AT ITER 7355 NEW BEST:: SOT 12917896 SOS 6516027 HAS SOPS 6513021 HAS SOUS 623535 HAS SOUPS 621038 WITH SCORE 627554.027
AT ITER 7382 NEW BEST:: SOT 12917896 SOS 6516027 HAS SOPS 6513021 HAS SOUS 623524 HAS SOUPS 621027 WITH SCORE 627543.027
AT ITER 7409 NEW BEST:: SOT 12916017 SOS 6514217 HAS SOPS 6511163 HAS SOUS 623529 HAS SOUPS 620984 WITH SCORE 627498.217
AT ITER 7410 NEW BEST:: SOT 12910956 SOS 5813786 HAS SOPS 5810655 HAS SOUS 618568 HAS SOUPS 616012 WITH SCORE 621825.786
AT ITER 7419 NEW BEST:: SOT 12912149 SOS 5815299 HAS SOPS 5812226 HAS SOUS 618488 HAS SOUPS 615990 WITH SCORE 621805.299
AT ITER 7437 NEW BEST:: SOT 12912149 SOS 5815277 HAS SOPS 5812204 HAS SOUS 618477 HAS SOUPS 615979 WITH SCORE 621794.277
AT ITER 7443 NEW BEST:: SOT 12911213 SOS 5813405 HAS SOPS 5810332 HAS SOUS 617528 HAS SOUPS 615030 WITH SCORE 620843.405
AT ITER 7485 NEW BEST:: SOT 12911210 SOS 5813402 HAS SOPS 5810329 HAS SOUS 617525 HAS SOUPS 615027 WITH SCORE 620840.402
AT ITER 7536 NEW BEST:: SOT 12911555 SOS 5813747 HAS SOPS 5810674 HAS SOUS 617325 HAS SOUPS 614827 WITH SCORE 620640.747
AT ITER 7544 NEW BEST:: SOT 12911555 SOS 5806832 HAS SOPS 5803759 HAS SOUS 617259 HAS SOUPS 614761 WITH SCORE 620567.832
AT ITER 7546 NEW BEST:: SOT 12911542 SOS 5806819 HAS SOPS 5803746 HAS SOUS 617259 HAS SOUPS 614761 WITH SCORE 620567.819
AT ITER 7552 NEW BEST:: SOT 12911542 SOS 5806799 HAS SOPS 5803726 HAS SOUS 617245 HAS SOUPS 614747 WITH SCORE 620553.799
AT ITER 7634 NEW BEST:: SOT 12911536 SOS 5806967 HAS SOPS 5803894 HAS SOUS 616566 HAS SOUPS 614068 WITH SCORE 619874.967
AT ITER 7635 NEW BEST:: SOT 12911536 SOS 5806691 HAS SOPS 5803618 HAS SOUS 613837 HAS SOUPS 611339 WITH SCORE 617145.691
AT ITER 7652 NEW BEST:: SOT 12910863 SOS 5806018 HAS SOPS 5802945 HAS SOUS 613237 HAS SOUPS 610739 WITH SCORE 616545.018
AT ITER 7710 NEW BEST:: SOT 12910863 SOS 5806166 HAS SOPS 5803093 HAS SOUS 613229 HAS SOUPS 610731 WITH SCORE 616537.166
AT ITER 7771 NEW BEST:: SOT 12910863 SOS 5806116 HAS SOPS 5803043 HAS SOUS 613179 HAS SOUPS 610681 WITH SCORE 616487.116
AT ITER 7780 NEW BEST:: SOT 12910847 SOS 5806100 HAS SOPS 5803027 HAS SOUS 613163 HAS SOUPS 610665 WITH SCORE 616471.1
AT ITER 7788 NEW BEST:: SOT 12911389 SOS 5806642 HAS SOPS 5803569 HAS SOUS 612571 HAS SOUPS 610073 WITH SCORE 615879.642
AT ITER 7802 NEW BEST:: SOT 12911389 SOS 5806354 HAS SOPS 5803281 HAS SOUS 612440 HAS SOUPS 609942 WITH SCORE 615748.354
AT ITER 7810 NEW BEST:: SOT 12911389 SOS 5806266 HAS SOPS 5803193 HAS SOUS 612436 HAS SOUPS 609938 WITH SCORE 615744.266
AT ITER 7847 NEW BEST:: SOT 12911526 SOS 5806403 HAS SOPS 5803330 HAS SOUS 610893 HAS SOUPS 608395 WITH SCORE 614201.403
AT ITER 7853 NEW BEST:: SOT 12908546 SOS 5803423 HAS SOPS 5800350 HAS SOUS 609745 HAS SOUPS 607247 WITH SCORE 613050.423
AT ITER 7911 NEW BEST:: SOT 12907184 SOS 5801344 HAS SOPS 5798639 HAS SOUS 603935 HAS SOUPS 601681 WITH SCORE 607482.344
AT ITER 8016 NEW BEST:: SOT 12907052 SOS 5801212 HAS SOPS 5798507 HAS SOUS 603644 HAS SOUPS 601390 WITH SCORE 607191.212
AT ITER 8031 NEW BEST:: SOT 12907052 SOS 5801180 HAS SOPS 5798475 HAS SOUS 603628 HAS SOUPS 601374 WITH SCORE 607175.18
AT ITER 8034 NEW BEST:: SOT 12904598 SOS 5798042 HAS SOPS 5795337 HAS SOUS 603158 HAS SOUPS 600904 WITH SCORE 606702.042
AT ITER 8088 NEW BEST:: SOT 12902017 SOS 5795461 HAS SOPS 5792756 HAS SOUS 602333 HAS SOUPS 600079 WITH SCORE 605874.461
AT ITER 8101 NEW BEST:: SOT 12902017 SOS 5801012 HAS SOPS 5798307 HAS SOUS 602242 HAS SOUPS 599988 WITH SCORE 605789.012
AT ITER 8124 NEW BEST:: SOT 12901878 SOS 5800873 HAS SOPS 5798168 HAS SOUS 601171 HAS SOUPS 598917 WITH SCORE 604717.873
AT ITER 8184 NEW BEST:: SOT 12901828 SOS 5800823 HAS SOPS 5798118 HAS SOUS 601171 HAS SOUPS 598917 WITH SCORE 604717.823
AT ITER 8188 NEW BEST:: SOT 12902247 SOS 5801242 HAS SOPS 5798537 HAS SOUS 601099 HAS SOUPS 598845 WITH SCORE 604646.242
AT ITER 8205 NEW BEST:: SOT 12902281 SOS 5796928 HAS SOPS 5794355 HAS SOUS 598372 HAS SOUPS 596184 WITH SCORE 601980.928
AT ITER 8210 NEW BEST:: SOT 12900589 SOS 5795236 HAS SOPS 5792663 HAS SOUS 595734 HAS SOUPS 593546 WITH SCORE 599341.236
AT ITER 8251 NEW BEST:: SOT 12900588 SOS 5795235 HAS SOPS 5792662 HAS SOUS 595733 HAS SOUPS 593545 WITH SCORE 599340.235
AT ITER 8286 NEW BEST:: SOT 12900606 SOS 5795395 HAS SOPS 5792780 HAS SOUS 595709 HAS SOUPS 593521 WITH SCORE 599316.395
AT ITER 8295 NEW BEST:: SOT 12899604 SOS 5794393 HAS SOPS 5791778 HAS SOUS 593591 HAS SOUPS 591403 WITH SCORE 597197.393
AT ITER 8327 NEW BEST:: SOT 12899604 SOS 5794393 HAS SOPS 5791778 HAS SOUS 593556 HAS SOUPS 591368 WITH SCORE 597162.393
AT ITER 8339 NEW BEST:: SOT 12900074 SOS 5794874 HAS SOPS 5792259 HAS SOUS 593385 HAS SOUPS 591197 WITH SCORE 596991.874
AT ITER 8353 NEW BEST:: SOT 12900068 SOS 5794868 HAS SOPS 5792253 HAS SOUS 593369 HAS SOUPS 591181 WITH SCORE 596975.868
AT ITER 8354 NEW BEST:: SOT 12898032 SOS 5792832 HAS SOPS 5790217 HAS SOUS 592461 HAS SOUPS 590273 WITH SCORE 596065.832
AT ITER 8355 NEW BEST:: SOT 12898032 SOS 5792856 HAS SOPS 5790241 HAS SOUS 592437 HAS SOUPS 590249 WITH SCORE 596041.856
AT ITER 8356 NEW BEST:: SOT 12898022 SOS 5792846 HAS SOPS 5790231 HAS SOUS 592427 HAS SOUPS 590239 WITH SCORE 596031.846
AT ITER 8359 NEW BEST:: SOT 12898022 SOS 5794217 HAS SOPS 5791602 HAS SOUS 592344 HAS SOUPS 590156 WITH SCORE 595950.217
AT ITER 8392 NEW BEST:: SOT 12898022 SOS 5794125 HAS SOPS 5791510 HAS SOUS 592298 HAS SOUPS 590110 WITH SCORE 595904.125
AT ITER 8438 NEW BEST:: SOT 12897554 SOS 5793657 HAS SOPS 5791042 HAS SOUS 591741 HAS SOUPS 589553 WITH SCORE 595346.657
AT ITER 8543 NEW BEST:: SOT 12897554 SOS 5793657 HAS SOPS 5791042 HAS SOUS 591691 HAS SOUPS 589503 WITH SCORE 595296.657
AT ITER 8548 NEW BEST:: SOT 12896828 SOS 5792937 HAS SOPS 5790322 HAS SOUS 590992 HAS SOUPS 588804 WITH SCORE 594596.937
AT ITER 8621 NEW BEST:: SOT 12896450 SOS 5792559 HAS SOPS 5789944 HAS SOUS 590285 HAS SOUPS 588097 WITH SCORE 593889.559
AT ITER 8644 NEW BEST:: SOT 12896804 SOS 5792905 HAS SOPS 5790290 HAS SOUS 590209 HAS SOUPS 588021 WITH SCORE 593813.905
AT ITER 8645 NEW BEST:: SOT 12895106 SOS 5791207 HAS SOPS 5788592 HAS SOUS 590155 HAS SOUPS 587967 WITH SCORE 593758.207
AT ITER 8652 NEW BEST:: SOT 12894738 SOS 5791219 HAS SOPS 5788777 HAS SOUS 589912 HAS SOUPS 587897 WITH SCORE 593688.219
AT ITER 8657 NEW BEST:: SOT 12895319 SOS 5791813 HAS SOPS 5789384 HAS SOUS 589820 HAS SOUPS 587818 WITH SCORE 593609.813
AT ITER 8668 NEW BEST:: SOT 12895392 SOS 5791770 HAS SOPS 5789315 HAS SOUS 589776 HAS SOUPS 587748 WITH SCORE 593539.77
AT ITER 8676 NEW BEST:: SOT 12895654 SOS 5792032 HAS SOPS 5789577 HAS SOUS 589746 HAS SOUPS 587718 WITH SCORE 593510.032
AT ITER 8703 NEW BEST:: SOT 12895620 SOS 5791998 HAS SOPS 5789543 HAS SOUS 589729 HAS SOUPS 587701 WITH SCORE 593492.998
AT ITER 8704 NEW BEST:: SOT 12898390 SOS 5794768 HAS SOPS 5792313 HAS SOUS 589648 HAS SOUPS 587620 WITH SCORE 593414.768
AT ITER 8708 NEW BEST:: SOT 12897390 SOS 5793768 HAS SOPS 5791313 HAS SOUS 587598 HAS SOUPS 585570 WITH SCORE 591363.768
AT ITER 8725 NEW BEST:: SOT 12897374 SOS 5793752 HAS SOPS 5791297 HAS SOUS 587593 HAS SOUPS 585565 WITH SCORE 591358.752
AT ITER 8749 NEW BEST:: SOT 12897355 SOS 5793629 HAS SOPS 5791164 HAS SOUS 586317 HAS SOUPS 584279 WITH SCORE 590072.629
AT ITER 8818 NEW BEST:: SOT 12896890 SOS 5793164 HAS SOPS 5790699 HAS SOUS 586238 HAS SOUPS 584200 WITH SCORE 589993.164
AT ITER 8841 NEW BEST:: SOT 12896890 SOS 5793152 HAS SOPS 5790687 HAS SOUS 586185 HAS SOUPS 584147 WITH SCORE 589940.152
AT ITER 8848 NEW BEST:: SOT 12894948 SOS 5789266 HAS SOPS 5786801 HAS SOUS 585365 HAS SOUPS 583327 WITH SCORE 589116.266
AT ITER 8853 NEW BEST:: SOT 12894946 SOS 5789264 HAS SOPS 5786799 HAS SOUS 585361 HAS SOUPS 583323 WITH SCORE 589112.264
AT ITER 8863 NEW BEST:: SOT 12893058 SOS 5786788 HAS SOPS 5784295 HAS SOUS 584100 HAS SOUPS 582034 WITH SCORE 587820.788
AT ITER 8878 NEW BEST:: SOT 12893680 SOS 5787430 HAS SOPS 5784937 HAS SOUS 583972 HAS SOUPS 581906 WITH SCORE 587693.43
AT ITER 8891 NEW BEST:: SOT 12898667 SOS 5799185 HAS SOPS 5796692 HAS SOUS 582468 HAS SOUPS 580402 WITH SCORE 586201.185
AT ITER 8896 NEW BEST:: SOT 12898640 SOS 5799158 HAS SOPS 5796665 HAS SOUS 582393 HAS SOUPS 580327 WITH SCORE 586126.158
AT ITER 8904 NEW BEST:: SOT 12898480 SOS 5798998 HAS SOPS 5796505 HAS SOUS 582051 HAS SOUPS 579985 WITH SCORE 585783.998
AT ITER 8912 NEW BEST:: SOT 12897677 SOS 5810880 HAS SOPS 5808387 HAS SOUS 581017 HAS SOUPS 578951 WITH SCORE 584761.88
AT ITER 8947 NEW BEST:: SOT 12897677 SOS 5810848 HAS SOPS 5808355 HAS SOUS 581001 HAS SOUPS 578935 WITH SCORE 584745.848
AT ITER 8948 NEW BEST:: SOT 12897059 SOS 5810230 HAS SOPS 5807737 HAS SOUS 580916 HAS SOUPS 578850 WITH SCORE 584660.23
AT ITER 9019 NEW BEST:: SOT 12897035 SOS 5810206 HAS SOPS 5807713 HAS SOUS 580914 HAS SOUPS 578848 WITH SCORE 584658.206
AT ITER 9026 NEW BEST:: SOT 12896359 SOS 5809530 HAS SOPS 5807037 HAS SOUS 580238 HAS SOUPS 578172 WITH SCORE 583981.53
AT ITER 9078 NEW BEST:: SOT 12896292 SOS 5809451 HAS SOPS 5806958 HAS SOUS 580159 HAS SOUPS 578093 WITH SCORE 583902.451
AT ITER 9106 NEW BEST:: SOT 12897860 SOS 5814356 HAS SOPS 5811967 HAS SOUS 579050 HAS SOUPS 577036 WITH SCORE 582850.356
AT ITER 9156 NEW BEST:: SOT 12897073 SOS 5825966 HAS SOPS 5823577 HAS SOUS 578213 HAS SOUPS 576199 WITH SCORE 582024.966
AT ITER 9264 NEW BEST:: SOT 12897073 SOS 5825968 HAS SOPS 5823577 HAS SOUS 578213 HAS SOUPS 576197 WITH SCORE 582022.968
AT ITER 9265 NEW BEST:: SOT 12897073 SOS 5817235 HAS SOPS 5814844 HAS SOUS 578213 HAS SOUPS 576197 WITH SCORE 582014.235
AT ITER 9285 NEW BEST:: SOT 12896989 SOS 5817140 HAS SOPS 5814760 HAS SOUS 578162 HAS SOUPS 576157 WITH SCORE 581974.14
AT ITER 9301 NEW BEST:: SOT 12901722 SOS 5829649 HAS SOPS 5827269 HAS SOUS 577364 HAS SOUPS 575359 WITH SCORE 581188.649
AT ITER 9352 NEW BEST:: SOT 12900553 SOS 5828312 HAS SOPS 5825932 HAS SOUS 576387 HAS SOUPS 574382 WITH SCORE 580210.312
AT ITER 9381 NEW BEST:: SOT 12901348 SOS 5829135 HAS SOPS 5826755 HAS SOUS 576332 HAS SOUPS 574327 WITH SCORE 580156.135
AT ITER 9398 NEW BEST:: SOT 12901344 SOS 5829131 HAS SOPS 5826751 HAS SOUS 576310 HAS SOUPS 574305 WITH SCORE 580134.131
AT ITER 9402 NEW BEST:: SOT 12903560 SOS 5831347 HAS SOPS 5828967 HAS SOUS 576148 HAS SOUPS 574143 WITH SCORE 579974.347
AT ITER 9441 NEW BEST:: SOT 12903582 SOS 5831369 HAS SOPS 5828989 HAS SOUS 576146 HAS SOUPS 574141 WITH SCORE 579972.369
AT ITER 9483 NEW BEST:: SOT 12902766 SOS 5828825 HAS SOPS 5826445 HAS SOUS 575282 HAS SOUPS 573277 WITH SCORE 579105.825
AT ITER 9524 NEW BEST:: SOT 12902388 SOS 5828447 HAS SOPS 5826067 HAS SOUS 573677 HAS SOUPS 571672 WITH SCORE 577500.447
AT ITER 9547 NEW BEST:: SOT 12899838 SOS 5822657 HAS SOPS 5820277 HAS SOUS 573531 HAS SOUPS 571526 WITH SCORE 577348.657
AT ITER 9568 NEW BEST:: SOT 12899799 SOS 5822618 HAS SOPS 5820238 HAS SOUS 573531 HAS SOUPS 571526 WITH SCORE 577348.618
AT ITER 9576 NEW BEST:: SOT 12898031 SOS 5820850 HAS SOPS 5818470 HAS SOUS 573365 HAS SOUPS 571360 WITH SCORE 577180.85
AT ITER 9603 NEW BEST:: SOT 12898031 SOS 5820752 HAS SOPS 5818372 HAS SOUS 573365 HAS SOUPS 571360 WITH SCORE 577180.752
AT ITER 9634 NEW BEST:: SOT 12897612 SOS 5820333 HAS SOPS 5817953 HAS SOUS 573165 HAS SOUPS 571160 WITH SCORE 576980.333
AT ITER 9637 NEW BEST:: SOT 12897789 SOS 5820794 HAS SOPS 5818418 HAS SOUS 572955 HAS SOUPS 570954 WITH SCORE 576774.794
AT ITER 9669 NEW BEST:: SOT 12897789 SOS 5820794 HAS SOPS 5818418 HAS SOUS 572954 HAS SOUPS 570953 WITH SCORE 576773.794
AT ITER 9671 NEW BEST:: SOT 12897789 SOS 5820788 HAS SOPS 5818412 HAS SOUS 572951 HAS SOUPS 570950 WITH SCORE 576770.788
AT ITER 9686 NEW BEST:: SOT 12897789 SOS 5820748 HAS SOPS 5818372 HAS SOUS 572894 HAS SOUPS 570893 WITH SCORE 576713.748
AT ITER 9690 NEW BEST:: SOT 12899002 SOS 5821945 HAS SOPS 5819569 HAS SOUS 571502 HAS SOUPS 569501 WITH SCORE 575322.945
AT ITER 9716 NEW BEST:: SOT 12900869 SOS 5839868 HAS SOPS 5837492 HAS SOUS 569386 HAS SOUPS 567385 WITH SCORE 573224.868
AT ITER 9728 NEW BEST:: SOT 12900869 SOS 5839864 HAS SOPS 5837488 HAS SOUS 569384 HAS SOUPS 567383 WITH SCORE 573222.864
AT ITER 9733 NEW BEST:: SOT 12900872 SOS 5839866 HAS SOPS 5837490 HAS SOUS 569365 HAS SOUPS 567364 WITH SCORE 573203.866
AT ITER 9744 NEW BEST:: SOT 12900696 SOS 5839741 HAS SOPS 5837316 HAS SOUS 568915 HAS SOUPS 566865 WITH SCORE 572704.741
AT ITER 9765 NEW BEST:: SOT 12900557 SOS 5839602 HAS SOPS 5837177 HAS SOUS 568661 HAS SOUPS 566611 WITH SCORE 572450.602
AT ITER 9800 NEW BEST:: SOT 12902548 SOS 5843393 HAS SOPS 5840968 HAS SOUS 568544 HAS SOUPS 566494 WITH SCORE 572337.393
AT ITER 9822 NEW BEST:: SOT 12902548 SOS 5843353 HAS SOPS 5840928 HAS SOUS 568504 HAS SOUPS 566454 WITH SCORE 572297.353
AT ITER 9841 NEW BEST:: SOT 12902617 SOS 5843422 HAS SOPS 5840997 HAS SOUS 568464 HAS SOUPS 566414 WITH SCORE 572257.422
AT ITER 9865 NEW BEST:: SOT 12902611 SOS 5842716 HAS SOPS 5840291 HAS SOUS 568461 HAS SOUPS 566411 WITH SCORE 572253.716
AT ITER 9869 NEW BEST:: SOT 12902611 SOS 5842725 HAS SOPS 5840291 HAS SOUS 568461 HAS SOUPS 566402 WITH SCORE 572244.725
AT ITER 9890 NEW BEST:: SOT 12902611 SOS 5842950 HAS SOPS 5840516 HAS SOUS 568437 HAS SOUPS 566378 WITH SCORE 572220.95
AT ITER 9907 NEW BEST:: SOT 12902611 SOS 5842950 HAS SOPS 5840516 HAS SOUS 568411 HAS SOUPS 566352 WITH SCORE 572194.95
AT ITER 9951 NEW BEST:: SOT 12902611 SOS 5842890 HAS SOPS 5840456 HAS SOUS 568381 HAS SOUPS 566322 WITH SCORE 572164.89
AT ITER 9954 NEW BEST:: SOT 12901885 SOS 5842164 HAS SOPS 5839730 HAS SOUS 567784 HAS SOUPS 565725 WITH SCORE 571567.164
AT ITER 9966 NEW BEST:: SOT 12900316 SOS 5840536 HAS SOPS 5838043 HAS SOUS 567375 HAS SOUPS 565263 WITH SCORE 571103.536
AT ITER 9980 NEW BEST:: SOT 12900316 SOS 5840392 HAS SOPS 5837899 HAS SOUS 567375 HAS SOUPS 565263 WITH SCORE 571103.392
BK_STOP 1678470680770
--------------------
content from stderr:
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 462 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-q8m064"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BugTracking-PT-q8m064, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688200432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BugTracking-PT-q8m064.tgz
mv BugTracking-PT-q8m064 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 '
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 ;