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

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

=== Now, execution of the tool begins

BK_START 1589081271711

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

GOT IT HERE. BS
Petri model created: 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 3 NEW BEST:: SOT 3873696 SOS 2663901 HAS SOPS 2663901 HAS SOUS 1754083 HAS SOUPS 1754083 WITH SCORE 1756746.901
AT ITER 7 NEW BEST:: SOT 3873696 SOS 2658545 HAS SOPS 2658545 HAS SOUS 1754078 HAS SOUPS 1754078 WITH SCORE 1756736.545
AT ITER 9 NEW BEST:: SOT 3872425 SOS 2648645 HAS SOPS 2648645 HAS SOUS 1750545 HAS SOUPS 1750545 WITH SCORE 1753193.645
AT ITER 11 NEW BEST:: SOT 3872425 SOS 2648645 HAS SOPS 2648645 HAS SOUS 1750544 HAS SOUPS 1750544 WITH SCORE 1753192.645
AT ITER 17 NEW BEST:: SOT 3872425 SOS 2647734 HAS SOPS 2647734 HAS SOUS 1749633 HAS SOUPS 1749633 WITH SCORE 1752280.734
AT ITER 19 NEW BEST:: SOT 3872425 SOS 2646938 HAS SOPS 2646938 HAS SOUS 1749565 HAS SOUPS 1749565 WITH SCORE 1752211.938
AT ITER 20 NEW BEST:: SOT 3872425 SOS 2646938 HAS SOPS 2646938 HAS SOUS 1749562 HAS SOUPS 1749562 WITH SCORE 1752208.938
AT ITER 21 NEW BEST:: SOT 3872953 SOS 2646048 HAS SOPS 2646048 HAS SOUS 1748979 HAS SOUPS 1748979 WITH SCORE 1751625.048
AT ITER 22 NEW BEST:: SOT 3873172 SOS 2645434 HAS SOPS 2645434 HAS SOUS 1748926 HAS SOUPS 1748926 WITH SCORE 1751571.434
AT ITER 32 NEW BEST:: SOT 3873447 SOS 2645434 HAS SOPS 2645434 HAS SOUS 1748376 HAS SOUPS 1748376 WITH SCORE 1751021.434
AT ITER 34 NEW BEST:: SOT 3872084 SOS 2643469 HAS SOPS 2643469 HAS SOUS 1748253 HAS SOUPS 1748253 WITH SCORE 1750896.469
AT ITER 35 NEW BEST:: SOT 3871206 SOS 2642591 HAS SOPS 2642591 HAS SOUS 1747375 HAS SOUPS 1747375 WITH SCORE 1750017.591
AT ITER 40 NEW BEST:: SOT 3870320 SOS 2641110 HAS SOPS 2641110 HAS SOUS 1746914 HAS SOUPS 1746914 WITH SCORE 1749555.11
AT ITER 43 NEW BEST:: SOT 3867902 SOS 2641271 HAS SOPS 2641271 HAS SOUS 1743838 HAS SOUPS 1743838 WITH SCORE 1746479.271
AT ITER 45 NEW BEST:: SOT 3867753 SOS 2641122 HAS SOPS 2641122 HAS SOUS 1743834 HAS SOUPS 1743834 WITH SCORE 1746475.122
AT ITER 53 NEW BEST:: SOT 3868425 SOS 2641480 HAS SOPS 2641480 HAS SOUS 1743557 HAS SOUPS 1743557 WITH SCORE 1746198.48
AT ITER 55 NEW BEST:: SOT 3868425 SOS 2639591 HAS SOPS 2639591 HAS SOUS 1742889 HAS SOUPS 1742889 WITH SCORE 1745528.591
AT ITER 60 NEW BEST:: SOT 3868425 SOS 2639299 HAS SOPS 2639299 HAS SOUS 1742889 HAS SOUPS 1742889 WITH SCORE 1745528.299
AT ITER 65 NEW BEST:: SOT 3868425 SOS 2638244 HAS SOPS 2638244 HAS SOUS 1742888 HAS SOUPS 1742888 WITH SCORE 1745526.244
AT ITER 68 NEW BEST:: SOT 3868129 SOS 2636670 HAS SOPS 2636670 HAS SOUS 1742635 HAS SOUPS 1742635 WITH SCORE 1745271.67
AT ITER 80 NEW BEST:: SOT 3868129 SOS 2636651 HAS SOPS 2636651 HAS SOUS 1742635 HAS SOUPS 1742635 WITH SCORE 1745271.651
AT ITER 81 NEW BEST:: SOT 3867418 SOS 2635940 HAS SOPS 2635940 HAS SOUS 1742634 HAS SOUPS 1742634 WITH SCORE 1745269.94
AT ITER 85 NEW BEST:: SOT 3867418 SOS 2635940 HAS SOPS 2635940 HAS SOUS 1742633 HAS SOUPS 1742633 WITH SCORE 1745268.94
AT ITER 86 NEW BEST:: SOT 3866618 SOS 2635140 HAS SOPS 2635140 HAS SOUS 1741833 HAS SOUPS 1741833 WITH SCORE 1744468.14
AT ITER 91 NEW BEST:: SOT 3866618 SOS 2635063 HAS SOPS 2635063 HAS SOUS 1741756 HAS SOUPS 1741756 WITH SCORE 1744391.063
AT ITER 92 NEW BEST:: SOT 3860551 SOS 2629588 HAS SOPS 2629588 HAS SOUS 1735987 HAS SOUPS 1735987 WITH SCORE 1738616.588
AT ITER 94 NEW BEST:: SOT 3860551 SOS 2628893 HAS SOPS 2628893 HAS SOUS 1735986 HAS SOUPS 1735986 WITH SCORE 1738614.893
AT ITER 95 NEW BEST:: SOT 3858727 SOS 2627069 HAS SOPS 2627069 HAS SOUS 1734162 HAS SOUPS 1734162 WITH SCORE 1736789.069
AT ITER 96 NEW BEST:: SOT 3855915 SOS 2626306 HAS SOPS 2626306 HAS SOUS 1731138 HAS SOUPS 1731138 WITH SCORE 1733764.306
AT ITER 97 NEW BEST:: SOT 3855854 SOS 2626306 HAS SOPS 2626306 HAS SOUS 1731137 HAS SOUPS 1731137 WITH SCORE 1733763.306
AT ITER 98 NEW BEST:: SOT 3855854 SOS 2626196 HAS SOPS 2626196 HAS SOUS 1731137 HAS SOUPS 1731137 WITH SCORE 1733763.196
AT ITER 100 NEW BEST:: SOT 3836000 SOS 2606342 HAS SOPS 2606342 HAS SOUS 1711282 HAS SOUPS 1711282 WITH SCORE 1713888.342
AT ITER 115 NEW BEST:: SOT 3834710 SOS 2605052 HAS SOPS 2605052 HAS SOUS 1709992 HAS SOUPS 1709992 WITH SCORE 1712597.052
AT ITER 116 NEW BEST:: SOT 3834702 SOS 2605027 HAS SOPS 2605027 HAS SOUS 1709967 HAS SOUPS 1709967 WITH SCORE 1712572.027
AT ITER 119 NEW BEST:: SOT 3834702 SOS 2604941 HAS SOPS 2604941 HAS SOUS 1709791 HAS SOUPS 1709791 WITH SCORE 1712395.941
AT ITER 120 NEW BEST:: SOT 3833686 SOS 2602907 HAS SOPS 2602907 HAS SOUS 1708753 HAS SOUPS 1708753 WITH SCORE 1711355.907
AT ITER 122 NEW BEST:: SOT 3834186 SOS 2602907 HAS SOPS 2602907 HAS SOUS 1708248 HAS SOUPS 1708248 WITH SCORE 1710850.907
AT ITER 132 NEW BEST:: SOT 3833544 SOS 2602265 HAS SOPS 2602265 HAS SOUS 1707606 HAS SOUPS 1707606 WITH SCORE 1710208.265
AT ITER 138 NEW BEST:: SOT 3832955 SOS 2600983 HAS SOPS 2600983 HAS SOUS 1707606 HAS SOUPS 1707606 WITH SCORE 1710206.983
AT ITER 148 NEW BEST:: SOT 3832245 SOS 2600273 HAS SOPS 2600273 HAS SOUS 1707588 HAS SOUPS 1707588 WITH SCORE 1710188.273
AT ITER 150 NEW BEST:: SOT 3813266 SOS 2581294 HAS SOPS 2581294 HAS SOUS 1688609 HAS SOUPS 1688609 WITH SCORE 1691190.294
AT ITER 152 NEW BEST:: SOT 3813366 SOS 2581203 HAS SOPS 2581203 HAS SOUS 1688518 HAS SOUPS 1688518 WITH SCORE 1691099.203
AT ITER 154 NEW BEST:: SOT 3812945 SOS 2580782 HAS SOPS 2580782 HAS SOUS 1688097 HAS SOUPS 1688097 WITH SCORE 1690677.782
AT ITER 160 NEW BEST:: SOT 3812945 SOS 2580782 HAS SOPS 2580782 HAS SOUS 1688096 HAS SOUPS 1688096 WITH SCORE 1690676.782
AT ITER 164 NEW BEST:: SOT 3811846 SOS 2583554 HAS SOPS 2583554 HAS SOUS 1687924 HAS SOUPS 1687924 WITH SCORE 1690507.554
AT ITER 171 NEW BEST:: SOT 3811846 SOS 2582439 HAS SOPS 2582439 HAS SOUS 1687458 HAS SOUPS 1687458 WITH SCORE 1690040.439
AT ITER 175 NEW BEST:: SOT 3811846 SOS 2580504 HAS SOPS 2580504 HAS SOUS 1685523 HAS SOUPS 1685523 WITH SCORE 1688103.504
AT ITER 178 NEW BEST:: SOT 3811846 SOS 2578602 HAS SOPS 2578602 HAS SOUS 1685522 HAS SOUPS 1685522 WITH SCORE 1688100.602
AT ITER 191 NEW BEST:: SOT 3811846 SOS 2577038 HAS SOPS 2577038 HAS SOUS 1685516 HAS SOUPS 1685516 WITH SCORE 1688093.038
AT ITER 195 NEW BEST:: SOT 3811846 SOS 2576604 HAS SOPS 2576604 HAS SOUS 1685510 HAS SOUPS 1685510 WITH SCORE 1688086.604
AT ITER 210 NEW BEST:: SOT 3806899 SOS 2572996 HAS SOPS 2572996 HAS SOUS 1681325 HAS SOUPS 1681325 WITH SCORE 1683897.996
AT ITER 211 NEW BEST:: SOT 3802875 SOS 2570929 HAS SOPS 2570929 HAS SOUS 1677806 HAS SOUPS 1677806 WITH SCORE 1680376.929
AT ITER 220 NEW BEST:: SOT 3801234 SOS 2572189 HAS SOPS 2572189 HAS SOUS 1676370 HAS SOUPS 1676370 WITH SCORE 1678942.189
AT ITER 226 NEW BEST:: SOT 3800472 SOS 2569690 HAS SOPS 2569690 HAS SOUS 1674082 HAS SOUPS 1674082 WITH SCORE 1676651.69
AT ITER 229 NEW BEST:: SOT 3800472 SOS 2568108 HAS SOPS 2568108 HAS SOUS 1673388 HAS SOUPS 1673388 WITH SCORE 1675956.108
AT ITER 234 NEW BEST:: SOT 3799818 SOS 2567248 HAS SOPS 2567248 HAS SOUS 1672961 HAS SOUPS 1672961 WITH SCORE 1675528.248
AT ITER 241 NEW BEST:: SOT 3798732 SOS 2566162 HAS SOPS 2566162 HAS SOUS 1671874 HAS SOUPS 1671874 WITH SCORE 1674440.162
AT ITER 244 NEW BEST:: SOT 3798803 SOS 2565569 HAS SOPS 2565569 HAS SOUS 1671874 HAS SOUPS 1671874 WITH SCORE 1674439.569
AT ITER 246 NEW BEST:: SOT 3784308 SOS 2551074 HAS SOPS 2551074 HAS SOUS 1657379 HAS SOUPS 1657379 WITH SCORE 1659930.074
AT ITER 251 NEW BEST:: SOT 3769692 SOS 2536458 HAS SOPS 2536458 HAS SOUS 1642763 HAS SOUPS 1642763 WITH SCORE 1645299.458
AT ITER 252 NEW BEST:: SOT 3769277 SOS 2536029 HAS SOPS 2536029 HAS SOUS 1642334 HAS SOUPS 1642334 WITH SCORE 1644870.029
AT ITER 254 NEW BEST:: SOT 3769527 SOS 2536278 HAS SOPS 2536278 HAS SOUS 1642113 HAS SOUPS 1642113 WITH SCORE 1644649.278
AT ITER 260 NEW BEST:: SOT 3769085 SOS 2535836 HAS SOPS 2535836 HAS SOUS 1642113 HAS SOUPS 1642113 WITH SCORE 1644648.836
AT ITER 271 NEW BEST:: SOT 3770266 SOS 2534312 HAS SOPS 2534312 HAS SOUS 1640575 HAS SOUPS 1640575 WITH SCORE 1643109.312
AT ITER 275 NEW BEST:: SOT 3768754 SOS 2532798 HAS SOPS 2532798 HAS SOUS 1639061 HAS SOUPS 1639061 WITH SCORE 1641593.798
AT ITER 280 NEW BEST:: SOT 3768549 SOS 2532593 HAS SOPS 2532593 HAS SOUS 1638855 HAS SOUPS 1638855 WITH SCORE 1641387.593
AT ITER 282 NEW BEST:: SOT 3768069 SOS 2532112 HAS SOPS 2532112 HAS SOUS 1638373 HAS SOUPS 1638373 WITH SCORE 1640905.112
AT ITER 284 NEW BEST:: SOT 3768437 SOS 2532112 HAS SOPS 2532112 HAS SOUS 1638362 HAS SOUPS 1638362 WITH SCORE 1640894.112
AT ITER 289 NEW BEST:: SOT 3768270 SOS 2531945 HAS SOPS 2531945 HAS SOUS 1638360 HAS SOUPS 1638360 WITH SCORE 1640891.945
AT ITER 291 NEW BEST:: SOT 3768187 SOS 2531862 HAS SOPS 2531862 HAS SOUS 1638277 HAS SOUPS 1638277 WITH SCORE 1640808.862
AT ITER 294 NEW BEST:: SOT 3767746 SOS 2532003 HAS SOPS 2532003 HAS SOUS 1637597 HAS SOUPS 1637597 WITH SCORE 1640129.003
AT ITER 296 NEW BEST:: SOT 3766391 SOS 2527938 HAS SOPS 2527938 HAS SOUS 1634877 HAS SOUPS 1634877 WITH SCORE 1637404.938
AT ITER 298 NEW BEST:: SOT 3762169 SOS 2523716 HAS SOPS 2523716 HAS SOUS 1630655 HAS SOUPS 1630655 WITH SCORE 1633178.716
AT ITER 303 NEW BEST:: SOT 3761535 SOS 2523460 HAS SOPS 2523460 HAS SOUS 1630627 HAS SOUPS 1630627 WITH SCORE 1633150.46
AT ITER 305 NEW BEST:: SOT 3762187 SOS 2523460 HAS SOPS 2523460 HAS SOUS 1630626 HAS SOUPS 1630626 WITH SCORE 1633149.46
AT ITER 319 NEW BEST:: SOT 3762187 SOS 2520049 HAS SOPS 2520049 HAS SOUS 1630616 HAS SOUPS 1630616 WITH SCORE 1633136.049
AT ITER 321 NEW BEST:: SOT 3761844 SOS 2519361 HAS SOPS 2519361 HAS SOUS 1629928 HAS SOUPS 1629928 WITH SCORE 1632447.361
AT ITER 328 NEW BEST:: SOT 3761844 SOS 2516432 HAS SOPS 2516432 HAS SOUS 1629922 HAS SOUPS 1629922 WITH SCORE 1632438.432
AT ITER 330 NEW BEST:: SOT 3759585 SOS 2514173 HAS SOPS 2514173 HAS SOUS 1627663 HAS SOUPS 1627663 WITH SCORE 1630177.173
AT ITER 335 NEW BEST:: SOT 3759270 SOS 2512850 HAS SOPS 2512850 HAS SOUS 1626340 HAS SOUPS 1626340 WITH SCORE 1628852.85
AT ITER 336 NEW BEST:: SOT 3759056 SOS 2509490 HAS SOPS 2509490 HAS SOUS 1624978 HAS SOUPS 1624978 WITH SCORE 1627487.49
AT ITER 338 NEW BEST:: SOT 3758963 SOS 2509397 HAS SOPS 2509397 HAS SOUS 1624884 HAS SOUPS 1624884 WITH SCORE 1627393.397
AT ITER 342 NEW BEST:: SOT 3758963 SOS 2510024 HAS SOPS 2510024 HAS SOUS 1624842 HAS SOUPS 1624842 WITH SCORE 1627352.024
AT ITER 344 NEW BEST:: SOT 3758643 SOS 2507776 HAS SOPS 2507776 HAS SOUS 1624194 HAS SOUPS 1624194 WITH SCORE 1626701.776
AT ITER 347 NEW BEST:: SOT 3758643 SOS 2507776 HAS SOPS 2507776 HAS SOUS 1624193 HAS SOUPS 1624193 WITH SCORE 1626700.776
AT ITER 349 NEW BEST:: SOT 3757723 SOS 2504317 HAS SOPS 2504317 HAS SOUS 1623176 HAS SOUPS 1623176 WITH SCORE 1625680.317
AT ITER 358 NEW BEST:: SOT 3751545 SOS 2498270 HAS SOPS 2498270 HAS SOUS 1617085 HAS SOUPS 1617085 WITH SCORE 1619583.27
AT ITER 359 NEW BEST:: SOT 3751545 SOS 2494721 HAS SOPS 2494721 HAS SOUS 1616293 HAS SOUPS 1616293 WITH SCORE 1618787.721
AT ITER 360 NEW BEST:: SOT 3751545 SOS 2494341 HAS SOPS 2494341 HAS SOUS 1615869 HAS SOUPS 1615869 WITH SCORE 1618363.341
AT ITER 381 NEW BEST:: SOT 3751450 SOS 2494151 HAS SOPS 2494151 HAS SOUS 1615869 HAS SOUPS 1615869 WITH SCORE 1618363.151
AT ITER 382 NEW BEST:: SOT 3751395 SOS 2494096 HAS SOPS 2494096 HAS SOUS 1615865 HAS SOUPS 1615865 WITH SCORE 1618359.096
AT ITER 391 NEW BEST:: SOT 3750700 SOS 2494079 HAS SOPS 2494079 HAS SOUS 1615848 HAS SOUPS 1615848 WITH SCORE 1618342.079
AT ITER 392 NEW BEST:: SOT 3750700 SOS 2494079 HAS SOPS 2494079 HAS SOUS 1615560 HAS SOUPS 1615560 WITH SCORE 1618054.079
AT ITER 404 NEW BEST:: SOT 3750618 SOS 2493054 HAS SOPS 2493054 HAS SOUS 1615289 HAS SOUPS 1615289 WITH SCORE 1617782.054
AT ITER 407 NEW BEST:: SOT 3751126 SOS 2493562 HAS SOPS 2493562 HAS SOUS 1615287 HAS SOUPS 1615287 WITH SCORE 1617780.562
AT ITER 408 NEW BEST:: SOT 3731272 SOS 2482059 HAS SOPS 2482059 HAS SOUS 1594900 HAS SOUPS 1594900 WITH SCORE 1597382.059
AT ITER 414 NEW BEST:: SOT 3731264 SOS 2482051 HAS SOPS 2482051 HAS SOUS 1594884 HAS SOUPS 1594884 WITH SCORE 1597366.051
AT ITER 416 NEW BEST:: SOT 3730551 SOS 2480296 HAS SOPS 2480296 HAS SOUS 1593983 HAS SOUPS 1593983 WITH SCORE 1596463.296
AT ITER 420 NEW BEST:: SOT 3729511 SOS 2483116 HAS SOPS 2483116 HAS SOUS 1593958 HAS SOUPS 1593958 WITH SCORE 1596441.116
AT ITER 426 NEW BEST:: SOT 3729283 SOS 2482888 HAS SOPS 2482888 HAS SOUS 1593941 HAS SOUPS 1593941 WITH SCORE 1596423.888
AT ITER 428 NEW BEST:: SOT 3728695 SOS 2481203 HAS SOPS 2481203 HAS SOUS 1593438 HAS SOUPS 1593438 WITH SCORE 1595919.203
AT ITER 436 NEW BEST:: SOT 3727518 SOS 2480981 HAS SOPS 2480981 HAS SOUS 1593216 HAS SOUPS 1593216 WITH SCORE 1595696.981
AT ITER 439 NEW BEST:: SOT 3722988 SOS 2475350 HAS SOPS 2475350 HAS SOUS 1587585 HAS SOUPS 1587585 WITH SCORE 1590060.35
AT ITER 441 NEW BEST:: SOT 3721654 SOS 2474016 HAS SOPS 2474016 HAS SOUS 1586239 HAS SOUPS 1586239 WITH SCORE 1588713.016
AT ITER 447 NEW BEST:: SOT 3720265 SOS 2472250 HAS SOPS 2472250 HAS SOUS 1585881 HAS SOUPS 1585881 WITH SCORE 1588353.25
AT ITER 450 NEW BEST:: SOT 3716654 SOS 2469708 HAS SOPS 2469708 HAS SOUS 1582946 HAS SOUPS 1582946 WITH SCORE 1585415.708
AT ITER 451 NEW BEST:: SOT 3714918 SOS 2480504 HAS SOPS 2480504 HAS SOUS 1582053 HAS SOUPS 1582053 WITH SCORE 1584533.504
AT ITER 452 NEW BEST:: SOT 3714918 SOS 2476990 HAS SOPS 2476990 HAS SOUS 1582053 HAS SOUPS 1582053 WITH SCORE 1584529.99
AT ITER 453 NEW BEST:: SOT 3714717 SOS 2476903 HAS SOPS 2476903 HAS SOUS 1581964 HAS SOUPS 1581964 WITH SCORE 1584440.903
AT ITER 454 NEW BEST:: SOT 3713939 SOS 2475952 HAS SOPS 2475952 HAS SOUS 1581871 HAS SOUPS 1581871 WITH SCORE 1584346.952
AT ITER 455 NEW BEST:: SOT 3713939 SOS 2475667 HAS SOPS 2475667 HAS SOUS 1581586 HAS SOUPS 1581586 WITH SCORE 1584061.667
AT ITER 456 NEW BEST:: SOT 3713821 SOS 2475540 HAS SOPS 2475540 HAS SOUS 1581558 HAS SOUPS 1581558 WITH SCORE 1584033.54
AT ITER 457 NEW BEST:: SOT 3713645 SOS 2475439 HAS SOPS 2475439 HAS SOUS 1581457 HAS SOUPS 1581457 WITH SCORE 1583932.439
AT ITER 460 NEW BEST:: SOT 3713426 SOS 2472416 HAS SOPS 2472416 HAS SOUS 1581019 HAS SOUPS 1581019 WITH SCORE 1583491.416
AT ITER 461 NEW BEST:: SOT 3713757 SOS 2472398 HAS SOPS 2472398 HAS SOUS 1581001 HAS SOUPS 1581001 WITH SCORE 1583473.398
AT ITER 462 NEW BEST:: SOT 3713715 SOS 2472356 HAS SOPS 2472356 HAS SOUS 1580959 HAS SOUPS 1580959 WITH SCORE 1583431.356
AT ITER 469 NEW BEST:: SOT 3713612 SOS 2472241 HAS SOPS 2472241 HAS SOUS 1580843 HAS SOUPS 1580843 WITH SCORE 1583315.241
AT ITER 477 NEW BEST:: SOT 3713241 SOS 2471870 HAS SOPS 2471870 HAS SOUS 1580837 HAS SOUPS 1580837 WITH SCORE 1583308.87
AT ITER 482 NEW BEST:: SOT 3712901 SOS 2471530 HAS SOPS 2471530 HAS SOUS 1580835 HAS SOUPS 1580835 WITH SCORE 1583306.53
AT ITER 486 NEW BEST:: SOT 3712901 SOS 2471530 HAS SOPS 2471530 HAS SOUS 1580834 HAS SOUPS 1580834 WITH SCORE 1583305.53
AT ITER 493 NEW BEST:: SOT 3712901 SOS 2470625 HAS SOPS 2470625 HAS SOUS 1580834 HAS SOUPS 1580834 WITH SCORE 1583304.625
AT ITER 497 NEW BEST:: SOT 3712733 SOS 2466280 HAS SOPS 2466280 HAS SOUS 1580423 HAS SOUPS 1580423 WITH SCORE 1582889.28
AT ITER 500 NEW BEST:: SOT 3712347 SOS 2465894 HAS SOPS 2465894 HAS SOUS 1580037 HAS SOUPS 1580037 WITH SCORE 1582502.894
AT ITER 510 NEW BEST:: SOT 3711499 SOS 2465046 HAS SOPS 2465046 HAS SOUS 1579189 HAS SOUPS 1579189 WITH SCORE 1581654.046
AT ITER 514 NEW BEST:: SOT 3711499 SOS 2465046 HAS SOPS 2465046 HAS SOUS 1579187 HAS SOUPS 1579187 WITH SCORE 1581652.046
AT ITER 516 NEW BEST:: SOT 3710524 SOS 2464071 HAS SOPS 2464071 HAS SOUS 1578212 HAS SOUPS 1578212 WITH SCORE 1580676.071
AT ITER 518 NEW BEST:: SOT 3699274 SOS 2452817 HAS SOPS 2452817 HAS SOUS 1566958 HAS SOUPS 1566958 WITH SCORE 1569410.817
AT ITER 522 NEW BEST:: SOT 3690023 SOS 2447401 HAS SOPS 2447401 HAS SOUS 1557840 HAS SOUPS 1557840 WITH SCORE 1560287.401
AT ITER 527 NEW BEST:: SOT 3691494 SOS 2446264 HAS SOPS 2446264 HAS SOUS 1556725 HAS SOUPS 1556725 WITH SCORE 1559171.264
AT ITER 531 NEW BEST:: SOT 3691168 SOS 2445938 HAS SOPS 2445938 HAS SOUS 1556516 HAS SOUPS 1556516 WITH SCORE 1558961.938
AT ITER 533 NEW BEST:: SOT 3691478 SOS 2444427 HAS SOPS 2444427 HAS SOUS 1555005 HAS SOUPS 1555005 WITH SCORE 1557449.427
AT ITER 537 NEW BEST:: SOT 3691478 SOS 2444426 HAS SOPS 2444426 HAS SOUS 1555004 HAS SOUPS 1555004 WITH SCORE 1557448.426
AT ITER 542 NEW BEST:: SOT 3691367 SOS 2444315 HAS SOPS 2444315 HAS SOUS 1555000 HAS SOUPS 1555000 WITH SCORE 1557444.315
AT ITER 543 NEW BEST:: SOT 3691367 SOS 2444315 HAS SOPS 2444315 HAS SOUS 1554999 HAS SOUPS 1554999 WITH SCORE 1557443.315
AT ITER 547 NEW BEST:: SOT 3691367 SOS 2444254 HAS SOPS 2444254 HAS SOUS 1554999 HAS SOUPS 1554999 WITH SCORE 1557443.254
AT ITER 548 NEW BEST:: SOT 3691146 SOS 2444033 HAS SOPS 2444033 HAS SOUS 1554986 HAS SOUPS 1554986 WITH SCORE 1557430.033
AT ITER 552 NEW BEST:: SOT 3691078 SOS 2443897 HAS SOPS 2443897 HAS SOUS 1554850 HAS SOUPS 1554850 WITH SCORE 1557293.897
AT ITER 556 NEW BEST:: SOT 3687546 SOS 2440365 HAS SOPS 2440365 HAS SOUS 1551317 HAS SOUPS 1551317 WITH SCORE 1553757.365
AT ITER 558 NEW BEST:: SOT 3687546 SOS 2440401 HAS SOPS 2440401 HAS SOUS 1550805 HAS SOUPS 1550805 WITH SCORE 1553245.401
AT ITER 560 NEW BEST:: SOT 3685163 SOS 2436723 HAS SOPS 2436723 HAS SOUS 1546842 HAS SOUPS 1546842 WITH SCORE 1549278.723
AT ITER 566 NEW BEST:: SOT 3683174 SOS 2434290 HAS SOPS 2434290 HAS SOUS 1544935 HAS SOUPS 1544935 WITH SCORE 1547369.29
AT ITER 577 NEW BEST:: SOT 3683802 SOS 2434690 HAS SOPS 2434690 HAS SOUS 1544829 HAS SOUPS 1544829 WITH SCORE 1547263.69
AT ITER 578 NEW BEST:: SOT 3683755 SOS 2434643 HAS SOPS 2434643 HAS SOUS 1544782 HAS SOUPS 1544782 WITH SCORE 1547216.643
AT ITER 591 NEW BEST:: SOT 3668163 SOS 2425926 HAS SOPS 2425926 HAS SOUS 1529884 HAS SOUPS 1529884 WITH SCORE 1532309.926
AT ITER 598 NEW BEST:: SOT 3667464 SOS 2424501 HAS SOPS 2424501 HAS SOUS 1527753 HAS SOUPS 1527753 WITH SCORE 1530177.501
AT ITER 602 NEW BEST:: SOT 3666955 SOS 2423255 HAS SOPS 2423255 HAS SOUS 1526584 HAS SOUPS 1526584 WITH SCORE 1529007.255
AT ITER 603 NEW BEST:: SOT 3670827 SOS 2425880 HAS SOPS 2425880 HAS SOUS 1525520 HAS SOUPS 1525520 WITH SCORE 1527945.88
AT ITER 608 NEW BEST:: SOT 3670827 SOS 2425277 HAS SOPS 2425277 HAS SOUS 1524917 HAS SOUPS 1524917 WITH SCORE 1527342.277
AT ITER 609 NEW BEST:: SOT 3669782 SOS 2424232 HAS SOPS 2424232 HAS SOUS 1524523 HAS SOUPS 1524523 WITH SCORE 1526947.232
AT ITER 612 NEW BEST:: SOT 3670204 SOS 2424230 HAS SOPS 2424230 HAS SOUS 1524521 HAS SOUPS 1524521 WITH SCORE 1526945.23
AT ITER 614 NEW BEST:: SOT 3655688 SOS 2409714 HAS SOPS 2409714 HAS SOUS 1510003 HAS SOUPS 1510003 WITH SCORE 1512412.714
AT ITER 619 NEW BEST:: SOT 3655688 SOS 2409363 HAS SOPS 2409363 HAS SOUS 1509982 HAS SOUPS 1509982 WITH SCORE 1512391.363
AT ITER 623 NEW BEST:: SOT 3655281 SOS 2408859 HAS SOPS 2408859 HAS SOUS 1509982 HAS SOUPS 1509982 WITH SCORE 1512390.859
AT ITER 624 NEW BEST:: SOT 3654433 SOS 2407531 HAS SOPS 2407531 HAS SOUS 1509740 HAS SOUPS 1509740 WITH SCORE 1512147.531
AT ITER 626 NEW BEST:: SOT 3653800 SOS 2406727 HAS SOPS 2406727 HAS SOUS 1509740 HAS SOUPS 1509740 WITH SCORE 1512146.727
AT ITER 628 NEW BEST:: SOT 3653800 SOS 2406718 HAS SOPS 2406718 HAS SOUS 1509731 HAS SOUPS 1509731 WITH SCORE 1512137.718
AT ITER 629 NEW BEST:: SOT 3653751 SOS 2406669 HAS SOPS 2406669 HAS SOUS 1509731 HAS SOUPS 1509731 WITH SCORE 1512137.669
AT ITER 637 NEW BEST:: SOT 3653751 SOS 2406665 HAS SOPS 2406665 HAS SOUS 1509729 HAS SOUPS 1509729 WITH SCORE 1512135.665
AT ITER 640 NEW BEST:: SOT 3654047 SOS 2408346 HAS SOPS 2408346 HAS SOUS 1509647 HAS SOUPS 1509647 WITH SCORE 1512055.346
AT ITER 644 NEW BEST:: SOT 3654046 SOS 2406549 HAS SOPS 2406549 HAS SOUS 1509645 HAS SOUPS 1509645 WITH SCORE 1512051.549
AT ITER 648 NEW BEST:: SOT 3649232 SOS 2401735 HAS SOPS 2401735 HAS SOUS 1504831 HAS SOUPS 1504831 WITH SCORE 1507232.735
AT ITER 654 NEW BEST:: SOT 3649003 SOS 2401688 HAS SOPS 2401688 HAS SOUS 1504798 HAS SOUPS 1504798 WITH SCORE 1507199.688
AT ITER 655 NEW BEST:: SOT 3649003 SOS 2399893 HAS SOPS 2399893 HAS SOUS 1504797 HAS SOUPS 1504797 WITH SCORE 1507196.893
AT ITER 659 NEW BEST:: SOT 3648671 SOS 2398190 HAS SOPS 2398190 HAS SOUS 1504133 HAS SOUPS 1504133 WITH SCORE 1506531.19
AT ITER 661 NEW BEST:: SOT 3648576 SOS 2397701 HAS SOPS 2397701 HAS SOUS 1503943 HAS SOUPS 1503943 WITH SCORE 1506340.701
AT ITER 662 NEW BEST:: SOT 3647763 SOS 2395600 HAS SOPS 2395600 HAS SOUS 1503127 HAS SOUPS 1503127 WITH SCORE 1505522.6
AT ITER 664 NEW BEST:: SOT 3646599 SOS 2394436 HAS SOPS 2394436 HAS SOUS 1501963 HAS SOUPS 1501963 WITH SCORE 1504357.436
AT ITER 675 NEW BEST:: SOT 3646496 SOS 2393566 HAS SOPS 2393566 HAS SOUS 1501093 HAS SOUPS 1501093 WITH SCORE 1503486.566
AT ITER 677 NEW BEST:: SOT 3637859 SOS 2385021 HAS SOPS 2385021 HAS SOUS 1492528 HAS SOUPS 1492528 WITH SCORE 1494913.021
AT ITER 679 NEW BEST:: SOT 3631822 SOS 2378977 HAS SOPS 2378977 HAS SOUS 1484020 HAS SOUPS 1484020 WITH SCORE 1486398.977
AT ITER 682 NEW BEST:: SOT 3630364 SOS 2377519 HAS SOPS 2377519 HAS SOUS 1482562 HAS SOUPS 1482562 WITH SCORE 1484939.519
AT ITER 687 NEW BEST:: SOT 3628157 SOS 2374535 HAS SOPS 2374535 HAS SOUS 1479578 HAS SOUPS 1479578 WITH SCORE 1481952.535
AT ITER 688 NEW BEST:: SOT 3628157 SOS 2374169 HAS SOPS 2374169 HAS SOUS 1479097 HAS SOUPS 1479097 WITH SCORE 1481471.169
AT ITER 690 NEW BEST:: SOT 3626326 SOS 2372338 HAS SOPS 2372338 HAS SOUS 1477264 HAS SOUPS 1477264 WITH SCORE 1479636.338
AT ITER 692 NEW BEST:: SOT 3625341 SOS 2371299 HAS SOPS 2371299 HAS SOUS 1476225 HAS SOUPS 1476225 WITH SCORE 1478596.299
AT ITER 693 NEW BEST:: SOT 3624683 SOS 2370199 HAS SOPS 2370199 HAS SOUS 1476225 HAS SOUPS 1476225 WITH SCORE 1478595.199
AT ITER 697 NEW BEST:: SOT 3624682 SOS 2370106 HAS SOPS 2370106 HAS SOUS 1476223 HAS SOUPS 1476223 WITH SCORE 1478593.106
AT ITER 699 NEW BEST:: SOT 3624682 SOS 2363609 HAS SOPS 2363609 HAS SOUS 1474551 HAS SOUPS 1474551 WITH SCORE 1476914.609
AT ITER 702 NEW BEST:: SOT 3624564 SOS 2363491 HAS SOPS 2363491 HAS SOUS 1474411 HAS SOUPS 1474411 WITH SCORE 1476774.491
AT ITER 707 NEW BEST:: SOT 3624557 SOS 2363469 HAS SOPS 2363469 HAS SOUS 1474389 HAS SOUPS 1474389 WITH SCORE 1476752.469
AT ITER 708 NEW BEST:: SOT 3624557 SOS 2362861 HAS SOPS 2362861 HAS SOUS 1473781 HAS SOUPS 1473781 WITH SCORE 1476143.861
AT ITER 709 NEW BEST:: SOT 3623821 SOS 2362125 HAS SOPS 2362125 HAS SOUS 1473045 HAS SOUPS 1473045 WITH SCORE 1475407.125
AT ITER 726 NEW BEST:: SOT 3623821 SOS 2361671 HAS SOPS 2361671 HAS SOUS 1473044 HAS SOUPS 1473044 WITH SCORE 1475405.671
AT ITER 731 NEW BEST:: SOT 3623821 SOS 2357389 HAS SOPS 2357389 HAS SOUS 1471782 HAS SOUPS 1471782 WITH SCORE 1474139.389
AT ITER 734 NEW BEST:: SOT 3623685 SOS 2357253 HAS SOPS 2357253 HAS SOUS 1471776 HAS SOUPS 1471776 WITH SCORE 1474133.253
AT ITER 737 NEW BEST:: SOT 3623660 SOS 2357219 HAS SOPS 2357219 HAS SOUS 1471742 HAS SOUPS 1471742 WITH SCORE 1474099.219
AT ITER 748 NEW BEST:: SOT 3623600 SOS 2357159 HAS SOPS 2357159 HAS SOUS 1471682 HAS SOUPS 1471682 WITH SCORE 1474039.159
AT ITER 752 NEW BEST:: SOT 3623599 SOS 2357158 HAS SOPS 2357158 HAS SOUS 1471680 HAS SOUPS 1471680 WITH SCORE 1474037.158
AT ITER 753 NEW BEST:: SOT 3623710 SOS 2356668 HAS SOPS 2356668 HAS SOUS 1471680 HAS SOUPS 1471680 WITH SCORE 1474036.668
AT ITER 761 NEW BEST:: SOT 3623710 SOS 2356032 HAS SOPS 2356032 HAS SOUS 1471679 HAS SOUPS 1471679 WITH SCORE 1474035.032
AT ITER 769 NEW BEST:: SOT 3623704 SOS 2355977 HAS SOPS 2355977 HAS SOUS 1471626 HAS SOUPS 1471626 WITH SCORE 1473981.977
AT ITER 770 NEW BEST:: SOT 3624078 SOS 2356140 HAS SOPS 2356140 HAS SOUS 1471490 HAS SOUPS 1471490 WITH SCORE 1473846.14
AT ITER 775 NEW BEST:: SOT 3623884 SOS 2354625 HAS SOPS 2354625 HAS SOUS 1471049 HAS SOUPS 1471049 WITH SCORE 1473403.625
AT ITER 776 NEW BEST:: SOT 3623884 SOS 2349316 HAS SOPS 2349316 HAS SOUS 1470485 HAS SOUPS 1470485 WITH SCORE 1472834.316
AT ITER 777 NEW BEST:: SOT 3624230 SOS 2347986 HAS SOPS 2347986 HAS SOUS 1470484 HAS SOUPS 1470484 WITH SCORE 1472831.986
AT ITER 779 NEW BEST:: SOT 3623561 SOS 2347788 HAS SOPS 2347788 HAS SOUS 1470480 HAS SOUPS 1470480 WITH SCORE 1472827.788
AT ITER 780 NEW BEST:: SOT 3614201 SOS 2338158 HAS SOPS 2338158 HAS SOUS 1460554 HAS SOUPS 1460554 WITH SCORE 1462892.158
AT ITER 789 NEW BEST:: SOT 3614201 SOS 2334558 HAS SOPS 2334558 HAS SOUS 1459935 HAS SOUPS 1459935 WITH SCORE 1462269.558
AT ITER 791 NEW BEST:: SOT 3613436 SOS 2333793 HAS SOPS 2333793 HAS SOUS 1459169 HAS SOUPS 1459169 WITH SCORE 1461502.793
AT ITER 793 NEW BEST:: SOT 3612806 SOS 2333790 HAS SOPS 2333790 HAS SOUS 1459164 HAS SOUPS 1459164 WITH SCORE 1461497.79
AT ITER 799 NEW BEST:: SOT 3612460 SOS 2330646 HAS SOPS 2330646 HAS SOUS 1458126 HAS SOUPS 1458126 WITH SCORE 1460456.646
AT ITER 801 NEW BEST:: SOT 3612404 SOS 2330581 HAS SOPS 2330581 HAS SOUS 1458117 HAS SOUPS 1458117 WITH SCORE 1460447.581
AT ITER 804 NEW BEST:: SOT 3612402 SOS 2330576 HAS SOPS 2330576 HAS SOUS 1458112 HAS SOUPS 1458112 WITH SCORE 1460442.576
AT ITER 814 NEW BEST:: SOT 3610888 SOS 2327718 HAS SOPS 2327718 HAS SOUS 1455920 HAS SOUPS 1455920 WITH SCORE 1458247.718
AT ITER 817 NEW BEST:: SOT 3610187 SOS 2327139 HAS SOPS 2327139 HAS SOUS 1455871 HAS SOUPS 1455871 WITH SCORE 1458198.139
AT ITER 821 NEW BEST:: SOT 3590314 SOS 2306690 HAS SOPS 2306690 HAS SOUS 1435076 HAS SOUPS 1435076 WITH SCORE 1437382.69
AT ITER 823 NEW BEST:: SOT 3586528 SOS 2308164 HAS SOPS 2308164 HAS SOUS 1431814 HAS SOUPS 1431814 WITH SCORE 1434122.164
AT ITER 826 NEW BEST:: SOT 3581466 SOS 2303095 HAS SOPS 2303095 HAS SOUS 1426745 HAS SOUPS 1426745 WITH SCORE 1429048.095
AT ITER 828 NEW BEST:: SOT 3580917 SOS 2302546 HAS SOPS 2302546 HAS SOUS 1426741 HAS SOUPS 1426741 WITH SCORE 1429043.546
AT ITER 829 NEW BEST:: SOT 3580824 SOS 2301895 HAS SOPS 2301895 HAS SOUS 1426555 HAS SOUPS 1426555 WITH SCORE 1428856.895
AT ITER 836 NEW BEST:: SOT 3574263 SOS 2293916 HAS SOPS 2293916 HAS SOUS 1418196 HAS SOUPS 1418196 WITH SCORE 1420489.916
AT ITER 838 NEW BEST:: SOT 3573509 SOS 2290713 HAS SOPS 2290713 HAS SOUS 1416460 HAS SOUPS 1416460 WITH SCORE 1418750.713
AT ITER 840 NEW BEST:: SOT 3574198 SOS 2290623 HAS SOPS 2290623 HAS SOUS 1415766 HAS SOUPS 1415766 WITH SCORE 1418056.623
AT ITER 844 NEW BEST:: SOT 3574198 SOS 2290313 HAS SOPS 2290313 HAS SOUS 1415763 HAS SOUPS 1415763 WITH SCORE 1418053.313
AT ITER 852 NEW BEST:: SOT 3573842 SOS 2289578 HAS SOPS 2289578 HAS SOUS 1415495 HAS SOUPS 1415495 WITH SCORE 1417784.578
AT ITER 853 NEW BEST:: SOT 3573221 SOS 2288957 HAS SOPS 2288957 HAS SOUS 1414874 HAS SOUPS 1414874 WITH SCORE 1417162.957
AT ITER 867 NEW BEST:: SOT 3563731 SOS 2279467 HAS SOPS 2279467 HAS SOUS 1405384 HAS SOUPS 1405384 WITH SCORE 1407663.467
AT ITER 874 NEW BEST:: SOT 3563731 SOS 2279383 HAS SOPS 2279383 HAS SOUS 1405300 HAS SOUPS 1405300 WITH SCORE 1407579.383
AT ITER 876 NEW BEST:: SOT 3563725 SOS 2279377 HAS SOPS 2279377 HAS SOUS 1405296 HAS SOUPS 1405296 WITH SCORE 1407575.377
AT ITER 877 NEW BEST:: SOT 3563725 SOS 2279374 HAS SOPS 2279374 HAS SOUS 1405293 HAS SOUPS 1405293 WITH SCORE 1407572.374
AT ITER 879 NEW BEST:: SOT 3563219 SOS 2277119 HAS SOPS 2277119 HAS SOUS 1404281 HAS SOUPS 1404281 WITH SCORE 1406558.119
AT ITER 881 NEW BEST:: SOT 3562861 SOS 2276717 HAS SOPS 2276717 HAS SOUS 1403516 HAS SOUPS 1403516 WITH SCORE 1405792.717
AT ITER 885 NEW BEST:: SOT 3563624 SOS 2277514 HAS SOPS 2277514 HAS SOUS 1403050 HAS SOUPS 1403050 WITH SCORE 1405327.514
AT ITER 888 NEW BEST:: SOT 3563491 SOS 2275936 HAS SOPS 2275936 HAS SOUS 1402784 HAS SOUPS 1402784 WITH SCORE 1405059.936
AT ITER 889 NEW BEST:: SOT 3563180 SOS 2275933 HAS SOPS 2275933 HAS SOUS 1402781 HAS SOUPS 1402781 WITH SCORE 1405056.933
AT ITER 892 NEW BEST:: SOT 3563180 SOS 2275837 HAS SOPS 2275837 HAS SOUS 1402781 HAS SOUPS 1402781 WITH SCORE 1405056.837
AT ITER 897 NEW BEST:: SOT 3563180 SOS 2275837 HAS SOPS 2275837 HAS SOUS 1402754 HAS SOUPS 1402754 WITH SCORE 1405029.837
AT ITER 898 NEW BEST:: SOT 3563180 SOS 2277365 HAS SOPS 2277365 HAS SOUS 1402673 HAS SOUPS 1402673 WITH SCORE 1404950.365
AT ITER 900 NEW BEST:: SOT 3563180 SOS 2277458 HAS SOPS 2277458 HAS SOUS 1402576 HAS SOUPS 1402576 WITH SCORE 1404853.458
AT ITER 901 NEW BEST:: SOT 3562569 SOS 2276381 HAS SOPS 2276381 HAS SOUS 1401796 HAS SOUPS 1401796 WITH SCORE 1404072.381
AT ITER 904 NEW BEST:: SOT 3562387 SOS 2276199 HAS SOPS 2276199 HAS SOUS 1401795 HAS SOUPS 1401795 WITH SCORE 1404071.199
AT ITER 908 NEW BEST:: SOT 3558274 SOS 2275887 HAS SOPS 2275887 HAS SOUS 1398986 HAS SOUPS 1398986 WITH SCORE 1401261.887
AT ITER 917 NEW BEST:: SOT 3558026 SOS 2275391 HAS SOPS 2275391 HAS SOUS 1398738 HAS SOUPS 1398738 WITH SCORE 1401013.391
AT ITER 919 NEW BEST:: SOT 3556262 SOS 2273627 HAS SOPS 2273627 HAS SOUS 1396974 HAS SOUPS 1396974 WITH SCORE 1399247.627
AT ITER 921 NEW BEST:: SOT 3546493 SOS 2259754 HAS SOPS 2259754 HAS SOUS 1386529 HAS SOUPS 1386529 WITH SCORE 1388788.754
AT ITER 923 NEW BEST:: SOT 3546486 SOS 2258430 HAS SOPS 2258430 HAS SOUS 1386485 HAS SOUPS 1386485 WITH SCORE 1388743.43
AT ITER 927 NEW BEST:: SOT 3546288 SOS 2258232 HAS SOPS 2258232 HAS SOUS 1386287 HAS SOUPS 1386287 WITH SCORE 1388545.232
AT ITER 928 NEW BEST:: SOT 3546284 SOS 2252978 HAS SOPS 2252978 HAS SOUS 1386272 HAS SOUPS 1386272 WITH SCORE 1388524.978
AT ITER 940 NEW BEST:: SOT 3544914 SOS 2252388 HAS SOPS 2252388 HAS SOUS 1385424 HAS SOUPS 1385424 WITH SCORE 1387676.388
AT ITER 941 NEW BEST:: SOT 3544869 SOS 2252343 HAS SOPS 2252343 HAS SOUS 1385423 HAS SOUPS 1385423 WITH SCORE 1387675.343
AT ITER 945 NEW BEST:: SOT 3544869 SOS 2250454 HAS SOPS 2250454 HAS SOUS 1385086 HAS SOUPS 1385086 WITH SCORE 1387336.454
AT ITER 946 NEW BEST:: SOT 3544435 SOS 2249586 HAS SOPS 2249586 HAS SOUS 1384652 HAS SOUPS 1384652 WITH SCORE 1386901.586
AT ITER 949 NEW BEST:: SOT 3544180 SOS 2248596 HAS SOPS 2248596 HAS SOUS 1383662 HAS SOUPS 1383662 WITH SCORE 1385910.596
AT ITER 952 NEW BEST:: SOT 3544180 SOS 2248596 HAS SOPS 2248596 HAS SOUS 1383654 HAS SOUPS 1383654 WITH SCORE 1385902.596
AT ITER 955 NEW BEST:: SOT 3544055 SOS 2248471 HAS SOPS 2248471 HAS SOUS 1383529 HAS SOUPS 1383529 WITH SCORE 1385777.471
AT ITER 961 NEW BEST:: SOT 3531012 SOS 2243984 HAS SOPS 2243984 HAS SOUS 1371844 HAS SOUPS 1371844 WITH SCORE 1374087.984
AT ITER 981 NEW BEST:: SOT 3530701 SOS 2243673 HAS SOPS 2243673 HAS SOUS 1371512 HAS SOUPS 1371512 WITH SCORE 1373755.673
AT ITER 998 NEW BEST:: SOT 3530701 SOS 2244971 HAS SOPS 2244971 HAS SOUS 1371506 HAS SOUPS 1371506 WITH SCORE 1373750.971
AT ITER 999 NEW BEST:: SOT 3530370 SOS 2242129 HAS SOPS 2242129 HAS SOUS 1371111 HAS SOUPS 1371111 WITH SCORE 1373353.129
AT ITER 1007 NEW BEST:: SOT 3529553 SOS 2240869 HAS SOPS 2240869 HAS SOUS 1371111 HAS SOUPS 1371111 WITH SCORE 1373351.869
AT ITER 1011 NEW BEST:: SOT 3529014 SOS 2240330 HAS SOPS 2240330 HAS SOUS 1370572 HAS SOUPS 1370572 WITH SCORE 1372812.33
AT ITER 1021 NEW BEST:: SOT 3529014 SOS 2240297 HAS SOPS 2240297 HAS SOUS 1370572 HAS SOUPS 1370572 WITH SCORE 1372812.297
AT ITER 1027 NEW BEST:: SOT 3529014 SOS 2240195 HAS SOPS 2240195 HAS SOUS 1370552 HAS SOUPS 1370552 WITH SCORE 1372792.195
AT ITER 1032 NEW BEST:: SOT 3528699 SOS 2239880 HAS SOPS 2239880 HAS SOUS 1370531 HAS SOUPS 1370531 WITH SCORE 1372770.88
AT ITER 1034 NEW BEST:: SOT 3528215 SOS 2239396 HAS SOPS 2239396 HAS SOUS 1370531 HAS SOUPS 1370531 WITH SCORE 1372770.396
AT ITER 1043 NEW BEST:: SOT 3528214 SOS 2239352 HAS SOPS 2239352 HAS SOUS 1370529 HAS SOUPS 1370529 WITH SCORE 1372768.352
AT ITER 1060 NEW BEST:: SOT 3528214 SOS 2238483 HAS SOPS 2238483 HAS SOUS 1369660 HAS SOUPS 1369660 WITH SCORE 1371898.483
AT ITER 1066 NEW BEST:: SOT 3527554 SOS 2237823 HAS SOPS 2237823 HAS SOUS 1369000 HAS SOUPS 1369000 WITH SCORE 1371237.823
AT ITER 1068 NEW BEST:: SOT 3525965 SOS 2240522 HAS SOPS 2240522 HAS SOUS 1368634 HAS SOUPS 1368634 WITH SCORE 1370874.522
AT ITER 1069 NEW BEST:: SOT 3525009 SOS 2240044 HAS SOPS 2240044 HAS SOUS 1368633 HAS SOUPS 1368633 WITH SCORE 1370873.044
AT ITER 1075 NEW BEST:: SOT 3525040 SOS 2239618 HAS SOPS 2239618 HAS SOUS 1368434 HAS SOUPS 1368434 WITH SCORE 1370673.618
AT ITER 1082 NEW BEST:: SOT 3524573 SOS 2238429 HAS SOPS 2238429 HAS SOUS 1367245 HAS SOUPS 1367245 WITH SCORE 1369483.429
AT ITER 1086 NEW BEST:: SOT 3509494 SOS 2224185 HAS SOPS 2224185 HAS SOUS 1350746 HAS SOUPS 1350746 WITH SCORE 1352970.185
AT ITER 1088 NEW BEST:: SOT 3508744 SOS 2222147 HAS SOPS 2222147 HAS SOUS 1348760 HAS SOUPS 1348760 WITH SCORE 1350982.147
AT ITER 1092 NEW BEST:: SOT 3508744 SOS 2222768 HAS SOPS 2222768 HAS SOUS 1348758 HAS SOUPS 1348758 WITH SCORE 1350980.768
AT ITER 1095 NEW BEST:: SOT 3508736 SOS 2222760 HAS SOPS 2222760 HAS SOUS 1348742 HAS SOUPS 1348742 WITH SCORE 1350964.76
AT ITER 1104 NEW BEST:: SOT 3508194 SOS 2222218 HAS SOPS 2222218 HAS SOUS 1348200 HAS SOUPS 1348200 WITH SCORE 1350422.218
AT ITER 1105 NEW BEST:: SOT 3507799 SOS 2221431 HAS SOPS 2221431 HAS SOUS 1347484 HAS SOUPS 1347484 WITH SCORE 1349705.431
AT ITER 1110 NEW BEST:: SOT 3504682 SOS 2217803 HAS SOPS 2217803 HAS SOUS 1343856 HAS SOUPS 1343856 WITH SCORE 1346073.803
AT ITER 1113 NEW BEST:: SOT 3504557 SOS 2217428 HAS SOPS 2217428 HAS SOUS 1343522 HAS SOUPS 1343522 WITH SCORE 1345739.428
AT ITER 1126 NEW BEST:: SOT 3502764 SOS 2215066 HAS SOPS 2215066 HAS SOUS 1341160 HAS SOUPS 1341160 WITH SCORE 1343375.066
AT ITER 1129 NEW BEST:: SOT 3502376 SOS 2214678 HAS SOPS 2214678 HAS SOUS 1341160 HAS SOUPS 1341160 WITH SCORE 1343374.678
AT ITER 1134 NEW BEST:: SOT 3501459 SOS 2213578 HAS SOPS 2213578 HAS SOUS 1340058 HAS SOUPS 1340058 WITH SCORE 1342271.578
AT ITER 1138 NEW BEST:: SOT 3501459 SOS 2213387 HAS SOPS 2213387 HAS SOUS 1340058 HAS SOUPS 1340058 WITH SCORE 1342271.387
AT ITER 1143 NEW BEST:: SOT 3501663 SOS 2213591 HAS SOPS 2213591 HAS SOUS 1339914 HAS SOUPS 1339914 WITH SCORE 1342127.591
AT ITER 1145 NEW BEST:: SOT 3501663 SOS 2214027 HAS SOPS 2214027 HAS SOUS 1339912 HAS SOUPS 1339912 WITH SCORE 1342126.027
AT ITER 1152 NEW BEST:: SOT 3501625 SOS 2213913 HAS SOPS 2213913 HAS SOUS 1339836 HAS SOUPS 1339836 WITH SCORE 1342049.913
AT ITER 1156 NEW BEST:: SOT 3500158 SOS 2213122 HAS SOPS 2213122 HAS SOUS 1339034 HAS SOUPS 1339034 WITH SCORE 1341247.122
AT ITER 1165 NEW BEST:: SOT 3500230 SOS 2213194 HAS SOPS 2213194 HAS SOUS 1339033 HAS SOUPS 1339033 WITH SCORE 1341246.194
AT ITER 1171 NEW BEST:: SOT 3499250 SOS 2211234 HAS SOPS 2211234 HAS SOUS 1337073 HAS SOUPS 1337073 WITH SCORE 1339284.234
AT ITER 1179 NEW BEST:: SOT 3495232 SOS 2212003 HAS SOPS 2212003 HAS SOUS 1333879 HAS SOUPS 1333879 WITH SCORE 1336091.003
AT ITER 1187 NEW BEST:: SOT 3494899 SOS 2209672 HAS SOPS 2209672 HAS SOUS 1333213 HAS SOUPS 1333213 WITH SCORE 1335422.672
AT ITER 1191 NEW BEST:: SOT 3494537 SOS 2208426 HAS SOPS 2208426 HAS SOUS 1331967 HAS SOUPS 1331967 WITH SCORE 1334175.426
AT ITER 1198 NEW BEST:: SOT 3492687 SOS 2212368 HAS SOPS 2212368 HAS SOUS 1331476 HAS SOUPS 1331476 WITH SCORE 1333688.368
AT ITER 1209 NEW BEST:: SOT 3479026 SOS 2198707 HAS SOPS 2198707 HAS SOUS 1317814 HAS SOUPS 1317814 WITH SCORE 1320012.707
AT ITER 1220 NEW BEST:: SOT 3479018 SOS 2198692 HAS SOPS 2198692 HAS SOUS 1317798 HAS SOUPS 1317798 WITH SCORE 1319996.692
AT ITER 1221 NEW BEST:: SOT 3479018 SOS 2198078 HAS SOPS 2198078 HAS SOUS 1317482 HAS SOUPS 1317482 WITH SCORE 1319680.078
AT ITER 1227 NEW BEST:: SOT 3478273 SOS 2196799 HAS SOPS 2196799 HAS SOUS 1316203 HAS SOUPS 1316203 WITH SCORE 1318399.799
AT ITER 1230 NEW BEST:: SOT 3473662 SOS 2194036 HAS SOPS 2194036 HAS SOUS 1311217 HAS SOUPS 1311217 WITH SCORE 1313411.036
AT ITER 1232 NEW BEST:: SOT 3473662 SOS 2193492 HAS SOPS 2193492 HAS SOUS 1310548 HAS SOUPS 1310548 WITH SCORE 1312741.492
AT ITER 1235 NEW BEST:: SOT 3473662 SOS 2192551 HAS SOPS 2192551 HAS SOUS 1310548 HAS SOUPS 1310548 WITH SCORE 1312740.551
AT ITER 1241 NEW BEST:: SOT 3473172 SOS 2192052 HAS SOPS 2192052 HAS SOUS 1310048 HAS SOUPS 1310048 WITH SCORE 1312240.052
AT ITER 1253 NEW BEST:: SOT 3473171 SOS 2192051 HAS SOPS 2192051 HAS SOUS 1310046 HAS SOUPS 1310046 WITH SCORE 1312238.051
AT ITER 1254 NEW BEST:: SOT 3470845 SOS 2189975 HAS SOPS 2189975 HAS SOUS 1308047 HAS SOUPS 1308047 WITH SCORE 1310236.975
AT ITER 1272 NEW BEST:: SOT 3470892 SOS 2188045 HAS SOPS 2188045 HAS SOUS 1307274 HAS SOUPS 1307274 WITH SCORE 1309462.045
AT ITER 1278 NEW BEST:: SOT 3470287 SOS 2187440 HAS SOPS 2187440 HAS SOUS 1306669 HAS SOUPS 1306669 WITH SCORE 1308856.44
AT ITER 1283 NEW BEST:: SOT 3469657 SOS 2186810 HAS SOPS 2186810 HAS SOUS 1306039 HAS SOUPS 1306039 WITH SCORE 1308225.81
AT ITER 1290 NEW BEST:: SOT 3469154 SOS 2186307 HAS SOPS 2186307 HAS SOUS 1305065 HAS SOUPS 1305065 WITH SCORE 1307251.307
AT ITER 1297 NEW BEST:: SOT 3463990 SOS 2181424 HAS SOPS 2181424 HAS SOUS 1300182 HAS SOUPS 1300182 WITH SCORE 1302363.424
AT ITER 1314 NEW BEST:: SOT 3463864 SOS 2181171 HAS SOPS 2181171 HAS SOUS 1299179 HAS SOUPS 1299179 WITH SCORE 1301360.171
AT ITER 1316 NEW BEST:: SOT 3463488 SOS 2180795 HAS SOPS 2180795 HAS SOUS 1299002 HAS SOUPS 1299002 WITH SCORE 1301182.795
AT ITER 1321 NEW BEST:: SOT 3462307 SOS 2179134 HAS SOPS 2179134 HAS SOUS 1297341 HAS SOUPS 1297341 WITH SCORE 1299520.134
AT ITER 1330 NEW BEST:: SOT 3462097 SOS 2179064 HAS SOPS 2179064 HAS SOUS 1297271 HAS SOUPS 1297271 WITH SCORE 1299450.064
AT ITER 1331 NEW BEST:: SOT 3460870 SOS 2178383 HAS SOPS 2178383 HAS SOUS 1297074 HAS SOUPS 1297074 WITH SCORE 1299252.383
AT ITER 1335 NEW BEST:: SOT 3460314 SOS 2177991 HAS SOPS 2177991 HAS SOUS 1296682 HAS SOUPS 1296682 WITH SCORE 1298859.991
AT ITER 1345 NEW BEST:: SOT 3460297 SOS 2177746 HAS SOPS 2177746 HAS SOUS 1296648 HAS SOUPS 1296648 WITH SCORE 1298825.746
AT ITER 1347 NEW BEST:: SOT 3460297 SOS 2177758 HAS SOPS 2177758 HAS SOUS 1296640 HAS SOUPS 1296640 WITH SCORE 1298817.758
AT ITER 1352 NEW BEST:: SOT 3461018 SOS 2177541 HAS SOPS 2177541 HAS SOUS 1296032 HAS SOUPS 1296032 WITH SCORE 1298209.541
AT ITER 1357 NEW BEST:: SOT 3459732 SOS 2170668 HAS SOPS 2170668 HAS SOUS 1294167 HAS SOUPS 1294167 WITH SCORE 1296337.668
AT ITER 1362 NEW BEST:: SOT 3460490 SOS 2171055 HAS SOPS 2171055 HAS SOUS 1293796 HAS SOUPS 1293796 WITH SCORE 1295967.055
AT ITER 1367 NEW BEST:: SOT 3460935 SOS 2171132 HAS SOPS 2171132 HAS SOUS 1293581 HAS SOUPS 1293581 WITH SCORE 1295752.132
AT ITER 1371 NEW BEST:: SOT 3460548 SOS 2171312 HAS SOPS 2171312 HAS SOUS 1293182 HAS SOUPS 1293182 WITH SCORE 1295353.312
AT ITER 1372 NEW BEST:: SOT 3460195 SOS 2171250 HAS SOPS 2171250 HAS SOUS 1292176 HAS SOUPS 1292176 WITH SCORE 1294347.25
AT ITER 1388 NEW BEST:: SOT 3457240 SOS 2168813 HAS SOPS 2168813 HAS SOUS 1289294 HAS SOUPS 1289294 WITH SCORE 1291462.813
AT ITER 1413 NEW BEST:: SOT 3457095 SOS 2168626 HAS SOPS 2168626 HAS SOUS 1289107 HAS SOUPS 1289107 WITH SCORE 1291275.626
AT ITER 1416 NEW BEST:: SOT 3454877 SOS 2172250 HAS SOPS 2172250 HAS SOUS 1287066 HAS SOUPS 1287066 WITH SCORE 1289238.25
AT ITER 1423 NEW BEST:: SOT 3454877 SOS 2171418 HAS SOPS 2171418 HAS SOUS 1286881 HAS SOUPS 1286881 WITH SCORE 1289052.418
AT ITER 1430 NEW BEST:: SOT 3454876 SOS 2169411 HAS SOPS 2169411 HAS SOUS 1286664 HAS SOUPS 1286664 WITH SCORE 1288833.411
AT ITER 1436 NEW BEST:: SOT 3454860 SOS 2169255 HAS SOPS 2169255 HAS SOUS 1286539 HAS SOUPS 1286539 WITH SCORE 1288708.255
AT ITER 1440 NEW BEST:: SOT 3454859 SOS 2167621 HAS SOPS 2167621 HAS SOUS 1286537 HAS SOUPS 1286537 WITH SCORE 1288704.621
AT ITER 1444 NEW BEST:: SOT 3453813 SOS 2164538 HAS SOPS 2164538 HAS SOUS 1284445 HAS SOUPS 1284445 WITH SCORE 1286609.538
AT ITER 1451 NEW BEST:: SOT 3451356 SOS 2162558 HAS SOPS 2162558 HAS SOUS 1282938 HAS SOUPS 1282938 WITH SCORE 1285100.558
AT ITER 1466 NEW BEST:: SOT 3451108 SOS 2162310 HAS SOPS 2162310 HAS SOUS 1282690 HAS SOUPS 1282690 WITH SCORE 1284852.31
AT ITER 1467 NEW BEST:: SOT 3450759 SOS 2161886 HAS SOPS 2161886 HAS SOUS 1282266 HAS SOUPS 1282266 WITH SCORE 1284427.886
AT ITER 1470 NEW BEST:: SOT 3450576 SOS 2161703 HAS SOPS 2161703 HAS SOUS 1281812 HAS SOUPS 1281812 WITH SCORE 1283973.703
AT ITER 1472 NEW BEST:: SOT 3450053 SOS 2161260 HAS SOPS 2161260 HAS SOUS 1281792 HAS SOUPS 1281792 WITH SCORE 1283953.26
AT ITER 1475 NEW BEST:: SOT 3450053 SOS 2161190 HAS SOPS 2161190 HAS SOUS 1281664 HAS SOUPS 1281664 WITH SCORE 1283825.19
AT ITER 1477 NEW BEST:: SOT 3449982 SOS 2161048 HAS SOPS 2161048 HAS SOUS 1281451 HAS SOUPS 1281451 WITH SCORE 1283612.048
AT ITER 1484 NEW BEST:: SOT 3449527 SOS 2158705 HAS SOPS 2158705 HAS SOUS 1280892 HAS SOUPS 1280892 WITH SCORE 1283050.705
AT ITER 1495 NEW BEST:: SOT 3452439 SOS 2160968 HAS SOPS 2160968 HAS SOUS 1280245 HAS SOUPS 1280245 WITH SCORE 1282405.968
AT ITER 1498 NEW BEST:: SOT 3452241 SOS 2159084 HAS SOPS 2159084 HAS SOUS 1279913 HAS SOUPS 1279913 WITH SCORE 1282072.084
AT ITER 1501 NEW BEST:: SOT 3446519 SOS 2153361 HAS SOPS 2153361 HAS SOUS 1274189 HAS SOUPS 1274189 WITH SCORE 1276342.361
AT ITER 1506 NEW BEST:: SOT 3446293 SOS 2153133 HAS SOPS 2153133 HAS SOUS 1273961 HAS SOUPS 1273961 WITH SCORE 1276114.133
AT ITER 1507 NEW BEST:: SOT 3448272 SOS 2153904 HAS SOPS 2153904 HAS SOUS 1273430 HAS SOUPS 1273430 WITH SCORE 1275583.904
AT ITER 1508 NEW BEST:: SOT 3448212 SOS 2153784 HAS SOPS 2153784 HAS SOUS 1273250 HAS SOUPS 1273250 WITH SCORE 1275403.784
AT ITER 1509 NEW BEST:: SOT 3448072 SOS 2153644 HAS SOPS 2153644 HAS SOUS 1273040 HAS SOUPS 1273040 WITH SCORE 1275193.644
AT ITER 1515 NEW BEST:: SOT 3448071 SOS 2153643 HAS SOPS 2153643 HAS SOUS 1273039 HAS SOUPS 1273039 WITH SCORE 1275192.643
AT ITER 1523 NEW BEST:: SOT 3448003 SOS 2153497 HAS SOPS 2153497 HAS SOUS 1272897 HAS SOUPS 1272897 WITH SCORE 1275050.497
AT ITER 1532 NEW BEST:: SOT 3446998 SOS 2152492 HAS SOPS 2152492 HAS SOUS 1271890 HAS SOUPS 1271890 WITH SCORE 1274042.492
AT ITER 1534 NEW BEST:: SOT 3433796 SOS 2142154 HAS SOPS 2142154 HAS SOUS 1259042 HAS SOUPS 1259042 WITH SCORE 1261184.154
AT ITER 1541 NEW BEST:: SOT 3433796 SOS 2143878 HAS SOPS 2143878 HAS SOUS 1258961 HAS SOUPS 1258961 WITH SCORE 1261104.878
AT ITER 1555 NEW BEST:: SOT 3433289 SOS 2143137 HAS SOPS 2143137 HAS SOUS 1257045 HAS SOUPS 1257045 WITH SCORE 1259188.137
AT ITER 1567 NEW BEST:: SOT 3433199 SOS 2143137 HAS SOPS 2143137 HAS SOUS 1256955 HAS SOUPS 1256955 WITH SCORE 1259098.137
AT ITER 1573 NEW BEST:: SOT 3432735 SOS 2142672 HAS SOPS 2142672 HAS SOUS 1256490 HAS SOUPS 1256490 WITH SCORE 1258632.672
AT ITER 1576 NEW BEST:: SOT 3432543 SOS 2142623 HAS SOPS 2142623 HAS SOUS 1254905 HAS SOUPS 1254905 WITH SCORE 1257047.623
AT ITER 1582 NEW BEST:: SOT 3432543 SOS 2142359 HAS SOPS 2142359 HAS SOUS 1254641 HAS SOUPS 1254641 WITH SCORE 1256783.359
AT ITER 1603 NEW BEST:: SOT 3432544 SOS 2141916 HAS SOPS 2141916 HAS SOUS 1254596 HAS SOUPS 1254596 WITH SCORE 1256737.916
AT ITER 1608 NEW BEST:: SOT 3431925 SOS 2140556 HAS SOPS 2140556 HAS SOUS 1254596 HAS SOUPS 1254596 WITH SCORE 1256736.556
AT ITER 1612 NEW BEST:: SOT 3431837 SOS 2140468 HAS SOPS 2140468 HAS SOUS 1254556 HAS SOUPS 1254556 WITH SCORE 1256696.468
AT ITER 1615 NEW BEST:: SOT 3431685 SOS 2140164 HAS SOPS 2140164 HAS SOUS 1254228 HAS SOUPS 1254228 WITH SCORE 1256368.164
AT ITER 1616 NEW BEST:: SOT 3428461 SOS 2139020 HAS SOPS 2139020 HAS SOUS 1252250 HAS SOUPS 1252250 WITH SCORE 1254389.02
AT ITER 1623 NEW BEST:: SOT 3411175 SOS 2121804 HAS SOPS 2121804 HAS SOUS 1235033 HAS SOUPS 1235033 WITH SCORE 1237154.804
AT ITER 1634 NEW BEST:: SOT 3411173 SOS 2120917 HAS SOPS 2120917 HAS SOUS 1234185 HAS SOUPS 1234185 WITH SCORE 1236305.917
AT ITER 1635 NEW BEST:: SOT 3410700 SOS 2120444 HAS SOPS 2120444 HAS SOUS 1233712 HAS SOUPS 1233712 WITH SCORE 1235832.444
AT ITER 1640 NEW BEST:: SOT 3410700 SOS 2120092 HAS SOPS 2120092 HAS SOUS 1233360 HAS SOUPS 1233360 WITH SCORE 1235480.092
AT ITER 1656 NEW BEST:: SOT 3410700 SOS 2120091 HAS SOPS 2120091 HAS SOUS 1233359 HAS SOUPS 1233359 WITH SCORE 1235479.091
AT ITER 1657 NEW BEST:: SOT 3410380 SOS 2119771 HAS SOPS 2119771 HAS SOUS 1233098 HAS SOUPS 1233098 WITH SCORE 1235217.771
AT ITER 1669 NEW BEST:: SOT 3410380 SOS 2114366 HAS SOPS 2114366 HAS SOUS 1233098 HAS SOUPS 1233098 WITH SCORE 1235212.366
AT ITER 1681 NEW BEST:: SOT 3410379 SOS 2114365 HAS SOPS 2114365 HAS SOUS 1233096 HAS SOUPS 1233096 WITH SCORE 1235210.365
AT ITER 1684 NEW BEST:: SOT 3410379 SOS 2114614 HAS SOPS 2114614 HAS SOUS 1233094 HAS SOUPS 1233094 WITH SCORE 1235208.614
AT ITER 1696 NEW BEST:: SOT 3409950 SOS 2113407 HAS SOPS 2113407 HAS SOUS 1232209 HAS SOUPS 1232209 WITH SCORE 1234322.407
AT ITER 1709 NEW BEST:: SOT 3409914 SOS 2113371 HAS SOPS 2113371 HAS SOUS 1232173 HAS SOUPS 1232173 WITH SCORE 1234286.371
AT ITER 1712 NEW BEST:: SOT 3409130 SOS 2111292 HAS SOPS 2111292 HAS SOUS 1230519 HAS SOUPS 1230519 WITH SCORE 1232630.292
AT ITER 1714 NEW BEST:: SOT 3408549 SOS 2110711 HAS SOPS 2110711 HAS SOUS 1230187 HAS SOUPS 1230187 WITH SCORE 1232297.711
AT ITER 1716 NEW BEST:: SOT 3407942 SOS 2109240 HAS SOPS 2109240 HAS SOUS 1228768 HAS SOUPS 1228768 WITH SCORE 1230877.24
AT ITER 1719 NEW BEST:: SOT 3407423 SOS 2107716 HAS SOPS 2107716 HAS SOUS 1227670 HAS SOUPS 1227670 WITH SCORE 1229777.716
AT ITER 1728 NEW BEST:: SOT 3407423 SOS 2108077 HAS SOPS 2108077 HAS SOUS 1227667 HAS SOUPS 1227667 WITH SCORE 1229775.077
AT ITER 1734 NEW BEST:: SOT 3407141 SOS 2107795 HAS SOPS 2107795 HAS SOUS 1227385 HAS SOUPS 1227385 WITH SCORE 1229492.795
AT ITER 1751 NEW BEST:: SOT 3407916 SOS 2106899 HAS SOPS 2106899 HAS SOUS 1226750 HAS SOUPS 1226750 WITH SCORE 1228856.899
AT ITER 1769 NEW BEST:: SOT 3407292 SOS 2106275 HAS SOPS 2106275 HAS SOUS 1226126 HAS SOUPS 1226126 WITH SCORE 1228232.275
AT ITER 1779 NEW BEST:: SOT 3407292 SOS 2104565 HAS SOPS 2104565 HAS SOUS 1225767 HAS SOUPS 1225767 WITH SCORE 1227871.565
AT ITER 1783 NEW BEST:: SOT 3407292 SOS 2099615 HAS SOPS 2099615 HAS SOUS 1225134 HAS SOUPS 1225134 WITH SCORE 1227233.615
AT ITER 1788 NEW BEST:: SOT 3407124 SOS 2100312 HAS SOPS 2100312 HAS SOUS 1224948 HAS SOUPS 1224948 WITH SCORE 1227048.312
AT ITER 1791 NEW BEST:: SOT 3406914 SOS 2097749 HAS SOPS 2097749 HAS SOUS 1222385 HAS SOUPS 1222385 WITH SCORE 1224482.749
AT ITER 1792 NEW BEST:: SOT 3406914 SOS 2097163 HAS SOPS 2097163 HAS SOUS 1222241 HAS SOUPS 1222241 WITH SCORE 1224338.163
AT ITER 1796 NEW BEST:: SOT 3406914 SOS 2097109 HAS SOPS 2097109 HAS SOUS 1222238 HAS SOUPS 1222238 WITH SCORE 1224335.109
AT ITER 1801 NEW BEST:: SOT 3406248 SOS 2095986 HAS SOPS 2095986 HAS SOUS 1220929 HAS SOUPS 1220929 WITH SCORE 1223024.986
AT ITER 1806 NEW BEST:: SOT 3406120 SOS 2095590 HAS SOPS 2095590 HAS SOUS 1220533 HAS SOUPS 1220533 WITH SCORE 1222628.59
AT ITER 1810 NEW BEST:: SOT 3405853 SOS 2095323 HAS SOPS 2095323 HAS SOUS 1220397 HAS SOUPS 1220397 WITH SCORE 1222492.323
AT ITER 1813 NEW BEST:: SOT 3405744 SOS 2095214 HAS SOPS 2095214 HAS SOUS 1219874 HAS SOUPS 1219874 WITH SCORE 1221969.214
AT ITER 1815 NEW BEST:: SOT 3405557 SOS 2095027 HAS SOPS 2095027 HAS SOUS 1219686 HAS SOUPS 1219686 WITH SCORE 1221781.027
AT ITER 1840 NEW BEST:: SOT 3405221 SOS 2094466 HAS SOPS 2094466 HAS SOUS 1219359 HAS SOUPS 1219359 WITH SCORE 1221453.466
AT ITER 1843 NEW BEST:: SOT 3405087 SOS 2094265 HAS SOPS 2094265 HAS SOUS 1219158 HAS SOUPS 1219158 WITH SCORE 1221252.265
AT ITER 1855 NEW BEST:: SOT 3404709 SOS 2092818 HAS SOPS 2092818 HAS SOUS 1218199 HAS SOUPS 1218199 WITH SCORE 1220291.818
AT ITER 1859 NEW BEST:: SOT 3404688 SOS 2091642 HAS SOPS 2091642 HAS SOUS 1217373 HAS SOUPS 1217373 WITH SCORE 1219464.642
AT ITER 1866 NEW BEST:: SOT 3403522 SOS 2090722 HAS SOPS 2090722 HAS SOUS 1215401 HAS SOUPS 1215401 WITH SCORE 1217491.722
AT ITER 1869 NEW BEST:: SOT 3403521 SOS 2089798 HAS SOPS 2089798 HAS SOUS 1215399 HAS SOUPS 1215399 WITH SCORE 1217488.798
AT ITER 1882 NEW BEST:: SOT 3401934 SOS 2088210 HAS SOPS 2088210 HAS SOUS 1214410 HAS SOUPS 1214410 WITH SCORE 1216498.21
AT ITER 1886 NEW BEST:: SOT 3401934 SOS 2091753 HAS SOPS 2091753 HAS SOUS 1214395 HAS SOUPS 1214395 WITH SCORE 1216486.753
AT ITER 1907 NEW BEST:: SOT 3401934 SOS 2089705 HAS SOPS 2089705 HAS SOUS 1213819 HAS SOUPS 1213819 WITH SCORE 1215908.705
AT ITER 1909 NEW BEST:: SOT 3401682 SOS 2089201 HAS SOPS 2089201 HAS SOUS 1213315 HAS SOUPS 1213315 WITH SCORE 1215404.201
AT ITER 1928 NEW BEST:: SOT 3401520 SOS 2089039 HAS SOPS 2089039 HAS SOUS 1213152 HAS SOUPS 1213152 WITH SCORE 1215241.039
AT ITER 1935 NEW BEST:: SOT 3401382 SOS 2088899 HAS SOPS 2088899 HAS SOUS 1213012 HAS SOUPS 1213012 WITH SCORE 1215100.899
AT ITER 1940 NEW BEST:: SOT 3400650 SOS 2087889 HAS SOPS 2087889 HAS SOUS 1212800 HAS SOUPS 1212800 WITH SCORE 1214887.889
AT ITER 1943 NEW BEST:: SOT 3400650 SOS 2087856 HAS SOPS 2087856 HAS SOUS 1212798 HAS SOUPS 1212798 WITH SCORE 1214885.856
AT ITER 1945 NEW BEST:: SOT 3399506 SOS 2087327 HAS SOPS 2087327 HAS SOUS 1212269 HAS SOUPS 1212269 WITH SCORE 1214356.327
AT ITER 1956 NEW BEST:: SOT 3398483 SOS 2084724 HAS SOPS 2084724 HAS SOUS 1212027 HAS SOUPS 1212027 WITH SCORE 1214111.724
AT ITER 1971 NEW BEST:: SOT 3398340 SOS 2083437 HAS SOPS 2083437 HAS SOUS 1211741 HAS SOUPS 1211741 WITH SCORE 1213824.437
AT ITER 1972 NEW BEST:: SOT 3398286 SOS 2083383 HAS SOPS 2083383 HAS SOUS 1211687 HAS SOUPS 1211687 WITH SCORE 1213770.383
AT ITER 1977 NEW BEST:: SOT 3398285 SOS 2083382 HAS SOPS 2083382 HAS SOUS 1211685 HAS SOUPS 1211685 WITH SCORE 1213768.382
AT ITER 1996 NEW BEST:: SOT 3398285 SOS 2083000 HAS SOPS 2083000 HAS SOUS 1211112 HAS SOUPS 1211112 WITH SCORE 1213195.0
AT ITER 2004 NEW BEST:: SOT 3398083 SOS 2082796 HAS SOPS 2082796 HAS SOUS 1210908 HAS SOUPS 1210908 WITH SCORE 1212990.796
AT ITER 2007 NEW BEST:: SOT 3396943 SOS 2081156 HAS SOPS 2081156 HAS SOUS 1209994 HAS SOUPS 1209994 WITH SCORE 1212075.156
AT ITER 2020 NEW BEST:: SOT 3397306 SOS 2079644 HAS SOPS 2079644 HAS SOUS 1209385 HAS SOUPS 1209385 WITH SCORE 1211464.644
AT ITER 2026 NEW BEST:: SOT 3397306 SOS 2079938 HAS SOPS 2079938 HAS SOUS 1209091 HAS SOUPS 1209091 WITH SCORE 1211170.938
AT ITER 2031 NEW BEST:: SOT 3396735 SOS 2078846 HAS SOPS 2078846 HAS SOUS 1208502 HAS SOUPS 1208502 WITH SCORE 1210580.846
AT ITER 2036 NEW BEST:: SOT 3395676 SOS 2078329 HAS SOPS 2078329 HAS SOUS 1208088 HAS SOUPS 1208088 WITH SCORE 1210166.329
AT ITER 2054 NEW BEST:: SOT 3395868 SOS 2078242 HAS SOPS 2078242 HAS SOUS 1208001 HAS SOUPS 1208001 WITH SCORE 1210079.242
AT ITER 2059 NEW BEST:: SOT 3395606 SOS 2077718 HAS SOPS 2077718 HAS SOUS 1207477 HAS SOUPS 1207477 WITH SCORE 1209554.718
AT ITER 2061 NEW BEST:: SOT 3396356 SOS 2078175 HAS SOPS 2078175 HAS SOUS 1206124 HAS SOUPS 1206124 WITH SCORE 1208202.175
AT ITER 2065 NEW BEST:: SOT 3396328 SOS 2078147 HAS SOPS 2078147 HAS SOUS 1206124 HAS SOUPS 1206124 WITH SCORE 1208202.147
AT ITER 2068 NEW BEST:: SOT 3396583 SOS 2077181 HAS SOPS 2077181 HAS SOUS 1205566 HAS SOUPS 1205566 WITH SCORE 1207643.181
AT ITER 2075 NEW BEST:: SOT 3396583 SOS 2076399 HAS SOPS 2076399 HAS SOUS 1204884 HAS SOUPS 1204884 WITH SCORE 1206960.399
AT ITER 2083 NEW BEST:: SOT 3396530 SOS 2076068 HAS SOPS 2076068 HAS SOUS 1204553 HAS SOUPS 1204553 WITH SCORE 1206629.068
AT ITER 2086 NEW BEST:: SOT 3396517 SOS 2076029 HAS SOPS 2076029 HAS SOUS 1204527 HAS SOUPS 1204527 WITH SCORE 1206603.029
AT ITER 2091 NEW BEST:: SOT 3396417 SOS 2075829 HAS SOPS 2075829 HAS SOUS 1204327 HAS SOUPS 1204327 WITH SCORE 1206402.829
AT ITER 2093 NEW BEST:: SOT 3396414 SOS 2075826 HAS SOPS 2075826 HAS SOUS 1204324 HAS SOUPS 1204324 WITH SCORE 1206399.826
AT ITER 2105 NEW BEST:: SOT 3396172 SOS 2075584 HAS SOPS 2075584 HAS SOUS 1203840 HAS SOUPS 1203840 WITH SCORE 1205915.584
AT ITER 2115 NEW BEST:: SOT 3395697 SOS 2075109 HAS SOPS 2075109 HAS SOUS 1203365 HAS SOUPS 1203365 WITH SCORE 1205440.109
AT ITER 2116 NEW BEST:: SOT 3395307 SOS 2074078 HAS SOPS 2074078 HAS SOUS 1202585 HAS SOUPS 1202585 WITH SCORE 1204659.078
AT ITER 2150 NEW BEST:: SOT 3395205 SOS 2072602 HAS SOPS 2072602 HAS SOUS 1202166 HAS SOUPS 1202166 WITH SCORE 1204238.602
AT ITER 2160 NEW BEST:: SOT 3395163 SOS 2061289 HAS SOPS 2061289 HAS SOUS 1201452 HAS SOUPS 1201452 WITH SCORE 1203513.289
AT ITER 2166 NEW BEST:: SOT 3394857 SOS 2060983 HAS SOPS 2060983 HAS SOUS 1201311 HAS SOUPS 1201311 WITH SCORE 1203371.983
AT ITER 2168 NEW BEST:: SOT 3394534 SOS 2059974 HAS SOPS 2059974 HAS SOUS 1200988 HAS SOUPS 1200988 WITH SCORE 1203047.974
AT ITER 2174 NEW BEST:: SOT 3394319 SOS 2059814 HAS SOPS 2059814 HAS SOUS 1200806 HAS SOUPS 1200806 WITH SCORE 1202865.814
AT ITER 2175 NEW BEST:: SOT 3392840 SOS 2058335 HAS SOPS 2058335 HAS SOUS 1199815 HAS SOUPS 1199815 WITH SCORE 1201873.335
AT ITER 2178 NEW BEST:: SOT 3392838 SOS 2058333 HAS SOPS 2058333 HAS SOUS 1199811 HAS SOUPS 1199811 WITH SCORE 1201869.333
AT ITER 2180 NEW BEST:: SOT 3392524 SOS 2058333 HAS SOPS 2058333 HAS SOUS 1199195 HAS SOUPS 1199195 WITH SCORE 1201253.333
AT ITER 2181 NEW BEST:: SOT 3392524 SOS 2055609 HAS SOPS 2055609 HAS SOUS 1197184 HAS SOUPS 1197184 WITH SCORE 1199239.609
AT ITER 2189 NEW BEST:: SOT 3392524 SOS 2055527 HAS SOPS 2055527 HAS SOUS 1197143 HAS SOUPS 1197143 WITH SCORE 1199198.527
AT ITER 2195 NEW BEST:: SOT 3392515 SOS 2055518 HAS SOPS 2055518 HAS SOUS 1197134 HAS SOUPS 1197134 WITH SCORE 1199189.518
AT ITER 2200 NEW BEST:: SOT 3392217 SOS 2050751 HAS SOPS 2050751 HAS SOUS 1195893 HAS SOUPS 1195893 WITH SCORE 1197943.751
AT ITER 2216 NEW BEST:: SOT 3392012 SOS 2050546 HAS SOPS 2050546 HAS SOUS 1195688 HAS SOUPS 1195688 WITH SCORE 1197738.546
AT ITER 2224 NEW BEST:: SOT 3392069 SOS 2050443 HAS SOPS 2050443 HAS SOUS 1195585 HAS SOUPS 1195585 WITH SCORE 1197635.443
AT ITER 2227 NEW BEST:: SOT 3392062 SOS 2049772 HAS SOPS 2049772 HAS SOUS 1195569 HAS SOUPS 1195569 WITH SCORE 1197618.772
AT ITER 2243 NEW BEST:: SOT 3391491 SOS 2049228 HAS SOPS 2049228 HAS SOUS 1195025 HAS SOUPS 1195025 WITH SCORE 1197074.228
AT ITER 2245 NEW BEST:: SOT 3391533 SOS 2048981 HAS SOPS 2048981 HAS SOUS 1194778 HAS SOUPS 1194778 WITH SCORE 1196826.981
AT ITER 2247 NEW BEST:: SOT 3391507 SOS 2048954 HAS SOPS 2048954 HAS SOUS 1194751 HAS SOUPS 1194751 WITH SCORE 1196799.954
AT ITER 2248 NEW BEST:: SOT 3390099 SOS 2047393 HAS SOPS 2047393 HAS SOUS 1193394 HAS SOUPS 1193394 WITH SCORE 1195441.393
AT ITER 2255 NEW BEST:: SOT 3390099 SOS 2046619 HAS SOPS 2046619 HAS SOUS 1193351 HAS SOUPS 1193351 WITH SCORE 1195397.619
AT ITER 2257 NEW BEST:: SOT 3389785 SOS 2046305 HAS SOPS 2046305 HAS SOUS 1193037 HAS SOUPS 1193037 WITH SCORE 1195083.305
AT ITER 2273 NEW BEST:: SOT 3369882 SOS 2033430 HAS SOPS 2033430 HAS SOUS 1173970 HAS SOUPS 1173970 WITH SCORE 1176003.43
AT ITER 2289 NEW BEST:: SOT 3369878 SOS 2033422 HAS SOPS 2033422 HAS SOUS 1173962 HAS SOUPS 1173962 WITH SCORE 1175995.422
AT ITER 2301 NEW BEST:: SOT 3369824 SOS 2032636 HAS SOPS 2032636 HAS SOUS 1173176 HAS SOUPS 1173176 WITH SCORE 1175208.636
AT ITER 2319 NEW BEST:: SOT 3369976 SOS 2032448 HAS SOPS 2032448 HAS SOUS 1172211 HAS SOUPS 1172211 WITH SCORE 1174243.448
AT ITER 2322 NEW BEST:: SOT 3369390 SOS 2031569 HAS SOPS 2031569 HAS SOUS 1171332 HAS SOUPS 1171332 WITH SCORE 1173363.569
AT ITER 2328 NEW BEST:: SOT 3368902 SOS 2031073 HAS SOPS 2031073 HAS SOUS 1170836 HAS SOUPS 1170836 WITH SCORE 1172867.073
AT ITER 2333 NEW BEST:: SOT 3367478 SOS 2027689 HAS SOPS 2027689 HAS SOUS 1169610 HAS SOUPS 1169610 WITH SCORE 1171637.689
AT ITER 2341 NEW BEST:: SOT 3366713 SOS 2026639 HAS SOPS 2026639 HAS SOUS 1169007 HAS SOUPS 1169007 WITH SCORE 1171033.639
AT ITER 2344 NEW BEST:: SOT 3366713 SOS 2026650 HAS SOPS 2026650 HAS SOUS 1168932 HAS SOUPS 1168932 WITH SCORE 1170958.65
AT ITER 2348 NEW BEST:: SOT 3366518 SOS 2026260 HAS SOPS 2026260 HAS SOUS 1168542 HAS SOUPS 1168542 WITH SCORE 1170568.26
AT ITER 2350 NEW BEST:: SOT 3366066 SOS 2019768 HAS SOPS 2019768 HAS SOUS 1167623 HAS SOUPS 1167623 WITH SCORE 1169642.768
AT ITER 2355 NEW BEST:: SOT 3365454 SOS 2020054 HAS SOPS 2020054 HAS SOUS 1167559 HAS SOUPS 1167559 WITH SCORE 1169579.054
AT ITER 2358 NEW BEST:: SOT 3359022 SOS 2018212 HAS SOPS 2018212 HAS SOUS 1161966 HAS SOUPS 1161966 WITH SCORE 1163984.212
AT ITER 2359 NEW BEST:: SOT 3358962 SOS 2017928 HAS SOPS 2017928 HAS SOUS 1161682 HAS SOUPS 1161682 WITH SCORE 1163699.928
AT ITER 2367 NEW BEST:: SOT 3358959 SOS 2025055 HAS SOPS 2025055 HAS SOUS 1161632 HAS SOUPS 1161632 WITH SCORE 1163657.055
AT ITER 2369 NEW BEST:: SOT 3358955 SOS 2024864 HAS SOPS 2024864 HAS SOUS 1161630 HAS SOUPS 1161630 WITH SCORE 1163654.864
AT ITER 2375 NEW BEST:: SOT 3357831 SOS 2023653 HAS SOPS 2023653 HAS SOUS 1160419 HAS SOUPS 1160419 WITH SCORE 1162442.653
AT ITER 2382 NEW BEST:: SOT 3357744 SOS 2023364 HAS SOPS 2023364 HAS SOUS 1160130 HAS SOUPS 1160130 WITH SCORE 1162153.364
AT ITER 2390 NEW BEST:: SOT 3357406 SOS 2023026 HAS SOPS 2023026 HAS SOUS 1159791 HAS SOUPS 1159791 WITH SCORE 1161814.026
AT ITER 2394 NEW BEST:: SOT 3356965 SOS 2018225 HAS SOPS 2018225 HAS SOUS 1158685 HAS SOUPS 1158685 WITH SCORE 1160703.225
AT ITER 2402 NEW BEST:: SOT 3356847 SOS 2015279 HAS SOPS 2015279 HAS SOUS 1158449 HAS SOUPS 1158449 WITH SCORE 1160464.279
AT ITER 2403 NEW BEST:: SOT 3356769 SOS 2016695 HAS SOPS 2016695 HAS SOUS 1158320 HAS SOUPS 1158320 WITH SCORE 1160336.695
AT ITER 2414 NEW BEST:: SOT 3355693 SOS 2015614 HAS SOPS 2015614 HAS SOUS 1157246 HAS SOUPS 1157246 WITH SCORE 1159261.614
AT ITER 2424 NEW BEST:: SOT 3356014 SOS 2015452 HAS SOPS 2015452 HAS SOUS 1156690 HAS SOUPS 1156690 WITH SCORE 1158705.452
AT ITER 2427 NEW BEST:: SOT 3355137 SOS 2015325 HAS SOPS 2015325 HAS SOUS 1156563 HAS SOUPS 1156563 WITH SCORE 1158578.325
AT ITER 2436 NEW BEST:: SOT 3355690 SOS 2014403 HAS SOPS 2014403 HAS SOUS 1156101 HAS SOUPS 1156101 WITH SCORE 1158115.403
AT ITER 2445 NEW BEST:: SOT 3355686 SOS 2015165 HAS SOPS 2015165 HAS SOUS 1155742 HAS SOUPS 1155742 WITH SCORE 1157757.165
AT ITER 2451 NEW BEST:: SOT 3355693 SOS 2013289 HAS SOPS 2013289 HAS SOUS 1155389 HAS SOUPS 1155389 WITH SCORE 1157402.289
AT ITER 2456 NEW BEST:: SOT 3355512 SOS 2012927 HAS SOPS 2012927 HAS SOUS 1154683 HAS SOUPS 1154683 WITH SCORE 1156695.927
AT ITER 2457 NEW BEST:: SOT 3354565 SOS 2011575 HAS SOPS 2011575 HAS SOUS 1153194 HAS SOUPS 1153194 WITH SCORE 1155205.575
AT ITER 2466 NEW BEST:: SOT 3354178 SOS 2011188 HAS SOPS 2011188 HAS SOUS 1152513 HAS SOUPS 1152513 WITH SCORE 1154524.188
AT ITER 2469 NEW BEST:: SOT 3353955 SOS 2010352 HAS SOPS 2010352 HAS SOUS 1151982 HAS SOUPS 1151982 WITH SCORE 1153992.352
AT ITER 2491 NEW BEST:: SOT 3352969 SOS 2008812 HAS SOPS 2008812 HAS SOUS 1150671 HAS SOUPS 1150671 WITH SCORE 1152679.812
AT ITER 2492 NEW BEST:: SOT 3353104 SOS 2007920 HAS SOPS 2007920 HAS SOUS 1150369 HAS SOUPS 1150369 WITH SCORE 1152376.92
AT ITER 2493 NEW BEST:: SOT 3352421 SOS 2007237 HAS SOPS 2007237 HAS SOUS 1149686 HAS SOUPS 1149686 WITH SCORE 1151693.237
AT ITER 2499 NEW BEST:: SOT 3352244 SOS 2008670 HAS SOPS 2008670 HAS SOUS 1149257 HAS SOUPS 1149257 WITH SCORE 1151265.67
AT ITER 2507 NEW BEST:: SOT 3352244 SOS 2008234 HAS SOPS 2008234 HAS SOUS 1149003 HAS SOUPS 1149003 WITH SCORE 1151011.234
AT ITER 2511 NEW BEST:: SOT 3352078 SOS 2007128 HAS SOPS 2007128 HAS SOUS 1148519 HAS SOUPS 1148519 WITH SCORE 1150526.128
AT ITER 2527 NEW BEST:: SOT 3352078 SOS 2006566 HAS SOPS 2006566 HAS SOUS 1148449 HAS SOUPS 1148449 WITH SCORE 1150455.566
AT ITER 2533 NEW BEST:: SOT 3352464 SOS 2006539 HAS SOPS 2006539 HAS SOUS 1148422 HAS SOUPS 1148422 WITH SCORE 1150428.539
AT ITER 2540 NEW BEST:: SOT 3352110 SOS 2005743 HAS SOPS 2005743 HAS SOUS 1146930 HAS SOUPS 1146930 WITH SCORE 1148935.743
AT ITER 2558 NEW BEST:: SOT 3351500 SOS 2004343 HAS SOPS 2004343 HAS SOUS 1145813 HAS SOUPS 1145813 WITH SCORE 1147817.343
AT ITER 2565 NEW BEST:: SOT 3351362 SOS 2004205 HAS SOPS 2004205 HAS SOUS 1145675 HAS SOUPS 1145675 WITH SCORE 1147679.205
AT ITER 2571 NEW BEST:: SOT 3351362 SOS 2003618 HAS SOPS 2003618 HAS SOUS 1145588 HAS SOUPS 1145588 WITH SCORE 1147591.618
AT ITER 2579 NEW BEST:: SOT 3351362 SOS 2003230 HAS SOPS 2003230 HAS SOUS 1145394 HAS SOUPS 1145394 WITH SCORE 1147397.23
AT ITER 2580 NEW BEST:: SOT 3351554 SOS 2003230 HAS SOPS 2003230 HAS SOUS 1145201 HAS SOUPS 1145201 WITH SCORE 1147204.23
AT ITER 2593 NEW BEST:: SOT 3351478 SOS 2001498 HAS SOPS 2001498 HAS SOUS 1144577 HAS SOUPS 1144577 WITH SCORE 1146578.498
AT ITER 2596 NEW BEST:: SOT 3351044 SOS 2000380 HAS SOPS 2000380 HAS SOUS 1143459 HAS SOUPS 1143459 WITH SCORE 1145459.38
AT ITER 2615 NEW BEST:: SOT 3351001 SOS 1999745 HAS SOPS 1999745 HAS SOUS 1143268 HAS SOUPS 1143268 WITH SCORE 1145267.745
AT ITER 2629 NEW BEST:: SOT 3351001 SOS 1999517 HAS SOPS 1999517 HAS SOUS 1143268 HAS SOUPS 1143268 WITH SCORE 1145267.517
AT ITER 2643 NEW BEST:: SOT 3350999 SOS 1999018 HAS SOPS 1999018 HAS SOUS 1143264 HAS SOUPS 1143264 WITH SCORE 1145263.018
AT ITER 2647 NEW BEST:: SOT 3350999 SOS 1997498 HAS SOPS 1997498 HAS SOUS 1141744 HAS SOUPS 1141744 WITH SCORE 1143741.498
AT ITER 2653 NEW BEST:: SOT 3350999 SOS 1997320 HAS SOPS 1997320 HAS SOUS 1141566 HAS SOUPS 1141566 WITH SCORE 1143563.32
AT ITER 2661 NEW BEST:: SOT 3351000 SOS 1997321 HAS SOPS 1997321 HAS SOUS 1141555 HAS SOUPS 1141555 WITH SCORE 1143552.321
AT ITER 2663 NEW BEST:: SOT 3350812 SOS 1994685 HAS SOPS 1994685 HAS SOUS 1140327 HAS SOUPS 1140327 WITH SCORE 1142321.685
AT ITER 2665 NEW BEST:: SOT 3350812 SOS 1994685 HAS SOPS 1994685 HAS SOUS 1140051 HAS SOUPS 1140051 WITH SCORE 1142045.685
AT ITER 2671 NEW BEST:: SOT 3350037 SOS 1994130 HAS SOPS 1994130 HAS SOUS 1139702 HAS SOUPS 1139702 WITH SCORE 1141696.13
AT ITER 2682 NEW BEST:: SOT 3350037 SOS 1993880 HAS SOPS 1993880 HAS SOUS 1139702 HAS SOUPS 1139702 WITH SCORE 1141695.88
AT ITER 2686 NEW BEST:: SOT 3350037 SOS 1993807 HAS SOPS 1993807 HAS SOUS 1139629 HAS SOUPS 1139629 WITH SCORE 1141622.807
AT ITER 2688 NEW BEST:: SOT 3350037 SOS 1993666 HAS SOPS 1993666 HAS SOUS 1139600 HAS SOUPS 1139600 WITH SCORE 1141593.666
AT ITER 2691 NEW BEST:: SOT 3350097 SOS 1993357 HAS SOPS 1993357 HAS SOUS 1139291 HAS SOUPS 1139291 WITH SCORE 1141284.357
AT ITER 2695 NEW BEST:: SOT 3349761 SOS 1991625 HAS SOPS 1991625 HAS SOUS 1138256 HAS SOUPS 1138256 WITH SCORE 1140247.625
AT ITER 2698 NEW BEST:: SOT 3348932 SOS 1990304 HAS SOPS 1990304 HAS SOUS 1136935 HAS SOUPS 1136935 WITH SCORE 1138925.304
AT ITER 2705 NEW BEST:: SOT 3348840 SOS 1989868 HAS SOPS 1989868 HAS SOUS 1136499 HAS SOUPS 1136499 WITH SCORE 1138488.868
AT ITER 2706 NEW BEST:: SOT 3348563 SOS 1989553 HAS SOPS 1989553 HAS SOUS 1136240 HAS SOUPS 1136240 WITH SCORE 1138229.553
AT ITER 2707 NEW BEST:: SOT 3348486 SOS 1989399 HAS SOPS 1989399 HAS SOUS 1136086 HAS SOUPS 1136086 WITH SCORE 1138075.399
AT ITER 2718 NEW BEST:: SOT 3347330 SOS 1988243 HAS SOPS 1988243 HAS SOUS 1134930 HAS SOUPS 1134930 WITH SCORE 1136918.243
AT ITER 2727 NEW BEST:: SOT 3346927 SOS 1985928 HAS SOPS 1985928 HAS SOUS 1134821 HAS SOUPS 1134821 WITH SCORE 1136806.928
AT ITER 2729 NEW BEST:: SOT 3345894 SOS 1979658 HAS SOPS 1979658 HAS SOUS 1132919 HAS SOUPS 1132919 WITH SCORE 1134898.658
AT ITER 2739 NEW BEST:: SOT 3345850 SOS 1979614 HAS SOPS 1979614 HAS SOUS 1132875 HAS SOUPS 1132875 WITH SCORE 1134854.614
AT ITER 2742 NEW BEST:: SOT 3344189 SOS 1977397 HAS SOPS 1977397 HAS SOUS 1130904 HAS SOUPS 1130904 WITH SCORE 1132881.397
AT ITER 2759 NEW BEST:: SOT 3344379 SOS 1977234 HAS SOPS 1977234 HAS SOUS 1130741 HAS SOUPS 1130741 WITH SCORE 1132718.234
AT ITER 2761 NEW BEST:: SOT 3343818 SOS 1976673 HAS SOPS 1976673 HAS SOUS 1130180 HAS SOUPS 1130180 WITH SCORE 1132156.673
AT ITER 2770 NEW BEST:: SOT 3342901 SOS 1975756 HAS SOPS 1975756 HAS SOUS 1129259 HAS SOUPS 1129259 WITH SCORE 1131234.756
AT ITER 2796 NEW BEST:: SOT 3342062 SOS 1974804 HAS SOPS 1974804 HAS SOUS 1128307 HAS SOUPS 1128307 WITH SCORE 1130281.804
AT ITER 2800 NEW BEST:: SOT 3341992 SOS 1974594 HAS SOPS 1974594 HAS SOUS 1128167 HAS SOUPS 1128167 WITH SCORE 1130141.594
AT ITER 2807 NEW BEST:: SOT 3342583 SOS 1974406 HAS SOPS 1974406 HAS SOUS 1128114 HAS SOUPS 1128114 WITH SCORE 1130088.406
AT ITER 2811 NEW BEST:: SOT 3342583 SOS 1974340 HAS SOPS 1974340 HAS SOUS 1128048 HAS SOUPS 1128048 WITH SCORE 1130022.34
AT ITER 2813 NEW BEST:: SOT 3342582 SOS 1970559 HAS SOPS 1970559 HAS SOUS 1128046 HAS SOUPS 1128046 WITH SCORE 1130016.559
AT ITER 2828 NEW BEST:: SOT 3342222 SOS 1970199 HAS SOPS 1970199 HAS SOUS 1127685 HAS SOUPS 1127685 WITH SCORE 1129655.199
AT ITER 2835 NEW BEST:: SOT 3341887 SOS 1969864 HAS SOPS 1969864 HAS SOUS 1127329 HAS SOUPS 1127329 WITH SCORE 1129298.864
AT ITER 2843 NEW BEST:: SOT 3341516 SOS 1969500 HAS SOPS 1969500 HAS SOUS 1126968 HAS SOUPS 1126968 WITH SCORE 1128937.5
AT ITER 2855 NEW BEST:: SOT 3341244 SOS 1965987 HAS SOPS 1965987 HAS SOUS 1125268 HAS SOUPS 1125268 WITH SCORE 1127233.987
AT ITER 2864 NEW BEST:: SOT 3340767 SOS 1965510 HAS SOPS 1965510 HAS SOUS 1124791 HAS SOUPS 1124791 WITH SCORE 1126756.51
AT ITER 2869 NEW BEST:: SOT 3338733 SOS 1958450 HAS SOPS 1958450 HAS SOUS 1121244 HAS SOUPS 1121244 WITH SCORE 1123202.45
AT ITER 2874 NEW BEST:: SOT 3338929 SOS 1957481 HAS SOPS 1957481 HAS SOUS 1120275 HAS SOUPS 1120275 WITH SCORE 1122232.481
AT ITER 2884 NEW BEST:: SOT 3338929 SOS 1957410 HAS SOPS 1957410 HAS SOUS 1120187 HAS SOUPS 1120187 WITH SCORE 1122144.41
AT ITER 2898 NEW BEST:: SOT 3338258 SOS 1956068 HAS SOPS 1956068 HAS SOUS 1118845 HAS SOUPS 1118845 WITH SCORE 1120801.068
AT ITER 2899 NEW BEST:: SOT 3338258 SOS 1956161 HAS SOPS 1956161 HAS SOUS 1118752 HAS SOUPS 1118752 WITH SCORE 1120708.161
AT ITER 2902 NEW BEST:: SOT 3338416 SOS 1956319 HAS SOPS 1956319 HAS SOUS 1118415 HAS SOUPS 1118415 WITH SCORE 1120371.319
AT ITER 2903 NEW BEST:: SOT 3338021 SOS 1955973 HAS SOPS 1955973 HAS SOUS 1118069 HAS SOUPS 1118069 WITH SCORE 1120024.973
AT ITER 2907 NEW BEST:: SOT 3333307 SOS 1951259 HAS SOPS 1951259 HAS SOUS 1113355 HAS SOUPS 1113355 WITH SCORE 1115306.259
AT ITER 2909 NEW BEST:: SOT 3333307 SOS 1950289 HAS SOPS 1950289 HAS SOUS 1112624 HAS SOUPS 1112624 WITH SCORE 1114574.289
AT ITER 2914 NEW BEST:: SOT 3332966 SOS 1950397 HAS SOPS 1950397 HAS SOUS 1112182 HAS SOUPS 1112182 WITH SCORE 1114132.397
AT ITER 2925 NEW BEST:: SOT 3331922 SOS 1949352 HAS SOPS 1949352 HAS SOUS 1111544 HAS SOUPS 1111544 WITH SCORE 1113493.352
AT ITER 2942 NEW BEST:: SOT 3331922 SOS 1947813 HAS SOPS 1947813 HAS SOUS 1111373 HAS SOUPS 1111373 WITH SCORE 1113320.813
AT ITER 2952 NEW BEST:: SOT 3331408 SOS 1947231 HAS SOPS 1947231 HAS SOUS 1110237 HAS SOUPS 1110237 WITH SCORE 1112184.231
AT ITER 2958 NEW BEST:: SOT 3330794 SOS 1946617 HAS SOPS 1946617 HAS SOUS 1107827 HAS SOUPS 1107827 WITH SCORE 1109773.617
AT ITER 2959 NEW BEST:: SOT 3331275 SOS 1945741 HAS SOPS 1945741 HAS SOUS 1107186 HAS SOUPS 1107186 WITH SCORE 1109131.741
AT ITER 2960 NEW BEST:: SOT 3331298 SOS 1944685 HAS SOPS 1944685 HAS SOUS 1106130 HAS SOUPS 1106130 WITH SCORE 1108074.685
AT ITER 2965 NEW BEST:: SOT 3331073 SOS 1944460 HAS SOPS 1944460 HAS SOUS 1105779 HAS SOUPS 1105779 WITH SCORE 1107723.46
AT ITER 2969 NEW BEST:: SOT 3331123 SOS 1944133 HAS SOPS 1944133 HAS SOUS 1105269 HAS SOUPS 1105269 WITH SCORE 1107213.133
AT ITER 2972 NEW BEST:: SOT 3331123 SOS 1943297 HAS SOPS 1943297 HAS SOUS 1105260 HAS SOUPS 1105260 WITH SCORE 1107203.297
AT ITER 2976 NEW BEST:: SOT 3331123 SOS 1943012 HAS SOPS 1943012 HAS SOUS 1105260 HAS SOUPS 1105260 WITH SCORE 1107203.012
AT ITER 2990 NEW BEST:: SOT 3331097 SOS 1942797 HAS SOPS 1942797 HAS SOUS 1105045 HAS SOUPS 1105045 WITH SCORE 1106987.797
AT ITER 2996 NEW BEST:: SOT 3331096 SOS 1942322 HAS SOPS 1942322 HAS SOUS 1105043 HAS SOUPS 1105043 WITH SCORE 1106985.322
AT ITER 3022 NEW BEST:: SOT 3331065 SOS 1941172 HAS SOPS 1941172 HAS SOUS 1103893 HAS SOUPS 1103893 WITH SCORE 1105834.172
AT ITER 3025 NEW BEST:: SOT 3330913 SOS 1941047 HAS SOPS 1941047 HAS SOUS 1103768 HAS SOUPS 1103768 WITH SCORE 1105709.047
AT ITER 3028 NEW BEST:: SOT 3330772 SOS 1940558 HAS SOPS 1940558 HAS SOUS 1103278 HAS SOUPS 1103278 WITH SCORE 1105218.558
AT ITER 3035 NEW BEST:: SOT 3330033 SOS 1938234 HAS SOPS 1938234 HAS SOUS 1100954 HAS SOUPS 1100954 WITH SCORE 1102892.234
AT ITER 3046 NEW BEST:: SOT 3329909 SOS 1938107 HAS SOPS 1938107 HAS SOUS 1100888 HAS SOUPS 1100888 WITH SCORE 1102826.107
AT ITER 3051 NEW BEST:: SOT 3329752 SOS 1937641 HAS SOPS 1937641 HAS SOUS 1100422 HAS SOUPS 1100422 WITH SCORE 1102359.641
AT ITER 3068 NEW BEST:: SOT 3329249 SOS 1937305 HAS SOPS 1937305 HAS SOUS 1100272 HAS SOUPS 1100272 WITH SCORE 1102209.305
AT ITER 3070 NEW BEST:: SOT 3329353 SOS 1936962 HAS SOPS 1936962 HAS SOUS 1100262 HAS SOUPS 1100262 WITH SCORE 1102198.962
AT ITER 3077 NEW BEST:: SOT 3329307 SOS 1936916 HAS SOPS 1936916 HAS SOUS 1100212 HAS SOUPS 1100212 WITH SCORE 1102148.916
AT ITER 3081 NEW BEST:: SOT 3329216 SOS 1936643 HAS SOPS 1936643 HAS SOUS 1100018 HAS SOUPS 1100018 WITH SCORE 1101954.643
AT ITER 3082 NEW BEST:: SOT 3329223 SOS 1936650 HAS SOPS 1936650 HAS SOUS 1100016 HAS SOUPS 1100016 WITH SCORE 1101952.65
AT ITER 3084 NEW BEST:: SOT 3329209 SOS 1936636 HAS SOPS 1936636 HAS SOUS 1100002 HAS SOUPS 1100002 WITH SCORE 1101938.636
AT ITER 3095 NEW BEST:: SOT 3328851 SOS 1936256 HAS SOPS 1936256 HAS SOUS 1099578 HAS SOUPS 1099578 WITH SCORE 1101514.256
AT ITER 3098 NEW BEST:: SOT 3328558 SOS 1935800 HAS SOPS 1935800 HAS SOUS 1099144 HAS SOUPS 1099144 WITH SCORE 1101079.8
AT ITER 3103 NEW BEST:: SOT 3328373 SOS 1935102 HAS SOPS 1935102 HAS SOUS 1098528 HAS SOUPS 1098528 WITH SCORE 1100463.102
AT ITER 3104 NEW BEST:: SOT 3328373 SOS 1935174 HAS SOPS 1935174 HAS SOUS 1098296 HAS SOUPS 1098296 WITH SCORE 1100231.174
AT ITER 3116 NEW BEST:: SOT 3328373 SOS 1934748 HAS SOPS 1934748 HAS SOUS 1097298 HAS SOUPS 1097298 WITH SCORE 1099232.748
AT ITER 3119 NEW BEST:: SOT 3328330 SOS 1934662 HAS SOPS 1934662 HAS SOUS 1097253 HAS SOUPS 1097253 WITH SCORE 1099187.662
AT ITER 3124 NEW BEST:: SOT 3328263 SOS 1934595 HAS SOPS 1934595 HAS SOUS 1097186 HAS SOUPS 1097186 WITH SCORE 1099120.595
AT ITER 3129 NEW BEST:: SOT 3328254 SOS 1934586 HAS SOPS 1934586 HAS SOUS 1097168 HAS SOUPS 1097168 WITH SCORE 1099102.586
AT ITER 3139 NEW BEST:: SOT 3328254 SOS 1934218 HAS SOPS 1934218 HAS SOUS 1096616 HAS SOUPS 1096616 WITH SCORE 1098550.218
AT ITER 3143 NEW BEST:: SOT 3327110 SOS 1933212 HAS SOPS 1933212 HAS SOUS 1095610 HAS SOUPS 1095610 WITH SCORE 1097543.212
AT ITER 3146 NEW BEST:: SOT 3326867 SOS 1932621 HAS SOPS 1932621 HAS SOUS 1094699 HAS SOUPS 1094699 WITH SCORE 1096631.621
AT ITER 3151 NEW BEST:: SOT 3326867 SOS 1932621 HAS SOPS 1932621 HAS SOUS 1094568 HAS SOUPS 1094568 WITH SCORE 1096500.621
AT ITER 3157 NEW BEST:: SOT 3302640 SOS 1909439 HAS SOPS 1909439 HAS SOUS 1070862 HAS SOUPS 1070862 WITH SCORE 1072771.439
AT ITER 3177 NEW BEST:: SOT 3302305 SOS 1906712 HAS SOPS 1906712 HAS SOUS 1070493 HAS SOUPS 1070493 WITH SCORE 1072399.712
AT ITER 3186 NEW BEST:: SOT 3302288 SOS 1906695 HAS SOPS 1906695 HAS SOUS 1070476 HAS SOUPS 1070476 WITH SCORE 1072382.695
AT ITER 3197 NEW BEST:: SOT 3300037 SOS 1903826 HAS SOPS 1903826 HAS SOUS 1067065 HAS SOUPS 1067065 WITH SCORE 1068968.826
AT ITER 3198 NEW BEST:: SOT 3300036 SOS 1902888 HAS SOPS 1902888 HAS SOUS 1067063 HAS SOUPS 1067063 WITH SCORE 1068965.888
AT ITER 3200 NEW BEST:: SOT 3300028 SOS 1902880 HAS SOPS 1902880 HAS SOUS 1067047 HAS SOUPS 1067047 WITH SCORE 1068949.88
AT ITER 3201 NEW BEST:: SOT 3299313 SOS 1900203 HAS SOPS 1900203 HAS SOUS 1064617 HAS SOUPS 1064617 WITH SCORE 1066517.203
AT ITER 3219 NEW BEST:: SOT 3298032 SOS 1898691 HAS SOPS 1898691 HAS SOUS 1063105 HAS SOUPS 1063105 WITH SCORE 1065003.691
AT ITER 3223 NEW BEST:: SOT 3297841 SOS 1898310 HAS SOPS 1898310 HAS SOUS 1062724 HAS SOUPS 1062724 WITH SCORE 1064622.31
AT ITER 3233 NEW BEST:: SOT 3297667 SOS 1898144 HAS SOPS 1898144 HAS SOUS 1062525 HAS SOUPS 1062525 WITH SCORE 1064423.144
AT ITER 3235 NEW BEST:: SOT 3296986 SOS 1897477 HAS SOPS 1897477 HAS SOUS 1062166 HAS SOUPS 1062166 WITH SCORE 1064063.477
AT ITER 3252 NEW BEST:: SOT 3295251 SOS 1895742 HAS SOPS 1895742 HAS SOUS 1060431 HAS SOUPS 1060431 WITH SCORE 1062326.742
AT ITER 3253 NEW BEST:: SOT 3295158 SOS 1895303 HAS SOPS 1895303 HAS SOUS 1059992 HAS SOUPS 1059992 WITH SCORE 1061887.303
AT ITER 3255 NEW BEST:: SOT 3294707 SOS 1894852 HAS SOPS 1894852 HAS SOUS 1059282 HAS SOUPS 1059282 WITH SCORE 1061176.852
AT ITER 3257 NEW BEST:: SOT 3294380 SOS 1894525 HAS SOPS 1894525 HAS SOUS 1058954 HAS SOUPS 1058954 WITH SCORE 1060848.525
AT ITER 3264 NEW BEST:: SOT 3294380 SOS 1894412 HAS SOPS 1894412 HAS SOUS 1058841 HAS SOUPS 1058841 WITH SCORE 1060735.412
AT ITER 3265 NEW BEST:: SOT 3294492 SOS 1894543 HAS SOPS 1894543 HAS SOUS 1058793 HAS SOUPS 1058793 WITH SCORE 1060687.543
AT ITER 3268 NEW BEST:: SOT 3294489 SOS 1894540 HAS SOPS 1894540 HAS SOUS 1058791 HAS SOUPS 1058791 WITH SCORE 1060685.54
AT ITER 3269 NEW BEST:: SOT 3294299 SOS 1894350 HAS SOPS 1894350 HAS SOUS 1058601 HAS SOUPS 1058601 WITH SCORE 1060495.35
AT ITER 3287 NEW BEST:: SOT 3292826 SOS 1892837 HAS SOPS 1892837 HAS SOUS 1057391 HAS SOUPS 1057391 WITH SCORE 1059283.837
AT ITER 3302 NEW BEST:: SOT 3289973 SOS 1890362 HAS SOPS 1890362 HAS SOUS 1054160 HAS SOUPS 1054160 WITH SCORE 1056050.362
AT ITER 3303 NEW BEST:: SOT 3289311 SOS 1889700 HAS SOPS 1889700 HAS SOUS 1053885 HAS SOUPS 1053885 WITH SCORE 1055774.7
AT ITER 3312 NEW BEST:: SOT 3289221 SOS 1888685 HAS SOPS 1888685 HAS SOUS 1053705 HAS SOUPS 1053705 WITH SCORE 1055593.685
AT ITER 3330 NEW BEST:: SOT 3288963 SOS 1888287 HAS SOPS 1888287 HAS SOUS 1053307 HAS SOUPS 1053307 WITH SCORE 1055195.287
AT ITER 3336 NEW BEST:: SOT 3288757 SOS 1887411 HAS SOPS 1887411 HAS SOUS 1052649 HAS SOUPS 1052649 WITH SCORE 1054536.411
AT ITER 3354 NEW BEST:: SOT 3287877 SOS 1886531 HAS SOPS 1886531 HAS SOUS 1051769 HAS SOUPS 1051769 WITH SCORE 1053655.531
AT ITER 3356 NEW BEST:: SOT 3287877 SOS 1885523 HAS SOPS 1885523 HAS SOUS 1051264 HAS SOUPS 1051264 WITH SCORE 1053149.523
AT ITER 3373 NEW BEST:: SOT 3287693 SOS 1885339 HAS SOPS 1885339 HAS SOUS 1051080 HAS SOUPS 1051080 WITH SCORE 1052965.339
AT ITER 3379 NEW BEST:: SOT 3287692 SOS 1884318 HAS SOPS 1884318 HAS SOUS 1051078 HAS SOUPS 1051078 WITH SCORE 1052962.318
AT ITER 3381 NEW BEST:: SOT 3287524 SOS 1883982 HAS SOPS 1883982 HAS SOUS 1050978 HAS SOUPS 1050978 WITH SCORE 1052861.982
AT ITER 3383 NEW BEST:: SOT 3287513 SOS 1883911 HAS SOPS 1883911 HAS SOUS 1050907 HAS SOUPS 1050907 WITH SCORE 1052790.911
AT ITER 3385 NEW BEST:: SOT 3286850 SOS 1880644 HAS SOPS 1880644 HAS SOUS 1049170 HAS SOUPS 1049170 WITH SCORE 1051050.644
AT ITER 3388 NEW BEST:: SOT 3286850 SOS 1880644 HAS SOPS 1880644 HAS SOUS 1049129 HAS SOUPS 1049129 WITH SCORE 1051009.644
AT ITER 3392 NEW BEST:: SOT 3286491 SOS 1876981 HAS SOPS 1876981 HAS SOUS 1048357 HAS SOUPS 1048357 WITH SCORE 1050233.981
AT ITER 3393 NEW BEST:: SOT 3285623 SOS 1876113 HAS SOPS 1876113 HAS SOUS 1048257 HAS SOUPS 1048257 WITH SCORE 1050133.113
AT ITER 3405 NEW BEST:: SOT 3285606 SOS 1876086 HAS SOPS 1876086 HAS SOUS 1048232 HAS SOUPS 1048232 WITH SCORE 1050108.086
AT ITER 3410 NEW BEST:: SOT 3284923 SOS 1876085 HAS SOPS 1876085 HAS SOUS 1047554 HAS SOUPS 1047554 WITH SCORE 1049430.085
AT ITER 3413 NEW BEST:: SOT 3284887 SOS 1876049 HAS SOPS 1876049 HAS SOUS 1047552 HAS SOUPS 1047552 WITH SCORE 1049428.049
AT ITER 3422 NEW BEST:: SOT 3284887 SOS 1875969 HAS SOPS 1875969 HAS SOUS 1047552 HAS SOUPS 1047552 WITH SCORE 1049427.969
AT ITER 3428 NEW BEST:: SOT 3284679 SOS 1875833 HAS SOPS 1875833 HAS SOUS 1047548 HAS SOUPS 1047548 WITH SCORE 1049423.833
AT ITER 3439 NEW BEST:: SOT 3284481 SOS 1875635 HAS SOPS 1875635 HAS SOUS 1047350 HAS SOUPS 1047350 WITH SCORE 1049225.635
AT ITER 3446 NEW BEST:: SOT 3284481 SOS 1875552 HAS SOPS 1875552 HAS SOUS 1047267 HAS SOUPS 1047267 WITH SCORE 1049142.552
AT ITER 3447 NEW BEST:: SOT 3284257 SOS 1875183 HAS SOPS 1875183 HAS SOUS 1046595 HAS SOUPS 1046595 WITH SCORE 1048470.183
AT ITER 3453 NEW BEST:: SOT 3283561 SOS 1874487 HAS SOPS 1874487 HAS SOUS 1045899 HAS SOUPS 1045899 WITH SCORE 1047773.487
AT ITER 3471 NEW BEST:: SOT 3282806 SOS 1873732 HAS SOPS 1873732 HAS SOUS 1045109 HAS SOUPS 1045109 WITH SCORE 1046982.732
AT ITER 3488 NEW BEST:: SOT 3282566 SOS 1873492 HAS SOPS 1873492 HAS SOUS 1044856 HAS SOUPS 1044856 WITH SCORE 1046729.492
AT ITER 3501 NEW BEST:: SOT 3281444 SOS 1872370 HAS SOPS 1872370 HAS SOUS 1043734 HAS SOUPS 1043734 WITH SCORE 1045606.37
AT ITER 3502 NEW BEST:: SOT 3281232 SOS 1871956 HAS SOPS 1871956 HAS SOUS 1043332 HAS SOUPS 1043332 WITH SCORE 1045203.956
AT ITER 3513 NEW BEST:: SOT 3281821 SOS 1872228 HAS SOPS 1872228 HAS SOUS 1043151 HAS SOUPS 1043151 WITH SCORE 1045023.228
AT ITER 3515 NEW BEST:: SOT 3281296 SOS 1872415 HAS SOPS 1872415 HAS SOUS 1042654 HAS SOUPS 1042654 WITH SCORE 1044526.415
AT ITER 3521 NEW BEST:: SOT 3281296 SOS 1872157 HAS SOPS 1872157 HAS SOUS 1042558 HAS SOUPS 1042558 WITH SCORE 1044430.157
AT ITER 3524 NEW BEST:: SOT 3265213 SOS 1855964 HAS SOPS 1855964 HAS SOUS 1026147 HAS SOUPS 1026147 WITH SCORE 1028002.964
AT ITER 3525 NEW BEST:: SOT 3265213 SOS 1855406 HAS SOPS 1855406 HAS SOUS 1026147 HAS SOUPS 1026147 WITH SCORE 1028002.406
AT ITER 3527 NEW BEST:: SOT 3265213 SOS 1855218 HAS SOPS 1855218 HAS SOUS 1026147 HAS SOUPS 1026147 WITH SCORE 1028002.218
AT ITER 3532 NEW BEST:: SOT 3263891 SOS 1853896 HAS SOPS 1853896 HAS SOUS 1024825 HAS SOUPS 1024825 WITH SCORE 1026678.896
AT ITER 3544 NEW BEST:: SOT 3263707 SOS 1853896 HAS SOPS 1853896 HAS SOUS 1024566 HAS SOUPS 1024566 WITH SCORE 1026419.896
AT ITER 3561 NEW BEST:: SOT 3263076 SOS 1852650 HAS SOPS 1852650 HAS SOUS 1023221 HAS SOUPS 1023221 WITH SCORE 1025073.65
AT ITER 3570 NEW BEST:: SOT 3262810 SOS 1852384 HAS SOPS 1852384 HAS SOUS 1022955 HAS SOUPS 1022955 WITH SCORE 1024807.384
AT ITER 3573 NEW BEST:: SOT 3262072 SOS 1851646 HAS SOPS 1851646 HAS SOUS 1022217 HAS SOUPS 1022217 WITH SCORE 1024068.646
AT ITER 3584 NEW BEST:: SOT 3262072 SOS 1851580 HAS SOPS 1851580 HAS SOUS 1022216 HAS SOUPS 1022216 WITH SCORE 1024067.58
AT ITER 3617 NEW BEST:: SOT 3260583 SOS 1847280 HAS SOPS 1847280 HAS SOUS 1020378 HAS SOUPS 1020378 WITH SCORE 1022225.28
AT ITER 3619 NEW BEST:: SOT 3260582 SOS 1847127 HAS SOPS 1847127 HAS SOUS 1020376 HAS SOUPS 1020376 WITH SCORE 1022223.127
AT ITER 3628 NEW BEST:: SOT 3260432 SOS 1846913 HAS SOPS 1846913 HAS SOUS 1020076 HAS SOUPS 1020076 WITH SCORE 1021922.913
AT ITER 3634 NEW BEST:: SOT 3260415 SOS 1846488 HAS SOPS 1846488 HAS SOUS 1019651 HAS SOUPS 1019651 WITH SCORE 1021497.488
AT ITER 3642 NEW BEST:: SOT 3260454 SOS 1846527 HAS SOPS 1846527 HAS SOUS 1019631 HAS SOUPS 1019631 WITH SCORE 1021477.527
AT ITER 3643 NEW BEST:: SOT 3259789 SOS 1845863 HAS SOPS 1845863 HAS SOUS 1018967 HAS SOUPS 1018967 WITH SCORE 1020812.863
AT ITER 3660 NEW BEST:: SOT 3259305 SOS 1845379 HAS SOPS 1845379 HAS SOUS 1018483 HAS SOUPS 1018483 WITH SCORE 1020328.379
AT ITER 3667 NEW BEST:: SOT 3258697 SOS 1844771 HAS SOPS 1844771 HAS SOUS 1017875 HAS SOUPS 1017875 WITH SCORE 1019719.771
AT ITER 3693 NEW BEST:: SOT 3258617 SOS 1844691 HAS SOPS 1844691 HAS SOUS 1017795 HAS SOUPS 1017795 WITH SCORE 1019639.691
AT ITER 3695 NEW BEST:: SOT 3258559 SOS 1844416 HAS SOPS 1844416 HAS SOUS 1017245 HAS SOUPS 1017245 WITH SCORE 1019089.416
AT ITER 3703 NEW BEST:: SOT 3258145 SOS 1844300 HAS SOPS 1844300 HAS SOUS 1017202 HAS SOUPS 1017202 WITH SCORE 1019046.3
AT ITER 3705 NEW BEST:: SOT 3257901 SOS 1843568 HAS SOPS 1843568 HAS SOUS 1016470 HAS SOUPS 1016470 WITH SCORE 1018313.568
AT ITER 3706 NEW BEST:: SOT 3257365 SOS 1842406 HAS SOPS 1842406 HAS SOUS 1015396 HAS SOUPS 1015396 WITH SCORE 1017238.406
AT ITER 3708 NEW BEST:: SOT 3257365 SOS 1841699 HAS SOPS 1841699 HAS SOUS 1014333 HAS SOUPS 1014333 WITH SCORE 1016174.699
AT ITER 3712 NEW BEST:: SOT 3257409 SOS 1841172 HAS SOPS 1841172 HAS SOUS 1014248 HAS SOUPS 1014248 WITH SCORE 1016089.172
AT ITER 3715 NEW BEST:: SOT 3256440 SOS 1841535 HAS SOPS 1841535 HAS SOUS 1012946 HAS SOUPS 1012946 WITH SCORE 1014787.535
AT ITER 3723 NEW BEST:: SOT 3255807 SOS 1840902 HAS SOPS 1840902 HAS SOUS 1011926 HAS SOUPS 1011926 WITH SCORE 1013766.902
AT ITER 3727 NEW BEST:: SOT 3255807 SOS 1840841 HAS SOPS 1840841 HAS SOUS 1011919 HAS SOUPS 1011919 WITH SCORE 1013759.841
AT ITER 3736 NEW BEST:: SOT 3255807 SOS 1840769 HAS SOPS 1840769 HAS SOUS 1011847 HAS SOUPS 1011847 WITH SCORE 1013687.769
AT ITER 3749 NEW BEST:: SOT 3254923 SOS 1836890 HAS SOPS 1836890 HAS SOUS 1010720 HAS SOUPS 1010720 WITH SCORE 1012556.89
AT ITER 3755 NEW BEST:: SOT 3254807 SOS 1836658 HAS SOPS 1836658 HAS SOUS 1010488 HAS SOUPS 1010488 WITH SCORE 1012324.658
AT ITER 3761 NEW BEST:: SOT 3254807 SOS 1836605 HAS SOPS 1836605 HAS SOUS 1010488 HAS SOUPS 1010488 WITH SCORE 1012324.605
AT ITER 3763 NEW BEST:: SOT 3254648 SOS 1836467 HAS SOPS 1836467 HAS SOUS 1010428 HAS SOUPS 1010428 WITH SCORE 1012264.467
AT ITER 3766 NEW BEST:: SOT 3254648 SOS 1836280 HAS SOPS 1836280 HAS SOUS 1010241 HAS SOUPS 1010241 WITH SCORE 1012077.28
AT ITER 3769 NEW BEST:: SOT 3243800 SOS 1825516 HAS SOPS 1825516 HAS SOUS 999474 HAS SOUPS 999474 WITH SCORE 1001299.516
AT ITER 3772 NEW BEST:: SOT 3243014 SOS 1824573 HAS SOPS 1824573 HAS SOUS 998531 HAS SOUPS 998531 WITH SCORE 1000355.573
AT ITER 3773 NEW BEST:: SOT 3242493 SOS 1821687 HAS SOPS 1821687 HAS SOUS 997651 HAS SOUPS 997651 WITH SCORE 999472.687
AT ITER 3791 NEW BEST:: SOT 3242492 SOS 1821432 HAS SOPS 1821432 HAS SOUS 997649 HAS SOUPS 997649 WITH SCORE 999470.432
AT ITER 3796 NEW BEST:: SOT 3242343 SOS 1821134 HAS SOPS 1821134 HAS SOUS 997351 HAS SOUPS 997351 WITH SCORE 999172.134
AT ITER 3804 NEW BEST:: SOT 3242339 SOS 1821122 HAS SOPS 1821122 HAS SOUS 997339 HAS SOUPS 997339 WITH SCORE 999160.122
AT ITER 3808 NEW BEST:: SOT 3242339 SOS 1821298 HAS SOPS 1821298 HAS SOUS 997316 HAS SOUPS 997316 WITH SCORE 999137.298
AT ITER 3810 NEW BEST:: SOT 3236638 SOS 1815538 HAS SOPS 1815538 HAS SOUS 991556 HAS SOUPS 991556 WITH SCORE 993371.538
AT ITER 3822 NEW BEST:: SOT 3236571 SOS 1815471 HAS SOPS 1815471 HAS SOUS 991489 HAS SOUPS 991489 WITH SCORE 993304.471
AT ITER 3841 NEW BEST:: SOT 3236306 SOS 1815247 HAS SOPS 1815247 HAS SOUS 991305 HAS SOUPS 991305 WITH SCORE 993120.247
AT ITER 3850 NEW BEST:: SOT 3236157 SOS 1807979 HAS SOPS 1807979 HAS SOUS 991010 HAS SOUPS 991010 WITH SCORE 992817.979
AT ITER 3853 NEW BEST:: SOT 3235305 SOS 1808186 HAS SOPS 1808186 HAS SOUS 990088 HAS SOUPS 990088 WITH SCORE 991896.186
AT ITER 3855 NEW BEST:: SOT 3234858 SOS 1807126 HAS SOPS 1807126 HAS SOUS 989858 HAS SOUPS 989858 WITH SCORE 991665.126
AT ITER 3857 NEW BEST:: SOT 3235120 SOS 1806809 HAS SOPS 1806809 HAS SOUS 989797 HAS SOUPS 989797 WITH SCORE 991603.809
AT ITER 3859 NEW BEST:: SOT 3235120 SOS 1806367 HAS SOPS 1806367 HAS SOUS 989471 HAS SOUPS 989471 WITH SCORE 991277.367
AT ITER 3861 NEW BEST:: SOT 3235119 SOS 1806366 HAS SOPS 1806366 HAS SOUS 989470 HAS SOUPS 989470 WITH SCORE 991276.366
AT ITER 3879 NEW BEST:: SOT 3235119 SOS 1806244 HAS SOPS 1806244 HAS SOUS 989462 HAS SOUPS 989462 WITH SCORE 991268.244
AT ITER 3882 NEW BEST:: SOT 3234509 SOS 1805295 HAS SOPS 1805295 HAS SOUS 989039 HAS SOUPS 989039 WITH SCORE 990844.295
AT ITER 3885 NEW BEST:: SOT 3234506 SOS 1805289 HAS SOPS 1805289 HAS SOUS 989033 HAS SOUPS 989033 WITH SCORE 990838.289
AT ITER 3895 NEW BEST:: SOT 3232109 SOS 1808613 HAS SOPS 1808613 HAS SOUS 986864 HAS SOUPS 986864 WITH SCORE 988672.613
AT ITER 3898 NEW BEST:: SOT 3232109 SOS 1806849 HAS SOPS 1806849 HAS SOUS 986197 HAS SOUPS 986197 WITH SCORE 988003.849
AT ITER 3905 NEW BEST:: SOT 3231920 SOS 1806576 HAS SOPS 1806576 HAS SOUS 986071 HAS SOUPS 986071 WITH SCORE 987877.576
AT ITER 3946 NEW BEST:: SOT 3231916 SOS 1806778 HAS SOPS 1806778 HAS SOUS 986069 HAS SOUPS 986069 WITH SCORE 987875.778
AT ITER 3947 NEW BEST:: SOT 3231914 SOS 1806220 HAS SOPS 1806220 HAS SOUS 985787 HAS SOUPS 985787 WITH SCORE 987593.22
AT ITER 3951 NEW BEST:: SOT 3231914 SOS 1806180 HAS SOPS 1806180 HAS SOUS 985747 HAS SOUPS 985747 WITH SCORE 987553.18
AT ITER 3953 NEW BEST:: SOT 3231849 SOS 1806115 HAS SOPS 1806115 HAS SOUS 985682 HAS SOUPS 985682 WITH SCORE 987488.115
AT ITER 3956 NEW BEST:: SOT 3231721 SOS 1805987 HAS SOPS 1805987 HAS SOUS 985602 HAS SOUPS 985602 WITH SCORE 987407.987
AT ITER 3958 NEW BEST:: SOT 3232615 SOS 1806722 HAS SOPS 1806722 HAS SOUS 984904 HAS SOUPS 984904 WITH SCORE 986710.722
AT ITER 3962 NEW BEST:: SOT 3232160 SOS 1806374 HAS SOPS 1806374 HAS SOUS 984503 HAS SOUPS 984503 WITH SCORE 986309.374
AT ITER 3967 NEW BEST:: SOT 3232160 SOS 1806721 HAS SOPS 1806721 HAS SOUS 984428 HAS SOUPS 984428 WITH SCORE 986234.721
AT ITER 3977 NEW BEST:: SOT 3232452 SOS 1806221 HAS SOPS 1806221 HAS SOUS 983928 HAS SOUPS 983928 WITH SCORE 985734.221
AT ITER 4010 NEW BEST:: SOT 3232451 SOS 1806220 HAS SOPS 1806220 HAS SOUS 983926 HAS SOUPS 983926 WITH SCORE 985732.22
AT ITER 4014 NEW BEST:: SOT 3232442 SOS 1806211 HAS SOPS 1806211 HAS SOUS 983908 HAS SOUPS 983908 WITH SCORE 985714.211
AT ITER 4019 NEW BEST:: SOT 3233245 SOS 1806268 HAS SOPS 1806268 HAS SOUS 983617 HAS SOUPS 983617 WITH SCORE 985423.268
AT ITER 4028 NEW BEST:: SOT 3233161 SOS 1806142 HAS SOPS 1806142 HAS SOUS 983449 HAS SOUPS 983449 WITH SCORE 985255.142
AT ITER 4032 NEW BEST:: SOT 3233161 SOS 1805639 HAS SOPS 1805639 HAS SOUS 983244 HAS SOUPS 983244 WITH SCORE 985049.639
AT ITER 4037 NEW BEST:: SOT 3233161 SOS 1805597 HAS SOPS 1805597 HAS SOUS 983184 HAS SOUPS 983184 WITH SCORE 984989.597
AT ITER 4054 NEW BEST:: SOT 3233161 SOS 1805414 HAS SOPS 1805414 HAS SOUS 983001 HAS SOUPS 983001 WITH SCORE 984806.414
AT ITER 4068 NEW BEST:: SOT 3233104 SOS 1805357 HAS SOPS 1805357 HAS SOUS 982887 HAS SOUPS 982887 WITH SCORE 984692.357
AT ITER 4070 NEW BEST:: SOT 3233018 SOS 1804986 HAS SOPS 1804986 HAS SOUS 982516 HAS SOUPS 982516 WITH SCORE 984320.986
AT ITER 4089 NEW BEST:: SOT 3233017 SOS 1804985 HAS SOPS 1804985 HAS SOUS 982515 HAS SOUPS 982515 WITH SCORE 984319.985
AT ITER 4092 NEW BEST:: SOT 3232905 SOS 1804649 HAS SOPS 1804649 HAS SOUS 982179 HAS SOUPS 982179 WITH SCORE 983983.649
AT ITER 4113 NEW BEST:: SOT 3232905 SOS 1804288 HAS SOPS 1804288 HAS SOUS 982179 HAS SOUPS 982179 WITH SCORE 983983.288
AT ITER 4117 NEW BEST:: SOT 3232361 SOS 1804546 HAS SOPS 1804546 HAS SOUS 981764 HAS SOUPS 981764 WITH SCORE 983568.546
AT ITER 4121 NEW BEST:: SOT 3232812 SOS 1804384 HAS SOPS 1804384 HAS SOUS 981602 HAS SOUPS 981602 WITH SCORE 983406.384
AT ITER 4123 NEW BEST:: SOT 3231234 SOS 1802806 HAS SOPS 1802806 HAS SOUS 980024 HAS SOUPS 980024 WITH SCORE 981826.806
AT ITER 4142 NEW BEST:: SOT 3230950 SOS 1802095 HAS SOPS 1802095 HAS SOUS 979731 HAS SOUPS 979731 WITH SCORE 981533.095
AT ITER 4143 NEW BEST:: SOT 3230593 SOS 1801024 HAS SOPS 1801024 HAS SOUS 979017 HAS SOUPS 979017 WITH SCORE 980818.024
AT ITER 4144 NEW BEST:: SOT 3230562 SOS 1800993 HAS SOPS 1800993 HAS SOUS 978986 HAS SOUPS 978986 WITH SCORE 980786.993
AT ITER 4156 NEW BEST:: SOT 3230350 SOS 1800181 HAS SOPS 1800181 HAS SOUS 978404 HAS SOUPS 978404 WITH SCORE 980204.181
AT ITER 4173 NEW BEST:: SOT 3230350 SOS 1799701 HAS SOPS 1799701 HAS SOUS 978264 HAS SOUPS 978264 WITH SCORE 980063.701
AT ITER 4191 NEW BEST:: SOT 3229789 SOS 1799140 HAS SOPS 1799140 HAS SOUS 977202 HAS SOUPS 977202 WITH SCORE 979001.14
AT ITER 4204 NEW BEST:: SOT 3229617 SOS 1798968 HAS SOPS 1798968 HAS SOUS 977030 HAS SOUPS 977030 WITH SCORE 978828.968
AT ITER 4220 NEW BEST:: SOT 3227898 SOS 1797464 HAS SOPS 1797464 HAS SOUS 975631 HAS SOUPS 975631 WITH SCORE 977428.464
AT ITER 4229 NEW BEST:: SOT 3227889 SOS 1797118 HAS SOPS 1797118 HAS SOUS 975285 HAS SOUPS 975285 WITH SCORE 977082.118
AT ITER 4236 NEW BEST:: SOT 3227351 SOS 1796580 HAS SOPS 1796580 HAS SOUS 974747 HAS SOUPS 974747 WITH SCORE 976543.58
AT ITER 4241 NEW BEST:: SOT 3227115 SOS 1795872 HAS SOPS 1795872 HAS SOUS 974039 HAS SOUPS 974039 WITH SCORE 975834.872
AT ITER 4246 NEW BEST:: SOT 3227076 SOS 1795755 HAS SOPS 1795755 HAS SOUS 973922 HAS SOUPS 973922 WITH SCORE 975717.755
AT ITER 4253 NEW BEST:: SOT 3227246 SOS 1792793 HAS SOPS 1792793 HAS SOUS 973480 HAS SOUPS 973480 WITH SCORE 975272.793
AT ITER 4254 NEW BEST:: SOT 3225195 SOS 1790731 HAS SOPS 1790731 HAS SOUS 971418 HAS SOUPS 971418 WITH SCORE 973208.731
AT ITER 4263 NEW BEST:: SOT 3225016 SOS 1790958 HAS SOPS 1790958 HAS SOUS 971298 HAS SOUPS 971298 WITH SCORE 973088.958
AT ITER 4267 NEW BEST:: SOT 3225118 SOS 1790481 HAS SOPS 1790481 HAS SOUS 970821 HAS SOUPS 970821 WITH SCORE 972611.481
AT ITER 4272 NEW BEST:: SOT 3225118 SOS 1790371 HAS SOPS 1790371 HAS SOUS 970051 HAS SOUPS 970051 WITH SCORE 971841.371
AT ITER 4277 NEW BEST:: SOT 3225598 SOS 1790421 HAS SOPS 1790421 HAS SOUS 969875 HAS SOUPS 969875 WITH SCORE 971665.421
AT ITER 4287 NEW BEST:: SOT 3225414 SOS 1790237 HAS SOPS 1790237 HAS SOUS 969691 HAS SOUPS 969691 WITH SCORE 971481.237
AT ITER 4290 NEW BEST:: SOT 3225461 SOS 1790542 HAS SOPS 1790542 HAS SOUS 969577 HAS SOUPS 969577 WITH SCORE 971367.542
AT ITER 4295 NEW BEST:: SOT 3225374 SOS 1790455 HAS SOPS 1790455 HAS SOUS 969490 HAS SOUPS 969490 WITH SCORE 971280.455
AT ITER 4298 NEW BEST:: SOT 3225374 SOS 1790219 HAS SOPS 1790219 HAS SOUS 969254 HAS SOUPS 969254 WITH SCORE 971044.219
AT ITER 4299 NEW BEST:: SOT 3225358 SOS 1789724 HAS SOPS 1789724 HAS SOUS 968759 HAS SOUPS 968759 WITH SCORE 970548.724
AT ITER 4303 NEW BEST:: SOT 3225192 SOS 1789583 HAS SOPS 1789583 HAS SOUS 968314 HAS SOUPS 968314 WITH SCORE 970103.583
AT ITER 4314 NEW BEST:: SOT 3224108 SOS 1793085 HAS SOPS 1793085 HAS SOUS 967390 HAS SOUPS 967390 WITH SCORE 969183.085
AT ITER 4317 NEW BEST:: SOT 3224032 SOS 1793009 HAS SOPS 1793009 HAS SOUS 967314 HAS SOUPS 967314 WITH SCORE 969107.009
AT ITER 4338 NEW BEST:: SOT 3224032 SOS 1792989 HAS SOPS 1792989 HAS SOUS 967294 HAS SOUPS 967294 WITH SCORE 969086.989
AT ITER 4341 NEW BEST:: SOT 3223776 SOS 1792506 HAS SOPS 1792506 HAS SOUS 967211 HAS SOUPS 967211 WITH SCORE 969003.506
AT ITER 4343 NEW BEST:: SOT 3223516 SOS 1792086 HAS SOPS 1792086 HAS SOUS 966791 HAS SOUPS 966791 WITH SCORE 968583.086
AT ITER 4354 NEW BEST:: SOT 3223028 SOS 1791053 HAS SOPS 1791053 HAS SOUS 965758 HAS SOUPS 965758 WITH SCORE 967549.053
AT ITER 4369 NEW BEST:: SOT 3223169 SOS 1791051 HAS SOPS 1791051 HAS SOUS 965754 HAS SOUPS 965754 WITH SCORE 967545.051
AT ITER 4382 NEW BEST:: SOT 3223270 SOS 1790460 HAS SOPS 1790460 HAS SOUS 965293 HAS SOUPS 965293 WITH SCORE 967083.46
AT ITER 4384 NEW BEST:: SOT 3222932 SOS 1790144 HAS SOPS 1790144 HAS SOUS 964617 HAS SOUPS 964617 WITH SCORE 966407.144
AT ITER 4391 NEW BEST:: SOT 3222932 SOS 1790632 HAS SOPS 1790632 HAS SOUS 964575 HAS SOUPS 964575 WITH SCORE 966365.632
AT ITER 4405 NEW BEST:: SOT 3222754 SOS 1790454 HAS SOPS 1790454 HAS SOUS 964458 HAS SOUPS 964458 WITH SCORE 966248.454
AT ITER 4408 NEW BEST:: SOT 3222443 SOS 1790143 HAS SOPS 1790143 HAS SOUS 964147 HAS SOUPS 964147 WITH SCORE 965937.143
AT ITER 4460 NEW BEST:: SOT 3221540 SOS 1788955 HAS SOPS 1788955 HAS SOUS 963840 HAS SOUPS 963840 WITH SCORE 965628.955
AT ITER 4470 NEW BEST:: SOT 3221583 SOS 1789076 HAS SOPS 1789076 HAS SOUS 963832 HAS SOUPS 963832 WITH SCORE 965621.076
AT ITER 4505 NEW BEST:: SOT 3221894 SOS 1788643 HAS SOPS 1788643 HAS SOUS 963430 HAS SOUPS 963430 WITH SCORE 965218.643
AT ITER 4508 NEW BEST:: SOT 3221553 SOS 1788638 HAS SOPS 1788638 HAS SOUS 963259 HAS SOUPS 963259 WITH SCORE 965047.638
AT ITER 4519 NEW BEST:: SOT 3221551 SOS 1788636 HAS SOPS 1788636 HAS SOUS 963257 HAS SOUPS 963257 WITH SCORE 965045.636
AT ITER 4520 NEW BEST:: SOT 3221101 SOS 1786342 HAS SOPS 1786342 HAS SOUS 961626 HAS SOUPS 961626 WITH SCORE 963412.342
AT ITER 4527 NEW BEST:: SOT 3220429 SOS 1783660 HAS SOPS 1783660 HAS SOUS 960282 HAS SOUPS 960282 WITH SCORE 962065.66
AT ITER 4528 NEW BEST:: SOT 3220428 SOS 1783659 HAS SOPS 1783659 HAS SOUS 960280 HAS SOUPS 960280 WITH SCORE 962063.659
AT ITER 4555 NEW BEST:: SOT 3217215 SOS 1781191 HAS SOPS 1781191 HAS SOUS 957629 HAS SOUPS 957629 WITH SCORE 959410.191
AT ITER 4560 NEW BEST:: SOT 3216854 SOS 1780469 HAS SOPS 1780469 HAS SOUS 956907 HAS SOUPS 956907 WITH SCORE 958687.469
AT ITER 4562 NEW BEST:: SOT 3216202 SOS 1779817 HAS SOPS 1779817 HAS SOUS 956255 HAS SOUPS 956255 WITH SCORE 958034.817
AT ITER 4565 NEW BEST:: SOT 3216201 SOS 1780346 HAS SOPS 1780346 HAS SOUS 956242 HAS SOUPS 956242 WITH SCORE 958022.346
AT ITER 4567 NEW BEST:: SOT 3216087 SOS 1780232 HAS SOPS 1780232 HAS SOUS 956128 HAS SOUPS 956128 WITH SCORE 957908.232
AT ITER 4571 NEW BEST:: SOT 3215941 SOS 1779932 HAS SOPS 1779932 HAS SOUS 955828 HAS SOUPS 955828 WITH SCORE 957607.932
AT ITER 4579 NEW BEST:: SOT 3215561 SOS 1779552 HAS SOPS 1779552 HAS SOUS 955448 HAS SOUPS 955448 WITH SCORE 957227.552
AT ITER 4583 NEW BEST:: SOT 3215561 SOS 1779173 HAS SOPS 1779173 HAS SOUS 955448 HAS SOUPS 955448 WITH SCORE 957227.173
AT ITER 4588 NEW BEST:: SOT 3215509 SOS 1779095 HAS SOPS 1779095 HAS SOUS 955344 HAS SOUPS 955344 WITH SCORE 957123.095
AT ITER 4595 NEW BEST:: SOT 3215555 SOS 1778451 HAS SOPS 1778451 HAS SOUS 955231 HAS SOUPS 955231 WITH SCORE 957009.451
AT ITER 4615 NEW BEST:: SOT 3215640 SOS 1777248 HAS SOPS 1777248 HAS SOUS 954150 HAS SOUPS 954150 WITH SCORE 955927.248
AT ITER 4624 NEW BEST:: SOT 3215640 SOS 1777348 HAS SOPS 1777348 HAS SOUS 953774 HAS SOUPS 953774 WITH SCORE 955551.348
AT ITER 4650 NEW BEST:: SOT 3214970 SOS 1776222 HAS SOPS 1776222 HAS SOUS 952132 HAS SOUPS 952132 WITH SCORE 953908.222
AT ITER 4653 NEW BEST:: SOT 3214970 SOS 1776290 HAS SOPS 1776290 HAS SOUS 952098 HAS SOUPS 952098 WITH SCORE 953874.29
AT ITER 4660 NEW BEST:: SOT 3214950 SOS 1776270 HAS SOPS 1776270 HAS SOUS 952078 HAS SOUPS 952078 WITH SCORE 953854.27
AT ITER 4662 NEW BEST:: SOT 3214883 SOS 1776191 HAS SOPS 1776191 HAS SOUS 951975 HAS SOUPS 951975 WITH SCORE 953751.191
AT ITER 4670 NEW BEST:: SOT 3214841 SOS 1776155 HAS SOPS 1776155 HAS SOUS 951927 HAS SOUPS 951927 WITH SCORE 953703.155
AT ITER 4679 NEW BEST:: SOT 3215196 SOS 1777952 HAS SOPS 1777952 HAS SOUS 951463 HAS SOUPS 951463 WITH SCORE 953240.952
AT ITER 4693 NEW BEST:: SOT 3211131 SOS 1774750 HAS SOPS 1774750 HAS SOUS 947276 HAS SOUPS 947276 WITH SCORE 949050.75
AT ITER 4694 NEW BEST:: SOT 3210799 SOS 1772110 HAS SOPS 1772110 HAS SOUS 946596 HAS SOUPS 946596 WITH SCORE 948368.11
AT ITER 4703 NEW BEST:: SOT 3210617 SOS 1771928 HAS SOPS 1771928 HAS SOUS 946414 HAS SOUPS 946414 WITH SCORE 948185.928
AT ITER 4706 NEW BEST:: SOT 3210419 SOS 1771664 HAS SOPS 1771664 HAS SOUS 946216 HAS SOUPS 946216 WITH SCORE 947987.664
AT ITER 4735 NEW BEST:: SOT 3210357 SOS 1771602 HAS SOPS 1771602 HAS SOUS 946154 HAS SOUPS 946154 WITH SCORE 947925.602
AT ITER 4741 NEW BEST:: SOT 3210311 SOS 1771820 HAS SOPS 1771820 HAS SOUS 946152 HAS SOUPS 946152 WITH SCORE 947923.82
AT ITER 4754 NEW BEST:: SOT 3210373 SOS 1771483 HAS SOPS 1771483 HAS SOUS 945815 HAS SOUPS 945815 WITH SCORE 947586.483
AT ITER 4763 NEW BEST:: SOT 3210964 SOS 1771191 HAS SOPS 1771191 HAS SOUS 945523 HAS SOUPS 945523 WITH SCORE 947294.191
AT ITER 4764 NEW BEST:: SOT 3210958 SOS 1770807 HAS SOPS 1770807 HAS SOUS 945042 HAS SOUPS 945042 WITH SCORE 946812.807
AT ITER 4776 NEW BEST:: SOT 3210917 SOS 1770726 HAS SOPS 1770726 HAS SOUS 944960 HAS SOUPS 944960 WITH SCORE 946730.726
AT ITER 4798 NEW BEST:: SOT 3210834 SOS 1770560 HAS SOPS 1770560 HAS SOUS 944794 HAS SOUPS 944794 WITH SCORE 946564.56
AT ITER 4803 NEW BEST:: SOT 3210864 SOS 1769870 HAS SOPS 1769870 HAS SOUS 944479 HAS SOUPS 944479 WITH SCORE 946248.87
AT ITER 4816 NEW BEST:: SOT 3210784 SOS 1769870 HAS SOPS 1769870 HAS SOUS 944319 HAS SOUPS 944319 WITH SCORE 946088.87
AT ITER 4846 NEW BEST:: SOT 3210576 SOS 1769662 HAS SOPS 1769662 HAS SOUS 944104 HAS SOUPS 944104 WITH SCORE 945873.662
AT ITER 4856 NEW BEST:: SOT 3210328 SOS 1769403 HAS SOPS 1769403 HAS SOUS 943766 HAS SOUPS 943766 WITH SCORE 945535.403
AT ITER 4864 NEW BEST:: SOT 3210328 SOS 1769983 HAS SOPS 1769983 HAS SOUS 943765 HAS SOUPS 943765 WITH SCORE 945534.983
AT ITER 4874 NEW BEST:: SOT 3209519 SOS 1768937 HAS SOPS 1768937 HAS SOUS 942719 HAS SOUPS 942719 WITH SCORE 944487.937
AT ITER 4875 NEW BEST:: SOT 3209519 SOS 1768941 HAS SOPS 1768941 HAS SOUS 942717 HAS SOUPS 942717 WITH SCORE 944485.941
AT ITER 4889 NEW BEST:: SOT 3209463 SOS 1768793 HAS SOPS 1768793 HAS SOUS 942605 HAS SOUPS 942605 WITH SCORE 944373.793
AT ITER 4898 NEW BEST:: SOT 3209463 SOS 1768793 HAS SOPS 1768793 HAS SOUS 942562 HAS SOUPS 942562 WITH SCORE 944330.793
AT ITER 4915 NEW BEST:: SOT 3209551 SOS 1768285 HAS SOPS 1768285 HAS SOUS 942280 HAS SOUPS 942280 WITH SCORE 944048.285
AT ITER 4917 NEW BEST:: SOT 3209500 SOS 1768177 HAS SOPS 1768177 HAS SOUS 942172 HAS SOUPS 942172 WITH SCORE 943940.177
AT ITER 4921 NEW BEST:: SOT 3209500 SOS 1767323 HAS SOPS 1767323 HAS SOUS 941318 HAS SOUPS 941318 WITH SCORE 943085.323
AT ITER 4929 NEW BEST:: SOT 3209258 SOS 1767081 HAS SOPS 1767081 HAS SOUS 941076 HAS SOUPS 941076 WITH SCORE 942843.081
AT ITER 4937 NEW BEST:: SOT 3209241 SOS 1766994 HAS SOPS 1766994 HAS SOUS 940989 HAS SOUPS 940989 WITH SCORE 942755.994
AT ITER 4946 NEW BEST:: SOT 3208601 SOS 1766354 HAS SOPS 1766354 HAS SOUS 940029 HAS SOUPS 940029 WITH SCORE 941795.354
AT ITER 4958 NEW BEST:: SOT 3208956 SOS 1765718 HAS SOPS 1765718 HAS SOUS 939393 HAS SOUPS 939393 WITH SCORE 941158.718
AT ITER 4959 NEW BEST:: SOT 3208830 SOS 1765592 HAS SOPS 1765592 HAS SOUS 939004 HAS SOUPS 939004 WITH SCORE 940769.592
AT ITER 4961 NEW BEST:: SOT 3209505 SOS 1767235 HAS SOPS 1767235 HAS SOUS 938911 HAS SOUPS 938911 WITH SCORE 940678.235
AT ITER 4965 NEW BEST:: SOT 3209497 SOS 1767227 HAS SOPS 1767227 HAS SOUS 938911 HAS SOUPS 938911 WITH SCORE 940678.227
AT ITER 4981 NEW BEST:: SOT 3209420 SOS 1767110 HAS SOPS 1767110 HAS SOUS 938479 HAS SOUPS 938479 WITH SCORE 940246.11
AT ITER 4989 NEW BEST:: SOT 3209418 SOS 1767064 HAS SOPS 1767064 HAS SOUS 938477 HAS SOUPS 938477 WITH SCORE 940244.064
AT ITER 4995 NEW BEST:: SOT 3210457 SOS 1767731 HAS SOPS 1767731 HAS SOUS 938394 HAS SOUPS 938394 WITH SCORE 940161.731
AT ITER 4996 NEW BEST:: SOT 3210247 SOS 1767521 HAS SOPS 1767521 HAS SOUS 938184 HAS SOUPS 938184 WITH SCORE 939951.521
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-10a-CTLCardinality-00 ( ( (! (AG( potential( (tk(P1358)) <= (tk(P1404)) )))) | (AG( ( potential( ( 2 ) <= (tk(P195)) ) | potential( ( 1 ) <= (tk(P985)) ) ))) ) | ( (! ( (! potential( ( 3 ) <= (tk(P503)) )) & (! potential( ( 3 ) <= (tk(P815)) )) )) & (! (AG( potential( ( 1 ) <= (tk(P285)) )))) ) )
PROPERTY: ASLink-PT-10a-CTLCardinality-01 (AF(potential( ( 1 ) <= (tk(P2138)) )))
PROPERTY: ASLink-PT-10a-CTLCardinality-02 ( (AF(( ( potential( ( 1 ) <= (tk(P597)) ) & potential( (tk(P1295)) <= (tk(P1542)) ) ) & ( potential( ( 1 ) <= (tk(P1504)) ) & potential( (tk(P2137)) <= (tk(P423)) ) ) ))) | (AF(( (! potential( (tk(P735)) <= (tk(P794)) )) & ( potential( (tk(P1266)) <= (tk(P763)) ) & potential( (tk(P292)) <= (tk(P345)) ) ) ))) )
PROPERTY: ASLink-PT-10a-CTLCardinality-03 (EG( (AG( ( potential( (tk(P2022)) <= (tk(P1064)) ) & potential( (tk(P1527)) <= (tk(P815)) ) )))))
PROPERTY: ASLink-PT-10a-CTLCardinality-04 ( ( potential( ( 3 ) <= (tk(P962)) ) | (AG( (! potential( (tk(P329)) <= (tk(P1552)) )))) ) | (! (EU( potential( (tk(P180)) <= (tk(P325)) ),potential( ( 2 ) <= (tk(P491)) ) ))) )
PROPERTY: ASLink-PT-10a-CTLCardinality-05 ( potential( ( 2 ) <= (tk(P1218)) ) | (EF(( ( potential( (tk(P461)) <= (tk(P1895)) ) | potential( (tk(P289)) <= (tk(P1126)) ) ) & potential( ( 3 ) <= (tk(P553)) ) ))) )
PROPERTY: ASLink-PT-10a-CTLCardinality-06 (EU( ( ( potential( ( 3 ) <= (tk(P484)) ) & potential( ( 2 ) <= (tk(P367)) ) ) | ( potential( (tk(P3)) <= (tk(P1364)) ) & potential( (tk(P1728)) <= (tk(P1465)) ) ) ),( (! potential( (tk(P2117)) <= (tk(P583)) )) | ( potential( (tk(P1225)) <= (tk(P2180)) ) & potential( ( 3 ) <= (tk(P2079)) ) ) ) ))
PROPERTY: ASLink-PT-10a-CTLCardinality-07 (AG( potential( (tk(P1570)) <= (tk(P218)) )))
PROPERTY: ASLink-PT-10a-CTLCardinality-08 ( ( ( (EF(potential( ( 1 ) <= (tk(P1981)) ))) & (AF(potential( (tk(P1234)) <= (tk(P1917)) ))) ) | (! (AF(potential( (tk(P1881)) <= (tk(P2087)) )))) ) & ( (AF((! potential( ( 2 ) <= (tk(P289)) )))) & (EF((! potential( (tk(P555)) <= (tk(P803)) )))) ) )
PROPERTY: ASLink-PT-10a-CTLCardinality-09 (EU( (EF(potential( ( 3 ) <= (tk(P1322)) ))),(AG( potential( (tk(P745)) <= (tk(P1350)) ))) ))
PROPERTY: ASLink-PT-10a-CTLCardinality-10 ( ( (AX( potential( ( 2 ) <= (tk(P1050)) ))) | (EF(( potential( (tk(P57)) <= (tk(P978)) ) & potential( ( 2 ) <= (tk(P394)) ) ))) ) & (! (AU( potential( (tk(P1812)) <= (tk(P1540)) ),potential( ( 1 ) <= (tk(P366)) ) ))) )
PROPERTY: ASLink-PT-10a-CTLCardinality-11 ( (EU( ( potential( ( 3 ) <= (tk(P343)) ) | potential( (tk(P1186)) <= (tk(P205)) ) ),( potential( ( 2 ) <= (tk(P51)) ) | potential( ( 2 ) <= (tk(P1747)) ) ) )) & (AF(( ( potential( ( 3 ) <= (tk(P169)) ) | potential( (tk(P588)) <= (tk(P2168)) ) ) & (! potential( (tk(P95)) <= (tk(P187)) )) ))) )
PROPERTY: ASLink-PT-10a-CTLCardinality-12 (! (AU( ( potential( (tk(P64)) <= (tk(P2166)) ) & potential( (tk(P1025)) <= (tk(P359)) ) ),( potential( ( 1 ) <= (tk(P1014)) ) & potential( ( 2 ) <= (tk(P1598)) ) ) )))
PROPERTY: ASLink-PT-10a-CTLCardinality-13 (! (! (AU( potential( (tk(P2059)) <= (tk(P1460)) ),potential( ( 2 ) <= (tk(P1068)) ) ))))
PROPERTY: ASLink-PT-10a-CTLCardinality-14 (AF(potential( ( 3 ) <= (tk(P517)) )))
PROPERTY: ASLink-PT-10a-CTLCardinality-15 ( (AF(( potential( ( 3 ) <= (tk(P1408)) ) & (! potential( ( 2 ) <= (tk(P975)) )) ))) & potential( (tk(P1749)) <= (tk(P1522)) ) )

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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