Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 744K
-rw-r--r-- 1 mcc users 6.4K Feb 26 17:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 17:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 17:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 17:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 17:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 26 17:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 294K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678508023217

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

Filename model.pnml
Petri model created: 421 places, 714 transitions, 2856 arcs.
AT ITER 0 NEW BEST:: SOT 175362 SOS 47042 HAS SOPS 47042 HAS SOUS 22709 HAS SOUPS 22709 WITH SCORE 22756.042
AT ITER 4 NEW BEST:: SOT 175420 SOS 47122 HAS SOPS 47122 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22741.122
AT ITER 64 NEW BEST:: SOT 175320 SOS 47002 HAS SOPS 47002 HAS SOUS 22582 HAS SOUPS 22582 WITH SCORE 22629.002
AT ITER 84 NEW BEST:: SOT 175320 SOS 46852 HAS SOPS 46852 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22598.852
AT ITER 89 NEW BEST:: SOT 175307 SOS 46741 HAS SOPS 46741 HAS SOUS 22525 HAS SOUPS 22525 WITH SCORE 22571.741
AT ITER 95 NEW BEST:: SOT 175167 SOS 46433 HAS SOPS 46433 HAS SOUS 22329 HAS SOUPS 22329 WITH SCORE 22375.433
AT ITER 163 NEW BEST:: SOT 175127 SOS 46353 HAS SOPS 46353 HAS SOUS 22281 HAS SOUPS 22281 WITH SCORE 22327.353
AT ITER 186 NEW BEST:: SOT 175127 SOS 46378 HAS SOPS 46378 HAS SOUS 22266 HAS SOUPS 22266 WITH SCORE 22312.378
AT ITER 211 NEW BEST:: SOT 175127 SOS 46264 HAS SOPS 46264 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22274.264
AT ITER 218 NEW BEST:: SOT 175097 SOS 46084 HAS SOPS 46084 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22214.084
AT ITER 231 NEW BEST:: SOT 175097 SOS 45944 HAS SOPS 45944 HAS SOUS 22140 HAS SOUPS 22140 WITH SCORE 22185.944
AT ITER 258 NEW BEST:: SOT 174947 SOS 45618 HAS SOPS 45618 HAS SOUS 21934 HAS SOUPS 21934 WITH SCORE 21979.618
AT ITER 270 NEW BEST:: SOT 174897 SOS 45518 HAS SOPS 45518 HAS SOUS 21874 HAS SOUPS 21874 WITH SCORE 21919.518
AT ITER 307 NEW BEST:: SOT 174794 SOS 45390 HAS SOPS 45390 HAS SOUS 21746 HAS SOUPS 21746 WITH SCORE 21791.39
AT ITER 326 NEW BEST:: SOT 174794 SOS 45301 HAS SOPS 45301 HAS SOUS 21741 HAS SOUPS 21741 WITH SCORE 21786.301
AT ITER 343 NEW BEST:: SOT 174774 SOS 45161 HAS SOPS 45161 HAS SOUS 21681 HAS SOUPS 21681 WITH SCORE 21726.161
AT ITER 354 NEW BEST:: SOT 174777 SOS 45140 HAS SOPS 45140 HAS SOUS 21636 HAS SOUPS 21636 WITH SCORE 21681.14
AT ITER 374 NEW BEST:: SOT 174777 SOS 45086 HAS SOPS 45086 HAS SOUS 21618 HAS SOUPS 21618 WITH SCORE 21663.086
AT ITER 388 NEW BEST:: SOT 174777 SOS 44912 HAS SOPS 44912 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21604.912
AT ITER 389 NEW BEST:: SOT 174737 SOS 44864 HAS SOPS 44864 HAS SOUS 21512 HAS SOUPS 21512 WITH SCORE 21556.864
AT ITER 392 NEW BEST:: SOT 174719 SOS 44846 HAS SOPS 44846 HAS SOUS 21507 HAS SOUPS 21507 WITH SCORE 21551.846
AT ITER 413 NEW BEST:: SOT 174696 SOS 44708 HAS SOPS 44708 HAS SOUS 21461 HAS SOUPS 21461 WITH SCORE 21505.708
AT ITER 415 NEW BEST:: SOT 174702 SOS 44714 HAS SOPS 44714 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21495.714
AT ITER 448 NEW BEST:: SOT 174702 SOS 44714 HAS SOPS 44714 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21459.714
AT ITER 450 NEW BEST:: SOT 174682 SOS 44749 HAS SOPS 44749 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21450.749
AT ITER 455 NEW BEST:: SOT 174682 SOS 44611 HAS SOPS 44611 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21404.611
AT ITER 458 NEW BEST:: SOT 174572 SOS 44371 HAS SOPS 44371 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21252.371
AT ITER 473 NEW BEST:: SOT 174572 SOS 44317 HAS SOPS 44317 HAS SOUS 21190 HAS SOUPS 21190 WITH SCORE 21234.317
AT ITER 481 NEW BEST:: SOT 174572 SOS 44269 HAS SOPS 44269 HAS SOUS 21174 HAS SOUPS 21174 WITH SCORE 21218.269
AT ITER 505 NEW BEST:: SOT 174572 SOS 44339 HAS SOPS 44339 HAS SOUS 21132 HAS SOUPS 21132 WITH SCORE 21176.339
AT ITER 511 NEW BEST:: SOT 174544 SOS 44221 HAS SOPS 44221 HAS SOUS 21128 HAS SOUPS 21128 WITH SCORE 21172.221
AT ITER 564 NEW BEST:: SOT 174537 SOS 44214 HAS SOPS 44214 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21165.214
AT ITER 568 NEW BEST:: SOT 174477 SOS 44154 HAS SOPS 44154 HAS SOUS 21061 HAS SOUPS 21061 WITH SCORE 21105.154
AT ITER 577 NEW BEST:: SOT 174445 SOS 43980 HAS SOPS 43980 HAS SOUS 20975 HAS SOUPS 20975 WITH SCORE 21018.98
AT ITER 590 NEW BEST:: SOT 174445 SOS 43966 HAS SOPS 43966 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 20990.966
AT ITER 602 NEW BEST:: SOT 174443 SOS 43964 HAS SOPS 43964 HAS SOUS 20945 HAS SOUPS 20945 WITH SCORE 20988.964
AT ITER 608 NEW BEST:: SOT 174377 SOS 43898 HAS SOPS 43898 HAS SOUS 20879 HAS SOUPS 20879 WITH SCORE 20922.898
AT ITER 626 NEW BEST:: SOT 174377 SOS 43886 HAS SOPS 43886 HAS SOUS 20867 HAS SOUPS 20867 WITH SCORE 20910.886
AT ITER 647 NEW BEST:: SOT 174367 SOS 43824 HAS SOPS 43824 HAS SOUS 20845 HAS SOUPS 20845 WITH SCORE 20888.824
AT ITER 657 NEW BEST:: SOT 174367 SOS 43824 HAS SOPS 43824 HAS SOUS 20815 HAS SOUPS 20815 WITH SCORE 20858.824
AT ITER 675 NEW BEST:: SOT 174367 SOS 43824 HAS SOPS 43824 HAS SOUS 20813 HAS SOUPS 20813 WITH SCORE 20856.824
AT ITER 681 NEW BEST:: SOT 174367 SOS 43824 HAS SOPS 43824 HAS SOUS 20769 HAS SOUPS 20769 WITH SCORE 20812.824
AT ITER 714 NEW BEST:: SOT 174352 SOS 43791 HAS SOPS 43791 HAS SOUS 20748 HAS SOUPS 20748 WITH SCORE 20791.791
AT ITER 717 NEW BEST:: SOT 174292 SOS 43659 HAS SOPS 43659 HAS SOUS 20664 HAS SOUPS 20664 WITH SCORE 20707.659
AT ITER 718 NEW BEST:: SOT 174292 SOS 43659 HAS SOPS 43659 HAS SOUS 20649 HAS SOUPS 20649 WITH SCORE 20692.659
AT ITER 747 NEW BEST:: SOT 174292 SOS 43573 HAS SOPS 43573 HAS SOUS 20647 HAS SOUPS 20647 WITH SCORE 20690.573
AT ITER 760 NEW BEST:: SOT 174278 SOS 43489 HAS SOPS 43489 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20662.489
AT ITER 773 NEW BEST:: SOT 174278 SOS 43477 HAS SOPS 43477 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20650.477
AT ITER 810 NEW BEST:: SOT 174278 SOS 43465 HAS SOPS 43465 HAS SOUS 20603 HAS SOUPS 20603 WITH SCORE 20646.465
AT ITER 834 NEW BEST:: SOT 174276 SOS 43459 HAS SOPS 43459 HAS SOUS 20581 HAS SOUPS 20581 WITH SCORE 20624.459
AT ITER 855 NEW BEST:: SOT 174254 SOS 43437 HAS SOPS 43437 HAS SOUS 20568 HAS SOUPS 20568 WITH SCORE 20611.437
AT ITER 897 NEW BEST:: SOT 174248 SOS 43425 HAS SOPS 43425 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20599.425
AT ITER 904 NEW BEST:: SOT 174248 SOS 43377 HAS SOPS 43377 HAS SOUS 20548 HAS SOUPS 20548 WITH SCORE 20591.377
AT ITER 908 NEW BEST:: SOT 174248 SOS 43377 HAS SOPS 43377 HAS SOUS 20533 HAS SOUPS 20533 WITH SCORE 20576.377
AT ITER 952 NEW BEST:: SOT 174248 SOS 43276 HAS SOPS 43276 HAS SOUS 20516 HAS SOUPS 20516 WITH SCORE 20559.276
AT ITER 977 NEW BEST:: SOT 174248 SOS 43276 HAS SOPS 43276 HAS SOUS 20501 HAS SOUPS 20501 WITH SCORE 20544.276
AT ITER 987 NEW BEST:: SOT 174242 SOS 43270 HAS SOPS 43270 HAS SOUS 20485 HAS SOUPS 20485 WITH SCORE 20528.27
AT ITER 989 NEW BEST:: SOT 174232 SOS 43260 HAS SOPS 43260 HAS SOUS 20475 HAS SOUPS 20475 WITH SCORE 20518.26
AT ITER 992 NEW BEST:: SOT 174232 SOS 43256 HAS SOPS 43256 HAS SOUS 20455 HAS SOUPS 20455 WITH SCORE 20498.256
AT ITER 1003 NEW BEST:: SOT 174232 SOS 43148 HAS SOPS 43148 HAS SOUS 20419 HAS SOUPS 20419 WITH SCORE 20462.148
AT ITER 1037 NEW BEST:: SOT 174222 SOS 43126 HAS SOPS 43126 HAS SOUS 20405 HAS SOUPS 20405 WITH SCORE 20448.126
AT ITER 1039 NEW BEST:: SOT 174202 SOS 43036 HAS SOPS 43036 HAS SOUS 20397 HAS SOUPS 20397 WITH SCORE 20440.036
AT ITER 1042 NEW BEST:: SOT 174211 SOS 43045 HAS SOPS 43045 HAS SOUS 20396 HAS SOUPS 20396 WITH SCORE 20439.045
AT ITER 1048 NEW BEST:: SOT 174191 SOS 43021 HAS SOPS 43021 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20415.021
AT ITER 1055 NEW BEST:: SOT 174161 SOS 42996 HAS SOPS 42996 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20385.996
AT ITER 1062 NEW BEST:: SOT 174154 SOS 42935 HAS SOPS 42935 HAS SOUS 20330 HAS SOUPS 20330 WITH SCORE 20372.935
AT ITER 1064 NEW BEST:: SOT 174154 SOS 42935 HAS SOPS 42935 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20346.935
AT ITER 1068 NEW BEST:: SOT 174139 SOS 42902 HAS SOPS 42902 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20340.902
AT ITER 1073 NEW BEST:: SOT 174139 SOS 42847 HAS SOPS 42847 HAS SOUS 20287 HAS SOUPS 20287 WITH SCORE 20329.847
AT ITER 1081 NEW BEST:: SOT 174142 SOS 42839 HAS SOPS 42839 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20321.839
AT ITER 1096 NEW BEST:: SOT 174077 SOS 42747 HAS SOPS 42747 HAS SOUS 20207 HAS SOUPS 20207 WITH SCORE 20249.747
AT ITER 1119 NEW BEST:: SOT 174077 SOS 42747 HAS SOPS 42747 HAS SOUS 20203 HAS SOUPS 20203 WITH SCORE 20245.747
AT ITER 1125 NEW BEST:: SOT 173976 SOS 42658 HAS SOPS 42658 HAS SOUS 20114 HAS SOUPS 20114 WITH SCORE 20156.658
AT ITER 1142 NEW BEST:: SOT 173976 SOS 42563 HAS SOPS 42563 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20137.563
AT ITER 1165 NEW BEST:: SOT 173969 SOS 42556 HAS SOPS 42556 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20125.556
AT ITER 1252 NEW BEST:: SOT 173954 SOS 42541 HAS SOPS 42541 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20110.541
AT ITER 1255 NEW BEST:: SOT 173943 SOS 42483 HAS SOPS 42483 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20072.483
AT ITER 1258 NEW BEST:: SOT 173938 SOS 42453 HAS SOPS 42453 HAS SOUS 20020 HAS SOUPS 20020 WITH SCORE 20062.453
AT ITER 1261 NEW BEST:: SOT 173917 SOS 42400 HAS SOPS 42400 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19964.4
AT ITER 1313 NEW BEST:: SOT 173905 SOS 42313 HAS SOPS 42313 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19925.313
AT ITER 1323 NEW BEST:: SOT 173904 SOS 42312 HAS SOPS 42312 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19923.312
AT ITER 1374 NEW BEST:: SOT 173894 SOS 42292 HAS SOPS 42292 HAS SOUS 19861 HAS SOUPS 19861 WITH SCORE 19903.292
AT ITER 1376 NEW BEST:: SOT 173894 SOS 42287 HAS SOPS 42287 HAS SOUS 19856 HAS SOUPS 19856 WITH SCORE 19898.287
AT ITER 1402 NEW BEST:: SOT 173882 SOS 42275 HAS SOPS 42275 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19838.275
AT ITER 1414 NEW BEST:: SOT 173870 SOS 42257 HAS SOPS 42257 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19824.257
AT ITER 1460 NEW BEST:: SOT 173870 SOS 42187 HAS SOPS 42187 HAS SOUS 19772 HAS SOUPS 19772 WITH SCORE 19814.187
AT ITER 1463 NEW BEST:: SOT 173900 SOS 42367 HAS SOPS 42367 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19754.367
AT ITER 1464 NEW BEST:: SOT 173891 SOS 42358 HAS SOPS 42358 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19754.358
AT ITER 1484 NEW BEST:: SOT 173898 SOS 42325 HAS SOPS 42325 HAS SOUS 19711 HAS SOUPS 19711 WITH SCORE 19753.325
AT ITER 1513 NEW BEST:: SOT 173921 SOS 42348 HAS SOPS 42348 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19729.348
AT ITER 1514 NEW BEST:: SOT 173903 SOS 42240 HAS SOPS 42240 HAS SOUS 19651 HAS SOUPS 19651 WITH SCORE 19693.24
AT ITER 1535 NEW BEST:: SOT 173883 SOS 42220 HAS SOPS 42220 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19673.22
AT ITER 1539 NEW BEST:: SOT 173883 SOS 42184 HAS SOPS 42184 HAS SOUS 19619 HAS SOUPS 19619 WITH SCORE 19661.184
AT ITER 1556 NEW BEST:: SOT 173851 SOS 42182 HAS SOPS 42182 HAS SOUS 19593 HAS SOUPS 19593 WITH SCORE 19635.182
AT ITER 1566 NEW BEST:: SOT 173696 SOS 41996 HAS SOPS 41996 HAS SOUS 19307 HAS SOUPS 19307 WITH SCORE 19348.996
AT ITER 1654 NEW BEST:: SOT 173683 SOS 41948 HAS SOPS 41948 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19300.948
AT ITER 1724 NEW BEST:: SOT 173675 SOS 41930 HAS SOPS 41930 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19290.93
AT ITER 1746 NEW BEST:: SOT 173675 SOS 41924 HAS SOPS 41924 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19280.924
AT ITER 1757 NEW BEST:: SOT 173680 SOS 41982 HAS SOPS 41982 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19270.982
AT ITER 1815 NEW BEST:: SOT 173675 SOS 41977 HAS SOPS 41977 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19265.977
AT ITER 1821 NEW BEST:: SOT 173668 SOS 41935 HAS SOPS 41935 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19251.935
AT ITER 1834 NEW BEST:: SOT 173737 SOS 42014 HAS SOPS 42014 HAS SOUS 19178 HAS SOUPS 19178 WITH SCORE 19220.014
AT ITER 1854 NEW BEST:: SOT 173737 SOS 42014 HAS SOPS 42014 HAS SOUS 19147 HAS SOUPS 19147 WITH SCORE 19189.014
AT ITER 1870 NEW BEST:: SOT 173737 SOS 41834 HAS SOPS 41834 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19128.834
AT ITER 1960 NEW BEST:: SOT 173734 SOS 41831 HAS SOPS 41831 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19127.831
AT ITER 1963 NEW BEST:: SOT 173734 SOS 41831 HAS SOPS 41831 HAS SOUS 19078 HAS SOUPS 19078 WITH SCORE 19119.831
AT ITER 1966 NEW BEST:: SOT 173734 SOS 41831 HAS SOPS 41831 HAS SOUS 19063 HAS SOUPS 19063 WITH SCORE 19104.831
AT ITER 1999 NEW BEST:: SOT 173734 SOS 41819 HAS SOPS 41819 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19100.819
AT ITER 2007 NEW BEST:: SOT 173734 SOS 41835 HAS SOPS 41835 HAS SOUS 19043 HAS SOUPS 19043 WITH SCORE 19084.835
AT ITER 2051 NEW BEST:: SOT 173734 SOS 41819 HAS SOPS 41819 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19060.819
AT ITER 2069 NEW BEST:: SOT 173726 SOS 41803 HAS SOPS 41803 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19040.803
AT ITER 2085 NEW BEST:: SOT 173726 SOS 41803 HAS SOPS 41803 HAS SOUS 18986 HAS SOUPS 18986 WITH SCORE 19027.803
AT ITER 2095 NEW BEST:: SOT 173726 SOS 41698 HAS SOPS 41698 HAS SOUS 18965 HAS SOUPS 18965 WITH SCORE 19006.698
AT ITER 2104 NEW BEST:: SOT 173726 SOS 41693 HAS SOPS 41693 HAS SOUS 18960 HAS SOUPS 18960 WITH SCORE 19001.693
AT ITER 2107 NEW BEST:: SOT 173722 SOS 41680 HAS SOPS 41680 HAS SOUS 18955 HAS SOUPS 18955 WITH SCORE 18996.68
AT ITER 2118 NEW BEST:: SOT 173722 SOS 41623 HAS SOPS 41623 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18987.623
AT ITER 2187 NEW BEST:: SOT 173722 SOS 41623 HAS SOPS 41623 HAS SOUS 18939 HAS SOUPS 18939 WITH SCORE 18980.623
AT ITER 2221 NEW BEST:: SOT 173722 SOS 41620 HAS SOPS 41620 HAS SOUS 18936 HAS SOUPS 18936 WITH SCORE 18977.62
AT ITER 2233 NEW BEST:: SOT 173722 SOS 41608 HAS SOPS 41608 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18973.608
AT ITER 2248 NEW BEST:: SOT 173722 SOS 41470 HAS SOPS 41470 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18927.47
AT ITER 2287 NEW BEST:: SOT 173708 SOS 41456 HAS SOPS 41456 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18875.456
AT ITER 2313 NEW BEST:: SOT 173707 SOS 41450 HAS SOPS 41450 HAS SOUS 18832 HAS SOUPS 18832 WITH SCORE 18873.45
AT ITER 2344 NEW BEST:: SOT 173717 SOS 41364 HAS SOPS 41364 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18871.364
AT ITER 2357 NEW BEST:: SOT 173717 SOS 41334 HAS SOPS 41334 HAS SOUS 18824 HAS SOUPS 18824 WITH SCORE 18865.334
AT ITER 2376 NEW BEST:: SOT 173714 SOS 41308 HAS SOPS 41308 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18859.308
AT ITER 2542 NEW BEST:: SOT 173722 SOS 41344 HAS SOPS 41344 HAS SOUS 18774 HAS SOUPS 18774 WITH SCORE 18815.344
AT ITER 2552 NEW BEST:: SOT 173722 SOS 41308 HAS SOPS 41308 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18803.308
AT ITER 2581 NEW BEST:: SOT 173722 SOS 41290 HAS SOPS 41290 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18797.29
AT ITER 2648 NEW BEST:: SOT 173718 SOS 41242 HAS SOPS 41242 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18797.242
AT ITER 2668 NEW BEST:: SOT 173718 SOS 41274 HAS SOPS 41274 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18769.274
AT ITER 2709 NEW BEST:: SOT 173709 SOS 41265 HAS SOPS 41265 HAS SOUS 18719 HAS SOUPS 18719 WITH SCORE 18760.265
AT ITER 2843 NEW BEST:: SOT 173708 SOS 41263 HAS SOPS 41263 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18758.263
AT ITER 2850 NEW BEST:: SOT 173703 SOS 41228 HAS SOPS 41228 HAS SOUS 18702 HAS SOUPS 18702 WITH SCORE 18743.228
AT ITER 2975 NEW BEST:: SOT 173703 SOS 41228 HAS SOPS 41228 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18730.228
AT ITER 2991 NEW BEST:: SOT 173703 SOS 41228 HAS SOPS 41228 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18716.228
AT ITER 3039 NEW BEST:: SOT 173648 SOS 41173 HAS SOPS 41173 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18661.173
AT ITER 3045 NEW BEST:: SOT 173648 SOS 41173 HAS SOPS 41173 HAS SOUS 18594 HAS SOUPS 18594 WITH SCORE 18635.173
AT ITER 3063 NEW BEST:: SOT 173643 SOS 41132 HAS SOPS 41132 HAS SOUS 18581 HAS SOUPS 18581 WITH SCORE 18622.132
AT ITER 3068 NEW BEST:: SOT 173643 SOS 41156 HAS SOPS 41156 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18614.156
AT ITER 3124 NEW BEST:: SOT 173608 SOS 41082 HAS SOPS 41082 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18576.082
AT ITER 3198 NEW BEST:: SOT 173608 SOS 41082 HAS SOPS 41082 HAS SOUS 18531 HAS SOUPS 18531 WITH SCORE 18572.082
AT ITER 3204 NEW BEST:: SOT 173608 SOS 41055 HAS SOPS 41055 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18545.055
AT ITER 3263 NEW BEST:: SOT 173608 SOS 40971 HAS SOPS 40971 HAS SOUS 18476 HAS SOUPS 18476 WITH SCORE 18516.971
AT ITER 3271 NEW BEST:: SOT 173607 SOS 40970 HAS SOPS 40970 HAS SOUS 18476 HAS SOUPS 18476 WITH SCORE 18516.97
AT ITER 3302 NEW BEST:: SOT 173596 SOS 40959 HAS SOPS 40959 HAS SOUS 18448 HAS SOUPS 18448 WITH SCORE 18488.959
AT ITER 3501 NEW BEST:: SOT 173581 SOS 40917 HAS SOPS 40917 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18482.917
AT ITER 3535 NEW BEST:: SOT 173581 SOS 40899 HAS SOPS 40899 HAS SOUS 18436 HAS SOUPS 18436 WITH SCORE 18476.899
AT ITER 3591 NEW BEST:: SOT 173581 SOS 40899 HAS SOPS 40899 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18474.899
AT ITER 3662 NEW BEST:: SOT 173576 SOS 40882 HAS SOPS 40882 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18472.882
AT ITER 3759 NEW BEST:: SOT 173576 SOS 40810 HAS SOPS 40810 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18448.81
AT ITER 3823 NEW BEST:: SOT 173571 SOS 40800 HAS SOPS 40800 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18438.8
AT ITER 3850 NEW BEST:: SOT 173421 SOS 40638 HAS SOPS 40638 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18284.638
AT ITER 3921 NEW BEST:: SOT 173416 SOS 40628 HAS SOPS 40628 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18274.628
AT ITER 3948 NEW BEST:: SOT 173356 SOS 40568 HAS SOPS 40568 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18214.568
AT ITER 3988 NEW BEST:: SOT 173346 SOS 40558 HAS SOPS 40558 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18192.558
AT ITER 4010 NEW BEST:: SOT 173340 SOS 40552 HAS SOPS 40552 HAS SOUS 18146 HAS SOUPS 18146 WITH SCORE 18186.552
AT ITER 4017 NEW BEST:: SOT 173335 SOS 40517 HAS SOPS 40517 HAS SOUS 18131 HAS SOUPS 18131 WITH SCORE 18171.517
AT ITER 4023 NEW BEST:: SOT 173335 SOS 40501 HAS SOPS 40501 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18155.501
AT ITER 4050 NEW BEST:: SOT 173335 SOS 40477 HAS SOPS 40477 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18147.477
AT ITER 4144 NEW BEST:: SOT 173335 SOS 40471 HAS SOPS 40471 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18141.471
AT ITER 4158 NEW BEST:: SOT 173320 SOS 40366 HAS SOPS 40366 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18096.366
AT ITER 4186 NEW BEST:: SOT 173248 SOS 40234 HAS SOPS 40234 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18040.234
AT ITER 4194 NEW BEST:: SOT 173148 SOS 40032 HAS SOPS 40032 HAS SOUS 17878 HAS SOUPS 17878 WITH SCORE 17918.032
AT ITER 4218 NEW BEST:: SOT 173148 SOS 39962 HAS SOPS 39962 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17899.962
AT ITER 4235 NEW BEST:: SOT 173148 SOS 39918 HAS SOPS 39918 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17899.918
AT ITER 4272 NEW BEST:: SOT 173111 SOS 39659 HAS SOPS 39659 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17788.659
AT ITER 4312 NEW BEST:: SOT 173103 SOS 39611 HAS SOPS 39611 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17772.611
AT ITER 4347 NEW BEST:: SOT 173102 SOS 39610 HAS SOPS 39610 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17771.61
AT ITER 4359 NEW BEST:: SOT 173087 SOS 39559 HAS SOPS 39559 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17765.559
AT ITER 4371 NEW BEST:: SOT 172997 SOS 39336 HAS SOPS 39336 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17634.336
AT ITER 4374 NEW BEST:: SOT 172997 SOS 39306 HAS SOPS 39306 HAS SOUS 17589 HAS SOUPS 17589 WITH SCORE 17628.306
AT ITER 4422 NEW BEST:: SOT 172994 SOS 39285 HAS SOPS 39285 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17619.285
AT ITER 4439 NEW BEST:: SOT 172994 SOS 39285 HAS SOPS 39285 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17615.285
AT ITER 4493 NEW BEST:: SOT 172981 SOS 39174 HAS SOPS 39174 HAS SOUS 17541 HAS SOUPS 17541 WITH SCORE 17580.174
AT ITER 4522 NEW BEST:: SOT 172981 SOS 39120 HAS SOPS 39120 HAS SOUS 17523 HAS SOUPS 17523 WITH SCORE 17562.12
AT ITER 4546 NEW BEST:: SOT 172981 SOS 39120 HAS SOPS 39120 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17549.12
AT ITER 4638 NEW BEST:: SOT 172981 SOS 39120 HAS SOPS 39120 HAS SOUS 17499 HAS SOUPS 17499 WITH SCORE 17538.12
AT ITER 4703 NEW BEST:: SOT 172981 SOS 39120 HAS SOPS 39120 HAS SOUS 17496 HAS SOUPS 17496 WITH SCORE 17535.12
AT ITER 4708 NEW BEST:: SOT 172890 SOS 38954 HAS SOPS 38954 HAS SOUS 17390 HAS SOUPS 17390 WITH SCORE 17428.954
AT ITER 4727 NEW BEST:: SOT 172866 SOS 38890 HAS SOPS 38890 HAS SOUS 17380 HAS SOUPS 17380 WITH SCORE 17418.89
AT ITER 4835 NEW BEST:: SOT 172866 SOS 38866 HAS SOPS 38866 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17410.866
AT ITER 5076 NEW BEST:: SOT 172866 SOS 38866 HAS SOPS 38866 HAS SOUS 17342 HAS SOUPS 17342 WITH SCORE 17380.866
AT ITER 5132 NEW BEST:: SOT 172863 SOS 38832 HAS SOPS 38832 HAS SOUS 17340 HAS SOUPS 17340 WITH SCORE 17378.832
AT ITER 5161 NEW BEST:: SOT 172863 SOS 38832 HAS SOPS 38832 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17336.832
AT ITER 5168 NEW BEST:: SOT 172858 SOS 38820 HAS SOPS 38820 HAS SOUS 17274 HAS SOUPS 17274 WITH SCORE 17312.82
AT ITER 5177 NEW BEST:: SOT 172858 SOS 38820 HAS SOPS 38820 HAS SOUS 17242 HAS SOUPS 17242 WITH SCORE 17280.82
AT ITER 5270 NEW BEST:: SOT 172843 SOS 38757 HAS SOPS 38757 HAS SOUS 17215 HAS SOUPS 17215 WITH SCORE 17253.757
AT ITER 5284 NEW BEST:: SOT 172828 SOS 38652 HAS SOPS 38652 HAS SOUS 17170 HAS SOUPS 17170 WITH SCORE 17208.652
AT ITER 5323 NEW BEST:: SOT 172828 SOS 38646 HAS SOPS 38646 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17206.646
AT ITER 5333 NEW BEST:: SOT 172824 SOS 38622 HAS SOPS 38622 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17198.622
AT ITER 5376 NEW BEST:: SOT 172821 SOS 38572 HAS SOPS 38572 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17192.572
AT ITER 5468 NEW BEST:: SOT 172791 SOS 38500 HAS SOPS 38500 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17156.5
AT ITER 5534 NEW BEST:: SOT 172771 SOS 38476 HAS SOPS 38476 HAS SOUS 17094 HAS SOUPS 17094 WITH SCORE 17132.476
AT ITER 5606 NEW BEST:: SOT 172769 SOS 38474 HAS SOPS 38474 HAS SOUS 17092 HAS SOUPS 17092 WITH SCORE 17130.474
AT ITER 5654 NEW BEST:: SOT 172763 SOS 38453 HAS SOPS 38453 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17109.453
AT ITER 5698 NEW BEST:: SOT 172743 SOS 38432 HAS SOPS 38432 HAS SOUS 17054 HAS SOUPS 17054 WITH SCORE 17092.432
AT ITER 5785 NEW BEST:: SOT 172757 SOS 38481 HAS SOPS 38481 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17073.481
AT ITER 5787 NEW BEST:: SOT 172705 SOS 38472 HAS SOPS 38472 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17044.472
AT ITER 5823 NEW BEST:: SOT 172703 SOS 38475 HAS SOPS 38475 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17043.475
AT ITER 5876 NEW BEST:: SOT 172703 SOS 38471 HAS SOPS 38471 HAS SOUS 16993 HAS SOUPS 16993 WITH SCORE 17031.471
AT ITER 5925 NEW BEST:: SOT 172703 SOS 38471 HAS SOPS 38471 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17019.471
AT ITER 6049 NEW BEST:: SOT 172703 SOS 38465 HAS SOPS 38465 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17017.465
AT ITER 6116 NEW BEST:: SOT 172692 SOS 38388 HAS SOPS 38388 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16984.388
AT ITER 6366 NEW BEST:: SOT 172654 SOS 38489 HAS SOPS 38489 HAS SOUS 16919 HAS SOUPS 16919 WITH SCORE 16957.489
AT ITER 6390 NEW BEST:: SOT 172624 SOS 38401 HAS SOPS 38401 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16946.401
AT ITER 6452 NEW BEST:: SOT 172624 SOS 38396 HAS SOPS 38396 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16941.396
AT ITER 6504 NEW BEST:: SOT 172569 SOS 38330 HAS SOPS 38330 HAS SOUS 16837 HAS SOUPS 16837 WITH SCORE 16875.33
AT ITER 6576 NEW BEST:: SOT 172611 SOS 38448 HAS SOPS 38448 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16865.448
AT ITER 6666 NEW BEST:: SOT 172606 SOS 38443 HAS SOPS 38443 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16860.443
AT ITER 6755 NEW BEST:: SOT 172514 SOS 38351 HAS SOPS 38351 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16852.351
AT ITER 6768 NEW BEST:: SOT 172513 SOS 38350 HAS SOPS 38350 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16851.35
AT ITER 6773 NEW BEST:: SOT 172510 SOS 38341 HAS SOPS 38341 HAS SOUS 16808 HAS SOUPS 16808 WITH SCORE 16846.341
AT ITER 6815 NEW BEST:: SOT 172510 SOS 38341 HAS SOPS 38341 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16840.341
AT ITER 6839 NEW BEST:: SOT 172509 SOS 38340 HAS SOPS 38340 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16839.34
AT ITER 6843 NEW BEST:: SOT 172499 SOS 38232 HAS SOPS 38232 HAS SOUS 16777 HAS SOUPS 16777 WITH SCORE 16815.232
AT ITER 6864 NEW BEST:: SOT 172495 SOS 38228 HAS SOPS 38228 HAS SOUS 16767 HAS SOUPS 16767 WITH SCORE 16805.228
AT ITER 6894 NEW BEST:: SOT 172488 SOS 38209 HAS SOPS 38209 HAS SOUS 16756 HAS SOUPS 16756 WITH SCORE 16794.209
AT ITER 6984 NEW BEST:: SOT 172485 SOS 38099 HAS SOPS 38099 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16768.099
AT ITER 7047 NEW BEST:: SOT 172470 SOS 37994 HAS SOPS 37994 HAS SOUS 16685 HAS SOUPS 16685 WITH SCORE 16722.994
AT ITER 7082 NEW BEST:: SOT 172420 SOS 37894 HAS SOPS 37894 HAS SOUS 16625 HAS SOUPS 16625 WITH SCORE 16662.894
AT ITER 7175 NEW BEST:: SOT 172417 SOS 37888 HAS SOPS 37888 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16656.888
AT ITER 7192 NEW BEST:: SOT 172417 SOS 37888 HAS SOPS 37888 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16652.888
AT ITER 7275 NEW BEST:: SOT 172417 SOS 37888 HAS SOPS 37888 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16651.888
AT ITER 7291 NEW BEST:: SOT 172417 SOS 37876 HAS SOPS 37876 HAS SOUS 16610 HAS SOUPS 16610 WITH SCORE 16647.876
AT ITER 7367 NEW BEST:: SOT 172413 SOS 37852 HAS SOPS 37852 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16639.852
AT ITER 7394 NEW BEST:: SOT 172401 SOS 37840 HAS SOPS 37840 HAS SOUS 16590 HAS SOUPS 16590 WITH SCORE 16627.84
AT ITER 7510 NEW BEST:: SOT 172401 SOS 37822 HAS SOPS 37822 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16621.822
AT ITER 7515 NEW BEST:: SOT 172393 SOS 37814 HAS SOPS 37814 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16607.814
AT ITER 7566 NEW BEST:: SOT 172393 SOS 37809 HAS SOPS 37809 HAS SOUS 16569 HAS SOUPS 16569 WITH SCORE 16606.809
AT ITER 7660 NEW BEST:: SOT 172390 SOS 37779 HAS SOPS 37779 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16588.779
AT ITER 7672 NEW BEST:: SOT 172390 SOS 37779 HAS SOPS 37779 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16584.779
AT ITER 7990 NEW BEST:: SOT 172362 SOS 37517 HAS SOPS 37517 HAS SOUS 16543 HAS SOUPS 16543 WITH SCORE 16580.517
AT ITER 8077 NEW BEST:: SOT 172362 SOS 37514 HAS SOPS 37514 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16577.514
AT ITER 8083 NEW BEST:: SOT 172354 SOS 37472 HAS SOPS 37472 HAS SOUS 16538 HAS SOUPS 16538 WITH SCORE 16575.472
AT ITER 8107 NEW BEST:: SOT 172353 SOS 37420 HAS SOPS 37420 HAS SOUS 16534 HAS SOUPS 16534 WITH SCORE 16571.42
AT ITER 8119 NEW BEST:: SOT 172344 SOS 37357 HAS SOPS 37357 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16544.357
AT ITER 8144 NEW BEST:: SOT 172358 SOS 37371 HAS SOPS 37371 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16530.371
AT ITER 8193 NEW BEST:: SOT 172358 SOS 37371 HAS SOPS 37371 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16524.371
AT ITER 8206 NEW BEST:: SOT 172348 SOS 37343 HAS SOPS 37343 HAS SOUS 16475 HAS SOUPS 16475 WITH SCORE 16512.343
AT ITER 8264 NEW BEST:: SOT 172348 SOS 37337 HAS SOPS 37337 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16510.337
AT ITER 8410 NEW BEST:: SOT 172348 SOS 37332 HAS SOPS 37332 HAS SOUS 16468 HAS SOUPS 16468 WITH SCORE 16505.332
AT ITER 8464 NEW BEST:: SOT 172348 SOS 37326 HAS SOPS 37326 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16503.326
AT ITER 8604 NEW BEST:: SOT 172341 SOS 37279 HAS SOPS 37279 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16488.279
AT ITER 8608 NEW BEST:: SOT 172341 SOS 37267 HAS SOPS 37267 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16484.267
AT ITER 8664 NEW BEST:: SOT 172341 SOS 37267 HAS SOPS 37267 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16470.267
AT ITER 8732 NEW BEST:: SOT 172341 SOS 37255 HAS SOPS 37255 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16466.255
AT ITER 8871 NEW BEST:: SOT 172341 SOS 37183 HAS SOPS 37183 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16466.183
AT ITER 9042 NEW BEST:: SOT 172331 SOS 37111 HAS SOPS 37111 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16442.111
AT ITER 9054 NEW BEST:: SOT 172342 SOS 37032 HAS SOPS 37032 HAS SOUS 16398 HAS SOUPS 16398 WITH SCORE 16435.032
AT ITER 9095 NEW BEST:: SOT 172341 SOS 37026 HAS SOPS 37026 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16433.026
AT ITER 9162 NEW BEST:: SOT 172340 SOS 37024 HAS SOPS 37024 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16431.024
AT ITER 9247 NEW BEST:: SOT 172340 SOS 36956 HAS SOPS 36956 HAS SOUS 16394 HAS SOUPS 16394 WITH SCORE 16430.956
AT ITER 9311 NEW BEST:: SOT 172346 SOS 36962 HAS SOPS 36962 HAS SOUS 16385 HAS SOUPS 16385 WITH SCORE 16421.962
AT ITER 9687 NEW BEST:: SOT 172346 SOS 36922 HAS SOPS 36922 HAS SOUS 16377 HAS SOUPS 16377 WITH SCORE 16413.922
AT ITER 9704 NEW BEST:: SOT 172334 SOS 36906 HAS SOPS 36906 HAS SOUS 16369 HAS SOUPS 16369 WITH SCORE 16405.906
AT ITER 9977 NEW BEST:: SOT 172286 SOS 36858 HAS SOPS 36858 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16357.858
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3802820 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153516 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HexagonalGrid-PT-316"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is HexagonalGrid-PT-316, 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 r195-smll-167840342400400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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