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.r483-tall-167912696100752.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 TriangularGrid-PT-4022, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696100752
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 576K
-rw-r--r-- 1 mcc users 10K Feb 26 01:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 01:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 01:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 01:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 01:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 121K 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 1679176777691

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=TriangularGrid-PT-4022
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TriangularGrid (PT), instance 4022
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: 184 places, 156 transitions, 624 arcs.
AT ITER 0 NEW BEST:: SOT 16125 SOS 3395 HAS SOPS 3395 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2650.395
AT ITER 43 NEW BEST:: SOT 16119 SOS 3392 HAS SOPS 3392 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2647.392
AT ITER 113 NEW BEST:: SOT 16117 SOS 3387 HAS SOPS 3387 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2645.387
AT ITER 126 NEW BEST:: SOT 16117 SOS 3381 HAS SOPS 3381 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2641.381
AT ITER 148 NEW BEST:: SOT 16117 SOS 3366 HAS SOPS 3366 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.366
AT ITER 159 NEW BEST:: SOT 16101 SOS 3334 HAS SOPS 3334 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2615.334
AT ITER 184 NEW BEST:: SOT 16101 SOS 3331 HAS SOPS 3331 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2613.331
AT ITER 195 NEW BEST:: SOT 16095 SOS 3316 HAS SOPS 3316 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.316
AT ITER 215 NEW BEST:: SOT 16077 SOS 3289 HAS SOPS 3289 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2574.289
AT ITER 277 NEW BEST:: SOT 16071 SOS 3280 HAS SOPS 3280 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.28
AT ITER 279 NEW BEST:: SOT 16069 SOS 3278 HAS SOPS 3278 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2563.278
AT ITER 304 NEW BEST:: SOT 16058 SOS 3254 HAS SOPS 3254 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2547.254
AT ITER 428 NEW BEST:: SOT 16050 SOS 3220 HAS SOPS 3220 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.22
AT ITER 492 NEW BEST:: SOT 16046 SOS 3212 HAS SOPS 3212 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2528.212
AT ITER 514 NEW BEST:: SOT 16037 SOS 3185 HAS SOPS 3185 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2510.185
AT ITER 532 NEW BEST:: SOT 16035 SOS 3183 HAS SOPS 3183 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2510.183
AT ITER 559 NEW BEST:: SOT 16028 SOS 3169 HAS SOPS 3169 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2496.169
AT ITER 580 NEW BEST:: SOT 16027 SOS 3168 HAS SOPS 3168 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2493.168
AT ITER 593 NEW BEST:: SOT 16023 SOS 3162 HAS SOPS 3162 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.162
AT ITER 628 NEW BEST:: SOT 16018 SOS 3153 HAS SOPS 3153 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2484.153
AT ITER 638 NEW BEST:: SOT 16014 SOS 3141 HAS SOPS 3141 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.141
AT ITER 793 NEW BEST:: SOT 16008 SOS 3129 HAS SOPS 3129 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2470.129
AT ITER 805 NEW BEST:: SOT 16005 SOS 3126 HAS SOPS 3126 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.126
AT ITER 893 NEW BEST:: SOT 16007 SOS 3127 HAS SOPS 3127 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2456.127
AT ITER 902 NEW BEST:: SOT 15999 SOS 3119 HAS SOPS 3119 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2446.119
AT ITER 963 NEW BEST:: SOT 15993 SOS 3114 HAS SOPS 3114 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2441.114
AT ITER 1014 NEW BEST:: SOT 15987 SOS 3106 HAS SOPS 3106 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2434.106
AT ITER 1018 NEW BEST:: SOT 15986 SOS 3101 HAS SOPS 3101 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2432.101
AT ITER 1045 NEW BEST:: SOT 15983 SOS 3092 HAS SOPS 3092 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2426.092
AT ITER 1060 NEW BEST:: SOT 15981 SOS 3078 HAS SOPS 3078 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2423.078
AT ITER 1109 NEW BEST:: SOT 15971 SOS 3058 HAS SOPS 3058 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2408.058
AT ITER 1134 NEW BEST:: SOT 15971 SOS 3043 HAS SOPS 3043 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.043
AT ITER 1144 NEW BEST:: SOT 15977 SOS 3048 HAS SOPS 3048 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2397.048
AT ITER 1171 NEW BEST:: SOT 15973 SOS 3040 HAS SOPS 3040 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2389.04
AT ITER 1186 NEW BEST:: SOT 15973 SOS 3037 HAS SOPS 3037 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2387.037
AT ITER 1222 NEW BEST:: SOT 15969 SOS 3030 HAS SOPS 3030 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2380.03
AT ITER 1308 NEW BEST:: SOT 15967 SOS 3024 HAS SOPS 3024 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2376.024
AT ITER 1351 NEW BEST:: SOT 15959 SOS 3008 HAS SOPS 3008 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.008
AT ITER 1407 NEW BEST:: SOT 15959 SOS 3005 HAS SOPS 3005 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2362.005
AT ITER 1450 NEW BEST:: SOT 15958 SOS 3003 HAS SOPS 3003 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2360.003
AT ITER 1698 NEW BEST:: SOT 15950 SOS 2987 HAS SOPS 2987 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2347.987
AT ITER 1706 NEW BEST:: SOT 15940 SOS 2972 HAS SOPS 2972 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.972
AT ITER 1712 NEW BEST:: SOT 15935 SOS 2964 HAS SOPS 2964 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.964
AT ITER 1797 NEW BEST:: SOT 15935 SOS 2958 HAS SOPS 2958 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.958
AT ITER 1918 NEW BEST:: SOT 15929 SOS 2944 HAS SOPS 2944 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.944
AT ITER 1955 NEW BEST:: SOT 15919 SOS 2934 HAS SOPS 2934 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.934
AT ITER 2013 NEW BEST:: SOT 15919 SOS 2941 HAS SOPS 2941 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.941
AT ITER 2143 NEW BEST:: SOT 15913 SOS 2929 HAS SOPS 2929 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.929
AT ITER 2219 NEW BEST:: SOT 15913 SOS 2929 HAS SOPS 2929 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.929
AT ITER 2231 NEW BEST:: SOT 15906 SOS 2916 HAS SOPS 2916 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.916
AT ITER 2291 NEW BEST:: SOT 15906 SOS 2916 HAS SOPS 2916 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.916
AT ITER 2327 NEW BEST:: SOT 15904 SOS 2899 HAS SOPS 2899 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.899
AT ITER 2333 NEW BEST:: SOT 15903 SOS 2898 HAS SOPS 2898 HAS SOUS 2277 HAS SOUPS 2277 WITH SCORE 2279.898
AT ITER 2343 NEW BEST:: SOT 15899 SOS 2880 HAS SOPS 2880 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.88
AT ITER 2365 NEW BEST:: SOT 15893 SOS 2871 HAS SOPS 2871 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.871
AT ITER 2383 NEW BEST:: SOT 15893 SOS 2869 HAS SOPS 2869 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.869
AT ITER 2471 NEW BEST:: SOT 15893 SOS 2861 HAS SOPS 2861 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2249.861
AT ITER 2488 NEW BEST:: SOT 15896 SOS 2862 HAS SOPS 2862 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.862
AT ITER 2916 NEW BEST:: SOT 15895 SOS 2861 HAS SOPS 2861 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.861
AT ITER 2972 NEW BEST:: SOT 15893 SOS 2851 HAS SOPS 2851 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.851
AT ITER 3165 NEW BEST:: SOT 15892 SOS 2849 HAS SOPS 2849 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.849
AT ITER 3253 NEW BEST:: SOT 15891 SOS 2847 HAS SOPS 2847 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.847
AT ITER 3283 NEW BEST:: SOT 15891 SOS 2843 HAS SOPS 2843 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.843
AT ITER 3289 NEW BEST:: SOT 15890 SOS 2840 HAS SOPS 2840 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.84
AT ITER 3307 NEW BEST:: SOT 15888 SOS 2831 HAS SOPS 2831 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.831
AT ITER 3315 NEW BEST:: SOT 15888 SOS 2829 HAS SOPS 2829 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.829
AT ITER 3328 NEW BEST:: SOT 15888 SOS 2826 HAS SOPS 2826 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.826
AT ITER 3336 NEW BEST:: SOT 15887 SOS 2823 HAS SOPS 2823 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.823
AT ITER 3373 NEW BEST:: SOT 15886 SOS 2820 HAS SOPS 2820 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.82
AT ITER 3444 NEW BEST:: SOT 15882 SOS 2814 HAS SOPS 2814 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.814
AT ITER 3470 NEW BEST:: SOT 15882 SOS 2812 HAS SOPS 2812 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.812
AT ITER 3476 NEW BEST:: SOT 15882 SOS 2810 HAS SOPS 2810 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.81
AT ITER 3693 NEW BEST:: SOT 15880 SOS 2804 HAS SOPS 2804 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.804
AT ITER 3768 NEW BEST:: SOT 15878 SOS 2801 HAS SOPS 2801 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.801
AT ITER 3811 NEW BEST:: SOT 15878 SOS 2801 HAS SOPS 2801 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.801
AT ITER 4004 NEW BEST:: SOT 15878 SOS 2794 HAS SOPS 2794 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2206.794
AT ITER 4122 NEW BEST:: SOT 15878 SOS 2794 HAS SOPS 2794 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.794
AT ITER 4137 NEW BEST:: SOT 15874 SOS 2788 HAS SOPS 2788 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.788
AT ITER 4207 NEW BEST:: SOT 15870 SOS 2776 HAS SOPS 2776 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2194.776
AT ITER 4233 NEW BEST:: SOT 15868 SOS 2770 HAS SOPS 2770 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.77
AT ITER 4327 NEW BEST:: SOT 15869 SOS 2769 HAS SOPS 2769 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.769
AT ITER 4346 NEW BEST:: SOT 15869 SOS 2765 HAS SOPS 2765 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.765
AT ITER 4396 NEW BEST:: SOT 15867 SOS 2762 HAS SOPS 2762 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2180.762
AT ITER 4420 NEW BEST:: SOT 15873 SOS 2774 HAS SOPS 2774 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.774
AT ITER 4672 NEW BEST:: SOT 15872 SOS 2771 HAS SOPS 2771 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.771
AT ITER 4678 NEW BEST:: SOT 15872 SOS 2770 HAS SOPS 2770 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.77
AT ITER 4737 NEW BEST:: SOT 15875 SOS 2779 HAS SOPS 2779 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.779
AT ITER 4751 NEW BEST:: SOT 15875 SOS 2777 HAS SOPS 2777 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.777
AT ITER 4811 NEW BEST:: SOT 15869 SOS 2769 HAS SOPS 2769 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.769
AT ITER 4905 NEW BEST:: SOT 15859 SOS 2744 HAS SOPS 2744 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.744
AT ITER 4997 NEW BEST:: SOT 15858 SOS 2740 HAS SOPS 2740 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.74
AT ITER 5159 NEW BEST:: SOT 15856 SOS 2732 HAS SOPS 2732 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.732
AT ITER 5270 NEW BEST:: SOT 15851 SOS 2728 HAS SOPS 2728 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.728
AT ITER 5368 NEW BEST:: SOT 15849 SOS 2725 HAS SOPS 2725 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2136.725
AT ITER 5369 NEW BEST:: SOT 15848 SOS 2720 HAS SOPS 2720 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.72
AT ITER 5383 NEW BEST:: SOT 15848 SOS 2718 HAS SOPS 2718 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.718
AT ITER 5536 NEW BEST:: SOT 15848 SOS 2715 HAS SOPS 2715 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.715
AT ITER 5612 NEW BEST:: SOT 15848 SOS 2717 HAS SOPS 2717 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.717
AT ITER 5819 NEW BEST:: SOT 15847 SOS 2714 HAS SOPS 2714 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2130.714
AT ITER 5925 NEW BEST:: SOT 15847 SOS 2712 HAS SOPS 2712 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.712
AT ITER 5974 NEW BEST:: SOT 15844 SOS 2703 HAS SOPS 2703 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.703
AT ITER 5986 NEW BEST:: SOT 15843 SOS 2700 HAS SOPS 2700 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.7
AT ITER 6120 NEW BEST:: SOT 15844 SOS 2698 HAS SOPS 2698 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.698
AT ITER 6185 NEW BEST:: SOT 15841 SOS 2689 HAS SOPS 2689 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.689
AT ITER 6223 NEW BEST:: SOT 15840 SOS 2686 HAS SOPS 2686 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.686
AT ITER 6560 NEW BEST:: SOT 15840 SOS 2686 HAS SOPS 2686 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.686
AT ITER 6589 NEW BEST:: SOT 15842 SOS 2689 HAS SOPS 2689 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.689
AT ITER 6645 NEW BEST:: SOT 15841 SOS 2686 HAS SOPS 2686 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.686
AT ITER 6671 NEW BEST:: SOT 15839 SOS 2684 HAS SOPS 2684 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.684
AT ITER 6759 NEW BEST:: SOT 15839 SOS 2684 HAS SOPS 2684 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.684
AT ITER 6764 NEW BEST:: SOT 15839 SOS 2681 HAS SOPS 2681 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.681
AT ITER 7062 NEW BEST:: SOT 15838 SOS 2679 HAS SOPS 2679 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.679
AT ITER 7093 NEW BEST:: SOT 15836 SOS 2678 HAS SOPS 2678 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.678
AT ITER 7638 NEW BEST:: SOT 15833 SOS 2669 HAS SOPS 2669 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2089.669
AT ITER 7707 NEW BEST:: SOT 15832 SOS 2667 HAS SOPS 2667 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.667
AT ITER 7745 NEW BEST:: SOT 15832 SOS 2666 HAS SOPS 2666 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.666
AT ITER 7806 NEW BEST:: SOT 15830 SOS 2663 HAS SOPS 2663 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.663
AT ITER 8117 NEW BEST:: SOT 15830 SOS 2655 HAS SOPS 2655 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.655
AT ITER 8163 NEW BEST:: SOT 15827 SOS 2646 HAS SOPS 2646 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.646
AT ITER 8164 NEW BEST:: SOT 15826 SOS 2643 HAS SOPS 2643 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.643
AT ITER 8606 NEW BEST:: SOT 15827 SOS 2643 HAS SOPS 2643 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.643
AT ITER 8618 NEW BEST:: SOT 15825 SOS 2637 HAS SOPS 2637 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.637
AT ITER 8674 NEW BEST:: SOT 15825 SOS 2637 HAS SOPS 2637 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.637
AT ITER 8719 NEW BEST:: SOT 15825 SOS 2634 HAS SOPS 2634 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.634
AT ITER 8880 NEW BEST:: SOT 15825 SOS 2632 HAS SOPS 2632 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.632
AT ITER 8936 NEW BEST:: SOT 15824 SOS 2627 HAS SOPS 2627 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2064.627
AT ITER 9056 NEW BEST:: SOT 15824 SOS 2627 HAS SOPS 2627 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.627
AT ITER 9935 NEW BEST:: SOT 15823 SOS 2616 HAS SOPS 2616 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.616
AT ITER 9942 NEW BEST:: SOT 15822 SOS 2615 HAS SOPS 2615 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.615

BK_STOP 1679179208898

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 Killed ${SMART}/smart ${INPUT_SM}

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="TriangularGrid-PT-4022"
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 TriangularGrid-PT-4022, 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 r483-tall-167912696100752"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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