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

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

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100108.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-07a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100108
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 856K
-rw-r--r-- 1 mcc users 3.0K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:37 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.4K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 08:57 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 677K 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-07a-CTLFireability-00
FORMULA_NAME ASLink-PT-07a-CTLFireability-01
FORMULA_NAME ASLink-PT-07a-CTLFireability-02
FORMULA_NAME ASLink-PT-07a-CTLFireability-03
FORMULA_NAME ASLink-PT-07a-CTLFireability-04
FORMULA_NAME ASLink-PT-07a-CTLFireability-05
FORMULA_NAME ASLink-PT-07a-CTLFireability-06
FORMULA_NAME ASLink-PT-07a-CTLFireability-07
FORMULA_NAME ASLink-PT-07a-CTLFireability-08
FORMULA_NAME ASLink-PT-07a-CTLFireability-09
FORMULA_NAME ASLink-PT-07a-CTLFireability-10
FORMULA_NAME ASLink-PT-07a-CTLFireability-11
FORMULA_NAME ASLink-PT-07a-CTLFireability-12
FORMULA_NAME ASLink-PT-07a-CTLFireability-13
FORMULA_NAME ASLink-PT-07a-CTLFireability-14
FORMULA_NAME ASLink-PT-07a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589048321695

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

GOT IT HERE. BS
Petri model created: 1601 places, 2373 transitions, 8915 arcs.
AT ITER 0 NEW BEST:: SOT 2102678 SOS 1445830 HAS SOPS 1445830 HAS SOUS 934140 HAS SOUPS 934140 WITH SCORE 935585.83
AT ITER 1 NEW BEST:: SOT 2102678 SOS 1445614 HAS SOPS 1445614 HAS SOUS 934140 HAS SOUPS 934140 WITH SCORE 935585.614
AT ITER 4 NEW BEST:: SOT 2102493 SOS 1445429 HAS SOPS 1445429 HAS SOUS 934120 HAS SOUPS 934120 WITH SCORE 935565.429
AT ITER 11 NEW BEST:: SOT 2102493 SOS 1445412 HAS SOPS 1445412 HAS SOUS 934103 HAS SOUPS 934103 WITH SCORE 935548.412
AT ITER 13 NEW BEST:: SOT 2102493 SOS 1444986 HAS SOPS 1444986 HAS SOUS 933908 HAS SOUPS 933908 WITH SCORE 935352.986
AT ITER 21 NEW BEST:: SOT 2102337 SOS 1444830 HAS SOPS 1444830 HAS SOUS 933748 HAS SOUPS 933748 WITH SCORE 935192.83
AT ITER 22 NEW BEST:: SOT 2101382 SOS 1443187 HAS SOPS 1443187 HAS SOUS 932793 HAS SOUPS 932793 WITH SCORE 934236.187
AT ITER 23 NEW BEST:: SOT 2101341 SOS 1443136 HAS SOPS 1443136 HAS SOUS 932742 HAS SOUPS 932742 WITH SCORE 934185.136
AT ITER 24 NEW BEST:: SOT 2101062 SOS 1442857 HAS SOPS 1442857 HAS SOUS 932742 HAS SOUPS 932742 WITH SCORE 934184.857
AT ITER 28 NEW BEST:: SOT 2098269 SOS 1440341 HAS SOPS 1440341 HAS SOUS 930226 HAS SOUPS 930226 WITH SCORE 931666.341
AT ITER 29 NEW BEST:: SOT 2098269 SOS 1440363 HAS SOPS 1440363 HAS SOUS 929914 HAS SOUPS 929914 WITH SCORE 931354.363
AT ITER 30 NEW BEST:: SOT 2097879 SOS 1439583 HAS SOPS 1439583 HAS SOUS 929482 HAS SOUPS 929482 WITH SCORE 930921.583
AT ITER 36 NEW BEST:: SOT 2094303 SOS 1436029 HAS SOPS 1436029 HAS SOUS 925927 HAS SOUPS 925927 WITH SCORE 927363.029
AT ITER 44 NEW BEST:: SOT 2093902 SOS 1435628 HAS SOPS 1435628 HAS SOUS 925922 HAS SOUPS 925922 WITH SCORE 927357.628
AT ITER 49 NEW BEST:: SOT 2093594 SOS 1435320 HAS SOPS 1435320 HAS SOUS 925898 HAS SOUPS 925898 WITH SCORE 927333.32
AT ITER 54 NEW BEST:: SOT 2089468 SOS 1431281 HAS SOPS 1431281 HAS SOUS 921858 HAS SOUPS 921858 WITH SCORE 923289.281
AT ITER 60 NEW BEST:: SOT 2089468 SOS 1428766 HAS SOPS 1428766 HAS SOUS 921437 HAS SOUPS 921437 WITH SCORE 922865.766
AT ITER 68 NEW BEST:: SOT 2087942 SOS 1429817 HAS SOPS 1429817 HAS SOUS 921120 HAS SOUPS 921120 WITH SCORE 922549.817
AT ITER 70 NEW BEST:: SOT 2074406 SOS 1416281 HAS SOPS 1416281 HAS SOUS 906996 HAS SOUPS 906996 WITH SCORE 908412.281
AT ITER 72 NEW BEST:: SOT 2057986 SOS 1399379 HAS SOPS 1399379 HAS SOUS 890094 HAS SOUPS 890094 WITH SCORE 891493.379
AT ITER 75 NEW BEST:: SOT 2057986 SOS 1398886 HAS SOPS 1398886 HAS SOUS 889915 HAS SOUPS 889915 WITH SCORE 891313.886
AT ITER 76 NEW BEST:: SOT 2057986 SOS 1398569 HAS SOPS 1398569 HAS SOUS 889915 HAS SOUPS 889915 WITH SCORE 891313.569
AT ITER 79 NEW BEST:: SOT 2056844 SOS 1397427 HAS SOPS 1397427 HAS SOUS 888773 HAS SOUPS 888773 WITH SCORE 890170.427
AT ITER 92 NEW BEST:: SOT 2056031 SOS 1397220 HAS SOPS 1397220 HAS SOUS 887859 HAS SOUPS 887859 WITH SCORE 889256.22
AT ITER 97 NEW BEST:: SOT 2055237 SOS 1395112 HAS SOPS 1395112 HAS SOUS 885882 HAS SOUPS 885882 WITH SCORE 887277.112
AT ITER 100 NEW BEST:: SOT 2055237 SOS 1394431 HAS SOPS 1394431 HAS SOUS 885817 HAS SOUPS 885817 WITH SCORE 887211.431
AT ITER 101 NEW BEST:: SOT 2055720 SOS 1393852 HAS SOPS 1393852 HAS SOUS 885337 HAS SOUPS 885337 WITH SCORE 886730.852
AT ITER 103 NEW BEST:: SOT 2055271 SOS 1391825 HAS SOPS 1391825 HAS SOUS 883328 HAS SOUPS 883328 WITH SCORE 884719.825
AT ITER 107 NEW BEST:: SOT 2055246 SOS 1391800 HAS SOPS 1391800 HAS SOUS 883328 HAS SOUPS 883328 WITH SCORE 884719.8
AT ITER 109 NEW BEST:: SOT 2039861 SOS 1375636 HAS SOPS 1375636 HAS SOUS 867165 HAS SOUPS 867165 WITH SCORE 868540.636
AT ITER 111 NEW BEST:: SOT 2039861 SOS 1375048 HAS SOPS 1375048 HAS SOUS 866577 HAS SOUPS 866577 WITH SCORE 867952.048
AT ITER 112 NEW BEST:: SOT 2039861 SOS 1374786 HAS SOPS 1374786 HAS SOUS 866315 HAS SOUPS 866315 WITH SCORE 867689.786
AT ITER 115 NEW BEST:: SOT 2039462 SOS 1374387 HAS SOPS 1374387 HAS SOUS 865916 HAS SOUPS 865916 WITH SCORE 867290.387
AT ITER 116 NEW BEST:: SOT 2033209 SOS 1373383 HAS SOPS 1373383 HAS SOUS 859528 HAS SOUPS 859528 WITH SCORE 860901.383
AT ITER 135 NEW BEST:: SOT 2033209 SOS 1373228 HAS SOPS 1373228 HAS SOUS 859214 HAS SOUPS 859214 WITH SCORE 860587.228
AT ITER 140 NEW BEST:: SOT 2033029 SOS 1373094 HAS SOPS 1373094 HAS SOUS 859123 HAS SOUPS 859123 WITH SCORE 860496.094
AT ITER 150 NEW BEST:: SOT 2032492 SOS 1372557 HAS SOPS 1372557 HAS SOUS 859118 HAS SOUPS 859118 WITH SCORE 860490.557
AT ITER 151 NEW BEST:: SOT 2032492 SOS 1371574 HAS SOPS 1371574 HAS SOUS 859117 HAS SOUPS 859117 WITH SCORE 860488.574
AT ITER 154 NEW BEST:: SOT 2030502 SOS 1369584 HAS SOPS 1369584 HAS SOUS 857127 HAS SOUPS 857127 WITH SCORE 858496.584
AT ITER 156 NEW BEST:: SOT 2030210 SOS 1369292 HAS SOPS 1369292 HAS SOUS 857125 HAS SOUPS 857125 WITH SCORE 858494.292
AT ITER 158 NEW BEST:: SOT 2030210 SOS 1369249 HAS SOPS 1369249 HAS SOUS 857082 HAS SOUPS 857082 WITH SCORE 858451.249
AT ITER 162 NEW BEST:: SOT 2025243 SOS 1364282 HAS SOPS 1364282 HAS SOUS 852115 HAS SOUPS 852115 WITH SCORE 853479.282
AT ITER 164 NEW BEST:: SOT 2025243 SOS 1363381 HAS SOPS 1363381 HAS SOUS 852114 HAS SOUPS 852114 WITH SCORE 853477.381
AT ITER 165 NEW BEST:: SOT 2025243 SOS 1358247 HAS SOPS 1358247 HAS SOUS 850755 HAS SOUPS 850755 WITH SCORE 852113.247
AT ITER 166 NEW BEST:: SOT 2025223 SOS 1359005 HAS SOPS 1359005 HAS SOUS 850587 HAS SOUPS 850587 WITH SCORE 851946.005
AT ITER 167 NEW BEST:: SOT 2024769 SOS 1358014 HAS SOPS 1358014 HAS SOUS 850587 HAS SOUPS 850587 WITH SCORE 851945.014
AT ITER 176 NEW BEST:: SOT 2024568 SOS 1357812 HAS SOPS 1357812 HAS SOUS 850583 HAS SOUPS 850583 WITH SCORE 851940.812
AT ITER 180 NEW BEST:: SOT 2016282 SOS 1358079 HAS SOPS 1358079 HAS SOUS 842962 HAS SOUPS 842962 WITH SCORE 844320.079
AT ITER 184 NEW BEST:: SOT 2015888 SOS 1356072 HAS SOPS 1356072 HAS SOUS 840956 HAS SOUPS 840956 WITH SCORE 842312.072
AT ITER 192 NEW BEST:: SOT 2015888 SOS 1351949 HAS SOPS 1351949 HAS SOUS 840955 HAS SOUPS 840955 WITH SCORE 842306.949
AT ITER 197 NEW BEST:: SOT 2015887 SOS 1351939 HAS SOPS 1351939 HAS SOUS 840945 HAS SOUPS 840945 WITH SCORE 842296.939
AT ITER 199 NEW BEST:: SOT 2013976 SOS 1350028 HAS SOPS 1350028 HAS SOUS 839033 HAS SOUPS 839033 WITH SCORE 840383.028
AT ITER 201 NEW BEST:: SOT 2013175 SOS 1348146 HAS SOPS 1348146 HAS SOUS 838512 HAS SOUPS 838512 WITH SCORE 839860.146
AT ITER 203 NEW BEST:: SOT 2013175 SOS 1348729 HAS SOPS 1348729 HAS SOUS 838435 HAS SOUPS 838435 WITH SCORE 839783.729
AT ITER 206 NEW BEST:: SOT 2013648 SOS 1348688 HAS SOPS 1348688 HAS SOUS 838402 HAS SOUPS 838402 WITH SCORE 839750.688
AT ITER 211 NEW BEST:: SOT 2013107 SOS 1347353 HAS SOPS 1347353 HAS SOUS 837300 HAS SOUPS 837300 WITH SCORE 838647.353
AT ITER 217 NEW BEST:: SOT 2012430 SOS 1346676 HAS SOPS 1346676 HAS SOUS 837277 HAS SOUPS 837277 WITH SCORE 838623.676
AT ITER 225 NEW BEST:: SOT 2012430 SOS 1344581 HAS SOPS 1344581 HAS SOUS 837272 HAS SOUPS 837272 WITH SCORE 838616.581
AT ITER 227 NEW BEST:: SOT 2001403 SOS 1332944 HAS SOPS 1332944 HAS SOUS 825635 HAS SOUPS 825635 WITH SCORE 826967.944
AT ITER 231 NEW BEST:: SOT 2001442 SOS 1332888 HAS SOPS 1332888 HAS SOUS 825579 HAS SOUPS 825579 WITH SCORE 826911.888
AT ITER 248 NEW BEST:: SOT 2001011 SOS 1331615 HAS SOPS 1331615 HAS SOUS 824306 HAS SOUPS 824306 WITH SCORE 825637.615
AT ITER 254 NEW BEST:: SOT 2000587 SOS 1329732 HAS SOPS 1329732 HAS SOUS 823002 HAS SOUPS 823002 WITH SCORE 824331.732
AT ITER 257 NEW BEST:: SOT 2000121 SOS 1329594 HAS SOPS 1329594 HAS SOUS 822863 HAS SOUPS 822863 WITH SCORE 824192.594
AT ITER 258 NEW BEST:: SOT 2000121 SOS 1328982 HAS SOPS 1328982 HAS SOUS 822777 HAS SOUPS 822777 WITH SCORE 824105.982
AT ITER 263 NEW BEST:: SOT 1997846 SOS 1326707 HAS SOPS 1326707 HAS SOUS 820502 HAS SOUPS 820502 WITH SCORE 821828.707
AT ITER 267 NEW BEST:: SOT 1997846 SOS 1324284 HAS SOPS 1324284 HAS SOUS 820494 HAS SOUPS 820494 WITH SCORE 821818.284
AT ITER 275 NEW BEST:: SOT 1997597 SOS 1323462 HAS SOPS 1323462 HAS SOUS 819979 HAS SOUPS 819979 WITH SCORE 821302.462
AT ITER 278 NEW BEST:: SOT 1997227 SOS 1322990 HAS SOPS 1322990 HAS SOUS 819593 HAS SOUPS 819593 WITH SCORE 820915.99
AT ITER 281 NEW BEST:: SOT 1997170 SOS 1322933 HAS SOPS 1322933 HAS SOUS 819570 HAS SOUPS 819570 WITH SCORE 820892.933
AT ITER 284 NEW BEST:: SOT 1997170 SOS 1323476 HAS SOPS 1323476 HAS SOUS 819162 HAS SOUPS 819162 WITH SCORE 820485.476
AT ITER 285 NEW BEST:: SOT 1997170 SOS 1323107 HAS SOPS 1323107 HAS SOUS 819156 HAS SOUPS 819156 WITH SCORE 820479.107
AT ITER 289 NEW BEST:: SOT 1996969 SOS 1322631 HAS SOPS 1322631 HAS SOUS 818811 HAS SOUPS 818811 WITH SCORE 820133.631
AT ITER 293 NEW BEST:: SOT 1996967 SOS 1322461 HAS SOPS 1322461 HAS SOUS 818807 HAS SOUPS 818807 WITH SCORE 820129.461
AT ITER 298 NEW BEST:: SOT 1996673 SOS 1322167 HAS SOPS 1322167 HAS SOUS 818513 HAS SOUPS 818513 WITH SCORE 819835.167
AT ITER 299 NEW BEST:: SOT 1987648 SOS 1313142 HAS SOPS 1313142 HAS SOUS 809488 HAS SOUPS 809488 WITH SCORE 810801.142
AT ITER 300 NEW BEST:: SOT 1987648 SOS 1312856 HAS SOPS 1312856 HAS SOUS 809488 HAS SOUPS 809488 WITH SCORE 810800.856
AT ITER 301 NEW BEST:: SOT 1987648 SOS 1313468 HAS SOPS 1313468 HAS SOUS 809420 HAS SOUPS 809420 WITH SCORE 810733.468
AT ITER 316 NEW BEST:: SOT 1987629 SOS 1313449 HAS SOPS 1313449 HAS SOUS 809403 HAS SOUPS 809403 WITH SCORE 810716.449
AT ITER 318 NEW BEST:: SOT 1987623 SOS 1313430 HAS SOPS 1313430 HAS SOUS 809384 HAS SOUPS 809384 WITH SCORE 810697.43
AT ITER 319 NEW BEST:: SOT 1987618 SOS 1313425 HAS SOPS 1313425 HAS SOUS 809377 HAS SOUPS 809377 WITH SCORE 810690.425
AT ITER 325 NEW BEST:: SOT 1987618 SOS 1312402 HAS SOPS 1312402 HAS SOUS 809376 HAS SOUPS 809376 WITH SCORE 810688.402
AT ITER 330 NEW BEST:: SOT 1987618 SOS 1311898 HAS SOPS 1311898 HAS SOUS 809040 HAS SOUPS 809040 WITH SCORE 810351.898
AT ITER 338 NEW BEST:: SOT 1987618 SOS 1311898 HAS SOPS 1311898 HAS SOUS 809037 HAS SOUPS 809037 WITH SCORE 810348.898
AT ITER 341 NEW BEST:: SOT 1987484 SOS 1311896 HAS SOPS 1311896 HAS SOUS 809034 HAS SOUPS 809034 WITH SCORE 810345.896
AT ITER 346 NEW BEST:: SOT 1986623 SOS 1311152 HAS SOPS 1311152 HAS SOUS 808252 HAS SOUPS 808252 WITH SCORE 809563.152
AT ITER 355 NEW BEST:: SOT 1986100 SOS 1307972 HAS SOPS 1307972 HAS SOUS 806904 HAS SOUPS 806904 WITH SCORE 808211.972
AT ITER 363 NEW BEST:: SOT 1984917 SOS 1306789 HAS SOPS 1306789 HAS SOUS 805721 HAS SOUPS 805721 WITH SCORE 807027.789
AT ITER 373 NEW BEST:: SOT 1984570 SOS 1306079 HAS SOPS 1306079 HAS SOUS 805620 HAS SOUPS 805620 WITH SCORE 806926.079
AT ITER 374 NEW BEST:: SOT 1984570 SOS 1304730 HAS SOPS 1304730 HAS SOUS 804960 HAS SOUPS 804960 WITH SCORE 806264.73
AT ITER 381 NEW BEST:: SOT 1984454 SOS 1304614 HAS SOPS 1304614 HAS SOUS 804844 HAS SOUPS 804844 WITH SCORE 806148.614
AT ITER 392 NEW BEST:: SOT 1984454 SOS 1304560 HAS SOPS 1304560 HAS SOUS 804753 HAS SOUPS 804753 WITH SCORE 806057.56
AT ITER 399 NEW BEST:: SOT 1983894 SOS 1300349 HAS SOPS 1300349 HAS SOUS 803633 HAS SOUPS 803633 WITH SCORE 804933.349
AT ITER 402 NEW BEST:: SOT 1983668 SOS 1299075 HAS SOPS 1299075 HAS SOUS 803633 HAS SOUPS 803633 WITH SCORE 804932.075
AT ITER 406 NEW BEST:: SOT 1983160 SOS 1298566 HAS SOPS 1298566 HAS SOUS 803627 HAS SOUPS 803627 WITH SCORE 804925.566
AT ITER 407 NEW BEST:: SOT 1982901 SOS 1297770 HAS SOPS 1297770 HAS SOUS 802997 HAS SOUPS 802997 WITH SCORE 804294.77
AT ITER 412 NEW BEST:: SOT 1981773 SOS 1296635 HAS SOPS 1296635 HAS SOUS 801861 HAS SOUPS 801861 WITH SCORE 803157.635
AT ITER 414 NEW BEST:: SOT 1981421 SOS 1296567 HAS SOPS 1296567 HAS SOUS 801792 HAS SOUPS 801792 WITH SCORE 803088.567
AT ITER 415 NEW BEST:: SOT 1980812 SOS 1296247 HAS SOPS 1296247 HAS SOUS 801472 HAS SOUPS 801472 WITH SCORE 802768.247
AT ITER 418 NEW BEST:: SOT 1981059 SOS 1295941 HAS SOPS 1295941 HAS SOUS 801325 HAS SOUPS 801325 WITH SCORE 802620.941
AT ITER 420 NEW BEST:: SOT 1981123 SOS 1294394 HAS SOPS 1294394 HAS SOUS 799778 HAS SOUPS 799778 WITH SCORE 801072.394
AT ITER 421 NEW BEST:: SOT 1979991 SOS 1293262 HAS SOPS 1293262 HAS SOUS 798646 HAS SOUPS 798646 WITH SCORE 799939.262
AT ITER 422 NEW BEST:: SOT 1979991 SOS 1292936 HAS SOPS 1292936 HAS SOUS 798320 HAS SOUPS 798320 WITH SCORE 799612.936
AT ITER 432 NEW BEST:: SOT 1978586 SOS 1290944 HAS SOPS 1290944 HAS SOUS 795177 HAS SOUPS 795177 WITH SCORE 796467.944
AT ITER 436 NEW BEST:: SOT 1977959 SOS 1289338 HAS SOPS 1289338 HAS SOUS 794036 HAS SOUPS 794036 WITH SCORE 795325.338
AT ITER 437 NEW BEST:: SOT 1977959 SOS 1289666 HAS SOPS 1289666 HAS SOUS 794035 HAS SOUPS 794035 WITH SCORE 795324.666
AT ITER 438 NEW BEST:: SOT 1977959 SOS 1286446 HAS SOPS 1286446 HAS SOUS 793753 HAS SOUPS 793753 WITH SCORE 795039.446
AT ITER 446 NEW BEST:: SOT 1977958 SOS 1286445 HAS SOPS 1286445 HAS SOUS 793752 HAS SOUPS 793752 WITH SCORE 795038.445
AT ITER 457 NEW BEST:: SOT 1964895 SOS 1274505 HAS SOPS 1274505 HAS SOUS 780848 HAS SOUPS 780848 WITH SCORE 782122.505
AT ITER 466 NEW BEST:: SOT 1963752 SOS 1273362 HAS SOPS 1273362 HAS SOUS 779705 HAS SOUPS 779705 WITH SCORE 780978.362
AT ITER 470 NEW BEST:: SOT 1963496 SOS 1270989 HAS SOPS 1270989 HAS SOUS 779123 HAS SOUPS 779123 WITH SCORE 780393.989
AT ITER 478 NEW BEST:: SOT 1963443 SOS 1270733 HAS SOPS 1270733 HAS SOUS 779017 HAS SOUPS 779017 WITH SCORE 780287.733
AT ITER 479 NEW BEST:: SOT 1963442 SOS 1270450 HAS SOPS 1270450 HAS SOUS 779017 HAS SOUPS 779017 WITH SCORE 780287.45
AT ITER 481 NEW BEST:: SOT 1963902 SOS 1270229 HAS SOPS 1270229 HAS SOUS 778985 HAS SOUPS 778985 WITH SCORE 780255.229
AT ITER 487 NEW BEST:: SOT 1963902 SOS 1267147 HAS SOPS 1267147 HAS SOUS 778189 HAS SOUPS 778189 WITH SCORE 779456.147
AT ITER 488 NEW BEST:: SOT 1963902 SOS 1266306 HAS SOPS 1266306 HAS SOUS 777348 HAS SOUPS 777348 WITH SCORE 778614.306
AT ITER 493 NEW BEST:: SOT 1963902 SOS 1266126 HAS SOPS 1266126 HAS SOUS 777310 HAS SOUPS 777310 WITH SCORE 778576.126
AT ITER 499 NEW BEST:: SOT 1963740 SOS 1266126 HAS SOPS 1266126 HAS SOUS 777309 HAS SOUPS 777309 WITH SCORE 778575.126
AT ITER 507 NEW BEST:: SOT 1959157 SOS 1261543 HAS SOPS 1261543 HAS SOUS 772713 HAS SOUPS 772713 WITH SCORE 773974.543
AT ITER 523 NEW BEST:: SOT 1955760 SOS 1262037 HAS SOPS 1262037 HAS SOUS 769767 HAS SOUPS 769767 WITH SCORE 771029.037
AT ITER 525 NEW BEST:: SOT 1955760 SOS 1261803 HAS SOPS 1261803 HAS SOUS 769765 HAS SOUPS 769765 WITH SCORE 771026.803
AT ITER 528 NEW BEST:: SOT 1955760 SOS 1262305 HAS SOPS 1262305 HAS SOUS 769757 HAS SOUPS 769757 WITH SCORE 771019.305
AT ITER 534 NEW BEST:: SOT 1955869 SOS 1261747 HAS SOPS 1261747 HAS SOUS 769757 HAS SOUPS 769757 WITH SCORE 771018.747
AT ITER 540 NEW BEST:: SOT 1955516 SOS 1258931 HAS SOPS 1258931 HAS SOUS 769051 HAS SOUPS 769051 WITH SCORE 770309.931
AT ITER 543 NEW BEST:: SOT 1954444 SOS 1258027 HAS SOPS 1258027 HAS SOUS 768591 HAS SOUPS 768591 WITH SCORE 769849.027
AT ITER 552 NEW BEST:: SOT 1954440 SOS 1259018 HAS SOPS 1259018 HAS SOUS 768589 HAS SOUPS 768589 WITH SCORE 769848.018
AT ITER 556 NEW BEST:: SOT 1953873 SOS 1259012 HAS SOPS 1259012 HAS SOUS 768583 HAS SOUPS 768583 WITH SCORE 769842.012
AT ITER 557 NEW BEST:: SOT 1953990 SOS 1257755 HAS SOPS 1257755 HAS SOUS 767232 HAS SOUPS 767232 WITH SCORE 768489.755
AT ITER 559 NEW BEST:: SOT 1953671 SOS 1257436 HAS SOPS 1257436 HAS SOUS 766784 HAS SOUPS 766784 WITH SCORE 768041.436
AT ITER 563 NEW BEST:: SOT 1953671 SOS 1256943 HAS SOPS 1256943 HAS SOUS 766291 HAS SOUPS 766291 WITH SCORE 767547.943
AT ITER 567 NEW BEST:: SOT 1953468 SOS 1256299 HAS SOPS 1256299 HAS SOUS 766117 HAS SOUPS 766117 WITH SCORE 767373.299
AT ITER 570 NEW BEST:: SOT 1953468 SOS 1256277 HAS SOPS 1256277 HAS SOUS 766095 HAS SOUPS 766095 WITH SCORE 767351.277
AT ITER 573 NEW BEST:: SOT 1952928 SOS 1256385 HAS SOPS 1256385 HAS SOUS 766018 HAS SOUPS 766018 WITH SCORE 767274.385
AT ITER 583 NEW BEST:: SOT 1953069 SOS 1255548 HAS SOPS 1255548 HAS SOUS 765366 HAS SOUPS 765366 WITH SCORE 766621.548
AT ITER 590 NEW BEST:: SOT 1953069 SOS 1255085 HAS SOPS 1255085 HAS SOUS 765360 HAS SOUPS 765360 WITH SCORE 766615.085
AT ITER 593 NEW BEST:: SOT 1951893 SOS 1253788 HAS SOPS 1253788 HAS SOUS 763921 HAS SOUPS 763921 WITH SCORE 765174.788
AT ITER 594 NEW BEST:: SOT 1951893 SOS 1252368 HAS SOPS 1252368 HAS SOUS 763921 HAS SOUPS 763921 WITH SCORE 765173.368
AT ITER 612 NEW BEST:: SOT 1952242 SOS 1252206 HAS SOPS 1252206 HAS SOUS 763921 HAS SOUPS 763921 WITH SCORE 765173.206
AT ITER 617 NEW BEST:: SOT 1951181 SOS 1251125 HAS SOPS 1251125 HAS SOUS 763603 HAS SOUPS 763603 WITH SCORE 764854.125
AT ITER 622 NEW BEST:: SOT 1951176 SOS 1251115 HAS SOPS 1251115 HAS SOUS 763598 HAS SOUPS 763598 WITH SCORE 764849.115
AT ITER 623 NEW BEST:: SOT 1951189 SOS 1249562 HAS SOPS 1249562 HAS SOUS 762304 HAS SOUPS 762304 WITH SCORE 763553.562
AT ITER 634 NEW BEST:: SOT 1945396 SOS 1245263 HAS SOPS 1245263 HAS SOUS 757249 HAS SOUPS 757249 WITH SCORE 758494.263
AT ITER 638 NEW BEST:: SOT 1945396 SOS 1245263 HAS SOPS 1245263 HAS SOUS 757127 HAS SOUPS 757127 WITH SCORE 758372.263
AT ITER 641 NEW BEST:: SOT 1942841 SOS 1242708 HAS SOPS 1242708 HAS SOUS 754572 HAS SOUPS 754572 WITH SCORE 755814.708
AT ITER 648 NEW BEST:: SOT 1944125 SOS 1243671 HAS SOPS 1243671 HAS SOUS 754291 HAS SOUPS 754291 WITH SCORE 755534.671
AT ITER 651 NEW BEST:: SOT 1941371 SOS 1240917 HAS SOPS 1240917 HAS SOUS 751537 HAS SOUPS 751537 WITH SCORE 752777.917
AT ITER 657 NEW BEST:: SOT 1941323 SOS 1240856 HAS SOPS 1240856 HAS SOUS 751476 HAS SOUPS 751476 WITH SCORE 752716.856
AT ITER 663 NEW BEST:: SOT 1941321 SOS 1238913 HAS SOPS 1238913 HAS SOUS 751114 HAS SOUPS 751114 WITH SCORE 752352.913
AT ITER 670 NEW BEST:: SOT 1941321 SOS 1238657 HAS SOPS 1238657 HAS SOUS 750676 HAS SOUPS 750676 WITH SCORE 751914.657
AT ITER 674 NEW BEST:: SOT 1941321 SOS 1238657 HAS SOPS 1238657 HAS SOUS 750586 HAS SOUPS 750586 WITH SCORE 751824.657
AT ITER 678 NEW BEST:: SOT 1941085 SOS 1238421 HAS SOPS 1238421 HAS SOUS 750563 HAS SOUPS 750563 WITH SCORE 751801.421
AT ITER 682 NEW BEST:: SOT 1938376 SOS 1235768 HAS SOPS 1235768 HAS SOUS 748400 HAS SOUPS 748400 WITH SCORE 749635.768
AT ITER 684 NEW BEST:: SOT 1938290 SOS 1234482 HAS SOPS 1234482 HAS SOUS 748278 HAS SOUPS 748278 WITH SCORE 749512.482
AT ITER 709 NEW BEST:: SOT 1938266 SOS 1234455 HAS SOPS 1234455 HAS SOUS 748275 HAS SOUPS 748275 WITH SCORE 749509.455
AT ITER 711 NEW BEST:: SOT 1938436 SOS 1234455 HAS SOPS 1234455 HAS SOUS 747935 HAS SOUPS 747935 WITH SCORE 749169.455
AT ITER 713 NEW BEST:: SOT 1937995 SOS 1230950 HAS SOPS 1230950 HAS SOUS 747396 HAS SOUPS 747396 WITH SCORE 748626.95
AT ITER 715 NEW BEST:: SOT 1936818 SOS 1229773 HAS SOPS 1229773 HAS SOUS 746219 HAS SOUPS 746219 WITH SCORE 747448.773
AT ITER 716 NEW BEST:: SOT 1935993 SOS 1227963 HAS SOPS 1227963 HAS SOUS 743955 HAS SOUPS 743955 WITH SCORE 745182.963
AT ITER 723 NEW BEST:: SOT 1936240 SOS 1227440 HAS SOPS 1227440 HAS SOUS 743438 HAS SOUPS 743438 WITH SCORE 744665.44
AT ITER 732 NEW BEST:: SOT 1934745 SOS 1225945 HAS SOPS 1225945 HAS SOUS 741943 HAS SOUPS 741943 WITH SCORE 743168.945
AT ITER 733 NEW BEST:: SOT 1934458 SOS 1225658 HAS SOPS 1225658 HAS SOUS 741926 HAS SOUPS 741926 WITH SCORE 743151.658
AT ITER 735 NEW BEST:: SOT 1934458 SOS 1225568 HAS SOPS 1225568 HAS SOUS 741926 HAS SOUPS 741926 WITH SCORE 743151.568
AT ITER 747 NEW BEST:: SOT 1934441 SOS 1225374 HAS SOPS 1225374 HAS SOUS 741732 HAS SOUPS 741732 WITH SCORE 742957.374
AT ITER 761 NEW BEST:: SOT 1934512 SOS 1225445 HAS SOPS 1225445 HAS SOUS 741661 HAS SOUPS 741661 WITH SCORE 742886.445
AT ITER 765 NEW BEST:: SOT 1934218 SOS 1225151 HAS SOPS 1225151 HAS SOUS 741661 HAS SOUPS 741661 WITH SCORE 742886.151
AT ITER 770 NEW BEST:: SOT 1934218 SOS 1225150 HAS SOPS 1225150 HAS SOUS 741660 HAS SOUPS 741660 WITH SCORE 742885.15
AT ITER 771 NEW BEST:: SOT 1934444 SOS 1221442 HAS SOPS 1221442 HAS SOUS 741553 HAS SOUPS 741553 WITH SCORE 742774.442
AT ITER 772 NEW BEST:: SOT 1934377 SOS 1221375 HAS SOPS 1221375 HAS SOUS 741485 HAS SOUPS 741485 WITH SCORE 742706.375
AT ITER 775 NEW BEST:: SOT 1934211 SOS 1221209 HAS SOPS 1221209 HAS SOUS 741466 HAS SOUPS 741466 WITH SCORE 742687.209
AT ITER 777 NEW BEST:: SOT 1925916 SOS 1212984 HAS SOPS 1212984 HAS SOUS 732341 HAS SOUPS 732341 WITH SCORE 733553.984
AT ITER 778 NEW BEST:: SOT 1913419 SOS 1200487 HAS SOPS 1200487 HAS SOUS 719844 HAS SOUPS 719844 WITH SCORE 721044.487
AT ITER 783 NEW BEST:: SOT 1913419 SOS 1199804 HAS SOPS 1199804 HAS SOUS 719556 HAS SOUPS 719556 WITH SCORE 720755.804
AT ITER 790 NEW BEST:: SOT 1913339 SOS 1199244 HAS SOPS 1199244 HAS SOUS 719396 HAS SOUPS 719396 WITH SCORE 720595.244
AT ITER 805 NEW BEST:: SOT 1913193 SOS 1199379 HAS SOPS 1199379 HAS SOUS 719385 HAS SOUPS 719385 WITH SCORE 720584.379
AT ITER 806 NEW BEST:: SOT 1912744 SOS 1198929 HAS SOPS 1198929 HAS SOUS 719384 HAS SOUPS 719384 WITH SCORE 720582.929
AT ITER 809 NEW BEST:: SOT 1913044 SOS 1199336 HAS SOPS 1199336 HAS SOUS 718890 HAS SOUPS 718890 WITH SCORE 720089.336
AT ITER 812 NEW BEST:: SOT 1909963 SOS 1196255 HAS SOPS 1196255 HAS SOUS 715809 HAS SOUPS 715809 WITH SCORE 717005.255
AT ITER 813 NEW BEST:: SOT 1909963 SOS 1196302 HAS SOPS 1196302 HAS SOUS 715773 HAS SOUPS 715773 WITH SCORE 716969.302
AT ITER 839 NEW BEST:: SOT 1909418 SOS 1194706 HAS SOPS 1194706 HAS SOUS 714683 HAS SOUPS 714683 WITH SCORE 715877.706
AT ITER 845 NEW BEST:: SOT 1909315 SOS 1194602 HAS SOPS 1194602 HAS SOUS 714579 HAS SOUPS 714579 WITH SCORE 715773.602
AT ITER 847 NEW BEST:: SOT 1909326 SOS 1193971 HAS SOPS 1193971 HAS SOUS 714010 HAS SOUPS 714010 WITH SCORE 715203.971
AT ITER 849 NEW BEST:: SOT 1908641 SOS 1193279 HAS SOPS 1193279 HAS SOUS 713318 HAS SOUPS 713318 WITH SCORE 714511.279
AT ITER 857 NEW BEST:: SOT 1890165 SOS 1173051 HAS SOPS 1173051 HAS SOUS 693863 HAS SOUPS 693863 WITH SCORE 695036.051
AT ITER 862 NEW BEST:: SOT 1889213 SOS 1172248 HAS SOPS 1172248 HAS SOUS 692813 HAS SOUPS 692813 WITH SCORE 693985.248
AT ITER 864 NEW BEST:: SOT 1889207 SOS 1172242 HAS SOPS 1172242 HAS SOUS 692807 HAS SOUPS 692807 WITH SCORE 693979.242
AT ITER 874 NEW BEST:: SOT 1889039 SOS 1172529 HAS SOPS 1172529 HAS SOUS 692512 HAS SOUPS 692512 WITH SCORE 693684.529
AT ITER 875 NEW BEST:: SOT 1888929 SOS 1172419 HAS SOPS 1172419 HAS SOUS 692144 HAS SOUPS 692144 WITH SCORE 693316.419
AT ITER 883 NEW BEST:: SOT 1888621 SOS 1171612 HAS SOPS 1171612 HAS SOUS 692044 HAS SOUPS 692044 WITH SCORE 693215.612
AT ITER 884 NEW BEST:: SOT 1888620 SOS 1172876 HAS SOPS 1172876 HAS SOUS 692042 HAS SOUPS 692042 WITH SCORE 693214.876
AT ITER 890 NEW BEST:: SOT 1888328 SOS 1172584 HAS SOPS 1172584 HAS SOUS 691441 HAS SOUPS 691441 WITH SCORE 692613.584
AT ITER 896 NEW BEST:: SOT 1888150 SOS 1172406 HAS SOPS 1172406 HAS SOUS 691439 HAS SOUPS 691439 WITH SCORE 692611.406
AT ITER 900 NEW BEST:: SOT 1888139 SOS 1171055 HAS SOPS 1171055 HAS SOUS 691417 HAS SOUPS 691417 WITH SCORE 692588.055
AT ITER 912 NEW BEST:: SOT 1880539 SOS 1167706 HAS SOPS 1167706 HAS SOUS 684693 HAS SOUPS 684693 WITH SCORE 685860.706
AT ITER 914 NEW BEST:: SOT 1880547 SOS 1167714 HAS SOPS 1167714 HAS SOUS 684690 HAS SOUPS 684690 WITH SCORE 685857.714
AT ITER 932 NEW BEST:: SOT 1880361 SOS 1167495 HAS SOPS 1167495 HAS SOUS 684473 HAS SOUPS 684473 WITH SCORE 685640.495
AT ITER 934 NEW BEST:: SOT 1880311 SOS 1167445 HAS SOPS 1167445 HAS SOUS 684439 HAS SOUPS 684439 WITH SCORE 685606.445
AT ITER 935 NEW BEST:: SOT 1877845 SOS 1165841 HAS SOPS 1165841 HAS SOUS 682100 HAS SOUPS 682100 WITH SCORE 683265.841
AT ITER 936 NEW BEST:: SOT 1877993 SOS 1165841 HAS SOPS 1165841 HAS SOUS 681952 HAS SOUPS 681952 WITH SCORE 683117.841
AT ITER 940 NEW BEST:: SOT 1877414 SOS 1164504 HAS SOPS 1164504 HAS SOUS 681148 HAS SOUPS 681148 WITH SCORE 682312.504
AT ITER 945 NEW BEST:: SOT 1877414 SOS 1163858 HAS SOPS 1163858 HAS SOUS 680502 HAS SOUPS 680502 WITH SCORE 681665.858
AT ITER 946 NEW BEST:: SOT 1877596 SOS 1163892 HAS SOPS 1163892 HAS SOUS 680355 HAS SOUPS 680355 WITH SCORE 681518.892
AT ITER 947 NEW BEST:: SOT 1876503 SOS 1162799 HAS SOPS 1162799 HAS SOUS 679262 HAS SOUPS 679262 WITH SCORE 680424.799
AT ITER 948 NEW BEST:: SOT 1876451 SOS 1162695 HAS SOPS 1162695 HAS SOUS 679158 HAS SOUPS 679158 WITH SCORE 680320.695
AT ITER 949 NEW BEST:: SOT 1876149 SOS 1162371 HAS SOPS 1162371 HAS SOUS 678612 HAS SOUPS 678612 WITH SCORE 679774.371
AT ITER 954 NEW BEST:: SOT 1876794 SOS 1162143 HAS SOPS 1162143 HAS SOUS 677952 HAS SOUPS 677952 WITH SCORE 679114.143
AT ITER 956 NEW BEST:: SOT 1876794 SOS 1162100 HAS SOPS 1162100 HAS SOUS 677827 HAS SOUPS 677827 WITH SCORE 678989.1
AT ITER 961 NEW BEST:: SOT 1876794 SOS 1162510 HAS SOPS 1162510 HAS SOUS 677622 HAS SOUPS 677622 WITH SCORE 678784.51
AT ITER 964 NEW BEST:: SOT 1876772 SOS 1162488 HAS SOPS 1162488 HAS SOUS 677622 HAS SOUPS 677622 WITH SCORE 678784.488
AT ITER 967 NEW BEST:: SOT 1876771 SOS 1162407 HAS SOPS 1162407 HAS SOUS 677620 HAS SOUPS 677620 WITH SCORE 678782.407
AT ITER 974 NEW BEST:: SOT 1875304 SOS 1160940 HAS SOPS 1160940 HAS SOUS 675702 HAS SOUPS 675702 WITH SCORE 676862.94
AT ITER 976 NEW BEST:: SOT 1875625 SOS 1160847 HAS SOPS 1160847 HAS SOUS 674778 HAS SOUPS 674778 WITH SCORE 675938.847
AT ITER 985 NEW BEST:: SOT 1875509 SOS 1160499 HAS SOPS 1160499 HAS SOUS 674544 HAS SOUPS 674544 WITH SCORE 675704.499
AT ITER 987 NEW BEST:: SOT 1875387 SOS 1160377 HAS SOPS 1160377 HAS SOUS 674422 HAS SOUPS 674422 WITH SCORE 675582.377
AT ITER 1006 NEW BEST:: SOT 1873572 SOS 1165840 HAS SOPS 1165840 HAS SOUS 674126 HAS SOUPS 674126 WITH SCORE 675291.84
AT ITER 1013 NEW BEST:: SOT 1873452 SOS 1165706 HAS SOPS 1165706 HAS SOUS 674112 HAS SOUPS 674112 WITH SCORE 675277.706
AT ITER 1018 NEW BEST:: SOT 1872934 SOS 1165524 HAS SOPS 1165524 HAS SOUS 673426 HAS SOUPS 673426 WITH SCORE 674591.524
AT ITER 1031 NEW BEST:: SOT 1872934 SOS 1165130 HAS SOPS 1165130 HAS SOUS 673386 HAS SOUPS 673386 WITH SCORE 674551.13
AT ITER 1039 NEW BEST:: SOT 1872267 SOS 1160248 HAS SOPS 1160248 HAS SOUS 671463 HAS SOUPS 671463 WITH SCORE 672623.248
AT ITER 1046 NEW BEST:: SOT 1872088 SOS 1159890 HAS SOPS 1159890 HAS SOUS 671095 HAS SOUPS 671095 WITH SCORE 672254.89
AT ITER 1047 NEW BEST:: SOT 1871428 SOS 1159350 HAS SOPS 1159350 HAS SOUS 670942 HAS SOUPS 670942 WITH SCORE 672101.35
AT ITER 1067 NEW BEST:: SOT 1871797 SOS 1159349 HAS SOPS 1159349 HAS SOUS 670940 HAS SOUPS 670940 WITH SCORE 672099.349
AT ITER 1069 NEW BEST:: SOT 1871541 SOS 1159753 HAS SOPS 1159753 HAS SOUS 670494 HAS SOUPS 670494 WITH SCORE 671653.753
AT ITER 1074 NEW BEST:: SOT 1871524 SOS 1159736 HAS SOPS 1159736 HAS SOUS 670477 HAS SOUPS 670477 WITH SCORE 671636.736
AT ITER 1076 NEW BEST:: SOT 1871524 SOS 1159044 HAS SOPS 1159044 HAS SOUS 669785 HAS SOUPS 669785 WITH SCORE 670944.044
AT ITER 1078 NEW BEST:: SOT 1871484 SOS 1158957 HAS SOPS 1158957 HAS SOUS 669738 HAS SOUPS 669738 WITH SCORE 670896.957
AT ITER 1087 NEW BEST:: SOT 1870591 SOS 1158264 HAS SOPS 1158264 HAS SOUS 669039 HAS SOUPS 669039 WITH SCORE 670197.264
AT ITER 1092 NEW BEST:: SOT 1870591 SOS 1157123 HAS SOPS 1157123 HAS SOUS 668876 HAS SOUPS 668876 WITH SCORE 670033.123
AT ITER 1095 NEW BEST:: SOT 1867325 SOS 1153857 HAS SOPS 1153857 HAS SOUS 665609 HAS SOUPS 665609 WITH SCORE 666762.857
AT ITER 1104 NEW BEST:: SOT 1866828 SOS 1153360 HAS SOPS 1153360 HAS SOUS 665111 HAS SOUPS 665111 WITH SCORE 666264.36
AT ITER 1105 NEW BEST:: SOT 1860613 SOS 1151770 HAS SOPS 1151770 HAS SOUS 660156 HAS SOUPS 660156 WITH SCORE 661307.77
AT ITER 1106 NEW BEST:: SOT 1861004 SOS 1151061 HAS SOPS 1151061 HAS SOUS 659891 HAS SOUPS 659891 WITH SCORE 661042.061
AT ITER 1107 NEW BEST:: SOT 1859315 SOS 1151221 HAS SOPS 1151221 HAS SOUS 658713 HAS SOUPS 658713 WITH SCORE 659864.221
AT ITER 1110 NEW BEST:: SOT 1859315 SOS 1151221 HAS SOPS 1151221 HAS SOUS 658706 HAS SOUPS 658706 WITH SCORE 659857.221
AT ITER 1114 NEW BEST:: SOT 1859313 SOS 1151187 HAS SOPS 1151187 HAS SOUS 658698 HAS SOUPS 658698 WITH SCORE 659849.187
AT ITER 1116 NEW BEST:: SOT 1859312 SOS 1150419 HAS SOPS 1150419 HAS SOUS 658399 HAS SOUPS 658399 WITH SCORE 659549.419
AT ITER 1143 NEW BEST:: SOT 1859532 SOS 1149506 HAS SOPS 1149506 HAS SOUS 658366 HAS SOUPS 658366 WITH SCORE 659515.506
AT ITER 1145 NEW BEST:: SOT 1859125 SOS 1148878 HAS SOPS 1148878 HAS SOUS 657991 HAS SOUPS 657991 WITH SCORE 659139.878
AT ITER 1147 NEW BEST:: SOT 1858990 SOS 1148089 HAS SOPS 1148089 HAS SOUS 657335 HAS SOUPS 657335 WITH SCORE 658483.089
AT ITER 1172 NEW BEST:: SOT 1858990 SOS 1146896 HAS SOPS 1146896 HAS SOUS 656153 HAS SOUPS 656153 WITH SCORE 657299.896
AT ITER 1178 NEW BEST:: SOT 1856053 SOS 1143958 HAS SOPS 1143958 HAS SOUS 653214 HAS SOUPS 653214 WITH SCORE 654357.958
AT ITER 1198 NEW BEST:: SOT 1855946 SOS 1143744 HAS SOPS 1143744 HAS SOUS 653000 HAS SOUPS 653000 WITH SCORE 654143.744
AT ITER 1200 NEW BEST:: SOT 1855783 SOS 1142890 HAS SOPS 1142890 HAS SOUS 652620 HAS SOUPS 652620 WITH SCORE 653762.89
AT ITER 1207 NEW BEST:: SOT 1855783 SOS 1142890 HAS SOPS 1142890 HAS SOUS 652516 HAS SOUPS 652516 WITH SCORE 653658.89
AT ITER 1212 NEW BEST:: SOT 1856019 SOS 1142823 HAS SOPS 1142823 HAS SOUS 651969 HAS SOUPS 651969 WITH SCORE 653111.823
AT ITER 1224 NEW BEST:: SOT 1856015 SOS 1142790 HAS SOPS 1142790 HAS SOUS 651967 HAS SOUPS 651967 WITH SCORE 653109.79
AT ITER 1227 NEW BEST:: SOT 1856015 SOS 1142406 HAS SOPS 1142406 HAS SOUS 651583 HAS SOUPS 651583 WITH SCORE 652725.406
AT ITER 1232 NEW BEST:: SOT 1856007 SOS 1142398 HAS SOPS 1142398 HAS SOUS 651567 HAS SOUPS 651567 WITH SCORE 652709.398
AT ITER 1233 NEW BEST:: SOT 1855875 SOS 1142002 HAS SOPS 1142002 HAS SOUS 651171 HAS SOUPS 651171 WITH SCORE 652313.002
AT ITER 1246 NEW BEST:: SOT 1855386 SOS 1140296 HAS SOPS 1140296 HAS SOUS 649465 HAS SOUPS 649465 WITH SCORE 650605.296
AT ITER 1249 NEW BEST:: SOT 1854962 SOS 1138813 HAS SOPS 1138813 HAS SOUS 649012 HAS SOUPS 649012 WITH SCORE 650150.813
AT ITER 1265 NEW BEST:: SOT 1854962 SOS 1138633 HAS SOPS 1138633 HAS SOUS 649011 HAS SOUPS 649011 WITH SCORE 650149.633
AT ITER 1269 NEW BEST:: SOT 1854696 SOS 1135175 HAS SOPS 1135175 HAS SOUS 648213 HAS SOUPS 648213 WITH SCORE 649348.175
AT ITER 1274 NEW BEST:: SOT 1854696 SOS 1135194 HAS SOPS 1135194 HAS SOUS 648211 HAS SOUPS 648211 WITH SCORE 649346.194
AT ITER 1287 NEW BEST:: SOT 1854696 SOS 1135191 HAS SOPS 1135191 HAS SOUS 648209 HAS SOUPS 648209 WITH SCORE 649344.191
AT ITER 1291 NEW BEST:: SOT 1854408 SOS 1134903 HAS SOPS 1134903 HAS SOUS 647651 HAS SOUPS 647651 WITH SCORE 648785.903
AT ITER 1296 NEW BEST:: SOT 1853555 SOS 1136623 HAS SOPS 1136623 HAS SOUS 647239 HAS SOUPS 647239 WITH SCORE 648375.623
AT ITER 1301 NEW BEST:: SOT 1851562 SOS 1134629 HAS SOPS 1134629 HAS SOUS 645245 HAS SOUPS 645245 WITH SCORE 646379.629
AT ITER 1305 NEW BEST:: SOT 1845996 SOS 1129063 HAS SOPS 1129063 HAS SOUS 639679 HAS SOUPS 639679 WITH SCORE 640808.063
AT ITER 1308 NEW BEST:: SOT 1845913 SOS 1128980 HAS SOPS 1128980 HAS SOUS 639596 HAS SOUPS 639596 WITH SCORE 640724.98
AT ITER 1311 NEW BEST:: SOT 1845913 SOS 1128665 HAS SOPS 1128665 HAS SOUS 639570 HAS SOUPS 639570 WITH SCORE 640698.665
AT ITER 1325 NEW BEST:: SOT 1845913 SOS 1128567 HAS SOPS 1128567 HAS SOUS 639570 HAS SOUPS 639570 WITH SCORE 640698.567
AT ITER 1330 NEW BEST:: SOT 1845550 SOS 1127024 HAS SOPS 1127024 HAS SOUS 638817 HAS SOUPS 638817 WITH SCORE 639944.024
AT ITER 1339 NEW BEST:: SOT 1844537 SOS 1126011 HAS SOPS 1126011 HAS SOUS 637804 HAS SOUPS 637804 WITH SCORE 638930.011
AT ITER 1347 NEW BEST:: SOT 1844519 SOS 1124739 HAS SOPS 1124739 HAS SOUS 637206 HAS SOUPS 637206 WITH SCORE 638330.739
AT ITER 1352 NEW BEST:: SOT 1844248 SOS 1124468 HAS SOPS 1124468 HAS SOUS 636935 HAS SOUPS 636935 WITH SCORE 638059.468
AT ITER 1393 NEW BEST:: SOT 1832339 SOS 1112559 HAS SOPS 1112559 HAS SOUS 625025 HAS SOUPS 625025 WITH SCORE 626137.559
AT ITER 1396 NEW BEST:: SOT 1832274 SOS 1112494 HAS SOPS 1112494 HAS SOUS 624960 HAS SOUPS 624960 WITH SCORE 626072.494
AT ITER 1397 NEW BEST:: SOT 1832113 SOS 1112333 HAS SOPS 1112333 HAS SOUS 624799 HAS SOUPS 624799 WITH SCORE 625911.333
AT ITER 1410 NEW BEST:: SOT 1831468 SOS 1113260 HAS SOPS 1113260 HAS SOUS 624548 HAS SOUPS 624548 WITH SCORE 625661.26
AT ITER 1423 NEW BEST:: SOT 1831501 SOS 1113174 HAS SOPS 1113174 HAS SOUS 624462 HAS SOUPS 624462 WITH SCORE 625575.174
AT ITER 1424 NEW BEST:: SOT 1830468 SOS 1115068 HAS SOPS 1115068 HAS SOUS 623207 HAS SOUPS 623207 WITH SCORE 624322.068
AT ITER 1456 NEW BEST:: SOT 1830468 SOS 1114774 HAS SOPS 1114774 HAS SOUS 623207 HAS SOUPS 623207 WITH SCORE 624321.774
AT ITER 1467 NEW BEST:: SOT 1830083 SOS 1114389 HAS SOPS 1114389 HAS SOUS 622822 HAS SOUPS 622822 WITH SCORE 623936.389
AT ITER 1493 NEW BEST:: SOT 1830013 SOS 1114309 HAS SOPS 1114309 HAS SOUS 622742 HAS SOUPS 622742 WITH SCORE 623856.309
AT ITER 1497 NEW BEST:: SOT 1829758 SOS 1113395 HAS SOPS 1113395 HAS SOUS 622204 HAS SOUPS 622204 WITH SCORE 623317.395
AT ITER 1508 NEW BEST:: SOT 1829754 SOS 1113391 HAS SOPS 1113391 HAS SOUS 622200 HAS SOUPS 622200 WITH SCORE 623313.391
AT ITER 1514 NEW BEST:: SOT 1829734 SOS 1113069 HAS SOPS 1113069 HAS SOUS 621722 HAS SOUPS 621722 WITH SCORE 622835.069
AT ITER 1519 NEW BEST:: SOT 1829733 SOS 1112114 HAS SOPS 1112114 HAS SOUS 621716 HAS SOUPS 621716 WITH SCORE 622828.114
AT ITER 1526 NEW BEST:: SOT 1830230 SOS 1111762 HAS SOPS 1111762 HAS SOUS 618084 HAS SOUPS 618084 WITH SCORE 619195.762
AT ITER 1530 NEW BEST:: SOT 1829621 SOS 1111153 HAS SOPS 1111153 HAS SOUS 617475 HAS SOUPS 617475 WITH SCORE 618586.153
AT ITER 1534 NEW BEST:: SOT 1829620 SOS 1111152 HAS SOPS 1111152 HAS SOUS 617473 HAS SOUPS 617473 WITH SCORE 618584.152
AT ITER 1535 NEW BEST:: SOT 1829648 SOS 1110165 HAS SOPS 1110165 HAS SOUS 616457 HAS SOUPS 616457 WITH SCORE 617567.165
AT ITER 1558 NEW BEST:: SOT 1824929 SOS 1105446 HAS SOPS 1105446 HAS SOUS 611738 HAS SOUPS 611738 WITH SCORE 612843.446
AT ITER 1565 NEW BEST:: SOT 1824699 SOS 1105216 HAS SOPS 1105216 HAS SOUS 611508 HAS SOUPS 611508 WITH SCORE 612613.216
AT ITER 1569 NEW BEST:: SOT 1824605 SOS 1105122 HAS SOPS 1105122 HAS SOUS 611414 HAS SOUPS 611414 WITH SCORE 612519.122
AT ITER 1574 NEW BEST:: SOT 1824672 SOS 1103764 HAS SOPS 1103764 HAS SOUS 610056 HAS SOUPS 610056 WITH SCORE 611159.764
AT ITER 1578 NEW BEST:: SOT 1824109 SOS 1102323 HAS SOPS 1102323 HAS SOUS 608930 HAS SOUPS 608930 WITH SCORE 610032.323
AT ITER 1585 NEW BEST:: SOT 1823436 SOS 1100856 HAS SOPS 1100856 HAS SOUS 607584 HAS SOUPS 607584 WITH SCORE 608684.856
AT ITER 1606 NEW BEST:: SOT 1823399 SOS 1100856 HAS SOPS 1100856 HAS SOUS 607537 HAS SOUPS 607537 WITH SCORE 608637.856
AT ITER 1609 NEW BEST:: SOT 1823058 SOS 1100515 HAS SOPS 1100515 HAS SOUS 607195 HAS SOUPS 607195 WITH SCORE 608295.515
AT ITER 1618 NEW BEST:: SOT 1823052 SOS 1100509 HAS SOPS 1100509 HAS SOUS 607187 HAS SOUPS 607187 WITH SCORE 608287.509
AT ITER 1619 NEW BEST:: SOT 1822837 SOS 1099642 HAS SOPS 1099642 HAS SOUS 606925 HAS SOUPS 606925 WITH SCORE 608024.642
AT ITER 1620 NEW BEST:: SOT 1822776 SOS 1099581 HAS SOPS 1099581 HAS SOUS 606864 HAS SOUPS 606864 WITH SCORE 607963.581
AT ITER 1628 NEW BEST:: SOT 1822572 SOS 1099348 HAS SOPS 1099348 HAS SOUS 606799 HAS SOUPS 606799 WITH SCORE 607898.348
AT ITER 1652 NEW BEST:: SOT 1822572 SOS 1099500 HAS SOPS 1099500 HAS SOUS 606616 HAS SOUPS 606616 WITH SCORE 607715.5
AT ITER 1654 NEW BEST:: SOT 1822488 SOS 1099416 HAS SOPS 1099416 HAS SOUS 606532 HAS SOUPS 606532 WITH SCORE 607631.416
AT ITER 1661 NEW BEST:: SOT 1822490 SOS 1099437 HAS SOPS 1099437 HAS SOUS 606263 HAS SOUPS 606263 WITH SCORE 607362.437
AT ITER 1676 NEW BEST:: SOT 1822489 SOS 1099326 HAS SOPS 1099326 HAS SOUS 606151 HAS SOUPS 606151 WITH SCORE 607250.326
AT ITER 1678 NEW BEST:: SOT 1822321 SOS 1098163 HAS SOPS 1098163 HAS SOUS 605778 HAS SOUPS 605778 WITH SCORE 606876.163
AT ITER 1708 NEW BEST:: SOT 1822150 SOS 1098014 HAS SOPS 1098014 HAS SOUS 605778 HAS SOUPS 605778 WITH SCORE 606876.014
AT ITER 1715 NEW BEST:: SOT 1822150 SOS 1097794 HAS SOPS 1097794 HAS SOUS 605760 HAS SOUPS 605760 WITH SCORE 606857.794
AT ITER 1720 NEW BEST:: SOT 1821129 SOS 1096836 HAS SOPS 1096836 HAS SOUS 604544 HAS SOUPS 604544 WITH SCORE 605640.836
AT ITER 1734 NEW BEST:: SOT 1821127 SOS 1096597 HAS SOPS 1096597 HAS SOUS 604380 HAS SOUPS 604380 WITH SCORE 605476.597
AT ITER 1735 NEW BEST:: SOT 1821048 SOS 1097210 HAS SOPS 1097210 HAS SOUS 604377 HAS SOUPS 604377 WITH SCORE 605474.21
AT ITER 1742 NEW BEST:: SOT 1820577 SOS 1095609 HAS SOPS 1095609 HAS SOUS 603435 HAS SOUPS 603435 WITH SCORE 604530.609
AT ITER 1751 NEW BEST:: SOT 1820577 SOS 1095473 HAS SOPS 1095473 HAS SOUS 603299 HAS SOUPS 603299 WITH SCORE 604394.473
AT ITER 1752 NEW BEST:: SOT 1820420 SOS 1094773 HAS SOPS 1094773 HAS SOUS 602985 HAS SOUPS 602985 WITH SCORE 604079.773
AT ITER 1788 NEW BEST:: SOT 1818411 SOS 1094602 HAS SOPS 1094602 HAS SOUS 601833 HAS SOUPS 601833 WITH SCORE 602927.602
AT ITER 1800 NEW BEST:: SOT 1817426 SOS 1092803 HAS SOPS 1092803 HAS SOUS 600888 HAS SOUPS 600888 WITH SCORE 601980.803
AT ITER 1803 NEW BEST:: SOT 1817136 SOS 1092513 HAS SOPS 1092513 HAS SOUS 600350 HAS SOUPS 600350 WITH SCORE 601442.513
AT ITER 1804 NEW BEST:: SOT 1816991 SOS 1091424 HAS SOPS 1091424 HAS SOUS 599964 HAS SOUPS 599964 WITH SCORE 601055.424
AT ITER 1818 NEW BEST:: SOT 1816881 SOS 1091314 HAS SOPS 1091314 HAS SOUS 599876 HAS SOUPS 599876 WITH SCORE 600967.314
AT ITER 1820 NEW BEST:: SOT 1816187 SOS 1090418 HAS SOPS 1090418 HAS SOUS 599393 HAS SOUPS 599393 WITH SCORE 600483.418
AT ITER 1826 NEW BEST:: SOT 1815105 SOS 1085934 HAS SOPS 1085934 HAS SOUS 596429 HAS SOUPS 596429 WITH SCORE 597514.934
AT ITER 1829 NEW BEST:: SOT 1814820 SOS 1085887 HAS SOPS 1085887 HAS SOUS 596412 HAS SOUPS 596412 WITH SCORE 597497.887
AT ITER 1830 NEW BEST:: SOT 1814376 SOS 1084999 HAS SOPS 1084999 HAS SOUS 595857 HAS SOUPS 595857 WITH SCORE 596941.999
AT ITER 1840 NEW BEST:: SOT 1814376 SOS 1084613 HAS SOPS 1084613 HAS SOUS 595546 HAS SOUPS 595546 WITH SCORE 596630.613
AT ITER 1848 NEW BEST:: SOT 1814018 SOS 1084017 HAS SOPS 1084017 HAS SOUS 595007 HAS SOUPS 595007 WITH SCORE 596091.017
AT ITER 1852 NEW BEST:: SOT 1814017 SOS 1084016 HAS SOPS 1084016 HAS SOUS 595005 HAS SOUPS 595005 WITH SCORE 596089.016
AT ITER 1855 NEW BEST:: SOT 1813381 SOS 1083380 HAS SOPS 1083380 HAS SOUS 594818 HAS SOUPS 594818 WITH SCORE 595901.38
AT ITER 1858 NEW BEST:: SOT 1813381 SOS 1083030 HAS SOPS 1083030 HAS SOUS 594818 HAS SOUPS 594818 WITH SCORE 595901.03
AT ITER 1862 NEW BEST:: SOT 1813019 SOS 1082946 HAS SOPS 1082946 HAS SOUS 594155 HAS SOUPS 594155 WITH SCORE 595237.946
AT ITER 1867 NEW BEST:: SOT 1813053 SOS 1082604 HAS SOPS 1082604 HAS SOUS 593608 HAS SOUPS 593608 WITH SCORE 594690.604
AT ITER 1876 NEW BEST:: SOT 1812761 SOS 1082020 HAS SOPS 1082020 HAS SOUS 593465 HAS SOUPS 593465 WITH SCORE 594547.02
AT ITER 1880 NEW BEST:: SOT 1812595 SOS 1081331 HAS SOPS 1081331 HAS SOUS 593303 HAS SOUPS 593303 WITH SCORE 594384.331
AT ITER 1888 NEW BEST:: SOT 1811729 SOS 1079877 HAS SOPS 1079877 HAS SOUS 592705 HAS SOUPS 592705 WITH SCORE 593784.877
AT ITER 1893 NEW BEST:: SOT 1811729 SOS 1080310 HAS SOPS 1080310 HAS SOUS 592703 HAS SOUPS 592703 WITH SCORE 593783.31
AT ITER 1896 NEW BEST:: SOT 1811386 SOS 1079933 HAS SOPS 1079933 HAS SOUS 592245 HAS SOUPS 592245 WITH SCORE 593324.933
AT ITER 1914 NEW BEST:: SOT 1811386 SOS 1079860 HAS SOPS 1079860 HAS SOUS 592115 HAS SOUPS 592115 WITH SCORE 593194.86
AT ITER 1929 NEW BEST:: SOT 1811349 SOS 1079614 HAS SOPS 1079614 HAS SOUS 592064 HAS SOUPS 592064 WITH SCORE 593143.614
AT ITER 1952 NEW BEST:: SOT 1811099 SOS 1078372 HAS SOPS 1078372 HAS SOUS 591418 HAS SOUPS 591418 WITH SCORE 592496.372
AT ITER 1956 NEW BEST:: SOT 1811058 SOS 1078331 HAS SOPS 1078331 HAS SOUS 591377 HAS SOUPS 591377 WITH SCORE 592455.331
AT ITER 1991 NEW BEST:: SOT 1810778 SOS 1078051 HAS SOPS 1078051 HAS SOUS 591095 HAS SOUPS 591095 WITH SCORE 592173.051
AT ITER 2009 NEW BEST:: SOT 1810665 SOS 1077505 HAS SOPS 1077505 HAS SOUS 590891 HAS SOUPS 590891 WITH SCORE 591968.505
AT ITER 2010 NEW BEST:: SOT 1810187 SOS 1076731 HAS SOPS 1076731 HAS SOUS 590450 HAS SOUPS 590450 WITH SCORE 591526.731
AT ITER 2012 NEW BEST:: SOT 1809779 SOS 1076229 HAS SOPS 1076229 HAS SOUS 589948 HAS SOUPS 589948 WITH SCORE 591024.229
AT ITER 2015 NEW BEST:: SOT 1809567 SOS 1076017 HAS SOPS 1076017 HAS SOUS 589853 HAS SOUPS 589853 WITH SCORE 590929.017
AT ITER 2018 NEW BEST:: SOT 1809567 SOS 1075447 HAS SOPS 1075447 HAS SOUS 589283 HAS SOUPS 589283 WITH SCORE 590358.447
AT ITER 2040 NEW BEST:: SOT 1809420 SOS 1075300 HAS SOPS 1075300 HAS SOUS 589007 HAS SOUPS 589007 WITH SCORE 590082.3
AT ITER 2051 NEW BEST:: SOT 1809420 SOS 1072566 HAS SOPS 1072566 HAS SOUS 588243 HAS SOUPS 588243 WITH SCORE 589315.566
AT ITER 2061 NEW BEST:: SOT 1809172 SOS 1072932 HAS SOPS 1072932 HAS SOUS 587869 HAS SOUPS 587869 WITH SCORE 588941.932
AT ITER 2072 NEW BEST:: SOT 1809168 SOS 1072853 HAS SOPS 1072853 HAS SOUS 587857 HAS SOUPS 587857 WITH SCORE 588929.853
AT ITER 2083 NEW BEST:: SOT 1808794 SOS 1072349 HAS SOPS 1072349 HAS SOUS 587353 HAS SOUPS 587353 WITH SCORE 588425.349
AT ITER 2092 NEW BEST:: SOT 1808475 SOS 1072026 HAS SOPS 1072026 HAS SOUS 587029 HAS SOUPS 587029 WITH SCORE 588101.026
AT ITER 2093 NEW BEST:: SOT 1808357 SOS 1071899 HAS SOPS 1071899 HAS SOUS 586902 HAS SOUPS 586902 WITH SCORE 587973.899
AT ITER 2096 NEW BEST:: SOT 1808286 SOS 1071828 HAS SOPS 1071828 HAS SOUS 586831 HAS SOUPS 586831 WITH SCORE 587902.828
AT ITER 2109 NEW BEST:: SOT 1807934 SOS 1071069 HAS SOPS 1071069 HAS SOUS 586127 HAS SOUPS 586127 WITH SCORE 587198.069
AT ITER 2111 NEW BEST:: SOT 1807934 SOS 1070920 HAS SOPS 1070920 HAS SOUS 585978 HAS SOUPS 585978 WITH SCORE 587048.92
AT ITER 2118 NEW BEST:: SOT 1807934 SOS 1070587 HAS SOPS 1070587 HAS SOUS 585867 HAS SOUPS 585867 WITH SCORE 586937.587
AT ITER 2122 NEW BEST:: SOT 1807961 SOS 1070583 HAS SOPS 1070583 HAS SOUS 585863 HAS SOUPS 585863 WITH SCORE 586933.583
AT ITER 2126 NEW BEST:: SOT 1807256 SOS 1071652 HAS SOPS 1071652 HAS SOUS 584993 HAS SOUPS 584993 WITH SCORE 586064.652
AT ITER 2140 NEW BEST:: SOT 1807313 SOS 1071418 HAS SOPS 1071418 HAS SOUS 584902 HAS SOUPS 584902 WITH SCORE 585973.418
AT ITER 2152 NEW BEST:: SOT 1807306 SOS 1071408 HAS SOPS 1071408 HAS SOUS 584892 HAS SOUPS 584892 WITH SCORE 585963.408
AT ITER 2167 NEW BEST:: SOT 1807306 SOS 1071399 HAS SOPS 1071399 HAS SOUS 584883 HAS SOUPS 584883 WITH SCORE 585954.399
AT ITER 2168 NEW BEST:: SOT 1807198 SOS 1071291 HAS SOPS 1071291 HAS SOUS 584775 HAS SOUPS 584775 WITH SCORE 585846.291
AT ITER 2173 NEW BEST:: SOT 1807155 SOS 1070642 HAS SOPS 1070642 HAS SOUS 584554 HAS SOUPS 584554 WITH SCORE 585624.642
AT ITER 2177 NEW BEST:: SOT 1807063 SOS 1070477 HAS SOPS 1070477 HAS SOUS 584462 HAS SOUPS 584462 WITH SCORE 585532.477
AT ITER 2181 NEW BEST:: SOT 1807010 SOS 1070415 HAS SOPS 1070415 HAS SOUS 584453 HAS SOUPS 584453 WITH SCORE 585523.415
AT ITER 2189 NEW BEST:: SOT 1807010 SOS 1070421 HAS SOPS 1070421 HAS SOUS 584447 HAS SOUPS 584447 WITH SCORE 585517.421
AT ITER 2190 NEW BEST:: SOT 1806686 SOS 1069831 HAS SOPS 1069831 HAS SOUS 583857 HAS SOUPS 583857 WITH SCORE 584926.831
AT ITER 2200 NEW BEST:: SOT 1806477 SOS 1069701 HAS SOPS 1069701 HAS SOUS 583792 HAS SOUPS 583792 WITH SCORE 584861.701
AT ITER 2201 NEW BEST:: SOT 1806473 SOS 1069439 HAS SOPS 1069439 HAS SOUS 583520 HAS SOUPS 583520 WITH SCORE 584589.439
AT ITER 2219 NEW BEST:: SOT 1806225 SOS 1069247 HAS SOPS 1069247 HAS SOUS 582554 HAS SOUPS 582554 WITH SCORE 583623.247
AT ITER 2220 NEW BEST:: SOT 1806159 SOS 1069168 HAS SOPS 1069168 HAS SOUS 582442 HAS SOUPS 582442 WITH SCORE 583511.168
AT ITER 2223 NEW BEST:: SOT 1806062 SOS 1069317 HAS SOPS 1069317 HAS SOUS 582127 HAS SOUPS 582127 WITH SCORE 583196.317
AT ITER 2227 NEW BEST:: SOT 1805994 SOS 1068972 HAS SOPS 1068972 HAS SOUS 582025 HAS SOUPS 582025 WITH SCORE 583093.972
AT ITER 2228 NEW BEST:: SOT 1805991 SOS 1068969 HAS SOPS 1068969 HAS SOUS 582014 HAS SOUPS 582014 WITH SCORE 583082.969
AT ITER 2231 NEW BEST:: SOT 1805655 SOS 1068633 HAS SOPS 1068633 HAS SOUS 581678 HAS SOUPS 581678 WITH SCORE 582746.633
AT ITER 2243 NEW BEST:: SOT 1805584 SOS 1068349 HAS SOPS 1068349 HAS SOUS 581650 HAS SOUPS 581650 WITH SCORE 582718.349
AT ITER 2245 NEW BEST:: SOT 1805578 SOS 1068343 HAS SOPS 1068343 HAS SOUS 581644 HAS SOUPS 581644 WITH SCORE 582712.343
AT ITER 2255 NEW BEST:: SOT 1805488 SOS 1068253 HAS SOPS 1068253 HAS SOUS 581554 HAS SOUPS 581554 WITH SCORE 582622.253
AT ITER 2266 NEW BEST:: SOT 1805488 SOS 1068231 HAS SOPS 1068231 HAS SOUS 581532 HAS SOUPS 581532 WITH SCORE 582600.231
AT ITER 2269 NEW BEST:: SOT 1805254 SOS 1067995 HAS SOPS 1067995 HAS SOUS 581296 HAS SOUPS 581296 WITH SCORE 582363.995
AT ITER 2274 NEW BEST:: SOT 1804764 SOS 1067010 HAS SOPS 1067010 HAS SOUS 580311 HAS SOUPS 580311 WITH SCORE 581378.01
AT ITER 2275 NEW BEST:: SOT 1804764 SOS 1066695 HAS SOPS 1066695 HAS SOUS 580219 HAS SOUPS 580219 WITH SCORE 581285.695
AT ITER 2285 NEW BEST:: SOT 1804322 SOS 1066253 HAS SOPS 1066253 HAS SOUS 579777 HAS SOUPS 579777 WITH SCORE 580843.253
AT ITER 2288 NEW BEST:: SOT 1803843 SOS 1065949 HAS SOPS 1065949 HAS SOUS 579473 HAS SOUPS 579473 WITH SCORE 580538.949
AT ITER 2291 NEW BEST:: SOT 1803757 SOS 1065863 HAS SOPS 1065863 HAS SOUS 579350 HAS SOUPS 579350 WITH SCORE 580415.863
AT ITER 2293 NEW BEST:: SOT 1803752 SOS 1065858 HAS SOPS 1065858 HAS SOUS 579350 HAS SOUPS 579350 WITH SCORE 580415.858
AT ITER 2306 NEW BEST:: SOT 1803737 SOS 1065791 HAS SOPS 1065791 HAS SOUS 579283 HAS SOUPS 579283 WITH SCORE 580348.791
AT ITER 2321 NEW BEST:: SOT 1804077 SOS 1065589 HAS SOPS 1065589 HAS SOUS 579081 HAS SOUPS 579081 WITH SCORE 580146.589
AT ITER 2322 NEW BEST:: SOT 1803884 SOS 1065174 HAS SOPS 1065174 HAS SOUS 578666 HAS SOUPS 578666 WITH SCORE 579731.174
AT ITER 2325 NEW BEST:: SOT 1803548 SOS 1064502 HAS SOPS 1064502 HAS SOUS 578414 HAS SOUPS 578414 WITH SCORE 579478.502
AT ITER 2326 NEW BEST:: SOT 1803548 SOS 1064502 HAS SOPS 1064502 HAS SOUS 578379 HAS SOUPS 578379 WITH SCORE 579443.502
AT ITER 2354 NEW BEST:: SOT 1803376 SOS 1064330 HAS SOPS 1064330 HAS SOUS 578190 HAS SOUPS 578190 WITH SCORE 579254.33
AT ITER 2383 NEW BEST:: SOT 1802171 SOS 1064020 HAS SOPS 1064020 HAS SOUS 577334 HAS SOUPS 577334 WITH SCORE 578398.02
AT ITER 2390 NEW BEST:: SOT 1802366 SOS 1063720 HAS SOPS 1063720 HAS SOUS 576220 HAS SOUPS 576220 WITH SCORE 577283.72
AT ITER 2408 NEW BEST:: SOT 1802026 SOS 1063042 HAS SOPS 1063042 HAS SOUS 575542 HAS SOUPS 575542 WITH SCORE 576605.042
AT ITER 2409 NEW BEST:: SOT 1801812 SOS 1062504 HAS SOPS 1062504 HAS SOUS 575049 HAS SOUPS 575049 WITH SCORE 576111.504
AT ITER 2412 NEW BEST:: SOT 1800873 SOS 1059674 HAS SOPS 1059674 HAS SOUS 573772 HAS SOUPS 573772 WITH SCORE 574831.674
AT ITER 2414 NEW BEST:: SOT 1800731 SOS 1059532 HAS SOPS 1059532 HAS SOUS 573630 HAS SOUPS 573630 WITH SCORE 574689.532
AT ITER 2420 NEW BEST:: SOT 1800748 SOS 1059549 HAS SOPS 1059549 HAS SOUS 573606 HAS SOUPS 573606 WITH SCORE 574665.549
AT ITER 2424 NEW BEST:: SOT 1797304 SOS 1056105 HAS SOPS 1056105 HAS SOUS 570162 HAS SOUPS 570162 WITH SCORE 571218.105
AT ITER 2442 NEW BEST:: SOT 1797133 SOS 1055934 HAS SOPS 1055934 HAS SOUS 569991 HAS SOUPS 569991 WITH SCORE 571046.934
AT ITER 2445 NEW BEST:: SOT 1796649 SOS 1055495 HAS SOPS 1055495 HAS SOUS 569394 HAS SOUPS 569394 WITH SCORE 570449.495
AT ITER 2453 NEW BEST:: SOT 1796265 SOS 1055111 HAS SOPS 1055111 HAS SOUS 569010 HAS SOUPS 569010 WITH SCORE 570065.111
AT ITER 2458 NEW BEST:: SOT 1796265 SOS 1055111 HAS SOPS 1055111 HAS SOUS 568982 HAS SOUPS 568982 WITH SCORE 570037.111
AT ITER 2461 NEW BEST:: SOT 1796265 SOS 1055012 HAS SOPS 1055012 HAS SOUS 568883 HAS SOUPS 568883 WITH SCORE 569938.012
AT ITER 2463 NEW BEST:: SOT 1796222 SOS 1054969 HAS SOPS 1054969 HAS SOUS 568797 HAS SOUPS 568797 WITH SCORE 569851.969
AT ITER 2465 NEW BEST:: SOT 1796222 SOS 1054940 HAS SOPS 1054940 HAS SOUS 568797 HAS SOUPS 568797 WITH SCORE 569851.94
AT ITER 2466 NEW BEST:: SOT 1796175 SOS 1054896 HAS SOPS 1054896 HAS SOUS 568444 HAS SOUPS 568444 WITH SCORE 569498.896
AT ITER 2470 NEW BEST:: SOT 1796175 SOS 1054897 HAS SOPS 1054897 HAS SOUS 568295 HAS SOUPS 568295 WITH SCORE 569349.897
AT ITER 2471 NEW BEST:: SOT 1796008 SOS 1055044 HAS SOPS 1055044 HAS SOUS 568285 HAS SOUPS 568285 WITH SCORE 569340.044
AT ITER 2484 NEW BEST:: SOT 1795977 SOS 1055013 HAS SOPS 1055013 HAS SOUS 568254 HAS SOUPS 568254 WITH SCORE 569309.013
AT ITER 2495 NEW BEST:: SOT 1795824 SOS 1054860 HAS SOPS 1054860 HAS SOUS 568254 HAS SOUPS 568254 WITH SCORE 569308.86
AT ITER 2498 NEW BEST:: SOT 1795824 SOS 1054860 HAS SOPS 1054860 HAS SOUS 568234 HAS SOUPS 568234 WITH SCORE 569288.86
AT ITER 2506 NEW BEST:: SOT 1795601 SOS 1054637 HAS SOPS 1054637 HAS SOUS 568045 HAS SOUPS 568045 WITH SCORE 569099.637
AT ITER 2509 NEW BEST:: SOT 1795601 SOS 1054244 HAS SOPS 1054244 HAS SOUS 567499 HAS SOUPS 567499 WITH SCORE 568553.244
AT ITER 2514 NEW BEST:: SOT 1795337 SOS 1053980 HAS SOPS 1053980 HAS SOUS 567235 HAS SOUPS 567235 WITH SCORE 568288.98
AT ITER 2525 NEW BEST:: SOT 1795291 SOS 1053842 HAS SOPS 1053842 HAS SOUS 567143 HAS SOUPS 567143 WITH SCORE 568196.842
AT ITER 2547 NEW BEST:: SOT 1795422 SOS 1053721 HAS SOPS 1053721 HAS SOUS 567133 HAS SOUPS 567133 WITH SCORE 568186.721
AT ITER 2556 NEW BEST:: SOT 1795422 SOS 1053721 HAS SOPS 1053721 HAS SOUS 567108 HAS SOUPS 567108 WITH SCORE 568161.721
AT ITER 2557 NEW BEST:: SOT 1794819 SOS 1053268 HAS SOPS 1053268 HAS SOUS 566759 HAS SOUPS 566759 WITH SCORE 567812.268
AT ITER 2560 NEW BEST:: SOT 1794770 SOS 1053219 HAS SOPS 1053219 HAS SOUS 566757 HAS SOUPS 566757 WITH SCORE 567810.219
AT ITER 2571 NEW BEST:: SOT 1791999 SOS 1050448 HAS SOPS 1050448 HAS SOUS 563986 HAS SOUPS 563986 WITH SCORE 565036.448
AT ITER 2572 NEW BEST:: SOT 1791829 SOS 1048419 HAS SOPS 1048419 HAS SOUS 563667 HAS SOUPS 563667 WITH SCORE 564715.419
AT ITER 2573 NEW BEST:: SOT 1791829 SOS 1047814 HAS SOPS 1047814 HAS SOUS 563326 HAS SOUPS 563326 WITH SCORE 564373.814
AT ITER 2581 NEW BEST:: SOT 1791828 SOS 1047813 HAS SOPS 1047813 HAS SOUS 563324 HAS SOUPS 563324 WITH SCORE 564371.813
AT ITER 2595 NEW BEST:: SOT 1792018 SOS 1047762 HAS SOPS 1047762 HAS SOUS 563273 HAS SOUPS 563273 WITH SCORE 564320.762
AT ITER 2598 NEW BEST:: SOT 1792526 SOS 1047859 HAS SOPS 1047859 HAS SOUS 562984 HAS SOUPS 562984 WITH SCORE 564031.859
AT ITER 2624 NEW BEST:: SOT 1792226 SOS 1047559 HAS SOPS 1047559 HAS SOUS 562684 HAS SOUPS 562684 WITH SCORE 563731.559
AT ITER 2655 NEW BEST:: SOT 1791956 SOS 1047019 HAS SOPS 1047019 HAS SOUS 562144 HAS SOUPS 562144 WITH SCORE 563191.019
AT ITER 2662 NEW BEST:: SOT 1791956 SOS 1046250 HAS SOPS 1046250 HAS SOUS 561694 HAS SOUPS 561694 WITH SCORE 562740.25
AT ITER 2663 NEW BEST:: SOT 1791684 SOS 1046292 HAS SOPS 1046292 HAS SOUS 561465 HAS SOUPS 561465 WITH SCORE 562511.292
AT ITER 2669 NEW BEST:: SOT 1791676 SOS 1046284 HAS SOPS 1046284 HAS SOUS 561456 HAS SOUPS 561456 WITH SCORE 562502.284
AT ITER 2672 NEW BEST:: SOT 1791534 SOS 1043067 HAS SOPS 1043067 HAS SOUS 560871 HAS SOUPS 560871 WITH SCORE 561914.067
AT ITER 2676 NEW BEST:: SOT 1791534 SOS 1043040 HAS SOPS 1043040 HAS SOUS 560871 HAS SOUPS 560871 WITH SCORE 561914.04
AT ITER 2681 NEW BEST:: SOT 1791689 SOS 1041548 HAS SOPS 1041548 HAS SOUS 560630 HAS SOUPS 560630 WITH SCORE 561671.548
AT ITER 2691 NEW BEST:: SOT 1791689 SOS 1041527 HAS SOPS 1041527 HAS SOUS 560588 HAS SOUPS 560588 WITH SCORE 561629.527
AT ITER 2700 NEW BEST:: SOT 1790849 SOS 1042363 HAS SOPS 1042363 HAS SOUS 559642 HAS SOUPS 559642 WITH SCORE 560684.363
AT ITER 2708 NEW BEST:: SOT 1790786 SOS 1042383 HAS SOPS 1042383 HAS SOUS 559105 HAS SOUPS 559105 WITH SCORE 560147.383
AT ITER 2736 NEW BEST:: SOT 1790624 SOS 1042221 HAS SOPS 1042221 HAS SOUS 558943 HAS SOUPS 558943 WITH SCORE 559985.221
AT ITER 2753 NEW BEST:: SOT 1788472 SOS 1041393 HAS SOPS 1041393 HAS SOUS 557123 HAS SOUPS 557123 WITH SCORE 558164.393
AT ITER 2757 NEW BEST:: SOT 1788691 SOS 1041240 HAS SOPS 1041240 HAS SOUS 557114 HAS SOUPS 557114 WITH SCORE 558155.24
AT ITER 2758 NEW BEST:: SOT 1787446 SOS 1040115 HAS SOPS 1040115 HAS SOUS 555125 HAS SOUPS 555125 WITH SCORE 556165.115
AT ITER 2788 NEW BEST:: SOT 1787446 SOS 1039666 HAS SOPS 1039666 HAS SOUS 555121 HAS SOUPS 555121 WITH SCORE 556160.666
AT ITER 2792 NEW BEST:: SOT 1787236 SOS 1039246 HAS SOPS 1039246 HAS SOUS 554701 HAS SOUPS 554701 WITH SCORE 555740.246
AT ITER 2801 NEW BEST:: SOT 1786207 SOS 1038377 HAS SOPS 1038377 HAS SOUS 552955 HAS SOUPS 552955 WITH SCORE 553993.377
AT ITER 2804 NEW BEST:: SOT 1784258 SOS 1039534 HAS SOPS 1039534 HAS SOUS 550616 HAS SOUPS 550616 WITH SCORE 551655.534
AT ITER 2806 NEW BEST:: SOT 1784152 SOS 1038312 HAS SOPS 1038312 HAS SOUS 549526 HAS SOUPS 549526 WITH SCORE 550564.312
AT ITER 2808 NEW BEST:: SOT 1784132 SOS 1038306 HAS SOPS 1038306 HAS SOUS 549519 HAS SOUPS 549519 WITH SCORE 550557.306
AT ITER 2813 NEW BEST:: SOT 1783913 SOS 1038087 HAS SOPS 1038087 HAS SOUS 549300 HAS SOUPS 549300 WITH SCORE 550338.087
AT ITER 2837 NEW BEST:: SOT 1783912 SOS 1037406 HAS SOPS 1037406 HAS SOUS 549297 HAS SOUPS 549297 WITH SCORE 550334.406
AT ITER 2841 NEW BEST:: SOT 1783690 SOS 1037301 HAS SOPS 1037301 HAS SOUS 549080 HAS SOUPS 549080 WITH SCORE 550117.301
AT ITER 2844 NEW BEST:: SOT 1783321 SOS 1036915 HAS SOPS 1036915 HAS SOUS 548587 HAS SOUPS 548587 WITH SCORE 549623.915
AT ITER 2849 NEW BEST:: SOT 1783321 SOS 1037379 HAS SOPS 1037379 HAS SOUS 548471 HAS SOUPS 548471 WITH SCORE 549508.379
AT ITER 2850 NEW BEST:: SOT 1782633 SOS 1036691 HAS SOPS 1036691 HAS SOUS 547783 HAS SOUPS 547783 WITH SCORE 548819.691
AT ITER 2867 NEW BEST:: SOT 1782513 SOS 1036571 HAS SOPS 1036571 HAS SOUS 547655 HAS SOUPS 547655 WITH SCORE 548691.571
AT ITER 2872 NEW BEST:: SOT 1782513 SOS 1036012 HAS SOPS 1036012 HAS SOUS 547513 HAS SOUPS 547513 WITH SCORE 548549.012
AT ITER 2883 NEW BEST:: SOT 1782684 SOS 1036450 HAS SOPS 1036450 HAS SOUS 547450 HAS SOUPS 547450 WITH SCORE 548486.45
AT ITER 2885 NEW BEST:: SOT 1782492 SOS 1036246 HAS SOPS 1036246 HAS SOUS 547245 HAS SOUPS 547245 WITH SCORE 548281.246
AT ITER 2888 NEW BEST:: SOT 1782266 SOS 1035794 HAS SOPS 1035794 HAS SOUS 546817 HAS SOUPS 546817 WITH SCORE 547852.794
AT ITER 2890 NEW BEST:: SOT 1782198 SOS 1035726 HAS SOPS 1035726 HAS SOUS 546749 HAS SOUPS 546749 WITH SCORE 547784.726
AT ITER 2903 NEW BEST:: SOT 1782198 SOS 1035443 HAS SOPS 1035443 HAS SOUS 546630 HAS SOUPS 546630 WITH SCORE 547665.443
AT ITER 2912 NEW BEST:: SOT 1782342 SOS 1035016 HAS SOPS 1035016 HAS SOUS 546481 HAS SOUPS 546481 WITH SCORE 547516.016
AT ITER 2956 NEW BEST:: SOT 1782310 SOS 1034984 HAS SOPS 1034984 HAS SOUS 546449 HAS SOUPS 546449 WITH SCORE 547483.984
AT ITER 2962 NEW BEST:: SOT 1782286 SOS 1034960 HAS SOPS 1034960 HAS SOUS 546425 HAS SOUPS 546425 WITH SCORE 547459.96
AT ITER 2978 NEW BEST:: SOT 1782288 SOS 1034709 HAS SOPS 1034709 HAS SOUS 546371 HAS SOUPS 546371 WITH SCORE 547405.709
AT ITER 2998 NEW BEST:: SOT 1782286 SOS 1034282 HAS SOPS 1034282 HAS SOUS 546367 HAS SOUPS 546367 WITH SCORE 547401.282
AT ITER 3058 NEW BEST:: SOT 1782281 SOS 1034277 HAS SOPS 1034277 HAS SOUS 546359 HAS SOUPS 546359 WITH SCORE 547393.277
AT ITER 3063 NEW BEST:: SOT 1782170 SOS 1034166 HAS SOPS 1034166 HAS SOUS 546248 HAS SOUPS 546248 WITH SCORE 547282.166
AT ITER 3064 NEW BEST:: SOT 1782114 SOS 1034328 HAS SOPS 1034328 HAS SOUS 546104 HAS SOUPS 546104 WITH SCORE 547138.328
AT ITER 3085 NEW BEST:: SOT 1782114 SOS 1034328 HAS SOPS 1034328 HAS SOUS 545846 HAS SOUPS 545846 WITH SCORE 546880.328
AT ITER 3119 NEW BEST:: SOT 1782114 SOS 1033115 HAS SOPS 1033115 HAS SOUS 545768 HAS SOUPS 545768 WITH SCORE 546801.115
AT ITER 3122 NEW BEST:: SOT 1781979 SOS 1032710 HAS SOPS 1032710 HAS SOUS 545498 HAS SOUPS 545498 WITH SCORE 546530.71
AT ITER 3127 NEW BEST:: SOT 1781979 SOS 1032650 HAS SOPS 1032650 HAS SOUS 545497 HAS SOUPS 545497 WITH SCORE 546529.65
AT ITER 3135 NEW BEST:: SOT 1781767 SOS 1032438 HAS SOPS 1032438 HAS SOUS 545285 HAS SOUPS 545285 WITH SCORE 546317.438
AT ITER 3147 NEW BEST:: SOT 1781547 SOS 1032245 HAS SOPS 1032245 HAS SOUS 545075 HAS SOUPS 545075 WITH SCORE 546107.245
AT ITER 3150 NEW BEST:: SOT 1781537 SOS 1032234 HAS SOPS 1032234 HAS SOUS 545072 HAS SOUPS 545072 WITH SCORE 546104.234
AT ITER 3153 NEW BEST:: SOT 1781900 SOS 1032298 HAS SOPS 1032298 HAS SOUS 544959 HAS SOUPS 544959 WITH SCORE 545991.298
AT ITER 3244 NEW BEST:: SOT 1781468 SOS 1030281 HAS SOPS 1030281 HAS SOUS 543842 HAS SOUPS 543842 WITH SCORE 544872.281
AT ITER 3254 NEW BEST:: SOT 1781468 SOS 1030281 HAS SOPS 1030281 HAS SOUS 543698 HAS SOUPS 543698 WITH SCORE 544728.281
AT ITER 3258 NEW BEST:: SOT 1781468 SOS 1030274 HAS SOPS 1030274 HAS SOUS 543684 HAS SOUPS 543684 WITH SCORE 544714.274
AT ITER 3261 NEW BEST:: SOT 1781468 SOS 1030274 HAS SOPS 1030274 HAS SOUS 543682 HAS SOUPS 543682 WITH SCORE 544712.274
AT ITER 3292 NEW BEST:: SOT 1780890 SOS 1030257 HAS SOPS 1030257 HAS SOUS 543665 HAS SOUPS 543665 WITH SCORE 544695.257
AT ITER 3303 NEW BEST:: SOT 1780771 SOS 1030112 HAS SOPS 1030112 HAS SOUS 543613 HAS SOUPS 543613 WITH SCORE 544643.112
AT ITER 3346 NEW BEST:: SOT 1780767 SOS 1030106 HAS SOPS 1030106 HAS SOUS 543609 HAS SOUPS 543609 WITH SCORE 544639.106
AT ITER 3368 NEW BEST:: SOT 1780761 SOS 1030100 HAS SOPS 1030100 HAS SOUS 543603 HAS SOUPS 543603 WITH SCORE 544633.1
AT ITER 3370 NEW BEST:: SOT 1780333 SOS 1029495 HAS SOPS 1029495 HAS SOUS 542998 HAS SOUPS 542998 WITH SCORE 544027.495
AT ITER 3378 NEW BEST:: SOT 1780394 SOS 1029079 HAS SOPS 1029079 HAS SOUS 542582 HAS SOUPS 542582 WITH SCORE 543611.079
AT ITER 3402 NEW BEST:: SOT 1779892 SOS 1028788 HAS SOPS 1028788 HAS SOUS 542291 HAS SOUPS 542291 WITH SCORE 543319.788
AT ITER 3410 NEW BEST:: SOT 1779651 SOS 1028566 HAS SOPS 1028566 HAS SOUS 541961 HAS SOUPS 541961 WITH SCORE 542989.566
AT ITER 3423 NEW BEST:: SOT 1779551 SOS 1028048 HAS SOPS 1028048 HAS SOUS 541443 HAS SOUPS 541443 WITH SCORE 542471.048
AT ITER 3435 NEW BEST:: SOT 1779239 SOS 1027789 HAS SOPS 1027789 HAS SOUS 541184 HAS SOUPS 541184 WITH SCORE 542211.789
AT ITER 3443 NEW BEST:: SOT 1779238 SOS 1027788 HAS SOPS 1027788 HAS SOUS 541182 HAS SOUPS 541182 WITH SCORE 542209.788
AT ITER 3472 NEW BEST:: SOT 1779238 SOS 1027491 HAS SOPS 1027491 HAS SOUS 540885 HAS SOUPS 540885 WITH SCORE 541912.491
AT ITER 3474 NEW BEST:: SOT 1779128 SOS 1027400 HAS SOPS 1027400 HAS SOUS 540665 HAS SOUPS 540665 WITH SCORE 541692.4
AT ITER 3477 NEW BEST:: SOT 1778854 SOS 1024443 HAS SOPS 1024443 HAS SOUS 539684 HAS SOUPS 539684 WITH SCORE 540708.443
AT ITER 3490 NEW BEST:: SOT 1778854 SOS 1024206 HAS SOPS 1024206 HAS SOUS 539543 HAS SOUPS 539543 WITH SCORE 540567.206
AT ITER 3494 NEW BEST:: SOT 1778425 SOS 1024013 HAS SOPS 1024013 HAS SOUS 539350 HAS SOUPS 539350 WITH SCORE 540374.013
AT ITER 3507 NEW BEST:: SOT 1778503 SOS 1023752 HAS SOPS 1023752 HAS SOUS 539089 HAS SOUPS 539089 WITH SCORE 540112.752
AT ITER 3508 NEW BEST:: SOT 1778677 SOS 1023361 HAS SOPS 1023361 HAS SOUS 538636 HAS SOUPS 538636 WITH SCORE 539659.361
AT ITER 3512 NEW BEST:: SOT 1778677 SOS 1023113 HAS SOPS 1023113 HAS SOUS 538636 HAS SOUPS 538636 WITH SCORE 539659.113
AT ITER 3528 NEW BEST:: SOT 1778348 SOS 1022416 HAS SOPS 1022416 HAS SOUS 537978 HAS SOUPS 537978 WITH SCORE 539000.416
AT ITER 3529 NEW BEST:: SOT 1778074 SOS 1022142 HAS SOPS 1022142 HAS SOUS 537704 HAS SOUPS 537704 WITH SCORE 538726.142
AT ITER 3530 NEW BEST:: SOT 1778071 SOS 1022139 HAS SOPS 1022139 HAS SOUS 537701 HAS SOUPS 537701 WITH SCORE 538723.139
AT ITER 3546 NEW BEST:: SOT 1778047 SOS 1021697 HAS SOPS 1021697 HAS SOUS 537332 HAS SOUPS 537332 WITH SCORE 538353.697
AT ITER 3564 NEW BEST:: SOT 1777805 SOS 1020916 HAS SOPS 1020916 HAS SOUS 536551 HAS SOUPS 536551 WITH SCORE 537571.916
AT ITER 3571 NEW BEST:: SOT 1777834 SOS 1020657 HAS SOPS 1020657 HAS SOUS 536292 HAS SOUPS 536292 WITH SCORE 537312.657
AT ITER 3592 NEW BEST:: SOT 1778217 SOS 1020809 HAS SOPS 1020809 HAS SOUS 535390 HAS SOUPS 535390 WITH SCORE 536410.809
AT ITER 3604 NEW BEST:: SOT 1778145 SOS 1020610 HAS SOPS 1020610 HAS SOUS 535191 HAS SOUPS 535191 WITH SCORE 536211.61
AT ITER 3608 NEW BEST:: SOT 1778451 SOS 1020091 HAS SOPS 1020091 HAS SOUS 534672 HAS SOUPS 534672 WITH SCORE 535692.091
AT ITER 3610 NEW BEST:: SOT 1778451 SOS 1019883 HAS SOPS 1019883 HAS SOUS 534464 HAS SOUPS 534464 WITH SCORE 535483.883
AT ITER 3616 NEW BEST:: SOT 1778149 SOS 1019581 HAS SOPS 1019581 HAS SOUS 534162 HAS SOUPS 534162 WITH SCORE 535181.581
AT ITER 3630 NEW BEST:: SOT 1777672 SOS 1018860 HAS SOPS 1018860 HAS SOUS 533487 HAS SOUPS 533487 WITH SCORE 534505.86
AT ITER 3635 NEW BEST:: SOT 1771149 SOS 1016207 HAS SOPS 1016207 HAS SOUS 526993 HAS SOUPS 526993 WITH SCORE 528009.207
AT ITER 3643 NEW BEST:: SOT 1771111 SOS 1016037 HAS SOPS 1016037 HAS SOUS 526874 HAS SOUPS 526874 WITH SCORE 527890.037
AT ITER 3644 NEW BEST:: SOT 1771040 SOS 1015966 HAS SOPS 1015966 HAS SOUS 526782 HAS SOUPS 526782 WITH SCORE 527797.966
AT ITER 3666 NEW BEST:: SOT 1769946 SOS 1015486 HAS SOPS 1015486 HAS SOUS 526067 HAS SOUPS 526067 WITH SCORE 527082.486
AT ITER 3667 NEW BEST:: SOT 1769804 SOS 1015244 HAS SOPS 1015244 HAS SOUS 525725 HAS SOUPS 525725 WITH SCORE 526740.244
AT ITER 3691 NEW BEST:: SOT 1769740 SOS 1014988 HAS SOPS 1014988 HAS SOUS 525594 HAS SOUPS 525594 WITH SCORE 526608.988
AT ITER 3693 NEW BEST:: SOT 1768927 SOS 1014221 HAS SOPS 1014221 HAS SOUS 524837 HAS SOUPS 524837 WITH SCORE 525851.221
AT ITER 3724 NEW BEST:: SOT 1768976 SOS 1014191 HAS SOPS 1014191 HAS SOUS 524807 HAS SOUPS 524807 WITH SCORE 525821.191
AT ITER 3725 NEW BEST:: SOT 1768863 SOS 1014076 HAS SOPS 1014076 HAS SOUS 524806 HAS SOUPS 524806 WITH SCORE 525820.076
AT ITER 3728 NEW BEST:: SOT 1768693 SOS 1013803 HAS SOPS 1013803 HAS SOUS 524532 HAS SOUPS 524532 WITH SCORE 525545.803
AT ITER 3735 NEW BEST:: SOT 1768688 SOS 1013798 HAS SOPS 1013798 HAS SOUS 524527 HAS SOUPS 524527 WITH SCORE 525540.798
AT ITER 3736 NEW BEST:: SOT 1768687 SOS 1013452 HAS SOPS 1013452 HAS SOUS 524309 HAS SOUPS 524309 WITH SCORE 525322.452
AT ITER 3747 NEW BEST:: SOT 1768683 SOS 1013778 HAS SOPS 1013778 HAS SOUS 524037 HAS SOUPS 524037 WITH SCORE 525050.778
AT ITER 3750 NEW BEST:: SOT 1767873 SOS 1015798 HAS SOPS 1015798 HAS SOUS 523974 HAS SOUPS 523974 WITH SCORE 524989.798
AT ITER 3752 NEW BEST:: SOT 1767873 SOS 1015051 HAS SOPS 1015051 HAS SOUS 523933 HAS SOUPS 523933 WITH SCORE 524948.051
AT ITER 3759 NEW BEST:: SOT 1766559 SOS 1013737 HAS SOPS 1013737 HAS SOUS 522597 HAS SOUPS 522597 WITH SCORE 523610.737
AT ITER 3761 NEW BEST:: SOT 1764643 SOS 1013637 HAS SOPS 1013637 HAS SOUS 521112 HAS SOUPS 521112 WITH SCORE 522125.637
AT ITER 3766 NEW BEST:: SOT 1764640 SOS 1013634 HAS SOPS 1013634 HAS SOUS 521107 HAS SOUPS 521107 WITH SCORE 522120.634
AT ITER 3771 NEW BEST:: SOT 1764514 SOS 1013507 HAS SOPS 1013507 HAS SOUS 520899 HAS SOUPS 520899 WITH SCORE 521912.507
AT ITER 3773 NEW BEST:: SOT 1764457 SOS 1013355 HAS SOPS 1013355 HAS SOUS 520767 HAS SOUPS 520767 WITH SCORE 521780.355
AT ITER 3791 NEW BEST:: SOT 1764183 SOS 1013073 HAS SOPS 1013073 HAS SOUS 520485 HAS SOUPS 520485 WITH SCORE 521498.073
AT ITER 3792 NEW BEST:: SOT 1764175 SOS 1013065 HAS SOPS 1013065 HAS SOUS 520477 HAS SOUPS 520477 WITH SCORE 521490.065
AT ITER 3802 NEW BEST:: SOT 1758508 SOS 1007398 HAS SOPS 1007398 HAS SOUS 514802 HAS SOUPS 514802 WITH SCORE 515809.398
AT ITER 3809 NEW BEST:: SOT 1758350 SOS 1007239 HAS SOPS 1007239 HAS SOUS 514643 HAS SOUPS 514643 WITH SCORE 515650.239
AT ITER 3822 NEW BEST:: SOT 1758325 SOS 1007234 HAS SOPS 1007234 HAS SOUS 514564 HAS SOUPS 514564 WITH SCORE 515571.234
AT ITER 3824 NEW BEST:: SOT 1759552 SOS 1008110 HAS SOPS 1008110 HAS SOUS 514054 HAS SOUPS 514054 WITH SCORE 515062.11
AT ITER 3839 NEW BEST:: SOT 1759423 SOS 1007981 HAS SOPS 1007981 HAS SOUS 513917 HAS SOUPS 513917 WITH SCORE 514924.981
AT ITER 3842 NEW BEST:: SOT 1759423 SOS 1007981 HAS SOPS 1007981 HAS SOUS 513763 HAS SOUPS 513763 WITH SCORE 514770.981
AT ITER 3843 NEW BEST:: SOT 1759265 SOS 1007981 HAS SOPS 1007981 HAS SOUS 513594 HAS SOUPS 513594 WITH SCORE 514601.981
AT ITER 3848 NEW BEST:: SOT 1758872 SOS 1005138 HAS SOPS 1005138 HAS SOUS 512468 HAS SOUPS 512468 WITH SCORE 513473.138
AT ITER 3856 NEW BEST:: SOT 1758975 SOS 1000687 HAS SOPS 1000687 HAS SOUS 511687 HAS SOUPS 511687 WITH SCORE 512687.687
AT ITER 3859 NEW BEST:: SOT 1759003 SOS 1000629 HAS SOPS 1000629 HAS SOUS 511629 HAS SOUPS 511629 WITH SCORE 512629.629
AT ITER 3866 NEW BEST:: SOT 1758821 SOS 1000447 HAS SOPS 1000447 HAS SOUS 511603 HAS SOUPS 511603 WITH SCORE 512603.447
AT ITER 3893 NEW BEST:: SOT 1758123 SOS 999749 HAS SOPS 999749 HAS SOUS 510904 HAS SOUPS 510904 WITH SCORE 511903.749
AT ITER 3895 NEW BEST:: SOT 1757443 SOS 999069 HAS SOPS 999069 HAS SOUS 510564 HAS SOUPS 510564 WITH SCORE 511563.069
AT ITER 3911 NEW BEST:: SOT 1757193 SOS 998819 HAS SOPS 998819 HAS SOUS 510558 HAS SOUPS 510558 WITH SCORE 511556.819
AT ITER 3922 NEW BEST:: SOT 1757135 SOS 998703 HAS SOPS 998703 HAS SOUS 510442 HAS SOUPS 510442 WITH SCORE 511440.703
AT ITER 3949 NEW BEST:: SOT 1756848 SOS 998291 HAS SOPS 998291 HAS SOUS 510289 HAS SOUPS 510289 WITH SCORE 511287.291
AT ITER 3953 NEW BEST:: SOT 1756734 SOS 998177 HAS SOPS 998177 HAS SOUS 510053 HAS SOUPS 510053 WITH SCORE 511051.177
AT ITER 3958 NEW BEST:: SOT 1756734 SOS 998086 HAS SOPS 998086 HAS SOUS 509962 HAS SOUPS 509962 WITH SCORE 510960.086
AT ITER 3972 NEW BEST:: SOT 1756494 SOS 997861 HAS SOPS 997861 HAS SOUS 509651 HAS SOUPS 509651 WITH SCORE 510648.861
AT ITER 3975 NEW BEST:: SOT 1756479 SOS 997846 HAS SOPS 997846 HAS SOUS 509634 HAS SOUPS 509634 WITH SCORE 510631.846
AT ITER 3979 NEW BEST:: SOT 1756478 SOS 997845 HAS SOPS 997845 HAS SOUS 509632 HAS SOUPS 509632 WITH SCORE 510629.845
AT ITER 3980 NEW BEST:: SOT 1756131 SOS 997497 HAS SOPS 997497 HAS SOUS 509214 HAS SOUPS 509214 WITH SCORE 510211.497
AT ITER 3982 NEW BEST:: SOT 1756100 SOS 996716 HAS SOPS 996716 HAS SOUS 508449 HAS SOUPS 508449 WITH SCORE 509445.716
AT ITER 4000 NEW BEST:: SOT 1755300 SOS 995973 HAS SOPS 995973 HAS SOUS 507336 HAS SOUPS 507336 WITH SCORE 508331.973
AT ITER 4007 NEW BEST:: SOT 1755156 SOS 995962 HAS SOPS 995962 HAS SOUS 507193 HAS SOUPS 507193 WITH SCORE 508188.962
AT ITER 4008 NEW BEST:: SOT 1754931 SOS 995737 HAS SOPS 995737 HAS SOUS 506550 HAS SOUPS 506550 WITH SCORE 507545.737
AT ITER 4012 NEW BEST:: SOT 1754750 SOS 995556 HAS SOPS 995556 HAS SOUS 506369 HAS SOUPS 506369 WITH SCORE 507364.556
AT ITER 4016 NEW BEST:: SOT 1754750 SOS 995473 HAS SOPS 995473 HAS SOUS 506347 HAS SOUPS 506347 WITH SCORE 507342.473
AT ITER 4040 NEW BEST:: SOT 1754750 SOS 994097 HAS SOPS 994097 HAS SOUS 506131 HAS SOUPS 506131 WITH SCORE 507125.097
AT ITER 4065 NEW BEST:: SOT 1754745 SOS 993495 HAS SOPS 993495 HAS SOUS 506121 HAS SOUPS 506121 WITH SCORE 507114.495
AT ITER 4102 NEW BEST:: SOT 1754471 SOS 993057 HAS SOPS 993057 HAS SOUS 505683 HAS SOUPS 505683 WITH SCORE 506676.057
AT ITER 4107 NEW BEST:: SOT 1754562 SOS 992631 HAS SOPS 992631 HAS SOUS 505071 HAS SOUPS 505071 WITH SCORE 506063.631
AT ITER 4149 NEW BEST:: SOT 1754489 SOS 992553 HAS SOPS 992553 HAS SOUS 505066 HAS SOUPS 505066 WITH SCORE 506058.553
AT ITER 4154 NEW BEST:: SOT 1754259 SOS 992206 HAS SOPS 992206 HAS SOUS 504692 HAS SOUPS 504692 WITH SCORE 505684.206
AT ITER 4157 NEW BEST:: SOT 1754366 SOS 992095 HAS SOPS 992095 HAS SOUS 504583 HAS SOUPS 504583 WITH SCORE 505575.095
AT ITER 4173 NEW BEST:: SOT 1754366 SOS 991958 HAS SOPS 991958 HAS SOUS 504446 HAS SOUPS 504446 WITH SCORE 505437.958
AT ITER 4179 NEW BEST:: SOT 1754098 SOS 991690 HAS SOPS 991690 HAS SOUS 504178 HAS SOUPS 504178 WITH SCORE 505169.69
AT ITER 4185 NEW BEST:: SOT 1754063 SOS 991655 HAS SOPS 991655 HAS SOUS 504143 HAS SOUPS 504143 WITH SCORE 505134.655
AT ITER 4242 NEW BEST:: SOT 1754063 SOS 991314 HAS SOPS 991314 HAS SOUS 503802 HAS SOUPS 503802 WITH SCORE 504793.314
AT ITER 4252 NEW BEST:: SOT 1754063 SOS 989701 HAS SOPS 989701 HAS SOUS 503802 HAS SOUPS 503802 WITH SCORE 504791.701
AT ITER 4257 NEW BEST:: SOT 1753745 SOS 987816 HAS SOPS 987816 HAS SOUS 503084 HAS SOUPS 503084 WITH SCORE 504071.816
AT ITER 4262 NEW BEST:: SOT 1753385 SOS 987485 HAS SOPS 987485 HAS SOUS 502753 HAS SOUPS 502753 WITH SCORE 503740.485
AT ITER 4265 NEW BEST:: SOT 1753478 SOS 987578 HAS SOPS 987578 HAS SOUS 502715 HAS SOUPS 502715 WITH SCORE 503702.578
AT ITER 4279 NEW BEST:: SOT 1753538 SOS 987638 HAS SOPS 987638 HAS SOUS 502395 HAS SOUPS 502395 WITH SCORE 503382.638
AT ITER 4285 NEW BEST:: SOT 1753677 SOS 987737 HAS SOPS 987737 HAS SOUS 502355 HAS SOUPS 502355 WITH SCORE 503342.737
AT ITER 4304 NEW BEST:: SOT 1753494 SOS 987554 HAS SOPS 987554 HAS SOUS 502355 HAS SOUPS 502355 WITH SCORE 503342.554
AT ITER 4307 NEW BEST:: SOT 1752996 SOS 986196 HAS SOPS 986196 HAS SOUS 501820 HAS SOUPS 501820 WITH SCORE 502806.196
AT ITER 4308 NEW BEST:: SOT 1753154 SOS 986656 HAS SOPS 986656 HAS SOUS 501420 HAS SOUPS 501420 WITH SCORE 502406.656
AT ITER 4320 NEW BEST:: SOT 1753154 SOS 986655 HAS SOPS 986655 HAS SOUS 501419 HAS SOUPS 501419 WITH SCORE 502405.655
AT ITER 4336 NEW BEST:: SOT 1753143 SOS 986644 HAS SOPS 986644 HAS SOUS 501408 HAS SOUPS 501408 WITH SCORE 502394.644
AT ITER 4342 NEW BEST:: SOT 1752286 SOS 985787 HAS SOPS 985787 HAS SOUS 500855 HAS SOUPS 500855 WITH SCORE 501840.787
AT ITER 4353 NEW BEST:: SOT 1752286 SOS 985700 HAS SOPS 985700 HAS SOUS 500851 HAS SOUPS 500851 WITH SCORE 501836.7
AT ITER 4359 NEW BEST:: SOT 1752279 SOS 985645 HAS SOPS 985645 HAS SOUS 500842 HAS SOUPS 500842 WITH SCORE 501827.645
AT ITER 4374 NEW BEST:: SOT 1751132 SOS 984498 HAS SOPS 984498 HAS SOUS 499630 HAS SOUPS 499630 WITH SCORE 500614.498
AT ITER 4387 NEW BEST:: SOT 1750890 SOS 984015 HAS SOPS 984015 HAS SOUS 499146 HAS SOUPS 499146 WITH SCORE 500130.015
AT ITER 4397 NEW BEST:: SOT 1751143 SOS 984257 HAS SOPS 984257 HAS SOUS 499124 HAS SOUPS 499124 WITH SCORE 500108.257
AT ITER 4399 NEW BEST:: SOT 1751021 SOS 984135 HAS SOPS 984135 HAS SOUS 499002 HAS SOUPS 499002 WITH SCORE 499986.135
AT ITER 4417 NEW BEST:: SOT 1750957 SOS 984071 HAS SOPS 984071 HAS SOUS 498938 HAS SOUPS 498938 WITH SCORE 499922.071
AT ITER 4420 NEW BEST:: SOT 1750920 SOS 983997 HAS SOPS 983997 HAS SOUS 498807 HAS SOUPS 498807 WITH SCORE 499790.997
AT ITER 4432 NEW BEST:: SOT 1750919 SOS 983324 HAS SOPS 983324 HAS SOUS 498710 HAS SOUPS 498710 WITH SCORE 499693.324
AT ITER 4434 NEW BEST:: SOT 1750901 SOS 983306 HAS SOPS 983306 HAS SOUS 498674 HAS SOUPS 498674 WITH SCORE 499657.306
AT ITER 4446 NEW BEST:: SOT 1750677 SOS 983056 HAS SOPS 983056 HAS SOUS 498306 HAS SOUPS 498306 WITH SCORE 499289.056
AT ITER 4458 NEW BEST:: SOT 1750477 SOS 982856 HAS SOPS 982856 HAS SOUS 498256 HAS SOUPS 498256 WITH SCORE 499238.856
AT ITER 4464 NEW BEST:: SOT 1750477 SOS 982704 HAS SOPS 982704 HAS SOUS 498218 HAS SOUPS 498218 WITH SCORE 499200.704
AT ITER 4473 NEW BEST:: SOT 1749516 SOS 981410 HAS SOPS 981410 HAS SOUS 496924 HAS SOUPS 496924 WITH SCORE 497905.41
AT ITER 4476 NEW BEST:: SOT 1748788 SOS 981180 HAS SOPS 981180 HAS SOUS 496519 HAS SOUPS 496519 WITH SCORE 497500.18
AT ITER 4484 NEW BEST:: SOT 1748216 SOS 980397 HAS SOPS 980397 HAS SOUS 495736 HAS SOUPS 495736 WITH SCORE 496716.397
AT ITER 4489 NEW BEST:: SOT 1748206 SOS 980378 HAS SOPS 980378 HAS SOUS 495716 HAS SOUPS 495716 WITH SCORE 496696.378
AT ITER 4493 NEW BEST:: SOT 1747805 SOS 979884 HAS SOPS 979884 HAS SOUS 495270 HAS SOUPS 495270 WITH SCORE 496249.884
AT ITER 4495 NEW BEST:: SOT 1747837 SOS 979421 HAS SOPS 979421 HAS SOUS 495143 HAS SOUPS 495143 WITH SCORE 496122.421
AT ITER 4518 NEW BEST:: SOT 1746156 SOS 979774 HAS SOPS 979774 HAS SOUS 494666 HAS SOUPS 494666 WITH SCORE 495645.774
AT ITER 4534 NEW BEST:: SOT 1745958 SOS 979590 HAS SOPS 979590 HAS SOUS 494482 HAS SOUPS 494482 WITH SCORE 495461.59
AT ITER 4539 NEW BEST:: SOT 1745386 SOS 975042 HAS SOPS 975042 HAS SOUS 492988 HAS SOUPS 492988 WITH SCORE 493963.042
AT ITER 4562 NEW BEST:: SOT 1745423 SOS 975079 HAS SOPS 975079 HAS SOUS 492782 HAS SOUPS 492782 WITH SCORE 493757.079
AT ITER 4564 NEW BEST:: SOT 1744394 SOS 974046 HAS SOPS 974046 HAS SOUS 491749 HAS SOUPS 491749 WITH SCORE 492723.046
AT ITER 4568 NEW BEST:: SOT 1744234 SOS 974113 HAS SOPS 974113 HAS SOUS 491656 HAS SOUPS 491656 WITH SCORE 492630.113
AT ITER 4593 NEW BEST:: SOT 1744204 SOS 974053 HAS SOPS 974053 HAS SOUS 491596 HAS SOUPS 491596 WITH SCORE 492570.053
AT ITER 4600 NEW BEST:: SOT 1744178 SOS 974027 HAS SOPS 974027 HAS SOUS 491564 HAS SOUPS 491564 WITH SCORE 492538.027
AT ITER 4631 NEW BEST:: SOT 1744130 SOS 973675 HAS SOPS 973675 HAS SOUS 491484 HAS SOUPS 491484 WITH SCORE 492457.675
AT ITER 4640 NEW BEST:: SOT 1744181 SOS 973573 HAS SOPS 973573 HAS SOUS 491433 HAS SOUPS 491433 WITH SCORE 492406.573
AT ITER 4645 NEW BEST:: SOT 1741563 SOS 974916 HAS SOPS 974916 HAS SOUS 488822 HAS SOUPS 488822 WITH SCORE 489796.916
AT ITER 4650 NEW BEST:: SOT 1741563 SOS 974862 HAS SOPS 974862 HAS SOUS 488822 HAS SOUPS 488822 WITH SCORE 489796.862
AT ITER 4659 NEW BEST:: SOT 1741563 SOS 974879 HAS SOPS 974879 HAS SOUS 488729 HAS SOUPS 488729 WITH SCORE 489703.879
AT ITER 4667 NEW BEST:: SOT 1741565 SOS 973736 HAS SOPS 973736 HAS SOUS 488418 HAS SOUPS 488418 WITH SCORE 489391.736
AT ITER 4669 NEW BEST:: SOT 1741528 SOS 973704 HAS SOPS 973704 HAS SOUS 488344 HAS SOUPS 488344 WITH SCORE 489317.704
AT ITER 4679 NEW BEST:: SOT 1740904 SOS 973496 HAS SOPS 973496 HAS SOUS 488294 HAS SOUPS 488294 WITH SCORE 489267.496
AT ITER 4692 NEW BEST:: SOT 1740717 SOS 973329 HAS SOPS 973329 HAS SOUS 487904 HAS SOUPS 487904 WITH SCORE 488877.329
AT ITER 4703 NEW BEST:: SOT 1740717 SOS 973307 HAS SOPS 973307 HAS SOUS 487904 HAS SOUPS 487904 WITH SCORE 488877.307
AT ITER 4739 NEW BEST:: SOT 1740664 SOS 973655 HAS SOPS 973655 HAS SOUS 487799 HAS SOUPS 487799 WITH SCORE 488772.655
AT ITER 4749 NEW BEST:: SOT 1740664 SOS 972828 HAS SOPS 972828 HAS SOUS 487776 HAS SOUPS 487776 WITH SCORE 488748.828
AT ITER 4765 NEW BEST:: SOT 1740538 SOS 972702 HAS SOPS 972702 HAS SOUS 487632 HAS SOUPS 487632 WITH SCORE 488604.702
AT ITER 4780 NEW BEST:: SOT 1740100 SOS 971451 HAS SOPS 971451 HAS SOUS 487495 HAS SOUPS 487495 WITH SCORE 488466.451
AT ITER 4782 NEW BEST:: SOT 1740092 SOS 971459 HAS SOPS 971459 HAS SOUS 487487 HAS SOUPS 487487 WITH SCORE 488458.459
AT ITER 4788 NEW BEST:: SOT 1740090 SOS 971457 HAS SOPS 971457 HAS SOUS 487485 HAS SOUPS 487485 WITH SCORE 488456.457
AT ITER 4808 NEW BEST:: SOT 1740064 SOS 971338 HAS SOPS 971338 HAS SOUS 487433 HAS SOUPS 487433 WITH SCORE 488404.338
AT ITER 4814 NEW BEST:: SOT 1740064 SOS 971338 HAS SOPS 971338 HAS SOUS 487423 HAS SOUPS 487423 WITH SCORE 488394.338
AT ITER 4853 NEW BEST:: SOT 1739955 SOS 971289 HAS SOPS 971289 HAS SOUS 487374 HAS SOUPS 487374 WITH SCORE 488345.289
AT ITER 4871 NEW BEST:: SOT 1739974 SOS 971035 HAS SOPS 971035 HAS SOUS 487120 HAS SOUPS 487120 WITH SCORE 488091.035
AT ITER 4879 NEW BEST:: SOT 1739937 SOS 970998 HAS SOPS 970998 HAS SOUS 487092 HAS SOUPS 487092 WITH SCORE 488062.998
AT ITER 4883 NEW BEST:: SOT 1739927 SOS 970773 HAS SOPS 970773 HAS SOUS 487072 HAS SOUPS 487072 WITH SCORE 488042.773
AT ITER 4885 NEW BEST:: SOT 1739674 SOS 970520 HAS SOPS 970520 HAS SOUS 486819 HAS SOUPS 486819 WITH SCORE 487789.52
AT ITER 4908 NEW BEST:: SOT 1739638 SOS 970484 HAS SOPS 970484 HAS SOUS 486740 HAS SOUPS 486740 WITH SCORE 487710.484
AT ITER 4957 NEW BEST:: SOT 1739551 SOS 969866 HAS SOPS 969866 HAS SOUS 486479 HAS SOUPS 486479 WITH SCORE 487448.866
AT ITER 4966 NEW BEST:: SOT 1739551 SOS 969841 HAS SOPS 969841 HAS SOUS 486454 HAS SOUPS 486454 WITH SCORE 487423.841
AT ITER 4969 NEW BEST:: SOT 1739493 SOS 969754 HAS SOPS 969754 HAS SOUS 486367 HAS SOUPS 486367 WITH SCORE 487336.754
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-07a-CTLFireability-00 ( ((potential((tk(P1217)>=1) & (tk(P1424)>=1)))) | ( ( ((potential((tk(P781)>=1)))) | (! ( (! ((potential((tk(P1440)>=1) & (tk(P1491)>=1))))) | ( ((potential((tk(P819)>=1) & (tk(P1056)>=1)))) & ((potential((tk(P832)>=1) & (tk(P1061)>=1)))) ) )) ) | (EF( ((potential((tk(P1214)>=1) & (tk(P1408)>=1)))))) ) )
PROPERTY: ASLink-PT-07a-CTLFireability-01 ( (EF( (! (! ((potential((tk(P1211)>=1) & (tk(P1422)>=1)))))))) & (! ((potential((tk(P1039)>=1) & (tk(P1190)>=1))))) )
PROPERTY: ASLink-PT-07a-CTLFireability-02 (EX( (EF( (EX( ((potential((tk(P1024)>=1) & (tk(P1257)>=1))))))))))
PROPERTY: ASLink-PT-07a-CTLFireability-03 ( (! (AF( (EF( ((potential((tk(P1210)>=1) & (tk(P1419)>=1))))))))) | ( (! ((potential((tk(P1025)>=1) & (tk(P1256)>=1))))) & (AF( (AX( ((potential((tk(P445)>=1) & (tk(P543)>=1)))))))) ) )
PROPERTY: ASLink-PT-07a-CTLFireability-04 (EF( ( (AG( ((potential((tk(P235)>=1) & (tk(P472)>=1)))))) & (AX( ( ((potential((tk(P830)>=1) & (tk(P1057)>=1)))) | ((potential((tk(P1021)>=1) & (tk(P1248)>=1)))) ))) )))
PROPERTY: ASLink-PT-07a-CTLFireability-05 ( ((potential((tk(P183)>=1)))) | ( ( (EF( ((potential((tk(P526)>=1) & (tk(P619)>=1)))))) | ( (! ((potential((tk(P1274)>=1) & (tk(P1399)>=1))))) & (AG( ((potential((tk(P51)>=1) & (tk(P269)>=1)))))) ) ) & (! (AF( ((potential((tk(P1209)>=1) & (tk(P1432)>=1))))))) ) )
PROPERTY: ASLink-PT-07a-CTLFireability-06 (EU( ( (AF( ((potential((tk(P1439)>=1) & (tk(P1488)>=1)))))) | (! ( ((potential((tk(P238)>=1) & (tk(P469)>=1)))) & ((potential((tk(P463)>=1) & (tk(P482)>=1)))) )) ) , ((potential((tk(P14)>=1) & (tk(P85)>=1)))) ))
PROPERTY: ASLink-PT-07a-CTLFireability-07 ( (EF( (EX( ( ((potential((tk(P1014)>=1) & (tk(P1255)>=1)))) | ((potential((tk(P920)>=1)))) ))))) | ( ( ( (! (! ((potential((tk(P790)>=1) & (tk(P812)>=1)))))) & ( ( ((potential((tk(P1026)>=1) & (tk(P1259)>=1)))) | ((potential((tk(P15)>=1) & (tk(P80)>=1)))) ) & ((potential((tk(P830)>=1) & (tk(P1059)>=1)))) ) ) | (! ((potential((tk(P942)>=1))))) ) & ( (EX( ((potential((tk(P1383)>=1) & (tk(P1450)>=1)))))) | ((potential((tk(P1071)>=1)))) ) ) )
PROPERTY: ASLink-PT-07a-CTLFireability-08 (AF( ( (! (EF( ((potential((tk(P41)>=1) & (tk(P271)>=1))))))) & ( ( ((potential((tk(P236)>=1) & (tk(P471)>=1)))) & ( ((potential((tk(P354)>=1) & (tk(P343)>=1)))) | ((potential((tk(P1487)>=1) & (tk(P1482)>=1)))) ) ) & (AG( ((potential((tk(P647)>=1) & (tk(P800)>=1)))))) ) )))
PROPERTY: ASLink-PT-07a-CTLFireability-09 ( (EF( ( ((potential((tk(P824)>=1) & (tk(P1057)>=1)))) | ( ( ((potential((tk(P818)>=1) & (tk(P1057)>=1)))) | ((potential((tk(P431)>=1) & (tk(P668)>=1)))) ) & ( ((potential((tk(P18)>=1) & (tk(P83)>=1)))) | ((potential((tk(P444)>=1) & (tk(P516)>=1)))) ) ) ))) & (EF( (AU( ((potential((tk(P1122)>=1)))) , ((potential((tk(P939)>=1) & (tk(P928)>=1)))) )))) )
PROPERTY: ASLink-PT-07a-CTLFireability-10 ( ( (AF( (! ( ((potential((tk(P631)>=1) & (tk(P858)>=1)))) & ((potential((tk(P427)>=1) & (tk(P498)>=1)))) )))) & (EF( ( ( ((potential((tk(P1383)>=1) & (tk(P1452)>=1)))) | ((potential((tk(P237)>=1) & (tk(P472)>=1)))) ) & ( ((potential((tk(P230)>=1) & (tk(P302)>=1)))) | ((potential((tk(P242)>=1) & (tk(P465)>=1)))) ) ))) ) & (! ((potential((tk(P929)>=1))))) )
PROPERTY: ASLink-PT-07a-CTLFireability-11 ( (AU( ( (! ((potential((tk(P1181)>=1) & (tk(P1184)>=1) & (tk(P996)>=1))))) & (! ((potential((tk(P828)>=1) & (tk(P1055)>=1))))) ) , (EG( ((potential((tk(P442)>=1) & (tk(P667)>=1)))))) )) | ( ( ( (EF( ((potential((tk(P494)>=1) & (tk(P619)>=1)))))) | (AX( ((potential((tk(P638)>=1) & (tk(P863)>=1)))))) ) & (AF( ((potential((tk(P624)>=1) & (tk(P863)>=1)))))) ) & ((potential((tk(P45)>=1) & (tk(P281)>=1)))) ) )
PROPERTY: ASLink-PT-07a-CTLFireability-12 (EG( ( (EG( (! ((potential((tk(P1210)>=1) & (tk(P1410)>=1))))))) & (EF( (! ((potential((tk(P268)>=1) & (tk(P397)>=1))))))) )))
PROPERTY: ASLink-PT-07a-CTLFireability-13 ( ( (EU( (! ((potential((tk(P734)>=1))))) , ((potential((tk(P625)>=1) & (tk(P862)>=1)))) )) | (AG( ((potential((tk(P1579)>=1)))))) ) & (AF( ( ((potential((tk(P1213)>=1) & (tk(P1434)>=1)))) | (! ( ((potential((tk(P834)>=1) & (tk(P912)>=1)))) | ((potential((tk(P53)>=1) & (tk(P281)>=1)))) )) ))) )
PROPERTY: ASLink-PT-07a-CTLFireability-14 (AF( ((potential((tk(P355)>=1))))))
PROPERTY: ASLink-PT-07a-CTLFireability-15 (EF( ( (EX( ((potential((tk(P1386)>=1) & (tk(P1452)>=1)))))) & (AU( ((potential((tk(P1024)>=1) & (tk(P1253)>=1)))) , ((potential((tk(P1027)>=1) & (tk(P1244)>=1)))) )) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-07a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-07a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100108"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-07a.tgz
mv ASLink-PT-07a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;