Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472800744.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCround-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472800744
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 18:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 18:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 18:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 18:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 18:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678262098752

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCround-PT-10b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 3924 places, 6192 transitions, 17304 arcs.
AT ITER 0 NEW BEST:: SOT 15574572 SOS 3699258 HAS SOPS 3699258 HAS SOUS 2072207 HAS SOUPS 2072207 WITH SCORE 2075906.258
AT ITER 16 NEW BEST:: SOT 15574571 SOS 3699256 HAS SOPS 3699256 HAS SOUS 2072205 HAS SOUPS 2072205 WITH SCORE 2075904.256
AT ITER 88 NEW BEST:: SOT 15574571 SOS 3699041 HAS SOPS 3699041 HAS SOUS 2072205 HAS SOUPS 2072205 WITH SCORE 2075904.041
AT ITER 107 NEW BEST:: SOT 15574571 SOS 3699041 HAS SOPS 3699041 HAS SOUS 2072204 HAS SOUPS 2072204 WITH SCORE 2075903.041
AT ITER 129 NEW BEST:: SOT 15574133 SOS 3704617 HAS SOPS 3704617 HAS SOUS 2071327 HAS SOUPS 2071327 WITH SCORE 2075031.617
AT ITER 137 NEW BEST:: SOT 15574132 SOS 3704615 HAS SOPS 3704615 HAS SOUS 2071325 HAS SOUPS 2071325 WITH SCORE 2075029.615
AT ITER 144 NEW BEST:: SOT 15573941 SOS 3704529 HAS SOPS 3704529 HAS SOUS 2071239 HAS SOUPS 2071239 WITH SCORE 2074943.529
AT ITER 151 NEW BEST:: SOT 15573797 SOS 3704526 HAS SOPS 3704526 HAS SOUS 2071238 HAS SOUPS 2071238 WITH SCORE 2074942.526
AT ITER 163 NEW BEST:: SOT 15573593 SOS 3704118 HAS SOPS 3704118 HAS SOUS 2070830 HAS SOUPS 2070830 WITH SCORE 2074534.118
AT ITER 166 NEW BEST:: SOT 15573711 SOS 3709375 HAS SOPS 3709375 HAS SOUS 2070506 HAS SOUPS 2070506 WITH SCORE 2074215.375
AT ITER 170 NEW BEST:: SOT 15573237 SOS 3709365 HAS SOPS 3709365 HAS SOUS 2070138 HAS SOUPS 2070138 WITH SCORE 2073847.365
AT ITER 182 NEW BEST:: SOT 15573237 SOS 3709740 HAS SOPS 3709740 HAS SOUS 2070136 HAS SOUPS 2070136 WITH SCORE 2073845.74
AT ITER 195 NEW BEST:: SOT 15573068 SOS 3710161 HAS SOPS 3710161 HAS SOUS 2069967 HAS SOUPS 2069967 WITH SCORE 2073677.161
AT ITER 202 NEW BEST:: SOT 15572615 SOS 3709255 HAS SOPS 3709255 HAS SOUS 2069061 HAS SOUPS 2069061 WITH SCORE 2072770.255
AT ITER 223 NEW BEST:: SOT 15571851 SOS 3708873 HAS SOPS 3708873 HAS SOUS 2068679 HAS SOUPS 2068679 WITH SCORE 2072387.873
AT ITER 245 NEW BEST:: SOT 15571610 SOS 3708391 HAS SOPS 3708391 HAS SOUS 2068438 HAS SOUPS 2068438 WITH SCORE 2072146.391
AT ITER 251 NEW BEST:: SOT 15571535 SOS 3708382 HAS SOPS 3708382 HAS SOUS 2068429 HAS SOUPS 2068429 WITH SCORE 2072137.382
AT ITER 253 NEW BEST:: SOT 15571413 SOS 3708260 HAS SOPS 3708260 HAS SOUS 2068307 HAS SOUPS 2068307 WITH SCORE 2072015.26
AT ITER 255 NEW BEST:: SOT 15571330 SOS 3709330 HAS SOPS 3709330 HAS SOUS 2067602 HAS SOUPS 2067602 WITH SCORE 2071311.33
AT ITER 268 NEW BEST:: SOT 15570850 SOS 3702367 HAS SOPS 3702367 HAS SOUS 2066642 HAS SOUPS 2066642 WITH SCORE 2070344.367
AT ITER 303 NEW BEST:: SOT 15570850 SOS 3702367 HAS SOPS 3702367 HAS SOUS 2066641 HAS SOUPS 2066641 WITH SCORE 2070343.367
AT ITER 326 NEW BEST:: SOT 15570850 SOS 3702893 HAS SOPS 3702893 HAS SOUS 2066640 HAS SOUPS 2066640 WITH SCORE 2070342.893
AT ITER 352 NEW BEST:: SOT 15570542 SOS 3703495 HAS SOPS 3703495 HAS SOUS 2066330 HAS SOUPS 2066330 WITH SCORE 2070033.495
AT ITER 353 NEW BEST:: SOT 15570152 SOS 3702715 HAS SOPS 3702715 HAS SOUS 2065550 HAS SOUPS 2065550 WITH SCORE 2069252.715
AT ITER 388 NEW BEST:: SOT 15570322 SOS 3696049 HAS SOPS 3696049 HAS SOUS 2062712 HAS SOUPS 2062712 WITH SCORE 2066408.049
AT ITER 397 NEW BEST:: SOT 15570322 SOS 3695561 HAS SOPS 3695561 HAS SOUS 2062468 HAS SOUPS 2062468 WITH SCORE 2066163.561
AT ITER 429 NEW BEST:: SOT 15570197 SOS 3697248 HAS SOPS 3697248 HAS SOUS 2062455 HAS SOUPS 2062455 WITH SCORE 2066152.248
AT ITER 461 NEW BEST:: SOT 15568997 SOS 3692732 HAS SOPS 3692732 HAS SOUS 2061028 HAS SOUPS 2061028 WITH SCORE 2064720.732
AT ITER 464 NEW BEST:: SOT 15568997 SOS 3692732 HAS SOPS 3692732 HAS SOUS 2061027 HAS SOUPS 2061027 WITH SCORE 2064719.732
AT ITER 475 NEW BEST:: SOT 15568480 SOS 3692432 HAS SOPS 3692432 HAS SOUS 2060727 HAS SOUPS 2060727 WITH SCORE 2064419.432
AT ITER 478 NEW BEST:: SOT 15568211 SOS 3691894 HAS SOPS 3691894 HAS SOUS 2060189 HAS SOUPS 2060189 WITH SCORE 2063880.894
AT ITER 491 NEW BEST:: SOT 15566828 SOS 3690260 HAS SOPS 3690260 HAS SOUS 2058127 HAS SOUPS 2058127 WITH SCORE 2061817.26
AT ITER 492 NEW BEST:: SOT 15566912 SOS 3690428 HAS SOPS 3690428 HAS SOUS 2057691 HAS SOUPS 2057691 WITH SCORE 2061381.428
AT ITER 496 NEW BEST:: SOT 15566072 SOS 3689753 HAS SOPS 3689753 HAS SOUS 2057016 HAS SOUPS 2057016 WITH SCORE 2060705.753
AT ITER 523 NEW BEST:: SOT 15565705 SOS 3687752 HAS SOPS 3687752 HAS SOUS 2055808 HAS SOUPS 2055808 WITH SCORE 2059495.752
AT ITER 585 NEW BEST:: SOT 15565597 SOS 3687512 HAS SOPS 3687512 HAS SOUS 2055568 HAS SOUPS 2055568 WITH SCORE 2059255.512
AT ITER 601 NEW BEST:: SOT 15564868 SOS 3686053 HAS SOPS 3686053 HAS SOUS 2054109 HAS SOUPS 2054109 WITH SCORE 2057795.053
AT ITER 607 NEW BEST:: SOT 15564827 SOS 3686050 HAS SOPS 3686050 HAS SOUS 2054108 HAS SOUPS 2054108 WITH SCORE 2057794.05
AT ITER 611 NEW BEST:: SOT 15564827 SOS 3685992 HAS SOPS 3685992 HAS SOUS 2054050 HAS SOUPS 2054050 WITH SCORE 2057735.992
AT ITER 614 NEW BEST:: SOT 15564374 SOS 3685086 HAS SOPS 3685086 HAS SOUS 2052693 HAS SOUPS 2052693 WITH SCORE 2056378.086
AT ITER 655 NEW BEST:: SOT 15564288 SOS 3684914 HAS SOPS 3684914 HAS SOUS 2052521 HAS SOUPS 2052521 WITH SCORE 2056205.914
AT ITER 697 NEW BEST:: SOT 15563704 SOS 3684329 HAS SOPS 3684329 HAS SOUS 2051936 HAS SOUPS 2051936 WITH SCORE 2055620.329
AT ITER 763 NEW BEST:: SOT 15563573 SOS 3684198 HAS SOPS 3684198 HAS SOUS 2051805 HAS SOUPS 2051805 WITH SCORE 2055489.198
AT ITER 771 NEW BEST:: SOT 15562072 SOS 3682231 HAS SOPS 3682231 HAS SOUS 2049838 HAS SOUPS 2049838 WITH SCORE 2053520.231
AT ITER 783 NEW BEST:: SOT 15562019 SOS 3682178 HAS SOPS 3682178 HAS SOUS 2049785 HAS SOUPS 2049785 WITH SCORE 2053467.178
AT ITER 832 NEW BEST:: SOT 15561911 SOS 3682139 HAS SOPS 3682139 HAS SOUS 2049746 HAS SOUPS 2049746 WITH SCORE 2053428.139
AT ITER 836 NEW BEST:: SOT 15562339 SOS 3685826 HAS SOPS 3685826 HAS SOUS 2049656 HAS SOUPS 2049656 WITH SCORE 2053341.826
AT ITER 851 NEW BEST:: SOT 15562339 SOS 3685735 HAS SOPS 3685735 HAS SOUS 2049565 HAS SOUPS 2049565 WITH SCORE 2053250.735
AT ITER 862 NEW BEST:: SOT 15562339 SOS 3685550 HAS SOPS 3685550 HAS SOUS 2049565 HAS SOUPS 2049565 WITH SCORE 2053250.55
AT ITER 869 NEW BEST:: SOT 15562151 SOS 3686727 HAS SOPS 3686727 HAS SOUS 2048932 HAS SOUPS 2048932 WITH SCORE 2052618.727
AT ITER 885 NEW BEST:: SOT 15561610 SOS 3686727 HAS SOPS 3686727 HAS SOUS 2048929 HAS SOUPS 2048929 WITH SCORE 2052615.727
AT ITER 895 NEW BEST:: SOT 15561536 SOS 3686653 HAS SOPS 3686653 HAS SOUS 2048855 HAS SOUPS 2048855 WITH SCORE 2052541.653
AT ITER 898 NEW BEST:: SOT 15561506 SOS 3686593 HAS SOPS 3686593 HAS SOUS 2048688 HAS SOUPS 2048688 WITH SCORE 2052374.593
AT ITER 914 NEW BEST:: SOT 15561184 SOS 3685949 HAS SOPS 3685949 HAS SOUS 2047672 HAS SOUPS 2047672 WITH SCORE 2051357.949
AT ITER 919 NEW BEST:: SOT 15561078 SOS 3685946 HAS SOPS 3685946 HAS SOUS 2047671 HAS SOUPS 2047671 WITH SCORE 2051356.946
AT ITER 941 NEW BEST:: SOT 15560427 SOS 3684644 HAS SOPS 3684644 HAS SOUS 2046369 HAS SOUPS 2046369 WITH SCORE 2050053.644
AT ITER 960 NEW BEST:: SOT 15559765 SOS 3683982 HAS SOPS 3683982 HAS SOUS 2046369 HAS SOUPS 2046369 WITH SCORE 2050052.982
AT ITER 992 NEW BEST:: SOT 15559518 SOS 3684462 HAS SOPS 3684462 HAS SOUS 2046120 HAS SOUPS 2046120 WITH SCORE 2049804.462
AT ITER 1001 NEW BEST:: SOT 15559020 SOS 3683960 HAS SOPS 3683960 HAS SOUS 2045621 HAS SOUPS 2045621 WITH SCORE 2049304.96
AT ITER 1017 NEW BEST:: SOT 15559020 SOS 3683306 HAS SOPS 3683306 HAS SOUS 2045403 HAS SOUPS 2045403 WITH SCORE 2049086.306
AT ITER 1027 NEW BEST:: SOT 15558908 SOS 3683194 HAS SOPS 3683194 HAS SOUS 2045291 HAS SOUPS 2045291 WITH SCORE 2048974.194
AT ITER 1077 NEW BEST:: SOT 15558479 SOS 3682656 HAS SOPS 3682656 HAS SOUS 2044753 HAS SOUPS 2044753 WITH SCORE 2048435.656
AT ITER 1084 NEW BEST:: SOT 15558192 SOS 3682082 HAS SOPS 3682082 HAS SOUS 2044466 HAS SOUPS 2044466 WITH SCORE 2048148.082
AT ITER 1096 NEW BEST:: SOT 15558192 SOS 3682082 HAS SOPS 3682082 HAS SOUS 2043317 HAS SOUPS 2043317 WITH SCORE 2046999.082
AT ITER 1113 NEW BEST:: SOT 15557789 SOS 3682078 HAS SOPS 3682078 HAS SOUS 2043316 HAS SOUPS 2043316 WITH SCORE 2046998.078
AT ITER 1127 NEW BEST:: SOT 15556366 SOS 3680260 HAS SOPS 3680260 HAS SOUS 2041419 HAS SOUPS 2041419 WITH SCORE 2045099.26
AT ITER 1138 NEW BEST:: SOT 15555534 SOS 3679569 HAS SOPS 3679569 HAS SOUS 2040728 HAS SOUPS 2040728 WITH SCORE 2044407.569
AT ITER 1151 NEW BEST:: SOT 15554554 SOS 3679569 HAS SOPS 3679569 HAS SOUS 2039347 HAS SOUPS 2039347 WITH SCORE 2043026.569
AT ITER 1152 NEW BEST:: SOT 15554376 SOS 3679489 HAS SOPS 3679489 HAS SOUS 2039267 HAS SOUPS 2039267 WITH SCORE 2042946.489
AT ITER 1167 NEW BEST:: SOT 15553695 SOS 3676846 HAS SOPS 3676846 HAS SOUS 2038115 HAS SOUPS 2038115 WITH SCORE 2041791.846
AT ITER 1175 NEW BEST:: SOT 15553638 SOS 3676732 HAS SOPS 3676732 HAS SOUS 2038001 HAS SOUPS 2038001 WITH SCORE 2041677.732
AT ITER 1180 NEW BEST:: SOT 15553369 SOS 3675950 HAS SOPS 3675950 HAS SOUS 2037219 HAS SOUPS 2037219 WITH SCORE 2040894.95
AT ITER 1181 NEW BEST:: SOT 15552964 SOS 3675647 HAS SOPS 3675647 HAS SOUS 2036918 HAS SOUPS 2036918 WITH SCORE 2040593.647
AT ITER 1197 NEW BEST:: SOT 15552023 SOS 3675326 HAS SOPS 3675326 HAS SOUS 2036597 HAS SOUPS 2036597 WITH SCORE 2040272.326
AT ITER 1202 NEW BEST:: SOT 15551989 SOS 3675309 HAS SOPS 3675309 HAS SOUS 2036580 HAS SOUPS 2036580 WITH SCORE 2040255.309
AT ITER 1259 NEW BEST:: SOT 15552114 SOS 3675559 HAS SOPS 3675559 HAS SOUS 2036569 HAS SOUPS 2036569 WITH SCORE 2040244.559
AT ITER 1265 NEW BEST:: SOT 15552243 SOS 3672587 HAS SOPS 3672587 HAS SOUS 2036341 HAS SOUPS 2036341 WITH SCORE 2040013.587
AT ITER 1335 NEW BEST:: SOT 15552243 SOS 3671699 HAS SOPS 3671699 HAS SOUS 2036045 HAS SOUPS 2036045 WITH SCORE 2039716.699
AT ITER 1344 NEW BEST:: SOT 15552039 SOS 3672329 HAS SOPS 3672329 HAS SOUS 2035841 HAS SOUPS 2035841 WITH SCORE 2039513.329
AT ITER 1357 NEW BEST:: SOT 15551878 SOS 3672305 HAS SOPS 3672305 HAS SOUS 2035817 HAS SOUPS 2035817 WITH SCORE 2039489.305
AT ITER 1358 NEW BEST:: SOT 15551878 SOS 3672286 HAS SOPS 3672286 HAS SOUS 2035817 HAS SOUPS 2035817 WITH SCORE 2039489.286
AT ITER 1400 NEW BEST:: SOT 15551895 SOS 3670669 HAS SOPS 3670669 HAS SOUS 2035583 HAS SOUPS 2035583 WITH SCORE 2039253.669
AT ITER 1405 NEW BEST:: SOT 15551217 SOS 3670831 HAS SOPS 3670831 HAS SOUS 2035425 HAS SOUPS 2035425 WITH SCORE 2039095.831
AT ITER 1434 NEW BEST:: SOT 15551216 SOS 3671896 HAS SOPS 3671896 HAS SOUS 2035422 HAS SOUPS 2035422 WITH SCORE 2039093.896
AT ITER 1468 NEW BEST:: SOT 15550607 SOS 3671896 HAS SOPS 3671896 HAS SOUS 2034619 HAS SOUPS 2034619 WITH SCORE 2038290.896
AT ITER 1492 NEW BEST:: SOT 15550547 SOS 3671776 HAS SOPS 3671776 HAS SOUS 2034559 HAS SOUPS 2034559 WITH SCORE 2038230.776
AT ITER 1495 NEW BEST:: SOT 15550410 SOS 3672221 HAS SOPS 3672221 HAS SOUS 2034421 HAS SOUPS 2034421 WITH SCORE 2038093.221
AT ITER 1577 NEW BEST:: SOT 15550173 SOS 3671747 HAS SOPS 3671747 HAS SOUS 2034184 HAS SOUPS 2034184 WITH SCORE 2037855.747
AT ITER 1646 NEW BEST:: SOT 15550227 SOS 3671855 HAS SOPS 3671855 HAS SOUS 2033719 HAS SOUPS 2033719 WITH SCORE 2037390.855
AT ITER 1650 NEW BEST:: SOT 15549035 SOS 3671839 HAS SOPS 3671839 HAS SOUS 2033134 HAS SOUPS 2033134 WITH SCORE 2036805.839
AT ITER 1670 NEW BEST:: SOT 15548372 SOS 3676480 HAS SOPS 3676480 HAS SOUS 2032471 HAS SOUPS 2032471 WITH SCORE 2036147.48
AT ITER 1675 NEW BEST:: SOT 15548202 SOS 3677223 HAS SOPS 3677223 HAS SOUS 2032436 HAS SOUPS 2032436 WITH SCORE 2036113.223
AT ITER 1680 NEW BEST:: SOT 15548169 SOS 3677157 HAS SOPS 3677157 HAS SOUS 2032370 HAS SOUPS 2032370 WITH SCORE 2036047.157
AT ITER 1682 NEW BEST:: SOT 15547249 SOS 3677157 HAS SOPS 3677157 HAS SOUS 2031450 HAS SOUPS 2031450 WITH SCORE 2035127.157
AT ITER 1724 NEW BEST:: SOT 15547249 SOS 3677157 HAS SOPS 3677157 HAS SOUS 2031449 HAS SOUPS 2031449 WITH SCORE 2035126.157
AT ITER 1746 NEW BEST:: SOT 15547314 SOS 3676045 HAS SOPS 3676045 HAS SOUS 2031100 HAS SOUPS 2031100 WITH SCORE 2034776.045
AT ITER 1756 NEW BEST:: SOT 15547214 SOS 3676241 HAS SOPS 3676241 HAS SOUS 2030999 HAS SOUPS 2030999 WITH SCORE 2034675.241
AT ITER 1763 NEW BEST:: SOT 15547214 SOS 3676231 HAS SOPS 3676231 HAS SOUS 2030930 HAS SOUPS 2030930 WITH SCORE 2034606.231
AT ITER 1815 NEW BEST:: SOT 15547056 SOS 3676073 HAS SOPS 3676073 HAS SOUS 2030772 HAS SOUPS 2030772 WITH SCORE 2034448.073
AT ITER 1826 NEW BEST:: SOT 15547056 SOS 3676073 HAS SOPS 3676073 HAS SOUS 2030767 HAS SOUPS 2030767 WITH SCORE 2034443.073
AT ITER 1837 NEW BEST:: SOT 15546001 SOS 3673963 HAS SOPS 3673963 HAS SOUS 2029766 HAS SOUPS 2029766 WITH SCORE 2033439.963
AT ITER 1848 NEW BEST:: SOT 15546122 SOS 3672435 HAS SOPS 3672435 HAS SOUS 2029357 HAS SOUPS 2029357 WITH SCORE 2033029.435
AT ITER 1871 NEW BEST:: SOT 15545639 SOS 3671949 HAS SOPS 3671949 HAS SOUS 2028873 HAS SOUPS 2028873 WITH SCORE 2032544.949
AT ITER 1873 NEW BEST:: SOT 15545639 SOS 3671912 HAS SOPS 3671912 HAS SOUS 2028836 HAS SOUPS 2028836 WITH SCORE 2032507.912
AT ITER 1879 NEW BEST:: SOT 15545824 SOS 3672282 HAS SOPS 3672282 HAS SOUS 2028646 HAS SOUPS 2028646 WITH SCORE 2032318.282
AT ITER 1885 NEW BEST:: SOT 15545088 SOS 3668578 HAS SOPS 3668578 HAS SOUS 2027910 HAS SOUPS 2027910 WITH SCORE 2031578.578
AT ITER 1924 NEW BEST:: SOT 15544919 SOS 3668930 HAS SOPS 3668930 HAS SOUS 2027740 HAS SOUPS 2027740 WITH SCORE 2031408.93
AT ITER 1943 NEW BEST:: SOT 15544333 SOS 3668637 HAS SOPS 3668637 HAS SOUS 2027447 HAS SOUPS 2027447 WITH SCORE 2031115.637
AT ITER 1945 NEW BEST:: SOT 15544333 SOS 3669107 HAS SOPS 3669107 HAS SOUS 2027445 HAS SOUPS 2027445 WITH SCORE 2031114.107
AT ITER 1968 NEW BEST:: SOT 15544332 SOS 3669105 HAS SOPS 3669105 HAS SOUS 2027443 HAS SOUPS 2027443 WITH SCORE 2031112.105
AT ITER 1985 NEW BEST:: SOT 15543678 SOS 3668813 HAS SOPS 3668813 HAS SOUS 2026789 HAS SOUPS 2026789 WITH SCORE 2030457.813
AT ITER 2001 NEW BEST:: SOT 15543009 SOS 3668144 HAS SOPS 3668144 HAS SOUS 2025451 HAS SOUPS 2025451 WITH SCORE 2029119.144
AT ITER 2014 NEW BEST:: SOT 15542221 SOS 3666568 HAS SOPS 3666568 HAS SOUS 2024441 HAS SOUPS 2024441 WITH SCORE 2028107.568
AT ITER 2015 NEW BEST:: SOT 15542520 SOS 3665165 HAS SOPS 3665165 HAS SOUS 2024222 HAS SOUPS 2024222 WITH SCORE 2027887.165
AT ITER 2043 NEW BEST:: SOT 15542520 SOS 3666065 HAS SOPS 3666065 HAS SOUS 2024220 HAS SOUPS 2024220 WITH SCORE 2027886.065
AT ITER 2045 NEW BEST:: SOT 15542491 SOS 3669441 HAS SOPS 3669441 HAS SOUS 2024161 HAS SOUPS 2024161 WITH SCORE 2027830.441
AT ITER 2054 NEW BEST:: SOT 15542051 SOS 3669034 HAS SOPS 3669034 HAS SOUS 2023753 HAS SOUPS 2023753 WITH SCORE 2027422.034
AT ITER 2100 NEW BEST:: SOT 15541857 SOS 3668840 HAS SOPS 3668840 HAS SOUS 2023559 HAS SOUPS 2023559 WITH SCORE 2027227.84
AT ITER 2103 NEW BEST:: SOT 15540887 SOS 3667860 HAS SOPS 3667860 HAS SOUS 2022588 HAS SOUPS 2022588 WITH SCORE 2026255.86
AT ITER 2109 NEW BEST:: SOT 15540703 SOS 3667492 HAS SOPS 3667492 HAS SOUS 2022220 HAS SOUPS 2022220 WITH SCORE 2025887.492
AT ITER 2110 NEW BEST:: SOT 15540250 SOS 3667472 HAS SOPS 3667472 HAS SOUS 2021995 HAS SOUPS 2021995 WITH SCORE 2025662.472
AT ITER 2129 NEW BEST:: SOT 15539688 SOS 3666348 HAS SOPS 3666348 HAS SOUS 2020871 HAS SOUPS 2020871 WITH SCORE 2024537.348
AT ITER 2132 NEW BEST:: SOT 15539134 SOS 3666029 HAS SOPS 3666029 HAS SOUS 2020552 HAS SOUPS 2020552 WITH SCORE 2024218.029
AT ITER 2141 NEW BEST:: SOT 15539134 SOS 3666026 HAS SOPS 3666026 HAS SOUS 2020551 HAS SOUPS 2020551 WITH SCORE 2024217.026
AT ITER 2167 NEW BEST:: SOT 15539133 SOS 3666024 HAS SOPS 3666024 HAS SOUS 2020549 HAS SOUPS 2020549 WITH SCORE 2024215.024
AT ITER 2172 NEW BEST:: SOT 15538711 SOS 3665180 HAS SOPS 3665180 HAS SOUS 2020278 HAS SOUPS 2020278 WITH SCORE 2023943.18
AT ITER 2180 NEW BEST:: SOT 15538711 SOS 3665137 HAS SOPS 3665137 HAS SOUS 2020278 HAS SOUPS 2020278 WITH SCORE 2023943.137
AT ITER 2195 NEW BEST:: SOT 15538710 SOS 3666178 HAS SOPS 3666178 HAS SOUS 2020275 HAS SOUPS 2020275 WITH SCORE 2023941.178
AT ITER 2209 NEW BEST:: SOT 15538661 SOS 3665786 HAS SOPS 3665786 HAS SOUS 2020275 HAS SOUPS 2020275 WITH SCORE 2023940.786
AT ITER 2242 NEW BEST:: SOT 15538784 SOS 3664655 HAS SOPS 3664655 HAS SOUS 2020000 HAS SOUPS 2020000 WITH SCORE 2023664.655
AT ITER 2247 NEW BEST:: SOT 15538784 SOS 3663356 HAS SOPS 3663356 HAS SOUS 2019567 HAS SOUPS 2019567 WITH SCORE 2023230.356
AT ITER 2264 NEW BEST:: SOT 15538861 SOS 3663510 HAS SOPS 3663510 HAS SOUS 2019097 HAS SOUPS 2019097 WITH SCORE 2022760.51
AT ITER 2302 NEW BEST:: SOT 15538965 SOS 3663718 HAS SOPS 3663718 HAS SOUS 2018087 HAS SOUPS 2018087 WITH SCORE 2021750.718
AT ITER 2308 NEW BEST:: SOT 15538840 SOS 3663468 HAS SOPS 3663468 HAS SOUS 2017888 HAS SOUPS 2017888 WITH SCORE 2021551.468
AT ITER 2314 NEW BEST:: SOT 15538261 SOS 3669230 HAS SOPS 3669230 HAS SOUS 2016729 HAS SOUPS 2016729 WITH SCORE 2020398.23
AT ITER 2320 NEW BEST:: SOT 15538116 SOS 3669085 HAS SOPS 3669085 HAS SOUS 2016584 HAS SOUPS 2016584 WITH SCORE 2020253.085
AT ITER 2322 NEW BEST:: SOT 15538082 SOS 3669017 HAS SOPS 3669017 HAS SOUS 2016516 HAS SOUPS 2016516 WITH SCORE 2020185.017
AT ITER 2325 NEW BEST:: SOT 15537802 SOS 3669013 HAS SOPS 3669013 HAS SOUS 2016337 HAS SOUPS 2016337 WITH SCORE 2020006.013
AT ITER 2353 NEW BEST:: SOT 15537137 SOS 3669012 HAS SOPS 3669012 HAS SOUS 2016322 HAS SOUPS 2016322 WITH SCORE 2019991.012
AT ITER 2367 NEW BEST:: SOT 15537137 SOS 3669182 HAS SOPS 3669182 HAS SOUS 2016318 HAS SOUPS 2016318 WITH SCORE 2019987.182
AT ITER 2389 NEW BEST:: SOT 15537471 SOS 3669850 HAS SOPS 3669850 HAS SOUS 2016276 HAS SOUPS 2016276 WITH SCORE 2019945.85
AT ITER 2395 NEW BEST:: SOT 15537474 SOS 3669486 HAS SOPS 3669486 HAS SOUS 2015912 HAS SOUPS 2015912 WITH SCORE 2019581.486
AT ITER 2406 NEW BEST:: SOT 15536702 SOS 3669100 HAS SOPS 3669100 HAS SOUS 2015526 HAS SOUPS 2015526 WITH SCORE 2019195.1
AT ITER 2410 NEW BEST:: SOT 15536656 SOS 3667704 HAS SOPS 3667704 HAS SOUS 2014663 HAS SOUPS 2014663 WITH SCORE 2018330.704
AT ITER 2421 NEW BEST:: SOT 15536119 SOS 3667760 HAS SOPS 3667760 HAS SOUS 2014623 HAS SOUPS 2014623 WITH SCORE 2018290.76
AT ITER 2424 NEW BEST:: SOT 15536118 SOS 3667758 HAS SOPS 3667758 HAS SOUS 2014621 HAS SOUPS 2014621 WITH SCORE 2018288.758
AT ITER 2439 NEW BEST:: SOT 15536042 SOS 3667606 HAS SOPS 3667606 HAS SOUS 2014469 HAS SOUPS 2014469 WITH SCORE 2018136.606
AT ITER 2450 NEW BEST:: SOT 15536332 SOS 3674620 HAS SOPS 3674620 HAS SOUS 2014412 HAS SOUPS 2014412 WITH SCORE 2018086.62
AT ITER 2493 NEW BEST:: SOT 15535892 SOS 3673232 HAS SOPS 3673232 HAS SOUS 2013024 HAS SOUPS 2013024 WITH SCORE 2016697.232
AT ITER 2567 NEW BEST:: SOT 15535798 SOS 3673964 HAS SOPS 3673964 HAS SOUS 2012928 HAS SOUPS 2012928 WITH SCORE 2016601.964
AT ITER 2620 NEW BEST:: SOT 15535213 SOS 3673647 HAS SOPS 3673647 HAS SOUS 2012611 HAS SOUPS 2012611 WITH SCORE 2016284.647
AT ITER 2624 NEW BEST:: SOT 15535176 SOS 3673933 HAS SOPS 3673933 HAS SOUS 2012573 HAS SOUPS 2012573 WITH SCORE 2016246.933
AT ITER 2647 NEW BEST:: SOT 15535006 SOS 3674495 HAS SOPS 3674495 HAS SOUS 2012558 HAS SOUPS 2012558 WITH SCORE 2016232.495
AT ITER 2716 NEW BEST:: SOT 15535006 SOS 3674301 HAS SOPS 3674301 HAS SOUS 2012558 HAS SOUPS 2012558 WITH SCORE 2016232.301
AT ITER 2736 NEW BEST:: SOT 15534658 SOS 3674649 HAS SOPS 3674649 HAS SOUS 2012210 HAS SOUPS 2012210 WITH SCORE 2015884.649
AT ITER 2787 NEW BEST:: SOT 15534398 SOS 3672569 HAS SOPS 3672569 HAS SOUS 2011778 HAS SOUPS 2011778 WITH SCORE 2015450.569
AT ITER 2797 NEW BEST:: SOT 15533878 SOS 3672413 HAS SOPS 3672413 HAS SOUS 2011622 HAS SOUPS 2011622 WITH SCORE 2015294.413
AT ITER 2825 NEW BEST:: SOT 15533878 SOS 3672389 HAS SOPS 3672389 HAS SOUS 2011598 HAS SOUPS 2011598 WITH SCORE 2015270.389
AT ITER 2829 NEW BEST:: SOT 15533373 SOS 3671747 HAS SOPS 3671747 HAS SOUS 2010956 HAS SOUPS 2010956 WITH SCORE 2014627.747
AT ITER 2835 NEW BEST:: SOT 15532594 SOS 3672786 HAS SOPS 3672786 HAS SOUS 2009225 HAS SOUPS 2009225 WITH SCORE 2012897.786
AT ITER 2905 NEW BEST:: SOT 15532552 SOS 3672866 HAS SOPS 3672866 HAS SOUS 2009182 HAS SOUPS 2009182 WITH SCORE 2012854.866
AT ITER 2943 NEW BEST:: SOT 15532372 SOS 3672773 HAS SOPS 3672773 HAS SOUS 2009080 HAS SOUPS 2009080 WITH SCORE 2012752.773
AT ITER 2960 NEW BEST:: SOT 15532107 SOS 3669858 HAS SOPS 3669858 HAS SOUS 2008550 HAS SOUPS 2008550 WITH SCORE 2012219.858
AT ITER 2994 NEW BEST:: SOT 15532046 SOS 3669919 HAS SOPS 3669919 HAS SOUS 2008489 HAS SOUPS 2008489 WITH SCORE 2012158.919
AT ITER 3009 NEW BEST:: SOT 15531636 SOS 3670326 HAS SOPS 3670326 HAS SOUS 2008078 HAS SOUPS 2008078 WITH SCORE 2011748.326
AT ITER 3030 NEW BEST:: SOT 15530284 SOS 3667326 HAS SOPS 3667326 HAS SOUS 2006605 HAS SOUPS 2006605 WITH SCORE 2010272.326
AT ITER 3056 NEW BEST:: SOT 15530284 SOS 3667326 HAS SOPS 3667326 HAS SOUS 2006499 HAS SOUPS 2006499 WITH SCORE 2010166.326
AT ITER 3059 NEW BEST:: SOT 15529875 SOS 3666508 HAS SOPS 3666508 HAS SOUS 2006189 HAS SOUPS 2006189 WITH SCORE 2009855.508
AT ITER 3072 NEW BEST:: SOT 15529875 SOS 3666628 HAS SOPS 3666628 HAS SOUS 2006187 HAS SOUPS 2006187 WITH SCORE 2009853.628
AT ITER 3125 NEW BEST:: SOT 15529596 SOS 3666070 HAS SOPS 3666070 HAS SOUS 2005993 HAS SOUPS 2005993 WITH SCORE 2009659.07
AT ITER 3138 NEW BEST:: SOT 15529328 SOS 3665534 HAS SOPS 3665534 HAS SOUS 2005457 HAS SOUPS 2005457 WITH SCORE 2009122.534
AT ITER 3194 NEW BEST:: SOT 15529078 SOS 3657812 HAS SOPS 3657812 HAS SOUS 2005464 HAS SOUPS 2005464 WITH SCORE 2009121.812
AT ITER 3224 NEW BEST:: SOT 15528770 SOS 3658634 HAS SOPS 3658634 HAS SOUS 2005166 HAS SOUPS 2005166 WITH SCORE 2008824.634
AT ITER 3228 NEW BEST:: SOT 15528748 SOS 3658612 HAS SOPS 3658612 HAS SOUS 2005164 HAS SOUPS 2005164 WITH SCORE 2008822.612
AT ITER 3244 NEW BEST:: SOT 15528748 SOS 3658612 HAS SOPS 3658612 HAS SOUS 2005163 HAS SOUPS 2005163 WITH SCORE 2008821.612
AT ITER 3293 NEW BEST:: SOT 15528748 SOS 3658454 HAS SOPS 3658454 HAS SOUS 2005162 HAS SOUPS 2005162 WITH SCORE 2008820.454
AT ITER 3307 NEW BEST:: SOT 15528748 SOS 3658972 HAS SOPS 3658972 HAS SOUS 2005160 HAS SOUPS 2005160 WITH SCORE 2008818.972
AT ITER 3323 NEW BEST:: SOT 15528473 SOS 3658422 HAS SOPS 3658422 HAS SOUS 2004610 HAS SOUPS 2004610 WITH SCORE 2008268.422
AT ITER 3352 NEW BEST:: SOT 15528473 SOS 3659368 HAS SOPS 3659368 HAS SOUS 2004222 HAS SOUPS 2004222 WITH SCORE 2007881.368
AT ITER 3408 NEW BEST:: SOT 15528218 SOS 3660007 HAS SOPS 3660007 HAS SOUS 2003967 HAS SOUPS 2003967 WITH SCORE 2007627.007
AT ITER 3412 NEW BEST:: SOT 15527845 SOS 3659715 HAS SOPS 3659715 HAS SOUS 2003675 HAS SOUPS 2003675 WITH SCORE 2007334.715
AT ITER 3414 NEW BEST:: SOT 15527464 SOS 3664092 HAS SOPS 3664092 HAS SOUS 2003396 HAS SOUPS 2003396 WITH SCORE 2007060.092
AT ITER 3416 NEW BEST:: SOT 15527092 SOS 3663348 HAS SOPS 3663348 HAS SOUS 2002652 HAS SOUPS 2002652 WITH SCORE 2006315.348
AT ITER 3456 NEW BEST:: SOT 15526750 SOS 3662664 HAS SOPS 3662664 HAS SOUS 2001861 HAS SOUPS 2001861 WITH SCORE 2005523.664
AT ITER 3467 NEW BEST:: SOT 15526596 SOS 3662574 HAS SOPS 3662574 HAS SOUS 2001771 HAS SOUPS 2001771 WITH SCORE 2005433.574
AT ITER 3492 NEW BEST:: SOT 15525468 SOS 3661446 HAS SOPS 3661446 HAS SOUS 1999515 HAS SOUPS 1999515 WITH SCORE 2003176.446
AT ITER 3501 NEW BEST:: SOT 15524987 SOS 3665398 HAS SOPS 3665398 HAS SOUS 1999034 HAS SOUPS 1999034 WITH SCORE 2002699.398
AT ITER 3506 NEW BEST:: SOT 15524218 SOS 3663699 HAS SOPS 3663699 HAS SOUS 1998172 HAS SOUPS 1998172 WITH SCORE 2001835.699
AT ITER 3521 NEW BEST:: SOT 15523848 SOS 3657012 HAS SOPS 3657012 HAS SOUS 1997920 HAS SOUPS 1997920 WITH SCORE 2001577.012
AT ITER 3538 NEW BEST:: SOT 15523635 SOS 3656586 HAS SOPS 3656586 HAS SOUS 1997494 HAS SOUPS 1997494 WITH SCORE 2001150.586
AT ITER 3585 NEW BEST:: SOT 15523277 SOS 3659730 HAS SOPS 3659730 HAS SOUS 1996777 HAS SOUPS 1996777 WITH SCORE 2000436.73
AT ITER 3586 NEW BEST:: SOT 15523276 SOS 3660753 HAS SOPS 3660753 HAS SOUS 1996774 HAS SOUPS 1996774 WITH SCORE 2000434.753
AT ITER 3593 NEW BEST:: SOT 15523272 SOS 3662733 HAS SOPS 3662733 HAS SOUS 1996765 HAS SOUPS 1996765 WITH SCORE 2000427.733
AT ITER 3601 NEW BEST:: SOT 15523086 SOS 3662361 HAS SOPS 3662361 HAS SOUS 1996393 HAS SOUPS 1996393 WITH SCORE 2000055.361
AT ITER 3631 NEW BEST:: SOT 15523087 SOS 3660458 HAS SOPS 3660458 HAS SOUS 1995611 HAS SOUPS 1995611 WITH SCORE 1999271.458
AT ITER 3634 NEW BEST:: SOT 15523359 SOS 3659082 HAS SOPS 3659082 HAS SOUS 1995243 HAS SOUPS 1995243 WITH SCORE 1998902.082
AT ITER 3635 NEW BEST:: SOT 15523359 SOS 3657960 HAS SOPS 3657960 HAS SOUS 1995243 HAS SOUPS 1995243 WITH SCORE 1998900.96
AT ITER 3638 NEW BEST:: SOT 15522371 SOS 3656972 HAS SOPS 3656972 HAS SOUS 1994255 HAS SOUPS 1994255 WITH SCORE 1997911.972
AT ITER 3640 NEW BEST:: SOT 15521454 SOS 3656446 HAS SOPS 3656446 HAS SOUS 1993590 HAS SOUPS 1993590 WITH SCORE 1997246.446
AT ITER 3647 NEW BEST:: SOT 15519786 SOS 3654778 HAS SOPS 3654778 HAS SOUS 1991922 HAS SOUPS 1991922 WITH SCORE 1995576.778
AT ITER 3648 NEW BEST:: SOT 15519696 SOS 3654598 HAS SOPS 3654598 HAS SOUS 1991832 HAS SOUPS 1991832 WITH SCORE 1995486.598
AT ITER 3649 NEW BEST:: SOT 15519494 SOS 3654194 HAS SOPS 3654194 HAS SOUS 1991428 HAS SOUPS 1991428 WITH SCORE 1995082.194
AT ITER 3673 NEW BEST:: SOT 15520491 SOS 3645617 HAS SOPS 3645617 HAS SOUS 1989421 HAS SOUPS 1989421 WITH SCORE 1993066.617
AT ITER 3707 NEW BEST:: SOT 15520491 SOS 3645593 HAS SOPS 3645593 HAS SOUS 1989397 HAS SOUPS 1989397 WITH SCORE 1993042.593
AT ITER 3718 NEW BEST:: SOT 15520462 SOS 3645535 HAS SOPS 3645535 HAS SOUS 1989339 HAS SOUPS 1989339 WITH SCORE 1992984.535
AT ITER 3719 NEW BEST:: SOT 15519931 SOS 3645532 HAS SOPS 3645532 HAS SOUS 1988276 HAS SOUPS 1988276 WITH SCORE 1991921.532
AT ITER 3730 NEW BEST:: SOT 15519499 SOS 3644458 HAS SOPS 3644458 HAS SOUS 1987918 HAS SOUPS 1987918 WITH SCORE 1991562.458
AT ITER 3741 NEW BEST:: SOT 15519389 SOS 3644568 HAS SOPS 3644568 HAS SOUS 1987808 HAS SOUPS 1987808 WITH SCORE 1991452.568
AT ITER 3788 NEW BEST:: SOT 15519042 SOS 3644568 HAS SOPS 3644568 HAS SOUS 1987289 HAS SOUPS 1987289 WITH SCORE 1990933.568
AT ITER 3791 NEW BEST:: SOT 15518581 SOS 3644103 HAS SOPS 3644103 HAS SOUS 1987250 HAS SOUPS 1987250 WITH SCORE 1990894.103
AT ITER 3830 NEW BEST:: SOT 15518581 SOS 3644534 HAS SOPS 3644534 HAS SOUS 1987249 HAS SOUPS 1987249 WITH SCORE 1990893.534
AT ITER 3833 NEW BEST:: SOT 15518472 SOS 3644316 HAS SOPS 3644316 HAS SOUS 1987140 HAS SOUPS 1987140 WITH SCORE 1990784.316
AT ITER 3835 NEW BEST:: SOT 15518490 SOS 3644352 HAS SOPS 3644352 HAS SOUS 1987004 HAS SOUPS 1987004 WITH SCORE 1990648.352
AT ITER 3859 NEW BEST:: SOT 15517150 SOS 3643988 HAS SOPS 3643988 HAS SOUS 1986640 HAS SOUPS 1986640 WITH SCORE 1990283.988
AT ITER 3874 NEW BEST:: SOT 15517089 SOS 3643785 HAS SOPS 3643785 HAS SOUS 1986579 HAS SOUPS 1986579 WITH SCORE 1990222.785
AT ITER 3953 NEW BEST:: SOT 15516953 SOS 3643649 HAS SOPS 3643649 HAS SOUS 1986443 HAS SOUPS 1986443 WITH SCORE 1990086.649
AT ITER 3964 NEW BEST:: SOT 15516982 SOS 3643562 HAS SOPS 3643562 HAS SOUS 1986356 HAS SOUPS 1986356 WITH SCORE 1989999.562
AT ITER 3977 NEW BEST:: SOT 15516957 SOS 3643512 HAS SOPS 3643512 HAS SOUS 1986306 HAS SOUPS 1986306 WITH SCORE 1989949.512
AT ITER 3984 NEW BEST:: SOT 15516957 SOS 3643336 HAS SOPS 3643336 HAS SOUS 1986218 HAS SOUPS 1986218 WITH SCORE 1989861.336
AT ITER 3990 NEW BEST:: SOT 15516414 SOS 3642872 HAS SOPS 3642872 HAS SOUS 1986066 HAS SOUPS 1986066 WITH SCORE 1989708.872
AT ITER 4009 NEW BEST:: SOT 15516101 SOS 3643181 HAS SOPS 3643181 HAS SOUS 1985439 HAS SOUPS 1985439 WITH SCORE 1989082.181
AT ITER 4025 NEW BEST:: SOT 15515456 SOS 3641891 HAS SOPS 3641891 HAS SOUS 1984680 HAS SOUPS 1984680 WITH SCORE 1988321.891
AT ITER 4028 NEW BEST:: SOT 15515430 SOS 3642680 HAS SOPS 3642680 HAS SOUS 1984654 HAS SOUPS 1984654 WITH SCORE 1988296.68
AT ITER 4085 NEW BEST:: SOT 15515430 SOS 3641615 HAS SOPS 3641615 HAS SOUS 1984299 HAS SOUPS 1984299 WITH SCORE 1987940.615
AT ITER 4104 NEW BEST:: SOT 15515292 SOS 3639539 HAS SOPS 3639539 HAS SOUS 1983492 HAS SOUPS 1983492 WITH SCORE 1987131.539
AT ITER 4105 NEW BEST:: SOT 15515292 SOS 3639924 HAS SOPS 3639924 HAS SOUS 1983491 HAS SOUPS 1983491 WITH SCORE 1987130.924
AT ITER 4115 NEW BEST:: SOT 15515173 SOS 3638850 HAS SOPS 3638850 HAS SOUS 1983252 HAS SOUPS 1983252 WITH SCORE 1986890.85
AT ITER 4130 NEW BEST:: SOT 15514994 SOS 3639022 HAS SOPS 3639022 HAS SOUS 1983071 HAS SOUPS 1983071 WITH SCORE 1986710.022
AT ITER 4144 NEW BEST:: SOT 15514838 SOS 3638702 HAS SOPS 3638702 HAS SOUS 1982751 HAS SOUPS 1982751 WITH SCORE 1986389.702
AT ITER 4156 NEW BEST:: SOT 15514018 SOS 3637883 HAS SOPS 3637883 HAS SOUS 1981460 HAS SOUPS 1981460 WITH SCORE 1985097.883
AT ITER 4158 NEW BEST:: SOT 15514018 SOS 3636881 HAS SOPS 3636881 HAS SOUS 1981460 HAS SOUPS 1981460 WITH SCORE 1985096.881
AT ITER 4165 NEW BEST:: SOT 15513904 SOS 3636408 HAS SOPS 3636408 HAS SOUS 1981232 HAS SOUPS 1981232 WITH SCORE 1984868.408
AT ITER 4206 NEW BEST:: SOT 15512771 SOS 3635951 HAS SOPS 3635951 HAS SOUS 1980702 HAS SOUPS 1980702 WITH SCORE 1984337.951
AT ITER 4233 NEW BEST:: SOT 15512556 SOS 3635373 HAS SOPS 3635373 HAS SOUS 1980407 HAS SOUPS 1980407 WITH SCORE 1984042.373
AT ITER 4259 NEW BEST:: SOT 15512578 SOS 3635417 HAS SOPS 3635417 HAS SOUS 1980404 HAS SOUPS 1980404 WITH SCORE 1984039.417
AT ITER 4283 NEW BEST:: SOT 15512691 SOS 3635643 HAS SOPS 3635643 HAS SOUS 1980005 HAS SOUPS 1980005 WITH SCORE 1983640.643
AT ITER 4292 NEW BEST:: SOT 15512290 SOS 3635497 HAS SOPS 3635497 HAS SOUS 1979862 HAS SOUPS 1979862 WITH SCORE 1983497.497
AT ITER 4326 NEW BEST:: SOT 15511867 SOS 3634651 HAS SOPS 3634651 HAS SOUS 1979016 HAS SOUPS 1979016 WITH SCORE 1982650.651
AT ITER 4330 NEW BEST:: SOT 15511259 SOS 3635231 HAS SOPS 3635231 HAS SOUS 1977555 HAS SOUPS 1977555 WITH SCORE 1981190.231
AT ITER 4333 NEW BEST:: SOT 15511259 SOS 3634280 HAS SOPS 3634280 HAS SOUS 1977554 HAS SOUPS 1977554 WITH SCORE 1981188.28
AT ITER 4352 NEW BEST:: SOT 15510507 SOS 3633528 HAS SOPS 3633528 HAS SOUS 1976802 HAS SOUPS 1976802 WITH SCORE 1980435.528
AT ITER 4368 NEW BEST:: SOT 15509904 SOS 3631116 HAS SOPS 3631116 HAS SOUS 1975596 HAS SOUPS 1975596 WITH SCORE 1979227.116
AT ITER 4388 NEW BEST:: SOT 15509115 SOS 3629538 HAS SOPS 3629538 HAS SOUS 1973969 HAS SOUPS 1973969 WITH SCORE 1977598.538
AT ITER 4392 NEW BEST:: SOT 15509020 SOS 3629348 HAS SOPS 3629348 HAS SOUS 1973779 HAS SOUPS 1973779 WITH SCORE 1977408.348
AT ITER 4397 NEW BEST:: SOT 15508899 SOS 3629971 HAS SOPS 3629971 HAS SOUS 1973657 HAS SOUPS 1973657 WITH SCORE 1977286.971
AT ITER 4425 NEW BEST:: SOT 15508899 SOS 3631092 HAS SOPS 3631092 HAS SOUS 1973655 HAS SOUPS 1973655 WITH SCORE 1977286.092
AT ITER 4432 NEW BEST:: SOT 15508978 SOS 3633840 HAS SOPS 3633840 HAS SOUS 1973325 HAS SOUPS 1973325 WITH SCORE 1976958.84
AT ITER 4488 NEW BEST:: SOT 15507860 SOS 3632163 HAS SOPS 3632163 HAS SOUS 1971648 HAS SOUPS 1971648 WITH SCORE 1975280.163
AT ITER 4491 NEW BEST:: SOT 15508126 SOS 3633550 HAS SOPS 3633550 HAS SOUS 1971325 HAS SOUPS 1971325 WITH SCORE 1974958.55
AT ITER 4523 NEW BEST:: SOT 15508050 SOS 3633474 HAS SOPS 3633474 HAS SOUS 1971249 HAS SOUPS 1971249 WITH SCORE 1974882.474
AT ITER 4563 NEW BEST:: SOT 15508068 SOS 3633510 HAS SOPS 3633510 HAS SOUS 1971098 HAS SOUPS 1971098 WITH SCORE 1974731.51
AT ITER 4567 NEW BEST:: SOT 15507857 SOS 3633510 HAS SOPS 3633510 HAS SOUS 1970676 HAS SOUPS 1970676 WITH SCORE 1974309.51
AT ITER 4576 NEW BEST:: SOT 15507631 SOS 3633058 HAS SOPS 3633058 HAS SOUS 1970449 HAS SOUPS 1970449 WITH SCORE 1974082.058
AT ITER 4612 NEW BEST:: SOT 15507292 SOS 3632380 HAS SOPS 3632380 HAS SOUS 1969771 HAS SOUPS 1969771 WITH SCORE 1973403.38
AT ITER 4613 NEW BEST:: SOT 15507082 SOS 3632140 HAS SOPS 3632140 HAS SOUS 1969531 HAS SOUPS 1969531 WITH SCORE 1973163.14
AT ITER 4628 NEW BEST:: SOT 15504502 SOS 3629428 HAS SOPS 3629428 HAS SOUS 1968362 HAS SOUPS 1968362 WITH SCORE 1971991.428
AT ITER 4649 NEW BEST:: SOT 15504505 SOS 3629425 HAS SOPS 3629425 HAS SOUS 1968359 HAS SOUPS 1968359 WITH SCORE 1971988.425
AT ITER 4695 NEW BEST:: SOT 15504505 SOS 3628666 HAS SOPS 3628666 HAS SOUS 1968358 HAS SOUPS 1968358 WITH SCORE 1971986.666
AT ITER 4730 NEW BEST:: SOT 15504335 SOS 3628326 HAS SOPS 3628326 HAS SOUS 1968018 HAS SOUPS 1968018 WITH SCORE 1971646.326
AT ITER 4751 NEW BEST:: SOT 15504295 SOS 3628246 HAS SOPS 3628246 HAS SOUS 1967978 HAS SOUPS 1967978 WITH SCORE 1971606.246
AT ITER 4774 NEW BEST:: SOT 15504295 SOS 3628549 HAS SOPS 3628549 HAS SOUS 1967977 HAS SOUPS 1967977 WITH SCORE 1971605.549
AT ITER 4789 NEW BEST:: SOT 15504295 SOS 3628549 HAS SOPS 3628549 HAS SOUS 1967971 HAS SOUPS 1967971 WITH SCORE 1971599.549
AT ITER 4840 NEW BEST:: SOT 15503288 SOS 3628101 HAS SOPS 3628101 HAS SOUS 1967486 HAS SOUPS 1967486 WITH SCORE 1971114.101
AT ITER 4849 NEW BEST:: SOT 15503162 SOS 3627597 HAS SOPS 3627597 HAS SOUS 1967360 HAS SOUPS 1967360 WITH SCORE 1970987.597
AT ITER 4872 NEW BEST:: SOT 15502948 SOS 3625881 HAS SOPS 3625881 HAS SOUS 1966931 HAS SOUPS 1966931 WITH SCORE 1970556.881
AT ITER 4877 NEW BEST:: SOT 15502331 SOS 3625482 HAS SOPS 3625482 HAS SOUS 1966532 HAS SOUPS 1966532 WITH SCORE 1970157.482
AT ITER 4881 NEW BEST:: SOT 15501053 SOS 3629848 HAS SOPS 3629848 HAS SOUS 1966363 HAS SOUPS 1966363 WITH SCORE 1969992.848
AT ITER 4886 NEW BEST:: SOT 15500708 SOS 3628883 HAS SOPS 3628883 HAS SOUS 1965394 HAS SOUPS 1965394 WITH SCORE 1969022.883
AT ITER 4888 NEW BEST:: SOT 15499999 SOS 3633846 HAS SOPS 3633846 HAS SOUS 1964685 HAS SOUPS 1964685 WITH SCORE 1968318.846
AT ITER 4891 NEW BEST:: SOT 15499984 SOS 3633816 HAS SOPS 3633816 HAS SOUS 1964655 HAS SOUPS 1964655 WITH SCORE 1968288.816
AT ITER 4892 NEW BEST:: SOT 15499433 SOS 3633265 HAS SOPS 3633265 HAS SOUS 1964483 HAS SOUPS 1964483 WITH SCORE 1968116.265
AT ITER 4896 NEW BEST:: SOT 15496907 SOS 3634173 HAS SOPS 3634173 HAS SOUS 1962356 HAS SOUPS 1962356 WITH SCORE 1965990.173
AT ITER 4905 NEW BEST:: SOT 15496907 SOS 3633997 HAS SOPS 3633997 HAS SOUS 1962356 HAS SOUPS 1962356 WITH SCORE 1965989.997
AT ITER 4932 NEW BEST:: SOT 15496748 SOS 3634156 HAS SOPS 3634156 HAS SOUS 1962197 HAS SOUPS 1962197 WITH SCORE 1965831.156
AT ITER 4935 NEW BEST:: SOT 15496630 SOS 3634093 HAS SOPS 3634093 HAS SOUS 1962078 HAS SOUPS 1962078 WITH SCORE 1965712.093
AT ITER 4938 NEW BEST:: SOT 15496612 SOS 3634057 HAS SOPS 3634057 HAS SOUS 1962078 HAS SOUPS 1962078 WITH SCORE 1965712.057
AT ITER 4942 NEW BEST:: SOT 15495350 SOS 3632206 HAS SOPS 3632206 HAS SOUS 1960227 HAS SOUPS 1960227 WITH SCORE 1963859.206
AT ITER 4950 NEW BEST:: SOT 15495258 SOS 3632022 HAS SOPS 3632022 HAS SOUS 1960135 HAS SOUPS 1960135 WITH SCORE 1963767.022
AT ITER 4980 NEW BEST:: SOT 15494575 SOS 3631329 HAS SOPS 3631329 HAS SOUS 1959451 HAS SOUPS 1959451 WITH SCORE 1963082.329
AT ITER 5029 NEW BEST:: SOT 15494449 SOS 3631077 HAS SOPS 3631077 HAS SOUS 1959199 HAS SOUPS 1959199 WITH SCORE 1962830.077
AT ITER 5054 NEW BEST:: SOT 15493153 SOS 3623301 HAS SOPS 3623301 HAS SOUS 1957255 HAS SOUPS 1957255 WITH SCORE 1960878.301
AT ITER 5114 NEW BEST:: SOT 15493153 SOS 3628629 HAS SOPS 3628629 HAS SOUS 1956937 HAS SOUPS 1956937 WITH SCORE 1960565.629
AT ITER 5132 NEW BEST:: SOT 15491280 SOS 3630948 HAS SOPS 3630948 HAS SOUS 1955596 HAS SOUPS 1955596 WITH SCORE 1959226.948
AT ITER 5135 NEW BEST:: SOT 15491280 SOS 3629532 HAS SOPS 3629532 HAS SOUS 1955124 HAS SOUPS 1955124 WITH SCORE 1958753.532
AT ITER 5145 NEW BEST:: SOT 15491280 SOS 3629528 HAS SOPS 3629528 HAS SOUS 1955123 HAS SOUPS 1955123 WITH SCORE 1958752.528
AT ITER 5146 NEW BEST:: SOT 15491137 SOS 3629384 HAS SOPS 3629384 HAS SOUS 1954979 HAS SOUPS 1954979 WITH SCORE 1958608.384
AT ITER 5160 NEW BEST:: SOT 15491087 SOS 3629284 HAS SOPS 3629284 HAS SOUS 1954879 HAS SOUPS 1954879 WITH SCORE 1958508.284
AT ITER 5177 NEW BEST:: SOT 15491087 SOS 3628423 HAS SOPS 3628423 HAS SOUS 1954592 HAS SOUPS 1954592 WITH SCORE 1958220.423
AT ITER 5195 NEW BEST:: SOT 15490887 SOS 3627670 HAS SOPS 3627670 HAS SOUS 1954039 HAS SOUPS 1954039 WITH SCORE 1957666.67
AT ITER 5244 NEW BEST:: SOT 15491225 SOS 3630172 HAS SOPS 3630172 HAS SOUS 1953864 HAS SOUPS 1953864 WITH SCORE 1957494.172
AT ITER 5250 NEW BEST:: SOT 15491225 SOS 3629954 HAS SOPS 3629954 HAS SOUS 1953646 HAS SOUPS 1953646 WITH SCORE 1957275.954
AT ITER 5255 NEW BEST:: SOT 15490669 SOS 3629954 HAS SOPS 3629954 HAS SOUS 1952640 HAS SOUPS 1952640 WITH SCORE 1956269.954
AT ITER 5270 NEW BEST:: SOT 15490669 SOS 3629108 HAS SOPS 3629108 HAS SOUS 1952358 HAS SOUPS 1952358 WITH SCORE 1955987.108
AT ITER 5272 NEW BEST:: SOT 15491001 SOS 3628533 HAS SOPS 3628533 HAS SOUS 1952183 HAS SOUPS 1952183 WITH SCORE 1955811.533
AT ITER 5275 NEW BEST:: SOT 15490733 SOS 3628494 HAS SOPS 3628494 HAS SOUS 1952146 HAS SOUPS 1952146 WITH SCORE 1955774.494
AT ITER 5287 NEW BEST:: SOT 15490733 SOS 3628996 HAS SOPS 3628996 HAS SOUS 1951242 HAS SOUPS 1951242 WITH SCORE 1954870.996
AT ITER 5305 NEW BEST:: SOT 15490205 SOS 3628534 HAS SOPS 3628534 HAS SOUS 1950780 HAS SOUPS 1950780 WITH SCORE 1954408.534
AT ITER 5312 NEW BEST:: SOT 15489777 SOS 3632298 HAS SOPS 3632298 HAS SOUS 1950700 HAS SOUPS 1950700 WITH SCORE 1954332.298
AT ITER 5334 NEW BEST:: SOT 15489777 SOS 3633202 HAS SOPS 3633202 HAS SOUS 1950677 HAS SOUPS 1950677 WITH SCORE 1954310.202
AT ITER 5347 NEW BEST:: SOT 15489777 SOS 3633306 HAS SOPS 3633306 HAS SOUS 1950676 HAS SOUPS 1950676 WITH SCORE 1954309.306
AT ITER 5361 NEW BEST:: SOT 15489636 SOS 3633192 HAS SOPS 3633192 HAS SOUS 1950562 HAS SOUPS 1950562 WITH SCORE 1954195.192
AT ITER 5367 NEW BEST:: SOT 15489463 SOS 3633087 HAS SOPS 3633087 HAS SOUS 1950389 HAS SOUPS 1950389 WITH SCORE 1954022.087
AT ITER 5381 NEW BEST:: SOT 15489391 SOS 3632943 HAS SOPS 3632943 HAS SOUS 1950317 HAS SOUPS 1950317 WITH SCORE 1953949.943
AT ITER 5436 NEW BEST:: SOT 15489425 SOS 3632856 HAS SOPS 3632856 HAS SOUS 1950230 HAS SOUPS 1950230 WITH SCORE 1953862.856
AT ITER 5448 NEW BEST:: SOT 15489391 SOS 3632788 HAS SOPS 3632788 HAS SOUS 1950161 HAS SOUPS 1950161 WITH SCORE 1953793.788
AT ITER 5495 NEW BEST:: SOT 15489029 SOS 3632557 HAS SOPS 3632557 HAS SOUS 1949913 HAS SOUPS 1949913 WITH SCORE 1953545.557
AT ITER 5497 NEW BEST:: SOT 15489005 SOS 3632533 HAS SOPS 3632533 HAS SOUS 1949879 HAS SOUPS 1949879 WITH SCORE 1953511.533
AT ITER 5506 NEW BEST:: SOT 15488997 SOS 3632832 HAS SOPS 3632832 HAS SOUS 1949834 HAS SOUPS 1949834 WITH SCORE 1953466.832
AT ITER 5513 NEW BEST:: SOT 15488913 SOS 3632660 HAS SOPS 3632660 HAS SOUS 1949665 HAS SOUPS 1949665 WITH SCORE 1953297.66
AT ITER 5530 NEW BEST:: SOT 15488579 SOS 3632326 HAS SOPS 3632326 HAS SOUS 1949331 HAS SOUPS 1949331 WITH SCORE 1952963.326
AT ITER 5552 NEW BEST:: SOT 15488522 SOS 3632269 HAS SOPS 3632269 HAS SOUS 1949274 HAS SOUPS 1949274 WITH SCORE 1952906.269
AT ITER 5580 NEW BEST:: SOT 15487479 SOS 3631275 HAS SOPS 3631275 HAS SOUS 1948280 HAS SOUPS 1948280 WITH SCORE 1951911.275
AT ITER 5600 NEW BEST:: SOT 15487251 SOS 3630819 HAS SOPS 3630819 HAS SOUS 1948234 HAS SOUPS 1948234 WITH SCORE 1951864.819
AT ITER 5608 NEW BEST:: SOT 15487505 SOS 3637149 HAS SOPS 3637149 HAS SOUS 1948093 HAS SOUPS 1948093 WITH SCORE 1951730.149
AT ITER 5617 NEW BEST:: SOT 15487435 SOS 3637009 HAS SOPS 3637009 HAS SOUS 1947953 HAS SOUPS 1947953 WITH SCORE 1951590.009
AT ITER 5619 NEW BEST:: SOT 15487234 SOS 3636913 HAS SOPS 3636913 HAS SOUS 1947854 HAS SOUPS 1947854 WITH SCORE 1951490.913
AT ITER 5626 NEW BEST:: SOT 15487135 SOS 3636913 HAS SOPS 3636913 HAS SOUS 1947755 HAS SOUPS 1947755 WITH SCORE 1951391.913
AT ITER 5640 NEW BEST:: SOT 15487135 SOS 3636913 HAS SOPS 3636913 HAS SOUS 1947746 HAS SOUPS 1947746 WITH SCORE 1951382.913
AT ITER 5698 NEW BEST:: SOT 15485118 SOS 3636553 HAS SOPS 3636553 HAS SOUS 1946073 HAS SOUPS 1946073 WITH SCORE 1949709.553
AT ITER 5699 NEW BEST:: SOT 15484963 SOS 3636243 HAS SOPS 3636243 HAS SOUS 1945918 HAS SOUPS 1945918 WITH SCORE 1949554.243
AT ITER 5753 NEW BEST:: SOT 15485099 SOS 3635873 HAS SOPS 3635873 HAS SOUS 1945798 HAS SOUPS 1945798 WITH SCORE 1949433.873
AT ITER 5772 NEW BEST:: SOT 15485689 SOS 3637053 HAS SOPS 3637053 HAS SOUS 1945735 HAS SOUPS 1945735 WITH SCORE 1949372.053
AT ITER 5783 NEW BEST:: SOT 15484801 SOS 3636609 HAS SOPS 3636609 HAS SOUS 1944862 HAS SOUPS 1944862 WITH SCORE 1948498.609
AT ITER 5793 NEW BEST:: SOT 15484718 SOS 3636360 HAS SOPS 3636360 HAS SOUS 1944613 HAS SOUPS 1944613 WITH SCORE 1948249.36
AT ITER 5828 NEW BEST:: SOT 15484701 SOS 3636326 HAS SOPS 3636326 HAS SOUS 1944579 HAS SOUPS 1944579 WITH SCORE 1948215.326
AT ITER 5839 NEW BEST:: SOT 15483730 SOS 3634384 HAS SOPS 3634384 HAS SOUS 1942637 HAS SOUPS 1942637 WITH SCORE 1946271.384
AT ITER 5861 NEW BEST:: SOT 15483387 SOS 3633124 HAS SOPS 3633124 HAS SOUS 1942133 HAS SOUPS 1942133 WITH SCORE 1945766.124
AT ITER 5879 NEW BEST:: SOT 15483011 SOS 3633124 HAS SOPS 3633124 HAS SOUS 1941920 HAS SOUPS 1941920 WITH SCORE 1945553.124
AT ITER 5907 NEW BEST:: SOT 15482373 SOS 3632715 HAS SOPS 3632715 HAS SOUS 1941397 HAS SOUPS 1941397 WITH SCORE 1945029.715
AT ITER 5908 NEW BEST:: SOT 15482315 SOS 3632657 HAS SOPS 3632657 HAS SOUS 1941397 HAS SOUPS 1941397 WITH SCORE 1945029.657
AT ITER 5936 NEW BEST:: SOT 15482130 SOS 3631732 HAS SOPS 3631732 HAS SOUS 1941027 HAS SOUPS 1941027 WITH SCORE 1944658.732
AT ITER 5953 NEW BEST:: SOT 15482130 SOS 3630610 HAS SOPS 3630610 HAS SOUS 1940653 HAS SOUPS 1940653 WITH SCORE 1944283.61
AT ITER 5957 NEW BEST:: SOT 15482130 SOS 3630590 HAS SOPS 3630590 HAS SOUS 1940653 HAS SOUPS 1940653 WITH SCORE 1944283.59
AT ITER 5960 NEW BEST:: SOT 15481997 SOS 3630556 HAS SOPS 3630556 HAS SOUS 1940585 HAS SOUPS 1940585 WITH SCORE 1944215.556
AT ITER 5973 NEW BEST:: SOT 15481416 SOS 3629881 HAS SOPS 3629881 HAS SOUS 1939910 HAS SOUPS 1939910 WITH SCORE 1943539.881
AT ITER 5982 NEW BEST:: SOT 15480366 SOS 3629524 HAS SOPS 3629524 HAS SOUS 1939441 HAS SOUPS 1939441 WITH SCORE 1943070.524
AT ITER 6018 NEW BEST:: SOT 15480238 SOS 3628824 HAS SOPS 3628824 HAS SOUS 1939165 HAS SOUPS 1939165 WITH SCORE 1942793.824
AT ITER 6025 NEW BEST:: SOT 15477738 SOS 3632441 HAS SOPS 3632441 HAS SOUS 1937231 HAS SOUPS 1937231 WITH SCORE 1940863.441
AT ITER 6044 NEW BEST:: SOT 15477513 SOS 3632609 HAS SOPS 3632609 HAS SOUS 1937006 HAS SOUPS 1937006 WITH SCORE 1940638.609
AT ITER 6045 NEW BEST:: SOT 15477513 SOS 3632371 HAS SOPS 3632371 HAS SOUS 1937006 HAS SOUPS 1937006 WITH SCORE 1940638.371
AT ITER 6048 NEW BEST:: SOT 15477249 SOS 3631843 HAS SOPS 3631843 HAS SOUS 1936478 HAS SOUPS 1936478 WITH SCORE 1940109.843
AT ITER 6087 NEW BEST:: SOT 15476602 SOS 3631797 HAS SOPS 3631797 HAS SOUS 1936432 HAS SOUPS 1936432 WITH SCORE 1940063.797
AT ITER 6103 NEW BEST:: SOT 15476602 SOS 3632440 HAS SOPS 3632440 HAS SOUS 1936431 HAS SOUPS 1936431 WITH SCORE 1940063.44
AT ITER 6127 NEW BEST:: SOT 15476196 SOS 3631474 HAS SOPS 3631474 HAS SOUS 1936136 HAS SOUPS 1936136 WITH SCORE 1939767.474
AT ITER 6134 NEW BEST:: SOT 15475599 SOS 3630692 HAS SOPS 3630692 HAS SOUS 1935354 HAS SOUPS 1935354 WITH SCORE 1938984.692
AT ITER 6160 NEW BEST:: SOT 15475599 SOS 3622979 HAS SOPS 3622979 HAS SOUS 1935354 HAS SOUPS 1935354 WITH SCORE 1938976.979
AT ITER 6162 NEW BEST:: SOT 15475598 SOS 3622977 HAS SOPS 3622977 HAS SOUS 1935352 HAS SOUPS 1935352 WITH SCORE 1938974.977
AT ITER 6173 NEW BEST:: SOT 15475598 SOS 3622977 HAS SOPS 3622977 HAS SOUS 1935071 HAS SOUPS 1935071 WITH SCORE 1938693.977
AT ITER 6212 NEW BEST:: SOT 15475727 SOS 3622287 HAS SOPS 3622287 HAS SOUS 1934948 HAS SOUPS 1934948 WITH SCORE 1938570.287
AT ITER 6214 NEW BEST:: SOT 15475086 SOS 3622164 HAS SOPS 3622164 HAS SOUS 1933635 HAS SOUPS 1933635 WITH SCORE 1937257.164
AT ITER 6260 NEW BEST:: SOT 15474525 SOS 3622161 HAS SOPS 3622161 HAS SOUS 1932512 HAS SOUPS 1932512 WITH SCORE 1936134.161
AT ITER 6302 NEW BEST:: SOT 15474525 SOS 3622161 HAS SOPS 3622161 HAS SOUS 1932511 HAS SOUPS 1932511 WITH SCORE 1936133.161
AT ITER 6303 NEW BEST:: SOT 15472908 SOS 3618927 HAS SOPS 3618927 HAS SOUS 1929893 HAS SOUPS 1929893 WITH SCORE 1933511.927
AT ITER 6319 NEW BEST:: SOT 15472908 SOS 3618830 HAS SOPS 3618830 HAS SOUS 1929796 HAS SOUPS 1929796 WITH SCORE 1933414.83
AT ITER 6364 NEW BEST:: SOT 15472902 SOS 3618789 HAS SOPS 3618789 HAS SOUS 1929755 HAS SOUPS 1929755 WITH SCORE 1933373.789
AT ITER 6365 NEW BEST:: SOT 15472871 SOS 3618727 HAS SOPS 3618727 HAS SOUS 1929693 HAS SOUPS 1929693 WITH SCORE 1933311.727
AT ITER 6383 NEW BEST:: SOT 15472714 SOS 3618256 HAS SOPS 3618256 HAS SOUS 1929379 HAS SOUPS 1929379 WITH SCORE 1932997.256
AT ITER 6409 NEW BEST:: SOT 15472660 SOS 3618202 HAS SOPS 3618202 HAS SOUS 1929325 HAS SOUPS 1929325 WITH SCORE 1932943.202
AT ITER 6410 NEW BEST:: SOT 15472126 SOS 3617134 HAS SOPS 3617134 HAS SOUS 1928257 HAS SOUPS 1928257 WITH SCORE 1931874.134
AT ITER 6464 NEW BEST:: SOT 15471980 SOS 3616988 HAS SOPS 3616988 HAS SOUS 1928111 HAS SOUPS 1928111 WITH SCORE 1931727.988
AT ITER 6482 NEW BEST:: SOT 15471980 SOS 3616988 HAS SOPS 3616988 HAS SOUS 1928110 HAS SOUPS 1928110 WITH SCORE 1931726.988
AT ITER 6483 NEW BEST:: SOT 15470942 SOS 3617675 HAS SOPS 3617675 HAS SOUS 1928070 HAS SOUPS 1928070 WITH SCORE 1931687.675
AT ITER 6491 NEW BEST:: SOT 15470688 SOS 3614881 HAS SOPS 3614881 HAS SOUS 1927815 HAS SOUPS 1927815 WITH SCORE 1931429.881
AT ITER 6498 NEW BEST:: SOT 15470634 SOS 3614827 HAS SOPS 3614827 HAS SOUS 1927815 HAS SOUPS 1927815 WITH SCORE 1931429.827
AT ITER 6509 NEW BEST:: SOT 15469775 SOS 3613109 HAS SOPS 3613109 HAS SOUS 1926088 HAS SOUPS 1926088 WITH SCORE 1929701.109
AT ITER 6542 NEW BEST:: SOT 15469775 SOS 3613104 HAS SOPS 3613104 HAS SOUS 1926083 HAS SOUPS 1926083 WITH SCORE 1929696.104
AT ITER 6546 NEW BEST:: SOT 15469142 SOS 3611838 HAS SOPS 3611838 HAS SOUS 1925591 HAS SOUPS 1925591 WITH SCORE 1929202.838
AT ITER 6569 NEW BEST:: SOT 15469310 SOS 3612006 HAS SOPS 3612006 HAS SOUS 1925463 HAS SOUPS 1925463 WITH SCORE 1929075.006
AT ITER 6592 NEW BEST:: SOT 15469401 SOS 3611908 HAS SOPS 3611908 HAS SOUS 1925414 HAS SOUPS 1925414 WITH SCORE 1929025.908
AT ITER 6615 NEW BEST:: SOT 15469400 SOS 3611906 HAS SOPS 3611906 HAS SOUS 1925412 HAS SOUPS 1925412 WITH SCORE 1929023.906
AT ITER 6654 NEW BEST:: SOT 15468418 SOS 3610836 HAS SOPS 3610836 HAS SOUS 1923991 HAS SOUPS 1923991 WITH SCORE 1927601.836
AT ITER 6720 NEW BEST:: SOT 15468417 SOS 3610640 HAS SOPS 3610640 HAS SOUS 1923794 HAS SOUPS 1923794 WITH SCORE 1927404.64
AT ITER 6730 NEW BEST:: SOT 15468256 SOS 3610318 HAS SOPS 3610318 HAS SOUS 1923368 HAS SOUPS 1923368 WITH SCORE 1926978.318
AT ITER 6736 NEW BEST:: SOT 15467725 SOS 3611311 HAS SOPS 3611311 HAS SOUS 1922837 HAS SOUPS 1922837 WITH SCORE 1926448.311
AT ITER 6804 NEW BEST:: SOT 15467789 SOS 3611138 HAS SOPS 3611138 HAS SOUS 1922664 HAS SOUPS 1922664 WITH SCORE 1926275.138
AT ITER 6812 NEW BEST:: SOT 15467701 SOS 3610962 HAS SOPS 3610962 HAS SOUS 1922488 HAS SOUPS 1922488 WITH SCORE 1926098.962
AT ITER 6844 NEW BEST:: SOT 15467822 SOS 3611456 HAS SOPS 3611456 HAS SOUS 1922388 HAS SOUPS 1922388 WITH SCORE 1925999.456
AT ITER 6846 NEW BEST:: SOT 15467822 SOS 3611545 HAS SOPS 3611545 HAS SOUS 1922387 HAS SOUPS 1922387 WITH SCORE 1925998.545
AT ITER 6874 NEW BEST:: SOT 15467617 SOS 3611750 HAS SOPS 3611750 HAS SOUS 1922176 HAS SOUPS 1922176 WITH SCORE 1925787.75
AT ITER 6876 NEW BEST:: SOT 15467512 SOS 3612233 HAS SOPS 3612233 HAS SOUS 1922070 HAS SOUPS 1922070 WITH SCORE 1925682.233
AT ITER 6884 NEW BEST:: SOT 15467440 SOS 3612233 HAS SOPS 3612233 HAS SOUS 1922034 HAS SOUPS 1922034 WITH SCORE 1925646.233
AT ITER 6886 NEW BEST:: SOT 15467665 SOS 3610739 HAS SOPS 3610739 HAS SOUS 1921723 HAS SOUPS 1921723 WITH SCORE 1925333.739
AT ITER 6909 NEW BEST:: SOT 15467730 SOS 3611577 HAS SOPS 3611577 HAS SOUS 1921654 HAS SOUPS 1921654 WITH SCORE 1925265.577
AT ITER 6933 NEW BEST:: SOT 15467560 SOS 3611407 HAS SOPS 3611407 HAS SOUS 1921484 HAS SOUPS 1921484 WITH SCORE 1925095.407
AT ITER 6949 NEW BEST:: SOT 15467560 SOS 3611069 HAS SOPS 3611069 HAS SOUS 1921315 HAS SOUPS 1921315 WITH SCORE 1924926.069
AT ITER 6976 NEW BEST:: SOT 15467266 SOS 3611647 HAS SOPS 3611647 HAS SOUS 1921302 HAS SOUPS 1921302 WITH SCORE 1924913.647
AT ITER 7003 NEW BEST:: SOT 15466890 SOS 3612083 HAS SOPS 3612083 HAS SOUS 1920926 HAS SOUPS 1920926 WITH SCORE 1924538.083
AT ITER 7027 NEW BEST:: SOT 15466761 SOS 3611825 HAS SOPS 3611825 HAS SOUS 1920553 HAS SOUPS 1920553 WITH SCORE 1924164.825
AT ITER 7060 NEW BEST:: SOT 15465578 SOS 3610787 HAS SOPS 3610787 HAS SOUS 1919515 HAS SOUPS 1919515 WITH SCORE 1923125.787
AT ITER 7068 NEW BEST:: SOT 15464960 SOS 3609365 HAS SOPS 3609365 HAS SOUS 1919041 HAS SOUPS 1919041 WITH SCORE 1922650.365
AT ITER 7073 NEW BEST:: SOT 15464512 SOS 3608806 HAS SOPS 3608806 HAS SOUS 1918027 HAS SOUPS 1918027 WITH SCORE 1921635.806
AT ITER 7144 NEW BEST:: SOT 15464483 SOS 3608748 HAS SOPS 3608748 HAS SOUS 1917969 HAS SOUPS 1917969 WITH SCORE 1921577.748
AT ITER 7155 NEW BEST:: SOT 15464305 SOS 3609994 HAS SOPS 3609994 HAS SOUS 1917791 HAS SOUPS 1917791 WITH SCORE 1921400.994
AT ITER 7203 NEW BEST:: SOT 15464311 SOS 3610006 HAS SOPS 3610006 HAS SOUS 1917721 HAS SOUPS 1917721 WITH SCORE 1921331.006
AT ITER 7226 NEW BEST:: SOT 15464311 SOS 3609999 HAS SOPS 3609999 HAS SOUS 1917721 HAS SOUPS 1917721 WITH SCORE 1921330.999
AT ITER 7282 NEW BEST:: SOT 15463769 SOS 3607789 HAS SOPS 3607789 HAS SOUS 1917500 HAS SOUPS 1917500 WITH SCORE 1921107.789
AT ITER 7306 NEW BEST:: SOT 15463854 SOS 3607787 HAS SOPS 3607787 HAS SOUS 1917499 HAS SOUPS 1917499 WITH SCORE 1921106.787
AT ITER 7324 NEW BEST:: SOT 15463854 SOS 3607786 HAS SOPS 3607786 HAS SOUS 1917498 HAS SOUPS 1917498 WITH SCORE 1921105.786
AT ITER 7357 NEW BEST:: SOT 15463854 SOS 3608253 HAS SOPS 3608253 HAS SOUS 1917303 HAS SOUPS 1917303 WITH SCORE 1920911.253
AT ITER 7378 NEW BEST:: SOT 15462982 SOS 3607371 HAS SOPS 3607371 HAS SOUS 1916430 HAS SOUPS 1916430 WITH SCORE 1920037.371
AT ITER 7380 NEW BEST:: SOT 15462430 SOS 3610195 HAS SOPS 3610195 HAS SOUS 1915774 HAS SOUPS 1915774 WITH SCORE 1919384.195
AT ITER 7382 NEW BEST:: SOT 15461828 SOS 3604173 HAS SOPS 3604173 HAS SOUS 1914756 HAS SOUPS 1914756 WITH SCORE 1918360.173
AT ITER 7406 NEW BEST:: SOT 15461782 SOS 3604127 HAS SOPS 3604127 HAS SOUS 1914710 HAS SOUPS 1914710 WITH SCORE 1918314.127
AT ITER 7410 NEW BEST:: SOT 15461698 SOS 3603949 HAS SOPS 3603949 HAS SOUS 1914625 HAS SOUPS 1914625 WITH SCORE 1918228.949
AT ITER 7441 NEW BEST:: SOT 15461083 SOS 3603334 HAS SOPS 3603334 HAS SOUS 1914007 HAS SOUPS 1914007 WITH SCORE 1917610.334
AT ITER 7451 NEW BEST:: SOT 15460965 SOS 3603098 HAS SOPS 3603098 HAS SOUS 1913771 HAS SOUPS 1913771 WITH SCORE 1917374.098
AT ITER 7474 NEW BEST:: SOT 15460965 SOS 3602188 HAS SOPS 3602188 HAS SOUS 1913680 HAS SOUPS 1913680 WITH SCORE 1917282.188
AT ITER 7508 NEW BEST:: SOT 15460511 SOS 3601280 HAS SOPS 3601280 HAS SOUS 1913680 HAS SOUPS 1913680 WITH SCORE 1917281.28
AT ITER 7555 NEW BEST:: SOT 15460511 SOS 3601280 HAS SOPS 3601280 HAS SOUS 1913606 HAS SOUPS 1913606 WITH SCORE 1917207.28
AT ITER 7582 NEW BEST:: SOT 15460147 SOS 3600916 HAS SOPS 3600916 HAS SOUS 1913242 HAS SOUPS 1913242 WITH SCORE 1916842.916
AT ITER 7610 NEW BEST:: SOT 15460147 SOS 3600906 HAS SOPS 3600906 HAS SOUS 1913114 HAS SOUPS 1913114 WITH SCORE 1916714.906
AT ITER 7620 NEW BEST:: SOT 15460147 SOS 3600906 HAS SOPS 3600906 HAS SOUS 1912702 HAS SOUPS 1912702 WITH SCORE 1916302.906
AT ITER 7684 NEW BEST:: SOT 15460147 SOS 3599970 HAS SOPS 3599970 HAS SOUS 1912702 HAS SOUPS 1912702 WITH SCORE 1916301.97
AT ITER 7700 NEW BEST:: SOT 15460147 SOS 3599970 HAS SOPS 3599970 HAS SOUS 1912701 HAS SOUPS 1912701 WITH SCORE 1916300.97
AT ITER 7704 NEW BEST:: SOT 15460147 SOS 3599781 HAS SOPS 3599781 HAS SOUS 1912701 HAS SOUPS 1912701 WITH SCORE 1916300.781
AT ITER 7734 NEW BEST:: SOT 15460147 SOS 3599751 HAS SOPS 3599751 HAS SOUS 1912671 HAS SOUPS 1912671 WITH SCORE 1916270.751
AT ITER 7735 NEW BEST:: SOT 15460105 SOS 3599667 HAS SOPS 3599667 HAS SOUS 1912472 HAS SOUPS 1912472 WITH SCORE 1916071.667
AT ITER 7763 NEW BEST:: SOT 15459832 SOS 3599121 HAS SOPS 3599121 HAS SOUS 1912169 HAS SOUPS 1912169 WITH SCORE 1915768.121
AT ITER 7786 NEW BEST:: SOT 15459730 SOS 3599019 HAS SOPS 3599019 HAS SOUS 1912067 HAS SOUPS 1912067 WITH SCORE 1915666.019
AT ITER 7787 NEW BEST:: SOT 15459118 SOS 3598873 HAS SOPS 3598873 HAS SOUS 1911930 HAS SOUPS 1911930 WITH SCORE 1915528.873
AT ITER 7810 NEW BEST:: SOT 15459118 SOS 3597844 HAS SOPS 3597844 HAS SOUS 1911587 HAS SOUPS 1911587 WITH SCORE 1915184.844
AT ITER 7815 NEW BEST:: SOT 15459118 SOS 3597841 HAS SOPS 3597841 HAS SOUS 1911586 HAS SOUPS 1911586 WITH SCORE 1915183.841
AT ITER 7832 NEW BEST:: SOT 15459113 SOS 3597831 HAS SOPS 3597831 HAS SOUS 1911576 HAS SOUPS 1911576 WITH SCORE 1915173.831
AT ITER 7845 NEW BEST:: SOT 15458901 SOS 3598245 HAS SOPS 3598245 HAS SOUS 1911575 HAS SOUPS 1911575 WITH SCORE 1915173.245
AT ITER 7846 NEW BEST:: SOT 15458688 SOS 3598032 HAS SOPS 3598032 HAS SOUS 1911149 HAS SOUPS 1911149 WITH SCORE 1914747.032
AT ITER 7847 NEW BEST:: SOT 15458660 SOS 3597976 HAS SOPS 3597976 HAS SOUS 1911121 HAS SOUPS 1911121 WITH SCORE 1914718.976
AT ITER 7855 NEW BEST:: SOT 15458638 SOS 3597954 HAS SOPS 3597954 HAS SOUS 1911099 HAS SOUPS 1911099 WITH SCORE 1914696.954
AT ITER 7859 NEW BEST:: SOT 15456506 SOS 3595822 HAS SOPS 3595822 HAS SOUS 1908967 HAS SOUPS 1908967 WITH SCORE 1912562.822
AT ITER 7904 NEW BEST:: SOT 15456441 SOS 3595692 HAS SOPS 3595692 HAS SOUS 1908901 HAS SOUPS 1908901 WITH SCORE 1912496.692
AT ITER 7912 NEW BEST:: SOT 15456327 SOS 3595464 HAS SOPS 3595464 HAS SOUS 1908673 HAS SOUPS 1908673 WITH SCORE 1912268.464
AT ITER 7951 NEW BEST:: SOT 15456052 SOS 3594914 HAS SOPS 3594914 HAS SOUS 1908254 HAS SOUPS 1908254 WITH SCORE 1911848.914
AT ITER 8008 NEW BEST:: SOT 15455741 SOS 3596044 HAS SOPS 3596044 HAS SOUS 1907607 HAS SOUPS 1907607 WITH SCORE 1911203.044
AT ITER 8016 NEW BEST:: SOT 15455577 SOS 3595880 HAS SOPS 3595880 HAS SOUS 1907423 HAS SOUPS 1907423 WITH SCORE 1911018.88
AT ITER 8089 NEW BEST:: SOT 15455431 SOS 3595588 HAS SOPS 3595588 HAS SOUS 1907277 HAS SOUPS 1907277 WITH SCORE 1910872.588
AT ITER 8163 NEW BEST:: SOT 15454391 SOS 3595068 HAS SOPS 3595068 HAS SOUS 1906757 HAS SOUPS 1906757 WITH SCORE 1910352.068
AT ITER 8164 NEW BEST:: SOT 15454172 SOS 3594938 HAS SOPS 3594938 HAS SOUS 1906629 HAS SOUPS 1906629 WITH SCORE 1910223.938
AT ITER 8204 NEW BEST:: SOT 15454012 SOS 3594618 HAS SOPS 3594618 HAS SOUS 1906309 HAS SOUPS 1906309 WITH SCORE 1909903.618
AT ITER 8205 NEW BEST:: SOT 15453842 SOS 3594278 HAS SOPS 3594278 HAS SOUS 1905969 HAS SOUPS 1905969 WITH SCORE 1909563.278
AT ITER 8218 NEW BEST:: SOT 15453842 SOS 3592802 HAS SOPS 3592802 HAS SOUS 1905968 HAS SOUPS 1905968 WITH SCORE 1909560.802
AT ITER 8239 NEW BEST:: SOT 15454253 SOS 3592256 HAS SOPS 3592256 HAS SOUS 1905795 HAS SOUPS 1905795 WITH SCORE 1909387.256
AT ITER 8245 NEW BEST:: SOT 15454253 SOS 3592973 HAS SOPS 3592973 HAS SOUS 1905794 HAS SOUPS 1905794 WITH SCORE 1909386.973
AT ITER 8270 NEW BEST:: SOT 15454546 SOS 3600866 HAS SOPS 3600866 HAS SOUS 1905753 HAS SOUPS 1905753 WITH SCORE 1909353.866
AT ITER 8286 NEW BEST:: SOT 15454038 SOS 3601225 HAS SOPS 3601225 HAS SOUS 1904736 HAS SOUPS 1904736 WITH SCORE 1908337.225
AT ITER 8335 NEW BEST:: SOT 15454038 SOS 3601224 HAS SOPS 3601224 HAS SOUS 1904735 HAS SOUPS 1904735 WITH SCORE 1908336.224
AT ITER 8345 NEW BEST:: SOT 15454185 SOS 3601077 HAS SOPS 3601077 HAS SOUS 1904735 HAS SOUPS 1904735 WITH SCORE 1908336.077
AT ITER 8394 NEW BEST:: SOT 15453305 SOS 3600637 HAS SOPS 3600637 HAS SOUS 1904295 HAS SOUPS 1904295 WITH SCORE 1907895.637
AT ITER 8429 NEW BEST:: SOT 15453116 SOS 3600259 HAS SOPS 3600259 HAS SOUS 1904179 HAS SOUPS 1904179 WITH SCORE 1907779.259
AT ITER 8467 NEW BEST:: SOT 15453116 SOS 3600483 HAS SOPS 3600483 HAS SOUS 1904178 HAS SOUPS 1904178 WITH SCORE 1907778.483
AT ITER 8511 NEW BEST:: SOT 15451430 SOS 3600426 HAS SOPS 3600426 HAS SOUS 1903787 HAS SOUPS 1903787 WITH SCORE 1907387.426
AT ITER 8547 NEW BEST:: SOT 15451376 SOS 3601543 HAS SOPS 3601543 HAS SOUS 1903678 HAS SOUPS 1903678 WITH SCORE 1907279.543
AT ITER 8551 NEW BEST:: SOT 15450960 SOS 3601891 HAS SOPS 3601891 HAS SOUS 1903227 HAS SOUPS 1903227 WITH SCORE 1906828.891
AT ITER 8595 NEW BEST:: SOT 15450958 SOS 3601887 HAS SOPS 3601887 HAS SOUS 1903223 HAS SOUPS 1903223 WITH SCORE 1906824.887
AT ITER 8598 NEW BEST:: SOT 15450755 SOS 3599824 HAS SOPS 3599824 HAS SOUS 1902834 HAS SOUPS 1902834 WITH SCORE 1906433.824
AT ITER 8605 NEW BEST:: SOT 15450438 SOS 3599847 HAS SOPS 3599847 HAS SOUS 1902517 HAS SOUPS 1902517 WITH SCORE 1906116.847
AT ITER 8620 NEW BEST:: SOT 15450438 SOS 3599679 HAS SOPS 3599679 HAS SOUS 1902349 HAS SOUPS 1902349 WITH SCORE 1905948.679
AT ITER 8627 NEW BEST:: SOT 15450382 SOS 3599567 HAS SOPS 3599567 HAS SOUS 1902293 HAS SOUPS 1902293 WITH SCORE 1905892.567
AT ITER 8630 NEW BEST:: SOT 15450382 SOS 3599564 HAS SOPS 3599564 HAS SOUS 1902292 HAS SOUPS 1902292 WITH SCORE 1905891.564
AT ITER 8649 NEW BEST:: SOT 15450382 SOS 3599554 HAS SOPS 3599554 HAS SOUS 1902291 HAS SOUPS 1902291 WITH SCORE 1905890.554
AT ITER 8651 NEW BEST:: SOT 15450382 SOS 3599544 HAS SOPS 3599544 HAS SOUS 1902290 HAS SOUPS 1902290 WITH SCORE 1905889.544
AT ITER 8656 NEW BEST:: SOT 15450197 SOS 3599174 HAS SOPS 3599174 HAS SOUS 1901693 HAS SOUPS 1901693 WITH SCORE 1905292.174
AT ITER 8670 NEW BEST:: SOT 15450197 SOS 3598859 HAS SOPS 3598859 HAS SOUS 1901379 HAS SOUPS 1901379 WITH SCORE 1904977.859
AT ITER 8696 NEW BEST:: SOT 15450149 SOS 3598762 HAS SOPS 3598762 HAS SOUS 1901282 HAS SOUPS 1901282 WITH SCORE 1904880.762
AT ITER 8731 NEW BEST:: SOT 15450306 SOS 3598334 HAS SOPS 3598334 HAS SOUS 1901068 HAS SOUPS 1901068 WITH SCORE 1904666.334
AT ITER 8734 NEW BEST:: SOT 15450306 SOS 3599467 HAS SOPS 3599467 HAS SOUS 1900499 HAS SOUPS 1900499 WITH SCORE 1904098.467
AT ITER 8740 NEW BEST:: SOT 15449953 SOS 3599114 HAS SOPS 3599114 HAS SOUS 1900146 HAS SOUPS 1900146 WITH SCORE 1903745.114
AT ITER 8749 NEW BEST:: SOT 15449513 SOS 3599114 HAS SOPS 3599114 HAS SOUS 1899266 HAS SOUPS 1899266 WITH SCORE 1902865.114
AT ITER 8764 NEW BEST:: SOT 15449463 SOS 3599014 HAS SOPS 3599014 HAS SOUS 1899216 HAS SOUPS 1899216 WITH SCORE 1902815.014
AT ITER 8784 NEW BEST:: SOT 15449175 SOS 3599010 HAS SOPS 3599010 HAS SOUS 1899215 HAS SOUPS 1899215 WITH SCORE 1902814.01
AT ITER 8800 NEW BEST:: SOT 15449007 SOS 3598800 HAS SOPS 3598800 HAS SOUS 1899005 HAS SOUPS 1899005 WITH SCORE 1902603.8
AT ITER 8837 NEW BEST:: SOT 15449007 SOS 3598746 HAS SOPS 3598746 HAS SOUS 1898987 HAS SOUPS 1898987 WITH SCORE 1902585.746
AT ITER 8843 NEW BEST:: SOT 15449212 SOS 3599156 HAS SOPS 3599156 HAS SOUS 1898739 HAS SOUPS 1898739 WITH SCORE 1902338.156
AT ITER 8853 NEW BEST:: SOT 15449208 SOS 3599148 HAS SOPS 3599148 HAS SOUS 1898735 HAS SOUPS 1898735 WITH SCORE 1902334.148
AT ITER 8870 NEW BEST:: SOT 15449100 SOS 3598716 HAS SOPS 3598716 HAS SOUS 1898519 HAS SOUPS 1898519 WITH SCORE 1902117.716
AT ITER 8871 NEW BEST:: SOT 15449089 SOS 3598704 HAS SOPS 3598704 HAS SOUS 1898507 HAS SOUPS 1898507 WITH SCORE 1902105.704
AT ITER 8881 NEW BEST:: SOT 15448061 SOS 3596648 HAS SOPS 3596648 HAS SOUS 1896451 HAS SOUPS 1896451 WITH SCORE 1900047.648
AT ITER 8964 NEW BEST:: SOT 15448111 SOS 3596334 HAS SOPS 3596334 HAS SOUS 1896137 HAS SOUPS 1896137 WITH SCORE 1899733.334
AT ITER 8975 NEW BEST:: SOT 15447724 SOS 3596314 HAS SOPS 3596314 HAS SOUS 1895363 HAS SOUPS 1895363 WITH SCORE 1898959.314
AT ITER 9025 NEW BEST:: SOT 15447070 SOS 3597412 HAS SOPS 3597412 HAS SOUS 1894545 HAS SOUPS 1894545 WITH SCORE 1898142.412
AT ITER 9029 NEW BEST:: SOT 15447053 SOS 3597395 HAS SOPS 3597395 HAS SOUS 1894528 HAS SOUPS 1894528 WITH SCORE 1898125.395
AT ITER 9041 NEW BEST:: SOT 15447019 SOS 3597344 HAS SOPS 3597344 HAS SOUS 1894477 HAS SOUPS 1894477 WITH SCORE 1898074.344
AT ITER 9046 NEW BEST:: SOT 15447019 SOS 3600149 HAS SOPS 3600149 HAS SOUS 1894474 HAS SOUPS 1894474 WITH SCORE 1898074.149
AT ITER 9075 NEW BEST:: SOT 15446520 SOS 3599650 HAS SOPS 3599650 HAS SOUS 1894376 HAS SOUPS 1894376 WITH SCORE 1897975.65
AT ITER 9087 NEW BEST:: SOT 15446515 SOS 3599640 HAS SOPS 3599640 HAS SOUS 1894370 HAS SOUPS 1894370 WITH SCORE 1897969.64
AT ITER 9109 NEW BEST:: SOT 15446515 SOS 3599541 HAS SOPS 3599541 HAS SOUS 1894359 HAS SOUPS 1894359 WITH SCORE 1897958.541
AT ITER 9123 NEW BEST:: SOT 15447276 SOS 3602312 HAS SOPS 3602312 HAS SOUS 1893646 HAS SOUPS 1893646 WITH SCORE 1897248.312
AT ITER 9125 NEW BEST:: SOT 15447231 SOS 3602222 HAS SOPS 3602222 HAS SOUS 1893556 HAS SOUPS 1893556 WITH SCORE 1897158.222
AT ITER 9141 NEW BEST:: SOT 15447122 SOS 3602004 HAS SOPS 3602004 HAS SOUS 1893281 HAS SOUPS 1893281 WITH SCORE 1896883.004
AT ITER 9147 NEW BEST:: SOT 15446470 SOS 3601352 HAS SOPS 3601352 HAS SOUS 1892629 HAS SOUPS 1892629 WITH SCORE 1896230.352
AT ITER 9148 NEW BEST:: SOT 15446470 SOS 3601266 HAS SOPS 3601266 HAS SOUS 1892543 HAS SOUPS 1892543 WITH SCORE 1896144.266
AT ITER 9153 NEW BEST:: SOT 15446358 SOS 3601042 HAS SOPS 3601042 HAS SOUS 1892319 HAS SOUPS 1892319 WITH SCORE 1895920.042
AT ITER 9185 NEW BEST:: SOT 15446358 SOS 3600873 HAS SOPS 3600873 HAS SOUS 1892150 HAS SOUPS 1892150 WITH SCORE 1895750.873
AT ITER 9190 NEW BEST:: SOT 15446199 SOS 3600870 HAS SOPS 3600870 HAS SOUS 1891990 HAS SOUPS 1891990 WITH SCORE 1895590.87
AT ITER 9214 NEW BEST:: SOT 15445915 SOS 3600586 HAS SOPS 3600586 HAS SOUS 1891990 HAS SOUPS 1891990 WITH SCORE 1895590.586
AT ITER 9241 NEW BEST:: SOT 15445639 SOS 3594610 HAS SOPS 3594610 HAS SOUS 1891513 HAS SOUPS 1891513 WITH SCORE 1895107.61
AT ITER 9245 NEW BEST:: SOT 15445642 SOS 3599610 HAS SOPS 3599610 HAS SOUS 1891230 HAS SOUPS 1891230 WITH SCORE 1894829.61
AT ITER 9264 NEW BEST:: SOT 15445642 SOS 3599570 HAS SOPS 3599570 HAS SOUS 1891230 HAS SOUPS 1891230 WITH SCORE 1894829.57
AT ITER 9313 NEW BEST:: SOT 15445690 SOS 3595971 HAS SOPS 3595971 HAS SOUS 1891087 HAS SOUPS 1891087 WITH SCORE 1894682.971
AT ITER 9380 NEW BEST:: SOT 15445689 SOS 3595969 HAS SOPS 3595969 HAS SOUS 1891085 HAS SOUPS 1891085 WITH SCORE 1894680.969
AT ITER 9388 NEW BEST:: SOT 15445490 SOS 3595571 HAS SOPS 3595571 HAS SOUS 1890944 HAS SOUPS 1890944 WITH SCORE 1894539.571
AT ITER 9389 NEW BEST:: SOT 15445027 SOS 3594645 HAS SOPS 3594645 HAS SOUS 1890611 HAS SOUPS 1890611 WITH SCORE 1894205.645
AT ITER 9390 NEW BEST:: SOT 15444601 SOS 3594078 HAS SOPS 3594078 HAS SOUS 1890046 HAS SOUPS 1890046 WITH SCORE 1893640.078
AT ITER 9422 NEW BEST:: SOT 15444601 SOS 3594077 HAS SOPS 3594077 HAS SOUS 1890045 HAS SOUPS 1890045 WITH SCORE 1893639.077
AT ITER 9430 NEW BEST:: SOT 15444545 SOS 3593965 HAS SOPS 3593965 HAS SOUS 1889989 HAS SOUPS 1889989 WITH SCORE 1893582.965
AT ITER 9436 NEW BEST:: SOT 15444545 SOS 3594392 HAS SOPS 3594392 HAS SOUS 1889988 HAS SOUPS 1889988 WITH SCORE 1893582.392
AT ITER 9437 NEW BEST:: SOT 15444545 SOS 3594392 HAS SOPS 3594392 HAS SOUS 1889937 HAS SOUPS 1889937 WITH SCORE 1893531.392
AT ITER 9462 NEW BEST:: SOT 15444628 SOS 3594279 HAS SOPS 3594279 HAS SOUS 1889859 HAS SOUPS 1889859 WITH SCORE 1893453.279
AT ITER 9485 NEW BEST:: SOT 15443704 SOS 3601305 HAS SOPS 3601305 HAS SOUS 1889729 HAS SOUPS 1889729 WITH SCORE 1893330.305
AT ITER 9495 NEW BEST:: SOT 15443689 SOS 3601245 HAS SOPS 3601245 HAS SOUS 1889699 HAS SOUPS 1889699 WITH SCORE 1893300.245
AT ITER 9511 NEW BEST:: SOT 15443412 SOS 3601654 HAS SOPS 3601654 HAS SOUS 1889567 HAS SOUPS 1889567 WITH SCORE 1893168.654
AT ITER 9526 NEW BEST:: SOT 15442508 SOS 3600451 HAS SOPS 3600451 HAS SOUS 1888663 HAS SOUPS 1888663 WITH SCORE 1892263.451
AT ITER 9567 NEW BEST:: SOT 15442468 SOS 3600371 HAS SOPS 3600371 HAS SOUS 1888623 HAS SOUPS 1888623 WITH SCORE 1892223.371
AT ITER 9600 NEW BEST:: SOT 15442298 SOS 3600031 HAS SOPS 3600031 HAS SOUS 1888283 HAS SOUPS 1888283 WITH SCORE 1891883.031
AT ITER 9611 NEW BEST:: SOT 15442094 SOS 3599827 HAS SOPS 3599827 HAS SOUS 1888079 HAS SOUPS 1888079 WITH SCORE 1891678.827
AT ITER 9615 NEW BEST:: SOT 15441902 SOS 3600724 HAS SOPS 3600724 HAS SOUS 1887418 HAS SOUPS 1887418 WITH SCORE 1891018.724
AT ITER 9636 NEW BEST:: SOT 15441893 SOS 3600706 HAS SOPS 3600706 HAS SOUS 1887400 HAS SOUPS 1887400 WITH SCORE 1891000.706
AT ITER 9661 NEW BEST:: SOT 15441891 SOS 3600702 HAS SOPS 3600702 HAS SOUS 1887396 HAS SOUPS 1887396 WITH SCORE 1890996.702
AT ITER 9674 NEW BEST:: SOT 15441655 SOS 3600466 HAS SOPS 3600466 HAS SOUS 1887396 HAS SOUPS 1887396 WITH SCORE 1890996.466
AT ITER 9675 NEW BEST:: SOT 15440969 SOS 3599780 HAS SOPS 3599780 HAS SOUS 1886710 HAS SOUPS 1886710 WITH SCORE 1890309.78
AT ITER 9706 NEW BEST:: SOT 15440837 SOS 3599780 HAS SOPS 3599780 HAS SOUS 1886578 HAS SOUPS 1886578 WITH SCORE 1890177.78
AT ITER 9724 NEW BEST:: SOT 15440561 SOS 3599228 HAS SOPS 3599228 HAS SOUS 1886026 HAS SOUPS 1886026 WITH SCORE 1889625.228
AT ITER 9762 NEW BEST:: SOT 15440503 SOS 3599624 HAS SOPS 3599624 HAS SOUS 1885909 HAS SOUPS 1885909 WITH SCORE 1889508.624
AT ITER 9798 NEW BEST:: SOT 15440110 SOS 3599231 HAS SOPS 3599231 HAS SOUS 1885516 HAS SOUPS 1885516 WITH SCORE 1889115.231
AT ITER 9811 NEW BEST:: SOT 15439825 SOS 3604205 HAS SOPS 3604205 HAS SOUS 1884946 HAS SOUPS 1884946 WITH SCORE 1888550.205
AT ITER 9831 NEW BEST:: SOT 15439825 SOS 3604160 HAS SOPS 3604160 HAS SOUS 1884901 HAS SOUPS 1884901 WITH SCORE 1888505.16
AT ITER 9854 NEW BEST:: SOT 15439825 SOS 3604160 HAS SOPS 3604160 HAS SOUS 1884900 HAS SOUPS 1884900 WITH SCORE 1888504.16
AT ITER 9878 NEW BEST:: SOT 15439576 SOS 3603662 HAS SOPS 3603662 HAS SOUS 1884402 HAS SOUPS 1884402 WITH SCORE 1888005.662
AT ITER 9888 NEW BEST:: SOT 15439576 SOS 3604570 HAS SOPS 3604570 HAS SOUS 1884401 HAS SOUPS 1884401 WITH SCORE 1888005.57
AT ITER 9891 NEW BEST:: SOT 15439078 SOS 3596638 HAS SOPS 3596638 HAS SOUS 1883371 HAS SOUPS 1883371 WITH SCORE 1886967.638
AT ITER 9910 NEW BEST:: SOT 15438665 SOS 3596225 HAS SOPS 3596225 HAS SOUS 1882958 HAS SOUPS 1882958 WITH SCORE 1886554.225
AT ITER 9912 NEW BEST:: SOT 15438664 SOS 3596075 HAS SOPS 3596075 HAS SOUS 1882948 HAS SOUPS 1882948 WITH SCORE 1886544.075
AT ITER 9917 NEW BEST:: SOT 15438664 SOS 3595617 HAS SOPS 3595617 HAS SOUS 1882719 HAS SOUPS 1882719 WITH SCORE 1886314.617
AT ITER 9920 NEW BEST:: SOT 15438580 SOS 3594099 HAS SOPS 3594099 HAS SOUS 1882700 HAS SOUPS 1882700 WITH SCORE 1886294.099
AT ITER 9922 NEW BEST:: SOT 15438166 SOS 3593685 HAS SOPS 3593685 HAS SOUS 1882601 HAS SOUPS 1882601 WITH SCORE 1886194.685
AT ITER 9934 NEW BEST:: SOT 15437347 SOS 3592803 HAS SOPS 3592803 HAS SOUS 1881964 HAS SOUPS 1881964 WITH SCORE 1885556.803
AT ITER 9947 NEW BEST:: SOT 15437347 SOS 3591867 HAS SOPS 3591867 HAS SOUS 1881964 HAS SOUPS 1881964 WITH SCORE 1885555.867
AT ITER 9976 NEW BEST:: SOT 15436939 SOS 3591323 HAS SOPS 3591323 HAS SOUS 1881420 HAS SOUPS 1881420 WITH SCORE 1885011.323
AT ITER 9981 NEW BEST:: SOT 15436938 SOS 3591321 HAS SOPS 3591321 HAS SOUS 1881418 HAS SOUPS 1881418 WITH SCORE 1885009.321
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14616164 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152696 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="DLCround-PT-10b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DLCround-PT-10b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472800744"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-10b.tgz
mv DLCround-PT-10b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;