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

--------------------
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 1678788996001

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-q8m064
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:16:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:16:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:16:38] [INFO ] Load time of PNML (sax parser for PT used): 646 ms
[2023-03-14 10:16:38] [INFO ] Transformed 754 places.
[2023-03-14 10:16:38] [INFO ] Transformed 27370 transitions.
[2023-03-14 10:16:38] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 830 ms.
[2023-03-14 10:16:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 134 ms.
Total runtime 991 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q8m064
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 1 NEW BEST:: SOT 12975622 SOS 6045849 HAS SOPS 6041394 HAS SOUS 1656694 HAS SOUPS 1652239 WITH SCORE 1658284.849
AT ITER 19 NEW BEST:: SOT 12975622 SOS 6034379 HAS SOPS 6029924 HAS SOUS 1656539 HAS SOUPS 1652084 WITH SCORE 1658118.379
AT ITER 21 NEW BEST:: SOT 12975622 SOS 6030923 HAS SOPS 6026468 HAS SOUS 1656539 HAS SOUPS 1652084 WITH SCORE 1658114.923
AT ITER 24 NEW BEST:: SOT 12974513 SOS 6029853 HAS SOPS 6025398 HAS SOUS 1655502 HAS SOUPS 1651047 WITH SCORE 1657076.853
AT ITER 35 NEW BEST:: SOT 12969811 SOS 6028755 HAS SOPS 6024300 HAS SOUS 1651106 HAS SOUPS 1646651 WITH SCORE 1652679.755
AT ITER 48 NEW BEST:: SOT 12969811 SOS 6026019 HAS SOPS 6021564 HAS SOUS 1651106 HAS SOUPS 1646651 WITH SCORE 1652677.019
AT ITER 51 NEW BEST:: SOT 12964065 SOS 6024991 HAS SOPS 6020536 HAS SOUS 1645655 HAS SOUPS 1641200 WITH SCORE 1647224.991
AT ITER 79 NEW BEST:: SOT 12964196 SOS 6025122 HAS SOPS 6020667 HAS SOUS 1645542 HAS SOUPS 1641087 WITH SCORE 1647112.122
AT ITER 88 NEW BEST:: SOT 12964337 SOS 6025209 HAS SOPS 6020808 HAS SOUS 1635003 HAS SOUPS 1630602 WITH SCORE 1636627.209
AT ITER 90 NEW BEST:: SOT 12967366 SOS 6028334 HAS SOPS 6023994 HAS SOUS 1634425 HAS SOUPS 1630085 WITH SCORE 1636113.334
AT ITER 92 NEW BEST:: SOT 12967265 SOS 6027996 HAS SOPS 6023707 HAS SOUS 1628144 HAS SOUPS 1623855 WITH SCORE 1629882.996
AT ITER 138 NEW BEST:: SOT 12967424 SOS 6028155 HAS SOPS 6023866 HAS SOUS 1624576 HAS SOUPS 1620287 WITH SCORE 1626315.155
AT ITER 142 NEW BEST:: SOT 12964981 SOS 6023196 HAS SOPS 6018907 HAS SOUS 1622099 HAS SOUPS 1617810 WITH SCORE 1623833.196
AT ITER 143 NEW BEST:: SOT 12964981 SOS 6021680 HAS SOPS 6017391 HAS SOUS 1621309 HAS SOUPS 1617020 WITH SCORE 1623041.68
AT ITER 175 NEW BEST:: SOT 12964811 SOS 6021510 HAS SOPS 6017221 HAS SOUS 1620963 HAS SOUPS 1616674 WITH SCORE 1622695.51
AT ITER 181 NEW BEST:: SOT 12964830 SOS 6021529 HAS SOPS 6017240 HAS SOUS 1619804 HAS SOUPS 1615515 WITH SCORE 1621536.529
AT ITER 184 NEW BEST:: SOT 12964128 SOS 6020827 HAS SOPS 6016538 HAS SOUS 1619404 HAS SOUPS 1615115 WITH SCORE 1621135.827
AT ITER 188 NEW BEST:: SOT 12964128 SOS 6012403 HAS SOPS 6008114 HAS SOUS 1619404 HAS SOUPS 1615115 WITH SCORE 1621127.403
AT ITER 192 NEW BEST:: SOT 12965199 SOS 6013474 HAS SOPS 6009185 HAS SOUS 1616774 HAS SOUPS 1612485 WITH SCORE 1618498.474
AT ITER 202 NEW BEST:: SOT 12965199 SOS 6013114 HAS SOPS 6008825 HAS SOUS 1616744 HAS SOUPS 1612455 WITH SCORE 1618468.114
AT ITER 216 NEW BEST:: SOT 12965199 SOS 6013114 HAS SOPS 6008825 HAS SOUS 1616737 HAS SOUPS 1612448 WITH SCORE 1618461.114
AT ITER 222 NEW BEST:: SOT 12958865 SOS 6013056 HAS SOPS 6008767 HAS SOUS 1609568 HAS SOUPS 1605279 WITH SCORE 1611292.056
AT ITER 232 NEW BEST:: SOT 12953967 SOS 6010634 HAS SOPS 6006345 HAS SOUS 1605700 HAS SOUPS 1601411 WITH SCORE 1607421.634
AT ITER 233 NEW BEST:: SOT 12952064 SOS 6009188 HAS SOPS 6005366 HAS SOUS 1599724 HAS SOUPS 1595902 WITH SCORE 1601911.188
AT ITER 240 NEW BEST:: SOT 12952064 SOS 6006092 HAS SOPS 6002270 HAS SOUS 1599724 HAS SOUPS 1595902 WITH SCORE 1601908.092
AT ITER 254 NEW BEST:: SOT 12951964 SOS 6081232 HAS SOPS 6077410 HAS SOUS 1599622 HAS SOUPS 1595800 WITH SCORE 1601881.232
AT ITER 257 NEW BEST:: SOT 12951964 SOS 6076120 HAS SOPS 6072298 HAS SOUS 1599622 HAS SOUPS 1595800 WITH SCORE 1601876.12
AT ITER 261 NEW BEST:: SOT 12956672 SOS 6081276 HAS SOPS 6077454 HAS SOUS 1596149 HAS SOUPS 1592327 WITH SCORE 1598408.276
AT ITER 266 NEW BEST:: SOT 12953421 SOS 6078025 HAS SOPS 6074203 HAS SOUS 1592898 HAS SOUPS 1589076 WITH SCORE 1595154.025
AT ITER 275 NEW BEST:: SOT 12953421 SOS 6074065 HAS SOPS 6070243 HAS SOUS 1592898 HAS SOUPS 1589076 WITH SCORE 1595150.065
AT ITER 276 NEW BEST:: SOT 12948679 SOS 6072299 HAS SOPS 6068477 HAS SOUS 1588825 HAS SOUPS 1585003 WITH SCORE 1591075.299
AT ITER 277 NEW BEST:: SOT 12953042 SOS 6076666 HAS SOPS 6072887 HAS SOUS 1588028 HAS SOUPS 1584249 WITH SCORE 1590325.666
AT ITER 281 NEW BEST:: SOT 12952003 SOS 6078815 HAS SOPS 6075036 HAS SOUS 1587002 HAS SOUPS 1583223 WITH SCORE 1589301.815
AT ITER 288 NEW BEST:: SOT 12952003 SOS 6078687 HAS SOPS 6074908 HAS SOUS 1586938 HAS SOUPS 1583159 WITH SCORE 1589237.687
AT ITER 292 NEW BEST:: SOT 12951994 SOS 6078678 HAS SOPS 6074899 HAS SOUS 1586236 HAS SOUPS 1582457 WITH SCORE 1588535.678
AT ITER 293 NEW BEST:: SOT 12953853 SOS 6081740 HAS SOPS 6078000 HAS SOUS 1575120 HAS SOUPS 1571380 WITH SCORE 1577461.74
AT ITER 295 NEW BEST:: SOT 12952692 SOS 6080579 HAS SOPS 6076839 HAS SOUS 1574074 HAS SOUPS 1570334 WITH SCORE 1576414.579
AT ITER 307 NEW BEST:: SOT 12952692 SOS 6069997 HAS SOPS 6066257 HAS SOUS 1573931 HAS SOUPS 1570191 WITH SCORE 1576260.997
AT ITER 317 NEW BEST:: SOT 12948704 SOS 6070119 HAS SOPS 6066379 HAS SOUS 1569807 HAS SOUPS 1566067 WITH SCORE 1572137.119
AT ITER 318 NEW BEST:: SOT 12948761 SOS 6070135 HAS SOPS 6066436 HAS SOUS 1561537 HAS SOUPS 1557838 WITH SCORE 1563908.135
AT ITER 322 NEW BEST:: SOT 12949113 SOS 6070487 HAS SOPS 6066788 HAS SOUS 1561316 HAS SOUPS 1557617 WITH SCORE 1563687.487
AT ITER 325 NEW BEST:: SOT 12950429 SOS 6072598 HAS SOPS 6068930 HAS SOUS 1559960 HAS SOUPS 1556292 WITH SCORE 1562364.598
AT ITER 328 NEW BEST:: SOT 12946965 SOS 6070220 HAS SOPS 6066552 HAS SOUS 1545220 HAS SOUPS 1541552 WITH SCORE 1547622.22
AT ITER 331 NEW BEST:: SOT 12946965 SOS 6070136 HAS SOPS 6066468 HAS SOUS 1545178 HAS SOUPS 1541510 WITH SCORE 1547580.136
AT ITER 332 NEW BEST:: SOT 12947023 SOS 6070200 HAS SOPS 6066526 HAS SOUS 1543375 HAS SOUPS 1539707 WITH SCORE 1545777.2
AT ITER 333 NEW BEST:: SOT 12940402 SOS 6067179 HAS SOPS 6063505 HAS SOUS 1535907 HAS SOUPS 1532239 WITH SCORE 1538306.179
AT ITER 338 NEW BEST:: SOT 12937535 SOS 6064088 HAS SOPS 6060329 HAS SOUS 1535574 HAS SOUPS 1531824 WITH SCORE 1537888.088
AT ITER 361 NEW BEST:: SOT 12939883 SOS 6070844 HAS SOPS 6067117 HAS SOUS 1532249 HAS SOUPS 1528531 WITH SCORE 1534601.844
AT ITER 371 NEW BEST:: SOT 12939303 SOS 6070264 HAS SOPS 6066537 HAS SOUS 1531363 HAS SOUPS 1527645 WITH SCORE 1533715.264
AT ITER 374 NEW BEST:: SOT 12931646 SOS 6071724 HAS SOPS 6067997 HAS SOUS 1525853 HAS SOUPS 1522135 WITH SCORE 1528206.724
AT ITER 381 NEW BEST:: SOT 12923102 SOS 6060809 HAS SOPS 6055506 HAS SOUS 1520480 HAS SOUPS 1515186 WITH SCORE 1521246.809
AT ITER 383 NEW BEST:: SOT 12923102 SOS 6051684 HAS SOPS 6046381 HAS SOUS 1520355 HAS SOUPS 1515061 WITH SCORE 1521112.684
AT ITER 403 NEW BEST:: SOT 12922117 SOS 6051602 HAS SOPS 6045288 HAS SOUS 1519548 HAS SOUPS 1513237 WITH SCORE 1519288.602
AT ITER 420 NEW BEST:: SOT 12922105 SOS 6051315 HAS SOPS 6045001 HAS SOUS 1519536 HAS SOUPS 1513225 WITH SCORE 1519276.315
AT ITER 431 NEW BEST:: SOT 12922334 SOS 6051544 HAS SOPS 6045230 HAS SOUS 1510633 HAS SOUPS 1504322 WITH SCORE 1510373.544
AT ITER 434 NEW BEST:: SOT 12918941 SOS 6048151 HAS SOPS 6041880 HAS SOUS 1502558 HAS SOUPS 1496290 WITH SCORE 1502338.151
AT ITER 435 NEW BEST:: SOT 12919095 SOS 6048305 HAS SOPS 6042034 HAS SOUS 1494563 HAS SOUPS 1488295 WITH SCORE 1494343.305
AT ITER 456 NEW BEST:: SOT 12921222 SOS 6050432 HAS SOPS 6044161 HAS SOUS 1493365 HAS SOUPS 1487097 WITH SCORE 1493147.432
AT ITER 457 NEW BEST:: SOT 12919453 SOS 6048663 HAS SOPS 6042392 HAS SOUS 1476553 HAS SOUPS 1470285 WITH SCORE 1476333.663
AT ITER 459 NEW BEST:: SOT 12920521 SOS 6049731 HAS SOPS 6043460 HAS SOUS 1475848 HAS SOUPS 1469580 WITH SCORE 1475629.731
AT ITER 470 NEW BEST:: SOT 12920570 SOS 6049780 HAS SOPS 6043509 HAS SOUS 1468241 HAS SOUPS 1461973 WITH SCORE 1468022.78
AT ITER 471 NEW BEST:: SOT 12918891 SOS 6048101 HAS SOPS 6041830 HAS SOUS 1464803 HAS SOUPS 1458535 WITH SCORE 1464583.101
AT ITER 475 NEW BEST:: SOT 12918891 SOS 6048164 HAS SOPS 6041830 HAS SOUS 1464803 HAS SOUPS 1458472 WITH SCORE 1464520.164
AT ITER 483 NEW BEST:: SOT 12918663 SOS 6048044 HAS SOPS 6041710 HAS SOUS 1464500 HAS SOUPS 1458169 WITH SCORE 1464217.044
AT ITER 490 NEW BEST:: SOT 12918663 SOS 6047929 HAS SOPS 6041595 HAS SOUS 1464500 HAS SOUPS 1458169 WITH SCORE 1464216.929
AT ITER 495 NEW BEST:: SOT 12916772 SOS 6046038 HAS SOPS 6039704 HAS SOUS 1461937 HAS SOUPS 1455606 WITH SCORE 1461652.038
AT ITER 508 NEW BEST:: SOT 12916772 SOS 6046038 HAS SOPS 6039704 HAS SOUS 1457482 HAS SOUPS 1451151 WITH SCORE 1457197.038
AT ITER 510 NEW BEST:: SOT 12916772 SOS 6046015 HAS SOPS 6039681 HAS SOUS 1457482 HAS SOUPS 1451151 WITH SCORE 1457197.015
AT ITER 519 NEW BEST:: SOT 12907442 SOS 6038803 HAS SOPS 6032469 HAS SOUS 1447154 HAS SOUPS 1440823 WITH SCORE 1446861.803
AT ITER 526 NEW BEST:: SOT 12906241 SOS 6037782 HAS SOPS 6031448 HAS SOUS 1439488 HAS SOUPS 1433157 WITH SCORE 1439194.782
AT ITER 537 NEW BEST:: SOT 12906241 SOS 6037743 HAS SOPS 6031409 HAS SOUS 1439449 HAS SOUPS 1433118 WITH SCORE 1439155.743
AT ITER 538 NEW BEST:: SOT 12907518 SOS 6039440 HAS SOPS 6033106 HAS SOUS 1438217 HAS SOUPS 1431886 WITH SCORE 1437925.44
AT ITER 568 NEW BEST:: SOT 12909913 SOS 6042119 HAS SOPS 6035785 HAS SOUS 1436878 HAS SOUPS 1430547 WITH SCORE 1436589.119
AT ITER 569 NEW BEST:: SOT 12909943 SOS 6041693 HAS SOPS 6035421 HAS SOUS 1430018 HAS SOUPS 1423749 WITH SCORE 1429790.693
AT ITER 571 NEW BEST:: SOT 12909135 SOS 6040885 HAS SOPS 6034613 HAS SOUS 1424893 HAS SOUPS 1418624 WITH SCORE 1424664.885
AT ITER 579 NEW BEST:: SOT 12909135 SOS 6040862 HAS SOPS 6034590 HAS SOUS 1424870 HAS SOUPS 1418601 WITH SCORE 1424641.862
AT ITER 584 NEW BEST:: SOT 12909135 SOS 6040862 HAS SOPS 6034590 HAS SOUS 1424861 HAS SOUPS 1418592 WITH SCORE 1424632.862
AT ITER 587 NEW BEST:: SOT 12752787 SOS 6067340 HAS SOPS 6061410 HAS SOUS 1268176 HAS SOUPS 1262541 WITH SCORE 1268608.34
AT ITER 590 NEW BEST:: SOT 12752787 SOS 6067340 HAS SOPS 6061410 HAS SOUS 1268164 HAS SOUPS 1262529 WITH SCORE 1268596.34
AT ITER 601 NEW BEST:: SOT 12743263 SOS 6058951 HAS SOPS 6052851 HAS SOUS 1261601 HAS SOUPS 1255856 WITH SCORE 1261914.951
AT ITER 606 NEW BEST:: SOT 12745133 SOS 6061285 HAS SOPS 6055185 HAS SOUS 1248319 HAS SOUPS 1242574 WITH SCORE 1248635.285
AT ITER 609 NEW BEST:: SOT 12744991 SOS 6061147 HAS SOPS 6055047 HAS SOUS 1248177 HAS SOUPS 1242432 WITH SCORE 1248493.147
AT ITER 636 NEW BEST:: SOT 12748224 SOS 6069294 HAS SOPS 6063238 HAS SOUS 1244042 HAS SOUPS 1238341 WITH SCORE 1244410.294
AT ITER 653 NEW BEST:: SOT 12747962 SOS 6069032 HAS SOPS 6062976 HAS SOUS 1243510 HAS SOUPS 1237809 WITH SCORE 1243878.032
AT ITER 665 NEW BEST:: SOT 12747622 SOS 6068692 HAS SOPS 6062636 HAS SOUS 1238816 HAS SOUPS 1233115 WITH SCORE 1239183.692
AT ITER 668 NEW BEST:: SOT 12745146 SOS 6066190 HAS SOPS 6060134 HAS SOUS 1232631 HAS SOUPS 1226930 WITH SCORE 1232996.19
AT ITER 671 NEW BEST:: SOT 12744196 SOS 6064291 HAS SOPS 6058222 HAS SOUS 1232435 HAS SOUPS 1226721 WITH SCORE 1232785.291
AT ITER 676 NEW BEST:: SOT 12744138 SOS 6064241 HAS SOPS 6058172 HAS SOUS 1232381 HAS SOUPS 1226667 WITH SCORE 1232731.241
AT ITER 677 NEW BEST:: SOT 12744135 SOS 6063561 HAS SOPS 6057588 HAS SOUS 1232280 HAS SOUPS 1226662 WITH SCORE 1232725.561
AT ITER 684 NEW BEST:: SOT 12745610 SOS 6065087 HAS SOPS 6059141 HAS SOUS 1231175 HAS SOUPS 1225584 WITH SCORE 1231649.087
AT ITER 687 NEW BEST:: SOT 12750989 SOS 6070024 HAS SOPS 6064297 HAS SOUS 1222610 HAS SOUPS 1217238 WITH SCORE 1223308.024
AT ITER 688 NEW BEST:: SOT 12752338 SOS 6071453 HAS SOPS 6065726 HAS SOUS 1222591 HAS SOUPS 1217219 WITH SCORE 1223290.453
AT ITER 695 NEW BEST:: SOT 12752338 SOS 6071386 HAS SOPS 6065659 HAS SOUS 1222591 HAS SOUPS 1217219 WITH SCORE 1223290.386
AT ITER 697 NEW BEST:: SOT 12752338 SOS 6071026 HAS SOPS 6065299 HAS SOUS 1222591 HAS SOUPS 1217219 WITH SCORE 1223290.026
AT ITER 700 NEW BEST:: SOT 12752338 SOS 6071024 HAS SOPS 6065297 HAS SOUS 1222591 HAS SOUPS 1217219 WITH SCORE 1223290.024
AT ITER 701 NEW BEST:: SOT 12749190 SOS 6076804 HAS SOPS 6071077 HAS SOUS 1219461 HAS SOUPS 1214089 WITH SCORE 1220165.804
AT ITER 704 NEW BEST:: SOT 12749190 SOS 6076691 HAS SOPS 6070964 HAS SOUS 1216821 HAS SOUPS 1211449 WITH SCORE 1217525.691
AT ITER 706 NEW BEST:: SOT 12759508 SOS 6087177 HAS SOPS 6081450 HAS SOUS 1215425 HAS SOUPS 1210053 WITH SCORE 1216140.177
AT ITER 712 NEW BEST:: SOT 12756808 SOS 6085025 HAS SOPS 6079298 HAS SOUS 1214736 HAS SOUPS 1209364 WITH SCORE 1215449.025
AT ITER 716 NEW BEST:: SOT 12756808 SOS 6084377 HAS SOPS 6078650 HAS SOUS 1214736 HAS SOUPS 1209364 WITH SCORE 1215448.377
AT ITER 719 NEW BEST:: SOT 12766383 SOS 6113280 HAS SOPS 6106837 HAS SOUS 1208841 HAS SOUPS 1203308 WITH SCORE 1209421.28
AT ITER 729 NEW BEST:: SOT 12746928 SOS 6094016 HAS SOPS 6087573 HAS SOUS 1207969 HAS SOUPS 1202436 WITH SCORE 1208530.016
AT ITER 737 NEW BEST:: SOT 12747307 SOS 6094544 HAS SOPS 6088077 HAS SOUS 1206522 HAS SOUPS 1200965 WITH SCORE 1207059.544
AT ITER 752 NEW BEST:: SOT 12748788 SOS 6095866 HAS SOPS 6089399 HAS SOUS 1203033 HAS SOUPS 1197476 WITH SCORE 1203571.866
AT ITER 771 NEW BEST:: SOT 12746795 SOS 6102441 HAS SOPS 6095974 HAS SOUS 1200220 HAS SOUPS 1194663 WITH SCORE 1200765.441
AT ITER 783 NEW BEST:: SOT 12745818 SOS 6101568 HAS SOPS 6095101 HAS SOUS 1191021 HAS SOUPS 1185464 WITH SCORE 1191565.568
AT ITER 789 NEW BEST:: SOT 12744462 SOS 6099799 HAS SOPS 6093332 HAS SOUS 1188247 HAS SOUPS 1182690 WITH SCORE 1188789.799
AT ITER 803 NEW BEST:: SOT 12744462 SOS 6005945 HAS SOPS 5999478 HAS SOUS 1188228 HAS SOUPS 1182671 WITH SCORE 1188676.945
AT ITER 807 NEW BEST:: SOT 12744830 SOS 6006313 HAS SOPS 5999869 HAS SOUS 1187571 HAS SOUPS 1182037 WITH SCORE 1188043.313
AT ITER 824 NEW BEST:: SOT 12744716 SOS 6006199 HAS SOPS 5999755 HAS SOUS 1187344 HAS SOUPS 1181810 WITH SCORE 1187816.199
AT ITER 836 NEW BEST:: SOT 12751990 SOS 6013473 HAS SOPS 6007029 HAS SOUS 1186999 HAS SOUPS 1181465 WITH SCORE 1187478.473
AT ITER 859 NEW BEST:: SOT 12751990 SOS 6013053 HAS SOPS 6006609 HAS SOUS 1186964 HAS SOUPS 1181430 WITH SCORE 1187443.053
AT ITER 864 NEW BEST:: SOT 12753731 SOS 6014794 HAS SOPS 6008350 HAS SOUS 1182568 HAS SOUPS 1177034 WITH SCORE 1183048.794
AT ITER 865 NEW BEST:: SOT 12754877 SOS 6016091 HAS SOPS 6009710 HAS SOUS 1174601 HAS SOUPS 1169130 WITH SCORE 1175146.091
AT ITER 866 NEW BEST:: SOT 12754055 SOS 6015269 HAS SOPS 6008888 HAS SOUS 1172875 HAS SOUPS 1167404 WITH SCORE 1173419.269
AT ITER 874 NEW BEST:: SOT 12764969 SOS 6040664 HAS SOPS 6033827 HAS SOUS 1168476 HAS SOUPS 1162877 WITH SCORE 1168917.664
AT ITER 876 NEW BEST:: SOT 12770372 SOS 6046067 HAS SOPS 6039230 HAS SOUS 1161214 HAS SOUPS 1155615 WITH SCORE 1161661.067
AT ITER 881 NEW BEST:: SOT 12770372 SOS 6045885 HAS SOPS 6039048 HAS SOUS 1161200 HAS SOUPS 1155601 WITH SCORE 1161646.885
AT ITER 891 NEW BEST:: SOT 12769933 SOS 6045446 HAS SOPS 6038609 HAS SOUS 1159430 HAS SOUPS 1153831 WITH SCORE 1159876.446
AT ITER 897 NEW BEST:: SOT 12769933 SOS 6042350 HAS SOPS 6035513 HAS SOUS 1159430 HAS SOUPS 1153831 WITH SCORE 1159873.35
AT ITER 900 NEW BEST:: SOT 12770858 SOS 6043275 HAS SOPS 6036438 HAS SOUS 1157075 HAS SOUPS 1151476 WITH SCORE 1157519.275
AT ITER 902 NEW BEST:: SOT 12770856 SOS 6043273 HAS SOPS 6036436 HAS SOUS 1157073 HAS SOUPS 1151474 WITH SCORE 1157517.273
AT ITER 918 NEW BEST:: SOT 12770386 SOS 6042923 HAS SOPS 6036446 HAS SOUS 1156958 HAS SOUPS 1151377 WITH SCORE 1157419.923
AT ITER 923 NEW BEST:: SOT 12770533 SOS 6043417 HAS SOPS 6036949 HAS SOUS 1155240 HAS SOUPS 1149668 WITH SCORE 1155711.417
AT ITER 929 NEW BEST:: SOT 12785843 SOS 6088407 HAS SOPS 6081128 HAS SOUS 1152516 HAS SOUPS 1146739 WITH SCORE 1152827.407
AT ITER 937 NEW BEST:: SOT 12785843 SOS 6088339 HAS SOPS 6081063 HAS SOUS 1152508 HAS SOUPS 1146732 WITH SCORE 1152820.339
AT ITER 940 NEW BEST:: SOT 12785843 SOS 6079601 HAS SOPS 6072325 HAS SOUS 1152462 HAS SOUPS 1146686 WITH SCORE 1152765.601
AT ITER 975 NEW BEST:: SOT 12784518 SOS 5994048 HAS SOPS 5986772 HAS SOUS 1151137 HAS SOUPS 1145361 WITH SCORE 1151355.048
AT ITER 988 NEW BEST:: SOT 12783907 SOS 5993669 HAS SOPS 5986393 HAS SOUS 1149997 HAS SOUPS 1144221 WITH SCORE 1150214.669
AT ITER 990 NEW BEST:: SOT 12785965 SOS 5995727 HAS SOPS 5988451 HAS SOUS 1146597 HAS SOUPS 1140821 WITH SCORE 1146816.727
AT ITER 1005 NEW BEST:: SOT 12786229 SOS 5995991 HAS SOPS 5988715 HAS SOUS 1145326 HAS SOUPS 1139550 WITH SCORE 1145545.991
AT ITER 1008 NEW BEST:: SOT 12786378 SOS 5996140 HAS SOPS 5988864 HAS SOUS 1143359 HAS SOUPS 1137583 WITH SCORE 1143579.14
AT ITER 1011 NEW BEST:: SOT 12786174 SOS 5995948 HAS SOPS 5988672 HAS SOUS 1142952 HAS SOUPS 1137176 WITH SCORE 1143171.948
AT ITER 1019 NEW BEST:: SOT 12786222 SOS 5995996 HAS SOPS 5988726 HAS SOUS 1142774 HAS SOUPS 1137004 WITH SCORE 1142999.996
AT ITER 1023 NEW BEST:: SOT 12785495 SOS 5994966 HAS SOPS 5987753 HAS SOUS 1139986 HAS SOUPS 1134273 WITH SCORE 1140267.966
AT ITER 1025 NEW BEST:: SOT 12786400 SOS 5995871 HAS SOPS 5988658 HAS SOUS 1138710 HAS SOUPS 1132997 WITH SCORE 1138992.871
AT ITER 1027 NEW BEST:: SOT 12803358 SOS 6033768 HAS SOPS 6026406 HAS SOUS 1134844 HAS SOUPS 1128982 WITH SCORE 1135015.768
AT ITER 1030 NEW BEST:: SOT 12803571 SOS 6034003 HAS SOPS 6026641 HAS SOUS 1133856 HAS SOUPS 1127994 WITH SCORE 1134028.003
AT ITER 1041 NEW BEST:: SOT 12803571 SOS 6034457 HAS SOPS 6026649 HAS SOUS 1133556 HAS SOUPS 1127692 WITH SCORE 1133726.457
AT ITER 1058 NEW BEST:: SOT 12808032 SOS 6043411 HAS SOPS 6035770 HAS SOUS 1132862 HAS SOUPS 1127107 WITH SCORE 1133150.411
AT ITER 1067 NEW BEST:: SOT 12808032 SOS 6041989 HAS SOPS 6034348 HAS SOUS 1132704 HAS SOUPS 1126949 WITH SCORE 1132990.989
AT ITER 1076 NEW BEST:: SOT 12809300 SOS 6043261 HAS SOPS 6035659 HAS SOUS 1124767 HAS SOUPS 1119051 WITH SCORE 1125094.261
AT ITER 1088 NEW BEST:: SOT 12809035 SOS 6042996 HAS SOPS 6035394 HAS SOUS 1124185 HAS SOUPS 1118469 WITH SCORE 1124511.996
AT ITER 1105 NEW BEST:: SOT 12804448 SOS 6038639 HAS SOPS 6030912 HAS SOUS 1119427 HAS SOUPS 1113586 WITH SCORE 1119624.639
AT ITER 1114 NEW BEST:: SOT 12804400 SOS 6038589 HAS SOPS 6030862 HAS SOUS 1119335 HAS SOUPS 1113494 WITH SCORE 1119532.589
AT ITER 1127 NEW BEST:: SOT 12806213 SOS 6040632 HAS SOPS 6032905 HAS SOUS 1107332 HAS SOUPS 1101491 WITH SCORE 1107531.632
AT ITER 1150 NEW BEST:: SOT 12809870 SOS 6044289 HAS SOPS 6036562 HAS SOUS 1105551 HAS SOUPS 1099710 WITH SCORE 1105754.289
AT ITER 1151 NEW BEST:: SOT 12808853 SOS 6032236 HAS SOPS 6025104 HAS SOUS 1099033 HAS SOUPS 1093343 WITH SCORE 1099375.236
AT ITER 1164 NEW BEST:: SOT 12806233 SOS 6029568 HAS SOPS 6022436 HAS SOUS 1096623 HAS SOUPS 1090933 WITH SCORE 1096962.568
AT ITER 1168 NEW BEST:: SOT 12813359 SOS 6036694 HAS SOPS 6029562 HAS SOUS 1094841 HAS SOUPS 1089151 WITH SCORE 1095187.694
AT ITER 1183 NEW BEST:: SOT 12813359 SOS 6033542 HAS SOPS 6026410 HAS SOUS 1094741 HAS SOUPS 1089051 WITH SCORE 1095084.542
AT ITER 1191 NEW BEST:: SOT 12814842 SOS 6035026 HAS SOPS 6027939 HAS SOUS 1093471 HAS SOUPS 1087826 WITH SCORE 1093861.026
AT ITER 1209 NEW BEST:: SOT 12814499 SOS 6034637 HAS SOPS 6027550 HAS SOUS 1092990 HAS SOUPS 1087345 WITH SCORE 1093379.637
AT ITER 1225 NEW BEST:: SOT 12814499 SOS 6026184 HAS SOPS 6019097 HAS SOUS 1092818 HAS SOUPS 1087173 WITH SCORE 1093199.184
AT ITER 1229 NEW BEST:: SOT 12814109 SOS 6025794 HAS SOPS 6018707 HAS SOUS 1092040 HAS SOUPS 1086395 WITH SCORE 1092420.794
AT ITER 1240 NEW BEST:: SOT 12814446 SOS 6026115 HAS SOPS 6019044 HAS SOUS 1091161 HAS SOUPS 1085532 WITH SCORE 1091558.115
AT ITER 1248 NEW BEST:: SOT 12814353 SOS 6026022 HAS SOPS 6018951 HAS SOUS 1090966 HAS SOUPS 1085337 WITH SCORE 1091363.022
AT ITER 1249 NEW BEST:: SOT 12814353 SOS 6017999 HAS SOPS 6010928 HAS SOUS 1090925 HAS SOUPS 1085296 WITH SCORE 1091313.999
AT ITER 1252 NEW BEST:: SOT 12814353 SOS 6017999 HAS SOPS 6010928 HAS SOUS 1090893 HAS SOUPS 1085264 WITH SCORE 1091281.999
AT ITER 1258 NEW BEST:: SOT 12813516 SOS 6017130 HAS SOPS 6010059 HAS SOUS 1089200 HAS SOUPS 1083571 WITH SCORE 1089588.13
AT ITER 1278 NEW BEST:: SOT 12816796 SOS 6020410 HAS SOPS 6013339 HAS SOUS 1087564 HAS SOUPS 1081935 WITH SCORE 1087955.41
AT ITER 1282 NEW BEST:: SOT 12816796 SOS 6020122 HAS SOPS 6013051 HAS SOUS 1087564 HAS SOUPS 1081935 WITH SCORE 1087955.122
AT ITER 1291 NEW BEST:: SOT 12816796 SOS 6019894 HAS SOPS 6012823 HAS SOUS 1087560 HAS SOUPS 1081931 WITH SCORE 1087950.894
AT ITER 1299 NEW BEST:: SOT 12816766 SOS 6018928 HAS SOPS 6011857 HAS SOUS 1087530 HAS SOUPS 1081901 WITH SCORE 1087919.928
AT ITER 1303 NEW BEST:: SOT 12816766 SOS 6011423 HAS SOPS 6004352 HAS SOUS 1087475 HAS SOUPS 1081846 WITH SCORE 1087857.423
AT ITER 1319 NEW BEST:: SOT 12811081 SOS 6017899 HAS SOPS 6010828 HAS SOUS 1084922 HAS SOUPS 1079293 WITH SCORE 1085310.899
AT ITER 1324 NEW BEST:: SOT 12811548 SOS 6018345 HAS SOPS 6011274 HAS SOUS 1083299 HAS SOUPS 1077670 WITH SCORE 1083688.345
AT ITER 1326 NEW BEST:: SOT 12811548 SOS 6012596 HAS SOPS 6005525 HAS SOUS 1083288 HAS SOUPS 1077659 WITH SCORE 1083671.596
AT ITER 1356 NEW BEST:: SOT 12811548 SOS 6012501 HAS SOPS 6005434 HAS SOUS 1083233 HAS SOUPS 1077606 WITH SCORE 1083618.501
AT ITER 1374 NEW BEST:: SOT 12811548 SOS 6012580 HAS SOPS 6005513 HAS SOUS 1083183 HAS SOUPS 1077556 WITH SCORE 1083568.58
AT ITER 1387 NEW BEST:: SOT 12811548 SOS 6011834 HAS SOPS 6004767 HAS SOUS 1081937 HAS SOUPS 1076310 WITH SCORE 1082321.834
AT ITER 1402 NEW BEST:: SOT 12802846 SOS 6015945 HAS SOPS 6008878 HAS SOUS 1072839 HAS SOUPS 1067212 WITH SCORE 1073227.945
AT ITER 1412 NEW BEST:: SOT 12805951 SOS 6019164 HAS SOPS 6012097 HAS SOUS 1071903 HAS SOUPS 1066276 WITH SCORE 1072295.164
AT ITER 1418 NEW BEST:: SOT 12808233 SOS 6021532 HAS SOPS 6014465 HAS SOUS 1071046 HAS SOUPS 1065419 WITH SCORE 1071440.532
AT ITER 1432 NEW BEST:: SOT 12807779 SOS 6021366 HAS SOPS 6014299 HAS SOUS 1070264 HAS SOUPS 1064637 WITH SCORE 1070658.366
AT ITER 1440 NEW BEST:: SOT 12807623 SOS 6021210 HAS SOPS 6014143 HAS SOUS 1069944 HAS SOUPS 1064317 WITH SCORE 1070338.21
AT ITER 1446 NEW BEST:: SOT 12813221 SOS 6026903 HAS SOPS 6019836 HAS SOUS 1068869 HAS SOUPS 1063242 WITH SCORE 1069268.903
AT ITER 1452 NEW BEST:: SOT 12813236 SOS 6026918 HAS SOPS 6019851 HAS SOUS 1068826 HAS SOUPS 1063199 WITH SCORE 1069225.918
AT ITER 1457 NEW BEST:: SOT 12813236 SOS 5542661 HAS SOPS 5535594 HAS SOUS 1068883 HAS SOUPS 1063256 WITH SCORE 1068798.661
AT ITER 1459 NEW BEST:: SOT 12813100 SOS 5542385 HAS SOPS 5535318 HAS SOUS 1068747 HAS SOUPS 1063120 WITH SCORE 1068662.385
AT ITER 1488 NEW BEST:: SOT 12814820 SOS 5544705 HAS SOPS 5537758 HAS SOUS 1066324 HAS SOUPS 1060699 WITH SCORE 1066243.705
AT ITER 1491 NEW BEST:: SOT 12814646 SOS 5545204 HAS SOPS 5538257 HAS SOUS 1066274 HAS SOUPS 1060649 WITH SCORE 1066194.204
AT ITER 1497 NEW BEST:: SOT 12814806 SOS 5545364 HAS SOPS 5538417 HAS SOUS 1066017 HAS SOUPS 1060392 WITH SCORE 1065937.364
AT ITER 1501 NEW BEST:: SOT 12812626 SOS 5543104 HAS SOPS 5536157 HAS SOUS 1061534 HAS SOUPS 1055909 WITH SCORE 1061452.104
AT ITER 1545 NEW BEST:: SOT 12810451 SOS 5540929 HAS SOPS 5533982 HAS SOUS 1058895 HAS SOUPS 1053270 WITH SCORE 1058810.929
AT ITER 1548 NEW BEST:: SOT 12809523 SOS 5540024 HAS SOPS 5533054 HAS SOUS 1058869 HAS SOUPS 1053221 WITH SCORE 1058761.024
AT ITER 1553 NEW BEST:: SOT 12814617 SOS 5549222 HAS SOPS 5542264 HAS SOUS 1058266 HAS SOUPS 1052630 WITH SCORE 1058179.222
AT ITER 1568 NEW BEST:: SOT 12814617 SOS 5549222 HAS SOPS 5542264 HAS SOUS 1058251 HAS SOUPS 1052615 WITH SCORE 1058164.222
AT ITER 1570 NEW BEST:: SOT 12814617 SOS 5548711 HAS SOPS 5541753 HAS SOUS 1057548 HAS SOUPS 1051912 WITH SCORE 1057460.711
AT ITER 1574 NEW BEST:: SOT 12814409 SOS 5548539 HAS SOPS 5541581 HAS SOUS 1054918 HAS SOUPS 1049282 WITH SCORE 1054830.539
AT ITER 1576 NEW BEST:: SOT 12811411 SOS 5545541 HAS SOPS 5538583 HAS SOUS 1053265 HAS SOUPS 1047629 WITH SCORE 1053174.541
AT ITER 1580 NEW BEST:: SOT 12824406 SOS 5558536 HAS SOPS 5551578 HAS SOUS 1053231 HAS SOUPS 1047595 WITH SCORE 1053153.536
AT ITER 1583 NEW BEST:: SOT 12824406 SOS 5556088 HAS SOPS 5549130 HAS SOUS 1053197 HAS SOUPS 1047561 WITH SCORE 1053117.088
AT ITER 1610 NEW BEST:: SOT 12825513 SOS 5557195 HAS SOPS 5550237 HAS SOUS 1049529 HAS SOUPS 1043893 WITH SCORE 1049450.195
AT ITER 1613 NEW BEST:: SOT 12825513 SOS 5557105 HAS SOPS 5550147 HAS SOUS 1049484 HAS SOUPS 1043848 WITH SCORE 1049405.105
AT ITER 1619 NEW BEST:: SOT 12833365 SOS 5572410 HAS SOPS 5565487 HAS SOUS 1047209 HAS SOUPS 1041608 WITH SCORE 1047180.41
AT ITER 1626 NEW BEST:: SOT 12834323 SOS 5573394 HAS SOPS 5566487 HAS SOUS 1046949 HAS SOUPS 1041364 WITH SCORE 1046937.394
AT ITER 1628 NEW BEST:: SOT 12832849 SOS 5571920 HAS SOPS 5565013 HAS SOUS 1041373 HAS SOUPS 1035788 WITH SCORE 1041359.92
AT ITER 1649 NEW BEST:: SOT 12832993 SOS 5578051 HAS SOPS 5571144 HAS SOUS 1039814 HAS SOUPS 1034229 WITH SCORE 1039807.051
AT ITER 1657 NEW BEST:: SOT 12834134 SOS 5579192 HAS SOPS 5572285 HAS SOUS 1033659 HAS SOUPS 1028074 WITH SCORE 1033653.192
AT ITER 1660 NEW BEST:: SOT 12834482 SOS 5579505 HAS SOPS 5572633 HAS SOUS 1031725 HAS SOUPS 1026175 WITH SCORE 1031754.505
AT ITER 1663 NEW BEST:: SOT 12833568 SOS 5576607 HAS SOPS 5569735 HAS SOUS 1029873 HAS SOUPS 1024323 WITH SCORE 1029899.607
AT ITER 1664 NEW BEST:: SOT 12846517 SOS 5601502 HAS SOPS 5594544 HAS SOUS 1029620 HAS SOUPS 1023984 WITH SCORE 1029585.502
AT ITER 1680 NEW BEST:: SOT 12846560 SOS 5601696 HAS SOPS 5594733 HAS SOUS 1029607 HAS SOUPS 1023970 WITH SCORE 1029571.696
AT ITER 1682 NEW BEST:: SOT 12845459 SOS 5600595 HAS SOPS 5593632 HAS SOUS 1027202 HAS SOUPS 1021565 WITH SCORE 1027165.595
AT ITER 1687 NEW BEST:: SOT 12842776 SOS 5594972 HAS SOPS 5588009 HAS SOUS 1024519 HAS SOUPS 1018882 WITH SCORE 1024476.972
AT ITER 1693 NEW BEST:: SOT 12842360 SOS 5597242 HAS SOPS 5590569 HAS SOUS 1024069 HAS SOUPS 1018432 WITH SCORE 1024029.242
AT ITER 1696 NEW BEST:: SOT 12842278 SOS 5597160 HAS SOPS 5590487 HAS SOUS 1023518 HAS SOUPS 1017881 WITH SCORE 1023478.16
AT ITER 1697 NEW BEST:: SOT 12842065 SOS 5596941 HAS SOPS 5590256 HAS SOUS 1023302 HAS SOUPS 1017653 WITH SCORE 1023249.941
AT ITER 1708 NEW BEST:: SOT 12841872 SOS 5598878 HAS SOPS 5594299 HAS SOUS 1017755 HAS SOUPS 1014212 WITH SCORE 1019810.878
AT ITER 1714 NEW BEST:: SOT 12839528 SOS 5596534 HAS SOPS 5591955 HAS SOUS 1013341 HAS SOUPS 1009798 WITH SCORE 1015394.534
AT ITER 1716 NEW BEST:: SOT 12846011 SOS 5618094 HAS SOPS 5613346 HAS SOUS 1012569 HAS SOUPS 1008857 WITH SCORE 1014475.094
AT ITER 1723 NEW BEST:: SOT 12849247 SOS 5624066 HAS SOPS 5619318 HAS SOUS 1011687 HAS SOUPS 1007975 WITH SCORE 1013599.066
AT ITER 1736 NEW BEST:: SOT 12849247 SOS 5624066 HAS SOPS 5619318 HAS SOUS 1011683 HAS SOUPS 1007971 WITH SCORE 1013595.066
AT ITER 1744 NEW BEST:: SOT 12848066 SOS 5623151 HAS SOPS 5618403 HAS SOUS 1009423 HAS SOUPS 1005711 WITH SCORE 1011334.151
AT ITER 1755 NEW BEST:: SOT 12861839 SOS 5637959 HAS SOPS 5633211 HAS SOUS 1006558 HAS SOUPS 1002846 WITH SCORE 1008483.959
AT ITER 1768 NEW BEST:: SOT 12862942 SOS 5639062 HAS SOPS 5634314 HAS SOUS 1005012 HAS SOUPS 1001300 WITH SCORE 1006939.062
AT ITER 1780 NEW BEST:: SOT 12862936 SOS 5639056 HAS SOPS 5634308 HAS SOUS 1004942 HAS SOUPS 1001230 WITH SCORE 1006869.056
AT ITER 1805 NEW BEST:: SOT 12864454 SOS 5640670 HAS SOPS 5635922 HAS SOUS 1002274 HAS SOUPS 998562 WITH SCORE 1004202.67
AT ITER 1813 NEW BEST:: SOT 12856851 SOS 5634233 HAS SOPS 5629683 HAS SOUS 995360 HAS SOUPS 991648 WITH SCORE 997282.233
AT ITER 1815 NEW BEST:: SOT 12875045 SOS 5660922 HAS SOPS 5656372 HAS SOUS 995151 HAS SOUPS 991439 WITH SCORE 997099.922
AT ITER 1816 NEW BEST:: SOT 12875045 SOS 5660260 HAS SOPS 5655710 HAS SOUS 995071 HAS SOUPS 991359 WITH SCORE 997019.26
AT ITER 1832 NEW BEST:: SOT 12875018 SOS 5540434 HAS SOPS 5535749 HAS SOUS 994774 HAS SOUPS 991008 WITH SCORE 996548.434
AT ITER 1836 NEW BEST:: SOT 12873987 SOS 5542594 HAS SOPS 5537909 HAS SOUS 993205 HAS SOUPS 989439 WITH SCORE 994981.594
AT ITER 1852 NEW BEST:: SOT 12869473 SOS 5538328 HAS SOPS 5533643 HAS SOUS 989278 HAS SOUPS 985512 WITH SCORE 991050.328
AT ITER 1865 NEW BEST:: SOT 12875082 SOS 5549265 HAS SOPS 5544580 HAS SOUS 986781 HAS SOUPS 983015 WITH SCORE 988564.265
AT ITER 1890 NEW BEST:: SOT 12875624 SOS 5549807 HAS SOPS 5545122 HAS SOUS 986453 HAS SOUPS 982687 WITH SCORE 988236.807
AT ITER 1896 NEW BEST:: SOT 12871878 SOS 5541517 HAS SOPS 5536832 HAS SOUS 982643 HAS SOUPS 978877 WITH SCORE 984418.517
AT ITER 1908 NEW BEST:: SOT 12871796 SOS 5541435 HAS SOPS 5536750 HAS SOUS 982578 HAS SOUPS 978812 WITH SCORE 984353.435
AT ITER 1909 NEW BEST:: SOT 12873039 SOS 5542678 HAS SOPS 5537993 HAS SOUS 982371 HAS SOUPS 978605 WITH SCORE 984147.678
AT ITER 1928 NEW BEST:: SOT 12876808 SOS 5547419 HAS SOPS 5542734 HAS SOUS 964236 HAS SOUPS 960470 WITH SCORE 966017.419
AT ITER 1935 NEW BEST:: SOT 12879644 SOS 5550505 HAS SOPS 5546094 HAS SOUS 963344 HAS SOUPS 959852 WITH SCORE 965402.505
AT ITER 1942 NEW BEST:: SOT 12879417 SOS 5550361 HAS SOPS 5545950 HAS SOUS 962968 HAS SOUPS 959476 WITH SCORE 965026.361
AT ITER 1959 NEW BEST:: SOT 12879952 SOS 5550862 HAS SOPS 5546451 HAS SOUS 961142 HAS SOUPS 957650 WITH SCORE 963200.862
AT ITER 1988 NEW BEST:: SOT 12879802 SOS 5550712 HAS SOPS 5546301 HAS SOUS 960827 HAS SOUPS 957335 WITH SCORE 962885.712
AT ITER 1991 NEW BEST:: SOT 12880516 SOS 5551443 HAS SOPS 5547032 HAS SOUS 960418 HAS SOUPS 956926 WITH SCORE 962477.443
AT ITER 1993 NEW BEST:: SOT 12883984 SOS 5554911 HAS SOPS 5550500 HAS SOUS 957081 HAS SOUPS 953589 WITH SCORE 959143.911
AT ITER 2006 NEW BEST:: SOT 12884900 SOS 5555827 HAS SOPS 5551416 HAS SOUS 956975 HAS SOUPS 953483 WITH SCORE 959038.827
AT ITER 2026 NEW BEST:: SOT 12886349 SOS 5557276 HAS SOPS 5552865 HAS SOUS 955667 HAS SOUPS 952175 WITH SCORE 957732.276
AT ITER 2031 NEW BEST:: SOT 12886349 SOS 5557151 HAS SOPS 5552740 HAS SOUS 955470 HAS SOUPS 951978 WITH SCORE 957535.151
AT ITER 2041 NEW BEST:: SOT 12884697 SOS 5555499 HAS SOPS 5551088 HAS SOUS 952223 HAS SOUPS 948731 WITH SCORE 954286.499
AT ITER 2044 NEW BEST:: SOT 12886580 SOS 5557382 HAS SOPS 5552971 HAS SOUS 951826 HAS SOUPS 948334 WITH SCORE 953891.382
AT ITER 2055 NEW BEST:: SOT 12886580 SOS 5557327 HAS SOPS 5552916 HAS SOUS 951771 HAS SOUPS 948279 WITH SCORE 953836.327
AT ITER 2066 NEW BEST:: SOT 12887833 SOS 5558580 HAS SOPS 5554169 HAS SOUS 951615 HAS SOUPS 948123 WITH SCORE 953681.58
AT ITER 2067 NEW BEST:: SOT 12889242 SOS 5559989 HAS SOPS 5555578 HAS SOUS 950014 HAS SOUPS 946522 WITH SCORE 952081.989
AT ITER 2071 NEW BEST:: SOT 12889242 SOS 5559989 HAS SOPS 5555578 HAS SOUS 949838 HAS SOUPS 946346 WITH SCORE 951905.989
AT ITER 2087 NEW BEST:: SOT 12885771 SOS 5556518 HAS SOPS 5552107 HAS SOUS 942807 HAS SOUPS 939315 WITH SCORE 944871.518
AT ITER 2106 NEW BEST:: SOT 12885771 SOS 5556567 HAS SOPS 5552156 HAS SOUS 942758 HAS SOUPS 939266 WITH SCORE 944822.567
AT ITER 2147 NEW BEST:: SOT 12887026 SOS 5558022 HAS SOPS 5553651 HAS SOUS 942540 HAS SOUPS 939048 WITH SCORE 944606.022
AT ITER 2185 NEW BEST:: SOT 12887026 SOS 5558021 HAS SOPS 5553650 HAS SOUS 942540 HAS SOUPS 939048 WITH SCORE 944606.021
AT ITER 2202 NEW BEST:: SOT 12897026 SOS 5568021 HAS SOPS 5563650 HAS SOUS 941369 HAS SOUPS 937877 WITH SCORE 943445.021
AT ITER 2211 NEW BEST:: SOT 12902422 SOS 5573417 HAS SOPS 5569046 HAS SOUS 940858 HAS SOUPS 937366 WITH SCORE 942939.417
AT ITER 2223 NEW BEST:: SOT 12898377 SOS 5568868 HAS SOPS 5564497 HAS SOUS 936383 HAS SOUPS 932891 WITH SCORE 938459.868
AT ITER 2267 NEW BEST:: SOT 12898124 SOS 5568615 HAS SOPS 5564244 HAS SOUS 935778 HAS SOUPS 932286 WITH SCORE 937854.615
AT ITER 2271 NEW BEST:: SOT 12894856 SOS 5564763 HAS SOPS 5560465 HAS SOUS 932805 HAS SOUPS 929386 WITH SCORE 934950.763
AT ITER 2291 NEW BEST:: SOT 12898217 SOS 5568246 HAS SOPS 5563948 HAS SOUS 932264 HAS SOUPS 928845 WITH SCORE 934413.246
AT ITER 2302 NEW BEST:: SOT 12902961 SOS 5573950 HAS SOPS 5569844 HAS SOUS 931935 HAS SOUPS 928517 WITH SCORE 934090.95
AT ITER 2311 NEW BEST:: SOT 12918109 SOS 5603831 HAS SOPS 5599725 HAS SOUS 931009 HAS SOUPS 927591 WITH SCORE 933194.831
AT ITER 2336 NEW BEST:: SOT 12917999 SOS 5603721 HAS SOPS 5599615 HAS SOUS 930856 HAS SOUPS 927438 WITH SCORE 933041.721
AT ITER 2361 NEW BEST:: SOT 12917999 SOS 5599332 HAS SOPS 5595386 HAS SOUS 930614 HAS SOUPS 927228 WITH SCORE 932827.332
AT ITER 2392 NEW BEST:: SOT 12917999 SOS 5599332 HAS SOPS 5595386 HAS SOUS 930609 HAS SOUPS 927223 WITH SCORE 932822.332
AT ITER 2412 NEW BEST:: SOT 12921332 SOS 5616526 HAS SOPS 5612274 HAS SOUS 928667 HAS SOUPS 925281 WITH SCORE 930897.526
AT ITER 2414 NEW BEST:: SOT 12921332 SOS 5613464 HAS SOPS 5609212 HAS SOUS 928645 HAS SOUPS 925259 WITH SCORE 930872.464
AT ITER 2428 NEW BEST:: SOT 12920592 SOS 5612734 HAS SOPS 5608482 HAS SOUS 927076 HAS SOUPS 923690 WITH SCORE 929302.734
AT ITER 2432 NEW BEST:: SOT 12920564 SOS 5612706 HAS SOPS 5608454 HAS SOUS 927048 HAS SOUPS 923662 WITH SCORE 929274.706
AT ITER 2436 NEW BEST:: SOT 12920564 SOS 5610401 HAS SOPS 5606149 HAS SOUS 927048 HAS SOUPS 923662 WITH SCORE 929272.401
AT ITER 2442 NEW BEST:: SOT 12924114 SOS 5631974 HAS SOPS 5627722 HAS SOUS 920257 HAS SOUPS 916871 WITH SCORE 922502.974
AT ITER 2458 NEW BEST:: SOT 12924114 SOS 5631983 HAS SOPS 5627731 HAS SOUS 920248 HAS SOUPS 916862 WITH SCORE 922493.983
AT ITER 2470 NEW BEST:: SOT 12924114 SOS 5632001 HAS SOPS 5627749 HAS SOUS 920230 HAS SOUPS 916844 WITH SCORE 922476.001
AT ITER 2502 NEW BEST:: SOT 12924114 SOS 5631982 HAS SOPS 5627730 HAS SOUS 920211 HAS SOUPS 916825 WITH SCORE 922456.982
AT ITER 2518 NEW BEST:: SOT 12925181 SOS 5634238 HAS SOPS 5630087 HAS SOUS 920006 HAS SOUPS 916720 WITH SCORE 922354.238
AT ITER 2531 NEW BEST:: SOT 12925181 SOS 5634244 HAS SOPS 5630093 HAS SOUS 920000 HAS SOUPS 916714 WITH SCORE 922348.244
AT ITER 2537 NEW BEST:: SOT 12926367 SOS 5638966 HAS SOPS 5634815 HAS SOUS 917726 HAS SOUPS 914440 WITH SCORE 920078.966
AT ITER 2545 NEW BEST:: SOT 12924029 SOS 5645015 HAS SOPS 5640864 HAS SOUS 916669 HAS SOUPS 913383 WITH SCORE 919028.015
AT ITER 2548 NEW BEST:: SOT 12925322 SOS 5665222 HAS SOPS 5661071 HAS SOUS 915283 HAS SOUPS 911997 WITH SCORE 917662.222
AT ITER 2565 NEW BEST:: SOT 12928087 SOS 5668211 HAS SOPS 5664060 HAS SOUS 903240 HAS SOUPS 899954 WITH SCORE 905622.211
AT ITER 2575 NEW BEST:: SOT 12930164 SOS 5670288 HAS SOPS 5666137 HAS SOUS 902787 HAS SOUPS 899501 WITH SCORE 905171.288
AT ITER 2581 NEW BEST:: SOT 12929924 SOS 5670048 HAS SOPS 5665897 HAS SOUS 902598 HAS SOUPS 899312 WITH SCORE 904982.048
AT ITER 2599 NEW BEST:: SOT 12929924 SOS 5669800 HAS SOPS 5665649 HAS SOUS 902471 HAS SOUPS 899185 WITH SCORE 904854.8
AT ITER 2611 NEW BEST:: SOT 12929371 SOS 5669098 HAS SOPS 5664967 HAS SOUS 901952 HAS SOUPS 898686 WITH SCORE 904355.098
AT ITER 2618 NEW BEST:: SOT 12929371 SOS 5670562 HAS SOPS 5666431 HAS SOUS 901924 HAS SOUPS 898658 WITH SCORE 904328.562
AT ITER 2623 NEW BEST:: SOT 12921846 SOS 5662555 HAS SOPS 5658424 HAS SOUS 899873 HAS SOUPS 896607 WITH SCORE 902269.555
AT ITER 2629 NEW BEST:: SOT 12923386 SOS 5664095 HAS SOPS 5659964 HAS SOUS 899010 HAS SOUPS 895744 WITH SCORE 901408.095
AT ITER 2631 NEW BEST:: SOT 12921769 SOS 5662462 HAS SOPS 5658331 HAS SOUS 895001 HAS SOUPS 891735 WITH SCORE 897397.462
AT ITER 2645 NEW BEST:: SOT 12921698 SOS 5662533 HAS SOPS 5658400 HAS SOUS 894888 HAS SOUPS 891620 WITH SCORE 897282.533
AT ITER 2648 NEW BEST:: SOT 12922689 SOS 5663597 HAS SOPS 5659464 HAS SOUS 890118 HAS SOUPS 886850 WITH SCORE 892513.597
AT ITER 2657 NEW BEST:: SOT 12922065 SOS 5662945 HAS SOPS 5658812 HAS SOUS 886728 HAS SOUPS 883460 WITH SCORE 889122.945
AT ITER 2675 NEW BEST:: SOT 12922065 SOS 5662817 HAS SOPS 5658684 HAS SOUS 886664 HAS SOUPS 883396 WITH SCORE 889058.817
AT ITER 2697 NEW BEST:: SOT 12928237 SOS 5668989 HAS SOPS 5664856 HAS SOUS 885986 HAS SOUPS 882718 WITH SCORE 888386.989
AT ITER 2718 NEW BEST:: SOT 12928247 SOS 5668906 HAS SOPS 5664787 HAS SOUS 885615 HAS SOUPS 882361 WITH SCORE 888029.906
AT ITER 2727 NEW BEST:: SOT 12927349 SOS 5668008 HAS SOPS 5663889 HAS SOUS 883022 HAS SOUPS 879768 WITH SCORE 885436.008
AT ITER 2762 NEW BEST:: SOT 12927288 SOS 5670923 HAS SOPS 5666804 HAS SOUS 882782 HAS SOUPS 879528 WITH SCORE 885198.923
AT ITER 2764 NEW BEST:: SOT 12927263 SOS 5670891 HAS SOPS 5666772 HAS SOUS 882757 HAS SOUPS 879503 WITH SCORE 885173.891
AT ITER 2792 NEW BEST:: SOT 12927338 SOS 5671175 HAS SOPS 5666998 HAS SOUS 882485 HAS SOUPS 879231 WITH SCORE 884902.175
AT ITER 2801 NEW BEST:: SOT 12927338 SOS 5671182 HAS SOPS 5667005 HAS SOUS 882478 HAS SOUPS 879224 WITH SCORE 884895.182
AT ITER 2838 NEW BEST:: SOT 12922139 SOS 5651133 HAS SOPS 5647122 HAS SOUS 878265 HAS SOUPS 875011 WITH SCORE 880662.133
AT ITER 2863 NEW BEST:: SOT 12921947 SOS 5650941 HAS SOPS 5646930 HAS SOUS 878219 HAS SOUPS 874965 WITH SCORE 880615.941
AT ITER 2883 NEW BEST:: SOT 12919009 SOS 5648003 HAS SOPS 5643992 HAS SOUS 872861 HAS SOUPS 869607 WITH SCORE 875255.003
AT ITER 2892 NEW BEST:: SOT 12919009 SOS 5647993 HAS SOPS 5643982 HAS SOUS 872861 HAS SOUPS 869607 WITH SCORE 875254.993
AT ITER 2893 NEW BEST:: SOT 12918431 SOS 5647415 HAS SOPS 5643404 HAS SOUS 871369 HAS SOUPS 868115 WITH SCORE 873762.415
AT ITER 2900 NEW BEST:: SOT 12918181 SOS 5647153 HAS SOPS 5643142 HAS SOUS 871360 HAS SOUPS 868106 WITH SCORE 873753.153
AT ITER 2923 NEW BEST:: SOT 12917003 SOS 5645975 HAS SOPS 5641964 HAS SOUS 870309 HAS SOUPS 867055 WITH SCORE 872700.975
AT ITER 2946 NEW BEST:: SOT 12920468 SOS 5649440 HAS SOPS 5645429 HAS SOUS 869271 HAS SOUPS 866017 WITH SCORE 871666.44
AT ITER 2966 NEW BEST:: SOT 12920465 SOS 5651112 HAS SOPS 5647101 HAS SOUS 869263 HAS SOUPS 866009 WITH SCORE 871660.112
AT ITER 2972 NEW BEST:: SOT 12920968 SOS 5652551 HAS SOPS 5648540 HAS SOUS 868465 HAS SOUPS 865211 WITH SCORE 870863.551
AT ITER 2979 NEW BEST:: SOT 12920968 SOS 5652547 HAS SOPS 5648536 HAS SOUS 868458 HAS SOUPS 865204 WITH SCORE 870856.547
AT ITER 2989 NEW BEST:: SOT 12922759 SOS 5656930 HAS SOPS 5652919 HAS SOUS 868329 HAS SOUPS 865075 WITH SCORE 870731.93
AT ITER 3001 NEW BEST:: SOT 12922698 SOS 5656857 HAS SOPS 5652846 HAS SOUS 868204 HAS SOUPS 864950 WITH SCORE 870606.857
AT ITER 3006 NEW BEST:: SOT 12922599 SOS 5656758 HAS SOPS 5652747 HAS SOUS 867995 HAS SOUPS 864741 WITH SCORE 870397.758
AT ITER 3011 NEW BEST:: SOT 12926252 SOS 5660411 HAS SOPS 5656400 HAS SOUS 867970 HAS SOUPS 864716 WITH SCORE 870376.411
AT ITER 3043 NEW BEST:: SOT 12926865 SOS 5663520 HAS SOPS 5659800 HAS SOUS 865356 HAS SOUPS 862392 WITH SCORE 868055.52
AT ITER 3044 NEW BEST:: SOT 12926876 SOS 5663531 HAS SOPS 5659811 HAS SOUS 865354 HAS SOUPS 862390 WITH SCORE 868053.531
AT ITER 3064 NEW BEST:: SOT 12923945 SOS 5660600 HAS SOPS 5657303 HAS SOUS 861411 HAS SOUPS 858870 WITH SCORE 864530.6
AT ITER 3067 NEW BEST:: SOT 12923945 SOS 5660600 HAS SOPS 5657303 HAS SOUS 861364 HAS SOUPS 858823 WITH SCORE 864483.6
AT ITER 3074 NEW BEST:: SOT 12925667 SOS 5663004 HAS SOPS 5659707 HAS SOUS 861351 HAS SOUPS 858810 WITH SCORE 864473.004
AT ITER 3101 NEW BEST:: SOT 12927338 SOS 5664675 HAS SOPS 5661378 HAS SOUS 859761 HAS SOUPS 857220 WITH SCORE 862884.675
AT ITER 3117 NEW BEST:: SOT 12927422 SOS 5664759 HAS SOPS 5661462 HAS SOUS 859458 HAS SOUPS 856917 WITH SCORE 862581.759
AT ITER 3119 NEW BEST:: SOT 12927422 SOS 5664782 HAS SOPS 5661485 HAS SOUS 859435 HAS SOUPS 856894 WITH SCORE 862558.782
AT ITER 3126 NEW BEST:: SOT 12926849 SOS 5664209 HAS SOPS 5660912 HAS SOUS 858852 HAS SOUPS 856311 WITH SCORE 861975.209
AT ITER 3142 NEW BEST:: SOT 12930764 SOS 5670368 HAS SOPS 5667071 HAS SOUS 857036 HAS SOUPS 854495 WITH SCORE 860165.368
AT ITER 3146 NEW BEST:: SOT 12930677 SOS 5670281 HAS SOPS 5666984 HAS SOUS 856943 HAS SOUPS 854402 WITH SCORE 860072.281
AT ITER 3173 NEW BEST:: SOT 12924983 SOS 5664587 HAS SOPS 5661290 HAS SOUS 856048 HAS SOUPS 853507 WITH SCORE 859171.587
AT ITER 3175 NEW BEST:: SOT 12924941 SOS 5664589 HAS SOPS 5661292 HAS SOUS 853989 HAS SOUPS 851448 WITH SCORE 857112.589
AT ITER 3182 NEW BEST:: SOT 12925420 SOS 5671579 HAS SOPS 5668282 HAS SOUS 851921 HAS SOUPS 849380 WITH SCORE 855051.579
AT ITER 3191 NEW BEST:: SOT 12925420 SOS 5671579 HAS SOPS 5668282 HAS SOUS 851809 HAS SOUPS 849268 WITH SCORE 854939.579
AT ITER 3215 NEW BEST:: SOT 12925419 SOS 5671038 HAS SOPS 5667836 HAS SOUS 851713 HAS SOUPS 849267 WITH SCORE 854938.038
AT ITER 3236 NEW BEST:: SOT 12926065 SOS 5671684 HAS SOPS 5668482 HAS SOUS 850442 HAS SOUPS 847996 WITH SCORE 853667.684
AT ITER 3240 NEW BEST:: SOT 12926578 SOS 5672902 HAS SOPS 5669700 HAS SOUS 848768 HAS SOUPS 846322 WITH SCORE 851994.902
AT ITER 3262 NEW BEST:: SOT 12926498 SOS 5672822 HAS SOPS 5669620 HAS SOUS 848634 HAS SOUPS 846188 WITH SCORE 851860.822
AT ITER 3269 NEW BEST:: SOT 12925955 SOS 5672279 HAS SOPS 5669077 HAS SOUS 848163 HAS SOUPS 845717 WITH SCORE 851389.279
AT ITER 3292 NEW BEST:: SOT 12926229 SOS 5672553 HAS SOPS 5669351 HAS SOUS 847148 HAS SOUPS 844702 WITH SCORE 850374.553
AT ITER 3303 NEW BEST:: SOT 12923417 SOS 5669253 HAS SOPS 5666049 HAS SOUS 846930 HAS SOUPS 844482 WITH SCORE 850151.253
AT ITER 3323 NEW BEST:: SOT 12921573 SOS 5662081 HAS SOPS 5658877 HAS SOUS 846742 HAS SOUPS 844294 WITH SCORE 849956.081
AT ITER 3341 NEW BEST:: SOT 12921573 SOS 5661949 HAS SOPS 5658745 HAS SOUS 846731 HAS SOUPS 844283 WITH SCORE 849944.949
AT ITER 3357 NEW BEST:: SOT 12919423 SOS 5659799 HAS SOPS 5656595 HAS SOUS 844529 HAS SOUPS 842081 WITH SCORE 847740.799
AT ITER 3391 NEW BEST:: SOT 12919192 SOS 5659568 HAS SOPS 5656358 HAS SOUS 844322 HAS SOUPS 841874 WITH SCORE 847533.568
AT ITER 3392 NEW BEST:: SOT 12919192 SOS 5659378 HAS SOPS 5656168 HAS SOUS 844227 HAS SOUPS 841779 WITH SCORE 847438.378
AT ITER 3421 NEW BEST:: SOT 12919693 SOS 5659546 HAS SOPS 5656378 HAS SOUS 843246 HAS SOUPS 840840 WITH SCORE 846499.546
AT ITER 3441 NEW BEST:: SOT 12919693 SOS 5659546 HAS SOPS 5656378 HAS SOUS 843234 HAS SOUPS 840828 WITH SCORE 846487.546
AT ITER 3444 NEW BEST:: SOT 12919362 SOS 5659215 HAS SOPS 5656047 HAS SOUS 842903 HAS SOUPS 840497 WITH SCORE 846156.215
AT ITER 3478 NEW BEST:: SOT 12919005 SOS 5659218 HAS SOPS 5656050 HAS SOUS 840589 HAS SOUPS 838183 WITH SCORE 843842.218
AT ITER 3483 NEW BEST:: SOT 12919005 SOS 5659182 HAS SOPS 5656014 HAS SOUS 840571 HAS SOUPS 838165 WITH SCORE 843824.182
AT ITER 3508 NEW BEST:: SOT 12923742 SOS 5664013 HAS SOPS 5660845 HAS SOUS 839465 HAS SOUPS 837059 WITH SCORE 842723.013
AT ITER 3516 NEW BEST:: SOT 12923742 SOS 5664026 HAS SOPS 5660858 HAS SOUS 839452 HAS SOUPS 837046 WITH SCORE 842710.026
AT ITER 3533 NEW BEST:: SOT 12923660 SOS 5664172 HAS SOPS 5661004 HAS SOUS 839375 HAS SOUPS 836969 WITH SCORE 842633.172
AT ITER 3552 NEW BEST:: SOT 12923660 SOS 5664173 HAS SOPS 5661005 HAS SOUS 839374 HAS SOUPS 836968 WITH SCORE 842632.173
AT ITER 3567 NEW BEST:: SOT 12923653 SOS 5664166 HAS SOPS 5660998 HAS SOUS 839346 HAS SOUPS 836940 WITH SCORE 842604.166
AT ITER 3583 NEW BEST:: SOT 12926054 SOS 5667276 HAS SOPS 5664146 HAS SOUS 836726 HAS SOUPS 834358 WITH SCORE 840025.276
AT ITER 3587 NEW BEST:: SOT 12926030 SOS 5667252 HAS SOPS 5664122 HAS SOUS 836649 HAS SOUPS 834281 WITH SCORE 839948.252
AT ITER 3605 NEW BEST:: SOT 12924163 SOS 5665438 HAS SOPS 5662308 HAS SOUS 834452 HAS SOUPS 832084 WITH SCORE 837749.438
AT ITER 3646 NEW BEST:: SOT 12924627 SOS 5665916 HAS SOPS 5662786 HAS SOUS 834412 HAS SOUPS 832044 WITH SCORE 837709.916
AT ITER 3684 NEW BEST:: SOT 12917108 SOS 5653069 HAS SOPS 5649939 HAS SOUS 832151 HAS SOUPS 829783 WITH SCORE 835436.069
AT ITER 3692 NEW BEST:: SOT 12917243 SOS 5653197 HAS SOPS 5650067 HAS SOUS 832063 HAS SOUPS 829695 WITH SCORE 835348.197
AT ITER 3694 NEW BEST:: SOT 12917226 SOS 5653180 HAS SOPS 5650050 HAS SOUS 832046 HAS SOUPS 829678 WITH SCORE 835331.18
AT ITER 3732 NEW BEST:: SOT 12917946 SOS 5653900 HAS SOPS 5650770 HAS SOUS 831577 HAS SOUPS 829209 WITH SCORE 834862.9
AT ITER 3737 NEW BEST:: SOT 12918200 SOS 5656044 HAS SOPS 5652914 HAS SOUS 830184 HAS SOUPS 827816 WITH SCORE 833472.044
AT ITER 3741 NEW BEST:: SOT 12919070 SOS 5656980 HAS SOPS 5653850 HAS SOUS 829823 HAS SOUPS 827455 WITH SCORE 833111.98
AT ITER 3782 NEW BEST:: SOT 12919070 SOS 5656980 HAS SOPS 5653850 HAS SOUS 829739 HAS SOUPS 827371 WITH SCORE 833027.98
AT ITER 3786 NEW BEST:: SOT 12917415 SOS 5655325 HAS SOPS 5652195 HAS SOUS 826249 HAS SOUPS 823881 WITH SCORE 829536.325
AT ITER 3848 NEW BEST:: SOT 12926188 SOS 5664098 HAS SOPS 5660968 HAS SOUS 825926 HAS SOUPS 823558 WITH SCORE 829222.098
AT ITER 3859 NEW BEST:: SOT 12926177 SOS 5664087 HAS SOPS 5660957 HAS SOUS 825902 HAS SOUPS 823534 WITH SCORE 829198.087
AT ITER 3860 NEW BEST:: SOT 12927043 SOS 5665158 HAS SOPS 5662069 HAS SOUS 824047 HAS SOUPS 821679 WITH SCORE 827344.158
AT ITER 3864 NEW BEST:: SOT 12927043 SOS 5665503 HAS SOPS 5662414 HAS SOUS 823986 HAS SOUPS 821618 WITH SCORE 827283.503
AT ITER 3873 NEW BEST:: SOT 12928039 SOS 5684596 HAS SOPS 5681507 HAS SOUS 821550 HAS SOUPS 819182 WITH SCORE 824866.596
AT ITER 3878 NEW BEST:: SOT 12921219 SOS 5677765 HAS SOPS 5674676 HAS SOUS 815736 HAS SOUPS 813368 WITH SCORE 819045.765
AT ITER 3881 NEW BEST:: SOT 12920605 SOS 5677151 HAS SOPS 5674062 HAS SOUS 813585 HAS SOUPS 811217 WITH SCORE 816894.151
AT ITER 3897 NEW BEST:: SOT 12917929 SOS 5674475 HAS SOPS 5671386 HAS SOUS 813551 HAS SOUPS 811183 WITH SCORE 816857.475
AT ITER 3901 NEW BEST:: SOT 12917968 SOS 5674514 HAS SOPS 5671425 HAS SOUS 813308 HAS SOUPS 810940 WITH SCORE 816614.514
AT ITER 3902 NEW BEST:: SOT 12917759 SOS 5674305 HAS SOPS 5671216 HAS SOUS 813127 HAS SOUPS 810759 WITH SCORE 816433.305
AT ITER 3908 NEW BEST:: SOT 12918492 SOS 5675038 HAS SOPS 5671949 HAS SOUS 812922 HAS SOUPS 810554 WITH SCORE 816229.038
AT ITER 3915 NEW BEST:: SOT 12918492 SOS 5674958 HAS SOPS 5671869 HAS SOUS 812882 HAS SOUPS 810514 WITH SCORE 816188.958
AT ITER 3920 NEW BEST:: SOT 12920293 SOS 5676759 HAS SOPS 5673670 HAS SOUS 811638 HAS SOUPS 809270 WITH SCORE 814946.759
AT ITER 3943 NEW BEST:: SOT 12919963 SOS 5677671 HAS SOPS 5674582 HAS SOUS 807188 HAS SOUPS 804820 WITH SCORE 810497.671
AT ITER 3978 NEW BEST:: SOT 12920887 SOS 5678871 HAS SOPS 5675785 HAS SOUS 804632 HAS SOUPS 802264 WITH SCORE 807942.871
AT ITER 3984 NEW BEST:: SOT 12917482 SOS 5675407 HAS SOPS 5672321 HAS SOUS 801483 HAS SOUPS 799115 WITH SCORE 804790.407
AT ITER 3988 NEW BEST:: SOT 12926346 SOS 5694965 HAS SOPS 5691993 HAS SOUS 800271 HAS SOUPS 797903 WITH SCORE 803597.965
AT ITER 3991 NEW BEST:: SOT 12925112 SOS 5693731 HAS SOPS 5690759 HAS SOUS 797287 HAS SOUPS 794919 WITH SCORE 800612.731
AT ITER 3997 NEW BEST:: SOT 12925680 SOS 5694947 HAS SOPS 5691975 HAS SOUS 796963 HAS SOUPS 794595 WITH SCORE 800289.947
AT ITER 4005 NEW BEST:: SOT 12923969 SOS 5693236 HAS SOPS 5690264 HAS SOUS 793512 HAS SOUPS 791144 WITH SCORE 796837.236
AT ITER 4013 NEW BEST:: SOT 12920796 SOS 5681682 HAS SOPS 5678774 HAS SOUS 793385 HAS SOUPS 791081 WITH SCORE 796762.682
AT ITER 4022 NEW BEST:: SOT 12920743 SOS 5681629 HAS SOPS 5678721 HAS SOUS 793360 HAS SOUPS 791056 WITH SCORE 796737.629
AT ITER 4026 NEW BEST:: SOT 12916092 SOS 5683885 HAS SOPS 5682650 HAS SOUS 786948 HAS SOUPS 786317 WITH SCORE 792000.885
AT ITER 4055 NEW BEST:: SOT 12917295 SOS 5695689 HAS SOPS 5694454 HAS SOUS 782950 HAS SOUPS 782319 WITH SCORE 788014.689
AT ITER 4080 NEW BEST:: SOT 12917238 SOS 5695632 HAS SOPS 5694397 HAS SOUS 782837 HAS SOUPS 782206 WITH SCORE 787901.632
AT ITER 4088 NEW BEST:: SOT 12917238 SOS 5695632 HAS SOPS 5694397 HAS SOUS 782835 HAS SOUPS 782204 WITH SCORE 787899.632
AT ITER 4102 NEW BEST:: SOT 12917238 SOS 5695660 HAS SOPS 5694425 HAS SOUS 782807 HAS SOUPS 782176 WITH SCORE 787871.66
AT ITER 4137 NEW BEST:: SOT 12917210 SOS 5693288 HAS SOPS 5692053 HAS SOUS 782173 HAS SOUPS 781542 WITH SCORE 787235.288
AT ITER 4142 NEW BEST:: SOT 12918409 SOS 5697327 HAS SOPS 5696092 HAS SOUS 781841 HAS SOUPS 781210 WITH SCORE 786907.327
AT ITER 4149 NEW BEST:: SOT 12918708 SOS 5701010 HAS SOPS 5699775 HAS SOUS 780704 HAS SOUPS 780073 WITH SCORE 785774.01
AT ITER 4166 NEW BEST:: SOT 12918460 SOS 5700482 HAS SOPS 5699247 HAS SOUS 780456 HAS SOUPS 779825 WITH SCORE 785525.482
AT ITER 4180 NEW BEST:: SOT 12917874 SOS 5699896 HAS SOPS 5698661 HAS SOUS 779325 HAS SOUPS 778694 WITH SCORE 784393.896
AT ITER 4293 NEW BEST:: SOT 12918803 SOS 5700825 HAS SOPS 5699590 HAS SOUS 778136 HAS SOUPS 777505 WITH SCORE 783205.825
AT ITER 4328 NEW BEST:: SOT 12918803 SOS 5700249 HAS SOPS 5699014 HAS SOUS 778088 HAS SOUPS 777457 WITH SCORE 783157.249
AT ITER 4338 NEW BEST:: SOT 12919511 SOS 5701529 HAS SOPS 5700294 HAS SOUS 776735 HAS SOUPS 776104 WITH SCORE 781805.529
AT ITER 4348 NEW BEST:: SOT 12919511 SOS 5701421 HAS SOPS 5700186 HAS SOUS 776627 HAS SOUPS 775996 WITH SCORE 781697.421
AT ITER 4403 NEW BEST:: SOT 12919374 SOS 5701284 HAS SOPS 5700049 HAS SOUS 776462 HAS SOUPS 775831 WITH SCORE 781532.284
AT ITER 4410 NEW BEST:: SOT 12914858 SOS 5696768 HAS SOPS 5695533 HAS SOUS 775620 HAS SOUPS 774989 WITH SCORE 780685.768
AT ITER 4435 NEW BEST:: SOT 12916880 SOS 5716740 HAS SOPS 5715505 HAS SOUS 774541 HAS SOUPS 773910 WITH SCORE 779626.74
AT ITER 4437 NEW BEST:: SOT 12922076 SOS 5721936 HAS SOPS 5720701 HAS SOUS 770535 HAS SOUPS 769904 WITH SCORE 775625.936
AT ITER 4478 NEW BEST:: SOT 12922049 SOS 5754064 HAS SOPS 5752829 HAS SOUS 770499 HAS SOUPS 769868 WITH SCORE 775622.064
AT ITER 4508 NEW BEST:: SOT 12921863 SOS 5753878 HAS SOPS 5752643 HAS SOUS 770397 HAS SOUPS 769766 WITH SCORE 775519.878
AT ITER 4512 NEW BEST:: SOT 12920173 SOS 5752188 HAS SOPS 5750953 HAS SOUS 769071 HAS SOUPS 768440 WITH SCORE 774192.188
AT ITER 4514 NEW BEST:: SOT 12919359 SOS 5751374 HAS SOPS 5750139 HAS SOUS 768257 HAS SOUPS 767626 WITH SCORE 773377.374
AT ITER 4519 NEW BEST:: SOT 12917318 SOS 5749141 HAS SOPS 5747906 HAS SOUS 766356 HAS SOUPS 765725 WITH SCORE 771474.141
AT ITER 4541 NEW BEST:: SOT 12918630 SOS 5769443 HAS SOPS 5768208 HAS SOUS 765690 HAS SOUPS 765059 WITH SCORE 770828.443
AT ITER 4557 NEW BEST:: SOT 12917841 SOS 5770349 HAS SOPS 5769114 HAS SOUS 761834 HAS SOUPS 761203 WITH SCORE 766973.349
AT ITER 4560 NEW BEST:: SOT 12917591 SOS 5770099 HAS SOPS 5768864 HAS SOUS 761315 HAS SOUPS 760684 WITH SCORE 766454.099
AT ITER 4561 NEW BEST:: SOT 12914772 SOS 5767280 HAS SOPS 5766045 HAS SOUS 761156 HAS SOUPS 760525 WITH SCORE 766292.28
AT ITER 4563 NEW BEST:: SOT 12914772 SOS 5767126 HAS SOPS 5765891 HAS SOUS 761048 HAS SOUPS 760417 WITH SCORE 766184.126
AT ITER 4569 NEW BEST:: SOT 12913443 SOS 5768609 HAS SOPS 5767374 HAS SOUS 759732 HAS SOUPS 759101 WITH SCORE 764869.609
AT ITER 4571 NEW BEST:: SOT 12913655 SOS 5768821 HAS SOPS 5767586 HAS SOUS 759630 HAS SOUPS 758999 WITH SCORE 764767.821
AT ITER 4584 NEW BEST:: SOT 12914029 SOS 5769195 HAS SOPS 5767960 HAS SOUS 759173 HAS SOUPS 758542 WITH SCORE 764311.195
AT ITER 4594 NEW BEST:: SOT 12913325 SOS 5768491 HAS SOPS 5767256 HAS SOUS 758739 HAS SOUPS 758108 WITH SCORE 763876.491
AT ITER 4668 NEW BEST:: SOT 12913730 SOS 5766217 HAS SOPS 5764982 HAS SOUS 758303 HAS SOUPS 757672 WITH SCORE 763438.217
AT ITER 4687 NEW BEST:: SOT 12913467 SOS 5765954 HAS SOPS 5764719 HAS SOUS 753176 HAS SOUPS 752545 WITH SCORE 758310.954
AT ITER 4697 NEW BEST:: SOT 12910317 SOS 5762804 HAS SOPS 5761569 HAS SOUS 750050 HAS SOUPS 749419 WITH SCORE 755181.804
AT ITER 4704 NEW BEST:: SOT 12911066 SOS 5763553 HAS SOPS 5762318 HAS SOUS 747063 HAS SOUPS 746432 WITH SCORE 752195.553
AT ITER 4716 NEW BEST:: SOT 12909099 SOS 5754533 HAS SOPS 5753459 HAS SOUS 737392 HAS SOUPS 736879 WITH SCORE 742633.533
AT ITER 4726 NEW BEST:: SOT 12909099 SOS 5752197 HAS SOPS 5751123 HAS SOUS 737328 HAS SOUPS 736815 WITH SCORE 742567.197
AT ITER 4740 NEW BEST:: SOT 12910890 SOS 5758248 HAS SOPS 5757174 HAS SOUS 737078 HAS SOUPS 736565 WITH SCORE 742323.248
AT ITER 4745 NEW BEST:: SOT 12910890 SOS 5759051 HAS SOPS 5757977 HAS SOUS 737023 HAS SOUPS 736510 WITH SCORE 742269.051
AT ITER 4756 NEW BEST:: SOT 12910707 SOS 5758868 HAS SOPS 5757794 HAS SOUS 736654 HAS SOUPS 736141 WITH SCORE 741899.868
AT ITER 4763 NEW BEST:: SOT 12910707 SOS 5758517 HAS SOPS 5757443 HAS SOUS 736627 HAS SOUPS 736114 WITH SCORE 741872.517
AT ITER 4769 NEW BEST:: SOT 12910707 SOS 5758451 HAS SOPS 5757377 HAS SOUS 736594 HAS SOUPS 736081 WITH SCORE 741839.451
AT ITER 4773 NEW BEST:: SOT 12911580 SOS 5760160 HAS SOPS 5759086 HAS SOUS 736001 HAS SOUPS 735488 WITH SCORE 741248.16
AT ITER 4789 NEW BEST:: SOT 12914308 SOS 5763233 HAS SOPS 5762159 HAS SOUS 735667 HAS SOUPS 735154 WITH SCORE 740917.233
AT ITER 4800 NEW BEST:: SOT 12914308 SOS 5763113 HAS SOPS 5762039 HAS SOUS 735657 HAS SOUPS 735144 WITH SCORE 740907.113
AT ITER 4838 NEW BEST:: SOT 12914077 SOS 5762882 HAS SOPS 5761808 HAS SOUS 735190 HAS SOUPS 734677 WITH SCORE 740439.882
AT ITER 4855 NEW BEST:: SOT 12913941 SOS 5762746 HAS SOPS 5761672 HAS SOUS 735079 HAS SOUPS 734566 WITH SCORE 740328.746
AT ITER 4868 NEW BEST:: SOT 12914104 SOS 5762916 HAS SOPS 5761842 HAS SOUS 734922 HAS SOUPS 734409 WITH SCORE 740171.916
AT ITER 4879 NEW BEST:: SOT 12914104 SOS 5763738 HAS SOPS 5762658 HAS SOUS 734855 HAS SOUPS 734336 WITH SCORE 740099.738
AT ITER 4913 NEW BEST:: SOT 12914104 SOS 5763738 HAS SOPS 5762658 HAS SOUS 734854 HAS SOUPS 734335 WITH SCORE 740098.738
AT ITER 4936 NEW BEST:: SOT 12914100 SOS 5763734 HAS SOPS 5762654 HAS SOUS 734851 HAS SOUPS 734332 WITH SCORE 740095.734
AT ITER 4948 NEW BEST:: SOT 12914100 SOS 5763734 HAS SOPS 5762654 HAS SOUS 734784 HAS SOUPS 734265 WITH SCORE 740028.734
AT ITER 4954 NEW BEST:: SOT 12914103 SOS 5763737 HAS SOPS 5762685 HAS SOUS 733919 HAS SOUPS 733400 WITH SCORE 739163.737
AT ITER 4964 NEW BEST:: SOT 12915287 SOS 5764921 HAS SOPS 5763869 HAS SOUS 732886 HAS SOUPS 732367 WITH SCORE 738131.921
AT ITER 5001 NEW BEST:: SOT 12915321 SOS 5775894 HAS SOPS 5774842 HAS SOUS 732453 HAS SOUPS 731934 WITH SCORE 737709.894
AT ITER 5010 NEW BEST:: SOT 12916071 SOS 5779234 HAS SOPS 5778182 HAS SOUS 731181 HAS SOUPS 730662 WITH SCORE 736441.234
AT ITER 5017 NEW BEST:: SOT 12916071 SOS 5779134 HAS SOPS 5778082 HAS SOUS 731080 HAS SOUPS 730561 WITH SCORE 736340.134
AT ITER 5020 NEW BEST:: SOT 12916067 SOS 5779130 HAS SOPS 5778078 HAS SOUS 731076 HAS SOUPS 730557 WITH SCORE 736336.13
AT ITER 5041 NEW BEST:: SOT 12915681 SOS 5778744 HAS SOPS 5777692 HAS SOUS 730168 HAS SOUPS 729649 WITH SCORE 735427.744
AT ITER 5043 NEW BEST:: SOT 12916469 SOS 5779532 HAS SOPS 5778480 HAS SOUS 730043 HAS SOUPS 729524 WITH SCORE 735303.532
AT ITER 5071 NEW BEST:: SOT 12916459 SOS 5779522 HAS SOPS 5778470 HAS SOUS 730014 HAS SOUPS 729495 WITH SCORE 735274.522
AT ITER 5088 NEW BEST:: SOT 12916549 SOS 5779617 HAS SOPS 5778565 HAS SOUS 730009 HAS SOUPS 729490 WITH SCORE 735269.617
AT ITER 5165 NEW BEST:: SOT 12913516 SOS 5778004 HAS SOPS 5776952 HAS SOUS 726976 HAS SOUPS 726457 WITH SCORE 732235.004
AT ITER 5179 NEW BEST:: SOT 12913516 SOS 5777939 HAS SOPS 5776887 HAS SOUS 726969 HAS SOUPS 726450 WITH SCORE 732227.939
AT ITER 5192 NEW BEST:: SOT 12913698 SOS 5778121 HAS SOPS 5777069 HAS SOUS 726245 HAS SOUPS 725726 WITH SCORE 731504.121
AT ITER 5227 NEW BEST:: SOT 12916023 SOS 5780642 HAS SOPS 5779590 HAS SOUS 726004 HAS SOUPS 725485 WITH SCORE 731265.642
AT ITER 5257 NEW BEST:: SOT 12916018 SOS 5780637 HAS SOPS 5779585 HAS SOUS 725905 HAS SOUPS 725386 WITH SCORE 731166.637
AT ITER 5274 NEW BEST:: SOT 12918683 SOS 5783302 HAS SOPS 5782250 HAS SOUS 725613 HAS SOUPS 725094 WITH SCORE 730877.302
AT ITER 5356 NEW BEST:: SOT 12918683 SOS 5783083 HAS SOPS 5782031 HAS SOUS 725604 HAS SOUPS 725085 WITH SCORE 730868.083
AT ITER 5361 NEW BEST:: SOT 12918683 SOS 5783053 HAS SOPS 5782001 HAS SOUS 725588 HAS SOUPS 725069 WITH SCORE 730852.053
AT ITER 5372 NEW BEST:: SOT 12918368 SOS 5782738 HAS SOPS 5781686 HAS SOUS 724962 HAS SOUPS 724443 WITH SCORE 730225.738
AT ITER 5378 NEW BEST:: SOT 12918242 SOS 5782612 HAS SOPS 5781560 HAS SOUS 724703 HAS SOUPS 724184 WITH SCORE 729966.612
AT ITER 5401 NEW BEST:: SOT 12918205 SOS 5782653 HAS SOPS 5781601 HAS SOUS 724663 HAS SOUPS 724144 WITH SCORE 729926.653
AT ITER 5411 NEW BEST:: SOT 12917606 SOS 5782054 HAS SOPS 5781002 HAS SOUS 724117 HAS SOUPS 723598 WITH SCORE 729380.054
AT ITER 5422 NEW BEST:: SOT 12918691 SOS 5783139 HAS SOPS 5782087 HAS SOUS 724065 HAS SOUPS 723546 WITH SCORE 729329.139
AT ITER 5454 NEW BEST:: SOT 12918686 SOS 5783134 HAS SOPS 5782082 HAS SOUS 724060 HAS SOUPS 723541 WITH SCORE 729324.134
AT ITER 5455 NEW BEST:: SOT 12918674 SOS 5783122 HAS SOPS 5782070 HAS SOUS 724051 HAS SOUPS 723532 WITH SCORE 729315.122
AT ITER 5456 NEW BEST:: SOT 12920660 SOS 5787916 HAS SOPS 5786864 HAS SOUS 721476 HAS SOUPS 720957 WITH SCORE 726744.916
AT ITER 5485 NEW BEST:: SOT 12920660 SOS 5787786 HAS SOPS 5786734 HAS SOUS 721411 HAS SOUPS 720892 WITH SCORE 726679.786
AT ITER 5501 NEW BEST:: SOT 12920659 SOS 5787785 HAS SOPS 5786733 HAS SOUS 721410 HAS SOUPS 720891 WITH SCORE 726678.785
AT ITER 5520 NEW BEST:: SOT 12923179 SOS 5790347 HAS SOPS 5789289 HAS SOUS 717982 HAS SOUPS 717457 WITH SCORE 723247.347
AT ITER 5525 NEW BEST:: SOT 12923283 SOS 5790862 HAS SOPS 5789806 HAS SOUS 717012 HAS SOUPS 716489 WITH SCORE 722279.862
AT ITER 5532 NEW BEST:: SOT 12923283 SOS 5790826 HAS SOPS 5789770 HAS SOUS 716994 HAS SOUPS 716471 WITH SCORE 722261.826
AT ITER 5544 NEW BEST:: SOT 12927264 SOS 5799055 HAS SOPS 5797999 HAS SOUS 715094 HAS SOUPS 714571 WITH SCORE 720370.055
AT ITER 5558 NEW BEST:: SOT 12927264 SOS 5798899 HAS SOPS 5797843 HAS SOUS 715082 HAS SOUPS 714559 WITH SCORE 720357.899
AT ITER 5567 NEW BEST:: SOT 12927692 SOS 5799327 HAS SOPS 5798271 HAS SOUS 714073 HAS SOUPS 713550 WITH SCORE 719349.327
AT ITER 5574 NEW BEST:: SOT 12927657 SOS 5803202 HAS SOPS 5802146 HAS SOUS 713467 HAS SOUPS 712944 WITH SCORE 718747.202
AT ITER 5579 NEW BEST:: SOT 12919742 SOS 5793907 HAS SOPS 5792851 HAS SOUS 709745 HAS SOUPS 709222 WITH SCORE 715015.907
AT ITER 5583 NEW BEST:: SOT 12916751 SOS 5790916 HAS SOPS 5789860 HAS SOUS 703688 HAS SOUPS 703165 WITH SCORE 708955.916
AT ITER 5596 NEW BEST:: SOT 12916865 SOS 5791033 HAS SOPS 5789977 HAS SOUS 703615 HAS SOUPS 703092 WITH SCORE 708883.033
AT ITER 5603 NEW BEST:: SOT 12916792 SOS 5790960 HAS SOPS 5789904 HAS SOUS 703533 HAS SOUPS 703010 WITH SCORE 708800.96
AT ITER 5607 NEW BEST:: SOT 12918910 SOS 5793078 HAS SOPS 5792022 HAS SOUS 703421 HAS SOUPS 702898 WITH SCORE 708691.078
AT ITER 5629 NEW BEST:: SOT 12920671 SOS 5800573 HAS SOPS 5799519 HAS SOUS 700126 HAS SOUPS 699605 WITH SCORE 705405.573
AT ITER 5657 NEW BEST:: SOT 12921107 SOS 5801087 HAS SOPS 5800033 HAS SOUS 698319 HAS SOUPS 697798 WITH SCORE 703599.087
AT ITER 5660 NEW BEST:: SOT 12921107 SOS 5803823 HAS SOPS 5802769 HAS SOUS 698299 HAS SOUPS 697778 WITH SCORE 703581.823
AT ITER 5669 NEW BEST:: SOT 12922670 SOS 5805386 HAS SOPS 5804332 HAS SOUS 697073 HAS SOUPS 696552 WITH SCORE 702357.386
AT ITER 5716 NEW BEST:: SOT 12923251 SOS 5806028 HAS SOPS 5804974 HAS SOUS 696293 HAS SOUPS 695772 WITH SCORE 701578.028
AT ITER 5732 NEW BEST:: SOT 12920760 SOS 5803405 HAS SOPS 5802351 HAS SOUS 695588 HAS SOUPS 695067 WITH SCORE 700870.405
AT ITER 5744 NEW BEST:: SOT 12920744 SOS 5803953 HAS SOPS 5802899 HAS SOUS 694778 HAS SOUPS 694257 WITH SCORE 700060.953
AT ITER 5746 NEW BEST:: SOT 12920710 SOS 5803919 HAS SOPS 5802865 HAS SOUS 694694 HAS SOUPS 694173 WITH SCORE 699976.919
AT ITER 5747 NEW BEST:: SOT 12920710 SOS 5803763 HAS SOPS 5802709 HAS SOUS 694694 HAS SOUPS 694173 WITH SCORE 699976.763
AT ITER 5763 NEW BEST:: SOT 12920453 SOS 5803506 HAS SOPS 5802452 HAS SOUS 693898 HAS SOUPS 693377 WITH SCORE 699180.506
AT ITER 5767 NEW BEST:: SOT 12920396 SOS 5803449 HAS SOPS 5802395 HAS SOUS 693841 HAS SOUPS 693320 WITH SCORE 699123.449
AT ITER 5796 NEW BEST:: SOT 12921787 SOS 5804840 HAS SOPS 5803786 HAS SOUS 693345 HAS SOUPS 692824 WITH SCORE 698628.84
AT ITER 5799 NEW BEST:: SOT 12923360 SOS 5806509 HAS SOPS 5805455 HAS SOUS 693059 HAS SOUPS 692538 WITH SCORE 698344.509
AT ITER 5801 NEW BEST:: SOT 12922767 SOS 5805916 HAS SOPS 5804862 HAS SOUS 691007 HAS SOUPS 690486 WITH SCORE 696291.916
AT ITER 5803 NEW BEST:: SOT 12926144 SOS 5809497 HAS SOPS 5808443 HAS SOUS 690248 HAS SOUPS 689727 WITH SCORE 695536.497
AT ITER 5812 NEW BEST:: SOT 12926137 SOS 5809490 HAS SOPS 5808436 HAS SOUS 690241 HAS SOUPS 689720 WITH SCORE 695529.49
AT ITER 5813 NEW BEST:: SOT 12927074 SOS 5810497 HAS SOPS 5809443 HAS SOUS 687169 HAS SOUPS 686648 WITH SCORE 692458.497
AT ITER 5816 NEW BEST:: SOT 12927125 SOS 5810570 HAS SOPS 5809516 HAS SOUS 687162 HAS SOUPS 686641 WITH SCORE 692451.57
AT ITER 5869 NEW BEST:: SOT 12926805 SOS 5810250 HAS SOPS 5809196 HAS SOUS 686522 HAS SOUPS 686001 WITH SCORE 691811.25
AT ITER 5893 NEW BEST:: SOT 12925776 SOS 5809221 HAS SOPS 5808167 HAS SOUS 685873 HAS SOUPS 685352 WITH SCORE 691161.221
AT ITER 5903 NEW BEST:: SOT 12924334 SOS 5804013 HAS SOPS 5802987 HAS SOUS 685681 HAS SOUPS 685188 WITH SCORE 690992.013
AT ITER 5945 NEW BEST:: SOT 12924255 SOS 5803934 HAS SOPS 5802908 HAS SOUS 685602 HAS SOUPS 685109 WITH SCORE 690912.934
AT ITER 5957 NEW BEST:: SOT 12924255 SOS 5803932 HAS SOPS 5802906 HAS SOUS 685589 HAS SOUPS 685096 WITH SCORE 690899.932
AT ITER 5972 NEW BEST:: SOT 12924074 SOS 5803751 HAS SOPS 5802725 HAS SOUS 685347 HAS SOUPS 684854 WITH SCORE 690657.751
AT ITER 5977 NEW BEST:: SOT 12924074 SOS 5803745 HAS SOPS 5802719 HAS SOUS 685344 HAS SOUPS 684851 WITH SCORE 690654.745
AT ITER 5984 NEW BEST:: SOT 12919197 SOS 5778988 HAS SOPS 5777962 HAS SOUS 681640 HAS SOUPS 681147 WITH SCORE 686925.988
AT ITER 6031 NEW BEST:: SOT 12919613 SOS 5779404 HAS SOPS 5778378 HAS SOUS 681568 HAS SOUPS 681075 WITH SCORE 686854.404
AT ITER 6059 NEW BEST:: SOT 12919626 SOS 5779417 HAS SOPS 5778391 HAS SOUS 681566 HAS SOUPS 681073 WITH SCORE 686852.417
AT ITER 6060 NEW BEST:: SOT 12916121 SOS 5778086 HAS SOPS 5777000 HAS SOUS 680666 HAS SOUPS 680133 WITH SCORE 685911.086
AT ITER 6111 NEW BEST:: SOT 12916121 SOS 5775246 HAS SOPS 5774160 HAS SOUS 680666 HAS SOUPS 680133 WITH SCORE 685908.246
AT ITER 6180 NEW BEST:: SOT 12913652 SOS 5772731 HAS SOPS 5771645 HAS SOUS 680403 HAS SOUPS 679870 WITH SCORE 685642.731
AT ITER 6188 NEW BEST:: SOT 12913776 SOS 5772873 HAS SOPS 5771787 HAS SOUS 680076 HAS SOUPS 679543 WITH SCORE 685315.873
AT ITER 6197 NEW BEST:: SOT 12913501 SOS 5772224 HAS SOPS 5771122 HAS SOUS 679336 HAS SOUPS 678803 WITH SCORE 684575.224
AT ITER 6202 NEW BEST:: SOT 12913608 SOS 5772331 HAS SOPS 5771229 HAS SOUS 679169 HAS SOUPS 678636 WITH SCORE 684408.331
AT ITER 6224 NEW BEST:: SOT 12912777 SOS 5771500 HAS SOPS 5770398 HAS SOUS 678547 HAS SOUPS 678014 WITH SCORE 683785.5
AT ITER 6235 NEW BEST:: SOT 12912777 SOS 5770204 HAS SOPS 5769102 HAS SOUS 678493 HAS SOUPS 677960 WITH SCORE 683730.204
AT ITER 6299 NEW BEST:: SOT 12913421 SOS 5771952 HAS SOPS 5770850 HAS SOUS 676365 HAS SOUPS 675832 WITH SCORE 681603.952
AT ITER 6304 NEW BEST:: SOT 12914019 SOS 5774396 HAS SOPS 5773294 HAS SOUS 675554 HAS SOUPS 675021 WITH SCORE 680795.396
AT ITER 6307 NEW BEST:: SOT 12912683 SOS 5772268 HAS SOPS 5771166 HAS SOUS 674936 HAS SOUPS 674403 WITH SCORE 680175.268
AT ITER 6311 NEW BEST:: SOT 12912135 SOS 5771720 HAS SOPS 5770618 HAS SOUS 673720 HAS SOUPS 673187 WITH SCORE 678958.72
AT ITER 6320 NEW BEST:: SOT 12911373 SOS 5770958 HAS SOPS 5769856 HAS SOUS 673567 HAS SOUPS 673034 WITH SCORE 678804.958
AT ITER 6325 NEW BEST:: SOT 12912285 SOS 5771870 HAS SOPS 5770768 HAS SOUS 671126 HAS SOUPS 670593 WITH SCORE 676364.87
AT ITER 6329 NEW BEST:: SOT 12912063 SOS 5771648 HAS SOPS 5770546 HAS SOUS 670677 HAS SOUPS 670144 WITH SCORE 675915.648
AT ITER 6332 NEW BEST:: SOT 12912063 SOS 5768817 HAS SOPS 5767715 HAS SOUS 670579 HAS SOUPS 670046 WITH SCORE 675814.817
AT ITER 6337 NEW BEST:: SOT 12911983 SOS 5768737 HAS SOPS 5767635 HAS SOUS 670519 HAS SOUPS 669986 WITH SCORE 675754.737
AT ITER 6343 NEW BEST:: SOT 12910942 SOS 5767696 HAS SOPS 5766594 HAS SOUS 667567 HAS SOUPS 667034 WITH SCORE 672801.696
AT ITER 6352 NEW BEST:: SOT 12906348 SOS 5762898 HAS SOPS 5761796 HAS SOUS 662052 HAS SOUPS 661519 WITH SCORE 667281.898
AT ITER 6403 NEW BEST:: SOT 12906348 SOS 5762894 HAS SOPS 5761792 HAS SOUS 662005 HAS SOUPS 661472 WITH SCORE 667234.894
AT ITER 6405 NEW BEST:: SOT 12905447 SOS 5761779 HAS SOPS 5760897 HAS SOUS 661030 HAS SOUPS 660497 WITH SCORE 666258.779
AT ITER 6407 NEW BEST:: SOT 12904797 SOS 5761129 HAS SOPS 5760247 HAS SOUS 660380 HAS SOUPS 659847 WITH SCORE 665608.129
AT ITER 6415 NEW BEST:: SOT 12904797 SOS 5759977 HAS SOPS 5759095 HAS SOUS 660380 HAS SOUPS 659847 WITH SCORE 665606.977
AT ITER 6419 NEW BEST:: SOT 12904797 SOS 5758825 HAS SOPS 5757943 HAS SOUS 660379 HAS SOUPS 659846 WITH SCORE 665604.825
AT ITER 6438 NEW BEST:: SOT 12904786 SOS 5758814 HAS SOPS 5757932 HAS SOUS 660357 HAS SOUPS 659824 WITH SCORE 665582.814
AT ITER 6460 NEW BEST:: SOT 12904236 SOS 5757976 HAS SOPS 5757094 HAS SOUS 660091 HAS SOUPS 659558 WITH SCORE 665315.976
AT ITER 6487 NEW BEST:: SOT 12904387 SOS 5758127 HAS SOPS 5757245 HAS SOUS 659559 HAS SOUPS 659026 WITH SCORE 664784.127
AT ITER 6490 NEW BEST:: SOT 12907372 SOS 5762896 HAS SOPS 5762014 HAS SOUS 656514 HAS SOUPS 655981 WITH SCORE 661743.896
AT ITER 6495 NEW BEST:: SOT 12902088 SOS 5754084 HAS SOPS 5753202 HAS SOUS 654742 HAS SOUPS 654209 WITH SCORE 659963.084
AT ITER 6508 NEW BEST:: SOT 12897104 SOS 5749100 HAS SOPS 5748218 HAS SOUS 652547 HAS SOUPS 652014 WITH SCORE 657763.1
AT ITER 6513 NEW BEST:: SOT 12896628 SOS 5732356 HAS SOPS 5731979 HAS SOUS 650770 HAS SOUPS 650429 WITH SCORE 656161.356
AT ITER 6517 NEW BEST:: SOT 12894965 SOS 5718361 HAS SOPS 5718196 HAS SOUS 646911 HAS SOUPS 646766 WITH SCORE 652484.361
AT ITER 6549 NEW BEST:: SOT 12894721 SOS 5717837 HAS SOPS 5717672 HAS SOUS 646667 HAS SOUPS 646522 WITH SCORE 652239.837
AT ITER 6575 NEW BEST:: SOT 12894721 SOS 5717689 HAS SOPS 5717524 HAS SOUS 646593 HAS SOUPS 646448 WITH SCORE 652165.689
AT ITER 6579 NEW BEST:: SOT 12906767 SOS 5740314 HAS SOPS 5740149 HAS SOUS 646532 HAS SOUPS 646387 WITH SCORE 652127.314
AT ITER 6630 NEW BEST:: SOT 12906722 SOS 5740269 HAS SOPS 5740104 HAS SOUS 646521 HAS SOUPS 646376 WITH SCORE 652116.269
AT ITER 6647 NEW BEST:: SOT 12906074 SOS 5739621 HAS SOPS 5739456 HAS SOUS 646143 HAS SOUPS 645998 WITH SCORE 651737.621
AT ITER 6652 NEW BEST:: SOT 12904981 SOS 5738528 HAS SOPS 5738363 HAS SOUS 645634 HAS SOUPS 645489 WITH SCORE 651227.528
AT ITER 6700 NEW BEST:: SOT 12905622 SOS 5739195 HAS SOPS 5739030 HAS SOUS 645595 HAS SOUPS 645450 WITH SCORE 651189.195
AT ITER 6734 NEW BEST:: SOT 12905664 SOS 5739237 HAS SOPS 5739072 HAS SOUS 645555 HAS SOUPS 645410 WITH SCORE 651149.237
AT ITER 6740 NEW BEST:: SOT 12906299 SOS 5739872 HAS SOPS 5739707 HAS SOUS 645071 HAS SOUPS 644926 WITH SCORE 650665.872
AT ITER 6752 NEW BEST:: SOT 12907290 SOS 5740863 HAS SOPS 5740698 HAS SOUS 644314 HAS SOUPS 644169 WITH SCORE 649909.863
AT ITER 6787 NEW BEST:: SOT 12907290 SOS 5740899 HAS SOPS 5740734 HAS SOUS 644305 HAS SOUPS 644160 WITH SCORE 649900.899
AT ITER 6791 NEW BEST:: SOT 12904677 SOS 5738206 HAS SOPS 5738041 HAS SOUS 643773 HAS SOUPS 643628 WITH SCORE 649366.206
AT ITER 6811 NEW BEST:: SOT 12904677 SOS 5738206 HAS SOPS 5738041 HAS SOUS 642512 HAS SOUPS 642367 WITH SCORE 648105.206
AT ITER 6932 NEW BEST:: SOT 12904109 SOS 5736308 HAS SOPS 5736143 HAS SOUS 642467 HAS SOUPS 642322 WITH SCORE 648058.308
AT ITER 6960 NEW BEST:: SOT 12906030 SOS 5737257 HAS SOPS 5737092 HAS SOUS 642226 HAS SOUPS 642081 WITH SCORE 647818.257
AT ITER 6971 NEW BEST:: SOT 12906020 SOS 5737285 HAS SOPS 5737120 HAS SOUS 642224 HAS SOUPS 642079 WITH SCORE 647816.285
AT ITER 6980 NEW BEST:: SOT 12905992 SOS 5737258 HAS SOPS 5737093 HAS SOUS 642137 HAS SOUPS 641992 WITH SCORE 647729.258
AT ITER 7017 NEW BEST:: SOT 12905968 SOS 5737029 HAS SOPS 5736849 HAS SOUS 642100 HAS SOUPS 641960 WITH SCORE 647697.029
AT ITER 7022 NEW BEST:: SOT 12904168 SOS 5732673 HAS SOPS 5732493 HAS SOUS 640780 HAS SOUPS 640640 WITH SCORE 646372.673
AT ITER 7026 NEW BEST:: SOT 12904044 SOS 5732549 HAS SOPS 5732369 HAS SOUS 640532 HAS SOUPS 640392 WITH SCORE 646124.549
AT ITER 7052 NEW BEST:: SOT 12902478 SOS 5729831 HAS SOPS 5729651 HAS SOUS 639869 HAS SOUPS 639729 WITH SCORE 645458.831
AT ITER 7055 NEW BEST:: SOT 12902489 SOS 5729000 HAS SOPS 5728820 HAS SOUS 639840 HAS SOUPS 639700 WITH SCORE 645429.0
AT ITER 7093 NEW BEST:: SOT 12906331 SOS 5730000 HAS SOPS 5729869 HAS SOUS 639419 HAS SOUPS 639328 WITH SCORE 645058.0
AT ITER 7096 NEW BEST:: SOT 12906405 SOS 5730074 HAS SOPS 5729943 HAS SOUS 639086 HAS SOUPS 638995 WITH SCORE 644725.074
AT ITER 7103 NEW BEST:: SOT 12904246 SOS 5727915 HAS SOPS 5727784 HAS SOUS 637258 HAS SOUPS 637167 WITH SCORE 642894.915
AT ITER 7142 NEW BEST:: SOT 12903885 SOS 5727554 HAS SOPS 5727423 HAS SOUS 636566 HAS SOUPS 636475 WITH SCORE 642202.554
AT ITER 7150 NEW BEST:: SOT 12904957 SOS 5728626 HAS SOPS 5728495 HAS SOUS 636425 HAS SOUPS 636334 WITH SCORE 642062.626
AT ITER 7177 NEW BEST:: SOT 12904798 SOS 5728467 HAS SOPS 5728336 HAS SOUS 634391 HAS SOUPS 634300 WITH SCORE 640028.467
AT ITER 7192 NEW BEST:: SOT 12904798 SOS 5727315 HAS SOPS 5727184 HAS SOUS 634391 HAS SOUPS 634300 WITH SCORE 640027.315
AT ITER 7194 NEW BEST:: SOT 12903702 SOS 5726219 HAS SOPS 5726088 HAS SOUS 633289 HAS SOUPS 633198 WITH SCORE 638924.219
AT ITER 7211 NEW BEST:: SOT 12903581 SOS 5726098 HAS SOPS 5725967 HAS SOUS 633243 HAS SOUPS 633152 WITH SCORE 638878.098
AT ITER 7224 NEW BEST:: SOT 12904510 SOS 5727027 HAS SOPS 5726896 HAS SOUS 632548 HAS SOUPS 632457 WITH SCORE 638184.027
AT ITER 7234 NEW BEST:: SOT 12914245 SOS 5743411 HAS SOPS 5743280 HAS SOUS 631869 HAS SOUPS 631778 WITH SCORE 637521.411
AT ITER 7262 NEW BEST:: SOT 12914245 SOS 5743411 HAS SOPS 5743280 HAS SOUS 631792 HAS SOUPS 631701 WITH SCORE 637444.411
AT ITER 7273 NEW BEST:: SOT 12912074 SOS 5741240 HAS SOPS 5741109 HAS SOUS 629801 HAS SOUPS 629710 WITH SCORE 635451.24
AT ITER 7274 NEW BEST:: SOT 12911786 SOS 5740952 HAS SOPS 5740821 HAS SOUS 629520 HAS SOUPS 629429 WITH SCORE 635169.952
AT ITER 7292 NEW BEST:: SOT 12908081 SOS 5737247 HAS SOPS 5737116 HAS SOUS 629309 HAS SOUPS 629218 WITH SCORE 634955.247
AT ITER 7303 NEW BEST:: SOT 12907942 SOS 5737108 HAS SOPS 5736977 HAS SOUS 629228 HAS SOUPS 629137 WITH SCORE 634874.108
AT ITER 7316 NEW BEST:: SOT 12908154 SOS 5737320 HAS SOPS 5737189 HAS SOUS 629178 HAS SOUPS 629087 WITH SCORE 634824.32
AT ITER 7446 NEW BEST:: SOT 12905771 SOS 5734937 HAS SOPS 5734806 HAS SOUS 626696 HAS SOUPS 626605 WITH SCORE 632339.937
AT ITER 7494 NEW BEST:: SOT 12905056 SOS 5734222 HAS SOPS 5734091 HAS SOUS 626571 HAS SOUPS 626480 WITH SCORE 632214.222
AT ITER 7513 NEW BEST:: SOT 12905056 SOS 5732113 HAS SOPS 5732057 HAS SOUS 625897 HAS SOUPS 625841 WITH SCORE 631573.113
AT ITER 7526 NEW BEST:: SOT 12905073 SOS 5732130 HAS SOPS 5732074 HAS SOUS 625832 HAS SOUPS 625776 WITH SCORE 631508.13
AT ITER 7528 NEW BEST:: SOT 12904774 SOS 5731831 HAS SOPS 5731775 HAS SOUS 625261 HAS SOUPS 625205 WITH SCORE 630936.831
AT ITER 7540 NEW BEST:: SOT 12904783 SOS 5731840 HAS SOPS 5731784 HAS SOUS 624911 HAS SOUPS 624855 WITH SCORE 630586.84
AT ITER 7611 NEW BEST:: SOT 12904933 SOS 5732962 HAS SOPS 5732906 HAS SOUS 623742 HAS SOUPS 623686 WITH SCORE 629418.962
AT ITER 7641 NEW BEST:: SOT 12902269 SOS 5730330 HAS SOPS 5730274 HAS SOUS 617479 HAS SOUPS 617423 WITH SCORE 623153.33
AT ITER 7643 NEW BEST:: SOT 12902546 SOS 5730607 HAS SOPS 5730551 HAS SOUS 617452 HAS SOUPS 617396 WITH SCORE 623126.607
AT ITER 7666 NEW BEST:: SOT 12902530 SOS 5730591 HAS SOPS 5730535 HAS SOUS 617436 HAS SOUPS 617380 WITH SCORE 623110.591
AT ITER 7743 NEW BEST:: SOT 12903279 SOS 5732200 HAS SOPS 5732121 HAS SOUS 617445 HAS SOUPS 617366 WITH SCORE 623098.2
AT ITER 7796 NEW BEST:: SOT 12904218 SOS 5733139 HAS SOPS 5733060 HAS SOUS 616263 HAS SOUPS 616184 WITH SCORE 621917.139
AT ITER 7823 NEW BEST:: SOT 12897929 SOS 5726850 HAS SOPS 5726771 HAS SOUS 614594 HAS SOUPS 614515 WITH SCORE 620241.85
AT ITER 7900 NEW BEST:: SOT 12897921 SOS 5726842 HAS SOPS 5726763 HAS SOUS 614586 HAS SOUPS 614507 WITH SCORE 620233.842
AT ITER 7926 NEW BEST:: SOT 12897851 SOS 5722432 HAS SOPS 5722353 HAS SOUS 614586 HAS SOUPS 614507 WITH SCORE 620229.432
AT ITER 7929 NEW BEST:: SOT 12896570 SOS 5719912 HAS SOPS 5719843 HAS SOUS 613711 HAS SOUPS 613642 WITH SCORE 619361.912
AT ITER 7947 NEW BEST:: SOT 12894568 SOS 5717910 HAS SOPS 5717841 HAS SOUS 608515 HAS SOUPS 608446 WITH SCORE 614163.91
AT ITER 7959 NEW BEST:: SOT 12894568 SOS 5717184 HAS SOPS 5717115 HAS SOUS 608482 HAS SOUPS 608413 WITH SCORE 614130.184
AT ITER 7998 NEW BEST:: SOT 12894545 SOS 5717161 HAS SOPS 5717092 HAS SOUS 608441 HAS SOUPS 608372 WITH SCORE 614089.161
AT ITER 8004 NEW BEST:: SOT 12894504 SOS 5717120 HAS SOPS 5717051 HAS SOUS 608399 HAS SOUPS 608330 WITH SCORE 614047.12
AT ITER 8041 NEW BEST:: SOT 12894736 SOS 5717360 HAS SOPS 5717291 HAS SOUS 608383 HAS SOUPS 608314 WITH SCORE 614031.36
AT ITER 8057 NEW BEST:: SOT 12896283 SOS 5719069 HAS SOPS 5719000 HAS SOUS 608189 HAS SOUPS 608120 WITH SCORE 613839.069
AT ITER 8106 NEW BEST:: SOT 12896283 SOS 5718923 HAS SOPS 5718854 HAS SOUS 608135 HAS SOUPS 608066 WITH SCORE 613784.923
AT ITER 8123 NEW BEST:: SOT 12896283 SOS 5718923 HAS SOPS 5718854 HAS SOUS 608129 HAS SOUPS 608060 WITH SCORE 613778.923
AT ITER 8138 NEW BEST:: SOT 12895628 SOS 5718268 HAS SOPS 5718199 HAS SOUS 607507 HAS SOUPS 607438 WITH SCORE 613156.268
AT ITER 8172 NEW BEST:: SOT 12895236 SOS 5717822 HAS SOPS 5717753 HAS SOUS 607064 HAS SOUPS 606995 WITH SCORE 612712.822
AT ITER 8230 NEW BEST:: SOT 12890739 SOS 5713325 HAS SOPS 5713256 HAS SOUS 607045 HAS SOUPS 606976 WITH SCORE 612689.325
AT ITER 8248 NEW BEST:: SOT 12890628 SOS 5713214 HAS SOPS 5713145 HAS SOUS 606947 HAS SOUPS 606878 WITH SCORE 612591.214
AT ITER 8257 NEW BEST:: SOT 12890628 SOS 5713132 HAS SOPS 5713063 HAS SOUS 606865 HAS SOUPS 606796 WITH SCORE 612509.132
AT ITER 8264 NEW BEST:: SOT 12890631 SOS 5712343 HAS SOPS 5712274 HAS SOUS 606835 HAS SOUPS 606766 WITH SCORE 612478.343
AT ITER 8284 NEW BEST:: SOT 12890592 SOS 5712304 HAS SOPS 5712235 HAS SOUS 606799 HAS SOUPS 606730 WITH SCORE 612442.304
AT ITER 8316 NEW BEST:: SOT 12891801 SOS 5715889 HAS SOPS 5715820 HAS SOUS 606637 HAS SOUPS 606568 WITH SCORE 612283.889
AT ITER 8322 NEW BEST:: SOT 12891732 SOS 5715820 HAS SOPS 5715751 HAS SOUS 606586 HAS SOUPS 606517 WITH SCORE 612232.82
AT ITER 8326 NEW BEST:: SOT 12891502 SOS 5715590 HAS SOPS 5715521 HAS SOUS 606097 HAS SOUPS 606028 WITH SCORE 611743.59
AT ITER 8350 NEW BEST:: SOT 12892135 SOS 5716943 HAS SOPS 5716874 HAS SOUS 605955 HAS SOUPS 605886 WITH SCORE 611602.943
AT ITER 8361 NEW BEST:: SOT 12889080 SOS 5713856 HAS SOPS 5713787 HAS SOUS 603350 HAS SOUPS 603281 WITH SCORE 608994.856
AT ITER 8406 NEW BEST:: SOT 12889085 SOS 5713861 HAS SOPS 5713792 HAS SOUS 603345 HAS SOUPS 603276 WITH SCORE 608989.861
AT ITER 8426 NEW BEST:: SOT 12887407 SOS 5712183 HAS SOPS 5712114 HAS SOUS 603251 HAS SOUPS 603182 WITH SCORE 608894.183
AT ITER 8455 NEW BEST:: SOT 12885838 SOS 5710614 HAS SOPS 5710545 HAS SOUS 602577 HAS SOUPS 602508 WITH SCORE 608218.614
AT ITER 8503 NEW BEST:: SOT 12885664 SOS 5710440 HAS SOPS 5710371 HAS SOUS 602226 HAS SOUPS 602157 WITH SCORE 607867.44
AT ITER 8530 NEW BEST:: SOT 12885530 SOS 5710306 HAS SOPS 5710237 HAS SOUS 602078 HAS SOUPS 602009 WITH SCORE 607719.306
AT ITER 8618 NEW BEST:: SOT 12883991 SOS 5708753 HAS SOPS 5708684 HAS SOUS 602005 HAS SOUPS 601936 WITH SCORE 607644.753
AT ITER 8627 NEW BEST:: SOT 12882265 SOS 5707027 HAS SOPS 5706958 HAS SOUS 600844 HAS SOUPS 600775 WITH SCORE 606482.027
AT ITER 8669 NEW BEST:: SOT 12881967 SOS 5706729 HAS SOPS 5706660 HAS SOUS 600236 HAS SOUPS 600167 WITH SCORE 605873.729
AT ITER 8690 NEW BEST:: SOT 12881967 SOS 5706681 HAS SOPS 5706612 HAS SOUS 600212 HAS SOUPS 600143 WITH SCORE 605849.681
AT ITER 8704 NEW BEST:: SOT 12881464 SOS 5706226 HAS SOPS 5706157 HAS SOUS 599643 HAS SOUPS 599574 WITH SCORE 605280.226
AT ITER 8734 NEW BEST:: SOT 12881464 SOS 5706222 HAS SOPS 5706153 HAS SOUS 599641 HAS SOUPS 599572 WITH SCORE 605278.222
AT ITER 8736 NEW BEST:: SOT 12881325 SOS 5706083 HAS SOPS 5706014 HAS SOUS 599378 HAS SOUPS 599309 WITH SCORE 605015.083
AT ITER 8740 NEW BEST:: SOT 12881322 SOS 5706080 HAS SOPS 5706011 HAS SOUS 599375 HAS SOUPS 599306 WITH SCORE 605012.08
AT ITER 8753 NEW BEST:: SOT 12883200 SOS 5707958 HAS SOPS 5707889 HAS SOUS 598063 HAS SOUPS 597994 WITH SCORE 603701.958
AT ITER 8768 NEW BEST:: SOT 12882107 SOS 5706865 HAS SOPS 5706796 HAS SOUS 596254 HAS SOUPS 596185 WITH SCORE 601891.865
AT ITER 8785 NEW BEST:: SOT 12883198 SOS 5709180 HAS SOPS 5709111 HAS SOUS 595061 HAS SOUPS 594992 WITH SCORE 600701.18
AT ITER 8799 NEW BEST:: SOT 12877250 SOS 5696886 HAS SOPS 5696817 HAS SOUS 594243 HAS SOUPS 594174 WITH SCORE 599870.886
AT ITER 8806 NEW BEST:: SOT 12876100 SOS 5695736 HAS SOPS 5695667 HAS SOUS 593993 HAS SOUPS 593924 WITH SCORE 599619.736
AT ITER 8830 NEW BEST:: SOT 12876970 SOS 5714929 HAS SOPS 5714860 HAS SOUS 593211 HAS SOUPS 593142 WITH SCORE 598856.929
AT ITER 8946 NEW BEST:: SOT 12878991 SOS 5717026 HAS SOPS 5716957 HAS SOUS 593045 HAS SOUPS 592976 WITH SCORE 598693.026
AT ITER 8969 NEW BEST:: SOT 12878977 SOS 5717012 HAS SOPS 5716943 HAS SOUS 593013 HAS SOUPS 592944 WITH SCORE 598661.012
AT ITER 8972 NEW BEST:: SOT 12878853 SOS 5716744 HAS SOPS 5716675 HAS SOUS 592887 HAS SOUPS 592818 WITH SCORE 598534.744
AT ITER 9019 NEW BEST:: SOT 12878638 SOS 5716529 HAS SOPS 5716460 HAS SOUS 592467 HAS SOUPS 592398 WITH SCORE 598114.529
AT ITER 9025 NEW BEST:: SOT 12877000 SOS 5714853 HAS SOPS 5714784 HAS SOUS 590885 HAS SOUPS 590816 WITH SCORE 596530.853
AT ITER 9081 NEW BEST:: SOT 12869966 SOS 5704913 HAS SOPS 5704772 HAS SOUS 590154 HAS SOUPS 590050 WITH SCORE 595754.913
AT ITER 9097 NEW BEST:: SOT 12871404 SOS 5711391 HAS SOPS 5711250 HAS SOUS 588646 HAS SOUPS 588542 WITH SCORE 594253.391
AT ITER 9098 NEW BEST:: SOT 12871448 SOS 5711435 HAS SOPS 5711294 HAS SOUS 587911 HAS SOUPS 587807 WITH SCORE 593518.435
AT ITER 9186 NEW BEST:: SOT 12871448 SOS 5711435 HAS SOPS 5711294 HAS SOUS 587846 HAS SOUPS 587742 WITH SCORE 593453.435
AT ITER 9190 NEW BEST:: SOT 12871743 SOS 5711754 HAS SOPS 5711613 HAS SOUS 587844 HAS SOUPS 587740 WITH SCORE 593451.754
AT ITER 9339 NEW BEST:: SOT 12871662 SOS 5711673 HAS SOPS 5711532 HAS SOUS 587678 HAS SOUPS 587574 WITH SCORE 593285.673
AT ITER 9343 NEW BEST:: SOT 12871505 SOS 5711516 HAS SOPS 5711375 HAS SOUS 587166 HAS SOUPS 587062 WITH SCORE 592773.516
AT ITER 9378 NEW BEST:: SOT 12871385 SOS 5731516 HAS SOPS 5731375 HAS SOUS 581460 HAS SOUPS 581356 WITH SCORE 587087.516
AT ITER 9446 NEW BEST:: SOT 12871390 SOS 5731521 HAS SOPS 5731380 HAS SOUS 581455 HAS SOUPS 581351 WITH SCORE 587082.521
AT ITER 9468 NEW BEST:: SOT 12871357 SOS 5731488 HAS SOPS 5731347 HAS SOUS 581427 HAS SOUPS 581323 WITH SCORE 587054.488
AT ITER 9495 NEW BEST:: SOT 12871134 SOS 5731121 HAS SOPS 5730980 HAS SOUS 581327 HAS SOUPS 581223 WITH SCORE 586954.121
AT ITER 9511 NEW BEST:: SOT 12871127 SOS 5731114 HAS SOPS 5730973 HAS SOUS 581318 HAS SOUPS 581214 WITH SCORE 586945.114
AT ITER 9533 NEW BEST:: SOT 12870947 SOS 5730934 HAS SOPS 5730793 HAS SOUS 580921 HAS SOUPS 580817 WITH SCORE 586547.934
AT ITER 9560 NEW BEST:: SOT 12870947 SOS 5730924 HAS SOPS 5730783 HAS SOUS 580921 HAS SOUPS 580817 WITH SCORE 586547.924
AT ITER 9571 NEW BEST:: SOT 12870925 SOS 5730902 HAS SOPS 5730761 HAS SOUS 580899 HAS SOUPS 580795 WITH SCORE 586525.902
AT ITER 9649 NEW BEST:: SOT 12876813 SOS 5736790 HAS SOPS 5736649 HAS SOUS 580641 HAS SOUPS 580537 WITH SCORE 586273.79
AT ITER 9652 NEW BEST:: SOT 12876289 SOS 5735566 HAS SOPS 5735425 HAS SOUS 580107 HAS SOUPS 580003 WITH SCORE 585738.566
AT ITER 9678 NEW BEST:: SOT 12876278 SOS 5735555 HAS SOPS 5735414 HAS SOUS 580096 HAS SOUPS 579992 WITH SCORE 585727.555
AT ITER 9684 NEW BEST:: SOT 12880041 SOS 5740608 HAS SOPS 5740467 HAS SOUS 580036 HAS SOUPS 579932 WITH SCORE 585672.608
AT ITER 9695 NEW BEST:: SOT 12879763 SOS 5740330 HAS SOPS 5740189 HAS SOUS 579845 HAS SOUPS 579741 WITH SCORE 585481.33
AT ITER 9737 NEW BEST:: SOT 12879370 SOS 5739937 HAS SOPS 5739796 HAS SOUS 579325 HAS SOUPS 579221 WITH SCORE 584960.937
AT ITER 9754 NEW BEST:: SOT 12882215 SOS 5742782 HAS SOPS 5742641 HAS SOUS 578815 HAS SOUPS 578711 WITH SCORE 584453.782
AT ITER 9792 NEW BEST:: SOT 12881720 SOS 5742287 HAS SOPS 5742146 HAS SOUS 578377 HAS SOUPS 578273 WITH SCORE 584015.287
AT ITER 9802 NEW BEST:: SOT 12881720 SOS 5742287 HAS SOPS 5742146 HAS SOUS 578368 HAS SOUPS 578264 WITH SCORE 584006.287
AT ITER 9822 NEW BEST:: SOT 12881720 SOS 5742209 HAS SOPS 5742068 HAS SOUS 578368 HAS SOUPS 578264 WITH SCORE 584006.209
AT ITER 9824 NEW BEST:: SOT 12879720 SOS 5740209 HAS SOPS 5740068 HAS SOUS 575422 HAS SOUPS 575318 WITH SCORE 581058.209
AT ITER 9825 NEW BEST:: SOT 12879720 SOS 5740122 HAS SOPS 5739981 HAS SOUS 575331 HAS SOUPS 575227 WITH SCORE 580967.122
AT ITER 9862 NEW BEST:: SOT 12879693 SOS 5740095 HAS SOPS 5739954 HAS SOUS 575274 HAS SOUPS 575170 WITH SCORE 580910.095
AT ITER 9868 NEW BEST:: SOT 12879302 SOS 5739704 HAS SOPS 5739563 HAS SOUS 574918 HAS SOUPS 574814 WITH SCORE 580553.704
AT ITER 9919 NEW BEST:: SOT 12879987 SOS 5740389 HAS SOPS 5740248 HAS SOUS 574859 HAS SOUPS 574755 WITH SCORE 580495.389
AT ITER 9933 NEW BEST:: SOT 12879910 SOS 5740312 HAS SOPS 5740171 HAS SOUS 574689 HAS SOUPS 574585 WITH SCORE 580325.312
AT ITER 9964 NEW BEST:: SOT 12880096 SOS 5740503 HAS SOPS 5740362 HAS SOUS 574646 HAS SOUPS 574542 WITH SCORE 580282.503
AT ITER 9988 NEW BEST:: SOT 12880032 SOS 5740439 HAS SOPS 5740298 HAS SOUS 574590 HAS SOUPS 574486 WITH SCORE 580226.439
AT ITER 9990 NEW BEST:: SOT 12880805 SOS 5741564 HAS SOPS 5741423 HAS SOUS 574465 HAS SOUPS 574361 WITH SCORE 580102.564
AT ITER 9998 NEW BEST:: SOT 12880785 SOS 5743455 HAS SOPS 5743343 HAS SOUS 574428 HAS SOUPS 574353 WITH SCORE 580096.455

BK_STOP 1678791652977

--------------------
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: 521 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="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-q8m064, 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-167813696800432"
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 '' 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 ;