Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140300272.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypercubeGrid-PT-C5K3P3B15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140300272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 5.0K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 14M Apr 27 15:14 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 1589613931895

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C5K3P3B15
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 9153 places, 25110 transitions, 100440 arcs.
AT ITER 0 NEW BEST:: SOT 127702202 SOS 25101875 HAS SOPS 25101875 HAS SOUS 8318929 HAS SOUPS 8318929 WITH SCORE 8344030.875
AT ITER 10 NEW BEST:: SOT 127702088 SOS 25101191 HAS SOPS 25101191 HAS SOUS 8318891 HAS SOUPS 8318891 WITH SCORE 8343992.191
AT ITER 12 NEW BEST:: SOT 127701008 SOS 25100111 HAS SOPS 25100111 HAS SOUS 8317811 HAS SOUPS 8317811 WITH SCORE 8342911.111
AT ITER 35 NEW BEST:: SOT 127701008 SOS 25100111 HAS SOPS 25100111 HAS SOUS 8317528 HAS SOUPS 8317528 WITH SCORE 8342628.111
AT ITER 91 NEW BEST:: SOT 127700962 SOS 25100019 HAS SOPS 25100019 HAS SOUS 8317436 HAS SOUPS 8317436 WITH SCORE 8342536.019
AT ITER 96 NEW BEST:: SOT 127700962 SOS 25099229 HAS SOPS 25099229 HAS SOUS 8317278 HAS SOUPS 8317278 WITH SCORE 8342377.229
AT ITER 121 NEW BEST:: SOT 127700927 SOS 25099159 HAS SOPS 25099159 HAS SOUS 8317208 HAS SOUPS 8317208 WITH SCORE 8342307.159
AT ITER 128 NEW BEST:: SOT 127698956 SOS 25096969 HAS SOPS 25096969 HAS SOUS 8314874 HAS SOUPS 8314874 WITH SCORE 8339970.969
AT ITER 185 NEW BEST:: SOT 127698956 SOS 25096508 HAS SOPS 25096508 HAS SOUS 8313018 HAS SOUPS 8313018 WITH SCORE 8338114.508
AT ITER 224 NEW BEST:: SOT 127698956 SOS 25096252 HAS SOPS 25096252 HAS SOUS 8312762 HAS SOUPS 8312762 WITH SCORE 8337858.252
AT ITER 242 NEW BEST:: SOT 127698764 SOS 25096060 HAS SOPS 25096060 HAS SOUS 8312570 HAS SOUPS 8312570 WITH SCORE 8337666.06
AT ITER 262 NEW BEST:: SOT 127698764 SOS 25096060 HAS SOPS 25096060 HAS SOUS 8312297 HAS SOUPS 8312297 WITH SCORE 8337393.06
AT ITER 266 NEW BEST:: SOT 127698764 SOS 25095921 HAS SOPS 25095921 HAS SOUS 8311870 HAS SOUPS 8311870 WITH SCORE 8336965.921
AT ITER 273 NEW BEST:: SOT 127694403 SOS 25087199 HAS SOPS 25087199 HAS SOUS 8309238 HAS SOUPS 8309238 WITH SCORE 8334325.199
AT ITER 325 NEW BEST:: SOT 127694071 SOS 25083879 HAS SOPS 25083879 HAS SOUS 8308574 HAS SOUPS 8308574 WITH SCORE 8333657.879
AT ITER 349 NEW BEST:: SOT 127693927 SOS 25083795 HAS SOPS 25083795 HAS SOUS 8308490 HAS SOUPS 8308490 WITH SCORE 8333573.795
AT ITER 390 NEW BEST:: SOT 127693417 SOS 25078725 HAS SOPS 25078725 HAS SOUS 8307020 HAS SOUPS 8307020 WITH SCORE 8332098.725
AT ITER 399 NEW BEST:: SOT 127693417 SOS 25078725 HAS SOPS 25078725 HAS SOUS 8306794 HAS SOUPS 8306794 WITH SCORE 8331872.725
AT ITER 402 NEW BEST:: SOT 127693073 SOS 25075285 HAS SOPS 25075285 HAS SOUS 8306106 HAS SOUPS 8306106 WITH SCORE 8331181.285
AT ITER 409 NEW BEST:: SOT 127690913 SOS 25070778 HAS SOPS 25070778 HAS SOUS 8303996 HAS SOUPS 8303996 WITH SCORE 8329066.778
AT ITER 419 NEW BEST:: SOT 127690617 SOS 25067522 HAS SOPS 25067522 HAS SOUS 8303108 HAS SOUPS 8303108 WITH SCORE 8328175.522
AT ITER 425 NEW BEST:: SOT 127690932 SOS 25067692 HAS SOPS 25067692 HAS SOUS 8302566 HAS SOUPS 8302566 WITH SCORE 8327633.692
AT ITER 438 NEW BEST:: SOT 127690751 SOS 25067330 HAS SOPS 25067330 HAS SOUS 8301796 HAS SOUPS 8301796 WITH SCORE 8326863.33
AT ITER 450 NEW BEST:: SOT 127690632 SOS 25067092 HAS SOPS 25067092 HAS SOUS 8301558 HAS SOUPS 8301558 WITH SCORE 8326625.092
AT ITER 726 NEW BEST:: SOT 127690632 SOS 25067092 HAS SOPS 25067092 HAS SOUS 8301336 HAS SOUPS 8301336 WITH SCORE 8326403.092
AT ITER 739 NEW BEST:: SOT 127687716 SOS 25063852 HAS SOPS 25063852 HAS SOUS 8298048 HAS SOUPS 8298048 WITH SCORE 8323111.852
AT ITER 751 NEW BEST:: SOT 127685205 SOS 25061062 HAS SOPS 25061062 HAS SOUS 8294807 HAS SOUPS 8294807 WITH SCORE 8319868.062
AT ITER 786 NEW BEST:: SOT 127684710 SOS 25056058 HAS SOPS 25056058 HAS SOUS 8293371 HAS SOUPS 8293371 WITH SCORE 8318427.058
AT ITER 801 NEW BEST:: SOT 127684710 SOS 25052068 HAS SOPS 25052068 HAS SOUS 8292573 HAS SOUPS 8292573 WITH SCORE 8317625.068
AT ITER 886 NEW BEST:: SOT 127684443 SOS 25049398 HAS SOPS 25049398 HAS SOUS 8292039 HAS SOUPS 8292039 WITH SCORE 8317088.398
AT ITER 900 NEW BEST:: SOT 127684093 SOS 25047548 HAS SOPS 25047548 HAS SOUS 8291939 HAS SOUPS 8291939 WITH SCORE 8316986.548
AT ITER 911 NEW BEST:: SOT 127683610 SOS 25042718 HAS SOPS 25042718 HAS SOUS 8290973 HAS SOUPS 8290973 WITH SCORE 8316015.718
AT ITER 950 NEW BEST:: SOT 127683610 SOS 25042058 HAS SOPS 25042058 HAS SOUS 8290841 HAS SOUPS 8290841 WITH SCORE 8315883.058
AT ITER 956 NEW BEST:: SOT 127683471 SOS 25041780 HAS SOPS 25041780 HAS SOUS 8290563 HAS SOUPS 8290563 WITH SCORE 8315604.78
AT ITER 992 NEW BEST:: SOT 127683578 SOS 25041887 HAS SOPS 25041887 HAS SOUS 8290349 HAS SOUPS 8290349 WITH SCORE 8315390.887
AT ITER 1070 NEW BEST:: SOT 127683398 SOS 25040087 HAS SOPS 25040087 HAS SOUS 8289989 HAS SOUPS 8289989 WITH SCORE 8315029.087
AT ITER 1091 NEW BEST:: SOT 127683313 SOS 25039917 HAS SOPS 25039917 HAS SOUS 8289819 HAS SOUPS 8289819 WITH SCORE 8314858.917
AT ITER 1098 NEW BEST:: SOT 127683025 SOS 25037037 HAS SOPS 25037037 HAS SOUS 8289243 HAS SOUPS 8289243 WITH SCORE 8314280.037
AT ITER 1100 NEW BEST:: SOT 127682777 SOS 25036541 HAS SOPS 25036541 HAS SOUS 8287888 HAS SOUPS 8287888 WITH SCORE 8312924.541
AT ITER 1105 NEW BEST:: SOT 127682777 SOS 25036541 HAS SOPS 25036541 HAS SOUS 8287744 HAS SOUPS 8287744 WITH SCORE 8312780.541
AT ITER 1107 NEW BEST:: SOT 127679537 SOS 25029727 HAS SOPS 25029727 HAS SOUS 8283810 HAS SOUPS 8283810 WITH SCORE 8308839.727
AT ITER 1111 NEW BEST:: SOT 127677817 SOS 25028007 HAS SOPS 25028007 HAS SOUS 8282090 HAS SOUPS 8282090 WITH SCORE 8307118.007
AT ITER 1117 NEW BEST:: SOT 127677817 SOS 25023729 HAS SOPS 25023729 HAS SOUS 8281892 HAS SOUPS 8281892 WITH SCORE 8306915.729
AT ITER 1129 NEW BEST:: SOT 127676833 SOS 25022745 HAS SOPS 25022745 HAS SOUS 8280908 HAS SOUPS 8280908 WITH SCORE 8305930.745
AT ITER 1139 NEW BEST:: SOT 127676833 SOS 25022745 HAS SOPS 25022745 HAS SOUS 8280818 HAS SOUPS 8280818 WITH SCORE 8305840.745
AT ITER 1156 NEW BEST:: SOT 127676833 SOS 25022519 HAS SOPS 25022519 HAS SOUS 8280592 HAS SOUPS 8280592 WITH SCORE 8305614.519
AT ITER 1201 NEW BEST:: SOT 127676238 SOS 25021329 HAS SOPS 25021329 HAS SOUS 8279962 HAS SOUPS 8279962 WITH SCORE 8304983.329
AT ITER 1222 NEW BEST:: SOT 127675293 SOS 25019382 HAS SOPS 25019382 HAS SOUS 8279227 HAS SOUPS 8279227 WITH SCORE 8304246.382
AT ITER 1235 NEW BEST:: SOT 127675168 SOS 25019132 HAS SOPS 25019132 HAS SOUS 8278977 HAS SOUPS 8278977 WITH SCORE 8303996.132
AT ITER 1310 NEW BEST:: SOT 127675023 SOS 25019020 HAS SOPS 25019020 HAS SOUS 8278865 HAS SOUPS 8278865 WITH SCORE 8303884.02
AT ITER 1313 NEW BEST:: SOT 127674798 SOS 25016545 HAS SOPS 25016545 HAS SOUS 8278190 HAS SOUPS 8278190 WITH SCORE 8303206.545
AT ITER 1319 NEW BEST:: SOT 127674798 SOS 25016399 HAS SOPS 25016399 HAS SOUS 8277440 HAS SOUPS 8277440 WITH SCORE 8302456.399
AT ITER 1338 NEW BEST:: SOT 127674132 SOS 25015733 HAS SOPS 25015733 HAS SOUS 8276774 HAS SOUPS 8276774 WITH SCORE 8301789.733
AT ITER 1387 NEW BEST:: SOT 127674132 SOS 25015733 HAS SOPS 25015733 HAS SOUS 8276759 HAS SOUPS 8276759 WITH SCORE 8301774.733
AT ITER 1400 NEW BEST:: SOT 127674032 SOS 25013709 HAS SOPS 25013709 HAS SOUS 8276655 HAS SOUPS 8276655 WITH SCORE 8301668.709
AT ITER 1425 NEW BEST:: SOT 127674701 SOS 25015047 HAS SOPS 25015047 HAS SOUS 8276600 HAS SOUPS 8276600 WITH SCORE 8301615.047
AT ITER 1447 NEW BEST:: SOT 127674701 SOS 25011987 HAS SOPS 25011987 HAS SOUS 8275988 HAS SOUPS 8275988 WITH SCORE 8300999.987
AT ITER 1462 NEW BEST:: SOT 127674701 SOS 25011987 HAS SOPS 25011987 HAS SOUS 8275652 HAS SOUPS 8275652 WITH SCORE 8300663.987
AT ITER 1470 NEW BEST:: SOT 127674607 SOS 25011047 HAS SOPS 25011047 HAS SOUS 8275464 HAS SOUPS 8275464 WITH SCORE 8300475.047
AT ITER 1488 NEW BEST:: SOT 127674599 SOS 25010959 HAS SOPS 25010959 HAS SOUS 8275440 HAS SOUPS 8275440 WITH SCORE 8300450.959
AT ITER 1494 NEW BEST:: SOT 127675418 SOS 25012178 HAS SOPS 25012178 HAS SOUS 8274605 HAS SOUPS 8274605 WITH SCORE 8299617.178
AT ITER 1529 NEW BEST:: SOT 127671242 SOS 25007538 HAS SOPS 25007538 HAS SOUS 8268570 HAS SOUPS 8268570 WITH SCORE 8293577.538
AT ITER 1547 NEW BEST:: SOT 127671242 SOS 25007538 HAS SOPS 25007538 HAS SOUS 8268519 HAS SOUPS 8268519 WITH SCORE 8293526.538
AT ITER 1556 NEW BEST:: SOT 127671115 SOS 25007284 HAS SOPS 25007284 HAS SOUS 8268265 HAS SOUPS 8268265 WITH SCORE 8293272.284
AT ITER 1584 NEW BEST:: SOT 127671115 SOS 25005448 HAS SOPS 25005448 HAS SOUS 8268061 HAS SOUPS 8268061 WITH SCORE 8293066.448
AT ITER 1597 NEW BEST:: SOT 127666793 SOS 24996804 HAS SOPS 24996804 HAS SOUS 8265808 HAS SOUPS 8265808 WITH SCORE 8290804.804
AT ITER 1606 NEW BEST:: SOT 127666476 SOS 24993634 HAS SOPS 24993634 HAS SOUS 8265174 HAS SOUPS 8265174 WITH SCORE 8290167.634
AT ITER 1609 NEW BEST:: SOT 127666411 SOS 24993569 HAS SOPS 24993569 HAS SOUS 8265044 HAS SOUPS 8265044 WITH SCORE 8290037.569
AT ITER 1613 NEW BEST:: SOT 127666411 SOS 24993248 HAS SOPS 24993248 HAS SOUS 8263614 HAS SOUPS 8263614 WITH SCORE 8288607.248
AT ITER 1620 NEW BEST:: SOT 127666424 SOS 24993261 HAS SOPS 24993261 HAS SOUS 8263536 HAS SOUPS 8263536 WITH SCORE 8288529.261
AT ITER 1621 NEW BEST:: SOT 127666125 SOS 24992663 HAS SOPS 24992663 HAS SOUS 8262080 HAS SOUPS 8262080 WITH SCORE 8287072.663
AT ITER 1639 NEW BEST:: SOT 127666067 SOS 24990519 HAS SOPS 24990519 HAS SOUS 8261856 HAS SOUPS 8261856 WITH SCORE 8286846.519
AT ITER 1659 NEW BEST:: SOT 127664366 SOS 24986928 HAS SOPS 24986928 HAS SOUS 8259777 HAS SOUPS 8259777 WITH SCORE 8284763.928
AT ITER 1697 NEW BEST:: SOT 127662665 SOS 24985227 HAS SOPS 24985227 HAS SOUS 8258076 HAS SOUPS 8258076 WITH SCORE 8283061.227
AT ITER 1723 NEW BEST:: SOT 127662564 SOS 24985025 HAS SOPS 24985025 HAS SOUS 8257874 HAS SOUPS 8257874 WITH SCORE 8282859.025
AT ITER 1747 NEW BEST:: SOT 127662072 SOS 24980105 HAS SOPS 24980105 HAS SOUS 8256890 HAS SOUPS 8256890 WITH SCORE 8281870.105
AT ITER 1793 NEW BEST:: SOT 127662072 SOS 24979747 HAS SOPS 24979747 HAS SOUS 8256532 HAS SOUPS 8256532 WITH SCORE 8281511.747
AT ITER 1821 NEW BEST:: SOT 127657617 SOS 24970369 HAS SOPS 24970369 HAS SOUS 8251114 HAS SOUPS 8251114 WITH SCORE 8276084.369
AT ITER 1843 NEW BEST:: SOT 127657563 SOS 24970261 HAS SOPS 24970261 HAS SOUS 8251006 HAS SOUPS 8251006 WITH SCORE 8275976.261
AT ITER 1850 NEW BEST:: SOT 127657535 SOS 24970233 HAS SOPS 24970233 HAS SOUS 8250978 HAS SOUPS 8250978 WITH SCORE 8275948.233
AT ITER 1880 NEW BEST:: SOT 127653917 SOS 24962595 HAS SOPS 24962595 HAS SOUS 8246556 HAS SOUPS 8246556 WITH SCORE 8271518.595
AT ITER 1929 NEW BEST:: SOT 127653917 SOS 24962350 HAS SOPS 24962350 HAS SOUS 8245903 HAS SOUPS 8245903 WITH SCORE 8270865.35
AT ITER 1954 NEW BEST:: SOT 127653917 SOS 24963478 HAS SOPS 24963478 HAS SOUS 8244958 HAS SOUPS 8244958 WITH SCORE 8269921.478
AT ITER 1962 NEW BEST:: SOT 127653852 SOS 24962763 HAS SOPS 24962763 HAS SOUS 8244763 HAS SOUPS 8244763 WITH SCORE 8269725.763
AT ITER 1972 NEW BEST:: SOT 127653519 SOS 24962430 HAS SOPS 24962430 HAS SOUS 8244430 HAS SOUPS 8244430 WITH SCORE 8269392.43
AT ITER 2034 NEW BEST:: SOT 127653511 SOS 24962422 HAS SOPS 24962422 HAS SOUS 8244422 HAS SOUPS 8244422 WITH SCORE 8269384.422
AT ITER 2102 NEW BEST:: SOT 127653486 SOS 24962397 HAS SOPS 24962397 HAS SOUS 8244397 HAS SOUPS 8244397 WITH SCORE 8269359.397
AT ITER 2109 NEW BEST:: SOT 127649353 SOS 24954131 HAS SOPS 24954131 HAS SOUS 8242934 HAS SOUPS 8242934 WITH SCORE 8267888.131
AT ITER 2116 NEW BEST:: SOT 127649068 SOS 24953561 HAS SOPS 24953561 HAS SOUS 8241014 HAS SOUPS 8241014 WITH SCORE 8265967.561
AT ITER 2139 NEW BEST:: SOT 127644650 SOS 24944725 HAS SOPS 24944725 HAS SOUS 8236471 HAS SOUPS 8236471 WITH SCORE 8261415.725
AT ITER 2150 NEW BEST:: SOT 127644650 SOS 24942999 HAS SOPS 24942999 HAS SOUS 8236305 HAS SOUPS 8236305 WITH SCORE 8261247.999
AT ITER 2182 NEW BEST:: SOT 127644650 SOS 24942733 HAS SOPS 24942733 HAS SOUS 8235155 HAS SOUPS 8235155 WITH SCORE 8260097.733
AT ITER 2187 NEW BEST:: SOT 127644681 SOS 24942764 HAS SOPS 24942764 HAS SOUS 8234969 HAS SOUPS 8234969 WITH SCORE 8259911.764
AT ITER 2196 NEW BEST:: SOT 127640091 SOS 24933245 HAS SOPS 24933245 HAS SOUS 8231069 HAS SOUPS 8231069 WITH SCORE 8256002.245
AT ITER 2231 NEW BEST:: SOT 127636023 SOS 24928725 HAS SOPS 24928725 HAS SOUS 8224562 HAS SOUPS 8224562 WITH SCORE 8249490.725
AT ITER 2270 NEW BEST:: SOT 127635915 SOS 24928509 HAS SOPS 24928509 HAS SOUS 8224346 HAS SOUPS 8224346 WITH SCORE 8249274.509
AT ITER 2294 NEW BEST:: SOT 127634205 SOS 24926609 HAS SOPS 24926609 HAS SOUS 8222446 HAS SOUPS 8222446 WITH SCORE 8247372.609
AT ITER 2316 NEW BEST:: SOT 127634104 SOS 24922092 HAS SOPS 24922092 HAS SOUS 8222009 HAS SOUPS 8222009 WITH SCORE 8246931.092
AT ITER 2335 NEW BEST:: SOT 127634104 SOS 24918892 HAS SOPS 24918892 HAS SOUS 8221369 HAS SOUPS 8221369 WITH SCORE 8246287.892
AT ITER 2412 NEW BEST:: SOT 127634087 SOS 24918875 HAS SOPS 24918875 HAS SOUS 8221369 HAS SOUPS 8221369 WITH SCORE 8246287.875
AT ITER 2432 NEW BEST:: SOT 127633988 SOS 24918776 HAS SOPS 24918776 HAS SOUS 8221018 HAS SOUPS 8221018 WITH SCORE 8245936.776
AT ITER 2438 NEW BEST:: SOT 127634046 SOS 24917254 HAS SOPS 24917254 HAS SOUS 8220952 HAS SOUPS 8220952 WITH SCORE 8245869.254
AT ITER 2446 NEW BEST:: SOT 127633958 SOS 24917166 HAS SOPS 24917166 HAS SOUS 8220952 HAS SOUPS 8220952 WITH SCORE 8245869.166
AT ITER 2462 NEW BEST:: SOT 127633832 SOS 24912612 HAS SOPS 24912612 HAS SOUS 8220478 HAS SOUPS 8220478 WITH SCORE 8245390.612
AT ITER 2506 NEW BEST:: SOT 127633832 SOS 24909962 HAS SOPS 24909962 HAS SOUS 8219948 HAS SOUPS 8219948 WITH SCORE 8244857.962
AT ITER 2532 NEW BEST:: SOT 127633732 SOS 24909762 HAS SOPS 24909762 HAS SOUS 8219748 HAS SOUPS 8219748 WITH SCORE 8244657.762
AT ITER 2563 NEW BEST:: SOT 127633376 SOS 24909050 HAS SOPS 24909050 HAS SOUS 8218118 HAS SOUPS 8218118 WITH SCORE 8243027.05
AT ITER 2578 NEW BEST:: SOT 127633342 SOS 24909016 HAS SOPS 24909016 HAS SOUS 8218118 HAS SOUPS 8218118 WITH SCORE 8243027.016
AT ITER 2585 NEW BEST:: SOT 127633115 SOS 24906746 HAS SOPS 24906746 HAS SOUS 8217664 HAS SOUPS 8217664 WITH SCORE 8242570.746
AT ITER 2610 NEW BEST:: SOT 127632606 SOS 24901147 HAS SOPS 24901147 HAS SOUS 8216137 HAS SOUPS 8216137 WITH SCORE 8241038.147
AT ITER 2632 NEW BEST:: SOT 127633731 SOS 24903012 HAS SOPS 24903012 HAS SOUS 8215227 HAS SOUPS 8215227 WITH SCORE 8240130.012
AT ITER 2659 NEW BEST:: SOT 127633244 SOS 24898142 HAS SOPS 24898142 HAS SOUS 8214253 HAS SOUPS 8214253 WITH SCORE 8239151.142
AT ITER 2704 NEW BEST:: SOT 127633317 SOS 24895705 HAS SOPS 24895705 HAS SOUS 8214112 HAS SOUPS 8214112 WITH SCORE 8239007.705
AT ITER 2735 NEW BEST:: SOT 127629942 SOS 24888235 HAS SOPS 24888235 HAS SOUS 8211172 HAS SOUPS 8211172 WITH SCORE 8236060.235
AT ITER 2900 NEW BEST:: SOT 127629550 SOS 24887843 HAS SOPS 24887843 HAS SOUS 8210451 HAS SOUPS 8210451 WITH SCORE 8235338.843
AT ITER 2953 NEW BEST:: SOT 127629550 SOS 24887843 HAS SOPS 24887843 HAS SOUS 8210059 HAS SOUPS 8210059 WITH SCORE 8234946.843
AT ITER 2957 NEW BEST:: SOT 127629622 SOS 24887457 HAS SOPS 24887457 HAS SOUS 8207775 HAS SOUPS 8207775 WITH SCORE 8232662.457
AT ITER 2959 NEW BEST:: SOT 127629661 SOS 24887535 HAS SOPS 24887535 HAS SOUS 8207365 HAS SOUPS 8207365 WITH SCORE 8232252.535
AT ITER 2980 NEW BEST:: SOT 127629661 SOS 24888183 HAS SOPS 24888183 HAS SOUS 8207037 HAS SOUPS 8207037 WITH SCORE 8231925.183
AT ITER 2993 NEW BEST:: SOT 127629501 SOS 24883951 HAS SOPS 24883951 HAS SOUS 8206885 HAS SOUPS 8206885 WITH SCORE 8231768.951
AT ITER 3017 NEW BEST:: SOT 127629501 SOS 24885670 HAS SOPS 24885670 HAS SOUS 8205440 HAS SOUPS 8205440 WITH SCORE 8230325.67
AT ITER 3021 NEW BEST:: SOT 127629395 SOS 24884610 HAS SOPS 24884610 HAS SOUS 8205228 HAS SOUPS 8205228 WITH SCORE 8230112.61
AT ITER 3045 NEW BEST:: SOT 127629295 SOS 24884517 HAS SOPS 24884517 HAS SOUS 8205135 HAS SOUPS 8205135 WITH SCORE 8230019.517
AT ITER 3097 NEW BEST:: SOT 127629295 SOS 24884517 HAS SOPS 24884517 HAS SOUS 8205081 HAS SOUPS 8205081 WITH SCORE 8229965.517
AT ITER 3108 NEW BEST:: SOT 127629295 SOS 24881057 HAS SOPS 24881057 HAS SOUS 8204389 HAS SOUPS 8204389 WITH SCORE 8229270.057
AT ITER 3116 NEW BEST:: SOT 127624840 SOS 24871867 HAS SOPS 24871867 HAS SOUS 8200069 HAS SOUPS 8200069 WITH SCORE 8224940.867
AT ITER 3121 NEW BEST:: SOT 127624840 SOS 24871291 HAS SOPS 24871291 HAS SOUS 8200053 HAS SOUPS 8200053 WITH SCORE 8224924.291
AT ITER 3154 NEW BEST:: SOT 127624825 SOS 24871261 HAS SOPS 24871261 HAS SOUS 8200023 HAS SOUPS 8200023 WITH SCORE 8224894.261
AT ITER 3155 NEW BEST:: SOT 127624788 SOS 24871187 HAS SOPS 24871187 HAS SOUS 8199949 HAS SOUPS 8199949 WITH SCORE 8224820.187
AT ITER 3211 NEW BEST:: SOT 127624788 SOS 24870994 HAS SOPS 24870994 HAS SOUS 8199756 HAS SOUPS 8199756 WITH SCORE 8224626.994
AT ITER 3224 NEW BEST:: SOT 127621476 SOS 24867314 HAS SOPS 24867314 HAS SOUS 8196076 HAS SOUPS 8196076 WITH SCORE 8220943.314
AT ITER 3228 NEW BEST:: SOT 127621265 SOS 24867103 HAS SOPS 24867103 HAS SOUS 8195978 HAS SOUPS 8195978 WITH SCORE 8220845.103
AT ITER 3254 NEW BEST:: SOT 127621265 SOS 24867103 HAS SOPS 24867103 HAS SOUS 8194907 HAS SOUPS 8194907 WITH SCORE 8219774.103
AT ITER 3266 NEW BEST:: SOT 127621265 SOS 24867010 HAS SOPS 24867010 HAS SOUS 8194814 HAS SOUPS 8194814 WITH SCORE 8219681.01
AT ITER 3273 NEW BEST:: SOT 127621397 SOS 24862552 HAS SOPS 24862552 HAS SOUS 8194436 HAS SOUPS 8194436 WITH SCORE 8219298.552
AT ITER 3288 NEW BEST:: SOT 127621397 SOS 24862552 HAS SOPS 24862552 HAS SOUS 8194146 HAS SOUPS 8194146 WITH SCORE 8219008.552
AT ITER 3297 NEW BEST:: SOT 127621397 SOS 24862795 HAS SOPS 24862795 HAS SOUS 8193957 HAS SOUPS 8193957 WITH SCORE 8218819.795
AT ITER 3325 NEW BEST:: SOT 127618589 SOS 24857179 HAS SOPS 24857179 HAS SOUS 8190837 HAS SOUPS 8190837 WITH SCORE 8215694.179
AT ITER 3364 NEW BEST:: SOT 127618354 SOS 24854829 HAS SOPS 24854829 HAS SOUS 8190367 HAS SOUPS 8190367 WITH SCORE 8215221.829
AT ITER 3376 NEW BEST:: SOT 127613962 SOS 24849949 HAS SOPS 24849949 HAS SOUS 8184663 HAS SOUPS 8184663 WITH SCORE 8209512.949
AT ITER 3400 NEW BEST:: SOT 127613911 SOS 24849847 HAS SOPS 24849847 HAS SOUS 8184561 HAS SOUPS 8184561 WITH SCORE 8209410.847
AT ITER 3412 NEW BEST:: SOT 127613911 SOS 24849847 HAS SOPS 24849847 HAS SOUS 8184516 HAS SOUPS 8184516 WITH SCORE 8209365.847
AT ITER 3424 NEW BEST:: SOT 127613933 SOS 24849869 HAS SOPS 24849869 HAS SOUS 8184472 HAS SOUPS 8184472 WITH SCORE 8209321.869
AT ITER 3487 NEW BEST:: SOT 127613117 SOS 24849053 HAS SOPS 24849053 HAS SOUS 8183656 HAS SOUPS 8183656 WITH SCORE 8208505.053
AT ITER 3492 NEW BEST:: SOT 127613420 SOS 24849356 HAS SOPS 24849356 HAS SOUS 8183200 HAS SOUPS 8183200 WITH SCORE 8208049.356
AT ITER 3495 NEW BEST:: SOT 127612908 SOS 24848844 HAS SOPS 24848844 HAS SOUS 8182688 HAS SOUPS 8182688 WITH SCORE 8207536.844
AT ITER 3523 NEW BEST:: SOT 127608453 SOS 24839507 HAS SOPS 24839507 HAS SOUS 8177869 HAS SOUPS 8177869 WITH SCORE 8202708.507
AT ITER 3524 NEW BEST:: SOT 127604187 SOS 24834767 HAS SOPS 24834767 HAS SOUS 8173129 HAS SOUPS 8173129 WITH SCORE 8197963.767
AT ITER 3534 NEW BEST:: SOT 127604096 SOS 24833766 HAS SOPS 24833766 HAS SOUS 8172856 HAS SOUPS 8172856 WITH SCORE 8197689.766
AT ITER 3543 NEW BEST:: SOT 127600680 SOS 24830350 HAS SOPS 24830350 HAS SOUS 8169440 HAS SOUPS 8169440 WITH SCORE 8194270.35
AT ITER 3545 NEW BEST:: SOT 127598727 SOS 24828397 HAS SOPS 24828397 HAS SOUS 8167487 HAS SOUPS 8167487 WITH SCORE 8192315.397
AT ITER 3553 NEW BEST:: SOT 127598392 SOS 24825047 HAS SOPS 24825047 HAS SOUS 8166817 HAS SOUPS 8166817 WITH SCORE 8191642.047
AT ITER 3554 NEW BEST:: SOT 127598392 SOS 24825047 HAS SOPS 24825047 HAS SOUS 8166496 HAS SOUPS 8166496 WITH SCORE 8191321.047
AT ITER 3585 NEW BEST:: SOT 127598392 SOS 24824354 HAS SOPS 24824354 HAS SOUS 8166419 HAS SOUPS 8166419 WITH SCORE 8191243.354
AT ITER 3601 NEW BEST:: SOT 127598392 SOS 24824354 HAS SOPS 24824354 HAS SOUS 8166349 HAS SOUPS 8166349 WITH SCORE 8191173.354
AT ITER 3664 NEW BEST:: SOT 127598779 SOS 24825128 HAS SOPS 24825128 HAS SOUS 8166131 HAS SOUPS 8166131 WITH SCORE 8190956.128
AT ITER 3734 NEW BEST:: SOT 127597075 SOS 24823424 HAS SOPS 24823424 HAS SOUS 8164427 HAS SOUPS 8164427 WITH SCORE 8189250.424
AT ITER 3828 NEW BEST:: SOT 127597000 SOS 24823349 HAS SOPS 24823349 HAS SOUS 8164067 HAS SOUPS 8164067 WITH SCORE 8188890.349
AT ITER 3850 NEW BEST:: SOT 127596818 SOS 24822985 HAS SOPS 24822985 HAS SOUS 8163703 HAS SOUPS 8163703 WITH SCORE 8188525.985
AT ITER 3876 NEW BEST:: SOT 127594208 SOS 24820085 HAS SOPS 24820085 HAS SOUS 8160339 HAS SOUPS 8160339 WITH SCORE 8185159.085
AT ITER 3880 NEW BEST:: SOT 127593807 SOS 24818820 HAS SOPS 24818820 HAS SOUS 8159402 HAS SOUPS 8159402 WITH SCORE 8184220.82
AT ITER 3881 NEW BEST:: SOT 127593807 SOS 24820428 HAS SOPS 24820428 HAS SOUS 8158084 HAS SOUPS 8158084 WITH SCORE 8182904.428
AT ITER 3909 NEW BEST:: SOT 127593807 SOS 24821588 HAS SOPS 24821588 HAS SOUS 8156870 HAS SOUPS 8156870 WITH SCORE 8181691.588
AT ITER 3949 NEW BEST:: SOT 127593878 SOS 24821659 HAS SOPS 24821659 HAS SOUS 8156728 HAS SOUPS 8156728 WITH SCORE 8181549.659
AT ITER 3956 NEW BEST:: SOT 127593546 SOS 24821327 HAS SOPS 24821327 HAS SOUS 8156625 HAS SOUPS 8156625 WITH SCORE 8181446.327
AT ITER 3962 NEW BEST:: SOT 127589901 SOS 24813759 HAS SOPS 24813759 HAS SOUS 8153440 HAS SOUPS 8153440 WITH SCORE 8178253.759
AT ITER 3975 NEW BEST:: SOT 127589901 SOS 24809839 HAS SOPS 24809839 HAS SOUS 8152656 HAS SOUPS 8152656 WITH SCORE 8177465.839
AT ITER 3979 NEW BEST:: SOT 127589729 SOS 24807947 HAS SOPS 24807947 HAS SOUS 8152140 HAS SOUPS 8152140 WITH SCORE 8176947.947
AT ITER 4021 NEW BEST:: SOT 127589729 SOS 24807736 HAS SOPS 24807736 HAS SOUS 8150206 HAS SOUPS 8150206 WITH SCORE 8175013.736
AT ITER 4026 NEW BEST:: SOT 127589729 SOS 24805599 HAS SOPS 24805599 HAS SOUS 8149989 HAS SOUPS 8149989 WITH SCORE 8174794.599
AT ITER 4037 NEW BEST:: SOT 127588424 SOS 24802944 HAS SOPS 24802944 HAS SOUS 8148414 HAS SOUPS 8148414 WITH SCORE 8173216.944
AT ITER 4067 NEW BEST:: SOT 127584100 SOS 24794296 HAS SOPS 24794296 HAS SOUS 8144905 HAS SOUPS 8144905 WITH SCORE 8169699.296
AT ITER 4076 NEW BEST:: SOT 127584100 SOS 24794296 HAS SOPS 24794296 HAS SOUS 8144795 HAS SOUPS 8144795 WITH SCORE 8169589.296
AT ITER 4094 NEW BEST:: SOT 127583725 SOS 24790171 HAS SOPS 24790171 HAS SOUS 8143670 HAS SOUPS 8143670 WITH SCORE 8168460.171
AT ITER 4105 NEW BEST:: SOT 127583625 SOS 24790140 HAS SOPS 24790140 HAS SOUS 8143639 HAS SOUPS 8143639 WITH SCORE 8168429.14
AT ITER 4118 NEW BEST:: SOT 127583625 SOS 24789991 HAS SOPS 24789991 HAS SOUS 8143490 HAS SOUPS 8143490 WITH SCORE 8168279.991
AT ITER 4119 NEW BEST:: SOT 127580385 SOS 24783166 HAS SOPS 24783166 HAS SOUS 8139665 HAS SOUPS 8139665 WITH SCORE 8164448.166
AT ITER 4127 NEW BEST:: SOT 127580380 SOS 24783156 HAS SOPS 24783156 HAS SOUS 8139655 HAS SOUPS 8139655 WITH SCORE 8164438.156
AT ITER 4152 NEW BEST:: SOT 127580350 SOS 24783096 HAS SOPS 24783096 HAS SOUS 8139595 HAS SOUPS 8139595 WITH SCORE 8164378.096
AT ITER 4206 NEW BEST:: SOT 127580608 SOS 24783354 HAS SOPS 24783354 HAS SOUS 8139310 HAS SOUPS 8139310 WITH SCORE 8164093.354
AT ITER 4259 NEW BEST:: SOT 127580477 SOS 24778990 HAS SOPS 24778990 HAS SOUS 8139026 HAS SOUPS 8139026 WITH SCORE 8163804.99
AT ITER 4306 NEW BEST:: SOT 127580477 SOS 24776002 HAS SOPS 24776002 HAS SOUS 8138694 HAS SOUPS 8138694 WITH SCORE 8163470.002
AT ITER 4333 NEW BEST:: SOT 127580477 SOS 24775412 HAS SOPS 24775412 HAS SOUS 8138576 HAS SOUPS 8138576 WITH SCORE 8163351.412
AT ITER 4385 NEW BEST:: SOT 127580288 SOS 24775223 HAS SOPS 24775223 HAS SOUS 8138576 HAS SOUPS 8138576 WITH SCORE 8163351.223
AT ITER 4411 NEW BEST:: SOT 127577732 SOS 24772383 HAS SOPS 24772383 HAS SOUS 8135736 HAS SOUPS 8135736 WITH SCORE 8160508.383
AT ITER 4502 NEW BEST:: SOT 127577677 SOS 24770818 HAS SOPS 24770818 HAS SOUS 8135731 HAS SOUPS 8135731 WITH SCORE 8160501.818
AT ITER 4556 NEW BEST:: SOT 127577677 SOS 24770818 HAS SOPS 24770818 HAS SOUS 8135697 HAS SOUPS 8135697 WITH SCORE 8160467.818
AT ITER 4558 NEW BEST:: SOT 127577677 SOS 24769658 HAS SOPS 24769658 HAS SOUS 8135465 HAS SOUPS 8135465 WITH SCORE 8160234.658
AT ITER 4606 NEW BEST:: SOT 127573386 SOS 24761076 HAS SOPS 24761076 HAS SOUS 8133604 HAS SOUPS 8133604 WITH SCORE 8158365.076
AT ITER 4630 NEW BEST:: SOT 127569980 SOS 24754264 HAS SOPS 24754264 HAS SOUS 8131786 HAS SOUPS 8131786 WITH SCORE 8156540.264
AT ITER 4635 NEW BEST:: SOT 127569970 SOS 24754254 HAS SOPS 24754254 HAS SOUS 8131776 HAS SOUPS 8131776 WITH SCORE 8156530.254
AT ITER 4653 NEW BEST:: SOT 127569924 SOS 24754162 HAS SOPS 24754162 HAS SOUS 8131684 HAS SOUPS 8131684 WITH SCORE 8156438.162
AT ITER 4704 NEW BEST:: SOT 127569924 SOS 24753247 HAS SOPS 24753247 HAS SOUS 8131609 HAS SOUPS 8131609 WITH SCORE 8156362.247
AT ITER 4754 NEW BEST:: SOT 127569459 SOS 24748597 HAS SOPS 24748597 HAS SOUS 8130679 HAS SOUPS 8130679 WITH SCORE 8155427.597
AT ITER 4764 NEW BEST:: SOT 127569459 SOS 24748597 HAS SOPS 24748597 HAS SOUS 8130461 HAS SOUPS 8130461 WITH SCORE 8155209.597
AT ITER 4775 NEW BEST:: SOT 127569459 SOS 24748149 HAS SOPS 24748149 HAS SOUS 8129149 HAS SOUPS 8129149 WITH SCORE 8153897.149
AT ITER 4776 NEW BEST:: SOT 127566660 SOS 24745039 HAS SOPS 24745039 HAS SOUS 8125759 HAS SOUPS 8125759 WITH SCORE 8150504.039
AT ITER 4814 NEW BEST:: SOT 127564020 SOS 24742399 HAS SOPS 24742399 HAS SOUS 8123119 HAS SOUPS 8123119 WITH SCORE 8147861.399
AT ITER 4875 NEW BEST:: SOT 127563809 SOS 24741977 HAS SOPS 24741977 HAS SOUS 8121847 HAS SOUPS 8121847 WITH SCORE 8146588.977
AT ITER 4930 NEW BEST:: SOT 127563289 SOS 24741457 HAS SOPS 24741457 HAS SOUS 8121847 HAS SOUPS 8121847 WITH SCORE 8146588.457
AT ITER 4936 NEW BEST:: SOT 127563056 SOS 24741224 HAS SOPS 24741224 HAS SOUS 8121614 HAS SOUPS 8121614 WITH SCORE 8146355.224
AT ITER 4967 NEW BEST:: SOT 127563018 SOS 24741148 HAS SOPS 24741148 HAS SOUS 8121538 HAS SOUPS 8121538 WITH SCORE 8146279.148
AT ITER 5013 NEW BEST:: SOT 127562914 SOS 24740940 HAS SOPS 24740940 HAS SOUS 8121330 HAS SOUPS 8121330 WITH SCORE 8146070.94
AT ITER 5014 NEW BEST:: SOT 127562766 SOS 24740644 HAS SOPS 24740644 HAS SOUS 8121034 HAS SOUPS 8121034 WITH SCORE 8145774.644
AT ITER 5044 NEW BEST:: SOT 127562766 SOS 24740644 HAS SOPS 24740644 HAS SOUS 8120881 HAS SOUPS 8120881 WITH SCORE 8145621.644
AT ITER 5072 NEW BEST:: SOT 127562766 SOS 24740594 HAS SOPS 24740594 HAS SOUS 8120831 HAS SOUPS 8120831 WITH SCORE 8145571.594
AT ITER 5074 NEW BEST:: SOT 127562306 SOS 24735544 HAS SOPS 24735544 HAS SOUS 8119861 HAS SOUPS 8119861 WITH SCORE 8144596.544
AT ITER 5084 NEW BEST:: SOT 127562306 SOS 24735544 HAS SOPS 24735544 HAS SOUS 8119731 HAS SOUPS 8119731 WITH SCORE 8144466.544
AT ITER 5103 NEW BEST:: SOT 127562208 SOS 24735348 HAS SOPS 24735348 HAS SOUS 8119535 HAS SOUPS 8119535 WITH SCORE 8144270.348
AT ITER 5116 NEW BEST:: SOT 127562208 SOS 24732270 HAS SOPS 24732270 HAS SOUS 8119337 HAS SOUPS 8119337 WITH SCORE 8144069.27
AT ITER 5144 NEW BEST:: SOT 127562208 SOS 24727952 HAS SOPS 24727952 HAS SOUS 8118979 HAS SOUPS 8118979 WITH SCORE 8143706.952
AT ITER 5159 NEW BEST:: SOT 127559094 SOS 24724492 HAS SOPS 24724492 HAS SOUS 8115172 HAS SOUPS 8115172 WITH SCORE 8139896.492
AT ITER 5161 NEW BEST:: SOT 127559094 SOS 24724384 HAS SOPS 24724384 HAS SOUS 8115064 HAS SOUPS 8115064 WITH SCORE 8139788.384
AT ITER 5165 NEW BEST:: SOT 127555494 SOS 24720384 HAS SOPS 24720384 HAS SOUS 8110029 HAS SOUPS 8110029 WITH SCORE 8134749.384
AT ITER 5217 NEW BEST:: SOT 127555298 SOS 24720188 HAS SOPS 24720188 HAS SOUS 8109685 HAS SOUPS 8109685 WITH SCORE 8134405.188
AT ITER 5220 NEW BEST:: SOT 127555298 SOS 24716958 HAS SOPS 24716958 HAS SOUS 8109039 HAS SOUPS 8109039 WITH SCORE 8133755.958
AT ITER 5277 NEW BEST:: SOT 127554939 SOS 24716240 HAS SOPS 24716240 HAS SOUS 8107889 HAS SOUPS 8107889 WITH SCORE 8132605.24
AT ITER 5292 NEW BEST:: SOT 127554869 SOS 24716100 HAS SOPS 24716100 HAS SOUS 8107749 HAS SOUPS 8107749 WITH SCORE 8132465.1
AT ITER 5370 NEW BEST:: SOT 127552493 SOS 24712602 HAS SOPS 24712602 HAS SOUS 8107451 HAS SOUPS 8107451 WITH SCORE 8132163.602
AT ITER 5373 NEW BEST:: SOT 127548969 SOS 24705554 HAS SOPS 24705554 HAS SOUS 8104732 HAS SOUPS 8104732 WITH SCORE 8129437.554
AT ITER 5416 NEW BEST:: SOT 127548969 SOS 24702476 HAS SOPS 24702476 HAS SOUS 8104390 HAS SOUPS 8104390 WITH SCORE 8129092.476
AT ITER 5421 NEW BEST:: SOT 127548697 SOS 24702204 HAS SOPS 24702204 HAS SOUS 8104118 HAS SOUPS 8104118 WITH SCORE 8128820.204
AT ITER 5423 NEW BEST:: SOT 127548697 SOS 24700234 HAS SOPS 24700234 HAS SOUS 8103724 HAS SOUPS 8103724 WITH SCORE 8128424.234
AT ITER 5425 NEW BEST:: SOT 127548270 SOS 24695964 HAS SOPS 24695964 HAS SOUS 8102870 HAS SOUPS 8102870 WITH SCORE 8127565.964
AT ITER 5467 NEW BEST:: SOT 127543988 SOS 24687400 HAS SOPS 24687400 HAS SOUS 8101107 HAS SOUPS 8101107 WITH SCORE 8125794.4
AT ITER 5509 NEW BEST:: SOT 127543988 SOS 24688718 HAS SOPS 24688718 HAS SOUS 8099324 HAS SOUPS 8099324 WITH SCORE 8124012.718
AT ITER 5513 NEW BEST:: SOT 127541432 SOS 24686269 HAS SOPS 24686269 HAS SOUS 8098953 HAS SOUPS 8098953 WITH SCORE 8123639.269
AT ITER 5520 NEW BEST:: SOT 127538075 SOS 24682539 HAS SOPS 24682539 HAS SOUS 8095139 HAS SOUPS 8095139 WITH SCORE 8119821.539
AT ITER 5545 NEW BEST:: SOT 127534835 SOS 24675796 HAS SOPS 24675796 HAS SOUS 8092052 HAS SOUPS 8092052 WITH SCORE 8116727.796
AT ITER 5564 NEW BEST:: SOT 127532270 SOS 24672946 HAS SOPS 24672946 HAS SOUS 8086922 HAS SOUPS 8086922 WITH SCORE 8111594.946
AT ITER 5575 NEW BEST:: SOT 127532377 SOS 24673053 HAS SOPS 24673053 HAS SOUS 8086815 HAS SOUPS 8086815 WITH SCORE 8111488.053
AT ITER 5602 NEW BEST:: SOT 127532377 SOS 24672820 HAS SOPS 24672820 HAS SOUS 8086294 HAS SOUPS 8086294 WITH SCORE 8110966.82
AT ITER 5612 NEW BEST:: SOT 127532327 SOS 24672720 HAS SOPS 24672720 HAS SOUS 8086194 HAS SOUPS 8086194 WITH SCORE 8110866.72
AT ITER 5615 NEW BEST:: SOT 127532263 SOS 24672592 HAS SOPS 24672592 HAS SOUS 8086066 HAS SOUPS 8086066 WITH SCORE 8110738.592
AT ITER 5631 NEW BEST:: SOT 127532263 SOS 24674200 HAS SOPS 24674200 HAS SOUS 8085157 HAS SOUPS 8085157 WITH SCORE 8109831.2
AT ITER 5644 NEW BEST:: SOT 127532163 SOS 24671180 HAS SOPS 24671180 HAS SOUS 8085017 HAS SOUPS 8085017 WITH SCORE 8109688.18
AT ITER 5766 NEW BEST:: SOT 127532163 SOS 24666986 HAS SOPS 24666986 HAS SOUS 8084551 HAS SOUPS 8084551 WITH SCORE 8109217.986
AT ITER 5778 NEW BEST:: SOT 127529062 SOS 24660784 HAS SOPS 24660784 HAS SOUS 8082437 HAS SOUPS 8082437 WITH SCORE 8107097.784
AT ITER 5784 NEW BEST:: SOT 127529194 SOS 24660916 HAS SOPS 24660916 HAS SOUS 8082173 HAS SOUPS 8082173 WITH SCORE 8106833.916
AT ITER 5785 NEW BEST:: SOT 127528907 SOS 24658046 HAS SOPS 24658046 HAS SOUS 8081599 HAS SOUPS 8081599 WITH SCORE 8106257.046
AT ITER 5796 NEW BEST:: SOT 127528907 SOS 24658046 HAS SOPS 24658046 HAS SOUS 8081514 HAS SOUPS 8081514 WITH SCORE 8106172.046
AT ITER 5823 NEW BEST:: SOT 127528762 SOS 24658042 HAS SOPS 24658042 HAS SOUS 8081510 HAS SOUPS 8081510 WITH SCORE 8106168.042
AT ITER 5886 NEW BEST:: SOT 127528383 SOS 24654252 HAS SOPS 24654252 HAS SOUS 8080752 HAS SOUPS 8080752 WITH SCORE 8105406.252
AT ITER 5913 NEW BEST:: SOT 127528504 SOS 24651086 HAS SOPS 24651086 HAS SOUS 8080698 HAS SOUPS 8080698 WITH SCORE 8105349.086
AT ITER 5966 NEW BEST:: SOT 127525273 SOS 24644265 HAS SOPS 24644265 HAS SOUS 8076749 HAS SOUPS 8076749 WITH SCORE 8101393.265
AT ITER 5978 NEW BEST:: SOT 127525273 SOS 24638195 HAS SOPS 24638195 HAS SOUS 8076175 HAS SOUPS 8076175 WITH SCORE 8100813.195
AT ITER 6035 NEW BEST:: SOT 127525480 SOS 24638227 HAS SOPS 24638227 HAS SOUS 8075096 HAS SOUPS 8075096 WITH SCORE 8099734.227
AT ITER 6037 NEW BEST:: SOT 127525447 SOS 24638161 HAS SOPS 24638161 HAS SOUS 8075030 HAS SOUPS 8075030 WITH SCORE 8099668.161
AT ITER 6047 NEW BEST:: SOT 127525447 SOS 24640159 HAS SOPS 24640159 HAS SOUS 8073314 HAS SOUPS 8073314 WITH SCORE 8097954.159
AT ITER 6107 NEW BEST:: SOT 127527085 SOS 24642033 HAS SOPS 24642033 HAS SOUS 8071937 HAS SOUPS 8071937 WITH SCORE 8096579.033
AT ITER 6133 NEW BEST:: SOT 127525693 SOS 24640641 HAS SOPS 24640641 HAS SOUS 8070545 HAS SOUPS 8070545 WITH SCORE 8095185.641
AT ITER 6161 NEW BEST:: SOT 127525693 SOS 24636317 HAS SOPS 24636317 HAS SOUS 8070301 HAS SOUPS 8070301 WITH SCORE 8094937.317
AT ITER 6192 NEW BEST:: SOT 127524949 SOS 24635573 HAS SOPS 24635573 HAS SOUS 8069557 HAS SOUPS 8069557 WITH SCORE 8094192.573
AT ITER 6204 NEW BEST:: SOT 127524849 SOS 24635572 HAS SOPS 24635572 HAS SOUS 8069556 HAS SOUPS 8069556 WITH SCORE 8094191.572
AT ITER 6230 NEW BEST:: SOT 127524849 SOS 24635572 HAS SOPS 24635572 HAS SOUS 8069533 HAS SOUPS 8069533 WITH SCORE 8094168.572
AT ITER 6233 NEW BEST:: SOT 127520591 SOS 24627056 HAS SOPS 24627056 HAS SOUS 8067978 HAS SOUPS 8067978 WITH SCORE 8092605.056
AT ITER 6291 NEW BEST:: SOT 127520674 SOS 24624729 HAS SOPS 24624729 HAS SOUS 8067867 HAS SOUPS 8067867 WITH SCORE 8092491.729
AT ITER 6315 NEW BEST:: SOT 127520674 SOS 24621552 HAS SOPS 24621552 HAS SOUS 8067514 HAS SOUPS 8067514 WITH SCORE 8092135.552
AT ITER 6402 NEW BEST:: SOT 127520279 SOS 24617207 HAS SOPS 24617207 HAS SOUS 8066329 HAS SOUPS 8066329 WITH SCORE 8090946.207
AT ITER 6448 NEW BEST:: SOT 127519838 SOS 24616766 HAS SOPS 24616766 HAS SOUS 8065888 HAS SOUPS 8065888 WITH SCORE 8090504.766
AT ITER 6463 NEW BEST:: SOT 127519838 SOS 24616766 HAS SOPS 24616766 HAS SOUS 8065670 HAS SOUPS 8065670 WITH SCORE 8090286.766
AT ITER 6467 NEW BEST:: SOT 127519838 SOS 24616286 HAS SOPS 24616286 HAS SOUS 8065574 HAS SOUPS 8065574 WITH SCORE 8090190.286
AT ITER 6485 NEW BEST:: SOT 127518157 SOS 24612924 HAS SOPS 24612924 HAS SOUS 8064364 HAS SOUPS 8064364 WITH SCORE 8088976.924
AT ITER 6552 NEW BEST:: SOT 127518065 SOS 24612832 HAS SOPS 24612832 HAS SOUS 8064180 HAS SOUPS 8064180 WITH SCORE 8088792.832
AT ITER 6563 NEW BEST:: SOT 127515779 SOS 24610292 HAS SOPS 24610292 HAS SOUS 8061568 HAS SOUPS 8061568 WITH SCORE 8086178.292
AT ITER 6628 NEW BEST:: SOT 127515679 SOS 24607046 HAS SOPS 24607046 HAS SOUS 8061202 HAS SOUPS 8061202 WITH SCORE 8085809.046
AT ITER 6660 NEW BEST:: SOT 127515285 SOS 24603106 HAS SOPS 24603106 HAS SOUS 8060414 HAS SOUPS 8060414 WITH SCORE 8085017.106
AT ITER 6710 NEW BEST:: SOT 127514832 SOS 24598576 HAS SOPS 24598576 HAS SOUS 8059508 HAS SOUPS 8059508 WITH SCORE 8084106.576
AT ITER 6729 NEW BEST:: SOT 127513648 SOS 24597392 HAS SOPS 24597392 HAS SOUS 8058324 HAS SOUPS 8058324 WITH SCORE 8082921.392
AT ITER 6730 NEW BEST:: SOT 127511317 SOS 24595061 HAS SOPS 24595061 HAS SOUS 8055993 HAS SOUPS 8055993 WITH SCORE 8080588.061
AT ITER 6740 NEW BEST:: SOT 127512775 SOS 24598529 HAS SOPS 24598529 HAS SOUS 8055904 HAS SOUPS 8055904 WITH SCORE 8080502.529
AT ITER 6799 NEW BEST:: SOT 127510120 SOS 24595579 HAS SOPS 24595579 HAS SOUS 8052610 HAS SOUPS 8052610 WITH SCORE 8077205.579
AT ITER 6827 NEW BEST:: SOT 127509743 SOS 24591432 HAS SOPS 24591432 HAS SOUS 8051479 HAS SOUPS 8051479 WITH SCORE 8076070.432
AT ITER 6847 NEW BEST:: SOT 127509326 SOS 24587262 HAS SOPS 24587262 HAS SOUS 8050645 HAS SOUPS 8050645 WITH SCORE 8075232.262
AT ITER 6866 NEW BEST:: SOT 127509326 SOS 24584342 HAS SOPS 24584342 HAS SOUS 8050061 HAS SOUPS 8050061 WITH SCORE 8074645.342
AT ITER 6907 NEW BEST:: SOT 127509281 SOS 24584252 HAS SOPS 24584252 HAS SOUS 8049971 HAS SOUPS 8049971 WITH SCORE 8074555.252
AT ITER 6963 NEW BEST:: SOT 127507097 SOS 24582068 HAS SOPS 24582068 HAS SOUS 8047787 HAS SOUPS 8047787 WITH SCORE 8072369.068
AT ITER 7002 NEW BEST:: SOT 127506965 SOS 24581804 HAS SOPS 24581804 HAS SOUS 8047523 HAS SOUPS 8047523 WITH SCORE 8072104.804
AT ITER 7004 NEW BEST:: SOT 127506965 SOS 24584189 HAS SOPS 24584189 HAS SOUS 8045668 HAS SOUPS 8045668 WITH SCORE 8070252.189
AT ITER 7022 NEW BEST:: SOT 127506965 SOS 24583900 HAS SOPS 24583900 HAS SOUS 8042803 HAS SOUPS 8042803 WITH SCORE 8067386.9
AT ITER 7046 NEW BEST:: SOT 127506965 SOS 24583900 HAS SOPS 24583900 HAS SOUS 8042755 HAS SOUPS 8042755 WITH SCORE 8067338.9
AT ITER 7054 NEW BEST:: SOT 127505413 SOS 24582348 HAS SOPS 24582348 HAS SOUS 8041203 HAS SOUPS 8041203 WITH SCORE 8065785.348
AT ITER 7058 NEW BEST:: SOT 127505269 SOS 24582188 HAS SOPS 24582188 HAS SOUS 8041043 HAS SOUPS 8041043 WITH SCORE 8065625.188
AT ITER 7126 NEW BEST:: SOT 127505185 SOS 24582020 HAS SOPS 24582020 HAS SOUS 8040875 HAS SOUPS 8040875 WITH SCORE 8065457.02
AT ITER 7136 NEW BEST:: SOT 127505035 SOS 24581870 HAS SOPS 24581870 HAS SOUS 8040671 HAS SOUPS 8040671 WITH SCORE 8065252.87
AT ITER 7140 NEW BEST:: SOT 127501831 SOS 24575106 HAS SOPS 24575106 HAS SOUS 8036755 HAS SOUPS 8036755 WITH SCORE 8061330.106
AT ITER 7209 NEW BEST:: SOT 127498438 SOS 24571336 HAS SOPS 24571336 HAS SOUS 8032545 HAS SOUPS 8032545 WITH SCORE 8057116.336
AT ITER 7225 NEW BEST:: SOT 127498278 SOS 24571176 HAS SOPS 24571176 HAS SOUS 8032116 HAS SOUPS 8032116 WITH SCORE 8056687.176
AT ITER 7273 NEW BEST:: SOT 127498133 SOS 24571055 HAS SOPS 24571055 HAS SOUS 8031995 HAS SOUPS 8031995 WITH SCORE 8056566.055
AT ITER 7284 NEW BEST:: SOT 127498133 SOS 24570678 HAS SOPS 24570678 HAS SOUS 8030742 HAS SOUPS 8030742 WITH SCORE 8055312.678
AT ITER 7293 NEW BEST:: SOT 127498133 SOS 24566138 HAS SOPS 24566138 HAS SOUS 8029834 HAS SOUPS 8029834 WITH SCORE 8054400.138
AT ITER 7339 NEW BEST:: SOT 127498133 SOS 24565265 HAS SOPS 24565265 HAS SOUS 8029737 HAS SOUPS 8029737 WITH SCORE 8054302.265
AT ITER 7407 NEW BEST:: SOT 127494650 SOS 24561395 HAS SOPS 24561395 HAS SOUS 8026011 HAS SOUPS 8026011 WITH SCORE 8050572.395
AT ITER 7451 NEW BEST:: SOT 127494568 SOS 24561231 HAS SOPS 24561231 HAS SOUS 8025847 HAS SOUPS 8025847 WITH SCORE 8050408.231
AT ITER 7454 NEW BEST:: SOT 127494568 SOS 24558117 HAS SOPS 24558117 HAS SOUS 8025613 HAS SOUPS 8025613 WITH SCORE 8050171.117
AT ITER 7475 NEW BEST:: SOT 127494568 SOS 24557343 HAS SOPS 24557343 HAS SOUS 8025527 HAS SOUPS 8025527 WITH SCORE 8050084.343
AT ITER 7486 NEW BEST:: SOT 127496125 SOS 24559166 HAS SOPS 24559166 HAS SOUS 8024486 HAS SOUPS 8024486 WITH SCORE 8049045.166
AT ITER 7577 NEW BEST:: SOT 127496084 SOS 24555697 HAS SOPS 24555697 HAS SOUS 8024257 HAS SOUPS 8024257 WITH SCORE 8048812.697
AT ITER 7607 NEW BEST:: SOT 127494959 SOS 24553447 HAS SOPS 24553447 HAS SOUS 8023007 HAS SOUPS 8023007 WITH SCORE 8047560.447
AT ITER 7699 NEW BEST:: SOT 127494573 SOS 24553061 HAS SOPS 24553061 HAS SOUS 8022621 HAS SOUPS 8022621 WITH SCORE 8047174.061
AT ITER 7730 NEW BEST:: SOT 127493322 SOS 24551671 HAS SOPS 24551671 HAS SOUS 8021231 HAS SOUPS 8021231 WITH SCORE 8045782.671
AT ITER 7741 NEW BEST:: SOT 127492888 SOS 24547331 HAS SOPS 24547331 HAS SOUS 8020363 HAS SOUPS 8020363 WITH SCORE 8044910.331
AT ITER 7748 NEW BEST:: SOT 127492888 SOS 24544172 HAS SOPS 24544172 HAS SOUS 8020012 HAS SOUPS 8020012 WITH SCORE 8044556.172
AT ITER 7750 NEW BEST:: SOT 127492888 SOS 24539679 HAS SOPS 24539679 HAS SOUS 8019599 HAS SOUPS 8019599 WITH SCORE 8044138.679
AT ITER 7751 NEW BEST:: SOT 127492888 SOS 24541234 HAS SOPS 24541234 HAS SOUS 8019506 HAS SOUPS 8019506 WITH SCORE 8044047.234
AT ITER 7764 NEW BEST:: SOT 127492610 SOS 24540678 HAS SOPS 24540678 HAS SOUS 8018550 HAS SOUPS 8018550 WITH SCORE 8043090.678
AT ITER 7781 NEW BEST:: SOT 127492528 SOS 24540596 HAS SOPS 24540596 HAS SOUS 8018550 HAS SOUPS 8018550 WITH SCORE 8043090.596
AT ITER 7801 NEW BEST:: SOT 127492171 SOS 24538989 HAS SOPS 24538989 HAS SOUS 8017943 HAS SOUPS 8017943 WITH SCORE 8042481.989
AT ITER 7808 NEW BEST:: SOT 127488151 SOS 24532933 HAS SOPS 24532933 HAS SOUS 8016881 HAS SOUPS 8016881 WITH SCORE 8041413.933
AT ITER 7822 NEW BEST:: SOT 127487008 SOS 24531663 HAS SOPS 24531663 HAS SOUS 8015611 HAS SOUPS 8015611 WITH SCORE 8040142.663
AT ITER 7841 NEW BEST:: SOT 127484974 SOS 24527595 HAS SOPS 24527595 HAS SOUS 8014562 HAS SOUPS 8014562 WITH SCORE 8039089.595
AT ITER 7855 NEW BEST:: SOT 127484974 SOS 24527595 HAS SOPS 24527595 HAS SOUS 8014182 HAS SOUPS 8014182 WITH SCORE 8038709.595
AT ITER 7896 NEW BEST:: SOT 127484974 SOS 24527595 HAS SOPS 24527595 HAS SOUS 8013901 HAS SOUPS 8013901 WITH SCORE 8038428.595
AT ITER 7946 NEW BEST:: SOT 127484710 SOS 24525771 HAS SOPS 24525771 HAS SOUS 8013325 HAS SOUPS 8013325 WITH SCORE 8037850.771
AT ITER 7961 NEW BEST:: SOT 127484710 SOS 24521181 HAS SOPS 24521181 HAS SOUS 8012407 HAS SOUPS 8012407 WITH SCORE 8036928.181
AT ITER 8006 NEW BEST:: SOT 127484710 SOS 24521115 HAS SOPS 24521115 HAS SOUS 8012341 HAS SOUPS 8012341 WITH SCORE 8036862.115
AT ITER 8027 NEW BEST:: SOT 127484710 SOS 24521709 HAS SOPS 24521709 HAS SOUS 8011813 HAS SOUPS 8011813 WITH SCORE 8036334.709
AT ITER 8035 NEW BEST:: SOT 127484710 SOS 24520169 HAS SOPS 24520169 HAS SOUS 8011505 HAS SOUPS 8011505 WITH SCORE 8036025.169
AT ITER 8108 NEW BEST:: SOT 127484710 SOS 24515529 HAS SOPS 24515529 HAS SOUS 8010577 HAS SOUPS 8010577 WITH SCORE 8035092.529
AT ITER 8115 NEW BEST:: SOT 127484260 SOS 24514333 HAS SOPS 24514333 HAS SOUS 8010410 HAS SOUPS 8010410 WITH SCORE 8034924.333
AT ITER 8168 NEW BEST:: SOT 127484260 SOS 24514333 HAS SOPS 24514333 HAS SOUS 8010216 HAS SOUPS 8010216 WITH SCORE 8034730.333
AT ITER 8171 NEW BEST:: SOT 127484315 SOS 24514388 HAS SOPS 24514388 HAS SOUS 8009989 HAS SOUPS 8009989 WITH SCORE 8034503.388
AT ITER 8182 NEW BEST:: SOT 127482839 SOS 24512912 HAS SOPS 24512912 HAS SOUS 8008513 HAS SOUPS 8008513 WITH SCORE 8033025.912
AT ITER 8193 NEW BEST:: SOT 127482873 SOS 24509641 HAS SOPS 24509641 HAS SOUS 8008210 HAS SOUPS 8008210 WITH SCORE 8032719.641
AT ITER 8236 NEW BEST:: SOT 127482407 SOS 24504981 HAS SOPS 24504981 HAS SOUS 8007278 HAS SOUPS 8007278 WITH SCORE 8031782.981
AT ITER 8242 NEW BEST:: SOT 127482407 SOS 24500784 HAS SOPS 24500784 HAS SOUS 8007041 HAS SOUPS 8007041 WITH SCORE 8031541.784
AT ITER 8328 NEW BEST:: SOT 127483622 SOS 24502134 HAS SOPS 24502134 HAS SOUS 8005900 HAS SOUPS 8005900 WITH SCORE 8030402.134
AT ITER 8367 NEW BEST:: SOT 127483852 SOS 24502364 HAS SOPS 24502364 HAS SOUS 8005440 HAS SOUPS 8005440 WITH SCORE 8029942.364
AT ITER 8382 NEW BEST:: SOT 127483833 SOS 24502326 HAS SOPS 24502326 HAS SOUS 8005402 HAS SOUPS 8005402 WITH SCORE 8029904.326
AT ITER 8397 NEW BEST:: SOT 127481592 SOS 24500085 HAS SOPS 24500085 HAS SOUS 8003161 HAS SOUPS 8003161 WITH SCORE 8027661.085
AT ITER 8437 NEW BEST:: SOT 127481592 SOS 24496477 HAS SOPS 24496477 HAS SOUS 8002793 HAS SOUPS 8002793 WITH SCORE 8027289.477
AT ITER 8439 NEW BEST:: SOT 127478824 SOS 24493709 HAS SOPS 24493709 HAS SOUS 8000025 HAS SOUPS 8000025 WITH SCORE 8024518.709
AT ITER 8478 NEW BEST:: SOT 127478806 SOS 24493673 HAS SOPS 24493673 HAS SOUS 7999989 HAS SOUPS 7999989 WITH SCORE 8024482.673
AT ITER 8517 NEW BEST:: SOT 127478806 SOS 24493673 HAS SOPS 24493673 HAS SOUS 7999983 HAS SOUPS 7999983 WITH SCORE 8024476.673
AT ITER 8524 NEW BEST:: SOT 127478756 SOS 24493623 HAS SOPS 24493623 HAS SOUS 7999933 HAS SOUPS 7999933 WITH SCORE 8024426.623
AT ITER 8525 NEW BEST:: SOT 127475867 SOS 24486165 HAS SOPS 24486165 HAS SOUS 7997610 HAS SOUPS 7997610 WITH SCORE 8022096.165
AT ITER 8548 NEW BEST:: SOT 127475830 SOS 24486091 HAS SOPS 24486091 HAS SOUS 7997536 HAS SOUPS 7997536 WITH SCORE 8022022.091
AT ITER 8609 NEW BEST:: SOT 127475913 SOS 24486174 HAS SOPS 24486174 HAS SOUS 7997529 HAS SOUPS 7997529 WITH SCORE 8022015.174
AT ITER 8632 NEW BEST:: SOT 127472847 SOS 24480042 HAS SOPS 24480042 HAS SOUS 7995333 HAS SOUPS 7995333 WITH SCORE 8019813.042
AT ITER 8642 NEW BEST:: SOT 127472450 SOS 24479645 HAS SOPS 24479645 HAS SOUS 7994936 HAS SOUPS 7994936 WITH SCORE 8019415.645
AT ITER 8670 NEW BEST:: SOT 127472050 SOS 24475245 HAS SOPS 24475245 HAS SOUS 7993736 HAS SOUPS 7993736 WITH SCORE 8018211.245
AT ITER 8736 NEW BEST:: SOT 127471974 SOS 24470947 HAS SOPS 24470947 HAS SOUS 7993398 HAS SOUPS 7993398 WITH SCORE 8017868.947
AT ITER 8799 NEW BEST:: SOT 127471952 SOS 24466718 HAS SOPS 24466718 HAS SOUS 7993249 HAS SOUPS 7993249 WITH SCORE 8017715.718
AT ITER 8834 NEW BEST:: SOT 127471944 SOS 24466710 HAS SOPS 24466710 HAS SOUS 7993249 HAS SOUPS 7993249 WITH SCORE 8017715.71
AT ITER 8879 NEW BEST:: SOT 127471152 SOS 24465918 HAS SOPS 24465918 HAS SOUS 7992457 HAS SOUPS 7992457 WITH SCORE 8016922.918
AT ITER 8890 NEW BEST:: SOT 127471152 SOS 24465714 HAS SOPS 24465714 HAS SOUS 7992045 HAS SOUPS 7992045 WITH SCORE 8016510.714
AT ITER 8979 NEW BEST:: SOT 127470669 SOS 24460884 HAS SOPS 24460884 HAS SOUS 7991079 HAS SOUPS 7991079 WITH SCORE 8015539.884
AT ITER 9083 NEW BEST:: SOT 127470544 SOS 24460634 HAS SOPS 24460634 HAS SOUS 7990829 HAS SOUPS 7990829 WITH SCORE 8015289.634
AT ITER 9101 NEW BEST:: SOT 127470459 SOS 24456329 HAS SOPS 24456329 HAS SOUS 7990484 HAS SOUPS 7990484 WITH SCORE 8014940.329
AT ITER 9108 NEW BEST:: SOT 127470459 SOS 24456329 HAS SOPS 24456329 HAS SOUS 7990376 HAS SOUPS 7990376 WITH SCORE 8014832.329
AT ITER 9122 NEW BEST:: SOT 127466004 SOS 24447326 HAS SOPS 24447326 HAS SOUS 7988420 HAS SOUPS 7988420 WITH SCORE 8012867.326
AT ITER 9151 NEW BEST:: SOT 127461414 SOS 24437691 HAS SOPS 24437691 HAS SOUS 7983360 HAS SOUPS 7983360 WITH SCORE 8007797.691
AT ITER 9161 NEW BEST:: SOT 127460676 SOS 24436953 HAS SOPS 24436953 HAS SOUS 7982622 HAS SOUPS 7982622 WITH SCORE 8007058.953
AT ITER 9214 NEW BEST:: SOT 127460516 SOS 24432762 HAS SOPS 24432762 HAS SOUS 7982511 HAS SOUPS 7982511 WITH SCORE 8006943.762
AT ITER 9215 NEW BEST:: SOT 127460516 SOS 24432762 HAS SOPS 24432762 HAS SOUS 7981963 HAS SOUPS 7981963 WITH SCORE 8006395.762
AT ITER 9237 NEW BEST:: SOT 127460516 SOS 24433922 HAS SOPS 24433922 HAS SOUS 7981547 HAS SOUPS 7981547 WITH SCORE 8005980.922
AT ITER 9276 NEW BEST:: SOT 127460516 SOS 24430322 HAS SOPS 24430322 HAS SOUS 7981147 HAS SOUPS 7981147 WITH SCORE 8005577.322
AT ITER 9291 NEW BEST:: SOT 127460516 SOS 24430322 HAS SOPS 24430322 HAS SOUS 7980413 HAS SOUPS 7980413 WITH SCORE 8004843.322
AT ITER 9307 NEW BEST:: SOT 127459733 SOS 24428669 HAS SOPS 24428669 HAS SOUS 7979456 HAS SOUPS 7979456 WITH SCORE 8003884.669
AT ITER 9342 NEW BEST:: SOT 127459733 SOS 24424909 HAS SOPS 24424909 HAS SOUS 7978704 HAS SOUPS 7978704 WITH SCORE 8003128.909
AT ITER 9349 NEW BEST:: SOT 127459733 SOS 24424909 HAS SOPS 24424909 HAS SOUS 7978419 HAS SOUPS 7978419 WITH SCORE 8002843.909
AT ITER 9387 NEW BEST:: SOT 127459238 SOS 24422029 HAS SOPS 24422029 HAS SOUS 7977219 HAS SOUPS 7977219 WITH SCORE 8001641.029
AT ITER 9437 NEW BEST:: SOT 127458392 SOS 24419625 HAS SOPS 24419625 HAS SOUS 7977080 HAS SOUPS 7977080 WITH SCORE 8001499.625
AT ITER 9469 NEW BEST:: SOT 127455338 SOS 24413517 HAS SOPS 24413517 HAS SOUS 7974494 HAS SOUPS 7974494 WITH SCORE 7998907.517
AT ITER 9472 NEW BEST:: SOT 127455165 SOS 24413344 HAS SOPS 24413344 HAS SOUS 7974494 HAS SOUPS 7974494 WITH SCORE 7998907.344
AT ITER 9477 NEW BEST:: SOT 127451520 SOS 24409768 HAS SOPS 24409768 HAS SOUS 7970918 HAS SOUPS 7970918 WITH SCORE 7995327.768
AT ITER 9493 NEW BEST:: SOT 127451520 SOS 24406501 HAS SOPS 24406501 HAS SOUS 7970891 HAS SOUPS 7970891 WITH SCORE 7995297.501
AT ITER 9499 NEW BEST:: SOT 127451413 SOS 24406287 HAS SOPS 24406287 HAS SOUS 7970677 HAS SOUPS 7970677 WITH SCORE 7995083.287
AT ITER 9535 NEW BEST:: SOT 127450918 SOS 24405792 HAS SOPS 24405792 HAS SOUS 7970182 HAS SOUPS 7970182 WITH SCORE 7994587.792
AT ITER 9577 NEW BEST:: SOT 127449316 SOS 24404012 HAS SOPS 24404012 HAS SOUS 7968402 HAS SOUPS 7968402 WITH SCORE 7992806.012
AT ITER 9635 NEW BEST:: SOT 127449316 SOS 24404012 HAS SOPS 24404012 HAS SOUS 7968300 HAS SOUPS 7968300 WITH SCORE 7992704.012
AT ITER 9687 NEW BEST:: SOT 127448821 SOS 24399062 HAS SOPS 24399062 HAS SOUS 7967310 HAS SOUPS 7967310 WITH SCORE 7991709.062
AT ITER 9735 NEW BEST:: SOT 127448461 SOS 24396290 HAS SOPS 24396290 HAS SOUS 7966362 HAS SOUPS 7966362 WITH SCORE 7990758.29
AT ITER 9751 NEW BEST:: SOT 127448357 SOS 24395250 HAS SOPS 24395250 HAS SOUS 7966154 HAS SOUPS 7966154 WITH SCORE 7990549.25
AT ITER 9791 NEW BEST:: SOT 127448357 SOS 24395250 HAS SOPS 24395250 HAS SOUS 7966094 HAS SOUPS 7966094 WITH SCORE 7990489.25
AT ITER 9796 NEW BEST:: SOT 127447541 SOS 24394434 HAS SOPS 24394434 HAS SOUS 7965278 HAS SOUPS 7965278 WITH SCORE 7989672.434
AT ITER 9802 NEW BEST:: SOT 127447284 SOS 24394177 HAS SOPS 24394177 HAS SOUS 7965021 HAS SOUPS 7965021 WITH SCORE 7989415.177
AT ITER 9849 NEW BEST:: SOT 127446213 SOS 24391916 HAS SOPS 24391916 HAS SOUS 7963712 HAS SOUPS 7963712 WITH SCORE 7988103.916
AT ITER 9861 NEW BEST:: SOT 127446143 SOS 24391846 HAS SOPS 24391846 HAS SOUS 7963642 HAS SOUPS 7963642 WITH SCORE 7988033.846

BK_STOP 1589616887730

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypercubeGrid-PT-C5K3P3B15"
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"

# 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 HypercubeGrid-PT-C5K3P3B15, 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 r093-oct2-158940140300272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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