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-158897508100139.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100139
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME ASLink-PT-09a-CTLCardinality-01
FORMULA_NAME ASLink-PT-09a-CTLCardinality-02
FORMULA_NAME ASLink-PT-09a-CTLCardinality-03
FORMULA_NAME ASLink-PT-09a-CTLCardinality-04
FORMULA_NAME ASLink-PT-09a-CTLCardinality-05
FORMULA_NAME ASLink-PT-09a-CTLCardinality-06
FORMULA_NAME ASLink-PT-09a-CTLCardinality-07
FORMULA_NAME ASLink-PT-09a-CTLCardinality-08
FORMULA_NAME ASLink-PT-09a-CTLCardinality-09
FORMULA_NAME ASLink-PT-09a-CTLCardinality-10
FORMULA_NAME ASLink-PT-09a-CTLCardinality-11
FORMULA_NAME ASLink-PT-09a-CTLCardinality-12
FORMULA_NAME ASLink-PT-09a-CTLCardinality-13
FORMULA_NAME ASLink-PT-09a-CTLCardinality-14
FORMULA_NAME ASLink-PT-09a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589070275737

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 09a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 3 NEW BEST:: SOT 3223390 SOS 2216471 HAS SOPS 2216471 HAS SOUS 1451929 HAS SOUPS 1451929 WITH SCORE 1454145.471
AT ITER 11 NEW BEST:: SOT 3223390 SOS 2214958 HAS SOPS 2214958 HAS SOUS 1451253 HAS SOUPS 1451253 WITH SCORE 1453467.958
AT ITER 12 NEW BEST:: SOT 3222363 SOS 2213428 HAS SOPS 2213428 HAS SOUS 1449713 HAS SOUPS 1449713 WITH SCORE 1451926.428
AT ITER 14 NEW BEST:: SOT 3219678 SOS 2211768 HAS SOPS 2211768 HAS SOUS 1448233 HAS SOUPS 1448233 WITH SCORE 1450444.768
AT ITER 15 NEW BEST:: SOT 3219678 SOS 2207976 HAS SOPS 2207976 HAS SOUS 1447260 HAS SOUPS 1447260 WITH SCORE 1449467.976
AT ITER 18 NEW BEST:: SOT 3219302 SOS 2207600 HAS SOPS 2207600 HAS SOUS 1447260 HAS SOUPS 1447260 WITH SCORE 1449467.6
AT ITER 33 NEW BEST:: SOT 3218556 SOS 2206854 HAS SOPS 2206854 HAS SOUS 1446513 HAS SOUPS 1446513 WITH SCORE 1448719.854
AT ITER 39 NEW BEST:: SOT 3218556 SOS 2204404 HAS SOPS 2204404 HAS SOUS 1446512 HAS SOUPS 1446512 WITH SCORE 1448716.404
AT ITER 44 NEW BEST:: SOT 3217776 SOS 2203624 HAS SOPS 2203624 HAS SOUS 1445732 HAS SOUPS 1445732 WITH SCORE 1447935.624
AT ITER 52 NEW BEST:: SOT 3216725 SOS 2202573 HAS SOPS 2202573 HAS SOUS 1445211 HAS SOUPS 1445211 WITH SCORE 1447413.573
AT ITER 66 NEW BEST:: SOT 3216129 SOS 2202560 HAS SOPS 2202560 HAS SOUS 1445197 HAS SOUPS 1445197 WITH SCORE 1447399.56
AT ITER 68 NEW BEST:: SOT 3216099 SOS 2202530 HAS SOPS 2202530 HAS SOUS 1445166 HAS SOUPS 1445166 WITH SCORE 1447368.53
AT ITER 74 NEW BEST:: SOT 3211427 SOS 2197858 HAS SOPS 2197858 HAS SOUS 1440494 HAS SOUPS 1440494 WITH SCORE 1442691.858
AT ITER 80 NEW BEST:: SOT 3211124 SOS 2197555 HAS SOPS 2197555 HAS SOUS 1440490 HAS SOUPS 1440490 WITH SCORE 1442687.555
AT ITER 84 NEW BEST:: SOT 3211166 SOS 2196347 HAS SOPS 2196347 HAS SOUS 1440069 HAS SOUPS 1440069 WITH SCORE 1442265.347
AT ITER 85 NEW BEST:: SOT 3211166 SOS 2197881 HAS SOPS 2197881 HAS SOUS 1439995 HAS SOUPS 1439995 WITH SCORE 1442192.881
AT ITER 87 NEW BEST:: SOT 3196151 SOS 2183250 HAS SOPS 2183250 HAS SOUS 1425364 HAS SOUPS 1425364 WITH SCORE 1427547.25
AT ITER 89 NEW BEST:: SOT 3195134 SOS 2181373 HAS SOPS 2181373 HAS SOUS 1424519 HAS SOUPS 1424519 WITH SCORE 1426700.373
AT ITER 90 NEW BEST:: SOT 3195134 SOS 2181084 HAS SOPS 2181084 HAS SOUS 1424230 HAS SOUPS 1424230 WITH SCORE 1426411.084
AT ITER 92 NEW BEST:: SOT 3191865 SOS 2175825 HAS SOPS 2175825 HAS SOUS 1418966 HAS SOUPS 1418966 WITH SCORE 1421141.825
AT ITER 94 NEW BEST:: SOT 3191531 SOS 2175201 HAS SOPS 2175201 HAS SOUS 1418698 HAS SOUPS 1418698 WITH SCORE 1420873.201
AT ITER 95 NEW BEST:: SOT 3182477 SOS 2173577 HAS SOPS 2173577 HAS SOUS 1411091 HAS SOUPS 1411091 WITH SCORE 1413264.577
AT ITER 96 NEW BEST:: SOT 3181837 SOS 2172937 HAS SOPS 2172937 HAS SOUS 1410759 HAS SOUPS 1410759 WITH SCORE 1412931.937
AT ITER 98 NEW BEST:: SOT 3180453 SOS 2171553 HAS SOPS 2171553 HAS SOUS 1409375 HAS SOUPS 1409375 WITH SCORE 1411546.553
AT ITER 100 NEW BEST:: SOT 3180453 SOS 2171553 HAS SOPS 2171553 HAS SOUS 1408605 HAS SOUPS 1408605 WITH SCORE 1410776.553
AT ITER 102 NEW BEST:: SOT 3179906 SOS 2171539 HAS SOPS 2171539 HAS SOUS 1408590 HAS SOUPS 1408590 WITH SCORE 1410761.539
AT ITER 103 NEW BEST:: SOT 3179605 SOS 2171238 HAS SOPS 2171238 HAS SOUS 1408589 HAS SOUPS 1408589 WITH SCORE 1410760.238
AT ITER 105 NEW BEST:: SOT 3178639 SOS 2168648 HAS SOPS 2168648 HAS SOUS 1406655 HAS SOUPS 1406655 WITH SCORE 1408823.648
AT ITER 107 NEW BEST:: SOT 3178639 SOS 2168569 HAS SOPS 2168569 HAS SOUS 1406617 HAS SOUPS 1406617 WITH SCORE 1408785.569
AT ITER 111 NEW BEST:: SOT 3174962 SOS 2164892 HAS SOPS 2164892 HAS SOUS 1402940 HAS SOUPS 1402940 WITH SCORE 1405104.892
AT ITER 112 NEW BEST:: SOT 3174147 SOS 2164077 HAS SOPS 2164077 HAS SOUS 1402919 HAS SOUPS 1402919 WITH SCORE 1405083.077
AT ITER 113 NEW BEST:: SOT 3174147 SOS 2163147 HAS SOPS 2163147 HAS SOUS 1402912 HAS SOUPS 1402912 WITH SCORE 1405075.147
AT ITER 115 NEW BEST:: SOT 3174454 SOS 2162975 HAS SOPS 2162975 HAS SOUS 1402740 HAS SOUPS 1402740 WITH SCORE 1404902.975
AT ITER 117 NEW BEST:: SOT 3173904 SOS 2162425 HAS SOPS 2162425 HAS SOUS 1402190 HAS SOUPS 1402190 WITH SCORE 1404352.425
AT ITER 122 NEW BEST:: SOT 3173904 SOS 2160552 HAS SOPS 2160552 HAS SOUS 1400317 HAS SOUPS 1400317 WITH SCORE 1402477.552
AT ITER 125 NEW BEST:: SOT 3173904 SOS 2160882 HAS SOPS 2160882 HAS SOUS 1400262 HAS SOUPS 1400262 WITH SCORE 1402422.882
AT ITER 127 NEW BEST:: SOT 3156538 SOS 2143516 HAS SOPS 2143516 HAS SOUS 1382896 HAS SOUPS 1382896 WITH SCORE 1385039.516
AT ITER 128 NEW BEST:: SOT 3156538 SOS 2141957 HAS SOPS 2141957 HAS SOUS 1382814 HAS SOUPS 1382814 WITH SCORE 1384955.957
AT ITER 135 NEW BEST:: SOT 3155126 SOS 2143828 HAS SOPS 2143828 HAS SOUS 1381582 HAS SOUPS 1381582 WITH SCORE 1383725.828
AT ITER 137 NEW BEST:: SOT 3148841 SOS 2137543 HAS SOPS 2137543 HAS SOUS 1375297 HAS SOUPS 1375297 WITH SCORE 1377434.543
AT ITER 141 NEW BEST:: SOT 3148732 SOS 2137316 HAS SOPS 2137316 HAS SOUS 1375070 HAS SOUPS 1375070 WITH SCORE 1377207.316
AT ITER 145 NEW BEST:: SOT 3140510 SOS 2129068 HAS SOPS 2129068 HAS SOUS 1366822 HAS SOUPS 1366822 WITH SCORE 1368951.068
AT ITER 149 NEW BEST:: SOT 3139223 SOS 2127781 HAS SOPS 2127781 HAS SOUS 1365535 HAS SOUPS 1365535 WITH SCORE 1367662.781
AT ITER 153 NEW BEST:: SOT 3139013 SOS 2127571 HAS SOPS 2127571 HAS SOUS 1365533 HAS SOUPS 1365533 WITH SCORE 1367660.571
AT ITER 158 NEW BEST:: SOT 3138283 SOS 2126841 HAS SOPS 2126841 HAS SOUS 1364800 HAS SOUPS 1364800 WITH SCORE 1366926.841
AT ITER 163 NEW BEST:: SOT 3137884 SOS 2126339 HAS SOPS 2126339 HAS SOUS 1364800 HAS SOUPS 1364800 WITH SCORE 1366926.339
AT ITER 164 NEW BEST:: SOT 3137103 SOS 2125558 HAS SOPS 2125558 HAS SOUS 1364019 HAS SOUPS 1364019 WITH SCORE 1366144.558
AT ITER 169 NEW BEST:: SOT 3137162 SOS 2124706 HAS SOPS 2124706 HAS SOUS 1363427 HAS SOUPS 1363427 WITH SCORE 1365551.706
AT ITER 174 NEW BEST:: SOT 3138029 SOS 2124934 HAS SOPS 2124934 HAS SOUS 1363405 HAS SOUPS 1363405 WITH SCORE 1365529.934
AT ITER 175 NEW BEST:: SOT 3137982 SOS 2124887 HAS SOPS 2124887 HAS SOUS 1363405 HAS SOUPS 1363405 WITH SCORE 1365529.887
AT ITER 178 NEW BEST:: SOT 3137364 SOS 2124264 HAS SOPS 2124264 HAS SOUS 1363238 HAS SOUPS 1363238 WITH SCORE 1365362.264
AT ITER 182 NEW BEST:: SOT 3136807 SOS 2120365 HAS SOPS 2120365 HAS SOUS 1362124 HAS SOUPS 1362124 WITH SCORE 1364244.365
AT ITER 183 NEW BEST:: SOT 3133004 SOS 2112663 HAS SOPS 2112663 HAS SOUS 1357149 HAS SOUPS 1357149 WITH SCORE 1359261.663
AT ITER 191 NEW BEST:: SOT 3132396 SOS 2111121 HAS SOPS 2111121 HAS SOUS 1355719 HAS SOUPS 1355719 WITH SCORE 1357830.121
AT ITER 193 NEW BEST:: SOT 3131975 SOS 2110700 HAS SOPS 2110700 HAS SOUS 1355298 HAS SOUPS 1355298 WITH SCORE 1357408.7
AT ITER 197 NEW BEST:: SOT 3130019 SOS 2108744 HAS SOPS 2108744 HAS SOUS 1353342 HAS SOUPS 1353342 WITH SCORE 1355450.744
AT ITER 202 NEW BEST:: SOT 3130019 SOS 2108181 HAS SOPS 2108181 HAS SOUS 1352779 HAS SOUPS 1352779 WITH SCORE 1354887.181
AT ITER 204 NEW BEST:: SOT 3124915 SOS 2103077 HAS SOPS 2103077 HAS SOUS 1347626 HAS SOUPS 1347626 WITH SCORE 1349729.077
AT ITER 213 NEW BEST:: SOT 3124915 SOS 2102243 HAS SOPS 2102243 HAS SOUS 1346792 HAS SOUPS 1346792 WITH SCORE 1348894.243
AT ITER 218 NEW BEST:: SOT 3114542 SOS 2091870 HAS SOPS 2091870 HAS SOUS 1336418 HAS SOUPS 1336418 WITH SCORE 1338509.87
AT ITER 219 NEW BEST:: SOT 3110949 SOS 2088277 HAS SOPS 2088277 HAS SOUS 1332825 HAS SOUPS 1332825 WITH SCORE 1334913.277
AT ITER 222 NEW BEST:: SOT 3110327 SOS 2087560 HAS SOPS 2087560 HAS SOUS 1332728 HAS SOUPS 1332728 WITH SCORE 1334815.56
AT ITER 224 NEW BEST:: SOT 3110119 SOS 2085948 HAS SOPS 2085948 HAS SOUS 1332728 HAS SOUPS 1332728 WITH SCORE 1334813.948
AT ITER 226 NEW BEST:: SOT 3109947 SOS 2081472 HAS SOPS 2081472 HAS SOUS 1331514 HAS SOUPS 1331514 WITH SCORE 1333595.472
AT ITER 240 NEW BEST:: SOT 3109176 SOS 2080701 HAS SOPS 2080701 HAS SOUS 1329890 HAS SOUPS 1329890 WITH SCORE 1331970.701
AT ITER 242 NEW BEST:: SOT 3108665 SOS 2080190 HAS SOPS 2080190 HAS SOUS 1329378 HAS SOUPS 1329378 WITH SCORE 1331458.19
AT ITER 248 NEW BEST:: SOT 3108665 SOS 2079504 HAS SOPS 2079504 HAS SOUS 1329331 HAS SOUPS 1329331 WITH SCORE 1331410.504
AT ITER 255 NEW BEST:: SOT 3108260 SOS 2077884 HAS SOPS 2077884 HAS SOUS 1327711 HAS SOUPS 1327711 WITH SCORE 1329788.884
AT ITER 263 NEW BEST:: SOT 3108260 SOS 2074529 HAS SOPS 2074529 HAS SOUS 1327350 HAS SOUPS 1327350 WITH SCORE 1329424.529
AT ITER 269 NEW BEST:: SOT 3108235 SOS 2073926 HAS SOPS 2073926 HAS SOUS 1327295 HAS SOUPS 1327295 WITH SCORE 1329368.926
AT ITER 271 NEW BEST:: SOT 3101366 SOS 2067044 HAS SOPS 2067044 HAS SOUS 1320413 HAS SOUPS 1320413 WITH SCORE 1322480.044
AT ITER 272 NEW BEST:: SOT 3100968 SOS 2066646 HAS SOPS 2066646 HAS SOUS 1320015 HAS SOUPS 1320015 WITH SCORE 1322081.646
AT ITER 279 NEW BEST:: SOT 3101391 SOS 2058168 HAS SOPS 2058168 HAS SOUS 1319584 HAS SOUPS 1319584 WITH SCORE 1321642.168
AT ITER 290 NEW BEST:: SOT 3100638 SOS 2057513 HAS SOPS 2057513 HAS SOUS 1319042 HAS SOUPS 1319042 WITH SCORE 1321099.513
AT ITER 291 NEW BEST:: SOT 3100580 SOS 2057455 HAS SOPS 2057455 HAS SOUS 1318983 HAS SOUPS 1318983 WITH SCORE 1321040.455
AT ITER 296 NEW BEST:: SOT 3100256 SOS 2057131 HAS SOPS 2057131 HAS SOUS 1318624 HAS SOUPS 1318624 WITH SCORE 1320681.131
AT ITER 309 NEW BEST:: SOT 3100000 SOS 2056875 HAS SOPS 2056875 HAS SOUS 1318619 HAS SOUPS 1318619 WITH SCORE 1320675.875
AT ITER 313 NEW BEST:: SOT 3099399 SOS 2056274 HAS SOPS 2056274 HAS SOUS 1318017 HAS SOUPS 1318017 WITH SCORE 1320073.274
AT ITER 325 NEW BEST:: SOT 3083433 SOS 2039799 HAS SOPS 2039799 HAS SOUS 1301542 HAS SOUPS 1301542 WITH SCORE 1303581.799
AT ITER 328 NEW BEST:: SOT 3083433 SOS 2039014 HAS SOPS 2039014 HAS SOUS 1301539 HAS SOUPS 1301539 WITH SCORE 1303578.014
AT ITER 331 NEW BEST:: SOT 3083062 SOS 2038611 HAS SOPS 2038611 HAS SOUS 1301507 HAS SOUPS 1301507 WITH SCORE 1303545.611
AT ITER 334 NEW BEST:: SOT 3083231 SOS 2038577 HAS SOPS 2038577 HAS SOUS 1300960 HAS SOUPS 1300960 WITH SCORE 1302998.577
AT ITER 340 NEW BEST:: SOT 3083231 SOS 2038577 HAS SOPS 2038577 HAS SOUS 1300931 HAS SOUPS 1300931 WITH SCORE 1302969.577
AT ITER 341 NEW BEST:: SOT 3082805 SOS 2035038 HAS SOPS 2035038 HAS SOUS 1300077 HAS SOUPS 1300077 WITH SCORE 1302112.038
AT ITER 349 NEW BEST:: SOT 3082762 SOS 2034995 HAS SOPS 2034995 HAS SOUS 1300034 HAS SOUPS 1300034 WITH SCORE 1302068.995
AT ITER 351 NEW BEST:: SOT 3081519 SOS 2033751 HAS SOPS 2033751 HAS SOUS 1298790 HAS SOUPS 1298790 WITH SCORE 1300823.751
AT ITER 353 NEW BEST:: SOT 3081519 SOS 2033382 HAS SOPS 2033382 HAS SOUS 1298787 HAS SOUPS 1298787 WITH SCORE 1300820.382
AT ITER 361 NEW BEST:: SOT 3078642 SOS 2030505 HAS SOPS 2030505 HAS SOUS 1295910 HAS SOUPS 1295910 WITH SCORE 1297940.505
AT ITER 364 NEW BEST:: SOT 3078487 SOS 2029743 HAS SOPS 2029743 HAS SOUS 1295600 HAS SOUPS 1295600 WITH SCORE 1297629.743
AT ITER 367 NEW BEST:: SOT 3078110 SOS 2029366 HAS SOPS 2029366 HAS SOUS 1295223 HAS SOUPS 1295223 WITH SCORE 1297252.366
AT ITER 368 NEW BEST:: SOT 3077501 SOS 2031074 HAS SOPS 2031074 HAS SOUS 1295196 HAS SOUPS 1295196 WITH SCORE 1297227.074
AT ITER 371 NEW BEST:: SOT 3077391 SOS 2030176 HAS SOPS 2030176 HAS SOUS 1294958 HAS SOUPS 1294958 WITH SCORE 1296988.176
AT ITER 372 NEW BEST:: SOT 3077391 SOS 2024837 HAS SOPS 2024837 HAS SOUS 1293220 HAS SOUPS 1293220 WITH SCORE 1295244.837
AT ITER 375 NEW BEST:: SOT 3077391 SOS 2023834 HAS SOPS 2023834 HAS SOUS 1293209 HAS SOUPS 1293209 WITH SCORE 1295232.834
AT ITER 376 NEW BEST:: SOT 3065994 SOS 2012437 HAS SOPS 2012437 HAS SOUS 1281811 HAS SOUPS 1281811 WITH SCORE 1283823.437
AT ITER 390 NEW BEST:: SOT 3065523 SOS 2011658 HAS SOPS 2011658 HAS SOUS 1281415 HAS SOUPS 1281415 WITH SCORE 1283426.658
AT ITER 397 NEW BEST:: SOT 3056075 SOS 2002210 HAS SOPS 2002210 HAS SOUS 1271967 HAS SOUPS 1271967 WITH SCORE 1273969.21
AT ITER 409 NEW BEST:: SOT 3056184 SOS 2000551 HAS SOPS 2000551 HAS SOUS 1271229 HAS SOUPS 1271229 WITH SCORE 1273229.551
AT ITER 415 NEW BEST:: SOT 3048154 SOS 1992521 HAS SOPS 1992521 HAS SOUS 1263198 HAS SOUPS 1263198 WITH SCORE 1265190.521
AT ITER 417 NEW BEST:: SOT 3047374 SOS 1991741 HAS SOPS 1991741 HAS SOUS 1263196 HAS SOUPS 1263196 WITH SCORE 1265187.741
AT ITER 419 NEW BEST:: SOT 3046410 SOS 1990775 HAS SOPS 1990775 HAS SOUS 1262230 HAS SOUPS 1262230 WITH SCORE 1264220.775
AT ITER 426 NEW BEST:: SOT 3043254 SOS 1988982 HAS SOPS 1988982 HAS SOUS 1258938 HAS SOUPS 1258938 WITH SCORE 1260926.982
AT ITER 427 NEW BEST:: SOT 3043246 SOS 1988966 HAS SOPS 1988966 HAS SOUS 1258921 HAS SOUPS 1258921 WITH SCORE 1260909.966
AT ITER 430 NEW BEST:: SOT 3042066 SOS 1982876 HAS SOPS 1982876 HAS SOUS 1257303 HAS SOUPS 1257303 WITH SCORE 1259285.876
AT ITER 435 NEW BEST:: SOT 3041599 SOS 1981942 HAS SOPS 1981942 HAS SOUS 1256369 HAS SOUPS 1256369 WITH SCORE 1258350.942
AT ITER 437 NEW BEST:: SOT 3042247 SOS 1979442 HAS SOPS 1979442 HAS SOUS 1256031 HAS SOUPS 1256031 WITH SCORE 1258010.442
AT ITER 443 NEW BEST:: SOT 3042246 SOS 1979257 HAS SOPS 1979257 HAS SOUS 1255846 HAS SOUPS 1255846 WITH SCORE 1257825.257
AT ITER 456 NEW BEST:: SOT 3041925 SOS 1978936 HAS SOPS 1978936 HAS SOUS 1255525 HAS SOUPS 1255525 WITH SCORE 1257503.936
AT ITER 460 NEW BEST:: SOT 3041220 SOS 1976815 HAS SOPS 1976815 HAS SOUS 1253404 HAS SOUPS 1253404 WITH SCORE 1255380.815
AT ITER 464 NEW BEST:: SOT 3041220 SOS 1980355 HAS SOPS 1980355 HAS SOUS 1253168 HAS SOUPS 1253168 WITH SCORE 1255148.355
AT ITER 465 NEW BEST:: SOT 3041220 SOS 1980355 HAS SOPS 1980355 HAS SOUS 1253161 HAS SOUPS 1253161 WITH SCORE 1255141.355
AT ITER 467 NEW BEST:: SOT 3041220 SOS 1980355 HAS SOPS 1980355 HAS SOUS 1253138 HAS SOUPS 1253138 WITH SCORE 1255118.355
AT ITER 470 NEW BEST:: SOT 3041047 SOS 1980182 HAS SOPS 1980182 HAS SOUS 1253138 HAS SOUPS 1253138 WITH SCORE 1255118.182
AT ITER 471 NEW BEST:: SOT 3041083 SOS 1978495 HAS SOPS 1978495 HAS SOUS 1253031 HAS SOUPS 1253031 WITH SCORE 1255009.495
AT ITER 472 NEW BEST:: SOT 3040378 SOS 1976647 HAS SOPS 1976647 HAS SOUS 1251439 HAS SOUPS 1251439 WITH SCORE 1253415.647
AT ITER 479 NEW BEST:: SOT 3039742 SOS 1976011 HAS SOPS 1976011 HAS SOUS 1250803 HAS SOUPS 1250803 WITH SCORE 1252779.011
AT ITER 483 NEW BEST:: SOT 3039738 SOS 1977233 HAS SOPS 1977233 HAS SOUS 1250801 HAS SOUPS 1250801 WITH SCORE 1252778.233
AT ITER 489 NEW BEST:: SOT 3039610 SOS 1977097 HAS SOPS 1977097 HAS SOUS 1250793 HAS SOUPS 1250793 WITH SCORE 1252770.097
AT ITER 490 NEW BEST:: SOT 3038995 SOS 1976482 HAS SOPS 1976482 HAS SOUS 1250178 HAS SOUPS 1250178 WITH SCORE 1252154.482
AT ITER 491 NEW BEST:: SOT 3038859 SOS 1976219 HAS SOPS 1976219 HAS SOUS 1250033 HAS SOUPS 1250033 WITH SCORE 1252009.219
AT ITER 494 NEW BEST:: SOT 3038040 SOS 1975400 HAS SOPS 1975400 HAS SOUS 1249212 HAS SOUPS 1249212 WITH SCORE 1251187.4
AT ITER 501 NEW BEST:: SOT 3038038 SOS 1973629 HAS SOPS 1973629 HAS SOUS 1249208 HAS SOUPS 1249208 WITH SCORE 1251181.629
AT ITER 503 NEW BEST:: SOT 3036051 SOS 1975199 HAS SOPS 1975199 HAS SOUS 1246809 HAS SOUPS 1246809 WITH SCORE 1248784.199
AT ITER 522 NEW BEST:: SOT 3036051 SOS 1974917 HAS SOPS 1974917 HAS SOUS 1246807 HAS SOUPS 1246807 WITH SCORE 1248781.917
AT ITER 537 NEW BEST:: SOT 3035518 SOS 1974860 HAS SOPS 1974860 HAS SOUS 1246750 HAS SOUPS 1246750 WITH SCORE 1248724.86
AT ITER 540 NEW BEST:: SOT 3035470 SOS 1974764 HAS SOPS 1974764 HAS SOUS 1246654 HAS SOUPS 1246654 WITH SCORE 1248628.764
AT ITER 544 NEW BEST:: SOT 3034553 SOS 1973006 HAS SOPS 1973006 HAS SOUS 1245641 HAS SOUPS 1245641 WITH SCORE 1247614.006
AT ITER 550 NEW BEST:: SOT 3034552 SOS 1973005 HAS SOPS 1973005 HAS SOUS 1245639 HAS SOUPS 1245639 WITH SCORE 1247612.005
AT ITER 551 NEW BEST:: SOT 3034552 SOS 1972470 HAS SOPS 1972470 HAS SOUS 1245104 HAS SOUPS 1245104 WITH SCORE 1247076.47
AT ITER 582 NEW BEST:: SOT 3034552 SOS 1971560 HAS SOPS 1971560 HAS SOUS 1244194 HAS SOUPS 1244194 WITH SCORE 1246165.56
AT ITER 585 NEW BEST:: SOT 3034504 SOS 1971464 HAS SOPS 1971464 HAS SOUS 1244146 HAS SOUPS 1244146 WITH SCORE 1246117.464
AT ITER 588 NEW BEST:: SOT 3034504 SOS 1970501 HAS SOPS 1970501 HAS SOUS 1244140 HAS SOUPS 1244140 WITH SCORE 1246110.501
AT ITER 591 NEW BEST:: SOT 3033321 SOS 1969382 HAS SOPS 1969382 HAS SOUS 1243236 HAS SOUPS 1243236 WITH SCORE 1245205.382
AT ITER 597 NEW BEST:: SOT 3033321 SOS 1967670 HAS SOPS 1967670 HAS SOUS 1243236 HAS SOUPS 1243236 WITH SCORE 1245203.67
AT ITER 616 NEW BEST:: SOT 3031617 SOS 1965966 HAS SOPS 1965966 HAS SOUS 1241532 HAS SOUPS 1241532 WITH SCORE 1243497.966
AT ITER 620 NEW BEST:: SOT 3015538 SOS 1949887 HAS SOPS 1949887 HAS SOUS 1225453 HAS SOUPS 1225453 WITH SCORE 1227402.887
AT ITER 627 NEW BEST:: SOT 3015475 SOS 1949889 HAS SOPS 1949889 HAS SOUS 1225451 HAS SOUPS 1225451 WITH SCORE 1227400.889
AT ITER 637 NEW BEST:: SOT 3015697 SOS 1950333 HAS SOPS 1950333 HAS SOUS 1225077 HAS SOUPS 1225077 WITH SCORE 1227027.333
AT ITER 643 NEW BEST:: SOT 3015491 SOS 1948944 HAS SOPS 1948944 HAS SOUS 1225077 HAS SOUPS 1225077 WITH SCORE 1227025.944
AT ITER 646 NEW BEST:: SOT 3014441 SOS 1947181 HAS SOPS 1947181 HAS SOUS 1223314 HAS SOUPS 1223314 WITH SCORE 1225261.181
AT ITER 648 NEW BEST:: SOT 3014219 SOS 1946959 HAS SOPS 1946959 HAS SOUS 1223305 HAS SOUPS 1223305 WITH SCORE 1225251.959
AT ITER 651 NEW BEST:: SOT 3013199 SOS 1944905 HAS SOPS 1944905 HAS SOUS 1221251 HAS SOUPS 1221251 WITH SCORE 1223195.905
AT ITER 654 NEW BEST:: SOT 3010862 SOS 1943213 HAS SOPS 1943213 HAS SOUS 1219346 HAS SOUPS 1219346 WITH SCORE 1221289.213
AT ITER 665 NEW BEST:: SOT 3006340 SOS 1939103 HAS SOPS 1939103 HAS SOUS 1215006 HAS SOUPS 1215006 WITH SCORE 1216945.103
AT ITER 670 NEW BEST:: SOT 3006468 SOS 1935156 HAS SOPS 1935156 HAS SOUS 1214364 HAS SOUPS 1214364 WITH SCORE 1216299.156
AT ITER 671 NEW BEST:: SOT 3005834 SOS 1934221 HAS SOPS 1934221 HAS SOUS 1213284 HAS SOUPS 1213284 WITH SCORE 1215218.221
AT ITER 675 NEW BEST:: SOT 3005716 SOS 1934103 HAS SOPS 1934103 HAS SOUS 1213165 HAS SOUPS 1213165 WITH SCORE 1215099.103
AT ITER 692 NEW BEST:: SOT 3005716 SOS 1934103 HAS SOPS 1934103 HAS SOUS 1213138 HAS SOUPS 1213138 WITH SCORE 1215072.103
AT ITER 695 NEW BEST:: SOT 3005506 SOS 1933891 HAS SOPS 1933891 HAS SOUS 1212926 HAS SOUPS 1212926 WITH SCORE 1214859.891
AT ITER 696 NEW BEST:: SOT 3005506 SOS 1933891 HAS SOPS 1933891 HAS SOUS 1212925 HAS SOUPS 1212925 WITH SCORE 1214858.891
AT ITER 699 NEW BEST:: SOT 3005531 SOS 1933372 HAS SOPS 1933372 HAS SOUS 1211474 HAS SOUPS 1211474 WITH SCORE 1213407.372
AT ITER 703 NEW BEST:: SOT 3005528 SOS 1930444 HAS SOPS 1930444 HAS SOUS 1211455 HAS SOUPS 1211455 WITH SCORE 1213385.444
AT ITER 711 NEW BEST:: SOT 2992232 SOS 1920697 HAS SOPS 1920697 HAS SOUS 1198411 HAS SOUPS 1198411 WITH SCORE 1200331.697
AT ITER 712 NEW BEST:: SOT 2990184 SOS 1918649 HAS SOPS 1918649 HAS SOUS 1196363 HAS SOUPS 1196363 WITH SCORE 1198281.649
AT ITER 718 NEW BEST:: SOT 2989932 SOS 1917893 HAS SOPS 1917893 HAS SOUS 1195607 HAS SOUPS 1195607 WITH SCORE 1197524.893
AT ITER 719 NEW BEST:: SOT 2990400 SOS 1916382 HAS SOPS 1916382 HAS SOUS 1194230 HAS SOUPS 1194230 WITH SCORE 1196146.382
AT ITER 734 NEW BEST:: SOT 2990375 SOS 1916065 HAS SOPS 1916065 HAS SOUS 1194180 HAS SOUPS 1194180 WITH SCORE 1196096.065
AT ITER 738 NEW BEST:: SOT 2989239 SOS 1914837 HAS SOPS 1914837 HAS SOUS 1191906 HAS SOUPS 1191906 WITH SCORE 1193820.837
AT ITER 749 NEW BEST:: SOT 2989210 SOS 1914808 HAS SOPS 1914808 HAS SOUS 1191899 HAS SOUPS 1191899 WITH SCORE 1193813.808
AT ITER 752 NEW BEST:: SOT 2988770 SOS 1914181 HAS SOPS 1914181 HAS SOUS 1191517 HAS SOUPS 1191517 WITH SCORE 1193431.181
AT ITER 755 NEW BEST:: SOT 2986338 SOS 1919231 HAS SOPS 1919231 HAS SOUS 1191137 HAS SOUPS 1191137 WITH SCORE 1193056.231
AT ITER 771 NEW BEST:: SOT 2986668 SOS 1919549 HAS SOPS 1919549 HAS SOUS 1190771 HAS SOUPS 1190771 WITH SCORE 1192690.549
AT ITER 776 NEW BEST:: SOT 2986135 SOS 1919016 HAS SOPS 1919016 HAS SOUS 1190564 HAS SOUPS 1190564 WITH SCORE 1192483.016
AT ITER 786 NEW BEST:: SOT 2986133 SOS 1916772 HAS SOPS 1916772 HAS SOUS 1190373 HAS SOUPS 1190373 WITH SCORE 1192289.772
AT ITER 788 NEW BEST:: SOT 2985780 SOS 1916419 HAS SOPS 1916419 HAS SOUS 1189948 HAS SOUPS 1189948 WITH SCORE 1191864.419
AT ITER 792 NEW BEST:: SOT 2985550 SOS 1916089 HAS SOPS 1916089 HAS SOUS 1189618 HAS SOUPS 1189618 WITH SCORE 1191534.089
AT ITER 806 NEW BEST:: SOT 2984953 SOS 1914693 HAS SOPS 1914693 HAS SOUS 1188222 HAS SOUPS 1188222 WITH SCORE 1190136.693
AT ITER 818 NEW BEST:: SOT 2984739 SOS 1914479 HAS SOPS 1914479 HAS SOUS 1188007 HAS SOUPS 1188007 WITH SCORE 1189921.479
AT ITER 824 NEW BEST:: SOT 2984639 SOS 1914379 HAS SOPS 1914379 HAS SOUS 1187901 HAS SOUPS 1187901 WITH SCORE 1189815.379
AT ITER 825 NEW BEST:: SOT 2984041 SOS 1913781 HAS SOPS 1913781 HAS SOUS 1187303 HAS SOUPS 1187303 WITH SCORE 1189216.781
AT ITER 831 NEW BEST:: SOT 2984026 SOS 1913056 HAS SOPS 1913056 HAS SOUS 1187273 HAS SOUPS 1187273 WITH SCORE 1189186.056
AT ITER 838 NEW BEST:: SOT 2983604 SOS 1912634 HAS SOPS 1912634 HAS SOUS 1186851 HAS SOUPS 1186851 WITH SCORE 1188763.634
AT ITER 848 NEW BEST:: SOT 2983604 SOS 1912634 HAS SOPS 1912634 HAS SOUS 1186824 HAS SOUPS 1186824 WITH SCORE 1188736.634
AT ITER 852 NEW BEST:: SOT 2983598 SOS 1913468 HAS SOPS 1913468 HAS SOUS 1186821 HAS SOUPS 1186821 WITH SCORE 1188734.468
AT ITER 858 NEW BEST:: SOT 2982657 SOS 1913156 HAS SOPS 1913156 HAS SOUS 1186316 HAS SOUPS 1186316 WITH SCORE 1188229.156
AT ITER 860 NEW BEST:: SOT 2981795 SOS 1912294 HAS SOPS 1912294 HAS SOUS 1185397 HAS SOUPS 1185397 WITH SCORE 1187309.294
AT ITER 864 NEW BEST:: SOT 2981285 SOS 1912234 HAS SOPS 1912234 HAS SOUS 1185380 HAS SOUPS 1185380 WITH SCORE 1187292.234
AT ITER 868 NEW BEST:: SOT 2982055 SOS 1913000 HAS SOPS 1913000 HAS SOUS 1185378 HAS SOUPS 1185378 WITH SCORE 1187291.0
AT ITER 873 NEW BEST:: SOT 2982055 SOS 1912972 HAS SOPS 1912972 HAS SOUS 1185378 HAS SOUPS 1185378 WITH SCORE 1187290.972
AT ITER 882 NEW BEST:: SOT 2981752 SOS 1913296 HAS SOPS 1913296 HAS SOUS 1185075 HAS SOUPS 1185075 WITH SCORE 1186988.296
AT ITER 898 NEW BEST:: SOT 2980919 SOS 1911390 HAS SOPS 1911390 HAS SOUS 1184419 HAS SOUPS 1184419 WITH SCORE 1186330.39
AT ITER 899 NEW BEST:: SOT 2980883 SOS 1911354 HAS SOPS 1911354 HAS SOUS 1184383 HAS SOUPS 1184383 WITH SCORE 1186294.354
AT ITER 901 NEW BEST:: SOT 2980883 SOS 1911138 HAS SOPS 1911138 HAS SOUS 1184383 HAS SOUPS 1184383 WITH SCORE 1186294.138
AT ITER 907 NEW BEST:: SOT 2980878 SOS 1911133 HAS SOPS 1911133 HAS SOUS 1184376 HAS SOUPS 1184376 WITH SCORE 1186287.133
AT ITER 912 NEW BEST:: SOT 2979770 SOS 1910025 HAS SOPS 1910025 HAS SOUS 1183268 HAS SOUPS 1183268 WITH SCORE 1185178.025
AT ITER 918 NEW BEST:: SOT 2978495 SOS 1910765 HAS SOPS 1910765 HAS SOUS 1182190 HAS SOUPS 1182190 WITH SCORE 1184100.765
AT ITER 921 NEW BEST:: SOT 2978354 SOS 1910624 HAS SOPS 1910624 HAS SOUS 1182142 HAS SOUPS 1182142 WITH SCORE 1184052.624
AT ITER 923 NEW BEST:: SOT 2978398 SOS 1909044 HAS SOPS 1909044 HAS SOUS 1179732 HAS SOUPS 1179732 WITH SCORE 1181641.044
AT ITER 928 NEW BEST:: SOT 2977116 SOS 1907762 HAS SOPS 1907762 HAS SOUS 1179073 HAS SOUPS 1179073 WITH SCORE 1180980.762
AT ITER 938 NEW BEST:: SOT 2977047 SOS 1907693 HAS SOPS 1907693 HAS SOUS 1179053 HAS SOUPS 1179053 WITH SCORE 1180960.693
AT ITER 943 NEW BEST:: SOT 2977047 SOS 1901102 HAS SOPS 1901102 HAS SOUS 1177685 HAS SOUPS 1177685 WITH SCORE 1179586.102
AT ITER 952 NEW BEST:: SOT 2977567 SOS 1901126 HAS SOPS 1901126 HAS SOUS 1177616 HAS SOUPS 1177616 WITH SCORE 1179517.126
AT ITER 953 NEW BEST:: SOT 2977567 SOS 1900480 HAS SOPS 1900480 HAS SOUS 1177255 HAS SOUPS 1177255 WITH SCORE 1179155.48
AT ITER 959 NEW BEST:: SOT 2977567 SOS 1900393 HAS SOPS 1900393 HAS SOUS 1177255 HAS SOUPS 1177255 WITH SCORE 1179155.393
AT ITER 962 NEW BEST:: SOT 2971340 SOS 1898409 HAS SOPS 1898409 HAS SOUS 1170636 HAS SOUPS 1170636 WITH SCORE 1172534.409
AT ITER 967 NEW BEST:: SOT 2969768 SOS 1896837 HAS SOPS 1896837 HAS SOUS 1169064 HAS SOUPS 1169064 WITH SCORE 1170960.837
AT ITER 977 NEW BEST:: SOT 2968549 SOS 1895614 HAS SOPS 1895614 HAS SOUS 1168139 HAS SOUPS 1168139 WITH SCORE 1170034.614
AT ITER 985 NEW BEST:: SOT 2964730 SOS 1891795 HAS SOPS 1891795 HAS SOUS 1164320 HAS SOUPS 1164320 WITH SCORE 1166211.795
AT ITER 990 NEW BEST:: SOT 2964730 SOS 1891636 HAS SOPS 1891636 HAS SOUS 1164161 HAS SOUPS 1164161 WITH SCORE 1166052.636
AT ITER 991 NEW BEST:: SOT 2964730 SOS 1891875 HAS SOPS 1891875 HAS SOUS 1164111 HAS SOUPS 1164111 WITH SCORE 1166002.875
AT ITER 995 NEW BEST:: SOT 2964246 SOS 1890958 HAS SOPS 1890958 HAS SOUS 1163088 HAS SOUPS 1163088 WITH SCORE 1164978.958
AT ITER 996 NEW BEST:: SOT 2963406 SOS 1890116 HAS SOPS 1890116 HAS SOUS 1162246 HAS SOUPS 1162246 WITH SCORE 1164136.116
AT ITER 999 NEW BEST:: SOT 2963406 SOS 1888806 HAS SOPS 1888806 HAS SOUS 1162058 HAS SOUPS 1162058 WITH SCORE 1163946.806
AT ITER 1004 NEW BEST:: SOT 2963225 SOS 1888672 HAS SOPS 1888672 HAS SOUS 1162044 HAS SOUPS 1162044 WITH SCORE 1163932.672
AT ITER 1012 NEW BEST:: SOT 2963225 SOS 1888672 HAS SOPS 1888672 HAS SOUS 1162042 HAS SOUPS 1162042 WITH SCORE 1163930.672
AT ITER 1015 NEW BEST:: SOT 2962472 SOS 1887919 HAS SOPS 1887919 HAS SOUS 1161286 HAS SOUPS 1161286 WITH SCORE 1163173.919
AT ITER 1018 NEW BEST:: SOT 2962379 SOS 1887175 HAS SOPS 1887175 HAS SOUS 1161100 HAS SOUPS 1161100 WITH SCORE 1162987.175
AT ITER 1023 NEW BEST:: SOT 2962210 SOS 1887006 HAS SOPS 1887006 HAS SOUS 1160930 HAS SOUPS 1160930 WITH SCORE 1162817.006
AT ITER 1026 NEW BEST:: SOT 2962210 SOS 1886983 HAS SOPS 1886983 HAS SOUS 1160907 HAS SOUPS 1160907 WITH SCORE 1162793.983
AT ITER 1032 NEW BEST:: SOT 2962111 SOS 1886882 HAS SOPS 1886882 HAS SOUS 1160806 HAS SOUPS 1160806 WITH SCORE 1162692.882
AT ITER 1033 NEW BEST:: SOT 2962884 SOS 1886681 HAS SOPS 1886681 HAS SOUS 1160404 HAS SOUPS 1160404 WITH SCORE 1162290.681
AT ITER 1034 NEW BEST:: SOT 2962750 SOS 1886026 HAS SOPS 1886026 HAS SOUS 1160136 HAS SOUPS 1160136 WITH SCORE 1162022.026
AT ITER 1036 NEW BEST:: SOT 2962544 SOS 1885820 HAS SOPS 1885820 HAS SOUS 1159929 HAS SOUPS 1159929 WITH SCORE 1161814.82
AT ITER 1039 NEW BEST:: SOT 2962292 SOS 1885811 HAS SOPS 1885811 HAS SOUS 1159920 HAS SOUPS 1159920 WITH SCORE 1161805.811
AT ITER 1057 NEW BEST:: SOT 2961936 SOS 1885455 HAS SOPS 1885455 HAS SOUS 1159558 HAS SOUPS 1159558 WITH SCORE 1161443.455
AT ITER 1066 NEW BEST:: SOT 2961936 SOS 1885159 HAS SOPS 1885159 HAS SOUS 1158080 HAS SOUPS 1158080 WITH SCORE 1159965.159
AT ITER 1077 NEW BEST:: SOT 2948246 SOS 1871469 HAS SOPS 1871469 HAS SOUS 1144390 HAS SOUPS 1144390 WITH SCORE 1146261.469
AT ITER 1080 NEW BEST:: SOT 2947398 SOS 1870620 HAS SOPS 1870620 HAS SOUS 1143530 HAS SOUPS 1143530 WITH SCORE 1145400.62
AT ITER 1081 NEW BEST:: SOT 2943958 SOS 1863631 HAS SOPS 1863631 HAS SOUS 1139583 HAS SOUPS 1139583 WITH SCORE 1141446.631
AT ITER 1090 NEW BEST:: SOT 2943529 SOS 1862344 HAS SOPS 1862344 HAS SOUS 1138587 HAS SOUPS 1138587 WITH SCORE 1140449.344
AT ITER 1092 NEW BEST:: SOT 2943529 SOS 1861968 HAS SOPS 1861968 HAS SOUS 1137798 HAS SOUPS 1137798 WITH SCORE 1139659.968
AT ITER 1096 NEW BEST:: SOT 2943364 SOS 1861613 HAS SOPS 1861613 HAS SOUS 1137451 HAS SOUPS 1137451 WITH SCORE 1139312.613
AT ITER 1116 NEW BEST:: SOT 2943364 SOS 1861436 HAS SOPS 1861436 HAS SOUS 1137445 HAS SOUPS 1137445 WITH SCORE 1139306.436
AT ITER 1125 NEW BEST:: SOT 2943364 SOS 1861296 HAS SOPS 1861296 HAS SOUS 1137445 HAS SOUPS 1137445 WITH SCORE 1139306.296
AT ITER 1126 NEW BEST:: SOT 2943266 SOS 1859568 HAS SOPS 1859568 HAS SOUS 1135717 HAS SOUPS 1135717 WITH SCORE 1137576.568
AT ITER 1130 NEW BEST:: SOT 2942148 SOS 1858337 HAS SOPS 1858337 HAS SOUS 1134809 HAS SOUPS 1134809 WITH SCORE 1136667.337
AT ITER 1132 NEW BEST:: SOT 2943004 SOS 1857013 HAS SOPS 1857013 HAS SOUS 1133231 HAS SOUPS 1133231 WITH SCORE 1135088.013
AT ITER 1134 NEW BEST:: SOT 2942847 SOS 1856856 HAS SOPS 1856856 HAS SOUS 1133230 HAS SOUPS 1133230 WITH SCORE 1135086.856
AT ITER 1137 NEW BEST:: SOT 2937149 SOS 1850791 HAS SOPS 1850791 HAS SOUS 1127165 HAS SOUPS 1127165 WITH SCORE 1129015.791
AT ITER 1140 NEW BEST:: SOT 2937149 SOS 1850497 HAS SOPS 1850497 HAS SOUS 1127165 HAS SOUPS 1127165 WITH SCORE 1129015.497
AT ITER 1144 NEW BEST:: SOT 2936640 SOS 1849876 HAS SOPS 1849876 HAS SOUS 1126544 HAS SOUPS 1126544 WITH SCORE 1128393.876
AT ITER 1147 NEW BEST:: SOT 2936907 SOS 1849372 HAS SOPS 1849372 HAS SOUS 1126525 HAS SOUPS 1126525 WITH SCORE 1128374.372
AT ITER 1151 NEW BEST:: SOT 2936385 SOS 1848098 HAS SOPS 1848098 HAS SOUS 1125251 HAS SOUPS 1125251 WITH SCORE 1127099.098
AT ITER 1168 NEW BEST:: SOT 2936080 SOS 1848555 HAS SOPS 1848555 HAS SOUS 1124819 HAS SOUPS 1124819 WITH SCORE 1126667.555
AT ITER 1169 NEW BEST:: SOT 2935642 SOS 1847939 HAS SOPS 1847939 HAS SOUS 1123713 HAS SOUPS 1123713 WITH SCORE 1125560.939
AT ITER 1171 NEW BEST:: SOT 2935626 SOS 1847923 HAS SOPS 1847923 HAS SOUS 1123697 HAS SOUPS 1123697 WITH SCORE 1125544.923
AT ITER 1173 NEW BEST:: SOT 2935626 SOS 1847972 HAS SOPS 1847972 HAS SOUS 1123549 HAS SOUPS 1123549 WITH SCORE 1125396.972
AT ITER 1178 NEW BEST:: SOT 2935626 SOS 1847964 HAS SOPS 1847964 HAS SOUS 1123541 HAS SOUPS 1123541 WITH SCORE 1125388.964
AT ITER 1189 NEW BEST:: SOT 2933261 SOS 1845970 HAS SOPS 1845970 HAS SOUS 1121547 HAS SOUPS 1121547 WITH SCORE 1123392.97
AT ITER 1191 NEW BEST:: SOT 2932854 SOS 1845818 HAS SOPS 1845818 HAS SOUS 1121529 HAS SOUPS 1121529 WITH SCORE 1123374.818
AT ITER 1195 NEW BEST:: SOT 2932757 SOS 1845708 HAS SOPS 1845708 HAS SOUS 1121418 HAS SOUPS 1121418 WITH SCORE 1123263.708
AT ITER 1200 NEW BEST:: SOT 2930845 SOS 1843671 HAS SOPS 1843671 HAS SOUS 1119381 HAS SOUPS 1119381 WITH SCORE 1121224.671
AT ITER 1217 NEW BEST:: SOT 2930896 SOS 1843007 HAS SOPS 1843007 HAS SOUS 1119048 HAS SOUPS 1119048 WITH SCORE 1120891.007
AT ITER 1219 NEW BEST:: SOT 2930641 SOS 1841424 HAS SOPS 1841424 HAS SOUS 1118551 HAS SOUPS 1118551 WITH SCORE 1120392.424
AT ITER 1222 NEW BEST:: SOT 2930632 SOS 1840806 HAS SOPS 1840806 HAS SOUS 1118087 HAS SOUPS 1118087 WITH SCORE 1119927.806
AT ITER 1228 NEW BEST:: SOT 2930893 SOS 1840475 HAS SOPS 1840475 HAS SOUS 1117756 HAS SOUPS 1117756 WITH SCORE 1119596.475
AT ITER 1232 NEW BEST:: SOT 2930861 SOS 1840475 HAS SOPS 1840475 HAS SOUS 1117724 HAS SOUPS 1117724 WITH SCORE 1119564.475
AT ITER 1235 NEW BEST:: SOT 2930888 SOS 1838916 HAS SOPS 1838916 HAS SOUS 1117071 HAS SOUPS 1117071 WITH SCORE 1118909.916
AT ITER 1240 NEW BEST:: SOT 2930888 SOS 1840634 HAS SOPS 1840634 HAS SOUS 1116788 HAS SOUPS 1116788 WITH SCORE 1118628.634
AT ITER 1258 NEW BEST:: SOT 2930888 SOS 1836731 HAS SOPS 1836731 HAS SOUS 1116462 HAS SOUPS 1116462 WITH SCORE 1118298.731
AT ITER 1268 NEW BEST:: SOT 2929789 SOS 1835632 HAS SOPS 1835632 HAS SOUS 1116367 HAS SOUPS 1116367 WITH SCORE 1118202.632
AT ITER 1269 NEW BEST:: SOT 2929789 SOS 1834705 HAS SOPS 1834705 HAS SOUS 1116202 HAS SOUPS 1116202 WITH SCORE 1118036.705
AT ITER 1282 NEW BEST:: SOT 2929628 SOS 1834383 HAS SOPS 1834383 HAS SOUS 1115882 HAS SOUPS 1115882 WITH SCORE 1117716.383
AT ITER 1288 NEW BEST:: SOT 2929628 SOS 1833612 HAS SOPS 1833612 HAS SOUS 1115667 HAS SOUPS 1115667 WITH SCORE 1117500.612
AT ITER 1301 NEW BEST:: SOT 2929254 SOS 1833238 HAS SOPS 1833238 HAS SOUS 1115293 HAS SOUPS 1115293 WITH SCORE 1117126.238
AT ITER 1306 NEW BEST:: SOT 2928823 SOS 1832376 HAS SOPS 1832376 HAS SOUS 1114407 HAS SOUPS 1114407 WITH SCORE 1116239.376
AT ITER 1311 NEW BEST:: SOT 2929367 SOS 1831811 HAS SOPS 1831811 HAS SOUS 1114044 HAS SOUPS 1114044 WITH SCORE 1115875.811
AT ITER 1327 NEW BEST:: SOT 2928966 SOS 1830541 HAS SOPS 1830541 HAS SOUS 1113262 HAS SOUPS 1113262 WITH SCORE 1115092.541
AT ITER 1337 NEW BEST:: SOT 2928589 SOS 1830155 HAS SOPS 1830155 HAS SOUS 1112876 HAS SOUPS 1112876 WITH SCORE 1114706.155
AT ITER 1343 NEW BEST:: SOT 2928588 SOS 1830154 HAS SOPS 1830154 HAS SOUS 1112875 HAS SOUPS 1112875 WITH SCORE 1114705.154
AT ITER 1344 NEW BEST:: SOT 2925986 SOS 1827944 HAS SOPS 1827944 HAS SOUS 1110662 HAS SOUPS 1110662 WITH SCORE 1112489.944
AT ITER 1348 NEW BEST:: SOT 2926332 SOS 1826869 HAS SOPS 1826869 HAS SOUS 1109587 HAS SOUPS 1109587 WITH SCORE 1111413.869
AT ITER 1366 NEW BEST:: SOT 2926202 SOS 1826739 HAS SOPS 1826739 HAS SOUS 1109457 HAS SOUPS 1109457 WITH SCORE 1111283.739
AT ITER 1369 NEW BEST:: SOT 2924998 SOS 1824253 HAS SOPS 1824253 HAS SOUS 1108665 HAS SOUPS 1108665 WITH SCORE 1110489.253
AT ITER 1375 NEW BEST:: SOT 2924464 SOS 1823719 HAS SOPS 1823719 HAS SOUS 1108506 HAS SOUPS 1108506 WITH SCORE 1110329.719
AT ITER 1379 NEW BEST:: SOT 2924464 SOS 1822082 HAS SOPS 1822082 HAS SOUS 1108505 HAS SOUPS 1108505 WITH SCORE 1110327.082
AT ITER 1386 NEW BEST:: SOT 2923035 SOS 1822965 HAS SOPS 1822965 HAS SOUS 1107365 HAS SOUPS 1107365 WITH SCORE 1109187.965
AT ITER 1390 NEW BEST:: SOT 2922867 SOS 1824356 HAS SOPS 1824356 HAS SOUS 1106886 HAS SOUPS 1106886 WITH SCORE 1108710.356
AT ITER 1399 NEW BEST:: SOT 2921981 SOS 1823002 HAS SOPS 1823002 HAS SOUS 1106000 HAS SOUPS 1106000 WITH SCORE 1107823.002
AT ITER 1401 NEW BEST:: SOT 2921778 SOS 1821953 HAS SOPS 1821953 HAS SOUS 1104951 HAS SOUPS 1104951 WITH SCORE 1106772.953
AT ITER 1405 NEW BEST:: SOT 2921642 SOS 1821817 HAS SOPS 1821817 HAS SOUS 1104815 HAS SOUPS 1104815 WITH SCORE 1106636.817
AT ITER 1410 NEW BEST:: SOT 2921338 SOS 1821493 HAS SOPS 1821493 HAS SOUS 1104491 HAS SOUPS 1104491 WITH SCORE 1106312.493
AT ITER 1419 NEW BEST:: SOT 2920884 SOS 1821039 HAS SOPS 1821039 HAS SOUS 1104037 HAS SOUPS 1104037 WITH SCORE 1105858.039
AT ITER 1420 NEW BEST:: SOT 2921352 SOS 1821298 HAS SOPS 1821298 HAS SOUS 1103492 HAS SOUPS 1103492 WITH SCORE 1105313.298
AT ITER 1426 NEW BEST:: SOT 2921531 SOS 1823656 HAS SOPS 1823656 HAS SOUS 1102579 HAS SOUPS 1102579 WITH SCORE 1104402.656
AT ITER 1427 NEW BEST:: SOT 2919307 SOS 1819329 HAS SOPS 1819329 HAS SOUS 1099679 HAS SOUPS 1099679 WITH SCORE 1101498.329
AT ITER 1430 NEW BEST:: SOT 2919307 SOS 1818781 HAS SOPS 1818781 HAS SOUS 1099489 HAS SOUPS 1099489 WITH SCORE 1101307.781
AT ITER 1453 NEW BEST:: SOT 2918778 SOS 1817161 HAS SOPS 1817161 HAS SOUS 1097869 HAS SOUPS 1097869 WITH SCORE 1099686.161
AT ITER 1456 NEW BEST:: SOT 2918274 SOS 1816657 HAS SOPS 1816657 HAS SOUS 1097363 HAS SOUPS 1097363 WITH SCORE 1099179.657
AT ITER 1459 NEW BEST:: SOT 2918709 SOS 1816317 HAS SOPS 1816317 HAS SOUS 1097203 HAS SOUPS 1097203 WITH SCORE 1099019.317
AT ITER 1477 NEW BEST:: SOT 2918434 SOS 1816111 HAS SOPS 1816111 HAS SOUS 1096997 HAS SOUPS 1096997 WITH SCORE 1098813.111
AT ITER 1485 NEW BEST:: SOT 2917047 SOS 1815673 HAS SOPS 1815673 HAS SOUS 1095917 HAS SOUPS 1095917 WITH SCORE 1097732.673
AT ITER 1497 NEW BEST:: SOT 2917072 SOS 1814826 HAS SOPS 1814826 HAS SOUS 1095071 HAS SOUPS 1095071 WITH SCORE 1096885.826
AT ITER 1503 NEW BEST:: SOT 2916449 SOS 1813380 HAS SOPS 1813380 HAS SOUS 1094216 HAS SOUPS 1094216 WITH SCORE 1096029.38
AT ITER 1504 NEW BEST:: SOT 2916447 SOS 1813171 HAS SOPS 1813171 HAS SOUS 1094170 HAS SOUPS 1094170 WITH SCORE 1095983.171
AT ITER 1516 NEW BEST:: SOT 2916409 SOS 1813133 HAS SOPS 1813133 HAS SOUS 1094132 HAS SOUPS 1094132 WITH SCORE 1095945.133
AT ITER 1525 NEW BEST:: SOT 2916240 SOS 1812964 HAS SOPS 1812964 HAS SOUS 1094130 HAS SOUPS 1094130 WITH SCORE 1095942.964
AT ITER 1526 NEW BEST:: SOT 2910958 SOS 1808801 HAS SOPS 1808801 HAS SOUS 1089452 HAS SOUPS 1089452 WITH SCORE 1091260.801
AT ITER 1550 NEW BEST:: SOT 2907806 SOS 1805867 HAS SOPS 1805867 HAS SOUS 1086306 HAS SOUPS 1086306 WITH SCORE 1088111.867
AT ITER 1556 NEW BEST:: SOT 2907946 SOS 1805209 HAS SOPS 1805209 HAS SOUS 1086030 HAS SOUPS 1086030 WITH SCORE 1087835.209
AT ITER 1567 NEW BEST:: SOT 2893626 SOS 1791013 HAS SOPS 1791013 HAS SOUS 1071832 HAS SOUPS 1071832 WITH SCORE 1073623.013
AT ITER 1573 NEW BEST:: SOT 2890210 SOS 1787597 HAS SOPS 1787597 HAS SOUS 1068416 HAS SOUPS 1068416 WITH SCORE 1070203.597
AT ITER 1575 NEW BEST:: SOT 2890210 SOS 1787181 HAS SOPS 1787181 HAS SOUS 1068000 HAS SOUPS 1068000 WITH SCORE 1069787.181
AT ITER 1582 NEW BEST:: SOT 2890210 SOS 1787180 HAS SOPS 1787180 HAS SOUS 1067999 HAS SOUPS 1067999 WITH SCORE 1069786.18
AT ITER 1585 NEW BEST:: SOT 2889552 SOS 1785801 HAS SOPS 1785801 HAS SOUS 1066683 HAS SOUPS 1066683 WITH SCORE 1068468.801
AT ITER 1587 NEW BEST:: SOT 2889222 SOS 1785471 HAS SOPS 1785471 HAS SOUS 1066353 HAS SOUPS 1066353 WITH SCORE 1068138.471
AT ITER 1590 NEW BEST:: SOT 2889214 SOS 1785182 HAS SOPS 1785182 HAS SOUS 1066337 HAS SOUPS 1066337 WITH SCORE 1068122.182
AT ITER 1591 NEW BEST:: SOT 2889009 SOS 1784977 HAS SOPS 1784977 HAS SOUS 1066132 HAS SOUPS 1066132 WITH SCORE 1067916.977
AT ITER 1592 NEW BEST:: SOT 2858458 SOS 1753466 HAS SOPS 1753466 HAS SOUS 1034526 HAS SOUPS 1034526 WITH SCORE 1036279.466
AT ITER 1599 NEW BEST:: SOT 2856224 SOS 1751648 HAS SOPS 1751648 HAS SOUS 1032520 HAS SOUPS 1032520 WITH SCORE 1034271.648
AT ITER 1602 NEW BEST:: SOT 2855266 SOS 1750110 HAS SOPS 1750110 HAS SOUS 1031180 HAS SOUPS 1031180 WITH SCORE 1032930.11
AT ITER 1624 NEW BEST:: SOT 2854620 SOS 1744495 HAS SOPS 1744495 HAS SOUS 1029242 HAS SOUPS 1029242 WITH SCORE 1030986.495
AT ITER 1626 NEW BEST:: SOT 2854688 SOS 1744495 HAS SOPS 1744495 HAS SOUS 1029240 HAS SOUPS 1029240 WITH SCORE 1030984.495
AT ITER 1627 NEW BEST:: SOT 2853415 SOS 1744927 HAS SOPS 1744927 HAS SOUS 1028099 HAS SOUPS 1028099 WITH SCORE 1029843.927
AT ITER 1629 NEW BEST:: SOT 2853388 SOS 1744793 HAS SOPS 1744793 HAS SOUS 1028027 HAS SOUPS 1028027 WITH SCORE 1029771.793
AT ITER 1640 NEW BEST:: SOT 2853388 SOS 1744588 HAS SOPS 1744588 HAS SOUS 1028027 HAS SOUPS 1028027 WITH SCORE 1029771.588
AT ITER 1646 NEW BEST:: SOT 2853180 SOS 1744380 HAS SOPS 1744380 HAS SOUS 1028027 HAS SOUPS 1028027 WITH SCORE 1029771.38
AT ITER 1654 NEW BEST:: SOT 2853180 SOS 1743961 HAS SOPS 1743961 HAS SOUS 1028026 HAS SOUPS 1028026 WITH SCORE 1029769.961
AT ITER 1655 NEW BEST:: SOT 2853180 SOS 1743781 HAS SOPS 1743781 HAS SOUS 1028026 HAS SOUPS 1028026 WITH SCORE 1029769.781
AT ITER 1658 NEW BEST:: SOT 2849735 SOS 1745976 HAS SOPS 1745976 HAS SOUS 1026610 HAS SOUPS 1026610 WITH SCORE 1028355.976
AT ITER 1667 NEW BEST:: SOT 2850031 SOS 1746272 HAS SOPS 1746272 HAS SOUS 1026606 HAS SOUPS 1026606 WITH SCORE 1028352.272
AT ITER 1668 NEW BEST:: SOT 2849321 SOS 1745561 HAS SOPS 1745561 HAS SOUS 1025895 HAS SOUPS 1025895 WITH SCORE 1027640.561
AT ITER 1683 NEW BEST:: SOT 2849321 SOS 1745836 HAS SOPS 1745836 HAS SOUS 1025620 HAS SOUPS 1025620 WITH SCORE 1027365.836
AT ITER 1684 NEW BEST:: SOT 2849306 SOS 1745815 HAS SOPS 1745815 HAS SOUS 1025614 HAS SOUPS 1025614 WITH SCORE 1027359.815
AT ITER 1685 NEW BEST:: SOT 2836885 SOS 1733394 HAS SOPS 1733394 HAS SOUS 1013193 HAS SOUPS 1013193 WITH SCORE 1014926.394
AT ITER 1687 NEW BEST:: SOT 2836559 SOS 1733068 HAS SOPS 1733068 HAS SOUS 1013067 HAS SOUPS 1013067 WITH SCORE 1014800.068
AT ITER 1693 NEW BEST:: SOT 2835901 SOS 1732410 HAS SOPS 1732410 HAS SOUS 1012849 HAS SOUPS 1012849 WITH SCORE 1014581.41
AT ITER 1698 NEW BEST:: SOT 2834917 SOS 1731426 HAS SOPS 1731426 HAS SOUS 1011865 HAS SOUPS 1011865 WITH SCORE 1013596.426
AT ITER 1705 NEW BEST:: SOT 2834655 SOS 1731161 HAS SOPS 1731161 HAS SOUS 1011600 HAS SOUPS 1011600 WITH SCORE 1013331.161
AT ITER 1709 NEW BEST:: SOT 2833913 SOS 1730419 HAS SOPS 1730419 HAS SOUS 1010858 HAS SOUPS 1010858 WITH SCORE 1012588.419
AT ITER 1710 NEW BEST:: SOT 2833913 SOS 1730419 HAS SOPS 1730419 HAS SOUS 1010850 HAS SOUPS 1010850 WITH SCORE 1012580.419
AT ITER 1711 NEW BEST:: SOT 2833774 SOS 1730280 HAS SOPS 1730280 HAS SOUS 1010711 HAS SOUPS 1010711 WITH SCORE 1012441.28
AT ITER 1714 NEW BEST:: SOT 2833265 SOS 1729771 HAS SOPS 1729771 HAS SOUS 1010202 HAS SOUPS 1010202 WITH SCORE 1011931.771
AT ITER 1719 NEW BEST:: SOT 2833265 SOS 1729920 HAS SOPS 1729920 HAS SOUS 1009960 HAS SOUPS 1009960 WITH SCORE 1011689.92
AT ITER 1742 NEW BEST:: SOT 2832786 SOS 1729441 HAS SOPS 1729441 HAS SOUS 1009481 HAS SOUPS 1009481 WITH SCORE 1011210.441
AT ITER 1743 NEW BEST:: SOT 2832664 SOS 1729197 HAS SOPS 1729197 HAS SOUS 1009237 HAS SOUPS 1009237 WITH SCORE 1010966.197
AT ITER 1748 NEW BEST:: SOT 2832579 SOS 1729112 HAS SOPS 1729112 HAS SOUS 1009152 HAS SOUPS 1009152 WITH SCORE 1010881.112
AT ITER 1763 NEW BEST:: SOT 2832188 SOS 1728721 HAS SOPS 1728721 HAS SOUS 1008834 HAS SOUPS 1008834 WITH SCORE 1010562.721
AT ITER 1782 NEW BEST:: SOT 2832188 SOS 1728708 HAS SOPS 1728708 HAS SOUS 1008834 HAS SOUPS 1008834 WITH SCORE 1010562.708
AT ITER 1791 NEW BEST:: SOT 2822921 SOS 1721906 HAS SOPS 1721906 HAS SOUS 999733 HAS SOUPS 999733 WITH SCORE 1001454.906
AT ITER 1795 NEW BEST:: SOT 2822446 SOS 1720310 HAS SOPS 1720310 HAS SOUS 998710 HAS SOUPS 998710 WITH SCORE 1000430.31
AT ITER 1802 NEW BEST:: SOT 2822637 SOS 1720310 HAS SOPS 1720310 HAS SOUS 998709 HAS SOUPS 998709 WITH SCORE 1000429.31
AT ITER 1811 NEW BEST:: SOT 2822129 SOS 1719802 HAS SOPS 1719802 HAS SOUS 998198 HAS SOUPS 998198 WITH SCORE 999917.802
AT ITER 1814 NEW BEST:: SOT 2822095 SOS 1719358 HAS SOPS 1719358 HAS SOUS 997686 HAS SOUPS 997686 WITH SCORE 999405.358
AT ITER 1815 NEW BEST:: SOT 2823292 SOS 1719251 HAS SOPS 1719251 HAS SOUS 997673 HAS SOUPS 997673 WITH SCORE 999392.251
AT ITER 1816 NEW BEST:: SOT 2823277 SOS 1719236 HAS SOPS 1719236 HAS SOUS 997670 HAS SOUPS 997670 WITH SCORE 999389.236
AT ITER 1818 NEW BEST:: SOT 2823142 SOS 1719101 HAS SOPS 1719101 HAS SOUS 997535 HAS SOUPS 997535 WITH SCORE 999254.101
AT ITER 1824 NEW BEST:: SOT 2823033 SOS 1718992 HAS SOPS 1718992 HAS SOUS 997426 HAS SOUPS 997426 WITH SCORE 999144.992
AT ITER 1840 NEW BEST:: SOT 2824845 SOS 1720632 HAS SOPS 1720632 HAS SOUS 997254 HAS SOUPS 997254 WITH SCORE 998974.632
AT ITER 1845 NEW BEST:: SOT 2824684 SOS 1720471 HAS SOPS 1720471 HAS SOUS 997112 HAS SOUPS 997112 WITH SCORE 998832.471
AT ITER 1846 NEW BEST:: SOT 2823740 SOS 1719892 HAS SOPS 1719892 HAS SOUS 996902 HAS SOUPS 996902 WITH SCORE 998621.892
AT ITER 1853 NEW BEST:: SOT 2823726 SOS 1718911 HAS SOPS 1718911 HAS SOUS 996068 HAS SOUPS 996068 WITH SCORE 997786.911
AT ITER 1855 NEW BEST:: SOT 2823448 SOS 1717895 HAS SOPS 1717895 HAS SOUS 995665 HAS SOUPS 995665 WITH SCORE 997382.895
AT ITER 1884 NEW BEST:: SOT 2823446 SOS 1717684 HAS SOPS 1717684 HAS SOUS 995452 HAS SOUPS 995452 WITH SCORE 997169.684
AT ITER 1888 NEW BEST:: SOT 2823420 SOS 1717658 HAS SOPS 1717658 HAS SOUS 995426 HAS SOUPS 995426 WITH SCORE 997143.658
AT ITER 1904 NEW BEST:: SOT 2823420 SOS 1717414 HAS SOPS 1717414 HAS SOUS 995425 HAS SOUPS 995425 WITH SCORE 997142.414
AT ITER 1908 NEW BEST:: SOT 2823420 SOS 1717414 HAS SOPS 1717414 HAS SOUS 995423 HAS SOUPS 995423 WITH SCORE 997140.414
AT ITER 1909 NEW BEST:: SOT 2823394 SOS 1718005 HAS SOPS 1718005 HAS SOUS 995209 HAS SOUPS 995209 WITH SCORE 996927.005
AT ITER 1910 NEW BEST:: SOT 2823703 SOS 1718296 HAS SOPS 1718296 HAS SOUS 993590 HAS SOUPS 993590 WITH SCORE 995308.296
AT ITER 1911 NEW BEST:: SOT 2822739 SOS 1717332 HAS SOPS 1717332 HAS SOUS 992626 HAS SOUPS 992626 WITH SCORE 994343.332
AT ITER 1914 NEW BEST:: SOT 2822329 SOS 1716922 HAS SOPS 1716922 HAS SOUS 992204 HAS SOUPS 992204 WITH SCORE 993920.922
AT ITER 1916 NEW BEST:: SOT 2822077 SOS 1716127 HAS SOPS 1716127 HAS SOUS 991414 HAS SOUPS 991414 WITH SCORE 993130.127
AT ITER 1921 NEW BEST:: SOT 2818945 SOS 1712995 HAS SOPS 1712995 HAS SOUS 988108 HAS SOUPS 988108 WITH SCORE 989820.995
AT ITER 1922 NEW BEST:: SOT 2818945 SOS 1712946 HAS SOPS 1712946 HAS SOUS 988059 HAS SOUPS 988059 WITH SCORE 989771.946
AT ITER 1928 NEW BEST:: SOT 2818945 SOS 1712927 HAS SOPS 1712927 HAS SOUS 988059 HAS SOUPS 988059 WITH SCORE 989771.927
AT ITER 1949 NEW BEST:: SOT 2817902 SOS 1711884 HAS SOPS 1711884 HAS SOUS 986942 HAS SOUPS 986942 WITH SCORE 988653.884
AT ITER 1951 NEW BEST:: SOT 2817234 SOS 1711305 HAS SOPS 1711305 HAS SOUS 986417 HAS SOUPS 986417 WITH SCORE 988128.305
AT ITER 1958 NEW BEST:: SOT 2816796 SOS 1710867 HAS SOPS 1710867 HAS SOUS 985789 HAS SOUPS 985789 WITH SCORE 987499.867
AT ITER 1962 NEW BEST:: SOT 2816238 SOS 1710309 HAS SOPS 1710309 HAS SOUS 985396 HAS SOUPS 985396 WITH SCORE 987106.309
AT ITER 1967 NEW BEST:: SOT 2816238 SOS 1708320 HAS SOPS 1708320 HAS SOUS 985107 HAS SOUPS 985107 WITH SCORE 986815.32
AT ITER 1977 NEW BEST:: SOT 2807993 SOS 1714541 HAS SOPS 1714541 HAS SOUS 978294 HAS SOUPS 978294 WITH SCORE 980008.541
AT ITER 1992 NEW BEST:: SOT 2807490 SOS 1714163 HAS SOPS 1714163 HAS SOUS 978117 HAS SOUPS 978117 WITH SCORE 979831.163
AT ITER 1994 NEW BEST:: SOT 2807490 SOS 1714131 HAS SOPS 1714131 HAS SOUS 978053 HAS SOUPS 978053 WITH SCORE 979767.131
AT ITER 2013 NEW BEST:: SOT 2795765 SOS 1703083 HAS SOPS 1703083 HAS SOUS 964694 HAS SOUPS 964694 WITH SCORE 966397.083
AT ITER 2016 NEW BEST:: SOT 2795302 SOS 1702619 HAS SOPS 1702619 HAS SOUS 964614 HAS SOUPS 964614 WITH SCORE 966316.619
AT ITER 2028 NEW BEST:: SOT 2795250 SOS 1702589 HAS SOPS 1702589 HAS SOUS 964584 HAS SOUPS 964584 WITH SCORE 966286.589
AT ITER 2031 NEW BEST:: SOT 2794017 SOS 1699835 HAS SOPS 1699835 HAS SOUS 962977 HAS SOUPS 962977 WITH SCORE 964676.835
AT ITER 2033 NEW BEST:: SOT 2794017 SOS 1699017 HAS SOPS 1699017 HAS SOUS 962301 HAS SOUPS 962301 WITH SCORE 964000.017
AT ITER 2044 NEW BEST:: SOT 2794017 SOS 1700049 HAS SOPS 1700049 HAS SOUS 962129 HAS SOUPS 962129 WITH SCORE 963829.049
AT ITER 2049 NEW BEST:: SOT 2794011 SOS 1700439 HAS SOPS 1700439 HAS SOUS 962079 HAS SOUPS 962079 WITH SCORE 963779.439
AT ITER 2058 NEW BEST:: SOT 2793848 SOS 1698069 HAS SOPS 1698069 HAS SOUS 961753 HAS SOUPS 961753 WITH SCORE 963451.069
AT ITER 2063 NEW BEST:: SOT 2792122 SOS 1696432 HAS SOPS 1696432 HAS SOUS 960115 HAS SOUPS 960115 WITH SCORE 961811.432
AT ITER 2065 NEW BEST:: SOT 2790652 SOS 1695412 HAS SOPS 1695412 HAS SOUS 959888 HAS SOUPS 959888 WITH SCORE 961583.412
AT ITER 2067 NEW BEST:: SOT 2790437 SOS 1695185 HAS SOPS 1695185 HAS SOUS 959660 HAS SOUPS 959660 WITH SCORE 961355.185
AT ITER 2068 NEW BEST:: SOT 2789833 SOS 1694581 HAS SOPS 1694581 HAS SOUS 959658 HAS SOUPS 959658 WITH SCORE 961352.581
AT ITER 2069 NEW BEST:: SOT 2789833 SOS 1694280 HAS SOPS 1694280 HAS SOUS 959622 HAS SOUPS 959622 WITH SCORE 961316.28
AT ITER 2070 NEW BEST:: SOT 2789801 SOS 1694248 HAS SOPS 1694248 HAS SOUS 959592 HAS SOUPS 959592 WITH SCORE 961286.248
AT ITER 2071 NEW BEST:: SOT 2783493 SOS 1689661 HAS SOPS 1689661 HAS SOUS 952817 HAS SOUPS 952817 WITH SCORE 954506.661
AT ITER 2076 NEW BEST:: SOT 2783160 SOS 1687434 HAS SOPS 1687434 HAS SOUS 952574 HAS SOUPS 952574 WITH SCORE 954261.434
AT ITER 2078 NEW BEST:: SOT 2783099 SOS 1685556 HAS SOPS 1685556 HAS SOUS 950696 HAS SOUPS 950696 WITH SCORE 952381.556
AT ITER 2089 NEW BEST:: SOT 2783099 SOS 1685469 HAS SOPS 1685469 HAS SOUS 950609 HAS SOUPS 950609 WITH SCORE 952294.469
AT ITER 2092 NEW BEST:: SOT 2781724 SOS 1684094 HAS SOPS 1684094 HAS SOUS 949233 HAS SOUPS 949233 WITH SCORE 950917.094
AT ITER 2097 NEW BEST:: SOT 2774278 SOS 1677223 HAS SOPS 1677223 HAS SOUS 941991 HAS SOUPS 941991 WITH SCORE 943668.223
AT ITER 2106 NEW BEST:: SOT 2774278 SOS 1676685 HAS SOPS 1676685 HAS SOUS 941990 HAS SOUPS 941990 WITH SCORE 943666.685
AT ITER 2120 NEW BEST:: SOT 2774278 SOS 1676649 HAS SOPS 1676649 HAS SOUS 941989 HAS SOUPS 941989 WITH SCORE 943665.649
AT ITER 2130 NEW BEST:: SOT 2774278 SOS 1675920 HAS SOPS 1675920 HAS SOUS 941260 HAS SOUPS 941260 WITH SCORE 942935.92
AT ITER 2136 NEW BEST:: SOT 2774037 SOS 1675679 HAS SOPS 1675679 HAS SOUS 941019 HAS SOUPS 941019 WITH SCORE 942694.679
AT ITER 2162 NEW BEST:: SOT 2774037 SOS 1675629 HAS SOPS 1675629 HAS SOUS 940969 HAS SOUPS 940969 WITH SCORE 942644.629
AT ITER 2173 NEW BEST:: SOT 2774037 SOS 1675233 HAS SOPS 1675233 HAS SOUS 940969 HAS SOUPS 940969 WITH SCORE 942644.233
AT ITER 2176 NEW BEST:: SOT 2774037 SOS 1675044 HAS SOPS 1675044 HAS SOUS 940780 HAS SOUPS 940780 WITH SCORE 942455.044
AT ITER 2179 NEW BEST:: SOT 2774032 SOS 1675039 HAS SOPS 1675039 HAS SOUS 940780 HAS SOUPS 940780 WITH SCORE 942455.039
AT ITER 2189 NEW BEST:: SOT 2773482 SOS 1674489 HAS SOPS 1674489 HAS SOUS 940738 HAS SOUPS 940738 WITH SCORE 942412.489
AT ITER 2193 NEW BEST:: SOT 2770845 SOS 1671650 HAS SOPS 1671650 HAS SOUS 937899 HAS SOUPS 937899 WITH SCORE 939570.65
AT ITER 2194 NEW BEST:: SOT 2771240 SOS 1671501 HAS SOPS 1671501 HAS SOUS 936658 HAS SOUPS 936658 WITH SCORE 938329.501
AT ITER 2195 NEW BEST:: SOT 2770770 SOS 1671355 HAS SOPS 1671355 HAS SOUS 935995 HAS SOUPS 935995 WITH SCORE 937666.355
AT ITER 2203 NEW BEST:: SOT 2770154 SOS 1670836 HAS SOPS 1670836 HAS SOUS 935736 HAS SOUPS 935736 WITH SCORE 937406.836
AT ITER 2206 NEW BEST:: SOT 2770153 SOS 1670649 HAS SOPS 1670649 HAS SOUS 935549 HAS SOUPS 935549 WITH SCORE 937219.649
AT ITER 2213 NEW BEST:: SOT 2770153 SOS 1670645 HAS SOPS 1670645 HAS SOUS 935549 HAS SOUPS 935549 WITH SCORE 937219.645
AT ITER 2215 NEW BEST:: SOT 2769823 SOS 1670370 HAS SOPS 1670370 HAS SOUS 935219 HAS SOUPS 935219 WITH SCORE 936889.37
AT ITER 2222 NEW BEST:: SOT 2769328 SOS 1669875 HAS SOPS 1669875 HAS SOUS 934724 HAS SOUPS 934724 WITH SCORE 936393.875
AT ITER 2224 NEW BEST:: SOT 2769184 SOS 1669723 HAS SOPS 1669723 HAS SOUS 934716 HAS SOUPS 934716 WITH SCORE 936385.723
AT ITER 2226 NEW BEST:: SOT 2769179 SOS 1666786 HAS SOPS 1666786 HAS SOUS 934709 HAS SOUPS 934709 WITH SCORE 936375.786
AT ITER 2227 NEW BEST:: SOT 2769207 SOS 1666786 HAS SOPS 1666786 HAS SOUS 934685 HAS SOUPS 934685 WITH SCORE 936351.786
AT ITER 2228 NEW BEST:: SOT 2769387 SOS 1666966 HAS SOPS 1666966 HAS SOUS 934684 HAS SOUPS 934684 WITH SCORE 936350.966
AT ITER 2244 NEW BEST:: SOT 2769387 SOS 1666966 HAS SOPS 1666966 HAS SOUS 934632 HAS SOUPS 934632 WITH SCORE 936298.966
AT ITER 2250 NEW BEST:: SOT 2769245 SOS 1666823 HAS SOPS 1666823 HAS SOUS 934489 HAS SOUPS 934489 WITH SCORE 936155.823
AT ITER 2267 NEW BEST:: SOT 2769106 SOS 1666684 HAS SOPS 1666684 HAS SOUS 934350 HAS SOUPS 934350 WITH SCORE 936016.684
AT ITER 2268 NEW BEST:: SOT 2768270 SOS 1664426 HAS SOPS 1664426 HAS SOUS 932681 HAS SOUPS 932681 WITH SCORE 934345.426
AT ITER 2282 NEW BEST:: SOT 2768270 SOS 1664486 HAS SOPS 1664486 HAS SOUS 932668 HAS SOUPS 932668 WITH SCORE 934332.486
AT ITER 2295 NEW BEST:: SOT 2768248 SOS 1664464 HAS SOPS 1664464 HAS SOUS 932624 HAS SOUPS 932624 WITH SCORE 934288.464
AT ITER 2299 NEW BEST:: SOT 2767882 SOS 1663037 HAS SOPS 1663037 HAS SOUS 931837 HAS SOUPS 931837 WITH SCORE 933500.037
AT ITER 2306 NEW BEST:: SOT 2767400 SOS 1662555 HAS SOPS 1662555 HAS SOUS 931629 HAS SOUPS 931629 WITH SCORE 933291.555
AT ITER 2309 NEW BEST:: SOT 2767049 SOS 1661813 HAS SOPS 1661813 HAS SOUS 931277 HAS SOUPS 931277 WITH SCORE 932938.813
AT ITER 2314 NEW BEST:: SOT 2766806 SOS 1661570 HAS SOPS 1661570 HAS SOUS 931034 HAS SOUPS 931034 WITH SCORE 932695.57
AT ITER 2321 NEW BEST:: SOT 2766802 SOS 1660951 HAS SOPS 1660951 HAS SOUS 930635 HAS SOUPS 930635 WITH SCORE 932295.951
AT ITER 2322 NEW BEST:: SOT 2767356 SOS 1661257 HAS SOPS 1661257 HAS SOUS 930496 HAS SOUPS 930496 WITH SCORE 932157.257
AT ITER 2329 NEW BEST:: SOT 2766740 SOS 1659985 HAS SOPS 1659985 HAS SOUS 930240 HAS SOUPS 930240 WITH SCORE 931899.985
AT ITER 2337 NEW BEST:: SOT 2766258 SOS 1659522 HAS SOPS 1659522 HAS SOUS 929777 HAS SOUPS 929777 WITH SCORE 931436.522
AT ITER 2349 NEW BEST:: SOT 2766258 SOS 1658724 HAS SOPS 1658724 HAS SOUS 929775 HAS SOUPS 929775 WITH SCORE 931433.724
AT ITER 2372 NEW BEST:: SOT 2766258 SOS 1658707 HAS SOPS 1658707 HAS SOUS 929775 HAS SOUPS 929775 WITH SCORE 931433.707
AT ITER 2373 NEW BEST:: SOT 2765861 SOS 1658310 HAS SOPS 1658310 HAS SOUS 929597 HAS SOUPS 929597 WITH SCORE 931255.31
AT ITER 2375 NEW BEST:: SOT 2765861 SOS 1658074 HAS SOPS 1658074 HAS SOUS 929594 HAS SOUPS 929594 WITH SCORE 931252.074
AT ITER 2379 NEW BEST:: SOT 2763827 SOS 1656826 HAS SOPS 1656826 HAS SOUS 927769 HAS SOUPS 927769 WITH SCORE 929425.826
AT ITER 2391 NEW BEST:: SOT 2762590 SOS 1656085 HAS SOPS 1656085 HAS SOUS 926594 HAS SOUPS 926594 WITH SCORE 928250.085
AT ITER 2395 NEW BEST:: SOT 2762541 SOS 1656036 HAS SOPS 1656036 HAS SOUS 926545 HAS SOUPS 926545 WITH SCORE 928201.036
AT ITER 2402 NEW BEST:: SOT 2762077 SOS 1655754 HAS SOPS 1655754 HAS SOUS 926263 HAS SOUPS 926263 WITH SCORE 927918.754
AT ITER 2405 NEW BEST:: SOT 2761726 SOS 1653511 HAS SOPS 1653511 HAS SOUS 925036 HAS SOUPS 925036 WITH SCORE 926689.511
AT ITER 2408 NEW BEST:: SOT 2761726 SOS 1653446 HAS SOPS 1653446 HAS SOUS 925036 HAS SOUPS 925036 WITH SCORE 926689.446
AT ITER 2410 NEW BEST:: SOT 2761246 SOS 1652486 HAS SOPS 1652486 HAS SOUS 924076 HAS SOUPS 924076 WITH SCORE 925728.486
AT ITER 2415 NEW BEST:: SOT 2761143 SOS 1652342 HAS SOPS 1652342 HAS SOUS 923932 HAS SOUPS 923932 WITH SCORE 925584.342
AT ITER 2429 NEW BEST:: SOT 2760552 SOS 1651751 HAS SOPS 1651751 HAS SOUS 923341 HAS SOUPS 923341 WITH SCORE 924992.751
AT ITER 2433 NEW BEST:: SOT 2754247 SOS 1645247 HAS SOPS 1645247 HAS SOUS 916837 HAS SOUPS 916837 WITH SCORE 918482.247
AT ITER 2440 NEW BEST:: SOT 2753728 SOS 1643178 HAS SOPS 1643178 HAS SOUS 916241 HAS SOUPS 916241 WITH SCORE 917884.178
AT ITER 2445 NEW BEST:: SOT 2753474 SOS 1642924 HAS SOPS 1642924 HAS SOUS 915735 HAS SOUPS 915735 WITH SCORE 917377.924
AT ITER 2452 NEW BEST:: SOT 2753473 SOS 1642923 HAS SOPS 1642923 HAS SOUS 915733 HAS SOUPS 915733 WITH SCORE 917375.923
AT ITER 2468 NEW BEST:: SOT 2751873 SOS 1641423 HAS SOPS 1641423 HAS SOUS 914233 HAS SOUPS 914233 WITH SCORE 915874.423
AT ITER 2475 NEW BEST:: SOT 2751873 SOS 1641316 HAS SOPS 1641316 HAS SOUS 913355 HAS SOUPS 913355 WITH SCORE 914996.316
AT ITER 2486 NEW BEST:: SOT 2752233 SOS 1641642 HAS SOPS 1641642 HAS SOUS 913080 HAS SOUPS 913080 WITH SCORE 914721.642
AT ITER 2499 NEW BEST:: SOT 2752070 SOS 1641310 HAS SOPS 1641310 HAS SOUS 912754 HAS SOUPS 912754 WITH SCORE 914395.31
AT ITER 2515 NEW BEST:: SOT 2746308 SOS 1633650 HAS SOPS 1633650 HAS SOUS 904088 HAS SOUPS 904088 WITH SCORE 905721.65
AT ITER 2519 NEW BEST:: SOT 2744640 SOS 1631982 HAS SOPS 1631982 HAS SOUS 902419 HAS SOUPS 902419 WITH SCORE 904050.982
AT ITER 2523 NEW BEST:: SOT 2744297 SOS 1629249 HAS SOPS 1629249 HAS SOUS 902167 HAS SOUPS 902167 WITH SCORE 903796.249
AT ITER 2538 NEW BEST:: SOT 2743916 SOS 1628868 HAS SOPS 1628868 HAS SOUS 901786 HAS SOUPS 901786 WITH SCORE 903414.868
AT ITER 2541 NEW BEST:: SOT 2743916 SOS 1628666 HAS SOPS 1628666 HAS SOUS 901685 HAS SOUPS 901685 WITH SCORE 903313.666
AT ITER 2542 NEW BEST:: SOT 2742684 SOS 1627590 HAS SOPS 1627590 HAS SOUS 900609 HAS SOUPS 900609 WITH SCORE 902236.59
AT ITER 2557 NEW BEST:: SOT 2742873 SOS 1627623 HAS SOPS 1627623 HAS SOUS 899641 HAS SOUPS 899641 WITH SCORE 901268.623
AT ITER 2564 NEW BEST:: SOT 2741834 SOS 1628940 HAS SOPS 1628940 HAS SOUS 898662 HAS SOUPS 898662 WITH SCORE 900290.94
AT ITER 2575 NEW BEST:: SOT 2741834 SOS 1629300 HAS SOPS 1629300 HAS SOUS 898652 HAS SOUPS 898652 WITH SCORE 900281.3
AT ITER 2578 NEW BEST:: SOT 2741766 SOS 1629952 HAS SOPS 1629952 HAS SOUS 898522 HAS SOUPS 898522 WITH SCORE 900151.952
AT ITER 2581 NEW BEST:: SOT 2741061 SOS 1628542 HAS SOPS 1628542 HAS SOUS 897112 HAS SOUPS 897112 WITH SCORE 898740.542
AT ITER 2591 NEW BEST:: SOT 2740922 SOS 1627837 HAS SOPS 1627837 HAS SOUS 896407 HAS SOUPS 896407 WITH SCORE 898034.837
AT ITER 2608 NEW BEST:: SOT 2740922 SOS 1627791 HAS SOPS 1627791 HAS SOUS 896361 HAS SOUPS 896361 WITH SCORE 897988.791
AT ITER 2617 NEW BEST:: SOT 2740922 SOS 1627611 HAS SOPS 1627611 HAS SOUS 896091 HAS SOUPS 896091 WITH SCORE 897718.611
AT ITER 2625 NEW BEST:: SOT 2741138 SOS 1627097 HAS SOPS 1627097 HAS SOUS 895593 HAS SOUPS 895593 WITH SCORE 897220.097
AT ITER 2634 NEW BEST:: SOT 2741132 SOS 1625418 HAS SOPS 1625418 HAS SOUS 894625 HAS SOUPS 894625 WITH SCORE 896250.418
AT ITER 2639 NEW BEST:: SOT 2740961 SOS 1626412 HAS SOPS 1626412 HAS SOUS 893669 HAS SOUPS 893669 WITH SCORE 895295.412
AT ITER 2642 NEW BEST:: SOT 2740804 SOS 1626310 HAS SOPS 1626310 HAS SOUS 893579 HAS SOUPS 893579 WITH SCORE 895205.31
AT ITER 2669 NEW BEST:: SOT 2739844 SOS 1611762 HAS SOPS 1611762 HAS SOUS 892131 HAS SOUPS 892131 WITH SCORE 893742.762
AT ITER 2674 NEW BEST:: SOT 2740005 SOS 1611062 HAS SOPS 1611062 HAS SOUS 891639 HAS SOUPS 891639 WITH SCORE 893250.062
AT ITER 2676 NEW BEST:: SOT 2740004 SOS 1611061 HAS SOPS 1611061 HAS SOUS 891580 HAS SOUPS 891580 WITH SCORE 893191.061
AT ITER 2677 NEW BEST:: SOT 2739978 SOS 1609541 HAS SOPS 1609541 HAS SOUS 891151 HAS SOUPS 891151 WITH SCORE 892760.541
AT ITER 2687 NEW BEST:: SOT 2739855 SOS 1609250 HAS SOPS 1609250 HAS SOUS 890917 HAS SOUPS 890917 WITH SCORE 892526.25
AT ITER 2692 NEW BEST:: SOT 2739409 SOS 1606687 HAS SOPS 1606687 HAS SOUS 890138 HAS SOUPS 890138 WITH SCORE 891744.687
AT ITER 2693 NEW BEST:: SOT 2739409 SOS 1604695 HAS SOPS 1604695 HAS SOUS 889889 HAS SOUPS 889889 WITH SCORE 891493.695
AT ITER 2698 NEW BEST:: SOT 2739124 SOS 1601913 HAS SOPS 1601913 HAS SOUS 889319 HAS SOUPS 889319 WITH SCORE 890920.913
AT ITER 2708 NEW BEST:: SOT 2737965 SOS 1602068 HAS SOPS 1602068 HAS SOUS 887872 HAS SOUPS 887872 WITH SCORE 889474.068
AT ITER 2714 NEW BEST:: SOT 2737080 SOS 1600280 HAS SOPS 1600280 HAS SOUS 886084 HAS SOUPS 886084 WITH SCORE 887684.28
AT ITER 2722 NEW BEST:: SOT 2736897 SOS 1599731 HAS SOPS 1599731 HAS SOUS 885842 HAS SOUPS 885842 WITH SCORE 887441.731
AT ITER 2723 NEW BEST:: SOT 2737305 SOS 1599795 HAS SOPS 1599795 HAS SOUS 885807 HAS SOUPS 885807 WITH SCORE 887406.795
AT ITER 2728 NEW BEST:: SOT 2737004 SOS 1599494 HAS SOPS 1599494 HAS SOUS 885450 HAS SOUPS 885450 WITH SCORE 887049.494
AT ITER 2729 NEW BEST:: SOT 2737004 SOS 1599458 HAS SOPS 1599458 HAS SOUS 885449 HAS SOUPS 885449 WITH SCORE 887048.458
AT ITER 2730 NEW BEST:: SOT 2734068 SOS 1596522 HAS SOPS 1596522 HAS SOUS 882513 HAS SOUPS 882513 WITH SCORE 884109.522
AT ITER 2742 NEW BEST:: SOT 2733959 SOS 1595861 HAS SOPS 1595861 HAS SOUS 882294 HAS SOUPS 882294 WITH SCORE 883889.861
AT ITER 2743 NEW BEST:: SOT 2731766 SOS 1594670 HAS SOPS 1594670 HAS SOUS 880340 HAS SOUPS 880340 WITH SCORE 881934.67
AT ITER 2746 NEW BEST:: SOT 2731854 SOS 1594758 HAS SOPS 1594758 HAS SOUS 880316 HAS SOUPS 880316 WITH SCORE 881910.758
AT ITER 2749 NEW BEST:: SOT 2731854 SOS 1594756 HAS SOPS 1594756 HAS SOUS 879952 HAS SOUPS 879952 WITH SCORE 881546.756
AT ITER 2775 NEW BEST:: SOT 2731854 SOS 1594370 HAS SOPS 1594370 HAS SOUS 879886 HAS SOUPS 879886 WITH SCORE 881480.37
AT ITER 2778 NEW BEST:: SOT 2731132 SOS 1592150 HAS SOPS 1592150 HAS SOUS 878160 HAS SOUPS 878160 WITH SCORE 879752.15
AT ITER 2792 NEW BEST:: SOT 2730103 SOS 1591584 HAS SOPS 1591584 HAS SOUS 877300 HAS SOUPS 877300 WITH SCORE 878891.584
AT ITER 2800 NEW BEST:: SOT 2730103 SOS 1591569 HAS SOPS 1591569 HAS SOUS 877285 HAS SOUPS 877285 WITH SCORE 878876.569
AT ITER 2802 NEW BEST:: SOT 2729429 SOS 1590895 HAS SOPS 1590895 HAS SOUS 876611 HAS SOUPS 876611 WITH SCORE 878201.895
AT ITER 2809 NEW BEST:: SOT 2729429 SOS 1590869 HAS SOPS 1590869 HAS SOUS 875953 HAS SOUPS 875953 WITH SCORE 877543.869
AT ITER 2810 NEW BEST:: SOT 2729231 SOS 1591214 HAS SOPS 1591214 HAS SOUS 875077 HAS SOUPS 875077 WITH SCORE 876668.214
AT ITER 2826 NEW BEST:: SOT 2726849 SOS 1592792 HAS SOPS 1592792 HAS SOUS 874199 HAS SOUPS 874199 WITH SCORE 875791.792
AT ITER 2827 NEW BEST:: SOT 2726849 SOS 1592735 HAS SOPS 1592735 HAS SOUS 874199 HAS SOUPS 874199 WITH SCORE 875791.735
AT ITER 2832 NEW BEST:: SOT 2726849 SOS 1594391 HAS SOPS 1594391 HAS SOUS 873923 HAS SOUPS 873923 WITH SCORE 875517.391
AT ITER 2833 NEW BEST:: SOT 2727010 SOS 1594369 HAS SOPS 1594369 HAS SOUS 873893 HAS SOUPS 873893 WITH SCORE 875487.369
AT ITER 2837 NEW BEST:: SOT 2726999 SOS 1594358 HAS SOPS 1594358 HAS SOUS 873882 HAS SOUPS 873882 WITH SCORE 875476.358
AT ITER 2854 NEW BEST:: SOT 2726831 SOS 1593853 HAS SOPS 1593853 HAS SOUS 873377 HAS SOUPS 873377 WITH SCORE 874970.853
AT ITER 2882 NEW BEST:: SOT 2725891 SOS 1592611 HAS SOPS 1592611 HAS SOUS 872313 HAS SOUPS 872313 WITH SCORE 873905.611
AT ITER 2883 NEW BEST:: SOT 2726465 SOS 1592932 HAS SOPS 1592932 HAS SOUS 872103 HAS SOUPS 872103 WITH SCORE 873695.932
AT ITER 2894 NEW BEST:: SOT 2726464 SOS 1592931 HAS SOPS 1592931 HAS SOUS 872101 HAS SOUPS 872101 WITH SCORE 873693.931
AT ITER 2905 NEW BEST:: SOT 2726354 SOS 1592630 HAS SOPS 1592630 HAS SOUS 871454 HAS SOUPS 871454 WITH SCORE 873046.63
AT ITER 2914 NEW BEST:: SOT 2726222 SOS 1591497 HAS SOPS 1591497 HAS SOUS 871248 HAS SOUPS 871248 WITH SCORE 872839.497
AT ITER 2924 NEW BEST:: SOT 2723358 SOS 1592230 HAS SOPS 1592230 HAS SOUS 868238 HAS SOUPS 868238 WITH SCORE 869830.23
AT ITER 2933 NEW BEST:: SOT 2723357 SOS 1592229 HAS SOPS 1592229 HAS SOUS 868236 HAS SOUPS 868236 WITH SCORE 869828.229
AT ITER 2951 NEW BEST:: SOT 2723079 SOS 1592368 HAS SOPS 1592368 HAS SOUS 868097 HAS SOUPS 868097 WITH SCORE 869689.368
AT ITER 2958 NEW BEST:: SOT 2722303 SOS 1590090 HAS SOPS 1590090 HAS SOUS 865819 HAS SOUPS 865819 WITH SCORE 867409.09
AT ITER 2965 NEW BEST:: SOT 2721702 SOS 1589489 HAS SOPS 1589489 HAS SOUS 865819 HAS SOUPS 865819 WITH SCORE 867408.489
AT ITER 2975 NEW BEST:: SOT 2720581 SOS 1588830 HAS SOPS 1588830 HAS SOUS 865159 HAS SOUPS 865159 WITH SCORE 866747.83
AT ITER 2992 NEW BEST:: SOT 2720687 SOS 1588306 HAS SOPS 1588306 HAS SOUS 864635 HAS SOUPS 864635 WITH SCORE 866223.306
AT ITER 2996 NEW BEST:: SOT 2720663 SOS 1588258 HAS SOPS 1588258 HAS SOUS 864611 HAS SOUPS 864611 WITH SCORE 866199.258
AT ITER 3013 NEW BEST:: SOT 2720658 SOS 1588156 HAS SOPS 1588156 HAS SOUS 864606 HAS SOUPS 864606 WITH SCORE 866194.156
AT ITER 3014 NEW BEST:: SOT 2720658 SOS 1586476 HAS SOPS 1586476 HAS SOUS 864147 HAS SOUPS 864147 WITH SCORE 865733.476
AT ITER 3018 NEW BEST:: SOT 2720525 SOS 1586337 HAS SOPS 1586337 HAS SOUS 864007 HAS SOUPS 864007 WITH SCORE 865593.337
AT ITER 3023 NEW BEST:: SOT 2720264 SOS 1586076 HAS SOPS 1586076 HAS SOUS 863837 HAS SOUPS 863837 WITH SCORE 865423.076
AT ITER 3025 NEW BEST:: SOT 2720264 SOS 1586060 HAS SOPS 1586060 HAS SOUS 863835 HAS SOUPS 863835 WITH SCORE 865421.06
AT ITER 3028 NEW BEST:: SOT 2720093 SOS 1585547 HAS SOPS 1585547 HAS SOUS 863322 HAS SOUPS 863322 WITH SCORE 864907.547
AT ITER 3069 NEW BEST:: SOT 2720044 SOS 1585498 HAS SOPS 1585498 HAS SOUS 863273 HAS SOUPS 863273 WITH SCORE 864858.498
AT ITER 3085 NEW BEST:: SOT 2719752 SOS 1584916 HAS SOPS 1584916 HAS SOUS 862909 HAS SOUPS 862909 WITH SCORE 864493.916
AT ITER 3090 NEW BEST:: SOT 2719370 SOS 1584016 HAS SOPS 1584016 HAS SOUS 862009 HAS SOUPS 862009 WITH SCORE 863593.016
AT ITER 3102 NEW BEST:: SOT 2719366 SOS 1584012 HAS SOPS 1584012 HAS SOUS 862001 HAS SOUPS 862001 WITH SCORE 863585.012
AT ITER 3103 NEW BEST:: SOT 2719366 SOS 1583421 HAS SOPS 1583421 HAS SOUS 861390 HAS SOUPS 861390 WITH SCORE 862973.421
AT ITER 3131 NEW BEST:: SOT 2719146 SOS 1581923 HAS SOPS 1581923 HAS SOUS 859116 HAS SOUPS 859116 WITH SCORE 860697.923
AT ITER 3136 NEW BEST:: SOT 2719112 SOS 1581204 HAS SOPS 1581204 HAS SOUS 858397 HAS SOUPS 858397 WITH SCORE 859978.204
AT ITER 3157 NEW BEST:: SOT 2718447 SOS 1580599 HAS SOPS 1580599 HAS SOUS 857009 HAS SOUPS 857009 WITH SCORE 858589.599
AT ITER 3170 NEW BEST:: SOT 2718447 SOS 1580500 HAS SOPS 1580500 HAS SOUS 857007 HAS SOUPS 857007 WITH SCORE 858587.5
AT ITER 3171 NEW BEST:: SOT 2718669 SOS 1580403 HAS SOPS 1580403 HAS SOUS 856649 HAS SOUPS 856649 WITH SCORE 858229.403
AT ITER 3177 NEW BEST:: SOT 2718433 SOS 1579617 HAS SOPS 1579617 HAS SOUS 855839 HAS SOUPS 855839 WITH SCORE 857418.617
AT ITER 3184 NEW BEST:: SOT 2718376 SOS 1579200 HAS SOPS 1579200 HAS SOUS 855782 HAS SOUPS 855782 WITH SCORE 857361.2
AT ITER 3190 NEW BEST:: SOT 2718655 SOS 1579479 HAS SOPS 1579479 HAS SOUS 855358 HAS SOUPS 855358 WITH SCORE 856937.479
AT ITER 3198 NEW BEST:: SOT 2718451 SOS 1578757 HAS SOPS 1578757 HAS SOUS 854980 HAS SOUPS 854980 WITH SCORE 856558.757
AT ITER 3204 NEW BEST:: SOT 2718341 SOS 1578647 HAS SOPS 1578647 HAS SOUS 854870 HAS SOUPS 854870 WITH SCORE 856448.647
AT ITER 3219 NEW BEST:: SOT 2718310 SOS 1578616 HAS SOPS 1578616 HAS SOUS 854839 HAS SOUPS 854839 WITH SCORE 856417.616
AT ITER 3225 NEW BEST:: SOT 2718309 SOS 1578615 HAS SOPS 1578615 HAS SOUS 854837 HAS SOUPS 854837 WITH SCORE 856415.615
AT ITER 3236 NEW BEST:: SOT 2718243 SOS 1578488 HAS SOPS 1578488 HAS SOUS 854710 HAS SOUPS 854710 WITH SCORE 856288.488
AT ITER 3239 NEW BEST:: SOT 2718243 SOS 1578488 HAS SOPS 1578488 HAS SOUS 854528 HAS SOUPS 854528 WITH SCORE 856106.488
AT ITER 3240 NEW BEST:: SOT 2718437 SOS 1574798 HAS SOPS 1574798 HAS SOUS 854313 HAS SOUPS 854313 WITH SCORE 855887.798
AT ITER 3257 NEW BEST:: SOT 2718121 SOS 1574314 HAS SOPS 1574314 HAS SOUS 853829 HAS SOUPS 853829 WITH SCORE 855403.314
AT ITER 3264 NEW BEST:: SOT 2717228 SOS 1573721 HAS SOPS 1573721 HAS SOUS 852890 HAS SOUPS 852890 WITH SCORE 854463.721
AT ITER 3282 NEW BEST:: SOT 2717130 SOS 1573623 HAS SOPS 1573623 HAS SOUS 852788 HAS SOUPS 852788 WITH SCORE 854361.623
AT ITER 3286 NEW BEST:: SOT 2716681 SOS 1572591 HAS SOPS 1572591 HAS SOUS 851756 HAS SOUPS 851756 WITH SCORE 853328.591
AT ITER 3291 NEW BEST:: SOT 2716739 SOS 1572289 HAS SOPS 1572289 HAS SOUS 851561 HAS SOUPS 851561 WITH SCORE 853133.289
AT ITER 3292 NEW BEST:: SOT 2716094 SOS 1569367 HAS SOPS 1569367 HAS SOUS 849097 HAS SOUPS 849097 WITH SCORE 850666.367
AT ITER 3294 NEW BEST:: SOT 2716093 SOS 1569299 HAS SOPS 1569299 HAS SOUS 849095 HAS SOUPS 849095 WITH SCORE 850664.299
AT ITER 3325 NEW BEST:: SOT 2716258 SOS 1569295 HAS SOPS 1569295 HAS SOUS 849077 HAS SOUPS 849077 WITH SCORE 850646.295
AT ITER 3337 NEW BEST:: SOT 2716159 SOS 1569196 HAS SOPS 1569196 HAS SOUS 848978 HAS SOUPS 848978 WITH SCORE 850547.196
AT ITER 3355 NEW BEST:: SOT 2716154 SOS 1569191 HAS SOPS 1569191 HAS SOUS 848973 HAS SOUPS 848973 WITH SCORE 850542.191
AT ITER 3361 NEW BEST:: SOT 2715907 SOS 1568940 HAS SOPS 1568940 HAS SOUS 848963 HAS SOUPS 848963 WITH SCORE 850531.94
AT ITER 3366 NEW BEST:: SOT 2715905 SOS 1568938 HAS SOPS 1568938 HAS SOUS 848961 HAS SOUPS 848961 WITH SCORE 850529.938
AT ITER 3377 NEW BEST:: SOT 2715087 SOS 1567633 HAS SOPS 1567633 HAS SOUS 848961 HAS SOUPS 848961 WITH SCORE 850528.633
AT ITER 3380 NEW BEST:: SOT 2714548 SOS 1567094 HAS SOPS 1567094 HAS SOUS 848422 HAS SOUPS 848422 WITH SCORE 849989.094
AT ITER 3422 NEW BEST:: SOT 2715156 SOS 1567020 HAS SOPS 1567020 HAS SOUS 848422 HAS SOUPS 848422 WITH SCORE 849989.02
AT ITER 3433 NEW BEST:: SOT 2714878 SOS 1566267 HAS SOPS 1566267 HAS SOUS 847803 HAS SOUPS 847803 WITH SCORE 849369.267
AT ITER 3442 NEW BEST:: SOT 2714858 SOS 1566207 HAS SOPS 1566207 HAS SOUS 847743 HAS SOUPS 847743 WITH SCORE 849309.207
AT ITER 3454 NEW BEST:: SOT 2714836 SOS 1559449 HAS SOPS 1559449 HAS SOUS 846847 HAS SOUPS 846847 WITH SCORE 848406.449
AT ITER 3470 NEW BEST:: SOT 2714836 SOS 1560024 HAS SOPS 1560024 HAS SOUS 846622 HAS SOUPS 846622 WITH SCORE 848182.024
AT ITER 3483 NEW BEST:: SOT 2714814 SOS 1560002 HAS SOPS 1560002 HAS SOUS 846598 HAS SOUPS 846598 WITH SCORE 848158.002
AT ITER 3486 NEW BEST:: SOT 2714774 SOS 1559830 HAS SOPS 1559830 HAS SOUS 846514 HAS SOUPS 846514 WITH SCORE 848073.83
AT ITER 3488 NEW BEST:: SOT 2710292 SOS 1555348 HAS SOPS 1555348 HAS SOUS 841168 HAS SOUPS 841168 WITH SCORE 842723.348
AT ITER 3497 NEW BEST:: SOT 2710133 SOS 1555189 HAS SOPS 1555189 HAS SOUS 841164 HAS SOUPS 841164 WITH SCORE 842719.189
AT ITER 3500 NEW BEST:: SOT 2710060 SOS 1555171 HAS SOPS 1555171 HAS SOUS 841141 HAS SOUPS 841141 WITH SCORE 842696.171
AT ITER 3503 NEW BEST:: SOT 2709525 SOS 1554636 HAS SOPS 1554636 HAS SOUS 840547 HAS SOUPS 840547 WITH SCORE 842101.636
AT ITER 3506 NEW BEST:: SOT 2709356 SOS 1554366 HAS SOPS 1554366 HAS SOUS 840277 HAS SOUPS 840277 WITH SCORE 841831.366
AT ITER 3509 NEW BEST:: SOT 2709352 SOS 1553850 HAS SOPS 1553850 HAS SOUS 840269 HAS SOUPS 840269 WITH SCORE 841822.85
AT ITER 3517 NEW BEST:: SOT 2709129 SOS 1553627 HAS SOPS 1553627 HAS SOUS 839847 HAS SOUPS 839847 WITH SCORE 841400.627
AT ITER 3533 NEW BEST:: SOT 2709129 SOS 1553543 HAS SOPS 1553543 HAS SOUS 839763 HAS SOUPS 839763 WITH SCORE 841316.543
AT ITER 3534 NEW BEST:: SOT 2708920 SOS 1553334 HAS SOPS 1553334 HAS SOUS 839554 HAS SOUPS 839554 WITH SCORE 841107.334
AT ITER 3535 NEW BEST:: SOT 2708515 SOS 1552942 HAS SOPS 1552942 HAS SOUS 838593 HAS SOUPS 838593 WITH SCORE 840145.942
AT ITER 3536 NEW BEST:: SOT 2708449 SOS 1552876 HAS SOPS 1552876 HAS SOUS 838560 HAS SOUPS 838560 WITH SCORE 840112.876
AT ITER 3537 NEW BEST:: SOT 2708441 SOS 1552868 HAS SOPS 1552868 HAS SOUS 838545 HAS SOUPS 838545 WITH SCORE 840097.868
AT ITER 3552 NEW BEST:: SOT 2707640 SOS 1552067 HAS SOPS 1552067 HAS SOUS 837778 HAS SOUPS 837778 WITH SCORE 839330.067
AT ITER 3554 NEW BEST:: SOT 2707630 SOS 1551645 HAS SOPS 1551645 HAS SOUS 837633 HAS SOUPS 837633 WITH SCORE 839184.645
AT ITER 3561 NEW BEST:: SOT 2707492 SOS 1551286 HAS SOPS 1551286 HAS SOUS 837495 HAS SOUPS 837495 WITH SCORE 839046.286
AT ITER 3575 NEW BEST:: SOT 2707322 SOS 1550927 HAS SOPS 1550927 HAS SOUS 837017 HAS SOUPS 837017 WITH SCORE 838567.927
AT ITER 3578 NEW BEST:: SOT 2707083 SOS 1550983 HAS SOPS 1550983 HAS SOUS 836889 HAS SOUPS 836889 WITH SCORE 838439.983
AT ITER 3579 NEW BEST:: SOT 2706874 SOS 1551020 HAS SOPS 1551020 HAS SOUS 836799 HAS SOUPS 836799 WITH SCORE 838350.02
AT ITER 3580 NEW BEST:: SOT 2706874 SOS 1551017 HAS SOPS 1551017 HAS SOUS 836796 HAS SOUPS 836796 WITH SCORE 838347.017
AT ITER 3592 NEW BEST:: SOT 2706678 SOS 1550433 HAS SOPS 1550433 HAS SOUS 836309 HAS SOUPS 836309 WITH SCORE 837859.433
AT ITER 3605 NEW BEST:: SOT 2706986 SOS 1548442 HAS SOPS 1548442 HAS SOUS 836186 HAS SOUPS 836186 WITH SCORE 837734.442
AT ITER 3607 NEW BEST:: SOT 2706986 SOS 1547665 HAS SOPS 1547665 HAS SOUS 836097 HAS SOUPS 836097 WITH SCORE 837644.665
AT ITER 3618 NEW BEST:: SOT 2706524 SOS 1547203 HAS SOPS 1547203 HAS SOUS 835635 HAS SOUPS 835635 WITH SCORE 837182.203
AT ITER 3622 NEW BEST:: SOT 2706190 SOS 1546144 HAS SOPS 1546144 HAS SOUS 834810 HAS SOUPS 834810 WITH SCORE 836356.144
AT ITER 3626 NEW BEST:: SOT 2706043 SOS 1545997 HAS SOPS 1545997 HAS SOUS 834663 HAS SOUPS 834663 WITH SCORE 836208.997
AT ITER 3630 NEW BEST:: SOT 2705319 SOS 1545273 HAS SOPS 1545273 HAS SOUS 833929 HAS SOUPS 833929 WITH SCORE 835474.273
AT ITER 3631 NEW BEST:: SOT 2705036 SOS 1544981 HAS SOPS 1544981 HAS SOUS 833405 HAS SOUPS 833405 WITH SCORE 834949.981
AT ITER 3637 NEW BEST:: SOT 2704921 SOS 1544866 HAS SOPS 1544866 HAS SOUS 833290 HAS SOUPS 833290 WITH SCORE 834834.866
AT ITER 3639 NEW BEST:: SOT 2705217 SOS 1543374 HAS SOPS 1543374 HAS SOUS 832676 HAS SOUPS 832676 WITH SCORE 834219.374
AT ITER 3659 NEW BEST:: SOT 2705497 SOS 1542970 HAS SOPS 1542970 HAS SOUS 832430 HAS SOUPS 832430 WITH SCORE 833972.97
AT ITER 3663 NEW BEST:: SOT 2705497 SOS 1544417 HAS SOPS 1544417 HAS SOUS 832392 HAS SOUPS 832392 WITH SCORE 833936.417
AT ITER 3689 NEW BEST:: SOT 2705610 SOS 1544253 HAS SOPS 1544253 HAS SOUS 832079 HAS SOUPS 832079 WITH SCORE 833623.253
AT ITER 3703 NEW BEST:: SOT 2705496 SOS 1543399 HAS SOPS 1543399 HAS SOUS 831963 HAS SOUPS 831963 WITH SCORE 833506.399
AT ITER 3715 NEW BEST:: SOT 2705875 SOS 1542929 HAS SOPS 1542929 HAS SOUS 831493 HAS SOUPS 831493 WITH SCORE 833035.929
AT ITER 3748 NEW BEST:: SOT 2702761 SOS 1539815 HAS SOPS 1539815 HAS SOUS 828379 HAS SOUPS 828379 WITH SCORE 829918.815
AT ITER 3750 NEW BEST:: SOT 2702370 SOS 1540400 HAS SOPS 1540400 HAS SOUS 827624 HAS SOUPS 827624 WITH SCORE 829164.4
AT ITER 3756 NEW BEST:: SOT 2702459 SOS 1540489 HAS SOPS 1540489 HAS SOUS 827620 HAS SOUPS 827620 WITH SCORE 829160.489
AT ITER 3761 NEW BEST:: SOT 2702241 SOS 1540053 HAS SOPS 1540053 HAS SOUS 827184 HAS SOUPS 827184 WITH SCORE 828724.053
AT ITER 3772 NEW BEST:: SOT 2702330 SOS 1538389 HAS SOPS 1538389 HAS SOUS 826847 HAS SOUPS 826847 WITH SCORE 828385.389
AT ITER 3774 NEW BEST:: SOT 2701911 SOS 1537970 HAS SOPS 1537970 HAS SOUS 826428 HAS SOUPS 826428 WITH SCORE 827965.97
AT ITER 3778 NEW BEST:: SOT 2701911 SOS 1537948 HAS SOPS 1537948 HAS SOUS 826407 HAS SOUPS 826407 WITH SCORE 827944.948
AT ITER 3791 NEW BEST:: SOT 2701789 SOS 1537826 HAS SOPS 1537826 HAS SOUS 826283 HAS SOUPS 826283 WITH SCORE 827820.826
AT ITER 3792 NEW BEST:: SOT 2701789 SOS 1537801 HAS SOPS 1537801 HAS SOUS 826233 HAS SOUPS 826233 WITH SCORE 827770.801
AT ITER 3798 NEW BEST:: SOT 2701445 SOS 1537114 HAS SOPS 1537114 HAS SOUS 825727 HAS SOUPS 825727 WITH SCORE 827264.114
AT ITER 3810 NEW BEST:: SOT 2701189 SOS 1536506 HAS SOPS 1536506 HAS SOUS 825441 HAS SOUPS 825441 WITH SCORE 826977.506
AT ITER 3812 NEW BEST:: SOT 2701129 SOS 1536206 HAS SOPS 1536206 HAS SOUS 825381 HAS SOUPS 825381 WITH SCORE 826917.206
AT ITER 3816 NEW BEST:: SOT 2700224 SOS 1535530 HAS SOPS 1535530 HAS SOUS 824799 HAS SOUPS 824799 WITH SCORE 826334.53
AT ITER 3825 NEW BEST:: SOT 2700189 SOS 1535152 HAS SOPS 1535152 HAS SOUS 823879 HAS SOUPS 823879 WITH SCORE 825414.152
AT ITER 3828 NEW BEST:: SOT 2698578 SOS 1535902 HAS SOPS 1535902 HAS SOUS 821598 HAS SOUPS 821598 WITH SCORE 823133.902
AT ITER 3832 NEW BEST:: SOT 2698904 SOS 1534620 HAS SOPS 1534620 HAS SOUS 820831 HAS SOUPS 820831 WITH SCORE 822365.62
AT ITER 3841 NEW BEST:: SOT 2698796 SOS 1534512 HAS SOPS 1534512 HAS SOUS 820743 HAS SOUPS 820743 WITH SCORE 822277.512
AT ITER 3844 NEW BEST:: SOT 2698606 SOS 1534322 HAS SOPS 1534322 HAS SOUS 820553 HAS SOUPS 820553 WITH SCORE 822087.322
AT ITER 3846 NEW BEST:: SOT 2698479 SOS 1533835 HAS SOPS 1533835 HAS SOUS 820322 HAS SOUPS 820322 WITH SCORE 821855.835
AT ITER 3848 NEW BEST:: SOT 2698450 SOS 1533383 HAS SOPS 1533383 HAS SOUS 820264 HAS SOUPS 820264 WITH SCORE 821797.383
AT ITER 3850 NEW BEST:: SOT 2698114 SOS 1533041 HAS SOPS 1533041 HAS SOUS 819922 HAS SOUPS 819922 WITH SCORE 821455.041
AT ITER 3861 NEW BEST:: SOT 2698114 SOS 1533039 HAS SOPS 1533039 HAS SOUS 819920 HAS SOUPS 819920 WITH SCORE 821453.039
AT ITER 3866 NEW BEST:: SOT 2698664 SOS 1533771 HAS SOPS 1533771 HAS SOUS 819876 HAS SOUPS 819876 WITH SCORE 821409.771
AT ITER 3874 NEW BEST:: SOT 2698474 SOS 1533558 HAS SOPS 1533558 HAS SOUS 819758 HAS SOUPS 819758 WITH SCORE 821291.558
AT ITER 3883 NEW BEST:: SOT 2698265 SOS 1533160 HAS SOPS 1533160 HAS SOUS 819353 HAS SOUPS 819353 WITH SCORE 820886.16
AT ITER 3884 NEW BEST:: SOT 2698371 SOS 1532541 HAS SOPS 1532541 HAS SOUS 818629 HAS SOUPS 818629 WITH SCORE 820161.541
AT ITER 3893 NEW BEST:: SOT 2697978 SOS 1529380 HAS SOPS 1529380 HAS SOUS 818094 HAS SOUPS 818094 WITH SCORE 819623.38
AT ITER 3897 NEW BEST:: SOT 2695078 SOS 1526907 HAS SOPS 1526907 HAS SOUS 815508 HAS SOUPS 815508 WITH SCORE 817034.907
AT ITER 3899 NEW BEST:: SOT 2695123 SOS 1525607 HAS SOPS 1525607 HAS SOUS 814859 HAS SOUPS 814859 WITH SCORE 816384.607
AT ITER 3905 NEW BEST:: SOT 2695074 SOS 1525128 HAS SOPS 1525128 HAS SOUS 814698 HAS SOUPS 814698 WITH SCORE 816223.128
AT ITER 3916 NEW BEST:: SOT 2695069 SOS 1525122 HAS SOPS 1525122 HAS SOUS 814692 HAS SOUPS 814692 WITH SCORE 816217.122
AT ITER 3924 NEW BEST:: SOT 2695069 SOS 1525182 HAS SOPS 1525182 HAS SOUS 814482 HAS SOUPS 814482 WITH SCORE 816007.182
AT ITER 3925 NEW BEST:: SOT 2693472 SOS 1525081 HAS SOPS 1525081 HAS SOUS 813256 HAS SOUPS 813256 WITH SCORE 814781.081
AT ITER 3936 NEW BEST:: SOT 2693436 SOS 1525036 HAS SOPS 1525036 HAS SOUS 813167 HAS SOUPS 813167 WITH SCORE 814692.036
AT ITER 3941 NEW BEST:: SOT 2693363 SOS 1524963 HAS SOPS 1524963 HAS SOUS 813021 HAS SOUPS 813021 WITH SCORE 814545.963
AT ITER 3946 NEW BEST:: SOT 2692625 SOS 1524438 HAS SOPS 1524438 HAS SOUS 812496 HAS SOUPS 812496 WITH SCORE 814020.438
AT ITER 3971 NEW BEST:: SOT 2692625 SOS 1524129 HAS SOPS 1524129 HAS SOUS 812262 HAS SOUPS 812262 WITH SCORE 813786.129
AT ITER 3976 NEW BEST:: SOT 2691993 SOS 1523465 HAS SOPS 1523465 HAS SOUS 811696 HAS SOUPS 811696 WITH SCORE 813219.465
AT ITER 3977 NEW BEST:: SOT 2692029 SOS 1523377 HAS SOPS 1523377 HAS SOUS 811439 HAS SOUPS 811439 WITH SCORE 812962.377
AT ITER 3980 NEW BEST:: SOT 2691448 SOS 1523317 HAS SOPS 1523317 HAS SOUS 811379 HAS SOUPS 811379 WITH SCORE 812902.317
AT ITER 3999 NEW BEST:: SOT 2691448 SOS 1523345 HAS SOPS 1523345 HAS SOUS 811162 HAS SOUPS 811162 WITH SCORE 812685.345
AT ITER 4005 NEW BEST:: SOT 2691247 SOS 1522750 HAS SOPS 1522750 HAS SOUS 810924 HAS SOUPS 810924 WITH SCORE 812446.75
AT ITER 4008 NEW BEST:: SOT 2691207 SOS 1522710 HAS SOPS 1522710 HAS SOUS 810884 HAS SOUPS 810884 WITH SCORE 812406.71
AT ITER 4016 NEW BEST:: SOT 2691356 SOS 1522185 HAS SOPS 1522185 HAS SOUS 810359 HAS SOUPS 810359 WITH SCORE 811881.185
AT ITER 4017 NEW BEST:: SOT 2691356 SOS 1518423 HAS SOPS 1518423 HAS SOUS 810161 HAS SOUPS 810161 WITH SCORE 811679.423
AT ITER 4020 NEW BEST:: SOT 2691230 SOS 1518297 HAS SOPS 1518297 HAS SOUS 810034 HAS SOUPS 810034 WITH SCORE 811552.297
AT ITER 4033 NEW BEST:: SOT 2691491 SOS 1518886 HAS SOPS 1518886 HAS SOUS 809750 HAS SOUPS 809750 WITH SCORE 811268.886
AT ITER 4038 NEW BEST:: SOT 2691257 SOS 1519664 HAS SOPS 1519664 HAS SOUS 808160 HAS SOUPS 808160 WITH SCORE 809679.664
AT ITER 4046 NEW BEST:: SOT 2690291 SOS 1524936 HAS SOPS 1524936 HAS SOUS 807458 HAS SOUPS 807458 WITH SCORE 808982.936
AT ITER 4068 NEW BEST:: SOT 2690262 SOS 1524878 HAS SOPS 1524878 HAS SOUS 807458 HAS SOUPS 807458 WITH SCORE 808982.878
AT ITER 4075 NEW BEST:: SOT 2689534 SOS 1523729 HAS SOPS 1523729 HAS SOUS 806399 HAS SOUPS 806399 WITH SCORE 807922.729
AT ITER 4084 NEW BEST:: SOT 2689339 SOS 1522884 HAS SOPS 1522884 HAS SOUS 805727 HAS SOUPS 805727 WITH SCORE 807249.884
AT ITER 4090 NEW BEST:: SOT 2689211 SOS 1522628 HAS SOPS 1522628 HAS SOUS 805644 HAS SOUPS 805644 WITH SCORE 807166.628
AT ITER 4092 NEW BEST:: SOT 2689133 SOS 1522550 HAS SOPS 1522550 HAS SOUS 805566 HAS SOUPS 805566 WITH SCORE 807088.55
AT ITER 4115 NEW BEST:: SOT 2688788 SOS 1522057 HAS SOPS 1522057 HAS SOUS 804742 HAS SOUPS 804742 WITH SCORE 806264.057
AT ITER 4123 NEW BEST:: SOT 2688581 SOS 1521643 HAS SOPS 1521643 HAS SOUS 804328 HAS SOUPS 804328 WITH SCORE 805849.643
AT ITER 4136 NEW BEST:: SOT 2688581 SOS 1519932 HAS SOPS 1519932 HAS SOUS 803600 HAS SOUPS 803600 WITH SCORE 805119.932
AT ITER 4140 NEW BEST:: SOT 2688580 SOS 1519920 HAS SOPS 1519920 HAS SOUS 803598 HAS SOUPS 803598 WITH SCORE 805117.92
AT ITER 4146 NEW BEST:: SOT 2688344 SOS 1519684 HAS SOPS 1519684 HAS SOUS 803362 HAS SOUPS 803362 WITH SCORE 804881.684
AT ITER 4159 NEW BEST:: SOT 2688344 SOS 1519588 HAS SOPS 1519588 HAS SOUS 803291 HAS SOUPS 803291 WITH SCORE 804810.588
AT ITER 4188 NEW BEST:: SOT 2688048 SOS 1518996 HAS SOPS 1518996 HAS SOUS 802699 HAS SOUPS 802699 WITH SCORE 804217.996
AT ITER 4194 NEW BEST:: SOT 2687577 SOS 1518525 HAS SOPS 1518525 HAS SOUS 802207 HAS SOUPS 802207 WITH SCORE 803725.525
AT ITER 4199 NEW BEST:: SOT 2687576 SOS 1518214 HAS SOPS 1518214 HAS SOUS 801887 HAS SOUPS 801887 WITH SCORE 803405.214
AT ITER 4205 NEW BEST:: SOT 2687923 SOS 1517012 HAS SOPS 1517012 HAS SOUS 800685 HAS SOUPS 800685 WITH SCORE 802202.012
AT ITER 4212 NEW BEST:: SOT 2687628 SOS 1516717 HAS SOPS 1516717 HAS SOUS 800519 HAS SOUPS 800519 WITH SCORE 802035.717
AT ITER 4217 NEW BEST:: SOT 2687760 SOS 1516653 HAS SOPS 1516653 HAS SOUS 800455 HAS SOUPS 800455 WITH SCORE 801971.653
AT ITER 4222 NEW BEST:: SOT 2687608 SOS 1516633 HAS SOPS 1516633 HAS SOUS 800083 HAS SOUPS 800083 WITH SCORE 801599.633
AT ITER 4231 NEW BEST:: SOT 2687540 SOS 1516625 HAS SOPS 1516625 HAS SOUS 800082 HAS SOUPS 800082 WITH SCORE 801598.625
AT ITER 4249 NEW BEST:: SOT 2687403 SOS 1516488 HAS SOPS 1516488 HAS SOUS 799945 HAS SOUPS 799945 WITH SCORE 801461.488
AT ITER 4252 NEW BEST:: SOT 2686850 SOS 1515970 HAS SOPS 1515970 HAS SOUS 799384 HAS SOUPS 799384 WITH SCORE 800899.97
AT ITER 4260 NEW BEST:: SOT 2686850 SOS 1515938 HAS SOPS 1515938 HAS SOUS 799352 HAS SOUPS 799352 WITH SCORE 800867.938
AT ITER 4263 NEW BEST:: SOT 2686761 SOS 1515849 HAS SOPS 1515849 HAS SOUS 799263 HAS SOUPS 799263 WITH SCORE 800778.849
AT ITER 4269 NEW BEST:: SOT 2687108 SOS 1515388 HAS SOPS 1515388 HAS SOUS 798676 HAS SOUPS 798676 WITH SCORE 800191.388
AT ITER 4273 NEW BEST:: SOT 2686863 SOS 1515143 HAS SOPS 1515143 HAS SOUS 798431 HAS SOUPS 798431 WITH SCORE 799946.143
AT ITER 4278 NEW BEST:: SOT 2686625 SOS 1514725 HAS SOPS 1514725 HAS SOUS 797955 HAS SOUPS 797955 WITH SCORE 799469.725
AT ITER 4281 NEW BEST:: SOT 2686625 SOS 1514725 HAS SOPS 1514725 HAS SOUS 797934 HAS SOUPS 797934 WITH SCORE 799448.725
AT ITER 4292 NEW BEST:: SOT 2685829 SOS 1513499 HAS SOPS 1513499 HAS SOUS 796817 HAS SOUPS 796817 WITH SCORE 798330.499
AT ITER 4315 NEW BEST:: SOT 2685829 SOS 1512842 HAS SOPS 1512842 HAS SOUS 796679 HAS SOUPS 796679 WITH SCORE 798191.842
AT ITER 4316 NEW BEST:: SOT 2685793 SOS 1513017 HAS SOPS 1513017 HAS SOUS 796643 HAS SOUPS 796643 WITH SCORE 798156.017
AT ITER 4324 NEW BEST:: SOT 2685792 SOS 1513321 HAS SOPS 1513321 HAS SOUS 796581 HAS SOUPS 796581 WITH SCORE 798094.321
AT ITER 4326 NEW BEST:: SOT 2685978 SOS 1514736 HAS SOPS 1514736 HAS SOUS 796257 HAS SOUPS 796257 WITH SCORE 797771.736
AT ITER 4340 NEW BEST:: SOT 2685978 SOS 1514709 HAS SOPS 1514709 HAS SOUS 796257 HAS SOUPS 796257 WITH SCORE 797771.709
AT ITER 4362 NEW BEST:: SOT 2685937 SOS 1514709 HAS SOPS 1514709 HAS SOUS 796216 HAS SOUPS 796216 WITH SCORE 797730.709
AT ITER 4369 NEW BEST:: SOT 2685676 SOS 1511855 HAS SOPS 1511855 HAS SOUS 794461 HAS SOUPS 794461 WITH SCORE 795972.855
AT ITER 4374 NEW BEST:: SOT 2685401 SOS 1509452 HAS SOPS 1509452 HAS SOUS 793920 HAS SOUPS 793920 WITH SCORE 795429.452
AT ITER 4398 NEW BEST:: SOT 2685115 SOS 1506375 HAS SOPS 1506375 HAS SOUS 793112 HAS SOUPS 793112 WITH SCORE 794618.375
AT ITER 4399 NEW BEST:: SOT 2685106 SOS 1506366 HAS SOPS 1506366 HAS SOUS 793107 HAS SOUPS 793107 WITH SCORE 794613.366
AT ITER 4405 NEW BEST:: SOT 2685106 SOS 1506364 HAS SOPS 1506364 HAS SOUS 793105 HAS SOUPS 793105 WITH SCORE 794611.364
AT ITER 4409 NEW BEST:: SOT 2685101 SOS 1506359 HAS SOPS 1506359 HAS SOUS 793100 HAS SOUPS 793100 WITH SCORE 794606.359
AT ITER 4411 NEW BEST:: SOT 2684230 SOS 1507140 HAS SOPS 1507140 HAS SOUS 792275 HAS SOUPS 792275 WITH SCORE 793782.14
AT ITER 4413 NEW BEST:: SOT 2684181 SOS 1507091 HAS SOPS 1507091 HAS SOUS 792226 HAS SOUPS 792226 WITH SCORE 793733.091
AT ITER 4429 NEW BEST:: SOT 2684179 SOS 1507154 HAS SOPS 1507154 HAS SOUS 792216 HAS SOUPS 792216 WITH SCORE 793723.154
AT ITER 4436 NEW BEST:: SOT 2683710 SOS 1506133 HAS SOPS 1506133 HAS SOUS 791278 HAS SOUPS 791278 WITH SCORE 792784.133
AT ITER 4441 NEW BEST:: SOT 2683642 SOS 1505793 HAS SOPS 1505793 HAS SOUS 791074 HAS SOUPS 791074 WITH SCORE 792579.793
AT ITER 4452 NEW BEST:: SOT 2683907 SOS 1505492 HAS SOPS 1505492 HAS SOUS 790773 HAS SOUPS 790773 WITH SCORE 792278.492
AT ITER 4453 NEW BEST:: SOT 2683720 SOS 1505565 HAS SOPS 1505565 HAS SOUS 790399 HAS SOUPS 790399 WITH SCORE 791904.565
AT ITER 4457 NEW BEST:: SOT 2683719 SOS 1505458 HAS SOPS 1505458 HAS SOUS 790374 HAS SOUPS 790374 WITH SCORE 791879.458
AT ITER 4458 NEW BEST:: SOT 2684449 SOS 1504799 HAS SOPS 1504799 HAS SOUS 789715 HAS SOUPS 789715 WITH SCORE 791219.799
AT ITER 4461 NEW BEST:: SOT 2684546 SOS 1504993 HAS SOPS 1504993 HAS SOUS 789714 HAS SOUPS 789714 WITH SCORE 791218.993
AT ITER 4470 NEW BEST:: SOT 2684489 SOS 1504583 HAS SOPS 1504583 HAS SOUS 789600 HAS SOUPS 789600 WITH SCORE 791104.583
AT ITER 4477 NEW BEST:: SOT 2684265 SOS 1504583 HAS SOPS 1504583 HAS SOUS 789376 HAS SOUPS 789376 WITH SCORE 790880.583
AT ITER 4483 NEW BEST:: SOT 2684265 SOS 1503371 HAS SOPS 1503371 HAS SOUS 789043 HAS SOUPS 789043 WITH SCORE 790546.371
AT ITER 4486 NEW BEST:: SOT 2684265 SOS 1503367 HAS SOPS 1503367 HAS SOUS 789043 HAS SOUPS 789043 WITH SCORE 790546.367
AT ITER 4487 NEW BEST:: SOT 2684029 SOS 1503238 HAS SOPS 1503238 HAS SOUS 788761 HAS SOUPS 788761 WITH SCORE 790264.238
AT ITER 4498 NEW BEST:: SOT 2684028 SOS 1503237 HAS SOPS 1503237 HAS SOUS 788759 HAS SOUPS 788759 WITH SCORE 790262.237
AT ITER 4509 NEW BEST:: SOT 2684270 SOS 1503484 HAS SOPS 1503484 HAS SOUS 788684 HAS SOUPS 788684 WITH SCORE 790187.484
AT ITER 4514 NEW BEST:: SOT 2684227 SOS 1503441 HAS SOPS 1503441 HAS SOUS 788641 HAS SOUPS 788641 WITH SCORE 790144.441
AT ITER 4528 NEW BEST:: SOT 2683209 SOS 1502190 HAS SOPS 1502190 HAS SOUS 787406 HAS SOUPS 787406 WITH SCORE 788908.19
AT ITER 4555 NEW BEST:: SOT 2682871 SOS 1501852 HAS SOPS 1501852 HAS SOUS 787068 HAS SOUPS 787068 WITH SCORE 788569.852
AT ITER 4558 NEW BEST:: SOT 2682871 SOS 1501662 HAS SOPS 1501662 HAS SOUS 787068 HAS SOUPS 787068 WITH SCORE 788569.662
AT ITER 4567 NEW BEST:: SOT 2682871 SOS 1501662 HAS SOPS 1501662 HAS SOUS 786966 HAS SOUPS 786966 WITH SCORE 788467.662
AT ITER 4571 NEW BEST:: SOT 2682648 SOS 1500663 HAS SOPS 1500663 HAS SOUS 786767 HAS SOUPS 786767 WITH SCORE 788267.663
AT ITER 4575 NEW BEST:: SOT 2682599 SOS 1500614 HAS SOPS 1500614 HAS SOUS 786718 HAS SOUPS 786718 WITH SCORE 788218.614
AT ITER 4576 NEW BEST:: SOT 2682043 SOS 1500058 HAS SOPS 1500058 HAS SOUS 785944 HAS SOUPS 785944 WITH SCORE 787444.058
AT ITER 4582 NEW BEST:: SOT 2682043 SOS 1499943 HAS SOPS 1499943 HAS SOUS 785942 HAS SOUPS 785942 WITH SCORE 787441.943
AT ITER 4594 NEW BEST:: SOT 2682621 SOS 1498314 HAS SOPS 1498314 HAS SOUS 785716 HAS SOUPS 785716 WITH SCORE 787214.314
AT ITER 4596 NEW BEST:: SOT 2682604 SOS 1497957 HAS SOPS 1497957 HAS SOUS 785665 HAS SOUPS 785665 WITH SCORE 787162.957
AT ITER 4599 NEW BEST:: SOT 2682536 SOS 1497148 HAS SOPS 1497148 HAS SOUS 785284 HAS SOUPS 785284 WITH SCORE 786781.148
AT ITER 4611 NEW BEST:: SOT 2682519 SOS 1497131 HAS SOPS 1497131 HAS SOUS 785267 HAS SOUPS 785267 WITH SCORE 786764.131
AT ITER 4614 NEW BEST:: SOT 2682518 SOS 1497130 HAS SOPS 1497130 HAS SOUS 785265 HAS SOUPS 785265 WITH SCORE 786762.13
AT ITER 4629 NEW BEST:: SOT 2682518 SOS 1497130 HAS SOPS 1497130 HAS SOUS 785241 HAS SOUPS 785241 WITH SCORE 786738.13
AT ITER 4635 NEW BEST:: SOT 2682732 SOS 1498813 HAS SOPS 1498813 HAS SOUS 785187 HAS SOUPS 785187 WITH SCORE 786685.813
AT ITER 4650 NEW BEST:: SOT 2681986 SOS 1499475 HAS SOPS 1499475 HAS SOUS 784617 HAS SOUPS 784617 WITH SCORE 786116.475
AT ITER 4661 NEW BEST:: SOT 2681818 SOS 1499307 HAS SOPS 1499307 HAS SOUS 784449 HAS SOUPS 784449 WITH SCORE 785948.307
AT ITER 4666 NEW BEST:: SOT 2681812 SOS 1499301 HAS SOPS 1499301 HAS SOUS 784443 HAS SOUPS 784443 WITH SCORE 785942.301
AT ITER 4677 NEW BEST:: SOT 2681705 SOS 1499194 HAS SOPS 1499194 HAS SOUS 784336 HAS SOUPS 784336 WITH SCORE 785835.194
AT ITER 4679 NEW BEST:: SOT 2680975 SOS 1498802 HAS SOPS 1498802 HAS SOUS 783971 HAS SOUPS 783971 WITH SCORE 785469.802
AT ITER 4683 NEW BEST:: SOT 2681034 SOS 1498606 HAS SOPS 1498606 HAS SOUS 783945 HAS SOUPS 783945 WITH SCORE 785443.606
AT ITER 4701 NEW BEST:: SOT 2680705 SOS 1499496 HAS SOPS 1499496 HAS SOUS 783713 HAS SOUPS 783713 WITH SCORE 785212.496
AT ITER 4725 NEW BEST:: SOT 2680612 SOS 1499288 HAS SOPS 1499288 HAS SOUS 783652 HAS SOUPS 783652 WITH SCORE 785151.288
AT ITER 4731 NEW BEST:: SOT 2680216 SOS 1499239 HAS SOPS 1499239 HAS SOUS 783649 HAS SOUPS 783649 WITH SCORE 785148.239
AT ITER 4743 NEW BEST:: SOT 2680186 SOS 1499209 HAS SOPS 1499209 HAS SOUS 783619 HAS SOUPS 783619 WITH SCORE 785118.209
AT ITER 4744 NEW BEST:: SOT 2679869 SOS 1499178 HAS SOPS 1499178 HAS SOUS 783605 HAS SOUPS 783605 WITH SCORE 785104.178
AT ITER 4756 NEW BEST:: SOT 2679635 SOS 1498892 HAS SOPS 1498892 HAS SOUS 783385 HAS SOUPS 783385 WITH SCORE 784883.892
AT ITER 4799 NEW BEST:: SOT 2675508 SOS 1494765 HAS SOPS 1494765 HAS SOUS 779251 HAS SOUPS 779251 WITH SCORE 780745.765
AT ITER 4804 NEW BEST:: SOT 2675508 SOS 1494658 HAS SOPS 1494658 HAS SOUS 779221 HAS SOUPS 779221 WITH SCORE 780715.658
AT ITER 4819 NEW BEST:: SOT 2675506 SOS 1494656 HAS SOPS 1494656 HAS SOUS 779219 HAS SOUPS 779219 WITH SCORE 780713.656
AT ITER 4823 NEW BEST:: SOT 2675070 SOS 1492896 HAS SOPS 1492896 HAS SOUS 778347 HAS SOUPS 778347 WITH SCORE 779839.896
AT ITER 4836 NEW BEST:: SOT 2675006 SOS 1492768 HAS SOPS 1492768 HAS SOUS 778219 HAS SOUPS 778219 WITH SCORE 779711.768
AT ITER 4839 NEW BEST:: SOT 2674865 SOS 1492627 HAS SOPS 1492627 HAS SOUS 777908 HAS SOUPS 777908 WITH SCORE 779400.627
AT ITER 4851 NEW BEST:: SOT 2674711 SOS 1492571 HAS SOPS 1492571 HAS SOUS 777580 HAS SOUPS 777580 WITH SCORE 779072.571
AT ITER 4856 NEW BEST:: SOT 2674711 SOS 1492895 HAS SOPS 1492895 HAS SOUS 777495 HAS SOUPS 777495 WITH SCORE 778987.895
AT ITER 4858 NEW BEST:: SOT 2674710 SOS 1492880 HAS SOPS 1492880 HAS SOUS 777493 HAS SOUPS 777493 WITH SCORE 778985.88
AT ITER 4863 NEW BEST:: SOT 2673653 SOS 1491879 HAS SOPS 1491879 HAS SOUS 775731 HAS SOUPS 775731 WITH SCORE 777222.879
AT ITER 4864 NEW BEST:: SOT 2673653 SOS 1491669 HAS SOPS 1491669 HAS SOUS 775521 HAS SOUPS 775521 WITH SCORE 777012.669
AT ITER 4865 NEW BEST:: SOT 2673653 SOS 1492641 HAS SOPS 1492641 HAS SOUS 775378 HAS SOUPS 775378 WITH SCORE 776870.641
AT ITER 4871 NEW BEST:: SOT 2673289 SOS 1492012 HAS SOPS 1492012 HAS SOUS 774961 HAS SOUPS 774961 WITH SCORE 776453.012
AT ITER 4878 NEW BEST:: SOT 2673279 SOS 1492002 HAS SOPS 1492002 HAS SOUS 774951 HAS SOUPS 774951 WITH SCORE 776443.002
AT ITER 4882 NEW BEST:: SOT 2673278 SOS 1492001 HAS SOPS 1492001 HAS SOUS 774949 HAS SOUPS 774949 WITH SCORE 776441.001
AT ITER 4885 NEW BEST:: SOT 2673067 SOS 1491235 HAS SOPS 1491235 HAS SOUS 774413 HAS SOUPS 774413 WITH SCORE 775904.235
AT ITER 4914 NEW BEST:: SOT 2673066 SOS 1491234 HAS SOPS 1491234 HAS SOUS 774413 HAS SOUPS 774413 WITH SCORE 775904.234
AT ITER 4926 NEW BEST:: SOT 2672891 SOS 1491017 HAS SOPS 1491017 HAS SOUS 774051 HAS SOUPS 774051 WITH SCORE 775542.017
AT ITER 4939 NEW BEST:: SOT 2673024 SOS 1490484 HAS SOPS 1490484 HAS SOUS 773691 HAS SOUPS 773691 WITH SCORE 775181.484
AT ITER 4947 NEW BEST:: SOT 2673022 SOS 1490436 HAS SOPS 1490436 HAS SOUS 773683 HAS SOUPS 773683 WITH SCORE 775173.436
AT ITER 4962 NEW BEST:: SOT 2673022 SOS 1490388 HAS SOPS 1490388 HAS SOUS 773635 HAS SOUPS 773635 WITH SCORE 775125.388
AT ITER 4966 NEW BEST:: SOT 2673080 SOS 1489433 HAS SOPS 1489433 HAS SOUS 773196 HAS SOUPS 773196 WITH SCORE 774685.433
AT ITER 4975 NEW BEST:: SOT 2673080 SOS 1492409 HAS SOPS 1492409 HAS SOUS 773190 HAS SOUPS 773190 WITH SCORE 774682.409
AT ITER 4976 NEW BEST:: SOT 2673072 SOS 1492401 HAS SOPS 1492401 HAS SOUS 773174 HAS SOUPS 773174 WITH SCORE 774666.401
AT ITER 4995 NEW BEST:: SOT 2672288 SOS 1491617 HAS SOPS 1491617 HAS SOUS 772340 HAS SOUPS 772340 WITH SCORE 773831.617
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-09a-CTLCardinality-00 ( ( potential( (tk(P902)) <= (tk(P1591)) ) & (AF(( potential( (tk(P1695)) <= (tk(P202)) ) & potential( ( 3 ) <= (tk(P1118)) ) ))) ) | ( (AU( potential( (tk(P1029)) <= (tk(P346)) ),potential( ( 2 ) <= (tk(P1694)) ) )) & ( (AX( potential( (tk(P911)) <= (tk(P1635)) ))) & ( ( potential( ( 2 ) <= (tk(P34)) ) | potential( ( 2 ) <= (tk(P1451)) ) ) | potential( ( 2 ) <= (tk(P142)) ) ) ) ) )
PROPERTY: ASLink-PT-09a-CTLCardinality-01 (AU( (EF(potential( (tk(P1539)) <= (tk(P1339)) ))),( ( potential( ( 1 ) <= (tk(P414)) ) & potential( (tk(P1936)) <= (tk(P1642)) ) ) & ( potential( ( 2 ) <= (tk(P131)) ) | potential( ( 2 ) <= (tk(P1521)) ) ) ) ))
PROPERTY: ASLink-PT-09a-CTLCardinality-02 ( (! (AU( potential( (tk(P677)) <= (tk(P122)) ),potential( ( 3 ) <= (tk(P1121)) ) ))) | (! (AG( (! potential( ( 2 ) <= (tk(P1497)) ))))) )
PROPERTY: ASLink-PT-09a-CTLCardinality-03 (EF((! (EG( potential( (tk(P1844)) <= (tk(P404)) ))))))
PROPERTY: ASLink-PT-09a-CTLCardinality-04 (! (AX( (AG( potential( (tk(P469)) <= (tk(P997)) ))))))
PROPERTY: ASLink-PT-09a-CTLCardinality-05 (EG( (EG( ( potential( (tk(P651)) <= (tk(P1255)) ) & potential( (tk(P1425)) <= (tk(P1588)) ) )))))
PROPERTY: ASLink-PT-09a-CTLCardinality-06 (! (AF(potential( ( 2 ) <= (tk(P1047)) ))))
PROPERTY: ASLink-PT-09a-CTLCardinality-07 (! (EG( (EX( potential( (tk(P987)) <= (tk(P1694)) ))))))
PROPERTY: ASLink-PT-09a-CTLCardinality-08 (EU( (! potential( ( 2 ) <= (tk(P1110)) )),(EF(potential( ( 2 ) <= (tk(P1984)) ))) ))
PROPERTY: ASLink-PT-09a-CTLCardinality-09 (AG( (EX( ( potential( (tk(P217)) <= (tk(P1488)) ) & potential( (tk(P389)) <= (tk(P1178)) ) )))))
PROPERTY: ASLink-PT-09a-CTLCardinality-10 ( (EG( ( ( potential( ( 1 ) <= (tk(P1945)) ) | potential( (tk(P865)) <= (tk(P1645)) ) ) | ( potential( (tk(P968)) <= (tk(P924)) ) | potential( (tk(P1630)) <= (tk(P333)) ) ) ))) & (! (! ( ( potential( ( 3 ) <= (tk(P240)) ) | potential( ( 1 ) <= (tk(P1100)) ) ) | potential( (tk(P708)) <= (tk(P374)) ) ))) )
PROPERTY: ASLink-PT-09a-CTLCardinality-11 ( (! ( ( (! potential( ( 3 ) <= (tk(P1745)) )) | (! potential( ( 1 ) <= (tk(P1644)) )) ) | (AX( potential( (tk(P179)) <= (tk(P1101)) ))) )) | (AF((AG( potential( ( 3 ) <= (tk(P1266)) ))))) )
PROPERTY: ASLink-PT-09a-CTLCardinality-12 (! (EF((EG( potential( (tk(P1399)) <= (tk(P1887)) ))))))
PROPERTY: ASLink-PT-09a-CTLCardinality-13 ( ( ( (EF(potential( ( 1 ) <= (tk(P1532)) ))) & (EF(potential( (tk(P777)) <= (tk(P234)) ))) ) & (AU( potential( (tk(P690)) <= (tk(P38)) ),potential( ( 2 ) <= (tk(P305)) ) )) ) & (AG( (AG( potential( (tk(P1149)) <= (tk(P18)) ))))) )
PROPERTY: ASLink-PT-09a-CTLCardinality-14 (AF(( potential( ( 2 ) <= (tk(P760)) ) | (EG( potential( ( 2 ) <= (tk(P137)) ))) )))
PROPERTY: ASLink-PT-09a-CTLCardinality-15 (EG( ( (EF(potential( (tk(P1972)) <= (tk(P1802)) ))) | (EX( potential( ( 2 ) <= (tk(P662)) ))) )))

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="CTLCardinality"
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 CTLCardinality"
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-158897508100139"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;