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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.2K Feb 26 06:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 06:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 26 06:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 06:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 07:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 07:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 07:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 07:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678785965099

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-q3m064
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 09:26:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 09:26:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 09:26:08] [INFO ] Load time of PNML (sax parser for PT used): 1175 ms
[2023-03-14 09:26:08] [INFO ] Transformed 754 places.
[2023-03-14 09:26:08] [INFO ] Transformed 27370 transitions.
[2023-03-14 09:26:08] [INFO ] Parsed PT model containing 754 places and 27370 transitions and 136172 arcs in 1478 ms.
[2023-03-14 09:26:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 754 places, 27370 transitions and 136172 arcs took 187 ms.
Total runtime 1720 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BugTracking (PT), instance q3m064
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 14117150 SOS 8895966 HAS SOPS 8894121 HAS SOUS 1695521 HAS SOUPS 1693676 WITH SCORE 1702571.966
AT ITER 15 NEW BEST:: SOT 14117150 SOS 8883590 HAS SOPS 8881745 HAS SOUS 1695300 HAS SOUPS 1693455 WITH SCORE 1702338.59
AT ITER 26 NEW BEST:: SOT 14116457 SOS 8882897 HAS SOPS 8881052 HAS SOUS 1691440 HAS SOUPS 1689595 WITH SCORE 1698477.897
AT ITER 27 NEW BEST:: SOT 14113489 SOS 8880267 HAS SOPS 8878422 HAS SOUS 1686985 HAS SOUPS 1685140 WITH SCORE 1694020.267
AT ITER 34 NEW BEST:: SOT 14113489 SOS 8880267 HAS SOPS 8878422 HAS SOUS 1686978 HAS SOUPS 1685133 WITH SCORE 1694013.267
AT ITER 39 NEW BEST:: SOT 14111395 SOS 8878173 HAS SOPS 8876328 HAS SOUS 1685935 HAS SOUPS 1684090 WITH SCORE 1692968.173
AT ITER 43 NEW BEST:: SOT 14111395 SOS 8875797 HAS SOPS 8873952 HAS SOUS 1685935 HAS SOUPS 1684090 WITH SCORE 1692965.797
AT ITER 46 NEW BEST:: SOT 14111395 SOS 8872269 HAS SOPS 8870424 HAS SOUS 1685935 HAS SOUPS 1684090 WITH SCORE 1692962.269
AT ITER 50 NEW BEST:: SOT 14126506 SOS 8900772 HAS SOPS 8898927 HAS SOUS 1680282 HAS SOUPS 1678437 WITH SCORE 1687337.772
AT ITER 53 NEW BEST:: SOT 14136095 SOS 8910751 HAS SOPS 8908906 HAS SOUS 1676265 HAS SOUPS 1674420 WITH SCORE 1683330.751
AT ITER 60 NEW BEST:: SOT 14136928 SOS 8926994 HAS SOPS 8924287 HAS SOUS 1675457 HAS SOUPS 1673421 WITH SCORE 1682347.994
AT ITER 62 NEW BEST:: SOT 14166782 SOS 8978694 HAS SOPS 8975987 HAS SOUS 1668214 HAS SOUPS 1666178 WITH SCORE 1675156.694
AT ITER 90 NEW BEST:: SOT 14195566 SOS 9023636 HAS SOPS 9020929 HAS SOUS 1664265 HAS SOUPS 1662229 WITH SCORE 1671252.636
AT ITER 92 NEW BEST:: SOT 14185117 SOS 9013187 HAS SOPS 9010480 HAS SOUS 1642899 HAS SOUPS 1640863 WITH SCORE 1649876.187
AT ITER 99 NEW BEST:: SOT 14181843 SOS 9009913 HAS SOPS 9007206 HAS SOUS 1639741 HAS SOUPS 1637705 WITH SCORE 1646714.913
AT ITER 102 NEW BEST:: SOT 14181654 SOS 9010019 HAS SOPS 9007312 HAS SOUS 1639663 HAS SOUPS 1637627 WITH SCORE 1646637.019
AT ITER 112 NEW BEST:: SOT 14181616 SOS 9009661 HAS SOPS 9007015 HAS SOUS 1635058 HAS SOUPS 1633083 WITH SCORE 1642092.661
AT ITER 137 NEW BEST:: SOT 14181616 SOS 9009661 HAS SOPS 9007015 HAS SOUS 1635041 HAS SOUPS 1633066 WITH SCORE 1642075.661
AT ITER 148 NEW BEST:: SOT 14181616 SOS 9004909 HAS SOPS 9002263 HAS SOUS 1634991 HAS SOUPS 1633016 WITH SCORE 1642020.909
AT ITER 149 NEW BEST:: SOT 14178128 SOS 9001839 HAS SOPS 8999640 HAS SOUS 1617742 HAS SOUPS 1616214 WITH SCORE 1625215.839
AT ITER 150 NEW BEST:: SOT 14178128 SOS 8987871 HAS SOPS 8985672 HAS SOUS 1617737 HAS SOUPS 1616209 WITH SCORE 1625196.871
AT ITER 151 NEW BEST:: SOT 14178128 SOS 8992119 HAS SOPS 8989920 HAS SOUS 1617722 HAS SOUPS 1616194 WITH SCORE 1625186.119
AT ITER 156 NEW BEST:: SOT 14177872 SOS 8991863 HAS SOPS 8989664 HAS SOUS 1616020 HAS SOUPS 1614492 WITH SCORE 1623483.863
AT ITER 161 NEW BEST:: SOT 14177872 SOS 8991863 HAS SOPS 8989664 HAS SOUS 1615940 HAS SOUPS 1614412 WITH SCORE 1623403.863
AT ITER 171 NEW BEST:: SOT 14177872 SOS 8988047 HAS SOPS 8985848 HAS SOUS 1615940 HAS SOUPS 1614412 WITH SCORE 1623400.047
AT ITER 173 NEW BEST:: SOT 14177872 SOS 8988047 HAS SOPS 8985848 HAS SOUS 1615901 HAS SOUPS 1614373 WITH SCORE 1623361.047
AT ITER 177 NEW BEST:: SOT 14178033 SOS 8987938 HAS SOPS 8985793 HAS SOUS 1606071 HAS SOUPS 1604597 WITH SCORE 1613584.938
AT ITER 180 NEW BEST:: SOT 14178033 SOS 8995426 HAS SOPS 8993281 HAS SOUS 1605967 HAS SOUPS 1604493 WITH SCORE 1613488.426
AT ITER 187 NEW BEST:: SOT 14178033 SOS 8995426 HAS SOPS 8993281 HAS SOUS 1605900 HAS SOUPS 1604426 WITH SCORE 1613421.426
AT ITER 190 NEW BEST:: SOT 14199884 SOS 9030199 HAS SOPS 9028054 HAS SOUS 1596238 HAS SOUPS 1594764 WITH SCORE 1603794.199
AT ITER 191 NEW BEST:: SOT 14199884 SOS 9030199 HAS SOPS 9028054 HAS SOUS 1596237 HAS SOUPS 1594763 WITH SCORE 1603793.199
AT ITER 194 NEW BEST:: SOT 14199884 SOS 9030199 HAS SOPS 9028054 HAS SOUS 1596021 HAS SOUPS 1594547 WITH SCORE 1603577.199
AT ITER 204 NEW BEST:: SOT 14200183 SOS 9033846 HAS SOPS 9031701 HAS SOUS 1567444 HAS SOUPS 1565970 WITH SCORE 1575003.846
AT ITER 217 NEW BEST:: SOT 14214525 SOS 9071455 HAS SOPS 9070322 HAS SOUS 1564157 HAS SOUPS 1563538 WITH SCORE 1572609.455
AT ITER 225 NEW BEST:: SOT 14216574 SOS 9073668 HAS SOPS 9072699 HAS SOUS 1544391 HAS SOUPS 1543772 WITH SCORE 1552845.668
AT ITER 232 NEW BEST:: SOT 14213678 SOS 9070772 HAS SOPS 9069803 HAS SOUS 1541495 HAS SOUPS 1540876 WITH SCORE 1549946.772
AT ITER 250 NEW BEST:: SOT 14247255 SOS 9126411 HAS SOPS 9125442 HAS SOUS 1533893 HAS SOUPS 1533274 WITH SCORE 1542400.411
AT ITER 254 NEW BEST:: SOT 14249824 SOS 9129107 HAS SOPS 9128138 HAS SOUS 1528514 HAS SOUPS 1527895 WITH SCORE 1537024.107
AT ITER 259 NEW BEST:: SOT 14249878 SOS 9129161 HAS SOPS 9128192 HAS SOUS 1528362 HAS SOUPS 1527743 WITH SCORE 1536872.161
AT ITER 262 NEW BEST:: SOT 14245440 SOS 9129097 HAS SOPS 9128128 HAS SOUS 1526460 HAS SOUPS 1525841 WITH SCORE 1534970.097
AT ITER 269 NEW BEST:: SOT 14245440 SOS 9140298 HAS SOPS 9139329 HAS SOUS 1525943 HAS SOUPS 1525324 WITH SCORE 1534464.298
AT ITER 270 NEW BEST:: SOT 14245440 SOS 9140000 HAS SOPS 9139031 HAS SOUS 1525794 HAS SOUPS 1525175 WITH SCORE 1534315.0
AT ITER 276 NEW BEST:: SOT 14245688 SOS 9140284 HAS SOPS 9139315 HAS SOUS 1525677 HAS SOUPS 1525058 WITH SCORE 1534198.284
AT ITER 279 NEW BEST:: SOT 14245688 SOS 9002352 HAS SOPS 9001383 HAS SOUS 1525677 HAS SOUPS 1525058 WITH SCORE 1534060.352
AT ITER 282 NEW BEST:: SOT 14245932 SOS 9002596 HAS SOPS 9001627 HAS SOUS 1521035 HAS SOUPS 1520416 WITH SCORE 1529418.596
AT ITER 285 NEW BEST:: SOT 14246064 SOS 9002728 HAS SOPS 9001759 HAS SOUS 1518031 HAS SOUPS 1517412 WITH SCORE 1526414.728
AT ITER 290 NEW BEST:: SOT 14242302 SOS 8998966 HAS SOPS 8997997 HAS SOUS 1510189 HAS SOUPS 1509570 WITH SCORE 1518568.966
AT ITER 297 NEW BEST:: SOT 14240785 SOS 8998641 HAS SOPS 8997672 HAS SOUS 1507742 HAS SOUPS 1507123 WITH SCORE 1516121.641
AT ITER 300 NEW BEST:: SOT 14240785 SOS 8988421 HAS SOPS 8987452 HAS SOUS 1507602 HAS SOUPS 1506983 WITH SCORE 1515971.421
AT ITER 302 NEW BEST:: SOT 14240811 SOS 8988402 HAS SOPS 8987433 HAS SOUS 1501500 HAS SOUPS 1500881 WITH SCORE 1509869.402
AT ITER 312 NEW BEST:: SOT 14238165 SOS 8985756 HAS SOPS 8984787 HAS SOUS 1497754 HAS SOUPS 1497135 WITH SCORE 1506120.756
AT ITER 315 NEW BEST:: SOT 14237981 SOS 8985572 HAS SOPS 8984603 HAS SOUS 1496503 HAS SOUPS 1495884 WITH SCORE 1504869.572
AT ITER 316 NEW BEST:: SOT 14237895 SOS 9053454 HAS SOPS 9052485 HAS SOUS 1496415 HAS SOUPS 1495796 WITH SCORE 1504849.454
AT ITER 317 NEW BEST:: SOT 14235997 SOS 9051556 HAS SOPS 9050587 HAS SOUS 1492518 HAS SOUPS 1491899 WITH SCORE 1500950.556
AT ITER 325 NEW BEST:: SOT 14238272 SOS 9055721 HAS SOPS 9054752 HAS SOUS 1467535 HAS SOUPS 1466916 WITH SCORE 1475971.721
AT ITER 338 NEW BEST:: SOT 14233500 SOS 9050949 HAS SOPS 9049980 HAS SOUS 1463151 HAS SOUPS 1462532 WITH SCORE 1471582.949
AT ITER 342 NEW BEST:: SOT 14233500 SOS 9055363 HAS SOPS 9054361 HAS SOUS 1460325 HAS SOUPS 1459673 WITH SCORE 1468728.363
AT ITER 346 NEW BEST:: SOT 14233216 SOS 9055083 HAS SOPS 9054081 HAS SOUS 1459767 HAS SOUPS 1459115 WITH SCORE 1468170.083
AT ITER 347 NEW BEST:: SOT 14233216 SOS 9050547 HAS SOPS 9049545 HAS SOUS 1459767 HAS SOUPS 1459115 WITH SCORE 1468165.547
AT ITER 353 NEW BEST:: SOT 14229186 SOS 9046517 HAS SOPS 9045515 HAS SOUS 1452656 HAS SOUPS 1452004 WITH SCORE 1461050.517
AT ITER 355 NEW BEST:: SOT 14229186 SOS 9052349 HAS SOPS 9051347 HAS SOUS 1452583 HAS SOUPS 1451931 WITH SCORE 1460983.349
AT ITER 360 NEW BEST:: SOT 14223157 SOS 9046957 HAS SOPS 9046112 HAS SOUS 1446431 HAS SOUPS 1445779 WITH SCORE 1454825.957
AT ITER 382 NEW BEST:: SOT 14219977 SOS 9044050 HAS SOPS 9043205 HAS SOUS 1443634 HAS SOUPS 1442982 WITH SCORE 1452026.05
AT ITER 383 NEW BEST:: SOT 14219977 SOS 9044050 HAS SOPS 9043205 HAS SOUS 1443598 HAS SOUPS 1442946 WITH SCORE 1451990.05
AT ITER 390 NEW BEST:: SOT 14219948 SOS 9044021 HAS SOPS 9043176 HAS SOUS 1443539 HAS SOUPS 1442887 WITH SCORE 1451931.021
AT ITER 418 NEW BEST:: SOT 14219948 SOS 9044021 HAS SOPS 9043176 HAS SOUS 1443482 HAS SOUPS 1442830 WITH SCORE 1451874.021
AT ITER 423 NEW BEST:: SOT 14219948 SOS 9039211 HAS SOPS 9038366 HAS SOUS 1443417 HAS SOUPS 1442765 WITH SCORE 1451804.211
AT ITER 430 NEW BEST:: SOT 14219948 SOS 9039015 HAS SOPS 9038170 HAS SOUS 1443319 HAS SOUPS 1442667 WITH SCORE 1451706.015
AT ITER 450 NEW BEST:: SOT 14219948 SOS 9050175 HAS SOPS 9049330 HAS SOUS 1443262 HAS SOUPS 1442610 WITH SCORE 1451660.175
AT ITER 452 NEW BEST:: SOT 14219948 SOS 9050175 HAS SOPS 9049330 HAS SOUS 1443234 HAS SOUPS 1442582 WITH SCORE 1451632.175
AT ITER 453 NEW BEST:: SOT 14219606 SOS 9049830 HAS SOPS 9048982 HAS SOUS 1443059 HAS SOUPS 1442407 WITH SCORE 1451456.83
AT ITER 466 NEW BEST:: SOT 14219551 SOS 9049775 HAS SOPS 9048927 HAS SOUS 1443051 HAS SOUPS 1442399 WITH SCORE 1451448.775
AT ITER 472 NEW BEST:: SOT 14219551 SOS 9049055 HAS SOPS 9048207 HAS SOUS 1443051 HAS SOUPS 1442399 WITH SCORE 1451448.055
AT ITER 481 NEW BEST:: SOT 14219551 SOS 9049055 HAS SOPS 9048207 HAS SOUS 1442891 HAS SOUPS 1442239 WITH SCORE 1451288.055
AT ITER 496 NEW BEST:: SOT 14219566 SOS 9049070 HAS SOPS 9048222 HAS SOUS 1442777 HAS SOUPS 1442125 WITH SCORE 1451174.07
AT ITER 506 NEW BEST:: SOT 14219566 SOS 9062318 HAS SOPS 9061470 HAS SOUS 1442639 HAS SOUPS 1441987 WITH SCORE 1451049.318
AT ITER 509 NEW BEST:: SOT 14221088 SOS 9063840 HAS SOPS 9062992 HAS SOUS 1435136 HAS SOUPS 1434484 WITH SCORE 1443547.84
AT ITER 510 NEW BEST:: SOT 14252812 SOS 9110753 HAS SOPS 9109905 HAS SOUS 1434062 HAS SOUPS 1433410 WITH SCORE 1442520.753
AT ITER 536 NEW BEST:: SOT 14248346 SOS 9106287 HAS SOPS 9105439 HAS SOUS 1432203 HAS SOUPS 1431551 WITH SCORE 1440657.287
AT ITER 537 NEW BEST:: SOT 14250550 SOS 9108491 HAS SOPS 9107643 HAS SOUS 1430794 HAS SOUPS 1430142 WITH SCORE 1439250.491
AT ITER 552 NEW BEST:: SOT 14251701 SOS 9109666 HAS SOPS 9108818 HAS SOUS 1430765 HAS SOUPS 1430113 WITH SCORE 1439222.666
AT ITER 558 NEW BEST:: SOT 14251701 SOS 9105058 HAS SOPS 9104210 HAS SOUS 1430765 HAS SOUPS 1430113 WITH SCORE 1439218.058
AT ITER 562 NEW BEST:: SOT 14251705 SOS 9105062 HAS SOPS 9104214 HAS SOUS 1426957 HAS SOUPS 1426305 WITH SCORE 1435410.062
AT ITER 563 NEW BEST:: SOT 14251705 SOS 9108590 HAS SOPS 9107695 HAS SOUS 1424805 HAS SOUPS 1424127 WITH SCORE 1433235.59
AT ITER 574 NEW BEST:: SOT 14251705 SOS 9108568 HAS SOPS 9107673 HAS SOUS 1424805 HAS SOUPS 1424127 WITH SCORE 1433235.568
AT ITER 575 NEW BEST:: SOT 14251705 SOS 9114760 HAS SOPS 9113865 HAS SOUS 1424719 HAS SOUPS 1424041 WITH SCORE 1433155.76
AT ITER 576 NEW BEST:: SOT 14251709 SOS 9114764 HAS SOPS 9113869 HAS SOUS 1422141 HAS SOUPS 1421463 WITH SCORE 1430577.764
AT ITER 585 NEW BEST:: SOT 14251015 SOS 9114070 HAS SOPS 9113175 HAS SOUS 1421442 HAS SOUPS 1420764 WITH SCORE 1429878.07
AT ITER 591 NEW BEST:: SOT 14266859 SOS 9161516 HAS SOPS 9159815 HAS SOUS 1414488 HAS SOUPS 1413578 WITH SCORE 1422739.516
AT ITER 592 NEW BEST:: SOT 14257217 SOS 9155208 HAS SOPS 9153507 HAS SOUS 1413493 HAS SOUPS 1412583 WITH SCORE 1421738.208
AT ITER 593 NEW BEST:: SOT 14252921 SOS 9153390 HAS SOPS 9151689 HAS SOUS 1408895 HAS SOUPS 1407985 WITH SCORE 1417138.39
AT ITER 597 NEW BEST:: SOT 14254301 SOS 9154980 HAS SOPS 9153279 HAS SOUS 1408492 HAS SOUPS 1407582 WITH SCORE 1416736.98
AT ITER 599 NEW BEST:: SOT 14254489 SOS 9155168 HAS SOPS 9153467 HAS SOUS 1406349 HAS SOUPS 1405439 WITH SCORE 1414594.168
AT ITER 602 NEW BEST:: SOT 14261726 SOS 9171709 HAS SOPS 9169912 HAS SOUS 1405456 HAS SOUPS 1404477 WITH SCORE 1413648.709
AT ITER 604 NEW BEST:: SOT 14261903 SOS 9171892 HAS SOPS 9170095 HAS SOUS 1405423 HAS SOUPS 1404444 WITH SCORE 1413615.892
AT ITER 634 NEW BEST:: SOT 14104113 SOS 10880626 HAS SOPS 10879358 HAS SOUS 1248141 HAS SOUPS 1247242 WITH SCORE 1258122.626
AT ITER 647 NEW BEST:: SOT 14104113 SOS 10880626 HAS SOPS 10879358 HAS SOUS 1247912 HAS SOUPS 1247013 WITH SCORE 1257893.626
AT ITER 650 NEW BEST:: SOT 14099301 SOS 10877619 HAS SOPS 10874446 HAS SOUS 1249058 HAS SOUPS 1246254 WITH SCORE 1257131.619
AT ITER 660 NEW BEST:: SOT 14099301 SOS 10873979 HAS SOPS 10870806 HAS SOUS 1248928 HAS SOUPS 1246124 WITH SCORE 1256997.979
AT ITER 669 NEW BEST:: SOT 14096944 SOS 10871622 HAS SOPS 10868449 HAS SOUS 1244173 HAS SOUPS 1241369 WITH SCORE 1252240.622
AT ITER 677 NEW BEST:: SOT 14095684 SOS 10870375 HAS SOPS 10867202 HAS SOUS 1241707 HAS SOUPS 1238903 WITH SCORE 1249773.375
AT ITER 678 NEW BEST:: SOT 14095684 SOS 10870372 HAS SOPS 10867199 HAS SOUS 1241705 HAS SOUPS 1238901 WITH SCORE 1249771.372
AT ITER 680 NEW BEST:: SOT 14096262 SOS 10870158 HAS SOPS 10866985 HAS SOUS 1240270 HAS SOUPS 1237466 WITH SCORE 1248336.158
AT ITER 686 NEW BEST:: SOT 14097347 SOS 10871275 HAS SOPS 10868090 HAS SOUS 1238963 HAS SOUPS 1236147 WITH SCORE 1247018.275
AT ITER 695 NEW BEST:: SOT 14097347 SOS 10866955 HAS SOPS 10863770 HAS SOUS 1238963 HAS SOUPS 1236147 WITH SCORE 1247013.955
AT ITER 720 NEW BEST:: SOT 14097347 SOS 10866955 HAS SOPS 10863770 HAS SOUS 1238783 HAS SOUPS 1235967 WITH SCORE 1246833.955
AT ITER 723 NEW BEST:: SOT 14097347 SOS 10866634 HAS SOPS 10863449 HAS SOUS 1238612 HAS SOUPS 1235796 WITH SCORE 1246662.634
AT ITER 733 NEW BEST:: SOT 14097347 SOS 10850409 HAS SOPS 10847224 HAS SOUS 1238557 HAS SOUPS 1235741 WITH SCORE 1246591.409
AT ITER 742 NEW BEST:: SOT 14097274 SOS 10850336 HAS SOPS 10847151 HAS SOUS 1238365 HAS SOUPS 1235549 WITH SCORE 1246399.336
AT ITER 743 NEW BEST:: SOT 14094047 SOS 10846653 HAS SOPS 10843525 HAS SOUS 1235537 HAS SOUPS 1232778 WITH SCORE 1243624.653
AT ITER 749 NEW BEST:: SOT 14090982 SOS 10843588 HAS SOPS 10840460 HAS SOUS 1231272 HAS SOUPS 1228513 WITH SCORE 1239356.588
AT ITER 750 NEW BEST:: SOT 14090982 SOS 10843588 HAS SOPS 10840460 HAS SOUS 1231195 HAS SOUPS 1228436 WITH SCORE 1239279.588
AT ITER 751 NEW BEST:: SOT 14090982 SOS 10829908 HAS SOPS 10826780 HAS SOUS 1231195 HAS SOUPS 1228436 WITH SCORE 1239265.908
AT ITER 753 NEW BEST:: SOT 14090982 SOS 10829907 HAS SOPS 10826779 HAS SOUS 1231194 HAS SOUPS 1228435 WITH SCORE 1239264.907
AT ITER 755 NEW BEST:: SOT 14090702 SOS 10829627 HAS SOPS 10826499 HAS SOUS 1230634 HAS SOUPS 1227875 WITH SCORE 1238704.627
AT ITER 759 NEW BEST:: SOT 14090702 SOS 10826387 HAS SOPS 10823259 HAS SOUS 1230634 HAS SOUPS 1227875 WITH SCORE 1238701.387
AT ITER 767 NEW BEST:: SOT 14090702 SOS 10754729 HAS SOPS 10751601 HAS SOUS 1230620 HAS SOUPS 1227861 WITH SCORE 1238615.729
AT ITER 778 NEW BEST:: SOT 14091932 SOS 10755959 HAS SOPS 10752831 HAS SOUS 1228107 HAS SOUPS 1225348 WITH SCORE 1236103.959
AT ITER 786 NEW BEST:: SOT 14106004 SOS 10770031 HAS SOPS 10766903 HAS SOUS 1224082 HAS SOUPS 1221323 WITH SCORE 1232093.031
AT ITER 792 NEW BEST:: SOT 14106004 SOS 10770031 HAS SOPS 10766903 HAS SOUS 1223992 HAS SOUPS 1221233 WITH SCORE 1232003.031
AT ITER 800 NEW BEST:: SOT 14105162 SOS 10769189 HAS SOPS 10766061 HAS SOUS 1222258 HAS SOUPS 1219499 WITH SCORE 1230268.189
AT ITER 805 NEW BEST:: SOT 14106591 SOS 10770659 HAS SOPS 10767552 HAS SOUS 1217476 HAS SOUPS 1214738 WITH SCORE 1225508.659
AT ITER 810 NEW BEST:: SOT 14103773 SOS 10767017 HAS SOPS 10764013 HAS SOUS 1213572 HAS SOUPS 1210937 WITH SCORE 1221704.017
AT ITER 827 NEW BEST:: SOT 14103744 SOS 10766772 HAS SOPS 10763768 HAS SOUS 1210251 HAS SOUPS 1207616 WITH SCORE 1218382.772
AT ITER 828 NEW BEST:: SOT 14103740 SOS 10766768 HAS SOPS 10763764 HAS SOUS 1210186 HAS SOUPS 1207551 WITH SCORE 1218317.768
AT ITER 832 NEW BEST:: SOT 14101516 SOS 10765258 HAS SOPS 10762254 HAS SOUS 1205332 HAS SOUPS 1202697 WITH SCORE 1213462.258
AT ITER 854 NEW BEST:: SOT 14101516 SOS 10764106 HAS SOPS 10761102 HAS SOUS 1205332 HAS SOUPS 1202697 WITH SCORE 1213461.106
AT ITER 856 NEW BEST:: SOT 14112475 SOS 10775256 HAS SOPS 10772252 HAS SOUS 1205048 HAS SOUPS 1202413 WITH SCORE 1213188.256
AT ITER 861 NEW BEST:: SOT 14129173 SOS 10792690 HAS SOPS 10789361 HAS SOUS 1202310 HAS SOUPS 1199475 WITH SCORE 1210267.69
AT ITER 876 NEW BEST:: SOT 14129173 SOS 10792690 HAS SOPS 10789361 HAS SOUS 1202237 HAS SOUPS 1199402 WITH SCORE 1210194.69
AT ITER 893 NEW BEST:: SOT 14127586 SOS 10791103 HAS SOPS 10787774 HAS SOUS 1200931 HAS SOUPS 1198096 WITH SCORE 1208887.103
AT ITER 898 NEW BEST:: SOT 14132995 SOS 10795877 HAS SOPS 10792741 HAS SOUS 1196433 HAS SOUPS 1193791 WITH SCORE 1204586.877
AT ITER 903 NEW BEST:: SOT 14139002 SOS 10801884 HAS SOPS 10798748 HAS SOUS 1194967 HAS SOUPS 1192325 WITH SCORE 1203126.884
AT ITER 924 NEW BEST:: SOT 14137786 SOS 10800668 HAS SOPS 10797532 HAS SOUS 1192398 HAS SOUPS 1189756 WITH SCORE 1200556.668
AT ITER 933 NEW BEST:: SOT 14136785 SOS 10799667 HAS SOPS 10796531 HAS SOUS 1191712 HAS SOUPS 1189070 WITH SCORE 1199869.667
AT ITER 950 NEW BEST:: SOT 14136945 SOS 10800929 HAS SOPS 10797793 HAS SOUS 1191683 HAS SOUPS 1189041 WITH SCORE 1199841.929
AT ITER 956 NEW BEST:: SOT 14126717 SOS 10790936 HAS SOPS 10787800 HAS SOUS 1175543 HAS SOUPS 1172901 WITH SCORE 1183691.936
AT ITER 961 NEW BEST:: SOT 14126717 SOS 10784672 HAS SOPS 10781536 HAS SOUS 1175543 HAS SOUPS 1172901 WITH SCORE 1183685.672
AT ITER 962 NEW BEST:: SOT 14124074 SOS 10782029 HAS SOPS 10778893 HAS SOUS 1173327 HAS SOUPS 1170685 WITH SCORE 1181467.029
AT ITER 977 NEW BEST:: SOT 14124074 SOS 10783089 HAS SOPS 10779953 HAS SOUS 1172616 HAS SOUPS 1169974 WITH SCORE 1180757.089
AT ITER 978 NEW BEST:: SOT 14124921 SOS 10783442 HAS SOPS 10780375 HAS SOUS 1169160 HAS SOUPS 1166587 WITH SCORE 1177370.442
AT ITER 981 NEW BEST:: SOT 14121840 SOS 10780024 HAS SOPS 10776957 HAS SOUS 1167797 HAS SOUPS 1165224 WITH SCORE 1176004.024
AT ITER 982 NEW BEST:: SOT 14121844 SOS 10780222 HAS SOPS 10777064 HAS SOUS 1167837 HAS SOUPS 1165173 WITH SCORE 1175953.222
AT ITER 984 NEW BEST:: SOT 14121844 SOS 10775254 HAS SOPS 10772096 HAS SOUS 1167837 HAS SOUPS 1165173 WITH SCORE 1175948.254
AT ITER 1000 NEW BEST:: SOT 14121336 SOS 10774746 HAS SOPS 10771588 HAS SOUS 1167101 HAS SOUPS 1164437 WITH SCORE 1175211.746
AT ITER 1006 NEW BEST:: SOT 14121336 SOS 10776402 HAS SOPS 10773244 HAS SOUS 1166910 HAS SOUPS 1164246 WITH SCORE 1175022.402
AT ITER 1009 NEW BEST:: SOT 14121336 SOS 10775132 HAS SOPS 10772156 HAS SOUS 1166728 HAS SOUPS 1164246 WITH SCORE 1175021.132
AT ITER 1011 NEW BEST:: SOT 14121336 SOS 10770684 HAS SOPS 10767708 HAS SOUS 1166727 HAS SOUPS 1164245 WITH SCORE 1175015.684
AT ITER 1013 NEW BEST:: SOT 14121336 SOS 10767444 HAS SOPS 10764468 HAS SOUS 1166727 HAS SOUPS 1164245 WITH SCORE 1175012.444
AT ITER 1021 NEW BEST:: SOT 14122107 SOS 10766815 HAS SOPS 10764053 HAS SOUS 1163403 HAS SOUPS 1161135 WITH SCORE 1171901.815
AT ITER 1028 NEW BEST:: SOT 14121647 SOS 10766107 HAS SOPS 10763376 HAS SOUS 1162378 HAS SOUPS 1160141 WITH SCORE 1170907.107
AT ITER 1046 NEW BEST:: SOT 14121647 SOS 10766107 HAS SOPS 10763376 HAS SOUS 1162289 HAS SOUPS 1160052 WITH SCORE 1170818.107
AT ITER 1048 NEW BEST:: SOT 14121647 SOS 10752861 HAS SOPS 10750130 HAS SOUS 1162110 HAS SOUPS 1159873 WITH SCORE 1170625.861
AT ITER 1049 NEW BEST:: SOT 14121647 SOS 10745661 HAS SOPS 10742930 HAS SOUS 1162103 HAS SOUPS 1159866 WITH SCORE 1170611.661
AT ITER 1071 NEW BEST:: SOT 14116651 SOS 10740665 HAS SOPS 10737934 HAS SOUS 1157635 HAS SOUPS 1155398 WITH SCORE 1166138.665
AT ITER 1076 NEW BEST:: SOT 14116650 SOS 10740663 HAS SOPS 10737932 HAS SOUS 1157634 HAS SOUPS 1155397 WITH SCORE 1166137.663
AT ITER 1077 NEW BEST:: SOT 14115390 SOS 10739155 HAS SOPS 10736455 HAS SOUS 1156532 HAS SOUPS 1154326 WITH SCORE 1165065.155
AT ITER 1086 NEW BEST:: SOT 14113989 SOS 10737754 HAS SOPS 10735054 HAS SOUS 1153831 HAS SOUPS 1151625 WITH SCORE 1162362.754
AT ITER 1109 NEW BEST:: SOT 14113989 SOS 10737442 HAS SOPS 10734742 HAS SOUS 1153753 HAS SOUPS 1151547 WITH SCORE 1162284.442
AT ITER 1114 NEW BEST:: SOT 14109892 SOS 10733345 HAS SOPS 10730645 HAS SOUS 1146298 HAS SOUPS 1144092 WITH SCORE 1154825.345
AT ITER 1127 NEW BEST:: SOT 14109892 SOS 10118897 HAS SOPS 10116197 HAS SOUS 1146298 HAS SOUPS 1144092 WITH SCORE 1154210.897
AT ITER 1128 NEW BEST:: SOT 14106526 SOS 10113369 HAS SOPS 10110669 HAS SOUS 1146014 HAS SOUPS 1143808 WITH SCORE 1153921.369
AT ITER 1147 NEW BEST:: SOT 14107344 SOS 10114187 HAS SOPS 10111487 HAS SOUS 1145351 HAS SOUPS 1143145 WITH SCORE 1153259.187
AT ITER 1154 NEW BEST:: SOT 14107344 SOS 10124339 HAS SOPS 10121639 HAS SOUS 1145210 HAS SOUPS 1143004 WITH SCORE 1153128.339
AT ITER 1162 NEW BEST:: SOT 14107344 SOS 10120565 HAS SOPS 10117865 HAS SOUS 1145159 HAS SOUPS 1142953 WITH SCORE 1153073.565
AT ITER 1175 NEW BEST:: SOT 14107674 SOS 10120895 HAS SOPS 10118195 HAS SOUS 1145110 HAS SOUPS 1142904 WITH SCORE 1153024.895
AT ITER 1177 NEW BEST:: SOT 14107669 SOS 10119128 HAS SOPS 10116632 HAS SOUS 1131282 HAS SOUPS 1129270 WITH SCORE 1139389.128
AT ITER 1182 NEW BEST:: SOT 14107669 SOS 10118840 HAS SOPS 10116344 HAS SOUS 1131282 HAS SOUPS 1129270 WITH SCORE 1139388.84
AT ITER 1192 NEW BEST:: SOT 14107669 SOS 10118707 HAS SOPS 10116241 HAS SOUS 1131252 HAS SOUPS 1129270 WITH SCORE 1139388.707
AT ITER 1193 NEW BEST:: SOT 14106793 SOS 10117831 HAS SOPS 10115365 HAS SOUS 1131106 HAS SOUPS 1129124 WITH SCORE 1139241.831
AT ITER 1199 NEW BEST:: SOT 14106793 SOS 10117827 HAS SOPS 10115361 HAS SOUS 1131106 HAS SOUPS 1129124 WITH SCORE 1139241.827
AT ITER 1201 NEW BEST:: SOT 14106793 SOS 10114396 HAS SOPS 10111930 HAS SOUS 1131059 HAS SOUPS 1129077 WITH SCORE 1139191.396
AT ITER 1216 NEW BEST:: SOT 14114203 SOS 10127950 HAS SOPS 10125504 HAS SOUS 1129287 HAS SOUPS 1127325 WITH SCORE 1137452.95
AT ITER 1227 NEW BEST:: SOT 14114203 SOS 9698956 HAS SOPS 9696510 HAS SOUS 1129110 HAS SOUPS 1127148 WITH SCORE 1136846.956
AT ITER 1228 NEW BEST:: SOT 14114893 SOS 9699406 HAS SOPS 9697010 HAS SOUS 1125431 HAS SOUPS 1123519 WITH SCORE 1133218.406
AT ITER 1229 NEW BEST:: SOT 14113801 SOS 9698314 HAS SOPS 9695918 HAS SOUS 1124987 HAS SOUPS 1123075 WITH SCORE 1132773.314
AT ITER 1234 NEW BEST:: SOT 14113801 SOS 9696442 HAS SOPS 9694046 HAS SOUS 1124987 HAS SOUPS 1123075 WITH SCORE 1132771.442
AT ITER 1246 NEW BEST:: SOT 14113801 SOS 9696442 HAS SOPS 9694046 HAS SOUS 1124981 HAS SOUPS 1123069 WITH SCORE 1132765.442
AT ITER 1249 NEW BEST:: SOT 14113516 SOS 9696412 HAS SOPS 9694043 HAS SOUS 1120462 HAS SOUPS 1118577 WITH SCORE 1128273.412
AT ITER 1250 NEW BEST:: SOT 14112986 SOS 9695882 HAS SOPS 9693513 HAS SOUS 1116564 HAS SOUPS 1114679 WITH SCORE 1124374.882
AT ITER 1270 NEW BEST:: SOT 14112986 SOS 9695736 HAS SOPS 9693367 HAS SOUS 1116491 HAS SOUPS 1114606 WITH SCORE 1124301.736
AT ITER 1289 NEW BEST:: SOT 14112986 SOS 9695736 HAS SOPS 9693367 HAS SOUS 1116480 HAS SOUPS 1114595 WITH SCORE 1124290.736
AT ITER 1294 NEW BEST:: SOT 14112986 SOS 9695448 HAS SOPS 9693079 HAS SOUS 1116480 HAS SOUPS 1114595 WITH SCORE 1124290.448
AT ITER 1297 NEW BEST:: SOT 14120264 SOS 9703502 HAS SOPS 9700964 HAS SOUS 1115180 HAS SOUPS 1113201 WITH SCORE 1122904.502
AT ITER 1304 NEW BEST:: SOT 14118180 SOS 9701430 HAS SOPS 9698889 HAS SOUS 1111011 HAS SOUPS 1109029 WITH SCORE 1118730.43
AT ITER 1309 NEW BEST:: SOT 14117184 SOS 9700434 HAS SOPS 9697893 HAS SOUS 1110023 HAS SOUPS 1108041 WITH SCORE 1117741.434
AT ITER 1314 NEW BEST:: SOT 14131408 SOS 9714807 HAS SOPS 9712341 HAS SOUS 1109910 HAS SOUPS 1107928 WITH SCORE 1117642.807
AT ITER 1315 NEW BEST:: SOT 14129113 SOS 9712512 HAS SOPS 9710046 HAS SOUS 1098041 HAS SOUPS 1096059 WITH SCORE 1105771.512
AT ITER 1316 NEW BEST:: SOT 14128880 SOS 9712279 HAS SOPS 9709813 HAS SOUS 1095876 HAS SOUPS 1093894 WITH SCORE 1103606.279
AT ITER 1332 NEW BEST:: SOT 14121799 SOS 9705113 HAS SOPS 9702647 HAS SOUS 1095802 HAS SOUPS 1093820 WITH SCORE 1103525.113
AT ITER 1343 NEW BEST:: SOT 14121799 SOS 9705113 HAS SOPS 9702647 HAS SOUS 1095790 HAS SOUPS 1093808 WITH SCORE 1103513.113
AT ITER 1357 NEW BEST:: SOT 14121799 SOS 9704575 HAS SOPS 9702109 HAS SOUS 1095684 HAS SOUPS 1093702 WITH SCORE 1103406.575
AT ITER 1358 NEW BEST:: SOT 14121749 SOS 9715863 HAS SOPS 9714513 HAS SOUS 1091228 HAS SOUPS 1090362 WITH SCORE 1100077.863
AT ITER 1360 NEW BEST:: SOT 14121749 SOS 9715863 HAS SOPS 9714513 HAS SOUS 1091071 HAS SOUPS 1090205 WITH SCORE 1099920.863
AT ITER 1362 NEW BEST:: SOT 14117305 SOS 9712907 HAS SOPS 9711557 HAS SOUS 1090846 HAS SOUPS 1089980 WITH SCORE 1099692.907
AT ITER 1369 NEW BEST:: SOT 14116889 SOS 9712446 HAS SOPS 9711087 HAS SOUS 1090695 HAS SOUPS 1089829 WITH SCORE 1099541.446
AT ITER 1375 NEW BEST:: SOT 14116889 SOS 9712158 HAS SOPS 9710799 HAS SOUS 1090695 HAS SOUPS 1089829 WITH SCORE 1099541.158
AT ITER 1389 NEW BEST:: SOT 14116889 SOS 9710070 HAS SOPS 9708711 HAS SOUS 1090695 HAS SOUPS 1089829 WITH SCORE 1099539.07
AT ITER 1392 NEW BEST:: SOT 14116889 SOS 9710008 HAS SOPS 9708649 HAS SOUS 1090664 HAS SOUPS 1089798 WITH SCORE 1099508.008
AT ITER 1410 NEW BEST:: SOT 14116889 SOS 9710008 HAS SOPS 9708649 HAS SOUS 1090589 HAS SOUPS 1089723 WITH SCORE 1099433.008
AT ITER 1428 NEW BEST:: SOT 14112475 SOS 9705594 HAS SOPS 9704235 HAS SOUS 1079545 HAS SOUPS 1078679 WITH SCORE 1088384.594
AT ITER 1429 NEW BEST:: SOT 14112475 SOS 9707970 HAS SOPS 9706611 HAS SOUS 1079355 HAS SOUPS 1078489 WITH SCORE 1088196.97
AT ITER 1444 NEW BEST:: SOT 14111702 SOS 9707197 HAS SOPS 9705838 HAS SOUS 1078865 HAS SOUPS 1077999 WITH SCORE 1087706.197
AT ITER 1449 NEW BEST:: SOT 14121800 SOS 9717603 HAS SOPS 9716181 HAS SOUS 1074316 HAS SOUPS 1073387 WITH SCORE 1083104.603
AT ITER 1453 NEW BEST:: SOT 14121800 SOS 9717477 HAS SOPS 9716055 HAS SOUS 1074316 HAS SOUPS 1073387 WITH SCORE 1083104.477
AT ITER 1491 NEW BEST:: SOT 14121800 SOS 9717269 HAS SOPS 9715847 HAS SOUS 1074212 HAS SOUPS 1073283 WITH SCORE 1083000.269
AT ITER 1559 NEW BEST:: SOT 14121800 SOS 9716823 HAS SOPS 9715401 HAS SOUS 1074133 HAS SOUPS 1073204 WITH SCORE 1082920.823
AT ITER 1563 NEW BEST:: SOT 14123684 SOS 9718707 HAS SOPS 9717285 HAS SOUS 1072556 HAS SOUPS 1071627 WITH SCORE 1081345.707
AT ITER 1572 NEW BEST:: SOT 14123616 SOS 9718609 HAS SOPS 9717187 HAS SOUS 1072473 HAS SOUPS 1071544 WITH SCORE 1081262.609
AT ITER 1583 NEW BEST:: SOT 14123616 SOS 9718591 HAS SOPS 9717169 HAS SOUS 1072473 HAS SOUPS 1071544 WITH SCORE 1081262.591
AT ITER 1585 NEW BEST:: SOT 14123616 SOS 9718591 HAS SOPS 9717169 HAS SOUS 1072422 HAS SOUPS 1071493 WITH SCORE 1081211.591
AT ITER 1614 NEW BEST:: SOT 14123616 SOS 9718705 HAS SOPS 9717216 HAS SOUS 1072410 HAS SOUPS 1071481 WITH SCORE 1081199.705
AT ITER 1622 NEW BEST:: SOT 14122094 SOS 9717183 HAS SOPS 9715694 HAS SOUS 1063468 HAS SOUPS 1062539 WITH SCORE 1072256.183
AT ITER 1627 NEW BEST:: SOT 14127302 SOS 9722391 HAS SOPS 9720902 HAS SOUS 1063444 HAS SOUPS 1062515 WITH SCORE 1072237.391
AT ITER 1628 NEW BEST:: SOT 14127294 SOS 9722413 HAS SOPS 9720924 HAS SOUS 1062928 HAS SOUPS 1061999 WITH SCORE 1071721.413
AT ITER 1632 NEW BEST:: SOT 14122436 SOS 9716655 HAS SOPS 9715166 HAS SOUS 1062694 HAS SOUPS 1061765 WITH SCORE 1071481.655
AT ITER 1645 NEW BEST:: SOT 14122436 SOS 9716655 HAS SOPS 9715166 HAS SOUS 1062689 HAS SOUPS 1061760 WITH SCORE 1071476.655
AT ITER 1648 NEW BEST:: SOT 14120456 SOS 9714554 HAS SOPS 9713081 HAS SOUS 1061078 HAS SOUPS 1060165 WITH SCORE 1069879.554
AT ITER 1656 NEW BEST:: SOT 14120456 SOS 9717218 HAS SOPS 9715745 HAS SOUS 1060940 HAS SOUPS 1060027 WITH SCORE 1069744.218
AT ITER 1657 NEW BEST:: SOT 14126038 SOS 9722800 HAS SOPS 9721327 HAS SOUS 1058608 HAS SOUPS 1057695 WITH SCORE 1067417.8
AT ITER 1659 NEW BEST:: SOT 14126038 SOS 9722800 HAS SOPS 9721327 HAS SOUS 1058589 HAS SOUPS 1057676 WITH SCORE 1067398.8
AT ITER 1683 NEW BEST:: SOT 14126038 SOS 9722512 HAS SOPS 9721039 HAS SOUS 1058589 HAS SOUPS 1057676 WITH SCORE 1067398.512
AT ITER 1692 NEW BEST:: SOT 14125107 SOS 9721521 HAS SOPS 9720068 HAS SOUS 1055872 HAS SOUPS 1054979 WITH SCORE 1064700.521
AT ITER 1738 NEW BEST:: SOT 14125092 SOS 9721506 HAS SOPS 9720053 HAS SOUS 1055857 HAS SOUPS 1054964 WITH SCORE 1064685.506
AT ITER 1739 NEW BEST:: SOT 14125092 SOS 9721216 HAS SOPS 9719763 HAS SOUS 1055712 HAS SOUPS 1054819 WITH SCORE 1064540.216
AT ITER 1759 NEW BEST:: SOT 14125092 SOS 9721216 HAS SOPS 9719763 HAS SOUS 1055581 HAS SOUPS 1054688 WITH SCORE 1064409.216
AT ITER 1760 NEW BEST:: SOT 14125084 SOS 9721208 HAS SOPS 9719755 HAS SOUS 1055561 HAS SOUPS 1054668 WITH SCORE 1064389.208
AT ITER 1765 NEW BEST:: SOT 14125696 SOS 9721797 HAS SOPS 9720344 HAS SOUS 1054146 HAS SOUPS 1053253 WITH SCORE 1062974.797
AT ITER 1781 NEW BEST:: SOT 14124504 SOS 9720605 HAS SOPS 9719152 HAS SOUS 1053556 HAS SOUPS 1052663 WITH SCORE 1062383.605
AT ITER 1789 NEW BEST:: SOT 14124508 SOS 9720609 HAS SOPS 9719156 HAS SOUS 1053485 HAS SOUPS 1052592 WITH SCORE 1062312.609
AT ITER 1792 NEW BEST:: SOT 14124508 SOS 9725361 HAS SOPS 9723908 HAS SOUS 1053313 HAS SOUPS 1052420 WITH SCORE 1062145.361
AT ITER 1799 NEW BEST:: SOT 14124021 SOS 9724874 HAS SOPS 9723421 HAS SOUS 1051709 HAS SOUPS 1050816 WITH SCORE 1060540.874
AT ITER 1809 NEW BEST:: SOT 14122105 SOS 9722958 HAS SOPS 9721505 HAS SOUS 1047885 HAS SOUPS 1046992 WITH SCORE 1056714.958
AT ITER 1811 NEW BEST:: SOT 14122105 SOS 9722506 HAS SOPS 9721053 HAS SOUS 1047884 HAS SOUPS 1046991 WITH SCORE 1056713.506
AT ITER 1814 NEW BEST:: SOT 14122024 SOS 9722425 HAS SOPS 9720972 HAS SOUS 1047803 HAS SOUPS 1046910 WITH SCORE 1056632.425
AT ITER 1824 NEW BEST:: SOT 14121496 SOS 9721897 HAS SOPS 9720444 HAS SOUS 1046919 HAS SOUPS 1046026 WITH SCORE 1055747.897
AT ITER 1825 NEW BEST:: SOT 14121496 SOS 9721807 HAS SOPS 9720354 HAS SOUS 1046874 HAS SOUPS 1045981 WITH SCORE 1055702.807
AT ITER 1862 NEW BEST:: SOT 14121863 SOS 9722306 HAS SOPS 9720853 HAS SOUS 1046439 HAS SOUPS 1045546 WITH SCORE 1055268.306
AT ITER 1878 NEW BEST:: SOT 14123785 SOS 9724228 HAS SOPS 9722775 HAS SOUS 1045771 HAS SOUPS 1044878 WITH SCORE 1054602.228
AT ITER 1879 NEW BEST:: SOT 14121367 SOS 9721810 HAS SOPS 9720357 HAS SOUS 1040745 HAS SOUPS 1039852 WITH SCORE 1049573.81
AT ITER 1888 NEW BEST:: SOT 14121362 SOS 9721805 HAS SOPS 9720352 HAS SOUS 1040740 HAS SOUPS 1039847 WITH SCORE 1049568.805
AT ITER 1902 NEW BEST:: SOT 14120327 SOS 9720770 HAS SOPS 9719317 HAS SOUS 1039071 HAS SOUPS 1038178 WITH SCORE 1047898.77
AT ITER 1911 NEW BEST:: SOT 14118901 SOS 9719344 HAS SOPS 9717891 HAS SOUS 1036123 HAS SOUPS 1035230 WITH SCORE 1044949.344
AT ITER 1922 NEW BEST:: SOT 14118901 SOS 9719344 HAS SOPS 9717891 HAS SOUS 1035926 HAS SOUPS 1035033 WITH SCORE 1044752.344
AT ITER 1925 NEW BEST:: SOT 14116054 SOS 9716497 HAS SOPS 9715044 HAS SOUS 1032279 HAS SOUPS 1031386 WITH SCORE 1041102.497
AT ITER 1938 NEW BEST:: SOT 14115987 SOS 9716422 HAS SOPS 9714969 HAS SOUS 1032194 HAS SOUPS 1031301 WITH SCORE 1041017.422
AT ITER 1963 NEW BEST:: SOT 14115987 SOS 9716260 HAS SOPS 9714807 HAS SOUS 1032194 HAS SOUPS 1031301 WITH SCORE 1041017.26
AT ITER 1976 NEW BEST:: SOT 14116395 SOS 9716653 HAS SOPS 9715200 HAS SOUS 1025644 HAS SOUPS 1024751 WITH SCORE 1034467.653
AT ITER 1980 NEW BEST:: SOT 14108750 SOS 9709008 HAS SOPS 9707555 HAS SOUS 1018663 HAS SOUPS 1017770 WITH SCORE 1027479.008
AT ITER 2003 NEW BEST:: SOT 14108685 SOS 9708943 HAS SOPS 9707490 HAS SOUS 1018466 HAS SOUPS 1017573 WITH SCORE 1027281.943
AT ITER 2004 NEW BEST:: SOT 14108950 SOS 9709449 HAS SOPS 9708130 HAS SOUS 1017534 HAS SOUPS 1016775 WITH SCORE 1026484.449
AT ITER 2005 NEW BEST:: SOT 14108640 SOS 9709139 HAS SOPS 9707820 HAS SOUS 1017061 HAS SOUPS 1016302 WITH SCORE 1026011.139
AT ITER 2012 NEW BEST:: SOT 14107313 SOS 9707791 HAS SOPS 9706472 HAS SOUS 1016467 HAS SOUPS 1015708 WITH SCORE 1025415.791
AT ITER 2029 NEW BEST:: SOT 14107313 SOS 9707503 HAS SOPS 9706184 HAS SOUS 1016467 HAS SOUPS 1015708 WITH SCORE 1025415.503
AT ITER 2035 NEW BEST:: SOT 14107593 SOS 9708395 HAS SOPS 9707076 HAS SOUS 1013949 HAS SOUPS 1013190 WITH SCORE 1022898.395
AT ITER 2040 NEW BEST:: SOT 14105979 SOS 9706781 HAS SOPS 9705462 HAS SOUS 1012791 HAS SOUPS 1012032 WITH SCORE 1021738.781
AT ITER 2048 NEW BEST:: SOT 14105979 SOS 9706781 HAS SOPS 9705462 HAS SOUS 1012735 HAS SOUPS 1011976 WITH SCORE 1021682.781
AT ITER 2049 NEW BEST:: SOT 14099086 SOS 9698844 HAS SOPS 9697525 HAS SOUS 1011601 HAS SOUPS 1010842 WITH SCORE 1020540.844
AT ITER 2055 NEW BEST:: SOT 14099086 SOS 9701220 HAS SOPS 9699901 HAS SOUS 1011386 HAS SOUPS 1010627 WITH SCORE 1020328.22
AT ITER 2101 NEW BEST:: SOT 14096748 SOS 9698882 HAS SOPS 9697563 HAS SOUS 1007650 HAS SOUPS 1006891 WITH SCORE 1016589.882
AT ITER 2103 NEW BEST:: SOT 14094390 SOS 9696933 HAS SOPS 9695614 HAS SOUS 1003262 HAS SOUPS 1002503 WITH SCORE 1012199.933
AT ITER 2110 NEW BEST:: SOT 14095793 SOS 9698312 HAS SOPS 9696993 HAS SOUS 1002950 HAS SOUPS 1002191 WITH SCORE 1011889.312
AT ITER 2115 NEW BEST:: SOT 14095793 SOS 9697232 HAS SOPS 9695913 HAS SOUS 1002950 HAS SOUPS 1002191 WITH SCORE 1011888.232
AT ITER 2131 NEW BEST:: SOT 14095793 SOS 9696944 HAS SOPS 9695625 HAS SOUS 1002950 HAS SOUPS 1002191 WITH SCORE 1011887.944
AT ITER 2154 NEW BEST:: SOT 14095793 SOS 9696867 HAS SOPS 9695548 HAS SOUS 1002873 HAS SOUPS 1002114 WITH SCORE 1011810.867
AT ITER 2156 NEW BEST:: SOT 14095817 SOS 9696891 HAS SOPS 9695572 HAS SOUS 1002780 HAS SOUPS 1002021 WITH SCORE 1011717.891
AT ITER 2158 NEW BEST:: SOT 14095817 SOS 9696891 HAS SOPS 9695572 HAS SOUS 1002678 HAS SOUPS 1001919 WITH SCORE 1011615.891
AT ITER 2171 NEW BEST:: SOT 14094151 SOS 9695225 HAS SOPS 9693906 HAS SOUS 1001610 HAS SOUPS 1000851 WITH SCORE 1010546.225
AT ITER 2232 NEW BEST:: SOT 14093103 SOS 9694177 HAS SOPS 9692858 HAS SOUS 1000756 HAS SOUPS 999997 WITH SCORE 1009691.177
AT ITER 2239 NEW BEST:: SOT 14093103 SOS 9694177 HAS SOPS 9692858 HAS SOUS 1000577 HAS SOUPS 999818 WITH SCORE 1009512.177
AT ITER 2268 NEW BEST:: SOT 14095210 SOS 9697239 HAS SOPS 9696091 HAS SOUS 990849 HAS SOUPS 990261 WITH SCORE 999958.239
AT ITER 2269 NEW BEST:: SOT 14091071 SOS 9693100 HAS SOPS 9691952 HAS SOUS 985671 HAS SOUPS 985083 WITH SCORE 994776.1
AT ITER 2288 NEW BEST:: SOT 14091071 SOS 9693100 HAS SOPS 9691952 HAS SOUS 985630 HAS SOUPS 985042 WITH SCORE 994735.1
AT ITER 2314 NEW BEST:: SOT 14093272 SOS 9695301 HAS SOPS 9694153 HAS SOUS 984838 HAS SOUPS 984250 WITH SCORE 993945.301
AT ITER 2318 NEW BEST:: SOT 14093236 SOS 9695265 HAS SOPS 9694117 HAS SOUS 984802 HAS SOUPS 984214 WITH SCORE 993909.265
AT ITER 2321 NEW BEST:: SOT 14095975 SOS 9694997 HAS SOPS 9693849 HAS SOUS 984593 HAS SOUPS 984005 WITH SCORE 993699.997
AT ITER 2350 NEW BEST:: SOT 14094665 SOS 9693687 HAS SOPS 9692539 HAS SOUS 981925 HAS SOUPS 981337 WITH SCORE 991030.687
AT ITER 2352 NEW BEST:: SOT 14093577 SOS 9692599 HAS SOPS 9691451 HAS SOUS 979882 HAS SOUPS 979294 WITH SCORE 988986.599
AT ITER 2359 NEW BEST:: SOT 14093577 SOS 9692599 HAS SOPS 9691451 HAS SOUS 979873 HAS SOUPS 979285 WITH SCORE 988977.599
AT ITER 2369 NEW BEST:: SOT 14092974 SOS 9691996 HAS SOPS 9690848 HAS SOUS 979395 HAS SOUPS 978807 WITH SCORE 988498.996
AT ITER 2405 NEW BEST:: SOT 14093308 SOS 9692330 HAS SOPS 9691182 HAS SOUS 978167 HAS SOUPS 977579 WITH SCORE 987271.33
AT ITER 2410 NEW BEST:: SOT 14093308 SOS 9692330 HAS SOPS 9691182 HAS SOUS 978158 HAS SOUPS 977570 WITH SCORE 987262.33
AT ITER 2413 NEW BEST:: SOT 14094394 SOS 9693416 HAS SOPS 9692268 HAS SOUS 977414 HAS SOUPS 976826 WITH SCORE 986519.416
AT ITER 2414 NEW BEST:: SOT 14100740 SOS 9700984 HAS SOPS 9699970 HAS SOUS 977326 HAS SOUPS 976738 WITH SCORE 986438.984
AT ITER 2447 NEW BEST:: SOT 14100740 SOS 9697479 HAS SOPS 9696465 HAS SOUS 977268 HAS SOUPS 976680 WITH SCORE 986377.479
AT ITER 2458 NEW BEST:: SOT 14101440 SOS 9697579 HAS SOPS 9696565 HAS SOUS 976513 HAS SOUPS 975925 WITH SCORE 985622.579
AT ITER 2479 NEW BEST:: SOT 14101440 SOS 9697263 HAS SOPS 9696249 HAS SOUS 976485 HAS SOUPS 975897 WITH SCORE 985594.263
AT ITER 2489 NEW BEST:: SOT 14100943 SOS 9696766 HAS SOPS 9695752 HAS SOUS 975464 HAS SOUPS 974876 WITH SCORE 984572.766
AT ITER 2492 NEW BEST:: SOT 14100943 SOS 9693454 HAS SOPS 9692440 HAS SOUS 974897 HAS SOUPS 974309 WITH SCORE 984002.454
AT ITER 2501 NEW BEST:: SOT 14100943 SOS 9693318 HAS SOPS 9692304 HAS SOUS 974829 HAS SOUPS 974241 WITH SCORE 983934.318
AT ITER 2515 NEW BEST:: SOT 14098490 SOS 9680965 HAS SOPS 9679951 HAS SOUS 971997 HAS SOUPS 971409 WITH SCORE 981089.965
AT ITER 2528 NEW BEST:: SOT 14098490 SOS 9680965 HAS SOPS 9679951 HAS SOUS 971921 HAS SOUPS 971333 WITH SCORE 981013.965
AT ITER 2539 NEW BEST:: SOT 14097986 SOS 9680461 HAS SOPS 9679447 HAS SOUS 968773 HAS SOUPS 968185 WITH SCORE 977865.461
AT ITER 2547 NEW BEST:: SOT 14097986 SOS 9678373 HAS SOPS 9677359 HAS SOUS 968773 HAS SOUPS 968185 WITH SCORE 977863.373
AT ITER 2558 NEW BEST:: SOT 14097986 SOS 9678085 HAS SOPS 9677071 HAS SOUS 968773 HAS SOUPS 968185 WITH SCORE 977863.085
AT ITER 2565 NEW BEST:: SOT 14102030 SOS 9682129 HAS SOPS 9681115 HAS SOUS 967248 HAS SOUPS 966660 WITH SCORE 976342.129
AT ITER 2597 NEW BEST:: SOT 14102030 SOS 9683205 HAS SOPS 9682191 HAS SOUS 967057 HAS SOUPS 966469 WITH SCORE 976152.205
AT ITER 2601 NEW BEST:: SOT 14102182 SOS 9683383 HAS SOPS 9682369 HAS SOUS 965996 HAS SOUPS 965408 WITH SCORE 975091.383
AT ITER 2605 NEW BEST:: SOT 14102182 SOS 9683887 HAS SOPS 9682873 HAS SOUS 965876 HAS SOUPS 965288 WITH SCORE 974971.887
AT ITER 2612 NEW BEST:: SOT 14102182 SOS 9230683 HAS SOPS 9229669 HAS SOUS 965784 HAS SOUPS 965196 WITH SCORE 974426.683
AT ITER 2630 NEW BEST:: SOT 14102182 SOS 9230593 HAS SOPS 9229579 HAS SOUS 965784 HAS SOUPS 965196 WITH SCORE 974426.593
AT ITER 2657 NEW BEST:: SOT 14101330 SOS 9229741 HAS SOPS 9228727 HAS SOUS 964205 HAS SOUPS 963617 WITH SCORE 972846.741
AT ITER 2676 NEW BEST:: SOT 14101286 SOS 9248051 HAS SOPS 9246155 HAS SOUS 963796 HAS SOUPS 962970 WITH SCORE 972218.051
AT ITER 2681 NEW BEST:: SOT 14101286 SOS 9248051 HAS SOPS 9246155 HAS SOUS 963766 HAS SOUPS 962940 WITH SCORE 972188.051
AT ITER 2685 NEW BEST:: SOT 14101311 SOS 9221915 HAS SOPS 9220019 HAS SOUS 963766 HAS SOUPS 962940 WITH SCORE 972161.915
AT ITER 2697 NEW BEST:: SOT 14098077 SOS 9218681 HAS SOPS 9216785 HAS SOUS 961826 HAS SOUPS 961000 WITH SCORE 970218.681
AT ITER 2716 NEW BEST:: SOT 14098033 SOS 9218637 HAS SOPS 9216741 HAS SOUS 961823 HAS SOUPS 960997 WITH SCORE 970215.637
AT ITER 2730 NEW BEST:: SOT 14097874 SOS 9218478 HAS SOPS 9216582 HAS SOUS 961373 HAS SOUPS 960547 WITH SCORE 969765.478
AT ITER 2749 NEW BEST:: SOT 14097874 SOS 9219759 HAS SOPS 9217863 HAS SOUS 961352 HAS SOUPS 960526 WITH SCORE 969745.759
AT ITER 2766 NEW BEST:: SOT 14097874 SOS 9222423 HAS SOPS 9220527 HAS SOUS 961210 HAS SOUPS 960384 WITH SCORE 969606.423
AT ITER 2767 NEW BEST:: SOT 14097874 SOS 9224497 HAS SOPS 9222601 HAS SOUS 961176 HAS SOUPS 960350 WITH SCORE 969574.497
AT ITER 2779 NEW BEST:: SOT 14097593 SOS 9224216 HAS SOPS 9222320 HAS SOUS 960562 HAS SOUPS 959736 WITH SCORE 968960.216
AT ITER 2805 NEW BEST:: SOT 14097593 SOS 9224216 HAS SOPS 9222320 HAS SOUS 960548 HAS SOUPS 959722 WITH SCORE 968946.216
AT ITER 2822 NEW BEST:: SOT 14095563 SOS 9222186 HAS SOPS 9220290 HAS SOUS 956295 HAS SOUPS 955469 WITH SCORE 964691.186
AT ITER 2842 NEW BEST:: SOT 14095585 SOS 9222202 HAS SOPS 9220306 HAS SOUS 956023 HAS SOUPS 955197 WITH SCORE 964419.202
AT ITER 2861 NEW BEST:: SOT 14086902 SOS 9213519 HAS SOPS 9211623 HAS SOUS 949081 HAS SOUPS 948255 WITH SCORE 957468.519
AT ITER 2864 NEW BEST:: SOT 14086902 SOS 9211744 HAS SOPS 9209848 HAS SOUS 949056 HAS SOUPS 948230 WITH SCORE 957441.744
AT ITER 2879 NEW BEST:: SOT 14085377 SOS 9210219 HAS SOPS 9208323 HAS SOUS 945977 HAS SOUPS 945151 WITH SCORE 954361.219
AT ITER 2887 NEW BEST:: SOT 14086537 SOS 9211415 HAS SOPS 9209519 HAS SOUS 944440 HAS SOUPS 943614 WITH SCORE 952825.415
AT ITER 2952 NEW BEST:: SOT 14086537 SOS 9214557 HAS SOPS 9212661 HAS SOUS 944407 HAS SOUPS 943581 WITH SCORE 952795.557
AT ITER 2954 NEW BEST:: SOT 14086537 SOS 9215084 HAS SOPS 9213102 HAS SOUS 944438 HAS SOUPS 943561 WITH SCORE 952776.084
AT ITER 2963 NEW BEST:: SOT 14085117 SOS 9213664 HAS SOPS 9211682 HAS SOUS 941988 HAS SOUPS 941111 WITH SCORE 950324.664
AT ITER 2965 NEW BEST:: SOT 14086641 SOS 9215188 HAS SOPS 9213206 HAS SOUS 940097 HAS SOUPS 939220 WITH SCORE 948435.188
AT ITER 2969 NEW BEST:: SOT 14086673 SOS 9215092 HAS SOPS 9213046 HAS SOUS 938558 HAS SOUPS 937681 WITH SCORE 946896.092
AT ITER 2974 NEW BEST:: SOT 14084541 SOS 9212960 HAS SOPS 9210914 HAS SOUS 937306 HAS SOUPS 936429 WITH SCORE 945641.96
AT ITER 2975 NEW BEST:: SOT 14084794 SOS 9213213 HAS SOPS 9211167 HAS SOUS 937299 HAS SOUPS 936422 WITH SCORE 945635.213
AT ITER 2982 NEW BEST:: SOT 14084794 SOS 9213213 HAS SOPS 9211167 HAS SOUS 937259 HAS SOUPS 936382 WITH SCORE 945595.213
AT ITER 2985 NEW BEST:: SOT 14084794 SOS 9211845 HAS SOPS 9209799 HAS SOUS 937259 HAS SOUPS 936382 WITH SCORE 945593.845
AT ITER 3043 NEW BEST:: SOT 14085113 SOS 9212164 HAS SOPS 9210118 HAS SOUS 937242 HAS SOUPS 936365 WITH SCORE 945577.164
AT ITER 3061 NEW BEST:: SOT 14085101 SOS 9212152 HAS SOPS 9210106 HAS SOUS 937226 HAS SOUPS 936349 WITH SCORE 945561.152
AT ITER 3064 NEW BEST:: SOT 14085101 SOS 9212151 HAS SOPS 9210105 HAS SOUS 937225 HAS SOUPS 936348 WITH SCORE 945560.151
AT ITER 3085 NEW BEST:: SOT 14087893 SOS 9215867 HAS SOPS 9213821 HAS SOUS 936624 HAS SOUPS 935747 WITH SCORE 944962.867
AT ITER 3091 NEW BEST:: SOT 14087893 SOS 9217359 HAS SOPS 9215313 HAS SOUS 936596 HAS SOUPS 935719 WITH SCORE 944936.359
AT ITER 3101 NEW BEST:: SOT 14087215 SOS 9216681 HAS SOPS 9214635 HAS SOUS 936486 HAS SOUPS 935609 WITH SCORE 944825.681
AT ITER 3103 NEW BEST:: SOT 14087188 SOS 9215883 HAS SOPS 9213992 HAS SOUS 935076 HAS SOUPS 934287 WITH SCORE 943502.883
AT ITER 3108 NEW BEST:: SOT 14086755 SOS 9215450 HAS SOPS 9213559 HAS SOUS 934316 HAS SOUPS 933527 WITH SCORE 942742.45
AT ITER 3109 NEW BEST:: SOT 14080664 SOS 9209359 HAS SOPS 9207468 HAS SOUS 933796 HAS SOUPS 933007 WITH SCORE 942216.359
AT ITER 3110 NEW BEST:: SOT 14080664 SOS 9207259 HAS SOPS 9205508 HAS SOUS 933684 HAS SOUPS 932923 WITH SCORE 942130.259
AT ITER 3115 NEW BEST:: SOT 14080664 SOS 9206411 HAS SOPS 9204660 HAS SOUS 933656 HAS SOUPS 932895 WITH SCORE 942101.411
AT ITER 3117 NEW BEST:: SOT 14081770 SOS 9207514 HAS SOPS 9205763 HAS SOUS 927257 HAS SOUPS 926496 WITH SCORE 935703.514
AT ITER 3131 NEW BEST:: SOT 14081770 SOS 9207514 HAS SOPS 9205763 HAS SOUS 927131 HAS SOUPS 926370 WITH SCORE 935577.514
AT ITER 3175 NEW BEST:: SOT 14082274 SOS 9208018 HAS SOPS 9206267 HAS SOUS 926903 HAS SOUPS 926142 WITH SCORE 935350.018
AT ITER 3187 NEW BEST:: SOT 14082274 SOS 9208018 HAS SOPS 9206267 HAS SOUS 926887 HAS SOUPS 926126 WITH SCORE 935334.018
AT ITER 3199 NEW BEST:: SOT 14082274 SOS 9206578 HAS SOPS 9204827 HAS SOUS 926887 HAS SOUPS 926126 WITH SCORE 935332.578
AT ITER 3223 NEW BEST:: SOT 14082018 SOS 9206322 HAS SOPS 9204571 HAS SOUS 926732 HAS SOUPS 925971 WITH SCORE 935177.322
AT ITER 3251 NEW BEST:: SOT 14078258 SOS 9202567 HAS SOPS 9200816 HAS SOUS 924068 HAS SOUPS 923307 WITH SCORE 932509.567
AT ITER 3252 NEW BEST:: SOT 14079552 SOS 9203861 HAS SOPS 9202110 HAS SOUS 923024 HAS SOUPS 922263 WITH SCORE 931466.861
AT ITER 3262 NEW BEST:: SOT 14078524 SOS 9202825 HAS SOPS 9201074 HAS SOUS 922364 HAS SOUPS 921603 WITH SCORE 930805.825
AT ITER 3269 NEW BEST:: SOT 14078409 SOS 9202705 HAS SOPS 9200954 HAS SOUS 921537 HAS SOUPS 920776 WITH SCORE 929978.705
AT ITER 3278 NEW BEST:: SOT 14069566 SOS 9206317 HAS SOPS 9204566 HAS SOUS 917267 HAS SOUPS 916506 WITH SCORE 925712.317
AT ITER 3307 NEW BEST:: SOT 14069566 SOS 9204611 HAS SOPS 9202860 HAS SOUS 916639 HAS SOUPS 915878 WITH SCORE 925082.611
AT ITER 3320 NEW BEST:: SOT 14068750 SOS 9203795 HAS SOPS 9202044 HAS SOUS 914916 HAS SOUPS 914155 WITH SCORE 923358.795
AT ITER 3361 NEW BEST:: SOT 14068750 SOS 9203432 HAS SOPS 9201681 HAS SOUS 914847 HAS SOUPS 914086 WITH SCORE 923289.432
AT ITER 3384 NEW BEST:: SOT 14068722 SOS 9203404 HAS SOPS 9201653 HAS SOUS 914819 HAS SOUPS 914058 WITH SCORE 923261.404
AT ITER 3385 NEW BEST:: SOT 14068426 SOS 9203322 HAS SOPS 9201571 HAS SOUS 914624 HAS SOUPS 913863 WITH SCORE 923066.322
AT ITER 3397 NEW BEST:: SOT 14068426 SOS 9203322 HAS SOPS 9201571 HAS SOUS 914511 HAS SOUPS 913750 WITH SCORE 922953.322
AT ITER 3399 NEW BEST:: SOT 14071082 SOS 9196037 HAS SOPS 9195228 HAS SOUS 906060 HAS SOUPS 905709 WITH SCORE 914905.037
AT ITER 3429 NEW BEST:: SOT 14072009 SOS 9196964 HAS SOPS 9196155 HAS SOUS 901857 HAS SOUPS 901506 WITH SCORE 910702.964
AT ITER 3439 NEW BEST:: SOT 14072009 SOS 9196964 HAS SOPS 9196155 HAS SOUS 901804 HAS SOUPS 901453 WITH SCORE 910649.964
AT ITER 3456 NEW BEST:: SOT 14071062 SOS 9196017 HAS SOPS 9195208 HAS SOUS 901529 HAS SOUPS 901178 WITH SCORE 910374.017
AT ITER 3465 NEW BEST:: SOT 14071062 SOS 9196017 HAS SOPS 9195208 HAS SOUS 901459 HAS SOUPS 901108 WITH SCORE 910304.017
AT ITER 3510 NEW BEST:: SOT 14071062 SOS 9196017 HAS SOPS 9195208 HAS SOUS 901417 HAS SOUPS 901066 WITH SCORE 910262.017
AT ITER 3518 NEW BEST:: SOT 14071075 SOS 9196030 HAS SOPS 9195221 HAS SOUS 901379 HAS SOUPS 901028 WITH SCORE 910224.03
AT ITER 3526 NEW BEST:: SOT 14068336 SOS 9188053 HAS SOPS 9187244 HAS SOUS 900006 HAS SOUPS 899655 WITH SCORE 908843.053
AT ITER 3587 NEW BEST:: SOT 14068084 SOS 9187801 HAS SOPS 9186992 HAS SOUS 898903 HAS SOUPS 898552 WITH SCORE 907739.801
AT ITER 3594 NEW BEST:: SOT 14072799 SOS 9192516 HAS SOPS 9191707 HAS SOUS 894794 HAS SOUPS 894443 WITH SCORE 903635.516
AT ITER 3609 NEW BEST:: SOT 14071464 SOS 9191181 HAS SOPS 9190372 HAS SOUS 892128 HAS SOUPS 891777 WITH SCORE 900968.181
AT ITER 3612 NEW BEST:: SOT 14068832 SOS 9188545 HAS SOPS 9187736 HAS SOUS 890085 HAS SOUPS 889734 WITH SCORE 898922.545
AT ITER 3634 NEW BEST:: SOT 14068832 SOS 9188545 HAS SOPS 9187736 HAS SOUS 890068 HAS SOUPS 889717 WITH SCORE 898905.545
AT ITER 3659 NEW BEST:: SOT 14068799 SOS 9188512 HAS SOPS 9187703 HAS SOUS 890000 HAS SOUPS 889649 WITH SCORE 898837.512
AT ITER 3670 NEW BEST:: SOT 14066589 SOS 9186302 HAS SOPS 9185493 HAS SOUS 888752 HAS SOUPS 888401 WITH SCORE 897587.302
AT ITER 3682 NEW BEST:: SOT 14066589 SOS 9182934 HAS SOPS 9182125 HAS SOUS 888752 HAS SOUPS 888401 WITH SCORE 897583.934
AT ITER 3687 NEW BEST:: SOT 14059656 SOS 9172185 HAS SOPS 9171376 HAS SOUS 885331 HAS SOUPS 884980 WITH SCORE 894152.185
AT ITER 3705 NEW BEST:: SOT 14058253 SOS 9170782 HAS SOPS 9169973 HAS SOUS 884270 HAS SOUPS 883919 WITH SCORE 893089.782
AT ITER 3725 NEW BEST:: SOT 14053242 SOS 8923365 HAS SOPS 8922556 HAS SOUS 882973 HAS SOUPS 882622 WITH SCORE 891545.365
AT ITER 3729 NEW BEST:: SOT 14052644 SOS 8922751 HAS SOPS 8921942 HAS SOUS 882367 HAS SOUPS 882016 WITH SCORE 890938.751
AT ITER 3737 NEW BEST:: SOT 14052578 SOS 8922685 HAS SOPS 8921876 HAS SOUS 882322 HAS SOUPS 881971 WITH SCORE 890893.685
AT ITER 3738 NEW BEST:: SOT 14052543 SOS 8922660 HAS SOPS 8921851 HAS SOUS 881637 HAS SOUPS 881286 WITH SCORE 890208.66
AT ITER 3745 NEW BEST:: SOT 14053920 SOS 8924037 HAS SOPS 8923228 HAS SOUS 881300 HAS SOUPS 880949 WITH SCORE 889873.037
AT ITER 3752 NEW BEST:: SOT 14054890 SOS 8925007 HAS SOPS 8924198 HAS SOUS 880954 HAS SOUPS 880603 WITH SCORE 889528.007
AT ITER 3759 NEW BEST:: SOT 14054878 SOS 8924995 HAS SOPS 8924186 HAS SOUS 880900 HAS SOUPS 880549 WITH SCORE 889473.995
AT ITER 3768 NEW BEST:: SOT 14054729 SOS 8924846 HAS SOPS 8924037 HAS SOUS 880739 HAS SOUPS 880388 WITH SCORE 889312.846
AT ITER 3807 NEW BEST:: SOT 14054681 SOS 8924798 HAS SOPS 8923989 HAS SOUS 880683 HAS SOUPS 880332 WITH SCORE 889256.798
AT ITER 3833 NEW BEST:: SOT 14054681 SOS 8924798 HAS SOPS 8923989 HAS SOUS 880643 HAS SOUPS 880292 WITH SCORE 889216.798
AT ITER 3851 NEW BEST:: SOT 14052037 SOS 8922154 HAS SOPS 8921345 HAS SOUS 880056 HAS SOUPS 879705 WITH SCORE 888627.154
AT ITER 3883 NEW BEST:: SOT 14052950 SOS 8923067 HAS SOPS 8922258 HAS SOUS 879160 HAS SOUPS 878809 WITH SCORE 887732.067
AT ITER 3884 NEW BEST:: SOT 14053140 SOS 8920900 HAS SOPS 8920707 HAS SOUS 875492 HAS SOUPS 875366 WITH SCORE 884286.9
AT ITER 3888 NEW BEST:: SOT 14052866 SOS 8920626 HAS SOPS 8920433 HAS SOUS 875255 HAS SOUPS 875129 WITH SCORE 884049.626
AT ITER 3903 NEW BEST:: SOT 14062387 SOS 8930147 HAS SOPS 8929954 HAS SOUS 874528 HAS SOUPS 874402 WITH SCORE 883332.147
AT ITER 3906 NEW BEST:: SOT 14058359 SOS 8925567 HAS SOPS 8925374 HAS SOUS 873402 HAS SOUPS 873276 WITH SCORE 882201.567
AT ITER 3912 NEW BEST:: SOT 14057895 SOS 8925103 HAS SOPS 8924910 HAS SOUS 873297 HAS SOUPS 873171 WITH SCORE 882096.103
AT ITER 3930 NEW BEST:: SOT 14057188 SOS 8924396 HAS SOPS 8924203 HAS SOUS 871954 HAS SOUPS 871828 WITH SCORE 880752.396
AT ITER 3934 NEW BEST:: SOT 14059901 SOS 8927109 HAS SOPS 8926916 HAS SOUS 871787 HAS SOUPS 871661 WITH SCORE 880588.109
AT ITER 3968 NEW BEST:: SOT 14059721 SOS 8926929 HAS SOPS 8926736 HAS SOUS 871667 HAS SOUPS 871541 WITH SCORE 880467.929
AT ITER 3978 NEW BEST:: SOT 14060247 SOS 8927455 HAS SOPS 8927262 HAS SOUS 871627 HAS SOUPS 871501 WITH SCORE 880428.455
AT ITER 3983 NEW BEST:: SOT 14063979 SOS 8931187 HAS SOPS 8930994 HAS SOUS 870939 HAS SOUPS 870813 WITH SCORE 879744.187
AT ITER 3986 NEW BEST:: SOT 14063617 SOS 8930825 HAS SOPS 8930632 HAS SOUS 870593 HAS SOUPS 870467 WITH SCORE 879397.825
AT ITER 4013 NEW BEST:: SOT 14063617 SOS 8932193 HAS SOPS 8932000 HAS SOUS 870492 HAS SOUPS 870366 WITH SCORE 879298.193
AT ITER 4026 NEW BEST:: SOT 14063617 SOS 8932193 HAS SOPS 8932000 HAS SOUS 870369 HAS SOUPS 870243 WITH SCORE 879175.193
AT ITER 4061 NEW BEST:: SOT 14063617 SOS 8936225 HAS SOPS 8936032 HAS SOUS 870202 HAS SOUPS 870076 WITH SCORE 879012.225
AT ITER 4070 NEW BEST:: SOT 14063617 SOS 8926289 HAS SOPS 8926096 HAS SOUS 870064 HAS SOUPS 869938 WITH SCORE 878864.289
AT ITER 4108 NEW BEST:: SOT 14063617 SOS 8925707 HAS SOPS 8925514 HAS SOUS 870064 HAS SOUPS 869938 WITH SCORE 878863.707
AT ITER 4138 NEW BEST:: SOT 14062877 SOS 8924967 HAS SOPS 8924774 HAS SOUS 864540 HAS SOUPS 864414 WITH SCORE 873338.967
AT ITER 4147 NEW BEST:: SOT 14061705 SOS 8923795 HAS SOPS 8923602 HAS SOUS 863685 HAS SOUPS 863559 WITH SCORE 872482.795
AT ITER 4157 NEW BEST:: SOT 14061802 SOS 8931919 HAS SOPS 8931726 HAS SOUS 863652 HAS SOUPS 863526 WITH SCORE 872457.919
AT ITER 4174 NEW BEST:: SOT 14061802 SOS 8931583 HAS SOPS 8931390 HAS SOUS 863568 HAS SOUPS 863442 WITH SCORE 872373.583
AT ITER 4190 NEW BEST:: SOT 14061134 SOS 8930915 HAS SOPS 8930722 HAS SOUS 858049 HAS SOUPS 857923 WITH SCORE 866853.915
AT ITER 4194 NEW BEST:: SOT 14060913 SOS 8930694 HAS SOPS 8930501 HAS SOUS 857955 HAS SOUPS 857829 WITH SCORE 866759.694
AT ITER 4205 NEW BEST:: SOT 14058593 SOS 8928374 HAS SOPS 8928181 HAS SOUS 857050 HAS SOUPS 856924 WITH SCORE 865852.374
AT ITER 4210 NEW BEST:: SOT 14058593 SOS 8928142 HAS SOPS 8927949 HAS SOUS 857050 HAS SOUPS 856924 WITH SCORE 865852.142
AT ITER 4224 NEW BEST:: SOT 14064285 SOS 8935172 HAS SOPS 8934979 HAS SOUS 855139 HAS SOUPS 855013 WITH SCORE 863948.172
AT ITER 4234 NEW BEST:: SOT 14064285 SOS 8931842 HAS SOPS 8931649 HAS SOUS 855139 HAS SOUPS 855013 WITH SCORE 863944.842
AT ITER 4275 NEW BEST:: SOT 14064285 SOS 8936018 HAS SOPS 8935825 HAS SOUS 855012 HAS SOUPS 854886 WITH SCORE 863822.018
AT ITER 4281 NEW BEST:: SOT 14064205 SOS 8935938 HAS SOPS 8935745 HAS SOUS 852659 HAS SOUPS 852533 WITH SCORE 861468.938
AT ITER 4295 NEW BEST:: SOT 14063051 SOS 8934784 HAS SOPS 8934591 HAS SOUS 851870 HAS SOUPS 851744 WITH SCORE 860678.784
AT ITER 4366 NEW BEST:: SOT 14063051 SOS 8934784 HAS SOPS 8934591 HAS SOUS 851868 HAS SOUPS 851742 WITH SCORE 860676.784
AT ITER 4378 NEW BEST:: SOT 14061564 SOS 8933297 HAS SOPS 8933104 HAS SOUS 848964 HAS SOUPS 848838 WITH SCORE 857771.297
AT ITER 4389 NEW BEST:: SOT 14061564 SOS 8933297 HAS SOPS 8933104 HAS SOUS 848882 HAS SOUPS 848756 WITH SCORE 857689.297
AT ITER 4413 NEW BEST:: SOT 14061564 SOS 8933285 HAS SOPS 8933092 HAS SOUS 848876 HAS SOUPS 848750 WITH SCORE 857683.285
AT ITER 4432 NEW BEST:: SOT 14061564 SOS 8933285 HAS SOPS 8933092 HAS SOUS 848810 HAS SOUPS 848684 WITH SCORE 857617.285
AT ITER 4452 NEW BEST:: SOT 14061564 SOS 8933254 HAS SOPS 8933061 HAS SOUS 848779 HAS SOUPS 848653 WITH SCORE 857586.254
AT ITER 4456 NEW BEST:: SOT 14061564 SOS 8933310 HAS SOPS 8933109 HAS SOUS 848779 HAS SOUPS 848645 WITH SCORE 857578.31
AT ITER 4490 NEW BEST:: SOT 14061246 SOS 8932992 HAS SOPS 8932791 HAS SOUS 848284 HAS SOUPS 848150 WITH SCORE 857082.992
AT ITER 4492 NEW BEST:: SOT 14061532 SOS 8933304 HAS SOPS 8933103 HAS SOUS 848053 HAS SOUPS 847919 WITH SCORE 856852.304
AT ITER 4495 NEW BEST:: SOT 14060174 SOS 8942324 HAS SOPS 8942123 HAS SOUS 846112 HAS SOUPS 845978 WITH SCORE 854920.324
AT ITER 4510 NEW BEST:: SOT 14059786 SOS 8941936 HAS SOPS 8941735 HAS SOUS 843970 HAS SOUPS 843836 WITH SCORE 852777.936
AT ITER 4514 NEW BEST:: SOT 14067896 SOS 8950046 HAS SOPS 8949845 HAS SOUS 840582 HAS SOUPS 840448 WITH SCORE 849398.046
AT ITER 4522 NEW BEST:: SOT 14065489 SOS 8948998 HAS SOPS 8948797 HAS SOUS 837347 HAS SOUPS 837213 WITH SCORE 846161.998
AT ITER 4585 NEW BEST:: SOT 14065489 SOS 8948972 HAS SOPS 8948771 HAS SOUS 837347 HAS SOUPS 837213 WITH SCORE 846161.972
AT ITER 4599 NEW BEST:: SOT 14065089 SOS 8948572 HAS SOPS 8948371 HAS SOUS 835163 HAS SOUPS 835029 WITH SCORE 843977.572
AT ITER 4600 NEW BEST:: SOT 14065433 SOS 8959356 HAS SOPS 8959155 HAS SOUS 834481 HAS SOUPS 834347 WITH SCORE 843306.356
AT ITER 4624 NEW BEST:: SOT 14062873 SOS 8956796 HAS SOPS 8956595 HAS SOUS 832388 HAS SOUPS 832254 WITH SCORE 841210.796
AT ITER 4633 NEW BEST:: SOT 14062873 SOS 8956783 HAS SOPS 8956582 HAS SOUS 832388 HAS SOUPS 832254 WITH SCORE 841210.783
AT ITER 4644 NEW BEST:: SOT 14062767 SOS 8953829 HAS SOPS 8953628 HAS SOUS 832380 HAS SOUPS 832246 WITH SCORE 841199.829
AT ITER 4697 NEW BEST:: SOT 14062767 SOS 8953829 HAS SOPS 8953628 HAS SOUS 832362 HAS SOUPS 832228 WITH SCORE 841181.829
AT ITER 4704 NEW BEST:: SOT 14062767 SOS 8953616 HAS SOPS 8953415 HAS SOUS 832362 HAS SOUPS 832228 WITH SCORE 841181.616
AT ITER 4705 NEW BEST:: SOT 14060108 SOS 8950957 HAS SOPS 8950756 HAS SOUS 830477 HAS SOUPS 830343 WITH SCORE 839293.957
AT ITER 4711 NEW BEST:: SOT 14061083 SOS 8952092 HAS SOPS 8951905 HAS SOUS 829859 HAS SOUPS 829725 WITH SCORE 838677.092
AT ITER 4748 NEW BEST:: SOT 14060727 SOS 8951736 HAS SOPS 8951549 HAS SOUS 829611 HAS SOUPS 829477 WITH SCORE 838428.736
AT ITER 4753 NEW BEST:: SOT 14060727 SOS 8951724 HAS SOPS 8951537 HAS SOUS 829599 HAS SOUPS 829465 WITH SCORE 838416.724
AT ITER 4770 NEW BEST:: SOT 14060727 SOS 8950465 HAS SOPS 8950278 HAS SOUS 829418 HAS SOUPS 829284 WITH SCORE 838234.465
AT ITER 4785 NEW BEST:: SOT 14060663 SOS 8950401 HAS SOPS 8950214 HAS SOUS 829259 HAS SOUPS 829125 WITH SCORE 838075.401
AT ITER 4795 NEW BEST:: SOT 14060581 SOS 8950319 HAS SOPS 8950132 HAS SOUS 829249 HAS SOUPS 829115 WITH SCORE 838065.319
AT ITER 4799 NEW BEST:: SOT 14060236 SOS 8949965 HAS SOPS 8949778 HAS SOUS 827346 HAS SOUPS 827212 WITH SCORE 836161.965
AT ITER 4821 NEW BEST:: SOT 14059578 SOS 8949303 HAS SOPS 8949116 HAS SOUS 823587 HAS SOUPS 823453 WITH SCORE 832402.303
AT ITER 4831 NEW BEST:: SOT 14059126 SOS 8948851 HAS SOPS 8948664 HAS SOUS 822625 HAS SOUPS 822491 WITH SCORE 831439.851
AT ITER 4860 NEW BEST:: SOT 14064653 SOS 8954378 HAS SOPS 8954191 HAS SOUS 822046 HAS SOUPS 821912 WITH SCORE 830866.378
AT ITER 4868 NEW BEST:: SOT 14062777 SOS 8952502 HAS SOPS 8952315 HAS SOUS 821037 HAS SOUPS 820903 WITH SCORE 829855.502
AT ITER 4869 NEW BEST:: SOT 14062749 SOS 8952478 HAS SOPS 8952291 HAS SOUS 820497 HAS SOUPS 820363 WITH SCORE 829315.478
AT ITER 4878 NEW BEST:: SOT 14062713 SOS 8950210 HAS SOPS 8950023 HAS SOUS 820497 HAS SOUPS 820363 WITH SCORE 829313.21
AT ITER 4901 NEW BEST:: SOT 14062405 SOS 8949902 HAS SOPS 8949715 HAS SOUS 820210 HAS SOUPS 820076 WITH SCORE 829025.902
AT ITER 4915 NEW BEST:: SOT 14072844 SOS 8963797 HAS SOPS 8963610 HAS SOUS 817988 HAS SOUPS 817854 WITH SCORE 826817.797
AT ITER 4934 NEW BEST:: SOT 14072844 SOS 8963720 HAS SOPS 8963533 HAS SOUS 817911 HAS SOUPS 817777 WITH SCORE 826740.72
AT ITER 4941 NEW BEST:: SOT 14074405 SOS 8965297 HAS SOPS 8965110 HAS SOUS 816877 HAS SOUPS 816743 WITH SCORE 825708.297
AT ITER 4954 NEW BEST:: SOT 14074405 SOS 8965297 HAS SOPS 8965110 HAS SOUS 816855 HAS SOUPS 816721 WITH SCORE 825686.297
AT ITER 4962 NEW BEST:: SOT 14071931 SOS 8962631 HAS SOPS 8962444 HAS SOUS 816626 HAS SOUPS 816492 WITH SCORE 825454.631
AT ITER 4964 NEW BEST:: SOT 14071789 SOS 8962489 HAS SOPS 8962302 HAS SOUS 816528 HAS SOUPS 816394 WITH SCORE 825356.489
AT ITER 5028 NEW BEST:: SOT 14071360 SOS 8962060 HAS SOPS 8961873 HAS SOUS 811161 HAS SOUPS 811027 WITH SCORE 819989.06
AT ITER 5044 NEW BEST:: SOT 14070826 SOS 8961526 HAS SOPS 8961339 HAS SOUS 810535 HAS SOUPS 810401 WITH SCORE 819362.526
AT ITER 5060 NEW BEST:: SOT 14071491 SOS 8950989 HAS SOPS 8949869 HAS SOUS 810659 HAS SOUPS 809655 WITH SCORE 818605.989
AT ITER 5114 NEW BEST:: SOT 14071561 SOS 8951059 HAS SOPS 8949939 HAS SOUS 810629 HAS SOUPS 809625 WITH SCORE 818576.059
AT ITER 5117 NEW BEST:: SOT 14068505 SOS 8948003 HAS SOPS 8946883 HAS SOUS 808735 HAS SOUPS 807731 WITH SCORE 816679.003
AT ITER 5141 NEW BEST:: SOT 14068505 SOS 8946725 HAS SOPS 8945605 HAS SOUS 808625 HAS SOUPS 807621 WITH SCORE 816567.725
AT ITER 5160 NEW BEST:: SOT 14068471 SOS 8946691 HAS SOPS 8945571 HAS SOUS 808591 HAS SOUPS 807587 WITH SCORE 816533.691
AT ITER 5175 NEW BEST:: SOT 14068471 SOS 8946259 HAS SOPS 8945139 HAS SOUS 808591 HAS SOUPS 807587 WITH SCORE 816533.259
AT ITER 5196 NEW BEST:: SOT 14068233 SOS 8951890 HAS SOPS 8950770 HAS SOUS 808472 HAS SOUPS 807468 WITH SCORE 816419.89
AT ITER 5209 NEW BEST:: SOT 14068233 SOS 8949874 HAS SOPS 8948754 HAS SOUS 808472 HAS SOUPS 807468 WITH SCORE 816417.874
AT ITER 5239 NEW BEST:: SOT 14068233 SOS 8950308 HAS SOPS 8949188 HAS SOUS 808410 HAS SOUPS 807406 WITH SCORE 816356.308
AT ITER 5252 NEW BEST:: SOT 14068233 SOS 8950237 HAS SOPS 8949117 HAS SOUS 808410 HAS SOUPS 807406 WITH SCORE 816356.237
AT ITER 5308 NEW BEST:: SOT 14068068 SOS 8950072 HAS SOPS 8948952 HAS SOUS 807293 HAS SOUPS 806289 WITH SCORE 815239.072
AT ITER 5391 NEW BEST:: SOT 14068068 SOS 8950072 HAS SOPS 8948952 HAS SOUS 807284 HAS SOUPS 806280 WITH SCORE 815230.072
AT ITER 5398 NEW BEST:: SOT 14066147 SOS 8948075 HAS SOPS 8946955 HAS SOUS 806560 HAS SOUPS 805556 WITH SCORE 814504.075
AT ITER 5403 NEW BEST:: SOT 14063762 SOS 8945690 HAS SOPS 8944570 HAS SOUS 804484 HAS SOUPS 803480 WITH SCORE 812425.69
AT ITER 5405 NEW BEST:: SOT 14063762 SOS 8943118 HAS SOPS 8941998 HAS SOUS 804380 HAS SOUPS 803376 WITH SCORE 812319.118
AT ITER 5413 NEW BEST:: SOT 14063762 SOS 8943106 HAS SOPS 8941986 HAS SOUS 804356 HAS SOUPS 803352 WITH SCORE 812295.106
AT ITER 5430 NEW BEST:: SOT 14063762 SOS 8945190 HAS SOPS 8944070 HAS SOUS 804322 HAS SOUPS 803318 WITH SCORE 812263.19
AT ITER 5438 NEW BEST:: SOT 14063758 SOS 8945186 HAS SOPS 8944066 HAS SOUS 804306 HAS SOUPS 803302 WITH SCORE 812247.186
AT ITER 5454 NEW BEST:: SOT 14061098 SOS 8943594 HAS SOPS 8942474 HAS SOUS 799467 HAS SOUPS 798463 WITH SCORE 807406.594
AT ITER 5467 NEW BEST:: SOT 14061194 SOS 8943690 HAS SOPS 8942570 HAS SOUS 791620 HAS SOUPS 790616 WITH SCORE 799559.69
AT ITER 5484 NEW BEST:: SOT 14061122 SOS 8943618 HAS SOPS 8942498 HAS SOUS 791525 HAS SOUPS 790521 WITH SCORE 799464.618
AT ITER 5485 NEW BEST:: SOT 14061122 SOS 8943584 HAS SOPS 8942464 HAS SOUS 791508 HAS SOUPS 790504 WITH SCORE 799447.584
AT ITER 5546 NEW BEST:: SOT 14061122 SOS 8943194 HAS SOPS 8942074 HAS SOUS 791313 HAS SOUPS 790309 WITH SCORE 799252.194
AT ITER 5548 NEW BEST:: SOT 14062668 SOS 8944630 HAS SOPS 8943456 HAS SOUS 791212 HAS SOUPS 790160 WITH SCORE 799104.63
AT ITER 5559 NEW BEST:: SOT 14060058 SOS 8942020 HAS SOPS 8940846 HAS SOUS 788707 HAS SOUPS 787655 WITH SCORE 796597.02
AT ITER 5590 NEW BEST:: SOT 14062195 SOS 8944157 HAS SOPS 8942983 HAS SOUS 788563 HAS SOUPS 787511 WITH SCORE 796455.157
AT ITER 5603 NEW BEST:: SOT 14064123 SOS 8946085 HAS SOPS 8944911 HAS SOUS 786555 HAS SOUPS 785503 WITH SCORE 794449.085
AT ITER 5618 NEW BEST:: SOT 14064123 SOS 8943697 HAS SOPS 8942523 HAS SOUS 786516 HAS SOUPS 785464 WITH SCORE 794407.697
AT ITER 5624 NEW BEST:: SOT 14064123 SOS 8948029 HAS SOPS 8946855 HAS SOUS 786497 HAS SOUPS 785445 WITH SCORE 794393.029
AT ITER 5673 NEW BEST:: SOT 14064145 SOS 8948051 HAS SOPS 8946877 HAS SOUS 785485 HAS SOUPS 784433 WITH SCORE 793381.051
AT ITER 5681 NEW BEST:: SOT 14061820 SOS 8945726 HAS SOPS 8944552 HAS SOUS 785445 HAS SOUPS 784393 WITH SCORE 793338.726
AT ITER 5736 NEW BEST:: SOT 14054088 SOS 8926086 HAS SOPS 8924912 HAS SOUS 785295 HAS SOUPS 784243 WITH SCORE 793169.086
AT ITER 5773 NEW BEST:: SOT 14054088 SOS 8925554 HAS SOPS 8924380 HAS SOUS 785219 HAS SOUPS 784167 WITH SCORE 793092.554
AT ITER 5780 NEW BEST:: SOT 14053542 SOS 8925008 HAS SOPS 8923834 HAS SOUS 784621 HAS SOUPS 783569 WITH SCORE 792494.008
AT ITER 5797 NEW BEST:: SOT 14053542 SOS 8924976 HAS SOPS 8923802 HAS SOUS 784589 HAS SOUPS 783537 WITH SCORE 792461.976
AT ITER 5816 NEW BEST:: SOT 14053518 SOS 8924952 HAS SOPS 8923778 HAS SOUS 784565 HAS SOUPS 783513 WITH SCORE 792437.952
AT ITER 5837 NEW BEST:: SOT 14052296 SOS 8923730 HAS SOPS 8922556 HAS SOUS 783700 HAS SOUPS 782648 WITH SCORE 791571.73
AT ITER 5840 NEW BEST:: SOT 14049500 SOS 8926711 HAS SOPS 8925537 HAS SOUS 782071 HAS SOUPS 781019 WITH SCORE 789945.711
AT ITER 5849 NEW BEST:: SOT 14049126 SOS 8926337 HAS SOPS 8925163 HAS SOUS 781759 HAS SOUPS 780707 WITH SCORE 789633.337
AT ITER 5851 NEW BEST:: SOT 14049104 SOS 8926315 HAS SOPS 8925141 HAS SOUS 781725 HAS SOUPS 780673 WITH SCORE 789599.315
AT ITER 5858 NEW BEST:: SOT 14046592 SOS 8923803 HAS SOPS 8922629 HAS SOUS 780249 HAS SOUPS 779197 WITH SCORE 788120.803
AT ITER 5859 NEW BEST:: SOT 14046564 SOS 8923775 HAS SOPS 8922601 HAS SOUS 780233 HAS SOUPS 779181 WITH SCORE 788104.775
AT ITER 5888 NEW BEST:: SOT 14040230 SOS 8912689 HAS SOPS 8911515 HAS SOUS 778717 HAS SOUPS 777665 WITH SCORE 786577.689
AT ITER 5894 NEW BEST:: SOT 14041396 SOS 8915367 HAS SOPS 8914193 HAS SOUS 777431 HAS SOUPS 776379 WITH SCORE 785294.367
AT ITER 5915 NEW BEST:: SOT 14041300 SOS 8915201 HAS SOPS 8914081 HAS SOUS 775188 HAS SOUPS 774184 WITH SCORE 783099.201
AT ITER 5927 NEW BEST:: SOT 14041270 SOS 8913311 HAS SOPS 8912191 HAS SOUS 775188 HAS SOUPS 774184 WITH SCORE 783097.311
AT ITER 5949 NEW BEST:: SOT 14041304 SOS 8913345 HAS SOPS 8912225 HAS SOUS 775182 HAS SOUPS 774178 WITH SCORE 783091.345
AT ITER 5957 NEW BEST:: SOT 14041304 SOS 8913258 HAS SOPS 8912138 HAS SOUS 775095 HAS SOUPS 774091 WITH SCORE 783004.258
AT ITER 5963 NEW BEST:: SOT 14037511 SOS 8909465 HAS SOPS 8908345 HAS SOUS 774460 HAS SOUPS 773456 WITH SCORE 782365.465
AT ITER 5972 NEW BEST:: SOT 14037511 SOS 8908856 HAS SOPS 8907736 HAS SOUS 774373 HAS SOUPS 773369 WITH SCORE 782277.856
AT ITER 5984 NEW BEST:: SOT 14036353 SOS 8907698 HAS SOPS 8906578 HAS SOUS 771977 HAS SOUPS 770973 WITH SCORE 779880.698
AT ITER 6096 NEW BEST:: SOT 14040936 SOS 8912281 HAS SOPS 8911161 HAS SOUS 771390 HAS SOUPS 770386 WITH SCORE 779298.281
AT ITER 6123 NEW BEST:: SOT 14040936 SOS 8912219 HAS SOPS 8911099 HAS SOUS 771290 HAS SOUPS 770286 WITH SCORE 779198.219
AT ITER 6141 NEW BEST:: SOT 14040922 SOS 8912205 HAS SOPS 8911085 HAS SOUS 771288 HAS SOUPS 770284 WITH SCORE 779196.205
AT ITER 6160 NEW BEST:: SOT 14039188 SOS 8916100 HAS SOPS 8914980 HAS SOUS 770389 HAS SOUPS 769385 WITH SCORE 778301.1
AT ITER 6166 NEW BEST:: SOT 14038824 SOS 8915716 HAS SOPS 8914616 HAS SOUS 769586 HAS SOUPS 768602 WITH SCORE 777517.716
AT ITER 6191 NEW BEST:: SOT 14038824 SOS 8906295 HAS SOPS 8905195 HAS SOUS 769586 HAS SOUPS 768602 WITH SCORE 777508.295
AT ITER 6216 NEW BEST:: SOT 14037348 SOS 8904819 HAS SOPS 8903719 HAS SOUS 768172 HAS SOUPS 767188 WITH SCORE 776092.819
AT ITER 6217 NEW BEST:: SOT 14036970 SOS 8904414 HAS SOPS 8903314 HAS SOUS 767380 HAS SOUPS 766396 WITH SCORE 775300.414
AT ITER 6219 NEW BEST:: SOT 14036970 SOS 8904338 HAS SOPS 8903238 HAS SOUS 767342 HAS SOUPS 766358 WITH SCORE 775262.338
AT ITER 6264 NEW BEST:: SOT 14036970 SOS 8904316 HAS SOPS 8903216 HAS SOUS 767320 HAS SOUPS 766336 WITH SCORE 775240.316
AT ITER 6280 NEW BEST:: SOT 14037006 SOS 8905216 HAS SOPS 8904116 HAS SOUS 767140 HAS SOUPS 766156 WITH SCORE 775061.216
AT ITER 6321 NEW BEST:: SOT 14036940 SOS 8913776 HAS SOPS 8912676 HAS SOUS 767008 HAS SOUPS 766024 WITH SCORE 774937.776
AT ITER 6339 NEW BEST:: SOT 14036940 SOS 8912016 HAS SOPS 8910916 HAS SOUS 766928 HAS SOUPS 765944 WITH SCORE 774856.016
AT ITER 6345 NEW BEST:: SOT 14038856 SOS 8913932 HAS SOPS 8912832 HAS SOUS 765633 HAS SOUPS 764649 WITH SCORE 773562.932
AT ITER 6370 NEW BEST:: SOT 14036758 SOS 8911834 HAS SOPS 8910734 HAS SOUS 763855 HAS SOUPS 762871 WITH SCORE 771782.834
AT ITER 6392 NEW BEST:: SOT 14036758 SOS 8911834 HAS SOPS 8910734 HAS SOUS 763839 HAS SOUPS 762855 WITH SCORE 771766.834
AT ITER 6400 NEW BEST:: SOT 14033669 SOS 8908745 HAS SOPS 8907645 HAS SOUS 761132 HAS SOUPS 760148 WITH SCORE 769056.745
AT ITER 6409 NEW BEST:: SOT 14035033 SOS 8910109 HAS SOPS 8909009 HAS SOUS 759977 HAS SOUPS 758993 WITH SCORE 767903.109
AT ITER 6421 NEW BEST:: SOT 14035033 SOS 8910109 HAS SOPS 8909009 HAS SOUS 759962 HAS SOUPS 758978 WITH SCORE 767888.109
AT ITER 6436 NEW BEST:: SOT 14035033 SOS 8909815 HAS SOPS 8908715 HAS SOUS 759920 HAS SOUPS 758936 WITH SCORE 767845.815
AT ITER 6482 NEW BEST:: SOT 14033734 SOS 8908516 HAS SOPS 8907416 HAS SOUS 758742 HAS SOUPS 757758 WITH SCORE 766666.516
AT ITER 6559 NEW BEST:: SOT 14033734 SOS 8908516 HAS SOPS 8907416 HAS SOUS 758564 HAS SOUPS 757580 WITH SCORE 766488.516
AT ITER 6572 NEW BEST:: SOT 14033734 SOS 8908238 HAS SOPS 8907138 HAS SOUS 758425 HAS SOUPS 757441 WITH SCORE 766349.238
AT ITER 6577 NEW BEST:: SOT 14033734 SOS 8907209 HAS SOPS 8906109 HAS SOUS 758258 HAS SOUPS 757274 WITH SCORE 766181.209
AT ITER 6694 NEW BEST:: SOT 14033506 SOS 8906981 HAS SOPS 8905881 HAS SOUS 758130 HAS SOUPS 757146 WITH SCORE 766052.981
AT ITER 6737 NEW BEST:: SOT 14032513 SOS 8905988 HAS SOPS 8904888 HAS SOUS 757250 HAS SOUPS 756266 WITH SCORE 765171.988
AT ITER 6754 NEW BEST:: SOT 14032445 SOS 8905857 HAS SOPS 8904820 HAS SOUS 756861 HAS SOUPS 755940 WITH SCORE 764845.857
AT ITER 6762 NEW BEST:: SOT 14032526 SOS 8905938 HAS SOPS 8904901 HAS SOUS 756837 HAS SOUPS 755916 WITH SCORE 764821.938
AT ITER 6765 NEW BEST:: SOT 14032655 SOS 8906079 HAS SOPS 8905042 HAS SOUS 756318 HAS SOUPS 755397 WITH SCORE 764303.079
AT ITER 6817 NEW BEST:: SOT 14031894 SOS 8905210 HAS SOPS 8904173 HAS SOUS 755944 HAS SOUPS 755023 WITH SCORE 763928.21
AT ITER 6836 NEW BEST:: SOT 14030748 SOS 8904104 HAS SOPS 8903027 HAS SOUS 753728 HAS SOUPS 752767 WITH SCORE 761671.104
AT ITER 6861 NEW BEST:: SOT 14030628 SOS 8903963 HAS SOPS 8902907 HAS SOUS 752188 HAS SOUPS 751248 WITH SCORE 760151.963
AT ITER 6863 NEW BEST:: SOT 14030668 SOS 8905399 HAS SOPS 8904343 HAS SOUS 751854 HAS SOUPS 750914 WITH SCORE 759819.399
AT ITER 6875 NEW BEST:: SOT 14030668 SOS 8907113 HAS SOPS 8906057 HAS SOUS 751355 HAS SOUPS 750415 WITH SCORE 759322.113
AT ITER 6884 NEW BEST:: SOT 14030665 SOS 8907110 HAS SOPS 8906054 HAS SOUS 751349 HAS SOUPS 750409 WITH SCORE 759316.11
AT ITER 6889 NEW BEST:: SOT 14025831 SOS 8902276 HAS SOPS 8901220 HAS SOUS 747602 HAS SOUPS 746662 WITH SCORE 755564.276
AT ITER 6901 NEW BEST:: SOT 14025780 SOS 8902225 HAS SOPS 8901169 HAS SOUS 747545 HAS SOUPS 746605 WITH SCORE 755507.225
AT ITER 6920 NEW BEST:: SOT 14019620 SOS 8895805 HAS SOPS 8894749 HAS SOUS 745224 HAS SOUPS 744284 WITH SCORE 753179.805
AT ITER 6933 NEW BEST:: SOT 14018148 SOS 8894333 HAS SOPS 8893277 HAS SOUS 743861 HAS SOUPS 742921 WITH SCORE 751815.333
AT ITER 6961 NEW BEST:: SOT 14018132 SOS 8894317 HAS SOPS 8893261 HAS SOUS 743845 HAS SOUPS 742905 WITH SCORE 751799.317
AT ITER 6981 NEW BEST:: SOT 14017534 SOS 8893719 HAS SOPS 8892663 HAS SOUS 743350 HAS SOUPS 742410 WITH SCORE 751303.719
AT ITER 6987 NEW BEST:: SOT 14017148 SOS 8893333 HAS SOPS 8892277 HAS SOUS 742508 HAS SOUPS 741568 WITH SCORE 750461.333
AT ITER 6995 NEW BEST:: SOT 14017148 SOS 8891317 HAS SOPS 8890261 HAS SOUS 742498 HAS SOUPS 741558 WITH SCORE 750449.317
AT ITER 7025 NEW BEST:: SOT 14012283 SOS 8886452 HAS SOPS 8885396 HAS SOUS 739983 HAS SOUPS 739043 WITH SCORE 747929.452
AT ITER 7039 NEW BEST:: SOT 14009496 SOS 8883665 HAS SOPS 8882609 HAS SOUS 739394 HAS SOUPS 738454 WITH SCORE 747337.665
AT ITER 7046 NEW BEST:: SOT 14009496 SOS 8883661 HAS SOPS 8882605 HAS SOUS 739394 HAS SOUPS 738454 WITH SCORE 747337.661
AT ITER 7051 NEW BEST:: SOT 14009461 SOS 8883626 HAS SOPS 8882570 HAS SOUS 739375 HAS SOUPS 738435 WITH SCORE 747318.626
AT ITER 7064 NEW BEST:: SOT 14009461 SOS 8881901 HAS SOPS 8880845 HAS SOUS 739375 HAS SOUPS 738435 WITH SCORE 747316.901
AT ITER 7083 NEW BEST:: SOT 14009623 SOS 8882063 HAS SOPS 8881007 HAS SOUS 739222 HAS SOUPS 738282 WITH SCORE 747164.063
AT ITER 7085 NEW BEST:: SOT 14009148 SOS 8881588 HAS SOPS 8880532 HAS SOUS 738248 HAS SOUPS 737308 WITH SCORE 746189.588
AT ITER 7086 NEW BEST:: SOT 14009148 SOS 8879906 HAS SOPS 8878850 HAS SOUS 738214 HAS SOUPS 737274 WITH SCORE 746153.906
AT ITER 7109 NEW BEST:: SOT 14009148 SOS 8879618 HAS SOPS 8878562 HAS SOUS 738214 HAS SOUPS 737274 WITH SCORE 746153.618
AT ITER 7110 NEW BEST:: SOT 14008692 SOS 8879154 HAS SOPS 8878106 HAS SOUS 737278 HAS SOUPS 736346 WITH SCORE 745225.154
AT ITER 7113 NEW BEST:: SOT 14008692 SOS 8879154 HAS SOPS 8878106 HAS SOUS 737277 HAS SOUPS 736345 WITH SCORE 745224.154
AT ITER 7169 NEW BEST:: SOT 14008565 SOS 8881123 HAS SOPS 8880234 HAS SOUS 736789 HAS SOUPS 735910 WITH SCORE 744791.123
AT ITER 7194 NEW BEST:: SOT 14008975 SOS 8881533 HAS SOPS 8880644 HAS SOUS 736449 HAS SOUPS 735570 WITH SCORE 744451.533
AT ITER 7224 NEW BEST:: SOT 14008266 SOS 8880824 HAS SOPS 8879935 HAS SOUS 735282 HAS SOUPS 734403 WITH SCORE 743283.824
AT ITER 7248 NEW BEST:: SOT 14008266 SOS 8879583 HAS SOPS 8878694 HAS SOUS 735219 HAS SOUPS 734340 WITH SCORE 743219.583
AT ITER 7260 NEW BEST:: SOT 14008266 SOS 8881095 HAS SOPS 8880206 HAS SOUS 735191 HAS SOUPS 734312 WITH SCORE 743193.095
AT ITER 7263 NEW BEST:: SOT 14008266 SOS 8881060 HAS SOPS 8880171 HAS SOUS 735156 HAS SOUPS 734277 WITH SCORE 743158.06
AT ITER 7270 NEW BEST:: SOT 14004023 SOS 8876817 HAS SOPS 8875928 HAS SOUS 733516 HAS SOUPS 732637 WITH SCORE 741513.817
AT ITER 7291 NEW BEST:: SOT 14002038 SOS 8874376 HAS SOPS 8873487 HAS SOUS 732636 HAS SOUPS 731757 WITH SCORE 740631.376
AT ITER 7295 NEW BEST:: SOT 14001667 SOS 8874005 HAS SOPS 8873116 HAS SOUS 732278 HAS SOUPS 731399 WITH SCORE 740273.005
AT ITER 7324 NEW BEST:: SOT 14000164 SOS 8886609 HAS SOPS 8885720 HAS SOUS 731397 HAS SOUPS 730518 WITH SCORE 739404.609
AT ITER 7333 NEW BEST:: SOT 14000164 SOS 8886609 HAS SOPS 8885720 HAS SOUS 731376 HAS SOUPS 730497 WITH SCORE 739383.609
AT ITER 7370 NEW BEST:: SOT 14001336 SOS 8887881 HAS SOPS 8886992 HAS SOUS 730754 HAS SOUPS 729875 WITH SCORE 738762.881
AT ITER 7394 NEW BEST:: SOT 14000972 SOS 8887517 HAS SOPS 8886628 HAS SOUS 730138 HAS SOUPS 729259 WITH SCORE 738146.517
AT ITER 7398 NEW BEST:: SOT 14001242 SOS 8887787 HAS SOPS 8886898 HAS SOUS 729835 HAS SOUPS 728956 WITH SCORE 737843.787
AT ITER 7419 NEW BEST:: SOT 14002733 SOS 8888293 HAS SOPS 8887305 HAS SOUS 728434 HAS SOUPS 727456 WITH SCORE 736344.293
AT ITER 7438 NEW BEST:: SOT 14002733 SOS 8886212 HAS SOPS 8885224 HAS SOUS 728434 HAS SOUPS 727456 WITH SCORE 736342.212
AT ITER 7520 NEW BEST:: SOT 14004213 SOS 8889371 HAS SOPS 8888383 HAS SOUS 728212 HAS SOUPS 727234 WITH SCORE 736123.371
AT ITER 7529 NEW BEST:: SOT 14004203 SOS 8888741 HAS SOPS 8887753 HAS SOUS 728212 HAS SOUPS 727234 WITH SCORE 736122.741
AT ITER 7556 NEW BEST:: SOT 14004203 SOS 8888679 HAS SOPS 8887691 HAS SOUS 728150 HAS SOUPS 727172 WITH SCORE 736060.679
AT ITER 7622 NEW BEST:: SOT 14004035 SOS 8888511 HAS SOPS 8887523 HAS SOUS 727853 HAS SOUPS 726875 WITH SCORE 735763.511
AT ITER 7632 NEW BEST:: SOT 14007011 SOS 8899013 HAS SOPS 8898025 HAS SOUS 727558 HAS SOUPS 726580 WITH SCORE 735479.013
AT ITER 7636 NEW BEST:: SOT 14009076 SOS 8901110 HAS SOPS 8900122 HAS SOUS 726163 HAS SOUPS 725185 WITH SCORE 734086.11
AT ITER 7684 NEW BEST:: SOT 14009367 SOS 8901401 HAS SOPS 8900413 HAS SOUS 725810 HAS SOUPS 724832 WITH SCORE 733733.401
AT ITER 7685 NEW BEST:: SOT 14009538 SOS 8901572 HAS SOPS 8900584 HAS SOUS 725789 HAS SOUPS 724811 WITH SCORE 733712.572
AT ITER 7692 NEW BEST:: SOT 14009525 SOS 8901559 HAS SOPS 8900571 HAS SOUS 725724 HAS SOUPS 724746 WITH SCORE 733647.559
AT ITER 7775 NEW BEST:: SOT 14009654 SOS 8901657 HAS SOPS 8900669 HAS SOUS 725693 HAS SOUPS 724715 WITH SCORE 733616.657
AT ITER 7778 NEW BEST:: SOT 14009645 SOS 8901651 HAS SOPS 8900663 HAS SOUS 725554 HAS SOUPS 724576 WITH SCORE 733477.651
AT ITER 7785 NEW BEST:: SOT 14009645 SOS 8901630 HAS SOPS 8900642 HAS SOUS 725551 HAS SOUPS 724573 WITH SCORE 733474.63
AT ITER 7806 NEW BEST:: SOT 14009645 SOS 8901558 HAS SOPS 8900570 HAS SOUS 725551 HAS SOUPS 724573 WITH SCORE 733474.558
AT ITER 7889 NEW BEST:: SOT 14009645 SOS 8901390 HAS SOPS 8900402 HAS SOUS 725467 HAS SOUPS 724489 WITH SCORE 733390.39
AT ITER 7933 NEW BEST:: SOT 14008704 SOS 8900495 HAS SOPS 8899507 HAS SOUS 724167 HAS SOUPS 723189 WITH SCORE 732089.495
AT ITER 7951 NEW BEST:: SOT 14008704 SOS 8900783 HAS SOPS 8899795 HAS SOUS 724163 HAS SOUPS 723185 WITH SCORE 732085.783
AT ITER 7955 NEW BEST:: SOT 14008703 SOS 8900782 HAS SOPS 8899794 HAS SOUS 724161 HAS SOUPS 723183 WITH SCORE 732083.782
AT ITER 7975 NEW BEST:: SOT 14009610 SOS 8901689 HAS SOPS 8900701 HAS SOUS 723941 HAS SOUPS 722963 WITH SCORE 731864.689
AT ITER 7997 NEW BEST:: SOT 14009610 SOS 8901668 HAS SOPS 8900680 HAS SOUS 723920 HAS SOUPS 722942 WITH SCORE 731843.668
AT ITER 8006 NEW BEST:: SOT 14008069 SOS 8900127 HAS SOPS 8899139 HAS SOUS 723788 HAS SOUPS 722810 WITH SCORE 731710.127
AT ITER 8045 NEW BEST:: SOT 14008537 SOS 8900595 HAS SOPS 8899607 HAS SOUS 722969 HAS SOUPS 721991 WITH SCORE 730891.595
AT ITER 8068 NEW BEST:: SOT 14005961 SOS 8898019 HAS SOPS 8897031 HAS SOUS 721440 HAS SOUPS 720462 WITH SCORE 729360.019
AT ITER 8108 NEW BEST:: SOT 14005961 SOS 8894154 HAS SOPS 8893166 HAS SOUS 721355 HAS SOUPS 720377 WITH SCORE 729271.154
AT ITER 8131 NEW BEST:: SOT 14005961 SOS 8892642 HAS SOPS 8891654 HAS SOUS 721338 HAS SOUPS 720360 WITH SCORE 729252.642
AT ITER 8134 NEW BEST:: SOT 14006600 SOS 8893248 HAS SOPS 8892260 HAS SOUS 720719 HAS SOUPS 719741 WITH SCORE 728634.248
AT ITER 8143 NEW BEST:: SOT 14006600 SOS 8893236 HAS SOPS 8892248 HAS SOUS 720707 HAS SOUPS 719729 WITH SCORE 728622.236
AT ITER 8154 NEW BEST:: SOT 14005779 SOS 8892415 HAS SOPS 8891427 HAS SOUS 720463 HAS SOUPS 719485 WITH SCORE 728377.415
AT ITER 8155 NEW BEST:: SOT 14009488 SOS 8895942 HAS SOPS 8895066 HAS SOUS 716898 HAS SOUPS 716022 WITH SCORE 724917.942
AT ITER 8186 NEW BEST:: SOT 14008411 SOS 8894865 HAS SOPS 8893989 HAS SOUS 715050 HAS SOUPS 714174 WITH SCORE 723068.865
AT ITER 8187 NEW BEST:: SOT 14008411 SOS 8894819 HAS SOPS 8893943 HAS SOUS 715004 HAS SOUPS 714128 WITH SCORE 723022.819
AT ITER 8199 NEW BEST:: SOT 14005171 SOS 8891579 HAS SOPS 8890703 HAS SOUS 708451 HAS SOUPS 707575 WITH SCORE 716466.579
AT ITER 8238 NEW BEST:: SOT 14005171 SOS 8891555 HAS SOPS 8890679 HAS SOUS 708427 HAS SOUPS 707551 WITH SCORE 716442.555
AT ITER 8242 NEW BEST:: SOT 14004576 SOS 8890960 HAS SOPS 8890084 HAS SOUS 708022 HAS SOUPS 707146 WITH SCORE 716036.96
AT ITER 8267 NEW BEST:: SOT 14004576 SOS 8890752 HAS SOPS 8889876 HAS SOUS 707918 HAS SOUPS 707042 WITH SCORE 715932.752
AT ITER 8269 NEW BEST:: SOT 14004606 SOS 8890796 HAS SOPS 8889934 HAS SOUS 707889 HAS SOUPS 707027 WITH SCORE 715917.796
AT ITER 8279 NEW BEST:: SOT 14004634 SOS 8900704 HAS SOPS 8899842 HAS SOUS 707554 HAS SOUPS 706692 WITH SCORE 715592.704
AT ITER 8284 NEW BEST:: SOT 14004436 SOS 8900506 HAS SOPS 8899644 HAS SOUS 707369 HAS SOUPS 706507 WITH SCORE 715407.506
AT ITER 8338 NEW BEST:: SOT 14004436 SOS 8897923 HAS SOPS 8897061 HAS SOUS 707362 HAS SOUPS 706500 WITH SCORE 715397.923
AT ITER 8391 NEW BEST:: SOT 14001284 SOS 8894243 HAS SOPS 8893381 HAS SOUS 707283 HAS SOUPS 706421 WITH SCORE 715315.243
AT ITER 8392 NEW BEST:: SOT 14001422 SOS 8894381 HAS SOPS 8893519 HAS SOUS 707196 HAS SOUPS 706334 WITH SCORE 715228.381
AT ITER 8448 NEW BEST:: SOT 14001431 SOS 8894399 HAS SOPS 8893645 HAS SOUS 706782 HAS SOUPS 706028 WITH SCORE 714922.399
AT ITER 8460 NEW BEST:: SOT 14001431 SOS 8894042 HAS SOPS 8893288 HAS SOUS 706782 HAS SOUPS 706028 WITH SCORE 714922.042
AT ITER 8470 NEW BEST:: SOT 14001368 SOS 8893979 HAS SOPS 8893225 HAS SOUS 706774 HAS SOUPS 706020 WITH SCORE 714913.979
AT ITER 8473 NEW BEST:: SOT 14001368 SOS 8893958 HAS SOPS 8893204 HAS SOUS 706771 HAS SOUPS 706017 WITH SCORE 714910.958
AT ITER 8479 NEW BEST:: SOT 14001368 SOS 8893622 HAS SOPS 8892868 HAS SOUS 706603 HAS SOUPS 705849 WITH SCORE 714742.622
AT ITER 8494 NEW BEST:: SOT 14001320 SOS 8893574 HAS SOPS 8892820 HAS SOUS 706505 HAS SOUPS 705751 WITH SCORE 714644.574
AT ITER 8501 NEW BEST:: SOT 13998935 SOS 8891189 HAS SOPS 8890435 HAS SOUS 705871 HAS SOUPS 705117 WITH SCORE 714008.189
AT ITER 8525 NEW BEST:: SOT 13996220 SOS 8888474 HAS SOPS 8887720 HAS SOUS 703485 HAS SOUPS 702731 WITH SCORE 711619.474
AT ITER 8538 NEW BEST:: SOT 13996242 SOS 8888769 HAS SOPS 8888015 HAS SOUS 703208 HAS SOUPS 702454 WITH SCORE 711342.769
AT ITER 8552 NEW BEST:: SOT 13995488 SOS 8888003 HAS SOPS 8887249 HAS SOUS 702526 HAS SOUPS 701772 WITH SCORE 710660.003
AT ITER 8554 NEW BEST:: SOT 13995394 SOS 8887909 HAS SOPS 8887155 HAS SOUS 702526 HAS SOUPS 701772 WITH SCORE 710659.909
AT ITER 8558 NEW BEST:: SOT 13995379 SOS 8888013 HAS SOPS 8887242 HAS SOUS 702448 HAS SOUPS 701677 WITH SCORE 710565.013
AT ITER 8565 NEW BEST:: SOT 13995485 SOS 8888093 HAS SOPS 8887322 HAS SOUS 702096 HAS SOUPS 701325 WITH SCORE 710213.093
AT ITER 8596 NEW BEST:: SOT 13992574 SOS 8885136 HAS SOPS 8884365 HAS SOUS 700910 HAS SOUPS 700139 WITH SCORE 709024.136
AT ITER 8602 NEW BEST:: SOT 13990913 SOS 8883475 HAS SOPS 8882704 HAS SOUS 700185 HAS SOUPS 699414 WITH SCORE 708297.475
AT ITER 8716 NEW BEST:: SOT 13990913 SOS 8883377 HAS SOPS 8882606 HAS SOUS 700122 HAS SOUPS 699351 WITH SCORE 708234.377
AT ITER 8729 NEW BEST:: SOT 13989986 SOS 8882450 HAS SOPS 8881679 HAS SOUS 697103 HAS SOUPS 696332 WITH SCORE 705214.45
AT ITER 8738 NEW BEST:: SOT 13989986 SOS 8878324 HAS SOPS 8877553 HAS SOUS 697103 HAS SOUPS 696332 WITH SCORE 705210.324
AT ITER 8740 NEW BEST:: SOT 13989984 SOS 8878322 HAS SOPS 8877551 HAS SOUS 697101 HAS SOUPS 696330 WITH SCORE 705208.322
AT ITER 8779 NEW BEST:: SOT 13989877 SOS 8878215 HAS SOPS 8877444 HAS SOUS 696881 HAS SOUPS 696110 WITH SCORE 704988.215
AT ITER 8787 NEW BEST:: SOT 13990674 SOS 8878988 HAS SOPS 8878241 HAS SOUS 696411 HAS SOUPS 695664 WITH SCORE 704542.988
AT ITER 8801 NEW BEST:: SOT 13991784 SOS 8880098 HAS SOPS 8879351 HAS SOUS 694856 HAS SOUPS 694109 WITH SCORE 702989.098
AT ITER 8829 NEW BEST:: SOT 13991831 SOS 8098220 HAS SOPS 8097327 HAS SOUS 694741 HAS SOUPS 693947 WITH SCORE 702045.22
AT ITER 8831 NEW BEST:: SOT 13991831 SOS 8150079 HAS SOPS 8149186 HAS SOUS 694667 HAS SOUPS 693873 WITH SCORE 702023.079
AT ITER 8836 NEW BEST:: SOT 13987688 SOS 8145936 HAS SOPS 8145043 HAS SOUS 692043 HAS SOUPS 691249 WITH SCORE 699394.936
AT ITER 8900 NEW BEST:: SOT 13987666 SOS 8145919 HAS SOPS 8145026 HAS SOUS 692021 HAS SOUPS 691227 WITH SCORE 699372.919
AT ITER 8901 NEW BEST:: SOT 13987666 SOS 8146821 HAS SOPS 8145928 HAS SOUS 692009 HAS SOUPS 691215 WITH SCORE 699361.821
AT ITER 8905 NEW BEST:: SOT 13986969 SOS 8146124 HAS SOPS 8145231 HAS SOUS 691677 HAS SOUPS 690883 WITH SCORE 699029.124
AT ITER 8917 NEW BEST:: SOT 13986969 SOS 8146118 HAS SOPS 8145225 HAS SOUS 691677 HAS SOUPS 690883 WITH SCORE 699029.118
AT ITER 8918 NEW BEST:: SOT 13989358 SOS 8148494 HAS SOPS 8147614 HAS SOUS 691033 HAS SOUPS 690252 WITH SCORE 698400.494
AT ITER 8938 NEW BEST:: SOT 13990305 SOS 8156837 HAS SOPS 8155957 HAS SOUS 689673 HAS SOUPS 688892 WITH SCORE 697048.837
AT ITER 8955 NEW BEST:: SOT 13990074 SOS 8156642 HAS SOPS 8155762 HAS SOUS 689340 HAS SOUPS 688559 WITH SCORE 696715.642
AT ITER 8969 NEW BEST:: SOT 13990042 SOS 8156610 HAS SOPS 8155730 HAS SOUS 689308 HAS SOUPS 688527 WITH SCORE 696683.61
AT ITER 8971 NEW BEST:: SOT 13990034 SOS 8156602 HAS SOPS 8155722 HAS SOUS 689300 HAS SOUPS 688519 WITH SCORE 696675.602
AT ITER 9002 NEW BEST:: SOT 13989963 SOS 8156531 HAS SOPS 8155651 HAS SOUS 689229 HAS SOUPS 688448 WITH SCORE 696604.531
AT ITER 9018 NEW BEST:: SOT 13990059 SOS 8155015 HAS SOPS 8154135 HAS SOUS 689229 HAS SOUPS 688448 WITH SCORE 696603.015
AT ITER 9034 NEW BEST:: SOT 13990167 SOS 8155123 HAS SOPS 8154243 HAS SOUS 689225 HAS SOUPS 688444 WITH SCORE 696599.123
AT ITER 9039 NEW BEST:: SOT 13990161 SOS 8155117 HAS SOPS 8154237 HAS SOUS 689216 HAS SOUPS 688435 WITH SCORE 696590.117
AT ITER 9063 NEW BEST:: SOT 13989557 SOS 8154529 HAS SOPS 8153633 HAS SOUS 688125 HAS SOUPS 687328 WITH SCORE 695482.529
AT ITER 9089 NEW BEST:: SOT 13989452 SOS 8154424 HAS SOPS 8153528 HAS SOUS 688101 HAS SOUPS 687304 WITH SCORE 695458.424
AT ITER 9125 NEW BEST:: SOT 13993037 SOS 8158211 HAS SOPS 8157315 HAS SOUS 687447 HAS SOUPS 686650 WITH SCORE 694808.211
AT ITER 9172 NEW BEST:: SOT 13993038 SOS 8158212 HAS SOPS 8157316 HAS SOUS 687431 HAS SOUPS 686634 WITH SCORE 694792.212
AT ITER 9213 NEW BEST:: SOT 13993038 SOS 8158112 HAS SOPS 8157216 HAS SOUS 687421 HAS SOUPS 686624 WITH SCORE 694782.112
AT ITER 9236 NEW BEST:: SOT 13990260 SOS 8155334 HAS SOPS 8154438 HAS SOUS 687206 HAS SOUPS 686409 WITH SCORE 694564.334
AT ITER 9295 NEW BEST:: SOT 13990092 SOS 8155166 HAS SOPS 8154270 HAS SOUS 687125 HAS SOUPS 686328 WITH SCORE 694483.166
AT ITER 9303 NEW BEST:: SOT 13989637 SOS 8154711 HAS SOPS 8153815 HAS SOUS 686221 HAS SOUPS 685424 WITH SCORE 693578.711
AT ITER 9315 NEW BEST:: SOT 13991036 SOS 8156110 HAS SOPS 8155214 HAS SOUS 686072 HAS SOUPS 685275 WITH SCORE 693431.11
AT ITER 9326 NEW BEST:: SOT 13991985 SOS 8157059 HAS SOPS 8156163 HAS SOUS 685908 HAS SOUPS 685111 WITH SCORE 693268.059
AT ITER 9371 NEW BEST:: SOT 13989603 SOS 8154677 HAS SOPS 8153781 HAS SOUS 685626 HAS SOUPS 684829 WITH SCORE 692983.677
AT ITER 9398 NEW BEST:: SOT 13987859 SOS 8152833 HAS SOPS 8151937 HAS SOUS 684734 HAS SOUPS 683937 WITH SCORE 692089.833
AT ITER 9426 NEW BEST:: SOT 13991622 SOS 8156596 HAS SOPS 8155700 HAS SOUS 683697 HAS SOUPS 682900 WITH SCORE 691056.596
AT ITER 9448 NEW BEST:: SOT 13991622 SOS 8154076 HAS SOPS 8153180 HAS SOUS 683697 HAS SOUPS 682900 WITH SCORE 691054.076
AT ITER 9465 NEW BEST:: SOT 13991597 SOS 8154051 HAS SOPS 8153155 HAS SOUS 683660 HAS SOUPS 682863 WITH SCORE 691017.051
AT ITER 9484 NEW BEST:: SOT 13989456 SOS 8151910 HAS SOPS 8151014 HAS SOUS 683425 HAS SOUPS 682628 WITH SCORE 690779.91
AT ITER 9530 NEW BEST:: SOT 13989509 SOS 8151963 HAS SOPS 8151067 HAS SOUS 683358 HAS SOUPS 682561 WITH SCORE 690712.963
AT ITER 9532 NEW BEST:: SOT 13989509 SOS 8151946 HAS SOPS 8151050 HAS SOUS 683341 HAS SOUPS 682544 WITH SCORE 690695.946
AT ITER 9542 NEW BEST:: SOT 13989388 SOS 8151825 HAS SOPS 8150929 HAS SOUS 683220 HAS SOUPS 682423 WITH SCORE 690574.825
AT ITER 9608 NEW BEST:: SOT 13989263 SOS 8151704 HAS SOPS 8150804 HAS SOUS 682974 HAS SOUPS 682173 WITH SCORE 690324.704
AT ITER 9628 NEW BEST:: SOT 13985992 SOS 8155684 HAS SOPS 8154784 HAS SOUS 681316 HAS SOUPS 680515 WITH SCORE 688670.684
AT ITER 9777 NEW BEST:: SOT 13985993 SOS 8155675 HAS SOPS 8154775 HAS SOUS 681316 HAS SOUPS 680515 WITH SCORE 688670.675
AT ITER 9792 NEW BEST:: SOT 13985993 SOS 8157475 HAS SOPS 8156575 HAS SOUS 681277 HAS SOUPS 680476 WITH SCORE 688633.475
AT ITER 9801 NEW BEST:: SOT 13985993 SOS 8155963 HAS SOPS 8155063 HAS SOUS 681277 HAS SOUPS 680476 WITH SCORE 688631.963
AT ITER 9811 NEW BEST:: SOT 13985993 SOS 8154748 HAS SOPS 8153848 HAS SOUS 681277 HAS SOUPS 680476 WITH SCORE 688630.748
AT ITER 9836 NEW BEST:: SOT 13985993 SOS 8154708 HAS SOPS 8153808 HAS SOUS 681234 HAS SOUPS 680433 WITH SCORE 688587.708
AT ITER 9851 NEW BEST:: SOT 13985993 SOS 8153045 HAS SOPS 8152145 HAS SOUS 681218 HAS SOUPS 680417 WITH SCORE 688570.045
AT ITER 9872 NEW BEST:: SOT 13985993 SOS 8150981 HAS SOPS 8150081 HAS SOUS 681218 HAS SOUPS 680417 WITH SCORE 688567.981
AT ITER 9910 NEW BEST:: SOT 13982575 SOS 8150141 HAS SOPS 8149340 HAS SOUS 680089 HAS SOUPS 679288 WITH SCORE 687438.141
AT ITER 9914 NEW BEST:: SOT 13985703 SOS 8153269 HAS SOPS 8152468 HAS SOUS 679966 HAS SOUPS 679165 WITH SCORE 687318.269
AT ITER 9926 NEW BEST:: SOT 13985722 SOS 8153288 HAS SOPS 8152487 HAS SOUS 679906 HAS SOUPS 679105 WITH SCORE 687258.288
AT ITER 9984 NEW BEST:: SOT 13985722 SOS 8153228 HAS SOPS 8152427 HAS SOUS 679906 HAS SOUPS 679105 WITH SCORE 687258.228
AT ITER 9985 NEW BEST:: SOT 13985396 SOS 8152902 HAS SOPS 8152101 HAS SOUS 679090 HAS SOUPS 678289 WITH SCORE 686441.902
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 8635416 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16077828 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BugTracking-PT-q3m064"
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-q3m064, 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-167813696700368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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