Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 400K
-rw-r--r-- 1 mcc users 7.0K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 32K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 33K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.9K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 98K Apr 27 15:14 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589646415502

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

Filename model.pnml
Petri model created: 102 places, 126 transitions, 384 arcs.
AT ITER 0 NEW BEST:: SOT 8359 SOS 3233 HAS SOPS 2892 HAS SOUS 3054 HAS SOUPS 2851 WITH SCORE 2854.233
AT ITER 4 NEW BEST:: SOT 8298 SOS 3239 HAS SOPS 2978 HAS SOUS 3007 HAS SOUPS 2841 WITH SCORE 2844.239
AT ITER 29 NEW BEST:: SOT 8289 SOS 3226 HAS SOPS 2965 HAS SOUS 2992 HAS SOUPS 2826 WITH SCORE 2829.226
AT ITER 31 NEW BEST:: SOT 8289 SOS 3226 HAS SOPS 2965 HAS SOUS 2987 HAS SOUPS 2821 WITH SCORE 2824.226
AT ITER 43 NEW BEST:: SOT 8280 SOS 3208 HAS SOPS 2947 HAS SOUS 2969 HAS SOUPS 2803 WITH SCORE 2806.208
AT ITER 47 NEW BEST:: SOT 8278 SOS 3204 HAS SOPS 2943 HAS SOUS 2965 HAS SOUPS 2799 WITH SCORE 2802.204
AT ITER 58 NEW BEST:: SOT 8286 SOS 3241 HAS SOPS 2885 HAS SOUS 2986 HAS SOUPS 2790 WITH SCORE 2793.241
AT ITER 64 NEW BEST:: SOT 8273 SOS 3234 HAS SOPS 2893 HAS SOUS 2977 HAS SOUPS 2787 WITH SCORE 2790.234
AT ITER 67 NEW BEST:: SOT 8273 SOS 3229 HAS SOPS 2888 HAS SOUS 2974 HAS SOUPS 2784 WITH SCORE 2787.229
AT ITER 71 NEW BEST:: SOT 8273 SOS 3214 HAS SOPS 2888 HAS SOUS 2974 HAS SOUPS 2784 WITH SCORE 2787.214
AT ITER 73 NEW BEST:: SOT 8266 SOS 3185 HAS SOPS 2878 HAS SOUS 2963 HAS SOUPS 2774 WITH SCORE 2777.185
AT ITER 82 NEW BEST:: SOT 8269 SOS 3193 HAS SOPS 2923 HAS SOUS 2930 HAS SOUPS 2764 WITH SCORE 2767.193
AT ITER 85 NEW BEST:: SOT 8269 SOS 3152 HAS SOPS 2923 HAS SOUS 2900 HAS SOUPS 2746 WITH SCORE 2749.152
AT ITER 97 NEW BEST:: SOT 8269 SOS 3134 HAS SOPS 2905 HAS SOUS 2882 HAS SOUPS 2728 WITH SCORE 2731.134
AT ITER 101 NEW BEST:: SOT 8258 SOS 3126 HAS SOPS 2881 HAS SOUS 2871 HAS SOUPS 2704 WITH SCORE 2707.126
AT ITER 104 NEW BEST:: SOT 8218 SOS 3093 HAS SOPS 2831 HAS SOUS 2838 HAS SOUPS 2654 WITH SCORE 2657.093
AT ITER 106 NEW BEST:: SOT 8243 SOS 3082 HAS SOPS 2884 HAS SOUS 2786 HAS SOUPS 2630 WITH SCORE 2633.082
AT ITER 112 NEW BEST:: SOT 8237 SOS 3070 HAS SOPS 2872 HAS SOUS 2774 HAS SOUPS 2618 WITH SCORE 2621.07
AT ITER 118 NEW BEST:: SOT 8225 SOS 3041 HAS SOPS 2843 HAS SOUS 2765 HAS SOUPS 2609 WITH SCORE 2612.041
AT ITER 124 NEW BEST:: SOT 8210 SOS 3001 HAS SOPS 2797 HAS SOUS 2728 HAS SOUPS 2572 WITH SCORE 2575.001
AT ITER 125 NEW BEST:: SOT 8210 SOS 3001 HAS SOPS 2795 HAS SOUS 2726 HAS SOUPS 2568 WITH SCORE 2571.001
AT ITER 127 NEW BEST:: SOT 8191 SOS 2937 HAS SOPS 2745 HAS SOUS 2698 HAS SOUPS 2542 WITH SCORE 2544.937
AT ITER 141 NEW BEST:: SOT 8189 SOS 2937 HAS SOPS 2743 HAS SOUS 2694 HAS SOUPS 2538 WITH SCORE 2540.937
AT ITER 148 NEW BEST:: SOT 8175 SOS 2938 HAS SOPS 2737 HAS SOUS 2688 HAS SOUPS 2521 WITH SCORE 2523.938
AT ITER 149 NEW BEST:: SOT 8153 SOS 2973 HAS SOPS 2772 HAS SOUS 2686 HAS SOUPS 2519 WITH SCORE 2521.973
AT ITER 153 NEW BEST:: SOT 8142 SOS 2962 HAS SOPS 2750 HAS SOUS 2664 HAS SOUPS 2497 WITH SCORE 2499.962
AT ITER 158 NEW BEST:: SOT 8137 SOS 2981 HAS SOPS 2769 HAS SOUS 2659 HAS SOUPS 2492 WITH SCORE 2494.981
AT ITER 161 NEW BEST:: SOT 8095 SOS 2926 HAS SOPS 2711 HAS SOUS 2601 HAS SOUPS 2434 WITH SCORE 2436.926
AT ITER 169 NEW BEST:: SOT 8085 SOS 2906 HAS SOPS 2691 HAS SOUS 2581 HAS SOUPS 2414 WITH SCORE 2416.906
AT ITER 183 NEW BEST:: SOT 8085 SOS 2870 HAS SOPS 2655 HAS SOUS 2545 HAS SOUPS 2378 WITH SCORE 2380.87
AT ITER 196 NEW BEST:: SOT 8065 SOS 2830 HAS SOPS 2615 HAS SOUS 2505 HAS SOUPS 2338 WITH SCORE 2340.83
AT ITER 198 NEW BEST:: SOT 8057 SOS 2796 HAS SOPS 2581 HAS SOUS 2480 HAS SOUPS 2313 WITH SCORE 2315.796
AT ITER 205 NEW BEST:: SOT 8067 SOS 2828 HAS SOPS 2583 HAS SOUS 2492 HAS SOUPS 2310 WITH SCORE 2312.828
AT ITER 208 NEW BEST:: SOT 8072 SOS 2805 HAS SOPS 2592 HAS SOUS 2475 HAS SOUPS 2309 WITH SCORE 2311.805
AT ITER 209 NEW BEST:: SOT 8071 SOS 2803 HAS SOPS 2590 HAS SOUS 2474 HAS SOUPS 2308 WITH SCORE 2310.803
AT ITER 224 NEW BEST:: SOT 8079 SOS 2838 HAS SOPS 2583 HAS SOUS 2488 HAS SOUPS 2301 WITH SCORE 2303.838
AT ITER 230 NEW BEST:: SOT 8079 SOS 2835 HAS SOPS 2575 HAS SOUS 2484 HAS SOUPS 2293 WITH SCORE 2295.835
AT ITER 233 NEW BEST:: SOT 8071 SOS 2827 HAS SOPS 2552 HAS SOUS 2476 HAS SOUPS 2270 WITH SCORE 2272.827
AT ITER 235 NEW BEST:: SOT 8052 SOS 2662 HAS SOPS 2378 HAS SOUS 2365 HAS SOUPS 2168 WITH SCORE 2170.662
AT ITER 236 NEW BEST:: SOT 8052 SOS 2665 HAS SOPS 2381 HAS SOUS 2360 HAS SOUPS 2163 WITH SCORE 2165.665
AT ITER 244 NEW BEST:: SOT 8055 SOS 2664 HAS SOPS 2382 HAS SOUS 2358 HAS SOUPS 2163 WITH SCORE 2165.664
AT ITER 285 NEW BEST:: SOT 8051 SOS 2665 HAS SOPS 2379 HAS SOUS 2355 HAS SOUPS 2160 WITH SCORE 2162.665
AT ITER 314 NEW BEST:: SOT 8043 SOS 2649 HAS SOPS 2363 HAS SOUS 2339 HAS SOUPS 2144 WITH SCORE 2146.649
AT ITER 341 NEW BEST:: SOT 8040 SOS 2649 HAS SOPS 2363 HAS SOUS 2338 HAS SOUPS 2143 WITH SCORE 2145.649
AT ITER 342 NEW BEST:: SOT 8036 SOS 2641 HAS SOPS 2355 HAS SOUS 2330 HAS SOUPS 2135 WITH SCORE 2137.641
AT ITER 365 NEW BEST:: SOT 8019 SOS 2632 HAS SOPS 2331 HAS SOUS 2326 HAS SOUPS 2116 WITH SCORE 2118.632
AT ITER 366 NEW BEST:: SOT 8012 SOS 2648 HAS SOPS 2324 HAS SOUS 2339 HAS SOUPS 2112 WITH SCORE 2114.648
AT ITER 368 NEW BEST:: SOT 8010 SOS 2646 HAS SOPS 2322 HAS SOUS 2339 HAS SOUPS 2110 WITH SCORE 2112.646
AT ITER 384 NEW BEST:: SOT 8000 SOS 2630 HAS SOPS 2306 HAS SOUS 2331 HAS SOUPS 2102 WITH SCORE 2104.63
AT ITER 385 NEW BEST:: SOT 8003 SOS 2623 HAS SOPS 2297 HAS SOUS 2326 HAS SOUPS 2095 WITH SCORE 2097.623
AT ITER 394 NEW BEST:: SOT 7998 SOS 2623 HAS SOPS 2287 HAS SOUS 2325 HAS SOUPS 2085 WITH SCORE 2087.623
AT ITER 405 NEW BEST:: SOT 8019 SOS 2614 HAS SOPS 2315 HAS SOUS 2284 HAS SOUPS 2075 WITH SCORE 2077.614
AT ITER 408 NEW BEST:: SOT 8016 SOS 2611 HAS SOPS 2312 HAS SOUS 2281 HAS SOUPS 2072 WITH SCORE 2074.611
AT ITER 416 NEW BEST:: SOT 8012 SOS 2603 HAS SOPS 2300 HAS SOUS 2273 HAS SOUPS 2060 WITH SCORE 2062.603
AT ITER 465 NEW BEST:: SOT 8008 SOS 2573 HAS SOPS 2284 HAS SOUS 2261 HAS SOUPS 2052 WITH SCORE 2054.573
AT ITER 494 NEW BEST:: SOT 8003 SOS 2563 HAS SOPS 2274 HAS SOUS 2251 HAS SOUPS 2042 WITH SCORE 2044.563
AT ITER 516 NEW BEST:: SOT 7999 SOS 2562 HAS SOPS 2274 HAS SOUS 2251 HAS SOUPS 2042 WITH SCORE 2044.562
AT ITER 526 NEW BEST:: SOT 7998 SOS 2558 HAS SOPS 2270 HAS SOUS 2239 HAS SOUPS 2030 WITH SCORE 2032.558
AT ITER 536 NEW BEST:: SOT 8003 SOS 2551 HAS SOPS 2263 HAS SOUS 2232 HAS SOUPS 2023 WITH SCORE 2025.551
AT ITER 537 NEW BEST:: SOT 8001 SOS 2550 HAS SOPS 2262 HAS SOUS 2230 HAS SOUPS 2021 WITH SCORE 2023.55
AT ITER 540 NEW BEST:: SOT 8000 SOS 2514 HAS SOPS 2258 HAS SOUS 2210 HAS SOUPS 2017 WITH SCORE 2019.514
AT ITER 543 NEW BEST:: SOT 8007 SOS 2532 HAS SOPS 2252 HAS SOUS 2209 HAS SOUPS 2016 WITH SCORE 2018.532
AT ITER 573 NEW BEST:: SOT 8007 SOS 2492 HAS SOPS 2236 HAS SOUS 2201 HAS SOUPS 2016 WITH SCORE 2018.492
AT ITER 596 NEW BEST:: SOT 8004 SOS 2482 HAS SOPS 2226 HAS SOUS 2191 HAS SOUPS 2006 WITH SCORE 2008.482
AT ITER 600 NEW BEST:: SOT 7963 SOS 2431 HAS SOPS 2188 HAS SOUS 2140 HAS SOUPS 1968 WITH SCORE 1970.431
AT ITER 602 NEW BEST:: SOT 7970 SOS 2478 HAS SOPS 2254 HAS SOUS 2111 HAS SOUPS 1956 WITH SCORE 1958.478
AT ITER 603 NEW BEST:: SOT 7965 SOS 2461 HAS SOPS 2247 HAS SOUS 2101 HAS SOUPS 1949 WITH SCORE 1951.461
AT ITER 628 NEW BEST:: SOT 7965 SOS 2457 HAS SOPS 2239 HAS SOUS 2097 HAS SOUPS 1945 WITH SCORE 1947.457
AT ITER 647 NEW BEST:: SOT 7964 SOS 2455 HAS SOPS 2237 HAS SOUS 2095 HAS SOUPS 1943 WITH SCORE 1945.455
AT ITER 655 NEW BEST:: SOT 7947 SOS 2423 HAS SOPS 2206 HAS SOUS 2063 HAS SOUPS 1912 WITH SCORE 1914.423
AT ITER 683 NEW BEST:: SOT 7946 SOS 2421 HAS SOPS 2204 HAS SOUS 2061 HAS SOUPS 1910 WITH SCORE 1912.421
AT ITER 687 NEW BEST:: SOT 7944 SOS 2419 HAS SOPS 2202 HAS SOUS 2059 HAS SOUPS 1908 WITH SCORE 1910.419
AT ITER 707 NEW BEST:: SOT 7943 SOS 2418 HAS SOPS 2202 HAS SOUS 2059 HAS SOUPS 1908 WITH SCORE 1910.418
AT ITER 714 NEW BEST:: SOT 7942 SOS 2416 HAS SOPS 2200 HAS SOUS 2057 HAS SOUPS 1906 WITH SCORE 1908.416
AT ITER 755 NEW BEST:: SOT 7940 SOS 2410 HAS SOPS 2194 HAS SOUS 2053 HAS SOUPS 1902 WITH SCORE 1904.41
AT ITER 766 NEW BEST:: SOT 7936 SOS 2402 HAS SOPS 2186 HAS SOUS 2045 HAS SOUPS 1894 WITH SCORE 1896.402
AT ITER 768 NEW BEST:: SOT 7933 SOS 2396 HAS SOPS 2180 HAS SOUS 2039 HAS SOUPS 1888 WITH SCORE 1890.396
AT ITER 795 NEW BEST:: SOT 7932 SOS 2366 HAS SOPS 2150 HAS SOUS 2027 HAS SOUPS 1876 WITH SCORE 1878.366
AT ITER 816 NEW BEST:: SOT 7930 SOS 2362 HAS SOPS 2146 HAS SOUS 2023 HAS SOUPS 1872 WITH SCORE 1874.362
AT ITER 841 NEW BEST:: SOT 7927 SOS 2354 HAS SOPS 2138 HAS SOUS 2017 HAS SOUPS 1866 WITH SCORE 1868.354
AT ITER 846 NEW BEST:: SOT 7927 SOS 2312 HAS SOPS 2090 HAS SOUS 2005 HAS SOUPS 1850 WITH SCORE 1852.312
AT ITER 858 NEW BEST:: SOT 7922 SOS 2302 HAS SOPS 2080 HAS SOUS 1995 HAS SOUPS 1840 WITH SCORE 1842.302
AT ITER 859 NEW BEST:: SOT 7922 SOS 2305 HAS SOPS 2083 HAS SOUS 1994 HAS SOUPS 1839 WITH SCORE 1841.305
AT ITER 869 NEW BEST:: SOT 7941 SOS 2264 HAS SOPS 2039 HAS SOUS 1988 HAS SOUPS 1833 WITH SCORE 1835.264
AT ITER 886 NEW BEST:: SOT 7940 SOS 2262 HAS SOPS 2037 HAS SOUS 1986 HAS SOUPS 1831 WITH SCORE 1833.262
AT ITER 894 NEW BEST:: SOT 7938 SOS 2258 HAS SOPS 2033 HAS SOUS 1982 HAS SOUPS 1827 WITH SCORE 1829.258
AT ITER 899 NEW BEST:: SOT 7939 SOS 2256 HAS SOPS 2031 HAS SOUS 1980 HAS SOUPS 1825 WITH SCORE 1827.256
AT ITER 906 NEW BEST:: SOT 7937 SOS 2254 HAS SOPS 2029 HAS SOUS 1978 HAS SOUPS 1823 WITH SCORE 1825.254
AT ITER 912 NEW BEST:: SOT 7938 SOS 2253 HAS SOPS 2023 HAS SOUS 1977 HAS SOUPS 1817 WITH SCORE 1819.253
AT ITER 917 NEW BEST:: SOT 7937 SOS 2251 HAS SOPS 2021 HAS SOUS 1975 HAS SOUPS 1815 WITH SCORE 1817.251
AT ITER 920 NEW BEST:: SOT 7943 SOS 2224 HAS SOPS 2021 HAS SOUS 1953 HAS SOUPS 1806 WITH SCORE 1808.224
AT ITER 948 NEW BEST:: SOT 7942 SOS 2222 HAS SOPS 2019 HAS SOUS 1951 HAS SOUPS 1804 WITH SCORE 1806.222
AT ITER 975 NEW BEST:: SOT 7950 SOS 2228 HAS SOPS 2019 HAS SOUS 1943 HAS SOUPS 1796 WITH SCORE 1798.228
AT ITER 998 NEW BEST:: SOT 7950 SOS 2234 HAS SOPS 2021 HAS SOUS 1945 HAS SOUPS 1794 WITH SCORE 1796.234
AT ITER 1021 NEW BEST:: SOT 7949 SOS 2232 HAS SOPS 2019 HAS SOUS 1943 HAS SOUPS 1792 WITH SCORE 1794.232
AT ITER 1031 NEW BEST:: SOT 7947 SOS 2230 HAS SOPS 2017 HAS SOUS 1941 HAS SOUPS 1790 WITH SCORE 1792.23
AT ITER 1033 NEW BEST:: SOT 7945 SOS 2226 HAS SOPS 2013 HAS SOUS 1935 HAS SOUPS 1784 WITH SCORE 1786.226
AT ITER 1081 NEW BEST:: SOT 7944 SOS 2224 HAS SOPS 2011 HAS SOUS 1933 HAS SOUPS 1782 WITH SCORE 1784.224
AT ITER 1083 NEW BEST:: SOT 7944 SOS 2220 HAS SOPS 2011 HAS SOUS 1931 HAS SOUPS 1782 WITH SCORE 1784.22
AT ITER 1105 NEW BEST:: SOT 7935 SOS 2202 HAS SOPS 1993 HAS SOUS 1913 HAS SOUPS 1764 WITH SCORE 1766.202
AT ITER 1151 NEW BEST:: SOT 7928 SOS 2224 HAS SOPS 2015 HAS SOUS 1911 HAS SOUPS 1762 WITH SCORE 1764.224
AT ITER 1201 NEW BEST:: SOT 7918 SOS 2218 HAS SOPS 2009 HAS SOUS 1905 HAS SOUPS 1756 WITH SCORE 1758.218
AT ITER 1206 NEW BEST:: SOT 7917 SOS 2216 HAS SOPS 2007 HAS SOUS 1903 HAS SOUPS 1754 WITH SCORE 1756.216
AT ITER 1209 NEW BEST:: SOT 7911 SOS 2210 HAS SOPS 2001 HAS SOUS 1897 HAS SOUPS 1748 WITH SCORE 1750.21
AT ITER 1241 NEW BEST:: SOT 7912 SOS 2199 HAS SOPS 1987 HAS SOUS 1886 HAS SOUPS 1734 WITH SCORE 1736.199
AT ITER 1251 NEW BEST:: SOT 7907 SOS 2189 HAS SOPS 1977 HAS SOUS 1880 HAS SOUPS 1728 WITH SCORE 1730.189
AT ITER 1292 NEW BEST:: SOT 7897 SOS 2199 HAS SOPS 1984 HAS SOUS 1894 HAS SOUPS 1722 WITH SCORE 1724.199
AT ITER 1350 NEW BEST:: SOT 7896 SOS 2197 HAS SOPS 1982 HAS SOUS 1892 HAS SOUPS 1720 WITH SCORE 1722.197
AT ITER 1358 NEW BEST:: SOT 7892 SOS 2192 HAS SOPS 1974 HAS SOUS 1887 HAS SOUPS 1712 WITH SCORE 1714.192
AT ITER 1372 NEW BEST:: SOT 7888 SOS 2184 HAS SOPS 1966 HAS SOUS 1879 HAS SOUPS 1704 WITH SCORE 1706.184
AT ITER 1380 NEW BEST:: SOT 7888 SOS 2182 HAS SOPS 1964 HAS SOUS 1877 HAS SOUPS 1702 WITH SCORE 1704.182
AT ITER 1407 NEW BEST:: SOT 7873 SOS 2185 HAS SOPS 1956 HAS SOUS 1876 HAS SOUPS 1694 WITH SCORE 1696.185
AT ITER 1482 NEW BEST:: SOT 7875 SOS 2177 HAS SOPS 1948 HAS SOUS 1876 HAS SOUPS 1694 WITH SCORE 1696.177
AT ITER 1495 NEW BEST:: SOT 7870 SOS 2171 HAS SOPS 1942 HAS SOUS 1874 HAS SOUPS 1692 WITH SCORE 1694.171
AT ITER 1499 NEW BEST:: SOT 7869 SOS 2170 HAS SOPS 1941 HAS SOUS 1873 HAS SOUPS 1691 WITH SCORE 1693.17
AT ITER 1501 NEW BEST:: SOT 7859 SOS 2164 HAS SOPS 1921 HAS SOUS 1867 HAS SOUPS 1671 WITH SCORE 1673.164
AT ITER 1504 NEW BEST:: SOT 7870 SOS 2132 HAS SOPS 1889 HAS SOUS 1861 HAS SOUPS 1665 WITH SCORE 1667.132
AT ITER 1522 NEW BEST:: SOT 7869 SOS 2132 HAS SOPS 1889 HAS SOUS 1860 HAS SOUPS 1664 WITH SCORE 1666.132
AT ITER 1524 NEW BEST:: SOT 7865 SOS 2133 HAS SOPS 1890 HAS SOUS 1852 HAS SOUPS 1656 WITH SCORE 1658.133
AT ITER 1546 NEW BEST:: SOT 7863 SOS 2129 HAS SOPS 1886 HAS SOUS 1848 HAS SOUPS 1652 WITH SCORE 1654.129
AT ITER 1562 NEW BEST:: SOT 7863 SOS 2132 HAS SOPS 1889 HAS SOUS 1847 HAS SOUPS 1651 WITH SCORE 1653.132
AT ITER 1585 NEW BEST:: SOT 7859 SOS 2127 HAS SOPS 1884 HAS SOUS 1846 HAS SOUPS 1650 WITH SCORE 1652.127
AT ITER 1608 NEW BEST:: SOT 7859 SOS 2116 HAS SOPS 1873 HAS SOUS 1846 HAS SOUPS 1650 WITH SCORE 1652.116
AT ITER 1612 NEW BEST:: SOT 7857 SOS 2112 HAS SOPS 1869 HAS SOUS 1842 HAS SOUPS 1646 WITH SCORE 1648.112
AT ITER 1642 NEW BEST:: SOT 7852 SOS 2102 HAS SOPS 1859 HAS SOUS 1832 HAS SOUPS 1636 WITH SCORE 1638.102
AT ITER 1661 NEW BEST:: SOT 7850 SOS 2100 HAS SOPS 1855 HAS SOUS 1826 HAS SOUPS 1632 WITH SCORE 1634.1
AT ITER 1710 NEW BEST:: SOT 7845 SOS 2097 HAS SOPS 1852 HAS SOUS 1816 HAS SOUPS 1622 WITH SCORE 1624.097
AT ITER 1855 NEW BEST:: SOT 7844 SOS 2089 HAS SOPS 1852 HAS SOUS 1810 HAS SOUPS 1620 WITH SCORE 1622.089
AT ITER 1857 NEW BEST:: SOT 7841 SOS 2083 HAS SOPS 1846 HAS SOUS 1804 HAS SOUPS 1614 WITH SCORE 1616.083
AT ITER 1973 NEW BEST:: SOT 7838 SOS 2065 HAS SOPS 1834 HAS SOUS 1798 HAS SOUPS 1614 WITH SCORE 1616.065
AT ITER 1974 NEW BEST:: SOT 7838 SOS 2061 HAS SOPS 1830 HAS SOUS 1796 HAS SOUPS 1612 WITH SCORE 1614.061
AT ITER 2000 NEW BEST:: SOT 7837 SOS 2060 HAS SOPS 1829 HAS SOUS 1795 HAS SOUPS 1611 WITH SCORE 1613.06
AT ITER 2041 NEW BEST:: SOT 7833 SOS 2058 HAS SOPS 1827 HAS SOUS 1793 HAS SOUPS 1609 WITH SCORE 1611.058
AT ITER 2091 NEW BEST:: SOT 7831 SOS 2056 HAS SOPS 1824 HAS SOUS 1790 HAS SOUPS 1606 WITH SCORE 1608.056
AT ITER 2111 NEW BEST:: SOT 7826 SOS 2054 HAS SOPS 1814 HAS SOUS 1784 HAS SOUPS 1596 WITH SCORE 1598.054
AT ITER 2165 NEW BEST:: SOT 7826 SOS 2051 HAS SOPS 1808 HAS SOUS 1778 HAS SOUPS 1590 WITH SCORE 1592.051
AT ITER 2213 NEW BEST:: SOT 7824 SOS 2049 HAS SOPS 1806 HAS SOUS 1776 HAS SOUPS 1588 WITH SCORE 1590.049
AT ITER 2268 NEW BEST:: SOT 7823 SOS 2050 HAS SOPS 1807 HAS SOUS 1775 HAS SOUPS 1587 WITH SCORE 1589.05
AT ITER 2428 NEW BEST:: SOT 7821 SOS 2048 HAS SOPS 1801 HAS SOUS 1773 HAS SOUPS 1581 WITH SCORE 1583.048
AT ITER 2452 NEW BEST:: SOT 7822 SOS 2045 HAS SOPS 1801 HAS SOUS 1772 HAS SOUPS 1581 WITH SCORE 1583.045
AT ITER 2522 NEW BEST:: SOT 7824 SOS 2042 HAS SOPS 1798 HAS SOUS 1769 HAS SOUPS 1578 WITH SCORE 1580.042
AT ITER 2531 NEW BEST:: SOT 7823 SOS 2040 HAS SOPS 1796 HAS SOUS 1767 HAS SOUPS 1576 WITH SCORE 1578.04
AT ITER 2552 NEW BEST:: SOT 7825 SOS 2040 HAS SOPS 1797 HAS SOUS 1764 HAS SOUPS 1574 WITH SCORE 1576.04
AT ITER 2602 NEW BEST:: SOT 7819 SOS 2029 HAS SOPS 1786 HAS SOUS 1753 HAS SOUPS 1563 WITH SCORE 1565.029
AT ITER 2718 NEW BEST:: SOT 7818 SOS 2027 HAS SOPS 1783 HAS SOUS 1751 HAS SOUPS 1560 WITH SCORE 1562.027
AT ITER 2863 NEW BEST:: SOT 7817 SOS 2026 HAS SOPS 1781 HAS SOUS 1747 HAS SOUPS 1558 WITH SCORE 1560.026
AT ITER 2935 NEW BEST:: SOT 7816 SOS 2026 HAS SOPS 1781 HAS SOUS 1745 HAS SOUPS 1556 WITH SCORE 1558.026
AT ITER 2941 NEW BEST:: SOT 7812 SOS 2017 HAS SOPS 1772 HAS SOUS 1740 HAS SOUPS 1551 WITH SCORE 1553.017
AT ITER 2946 NEW BEST:: SOT 7792 SOS 1996 HAS SOPS 1751 HAS SOUS 1733 HAS SOUPS 1544 WITH SCORE 1545.996
AT ITER 2974 NEW BEST:: SOT 7790 SOS 1990 HAS SOPS 1745 HAS SOUS 1731 HAS SOUPS 1542 WITH SCORE 1543.99
AT ITER 3022 NEW BEST:: SOT 7782 SOS 1994 HAS SOPS 1739 HAS SOUS 1730 HAS SOUPS 1536 WITH SCORE 1537.994
AT ITER 3040 NEW BEST:: SOT 7782 SOS 1988 HAS SOPS 1733 HAS SOUS 1730 HAS SOUPS 1536 WITH SCORE 1537.988
AT ITER 3068 NEW BEST:: SOT 7781 SOS 1986 HAS SOPS 1731 HAS SOUS 1728 HAS SOUPS 1534 WITH SCORE 1535.986
AT ITER 3153 NEW BEST:: SOT 7781 SOS 1984 HAS SOPS 1729 HAS SOUS 1728 HAS SOUPS 1534 WITH SCORE 1535.984
AT ITER 3165 NEW BEST:: SOT 7780 SOS 1990 HAS SOPS 1735 HAS SOUS 1726 HAS SOUPS 1532 WITH SCORE 1533.99
AT ITER 3241 NEW BEST:: SOT 7779 SOS 1988 HAS SOPS 1733 HAS SOUS 1724 HAS SOUPS 1530 WITH SCORE 1531.988
AT ITER 3245 NEW BEST:: SOT 7779 SOS 1987 HAS SOPS 1731 HAS SOUS 1723 HAS SOUPS 1528 WITH SCORE 1529.987
AT ITER 3289 NEW BEST:: SOT 7778 SOS 1986 HAS SOPS 1729 HAS SOUS 1722 HAS SOUPS 1526 WITH SCORE 1527.986
AT ITER 3347 NEW BEST:: SOT 7777 SOS 1984 HAS SOPS 1729 HAS SOUS 1722 HAS SOUPS 1526 WITH SCORE 1527.984
AT ITER 3428 NEW BEST:: SOT 7767 SOS 1974 HAS SOPS 1715 HAS SOUS 1720 HAS SOUPS 1520 WITH SCORE 1521.974
AT ITER 3452 NEW BEST:: SOT 7768 SOS 1973 HAS SOPS 1714 HAS SOUS 1719 HAS SOUPS 1519 WITH SCORE 1520.973
AT ITER 3453 NEW BEST:: SOT 7767 SOS 1972 HAS SOPS 1712 HAS SOUS 1718 HAS SOUPS 1517 WITH SCORE 1518.972
AT ITER 3656 NEW BEST:: SOT 7768 SOS 1974 HAS SOPS 1711 HAS SOUS 1717 HAS SOUPS 1516 WITH SCORE 1517.974
AT ITER 3695 NEW BEST:: SOT 7764 SOS 1980 HAS SOPS 1709 HAS SOUS 1719 HAS SOUPS 1514 WITH SCORE 1515.98
AT ITER 3843 NEW BEST:: SOT 7786 SOS 1974 HAS SOPS 1703 HAS SOUS 1719 HAS SOUPS 1514 WITH SCORE 1515.974
AT ITER 3952 NEW BEST:: SOT 7788 SOS 1977 HAS SOPS 1706 HAS SOUS 1718 HAS SOUPS 1513 WITH SCORE 1514.977
AT ITER 3980 NEW BEST:: SOT 7787 SOS 1977 HAS SOPS 1706 HAS SOUS 1717 HAS SOUPS 1512 WITH SCORE 1513.977
AT ITER 4029 NEW BEST:: SOT 7785 SOS 1973 HAS SOPS 1702 HAS SOUS 1713 HAS SOUPS 1508 WITH SCORE 1509.973
AT ITER 4078 NEW BEST:: SOT 7784 SOS 1973 HAS SOPS 1700 HAS SOUS 1712 HAS SOUPS 1506 WITH SCORE 1507.973
AT ITER 4193 NEW BEST:: SOT 7783 SOS 1971 HAS SOPS 1698 HAS SOUS 1710 HAS SOUPS 1504 WITH SCORE 1505.971
AT ITER 4354 NEW BEST:: SOT 7782 SOS 1969 HAS SOPS 1696 HAS SOUS 1708 HAS SOUPS 1502 WITH SCORE 1503.969
AT ITER 4475 NEW BEST:: SOT 7783 SOS 1967 HAS SOPS 1694 HAS SOUS 1708 HAS SOUPS 1502 WITH SCORE 1503.967
AT ITER 4540 NEW BEST:: SOT 7782 SOS 1965 HAS SOPS 1694 HAS SOUS 1708 HAS SOUPS 1502 WITH SCORE 1503.965
AT ITER 4549 NEW BEST:: SOT 7782 SOS 1964 HAS SOPS 1693 HAS SOUS 1709 HAS SOUPS 1502 WITH SCORE 1503.964
AT ITER 4550 NEW BEST:: SOT 7781 SOS 1956 HAS SOPS 1682 HAS SOUS 1706 HAS SOUPS 1499 WITH SCORE 1500.956
AT ITER 4721 NEW BEST:: SOT 7778 SOS 1953 HAS SOPS 1678 HAS SOUS 1703 HAS SOUPS 1495 WITH SCORE 1496.953
AT ITER 4779 NEW BEST:: SOT 7776 SOS 1951 HAS SOPS 1676 HAS SOUS 1701 HAS SOUPS 1493 WITH SCORE 1494.951
AT ITER 4859 NEW BEST:: SOT 7778 SOS 1953 HAS SOPS 1675 HAS SOUS 1703 HAS SOUPS 1492 WITH SCORE 1493.953
AT ITER 4892 NEW BEST:: SOT 7775 SOS 1947 HAS SOPS 1669 HAS SOUS 1697 HAS SOUPS 1486 WITH SCORE 1487.947
AT ITER 4978 NEW BEST:: SOT 7775 SOS 1943 HAS SOPS 1666 HAS SOUS 1697 HAS SOUPS 1486 WITH SCORE 1487.943
AT ITER 5050 NEW BEST:: SOT 7773 SOS 1932 HAS SOPS 1659 HAS SOUS 1696 HAS SOUPS 1485 WITH SCORE 1486.932
AT ITER 5440 NEW BEST:: SOT 7772 SOS 1926 HAS SOPS 1655 HAS SOUS 1696 HAS SOUPS 1485 WITH SCORE 1486.926
AT ITER 5621 NEW BEST:: SOT 7772 SOS 1929 HAS SOPS 1658 HAS SOUS 1693 HAS SOUPS 1482 WITH SCORE 1483.929
AT ITER 5934 NEW BEST:: SOT 7772 SOS 1928 HAS SOPS 1657 HAS SOUS 1692 HAS SOUPS 1481 WITH SCORE 1482.928
AT ITER 5939 NEW BEST:: SOT 7772 SOS 1928 HAS SOPS 1655 HAS SOUS 1692 HAS SOUPS 1479 WITH SCORE 1480.928
AT ITER 6111 NEW BEST:: SOT 7771 SOS 1925 HAS SOPS 1654 HAS SOUS 1691 HAS SOUPS 1478 WITH SCORE 1479.925
AT ITER 6167 NEW BEST:: SOT 7769 SOS 1921 HAS SOPS 1650 HAS SOUS 1687 HAS SOUPS 1474 WITH SCORE 1475.921
AT ITER 6264 NEW BEST:: SOT 7769 SOS 1920 HAS SOPS 1647 HAS SOUS 1684 HAS SOUPS 1471 WITH SCORE 1472.92
AT ITER 6373 NEW BEST:: SOT 7768 SOS 1919 HAS SOPS 1646 HAS SOUS 1683 HAS SOUPS 1470 WITH SCORE 1471.919
AT ITER 6415 NEW BEST:: SOT 7771 SOS 1922 HAS SOPS 1641 HAS SOUS 1682 HAS SOUPS 1465 WITH SCORE 1466.922
AT ITER 6735 NEW BEST:: SOT 7770 SOS 1920 HAS SOPS 1639 HAS SOUS 1680 HAS SOUPS 1463 WITH SCORE 1464.92
AT ITER 6758 NEW BEST:: SOT 7769 SOS 1918 HAS SOPS 1636 HAS SOUS 1678 HAS SOUPS 1460 WITH SCORE 1461.918
AT ITER 6785 NEW BEST:: SOT 7769 SOS 1917 HAS SOPS 1635 HAS SOUS 1677 HAS SOUPS 1459 WITH SCORE 1460.917
AT ITER 6919 NEW BEST:: SOT 7764 SOS 1913 HAS SOPS 1632 HAS SOUS 1673 HAS SOUPS 1456 WITH SCORE 1457.913
AT ITER 7016 NEW BEST:: SOT 7755 SOS 1901 HAS SOPS 1620 HAS SOUS 1670 HAS SOUPS 1453 WITH SCORE 1454.901
AT ITER 7228 NEW BEST:: SOT 7753 SOS 1897 HAS SOPS 1616 HAS SOUS 1666 HAS SOUPS 1449 WITH SCORE 1450.897
AT ITER 7386 NEW BEST:: SOT 7753 SOS 1899 HAS SOPS 1617 HAS SOUS 1666 HAS SOUPS 1448 WITH SCORE 1449.899
AT ITER 7388 NEW BEST:: SOT 7753 SOS 1898 HAS SOPS 1616 HAS SOUS 1666 HAS SOUPS 1448 WITH SCORE 1449.898
AT ITER 7530 NEW BEST:: SOT 7752 SOS 1896 HAS SOPS 1614 HAS SOUS 1664 HAS SOUPS 1446 WITH SCORE 1447.896
AT ITER 7603 NEW BEST:: SOT 7741 SOS 1886 HAS SOPS 1598 HAS SOUS 1667 HAS SOUPS 1443 WITH SCORE 1444.886
AT ITER 7635 NEW BEST:: SOT 7740 SOS 1885 HAS SOPS 1597 HAS SOUS 1666 HAS SOUPS 1442 WITH SCORE 1443.885
AT ITER 7677 NEW BEST:: SOT 7741 SOS 1884 HAS SOPS 1596 HAS SOUS 1665 HAS SOUPS 1441 WITH SCORE 1442.884
AT ITER 7718 NEW BEST:: SOT 7739 SOS 1884 HAS SOPS 1592 HAS SOUS 1665 HAS SOUPS 1437 WITH SCORE 1438.884
AT ITER 7740 NEW BEST:: SOT 7740 SOS 1882 HAS SOPS 1590 HAS SOUS 1663 HAS SOUPS 1435 WITH SCORE 1436.882
AT ITER 7756 NEW BEST:: SOT 7740 SOS 1881 HAS SOPS 1590 HAS SOUS 1662 HAS SOUPS 1435 WITH SCORE 1436.881
AT ITER 7783 NEW BEST:: SOT 7739 SOS 1879 HAS SOPS 1588 HAS SOUS 1660 HAS SOUPS 1433 WITH SCORE 1434.879
AT ITER 7991 NEW BEST:: SOT 7737 SOS 1877 HAS SOPS 1588 HAS SOUS 1658 HAS SOUPS 1433 WITH SCORE 1434.877
AT ITER 8028 NEW BEST:: SOT 7735 SOS 1869 HAS SOPS 1580 HAS SOUS 1650 HAS SOUPS 1425 WITH SCORE 1426.869
AT ITER 8049 NEW BEST:: SOT 7733 SOS 1868 HAS SOPS 1579 HAS SOUS 1649 HAS SOUPS 1424 WITH SCORE 1425.868
AT ITER 8169 NEW BEST:: SOT 7733 SOS 1868 HAS SOPS 1578 HAS SOUS 1649 HAS SOUPS 1423 WITH SCORE 1424.868
AT ITER 8342 NEW BEST:: SOT 7733 SOS 1868 HAS SOPS 1577 HAS SOUS 1648 HAS SOUPS 1422 WITH SCORE 1423.868
AT ITER 8392 NEW BEST:: SOT 7733 SOS 1865 HAS SOPS 1571 HAS SOUS 1648 HAS SOUPS 1422 WITH SCORE 1423.865
AT ITER 8418 NEW BEST:: SOT 7732 SOS 1863 HAS SOPS 1569 HAS SOUS 1646 HAS SOUPS 1420 WITH SCORE 1421.863
AT ITER 8471 NEW BEST:: SOT 7731 SOS 1861 HAS SOPS 1567 HAS SOUS 1644 HAS SOUPS 1418 WITH SCORE 1419.861
AT ITER 8583 NEW BEST:: SOT 7730 SOS 1862 HAS SOPS 1565 HAS SOUS 1643 HAS SOUPS 1416 WITH SCORE 1417.862
AT ITER 8622 NEW BEST:: SOT 7729 SOS 1860 HAS SOPS 1563 HAS SOUS 1641 HAS SOUPS 1414 WITH SCORE 1415.86
AT ITER 8638 NEW BEST:: SOT 7724 SOS 1883 HAS SOPS 1587 HAS SOUS 1638 HAS SOUPS 1412 WITH SCORE 1413.883
AT ITER 8646 NEW BEST:: SOT 7724 SOS 1882 HAS SOPS 1587 HAS SOUS 1638 HAS SOUPS 1412 WITH SCORE 1413.882
AT ITER 8692 NEW BEST:: SOT 7721 SOS 1886 HAS SOPS 1585 HAS SOUS 1639 HAS SOUPS 1410 WITH SCORE 1411.886
AT ITER 8694 NEW BEST:: SOT 7720 SOS 1884 HAS SOPS 1582 HAS SOUS 1637 HAS SOUPS 1407 WITH SCORE 1408.884
AT ITER 8842 NEW BEST:: SOT 7725 SOS 1886 HAS SOPS 1579 HAS SOUS 1634 HAS SOUPS 1404 WITH SCORE 1405.886
AT ITER 9116 NEW BEST:: SOT 7724 SOS 1885 HAS SOPS 1577 HAS SOUS 1632 HAS SOUPS 1402 WITH SCORE 1403.885
AT ITER 9128 NEW BEST:: SOT 7724 SOS 1889 HAS SOPS 1581 HAS SOUS 1630 HAS SOUPS 1400 WITH SCORE 1401.889
AT ITER 9239 NEW BEST:: SOT 7709 SOS 1871 HAS SOPS 1563 HAS SOUS 1627 HAS SOUPS 1397 WITH SCORE 1398.871
AT ITER 9507 NEW BEST:: SOT 7709 SOS 1873 HAS SOPS 1564 HAS SOUS 1626 HAS SOUPS 1396 WITH SCORE 1397.873
AT ITER 9544 NEW BEST:: SOT 7709 SOS 1871 HAS SOPS 1564 HAS SOUS 1626 HAS SOUPS 1396 WITH SCORE 1397.871
AT ITER 9618 NEW BEST:: SOT 7708 SOS 1869 HAS SOPS 1562 HAS SOUS 1624 HAS SOUPS 1394 WITH SCORE 1395.869
AT ITER 9669 NEW BEST:: SOT 7707 SOS 1867 HAS SOPS 1560 HAS SOUS 1622 HAS SOUPS 1392 WITH SCORE 1393.867
AT ITER 9967 NEW BEST:: SOT 7706 SOS 1866 HAS SOPS 1559 HAS SOUS 1621 HAS SOUPS 1391 WITH SCORE 1392.866
STATE_SPACE STATES 20754 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 62262 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589646421289

--------------------
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="Peterson-PT-2"
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 Peterson-PT-2, 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 r108-csrt-158961250900712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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