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.r003-oct2-167813591000560.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutonomousCar-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591000560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 12:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 12:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 25 12:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 12:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 49K 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 1678473837121

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=AutonomousCar-PT-02b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 02b
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: 155 places, 194 transitions, 620 arcs.
AT ITER 0 NEW BEST:: SOT 18152 SOS 4681 HAS SOPS 4681 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.681
AT ITER 27 NEW BEST:: SOT 18143 SOS 4672 HAS SOPS 4672 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3630.672
AT ITER 36 NEW BEST:: SOT 18140 SOS 4654 HAS SOPS 4654 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3618.654
AT ITER 38 NEW BEST:: SOT 18138 SOS 4652 HAS SOPS 4652 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3616.652
AT ITER 54 NEW BEST:: SOT 18137 SOS 4650 HAS SOPS 4650 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3614.65
AT ITER 63 NEW BEST:: SOT 18108 SOS 4708 HAS SOPS 4708 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3590.708
AT ITER 71 NEW BEST:: SOT 18106 SOS 4706 HAS SOPS 4706 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.706
AT ITER 96 NEW BEST:: SOT 18103 SOS 4700 HAS SOPS 4700 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.7
AT ITER 102 NEW BEST:: SOT 18093 SOS 4675 HAS SOPS 4675 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3566.675
AT ITER 118 NEW BEST:: SOT 18080 SOS 4673 HAS SOPS 4673 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3553.673
AT ITER 119 NEW BEST:: SOT 18077 SOS 4667 HAS SOPS 4667 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3529.667
AT ITER 154 NEW BEST:: SOT 18068 SOS 4649 HAS SOPS 4649 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3511.649
AT ITER 193 NEW BEST:: SOT 18066 SOS 4647 HAS SOPS 4647 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3505.647
AT ITER 204 NEW BEST:: SOT 18065 SOS 4645 HAS SOPS 4645 HAS SOUS 3498 HAS SOUPS 3498 WITH SCORE 3502.645
AT ITER 227 NEW BEST:: SOT 18065 SOS 4640 HAS SOPS 4640 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3497.64
AT ITER 239 NEW BEST:: SOT 18065 SOS 4615 HAS SOPS 4615 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3488.615
AT ITER 242 NEW BEST:: SOT 18073 SOS 4607 HAS SOPS 4607 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3482.607
AT ITER 245 NEW BEST:: SOT 18106 SOS 4515 HAS SOPS 4515 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.515
AT ITER 252 NEW BEST:: SOT 18110 SOS 4501 HAS SOPS 4501 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3456.501
AT ITER 261 NEW BEST:: SOT 17956 SOS 4545 HAS SOPS 4545 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3289.545
AT ITER 307 NEW BEST:: SOT 17956 SOS 4521 HAS SOPS 4521 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3265.521
AT ITER 341 NEW BEST:: SOT 17957 SOS 4512 HAS SOPS 4512 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3256.512
AT ITER 348 NEW BEST:: SOT 17956 SOS 4510 HAS SOPS 4510 HAS SOUS 3250 HAS SOUPS 3250 WITH SCORE 3254.51
AT ITER 349 NEW BEST:: SOT 17944 SOS 4486 HAS SOPS 4486 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3242.486
AT ITER 363 NEW BEST:: SOT 17945 SOS 4485 HAS SOPS 4485 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3241.485
AT ITER 403 NEW BEST:: SOT 17943 SOS 4401 HAS SOPS 4401 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3237.401
AT ITER 425 NEW BEST:: SOT 17927 SOS 4385 HAS SOPS 4385 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3205.385
AT ITER 463 NEW BEST:: SOT 17923 SOS 4384 HAS SOPS 4384 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3194.384
AT ITER 485 NEW BEST:: SOT 17915 SOS 4368 HAS SOPS 4368 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3166.368
AT ITER 492 NEW BEST:: SOT 17912 SOS 4362 HAS SOPS 4362 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3160.362
AT ITER 493 NEW BEST:: SOT 17908 SOS 4356 HAS SOPS 4356 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3158.356
AT ITER 494 NEW BEST:: SOT 17896 SOS 4468 HAS SOPS 4468 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3141.468
AT ITER 505 NEW BEST:: SOT 17895 SOS 4466 HAS SOPS 4466 HAS SOUS 3135 HAS SOUPS 3135 WITH SCORE 3139.466
AT ITER 540 NEW BEST:: SOT 17892 SOS 4464 HAS SOPS 4464 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3137.464
AT ITER 579 NEW BEST:: SOT 17868 SOS 4144 HAS SOPS 4144 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3137.144
AT ITER 615 NEW BEST:: SOT 17868 SOS 4142 HAS SOPS 4142 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3135.142
AT ITER 657 NEW BEST:: SOT 17862 SOS 4136 HAS SOPS 4136 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3129.136
AT ITER 671 NEW BEST:: SOT 17855 SOS 4101 HAS SOPS 4101 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3122.101
AT ITER 680 NEW BEST:: SOT 17858 SOS 4107 HAS SOPS 4107 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3118.107
AT ITER 682 NEW BEST:: SOT 17844 SOS 4100 HAS SOPS 4100 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3108.1
AT ITER 709 NEW BEST:: SOT 17821 SOS 4047 HAS SOPS 4047 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3107.047
AT ITER 713 NEW BEST:: SOT 17817 SOS 4039 HAS SOPS 4039 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3102.039
AT ITER 717 NEW BEST:: SOT 17794 SOS 4031 HAS SOPS 4031 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3098.031
AT ITER 735 NEW BEST:: SOT 17781 SOS 4003 HAS SOPS 4003 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3088.003
AT ITER 746 NEW BEST:: SOT 17771 SOS 3993 HAS SOPS 3993 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.993
AT ITER 763 NEW BEST:: SOT 17757 SOS 3980 HAS SOPS 3980 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.98
AT ITER 814 NEW BEST:: SOT 17754 SOS 3974 HAS SOPS 3974 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3057.974
AT ITER 840 NEW BEST:: SOT 17765 SOS 3969 HAS SOPS 3969 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3053.969
AT ITER 859 NEW BEST:: SOT 17765 SOS 3978 HAS SOPS 3978 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3048.978
AT ITER 866 NEW BEST:: SOT 17762 SOS 3975 HAS SOPS 3975 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.975
AT ITER 897 NEW BEST:: SOT 17757 SOS 3979 HAS SOPS 3979 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.979
AT ITER 904 NEW BEST:: SOT 17757 SOS 3971 HAS SOPS 3971 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.971
AT ITER 914 NEW BEST:: SOT 17757 SOS 3969 HAS SOPS 3969 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3039.969
AT ITER 937 NEW BEST:: SOT 17757 SOS 3960 HAS SOPS 3960 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.96
AT ITER 1006 NEW BEST:: SOT 17757 SOS 3947 HAS SOPS 3947 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3006.947
AT ITER 1026 NEW BEST:: SOT 17755 SOS 3943 HAS SOPS 3943 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.943
AT ITER 1054 NEW BEST:: SOT 17754 SOS 3941 HAS SOPS 3941 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3000.941
AT ITER 1076 NEW BEST:: SOT 17752 SOS 3933 HAS SOPS 3933 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 2996.933
AT ITER 1108 NEW BEST:: SOT 17746 SOS 3929 HAS SOPS 3929 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.929
AT ITER 1111 NEW BEST:: SOT 17738 SOS 3921 HAS SOPS 3921 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2984.921
AT ITER 1123 NEW BEST:: SOT 17748 SOS 3941 HAS SOPS 3941 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.941
AT ITER 1178 NEW BEST:: SOT 17744 SOS 3951 HAS SOPS 3951 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2979.951
AT ITER 1189 NEW BEST:: SOT 17753 SOS 4071 HAS SOPS 4071 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2976.071
AT ITER 1193 NEW BEST:: SOT 17752 SOS 4069 HAS SOPS 4069 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.069
AT ITER 1297 NEW BEST:: SOT 17752 SOS 4066 HAS SOPS 4066 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2971.066
AT ITER 1305 NEW BEST:: SOT 17758 SOS 4078 HAS SOPS 4078 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.078
AT ITER 1309 NEW BEST:: SOT 17758 SOS 4077 HAS SOPS 4077 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2970.077
AT ITER 1362 NEW BEST:: SOT 17757 SOS 4071 HAS SOPS 4071 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2968.071
AT ITER 1375 NEW BEST:: SOT 17754 SOS 4065 HAS SOPS 4065 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2962.065
AT ITER 1385 NEW BEST:: SOT 17749 SOS 4055 HAS SOPS 4055 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2957.055
AT ITER 1391 NEW BEST:: SOT 17754 SOS 4054 HAS SOPS 4054 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2952.054
AT ITER 1426 NEW BEST:: SOT 17752 SOS 4050 HAS SOPS 4050 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2951.05
AT ITER 1438 NEW BEST:: SOT 17750 SOS 4049 HAS SOPS 4049 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2949.049
AT ITER 1510 NEW BEST:: SOT 17750 SOS 4050 HAS SOPS 4050 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.05
AT ITER 1553 NEW BEST:: SOT 17750 SOS 4048 HAS SOPS 4048 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.048
AT ITER 1563 NEW BEST:: SOT 17750 SOS 4042 HAS SOPS 4042 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.042
AT ITER 1596 NEW BEST:: SOT 17750 SOS 4022 HAS SOPS 4022 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2927.022
AT ITER 1609 NEW BEST:: SOT 17749 SOS 4020 HAS SOPS 4020 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2925.02
AT ITER 1624 NEW BEST:: SOT 17743 SOS 4014 HAS SOPS 4014 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2919.014
AT ITER 1665 NEW BEST:: SOT 17742 SOS 4013 HAS SOPS 4013 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2918.013
AT ITER 1691 NEW BEST:: SOT 17729 SOS 4000 HAS SOPS 4000 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2880.0
AT ITER 1763 NEW BEST:: SOT 17725 SOS 3992 HAS SOPS 3992 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2871.992
AT ITER 1816 NEW BEST:: SOT 17725 SOS 3989 HAS SOPS 3989 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.989
AT ITER 1859 NEW BEST:: SOT 17723 SOS 3989 HAS SOPS 3989 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.989
AT ITER 1889 NEW BEST:: SOT 17723 SOS 3981 HAS SOPS 3981 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.981
AT ITER 1901 NEW BEST:: SOT 17722 SOS 3979 HAS SOPS 3979 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.979
AT ITER 1928 NEW BEST:: SOT 17718 SOS 3975 HAS SOPS 3975 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.975
AT ITER 1931 NEW BEST:: SOT 17696 SOS 3950 HAS SOPS 3950 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.95
AT ITER 1960 NEW BEST:: SOT 17694 SOS 3939 HAS SOPS 3939 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2821.939
AT ITER 1962 NEW BEST:: SOT 17677 SOS 3922 HAS SOPS 3922 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2804.922
AT ITER 1964 NEW BEST:: SOT 17674 SOS 3916 HAS SOPS 3916 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2803.916
AT ITER 2001 NEW BEST:: SOT 17672 SOS 3912 HAS SOPS 3912 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2801.912
AT ITER 2027 NEW BEST:: SOT 17673 SOS 3914 HAS SOPS 3914 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.914
AT ITER 2049 NEW BEST:: SOT 17671 SOS 3942 HAS SOPS 3942 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.942
AT ITER 2060 NEW BEST:: SOT 17669 SOS 3935 HAS SOPS 3935 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.935
AT ITER 2112 NEW BEST:: SOT 17669 SOS 3934 HAS SOPS 3934 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.934
AT ITER 2122 NEW BEST:: SOT 17661 SOS 3935 HAS SOPS 3935 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2784.935
AT ITER 2124 NEW BEST:: SOT 17660 SOS 3933 HAS SOPS 3933 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.933
AT ITER 2239 NEW BEST:: SOT 17657 SOS 3927 HAS SOPS 3927 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2780.927
AT ITER 2271 NEW BEST:: SOT 17656 SOS 3924 HAS SOPS 3924 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.924
AT ITER 2352 NEW BEST:: SOT 17649 SOS 3916 HAS SOPS 3916 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2770.916
AT ITER 2375 NEW BEST:: SOT 17631 SOS 3880 HAS SOPS 3880 HAS SOUS 2713 HAS SOUPS 2713 WITH SCORE 2716.88
AT ITER 2409 NEW BEST:: SOT 17635 SOS 3867 HAS SOPS 3867 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2682.867
AT ITER 2605 NEW BEST:: SOT 17635 SOS 3867 HAS SOPS 3867 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2668.867
AT ITER 2617 NEW BEST:: SOT 17621 SOS 3811 HAS SOPS 3811 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2654.811
AT ITER 2631 NEW BEST:: SOT 17622 SOS 3810 HAS SOPS 3810 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2653.81
AT ITER 2635 NEW BEST:: SOT 17622 SOS 3798 HAS SOPS 3798 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2653.798
AT ITER 2742 NEW BEST:: SOT 17622 SOS 3801 HAS SOPS 3801 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2650.801
AT ITER 2796 NEW BEST:: SOT 17618 SOS 3797 HAS SOPS 3797 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2642.797
AT ITER 2833 NEW BEST:: SOT 17614 SOS 3793 HAS SOPS 3793 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2638.793
AT ITER 2844 NEW BEST:: SOT 17613 SOS 3792 HAS SOPS 3792 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2637.792
AT ITER 2860 NEW BEST:: SOT 17613 SOS 3786 HAS SOPS 3786 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.786
AT ITER 2863 NEW BEST:: SOT 17616 SOS 3783 HAS SOPS 3783 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2628.783
AT ITER 2910 NEW BEST:: SOT 17611 SOS 3789 HAS SOPS 3789 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2627.789
AT ITER 2934 NEW BEST:: SOT 17612 SOS 3785 HAS SOPS 3785 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2627.785
AT ITER 2940 NEW BEST:: SOT 17613 SOS 3784 HAS SOPS 3784 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.784
AT ITER 2956 NEW BEST:: SOT 17612 SOS 3783 HAS SOPS 3783 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2625.783
AT ITER 2960 NEW BEST:: SOT 17614 SOS 3783 HAS SOPS 3783 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.783
AT ITER 2995 NEW BEST:: SOT 17610 SOS 3779 HAS SOPS 3779 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.779
AT ITER 3030 NEW BEST:: SOT 17598 SOS 3749 HAS SOPS 3749 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2609.749
AT ITER 3034 NEW BEST:: SOT 17594 SOS 3741 HAS SOPS 3741 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.741
AT ITER 3096 NEW BEST:: SOT 17597 SOS 3747 HAS SOPS 3747 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2593.747
AT ITER 3200 NEW BEST:: SOT 17607 SOS 3723 HAS SOPS 3723 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2581.723
AT ITER 3251 NEW BEST:: SOT 17607 SOS 3722 HAS SOPS 3722 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.722
AT ITER 3264 NEW BEST:: SOT 17605 SOS 3714 HAS SOPS 3714 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2578.714
AT ITER 3334 NEW BEST:: SOT 17603 SOS 3710 HAS SOPS 3710 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2574.71
AT ITER 3375 NEW BEST:: SOT 17604 SOS 3712 HAS SOPS 3712 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2566.712
AT ITER 3529 NEW BEST:: SOT 17603 SOS 3711 HAS SOPS 3711 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.711
AT ITER 3597 NEW BEST:: SOT 17602 SOS 3710 HAS SOPS 3710 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2564.71
AT ITER 3705 NEW BEST:: SOT 17603 SOS 3700 HAS SOPS 3700 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2562.7
AT ITER 3729 NEW BEST:: SOT 17605 SOS 3681 HAS SOPS 3681 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2557.681
AT ITER 3841 NEW BEST:: SOT 17605 SOS 3683 HAS SOPS 3683 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2556.683
AT ITER 3842 NEW BEST:: SOT 17605 SOS 3673 HAS SOPS 3673 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2556.673
AT ITER 3844 NEW BEST:: SOT 17603 SOS 3669 HAS SOPS 3669 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2552.669
AT ITER 3854 NEW BEST:: SOT 17602 SOS 3667 HAS SOPS 3667 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2550.667
AT ITER 3891 NEW BEST:: SOT 17597 SOS 3657 HAS SOPS 3657 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.657
AT ITER 3906 NEW BEST:: SOT 17597 SOS 3657 HAS SOPS 3657 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2530.657
AT ITER 3927 NEW BEST:: SOT 17584 SOS 3631 HAS SOPS 3631 HAS SOUS 2513 HAS SOUPS 2513 WITH SCORE 2516.631
AT ITER 3968 NEW BEST:: SOT 17583 SOS 3629 HAS SOPS 3629 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2514.629
AT ITER 3980 NEW BEST:: SOT 17579 SOS 3613 HAS SOPS 3613 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2497.613
AT ITER 4022 NEW BEST:: SOT 17576 SOS 3607 HAS SOPS 3607 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2491.607
AT ITER 4121 NEW BEST:: SOT 17575 SOS 3606 HAS SOPS 3606 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2490.606
AT ITER 4175 NEW BEST:: SOT 17574 SOS 3605 HAS SOPS 3605 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2489.605
AT ITER 4234 NEW BEST:: SOT 17572 SOS 3603 HAS SOPS 3603 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.603
AT ITER 4252 NEW BEST:: SOT 17584 SOS 3610 HAS SOPS 3610 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.61
AT ITER 4271 NEW BEST:: SOT 17580 SOS 3606 HAS SOPS 3606 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2474.606
AT ITER 4387 NEW BEST:: SOT 17578 SOS 3600 HAS SOPS 3600 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2473.6
AT ITER 4395 NEW BEST:: SOT 17576 SOS 3599 HAS SOPS 3599 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2472.599
AT ITER 4437 NEW BEST:: SOT 17557 SOS 3561 HAS SOPS 3561 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2443.561
AT ITER 4465 NEW BEST:: SOT 17555 SOS 3557 HAS SOPS 3557 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2440.557
AT ITER 4518 NEW BEST:: SOT 17554 SOS 3556 HAS SOPS 3556 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2438.556
AT ITER 4737 NEW BEST:: SOT 17539 SOS 3557 HAS SOPS 3557 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2436.557
AT ITER 4813 NEW BEST:: SOT 17538 SOS 3556 HAS SOPS 3556 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2435.556
AT ITER 4814 NEW BEST:: SOT 17537 SOS 3554 HAS SOPS 3554 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2433.554
AT ITER 4887 NEW BEST:: SOT 17533 SOS 3540 HAS SOPS 3540 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2429.54
AT ITER 4891 NEW BEST:: SOT 17534 SOS 3538 HAS SOPS 3538 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2427.538
AT ITER 4984 NEW BEST:: SOT 17532 SOS 3534 HAS SOPS 3534 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2425.534
AT ITER 5039 NEW BEST:: SOT 17533 SOS 3530 HAS SOPS 3530 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2425.53
AT ITER 5052 NEW BEST:: SOT 17520 SOS 3550 HAS SOPS 3550 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2422.55
AT ITER 5088 NEW BEST:: SOT 17514 SOS 3554 HAS SOPS 3554 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2421.554
AT ITER 5095 NEW BEST:: SOT 17510 SOS 3546 HAS SOPS 3546 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2412.546
AT ITER 5119 NEW BEST:: SOT 17509 SOS 3541 HAS SOPS 3541 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2410.541
AT ITER 5139 NEW BEST:: SOT 17500 SOS 3526 HAS SOPS 3526 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2395.526
AT ITER 5142 NEW BEST:: SOT 17498 SOS 3524 HAS SOPS 3524 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2393.524
AT ITER 5192 NEW BEST:: SOT 17497 SOS 3522 HAS SOPS 3522 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2391.522
AT ITER 5200 NEW BEST:: SOT 17497 SOS 3521 HAS SOPS 3521 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.521
AT ITER 5343 NEW BEST:: SOT 17498 SOS 3520 HAS SOPS 3520 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.52
AT ITER 5404 NEW BEST:: SOT 17493 SOS 3516 HAS SOPS 3516 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2386.516
AT ITER 5430 NEW BEST:: SOT 17493 SOS 3516 HAS SOPS 3516 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2385.516
AT ITER 5534 NEW BEST:: SOT 17492 SOS 3514 HAS SOPS 3514 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.514
AT ITER 5538 NEW BEST:: SOT 17492 SOS 3513 HAS SOPS 3513 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.513
AT ITER 5560 NEW BEST:: SOT 17492 SOS 3503 HAS SOPS 3503 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.503
AT ITER 5582 NEW BEST:: SOT 17487 SOS 3501 HAS SOPS 3501 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2378.501
AT ITER 5602 NEW BEST:: SOT 17487 SOS 3495 HAS SOPS 3495 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2372.495
AT ITER 5837 NEW BEST:: SOT 17486 SOS 3493 HAS SOPS 3493 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2370.493
AT ITER 6012 NEW BEST:: SOT 17484 SOS 3491 HAS SOPS 3491 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2368.491
AT ITER 6056 NEW BEST:: SOT 17482 SOS 3490 HAS SOPS 3490 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.49
AT ITER 6196 NEW BEST:: SOT 17482 SOS 3516 HAS SOPS 3516 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2359.516
AT ITER 6233 NEW BEST:: SOT 17488 SOS 3512 HAS SOPS 3512 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2358.512
AT ITER 6241 NEW BEST:: SOT 17486 SOS 3511 HAS SOPS 3511 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2357.511
AT ITER 6256 NEW BEST:: SOT 17487 SOS 3511 HAS SOPS 3511 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2356.511
AT ITER 6312 NEW BEST:: SOT 17488 SOS 3507 HAS SOPS 3507 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2353.507
AT ITER 6320 NEW BEST:: SOT 17487 SOS 3478 HAS SOPS 3478 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2351.478
AT ITER 6359 NEW BEST:: SOT 17486 SOS 3476 HAS SOPS 3476 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2349.476
AT ITER 6496 NEW BEST:: SOT 17484 SOS 3475 HAS SOPS 3475 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2349.475
AT ITER 6594 NEW BEST:: SOT 17482 SOS 3471 HAS SOPS 3471 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2345.471
AT ITER 6641 NEW BEST:: SOT 17482 SOS 3470 HAS SOPS 3470 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2345.47
AT ITER 6688 NEW BEST:: SOT 17478 SOS 3464 HAS SOPS 3464 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2339.464
AT ITER 6693 NEW BEST:: SOT 17468 SOS 3454 HAS SOPS 3454 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.454
AT ITER 6878 NEW BEST:: SOT 17465 SOS 3457 HAS SOPS 3457 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2327.457
AT ITER 6902 NEW BEST:: SOT 17457 SOS 3437 HAS SOPS 3437 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2327.437
AT ITER 6946 NEW BEST:: SOT 17453 SOS 3441 HAS SOPS 3441 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2324.441
AT ITER 7002 NEW BEST:: SOT 17447 SOS 3437 HAS SOPS 3437 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2320.437
AT ITER 7043 NEW BEST:: SOT 17447 SOS 3437 HAS SOPS 3437 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2316.437
AT ITER 7109 NEW BEST:: SOT 17445 SOS 3433 HAS SOPS 3433 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.433
AT ITER 7338 NEW BEST:: SOT 17444 SOS 3422 HAS SOPS 3422 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2301.422
AT ITER 7371 NEW BEST:: SOT 17442 SOS 3418 HAS SOPS 3418 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2297.418
AT ITER 7387 NEW BEST:: SOT 17441 SOS 3418 HAS SOPS 3418 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2296.418
AT ITER 7463 NEW BEST:: SOT 17440 SOS 3420 HAS SOPS 3420 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2295.42
AT ITER 7530 NEW BEST:: SOT 17420 SOS 3400 HAS SOPS 3400 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2275.4
AT ITER 7556 NEW BEST:: SOT 17405 SOS 3390 HAS SOPS 3390 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2273.39
AT ITER 7564 NEW BEST:: SOT 17404 SOS 3388 HAS SOPS 3388 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2271.388
AT ITER 7581 NEW BEST:: SOT 17403 SOS 3386 HAS SOPS 3386 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2269.386
AT ITER 7640 NEW BEST:: SOT 17403 SOS 3386 HAS SOPS 3386 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2268.386
AT ITER 7653 NEW BEST:: SOT 17403 SOS 3381 HAS SOPS 3381 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2268.381
AT ITER 7870 NEW BEST:: SOT 17403 SOS 3380 HAS SOPS 3380 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2267.38
AT ITER 7945 NEW BEST:: SOT 17403 SOS 3378 HAS SOPS 3378 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2267.378
AT ITER 7982 NEW BEST:: SOT 17404 SOS 3381 HAS SOPS 3381 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2264.381
AT ITER 8252 NEW BEST:: SOT 17403 SOS 3380 HAS SOPS 3380 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2264.38
AT ITER 8643 NEW BEST:: SOT 17398 SOS 3378 HAS SOPS 3378 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2258.378
AT ITER 8653 NEW BEST:: SOT 17396 SOS 3374 HAS SOPS 3374 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2254.374
AT ITER 8728 NEW BEST:: SOT 17395 SOS 3372 HAS SOPS 3372 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2252.372
AT ITER 8729 NEW BEST:: SOT 17395 SOS 3368 HAS SOPS 3368 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2250.368
AT ITER 8934 NEW BEST:: SOT 17395 SOS 3364 HAS SOPS 3364 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.364
AT ITER 8986 NEW BEST:: SOT 17396 SOS 3366 HAS SOPS 3366 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2245.366
AT ITER 9248 NEW BEST:: SOT 17394 SOS 3364 HAS SOPS 3364 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2243.364
AT ITER 9326 NEW BEST:: SOT 17379 SOS 3319 HAS SOPS 3319 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2228.319
AT ITER 9329 NEW BEST:: SOT 17378 SOS 3315 HAS SOPS 3315 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2227.315
AT ITER 9479 NEW BEST:: SOT 17376 SOS 3313 HAS SOPS 3313 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.313
AT ITER 9646 NEW BEST:: SOT 17377 SOS 3303 HAS SOPS 3303 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2221.303
AT ITER 9682 NEW BEST:: SOT 17376 SOS 3301 HAS SOPS 3301 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2220.301
AT ITER 9884 NEW BEST:: SOT 17374 SOS 3299 HAS SOPS 3299 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2218.299
AT ITER 9974 NEW BEST:: SOT 17372 SOS 3293 HAS SOPS 3293 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2218.293
STATE_SPACE STATES 4051732 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 21875529 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678473844967

--------------------
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="AutonomousCar-PT-02b"
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 AutonomousCar-PT-02b, 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 r003-oct2-167813591000560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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