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-158897508600515.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 AutoFlight-PT-96a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600515
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 804K
-rw-r--r-- 1 mcc users 3.4K Mar 26 00:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 00:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 629K 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 AutoFlight-PT-96a-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589194536880

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 96a
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: 2251 places, 2225 transitions, 6914 arcs.
AT ITER 0 NEW BEST:: SOT 3558795 SOS 2124605 HAS SOPS 2124605 HAS SOUS 1481486 HAS SOUPS 1481486 WITH SCORE 1483610.605
AT ITER 1 NEW BEST:: SOT 3555843 SOS 2122134 HAS SOPS 2122134 HAS SOUS 1480123 HAS SOUPS 1480123 WITH SCORE 1482245.134
AT ITER 4 NEW BEST:: SOT 3555843 SOS 2119248 HAS SOPS 2119248 HAS SOUS 1478389 HAS SOUPS 1478389 WITH SCORE 1480508.248
AT ITER 7 NEW BEST:: SOT 3555843 SOS 2118043 HAS SOPS 2118043 HAS SOUS 1477693 HAS SOUPS 1477693 WITH SCORE 1479811.043
AT ITER 8 NEW BEST:: SOT 3555468 SOS 2115584 HAS SOPS 2114730 HAS SOUS 1476594 HAS SOUPS 1475740 WITH SCORE 1477855.584
AT ITER 9 NEW BEST:: SOT 3552140 SOS 2109313 HAS SOPS 2108459 HAS SOUS 1472725 HAS SOUPS 1471871 WITH SCORE 1473980.313
AT ITER 16 NEW BEST:: SOT 3546496 SOS 2100978 HAS SOPS 2100124 HAS SOUS 1467584 HAS SOUPS 1466730 WITH SCORE 1468830.978
AT ITER 21 NEW BEST:: SOT 3546476 SOS 2100957 HAS SOPS 2100103 HAS SOUS 1467563 HAS SOUPS 1466709 WITH SCORE 1468809.957
AT ITER 22 NEW BEST:: SOT 3546302 SOS 2100783 HAS SOPS 2099929 HAS SOUS 1467389 HAS SOUPS 1466535 WITH SCORE 1468635.783
AT ITER 23 NEW BEST:: SOT 3542500 SOS 2096980 HAS SOPS 2096126 HAS SOUS 1464510 HAS SOUPS 1463656 WITH SCORE 1465752.98
AT ITER 26 NEW BEST:: SOT 3542500 SOS 2096979 HAS SOPS 2096125 HAS SOUS 1464509 HAS SOUPS 1463655 WITH SCORE 1465751.979
AT ITER 30 NEW BEST:: SOT 3542432 SOS 2094480 HAS SOPS 2093626 HAS SOUS 1463760 HAS SOUPS 1462906 WITH SCORE 1465000.48
AT ITER 31 NEW BEST:: SOT 3542060 SOS 2090988 HAS SOPS 2089721 HAS SOUS 1461275 HAS SOUPS 1460008 WITH SCORE 1462098.988
AT ITER 34 NEW BEST:: SOT 3541634 SOS 2086866 HAS SOPS 2085599 HAS SOUS 1459482 HAS SOUPS 1458215 WITH SCORE 1460301.866
AT ITER 38 NEW BEST:: SOT 3541206 SOS 2082738 HAS SOPS 2081471 HAS SOUS 1457689 HAS SOUPS 1456422 WITH SCORE 1458504.738
AT ITER 40 NEW BEST:: SOT 3541164 SOS 2082695 HAS SOPS 2081428 HAS SOUS 1457646 HAS SOUPS 1456379 WITH SCORE 1458461.695
AT ITER 43 NEW BEST:: SOT 3539903 SOS 2081434 HAS SOPS 2080167 HAS SOUS 1456889 HAS SOUPS 1455622 WITH SCORE 1457703.434
AT ITER 45 NEW BEST:: SOT 3539661 SOS 2081192 HAS SOPS 2079925 HAS SOUS 1456889 HAS SOUPS 1455622 WITH SCORE 1457703.192
AT ITER 46 NEW BEST:: SOT 3539661 SOS 2079314 HAS SOPS 2078047 HAS SOUS 1455652 HAS SOUPS 1454385 WITH SCORE 1456464.314
AT ITER 47 NEW BEST:: SOT 3539643 SOS 2079295 HAS SOPS 2078028 HAS SOUS 1455633 HAS SOUPS 1454366 WITH SCORE 1456445.295
AT ITER 48 NEW BEST:: SOT 3538769 SOS 2076796 HAS SOPS 2075529 HAS SOUS 1454008 HAS SOUPS 1452741 WITH SCORE 1454817.796
AT ITER 51 NEW BEST:: SOT 3534715 SOS 2073533 HAS SOPS 2072266 HAS SOUS 1451777 HAS SOUPS 1450510 WITH SCORE 1452583.533
AT ITER 54 NEW BEST:: SOT 3534383 SOS 2073200 HAS SOPS 2071933 HAS SOUS 1451444 HAS SOUPS 1450177 WITH SCORE 1452250.2
AT ITER 57 NEW BEST:: SOT 3531199 SOS 2071894 HAS SOPS 2070627 HAS SOUS 1451356 HAS SOUPS 1450089 WITH SCORE 1452160.894
AT ITER 58 NEW BEST:: SOT 3531199 SOS 2069146 HAS SOPS 2067879 HAS SOUS 1449594 HAS SOUPS 1448327 WITH SCORE 1450396.146
AT ITER 59 NEW BEST:: SOT 3531199 SOS 2069029 HAS SOPS 2067762 HAS SOUS 1449593 HAS SOUPS 1448326 WITH SCORE 1450395.029
AT ITER 60 NEW BEST:: SOT 3530405 SOS 2068234 HAS SOPS 2066967 HAS SOUS 1447985 HAS SOUPS 1446718 WITH SCORE 1448786.234
AT ITER 63 NEW BEST:: SOT 3530376 SOS 2068205 HAS SOPS 2066938 HAS SOUS 1447956 HAS SOUPS 1446689 WITH SCORE 1448757.205
AT ITER 66 NEW BEST:: SOT 3529074 SOS 2066903 HAS SOPS 2065636 HAS SOUS 1447194 HAS SOUPS 1445927 WITH SCORE 1447993.903
AT ITER 72 NEW BEST:: SOT 3529074 SOS 2066249 HAS SOPS 2064982 HAS SOUS 1446871 HAS SOUPS 1445604 WITH SCORE 1447670.249
AT ITER 73 NEW BEST:: SOT 3526402 SOS 2063577 HAS SOPS 2062310 HAS SOUS 1445133 HAS SOUPS 1443866 WITH SCORE 1445929.577
AT ITER 75 NEW BEST:: SOT 3520155 SOS 2055387 HAS SOPS 2054120 HAS SOUS 1439536 HAS SOUPS 1438269 WITH SCORE 1440324.387
AT ITER 80 NEW BEST:: SOT 3520355 SOS 2052699 HAS SOPS 2051432 HAS SOUS 1438966 HAS SOUPS 1437699 WITH SCORE 1439751.699
AT ITER 86 NEW BEST:: SOT 3520355 SOS 2052499 HAS SOPS 2051232 HAS SOUS 1438965 HAS SOUPS 1437698 WITH SCORE 1439750.499
AT ITER 88 NEW BEST:: SOT 3520355 SOS 2051462 HAS SOPS 2050195 HAS SOUS 1438446 HAS SOUPS 1437179 WITH SCORE 1439230.462
AT ITER 92 NEW BEST:: SOT 3516449 SOS 2047555 HAS SOPS 2046288 HAS SOUS 1435279 HAS SOUPS 1434012 WITH SCORE 1436059.555
AT ITER 95 NEW BEST:: SOT 3514561 SOS 2045667 HAS SOPS 2044400 HAS SOUS 1434443 HAS SOUPS 1433176 WITH SCORE 1435221.667
AT ITER 97 NEW BEST:: SOT 3512962 SOS 2044806 HAS SOPS 2042800 HAS SOUS 1432640 HAS SOUPS 1430991 WITH SCORE 1433035.806
AT ITER 99 NEW BEST:: SOT 3512962 SOS 2043579 HAS SOPS 2041573 HAS SOUS 1431898 HAS SOUPS 1430249 WITH SCORE 1432292.579
AT ITER 101 NEW BEST:: SOT 3512704 SOS 2043321 HAS SOPS 2041315 HAS SOUS 1431640 HAS SOUPS 1429991 WITH SCORE 1432034.321
AT ITER 104 NEW BEST:: SOT 3512704 SOS 2041336 HAS SOPS 2039330 HAS SOUS 1430399 HAS SOUPS 1428750 WITH SCORE 1430791.336
AT ITER 105 NEW BEST:: SOT 3512084 SOS 2040933 HAS SOPS 2038710 HAS SOUS 1429996 HAS SOUPS 1428130 WITH SCORE 1430170.933
AT ITER 110 NEW BEST:: SOT 3512084 SOS 2040869 HAS SOPS 2038646 HAS SOUS 1429996 HAS SOUPS 1428130 WITH SCORE 1430170.869
AT ITER 111 NEW BEST:: SOT 3510341 SOS 2040077 HAS SOPS 2036903 HAS SOUS 1428741 HAS SOUPS 1426387 WITH SCORE 1428427.077
AT ITER 114 NEW BEST:: SOT 3505730 SOS 2035465 HAS SOPS 2032291 HAS SOUS 1426063 HAS SOUPS 1423709 WITH SCORE 1425744.465
AT ITER 115 NEW BEST:: SOT 3505730 SOS 2035044 HAS SOPS 2031870 HAS SOUS 1425852 HAS SOUPS 1423498 WITH SCORE 1425533.044
AT ITER 119 NEW BEST:: SOT 3505357 SOS 2034298 HAS SOPS 2031124 HAS SOUS 1425106 HAS SOUPS 1422752 WITH SCORE 1424786.298
AT ITER 120 NEW BEST:: SOT 3504553 SOS 2033493 HAS SOPS 2030319 HAS SOUS 1424301 HAS SOUPS 1421947 WITH SCORE 1423980.493
AT ITER 122 NEW BEST:: SOT 3504553 SOS 2032508 HAS SOPS 2029334 HAS SOUS 1424300 HAS SOUPS 1421946 WITH SCORE 1423978.508
AT ITER 124 NEW BEST:: SOT 3504543 SOS 2032498 HAS SOPS 2029324 HAS SOUS 1424290 HAS SOUPS 1421936 WITH SCORE 1423968.498
AT ITER 125 NEW BEST:: SOT 3503839 SOS 2032496 HAS SOPS 2029322 HAS SOUS 1423584 HAS SOUPS 1421230 WITH SCORE 1423262.496
AT ITER 126 NEW BEST:: SOT 3500564 SOS 2029221 HAS SOPS 2026047 HAS SOUS 1421094 HAS SOUPS 1418740 WITH SCORE 1420769.221
AT ITER 128 NEW BEST:: SOT 3495506 SOS 2021893 HAS SOPS 2018719 HAS SOUS 1416338 HAS SOUPS 1413984 WITH SCORE 1416005.893
AT ITER 129 NEW BEST:: SOT 3491083 SOS 2017470 HAS SOPS 2014296 HAS SOUS 1412798 HAS SOUPS 1410444 WITH SCORE 1412461.47
AT ITER 130 NEW BEST:: SOT 3491004 SOS 2017390 HAS SOPS 2014216 HAS SOUS 1412718 HAS SOUPS 1410364 WITH SCORE 1412381.39
AT ITER 137 NEW BEST:: SOT 3491003 SOS 2017389 HAS SOPS 2014215 HAS SOUS 1412717 HAS SOUPS 1410363 WITH SCORE 1412380.389
AT ITER 139 NEW BEST:: SOT 3490900 SOS 2017285 HAS SOPS 2014111 HAS SOUS 1412613 HAS SOUPS 1410259 WITH SCORE 1412276.285
AT ITER 141 NEW BEST:: SOT 3487664 SOS 2011071 HAS SOPS 2007897 HAS SOUS 1408843 HAS SOUPS 1406489 WITH SCORE 1408500.071
AT ITER 142 NEW BEST:: SOT 3484895 SOS 2008302 HAS SOPS 2005128 HAS SOUS 1407112 HAS SOUPS 1404758 WITH SCORE 1406766.302
AT ITER 145 NEW BEST:: SOT 3481353 SOS 2004760 HAS SOPS 2001586 HAS SOUS 1404812 HAS SOUPS 1402458 WITH SCORE 1404462.76
AT ITER 146 NEW BEST:: SOT 3480473 SOS 2005080 HAS SOPS 2000706 HAS SOUS 1404646 HAS SOUPS 1401578 WITH SCORE 1403583.08
AT ITER 148 NEW BEST:: SOT 3477177 SOS 2001784 HAS SOPS 1997410 HAS SOUS 1402552 HAS SOUPS 1399484 WITH SCORE 1401485.784
AT ITER 151 NEW BEST:: SOT 3476250 SOS 2001207 HAS SOPS 1996482 HAS SOUS 1401812 HAS SOUPS 1398556 WITH SCORE 1400557.207
AT ITER 153 NEW BEST:: SOT 3475375 SOS 2001740 HAS SOPS 1995607 HAS SOUS 1401554 HAS SOUPS 1397681 WITH SCORE 1399682.74
AT ITER 156 NEW BEST:: SOT 3475375 SOS 2000831 HAS SOPS 1994698 HAS SOUS 1401251 HAS SOUPS 1397378 WITH SCORE 1399378.831
AT ITER 157 NEW BEST:: SOT 3471267 SOS 1996830 HAS SOPS 1990697 HAS SOUS 1398682 HAS SOUPS 1394809 WITH SCORE 1396805.83
AT ITER 158 NEW BEST:: SOT 3471267 SOS 1996423 HAS SOPS 1990290 HAS SOUS 1398681 HAS SOUPS 1394808 WITH SCORE 1396804.423
AT ITER 159 NEW BEST:: SOT 3471030 SOS 1995898 HAS SOPS 1989765 HAS SOUS 1398249 HAS SOUPS 1394376 WITH SCORE 1396371.898
AT ITER 160 NEW BEST:: SOT 3471030 SOS 1994686 HAS SOPS 1988553 HAS SOUS 1397925 HAS SOUPS 1394052 WITH SCORE 1396046.686
AT ITER 166 NEW BEST:: SOT 3470141 SOS 1993797 HAS SOPS 1987664 HAS SOUS 1397404 HAS SOUPS 1393531 WITH SCORE 1395524.797
AT ITER 173 NEW BEST:: SOT 3467140 SOS 1989785 HAS SOPS 1983652 HAS SOUS 1393392 HAS SOUPS 1389519 WITH SCORE 1391508.785
AT ITER 174 NEW BEST:: SOT 3467140 SOS 1989641 HAS SOPS 1983508 HAS SOUS 1393248 HAS SOUPS 1389375 WITH SCORE 1391364.641
AT ITER 175 NEW BEST:: SOT 3466490 SOS 1988990 HAS SOPS 1982857 HAS SOUS 1392843 HAS SOUPS 1388970 WITH SCORE 1390958.99
AT ITER 176 NEW BEST:: SOT 3466490 SOS 1988264 HAS SOPS 1982131 HAS SOUS 1392842 HAS SOUPS 1388969 WITH SCORE 1390957.264
AT ITER 177 NEW BEST:: SOT 3466490 SOS 1988680 HAS SOPS 1982547 HAS SOUS 1392841 HAS SOUPS 1388968 WITH SCORE 1390956.68
AT ITER 179 NEW BEST:: SOT 3464023 SOS 1986104 HAS SOPS 1979971 HAS SOUS 1391583 HAS SOUPS 1387710 WITH SCORE 1389696.104
AT ITER 180 NEW BEST:: SOT 3463303 SOS 1985961 HAS SOPS 1979251 HAS SOUS 1390731 HAS SOUPS 1386557 WITH SCORE 1388542.961
AT ITER 187 NEW BEST:: SOT 3462960 SOS 1985617 HAS SOPS 1978907 HAS SOUS 1390008 HAS SOUPS 1385834 WITH SCORE 1387819.617
AT ITER 189 NEW BEST:: SOT 3462960 SOS 1985486 HAS SOPS 1978776 HAS SOUS 1390007 HAS SOUPS 1385833 WITH SCORE 1387818.486
AT ITER 194 NEW BEST:: SOT 3459059 SOS 1981585 HAS SOPS 1974875 HAS SOUS 1387566 HAS SOUPS 1383392 WITH SCORE 1385373.585
AT ITER 195 NEW BEST:: SOT 3458582 SOS 1981262 HAS SOPS 1974397 HAS SOUS 1387243 HAS SOUPS 1382914 WITH SCORE 1384895.262
AT ITER 197 NEW BEST:: SOT 3458581 SOS 1981260 HAS SOPS 1974395 HAS SOUS 1387241 HAS SOUPS 1382912 WITH SCORE 1384893.26
AT ITER 198 NEW BEST:: SOT 3458581 SOS 1979738 HAS SOPS 1972873 HAS SOUS 1386672 HAS SOUPS 1382343 WITH SCORE 1384322.738
AT ITER 203 NEW BEST:: SOT 3458175 SOS 1979660 HAS SOPS 1972795 HAS SOUS 1386594 HAS SOUPS 1382265 WITH SCORE 1384244.66
AT ITER 204 NEW BEST:: SOT 3458175 SOS 1978145 HAS SOPS 1971280 HAS SOUS 1386275 HAS SOUPS 1381946 WITH SCORE 1383924.145
AT ITER 207 NEW BEST:: SOT 3458174 SOS 1978144 HAS SOPS 1971279 HAS SOUS 1386274 HAS SOUPS 1381945 WITH SCORE 1383923.144
AT ITER 208 NEW BEST:: SOT 3456978 SOS 1976947 HAS SOPS 1970082 HAS SOUS 1385592 HAS SOUPS 1381263 WITH SCORE 1383239.947
AT ITER 210 NEW BEST:: SOT 3456650 SOS 1976619 HAS SOPS 1969754 HAS SOUS 1385264 HAS SOUPS 1380935 WITH SCORE 1382911.619
AT ITER 218 NEW BEST:: SOT 3456650 SOS 1975421 HAS SOPS 1968556 HAS SOUS 1384691 HAS SOUPS 1380362 WITH SCORE 1382337.421
AT ITER 223 NEW BEST:: SOT 3452136 SOS 1970907 HAS SOPS 1964042 HAS SOUS 1381899 HAS SOUPS 1377570 WITH SCORE 1379540.907
AT ITER 228 NEW BEST:: SOT 3450179 SOS 1967963 HAS SOPS 1961098 HAS SOUS 1380312 HAS SOUPS 1375983 WITH SCORE 1377950.963
AT ITER 233 NEW BEST:: SOT 3450028 SOS 1967812 HAS SOPS 1960947 HAS SOUS 1380161 HAS SOUPS 1375832 WITH SCORE 1377799.812
AT ITER 236 NEW BEST:: SOT 3448951 SOS 1966735 HAS SOPS 1959870 HAS SOUS 1379446 HAS SOUPS 1375117 WITH SCORE 1377083.735
AT ITER 238 NEW BEST:: SOT 3448845 SOS 1966629 HAS SOPS 1959764 HAS SOUS 1379340 HAS SOUPS 1375011 WITH SCORE 1376977.629
AT ITER 240 NEW BEST:: SOT 3443364 SOS 1959049 HAS SOPS 1952184 HAS SOUS 1374811 HAS SOUPS 1370482 WITH SCORE 1372441.049
AT ITER 242 NEW BEST:: SOT 3442478 SOS 1958162 HAS SOPS 1951297 HAS SOUS 1373038 HAS SOUPS 1368709 WITH SCORE 1370667.162
AT ITER 243 NEW BEST:: SOT 3441839 SOS 1957523 HAS SOPS 1950658 HAS SOUS 1372399 HAS SOUPS 1368070 WITH SCORE 1370027.523
AT ITER 245 NEW BEST:: SOT 3441498 SOS 1956159 HAS SOPS 1949294 HAS SOUS 1371717 HAS SOUPS 1367388 WITH SCORE 1369344.159
AT ITER 246 NEW BEST:: SOT 3441498 SOS 1955790 HAS SOPS 1948925 HAS SOUS 1371532 HAS SOUPS 1367203 WITH SCORE 1369158.79
AT ITER 253 NEW BEST:: SOT 3440633 SOS 1955607 HAS SOPS 1948742 HAS SOUS 1371349 HAS SOUPS 1367020 WITH SCORE 1368975.607
AT ITER 255 NEW BEST:: SOT 3440632 SOS 1955052 HAS SOPS 1948342 HAS SOUS 1370993 HAS SOUPS 1366819 WITH SCORE 1368774.052
AT ITER 256 NEW BEST:: SOT 3435511 SOS 1949378 HAS SOPS 1942668 HAS SOUS 1367225 HAS SOUPS 1363051 WITH SCORE 1365000.378
AT ITER 262 NEW BEST:: SOT 3435511 SOS 1948019 HAS SOPS 1941309 HAS SOUS 1366545 HAS SOUPS 1362371 WITH SCORE 1364319.019
AT ITER 266 NEW BEST:: SOT 3434606 SOS 1944530 HAS SOPS 1938534 HAS SOUS 1364541 HAS SOUPS 1360595 WITH SCORE 1362539.53
AT ITER 267 NEW BEST:: SOT 3434606 SOS 1944530 HAS SOPS 1938534 HAS SOUS 1364507 HAS SOUPS 1360561 WITH SCORE 1362505.53
AT ITER 269 NEW BEST:: SOT 3432473 SOS 1942397 HAS SOPS 1936401 HAS SOUS 1362405 HAS SOUPS 1358459 WITH SCORE 1360401.397
AT ITER 271 NEW BEST:: SOT 3432472 SOS 1942395 HAS SOPS 1936399 HAS SOUS 1361963 HAS SOUPS 1358017 WITH SCORE 1359959.395
AT ITER 273 NEW BEST:: SOT 3432472 SOS 1942394 HAS SOPS 1936398 HAS SOUS 1361532 HAS SOUPS 1357586 WITH SCORE 1359528.394
AT ITER 274 NEW BEST:: SOT 3432408 SOS 1942330 HAS SOPS 1936334 HAS SOUS 1360842 HAS SOUPS 1356896 WITH SCORE 1358838.33
AT ITER 275 NEW BEST:: SOT 3432408 SOS 1942329 HAS SOPS 1936333 HAS SOUS 1360841 HAS SOUPS 1356895 WITH SCORE 1358837.329
AT ITER 279 NEW BEST:: SOT 3432118 SOS 1941698 HAS SOPS 1935527 HAS SOUS 1360210 HAS SOUPS 1356089 WITH SCORE 1358030.698
AT ITER 283 NEW BEST:: SOT 3429081 SOS 1938661 HAS SOPS 1932490 HAS SOUS 1358229 HAS SOUPS 1354108 WITH SCORE 1356046.661
AT ITER 284 NEW BEST:: SOT 3429081 SOS 1937976 HAS SOPS 1931805 HAS SOUS 1357886 HAS SOUPS 1353765 WITH SCORE 1355702.976
AT ITER 286 NEW BEST:: SOT 3426968 SOS 1937112 HAS SOPS 1929692 HAS SOUS 1355569 HAS SOUPS 1350811 WITH SCORE 1352748.112
AT ITER 288 NEW BEST:: SOT 3424497 SOS 1934641 HAS SOPS 1927221 HAS SOUS 1354130 HAS SOUPS 1349372 WITH SCORE 1351306.641
AT ITER 296 NEW BEST:: SOT 3424497 SOS 1933285 HAS SOPS 1925865 HAS SOUS 1353856 HAS SOUPS 1349098 WITH SCORE 1351031.285
AT ITER 301 NEW BEST:: SOT 3424147 SOS 1932934 HAS SOPS 1925514 HAS SOUS 1353505 HAS SOUPS 1348747 WITH SCORE 1350679.934
AT ITER 305 NEW BEST:: SOT 3424147 SOS 1930921 HAS SOPS 1923501 HAS SOUS 1352475 HAS SOUPS 1347717 WITH SCORE 1349647.921
AT ITER 306 NEW BEST:: SOT 3424147 SOS 1928806 HAS SOPS 1921386 HAS SOUS 1351147 HAS SOUPS 1346389 WITH SCORE 1348317.806
AT ITER 307 NEW BEST:: SOT 3424037 SOS 1928696 HAS SOPS 1921276 HAS SOUS 1351037 HAS SOUPS 1346279 WITH SCORE 1348207.696
AT ITER 311 NEW BEST:: SOT 3423758 SOS 1928417 HAS SOPS 1920997 HAS SOUS 1350217 HAS SOUPS 1345459 WITH SCORE 1347387.417
AT ITER 312 NEW BEST:: SOT 3418738 SOS 1925230 HAS SOPS 1917810 HAS SOUS 1347123 HAS SOUPS 1342365 WITH SCORE 1344290.23
AT ITER 313 NEW BEST:: SOT 3418384 SOS 1923814 HAS SOPS 1916394 HAS SOUS 1346061 HAS SOUPS 1341303 WITH SCORE 1343226.814
AT ITER 314 NEW BEST:: SOT 3418384 SOS 1923080 HAS SOPS 1915660 HAS SOUS 1345797 HAS SOUPS 1341039 WITH SCORE 1342962.08
AT ITER 317 NEW BEST:: SOT 3418384 SOS 1923079 HAS SOPS 1915659 HAS SOUS 1345796 HAS SOUPS 1341038 WITH SCORE 1342961.079
AT ITER 319 NEW BEST:: SOT 3418258 SOS 1922953 HAS SOPS 1915533 HAS SOUS 1345796 HAS SOUPS 1341038 WITH SCORE 1342960.953
AT ITER 323 NEW BEST:: SOT 3417506 SOS 1922200 HAS SOPS 1914780 HAS SOUS 1345231 HAS SOUPS 1340473 WITH SCORE 1342395.2
AT ITER 324 NEW BEST:: SOT 3417506 SOS 1922200 HAS SOPS 1914780 HAS SOUS 1345020 HAS SOUPS 1340262 WITH SCORE 1342184.2
AT ITER 326 NEW BEST:: SOT 3417506 SOS 1921513 HAS SOPS 1914093 HAS SOUS 1344676 HAS SOUPS 1339918 WITH SCORE 1341839.513
AT ITER 327 NEW BEST:: SOT 3417506 SOS 1919066 HAS SOPS 1911646 HAS SOUS 1344249 HAS SOUPS 1339491 WITH SCORE 1341410.066
AT ITER 329 NEW BEST:: SOT 3417125 SOS 1919852 HAS SOPS 1911265 HAS SOUS 1343629 HAS SOUPS 1338275 WITH SCORE 1340194.852
AT ITER 330 NEW BEST:: SOT 3416061 SOS 1919844 HAS SOPS 1910200 HAS SOUS 1342529 HAS SOUPS 1336679 WITH SCORE 1338598.844
AT ITER 333 NEW BEST:: SOT 3415903 SOS 1919686 HAS SOPS 1910042 HAS SOUS 1342529 HAS SOUPS 1336679 WITH SCORE 1338598.686
AT ITER 334 NEW BEST:: SOT 3415114 SOS 1919237 HAS SOPS 1909252 HAS SOUS 1341922 HAS SOUPS 1335889 WITH SCORE 1337808.237
AT ITER 335 NEW BEST:: SOT 3411605 SOS 1916700 HAS SOPS 1906715 HAS SOUS 1340895 HAS SOUPS 1334862 WITH SCORE 1336778.7
AT ITER 339 NEW BEST:: SOT 3411108 SOS 1917368 HAS SOPS 1906218 HAS SOUS 1340930 HAS SOUPS 1334365 WITH SCORE 1336282.368
AT ITER 342 NEW BEST:: SOT 3405525 SOS 1909336 HAS SOPS 1898186 HAS SOUS 1336257 HAS SOUPS 1329692 WITH SCORE 1331601.336
AT ITER 344 NEW BEST:: SOT 3404900 SOS 1909335 HAS SOPS 1898185 HAS SOUS 1335881 HAS SOUPS 1329316 WITH SCORE 1331225.335
AT ITER 345 NEW BEST:: SOT 3404374 SOS 1908483 HAS SOPS 1896916 HAS SOUS 1335142 HAS SOUPS 1328362 WITH SCORE 1330270.483
AT ITER 346 NEW BEST:: SOT 3404374 SOS 1908483 HAS SOPS 1896916 HAS SOUS 1334395 HAS SOUPS 1327615 WITH SCORE 1329523.483
AT ITER 347 NEW BEST:: SOT 3404374 SOS 1907531 HAS SOPS 1895964 HAS SOUS 1334395 HAS SOUPS 1327615 WITH SCORE 1329522.531
AT ITER 348 NEW BEST:: SOT 3403994 SOS 1907151 HAS SOPS 1895584 HAS SOUS 1334395 HAS SOUPS 1327615 WITH SCORE 1329522.151
AT ITER 351 NEW BEST:: SOT 3403994 SOS 1906146 HAS SOPS 1894043 HAS SOUS 1333926 HAS SOUPS 1326610 WITH SCORE 1328516.146
AT ITER 352 NEW BEST:: SOT 3403467 SOS 1905956 HAS SOPS 1893516 HAS SOUS 1332581 HAS SOUPS 1324928 WITH SCORE 1326833.956
AT ITER 357 NEW BEST:: SOT 3403467 SOS 1905216 HAS SOPS 1892776 HAS SOUS 1332580 HAS SOUPS 1324927 WITH SCORE 1326832.216
AT ITER 358 NEW BEST:: SOT 3403467 SOS 1905215 HAS SOPS 1892775 HAS SOUS 1332579 HAS SOUPS 1324926 WITH SCORE 1326831.215
AT ITER 359 NEW BEST:: SOT 3400805 SOS 1904164 HAS SOPS 1891724 HAS SOUS 1331272 HAS SOUPS 1323619 WITH SCORE 1325523.164
AT ITER 360 NEW BEST:: SOT 3397994 SOS 1901353 HAS SOPS 1888913 HAS SOUS 1329399 HAS SOUPS 1321746 WITH SCORE 1323647.353
AT ITER 363 NEW BEST:: SOT 3397405 SOS 1900763 HAS SOPS 1888323 HAS SOUS 1329175 HAS SOUPS 1321522 WITH SCORE 1323422.763
AT ITER 364 NEW BEST:: SOT 3396846 SOS 1900204 HAS SOPS 1887764 HAS SOUS 1329027 HAS SOUPS 1321374 WITH SCORE 1323274.204
AT ITER 367 NEW BEST:: SOT 3396083 SOS 1899440 HAS SOPS 1887000 HAS SOUS 1328763 HAS SOUPS 1321110 WITH SCORE 1323009.44
AT ITER 368 NEW BEST:: SOT 3395532 SOS 1899303 HAS SOPS 1884377 HAS SOUS 1328058 HAS SOUPS 1319496 WITH SCORE 1321395.303
AT ITER 370 NEW BEST:: SOT 3395532 SOS 1898873 HAS SOPS 1883947 HAS SOUS 1327843 HAS SOUPS 1319281 WITH SCORE 1321179.873
AT ITER 372 NEW BEST:: SOT 3395532 SOS 1898318 HAS SOPS 1883392 HAS SOUS 1327288 HAS SOUPS 1318726 WITH SCORE 1320624.318
AT ITER 374 NEW BEST:: SOT 3395531 SOS 1896804 HAS SOPS 1881878 HAS SOUS 1326715 HAS SOUPS 1318153 WITH SCORE 1320049.804
AT ITER 376 NEW BEST:: SOT 3395813 SOS 1894367 HAS SOPS 1879441 HAS SOUS 1325441 HAS SOUPS 1316879 WITH SCORE 1318773.367
AT ITER 377 NEW BEST:: SOT 3393813 SOS 1892367 HAS SOPS 1877441 HAS SOUS 1324355 HAS SOUPS 1315793 WITH SCORE 1317685.367
AT ITER 384 NEW BEST:: SOT 3393812 SOS 1892366 HAS SOPS 1877440 HAS SOUS 1324199 HAS SOUPS 1315637 WITH SCORE 1317529.366
AT ITER 386 NEW BEST:: SOT 3389213 SOS 1887767 HAS SOPS 1872841 HAS SOUS 1321560 HAS SOUPS 1312998 WITH SCORE 1314885.767
AT ITER 387 NEW BEST:: SOT 3388106 SOS 1883413 HAS SOPS 1868487 HAS SOUS 1319420 HAS SOUPS 1310858 WITH SCORE 1312741.413
AT ITER 395 NEW BEST:: SOT 3382189 SOS 1875881 HAS SOPS 1860955 HAS SOUS 1315092 HAS SOUPS 1306530 WITH SCORE 1308405.881
AT ITER 396 NEW BEST:: SOT 3380428 SOS 1875730 HAS SOPS 1860804 HAS SOUS 1314941 HAS SOUPS 1306379 WITH SCORE 1308254.73
AT ITER 398 NEW BEST:: SOT 3380428 SOS 1875730 HAS SOPS 1860804 HAS SOUS 1314817 HAS SOUPS 1306255 WITH SCORE 1308130.73
AT ITER 401 NEW BEST:: SOT 3380428 SOS 1875459 HAS SOPS 1860533 HAS SOUS 1314816 HAS SOUPS 1306254 WITH SCORE 1308129.459
AT ITER 403 NEW BEST:: SOT 3380313 SOS 1875344 HAS SOPS 1860418 HAS SOUS 1314701 HAS SOUPS 1306139 WITH SCORE 1308014.344
AT ITER 404 NEW BEST:: SOT 3380313 SOS 1873761 HAS SOPS 1858835 HAS SOUS 1314700 HAS SOUPS 1306138 WITH SCORE 1308011.761
AT ITER 405 NEW BEST:: SOT 3380313 SOS 1873045 HAS SOPS 1858119 HAS SOUS 1314527 HAS SOUPS 1305965 WITH SCORE 1307838.045
AT ITER 406 NEW BEST:: SOT 3379638 SOS 1872432 HAS SOPS 1857443 HAS SOUS 1313914 HAS SOUPS 1305289 WITH SCORE 1307161.432
AT ITER 411 NEW BEST:: SOT 3376501 SOS 1869295 HAS SOPS 1854306 HAS SOUS 1311965 HAS SOUPS 1303340 WITH SCORE 1305209.295
AT ITER 416 NEW BEST:: SOT 3376186 SOS 1868770 HAS SOPS 1853781 HAS SOUS 1311650 HAS SOUPS 1303025 WITH SCORE 1304893.77
AT ITER 418 NEW BEST:: SOT 3375154 SOS 1868675 HAS SOPS 1852749 HAS SOUS 1310442 HAS SOUPS 1301336 WITH SCORE 1303204.675
AT ITER 422 NEW BEST:: SOT 3375154 SOS 1869317 HAS SOPS 1852749 HAS SOUS 1310442 HAS SOUPS 1301122 WITH SCORE 1302991.317
AT ITER 426 NEW BEST:: SOT 3374467 SOS 1866083 HAS SOPS 1849515 HAS SOUS 1307844 HAS SOUPS 1298524 WITH SCORE 1300390.083
AT ITER 427 NEW BEST:: SOT 3374471 SOS 1863411 HAS SOPS 1846843 HAS SOUS 1307575 HAS SOUPS 1298255 WITH SCORE 1300118.411
AT ITER 429 NEW BEST:: SOT 3371598 SOS 1858499 HAS SOPS 1841931 HAS SOUS 1304689 HAS SOUPS 1295369 WITH SCORE 1297227.499
AT ITER 430 NEW BEST:: SOT 3371212 SOS 1858124 HAS SOPS 1841544 HAS SOUS 1304314 HAS SOUPS 1294982 WITH SCORE 1296840.124
AT ITER 433 NEW BEST:: SOT 3371022 SOS 1857934 HAS SOPS 1841354 HAS SOUS 1304314 HAS SOUPS 1294982 WITH SCORE 1296839.934
AT ITER 436 NEW BEST:: SOT 3371022 SOS 1856026 HAS SOPS 1839446 HAS SOUS 1303198 HAS SOUPS 1293866 WITH SCORE 1295722.026
AT ITER 441 NEW BEST:: SOT 3367777 SOS 1850000 HAS SOPS 1833420 HAS SOUS 1299458 HAS SOUPS 1290126 WITH SCORE 1291976.0
AT ITER 447 NEW BEST:: SOT 3365661 SOS 1847884 HAS SOPS 1831304 HAS SOUS 1297906 HAS SOUPS 1288574 WITH SCORE 1290421.884
AT ITER 452 NEW BEST:: SOT 3365661 SOS 1847645 HAS SOPS 1831065 HAS SOUS 1297905 HAS SOUPS 1288573 WITH SCORE 1290420.645
AT ITER 454 NEW BEST:: SOT 3362922 SOS 1844905 HAS SOPS 1828325 HAS SOUS 1296306 HAS SOUPS 1286974 WITH SCORE 1288818.905
AT ITER 457 NEW BEST:: SOT 3362803 SOS 1844786 HAS SOPS 1828206 HAS SOUS 1296187 HAS SOUPS 1286855 WITH SCORE 1288699.786
AT ITER 462 NEW BEST:: SOT 3362803 SOS 1842830 HAS SOPS 1826250 HAS SOUS 1295049 HAS SOUPS 1285717 WITH SCORE 1287559.83
AT ITER 464 NEW BEST:: SOT 3362883 SOS 1842897 HAS SOPS 1825918 HAS SOUS 1295104 HAS SOUPS 1285385 WITH SCORE 1287227.897
AT ITER 465 NEW BEST:: SOT 3361072 SOS 1841085 HAS SOPS 1824106 HAS SOUS 1293996 HAS SOUPS 1284277 WITH SCORE 1286118.085
AT ITER 467 NEW BEST:: SOT 3355955 SOS 1835967 HAS SOPS 1818988 HAS SOUS 1290942 HAS SOUPS 1281223 WITH SCORE 1283058.967
AT ITER 472 NEW BEST:: SOT 3352811 SOS 1829393 HAS SOPS 1812414 HAS SOUS 1286766 HAS SOUPS 1277047 WITH SCORE 1278876.393
AT ITER 473 NEW BEST:: SOT 3352901 SOS 1826973 HAS SOPS 1809994 HAS SOUS 1286546 HAS SOUPS 1276827 WITH SCORE 1278653.973
AT ITER 476 NEW BEST:: SOT 3352373 SOS 1826171 HAS SOPS 1808881 HAS SOUS 1285808 HAS SOUPS 1275714 WITH SCORE 1277540.171
AT ITER 478 NEW BEST:: SOT 3352259 SOS 1825981 HAS SOPS 1808691 HAS SOUS 1285694 HAS SOUPS 1275600 WITH SCORE 1277425.981
AT ITER 482 NEW BEST:: SOT 3351921 SOS 1825643 HAS SOPS 1808353 HAS SOUS 1285628 HAS SOUPS 1275534 WITH SCORE 1277359.643
AT ITER 485 NEW BEST:: SOT 3348651 SOS 1819850 HAS SOPS 1802560 HAS SOUS 1282277 HAS SOUPS 1272183 WITH SCORE 1274002.85
AT ITER 490 NEW BEST:: SOT 3347540 SOS 1818739 HAS SOPS 1801449 HAS SOUS 1281197 HAS SOUPS 1271103 WITH SCORE 1272921.739
AT ITER 492 NEW BEST:: SOT 3346771 SOS 1815557 HAS SOPS 1798267 HAS SOUS 1279400 HAS SOUPS 1269306 WITH SCORE 1271121.557
AT ITER 493 NEW BEST:: SOT 3340634 SOS 1807068 HAS SOPS 1789778 HAS SOUS 1274403 HAS SOUPS 1264309 WITH SCORE 1266116.068
AT ITER 497 NEW BEST:: SOT 3336383 SOS 1801273 HAS SOPS 1783983 HAS SOUS 1270667 HAS SOUPS 1260573 WITH SCORE 1262374.273
AT ITER 501 NEW BEST:: SOT 3334770 SOS 1799659 HAS SOPS 1782369 HAS SOUS 1269849 HAS SOUPS 1259755 WITH SCORE 1261554.659
AT ITER 502 NEW BEST:: SOT 3335575 SOS 1798627 HAS SOPS 1781337 HAS SOUS 1269171 HAS SOUPS 1259077 WITH SCORE 1260875.627
AT ITER 504 NEW BEST:: SOT 3335454 SOS 1798506 HAS SOPS 1781216 HAS SOUS 1269050 HAS SOUPS 1258956 WITH SCORE 1260754.506
AT ITER 509 NEW BEST:: SOT 3335454 SOS 1798505 HAS SOPS 1781215 HAS SOUS 1268764 HAS SOUPS 1258670 WITH SCORE 1260468.505
AT ITER 512 NEW BEST:: SOT 3335175 SOS 1797304 HAS SOPS 1779794 HAS SOUS 1268523 HAS SOUPS 1258209 WITH SCORE 1260006.304
AT ITER 513 NEW BEST:: SOT 3335175 SOS 1796615 HAS SOPS 1779105 HAS SOUS 1268484 HAS SOUPS 1258170 WITH SCORE 1259966.615
AT ITER 518 NEW BEST:: SOT 3334909 SOS 1796349 HAS SOPS 1778839 HAS SOUS 1268218 HAS SOUPS 1257904 WITH SCORE 1259700.349
AT ITER 519 NEW BEST:: SOT 3330809 SOS 1792248 HAS SOPS 1774738 HAS SOUS 1264884 HAS SOUPS 1254570 WITH SCORE 1256362.248
AT ITER 523 NEW BEST:: SOT 3331251 SOS 1791907 HAS SOPS 1774397 HAS SOUS 1264872 HAS SOUPS 1254558 WITH SCORE 1256349.907
AT ITER 524 NEW BEST:: SOT 3331251 SOS 1791005 HAS SOPS 1773495 HAS SOUS 1264421 HAS SOUPS 1254107 WITH SCORE 1255898.005
AT ITER 527 NEW BEST:: SOT 3331250 SOS 1791004 HAS SOPS 1773494 HAS SOUS 1264420 HAS SOUPS 1254106 WITH SCORE 1255897.004
AT ITER 532 NEW BEST:: SOT 3331250 SOS 1790548 HAS SOPS 1773494 HAS SOUS 1264205 HAS SOUPS 1254106 WITH SCORE 1255896.548
AT ITER 533 NEW BEST:: SOT 3331283 SOS 1787314 HAS SOPS 1770260 HAS SOUS 1262739 HAS SOUPS 1252640 WITH SCORE 1254427.314
AT ITER 535 NEW BEST:: SOT 3328283 SOS 1784314 HAS SOPS 1767260 HAS SOUS 1261391 HAS SOUPS 1251292 WITH SCORE 1253076.314
AT ITER 538 NEW BEST:: SOT 3326245 SOS 1781510 HAS SOPS 1762168 HAS SOUS 1258427 HAS SOUPS 1247342 WITH SCORE 1249123.51
AT ITER 539 NEW BEST:: SOT 3325495 SOS 1780954 HAS SOPS 1761417 HAS SOUS 1256886 HAS SOUPS 1245606 WITH SCORE 1247386.954
AT ITER 541 NEW BEST:: SOT 3322643 SOS 1778102 HAS SOPS 1758565 HAS SOUS 1254870 HAS SOUPS 1243590 WITH SCORE 1245368.102
AT ITER 543 NEW BEST:: SOT 3322643 SOS 1776437 HAS SOPS 1756900 HAS SOUS 1253790 HAS SOUPS 1242510 WITH SCORE 1244286.437
AT ITER 544 NEW BEST:: SOT 3322643 SOS 1775896 HAS SOPS 1756359 HAS SOUS 1253610 HAS SOUPS 1242330 WITH SCORE 1244105.896
AT ITER 550 NEW BEST:: SOT 3322643 SOS 1774189 HAS SOPS 1754652 HAS SOUS 1253132 HAS SOUPS 1241852 WITH SCORE 1243626.189
AT ITER 553 NEW BEST:: SOT 3322026 SOS 1773572 HAS SOPS 1754035 HAS SOUS 1252515 HAS SOUPS 1241235 WITH SCORE 1243008.572
AT ITER 557 NEW BEST:: SOT 3323286 SOS 1773494 HAS SOPS 1753181 HAS SOUS 1252437 HAS SOUPS 1240381 WITH SCORE 1242154.494
AT ITER 558 NEW BEST:: SOT 3323133 SOS 1773340 HAS SOPS 1753027 HAS SOUS 1252283 HAS SOUPS 1240227 WITH SCORE 1242000.34
AT ITER 560 NEW BEST:: SOT 3321146 SOS 1770765 HAS SOPS 1748495 HAS SOUS 1249546 HAS SOUPS 1236614 WITH SCORE 1238384.765
AT ITER 561 NEW BEST:: SOT 3321146 SOS 1768249 HAS SOPS 1745979 HAS SOUS 1248870 HAS SOUPS 1235938 WITH SCORE 1237706.249
AT ITER 564 NEW BEST:: SOT 3317916 SOS 1765019 HAS SOPS 1742749 HAS SOUS 1246264 HAS SOUPS 1233332 WITH SCORE 1235097.019
AT ITER 574 NEW BEST:: SOT 3317368 SOS 1764594 HAS SOPS 1742200 HAS SOUS 1245839 HAS SOUPS 1232783 WITH SCORE 1234547.594
AT ITER 575 NEW BEST:: SOT 3317368 SOS 1764435 HAS SOPS 1742041 HAS SOUS 1245680 HAS SOUPS 1232624 WITH SCORE 1234388.435
AT ITER 579 NEW BEST:: SOT 3312816 SOS 1761762 HAS SOPS 1739368 HAS SOUS 1243368 HAS SOUPS 1230312 WITH SCORE 1232073.762
AT ITER 582 NEW BEST:: SOT 3311043 SOS 1759988 HAS SOPS 1737594 HAS SOUS 1242683 HAS SOUPS 1229627 WITH SCORE 1231386.988
AT ITER 583 NEW BEST:: SOT 3311043 SOS 1759854 HAS SOPS 1737460 HAS SOUS 1242683 HAS SOUPS 1229627 WITH SCORE 1231386.854
AT ITER 585 NEW BEST:: SOT 3309816 SOS 1760105 HAS SOPS 1736233 HAS SOUS 1241326 HAS SOUPS 1227634 WITH SCORE 1229394.105
AT ITER 586 NEW BEST:: SOT 3306840 SOS 1754179 HAS SOPS 1730307 HAS SOUS 1237808 HAS SOUPS 1224116 WITH SCORE 1225870.179
AT ITER 587 NEW BEST:: SOT 3301100 SOS 1748439 HAS SOPS 1724567 HAS SOUS 1234224 HAS SOUPS 1220532 WITH SCORE 1222280.439
AT ITER 588 NEW BEST:: SOT 3296361 SOS 1743364 HAS SOPS 1719492 HAS SOUS 1231055 HAS SOUPS 1217363 WITH SCORE 1219106.364
AT ITER 591 NEW BEST:: SOT 3296366 SOS 1743376 HAS SOPS 1719497 HAS SOUS 1230183 HAS SOUPS 1216484 WITH SCORE 1218227.376
AT ITER 595 NEW BEST:: SOT 3296366 SOS 1742407 HAS SOPS 1718528 HAS SOUS 1229698 HAS SOUPS 1215999 WITH SCORE 1217741.407
AT ITER 596 NEW BEST:: SOT 3296356 SOS 1739396 HAS SOPS 1714896 HAS SOUS 1228086 HAS SOUPS 1213766 WITH SCORE 1215505.396
AT ITER 598 NEW BEST:: SOT 3296356 SOS 1739395 HAS SOPS 1714895 HAS SOUS 1228085 HAS SOUPS 1213765 WITH SCORE 1215504.395
AT ITER 599 NEW BEST:: SOT 3293575 SOS 1739373 HAS SOPS 1714873 HAS SOUS 1226940 HAS SOUPS 1212620 WITH SCORE 1214359.373
AT ITER 601 NEW BEST:: SOT 3292349 SOS 1739489 HAS SOPS 1713647 HAS SOUS 1226397 HAS SOUPS 1211394 WITH SCORE 1213133.489
AT ITER 604 NEW BEST:: SOT 3292247 SOS 1739387 HAS SOPS 1713545 HAS SOUS 1226295 HAS SOUPS 1211292 WITH SCORE 1213031.387
AT ITER 607 NEW BEST:: SOT 3290739 SOS 1735769 HAS SOPS 1709927 HAS SOUS 1224014 HAS SOUPS 1209011 WITH SCORE 1210746.769
AT ITER 609 NEW BEST:: SOT 3289976 SOS 1734691 HAS SOPS 1708227 HAS SOUS 1222965 HAS SOUPS 1207686 WITH SCORE 1209420.691
AT ITER 613 NEW BEST:: SOT 3289976 SOS 1734985 HAS SOPS 1708528 HAS SOUS 1222957 HAS SOUPS 1207685 WITH SCORE 1209419.985
AT ITER 614 NEW BEST:: SOT 3289655 SOS 1734985 HAS SOPS 1708528 HAS SOUS 1222850 HAS SOUPS 1207578 WITH SCORE 1209312.985
AT ITER 616 NEW BEST:: SOT 3289655 SOS 1734163 HAS SOPS 1707279 HAS SOUS 1221626 HAS SOUPS 1206329 WITH SCORE 1208063.163
AT ITER 618 NEW BEST:: SOT 3288559 SOS 1735311 HAS SOPS 1708427 HAS SOUS 1221558 HAS SOUPS 1206261 WITH SCORE 1207996.311
AT ITER 620 NEW BEST:: SOT 3287238 SOS 1732415 HAS SOPS 1705531 HAS SOUS 1219910 HAS SOUPS 1204613 WITH SCORE 1206345.415
AT ITER 621 NEW BEST:: SOT 3286086 SOS 1731263 HAS SOPS 1704379 HAS SOUS 1219142 HAS SOUPS 1203845 WITH SCORE 1205576.263
AT ITER 628 NEW BEST:: SOT 3286086 SOS 1731262 HAS SOPS 1704378 HAS SOUS 1219141 HAS SOUPS 1203844 WITH SCORE 1205575.262
AT ITER 629 NEW BEST:: SOT 3285890 SOS 1731066 HAS SOPS 1704182 HAS SOUS 1218945 HAS SOUPS 1203648 WITH SCORE 1205379.066
AT ITER 630 NEW BEST:: SOT 3285890 SOS 1730702 HAS SOPS 1703818 HAS SOUS 1218944 HAS SOUPS 1203647 WITH SCORE 1205377.702
AT ITER 636 NEW BEST:: SOT 3285839 SOS 1730650 HAS SOPS 1703766 HAS SOUS 1218841 HAS SOUPS 1203544 WITH SCORE 1205274.65
AT ITER 637 NEW BEST:: SOT 3284350 SOS 1729646 HAS SOPS 1702277 HAS SOUS 1217607 HAS SOUPS 1202055 WITH SCORE 1203784.646
AT ITER 639 NEW BEST:: SOT 3284350 SOS 1729367 HAS SOPS 1701998 HAS SOUS 1217607 HAS SOUPS 1202055 WITH SCORE 1203784.367
AT ITER 645 NEW BEST:: SOT 3284350 SOS 1729191 HAS SOPS 1701822 HAS SOUS 1217519 HAS SOUPS 1201967 WITH SCORE 1203696.191
AT ITER 649 NEW BEST:: SOT 3283743 SOS 1728584 HAS SOPS 1701215 HAS SOUS 1217236 HAS SOUPS 1201684 WITH SCORE 1203412.584
AT ITER 652 NEW BEST:: SOT 3283622 SOS 1728583 HAS SOPS 1701214 HAS SOUS 1217235 HAS SOUPS 1201683 WITH SCORE 1203411.583
AT ITER 660 NEW BEST:: SOT 3283622 SOS 1728582 HAS SOPS 1701213 HAS SOUS 1217234 HAS SOUPS 1201682 WITH SCORE 1203410.582
AT ITER 663 NEW BEST:: SOT 3283543 SOS 1728541 HAS SOPS 1701134 HAS SOUS 1217193 HAS SOUPS 1201603 WITH SCORE 1203331.541
AT ITER 672 NEW BEST:: SOT 3283120 SOS 1730828 HAS SOPS 1700710 HAS SOUS 1217567 HAS SOUPS 1201179 WITH SCORE 1202909.828
AT ITER 673 NEW BEST:: SOT 3283367 SOS 1730026 HAS SOPS 1699908 HAS SOUS 1216832 HAS SOUPS 1200444 WITH SCORE 1202174.026
AT ITER 676 NEW BEST:: SOT 3282836 SOS 1729495 HAS SOPS 1699377 HAS SOUS 1216772 HAS SOUPS 1200384 WITH SCORE 1202113.495
AT ITER 677 NEW BEST:: SOT 3277501 SOS 1724160 HAS SOPS 1694042 HAS SOUS 1213753 HAS SOUPS 1197365 WITH SCORE 1199089.16
AT ITER 681 NEW BEST:: SOT 3277121 SOS 1722699 HAS SOPS 1692581 HAS SOUS 1213052 HAS SOUPS 1196664 WITH SCORE 1198386.699
AT ITER 683 NEW BEST:: SOT 3275510 SOS 1720480 HAS SOPS 1690362 HAS SOUS 1211398 HAS SOUPS 1195010 WITH SCORE 1196730.48
AT ITER 685 NEW BEST:: SOT 3275340 SOS 1720055 HAS SOPS 1689937 HAS SOUS 1211311 HAS SOUPS 1194923 WITH SCORE 1196643.055
AT ITER 686 NEW BEST:: SOT 3274885 SOS 1719600 HAS SOPS 1689482 HAS SOUS 1209806 HAS SOUPS 1193418 WITH SCORE 1195137.6
AT ITER 689 NEW BEST:: SOT 3274885 SOS 1719478 HAS SOPS 1689360 HAS SOUS 1209684 HAS SOUPS 1193296 WITH SCORE 1195015.478
AT ITER 691 NEW BEST:: SOT 3273991 SOS 1718261 HAS SOPS 1688143 HAS SOUS 1208791 HAS SOUPS 1192403 WITH SCORE 1194121.261
AT ITER 692 NEW BEST:: SOT 3273175 SOS 1714164 HAS SOPS 1684046 HAS SOUS 1206308 HAS SOUPS 1189920 WITH SCORE 1191634.164
AT ITER 693 NEW BEST:: SOT 3273174 SOS 1711933 HAS SOPS 1681815 HAS SOUS 1204892 HAS SOUPS 1188504 WITH SCORE 1190215.933
AT ITER 696 NEW BEST:: SOT 3273174 SOS 1711649 HAS SOPS 1681531 HAS SOUS 1204608 HAS SOUPS 1188220 WITH SCORE 1189931.649
AT ITER 699 NEW BEST:: SOT 3273598 SOS 1711863 HAS SOPS 1681745 HAS SOUS 1204475 HAS SOUPS 1188087 WITH SCORE 1189798.863
AT ITER 700 NEW BEST:: SOT 3273067 SOS 1711113 HAS SOPS 1680995 HAS SOUS 1203725 HAS SOUPS 1187337 WITH SCORE 1189048.113
AT ITER 701 NEW BEST:: SOT 3272414 SOS 1710332 HAS SOPS 1680214 HAS SOUS 1202944 HAS SOUPS 1186556 WITH SCORE 1188266.332
AT ITER 703 NEW BEST:: SOT 3272255 SOS 1709832 HAS SOPS 1680055 HAS SOUS 1202602 HAS SOUPS 1186397 WITH SCORE 1188106.832
AT ITER 705 NEW BEST:: SOT 3271904 SOS 1705865 HAS SOPS 1676088 HAS SOUS 1201021 HAS SOUPS 1184816 WITH SCORE 1186521.865
AT ITER 707 NEW BEST:: SOT 3271904 SOS 1704702 HAS SOPS 1674925 HAS SOUS 1200775 HAS SOUPS 1184570 WITH SCORE 1186274.702
AT ITER 708 NEW BEST:: SOT 3271548 SOS 1704346 HAS SOPS 1674569 HAS SOUS 1200775 HAS SOUPS 1184570 WITH SCORE 1186274.346
AT ITER 709 NEW BEST:: SOT 3270526 SOS 1703324 HAS SOPS 1673547 HAS SOUS 1200419 HAS SOUPS 1184214 WITH SCORE 1185917.324
AT ITER 713 NEW BEST:: SOT 3270765 SOS 1703421 HAS SOPS 1673644 HAS SOUS 1200206 HAS SOUPS 1184001 WITH SCORE 1185704.421
AT ITER 718 NEW BEST:: SOT 3270074 SOS 1702730 HAS SOPS 1672953 HAS SOUS 1199761 HAS SOUPS 1183556 WITH SCORE 1185258.73
AT ITER 720 NEW BEST:: SOT 3269962 SOS 1702617 HAS SOPS 1672840 HAS SOUS 1199648 HAS SOUPS 1183443 WITH SCORE 1185145.617
AT ITER 735 NEW BEST:: SOT 3269962 SOS 1701228 HAS SOPS 1671451 HAS SOUS 1198722 HAS SOUPS 1182517 WITH SCORE 1184218.228
AT ITER 737 NEW BEST:: SOT 3269949 SOS 1701311 HAS SOPS 1671438 HAS SOUS 1197927 HAS SOUPS 1181626 WITH SCORE 1183327.311
AT ITER 739 NEW BEST:: SOT 3266886 SOS 1700390 HAS SOPS 1670517 HAS SOUS 1197414 HAS SOUPS 1181113 WITH SCORE 1182813.39
AT ITER 741 NEW BEST:: SOT 3266873 SOS 1700377 HAS SOPS 1670504 HAS SOUS 1197401 HAS SOUPS 1181100 WITH SCORE 1182800.377
AT ITER 742 NEW BEST:: SOT 3266129 SOS 1698889 HAS SOPS 1669016 HAS SOUS 1195169 HAS SOUPS 1178868 WITH SCORE 1180566.889
AT ITER 743 NEW BEST:: SOT 3262682 SOS 1692466 HAS SOPS 1662593 HAS SOUS 1191474 HAS SOUPS 1175173 WITH SCORE 1176865.466
AT ITER 744 NEW BEST:: SOT 3262363 SOS 1692147 HAS SOPS 1662274 HAS SOUS 1191265 HAS SOUPS 1174964 WITH SCORE 1176656.147
AT ITER 745 NEW BEST:: SOT 3262363 SOS 1691626 HAS SOPS 1661753 HAS SOUS 1191265 HAS SOUPS 1174964 WITH SCORE 1176655.626
AT ITER 746 NEW BEST:: SOT 3258716 SOS 1687491 HAS SOPS 1657618 HAS SOUS 1188708 HAS SOUPS 1172407 WITH SCORE 1174094.491
AT ITER 747 NEW BEST:: SOT 3258492 SOS 1687266 HAS SOPS 1657393 HAS SOUS 1188483 HAS SOUPS 1172182 WITH SCORE 1173869.266
AT ITER 748 NEW BEST:: SOT 3258345 SOS 1686187 HAS SOPS 1656314 HAS SOUS 1188090 HAS SOUPS 1171789 WITH SCORE 1173475.187
AT ITER 750 NEW BEST:: SOT 3257922 SOS 1685764 HAS SOPS 1655891 HAS SOUS 1187667 HAS SOUPS 1171366 WITH SCORE 1173051.764
AT ITER 751 NEW BEST:: SOT 3252290 SOS 1677364 HAS SOPS 1647491 HAS SOUS 1182678 HAS SOUPS 1166377 WITH SCORE 1168054.364
AT ITER 753 NEW BEST:: SOT 3252290 SOS 1677189 HAS SOPS 1647316 HAS SOUS 1182503 HAS SOUPS 1166202 WITH SCORE 1167879.189
AT ITER 760 NEW BEST:: SOT 3251755 SOS 1678843 HAS SOPS 1645744 HAS SOUS 1181923 HAS SOUPS 1164630 WITH SCORE 1166308.843
AT ITER 764 NEW BEST:: SOT 3251682 SOS 1675795 HAS SOPS 1642696 HAS SOUS 1180295 HAS SOUPS 1163002 WITH SCORE 1164677.795
AT ITER 770 NEW BEST:: SOT 3251468 SOS 1673028 HAS SOPS 1639929 HAS SOUS 1178676 HAS SOUPS 1161383 WITH SCORE 1163056.028
AT ITER 772 NEW BEST:: SOT 3249914 SOS 1670197 HAS SOPS 1637098 HAS SOUS 1176881 HAS SOUPS 1159588 WITH SCORE 1161258.197
AT ITER 773 NEW BEST:: SOT 3249904 SOS 1670205 HAS SOPS 1637087 HAS SOUS 1176871 HAS SOUPS 1159568 WITH SCORE 1161238.205
AT ITER 776 NEW BEST:: SOT 3249904 SOS 1670011 HAS SOPS 1636893 HAS SOUS 1176870 HAS SOUPS 1159567 WITH SCORE 1161237.011
AT ITER 779 NEW BEST:: SOT 3249150 SOS 1670315 HAS SOPS 1635842 HAS SOUS 1176507 HAS SOUPS 1158516 WITH SCORE 1160186.315
AT ITER 780 NEW BEST:: SOT 3249150 SOS 1668720 HAS SOPS 1634247 HAS SOUS 1175549 HAS SOUPS 1157558 WITH SCORE 1159226.72
AT ITER 781 NEW BEST:: SOT 3249150 SOS 1668551 HAS SOPS 1634078 HAS SOUS 1175549 HAS SOUPS 1157558 WITH SCORE 1159226.551
AT ITER 784 NEW BEST:: SOT 3249138 SOS 1666862 HAS SOPS 1632389 HAS SOUS 1174778 HAS SOUPS 1156787 WITH SCORE 1158453.862
AT ITER 789 NEW BEST:: SOT 3249138 SOS 1666075 HAS SOPS 1631602 HAS SOUS 1174338 HAS SOUPS 1156347 WITH SCORE 1158013.075
AT ITER 793 NEW BEST:: SOT 3248597 SOS 1665534 HAS SOPS 1631061 HAS SOUS 1173884 HAS SOUPS 1155893 WITH SCORE 1157558.534
AT ITER 795 NEW BEST:: SOT 3248465 SOS 1665162 HAS SOPS 1630689 HAS SOUS 1173512 HAS SOUPS 1155521 WITH SCORE 1157186.162
AT ITER 797 NEW BEST:: SOT 3244882 SOS 1659222 HAS SOPS 1624749 HAS SOUS 1170002 HAS SOUPS 1152011 WITH SCORE 1153670.222
AT ITER 799 NEW BEST:: SOT 3244882 SOS 1659222 HAS SOPS 1624749 HAS SOUS 1170001 HAS SOUPS 1152010 WITH SCORE 1153669.222
AT ITER 801 NEW BEST:: SOT 3244186 SOS 1658526 HAS SOPS 1624053 HAS SOUS 1169305 HAS SOUPS 1151314 WITH SCORE 1152972.526
AT ITER 807 NEW BEST:: SOT 3244244 SOS 1656235 HAS SOPS 1621762 HAS SOUS 1168149 HAS SOUPS 1150158 WITH SCORE 1151814.235
AT ITER 810 NEW BEST:: SOT 3244244 SOS 1655098 HAS SOPS 1621031 HAS SOUS 1167418 HAS SOUPS 1149833 WITH SCORE 1151488.098
AT ITER 816 NEW BEST:: SOT 3242403 SOS 1654575 HAS SOPS 1619189 HAS SOUS 1166368 HAS SOUPS 1147991 WITH SCORE 1149645.575
AT ITER 819 NEW BEST:: SOT 3240667 SOS 1652818 HAS SOPS 1617432 HAS SOUS 1165261 HAS SOUPS 1146884 WITH SCORE 1148536.818
AT ITER 822 NEW BEST:: SOT 3240667 SOS 1652817 HAS SOPS 1617431 HAS SOUS 1164528 HAS SOUPS 1146151 WITH SCORE 1147803.817
AT ITER 826 NEW BEST:: SOT 3240666 SOS 1652264 HAS SOPS 1616941 HAS SOUS 1164219 HAS SOUPS 1145905 WITH SCORE 1147557.264
AT ITER 827 NEW BEST:: SOT 3238295 SOS 1651317 HAS SOPS 1615994 HAS SOUS 1163049 HAS SOUPS 1144735 WITH SCORE 1146386.317
AT ITER 833 NEW BEST:: SOT 3238215 SOS 1651069 HAS SOPS 1615746 HAS SOUS 1162770 HAS SOUPS 1144456 WITH SCORE 1146107.069
AT ITER 834 NEW BEST:: SOT 3235356 SOS 1648209 HAS SOPS 1612886 HAS SOUS 1161180 HAS SOUPS 1142866 WITH SCORE 1144514.209
AT ITER 836 NEW BEST:: SOT 3233269 SOS 1646122 HAS SOPS 1610799 HAS SOUS 1160177 HAS SOUPS 1141863 WITH SCORE 1143509.122
AT ITER 841 NEW BEST:: SOT 3233269 SOS 1644436 HAS SOPS 1609113 HAS SOUS 1159261 HAS SOUPS 1140947 WITH SCORE 1142591.436
AT ITER 844 NEW BEST:: SOT 3233191 SOS 1644358 HAS SOPS 1609035 HAS SOUS 1159183 HAS SOUPS 1140869 WITH SCORE 1142513.358
AT ITER 845 NEW BEST:: SOT 3231839 SOS 1643006 HAS SOPS 1607683 HAS SOUS 1158138 HAS SOUPS 1139824 WITH SCORE 1141467.006
AT ITER 847 NEW BEST:: SOT 3231433 SOS 1642934 HAS SOPS 1607147 HAS SOUS 1157879 HAS SOUPS 1139288 WITH SCORE 1140930.934
AT ITER 859 NEW BEST:: SOT 3230579 SOS 1642079 HAS SOPS 1606292 HAS SOUS 1157024 HAS SOUPS 1138433 WITH SCORE 1140075.079
AT ITER 860 NEW BEST:: SOT 3230579 SOS 1642079 HAS SOPS 1606292 HAS SOUS 1156699 HAS SOUPS 1138108 WITH SCORE 1139750.079
AT ITER 862 NEW BEST:: SOT 3228715 SOS 1640215 HAS SOPS 1604428 HAS SOUS 1155766 HAS SOUPS 1137175 WITH SCORE 1138815.215
AT ITER 866 NEW BEST:: SOT 3228715 SOS 1638377 HAS SOPS 1602590 HAS SOUS 1155430 HAS SOUPS 1136839 WITH SCORE 1138477.377
AT ITER 870 NEW BEST:: SOT 3228715 SOS 1638321 HAS SOPS 1602534 HAS SOUS 1155318 HAS SOUPS 1136727 WITH SCORE 1138365.321
AT ITER 875 NEW BEST:: SOT 3228899 SOS 1638449 HAS SOPS 1602205 HAS SOUS 1154989 HAS SOUPS 1136398 WITH SCORE 1138036.449
AT ITER 877 NEW BEST:: SOT 3228899 SOS 1638101 HAS SOPS 1601857 HAS SOUS 1154641 HAS SOUPS 1136050 WITH SCORE 1137688.101
AT ITER 878 NEW BEST:: SOT 3228621 SOS 1639159 HAS SOPS 1600647 HAS SOUS 1154328 HAS SOUPS 1134840 WITH SCORE 1136479.159
AT ITER 879 NEW BEST:: SOT 3228184 SOS 1636543 HAS SOPS 1597674 HAS SOUS 1152717 HAS SOUPS 1132872 WITH SCORE 1134508.543
AT ITER 880 NEW BEST:: SOT 3222959 SOS 1628421 HAS SOPS 1589552 HAS SOUS 1148138 HAS SOUPS 1128293 WITH SCORE 1129921.421
AT ITER 881 NEW BEST:: SOT 3221919 SOS 1627519 HAS SOPS 1588650 HAS SOUS 1147704 HAS SOUPS 1127859 WITH SCORE 1129486.519
AT ITER 883 NEW BEST:: SOT 3221919 SOS 1626430 HAS SOPS 1587561 HAS SOUS 1147649 HAS SOUPS 1127804 WITH SCORE 1129430.43
AT ITER 887 NEW BEST:: SOT 3221919 SOS 1624999 HAS SOPS 1586130 HAS SOUS 1147091 HAS SOUPS 1127246 WITH SCORE 1128870.999
AT ITER 890 NEW BEST:: SOT 3221288 SOS 1624367 HAS SOPS 1585498 HAS SOUS 1146761 HAS SOUPS 1126916 WITH SCORE 1128540.367
AT ITER 891 NEW BEST:: SOT 3221204 SOS 1623914 HAS SOPS 1585045 HAS SOUS 1146396 HAS SOUPS 1126551 WITH SCORE 1128174.914
AT ITER 892 NEW BEST:: SOT 3220527 SOS 1623237 HAS SOPS 1584367 HAS SOUS 1146057 HAS SOUPS 1126211 WITH SCORE 1127834.237
AT ITER 897 NEW BEST:: SOT 3218182 SOS 1621079 HAS SOPS 1582209 HAS SOUS 1144771 HAS SOUPS 1124925 WITH SCORE 1126546.079
AT ITER 898 NEW BEST:: SOT 3215487 SOS 1617408 HAS SOPS 1578538 HAS SOUS 1142564 HAS SOUPS 1122718 WITH SCORE 1124335.408
AT ITER 904 NEW BEST:: SOT 3214593 SOS 1615691 HAS SOPS 1576821 HAS SOUS 1141190 HAS SOUPS 1121344 WITH SCORE 1122959.691
AT ITER 908 NEW BEST:: SOT 3214296 SOS 1616046 HAS SOPS 1577176 HAS SOUS 1141172 HAS SOUPS 1121326 WITH SCORE 1122942.046
AT ITER 910 NEW BEST:: SOT 3213914 SOS 1612690 HAS SOPS 1573820 HAS SOUS 1140868 HAS SOUPS 1121022 WITH SCORE 1122634.69
AT ITER 918 NEW BEST:: SOT 3213428 SOS 1610175 HAS SOPS 1571305 HAS SOUS 1138950 HAS SOUPS 1119104 WITH SCORE 1120714.175
AT ITER 919 NEW BEST:: SOT 3210666 SOS 1607413 HAS SOPS 1568543 HAS SOUS 1137345 HAS SOUPS 1117499 WITH SCORE 1119106.413
AT ITER 920 NEW BEST:: SOT 3209750 SOS 1606160 HAS SOPS 1567290 HAS SOUS 1136092 HAS SOUPS 1116246 WITH SCORE 1117852.16
AT ITER 921 NEW BEST:: SOT 3205239 SOS 1600031 HAS SOPS 1561161 HAS SOUS 1132439 HAS SOUPS 1112593 WITH SCORE 1114193.031
AT ITER 927 NEW BEST:: SOT 3204668 SOS 1595919 HAS SOPS 1557377 HAS SOUS 1129421 HAS SOUPS 1109903 WITH SCORE 1111498.919
AT ITER 936 NEW BEST:: SOT 3201436 SOS 1590317 HAS SOPS 1551775 HAS SOUS 1126189 HAS SOUPS 1106671 WITH SCORE 1108261.317
AT ITER 944 NEW BEST:: SOT 3201182 SOS 1590526 HAS SOPS 1548902 HAS SOUS 1125335 HAS SOUPS 1104717 WITH SCORE 1106307.526
AT ITER 945 NEW BEST:: SOT 3201365 SOS 1589437 HAS SOPS 1547988 HAS SOUS 1125154 HAS SOUPS 1104711 WITH SCORE 1106300.437
AT ITER 946 NEW BEST:: SOT 3201364 SOS 1589436 HAS SOPS 1547986 HAS SOUS 1125152 HAS SOUPS 1104709 WITH SCORE 1106298.436
AT ITER 950 NEW BEST:: SOT 3198868 SOS 1586940 HAS SOPS 1545490 HAS SOUS 1123683 HAS SOUPS 1103240 WITH SCORE 1104826.94
AT ITER 952 NEW BEST:: SOT 3198867 SOS 1586175 HAS SOPS 1544760 HAS SOUS 1123681 HAS SOUPS 1103238 WITH SCORE 1104824.175
AT ITER 955 NEW BEST:: SOT 3198577 SOS 1585885 HAS SOPS 1544470 HAS SOUS 1123391 HAS SOUPS 1102948 WITH SCORE 1104533.885
AT ITER 962 NEW BEST:: SOT 3197134 SOS 1586951 HAS SOPS 1542746 HAS SOUS 1122515 HAS SOUPS 1101020 WITH SCORE 1102606.951
AT ITER 963 NEW BEST:: SOT 3197132 SOS 1586949 HAS SOPS 1542743 HAS SOUS 1122391 HAS SOUPS 1100895 WITH SCORE 1102481.949
AT ITER 966 NEW BEST:: SOT 3196832 SOS 1584284 HAS SOPS 1540078 HAS SOUS 1120621 HAS SOUPS 1099125 WITH SCORE 1100709.284
AT ITER 969 NEW BEST:: SOT 3196600 SOS 1583820 HAS SOPS 1539614 HAS SOUS 1120389 HAS SOUPS 1098893 WITH SCORE 1100476.82
AT ITER 970 NEW BEST:: SOT 3196594 SOS 1583814 HAS SOPS 1539608 HAS SOUS 1120383 HAS SOUPS 1098887 WITH SCORE 1100470.814
AT ITER 975 NEW BEST:: SOT 3196865 SOS 1584084 HAS SOPS 1539878 HAS SOUS 1120258 HAS SOUPS 1098762 WITH SCORE 1100346.084
AT ITER 976 NEW BEST:: SOT 3196459 SOS 1583677 HAS SOPS 1539471 HAS SOUS 1119072 HAS SOUPS 1097576 WITH SCORE 1099159.677
AT ITER 978 NEW BEST:: SOT 3198229 SOS 1584431 HAS SOPS 1539617 HAS SOUS 1119375 HAS SOUPS 1097271 WITH SCORE 1098855.431
AT ITER 979 NEW BEST:: SOT 3191806 SOS 1574685 HAS SOPS 1529871 HAS SOUS 1113385 HAS SOUPS 1091281 WITH SCORE 1092855.685
AT ITER 984 NEW BEST:: SOT 3191574 SOS 1574214 HAS SOPS 1529400 HAS SOUS 1113378 HAS SOUPS 1091274 WITH SCORE 1092848.214
AT ITER 985 NEW BEST:: SOT 3191574 SOS 1573721 HAS SOPS 1528907 HAS SOUS 1112885 HAS SOUPS 1090781 WITH SCORE 1092354.721
AT ITER 986 NEW BEST:: SOT 3189035 SOS 1573466 HAS SOPS 1528652 HAS SOUS 1112630 HAS SOUPS 1090526 WITH SCORE 1092099.466
AT ITER 990 NEW BEST:: SOT 3188869 SOS 1573134 HAS SOPS 1528320 HAS SOUS 1112464 HAS SOUPS 1090360 WITH SCORE 1091933.134
AT ITER 991 NEW BEST:: SOT 3188830 SOS 1573095 HAS SOPS 1528281 HAS SOUS 1112315 HAS SOUPS 1090211 WITH SCORE 1091784.095
AT ITER 992 NEW BEST:: SOT 3188658 SOS 1572923 HAS SOPS 1528109 HAS SOUS 1112143 HAS SOUPS 1090039 WITH SCORE 1091611.923
AT ITER 993 NEW BEST:: SOT 3183734 SOS 1566916 HAS SOPS 1522102 HAS SOUS 1108748 HAS SOUPS 1086644 WITH SCORE 1088210.916
AT ITER 996 NEW BEST:: SOT 3182756 SOS 1565799 HAS SOPS 1520985 HAS SOUS 1108673 HAS SOUPS 1086569 WITH SCORE 1088134.799
AT ITER 997 NEW BEST:: SOT 3182308 SOS 1564007 HAS SOPS 1519193 HAS SOUS 1107329 HAS SOUPS 1085225 WITH SCORE 1086789.007
AT ITER 1003 NEW BEST:: SOT 3181070 SOS 1562769 HAS SOPS 1517955 HAS SOUS 1105841 HAS SOUPS 1083737 WITH SCORE 1085299.769
AT ITER 1006 NEW BEST:: SOT 3180992 SOS 1562718 HAS SOPS 1517904 HAS SOUS 1105790 HAS SOUPS 1083686 WITH SCORE 1085248.718
AT ITER 1007 NEW BEST:: SOT 3180991 SOS 1562717 HAS SOPS 1517903 HAS SOUS 1105789 HAS SOUPS 1083685 WITH SCORE 1085247.717
AT ITER 1009 NEW BEST:: SOT 3180991 SOS 1562448 HAS SOPS 1517634 HAS SOUS 1105789 HAS SOUPS 1083685 WITH SCORE 1085247.448
AT ITER 1012 NEW BEST:: SOT 3180990 SOS 1562447 HAS SOPS 1517633 HAS SOUS 1105788 HAS SOUPS 1083684 WITH SCORE 1085246.447
AT ITER 1013 NEW BEST:: SOT 3180222 SOS 1561679 HAS SOPS 1516865 HAS SOUS 1105404 HAS SOUPS 1083300 WITH SCORE 1084861.679
AT ITER 1014 NEW BEST:: SOT 3179354 SOS 1560811 HAS SOPS 1515996 HAS SOUS 1105076 HAS SOUPS 1082972 WITH SCORE 1084532.811
AT ITER 1029 NEW BEST:: SOT 3178618 SOS 1560074 HAS SOPS 1515259 HAS SOUS 1103464 HAS SOUPS 1081360 WITH SCORE 1082920.074
AT ITER 1030 NEW BEST:: SOT 3176673 SOS 1557396 HAS SOPS 1512581 HAS SOUS 1102052 HAS SOUPS 1079948 WITH SCORE 1081505.396
AT ITER 1032 NEW BEST:: SOT 3175902 SOS 1556148 HAS SOPS 1511333 HAS SOUS 1100804 HAS SOUPS 1078700 WITH SCORE 1080256.148
AT ITER 1038 NEW BEST:: SOT 3175349 SOS 1555595 HAS SOPS 1510780 HAS SOUS 1100251 HAS SOUPS 1078147 WITH SCORE 1079702.595
AT ITER 1050 NEW BEST:: SOT 3175262 SOS 1556728 HAS SOPS 1511913 HAS SOUS 1100164 HAS SOUPS 1078060 WITH SCORE 1079616.728
AT ITER 1051 NEW BEST:: SOT 3175262 SOS 1556727 HAS SOPS 1511912 HAS SOUS 1100163 HAS SOUPS 1078059 WITH SCORE 1079615.727
AT ITER 1052 NEW BEST:: SOT 3175406 SOS 1554561 HAS SOPS 1509631 HAS SOUS 1098985 HAS SOUPS 1076766 WITH SCORE 1078320.561
AT ITER 1060 NEW BEST:: SOT 3173135 SOS 1551731 HAS SOPS 1506801 HAS SOUS 1097574 HAS SOUPS 1075355 WITH SCORE 1076906.731
AT ITER 1062 NEW BEST:: SOT 3173135 SOS 1551051 HAS SOPS 1506121 HAS SOUS 1097574 HAS SOUPS 1075355 WITH SCORE 1076906.051
AT ITER 1064 NEW BEST:: SOT 3168191 SOS 1546106 HAS SOPS 1501176 HAS SOUS 1094387 HAS SOUPS 1072168 WITH SCORE 1073714.106
AT ITER 1066 NEW BEST:: SOT 3168681 SOS 1548970 HAS SOPS 1501450 HAS SOUS 1094602 HAS SOUPS 1071359 WITH SCORE 1072907.97
AT ITER 1071 NEW BEST:: SOT 3164677 SOS 1546922 HAS SOPS 1499402 HAS SOUS 1093260 HAS SOUPS 1070017 WITH SCORE 1071563.922
AT ITER 1074 NEW BEST:: SOT 3163473 SOS 1545718 HAS SOPS 1498198 HAS SOUS 1092056 HAS SOUPS 1068813 WITH SCORE 1070358.718
AT ITER 1075 NEW BEST:: SOT 3163391 SOS 1545555 HAS SOPS 1498034 HAS SOUS 1091974 HAS SOUPS 1068730 WITH SCORE 1070275.555
AT ITER 1076 NEW BEST:: SOT 3163811 SOS 1545177 HAS SOPS 1497570 HAS SOUS 1091596 HAS SOUPS 1068266 WITH SCORE 1069811.177
AT ITER 1088 NEW BEST:: SOT 3163810 SOS 1545175 HAS SOPS 1497568 HAS SOUS 1091594 HAS SOUPS 1068264 WITH SCORE 1069809.175
AT ITER 1093 NEW BEST:: SOT 3163088 SOS 1543370 HAS SOPS 1495763 HAS SOUS 1090108 HAS SOUPS 1066778 WITH SCORE 1068321.37
AT ITER 1096 NEW BEST:: SOT 3163088 SOS 1542770 HAS SOPS 1495163 HAS SOUS 1089708 HAS SOUPS 1066378 WITH SCORE 1067920.77
AT ITER 1099 NEW BEST:: SOT 3163088 SOS 1542170 HAS SOPS 1494563 HAS SOUS 1089633 HAS SOUPS 1066303 WITH SCORE 1067845.17
AT ITER 1105 NEW BEST:: SOT 3162758 SOS 1541675 HAS SOPS 1493738 HAS SOUS 1089138 HAS SOUPS 1065643 WITH SCORE 1067184.675
AT ITER 1106 NEW BEST:: SOT 3160862 SOS 1540382 HAS SOPS 1492445 HAS SOUS 1088153 HAS SOUPS 1064658 WITH SCORE 1066198.382
AT ITER 1108 NEW BEST:: SOT 3161820 SOS 1539155 HAS SOPS 1490547 HAS SOUS 1087767 HAS SOUPS 1063601 WITH SCORE 1065140.155
AT ITER 1109 NEW BEST:: SOT 3162116 SOS 1539373 HAS SOPS 1490765 HAS SOUS 1087650 HAS SOUPS 1063484 WITH SCORE 1065023.373
AT ITER 1110 NEW BEST:: SOT 3160331 SOS 1537588 HAS SOPS 1488980 HAS SOUS 1086895 HAS SOUPS 1062729 WITH SCORE 1064266.588
AT ITER 1114 NEW BEST:: SOT 3160331 SOS 1537377 HAS SOPS 1488769 HAS SOUS 1086895 HAS SOUPS 1062729 WITH SCORE 1064266.377
AT ITER 1119 NEW BEST:: SOT 3160716 SOS 1539845 HAS SOPS 1488932 HAS SOUS 1087003 HAS SOUPS 1061857 WITH SCORE 1063396.845
AT ITER 1126 NEW BEST:: SOT 3160232 SOS 1538998 HAS SOPS 1488085 HAS SOUS 1086519 HAS SOUPS 1061373 WITH SCORE 1062911.998
AT ITER 1128 NEW BEST:: SOT 3157533 SOS 1535951 HAS SOPS 1485038 HAS SOUS 1084722 HAS SOUPS 1059576 WITH SCORE 1061111.951
AT ITER 1129 NEW BEST:: SOT 3156948 SOS 1533611 HAS SOPS 1482698 HAS SOUS 1083552 HAS SOUPS 1058406 WITH SCORE 1059939.611
AT ITER 1138 NEW BEST:: SOT 3156580 SOS 1532946 HAS SOPS 1482033 HAS SOUS 1082887 HAS SOUPS 1057741 WITH SCORE 1059273.946
AT ITER 1141 NEW BEST:: SOT 3156054 SOS 1533311 HAS SOPS 1482398 HAS SOUS 1082485 HAS SOUPS 1057339 WITH SCORE 1058872.311
AT ITER 1142 NEW BEST:: SOT 3155471 SOS 1532825 HAS SOPS 1481815 HAS SOUS 1081963 HAS SOUPS 1056756 WITH SCORE 1058288.825
AT ITER 1144 NEW BEST:: SOT 3154986 SOS 1532340 HAS SOPS 1481330 HAS SOUS 1081478 HAS SOUPS 1056271 WITH SCORE 1057803.34
AT ITER 1145 NEW BEST:: SOT 3154985 SOS 1532339 HAS SOPS 1481329 HAS SOUS 1081149 HAS SOUPS 1055942 WITH SCORE 1057474.339
AT ITER 1156 NEW BEST:: SOT 3156215 SOS 1533065 HAS SOPS 1481108 HAS SOUS 1081875 HAS SOUPS 1055721 WITH SCORE 1057254.065
AT ITER 1158 NEW BEST:: SOT 3155573 SOS 1532423 HAS SOPS 1480466 HAS SOUS 1080456 HAS SOUPS 1054302 WITH SCORE 1055834.423
AT ITER 1176 NEW BEST:: SOT 3155286 SOS 1533387 HAS SOPS 1480179 HAS SOUS 1079754 HAS SOUPS 1053185 WITH SCORE 1054718.387
AT ITER 1177 NEW BEST:: SOT 3155286 SOS 1532814 HAS SOPS 1479606 HAS SOUS 1079274 HAS SOUPS 1052705 WITH SCORE 1054237.814
AT ITER 1179 NEW BEST:: SOT 3157209 SOS 1534000 HAS SOPS 1479999 HAS SOUS 1079917 HAS SOUPS 1052555 WITH SCORE 1054089.0
AT ITER 1181 NEW BEST:: SOT 3157270 SOS 1535577 HAS SOPS 1480060 HAS SOUS 1079880 HAS SOUPS 1052018 WITH SCORE 1053553.577
AT ITER 1187 NEW BEST:: SOT 3157753 SOS 1533684 HAS SOPS 1478167 HAS SOUS 1078948 HAS SOUPS 1051086 WITH SCORE 1052619.684
AT ITER 1188 NEW BEST:: SOT 3156227 SOS 1533869 HAS SOPS 1478352 HAS SOUS 1078479 HAS SOUPS 1050617 WITH SCORE 1052150.869
AT ITER 1191 NEW BEST:: SOT 3156227 SOS 1532512 HAS SOPS 1476995 HAS SOUS 1077756 HAS SOUPS 1049894 WITH SCORE 1051426.512
AT ITER 1193 NEW BEST:: SOT 3156227 SOS 1498172 HAS SOPS 1442719 HAS SOUS 1077756 HAS SOUPS 1049894 WITH SCORE 1051392.172
AT ITER 1203 NEW BEST:: SOT 3156227 SOS 1498355 HAS SOPS 1442902 HAS SOUS 1077352 HAS SOUPS 1049490 WITH SCORE 1050988.355
AT ITER 1205 NEW BEST:: SOT 3156147 SOS 1498275 HAS SOPS 1442822 HAS SOUS 1077312 HAS SOUPS 1049450 WITH SCORE 1050948.275
AT ITER 1206 NEW BEST:: SOT 3154453 SOS 1495573 HAS SOPS 1440120 HAS SOUS 1075793 HAS SOUPS 1047931 WITH SCORE 1049426.573
AT ITER 1210 NEW BEST:: SOT 3153455 SOS 1494574 HAS SOPS 1439121 HAS SOUS 1075350 HAS SOUPS 1047488 WITH SCORE 1048982.574
AT ITER 1214 NEW BEST:: SOT 3152858 SOS 1493977 HAS SOPS 1438524 HAS SOUS 1075345 HAS SOUPS 1047483 WITH SCORE 1048976.977
AT ITER 1216 NEW BEST:: SOT 3152826 SOS 1493945 HAS SOPS 1438492 HAS SOUS 1075311 HAS SOUPS 1047449 WITH SCORE 1048942.945
AT ITER 1219 NEW BEST:: SOT 3152538 SOS 1492393 HAS SOPS 1436940 HAS SOUS 1074047 HAS SOUPS 1046185 WITH SCORE 1047677.393
AT ITER 1221 NEW BEST:: SOT 3152538 SOS 1491692 HAS SOPS 1436239 HAS SOUS 1073346 HAS SOUPS 1045484 WITH SCORE 1046975.692
AT ITER 1222 NEW BEST:: SOT 3151998 SOS 1491152 HAS SOPS 1435699 HAS SOUS 1073166 HAS SOUPS 1045304 WITH SCORE 1046795.152
AT ITER 1225 NEW BEST:: SOT 3152596 SOS 1490417 HAS SOPS 1434964 HAS SOUS 1072949 HAS SOUPS 1045087 WITH SCORE 1046577.417
AT ITER 1227 NEW BEST:: SOT 3152503 SOS 1487315 HAS SOPS 1431862 HAS SOUS 1072243 HAS SOUPS 1044381 WITH SCORE 1045868.315
AT ITER 1229 NEW BEST:: SOT 3152503 SOS 1487255 HAS SOPS 1431811 HAS SOUS 1072192 HAS SOUPS 1044330 WITH SCORE 1045817.255
AT ITER 1230 NEW BEST:: SOT 3152503 SOS 1485776 HAS SOPS 1430825 HAS SOUS 1071699 HAS SOUPS 1044330 WITH SCORE 1045815.776
AT ITER 1239 NEW BEST:: SOT 3152286 SOS 1482778 HAS SOPS 1427827 HAS SOUS 1070013 HAS SOUPS 1042644 WITH SCORE 1044126.778
AT ITER 1240 NEW BEST:: SOT 3152286 SOS 1482375 HAS SOPS 1427135 HAS SOUS 1069899 HAS SOUPS 1042241 WITH SCORE 1043723.375
AT ITER 1242 NEW BEST:: SOT 3152286 SOS 1480259 HAS SOPS 1425019 HAS SOUS 1069899 HAS SOUPS 1042241 WITH SCORE 1043721.259
AT ITER 1249 NEW BEST:: SOT 3152370 SOS 1480427 HAS SOPS 1425187 HAS SOUS 1069875 HAS SOUPS 1042217 WITH SCORE 1043697.427
AT ITER 1250 NEW BEST:: SOT 3151860 SOS 1480418 HAS SOPS 1424677 HAS SOUS 1069669 HAS SOUPS 1041707 WITH SCORE 1043187.418
AT ITER 1255 NEW BEST:: SOT 3151860 SOS 1480386 HAS SOPS 1424645 HAS SOUS 1069669 HAS SOUPS 1041707 WITH SCORE 1043187.386
AT ITER 1262 NEW BEST:: SOT 3151739 SOS 1479681 HAS SOPS 1424078 HAS SOUS 1069427 HAS SOUPS 1041465 WITH SCORE 1042944.681
AT ITER 1264 NEW BEST:: SOT 3151281 SOS 1479223 HAS SOPS 1423620 HAS SOUS 1069198 HAS SOUPS 1041236 WITH SCORE 1042715.223
AT ITER 1270 NEW BEST:: SOT 3147729 SOS 1475670 HAS SOPS 1420067 HAS SOUS 1067643 HAS SOUPS 1039681 WITH SCORE 1041156.67
AT ITER 1273 NEW BEST:: SOT 3147647 SOS 1475588 HAS SOPS 1419985 HAS SOUS 1067561 HAS SOUPS 1039599 WITH SCORE 1041074.588
AT ITER 1278 NEW BEST:: SOT 3147547 SOS 1472498 HAS SOPS 1416895 HAS SOUS 1065968 HAS SOUPS 1038006 WITH SCORE 1039478.498
AT ITER 1287 NEW BEST:: SOT 3147547 SOS 1472399 HAS SOPS 1416796 HAS SOUS 1065869 HAS SOUPS 1037907 WITH SCORE 1039379.399
AT ITER 1289 NEW BEST:: SOT 3144128 SOS 1467830 HAS SOPS 1412227 HAS SOUS 1062662 HAS SOUPS 1034700 WITH SCORE 1036167.83
AT ITER 1302 NEW BEST:: SOT 3141953 SOS 1466143 HAS SOPS 1410540 HAS SOUS 1061975 HAS SOUPS 1034013 WITH SCORE 1035479.143
AT ITER 1303 NEW BEST:: SOT 3141877 SOS 1465691 HAS SOPS 1410088 HAS SOUS 1061737 HAS SOUPS 1033775 WITH SCORE 1035240.691
AT ITER 1307 NEW BEST:: SOT 3141783 SOS 1467827 HAS SOPS 1409994 HAS SOUS 1062530 HAS SOUPS 1033681 WITH SCORE 1035148.827
AT ITER 1311 NEW BEST:: SOT 3140522 SOS 1468100 HAS SOPS 1410267 HAS SOUS 1062014 HAS SOUPS 1033165 WITH SCORE 1034633.1
AT ITER 1313 NEW BEST:: SOT 3139725 SOS 1466708 HAS SOPS 1408875 HAS SOUS 1059825 HAS SOUPS 1030976 WITH SCORE 1032442.708
AT ITER 1315 NEW BEST:: SOT 3137682 SOS 1464752 HAS SOPS 1406919 HAS SOUS 1058791 HAS SOUPS 1029942 WITH SCORE 1031406.752
AT ITER 1319 NEW BEST:: SOT 3137430 SOS 1464500 HAS SOPS 1406667 HAS SOUS 1058539 HAS SOUPS 1029690 WITH SCORE 1031154.5
AT ITER 1329 NEW BEST:: SOT 3135715 SOS 1460871 HAS SOPS 1403038 HAS SOUS 1056330 HAS SOUPS 1027481 WITH SCORE 1028941.871
AT ITER 1331 NEW BEST:: SOT 3134943 SOS 1460099 HAS SOPS 1402264 HAS SOUS 1055558 HAS SOUPS 1026707 WITH SCORE 1028167.099
AT ITER 1333 NEW BEST:: SOT 3134942 SOS 1459809 HAS SOPS 1401974 HAS SOUS 1055535 HAS SOUPS 1026684 WITH SCORE 1028143.809
AT ITER 1335 NEW BEST:: SOT 3134942 SOS 1459545 HAS SOPS 1401710 HAS SOUS 1055271 HAS SOUPS 1026420 WITH SCORE 1027879.545
AT ITER 1337 NEW BEST:: SOT 3134235 SOS 1459081 HAS SOPS 1401246 HAS SOUS 1054963 HAS SOUPS 1026112 WITH SCORE 1027571.081
AT ITER 1341 NEW BEST:: SOT 3133440 SOS 1458377 HAS SOPS 1400542 HAS SOUS 1053816 HAS SOUPS 1024965 WITH SCORE 1026423.377
AT ITER 1342 NEW BEST:: SOT 3133136 SOS 1457362 HAS SOPS 1399527 HAS SOUS 1053208 HAS SOUPS 1024357 WITH SCORE 1025814.362
AT ITER 1349 NEW BEST:: SOT 3132136 SOS 1456570 HAS SOPS 1399527 HAS SOUS 1053093 HAS SOUPS 1024357 WITH SCORE 1025813.57
AT ITER 1353 NEW BEST:: SOT 3131216 SOS 1456570 HAS SOPS 1398607 HAS SOUS 1052633 HAS SOUPS 1023437 WITH SCORE 1024893.57
AT ITER 1374 NEW BEST:: SOT 3131132 SOS 1456318 HAS SOPS 1398355 HAS SOUS 1052549 HAS SOUPS 1023353 WITH SCORE 1024809.318
AT ITER 1376 NEW BEST:: SOT 3129116 SOS 1454302 HAS SOPS 1396339 HAS SOUS 1051248 HAS SOUPS 1022052 WITH SCORE 1023506.302
AT ITER 1380 NEW BEST:: SOT 3129116 SOS 1452805 HAS SOPS 1394842 HAS SOUS 1050705 HAS SOUPS 1021509 WITH SCORE 1022961.805
AT ITER 1392 NEW BEST:: SOT 3105625 SOS 1429314 HAS SOPS 1371351 HAS SOUS 1025592 HAS SOUPS 996396 WITH SCORE 997825.314
AT ITER 1393 NEW BEST:: SOT 3104953 SOS 1429005 HAS SOPS 1367574 HAS SOUS 1024378 HAS SOUPS 993918 WITH SCORE 995347.005
AT ITER 1400 NEW BEST:: SOT 3104942 SOS 1429015 HAS SOPS 1367562 HAS SOUS 1024377 HAS SOUPS 993906 WITH SCORE 995335.015
AT ITER 1401 NEW BEST:: SOT 3104862 SOS 1428777 HAS SOPS 1367402 HAS SOUS 1024218 HAS SOUPS 993825 WITH SCORE 995253.777
AT ITER 1404 NEW BEST:: SOT 3104564 SOS 1429075 HAS SOPS 1367104 HAS SOUS 1023920 HAS SOUPS 993229 WITH SCORE 994658.075
AT ITER 1406 NEW BEST:: SOT 3101424 SOS 1427178 HAS SOPS 1365207 HAS SOUS 1022380 HAS SOUPS 991689 WITH SCORE 993116.178
AT ITER 1409 NEW BEST:: SOT 3100523 SOS 1426277 HAS SOPS 1364306 HAS SOUS 1021656 HAS SOUPS 990965 WITH SCORE 992391.277
AT ITER 1412 NEW BEST:: SOT 3099380 SOS 1425302 HAS SOPS 1363331 HAS SOUS 1021071 HAS SOUPS 990380 WITH SCORE 991805.302
AT ITER 1414 NEW BEST:: SOT 3093013 SOS 1416116 HAS SOPS 1354145 HAS SOUS 1015333 HAS SOUPS 984642 WITH SCORE 986058.116
AT ITER 1420 NEW BEST:: SOT 3093118 SOS 1414152 HAS SOPS 1352181 HAS SOUS 1015275 HAS SOUPS 984584 WITH SCORE 985998.152
AT ITER 1421 NEW BEST:: SOT 3092761 SOS 1413795 HAS SOPS 1351824 HAS SOUS 1014918 HAS SOUPS 984227 WITH SCORE 985640.795
AT ITER 1423 NEW BEST:: SOT 3092707 SOS 1413687 HAS SOPS 1351716 HAS SOUS 1014837 HAS SOUPS 984146 WITH SCORE 985559.687
AT ITER 1424 NEW BEST:: SOT 3092002 SOS 1413662 HAS SOPS 1351691 HAS SOUS 1014153 HAS SOUPS 983462 WITH SCORE 984875.662
AT ITER 1453 NEW BEST:: SOT 3092001 SOS 1413661 HAS SOPS 1351689 HAS SOUS 1014151 HAS SOUPS 983460 WITH SCORE 984873.661
AT ITER 1457 NEW BEST:: SOT 3092001 SOS 1413621 HAS SOPS 1351649 HAS SOUS 1014111 HAS SOUPS 983420 WITH SCORE 984833.621
AT ITER 1458 NEW BEST:: SOT 3092001 SOS 1413449 HAS SOPS 1351477 HAS SOUS 1014111 HAS SOUPS 983420 WITH SCORE 984833.449
AT ITER 1469 NEW BEST:: SOT 3091145 SOS 1411951 HAS SOPS 1350621 HAS SOUS 1013469 HAS SOUPS 982992 WITH SCORE 984403.951
AT ITER 1475 NEW BEST:: SOT 3091459 SOS 1411942 HAS SOPS 1349935 HAS SOUS 1012783 HAS SOUPS 982306 WITH SCORE 983717.942
AT ITER 1478 NEW BEST:: SOT 3091223 SOS 1411897 HAS SOPS 1349698 HAS SOUS 1012738 HAS SOUPS 982069 WITH SCORE 983480.897
AT ITER 1481 NEW BEST:: SOT 3091997 SOS 1412645 HAS SOPS 1350446 HAS SOUS 1011621 HAS SOUPS 980952 WITH SCORE 982364.645
AT ITER 1482 NEW BEST:: SOT 3091997 SOS 1412589 HAS SOPS 1350390 HAS SOUS 1011621 HAS SOUPS 980952 WITH SCORE 982364.589
AT ITER 1488 NEW BEST:: SOT 3091400 SOS 1412422 HAS SOPS 1350223 HAS SOUS 1010196 HAS SOUPS 979527 WITH SCORE 980939.422
AT ITER 1489 NEW BEST:: SOT 3089861 SOS 1411243 HAS SOPS 1349044 HAS SOUS 1009521 HAS SOUPS 978852 WITH SCORE 980263.243
AT ITER 1502 NEW BEST:: SOT 3086448 SOS 1406711 HAS SOPS 1344512 HAS SOUS 1006837 HAS SOUPS 976168 WITH SCORE 977574.711
AT ITER 1504 NEW BEST:: SOT 3084685 SOS 1405631 HAS SOPS 1343432 HAS SOUS 1006120 HAS SOUPS 975451 WITH SCORE 976856.631
AT ITER 1509 NEW BEST:: SOT 3084684 SOS 1405630 HAS SOPS 1343431 HAS SOUS 1006119 HAS SOUPS 975450 WITH SCORE 976855.63
AT ITER 1512 NEW BEST:: SOT 3086220 SOS 1403866 HAS SOPS 1341667 HAS SOUS 1005584 HAS SOUPS 974915 WITH SCORE 976318.866
AT ITER 1517 NEW BEST:: SOT 3086154 SOS 1402484 HAS SOPS 1340285 HAS SOUS 1005339 HAS SOUPS 974670 WITH SCORE 976072.484
AT ITER 1526 NEW BEST:: SOT 3085996 SOS 1402089 HAS SOPS 1339890 HAS SOUS 1005288 HAS SOUPS 974619 WITH SCORE 976021.089
AT ITER 1527 NEW BEST:: SOT 3086836 SOS 1404790 HAS SOPS 1339600 HAS SOUS 1006029 HAS SOUPS 974492 WITH SCORE 975896.79
AT ITER 1529 NEW BEST:: SOT 3086554 SOS 1404134 HAS SOPS 1338944 HAS SOUS 1005602 HAS SOUPS 974065 WITH SCORE 975469.134
AT ITER 1531 NEW BEST:: SOT 3085778 SOS 1402668 HAS SOPS 1337478 HAS SOUS 1004136 HAS SOUPS 972599 WITH SCORE 974001.668
AT ITER 1532 NEW BEST:: SOT 3082924 SOS 1400379 HAS SOPS 1335189 HAS SOUS 1002563 HAS SOUPS 971026 WITH SCORE 972426.379
AT ITER 1534 NEW BEST:: SOT 3082576 SOS 1400220 HAS SOPS 1334841 HAS SOUS 1002404 HAS SOUPS 970678 WITH SCORE 972078.22
AT ITER 1548 NEW BEST:: SOT 3082576 SOS 1399677 HAS SOPS 1334298 HAS SOUS 1002213 HAS SOUPS 970487 WITH SCORE 971886.677
AT ITER 1552 NEW BEST:: SOT 3083033 SOS 1399617 HAS SOPS 1333588 HAS SOUS 1001592 HAS SOUPS 969216 WITH SCORE 970615.617
AT ITER 1557 NEW BEST:: SOT 3080949 SOS 1395257 HAS SOPS 1329228 HAS SOUS 999508 HAS SOUPS 967132 WITH SCORE 968527.257
AT ITER 1568 NEW BEST:: SOT 3080949 SOS 1394692 HAS SOPS 1328663 HAS SOUS 998224 HAS SOUPS 965848 WITH SCORE 967242.692
AT ITER 1570 NEW BEST:: SOT 3078536 SOS 1392801 HAS SOPS 1326130 HAS SOUS 997277 HAS SOUPS 964259 WITH SCORE 965651.801
AT ITER 1576 NEW BEST:: SOT 3078536 SOS 1392381 HAS SOPS 1325710 HAS SOUS 997277 HAS SOUPS 964259 WITH SCORE 965651.381
AT ITER 1578 NEW BEST:: SOT 3078463 SOS 1392308 HAS SOPS 1325637 HAS SOUS 997204 HAS SOUPS 964186 WITH SCORE 965578.308
AT ITER 1584 NEW BEST:: SOT 3077161 SOS 1392382 HAS SOPS 1325253 HAS SOUS 996974 HAS SOUPS 963802 WITH SCORE 965194.382
AT ITER 1587 NEW BEST:: SOT 3076864 SOS 1391053 HAS SOPS 1323924 HAS SOUS 996422 HAS SOUPS 963250 WITH SCORE 964641.053
AT ITER 1590 NEW BEST:: SOT 3075448 SOS 1389637 HAS SOPS 1322508 HAS SOUS 995006 HAS SOUPS 961834 WITH SCORE 963223.637
AT ITER 1593 NEW BEST:: SOT 3075448 SOS 1389679 HAS SOPS 1322550 HAS SOUS 994964 HAS SOUPS 961792 WITH SCORE 963181.679
AT ITER 1602 NEW BEST:: SOT 3075201 SOS 1388054 HAS SOPS 1320925 HAS SOUS 994063 HAS SOUPS 960891 WITH SCORE 962279.054
AT ITER 1603 NEW BEST:: SOT 3072796 SOS 1384687 HAS SOPS 1317558 HAS SOUS 992139 HAS SOUPS 958967 WITH SCORE 960351.687
AT ITER 1609 NEW BEST:: SOT 3072751 SOS 1384507 HAS SOPS 1317378 HAS SOUS 992004 HAS SOUPS 958832 WITH SCORE 960216.507
AT ITER 1613 NEW BEST:: SOT 3072750 SOS 1384506 HAS SOPS 1317376 HAS SOUS 991977 HAS SOUPS 958830 WITH SCORE 960214.506
AT ITER 1623 NEW BEST:: SOT 3072487 SOS 1384243 HAS SOPS 1317113 HAS SOUS 991324 HAS SOUPS 958177 WITH SCORE 959561.243
AT ITER 1631 NEW BEST:: SOT 3071411 SOS 1379848 HAS SOPS 1312718 HAS SOUS 988152 HAS SOUPS 955005 WITH SCORE 956384.848
AT ITER 1636 NEW BEST:: SOT 3071024 SOS 1376087 HAS SOPS 1308957 HAS SOUS 987921 HAS SOUPS 954774 WITH SCORE 956150.087
AT ITER 1640 NEW BEST:: SOT 3070654 SOS 1375717 HAS SOPS 1308587 HAS SOUS 986968 HAS SOUPS 953821 WITH SCORE 955196.717
AT ITER 1649 NEW BEST:: SOT 3070546 SOS 1375931 HAS SOPS 1308479 HAS SOUS 987111 HAS SOUPS 953713 WITH SCORE 955088.931
AT ITER 1653 NEW BEST:: SOT 3070424 SOS 1375809 HAS SOPS 1308357 HAS SOUS 986989 HAS SOUPS 953591 WITH SCORE 954966.809
AT ITER 1660 NEW BEST:: SOT 3070164 SOS 1375209 HAS SOPS 1307542 HAS SOUS 987025 HAS SOUPS 953412 WITH SCORE 954787.209
AT ITER 1664 NEW BEST:: SOT 3069549 SOS 1372800 HAS SOPS 1305133 HAS SOUS 985599 HAS SOUPS 951986 WITH SCORE 953358.8
AT ITER 1665 NEW BEST:: SOT 3067750 SOS 1371001 HAS SOPS 1303334 HAS SOUS 984463 HAS SOUPS 950850 WITH SCORE 952221.001
AT ITER 1666 NEW BEST:: SOT 3067666 SOS 1370916 HAS SOPS 1303249 HAS SOUS 984378 HAS SOUPS 950765 WITH SCORE 952135.916
AT ITER 1670 NEW BEST:: SOT 3067100 SOS 1368859 HAS SOPS 1301387 HAS SOUS 983043 HAS SOUPS 949625 WITH SCORE 950993.859
AT ITER 1671 NEW BEST:: SOT 3063677 SOS 1366228 HAS SOPS 1298756 HAS SOUS 981734 HAS SOUPS 948316 WITH SCORE 949682.228
AT ITER 1678 NEW BEST:: SOT 3064313 SOS 1367001 HAS SOPS 1299529 HAS SOUS 981421 HAS SOUPS 948003 WITH SCORE 949370.001
AT ITER 1693 NEW BEST:: SOT 3064770 SOS 1365126 HAS SOPS 1297654 HAS SOUS 980601 HAS SOUPS 947183 WITH SCORE 948548.126
AT ITER 1695 NEW BEST:: SOT 3063100 SOS 1362853 HAS SOPS 1295381 HAS SOUS 979079 HAS SOUPS 945661 WITH SCORE 947023.853
AT ITER 1696 NEW BEST:: SOT 3062939 SOS 1362830 HAS SOPS 1295358 HAS SOUS 978918 HAS SOUPS 945500 WITH SCORE 946862.83
AT ITER 1697 NEW BEST:: SOT 3062832 SOS 1362723 HAS SOPS 1295251 HAS SOUS 978845 HAS SOUPS 945427 WITH SCORE 946789.723
AT ITER 1710 NEW BEST:: SOT 3061660 SOS 1361551 HAS SOPS 1294079 HAS SOUS 977673 HAS SOUPS 944255 WITH SCORE 945616.551
AT ITER 1722 NEW BEST:: SOT 3061660 SOS 1361285 HAS SOPS 1293813 HAS SOUS 977603 HAS SOUPS 944185 WITH SCORE 945546.285
AT ITER 1724 NEW BEST:: SOT 3061534 SOS 1361159 HAS SOPS 1293687 HAS SOUS 976618 HAS SOUPS 943200 WITH SCORE 944561.159
AT ITER 1726 NEW BEST:: SOT 3061295 SOS 1360919 HAS SOPS 1293447 HAS SOUS 976378 HAS SOUPS 942960 WITH SCORE 944320.919
AT ITER 1729 NEW BEST:: SOT 3060264 SOS 1356714 HAS SOPS 1289242 HAS SOUS 974615 HAS SOUPS 941197 WITH SCORE 942553.714
AT ITER 1735 NEW BEST:: SOT 3060263 SOS 1356530 HAS SOPS 1289058 HAS SOUS 974431 HAS SOUPS 941013 WITH SCORE 942369.53
AT ITER 1737 NEW BEST:: SOT 3060188 SOS 1356455 HAS SOPS 1288983 HAS SOUS 974356 HAS SOUPS 940938 WITH SCORE 942294.455
AT ITER 1747 NEW BEST:: SOT 3057309 SOS 1353591 HAS SOPS 1286119 HAS SOUS 972216 HAS SOUPS 938798 WITH SCORE 940151.591
AT ITER 1755 NEW BEST:: SOT 3057309 SOS 1353248 HAS SOPS 1285776 HAS SOUS 972216 HAS SOUPS 938798 WITH SCORE 940151.248
AT ITER 1758 NEW BEST:: SOT 3057211 SOS 1353150 HAS SOPS 1285678 HAS SOUS 972118 HAS SOUPS 938700 WITH SCORE 940053.15
AT ITER 1773 NEW BEST:: SOT 3056728 SOS 1352674 HAS SOPS 1285073 HAS SOUS 971660 HAS SOUPS 938242 WITH SCORE 939594.674
AT ITER 1775 NEW BEST:: SOT 3054676 SOS 1349171 HAS SOPS 1281570 HAS SOUS 969738 HAS SOUPS 936320 WITH SCORE 937669.171
AT ITER 1778 NEW BEST:: SOT 3054600 SOS 1349095 HAS SOPS 1281494 HAS SOUS 969662 HAS SOUPS 936244 WITH SCORE 937593.095
AT ITER 1779 NEW BEST:: SOT 3054599 SOS 1348622 HAS SOPS 1281256 HAS SOUS 969660 HAS SOUPS 936242 WITH SCORE 937590.622
AT ITER 1786 NEW BEST:: SOT 3054195 SOS 1348218 HAS SOPS 1280852 HAS SOUS 969035 HAS SOUPS 935617 WITH SCORE 936965.218
AT ITER 1787 NEW BEST:: SOT 3054100 SOS 1348123 HAS SOPS 1280757 HAS SOUS 968978 HAS SOUPS 935560 WITH SCORE 936908.123
AT ITER 1789 NEW BEST:: SOT 3054014 SOS 1347951 HAS SOPS 1280585 HAS SOUS 968892 HAS SOUPS 935474 WITH SCORE 936821.951
AT ITER 1793 NEW BEST:: SOT 3053933 SOS 1347708 HAS SOPS 1280342 HAS SOUS 968730 HAS SOUPS 935312 WITH SCORE 936659.708
AT ITER 1796 NEW BEST:: SOT 3053893 SOS 1347668 HAS SOPS 1280302 HAS SOUS 968690 HAS SOUPS 935272 WITH SCORE 936619.668
AT ITER 1797 NEW BEST:: SOT 3053874 SOS 1347649 HAS SOPS 1280283 HAS SOUS 968671 HAS SOUPS 935253 WITH SCORE 936600.649
AT ITER 1802 NEW BEST:: SOT 3053566 SOS 1347107 HAS SOPS 1279741 HAS SOUS 968129 HAS SOUPS 934711 WITH SCORE 936058.107
AT ITER 1805 NEW BEST:: SOT 3053595 SOS 1346830 HAS SOPS 1279464 HAS SOUS 968056 HAS SOUPS 934638 WITH SCORE 935984.83
AT ITER 1813 NEW BEST:: SOT 3053704 SOS 1348339 HAS SOPS 1279573 HAS SOUS 968065 HAS SOUPS 934100 WITH SCORE 935448.339
AT ITER 1826 NEW BEST:: SOT 3054424 SOS 1349059 HAS SOPS 1280293 HAS SOUS 968064 HAS SOUPS 934099 WITH SCORE 935448.059
AT ITER 1834 NEW BEST:: SOT 3054208 SOS 1348843 HAS SOPS 1280077 HAS SOUS 967920 HAS SOUPS 933955 WITH SCORE 935303.843
AT ITER 1845 NEW BEST:: SOT 3054654 SOS 1349833 HAS SOPS 1279665 HAS SOUS 968910 HAS SOUPS 933543 WITH SCORE 934892.833
AT ITER 1853 NEW BEST:: SOT 3053376 SOS 1348806 HAS SOPS 1278638 HAS SOUS 968327 HAS SOUPS 932960 WITH SCORE 934308.806
AT ITER 1858 NEW BEST:: SOT 3053399 SOS 1348828 HAS SOPS 1278209 HAS SOUS 967898 HAS SOUPS 932531 WITH SCORE 933879.828
AT ITER 1864 NEW BEST:: SOT 3053399 SOS 1348703 HAS SOPS 1278084 HAS SOUS 967773 HAS SOUPS 932406 WITH SCORE 933754.703
AT ITER 1865 NEW BEST:: SOT 3052590 SOS 1348428 HAS SOPS 1277809 HAS SOUS 967744 HAS SOUPS 932377 WITH SCORE 933725.428
AT ITER 1866 NEW BEST:: SOT 3052590 SOS 1348278 HAS SOPS 1277659 HAS SOUS 967594 HAS SOUPS 932227 WITH SCORE 933575.278
AT ITER 1867 NEW BEST:: SOT 3052323 SOS 1345968 HAS SOPS 1275349 HAS SOUS 965965 HAS SOUPS 930598 WITH SCORE 931943.968
AT ITER 1872 NEW BEST:: SOT 3051817 SOS 1345755 HAS SOPS 1274870 HAS SOUS 965371 HAS SOUPS 929475 WITH SCORE 930820.755
AT ITER 1881 NEW BEST:: SOT 3051525 SOS 1345570 HAS SOPS 1274794 HAS SOUS 964894 HAS SOUPS 928998 WITH SCORE 930343.57
AT ITER 1883 NEW BEST:: SOT 3049871 SOS 1342859 HAS SOPS 1269075 HAS SOUS 961656 HAS SOUPS 924634 WITH SCORE 925976.859
AT ITER 1884 NEW BEST:: SOT 3049746 SOS 1342484 HAS SOPS 1268700 HAS SOUS 961406 HAS SOUPS 924384 WITH SCORE 925726.484
AT ITER 1887 NEW BEST:: SOT 3050733 SOS 1345424 HAS SOPS 1268483 HAS SOUS 961921 HAS SOUPS 923826 WITH SCORE 925171.424
AT ITER 1889 NEW BEST:: SOT 3050174 SOS 1344865 HAS SOPS 1267923 HAS SOUS 961657 HAS SOUPS 923562 WITH SCORE 924906.865
AT ITER 1891 NEW BEST:: SOT 3050174 SOS 1345584 HAS SOPS 1268642 HAS SOUS 961509 HAS SOUPS 923414 WITH SCORE 924759.584
AT ITER 1895 NEW BEST:: SOT 3049825 SOS 1345235 HAS SOPS 1267944 HAS SOUS 961135 HAS SOUPS 922716 WITH SCORE 924061.235
AT ITER 1907 NEW BEST:: SOT 3049265 SOS 1345128 HAS SOPS 1266700 HAS SOUS 960215 HAS SOUPS 921215 WITH SCORE 922560.128
AT ITER 1908 NEW BEST:: SOT 3049202 SOS 1345065 HAS SOPS 1266637 HAS SOUS 960089 HAS SOUPS 921089 WITH SCORE 922434.065
AT ITER 1915 NEW BEST:: SOT 3048599 SOS 1344306 HAS SOPS 1265878 HAS SOUS 959786 HAS SOUPS 920786 WITH SCORE 922130.306
AT ITER 1927 NEW BEST:: SOT 3048177 SOS 1343994 HAS SOPS 1265566 HAS SOUS 959364 HAS SOUPS 920364 WITH SCORE 921707.994
AT ITER 1933 NEW BEST:: SOT 3047757 SOS 1343573 HAS SOPS 1265489 HAS SOUS 959287 HAS SOUPS 920287 WITH SCORE 921630.573
AT ITER 1939 NEW BEST:: SOT 3047207 SOS 1338938 HAS SOPS 1260854 HAS SOUS 957452 HAS SOUPS 918452 WITH SCORE 919790.938
AT ITER 1941 NEW BEST:: SOT 3046345 SOS 1336853 HAS SOPS 1258556 HAS SOUS 955991 HAS SOUPS 916872 WITH SCORE 918208.853
AT ITER 1944 NEW BEST:: SOT 3045666 SOS 1335940 HAS SOPS 1257643 HAS SOUS 955078 HAS SOUPS 915959 WITH SCORE 917294.94
AT ITER 1952 NEW BEST:: SOT 3044641 SOS 1331373 HAS SOPS 1253076 HAS SOUS 951816 HAS SOUPS 912697 WITH SCORE 914028.373
AT ITER 1955 NEW BEST:: SOT 3044545 SOS 1331133 HAS SOPS 1252836 HAS SOUS 951720 HAS SOUPS 912601 WITH SCORE 913932.133
AT ITER 1968 NEW BEST:: SOT 3043146 SOS 1329467 HAS SOPS 1251170 HAS SOUS 950802 HAS SOUPS 911683 WITH SCORE 913012.467
AT ITER 1970 NEW BEST:: SOT 3042379 SOS 1330649 HAS SOPS 1250402 HAS SOUS 950764 HAS SOUPS 910915 WITH SCORE 912245.649
AT ITER 1971 NEW BEST:: SOT 3041914 SOS 1330184 HAS SOPS 1249937 HAS SOUS 950485 HAS SOUPS 910636 WITH SCORE 911966.184
AT ITER 1974 NEW BEST:: SOT 3041460 SOS 1330645 HAS SOPS 1249483 HAS SOUS 950498 HAS SOUPS 910182 WITH SCORE 911512.645
AT ITER 1982 NEW BEST:: SOT 3041460 SOS 1330645 HAS SOPS 1249483 HAS SOUS 950261 HAS SOUPS 909945 WITH SCORE 911275.645
AT ITER 1987 NEW BEST:: SOT 3041296 SOS 1330481 HAS SOPS 1249319 HAS SOUS 950261 HAS SOUPS 909945 WITH SCORE 911275.481
AT ITER 1995 NEW BEST:: SOT 3035882 SOS 1322469 HAS SOPS 1241307 HAS SOUS 945086 HAS SOUPS 904770 WITH SCORE 906092.469
AT ITER 2001 NEW BEST:: SOT 3034770 SOS 1321219 HAS SOPS 1240057 HAS SOUS 943836 HAS SOUPS 903520 WITH SCORE 904841.219
AT ITER 2002 NEW BEST:: SOT 3034980 SOS 1323213 HAS SOPS 1240078 HAS SOUS 943794 HAS SOUPS 902540 WITH SCORE 903863.213
AT ITER 2004 NEW BEST:: SOT 3034184 SOS 1323508 HAS SOPS 1240373 HAS SOUS 943427 HAS SOUPS 902173 WITH SCORE 903496.508
AT ITER 2014 NEW BEST:: SOT 3034177 SOS 1323480 HAS SOPS 1240366 HAS SOUS 943413 HAS SOUPS 902166 WITH SCORE 903489.48
AT ITER 2015 NEW BEST:: SOT 3033402 SOS 1321080 HAS SOPS 1237966 HAS SOUS 942563 HAS SOUPS 901316 WITH SCORE 902637.08
AT ITER 2018 NEW BEST:: SOT 3033063 SOS 1320741 HAS SOPS 1237627 HAS SOUS 942337 HAS SOUPS 901090 WITH SCORE 902410.741
AT ITER 2021 NEW BEST:: SOT 3031402 SOS 1316305 HAS SOPS 1233191 HAS SOUS 939221 HAS SOUPS 897974 WITH SCORE 899290.305
AT ITER 2022 NEW BEST:: SOT 3031383 SOS 1316286 HAS SOPS 1233172 HAS SOUS 939202 HAS SOUPS 897955 WITH SCORE 899271.286
AT ITER 2025 NEW BEST:: SOT 3031351 SOS 1316254 HAS SOPS 1233108 HAS SOUS 939170 HAS SOUPS 897891 WITH SCORE 899207.254
AT ITER 2029 NEW BEST:: SOT 3031351 SOS 1316252 HAS SOPS 1233023 HAS SOUS 939085 HAS SOUPS 897806 WITH SCORE 899122.252
AT ITER 2034 NEW BEST:: SOT 3030948 SOS 1315953 HAS SOPS 1232619 HAS SOUS 937879 HAS SOUPS 896495 WITH SCORE 897810.953
AT ITER 2036 NEW BEST:: SOT 3029024 SOS 1314029 HAS SOPS 1230695 HAS SOUS 936668 HAS SOUPS 895284 WITH SCORE 896598.029
AT ITER 2037 NEW BEST:: SOT 3028978 SOS 1313776 HAS SOPS 1230442 HAS SOUS 936267 HAS SOUPS 894883 WITH SCORE 896196.776
AT ITER 2050 NEW BEST:: SOT 3028909 SOS 1313707 HAS SOPS 1230304 HAS SOUS 935933 HAS SOUPS 894480 WITH SCORE 895793.707
AT ITER 2052 NEW BEST:: SOT 3028537 SOS 1313485 HAS SOPS 1230234 HAS SOUS 935074 HAS SOUPS 893621 WITH SCORE 894934.485
AT ITER 2054 NEW BEST:: SOT 3028507 SOS 1313397 HAS SOPS 1230146 HAS SOUS 934986 HAS SOUPS 893533 WITH SCORE 894846.397
AT ITER 2059 NEW BEST:: SOT 3028507 SOS 1313300 HAS SOPS 1229952 HAS SOUS 934912 HAS SOUPS 893459 WITH SCORE 894772.3
AT ITER 2060 NEW BEST:: SOT 3028083 SOS 1310927 HAS SOPS 1227579 HAS SOUS 934863 HAS SOUPS 893410 WITH SCORE 894720.927
AT ITER 2066 NEW BEST:: SOT 3028083 SOS 1309770 HAS SOPS 1226247 HAS SOUS 934150 HAS SOUPS 892522 WITH SCORE 893831.77
AT ITER 2073 NEW BEST:: SOT 3028750 SOS 1308831 HAS SOPS 1225308 HAS SOUS 933039 HAS SOUPS 891411 WITH SCORE 892719.831
AT ITER 2078 NEW BEST:: SOT 3028734 SOS 1309167 HAS SOPS 1225292 HAS SOUS 932339 HAS SOUPS 890359 WITH SCORE 891668.167
AT ITER 2082 NEW BEST:: SOT 3028733 SOS 1309838 HAS SOPS 1225030 HAS SOUS 932077 HAS SOUPS 889164 WITH SCORE 890473.838
AT ITER 2089 NEW BEST:: SOT 3027062 SOS 1308167 HAS SOPS 1223359 HAS SOUS 931310 HAS SOUPS 888397 WITH SCORE 889705.167
AT ITER 2100 NEW BEST:: SOT 3025406 SOS 1306511 HAS SOPS 1221703 HAS SOUS 930592 HAS SOUPS 887679 WITH SCORE 888985.511
AT ITER 2107 NEW BEST:: SOT 3023145 SOS 1300896 HAS SOPS 1219556 HAS SOUS 928636 HAS SOUPS 886987 WITH SCORE 888287.896
AT ITER 2110 NEW BEST:: SOT 3022026 SOS 1301984 HAS SOPS 1218437 HAS SOUS 928453 HAS SOUPS 885868 WITH SCORE 887169.984
AT ITER 2113 NEW BEST:: SOT 3022010 SOS 1301936 HAS SOPS 1218389 HAS SOUS 928437 HAS SOUPS 885852 WITH SCORE 887153.936
AT ITER 2117 NEW BEST:: SOT 3022054 SOS 1302110 HAS SOPS 1218347 HAS SOUS 928395 HAS SOUPS 885810 WITH SCORE 887112.11
AT ITER 2118 NEW BEST:: SOT 3021978 SOS 1302034 HAS SOPS 1218271 HAS SOUS 928331 HAS SOUPS 885746 WITH SCORE 887048.034
AT ITER 2120 NEW BEST:: SOT 3020984 SOS 1299580 HAS SOPS 1215817 HAS SOUS 926871 HAS SOUPS 884286 WITH SCORE 885585.58
AT ITER 2121 NEW BEST:: SOT 3020984 SOS 1299440 HAS SOPS 1215677 HAS SOUS 926731 HAS SOUPS 884146 WITH SCORE 885445.44
AT ITER 2124 NEW BEST:: SOT 3019566 SOS 1299231 HAS SOPS 1215468 HAS SOUS 926705 HAS SOUPS 884120 WITH SCORE 885419.231
AT ITER 2126 NEW BEST:: SOT 3018016 SOS 1298087 HAS SOPS 1214324 HAS SOUS 926439 HAS SOUPS 883854 WITH SCORE 885152.087
AT ITER 2139 NEW BEST:: SOT 3016705 SOS 1294872 HAS SOPS 1211109 HAS SOUS 924685 HAS SOUPS 882100 WITH SCORE 883394.872
AT ITER 2142 NEW BEST:: SOT 3016250 SOS 1294417 HAS SOPS 1210654 HAS SOUS 924450 HAS SOUPS 881865 WITH SCORE 883159.417
AT ITER 2147 NEW BEST:: SOT 3015877 SOS 1293486 HAS SOPS 1209723 HAS SOUS 923892 HAS SOUPS 881307 WITH SCORE 882600.486
AT ITER 2149 NEW BEST:: SOT 3015877 SOS 1293477 HAS SOPS 1209714 HAS SOUS 923892 HAS SOUPS 881307 WITH SCORE 882600.477
AT ITER 2152 NEW BEST:: SOT 3015157 SOS 1292340 HAS SOPS 1207767 HAS SOUS 921475 HAS SOUPS 878080 WITH SCORE 879372.34
AT ITER 2163 NEW BEST:: SOT 3014734 SOS 1291917 HAS SOPS 1207203 HAS SOUS 921052 HAS SOUPS 877516 WITH SCORE 878807.917
AT ITER 2166 NEW BEST:: SOT 3014030 SOS 1291606 HAS SOPS 1206032 HAS SOUS 919933 HAS SOUPS 876030 WITH SCORE 877321.606
AT ITER 2172 NEW BEST:: SOT 3013755 SOS 1290893 HAS SOPS 1205319 HAS SOUS 919220 HAS SOUPS 875317 WITH SCORE 876607.893
AT ITER 2177 NEW BEST:: SOT 3013733 SOS 1290311 HAS SOPS 1204737 HAS SOUS 918638 HAS SOUPS 874735 WITH SCORE 876025.311
AT ITER 2190 NEW BEST:: SOT 3013733 SOS 1290311 HAS SOPS 1204380 HAS SOUS 918519 HAS SOUPS 874497 WITH SCORE 875787.311
AT ITER 2194 NEW BEST:: SOT 3013711 SOS 1289857 HAS SOPS 1203926 HAS SOUS 918024 HAS SOUPS 874002 WITH SCORE 875291.857
AT ITER 2201 NEW BEST:: SOT 3013296 SOS 1289251 HAS SOPS 1203320 HAS SOUS 917418 HAS SOUPS 873396 WITH SCORE 874685.251
AT ITER 2203 NEW BEST:: SOT 3013182 SOS 1289023 HAS SOPS 1203092 HAS SOUS 917190 HAS SOUPS 873168 WITH SCORE 874457.023
AT ITER 2208 NEW BEST:: SOT 3013182 SOS 1288902 HAS SOPS 1202971 HAS SOUS 917190 HAS SOUPS 873168 WITH SCORE 874456.902
AT ITER 2210 NEW BEST:: SOT 3012825 SOS 1288544 HAS SOPS 1202613 HAS SOUS 916842 HAS SOUPS 872820 WITH SCORE 874108.544
AT ITER 2212 NEW BEST:: SOT 3011932 SOS 1287750 HAS SOPS 1201819 HAS SOUS 916142 HAS SOUPS 872120 WITH SCORE 873407.75
AT ITER 2219 NEW BEST:: SOT 3010325 SOS 1286383 HAS SOPS 1200452 HAS SOUS 915265 HAS SOUPS 871243 WITH SCORE 872529.383
AT ITER 2220 NEW BEST:: SOT 3010018 SOS 1286075 HAS SOPS 1200144 HAS SOUS 914957 HAS SOUPS 870935 WITH SCORE 872221.075
AT ITER 2229 NEW BEST:: SOT 3010018 SOS 1285423 HAS SOPS 1199748 HAS SOUS 914817 HAS SOUPS 870795 WITH SCORE 872080.423
AT ITER 2243 NEW BEST:: SOT 3011877 SOS 1286686 HAS SOPS 1201011 HAS SOUS 914525 HAS SOUPS 870503 WITH SCORE 871789.686
AT ITER 2244 NEW BEST:: SOT 3010241 SOS 1286382 HAS SOPS 1199058 HAS SOUS 913345 HAS SOUPS 868486 WITH SCORE 869772.382
AT ITER 2249 NEW BEST:: SOT 3010027 SOS 1285847 HAS SOPS 1198844 HAS SOUS 913131 HAS SOUPS 868379 WITH SCORE 869664.847
AT ITER 2253 NEW BEST:: SOT 3009783 SOS 1285603 HAS SOPS 1198600 HAS SOUS 913009 HAS SOUPS 868257 WITH SCORE 869542.603
AT ITER 2257 NEW BEST:: SOT 3008701 SOS 1283980 HAS SOPS 1196977 HAS SOUS 911386 HAS SOUPS 866634 WITH SCORE 867917.98
AT ITER 2270 NEW BEST:: SOT 3008598 SOS 1283877 HAS SOPS 1196874 HAS SOUS 911283 HAS SOUPS 866531 WITH SCORE 867814.877
AT ITER 2271 NEW BEST:: SOT 3008412 SOS 1284057 HAS SOPS 1197054 HAS SOUS 911127 HAS SOUPS 866375 WITH SCORE 867659.057
AT ITER 2274 NEW BEST:: SOT 3008412 SOS 1283667 HAS SOPS 1196664 HAS SOUS 910932 HAS SOUPS 866180 WITH SCORE 867463.667
AT ITER 2278 NEW BEST:: SOT 3008451 SOS 1283488 HAS SOPS 1196485 HAS SOUS 910849 HAS SOUPS 866097 WITH SCORE 867380.488
AT ITER 2282 NEW BEST:: SOT 3008206 SOS 1284241 HAS SOPS 1196240 HAS SOUS 910505 HAS SOUPS 865383 WITH SCORE 866667.241
AT ITER 2286 NEW BEST:: SOT 3006730 SOS 1283905 HAS SOPS 1195904 HAS SOUS 909635 HAS SOUPS 864513 WITH SCORE 865796.905
AT ITER 2292 NEW BEST:: SOT 3006730 SOS 1283905 HAS SOPS 1195904 HAS SOUS 909623 HAS SOUPS 864501 WITH SCORE 865784.905
AT ITER 2295 NEW BEST:: SOT 3006730 SOS 1283852 HAS SOPS 1195851 HAS SOUS 909623 HAS SOUPS 864501 WITH SCORE 865784.852
AT ITER 2296 NEW BEST:: SOT 3006431 SOS 1282955 HAS SOPS 1194954 HAS SOUS 909025 HAS SOUPS 863903 WITH SCORE 865185.955
AT ITER 2299 NEW BEST:: SOT 3005968 SOS 1282734 HAS SOPS 1194733 HAS SOUS 908935 HAS SOUPS 863813 WITH SCORE 865095.734
AT ITER 2302 NEW BEST:: SOT 3005968 SOS 1281085 HAS SOPS 1193084 HAS SOUS 908935 HAS SOUPS 863813 WITH SCORE 865094.085
AT ITER 2312 NEW BEST:: SOT 3005968 SOS 1280983 HAS SOPS 1192982 HAS SOUS 908935 HAS SOUPS 863813 WITH SCORE 865093.983
AT ITER 2315 NEW BEST:: SOT 3005963 SOS 1280418 HAS SOPS 1192417 HAS SOUS 908560 HAS SOUPS 863438 WITH SCORE 864718.418
AT ITER 2320 NEW BEST:: SOT 3005461 SOS 1279916 HAS SOPS 1191915 HAS SOUS 907556 HAS SOUPS 862434 WITH SCORE 863713.916
AT ITER 2324 NEW BEST:: SOT 3005509 SOS 1279598 HAS SOPS 1191597 HAS SOUS 907238 HAS SOUPS 862116 WITH SCORE 863395.598
AT ITER 2343 NEW BEST:: SOT 3004260 SOS 1278349 HAS SOPS 1190347 HAS SOUS 906612 HAS SOUPS 861490 WITH SCORE 862768.349
AT ITER 2344 NEW BEST:: SOT 3004260 SOS 1278231 HAS SOPS 1190229 HAS SOUS 906494 HAS SOUPS 861372 WITH SCORE 862650.231
AT ITER 2345 NEW BEST:: SOT 3003544 SOS 1277650 HAS SOPS 1189512 HAS SOUS 905857 HAS SOUPS 860655 WITH SCORE 861932.65
AT ITER 2348 NEW BEST:: SOT 3003431 SOS 1277505 HAS SOPS 1189001 HAS SOUS 905997 HAS SOUPS 860429 WITH SCORE 861706.505
AT ITER 2349 NEW BEST:: SOT 3003431 SOS 1277513 HAS SOPS 1189009 HAS SOUS 905989 HAS SOUPS 860421 WITH SCORE 861698.513
AT ITER 2353 NEW BEST:: SOT 3003431 SOS 1276989 HAS SOPS 1188485 HAS SOUS 905989 HAS SOUPS 860421 WITH SCORE 861697.989
AT ITER 2361 NEW BEST:: SOT 3001971 SOS 1274668 HAS SOPS 1186164 HAS SOUS 904529 HAS SOUPS 858961 WITH SCORE 860235.668
AT ITER 2371 NEW BEST:: SOT 3002008 SOS 1275668 HAS SOPS 1185732 HAS SOUS 904566 HAS SOUPS 858529 WITH SCORE 859804.668
AT ITER 2372 NEW BEST:: SOT 3000370 SOS 1275276 HAS SOPS 1185340 HAS SOUS 904174 HAS SOUPS 858137 WITH SCORE 859412.276
AT ITER 2375 NEW BEST:: SOT 3000370 SOS 1275276 HAS SOPS 1185164 HAS SOUS 904174 HAS SOUPS 857961 WITH SCORE 859236.276
AT ITER 2377 NEW BEST:: SOT 3000212 SOS 1275118 HAS SOPS 1185006 HAS SOUS 904016 HAS SOUPS 857803 WITH SCORE 859078.118
AT ITER 2378 NEW BEST:: SOT 2998530 SOS 1273436 HAS SOPS 1183324 HAS SOUS 903230 HAS SOUPS 857017 WITH SCORE 858290.436
AT ITER 2382 NEW BEST:: SOT 2998529 SOS 1272061 HAS SOPS 1182316 HAS SOUS 903215 HAS SOUPS 857015 WITH SCORE 858287.061
AT ITER 2387 NEW BEST:: SOT 2998247 SOS 1270924 HAS SOPS 1181179 HAS SOUS 902235 HAS SOUPS 856035 WITH SCORE 857305.924
AT ITER 2393 NEW BEST:: SOT 2997655 SOS 1270332 HAS SOPS 1180587 HAS SOUS 901051 HAS SOUPS 854851 WITH SCORE 856121.332
AT ITER 2394 NEW BEST:: SOT 2998150 SOS 1270989 HAS SOPS 1181244 HAS SOUS 901049 HAS SOUPS 854849 WITH SCORE 856119.989
AT ITER 2395 NEW BEST:: SOT 2995617 SOS 1269596 HAS SOPS 1179851 HAS SOUS 899575 HAS SOUPS 853375 WITH SCORE 854644.596
AT ITER 2399 NEW BEST:: SOT 2994571 SOS 1269073 HAS SOPS 1179328 HAS SOUS 899575 HAS SOUPS 853375 WITH SCORE 854644.073
AT ITER 2404 NEW BEST:: SOT 2994968 SOS 1268744 HAS SOPS 1178999 HAS SOUS 899375 HAS SOUPS 853175 WITH SCORE 854443.744
AT ITER 2423 NEW BEST:: SOT 2994765 SOS 1268541 HAS SOPS 1178796 HAS SOUS 898969 HAS SOUPS 852769 WITH SCORE 854037.541
AT ITER 2424 NEW BEST:: SOT 2994765 SOS 1268041 HAS SOPS 1178296 HAS SOUS 898969 HAS SOUPS 852769 WITH SCORE 854037.041
AT ITER 2428 NEW BEST:: SOT 2994601 SOS 1267877 HAS SOPS 1178132 HAS SOUS 898887 HAS SOUPS 852687 WITH SCORE 853954.877
AT ITER 2432 NEW BEST:: SOT 2993941 SOS 1267736 HAS SOPS 1177556 HAS SOUS 898311 HAS SOUPS 852111 WITH SCORE 853378.736
AT ITER 2433 NEW BEST:: SOT 2994278 SOS 1267555 HAS SOPS 1177131 HAS SOUS 898130 HAS SOUPS 851686 WITH SCORE 852953.555
AT ITER 2443 NEW BEST:: SOT 2994278 SOS 1267609 HAS SOPS 1177095 HAS SOUS 898112 HAS SOUPS 851650 WITH SCORE 852917.609
AT ITER 2446 NEW BEST:: SOT 2994374 SOS 1266294 HAS SOPS 1175780 HAS SOUS 897810 HAS SOUPS 851348 WITH SCORE 852614.294
AT ITER 2448 NEW BEST:: SOT 2993776 SOS 1265696 HAS SOPS 1175182 HAS SOUS 896783 HAS SOUPS 850321 WITH SCORE 851586.696
AT ITER 2449 NEW BEST:: SOT 2991649 SOS 1263866 HAS SOPS 1173352 HAS SOUS 895778 HAS SOUPS 849316 WITH SCORE 850579.866
AT ITER 2456 NEW BEST:: SOT 2990282 SOS 1262885 HAS SOPS 1172371 HAS SOUS 895229 HAS SOUPS 848767 WITH SCORE 850029.885
AT ITER 2457 NEW BEST:: SOT 2990006 SOS 1263180 HAS SOPS 1171711 HAS SOUS 894993 HAS SOUPS 848107 WITH SCORE 849370.18
AT ITER 2468 NEW BEST:: SOT 2990021 SOS 1261893 HAS SOPS 1170424 HAS SOUS 894342 HAS SOUPS 847456 WITH SCORE 848717.893
AT ITER 2472 NEW BEST:: SOT 2989966 SOS 1261624 HAS SOPS 1169737 HAS SOUS 894285 HAS SOUPS 847346 WITH SCORE 848607.624
AT ITER 2492 NEW BEST:: SOT 2989966 SOS 1260547 HAS SOPS 1168660 HAS SOUS 893936 HAS SOUPS 846997 WITH SCORE 848257.547
AT ITER 2494 NEW BEST:: SOT 2989264 SOS 1261146 HAS SOPS 1169259 HAS SOUS 893842 HAS SOUPS 846903 WITH SCORE 848164.146
AT ITER 2496 NEW BEST:: SOT 2988064 SOS 1257998 HAS SOPS 1166111 HAS SOUS 891449 HAS SOUPS 844510 WITH SCORE 845767.998
AT ITER 2499 NEW BEST:: SOT 2987975 SOS 1257909 HAS SOPS 1166022 HAS SOUS 891360 HAS SOUPS 844421 WITH SCORE 845678.909
AT ITER 2500 NEW BEST:: SOT 2987816 SOS 1257551 HAS SOPS 1165664 HAS SOUS 891231 HAS SOUPS 844292 WITH SCORE 845549.551
AT ITER 2503 NEW BEST:: SOT 2987816 SOS 1257325 HAS SOPS 1165438 HAS SOUS 891216 HAS SOUPS 844277 WITH SCORE 845534.325
AT ITER 2504 NEW BEST:: SOT 2987619 SOS 1256917 HAS SOPS 1165030 HAS SOUS 891005 HAS SOUPS 844066 WITH SCORE 845322.917
AT ITER 2514 NEW BEST:: SOT 2987390 SOS 1256736 HAS SOPS 1165016 HAS SOUS 890991 HAS SOUPS 844052 WITH SCORE 845308.736
AT ITER 2516 NEW BEST:: SOT 2987014 SOS 1255858 HAS SOPS 1164685 HAS SOUS 890660 HAS SOUPS 843721 WITH SCORE 844976.858
AT ITER 2530 NEW BEST:: SOT 2986845 SOS 1255689 HAS SOPS 1164149 HAS SOUS 890384 HAS SOUPS 843383 WITH SCORE 844638.689
AT ITER 2532 NEW BEST:: SOT 2986698 SOS 1255556 HAS SOPS 1164016 HAS SOUS 890237 HAS SOUPS 843236 WITH SCORE 844491.556
AT ITER 2534 NEW BEST:: SOT 2986803 SOS 1255289 HAS SOPS 1163749 HAS SOUS 889983 HAS SOUPS 842982 WITH SCORE 844237.289
AT ITER 2535 NEW BEST:: SOT 2986113 SOS 1253717 HAS SOPS 1162177 HAS SOUS 889344 HAS SOUPS 842343 WITH SCORE 843596.717
AT ITER 2537 NEW BEST:: SOT 2986113 SOS 1253717 HAS SOPS 1162177 HAS SOUS 889257 HAS SOUPS 842256 WITH SCORE 843509.717
AT ITER 2545 NEW BEST:: SOT 2985961 SOS 1253565 HAS SOPS 1162025 HAS SOUS 889105 HAS SOUPS 842104 WITH SCORE 843357.565
AT ITER 2548 NEW BEST:: SOT 2985353 SOS 1252957 HAS SOPS 1161417 HAS SOUS 888556 HAS SOUPS 841555 WITH SCORE 842807.957
AT ITER 2550 NEW BEST:: SOT 2985121 SOS 1252754 HAS SOPS 1161214 HAS SOUS 888353 HAS SOUPS 841352 WITH SCORE 842604.754
AT ITER 2551 NEW BEST:: SOT 2985121 SOS 1252281 HAS SOPS 1160741 HAS SOUS 888353 HAS SOUPS 841352 WITH SCORE 842604.281
AT ITER 2557 NEW BEST:: SOT 2984862 SOS 1252022 HAS SOPS 1160482 HAS SOUS 888094 HAS SOUPS 841093 WITH SCORE 842345.022
AT ITER 2565 NEW BEST:: SOT 2984548 SOS 1250999 HAS SOPS 1158255 HAS SOUS 887741 HAS SOUPS 840465 WITH SCORE 841715.999
AT ITER 2567 NEW BEST:: SOT 2984548 SOS 1250426 HAS SOPS 1157682 HAS SOUS 887550 HAS SOUPS 840274 WITH SCORE 841524.426
AT ITER 2579 NEW BEST:: SOT 2984465 SOS 1250343 HAS SOPS 1157599 HAS SOUS 887467 HAS SOUPS 840191 WITH SCORE 841441.343
AT ITER 2592 NEW BEST:: SOT 2983151 SOS 1248434 HAS SOPS 1155690 HAS SOUS 886453 HAS SOUPS 839177 WITH SCORE 840425.434
AT ITER 2596 NEW BEST:: SOT 2982760 SOS 1247796 HAS SOPS 1155052 HAS SOUS 886413 HAS SOUPS 839137 WITH SCORE 840384.796
AT ITER 2597 NEW BEST:: SOT 2982615 SOS 1248963 HAS SOPS 1153757 HAS SOUS 885934 HAS SOUPS 837842 WITH SCORE 839090.963
AT ITER 2603 NEW BEST:: SOT 2982247 SOS 1248950 HAS SOPS 1153744 HAS SOUS 885921 HAS SOUPS 837829 WITH SCORE 839077.95
AT ITER 2608 NEW BEST:: SOT 2982120 SOS 1248569 HAS SOPS 1153363 HAS SOUS 885540 HAS SOUPS 837448 WITH SCORE 838696.569
AT ITER 2611 NEW BEST:: SOT 2982046 SOS 1247561 HAS SOPS 1152355 HAS SOUS 885102 HAS SOUPS 837010 WITH SCORE 838257.561
AT ITER 2613 NEW BEST:: SOT 2982046 SOS 1247205 HAS SOPS 1151999 HAS SOUS 885102 HAS SOUPS 837010 WITH SCORE 838257.205
AT ITER 2626 NEW BEST:: SOT 2981963 SOS 1246882 HAS SOPS 1151676 HAS SOUS 884862 HAS SOUPS 836770 WITH SCORE 838016.882
AT ITER 2636 NEW BEST:: SOT 2981963 SOS 1246493 HAS SOPS 1151676 HAS SOUS 884862 HAS SOUPS 836770 WITH SCORE 838016.493
AT ITER 2638 NEW BEST:: SOT 2981963 SOS 1246307 HAS SOPS 1151490 HAS SOUS 884861 HAS SOUPS 836769 WITH SCORE 838015.307
AT ITER 2639 NEW BEST:: SOT 2980111 SOS 1243636 HAS SOPS 1148819 HAS SOUS 883190 HAS SOUPS 835098 WITH SCORE 836341.636
AT ITER 2650 NEW BEST:: SOT 2979796 SOS 1241991 HAS SOPS 1147174 HAS SOUS 882016 HAS SOUPS 833924 WITH SCORE 835165.991
AT ITER 2654 NEW BEST:: SOT 2977061 SOS 1238795 HAS SOPS 1143978 HAS SOUS 880075 HAS SOUPS 831983 WITH SCORE 833221.795
AT ITER 2659 NEW BEST:: SOT 2976736 SOS 1237912 HAS SOPS 1141896 HAS SOUS 878605 HAS SOUPS 829901 WITH SCORE 831138.912
AT ITER 2662 NEW BEST:: SOT 2977080 SOS 1237974 HAS SOPS 1141377 HAS SOUS 878365 HAS SOUPS 829382 WITH SCORE 830619.974
AT ITER 2664 NEW BEST:: SOT 2976888 SOS 1236885 HAS SOPS 1140413 HAS SOUS 877658 HAS SOUPS 828800 WITH SCORE 830036.885
AT ITER 2666 NEW BEST:: SOT 2976887 SOS 1236422 HAS SOPS 1140180 HAS SOUS 877656 HAS SOUPS 828798 WITH SCORE 830034.422
AT ITER 2673 NEW BEST:: SOT 2977068 SOS 1236653 HAS SOPS 1140411 HAS SOUS 877602 HAS SOUPS 828744 WITH SCORE 829980.653
AT ITER 2677 NEW BEST:: SOT 2976814 SOS 1235030 HAS SOPS 1138788 HAS SOUS 876336 HAS SOUPS 827478 WITH SCORE 828713.03
AT ITER 2688 NEW BEST:: SOT 2977051 SOS 1234972 HAS SOPS 1138625 HAS SOUS 876278 HAS SOUPS 827315 WITH SCORE 828549.972
AT ITER 2692 NEW BEST:: SOT 2976517 SOS 1233994 HAS SOPS 1137557 HAS SOUS 875300 HAS SOUPS 826247 WITH SCORE 827480.994
AT ITER 2708 NEW BEST:: SOT 2977844 SOS 1233821 HAS SOPS 1137384 HAS SOUS 875127 HAS SOUPS 826074 WITH SCORE 827307.821
AT ITER 2712 NEW BEST:: SOT 2977522 SOS 1233016 HAS SOPS 1136579 HAS SOUS 874644 HAS SOUPS 825591 WITH SCORE 826824.016
AT ITER 2718 NEW BEST:: SOT 2979119 SOS 1234388 HAS SOPS 1137951 HAS SOUS 874290 HAS SOUPS 825237 WITH SCORE 826471.388
AT ITER 2719 NEW BEST:: SOT 2978831 SOS 1233668 HAS SOPS 1137231 HAS SOUS 873857 HAS SOUPS 824804 WITH SCORE 826037.668
AT ITER 2721 NEW BEST:: SOT 2978632 SOS 1232758 HAS SOPS 1136360 HAS SOUS 873397 HAS SOUPS 824344 WITH SCORE 825576.758
AT ITER 2731 NEW BEST:: SOT 2978505 SOS 1232504 HAS SOPS 1136106 HAS SOUS 873016 HAS SOUPS 823963 WITH SCORE 825195.504
AT ITER 2732 NEW BEST:: SOT 2978327 SOS 1232052 HAS SOPS 1135654 HAS SOUS 872838 HAS SOUPS 823785 WITH SCORE 825017.052
AT ITER 2738 NEW BEST:: SOT 2977919 SOS 1232076 HAS SOPS 1135678 HAS SOUS 872289 HAS SOUPS 823236 WITH SCORE 824468.076
AT ITER 2756 NEW BEST:: SOT 2977636 SOS 1230187 HAS SOPS 1134333 HAS SOUS 872201 HAS SOUPS 823148 WITH SCORE 824378.187
AT ITER 2770 NEW BEST:: SOT 2977237 SOS 1229788 HAS SOPS 1133668 HAS SOUS 871935 HAS SOUPS 822616 WITH SCORE 823845.788
AT ITER 2771 NEW BEST:: SOT 2976748 SOS 1229367 HAS SOPS 1133247 HAS SOUS 871896 HAS SOUPS 822577 WITH SCORE 823806.367
AT ITER 2773 NEW BEST:: SOT 2976547 SOS 1228704 HAS SOPS 1132584 HAS SOUS 871434 HAS SOUPS 822115 WITH SCORE 823343.704
AT ITER 2786 NEW BEST:: SOT 2975463 SOS 1227567 HAS SOPS 1131447 HAS SOUS 870343 HAS SOUPS 821024 WITH SCORE 822251.567
AT ITER 2792 NEW BEST:: SOT 2974838 SOS 1225711 HAS SOPS 1129591 HAS SOUS 869112 HAS SOUPS 819793 WITH SCORE 821018.711
AT ITER 2795 NEW BEST:: SOT 2974339 SOS 1226012 HAS SOPS 1128880 HAS SOUS 868823 HAS SOUPS 819082 WITH SCORE 820308.012
AT ITER 2801 NEW BEST:: SOT 2973857 SOS 1224037 HAS SOPS 1127260 HAS SOUS 868040 HAS SOUPS 818299 WITH SCORE 819523.037
AT ITER 2804 NEW BEST:: SOT 2973857 SOS 1223947 HAS SOPS 1127125 HAS SOUS 867995 HAS SOUPS 818209 WITH SCORE 819432.947
AT ITER 2807 NEW BEST:: SOT 2973857 SOS 1223913 HAS SOPS 1127091 HAS SOUS 867973 HAS SOUPS 818187 WITH SCORE 819410.913
AT ITER 2813 NEW BEST:: SOT 2973138 SOS 1222309 HAS SOPS 1125487 HAS SOUS 867182 HAS SOUPS 817396 WITH SCORE 818618.309
AT ITER 2819 NEW BEST:: SOT 2973138 SOS 1221046 HAS SOPS 1124224 HAS SOUS 866852 HAS SOUPS 817066 WITH SCORE 818287.046
AT ITER 2824 NEW BEST:: SOT 2972777 SOS 1220218 HAS SOPS 1123396 HAS SOUS 866454 HAS SOUPS 816668 WITH SCORE 817888.218
AT ITER 2825 NEW BEST:: SOT 2972236 SOS 1219677 HAS SOPS 1122855 HAS SOUS 865740 HAS SOUPS 815954 WITH SCORE 817173.677
AT ITER 2830 NEW BEST:: SOT 2972094 SOS 1219535 HAS SOPS 1122713 HAS SOUS 865740 HAS SOUPS 815954 WITH SCORE 817173.535
AT ITER 2843 NEW BEST:: SOT 2971403 SOS 1218844 HAS SOPS 1122022 HAS SOUS 865049 HAS SOUPS 815263 WITH SCORE 816481.844
AT ITER 2847 NEW BEST:: SOT 2971403 SOS 1218909 HAS SOPS 1121994 HAS SOUS 865052 HAS SOUPS 815235 WITH SCORE 816453.909
AT ITER 2853 NEW BEST:: SOT 2971155 SOS 1218413 HAS SOPS 1121498 HAS SOUS 864804 HAS SOUPS 814987 WITH SCORE 816205.413
AT ITER 2866 NEW BEST:: SOT 2971134 SOS 1218392 HAS SOPS 1121477 HAS SOUS 864762 HAS SOUPS 814945 WITH SCORE 816163.392
AT ITER 2867 NEW BEST:: SOT 2971134 SOS 1219106 HAS SOPS 1121323 HAS SOUS 864825 HAS SOUPS 814791 WITH SCORE 816010.106
AT ITER 2868 NEW BEST:: SOT 2971205 SOS 1217804 HAS SOPS 1120021 HAS SOUS 864107 HAS SOUPS 814073 WITH SCORE 815290.804
AT ITER 2870 NEW BEST:: SOT 2971501 SOS 1218847 HAS SOPS 1119173 HAS SOUS 864247 HAS SOUPS 813439 WITH SCORE 814657.847
AT ITER 2874 NEW BEST:: SOT 2971323 SOS 1216943 HAS SOPS 1117269 HAS SOUS 863609 HAS SOUPS 812801 WITH SCORE 814017.943
AT ITER 2880 NEW BEST:: SOT 2970572 SOS 1215865 HAS SOPS 1115976 HAS SOUS 863317 HAS SOUPS 812294 WITH SCORE 813509.865
AT ITER 2883 NEW BEST:: SOT 2970431 SOS 1215724 HAS SOPS 1115835 HAS SOUS 863176 HAS SOUPS 812153 WITH SCORE 813368.724
AT ITER 2889 NEW BEST:: SOT 2970041 SOS 1215242 HAS SOPS 1115353 HAS SOUS 862621 HAS SOUPS 811598 WITH SCORE 812813.242
AT ITER 2894 NEW BEST:: SOT 2969858 SOS 1215059 HAS SOPS 1115170 HAS SOUS 862499 HAS SOUPS 811476 WITH SCORE 812691.059
AT ITER 2897 NEW BEST:: SOT 2970396 SOS 1216448 HAS SOPS 1115708 HAS SOUS 862798 HAS SOUPS 811337 WITH SCORE 812553.448
AT ITER 2906 NEW BEST:: SOT 2970569 SOS 1216599 HAS SOPS 1115859 HAS SOUS 862765 HAS SOUPS 811304 WITH SCORE 812520.599
AT ITER 2908 NEW BEST:: SOT 2970451 SOS 1216218 HAS SOPS 1115394 HAS SOUS 862384 HAS SOUPS 810839 WITH SCORE 812055.218
AT ITER 2913 NEW BEST:: SOT 2969800 SOS 1214410 HAS SOPS 1114088 HAS SOUS 861078 HAS SOUPS 809533 WITH SCORE 810747.41
AT ITER 2924 NEW BEST:: SOT 2967106 SOS 1210727 HAS SOPS 1110405 HAS SOUS 856157 HAS SOUPS 804612 WITH SCORE 805822.727
AT ITER 2936 NEW BEST:: SOT 2966754 SOS 1210374 HAS SOPS 1110052 HAS SOUS 856056 HAS SOUPS 804511 WITH SCORE 805721.374
AT ITER 2941 NEW BEST:: SOT 2966318 SOS 1209938 HAS SOPS 1109616 HAS SOUS 855620 HAS SOUPS 804075 WITH SCORE 805284.938
AT ITER 2971 NEW BEST:: SOT 2966496 SOS 1209507 HAS SOPS 1109185 HAS SOUS 854758 HAS SOUPS 803213 WITH SCORE 804422.507
AT ITER 2972 NEW BEST:: SOT 2966496 SOS 1209936 HAS SOPS 1109614 HAS SOUS 854757 HAS SOUPS 803212 WITH SCORE 804421.936
AT ITER 2977 NEW BEST:: SOT 2966496 SOS 1209164 HAS SOPS 1108842 HAS SOUS 854008 HAS SOUPS 802463 WITH SCORE 803672.164
AT ITER 2980 NEW BEST:: SOT 2966112 SOS 1208764 HAS SOPS 1108188 HAS SOUS 853878 HAS SOUPS 802079 WITH SCORE 803287.764
AT ITER 2985 NEW BEST:: SOT 2966112 SOS 1208380 HAS SOPS 1107804 HAS SOUS 853878 HAS SOUPS 802079 WITH SCORE 803287.38
AT ITER 2986 NEW BEST:: SOT 2966144 SOS 1207354 HAS SOPS 1106778 HAS SOUS 853407 HAS SOUPS 801608 WITH SCORE 802815.354
AT ITER 2997 NEW BEST:: SOT 2966104 SOS 1207314 HAS SOPS 1106738 HAS SOUS 852959 HAS SOUPS 801160 WITH SCORE 802367.314
AT ITER 3000 NEW BEST:: SOT 2965900 SOS 1206702 HAS SOPS 1106126 HAS SOUS 852551 HAS SOUPS 800752 WITH SCORE 801958.702
AT ITER 3001 NEW BEST:: SOT 2965866 SOS 1206668 HAS SOPS 1106092 HAS SOUS 852336 HAS SOUPS 800537 WITH SCORE 801743.668
AT ITER 3009 NEW BEST:: SOT 2964016 SOS 1202679 HAS SOPS 1104789 HAS SOUS 850639 HAS SOUPS 799794 WITH SCORE 800996.679
AT ITER 3011 NEW BEST:: SOT 2964016 SOS 1202357 HAS SOPS 1104788 HAS SOUS 850317 HAS SOUPS 799793 WITH SCORE 800995.357
AT ITER 3015 NEW BEST:: SOT 2963617 SOS 1201958 HAS SOPS 1104389 HAS SOUS 850170 HAS SOUPS 799646 WITH SCORE 800847.958
AT ITER 3020 NEW BEST:: SOT 2962533 SOS 1200874 HAS SOPS 1103305 HAS SOUS 849596 HAS SOUPS 799072 WITH SCORE 800272.874
AT ITER 3027 NEW BEST:: SOT 2962531 SOS 1200872 HAS SOPS 1103303 HAS SOUS 849594 HAS SOUPS 799070 WITH SCORE 800270.872
AT ITER 3031 NEW BEST:: SOT 2962531 SOS 1201183 HAS SOPS 1102992 HAS SOUS 849594 HAS SOUPS 798759 WITH SCORE 799960.183
AT ITER 3032 NEW BEST:: SOT 2962469 SOS 1201059 HAS SOPS 1102868 HAS SOUS 849501 HAS SOUPS 798666 WITH SCORE 799867.059
AT ITER 3041 NEW BEST:: SOT 2962469 SOS 1201059 HAS SOPS 1102852 HAS SOUS 849493 HAS SOUPS 798650 WITH SCORE 799851.059
AT ITER 3050 NEW BEST:: SOT 2962134 SOS 1200352 HAS SOPS 1102832 HAS SOUS 849086 HAS SOUPS 798630 WITH SCORE 799830.352
AT ITER 3057 NEW BEST:: SOT 2962134 SOS 1200405 HAS SOPS 1102885 HAS SOUS 848920 HAS SOUPS 798464 WITH SCORE 799664.405
AT ITER 3060 NEW BEST:: SOT 2962134 SOS 1199906 HAS SOPS 1102885 HAS SOUS 848421 HAS SOUPS 798464 WITH SCORE 799663.906
AT ITER 3061 NEW BEST:: SOT 2961979 SOS 1198449 HAS SOPS 1102294 HAS SOUS 847876 HAS SOUPS 798243 WITH SCORE 799441.449
AT ITER 3063 NEW BEST:: SOT 2961914 SOS 1198384 HAS SOPS 1102229 HAS SOUS 847811 HAS SOUPS 798178 WITH SCORE 799376.384
AT ITER 3069 NEW BEST:: SOT 2961471 SOS 1197590 HAS SOPS 1101435 HAS SOUS 847368 HAS SOUPS 797735 WITH SCORE 798932.59
AT ITER 3070 NEW BEST:: SOT 2961471 SOS 1197225 HAS SOPS 1101229 HAS SOUS 847321 HAS SOUPS 797688 WITH SCORE 798885.225
AT ITER 3072 NEW BEST:: SOT 2961141 SOS 1197110 HAS SOPS 1101114 HAS SOUS 847134 HAS SOUPS 797501 WITH SCORE 798698.11
AT ITER 3074 NEW BEST:: SOT 2961141 SOS 1196759 HAS SOPS 1100763 HAS SOUS 847016 HAS SOUPS 797383 WITH SCORE 798579.759
AT ITER 3083 NEW BEST:: SOT 2961444 SOS 1196807 HAS SOPS 1100811 HAS SOUS 846945 HAS SOUPS 797312 WITH SCORE 798508.807
AT ITER 3084 NEW BEST:: SOT 2960942 SOS 1195552 HAS SOPS 1099556 HAS SOUS 846192 HAS SOUPS 796559 WITH SCORE 797754.552
AT ITER 3091 NEW BEST:: SOT 2960724 SOS 1195333 HAS SOPS 1099337 HAS SOUS 846116 HAS SOUPS 796483 WITH SCORE 797678.333
AT ITER 3094 NEW BEST:: SOT 2960932 SOS 1195541 HAS SOPS 1099545 HAS SOUS 845829 HAS SOUPS 796196 WITH SCORE 797391.541
AT ITER 3096 NEW BEST:: SOT 2960044 SOS 1194653 HAS SOPS 1098543 HAS SOUS 845343 HAS SOUPS 795710 WITH SCORE 796904.653
AT ITER 3104 NEW BEST:: SOT 2958396 SOS 1192039 HAS SOPS 1095929 HAS SOUS 843553 HAS SOUPS 793920 WITH SCORE 795112.039
AT ITER 3108 NEW BEST:: SOT 2958376 SOS 1187708 HAS SOPS 1091598 HAS SOUS 842203 HAS SOUPS 792570 WITH SCORE 793757.708
AT ITER 3116 NEW BEST:: SOT 2957618 SOS 1186950 HAS SOPS 1090840 HAS SOUS 840741 HAS SOUPS 791108 WITH SCORE 792294.95
AT ITER 3118 NEW BEST:: SOT 2957458 SOS 1186850 HAS SOPS 1090740 HAS SOUS 840706 HAS SOUPS 791073 WITH SCORE 792259.85
AT ITER 3135 NEW BEST:: SOT 2957458 SOS 1186592 HAS SOPS 1090482 HAS SOUS 840706 HAS SOUPS 791073 WITH SCORE 792259.592
AT ITER 3140 NEW BEST:: SOT 2957458 SOS 1185575 HAS SOPS 1088722 HAS SOUS 840432 HAS SOUPS 790056 WITH SCORE 791241.575
AT ITER 3151 NEW BEST:: SOT 2957458 SOS 1185575 HAS SOPS 1088722 HAS SOUS 840382 HAS SOUPS 790006 WITH SCORE 791191.575
AT ITER 3159 NEW BEST:: SOT 2957458 SOS 1184955 HAS SOPS 1088102 HAS SOUS 840382 HAS SOUPS 790006 WITH SCORE 791190.955
AT ITER 3168 NEW BEST:: SOT 2957634 SOS 1184902 HAS SOPS 1088049 HAS SOUS 840329 HAS SOUPS 789953 WITH SCORE 791137.902
AT ITER 3169 NEW BEST:: SOT 2957634 SOS 1185360 HAS SOPS 1088049 HAS SOUS 840329 HAS SOUPS 789724 WITH SCORE 790909.36
AT ITER 3171 NEW BEST:: SOT 2957856 SOS 1188792 HAS SOPS 1088121 HAS SOUS 840932 HAS SOUPS 789288 WITH SCORE 790476.792
AT ITER 3176 NEW BEST:: SOT 2956141 SOS 1187610 HAS SOPS 1086939 HAS SOUS 839597 HAS SOUPS 787953 WITH SCORE 789140.61
AT ITER 3181 NEW BEST:: SOT 2955996 SOS 1187609 HAS SOPS 1086938 HAS SOUS 839596 HAS SOUPS 787952 WITH SCORE 789139.609
AT ITER 3184 NEW BEST:: SOT 2955459 SOS 1186055 HAS SOPS 1084864 HAS SOUS 839385 HAS SOUPS 787221 WITH SCORE 788407.055
AT ITER 3185 NEW BEST:: SOT 2955458 SOS 1183493 HAS SOPS 1083842 HAS SOUS 839383 HAS SOUPS 787219 WITH SCORE 788402.493
AT ITER 3190 NEW BEST:: SOT 2955458 SOS 1183210 HAS SOPS 1083559 HAS SOUS 839100 HAS SOUPS 786936 WITH SCORE 788119.21
AT ITER 3198 NEW BEST:: SOT 2954794 SOS 1179765 HAS SOPS 1082895 HAS SOUS 837771 HAS SOUPS 786272 WITH SCORE 787451.765
AT ITER 3204 NEW BEST:: SOT 2953293 SOS 1178263 HAS SOPS 1081393 HAS SOUS 837233 HAS SOUPS 785734 WITH SCORE 786912.263
AT ITER 3205 NEW BEST:: SOT 2952986 SOS 1177956 HAS SOPS 1081086 HAS SOUS 837151 HAS SOUPS 785652 WITH SCORE 786829.956
AT ITER 3211 NEW BEST:: SOT 2953296 SOS 1178266 HAS SOPS 1081396 HAS SOUS 837150 HAS SOUPS 785651 WITH SCORE 786829.266
AT ITER 3217 NEW BEST:: SOT 2953296 SOS 1178075 HAS SOPS 1081205 HAS SOUS 837150 HAS SOUPS 785651 WITH SCORE 786829.075
AT ITER 3220 NEW BEST:: SOT 2952764 SOS 1177543 HAS SOPS 1080673 HAS SOUS 835898 HAS SOUPS 784399 WITH SCORE 785576.543
AT ITER 3241 NEW BEST:: SOT 2950412 SOS 1176512 HAS SOPS 1079642 HAS SOUS 834838 HAS SOUPS 783339 WITH SCORE 784515.512
AT ITER 3245 NEW BEST:: SOT 2950222 SOS 1176198 HAS SOPS 1079517 HAS SOUS 834524 HAS SOUPS 783214 WITH SCORE 784390.198
AT ITER 3265 NEW BEST:: SOT 2950168 SOS 1176180 HAS SOPS 1079499 HAS SOUS 834506 HAS SOUPS 783196 WITH SCORE 784372.18
AT ITER 3278 NEW BEST:: SOT 2950168 SOS 1175964 HAS SOPS 1079283 HAS SOUS 834290 HAS SOUPS 782980 WITH SCORE 784155.964
AT ITER 3285 NEW BEST:: SOT 2950168 SOS 1175646 HAS SOPS 1078965 HAS SOUS 833972 HAS SOUPS 782662 WITH SCORE 783837.646
AT ITER 3287 NEW BEST:: SOT 2950132 SOS 1174377 HAS SOPS 1077189 HAS SOUS 833312 HAS SOUPS 781495 WITH SCORE 782669.377
AT ITER 3292 NEW BEST:: SOT 2950132 SOS 1173327 HAS SOPS 1076139 HAS SOUS 832787 HAS SOUPS 780970 WITH SCORE 782143.327
AT ITER 3298 NEW BEST:: SOT 2949365 SOS 1172560 HAS SOPS 1074605 HAS SOUS 831720 HAS SOUPS 779436 WITH SCORE 780608.56
AT ITER 3299 NEW BEST:: SOT 2948995 SOS 1172795 HAS SOPS 1074840 HAS SOUS 831593 HAS SOUPS 779309 WITH SCORE 780481.795
AT ITER 3307 NEW BEST:: SOT 2948993 SOS 1172793 HAS SOPS 1074838 HAS SOUS 831591 HAS SOUPS 779307 WITH SCORE 780479.793
AT ITER 3310 NEW BEST:: SOT 2948861 SOS 1173229 HAS SOPS 1075110 HAS SOUS 831623 HAS SOUPS 779175 WITH SCORE 780348.229
AT ITER 3318 NEW BEST:: SOT 2946758 SOS 1171134 HAS SOPS 1073015 HAS SOUS 830437 HAS SOUPS 777989 WITH SCORE 779160.134
AT ITER 3320 NEW BEST:: SOT 2946552 SOS 1171010 HAS SOPS 1072520 HAS SOUS 830290 HAS SOUPS 777471 WITH SCORE 778642.01
AT ITER 3326 NEW BEST:: SOT 2946479 SOS 1171820 HAS SOPS 1073330 HAS SOUS 830144 HAS SOUPS 777325 WITH SCORE 778496.82
AT ITER 3335 NEW BEST:: SOT 2946319 SOS 1171660 HAS SOPS 1073170 HAS SOUS 830064 HAS SOUPS 777245 WITH SCORE 778416.66
AT ITER 3341 NEW BEST:: SOT 2946068 SOS 1171306 HAS SOPS 1072835 HAS SOUS 829919 HAS SOUPS 776743 WITH SCORE 777914.306
AT ITER 3350 NEW BEST:: SOT 2947321 SOS 1171233 HAS SOPS 1072762 HAS SOUS 829716 HAS SOUPS 776540 WITH SCORE 777711.233
AT ITER 3357 NEW BEST:: SOT 2947281 SOS 1171113 HAS SOPS 1072722 HAS SOUS 829656 HAS SOUPS 776500 WITH SCORE 777671.113
AT ITER 3367 NEW BEST:: SOT 2947281 SOS 1171448 HAS SOPS 1073057 HAS SOUS 829654 HAS SOUPS 776498 WITH SCORE 777669.448
AT ITER 3372 NEW BEST:: SOT 2947685 SOS 1171852 HAS SOPS 1072811 HAS SOUS 829686 HAS SOUPS 776252 WITH SCORE 777423.852
AT ITER 3412 NEW BEST:: SOT 2947401 SOS 1170960 HAS SOPS 1071919 HAS SOUS 829078 HAS SOUPS 775644 WITH SCORE 776814.96
AT ITER 3415 NEW BEST:: SOT 2947131 SOS 1170285 HAS SOPS 1071244 HAS SOUS 828943 HAS SOUPS 775509 WITH SCORE 776679.285
AT ITER 3416 NEW BEST:: SOT 2947041 SOS 1170015 HAS SOPS 1070974 HAS SOUS 828763 HAS SOUPS 775329 WITH SCORE 776499.015
AT ITER 3424 NEW BEST:: SOT 2947035 SOS 1169997 HAS SOPS 1070956 HAS SOUS 828751 HAS SOUPS 775317 WITH SCORE 776486.997
AT ITER 3427 NEW BEST:: SOT 2947042 SOS 1170315 HAS SOPS 1071274 HAS SOUS 828366 HAS SOUPS 774932 WITH SCORE 776102.315
AT ITER 3441 NEW BEST:: SOT 2945183 SOS 1168456 HAS SOPS 1069415 HAS SOUS 827372 HAS SOUPS 773938 WITH SCORE 775106.456
AT ITER 3444 NEW BEST:: SOT 2945183 SOS 1167699 HAS SOPS 1068370 HAS SOUS 827660 HAS SOUPS 773938 WITH SCORE 775105.699
AT ITER 3447 NEW BEST:: SOT 2945183 SOS 1167975 HAS SOPS 1068244 HAS SOUS 827936 HAS SOUPS 773812 WITH SCORE 774979.975
AT ITER 3449 NEW BEST:: SOT 2945269 SOS 1167410 HAS SOPS 1067679 HAS SOUS 827849 HAS SOUPS 773725 WITH SCORE 774892.41
AT ITER 3455 NEW BEST:: SOT 2945269 SOS 1167695 HAS SOPS 1067679 HAS SOUS 827385 HAS SOUPS 772976 WITH SCORE 774143.695
AT ITER 3468 NEW BEST:: SOT 2945228 SOS 1167654 HAS SOPS 1067638 HAS SOUS 827344 HAS SOUPS 772935 WITH SCORE 774102.654
AT ITER 3472 NEW BEST:: SOT 2945228 SOS 1167602 HAS SOPS 1067586 HAS SOUS 827344 HAS SOUPS 772935 WITH SCORE 774102.602
AT ITER 3478 NEW BEST:: SOT 2943413 SOS 1165958 HAS SOPS 1065942 HAS SOUS 825728 HAS SOUPS 771319 WITH SCORE 772484.958
AT ITER 3479 NEW BEST:: SOT 2943354 SOS 1165725 HAS SOPS 1065883 HAS SOUS 825611 HAS SOUPS 771260 WITH SCORE 772425.725
AT ITER 3482 NEW BEST:: SOT 2943662 SOS 1165037 HAS SOPS 1065195 HAS SOUS 825385 HAS SOUPS 771034 WITH SCORE 772199.037
AT ITER 3483 NEW BEST:: SOT 2943429 SOS 1165056 HAS SOPS 1065233 HAS SOUS 825281 HAS SOUPS 770930 WITH SCORE 772095.056
AT ITER 3490 NEW BEST:: SOT 2943273 SOS 1164464 HAS SOPS 1064641 HAS SOUS 824906 HAS SOUPS 770555 WITH SCORE 771719.464
AT ITER 3494 NEW BEST:: SOT 2944951 SOS 1166027 HAS SOPS 1063070 HAS SOUS 824756 HAS SOUPS 769304 WITH SCORE 770470.027
AT ITER 3503 NEW BEST:: SOT 2944925 SOS 1165949 HAS SOPS 1062992 HAS SOUS 824704 HAS SOUPS 769252 WITH SCORE 770417.949
AT ITER 3509 NEW BEST:: SOT 2944924 SOS 1165948 HAS SOPS 1062990 HAS SOUS 824702 HAS SOUPS 769250 WITH SCORE 770415.948
AT ITER 3513 NEW BEST:: SOT 2944279 SOS 1164873 HAS SOPS 1061915 HAS SOUS 824057 HAS SOUPS 768605 WITH SCORE 769769.873
AT ITER 3523 NEW BEST:: SOT 2942747 SOS 1163637 HAS SOPS 1059223 HAS SOUS 822019 HAS SOUPS 765913 WITH SCORE 767076.637
AT ITER 3524 NEW BEST:: SOT 2942649 SOS 1160281 HAS SOPS 1055867 HAS SOUS 820797 HAS SOUPS 764691 WITH SCORE 765851.281
AT ITER 3529 NEW BEST:: SOT 2942750 SOS 1160222 HAS SOPS 1055808 HAS SOUS 820759 HAS SOUPS 764653 WITH SCORE 765813.222
AT ITER 3533 NEW BEST:: SOT 2942750 SOS 1160003 HAS SOPS 1055589 HAS SOUS 820759 HAS SOUPS 764653 WITH SCORE 765813.003
AT ITER 3537 NEW BEST:: SOT 2942750 SOS 1160209 HAS SOPS 1055486 HAS SOUS 820759 HAS SOUPS 764550 WITH SCORE 765710.209
AT ITER 3547 NEW BEST:: SOT 2942750 SOS 1160267 HAS SOPS 1055486 HAS SOUS 820759 HAS SOUPS 764492 WITH SCORE 765652.267
AT ITER 3560 NEW BEST:: SOT 2942750 SOS 1157815 HAS SOPS 1053034 HAS SOUS 819557 HAS SOUPS 763290 WITH SCORE 764447.815
AT ITER 3567 NEW BEST:: SOT 2942322 SOS 1157387 HAS SOPS 1052606 HAS SOUS 818701 HAS SOUPS 762434 WITH SCORE 763591.387
AT ITER 3571 NEW BEST:: SOT 2942272 SOS 1157237 HAS SOPS 1052456 HAS SOUS 818601 HAS SOUPS 762334 WITH SCORE 763491.237
AT ITER 3592 NEW BEST:: SOT 2940846 SOS 1153251 HAS SOPS 1048470 HAS SOUS 816100 HAS SOUPS 759833 WITH SCORE 760986.251
AT ITER 3598 NEW BEST:: SOT 2940751 SOS 1153168 HAS SOPS 1048229 HAS SOUS 816005 HAS SOUPS 759665 WITH SCORE 760818.168
AT ITER 3617 NEW BEST:: SOT 2940721 SOS 1153138 HAS SOPS 1048199 HAS SOUS 816005 HAS SOUPS 759665 WITH SCORE 760818.138
AT ITER 3635 NEW BEST:: SOT 2940476 SOS 1154163 HAS SOPS 1047954 HAS SOUS 815785 HAS SOUPS 759420 WITH SCORE 760574.163
AT ITER 3643 NEW BEST:: SOT 2940179 SOS 1153168 HAS SOPS 1046959 HAS SOUS 815488 HAS SOUPS 759123 WITH SCORE 760276.168
AT ITER 3670 NEW BEST:: SOT 2940201 SOS 1153165 HAS SOPS 1046771 HAS SOUS 815485 HAS SOUPS 758935 WITH SCORE 760088.165
AT ITER 3678 NEW BEST:: SOT 2940338 SOS 1153284 HAS SOPS 1046890 HAS SOUS 815458 HAS SOUPS 758908 WITH SCORE 760061.284
AT ITER 3683 NEW BEST:: SOT 2940218 SOS 1152684 HAS SOPS 1046890 HAS SOUS 815218 HAS SOUPS 758908 WITH SCORE 760060.684
AT ITER 3687 NEW BEST:: SOT 2940813 SOS 1151895 HAS SOPS 1045821 HAS SOUS 815036 HAS SOUPS 758446 WITH SCORE 759597.895
AT ITER 3694 NEW BEST:: SOT 2940177 SOS 1151259 HAS SOPS 1045185 HAS SOUS 813764 HAS SOUPS 757174 WITH SCORE 758325.259
AT ITER 3702 NEW BEST:: SOT 2940142 SOS 1151066 HAS SOPS 1044992 HAS SOUS 813729 HAS SOUPS 757139 WITH SCORE 758290.066
AT ITER 3706 NEW BEST:: SOT 2940003 SOS 1150927 HAS SOPS 1044853 HAS SOUS 813451 HAS SOUPS 756861 WITH SCORE 758011.927
AT ITER 3708 NEW BEST:: SOT 2939795 SOS 1150719 HAS SOPS 1044645 HAS SOUS 813243 HAS SOUPS 756653 WITH SCORE 757803.719
AT ITER 3709 NEW BEST:: SOT 2939825 SOS 1148827 HAS SOPS 1042753 HAS SOUS 812285 HAS SOUPS 755695 WITH SCORE 756843.827
AT ITER 3712 NEW BEST:: SOT 2939112 SOS 1148211 HAS SOPS 1042595 HAS SOUS 811973 HAS SOUPS 755537 WITH SCORE 756685.211
AT ITER 3719 NEW BEST:: SOT 2937400 SOS 1147465 HAS SOPS 1041849 HAS SOUS 811262 HAS SOUPS 754826 WITH SCORE 755973.465
AT ITER 3720 NEW BEST:: SOT 2937400 SOS 1147153 HAS SOPS 1041537 HAS SOUS 811261 HAS SOUPS 754825 WITH SCORE 755972.153
AT ITER 3721 NEW BEST:: SOT 2934970 SOS 1142545 HAS SOPS 1036929 HAS SOUS 808831 HAS SOUPS 752395 WITH SCORE 753537.545
AT ITER 3722 NEW BEST:: SOT 2934569 SOS 1142143 HAS SOPS 1036527 HAS SOUS 808582 HAS SOUPS 752146 WITH SCORE 753288.143
AT ITER 3731 NEW BEST:: SOT 2934500 SOS 1141656 HAS SOPS 1036040 HAS SOUS 808359 HAS SOUPS 751923 WITH SCORE 753064.656
AT ITER 3740 NEW BEST:: SOT 2934484 SOS 1141640 HAS SOPS 1036040 HAS SOUS 808343 HAS SOUPS 751923 WITH SCORE 753064.64
AT ITER 3745 NEW BEST:: SOT 2934680 SOS 1141836 HAS SOPS 1036236 HAS SOUS 808231 HAS SOUPS 751811 WITH SCORE 752952.836
AT ITER 3766 NEW BEST:: SOT 2934680 SOS 1141793 HAS SOPS 1036132 HAS SOUS 808188 HAS SOUPS 751707 WITH SCORE 752848.793
AT ITER 3767 NEW BEST:: SOT 2932480 SOS 1140236 HAS SOPS 1034575 HAS SOUS 807400 HAS SOUPS 750919 WITH SCORE 752059.236
AT ITER 3772 NEW BEST:: SOT 2932348 SOS 1140104 HAS SOPS 1034443 HAS SOUS 807268 HAS SOUPS 750787 WITH SCORE 751927.104
AT ITER 3783 NEW BEST:: SOT 2932516 SOS 1139887 HAS SOPS 1034226 HAS SOUS 807119 HAS SOUPS 750638 WITH SCORE 751777.887
AT ITER 3788 NEW BEST:: SOT 2932451 SOS 1139692 HAS SOPS 1034031 HAS SOUS 806989 HAS SOUPS 750508 WITH SCORE 751647.692
AT ITER 3795 NEW BEST:: SOT 2932391 SOS 1139632 HAS SOPS 1033971 HAS SOUS 806899 HAS SOUPS 750418 WITH SCORE 751557.632
AT ITER 3812 NEW BEST:: SOT 2932391 SOS 1139056 HAS SOPS 1033395 HAS SOUS 806899 HAS SOUPS 750418 WITH SCORE 751557.056
AT ITER 3816 NEW BEST:: SOT 2932289 SOS 1138954 HAS SOPS 1033293 HAS SOUS 806797 HAS SOUPS 750316 WITH SCORE 751454.954
AT ITER 3821 NEW BEST:: SOT 2931857 SOS 1138671 HAS SOPS 1033010 HAS SOUS 806514 HAS SOUPS 750033 WITH SCORE 751171.671
AT ITER 3842 NEW BEST:: SOT 2931823 SOS 1142196 HAS SOPS 1032976 HAS SOUS 807166 HAS SOUPS 749999 WITH SCORE 751141.196
AT ITER 3845 NEW BEST:: SOT 2931721 SOS 1141512 HAS SOPS 1032292 HAS SOUS 807139 HAS SOUPS 749972 WITH SCORE 751113.512
AT ITER 3851 NEW BEST:: SOT 2931921 SOS 1141239 HAS SOPS 1031844 HAS SOUS 806866 HAS SOUPS 749524 WITH SCORE 750665.239
AT ITER 3852 NEW BEST:: SOT 2931907 SOS 1141211 HAS SOPS 1031816 HAS SOUS 806838 HAS SOUPS 749496 WITH SCORE 750637.211
AT ITER 3854 NEW BEST:: SOT 2931392 SOS 1140574 HAS SOPS 1031179 HAS SOUS 806716 HAS SOUPS 749374 WITH SCORE 750514.574
AT ITER 3855 NEW BEST:: SOT 2930267 SOS 1140180 HAS SOPS 1030785 HAS SOUS 805669 HAS SOUPS 748327 WITH SCORE 749467.18
AT ITER 3870 NEW BEST:: SOT 2930266 SOS 1140057 HAS SOPS 1030662 HAS SOUS 805546 HAS SOUPS 748204 WITH SCORE 749344.057
AT ITER 3873 NEW BEST:: SOT 2930262 SOS 1139732 HAS SOPS 1029951 HAS SOUS 805603 HAS SOUPS 747875 WITH SCORE 749014.732
AT ITER 3879 NEW BEST:: SOT 2930030 SOS 1139152 HAS SOPS 1029371 HAS SOUS 805255 HAS SOUPS 747527 WITH SCORE 748666.152
AT ITER 3887 NEW BEST:: SOT 2929846 SOS 1138306 HAS SOPS 1028525 HAS SOUS 804472 HAS SOUPS 746744 WITH SCORE 747882.306
AT ITER 3893 NEW BEST:: SOT 2929546 SOS 1138006 HAS SOPS 1028225 HAS SOUS 804293 HAS SOUPS 746565 WITH SCORE 747703.006
AT ITER 3903 NEW BEST:: SOT 2927299 SOS 1134895 HAS SOPS 1025114 HAS SOUS 802490 HAS SOUPS 744762 WITH SCORE 745896.895
AT ITER 3906 NEW BEST:: SOT 2927323 SOS 1135187 HAS SOPS 1025406 HAS SOUS 802132 HAS SOUPS 744404 WITH SCORE 745539.187
AT ITER 3916 NEW BEST:: SOT 2924731 SOS 1136808 HAS SOPS 1027027 HAS SOUS 801708 HAS SOUPS 743980 WITH SCORE 745116.808
AT ITER 3917 NEW BEST:: SOT 2922581 SOS 1135123 HAS SOPS 1025342 HAS SOUS 800795 HAS SOUPS 743067 WITH SCORE 744202.123
AT ITER 3919 NEW BEST:: SOT 2922581 SOS 1134969 HAS SOPS 1025111 HAS SOUS 800718 HAS SOUPS 742913 WITH SCORE 744047.969
AT ITER 3922 NEW BEST:: SOT 2922652 SOS 1135040 HAS SOPS 1025181 HAS SOUS 800558 HAS SOUPS 742752 WITH SCORE 743887.04
AT ITER 3926 NEW BEST:: SOT 2922652 SOS 1134314 HAS SOPS 1024455 HAS SOUS 800558 HAS SOUPS 742752 WITH SCORE 743886.314
AT ITER 3932 NEW BEST:: SOT 2921656 SOS 1131767 HAS SOPS 1021908 HAS SOUS 799007 HAS SOUPS 741201 WITH SCORE 742332.767
AT ITER 3935 NEW BEST:: SOT 2921655 SOS 1131398 HAS SOPS 1021539 HAS SOUS 799006 HAS SOUPS 741200 WITH SCORE 742331.398
AT ITER 3940 NEW BEST:: SOT 2921045 SOS 1130725 HAS SOPS 1020929 HAS SOUS 798333 HAS SOUPS 740590 WITH SCORE 741720.725
AT ITER 3944 NEW BEST:: SOT 2920687 SOS 1130335 HAS SOPS 1020655 HAS SOUS 797943 HAS SOUPS 740316 WITH SCORE 741446.335
AT ITER 3945 NEW BEST:: SOT 2921653 SOS 1130344 HAS SOPS 1020664 HAS SOUS 797309 HAS SOUPS 739682 WITH SCORE 740812.344
AT ITER 3949 NEW BEST:: SOT 2920765 SOS 1128391 HAS SOPS 1018711 HAS SOUS 796244 HAS SOUPS 738617 WITH SCORE 739745.391
AT ITER 3957 NEW BEST:: SOT 2920445 SOS 1127088 HAS SOPS 1017408 HAS SOUS 795315 HAS SOUPS 737688 WITH SCORE 738815.088
AT ITER 3958 NEW BEST:: SOT 2920445 SOS 1125942 HAS SOPS 1016262 HAS SOUS 795310 HAS SOUPS 737683 WITH SCORE 738808.942
AT ITER 3960 NEW BEST:: SOT 2920445 SOS 1125942 HAS SOPS 1015900 HAS SOUS 795285 HAS SOUPS 737321 WITH SCORE 738446.942
AT ITER 3962 NEW BEST:: SOT 2920445 SOS 1125862 HAS SOPS 1015820 HAS SOUS 795284 HAS SOUPS 737320 WITH SCORE 738445.862
AT ITER 3964 NEW BEST:: SOT 2920363 SOS 1125780 HAS SOPS 1015738 HAS SOUS 795202 HAS SOUPS 737238 WITH SCORE 738363.78
AT ITER 3966 NEW BEST:: SOT 2920363 SOS 1125688 HAS SOPS 1015554 HAS SOUS 795110 HAS SOUPS 737054 WITH SCORE 738179.688
AT ITER 3974 NEW BEST:: SOT 2920207 SOS 1125480 HAS SOPS 1015346 HAS SOUS 794954 HAS SOUPS 736898 WITH SCORE 738023.48
AT ITER 3980 NEW BEST:: SOT 2919773 SOS 1125046 HAS SOPS 1014912 HAS SOUS 794953 HAS SOUPS 736897 WITH SCORE 738022.046
AT ITER 3986 NEW BEST:: SOT 2918737 SOS 1123366 HAS SOPS 1013232 HAS SOUS 792999 HAS SOUPS 734943 WITH SCORE 736066.366
AT ITER 3992 NEW BEST:: SOT 2918825 SOS 1123198 HAS SOPS 1013064 HAS SOUS 792806 HAS SOUPS 734750 WITH SCORE 735873.198
AT ITER 3997 NEW BEST:: SOT 2918767 SOS 1121605 HAS SOPS 1012283 HAS SOUS 792566 HAS SOUPS 734563 WITH SCORE 735684.605
AT ITER 4009 NEW BEST:: SOT 2918384 SOS 1120445 HAS SOPS 1011123 HAS SOUS 791631 HAS SOUPS 733628 WITH SCORE 734748.445
AT ITER 4018 NEW BEST:: SOT 2918373 SOS 1120606 HAS SOPS 1011284 HAS SOUS 791609 HAS SOUPS 733606 WITH SCORE 734726.606
AT ITER 4034 NEW BEST:: SOT 2918361 SOS 1120594 HAS SOPS 1011272 HAS SOUS 791585 HAS SOUPS 733582 WITH SCORE 734702.594
AT ITER 4057 NEW BEST:: SOT 2918197 SOS 1120430 HAS SOPS 1011108 HAS SOUS 791503 HAS SOUPS 733500 WITH SCORE 734620.43
AT ITER 4061 NEW BEST:: SOT 2918142 SOS 1120375 HAS SOPS 1011053 HAS SOUS 791448 HAS SOUPS 733445 WITH SCORE 734565.375
AT ITER 4072 NEW BEST:: SOT 2918765 SOS 1120299 HAS SOPS 1010977 HAS SOUS 790702 HAS SOUPS 732699 WITH SCORE 733819.299
AT ITER 4082 NEW BEST:: SOT 2918632 SOS 1120166 HAS SOPS 1010844 HAS SOUS 790702 HAS SOUPS 732699 WITH SCORE 733819.166
AT ITER 4122 NEW BEST:: SOT 2918617 SOS 1120151 HAS SOPS 1010829 HAS SOUS 790672 HAS SOUPS 732669 WITH SCORE 733789.151
AT ITER 4138 NEW BEST:: SOT 2918579 SOS 1119518 HAS SOPS 1010791 HAS SOUS 790406 HAS SOUPS 732631 WITH SCORE 733750.518
AT ITER 4156 NEW BEST:: SOT 2918183 SOS 1118443 HAS SOPS 1009716 HAS SOUS 789727 HAS SOUPS 731952 WITH SCORE 733070.443
AT ITER 4163 NEW BEST:: SOT 2918133 SOS 1118293 HAS SOPS 1009566 HAS SOUS 789627 HAS SOUPS 731852 WITH SCORE 732970.293
AT ITER 4170 NEW BEST:: SOT 2917876 SOS 1118107 HAS SOPS 1009656 HAS SOUS 789113 HAS SOUPS 731338 WITH SCORE 732456.107
AT ITER 4192 NEW BEST:: SOT 2917732 SOS 1118068 HAS SOPS 1009617 HAS SOUS 789074 HAS SOUPS 731299 WITH SCORE 732417.068
AT ITER 4198 NEW BEST:: SOT 2917731 SOS 1118067 HAS SOPS 1009514 HAS SOUS 789048 HAS SOUPS 731196 WITH SCORE 732314.067
AT ITER 4204 NEW BEST:: SOT 2917688 SOS 1118024 HAS SOPS 1009471 HAS SOUS 788962 HAS SOUPS 731110 WITH SCORE 732228.024
AT ITER 4215 NEW BEST:: SOT 2917688 SOS 1118029 HAS SOPS 1009466 HAS SOUS 788962 HAS SOUPS 731105 WITH SCORE 732223.029
AT ITER 4233 NEW BEST:: SOT 2917688 SOS 1118012 HAS SOPS 1009449 HAS SOUS 788945 HAS SOUPS 731088 WITH SCORE 732206.012
AT ITER 4237 NEW BEST:: SOT 2916680 SOS 1116156 HAS SOPS 1007593 HAS SOUS 788509 HAS SOUPS 730652 WITH SCORE 731768.156
AT ITER 4239 NEW BEST:: SOT 2916563 SOS 1115579 HAS SOPS 1007016 HAS SOUS 788201 HAS SOUPS 730344 WITH SCORE 731459.579
AT ITER 4240 NEW BEST:: SOT 2917154 SOS 1115305 HAS SOPS 1006742 HAS SOUS 787927 HAS SOUPS 730070 WITH SCORE 731185.305
AT ITER 4241 NEW BEST:: SOT 2916715 SOS 1114866 HAS SOPS 1006303 HAS SOUS 787926 HAS SOUPS 730069 WITH SCORE 731183.866
AT ITER 4246 NEW BEST:: SOT 2916715 SOS 1114893 HAS SOPS 1006583 HAS SOUS 787925 HAS SOUPS 730068 WITH SCORE 731182.893
AT ITER 4259 NEW BEST:: SOT 2916715 SOS 1115172 HAS SOPS 1006641 HAS SOUS 787762 HAS SOUPS 729905 WITH SCORE 731020.172
AT ITER 4263 NEW BEST:: SOT 2916578 SOS 1115035 HAS SOPS 1006504 HAS SOUS 787625 HAS SOUPS 729768 WITH SCORE 730883.035
AT ITER 4264 NEW BEST:: SOT 2915706 SOS 1113291 HAS SOPS 1004760 HAS SOUS 786857 HAS SOUPS 729000 WITH SCORE 730113.291
AT ITER 4269 NEW BEST:: SOT 2915301 SOS 1112132 HAS SOPS 1003601 HAS SOUS 786135 HAS SOUPS 728278 WITH SCORE 729390.132
AT ITER 4279 NEW BEST:: SOT 2914925 SOS 1111177 HAS SOPS 1002832 HAS SOUS 785742 HAS SOUPS 727885 WITH SCORE 728996.177
AT ITER 4282 NEW BEST:: SOT 2916524 SOS 1112840 HAS SOPS 1004495 HAS SOUS 785084 HAS SOUPS 727227 WITH SCORE 728339.84
AT ITER 4285 NEW BEST:: SOT 2916612 SOS 1112918 HAS SOPS 1004573 HAS SOUS 785001 HAS SOUPS 727144 WITH SCORE 728256.918
AT ITER 4286 NEW BEST:: SOT 2915924 SOS 1111198 HAS SOPS 1002853 HAS SOUS 784107 HAS SOUPS 726250 WITH SCORE 727361.198
AT ITER 4289 NEW BEST:: SOT 2915924 SOS 1111728 HAS SOPS 1003118 HAS SOUS 784107 HAS SOUPS 725985 WITH SCORE 727096.728
AT ITER 4294 NEW BEST:: SOT 2915170 SOS 1111840 HAS SOPS 1002399 HAS SOUS 783706 HAS SOUPS 725484 WITH SCORE 726595.84
AT ITER 4308 NEW BEST:: SOT 2915055 SOS 1111484 HAS SOPS 1002082 HAS SOUS 783453 HAS SOUPS 725270 WITH SCORE 726381.484
AT ITER 4312 NEW BEST:: SOT 2914959 SOS 1111191 HAS SOPS 1002035 HAS SOUS 783406 HAS SOUPS 725223 WITH SCORE 726334.191
AT ITER 4315 NEW BEST:: SOT 2916047 SOS 1110204 HAS SOPS 1000774 HAS SOUS 782743 HAS SOUPS 724286 WITH SCORE 725396.204
AT ITER 4320 NEW BEST:: SOT 2916047 SOS 1110108 HAS SOPS 1000678 HAS SOUS 782743 HAS SOUPS 724286 WITH SCORE 725396.108
AT ITER 4322 NEW BEST:: SOT 2915640 SOS 1109557 HAS SOPS 1000127 HAS SOUS 782192 HAS SOUPS 723735 WITH SCORE 724844.557
AT ITER 4334 NEW BEST:: SOT 2914782 SOS 1108521 HAS SOPS 999091 HAS SOUS 781735 HAS SOUPS 723278 WITH SCORE 724386.521
AT ITER 4336 NEW BEST:: SOT 2914325 SOS 1108098 HAS SOPS 998668 HAS SOUS 781326 HAS SOUPS 722869 WITH SCORE 723977.098
AT ITER 4341 NEW BEST:: SOT 2912920 SOS 1106793 HAS SOPS 997363 HAS SOUS 778295 HAS SOUPS 719838 WITH SCORE 720944.793
AT ITER 4350 NEW BEST:: SOT 2912912 SOS 1106784 HAS SOPS 997354 HAS SOUS 778286 HAS SOUPS 719829 WITH SCORE 720935.784
AT ITER 4351 NEW BEST:: SOT 2912446 SOS 1106518 HAS SOPS 997088 HAS SOUS 778020 HAS SOUPS 719563 WITH SCORE 720669.518
AT ITER 4365 NEW BEST:: SOT 2912424 SOS 1106664 HAS SOPS 997234 HAS SOUS 777999 HAS SOUPS 719542 WITH SCORE 720648.664
AT ITER 4370 NEW BEST:: SOT 2911158 SOS 1104096 HAS SOPS 994666 HAS SOUS 776697 HAS SOUPS 718240 WITH SCORE 719344.096
AT ITER 4375 NEW BEST:: SOT 2909864 SOS 1102802 HAS SOPS 993372 HAS SOUS 775967 HAS SOUPS 717510 WITH SCORE 718612.802
AT ITER 4379 NEW BEST:: SOT 2909842 SOS 1102780 HAS SOPS 993350 HAS SOUS 775945 HAS SOUPS 717488 WITH SCORE 718590.78
AT ITER 4382 NEW BEST:: SOT 2909608 SOS 1103421 HAS SOPS 993991 HAS SOUS 775754 HAS SOUPS 717297 WITH SCORE 718400.421
AT ITER 4387 NEW BEST:: SOT 2909509 SOS 1103321 HAS SOPS 993891 HAS SOUS 775654 HAS SOUPS 717197 WITH SCORE 718300.321
AT ITER 4389 NEW BEST:: SOT 2909668 SOS 1103194 HAS SOPS 993764 HAS SOUS 775519 HAS SOUPS 717062 WITH SCORE 718165.194
AT ITER 4396 NEW BEST:: SOT 2909668 SOS 1103325 HAS SOPS 993902 HAS SOUS 775381 HAS SOUPS 716924 WITH SCORE 718027.325
AT ITER 4400 NEW BEST:: SOT 2909638 SOS 1103294 HAS SOPS 993871 HAS SOUS 775350 HAS SOUPS 716893 WITH SCORE 717996.294
AT ITER 4401 NEW BEST:: SOT 2909638 SOS 1103148 HAS SOPS 993725 HAS SOUS 775277 HAS SOUPS 716820 WITH SCORE 717923.148
AT ITER 4404 NEW BEST:: SOT 2909638 SOS 1102688 HAS SOPS 992805 HAS SOUS 775277 HAS SOUPS 716360 WITH SCORE 717462.688
AT ITER 4407 NEW BEST:: SOT 2909975 SOS 1103047 HAS SOPS 993164 HAS SOUS 775041 HAS SOUPS 716124 WITH SCORE 717227.047
AT ITER 4417 NEW BEST:: SOT 2910429 SOS 1102802 HAS SOPS 992919 HAS SOUS 774450 HAS SOUPS 715533 WITH SCORE 716635.802
AT ITER 4418 NEW BEST:: SOT 2911245 SOS 1103114 HAS SOPS 993231 HAS SOUS 774217 HAS SOUPS 715300 WITH SCORE 716403.114
AT ITER 4446 NEW BEST:: SOT 2911298 SOS 1102886 HAS SOPS 993003 HAS SOUS 774209 HAS SOUPS 715292 WITH SCORE 716394.886
AT ITER 4447 NEW BEST:: SOT 2911254 SOS 1102798 HAS SOPS 992915 HAS SOUS 774121 HAS SOUPS 715204 WITH SCORE 716306.798
AT ITER 4453 NEW BEST:: SOT 2911957 SOS 1103087 HAS SOPS 992843 HAS SOUS 774049 HAS SOUPS 715132 WITH SCORE 716235.087
AT ITER 4456 NEW BEST:: SOT 2911959 SOS 1103092 HAS SOPS 992848 HAS SOUS 774013 HAS SOUPS 715096 WITH SCORE 716199.092
AT ITER 4458 NEW BEST:: SOT 2911957 SOS 1103581 HAS SOPS 992846 HAS SOUS 774089 HAS SOUPS 715094 WITH SCORE 716197.581
AT ITER 4477 NEW BEST:: SOT 2911805 SOS 1103466 HAS SOPS 992731 HAS SOUS 774052 HAS SOUPS 715057 WITH SCORE 716160.466
AT ITER 4478 NEW BEST:: SOT 2911804 SOS 1103352 HAS SOPS 992729 HAS SOUS 774113 HAS SOUPS 715055 WITH SCORE 716158.352
AT ITER 4492 NEW BEST:: SOT 2911011 SOS 1101943 HAS SOPS 991320 HAS SOUS 774018 HAS SOUPS 714960 WITH SCORE 716061.943
AT ITER 4509 NEW BEST:: SOT 2911011 SOS 1101597 HAS SOPS 990974 HAS SOUS 773797 HAS SOUPS 714739 WITH SCORE 715840.597
AT ITER 4520 NEW BEST:: SOT 2911011 SOS 1101597 HAS SOPS 990974 HAS SOUS 773797 HAS SOUPS 714713 WITH SCORE 715814.597
AT ITER 4537 NEW BEST:: SOT 2911010 SOS 1101596 HAS SOPS 990972 HAS SOUS 773796 HAS SOUPS 714711 WITH SCORE 715812.596
AT ITER 4542 NEW BEST:: SOT 2910773 SOS 1101704 HAS SOPS 990735 HAS SOUS 773559 HAS SOUPS 714474 WITH SCORE 715575.704
AT ITER 4543 NEW BEST:: SOT 2910798 SOS 1101729 HAS SOPS 990061 HAS SOUS 773584 HAS SOUPS 713800 WITH SCORE 714901.729
AT ITER 4546 NEW BEST:: SOT 2910997 SOS 1100062 HAS SOPS 988319 HAS SOUS 771917 HAS SOUPS 712058 WITH SCORE 713158.062
AT ITER 4547 NEW BEST:: SOT 2910859 SOS 1099117 HAS SOPS 987774 HAS SOUS 771623 HAS SOUPS 711764 WITH SCORE 712863.117
AT ITER 4557 NEW BEST:: SOT 2910579 SOS 1098044 HAS SOPS 986701 HAS SOUS 770830 HAS SOUPS 710971 WITH SCORE 712069.044
AT ITER 4558 NEW BEST:: SOT 2910635 SOS 1098447 HAS SOPS 986757 HAS SOUS 770808 HAS SOUPS 710602 WITH SCORE 711700.447
AT ITER 4560 NEW BEST:: SOT 2909880 SOS 1096890 HAS SOPS 985200 HAS SOUS 769610 HAS SOUPS 709404 WITH SCORE 710500.89
AT ITER 4561 NEW BEST:: SOT 2909767 SOS 1096879 HAS SOPS 985189 HAS SOUS 769531 HAS SOUPS 709325 WITH SCORE 710421.879
AT ITER 4563 NEW BEST:: SOT 2909435 SOS 1096412 HAS SOPS 984722 HAS SOUS 768488 HAS SOUPS 708282 WITH SCORE 709378.412
AT ITER 4569 NEW BEST:: SOT 2908947 SOS 1097320 HAS SOPS 985630 HAS SOUS 768215 HAS SOUPS 708009 WITH SCORE 709106.32
AT ITER 4579 NEW BEST:: SOT 2908863 SOS 1097102 HAS SOPS 985412 HAS SOUS 768165 HAS SOUPS 707959 WITH SCORE 709056.102
AT ITER 4614 NEW BEST:: SOT 2908291 SOS 1096244 HAS SOPS 984554 HAS SOUS 768165 HAS SOUPS 707959 WITH SCORE 709055.244
AT ITER 4624 NEW BEST:: SOT 2909008 SOS 1096174 HAS SOPS 984484 HAS SOUS 767711 HAS SOUPS 707505 WITH SCORE 708601.174
AT ITER 4627 NEW BEST:: SOT 2908944 SOS 1096110 HAS SOPS 984356 HAS SOUS 767615 HAS SOUPS 707409 WITH SCORE 708505.11
AT ITER 4628 NEW BEST:: SOT 2908944 SOS 1096253 HAS SOPS 984070 HAS SOUS 767472 HAS SOUPS 707123 WITH SCORE 708219.253
AT ITER 4643 NEW BEST:: SOT 2907949 SOS 1094706 HAS SOPS 982150 HAS SOUS 766236 HAS SOUPS 705842 WITH SCORE 706936.706
AT ITER 4645 NEW BEST:: SOT 2907793 SOS 1094550 HAS SOPS 981994 HAS SOUS 766080 HAS SOUPS 705686 WITH SCORE 706780.55
AT ITER 4648 NEW BEST:: SOT 2907449 SOS 1093862 HAS SOPS 981306 HAS SOUS 765736 HAS SOUPS 705342 WITH SCORE 706435.862
AT ITER 4659 NEW BEST:: SOT 2907446 SOS 1093857 HAS SOPS 981303 HAS SOUS 765731 HAS SOUPS 705339 WITH SCORE 706432.857
AT ITER 4663 NEW BEST:: SOT 2907192 SOS 1093603 HAS SOPS 981049 HAS SOUS 765477 HAS SOUPS 705085 WITH SCORE 706178.603
AT ITER 4671 NEW BEST:: SOT 2907049 SOS 1093397 HAS SOPS 980843 HAS SOUS 765396 HAS SOUPS 705004 WITH SCORE 706097.397
AT ITER 4675 NEW BEST:: SOT 2906966 SOS 1092702 HAS SOPS 980148 HAS SOUS 764962 HAS SOUPS 704570 WITH SCORE 705662.702
AT ITER 4678 NEW BEST:: SOT 2906777 SOS 1092513 HAS SOPS 979959 HAS SOUS 764773 HAS SOUPS 704381 WITH SCORE 705473.513
AT ITER 4684 NEW BEST:: SOT 2906832 SOS 1091446 HAS SOPS 978892 HAS SOUS 764730 HAS SOUPS 704338 WITH SCORE 705429.446
AT ITER 4687 NEW BEST:: SOT 2905638 SOS 1090360 HAS SOPS 977806 HAS SOUS 764440 HAS SOUPS 704048 WITH SCORE 705138.36
AT ITER 4696 NEW BEST:: SOT 2905757 SOS 1090743 HAS SOPS 978189 HAS SOUS 764401 HAS SOUPS 704009 WITH SCORE 705099.743
AT ITER 4699 NEW BEST:: SOT 2905597 SOS 1090583 HAS SOPS 978029 HAS SOUS 764401 HAS SOUPS 704009 WITH SCORE 705099.583
AT ITER 4708 NEW BEST:: SOT 2906758 SOS 1090244 HAS SOPS 978027 HAS SOUS 764062 HAS SOUPS 704007 WITH SCORE 705097.244
AT ITER 4721 NEW BEST:: SOT 2906280 SOS 1089383 HAS SOPS 977166 HAS SOUS 763676 HAS SOUPS 703621 WITH SCORE 704710.383
AT ITER 4734 NEW BEST:: SOT 2906063 SOS 1089190 HAS SOPS 976973 HAS SOUS 763483 HAS SOUPS 703428 WITH SCORE 704517.19
AT ITER 4747 NEW BEST:: SOT 2905861 SOS 1088868 HAS SOPS 976596 HAS SOUS 763161 HAS SOUPS 703051 WITH SCORE 704139.868
AT ITER 4752 NEW BEST:: SOT 2905959 SOS 1086869 HAS SOPS 974287 HAS SOUS 761847 HAS SOUPS 701427 WITH SCORE 702513.869
AT ITER 4757 NEW BEST:: SOT 2905780 SOS 1086690 HAS SOPS 974108 HAS SOUS 761847 HAS SOUPS 701427 WITH SCORE 702513.69
AT ITER 4763 NEW BEST:: SOT 2904513 SOS 1085297 HAS SOPS 973457 HAS SOUS 760856 HAS SOUPS 701178 WITH SCORE 702263.297
AT ITER 4794 NEW BEST:: SOT 2904492 SOS 1085262 HAS SOPS 973422 HAS SOUS 760835 HAS SOUPS 701157 WITH SCORE 702242.262
AT ITER 4820 NEW BEST:: SOT 2904492 SOS 1084807 HAS SOPS 972967 HAS SOUS 760656 HAS SOUPS 700978 WITH SCORE 702062.807
AT ITER 4834 NEW BEST:: SOT 2904448 SOS 1084763 HAS SOPS 972923 HAS SOUS 760612 HAS SOUPS 700934 WITH SCORE 702018.763
AT ITER 4836 NEW BEST:: SOT 2904691 SOS 1084571 HAS SOPS 972731 HAS SOUS 760578 HAS SOUPS 700900 WITH SCORE 701984.571
AT ITER 4839 NEW BEST:: SOT 2904188 SOS 1084068 HAS SOPS 972109 HAS SOUS 760340 HAS SOUPS 700662 WITH SCORE 701746.068
AT ITER 4841 NEW BEST:: SOT 2904188 SOS 1083999 HAS SOPS 972040 HAS SOUS 760294 HAS SOUPS 700616 WITH SCORE 701699.999
AT ITER 4861 NEW BEST:: SOT 2904243 SOS 1084528 HAS SOPS 971937 HAS SOUS 760349 HAS SOUPS 700513 WITH SCORE 701597.528
AT ITER 4866 NEW BEST:: SOT 2903614 SOS 1083899 HAS SOPS 971308 HAS SOUS 760060 HAS SOUPS 700224 WITH SCORE 701307.899
AT ITER 4876 NEW BEST:: SOT 2903993 SOS 1084278 HAS SOPS 971687 HAS SOUS 760050 HAS SOUPS 700214 WITH SCORE 701298.278
AT ITER 4880 NEW BEST:: SOT 2903494 SOS 1081575 HAS SOPS 968984 HAS SOUS 758704 HAS SOUPS 698868 WITH SCORE 699949.575
AT ITER 4881 NEW BEST:: SOT 2903494 SOS 1081203 HAS SOPS 968612 HAS SOUS 758614 HAS SOUPS 698778 WITH SCORE 699859.203
AT ITER 4892 NEW BEST:: SOT 2903374 SOS 1080963 HAS SOPS 968372 HAS SOUS 758374 HAS SOUPS 698538 WITH SCORE 699618.963
AT ITER 4898 NEW BEST:: SOT 2902770 SOS 1080358 HAS SOPS 967767 HAS SOUS 757838 HAS SOUPS 698002 WITH SCORE 699082.358
AT ITER 4903 NEW BEST:: SOT 2902468 SOS 1078680 HAS SOPS 966817 HAS SOUS 757403 HAS SOUPS 697567 WITH SCORE 698645.68
AT ITER 4906 NEW BEST:: SOT 2902101 SOS 1078356 HAS SOPS 966493 HAS SOUS 757243 HAS SOUPS 697407 WITH SCORE 698485.356
AT ITER 4907 NEW BEST:: SOT 2901247 SOS 1078572 HAS SOPS 966709 HAS SOUS 757032 HAS SOUPS 697196 WITH SCORE 698274.572
AT ITER 4915 NEW BEST:: SOT 2901269 SOS 1078554 HAS SOPS 966691 HAS SOUS 756992 HAS SOUPS 697156 WITH SCORE 698234.554
AT ITER 4924 NEW BEST:: SOT 2900723 SOS 1077789 HAS SOPS 965926 HAS SOUS 756786 HAS SOUPS 696950 WITH SCORE 698027.789
AT ITER 4931 NEW BEST:: SOT 2900723 SOS 1077505 HAS SOPS 965642 HAS SOUS 756786 HAS SOUPS 696950 WITH SCORE 698027.505
AT ITER 4951 NEW BEST:: SOT 2900288 SOS 1077593 HAS SOPS 963178 HAS SOUS 755814 HAS SOUPS 695228 WITH SCORE 696305.593
AT ITER 4961 NEW BEST:: SOT 2898140 SOS 1076773 HAS SOPS 962358 HAS SOUS 755139 HAS SOUPS 694553 WITH SCORE 695629.773
AT ITER 4966 NEW BEST:: SOT 2899514 SOS 1076930 HAS SOPS 962195 HAS SOUS 755296 HAS SOUPS 694390 WITH SCORE 695466.93
AT ITER 4976 NEW BEST:: SOT 2899424 SOS 1076748 HAS SOPS 961923 HAS SOUS 755114 HAS SOUPS 694118 WITH SCORE 695194.748
AT ITER 4989 NEW BEST:: SOT 2899080 SOS 1077058 HAS SOPS 962233 HAS SOUS 755097 HAS SOUPS 694101 WITH SCORE 695178.058
AT ITER 4991 NEW BEST:: SOT 2899080 SOS 1076572 HAS SOPS 961747 HAS SOUS 755097 HAS SOUPS 694101 WITH SCORE 695177.572
AT ITER 4995 NEW BEST:: SOT 2899054 SOS 1077399 HAS SOPS 962574 HAS SOUS 755084 HAS SOUPS 694088 WITH SCORE 695165.399
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AutoFlight-PT-96a-CTLCardinality-00 (! (EG( (EG( potential( (tk(P1992)) <= (tk(P661)) ))))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-01 (EG( (AF(( potential( ( 3 ) <= (tk(P1055)) ) | potential( (tk(P1243)) <= (tk(P616)) ) )))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-02 (EF(( potential( ( 3 ) <= (tk(P1487)) ) | (EX( potential( ( 3 ) <= (tk(P2188)) ))) )))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-03 (EF((EG( potential( ( 1 ) <= (tk(P374)) )))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-04 (! ( (AU( potential( (tk(P504)) <= (tk(P5)) ),potential( (tk(P1194)) <= (tk(P2078)) ) )) & ( (AG( potential( (tk(P2070)) <= (tk(P1384)) ))) & ( ( potential( ( 1 ) <= (tk(P1893)) ) | potential( (tk(P561)) <= (tk(P162)) ) ) & (! potential( ( 2 ) <= (tk(P1654)) )) ) ) ))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-05 (AG( (AG( ( potential( ( 1 ) <= (tk(P464)) ) | potential( (tk(P342)) <= (tk(P1956)) ) )))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-06 (AF((EU( potential( ( 1 ) <= (tk(P1633)) ),potential( ( 2 ) <= (tk(P1897)) ) ))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-07 (AF(( ( ( potential( ( 2 ) <= (tk(P1119)) ) | potential( (tk(P773)) <= (tk(P1600)) ) ) & (! potential( (tk(P2114)) <= (tk(P1106)) )) ) | (AX( potential( (tk(P750)) <= (tk(P2002)) ))) )))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-08 (AG( (EU( potential( ( 2 ) <= (tk(P1758)) ),potential( (tk(P1766)) <= (tk(P997)) ) ))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-09 (EG( (! ( ( potential( ( 1 ) <= (tk(P587)) ) & potential( ( 1 ) <= (tk(P1727)) ) ) & potential( ( 3 ) <= (tk(P563)) ) ))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-10 (! (AG( (EF(potential( (tk(P405)) <= (tk(P631)) ))))))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-11 (! ( (AU( potential( (tk(P1314)) <= (tk(P763)) ),potential( ( 1 ) <= (tk(P1858)) ) )) | ( (EX( potential( ( 3 ) <= (tk(P605)) ))) & ( ( potential( (tk(P1930)) <= (tk(P1436)) ) | potential( (tk(P184)) <= (tk(P1634)) ) ) | ( potential( ( 3 ) <= (tk(P2137)) ) | potential( ( 2 ) <= (tk(P1043)) ) ) ) ) ))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-12 (AF(potential( ( 2 ) <= (tk(P758)) )))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-13 (EU( ( potential( (tk(P446)) <= (tk(P1540)) ) | potential( (tk(P1411)) <= (tk(P2069)) ) ),( potential( ( 1 ) <= (tk(P832)) ) & ( potential( (tk(P82)) <= (tk(P328)) ) & potential( (tk(P1088)) <= (tk(P667)) ) ) ) ))
PROPERTY: AutoFlight-PT-96a-CTLCardinality-14 ( (AX( (AG( potential( (tk(P387)) <= (tk(P2081)) ))))) & (EU( potential( ( 3 ) <= (tk(P60)) ),( potential( (tk(P1800)) <= (tk(P128)) ) | potential( (tk(P242)) <= (tk(P1611)) ) ) )) )
PROPERTY: AutoFlight-PT-96a-CTLCardinality-15 (AF(( ( ( potential( ( 2 ) <= (tk(P1280)) ) | potential( (tk(P239)) <= (tk(P1767)) ) ) & (! potential( ( 2 ) <= (tk(P1076)) )) ) & (AG( potential( ( 2 ) <= (tk(P2195)) ))) )))

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="AutoFlight-PT-96a"
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 AutoFlight-PT-96a, 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-158897508600515"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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