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

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

=== Now, execution of the tool begins

BK_START 1589194653005

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

GOT IT HERE. BS
Petri model created: 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 17 NEW BEST:: SOT 3556569 SOS 2123271 HAS SOPS 2120753 HAS SOUS 1479805 HAS SOUPS 1478821 WITH SCORE 1480944.271
AT ITER 18 NEW BEST:: SOT 3556569 SOS 2123270 HAS SOPS 2120752 HAS SOUS 1479804 HAS SOUPS 1478820 WITH SCORE 1480943.27
AT ITER 21 NEW BEST:: SOT 3551470 SOS 2115974 HAS SOPS 2113456 HAS SOUS 1475706 HAS SOUPS 1474722 WITH SCORE 1476837.974
AT ITER 22 NEW BEST:: SOT 3545785 SOS 2107677 HAS SOPS 2105159 HAS SOUS 1470250 HAS SOUPS 1469266 WITH SCORE 1471373.677
AT ITER 23 NEW BEST:: SOT 3545785 SOS 2105320 HAS SOPS 2102802 HAS SOUS 1468703 HAS SOUPS 1467719 WITH SCORE 1469824.32
AT ITER 24 NEW BEST:: SOT 3541346 SOS 2100881 HAS SOPS 2098363 HAS SOUS 1465958 HAS SOUPS 1464974 WITH SCORE 1467074.881
AT ITER 25 NEW BEST:: SOT 3541298 SOS 2101366 HAS SOPS 2098314 HAS SOUS 1466443 HAS SOUPS 1464925 WITH SCORE 1467026.366
AT ITER 26 NEW BEST:: SOT 3539072 SOS 2099466 HAS SOPS 2096414 HAS SOUS 1465185 HAS SOUPS 1463667 WITH SCORE 1465766.466
AT ITER 28 NEW BEST:: SOT 3537049 SOS 2098868 HAS SOPS 2094390 HAS SOUS 1463872 HAS SOUPS 1461643 WITH SCORE 1463741.868
AT ITER 30 NEW BEST:: SOT 3536128 SOS 2098284 HAS SOPS 2093469 HAS SOUS 1462789 HAS SOUPS 1460379 WITH SCORE 1462477.284
AT ITER 32 NEW BEST:: SOT 3530548 SOS 2091253 HAS SOPS 2086438 HAS SOUS 1458089 HAS SOUPS 1455679 WITH SCORE 1457770.253
AT ITER 34 NEW BEST:: SOT 3530548 SOS 2090548 HAS SOPS 2085733 HAS SOUS 1458088 HAS SOUPS 1455678 WITH SCORE 1457768.548
AT ITER 36 NEW BEST:: SOT 3530425 SOS 2087784 HAS SOPS 2082969 HAS SOUS 1456992 HAS SOUPS 1454582 WITH SCORE 1456669.784
AT ITER 40 NEW BEST:: SOT 3529762 SOS 2087121 HAS SOPS 2082306 HAS SOUS 1456649 HAS SOUPS 1454239 WITH SCORE 1456326.121
AT ITER 43 NEW BEST:: SOT 3524505 SOS 2079278 HAS SOPS 2074463 HAS SOUS 1451941 HAS SOUPS 1449531 WITH SCORE 1451610.278
AT ITER 44 NEW BEST:: SOT 3524431 SOS 2079276 HAS SOPS 2074461 HAS SOUS 1451939 HAS SOUPS 1449529 WITH SCORE 1451608.276
AT ITER 46 NEW BEST:: SOT 3524431 SOS 2079275 HAS SOPS 2074460 HAS SOUS 1451938 HAS SOUPS 1449528 WITH SCORE 1451607.275
AT ITER 48 NEW BEST:: SOT 3524431 SOS 2077916 HAS SOPS 2073101 HAS SOUS 1451032 HAS SOUPS 1448622 WITH SCORE 1450699.916
AT ITER 49 NEW BEST:: SOT 3520304 SOS 2075663 HAS SOPS 2070848 HAS SOUS 1450591 HAS SOUPS 1448181 WITH SCORE 1450256.663
AT ITER 50 NEW BEST:: SOT 3519686 SOS 2072278 HAS SOPS 2067213 HAS SOUS 1448223 HAS SOUPS 1445563 WITH SCORE 1447635.278
AT ITER 51 NEW BEST:: SOT 3519686 SOS 2070998 HAS SOPS 2065933 HAS SOUS 1447903 HAS SOUPS 1445243 WITH SCORE 1447313.998
AT ITER 53 NEW BEST:: SOT 3519043 SOS 2070355 HAS SOPS 2065290 HAS SOUS 1446735 HAS SOUPS 1444075 WITH SCORE 1446145.355
AT ITER 57 NEW BEST:: SOT 3519043 SOS 2069111 HAS SOPS 2064046 HAS SOUS 1445981 HAS SOUPS 1443321 WITH SCORE 1445390.111
AT ITER 58 NEW BEST:: SOT 3519043 SOS 2066808 HAS SOPS 2061743 HAS SOUS 1444652 HAS SOUPS 1441992 WITH SCORE 1444058.808
AT ITER 59 NEW BEST:: SOT 3517434 SOS 2065199 HAS SOPS 2060134 HAS SOUS 1443043 HAS SOUPS 1440383 WITH SCORE 1442448.199
AT ITER 60 NEW BEST:: SOT 3517434 SOS 2065198 HAS SOPS 2060133 HAS SOUS 1443042 HAS SOUPS 1440382 WITH SCORE 1442447.198
AT ITER 61 NEW BEST:: SOT 3517434 SOS 2062294 HAS SOPS 2057229 HAS SOUS 1441294 HAS SOUPS 1438634 WITH SCORE 1440696.294
AT ITER 65 NEW BEST:: SOT 3515980 SOS 2060514 HAS SOPS 2052795 HAS SOUS 1438881 HAS SOUPS 1435228 WITH SCORE 1437288.514
AT ITER 66 NEW BEST:: SOT 3510334 SOS 2052299 HAS SOPS 2044580 HAS SOUS 1433946 HAS SOUPS 1430293 WITH SCORE 1432345.299
AT ITER 72 NEW BEST:: SOT 3510187 SOS 2052151 HAS SOPS 2044432 HAS SOUS 1433798 HAS SOUPS 1430145 WITH SCORE 1432197.151
AT ITER 73 NEW BEST:: SOT 3510187 SOS 2052070 HAS SOPS 2044351 HAS SOUS 1433771 HAS SOUPS 1430118 WITH SCORE 1432170.07
AT ITER 75 NEW BEST:: SOT 3508219 SOS 2050102 HAS SOPS 2042383 HAS SOUS 1432510 HAS SOUPS 1428857 WITH SCORE 1430907.102
AT ITER 76 NEW BEST:: SOT 3508219 SOS 2049029 HAS SOPS 2041310 HAS SOUS 1431973 HAS SOUPS 1428320 WITH SCORE 1430369.029
AT ITER 77 NEW BEST:: SOT 3508219 SOS 2047769 HAS SOPS 2040050 HAS SOUS 1431553 HAS SOUPS 1427900 WITH SCORE 1429947.769
AT ITER 79 NEW BEST:: SOT 3508164 SOS 2047714 HAS SOPS 2039995 HAS SOUS 1431498 HAS SOUPS 1427845 WITH SCORE 1429892.714
AT ITER 83 NEW BEST:: SOT 3508110 SOS 2047659 HAS SOPS 2039940 HAS SOUS 1431443 HAS SOUPS 1427790 WITH SCORE 1429837.659
AT ITER 87 NEW BEST:: SOT 3505929 SOS 2045478 HAS SOPS 2037759 HAS SOUS 1430226 HAS SOUPS 1426573 WITH SCORE 1428618.478
AT ITER 92 NEW BEST:: SOT 3505929 SOS 2044197 HAS SOPS 2036478 HAS SOUS 1429434 HAS SOUPS 1425781 WITH SCORE 1427825.197
AT ITER 99 NEW BEST:: SOT 3505929 SOS 2043648 HAS SOPS 2035929 HAS SOUS 1429159 HAS SOUPS 1425506 WITH SCORE 1427549.648
AT ITER 100 NEW BEST:: SOT 3505343 SOS 2042863 HAS SOPS 2035144 HAS SOUS 1428744 HAS SOUPS 1425091 WITH SCORE 1427133.863
AT ITER 101 NEW BEST:: SOT 3504888 SOS 2039516 HAS SOPS 2030993 HAS SOUS 1426771 HAS SOUPS 1422314 WITH SCORE 1424353.516
AT ITER 102 NEW BEST:: SOT 3504737 SOS 2039364 HAS SOPS 2030841 HAS SOUS 1426619 HAS SOUPS 1422162 WITH SCORE 1424201.364
AT ITER 107 NEW BEST:: SOT 3502376 SOS 2037003 HAS SOPS 2028480 HAS SOUS 1425242 HAS SOUPS 1420785 WITH SCORE 1422822.003
AT ITER 108 NEW BEST:: SOT 3499283 SOS 2033910 HAS SOPS 2025387 HAS SOUS 1423255 HAS SOUPS 1418798 WITH SCORE 1420831.91
AT ITER 109 NEW BEST:: SOT 3499283 SOS 2032593 HAS SOPS 2024070 HAS SOUS 1422596 HAS SOUPS 1418139 WITH SCORE 1420171.593
AT ITER 110 NEW BEST:: SOT 3499283 SOS 2032141 HAS SOPS 2023618 HAS SOUS 1422596 HAS SOUPS 1418139 WITH SCORE 1420171.141
AT ITER 116 NEW BEST:: SOT 3499283 SOS 2032140 HAS SOPS 2023617 HAS SOUS 1422595 HAS SOUPS 1418138 WITH SCORE 1420170.14
AT ITER 120 NEW BEST:: SOT 3497597 SOS 2030454 HAS SOPS 2021931 HAS SOUS 1421752 HAS SOUPS 1417295 WITH SCORE 1419325.454
AT ITER 124 NEW BEST:: SOT 3491825 SOS 2021792 HAS SOPS 2013269 HAS SOUS 1416615 HAS SOUPS 1412158 WITH SCORE 1414179.792
AT ITER 127 NEW BEST:: SOT 3490340 SOS 2020307 HAS SOPS 2011783 HAS SOUS 1415799 HAS SOUPS 1411342 WITH SCORE 1413362.307
AT ITER 128 NEW BEST:: SOT 3488340 SOS 2019667 HAS SOPS 2009782 HAS SOUS 1414488 HAS SOUPS 1409341 WITH SCORE 1411360.667
AT ITER 130 NEW BEST:: SOT 3487985 SOS 2017705 HAS SOPS 2007977 HAS SOUS 1413915 HAS SOUPS 1408768 WITH SCORE 1410785.705
AT ITER 138 NEW BEST:: SOT 3487985 SOS 2017705 HAS SOPS 2007977 HAS SOUS 1413723 HAS SOUPS 1408576 WITH SCORE 1410593.705
AT ITER 139 NEW BEST:: SOT 3487672 SOS 2017079 HAS SOPS 2007351 HAS SOUS 1413410 HAS SOUPS 1408263 WITH SCORE 1410280.079
AT ITER 140 NEW BEST:: SOT 3486683 SOS 2014959 HAS SOPS 2005231 HAS SOUS 1412279 HAS SOUPS 1407132 WITH SCORE 1409146.959
AT ITER 142 NEW BEST:: SOT 3486683 SOS 2014278 HAS SOPS 2004550 HAS SOUS 1412052 HAS SOUPS 1406905 WITH SCORE 1408919.278
AT ITER 151 NEW BEST:: SOT 3483678 SOS 2013515 HAS SOPS 2003787 HAS SOUS 1411577 HAS SOUPS 1406430 WITH SCORE 1408443.515
AT ITER 158 NEW BEST:: SOT 3477793 SOS 2005190 HAS SOPS 1995462 HAS SOUS 1406418 HAS SOUPS 1401271 WITH SCORE 1403276.19
AT ITER 161 NEW BEST:: SOT 3477793 SOS 2005189 HAS SOPS 1995461 HAS SOUS 1405833 HAS SOUPS 1400686 WITH SCORE 1402691.189
AT ITER 165 NEW BEST:: SOT 3474338 SOS 2001734 HAS SOPS 1992006 HAS SOUS 1403572 HAS SOUPS 1398425 WITH SCORE 1400426.734
AT ITER 167 NEW BEST:: SOT 3474337 SOS 2001733 HAS SOPS 1992005 HAS SOUS 1403571 HAS SOUPS 1398424 WITH SCORE 1400425.733
AT ITER 168 NEW BEST:: SOT 3474336 SOS 2001732 HAS SOPS 1992004 HAS SOUS 1403570 HAS SOUPS 1398423 WITH SCORE 1400424.732
AT ITER 170 NEW BEST:: SOT 3474293 SOS 2001689 HAS SOPS 1991961 HAS SOUS 1403527 HAS SOUPS 1398380 WITH SCORE 1400381.689
AT ITER 173 NEW BEST:: SOT 3474293 SOS 2000582 HAS SOPS 1990854 HAS SOUS 1403348 HAS SOUPS 1398201 WITH SCORE 1400201.582
AT ITER 179 NEW BEST:: SOT 3471287 SOS 1997575 HAS SOPS 1987847 HAS SOUS 1400948 HAS SOUPS 1395801 WITH SCORE 1397798.575
AT ITER 181 NEW BEST:: SOT 3471124 SOS 1997411 HAS SOPS 1987683 HAS SOUS 1400784 HAS SOUPS 1395637 WITH SCORE 1397634.411
AT ITER 182 NEW BEST:: SOT 3468696 SOS 1994983 HAS SOPS 1985255 HAS SOUS 1399244 HAS SOUPS 1394097 WITH SCORE 1396091.983
AT ITER 184 NEW BEST:: SOT 3467818 SOS 1994659 HAS SOPS 1984377 HAS SOUS 1398625 HAS SOUPS 1393219 WITH SCORE 1395213.659
AT ITER 187 NEW BEST:: SOT 3468339 SOS 1996656 HAS SOPS 1982912 HAS SOUS 1398450 HAS SOUPS 1391849 WITH SCORE 1393845.656
AT ITER 189 NEW BEST:: SOT 3468245 SOS 1993304 HAS SOPS 1979560 HAS SOUS 1396778 HAS SOUPS 1390177 WITH SCORE 1392170.304
AT ITER 190 NEW BEST:: SOT 3468244 SOS 1993303 HAS SOPS 1979559 HAS SOUS 1396777 HAS SOUPS 1390176 WITH SCORE 1392169.303
AT ITER 191 NEW BEST:: SOT 3468244 SOS 1992043 HAS SOPS 1978299 HAS SOUS 1395937 HAS SOUPS 1389336 WITH SCORE 1391328.043
AT ITER 193 NEW BEST:: SOT 3468191 SOS 1991989 HAS SOPS 1978245 HAS SOUS 1395883 HAS SOUPS 1389282 WITH SCORE 1391273.989
AT ITER 194 NEW BEST:: SOT 3466947 SOS 1990744 HAS SOPS 1977000 HAS SOUS 1395203 HAS SOUPS 1388602 WITH SCORE 1390592.744
AT ITER 199 NEW BEST:: SOT 3463608 SOS 1983714 HAS SOPS 1969970 HAS SOUS 1390805 HAS SOUPS 1384204 WITH SCORE 1386187.714
AT ITER 201 NEW BEST:: SOT 3463380 SOS 1983258 HAS SOPS 1969215 HAS SOUS 1390349 HAS SOUPS 1383449 WITH SCORE 1385432.258
AT ITER 202 NEW BEST:: SOT 3462128 SOS 1982005 HAS SOPS 1967962 HAS SOUS 1389693 HAS SOUPS 1382793 WITH SCORE 1384775.005
AT ITER 204 NEW BEST:: SOT 3461599 SOS 1979140 HAS SOPS 1964785 HAS SOUS 1387830 HAS SOUPS 1380618 WITH SCORE 1382597.14
AT ITER 205 NEW BEST:: SOT 3458440 SOS 1975177 HAS SOPS 1961626 HAS SOUS 1385318 HAS SOUPS 1378910 WITH SCORE 1380885.177
AT ITER 211 NEW BEST:: SOT 3458126 SOS 1974275 HAS SOPS 1960860 HAS SOUS 1385002 HAS SOUPS 1378594 WITH SCORE 1380568.275
AT ITER 221 NEW BEST:: SOT 3457575 SOS 1973724 HAS SOPS 1960309 HAS SOUS 1384031 HAS SOUPS 1377623 WITH SCORE 1379596.724
AT ITER 222 NEW BEST:: SOT 3453595 SOS 1968577 HAS SOPS 1955162 HAS SOUS 1380615 HAS SOUPS 1374207 WITH SCORE 1376175.577
AT ITER 223 NEW BEST:: SOT 3452284 SOS 1968712 HAS SOPS 1953850 HAS SOUS 1380019 HAS SOUPS 1372895 WITH SCORE 1374863.712
AT ITER 224 NEW BEST:: SOT 3452284 SOS 1966722 HAS SOPS 1951860 HAS SOUS 1379387 HAS SOUPS 1372263 WITH SCORE 1374229.722
AT ITER 235 NEW BEST:: SOT 3451712 SOS 1966813 HAS SOPS 1951951 HAS SOUS 1378520 HAS SOUPS 1371396 WITH SCORE 1373362.813
AT ITER 237 NEW BEST:: SOT 3451063 SOS 1966164 HAS SOPS 1951302 HAS SOUS 1377289 HAS SOUPS 1370165 WITH SCORE 1372131.164
AT ITER 238 NEW BEST:: SOT 3448748 SOS 1963849 HAS SOPS 1948987 HAS SOUS 1375786 HAS SOUPS 1368662 WITH SCORE 1370625.849
AT ITER 239 NEW BEST:: SOT 3444859 SOS 1959086 HAS SOPS 1944224 HAS SOUS 1372900 HAS SOUPS 1365776 WITH SCORE 1367735.086
AT ITER 241 NEW BEST:: SOT 3444859 SOS 1958920 HAS SOPS 1944058 HAS SOUS 1372899 HAS SOUPS 1365775 WITH SCORE 1367733.92
AT ITER 242 NEW BEST:: SOT 3444859 SOS 1957275 HAS SOPS 1942413 HAS SOUS 1372060 HAS SOUPS 1364936 WITH SCORE 1366893.275
AT ITER 243 NEW BEST:: SOT 3438931 SOS 1949769 HAS SOPS 1934907 HAS SOUS 1367088 HAS SOUPS 1359964 WITH SCORE 1361913.769
AT ITER 246 NEW BEST:: SOT 3438898 SOS 1946729 HAS SOPS 1931867 HAS SOUS 1365930 HAS SOUPS 1358806 WITH SCORE 1360752.729
AT ITER 247 NEW BEST:: SOT 3434291 SOS 1942121 HAS SOPS 1927259 HAS SOUS 1363292 HAS SOUPS 1356168 WITH SCORE 1358110.121
AT ITER 249 NEW BEST:: SOT 3431164 SOS 1935729 HAS SOPS 1920867 HAS SOUS 1359372 HAS SOUPS 1352248 WITH SCORE 1354183.729
AT ITER 253 NEW BEST:: SOT 3427777 SOS 1933981 HAS SOPS 1919119 HAS SOUS 1358993 HAS SOUPS 1351869 WITH SCORE 1353802.981
AT ITER 257 NEW BEST:: SOT 3427777 SOS 1933717 HAS SOPS 1918855 HAS SOUS 1358729 HAS SOUPS 1351605 WITH SCORE 1353538.717
AT ITER 263 NEW BEST:: SOT 3427777 SOS 1931537 HAS SOPS 1916675 HAS SOUS 1357401 HAS SOUPS 1350277 WITH SCORE 1352208.537
AT ITER 265 NEW BEST:: SOT 3427777 SOS 1931474 HAS SOPS 1916612 HAS SOUS 1357401 HAS SOUPS 1350277 WITH SCORE 1352208.474
AT ITER 270 NEW BEST:: SOT 3425914 SOS 1929611 HAS SOPS 1914749 HAS SOUS 1356159 HAS SOUPS 1349035 WITH SCORE 1350964.611
AT ITER 277 NEW BEST:: SOT 3424715 SOS 1929873 HAS SOPS 1913549 HAS SOUS 1354924 HAS SOUPS 1347169 WITH SCORE 1349098.873
AT ITER 278 NEW BEST:: SOT 3422033 SOS 1927191 HAS SOPS 1910867 HAS SOUS 1352242 HAS SOUPS 1344487 WITH SCORE 1346414.191
AT ITER 283 NEW BEST:: SOT 3422033 SOS 1926674 HAS SOPS 1910867 HAS SOUS 1351725 HAS SOUPS 1344487 WITH SCORE 1346413.674
AT ITER 284 NEW BEST:: SOT 3421558 SOS 1926199 HAS SOPS 1910392 HAS SOUS 1351250 HAS SOUPS 1344012 WITH SCORE 1345938.199
AT ITER 286 NEW BEST:: SOT 3420477 SOS 1925199 HAS SOPS 1907454 HAS SOUS 1349610 HAS SOUPS 1341387 WITH SCORE 1343312.199
AT ITER 287 NEW BEST:: SOT 3419523 SOS 1924245 HAS SOPS 1906500 HAS SOUS 1349469 HAS SOUPS 1341246 WITH SCORE 1343170.245
AT ITER 290 NEW BEST:: SOT 3418649 SOS 1924472 HAS SOPS 1902537 HAS SOUS 1347941 HAS SOUPS 1338550 WITH SCORE 1340474.472
AT ITER 295 NEW BEST:: SOT 3416818 SOS 1923800 HAS SOPS 1900706 HAS SOUS 1346702 HAS SOUPS 1336719 WITH SCORE 1338642.8
AT ITER 298 NEW BEST:: SOT 3416317 SOS 1920856 HAS SOPS 1897430 HAS SOUS 1344745 HAS SOUPS 1334430 WITH SCORE 1336350.856
AT ITER 306 NEW BEST:: SOT 3414513 SOS 1919052 HAS SOPS 1895626 HAS SOUS 1343609 HAS SOUPS 1333294 WITH SCORE 1335213.052
AT ITER 307 NEW BEST:: SOT 3413906 SOS 1918445 HAS SOPS 1895019 HAS SOUS 1343252 HAS SOUPS 1332937 WITH SCORE 1334855.445
AT ITER 310 NEW BEST:: SOT 3413018 SOS 1917556 HAS SOPS 1894130 HAS SOUS 1341475 HAS SOUPS 1331160 WITH SCORE 1333077.556
AT ITER 311 NEW BEST:: SOT 3412810 SOS 1917348 HAS SOPS 1893922 HAS SOUS 1341267 HAS SOUPS 1330952 WITH SCORE 1332869.348
AT ITER 312 NEW BEST:: SOT 3412810 SOS 1915502 HAS SOPS 1892076 HAS SOUS 1340201 HAS SOUPS 1329886 WITH SCORE 1331801.502
AT ITER 314 NEW BEST:: SOT 3409772 SOS 1912464 HAS SOPS 1889038 HAS SOUS 1338975 HAS SOUPS 1328660 WITH SCORE 1330572.464
AT ITER 316 NEW BEST:: SOT 3409765 SOS 1912457 HAS SOPS 1889031 HAS SOUS 1338968 HAS SOUPS 1328653 WITH SCORE 1330565.457
AT ITER 320 NEW BEST:: SOT 3409765 SOS 1912844 HAS SOPS 1889418 HAS SOUS 1338967 HAS SOUPS 1328652 WITH SCORE 1330564.844
AT ITER 324 NEW BEST:: SOT 3409115 SOS 1910244 HAS SOPS 1886818 HAS SOUS 1337667 HAS SOUPS 1327352 WITH SCORE 1329262.244
AT ITER 329 NEW BEST:: SOT 3405369 SOS 1905966 HAS SOPS 1882540 HAS SOUS 1335339 HAS SOUPS 1325024 WITH SCORE 1326929.966
AT ITER 332 NEW BEST:: SOT 3404623 SOS 1902985 HAS SOPS 1879559 HAS SOUS 1333180 HAS SOUPS 1322865 WITH SCORE 1324767.985
AT ITER 333 NEW BEST:: SOT 3403130 SOS 1901492 HAS SOPS 1878066 HAS SOUS 1331961 HAS SOUPS 1321646 WITH SCORE 1323547.492
AT ITER 340 NEW BEST:: SOT 3401598 SOS 1899960 HAS SOPS 1876534 HAS SOUS 1331185 HAS SOUPS 1320870 WITH SCORE 1322769.96
AT ITER 341 NEW BEST:: SOT 3401188 SOS 1899550 HAS SOPS 1876534 HAS SOUS 1330775 HAS SOUPS 1320460 WITH SCORE 1322359.55
AT ITER 342 NEW BEST:: SOT 3400409 SOS 1900165 HAS SOPS 1875755 HAS SOUS 1330465 HAS SOUPS 1319681 WITH SCORE 1321581.165
AT ITER 343 NEW BEST:: SOT 3400409 SOS 1899623 HAS SOPS 1875213 HAS SOUS 1330146 HAS SOUPS 1319362 WITH SCORE 1321261.623
AT ITER 344 NEW BEST:: SOT 3400409 SOS 1898301 HAS SOPS 1873891 HAS SOUS 1329485 HAS SOUPS 1318701 WITH SCORE 1320599.301
AT ITER 345 NEW BEST:: SOT 3397105 SOS 1894997 HAS SOPS 1870587 HAS SOUS 1326887 HAS SOUPS 1316103 WITH SCORE 1317997.997
AT ITER 347 NEW BEST:: SOT 3397105 SOS 1894015 HAS SOPS 1869605 HAS SOUS 1326581 HAS SOUPS 1315797 WITH SCORE 1317691.015
AT ITER 352 NEW BEST:: SOT 3395854 SOS 1892764 HAS SOPS 1868354 HAS SOUS 1325955 HAS SOUPS 1315171 WITH SCORE 1317063.764
AT ITER 356 NEW BEST:: SOT 3394813 SOS 1891722 HAS SOPS 1867312 HAS SOUS 1325427 HAS SOUPS 1314643 WITH SCORE 1316534.722
AT ITER 357 NEW BEST:: SOT 3394813 SOS 1891721 HAS SOPS 1867311 HAS SOUS 1324887 HAS SOUPS 1314103 WITH SCORE 1315994.721
AT ITER 358 NEW BEST:: SOT 3393035 SOS 1888136 HAS SOPS 1863726 HAS SOUS 1323080 HAS SOUPS 1312296 WITH SCORE 1314184.136
AT ITER 361 NEW BEST:: SOT 3393124 SOS 1886306 HAS SOPS 1861896 HAS SOUS 1321250 HAS SOUPS 1310466 WITH SCORE 1312352.306
AT ITER 362 NEW BEST:: SOT 3393124 SOS 1886305 HAS SOPS 1861895 HAS SOUS 1321249 HAS SOUPS 1310465 WITH SCORE 1312351.305
AT ITER 364 NEW BEST:: SOT 3391254 SOS 1884435 HAS SOPS 1860025 HAS SOUS 1320127 HAS SOUPS 1309343 WITH SCORE 1311227.435
AT ITER 369 NEW BEST:: SOT 3391254 SOS 1740535 HAS SOPS 1716125 HAS SOUS 1319372 HAS SOUPS 1308588 WITH SCORE 1310328.535
AT ITER 377 NEW BEST:: SOT 3391254 SOS 1738790 HAS SOPS 1714380 HAS SOUS 1318474 HAS SOUPS 1307690 WITH SCORE 1309428.79
AT ITER 380 NEW BEST:: SOT 3391163 SOS 1735938 HAS SOPS 1711528 HAS SOUS 1316653 HAS SOUPS 1305869 WITH SCORE 1307604.938
AT ITER 382 NEW BEST:: SOT 3390911 SOS 1735308 HAS SOPS 1710898 HAS SOUS 1316149 HAS SOUPS 1305365 WITH SCORE 1307100.308
AT ITER 389 NEW BEST:: SOT 3391096 SOS 1733360 HAS SOPS 1708950 HAS SOUS 1315060 HAS SOUPS 1304276 WITH SCORE 1306009.36
AT ITER 390 NEW BEST:: SOT 3388495 SOS 1730759 HAS SOPS 1706349 HAS SOUS 1313377 HAS SOUPS 1302593 WITH SCORE 1304323.759
AT ITER 392 NEW BEST:: SOT 3388495 SOS 1729421 HAS SOPS 1705011 HAS SOUS 1312485 HAS SOUPS 1301701 WITH SCORE 1303430.421
AT ITER 395 NEW BEST:: SOT 3388495 SOS 1729165 HAS SOPS 1704755 HAS SOUS 1312425 HAS SOUPS 1301641 WITH SCORE 1303370.165
AT ITER 397 NEW BEST:: SOT 3388495 SOS 1729150 HAS SOPS 1704740 HAS SOUS 1312410 HAS SOUPS 1301626 WITH SCORE 1303355.15
AT ITER 401 NEW BEST:: SOT 3385463 SOS 1726117 HAS SOPS 1701707 HAS SOUS 1310487 HAS SOUPS 1299703 WITH SCORE 1301429.117
AT ITER 406 NEW BEST:: SOT 3384560 SOS 1725213 HAS SOPS 1700803 HAS SOUS 1310009 HAS SOUPS 1299225 WITH SCORE 1300950.213
AT ITER 419 NEW BEST:: SOT 3384559 SOS 1724799 HAS SOPS 1700396 HAS SOUS 1310007 HAS SOUPS 1299223 WITH SCORE 1300947.799
AT ITER 421 NEW BEST:: SOT 3380029 SOS 1718852 HAS SOPS 1694449 HAS SOUS 1306328 HAS SOUPS 1295544 WITH SCORE 1297262.852
AT ITER 422 NEW BEST:: SOT 3379180 SOS 1718003 HAS SOPS 1693599 HAS SOUS 1305903 HAS SOUPS 1295118 WITH SCORE 1296836.003
AT ITER 424 NEW BEST:: SOT 3376156 SOS 1711424 HAS SOPS 1687020 HAS SOUS 1302212 HAS SOUPS 1291427 WITH SCORE 1293138.424
AT ITER 426 NEW BEST:: SOT 3372692 SOS 1707960 HAS SOPS 1683555 HAS SOUS 1300659 HAS SOUPS 1289874 WITH SCORE 1291581.96
AT ITER 427 NEW BEST:: SOT 3372692 SOS 1707534 HAS SOPS 1683129 HAS SOUS 1300375 HAS SOUPS 1289590 WITH SCORE 1291297.534
AT ITER 430 NEW BEST:: SOT 3372616 SOS 1705889 HAS SOPS 1681484 HAS SOUS 1299699 HAS SOUPS 1288914 WITH SCORE 1290619.889
AT ITER 433 NEW BEST:: SOT 3372616 SOS 1705447 HAS SOPS 1681042 HAS SOUS 1299699 HAS SOUPS 1288914 WITH SCORE 1290619.447
AT ITER 435 NEW BEST:: SOT 3372096 SOS 1707213 HAS SOPS 1679560 HAS SOUS 1299117 HAS SOUPS 1287432 WITH SCORE 1289139.213
AT ITER 436 NEW BEST:: SOT 3368824 SOS 1700410 HAS SOPS 1672757 HAS SOUS 1294808 HAS SOUPS 1283123 WITH SCORE 1284823.41
AT ITER 438 NEW BEST:: SOT 3368722 SOS 1700308 HAS SOPS 1672655 HAS SOUS 1294706 HAS SOUPS 1283021 WITH SCORE 1284721.308
AT ITER 439 NEW BEST:: SOT 3368722 SOS 1698941 HAS SOPS 1671288 HAS SOUS 1293824 HAS SOUPS 1282139 WITH SCORE 1283837.941
AT ITER 444 NEW BEST:: SOT 3364407 SOS 1694660 HAS SOPS 1667007 HAS SOUS 1290430 HAS SOUPS 1278745 WITH SCORE 1280439.66
AT ITER 445 NEW BEST:: SOT 3361930 SOS 1692183 HAS SOPS 1664530 HAS SOUS 1289021 HAS SOUPS 1277336 WITH SCORE 1279028.183
AT ITER 446 NEW BEST:: SOT 3361657 SOS 1691910 HAS SOPS 1664257 HAS SOUS 1288748 HAS SOUPS 1277063 WITH SCORE 1278754.91
AT ITER 448 NEW BEST:: SOT 3361657 SOS 1691979 HAS SOPS 1664326 HAS SOUS 1288747 HAS SOUPS 1277062 WITH SCORE 1278753.979
AT ITER 450 NEW BEST:: SOT 3356144 SOS 1683988 HAS SOPS 1656335 HAS SOUS 1283906 HAS SOUPS 1272221 WITH SCORE 1273904.988
AT ITER 452 NEW BEST:: SOT 3356144 SOS 1683988 HAS SOPS 1655849 HAS SOUS 1283906 HAS SOUPS 1271735 WITH SCORE 1273418.988
AT ITER 454 NEW BEST:: SOT 3356144 SOS 1682521 HAS SOPS 1654382 HAS SOUS 1282928 HAS SOUPS 1270757 WITH SCORE 1272439.521
AT ITER 459 NEW BEST:: SOT 3351819 SOS 1677506 HAS SOPS 1649367 HAS SOUS 1279766 HAS SOUPS 1267595 WITH SCORE 1269272.506
AT ITER 462 NEW BEST:: SOT 3351325 SOS 1676265 HAS SOPS 1648126 HAS SOUS 1279023 HAS SOUPS 1266852 WITH SCORE 1268528.265
AT ITER 463 NEW BEST:: SOT 3351325 SOS 1674643 HAS SOPS 1646504 HAS SOUS 1278003 HAS SOUPS 1265832 WITH SCORE 1267506.643
AT ITER 466 NEW BEST:: SOT 3351324 SOS 1674641 HAS SOPS 1646502 HAS SOUS 1278001 HAS SOUPS 1265830 WITH SCORE 1267504.641
AT ITER 468 NEW BEST:: SOT 3350334 SOS 1673651 HAS SOPS 1645512 HAS SOUS 1277209 HAS SOUPS 1265038 WITH SCORE 1266711.651
AT ITER 469 NEW BEST:: SOT 3350267 SOS 1673584 HAS SOPS 1645445 HAS SOUS 1277209 HAS SOUPS 1265038 WITH SCORE 1266711.584
AT ITER 470 NEW BEST:: SOT 3349469 SOS 1672114 HAS SOPS 1643975 HAS SOUS 1276187 HAS SOUPS 1264016 WITH SCORE 1265688.114
AT ITER 472 NEW BEST:: SOT 3346980 SOS 1669954 HAS SOPS 1641815 HAS SOUS 1274261 HAS SOUPS 1262090 WITH SCORE 1263759.954
AT ITER 475 NEW BEST:: SOT 3345681 SOS 1669311 HAS SOPS 1640449 HAS SOUS 1272829 HAS SOUPS 1260284 WITH SCORE 1261953.311
AT ITER 481 NEW BEST:: SOT 3345534 SOS 1669132 HAS SOPS 1640270 HAS SOUS 1272748 HAS SOUPS 1260203 WITH SCORE 1261872.132
AT ITER 486 NEW BEST:: SOT 3342234 SOS 1665275 HAS SOPS 1636413 HAS SOUS 1269448 HAS SOUPS 1256903 WITH SCORE 1258568.275
AT ITER 490 NEW BEST:: SOT 3342234 SOS 1664772 HAS SOPS 1635910 HAS SOUS 1268945 HAS SOUPS 1256400 WITH SCORE 1258064.772
AT ITER 493 NEW BEST:: SOT 3338573 SOS 1662360 HAS SOPS 1633498 HAS SOUS 1266853 HAS SOUPS 1254308 WITH SCORE 1255970.36
AT ITER 495 NEW BEST:: SOT 3338805 SOS 1660621 HAS SOPS 1631759 HAS SOUS 1265728 HAS SOUPS 1253183 WITH SCORE 1254843.621
AT ITER 498 NEW BEST:: SOT 3338339 SOS 1660154 HAS SOPS 1631292 HAS SOUS 1265261 HAS SOUPS 1252716 WITH SCORE 1254376.154
AT ITER 501 NEW BEST:: SOT 3337337 SOS 1659152 HAS SOPS 1630290 HAS SOUS 1264723 HAS SOUPS 1252178 WITH SCORE 1253837.152
AT ITER 502 NEW BEST:: SOT 3337336 SOS 1657993 HAS SOPS 1629131 HAS SOUS 1264143 HAS SOUPS 1251598 WITH SCORE 1253255.993
AT ITER 503 NEW BEST:: SOT 3334672 SOS 1655460 HAS SOPS 1626598 HAS SOUS 1262655 HAS SOUPS 1250110 WITH SCORE 1251765.46
AT ITER 509 NEW BEST:: SOT 3333778 SOS 1654921 HAS SOPS 1626519 HAS SOUS 1261682 HAS SOUPS 1249150 WITH SCORE 1250804.921
AT ITER 515 NEW BEST:: SOT 3333778 SOS 1654920 HAS SOPS 1626518 HAS SOUS 1261682 HAS SOUPS 1249150 WITH SCORE 1250804.92
AT ITER 520 NEW BEST:: SOT 3334334 SOS 1657065 HAS SOPS 1624497 HAS SOUS 1261279 HAS SOUPS 1247502 WITH SCORE 1249159.065
AT ITER 522 NEW BEST:: SOT 3333793 SOS 1656766 HAS SOPS 1623956 HAS SOUS 1260980 HAS SOUPS 1246961 WITH SCORE 1248617.766
AT ITER 524 NEW BEST:: SOT 3333793 SOS 1655072 HAS SOPS 1622262 HAS SOUS 1260015 HAS SOUPS 1245996 WITH SCORE 1247651.072
AT ITER 528 NEW BEST:: SOT 3335134 SOS 1654083 HAS SOPS 1620715 HAS SOUS 1259603 HAS SOUPS 1245026 WITH SCORE 1246680.083
AT ITER 532 NEW BEST:: SOT 3335084 SOS 1653946 HAS SOPS 1620578 HAS SOUS 1258664 HAS SOUPS 1244087 WITH SCORE 1245740.946
AT ITER 533 NEW BEST:: SOT 3335084 SOS 1651253 HAS SOPS 1617885 HAS SOUS 1257089 HAS SOUPS 1242512 WITH SCORE 1244163.253
AT ITER 535 NEW BEST:: SOT 3334993 SOS 1651162 HAS SOPS 1617794 HAS SOUS 1257089 HAS SOUPS 1242512 WITH SCORE 1244163.162
AT ITER 538 NEW BEST:: SOT 3333457 SOS 1648336 HAS SOPS 1614968 HAS SOUS 1255287 HAS SOUPS 1240710 WITH SCORE 1242358.336
AT ITER 540 NEW BEST:: SOT 3333457 SOS 1648313 HAS SOPS 1614945 HAS SOUS 1255287 HAS SOUPS 1240710 WITH SCORE 1242358.313
AT ITER 541 NEW BEST:: SOT 3331705 SOS 1646561 HAS SOPS 1613193 HAS SOUS 1254283 HAS SOUPS 1239706 WITH SCORE 1241352.561
AT ITER 547 NEW BEST:: SOT 3331705 SOS 1645469 HAS SOPS 1612101 HAS SOUS 1253677 HAS SOUPS 1239100 WITH SCORE 1240745.469
AT ITER 554 NEW BEST:: SOT 3331705 SOS 1645238 HAS SOPS 1611870 HAS SOUS 1253677 HAS SOUPS 1239100 WITH SCORE 1240745.238
AT ITER 559 NEW BEST:: SOT 3331255 SOS 1643776 HAS SOPS 1610408 HAS SOUS 1252665 HAS SOUPS 1238088 WITH SCORE 1239731.776
AT ITER 560 NEW BEST:: SOT 3331255 SOS 1643625 HAS SOPS 1610257 HAS SOUS 1252468 HAS SOUPS 1237891 WITH SCORE 1239534.625
AT ITER 570 NEW BEST:: SOT 3329818 SOS 1641146 HAS SOPS 1607778 HAS SOUS 1250947 HAS SOUPS 1236370 WITH SCORE 1238011.146
AT ITER 576 NEW BEST:: SOT 3328794 SOS 1640121 HAS SOPS 1606753 HAS SOUS 1250265 HAS SOUPS 1235688 WITH SCORE 1237328.121
AT ITER 579 NEW BEST:: SOT 3327192 SOS 1636719 HAS SOPS 1605151 HAS SOUS 1248490 HAS SOUPS 1234086 WITH SCORE 1235722.719
AT ITER 583 NEW BEST:: SOT 3327192 SOS 1636719 HAS SOPS 1605151 HAS SOUS 1248313 HAS SOUPS 1233909 WITH SCORE 1235545.719
AT ITER 591 NEW BEST:: SOT 3327192 SOS 1636269 HAS SOPS 1604701 HAS SOUS 1248013 HAS SOUPS 1233609 WITH SCORE 1235245.269
AT ITER 594 NEW BEST:: SOT 3327192 SOS 1636268 HAS SOPS 1604700 HAS SOUS 1248012 HAS SOUPS 1233608 WITH SCORE 1235244.268
AT ITER 602 NEW BEST:: SOT 3324114 SOS 1631790 HAS SOPS 1600222 HAS SOUS 1245842 HAS SOUPS 1231438 WITH SCORE 1233069.79
AT ITER 605 NEW BEST:: SOT 3323123 SOS 1629244 HAS SOPS 1597676 HAS SOUS 1244420 HAS SOUPS 1230016 WITH SCORE 1231645.244
AT ITER 612 NEW BEST:: SOT 3319377 SOS 1625498 HAS SOPS 1593930 HAS SOUS 1242358 HAS SOUPS 1227954 WITH SCORE 1229579.498
AT ITER 613 NEW BEST:: SOT 3319377 SOS 1624626 HAS SOPS 1593058 HAS SOUS 1242357 HAS SOUPS 1227953 WITH SCORE 1229577.626
AT ITER 617 NEW BEST:: SOT 3319377 SOS 1623811 HAS SOPS 1592243 HAS SOUS 1242034 HAS SOUPS 1227630 WITH SCORE 1229253.811
AT ITER 618 NEW BEST:: SOT 3319377 SOS 1622716 HAS SOPS 1591148 HAS SOUS 1241304 HAS SOUPS 1226900 WITH SCORE 1228522.716
AT ITER 622 NEW BEST:: SOT 3316073 SOS 1616444 HAS SOPS 1584876 HAS SOUS 1237464 HAS SOUPS 1223060 WITH SCORE 1224676.444
AT ITER 626 NEW BEST:: SOT 3316073 SOS 1616443 HAS SOPS 1584875 HAS SOUS 1237463 HAS SOUPS 1223059 WITH SCORE 1224675.443
AT ITER 629 NEW BEST:: SOT 3315452 SOS 1615908 HAS SOPS 1583674 HAS SOUS 1236928 HAS SOUPS 1221858 WITH SCORE 1223473.908
AT ITER 632 NEW BEST:: SOT 3313564 SOS 1613733 HAS SOPS 1581499 HAS SOUS 1235040 HAS SOUPS 1219970 WITH SCORE 1221583.733
AT ITER 635 NEW BEST:: SOT 3312766 SOS 1612935 HAS SOPS 1580701 HAS SOUS 1234568 HAS SOUPS 1219498 WITH SCORE 1221110.935
AT ITER 641 NEW BEST:: SOT 3312766 SOS 1613323 HAS SOPS 1579537 HAS SOUS 1234180 HAS SOUPS 1218722 WITH SCORE 1220335.323
AT ITER 645 NEW BEST:: SOT 3311430 SOS 1611640 HAS SOPS 1577854 HAS SOUS 1233165 HAS SOUPS 1217707 WITH SCORE 1219318.64
AT ITER 650 NEW BEST:: SOT 3310976 SOS 1609912 HAS SOPS 1576126 HAS SOUS 1232168 HAS SOUPS 1216710 WITH SCORE 1218319.912
AT ITER 655 NEW BEST:: SOT 3310498 SOS 1609434 HAS SOPS 1575648 HAS SOUS 1231929 HAS SOUPS 1216471 WITH SCORE 1218080.434
AT ITER 661 NEW BEST:: SOT 3310406 SOS 1609342 HAS SOPS 1575556 HAS SOUS 1231837 HAS SOUPS 1216379 WITH SCORE 1217988.342
AT ITER 663 NEW BEST:: SOT 3309899 SOS 1608835 HAS SOPS 1575048 HAS SOUS 1231566 HAS SOUPS 1216107 WITH SCORE 1217715.835
AT ITER 671 NEW BEST:: SOT 3310618 SOS 1609330 HAS SOPS 1572950 HAS SOUS 1230512 HAS SOUPS 1214009 WITH SCORE 1215618.33
AT ITER 673 NEW BEST:: SOT 3310097 SOS 1609166 HAS SOPS 1572149 HAS SOUS 1229810 HAS SOUPS 1212976 WITH SCORE 1214585.166
AT ITER 676 NEW BEST:: SOT 3305590 SOS 1604742 HAS SOPS 1567725 HAS SOUS 1226288 HAS SOUPS 1209454 WITH SCORE 1211058.742
AT ITER 678 NEW BEST:: SOT 3304684 SOS 1603714 HAS SOPS 1566697 HAS SOUS 1224475 HAS SOUPS 1207641 WITH SCORE 1209244.714
AT ITER 679 NEW BEST:: SOT 3304684 SOS 1602631 HAS SOPS 1565614 HAS SOUS 1223933 HAS SOUPS 1207099 WITH SCORE 1208701.631
AT ITER 681 NEW BEST:: SOT 3304346 SOS 1602752 HAS SOPS 1565735 HAS SOUS 1223808 HAS SOUPS 1206974 WITH SCORE 1208576.752
AT ITER 682 NEW BEST:: SOT 3303519 SOS 1602478 HAS SOPS 1564908 HAS SOUS 1223270 HAS SOUPS 1206147 WITH SCORE 1207749.478
AT ITER 684 NEW BEST:: SOT 3303243 SOS 1602201 HAS SOPS 1564631 HAS SOUS 1222993 HAS SOUPS 1205870 WITH SCORE 1207472.201
AT ITER 686 NEW BEST:: SOT 3303104 SOS 1602061 HAS SOPS 1564491 HAS SOUS 1222853 HAS SOUPS 1205730 WITH SCORE 1207332.061
AT ITER 691 NEW BEST:: SOT 3302569 SOS 1603117 HAS SOPS 1563785 HAS SOUS 1222218 HAS SOUPS 1204534 WITH SCORE 1206137.117
AT ITER 694 NEW BEST:: SOT 3302408 SOS 1603040 HAS SOPS 1563624 HAS SOUS 1222141 HAS SOUPS 1204373 WITH SCORE 1205976.04
AT ITER 710 NEW BEST:: SOT 3301522 SOS 1602153 HAS SOPS 1562737 HAS SOUS 1221799 HAS SOUPS 1204031 WITH SCORE 1205633.153
AT ITER 713 NEW BEST:: SOT 3301390 SOS 1600741 HAS SOPS 1561325 HAS SOUS 1221309 HAS SOUPS 1203541 WITH SCORE 1205141.741
AT ITER 721 NEW BEST:: SOT 3301390 SOS 1600328 HAS SOPS 1560912 HAS SOUS 1221253 HAS SOUPS 1203485 WITH SCORE 1205085.328
AT ITER 722 NEW BEST:: SOT 3297993 SOS 1596718 HAS SOPS 1557302 HAS SOUS 1218562 HAS SOUPS 1200794 WITH SCORE 1202390.718
AT ITER 725 NEW BEST:: SOT 3297196 SOS 1596048 HAS SOPS 1556089 HAS SOUS 1217633 HAS SOUPS 1199581 WITH SCORE 1201177.048
AT ITER 726 NEW BEST:: SOT 3297196 SOS 1595924 HAS SOPS 1555965 HAS SOUS 1217633 HAS SOUPS 1199581 WITH SCORE 1201176.924
AT ITER 728 NEW BEST:: SOT 3296696 SOS 1594423 HAS SOPS 1554464 HAS SOUS 1216632 HAS SOUPS 1198580 WITH SCORE 1200174.423
AT ITER 731 NEW BEST:: SOT 3296696 SOS 1594101 HAS SOPS 1554142 HAS SOUS 1216310 HAS SOUPS 1198258 WITH SCORE 1199852.101
AT ITER 732 NEW BEST:: SOT 3296246 SOS 1593650 HAS SOPS 1553691 HAS SOUS 1215859 HAS SOUPS 1197807 WITH SCORE 1199400.65
AT ITER 733 NEW BEST:: SOT 3296246 SOS 1591998 HAS SOPS 1552039 HAS SOUS 1214761 HAS SOUPS 1196709 WITH SCORE 1198300.998
AT ITER 734 NEW BEST:: SOT 3296161 SOS 1591912 HAS SOPS 1551953 HAS SOUS 1214675 HAS SOUPS 1196623 WITH SCORE 1198214.912
AT ITER 750 NEW BEST:: SOT 3296161 SOS 1590743 HAS SOPS 1550784 HAS SOUS 1214138 HAS SOUPS 1196086 WITH SCORE 1197676.743
AT ITER 752 NEW BEST:: SOT 3295283 SOS 1592631 HAS SOPS 1549906 HAS SOUS 1214072 HAS SOUPS 1195208 WITH SCORE 1196800.631
AT ITER 760 NEW BEST:: SOT 3294894 SOS 1591747 HAS SOPS 1549022 HAS SOUS 1213577 HAS SOUPS 1194713 WITH SCORE 1196304.747
AT ITER 762 NEW BEST:: SOT 3294894 SOS 1590668 HAS SOPS 1547943 HAS SOUS 1213044 HAS SOUPS 1194180 WITH SCORE 1195770.668
AT ITER 765 NEW BEST:: SOT 3294784 SOS 1588009 HAS SOPS 1545284 HAS SOUS 1210866 HAS SOUPS 1192002 WITH SCORE 1193590.009
AT ITER 767 NEW BEST:: SOT 3294784 SOS 1585886 HAS SOPS 1543161 HAS SOUS 1209791 HAS SOUPS 1190927 WITH SCORE 1192512.886
AT ITER 770 NEW BEST:: SOT 3294776 SOS 1585878 HAS SOPS 1543153 HAS SOUS 1209783 HAS SOUPS 1190919 WITH SCORE 1192504.878
AT ITER 772 NEW BEST:: SOT 3294775 SOS 1585401 HAS SOPS 1542676 HAS SOUS 1209306 HAS SOUPS 1190442 WITH SCORE 1192027.401
AT ITER 774 NEW BEST:: SOT 3291633 SOS 1578846 HAS SOPS 1536121 HAS SOUS 1205139 HAS SOUPS 1186275 WITH SCORE 1187853.846
AT ITER 775 NEW BEST:: SOT 3291506 SOS 1578479 HAS SOPS 1535754 HAS SOUS 1204772 HAS SOUPS 1185908 WITH SCORE 1187486.479
AT ITER 776 NEW BEST:: SOT 3290777 SOS 1577794 HAS SOPS 1533612 HAS SOUS 1203724 HAS SOUPS 1184313 WITH SCORE 1185890.794
AT ITER 783 NEW BEST:: SOT 3290776 SOS 1577241 HAS SOPS 1533253 HAS SOUS 1203722 HAS SOUPS 1184311 WITH SCORE 1185888.241
AT ITER 784 NEW BEST:: SOT 3290681 SOS 1577145 HAS SOPS 1533157 HAS SOUS 1203626 HAS SOUPS 1184215 WITH SCORE 1185792.145
AT ITER 786 NEW BEST:: SOT 3287743 SOS 1574207 HAS SOPS 1530219 HAS SOUS 1202052 HAS SOUPS 1182641 WITH SCORE 1184215.207
AT ITER 792 NEW BEST:: SOT 3287742 SOS 1574090 HAS SOPS 1530102 HAS SOUS 1201935 HAS SOUPS 1182524 WITH SCORE 1184098.09
AT ITER 793 NEW BEST:: SOT 3287742 SOS 1574894 HAS SOPS 1528254 HAS SOUS 1201413 HAS SOUPS 1181339 WITH SCORE 1182913.894
AT ITER 804 NEW BEST:: SOT 3287151 SOS 1574390 HAS SOPS 1527750 HAS SOUS 1200909 HAS SOUPS 1180835 WITH SCORE 1182409.39
AT ITER 808 NEW BEST:: SOT 3284782 SOS 1572945 HAS SOPS 1526305 HAS SOUS 1200083 HAS SOUPS 1180009 WITH SCORE 1181581.945
AT ITER 815 NEW BEST:: SOT 3284610 SOS 1572772 HAS SOPS 1526132 HAS SOUS 1199910 HAS SOUPS 1179836 WITH SCORE 1181408.772
AT ITER 820 NEW BEST:: SOT 3284610 SOS 1572772 HAS SOPS 1525839 HAS SOUS 1199910 HAS SOUPS 1179543 WITH SCORE 1181115.772
AT ITER 828 NEW BEST:: SOT 3282616 SOS 1570778 HAS SOPS 1523845 HAS SOUS 1199142 HAS SOUPS 1178775 WITH SCORE 1180345.778
AT ITER 829 NEW BEST:: SOT 3282616 SOS 1568669 HAS SOPS 1521736 HAS SOUS 1197736 HAS SOUPS 1177369 WITH SCORE 1178937.669
AT ITER 830 NEW BEST:: SOT 3282600 SOS 1565764 HAS SOPS 1518831 HAS SOUS 1196187 HAS SOUPS 1175820 WITH SCORE 1177385.764
AT ITER 833 NEW BEST:: SOT 3282600 SOS 1564595 HAS SOPS 1517662 HAS SOUS 1195881 HAS SOUPS 1175514 WITH SCORE 1177078.595
AT ITER 834 NEW BEST:: SOT 3282278 SOS 1563181 HAS SOPS 1516248 HAS SOUS 1195480 HAS SOUPS 1175113 WITH SCORE 1176676.181
AT ITER 836 NEW BEST:: SOT 3282222 SOS 1561573 HAS SOPS 1514640 HAS SOUS 1195091 HAS SOUPS 1174724 WITH SCORE 1176285.573
AT ITER 838 NEW BEST:: SOT 3277524 SOS 1556465 HAS SOPS 1509532 HAS SOUS 1191680 HAS SOUPS 1171313 WITH SCORE 1172869.465
AT ITER 840 NEW BEST:: SOT 3277524 SOS 1556464 HAS SOPS 1509531 HAS SOUS 1191679 HAS SOUPS 1171312 WITH SCORE 1172868.464
AT ITER 841 NEW BEST:: SOT 3277523 SOS 1555629 HAS SOPS 1509008 HAS SOUS 1191247 HAS SOUPS 1171192 WITH SCORE 1172747.629
AT ITER 848 NEW BEST:: SOT 3277873 SOS 1558129 HAS SOPS 1507895 HAS SOUS 1191270 HAS SOUPS 1170079 WITH SCORE 1171637.129
AT ITER 849 NEW BEST:: SOT 3277337 SOS 1555199 HAS SOPS 1504220 HAS SOUS 1189725 HAS SOUPS 1167789 WITH SCORE 1169344.199
AT ITER 852 NEW BEST:: SOT 3276978 SOS 1554122 HAS SOPS 1503143 HAS SOUS 1189007 HAS SOUPS 1167071 WITH SCORE 1168625.122
AT ITER 856 NEW BEST:: SOT 3276895 SOS 1554038 HAS SOPS 1503059 HAS SOUS 1188923 HAS SOUPS 1166987 WITH SCORE 1168541.038
AT ITER 857 NEW BEST:: SOT 3276608 SOS 1553751 HAS SOPS 1502772 HAS SOUS 1188636 HAS SOUPS 1166700 WITH SCORE 1168253.751
AT ITER 858 NEW BEST:: SOT 3276438 SOS 1553411 HAS SOPS 1502432 HAS SOUS 1188296 HAS SOUPS 1166360 WITH SCORE 1167913.411
AT ITER 861 NEW BEST:: SOT 3276438 SOS 1553410 HAS SOPS 1502431 HAS SOUS 1188295 HAS SOUPS 1166359 WITH SCORE 1167912.41
AT ITER 866 NEW BEST:: SOT 3276438 SOS 1552340 HAS SOPS 1501361 HAS SOUS 1187814 HAS SOUPS 1165878 WITH SCORE 1167430.34
AT ITER 867 NEW BEST:: SOT 3276438 SOS 1551352 HAS SOPS 1500373 HAS SOUS 1187197 HAS SOUPS 1165261 WITH SCORE 1166812.352
AT ITER 868 NEW BEST:: SOT 3276438 SOS 1551220 HAS SOPS 1500241 HAS SOUS 1187065 HAS SOUPS 1165129 WITH SCORE 1166680.22
AT ITER 869 NEW BEST:: SOT 3276438 SOS 1550981 HAS SOPS 1500002 HAS SOUS 1186826 HAS SOUPS 1164890 WITH SCORE 1166440.981
AT ITER 870 NEW BEST:: SOT 3274036 SOS 1548578 HAS SOPS 1497599 HAS SOUS 1185238 HAS SOUPS 1163302 WITH SCORE 1164850.578
AT ITER 871 NEW BEST:: SOT 3273737 SOS 1547681 HAS SOPS 1496702 HAS SOUS 1184640 HAS SOUPS 1162704 WITH SCORE 1164251.681
AT ITER 873 NEW BEST:: SOT 3273737 SOS 1547673 HAS SOPS 1496694 HAS SOUS 1184620 HAS SOUPS 1162684 WITH SCORE 1164231.673
AT ITER 877 NEW BEST:: SOT 3272683 SOS 1546163 HAS SOPS 1492545 HAS SOUS 1182631 HAS SOUPS 1159681 WITH SCORE 1161227.163
AT ITER 880 NEW BEST:: SOT 3272236 SOS 1544975 HAS SOPS 1491357 HAS SOUS 1181185 HAS SOUPS 1158235 WITH SCORE 1159779.975
AT ITER 881 NEW BEST:: SOT 3270799 SOS 1543537 HAS SOPS 1489919 HAS SOUS 1180371 HAS SOUPS 1157421 WITH SCORE 1158964.537
AT ITER 884 NEW BEST:: SOT 3268217 SOS 1540560 HAS SOPS 1486942 HAS SOUS 1178450 HAS SOUPS 1155500 WITH SCORE 1157040.56
AT ITER 885 NEW BEST:: SOT 3267565 SOS 1540358 HAS SOPS 1486290 HAS SOUS 1178092 HAS SOUPS 1154848 WITH SCORE 1156388.358
AT ITER 888 NEW BEST:: SOT 3267565 SOS 1540039 HAS SOPS 1485971 HAS SOUS 1178092 HAS SOUPS 1154848 WITH SCORE 1156388.039
AT ITER 896 NEW BEST:: SOT 3266706 SOS 1541550 HAS SOPS 1487482 HAS SOUS 1177211 HAS SOUPS 1153967 WITH SCORE 1155508.55
AT ITER 898 NEW BEST:: SOT 3265904 SOS 1539073 HAS SOPS 1485807 HAS SOUS 1176313 HAS SOUPS 1153094 WITH SCORE 1154633.073
AT ITER 905 NEW BEST:: SOT 3265493 SOS 1538661 HAS SOPS 1485395 HAS SOUS 1175901 HAS SOUPS 1152682 WITH SCORE 1154220.661
AT ITER 909 NEW BEST:: SOT 3261334 SOS 1534502 HAS SOPS 1481236 HAS SOUS 1173780 HAS SOUPS 1150561 WITH SCORE 1152095.502
AT ITER 910 NEW BEST:: SOT 3259699 SOS 1531635 HAS SOPS 1478369 HAS SOUS 1172003 HAS SOUPS 1148784 WITH SCORE 1150315.635
AT ITER 913 NEW BEST:: SOT 3259570 SOS 1530940 HAS SOPS 1477674 HAS SOUS 1171394 HAS SOUPS 1148175 WITH SCORE 1149705.94
AT ITER 914 NEW BEST:: SOT 3258076 SOS 1528651 HAS SOPS 1475385 HAS SOUS 1170101 HAS SOUPS 1146882 WITH SCORE 1148410.651
AT ITER 916 NEW BEST:: SOT 3258075 SOS 1527964 HAS SOPS 1474940 HAS SOUS 1169830 HAS SOUPS 1146853 WITH SCORE 1148380.964
AT ITER 921 NEW BEST:: SOT 3257782 SOS 1527963 HAS SOPS 1474939 HAS SOUS 1169829 HAS SOUPS 1146852 WITH SCORE 1148379.963
AT ITER 922 NEW BEST:: SOT 3256155 SOS 1527307 HAS SOPS 1474283 HAS SOUS 1169365 HAS SOUPS 1146388 WITH SCORE 1147915.307
AT ITER 924 NEW BEST:: SOT 3255950 SOS 1527704 HAS SOPS 1473228 HAS SOUS 1169027 HAS SOUPS 1145333 WITH SCORE 1146860.704
AT ITER 926 NEW BEST:: SOT 3255844 SOS 1527598 HAS SOPS 1473122 HAS SOUS 1168962 HAS SOUPS 1145268 WITH SCORE 1146795.598
AT ITER 932 NEW BEST:: SOT 3255696 SOS 1525571 HAS SOPS 1471095 HAS SOUS 1167614 HAS SOUPS 1143920 WITH SCORE 1145445.571
AT ITER 933 NEW BEST:: SOT 3252319 SOS 1521616 HAS SOPS 1467140 HAS SOUS 1164804 HAS SOUPS 1141110 WITH SCORE 1142631.616
AT ITER 934 NEW BEST:: SOT 3252606 SOS 1521590 HAS SOPS 1467114 HAS SOUS 1164778 HAS SOUPS 1141084 WITH SCORE 1142605.59
AT ITER 943 NEW BEST:: SOT 3252606 SOS 1521589 HAS SOPS 1467113 HAS SOUS 1164777 HAS SOUPS 1141083 WITH SCORE 1142604.589
AT ITER 944 NEW BEST:: SOT 3252591 SOS 1521574 HAS SOPS 1467098 HAS SOUS 1164762 HAS SOUPS 1141068 WITH SCORE 1142589.574
AT ITER 946 NEW BEST:: SOT 3252591 SOS 1521506 HAS SOPS 1467030 HAS SOUS 1164694 HAS SOUPS 1141000 WITH SCORE 1142521.506
AT ITER 951 NEW BEST:: SOT 3252184 SOS 1520853 HAS SOPS 1466377 HAS SOUS 1164347 HAS SOUPS 1140653 WITH SCORE 1142173.853
AT ITER 952 NEW BEST:: SOT 3252184 SOS 1520294 HAS SOPS 1465818 HAS SOUS 1164316 HAS SOUPS 1140622 WITH SCORE 1142142.294
AT ITER 953 NEW BEST:: SOT 3252184 SOS 1520683 HAS SOPS 1466207 HAS SOUS 1164315 HAS SOUPS 1140621 WITH SCORE 1142141.683
AT ITER 955 NEW BEST:: SOT 3252184 SOS 1522900 HAS SOPS 1465644 HAS SOUS 1164447 HAS SOUPS 1140058 WITH SCORE 1141580.9
AT ITER 961 NEW BEST:: SOT 3252184 SOS 1522899 HAS SOPS 1465285 HAS SOUS 1164088 HAS SOUPS 1139699 WITH SCORE 1141221.899
AT ITER 965 NEW BEST:: SOT 3250099 SOS 1520814 HAS SOPS 1463200 HAS SOUS 1162905 HAS SOUPS 1138516 WITH SCORE 1140036.814
AT ITER 966 NEW BEST:: SOT 3249403 SOS 1520118 HAS SOPS 1462504 HAS SOUS 1162209 HAS SOUPS 1137820 WITH SCORE 1139340.118
AT ITER 979 NEW BEST:: SOT 3249351 SOS 1520066 HAS SOPS 1462434 HAS SOUS 1162157 HAS SOUPS 1137750 WITH SCORE 1139270.066
AT ITER 984 NEW BEST:: SOT 3249273 SOS 1518544 HAS SOPS 1460912 HAS SOUS 1161659 HAS SOUPS 1137252 WITH SCORE 1138770.544
AT ITER 995 NEW BEST:: SOT 3248252 SOS 1519216 HAS SOPS 1461584 HAS SOUS 1161143 HAS SOUPS 1136736 WITH SCORE 1138255.216
AT ITER 997 NEW BEST:: SOT 3248341 SOS 1519304 HAS SOPS 1461355 HAS SOUS 1161231 HAS SOUPS 1136507 WITH SCORE 1138026.304
AT ITER 999 NEW BEST:: SOT 3248341 SOS 1520099 HAS SOPS 1461353 HAS SOUS 1161343 HAS SOUPS 1136505 WITH SCORE 1138025.099
AT ITER 1001 NEW BEST:: SOT 3248341 SOS 1518333 HAS SOPS 1459587 HAS SOUS 1160469 HAS SOUPS 1135631 WITH SCORE 1137149.333
AT ITER 1006 NEW BEST:: SOT 3248341 SOS 1518263 HAS SOPS 1459377 HAS SOUS 1160434 HAS SOUPS 1135561 WITH SCORE 1137079.263
AT ITER 1015 NEW BEST:: SOT 3248341 SOS 1517434 HAS SOPS 1458548 HAS SOUS 1160424 HAS SOUPS 1135551 WITH SCORE 1137068.434
AT ITER 1017 NEW BEST:: SOT 3247411 SOS 1516600 HAS SOPS 1457714 HAS SOUS 1159673 HAS SOUPS 1134800 WITH SCORE 1136316.6
AT ITER 1025 NEW BEST:: SOT 3247126 SOS 1516336 HAS SOPS 1457428 HAS SOUS 1159408 HAS SOUPS 1134514 WITH SCORE 1136030.336
AT ITER 1027 NEW BEST:: SOT 3246376 SOS 1515773 HAS SOPS 1457050 HAS SOUS 1159030 HAS SOUPS 1134136 WITH SCORE 1135651.773
AT ITER 1032 NEW BEST:: SOT 3246309 SOS 1515706 HAS SOPS 1456983 HAS SOUS 1158963 HAS SOUPS 1134069 WITH SCORE 1135584.706
AT ITER 1034 NEW BEST:: SOT 3243697 SOS 1513094 HAS SOPS 1454371 HAS SOUS 1157378 HAS SOUPS 1132484 WITH SCORE 1133997.094
AT ITER 1037 NEW BEST:: SOT 3242381 SOS 1509858 HAS SOPS 1451135 HAS SOUS 1155414 HAS SOUPS 1130520 WITH SCORE 1132029.858
AT ITER 1041 NEW BEST:: SOT 3241980 SOS 1509457 HAS SOPS 1450734 HAS SOUS 1155013 HAS SOUPS 1130119 WITH SCORE 1131628.457
AT ITER 1043 NEW BEST:: SOT 3241980 SOS 1509137 HAS SOPS 1450414 HAS SOUS 1154693 HAS SOUPS 1129799 WITH SCORE 1131308.137
AT ITER 1051 NEW BEST:: SOT 3236630 SOS 1500405 HAS SOPS 1441682 HAS SOUS 1149630 HAS SOUPS 1124736 WITH SCORE 1126236.405
AT ITER 1053 NEW BEST:: SOT 3235334 SOS 1499109 HAS SOPS 1440386 HAS SOUS 1148974 HAS SOUPS 1124080 WITH SCORE 1125579.109
AT ITER 1054 NEW BEST:: SOT 3235333 SOS 1496234 HAS SOPS 1437511 HAS SOUS 1147297 HAS SOUPS 1122403 WITH SCORE 1123899.234
AT ITER 1060 NEW BEST:: SOT 3235333 SOS 1495996 HAS SOPS 1437273 HAS SOUS 1147059 HAS SOUPS 1122165 WITH SCORE 1123660.996
AT ITER 1071 NEW BEST:: SOT 3235447 SOS 1492582 HAS SOPS 1433859 HAS SOUS 1144652 HAS SOUPS 1119758 WITH SCORE 1121250.582
AT ITER 1072 NEW BEST:: SOT 3234976 SOS 1491237 HAS SOPS 1431495 HAS SOUS 1143808 HAS SOUPS 1118154 WITH SCORE 1119645.237
AT ITER 1073 NEW BEST:: SOT 3234835 SOS 1491236 HAS SOPS 1431494 HAS SOUS 1143666 HAS SOUPS 1118012 WITH SCORE 1119503.236
AT ITER 1080 NEW BEST:: SOT 3234835 SOS 1490727 HAS SOPS 1430985 HAS SOUS 1143411 HAS SOUPS 1117757 WITH SCORE 1119247.727
AT ITER 1081 NEW BEST:: SOT 3233867 SOS 1489758 HAS SOPS 1430016 HAS SOUS 1142956 HAS SOUPS 1117302 WITH SCORE 1118791.758
AT ITER 1082 NEW BEST:: SOT 3233867 SOS 1489694 HAS SOPS 1429952 HAS SOUS 1142924 HAS SOUPS 1117270 WITH SCORE 1118759.694
AT ITER 1092 NEW BEST:: SOT 3232782 SOS 1488608 HAS SOPS 1428866 HAS SOUS 1142268 HAS SOUPS 1116614 WITH SCORE 1118102.608
AT ITER 1096 NEW BEST:: SOT 3232157 SOS 1487983 HAS SOPS 1428241 HAS SOUS 1141893 HAS SOUPS 1116239 WITH SCORE 1117726.983
AT ITER 1099 NEW BEST:: SOT 3232157 SOS 1487602 HAS SOPS 1427860 HAS SOUS 1141892 HAS SOUPS 1116238 WITH SCORE 1117725.602
AT ITER 1105 NEW BEST:: SOT 3232152 SOS 1487597 HAS SOPS 1427855 HAS SOUS 1141887 HAS SOUPS 1116233 WITH SCORE 1117720.597
AT ITER 1108 NEW BEST:: SOT 3232107 SOS 1487552 HAS SOPS 1427810 HAS SOUS 1141842 HAS SOUPS 1116188 WITH SCORE 1117675.552
AT ITER 1112 NEW BEST:: SOT 3231976 SOS 1487551 HAS SOPS 1427809 HAS SOUS 1141841 HAS SOUPS 1116187 WITH SCORE 1117674.551
AT ITER 1114 NEW BEST:: SOT 3231506 SOS 1488365 HAS SOPS 1427339 HAS SOUS 1142015 HAS SOUPS 1115717 WITH SCORE 1117205.365
AT ITER 1122 NEW BEST:: SOT 3231506 SOS 1488364 HAS SOPS 1427338 HAS SOUS 1142014 HAS SOUPS 1115716 WITH SCORE 1117204.364
AT ITER 1124 NEW BEST:: SOT 3231506 SOS 1488082 HAS SOPS 1427197 HAS SOUS 1142014 HAS SOUPS 1115716 WITH SCORE 1117204.082
AT ITER 1133 NEW BEST:: SOT 3231089 SOS 1486984 HAS SOPS 1426099 HAS SOUS 1141954 HAS SOUPS 1115656 WITH SCORE 1117142.984
AT ITER 1134 NEW BEST:: SOT 3230723 SOS 1485029 HAS SOPS 1424144 HAS SOUS 1141190 HAS SOUPS 1114892 WITH SCORE 1116377.029
AT ITER 1135 NEW BEST:: SOT 3228350 SOS 1482134 HAS SOPS 1421249 HAS SOUS 1139467 HAS SOUPS 1113169 WITH SCORE 1114651.134
AT ITER 1137 NEW BEST:: SOT 3228343 SOS 1483626 HAS SOPS 1421242 HAS SOUS 1140190 HAS SOUPS 1113162 WITH SCORE 1114645.626
AT ITER 1142 NEW BEST:: SOT 3228174 SOS 1481772 HAS SOPS 1419388 HAS SOUS 1139242 HAS SOUPS 1112214 WITH SCORE 1113695.772
AT ITER 1144 NEW BEST:: SOT 3227152 SOS 1480750 HAS SOPS 1418366 HAS SOUS 1138562 HAS SOUPS 1111534 WITH SCORE 1113014.75
AT ITER 1146 NEW BEST:: SOT 3227544 SOS 1478658 HAS SOPS 1415786 HAS SOUS 1137457 HAS SOUPS 1109941 WITH SCORE 1111419.658
AT ITER 1149 NEW BEST:: SOT 3227543 SOS 1478982 HAS SOPS 1416110 HAS SOUS 1137455 HAS SOUPS 1109939 WITH SCORE 1111417.982
AT ITER 1154 NEW BEST:: SOT 3227543 SOS 1478966 HAS SOPS 1415677 HAS SOUS 1137022 HAS SOUPS 1109506 WITH SCORE 1110984.966
AT ITER 1158 NEW BEST:: SOT 3227529 SOS 1478952 HAS SOPS 1415663 HAS SOUS 1137008 HAS SOUPS 1109492 WITH SCORE 1110970.952
AT ITER 1160 NEW BEST:: SOT 3227641 SOS 1477672 HAS SOPS 1414383 HAS SOUS 1136349 HAS SOUPS 1108833 WITH SCORE 1110310.672
AT ITER 1165 NEW BEST:: SOT 3227351 SOS 1477563 HAS SOPS 1414093 HAS SOUS 1136240 HAS SOUPS 1108543 WITH SCORE 1110020.563
AT ITER 1166 NEW BEST:: SOT 3223614 SOS 1471046 HAS SOPS 1407576 HAS SOUS 1132407 HAS SOUPS 1104710 WITH SCORE 1106181.046
AT ITER 1167 NEW BEST:: SOT 3223303 SOS 1469805 HAS SOPS 1406335 HAS SOUS 1131476 HAS SOUPS 1103779 WITH SCORE 1105248.805
AT ITER 1170 NEW BEST:: SOT 3223147 SOS 1469464 HAS SOPS 1405994 HAS SOUS 1131135 HAS SOUPS 1103438 WITH SCORE 1104907.464
AT ITER 1175 NEW BEST:: SOT 3223056 SOS 1468728 HAS SOPS 1405258 HAS SOUS 1130399 HAS SOUPS 1102702 WITH SCORE 1104170.728
AT ITER 1178 NEW BEST:: SOT 3223056 SOS 1468354 HAS SOPS 1404884 HAS SOUS 1130237 HAS SOUPS 1102540 WITH SCORE 1104008.354
AT ITER 1183 NEW BEST:: SOT 3223055 SOS 1468059 HAS SOPS 1404589 HAS SOUS 1129942 HAS SOUPS 1102245 WITH SCORE 1103713.059
AT ITER 1185 NEW BEST:: SOT 3223054 SOS 1466276 HAS SOPS 1402806 HAS SOUS 1128939 HAS SOUPS 1101242 WITH SCORE 1102708.276
AT ITER 1188 NEW BEST:: SOT 3220596 SOS 1463818 HAS SOPS 1400348 HAS SOUS 1128685 HAS SOUPS 1100988 WITH SCORE 1102451.818
AT ITER 1190 NEW BEST:: SOT 3220446 SOS 1463905 HAS SOPS 1400198 HAS SOUS 1128772 HAS SOUPS 1100838 WITH SCORE 1102301.905
AT ITER 1192 NEW BEST:: SOT 3219819 SOS 1463278 HAS SOPS 1399571 HAS SOUS 1128145 HAS SOUPS 1100211 WITH SCORE 1101674.278
AT ITER 1194 NEW BEST:: SOT 3219440 SOS 1462898 HAS SOPS 1399191 HAS SOUS 1126978 HAS SOUPS 1099044 WITH SCORE 1100506.898
AT ITER 1196 NEW BEST:: SOT 3214880 SOS 1456227 HAS SOPS 1392520 HAS SOUS 1123143 HAS SOUPS 1095209 WITH SCORE 1096665.227
AT ITER 1204 NEW BEST:: SOT 3214516 SOS 1455863 HAS SOPS 1392156 HAS SOUS 1122779 HAS SOUPS 1094845 WITH SCORE 1096300.863
AT ITER 1206 NEW BEST:: SOT 3214485 SOS 1455294 HAS SOPS 1391587 HAS SOUS 1122440 HAS SOUPS 1094506 WITH SCORE 1095961.294
AT ITER 1209 NEW BEST:: SOT 3214485 SOS 1455612 HAS SOPS 1391905 HAS SOUS 1122439 HAS SOUPS 1094505 WITH SCORE 1095960.612
AT ITER 1210 NEW BEST:: SOT 3214484 SOS 1455492 HAS SOPS 1391785 HAS SOUS 1122319 HAS SOUPS 1094385 WITH SCORE 1095840.492
AT ITER 1213 NEW BEST:: SOT 3214237 SOS 1454751 HAS SOPS 1391291 HAS SOUS 1122072 HAS SOUPS 1094138 WITH SCORE 1095592.751
AT ITER 1217 NEW BEST:: SOT 3214556 SOS 1452789 HAS SOPS 1388439 HAS SOUS 1121435 HAS SOUPS 1092611 WITH SCORE 1094063.789
AT ITER 1223 NEW BEST:: SOT 3214330 SOS 1451366 HAS SOPS 1387016 HAS SOUS 1120576 HAS SOUPS 1091752 WITH SCORE 1093203.366
AT ITER 1224 NEW BEST:: SOT 3214329 SOS 1451145 HAS SOPS 1386801 HAS SOUS 1120574 HAS SOUPS 1091750 WITH SCORE 1093201.145
AT ITER 1225 NEW BEST:: SOT 3214135 SOS 1450991 HAS SOPS 1386647 HAS SOUS 1120420 HAS SOUPS 1091596 WITH SCORE 1093046.991
AT ITER 1226 NEW BEST:: SOT 3213922 SOS 1450437 HAS SOPS 1385949 HAS SOUS 1119866 HAS SOUPS 1090898 WITH SCORE 1092348.437
AT ITER 1227 NEW BEST:: SOT 3213744 SOS 1450259 HAS SOPS 1385771 HAS SOUS 1119510 HAS SOUPS 1090542 WITH SCORE 1091992.259
AT ITER 1229 NEW BEST:: SOT 3212886 SOS 1448537 HAS SOPS 1384049 HAS SOUS 1118646 HAS SOUPS 1089678 WITH SCORE 1091126.537
AT ITER 1235 NEW BEST:: SOT 3212112 SOS 1447763 HAS SOPS 1383275 HAS SOUS 1118381 HAS SOUPS 1089413 WITH SCORE 1090860.763
AT ITER 1238 NEW BEST:: SOT 3211649 SOS 1447217 HAS SOPS 1382670 HAS SOUS 1117835 HAS SOUPS 1088808 WITH SCORE 1090255.217
AT ITER 1240 NEW BEST:: SOT 3211391 SOS 1446959 HAS SOPS 1382411 HAS SOUS 1117577 HAS SOUPS 1088549 WITH SCORE 1089995.959
AT ITER 1245 NEW BEST:: SOT 3210268 SOS 1444778 HAS SOPS 1380230 HAS SOUS 1116830 HAS SOUPS 1087802 WITH SCORE 1089246.778
AT ITER 1248 NEW BEST:: SOT 3210123 SOS 1447052 HAS SOPS 1380085 HAS SOUS 1117446 HAS SOUPS 1087657 WITH SCORE 1089104.052
AT ITER 1251 NEW BEST:: SOT 3209476 SOS 1446396 HAS SOPS 1379429 HAS SOUS 1116882 HAS SOUPS 1087093 WITH SCORE 1088539.396
AT ITER 1258 NEW BEST:: SOT 3209036 SOS 1446498 HAS SOPS 1378387 HAS SOUS 1116318 HAS SOUPS 1086051 WITH SCORE 1087497.498
AT ITER 1259 NEW BEST:: SOT 3206560 SOS 1443807 HAS SOPS 1375696 HAS SOUS 1114581 HAS SOUPS 1084314 WITH SCORE 1085757.807
AT ITER 1261 NEW BEST:: SOT 3206560 SOS 1442708 HAS SOPS 1374597 HAS SOUS 1114100 HAS SOUPS 1083833 WITH SCORE 1085275.708
AT ITER 1262 NEW BEST:: SOT 3206560 SOS 1442708 HAS SOPS 1374597 HAS SOUS 1114030 HAS SOUPS 1083763 WITH SCORE 1085205.708
AT ITER 1263 NEW BEST:: SOT 3206485 SOS 1442633 HAS SOPS 1374522 HAS SOUS 1113909 HAS SOUPS 1083642 WITH SCORE 1085084.633
AT ITER 1267 NEW BEST:: SOT 3206392 SOS 1442261 HAS SOPS 1374150 HAS SOUS 1113630 HAS SOUPS 1083363 WITH SCORE 1084805.261
AT ITER 1275 NEW BEST:: SOT 3206258 SOS 1441457 HAS SOPS 1373346 HAS SOUS 1112960 HAS SOUPS 1082693 WITH SCORE 1084134.457
AT ITER 1279 NEW BEST:: SOT 3206114 SOS 1441313 HAS SOPS 1373202 HAS SOUS 1112864 HAS SOUPS 1082597 WITH SCORE 1084038.313
AT ITER 1283 NEW BEST:: SOT 3206114 SOS 1440659 HAS SOPS 1372548 HAS SOUS 1112176 HAS SOUPS 1081909 WITH SCORE 1083349.659
AT ITER 1286 NEW BEST:: SOT 3206259 SOS 1440290 HAS SOPS 1372179 HAS SOUS 1111692 HAS SOUPS 1081425 WITH SCORE 1082865.29
AT ITER 1294 NEW BEST:: SOT 3203682 SOS 1436614 HAS SOPS 1368503 HAS SOUS 1108202 HAS SOUPS 1077935 WITH SCORE 1079371.614
AT ITER 1295 NEW BEST:: SOT 3204285 SOS 1433682 HAS SOPS 1365878 HAS SOUS 1107400 HAS SOUPS 1077440 WITH SCORE 1078873.682
AT ITER 1297 NEW BEST:: SOT 3202983 SOS 1433903 HAS SOPS 1364418 HAS SOUS 1106745 HAS SOUPS 1075980 WITH SCORE 1077413.903
AT ITER 1306 NEW BEST:: SOT 3202756 SOS 1434058 HAS SOPS 1364015 HAS SOUS 1106630 HAS SOUPS 1075577 WITH SCORE 1077011.058
AT ITER 1307 NEW BEST:: SOT 3202277 SOS 1433364 HAS SOPS 1363321 HAS SOUS 1105092 HAS SOUPS 1074039 WITH SCORE 1075472.364
AT ITER 1309 NEW BEST:: SOT 3202277 SOS 1433076 HAS SOPS 1363033 HAS SOUS 1105044 HAS SOUPS 1073991 WITH SCORE 1075424.076
AT ITER 1312 NEW BEST:: SOT 3201538 SOS 1432337 HAS SOPS 1362294 HAS SOUS 1104305 HAS SOUPS 1073252 WITH SCORE 1074684.337
AT ITER 1314 NEW BEST:: SOT 3201538 SOS 1431088 HAS SOPS 1361045 HAS SOUS 1103903 HAS SOUPS 1072850 WITH SCORE 1074281.088
AT ITER 1315 NEW BEST:: SOT 3201538 SOS 1431113 HAS SOPS 1361070 HAS SOUS 1103902 HAS SOUPS 1072849 WITH SCORE 1074280.113
AT ITER 1317 NEW BEST:: SOT 3201538 SOS 1430538 HAS SOPS 1360495 HAS SOUS 1103901 HAS SOUPS 1072848 WITH SCORE 1074278.538
AT ITER 1319 NEW BEST:: SOT 3199280 SOS 1429134 HAS SOPS 1358758 HAS SOUS 1102568 HAS SOUPS 1071515 WITH SCORE 1072944.134
AT ITER 1321 NEW BEST:: SOT 3199280 SOS 1428614 HAS SOPS 1358238 HAS SOUS 1102048 HAS SOUPS 1070995 WITH SCORE 1072423.614
AT ITER 1322 NEW BEST:: SOT 3198793 SOS 1428127 HAS SOPS 1358112 HAS SOUS 1101106 HAS SOUPS 1070414 WITH SCORE 1071842.127
AT ITER 1323 NEW BEST:: SOT 3198792 SOS 1427773 HAS SOPS 1357758 HAS SOUS 1100609 HAS SOUPS 1069917 WITH SCORE 1071344.773
AT ITER 1327 NEW BEST:: SOT 3197363 SOS 1426344 HAS SOPS 1356329 HAS SOUS 1099954 HAS SOUPS 1069262 WITH SCORE 1070688.344
AT ITER 1328 NEW BEST:: SOT 3196303 SOS 1427526 HAS SOPS 1357395 HAS SOUS 1100049 HAS SOUPS 1069241 WITH SCORE 1070668.526
AT ITER 1331 NEW BEST:: SOT 3196119 SOS 1426753 HAS SOPS 1356622 HAS SOUS 1099505 HAS SOUPS 1068697 WITH SCORE 1070123.753
AT ITER 1334 NEW BEST:: SOT 3196049 SOS 1426725 HAS SOPS 1356593 HAS SOUS 1099476 HAS SOUPS 1068668 WITH SCORE 1070094.725
AT ITER 1336 NEW BEST:: SOT 3195639 SOS 1425085 HAS SOPS 1354953 HAS SOUS 1098246 HAS SOUPS 1067438 WITH SCORE 1068863.085
AT ITER 1337 NEW BEST:: SOT 3195639 SOS 1425085 HAS SOPS 1354623 HAS SOUS 1098246 HAS SOUPS 1067108 WITH SCORE 1068533.085
AT ITER 1341 NEW BEST:: SOT 3192013 SOS 1420940 HAS SOPS 1350478 HAS SOUS 1095529 HAS SOUPS 1064391 WITH SCORE 1065811.94
AT ITER 1343 NEW BEST:: SOT 3192009 SOS 1420513 HAS SOPS 1350051 HAS SOUS 1095102 HAS SOUPS 1063964 WITH SCORE 1065384.513
AT ITER 1345 NEW BEST:: SOT 3191496 SOS 1420112 HAS SOPS 1349650 HAS SOUS 1094542 HAS SOUPS 1063404 WITH SCORE 1064824.112
AT ITER 1348 NEW BEST:: SOT 3189855 SOS 1418471 HAS SOPS 1348009 HAS SOUS 1093721 HAS SOUPS 1062583 WITH SCORE 1064001.471
AT ITER 1349 NEW BEST:: SOT 3187119 SOS 1415734 HAS SOPS 1345272 HAS SOUS 1091896 HAS SOUPS 1060758 WITH SCORE 1062173.734
AT ITER 1351 NEW BEST:: SOT 3186357 SOS 1414971 HAS SOPS 1344509 HAS SOUS 1091632 HAS SOUPS 1060494 WITH SCORE 1061908.971
AT ITER 1352 NEW BEST:: SOT 3183332 SOS 1411945 HAS SOPS 1341483 HAS SOUS 1089868 HAS SOUPS 1058730 WITH SCORE 1060141.945
AT ITER 1360 NEW BEST:: SOT 3182390 SOS 1411231 HAS SOPS 1340769 HAS SOUS 1089553 HAS SOUPS 1058415 WITH SCORE 1059826.231
AT ITER 1375 NEW BEST:: SOT 3182742 SOS 1412664 HAS SOPS 1339438 HAS SOUS 1089344 HAS SOUPS 1057515 WITH SCORE 1058927.664
AT ITER 1376 NEW BEST:: SOT 3180154 SOS 1410596 HAS SOPS 1337370 HAS SOUS 1088038 HAS SOUPS 1056209 WITH SCORE 1057619.596
AT ITER 1378 NEW BEST:: SOT 3180154 SOS 1409635 HAS SOPS 1336409 HAS SOUS 1087718 HAS SOUPS 1055889 WITH SCORE 1057298.635
AT ITER 1382 NEW BEST:: SOT 3180154 SOS 1410905 HAS SOPS 1337679 HAS SOUS 1087615 HAS SOUPS 1055786 WITH SCORE 1057196.905
AT ITER 1383 NEW BEST:: SOT 3180110 SOS 1410861 HAS SOPS 1337635 HAS SOUS 1087571 HAS SOUPS 1055742 WITH SCORE 1057152.861
AT ITER 1387 NEW BEST:: SOT 3177545 SOS 1407428 HAS SOPS 1334202 HAS SOUS 1085440 HAS SOUPS 1053611 WITH SCORE 1055018.428
AT ITER 1388 NEW BEST:: SOT 3177545 SOS 1407778 HAS SOPS 1334201 HAS SOUS 1085439 HAS SOUPS 1053610 WITH SCORE 1055017.778
AT ITER 1391 NEW BEST:: SOT 3177446 SOS 1407411 HAS SOPS 1333834 HAS SOUS 1085030 HAS SOUPS 1053201 WITH SCORE 1054608.411
AT ITER 1394 NEW BEST:: SOT 3176786 SOS 1407891 HAS SOPS 1334314 HAS SOUS 1084542 HAS SOUPS 1052713 WITH SCORE 1054120.891
AT ITER 1396 NEW BEST:: SOT 3176682 SOS 1407787 HAS SOPS 1334210 HAS SOUS 1084438 HAS SOUPS 1052609 WITH SCORE 1054016.787
AT ITER 1399 NEW BEST:: SOT 3176478 SOS 1407583 HAS SOPS 1334006 HAS SOUS 1084336 HAS SOUPS 1052507 WITH SCORE 1053914.583
AT ITER 1400 NEW BEST:: SOT 3175847 SOS 1406660 HAS SOPS 1333083 HAS SOUS 1084259 HAS SOUPS 1052430 WITH SCORE 1053836.66
AT ITER 1405 NEW BEST:: SOT 3175753 SOS 1407683 HAS SOPS 1331060 HAS SOUS 1083561 HAS SOUPS 1050616 WITH SCORE 1052023.683
AT ITER 1407 NEW BEST:: SOT 3175628 SOS 1408140 HAS SOPS 1330934 HAS SOUS 1083701 HAS SOUPS 1050490 WITH SCORE 1051898.14
AT ITER 1410 NEW BEST:: SOT 3174204 SOS 1405863 HAS SOPS 1326332 HAS SOUS 1081380 HAS SOUPS 1047148 WITH SCORE 1048553.863
AT ITER 1424 NEW BEST:: SOT 3174180 SOS 1405803 HAS SOPS 1326272 HAS SOUS 1081344 HAS SOUPS 1047112 WITH SCORE 1048517.803
AT ITER 1429 NEW BEST:: SOT 3174421 SOS 1404074 HAS SOPS 1324189 HAS SOUS 1080418 HAS SOUPS 1045832 WITH SCORE 1047236.074
AT ITER 1433 NEW BEST:: SOT 3174377 SOS 1404347 HAS SOPS 1324462 HAS SOUS 1080374 HAS SOUPS 1045788 WITH SCORE 1047192.347
AT ITER 1437 NEW BEST:: SOT 3174344 SOS 1404251 HAS SOPS 1324315 HAS SOUS 1080146 HAS SOUPS 1045509 WITH SCORE 1046913.251
AT ITER 1442 NEW BEST:: SOT 3173808 SOS 1403715 HAS SOPS 1323779 HAS SOUS 1079320 HAS SOUPS 1044683 WITH SCORE 1046086.715
AT ITER 1443 NEW BEST:: SOT 3172904 SOS 1402359 HAS SOPS 1322423 HAS SOUS 1078416 HAS SOUPS 1043779 WITH SCORE 1045181.359
AT ITER 1445 NEW BEST:: SOT 3172495 SOS 1401539 HAS SOPS 1321603 HAS SOUS 1077596 HAS SOUPS 1042959 WITH SCORE 1044360.539
AT ITER 1453 NEW BEST:: SOT 3172494 SOS 1400139 HAS SOPS 1320203 HAS SOUS 1077270 HAS SOUPS 1042633 WITH SCORE 1044033.139
AT ITER 1456 NEW BEST:: SOT 3171301 SOS 1399810 HAS SOPS 1319874 HAS SOUS 1076941 HAS SOUPS 1042304 WITH SCORE 1043703.81
AT ITER 1458 NEW BEST:: SOT 3170215 SOS 1398723 HAS SOPS 1318787 HAS SOUS 1076370 HAS SOUPS 1041733 WITH SCORE 1043131.723
AT ITER 1459 NEW BEST:: SOT 3170215 SOS 1398232 HAS SOPS 1318296 HAS SOUS 1076362 HAS SOUPS 1041725 WITH SCORE 1043123.232
AT ITER 1467 NEW BEST:: SOT 3169234 SOS 1397250 HAS SOPS 1317314 HAS SOUS 1076361 HAS SOUPS 1041724 WITH SCORE 1043121.25
AT ITER 1471 NEW BEST:: SOT 3169234 SOS 1395013 HAS SOPS 1315077 HAS SOUS 1075092 HAS SOUPS 1040455 WITH SCORE 1041850.013
AT ITER 1473 NEW BEST:: SOT 3169106 SOS 1394755 HAS SOPS 1314885 HAS SOUS 1074900 HAS SOUPS 1040263 WITH SCORE 1041657.755
AT ITER 1474 NEW BEST:: SOT 3169723 SOS 1394274 HAS SOPS 1313600 HAS SOUS 1074419 HAS SOUPS 1038978 WITH SCORE 1040372.274
AT ITER 1475 NEW BEST:: SOT 3169138 SOS 1394295 HAS SOPS 1313014 HAS SOUS 1074149 HAS SOUPS 1038392 WITH SCORE 1039786.295
AT ITER 1476 NEW BEST:: SOT 3169099 SOS 1394139 HAS SOPS 1312858 HAS SOUS 1074032 HAS SOUPS 1038275 WITH SCORE 1039669.139
AT ITER 1482 NEW BEST:: SOT 3169099 SOS 1393362 HAS SOPS 1312081 HAS SOUS 1073770 HAS SOUPS 1038013 WITH SCORE 1039406.362
AT ITER 1484 NEW BEST:: SOT 3169589 SOS 1397897 HAS SOPS 1312434 HAS SOUS 1074250 HAS SOUPS 1037327 WITH SCORE 1038724.897
AT ITER 1485 NEW BEST:: SOT 3169519 SOS 1397722 HAS SOPS 1312259 HAS SOUS 1074179 HAS SOUPS 1037256 WITH SCORE 1038653.722
AT ITER 1490 NEW BEST:: SOT 3169226 SOS 1395393 HAS SOPS 1309439 HAS SOUS 1072809 HAS SOUPS 1035395 WITH SCORE 1036790.393
AT ITER 1491 NEW BEST:: SOT 3167518 SOS 1389747 HAS SOPS 1303793 HAS SOUS 1070352 HAS SOUPS 1032938 WITH SCORE 1034327.747
AT ITER 1498 NEW BEST:: SOT 3167009 SOS 1389237 HAS SOPS 1303283 HAS SOUS 1070236 HAS SOUPS 1032822 WITH SCORE 1034211.237
AT ITER 1507 NEW BEST:: SOT 3166949 SOS 1389177 HAS SOPS 1303163 HAS SOUS 1070116 HAS SOUPS 1032702 WITH SCORE 1034091.177
AT ITER 1513 NEW BEST:: SOT 3166934 SOS 1389152 HAS SOPS 1303138 HAS SOUS 1070101 HAS SOUPS 1032687 WITH SCORE 1034076.152
AT ITER 1519 NEW BEST:: SOT 3166926 SOS 1389152 HAS SOPS 1303138 HAS SOUS 1070093 HAS SOUPS 1032679 WITH SCORE 1034068.152
AT ITER 1520 NEW BEST:: SOT 3166866 SOS 1389091 HAS SOPS 1303077 HAS SOUS 1070032 HAS SOUPS 1032618 WITH SCORE 1034007.091
AT ITER 1525 NEW BEST:: SOT 3166091 SOS 1388151 HAS SOPS 1301458 HAS SOUS 1069092 HAS SOUPS 1030999 WITH SCORE 1032387.151
AT ITER 1529 NEW BEST:: SOT 3165956 SOS 1387926 HAS SOPS 1301233 HAS SOUS 1068957 HAS SOUPS 1030864 WITH SCORE 1032251.926
AT ITER 1544 NEW BEST:: SOT 3165956 SOS 1387456 HAS SOPS 1300763 HAS SOUS 1068071 HAS SOUPS 1029978 WITH SCORE 1031365.456
AT ITER 1547 NEW BEST:: SOT 3165956 SOS 1387184 HAS SOPS 1300491 HAS SOUS 1067659 HAS SOUPS 1029566 WITH SCORE 1030953.184
AT ITER 1550 NEW BEST:: SOT 3165515 SOS 1386498 HAS SOPS 1299805 HAS SOUS 1066831 HAS SOUPS 1028738 WITH SCORE 1030124.498
AT ITER 1551 NEW BEST:: SOT 3165515 SOS 1385900 HAS SOPS 1299207 HAS SOUS 1066831 HAS SOUPS 1028738 WITH SCORE 1030123.9
AT ITER 1554 NEW BEST:: SOT 3165337 SOS 1385455 HAS SOPS 1298762 HAS SOUS 1066740 HAS SOUPS 1028647 WITH SCORE 1030032.455
AT ITER 1555 NEW BEST:: SOT 3162542 SOS 1382365 HAS SOPS 1295672 HAS SOUS 1064882 HAS SOUPS 1026789 WITH SCORE 1028171.365
AT ITER 1558 NEW BEST:: SOT 3161995 SOS 1381727 HAS SOPS 1295034 HAS SOUS 1064244 HAS SOUPS 1026151 WITH SCORE 1027532.727
AT ITER 1561 NEW BEST:: SOT 3161582 SOS 1381314 HAS SOPS 1294621 HAS SOUS 1064103 HAS SOUPS 1026010 WITH SCORE 1027391.314
AT ITER 1563 NEW BEST:: SOT 3156155 SOS 1371981 HAS SOPS 1289788 HAS SOUS 1060184 HAS SOUPS 1023336 WITH SCORE 1024707.981
AT ITER 1577 NEW BEST:: SOT 3154707 SOS 1370004 HAS SOPS 1285308 HAS SOUS 1057903 HAS SOUPS 1020075 WITH SCORE 1021445.004
AT ITER 1579 NEW BEST:: SOT 3154707 SOS 1369344 HAS SOPS 1284648 HAS SOUS 1057573 HAS SOUPS 1019745 WITH SCORE 1021114.344
AT ITER 1581 NEW BEST:: SOT 3154706 SOS 1367639 HAS SOPS 1282943 HAS SOUS 1056471 HAS SOUPS 1018643 WITH SCORE 1020010.639
AT ITER 1588 NEW BEST:: SOT 3154705 SOS 1367638 HAS SOPS 1282942 HAS SOUS 1056470 HAS SOUPS 1018642 WITH SCORE 1020009.638
AT ITER 1589 NEW BEST:: SOT 3153919 SOS 1366852 HAS SOPS 1282156 HAS SOUS 1055897 HAS SOUPS 1018069 WITH SCORE 1019435.852
AT ITER 1594 NEW BEST:: SOT 3153919 SOS 1365491 HAS SOPS 1281407 HAS SOUS 1055148 HAS SOUPS 1017932 WITH SCORE 1019297.491
AT ITER 1595 NEW BEST:: SOT 3153919 SOS 1365677 HAS SOPS 1281382 HAS SOUS 1055334 HAS SOUPS 1017907 WITH SCORE 1019272.677
AT ITER 1601 NEW BEST:: SOT 3153754 SOS 1365512 HAS SOPS 1281217 HAS SOUS 1055169 HAS SOUPS 1017742 WITH SCORE 1019107.512
AT ITER 1604 NEW BEST:: SOT 3152329 SOS 1363606 HAS SOPS 1279311 HAS SOUS 1054213 HAS SOUPS 1016786 WITH SCORE 1018149.606
AT ITER 1606 NEW BEST:: SOT 3150841 SOS 1362118 HAS SOPS 1276852 HAS SOUS 1052761 HAS SOUPS 1014844 WITH SCORE 1016206.118
AT ITER 1607 NEW BEST:: SOT 3150840 SOS 1361421 HAS SOPS 1276386 HAS SOUS 1052296 HAS SOUPS 1014610 WITH SCORE 1015971.421
AT ITER 1608 NEW BEST:: SOT 3150171 SOS 1360752 HAS SOPS 1275717 HAS SOUS 1051961 HAS SOUPS 1014275 WITH SCORE 1015635.752
AT ITER 1624 NEW BEST:: SOT 3150111 SOS 1360692 HAS SOPS 1275657 HAS SOUS 1051853 HAS SOUPS 1014167 WITH SCORE 1015527.692
AT ITER 1626 NEW BEST:: SOT 3150314 SOS 1360871 HAS SOPS 1275548 HAS SOUS 1052032 HAS SOUPS 1014058 WITH SCORE 1015418.871
AT ITER 1635 NEW BEST:: SOT 3150314 SOS 1358877 HAS SOPS 1273554 HAS SOUS 1051461 HAS SOUPS 1013487 WITH SCORE 1014845.877
AT ITER 1636 NEW BEST:: SOT 3150314 SOS 1358876 HAS SOPS 1273553 HAS SOUS 1051460 HAS SOUPS 1013486 WITH SCORE 1014844.876
AT ITER 1639 NEW BEST:: SOT 3150369 SOS 1356969 HAS SOPS 1271646 HAS SOUS 1051148 HAS SOUPS 1013174 WITH SCORE 1014530.969
AT ITER 1641 NEW BEST:: SOT 3148237 SOS 1354493 HAS SOPS 1269170 HAS SOUS 1049784 HAS SOUPS 1011810 WITH SCORE 1013164.493
AT ITER 1645 NEW BEST:: SOT 3146309 SOS 1352335 HAS SOPS 1267012 HAS SOUS 1048338 HAS SOUPS 1010364 WITH SCORE 1011716.335
AT ITER 1647 NEW BEST:: SOT 3146132 SOS 1352158 HAS SOPS 1266835 HAS SOUS 1048161 HAS SOUPS 1010187 WITH SCORE 1011539.158
AT ITER 1649 NEW BEST:: SOT 3145348 SOS 1350242 HAS SOPS 1264919 HAS SOUS 1046383 HAS SOUPS 1008409 WITH SCORE 1009759.242
AT ITER 1650 NEW BEST:: SOT 3142978 SOS 1348614 HAS SOPS 1263291 HAS SOUS 1045940 HAS SOUPS 1007966 WITH SCORE 1009314.614
AT ITER 1651 NEW BEST:: SOT 3143092 SOS 1347511 HAS SOPS 1262188 HAS SOUS 1045590 HAS SOUPS 1007616 WITH SCORE 1008963.511
AT ITER 1653 NEW BEST:: SOT 3140608 SOS 1345150 HAS SOPS 1259827 HAS SOUS 1044555 HAS SOUPS 1006581 WITH SCORE 1007926.15
AT ITER 1654 NEW BEST:: SOT 3139654 SOS 1344823 HAS SOPS 1259500 HAS SOUS 1043628 HAS SOUPS 1005654 WITH SCORE 1006998.823
AT ITER 1658 NEW BEST:: SOT 3139618 SOS 1344787 HAS SOPS 1259464 HAS SOUS 1043592 HAS SOUPS 1005618 WITH SCORE 1006962.787
AT ITER 1659 NEW BEST:: SOT 3139618 SOS 1344830 HAS SOPS 1259507 HAS SOUS 1043379 HAS SOUPS 1005405 WITH SCORE 1006749.83
AT ITER 1660 NEW BEST:: SOT 3139524 SOS 1344830 HAS SOPS 1259413 HAS SOUS 1043379 HAS SOUPS 1005311 WITH SCORE 1006655.83
AT ITER 1667 NEW BEST:: SOT 3136254 SOS 1342644 HAS SOPS 1257227 HAS SOUS 1042396 HAS SOUPS 1004328 WITH SCORE 1005670.644
AT ITER 1668 NEW BEST:: SOT 3136254 SOS 1342630 HAS SOPS 1257213 HAS SOUS 1042396 HAS SOUPS 1004328 WITH SCORE 1005670.63
AT ITER 1670 NEW BEST:: SOT 3135902 SOS 1341886 HAS SOPS 1256861 HAS SOUS 1042126 HAS SOUPS 1003976 WITH SCORE 1005317.886
AT ITER 1675 NEW BEST:: SOT 3134091 SOS 1340075 HAS SOPS 1255050 HAS SOUS 1040315 HAS SOUPS 1002165 WITH SCORE 1003505.075
AT ITER 1693 NEW BEST:: SOT 3133290 SOS 1339274 HAS SOPS 1254249 HAS SOUS 1039514 HAS SOUPS 1001364 WITH SCORE 1002703.274
AT ITER 1695 NEW BEST:: SOT 3133290 SOS 1339273 HAS SOPS 1254248 HAS SOUS 1039513 HAS SOUPS 1001363 WITH SCORE 1002702.273
AT ITER 1696 NEW BEST:: SOT 3132873 SOS 1338021 HAS SOPS 1252996 HAS SOUS 1038678 HAS SOUPS 1000528 WITH SCORE 1001866.021
AT ITER 1700 NEW BEST:: SOT 3132209 SOS 1336991 HAS SOPS 1251799 HAS SOUS 1038265 HAS SOUPS 1000115 WITH SCORE 1001451.991
AT ITER 1706 NEW BEST:: SOT 3132319 SOS 1337101 HAS SOPS 1251909 HAS SOUS 1037888 HAS SOUPS 999738 WITH SCORE 1001075.101
AT ITER 1716 NEW BEST:: SOT 3132254 SOS 1336971 HAS SOPS 1251779 HAS SOUS 1037758 HAS SOUPS 999608 WITH SCORE 1000944.971
AT ITER 1719 NEW BEST:: SOT 3132052 SOS 1336769 HAS SOPS 1251577 HAS SOUS 1037556 HAS SOUPS 999406 WITH SCORE 1000742.769
AT ITER 1720 NEW BEST:: SOT 3131369 SOS 1335653 HAS SOPS 1250390 HAS SOUS 1036669 HAS SOUPS 998471 WITH SCORE 999806.653
AT ITER 1726 NEW BEST:: SOT 3130197 SOS 1335322 HAS SOPS 1249218 HAS SOUS 1035930 HAS SOUPS 997299 WITH SCORE 998634.322
AT ITER 1728 NEW BEST:: SOT 3130034 SOS 1335159 HAS SOPS 1249216 HAS SOUS 1035928 HAS SOUPS 997297 WITH SCORE 998632.159
AT ITER 1731 NEW BEST:: SOT 3126714 SOS 1329343 HAS SOPS 1243400 HAS SOUS 1032608 HAS SOUPS 993977 WITH SCORE 995306.343
AT ITER 1733 NEW BEST:: SOT 3126532 SOS 1329161 HAS SOPS 1243400 HAS SOUS 1032608 HAS SOUPS 993977 WITH SCORE 995306.161
AT ITER 1736 NEW BEST:: SOT 3126532 SOS 1329066 HAS SOPS 1243305 HAS SOUS 1032281 HAS SOUPS 993650 WITH SCORE 994979.066
AT ITER 1744 NEW BEST:: SOT 3126532 SOS 1329460 HAS SOPS 1242911 HAS SOUS 1032281 HAS SOUPS 993453 WITH SCORE 994782.46
AT ITER 1757 NEW BEST:: SOT 3125677 SOS 1328605 HAS SOPS 1242055 HAS SOUS 1031426 HAS SOUPS 992597 WITH SCORE 993925.605
AT ITER 1758 NEW BEST:: SOT 3125095 SOS 1327733 HAS SOPS 1240841 HAS SOUS 1029719 HAS SOUPS 990548 WITH SCORE 991875.733
AT ITER 1761 NEW BEST:: SOT 3124576 SOS 1327214 HAS SOPS 1240322 HAS SOUS 1029373 HAS SOUPS 990202 WITH SCORE 991529.214
AT ITER 1762 NEW BEST:: SOT 3123053 SOS 1324761 HAS SOPS 1237869 HAS SOUS 1027850 HAS SOUPS 988679 WITH SCORE 990003.761
AT ITER 1769 NEW BEST:: SOT 3122906 SOS 1324467 HAS SOPS 1237575 HAS SOUS 1027556 HAS SOUPS 988385 WITH SCORE 989709.467
AT ITER 1770 NEW BEST:: SOT 3121892 SOS 1323661 HAS SOPS 1235075 HAS SOUS 1026507 HAS SOUPS 986628 WITH SCORE 987951.661
AT ITER 1776 NEW BEST:: SOT 3121348 SOS 1323179 HAS SOPS 1234593 HAS SOUS 1026025 HAS SOUPS 986146 WITH SCORE 987469.179
AT ITER 1779 NEW BEST:: SOT 3121184 SOS 1323146 HAS SOPS 1234429 HAS SOUS 1025992 HAS SOUPS 985982 WITH SCORE 987305.146
AT ITER 1780 NEW BEST:: SOT 3122131 SOS 1326751 HAS SOPS 1234115 HAS SOUS 1026895 HAS SOUPS 985668 WITH SCORE 986994.751
AT ITER 1785 NEW BEST:: SOT 3119937 SOS 1324629 HAS SOPS 1231993 HAS SOUS 1025581 HAS SOUPS 984354 WITH SCORE 985678.629
AT ITER 1786 NEW BEST:: SOT 3119424 SOS 1324549 HAS SOPS 1231913 HAS SOUS 1025501 HAS SOUPS 984274 WITH SCORE 985598.549
AT ITER 1787 NEW BEST:: SOT 3119424 SOS 1324477 HAS SOPS 1231769 HAS SOUS 1025501 HAS SOUPS 984202 WITH SCORE 985526.477
AT ITER 1791 NEW BEST:: SOT 3118559 SOS 1321849 HAS SOPS 1229455 HAS SOUS 1023398 HAS SOUPS 982099 WITH SCORE 983420.849
AT ITER 1792 NEW BEST:: SOT 3118461 SOS 1321540 HAS SOPS 1229117 HAS SOUS 1023201 HAS SOUPS 981881 WITH SCORE 983202.54
AT ITER 1794 NEW BEST:: SOT 3118516 SOS 1321595 HAS SOPS 1228945 HAS SOUS 1023207 HAS SOUPS 981709 WITH SCORE 983030.595
AT ITER 1797 NEW BEST:: SOT 3118202 SOS 1320653 HAS SOPS 1228003 HAS SOUS 1022579 HAS SOUPS 981081 WITH SCORE 982401.653
AT ITER 1800 NEW BEST:: SOT 3117568 SOS 1321188 HAS SOPS 1228538 HAS SOUS 1022522 HAS SOUPS 981024 WITH SCORE 982345.188
AT ITER 1804 NEW BEST:: SOT 3117726 SOS 1321346 HAS SOPS 1228696 HAS SOUS 1022519 HAS SOUPS 981021 WITH SCORE 982342.346
AT ITER 1813 NEW BEST:: SOT 3117774 SOS 1321394 HAS SOPS 1228744 HAS SOUS 1022322 HAS SOUPS 980824 WITH SCORE 982145.394
AT ITER 1819 NEW BEST:: SOT 3117054 SOS 1320674 HAS SOPS 1228024 HAS SOUS 1021929 HAS SOUPS 980431 WITH SCORE 981751.674
AT ITER 1820 NEW BEST:: SOT 3117054 SOS 1320480 HAS SOPS 1227830 HAS SOUS 1021928 HAS SOUPS 980430 WITH SCORE 981750.48
AT ITER 1822 NEW BEST:: SOT 3117054 SOS 1320627 HAS SOPS 1227644 HAS SOUS 1022075 HAS SOUPS 980244 WITH SCORE 981564.627
AT ITER 1823 NEW BEST:: SOT 3115769 SOS 1318753 HAS SOPS 1225770 HAS SOUS 1021339 HAS SOUPS 979508 WITH SCORE 980826.753
AT ITER 1825 NEW BEST:: SOT 3115850 SOS 1318438 HAS SOPS 1225455 HAS SOUS 1021333 HAS SOUPS 979502 WITH SCORE 980820.438
AT ITER 1839 NEW BEST:: SOT 3115767 SOS 1317077 HAS SOPS 1224094 HAS SOUS 1020833 HAS SOUPS 979002 WITH SCORE 980319.077
AT ITER 1855 NEW BEST:: SOT 3114234 SOS 1317329 HAS SOPS 1224346 HAS SOUS 1020725 HAS SOUPS 978894 WITH SCORE 980211.329
AT ITER 1858 NEW BEST:: SOT 3114234 SOS 1317198 HAS SOPS 1224632 HAS SOUS 1020725 HAS SOUPS 978894 WITH SCORE 980211.198
AT ITER 1862 NEW BEST:: SOT 3110995 SOS 1314274 HAS SOPS 1221708 HAS SOUS 1019273 HAS SOUPS 977442 WITH SCORE 978756.274
AT ITER 1865 NEW BEST:: SOT 3110695 SOS 1313974 HAS SOPS 1221408 HAS SOUS 1018973 HAS SOUPS 977142 WITH SCORE 978455.974
AT ITER 1870 NEW BEST:: SOT 3110441 SOS 1311494 HAS SOPS 1219416 HAS SOUS 1018020 HAS SOUPS 976677 WITH SCORE 977988.494
AT ITER 1886 NEW BEST:: SOT 3109033 SOS 1309750 HAS SOPS 1218293 HAS SOUS 1017037 HAS SOUPS 976315 WITH SCORE 977624.75
AT ITER 1888 NEW BEST:: SOT 3108800 SOS 1309750 HAS SOPS 1218293 HAS SOUS 1016804 HAS SOUPS 976082 WITH SCORE 977391.75
AT ITER 1889 NEW BEST:: SOT 3108605 SOS 1309554 HAS SOPS 1218097 HAS SOUS 1016608 HAS SOUPS 975886 WITH SCORE 977195.554
AT ITER 1912 NEW BEST:: SOT 3108768 SOS 1309680 HAS SOPS 1218223 HAS SOUS 1016550 HAS SOUPS 975828 WITH SCORE 977137.68
AT ITER 1916 NEW BEST:: SOT 3108768 SOS 1308882 HAS SOPS 1217425 HAS SOUS 1016212 HAS SOUPS 975490 WITH SCORE 976798.882
AT ITER 1917 NEW BEST:: SOT 3104791 SOS 1304905 HAS SOPS 1213448 HAS SOUS 1014375 HAS SOUPS 973653 WITH SCORE 974957.905
AT ITER 1919 NEW BEST:: SOT 3101032 SOS 1301146 HAS SOPS 1209689 HAS SOUS 1013004 HAS SOUPS 972282 WITH SCORE 973583.146
AT ITER 1922 NEW BEST:: SOT 3098704 SOS 1298880 HAS SOPS 1207422 HAS SOUS 1011257 HAS SOUPS 970534 WITH SCORE 971832.88
AT ITER 1924 NEW BEST:: SOT 3098592 SOS 1298780 HAS SOPS 1207322 HAS SOUS 1011209 HAS SOUPS 970486 WITH SCORE 971784.78
AT ITER 1927 NEW BEST:: SOT 3098334 SOS 1298308 HAS SOPS 1206850 HAS SOUS 1010995 HAS SOUPS 970272 WITH SCORE 971570.308
AT ITER 1930 NEW BEST:: SOT 3098269 SOS 1298243 HAS SOPS 1206785 HAS SOUS 1010995 HAS SOUPS 970272 WITH SCORE 971570.243
AT ITER 1934 NEW BEST:: SOT 3097858 SOS 1295381 HAS SOPS 1203820 HAS SOUS 1008945 HAS SOUPS 968119 WITH SCORE 969414.381
AT ITER 1936 NEW BEST:: SOT 3097895 SOS 1295362 HAS SOPS 1203801 HAS SOUS 1008865 HAS SOUPS 968039 WITH SCORE 969334.362
AT ITER 1939 NEW BEST:: SOT 3097843 SOS 1297351 HAS SOPS 1203272 HAS SOUS 1009295 HAS SOUPS 967510 WITH SCORE 968807.351
AT ITER 1944 NEW BEST:: SOT 3097554 SOS 1297350 HAS SOPS 1203271 HAS SOUS 1009294 HAS SOUPS 967509 WITH SCORE 968806.35
AT ITER 1946 NEW BEST:: SOT 3098779 SOS 1296836 HAS SOPS 1202757 HAS SOUS 1008912 HAS SOUPS 967127 WITH SCORE 968423.836
AT ITER 1947 NEW BEST:: SOT 3096007 SOS 1293126 HAS SOPS 1199047 HAS SOUS 1006183 HAS SOUPS 964398 WITH SCORE 965691.126
AT ITER 1950 NEW BEST:: SOT 3095949 SOS 1293068 HAS SOPS 1198989 HAS SOUS 1005967 HAS SOUPS 964182 WITH SCORE 965475.068
AT ITER 1952 NEW BEST:: SOT 3095949 SOS 1293067 HAS SOPS 1198988 HAS SOUS 1005966 HAS SOUPS 964181 WITH SCORE 965474.067
AT ITER 1961 NEW BEST:: SOT 3096915 SOS 1295834 HAS SOPS 1198727 HAS SOUS 1006392 HAS SOUPS 963730 WITH SCORE 965025.834
AT ITER 1963 NEW BEST:: SOT 3096726 SOS 1295645 HAS SOPS 1198038 HAS SOUS 1005974 HAS SOUPS 963041 WITH SCORE 964336.645
AT ITER 1972 NEW BEST:: SOT 3096048 SOS 1294894 HAS SOPS 1197259 HAS SOUS 1005223 HAS SOUPS 962262 WITH SCORE 963556.894
AT ITER 1990 NEW BEST:: SOT 3093557 SOS 1294936 HAS SOPS 1195980 HAS SOUS 1003254 HAS SOUPS 959911 WITH SCORE 961205.936
AT ITER 1992 NEW BEST:: SOT 3093557 SOS 1293949 HAS SOPS 1194993 HAS SOUS 1002798 HAS SOUPS 959455 WITH SCORE 960748.949
AT ITER 1997 NEW BEST:: SOT 3093603 SOS 1294112 HAS SOPS 1194450 HAS SOUS 1002255 HAS SOUPS 958912 WITH SCORE 960206.112
AT ITER 2002 NEW BEST:: SOT 3091739 SOS 1292248 HAS SOPS 1192586 HAS SOUS 1001041 HAS SOUPS 957698 WITH SCORE 958990.248
AT ITER 2008 NEW BEST:: SOT 3091483 SOS 1291736 HAS SOPS 1192074 HAS SOUS 1000529 HAS SOUPS 957186 WITH SCORE 958477.736
AT ITER 2009 NEW BEST:: SOT 3091483 SOS 1291534 HAS SOPS 1191872 HAS SOUS 1000428 HAS SOUPS 957085 WITH SCORE 958376.534
AT ITER 2018 NEW BEST:: SOT 3091483 SOS 1291394 HAS SOPS 1191732 HAS SOUS 1000288 HAS SOUPS 956945 WITH SCORE 958236.394
AT ITER 2024 NEW BEST:: SOT 3091483 SOS 1291056 HAS SOPS 1191394 HAS SOUS 999898 HAS SOUPS 956555 WITH SCORE 957846.056
AT ITER 2025 NEW BEST:: SOT 3091813 SOS 1292424 HAS SOPS 1190163 HAS SOUS 999807 HAS SOUPS 955432 WITH SCORE 956724.424
AT ITER 2031 NEW BEST:: SOT 3091332 SOS 1289507 HAS SOPS 1187246 HAS SOUS 997919 HAS SOUPS 953544 WITH SCORE 954833.507
AT ITER 2039 NEW BEST:: SOT 3089562 SOS 1287737 HAS SOPS 1185476 HAS SOUS 997031 HAS SOUPS 952656 WITH SCORE 953943.737
AT ITER 2040 NEW BEST:: SOT 3089562 SOS 1285931 HAS SOPS 1183670 HAS SOUS 996160 HAS SOUPS 951785 WITH SCORE 953070.931
AT ITER 2045 NEW BEST:: SOT 3089813 SOS 1284233 HAS SOPS 1181195 HAS SOUS 995163 HAS SOUPS 950011 WITH SCORE 951295.233
AT ITER 2050 NEW BEST:: SOT 3089813 SOS 1284208 HAS SOPS 1181195 HAS SOUS 995163 HAS SOUPS 950011 WITH SCORE 951295.208
AT ITER 2052 NEW BEST:: SOT 3089089 SOS 1283093 HAS SOPS 1181383 HAS SOUS 994619 HAS SOUPS 949467 WITH SCORE 950750.093
AT ITER 2055 NEW BEST:: SOT 3089270 SOS 1283749 HAS SOPS 1181564 HAS SOUS 994596 HAS SOUPS 949194 WITH SCORE 950477.749
AT ITER 2058 NEW BEST:: SOT 3089210 SOS 1283052 HAS SOPS 1180867 HAS SOUS 993899 HAS SOUPS 948497 WITH SCORE 949780.052
AT ITER 2067 NEW BEST:: SOT 3089210 SOS 1283051 HAS SOPS 1180866 HAS SOUS 993898 HAS SOUPS 948496 WITH SCORE 949779.051
AT ITER 2074 NEW BEST:: SOT 3086968 SOS 1280426 HAS SOPS 1178241 HAS SOUS 991656 HAS SOUPS 946254 WITH SCORE 947534.426
AT ITER 2075 NEW BEST:: SOT 3086925 SOS 1278219 HAS SOPS 1176034 HAS SOUS 990182 HAS SOUPS 944780 WITH SCORE 946058.219
AT ITER 2088 NEW BEST:: SOT 3087191 SOS 1277953 HAS SOPS 1175768 HAS SOUS 989916 HAS SOUPS 944514 WITH SCORE 945791.953
AT ITER 2092 NEW BEST:: SOT 3087191 SOS 1277885 HAS SOPS 1175700 HAS SOUS 989848 HAS SOUPS 944446 WITH SCORE 945723.885
AT ITER 2096 NEW BEST:: SOT 3087191 SOS 1278773 HAS SOPS 1175319 HAS SOUS 989848 HAS SOUPS 944065 WITH SCORE 945343.773
AT ITER 2104 NEW BEST:: SOT 3087317 SOS 1278305 HAS SOPS 1174851 HAS SOUS 989515 HAS SOUPS 943732 WITH SCORE 945010.305
AT ITER 2105 NEW BEST:: SOT 3087147 SOS 1278135 HAS SOPS 1174681 HAS SOUS 989430 HAS SOUPS 943647 WITH SCORE 944925.135
AT ITER 2110 NEW BEST:: SOT 3087147 SOS 1277283 HAS SOPS 1173829 HAS SOUS 989118 HAS SOUPS 943335 WITH SCORE 944612.283
AT ITER 2114 NEW BEST:: SOT 3086899 SOS 1276663 HAS SOPS 1173209 HAS SOUS 988994 HAS SOUPS 943211 WITH SCORE 944487.663
AT ITER 2118 NEW BEST:: SOT 3086719 SOS 1276303 HAS SOPS 1172849 HAS SOUS 988648 HAS SOUPS 942865 WITH SCORE 944141.303
AT ITER 2124 NEW BEST:: SOT 3086719 SOS 1275715 HAS SOPS 1172261 HAS SOUS 988436 HAS SOUPS 942653 WITH SCORE 943928.715
AT ITER 2125 NEW BEST:: SOT 3085508 SOS 1274504 HAS SOPS 1171050 HAS SOUS 988255 HAS SOUPS 942472 WITH SCORE 943746.504
AT ITER 2130 NEW BEST:: SOT 3084120 SOS 1272558 HAS SOPS 1169662 HAS SOUS 987503 HAS SOUPS 942008 WITH SCORE 943280.558
AT ITER 2135 NEW BEST:: SOT 3083296 SOS 1271855 HAS SOPS 1168959 HAS SOUS 986800 HAS SOUPS 941305 WITH SCORE 942576.855
AT ITER 2147 NEW BEST:: SOT 3083296 SOS 1271793 HAS SOPS 1168897 HAS SOUS 986636 HAS SOUPS 941141 WITH SCORE 942412.793
AT ITER 2159 NEW BEST:: SOT 3082257 SOS 1270109 HAS SOPS 1167213 HAS SOUS 986206 HAS SOUPS 940711 WITH SCORE 941981.109
AT ITER 2160 NEW BEST:: SOT 3081090 SOS 1268149 HAS SOPS 1165253 HAS SOUS 985024 HAS SOUPS 939529 WITH SCORE 940797.149
AT ITER 2171 NEW BEST:: SOT 3080852 SOS 1268292 HAS SOPS 1165015 HAS SOUS 985015 HAS SOUPS 939291 WITH SCORE 940559.292
AT ITER 2173 NEW BEST:: SOT 3081078 SOS 1268106 HAS SOPS 1164829 HAS SOUS 984819 HAS SOUPS 939095 WITH SCORE 940363.106
AT ITER 2174 NEW BEST:: SOT 3080923 SOS 1267817 HAS SOPS 1164540 HAS SOUS 984664 HAS SOUPS 938940 WITH SCORE 940207.817
AT ITER 2179 NEW BEST:: SOT 3080860 SOS 1270066 HAS SOPS 1163919 HAS SOUS 984220 HAS SOUPS 937598 WITH SCORE 938868.066
AT ITER 2185 NEW BEST:: SOT 3080560 SOS 1269706 HAS SOPS 1163559 HAS SOUS 984030 HAS SOUPS 937408 WITH SCORE 938677.706
AT ITER 2187 NEW BEST:: SOT 3080560 SOS 1269337 HAS SOPS 1163190 HAS SOUS 983809 HAS SOUPS 937187 WITH SCORE 938456.337
AT ITER 2189 NEW BEST:: SOT 3077210 SOS 1265217 HAS SOPS 1159070 HAS SOUS 981123 HAS SOUPS 934501 WITH SCORE 935766.217
AT ITER 2194 NEW BEST:: SOT 3077164 SOS 1265194 HAS SOPS 1159047 HAS SOUS 981100 HAS SOUPS 934478 WITH SCORE 935743.194
AT ITER 2196 NEW BEST:: SOT 3076976 SOS 1265006 HAS SOPS 1158859 HAS SOUS 981100 HAS SOUPS 934478 WITH SCORE 935743.006
AT ITER 2198 NEW BEST:: SOT 3076982 SOS 1264266 HAS SOPS 1158119 HAS SOUS 980354 HAS SOUPS 933732 WITH SCORE 934996.266
AT ITER 2200 NEW BEST:: SOT 3078560 SOS 1264260 HAS SOPS 1158113 HAS SOUS 979868 HAS SOUPS 933246 WITH SCORE 934510.26
AT ITER 2202 NEW BEST:: SOT 3078560 SOS 1264158 HAS SOPS 1158011 HAS SOUS 979766 HAS SOUPS 933144 WITH SCORE 934408.158
AT ITER 2208 NEW BEST:: SOT 3078523 SOS 1264010 HAS SOPS 1157863 HAS SOUS 979655 HAS SOUPS 933033 WITH SCORE 934297.01
AT ITER 2209 NEW BEST:: SOT 3078020 SOS 1263845 HAS SOPS 1157698 HAS SOUS 979490 HAS SOUPS 932868 WITH SCORE 934131.845
AT ITER 2214 NEW BEST:: SOT 3077964 SOS 1263491 HAS SOPS 1157344 HAS SOUS 979136 HAS SOUPS 932514 WITH SCORE 933777.491
AT ITER 2223 NEW BEST:: SOT 3077450 SOS 1262977 HAS SOPS 1156830 HAS SOUS 978622 HAS SOUPS 932000 WITH SCORE 933262.977
AT ITER 2242 NEW BEST:: SOT 3077104 SOS 1262285 HAS SOPS 1156138 HAS SOUS 978276 HAS SOUPS 931654 WITH SCORE 932916.285
AT ITER 2247 NEW BEST:: SOT 3076916 SOS 1262191 HAS SOPS 1156044 HAS SOUS 978182 HAS SOUPS 931560 WITH SCORE 932822.191
AT ITER 2253 NEW BEST:: SOT 3076836 SOS 1261429 HAS SOPS 1155282 HAS SOUS 977689 HAS SOUPS 931067 WITH SCORE 932328.429
AT ITER 2263 NEW BEST:: SOT 3068289 SOS 1464687 HAS SOPS 1358540 HAS SOUS 971712 HAS SOUPS 925090 WITH SCORE 926554.687
AT ITER 2264 NEW BEST:: SOT 3066471 SOS 1461861 HAS SOPS 1355714 HAS SOUS 970098 HAS SOUPS 923476 WITH SCORE 924937.861
AT ITER 2269 NEW BEST:: SOT 3066471 SOS 1461445 HAS SOPS 1355713 HAS SOUS 970097 HAS SOUPS 923475 WITH SCORE 924936.445
AT ITER 2277 NEW BEST:: SOT 3066051 SOS 1461025 HAS SOPS 1355293 HAS SOUS 968944 HAS SOUPS 922322 WITH SCORE 923783.025
AT ITER 2278 NEW BEST:: SOT 3066051 SOS 1461103 HAS SOPS 1355215 HAS SOUS 968905 HAS SOUPS 922244 WITH SCORE 923705.103
AT ITER 2282 NEW BEST:: SOT 3064802 SOS 1459590 HAS SOPS 1353672 HAS SOUS 968283 HAS SOUPS 921593 WITH SCORE 923052.59
AT ITER 2284 NEW BEST:: SOT 3062970 SOS 1456482 HAS SOPS 1351840 HAS SOUS 966770 HAS SOUPS 920399 WITH SCORE 921855.482
AT ITER 2293 NEW BEST:: SOT 3062970 SOS 1456392 HAS SOPS 1351705 HAS SOUS 966725 HAS SOUPS 920309 WITH SCORE 921765.392
AT ITER 2296 NEW BEST:: SOT 3062966 SOS 1456388 HAS SOPS 1351699 HAS SOUS 966725 HAS SOUPS 920307 WITH SCORE 921763.388
AT ITER 2299 NEW BEST:: SOT 3062963 SOS 1457673 HAS SOPS 1352984 HAS SOUS 966722 HAS SOUPS 920304 WITH SCORE 921761.673
AT ITER 2302 NEW BEST:: SOT 3062946 SOS 1457639 HAS SOPS 1352950 HAS SOUS 966688 HAS SOUPS 920270 WITH SCORE 921727.639
AT ITER 2303 NEW BEST:: SOT 3062131 SOS 1455362 HAS SOPS 1350673 HAS SOUS 964675 HAS SOUPS 918257 WITH SCORE 919712.362
AT ITER 2304 NEW BEST:: SOT 3061727 SOS 1454958 HAS SOPS 1350269 HAS SOUS 964674 HAS SOUPS 918256 WITH SCORE 919710.958
AT ITER 2305 NEW BEST:: SOT 3061727 SOS 1454411 HAS SOPS 1349722 HAS SOUS 964600 HAS SOUPS 918182 WITH SCORE 919636.411
AT ITER 2307 NEW BEST:: SOT 3061495 SOS 1454179 HAS SOPS 1349370 HAS SOUS 964355 HAS SOUPS 917830 WITH SCORE 919284.179
AT ITER 2313 NEW BEST:: SOT 3061044 SOS 1454066 HAS SOPS 1347771 HAS SOUS 963690 HAS SOUPS 916231 WITH SCORE 917685.066
AT ITER 2323 NEW BEST:: SOT 3060768 SOS 1453572 HAS SOPS 1347277 HAS SOUS 962844 HAS SOUPS 915385 WITH SCORE 916838.572
AT ITER 2336 NEW BEST:: SOT 3060673 SOS 1451842 HAS SOPS 1345547 HAS SOUS 961944 HAS SOUPS 914485 WITH SCORE 915936.842
AT ITER 2338 NEW BEST:: SOT 3060796 SOS 1451540 HAS SOPS 1345211 HAS SOUS 961608 HAS SOUPS 914149 WITH SCORE 915600.54
AT ITER 2341 NEW BEST:: SOT 3060576 SOS 1451116 HAS SOPS 1344787 HAS SOUS 961278 HAS SOUPS 913819 WITH SCORE 915270.116
AT ITER 2346 NEW BEST:: SOT 3060069 SOS 1450640 HAS SOPS 1344311 HAS SOUS 960799 HAS SOUPS 913340 WITH SCORE 914790.64
AT ITER 2348 NEW BEST:: SOT 3060041 SOS 1450640 HAS SOPS 1344283 HAS SOUS 960771 HAS SOUPS 913312 WITH SCORE 914762.64
AT ITER 2357 NEW BEST:: SOT 3059593 SOS 1449841 HAS SOPS 1343484 HAS SOUS 959972 HAS SOUPS 912513 WITH SCORE 913962.841
AT ITER 2360 NEW BEST:: SOT 3058761 SOS 1449425 HAS SOPS 1343068 HAS SOUS 959556 HAS SOUPS 912097 WITH SCORE 913546.425
AT ITER 2365 NEW BEST:: SOT 3058189 SOS 1446425 HAS SOPS 1340068 HAS SOUS 958884 HAS SOUPS 911425 WITH SCORE 912871.425
AT ITER 2373 NEW BEST:: SOT 3058045 SOS 1446245 HAS SOPS 1339888 HAS SOUS 958776 HAS SOUPS 911317 WITH SCORE 912763.245
AT ITER 2376 NEW BEST:: SOT 3058045 SOS 1446123 HAS SOPS 1339766 HAS SOUS 958715 HAS SOUPS 911256 WITH SCORE 912702.123
AT ITER 2377 NEW BEST:: SOT 3058273 SOS 1445684 HAS SOPS 1339327 HAS SOUS 958368 HAS SOUPS 910909 WITH SCORE 912354.684
AT ITER 2378 NEW BEST:: SOT 3058273 SOS 1445872 HAS SOPS 1339515 HAS SOUS 958367 HAS SOUPS 910908 WITH SCORE 912353.872
AT ITER 2387 NEW BEST:: SOT 3058186 SOS 1445727 HAS SOPS 1339370 HAS SOUS 958280 HAS SOUPS 910821 WITH SCORE 912266.727
AT ITER 2394 NEW BEST:: SOT 3057242 SOS 1443996 HAS SOPS 1338583 HAS SOUS 957480 HAS SOUPS 910034 WITH SCORE 911477.996
AT ITER 2400 NEW BEST:: SOT 3057191 SOS 1443793 HAS SOPS 1338380 HAS SOUS 957353 HAS SOUPS 909907 WITH SCORE 911350.793
AT ITER 2406 NEW BEST:: SOT 3056828 SOS 1443098 HAS SOPS 1337685 HAS SOUS 957152 HAS SOUPS 909706 WITH SCORE 911149.098
AT ITER 2413 NEW BEST:: SOT 3056828 SOS 1442455 HAS SOPS 1337042 HAS SOUS 956830 HAS SOUPS 909384 WITH SCORE 910826.455
AT ITER 2416 NEW BEST:: SOT 3056151 SOS 1441827 HAS SOPS 1336502 HAS SOUS 956290 HAS SOUPS 908844 WITH SCORE 910285.827
AT ITER 2420 NEW BEST:: SOT 3056226 SOS 1441788 HAS SOPS 1336463 HAS SOUS 956251 HAS SOUPS 908805 WITH SCORE 910246.788
AT ITER 2427 NEW BEST:: SOT 3056080 SOS 1441383 HAS SOPS 1336058 HAS SOUS 956105 HAS SOUPS 908659 WITH SCORE 910100.383
AT ITER 2448 NEW BEST:: SOT 3055506 SOS 1441256 HAS SOPS 1335931 HAS SOUS 955978 HAS SOUPS 908532 WITH SCORE 909973.256
AT ITER 2462 NEW BEST:: SOT 3055733 SOS 1441524 HAS SOPS 1335675 HAS SOUS 956246 HAS SOUPS 908276 WITH SCORE 909717.524
AT ITER 2476 NEW BEST:: SOT 3052329 SOS 1437867 HAS SOPS 1332018 HAS SOUS 954145 HAS SOUPS 906175 WITH SCORE 907612.867
AT ITER 2477 NEW BEST:: SOT 3052215 SOS 1436087 HAS SOPS 1330238 HAS SOUS 954124 HAS SOUPS 906154 WITH SCORE 907590.087
AT ITER 2479 NEW BEST:: SOT 3052156 SOS 1436028 HAS SOPS 1330179 HAS SOUS 954065 HAS SOUPS 906095 WITH SCORE 907531.028
AT ITER 2481 NEW BEST:: SOT 3049680 SOS 1433217 HAS SOPS 1327245 HAS SOUS 952739 HAS SOUPS 904769 WITH SCORE 906202.217
AT ITER 2487 NEW BEST:: SOT 3049452 SOS 1432989 HAS SOPS 1327017 HAS SOUS 952283 HAS SOUPS 904313 WITH SCORE 905745.989
AT ITER 2488 NEW BEST:: SOT 3048592 SOS 1432604 HAS SOPS 1326085 HAS SOUS 951677 HAS SOUPS 903381 WITH SCORE 904813.604
AT ITER 2491 NEW BEST:: SOT 3048234 SOS 1433004 HAS SOPS 1325726 HAS SOUS 951645 HAS SOUPS 903022 WITH SCORE 904455.004
AT ITER 2492 NEW BEST:: SOT 3048232 SOS 1433000 HAS SOPS 1325722 HAS SOUS 951642 HAS SOUPS 903019 WITH SCORE 904452.0
AT ITER 2495 NEW BEST:: SOT 3048239 SOS 1432997 HAS SOPS 1325719 HAS SOUS 951632 HAS SOUPS 903009 WITH SCORE 904441.997
AT ITER 2500 NEW BEST:: SOT 3048061 SOS 1432536 HAS SOPS 1325258 HAS SOUS 951349 HAS SOUPS 902726 WITH SCORE 904158.536
AT ITER 2503 NEW BEST:: SOT 3047609 SOS 1432084 HAS SOPS 1324806 HAS SOUS 951123 HAS SOUPS 902500 WITH SCORE 903932.084
AT ITER 2505 NEW BEST:: SOT 3047263 SOS 1432028 HAS SOPS 1324750 HAS SOUS 950302 HAS SOUPS 901679 WITH SCORE 903111.028
AT ITER 2508 NEW BEST:: SOT 3046023 SOS 1430245 HAS SOPS 1322967 HAS SOUS 949204 HAS SOUPS 900581 WITH SCORE 902011.245
AT ITER 2510 NEW BEST:: SOT 3045080 SOS 1428936 HAS SOPS 1321658 HAS SOUS 948261 HAS SOUPS 899638 WITH SCORE 901066.936
AT ITER 2513 NEW BEST:: SOT 3045080 SOS 1427338 HAS SOPS 1320060 HAS SOUS 947547 HAS SOUPS 898924 WITH SCORE 900351.338
AT ITER 2516 NEW BEST:: SOT 3045006 SOS 1427116 HAS SOPS 1319986 HAS SOUS 947473 HAS SOUPS 898924 WITH SCORE 900351.116
AT ITER 2517 NEW BEST:: SOT 3044652 SOS 1427245 HAS SOPS 1320115 HAS SOUS 947119 HAS SOUPS 898570 WITH SCORE 899997.245
AT ITER 2519 NEW BEST:: SOT 3044647 SOS 1427240 HAS SOPS 1320110 HAS SOUS 947114 HAS SOUPS 898565 WITH SCORE 899992.24
AT ITER 2523 NEW BEST:: SOT 3044237 SOS 1424635 HAS SOPS 1317505 HAS SOUS 946436 HAS SOUPS 897887 WITH SCORE 899311.635
AT ITER 2524 NEW BEST:: SOT 3044144 SOS 1424542 HAS SOPS 1317412 HAS SOUS 946343 HAS SOUPS 897794 WITH SCORE 899218.542
AT ITER 2529 NEW BEST:: SOT 3044451 SOS 1423277 HAS SOPS 1316147 HAS SOUS 945713 HAS SOUPS 897164 WITH SCORE 898587.277
AT ITER 2542 NEW BEST:: SOT 3044451 SOS 1421685 HAS SOPS 1314555 HAS SOUS 945266 HAS SOUPS 896717 WITH SCORE 898138.685
AT ITER 2543 NEW BEST:: SOT 3044451 SOS 1421640 HAS SOPS 1314525 HAS SOUS 945236 HAS SOUPS 896702 WITH SCORE 898123.64
AT ITER 2555 NEW BEST:: SOT 3041402 SOS 1417581 HAS SOPS 1310466 HAS SOUS 943197 HAS SOUPS 894663 WITH SCORE 896080.581
AT ITER 2556 NEW BEST:: SOT 3041310 SOS 1417581 HAS SOPS 1310420 HAS SOUS 943197 HAS SOUPS 894617 WITH SCORE 896034.581
AT ITER 2559 NEW BEST:: SOT 3041310 SOS 1416958 HAS SOPS 1309797 HAS SOUS 943092 HAS SOUPS 894512 WITH SCORE 895928.958
AT ITER 2564 NEW BEST:: SOT 3041193 SOS 1416763 HAS SOPS 1309602 HAS SOUS 942975 HAS SOUPS 894395 WITH SCORE 895811.763
AT ITER 2565 NEW BEST:: SOT 3041088 SOS 1416635 HAS SOPS 1309474 HAS SOUS 942952 HAS SOUPS 894372 WITH SCORE 895788.635
AT ITER 2567 NEW BEST:: SOT 3041088 SOS 1416677 HAS SOPS 1309474 HAS SOUS 942952 HAS SOUPS 894351 WITH SCORE 895767.677
AT ITER 2570 NEW BEST:: SOT 3041088 SOS 1416677 HAS SOPS 1309474 HAS SOUS 942430 HAS SOUPS 893829 WITH SCORE 895245.677
AT ITER 2598 NEW BEST:: SOT 3040693 SOS 1416282 HAS SOPS 1309079 HAS SOUS 942035 HAS SOUPS 893434 WITH SCORE 894850.282
AT ITER 2599 NEW BEST:: SOT 3040232 SOS 1416098 HAS SOPS 1308617 HAS SOUS 941851 HAS SOUPS 892972 WITH SCORE 894388.098
AT ITER 2600 NEW BEST:: SOT 3040052 SOS 1415918 HAS SOPS 1307916 HAS SOUS 941200 HAS SOUPS 892271 WITH SCORE 893686.918
AT ITER 2601 NEW BEST:: SOT 3039221 SOS 1415087 HAS SOPS 1305684 HAS SOUS 938968 HAS SOUPS 890039 WITH SCORE 891454.087
AT ITER 2602 NEW BEST:: SOT 3039586 SOS 1416371 HAS SOPS 1305272 HAS SOUS 939074 HAS SOUPS 889625 WITH SCORE 891041.371
AT ITER 2605 NEW BEST:: SOT 3039037 SOS 1413448 HAS SOPS 1302349 HAS SOUS 937368 HAS SOUPS 887919 WITH SCORE 889332.448
AT ITER 2608 NEW BEST:: SOT 3038473 SOS 1412476 HAS SOPS 1301377 HAS SOUS 936396 HAS SOUPS 886947 WITH SCORE 888359.476
AT ITER 2610 NEW BEST:: SOT 3039558 SOS 1411959 HAS SOPS 1300860 HAS SOUS 936344 HAS SOUPS 886895 WITH SCORE 888306.959
AT ITER 2629 NEW BEST:: SOT 3039558 SOS 1410187 HAS SOPS 1299088 HAS SOUS 935372 HAS SOUPS 885923 WITH SCORE 887333.187
AT ITER 2636 NEW BEST:: SOT 3039124 SOS 1409259 HAS SOPS 1298160 HAS SOUS 934814 HAS SOUPS 885365 WITH SCORE 886774.259
AT ITER 2643 NEW BEST:: SOT 3039124 SOS 1409258 HAS SOPS 1298159 HAS SOUS 934452 HAS SOUPS 885003 WITH SCORE 886412.258
AT ITER 2644 NEW BEST:: SOT 3035572 SOS 1407181 HAS SOPS 1295853 HAS SOUS 933577 HAS SOUPS 883899 WITH SCORE 885306.181
AT ITER 2649 NEW BEST:: SOT 3035416 SOS 1406791 HAS SOPS 1295463 HAS SOUS 933421 HAS SOUPS 883743 WITH SCORE 885149.791
AT ITER 2653 NEW BEST:: SOT 3032445 SOS 1403820 HAS SOPS 1292492 HAS SOUS 930990 HAS SOUPS 881312 WITH SCORE 882715.82
AT ITER 2655 NEW BEST:: SOT 3033445 SOS 1404820 HAS SOPS 1293492 HAS SOUS 930892 HAS SOUPS 881214 WITH SCORE 882618.82
AT ITER 2662 NEW BEST:: SOT 3033046 SOS 1404155 HAS SOPS 1292827 HAS SOUS 930493 HAS SOUPS 880815 WITH SCORE 882219.155
AT ITER 2665 NEW BEST:: SOT 3033209 SOS 1403892 HAS SOPS 1292564 HAS SOUS 930255 HAS SOUPS 880577 WITH SCORE 881980.892
AT ITER 2671 NEW BEST:: SOT 3033703 SOS 1403934 HAS SOPS 1292367 HAS SOUS 930297 HAS SOUPS 880380 WITH SCORE 881783.934
AT ITER 2682 NEW BEST:: SOT 3033615 SOS 1403846 HAS SOPS 1292279 HAS SOUS 930297 HAS SOUPS 880380 WITH SCORE 881783.846
AT ITER 2687 NEW BEST:: SOT 3034376 SOS 1404406 HAS SOPS 1292083 HAS SOUS 930809 HAS SOUPS 880184 WITH SCORE 881588.406
AT ITER 2690 NEW BEST:: SOT 3033454 SOS 1403532 HAS SOPS 1291209 HAS SOUS 930215 HAS SOUPS 879590 WITH SCORE 880993.532
AT ITER 2696 NEW BEST:: SOT 3033423 SOS 1403501 HAS SOPS 1291116 HAS SOUS 930184 HAS SOUPS 879528 WITH SCORE 880931.501
AT ITER 2706 NEW BEST:: SOT 3032815 SOS 1401589 HAS SOPS 1289204 HAS SOUS 928892 HAS SOUPS 878236 WITH SCORE 879637.589
AT ITER 2708 NEW BEST:: SOT 3030718 SOS 1398232 HAS SOPS 1285847 HAS SOUS 927083 HAS SOUPS 876427 WITH SCORE 877825.232
AT ITER 2715 NEW BEST:: SOT 3030251 SOS 1397765 HAS SOPS 1284913 HAS SOUS 926401 HAS SOUPS 875493 WITH SCORE 876890.765
AT ITER 2723 NEW BEST:: SOT 3030296 SOS 1397742 HAS SOPS 1284890 HAS SOUS 926397 HAS SOUPS 875489 WITH SCORE 876886.742
AT ITER 2727 NEW BEST:: SOT 3030296 SOS 1396878 HAS SOPS 1284026 HAS SOUS 926234 HAS SOUPS 875326 WITH SCORE 876722.878
AT ITER 2731 NEW BEST:: SOT 3030226 SOS 1396808 HAS SOPS 1283956 HAS SOUS 926164 HAS SOUPS 875256 WITH SCORE 876652.808
AT ITER 2740 NEW BEST:: SOT 3030445 SOS 1396675 HAS SOPS 1283823 HAS SOUS 926031 HAS SOUPS 875123 WITH SCORE 876519.675
AT ITER 2748 NEW BEST:: SOT 3029956 SOS 1398205 HAS SOPS 1283571 HAS SOUS 925615 HAS SOUPS 873964 WITH SCORE 875362.205
AT ITER 2750 NEW BEST:: SOT 3029546 SOS 1397234 HAS SOPS 1282600 HAS SOUS 925054 HAS SOUPS 873403 WITH SCORE 874800.234
AT ITER 2752 NEW BEST:: SOT 3029546 SOS 1397515 HAS SOPS 1282881 HAS SOUS 925053 HAS SOUPS 873402 WITH SCORE 874799.515
AT ITER 2758 NEW BEST:: SOT 3029546 SOS 1397514 HAS SOPS 1282880 HAS SOUS 925052 HAS SOUPS 873401 WITH SCORE 874798.514
AT ITER 2761 NEW BEST:: SOT 3030306 SOS 1398338 HAS SOPS 1282568 HAS SOUS 925841 HAS SOUPS 873054 WITH SCORE 874452.338
AT ITER 2768 NEW BEST:: SOT 3030306 SOS 1398163 HAS SOPS 1282276 HAS SOUS 925666 HAS SOUPS 872762 WITH SCORE 874160.163
AT ITER 2776 NEW BEST:: SOT 3029794 SOS 1397011 HAS SOPS 1278830 HAS SOUS 924369 HAS SOUPS 870283 WITH SCORE 871680.011
AT ITER 2785 NEW BEST:: SOT 3030081 SOS 1394687 HAS SOPS 1275623 HAS SOUS 923364 HAS SOUPS 868395 WITH SCORE 869789.687
AT ITER 2792 NEW BEST:: SOT 3030081 SOS 1393627 HAS SOPS 1274563 HAS SOUS 922745 HAS SOUPS 867776 WITH SCORE 869169.627
AT ITER 2797 NEW BEST:: SOT 3030558 SOS 1393762 HAS SOPS 1274505 HAS SOUS 922880 HAS SOUPS 867718 WITH SCORE 869111.762
AT ITER 2798 NEW BEST:: SOT 3028807 SOS 1391268 HAS SOPS 1272011 HAS SOUS 921129 HAS SOUPS 865967 WITH SCORE 867358.268
AT ITER 2800 NEW BEST:: SOT 3028789 SOS 1391250 HAS SOPS 1272123 HAS SOUS 920981 HAS SOUPS 865949 WITH SCORE 867340.25
AT ITER 2805 NEW BEST:: SOT 3029161 SOS 1390859 HAS SOPS 1271123 HAS SOUS 921152 HAS SOUPS 865511 WITH SCORE 866901.859
AT ITER 2809 NEW BEST:: SOT 3029108 SOS 1390237 HAS SOPS 1270501 HAS SOUS 921099 HAS SOUPS 865458 WITH SCORE 866848.237
AT ITER 2810 NEW BEST:: SOT 3027954 SOS 1389975 HAS SOPS 1270239 HAS SOUS 920750 HAS SOUPS 865109 WITH SCORE 866498.975
AT ITER 2814 NEW BEST:: SOT 3028317 SOS 1391087 HAS SOPS 1270602 HAS SOUS 920989 HAS SOUPS 864634 WITH SCORE 866025.087
AT ITER 2821 NEW BEST:: SOT 3028353 SOS 1390166 HAS SOPS 1269681 HAS SOUS 920351 HAS SOUPS 863996 WITH SCORE 865386.166
AT ITER 2827 NEW BEST:: SOT 3028321 SOS 1389658 HAS SOPS 1269173 HAS SOUS 920176 HAS SOUPS 863821 WITH SCORE 865210.658
AT ITER 2828 NEW BEST:: SOT 3026089 SOS 1388913 HAS SOPS 1268428 HAS SOUS 918687 HAS SOUPS 862332 WITH SCORE 863720.913
AT ITER 2831 NEW BEST:: SOT 3023605 SOS 1386371 HAS SOPS 1265886 HAS SOUS 917123 HAS SOUPS 860768 WITH SCORE 862154.371
AT ITER 2833 NEW BEST:: SOT 3023528 SOS 1386140 HAS SOPS 1265655 HAS SOUS 916969 HAS SOUPS 860614 WITH SCORE 862000.14
AT ITER 2834 NEW BEST:: SOT 3023528 SOS 1385564 HAS SOPS 1265079 HAS SOUS 916665 HAS SOUPS 860310 WITH SCORE 861695.564
AT ITER 2843 NEW BEST:: SOT 3023509 SOS 1384957 HAS SOPS 1264472 HAS SOUS 916352 HAS SOUPS 859997 WITH SCORE 861381.957
AT ITER 2846 NEW BEST:: SOT 3022532 SOS 1383875 HAS SOPS 1263390 HAS SOUS 916323 HAS SOUPS 859968 WITH SCORE 861351.875
AT ITER 2850 NEW BEST:: SOT 3022166 SOS 1383260 HAS SOPS 1262775 HAS SOUS 915210 HAS SOUPS 858855 WITH SCORE 860238.26
AT ITER 2852 NEW BEST:: SOT 3021803 SOS 1382897 HAS SOPS 1262412 HAS SOUS 915169 HAS SOUPS 858814 WITH SCORE 860196.897
AT ITER 2856 NEW BEST:: SOT 3021729 SOS 1382968 HAS SOPS 1262483 HAS SOUS 915095 HAS SOUPS 858740 WITH SCORE 860122.968
AT ITER 2858 NEW BEST:: SOT 3021728 SOS 1382762 HAS SOPS 1262358 HAS SOUS 915068 HAS SOUPS 858738 WITH SCORE 860120.762
AT ITER 2861 NEW BEST:: SOT 3020563 SOS 1381597 HAS SOPS 1261193 HAS SOUS 914531 HAS SOUPS 858201 WITH SCORE 859582.597
AT ITER 2876 NEW BEST:: SOT 3019733 SOS 1381303 HAS SOPS 1260899 HAS SOUS 914427 HAS SOUPS 858097 WITH SCORE 859478.303
AT ITER 2881 NEW BEST:: SOT 3019365 SOS 1380672 HAS SOPS 1260268 HAS SOUS 914164 HAS SOUPS 857834 WITH SCORE 859214.672
AT ITER 2886 NEW BEST:: SOT 3019213 SOS 1380292 HAS SOPS 1259888 HAS SOUS 913520 HAS SOUPS 857190 WITH SCORE 858570.292
AT ITER 2889 NEW BEST:: SOT 3019618 SOS 1380773 HAS SOPS 1259373 HAS SOUS 913317 HAS SOUPS 856675 WITH SCORE 858055.773
AT ITER 2895 NEW BEST:: SOT 3019066 SOS 1380221 HAS SOPS 1258821 HAS SOUS 912246 HAS SOUPS 855604 WITH SCORE 856984.221
AT ITER 2901 NEW BEST:: SOT 3018235 SOS 1380385 HAS SOPS 1258985 HAS SOUS 912189 HAS SOUPS 855547 WITH SCORE 856927.385
AT ITER 2903 NEW BEST:: SOT 3020352 SOS 1381395 HAS SOPS 1259995 HAS SOUS 912121 HAS SOUPS 855479 WITH SCORE 856860.395
AT ITER 2913 NEW BEST:: SOT 3020507 SOS 1381544 HAS SOPS 1260144 HAS SOUS 912112 HAS SOUPS 855470 WITH SCORE 856851.544
AT ITER 2919 NEW BEST:: SOT 3018741 SOS 1379777 HAS SOPS 1258377 HAS SOUS 911118 HAS SOUPS 854476 WITH SCORE 855855.777
AT ITER 2924 NEW BEST:: SOT 3018670 SOS 1379772 HAS SOPS 1258305 HAS SOUS 910671 HAS SOUPS 853962 WITH SCORE 855341.772
AT ITER 2930 NEW BEST:: SOT 3018672 SOS 1378340 HAS SOPS 1256873 HAS SOUS 909781 HAS SOUPS 853072 WITH SCORE 854450.34
AT ITER 2933 NEW BEST:: SOT 3017531 SOS 1374917 HAS SOPS 1253450 HAS SOUS 908640 HAS SOUPS 851931 WITH SCORE 853305.917
AT ITER 2938 NEW BEST:: SOT 3017139 SOS 1373502 HAS SOPS 1252035 HAS SOUS 907617 HAS SOUPS 850908 WITH SCORE 852281.502
AT ITER 2939 NEW BEST:: SOT 3017138 SOS 1373501 HAS SOPS 1252034 HAS SOUS 906808 HAS SOUPS 850099 WITH SCORE 851472.501
AT ITER 2945 NEW BEST:: SOT 3016845 SOS 1372703 HAS SOPS 1250437 HAS SOUS 906010 HAS SOUPS 848502 WITH SCORE 849874.703
AT ITER 2946 NEW BEST:: SOT 3016845 SOS 1372475 HAS SOPS 1250209 HAS SOUS 905988 HAS SOUPS 848480 WITH SCORE 849852.475
AT ITER 2950 NEW BEST:: SOT 3013689 SOS 1370072 HAS SOPS 1246766 HAS SOUS 904145 HAS SOUPS 846281 WITH SCORE 847651.072
AT ITER 2951 NEW BEST:: SOT 3013539 SOS 1369922 HAS SOPS 1246586 HAS SOUS 904055 HAS SOUPS 846161 WITH SCORE 847530.922
AT ITER 2956 NEW BEST:: SOT 3013479 SOS 1369793 HAS SOPS 1246457 HAS SOUS 903972 HAS SOUPS 846078 WITH SCORE 847447.793
AT ITER 2961 NEW BEST:: SOT 3013349 SOS 1369663 HAS SOPS 1246327 HAS SOUS 903907 HAS SOUPS 846013 WITH SCORE 847382.663
AT ITER 2970 NEW BEST:: SOT 3013344 SOS 1369648 HAS SOPS 1246312 HAS SOUS 903897 HAS SOUPS 846003 WITH SCORE 847372.648
AT ITER 2977 NEW BEST:: SOT 3013344 SOS 1370363 HAS SOPS 1247027 HAS SOUS 903784 HAS SOUPS 845890 WITH SCORE 847260.363
AT ITER 2980 NEW BEST:: SOT 3012670 SOS 1365901 HAS SOPS 1242565 HAS SOUS 901490 HAS SOUPS 843596 WITH SCORE 844961.901
AT ITER 2984 NEW BEST:: SOT 3012169 SOS 1365007 HAS SOPS 1241671 HAS SOUS 900989 HAS SOUPS 843095 WITH SCORE 844460.007
AT ITER 2986 NEW BEST:: SOT 3011585 SOS 1364779 HAS SOPS 1241443 HAS SOUS 900964 HAS SOUPS 843070 WITH SCORE 844434.779
AT ITER 2988 NEW BEST:: SOT 3011585 SOS 1364643 HAS SOPS 1241307 HAS SOUS 900963 HAS SOUPS 843069 WITH SCORE 844433.643
AT ITER 2990 NEW BEST:: SOT 3011517 SOS 1364654 HAS SOPS 1241318 HAS SOUS 900944 HAS SOUPS 843050 WITH SCORE 844414.654
AT ITER 2996 NEW BEST:: SOT 3010799 SOS 1363936 HAS SOPS 1240600 HAS SOUS 899867 HAS SOUPS 841973 WITH SCORE 843336.936
AT ITER 3008 NEW BEST:: SOT 3010799 SOS 1363936 HAS SOPS 1240408 HAS SOUS 899867 HAS SOUPS 841781 WITH SCORE 843144.936
AT ITER 3010 NEW BEST:: SOT 3010592 SOS 1363432 HAS SOPS 1239904 HAS SOUS 898992 HAS SOUPS 840906 WITH SCORE 842269.432
AT ITER 3016 NEW BEST:: SOT 3009872 SOS 1362577 HAS SOPS 1239049 HAS SOUS 898137 HAS SOUPS 840051 WITH SCORE 841413.577
AT ITER 3017 NEW BEST:: SOT 3009824 SOS 1360262 HAS SOPS 1236370 HAS SOUS 896977 HAS SOUPS 838527 WITH SCORE 839887.262
AT ITER 3028 NEW BEST:: SOT 3009758 SOS 1359748 HAS SOPS 1235932 HAS SOUS 896463 HAS SOUPS 838089 WITH SCORE 839448.748
AT ITER 3031 NEW BEST:: SOT 3009758 SOS 1359748 HAS SOPS 1235289 HAS SOUS 896463 HAS SOUPS 837446 WITH SCORE 838805.748
AT ITER 3052 NEW BEST:: SOT 3009758 SOS 1358209 HAS SOPS 1233195 HAS SOUS 895622 HAS SOUPS 836050 WITH SCORE 837408.209
AT ITER 3054 NEW BEST:: SOT 3008535 SOS 1358084 HAS SOPS 1232550 HAS SOUS 894919 HAS SOUPS 834827 WITH SCORE 836185.084
AT ITER 3058 NEW BEST:: SOT 3008535 SOS 1358156 HAS SOPS 1232622 HAS SOUS 894722 HAS SOUPS 834630 WITH SCORE 835988.156
AT ITER 3075 NEW BEST:: SOT 3008535 SOS 1358037 HAS SOPS 1232503 HAS SOUS 894603 HAS SOUPS 834511 WITH SCORE 835869.037
AT ITER 3077 NEW BEST:: SOT 3008501 SOS 1357952 HAS SOPS 1232418 HAS SOUS 894552 HAS SOUPS 834460 WITH SCORE 835817.952
AT ITER 3078 NEW BEST:: SOT 3007328 SOS 1356779 HAS SOPS 1231244 HAS SOUS 893992 HAS SOUPS 833900 WITH SCORE 835256.779
AT ITER 3091 NEW BEST:: SOT 3007327 SOS 1355980 HAS SOPS 1230445 HAS SOUS 893891 HAS SOUPS 833799 WITH SCORE 835154.98
AT ITER 3104 NEW BEST:: SOT 3005059 SOS 1354101 HAS SOPS 1228566 HAS SOUS 892705 HAS SOUPS 832613 WITH SCORE 833967.101
AT ITER 3112 NEW BEST:: SOT 3004339 SOS 1353428 HAS SOPS 1227893 HAS SOUS 891458 HAS SOUPS 831366 WITH SCORE 832719.428
AT ITER 3119 NEW BEST:: SOT 3003841 SOS 1356520 HAS SOPS 1227395 HAS SOUS 891299 HAS SOUPS 830195 WITH SCORE 831551.52
AT ITER 3120 NEW BEST:: SOT 3002798 SOS 1355711 HAS SOPS 1226586 HAS SOUS 889565 HAS SOUPS 828461 WITH SCORE 829816.711
AT ITER 3129 NEW BEST:: SOT 3001040 SOS 1353148 HAS SOPS 1224023 HAS SOUS 887722 HAS SOUPS 826618 WITH SCORE 827971.148
AT ITER 3137 NEW BEST:: SOT 3001015 SOS 1353123 HAS SOPS 1223998 HAS SOUS 887697 HAS SOUPS 826593 WITH SCORE 827946.123
AT ITER 3146 NEW BEST:: SOT 3000315 SOS 1352423 HAS SOPS 1223298 HAS SOUS 887347 HAS SOUPS 826243 WITH SCORE 827595.423
AT ITER 3149 NEW BEST:: SOT 3000004 SOS 1352112 HAS SOPS 1222987 HAS SOUS 886964 HAS SOUPS 825860 WITH SCORE 827212.112
AT ITER 3151 NEW BEST:: SOT 2999617 SOS 1351725 HAS SOPS 1222600 HAS SOUS 886117 HAS SOUPS 825013 WITH SCORE 826364.725
AT ITER 3153 NEW BEST:: SOT 2999617 SOS 1351725 HAS SOPS 1222600 HAS SOUS 886066 HAS SOUPS 824962 WITH SCORE 826313.725
AT ITER 3157 NEW BEST:: SOT 3000021 SOS 1352371 HAS SOPS 1222034 HAS SOUS 886160 HAS SOUPS 824746 WITH SCORE 826098.371
AT ITER 3167 NEW BEST:: SOT 2999556 SOS 1349427 HAS SOPS 1219090 HAS SOUS 884977 HAS SOUPS 823563 WITH SCORE 824912.427
AT ITER 3172 NEW BEST:: SOT 2999556 SOS 1349426 HAS SOPS 1219089 HAS SOUS 884976 HAS SOUPS 823562 WITH SCORE 824911.426
AT ITER 3176 NEW BEST:: SOT 2999573 SOS 1348317 HAS SOPS 1217980 HAS SOUS 884945 HAS SOUPS 823531 WITH SCORE 824879.317
AT ITER 3177 NEW BEST:: SOT 2999282 SOS 1347430 HAS SOPS 1217093 HAS SOUS 884668 HAS SOUPS 823254 WITH SCORE 824601.43
AT ITER 3183 NEW BEST:: SOT 2998916 SOS 1347111 HAS SOPS 1216774 HAS SOUS 884476 HAS SOUPS 823062 WITH SCORE 824409.111
AT ITER 3184 NEW BEST:: SOT 2998481 SOS 1346676 HAS SOPS 1215904 HAS SOUS 884041 HAS SOUPS 822192 WITH SCORE 823538.676
AT ITER 3198 NEW BEST:: SOT 2998249 SOS 1346444 HAS SOPS 1215672 HAS SOUS 883809 HAS SOUPS 821960 WITH SCORE 823306.444
AT ITER 3215 NEW BEST:: SOT 2997526 SOS 1345091 HAS SOPS 1214319 HAS SOUS 882456 HAS SOUPS 820607 WITH SCORE 821952.091
AT ITER 3217 NEW BEST:: SOT 2997526 SOS 1344737 HAS SOPS 1213965 HAS SOUS 881736 HAS SOUPS 819887 WITH SCORE 821231.737
AT ITER 3220 NEW BEST:: SOT 2997526 SOS 1344005 HAS SOPS 1213233 HAS SOUS 881410 HAS SOUPS 819561 WITH SCORE 820905.005
AT ITER 3222 NEW BEST:: SOT 2996346 SOS 1342825 HAS SOPS 1212053 HAS SOUS 880230 HAS SOUPS 818381 WITH SCORE 819723.825
AT ITER 3224 NEW BEST:: SOT 2996346 SOS 1342228 HAS SOPS 1211456 HAS SOUS 880184 HAS SOUPS 818335 WITH SCORE 819677.228
AT ITER 3230 NEW BEST:: SOT 2996213 SOS 1342094 HAS SOPS 1211322 HAS SOUS 880050 HAS SOUPS 818201 WITH SCORE 819543.094
AT ITER 3234 NEW BEST:: SOT 2994943 SOS 1340824 HAS SOPS 1210052 HAS SOUS 878238 HAS SOUPS 816389 WITH SCORE 817729.824
AT ITER 3253 NEW BEST:: SOT 2994431 SOS 1338994 HAS SOPS 1208222 HAS SOUS 876919 HAS SOUPS 815070 WITH SCORE 816408.994
AT ITER 3255 NEW BEST:: SOT 2994431 SOS 1338202 HAS SOPS 1207430 HAS SOUS 876919 HAS SOUPS 815070 WITH SCORE 816408.202
AT ITER 3261 NEW BEST:: SOT 2994290 SOS 1338061 HAS SOPS 1207289 HAS SOUS 876778 HAS SOUPS 814929 WITH SCORE 816267.061
AT ITER 3264 NEW BEST:: SOT 2992975 SOS 1336746 HAS SOPS 1205973 HAS SOUS 876338 HAS SOUPS 814489 WITH SCORE 815825.746
AT ITER 3267 NEW BEST:: SOT 2992768 SOS 1336539 HAS SOPS 1205459 HAS SOUS 876136 HAS SOUPS 814075 WITH SCORE 815411.539
AT ITER 3278 NEW BEST:: SOT 2992697 SOS 1336468 HAS SOPS 1205388 HAS SOUS 876136 HAS SOUPS 814075 WITH SCORE 815411.468
AT ITER 3281 NEW BEST:: SOT 2992928 SOS 1338610 HAS SOPS 1205619 HAS SOUS 876332 HAS SOUPS 813542 WITH SCORE 814880.61
AT ITER 3282 NEW BEST:: SOT 2992666 SOS 1338532 HAS SOPS 1205541 HAS SOUS 876295 HAS SOUPS 813505 WITH SCORE 814843.532
AT ITER 3292 NEW BEST:: SOT 2991743 SOS 1337454 HAS SOPS 1204463 HAS SOUS 875057 HAS SOUPS 812267 WITH SCORE 813604.454
AT ITER 3293 NEW BEST:: SOT 2991476 SOS 1337647 HAS SOPS 1204656 HAS SOUS 874790 HAS SOUPS 812000 WITH SCORE 813337.647
AT ITER 3296 NEW BEST:: SOT 2991505 SOS 1337676 HAS SOPS 1204685 HAS SOUS 874648 HAS SOUPS 811858 WITH SCORE 813195.676
AT ITER 3302 NEW BEST:: SOT 2991505 SOS 1336581 HAS SOPS 1203590 HAS SOUS 874232 HAS SOUPS 811442 WITH SCORE 812778.581
AT ITER 3304 NEW BEST:: SOT 2991278 SOS 1335082 HAS SOPS 1202091 HAS SOUS 873347 HAS SOUPS 810557 WITH SCORE 811892.082
AT ITER 3305 NEW BEST:: SOT 2991278 SOS 1335265 HAS SOPS 1202030 HAS SOUS 873347 HAS SOUPS 810496 WITH SCORE 811831.265
AT ITER 3307 NEW BEST:: SOT 2991278 SOS 1336019 HAS SOPS 1202626 HAS SOUS 873465 HAS SOUPS 810456 WITH SCORE 811792.019
AT ITER 3318 NEW BEST:: SOT 2990825 SOS 1335647 HAS SOPS 1202254 HAS SOUS 873377 HAS SOUPS 810368 WITH SCORE 811703.647
AT ITER 3323 NEW BEST:: SOT 2990825 SOS 1335435 HAS SOPS 1201936 HAS SOUS 873271 HAS SOUPS 810156 WITH SCORE 811491.435
AT ITER 3324 NEW BEST:: SOT 2990825 SOS 1335259 HAS SOPS 1201760 HAS SOUS 873095 HAS SOUPS 809980 WITH SCORE 811315.259
AT ITER 3331 NEW BEST:: SOT 2990821 SOS 1335251 HAS SOPS 1201752 HAS SOUS 873089 HAS SOUPS 809974 WITH SCORE 811309.251
AT ITER 3335 NEW BEST:: SOT 2990209 SOS 1334639 HAS SOPS 1201140 HAS SOUS 872783 HAS SOUPS 809668 WITH SCORE 811002.639
AT ITER 3341 NEW BEST:: SOT 2990045 SOS 1334348 HAS SOPS 1200849 HAS SOUS 872537 HAS SOUPS 809422 WITH SCORE 810756.348
AT ITER 3342 NEW BEST:: SOT 2990045 SOS 1334132 HAS SOPS 1200633 HAS SOUS 872537 HAS SOUPS 809422 WITH SCORE 810756.132
AT ITER 3346 NEW BEST:: SOT 2989363 SOS 1333427 HAS SOPS 1199928 HAS SOUS 871339 HAS SOUPS 808224 WITH SCORE 809557.427
AT ITER 3356 NEW BEST:: SOT 2989071 SOS 1332843 HAS SOPS 1199344 HAS SOUS 871047 HAS SOUPS 807932 WITH SCORE 809264.843
AT ITER 3377 NEW BEST:: SOT 2989033 SOS 1331779 HAS SOPS 1198280 HAS SOUS 870954 HAS SOUPS 807839 WITH SCORE 809170.779
AT ITER 3381 NEW BEST:: SOT 2988498 SOS 1331201 HAS SOPS 1197702 HAS SOUS 870376 HAS SOUPS 807261 WITH SCORE 808592.201
AT ITER 3382 NEW BEST:: SOT 2988405 SOS 1331108 HAS SOPS 1197516 HAS SOUS 870190 HAS SOUPS 806982 WITH SCORE 808313.108
AT ITER 3389 NEW BEST:: SOT 2988437 SOS 1330744 HAS SOPS 1197152 HAS SOUS 869988 HAS SOUPS 806780 WITH SCORE 808110.744
AT ITER 3396 NEW BEST:: SOT 2988334 SOS 1330694 HAS SOPS 1197049 HAS SOUS 869766 HAS SOUPS 806519 WITH SCORE 807849.694
AT ITER 3404 NEW BEST:: SOT 2989078 SOS 1125855 HAS SOPS 987730 HAS SOUS 869530 HAS SOUPS 805063 WITH SCORE 806188.855
AT ITER 3412 NEW BEST:: SOT 2988723 SOS 1125145 HAS SOPS 987020 HAS SOUS 869175 HAS SOUPS 804708 WITH SCORE 805833.145
AT ITER 3413 NEW BEST:: SOT 2988514 SOS 1124649 HAS SOPS 986524 HAS SOUS 868758 HAS SOUPS 804291 WITH SCORE 805415.649
AT ITER 3418 NEW BEST:: SOT 2987135 SOS 1123902 HAS SOPS 985777 HAS SOUS 867809 HAS SOUPS 803342 WITH SCORE 804465.902
AT ITER 3421 NEW BEST:: SOT 2986259 SOS 1123099 HAS SOPS 985139 HAS SOUS 867171 HAS SOUPS 802704 WITH SCORE 803827.099
AT ITER 3422 NEW BEST:: SOT 2986297 SOS 1124341 HAS SOPS 984282 HAS SOUS 867119 HAS SOUPS 801847 WITH SCORE 802971.341
AT ITER 3429 NEW BEST:: SOT 2986428 SOS 1124398 HAS SOPS 984339 HAS SOUS 867008 HAS SOUPS 801736 WITH SCORE 802860.398
AT ITER 3431 NEW BEST:: SOT 2986266 SOS 1124024 HAS SOPS 983965 HAS SOUS 866796 HAS SOUPS 801524 WITH SCORE 802648.024
AT ITER 3436 NEW BEST:: SOT 2985982 SOS 1123740 HAS SOPS 983397 HAS SOUS 866512 HAS SOUPS 800956 WITH SCORE 802079.74
AT ITER 3438 NEW BEST:: SOT 2984551 SOS 1122019 HAS SOPS 981676 HAS SOUS 865532 HAS SOUPS 799976 WITH SCORE 801098.019
AT ITER 3440 NEW BEST:: SOT 2984832 SOS 1122168 HAS SOPS 981623 HAS SOUS 865681 HAS SOUPS 799923 WITH SCORE 801045.168
AT ITER 3464 NEW BEST:: SOT 2984500 SOS 1121683 HAS SOPS 981138 HAS SOUS 865403 HAS SOUPS 799645 WITH SCORE 800766.683
AT ITER 3467 NEW BEST:: SOT 2984624 SOS 1121685 HAS SOPS 981140 HAS SOUS 865328 HAS SOUPS 799570 WITH SCORE 800691.685
AT ITER 3478 NEW BEST:: SOT 2984255 SOS 1121193 HAS SOPS 980648 HAS SOUS 865082 HAS SOUPS 799324 WITH SCORE 800445.193
AT ITER 3484 NEW BEST:: SOT 2982265 SOS 1119970 HAS SOPS 979425 HAS SOUS 864072 HAS SOUPS 798314 WITH SCORE 799433.97
AT ITER 3485 NEW BEST:: SOT 2982541 SOS 1120032 HAS SOPS 979173 HAS SOUS 863820 HAS SOUPS 798062 WITH SCORE 799182.032
AT ITER 3486 NEW BEST:: SOT 2981812 SOS 1118913 HAS SOPS 978054 HAS SOUS 862701 HAS SOUPS 796943 WITH SCORE 798061.913
AT ITER 3488 NEW BEST:: SOT 2981590 SOS 1118508 HAS SOPS 977649 HAS SOUS 862518 HAS SOUPS 796760 WITH SCORE 797878.508
AT ITER 3492 NEW BEST:: SOT 2981528 SOS 1118556 HAS SOPS 977693 HAS SOUS 862456 HAS SOUPS 796698 WITH SCORE 797816.556
AT ITER 3503 NEW BEST:: SOT 2981528 SOS 1118547 HAS SOPS 977675 HAS SOUS 862447 HAS SOUPS 796689 WITH SCORE 797807.547
AT ITER 3504 NEW BEST:: SOT 2981209 SOS 1118353 HAS SOPS 977481 HAS SOUS 861514 HAS SOUPS 795756 WITH SCORE 796874.353
AT ITER 3508 NEW BEST:: SOT 2981050 SOS 1118194 HAS SOPS 977322 HAS SOUS 861196 HAS SOUPS 795438 WITH SCORE 796556.194
AT ITER 3509 NEW BEST:: SOT 2980784 SOS 1117525 HAS SOPS 976653 HAS SOUS 860793 HAS SOUPS 795035 WITH SCORE 796152.525
AT ITER 3532 NEW BEST:: SOT 2980358 SOS 1116673 HAS SOPS 975801 HAS SOUS 859941 HAS SOUPS 794183 WITH SCORE 795299.673
AT ITER 3535 NEW BEST:: SOT 2980120 SOS 1116554 HAS SOPS 975682 HAS SOUS 859822 HAS SOUPS 794064 WITH SCORE 795180.554
AT ITER 3541 NEW BEST:: SOT 2978901 SOS 1114815 HAS SOPS 973943 HAS SOUS 857304 HAS SOUPS 791546 WITH SCORE 792660.815
AT ITER 3542 NEW BEST:: SOT 2978901 SOS 1114095 HAS SOPS 973583 HAS SOUS 857190 HAS SOUPS 791546 WITH SCORE 792660.095
AT ITER 3543 NEW BEST:: SOT 2978643 SOS 1113941 HAS SOPS 973429 HAS SOUS 857139 HAS SOUPS 791495 WITH SCORE 792608.941
AT ITER 3548 NEW BEST:: SOT 2978236 SOS 1113533 HAS SOPS 973428 HAS SOUS 856731 HAS SOUPS 791494 WITH SCORE 792607.533
AT ITER 3555 NEW BEST:: SOT 2977818 SOS 1113048 HAS SOPS 972943 HAS SOUS 856672 HAS SOUPS 791435 WITH SCORE 792548.048
AT ITER 3569 NEW BEST:: SOT 2977566 SOS 1112796 HAS SOPS 972691 HAS SOUS 856420 HAS SOUPS 791183 WITH SCORE 792295.796
AT ITER 3577 NEW BEST:: SOT 2978714 SOS 1114465 HAS SOPS 973140 HAS SOUS 857400 HAS SOUPS 790943 WITH SCORE 792057.465
AT ITER 3580 NEW BEST:: SOT 2978714 SOS 1113746 HAS SOPS 971677 HAS SOUS 856564 HAS SOUPS 789363 WITH SCORE 790476.746
AT ITER 3587 NEW BEST:: SOT 2978624 SOS 1112987 HAS SOPS 970831 HAS SOUS 856085 HAS SOUPS 788797 WITH SCORE 789909.987
AT ITER 3591 NEW BEST:: SOT 2978486 SOS 1112780 HAS SOPS 970624 HAS SOUS 855878 HAS SOUPS 788590 WITH SCORE 789702.78
AT ITER 3601 NEW BEST:: SOT 2978414 SOS 1112575 HAS SOPS 970419 HAS SOUS 855673 HAS SOUPS 788385 WITH SCORE 789497.575
AT ITER 3602 NEW BEST:: SOT 2978160 SOS 1112330 HAS SOPS 970174 HAS SOUS 855502 HAS SOUPS 788214 WITH SCORE 789326.33
AT ITER 3613 NEW BEST:: SOT 2978070 SOS 1112240 HAS SOPS 970084 HAS SOUS 855412 HAS SOUPS 788124 WITH SCORE 789236.24
AT ITER 3616 NEW BEST:: SOT 2977561 SOS 1112014 HAS SOPS 969858 HAS SOUS 855281 HAS SOUPS 787993 WITH SCORE 789105.014
AT ITER 3619 NEW BEST:: SOT 2977536 SOS 1111937 HAS SOPS 969781 HAS SOUS 855204 HAS SOUPS 787916 WITH SCORE 789027.937
AT ITER 3627 NEW BEST:: SOT 2976283 SOS 1111257 HAS SOPS 969101 HAS SOUS 853990 HAS SOUPS 786702 WITH SCORE 787813.257
AT ITER 3628 NEW BEST:: SOT 2976187 SOS 1111065 HAS SOPS 968909 HAS SOUS 853928 HAS SOUPS 786640 WITH SCORE 787751.065
AT ITER 3646 NEW BEST:: SOT 2976176 SOS 1111054 HAS SOPS 968898 HAS SOUS 853917 HAS SOUPS 786629 WITH SCORE 787740.054
AT ITER 3649 NEW BEST:: SOT 2975914 SOS 1110792 HAS SOPS 968636 HAS SOUS 853786 HAS SOUPS 786498 WITH SCORE 787608.792
AT ITER 3656 NEW BEST:: SOT 2975914 SOS 1110192 HAS SOPS 968236 HAS SOUS 853786 HAS SOUPS 786498 WITH SCORE 787608.192
AT ITER 3657 NEW BEST:: SOT 2975867 SOS 1109957 HAS SOPS 968189 HAS SOUS 853692 HAS SOUPS 786451 WITH SCORE 787560.957
AT ITER 3662 NEW BEST:: SOT 2975799 SOS 1109889 HAS SOPS 968121 HAS SOUS 853624 HAS SOUPS 786383 WITH SCORE 787492.889
AT ITER 3666 NEW BEST:: SOT 2975783 SOS 1109857 HAS SOPS 968089 HAS SOUS 853592 HAS SOUPS 786351 WITH SCORE 787460.857
AT ITER 3667 NEW BEST:: SOT 2975318 SOS 1108166 HAS SOPS 967201 HAS SOUS 852704 HAS SOUPS 785463 WITH SCORE 786571.166
AT ITER 3676 NEW BEST:: SOT 2975282 SOS 1107720 HAS SOPS 966755 HAS SOUS 852282 HAS SOUPS 785041 WITH SCORE 786148.72
AT ITER 3677 NEW BEST:: SOT 2974561 SOS 1106277 HAS SOPS 966034 HAS SOUS 850839 HAS SOUPS 784320 WITH SCORE 785426.277
AT ITER 3705 NEW BEST:: SOT 2973868 SOS 1106266 HAS SOPS 965341 HAS SOUS 850464 HAS SOUPS 783627 WITH SCORE 784733.266
AT ITER 3718 NEW BEST:: SOT 2973386 SOS 1106247 HAS SOPS 964377 HAS SOUS 849514 HAS SOUPS 782663 WITH SCORE 783769.247
AT ITER 3721 NEW BEST:: SOT 2972853 SOS 1105180 HAS SOPS 963310 HAS SOUS 848447 HAS SOUPS 781596 WITH SCORE 782701.18
AT ITER 3724 NEW BEST:: SOT 2972835 SOS 1106338 HAS SOPS 963292 HAS SOUS 848429 HAS SOUPS 781578 WITH SCORE 782684.338
AT ITER 3727 NEW BEST:: SOT 2972357 SOS 1105143 HAS SOPS 962097 HAS SOUS 848134 HAS SOUPS 781283 WITH SCORE 782388.143
AT ITER 3734 NEW BEST:: SOT 2972184 SOS 1105910 HAS SOPS 960150 HAS SOUS 847861 HAS SOUPS 780223 WITH SCORE 781328.91
AT ITER 3740 NEW BEST:: SOT 2972114 SOS 1105692 HAS SOPS 959932 HAS SOUS 847643 HAS SOUPS 780005 WITH SCORE 781110.692
AT ITER 3746 NEW BEST:: SOT 2972114 SOS 1104655 HAS SOPS 958895 HAS SOUS 847419 HAS SOUPS 779781 WITH SCORE 780885.655
AT ITER 3753 NEW BEST:: SOT 2972265 SOS 1104806 HAS SOPS 958873 HAS SOUS 847570 HAS SOUPS 779759 WITH SCORE 780863.806
AT ITER 3754 NEW BEST:: SOT 2972315 SOS 1104756 HAS SOPS 958823 HAS SOUS 847456 HAS SOUPS 779645 WITH SCORE 780749.756
AT ITER 3755 NEW BEST:: SOT 2972110 SOS 1105978 HAS SOPS 958618 HAS SOUS 847870 HAS SOUPS 779440 WITH SCORE 780545.978
AT ITER 3756 NEW BEST:: SOT 2971504 SOS 1104987 HAS SOPS 957627 HAS SOUS 846895 HAS SOUPS 778465 WITH SCORE 779569.987
AT ITER 3757 NEW BEST:: SOT 2971137 SOS 1103545 HAS SOPS 956808 HAS SOUS 845976 HAS SOUPS 777646 WITH SCORE 778749.545
AT ITER 3764 NEW BEST:: SOT 2970692 SOS 1102210 HAS SOPS 955473 HAS SOUS 845086 HAS SOUPS 776756 WITH SCORE 777858.21
AT ITER 3777 NEW BEST:: SOT 2970670 SOS 1102144 HAS SOPS 955451 HAS SOUS 845042 HAS SOUPS 776734 WITH SCORE 777836.144
AT ITER 3778 NEW BEST:: SOT 2970628 SOS 1102102 HAS SOPS 955409 HAS SOUS 845000 HAS SOUPS 776692 WITH SCORE 777794.102
AT ITER 3783 NEW BEST:: SOT 2970334 SOS 1102462 HAS SOPS 955638 HAS SOUS 844853 HAS SOUPS 776545 WITH SCORE 777647.462
AT ITER 3785 NEW BEST:: SOT 2969715 SOS 1101529 HAS SOPS 954705 HAS SOUS 844234 HAS SOUPS 775926 WITH SCORE 777027.529
AT ITER 3786 NEW BEST:: SOT 2969479 SOS 1100809 HAS SOPS 954553 HAS SOUS 843514 HAS SOUPS 775774 WITH SCORE 776874.809
AT ITER 3814 NEW BEST:: SOT 2969478 SOS 1100808 HAS SOPS 954551 HAS SOUS 843513 HAS SOUPS 775772 WITH SCORE 776872.808
AT ITER 3818 NEW BEST:: SOT 2965327 SOS 1096657 HAS SOPS 950400 HAS SOUS 840727 HAS SOUPS 772986 WITH SCORE 774082.657
AT ITER 3845 NEW BEST:: SOT 2965327 SOS 1095764 HAS SOPS 949507 HAS SOUS 840331 HAS SOUPS 772590 WITH SCORE 773685.764
AT ITER 3858 NEW BEST:: SOT 2965192 SOS 1095629 HAS SOPS 949371 HAS SOUS 840262 HAS SOUPS 772521 WITH SCORE 773616.629
AT ITER 3860 NEW BEST:: SOT 2965482 SOS 1095969 HAS SOPS 949711 HAS SOUS 840230 HAS SOUPS 772489 WITH SCORE 773584.969
AT ITER 3868 NEW BEST:: SOT 2962266 SOS 1095640 HAS SOPS 949382 HAS SOUS 839412 HAS SOUPS 771671 WITH SCORE 772766.64
AT ITER 3886 NEW BEST:: SOT 2962266 SOS 1095295 HAS SOPS 949037 HAS SOUS 839412 HAS SOUPS 771671 WITH SCORE 772766.295
AT ITER 3887 NEW BEST:: SOT 2962266 SOS 1095187 HAS SOPS 948929 HAS SOUS 839340 HAS SOUPS 771599 WITH SCORE 772694.187
AT ITER 3888 NEW BEST:: SOT 2962266 SOS 1095154 HAS SOPS 948896 HAS SOUS 839340 HAS SOUPS 771599 WITH SCORE 772694.154
AT ITER 3890 NEW BEST:: SOT 2962266 SOS 1095115 HAS SOPS 948857 HAS SOUS 839340 HAS SOUPS 771599 WITH SCORE 772694.115
AT ITER 3896 NEW BEST:: SOT 2962179 SOS 1095028 HAS SOPS 948770 HAS SOUS 839340 HAS SOUPS 771599 WITH SCORE 772694.028
AT ITER 3900 NEW BEST:: SOT 2960745 SOS 1094902 HAS SOPS 948728 HAS SOUS 839214 HAS SOUPS 771557 WITH SCORE 772651.902
AT ITER 3904 NEW BEST:: SOT 2960449 SOS 1094589 HAS SOPS 948415 HAS SOUS 838962 HAS SOUPS 771305 WITH SCORE 772399.589
AT ITER 3913 NEW BEST:: SOT 2960449 SOS 1094589 HAS SOPS 948415 HAS SOUS 838943 HAS SOUPS 771286 WITH SCORE 772380.589
AT ITER 3923 NEW BEST:: SOT 2960449 SOS 1094414 HAS SOPS 948240 HAS SOUS 838795 HAS SOUPS 771138 WITH SCORE 772232.414
AT ITER 3924 NEW BEST:: SOT 2959763 SOS 1093728 HAS SOPS 947277 HAS SOUS 838109 HAS SOUPS 770452 WITH SCORE 771545.728
AT ITER 3932 NEW BEST:: SOT 2959631 SOS 1093596 HAS SOPS 947277 HAS SOUS 838109 HAS SOUPS 770452 WITH SCORE 771545.596
AT ITER 3933 NEW BEST:: SOT 2959631 SOS 1093422 HAS SOPS 947103 HAS SOUS 837935 HAS SOUPS 770278 WITH SCORE 771371.422
AT ITER 3938 NEW BEST:: SOT 2959327 SOS 1093378 HAS SOPS 946874 HAS SOUS 837637 HAS SOUPS 769980 WITH SCORE 771073.378
AT ITER 3953 NEW BEST:: SOT 2960459 SOS 1093950 HAS SOPS 946713 HAS SOUS 838209 HAS SOUPS 769819 WITH SCORE 770912.95
AT ITER 3955 NEW BEST:: SOT 2960362 SOS 1093949 HAS SOPS 946712 HAS SOUS 838208 HAS SOUPS 769818 WITH SCORE 770911.949
AT ITER 3966 NEW BEST:: SOT 2958008 SOS 1091595 HAS SOPS 944358 HAS SOUS 837014 HAS SOUPS 768624 WITH SCORE 769715.595
AT ITER 3969 NEW BEST:: SOT 2957831 SOS 1091418 HAS SOPS 943676 HAS SOUS 837165 HAS SOUPS 768270 WITH SCORE 769361.418
AT ITER 3974 NEW BEST:: SOT 2957491 SOS 1091064 HAS SOPS 943322 HAS SOUS 836485 HAS SOUPS 767590 WITH SCORE 768681.064
AT ITER 3978 NEW BEST:: SOT 2957000 SOS 1090482 HAS SOPS 942740 HAS SOUS 835503 HAS SOUPS 766608 WITH SCORE 767698.482
AT ITER 3982 NEW BEST:: SOT 2957000 SOS 1089734 HAS SOPS 941992 HAS SOUS 835171 HAS SOUPS 766276 WITH SCORE 767365.734
AT ITER 3986 NEW BEST:: SOT 2957096 SOS 1089782 HAS SOPS 942040 HAS SOUS 835099 HAS SOUPS 766204 WITH SCORE 767293.782
AT ITER 3998 NEW BEST:: SOT 2957095 SOS 1090188 HAS SOPS 942038 HAS SOUS 835097 HAS SOUPS 766202 WITH SCORE 767292.188
AT ITER 3999 NEW BEST:: SOT 2956998 SOS 1090091 HAS SOPS 941941 HAS SOUS 835069 HAS SOUPS 766174 WITH SCORE 767264.091
AT ITER 4002 NEW BEST:: SOT 2956608 SOS 1089172 HAS SOPS 941022 HAS SOUS 834150 HAS SOUPS 765255 WITH SCORE 766344.172
AT ITER 4007 NEW BEST:: SOT 2956720 SOS 1089252 HAS SOPS 941102 HAS SOUS 834118 HAS SOUPS 765223 WITH SCORE 766312.252
AT ITER 4013 NEW BEST:: SOT 2956489 SOS 1088888 HAS SOPS 940738 HAS SOUS 833887 HAS SOUPS 764992 WITH SCORE 766080.888
AT ITER 4016 NEW BEST:: SOT 2956418 SOS 1088499 HAS SOPS 940349 HAS SOUS 833800 HAS SOUPS 764905 WITH SCORE 765993.499
AT ITER 4026 NEW BEST:: SOT 2955550 SOS 1087574 HAS SOPS 939424 HAS SOUS 833233 HAS SOUPS 764338 WITH SCORE 765425.574
AT ITER 4032 NEW BEST:: SOT 2955550 SOS 1087255 HAS SOPS 939105 HAS SOUS 833232 HAS SOUPS 764337 WITH SCORE 765424.255
AT ITER 4045 NEW BEST:: SOT 2955188 SOS 1086893 HAS SOPS 938743 HAS SOUS 833169 HAS SOUPS 764274 WITH SCORE 765360.893
AT ITER 4050 NEW BEST:: SOT 2954949 SOS 1086444 HAS SOPS 938294 HAS SOUS 832930 HAS SOUPS 764035 WITH SCORE 765121.444
AT ITER 4052 NEW BEST:: SOT 2954761 SOS 1086256 HAS SOPS 938106 HAS SOUS 832742 HAS SOUPS 763847 WITH SCORE 764933.256
AT ITER 4055 NEW BEST:: SOT 2954480 SOS 1085451 HAS SOPS 937301 HAS SOUS 832434 HAS SOUPS 763539 WITH SCORE 764624.451
AT ITER 4060 NEW BEST:: SOT 2953649 SOS 1084620 HAS SOPS 936470 HAS SOUS 831603 HAS SOUPS 762708 WITH SCORE 763792.62
AT ITER 4077 NEW BEST:: SOT 2953631 SOS 1084584 HAS SOPS 936434 HAS SOUS 831576 HAS SOUPS 762681 WITH SCORE 763765.584
AT ITER 4079 NEW BEST:: SOT 2952632 SOS 1083888 HAS SOPS 935738 HAS SOUS 830607 HAS SOUPS 761712 WITH SCORE 762795.888
AT ITER 4083 NEW BEST:: SOT 2952632 SOS 1083478 HAS SOPS 935123 HAS SOUS 830402 HAS SOUPS 761302 WITH SCORE 762385.478
AT ITER 4089 NEW BEST:: SOT 2952584 SOS 1083325 HAS SOPS 934970 HAS SOUS 830354 HAS SOUPS 761254 WITH SCORE 762337.325
AT ITER 4092 NEW BEST:: SOT 2950943 SOS 1080226 HAS SOPS 931871 HAS SOUS 828531 HAS SOUPS 759431 WITH SCORE 760511.226
AT ITER 4100 NEW BEST:: SOT 2950919 SOS 1080410 HAS SOPS 931663 HAS SOUS 828507 HAS SOUPS 759223 WITH SCORE 760303.41
AT ITER 4108 NEW BEST:: SOT 2950843 SOS 1080334 HAS SOPS 931587 HAS SOUS 828431 HAS SOUPS 759147 WITH SCORE 760227.334
AT ITER 4109 NEW BEST:: SOT 2950418 SOS 1081106 HAS SOPS 932359 HAS SOUS 828350 HAS SOUPS 759066 WITH SCORE 760147.106
AT ITER 4114 NEW BEST:: SOT 2951356 SOS 1080459 HAS SOPS 931712 HAS SOUS 828166 HAS SOUPS 758882 WITH SCORE 759962.459
AT ITER 4116 NEW BEST:: SOT 2951240 SOS 1079723 HAS SOPS 931170 HAS SOUS 827740 HAS SOUPS 758650 WITH SCORE 759729.723
AT ITER 4117 NEW BEST:: SOT 2951240 SOS 1079723 HAS SOPS 931132 HAS SOUS 827740 HAS SOUPS 758612 WITH SCORE 759691.723
AT ITER 4133 NEW BEST:: SOT 2951143 SOS 1079626 HAS SOPS 931035 HAS SOUS 827643 HAS SOUPS 758515 WITH SCORE 759594.626
AT ITER 4134 NEW BEST:: SOT 2950949 SOS 1079431 HAS SOPS 930840 HAS SOUS 827448 HAS SOUPS 758320 WITH SCORE 759399.431
AT ITER 4142 NEW BEST:: SOT 2950799 SOS 1078880 HAS SOPS 930289 HAS SOUS 827148 HAS SOUPS 758020 WITH SCORE 759098.88
AT ITER 4145 NEW BEST:: SOT 2950736 SOS 1078817 HAS SOPS 930163 HAS SOUS 827085 HAS SOUPS 757894 WITH SCORE 758972.817
AT ITER 4156 NEW BEST:: SOT 2950181 SOS 1077538 HAS SOPS 928884 HAS SOUS 825999 HAS SOUPS 756808 WITH SCORE 757885.538
AT ITER 4158 NEW BEST:: SOT 2950135 SOS 1077351 HAS SOPS 928745 HAS SOUS 825907 HAS SOUPS 756716 WITH SCORE 757793.351
AT ITER 4161 NEW BEST:: SOT 2950135 SOS 1077449 HAS SOPS 927790 HAS SOUS 825654 HAS SOUPS 756112 WITH SCORE 757189.449
AT ITER 4166 NEW BEST:: SOT 2950016 SOS 1077330 HAS SOPS 927552 HAS SOUS 825535 HAS SOUPS 755874 WITH SCORE 756951.33
AT ITER 4167 NEW BEST:: SOT 2949245 SOS 1076824 HAS SOPS 927046 HAS SOUS 825137 HAS SOUPS 755476 WITH SCORE 756552.824
AT ITER 4169 NEW BEST:: SOT 2948587 SOS 1075560 HAS SOPS 925709 HAS SOUS 824582 HAS SOUPS 754848 WITH SCORE 755923.56
AT ITER 4170 NEW BEST:: SOT 2948587 SOS 1075302 HAS SOPS 925451 HAS SOUS 824582 HAS SOUPS 754848 WITH SCORE 755923.302
AT ITER 4186 NEW BEST:: SOT 2948710 SOS 1075331 HAS SOPS 925422 HAS SOUS 824611 HAS SOUPS 754819 WITH SCORE 755894.331
AT ITER 4196 NEW BEST:: SOT 2948990 SOS 1075083 HAS SOPS 925174 HAS SOUS 824355 HAS SOUPS 754563 WITH SCORE 755638.083
AT ITER 4198 NEW BEST:: SOT 2948465 SOS 1075179 HAS SOPS 925053 HAS SOUS 824430 HAS SOUPS 754442 WITH SCORE 755517.179
AT ITER 4204 NEW BEST:: SOT 2948227 SOS 1075316 HAS SOPS 925190 HAS SOUS 824205 HAS SOUPS 754217 WITH SCORE 755292.316
AT ITER 4206 NEW BEST:: SOT 2948917 SOS 1075509 HAS SOPS 924968 HAS SOUS 823586 HAS SOUPS 753183 WITH SCORE 754258.509
AT ITER 4209 NEW BEST:: SOT 2948917 SOS 1075488 HAS SOPS 924947 HAS SOUS 823565 HAS SOUPS 753162 WITH SCORE 754237.488
AT ITER 4219 NEW BEST:: SOT 2948917 SOS 1074426 HAS SOPS 923885 HAS SOUS 823565 HAS SOUPS 753162 WITH SCORE 754236.426
AT ITER 4222 NEW BEST:: SOT 2947378 SOS 1073202 HAS SOPS 922792 HAS SOUS 822951 HAS SOUPS 752679 WITH SCORE 753752.202
AT ITER 4223 NEW BEST:: SOT 2947378 SOS 1073063 HAS SOPS 922653 HAS SOUS 822812 HAS SOUPS 752540 WITH SCORE 753613.063
AT ITER 4224 NEW BEST:: SOT 2947178 SOS 1072781 HAS SOPS 922371 HAS SOUS 822630 HAS SOUPS 752358 WITH SCORE 753430.781
AT ITER 4228 NEW BEST:: SOT 2946966 SOS 1072139 HAS SOPS 921729 HAS SOUS 821988 HAS SOUPS 751716 WITH SCORE 752788.139
AT ITER 4229 NEW BEST:: SOT 2947055 SOS 1073208 HAS SOPS 922798 HAS SOUS 821930 HAS SOUPS 751658 WITH SCORE 752731.208
AT ITER 4232 NEW BEST:: SOT 2947055 SOS 1073208 HAS SOPS 922798 HAS SOUS 821684 HAS SOUPS 751412 WITH SCORE 752485.208
AT ITER 4238 NEW BEST:: SOT 2947055 SOS 1072658 HAS SOPS 922248 HAS SOUS 821684 HAS SOUPS 751412 WITH SCORE 752484.658
AT ITER 4242 NEW BEST:: SOT 2947055 SOS 1072532 HAS SOPS 922248 HAS SOUS 821621 HAS SOUPS 751412 WITH SCORE 752484.532
AT ITER 4245 NEW BEST:: SOT 2947077 SOS 1073132 HAS SOPS 922065 HAS SOUS 821643 HAS SOUPS 751173 WITH SCORE 752246.132
AT ITER 4252 NEW BEST:: SOT 2947227 SOS 1073625 HAS SOPS 921834 HAS SOUS 822136 HAS SOUPS 750942 WITH SCORE 752015.625
AT ITER 4253 NEW BEST:: SOT 2946978 SOS 1074859 HAS SOPS 921585 HAS SOUS 822393 HAS SOUPS 750693 WITH SCORE 751767.859
AT ITER 4255 NEW BEST:: SOT 2946860 SOS 1074823 HAS SOPS 921444 HAS SOUS 822357 HAS SOUPS 750552 WITH SCORE 751626.823
AT ITER 4259 NEW BEST:: SOT 2947111 SOS 1074074 HAS SOPS 920031 HAS SOUS 821608 HAS SOUPS 749139 WITH SCORE 750213.074
AT ITER 4269 NEW BEST:: SOT 2946830 SOS 1073762 HAS SOPS 919719 HAS SOUS 821440 HAS SOUPS 748971 WITH SCORE 750044.762
AT ITER 4273 NEW BEST:: SOT 2945376 SOS 1073534 HAS SOPS 919491 HAS SOUS 821240 HAS SOUPS 748771 WITH SCORE 749844.534
AT ITER 4290 NEW BEST:: SOT 2945255 SOS 1073171 HAS SOPS 919249 HAS SOUS 821119 HAS SOUPS 748650 WITH SCORE 749723.171
AT ITER 4294 NEW BEST:: SOT 2945255 SOS 1073115 HAS SOPS 919193 HAS SOUS 821119 HAS SOUPS 748650 WITH SCORE 749723.115
AT ITER 4297 NEW BEST:: SOT 2946334 SOS 1072641 HAS SOPS 918458 HAS SOUS 820905 HAS SOUPS 748175 WITH SCORE 749247.641
AT ITER 4305 NEW BEST:: SOT 2946263 SOS 1072966 HAS SOPS 918783 HAS SOUS 820549 HAS SOUPS 747819 WITH SCORE 748891.966
AT ITER 4307 NEW BEST:: SOT 2946085 SOS 1072610 HAS SOPS 918427 HAS SOUS 820371 HAS SOUPS 747641 WITH SCORE 748713.61
AT ITER 4309 NEW BEST:: SOT 2945604 SOS 1072745 HAS SOPS 918562 HAS SOUS 820025 HAS SOUPS 747295 WITH SCORE 748367.745
AT ITER 4321 NEW BEST:: SOT 2944750 SOS 1071393 HAS SOPS 917210 HAS SOUS 819447 HAS SOUPS 746717 WITH SCORE 747788.393
AT ITER 4336 NEW BEST:: SOT 2944766 SOS 1071751 HAS SOPS 917568 HAS SOUS 819308 HAS SOUPS 746578 WITH SCORE 747649.751
AT ITER 4341 NEW BEST:: SOT 2944765 SOS 1071750 HAS SOPS 917566 HAS SOUS 819306 HAS SOUPS 746576 WITH SCORE 747647.75
AT ITER 4345 NEW BEST:: SOT 2941741 SOS 1068310 HAS SOPS 914542 HAS SOUS 816898 HAS SOUPS 744584 WITH SCORE 745652.31
AT ITER 4346 NEW BEST:: SOT 2941709 SOS 1068285 HAS SOPS 914517 HAS SOUS 816850 HAS SOUPS 744536 WITH SCORE 745604.285
AT ITER 4356 NEW BEST:: SOT 2942250 SOS 1067690 HAS SOPS 914102 HAS SOUS 816616 HAS SOUPS 744482 WITH SCORE 745549.69
AT ITER 4358 NEW BEST:: SOT 2941517 SOS 1066957 HAS SOPS 913208 HAS SOUS 816182 HAS SOUPS 744048 WITH SCORE 745114.957
AT ITER 4359 NEW BEST:: SOT 2941517 SOS 1066934 HAS SOPS 913185 HAS SOUS 816159 HAS SOUPS 744025 WITH SCORE 745091.934
AT ITER 4363 NEW BEST:: SOT 2940855 SOS 1066538 HAS SOPS 912644 HAS SOUS 815964 HAS SOUPS 743830 WITH SCORE 744896.538
AT ITER 4376 NEW BEST:: SOT 2940413 SOS 1066940 HAS SOPS 913046 HAS SOUS 815954 HAS SOUPS 743820 WITH SCORE 744886.94
AT ITER 4418 NEW BEST:: SOT 2940413 SOS 1066793 HAS SOPS 912899 HAS SOUS 815807 HAS SOUPS 743673 WITH SCORE 744739.793
AT ITER 4420 NEW BEST:: SOT 2939584 SOS 1065399 HAS SOPS 912537 HAS SOUS 815237 HAS SOUPS 743361 WITH SCORE 744426.399
AT ITER 4428 NEW BEST:: SOT 2939346 SOS 1065161 HAS SOPS 912299 HAS SOUS 814999 HAS SOUPS 743123 WITH SCORE 744188.161
AT ITER 4432 NEW BEST:: SOT 2938812 SOS 1064627 HAS SOPS 911538 HAS SOUS 814074 HAS SOUPS 741971 WITH SCORE 743035.627
AT ITER 4465 NEW BEST:: SOT 2938026 SOS 1063686 HAS SOPS 910597 HAS SOUS 813425 HAS SOUPS 741322 WITH SCORE 742385.686
AT ITER 4466 NEW BEST:: SOT 2938060 SOS 1063720 HAS SOPS 910631 HAS SOUS 813424 HAS SOUPS 741321 WITH SCORE 742384.72
AT ITER 4471 NEW BEST:: SOT 2937806 SOS 1063111 HAS SOPS 910022 HAS SOUS 813323 HAS SOUPS 741220 WITH SCORE 742283.111
AT ITER 4478 NEW BEST:: SOT 2937806 SOS 1063063 HAS SOPS 909974 HAS SOUS 813323 HAS SOUPS 741220 WITH SCORE 742283.063
AT ITER 4493 NEW BEST:: SOT 2937734 SOS 1063669 HAS SOPS 910580 HAS SOUS 813251 HAS SOUPS 741148 WITH SCORE 742211.669
AT ITER 4503 NEW BEST:: SOT 2935851 SOS 1061815 HAS SOPS 908726 HAS SOUS 812062 HAS SOUPS 739959 WITH SCORE 741020.815
AT ITER 4510 NEW BEST:: SOT 2935576 SOS 1060502 HAS SOPS 907413 HAS SOUS 810749 HAS SOUPS 738646 WITH SCORE 739706.502
AT ITER 4545 NEW BEST:: SOT 2934655 SOS 1058703 HAS SOPS 905614 HAS SOUS 808950 HAS SOUPS 736847 WITH SCORE 737905.703
AT ITER 4547 NEW BEST:: SOT 2934634 SOS 1058668 HAS SOPS 905579 HAS SOUS 808929 HAS SOUPS 736826 WITH SCORE 737884.668
AT ITER 4550 NEW BEST:: SOT 2935367 SOS 1059401 HAS SOPS 905549 HAS SOUS 809662 HAS SOUPS 736796 WITH SCORE 737855.401
AT ITER 4558 NEW BEST:: SOT 2933467 SOS 1057364 HAS SOPS 903512 HAS SOUS 808726 HAS SOUPS 735860 WITH SCORE 736917.364
AT ITER 4561 NEW BEST:: SOT 2933315 SOS 1056269 HAS SOPS 902417 HAS SOUS 807631 HAS SOUPS 734765 WITH SCORE 735821.269
AT ITER 4564 NEW BEST:: SOT 2933314 SOS 1056106 HAS SOPS 902334 HAS SOUS 807629 HAS SOUPS 734763 WITH SCORE 735819.106
AT ITER 4579 NEW BEST:: SOT 2933314 SOS 1056066 HAS SOPS 902294 HAS SOUS 807589 HAS SOUPS 734723 WITH SCORE 735779.066
AT ITER 4590 NEW BEST:: SOT 2933278 SOS 1056030 HAS SOPS 902258 HAS SOUS 807554 HAS SOUPS 734688 WITH SCORE 735744.03
AT ITER 4599 NEW BEST:: SOT 2932596 SOS 1055295 HAS SOPS 901521 HAS SOUS 806531 HAS SOUPS 733663 WITH SCORE 734718.295
AT ITER 4601 NEW BEST:: SOT 2932788 SOS 1055487 HAS SOPS 901473 HAS SOUS 806675 HAS SOUPS 733567 WITH SCORE 734622.487
AT ITER 4605 NEW BEST:: SOT 2932274 SOS 1054996 HAS SOPS 900982 HAS SOUS 806296 HAS SOUPS 733188 WITH SCORE 734242.996
AT ITER 4610 NEW BEST:: SOT 2932333 SOS 1055055 HAS SOPS 900979 HAS SOUS 806293 HAS SOUPS 733185 WITH SCORE 734240.055
AT ITER 4622 NEW BEST:: SOT 2932353 SOS 1054941 HAS SOPS 900865 HAS SOUS 806179 HAS SOUPS 733071 WITH SCORE 734125.941
AT ITER 4626 NEW BEST:: SOT 2932339 SOS 1054927 HAS SOPS 900851 HAS SOUS 806165 HAS SOUPS 733057 WITH SCORE 734111.927
AT ITER 4632 NEW BEST:: SOT 2932231 SOS 1054819 HAS SOPS 900743 HAS SOUS 806160 HAS SOUPS 733052 WITH SCORE 734106.819
AT ITER 4633 NEW BEST:: SOT 2932079 SOS 1054667 HAS SOPS 900591 HAS SOUS 806008 HAS SOUPS 732900 WITH SCORE 733954.667
AT ITER 4651 NEW BEST:: SOT 2932045 SOS 1053963 HAS SOPS 899887 HAS SOUS 805639 HAS SOUPS 732531 WITH SCORE 733584.963
AT ITER 4652 NEW BEST:: SOT 2931989 SOS 1053907 HAS SOPS 899831 HAS SOUS 805583 HAS SOUPS 732475 WITH SCORE 733528.907
AT ITER 4658 NEW BEST:: SOT 2932105 SOS 1053900 HAS SOPS 899824 HAS SOUS 805559 HAS SOUPS 732451 WITH SCORE 733504.9
AT ITER 4667 NEW BEST:: SOT 2931985 SOS 1053427 HAS SOPS 899351 HAS SOUS 805326 HAS SOUPS 732218 WITH SCORE 733271.427
AT ITER 4670 NEW BEST:: SOT 2931994 SOS 1056250 HAS SOPS 897900 HAS SOUS 804804 HAS SOUPS 730767 WITH SCORE 731823.25
AT ITER 4677 NEW BEST:: SOT 2931952 SOS 1055874 HAS SOPS 897524 HAS SOUS 804470 HAS SOUPS 730433 WITH SCORE 731488.874
AT ITER 4686 NEW BEST:: SOT 2931691 SOS 1055613 HAS SOPS 897184 HAS SOUS 804391 HAS SOUPS 730275 WITH SCORE 731330.613
AT ITER 4704 NEW BEST:: SOT 2931846 SOS 1055768 HAS SOPS 897069 HAS SOUS 804442 HAS SOUPS 730160 WITH SCORE 731215.768
AT ITER 4720 NEW BEST:: SOT 2931667 SOS 1055589 HAS SOPS 895804 HAS SOUS 804713 HAS SOUPS 729740 WITH SCORE 730795.589
AT ITER 4755 NEW BEST:: SOT 2931667 SOS 1055784 HAS SOPS 895999 HAS SOUS 804625 HAS SOUPS 729652 WITH SCORE 730707.784
AT ITER 4760 NEW BEST:: SOT 2931454 SOS 1055571 HAS SOPS 895573 HAS SOUS 804412 HAS SOUPS 729226 WITH SCORE 730281.571
AT ITER 4761 NEW BEST:: SOT 2930254 SOS 1053543 HAS SOPS 894517 HAS SOUS 803584 HAS SOUPS 728722 WITH SCORE 729775.543
AT ITER 4764 NEW BEST:: SOT 2930224 SOS 1053513 HAS SOPS 895018 HAS SOUS 803524 HAS SOUPS 728662 WITH SCORE 729715.513
AT ITER 4769 NEW BEST:: SOT 2930192 SOS 1053449 HAS SOPS 894954 HAS SOUS 803476 HAS SOUPS 728614 WITH SCORE 729667.449
AT ITER 4783 NEW BEST:: SOT 2930192 SOS 1053386 HAS SOPS 894891 HAS SOUS 803476 HAS SOUPS 728614 WITH SCORE 729667.386
AT ITER 4787 NEW BEST:: SOT 2930471 SOS 1053337 HAS SOPS 894842 HAS SOUS 803360 HAS SOUPS 728498 WITH SCORE 729551.337
AT ITER 4796 NEW BEST:: SOT 2930264 SOS 1052854 HAS SOPS 894635 HAS SOUS 803222 HAS SOUPS 728429 WITH SCORE 729481.854
AT ITER 4797 NEW BEST:: SOT 2930178 SOS 1052639 HAS SOPS 894420 HAS SOUS 803093 HAS SOUPS 728300 WITH SCORE 729352.639
AT ITER 4798 NEW BEST:: SOT 2930178 SOS 1052276 HAS SOPS 894420 HAS SOUS 802972 HAS SOUPS 728300 WITH SCORE 729352.276
AT ITER 4800 NEW BEST:: SOT 2929657 SOS 1051755 HAS SOPS 893899 HAS SOUS 802964 HAS SOUPS 728292 WITH SCORE 729343.755
AT ITER 4851 NEW BEST:: SOT 2929606 SOS 1051704 HAS SOPS 893722 HAS SOUS 802862 HAS SOUPS 728190 WITH SCORE 729241.704
AT ITER 4855 NEW BEST:: SOT 2929606 SOS 1050684 HAS SOPS 892498 HAS SOUS 802658 HAS SOUPS 727782 WITH SCORE 728832.684
AT ITER 4864 NEW BEST:: SOT 2929606 SOS 1050684 HAS SOPS 892498 HAS SOUS 802167 HAS SOUPS 727291 WITH SCORE 728341.684
AT ITER 4865 NEW BEST:: SOT 2929606 SOS 1050536 HAS SOPS 892202 HAS SOUS 802019 HAS SOUPS 726995 WITH SCORE 728045.536
AT ITER 4876 NEW BEST:: SOT 2928463 SOS 1048631 HAS SOPS 890297 HAS SOUS 800876 HAS SOUPS 725852 WITH SCORE 726900.631
AT ITER 4879 NEW BEST:: SOT 2928167 SOS 1048335 HAS SOPS 890054 HAS SOUS 800580 HAS SOUPS 725609 WITH SCORE 726657.335
AT ITER 4892 NEW BEST:: SOT 2928769 SOS 1048937 HAS SOPS 890656 HAS SOUS 800497 HAS SOUPS 725526 WITH SCORE 726574.937
AT ITER 4898 NEW BEST:: SOT 2928521 SOS 1048167 HAS SOPS 890408 HAS SOUS 799727 HAS SOUPS 725278 WITH SCORE 726326.167
AT ITER 4906 NEW BEST:: SOT 2928521 SOS 1048109 HAS SOPS 890350 HAS SOUS 799727 HAS SOUPS 725278 WITH SCORE 726326.109
AT ITER 4912 NEW BEST:: SOT 2928521 SOS 1048096 HAS SOPS 890337 HAS SOUS 799714 HAS SOUPS 725265 WITH SCORE 726313.096
AT ITER 4914 NEW BEST:: SOT 2928063 SOS 1047318 HAS SOPS 889559 HAS SOUS 798936 HAS SOUPS 724487 WITH SCORE 725534.318
AT ITER 4916 NEW BEST:: SOT 2927958 SOS 1046932 HAS SOPS 889173 HAS SOUS 798655 HAS SOUPS 724206 WITH SCORE 725252.932
AT ITER 4922 NEW BEST:: SOT 2927830 SOS 1046802 HAS SOPS 889222 HAS SOUS 798578 HAS SOUPS 724129 WITH SCORE 725175.802
AT ITER 4932 NEW BEST:: SOT 2927778 SOS 1046750 HAS SOPS 889118 HAS SOUS 798526 HAS SOUPS 724025 WITH SCORE 725071.75
AT ITER 4934 NEW BEST:: SOT 2927651 SOS 1046294 HAS SOPS 888662 HAS SOUS 798197 HAS SOUPS 723696 WITH SCORE 724742.294
AT ITER 4938 NEW BEST:: SOT 2927399 SOS 1046042 HAS SOPS 888410 HAS SOUS 798071 HAS SOUPS 723570 WITH SCORE 724616.042
AT ITER 4950 NEW BEST:: SOT 2927277 SOS 1044895 HAS SOPS 887263 HAS SOUS 796924 HAS SOUPS 722423 WITH SCORE 723467.895
AT ITER 4953 NEW BEST:: SOT 2927190 SOS 1044735 HAS SOPS 887086 HAS SOUS 796763 HAS SOUPS 722246 WITH SCORE 723290.735
AT ITER 4968 NEW BEST:: SOT 2926509 SOS 1044054 HAS SOPS 886405 HAS SOUS 796082 HAS SOUPS 721565 WITH SCORE 722609.054
AT ITER 4980 NEW BEST:: SOT 2926381 SOS 1043926 HAS SOPS 886277 HAS SOUS 795954 HAS SOUPS 721437 WITH SCORE 722480.926
AT ITER 4987 NEW BEST:: SOT 2926375 SOS 1043908 HAS SOPS 886259 HAS SOUS 795942 HAS SOUPS 721425 WITH SCORE 722468.908
AT ITER 4999 NEW BEST:: SOT 2927932 SOS 1043084 HAS SOPS 885435 HAS SOUS 795190 HAS SOUPS 720673 WITH SCORE 721716.084
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-96a-CTLFireability-00 (AF( ( ( ( ( ((potential((tk(P509)>=1) & (tk(P1683)>=1)))) | ((potential((tk(P193)>=1)))) ) & ((potential((tk(P193)>=1) & (tk(P2053)>=1)))) ) | ( ( ((potential((tk(P1424)>=1)))) | ((potential((tk(P1490)>=1)))) ) | ((potential((tk(P680)>=1) & (tk(P2025)>=1)))) ) ) | (EU( ((potential((tk(P1258)>=1)))) , ((potential((tk(P57)>=1) & (tk(P1338)>=1)))) )) )))
PROPERTY: AutoFlight-PT-96a-CTLFireability-01 (EF( ( ( (AG( ((potential((tk(P1097)>=1)))))) & ((potential((tk(P22)>=1) & (tk(P1333)>=1)))) ) & (! (EX( ((potential((tk(P758)>=1) & (tk(P2181)>=1))))))) )))
PROPERTY: AutoFlight-PT-96a-CTLFireability-02 ( (EG( (! (EG( ((potential((tk(P2184)>=1) & (tk(P2251)>=1))))))))) | (EX( ( ( ( ((potential((tk(P1210)>=1)))) | ((potential((tk(P515)>=1) & (tk(P1695)>=1)))) ) | (! ((potential((tk(P1162)>=1))))) ) & ((potential((tk(P1067)>=1)))) ))) )
PROPERTY: AutoFlight-PT-96a-CTLFireability-03 (AU( (! (AG( ((potential((tk(P155)>=1) & (tk(P888)>=1))))))) , (! (AF( ((potential((tk(P326)>=1) & (tk(P1879)>=1))))))) ))
PROPERTY: AutoFlight-PT-96a-CTLFireability-04 (AF( (EG( (! ( ((potential((tk(P375)>=1)))) | ((potential((tk(P702)>=1)))) ))))))
PROPERTY: AutoFlight-PT-96a-CTLFireability-05 (AF( (AG( ((potential((tk(P1078)>=1))))))))
PROPERTY: AutoFlight-PT-96a-CTLFireability-06 (! (EG( (AF( ((potential((tk(P247)>=1) & (tk(P1158)>=1)))))))))
PROPERTY: AutoFlight-PT-96a-CTLFireability-07 (EF( ( ( (! ((potential((tk(P2143)>=1))))) | (AF( ((potential((tk(P192)>=1)))))) ) & ( (AX( ((potential((tk(P657)>=1)))))) & (AF( ((potential((tk(P1631)>=1)))))) ) )))
PROPERTY: AutoFlight-PT-96a-CTLFireability-08 (EF( ((potential((tk(P233)>=1) & (tk(P1156)>=1))))))
PROPERTY: AutoFlight-PT-96a-CTLFireability-09 (EU( (AX( ( ((potential((tk(P175)>=1)))) & ((potential((tk(P2138)>=1)))) ))) , (EG( (! ((potential((tk(P1631)>=1))))))) ))
PROPERTY: AutoFlight-PT-96a-CTLFireability-10 (AU( (AX( (! ((potential((tk(P783)>=1))))))) , (EF( ( ((potential((tk(P353)>=1)))) & ((potential((tk(P67)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-96a-CTLFireability-11 (EX( (EG( ( ((potential((tk(P1613)>=1)))) | (! ((potential((tk(P109)>=1) & (tk(P1765)>=1))))) )))))
PROPERTY: AutoFlight-PT-96a-CTLFireability-12 ( (AF( ( ( ((potential((tk(P1328)>=1)))) & ( ((potential((tk(P1505)>=1)))) & ((potential((tk(P162)>=1) & (tk(P889)>=1)))) ) ) & ( ((potential((tk(P606)>=1)))) & ( ((potential((tk(P677)>=1) & (tk(P2019)>=1)))) & ((potential((tk(P463)>=1) & (tk(P1642)>=1)))) ) ) ))) & (! (AF( ( ( ((potential((tk(P648)>=1)))) | ((potential((tk(P46)>=1) & (tk(P1711)>=1)))) ) & (! ((potential((tk(P2087)>=1) & (tk(P2250)>=1))))) )))) )
PROPERTY: AutoFlight-PT-96a-CTLFireability-13 (AG( (EF( ( ( ((potential((tk(P81)>=1)))) & ((potential((tk(P106)>=1) & (tk(P1345)>=1)))) ) | ( ((potential((tk(P62)>=1)))) & ((potential((tk(P391)>=1)))) ) )))))
PROPERTY: AutoFlight-PT-96a-CTLFireability-14 (AF( (EF( (EF( ((potential((tk(P146)>=1))))))))))
PROPERTY: AutoFlight-PT-96a-CTLFireability-15 (! (AF( ( (EG( ((potential((tk(P95)>=1)))))) & ( ( ((potential((tk(P1232)>=1)))) & ((potential((tk(P1527)>=1)))) ) & ((potential((tk(P53)>=1)))) ) ))))

BK_STOP 1589197222862

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 476 Aborted ${SMART} ${INPUT_SM}

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is AutoFlight-PT-96a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508600516"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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