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.r451-smll-167912643500408.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 StigmergyCommit-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643500408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 10:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 10:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 10:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 10:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 10:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 10:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 231K Mar 5 18:23 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 1679255504886

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=StigmergyCommit-PT-02b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 02b
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: 928 places, 1040 transitions, 2439 arcs.
AT ITER 0 NEW BEST:: SOT 535306 SOS 79685 HAS SOPS 79685 HAS SOUS 76208 HAS SOUPS 76208 WITH SCORE 76287.685
AT ITER 1 NEW BEST:: SOT 534759 SOS 79190 HAS SOPS 79190 HAS SOUS 75661 HAS SOUPS 75661 WITH SCORE 75740.19
AT ITER 3 NEW BEST:: SOT 534635 SOS 79934 HAS SOPS 79934 HAS SOUS 75413 HAS SOUPS 75413 WITH SCORE 75492.934
AT ITER 23 NEW BEST:: SOT 534616 SOS 79896 HAS SOPS 79896 HAS SOUS 75375 HAS SOUPS 75375 WITH SCORE 75454.896
AT ITER 98 NEW BEST:: SOT 534553 SOS 79702 HAS SOPS 79702 HAS SOUS 75248 HAS SOUPS 75248 WITH SCORE 75327.702
AT ITER 114 NEW BEST:: SOT 534552 SOS 79700 HAS SOPS 79700 HAS SOUS 75246 HAS SOUPS 75246 WITH SCORE 75325.7
AT ITER 252 NEW BEST:: SOT 534478 SOS 79552 HAS SOPS 79552 HAS SOUS 75098 HAS SOUPS 75098 WITH SCORE 75177.552
AT ITER 278 NEW BEST:: SOT 534389 SOS 79291 HAS SOPS 79291 HAS SOUS 74920 HAS SOUPS 74920 WITH SCORE 74999.291
AT ITER 317 NEW BEST:: SOT 533079 SOS 87724 HAS SOPS 87724 HAS SOUS 74372 HAS SOUPS 74372 WITH SCORE 74459.724
AT ITER 344 NEW BEST:: SOT 533079 SOS 87680 HAS SOPS 87680 HAS SOUS 74371 HAS SOUPS 74371 WITH SCORE 74458.68
AT ITER 348 NEW BEST:: SOT 533079 SOS 87623 HAS SOPS 87623 HAS SOUS 74370 HAS SOUPS 74370 WITH SCORE 74457.623
AT ITER 360 NEW BEST:: SOT 533053 SOS 87606 HAS SOPS 87606 HAS SOUS 74348 HAS SOUPS 74348 WITH SCORE 74435.606
AT ITER 416 NEW BEST:: SOT 532893 SOS 87406 HAS SOPS 87406 HAS SOUS 74188 HAS SOUPS 74188 WITH SCORE 74275.406
AT ITER 418 NEW BEST:: SOT 532885 SOS 87390 HAS SOPS 87390 HAS SOUS 74172 HAS SOUPS 74172 WITH SCORE 74259.39
AT ITER 467 NEW BEST:: SOT 532885 SOS 86414 HAS SOPS 86414 HAS SOUS 74172 HAS SOUPS 74172 WITH SCORE 74258.414
AT ITER 517 NEW BEST:: SOT 532784 SOS 86351 HAS SOPS 86351 HAS SOUS 74092 HAS SOUPS 74092 WITH SCORE 74178.351
AT ITER 557 NEW BEST:: SOT 532762 SOS 86329 HAS SOPS 86329 HAS SOUS 74070 HAS SOUPS 74070 WITH SCORE 74156.329
AT ITER 639 NEW BEST:: SOT 532645 SOS 86273 HAS SOPS 86273 HAS SOUS 73978 HAS SOUPS 73978 WITH SCORE 74064.273
AT ITER 661 NEW BEST:: SOT 532644 SOS 86271 HAS SOPS 86271 HAS SOUS 73977 HAS SOUPS 73977 WITH SCORE 74063.271
AT ITER 662 NEW BEST:: SOT 532644 SOS 86233 HAS SOPS 86233 HAS SOUS 73977 HAS SOUPS 73977 WITH SCORE 74063.233
AT ITER 718 NEW BEST:: SOT 532627 SOS 86199 HAS SOPS 86199 HAS SOUS 73943 HAS SOUPS 73943 WITH SCORE 74029.199
AT ITER 729 NEW BEST:: SOT 532561 SOS 86030 HAS SOPS 86030 HAS SOUS 73810 HAS SOUPS 73810 WITH SCORE 73896.03
AT ITER 739 NEW BEST:: SOT 532560 SOS 86028 HAS SOPS 86028 HAS SOUS 73808 HAS SOUPS 73808 WITH SCORE 73894.028
AT ITER 747 NEW BEST:: SOT 532560 SOS 86001 HAS SOPS 86001 HAS SOUS 73808 HAS SOUPS 73808 WITH SCORE 73894.001
AT ITER 822 NEW BEST:: SOT 532560 SOS 85947 HAS SOPS 85947 HAS SOUS 73808 HAS SOUPS 73808 WITH SCORE 73893.947
AT ITER 832 NEW BEST:: SOT 532503 SOS 85828 HAS SOPS 85828 HAS SOUS 73723 HAS SOUPS 73723 WITH SCORE 73808.828
AT ITER 858 NEW BEST:: SOT 532401 SOS 85624 HAS SOPS 85624 HAS SOUS 73660 HAS SOUPS 73660 WITH SCORE 73745.624
AT ITER 863 NEW BEST:: SOT 532400 SOS 85622 HAS SOPS 85622 HAS SOUS 73658 HAS SOUPS 73658 WITH SCORE 73743.622
AT ITER 865 NEW BEST:: SOT 532400 SOS 85607 HAS SOPS 85607 HAS SOUS 73658 HAS SOUPS 73658 WITH SCORE 73743.607
AT ITER 871 NEW BEST:: SOT 532372 SOS 85530 HAS SOPS 85530 HAS SOUS 73602 HAS SOUPS 73602 WITH SCORE 73687.53
AT ITER 877 NEW BEST:: SOT 532297 SOS 85380 HAS SOPS 85380 HAS SOUS 73452 HAS SOUPS 73452 WITH SCORE 73537.38
AT ITER 899 NEW BEST:: SOT 532277 SOS 85340 HAS SOPS 85340 HAS SOUS 73412 HAS SOUPS 73412 WITH SCORE 73497.34
AT ITER 907 NEW BEST:: SOT 532194 SOS 85257 HAS SOPS 85257 HAS SOUS 73329 HAS SOUPS 73329 WITH SCORE 73414.257
AT ITER 916 NEW BEST:: SOT 532167 SOS 85203 HAS SOPS 85203 HAS SOUS 73275 HAS SOUPS 73275 WITH SCORE 73360.203
AT ITER 961 NEW BEST:: SOT 532159 SOS 85187 HAS SOPS 85187 HAS SOUS 73259 HAS SOUPS 73259 WITH SCORE 73344.187
AT ITER 965 NEW BEST:: SOT 532158 SOS 85185 HAS SOPS 85185 HAS SOUS 73257 HAS SOUPS 73257 WITH SCORE 73342.185
AT ITER 983 NEW BEST:: SOT 532064 SOS 84997 HAS SOPS 84997 HAS SOUS 73069 HAS SOUPS 73069 WITH SCORE 73153.997
AT ITER 986 NEW BEST:: SOT 532064 SOS 84978 HAS SOPS 84978 HAS SOUS 73069 HAS SOUPS 73069 WITH SCORE 73153.978
AT ITER 1042 NEW BEST:: SOT 532062 SOS 84974 HAS SOPS 84974 HAS SOUS 73065 HAS SOUPS 73065 WITH SCORE 73149.974
AT ITER 1071 NEW BEST:: SOT 532054 SOS 84958 HAS SOPS 84958 HAS SOUS 73049 HAS SOUPS 73049 WITH SCORE 73133.958
AT ITER 1083 NEW BEST:: SOT 531977 SOS 84804 HAS SOPS 84804 HAS SOUS 72895 HAS SOUPS 72895 WITH SCORE 72979.804
AT ITER 1109 NEW BEST:: SOT 531976 SOS 84802 HAS SOPS 84802 HAS SOUS 72893 HAS SOUPS 72893 WITH SCORE 72977.802
AT ITER 1238 NEW BEST:: SOT 531976 SOS 84779 HAS SOPS 84779 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 72954.779
AT ITER 1308 NEW BEST:: SOT 531975 SOS 84777 HAS SOPS 84777 HAS SOUS 72868 HAS SOUPS 72868 WITH SCORE 72952.777
AT ITER 1374 NEW BEST:: SOT 531924 SOS 84697 HAS SOPS 84697 HAS SOUS 72802 HAS SOUPS 72802 WITH SCORE 72886.697
AT ITER 1380 NEW BEST:: SOT 531875 SOS 84599 HAS SOPS 84599 HAS SOUS 72704 HAS SOUPS 72704 WITH SCORE 72788.599
AT ITER 1381 NEW BEST:: SOT 531859 SOS 84567 HAS SOPS 84567 HAS SOUS 72672 HAS SOUPS 72672 WITH SCORE 72756.567
AT ITER 1382 NEW BEST:: SOT 530685 SOS 106240 HAS SOPS 106240 HAS SOUS 72494 HAS SOUPS 72494 WITH SCORE 72600.24
AT ITER 1393 NEW BEST:: SOT 530632 SOS 106134 HAS SOPS 106134 HAS SOUS 72346 HAS SOUPS 72346 WITH SCORE 72452.134
AT ITER 1503 NEW BEST:: SOT 530612 SOS 106094 HAS SOPS 106094 HAS SOUS 72326 HAS SOUPS 72326 WITH SCORE 72432.094
AT ITER 1505 NEW BEST:: SOT 530569 SOS 106008 HAS SOPS 106008 HAS SOUS 72240 HAS SOUPS 72240 WITH SCORE 72346.008
AT ITER 1518 NEW BEST:: SOT 530498 SOS 105936 HAS SOPS 105936 HAS SOUS 72168 HAS SOUPS 72168 WITH SCORE 72273.936
AT ITER 1563 NEW BEST:: SOT 530431 SOS 105700 HAS SOPS 105700 HAS SOUS 72032 HAS SOUPS 72032 WITH SCORE 72137.7
AT ITER 1616 NEW BEST:: SOT 530414 SOS 105666 HAS SOPS 105666 HAS SOUS 71998 HAS SOUPS 71998 WITH SCORE 72103.666
AT ITER 1635 NEW BEST:: SOT 530413 SOS 105665 HAS SOPS 105665 HAS SOUS 71996 HAS SOUPS 71996 WITH SCORE 72101.665
AT ITER 1651 NEW BEST:: SOT 530363 SOS 105565 HAS SOPS 105565 HAS SOUS 71896 HAS SOUPS 71896 WITH SCORE 72001.565
AT ITER 1671 NEW BEST:: SOT 530361 SOS 105561 HAS SOPS 105561 HAS SOUS 71892 HAS SOUPS 71892 WITH SCORE 71997.561
AT ITER 1726 NEW BEST:: SOT 530360 SOS 105559 HAS SOPS 105559 HAS SOUS 71890 HAS SOUPS 71890 WITH SCORE 71995.559
AT ITER 1741 NEW BEST:: SOT 530281 SOS 105401 HAS SOPS 105401 HAS SOUS 71829 HAS SOUPS 71829 WITH SCORE 71934.401
AT ITER 1751 NEW BEST:: SOT 530268 SOS 105375 HAS SOPS 105375 HAS SOUS 71803 HAS SOUPS 71803 WITH SCORE 71908.375
AT ITER 1754 NEW BEST:: SOT 530268 SOS 105320 HAS SOPS 105320 HAS SOUS 71803 HAS SOUPS 71803 WITH SCORE 71908.32
AT ITER 1757 NEW BEST:: SOT 530268 SOS 105306 HAS SOPS 105306 HAS SOUS 71803 HAS SOUPS 71803 WITH SCORE 71908.306
AT ITER 1780 NEW BEST:: SOT 530226 SOS 105222 HAS SOPS 105222 HAS SOUS 71761 HAS SOUPS 71761 WITH SCORE 71866.222
AT ITER 1805 NEW BEST:: SOT 530225 SOS 105220 HAS SOPS 105220 HAS SOUS 71759 HAS SOUPS 71759 WITH SCORE 71864.22
AT ITER 1820 NEW BEST:: SOT 530224 SOS 105218 HAS SOPS 105218 HAS SOUS 71757 HAS SOUPS 71757 WITH SCORE 71862.218
AT ITER 1846 NEW BEST:: SOT 530216 SOS 105213 HAS SOPS 105213 HAS SOUS 71750 HAS SOUPS 71750 WITH SCORE 71855.213
AT ITER 1858 NEW BEST:: SOT 530224 SOS 105229 HAS SOPS 105229 HAS SOUS 71632 HAS SOUPS 71632 WITH SCORE 71737.229
AT ITER 1892 NEW BEST:: SOT 530087 SOS 105058 HAS SOPS 105058 HAS SOUS 71472 HAS SOUPS 71472 WITH SCORE 71577.058
AT ITER 1893 NEW BEST:: SOT 530136 SOS 105156 HAS SOPS 105156 HAS SOUS 71456 HAS SOUPS 71456 WITH SCORE 71561.156
AT ITER 1902 NEW BEST:: SOT 530133 SOS 105150 HAS SOPS 105150 HAS SOUS 71452 HAS SOUPS 71452 WITH SCORE 71557.15
AT ITER 1903 NEW BEST:: SOT 530133 SOS 105150 HAS SOPS 105150 HAS SOUS 71387 HAS SOUPS 71387 WITH SCORE 71492.15
AT ITER 1927 NEW BEST:: SOT 530132 SOS 105149 HAS SOPS 105149 HAS SOUS 71385 HAS SOUPS 71385 WITH SCORE 71490.149
AT ITER 1940 NEW BEST:: SOT 529944 SOS 104773 HAS SOPS 104773 HAS SOUS 71157 HAS SOUPS 71157 WITH SCORE 71261.773
AT ITER 1969 NEW BEST:: SOT 529944 SOS 104773 HAS SOPS 104773 HAS SOUS 71143 HAS SOUPS 71143 WITH SCORE 71247.773
AT ITER 2042 NEW BEST:: SOT 529944 SOS 104773 HAS SOPS 104773 HAS SOUS 71139 HAS SOUPS 71139 WITH SCORE 71243.773
AT ITER 2081 NEW BEST:: SOT 529933 SOS 104751 HAS SOPS 104751 HAS SOUS 71117 HAS SOUPS 71117 WITH SCORE 71221.751
AT ITER 2150 NEW BEST:: SOT 529910 SOS 104665 HAS SOPS 104665 HAS SOUS 71071 HAS SOUPS 71071 WITH SCORE 71175.665
AT ITER 2185 NEW BEST:: SOT 529815 SOS 100105 HAS SOPS 100105 HAS SOUS 70881 HAS SOUPS 70881 WITH SCORE 70981.105
AT ITER 2199 NEW BEST:: SOT 529810 SOS 100095 HAS SOPS 100095 HAS SOUS 70871 HAS SOUPS 70871 WITH SCORE 70971.095
AT ITER 2224 NEW BEST:: SOT 529809 SOS 100086 HAS SOPS 100086 HAS SOUS 70869 HAS SOUPS 70869 WITH SCORE 70969.086
AT ITER 2246 NEW BEST:: SOT 529809 SOS 100049 HAS SOPS 100049 HAS SOUS 70869 HAS SOUPS 70869 WITH SCORE 70969.049
AT ITER 2277 NEW BEST:: SOT 529781 SOS 99993 HAS SOPS 99993 HAS SOUS 70813 HAS SOUPS 70813 WITH SCORE 70912.993
AT ITER 2286 NEW BEST:: SOT 529741 SOS 99953 HAS SOPS 99953 HAS SOUS 70739 HAS SOUPS 70739 WITH SCORE 70838.953
AT ITER 2305 NEW BEST:: SOT 529681 SOS 99833 HAS SOPS 99833 HAS SOUS 70619 HAS SOUPS 70619 WITH SCORE 70718.833
AT ITER 2307 NEW BEST:: SOT 529628 SOS 99727 HAS SOPS 99727 HAS SOUS 70513 HAS SOUPS 70513 WITH SCORE 70612.727
AT ITER 2309 NEW BEST:: SOT 529628 SOS 99656 HAS SOPS 99656 HAS SOUS 70513 HAS SOUPS 70513 WITH SCORE 70612.656
AT ITER 2310 NEW BEST:: SOT 529627 SOS 99654 HAS SOPS 99654 HAS SOUS 70511 HAS SOUPS 70511 WITH SCORE 70610.654
AT ITER 2379 NEW BEST:: SOT 529626 SOS 99652 HAS SOPS 99652 HAS SOUS 70509 HAS SOUPS 70509 WITH SCORE 70608.652
AT ITER 2381 NEW BEST:: SOT 529523 SOS 99446 HAS SOPS 99446 HAS SOUS 70413 HAS SOUPS 70413 WITH SCORE 70512.446
AT ITER 2392 NEW BEST:: SOT 529469 SOS 99338 HAS SOPS 99338 HAS SOUS 70258 HAS SOUPS 70258 WITH SCORE 70357.338
AT ITER 2424 NEW BEST:: SOT 529461 SOS 99322 HAS SOPS 99322 HAS SOUS 70242 HAS SOUPS 70242 WITH SCORE 70341.322
AT ITER 2435 NEW BEST:: SOT 529345 SOS 99090 HAS SOPS 99090 HAS SOUS 70027 HAS SOUPS 70027 WITH SCORE 70126.09
AT ITER 2497 NEW BEST:: SOT 529220 SOS 98965 HAS SOPS 98965 HAS SOUS 69926 HAS SOUPS 69926 WITH SCORE 70024.965
AT ITER 2509 NEW BEST:: SOT 528725 SOS 102551 HAS SOPS 102551 HAS SOUS 69711 HAS SOUPS 69711 WITH SCORE 69813.551
AT ITER 2532 NEW BEST:: SOT 527575 SOS 104457 HAS SOPS 104457 HAS SOUS 68881 HAS SOUPS 68881 WITH SCORE 68985.457
AT ITER 2576 NEW BEST:: SOT 527575 SOS 104416 HAS SOPS 104416 HAS SOUS 68881 HAS SOUPS 68881 WITH SCORE 68985.416
AT ITER 2593 NEW BEST:: SOT 527531 SOS 104270 HAS SOPS 104270 HAS SOUS 68793 HAS SOUPS 68793 WITH SCORE 68897.27
AT ITER 2652 NEW BEST:: SOT 527530 SOS 104268 HAS SOPS 104268 HAS SOUS 68791 HAS SOUPS 68791 WITH SCORE 68895.268
AT ITER 2667 NEW BEST:: SOT 527530 SOS 104268 HAS SOPS 104268 HAS SOUS 68784 HAS SOUPS 68784 WITH SCORE 68888.268
AT ITER 2731 NEW BEST:: SOT 527513 SOS 104217 HAS SOPS 104217 HAS SOUS 68750 HAS SOUPS 68750 WITH SCORE 68854.217
AT ITER 2735 NEW BEST:: SOT 527513 SOS 104584 HAS SOPS 104584 HAS SOUS 68706 HAS SOUPS 68706 WITH SCORE 68810.584
AT ITER 2738 NEW BEST:: SOT 527508 SOS 104574 HAS SOPS 104574 HAS SOUS 68696 HAS SOUPS 68696 WITH SCORE 68800.574
AT ITER 2765 NEW BEST:: SOT 527413 SOS 104384 HAS SOPS 104384 HAS SOUS 68506 HAS SOUPS 68506 WITH SCORE 68610.384
AT ITER 2772 NEW BEST:: SOT 527400 SOS 104358 HAS SOPS 104358 HAS SOUS 68480 HAS SOUPS 68480 WITH SCORE 68584.358
AT ITER 2778 NEW BEST:: SOT 527032 SOS 103975 HAS SOPS 103975 HAS SOUS 68150 HAS SOUPS 68150 WITH SCORE 68253.975
AT ITER 2829 NEW BEST:: SOT 527012 SOS 103935 HAS SOPS 103935 HAS SOUS 68081 HAS SOUPS 68081 WITH SCORE 68184.935
AT ITER 2913 NEW BEST:: SOT 527012 SOS 103935 HAS SOPS 103935 HAS SOUS 68078 HAS SOUPS 68078 WITH SCORE 68181.935
AT ITER 2915 NEW BEST:: SOT 527124 SOS 103964 HAS SOPS 103964 HAS SOUS 68077 HAS SOUPS 68077 WITH SCORE 68180.964
AT ITER 2929 NEW BEST:: SOT 527124 SOS 103964 HAS SOPS 103964 HAS SOUS 68070 HAS SOUPS 68070 WITH SCORE 68173.964
AT ITER 2935 NEW BEST:: SOT 527095 SOS 103906 HAS SOPS 103906 HAS SOUS 68012 HAS SOUPS 68012 WITH SCORE 68115.906
AT ITER 2950 NEW BEST:: SOT 526996 SOS 103708 HAS SOPS 103708 HAS SOUS 67975 HAS SOUPS 67975 WITH SCORE 68078.708
AT ITER 2958 NEW BEST:: SOT 526936 SOS 103588 HAS SOPS 103588 HAS SOUS 67855 HAS SOUPS 67855 WITH SCORE 67958.588
AT ITER 2967 NEW BEST:: SOT 526919 SOS 103554 HAS SOPS 103554 HAS SOUS 67660 HAS SOUPS 67660 WITH SCORE 67763.554
AT ITER 2990 NEW BEST:: SOT 526877 SOS 103470 HAS SOPS 103470 HAS SOUS 67576 HAS SOUPS 67576 WITH SCORE 67679.47
AT ITER 2999 NEW BEST:: SOT 526817 SOS 103350 HAS SOPS 103350 HAS SOUS 67456 HAS SOUPS 67456 WITH SCORE 67559.35
AT ITER 3044 NEW BEST:: SOT 526783 SOS 103233 HAS SOPS 103233 HAS SOUS 67388 HAS SOUPS 67388 WITH SCORE 67491.233
AT ITER 3074 NEW BEST:: SOT 526754 SOS 103175 HAS SOPS 103175 HAS SOUS 67330 HAS SOUPS 67330 WITH SCORE 67433.175
AT ITER 3090 NEW BEST:: SOT 526737 SOS 103141 HAS SOPS 103141 HAS SOUS 67296 HAS SOUPS 67296 WITH SCORE 67399.141
AT ITER 3103 NEW BEST:: SOT 526633 SOS 103056 HAS SOPS 103056 HAS SOUS 67192 HAS SOUPS 67192 WITH SCORE 67295.056
AT ITER 3149 NEW BEST:: SOT 526586 SOS 103125 HAS SOPS 103125 HAS SOUS 67181 HAS SOUPS 67181 WITH SCORE 67284.125
AT ITER 3162 NEW BEST:: SOT 526568 SOS 103089 HAS SOPS 103089 HAS SOUS 67163 HAS SOUPS 67163 WITH SCORE 67266.089
AT ITER 3187 NEW BEST:: SOT 526555 SOS 103063 HAS SOPS 103063 HAS SOUS 67137 HAS SOUPS 67137 WITH SCORE 67240.063
AT ITER 3215 NEW BEST:: SOT 526524 SOS 103001 HAS SOPS 103001 HAS SOUS 67075 HAS SOUPS 67075 WITH SCORE 67178.001
AT ITER 3225 NEW BEST:: SOT 526111 SOS 102470 HAS SOPS 102470 HAS SOUS 66603 HAS SOUPS 66603 WITH SCORE 66705.47
AT ITER 3232 NEW BEST:: SOT 525999 SOS 102358 HAS SOPS 102358 HAS SOUS 66491 HAS SOUPS 66491 WITH SCORE 66593.358
AT ITER 3338 NEW BEST:: SOT 525999 SOS 102330 HAS SOPS 102330 HAS SOUS 66463 HAS SOUPS 66463 WITH SCORE 66565.33
AT ITER 3347 NEW BEST:: SOT 525999 SOS 102317 HAS SOPS 102317 HAS SOUS 66463 HAS SOUPS 66463 WITH SCORE 66565.317
AT ITER 3349 NEW BEST:: SOT 525914 SOS 102147 HAS SOPS 102147 HAS SOUS 66378 HAS SOUPS 66378 WITH SCORE 66480.147
AT ITER 3352 NEW BEST:: SOT 525875 SOS 102069 HAS SOPS 102069 HAS SOUS 66300 HAS SOUPS 66300 WITH SCORE 66402.069
AT ITER 3356 NEW BEST:: SOT 525874 SOS 102067 HAS SOPS 102067 HAS SOUS 66298 HAS SOUPS 66298 WITH SCORE 66400.067
AT ITER 3364 NEW BEST:: SOT 525840 SOS 101999 HAS SOPS 101999 HAS SOUS 66230 HAS SOUPS 66230 WITH SCORE 66331.999
AT ITER 3377 NEW BEST:: SOT 525840 SOS 101999 HAS SOPS 101999 HAS SOUS 66226 HAS SOUPS 66226 WITH SCORE 66327.999
AT ITER 3432 NEW BEST:: SOT 525810 SOS 101939 HAS SOPS 101939 HAS SOUS 66166 HAS SOUPS 66166 WITH SCORE 66267.939
AT ITER 3435 NEW BEST:: SOT 525815 SOS 101949 HAS SOPS 101949 HAS SOUS 66161 HAS SOUPS 66161 WITH SCORE 66262.949
AT ITER 3441 NEW BEST:: SOT 525814 SOS 101947 HAS SOPS 101947 HAS SOUS 66159 HAS SOUPS 66159 WITH SCORE 66260.947
AT ITER 3443 NEW BEST:: SOT 525736 SOS 101713 HAS SOPS 101713 HAS SOUS 66081 HAS SOUPS 66081 WITH SCORE 66182.713
AT ITER 3484 NEW BEST:: SOT 525728 SOS 101697 HAS SOPS 101697 HAS SOUS 66065 HAS SOUPS 66065 WITH SCORE 66166.697
AT ITER 3498 NEW BEST:: SOT 525729 SOS 101673 HAS SOPS 101673 HAS SOUS 66061 HAS SOUPS 66061 WITH SCORE 66162.673
AT ITER 3503 NEW BEST:: SOT 525728 SOS 101617 HAS SOPS 101617 HAS SOUS 66059 HAS SOUPS 66059 WITH SCORE 66160.617
AT ITER 3514 NEW BEST:: SOT 525719 SOS 101599 HAS SOPS 101599 HAS SOUS 66041 HAS SOUPS 66041 WITH SCORE 66142.599
AT ITER 3519 NEW BEST:: SOT 525646 SOS 101453 HAS SOPS 101453 HAS SOUS 65959 HAS SOUPS 65959 WITH SCORE 66060.453
AT ITER 3576 NEW BEST:: SOT 525624 SOS 101409 HAS SOPS 101409 HAS SOUS 65915 HAS SOUPS 65915 WITH SCORE 66016.409
AT ITER 3597 NEW BEST:: SOT 525612 SOS 101326 HAS SOPS 101326 HAS SOUS 65884 HAS SOUPS 65884 WITH SCORE 65985.326
AT ITER 3613 NEW BEST:: SOT 525540 SOS 101182 HAS SOPS 101182 HAS SOUS 65812 HAS SOUPS 65812 WITH SCORE 65913.182
AT ITER 3639 NEW BEST:: SOT 525539 SOS 101180 HAS SOPS 101180 HAS SOUS 65810 HAS SOUPS 65810 WITH SCORE 65911.18
AT ITER 3682 NEW BEST:: SOT 525538 SOS 101178 HAS SOPS 101178 HAS SOUS 65808 HAS SOUPS 65808 WITH SCORE 65909.178
AT ITER 3729 NEW BEST:: SOT 525530 SOS 101162 HAS SOPS 101162 HAS SOUS 65792 HAS SOUPS 65792 WITH SCORE 65893.162
AT ITER 3776 NEW BEST:: SOT 525505 SOS 101112 HAS SOPS 101112 HAS SOUS 65742 HAS SOUPS 65742 WITH SCORE 65843.112
AT ITER 3792 NEW BEST:: SOT 525460 SOS 101022 HAS SOPS 101022 HAS SOUS 65709 HAS SOUPS 65709 WITH SCORE 65810.022
AT ITER 3854 NEW BEST:: SOT 525421 SOS 100907 HAS SOPS 100907 HAS SOUS 65618 HAS SOUPS 65618 WITH SCORE 65718.907
AT ITER 3871 NEW BEST:: SOT 525414 SOS 100893 HAS SOPS 100893 HAS SOUS 65604 HAS SOUPS 65604 WITH SCORE 65704.893
AT ITER 3874 NEW BEST:: SOT 525385 SOS 100728 HAS SOPS 100728 HAS SOUS 65546 HAS SOUPS 65546 WITH SCORE 65646.728
AT ITER 3883 NEW BEST:: SOT 525271 SOS 100386 HAS SOPS 100386 HAS SOUS 65432 HAS SOUPS 65432 WITH SCORE 65532.386
AT ITER 3884 NEW BEST:: SOT 525228 SOS 100300 HAS SOPS 100300 HAS SOUS 65389 HAS SOUPS 65389 WITH SCORE 65489.3
AT ITER 3910 NEW BEST:: SOT 525093 SOS 100165 HAS SOPS 100165 HAS SOUS 65239 HAS SOUPS 65239 WITH SCORE 65339.165
AT ITER 3924 NEW BEST:: SOT 525086 SOS 100151 HAS SOPS 100151 HAS SOUS 65232 HAS SOUPS 65232 WITH SCORE 65332.151
AT ITER 3931 NEW BEST:: SOT 525054 SOS 100087 HAS SOPS 100087 HAS SOUS 65200 HAS SOUPS 65200 WITH SCORE 65300.087
AT ITER 4050 NEW BEST:: SOT 525007 SOS 99993 HAS SOPS 99993 HAS SOUS 65150 HAS SOUPS 65150 WITH SCORE 65249.993
AT ITER 4101 NEW BEST:: SOT 525006 SOS 99991 HAS SOPS 99991 HAS SOUS 65070 HAS SOUPS 65070 WITH SCORE 65169.991
AT ITER 4133 NEW BEST:: SOT 524968 SOS 99953 HAS SOPS 99953 HAS SOUS 65032 HAS SOUPS 65032 WITH SCORE 65131.953
AT ITER 4140 NEW BEST:: SOT 524924 SOS 99865 HAS SOPS 99865 HAS SOUS 64988 HAS SOUPS 64988 WITH SCORE 65087.865
AT ITER 4146 NEW BEST:: SOT 524924 SOS 99854 HAS SOPS 99854 HAS SOUS 64988 HAS SOUPS 64988 WITH SCORE 65087.854
AT ITER 4153 NEW BEST:: SOT 524889 SOS 99784 HAS SOPS 99784 HAS SOUS 64918 HAS SOUPS 64918 WITH SCORE 65017.784
AT ITER 4175 NEW BEST:: SOT 524887 SOS 99780 HAS SOPS 99780 HAS SOUS 64914 HAS SOUPS 64914 WITH SCORE 65013.78
AT ITER 4187 NEW BEST:: SOT 524809 SOS 99737 HAS SOPS 99737 HAS SOUS 64758 HAS SOUPS 64758 WITH SCORE 64857.737
AT ITER 4193 NEW BEST:: SOT 524704 SOS 99527 HAS SOPS 99527 HAS SOUS 64754 HAS SOUPS 64754 WITH SCORE 64853.527
AT ITER 4235 NEW BEST:: SOT 524703 SOS 99522 HAS SOPS 99522 HAS SOUS 64752 HAS SOUPS 64752 WITH SCORE 64851.522
AT ITER 4243 NEW BEST:: SOT 524619 SOS 99354 HAS SOPS 99354 HAS SOUS 64599 HAS SOUPS 64599 WITH SCORE 64698.354
AT ITER 4400 NEW BEST:: SOT 524612 SOS 99340 HAS SOPS 99340 HAS SOUS 64585 HAS SOUPS 64585 WITH SCORE 64684.34
AT ITER 4410 NEW BEST:: SOT 524605 SOS 99326 HAS SOPS 99326 HAS SOUS 64578 HAS SOUPS 64578 WITH SCORE 64677.326
AT ITER 4415 NEW BEST:: SOT 524602 SOS 99320 HAS SOPS 99320 HAS SOUS 64575 HAS SOUPS 64575 WITH SCORE 64674.32
AT ITER 4444 NEW BEST:: SOT 524602 SOS 99235 HAS SOPS 99235 HAS SOUS 64575 HAS SOUPS 64575 WITH SCORE 64674.235
AT ITER 4456 NEW BEST:: SOT 524582 SOS 99237 HAS SOPS 99237 HAS SOUS 64556 HAS SOUPS 64556 WITH SCORE 64655.237
AT ITER 4457 NEW BEST:: SOT 524572 SOS 99217 HAS SOPS 99217 HAS SOUS 64546 HAS SOUPS 64546 WITH SCORE 64645.217
AT ITER 4481 NEW BEST:: SOT 524564 SOS 99201 HAS SOPS 99201 HAS SOUS 64530 HAS SOUPS 64530 WITH SCORE 64629.201
AT ITER 4491 NEW BEST:: SOT 524425 SOS 99187 HAS SOPS 99187 HAS SOUS 64479 HAS SOUPS 64479 WITH SCORE 64578.187
AT ITER 4493 NEW BEST:: SOT 524394 SOS 99073 HAS SOPS 99073 HAS SOUS 64381 HAS SOUPS 64381 WITH SCORE 64480.073
AT ITER 4498 NEW BEST:: SOT 524372 SOS 99051 HAS SOPS 99051 HAS SOUS 64359 HAS SOUPS 64359 WITH SCORE 64458.051
AT ITER 4508 NEW BEST:: SOT 524371 SOS 99049 HAS SOPS 99049 HAS SOUS 64357 HAS SOUPS 64357 WITH SCORE 64456.049
AT ITER 4531 NEW BEST:: SOT 524281 SOS 98869 HAS SOPS 98869 HAS SOUS 64288 HAS SOUPS 64288 WITH SCORE 64386.869
AT ITER 4540 NEW BEST:: SOT 524260 SOS 98889 HAS SOPS 98889 HAS SOUS 64287 HAS SOUPS 64287 WITH SCORE 64385.889
AT ITER 4551 NEW BEST:: SOT 524253 SOS 98875 HAS SOPS 98875 HAS SOUS 64273 HAS SOUPS 64273 WITH SCORE 64371.875
AT ITER 4553 NEW BEST:: SOT 524234 SOS 98837 HAS SOPS 98837 HAS SOUS 64235 HAS SOUPS 64235 WITH SCORE 64333.837
AT ITER 4557 NEW BEST:: SOT 524219 SOS 98807 HAS SOPS 98807 HAS SOUS 64205 HAS SOUPS 64205 WITH SCORE 64303.807
AT ITER 4621 NEW BEST:: SOT 524183 SOS 98713 HAS SOPS 98713 HAS SOUS 64133 HAS SOUPS 64133 WITH SCORE 64231.713
AT ITER 4631 NEW BEST:: SOT 524042 SOS 91945 HAS SOPS 91945 HAS SOUS 63851 HAS SOUPS 63851 WITH SCORE 63942.945
AT ITER 4658 NEW BEST:: SOT 524006 SOS 91873 HAS SOPS 91873 HAS SOUS 63815 HAS SOUPS 63815 WITH SCORE 63906.873
AT ITER 4704 NEW BEST:: SOT 523981 SOS 91823 HAS SOPS 91823 HAS SOUS 63765 HAS SOUPS 63765 WITH SCORE 63856.823
AT ITER 4741 NEW BEST:: SOT 523950 SOS 91725 HAS SOPS 91725 HAS SOUS 63703 HAS SOUPS 63703 WITH SCORE 63794.725
AT ITER 4830 NEW BEST:: SOT 523933 SOS 91691 HAS SOPS 91691 HAS SOUS 63669 HAS SOUPS 63669 WITH SCORE 63760.691
AT ITER 4831 NEW BEST:: SOT 523933 SOS 91618 HAS SOPS 91618 HAS SOUS 63669 HAS SOUPS 63669 WITH SCORE 63760.618
AT ITER 4841 NEW BEST:: SOT 523918 SOS 91588 HAS SOPS 91588 HAS SOUS 63639 HAS SOUPS 63639 WITH SCORE 63730.588
AT ITER 4876 NEW BEST:: SOT 523845 SOS 91442 HAS SOPS 91442 HAS SOUS 63566 HAS SOUPS 63566 WITH SCORE 63657.442
AT ITER 4954 NEW BEST:: SOT 523837 SOS 91434 HAS SOPS 91434 HAS SOUS 63558 HAS SOUPS 63558 WITH SCORE 63649.434
AT ITER 4970 NEW BEST:: SOT 523815 SOS 91390 HAS SOPS 91390 HAS SOUS 63525 HAS SOUPS 63525 WITH SCORE 63616.39
AT ITER 4978 NEW BEST:: SOT 523592 SOS 91524 HAS SOPS 91524 HAS SOUS 63500 HAS SOUPS 63500 WITH SCORE 63591.524
AT ITER 4981 NEW BEST:: SOT 523512 SOS 91364 HAS SOPS 91364 HAS SOUS 63347 HAS SOUPS 63347 WITH SCORE 63438.364
AT ITER 4985 NEW BEST:: SOT 523508 SOS 91356 HAS SOPS 91356 HAS SOUS 63339 HAS SOUPS 63339 WITH SCORE 63430.356
AT ITER 5007 NEW BEST:: SOT 523499 SOS 91338 HAS SOPS 91338 HAS SOUS 63321 HAS SOUPS 63321 WITH SCORE 63412.338
AT ITER 5109 NEW BEST:: SOT 523494 SOS 91328 HAS SOPS 91328 HAS SOUS 63311 HAS SOUPS 63311 WITH SCORE 63402.328
AT ITER 5120 NEW BEST:: SOT 523451 SOS 91242 HAS SOPS 91242 HAS SOUS 63225 HAS SOUPS 63225 WITH SCORE 63316.242
AT ITER 5122 NEW BEST:: SOT 523445 SOS 91236 HAS SOPS 91236 HAS SOUS 63197 HAS SOUPS 63197 WITH SCORE 63288.236
AT ITER 5147 NEW BEST:: SOT 523445 SOS 91261 HAS SOPS 91261 HAS SOUS 63053 HAS SOUPS 63053 WITH SCORE 63144.261
AT ITER 5177 NEW BEST:: SOT 523460 SOS 91365 HAS SOPS 91365 HAS SOUS 63021 HAS SOUPS 63021 WITH SCORE 63112.365
AT ITER 5264 NEW BEST:: SOT 523453 SOS 91387 HAS SOPS 91387 HAS SOUS 63020 HAS SOUPS 63020 WITH SCORE 63111.387
AT ITER 5299 NEW BEST:: SOT 523451 SOS 91383 HAS SOPS 91383 HAS SOUS 63016 HAS SOUPS 63016 WITH SCORE 63107.383
AT ITER 5395 NEW BEST:: SOT 523409 SOS 91299 HAS SOPS 91299 HAS SOUS 62932 HAS SOUPS 62932 WITH SCORE 63023.299
AT ITER 5496 NEW BEST:: SOT 523366 SOS 91213 HAS SOPS 91213 HAS SOUS 62841 HAS SOUPS 62841 WITH SCORE 62932.213
AT ITER 5504 NEW BEST:: SOT 523355 SOS 90685 HAS SOPS 90685 HAS SOUS 62819 HAS SOUPS 62819 WITH SCORE 62909.685
AT ITER 5510 NEW BEST:: SOT 523323 SOS 90587 HAS SOPS 90587 HAS SOUS 62721 HAS SOUPS 62721 WITH SCORE 62811.587
AT ITER 5534 NEW BEST:: SOT 523323 SOS 90586 HAS SOPS 90586 HAS SOUS 62721 HAS SOUPS 62721 WITH SCORE 62811.586
AT ITER 5551 NEW BEST:: SOT 523309 SOS 90558 HAS SOPS 90558 HAS SOUS 62693 HAS SOUPS 62693 WITH SCORE 62783.558
AT ITER 5609 NEW BEST:: SOT 523282 SOS 90504 HAS SOPS 90504 HAS SOUS 62639 HAS SOUPS 62639 WITH SCORE 62729.504
AT ITER 5616 NEW BEST:: SOT 523285 SOS 90500 HAS SOPS 90500 HAS SOUS 62635 HAS SOUPS 62635 WITH SCORE 62725.5
AT ITER 5634 NEW BEST:: SOT 523290 SOS 82162 HAS SOPS 82162 HAS SOUS 62636 HAS SOUPS 62636 WITH SCORE 62718.162
AT ITER 5686 NEW BEST:: SOT 523283 SOS 82148 HAS SOPS 82148 HAS SOUS 62622 HAS SOUPS 62622 WITH SCORE 62704.148
AT ITER 5691 NEW BEST:: SOT 523228 SOS 82038 HAS SOPS 82038 HAS SOUS 62512 HAS SOUPS 62512 WITH SCORE 62594.038
AT ITER 5704 NEW BEST:: SOT 523227 SOS 82036 HAS SOPS 82036 HAS SOUS 62510 HAS SOUPS 62510 WITH SCORE 62592.036
AT ITER 5735 NEW BEST:: SOT 523216 SOS 82014 HAS SOPS 82014 HAS SOUS 62488 HAS SOUPS 62488 WITH SCORE 62570.014
AT ITER 5740 NEW BEST:: SOT 523167 SOS 81916 HAS SOPS 81916 HAS SOUS 62439 HAS SOUPS 62439 WITH SCORE 62520.916
AT ITER 5767 NEW BEST:: SOT 523083 SOS 77692 HAS SOPS 77692 HAS SOUS 62271 HAS SOUPS 62271 WITH SCORE 62348.692
AT ITER 5792 NEW BEST:: SOT 523081 SOS 77685 HAS SOPS 77685 HAS SOUS 62264 HAS SOUPS 62264 WITH SCORE 62341.685
AT ITER 5828 NEW BEST:: SOT 523080 SOS 77683 HAS SOPS 77683 HAS SOUS 62262 HAS SOUPS 62262 WITH SCORE 62339.683
AT ITER 5922 NEW BEST:: SOT 523070 SOS 77663 HAS SOPS 77663 HAS SOUS 62242 HAS SOUPS 62242 WITH SCORE 62319.663
AT ITER 5950 NEW BEST:: SOT 523068 SOS 77659 HAS SOPS 77659 HAS SOUS 62238 HAS SOUPS 62238 WITH SCORE 62315.659
AT ITER 5954 NEW BEST:: SOT 523013 SOS 77604 HAS SOPS 77604 HAS SOUS 62183 HAS SOUPS 62183 WITH SCORE 62260.604
AT ITER 5961 NEW BEST:: SOT 522873 SOS 77324 HAS SOPS 77324 HAS SOUS 61986 HAS SOUPS 61986 WITH SCORE 62063.324
AT ITER 5963 NEW BEST:: SOT 522860 SOS 77298 HAS SOPS 77298 HAS SOUS 61960 HAS SOUPS 61960 WITH SCORE 62037.298
AT ITER 5975 NEW BEST:: SOT 522857 SOS 77292 HAS SOPS 77292 HAS SOUS 61954 HAS SOUPS 61954 WITH SCORE 62031.292
AT ITER 6084 NEW BEST:: SOT 522856 SOS 77290 HAS SOPS 77290 HAS SOUS 61952 HAS SOUPS 61952 WITH SCORE 62029.29
AT ITER 6093 NEW BEST:: SOT 522811 SOS 77200 HAS SOPS 77200 HAS SOUS 61862 HAS SOUPS 61862 WITH SCORE 61939.2
AT ITER 6108 NEW BEST:: SOT 522810 SOS 77214 HAS SOPS 77214 HAS SOUS 61861 HAS SOUPS 61861 WITH SCORE 61938.214
AT ITER 6109 NEW BEST:: SOT 522822 SOS 77238 HAS SOPS 77238 HAS SOUS 61838 HAS SOUPS 61838 WITH SCORE 61915.238
AT ITER 6123 NEW BEST:: SOT 522792 SOS 77178 HAS SOPS 77178 HAS SOUS 61778 HAS SOUPS 61778 WITH SCORE 61855.178
AT ITER 6202 NEW BEST:: SOT 522791 SOS 77177 HAS SOPS 77177 HAS SOUS 61776 HAS SOUPS 61776 WITH SCORE 61853.177
AT ITER 6252 NEW BEST:: SOT 522744 SOS 77083 HAS SOPS 77083 HAS SOUS 61719 HAS SOUPS 61719 WITH SCORE 61796.083
AT ITER 6264 NEW BEST:: SOT 522636 SOS 76867 HAS SOPS 76867 HAS SOUS 61641 HAS SOUPS 61641 WITH SCORE 61717.867
AT ITER 6281 NEW BEST:: SOT 522608 SOS 76811 HAS SOPS 76811 HAS SOUS 61585 HAS SOUPS 61585 WITH SCORE 61661.811
AT ITER 6295 NEW BEST:: SOT 522608 SOS 76777 HAS SOPS 76777 HAS SOUS 61551 HAS SOUPS 61551 WITH SCORE 61627.777
AT ITER 6326 NEW BEST:: SOT 522515 SOS 76591 HAS SOPS 76591 HAS SOUS 61458 HAS SOUPS 61458 WITH SCORE 61534.591
AT ITER 6335 NEW BEST:: SOT 522514 SOS 76589 HAS SOPS 76589 HAS SOUS 61456 HAS SOUPS 61456 WITH SCORE 61532.589
AT ITER 6348 NEW BEST:: SOT 522509 SOS 76584 HAS SOPS 76584 HAS SOUS 61446 HAS SOUPS 61446 WITH SCORE 61522.584
AT ITER 6360 NEW BEST:: SOT 522484 SOS 76534 HAS SOPS 76534 HAS SOUS 61396 HAS SOUPS 61396 WITH SCORE 61472.534
AT ITER 6383 NEW BEST:: SOT 522456 SOS 76363 HAS SOPS 76363 HAS SOUS 61340 HAS SOUPS 61340 WITH SCORE 61416.363
AT ITER 6392 NEW BEST:: SOT 522448 SOS 76347 HAS SOPS 76347 HAS SOUS 61324 HAS SOUPS 61324 WITH SCORE 61400.347
AT ITER 6403 NEW BEST:: SOT 522441 SOS 76333 HAS SOPS 76333 HAS SOUS 61310 HAS SOUPS 61310 WITH SCORE 61386.333
AT ITER 6407 NEW BEST:: SOT 522433 SOS 76317 HAS SOPS 76317 HAS SOUS 61294 HAS SOUPS 61294 WITH SCORE 61370.317
AT ITER 6409 NEW BEST:: SOT 522375 SOS 76243 HAS SOPS 76243 HAS SOUS 61250 HAS SOUPS 61250 WITH SCORE 61326.243
AT ITER 6412 NEW BEST:: SOT 522351 SOS 76195 HAS SOPS 76195 HAS SOUS 61178 HAS SOUPS 61178 WITH SCORE 61254.195
AT ITER 6424 NEW BEST:: SOT 522340 SOS 76141 HAS SOPS 76141 HAS SOUS 61155 HAS SOUPS 61155 WITH SCORE 61231.141
AT ITER 6451 NEW BEST:: SOT 522048 SOS 75776 HAS SOPS 75776 HAS SOUS 60863 HAS SOUPS 60863 WITH SCORE 60938.776
AT ITER 6475 NEW BEST:: SOT 521988 SOS 75656 HAS SOPS 75656 HAS SOUS 60781 HAS SOUPS 60781 WITH SCORE 60856.656
AT ITER 6549 NEW BEST:: SOT 521979 SOS 75638 HAS SOPS 75638 HAS SOUS 60763 HAS SOUPS 60763 WITH SCORE 60838.638
AT ITER 6684 NEW BEST:: SOT 521917 SOS 75514 HAS SOPS 75514 HAS SOUS 60701 HAS SOUPS 60701 WITH SCORE 60776.514
AT ITER 6685 NEW BEST:: SOT 521873 SOS 75448 HAS SOPS 75448 HAS SOUS 60657 HAS SOUPS 60657 WITH SCORE 60732.448
AT ITER 6688 NEW BEST:: SOT 521869 SOS 75440 HAS SOPS 75440 HAS SOUS 60653 HAS SOUPS 60653 WITH SCORE 60728.44
AT ITER 6703 NEW BEST:: SOT 521857 SOS 75386 HAS SOPS 75386 HAS SOUS 60599 HAS SOUPS 60599 WITH SCORE 60674.386
AT ITER 6705 NEW BEST:: SOT 521785 SOS 75362 HAS SOPS 75362 HAS SOUS 60535 HAS SOUPS 60535 WITH SCORE 60610.362
AT ITER 6724 NEW BEST:: SOT 521784 SOS 75360 HAS SOPS 75360 HAS SOUS 60533 HAS SOUPS 60533 WITH SCORE 60608.36
AT ITER 6751 NEW BEST:: SOT 521775 SOS 75368 HAS SOPS 75368 HAS SOUS 60522 HAS SOUPS 60522 WITH SCORE 60597.368
AT ITER 6840 NEW BEST:: SOT 521772 SOS 75363 HAS SOPS 75363 HAS SOUS 60520 HAS SOUPS 60520 WITH SCORE 60595.363
AT ITER 6859 NEW BEST:: SOT 521726 SOS 75188 HAS SOPS 75188 HAS SOUS 60428 HAS SOUPS 60428 WITH SCORE 60503.188
AT ITER 6910 NEW BEST:: SOT 521687 SOS 75110 HAS SOPS 75110 HAS SOUS 60350 HAS SOUPS 60350 WITH SCORE 60425.11
AT ITER 6914 NEW BEST:: SOT 521687 SOS 75110 HAS SOPS 75110 HAS SOUS 60321 HAS SOUPS 60321 WITH SCORE 60396.11
AT ITER 6921 NEW BEST:: SOT 521671 SOS 75078 HAS SOPS 75078 HAS SOUS 60289 HAS SOUPS 60289 WITH SCORE 60364.078
AT ITER 6926 NEW BEST:: SOT 521669 SOS 75074 HAS SOPS 75074 HAS SOUS 60285 HAS SOUPS 60285 WITH SCORE 60360.074
AT ITER 6934 NEW BEST:: SOT 521654 SOS 75044 HAS SOPS 75044 HAS SOUS 60255 HAS SOUPS 60255 WITH SCORE 60330.044
AT ITER 7145 NEW BEST:: SOT 521648 SOS 75032 HAS SOPS 75032 HAS SOUS 60243 HAS SOUPS 60243 WITH SCORE 60318.032
AT ITER 7150 NEW BEST:: SOT 521641 SOS 75018 HAS SOPS 75018 HAS SOUS 60229 HAS SOUPS 60229 WITH SCORE 60304.018
AT ITER 7155 NEW BEST:: SOT 521619 SOS 74974 HAS SOPS 74974 HAS SOUS 60207 HAS SOUPS 60207 WITH SCORE 60281.974
AT ITER 7182 NEW BEST:: SOT 521589 SOS 74903 HAS SOPS 74903 HAS SOUS 60150 HAS SOUPS 60150 WITH SCORE 60224.903
AT ITER 7215 NEW BEST:: SOT 521529 SOS 74783 HAS SOPS 74783 HAS SOUS 60106 HAS SOUPS 60106 WITH SCORE 60180.783
AT ITER 7222 NEW BEST:: SOT 521527 SOS 74779 HAS SOPS 74779 HAS SOUS 60102 HAS SOUPS 60102 WITH SCORE 60176.779
AT ITER 7227 NEW BEST:: SOT 521533 SOS 74791 HAS SOPS 74791 HAS SOUS 60094 HAS SOUPS 60094 WITH SCORE 60168.791
AT ITER 7245 NEW BEST:: SOT 521450 SOS 75147 HAS SOPS 75147 HAS SOUS 60070 HAS SOUPS 60070 WITH SCORE 60145.147
AT ITER 7252 NEW BEST:: SOT 521448 SOS 75143 HAS SOPS 75143 HAS SOUS 60068 HAS SOUPS 60068 WITH SCORE 60143.143
AT ITER 7262 NEW BEST:: SOT 521441 SOS 75122 HAS SOPS 75122 HAS SOUS 60054 HAS SOUPS 60054 WITH SCORE 60129.122
AT ITER 7312 NEW BEST:: SOT 521439 SOS 75118 HAS SOPS 75118 HAS SOUS 60050 HAS SOUPS 60050 WITH SCORE 60125.118
AT ITER 7358 NEW BEST:: SOT 521379 SOS 74998 HAS SOPS 74998 HAS SOUS 59930 HAS SOUPS 59930 WITH SCORE 60004.998
AT ITER 7366 NEW BEST:: SOT 521371 SOS 74982 HAS SOPS 74982 HAS SOUS 59914 HAS SOUPS 59914 WITH SCORE 59988.982
AT ITER 7374 NEW BEST:: SOT 521324 SOS 74888 HAS SOPS 74888 HAS SOUS 59820 HAS SOUPS 59820 WITH SCORE 59894.888
AT ITER 7441 NEW BEST:: SOT 521315 SOS 74870 HAS SOPS 74870 HAS SOUS 59802 HAS SOUPS 59802 WITH SCORE 59876.87
AT ITER 7468 NEW BEST:: SOT 521281 SOS 74802 HAS SOPS 74802 HAS SOUS 59734 HAS SOUPS 59734 WITH SCORE 59808.802
AT ITER 7475 NEW BEST:: SOT 521229 SOS 74698 HAS SOPS 74698 HAS SOUS 59665 HAS SOUPS 59665 WITH SCORE 59739.698
AT ITER 7481 NEW BEST:: SOT 521228 SOS 74696 HAS SOPS 74696 HAS SOUS 59663 HAS SOUPS 59663 WITH SCORE 59737.696
AT ITER 7491 NEW BEST:: SOT 521211 SOS 74662 HAS SOPS 74662 HAS SOUS 59629 HAS SOUPS 59629 WITH SCORE 59703.662
AT ITER 7611 NEW BEST:: SOT 521185 SOS 74610 HAS SOPS 74610 HAS SOUS 59577 HAS SOUPS 59577 WITH SCORE 59651.61
AT ITER 7642 NEW BEST:: SOT 521112 SOS 74464 HAS SOPS 74464 HAS SOUS 59560 HAS SOUPS 59560 WITH SCORE 59634.464
AT ITER 7656 NEW BEST:: SOT 521104 SOS 74448 HAS SOPS 74448 HAS SOUS 59544 HAS SOUPS 59544 WITH SCORE 59618.448
AT ITER 7694 NEW BEST:: SOT 521087 SOS 74474 HAS SOPS 74474 HAS SOUS 59536 HAS SOUPS 59536 WITH SCORE 59610.474
AT ITER 7740 NEW BEST:: SOT 521009 SOS 74464 HAS SOPS 74464 HAS SOUS 59524 HAS SOUPS 59524 WITH SCORE 59598.464
AT ITER 7747 NEW BEST:: SOT 521008 SOS 74462 HAS SOPS 74462 HAS SOUS 59522 HAS SOUPS 59522 WITH SCORE 59596.462
AT ITER 7749 NEW BEST:: SOT 520970 SOS 74386 HAS SOPS 74386 HAS SOUS 59484 HAS SOUPS 59484 WITH SCORE 59558.386
AT ITER 7760 NEW BEST:: SOT 520970 SOS 74304 HAS SOPS 74304 HAS SOUS 59484 HAS SOUPS 59484 WITH SCORE 59558.304
AT ITER 7770 NEW BEST:: SOT 520963 SOS 74290 HAS SOPS 74290 HAS SOUS 59470 HAS SOUPS 59470 WITH SCORE 59544.29
AT ITER 7775 NEW BEST:: SOT 520958 SOS 74280 HAS SOPS 74280 HAS SOUS 59460 HAS SOUPS 59460 WITH SCORE 59534.28
AT ITER 7783 NEW BEST:: SOT 520921 SOS 74267 HAS SOPS 74267 HAS SOUS 59386 HAS SOUPS 59386 WITH SCORE 59460.267
AT ITER 7799 NEW BEST:: SOT 520930 SOS 74285 HAS SOPS 74285 HAS SOUS 59352 HAS SOUPS 59352 WITH SCORE 59426.285
AT ITER 7829 NEW BEST:: SOT 520888 SOS 74201 HAS SOPS 74201 HAS SOUS 59329 HAS SOUPS 59329 WITH SCORE 59403.201
AT ITER 7854 NEW BEST:: SOT 520879 SOS 74183 HAS SOPS 74183 HAS SOUS 59311 HAS SOUPS 59311 WITH SCORE 59385.183
AT ITER 7936 NEW BEST:: SOT 520866 SOS 74157 HAS SOPS 74157 HAS SOUS 59298 HAS SOUPS 59298 WITH SCORE 59372.157
AT ITER 7953 NEW BEST:: SOT 520865 SOS 74155 HAS SOPS 74155 HAS SOUS 59296 HAS SOUPS 59296 WITH SCORE 59370.155
AT ITER 8070 NEW BEST:: SOT 520820 SOS 74065 HAS SOPS 74065 HAS SOUS 59251 HAS SOUPS 59251 WITH SCORE 59325.065
AT ITER 8072 NEW BEST:: SOT 520804 SOS 74034 HAS SOPS 74034 HAS SOUS 59219 HAS SOUPS 59219 WITH SCORE 59293.034
AT ITER 8115 NEW BEST:: SOT 520755 SOS 73936 HAS SOPS 73936 HAS SOUS 59121 HAS SOUPS 59121 WITH SCORE 59194.936
AT ITER 8124 NEW BEST:: SOT 520740 SOS 73936 HAS SOPS 73936 HAS SOUS 59114 HAS SOUPS 59114 WITH SCORE 59187.936
AT ITER 8136 NEW BEST:: SOT 520729 SOS 73965 HAS SOPS 73965 HAS SOUS 59092 HAS SOUPS 59092 WITH SCORE 59165.965
AT ITER 8148 NEW BEST:: SOT 520722 SOS 73951 HAS SOPS 73951 HAS SOUS 59078 HAS SOUPS 59078 WITH SCORE 59151.951
AT ITER 8149 NEW BEST:: SOT 520722 SOS 73924 HAS SOPS 73924 HAS SOUS 59078 HAS SOUPS 59078 WITH SCORE 59151.924
AT ITER 8156 NEW BEST:: SOT 520707 SOS 73879 HAS SOPS 73879 HAS SOUS 59048 HAS SOUPS 59048 WITH SCORE 59121.879
AT ITER 8186 NEW BEST:: SOT 520692 SOS 73849 HAS SOPS 73849 HAS SOUS 59018 HAS SOUPS 59018 WITH SCORE 59091.849
AT ITER 8197 NEW BEST:: SOT 520682 SOS 73829 HAS SOPS 73829 HAS SOUS 58998 HAS SOUPS 58998 WITH SCORE 59071.829
AT ITER 8204 NEW BEST:: SOT 520553 SOS 73571 HAS SOPS 73571 HAS SOUS 58869 HAS SOUPS 58869 WITH SCORE 58942.571
AT ITER 8282 NEW BEST:: SOT 520551 SOS 73567 HAS SOPS 73567 HAS SOUS 58865 HAS SOUPS 58865 WITH SCORE 58938.567
AT ITER 8294 NEW BEST:: SOT 520541 SOS 73547 HAS SOPS 73547 HAS SOUS 58845 HAS SOUPS 58845 WITH SCORE 58918.547
AT ITER 8382 NEW BEST:: SOT 520566 SOS 73597 HAS SOPS 73597 HAS SOUS 58811 HAS SOUPS 58811 WITH SCORE 58884.597
AT ITER 8385 NEW BEST:: SOT 520571 SOS 73492 HAS SOPS 73492 HAS SOUS 58706 HAS SOUPS 58706 WITH SCORE 58779.492
AT ITER 8490 NEW BEST:: SOT 520534 SOS 73418 HAS SOPS 73418 HAS SOUS 58669 HAS SOUPS 58669 WITH SCORE 58742.418
AT ITER 8501 NEW BEST:: SOT 520524 SOS 73398 HAS SOPS 73398 HAS SOUS 58649 HAS SOUPS 58649 WITH SCORE 58722.398
AT ITER 8571 NEW BEST:: SOT 520545 SOS 73440 HAS SOPS 73440 HAS SOUS 58635 HAS SOUPS 58635 WITH SCORE 58708.44
AT ITER 8735 NEW BEST:: SOT 520457 SOS 73264 HAS SOPS 73264 HAS SOUS 58459 HAS SOUPS 58459 WITH SCORE 58532.264
AT ITER 8745 NEW BEST:: SOT 520429 SOS 73208 HAS SOPS 73208 HAS SOUS 58403 HAS SOUPS 58403 WITH SCORE 58476.208
AT ITER 8754 NEW BEST:: SOT 520428 SOS 73151 HAS SOPS 73151 HAS SOUS 58401 HAS SOUPS 58401 WITH SCORE 58474.151
AT ITER 8775 NEW BEST:: SOT 520421 SOS 73137 HAS SOPS 73137 HAS SOUS 58387 HAS SOUPS 58387 WITH SCORE 58460.137
AT ITER 8786 NEW BEST:: SOT 520418 SOS 73131 HAS SOPS 73131 HAS SOUS 58381 HAS SOUPS 58381 WITH SCORE 58454.131
AT ITER 8900 NEW BEST:: SOT 520418 SOS 73131 HAS SOPS 73131 HAS SOUS 58371 HAS SOUPS 58371 WITH SCORE 58444.131
AT ITER 8928 NEW BEST:: SOT 520432 SOS 73159 HAS SOPS 73159 HAS SOUS 58368 HAS SOUPS 58368 WITH SCORE 58441.159
AT ITER 8952 NEW BEST:: SOT 520444 SOS 73128 HAS SOPS 73128 HAS SOUS 58337 HAS SOUPS 58337 WITH SCORE 58410.128
AT ITER 8968 NEW BEST:: SOT 520438 SOS 73116 HAS SOPS 73116 HAS SOUS 58325 HAS SOUPS 58325 WITH SCORE 58398.116
AT ITER 9077 NEW BEST:: SOT 520386 SOS 73016 HAS SOPS 73016 HAS SOUS 58257 HAS SOUPS 58257 WITH SCORE 58330.016
AT ITER 9112 NEW BEST:: SOT 520378 SOS 72936 HAS SOPS 72936 HAS SOUS 58241 HAS SOUPS 58241 WITH SCORE 58313.936
AT ITER 9177 NEW BEST:: SOT 520343 SOS 72866 HAS SOPS 72866 HAS SOUS 58171 HAS SOUPS 58171 WITH SCORE 58243.866
AT ITER 9284 NEW BEST:: SOT 520342 SOS 72864 HAS SOPS 72864 HAS SOUS 58169 HAS SOUPS 58169 WITH SCORE 58241.864
AT ITER 9309 NEW BEST:: SOT 520330 SOS 72840 HAS SOPS 72840 HAS SOUS 58145 HAS SOUPS 58145 WITH SCORE 58217.84
AT ITER 9332 NEW BEST:: SOT 520323 SOS 72826 HAS SOPS 72826 HAS SOUS 58131 HAS SOUPS 58131 WITH SCORE 58203.826
AT ITER 9354 NEW BEST:: SOT 520311 SOS 72760 HAS SOPS 72760 HAS SOUS 58121 HAS SOUPS 58121 WITH SCORE 58193.76
AT ITER 9427 NEW BEST:: SOT 520305 SOS 72748 HAS SOPS 72748 HAS SOUS 58109 HAS SOUPS 58109 WITH SCORE 58181.748
AT ITER 9483 NEW BEST:: SOT 520277 SOS 72692 HAS SOPS 72692 HAS SOUS 58081 HAS SOUPS 58081 WITH SCORE 58153.692
AT ITER 9495 NEW BEST:: SOT 520272 SOS 72682 HAS SOPS 72682 HAS SOUS 58076 HAS SOUPS 58076 WITH SCORE 58148.682
AT ITER 9516 NEW BEST:: SOT 520268 SOS 72674 HAS SOPS 72674 HAS SOUS 58068 HAS SOUPS 58068 WITH SCORE 58140.674
AT ITER 9559 NEW BEST:: SOT 520268 SOS 72667 HAS SOPS 72667 HAS SOUS 58068 HAS SOUPS 58068 WITH SCORE 58140.667
AT ITER 9566 NEW BEST:: SOT 520256 SOS 72643 HAS SOPS 72643 HAS SOUS 58044 HAS SOUPS 58044 WITH SCORE 58116.643
AT ITER 9577 NEW BEST:: SOT 520207 SOS 72594 HAS SOPS 72594 HAS SOUS 57946 HAS SOUPS 57946 WITH SCORE 58018.594
AT ITER 9615 NEW BEST:: SOT 520151 SOS 72408 HAS SOPS 72408 HAS SOUS 57834 HAS SOUPS 57834 WITH SCORE 57906.408
AT ITER 9644 NEW BEST:: SOT 520133 SOS 72408 HAS SOPS 72408 HAS SOUS 57816 HAS SOUPS 57816 WITH SCORE 57888.408
AT ITER 9664 NEW BEST:: SOT 520107 SOS 72346 HAS SOPS 72346 HAS SOUS 57764 HAS SOUPS 57764 WITH SCORE 57836.346
AT ITER 9667 NEW BEST:: SOT 520050 SOS 72232 HAS SOPS 72232 HAS SOUS 57698 HAS SOUPS 57698 WITH SCORE 57770.232
AT ITER 9676 NEW BEST:: SOT 520044 SOS 72211 HAS SOPS 72211 HAS SOUS 57684 HAS SOUPS 57684 WITH SCORE 57756.211
AT ITER 9710 NEW BEST:: SOT 520024 SOS 72201 HAS SOPS 72201 HAS SOUS 57669 HAS SOUPS 57669 WITH SCORE 57741.201
AT ITER 9729 NEW BEST:: SOT 520003 SOS 72159 HAS SOPS 72159 HAS SOUS 57627 HAS SOUPS 57627 WITH SCORE 57699.159
AT ITER 9750 NEW BEST:: SOT 519981 SOS 72115 HAS SOPS 72115 HAS SOUS 57583 HAS SOUPS 57583 WITH SCORE 57655.115
AT ITER 9777 NEW BEST:: SOT 519981 SOS 72115 HAS SOPS 72115 HAS SOUS 57576 HAS SOUPS 57576 WITH SCORE 57648.115
AT ITER 9791 NEW BEST:: SOT 519919 SOS 71991 HAS SOPS 71991 HAS SOUS 57552 HAS SOUPS 57552 WITH SCORE 57623.991
AT ITER 9821 NEW BEST:: SOT 519916 SOS 71985 HAS SOPS 71985 HAS SOUS 57546 HAS SOUPS 57546 WITH SCORE 57617.985
AT ITER 9838 NEW BEST:: SOT 519890 SOS 71933 HAS SOPS 71933 HAS SOUS 57494 HAS SOUPS 57494 WITH SCORE 57565.933
AT ITER 9896 NEW BEST:: SOT 519847 SOS 71847 HAS SOPS 71847 HAS SOUS 57408 HAS SOUPS 57408 WITH SCORE 57479.847
AT ITER 9943 NEW BEST:: SOT 519840 SOS 71833 HAS SOPS 71833 HAS SOUS 57394 HAS SOUPS 57394 WITH SCORE 57465.833
AT ITER 9947 NEW BEST:: SOT 519839 SOS 71831 HAS SOPS 71831 HAS SOUS 57392 HAS SOUPS 57392 WITH SCORE 57463.831
AT ITER 9958 NEW BEST:: SOT 519839 SOS 71831 HAS SOPS 71831 HAS SOUS 57378 HAS SOUPS 57378 WITH SCORE 57449.831
AT ITER 9990 NEW BEST:: SOT 519813 SOS 71779 HAS SOPS 71779 HAS SOUS 57326 HAS SOUPS 57326 WITH SCORE 57397.779
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8325212 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149640 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="StigmergyCommit-PT-02b"
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 StigmergyCommit-PT-02b, 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 r451-smll-167912643500408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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