Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470301008.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVt-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470301008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 3.3K May 14 02:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 02:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 20:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 20:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 27K May 12 20:42 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 1590454111132

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

Filename model.pnml
Petri model created: 83 places, 83 transitions, 346 arcs.
AT ITER 0 NEW BEST:: SOT 5401 SOS 4075 HAS SOPS 4075 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.075
AT ITER 1 NEW BEST:: SOT 5425 SOS 4099 HAS SOPS 4099 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.099
AT ITER 2 NEW BEST:: SOT 5406 SOS 4081 HAS SOPS 4081 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.081
AT ITER 4 NEW BEST:: SOT 5385 SOS 4057 HAS SOPS 4057 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3721.057
AT ITER 5 NEW BEST:: SOT 5359 SOS 4012 HAS SOPS 4012 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3677.012
AT ITER 6 NEW BEST:: SOT 5356 SOS 4009 HAS SOPS 4009 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3674.009
AT ITER 10 NEW BEST:: SOT 5355 SOS 4008 HAS SOPS 4008 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.008
AT ITER 11 NEW BEST:: SOT 5314 SOS 3879 HAS SOPS 3879 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3588.879
AT ITER 12 NEW BEST:: SOT 5303 SOS 3857 HAS SOPS 3857 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3562.857
AT ITER 13 NEW BEST:: SOT 5277 SOS 3808 HAS SOPS 3808 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3493.808
AT ITER 15 NEW BEST:: SOT 5259 SOS 3775 HAS SOPS 3775 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3445.775
AT ITER 19 NEW BEST:: SOT 5248 SOS 3737 HAS SOPS 3737 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3411.737
AT ITER 20 NEW BEST:: SOT 5220 SOS 3687 HAS SOPS 3687 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3361.687
AT ITER 21 NEW BEST:: SOT 5207 SOS 3664 HAS SOPS 3664 HAS SOUS 3325 HAS SOUPS 3325 WITH SCORE 3328.664
AT ITER 23 NEW BEST:: SOT 5165 SOS 3587 HAS SOPS 3587 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.587
AT ITER 24 NEW BEST:: SOT 5165 SOS 3565 HAS SOPS 3565 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.565
AT ITER 25 NEW BEST:: SOT 5136 SOS 3536 HAS SOPS 3536 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.536
AT ITER 27 NEW BEST:: SOT 5121 SOS 3509 HAS SOPS 3509 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.509
AT ITER 28 NEW BEST:: SOT 5093 SOS 3453 HAS SOPS 3453 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.453
AT ITER 32 NEW BEST:: SOT 5084 SOS 3452 HAS SOPS 3452 HAS SOUS 3136 HAS SOUPS 3136 WITH SCORE 3139.452
AT ITER 34 NEW BEST:: SOT 5069 SOS 3436 HAS SOPS 3436 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3136.436
AT ITER 35 NEW BEST:: SOT 5066 SOS 3438 HAS SOPS 3438 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.438
AT ITER 39 NEW BEST:: SOT 5035 SOS 3369 HAS SOPS 3369 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.369
AT ITER 43 NEW BEST:: SOT 5042 SOS 3336 HAS SOPS 3336 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.336
AT ITER 52 NEW BEST:: SOT 5033 SOS 3280 HAS SOPS 3280 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.28
AT ITER 53 NEW BEST:: SOT 5048 SOS 3253 HAS SOPS 3253 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2994.253
AT ITER 57 NEW BEST:: SOT 5042 SOS 3248 HAS SOPS 3248 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.248
AT ITER 59 NEW BEST:: SOT 5025 SOS 3208 HAS SOPS 3208 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2943.208
AT ITER 62 NEW BEST:: SOT 5030 SOS 3213 HAS SOPS 3213 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2933.213
AT ITER 63 NEW BEST:: SOT 5027 SOS 3199 HAS SOPS 3199 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.199
AT ITER 68 NEW BEST:: SOT 5024 SOS 3196 HAS SOPS 3196 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2926.196
AT ITER 70 NEW BEST:: SOT 5014 SOS 3181 HAS SOPS 3181 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.181
AT ITER 71 NEW BEST:: SOT 4978 SOS 3113 HAS SOPS 3113 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.113
AT ITER 72 NEW BEST:: SOT 4906 SOS 3005 HAS SOPS 3005 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.005
AT ITER 78 NEW BEST:: SOT 4864 SOS 2919 HAS SOPS 2919 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2631.919
AT ITER 79 NEW BEST:: SOT 4840 SOS 2871 HAS SOPS 2871 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.871
AT ITER 83 NEW BEST:: SOT 4804 SOS 2803 HAS SOPS 2803 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.803
AT ITER 89 NEW BEST:: SOT 4799 SOS 2795 HAS SOPS 2795 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2540.795
AT ITER 91 NEW BEST:: SOT 4798 SOS 2790 HAS SOPS 2790 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.79
AT ITER 97 NEW BEST:: SOT 4787 SOS 2769 HAS SOPS 2769 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2510.769
AT ITER 99 NEW BEST:: SOT 4716 SOS 2706 HAS SOPS 2706 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2502.706
AT ITER 100 NEW BEST:: SOT 4723 SOS 2719 HAS SOPS 2719 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.719
AT ITER 104 NEW BEST:: SOT 4719 SOS 2708 HAS SOPS 2708 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.708
AT ITER 106 NEW BEST:: SOT 4719 SOS 2728 HAS SOPS 2728 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.728
AT ITER 108 NEW BEST:: SOT 4725 SOS 2725 HAS SOPS 2725 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.725
AT ITER 119 NEW BEST:: SOT 4721 SOS 2723 HAS SOPS 2723 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2476.723
AT ITER 124 NEW BEST:: SOT 4667 SOS 2651 HAS SOPS 2651 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.651
AT ITER 130 NEW BEST:: SOT 4664 SOS 2647 HAS SOPS 2647 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.647
AT ITER 131 NEW BEST:: SOT 4673 SOS 2607 HAS SOPS 2607 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.607
AT ITER 133 NEW BEST:: SOT 4673 SOS 2636 HAS SOPS 2636 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.636
AT ITER 134 NEW BEST:: SOT 4667 SOS 2630 HAS SOPS 2630 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.63
AT ITER 140 NEW BEST:: SOT 4665 SOS 2627 HAS SOPS 2627 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.627
AT ITER 141 NEW BEST:: SOT 4665 SOS 2621 HAS SOPS 2621 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.621
AT ITER 147 NEW BEST:: SOT 4633 SOS 2593 HAS SOPS 2593 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.593
AT ITER 148 NEW BEST:: SOT 4617 SOS 2569 HAS SOPS 2569 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.569
AT ITER 150 NEW BEST:: SOT 4608 SOS 2560 HAS SOPS 2560 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.56
AT ITER 152 NEW BEST:: SOT 4600 SOS 2544 HAS SOPS 2544 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.544
AT ITER 155 NEW BEST:: SOT 4597 SOS 2541 HAS SOPS 2541 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.541
AT ITER 159 NEW BEST:: SOT 4598 SOS 2534 HAS SOPS 2534 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.534
AT ITER 164 NEW BEST:: SOT 4593 SOS 2562 HAS SOPS 2562 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.562
AT ITER 177 NEW BEST:: SOT 4551 SOS 2526 HAS SOPS 2526 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2256.526
AT ITER 178 NEW BEST:: SOT 4542 SOS 2496 HAS SOPS 2496 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.496
AT ITER 180 NEW BEST:: SOT 4530 SOS 2489 HAS SOPS 2489 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.489
AT ITER 190 NEW BEST:: SOT 4487 SOS 2406 HAS SOPS 2406 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.406
AT ITER 192 NEW BEST:: SOT 4483 SOS 2381 HAS SOPS 2381 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.381
AT ITER 197 NEW BEST:: SOT 4474 SOS 2352 HAS SOPS 2352 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.352
AT ITER 205 NEW BEST:: SOT 4468 SOS 2346 HAS SOPS 2346 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2110.346
AT ITER 206 NEW BEST:: SOT 4461 SOS 2330 HAS SOPS 2330 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.33
AT ITER 211 NEW BEST:: SOT 4467 SOS 2329 HAS SOPS 2329 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2093.329
AT ITER 220 NEW BEST:: SOT 4467 SOS 2330 HAS SOPS 2330 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2092.33
AT ITER 221 NEW BEST:: SOT 4467 SOS 2328 HAS SOPS 2328 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2092.328
AT ITER 229 NEW BEST:: SOT 4464 SOS 2320 HAS SOPS 2320 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.32
AT ITER 230 NEW BEST:: SOT 4445 SOS 2301 HAS SOPS 2301 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.301
AT ITER 232 NEW BEST:: SOT 4433 SOS 2288 HAS SOPS 2288 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2047.288
AT ITER 239 NEW BEST:: SOT 4432 SOS 2285 HAS SOPS 2285 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.285
AT ITER 250 NEW BEST:: SOT 4417 SOS 2240 HAS SOPS 2240 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.24
AT ITER 252 NEW BEST:: SOT 4414 SOS 2229 HAS SOPS 2229 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2011.229
AT ITER 259 NEW BEST:: SOT 4414 SOS 2230 HAS SOPS 2230 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2010.23
AT ITER 262 NEW BEST:: SOT 4408 SOS 2176 HAS SOPS 2176 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.176
AT ITER 269 NEW BEST:: SOT 4405 SOS 2172 HAS SOPS 2172 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.172
AT ITER 271 NEW BEST:: SOT 4405 SOS 2161 HAS SOPS 2161 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.161
AT ITER 299 NEW BEST:: SOT 4387 SOS 2115 HAS SOPS 2115 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.115
AT ITER 300 NEW BEST:: SOT 4387 SOS 2128 HAS SOPS 2128 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.128
AT ITER 307 NEW BEST:: SOT 4377 SOS 2122 HAS SOPS 2122 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.122
AT ITER 311 NEW BEST:: SOT 4359 SOS 2088 HAS SOPS 2088 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.088
AT ITER 321 NEW BEST:: SOT 4359 SOS 2088 HAS SOPS 2088 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.088
AT ITER 327 NEW BEST:: SOT 4368 SOS 2097 HAS SOPS 2097 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.097
AT ITER 332 NEW BEST:: SOT 4368 SOS 2093 HAS SOPS 2093 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.093
AT ITER 343 NEW BEST:: SOT 4368 SOS 2077 HAS SOPS 2077 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.077
AT ITER 353 NEW BEST:: SOT 4367 SOS 2074 HAS SOPS 2074 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1848.074
AT ITER 360 NEW BEST:: SOT 4364 SOS 2071 HAS SOPS 2071 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1845.071
AT ITER 379 NEW BEST:: SOT 4333 SOS 2026 HAS SOPS 2026 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.026
AT ITER 389 NEW BEST:: SOT 4342 SOS 2052 HAS SOPS 2052 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1797.052
AT ITER 403 NEW BEST:: SOT 4342 SOS 2080 HAS SOPS 2080 HAS SOUS 1792 HAS SOUPS 1792 WITH SCORE 1794.08
AT ITER 411 NEW BEST:: SOT 4327 SOS 2055 HAS SOPS 2055 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1769.055
AT ITER 414 NEW BEST:: SOT 4313 SOS 2033 HAS SOPS 2033 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1747.033
AT ITER 418 NEW BEST:: SOT 4313 SOS 2031 HAS SOPS 2031 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1745.031
AT ITER 420 NEW BEST:: SOT 4315 SOS 2017 HAS SOPS 2017 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1744.017
AT ITER 424 NEW BEST:: SOT 4311 SOS 2011 HAS SOPS 2011 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1738.011
AT ITER 428 NEW BEST:: SOT 4302 SOS 2002 HAS SOPS 2002 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1738.002
AT ITER 442 NEW BEST:: SOT 4293 SOS 1968 HAS SOPS 1968 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.968
AT ITER 446 NEW BEST:: SOT 4288 SOS 1963 HAS SOPS 1963 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.963
AT ITER 449 NEW BEST:: SOT 4284 SOS 1959 HAS SOPS 1959 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.959
AT ITER 468 NEW BEST:: SOT 4284 SOS 1958 HAS SOPS 1958 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.958
AT ITER 469 NEW BEST:: SOT 4284 SOS 1946 HAS SOPS 1946 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.946
AT ITER 473 NEW BEST:: SOT 4282 SOS 1960 HAS SOPS 1960 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1675.96
AT ITER 479 NEW BEST:: SOT 4278 SOS 1946 HAS SOPS 1946 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.946
AT ITER 484 NEW BEST:: SOT 4254 SOS 1914 HAS SOPS 1914 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1641.914
AT ITER 492 NEW BEST:: SOT 4240 SOS 1900 HAS SOPS 1900 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.9
AT ITER 539 NEW BEST:: SOT 4239 SOS 1897 HAS SOPS 1897 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.897
AT ITER 545 NEW BEST:: SOT 4223 SOS 1827 HAS SOPS 1827 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1575.827
AT ITER 547 NEW BEST:: SOT 4223 SOS 1823 HAS SOPS 1823 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1575.823
AT ITER 556 NEW BEST:: SOT 4219 SOS 1815 HAS SOPS 1815 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1566.815
AT ITER 560 NEW BEST:: SOT 4213 SOS 1803 HAS SOPS 1803 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1557.803
AT ITER 577 NEW BEST:: SOT 4203 SOS 1784 HAS SOPS 1784 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1538.784
AT ITER 597 NEW BEST:: SOT 4194 SOS 1775 HAS SOPS 1775 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1528.775
AT ITER 600 NEW BEST:: SOT 4188 SOS 1763 HAS SOPS 1763 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1517.763
AT ITER 602 NEW BEST:: SOT 4188 SOS 1762 HAS SOPS 1762 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1517.762
AT ITER 633 NEW BEST:: SOT 4185 SOS 1759 HAS SOPS 1759 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.759
AT ITER 665 NEW BEST:: SOT 4177 SOS 1748 HAS SOPS 1748 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1503.748
AT ITER 679 NEW BEST:: SOT 4175 SOS 1738 HAS SOPS 1738 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.738
AT ITER 685 NEW BEST:: SOT 4168 SOS 1718 HAS SOPS 1718 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.718
AT ITER 709 NEW BEST:: SOT 4166 SOS 1712 HAS SOPS 1712 HAS SOUS 1482 HAS SOUPS 1482 WITH SCORE 1483.712
AT ITER 714 NEW BEST:: SOT 4166 SOS 1711 HAS SOPS 1711 HAS SOUS 1482 HAS SOUPS 1482 WITH SCORE 1483.711
AT ITER 727 NEW BEST:: SOT 4164 SOS 1709 HAS SOPS 1709 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1481.709
AT ITER 745 NEW BEST:: SOT 4158 SOS 1702 HAS SOPS 1702 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1469.702
AT ITER 751 NEW BEST:: SOT 4157 SOS 1700 HAS SOPS 1700 HAS SOUS 1467 HAS SOUPS 1467 WITH SCORE 1468.7
AT ITER 755 NEW BEST:: SOT 4153 SOS 1686 HAS SOPS 1686 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1460.686
AT ITER 764 NEW BEST:: SOT 4141 SOS 1674 HAS SOPS 1674 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1446.674
AT ITER 773 NEW BEST:: SOT 4137 SOS 1662 HAS SOPS 1662 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1434.662
AT ITER 791 NEW BEST:: SOT 4136 SOS 1662 HAS SOPS 1662 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.662
AT ITER 798 NEW BEST:: SOT 4123 SOS 1651 HAS SOPS 1651 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.651
AT ITER 809 NEW BEST:: SOT 4120 SOS 1641 HAS SOPS 1641 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1412.641
AT ITER 824 NEW BEST:: SOT 4116 SOS 1637 HAS SOPS 1637 HAS SOUS 1407 HAS SOUPS 1407 WITH SCORE 1408.637
AT ITER 838 NEW BEST:: SOT 4106 SOS 1617 HAS SOPS 1617 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.617
AT ITER 843 NEW BEST:: SOT 4106 SOS 1613 HAS SOPS 1613 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.613
AT ITER 858 NEW BEST:: SOT 4104 SOS 1608 HAS SOPS 1608 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1386.608
AT ITER 864 NEW BEST:: SOT 4102 SOS 1604 HAS SOPS 1604 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.604
AT ITER 874 NEW BEST:: SOT 4090 SOS 1580 HAS SOPS 1580 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1366.58
AT ITER 877 NEW BEST:: SOT 4084 SOS 1563 HAS SOPS 1563 HAS SOUS 1352 HAS SOUPS 1352 WITH SCORE 1353.563
AT ITER 900 NEW BEST:: SOT 4083 SOS 1556 HAS SOPS 1556 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1347.556
AT ITER 912 NEW BEST:: SOT 4081 SOS 1552 HAS SOPS 1552 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1346.552
AT ITER 918 NEW BEST:: SOT 4076 SOS 1546 HAS SOPS 1546 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.546
AT ITER 920 NEW BEST:: SOT 4075 SOS 1538 HAS SOPS 1538 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.538
AT ITER 930 NEW BEST:: SOT 4071 SOS 1535 HAS SOPS 1535 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1334.535
AT ITER 931 NEW BEST:: SOT 4061 SOS 1522 HAS SOPS 1522 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.522
AT ITER 976 NEW BEST:: SOT 4045 SOS 1491 HAS SOPS 1491 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1295.491
AT ITER 986 NEW BEST:: SOT 4044 SOS 1490 HAS SOPS 1490 HAS SOUS 1293 HAS SOUPS 1293 WITH SCORE 1294.49
AT ITER 989 NEW BEST:: SOT 4041 SOS 1486 HAS SOPS 1486 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.486
AT ITER 1007 NEW BEST:: SOT 4040 SOS 1471 HAS SOPS 1471 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.471
AT ITER 1010 NEW BEST:: SOT 4036 SOS 1469 HAS SOPS 1469 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1283.469
AT ITER 1019 NEW BEST:: SOT 4043 SOS 1476 HAS SOPS 1476 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1279.476
AT ITER 1028 NEW BEST:: SOT 4016 SOS 1455 HAS SOPS 1455 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1263.455
AT ITER 1051 NEW BEST:: SOT 4016 SOS 1448 HAS SOPS 1448 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1263.448
AT ITER 1059 NEW BEST:: SOT 4016 SOS 1447 HAS SOPS 1447 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1262.447
AT ITER 1080 NEW BEST:: SOT 4017 SOS 1455 HAS SOPS 1455 HAS SOUS 1259 HAS SOUPS 1259 WITH SCORE 1260.455
AT ITER 1138 NEW BEST:: SOT 4017 SOS 1455 HAS SOPS 1455 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.455
AT ITER 1139 NEW BEST:: SOT 4016 SOS 1462 HAS SOPS 1462 HAS SOUS 1252 HAS SOUPS 1252 WITH SCORE 1253.462
AT ITER 1153 NEW BEST:: SOT 4012 SOS 1452 HAS SOPS 1452 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.452
AT ITER 1156 NEW BEST:: SOT 4011 SOS 1452 HAS SOPS 1452 HAS SOUS 1243 HAS SOUPS 1243 WITH SCORE 1244.452
AT ITER 1172 NEW BEST:: SOT 4004 SOS 1443 HAS SOPS 1443 HAS SOUS 1237 HAS SOUPS 1237 WITH SCORE 1238.443
AT ITER 1187 NEW BEST:: SOT 4000 SOS 1428 HAS SOPS 1428 HAS SOUS 1228 HAS SOUPS 1228 WITH SCORE 1229.428
AT ITER 1226 NEW BEST:: SOT 3998 SOS 1423 HAS SOPS 1423 HAS SOUS 1223 HAS SOUPS 1223 WITH SCORE 1224.423
AT ITER 1247 NEW BEST:: SOT 3991 SOS 1421 HAS SOPS 1421 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.421
AT ITER 1268 NEW BEST:: SOT 3990 SOS 1414 HAS SOPS 1414 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.414
AT ITER 1275 NEW BEST:: SOT 3988 SOS 1412 HAS SOPS 1412 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.412
AT ITER 1278 NEW BEST:: SOT 3987 SOS 1407 HAS SOPS 1407 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.407
AT ITER 1349 NEW BEST:: SOT 3987 SOS 1405 HAS SOPS 1405 HAS SOUS 1213 HAS SOUPS 1213 WITH SCORE 1214.405
AT ITER 1401 NEW BEST:: SOT 3987 SOS 1404 HAS SOPS 1404 HAS SOUS 1212 HAS SOUPS 1212 WITH SCORE 1213.404
AT ITER 1430 NEW BEST:: SOT 3979 SOS 1388 HAS SOPS 1388 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1197.388
AT ITER 1494 NEW BEST:: SOT 3977 SOS 1383 HAS SOPS 1383 HAS SOUS 1192 HAS SOUPS 1192 WITH SCORE 1193.383
AT ITER 1518 NEW BEST:: SOT 3976 SOS 1381 HAS SOPS 1381 HAS SOUS 1191 HAS SOUPS 1191 WITH SCORE 1192.381
AT ITER 1629 NEW BEST:: SOT 3976 SOS 1377 HAS SOPS 1377 HAS SOUS 1191 HAS SOUPS 1191 WITH SCORE 1192.377
AT ITER 1721 NEW BEST:: SOT 3969 SOS 1368 HAS SOPS 1368 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1180.368
AT ITER 1776 NEW BEST:: SOT 3969 SOS 1369 HAS SOPS 1369 HAS SOUS 1178 HAS SOUPS 1178 WITH SCORE 1179.369
AT ITER 1787 NEW BEST:: SOT 3964 SOS 1361 HAS SOPS 1361 HAS SOUS 1170 HAS SOUPS 1170 WITH SCORE 1171.361
AT ITER 1792 NEW BEST:: SOT 3966 SOS 1364 HAS SOPS 1364 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.364
AT ITER 1829 NEW BEST:: SOT 3966 SOS 1364 HAS SOPS 1364 HAS SOUS 1167 HAS SOUPS 1167 WITH SCORE 1168.364
AT ITER 1858 NEW BEST:: SOT 3963 SOS 1340 HAS SOPS 1340 HAS SOUS 1153 HAS SOUPS 1153 WITH SCORE 1154.34
AT ITER 1907 NEW BEST:: SOT 3957 SOS 1330 HAS SOPS 1330 HAS SOUS 1147 HAS SOUPS 1147 WITH SCORE 1148.33
AT ITER 1912 NEW BEST:: SOT 3957 SOS 1327 HAS SOPS 1327 HAS SOUS 1144 HAS SOUPS 1144 WITH SCORE 1145.327
AT ITER 1945 NEW BEST:: SOT 3956 SOS 1321 HAS SOPS 1321 HAS SOUS 1140 HAS SOUPS 1140 WITH SCORE 1141.321
AT ITER 1978 NEW BEST:: SOT 3953 SOS 1316 HAS SOPS 1316 HAS SOUS 1136 HAS SOUPS 1136 WITH SCORE 1137.316
AT ITER 2091 NEW BEST:: SOT 3951 SOS 1298 HAS SOPS 1298 HAS SOUS 1135 HAS SOUPS 1135 WITH SCORE 1136.298
AT ITER 2119 NEW BEST:: SOT 3944 SOS 1289 HAS SOPS 1289 HAS SOUS 1122 HAS SOUPS 1122 WITH SCORE 1123.289
AT ITER 2137 NEW BEST:: SOT 3945 SOS 1288 HAS SOPS 1288 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1120.288
AT ITER 2196 NEW BEST:: SOT 3935 SOS 1276 HAS SOPS 1276 HAS SOUS 1106 HAS SOUPS 1106 WITH SCORE 1107.276
AT ITER 2255 NEW BEST:: SOT 3934 SOS 1273 HAS SOPS 1273 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1104.273
AT ITER 2384 NEW BEST:: SOT 3933 SOS 1273 HAS SOPS 1273 HAS SOUS 1101 HAS SOUPS 1101 WITH SCORE 1102.273
AT ITER 2391 NEW BEST:: SOT 3930 SOS 1266 HAS SOPS 1266 HAS SOUS 1097 HAS SOUPS 1097 WITH SCORE 1098.266
AT ITER 2402 NEW BEST:: SOT 3927 SOS 1260 HAS SOPS 1260 HAS SOUS 1093 HAS SOUPS 1093 WITH SCORE 1094.26
AT ITER 2419 NEW BEST:: SOT 3912 SOS 1243 HAS SOPS 1243 HAS SOUS 1074 HAS SOUPS 1074 WITH SCORE 1075.243
AT ITER 2448 NEW BEST:: SOT 3909 SOS 1242 HAS SOPS 1242 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.242
AT ITER 2476 NEW BEST:: SOT 3901 SOS 1226 HAS SOPS 1226 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.226
AT ITER 2532 NEW BEST:: SOT 3895 SOS 1216 HAS SOPS 1216 HAS SOUS 1053 HAS SOUPS 1053 WITH SCORE 1054.216
AT ITER 2668 NEW BEST:: SOT 3892 SOS 1211 HAS SOPS 1211 HAS SOUS 1050 HAS SOUPS 1050 WITH SCORE 1051.211
AT ITER 2716 NEW BEST:: SOT 3890 SOS 1208 HAS SOPS 1208 HAS SOUS 1047 HAS SOUPS 1047 WITH SCORE 1048.208
AT ITER 2767 NEW BEST:: SOT 3890 SOS 1208 HAS SOPS 1208 HAS SOUS 1046 HAS SOUPS 1046 WITH SCORE 1047.208
AT ITER 2776 NEW BEST:: SOT 3887 SOS 1203 HAS SOPS 1203 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1041.203
AT ITER 2856 NEW BEST:: SOT 3886 SOS 1199 HAS SOPS 1199 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1037.199
AT ITER 2911 NEW BEST:: SOT 3883 SOS 1195 HAS SOPS 1195 HAS SOUS 1032 HAS SOUPS 1032 WITH SCORE 1033.195
AT ITER 2919 NEW BEST:: SOT 3884 SOS 1194 HAS SOPS 1194 HAS SOUS 1029 HAS SOUPS 1029 WITH SCORE 1030.194
AT ITER 2923 NEW BEST:: SOT 3883 SOS 1192 HAS SOPS 1192 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1028.192
AT ITER 3011 NEW BEST:: SOT 3881 SOS 1188 HAS SOPS 1188 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.188
AT ITER 3161 NEW BEST:: SOT 3880 SOS 1183 HAS SOPS 1183 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1023.183
AT ITER 3203 NEW BEST:: SOT 3874 SOS 1171 HAS SOPS 1171 HAS SOUS 1014 HAS SOUPS 1014 WITH SCORE 1015.171
AT ITER 3224 NEW BEST:: SOT 3873 SOS 1167 HAS SOPS 1167 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.167
AT ITER 3417 NEW BEST:: SOT 3864 SOS 1154 HAS SOPS 1154 HAS SOUS 994 HAS SOUPS 994 WITH SCORE 995.154
AT ITER 3755 NEW BEST:: SOT 3863 SOS 1148 HAS SOPS 1148 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 993.148
AT ITER 3814 NEW BEST:: SOT 3861 SOS 1145 HAS SOPS 1145 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.145
AT ITER 3997 NEW BEST:: SOT 3858 SOS 1139 HAS SOPS 1139 HAS SOUS 983 HAS SOUPS 983 WITH SCORE 984.139
AT ITER 4084 NEW BEST:: SOT 3856 SOS 1139 HAS SOPS 1139 HAS SOUS 982 HAS SOUPS 982 WITH SCORE 983.139
AT ITER 4254 NEW BEST:: SOT 3856 SOS 1139 HAS SOPS 1139 HAS SOUS 981 HAS SOUPS 981 WITH SCORE 982.139
AT ITER 4330 NEW BEST:: SOT 3855 SOS 1138 HAS SOPS 1138 HAS SOUS 979 HAS SOUPS 979 WITH SCORE 980.138
AT ITER 4551 NEW BEST:: SOT 3853 SOS 1133 HAS SOPS 1133 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 977.133
AT ITER 4572 NEW BEST:: SOT 3854 SOS 1131 HAS SOPS 1131 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 974.131
AT ITER 4853 NEW BEST:: SOT 3851 SOS 1127 HAS SOPS 1127 HAS SOUS 969 HAS SOUPS 969 WITH SCORE 970.127
AT ITER 4999 NEW BEST:: SOT 3846 SOS 1119 HAS SOPS 1119 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 961.119
AT ITER 5267 NEW BEST:: SOT 3846 SOS 1117 HAS SOPS 1117 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.117
AT ITER 5407 NEW BEST:: SOT 3846 SOS 1120 HAS SOPS 1120 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 959.12
AT ITER 6002 NEW BEST:: SOT 3845 SOS 1119 HAS SOPS 1119 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 959.119
AT ITER 6100 NEW BEST:: SOT 3842 SOS 1116 HAS SOPS 1116 HAS SOUS 954 HAS SOUPS 954 WITH SCORE 955.116
AT ITER 6140 NEW BEST:: SOT 3839 SOS 1107 HAS SOPS 1107 HAS SOUS 947 HAS SOUPS 947 WITH SCORE 948.107
AT ITER 6308 NEW BEST:: SOT 3838 SOS 1102 HAS SOPS 1102 HAS SOUS 945 HAS SOUPS 945 WITH SCORE 946.102
AT ITER 6416 NEW BEST:: SOT 3838 SOS 1102 HAS SOPS 1102 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.102
AT ITER 7512 NEW BEST:: SOT 3835 SOS 1095 HAS SOPS 1095 HAS SOUS 940 HAS SOUPS 940 WITH SCORE 941.095
AT ITER 8451 NEW BEST:: SOT 3835 SOS 1093 HAS SOPS 1093 HAS SOUS 940 HAS SOUPS 940 WITH SCORE 941.093
AT ITER 8976 NEW BEST:: SOT 3834 SOS 1090 HAS SOPS 1090 HAS SOUS 938 HAS SOUPS 938 WITH SCORE 939.09
AT ITER 9011 NEW BEST:: SOT 3833 SOS 1085 HAS SOPS 1085 HAS SOUS 936 HAS SOUPS 936 WITH SCORE 937.085
STATE_SPACE STATES 2199023255553 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 41 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 59648505806849 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590454115446

--------------------
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="ShieldRVt-PT-010A"
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 ShieldRVt-PT-010A, 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 r207-tajo-159033470301008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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