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-158961250100128.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 NQueens-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.5K Apr 8 13:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 13:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 7 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 7 16:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 6 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 6 02:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 60K Mar 24 05:37 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 1589637812474

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

Filename model.pnml
Petri model created: 112 places, 64 transitions, 320 arcs.
AT ITER 0 NEW BEST:: SOT 5307 SOS 3334 HAS SOPS 3334 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.334
AT ITER 6 NEW BEST:: SOT 5216 SOS 3268 HAS SOPS 3268 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3106.268
AT ITER 7 NEW BEST:: SOT 5185 SOS 3270 HAS SOPS 3270 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.27
AT ITER 11 NEW BEST:: SOT 5185 SOS 3215 HAS SOPS 3215 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.215
AT ITER 12 NEW BEST:: SOT 5149 SOS 3232 HAS SOPS 3232 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.232
AT ITER 27 NEW BEST:: SOT 5127 SOS 3239 HAS SOPS 3239 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.239
AT ITER 28 NEW BEST:: SOT 5127 SOS 3235 HAS SOPS 3235 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.235
AT ITER 31 NEW BEST:: SOT 5127 SOS 3232 HAS SOPS 3232 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.232
AT ITER 34 NEW BEST:: SOT 5127 SOS 3224 HAS SOPS 3224 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.224
AT ITER 40 NEW BEST:: SOT 5059 SOS 3434 HAS SOPS 3434 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.434
AT ITER 41 NEW BEST:: SOT 5059 SOS 3430 HAS SOPS 3430 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.43
AT ITER 45 NEW BEST:: SOT 5048 SOS 3388 HAS SOPS 3388 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 2996.388
AT ITER 55 NEW BEST:: SOT 5018 SOS 3359 HAS SOPS 3359 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.359
AT ITER 56 NEW BEST:: SOT 5018 SOS 3331 HAS SOPS 3331 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.331
AT ITER 58 NEW BEST:: SOT 5023 SOS 3336 HAS SOPS 3336 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2961.336
AT ITER 70 NEW BEST:: SOT 5001 SOS 3296 HAS SOPS 3296 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.296
AT ITER 80 NEW BEST:: SOT 4985 SOS 3302 HAS SOPS 3302 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.302
AT ITER 82 NEW BEST:: SOT 4958 SOS 3275 HAS SOPS 3275 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.275
AT ITER 87 NEW BEST:: SOT 4958 SOS 3268 HAS SOPS 3268 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.268
AT ITER 89 NEW BEST:: SOT 4960 SOS 3270 HAS SOPS 3270 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.27
AT ITER 95 NEW BEST:: SOT 4957 SOS 3223 HAS SOPS 3223 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2879.223
AT ITER 104 NEW BEST:: SOT 4951 SOS 3217 HAS SOPS 3217 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.217
AT ITER 105 NEW BEST:: SOT 4954 SOS 3217 HAS SOPS 3217 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.217
AT ITER 113 NEW BEST:: SOT 4944 SOS 3060 HAS SOPS 3060 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2861.06
AT ITER 120 NEW BEST:: SOT 4959 SOS 3070 HAS SOPS 3070 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.07
AT ITER 125 NEW BEST:: SOT 4982 SOS 3055 HAS SOPS 3055 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.055
AT ITER 146 NEW BEST:: SOT 4976 SOS 3049 HAS SOPS 3049 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.049
AT ITER 150 NEW BEST:: SOT 4978 SOS 3051 HAS SOPS 3051 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2841.051
AT ITER 165 NEW BEST:: SOT 4978 SOS 3025 HAS SOPS 3025 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2841.025
AT ITER 166 NEW BEST:: SOT 4978 SOS 3022 HAS SOPS 3022 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2841.022
AT ITER 188 NEW BEST:: SOT 4968 SOS 3076 HAS SOPS 3076 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2831.076
AT ITER 197 NEW BEST:: SOT 4971 SOS 3079 HAS SOPS 3079 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.079
AT ITER 202 NEW BEST:: SOT 4960 SOS 3057 HAS SOPS 3057 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.057
AT ITER 214 NEW BEST:: SOT 4957 SOS 3048 HAS SOPS 3048 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.048
AT ITER 221 NEW BEST:: SOT 4948 SOS 3073 HAS SOPS 3073 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2805.073
AT ITER 227 NEW BEST:: SOT 4944 SOS 3065 HAS SOPS 3065 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.065
AT ITER 228 NEW BEST:: SOT 4929 SOS 3077 HAS SOPS 3077 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2793.077
AT ITER 234 NEW BEST:: SOT 4923 SOS 3071 HAS SOPS 3071 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2787.071
AT ITER 235 NEW BEST:: SOT 4923 SOS 3059 HAS SOPS 3059 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2787.059
AT ITER 248 NEW BEST:: SOT 4924 SOS 3057 HAS SOPS 3057 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2779.057
AT ITER 273 NEW BEST:: SOT 4920 SOS 3053 HAS SOPS 3053 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.053
AT ITER 277 NEW BEST:: SOT 4903 SOS 3038 HAS SOPS 3038 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.038
AT ITER 306 NEW BEST:: SOT 4903 SOS 3035 HAS SOPS 3035 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.035
AT ITER 308 NEW BEST:: SOT 4899 SOS 3024 HAS SOPS 3024 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.024
AT ITER 309 NEW BEST:: SOT 4915 SOS 3040 HAS SOPS 3040 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.04
AT ITER 310 NEW BEST:: SOT 4915 SOS 3040 HAS SOPS 3040 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2739.04
AT ITER 312 NEW BEST:: SOT 4911 SOS 3036 HAS SOPS 3036 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.036
AT ITER 318 NEW BEST:: SOT 4905 SOS 3030 HAS SOPS 3030 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2729.03
AT ITER 324 NEW BEST:: SOT 4905 SOS 3024 HAS SOPS 3024 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.024
AT ITER 331 NEW BEST:: SOT 4909 SOS 3021 HAS SOPS 3021 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2713.021
AT ITER 335 NEW BEST:: SOT 4910 SOS 2995 HAS SOPS 2995 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.995
AT ITER 337 NEW BEST:: SOT 4910 SOS 2963 HAS SOPS 2963 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.963
AT ITER 342 NEW BEST:: SOT 4892 SOS 3025 HAS SOPS 3025 HAS SOUS 2705 HAS SOUPS 2705 WITH SCORE 2708.025
AT ITER 347 NEW BEST:: SOT 4892 SOS 3022 HAS SOPS 3022 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.022
AT ITER 352 NEW BEST:: SOT 4887 SOS 3015 HAS SOPS 3015 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2694.015
AT ITER 361 NEW BEST:: SOT 4884 SOS 3012 HAS SOPS 3012 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2691.012
AT ITER 368 NEW BEST:: SOT 4880 SOS 3061 HAS SOPS 3061 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2687.061
AT ITER 383 NEW BEST:: SOT 4880 SOS 3013 HAS SOPS 3013 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2687.013
AT ITER 396 NEW BEST:: SOT 4876 SOS 3009 HAS SOPS 3009 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2683.009
AT ITER 399 NEW BEST:: SOT 4876 SOS 3006 HAS SOPS 3006 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2683.006
AT ITER 409 NEW BEST:: SOT 4873 SOS 3014 HAS SOPS 3014 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2681.014
AT ITER 414 NEW BEST:: SOT 4881 SOS 3011 HAS SOPS 3011 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2674.011
AT ITER 430 NEW BEST:: SOT 4894 SOS 2984 HAS SOPS 2984 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2673.984
AT ITER 433 NEW BEST:: SOT 4885 SOS 2975 HAS SOPS 2975 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2664.975
AT ITER 439 NEW BEST:: SOT 4879 SOS 2974 HAS SOPS 2974 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2663.974
AT ITER 464 NEW BEST:: SOT 4878 SOS 2973 HAS SOPS 2973 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2663.973
AT ITER 471 NEW BEST:: SOT 4894 SOS 2981 HAS SOPS 2981 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2661.981
AT ITER 512 NEW BEST:: SOT 4894 SOS 2977 HAS SOPS 2977 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.977
AT ITER 535 NEW BEST:: SOT 4893 SOS 2978 HAS SOPS 2978 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2656.978
AT ITER 546 NEW BEST:: SOT 4893 SOS 2973 HAS SOPS 2973 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2656.973
AT ITER 548 NEW BEST:: SOT 4888 SOS 2967 HAS SOPS 2967 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2656.967
AT ITER 565 NEW BEST:: SOT 4887 SOS 2966 HAS SOPS 2966 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2655.966
AT ITER 575 NEW BEST:: SOT 4885 SOS 2955 HAS SOPS 2955 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2653.955
AT ITER 576 NEW BEST:: SOT 4884 SOS 2954 HAS SOPS 2954 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.954
AT ITER 577 NEW BEST:: SOT 4878 SOS 2952 HAS SOPS 2952 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2650.952
AT ITER 579 NEW BEST:: SOT 4878 SOS 2948 HAS SOPS 2948 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.948
AT ITER 581 NEW BEST:: SOT 4878 SOS 2958 HAS SOPS 2958 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2648.958
AT ITER 627 NEW BEST:: SOT 4878 SOS 2954 HAS SOPS 2954 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2644.954
AT ITER 644 NEW BEST:: SOT 4875 SOS 2951 HAS SOPS 2951 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2641.951
AT ITER 649 NEW BEST:: SOT 4877 SOS 2936 HAS SOPS 2936 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2636.936
AT ITER 669 NEW BEST:: SOT 4870 SOS 2927 HAS SOPS 2927 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2629.927
AT ITER 687 NEW BEST:: SOT 4865 SOS 2921 HAS SOPS 2921 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2625.921
AT ITER 709 NEW BEST:: SOT 4865 SOS 2915 HAS SOPS 2915 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2619.915
AT ITER 710 NEW BEST:: SOT 4865 SOS 2898 HAS SOPS 2898 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2619.898
AT ITER 725 NEW BEST:: SOT 4865 SOS 2897 HAS SOPS 2897 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2619.897
AT ITER 755 NEW BEST:: SOT 4865 SOS 2907 HAS SOPS 2907 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.907
AT ITER 763 NEW BEST:: SOT 4865 SOS 2890 HAS SOPS 2890 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.89
AT ITER 783 NEW BEST:: SOT 4865 SOS 2887 HAS SOPS 2887 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2613.887
AT ITER 784 NEW BEST:: SOT 4859 SOS 2881 HAS SOPS 2881 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.881
AT ITER 813 NEW BEST:: SOT 4852 SOS 2888 HAS SOPS 2888 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2602.888
AT ITER 850 NEW BEST:: SOT 4849 SOS 2979 HAS SOPS 2979 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.979
AT ITER 855 NEW BEST:: SOT 4825 SOS 2954 HAS SOPS 2954 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.954
AT ITER 859 NEW BEST:: SOT 4843 SOS 2947 HAS SOPS 2947 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.947
AT ITER 889 NEW BEST:: SOT 4843 SOS 2939 HAS SOPS 2939 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.939
AT ITER 896 NEW BEST:: SOT 4843 SOS 2940 HAS SOPS 2940 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.94
AT ITER 948 NEW BEST:: SOT 4840 SOS 3006 HAS SOPS 3006 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2593.006
AT ITER 984 NEW BEST:: SOT 4835 SOS 3009 HAS SOPS 3009 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2590.009
AT ITER 1011 NEW BEST:: SOT 4835 SOS 3011 HAS SOPS 3011 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2585.011
AT ITER 1042 NEW BEST:: SOT 4817 SOS 3005 HAS SOPS 3005 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2578.005
AT ITER 1071 NEW BEST:: SOT 4810 SOS 2988 HAS SOPS 2988 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2559.988
AT ITER 1080 NEW BEST:: SOT 4805 SOS 2998 HAS SOPS 2998 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2554.998
AT ITER 1091 NEW BEST:: SOT 4799 SOS 2992 HAS SOPS 2992 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.992
AT ITER 1096 NEW BEST:: SOT 4799 SOS 2990 HAS SOPS 2990 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.99
AT ITER 1102 NEW BEST:: SOT 4793 SOS 2984 HAS SOPS 2984 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2542.984
AT ITER 1127 NEW BEST:: SOT 4793 SOS 2935 HAS SOPS 2935 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2542.935
AT ITER 1143 NEW BEST:: SOT 4793 SOS 2864 HAS SOPS 2864 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.864
AT ITER 1157 NEW BEST:: SOT 4776 SOS 2919 HAS SOPS 2919 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.919
AT ITER 1236 NEW BEST:: SOT 4772 SOS 2923 HAS SOPS 2923 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.923
AT ITER 1277 NEW BEST:: SOT 4765 SOS 2916 HAS SOPS 2916 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.916
AT ITER 1306 NEW BEST:: SOT 4758 SOS 2909 HAS SOPS 2909 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2517.909
AT ITER 1308 NEW BEST:: SOT 4758 SOS 2900 HAS SOPS 2900 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2517.9
AT ITER 1343 NEW BEST:: SOT 4753 SOS 2895 HAS SOPS 2895 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2514.895
AT ITER 1371 NEW BEST:: SOT 4751 SOS 2891 HAS SOPS 2891 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2513.891
AT ITER 1403 NEW BEST:: SOT 4749 SOS 2901 HAS SOPS 2901 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2511.901
AT ITER 1424 NEW BEST:: SOT 4749 SOS 2900 HAS SOPS 2900 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2510.9
AT ITER 1428 NEW BEST:: SOT 4746 SOS 2897 HAS SOPS 2897 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.897
AT ITER 1496 NEW BEST:: SOT 4746 SOS 2896 HAS SOPS 2896 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.896
AT ITER 1505 NEW BEST:: SOT 4737 SOS 2887 HAS SOPS 2887 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.887
AT ITER 1508 NEW BEST:: SOT 4734 SOS 2884 HAS SOPS 2884 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2503.884
AT ITER 1516 NEW BEST:: SOT 4734 SOS 2884 HAS SOPS 2884 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2500.884
AT ITER 1520 NEW BEST:: SOT 4737 SOS 2873 HAS SOPS 2873 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2500.873
AT ITER 1547 NEW BEST:: SOT 4737 SOS 2873 HAS SOPS 2873 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.873
AT ITER 1665 NEW BEST:: SOT 4737 SOS 2873 HAS SOPS 2873 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.873
AT ITER 1725 NEW BEST:: SOT 4733 SOS 2869 HAS SOPS 2869 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2494.869
AT ITER 1729 NEW BEST:: SOT 4733 SOS 2868 HAS SOPS 2868 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.868
AT ITER 1739 NEW BEST:: SOT 4729 SOS 2864 HAS SOPS 2864 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2491.864
AT ITER 1789 NEW BEST:: SOT 4726 SOS 2864 HAS SOPS 2864 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2490.864
AT ITER 1799 NEW BEST:: SOT 4725 SOS 2869 HAS SOPS 2869 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2489.869
AT ITER 1836 NEW BEST:: SOT 4721 SOS 2904 HAS SOPS 2904 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.904
AT ITER 1841 NEW BEST:: SOT 4718 SOS 2901 HAS SOPS 2901 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.901
AT ITER 1961 NEW BEST:: SOT 4718 SOS 2894 HAS SOPS 2894 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.894
AT ITER 1967 NEW BEST:: SOT 4714 SOS 2890 HAS SOPS 2890 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.89
AT ITER 2036 NEW BEST:: SOT 4710 SOS 2886 HAS SOPS 2886 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.886
AT ITER 2132 NEW BEST:: SOT 4702 SOS 2894 HAS SOPS 2894 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.894
AT ITER 2174 NEW BEST:: SOT 4701 SOS 2927 HAS SOPS 2927 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.927
AT ITER 2236 NEW BEST:: SOT 4700 SOS 2926 HAS SOPS 2926 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2468.926
AT ITER 2362 NEW BEST:: SOT 4699 SOS 2925 HAS SOPS 2925 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.925
AT ITER 2380 NEW BEST:: SOT 4692 SOS 2918 HAS SOPS 2918 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.918
AT ITER 2387 NEW BEST:: SOT 4670 SOS 2919 HAS SOPS 2919 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.919
AT ITER 2485 NEW BEST:: SOT 4670 SOS 2913 HAS SOPS 2913 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.913
AT ITER 2500 NEW BEST:: SOT 4670 SOS 2912 HAS SOPS 2912 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.912
AT ITER 2508 NEW BEST:: SOT 4670 SOS 2911 HAS SOPS 2911 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.911
AT ITER 2512 NEW BEST:: SOT 4670 SOS 2913 HAS SOPS 2913 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.913
AT ITER 2513 NEW BEST:: SOT 4672 SOS 2900 HAS SOPS 2900 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.9
AT ITER 2538 NEW BEST:: SOT 4667 SOS 2895 HAS SOPS 2895 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2443.895
AT ITER 2615 NEW BEST:: SOT 4670 SOS 2898 HAS SOPS 2898 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.898
AT ITER 2672 NEW BEST:: SOT 4670 SOS 2877 HAS SOPS 2877 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2437.877
AT ITER 2699 NEW BEST:: SOT 4664 SOS 2873 HAS SOPS 2873 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2429.873
AT ITER 2722 NEW BEST:: SOT 4649 SOS 2877 HAS SOPS 2877 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2412.877
AT ITER 2727 NEW BEST:: SOT 4645 SOS 2873 HAS SOPS 2873 HAS SOUS 2406 HAS SOUPS 2406 WITH SCORE 2408.873
AT ITER 2810 NEW BEST:: SOT 4645 SOS 2873 HAS SOPS 2873 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.873
AT ITER 2823 NEW BEST:: SOT 4645 SOS 2870 HAS SOPS 2870 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.87
AT ITER 2863 NEW BEST:: SOT 4645 SOS 2869 HAS SOPS 2869 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.869
AT ITER 2909 NEW BEST:: SOT 4645 SOS 2860 HAS SOPS 2860 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.86
AT ITER 2915 NEW BEST:: SOT 4645 SOS 2858 HAS SOPS 2858 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.858
AT ITER 2959 NEW BEST:: SOT 4642 SOS 2855 HAS SOPS 2855 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.855
AT ITER 2968 NEW BEST:: SOT 4655 SOS 2867 HAS SOPS 2867 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.867
AT ITER 3063 NEW BEST:: SOT 4656 SOS 2868 HAS SOPS 2868 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.868
AT ITER 3070 NEW BEST:: SOT 4655 SOS 2867 HAS SOPS 2867 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.867
AT ITER 3191 NEW BEST:: SOT 4655 SOS 2866 HAS SOPS 2866 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2390.866
AT ITER 3393 NEW BEST:: SOT 4654 SOS 2865 HAS SOPS 2865 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.865
AT ITER 3408 NEW BEST:: SOT 4651 SOS 2864 HAS SOPS 2864 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2388.864
AT ITER 3430 NEW BEST:: SOT 4649 SOS 2862 HAS SOPS 2862 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.862
AT ITER 3447 NEW BEST:: SOT 4649 SOS 2862 HAS SOPS 2862 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.862
AT ITER 3458 NEW BEST:: SOT 4649 SOS 2862 HAS SOPS 2862 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.862
AT ITER 3477 NEW BEST:: SOT 4651 SOS 2860 HAS SOPS 2860 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.86
AT ITER 3504 NEW BEST:: SOT 4649 SOS 2864 HAS SOPS 2864 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.864
AT ITER 3523 NEW BEST:: SOT 4641 SOS 2850 HAS SOPS 2850 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.85
AT ITER 3535 NEW BEST:: SOT 4641 SOS 2843 HAS SOPS 2843 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.843
AT ITER 3610 NEW BEST:: SOT 4640 SOS 2848 HAS SOPS 2848 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.848
AT ITER 3732 NEW BEST:: SOT 4627 SOS 2838 HAS SOPS 2838 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.838
AT ITER 3778 NEW BEST:: SOT 4623 SOS 2845 HAS SOPS 2845 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.845
AT ITER 3780 NEW BEST:: SOT 4607 SOS 2898 HAS SOPS 2898 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2357.898
AT ITER 3836 NEW BEST:: SOT 4607 SOS 2898 HAS SOPS 2898 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.898
AT ITER 3866 NEW BEST:: SOT 4607 SOS 2896 HAS SOPS 2896 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.896
AT ITER 3883 NEW BEST:: SOT 4581 SOS 2915 HAS SOPS 2915 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.915
AT ITER 3901 NEW BEST:: SOT 4581 SOS 2899 HAS SOPS 2899 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.899
AT ITER 3911 NEW BEST:: SOT 4581 SOS 2899 HAS SOPS 2899 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.899
AT ITER 3932 NEW BEST:: SOT 4579 SOS 2897 HAS SOPS 2897 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.897
AT ITER 4005 NEW BEST:: SOT 4575 SOS 2893 HAS SOPS 2893 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.893
AT ITER 4079 NEW BEST:: SOT 4575 SOS 2891 HAS SOPS 2891 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2340.891
AT ITER 4095 NEW BEST:: SOT 4574 SOS 2890 HAS SOPS 2890 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.89
AT ITER 4125 NEW BEST:: SOT 4567 SOS 2883 HAS SOPS 2883 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2333.883
AT ITER 4208 NEW BEST:: SOT 4566 SOS 2882 HAS SOPS 2882 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.882
AT ITER 4228 NEW BEST:: SOT 4566 SOS 2882 HAS SOPS 2882 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.882
AT ITER 4269 NEW BEST:: SOT 4558 SOS 2874 HAS SOPS 2874 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.874
AT ITER 4374 NEW BEST:: SOT 4557 SOS 2873 HAS SOPS 2873 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.873
AT ITER 4390 NEW BEST:: SOT 4556 SOS 2903 HAS SOPS 2903 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.903
AT ITER 4392 NEW BEST:: SOT 4554 SOS 2901 HAS SOPS 2901 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.901
AT ITER 4562 NEW BEST:: SOT 4553 SOS 2906 HAS SOPS 2906 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.906
AT ITER 4621 NEW BEST:: SOT 4553 SOS 2906 HAS SOPS 2906 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.906
AT ITER 4636 NEW BEST:: SOT 4552 SOS 2905 HAS SOPS 2905 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.905
AT ITER 4669 NEW BEST:: SOT 4546 SOS 2900 HAS SOPS 2900 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.9
AT ITER 4721 NEW BEST:: SOT 4545 SOS 2899 HAS SOPS 2899 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.899
AT ITER 4754 NEW BEST:: SOT 4544 SOS 2898 HAS SOPS 2898 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.898
AT ITER 5002 NEW BEST:: SOT 4543 SOS 2911 HAS SOPS 2911 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.911
AT ITER 5164 NEW BEST:: SOT 4546 SOS 2911 HAS SOPS 2911 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.911
AT ITER 5247 NEW BEST:: SOT 4546 SOS 2901 HAS SOPS 2901 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.901
AT ITER 5486 NEW BEST:: SOT 4538 SOS 2903 HAS SOPS 2903 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.903
AT ITER 5496 NEW BEST:: SOT 4537 SOS 2902 HAS SOPS 2902 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.902
AT ITER 5562 NEW BEST:: SOT 4537 SOS 2902 HAS SOPS 2902 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.902
AT ITER 5583 NEW BEST:: SOT 4537 SOS 2894 HAS SOPS 2894 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.894
AT ITER 5737 NEW BEST:: SOT 4537 SOS 2894 HAS SOPS 2894 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.894
AT ITER 5812 NEW BEST:: SOT 4536 SOS 2891 HAS SOPS 2891 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.891
AT ITER 5892 NEW BEST:: SOT 4532 SOS 2887 HAS SOPS 2887 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.887
AT ITER 6314 NEW BEST:: SOT 4531 SOS 2892 HAS SOPS 2892 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2295.892
AT ITER 6643 NEW BEST:: SOT 4527 SOS 2888 HAS SOPS 2888 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.888
AT ITER 6671 NEW BEST:: SOT 4524 SOS 2885 HAS SOPS 2885 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2288.885
AT ITER 6799 NEW BEST:: SOT 4522 SOS 2883 HAS SOPS 2883 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2286.883
AT ITER 7095 NEW BEST:: SOT 4520 SOS 2881 HAS SOPS 2881 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.881
AT ITER 7273 NEW BEST:: SOT 4518 SOS 2885 HAS SOPS 2885 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.885
AT ITER 7470 NEW BEST:: SOT 4517 SOS 2883 HAS SOPS 2883 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.883
AT ITER 7576 NEW BEST:: SOT 4516 SOS 2882 HAS SOPS 2882 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.882
AT ITER 7591 NEW BEST:: SOT 4514 SOS 2880 HAS SOPS 2880 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.88
AT ITER 7598 NEW BEST:: SOT 4513 SOS 2879 HAS SOPS 2879 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.879
AT ITER 7672 NEW BEST:: SOT 4513 SOS 2878 HAS SOPS 2878 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.878
AT ITER 7716 NEW BEST:: SOT 4512 SOS 2897 HAS SOPS 2897 HAS SOUS 2277 HAS SOUPS 2277 WITH SCORE 2279.897
AT ITER 8002 NEW BEST:: SOT 4509 SOS 2894 HAS SOPS 2894 HAS SOUS 2277 HAS SOUPS 2277 WITH SCORE 2279.894
AT ITER 8205 NEW BEST:: SOT 4509 SOS 2894 HAS SOPS 2894 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.894
AT ITER 8399 NEW BEST:: SOT 4522 SOS 2906 HAS SOPS 2906 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.906
AT ITER 8428 NEW BEST:: SOT 4519 SOS 2903 HAS SOPS 2903 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.903
AT ITER 8500 NEW BEST:: SOT 4517 SOS 2901 HAS SOPS 2901 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.901
AT ITER 8687 NEW BEST:: SOT 4516 SOS 2900 HAS SOPS 2900 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.9
AT ITER 8730 NEW BEST:: SOT 4516 SOS 2900 HAS SOPS 2900 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.9
AT ITER 8795 NEW BEST:: SOT 4512 SOS 2896 HAS SOPS 2896 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.896
AT ITER 9033 NEW BEST:: SOT 4512 SOS 2896 HAS SOPS 2896 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.896
AT ITER 9249 NEW BEST:: SOT 4511 SOS 2895 HAS SOPS 2895 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.895
AT ITER 9286 NEW BEST:: SOT 4509 SOS 2905 HAS SOPS 2905 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.905
AT ITER 9934 NEW BEST:: SOT 4509 SOS 2902 HAS SOPS 2902 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.902
STATE_SPACE STATES 118969 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 48 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 564880 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589637837889

--------------------
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="NQueens-PT-08"
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 NQueens-PT-08, 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-158961250100128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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