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

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

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

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.9K Mar 25 09:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 09:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 920K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589081275727

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 10a
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: 2186 places, 3192 transitions, 11972 arcs.
AT ITER 0 NEW BEST:: SOT 3873696 SOS 2663901 HAS SOPS 2663901 HAS SOUS 1754084 HAS SOUPS 1754084 WITH SCORE 1756747.901
AT ITER 1 NEW BEST:: SOT 3873634 SOS 2663839 HAS SOPS 2663839 HAS SOUS 1754064 HAS SOUPS 1754064 WITH SCORE 1756727.839
AT ITER 4 NEW BEST:: SOT 3873634 SOS 2662152 HAS SOPS 2662152 HAS SOUS 1753884 HAS SOUPS 1753884 WITH SCORE 1756546.152
AT ITER 11 NEW BEST:: SOT 3873634 SOS 2661475 HAS SOPS 2661475 HAS SOUS 1753207 HAS SOUPS 1753207 WITH SCORE 1755868.475
AT ITER 13 NEW BEST:: SOT 3872220 SOS 2657517 HAS SOPS 2657517 HAS SOUS 1750355 HAS SOUPS 1750355 WITH SCORE 1753012.517
AT ITER 21 NEW BEST:: SOT 3846014 SOS 2641304 HAS SOPS 2641304 HAS SOUS 1724481 HAS SOUPS 1724481 WITH SCORE 1727122.304
AT ITER 22 NEW BEST:: SOT 3846014 SOS 2639276 HAS SOPS 2639276 HAS SOUS 1723805 HAS SOUPS 1723805 WITH SCORE 1726444.276
AT ITER 27 NEW BEST:: SOT 3845379 SOS 2638460 HAS SOPS 2638460 HAS SOUS 1723805 HAS SOUPS 1723805 WITH SCORE 1726443.46
AT ITER 30 NEW BEST:: SOT 3821369 SOS 2619186 HAS SOPS 2619186 HAS SOUS 1699421 HAS SOUPS 1699421 WITH SCORE 1702040.186
AT ITER 40 NEW BEST:: SOT 3817339 SOS 2616620 HAS SOPS 2616620 HAS SOUS 1694626 HAS SOUPS 1694626 WITH SCORE 1697242.62
AT ITER 41 NEW BEST:: SOT 3817339 SOS 2615675 HAS SOPS 2615675 HAS SOUS 1693681 HAS SOUPS 1693681 WITH SCORE 1696296.675
AT ITER 42 NEW BEST:: SOT 3816897 SOS 2615233 HAS SOPS 2615233 HAS SOUS 1693239 HAS SOUPS 1693239 WITH SCORE 1695854.233
AT ITER 43 NEW BEST:: SOT 3814959 SOS 2613295 HAS SOPS 2613295 HAS SOUS 1691301 HAS SOUPS 1691301 WITH SCORE 1693914.295
AT ITER 48 NEW BEST:: SOT 3814959 SOS 2613144 HAS SOPS 2613144 HAS SOUS 1691301 HAS SOUPS 1691301 WITH SCORE 1693914.144
AT ITER 78 NEW BEST:: SOT 3814959 SOS 2611857 HAS SOPS 2611857 HAS SOUS 1691300 HAS SOUPS 1691300 WITH SCORE 1693911.857
AT ITER 79 NEW BEST:: SOT 3814959 SOS 2611554 HAS SOPS 2611554 HAS SOUS 1690997 HAS SOUPS 1690997 WITH SCORE 1693608.554
AT ITER 94 NEW BEST:: SOT 3813903 SOS 2613743 HAS SOPS 2613743 HAS SOUS 1690380 HAS SOUPS 1690380 WITH SCORE 1692993.743
AT ITER 95 NEW BEST:: SOT 3813903 SOS 2613743 HAS SOPS 2613743 HAS SOUS 1689911 HAS SOUPS 1689911 WITH SCORE 1692524.743
AT ITER 106 NEW BEST:: SOT 3813221 SOS 2613061 HAS SOPS 2613061 HAS SOUS 1689221 HAS SOUPS 1689221 WITH SCORE 1691834.061
AT ITER 116 NEW BEST:: SOT 3808646 SOS 2609380 HAS SOPS 2609380 HAS SOUS 1683180 HAS SOUPS 1683180 WITH SCORE 1685789.38
AT ITER 117 NEW BEST:: SOT 3807674 SOS 2607440 HAS SOPS 2607440 HAS SOUS 1682210 HAS SOUPS 1682210 WITH SCORE 1684817.44
AT ITER 118 NEW BEST:: SOT 3806395 SOS 2599551 HAS SOPS 2599551 HAS SOUS 1680812 HAS SOUPS 1680812 WITH SCORE 1683411.551
AT ITER 120 NEW BEST:: SOT 3806395 SOS 2598864 HAS SOPS 2598864 HAS SOUS 1680790 HAS SOUPS 1680790 WITH SCORE 1683388.864
AT ITER 126 NEW BEST:: SOT 3805381 SOS 2592462 HAS SOPS 2592462 HAS SOUS 1678176 HAS SOUPS 1678176 WITH SCORE 1680768.462
AT ITER 130 NEW BEST:: SOT 3804415 SOS 2591496 HAS SOPS 2591496 HAS SOUS 1678164 HAS SOUPS 1678164 WITH SCORE 1680755.496
AT ITER 132 NEW BEST:: SOT 3804463 SOS 2591544 HAS SOPS 2591544 HAS SOUS 1678116 HAS SOUPS 1678116 WITH SCORE 1680707.544
AT ITER 138 NEW BEST:: SOT 3793089 SOS 2577541 HAS SOPS 2577541 HAS SOUS 1666150 HAS SOUPS 1666150 WITH SCORE 1668727.541
AT ITER 146 NEW BEST:: SOT 3793089 SOS 2577058 HAS SOPS 2577058 HAS SOUS 1665667 HAS SOUPS 1665667 WITH SCORE 1668244.058
AT ITER 148 NEW BEST:: SOT 3791050 SOS 2575019 HAS SOPS 2575019 HAS SOUS 1663628 HAS SOUPS 1663628 WITH SCORE 1666203.019
AT ITER 152 NEW BEST:: SOT 3790261 SOS 2574230 HAS SOPS 2574230 HAS SOUS 1662837 HAS SOUPS 1662837 WITH SCORE 1665411.23
AT ITER 155 NEW BEST:: SOT 3790564 SOS 2572686 HAS SOPS 2572686 HAS SOUS 1662371 HAS SOUPS 1662371 WITH SCORE 1664943.686
AT ITER 168 NEW BEST:: SOT 3790170 SOS 2572292 HAS SOPS 2572292 HAS SOUS 1661977 HAS SOUPS 1661977 WITH SCORE 1664549.292
AT ITER 169 NEW BEST:: SOT 3777937 SOS 2560050 HAS SOPS 2560050 HAS SOUS 1649735 HAS SOUPS 1649735 WITH SCORE 1652295.05
AT ITER 172 NEW BEST:: SOT 3778493 SOS 2559425 HAS SOPS 2559425 HAS SOUS 1649365 HAS SOUPS 1649365 WITH SCORE 1651924.425
AT ITER 175 NEW BEST:: SOT 3778493 SOS 2558928 HAS SOPS 2558928 HAS SOUS 1648370 HAS SOUPS 1648370 WITH SCORE 1650928.928
AT ITER 183 NEW BEST:: SOT 3777301 SOS 2558707 HAS SOPS 2558707 HAS SOUS 1648149 HAS SOUPS 1648149 WITH SCORE 1650707.707
AT ITER 185 NEW BEST:: SOT 3777301 SOS 2558369 HAS SOPS 2558369 HAS SOUS 1648149 HAS SOUPS 1648149 WITH SCORE 1650707.369
AT ITER 187 NEW BEST:: SOT 3776216 SOS 2555149 HAS SOPS 2555149 HAS SOUS 1645977 HAS SOUPS 1645977 WITH SCORE 1648532.149
AT ITER 188 NEW BEST:: SOT 3772334 SOS 2556252 HAS SOPS 2556252 HAS SOUS 1643712 HAS SOUPS 1643712 WITH SCORE 1646268.252
AT ITER 192 NEW BEST:: SOT 3765242 SOS 2549469 HAS SOPS 2549469 HAS SOUS 1636757 HAS SOUPS 1636757 WITH SCORE 1639306.469
AT ITER 207 NEW BEST:: SOT 3764810 SOS 2544248 HAS SOPS 2544248 HAS SOUS 1635872 HAS SOUPS 1635872 WITH SCORE 1638416.248
AT ITER 209 NEW BEST:: SOT 3764810 SOS 2540113 HAS SOPS 2540113 HAS SOUS 1635872 HAS SOUPS 1635872 WITH SCORE 1638412.113
AT ITER 211 NEW BEST:: SOT 3765583 SOS 2540170 HAS SOPS 2540170 HAS SOUS 1635239 HAS SOUPS 1635239 WITH SCORE 1637779.17
AT ITER 214 NEW BEST:: SOT 3764763 SOS 2539350 HAS SOPS 2539350 HAS SOUS 1634418 HAS SOUPS 1634418 WITH SCORE 1636957.35
AT ITER 216 NEW BEST:: SOT 3764479 SOS 2536238 HAS SOPS 2536238 HAS SOUS 1633850 HAS SOUPS 1633850 WITH SCORE 1636386.238
AT ITER 218 NEW BEST:: SOT 3764466 SOS 2536225 HAS SOPS 2536225 HAS SOUS 1633850 HAS SOUPS 1633850 WITH SCORE 1636386.225
AT ITER 220 NEW BEST:: SOT 3764423 SOS 2536118 HAS SOPS 2536118 HAS SOUS 1633743 HAS SOUPS 1633743 WITH SCORE 1636279.118
AT ITER 222 NEW BEST:: SOT 3764532 SOS 2534933 HAS SOPS 2534933 HAS SOUS 1631491 HAS SOUPS 1631491 WITH SCORE 1634025.933
AT ITER 226 NEW BEST:: SOT 3764174 SOS 2533359 HAS SOPS 2533359 HAS SOUS 1631230 HAS SOUPS 1631230 WITH SCORE 1633763.359
AT ITER 232 NEW BEST:: SOT 3762865 SOS 2531735 HAS SOPS 2531735 HAS SOUS 1631092 HAS SOUPS 1631092 WITH SCORE 1633623.735
AT ITER 237 NEW BEST:: SOT 3762865 SOS 2531536 HAS SOPS 2531536 HAS SOUS 1630893 HAS SOUPS 1630893 WITH SCORE 1633424.536
AT ITER 239 NEW BEST:: SOT 3762865 SOS 2529495 HAS SOPS 2529495 HAS SOUS 1630890 HAS SOUPS 1630890 WITH SCORE 1633419.495
AT ITER 240 NEW BEST:: SOT 3762084 SOS 2528704 HAS SOPS 2528704 HAS SOUS 1630099 HAS SOUPS 1630099 WITH SCORE 1632627.704
AT ITER 250 NEW BEST:: SOT 3756170 SOS 2529908 HAS SOPS 2529908 HAS SOUS 1625812 HAS SOUPS 1625812 WITH SCORE 1628341.908
AT ITER 256 NEW BEST:: SOT 3755424 SOS 2529162 HAS SOPS 2529162 HAS SOUS 1625811 HAS SOUPS 1625811 WITH SCORE 1628340.162
AT ITER 257 NEW BEST:: SOT 3755424 SOS 2528169 HAS SOPS 2528169 HAS SOUS 1625736 HAS SOUPS 1625736 WITH SCORE 1628264.169
AT ITER 259 NEW BEST:: SOT 3755424 SOS 2527323 HAS SOPS 2527323 HAS SOUS 1623198 HAS SOUPS 1623198 WITH SCORE 1625725.323
AT ITER 261 NEW BEST:: SOT 3755350 SOS 2527249 HAS SOPS 2527249 HAS SOUS 1623123 HAS SOUPS 1623123 WITH SCORE 1625650.249
AT ITER 263 NEW BEST:: SOT 3755350 SOS 2527177 HAS SOPS 2527177 HAS SOUS 1623123 HAS SOUPS 1623123 WITH SCORE 1625650.177
AT ITER 268 NEW BEST:: SOT 3754606 SOS 2526433 HAS SOPS 2526433 HAS SOUS 1622377 HAS SOUPS 1622377 WITH SCORE 1624903.433
AT ITER 269 NEW BEST:: SOT 3753792 SOS 2526375 HAS SOPS 2526375 HAS SOUS 1621659 HAS SOUPS 1621659 WITH SCORE 1624185.375
AT ITER 270 NEW BEST:: SOT 3753083 SOS 2525658 HAS SOPS 2525658 HAS SOUS 1621651 HAS SOUPS 1621651 WITH SCORE 1624176.658
AT ITER 271 NEW BEST:: SOT 3753083 SOS 2525658 HAS SOPS 2525658 HAS SOUS 1621644 HAS SOUPS 1621644 WITH SCORE 1624169.658
AT ITER 273 NEW BEST:: SOT 3753083 SOS 2525350 HAS SOPS 2525350 HAS SOUS 1621332 HAS SOUPS 1621332 WITH SCORE 1623857.35
AT ITER 277 NEW BEST:: SOT 3751779 SOS 2518680 HAS SOPS 2518680 HAS SOUS 1619873 HAS SOUPS 1619873 WITH SCORE 1622391.68
AT ITER 279 NEW BEST:: SOT 3748962 SOS 2515863 HAS SOPS 2515863 HAS SOUS 1617056 HAS SOUPS 1617056 WITH SCORE 1619571.863
AT ITER 284 NEW BEST:: SOT 3748597 SOS 2515498 HAS SOPS 2515498 HAS SOUS 1616690 HAS SOUPS 1616690 WITH SCORE 1619205.498
AT ITER 289 NEW BEST:: SOT 3748031 SOS 2514897 HAS SOPS 2514897 HAS SOUS 1616523 HAS SOUPS 1616523 WITH SCORE 1619037.897
AT ITER 291 NEW BEST:: SOT 3748005 SOS 2514054 HAS SOPS 2514054 HAS SOUS 1616471 HAS SOUPS 1616471 WITH SCORE 1618985.054
AT ITER 311 NEW BEST:: SOT 3747737 SOS 2513204 HAS SOPS 2513204 HAS SOUS 1615935 HAS SOUPS 1615935 WITH SCORE 1618448.204
AT ITER 312 NEW BEST:: SOT 3746879 SOS 2512346 HAS SOPS 2512346 HAS SOUS 1615932 HAS SOUPS 1615932 WITH SCORE 1618444.346
AT ITER 314 NEW BEST:: SOT 3746538 SOS 2512335 HAS SOPS 2512335 HAS SOUS 1615921 HAS SOUPS 1615921 WITH SCORE 1618433.335
AT ITER 320 NEW BEST:: SOT 3745905 SOS 2510752 HAS SOPS 2510752 HAS SOUS 1614651 HAS SOUPS 1614651 WITH SCORE 1617161.752
AT ITER 327 NEW BEST:: SOT 3745856 SOS 2510703 HAS SOPS 2510703 HAS SOUS 1614602 HAS SOUPS 1614602 WITH SCORE 1617112.703
AT ITER 341 NEW BEST:: SOT 3742904 SOS 2507751 HAS SOPS 2507751 HAS SOUS 1611650 HAS SOUPS 1611650 WITH SCORE 1614157.751
AT ITER 343 NEW BEST:: SOT 3743270 SOS 2507357 HAS SOPS 2507357 HAS SOUS 1611256 HAS SOUPS 1611256 WITH SCORE 1613763.357
AT ITER 344 NEW BEST:: SOT 3736708 SOS 2502107 HAS SOPS 2502107 HAS SOUS 1603422 HAS SOUPS 1603422 WITH SCORE 1605924.107
AT ITER 345 NEW BEST:: SOT 3736292 SOS 2501690 HAS SOPS 2501690 HAS SOUS 1603005 HAS SOUPS 1603005 WITH SCORE 1605506.69
AT ITER 346 NEW BEST:: SOT 3731940 SOS 2498092 HAS SOPS 2498092 HAS SOUS 1598774 HAS SOUPS 1598774 WITH SCORE 1601272.092
AT ITER 349 NEW BEST:: SOT 3731714 SOS 2497639 HAS SOPS 2497639 HAS SOUS 1598531 HAS SOUPS 1598531 WITH SCORE 1601028.639
AT ITER 350 NEW BEST:: SOT 3730814 SOS 2495238 HAS SOPS 2495238 HAS SOUS 1596731 HAS SOUPS 1596731 WITH SCORE 1599226.238
AT ITER 354 NEW BEST:: SOT 3730814 SOS 2497778 HAS SOPS 2497778 HAS SOUS 1596194 HAS SOUPS 1596194 WITH SCORE 1598691.778
AT ITER 356 NEW BEST:: SOT 3730597 SOS 2497561 HAS SOPS 2497561 HAS SOUS 1595976 HAS SOUPS 1595976 WITH SCORE 1598473.561
AT ITER 360 NEW BEST:: SOT 3730596 SOS 2497560 HAS SOPS 2497560 HAS SOUS 1595975 HAS SOUPS 1595975 WITH SCORE 1598472.56
AT ITER 362 NEW BEST:: SOT 3730266 SOS 2497230 HAS SOPS 2497230 HAS SOUS 1595645 HAS SOUPS 1595645 WITH SCORE 1598142.23
AT ITER 365 NEW BEST:: SOT 3729563 SOS 2496527 HAS SOPS 2496527 HAS SOUS 1594942 HAS SOUPS 1594942 WITH SCORE 1597438.527
AT ITER 375 NEW BEST:: SOT 3729563 SOS 2497409 HAS SOPS 2497409 HAS SOUS 1593417 HAS SOUPS 1593417 WITH SCORE 1595914.409
AT ITER 377 NEW BEST:: SOT 3727957 SOS 2495795 HAS SOPS 2495795 HAS SOUS 1591810 HAS SOUPS 1591810 WITH SCORE 1594305.795
AT ITER 379 NEW BEST:: SOT 3727493 SOS 2493021 HAS SOPS 2493021 HAS SOUS 1590357 HAS SOUPS 1590357 WITH SCORE 1592850.021
AT ITER 383 NEW BEST:: SOT 3727493 SOS 2493013 HAS SOPS 2493013 HAS SOUS 1590349 HAS SOUPS 1590349 WITH SCORE 1592842.013
AT ITER 386 NEW BEST:: SOT 3727493 SOS 2492519 HAS SOPS 2492519 HAS SOUS 1589855 HAS SOUPS 1589855 WITH SCORE 1592347.519
AT ITER 388 NEW BEST:: SOT 3727174 SOS 2492200 HAS SOPS 2492200 HAS SOUS 1589852 HAS SOUPS 1589852 WITH SCORE 1592344.2
AT ITER 390 NEW BEST:: SOT 3727174 SOS 2492200 HAS SOPS 2492200 HAS SOUS 1589223 HAS SOUPS 1589223 WITH SCORE 1591715.2
AT ITER 391 NEW BEST:: SOT 3726670 SOS 2491120 HAS SOPS 2491120 HAS SOUS 1588719 HAS SOUPS 1588719 WITH SCORE 1591210.12
AT ITER 393 NEW BEST:: SOT 3726457 SOS 2490907 HAS SOPS 2490907 HAS SOUS 1588692 HAS SOUPS 1588692 WITH SCORE 1591182.907
AT ITER 397 NEW BEST:: SOT 3725825 SOS 2490275 HAS SOPS 2490275 HAS SOUS 1588052 HAS SOUPS 1588052 WITH SCORE 1590542.275
AT ITER 398 NEW BEST:: SOT 3725288 SOS 2489738 HAS SOPS 2489738 HAS SOUS 1587539 HAS SOUPS 1587539 WITH SCORE 1590028.738
AT ITER 399 NEW BEST:: SOT 3725288 SOS 2488339 HAS SOPS 2488339 HAS SOUS 1587534 HAS SOUPS 1587534 WITH SCORE 1590022.339
AT ITER 400 NEW BEST:: SOT 3724645 SOS 2487696 HAS SOPS 2487696 HAS SOUS 1587504 HAS SOUPS 1587504 WITH SCORE 1589991.696
AT ITER 404 NEW BEST:: SOT 3723963 SOS 2483319 HAS SOPS 2483319 HAS SOUS 1586536 HAS SOUPS 1586536 WITH SCORE 1589019.319
AT ITER 405 NEW BEST:: SOT 3721510 SOS 2480767 HAS SOPS 2480767 HAS SOUS 1583984 HAS SOUPS 1583984 WITH SCORE 1586464.767
AT ITER 416 NEW BEST:: SOT 3721508 SOS 2481461 HAS SOPS 2481461 HAS SOUS 1583384 HAS SOUPS 1583384 WITH SCORE 1585865.461
AT ITER 427 NEW BEST:: SOT 3720966 SOS 2480919 HAS SOPS 2480919 HAS SOUS 1583251 HAS SOUPS 1583251 WITH SCORE 1585731.919
AT ITER 432 NEW BEST:: SOT 3715626 SOS 2475579 HAS SOPS 2475579 HAS SOUS 1577911 HAS SOUPS 1577911 WITH SCORE 1580386.579
AT ITER 441 NEW BEST:: SOT 3714838 SOS 2475566 HAS SOPS 2475566 HAS SOUS 1577897 HAS SOUPS 1577897 WITH SCORE 1580372.566
AT ITER 447 NEW BEST:: SOT 3714756 SOS 2475483 HAS SOPS 2475483 HAS SOUS 1577814 HAS SOUPS 1577814 WITH SCORE 1580289.483
AT ITER 448 NEW BEST:: SOT 3714756 SOS 2475482 HAS SOPS 2475482 HAS SOUS 1577813 HAS SOUPS 1577813 WITH SCORE 1580288.482
AT ITER 452 NEW BEST:: SOT 3712103 SOS 2472829 HAS SOPS 2472829 HAS SOUS 1575160 HAS SOUPS 1575160 WITH SCORE 1577632.829
AT ITER 455 NEW BEST:: SOT 3711343 SOS 2472069 HAS SOPS 2472069 HAS SOUS 1575081 HAS SOUPS 1575081 WITH SCORE 1577553.069
AT ITER 459 NEW BEST:: SOT 3709459 SOS 2470185 HAS SOPS 2470185 HAS SOUS 1573197 HAS SOUPS 1573197 WITH SCORE 1575667.185
AT ITER 463 NEW BEST:: SOT 3708752 SOS 2470536 HAS SOPS 2470536 HAS SOUS 1573040 HAS SOUPS 1573040 WITH SCORE 1575510.536
AT ITER 468 NEW BEST:: SOT 3708876 SOS 2469494 HAS SOPS 2469494 HAS SOUS 1572866 HAS SOUPS 1572866 WITH SCORE 1575335.494
AT ITER 473 NEW BEST:: SOT 3707047 SOS 2467655 HAS SOPS 2467655 HAS SOUS 1571027 HAS SOUPS 1571027 WITH SCORE 1573494.655
AT ITER 478 NEW BEST:: SOT 3706866 SOS 2467474 HAS SOPS 2467474 HAS SOUS 1571027 HAS SOUPS 1571027 WITH SCORE 1573494.474
AT ITER 479 NEW BEST:: SOT 3706698 SOS 2469147 HAS SOPS 2469147 HAS SOUS 1570841 HAS SOUPS 1570841 WITH SCORE 1573310.147
AT ITER 481 NEW BEST:: SOT 3706648 SOS 2469097 HAS SOPS 2469097 HAS SOUS 1570833 HAS SOUPS 1570833 WITH SCORE 1573302.097
AT ITER 498 NEW BEST:: SOT 3706647 SOS 2467390 HAS SOPS 2467390 HAS SOUS 1569126 HAS SOUPS 1569126 WITH SCORE 1571593.39
AT ITER 505 NEW BEST:: SOT 3687998 SOS 2448741 HAS SOPS 2448741 HAS SOUS 1550476 HAS SOUPS 1550476 WITH SCORE 1552924.741
AT ITER 506 NEW BEST:: SOT 3687114 SOS 2447380 HAS SOPS 2447380 HAS SOUS 1549934 HAS SOUPS 1549934 WITH SCORE 1552381.38
AT ITER 508 NEW BEST:: SOT 3687114 SOS 2445240 HAS SOPS 2445240 HAS SOUS 1547900 HAS SOUPS 1547900 WITH SCORE 1550345.24
AT ITER 510 NEW BEST:: SOT 3686184 SOS 2437659 HAS SOPS 2437659 HAS SOUS 1546051 HAS SOUPS 1546051 WITH SCORE 1548488.659
AT ITER 515 NEW BEST:: SOT 3678547 SOS 2430019 HAS SOPS 2430019 HAS SOUS 1538411 HAS SOUPS 1538411 WITH SCORE 1540841.019
AT ITER 516 NEW BEST:: SOT 3678675 SOS 2428729 HAS SOPS 2428729 HAS SOUS 1537764 HAS SOUPS 1537764 WITH SCORE 1540192.729
AT ITER 519 NEW BEST:: SOT 3678285 SOS 2428271 HAS SOPS 2428271 HAS SOUS 1537306 HAS SOUPS 1537306 WITH SCORE 1539734.271
AT ITER 527 NEW BEST:: SOT 3678256 SOS 2428240 HAS SOPS 2428240 HAS SOUS 1537275 HAS SOUPS 1537275 WITH SCORE 1539703.24
AT ITER 530 NEW BEST:: SOT 3678955 SOS 2427364 HAS SOPS 2427364 HAS SOUS 1536364 HAS SOUPS 1536364 WITH SCORE 1538791.364
AT ITER 531 NEW BEST:: SOT 3678988 SOS 2426743 HAS SOPS 2426743 HAS SOUS 1535100 HAS SOUPS 1535100 WITH SCORE 1537526.743
AT ITER 533 NEW BEST:: SOT 3678988 SOS 2424265 HAS SOPS 2424265 HAS SOUS 1535099 HAS SOUPS 1535099 WITH SCORE 1537523.265
AT ITER 534 NEW BEST:: SOT 3678988 SOS 2424209 HAS SOPS 2424209 HAS SOUS 1535099 HAS SOUPS 1535099 WITH SCORE 1537523.209
AT ITER 537 NEW BEST:: SOT 3678913 SOS 2424134 HAS SOPS 2424134 HAS SOUS 1535097 HAS SOUPS 1535097 WITH SCORE 1537521.134
AT ITER 546 NEW BEST:: SOT 3678358 SOS 2423579 HAS SOPS 2423579 HAS SOUS 1534542 HAS SOUPS 1534542 WITH SCORE 1536965.579
AT ITER 551 NEW BEST:: SOT 3677855 SOS 2423076 HAS SOPS 2423076 HAS SOUS 1534517 HAS SOUPS 1534517 WITH SCORE 1536940.076
AT ITER 563 NEW BEST:: SOT 3677855 SOS 2421575 HAS SOPS 2421575 HAS SOUS 1533867 HAS SOUPS 1533867 WITH SCORE 1536288.575
AT ITER 565 NEW BEST:: SOT 3677779 SOS 2420403 HAS SOPS 2420403 HAS SOUS 1533861 HAS SOUPS 1533861 WITH SCORE 1536281.403
AT ITER 570 NEW BEST:: SOT 3676719 SOS 2419334 HAS SOPS 2419334 HAS SOUS 1532791 HAS SOUPS 1532791 WITH SCORE 1535210.334
AT ITER 574 NEW BEST:: SOT 3676682 SOS 2419260 HAS SOPS 2419260 HAS SOUS 1532660 HAS SOUPS 1532660 WITH SCORE 1535079.26
AT ITER 579 NEW BEST:: SOT 3676660 SOS 2420205 HAS SOPS 2420205 HAS SOUS 1532250 HAS SOUPS 1532250 WITH SCORE 1534670.205
AT ITER 582 NEW BEST:: SOT 3676380 SOS 2419365 HAS SOPS 2419365 HAS SOUS 1531410 HAS SOUPS 1531410 WITH SCORE 1533829.365
AT ITER 586 NEW BEST:: SOT 3676380 SOS 2419246 HAS SOPS 2419246 HAS SOUS 1531351 HAS SOUPS 1531351 WITH SCORE 1533770.246
AT ITER 591 NEW BEST:: SOT 3668358 SOS 2411381 HAS SOPS 2411381 HAS SOUS 1522712 HAS SOUPS 1522712 WITH SCORE 1525123.381
AT ITER 592 NEW BEST:: SOT 3665830 SOS 2408853 HAS SOPS 2408853 HAS SOUS 1520184 HAS SOUPS 1520184 WITH SCORE 1522592.853
AT ITER 593 NEW BEST:: SOT 3665737 SOS 2408760 HAS SOPS 2408760 HAS SOUS 1520091 HAS SOUPS 1520091 WITH SCORE 1522499.76
AT ITER 595 NEW BEST:: SOT 3665736 SOS 2408471 HAS SOPS 2408471 HAS SOUS 1519850 HAS SOUPS 1519850 WITH SCORE 1522258.471
AT ITER 598 NEW BEST:: SOT 3665731 SOS 2407972 HAS SOPS 2407972 HAS SOUS 1519719 HAS SOUPS 1519719 WITH SCORE 1522126.972
AT ITER 602 NEW BEST:: SOT 3665498 SOS 2403701 HAS SOPS 2403701 HAS SOUS 1518428 HAS SOUPS 1518428 WITH SCORE 1520831.701
AT ITER 606 NEW BEST:: SOT 3665361 SOS 2403564 HAS SOPS 2403564 HAS SOUS 1518280 HAS SOUPS 1518280 WITH SCORE 1520683.564
AT ITER 613 NEW BEST:: SOT 3665048 SOS 2402830 HAS SOPS 2402830 HAS SOUS 1517831 HAS SOUPS 1517831 WITH SCORE 1520233.83
AT ITER 614 NEW BEST:: SOT 3660453 SOS 2398235 HAS SOPS 2398235 HAS SOUS 1513236 HAS SOUPS 1513236 WITH SCORE 1515634.235
AT ITER 615 NEW BEST:: SOT 3660741 SOS 2397277 HAS SOPS 2397277 HAS SOUS 1512278 HAS SOUPS 1512278 WITH SCORE 1514675.277
AT ITER 616 NEW BEST:: SOT 3658716 SOS 2395238 HAS SOPS 2395238 HAS SOUS 1510239 HAS SOUPS 1510239 WITH SCORE 1512634.238
AT ITER 622 NEW BEST:: SOT 3658963 SOS 2395483 HAS SOPS 2395483 HAS SOUS 1509990 HAS SOUPS 1509990 WITH SCORE 1512385.483
AT ITER 640 NEW BEST:: SOT 3658099 SOS 2393753 HAS SOPS 2393753 HAS SOUS 1509122 HAS SOUPS 1509122 WITH SCORE 1511515.753
AT ITER 647 NEW BEST:: SOT 3658099 SOS 2394384 HAS SOPS 2394384 HAS SOUS 1508892 HAS SOUPS 1508892 WITH SCORE 1511286.384
AT ITER 649 NEW BEST:: SOT 3658049 SOS 2394271 HAS SOPS 2394271 HAS SOUS 1508779 HAS SOUPS 1508779 WITH SCORE 1511173.271
AT ITER 653 NEW BEST:: SOT 3656841 SOS 2392781 HAS SOPS 2392781 HAS SOUS 1506863 HAS SOUPS 1506863 WITH SCORE 1509255.781
AT ITER 655 NEW BEST:: SOT 3656413 SOS 2392353 HAS SOPS 2392353 HAS SOUS 1506604 HAS SOUPS 1506604 WITH SCORE 1508996.353
AT ITER 672 NEW BEST:: SOT 3655639 SOS 2390517 HAS SOPS 2390517 HAS SOUS 1506393 HAS SOUPS 1506393 WITH SCORE 1508783.517
AT ITER 679 NEW BEST:: SOT 3655639 SOS 2390517 HAS SOPS 2390517 HAS SOUS 1506388 HAS SOUPS 1506388 WITH SCORE 1508778.517
AT ITER 681 NEW BEST:: SOT 3655639 SOS 2389782 HAS SOPS 2389782 HAS SOUS 1506387 HAS SOUPS 1506387 WITH SCORE 1508776.782
AT ITER 687 NEW BEST:: SOT 3655639 SOS 2389231 HAS SOPS 2389231 HAS SOUS 1505285 HAS SOUPS 1505285 WITH SCORE 1507674.231
AT ITER 691 NEW BEST:: SOT 3655524 SOS 2389123 HAS SOPS 2389123 HAS SOUS 1505267 HAS SOUPS 1505267 WITH SCORE 1507656.123
AT ITER 692 NEW BEST:: SOT 3655524 SOS 2388630 HAS SOPS 2388630 HAS SOUS 1505103 HAS SOUPS 1505103 WITH SCORE 1507491.63
AT ITER 693 NEW BEST:: SOT 3654466 SOS 2387572 HAS SOPS 2387572 HAS SOUS 1504045 HAS SOUPS 1504045 WITH SCORE 1506432.572
AT ITER 703 NEW BEST:: SOT 3654227 SOS 2387331 HAS SOPS 2387331 HAS SOUS 1504020 HAS SOUPS 1504020 WITH SCORE 1506407.331
AT ITER 711 NEW BEST:: SOT 3653881 SOS 2386985 HAS SOPS 2386985 HAS SOUS 1503674 HAS SOUPS 1503674 WITH SCORE 1506060.985
AT ITER 723 NEW BEST:: SOT 3653879 SOS 2386983 HAS SOPS 2386983 HAS SOUS 1503672 HAS SOUPS 1503672 WITH SCORE 1506058.983
AT ITER 725 NEW BEST:: SOT 3653690 SOS 2386794 HAS SOPS 2386794 HAS SOUS 1503671 HAS SOUPS 1503671 WITH SCORE 1506057.794
AT ITER 728 NEW BEST:: SOT 3652419 SOS 2386369 HAS SOPS 2386369 HAS SOUS 1502017 HAS SOUPS 1502017 WITH SCORE 1504403.369
AT ITER 729 NEW BEST:: SOT 3655936 SOS 2389183 HAS SOPS 2389183 HAS SOUS 1500925 HAS SOUPS 1500925 WITH SCORE 1503314.183
AT ITER 735 NEW BEST:: SOT 3656334 SOS 2388625 HAS SOPS 2388625 HAS SOUS 1500650 HAS SOUPS 1500650 WITH SCORE 1503038.625
AT ITER 739 NEW BEST:: SOT 3655878 SOS 2388169 HAS SOPS 2388169 HAS SOUS 1500193 HAS SOUPS 1500193 WITH SCORE 1502581.169
AT ITER 741 NEW BEST:: SOT 3654559 SOS 2386624 HAS SOPS 2386624 HAS SOUS 1498648 HAS SOUPS 1498648 WITH SCORE 1501034.624
AT ITER 748 NEW BEST:: SOT 3654559 SOS 2386624 HAS SOPS 2386624 HAS SOUS 1498647 HAS SOUPS 1498647 WITH SCORE 1501033.624
AT ITER 750 NEW BEST:: SOT 3654449 SOS 2385357 HAS SOPS 2385357 HAS SOUS 1498500 HAS SOUPS 1498500 WITH SCORE 1500885.357
AT ITER 765 NEW BEST:: SOT 3643776 SOS 2374684 HAS SOPS 2374684 HAS SOUS 1487827 HAS SOUPS 1487827 WITH SCORE 1490201.684
AT ITER 766 NEW BEST:: SOT 3642215 SOS 2373115 HAS SOPS 2373115 HAS SOUS 1486258 HAS SOUPS 1486258 WITH SCORE 1488631.115
AT ITER 768 NEW BEST:: SOT 3642116 SOS 2372323 HAS SOPS 2372323 HAS SOUS 1486060 HAS SOUPS 1486060 WITH SCORE 1488432.323
AT ITER 769 NEW BEST:: SOT 3642116 SOS 2372043 HAS SOPS 2372043 HAS SOUS 1485780 HAS SOUPS 1485780 WITH SCORE 1488152.043
AT ITER 775 NEW BEST:: SOT 3642017 SOS 2372043 HAS SOPS 2372043 HAS SOUS 1485779 HAS SOUPS 1485779 WITH SCORE 1488151.043
AT ITER 777 NEW BEST:: SOT 3642017 SOS 2372043 HAS SOPS 2372043 HAS SOUS 1485778 HAS SOUPS 1485778 WITH SCORE 1488150.043
AT ITER 779 NEW BEST:: SOT 3642157 SOS 2369637 HAS SOPS 2369637 HAS SOUS 1485749 HAS SOUPS 1485749 WITH SCORE 1488118.637
AT ITER 781 NEW BEST:: SOT 3639781 SOS 2367260 HAS SOPS 2367260 HAS SOUS 1483372 HAS SOUPS 1483372 WITH SCORE 1485739.26
AT ITER 789 NEW BEST:: SOT 3639706 SOS 2366804 HAS SOPS 2366804 HAS SOUS 1483034 HAS SOUPS 1483034 WITH SCORE 1485400.804
AT ITER 793 NEW BEST:: SOT 3639704 SOS 2366802 HAS SOPS 2366802 HAS SOUS 1483032 HAS SOUPS 1483032 WITH SCORE 1485398.802
AT ITER 797 NEW BEST:: SOT 3639704 SOS 2364182 HAS SOPS 2364182 HAS SOUS 1483032 HAS SOUPS 1483032 WITH SCORE 1485396.182
AT ITER 798 NEW BEST:: SOT 3625237 SOS 2349715 HAS SOPS 2349715 HAS SOUS 1468563 HAS SOUPS 1468563 WITH SCORE 1470912.715
AT ITER 800 NEW BEST:: SOT 3625100 SOS 2349578 HAS SOPS 2349578 HAS SOUS 1468426 HAS SOUPS 1468426 WITH SCORE 1470775.578
AT ITER 803 NEW BEST:: SOT 3625100 SOS 2349179 HAS SOPS 2349179 HAS SOUS 1468426 HAS SOUPS 1468426 WITH SCORE 1470775.179
AT ITER 804 NEW BEST:: SOT 3625691 SOS 2349215 HAS SOPS 2349215 HAS SOUS 1468051 HAS SOUPS 1468051 WITH SCORE 1470400.215
AT ITER 805 NEW BEST:: SOT 3625691 SOS 2349215 HAS SOPS 2349215 HAS SOUS 1468050 HAS SOUPS 1468050 WITH SCORE 1470399.215
AT ITER 817 NEW BEST:: SOT 3624386 SOS 2347374 HAS SOPS 2347374 HAS SOUS 1466390 HAS SOUPS 1466390 WITH SCORE 1468737.374
AT ITER 820 NEW BEST:: SOT 3604012 SOS 2326096 HAS SOPS 2326096 HAS SOUS 1443297 HAS SOUPS 1443297 WITH SCORE 1445623.096
AT ITER 827 NEW BEST:: SOT 3591142 SOS 2313343 HAS SOPS 2313343 HAS SOUS 1430450 HAS SOUPS 1430450 WITH SCORE 1432763.343
AT ITER 829 NEW BEST:: SOT 3590435 SOS 2311222 HAS SOPS 2311222 HAS SOUS 1429742 HAS SOUPS 1429742 WITH SCORE 1432053.222
AT ITER 830 NEW BEST:: SOT 3589790 SOS 2309557 HAS SOPS 2309557 HAS SOUS 1428225 HAS SOUPS 1428225 WITH SCORE 1430534.557
AT ITER 837 NEW BEST:: SOT 3588920 SOS 2307603 HAS SOPS 2307603 HAS SOUS 1427281 HAS SOUPS 1427281 WITH SCORE 1429588.603
AT ITER 841 NEW BEST:: SOT 3588847 SOS 2307530 HAS SOPS 2307530 HAS SOUS 1427262 HAS SOUPS 1427262 WITH SCORE 1429569.53
AT ITER 843 NEW BEST:: SOT 3588771 SOS 2307454 HAS SOPS 2307454 HAS SOUS 1427182 HAS SOUPS 1427182 WITH SCORE 1429489.454
AT ITER 846 NEW BEST:: SOT 3588008 SOS 2305287 HAS SOPS 2305287 HAS SOUS 1425015 HAS SOUPS 1425015 WITH SCORE 1427320.287
AT ITER 849 NEW BEST:: SOT 3588006 SOS 2305285 HAS SOPS 2305285 HAS SOUS 1424960 HAS SOUPS 1424960 WITH SCORE 1427265.285
AT ITER 857 NEW BEST:: SOT 3587068 SOS 2303783 HAS SOPS 2303783 HAS SOUS 1424091 HAS SOUPS 1424091 WITH SCORE 1426394.783
AT ITER 863 NEW BEST:: SOT 3586945 SOS 2303535 HAS SOPS 2303535 HAS SOUS 1423843 HAS SOUPS 1423843 WITH SCORE 1426146.535
AT ITER 866 NEW BEST:: SOT 3586945 SOS 2302415 HAS SOPS 2302415 HAS SOUS 1423333 HAS SOUPS 1423333 WITH SCORE 1425635.415
AT ITER 872 NEW BEST:: SOT 3586938 SOS 2298829 HAS SOPS 2298829 HAS SOUS 1422761 HAS SOUPS 1422761 WITH SCORE 1425059.829
AT ITER 881 NEW BEST:: SOT 3586297 SOS 2296147 HAS SOPS 2296147 HAS SOUS 1420680 HAS SOUPS 1420680 WITH SCORE 1422976.147
AT ITER 884 NEW BEST:: SOT 3584793 SOS 2294643 HAS SOPS 2294643 HAS SOUS 1419454 HAS SOUPS 1419454 WITH SCORE 1421748.643
AT ITER 894 NEW BEST:: SOT 3584793 SOS 2294140 HAS SOPS 2294140 HAS SOUS 1419454 HAS SOUPS 1419454 WITH SCORE 1421748.14
AT ITER 895 NEW BEST:: SOT 3584550 SOS 2295567 HAS SOPS 2295567 HAS SOUS 1418575 HAS SOUPS 1418575 WITH SCORE 1420870.567
AT ITER 897 NEW BEST:: SOT 3588462 SOS 2298794 HAS SOPS 2298794 HAS SOUS 1417890 HAS SOUPS 1417890 WITH SCORE 1420188.794
AT ITER 905 NEW BEST:: SOT 3587928 SOS 2295993 HAS SOPS 2295993 HAS SOUS 1417165 HAS SOUPS 1417165 WITH SCORE 1419460.993
AT ITER 912 NEW BEST:: SOT 3587794 SOS 2295816 HAS SOPS 2295816 HAS SOUS 1417098 HAS SOUPS 1417098 WITH SCORE 1419393.816
AT ITER 918 NEW BEST:: SOT 3587793 SOS 2294561 HAS SOPS 2294561 HAS SOUS 1417096 HAS SOUPS 1417096 WITH SCORE 1419390.561
AT ITER 924 NEW BEST:: SOT 3587369 SOS 2294235 HAS SOPS 2294235 HAS SOUS 1416452 HAS SOUPS 1416452 WITH SCORE 1418746.235
AT ITER 930 NEW BEST:: SOT 3586463 SOS 2289925 HAS SOPS 2289925 HAS SOUS 1413728 HAS SOUPS 1413728 WITH SCORE 1416017.925
AT ITER 932 NEW BEST:: SOT 3586463 SOS 2289924 HAS SOPS 2289924 HAS SOUS 1413727 HAS SOUPS 1413727 WITH SCORE 1416016.924
AT ITER 933 NEW BEST:: SOT 3585774 SOS 2288206 HAS SOPS 2288206 HAS SOUS 1411949 HAS SOUPS 1411949 WITH SCORE 1414237.206
AT ITER 934 NEW BEST:: SOT 3585774 SOS 2288517 HAS SOPS 2288517 HAS SOUS 1411685 HAS SOUPS 1411685 WITH SCORE 1413973.517
AT ITER 937 NEW BEST:: SOT 3585774 SOS 2288517 HAS SOPS 2288517 HAS SOUS 1411641 HAS SOUPS 1411641 WITH SCORE 1413929.517
AT ITER 942 NEW BEST:: SOT 3585590 SOS 2288701 HAS SOPS 2288701 HAS SOUS 1411535 HAS SOUPS 1411535 WITH SCORE 1413823.701
AT ITER 945 NEW BEST:: SOT 3585019 SOS 2288629 HAS SOPS 2288629 HAS SOUS 1410950 HAS SOUPS 1410950 WITH SCORE 1413238.629
AT ITER 948 NEW BEST:: SOT 3578873 SOS 2282483 HAS SOPS 2282483 HAS SOUS 1404858 HAS SOUPS 1404858 WITH SCORE 1407140.483
AT ITER 956 NEW BEST:: SOT 3579251 SOS 2282860 HAS SOPS 2282860 HAS SOUS 1404855 HAS SOUPS 1404855 WITH SCORE 1407137.86
AT ITER 963 NEW BEST:: SOT 3577591 SOS 2281200 HAS SOPS 2281200 HAS SOUS 1403269 HAS SOUPS 1403269 WITH SCORE 1405550.2
AT ITER 983 NEW BEST:: SOT 3577591 SOS 2280992 HAS SOPS 2280992 HAS SOUS 1403009 HAS SOUPS 1403009 WITH SCORE 1405289.992
AT ITER 985 NEW BEST:: SOT 3577177 SOS 2280133 HAS SOPS 2280133 HAS SOUS 1402180 HAS SOUPS 1402180 WITH SCORE 1404460.133
AT ITER 987 NEW BEST:: SOT 3577162 SOS 2280103 HAS SOPS 2280103 HAS SOUS 1402150 HAS SOUPS 1402150 WITH SCORE 1404430.103
AT ITER 995 NEW BEST:: SOT 3577200 SOS 2279857 HAS SOPS 2279857 HAS SOUS 1401904 HAS SOUPS 1401904 WITH SCORE 1404183.857
AT ITER 996 NEW BEST:: SOT 3577047 SOS 2279704 HAS SOPS 2279704 HAS SOUS 1401750 HAS SOUPS 1401750 WITH SCORE 1404029.704
AT ITER 998 NEW BEST:: SOT 3570582 SOS 2273342 HAS SOPS 2273342 HAS SOUS 1395388 HAS SOUPS 1395388 WITH SCORE 1397661.342
AT ITER 1000 NEW BEST:: SOT 3569986 SOS 2272745 HAS SOPS 2272745 HAS SOUS 1394791 HAS SOUPS 1394791 WITH SCORE 1397063.745
AT ITER 1018 NEW BEST:: SOT 3569291 SOS 2272050 HAS SOPS 2272050 HAS SOUS 1394096 HAS SOUPS 1394096 WITH SCORE 1396368.05
AT ITER 1026 NEW BEST:: SOT 3569290 SOS 2271511 HAS SOPS 2271511 HAS SOUS 1394094 HAS SOUPS 1394094 WITH SCORE 1396365.511
AT ITER 1035 NEW BEST:: SOT 3569290 SOS 2271127 HAS SOPS 2271127 HAS SOUS 1394090 HAS SOUPS 1394090 WITH SCORE 1396361.127
AT ITER 1039 NEW BEST:: SOT 3569750 SOS 2271459 HAS SOPS 2271459 HAS SOUS 1393834 HAS SOUPS 1393834 WITH SCORE 1396105.459
AT ITER 1043 NEW BEST:: SOT 3569748 SOS 2271457 HAS SOPS 2271457 HAS SOUS 1393832 HAS SOUPS 1393832 WITH SCORE 1396103.457
AT ITER 1044 NEW BEST:: SOT 3569744 SOS 2270675 HAS SOPS 2270675 HAS SOUS 1393583 HAS SOUPS 1393583 WITH SCORE 1395853.675
AT ITER 1047 NEW BEST:: SOT 3570283 SOS 2270976 HAS SOPS 2270976 HAS SOUS 1393556 HAS SOUPS 1393556 WITH SCORE 1395826.976
AT ITER 1049 NEW BEST:: SOT 3570546 SOS 2269727 HAS SOPS 2269727 HAS SOUS 1392876 HAS SOUPS 1392876 WITH SCORE 1395145.727
AT ITER 1051 NEW BEST:: SOT 3571209 SOS 2269714 HAS SOPS 2269714 HAS SOUS 1392875 HAS SOUPS 1392875 WITH SCORE 1395144.714
AT ITER 1056 NEW BEST:: SOT 3570576 SOS 2269080 HAS SOPS 2269080 HAS SOUS 1392873 HAS SOUPS 1392873 WITH SCORE 1395142.08
AT ITER 1057 NEW BEST:: SOT 3570390 SOS 2268831 HAS SOPS 2268831 HAS SOUS 1392624 HAS SOUPS 1392624 WITH SCORE 1394892.831
AT ITER 1065 NEW BEST:: SOT 3569520 SOS 2267961 HAS SOPS 2267961 HAS SOUS 1391754 HAS SOUPS 1391754 WITH SCORE 1394021.961
AT ITER 1067 NEW BEST:: SOT 3567458 SOS 2267795 HAS SOPS 2267795 HAS SOUS 1390167 HAS SOUPS 1390167 WITH SCORE 1392434.795
AT ITER 1068 NEW BEST:: SOT 3567458 SOS 2267377 HAS SOPS 2267377 HAS SOUS 1390167 HAS SOUPS 1390167 WITH SCORE 1392434.377
AT ITER 1073 NEW BEST:: SOT 3565644 SOS 2265662 HAS SOPS 2265662 HAS SOUS 1389568 HAS SOUPS 1389568 WITH SCORE 1391833.662
AT ITER 1075 NEW BEST:: SOT 3565644 SOS 2267487 HAS SOPS 2267487 HAS SOUS 1389486 HAS SOUPS 1389486 WITH SCORE 1391753.487
AT ITER 1082 NEW BEST:: SOT 3565081 SOS 2266467 HAS SOPS 2266467 HAS SOUS 1389100 HAS SOUPS 1389100 WITH SCORE 1391366.467
AT ITER 1084 NEW BEST:: SOT 3564834 SOS 2266330 HAS SOPS 2266330 HAS SOUS 1389005 HAS SOUPS 1389005 WITH SCORE 1391271.33
AT ITER 1088 NEW BEST:: SOT 3564226 SOS 2265721 HAS SOPS 2265721 HAS SOUS 1388396 HAS SOUPS 1388396 WITH SCORE 1390661.721
AT ITER 1101 NEW BEST:: SOT 3560226 SOS 2269252 HAS SOPS 2269252 HAS SOUS 1386151 HAS SOUPS 1386151 WITH SCORE 1388420.252
AT ITER 1102 NEW BEST:: SOT 3559404 SOS 2268429 HAS SOPS 2268429 HAS SOUS 1385500 HAS SOUPS 1385500 WITH SCORE 1387768.429
AT ITER 1110 NEW BEST:: SOT 3558465 SOS 2268670 HAS SOPS 2268670 HAS SOUS 1385349 HAS SOUPS 1385349 WITH SCORE 1387617.67
AT ITER 1111 NEW BEST:: SOT 3558098 SOS 2266619 HAS SOPS 2266619 HAS SOUS 1385059 HAS SOUPS 1385059 WITH SCORE 1387325.619
AT ITER 1114 NEW BEST:: SOT 3540880 SOS 2253467 HAS SOPS 2253467 HAS SOUS 1365934 HAS SOUPS 1365934 WITH SCORE 1368187.467
AT ITER 1117 NEW BEST:: SOT 3540879 SOS 2253112 HAS SOPS 2253112 HAS SOUS 1365755 HAS SOUPS 1365755 WITH SCORE 1368008.112
AT ITER 1123 NEW BEST:: SOT 3533476 SOS 2247121 HAS SOPS 2247121 HAS SOUS 1358808 HAS SOUPS 1358808 WITH SCORE 1361055.121
AT ITER 1135 NEW BEST:: SOT 3533476 SOS 2245887 HAS SOPS 2245887 HAS SOUS 1358182 HAS SOUPS 1358182 WITH SCORE 1360427.887
AT ITER 1138 NEW BEST:: SOT 3533468 SOS 2244598 HAS SOPS 2244598 HAS SOUS 1357105 HAS SOUPS 1357105 WITH SCORE 1359349.598
AT ITER 1159 NEW BEST:: SOT 3532984 SOS 2243451 HAS SOPS 2243451 HAS SOUS 1355958 HAS SOUPS 1355958 WITH SCORE 1358201.451
AT ITER 1162 NEW BEST:: SOT 3532452 SOS 2242919 HAS SOPS 2242919 HAS SOUS 1355956 HAS SOUPS 1355956 WITH SCORE 1358198.919
AT ITER 1190 NEW BEST:: SOT 3532381 SOS 2242239 HAS SOPS 2242239 HAS SOUS 1355789 HAS SOUPS 1355789 WITH SCORE 1358031.239
AT ITER 1199 NEW BEST:: SOT 3532381 SOS 2241428 HAS SOPS 2241428 HAS SOUS 1355789 HAS SOUPS 1355789 WITH SCORE 1358030.428
AT ITER 1205 NEW BEST:: SOT 3530868 SOS 2239915 HAS SOPS 2239915 HAS SOUS 1354276 HAS SOUPS 1354276 WITH SCORE 1356515.915
AT ITER 1208 NEW BEST:: SOT 3530858 SOS 2239741 HAS SOPS 2239741 HAS SOUS 1354256 HAS SOUPS 1354256 WITH SCORE 1356495.741
AT ITER 1211 NEW BEST:: SOT 3530858 SOS 2239210 HAS SOPS 2239210 HAS SOUS 1353442 HAS SOUPS 1353442 WITH SCORE 1355681.21
AT ITER 1219 NEW BEST:: SOT 3523742 SOS 2232094 HAS SOPS 2232094 HAS SOUS 1346326 HAS SOUPS 1346326 WITH SCORE 1348558.094
AT ITER 1225 NEW BEST:: SOT 3522258 SOS 2230239 HAS SOPS 2230239 HAS SOUS 1345584 HAS SOUPS 1345584 WITH SCORE 1347814.239
AT ITER 1228 NEW BEST:: SOT 3522863 SOS 2227994 HAS SOPS 2227994 HAS SOUS 1344570 HAS SOUPS 1344570 WITH SCORE 1346797.994
AT ITER 1229 NEW BEST:: SOT 3522524 SOS 2226788 HAS SOPS 2226788 HAS SOUS 1344199 HAS SOUPS 1344199 WITH SCORE 1346425.788
AT ITER 1230 NEW BEST:: SOT 3521013 SOS 2226454 HAS SOPS 2226454 HAS SOUS 1343474 HAS SOUPS 1343474 WITH SCORE 1345700.454
AT ITER 1235 NEW BEST:: SOT 3520628 SOS 2226370 HAS SOPS 2226370 HAS SOUS 1343456 HAS SOUPS 1343456 WITH SCORE 1345682.37
AT ITER 1241 NEW BEST:: SOT 3519981 SOS 2225722 HAS SOPS 2225722 HAS SOUS 1343454 HAS SOUPS 1343454 WITH SCORE 1345679.722
AT ITER 1248 NEW BEST:: SOT 3519683 SOS 2224990 HAS SOPS 2224990 HAS SOUS 1342722 HAS SOUPS 1342722 WITH SCORE 1344946.99
AT ITER 1254 NEW BEST:: SOT 3519683 SOS 2224461 HAS SOPS 2224461 HAS SOUS 1342717 HAS SOUPS 1342717 WITH SCORE 1344941.461
AT ITER 1273 NEW BEST:: SOT 3519683 SOS 2224450 HAS SOPS 2224450 HAS SOUS 1342657 HAS SOUPS 1342657 WITH SCORE 1344881.45
AT ITER 1274 NEW BEST:: SOT 3513436 SOS 2218203 HAS SOPS 2218203 HAS SOUS 1336410 HAS SOUPS 1336410 WITH SCORE 1338628.203
AT ITER 1279 NEW BEST:: SOT 3513436 SOS 2218196 HAS SOPS 2218196 HAS SOUS 1336130 HAS SOUPS 1336130 WITH SCORE 1338348.196
AT ITER 1293 NEW BEST:: SOT 3513340 SOS 2218100 HAS SOPS 2218100 HAS SOUS 1336107 HAS SOUPS 1336107 WITH SCORE 1338325.1
AT ITER 1306 NEW BEST:: SOT 3513334 SOS 2218093 HAS SOPS 2218093 HAS SOUS 1336100 HAS SOUPS 1336100 WITH SCORE 1338318.093
AT ITER 1307 NEW BEST:: SOT 3507359 SOS 2211805 HAS SOPS 2211805 HAS SOUS 1329811 HAS SOUPS 1329811 WITH SCORE 1332022.805
AT ITER 1318 NEW BEST:: SOT 3507359 SOS 2210195 HAS SOPS 2210195 HAS SOUS 1329683 HAS SOUPS 1329683 WITH SCORE 1331893.195
AT ITER 1322 NEW BEST:: SOT 3506562 SOS 2204516 HAS SOPS 2204516 HAS SOUS 1328349 HAS SOUPS 1328349 WITH SCORE 1330553.516
AT ITER 1333 NEW BEST:: SOT 3505540 SOS 2203494 HAS SOPS 2203494 HAS SOUS 1328093 HAS SOUPS 1328093 WITH SCORE 1330296.494
AT ITER 1341 NEW BEST:: SOT 3504754 SOS 2202045 HAS SOPS 2202045 HAS SOUS 1326644 HAS SOUPS 1326644 WITH SCORE 1328846.045
AT ITER 1345 NEW BEST:: SOT 3504129 SOS 2199848 HAS SOPS 2199848 HAS SOUS 1325043 HAS SOUPS 1325043 WITH SCORE 1327242.848
AT ITER 1347 NEW BEST:: SOT 3501568 SOS 2212276 HAS SOPS 2212276 HAS SOUS 1322372 HAS SOUPS 1322372 WITH SCORE 1324584.276
AT ITER 1350 NEW BEST:: SOT 3501137 SOS 2211845 HAS SOPS 2211845 HAS SOUS 1322368 HAS SOUPS 1322368 WITH SCORE 1324579.845
AT ITER 1354 NEW BEST:: SOT 3501136 SOS 2207021 HAS SOPS 2207021 HAS SOUS 1322366 HAS SOUPS 1322366 WITH SCORE 1324573.021
AT ITER 1356 NEW BEST:: SOT 3500925 SOS 2206810 HAS SOPS 2206810 HAS SOUS 1322213 HAS SOUPS 1322213 WITH SCORE 1324419.81
AT ITER 1366 NEW BEST:: SOT 3500458 SOS 2206343 HAS SOPS 2206343 HAS SOUS 1322210 HAS SOUPS 1322210 WITH SCORE 1324416.343
AT ITER 1370 NEW BEST:: SOT 3496177 SOS 2205058 HAS SOPS 2205058 HAS SOUS 1318928 HAS SOUPS 1318928 WITH SCORE 1321133.058
AT ITER 1372 NEW BEST:: SOT 3496173 SOS 2204028 HAS SOPS 2204028 HAS SOUS 1318696 HAS SOUPS 1318696 WITH SCORE 1320900.028
AT ITER 1374 NEW BEST:: SOT 3494998 SOS 2202847 HAS SOPS 2202847 HAS SOUS 1317519 HAS SOUPS 1317519 WITH SCORE 1319721.847
AT ITER 1381 NEW BEST:: SOT 3494760 SOS 2199166 HAS SOPS 2199166 HAS SOUS 1316752 HAS SOUPS 1316752 WITH SCORE 1318951.166
AT ITER 1382 NEW BEST:: SOT 3493951 SOS 2198827 HAS SOPS 2198827 HAS SOUS 1316179 HAS SOUPS 1316179 WITH SCORE 1318377.827
AT ITER 1385 NEW BEST:: SOT 3493517 SOS 2197589 HAS SOPS 2197589 HAS SOUS 1315512 HAS SOUPS 1315512 WITH SCORE 1317709.589
AT ITER 1394 NEW BEST:: SOT 3493517 SOS 2196793 HAS SOPS 2196793 HAS SOUS 1315511 HAS SOUPS 1315511 WITH SCORE 1317707.793
AT ITER 1395 NEW BEST:: SOT 3491596 SOS 2194859 HAS SOPS 2194859 HAS SOUS 1313577 HAS SOUPS 1313577 WITH SCORE 1315771.859
AT ITER 1398 NEW BEST:: SOT 3491596 SOS 2193581 HAS SOPS 2193581 HAS SOUS 1313575 HAS SOUPS 1313575 WITH SCORE 1315768.581
AT ITER 1400 NEW BEST:: SOT 3490778 SOS 2193372 HAS SOPS 2193372 HAS SOUS 1312848 HAS SOUPS 1312848 WITH SCORE 1315041.372
AT ITER 1401 NEW BEST:: SOT 3490778 SOS 2193737 HAS SOPS 2193737 HAS SOUS 1312824 HAS SOUPS 1312824 WITH SCORE 1315017.737
AT ITER 1416 NEW BEST:: SOT 3490891 SOS 2193850 HAS SOPS 2193850 HAS SOUS 1312458 HAS SOUPS 1312458 WITH SCORE 1314651.85
AT ITER 1422 NEW BEST:: SOT 3490556 SOS 2192015 HAS SOPS 2192015 HAS SOUS 1312028 HAS SOUPS 1312028 WITH SCORE 1314220.015
AT ITER 1427 NEW BEST:: SOT 3490081 SOS 2191065 HAS SOPS 2191065 HAS SOUS 1311078 HAS SOUPS 1311078 WITH SCORE 1313269.065
AT ITER 1445 NEW BEST:: SOT 3490436 SOS 2191420 HAS SOPS 2191420 HAS SOUS 1311056 HAS SOUPS 1311056 WITH SCORE 1313247.42
AT ITER 1448 NEW BEST:: SOT 3489803 SOS 2190281 HAS SOPS 2190281 HAS SOUS 1310151 HAS SOUPS 1310151 WITH SCORE 1312341.281
AT ITER 1451 NEW BEST:: SOT 3490730 SOS 2190810 HAS SOPS 2190810 HAS SOUS 1310122 HAS SOUPS 1310122 WITH SCORE 1312312.81
AT ITER 1462 NEW BEST:: SOT 3490215 SOS 2188295 HAS SOPS 2188295 HAS SOUS 1309092 HAS SOUPS 1309092 WITH SCORE 1311280.295
AT ITER 1463 NEW BEST:: SOT 3489902 SOS 2187982 HAS SOPS 2187982 HAS SOUS 1308778 HAS SOUPS 1308778 WITH SCORE 1310965.982
AT ITER 1477 NEW BEST:: SOT 3488232 SOS 2186312 HAS SOPS 2186312 HAS SOUS 1307108 HAS SOUPS 1307108 WITH SCORE 1309294.312
AT ITER 1481 NEW BEST:: SOT 3488232 SOS 2186173 HAS SOPS 2186173 HAS SOUS 1306830 HAS SOUPS 1306830 WITH SCORE 1309016.173
AT ITER 1482 NEW BEST:: SOT 3487943 SOS 2185566 HAS SOPS 2185566 HAS SOUS 1306221 HAS SOUPS 1306221 WITH SCORE 1308406.566
AT ITER 1494 NEW BEST:: SOT 3482848 SOS 2180221 HAS SOPS 2180221 HAS SOUS 1300876 HAS SOUPS 1300876 WITH SCORE 1303056.221
AT ITER 1497 NEW BEST:: SOT 3482848 SOS 2180155 HAS SOPS 2180155 HAS SOUS 1300810 HAS SOUPS 1300810 WITH SCORE 1302990.155
AT ITER 1517 NEW BEST:: SOT 3482539 SOS 2179846 HAS SOPS 2179846 HAS SOUS 1300808 HAS SOUPS 1300808 WITH SCORE 1302987.846
AT ITER 1523 NEW BEST:: SOT 3482191 SOS 2178802 HAS SOPS 2178802 HAS SOUS 1299795 HAS SOUPS 1299795 WITH SCORE 1301973.802
AT ITER 1524 NEW BEST:: SOT 3481356 SOS 2177967 HAS SOPS 2177967 HAS SOUS 1299169 HAS SOUPS 1299169 WITH SCORE 1301346.967
AT ITER 1528 NEW BEST:: SOT 3481707 SOS 2178017 HAS SOPS 2178017 HAS SOUS 1299137 HAS SOUPS 1299137 WITH SCORE 1301315.017
AT ITER 1534 NEW BEST:: SOT 3482573 SOS 2174005 HAS SOPS 2174005 HAS SOUS 1298584 HAS SOUPS 1298584 WITH SCORE 1300758.005
AT ITER 1537 NEW BEST:: SOT 3482204 SOS 2173636 HAS SOPS 2173636 HAS SOUS 1298215 HAS SOUPS 1298215 WITH SCORE 1300388.636
AT ITER 1543 NEW BEST:: SOT 3482036 SOS 2174319 HAS SOPS 2174319 HAS SOUS 1297854 HAS SOUPS 1297854 WITH SCORE 1300028.319
AT ITER 1552 NEW BEST:: SOT 3482036 SOS 2174142 HAS SOPS 2174142 HAS SOUS 1297503 HAS SOUPS 1297503 WITH SCORE 1299677.142
AT ITER 1561 NEW BEST:: SOT 3482034 SOS 2172876 HAS SOPS 2172876 HAS SOUS 1296632 HAS SOUPS 1296632 WITH SCORE 1298804.876
AT ITER 1568 NEW BEST:: SOT 3482034 SOS 2172794 HAS SOPS 2172794 HAS SOUS 1296631 HAS SOUPS 1296631 WITH SCORE 1298803.794
AT ITER 1570 NEW BEST:: SOT 3481279 SOS 2171083 HAS SOPS 2171083 HAS SOUS 1295400 HAS SOUPS 1295400 WITH SCORE 1297571.083
AT ITER 1576 NEW BEST:: SOT 3481271 SOS 2171075 HAS SOPS 2171075 HAS SOUS 1295392 HAS SOUPS 1295392 WITH SCORE 1297563.075
AT ITER 1577 NEW BEST:: SOT 3481271 SOS 2170819 HAS SOPS 2170819 HAS SOUS 1295264 HAS SOUPS 1295264 WITH SCORE 1297434.819
AT ITER 1579 NEW BEST:: SOT 3474067 SOS 2163615 HAS SOPS 2163615 HAS SOUS 1288060 HAS SOUPS 1288060 WITH SCORE 1290223.615
AT ITER 1585 NEW BEST:: SOT 3470874 SOS 2160422 HAS SOPS 2160422 HAS SOUS 1284867 HAS SOUPS 1284867 WITH SCORE 1287027.422
AT ITER 1586 NEW BEST:: SOT 3470873 SOS 2160421 HAS SOPS 2160421 HAS SOUS 1284866 HAS SOUPS 1284866 WITH SCORE 1287026.421
AT ITER 1588 NEW BEST:: SOT 3469314 SOS 2163282 HAS SOPS 2163282 HAS SOUS 1284325 HAS SOUPS 1284325 WITH SCORE 1286488.282
AT ITER 1596 NEW BEST:: SOT 3469310 SOS 2163276 HAS SOPS 2163276 HAS SOUS 1284319 HAS SOUPS 1284319 WITH SCORE 1286482.276
AT ITER 1597 NEW BEST:: SOT 3468408 SOS 2163376 HAS SOPS 2163376 HAS SOUS 1284060 HAS SOUPS 1284060 WITH SCORE 1286223.376
AT ITER 1599 NEW BEST:: SOT 3468354 SOS 2164453 HAS SOPS 2164453 HAS SOUS 1283629 HAS SOUPS 1283629 WITH SCORE 1285793.453
AT ITER 1605 NEW BEST:: SOT 3466458 SOS 2162557 HAS SOPS 2162557 HAS SOUS 1281733 HAS SOUPS 1281733 WITH SCORE 1283895.557
AT ITER 1607 NEW BEST:: SOT 3465104 SOS 2161865 HAS SOPS 2161865 HAS SOUS 1280063 HAS SOUPS 1280063 WITH SCORE 1282224.865
AT ITER 1615 NEW BEST:: SOT 3464944 SOS 2161705 HAS SOPS 2161705 HAS SOUS 1279903 HAS SOUPS 1279903 WITH SCORE 1282064.705
AT ITER 1620 NEW BEST:: SOT 3464821 SOS 2160338 HAS SOPS 2160338 HAS SOUS 1279657 HAS SOUPS 1279657 WITH SCORE 1281817.338
AT ITER 1622 NEW BEST:: SOT 3464693 SOS 2160338 HAS SOPS 2160338 HAS SOUS 1279583 HAS SOUPS 1279583 WITH SCORE 1281743.338
AT ITER 1624 NEW BEST:: SOT 3464041 SOS 2158386 HAS SOPS 2158386 HAS SOUS 1277849 HAS SOUPS 1277849 WITH SCORE 1280007.386
AT ITER 1625 NEW BEST:: SOT 3463515 SOS 2156172 HAS SOPS 2156172 HAS SOUS 1276361 HAS SOUPS 1276361 WITH SCORE 1278517.172
AT ITER 1627 NEW BEST:: SOT 3463513 SOS 2156170 HAS SOPS 2156170 HAS SOUS 1276358 HAS SOUPS 1276358 WITH SCORE 1278514.17
AT ITER 1641 NEW BEST:: SOT 3462974 SOS 2154467 HAS SOPS 2154467 HAS SOUS 1275919 HAS SOUPS 1275919 WITH SCORE 1278073.467
AT ITER 1653 NEW BEST:: SOT 3462784 SOS 2154277 HAS SOPS 2154277 HAS SOUS 1275729 HAS SOUPS 1275729 WITH SCORE 1277883.277
AT ITER 1667 NEW BEST:: SOT 3462779 SOS 2153941 HAS SOPS 2153941 HAS SOUS 1275720 HAS SOUPS 1275720 WITH SCORE 1277873.941
AT ITER 1674 NEW BEST:: SOT 3462578 SOS 2151490 HAS SOPS 2151490 HAS SOUS 1275318 HAS SOUPS 1275318 WITH SCORE 1277469.49
AT ITER 1676 NEW BEST:: SOT 3462763 SOS 2150710 HAS SOPS 2150710 HAS SOUS 1275090 HAS SOUPS 1275090 WITH SCORE 1277240.71
AT ITER 1699 NEW BEST:: SOT 3462499 SOS 2151328 HAS SOPS 2151328 HAS SOUS 1274907 HAS SOUPS 1274907 WITH SCORE 1277058.328
AT ITER 1706 NEW BEST:: SOT 3462127 SOS 2150833 HAS SOPS 2150833 HAS SOUS 1274412 HAS SOUPS 1274412 WITH SCORE 1276562.833
AT ITER 1710 NEW BEST:: SOT 3461278 SOS 2149984 HAS SOPS 2149984 HAS SOUS 1273562 HAS SOUPS 1273562 WITH SCORE 1275711.984
AT ITER 1713 NEW BEST:: SOT 3461275 SOS 2149975 HAS SOPS 2149975 HAS SOUS 1273553 HAS SOUPS 1273553 WITH SCORE 1275702.975
AT ITER 1714 NEW BEST:: SOT 3461198 SOS 2149898 HAS SOPS 2149898 HAS SOUS 1273476 HAS SOUPS 1273476 WITH SCORE 1275625.898
AT ITER 1715 NEW BEST:: SOT 3458478 SOS 2153563 HAS SOPS 2153563 HAS SOUS 1272477 HAS SOUPS 1272477 WITH SCORE 1274630.563
AT ITER 1719 NEW BEST:: SOT 3458478 SOS 2153531 HAS SOPS 2153531 HAS SOUS 1272445 HAS SOUPS 1272445 WITH SCORE 1274598.531
AT ITER 1723 NEW BEST:: SOT 3458619 SOS 2153531 HAS SOPS 2153531 HAS SOUS 1272304 HAS SOUPS 1272304 WITH SCORE 1274457.531
AT ITER 1737 NEW BEST:: SOT 3458619 SOS 2153130 HAS SOPS 2153130 HAS SOUS 1272304 HAS SOUPS 1272304 WITH SCORE 1274457.13
AT ITER 1743 NEW BEST:: SOT 3458232 SOS 2152743 HAS SOPS 2152743 HAS SOUS 1271916 HAS SOUPS 1271916 WITH SCORE 1274068.743
AT ITER 1745 NEW BEST:: SOT 3458193 SOS 2152704 HAS SOPS 2152704 HAS SOUS 1271877 HAS SOUPS 1271877 WITH SCORE 1274029.704
AT ITER 1746 NEW BEST:: SOT 3458191 SOS 2152702 HAS SOPS 2152702 HAS SOUS 1271667 HAS SOUPS 1271667 WITH SCORE 1273819.702
AT ITER 1749 NEW BEST:: SOT 3457929 SOS 2152178 HAS SOPS 2152178 HAS SOUS 1270901 HAS SOUPS 1270901 WITH SCORE 1273053.178
AT ITER 1753 NEW BEST:: SOT 3439122 SOS 2133402 HAS SOPS 2133402 HAS SOUS 1252097 HAS SOUPS 1252097 WITH SCORE 1254230.402
AT ITER 1754 NEW BEST:: SOT 3438883 SOS 2131637 HAS SOPS 2131637 HAS SOUS 1251615 HAS SOUPS 1251615 WITH SCORE 1253746.637
AT ITER 1762 NEW BEST:: SOT 3438725 SOS 2131479 HAS SOPS 2131479 HAS SOUS 1251435 HAS SOUPS 1251435 WITH SCORE 1253566.479
AT ITER 1771 NEW BEST:: SOT 3438471 SOS 2131225 HAS SOPS 2131225 HAS SOUS 1251414 HAS SOUPS 1251414 WITH SCORE 1253545.225
AT ITER 1775 NEW BEST:: SOT 3438357 SOS 2130897 HAS SOPS 2130897 HAS SOUS 1251184 HAS SOUPS 1251184 WITH SCORE 1253314.897
AT ITER 1782 NEW BEST:: SOT 3438352 SOS 2132306 HAS SOPS 2132306 HAS SOUS 1251182 HAS SOUPS 1251182 WITH SCORE 1253314.306
AT ITER 1788 NEW BEST:: SOT 3438352 SOS 2132264 HAS SOPS 2132264 HAS SOUS 1251181 HAS SOUPS 1251181 WITH SCORE 1253313.264
AT ITER 1791 NEW BEST:: SOT 3438024 SOS 2131203 HAS SOPS 2131203 HAS SOUS 1250179 HAS SOUPS 1250179 WITH SCORE 1252310.203
AT ITER 1796 NEW BEST:: SOT 3438024 SOS 2132139 HAS SOPS 2132139 HAS SOUS 1249924 HAS SOUPS 1249924 WITH SCORE 1252056.139
AT ITER 1799 NEW BEST:: SOT 3438024 SOS 2132221 HAS SOPS 2132221 HAS SOUS 1249536 HAS SOUPS 1249536 WITH SCORE 1251668.221
AT ITER 1804 NEW BEST:: SOT 3438024 SOS 2131859 HAS SOPS 2131859 HAS SOUS 1249174 HAS SOUPS 1249174 WITH SCORE 1251305.859
AT ITER 1812 NEW BEST:: SOT 3437997 SOS 2131832 HAS SOPS 2131832 HAS SOUS 1249141 HAS SOUPS 1249141 WITH SCORE 1251272.832
AT ITER 1823 NEW BEST:: SOT 3437482 SOS 2132189 HAS SOPS 2132189 HAS SOUS 1248746 HAS SOUPS 1248746 WITH SCORE 1250878.189
AT ITER 1834 NEW BEST:: SOT 3421334 SOS 2117477 HAS SOPS 2117477 HAS SOUS 1231292 HAS SOUPS 1231292 WITH SCORE 1233409.477
AT ITER 1840 NEW BEST:: SOT 3421334 SOS 2117477 HAS SOPS 2117477 HAS SOUS 1231278 HAS SOUPS 1231278 WITH SCORE 1233395.477
AT ITER 1846 NEW BEST:: SOT 3421334 SOS 2114120 HAS SOPS 2114120 HAS SOUS 1231047 HAS SOUPS 1231047 WITH SCORE 1233161.12
AT ITER 1850 NEW BEST:: SOT 3421141 SOS 2113541 HAS SOPS 2113541 HAS SOUS 1230468 HAS SOUPS 1230468 WITH SCORE 1232581.541
AT ITER 1854 NEW BEST:: SOT 3421141 SOS 2111770 HAS SOPS 2111770 HAS SOUS 1230172 HAS SOUPS 1230172 WITH SCORE 1232283.77
AT ITER 1860 NEW BEST:: SOT 3421210 SOS 2110360 HAS SOPS 2110360 HAS SOUS 1229315 HAS SOUPS 1229315 WITH SCORE 1231425.36
AT ITER 1861 NEW BEST:: SOT 3421181 SOS 2110315 HAS SOPS 2110315 HAS SOUS 1229270 HAS SOUPS 1229270 WITH SCORE 1231380.315
AT ITER 1862 NEW BEST:: SOT 3421181 SOS 2110554 HAS SOPS 2110554 HAS SOUS 1229268 HAS SOUPS 1229268 WITH SCORE 1231378.554
AT ITER 1872 NEW BEST:: SOT 3420791 SOS 2110164 HAS SOPS 2110164 HAS SOUS 1228878 HAS SOUPS 1228878 WITH SCORE 1230988.164
AT ITER 1875 NEW BEST:: SOT 3420307 SOS 2109161 HAS SOPS 2109161 HAS SOUS 1227875 HAS SOUPS 1227875 WITH SCORE 1229984.161
AT ITER 1881 NEW BEST:: SOT 3420228 SOS 2109082 HAS SOPS 2109082 HAS SOUS 1227858 HAS SOUPS 1227858 WITH SCORE 1229967.082
AT ITER 1883 NEW BEST:: SOT 3419741 SOS 2107335 HAS SOPS 2107335 HAS SOUS 1227082 HAS SOUPS 1227082 WITH SCORE 1229189.335
AT ITER 1898 NEW BEST:: SOT 3419539 SOS 2107335 HAS SOPS 2107335 HAS SOUS 1227035 HAS SOUPS 1227035 WITH SCORE 1229142.335
AT ITER 1915 NEW BEST:: SOT 3419077 SOS 2106873 HAS SOPS 2106873 HAS SOUS 1226572 HAS SOUPS 1226572 WITH SCORE 1228678.873
AT ITER 1916 NEW BEST:: SOT 3418796 SOS 2106592 HAS SOPS 2106592 HAS SOUS 1226291 HAS SOUPS 1226291 WITH SCORE 1228397.592
AT ITER 1924 NEW BEST:: SOT 3418796 SOS 2106089 HAS SOPS 2106089 HAS SOUS 1226289 HAS SOUPS 1226289 WITH SCORE 1228395.089
AT ITER 1934 NEW BEST:: SOT 3418557 SOS 2105850 HAS SOPS 2105850 HAS SOUS 1226289 HAS SOUPS 1226289 WITH SCORE 1228394.85
AT ITER 1941 NEW BEST:: SOT 3418173 SOS 2105466 HAS SOPS 2105466 HAS SOUS 1225905 HAS SOUPS 1225905 WITH SCORE 1228010.466
AT ITER 1942 NEW BEST:: SOT 3418173 SOS 2105249 HAS SOPS 2105249 HAS SOUS 1225811 HAS SOUPS 1225811 WITH SCORE 1227916.249
AT ITER 1943 NEW BEST:: SOT 3418119 SOS 2105195 HAS SOPS 2105195 HAS SOUS 1225757 HAS SOUPS 1225757 WITH SCORE 1227862.195
AT ITER 1945 NEW BEST:: SOT 3418119 SOS 2104519 HAS SOPS 2104519 HAS SOUS 1225757 HAS SOUPS 1225757 WITH SCORE 1227861.519
AT ITER 1949 NEW BEST:: SOT 3418119 SOS 2103131 HAS SOPS 2103131 HAS SOUS 1225193 HAS SOUPS 1225193 WITH SCORE 1227296.131
AT ITER 1951 NEW BEST:: SOT 3418119 SOS 2103074 HAS SOPS 2103074 HAS SOUS 1225189 HAS SOUPS 1225189 WITH SCORE 1227292.074
AT ITER 1953 NEW BEST:: SOT 3411253 SOS 2096365 HAS SOPS 2096365 HAS SOUS 1218480 HAS SOUPS 1218480 WITH SCORE 1220576.365
AT ITER 1954 NEW BEST:: SOT 3411054 SOS 2096166 HAS SOPS 2096166 HAS SOUS 1218281 HAS SOUPS 1218281 WITH SCORE 1220377.166
AT ITER 1963 NEW BEST:: SOT 3401473 SOS 2088574 HAS SOPS 2088574 HAS SOUS 1208970 HAS SOUPS 1208970 WITH SCORE 1211058.574
AT ITER 1964 NEW BEST:: SOT 3401473 SOS 2088135 HAS SOPS 2088135 HAS SOUS 1208908 HAS SOUPS 1208908 WITH SCORE 1210996.135
AT ITER 1973 NEW BEST:: SOT 3401462 SOS 2088114 HAS SOPS 2088114 HAS SOUS 1208886 HAS SOUPS 1208886 WITH SCORE 1210974.114
AT ITER 1974 NEW BEST:: SOT 3401462 SOS 2086482 HAS SOPS 2086482 HAS SOUS 1208269 HAS SOUPS 1208269 WITH SCORE 1210355.482
AT ITER 1983 NEW BEST:: SOT 3395088 SOS 2079780 HAS SOPS 2079780 HAS SOUS 1201567 HAS SOUPS 1201567 WITH SCORE 1203646.78
AT ITER 1986 NEW BEST:: SOT 3394757 SOS 2079449 HAS SOPS 2079449 HAS SOUS 1201236 HAS SOUPS 1201236 WITH SCORE 1203315.449
AT ITER 1989 NEW BEST:: SOT 3394702 SOS 2078332 HAS SOPS 2078332 HAS SOUS 1200420 HAS SOUPS 1200420 WITH SCORE 1202498.332
AT ITER 1990 NEW BEST:: SOT 3394702 SOS 2074414 HAS SOPS 2074414 HAS SOUS 1200403 HAS SOUPS 1200403 WITH SCORE 1202477.414
AT ITER 1996 NEW BEST:: SOT 3394601 SOS 2074213 HAS SOPS 2074213 HAS SOUS 1200242 HAS SOUPS 1200242 WITH SCORE 1202316.213
AT ITER 1998 NEW BEST:: SOT 3394456 SOS 2073923 HAS SOPS 2073923 HAS SOUS 1200080 HAS SOUPS 1200080 WITH SCORE 1202153.923
AT ITER 2001 NEW BEST:: SOT 3388164 SOS 2067631 HAS SOPS 2067631 HAS SOUS 1193788 HAS SOUPS 1193788 WITH SCORE 1195855.631
AT ITER 2011 NEW BEST:: SOT 3387444 SOS 2067532 HAS SOPS 2067532 HAS SOUS 1192979 HAS SOUPS 1192979 WITH SCORE 1195046.532
AT ITER 2015 NEW BEST:: SOT 3386841 SOS 2067466 HAS SOPS 2067466 HAS SOUS 1192718 HAS SOUPS 1192718 WITH SCORE 1194785.466
AT ITER 2017 NEW BEST:: SOT 3386531 SOS 2067378 HAS SOPS 2067378 HAS SOUS 1192630 HAS SOUPS 1192630 WITH SCORE 1194697.378
AT ITER 2019 NEW BEST:: SOT 3386531 SOS 2067390 HAS SOPS 2067390 HAS SOUS 1192463 HAS SOUPS 1192463 WITH SCORE 1194530.39
AT ITER 2042 NEW BEST:: SOT 3386531 SOS 2067241 HAS SOPS 2067241 HAS SOUS 1192243 HAS SOUPS 1192243 WITH SCORE 1194310.241
AT ITER 2049 NEW BEST:: SOT 3387094 SOS 2066757 HAS SOPS 2066757 HAS SOUS 1192241 HAS SOUPS 1192241 WITH SCORE 1194307.757
AT ITER 2070 NEW BEST:: SOT 3382014 SOS 2061845 HAS SOPS 2061845 HAS SOUS 1187271 HAS SOUPS 1187271 WITH SCORE 1189332.845
AT ITER 2074 NEW BEST:: SOT 3381848 SOS 2061679 HAS SOPS 2061679 HAS SOUS 1187105 HAS SOUPS 1187105 WITH SCORE 1189166.679
AT ITER 2076 NEW BEST:: SOT 3381848 SOS 2060891 HAS SOPS 2060891 HAS SOUS 1186709 HAS SOUPS 1186709 WITH SCORE 1188769.891
AT ITER 2081 NEW BEST:: SOT 3381834 SOS 2060877 HAS SOPS 2060877 HAS SOUS 1186695 HAS SOUPS 1186695 WITH SCORE 1188755.877
AT ITER 2083 NEW BEST:: SOT 3381396 SOS 2060439 HAS SOPS 2060439 HAS SOUS 1186165 HAS SOUPS 1186165 WITH SCORE 1188225.439
AT ITER 2085 NEW BEST:: SOT 3379524 SOS 2058567 HAS SOPS 2058567 HAS SOUS 1184282 HAS SOUPS 1184282 WITH SCORE 1186340.567
AT ITER 2096 NEW BEST:: SOT 3378898 SOS 2057932 HAS SOPS 2057932 HAS SOUS 1183647 HAS SOUPS 1183647 WITH SCORE 1185704.932
AT ITER 2097 NEW BEST:: SOT 3378239 SOS 2057273 HAS SOPS 2057273 HAS SOUS 1182988 HAS SOUPS 1182988 WITH SCORE 1185045.273
AT ITER 2103 NEW BEST:: SOT 3378239 SOS 2058157 HAS SOPS 2058157 HAS SOUS 1182915 HAS SOUPS 1182915 WITH SCORE 1184973.157
AT ITER 2120 NEW BEST:: SOT 3378239 SOS 2058101 HAS SOPS 2058101 HAS SOUS 1182906 HAS SOUPS 1182906 WITH SCORE 1184964.101
AT ITER 2125 NEW BEST:: SOT 3378089 SOS 2058609 HAS SOPS 2058609 HAS SOUS 1182606 HAS SOUPS 1182606 WITH SCORE 1184664.609
AT ITER 2128 NEW BEST:: SOT 3378079 SOS 2058589 HAS SOPS 2058589 HAS SOUS 1182586 HAS SOUPS 1182586 WITH SCORE 1184644.589
AT ITER 2137 NEW BEST:: SOT 3377884 SOS 2058394 HAS SOPS 2058394 HAS SOUS 1182374 HAS SOUPS 1182374 WITH SCORE 1184432.394
AT ITER 2142 NEW BEST:: SOT 3377712 SOS 2058222 HAS SOPS 2058222 HAS SOUS 1182202 HAS SOUPS 1182202 WITH SCORE 1184260.222
AT ITER 2145 NEW BEST:: SOT 3377712 SOS 2057986 HAS SOPS 2057986 HAS SOUS 1182116 HAS SOUPS 1182116 WITH SCORE 1184173.986
AT ITER 2146 NEW BEST:: SOT 3377551 SOS 2056210 HAS SOPS 2056210 HAS SOUS 1181476 HAS SOUPS 1181476 WITH SCORE 1183532.21
AT ITER 2147 NEW BEST:: SOT 3377551 SOS 2055257 HAS SOPS 2055257 HAS SOUS 1181452 HAS SOUPS 1181452 WITH SCORE 1183507.257
AT ITER 2160 NEW BEST:: SOT 3377391 SOS 2053339 HAS SOPS 2053339 HAS SOUS 1180909 HAS SOUPS 1180909 WITH SCORE 1182962.339
AT ITER 2162 NEW BEST:: SOT 3377384 SOS 2053305 HAS SOPS 2053305 HAS SOUS 1180875 HAS SOUPS 1180875 WITH SCORE 1182928.305
AT ITER 2164 NEW BEST:: SOT 3373049 SOS 2049055 HAS SOPS 2049055 HAS SOUS 1176385 HAS SOUPS 1176385 WITH SCORE 1178434.055
AT ITER 2170 NEW BEST:: SOT 3372524 SOS 2048530 HAS SOPS 2048530 HAS SOUS 1175963 HAS SOUPS 1175963 WITH SCORE 1178011.53
AT ITER 2171 NEW BEST:: SOT 3372128 SOS 2047292 HAS SOPS 2047292 HAS SOUS 1174825 HAS SOUPS 1174825 WITH SCORE 1176872.292
AT ITER 2177 NEW BEST:: SOT 3371968 SOS 2046898 HAS SOPS 2046898 HAS SOUS 1174431 HAS SOUPS 1174431 WITH SCORE 1176477.898
AT ITER 2181 NEW BEST:: SOT 3371866 SOS 2046786 HAS SOPS 2046786 HAS SOUS 1174421 HAS SOUPS 1174421 WITH SCORE 1176467.786
AT ITER 2198 NEW BEST:: SOT 3371766 SOS 2046686 HAS SOPS 2046686 HAS SOUS 1174321 HAS SOUPS 1174321 WITH SCORE 1176367.686
AT ITER 2200 NEW BEST:: SOT 3371746 SOS 2046790 HAS SOPS 2046790 HAS SOUS 1174245 HAS SOUPS 1174245 WITH SCORE 1176291.79
AT ITER 2204 NEW BEST:: SOT 3369566 SOS 2044610 HAS SOPS 2044610 HAS SOUS 1172004 HAS SOUPS 1172004 WITH SCORE 1174048.61
AT ITER 2207 NEW BEST:: SOT 3369001 SOS 2044045 HAS SOPS 2044045 HAS SOUS 1171532 HAS SOUPS 1171532 WITH SCORE 1173576.045
AT ITER 2214 NEW BEST:: SOT 3369000 SOS 2044044 HAS SOPS 2044044 HAS SOUS 1171530 HAS SOUPS 1171530 WITH SCORE 1173574.044
AT ITER 2219 NEW BEST:: SOT 3368519 SOS 2041880 HAS SOPS 2041880 HAS SOUS 1170568 HAS SOUPS 1170568 WITH SCORE 1172609.88
AT ITER 2224 NEW BEST:: SOT 3368519 SOS 2041812 HAS SOPS 2041812 HAS SOUS 1170500 HAS SOUPS 1170500 WITH SCORE 1172541.812
AT ITER 2248 NEW BEST:: SOT 3368019 SOS 2041312 HAS SOPS 2041312 HAS SOUS 1170000 HAS SOUPS 1170000 WITH SCORE 1172041.312
AT ITER 2261 NEW BEST:: SOT 3367286 SOS 2040579 HAS SOPS 2040579 HAS SOUS 1169267 HAS SOUPS 1169267 WITH SCORE 1171307.579
AT ITER 2263 NEW BEST:: SOT 3367789 SOS 2040579 HAS SOPS 2040579 HAS SOUS 1168768 HAS SOUPS 1168768 WITH SCORE 1170808.579
AT ITER 2264 NEW BEST:: SOT 3365950 SOS 2038740 HAS SOPS 2038740 HAS SOUS 1166929 HAS SOUPS 1166929 WITH SCORE 1168967.74
AT ITER 2267 NEW BEST:: SOT 3364785 SOS 2038070 HAS SOPS 2038070 HAS SOUS 1165764 HAS SOUPS 1165764 WITH SCORE 1167802.07
AT ITER 2276 NEW BEST:: SOT 3364998 SOS 2037993 HAS SOPS 2037993 HAS SOUS 1165687 HAS SOUPS 1165687 WITH SCORE 1167724.993
AT ITER 2278 NEW BEST:: SOT 3364951 SOS 2037946 HAS SOPS 2037946 HAS SOUS 1165685 HAS SOUPS 1165685 WITH SCORE 1167722.946
AT ITER 2282 NEW BEST:: SOT 3364403 SOS 2037544 HAS SOPS 2037544 HAS SOUS 1165306 HAS SOUPS 1165306 WITH SCORE 1167343.544
AT ITER 2284 NEW BEST:: SOT 3363862 SOS 2037003 HAS SOPS 2037003 HAS SOUS 1165196 HAS SOUPS 1165196 WITH SCORE 1167233.003
AT ITER 2287 NEW BEST:: SOT 3363860 SOS 2037002 HAS SOPS 2037002 HAS SOUS 1165194 HAS SOUPS 1165194 WITH SCORE 1167231.002
AT ITER 2297 NEW BEST:: SOT 3364005 SOS 2037292 HAS SOPS 2037292 HAS SOUS 1165174 HAS SOUPS 1165174 WITH SCORE 1167211.292
AT ITER 2299 NEW BEST:: SOT 3363340 SOS 2037284 HAS SOPS 2037284 HAS SOUS 1164505 HAS SOUPS 1164505 WITH SCORE 1166542.284
AT ITER 2300 NEW BEST:: SOT 3363329 SOS 2037273 HAS SOPS 2037273 HAS SOUS 1164482 HAS SOUPS 1164482 WITH SCORE 1166519.273
AT ITER 2308 NEW BEST:: SOT 3362433 SOS 2039677 HAS SOPS 2039677 HAS SOUS 1163676 HAS SOUPS 1163676 WITH SCORE 1165715.677
AT ITER 2322 NEW BEST:: SOT 3362433 SOS 2039677 HAS SOPS 2039677 HAS SOUS 1163491 HAS SOUPS 1163491 WITH SCORE 1165530.677
AT ITER 2325 NEW BEST:: SOT 3362914 SOS 2037909 HAS SOPS 2037909 HAS SOUS 1162927 HAS SOUPS 1162927 WITH SCORE 1164964.909
AT ITER 2330 NEW BEST:: SOT 3356317 SOS 2032284 HAS SOPS 2032284 HAS SOUS 1154943 HAS SOUPS 1154943 WITH SCORE 1156975.284
AT ITER 2345 NEW BEST:: SOT 3354933 SOS 2030900 HAS SOPS 2030900 HAS SOUS 1153559 HAS SOUPS 1153559 WITH SCORE 1155589.9
AT ITER 2346 NEW BEST:: SOT 3355256 SOS 2030840 HAS SOPS 2030840 HAS SOUS 1153499 HAS SOUPS 1153499 WITH SCORE 1155529.84
AT ITER 2360 NEW BEST:: SOT 3354057 SOS 2031896 HAS SOPS 2031896 HAS SOUS 1152900 HAS SOUPS 1152900 WITH SCORE 1154931.896
AT ITER 2364 NEW BEST:: SOT 3353131 SOS 2030960 HAS SOPS 2030960 HAS SOUS 1151964 HAS SOUPS 1151964 WITH SCORE 1153994.96
AT ITER 2375 NEW BEST:: SOT 3352655 SOS 2030348 HAS SOPS 2030348 HAS SOUS 1151284 HAS SOUPS 1151284 WITH SCORE 1153314.348
AT ITER 2379 NEW BEST:: SOT 3352644 SOS 2030326 HAS SOPS 2030326 HAS SOUS 1151262 HAS SOUPS 1151262 WITH SCORE 1153292.326
AT ITER 2384 NEW BEST:: SOT 3352644 SOS 2029662 HAS SOPS 2029662 HAS SOUS 1151238 HAS SOUPS 1151238 WITH SCORE 1153267.662
AT ITER 2396 NEW BEST:: SOT 3352098 SOS 2030900 HAS SOPS 2030900 HAS SOUS 1150393 HAS SOUPS 1150393 WITH SCORE 1152423.9
AT ITER 2401 NEW BEST:: SOT 3351779 SOS 2025850 HAS SOPS 2025850 HAS SOUS 1149014 HAS SOUPS 1149014 WITH SCORE 1151039.85
AT ITER 2404 NEW BEST:: SOT 3350961 SOS 2025561 HAS SOPS 2025561 HAS SOUS 1148153 HAS SOUPS 1148153 WITH SCORE 1150178.561
AT ITER 2405 NEW BEST:: SOT 3350649 SOS 2024937 HAS SOPS 2024937 HAS SOUS 1147529 HAS SOUPS 1147529 WITH SCORE 1149553.937
AT ITER 2414 NEW BEST:: SOT 3350445 SOS 2024529 HAS SOPS 2024529 HAS SOUS 1147121 HAS SOUPS 1147121 WITH SCORE 1149145.529
AT ITER 2420 NEW BEST:: SOT 3350270 SOS 2024307 HAS SOPS 2024307 HAS SOUS 1146899 HAS SOUPS 1146899 WITH SCORE 1148923.307
AT ITER 2425 NEW BEST:: SOT 3349770 SOS 2023734 HAS SOPS 2023734 HAS SOUS 1145901 HAS SOUPS 1145901 WITH SCORE 1147924.734
AT ITER 2426 NEW BEST:: SOT 3349674 SOS 2023638 HAS SOPS 2023638 HAS SOUS 1145805 HAS SOUPS 1145805 WITH SCORE 1147828.638
AT ITER 2428 NEW BEST:: SOT 3350198 SOS 2023283 HAS SOPS 2023283 HAS SOUS 1145417 HAS SOUPS 1145417 WITH SCORE 1147440.283
AT ITER 2432 NEW BEST:: SOT 3349739 SOS 2021686 HAS SOPS 2021686 HAS SOUS 1144958 HAS SOUPS 1144958 WITH SCORE 1146979.686
AT ITER 2434 NEW BEST:: SOT 3349847 SOS 2021686 HAS SOPS 2021686 HAS SOUS 1144872 HAS SOUPS 1144872 WITH SCORE 1146893.686
AT ITER 2435 NEW BEST:: SOT 3349542 SOS 2021674 HAS SOPS 2021674 HAS SOUS 1144860 HAS SOUPS 1144860 WITH SCORE 1146881.674
AT ITER 2458 NEW BEST:: SOT 3342932 SOS 2015064 HAS SOPS 2015064 HAS SOUS 1138250 HAS SOUPS 1138250 WITH SCORE 1140265.064
AT ITER 2461 NEW BEST:: SOT 3342932 SOS 2014947 HAS SOPS 2014947 HAS SOUS 1138043 HAS SOUPS 1138043 WITH SCORE 1140057.947
AT ITER 2476 NEW BEST:: SOT 3342660 SOS 2014675 HAS SOPS 2014675 HAS SOUS 1137771 HAS SOUPS 1137771 WITH SCORE 1139785.675
AT ITER 2480 NEW BEST:: SOT 3342693 SOS 2014527 HAS SOPS 2014527 HAS SOUS 1137456 HAS SOUPS 1137456 WITH SCORE 1139470.527
AT ITER 2486 NEW BEST:: SOT 3342540 SOS 2014068 HAS SOPS 2014068 HAS SOUS 1136997 HAS SOUPS 1136997 WITH SCORE 1139011.068
AT ITER 2488 NEW BEST:: SOT 3342518 SOS 2013403 HAS SOPS 2013403 HAS SOUS 1136332 HAS SOUPS 1136332 WITH SCORE 1138345.403
AT ITER 2491 NEW BEST:: SOT 3342518 SOS 2013227 HAS SOPS 2013227 HAS SOUS 1136332 HAS SOUPS 1136332 WITH SCORE 1138345.227
AT ITER 2500 NEW BEST:: SOT 3342020 SOS 2012480 HAS SOPS 2012480 HAS SOUS 1135585 HAS SOUPS 1135585 WITH SCORE 1137597.48
AT ITER 2507 NEW BEST:: SOT 3342020 SOS 2012180 HAS SOPS 2012180 HAS SOUS 1135585 HAS SOUPS 1135585 WITH SCORE 1137597.18
AT ITER 2516 NEW BEST:: SOT 3342020 SOS 2012180 HAS SOPS 2012180 HAS SOUS 1135529 HAS SOUPS 1135529 WITH SCORE 1137541.18
AT ITER 2529 NEW BEST:: SOT 3341556 SOS 2014820 HAS SOPS 2014820 HAS SOUS 1135171 HAS SOUPS 1135171 WITH SCORE 1137185.82
AT ITER 2532 NEW BEST:: SOT 3341191 SOS 2014455 HAS SOPS 2014455 HAS SOUS 1134806 HAS SOUPS 1134806 WITH SCORE 1136820.455
AT ITER 2535 NEW BEST:: SOT 3340167 SOS 2013431 HAS SOPS 2013431 HAS SOUS 1133782 HAS SOUPS 1133782 WITH SCORE 1135795.431
AT ITER 2538 NEW BEST:: SOT 3339761 SOS 2012592 HAS SOPS 2012592 HAS SOUS 1132970 HAS SOUPS 1132970 WITH SCORE 1134982.592
AT ITER 2544 NEW BEST:: SOT 3339128 SOS 2010490 HAS SOPS 2010490 HAS SOUS 1131430 HAS SOUPS 1131430 WITH SCORE 1133440.49
AT ITER 2550 NEW BEST:: SOT 3338731 SOS 2010093 HAS SOPS 2010093 HAS SOUS 1131033 HAS SOUPS 1131033 WITH SCORE 1133043.093
AT ITER 2555 NEW BEST:: SOT 3338213 SOS 2004435 HAS SOPS 2004435 HAS SOUS 1129992 HAS SOUPS 1129992 WITH SCORE 1131996.435
AT ITER 2574 NEW BEST:: SOT 3337009 SOS 2005295 HAS SOPS 2005295 HAS SOUS 1129046 HAS SOUPS 1129046 WITH SCORE 1131051.295
AT ITER 2587 NEW BEST:: SOT 3336987 SOS 2004246 HAS SOPS 2004246 HAS SOUS 1128538 HAS SOUPS 1128538 WITH SCORE 1130542.246
AT ITER 2589 NEW BEST:: SOT 3336723 SOS 2003982 HAS SOPS 2003982 HAS SOUS 1128274 HAS SOUPS 1128274 WITH SCORE 1130277.982
AT ITER 2591 NEW BEST:: SOT 3335996 SOS 2002812 HAS SOPS 2002812 HAS SOUS 1127240 HAS SOUPS 1127240 WITH SCORE 1129242.812
AT ITER 2596 NEW BEST:: SOT 3335033 SOS 2001472 HAS SOPS 2001472 HAS SOUS 1125523 HAS SOUPS 1125523 WITH SCORE 1127524.472
AT ITER 2603 NEW BEST:: SOT 3328333 SOS 1994768 HAS SOPS 1994768 HAS SOUS 1114601 HAS SOUPS 1114601 WITH SCORE 1116595.768
AT ITER 2607 NEW BEST:: SOT 3328429 SOS 1994528 HAS SOPS 1994528 HAS SOUS 1114601 HAS SOUPS 1114601 WITH SCORE 1116595.528
AT ITER 2611 NEW BEST:: SOT 3328429 SOS 1994523 HAS SOPS 1994523 HAS SOUS 1114596 HAS SOUPS 1114596 WITH SCORE 1116590.523
AT ITER 2617 NEW BEST:: SOT 3328115 SOS 1993569 HAS SOPS 1993569 HAS SOUS 1113721 HAS SOUPS 1113721 WITH SCORE 1115714.569
AT ITER 2618 NEW BEST:: SOT 3328114 SOS 1993915 HAS SOPS 1993915 HAS SOUS 1113717 HAS SOUPS 1113717 WITH SCORE 1115710.915
AT ITER 2621 NEW BEST:: SOT 3327906 SOS 1993366 HAS SOPS 1993366 HAS SOUS 1113301 HAS SOUPS 1113301 WITH SCORE 1115294.366
AT ITER 2625 NEW BEST:: SOT 3327764 SOS 1993224 HAS SOPS 1993224 HAS SOUS 1113159 HAS SOUPS 1113159 WITH SCORE 1115152.224
AT ITER 2636 NEW BEST:: SOT 3327275 SOS 1992735 HAS SOPS 1992735 HAS SOUS 1112670 HAS SOUPS 1112670 WITH SCORE 1114662.735
AT ITER 2640 NEW BEST:: SOT 3327275 SOS 1992061 HAS SOPS 1992061 HAS SOUS 1112670 HAS SOUPS 1112670 WITH SCORE 1114662.061
AT ITER 2642 NEW BEST:: SOT 3327275 SOS 1991887 HAS SOPS 1991887 HAS SOUS 1112496 HAS SOUPS 1112496 WITH SCORE 1114487.887
AT ITER 2655 NEW BEST:: SOT 3326524 SOS 1992148 HAS SOPS 1992148 HAS SOUS 1112470 HAS SOUPS 1112470 WITH SCORE 1114462.148
AT ITER 2669 NEW BEST:: SOT 3325712 SOS 1991345 HAS SOPS 1991345 HAS SOUS 1111275 HAS SOUPS 1111275 WITH SCORE 1113266.345
AT ITER 2682 NEW BEST:: SOT 3325218 SOS 1989725 HAS SOPS 1989725 HAS SOUS 1110491 HAS SOUPS 1110491 WITH SCORE 1112480.725
AT ITER 2686 NEW BEST:: SOT 3325190 SOS 1989650 HAS SOPS 1989650 HAS SOUS 1110463 HAS SOUPS 1110463 WITH SCORE 1112452.65
AT ITER 2688 NEW BEST:: SOT 3324994 SOS 1989650 HAS SOPS 1989650 HAS SOUS 1110456 HAS SOUPS 1110456 WITH SCORE 1112445.65
AT ITER 2696 NEW BEST:: SOT 3324623 SOS 1989234 HAS SOPS 1989234 HAS SOUS 1110407 HAS SOUPS 1110407 WITH SCORE 1112396.234
AT ITER 2697 NEW BEST:: SOT 3324617 SOS 1989228 HAS SOPS 1989228 HAS SOUS 1110345 HAS SOUPS 1110345 WITH SCORE 1112334.228
AT ITER 2703 NEW BEST:: SOT 3323788 SOS 1988399 HAS SOPS 1988399 HAS SOUS 1109516 HAS SOUPS 1109516 WITH SCORE 1111504.399
AT ITER 2722 NEW BEST:: SOT 3315802 SOS 1980701 HAS SOPS 1980701 HAS SOUS 1101818 HAS SOUPS 1101818 WITH SCORE 1103798.701
AT ITER 2728 NEW BEST:: SOT 3315078 SOS 1979398 HAS SOPS 1979398 HAS SOUS 1100515 HAS SOUPS 1100515 WITH SCORE 1102494.398
AT ITER 2731 NEW BEST:: SOT 3315078 SOS 1979370 HAS SOPS 1979370 HAS SOUS 1100490 HAS SOUPS 1100490 WITH SCORE 1102469.37
AT ITER 2734 NEW BEST:: SOT 3314759 SOS 1978850 HAS SOPS 1978850 HAS SOUS 1100162 HAS SOUPS 1100162 WITH SCORE 1102140.85
AT ITER 2743 NEW BEST:: SOT 3314301 SOS 1978392 HAS SOPS 1978392 HAS SOUS 1099704 HAS SOUPS 1099704 WITH SCORE 1101682.392
AT ITER 2749 NEW BEST:: SOT 3313879 SOS 1975618 HAS SOPS 1975618 HAS SOUS 1098860 HAS SOUPS 1098860 WITH SCORE 1100835.618
AT ITER 2765 NEW BEST:: SOT 3312424 SOS 1980131 HAS SOPS 1980131 HAS SOUS 1098196 HAS SOUPS 1098196 WITH SCORE 1100176.131
AT ITER 2771 NEW BEST:: SOT 3312211 SOS 1979918 HAS SOPS 1979918 HAS SOUS 1097983 HAS SOUPS 1097983 WITH SCORE 1099962.918
AT ITER 2776 NEW BEST:: SOT 3311738 SOS 1979445 HAS SOPS 1979445 HAS SOUS 1097633 HAS SOUPS 1097633 WITH SCORE 1099612.445
AT ITER 2797 NEW BEST:: SOT 3311721 SOS 1979428 HAS SOPS 1979428 HAS SOUS 1097616 HAS SOUPS 1097616 WITH SCORE 1099595.428
AT ITER 2798 NEW BEST:: SOT 3311724 SOS 1978394 HAS SOPS 1978394 HAS SOUS 1096582 HAS SOUPS 1096582 WITH SCORE 1098560.394
AT ITER 2801 NEW BEST:: SOT 3311724 SOS 1974240 HAS SOPS 1974240 HAS SOUS 1096257 HAS SOUPS 1096257 WITH SCORE 1098231.24
AT ITER 2804 NEW BEST:: SOT 3311558 SOS 1973742 HAS SOPS 1973742 HAS SOUS 1096008 HAS SOUPS 1096008 WITH SCORE 1097981.742
AT ITER 2812 NEW BEST:: SOT 3311174 SOS 1973358 HAS SOPS 1973358 HAS SOUS 1095042 HAS SOUPS 1095042 WITH SCORE 1097015.358
AT ITER 2816 NEW BEST:: SOT 3311161 SOS 1973630 HAS SOPS 1973630 HAS SOUS 1094974 HAS SOUPS 1094974 WITH SCORE 1096947.63
AT ITER 2831 NEW BEST:: SOT 3311051 SOS 1973416 HAS SOPS 1973416 HAS SOUS 1094760 HAS SOUPS 1094760 WITH SCORE 1096733.416
AT ITER 2842 NEW BEST:: SOT 3310599 SOS 1973305 HAS SOPS 1973305 HAS SOUS 1094479 HAS SOUPS 1094479 WITH SCORE 1096452.305
AT ITER 2845 NEW BEST:: SOT 3310719 SOS 1973425 HAS SOPS 1973425 HAS SOUS 1094135 HAS SOUPS 1094135 WITH SCORE 1096108.425
AT ITER 2853 NEW BEST:: SOT 3309944 SOS 1973558 HAS SOPS 1973558 HAS SOUS 1093936 HAS SOUPS 1093936 WITH SCORE 1095909.558
AT ITER 2855 NEW BEST:: SOT 3309942 SOS 1973556 HAS SOPS 1973556 HAS SOUS 1093934 HAS SOUPS 1093934 WITH SCORE 1095907.556
AT ITER 2857 NEW BEST:: SOT 3309557 SOS 1972786 HAS SOPS 1972786 HAS SOUS 1093319 HAS SOUPS 1093319 WITH SCORE 1095291.786
AT ITER 2865 NEW BEST:: SOT 3309314 SOS 1972543 HAS SOPS 1972543 HAS SOUS 1093268 HAS SOUPS 1093268 WITH SCORE 1095240.543
AT ITER 2867 NEW BEST:: SOT 3309314 SOS 1971933 HAS SOPS 1971933 HAS SOUS 1092931 HAS SOUPS 1092931 WITH SCORE 1094902.933
AT ITER 2882 NEW BEST:: SOT 3309314 SOS 1971868 HAS SOPS 1971868 HAS SOUS 1092866 HAS SOUPS 1092866 WITH SCORE 1094837.868
AT ITER 2887 NEW BEST:: SOT 3309112 SOS 1969974 HAS SOPS 1969974 HAS SOUS 1092603 HAS SOUPS 1092603 WITH SCORE 1094572.974
AT ITER 2889 NEW BEST:: SOT 3309620 SOS 1968345 HAS SOPS 1968345 HAS SOUS 1091482 HAS SOUPS 1091482 WITH SCORE 1093450.345
AT ITER 2890 NEW BEST:: SOT 3309620 SOS 1967977 HAS SOPS 1967977 HAS SOUS 1091482 HAS SOUPS 1091482 WITH SCORE 1093449.977
AT ITER 2892 NEW BEST:: SOT 3309620 SOS 1967870 HAS SOPS 1967870 HAS SOUS 1091268 HAS SOUPS 1091268 WITH SCORE 1093235.87
AT ITER 2901 NEW BEST:: SOT 3309499 SOS 1967749 HAS SOPS 1967749 HAS SOUS 1091147 HAS SOUPS 1091147 WITH SCORE 1093114.749
AT ITER 2906 NEW BEST:: SOT 3309155 SOS 1967491 HAS SOPS 1967491 HAS SOUS 1090803 HAS SOUPS 1090803 WITH SCORE 1092770.491
AT ITER 2912 NEW BEST:: SOT 3308567 SOS 1966966 HAS SOPS 1966966 HAS SOUS 1090278 HAS SOUPS 1090278 WITH SCORE 1092244.966
AT ITER 2913 NEW BEST:: SOT 3308460 SOS 1966349 HAS SOPS 1966349 HAS SOUS 1089669 HAS SOUPS 1089669 WITH SCORE 1091635.349
AT ITER 2919 NEW BEST:: SOT 3308341 SOS 1966111 HAS SOPS 1966111 HAS SOUS 1089419 HAS SOUPS 1089419 WITH SCORE 1091385.111
AT ITER 2920 NEW BEST:: SOT 3308469 SOS 1967344 HAS SOPS 1967344 HAS SOUS 1088266 HAS SOUPS 1088266 WITH SCORE 1090233.344
AT ITER 2923 NEW BEST:: SOT 3308350 SOS 1967225 HAS SOPS 1967225 HAS SOUS 1087935 HAS SOUPS 1087935 WITH SCORE 1089902.225
AT ITER 2928 NEW BEST:: SOT 3308350 SOS 1967524 HAS SOPS 1967524 HAS SOUS 1087883 HAS SOUPS 1087883 WITH SCORE 1089850.524
AT ITER 2932 NEW BEST:: SOT 3307739 SOS 1966913 HAS SOPS 1966913 HAS SOUS 1087272 HAS SOUPS 1087272 WITH SCORE 1089238.913
AT ITER 2939 NEW BEST:: SOT 3307444 SOS 1965733 HAS SOPS 1965733 HAS SOUS 1086682 HAS SOUPS 1086682 WITH SCORE 1088647.733
AT ITER 2942 NEW BEST:: SOT 3307444 SOS 1965658 HAS SOPS 1965658 HAS SOUS 1086422 HAS SOUPS 1086422 WITH SCORE 1088387.658
AT ITER 2943 NEW BEST:: SOT 3307443 SOS 1965657 HAS SOPS 1965657 HAS SOUS 1086420 HAS SOUPS 1086420 WITH SCORE 1088385.657
AT ITER 2945 NEW BEST:: SOT 3306994 SOS 1960873 HAS SOPS 1960873 HAS SOUS 1085522 HAS SOUPS 1085522 WITH SCORE 1087482.873
AT ITER 2955 NEW BEST:: SOT 3306513 SOS 1959726 HAS SOPS 1959726 HAS SOUS 1084542 HAS SOUPS 1084542 WITH SCORE 1086501.726
AT ITER 2956 NEW BEST:: SOT 3305630 SOS 1960061 HAS SOPS 1960061 HAS SOUS 1084059 HAS SOUPS 1084059 WITH SCORE 1086019.061
AT ITER 2957 NEW BEST:: SOT 3305570 SOS 1960001 HAS SOPS 1960001 HAS SOUS 1084057 HAS SOUPS 1084057 WITH SCORE 1086017.001
AT ITER 2959 NEW BEST:: SOT 3304916 SOS 1959199 HAS SOPS 1959199 HAS SOUS 1083403 HAS SOUPS 1083403 WITH SCORE 1085362.199
AT ITER 2967 NEW BEST:: SOT 3304363 SOS 1956310 HAS SOPS 1956310 HAS SOUS 1081677 HAS SOUPS 1081677 WITH SCORE 1083633.31
AT ITER 2969 NEW BEST:: SOT 3304353 SOS 1956300 HAS SOPS 1956300 HAS SOUS 1081667 HAS SOUPS 1081667 WITH SCORE 1083623.3
AT ITER 2974 NEW BEST:: SOT 3304183 SOS 1956297 HAS SOPS 1956297 HAS SOUS 1081617 HAS SOUPS 1081617 WITH SCORE 1083573.297
AT ITER 2978 NEW BEST:: SOT 3303459 SOS 1954190 HAS SOPS 1954190 HAS SOUS 1079510 HAS SOUPS 1079510 WITH SCORE 1081464.19
AT ITER 2992 NEW BEST:: SOT 3303588 SOS 1953855 HAS SOPS 1953855 HAS SOUS 1079175 HAS SOUPS 1079175 WITH SCORE 1081128.855
AT ITER 3002 NEW BEST:: SOT 3303461 SOS 1953601 HAS SOPS 1953601 HAS SOUS 1079048 HAS SOUPS 1079048 WITH SCORE 1081001.601
AT ITER 3007 NEW BEST:: SOT 3300323 SOS 1956204 HAS SOPS 1956204 HAS SOUS 1075625 HAS SOUPS 1075625 WITH SCORE 1077581.204
AT ITER 3028 NEW BEST:: SOT 3300245 SOS 1955593 HAS SOPS 1955593 HAS SOUS 1075469 HAS SOUPS 1075469 WITH SCORE 1077424.593
AT ITER 3036 NEW BEST:: SOT 3300363 SOS 1955182 HAS SOPS 1955182 HAS SOUS 1075332 HAS SOUPS 1075332 WITH SCORE 1077287.182
AT ITER 3040 NEW BEST:: SOT 3300358 SOS 1955231 HAS SOPS 1955231 HAS SOUS 1075189 HAS SOUPS 1075189 WITH SCORE 1077144.231
AT ITER 3042 NEW BEST:: SOT 3300358 SOS 1958116 HAS SOPS 1958116 HAS SOUS 1074963 HAS SOUPS 1074963 WITH SCORE 1076921.116
AT ITER 3052 NEW BEST:: SOT 3292789 SOS 1950547 HAS SOPS 1950547 HAS SOUS 1067370 HAS SOUPS 1067370 WITH SCORE 1069320.547
AT ITER 3064 NEW BEST:: SOT 3292016 SOS 1949774 HAS SOPS 1949774 HAS SOUS 1067138 HAS SOUPS 1067138 WITH SCORE 1069087.774
AT ITER 3068 NEW BEST:: SOT 3288768 SOS 1946380 HAS SOPS 1946380 HAS SOUS 1063653 HAS SOUPS 1063653 WITH SCORE 1065599.38
AT ITER 3069 NEW BEST:: SOT 3288265 SOS 1945877 HAS SOPS 1945877 HAS SOUS 1063150 HAS SOUPS 1063150 WITH SCORE 1065095.877
AT ITER 3074 NEW BEST:: SOT 3288265 SOS 1945857 HAS SOPS 1945857 HAS SOUS 1063130 HAS SOUPS 1063130 WITH SCORE 1065075.857
AT ITER 3076 NEW BEST:: SOT 3288173 SOS 1945661 HAS SOPS 1945661 HAS SOUS 1063101 HAS SOUPS 1063101 WITH SCORE 1065046.661
AT ITER 3081 NEW BEST:: SOT 3288173 SOS 1945618 HAS SOPS 1945618 HAS SOUS 1063101 HAS SOUPS 1063101 WITH SCORE 1065046.618
AT ITER 3094 NEW BEST:: SOT 3288173 SOS 1945594 HAS SOPS 1945594 HAS SOUS 1063053 HAS SOUPS 1063053 WITH SCORE 1064998.594
AT ITER 3113 NEW BEST:: SOT 3288173 SOS 1945418 HAS SOPS 1945418 HAS SOUS 1063053 HAS SOUPS 1063053 WITH SCORE 1064998.418
AT ITER 3117 NEW BEST:: SOT 3287661 SOS 1944629 HAS SOPS 1944629 HAS SOUS 1062264 HAS SOUPS 1062264 WITH SCORE 1064208.629
AT ITER 3126 NEW BEST:: SOT 3286640 SOS 1943602 HAS SOPS 1943602 HAS SOUS 1061237 HAS SOUPS 1061237 WITH SCORE 1063180.602
AT ITER 3128 NEW BEST:: SOT 3286352 SOS 1940321 HAS SOPS 1940321 HAS SOUS 1060867 HAS SOUPS 1060867 WITH SCORE 1062807.321
AT ITER 3134 NEW BEST:: SOT 3286163 SOS 1940132 HAS SOPS 1940132 HAS SOUS 1060677 HAS SOUPS 1060677 WITH SCORE 1062617.132
AT ITER 3136 NEW BEST:: SOT 3285701 SOS 1939670 HAS SOPS 1939670 HAS SOUS 1060215 HAS SOUPS 1060215 WITH SCORE 1062154.67
AT ITER 3137 NEW BEST:: SOT 3285080 SOS 1938422 HAS SOPS 1938422 HAS SOUS 1059632 HAS SOUPS 1059632 WITH SCORE 1061570.422
AT ITER 3142 NEW BEST:: SOT 3284155 SOS 1936801 HAS SOPS 1936801 HAS SOUS 1058011 HAS SOUPS 1058011 WITH SCORE 1059947.801
AT ITER 3147 NEW BEST:: SOT 3284155 SOS 1936172 HAS SOPS 1936172 HAS SOUS 1057382 HAS SOUPS 1057382 WITH SCORE 1059318.172
AT ITER 3151 NEW BEST:: SOT 3283612 SOS 1935629 HAS SOPS 1935629 HAS SOUS 1056298 HAS SOUPS 1056298 WITH SCORE 1058233.629
AT ITER 3168 NEW BEST:: SOT 3283611 SOS 1935628 HAS SOPS 1935628 HAS SOUS 1056297 HAS SOUPS 1056297 WITH SCORE 1058232.628
AT ITER 3185 NEW BEST:: SOT 3283321 SOS 1935413 HAS SOPS 1935413 HAS SOUS 1056291 HAS SOUPS 1056291 WITH SCORE 1058226.413
AT ITER 3187 NEW BEST:: SOT 3283128 SOS 1935220 HAS SOPS 1935220 HAS SOUS 1056235 HAS SOUPS 1056235 WITH SCORE 1058170.22
AT ITER 3190 NEW BEST:: SOT 3283188 SOS 1935280 HAS SOPS 1935280 HAS SOUS 1055984 HAS SOUPS 1055984 WITH SCORE 1057919.28
AT ITER 3197 NEW BEST:: SOT 3283303 SOS 1935395 HAS SOPS 1935395 HAS SOUS 1055911 HAS SOUPS 1055911 WITH SCORE 1057846.395
AT ITER 3215 NEW BEST:: SOT 3283022 SOS 1934916 HAS SOPS 1934916 HAS SOUS 1055616 HAS SOUPS 1055616 WITH SCORE 1057550.916
AT ITER 3217 NEW BEST:: SOT 3283031 SOS 1934708 HAS SOPS 1934708 HAS SOUS 1055433 HAS SOUPS 1055433 WITH SCORE 1057367.708
AT ITER 3241 NEW BEST:: SOT 3283031 SOS 1934471 HAS SOPS 1934471 HAS SOUS 1055196 HAS SOUPS 1055196 WITH SCORE 1057130.471
AT ITER 3264 NEW BEST:: SOT 3283083 SOS 1933880 HAS SOPS 1933880 HAS SOUS 1054605 HAS SOUPS 1054605 WITH SCORE 1056538.88
AT ITER 3265 NEW BEST:: SOT 3282268 SOS 1933025 HAS SOPS 1933025 HAS SOUS 1052914 HAS SOUPS 1052914 WITH SCORE 1054847.025
AT ITER 3282 NEW BEST:: SOT 3279477 SOS 1925664 HAS SOPS 1925664 HAS SOUS 1052764 HAS SOUPS 1052764 WITH SCORE 1054689.664
AT ITER 3287 NEW BEST:: SOT 3279476 SOS 1925663 HAS SOPS 1925663 HAS SOUS 1052750 HAS SOUPS 1052750 WITH SCORE 1054675.663
AT ITER 3299 NEW BEST:: SOT 3279476 SOS 1925736 HAS SOPS 1925736 HAS SOUS 1052608 HAS SOUPS 1052608 WITH SCORE 1054533.736
AT ITER 3318 NEW BEST:: SOT 3279118 SOS 1924271 HAS SOPS 1924271 HAS SOUS 1051143 HAS SOUPS 1051143 WITH SCORE 1053067.271
AT ITER 3329 NEW BEST:: SOT 3272949 SOS 1918133 HAS SOPS 1918133 HAS SOUS 1045005 HAS SOUPS 1045005 WITH SCORE 1046923.133
AT ITER 3338 NEW BEST:: SOT 3272033 SOS 1911023 HAS SOPS 1911023 HAS SOUS 1042689 HAS SOUPS 1042689 WITH SCORE 1044600.023
AT ITER 3344 NEW BEST:: SOT 3271455 SOS 1910087 HAS SOPS 1910087 HAS SOUS 1041753 HAS SOUPS 1041753 WITH SCORE 1043663.087
AT ITER 3354 NEW BEST:: SOT 3271429 SOS 1910792 HAS SOPS 1910792 HAS SOUS 1041526 HAS SOUPS 1041526 WITH SCORE 1043436.792
AT ITER 3360 NEW BEST:: SOT 3271222 SOS 1910682 HAS SOPS 1910682 HAS SOUS 1041416 HAS SOUPS 1041416 WITH SCORE 1043326.682
AT ITER 3369 NEW BEST:: SOT 3271222 SOS 1910549 HAS SOPS 1910549 HAS SOUS 1041283 HAS SOUPS 1041283 WITH SCORE 1043193.549
AT ITER 3384 NEW BEST:: SOT 3271219 SOS 1910546 HAS SOPS 1910546 HAS SOUS 1041280 HAS SOUPS 1041280 WITH SCORE 1043190.546
AT ITER 3391 NEW BEST:: SOT 3271219 SOS 1910546 HAS SOPS 1910546 HAS SOUS 1041267 HAS SOUPS 1041267 WITH SCORE 1043177.546
AT ITER 3400 NEW BEST:: SOT 3271219 SOS 1910315 HAS SOPS 1910315 HAS SOUS 1041036 HAS SOUPS 1041036 WITH SCORE 1042946.315
AT ITER 3404 NEW BEST:: SOT 3271219 SOS 1910227 HAS SOPS 1910227 HAS SOUS 1041036 HAS SOUPS 1041036 WITH SCORE 1042946.227
AT ITER 3420 NEW BEST:: SOT 3271163 SOS 1910062 HAS SOPS 1910062 HAS SOUS 1040503 HAS SOUPS 1040503 WITH SCORE 1042413.062
AT ITER 3423 NEW BEST:: SOT 3270290 SOS 1908262 HAS SOPS 1908262 HAS SOUS 1039089 HAS SOUPS 1039089 WITH SCORE 1040997.262
AT ITER 3425 NEW BEST:: SOT 3270619 SOS 1907548 HAS SOPS 1907548 HAS SOUS 1038375 HAS SOUPS 1038375 WITH SCORE 1040282.548
AT ITER 3433 NEW BEST:: SOT 3270618 SOS 1907547 HAS SOPS 1907547 HAS SOUS 1038374 HAS SOUPS 1038374 WITH SCORE 1040281.547
AT ITER 3441 NEW BEST:: SOT 3269762 SOS 1905835 HAS SOPS 1905835 HAS SOUS 1037516 HAS SOUPS 1037516 WITH SCORE 1039421.835
AT ITER 3451 NEW BEST:: SOT 3268402 SOS 1901378 HAS SOPS 1901378 HAS SOUS 1035611 HAS SOUPS 1035611 WITH SCORE 1037512.378
AT ITER 3457 NEW BEST:: SOT 3268350 SOS 1901300 HAS SOPS 1901300 HAS SOUS 1035585 HAS SOUPS 1035585 WITH SCORE 1037486.3
AT ITER 3465 NEW BEST:: SOT 3268027 SOS 1900964 HAS SOPS 1900964 HAS SOUS 1035249 HAS SOUPS 1035249 WITH SCORE 1037149.964
AT ITER 3466 NEW BEST:: SOT 3267817 SOS 1900124 HAS SOPS 1900124 HAS SOUS 1034715 HAS SOUPS 1034715 WITH SCORE 1036615.124
AT ITER 3485 NEW BEST:: SOT 3267528 SOS 1899541 HAS SOPS 1899541 HAS SOUS 1034132 HAS SOUPS 1034132 WITH SCORE 1036031.541
AT ITER 3486 NEW BEST:: SOT 3267527 SOS 1898547 HAS SOPS 1898547 HAS SOUS 1034130 HAS SOUPS 1034130 WITH SCORE 1036028.547
AT ITER 3487 NEW BEST:: SOT 3267432 SOS 1898452 HAS SOPS 1898452 HAS SOUS 1034025 HAS SOUPS 1034025 WITH SCORE 1035923.452
AT ITER 3498 NEW BEST:: SOT 3267389 SOS 1898409 HAS SOPS 1898409 HAS SOUS 1033982 HAS SOUPS 1033982 WITH SCORE 1035880.409
AT ITER 3511 NEW BEST:: SOT 3249331 SOS 1884967 HAS SOPS 1884967 HAS SOUS 1015005 HAS SOUPS 1015005 WITH SCORE 1016889.967
AT ITER 3516 NEW BEST:: SOT 3249391 SOS 1884961 HAS SOPS 1884961 HAS SOUS 1014999 HAS SOUPS 1014999 WITH SCORE 1016883.961
AT ITER 3530 NEW BEST:: SOT 3248862 SOS 1881314 HAS SOPS 1881314 HAS SOUS 1014042 HAS SOUPS 1014042 WITH SCORE 1015923.314
AT ITER 3539 NEW BEST:: SOT 3248818 SOS 1880453 HAS SOPS 1880453 HAS SOUS 1013181 HAS SOUPS 1013181 WITH SCORE 1015061.453
AT ITER 3572 NEW BEST:: SOT 3248145 SOS 1873872 HAS SOPS 1873872 HAS SOUS 1011478 HAS SOUPS 1011478 WITH SCORE 1013351.872
AT ITER 3576 NEW BEST:: SOT 3248560 SOS 1873883 HAS SOPS 1873883 HAS SOUS 1011226 HAS SOUPS 1011226 WITH SCORE 1013099.883
AT ITER 3584 NEW BEST:: SOT 3249559 SOS 1872953 HAS SOPS 1872953 HAS SOUS 1010947 HAS SOUPS 1010947 WITH SCORE 1012819.953
AT ITER 3585 NEW BEST:: SOT 3249559 SOS 1872775 HAS SOPS 1872775 HAS SOUS 1010933 HAS SOUPS 1010933 WITH SCORE 1012805.775
AT ITER 3587 NEW BEST:: SOT 3249542 SOS 1872773 HAS SOPS 1872773 HAS SOUS 1010899 HAS SOUPS 1010899 WITH SCORE 1012771.773
AT ITER 3589 NEW BEST:: SOT 3249382 SOS 1872613 HAS SOPS 1872613 HAS SOUS 1010659 HAS SOUPS 1010659 WITH SCORE 1012531.613
AT ITER 3609 NEW BEST:: SOT 3249910 SOS 1872899 HAS SOPS 1872899 HAS SOUS 1010630 HAS SOUPS 1010630 WITH SCORE 1012502.899
AT ITER 3612 NEW BEST:: SOT 3249779 SOS 1872768 HAS SOPS 1872768 HAS SOUS 1010498 HAS SOUPS 1010498 WITH SCORE 1012370.768
AT ITER 3614 NEW BEST:: SOT 3249505 SOS 1871645 HAS SOPS 1871645 HAS SOUS 1009629 HAS SOUPS 1009629 WITH SCORE 1011500.645
AT ITER 3621 NEW BEST:: SOT 3249411 SOS 1870856 HAS SOPS 1870856 HAS SOUS 1009223 HAS SOUPS 1009223 WITH SCORE 1011093.856
AT ITER 3630 NEW BEST:: SOT 3249408 SOS 1870852 HAS SOPS 1870852 HAS SOUS 1009219 HAS SOUPS 1009219 WITH SCORE 1011089.852
AT ITER 3643 NEW BEST:: SOT 3249408 SOS 1870850 HAS SOPS 1870850 HAS SOUS 1009217 HAS SOUPS 1009217 WITH SCORE 1011087.85
AT ITER 3645 NEW BEST:: SOT 3249618 SOS 1870346 HAS SOPS 1870346 HAS SOUS 1008544 HAS SOUPS 1008544 WITH SCORE 1010414.346
AT ITER 3649 NEW BEST:: SOT 3249659 SOS 1870290 HAS SOPS 1870290 HAS SOUS 1008373 HAS SOUPS 1008373 WITH SCORE 1010243.29
AT ITER 3665 NEW BEST:: SOT 3249523 SOS 1870154 HAS SOPS 1870154 HAS SOUS 1008237 HAS SOUPS 1008237 WITH SCORE 1010107.154
AT ITER 3669 NEW BEST:: SOT 3249498 SOS 1870129 HAS SOPS 1870129 HAS SOUS 1008212 HAS SOUPS 1008212 WITH SCORE 1010082.129
AT ITER 3683 NEW BEST:: SOT 3249351 SOS 1870129 HAS SOPS 1870129 HAS SOUS 1008145 HAS SOUPS 1008145 WITH SCORE 1010015.129
AT ITER 3687 NEW BEST:: SOT 3249770 SOS 1870067 HAS SOPS 1870067 HAS SOUS 1008083 HAS SOUPS 1008083 WITH SCORE 1009953.067
AT ITER 3719 NEW BEST:: SOT 3249597 SOS 1869767 HAS SOPS 1869767 HAS SOUS 1007660 HAS SOUPS 1007660 WITH SCORE 1009529.767
AT ITER 3738 NEW BEST:: SOT 3253457 SOS 1876080 HAS SOPS 1876080 HAS SOUS 1006519 HAS SOUPS 1006519 WITH SCORE 1008395.08
AT ITER 3757 NEW BEST:: SOT 3253458 SOS 1875915 HAS SOPS 1875915 HAS SOUS 1006354 HAS SOUPS 1006354 WITH SCORE 1008229.915
AT ITER 3758 NEW BEST:: SOT 3253198 SOS 1876207 HAS SOPS 1876207 HAS SOUS 1006186 HAS SOUPS 1006186 WITH SCORE 1008062.207
AT ITER 3759 NEW BEST:: SOT 3253110 SOS 1877345 HAS SOPS 1877345 HAS SOUS 1006098 HAS SOUPS 1006098 WITH SCORE 1007975.345
AT ITER 3763 NEW BEST:: SOT 3253110 SOS 1877867 HAS SOPS 1877867 HAS SOUS 1006011 HAS SOUPS 1006011 WITH SCORE 1007888.867
AT ITER 3769 NEW BEST:: SOT 3253033 SOS 1877713 HAS SOPS 1877713 HAS SOUS 1005857 HAS SOUPS 1005857 WITH SCORE 1007734.713
AT ITER 3776 NEW BEST:: SOT 3253172 SOS 1877569 HAS SOPS 1877569 HAS SOUS 1005847 HAS SOUPS 1005847 WITH SCORE 1007724.569
AT ITER 3777 NEW BEST:: SOT 3253427 SOS 1876844 HAS SOPS 1876844 HAS SOUS 1005732 HAS SOUPS 1005732 WITH SCORE 1007608.844
AT ITER 3789 NEW BEST:: SOT 3250515 SOS 1876103 HAS SOPS 1876103 HAS SOUS 1003735 HAS SOUPS 1003735 WITH SCORE 1005611.103
AT ITER 3796 NEW BEST:: SOT 3250513 SOS 1876101 HAS SOPS 1876101 HAS SOUS 1003112 HAS SOUPS 1003112 WITH SCORE 1004988.101
AT ITER 3805 NEW BEST:: SOT 3250710 SOS 1876177 HAS SOPS 1876177 HAS SOUS 1002991 HAS SOUPS 1002991 WITH SCORE 1004867.177
AT ITER 3808 NEW BEST:: SOT 3251496 SOS 1876890 HAS SOPS 1876890 HAS SOUS 1002982 HAS SOUPS 1002982 WITH SCORE 1004858.89
AT ITER 3809 NEW BEST:: SOT 3250391 SOS 1879056 HAS SOPS 1879056 HAS SOUS 1002133 HAS SOUPS 1002133 WITH SCORE 1004012.056
AT ITER 3813 NEW BEST:: SOT 3249122 SOS 1876195 HAS SOPS 1876195 HAS SOUS 999947 HAS SOUPS 999947 WITH SCORE 1001823.195
AT ITER 3816 NEW BEST:: SOT 3248601 SOS 1875674 HAS SOPS 1875674 HAS SOUS 999165 HAS SOUPS 999165 WITH SCORE 1001040.674
AT ITER 3820 NEW BEST:: SOT 3248595 SOS 1875668 HAS SOPS 1875668 HAS SOUS 999159 HAS SOUPS 999159 WITH SCORE 1001034.668
AT ITER 3846 NEW BEST:: SOT 3248735 SOS 1875262 HAS SOPS 1875262 HAS SOUS 998753 HAS SOUPS 998753 WITH SCORE 1000628.262
AT ITER 3848 NEW BEST:: SOT 3248735 SOS 1875262 HAS SOPS 1875262 HAS SOUS 998580 HAS SOUPS 998580 WITH SCORE 1000455.262
AT ITER 3851 NEW BEST:: SOT 3248735 SOS 1874675 HAS SOPS 1874675 HAS SOUS 998578 HAS SOUPS 998578 WITH SCORE 1000452.675
AT ITER 3852 NEW BEST:: SOT 3248613 SOS 1873612 HAS SOPS 1873612 HAS SOUS 997933 HAS SOUPS 997933 WITH SCORE 999806.612
AT ITER 3861 NEW BEST:: SOT 3246988 SOS 1872011 HAS SOPS 1872011 HAS SOUS 996150 HAS SOUPS 996150 WITH SCORE 998022.011
AT ITER 3862 NEW BEST:: SOT 3246837 SOS 1871721 HAS SOPS 1871721 HAS SOUS 995860 HAS SOUPS 995860 WITH SCORE 997731.721
AT ITER 3875 NEW BEST:: SOT 3247169 SOS 1872053 HAS SOPS 1872053 HAS SOUS 995689 HAS SOUPS 995689 WITH SCORE 997561.053
AT ITER 3877 NEW BEST:: SOT 3247428 SOS 1871188 HAS SOPS 1871188 HAS SOUS 995433 HAS SOUPS 995433 WITH SCORE 997304.188
AT ITER 3889 NEW BEST:: SOT 3246770 SOS 1869657 HAS SOPS 1869657 HAS SOUS 993902 HAS SOUPS 993902 WITH SCORE 995771.657
AT ITER 3898 NEW BEST:: SOT 3246124 SOS 1868933 HAS SOPS 1868933 HAS SOUS 993178 HAS SOUPS 993178 WITH SCORE 995046.933
AT ITER 3903 NEW BEST:: SOT 3245613 SOS 1867579 HAS SOPS 1867579 HAS SOUS 992154 HAS SOUPS 992154 WITH SCORE 994021.579
AT ITER 3908 NEW BEST:: SOT 3245550 SOS 1867516 HAS SOPS 1867516 HAS SOUS 992028 HAS SOUPS 992028 WITH SCORE 993895.516
AT ITER 3913 NEW BEST:: SOT 3245448 SOS 1867414 HAS SOPS 1867414 HAS SOUS 991925 HAS SOUPS 991925 WITH SCORE 993792.414
AT ITER 3928 NEW BEST:: SOT 3245220 SOS 1866896 HAS SOPS 1866896 HAS SOUS 991407 HAS SOUPS 991407 WITH SCORE 993273.896
AT ITER 3932 NEW BEST:: SOT 3245220 SOS 1866864 HAS SOPS 1866864 HAS SOUS 991407 HAS SOUPS 991407 WITH SCORE 993273.864
AT ITER 3943 NEW BEST:: SOT 3245220 SOS 1866672 HAS SOPS 1866672 HAS SOUS 991265 HAS SOUPS 991265 WITH SCORE 993131.672
AT ITER 3947 NEW BEST:: SOT 3244741 SOS 1866011 HAS SOPS 1866011 HAS SOUS 990604 HAS SOUPS 990604 WITH SCORE 992470.011
AT ITER 3962 NEW BEST:: SOT 3244638 SOS 1865908 HAS SOPS 1865908 HAS SOUS 990398 HAS SOUPS 990398 WITH SCORE 992263.908
AT ITER 3963 NEW BEST:: SOT 3244538 SOS 1865808 HAS SOPS 1865808 HAS SOUS 990374 HAS SOUPS 990374 WITH SCORE 992239.808
AT ITER 3983 NEW BEST:: SOT 3244538 SOS 1862210 HAS SOPS 1862210 HAS SOUS 989215 HAS SOUPS 989215 WITH SCORE 991077.21
AT ITER 3984 NEW BEST:: SOT 3244024 SOS 1859528 HAS SOPS 1859528 HAS SOUS 987681 HAS SOUPS 987681 WITH SCORE 989540.528
AT ITER 3986 NEW BEST:: SOT 3243817 SOS 1859623 HAS SOPS 1859623 HAS SOUS 987505 HAS SOUPS 987505 WITH SCORE 989364.623
AT ITER 3987 NEW BEST:: SOT 3243358 SOS 1859240 HAS SOPS 1859240 HAS SOUS 987197 HAS SOUPS 987197 WITH SCORE 989056.24
AT ITER 4058 NEW BEST:: SOT 3242822 SOS 1859155 HAS SOPS 1859155 HAS SOUS 987112 HAS SOUPS 987112 WITH SCORE 988971.155
AT ITER 4070 NEW BEST:: SOT 3242437 SOS 1859166 HAS SOPS 1859166 HAS SOUS 986515 HAS SOUPS 986515 WITH SCORE 988374.166
AT ITER 4081 NEW BEST:: SOT 3242436 SOS 1859164 HAS SOPS 1859164 HAS SOUS 986513 HAS SOUPS 986513 WITH SCORE 988372.164
AT ITER 4082 NEW BEST:: SOT 3242595 SOS 1855282 HAS SOPS 1855282 HAS SOUS 985807 HAS SOUPS 985807 WITH SCORE 987662.282
AT ITER 4083 NEW BEST:: SOT 3242653 SOS 1854944 HAS SOPS 1854944 HAS SOUS 985375 HAS SOUPS 985375 WITH SCORE 987229.944
AT ITER 4085 NEW BEST:: SOT 3242472 SOS 1854763 HAS SOPS 1854763 HAS SOUS 985194 HAS SOUPS 985194 WITH SCORE 987048.763
AT ITER 4087 NEW BEST:: SOT 3240976 SOS 1852890 HAS SOPS 1852890 HAS SOUS 984825 HAS SOUPS 984825 WITH SCORE 986677.89
AT ITER 4095 NEW BEST:: SOT 3240925 SOS 1852890 HAS SOPS 1852890 HAS SOUS 984774 HAS SOUPS 984774 WITH SCORE 986626.89
AT ITER 4103 NEW BEST:: SOT 3239263 SOS 1851228 HAS SOPS 1851228 HAS SOUS 983112 HAS SOUPS 983112 WITH SCORE 984963.228
AT ITER 4104 NEW BEST:: SOT 3239112 SOS 1851077 HAS SOPS 1851077 HAS SOUS 982961 HAS SOUPS 982961 WITH SCORE 984812.077
AT ITER 4108 NEW BEST:: SOT 3239040 SOS 1850887 HAS SOPS 1850887 HAS SOUS 982771 HAS SOUPS 982771 WITH SCORE 984621.887
AT ITER 4110 NEW BEST:: SOT 3238227 SOS 1850074 HAS SOPS 1850074 HAS SOUS 981958 HAS SOUPS 981958 WITH SCORE 983808.074
AT ITER 4118 NEW BEST:: SOT 3237917 SOS 1847126 HAS SOPS 1847126 HAS SOUS 981658 HAS SOUPS 981658 WITH SCORE 983505.126
AT ITER 4130 NEW BEST:: SOT 3237917 SOS 1847126 HAS SOPS 1847126 HAS SOUS 981657 HAS SOUPS 981657 WITH SCORE 983504.126
AT ITER 4144 NEW BEST:: SOT 3237369 SOS 1846850 HAS SOPS 1846850 HAS SOUS 980954 HAS SOUPS 980954 WITH SCORE 982800.85
AT ITER 4147 NEW BEST:: SOT 3236244 SOS 1845828 HAS SOPS 1845828 HAS SOUS 980883 HAS SOUPS 980883 WITH SCORE 982728.828
AT ITER 4160 NEW BEST:: SOT 3236244 SOS 1845676 HAS SOPS 1845676 HAS SOUS 980883 HAS SOUPS 980883 WITH SCORE 982728.676
AT ITER 4164 NEW BEST:: SOT 3236095 SOS 1844050 HAS SOPS 1844050 HAS SOUS 979731 HAS SOUPS 979731 WITH SCORE 981575.05
AT ITER 4165 NEW BEST:: SOT 3236036 SOS 1843873 HAS SOPS 1843873 HAS SOUS 979554 HAS SOUPS 979554 WITH SCORE 981397.873
AT ITER 4166 NEW BEST:: SOT 3235740 SOS 1843920 HAS SOPS 1843920 HAS SOUS 979280 HAS SOUPS 979280 WITH SCORE 981123.92
AT ITER 4172 NEW BEST:: SOT 3235622 SOS 1843684 HAS SOPS 1843684 HAS SOUS 979162 HAS SOUPS 979162 WITH SCORE 981005.684
AT ITER 4173 NEW BEST:: SOT 3235552 SOS 1843614 HAS SOPS 1843614 HAS SOUS 979092 HAS SOUPS 979092 WITH SCORE 980935.614
AT ITER 4174 NEW BEST:: SOT 3235212 SOS 1843274 HAS SOPS 1843274 HAS SOUS 978724 HAS SOUPS 978724 WITH SCORE 980567.274
AT ITER 4190 NEW BEST:: SOT 3234927 SOS 1839661 HAS SOPS 1839661 HAS SOUS 978154 HAS SOUPS 978154 WITH SCORE 979993.661
AT ITER 4193 NEW BEST:: SOT 3234955 SOS 1839095 HAS SOPS 1839095 HAS SOUS 978144 HAS SOUPS 978144 WITH SCORE 979983.095
AT ITER 4199 NEW BEST:: SOT 3234747 SOS 1835933 HAS SOPS 1835933 HAS SOUS 977254 HAS SOUPS 977254 WITH SCORE 979089.933
AT ITER 4204 NEW BEST:: SOT 3234747 SOS 1835286 HAS SOPS 1835286 HAS SOUS 976919 HAS SOUPS 976919 WITH SCORE 978754.286
AT ITER 4211 NEW BEST:: SOT 3232692 SOS 1833231 HAS SOPS 1833231 HAS SOUS 974861 HAS SOUPS 974861 WITH SCORE 976694.231
AT ITER 4226 NEW BEST:: SOT 3232014 SOS 1831601 HAS SOPS 1831601 HAS SOUS 973461 HAS SOUPS 973461 WITH SCORE 975292.601
AT ITER 4254 NEW BEST:: SOT 3232014 SOS 1829902 HAS SOPS 1829902 HAS SOUS 972974 HAS SOUPS 972974 WITH SCORE 974803.902
AT ITER 4255 NEW BEST:: SOT 3231727 SOS 1829605 HAS SOPS 1829605 HAS SOUS 972677 HAS SOUPS 972677 WITH SCORE 974506.605
AT ITER 4267 NEW BEST:: SOT 3232392 SOS 1830459 HAS SOPS 1830459 HAS SOUS 972644 HAS SOUPS 972644 WITH SCORE 974474.459
AT ITER 4275 NEW BEST:: SOT 3232392 SOS 1829896 HAS SOPS 1829896 HAS SOUS 972628 HAS SOUPS 972628 WITH SCORE 974457.896
AT ITER 4312 NEW BEST:: SOT 3232383 SOS 1829887 HAS SOPS 1829887 HAS SOUS 972619 HAS SOUPS 972619 WITH SCORE 974448.887
AT ITER 4314 NEW BEST:: SOT 3232383 SOS 1825244 HAS SOPS 1825244 HAS SOUS 972617 HAS SOUPS 972617 WITH SCORE 974442.244
AT ITER 4320 NEW BEST:: SOT 3232369 SOS 1825230 HAS SOPS 1825230 HAS SOUS 972589 HAS SOUPS 972589 WITH SCORE 974414.23
AT ITER 4324 NEW BEST:: SOT 3231878 SOS 1824739 HAS SOPS 1824739 HAS SOUS 972434 HAS SOUPS 972434 WITH SCORE 974258.739
AT ITER 4325 NEW BEST:: SOT 3231867 SOS 1824728 HAS SOPS 1824728 HAS SOUS 972423 HAS SOUPS 972423 WITH SCORE 974247.728
AT ITER 4330 NEW BEST:: SOT 3231536 SOS 1822846 HAS SOPS 1822846 HAS SOUS 971430 HAS SOUPS 971430 WITH SCORE 973252.846
AT ITER 4350 NEW BEST:: SOT 3231503 SOS 1822813 HAS SOPS 1822813 HAS SOUS 971364 HAS SOUPS 971364 WITH SCORE 973186.813
AT ITER 4361 NEW BEST:: SOT 3231439 SOS 1822749 HAS SOPS 1822749 HAS SOUS 971299 HAS SOUPS 971299 WITH SCORE 973121.749
AT ITER 4373 NEW BEST:: SOT 3231439 SOS 1819852 HAS SOPS 1819852 HAS SOUS 970854 HAS SOUPS 970854 WITH SCORE 972673.852
AT ITER 4376 NEW BEST:: SOT 3231131 SOS 1819544 HAS SOPS 1819544 HAS SOUS 970546 HAS SOUPS 970546 WITH SCORE 972365.544
AT ITER 4402 NEW BEST:: SOT 3231138 SOS 1819551 HAS SOPS 1819551 HAS SOUS 970429 HAS SOUPS 970429 WITH SCORE 972248.551
AT ITER 4421 NEW BEST:: SOT 3231245 SOS 1818780 HAS SOPS 1818780 HAS SOUS 970355 HAS SOUPS 970355 WITH SCORE 972173.78
AT ITER 4422 NEW BEST:: SOT 3231245 SOS 1818766 HAS SOPS 1818766 HAS SOUS 970355 HAS SOUPS 970355 WITH SCORE 972173.766
AT ITER 4428 NEW BEST:: SOT 3231095 SOS 1818616 HAS SOPS 1818616 HAS SOUS 970205 HAS SOUPS 970205 WITH SCORE 972023.616
AT ITER 4435 NEW BEST:: SOT 3231094 SOS 1818615 HAS SOPS 1818615 HAS SOUS 970204 HAS SOUPS 970204 WITH SCORE 972022.615
AT ITER 4452 NEW BEST:: SOT 3231060 SOS 1818581 HAS SOPS 1818581 HAS SOUS 970170 HAS SOUPS 970170 WITH SCORE 971988.581
AT ITER 4454 NEW BEST:: SOT 3230706 SOS 1818396 HAS SOPS 1818396 HAS SOUS 969462 HAS SOUPS 969462 WITH SCORE 971280.396
AT ITER 4460 NEW BEST:: SOT 3229868 SOS 1817558 HAS SOPS 1817558 HAS SOUS 968331 HAS SOUPS 968331 WITH SCORE 970148.558
AT ITER 4465 NEW BEST:: SOT 3229868 SOS 1818787 HAS SOPS 1818787 HAS SOUS 968276 HAS SOUPS 968276 WITH SCORE 970094.787
AT ITER 4473 NEW BEST:: SOT 3229823 SOS 1818742 HAS SOPS 1818742 HAS SOUS 968173 HAS SOUPS 968173 WITH SCORE 969991.742
AT ITER 4476 NEW BEST:: SOT 3229553 SOS 1817864 HAS SOPS 1817864 HAS SOUS 967319 HAS SOUPS 967319 WITH SCORE 969136.864
AT ITER 4480 NEW BEST:: SOT 3229065 SOS 1817346 HAS SOPS 1817346 HAS SOUS 966907 HAS SOUPS 966907 WITH SCORE 968724.346
AT ITER 4484 NEW BEST:: SOT 3227946 SOS 1815209 HAS SOPS 1815209 HAS SOUS 965059 HAS SOUPS 965059 WITH SCORE 966874.209
AT ITER 4499 NEW BEST:: SOT 3227813 SOS 1815075 HAS SOPS 1815075 HAS SOUS 964925 HAS SOUPS 964925 WITH SCORE 966740.075
AT ITER 4501 NEW BEST:: SOT 3228232 SOS 1815494 HAS SOPS 1815494 HAS SOUS 964875 HAS SOUPS 964875 WITH SCORE 966690.494
AT ITER 4509 NEW BEST:: SOT 3228069 SOS 1814940 HAS SOPS 1814940 HAS SOUS 964321 HAS SOUPS 964321 WITH SCORE 966135.94
AT ITER 4512 NEW BEST:: SOT 3228054 SOS 1814910 HAS SOPS 1814910 HAS SOUS 964294 HAS SOUPS 964294 WITH SCORE 966108.91
AT ITER 4526 NEW BEST:: SOT 3228054 SOS 1814766 HAS SOPS 1814766 HAS SOUS 964294 HAS SOUPS 964294 WITH SCORE 966108.766
AT ITER 4536 NEW BEST:: SOT 3227792 SOS 1814504 HAS SOPS 1814504 HAS SOUS 964079 HAS SOUPS 964079 WITH SCORE 965893.504
AT ITER 4537 NEW BEST:: SOT 3227792 SOS 1814499 HAS SOPS 1814499 HAS SOUS 964074 HAS SOUPS 964074 WITH SCORE 965888.499
AT ITER 4542 NEW BEST:: SOT 3227954 SOS 1813868 HAS SOPS 1813868 HAS SOUS 963002 HAS SOUPS 963002 WITH SCORE 964815.868
AT ITER 4543 NEW BEST:: SOT 3227996 SOS 1814106 HAS SOPS 1814106 HAS SOUS 962907 HAS SOUPS 962907 WITH SCORE 964721.106
AT ITER 4544 NEW BEST:: SOT 3227979 SOS 1814072 HAS SOPS 1814072 HAS SOUS 962839 HAS SOUPS 962839 WITH SCORE 964653.072
AT ITER 4551 NEW BEST:: SOT 3227979 SOS 1814248 HAS SOPS 1814248 HAS SOUS 962663 HAS SOUPS 962663 WITH SCORE 964477.248
AT ITER 4554 NEW BEST:: SOT 3227139 SOS 1813408 HAS SOPS 1813408 HAS SOUS 961739 HAS SOUPS 961739 WITH SCORE 963552.408
AT ITER 4564 NEW BEST:: SOT 3227139 SOS 1812942 HAS SOPS 1812942 HAS SOUS 961739 HAS SOUPS 961739 WITH SCORE 963551.942
AT ITER 4571 NEW BEST:: SOT 3227139 SOS 1813010 HAS SOPS 1813010 HAS SOUS 961693 HAS SOUPS 961693 WITH SCORE 963506.01
AT ITER 4583 NEW BEST:: SOT 3226786 SOS 1811783 HAS SOPS 1811783 HAS SOUS 960987 HAS SOUPS 960987 WITH SCORE 962798.783
AT ITER 4594 NEW BEST:: SOT 3226592 SOS 1810897 HAS SOPS 1810897 HAS SOUS 960599 HAS SOUPS 960599 WITH SCORE 962409.897
AT ITER 4601 NEW BEST:: SOT 3226480 SOS 1810785 HAS SOPS 1810785 HAS SOUS 960487 HAS SOUPS 960487 WITH SCORE 962297.785
AT ITER 4602 NEW BEST:: SOT 3226399 SOS 1810704 HAS SOPS 1810704 HAS SOUS 960402 HAS SOUPS 960402 WITH SCORE 962212.704
AT ITER 4628 NEW BEST:: SOT 3226684 SOS 1810989 HAS SOPS 1810989 HAS SOUS 960351 HAS SOUPS 960351 WITH SCORE 962161.989
AT ITER 4629 NEW BEST:: SOT 3226681 SOS 1810504 HAS SOPS 1810504 HAS SOUS 959735 HAS SOUPS 959735 WITH SCORE 961545.504
AT ITER 4652 NEW BEST:: SOT 3226693 SOS 1810270 HAS SOPS 1810270 HAS SOUS 959501 HAS SOUPS 959501 WITH SCORE 961311.27
AT ITER 4659 NEW BEST:: SOT 3226644 SOS 1809910 HAS SOPS 1809910 HAS SOUS 958916 HAS SOUPS 958916 WITH SCORE 960725.91
AT ITER 4667 NEW BEST:: SOT 3226600 SOS 1814352 HAS SOPS 1814352 HAS SOUS 958828 HAS SOUPS 958828 WITH SCORE 960642.352
AT ITER 4668 NEW BEST:: SOT 3226472 SOS 1814160 HAS SOPS 1814160 HAS SOUS 958700 HAS SOUPS 958700 WITH SCORE 960514.16
AT ITER 4670 NEW BEST:: SOT 3226454 SOS 1814109 HAS SOPS 1814109 HAS SOUS 958664 HAS SOUPS 958664 WITH SCORE 960478.109
AT ITER 4673 NEW BEST:: SOT 3225813 SOS 1815128 HAS SOPS 1815128 HAS SOUS 958023 HAS SOUPS 958023 WITH SCORE 959838.128
AT ITER 4675 NEW BEST:: SOT 3225817 SOS 1815098 HAS SOPS 1815098 HAS SOUS 957993 HAS SOUPS 957993 WITH SCORE 959808.098
AT ITER 4685 NEW BEST:: SOT 3225817 SOS 1814619 HAS SOPS 1814619 HAS SOUS 957993 HAS SOUPS 957993 WITH SCORE 959807.619
AT ITER 4694 NEW BEST:: SOT 3225455 SOS 1814366 HAS SOPS 1814366 HAS SOUS 957764 HAS SOUPS 957764 WITH SCORE 959578.366
AT ITER 4701 NEW BEST:: SOT 3225455 SOS 1814046 HAS SOPS 1814046 HAS SOUS 957700 HAS SOUPS 957700 WITH SCORE 959514.046
AT ITER 4702 NEW BEST:: SOT 3225455 SOS 1813914 HAS SOPS 1813914 HAS SOUS 957568 HAS SOUPS 957568 WITH SCORE 959381.914
AT ITER 4709 NEW BEST:: SOT 3225455 SOS 1813820 HAS SOPS 1813820 HAS SOUS 957474 HAS SOUPS 957474 WITH SCORE 959287.82
AT ITER 4721 NEW BEST:: SOT 3225392 SOS 1813757 HAS SOPS 1813757 HAS SOUS 957448 HAS SOUPS 957448 WITH SCORE 959261.757
AT ITER 4727 NEW BEST:: SOT 3225339 SOS 1813704 HAS SOPS 1813704 HAS SOUS 957368 HAS SOUPS 957368 WITH SCORE 959181.704
AT ITER 4734 NEW BEST:: SOT 3225339 SOS 1813632 HAS SOPS 1813632 HAS SOUS 957296 HAS SOUPS 957296 WITH SCORE 959109.632
AT ITER 4745 NEW BEST:: SOT 3225032 SOS 1813044 HAS SOPS 1813044 HAS SOUS 957206 HAS SOUPS 957206 WITH SCORE 959019.044
AT ITER 4749 NEW BEST:: SOT 3224381 SOS 1812393 HAS SOPS 1812393 HAS SOUS 956555 HAS SOUPS 956555 WITH SCORE 958367.393
AT ITER 4758 NEW BEST:: SOT 3224381 SOS 1811401 HAS SOPS 1811401 HAS SOUS 956555 HAS SOUPS 956555 WITH SCORE 958366.401
AT ITER 4765 NEW BEST:: SOT 3224047 SOS 1810405 HAS SOPS 1810405 HAS SOUS 955553 HAS SOUPS 955553 WITH SCORE 957363.405
AT ITER 4778 NEW BEST:: SOT 3223680 SOS 1809671 HAS SOPS 1809671 HAS SOUS 955186 HAS SOUPS 955186 WITH SCORE 956995.671
AT ITER 4779 NEW BEST:: SOT 3223556 SOS 1809155 HAS SOPS 1809155 HAS SOUS 954700 HAS SOUPS 954700 WITH SCORE 956509.155
AT ITER 4791 NEW BEST:: SOT 3223383 SOS 1808809 HAS SOPS 1808809 HAS SOUS 954354 HAS SOUPS 954354 WITH SCORE 956162.809
AT ITER 4803 NEW BEST:: SOT 3218999 SOS 1804365 HAS SOPS 1804365 HAS SOUS 949910 HAS SOUPS 949910 WITH SCORE 951714.365
AT ITER 4825 NEW BEST:: SOT 3218999 SOS 1805158 HAS SOPS 1805158 HAS SOUS 949266 HAS SOUPS 949266 WITH SCORE 951071.158
AT ITER 4856 NEW BEST:: SOT 3218392 SOS 1806392 HAS SOPS 1806392 HAS SOUS 948380 HAS SOUPS 948380 WITH SCORE 950186.392
AT ITER 4861 NEW BEST:: SOT 3218392 SOS 1806899 HAS SOPS 1806899 HAS SOUS 948042 HAS SOUPS 948042 WITH SCORE 949848.899
AT ITER 4864 NEW BEST:: SOT 3218311 SOS 1806737 HAS SOPS 1806737 HAS SOUS 947880 HAS SOUPS 947880 WITH SCORE 949686.737
AT ITER 4869 NEW BEST:: SOT 3218055 SOS 1806477 HAS SOPS 1806477 HAS SOUS 947620 HAS SOUPS 947620 WITH SCORE 949426.477
AT ITER 4894 NEW BEST:: SOT 3218279 SOS 1805445 HAS SOPS 1805445 HAS SOUS 947343 HAS SOUPS 947343 WITH SCORE 949148.445
AT ITER 4901 NEW BEST:: SOT 3218158 SOS 1805099 HAS SOPS 1805099 HAS SOUS 946539 HAS SOUPS 946539 WITH SCORE 948344.099
AT ITER 4909 NEW BEST:: SOT 3218158 SOS 1804193 HAS SOPS 1804193 HAS SOUS 946449 HAS SOUPS 946449 WITH SCORE 948253.193
AT ITER 4913 NEW BEST:: SOT 3218097 SOS 1802618 HAS SOPS 1802618 HAS SOUS 946064 HAS SOUPS 946064 WITH SCORE 947866.618
AT ITER 4916 NEW BEST:: SOT 3218144 SOS 1802616 HAS SOPS 1802616 HAS SOUS 946060 HAS SOUPS 946060 WITH SCORE 947862.616
AT ITER 4920 NEW BEST:: SOT 3217905 SOS 1802377 HAS SOPS 1802377 HAS SOUS 945821 HAS SOUPS 945821 WITH SCORE 947623.377
AT ITER 4924 NEW BEST:: SOT 3217905 SOS 1802277 HAS SOPS 1802277 HAS SOUS 945821 HAS SOUPS 945821 WITH SCORE 947623.277
AT ITER 4930 NEW BEST:: SOT 3217306 SOS 1801524 HAS SOPS 1801524 HAS SOUS 945068 HAS SOUPS 945068 WITH SCORE 946869.524
AT ITER 4948 NEW BEST:: SOT 3217203 SOS 1801421 HAS SOPS 1801421 HAS SOUS 944965 HAS SOUPS 944965 WITH SCORE 946766.421
AT ITER 4956 NEW BEST:: SOT 3217026 SOS 1801143 HAS SOPS 1801143 HAS SOUS 944687 HAS SOUPS 944687 WITH SCORE 946488.143
AT ITER 4975 NEW BEST:: SOT 3217025 SOS 1801093 HAS SOPS 1801093 HAS SOUS 944686 HAS SOUPS 944686 WITH SCORE 946487.093
AT ITER 4979 NEW BEST:: SOT 3216972 SOS 1801040 HAS SOPS 1801040 HAS SOUS 944632 HAS SOUPS 944632 WITH SCORE 946433.04
AT ITER 4980 NEW BEST:: SOT 3216871 SOS 1800838 HAS SOPS 1800838 HAS SOUS 944508 HAS SOUPS 944508 WITH SCORE 946308.838
AT ITER 4993 NEW BEST:: SOT 3217016 SOS 1800669 HAS SOPS 1800669 HAS SOUS 944339 HAS SOUPS 944339 WITH SCORE 946139.669
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-10a-CTLFireability-00 ( (EX( (EU( ((potential((tk(P35)>=1) & (tk(P22)>=1)))) , ((potential((tk(P1405)>=1) & (tk(P1644)>=1)))) )))) | (EG( (! (EG( ((potential((tk(P54)>=1) & (tk(P280)>=1))))))))) )
PROPERTY: ASLink-PT-10a-CTLFireability-01 ( (EF( (AX( ( ((potential((tk(P193)>=1)))) & ((potential((tk(P1027)>=1) & (tk(P1258)>=1)))) ))))) | (EX( ((potential((tk(P2043)>=1) & (tk(P2176)>=1)))))) )
PROPERTY: ASLink-PT-10a-CTLFireability-02 (EF( ( (AU( ((potential((tk(P192)>=1) & (tk(P222)>=1)))) , ((potential((tk(P1892)>=1) & (tk(P1877)>=1)))) )) & (EX( ( ((potential((tk(P1802)>=1) & (tk(P1996)>=1)))) | ((potential((tk(P1985)>=1) & (tk(P2177)>=1)))) ))) )))
PROPERTY: ASLink-PT-10a-CTLFireability-03 ( ((potential((tk(P1155)>=1)))) | (! ( (EG( (! ((potential((tk(P1924)>=1))))))) | ( (EG( ((potential((tk(P41)>=1) & (tk(P271)>=1)))))) & ((potential((tk(P566)>=1) & (tk(P608)>=1)))) ) )) )
PROPERTY: ASLink-PT-10a-CTLFireability-04 (EF( (! (EG( (! ((potential((tk(P2162)>=1))))))))))
PROPERTY: ASLink-PT-10a-CTLFireability-05 (AF( ( (EF( ( ((potential((tk(P242)>=1) & (tk(P467)>=1)))) | ((potential((tk(P1241)>=1) & (tk(P1381)>=1)))) ))) | (EG( ((potential((tk(P633)>=1) & (tk(P864)>=1)))))) )))
PROPERTY: ASLink-PT-10a-CTLFireability-06 (EG( (AU( (! ((potential((tk(P14)>=1) & (tk(P83)>=1))))) , ((potential((tk(P838)>=1) & (tk(P995)>=1)))) ))))
PROPERTY: ASLink-PT-10a-CTLFireability-07 (AU( (AF( ( ((potential((tk(P1796)>=1) & (tk(P1992)>=1)))) & ((potential((tk(P1208)>=1) & (tk(P1443)>=1)))) ))) , (EU( ((potential((tk(P236)>=1) & (tk(P479)>=1)))) , ((potential((tk(P685)>=1) & (tk(P803)>=1)))) )) ))
PROPERTY: ASLink-PT-10a-CTLFireability-08 ( (! (EF( (AF( ((potential((tk(P818)>=1) & (tk(P1051)>=1))))))))) | ((potential((tk(P638)>=1) & (tk(P857)>=1)))) )
PROPERTY: ASLink-PT-10a-CTLFireability-09 ( (! (AF( ( ( ((potential((tk(P732)>=1)))) | ((potential((tk(P853)>=1) & (tk(P872)>=1)))) ) & ((potential((tk(P1807)>=1) & (tk(P2008)>=1)))) )))) & (! (! (AF( ( ((potential((tk(P1212)>=1) & (tk(P1449)>=1)))) & ((potential((tk(P1931)>=1) & (tk(P1973)>=1)))) ))))) )
PROPERTY: ASLink-PT-10a-CTLFireability-10 ( ( (EG( ( ( ((potential((tk(P238)>=1) & (tk(P479)>=1)))) | ((potential((tk(P1208)>=1) & (tk(P1439)>=1)))) ) | ((potential((tk(P1311)>=1)))) ))) | ( ( ( ( ((potential((tk(P13)>=1) & (tk(P86)>=1)))) & ((potential((tk(P1412)>=1) & (tk(P1641)>=1)))) ) & (! ((potential((tk(P1029)>=1) & (tk(P1107)>=1))))) ) & ( (! ((potential((tk(P1038)>=1) & (tk(P1186)>=1))))) | ( ((potential((tk(P1744)>=1) & (tk(P1741)>=1) & (tk(P1747)>=1) & (tk(P1788)>=1)))) & ((potential((tk(P1243)>=1) & (tk(P1372)>=1)))) ) ) ) | ((potential((tk(P1460)>=1) & (tk(P1592)>=1)))) ) ) | (! (EU( (! ((potential((tk(P504)>=1))))) , ( ((potential((tk(P1176)>=1) & (tk(P1174)>=1)))) & ((potential((tk(P1108)>=1)))) ) ))) )
PROPERTY: ASLink-PT-10a-CTLFireability-11 ( ( (EG( ( (! ((potential((tk(P1798)>=1) & (tk(P1988)>=1))))) | (! ((potential((tk(P150)>=1))))) ))) | ( ((potential((tk(P1208)>=1) & (tk(P1453)>=1)))) & ( ( ( ((potential((tk(P450)>=1) & (tk(P605)>=1)))) & ((potential((tk(P58)>=1) & (tk(P211)>=1)))) ) | ((potential((tk(P1804)>=1) & (tk(P2007)>=1)))) ) & ( ( ((potential((tk(P1606)>=1) & (tk(P1843)>=1)))) & ((potential((tk(P1607)>=1) & (tk(P1830)>=1)))) ) & ( ((potential((tk(P52)>=1) & (tk(P282)>=1)))) & ((potential((tk(P430)>=1) & (tk(P665)>=1)))) ) ) ) ) ) & (EF( (! ((potential((tk(P1969)>=1) & (tk(P2028)>=1))))))) )
PROPERTY: ASLink-PT-10a-CTLFireability-12 ( ( (! (AG( (! ((potential((tk(P1243)>=1) & (tk(P1262)>=1)))))))) & (! ( (EX( ((potential((tk(P47)>=1) & (tk(P283)>=1)))))) & ((potential((tk(P26)>=1) & (tk(P205)>=1)))) )) ) | ( ( ( (! ((potential((tk(P1412)>=1) & (tk(P1637)>=1))))) | (EX( ((potential((tk(P1216)>=1) & (tk(P1447)>=1)))))) ) & (EG( ( ((potential((tk(P820)>=1) & (tk(P1051)>=1)))) | ((potential((tk(P1696)>=1) & (tk(P1789)>=1)))) ))) ) & (! (! (! ((potential((tk(P1614)>=1) & (tk(P1688)>=1))))))) ) )
PROPERTY: ASLink-PT-10a-CTLFireability-13 (AX( (EF( ( ( ((potential((tk(P437)>=1) & (tk(P672)>=1)))) & ((potential((tk(P681)>=1) & (tk(P622)>=1)))) ) | ((potential((tk(P1313)>=1)))) )))))
PROPERTY: ASLink-PT-10a-CTLFireability-14 ( (AG( (AF( (! ((potential((tk(P2)>=1) & (tk(P33)>=1))))))))) | (! (AF( ( ((potential((tk(P6)>=1) & (tk(P81)>=1)))) & ( ((potential((tk(P1093)>=1)))) & ((potential((tk(P1802)>=1) & (tk(P1992)>=1)))) ) )))) )
PROPERTY: ASLink-PT-10a-CTLFireability-15 (AX( ( ((potential((tk(P54)>=1) & (tk(P272)>=1)))) | ( (AG( ((potential((tk(P437)>=1) & (tk(P672)>=1)))))) | (AF( ((potential((tk(P17)>=1) & (tk(P78)>=1)))))) ) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-10a, 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-158897508100156"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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