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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 8.0K Feb 26 17:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 17:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 17:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 17:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 17:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 17:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 65K Mar 5 18:22 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 1678655574315

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=NQueens-PT-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 08
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: 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 9 NEW BEST:: SOT 5265 SOS 3298 HAS SOPS 3298 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3136.298
AT ITER 12 NEW BEST:: SOT 5223 SOS 3258 HAS SOPS 3258 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3093.258
AT ITER 14 NEW BEST:: SOT 5201 SOS 3241 HAS SOPS 3241 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.241
AT ITER 17 NEW BEST:: SOT 5160 SOS 3200 HAS SOPS 3200 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.2
AT ITER 25 NEW BEST:: SOT 5160 SOS 3182 HAS SOPS 3182 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3030.182
AT ITER 26 NEW BEST:: SOT 5094 SOS 3126 HAS SOPS 3126 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2974.126
AT ITER 28 NEW BEST:: SOT 5092 SOS 3124 HAS SOPS 3124 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.124
AT ITER 33 NEW BEST:: SOT 5092 SOS 3120 HAS SOPS 3120 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.12
AT ITER 42 NEW BEST:: SOT 5073 SOS 3131 HAS SOPS 3131 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2961.131
AT ITER 45 NEW BEST:: SOT 5071 SOS 3121 HAS SOPS 3121 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2951.121
AT ITER 51 NEW BEST:: SOT 5061 SOS 3111 HAS SOPS 3111 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.111
AT ITER 67 NEW BEST:: SOT 5058 SOS 3102 HAS SOPS 3102 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2923.102
AT ITER 69 NEW BEST:: SOT 5058 SOS 3072 HAS SOPS 3072 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2923.072
AT ITER 80 NEW BEST:: SOT 5058 SOS 3067 HAS SOPS 3067 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2923.067
AT ITER 86 NEW BEST:: SOT 5029 SOS 3038 HAS SOPS 3038 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.038
AT ITER 88 NEW BEST:: SOT 5009 SOS 3022 HAS SOPS 3022 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2883.022
AT ITER 106 NEW BEST:: SOT 4999 SOS 3005 HAS SOPS 3005 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.005
AT ITER 108 NEW BEST:: SOT 4999 SOS 2983 HAS SOPS 2983 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2873.983
AT ITER 111 NEW BEST:: SOT 4999 SOS 2954 HAS SOPS 2954 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2873.954
AT ITER 129 NEW BEST:: SOT 4999 SOS 2951 HAS SOPS 2951 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2870.951
AT ITER 137 NEW BEST:: SOT 4998 SOS 2950 HAS SOPS 2950 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2869.95
AT ITER 142 NEW BEST:: SOT 4998 SOS 2942 HAS SOPS 2942 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2869.942
AT ITER 151 NEW BEST:: SOT 4981 SOS 2976 HAS SOPS 2976 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2862.976
AT ITER 172 NEW BEST:: SOT 4975 SOS 2972 HAS SOPS 2972 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2855.972
AT ITER 174 NEW BEST:: SOT 4966 SOS 2963 HAS SOPS 2963 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2846.963
AT ITER 201 NEW BEST:: SOT 4964 SOS 2961 HAS SOPS 2961 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2844.961
AT ITER 212 NEW BEST:: SOT 4964 SOS 2932 HAS SOPS 2932 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2831.932
AT ITER 217 NEW BEST:: SOT 4962 SOS 2912 HAS SOPS 2912 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2819.912
AT ITER 218 NEW BEST:: SOT 4955 SOS 2905 HAS SOPS 2905 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2812.905
AT ITER 220 NEW BEST:: SOT 4952 SOS 2902 HAS SOPS 2902 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2809.902
AT ITER 231 NEW BEST:: SOT 4952 SOS 2894 HAS SOPS 2894 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2809.894
AT ITER 237 NEW BEST:: SOT 4948 SOS 2893 HAS SOPS 2893 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2806.893
AT ITER 238 NEW BEST:: SOT 4948 SOS 2984 HAS SOPS 2984 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2802.984
AT ITER 240 NEW BEST:: SOT 4928 SOS 2995 HAS SOPS 2995 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2798.995
AT ITER 273 NEW BEST:: SOT 4924 SOS 2991 HAS SOPS 2991 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2794.991
AT ITER 289 NEW BEST:: SOT 4916 SOS 2976 HAS SOPS 2976 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2784.976
AT ITER 296 NEW BEST:: SOT 4916 SOS 2970 HAS SOPS 2970 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2784.97
AT ITER 297 NEW BEST:: SOT 4916 SOS 2897 HAS SOPS 2897 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2784.897
AT ITER 303 NEW BEST:: SOT 4916 SOS 2890 HAS SOPS 2890 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2775.89
AT ITER 327 NEW BEST:: SOT 4886 SOS 2890 HAS SOPS 2890 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2759.89
AT ITER 328 NEW BEST:: SOT 4886 SOS 2887 HAS SOPS 2887 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2758.887
AT ITER 336 NEW BEST:: SOT 4885 SOS 2886 HAS SOPS 2886 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2757.886
AT ITER 359 NEW BEST:: SOT 4885 SOS 2883 HAS SOPS 2883 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2754.883
AT ITER 365 NEW BEST:: SOT 4885 SOS 2874 HAS SOPS 2874 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2754.874
AT ITER 371 NEW BEST:: SOT 4884 SOS 2873 HAS SOPS 2873 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2753.873
AT ITER 378 NEW BEST:: SOT 4880 SOS 2865 HAS SOPS 2865 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2744.865
AT ITER 387 NEW BEST:: SOT 4880 SOS 2862 HAS SOPS 2862 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2741.862
AT ITER 410 NEW BEST:: SOT 4880 SOS 2854 HAS SOPS 2854 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2741.854
AT ITER 416 NEW BEST:: SOT 4878 SOS 2865 HAS SOPS 2865 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2737.865
AT ITER 428 NEW BEST:: SOT 4878 SOS 2917 HAS SOPS 2917 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2726.917
AT ITER 437 NEW BEST:: SOT 4875 SOS 2914 HAS SOPS 2914 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2721.914
AT ITER 475 NEW BEST:: SOT 4868 SOS 2900 HAS SOPS 2900 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.9
AT ITER 501 NEW BEST:: SOT 4868 SOS 2879 HAS SOPS 2879 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.879
AT ITER 515 NEW BEST:: SOT 4868 SOS 2876 HAS SOPS 2876 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.876
AT ITER 537 NEW BEST:: SOT 4868 SOS 2875 HAS SOPS 2875 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.875
AT ITER 547 NEW BEST:: SOT 4868 SOS 2859 HAS SOPS 2859 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.859
AT ITER 550 NEW BEST:: SOT 4868 SOS 2837 HAS SOPS 2837 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2708.837
AT ITER 555 NEW BEST:: SOT 4868 SOS 2835 HAS SOPS 2835 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2708.835
AT ITER 564 NEW BEST:: SOT 4868 SOS 2834 HAS SOPS 2834 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2708.834
AT ITER 571 NEW BEST:: SOT 4855 SOS 2927 HAS SOPS 2927 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2704.927
AT ITER 601 NEW BEST:: SOT 4855 SOS 2927 HAS SOPS 2927 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2699.927
AT ITER 613 NEW BEST:: SOT 4855 SOS 2901 HAS SOPS 2901 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2691.901
AT ITER 616 NEW BEST:: SOT 4855 SOS 2878 HAS SOPS 2878 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2691.878
AT ITER 634 NEW BEST:: SOT 4856 SOS 2851 HAS SOPS 2851 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2680.851
AT ITER 654 NEW BEST:: SOT 4856 SOS 2849 HAS SOPS 2849 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2680.849
AT ITER 685 NEW BEST:: SOT 4835 SOS 2836 HAS SOPS 2836 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2673.836
AT ITER 702 NEW BEST:: SOT 4820 SOS 2847 HAS SOPS 2847 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2661.847
AT ITER 716 NEW BEST:: SOT 4810 SOS 2867 HAS SOPS 2867 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2658.867
AT ITER 719 NEW BEST:: SOT 4774 SOS 2893 HAS SOPS 2893 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.893
AT ITER 740 NEW BEST:: SOT 4769 SOS 2883 HAS SOPS 2883 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2644.883
AT ITER 743 NEW BEST:: SOT 4775 SOS 2856 HAS SOPS 2856 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2637.856
AT ITER 757 NEW BEST:: SOT 4772 SOS 2853 HAS SOPS 2853 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.853
AT ITER 773 NEW BEST:: SOT 4772 SOS 2852 HAS SOPS 2852 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.852
AT ITER 785 NEW BEST:: SOT 4759 SOS 2858 HAS SOPS 2858 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2631.858
AT ITER 796 NEW BEST:: SOT 4759 SOS 2857 HAS SOPS 2857 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2631.857
AT ITER 799 NEW BEST:: SOT 4749 SOS 2790 HAS SOPS 2790 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.79
AT ITER 863 NEW BEST:: SOT 4737 SOS 2926 HAS SOPS 2926 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2606.926
AT ITER 869 NEW BEST:: SOT 4709 SOS 3032 HAS SOPS 3032 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2595.032
AT ITER 896 NEW BEST:: SOT 4705 SOS 3028 HAS SOPS 3028 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.028
AT ITER 904 NEW BEST:: SOT 4705 SOS 3024 HAS SOPS 3024 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.024
AT ITER 943 NEW BEST:: SOT 4704 SOS 3023 HAS SOPS 3023 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2589.023
AT ITER 955 NEW BEST:: SOT 4697 SOS 2990 HAS SOPS 2990 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.99
AT ITER 983 NEW BEST:: SOT 4695 SOS 2988 HAS SOPS 2988 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2574.988
AT ITER 992 NEW BEST:: SOT 4678 SOS 2986 HAS SOPS 2986 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.986
AT ITER 1030 NEW BEST:: SOT 4678 SOS 2973 HAS SOPS 2973 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.973
AT ITER 1044 NEW BEST:: SOT 4678 SOS 2961 HAS SOPS 2961 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.961
AT ITER 1074 NEW BEST:: SOT 4678 SOS 2958 HAS SOPS 2958 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2569.958
AT ITER 1078 NEW BEST:: SOT 4678 SOS 2922 HAS SOPS 2922 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.922
AT ITER 1110 NEW BEST:: SOT 4678 SOS 2894 HAS SOPS 2894 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.894
AT ITER 1126 NEW BEST:: SOT 4675 SOS 2888 HAS SOPS 2888 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2562.888
AT ITER 1185 NEW BEST:: SOT 4675 SOS 2887 HAS SOPS 2887 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2562.887
AT ITER 1228 NEW BEST:: SOT 4675 SOS 2886 HAS SOPS 2886 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2560.886
AT ITER 1270 NEW BEST:: SOT 4674 SOS 2885 HAS SOPS 2885 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2559.885
AT ITER 1273 NEW BEST:: SOT 4679 SOS 2888 HAS SOPS 2888 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2558.888
AT ITER 1288 NEW BEST:: SOT 4679 SOS 2885 HAS SOPS 2885 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2558.885
AT ITER 1291 NEW BEST:: SOT 4679 SOS 2899 HAS SOPS 2899 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.899
AT ITER 1298 NEW BEST:: SOT 4676 SOS 2896 HAS SOPS 2896 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2554.896
AT ITER 1306 NEW BEST:: SOT 4658 SOS 2959 HAS SOPS 2959 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.959
AT ITER 1323 NEW BEST:: SOT 4653 SOS 2954 HAS SOPS 2954 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.954
AT ITER 1343 NEW BEST:: SOT 4654 SOS 2948 HAS SOPS 2948 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.948
AT ITER 1358 NEW BEST:: SOT 4654 SOS 2939 HAS SOPS 2939 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.939
AT ITER 1369 NEW BEST:: SOT 4654 SOS 2932 HAS SOPS 2932 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.932
AT ITER 1383 NEW BEST:: SOT 4652 SOS 2930 HAS SOPS 2930 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.93
AT ITER 1393 NEW BEST:: SOT 4649 SOS 2927 HAS SOPS 2927 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.927
AT ITER 1426 NEW BEST:: SOT 4637 SOS 2960 HAS SOPS 2960 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2533.96
AT ITER 1500 NEW BEST:: SOT 4637 SOS 2960 HAS SOPS 2960 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.96
AT ITER 1504 NEW BEST:: SOT 4633 SOS 2955 HAS SOPS 2955 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2521.955
AT ITER 1516 NEW BEST:: SOT 4635 SOS 2945 HAS SOPS 2945 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2517.945
AT ITER 1619 NEW BEST:: SOT 4624 SOS 2937 HAS SOPS 2937 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2511.937
AT ITER 1631 NEW BEST:: SOT 4620 SOS 2933 HAS SOPS 2933 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.933
AT ITER 1632 NEW BEST:: SOT 4620 SOS 2932 HAS SOPS 2932 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.932
AT ITER 1635 NEW BEST:: SOT 4605 SOS 2967 HAS SOPS 2967 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2494.967
AT ITER 1684 NEW BEST:: SOT 4609 SOS 2971 HAS SOPS 2971 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.971
AT ITER 1731 NEW BEST:: SOT 4609 SOS 2972 HAS SOPS 2972 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2491.972
AT ITER 1738 NEW BEST:: SOT 4609 SOS 2972 HAS SOPS 2972 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.972
AT ITER 1752 NEW BEST:: SOT 4599 SOS 2970 HAS SOPS 2970 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.97
AT ITER 1758 NEW BEST:: SOT 4599 SOS 2957 HAS SOPS 2957 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.957
AT ITER 1777 NEW BEST:: SOT 4588 SOS 2976 HAS SOPS 2976 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2480.976
AT ITER 1800 NEW BEST:: SOT 4588 SOS 2962 HAS SOPS 2962 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2480.962
AT ITER 1846 NEW BEST:: SOT 4606 SOS 2968 HAS SOPS 2968 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.968
AT ITER 1851 NEW BEST:: SOT 4606 SOS 2967 HAS SOPS 2967 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.967
AT ITER 1915 NEW BEST:: SOT 4603 SOS 2964 HAS SOPS 2964 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2475.964
AT ITER 1919 NEW BEST:: SOT 4606 SOS 2958 HAS SOPS 2958 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.958
AT ITER 1932 NEW BEST:: SOT 4606 SOS 2957 HAS SOPS 2957 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2468.957
AT ITER 1948 NEW BEST:: SOT 4606 SOS 2956 HAS SOPS 2956 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.956
AT ITER 1964 NEW BEST:: SOT 4606 SOS 2956 HAS SOPS 2956 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.956
AT ITER 1973 NEW BEST:: SOT 4605 SOS 2955 HAS SOPS 2955 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2464.955
AT ITER 2013 NEW BEST:: SOT 4604 SOS 2954 HAS SOPS 2954 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2464.954
AT ITER 2067 NEW BEST:: SOT 4609 SOS 2956 HAS SOPS 2956 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.956
AT ITER 2078 NEW BEST:: SOT 4609 SOS 2960 HAS SOPS 2960 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.96
AT ITER 2085 NEW BEST:: SOT 4609 SOS 2961 HAS SOPS 2961 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.961
AT ITER 2123 NEW BEST:: SOT 4609 SOS 2956 HAS SOPS 2956 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.956
AT ITER 2134 NEW BEST:: SOT 4613 SOS 2957 HAS SOPS 2957 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.957
AT ITER 2220 NEW BEST:: SOT 4613 SOS 2955 HAS SOPS 2955 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.955
AT ITER 2246 NEW BEST:: SOT 4612 SOS 2956 HAS SOPS 2956 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2456.956
AT ITER 2263 NEW BEST:: SOT 4610 SOS 2953 HAS SOPS 2953 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.953
AT ITER 2284 NEW BEST:: SOT 4609 SOS 2952 HAS SOPS 2952 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.952
AT ITER 2401 NEW BEST:: SOT 4609 SOS 2946 HAS SOPS 2946 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.946
AT ITER 2403 NEW BEST:: SOT 4611 SOS 2944 HAS SOPS 2944 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2450.944
AT ITER 2426 NEW BEST:: SOT 4609 SOS 2959 HAS SOPS 2959 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.959
AT ITER 2427 NEW BEST:: SOT 4609 SOS 2956 HAS SOPS 2956 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.956
AT ITER 2437 NEW BEST:: SOT 4607 SOS 2954 HAS SOPS 2954 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.954
AT ITER 2483 NEW BEST:: SOT 4605 SOS 2966 HAS SOPS 2966 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.966
AT ITER 2505 NEW BEST:: SOT 4596 SOS 2958 HAS SOPS 2958 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2441.958
AT ITER 2545 NEW BEST:: SOT 4596 SOS 2959 HAS SOPS 2959 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.959
AT ITER 2547 NEW BEST:: SOT 4594 SOS 2957 HAS SOPS 2957 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.957
AT ITER 2669 NEW BEST:: SOT 4595 SOS 2957 HAS SOPS 2957 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.957
AT ITER 2710 NEW BEST:: SOT 4592 SOS 2956 HAS SOPS 2956 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2437.956
AT ITER 2865 NEW BEST:: SOT 4590 SOS 2954 HAS SOPS 2954 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2437.954
AT ITER 2911 NEW BEST:: SOT 4590 SOS 2956 HAS SOPS 2956 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.956
AT ITER 3023 NEW BEST:: SOT 4587 SOS 2948 HAS SOPS 2948 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.948
AT ITER 3060 NEW BEST:: SOT 4586 SOS 2962 HAS SOPS 2962 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2430.962
AT ITER 3096 NEW BEST:: SOT 4579 SOS 2955 HAS SOPS 2955 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.955
AT ITER 3148 NEW BEST:: SOT 4577 SOS 2954 HAS SOPS 2954 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.954
AT ITER 3280 NEW BEST:: SOT 4577 SOS 2952 HAS SOPS 2952 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.952
AT ITER 3304 NEW BEST:: SOT 4577 SOS 2961 HAS SOPS 2961 HAS SOUS 2416 HAS SOUPS 2416 WITH SCORE 2418.961
AT ITER 3352 NEW BEST:: SOT 4572 SOS 2976 HAS SOPS 2976 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.976
AT ITER 3459 NEW BEST:: SOT 4572 SOS 2972 HAS SOPS 2972 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.972
AT ITER 3534 NEW BEST:: SOT 4572 SOS 2968 HAS SOPS 2968 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.968
AT ITER 3684 NEW BEST:: SOT 4569 SOS 2965 HAS SOPS 2965 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2410.965
AT ITER 3731 NEW BEST:: SOT 4565 SOS 2973 HAS SOPS 2973 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.973
AT ITER 3742 NEW BEST:: SOT 4565 SOS 2972 HAS SOPS 2972 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.972
AT ITER 3773 NEW BEST:: SOT 4563 SOS 2970 HAS SOPS 2970 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.97
AT ITER 3915 NEW BEST:: SOT 4562 SOS 2969 HAS SOPS 2969 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2405.969
AT ITER 3920 NEW BEST:: SOT 4561 SOS 2972 HAS SOPS 2972 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.972
AT ITER 4146 NEW BEST:: SOT 4561 SOS 2972 HAS SOPS 2972 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.972
AT ITER 4424 NEW BEST:: SOT 4559 SOS 2970 HAS SOPS 2970 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.97
AT ITER 4491 NEW BEST:: SOT 4559 SOS 2965 HAS SOPS 2965 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.965
AT ITER 4604 NEW BEST:: SOT 4559 SOS 2964 HAS SOPS 2964 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.964
AT ITER 4691 NEW BEST:: SOT 4558 SOS 2963 HAS SOPS 2963 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.963
AT ITER 4723 NEW BEST:: SOT 4557 SOS 2962 HAS SOPS 2962 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.962
AT ITER 4803 NEW BEST:: SOT 4557 SOS 2958 HAS SOPS 2958 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.958
AT ITER 4880 NEW BEST:: SOT 4557 SOS 2959 HAS SOPS 2959 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.959
AT ITER 4999 NEW BEST:: SOT 4565 SOS 2966 HAS SOPS 2966 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.966
AT ITER 5138 NEW BEST:: SOT 4565 SOS 2960 HAS SOPS 2960 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.96
AT ITER 5154 NEW BEST:: SOT 4562 SOS 2957 HAS SOPS 2957 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2393.957
AT ITER 5210 NEW BEST:: SOT 4562 SOS 2957 HAS SOPS 2957 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.957
AT ITER 5267 NEW BEST:: SOT 4560 SOS 2955 HAS SOPS 2955 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2390.955
AT ITER 5393 NEW BEST:: SOT 4557 SOS 2952 HAS SOPS 2952 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.952
AT ITER 5442 NEW BEST:: SOT 4556 SOS 2951 HAS SOPS 2951 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.951
AT ITER 5477 NEW BEST:: SOT 4556 SOS 2948 HAS SOPS 2948 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.948
AT ITER 5491 NEW BEST:: SOT 4554 SOS 2946 HAS SOPS 2946 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.946
AT ITER 5535 NEW BEST:: SOT 4552 SOS 2944 HAS SOPS 2944 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.944
AT ITER 5542 NEW BEST:: SOT 4551 SOS 2943 HAS SOPS 2943 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.943
AT ITER 5561 NEW BEST:: SOT 4550 SOS 2954 HAS SOPS 2954 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.954
AT ITER 5568 NEW BEST:: SOT 4549 SOS 2953 HAS SOPS 2953 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2381.953
AT ITER 5572 NEW BEST:: SOT 4546 SOS 2950 HAS SOPS 2950 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.95
AT ITER 5656 NEW BEST:: SOT 4545 SOS 2949 HAS SOPS 2949 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2377.949
AT ITER 5909 NEW BEST:: SOT 4545 SOS 2949 HAS SOPS 2949 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.949
AT ITER 5953 NEW BEST:: SOT 4542 SOS 2963 HAS SOPS 2963 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2373.963
AT ITER 5971 NEW BEST:: SOT 4538 SOS 2963 HAS SOPS 2963 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2372.963
AT ITER 5979 NEW BEST:: SOT 4538 SOS 2958 HAS SOPS 2958 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2371.958
AT ITER 6130 NEW BEST:: SOT 4532 SOS 2959 HAS SOPS 2959 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.959
AT ITER 6137 NEW BEST:: SOT 4529 SOS 2956 HAS SOPS 2956 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2366.956
AT ITER 6150 NEW BEST:: SOT 4526 SOS 2952 HAS SOPS 2952 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.952
AT ITER 6179 NEW BEST:: SOT 4524 SOS 2953 HAS SOPS 2953 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2361.953
AT ITER 6330 NEW BEST:: SOT 4511 SOS 2940 HAS SOPS 2940 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2357.94
AT ITER 6507 NEW BEST:: SOT 4485 SOS 2925 HAS SOPS 2925 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2356.925
AT ITER 6621 NEW BEST:: SOT 4480 SOS 2932 HAS SOPS 2932 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2351.932
AT ITER 6622 NEW BEST:: SOT 4481 SOS 2932 HAS SOPS 2932 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.932
AT ITER 6649 NEW BEST:: SOT 4475 SOS 2926 HAS SOPS 2926 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.926
AT ITER 6754 NEW BEST:: SOT 4474 SOS 2926 HAS SOPS 2926 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.926
AT ITER 6773 NEW BEST:: SOT 4477 SOS 2926 HAS SOPS 2926 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.926
AT ITER 6792 NEW BEST:: SOT 4466 SOS 2917 HAS SOPS 2917 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.917
AT ITER 6808 NEW BEST:: SOT 4463 SOS 2914 HAS SOPS 2914 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.914
AT ITER 6818 NEW BEST:: SOT 4460 SOS 2941 HAS SOPS 2941 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.941
AT ITER 6901 NEW BEST:: SOT 4456 SOS 2941 HAS SOPS 2941 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.941
AT ITER 6979 NEW BEST:: SOT 4456 SOS 2940 HAS SOPS 2940 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.94
AT ITER 7118 NEW BEST:: SOT 4450 SOS 2934 HAS SOPS 2934 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.934
AT ITER 7138 NEW BEST:: SOT 4439 SOS 2931 HAS SOPS 2931 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.931
AT ITER 7213 NEW BEST:: SOT 4439 SOS 2931 HAS SOPS 2931 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.931
AT ITER 7482 NEW BEST:: SOT 4438 SOS 2931 HAS SOPS 2931 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.931
AT ITER 7555 NEW BEST:: SOT 4440 SOS 2905 HAS SOPS 2905 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.905
AT ITER 7607 NEW BEST:: SOT 4438 SOS 2913 HAS SOPS 2913 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.913
AT ITER 7761 NEW BEST:: SOT 4436 SOS 2911 HAS SOPS 2911 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.911
AT ITER 7944 NEW BEST:: SOT 4434 SOS 2921 HAS SOPS 2921 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.921
AT ITER 8008 NEW BEST:: SOT 4433 SOS 2920 HAS SOPS 2920 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.92
AT ITER 8141 NEW BEST:: SOT 4431 SOS 2917 HAS SOPS 2917 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.917
AT ITER 8186 NEW BEST:: SOT 4430 SOS 2924 HAS SOPS 2924 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.924
AT ITER 8643 NEW BEST:: SOT 4428 SOS 2922 HAS SOPS 2922 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.922
AT ITER 8678 NEW BEST:: SOT 4422 SOS 2919 HAS SOPS 2919 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.919
AT ITER 8897 NEW BEST:: SOT 4422 SOS 2918 HAS SOPS 2918 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.918
AT ITER 8994 NEW BEST:: SOT 4422 SOS 2917 HAS SOPS 2917 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.917
AT ITER 9273 NEW BEST:: SOT 4423 SOS 2918 HAS SOPS 2918 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.918
AT ITER 9313 NEW BEST:: SOT 4422 SOS 2917 HAS SOPS 2917 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2295.917
AT ITER 9795 NEW BEST:: SOT 4413 SOS 2908 HAS SOPS 2908 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.908
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 1678655597285

--------------------
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"
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 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 r259-smll-167863534000024"
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 ;