fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100140
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-09a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.760 3600000.00 3599990.00 30.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100140.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-09a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100140
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 839K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-09a-CTLFireability-00
FORMULA_NAME ASLink-PT-09a-CTLFireability-01
FORMULA_NAME ASLink-PT-09a-CTLFireability-02
FORMULA_NAME ASLink-PT-09a-CTLFireability-03
FORMULA_NAME ASLink-PT-09a-CTLFireability-04
FORMULA_NAME ASLink-PT-09a-CTLFireability-05
FORMULA_NAME ASLink-PT-09a-CTLFireability-06
FORMULA_NAME ASLink-PT-09a-CTLFireability-07
FORMULA_NAME ASLink-PT-09a-CTLFireability-08
FORMULA_NAME ASLink-PT-09a-CTLFireability-09
FORMULA_NAME ASLink-PT-09a-CTLFireability-10
FORMULA_NAME ASLink-PT-09a-CTLFireability-11
FORMULA_NAME ASLink-PT-09a-CTLFireability-12
FORMULA_NAME ASLink-PT-09a-CTLFireability-13
FORMULA_NAME ASLink-PT-09a-CTLFireability-14
FORMULA_NAME ASLink-PT-09a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589070276873

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 09a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1991 places, 2919 transitions, 10953 arcs.
AT ITER 0 NEW BEST:: SOT 3223390 SOS 2216478 HAS SOPS 2216478 HAS SOUS 1451936 HAS SOUPS 1451936 WITH SCORE 1454152.478
AT ITER 1 NEW BEST:: SOT 3223390 SOS 2216438 HAS SOPS 2216438 HAS SOUS 1451936 HAS SOUPS 1451936 WITH SCORE 1454152.438
AT ITER 2 NEW BEST:: SOT 3222973 SOS 2214812 HAS SOPS 2214812 HAS SOUS 1451447 HAS SOUPS 1451447 WITH SCORE 1453661.812
AT ITER 3 NEW BEST:: SOT 3222965 SOS 2214796 HAS SOPS 2214796 HAS SOUS 1451430 HAS SOUPS 1451430 WITH SCORE 1453644.796
AT ITER 5 NEW BEST:: SOT 3222140 SOS 2212592 HAS SOPS 2212592 HAS SOUS 1449778 HAS SOUPS 1449778 WITH SCORE 1451990.592
AT ITER 6 NEW BEST:: SOT 3221331 SOS 2209771 HAS SOPS 2209771 HAS SOUS 1448155 HAS SOUPS 1448155 WITH SCORE 1450364.771
AT ITER 10 NEW BEST:: SOT 3221331 SOS 2208991 HAS SOPS 2208991 HAS SOUS 1447894 HAS SOUPS 1447894 WITH SCORE 1450102.991
AT ITER 11 NEW BEST:: SOT 3220717 SOS 2208377 HAS SOPS 2208377 HAS SOUS 1447894 HAS SOUPS 1447894 WITH SCORE 1450102.377
AT ITER 19 NEW BEST:: SOT 3219857 SOS 2207851 HAS SOPS 2207851 HAS SOUS 1446768 HAS SOUPS 1446768 WITH SCORE 1448975.851
AT ITER 20 NEW BEST:: SOT 3219631 SOS 2207625 HAS SOPS 2207625 HAS SOUS 1446766 HAS SOUPS 1446766 WITH SCORE 1448973.625
AT ITER 25 NEW BEST:: SOT 3219631 SOS 2203388 HAS SOPS 2203388 HAS SOUS 1446367 HAS SOUPS 1446367 WITH SCORE 1448570.388
AT ITER 26 NEW BEST:: SOT 3219026 SOS 2201857 HAS SOPS 2201857 HAS SOUS 1445134 HAS SOUPS 1445134 WITH SCORE 1447335.857
AT ITER 28 NEW BEST:: SOT 3218063 SOS 2200893 HAS SOPS 2200893 HAS SOUS 1444170 HAS SOUPS 1444170 WITH SCORE 1446370.893
AT ITER 39 NEW BEST:: SOT 3218063 SOS 2200893 HAS SOPS 2200893 HAS SOUS 1444169 HAS SOUPS 1444169 WITH SCORE 1446369.893
AT ITER 43 NEW BEST:: SOT 3216812 SOS 2199642 HAS SOPS 2199642 HAS SOUS 1442918 HAS SOUPS 1442918 WITH SCORE 1445117.642
AT ITER 46 NEW BEST:: SOT 3216812 SOS 2199642 HAS SOPS 2199642 HAS SOUS 1442004 HAS SOUPS 1442004 WITH SCORE 1444203.642
AT ITER 51 NEW BEST:: SOT 3216812 SOS 2197913 HAS SOPS 2197913 HAS SOUS 1442003 HAS SOUPS 1442003 WITH SCORE 1444200.913
AT ITER 60 NEW BEST:: SOT 3216806 SOS 2197901 HAS SOPS 2197901 HAS SOUS 1441990 HAS SOUPS 1441990 WITH SCORE 1444187.901
AT ITER 62 NEW BEST:: SOT 3216485 SOS 2197580 HAS SOPS 2197580 HAS SOUS 1441987 HAS SOUPS 1441987 WITH SCORE 1444184.58
AT ITER 65 NEW BEST:: SOT 3215492 SOS 2196574 HAS SOPS 2196574 HAS SOUS 1440981 HAS SOUPS 1440981 WITH SCORE 1443177.574
AT ITER 67 NEW BEST:: SOT 3214455 SOS 2188157 HAS SOPS 2188157 HAS SOUS 1438885 HAS SOUPS 1438885 WITH SCORE 1441073.157
AT ITER 68 NEW BEST:: SOT 3214351 SOS 2187949 HAS SOPS 2187949 HAS SOUS 1438775 HAS SOUPS 1438775 WITH SCORE 1440962.949
AT ITER 77 NEW BEST:: SOT 3214351 SOS 2185790 HAS SOPS 2185790 HAS SOUS 1436248 HAS SOUPS 1436248 WITH SCORE 1438433.79
AT ITER 81 NEW BEST:: SOT 3214351 SOS 2184807 HAS SOPS 2184807 HAS SOUS 1435774 HAS SOUPS 1435774 WITH SCORE 1437958.807
AT ITER 84 NEW BEST:: SOT 3215347 SOS 2185025 HAS SOPS 2185025 HAS SOUS 1435325 HAS SOUPS 1435325 WITH SCORE 1437510.025
AT ITER 86 NEW BEST:: SOT 3215347 SOS 2182835 HAS SOPS 2182835 HAS SOUS 1435322 HAS SOUPS 1435322 WITH SCORE 1437504.835
AT ITER 94 NEW BEST:: SOT 3215723 SOS 2183211 HAS SOPS 2183211 HAS SOUS 1435315 HAS SOUPS 1435315 WITH SCORE 1437498.211
AT ITER 97 NEW BEST:: SOT 3205862 SOS 2173350 HAS SOPS 2173350 HAS SOUS 1425454 HAS SOUPS 1425454 WITH SCORE 1427627.35
AT ITER 98 NEW BEST:: SOT 3205534 SOS 2173022 HAS SOPS 2173022 HAS SOUS 1425125 HAS SOUPS 1425125 WITH SCORE 1427298.022
AT ITER 99 NEW BEST:: SOT 3204294 SOS 2169583 HAS SOPS 2169583 HAS SOUS 1422643 HAS SOUPS 1422643 WITH SCORE 1424812.583
AT ITER 106 NEW BEST:: SOT 3204293 SOS 2169573 HAS SOPS 2169573 HAS SOUS 1422633 HAS SOUPS 1422633 WITH SCORE 1424802.573
AT ITER 110 NEW BEST:: SOT 3204293 SOS 2169573 HAS SOPS 2169573 HAS SOUS 1422632 HAS SOUPS 1422632 WITH SCORE 1424801.573
AT ITER 114 NEW BEST:: SOT 3203922 SOS 2169202 HAS SOPS 2169202 HAS SOUS 1422260 HAS SOUPS 1422260 WITH SCORE 1424429.202
AT ITER 117 NEW BEST:: SOT 3203922 SOS 2168783 HAS SOPS 2168783 HAS SOUS 1421853 HAS SOUPS 1421853 WITH SCORE 1424021.783
AT ITER 118 NEW BEST:: SOT 3202929 SOS 2165816 HAS SOPS 2165816 HAS SOUS 1419850 HAS SOUPS 1419850 WITH SCORE 1422015.816
AT ITER 121 NEW BEST:: SOT 3200253 SOS 2163140 HAS SOPS 2163140 HAS SOUS 1417174 HAS SOUPS 1417174 WITH SCORE 1419337.14
AT ITER 126 NEW BEST:: SOT 3199856 SOS 2162656 HAS SOPS 2162656 HAS SOUS 1417174 HAS SOUPS 1417174 WITH SCORE 1419336.656
AT ITER 131 NEW BEST:: SOT 3199005 SOS 2161546 HAS SOPS 2161546 HAS SOUS 1416913 HAS SOUPS 1416913 WITH SCORE 1419074.546
AT ITER 138 NEW BEST:: SOT 3197293 SOS 2159834 HAS SOPS 2159834 HAS SOUS 1415201 HAS SOUPS 1415201 WITH SCORE 1417360.834
AT ITER 144 NEW BEST:: SOT 3196355 SOS 2158888 HAS SOPS 2158888 HAS SOUS 1414255 HAS SOUPS 1414255 WITH SCORE 1416413.888
AT ITER 149 NEW BEST:: SOT 3195918 SOS 2156253 HAS SOPS 2156253 HAS SOUS 1413368 HAS SOUPS 1413368 WITH SCORE 1415524.253
AT ITER 151 NEW BEST:: SOT 3195991 SOS 2156326 HAS SOPS 2156326 HAS SOUS 1413295 HAS SOUPS 1413295 WITH SCORE 1415451.326
AT ITER 158 NEW BEST:: SOT 3194929 SOS 2154201 HAS SOPS 2154201 HAS SOUS 1411170 HAS SOUPS 1411170 WITH SCORE 1413324.201
AT ITER 161 NEW BEST:: SOT 3194451 SOS 2153723 HAS SOPS 2153723 HAS SOUS 1411150 HAS SOUPS 1411150 WITH SCORE 1413303.723
AT ITER 165 NEW BEST:: SOT 3194450 SOS 2153586 HAS SOPS 2153586 HAS SOUS 1411080 HAS SOUPS 1411080 WITH SCORE 1413233.586
AT ITER 167 NEW BEST:: SOT 3195183 SOS 2153586 HAS SOPS 2153586 HAS SOUS 1409614 HAS SOUPS 1409614 WITH SCORE 1411767.586
AT ITER 177 NEW BEST:: SOT 3195183 SOS 2152351 HAS SOPS 2152351 HAS SOUS 1409108 HAS SOUPS 1409108 WITH SCORE 1411260.351
AT ITER 179 NEW BEST:: SOT 3195183 SOS 2152242 HAS SOPS 2152242 HAS SOUS 1409108 HAS SOUPS 1409108 WITH SCORE 1411260.242
AT ITER 180 NEW BEST:: SOT 3194174 SOS 2151233 HAS SOPS 2151233 HAS SOUS 1408096 HAS SOUPS 1408096 WITH SCORE 1410247.233
AT ITER 184 NEW BEST:: SOT 3193733 SOS 2148016 HAS SOPS 2148016 HAS SOUS 1407205 HAS SOUPS 1407205 WITH SCORE 1409353.016
AT ITER 189 NEW BEST:: SOT 3194031 SOS 2149718 HAS SOPS 2149718 HAS SOUS 1407131 HAS SOUPS 1407131 WITH SCORE 1409280.718
AT ITER 190 NEW BEST:: SOT 3193593 SOS 2149280 HAS SOPS 2149280 HAS SOUS 1407090 HAS SOUPS 1407090 WITH SCORE 1409239.28
AT ITER 191 NEW BEST:: SOT 3190373 SOS 2146060 HAS SOPS 2146060 HAS SOUS 1403870 HAS SOUPS 1403870 WITH SCORE 1406016.06
AT ITER 194 NEW BEST:: SOT 3189900 SOS 2145587 HAS SOPS 2145587 HAS SOUS 1403869 HAS SOUPS 1403869 WITH SCORE 1406014.587
AT ITER 198 NEW BEST:: SOT 3189927 SOS 2143764 HAS SOPS 2143764 HAS SOUS 1403020 HAS SOUPS 1403020 WITH SCORE 1405163.764
AT ITER 204 NEW BEST:: SOT 3189709 SOS 2143546 HAS SOPS 2143546 HAS SOUS 1403015 HAS SOUPS 1403015 WITH SCORE 1405158.546
AT ITER 206 NEW BEST:: SOT 3189339 SOS 2142806 HAS SOPS 2142806 HAS SOUS 1402275 HAS SOUPS 1402275 WITH SCORE 1404417.806
AT ITER 215 NEW BEST:: SOT 3187752 SOS 2151467 HAS SOPS 2151467 HAS SOUS 1401834 HAS SOUPS 1401834 WITH SCORE 1403985.467
AT ITER 222 NEW BEST:: SOT 3187108 SOS 2150823 HAS SOPS 2150823 HAS SOUS 1401829 HAS SOUPS 1401829 WITH SCORE 1403979.823
AT ITER 223 NEW BEST:: SOT 3187814 SOS 2150823 HAS SOPS 2150823 HAS SOUS 1400773 HAS SOUPS 1400773 WITH SCORE 1402923.823
AT ITER 224 NEW BEST:: SOT 3187541 SOS 2150545 HAS SOPS 2150545 HAS SOUS 1400495 HAS SOUPS 1400495 WITH SCORE 1402645.545
AT ITER 226 NEW BEST:: SOT 3187541 SOS 2150598 HAS SOPS 2150598 HAS SOUS 1400442 HAS SOUPS 1400442 WITH SCORE 1402592.598
AT ITER 233 NEW BEST:: SOT 3186309 SOS 2145515 HAS SOPS 2145515 HAS SOUS 1398646 HAS SOUPS 1398646 WITH SCORE 1400791.515
AT ITER 235 NEW BEST:: SOT 3186309 SOS 2145108 HAS SOPS 2145108 HAS SOUS 1398640 HAS SOUPS 1398640 WITH SCORE 1400785.108
AT ITER 248 NEW BEST:: SOT 3182642 SOS 2141441 HAS SOPS 2141441 HAS SOUS 1394305 HAS SOUPS 1394305 WITH SCORE 1396446.441
AT ITER 250 NEW BEST:: SOT 3182545 SOS 2141247 HAS SOPS 2141247 HAS SOUS 1394205 HAS SOUPS 1394205 WITH SCORE 1396346.247
AT ITER 255 NEW BEST:: SOT 3179518 SOS 2139216 HAS SOPS 2139216 HAS SOUS 1391775 HAS SOUPS 1391775 WITH SCORE 1393914.216
AT ITER 257 NEW BEST:: SOT 3179518 SOS 2139216 HAS SOPS 2139216 HAS SOUS 1391561 HAS SOUPS 1391561 WITH SCORE 1393700.216
AT ITER 260 NEW BEST:: SOT 3178038 SOS 2128724 HAS SOPS 2128724 HAS SOUS 1388363 HAS SOUPS 1388363 WITH SCORE 1390491.724
AT ITER 265 NEW BEST:: SOT 3178038 SOS 2127895 HAS SOPS 2127895 HAS SOUS 1387534 HAS SOUPS 1387534 WITH SCORE 1389661.895
AT ITER 269 NEW BEST:: SOT 3178273 SOS 2127895 HAS SOPS 2127895 HAS SOUS 1387529 HAS SOUPS 1387529 WITH SCORE 1389656.895
AT ITER 275 NEW BEST:: SOT 3177991 SOS 2129161 HAS SOPS 2129161 HAS SOUS 1387367 HAS SOUPS 1387367 WITH SCORE 1389496.161
AT ITER 277 NEW BEST:: SOT 3177833 SOS 2129003 HAS SOPS 2129003 HAS SOUS 1387209 HAS SOUPS 1387209 WITH SCORE 1389338.003
AT ITER 278 NEW BEST:: SOT 3173494 SOS 2124662 HAS SOPS 2124662 HAS SOUS 1382868 HAS SOUPS 1382868 WITH SCORE 1384992.662
AT ITER 283 NEW BEST:: SOT 3172789 SOS 2124263 HAS SOPS 2124263 HAS SOUS 1382578 HAS SOUPS 1382578 WITH SCORE 1384702.263
AT ITER 286 NEW BEST:: SOT 3171979 SOS 2121968 HAS SOPS 2121968 HAS SOUS 1381851 HAS SOUPS 1381851 WITH SCORE 1383972.968
AT ITER 289 NEW BEST:: SOT 3171979 SOS 2120051 HAS SOPS 2120051 HAS SOUS 1380891 HAS SOUPS 1380891 WITH SCORE 1383011.051
AT ITER 302 NEW BEST:: SOT 3169402 SOS 2117474 HAS SOPS 2117474 HAS SOUS 1378865 HAS SOUPS 1378865 WITH SCORE 1380982.474
AT ITER 304 NEW BEST:: SOT 3169328 SOS 2117400 HAS SOPS 2117400 HAS SOUS 1378832 HAS SOUPS 1378832 WITH SCORE 1380949.4
AT ITER 307 NEW BEST:: SOT 3166742 SOS 2114814 HAS SOPS 2114814 HAS SOUS 1376246 HAS SOUPS 1376246 WITH SCORE 1378360.814
AT ITER 309 NEW BEST:: SOT 3166166 SOS 2112755 HAS SOPS 2112755 HAS SOUS 1375093 HAS SOUPS 1375093 WITH SCORE 1377205.755
AT ITER 312 NEW BEST:: SOT 3166166 SOS 2112039 HAS SOPS 2112039 HAS SOUS 1375092 HAS SOUPS 1375092 WITH SCORE 1377204.039
AT ITER 321 NEW BEST:: SOT 3146366 SOS 2091725 HAS SOPS 2091725 HAS SOUS 1354777 HAS SOUPS 1354777 WITH SCORE 1356868.725
AT ITER 322 NEW BEST:: SOT 3146292 SOS 2091577 HAS SOPS 2091577 HAS SOUS 1354701 HAS SOUPS 1354701 WITH SCORE 1356792.577
AT ITER 324 NEW BEST:: SOT 3146288 SOS 2091105 HAS SOPS 2091105 HAS SOUS 1354695 HAS SOUPS 1354695 WITH SCORE 1356786.105
AT ITER 325 NEW BEST:: SOT 3146208 SOS 2091025 HAS SOPS 2091025 HAS SOUS 1354615 HAS SOUPS 1354615 WITH SCORE 1356706.025
AT ITER 330 NEW BEST:: SOT 3146208 SOS 2091010 HAS SOPS 2091010 HAS SOUS 1354615 HAS SOUPS 1354615 WITH SCORE 1356706.01
AT ITER 341 NEW BEST:: SOT 3146174 SOS 2090976 HAS SOPS 2090976 HAS SOUS 1354581 HAS SOUPS 1354581 WITH SCORE 1356671.976
AT ITER 343 NEW BEST:: SOT 3146174 SOS 2090054 HAS SOPS 2090054 HAS SOUS 1354125 HAS SOUPS 1354125 WITH SCORE 1356215.054
AT ITER 355 NEW BEST:: SOT 3145871 SOS 2089448 HAS SOPS 2089448 HAS SOUS 1353820 HAS SOUPS 1353820 WITH SCORE 1355909.448
AT ITER 356 NEW BEST:: SOT 3145794 SOS 2089371 HAS SOPS 2089371 HAS SOUS 1353743 HAS SOUPS 1353743 WITH SCORE 1355832.371
AT ITER 357 NEW BEST:: SOT 3139630 SOS 2083710 HAS SOPS 2083710 HAS SOUS 1345962 HAS SOUPS 1345962 WITH SCORE 1348045.71
AT ITER 358 NEW BEST:: SOT 3139004 SOS 2078702 HAS SOPS 2078702 HAS SOUS 1344857 HAS SOUPS 1344857 WITH SCORE 1346935.702
AT ITER 363 NEW BEST:: SOT 3139004 SOS 2078107 HAS SOPS 2078107 HAS SOUS 1343962 HAS SOUPS 1343962 WITH SCORE 1346040.107
AT ITER 365 NEW BEST:: SOT 3136631 SOS 2067277 HAS SOPS 2067277 HAS SOUS 1339314 HAS SOUPS 1339314 WITH SCORE 1341381.277
AT ITER 374 NEW BEST:: SOT 3136155 SOS 2062303 HAS SOPS 2062303 HAS SOUS 1338398 HAS SOUPS 1338398 WITH SCORE 1340460.303
AT ITER 380 NEW BEST:: SOT 3136151 SOS 2062322 HAS SOPS 2062322 HAS SOUS 1338396 HAS SOUPS 1338396 WITH SCORE 1340458.322
AT ITER 381 NEW BEST:: SOT 3136005 SOS 2062176 HAS SOPS 2062176 HAS SOUS 1338390 HAS SOUPS 1338390 WITH SCORE 1340452.176
AT ITER 386 NEW BEST:: SOT 3126881 SOS 2053052 HAS SOPS 2053052 HAS SOUS 1329265 HAS SOUPS 1329265 WITH SCORE 1331318.052
AT ITER 392 NEW BEST:: SOT 3124130 SOS 2052347 HAS SOPS 2052347 HAS SOUS 1325806 HAS SOUPS 1325806 WITH SCORE 1327858.347
AT ITER 393 NEW BEST:: SOT 3107403 SOS 2037421 HAS SOPS 2037421 HAS SOUS 1309949 HAS SOUPS 1309949 WITH SCORE 1311986.421
AT ITER 398 NEW BEST:: SOT 3106777 SOS 2038611 HAS SOPS 2038611 HAS SOUS 1309561 HAS SOUPS 1309561 WITH SCORE 1311599.611
AT ITER 407 NEW BEST:: SOT 3105919 SOS 2036338 HAS SOPS 2036338 HAS SOUS 1307824 HAS SOUPS 1307824 WITH SCORE 1309860.338
AT ITER 411 NEW BEST:: SOT 3105324 SOS 2035743 HAS SOPS 2035743 HAS SOUS 1307228 HAS SOUPS 1307228 WITH SCORE 1309263.743
AT ITER 416 NEW BEST:: SOT 3105026 SOS 2035147 HAS SOPS 2035147 HAS SOUS 1306632 HAS SOUPS 1306632 WITH SCORE 1308667.147
AT ITER 429 NEW BEST:: SOT 3105026 SOS 2034883 HAS SOPS 2034883 HAS SOUS 1306632 HAS SOUPS 1306632 WITH SCORE 1308666.883
AT ITER 438 NEW BEST:: SOT 3105026 SOS 2030149 HAS SOPS 2030149 HAS SOUS 1305842 HAS SOUPS 1305842 WITH SCORE 1307872.149
AT ITER 442 NEW BEST:: SOT 3104430 SOS 2027738 HAS SOPS 2027738 HAS SOUS 1304669 HAS SOUPS 1304669 WITH SCORE 1306696.738
AT ITER 443 NEW BEST:: SOT 3104371 SOS 2027671 HAS SOPS 2027671 HAS SOUS 1304602 HAS SOUPS 1304602 WITH SCORE 1306629.671
AT ITER 447 NEW BEST:: SOT 3104007 SOS 2027307 HAS SOPS 2027307 HAS SOUS 1304238 HAS SOUPS 1304238 WITH SCORE 1306265.307
AT ITER 451 NEW BEST:: SOT 3104007 SOS 2024730 HAS SOPS 2024730 HAS SOUS 1303339 HAS SOUPS 1303339 WITH SCORE 1305363.73
AT ITER 455 NEW BEST:: SOT 3104002 SOS 2024725 HAS SOPS 2024725 HAS SOUS 1303333 HAS SOUPS 1303333 WITH SCORE 1305357.725
AT ITER 460 NEW BEST:: SOT 3101653 SOS 2022376 HAS SOPS 2022376 HAS SOUS 1300984 HAS SOUPS 1300984 WITH SCORE 1303006.376
AT ITER 461 NEW BEST:: SOT 3101643 SOS 2022366 HAS SOPS 2022366 HAS SOUS 1300974 HAS SOUPS 1300974 WITH SCORE 1302996.366
AT ITER 462 NEW BEST:: SOT 3101902 SOS 2022351 HAS SOPS 2022351 HAS SOUS 1300883 HAS SOUPS 1300883 WITH SCORE 1302905.351
AT ITER 465 NEW BEST:: SOT 3100981 SOS 2021430 HAS SOPS 2021430 HAS SOUS 1299962 HAS SOUPS 1299962 WITH SCORE 1301983.43
AT ITER 468 NEW BEST:: SOT 3100844 SOS 2021293 HAS SOPS 2021293 HAS SOUS 1299962 HAS SOUPS 1299962 WITH SCORE 1301983.293
AT ITER 472 NEW BEST:: SOT 3100514 SOS 2020963 HAS SOPS 2020963 HAS SOUS 1299954 HAS SOUPS 1299954 WITH SCORE 1301974.963
AT ITER 473 NEW BEST:: SOT 3087555 SOS 2008004 HAS SOPS 2008004 HAS SOUS 1286995 HAS SOUPS 1286995 WITH SCORE 1289003.004
AT ITER 482 NEW BEST:: SOT 3087170 SOS 2007619 HAS SOPS 2007619 HAS SOUS 1286995 HAS SOUPS 1286995 WITH SCORE 1289002.619
AT ITER 488 NEW BEST:: SOT 3087170 SOS 2007619 HAS SOPS 2007619 HAS SOUS 1286961 HAS SOUPS 1286961 WITH SCORE 1288968.619
AT ITER 500 NEW BEST:: SOT 3084127 SOS 2004892 HAS SOPS 2004892 HAS SOUS 1284130 HAS SOUPS 1284130 WITH SCORE 1286134.892
AT ITER 507 NEW BEST:: SOT 3084328 SOS 2004723 HAS SOPS 2004723 HAS SOUS 1283961 HAS SOUPS 1283961 WITH SCORE 1285965.723
AT ITER 508 NEW BEST:: SOT 3083960 SOS 2003862 HAS SOPS 2003862 HAS SOUS 1283225 HAS SOUPS 1283225 WITH SCORE 1285228.862
AT ITER 510 NEW BEST:: SOT 3083960 SOS 2002480 HAS SOPS 2002480 HAS SOUS 1282196 HAS SOUPS 1282196 WITH SCORE 1284198.48
AT ITER 521 NEW BEST:: SOT 3082907 SOS 2001833 HAS SOPS 2001833 HAS SOUS 1281414 HAS SOUPS 1281414 WITH SCORE 1283415.833
AT ITER 522 NEW BEST:: SOT 3082387 SOS 2001730 HAS SOPS 2001730 HAS SOUS 1281311 HAS SOUPS 1281311 WITH SCORE 1283312.73
AT ITER 526 NEW BEST:: SOT 3082387 SOS 2000648 HAS SOPS 2000648 HAS SOUS 1281310 HAS SOUPS 1281310 WITH SCORE 1283310.648
AT ITER 527 NEW BEST:: SOT 3082387 SOS 1999821 HAS SOPS 1999821 HAS SOUS 1280814 HAS SOUPS 1280814 WITH SCORE 1282813.821
AT ITER 531 NEW BEST:: SOT 3081396 SOS 1998830 HAS SOPS 1998830 HAS SOUS 1279877 HAS SOUPS 1279877 WITH SCORE 1281875.83
AT ITER 544 NEW BEST:: SOT 3082073 SOS 1999409 HAS SOPS 1999409 HAS SOUS 1279185 HAS SOUPS 1279185 WITH SCORE 1281184.409
AT ITER 548 NEW BEST:: SOT 3081339 SOS 1998566 HAS SOPS 1998566 HAS SOUS 1277823 HAS SOUPS 1277823 WITH SCORE 1279821.566
AT ITER 552 NEW BEST:: SOT 3081013 SOS 1997910 HAS SOPS 1997910 HAS SOUS 1277169 HAS SOUPS 1277169 WITH SCORE 1279166.91
AT ITER 564 NEW BEST:: SOT 3080321 SOS 1999584 HAS SOPS 1999584 HAS SOUS 1276821 HAS SOUPS 1276821 WITH SCORE 1278820.584
AT ITER 573 NEW BEST:: SOT 3080196 SOS 1999459 HAS SOPS 1999459 HAS SOUS 1276821 HAS SOUPS 1276821 WITH SCORE 1278820.459
AT ITER 578 NEW BEST:: SOT 3078864 SOS 1998068 HAS SOPS 1998068 HAS SOUS 1275560 HAS SOUPS 1275560 WITH SCORE 1277558.068
AT ITER 582 NEW BEST:: SOT 3078863 SOS 1997961 HAS SOPS 1997961 HAS SOUS 1275558 HAS SOUPS 1275558 WITH SCORE 1277555.961
AT ITER 588 NEW BEST:: SOT 3074338 SOS 1995242 HAS SOPS 1995242 HAS SOUS 1271291 HAS SOUPS 1271291 WITH SCORE 1273286.242
AT ITER 595 NEW BEST:: SOT 3074285 SOS 1995240 HAS SOPS 1995240 HAS SOUS 1271289 HAS SOUPS 1271289 WITH SCORE 1273284.24
AT ITER 598 NEW BEST:: SOT 3074285 SOS 1995284 HAS SOPS 1995284 HAS SOUS 1271181 HAS SOUPS 1271181 WITH SCORE 1273176.284
AT ITER 610 NEW BEST:: SOT 3071633 SOS 1992632 HAS SOPS 1992632 HAS SOUS 1268951 HAS SOUPS 1268951 WITH SCORE 1270943.632
AT ITER 621 NEW BEST:: SOT 3071320 SOS 1992006 HAS SOPS 1992006 HAS SOUS 1268325 HAS SOUPS 1268325 WITH SCORE 1270317.006
AT ITER 624 NEW BEST:: SOT 3071540 SOS 1992006 HAS SOPS 1992006 HAS SOUS 1268324 HAS SOUPS 1268324 WITH SCORE 1270316.006
AT ITER 627 NEW BEST:: SOT 3070728 SOS 1991283 HAS SOPS 1991283 HAS SOUS 1268175 HAS SOUPS 1268175 WITH SCORE 1270166.283
AT ITER 641 NEW BEST:: SOT 3070555 SOS 1988800 HAS SOPS 1988800 HAS SOUS 1267699 HAS SOUPS 1267699 WITH SCORE 1269687.8
AT ITER 652 NEW BEST:: SOT 3070317 SOS 1987964 HAS SOPS 1987964 HAS SOUS 1265810 HAS SOUPS 1265810 WITH SCORE 1267797.964
AT ITER 658 NEW BEST:: SOT 3070232 SOS 1987879 HAS SOPS 1987879 HAS SOUS 1265725 HAS SOUPS 1265725 WITH SCORE 1267712.879
AT ITER 660 NEW BEST:: SOT 3069094 SOS 1985863 HAS SOPS 1985863 HAS SOUS 1263797 HAS SOUPS 1263797 WITH SCORE 1265782.863
AT ITER 665 NEW BEST:: SOT 3056692 SOS 1973460 HAS SOPS 1973460 HAS SOUS 1251394 HAS SOUPS 1251394 WITH SCORE 1253367.46
AT ITER 669 NEW BEST:: SOT 3050009 SOS 1966777 HAS SOPS 1966777 HAS SOUS 1244711 HAS SOUPS 1244711 WITH SCORE 1246677.777
AT ITER 673 NEW BEST:: SOT 3049603 SOS 1966371 HAS SOPS 1966371 HAS SOUS 1244304 HAS SOUPS 1244304 WITH SCORE 1246270.371
AT ITER 674 NEW BEST:: SOT 3047014 SOS 1963782 HAS SOPS 1963782 HAS SOUS 1241708 HAS SOUPS 1241708 WITH SCORE 1243671.782
AT ITER 677 NEW BEST:: SOT 3047014 SOS 1963395 HAS SOPS 1963395 HAS SOUS 1241183 HAS SOUPS 1241183 WITH SCORE 1243146.395
AT ITER 682 NEW BEST:: SOT 3045108 SOS 1961770 HAS SOPS 1961770 HAS SOUS 1239558 HAS SOUPS 1239558 WITH SCORE 1241519.77
AT ITER 686 NEW BEST:: SOT 3045108 SOS 1961387 HAS SOPS 1961387 HAS SOUS 1239558 HAS SOUPS 1239558 WITH SCORE 1241519.387
AT ITER 688 NEW BEST:: SOT 3045108 SOS 1956195 HAS SOPS 1956195 HAS SOUS 1239422 HAS SOUPS 1239422 WITH SCORE 1241378.195
AT ITER 690 NEW BEST:: SOT 3044802 SOS 1955889 HAS SOPS 1955889 HAS SOUS 1239418 HAS SOUPS 1239418 WITH SCORE 1241373.889
AT ITER 700 NEW BEST:: SOT 3043180 SOS 1954267 HAS SOPS 1954267 HAS SOUS 1237796 HAS SOUPS 1237796 WITH SCORE 1239750.267
AT ITER 706 NEW BEST:: SOT 3043180 SOS 1954097 HAS SOPS 1954097 HAS SOUS 1237286 HAS SOUPS 1237286 WITH SCORE 1239240.097
AT ITER 708 NEW BEST:: SOT 3043178 SOS 1954111 HAS SOPS 1954111 HAS SOUS 1237284 HAS SOUPS 1237284 WITH SCORE 1239238.111
AT ITER 718 NEW BEST:: SOT 3043178 SOS 1954111 HAS SOPS 1954111 HAS SOUS 1237214 HAS SOUPS 1237214 WITH SCORE 1239168.111
AT ITER 719 NEW BEST:: SOT 3042918 SOS 1953851 HAS SOPS 1953851 HAS SOUS 1236953 HAS SOUPS 1236953 WITH SCORE 1238906.851
AT ITER 727 NEW BEST:: SOT 3042468 SOS 1953442 HAS SOPS 1953442 HAS SOUS 1236213 HAS SOUPS 1236213 WITH SCORE 1238166.442
AT ITER 729 NEW BEST:: SOT 3042217 SOS 1953191 HAS SOPS 1953191 HAS SOUS 1236194 HAS SOUPS 1236194 WITH SCORE 1238147.191
AT ITER 730 NEW BEST:: SOT 3041865 SOS 1952839 HAS SOPS 1952839 HAS SOUS 1235842 HAS SOUPS 1235842 WITH SCORE 1237794.839
AT ITER 731 NEW BEST:: SOT 3041460 SOS 1952434 HAS SOPS 1952434 HAS SOUS 1235437 HAS SOUPS 1235437 WITH SCORE 1237389.434
AT ITER 738 NEW BEST:: SOT 3035688 SOS 1946662 HAS SOPS 1946662 HAS SOUS 1229663 HAS SOUPS 1229663 WITH SCORE 1231609.662
AT ITER 745 NEW BEST:: SOT 3034460 SOS 1936055 HAS SOPS 1936055 HAS SOUS 1226266 HAS SOUPS 1226266 WITH SCORE 1228202.055
AT ITER 747 NEW BEST:: SOT 3034457 SOS 1933940 HAS SOPS 1933940 HAS SOUS 1226260 HAS SOUPS 1226260 WITH SCORE 1228193.94
AT ITER 748 NEW BEST:: SOT 3034429 SOS 1933912 HAS SOPS 1933912 HAS SOUS 1226260 HAS SOUPS 1226260 WITH SCORE 1228193.912
AT ITER 753 NEW BEST:: SOT 3033812 SOS 1932380 HAS SOPS 1932380 HAS SOUS 1224908 HAS SOUPS 1224908 WITH SCORE 1226840.38
AT ITER 754 NEW BEST:: SOT 3033576 SOS 1931648 HAS SOPS 1931648 HAS SOUS 1224256 HAS SOUPS 1224256 WITH SCORE 1226187.648
AT ITER 778 NEW BEST:: SOT 3033418 SOS 1931408 HAS SOPS 1931408 HAS SOUS 1224134 HAS SOUPS 1224134 WITH SCORE 1226065.408
AT ITER 781 NEW BEST:: SOT 3033406 SOS 1931360 HAS SOPS 1931360 HAS SOUS 1224110 HAS SOUPS 1224110 WITH SCORE 1226041.36
AT ITER 793 NEW BEST:: SOT 3033406 SOS 1930799 HAS SOPS 1930799 HAS SOUS 1224109 HAS SOUPS 1224109 WITH SCORE 1226039.799
AT ITER 795 NEW BEST:: SOT 3033406 SOS 1929947 HAS SOPS 1929947 HAS SOUS 1223257 HAS SOUPS 1223257 WITH SCORE 1225186.947
AT ITER 796 NEW BEST:: SOT 3032479 SOS 1929573 HAS SOPS 1929573 HAS SOUS 1222596 HAS SOUPS 1222596 WITH SCORE 1224525.573
AT ITER 798 NEW BEST:: SOT 3032036 SOS 1929305 HAS SOPS 1929305 HAS SOUS 1222184 HAS SOUPS 1222184 WITH SCORE 1224113.305
AT ITER 812 NEW BEST:: SOT 3031995 SOS 1929264 HAS SOPS 1929264 HAS SOUS 1222182 HAS SOUPS 1222182 WITH SCORE 1224111.264
AT ITER 820 NEW BEST:: SOT 3029862 SOS 1933053 HAS SOPS 1933053 HAS SOUS 1221439 HAS SOUPS 1221439 WITH SCORE 1223372.053
AT ITER 822 NEW BEST:: SOT 3029432 SOS 1930676 HAS SOPS 1930676 HAS SOUS 1220908 HAS SOUPS 1220908 WITH SCORE 1222838.676
AT ITER 823 NEW BEST:: SOT 3029312 SOS 1930672 HAS SOPS 1930672 HAS SOUS 1220906 HAS SOUPS 1220906 WITH SCORE 1222836.672
AT ITER 824 NEW BEST:: SOT 3029312 SOS 1930441 HAS SOPS 1930441 HAS SOUS 1220906 HAS SOUPS 1220906 WITH SCORE 1222836.441
AT ITER 828 NEW BEST:: SOT 3029312 SOS 1930056 HAS SOPS 1930056 HAS SOUS 1220905 HAS SOUPS 1220905 WITH SCORE 1222835.056
AT ITER 830 NEW BEST:: SOT 3028737 SOS 1927143 HAS SOPS 1927143 HAS SOUS 1219180 HAS SOUPS 1219180 WITH SCORE 1221107.143
AT ITER 836 NEW BEST:: SOT 3027321 SOS 1924778 HAS SOPS 1924778 HAS SOUS 1217776 HAS SOUPS 1217776 WITH SCORE 1219700.778
AT ITER 839 NEW BEST:: SOT 3027321 SOS 1923064 HAS SOPS 1923064 HAS SOUS 1217776 HAS SOUPS 1217776 WITH SCORE 1219699.064
AT ITER 847 NEW BEST:: SOT 3027009 SOS 1922008 HAS SOPS 1922008 HAS SOUS 1217474 HAS SOUPS 1217474 WITH SCORE 1219396.008
AT ITER 848 NEW BEST:: SOT 3027025 SOS 1922024 HAS SOPS 1922024 HAS SOUS 1217468 HAS SOUPS 1217468 WITH SCORE 1219390.024
AT ITER 850 NEW BEST:: SOT 3026710 SOS 1921080 HAS SOPS 1921080 HAS SOUS 1217336 HAS SOUPS 1217336 WITH SCORE 1219257.08
AT ITER 856 NEW BEST:: SOT 3026401 SOS 1921078 HAS SOPS 1921078 HAS SOUS 1217334 HAS SOUPS 1217334 WITH SCORE 1219255.078
AT ITER 879 NEW BEST:: SOT 3026344 SOS 1921021 HAS SOPS 1921021 HAS SOUS 1217277 HAS SOUPS 1217277 WITH SCORE 1219198.021
AT ITER 889 NEW BEST:: SOT 3026342 SOS 1921007 HAS SOPS 1921007 HAS SOUS 1217273 HAS SOUPS 1217273 WITH SCORE 1219194.007
AT ITER 890 NEW BEST:: SOT 3026227 SOS 1920884 HAS SOPS 1920884 HAS SOUS 1217150 HAS SOUPS 1217150 WITH SCORE 1219070.884
AT ITER 891 NEW BEST:: SOT 3026160 SOS 1920817 HAS SOPS 1920817 HAS SOUS 1217083 HAS SOUPS 1217083 WITH SCORE 1219003.817
AT ITER 901 NEW BEST:: SOT 3026488 SOS 1921143 HAS SOPS 1921143 HAS SOUS 1217081 HAS SOUPS 1217081 WITH SCORE 1219002.143
AT ITER 908 NEW BEST:: SOT 3025838 SOS 1920178 HAS SOPS 1920178 HAS SOUS 1216116 HAS SOUPS 1216116 WITH SCORE 1218036.178
AT ITER 912 NEW BEST:: SOT 3024282 SOS 1919044 HAS SOPS 1919044 HAS SOUS 1214025 HAS SOUPS 1214025 WITH SCORE 1215944.044
AT ITER 921 NEW BEST:: SOT 3024207 SOS 1918733 HAS SOPS 1918733 HAS SOUS 1213832 HAS SOUPS 1213832 WITH SCORE 1215750.733
AT ITER 923 NEW BEST:: SOT 3023534 SOS 1916625 HAS SOPS 1916625 HAS SOUS 1211912 HAS SOUPS 1211912 WITH SCORE 1213828.625
AT ITER 927 NEW BEST:: SOT 3026602 SOS 1918922 HAS SOPS 1918922 HAS SOUS 1210278 HAS SOUPS 1210278 WITH SCORE 1212196.922
AT ITER 932 NEW BEST:: SOT 3026462 SOS 1918782 HAS SOPS 1918782 HAS SOUS 1210138 HAS SOUPS 1210138 WITH SCORE 1212056.782
AT ITER 956 NEW BEST:: SOT 3025437 SOS 1921651 HAS SOPS 1921651 HAS SOUS 1209663 HAS SOUPS 1209663 WITH SCORE 1211584.651
AT ITER 959 NEW BEST:: SOT 3025437 SOS 1919372 HAS SOPS 1919372 HAS SOUS 1209283 HAS SOUPS 1209283 WITH SCORE 1211202.372
AT ITER 963 NEW BEST:: SOT 3024731 SOS 1916382 HAS SOPS 1916382 HAS SOUS 1208730 HAS SOUPS 1208730 WITH SCORE 1210646.382
AT ITER 967 NEW BEST:: SOT 3024541 SOS 1916192 HAS SOPS 1916192 HAS SOUS 1208540 HAS SOUPS 1208540 WITH SCORE 1210456.192
AT ITER 975 NEW BEST:: SOT 3022307 SOS 1915638 HAS SOPS 1915638 HAS SOUS 1206727 HAS SOUPS 1206727 WITH SCORE 1208642.638
AT ITER 999 NEW BEST:: SOT 3009382 SOS 1902713 HAS SOPS 1902713 HAS SOUS 1193800 HAS SOUPS 1193800 WITH SCORE 1195702.713
AT ITER 1015 NEW BEST:: SOT 3009125 SOS 1902456 HAS SOPS 1902456 HAS SOUS 1193543 HAS SOUPS 1193543 WITH SCORE 1195445.456
AT ITER 1033 NEW BEST:: SOT 3000064 SOS 1893395 HAS SOPS 1893395 HAS SOUS 1184482 HAS SOUPS 1184482 WITH SCORE 1186375.395
AT ITER 1034 NEW BEST:: SOT 3000064 SOS 1893380 HAS SOPS 1893380 HAS SOUS 1184467 HAS SOUPS 1184467 WITH SCORE 1186360.38
AT ITER 1049 NEW BEST:: SOT 2999898 SOS 1892882 HAS SOPS 1892882 HAS SOUS 1183969 HAS SOUPS 1183969 WITH SCORE 1185861.882
AT ITER 1055 NEW BEST:: SOT 2999898 SOS 1892815 HAS SOPS 1892815 HAS SOUS 1183969 HAS SOUPS 1183969 WITH SCORE 1185861.815
AT ITER 1057 NEW BEST:: SOT 2977290 SOS 1871059 HAS SOPS 1871059 HAS SOUS 1161007 HAS SOUPS 1161007 WITH SCORE 1162878.059
AT ITER 1066 NEW BEST:: SOT 2976764 SOS 1869870 HAS SOPS 1869870 HAS SOUS 1159863 HAS SOUPS 1159863 WITH SCORE 1161732.87
AT ITER 1070 NEW BEST:: SOT 2977062 SOS 1869628 HAS SOPS 1869628 HAS SOUS 1159621 HAS SOUPS 1159621 WITH SCORE 1161490.628
AT ITER 1074 NEW BEST:: SOT 2976803 SOS 1869516 HAS SOPS 1869516 HAS SOUS 1159304 HAS SOUPS 1159304 WITH SCORE 1161173.516
AT ITER 1075 NEW BEST:: SOT 2976803 SOS 1869504 HAS SOPS 1869504 HAS SOUS 1158933 HAS SOUPS 1158933 WITH SCORE 1160802.504
AT ITER 1093 NEW BEST:: SOT 2975713 SOS 1876878 HAS SOPS 1876878 HAS SOUS 1158654 HAS SOUPS 1158654 WITH SCORE 1160530.878
AT ITER 1095 NEW BEST:: SOT 2974215 SOS 1874867 HAS SOPS 1874867 HAS SOUS 1156330 HAS SOUPS 1156330 WITH SCORE 1158204.867
AT ITER 1096 NEW BEST:: SOT 2974486 SOS 1874867 HAS SOPS 1874867 HAS SOUS 1156059 HAS SOUPS 1156059 WITH SCORE 1157933.867
AT ITER 1098 NEW BEST:: SOT 2974243 SOS 1874624 HAS SOPS 1874624 HAS SOUS 1155821 HAS SOUPS 1155821 WITH SCORE 1157695.624
AT ITER 1105 NEW BEST:: SOT 2972849 SOS 1873230 HAS SOPS 1873230 HAS SOUS 1154713 HAS SOUPS 1154713 WITH SCORE 1156586.23
AT ITER 1106 NEW BEST:: SOT 2972766 SOS 1873147 HAS SOPS 1873147 HAS SOUS 1154630 HAS SOUPS 1154630 WITH SCORE 1156503.147
AT ITER 1108 NEW BEST:: SOT 2972766 SOS 1872970 HAS SOPS 1872970 HAS SOUS 1154356 HAS SOUPS 1154356 WITH SCORE 1156228.97
AT ITER 1115 NEW BEST:: SOT 2964175 SOS 1865126 HAS SOPS 1865126 HAS SOUS 1146039 HAS SOUPS 1146039 WITH SCORE 1147904.126
AT ITER 1116 NEW BEST:: SOT 2964726 SOS 1864261 HAS SOPS 1864261 HAS SOUS 1144478 HAS SOUPS 1144478 WITH SCORE 1146342.261
AT ITER 1121 NEW BEST:: SOT 2964252 SOS 1861019 HAS SOPS 1861019 HAS SOUS 1143296 HAS SOUPS 1143296 WITH SCORE 1145157.019
AT ITER 1124 NEW BEST:: SOT 2950495 SOS 1846444 HAS SOPS 1846444 HAS SOUS 1128721 HAS SOUPS 1128721 WITH SCORE 1130567.444
AT ITER 1125 NEW BEST:: SOT 2950374 SOS 1846323 HAS SOPS 1846323 HAS SOUS 1128600 HAS SOUPS 1128600 WITH SCORE 1130446.323
AT ITER 1128 NEW BEST:: SOT 2949944 SOS 1848319 HAS SOPS 1848319 HAS SOUS 1128503 HAS SOUPS 1128503 WITH SCORE 1130351.319
AT ITER 1138 NEW BEST:: SOT 2949417 SOS 1848238 HAS SOPS 1848238 HAS SOUS 1128422 HAS SOUPS 1128422 WITH SCORE 1130270.238
AT ITER 1150 NEW BEST:: SOT 2949417 SOS 1847982 HAS SOPS 1847982 HAS SOUS 1127644 HAS SOUPS 1127644 WITH SCORE 1129491.982
AT ITER 1151 NEW BEST:: SOT 2949413 SOS 1847868 HAS SOPS 1847868 HAS SOUS 1127642 HAS SOUPS 1127642 WITH SCORE 1129489.868
AT ITER 1161 NEW BEST:: SOT 2949412 SOS 1846300 HAS SOPS 1846300 HAS SOUS 1127640 HAS SOUPS 1127640 WITH SCORE 1129486.3
AT ITER 1174 NEW BEST:: SOT 2948872 SOS 1845233 HAS SOPS 1845233 HAS SOUS 1127442 HAS SOUPS 1127442 WITH SCORE 1129287.233
AT ITER 1183 NEW BEST:: SOT 2948788 SOS 1845064 HAS SOPS 1845064 HAS SOUS 1127054 HAS SOUPS 1127054 WITH SCORE 1128899.064
AT ITER 1192 NEW BEST:: SOT 2947643 SOS 1844764 HAS SOPS 1844764 HAS SOUS 1126754 HAS SOUPS 1126754 WITH SCORE 1128598.764
AT ITER 1196 NEW BEST:: SOT 2916296 SOS 1814108 HAS SOPS 1814108 HAS SOUS 1092961 HAS SOUPS 1092961 WITH SCORE 1094775.108
AT ITER 1200 NEW BEST:: SOT 2916296 SOS 1814082 HAS SOPS 1814082 HAS SOUS 1092935 HAS SOUPS 1092935 WITH SCORE 1094749.082
AT ITER 1201 NEW BEST:: SOT 2916296 SOS 1813154 HAS SOPS 1813154 HAS SOUS 1092935 HAS SOUPS 1092935 WITH SCORE 1094748.154
AT ITER 1209 NEW BEST:: SOT 2917076 SOS 1812944 HAS SOPS 1812944 HAS SOUS 1090849 HAS SOUPS 1090849 WITH SCORE 1092661.944
AT ITER 1210 NEW BEST:: SOT 2917047 SOS 1812612 HAS SOPS 1812612 HAS SOUS 1090517 HAS SOUPS 1090517 WITH SCORE 1092329.612
AT ITER 1218 NEW BEST:: SOT 2916910 SOS 1811762 HAS SOPS 1811762 HAS SOUS 1088272 HAS SOUPS 1088272 WITH SCORE 1090083.762
AT ITER 1224 NEW BEST:: SOT 2916751 SOS 1811553 HAS SOPS 1811553 HAS SOUS 1087960 HAS SOUPS 1087960 WITH SCORE 1089771.553
AT ITER 1226 NEW BEST:: SOT 2916549 SOS 1811351 HAS SOPS 1811351 HAS SOUS 1087758 HAS SOUPS 1087758 WITH SCORE 1089569.351
AT ITER 1227 NEW BEST:: SOT 2911203 SOS 1815956 HAS SOPS 1815956 HAS SOUS 1083770 HAS SOUPS 1083770 WITH SCORE 1085585.956
AT ITER 1229 NEW BEST:: SOT 2908595 SOS 1813316 HAS SOPS 1813316 HAS SOUS 1081130 HAS SOUPS 1081130 WITH SCORE 1082943.316
AT ITER 1230 NEW BEST:: SOT 2908595 SOS 1813252 HAS SOPS 1813252 HAS SOUS 1081130 HAS SOUPS 1081130 WITH SCORE 1082943.252
AT ITER 1237 NEW BEST:: SOT 2908594 SOS 1812711 HAS SOPS 1812711 HAS SOUS 1080757 HAS SOUPS 1080757 WITH SCORE 1082569.711
AT ITER 1256 NEW BEST:: SOT 2908594 SOS 1812558 HAS SOPS 1812558 HAS SOUS 1080630 HAS SOUPS 1080630 WITH SCORE 1082442.558
AT ITER 1262 NEW BEST:: SOT 2908497 SOS 1811881 HAS SOPS 1811881 HAS SOUS 1080261 HAS SOUPS 1080261 WITH SCORE 1082072.881
AT ITER 1263 NEW BEST:: SOT 2906119 SOS 1809503 HAS SOPS 1809503 HAS SOUS 1077883 HAS SOUPS 1077883 WITH SCORE 1079692.503
AT ITER 1265 NEW BEST:: SOT 2906839 SOS 1810142 HAS SOPS 1810142 HAS SOUS 1077643 HAS SOUPS 1077643 WITH SCORE 1079453.142
AT ITER 1272 NEW BEST:: SOT 2906839 SOS 1809688 HAS SOPS 1809688 HAS SOUS 1077495 HAS SOUPS 1077495 WITH SCORE 1079304.688
AT ITER 1282 NEW BEST:: SOT 2906634 SOS 1809278 HAS SOPS 1809278 HAS SOUS 1077306 HAS SOUPS 1077306 WITH SCORE 1079115.278
AT ITER 1291 NEW BEST:: SOT 2905415 SOS 1808119 HAS SOPS 1808119 HAS SOUS 1077084 HAS SOUPS 1077084 WITH SCORE 1078892.119
AT ITER 1294 NEW BEST:: SOT 2904804 SOS 1806697 HAS SOPS 1806697 HAS SOUS 1076360 HAS SOUPS 1076360 WITH SCORE 1078166.697
AT ITER 1302 NEW BEST:: SOT 2904479 SOS 1806372 HAS SOPS 1806372 HAS SOUS 1076035 HAS SOUPS 1076035 WITH SCORE 1077841.372
AT ITER 1303 NEW BEST:: SOT 2904479 SOS 1811423 HAS SOPS 1811423 HAS SOUS 1075803 HAS SOUPS 1075803 WITH SCORE 1077614.423
AT ITER 1304 NEW BEST:: SOT 2904479 SOS 1811417 HAS SOPS 1811417 HAS SOUS 1075797 HAS SOUPS 1075797 WITH SCORE 1077608.417
AT ITER 1311 NEW BEST:: SOT 2903853 SOS 1812356 HAS SOPS 1812356 HAS SOUS 1075171 HAS SOUPS 1075171 WITH SCORE 1076983.356
AT ITER 1317 NEW BEST:: SOT 2902805 SOS 1811308 HAS SOPS 1811308 HAS SOUS 1074101 HAS SOUPS 1074101 WITH SCORE 1075912.308
AT ITER 1321 NEW BEST:: SOT 2902805 SOS 1811307 HAS SOPS 1811307 HAS SOUS 1073860 HAS SOUPS 1073860 WITH SCORE 1075671.307
AT ITER 1335 NEW BEST:: SOT 2902738 SOS 1811173 HAS SOPS 1811173 HAS SOUS 1073726 HAS SOUPS 1073726 WITH SCORE 1075537.173
AT ITER 1347 NEW BEST:: SOT 2902666 SOS 1811101 HAS SOPS 1811101 HAS SOUS 1073654 HAS SOUPS 1073654 WITH SCORE 1075465.101
AT ITER 1354 NEW BEST:: SOT 2902782 SOS 1810505 HAS SOPS 1810505 HAS SOUS 1072878 HAS SOUPS 1072878 WITH SCORE 1074688.505
AT ITER 1355 NEW BEST:: SOT 2902782 SOS 1810317 HAS SOPS 1810317 HAS SOUS 1072874 HAS SOUPS 1072874 WITH SCORE 1074684.317
AT ITER 1356 NEW BEST:: SOT 2902782 SOS 1809945 HAS SOPS 1809945 HAS SOUS 1072502 HAS SOUPS 1072502 WITH SCORE 1074311.945
AT ITER 1361 NEW BEST:: SOT 2902782 SOS 1808826 HAS SOPS 1808826 HAS SOUS 1072170 HAS SOUPS 1072170 WITH SCORE 1073978.826
AT ITER 1362 NEW BEST:: SOT 2902782 SOS 1808826 HAS SOPS 1808826 HAS SOUS 1072168 HAS SOUPS 1072168 WITH SCORE 1073976.826
AT ITER 1363 NEW BEST:: SOT 2894328 SOS 1807995 HAS SOPS 1807995 HAS SOUS 1064500 HAS SOUPS 1064500 WITH SCORE 1066307.995
AT ITER 1367 NEW BEST:: SOT 2894326 SOS 1807992 HAS SOPS 1807992 HAS SOUS 1064497 HAS SOUPS 1064497 WITH SCORE 1066304.992
AT ITER 1368 NEW BEST:: SOT 2894383 SOS 1808049 HAS SOPS 1808049 HAS SOUS 1064440 HAS SOUPS 1064440 WITH SCORE 1066248.049
AT ITER 1369 NEW BEST:: SOT 2894299 SOS 1807881 HAS SOPS 1807881 HAS SOUS 1064272 HAS SOUPS 1064272 WITH SCORE 1066079.881
AT ITER 1372 NEW BEST:: SOT 2894243 SOS 1807825 HAS SOPS 1807825 HAS SOUS 1064268 HAS SOUPS 1064268 WITH SCORE 1066075.825
AT ITER 1373 NEW BEST:: SOT 2893948 SOS 1807235 HAS SOPS 1807235 HAS SOUS 1063678 HAS SOUPS 1063678 WITH SCORE 1065485.235
AT ITER 1374 NEW BEST:: SOT 2893669 SOS 1808237 HAS SOPS 1808237 HAS SOUS 1063223 HAS SOUPS 1063223 WITH SCORE 1065031.237
AT ITER 1382 NEW BEST:: SOT 2893285 SOS 1807853 HAS SOPS 1807853 HAS SOUS 1063221 HAS SOUPS 1063221 WITH SCORE 1065028.853
AT ITER 1387 NEW BEST:: SOT 2892325 SOS 1806893 HAS SOPS 1806893 HAS SOUS 1062737 HAS SOUPS 1062737 WITH SCORE 1064543.893
AT ITER 1394 NEW BEST:: SOT 2892042 SOS 1806805 HAS SOPS 1806805 HAS SOUS 1062649 HAS SOUPS 1062649 WITH SCORE 1064455.805
AT ITER 1416 NEW BEST:: SOT 2892029 SOS 1806792 HAS SOPS 1806792 HAS SOUS 1062637 HAS SOUPS 1062637 WITH SCORE 1064443.792
AT ITER 1419 NEW BEST:: SOT 2891822 SOS 1806171 HAS SOPS 1806171 HAS SOUS 1062220 HAS SOUPS 1062220 WITH SCORE 1064026.171
AT ITER 1427 NEW BEST:: SOT 2888749 SOS 1801562 HAS SOPS 1801562 HAS SOUS 1059310 HAS SOUPS 1059310 WITH SCORE 1061111.562
AT ITER 1430 NEW BEST:: SOT 2888749 SOS 1800944 HAS SOPS 1800944 HAS SOUS 1059196 HAS SOUPS 1059196 WITH SCORE 1060996.944
AT ITER 1446 NEW BEST:: SOT 2888699 SOS 1800894 HAS SOPS 1800894 HAS SOUS 1059145 HAS SOUPS 1059145 WITH SCORE 1060945.894
AT ITER 1449 NEW BEST:: SOT 2888694 SOS 1800690 HAS SOPS 1800690 HAS SOUS 1058609 HAS SOUPS 1058609 WITH SCORE 1060409.69
AT ITER 1450 NEW BEST:: SOT 2885022 SOS 1797018 HAS SOPS 1797018 HAS SOUS 1054937 HAS SOUPS 1054937 WITH SCORE 1056734.018
AT ITER 1452 NEW BEST:: SOT 2886469 SOS 1799017 HAS SOPS 1799017 HAS SOUS 1053980 HAS SOUPS 1053980 WITH SCORE 1055779.017
AT ITER 1469 NEW BEST:: SOT 2886467 SOS 1798937 HAS SOPS 1798937 HAS SOUS 1053926 HAS SOUPS 1053926 WITH SCORE 1055724.937
AT ITER 1474 NEW BEST:: SOT 2886467 SOS 1798575 HAS SOPS 1798575 HAS SOUS 1053744 HAS SOUPS 1053744 WITH SCORE 1055542.575
AT ITER 1485 NEW BEST:: SOT 2886950 SOS 1798074 HAS SOPS 1798074 HAS SOUS 1053726 HAS SOUPS 1053726 WITH SCORE 1055524.074
AT ITER 1486 NEW BEST:: SOT 2886964 SOS 1795401 HAS SOPS 1795401 HAS SOUS 1053501 HAS SOUPS 1053501 WITH SCORE 1055296.401
AT ITER 1487 NEW BEST:: SOT 2886475 SOS 1794183 HAS SOPS 1794183 HAS SOUS 1052523 HAS SOUPS 1052523 WITH SCORE 1054317.183
AT ITER 1488 NEW BEST:: SOT 2886454 SOS 1793118 HAS SOPS 1793118 HAS SOUS 1052148 HAS SOUPS 1052148 WITH SCORE 1053941.118
AT ITER 1495 NEW BEST:: SOT 2886442 SOS 1793031 HAS SOPS 1793031 HAS SOUS 1052061 HAS SOUPS 1052061 WITH SCORE 1053854.031
AT ITER 1517 NEW BEST:: SOT 2886442 SOS 1792417 HAS SOPS 1792417 HAS SOUS 1051928 HAS SOUPS 1051928 WITH SCORE 1053720.417
AT ITER 1533 NEW BEST:: SOT 2886442 SOS 1791573 HAS SOPS 1791573 HAS SOUS 1051536 HAS SOUPS 1051536 WITH SCORE 1053327.573
AT ITER 1539 NEW BEST:: SOT 2886136 SOS 1791267 HAS SOPS 1791267 HAS SOUS 1051191 HAS SOUPS 1051191 WITH SCORE 1052982.267
AT ITER 1549 NEW BEST:: SOT 2886136 SOS 1787950 HAS SOPS 1787950 HAS SOUS 1050817 HAS SOUPS 1050817 WITH SCORE 1052604.95
AT ITER 1563 NEW BEST:: SOT 2886293 SOS 1787689 HAS SOPS 1787689 HAS SOUS 1050322 HAS SOUPS 1050322 WITH SCORE 1052109.689
AT ITER 1564 NEW BEST:: SOT 2886696 SOS 1787689 HAS SOPS 1787689 HAS SOUS 1049516 HAS SOUPS 1049516 WITH SCORE 1051303.689
AT ITER 1577 NEW BEST:: SOT 2886060 SOS 1786423 HAS SOPS 1786423 HAS SOUS 1048861 HAS SOUPS 1048861 WITH SCORE 1050647.423
AT ITER 1602 NEW BEST:: SOT 2885811 SOS 1786174 HAS SOPS 1786174 HAS SOUS 1048612 HAS SOUPS 1048612 WITH SCORE 1050398.174
AT ITER 1605 NEW BEST:: SOT 2885811 SOS 1785735 HAS SOPS 1785735 HAS SOUS 1048609 HAS SOUPS 1048609 WITH SCORE 1050394.735
AT ITER 1613 NEW BEST:: SOT 2885810 SOS 1785734 HAS SOPS 1785734 HAS SOUS 1048607 HAS SOUPS 1048607 WITH SCORE 1050392.734
AT ITER 1614 NEW BEST:: SOT 2885247 SOS 1784935 HAS SOPS 1784935 HAS SOUS 1047574 HAS SOUPS 1047574 WITH SCORE 1049358.935
AT ITER 1615 NEW BEST:: SOT 2884349 SOS 1784037 HAS SOPS 1784037 HAS SOUS 1047396 HAS SOUPS 1047396 WITH SCORE 1049180.037
AT ITER 1617 NEW BEST:: SOT 2883773 SOS 1782604 HAS SOPS 1782604 HAS SOUS 1045983 HAS SOUPS 1045983 WITH SCORE 1047765.604
AT ITER 1627 NEW BEST:: SOT 2879549 SOS 1778380 HAS SOPS 1778380 HAS SOUS 1041758 HAS SOUPS 1041758 WITH SCORE 1043536.38
AT ITER 1628 NEW BEST:: SOT 2879537 SOS 1778356 HAS SOPS 1778356 HAS SOUS 1041711 HAS SOUPS 1041711 WITH SCORE 1043489.356
AT ITER 1634 NEW BEST:: SOT 2879531 SOS 1778350 HAS SOPS 1778350 HAS SOUS 1041705 HAS SOUPS 1041705 WITH SCORE 1043483.35
AT ITER 1635 NEW BEST:: SOT 2874565 SOS 1773384 HAS SOPS 1773384 HAS SOUS 1036738 HAS SOUPS 1036738 WITH SCORE 1038511.384
AT ITER 1638 NEW BEST:: SOT 2874565 SOS 1772944 HAS SOPS 1772944 HAS SOUS 1036738 HAS SOUPS 1036738 WITH SCORE 1038510.944
AT ITER 1642 NEW BEST:: SOT 2874565 SOS 1771254 HAS SOPS 1771254 HAS SOUS 1035048 HAS SOUPS 1035048 WITH SCORE 1036819.254
AT ITER 1652 NEW BEST:: SOT 2874565 SOS 1769902 HAS SOPS 1769902 HAS SOUS 1034237 HAS SOUPS 1034237 WITH SCORE 1036006.902
AT ITER 1653 NEW BEST:: SOT 2874504 SOS 1769841 HAS SOPS 1769841 HAS SOUS 1034176 HAS SOUPS 1034176 WITH SCORE 1035945.841
AT ITER 1654 NEW BEST:: SOT 2873730 SOS 1767978 HAS SOPS 1767978 HAS SOUS 1033315 HAS SOUPS 1033315 WITH SCORE 1035082.978
AT ITER 1679 NEW BEST:: SOT 2873730 SOS 1767804 HAS SOPS 1767804 HAS SOUS 1033302 HAS SOUPS 1033302 WITH SCORE 1035069.804
AT ITER 1684 NEW BEST:: SOT 2873730 SOS 1767802 HAS SOPS 1767802 HAS SOUS 1033300 HAS SOUPS 1033300 WITH SCORE 1035067.802
AT ITER 1687 NEW BEST:: SOT 2872066 SOS 1766389 HAS SOPS 1766389 HAS SOUS 1030754 HAS SOUPS 1030754 WITH SCORE 1032520.389
AT ITER 1695 NEW BEST:: SOT 2871281 SOS 1762195 HAS SOPS 1762195 HAS SOUS 1029184 HAS SOUPS 1029184 WITH SCORE 1030946.195
AT ITER 1700 NEW BEST:: SOT 2866526 SOS 1757440 HAS SOPS 1757440 HAS SOUS 1024429 HAS SOUPS 1024429 WITH SCORE 1026186.44
AT ITER 1705 NEW BEST:: SOT 2865986 SOS 1756636 HAS SOPS 1756636 HAS SOUS 1023102 HAS SOUPS 1023102 WITH SCORE 1024858.636
AT ITER 1706 NEW BEST:: SOT 2865511 SOS 1754911 HAS SOPS 1754911 HAS SOUS 1021814 HAS SOUPS 1021814 WITH SCORE 1023568.911
AT ITER 1711 NEW BEST:: SOT 2865181 SOS 1754581 HAS SOPS 1754581 HAS SOUS 1021484 HAS SOUPS 1021484 WITH SCORE 1023238.581
AT ITER 1727 NEW BEST:: SOT 2864943 SOS 1754343 HAS SOPS 1754343 HAS SOUS 1021246 HAS SOUPS 1021246 WITH SCORE 1023000.343
AT ITER 1745 NEW BEST:: SOT 2864937 SOS 1753614 HAS SOPS 1753614 HAS SOUS 1021234 HAS SOUPS 1021234 WITH SCORE 1022987.614
AT ITER 1747 NEW BEST:: SOT 2864760 SOS 1753437 HAS SOPS 1753437 HAS SOUS 1021232 HAS SOUPS 1021232 WITH SCORE 1022985.437
AT ITER 1752 NEW BEST:: SOT 2863595 SOS 1752240 HAS SOPS 1752240 HAS SOUS 1020035 HAS SOUPS 1020035 WITH SCORE 1021787.24
AT ITER 1758 NEW BEST:: SOT 2864106 SOS 1752233 HAS SOPS 1752233 HAS SOUS 1019508 HAS SOUPS 1019508 WITH SCORE 1021260.233
AT ITER 1775 NEW BEST:: SOT 2864037 SOS 1752026 HAS SOPS 1752026 HAS SOUS 1019357 HAS SOUPS 1019357 WITH SCORE 1021109.026
AT ITER 1784 NEW BEST:: SOT 2864037 SOS 1752026 HAS SOPS 1752026 HAS SOUS 1019356 HAS SOUPS 1019356 WITH SCORE 1021108.026
AT ITER 1787 NEW BEST:: SOT 2863799 SOS 1751788 HAS SOPS 1751788 HAS SOUS 1019118 HAS SOUPS 1019118 WITH SCORE 1020869.788
AT ITER 1789 NEW BEST:: SOT 2863799 SOS 1751788 HAS SOPS 1751788 HAS SOUS 1019117 HAS SOUPS 1019117 WITH SCORE 1020868.788
AT ITER 1804 NEW BEST:: SOT 2857888 SOS 1744200 HAS SOPS 1744200 HAS SOUS 1011529 HAS SOUPS 1011529 WITH SCORE 1013273.2
AT ITER 1815 NEW BEST:: SOT 2850382 SOS 1736835 HAS SOPS 1736835 HAS SOUS 1003937 HAS SOUPS 1003937 WITH SCORE 1005673.835
AT ITER 1822 NEW BEST:: SOT 2850382 SOS 1736614 HAS SOPS 1736614 HAS SOUS 1003605 HAS SOUPS 1003605 WITH SCORE 1005341.614
AT ITER 1839 NEW BEST:: SOT 2850382 SOS 1736614 HAS SOPS 1736614 HAS SOUS 1003565 HAS SOUPS 1003565 WITH SCORE 1005301.614
AT ITER 1841 NEW BEST:: SOT 2850378 SOS 1736610 HAS SOPS 1736610 HAS SOUS 1003561 HAS SOUPS 1003561 WITH SCORE 1005297.61
AT ITER 1844 NEW BEST:: SOT 2850378 SOS 1736604 HAS SOPS 1736604 HAS SOUS 1003556 HAS SOUPS 1003556 WITH SCORE 1005292.604
AT ITER 1847 NEW BEST:: SOT 2849602 SOS 1735827 HAS SOPS 1735827 HAS SOUS 1002779 HAS SOUPS 1002779 WITH SCORE 1004514.827
AT ITER 1849 NEW BEST:: SOT 2849602 SOS 1735827 HAS SOPS 1735827 HAS SOUS 1002756 HAS SOUPS 1002756 WITH SCORE 1004491.827
AT ITER 1853 NEW BEST:: SOT 2849945 SOS 1735360 HAS SOPS 1735360 HAS SOUS 1002289 HAS SOUPS 1002289 WITH SCORE 1004024.36
AT ITER 1857 NEW BEST:: SOT 2847839 SOS 1733611 HAS SOPS 1733611 HAS SOUS 999994 HAS SOUPS 999994 WITH SCORE 1001727.611
AT ITER 1869 NEW BEST:: SOT 2847839 SOS 1737200 HAS SOPS 1737200 HAS SOUS 999920 HAS SOUPS 999920 WITH SCORE 1001657.2
AT ITER 1876 NEW BEST:: SOT 2847032 SOS 1736066 HAS SOPS 1736066 HAS SOUS 998708 HAS SOUPS 998708 WITH SCORE 1000444.066
AT ITER 1877 NEW BEST:: SOT 2846754 SOS 1735788 HAS SOPS 1735788 HAS SOUS 998429 HAS SOUPS 998429 WITH SCORE 1000164.788
AT ITER 1889 NEW BEST:: SOT 2846754 SOS 1735785 HAS SOPS 1735785 HAS SOUS 998426 HAS SOUPS 998426 WITH SCORE 1000161.785
AT ITER 1893 NEW BEST:: SOT 2846922 SOS 1735953 HAS SOPS 1735953 HAS SOUS 998336 HAS SOUPS 998336 WITH SCORE 1000071.953
AT ITER 1899 NEW BEST:: SOT 2846922 SOS 1735407 HAS SOPS 1735407 HAS SOUS 998336 HAS SOUPS 998336 WITH SCORE 1000071.407
AT ITER 1901 NEW BEST:: SOT 2846953 SOS 1734807 HAS SOPS 1734807 HAS SOUS 997736 HAS SOUPS 997736 WITH SCORE 999470.807
AT ITER 1915 NEW BEST:: SOT 2846890 SOS 1734303 HAS SOPS 1734303 HAS SOUS 997610 HAS SOUPS 997610 WITH SCORE 999344.303
AT ITER 1938 NEW BEST:: SOT 2840120 SOS 1727051 HAS SOPS 1727051 HAS SOUS 990396 HAS SOUPS 990396 WITH SCORE 992123.051
AT ITER 1939 NEW BEST:: SOT 2840057 SOS 1728133 HAS SOPS 1728133 HAS SOUS 990333 HAS SOUPS 990333 WITH SCORE 992061.133
AT ITER 1955 NEW BEST:: SOT 2839038 SOS 1728474 HAS SOPS 1728474 HAS SOUS 989549 HAS SOUPS 989549 WITH SCORE 991277.474
AT ITER 1956 NEW BEST:: SOT 2838399 SOS 1727835 HAS SOPS 1727835 HAS SOUS 988955 HAS SOUPS 988955 WITH SCORE 990682.835
AT ITER 1960 NEW BEST:: SOT 2837854 SOS 1725883 HAS SOPS 1725883 HAS SOUS 987865 HAS SOUPS 987865 WITH SCORE 989590.883
AT ITER 1969 NEW BEST:: SOT 2837849 SOS 1725878 HAS SOPS 1725878 HAS SOUS 987860 HAS SOUPS 987860 WITH SCORE 989585.878
AT ITER 1970 NEW BEST:: SOT 2821869 SOS 1709898 HAS SOPS 1709898 HAS SOUS 971880 HAS SOUPS 971880 WITH SCORE 973589.898
AT ITER 1974 NEW BEST:: SOT 2817442 SOS 1713719 HAS SOPS 1713719 HAS SOUS 970829 HAS SOUPS 970829 WITH SCORE 972542.719
AT ITER 1995 NEW BEST:: SOT 2817016 SOS 1713284 HAS SOPS 1713284 HAS SOUS 970394 HAS SOUPS 970394 WITH SCORE 972107.284
AT ITER 2015 NEW BEST:: SOT 2811418 SOS 1707963 HAS SOPS 1707963 HAS SOUS 964856 HAS SOUPS 964856 WITH SCORE 966563.963
AT ITER 2019 NEW BEST:: SOT 2805356 SOS 1701901 HAS SOPS 1701901 HAS SOUS 958794 HAS SOUPS 958794 WITH SCORE 960495.901
AT ITER 2023 NEW BEST:: SOT 2802365 SOS 1698910 HAS SOPS 1698910 HAS SOUS 955803 HAS SOUPS 955803 WITH SCORE 957501.91
AT ITER 2031 NEW BEST:: SOT 2802218 SOS 1698763 HAS SOPS 1698763 HAS SOUS 955654 HAS SOUPS 955654 WITH SCORE 957352.763
AT ITER 2036 NEW BEST:: SOT 2802212 SOS 1698753 HAS SOPS 1698753 HAS SOUS 955554 HAS SOUPS 955554 WITH SCORE 957252.753
AT ITER 2037 NEW BEST:: SOT 2802512 SOS 1698604 HAS SOPS 1698604 HAS SOUS 955405 HAS SOUPS 955405 WITH SCORE 957103.604
AT ITER 2045 NEW BEST:: SOT 2802481 SOS 1698573 HAS SOPS 1698573 HAS SOUS 955374 HAS SOUPS 955374 WITH SCORE 957072.573
AT ITER 2047 NEW BEST:: SOT 2802479 SOS 1698972 HAS SOPS 1698972 HAS SOUS 955372 HAS SOUPS 955372 WITH SCORE 957070.972
AT ITER 2051 NEW BEST:: SOT 2801487 SOS 1696040 HAS SOPS 1696040 HAS SOUS 953361 HAS SOUPS 953361 WITH SCORE 955057.04
AT ITER 2052 NEW BEST:: SOT 2801487 SOS 1695491 HAS SOPS 1695491 HAS SOUS 953361 HAS SOUPS 953361 WITH SCORE 955056.491
AT ITER 2056 NEW BEST:: SOT 2796843 SOS 1690847 HAS SOPS 1690847 HAS SOUS 948717 HAS SOUPS 948717 WITH SCORE 950407.847
AT ITER 2061 NEW BEST:: SOT 2796843 SOS 1689725 HAS SOPS 1689725 HAS SOUS 948117 HAS SOUPS 948117 WITH SCORE 949806.725
AT ITER 2063 NEW BEST:: SOT 2790914 SOS 1683796 HAS SOPS 1683796 HAS SOUS 942187 HAS SOUPS 942187 WITH SCORE 943870.796
AT ITER 2072 NEW BEST:: SOT 2790557 SOS 1683471 HAS SOPS 1683471 HAS SOUS 941415 HAS SOUPS 941415 WITH SCORE 943098.471
AT ITER 2073 NEW BEST:: SOT 2790540 SOS 1683337 HAS SOPS 1683337 HAS SOUS 941381 HAS SOUPS 941381 WITH SCORE 943064.337
AT ITER 2074 NEW BEST:: SOT 2790469 SOS 1683163 HAS SOPS 1683163 HAS SOUS 941104 HAS SOUPS 941104 WITH SCORE 942787.163
AT ITER 2097 NEW BEST:: SOT 2790377 SOS 1681633 HAS SOPS 1681633 HAS SOUS 941063 HAS SOUPS 941063 WITH SCORE 942744.633
AT ITER 2100 NEW BEST:: SOT 2789722 SOS 1680978 HAS SOPS 1680978 HAS SOUS 940398 HAS SOUPS 940398 WITH SCORE 942078.978
AT ITER 2104 NEW BEST:: SOT 2789388 SOS 1677972 HAS SOPS 1677972 HAS SOUS 939730 HAS SOUPS 939730 WITH SCORE 941407.972
AT ITER 2106 NEW BEST:: SOT 2789102 SOS 1677772 HAS SOPS 1677772 HAS SOUS 939705 HAS SOUPS 939705 WITH SCORE 941382.772
AT ITER 2109 NEW BEST:: SOT 2789062 SOS 1677692 HAS SOPS 1677692 HAS SOUS 939623 HAS SOUPS 939623 WITH SCORE 941300.692
AT ITER 2114 NEW BEST:: SOT 2788954 SOS 1677368 HAS SOPS 1677368 HAS SOUS 939407 HAS SOUPS 939407 WITH SCORE 941084.368
AT ITER 2135 NEW BEST:: SOT 2788938 SOS 1677336 HAS SOPS 1677336 HAS SOUS 939375 HAS SOUPS 939375 WITH SCORE 941052.336
AT ITER 2140 NEW BEST:: SOT 2788448 SOS 1675866 HAS SOPS 1675866 HAS SOUS 937905 HAS SOUPS 937905 WITH SCORE 939580.866
AT ITER 2141 NEW BEST:: SOT 2788448 SOS 1675866 HAS SOPS 1675866 HAS SOUS 937754 HAS SOUPS 937754 WITH SCORE 939429.866
AT ITER 2151 NEW BEST:: SOT 2785021 SOS 1672340 HAS SOPS 1672340 HAS SOUS 934496 HAS SOUPS 934496 WITH SCORE 936168.34
AT ITER 2158 NEW BEST:: SOT 2784981 SOS 1672300 HAS SOPS 1672300 HAS SOUS 934456 HAS SOUPS 934456 WITH SCORE 936128.3
AT ITER 2159 NEW BEST:: SOT 2784980 SOS 1670250 HAS SOPS 1670250 HAS SOUS 934376 HAS SOUPS 934376 WITH SCORE 936046.25
AT ITER 2164 NEW BEST:: SOT 2784839 SOS 1668824 HAS SOPS 1668824 HAS SOUS 934048 HAS SOUPS 934048 WITH SCORE 935716.824
AT ITER 2168 NEW BEST:: SOT 2784809 SOS 1668823 HAS SOPS 1668823 HAS SOUS 934044 HAS SOUPS 934044 WITH SCORE 935712.823
AT ITER 2186 NEW BEST:: SOT 2784424 SOS 1666308 HAS SOPS 1666308 HAS SOUS 933272 HAS SOUPS 933272 WITH SCORE 934938.308
AT ITER 2187 NEW BEST:: SOT 2784239 SOS 1666494 HAS SOPS 1666494 HAS SOUS 932732 HAS SOUPS 932732 WITH SCORE 934398.494
AT ITER 2195 NEW BEST:: SOT 2784321 SOS 1666386 HAS SOPS 1666386 HAS SOUS 932441 HAS SOUPS 932441 WITH SCORE 934107.386
AT ITER 2205 NEW BEST:: SOT 2780536 SOS 1667377 HAS SOPS 1667377 HAS SOUS 929135 HAS SOUPS 929135 WITH SCORE 930802.377
AT ITER 2208 NEW BEST:: SOT 2780557 SOS 1667375 HAS SOPS 1667375 HAS SOUS 929131 HAS SOUPS 929131 WITH SCORE 930798.375
AT ITER 2216 NEW BEST:: SOT 2780557 SOS 1667375 HAS SOPS 1667375 HAS SOUS 929089 HAS SOUPS 929089 WITH SCORE 930756.375
AT ITER 2228 NEW BEST:: SOT 2780443 SOS 1667261 HAS SOPS 1667261 HAS SOUS 929030 HAS SOUPS 929030 WITH SCORE 930697.261
AT ITER 2229 NEW BEST:: SOT 2780343 SOS 1667111 HAS SOPS 1667111 HAS SOUS 928880 HAS SOUPS 928880 WITH SCORE 930547.111
AT ITER 2230 NEW BEST:: SOT 2779314 SOS 1666082 HAS SOPS 1666082 HAS SOUS 927935 HAS SOUPS 927935 WITH SCORE 929601.082
AT ITER 2233 NEW BEST:: SOT 2779314 SOS 1666958 HAS SOPS 1666958 HAS SOUS 927789 HAS SOUPS 927789 WITH SCORE 929455.958
AT ITER 2240 NEW BEST:: SOT 2778519 SOS 1666220 HAS SOPS 1666220 HAS SOUS 927786 HAS SOUPS 927786 WITH SCORE 929452.22
AT ITER 2251 NEW BEST:: SOT 2778517 SOS 1666092 HAS SOPS 1666092 HAS SOUS 927782 HAS SOUPS 927782 WITH SCORE 929448.092
AT ITER 2254 NEW BEST:: SOT 2778188 SOS 1665361 HAS SOPS 1665361 HAS SOUS 927051 HAS SOUPS 927051 WITH SCORE 928716.361
AT ITER 2259 NEW BEST:: SOT 2778042 SOS 1664541 HAS SOPS 1664541 HAS SOUS 927051 HAS SOUPS 927051 WITH SCORE 928715.541
AT ITER 2267 NEW BEST:: SOT 2778042 SOS 1664226 HAS SOPS 1664226 HAS SOUS 926736 HAS SOUPS 926736 WITH SCORE 928400.226
AT ITER 2268 NEW BEST:: SOT 2777363 SOS 1663391 HAS SOPS 1663391 HAS SOUS 925665 HAS SOUPS 925665 WITH SCORE 927328.391
AT ITER 2274 NEW BEST:: SOT 2776829 SOS 1662013 HAS SOPS 1662013 HAS SOUS 924287 HAS SOUPS 924287 WITH SCORE 925949.013
AT ITER 2284 NEW BEST:: SOT 2777089 SOS 1662260 HAS SOPS 1662260 HAS SOUS 923662 HAS SOUPS 923662 WITH SCORE 925324.26
AT ITER 2290 NEW BEST:: SOT 2777089 SOS 1663115 HAS SOPS 1663115 HAS SOUS 923356 HAS SOUPS 923356 WITH SCORE 925019.115
AT ITER 2291 NEW BEST:: SOT 2777048 SOS 1663074 HAS SOPS 1663074 HAS SOUS 923356 HAS SOUPS 923356 WITH SCORE 925019.074
AT ITER 2292 NEW BEST:: SOT 2775630 SOS 1661422 HAS SOPS 1661422 HAS SOUS 922596 HAS SOUPS 922596 WITH SCORE 924257.422
AT ITER 2295 NEW BEST:: SOT 2775470 SOS 1660897 HAS SOPS 1660897 HAS SOUS 922261 HAS SOUPS 922261 WITH SCORE 923921.897
AT ITER 2301 NEW BEST:: SOT 2774920 SOS 1660347 HAS SOPS 1660347 HAS SOUS 921633 HAS SOUPS 921633 WITH SCORE 923293.347
AT ITER 2302 NEW BEST:: SOT 2774919 SOS 1660266 HAS SOPS 1660266 HAS SOUS 921631 HAS SOUPS 921631 WITH SCORE 923291.266
AT ITER 2306 NEW BEST:: SOT 2774919 SOS 1659766 HAS SOPS 1659766 HAS SOUS 921631 HAS SOUPS 921631 WITH SCORE 923290.766
AT ITER 2308 NEW BEST:: SOT 2774659 SOS 1659297 HAS SOPS 1659297 HAS SOUS 920693 HAS SOUPS 920693 WITH SCORE 922352.297
AT ITER 2313 NEW BEST:: SOT 2774403 SOS 1659249 HAS SOPS 1659249 HAS SOUS 920645 HAS SOUPS 920645 WITH SCORE 922304.249
AT ITER 2314 NEW BEST:: SOT 2774379 SOS 1659225 HAS SOPS 1659225 HAS SOUS 920621 HAS SOUPS 920621 WITH SCORE 922280.225
AT ITER 2328 NEW BEST:: SOT 2774036 SOS 1658874 HAS SOPS 1658874 HAS SOUS 920277 HAS SOUPS 920277 WITH SCORE 921935.874
AT ITER 2333 NEW BEST:: SOT 2773061 SOS 1657894 HAS SOPS 1657894 HAS SOUS 919297 HAS SOUPS 919297 WITH SCORE 920954.894
AT ITER 2344 NEW BEST:: SOT 2772281 SOS 1656334 HAS SOPS 1656334 HAS SOUS 917737 HAS SOUPS 917737 WITH SCORE 919393.334
AT ITER 2350 NEW BEST:: SOT 2771556 SOS 1655609 HAS SOPS 1655609 HAS SOUS 916891 HAS SOUPS 916891 WITH SCORE 918546.609
AT ITER 2352 NEW BEST:: SOT 2767251 SOS 1651444 HAS SOPS 1651444 HAS SOUS 915751 HAS SOUPS 915751 WITH SCORE 917402.444
AT ITER 2362 NEW BEST:: SOT 2761980 SOS 1646173 HAS SOPS 1646173 HAS SOUS 910480 HAS SOUPS 910480 WITH SCORE 912126.173
AT ITER 2364 NEW BEST:: SOT 2761344 SOS 1645537 HAS SOPS 1645537 HAS SOUS 910043 HAS SOUPS 910043 WITH SCORE 911688.537
AT ITER 2367 NEW BEST:: SOT 2758483 SOS 1642724 HAS SOPS 1642724 HAS SOUS 907230 HAS SOUPS 907230 WITH SCORE 908872.724
AT ITER 2408 NEW BEST:: SOT 2757444 SOS 1641832 HAS SOPS 1641832 HAS SOUS 905941 HAS SOUPS 905941 WITH SCORE 907582.832
AT ITER 2422 NEW BEST:: SOT 2756675 SOS 1639008 HAS SOPS 1639008 HAS SOUS 904071 HAS SOUPS 904071 WITH SCORE 905710.008
AT ITER 2428 NEW BEST:: SOT 2758180 SOS 1641042 HAS SOPS 1641042 HAS SOUS 903663 HAS SOUPS 903663 WITH SCORE 905304.042
AT ITER 2430 NEW BEST:: SOT 2758120 SOS 1640982 HAS SOPS 1640982 HAS SOUS 903542 HAS SOUPS 903542 WITH SCORE 905182.982
AT ITER 2431 NEW BEST:: SOT 2758020 SOS 1640882 HAS SOPS 1640882 HAS SOUS 903442 HAS SOUPS 903442 WITH SCORE 905082.882
AT ITER 2434 NEW BEST:: SOT 2757053 SOS 1639514 HAS SOPS 1639514 HAS SOUS 902074 HAS SOUPS 902074 WITH SCORE 903713.514
AT ITER 2444 NEW BEST:: SOT 2756893 SOS 1639353 HAS SOPS 1639353 HAS SOUS 901913 HAS SOUPS 901913 WITH SCORE 903552.353
AT ITER 2461 NEW BEST:: SOT 2756893 SOS 1639334 HAS SOPS 1639334 HAS SOUS 901913 HAS SOUPS 901913 WITH SCORE 903552.334
AT ITER 2464 NEW BEST:: SOT 2757125 SOS 1638708 HAS SOPS 1638708 HAS SOUS 901909 HAS SOUPS 901909 WITH SCORE 903547.708
AT ITER 2476 NEW BEST:: SOT 2757124 SOS 1638707 HAS SOPS 1638707 HAS SOUS 901907 HAS SOUPS 901907 WITH SCORE 903545.707
AT ITER 2485 NEW BEST:: SOT 2757014 SOS 1638597 HAS SOPS 1638597 HAS SOUS 901812 HAS SOUPS 901812 WITH SCORE 903450.597
AT ITER 2495 NEW BEST:: SOT 2757014 SOS 1637951 HAS SOPS 1637951 HAS SOUS 901753 HAS SOUPS 901753 WITH SCORE 903390.951
AT ITER 2496 NEW BEST:: SOT 2756968 SOS 1637905 HAS SOPS 1637905 HAS SOUS 901707 HAS SOUPS 901707 WITH SCORE 903344.905
AT ITER 2508 NEW BEST:: SOT 2755141 SOS 1636483 HAS SOPS 1636483 HAS SOUS 900272 HAS SOUPS 900272 WITH SCORE 901908.483
AT ITER 2512 NEW BEST:: SOT 2755130 SOS 1636430 HAS SOPS 1636430 HAS SOUS 900255 HAS SOUPS 900255 WITH SCORE 901891.43
AT ITER 2513 NEW BEST:: SOT 2754992 SOS 1636292 HAS SOPS 1636292 HAS SOUS 899979 HAS SOUPS 899979 WITH SCORE 901615.292
AT ITER 2518 NEW BEST:: SOT 2754540 SOS 1635900 HAS SOPS 1635900 HAS SOUS 899589 HAS SOUPS 899589 WITH SCORE 901224.9
AT ITER 2522 NEW BEST:: SOT 2754112 SOS 1635049 HAS SOPS 1635049 HAS SOUS 898648 HAS SOUPS 898648 WITH SCORE 900283.049
AT ITER 2525 NEW BEST:: SOT 2752960 SOS 1630586 HAS SOPS 1630586 HAS SOUS 896344 HAS SOUPS 896344 WITH SCORE 897974.586
AT ITER 2529 NEW BEST:: SOT 2750797 SOS 1649967 HAS SOPS 1649967 HAS SOUS 896186 HAS SOUPS 896186 WITH SCORE 897835.967
AT ITER 2531 NEW BEST:: SOT 2750797 SOS 1649967 HAS SOPS 1649967 HAS SOUS 896180 HAS SOUPS 896180 WITH SCORE 897829.967
AT ITER 2532 NEW BEST:: SOT 2750593 SOS 1649730 HAS SOPS 1649730 HAS SOUS 895937 HAS SOUPS 895937 WITH SCORE 897586.73
AT ITER 2535 NEW BEST:: SOT 2750490 SOS 1649627 HAS SOPS 1649627 HAS SOUS 895827 HAS SOUPS 895827 WITH SCORE 897476.627
AT ITER 2536 NEW BEST:: SOT 2747938 SOS 1647075 HAS SOPS 1647075 HAS SOUS 893211 HAS SOUPS 893211 WITH SCORE 894858.075
AT ITER 2540 NEW BEST:: SOT 2747600 SOS 1646600 HAS SOPS 1646600 HAS SOUS 892736 HAS SOUPS 892736 WITH SCORE 894382.6
AT ITER 2550 NEW BEST:: SOT 2747025 SOS 1646025 HAS SOPS 1646025 HAS SOUS 892241 HAS SOUPS 892241 WITH SCORE 893887.025
AT ITER 2554 NEW BEST:: SOT 2746746 SOS 1644322 HAS SOPS 1644322 HAS SOUS 891315 HAS SOUPS 891315 WITH SCORE 892959.322
AT ITER 2560 NEW BEST:: SOT 2746040 SOS 1643450 HAS SOPS 1643450 HAS SOUS 891112 HAS SOUPS 891112 WITH SCORE 892755.45
AT ITER 2564 NEW BEST:: SOT 2745789 SOS 1643417 HAS SOPS 1643417 HAS SOUS 891050 HAS SOUPS 891050 WITH SCORE 892693.417
AT ITER 2578 NEW BEST:: SOT 2744661 SOS 1642207 HAS SOPS 1642207 HAS SOUS 889445 HAS SOUPS 889445 WITH SCORE 891087.207
AT ITER 2592 NEW BEST:: SOT 2744212 SOS 1641757 HAS SOPS 1641757 HAS SOUS 888995 HAS SOUPS 888995 WITH SCORE 890636.757
AT ITER 2595 NEW BEST:: SOT 2744092 SOS 1641637 HAS SOPS 1641637 HAS SOUS 888755 HAS SOUPS 888755 WITH SCORE 890396.637
AT ITER 2602 NEW BEST:: SOT 2743217 SOS 1640255 HAS SOPS 1640255 HAS SOUS 887373 HAS SOUPS 887373 WITH SCORE 889013.255
AT ITER 2614 NEW BEST:: SOT 2743079 SOS 1637579 HAS SOPS 1637579 HAS SOUS 887361 HAS SOUPS 887361 WITH SCORE 888998.579
AT ITER 2625 NEW BEST:: SOT 2743057 SOS 1637757 HAS SOPS 1637757 HAS SOUS 886881 HAS SOUPS 886881 WITH SCORE 888518.757
AT ITER 2626 NEW BEST:: SOT 2743057 SOS 1637289 HAS SOPS 1637289 HAS SOUS 886413 HAS SOUPS 886413 WITH SCORE 888050.289
AT ITER 2640 NEW BEST:: SOT 2743014 SOS 1637246 HAS SOPS 1637246 HAS SOUS 886370 HAS SOUPS 886370 WITH SCORE 888007.246
AT ITER 2654 NEW BEST:: SOT 2742692 SOS 1636763 HAS SOPS 1636763 HAS SOUS 885887 HAS SOUPS 885887 WITH SCORE 887523.763
AT ITER 2655 NEW BEST:: SOT 2742545 SOS 1636105 HAS SOPS 1636105 HAS SOUS 885810 HAS SOUPS 885810 WITH SCORE 887446.105
AT ITER 2667 NEW BEST:: SOT 2742461 SOS 1634359 HAS SOPS 1634359 HAS SOUS 885790 HAS SOUPS 885790 WITH SCORE 887424.359
AT ITER 2669 NEW BEST:: SOT 2742204 SOS 1633588 HAS SOPS 1633588 HAS SOUS 885019 HAS SOUPS 885019 WITH SCORE 886652.588
AT ITER 2679 NEW BEST:: SOT 2742021 SOS 1633267 HAS SOPS 1633267 HAS SOUS 884698 HAS SOUPS 884698 WITH SCORE 886331.267
AT ITER 2680 NEW BEST:: SOT 2742021 SOS 1632677 HAS SOPS 1632677 HAS SOUS 884403 HAS SOUPS 884403 WITH SCORE 886035.677
AT ITER 2687 NEW BEST:: SOT 2742278 SOS 1633191 HAS SOPS 1633191 HAS SOUS 884298 HAS SOUPS 884298 WITH SCORE 885931.191
AT ITER 2693 NEW BEST:: SOT 2742189 SOS 1633102 HAS SOPS 1633102 HAS SOUS 884209 HAS SOUPS 884209 WITH SCORE 885842.102
AT ITER 2694 NEW BEST:: SOT 2741640 SOS 1633098 HAS SOPS 1633098 HAS SOUS 884205 HAS SOUPS 884205 WITH SCORE 885838.098
AT ITER 2703 NEW BEST:: SOT 2741405 SOS 1632863 HAS SOPS 1632863 HAS SOUS 883970 HAS SOUPS 883970 WITH SCORE 885602.863
AT ITER 2707 NEW BEST:: SOT 2741289 SOS 1632740 HAS SOPS 1632740 HAS SOUS 883936 HAS SOUPS 883936 WITH SCORE 885568.74
AT ITER 2708 NEW BEST:: SOT 2741288 SOS 1632711 HAS SOPS 1632711 HAS SOUS 883906 HAS SOUPS 883906 WITH SCORE 885538.711
AT ITER 2710 NEW BEST:: SOT 2741288 SOS 1625756 HAS SOPS 1625756 HAS SOUS 883049 HAS SOUPS 883049 WITH SCORE 884674.756
AT ITER 2711 NEW BEST:: SOT 2741288 SOS 1625526 HAS SOPS 1625526 HAS SOUS 882819 HAS SOUPS 882819 WITH SCORE 884444.526
AT ITER 2712 NEW BEST:: SOT 2741265 SOS 1625457 HAS SOPS 1625457 HAS SOUS 882773 HAS SOUPS 882773 WITH SCORE 884398.457
AT ITER 2718 NEW BEST:: SOT 2741092 SOS 1625111 HAS SOPS 1625111 HAS SOUS 882598 HAS SOUPS 882598 WITH SCORE 884223.111
AT ITER 2729 NEW BEST:: SOT 2740712 SOS 1624787 HAS SOPS 1624787 HAS SOUS 882274 HAS SOUPS 882274 WITH SCORE 883898.787
AT ITER 2737 NEW BEST:: SOT 2739960 SOS 1624558 HAS SOPS 1624558 HAS SOUS 881920 HAS SOUPS 881920 WITH SCORE 883544.558
AT ITER 2738 NEW BEST:: SOT 2740602 SOS 1624254 HAS SOPS 1624254 HAS SOUS 881907 HAS SOUPS 881907 WITH SCORE 883531.254
AT ITER 2742 NEW BEST:: SOT 2740517 SOS 1624197 HAS SOPS 1624197 HAS SOUS 881881 HAS SOUPS 881881 WITH SCORE 883505.197
AT ITER 2748 NEW BEST:: SOT 2740517 SOS 1623997 HAS SOPS 1623997 HAS SOUS 881856 HAS SOUPS 881856 WITH SCORE 883479.997
AT ITER 2761 NEW BEST:: SOT 2740453 SOS 1623518 HAS SOPS 1623518 HAS SOUS 881279 HAS SOUPS 881279 WITH SCORE 882902.518
AT ITER 2763 NEW BEST:: SOT 2743082 SOS 1626498 HAS SOPS 1626498 HAS SOUS 880669 HAS SOUPS 880669 WITH SCORE 882295.498
AT ITER 2777 NEW BEST:: SOT 2743082 SOS 1626852 HAS SOPS 1626852 HAS SOUS 880665 HAS SOUPS 880665 WITH SCORE 882291.852
AT ITER 2782 NEW BEST:: SOT 2742210 SOS 1625980 HAS SOPS 1625980 HAS SOUS 879793 HAS SOUPS 879793 WITH SCORE 881418.98
AT ITER 2784 NEW BEST:: SOT 2739912 SOS 1623863 HAS SOPS 1623863 HAS SOUS 877676 HAS SOUPS 877676 WITH SCORE 879299.863
AT ITER 2792 NEW BEST:: SOT 2739524 SOS 1623290 HAS SOPS 1623290 HAS SOUS 877097 HAS SOUPS 877097 WITH SCORE 878720.29
AT ITER 2806 NEW BEST:: SOT 2738558 SOS 1621904 HAS SOPS 1621904 HAS SOUS 875711 HAS SOUPS 875711 WITH SCORE 877332.904
AT ITER 2814 NEW BEST:: SOT 2738558 SOS 1621719 HAS SOPS 1621719 HAS SOUS 875684 HAS SOUPS 875684 WITH SCORE 877305.719
AT ITER 2834 NEW BEST:: SOT 2738557 SOS 1621996 HAS SOPS 1621996 HAS SOUS 875682 HAS SOUPS 875682 WITH SCORE 877303.996
AT ITER 2840 NEW BEST:: SOT 2738450 SOS 1621449 HAS SOPS 1621449 HAS SOUS 875539 HAS SOUPS 875539 WITH SCORE 877160.449
AT ITER 2844 NEW BEST:: SOT 2738450 SOS 1620971 HAS SOPS 1620971 HAS SOUS 875539 HAS SOUPS 875539 WITH SCORE 877159.971
AT ITER 2857 NEW BEST:: SOT 2738389 SOS 1620788 HAS SOPS 1620788 HAS SOUS 875417 HAS SOUPS 875417 WITH SCORE 877037.788
AT ITER 2859 NEW BEST:: SOT 2738255 SOS 1620652 HAS SOPS 1620652 HAS SOUS 875281 HAS SOUPS 875281 WITH SCORE 876901.652
AT ITER 2867 NEW BEST:: SOT 2738005 SOS 1620402 HAS SOPS 1620402 HAS SOUS 875031 HAS SOUPS 875031 WITH SCORE 876651.402
AT ITER 2876 NEW BEST:: SOT 2738004 SOS 1620401 HAS SOPS 1620401 HAS SOUS 875029 HAS SOUPS 875029 WITH SCORE 876649.401
AT ITER 2885 NEW BEST:: SOT 2737304 SOS 1619410 HAS SOPS 1619410 HAS SOUS 873620 HAS SOUPS 873620 WITH SCORE 875239.41
AT ITER 2898 NEW BEST:: SOT 2737817 SOS 1617717 HAS SOPS 1617717 HAS SOUS 873389 HAS SOUPS 873389 WITH SCORE 875006.717
AT ITER 2903 NEW BEST:: SOT 2737648 SOS 1617548 HAS SOPS 1617548 HAS SOUS 873220 HAS SOUPS 873220 WITH SCORE 874837.548
AT ITER 2904 NEW BEST:: SOT 2736892 SOS 1615127 HAS SOPS 1615127 HAS SOUS 871388 HAS SOUPS 871388 WITH SCORE 873003.127
AT ITER 2921 NEW BEST:: SOT 2736853 SOS 1615121 HAS SOPS 1615121 HAS SOUS 871382 HAS SOUPS 871382 WITH SCORE 872997.121
AT ITER 2947 NEW BEST:: SOT 2736763 SOS 1615031 HAS SOPS 1615031 HAS SOUS 871331 HAS SOUPS 871331 WITH SCORE 872946.031
AT ITER 2948 NEW BEST:: SOT 2736685 SOS 1613929 HAS SOPS 1613929 HAS SOUS 870711 HAS SOUPS 870711 WITH SCORE 872324.929
AT ITER 2962 NEW BEST:: SOT 2736684 SOS 1613924 HAS SOPS 1613924 HAS SOUS 870398 HAS SOUPS 870398 WITH SCORE 872011.924
AT ITER 2965 NEW BEST:: SOT 2736999 SOS 1613774 HAS SOPS 1613774 HAS SOUS 870248 HAS SOUPS 870248 WITH SCORE 871861.774
AT ITER 2972 NEW BEST:: SOT 2736919 SOS 1612309 HAS SOPS 1612309 HAS SOUS 869313 HAS SOUPS 869313 WITH SCORE 870925.309
AT ITER 2973 NEW BEST:: SOT 2737423 SOS 1611989 HAS SOPS 1611989 HAS SOUS 869311 HAS SOUPS 869311 WITH SCORE 870922.989
AT ITER 2977 NEW BEST:: SOT 2737152 SOS 1612171 HAS SOPS 1612171 HAS SOUS 869020 HAS SOUPS 869020 WITH SCORE 870632.171
AT ITER 2991 NEW BEST:: SOT 2735747 SOS 1611651 HAS SOPS 1611651 HAS SOUS 867438 HAS SOUPS 867438 WITH SCORE 869049.651
AT ITER 2992 NEW BEST:: SOT 2735659 SOS 1611302 HAS SOPS 1611302 HAS SOUS 867260 HAS SOUPS 867260 WITH SCORE 868871.302
AT ITER 2997 NEW BEST:: SOT 2735058 SOS 1609499 HAS SOPS 1609499 HAS SOUS 865457 HAS SOUPS 865457 WITH SCORE 867066.499
AT ITER 2999 NEW BEST:: SOT 2738155 SOS 1611893 HAS SOPS 1611893 HAS SOUS 865152 HAS SOUPS 865152 WITH SCORE 866763.893
AT ITER 3007 NEW BEST:: SOT 2738141 SOS 1611638 HAS SOPS 1611638 HAS SOUS 864897 HAS SOUPS 864897 WITH SCORE 866508.638
AT ITER 3009 NEW BEST:: SOT 2738141 SOS 1611518 HAS SOPS 1611518 HAS SOUS 864777 HAS SOUPS 864777 WITH SCORE 866388.518
AT ITER 3017 NEW BEST:: SOT 2737833 SOS 1609884 HAS SOPS 1609884 HAS SOUS 863964 HAS SOUPS 863964 WITH SCORE 865573.884
AT ITER 3021 NEW BEST:: SOT 2737833 SOS 1610200 HAS SOPS 1610200 HAS SOUS 863897 HAS SOUPS 863897 WITH SCORE 865507.2
AT ITER 3022 NEW BEST:: SOT 2737632 SOS 1609999 HAS SOPS 1609999 HAS SOUS 863685 HAS SOUPS 863685 WITH SCORE 865294.999
AT ITER 3026 NEW BEST:: SOT 2737133 SOS 1609500 HAS SOPS 1609500 HAS SOUS 863186 HAS SOUPS 863186 WITH SCORE 864795.5
AT ITER 3044 NEW BEST:: SOT 2736967 SOS 1609168 HAS SOPS 1609168 HAS SOUS 862854 HAS SOUPS 862854 WITH SCORE 864463.168
AT ITER 3052 NEW BEST:: SOT 2736967 SOS 1606450 HAS SOPS 1606450 HAS SOUS 862547 HAS SOUPS 862547 WITH SCORE 864153.45
AT ITER 3054 NEW BEST:: SOT 2736956 SOS 1606428 HAS SOPS 1606428 HAS SOUS 862525 HAS SOUPS 862525 WITH SCORE 864131.428
AT ITER 3063 NEW BEST:: SOT 2736949 SOS 1606414 HAS SOPS 1606414 HAS SOUS 862511 HAS SOUPS 862511 WITH SCORE 864117.414
AT ITER 3075 NEW BEST:: SOT 2736949 SOS 1606401 HAS SOPS 1606401 HAS SOUS 862498 HAS SOUPS 862498 WITH SCORE 864104.401
AT ITER 3084 NEW BEST:: SOT 2737080 SOS 1606271 HAS SOPS 1606271 HAS SOUS 861992 HAS SOUPS 861992 WITH SCORE 863598.271
AT ITER 3092 NEW BEST:: SOT 2736771 SOS 1605653 HAS SOPS 1605653 HAS SOUS 861374 HAS SOUPS 861374 WITH SCORE 862979.653
AT ITER 3099 NEW BEST:: SOT 2736393 SOS 1604077 HAS SOPS 1604077 HAS SOUS 861374 HAS SOUPS 861374 WITH SCORE 862978.077
AT ITER 3122 NEW BEST:: SOT 2736429 SOS 1604319 HAS SOPS 1604319 HAS SOUS 861247 HAS SOUPS 861247 WITH SCORE 862851.319
AT ITER 3137 NEW BEST:: SOT 2736386 SOS 1604005 HAS SOPS 1604005 HAS SOUS 861031 HAS SOUPS 861031 WITH SCORE 862635.005
AT ITER 3159 NEW BEST:: SOT 2736275 SOS 1603132 HAS SOPS 1603132 HAS SOUS 860158 HAS SOUPS 860158 WITH SCORE 861761.132
AT ITER 3169 NEW BEST:: SOT 2736171 SOS 1603028 HAS SOPS 1603028 HAS SOUS 860158 HAS SOUPS 860158 WITH SCORE 861761.028
AT ITER 3190 NEW BEST:: SOT 2736120 SOS 1602977 HAS SOPS 1602977 HAS SOUS 860158 HAS SOUPS 860158 WITH SCORE 861760.977
AT ITER 3195 NEW BEST:: SOT 2736120 SOS 1602923 HAS SOPS 1602923 HAS SOUS 860158 HAS SOUPS 860158 WITH SCORE 861760.923
AT ITER 3199 NEW BEST:: SOT 2735810 SOS 1602634 HAS SOPS 1602634 HAS SOUS 859869 HAS SOUPS 859869 WITH SCORE 861471.634
AT ITER 3210 NEW BEST:: SOT 2735516 SOS 1597804 HAS SOPS 1597804 HAS SOUS 858602 HAS SOUPS 858602 WITH SCORE 860199.804
AT ITER 3213 NEW BEST:: SOT 2735297 SOS 1597366 HAS SOPS 1597366 HAS SOUS 858164 HAS SOUPS 858164 WITH SCORE 859761.366
AT ITER 3214 NEW BEST:: SOT 2735807 SOS 1597250 HAS SOPS 1597250 HAS SOUS 858162 HAS SOUPS 858162 WITH SCORE 859759.25
AT ITER 3219 NEW BEST:: SOT 2731925 SOS 1593368 HAS SOPS 1593368 HAS SOUS 854280 HAS SOUPS 854280 WITH SCORE 855873.368
AT ITER 3220 NEW BEST:: SOT 2731701 SOS 1593144 HAS SOPS 1593144 HAS SOUS 854032 HAS SOUPS 854032 WITH SCORE 855625.144
AT ITER 3221 NEW BEST:: SOT 2732205 SOS 1593388 HAS SOPS 1593388 HAS SOUS 853845 HAS SOUPS 853845 WITH SCORE 855438.388
AT ITER 3229 NEW BEST:: SOT 2732203 SOS 1593386 HAS SOPS 1593386 HAS SOUS 853841 HAS SOUPS 853841 WITH SCORE 855434.386
AT ITER 3245 NEW BEST:: SOT 2732059 SOS 1593278 HAS SOPS 1593278 HAS SOUS 853661 HAS SOUPS 853661 WITH SCORE 855254.278
AT ITER 3255 NEW BEST:: SOT 2732059 SOS 1593158 HAS SOPS 1593158 HAS SOUS 853592 HAS SOUPS 853592 WITH SCORE 855185.158
AT ITER 3260 NEW BEST:: SOT 2732059 SOS 1593148 HAS SOPS 1593148 HAS SOUS 853592 HAS SOUPS 853592 WITH SCORE 855185.148
AT ITER 3272 NEW BEST:: SOT 2731985 SOS 1592988 HAS SOPS 1592988 HAS SOUS 853442 HAS SOUPS 853442 WITH SCORE 855034.988
AT ITER 3275 NEW BEST:: SOT 2731985 SOS 1593005 HAS SOPS 1593005 HAS SOUS 853441 HAS SOUPS 853441 WITH SCORE 855034.005
AT ITER 3287 NEW BEST:: SOT 2731972 SOS 1592579 HAS SOPS 1592579 HAS SOUS 853115 HAS SOUPS 853115 WITH SCORE 854707.579
AT ITER 3290 NEW BEST:: SOT 2731972 SOS 1592608 HAS SOPS 1592608 HAS SOUS 852857 HAS SOUPS 852857 WITH SCORE 854449.608
AT ITER 3291 NEW BEST:: SOT 2731297 SOS 1592060 HAS SOPS 1592060 HAS SOUS 852309 HAS SOUPS 852309 WITH SCORE 853901.06
AT ITER 3292 NEW BEST:: SOT 2729908 SOS 1592764 HAS SOPS 1592764 HAS SOUS 852113 HAS SOUPS 852113 WITH SCORE 853705.764
AT ITER 3301 NEW BEST:: SOT 2729433 SOS 1592899 HAS SOPS 1592899 HAS SOUS 851743 HAS SOUPS 851743 WITH SCORE 853335.899
AT ITER 3310 NEW BEST:: SOT 2728673 SOS 1592139 HAS SOPS 1592139 HAS SOUS 850226 HAS SOUPS 850226 WITH SCORE 851818.139
AT ITER 3323 NEW BEST:: SOT 2730366 SOS 1593832 HAS SOPS 1593832 HAS SOUS 850166 HAS SOUPS 850166 WITH SCORE 851759.832
AT ITER 3328 NEW BEST:: SOT 2730364 SOS 1593094 HAS SOPS 1593094 HAS SOUS 849428 HAS SOUPS 849428 WITH SCORE 851021.094
AT ITER 3332 NEW BEST:: SOT 2730483 SOS 1592676 HAS SOPS 1592676 HAS SOUS 849393 HAS SOUPS 849393 WITH SCORE 850985.676
AT ITER 3360 NEW BEST:: SOT 2729979 SOS 1592083 HAS SOPS 1592083 HAS SOUS 847874 HAS SOUPS 847874 WITH SCORE 849466.083
AT ITER 3365 NEW BEST:: SOT 2729747 SOS 1591620 HAS SOPS 1591620 HAS SOUS 847621 HAS SOUPS 847621 WITH SCORE 849212.62
AT ITER 3370 NEW BEST:: SOT 2729735 SOS 1591608 HAS SOPS 1591608 HAS SOUS 847608 HAS SOUPS 847608 WITH SCORE 849199.608
AT ITER 3372 NEW BEST:: SOT 2729242 SOS 1591115 HAS SOPS 1591115 HAS SOUS 846160 HAS SOUPS 846160 WITH SCORE 847751.115
AT ITER 3379 NEW BEST:: SOT 2728410 SOS 1588862 HAS SOPS 1588862 HAS SOUS 844496 HAS SOUPS 844496 WITH SCORE 846084.862
AT ITER 3382 NEW BEST:: SOT 2728030 SOS 1588270 HAS SOPS 1588270 HAS SOUS 844259 HAS SOUPS 844259 WITH SCORE 845847.27
AT ITER 3383 NEW BEST:: SOT 2727729 SOS 1587969 HAS SOPS 1587969 HAS SOUS 843958 HAS SOUPS 843958 WITH SCORE 845545.969
AT ITER 3386 NEW BEST:: SOT 2727729 SOS 1587538 HAS SOPS 1587538 HAS SOUS 843834 HAS SOUPS 843834 WITH SCORE 845421.538
AT ITER 3393 NEW BEST:: SOT 2726750 SOS 1585223 HAS SOPS 1585223 HAS SOUS 842268 HAS SOUPS 842268 WITH SCORE 843853.223
AT ITER 3400 NEW BEST:: SOT 2726740 SOS 1585213 HAS SOPS 1585213 HAS SOUS 842248 HAS SOUPS 842248 WITH SCORE 843833.213
AT ITER 3404 NEW BEST:: SOT 2726449 SOS 1585126 HAS SOPS 1585126 HAS SOUS 842027 HAS SOUPS 842027 WITH SCORE 843612.126
AT ITER 3411 NEW BEST:: SOT 2726707 SOS 1585219 HAS SOPS 1585219 HAS SOUS 841792 HAS SOUPS 841792 WITH SCORE 843377.219
AT ITER 3417 NEW BEST:: SOT 2726509 SOS 1585021 HAS SOPS 1585021 HAS SOUS 841594 HAS SOUPS 841594 WITH SCORE 843179.021
AT ITER 3422 NEW BEST:: SOT 2726508 SOS 1584775 HAS SOPS 1584775 HAS SOUS 841592 HAS SOUPS 841592 WITH SCORE 843176.775
AT ITER 3423 NEW BEST:: SOT 2726508 SOS 1583880 HAS SOPS 1583880 HAS SOUS 841589 HAS SOUPS 841589 WITH SCORE 843172.88
AT ITER 3430 NEW BEST:: SOT 2726508 SOS 1583505 HAS SOPS 1583505 HAS SOUS 841214 HAS SOUPS 841214 WITH SCORE 842797.505
AT ITER 3432 NEW BEST:: SOT 2726646 SOS 1583105 HAS SOPS 1583105 HAS SOUS 840411 HAS SOUPS 840411 WITH SCORE 841994.105
AT ITER 3437 NEW BEST:: SOT 2726992 SOS 1579671 HAS SOPS 1579671 HAS SOUS 840381 HAS SOUPS 840381 WITH SCORE 841960.671
AT ITER 3453 NEW BEST:: SOT 2726856 SOS 1579535 HAS SOPS 1579535 HAS SOUS 840245 HAS SOUPS 840245 WITH SCORE 841824.535
AT ITER 3475 NEW BEST:: SOT 2726452 SOS 1578884 HAS SOPS 1578884 HAS SOUS 839730 HAS SOUPS 839730 WITH SCORE 841308.884
AT ITER 3483 NEW BEST:: SOT 2726386 SOS 1578054 HAS SOPS 1578054 HAS SOUS 839166 HAS SOUPS 839166 WITH SCORE 840744.054
AT ITER 3488 NEW BEST:: SOT 2726236 SOS 1575836 HAS SOPS 1575836 HAS SOUS 838811 HAS SOUPS 838811 WITH SCORE 840386.836
AT ITER 3494 NEW BEST:: SOT 2726128 SOS 1574624 HAS SOPS 1574624 HAS SOUS 838761 HAS SOUPS 838761 WITH SCORE 840335.624
AT ITER 3506 NEW BEST:: SOT 2725764 SOS 1572120 HAS SOPS 1572120 HAS SOUS 838235 HAS SOUPS 838235 WITH SCORE 839807.12
AT ITER 3508 NEW BEST:: SOT 2725629 SOS 1571985 HAS SOPS 1571985 HAS SOUS 837965 HAS SOUPS 837965 WITH SCORE 839536.985
AT ITER 3519 NEW BEST:: SOT 2725627 SOS 1571983 HAS SOPS 1571983 HAS SOUS 837961 HAS SOUPS 837961 WITH SCORE 839532.983
AT ITER 3523 NEW BEST:: SOT 2725627 SOS 1571794 HAS SOPS 1571794 HAS SOUS 837772 HAS SOUPS 837772 WITH SCORE 839343.794
AT ITER 3537 NEW BEST:: SOT 2725629 SOS 1571796 HAS SOPS 1571796 HAS SOUS 837768 HAS SOUPS 837768 WITH SCORE 839339.796
AT ITER 3545 NEW BEST:: SOT 2725626 SOS 1571489 HAS SOPS 1571489 HAS SOUS 837461 HAS SOUPS 837461 WITH SCORE 839032.489
AT ITER 3548 NEW BEST:: SOT 2725543 SOS 1571406 HAS SOPS 1571406 HAS SOUS 837378 HAS SOUPS 837378 WITH SCORE 838949.406
AT ITER 3563 NEW BEST:: SOT 2725542 SOS 1571388 HAS SOPS 1571388 HAS SOUS 837360 HAS SOUPS 837360 WITH SCORE 838931.388
AT ITER 3584 NEW BEST:: SOT 2725760 SOS 1571388 HAS SOPS 1571388 HAS SOUS 836924 HAS SOUPS 836924 WITH SCORE 838495.388
AT ITER 3590 NEW BEST:: SOT 2725760 SOS 1571387 HAS SOPS 1571387 HAS SOUS 836923 HAS SOUPS 836923 WITH SCORE 838494.387
AT ITER 3607 NEW BEST:: SOT 2725760 SOS 1571338 HAS SOPS 1571338 HAS SOUS 836869 HAS SOUPS 836869 WITH SCORE 838440.338
AT ITER 3611 NEW BEST:: SOT 2725439 SOS 1570754 HAS SOPS 1570754 HAS SOUS 836812 HAS SOUPS 836812 WITH SCORE 838382.754
AT ITER 3614 NEW BEST:: SOT 2725398 SOS 1570076 HAS SOPS 1570076 HAS SOUS 836135 HAS SOUPS 836135 WITH SCORE 837705.076
AT ITER 3626 NEW BEST:: SOT 2725355 SOS 1569990 HAS SOPS 1569990 HAS SOUS 836049 HAS SOUPS 836049 WITH SCORE 837618.99
AT ITER 3639 NEW BEST:: SOT 2725362 SOS 1568814 HAS SOPS 1568814 HAS SOUS 835717 HAS SOUPS 835717 WITH SCORE 837285.814
AT ITER 3648 NEW BEST:: SOT 2724838 SOS 1568025 HAS SOPS 1568025 HAS SOUS 835105 HAS SOUPS 835105 WITH SCORE 836673.025
AT ITER 3680 NEW BEST:: SOT 2724838 SOS 1567967 HAS SOPS 1567967 HAS SOUS 835105 HAS SOUPS 835105 WITH SCORE 836672.967
AT ITER 3693 NEW BEST:: SOT 2721467 SOS 1564596 HAS SOPS 1564596 HAS SOUS 831332 HAS SOUPS 831332 WITH SCORE 832896.596
AT ITER 3700 NEW BEST:: SOT 2720969 SOS 1564394 HAS SOPS 1564394 HAS SOUS 830630 HAS SOUPS 830630 WITH SCORE 832194.394
AT ITER 3702 NEW BEST:: SOT 2720881 SOS 1564204 HAS SOPS 1564204 HAS SOUS 830440 HAS SOUPS 830440 WITH SCORE 832004.204
AT ITER 3704 NEW BEST:: SOT 2720861 SOS 1564184 HAS SOPS 1564184 HAS SOUS 830420 HAS SOUPS 830420 WITH SCORE 831984.184
AT ITER 3719 NEW BEST:: SOT 2720639 SOS 1558014 HAS SOPS 1558014 HAS SOUS 829916 HAS SOUPS 829916 WITH SCORE 831474.014
AT ITER 3727 NEW BEST:: SOT 2720848 SOS 1557583 HAS SOPS 1557583 HAS SOUS 829808 HAS SOUPS 829808 WITH SCORE 831365.583
AT ITER 3733 NEW BEST:: SOT 2720422 SOS 1557161 HAS SOPS 1557161 HAS SOUS 829386 HAS SOUPS 829386 WITH SCORE 830943.161
AT ITER 3750 NEW BEST:: SOT 2720409 SOS 1557142 HAS SOPS 1557142 HAS SOUS 829368 HAS SOUPS 829368 WITH SCORE 830925.142
AT ITER 3755 NEW BEST:: SOT 2720355 SOS 1553495 HAS SOPS 1553495 HAS SOUS 828895 HAS SOUPS 828895 WITH SCORE 830448.495
AT ITER 3762 NEW BEST:: SOT 2720355 SOS 1553467 HAS SOPS 1553467 HAS SOUS 828867 HAS SOUPS 828867 WITH SCORE 830420.467
AT ITER 3794 NEW BEST:: SOT 2719819 SOS 1552819 HAS SOPS 1552819 HAS SOUS 828072 HAS SOUPS 828072 WITH SCORE 829624.819
AT ITER 3795 NEW BEST:: SOT 2719466 SOS 1552113 HAS SOPS 1552113 HAS SOUS 827366 HAS SOUPS 827366 WITH SCORE 828918.113
AT ITER 3803 NEW BEST:: SOT 2718833 SOS 1550884 HAS SOPS 1550884 HAS SOUS 826137 HAS SOUPS 826137 WITH SCORE 827687.884
AT ITER 3804 NEW BEST:: SOT 2718801 SOS 1550852 HAS SOPS 1550852 HAS SOUS 826105 HAS SOUPS 826105 WITH SCORE 827655.852
AT ITER 3812 NEW BEST:: SOT 2718679 SOS 1550730 HAS SOPS 1550730 HAS SOUS 825979 HAS SOUPS 825979 WITH SCORE 827529.73
AT ITER 3846 NEW BEST:: SOT 2718617 SOS 1550668 HAS SOPS 1550668 HAS SOUS 825917 HAS SOUPS 825917 WITH SCORE 827467.668
AT ITER 3860 NEW BEST:: SOT 2718816 SOS 1549839 HAS SOPS 1549839 HAS SOUS 825680 HAS SOUPS 825680 WITH SCORE 827229.839
AT ITER 3865 NEW BEST:: SOT 2716680 SOS 1550798 HAS SOPS 1550798 HAS SOUS 824207 HAS SOUPS 824207 WITH SCORE 825757.798
AT ITER 3866 NEW BEST:: SOT 2716578 SOS 1550458 HAS SOPS 1550458 HAS SOUS 823748 HAS SOUPS 823748 WITH SCORE 825298.458
AT ITER 3878 NEW BEST:: SOT 2716124 SOS 1550004 HAS SOPS 1550004 HAS SOUS 823294 HAS SOUPS 823294 WITH SCORE 824844.004
AT ITER 3879 NEW BEST:: SOT 2716015 SOS 1549944 HAS SOPS 1549944 HAS SOUS 823234 HAS SOUPS 823234 WITH SCORE 824783.944
AT ITER 3880 NEW BEST:: SOT 2716037 SOS 1549966 HAS SOPS 1549966 HAS SOUS 823022 HAS SOUPS 823022 WITH SCORE 824571.966
AT ITER 3883 NEW BEST:: SOT 2715151 SOS 1543778 HAS SOPS 1543778 HAS SOUS 821250 HAS SOUPS 821250 WITH SCORE 822793.778
AT ITER 3893 NEW BEST:: SOT 2715151 SOS 1543899 HAS SOPS 1543899 HAS SOUS 821114 HAS SOUPS 821114 WITH SCORE 822657.899
AT ITER 3898 NEW BEST:: SOT 2715405 SOS 1544208 HAS SOPS 1544208 HAS SOUS 820769 HAS SOUPS 820769 WITH SCORE 822313.208
AT ITER 3899 NEW BEST:: SOT 2705309 SOS 1535600 HAS SOPS 1535600 HAS SOUS 810049 HAS SOUPS 810049 WITH SCORE 811584.6
AT ITER 3921 NEW BEST:: SOT 2705030 SOS 1535321 HAS SOPS 1535321 HAS SOUS 809770 HAS SOUPS 809770 WITH SCORE 811305.321
AT ITER 3929 NEW BEST:: SOT 2705057 SOS 1535195 HAS SOPS 1535195 HAS SOUS 809644 HAS SOUPS 809644 WITH SCORE 811179.195
AT ITER 3942 NEW BEST:: SOT 2704944 SOS 1534211 HAS SOPS 1534211 HAS SOUS 809528 HAS SOUPS 809528 WITH SCORE 811062.211
AT ITER 3946 NEW BEST:: SOT 2704816 SOS 1534083 HAS SOPS 1534083 HAS SOUS 809447 HAS SOUPS 809447 WITH SCORE 810981.083
AT ITER 3953 NEW BEST:: SOT 2704816 SOS 1534055 HAS SOPS 1534055 HAS SOUS 809447 HAS SOUPS 809447 WITH SCORE 810981.055
AT ITER 3974 NEW BEST:: SOT 2704815 SOS 1534019 HAS SOPS 1534019 HAS SOUS 809445 HAS SOUPS 809445 WITH SCORE 810979.019
AT ITER 3983 NEW BEST:: SOT 2704513 SOS 1535878 HAS SOPS 1535878 HAS SOUS 809186 HAS SOUPS 809186 WITH SCORE 810721.878
AT ITER 3988 NEW BEST:: SOT 2703433 SOS 1534261 HAS SOPS 1534261 HAS SOUS 807569 HAS SOUPS 807569 WITH SCORE 809103.261
AT ITER 3989 NEW BEST:: SOT 2703577 SOS 1534261 HAS SOPS 1534261 HAS SOUS 807281 HAS SOUPS 807281 WITH SCORE 808815.261
AT ITER 4004 NEW BEST:: SOT 2691269 SOS 1528005 HAS SOPS 1528005 HAS SOUS 796380 HAS SOUPS 796380 WITH SCORE 797908.005
AT ITER 4011 NEW BEST:: SOT 2691269 SOS 1527835 HAS SOPS 1527835 HAS SOUS 796295 HAS SOUPS 796295 WITH SCORE 797822.835
AT ITER 4014 NEW BEST:: SOT 2691248 SOS 1527814 HAS SOPS 1527814 HAS SOUS 796274 HAS SOUPS 796274 WITH SCORE 797801.814
AT ITER 4015 NEW BEST:: SOT 2690913 SOS 1526813 HAS SOPS 1526813 HAS SOUS 795273 HAS SOUPS 795273 WITH SCORE 796799.813
AT ITER 4017 NEW BEST:: SOT 2690903 SOS 1526803 HAS SOPS 1526803 HAS SOUS 795253 HAS SOUPS 795253 WITH SCORE 796779.803
AT ITER 4041 NEW BEST:: SOT 2691573 SOS 1526729 HAS SOPS 1526729 HAS SOUS 795179 HAS SOUPS 795179 WITH SCORE 796705.729
AT ITER 4050 NEW BEST:: SOT 2691505 SOS 1526593 HAS SOPS 1526593 HAS SOUS 795043 HAS SOUPS 795043 WITH SCORE 796569.593
AT ITER 4063 NEW BEST:: SOT 2691054 SOS 1524751 HAS SOPS 1524751 HAS SOUS 795004 HAS SOUPS 795004 WITH SCORE 796528.751
AT ITER 4077 NEW BEST:: SOT 2690875 SOS 1524633 HAS SOPS 1524633 HAS SOUS 794858 HAS SOUPS 794858 WITH SCORE 796382.633
AT ITER 4078 NEW BEST:: SOT 2690996 SOS 1523801 HAS SOPS 1523801 HAS SOUS 794563 HAS SOUPS 794563 WITH SCORE 796086.801
AT ITER 4083 NEW BEST:: SOT 2690996 SOS 1523797 HAS SOPS 1523797 HAS SOUS 794559 HAS SOUPS 794559 WITH SCORE 796082.797
AT ITER 4084 NEW BEST:: SOT 2690591 SOS 1523392 HAS SOPS 1523392 HAS SOUS 794154 HAS SOUPS 794154 WITH SCORE 795677.392
AT ITER 4087 NEW BEST:: SOT 2689165 SOS 1521966 HAS SOPS 1521966 HAS SOUS 792727 HAS SOUPS 792727 WITH SCORE 794248.966
AT ITER 4099 NEW BEST:: SOT 2688992 SOS 1521793 HAS SOPS 1521793 HAS SOUS 792553 HAS SOUPS 792553 WITH SCORE 794074.793
AT ITER 4106 NEW BEST:: SOT 2688941 SOS 1521742 HAS SOPS 1521742 HAS SOUS 792502 HAS SOUPS 792502 WITH SCORE 794023.742
AT ITER 4107 NEW BEST:: SOT 2688207 SOS 1520584 HAS SOPS 1520584 HAS SOUS 791758 HAS SOUPS 791758 WITH SCORE 793278.584
AT ITER 4115 NEW BEST:: SOT 2687893 SOS 1520113 HAS SOPS 1520113 HAS SOUS 791287 HAS SOUPS 791287 WITH SCORE 792807.113
AT ITER 4121 NEW BEST:: SOT 2687799 SOS 1519974 HAS SOPS 1519974 HAS SOUS 791103 HAS SOUPS 791103 WITH SCORE 792622.974
AT ITER 4133 NEW BEST:: SOT 2686857 SOS 1519529 HAS SOPS 1519529 HAS SOUS 790252 HAS SOUPS 790252 WITH SCORE 791771.529
AT ITER 4135 NEW BEST:: SOT 2686506 SOS 1519857 HAS SOPS 1519857 HAS SOUS 789905 HAS SOUPS 789905 WITH SCORE 791424.857
AT ITER 4167 NEW BEST:: SOT 2686498 SOS 1519842 HAS SOPS 1519842 HAS SOUS 789889 HAS SOUPS 789889 WITH SCORE 791408.842
AT ITER 4169 NEW BEST:: SOT 2686498 SOS 1519438 HAS SOPS 1519438 HAS SOUS 789889 HAS SOUPS 789889 WITH SCORE 791408.438
AT ITER 4189 NEW BEST:: SOT 2686713 SOS 1519592 HAS SOPS 1519592 HAS SOUS 789775 HAS SOUPS 789775 WITH SCORE 791294.592
AT ITER 4200 NEW BEST:: SOT 2686713 SOS 1519805 HAS SOPS 1519805 HAS SOUS 789668 HAS SOUPS 789668 WITH SCORE 791187.805
AT ITER 4214 NEW BEST:: SOT 2686110 SOS 1519257 HAS SOPS 1519257 HAS SOUS 788462 HAS SOUPS 788462 WITH SCORE 789981.257
AT ITER 4221 NEW BEST:: SOT 2686110 SOS 1518383 HAS SOPS 1518383 HAS SOUS 788416 HAS SOUPS 788416 WITH SCORE 789934.383
AT ITER 4228 NEW BEST:: SOT 2684347 SOS 1517042 HAS SOPS 1517042 HAS SOUS 787082 HAS SOUPS 787082 WITH SCORE 788599.042
AT ITER 4230 NEW BEST:: SOT 2684419 SOS 1517104 HAS SOPS 1517104 HAS SOUS 787066 HAS SOUPS 787066 WITH SCORE 788583.104
AT ITER 4236 NEW BEST:: SOT 2684419 SOS 1518468 HAS SOPS 1518468 HAS SOUS 786766 HAS SOUPS 786766 WITH SCORE 788284.468
AT ITER 4244 NEW BEST:: SOT 2684403 SOS 1517644 HAS SOPS 1517644 HAS SOUS 786734 HAS SOUPS 786734 WITH SCORE 788251.644
AT ITER 4253 NEW BEST:: SOT 2684264 SOS 1517077 HAS SOPS 1517077 HAS SOUS 786167 HAS SOUPS 786167 WITH SCORE 787684.077
AT ITER 4266 NEW BEST:: SOT 2683926 SOS 1516788 HAS SOPS 1516788 HAS SOUS 786130 HAS SOUPS 786130 WITH SCORE 787646.788
AT ITER 4273 NEW BEST:: SOT 2683926 SOS 1516774 HAS SOPS 1516774 HAS SOUS 786130 HAS SOUPS 786130 WITH SCORE 787646.774
AT ITER 4275 NEW BEST:: SOT 2683641 SOS 1516101 HAS SOPS 1516101 HAS SOUS 785560 HAS SOUPS 785560 WITH SCORE 787076.101
AT ITER 4281 NEW BEST:: SOT 2683480 SOS 1515757 HAS SOPS 1515757 HAS SOUS 785282 HAS SOUPS 785282 WITH SCORE 786797.757
AT ITER 4285 NEW BEST:: SOT 2683333 SOS 1515610 HAS SOPS 1515610 HAS SOUS 785135 HAS SOUPS 785135 WITH SCORE 786650.61
AT ITER 4298 NEW BEST:: SOT 2682810 SOS 1514885 HAS SOPS 1514885 HAS SOUS 783992 HAS SOUPS 783992 WITH SCORE 785506.885
AT ITER 4323 NEW BEST:: SOT 2682525 SOS 1514697 HAS SOPS 1514697 HAS SOUS 783804 HAS SOUPS 783804 WITH SCORE 785318.697
AT ITER 4330 NEW BEST:: SOT 2682371 SOS 1514576 HAS SOPS 1514576 HAS SOUS 783803 HAS SOUPS 783803 WITH SCORE 785317.576
AT ITER 4331 NEW BEST:: SOT 2682187 SOS 1514392 HAS SOPS 1514392 HAS SOUS 783534 HAS SOUPS 783534 WITH SCORE 785048.392
AT ITER 4335 NEW BEST:: SOT 2681762 SOS 1513967 HAS SOPS 1513967 HAS SOUS 783109 HAS SOUPS 783109 WITH SCORE 784622.967
AT ITER 4337 NEW BEST:: SOT 2681622 SOS 1513827 HAS SOPS 1513827 HAS SOUS 782969 HAS SOUPS 782969 WITH SCORE 784482.827
AT ITER 4342 NEW BEST:: SOT 2681622 SOS 1513267 HAS SOPS 1513267 HAS SOUS 782863 HAS SOUPS 782863 WITH SCORE 784376.267
AT ITER 4350 NEW BEST:: SOT 2681453 SOS 1513098 HAS SOPS 1513098 HAS SOUS 782694 HAS SOUPS 782694 WITH SCORE 784207.098
AT ITER 4352 NEW BEST:: SOT 2681396 SOS 1512807 HAS SOPS 1512807 HAS SOUS 782539 HAS SOUPS 782539 WITH SCORE 784051.807
AT ITER 4356 NEW BEST:: SOT 2681346 SOS 1512655 HAS SOPS 1512655 HAS SOUS 782439 HAS SOUPS 782439 WITH SCORE 783951.655
AT ITER 4363 NEW BEST:: SOT 2679197 SOS 1510506 HAS SOPS 1510506 HAS SOUS 780290 HAS SOUPS 780290 WITH SCORE 781800.506
AT ITER 4366 NEW BEST:: SOT 2678952 SOS 1509594 HAS SOPS 1509594 HAS SOUS 779378 HAS SOUPS 779378 WITH SCORE 780887.594
AT ITER 4369 NEW BEST:: SOT 2678977 SOS 1509671 HAS SOPS 1509671 HAS SOUS 779376 HAS SOUPS 779376 WITH SCORE 780885.671
AT ITER 4378 NEW BEST:: SOT 2678817 SOS 1509511 HAS SOPS 1509511 HAS SOUS 779216 HAS SOUPS 779216 WITH SCORE 780725.511
AT ITER 4381 NEW BEST:: SOT 2678814 SOS 1509508 HAS SOPS 1509508 HAS SOUS 779210 HAS SOUPS 779210 WITH SCORE 780719.508
AT ITER 4396 NEW BEST:: SOT 2678720 SOS 1509226 HAS SOPS 1509226 HAS SOUS 778928 HAS SOUPS 778928 WITH SCORE 780437.226
AT ITER 4406 NEW BEST:: SOT 2678677 SOS 1505752 HAS SOPS 1505752 HAS SOUS 778617 HAS SOUPS 778617 WITH SCORE 780122.752
AT ITER 4410 NEW BEST:: SOT 2679031 SOS 1506056 HAS SOPS 1506056 HAS SOUS 778353 HAS SOUPS 778353 WITH SCORE 779859.056
AT ITER 4419 NEW BEST:: SOT 2676745 SOS 1503770 HAS SOPS 1503770 HAS SOUS 776067 HAS SOUPS 776067 WITH SCORE 777570.77
AT ITER 4438 NEW BEST:: SOT 2676502 SOS 1503041 HAS SOPS 1503041 HAS SOUS 775716 HAS SOUPS 775716 WITH SCORE 777219.041
AT ITER 4460 NEW BEST:: SOT 2676366 SOS 1502905 HAS SOPS 1502905 HAS SOUS 775444 HAS SOUPS 775444 WITH SCORE 776946.905
AT ITER 4468 NEW BEST:: SOT 2675582 SOS 1500656 HAS SOPS 1500656 HAS SOUS 773348 HAS SOUPS 773348 WITH SCORE 774848.656
AT ITER 4481 NEW BEST:: SOT 2675581 SOS 1500655 HAS SOPS 1500655 HAS SOUS 773346 HAS SOUPS 773346 WITH SCORE 774846.655
AT ITER 4487 NEW BEST:: SOT 2675938 SOS 1500529 HAS SOPS 1500529 HAS SOUS 773220 HAS SOUPS 773220 WITH SCORE 774720.529
AT ITER 4494 NEW BEST:: SOT 2675782 SOS 1500373 HAS SOPS 1500373 HAS SOUS 773064 HAS SOUPS 773064 WITH SCORE 774564.373
AT ITER 4498 NEW BEST:: SOT 2675672 SOS 1500327 HAS SOPS 1500327 HAS SOUS 772908 HAS SOUPS 772908 WITH SCORE 774408.327
AT ITER 4499 NEW BEST:: SOT 2675500 SOS 1500003 HAS SOPS 1500003 HAS SOUS 772416 HAS SOUPS 772416 WITH SCORE 773916.003
AT ITER 4503 NEW BEST:: SOT 2675467 SOS 1498909 HAS SOPS 1498909 HAS SOUS 771132 HAS SOUPS 771132 WITH SCORE 772630.909
AT ITER 4505 NEW BEST:: SOT 2675172 SOS 1498247 HAS SOPS 1498247 HAS SOUS 770759 HAS SOUPS 770759 WITH SCORE 772257.247
AT ITER 4506 NEW BEST:: SOT 2674594 SOS 1499896 HAS SOPS 1499896 HAS SOUS 770584 HAS SOUPS 770584 WITH SCORE 772083.896
AT ITER 4512 NEW BEST:: SOT 2674370 SOS 1499664 HAS SOPS 1499664 HAS SOUS 770359 HAS SOUPS 770359 WITH SCORE 771858.664
AT ITER 4523 NEW BEST:: SOT 2674370 SOS 1499552 HAS SOPS 1499552 HAS SOUS 770305 HAS SOUPS 770305 WITH SCORE 771804.552
AT ITER 4572 NEW BEST:: SOT 2674249 SOS 1499485 HAS SOPS 1499485 HAS SOUS 770238 HAS SOUPS 770238 WITH SCORE 771737.485
AT ITER 4583 NEW BEST:: SOT 2673741 SOS 1498469 HAS SOPS 1498469 HAS SOUS 769222 HAS SOUPS 769222 WITH SCORE 770720.469
AT ITER 4584 NEW BEST:: SOT 2673679 SOS 1498345 HAS SOPS 1498345 HAS SOUS 769160 HAS SOUPS 769160 WITH SCORE 770658.345
AT ITER 4585 NEW BEST:: SOT 2673658 SOS 1498324 HAS SOPS 1498324 HAS SOUS 769138 HAS SOUPS 769138 WITH SCORE 770636.324
AT ITER 4643 NEW BEST:: SOT 2673832 SOS 1498118 HAS SOPS 1498118 HAS SOUS 768931 HAS SOUPS 768931 WITH SCORE 770429.118
AT ITER 4650 NEW BEST:: SOT 2673457 SOS 1497454 HAS SOPS 1497454 HAS SOUS 768595 HAS SOUPS 768595 WITH SCORE 770092.454
AT ITER 4661 NEW BEST:: SOT 2673097 SOS 1496014 HAS SOPS 1496014 HAS SOUS 767608 HAS SOUPS 767608 WITH SCORE 769104.014
AT ITER 4664 NEW BEST:: SOT 2672941 SOS 1495886 HAS SOPS 1495886 HAS SOUS 767397 HAS SOUPS 767397 WITH SCORE 768892.886
AT ITER 4678 NEW BEST:: SOT 2672941 SOS 1495583 HAS SOPS 1495583 HAS SOUS 767094 HAS SOUPS 767094 WITH SCORE 768589.583
AT ITER 4681 NEW BEST:: SOT 2672840 SOS 1495482 HAS SOPS 1495482 HAS SOUS 767023 HAS SOUPS 767023 WITH SCORE 768518.482
AT ITER 4701 NEW BEST:: SOT 2672433 SOS 1495075 HAS SOPS 1495075 HAS SOUS 766616 HAS SOUPS 766616 WITH SCORE 768111.075
AT ITER 4708 NEW BEST:: SOT 2672433 SOS 1493561 HAS SOPS 1493561 HAS SOUS 766598 HAS SOUPS 766598 WITH SCORE 768091.561
AT ITER 4717 NEW BEST:: SOT 2672342 SOS 1493470 HAS SOPS 1493470 HAS SOUS 766503 HAS SOUPS 766503 WITH SCORE 767996.47
AT ITER 4718 NEW BEST:: SOT 2672315 SOS 1493443 HAS SOPS 1493443 HAS SOUS 766476 HAS SOUPS 766476 WITH SCORE 767969.443
AT ITER 4767 NEW BEST:: SOT 2671046 SOS 1492174 HAS SOPS 1492174 HAS SOUS 763092 HAS SOUPS 763092 WITH SCORE 764584.174
AT ITER 4768 NEW BEST:: SOT 2670999 SOS 1492127 HAS SOPS 1492127 HAS SOUS 763063 HAS SOUPS 763063 WITH SCORE 764555.127
AT ITER 4796 NEW BEST:: SOT 2670987 SOS 1492115 HAS SOPS 1492115 HAS SOUS 763051 HAS SOUPS 763051 WITH SCORE 764543.115
AT ITER 4801 NEW BEST:: SOT 2671349 SOS 1492474 HAS SOPS 1492474 HAS SOUS 762331 HAS SOUPS 762331 WITH SCORE 763823.474
AT ITER 4843 NEW BEST:: SOT 2670607 SOS 1492281 HAS SOPS 1492281 HAS SOUS 761589 HAS SOUPS 761589 WITH SCORE 763081.281
AT ITER 4869 NEW BEST:: SOT 2671094 SOS 1492821 HAS SOPS 1492821 HAS SOUS 761320 HAS SOUPS 761320 WITH SCORE 762812.821
AT ITER 4887 NEW BEST:: SOT 2671080 SOS 1492759 HAS SOPS 1492759 HAS SOUS 761309 HAS SOUPS 761309 WITH SCORE 762801.759
AT ITER 4899 NEW BEST:: SOT 2671093 SOS 1492501 HAS SOPS 1492501 HAS SOUS 761124 HAS SOUPS 761124 WITH SCORE 762616.501
AT ITER 4910 NEW BEST:: SOT 2671033 SOS 1492477 HAS SOPS 1492477 HAS SOUS 761100 HAS SOUPS 761100 WITH SCORE 762592.477
AT ITER 4915 NEW BEST:: SOT 2670970 SOS 1492351 HAS SOPS 1492351 HAS SOUS 760974 HAS SOUPS 760974 WITH SCORE 762466.351
AT ITER 4923 NEW BEST:: SOT 2670969 SOS 1492349 HAS SOPS 1492349 HAS SOUS 760972 HAS SOUPS 760972 WITH SCORE 762464.349
AT ITER 4926 NEW BEST:: SOT 2670509 SOS 1491998 HAS SOPS 1491998 HAS SOUS 760627 HAS SOUPS 760627 WITH SCORE 762118.998
AT ITER 4950 NEW BEST:: SOT 2670509 SOS 1491895 HAS SOPS 1491895 HAS SOUS 760497 HAS SOUPS 760497 WITH SCORE 761988.895
AT ITER 4951 NEW BEST:: SOT 2670509 SOS 1491343 HAS SOPS 1491343 HAS SOUS 759945 HAS SOUPS 759945 WITH SCORE 761436.343
AT ITER 4954 NEW BEST:: SOT 2670508 SOS 1491336 HAS SOPS 1491336 HAS SOUS 759539 HAS SOUPS 759539 WITH SCORE 761030.336
AT ITER 4955 NEW BEST:: SOT 2670471 SOS 1491299 HAS SOPS 1491299 HAS SOUS 759502 HAS SOUPS 759502 WITH SCORE 760993.299
AT ITER 4961 NEW BEST:: SOT 2666021 SOS 1490475 HAS SOPS 1490475 HAS SOUS 755473 HAS SOUPS 755473 WITH SCORE 756963.475
AT ITER 4962 NEW BEST:: SOT 2665225 SOS 1488896 HAS SOPS 1488896 HAS SOUS 755390 HAS SOUPS 755390 WITH SCORE 756878.896
AT ITER 4977 NEW BEST:: SOT 2665019 SOS 1488514 HAS SOPS 1488514 HAS SOUS 754985 HAS SOUPS 754985 WITH SCORE 756473.514
AT ITER 4983 NEW BEST:: SOT 2665019 SOS 1488396 HAS SOPS 1488396 HAS SOUS 754867 HAS SOUPS 754867 WITH SCORE 756355.396
AT ITER 4984 NEW BEST:: SOT 2664432 SOS 1487550 HAS SOPS 1487550 HAS SOUS 754021 HAS SOUPS 754021 WITH SCORE 755508.55
AT ITER 4995 NEW BEST:: SOT 2659758 SOS 1482958 HAS SOPS 1482958 HAS SOUS 749405 HAS SOUPS 749405 WITH SCORE 750887.958
AT ITER 4998 NEW BEST:: SOT 2659677 SOS 1482734 HAS SOPS 1482734 HAS SOUS 749324 HAS SOUPS 749324 WITH SCORE 750806.734
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-09a-CTLFireability-00 (EF( (! (! (EG( ((potential((tk(P627)>=1) & (tk(P864)>=1))))))))))
PROPERTY: ASLink-PT-09a-CTLFireability-01 (EF( (AU( (! ((potential((tk(P1138)>=1))))) , ((potential((tk(P823)>=1) & (tk(P1052)>=1)))) ))))
PROPERTY: ASLink-PT-09a-CTLFireability-02 ( (AU( ( ( ((potential((tk(P1983)>=1) & (tk(P1980)>=1)))) | ((potential((tk(P1867)>=1)))) ) & ( ((potential((tk(P1598)>=1) & (tk(P1798)>=1)))) | ((potential((tk(P1221)>=1) & (tk(P1446)>=1)))) ) ) , (EG( ((potential((tk(P1601)>=1) & (tk(P1807)>=1)))))) )) | (! (AU( (! ((potential((tk(P1222)>=1) & (tk(P1439)>=1))))) , ( ((potential((tk(P1273)>=1) & (tk(P1268)>=1)))) | ((potential((tk(P1210)>=1) & (tk(P1443)>=1)))) ) ))) )
PROPERTY: ASLink-PT-09a-CTLFireability-03 ( (AU( ( ((potential((tk(P15)>=1) & (tk(P84)>=1)))) | (! ((potential((tk(P988)>=1) & (tk(P991)>=1))))) ) , (AX( ((potential((tk(P1701)>=1)))))) )) | (! (EX( (AF( ((potential((tk(P1418)>=1) & (tk(P1643)>=1))))))))) )
PROPERTY: ASLink-PT-09a-CTLFireability-04 ( (EU( (! ( ((potential((tk(P637)>=1) & (tk(P860)>=1)))) & ((potential((tk(P16)>=1) & (tk(P89)>=1)))) )) , ((potential((tk(P1780)>=1) & (tk(P1845)>=1)))) )) | (AU( (! ( ((potential((tk(P1612)>=1) & (tk(P1800)>=1)))) & ((potential((tk(P1773)>=1) & (tk(P1826)>=1)))) )) , (EF( ((potential((tk(P633)>=1) & (tk(P864)>=1)))))) )) )
PROPERTY: ASLink-PT-09a-CTLFireability-05 ( ((potential((tk(P1608)>=1) & (tk(P1794)>=1)))) | (EF( ( (AG( ((potential((tk(P1402)>=1) & (tk(P1473)>=1)))))) | (AG( ((potential((tk(P767)>=1)))))) ))) )
PROPERTY: ASLink-PT-09a-CTLFireability-06 (! (! (AF( ( ( ((potential((tk(P239)>=1) & (tk(P468)>=1)))) | ((potential((tk(P1695)>=1) & (tk(P1771)>=1)))) ) & ( ((potential((tk(P46)>=1) & (tk(P274)>=1)))) & ((potential((tk(P764)>=1) & (tk(P755)>=1)))) ) )))))
PROPERTY: ASLink-PT-09a-CTLFireability-07 (EU( ( ( ( ((potential((tk(P435)>=1) & (tk(P668)>=1)))) | ((potential((tk(P748)>=1)))) ) & ( ((potential((tk(P1903)>=1) & (tk(P1900)>=1)))) | ((potential((tk(P1825)>=1) & (tk(P1928)>=1)))) ) ) | (AF( ((potential((tk(P1013)>=1) & (tk(P1250)>=1)))))) ) , ( (EX( ((potential((tk(P134)>=1)))))) & ( ( ((potential((tk(P202)>=1) & (tk(P200)>=1)))) | ((potential((tk(P826)>=1) & (tk(P1053)>=1)))) ) & (! ((potential((tk(P1602)>=1) & (tk(P1792)>=1))))) ) ) ))
PROPERTY: ASLink-PT-09a-CTLFireability-08 (EU( ( ( ((potential((tk(P1602)>=1) & (tk(P1792)>=1)))) | (! ((potential((tk(P1608)>=1) & (tk(P1806)>=1))))) ) | (! ((potential((tk(P1266)>=1))))) ) , (EF( ( ((potential((tk(P1608)>=1) & (tk(P1819)>=1)))) | ((potential((tk(P462)>=1) & (tk(P593)>=1)))) ))) ))
PROPERTY: ASLink-PT-09a-CTLFireability-09 (EF( ( ((potential((tk(P55)>=1) & (tk(P153)>=1)))) & ((potential((tk(P434)>=1) & (tk(P661)>=1)))) )))
PROPERTY: ASLink-PT-09a-CTLFireability-10 (EX( (AF( (AG( ((potential((tk(P17)>=1) & (tk(P80)>=1))))))))))
PROPERTY: ASLink-PT-09a-CTLFireability-11 ( (AG( ( ( ((potential((tk(P230)>=1) & (tk(P286)>=1)))) & (! ((potential((tk(P1766)>=1) & (tk(P1769)>=1) & (tk(P1581)>=1))))) ) & (AF( ((potential((tk(P444)>=1) & (tk(P564)>=1)))))) ))) | ( ( ((potential((tk(P1829)>=1) & (tk(P1892)>=1)))) | (AF( ((potential((tk(P1412)>=1) & (tk(P1639)>=1)))))) ) | (AU( ((potential((tk(P1212)>=1) & (tk(P1441)>=1)))) , ((potential((tk(P1990)>=1)))) )) ) )
PROPERTY: ASLink-PT-09a-CTLFireability-12 ( (AG( ( ((potential((tk(P9)>=1) & (tk(P76)>=1)))) & ( ((potential((tk(P234)>=1) & (tk(P473)>=1)))) | (! ((potential((tk(P1608)>=1) & (tk(P1802)>=1))))) ) ))) | (AU( (! ( ((potential((tk(P6)>=1) & (tk(P85)>=1)))) | ((potential((tk(P426)>=1) & (tk(P481)>=1)))) )) , ((potential((tk(P1213)>=1) & (tk(P1450)>=1)))) )) )
PROPERTY: ASLink-PT-09a-CTLFireability-13 ( (AF( ( (! ( ((potential((tk(P877)>=1)))) | ((potential((tk(P241)>=1) & (tk(P472)>=1)))) )) & ( ((potential((tk(P1010)>=1) & (tk(P1082)>=1)))) & ( ((potential((tk(P1613)>=1) & (tk(P1807)>=1)))) & ((potential((tk(P244)>=1) & (tk(P475)>=1)))) ) ) ))) | ( ((potential((tk(P1018)>=1) & (tk(P1257)>=1)))) & ( ((potential((tk(P935)>=1)))) | ( ( ( ((potential((tk(P1774)>=1) & (tk(P1833)>=1)))) & ((potential((tk(P15)>=1) & (tk(P82)>=1)))) ) & ((potential((tk(P627)>=1) & (tk(P860)>=1)))) ) | ((potential((tk(P45)>=1) & (tk(P277)>=1)))) ) ) ) )
PROPERTY: ASLink-PT-09a-CTLFireability-14 ( (EF( (AG( ( ((potential((tk(P1605)>=1) & (tk(P1822)>=1)))) & ((potential((tk(P1214)>=1) & (tk(P1445)>=1)))) ))))) | ( (EF( ( ((potential((tk(P38)>=1) & (tk(P103)>=1)))) & ( ((potential((tk(P1808)>=1) & (tk(P1855)>=1)))) & ((potential((tk(P633)>=1) & (tk(P868)>=1)))) ) ))) | (EX( (EF( ((potential((tk(P546)>=1) & (tk(P608)>=1)))))))) ) )
PROPERTY: ASLink-PT-09a-CTLFireability-15 (AF( (EU( ( ((potential((tk(P1608)>=1) & (tk(P1813)>=1)))) & ((potential((tk(P54)>=1) & (tk(P270)>=1)))) ) , ( ((potential((tk(P386)>=1) & (tk(P417)>=1)))) | ((potential((tk(P634)>=1) & (tk(P865)>=1)))) ) ))))

BK_TIME_CONFINEMENT_REACHED

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

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="ASLink-PT-09a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-09a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100140"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09a.tgz
mv ASLink-PT-09a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;