fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r093-oct2-158940140100120
Last Updated
Jun 28, 2020

About the Execution of smart for HexagonalGrid-PT-516

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

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140100120.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 HexagonalGrid-PT-516, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rwxr-xr-x 1 mcc users 1.4M Apr 27 14:36 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 1589610208130

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

Filename model.pnml
Petri model created: 1267 places, 2250 transitions, 9000 arcs.
AT ITER 0 NEW BEST:: SOT 1560322 SOS 252456 HAS SOPS 252456 HAS SOUS 124398 HAS SOUPS 124398 WITH SCORE 124650.456
AT ITER 37 NEW BEST:: SOT 1560322 SOS 252441 HAS SOPS 252441 HAS SOUS 124395 HAS SOUPS 124395 WITH SCORE 124647.441
AT ITER 47 NEW BEST:: SOT 1560322 SOS 252441 HAS SOPS 252441 HAS SOUS 124374 HAS SOUPS 124374 WITH SCORE 124626.441
AT ITER 52 NEW BEST:: SOT 1560322 SOS 252441 HAS SOPS 252441 HAS SOUS 124288 HAS SOUPS 124288 WITH SCORE 124540.441
AT ITER 70 NEW BEST:: SOT 1560288 SOS 252407 HAS SOPS 252407 HAS SOUS 124234 HAS SOUPS 124234 WITH SCORE 124486.407
AT ITER 71 NEW BEST:: SOT 1560288 SOS 252407 HAS SOPS 252407 HAS SOUS 124224 HAS SOUPS 124224 WITH SCORE 124476.407
AT ITER 77 NEW BEST:: SOT 1560245 SOS 252149 HAS SOPS 252149 HAS SOUS 124138 HAS SOUPS 124138 WITH SCORE 124390.149
AT ITER 114 NEW BEST:: SOT 1560245 SOS 251991 HAS SOPS 251991 HAS SOUS 124128 HAS SOUPS 124128 WITH SCORE 124379.991
AT ITER 119 NEW BEST:: SOT 1560213 SOS 251863 HAS SOPS 251863 HAS SOUS 124128 HAS SOUPS 124128 WITH SCORE 124379.863
AT ITER 133 NEW BEST:: SOT 1560213 SOS 251863 HAS SOPS 251863 HAS SOUS 124112 HAS SOUPS 124112 WITH SCORE 124363.863
AT ITER 176 NEW BEST:: SOT 1560213 SOS 251635 HAS SOPS 251635 HAS SOUS 124036 HAS SOUPS 124036 WITH SCORE 124287.635
AT ITER 213 NEW BEST:: SOT 1560170 SOS 251549 HAS SOPS 251549 HAS SOUS 123950 HAS SOUPS 123950 WITH SCORE 124201.549
AT ITER 270 NEW BEST:: SOT 1560170 SOS 251315 HAS SOPS 251315 HAS SOUS 123872 HAS SOUPS 123872 WITH SCORE 124123.315
AT ITER 285 NEW BEST:: SOT 1560170 SOS 251315 HAS SOPS 251315 HAS SOUS 123836 HAS SOUPS 123836 WITH SCORE 124087.315
AT ITER 310 NEW BEST:: SOT 1560141 SOS 251257 HAS SOPS 251257 HAS SOUS 123778 HAS SOUPS 123778 WITH SCORE 124029.257
AT ITER 352 NEW BEST:: SOT 1559966 SOS 250907 HAS SOPS 250907 HAS SOUS 123568 HAS SOUPS 123568 WITH SCORE 123818.907
AT ITER 364 NEW BEST:: SOT 1559936 SOS 250877 HAS SOPS 250877 HAS SOUS 123538 HAS SOUPS 123538 WITH SCORE 123788.877
AT ITER 394 NEW BEST:: SOT 1559936 SOS 250877 HAS SOPS 250877 HAS SOUS 123500 HAS SOUPS 123500 WITH SCORE 123750.877
AT ITER 397 NEW BEST:: SOT 1559936 SOS 250632 HAS SOPS 250632 HAS SOUS 123451 HAS SOUPS 123451 WITH SCORE 123701.632
AT ITER 424 NEW BEST:: SOT 1559883 SOS 250261 HAS SOPS 250261 HAS SOUS 123292 HAS SOUPS 123292 WITH SCORE 123542.261
AT ITER 442 NEW BEST:: SOT 1559879 SOS 250097 HAS SOPS 250097 HAS SOUS 123264 HAS SOUPS 123264 WITH SCORE 123514.097
AT ITER 451 NEW BEST:: SOT 1559864 SOS 250082 HAS SOPS 250082 HAS SOUS 123264 HAS SOUPS 123264 WITH SCORE 123514.082
AT ITER 492 NEW BEST:: SOT 1559814 SOS 249732 HAS SOPS 249732 HAS SOUS 123114 HAS SOUPS 123114 WITH SCORE 123363.732
AT ITER 512 NEW BEST:: SOT 1559789 SOS 249582 HAS SOPS 249582 HAS SOUS 123064 HAS SOUPS 123064 WITH SCORE 123313.582
AT ITER 544 NEW BEST:: SOT 1559769 SOS 249408 HAS SOPS 249408 HAS SOUS 123038 HAS SOUPS 123038 WITH SCORE 123287.408
AT ITER 563 NEW BEST:: SOT 1559769 SOS 249340 HAS SOPS 249340 HAS SOUS 123038 HAS SOUPS 123038 WITH SCORE 123287.34
AT ITER 567 NEW BEST:: SOT 1559739 SOS 249274 HAS SOPS 249274 HAS SOUS 122996 HAS SOUPS 122996 WITH SCORE 123245.274
AT ITER 577 NEW BEST:: SOT 1559739 SOS 249274 HAS SOPS 249274 HAS SOUS 122979 HAS SOUPS 122979 WITH SCORE 123228.274
AT ITER 589 NEW BEST:: SOT 1559739 SOS 249088 HAS SOPS 249088 HAS SOUS 122917 HAS SOUPS 122917 WITH SCORE 123166.088
AT ITER 622 NEW BEST:: SOT 1559679 SOS 248968 HAS SOPS 248968 HAS SOUS 122845 HAS SOUPS 122845 WITH SCORE 123093.968
AT ITER 640 NEW BEST:: SOT 1559660 SOS 248797 HAS SOPS 248797 HAS SOUS 122822 HAS SOUPS 122822 WITH SCORE 123070.797
AT ITER 660 NEW BEST:: SOT 1559695 SOS 248832 HAS SOPS 248832 HAS SOUS 122821 HAS SOUPS 122821 WITH SCORE 123069.832
AT ITER 690 NEW BEST:: SOT 1559695 SOS 248832 HAS SOPS 248832 HAS SOUS 122794 HAS SOUPS 122794 WITH SCORE 123042.832
AT ITER 711 NEW BEST:: SOT 1559695 SOS 248580 HAS SOPS 248580 HAS SOUS 122710 HAS SOUPS 122710 WITH SCORE 122958.58
AT ITER 713 NEW BEST:: SOT 1559525 SOS 248245 HAS SOPS 248245 HAS SOUS 122511 HAS SOUPS 122511 WITH SCORE 122759.245
AT ITER 737 NEW BEST:: SOT 1559525 SOS 248232 HAS SOPS 248232 HAS SOUS 122498 HAS SOUPS 122498 WITH SCORE 122746.232
AT ITER 771 NEW BEST:: SOT 1559519 SOS 248226 HAS SOPS 248226 HAS SOUS 122487 HAS SOUPS 122487 WITH SCORE 122735.226
AT ITER 809 NEW BEST:: SOT 1559374 SOS 248016 HAS SOPS 248016 HAS SOUS 122329 HAS SOUPS 122329 WITH SCORE 122577.016
AT ITER 871 NEW BEST:: SOT 1559374 SOS 248013 HAS SOPS 248013 HAS SOUS 122326 HAS SOUPS 122326 WITH SCORE 122574.013
AT ITER 907 NEW BEST:: SOT 1559374 SOS 247695 HAS SOPS 247695 HAS SOUS 122220 HAS SOUPS 122220 WITH SCORE 122467.695
AT ITER 913 NEW BEST:: SOT 1559374 SOS 247582 HAS SOPS 247582 HAS SOUS 122207 HAS SOUPS 122207 WITH SCORE 122454.582
AT ITER 923 NEW BEST:: SOT 1559374 SOS 247582 HAS SOPS 247582 HAS SOUS 122176 HAS SOUPS 122176 WITH SCORE 122423.582
AT ITER 955 NEW BEST:: SOT 1559373 SOS 247581 HAS SOPS 247581 HAS SOUS 122175 HAS SOUPS 122175 WITH SCORE 122422.581
AT ITER 999 NEW BEST:: SOT 1559113 SOS 247269 HAS SOPS 247269 HAS SOUS 121655 HAS SOUPS 121655 WITH SCORE 121902.269
AT ITER 1015 NEW BEST:: SOT 1559089 SOS 247173 HAS SOPS 247173 HAS SOUS 121655 HAS SOUPS 121655 WITH SCORE 121902.173
AT ITER 1031 NEW BEST:: SOT 1559089 SOS 247167 HAS SOPS 247167 HAS SOUS 121653 HAS SOUPS 121653 WITH SCORE 121900.167
AT ITER 1051 NEW BEST:: SOT 1559095 SOS 246929 HAS SOPS 246929 HAS SOUS 121615 HAS SOUPS 121615 WITH SCORE 121861.929
AT ITER 1089 NEW BEST:: SOT 1559095 SOS 246929 HAS SOPS 246929 HAS SOUS 121610 HAS SOUPS 121610 WITH SCORE 121856.929
AT ITER 1112 NEW BEST:: SOT 1559064 SOS 246805 HAS SOPS 246805 HAS SOUS 121603 HAS SOUPS 121603 WITH SCORE 121849.805
AT ITER 1124 NEW BEST:: SOT 1559064 SOS 246805 HAS SOPS 246805 HAS SOUS 121565 HAS SOUPS 121565 WITH SCORE 121811.805
AT ITER 1138 NEW BEST:: SOT 1559064 SOS 246770 HAS SOPS 246770 HAS SOUS 121558 HAS SOUPS 121558 WITH SCORE 121804.77
AT ITER 1149 NEW BEST:: SOT 1559064 SOS 246620 HAS SOPS 246620 HAS SOUS 121508 HAS SOUPS 121508 WITH SCORE 121754.62
AT ITER 1249 NEW BEST:: SOT 1559044 SOS 246576 HAS SOPS 246576 HAS SOUS 121480 HAS SOUPS 121480 WITH SCORE 121726.576
AT ITER 1278 NEW BEST:: SOT 1559044 SOS 246576 HAS SOPS 246576 HAS SOUS 121465 HAS SOUPS 121465 WITH SCORE 121711.576
AT ITER 1280 NEW BEST:: SOT 1559057 SOS 246437 HAS SOPS 246437 HAS SOUS 121458 HAS SOUPS 121458 WITH SCORE 121704.437
AT ITER 1296 NEW BEST:: SOT 1559047 SOS 246417 HAS SOPS 246417 HAS SOUS 121438 HAS SOUPS 121438 WITH SCORE 121684.417
AT ITER 1299 NEW BEST:: SOT 1559049 SOS 246321 HAS SOPS 246321 HAS SOUS 121422 HAS SOUPS 121422 WITH SCORE 121668.321
AT ITER 1310 NEW BEST:: SOT 1558993 SOS 246265 HAS SOPS 246265 HAS SOUS 121366 HAS SOUPS 121366 WITH SCORE 121612.265
AT ITER 1341 NEW BEST:: SOT 1558993 SOS 246305 HAS SOPS 246305 HAS SOUS 121362 HAS SOUPS 121362 WITH SCORE 121608.305
AT ITER 1343 NEW BEST:: SOT 1558878 SOS 246052 HAS SOPS 246052 HAS SOUS 121201 HAS SOUPS 121201 WITH SCORE 121447.052
AT ITER 1384 NEW BEST:: SOT 1558878 SOS 246052 HAS SOPS 246052 HAS SOUS 121182 HAS SOUPS 121182 WITH SCORE 121428.052
AT ITER 1399 NEW BEST:: SOT 1558878 SOS 246052 HAS SOPS 246052 HAS SOUS 121174 HAS SOUPS 121174 WITH SCORE 121420.052
AT ITER 1406 NEW BEST:: SOT 1558838 SOS 245812 HAS SOPS 245812 HAS SOUS 121094 HAS SOUPS 121094 WITH SCORE 121339.812
AT ITER 1434 NEW BEST:: SOT 1558847 SOS 245595 HAS SOPS 245595 HAS SOUS 121065 HAS SOUPS 121065 WITH SCORE 121310.595
AT ITER 1452 NEW BEST:: SOT 1558795 SOS 245283 HAS SOPS 245283 HAS SOUS 120961 HAS SOUPS 120961 WITH SCORE 121206.283
AT ITER 1585 NEW BEST:: SOT 1558525 SOS 244724 HAS SOPS 244724 HAS SOUS 120618 HAS SOUPS 120618 WITH SCORE 120862.724
AT ITER 1696 NEW BEST:: SOT 1558504 SOS 244703 HAS SOPS 244703 HAS SOUS 120597 HAS SOUPS 120597 WITH SCORE 120841.703
AT ITER 1760 NEW BEST:: SOT 1558504 SOS 244703 HAS SOPS 244703 HAS SOUS 120575 HAS SOUPS 120575 WITH SCORE 120819.703
AT ITER 1780 NEW BEST:: SOT 1558539 SOS 244745 HAS SOPS 244745 HAS SOUS 120529 HAS SOUPS 120529 WITH SCORE 120773.745
AT ITER 1790 NEW BEST:: SOT 1558539 SOS 244715 HAS SOPS 244715 HAS SOUS 120519 HAS SOUPS 120519 WITH SCORE 120763.715
AT ITER 1791 NEW BEST:: SOT 1558369 SOS 244375 HAS SOPS 244375 HAS SOUS 120315 HAS SOUPS 120315 WITH SCORE 120559.375
AT ITER 1842 NEW BEST:: SOT 1558369 SOS 244303 HAS SOPS 244303 HAS SOUS 120291 HAS SOUPS 120291 WITH SCORE 120535.303
AT ITER 1859 NEW BEST:: SOT 1558348 SOS 244151 HAS SOPS 244151 HAS SOUS 120287 HAS SOUPS 120287 WITH SCORE 120531.151
AT ITER 1936 NEW BEST:: SOT 1558348 SOS 243911 HAS SOPS 243911 HAS SOUS 120207 HAS SOUPS 120207 WITH SCORE 120450.911
AT ITER 1987 NEW BEST:: SOT 1558294 SOS 243593 HAS SOPS 243593 HAS SOUS 120057 HAS SOUPS 120057 WITH SCORE 120300.593
AT ITER 2031 NEW BEST:: SOT 1558294 SOS 243589 HAS SOPS 243589 HAS SOUS 120053 HAS SOUPS 120053 WITH SCORE 120296.589
AT ITER 2054 NEW BEST:: SOT 1558279 SOS 243574 HAS SOPS 243574 HAS SOUS 119988 HAS SOUPS 119988 WITH SCORE 120231.574
AT ITER 2065 NEW BEST:: SOT 1558074 SOS 243123 HAS SOPS 243123 HAS SOUS 119701 HAS SOUPS 119701 WITH SCORE 119944.123
AT ITER 2153 NEW BEST:: SOT 1558053 SOS 243090 HAS SOPS 243090 HAS SOUS 119676 HAS SOUPS 119676 WITH SCORE 119919.09
AT ITER 2179 NEW BEST:: SOT 1558034 SOS 243071 HAS SOPS 243071 HAS SOUS 119672 HAS SOUPS 119672 WITH SCORE 119915.071
AT ITER 2198 NEW BEST:: SOT 1558030 SOS 243063 HAS SOPS 243063 HAS SOUS 119664 HAS SOUPS 119664 WITH SCORE 119907.063
AT ITER 2225 NEW BEST:: SOT 1557780 SOS 242763 HAS SOPS 242763 HAS SOUS 119364 HAS SOUPS 119364 WITH SCORE 119606.763
AT ITER 2230 NEW BEST:: SOT 1557780 SOS 242751 HAS SOPS 242751 HAS SOUS 119352 HAS SOUPS 119352 WITH SCORE 119594.751
AT ITER 2239 NEW BEST:: SOT 1557736 SOS 242443 HAS SOPS 242443 HAS SOUS 119220 HAS SOUPS 119220 WITH SCORE 119462.443
AT ITER 2253 NEW BEST:: SOT 1557736 SOS 242443 HAS SOPS 242443 HAS SOUS 119174 HAS SOUPS 119174 WITH SCORE 119416.443
AT ITER 2260 NEW BEST:: SOT 1557736 SOS 242443 HAS SOPS 242443 HAS SOUS 119166 HAS SOUPS 119166 WITH SCORE 119408.443
AT ITER 2280 NEW BEST:: SOT 1557736 SOS 242283 HAS SOPS 242283 HAS SOUS 119134 HAS SOUPS 119134 WITH SCORE 119376.283
AT ITER 2346 NEW BEST:: SOT 1557581 SOS 242097 HAS SOPS 242097 HAS SOUS 118916 HAS SOUPS 118916 WITH SCORE 119158.097
AT ITER 2381 NEW BEST:: SOT 1557581 SOS 242097 HAS SOPS 242097 HAS SOUS 118890 HAS SOUPS 118890 WITH SCORE 119132.097
AT ITER 2417 NEW BEST:: SOT 1557581 SOS 241935 HAS SOPS 241935 HAS SOUS 118836 HAS SOUPS 118836 WITH SCORE 119077.935
AT ITER 2421 NEW BEST:: SOT 1557619 SOS 241973 HAS SOPS 241973 HAS SOUS 118781 HAS SOUPS 118781 WITH SCORE 119022.973
AT ITER 2437 NEW BEST:: SOT 1557574 SOS 241703 HAS SOPS 241703 HAS SOUS 118691 HAS SOUPS 118691 WITH SCORE 118932.703
AT ITER 2444 NEW BEST:: SOT 1557394 SOS 241343 HAS SOPS 241343 HAS SOUS 118475 HAS SOUPS 118475 WITH SCORE 118716.343
AT ITER 2497 NEW BEST:: SOT 1557189 SOS 240892 HAS SOPS 240892 HAS SOUS 118188 HAS SOUPS 118188 WITH SCORE 118428.892
AT ITER 2500 NEW BEST:: SOT 1557214 SOS 240901 HAS SOPS 240901 HAS SOUS 118177 HAS SOUPS 118177 WITH SCORE 118417.901
AT ITER 2525 NEW BEST:: SOT 1556969 SOS 240362 HAS SOPS 240362 HAS SOUS 117834 HAS SOUPS 117834 WITH SCORE 118074.362
AT ITER 2550 NEW BEST:: SOT 1556915 SOS 239989 HAS SOPS 239989 HAS SOUS 117673 HAS SOUPS 117673 WITH SCORE 117912.989
AT ITER 2567 NEW BEST:: SOT 1556915 SOS 239804 HAS SOPS 239804 HAS SOUS 117636 HAS SOUPS 117636 WITH SCORE 117875.804
AT ITER 2582 NEW BEST:: SOT 1556915 SOS 239562 HAS SOPS 239562 HAS SOUS 117618 HAS SOUPS 117618 WITH SCORE 117857.562
AT ITER 2600 NEW BEST:: SOT 1556915 SOS 239544 HAS SOPS 239544 HAS SOUS 117600 HAS SOUPS 117600 WITH SCORE 117839.544
AT ITER 2619 NEW BEST:: SOT 1556770 SOS 239254 HAS SOPS 239254 HAS SOUS 117426 HAS SOUPS 117426 WITH SCORE 117665.254
AT ITER 2733 NEW BEST:: SOT 1556770 SOS 239254 HAS SOPS 239254 HAS SOUS 117384 HAS SOUPS 117384 WITH SCORE 117623.254
AT ITER 2734 NEW BEST:: SOT 1556560 SOS 238792 HAS SOPS 238792 HAS SOUS 117090 HAS SOUPS 117090 WITH SCORE 117328.792
AT ITER 2768 NEW BEST:: SOT 1556573 SOS 238805 HAS SOPS 238805 HAS SOUS 117088 HAS SOUPS 117088 WITH SCORE 117326.805
AT ITER 2800 NEW BEST:: SOT 1556719 SOS 239097 HAS SOPS 239097 HAS SOUS 117004 HAS SOUPS 117004 WITH SCORE 117243.097
AT ITER 2828 NEW BEST:: SOT 1556524 SOS 238639 HAS SOPS 238639 HAS SOUS 116774 HAS SOUPS 116774 WITH SCORE 117012.639
AT ITER 2838 NEW BEST:: SOT 1556496 SOS 238611 HAS SOPS 238611 HAS SOUS 116771 HAS SOUPS 116771 WITH SCORE 117009.611
AT ITER 2877 NEW BEST:: SOT 1556601 SOS 238788 HAS SOPS 238788 HAS SOUS 116688 HAS SOUPS 116688 WITH SCORE 116926.788
AT ITER 2917 NEW BEST:: SOT 1556601 SOS 238680 HAS SOPS 238680 HAS SOUS 116652 HAS SOUPS 116652 WITH SCORE 116890.68
AT ITER 2986 NEW BEST:: SOT 1556599 SOS 238678 HAS SOPS 238678 HAS SOUS 116648 HAS SOUPS 116648 WITH SCORE 116886.678
AT ITER 3015 NEW BEST:: SOT 1556599 SOS 238575 HAS SOPS 238575 HAS SOUS 116633 HAS SOUPS 116633 WITH SCORE 116871.575
AT ITER 3017 NEW BEST:: SOT 1556565 SOS 238367 HAS SOPS 238367 HAS SOUS 116537 HAS SOUPS 116537 WITH SCORE 116775.367
AT ITER 3072 NEW BEST:: SOT 1556565 SOS 238367 HAS SOPS 238367 HAS SOUS 116515 HAS SOUPS 116515 WITH SCORE 116753.367
AT ITER 3081 NEW BEST:: SOT 1556565 SOS 238313 HAS SOPS 238313 HAS SOUS 116497 HAS SOUPS 116497 WITH SCORE 116735.313
AT ITER 3082 NEW BEST:: SOT 1556511 SOS 238207 HAS SOPS 238207 HAS SOUS 116419 HAS SOUPS 116419 WITH SCORE 116657.207
AT ITER 3083 NEW BEST:: SOT 1556515 SOS 238007 HAS SOPS 238007 HAS SOUS 116391 HAS SOUPS 116391 WITH SCORE 116629.007
AT ITER 3090 NEW BEST:: SOT 1556515 SOS 237689 HAS SOPS 237689 HAS SOUS 116285 HAS SOUPS 116285 WITH SCORE 116522.689
AT ITER 3167 NEW BEST:: SOT 1556515 SOS 237797 HAS SOPS 237797 HAS SOUS 116253 HAS SOUPS 116253 WITH SCORE 116490.797
AT ITER 3168 NEW BEST:: SOT 1556515 SOS 237797 HAS SOPS 237797 HAS SOUS 116234 HAS SOUPS 116234 WITH SCORE 116471.797
AT ITER 3192 NEW BEST:: SOT 1556515 SOS 237769 HAS SOPS 237769 HAS SOUS 116206 HAS SOUPS 116206 WITH SCORE 116443.769
AT ITER 3214 NEW BEST:: SOT 1556515 SOS 237764 HAS SOPS 237764 HAS SOUS 116201 HAS SOUPS 116201 WITH SCORE 116438.764
AT ITER 3267 NEW BEST:: SOT 1556507 SOS 237708 HAS SOPS 237708 HAS SOUS 116177 HAS SOUPS 116177 WITH SCORE 116414.708
AT ITER 3294 NEW BEST:: SOT 1556482 SOS 237678 HAS SOPS 237678 HAS SOUS 116147 HAS SOUPS 116147 WITH SCORE 116384.678
AT ITER 3299 NEW BEST:: SOT 1556482 SOS 237678 HAS SOPS 237678 HAS SOUS 116107 HAS SOUPS 116107 WITH SCORE 116344.678
AT ITER 3320 NEW BEST:: SOT 1556442 SOS 237560 HAS SOPS 237560 HAS SOUS 116041 HAS SOUPS 116041 WITH SCORE 116278.56
AT ITER 3326 NEW BEST:: SOT 1556442 SOS 237410 HAS SOPS 237410 HAS SOUS 116035 HAS SOUPS 116035 WITH SCORE 116272.41
AT ITER 3335 NEW BEST:: SOT 1556507 SOS 237756 HAS SOPS 237756 HAS SOUS 115937 HAS SOUPS 115937 WITH SCORE 116174.756
AT ITER 3376 NEW BEST:: SOT 1556267 SOS 237468 HAS SOPS 237468 HAS SOUS 115497 HAS SOUPS 115497 WITH SCORE 115734.468
AT ITER 3420 NEW BEST:: SOT 1556267 SOS 237431 HAS SOPS 237431 HAS SOUS 115460 HAS SOUPS 115460 WITH SCORE 115697.431
AT ITER 3466 NEW BEST:: SOT 1556267 SOS 237398 HAS SOPS 237398 HAS SOUS 115427 HAS SOUPS 115427 WITH SCORE 115664.398
AT ITER 3490 NEW BEST:: SOT 1556267 SOS 237386 HAS SOPS 237386 HAS SOUS 115415 HAS SOUPS 115415 WITH SCORE 115652.386
AT ITER 3494 NEW BEST:: SOT 1556237 SOS 237230 HAS SOPS 237230 HAS SOUS 115379 HAS SOUPS 115379 WITH SCORE 115616.23
AT ITER 3541 NEW BEST:: SOT 1556167 SOS 237031 HAS SOPS 237031 HAS SOUS 115272 HAS SOUPS 115272 WITH SCORE 115509.031
AT ITER 3558 NEW BEST:: SOT 1556167 SOS 236873 HAS SOPS 236873 HAS SOUS 115262 HAS SOUPS 115262 WITH SCORE 115498.873
AT ITER 3590 NEW BEST:: SOT 1556002 SOS 236543 HAS SOPS 236543 HAS SOUS 115064 HAS SOUPS 115064 WITH SCORE 115300.543
AT ITER 3596 NEW BEST:: SOT 1555970 SOS 236511 HAS SOPS 236511 HAS SOUS 115032 HAS SOUPS 115032 WITH SCORE 115268.511
AT ITER 3629 NEW BEST:: SOT 1555918 SOS 236199 HAS SOPS 236199 HAS SOUS 114928 HAS SOUPS 114928 WITH SCORE 115164.199
AT ITER 3646 NEW BEST:: SOT 1555918 SOS 235971 HAS SOPS 235971 HAS SOUS 114852 HAS SOUPS 114852 WITH SCORE 115087.971
AT ITER 3669 NEW BEST:: SOT 1555918 SOS 236004 HAS SOPS 236004 HAS SOUS 114829 HAS SOUPS 114829 WITH SCORE 115065.004
AT ITER 3704 NEW BEST:: SOT 1555918 SOS 236004 HAS SOPS 236004 HAS SOUS 114793 HAS SOUPS 114793 WITH SCORE 115029.004
AT ITER 3723 NEW BEST:: SOT 1555914 SOS 235965 HAS SOPS 235965 HAS SOUS 114754 HAS SOUPS 114754 WITH SCORE 114989.965
AT ITER 3745 NEW BEST:: SOT 1555884 SOS 235755 HAS SOPS 235755 HAS SOUS 114664 HAS SOUPS 114664 WITH SCORE 114899.755
AT ITER 3767 NEW BEST:: SOT 1555824 SOS 235635 HAS SOPS 235635 HAS SOUS 114592 HAS SOUPS 114592 WITH SCORE 114827.635
AT ITER 3834 NEW BEST:: SOT 1555674 SOS 235455 HAS SOPS 235455 HAS SOUS 114412 HAS SOUPS 114412 WITH SCORE 114647.455
AT ITER 3846 NEW BEST:: SOT 1555459 SOS 235197 HAS SOPS 235197 HAS SOUS 114154 HAS SOUPS 114154 WITH SCORE 114389.197
AT ITER 3847 NEW BEST:: SOT 1555411 SOS 234909 HAS SOPS 234909 HAS SOUS 114058 HAS SOUPS 114058 WITH SCORE 114292.909
AT ITER 3878 NEW BEST:: SOT 1555411 SOS 234909 HAS SOPS 234909 HAS SOUS 114055 HAS SOUPS 114055 WITH SCORE 114289.909
AT ITER 3886 NEW BEST:: SOT 1555411 SOS 234805 HAS SOPS 234805 HAS SOUS 114055 HAS SOUPS 114055 WITH SCORE 114289.805
AT ITER 3946 NEW BEST:: SOT 1555407 SOS 234750 HAS SOPS 234750 HAS SOUS 114016 HAS SOUPS 114016 WITH SCORE 114250.75
AT ITER 3952 NEW BEST:: SOT 1555322 SOS 234580 HAS SOPS 234580 HAS SOUS 113914 HAS SOUPS 113914 WITH SCORE 114148.58
AT ITER 4115 NEW BEST:: SOT 1555276 SOS 234589 HAS SOPS 234589 HAS SOUS 113879 HAS SOUPS 113879 WITH SCORE 114113.589
AT ITER 4153 NEW BEST:: SOT 1555135 SOS 234383 HAS SOPS 234383 HAS SOUS 113725 HAS SOUPS 113725 WITH SCORE 113959.383
AT ITER 4197 NEW BEST:: SOT 1555135 SOS 234197 HAS SOPS 234197 HAS SOUS 113663 HAS SOUPS 113663 WITH SCORE 113897.197
AT ITER 4206 NEW BEST:: SOT 1555136 SOS 234194 HAS SOPS 234194 HAS SOUS 113660 HAS SOUPS 113660 WITH SCORE 113894.194
AT ITER 4300 NEW BEST:: SOT 1555136 SOS 234194 HAS SOPS 234194 HAS SOUS 113652 HAS SOUPS 113652 WITH SCORE 113886.194
AT ITER 4356 NEW BEST:: SOT 1555085 SOS 234092 HAS SOPS 234092 HAS SOUS 113510 HAS SOUPS 113510 WITH SCORE 113744.092
AT ITER 4371 NEW BEST:: SOT 1555061 SOS 233899 HAS SOPS 233899 HAS SOUS 113413 HAS SOUPS 113413 WITH SCORE 113646.899
AT ITER 4461 NEW BEST:: SOT 1555057 SOS 233671 HAS SOPS 233671 HAS SOUS 113369 HAS SOUPS 113369 WITH SCORE 113602.671
AT ITER 4484 NEW BEST:: SOT 1555058 SOS 233587 HAS SOPS 233587 HAS SOUS 113353 HAS SOUPS 113353 WITH SCORE 113586.587
AT ITER 4536 NEW BEST:: SOT 1555045 SOS 233561 HAS SOPS 233561 HAS SOUS 113327 HAS SOUPS 113327 WITH SCORE 113560.561
AT ITER 4581 NEW BEST:: SOT 1554970 SOS 233396 HAS SOPS 233396 HAS SOUS 113222 HAS SOUPS 113222 WITH SCORE 113455.396
AT ITER 4638 NEW BEST:: SOT 1554966 SOS 233127 HAS SOPS 233127 HAS SOUS 113169 HAS SOUPS 113169 WITH SCORE 113402.127
AT ITER 4675 NEW BEST:: SOT 1554876 SOS 233019 HAS SOPS 233019 HAS SOUS 113061 HAS SOUPS 113061 WITH SCORE 113294.019
AT ITER 4727 NEW BEST:: SOT 1554880 SOS 232777 HAS SOPS 232777 HAS SOUS 113019 HAS SOUPS 113019 WITH SCORE 113251.777
AT ITER 4789 NEW BEST:: SOT 1554880 SOS 232777 HAS SOPS 232777 HAS SOUS 113003 HAS SOUPS 113003 WITH SCORE 113235.777
AT ITER 4863 NEW BEST:: SOT 1554880 SOS 232713 HAS SOPS 232713 HAS SOUS 113003 HAS SOUPS 113003 WITH SCORE 113235.713
AT ITER 4880 NEW BEST:: SOT 1554880 SOS 232695 HAS SOPS 232695 HAS SOUS 112985 HAS SOUPS 112985 WITH SCORE 113217.695
AT ITER 4913 NEW BEST:: SOT 1554880 SOS 232695 HAS SOPS 232695 HAS SOUS 112961 HAS SOUPS 112961 WITH SCORE 113193.695
AT ITER 4964 NEW BEST:: SOT 1554880 SOS 232655 HAS SOPS 232655 HAS SOUS 112953 HAS SOUPS 112953 WITH SCORE 113185.655
AT ITER 5039 NEW BEST:: SOT 1554880 SOS 232445 HAS SOPS 232445 HAS SOUS 112883 HAS SOUPS 112883 WITH SCORE 113115.445
AT ITER 5114 NEW BEST:: SOT 1554873 SOS 232438 HAS SOPS 232438 HAS SOUS 112876 HAS SOUPS 112876 WITH SCORE 113108.438
AT ITER 5155 NEW BEST:: SOT 1554829 SOS 232174 HAS SOPS 232174 HAS SOUS 112788 HAS SOUPS 112788 WITH SCORE 113020.174
AT ITER 5234 NEW BEST:: SOT 1554812 SOS 232055 HAS SOPS 232055 HAS SOUS 112737 HAS SOUPS 112737 WITH SCORE 112969.055
AT ITER 5241 NEW BEST:: SOT 1554812 SOS 231749 HAS SOPS 231749 HAS SOUS 112635 HAS SOUPS 112635 WITH SCORE 112866.749
AT ITER 5255 NEW BEST:: SOT 1554812 SOS 231749 HAS SOPS 231749 HAS SOUS 112601 HAS SOUPS 112601 WITH SCORE 112832.749
AT ITER 5316 NEW BEST:: SOT 1554812 SOS 231749 HAS SOPS 231749 HAS SOUS 112595 HAS SOUPS 112595 WITH SCORE 112826.749
AT ITER 5353 NEW BEST:: SOT 1554812 SOS 231671 HAS SOPS 231671 HAS SOUS 112569 HAS SOUPS 112569 WITH SCORE 112800.671
AT ITER 5360 NEW BEST:: SOT 1554812 SOS 231467 HAS SOPS 231467 HAS SOUS 112501 HAS SOUPS 112501 WITH SCORE 112732.467
AT ITER 5410 NEW BEST:: SOT 1554796 SOS 231353 HAS SOPS 231353 HAS SOUS 112463 HAS SOUPS 112463 WITH SCORE 112694.353
AT ITER 5484 NEW BEST:: SOT 1554796 SOS 231143 HAS SOPS 231143 HAS SOUS 112393 HAS SOUPS 112393 WITH SCORE 112624.143
AT ITER 5499 NEW BEST:: SOT 1554796 SOS 231143 HAS SOPS 231143 HAS SOUS 112355 HAS SOUPS 112355 WITH SCORE 112586.143
AT ITER 5559 NEW BEST:: SOT 1554780 SOS 231127 HAS SOPS 231127 HAS SOUS 112323 HAS SOUPS 112323 WITH SCORE 112554.127
AT ITER 5607 NEW BEST:: SOT 1554780 SOS 231109 HAS SOPS 231109 HAS SOUS 112305 HAS SOUPS 112305 WITH SCORE 112536.109
AT ITER 5691 NEW BEST:: SOT 1554766 SOS 231081 HAS SOPS 231081 HAS SOUS 112277 HAS SOUPS 112277 WITH SCORE 112508.081
AT ITER 5692 NEW BEST:: SOT 1554766 SOS 231081 HAS SOPS 231081 HAS SOUS 112261 HAS SOUPS 112261 WITH SCORE 112492.081
AT ITER 5729 NEW BEST:: SOT 1554766 SOS 230997 HAS SOPS 230997 HAS SOUS 112233 HAS SOUPS 112233 WITH SCORE 112463.997
AT ITER 5779 NEW BEST:: SOT 1554766 SOS 230952 HAS SOPS 230952 HAS SOUS 112224 HAS SOUPS 112224 WITH SCORE 112454.952
AT ITER 5835 NEW BEST:: SOT 1554737 SOS 230717 HAS SOPS 230717 HAS SOUS 112137 HAS SOUPS 112137 WITH SCORE 112367.717
AT ITER 5839 NEW BEST:: SOT 1554737 SOS 230715 HAS SOPS 230715 HAS SOUS 112135 HAS SOUPS 112135 WITH SCORE 112365.715
AT ITER 5844 NEW BEST:: SOT 1554713 SOS 230691 HAS SOPS 230691 HAS SOUS 112109 HAS SOUPS 112109 WITH SCORE 112339.691
AT ITER 5850 NEW BEST:: SOT 1554713 SOS 230691 HAS SOPS 230691 HAS SOUS 112088 HAS SOUPS 112088 WITH SCORE 112318.691
AT ITER 5870 NEW BEST:: SOT 1554713 SOS 230691 HAS SOPS 230691 HAS SOUS 112087 HAS SOUPS 112087 WITH SCORE 112317.691
AT ITER 5874 NEW BEST:: SOT 1554693 SOS 230623 HAS SOPS 230623 HAS SOUS 112079 HAS SOUPS 112079 WITH SCORE 112309.623
AT ITER 5881 NEW BEST:: SOT 1554671 SOS 230491 HAS SOPS 230491 HAS SOUS 112035 HAS SOUPS 112035 WITH SCORE 112265.491
AT ITER 5882 NEW BEST:: SOT 1554471 SOS 230051 HAS SOPS 230051 HAS SOUS 111755 HAS SOUPS 111755 WITH SCORE 111985.051
AT ITER 5896 NEW BEST:: SOT 1554471 SOS 229967 HAS SOPS 229967 HAS SOUS 111727 HAS SOUPS 111727 WITH SCORE 111956.967
AT ITER 5921 NEW BEST:: SOT 1554463 SOS 229947 HAS SOPS 229947 HAS SOUS 111727 HAS SOUPS 111727 WITH SCORE 111956.947
AT ITER 5945 NEW BEST:: SOT 1554450 SOS 229934 HAS SOPS 229934 HAS SOUS 111727 HAS SOUPS 111727 WITH SCORE 111956.934
AT ITER 6168 NEW BEST:: SOT 1554454 SOS 230114 HAS SOPS 230114 HAS SOUS 111723 HAS SOUPS 111723 WITH SCORE 111953.114
AT ITER 6230 NEW BEST:: SOT 1554454 SOS 229883 HAS SOPS 229883 HAS SOUS 111708 HAS SOUPS 111708 WITH SCORE 111937.883
AT ITER 6396 NEW BEST:: SOT 1554425 SOS 229859 HAS SOPS 229859 HAS SOUS 111684 HAS SOUPS 111684 WITH SCORE 111913.859
AT ITER 6415 NEW BEST:: SOT 1554412 SOS 229820 HAS SOPS 229820 HAS SOUS 111621 HAS SOUPS 111621 WITH SCORE 111850.82
AT ITER 6512 NEW BEST:: SOT 1554142 SOS 229551 HAS SOPS 229551 HAS SOUS 111352 HAS SOUPS 111352 WITH SCORE 111581.551
AT ITER 6592 NEW BEST:: SOT 1554109 SOS 229353 HAS SOPS 229353 HAS SOUS 111286 HAS SOUPS 111286 WITH SCORE 111515.353
AT ITER 6603 NEW BEST:: SOT 1554109 SOS 229353 HAS SOPS 229353 HAS SOUS 111200 HAS SOUPS 111200 WITH SCORE 111429.353
AT ITER 6612 NEW BEST:: SOT 1554009 SOS 229233 HAS SOPS 229233 HAS SOUS 111000 HAS SOUPS 111000 WITH SCORE 111229.233
AT ITER 6617 NEW BEST:: SOT 1554004 SOS 229198 HAS SOPS 229198 HAS SOUS 110985 HAS SOUPS 110985 WITH SCORE 111214.198
AT ITER 6625 NEW BEST:: SOT 1553999 SOS 229193 HAS SOPS 229193 HAS SOUS 110980 HAS SOUPS 110980 WITH SCORE 111209.193
AT ITER 6671 NEW BEST:: SOT 1553999 SOS 229142 HAS SOPS 229142 HAS SOUS 110929 HAS SOUPS 110929 WITH SCORE 111158.142
AT ITER 6675 NEW BEST:: SOT 1553999 SOS 228914 HAS SOPS 228914 HAS SOUS 110853 HAS SOUPS 110853 WITH SCORE 111081.914
AT ITER 6750 NEW BEST:: SOT 1554022 SOS 228937 HAS SOPS 228937 HAS SOUS 110826 HAS SOUPS 110826 WITH SCORE 111054.937
AT ITER 6807 NEW BEST:: SOT 1553981 SOS 228650 HAS SOPS 228650 HAS SOUS 110703 HAS SOUPS 110703 WITH SCORE 110931.65
AT ITER 6906 NEW BEST:: SOT 1553981 SOS 228790 HAS SOPS 228790 HAS SOUS 110563 HAS SOUPS 110563 WITH SCORE 110791.79
AT ITER 6911 NEW BEST:: SOT 1553951 SOS 228760 HAS SOPS 228760 HAS SOUS 110533 HAS SOUPS 110533 WITH SCORE 110761.76
AT ITER 6940 NEW BEST:: SOT 1553930 SOS 228739 HAS SOPS 228739 HAS SOUS 110512 HAS SOUPS 110512 WITH SCORE 110740.739
AT ITER 6976 NEW BEST:: SOT 1553930 SOS 228739 HAS SOPS 228739 HAS SOUS 110486 HAS SOUPS 110486 WITH SCORE 110714.739
AT ITER 7127 NEW BEST:: SOT 1553875 SOS 228629 HAS SOPS 228629 HAS SOUS 110420 HAS SOUPS 110420 WITH SCORE 110648.629
AT ITER 7162 NEW BEST:: SOT 1553830 SOS 228584 HAS SOPS 228584 HAS SOUS 110375 HAS SOUPS 110375 WITH SCORE 110603.584
AT ITER 7167 NEW BEST:: SOT 1553828 SOS 228582 HAS SOPS 228582 HAS SOUS 110373 HAS SOUPS 110373 WITH SCORE 110601.582
AT ITER 7197 NEW BEST:: SOT 1553828 SOS 228582 HAS SOPS 228582 HAS SOUS 110367 HAS SOUPS 110367 WITH SCORE 110595.582
AT ITER 7285 NEW BEST:: SOT 1553828 SOS 228582 HAS SOPS 228582 HAS SOUS 110356 HAS SOUPS 110356 WITH SCORE 110584.582
AT ITER 7300 NEW BEST:: SOT 1553887 SOS 228628 HAS SOPS 228628 HAS SOUS 110350 HAS SOUPS 110350 WITH SCORE 110578.628
AT ITER 7331 NEW BEST:: SOT 1553887 SOS 228628 HAS SOPS 228628 HAS SOUS 110320 HAS SOUPS 110320 WITH SCORE 110548.628
AT ITER 7441 NEW BEST:: SOT 1553887 SOS 228586 HAS SOPS 228586 HAS SOUS 110306 HAS SOUPS 110306 WITH SCORE 110534.586
AT ITER 7499 NEW BEST:: SOT 1553887 SOS 228586 HAS SOPS 228586 HAS SOUS 110270 HAS SOUPS 110270 WITH SCORE 110498.586
AT ITER 7507 NEW BEST:: SOT 1553787 SOS 228254 HAS SOPS 228254 HAS SOUS 110266 HAS SOUPS 110266 WITH SCORE 110494.254
AT ITER 7636 NEW BEST:: SOT 1553787 SOS 228362 HAS SOPS 228362 HAS SOUS 110234 HAS SOUPS 110234 WITH SCORE 110462.362
AT ITER 7700 NEW BEST:: SOT 1553537 SOS 228022 HAS SOPS 228022 HAS SOUS 109954 HAS SOUPS 109954 WITH SCORE 110182.022
AT ITER 7728 NEW BEST:: SOT 1553528 SOS 228011 HAS SOPS 228011 HAS SOUS 109940 HAS SOUPS 109940 WITH SCORE 110168.011
AT ITER 7743 NEW BEST:: SOT 1553528 SOS 228000 HAS SOPS 228000 HAS SOUS 109925 HAS SOUPS 109925 WITH SCORE 110153.0
AT ITER 7784 NEW BEST:: SOT 1553469 SOS 227856 HAS SOPS 227856 HAS SOUS 109857 HAS SOUPS 109857 WITH SCORE 110084.856
AT ITER 7887 NEW BEST:: SOT 1553429 SOS 227768 HAS SOPS 227768 HAS SOUS 109801 HAS SOUPS 109801 WITH SCORE 110028.768
AT ITER 7910 NEW BEST:: SOT 1553304 SOS 227493 HAS SOPS 227493 HAS SOUS 109626 HAS SOUPS 109626 WITH SCORE 109853.493
AT ITER 8090 NEW BEST:: SOT 1553281 SOS 227434 HAS SOPS 227434 HAS SOUS 109591 HAS SOUPS 109591 WITH SCORE 109818.434
AT ITER 8103 NEW BEST:: SOT 1553290 SOS 227443 HAS SOPS 227443 HAS SOUS 109563 HAS SOUPS 109563 WITH SCORE 109790.443
AT ITER 8145 NEW BEST:: SOT 1553285 SOS 227433 HAS SOPS 227433 HAS SOUS 109553 HAS SOUPS 109553 WITH SCORE 109780.433
AT ITER 8179 NEW BEST:: SOT 1553005 SOS 227048 HAS SOPS 227048 HAS SOUS 109168 HAS SOUPS 109168 WITH SCORE 109395.048
AT ITER 8247 NEW BEST:: SOT 1552862 SOS 226790 HAS SOPS 226790 HAS SOUS 109002 HAS SOUPS 109002 WITH SCORE 109228.79
AT ITER 8269 NEW BEST:: SOT 1552840 SOS 226770 HAS SOPS 226770 HAS SOUS 108982 HAS SOUPS 108982 WITH SCORE 109208.77
AT ITER 8385 NEW BEST:: SOT 1552835 SOS 226801 HAS SOPS 226801 HAS SOUS 108941 HAS SOUPS 108941 WITH SCORE 109167.801
AT ITER 8442 NEW BEST:: SOT 1552817 SOS 226783 HAS SOPS 226783 HAS SOUS 108931 HAS SOUPS 108931 WITH SCORE 109157.783
AT ITER 8551 NEW BEST:: SOT 1552817 SOS 226783 HAS SOPS 226783 HAS SOUS 108930 HAS SOUPS 108930 WITH SCORE 109156.783
AT ITER 8574 NEW BEST:: SOT 1552737 SOS 226607 HAS SOPS 226607 HAS SOUS 108818 HAS SOUPS 108818 WITH SCORE 109044.607
AT ITER 8581 NEW BEST:: SOT 1552728 SOS 226540 HAS SOPS 226540 HAS SOUS 108787 HAS SOUPS 108787 WITH SCORE 109013.54
AT ITER 8627 NEW BEST:: SOT 1552699 SOS 226337 HAS SOPS 226337 HAS SOUS 108700 HAS SOUPS 108700 WITH SCORE 108926.337
AT ITER 8717 NEW BEST:: SOT 1552474 SOS 226067 HAS SOPS 226067 HAS SOUS 108398 HAS SOUPS 108398 WITH SCORE 108624.067
AT ITER 8718 NEW BEST:: SOT 1552474 SOS 226067 HAS SOPS 226067 HAS SOUS 108390 HAS SOUPS 108390 WITH SCORE 108616.067
AT ITER 8761 NEW BEST:: SOT 1552169 SOS 225762 HAS SOPS 225762 HAS SOUS 108085 HAS SOUPS 108085 WITH SCORE 108310.762
AT ITER 8770 NEW BEST:: SOT 1552169 SOS 225858 HAS SOPS 225858 HAS SOUS 108081 HAS SOUPS 108081 WITH SCORE 108306.858
AT ITER 8809 NEW BEST:: SOT 1552169 SOS 225638 HAS SOPS 225638 HAS SOUS 108045 HAS SOUPS 108045 WITH SCORE 108270.638
AT ITER 8851 NEW BEST:: SOT 1552169 SOS 225638 HAS SOPS 225638 HAS SOUS 108042 HAS SOUPS 108042 WITH SCORE 108267.638
AT ITER 8956 NEW BEST:: SOT 1552009 SOS 225446 HAS SOPS 225446 HAS SOUS 107850 HAS SOUPS 107850 WITH SCORE 108075.446
AT ITER 9072 NEW BEST:: SOT 1551944 SOS 225316 HAS SOPS 225316 HAS SOUS 107772 HAS SOUPS 107772 WITH SCORE 107997.316
AT ITER 9123 NEW BEST:: SOT 1551949 SOS 225201 HAS SOPS 225201 HAS SOUS 107753 HAS SOUPS 107753 WITH SCORE 107978.201
AT ITER 9134 NEW BEST:: SOT 1551929 SOS 225121 HAS SOPS 225121 HAS SOUS 107753 HAS SOUPS 107753 WITH SCORE 107978.121
AT ITER 9208 NEW BEST:: SOT 1551927 SOS 225117 HAS SOPS 225117 HAS SOUS 107749 HAS SOUPS 107749 WITH SCORE 107974.117
AT ITER 9214 NEW BEST:: SOT 1551927 SOS 225003 HAS SOPS 225003 HAS SOUS 107711 HAS SOUPS 107711 WITH SCORE 107936.003
AT ITER 9218 NEW BEST:: SOT 1551925 SOS 224991 HAS SOPS 224991 HAS SOUS 107707 HAS SOUPS 107707 WITH SCORE 107931.991
AT ITER 9227 NEW BEST:: SOT 1551918 SOS 224740 HAS SOPS 224740 HAS SOUS 107664 HAS SOUPS 107664 WITH SCORE 107888.74
AT ITER 9331 NEW BEST:: SOT 1551909 SOS 224677 HAS SOPS 224677 HAS SOUS 107637 HAS SOUPS 107637 WITH SCORE 107861.677
AT ITER 9338 NEW BEST:: SOT 1551904 SOS 224546 HAS SOPS 224546 HAS SOUS 107606 HAS SOUPS 107606 WITH SCORE 107830.546
AT ITER 9419 NEW BEST:: SOT 1551904 SOS 224377 HAS SOPS 224377 HAS SOUS 107593 HAS SOUPS 107593 WITH SCORE 107817.377
AT ITER 9447 NEW BEST:: SOT 1551898 SOS 224341 HAS SOPS 224341 HAS SOUS 107581 HAS SOUPS 107581 WITH SCORE 107805.341
AT ITER 9510 NEW BEST:: SOT 1551910 SOS 224353 HAS SOPS 224353 HAS SOUS 107574 HAS SOUPS 107574 WITH SCORE 107798.353
AT ITER 9561 NEW BEST:: SOT 1551903 SOS 224346 HAS SOPS 224346 HAS SOUS 107549 HAS SOUPS 107549 WITH SCORE 107773.346
AT ITER 9598 NEW BEST:: SOT 1551718 SOS 224161 HAS SOPS 224161 HAS SOUS 107364 HAS SOUPS 107364 WITH SCORE 107588.161
AT ITER 9659 NEW BEST:: SOT 1551634 SOS 223695 HAS SOPS 223695 HAS SOUS 107348 HAS SOUPS 107348 WITH SCORE 107571.695
AT ITER 9724 NEW BEST:: SOT 1551634 SOS 223695 HAS SOPS 223695 HAS SOUS 107332 HAS SOUPS 107332 WITH SCORE 107555.695
AT ITER 9748 NEW BEST:: SOT 1551630 SOS 223783 HAS SOPS 223783 HAS SOUS 107324 HAS SOUPS 107324 WITH SCORE 107547.783
AT ITER 9856 NEW BEST:: SOT 1551630 SOS 223777 HAS SOPS 223777 HAS SOUS 107322 HAS SOUPS 107322 WITH SCORE 107545.777
AT ITER 9868 NEW BEST:: SOT 1551630 SOS 223777 HAS SOPS 223777 HAS SOUS 107308 HAS SOUPS 107308 WITH SCORE 107531.777
AT ITER 9884 NEW BEST:: SOT 1551522 SOS 223569 HAS SOPS 223569 HAS SOUS 107180 HAS SOUPS 107180 WITH SCORE 107403.569
AT ITER 9885 NEW BEST:: SOT 1551389 SOS 223411 HAS SOPS 223411 HAS SOUS 107042 HAS SOUPS 107042 WITH SCORE 107265.411
AT ITER 9973 NEW BEST:: SOT 1551394 SOS 223179 HAS SOPS 223179 HAS SOUS 107006 HAS SOUPS 107006 WITH SCORE 107229.179
AT ITER 9996 NEW BEST:: SOT 1551394 SOS 223143 HAS SOPS 223143 HAS SOUS 106994 HAS SOUPS 106994 WITH SCORE 107217.143

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HexagonalGrid-PT-516"
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 HexagonalGrid-PT-516, 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-158940140100120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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