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-167813590600256.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 AirplaneLD-PT-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590600256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 928K
-rw-r--r-- 1 mcc users 24K Feb 26 11:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 11:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 26 11:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 39K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Feb 26 11:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 26 11:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 26 11:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 242K Feb 26 11:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 91K 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 1678472779570

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=AirplaneLD-PT-0020
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0020
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: 159 places, 168 transitions, 638 arcs.
AT ITER 0 NEW BEST:: SOT 20334 SOS 10051 HAS SOPS 8694 HAS SOUS 7268 HAS SOUPS 5914 WITH SCORE 5924.051
AT ITER 4 NEW BEST:: SOT 19904 SOS 11091 HAS SOPS 9734 HAS SOUS 7027 HAS SOUPS 5673 WITH SCORE 5684.091
AT ITER 14 NEW BEST:: SOT 19879 SOS 11091 HAS SOPS 9734 HAS SOUS 7020 HAS SOUPS 5666 WITH SCORE 5677.091
AT ITER 15 NEW BEST:: SOT 19847 SOS 11091 HAS SOPS 9734 HAS SOUS 6989 HAS SOUPS 5635 WITH SCORE 5646.091
AT ITER 19 NEW BEST:: SOT 19867 SOS 11227 HAS SOPS 9754 HAS SOUS 7037 HAS SOUPS 5626 WITH SCORE 5637.227
AT ITER 21 NEW BEST:: SOT 19867 SOS 11301 HAS SOPS 9754 HAS SOUS 7056 HAS SOUPS 5605 WITH SCORE 5616.301
AT ITER 22 NEW BEST:: SOT 19867 SOS 11284 HAS SOPS 9737 HAS SOUS 7038 HAS SOUPS 5587 WITH SCORE 5598.284
AT ITER 23 NEW BEST:: SOT 19800 SOS 11217 HAS SOPS 9670 HAS SOUS 7011 HAS SOUPS 5560 WITH SCORE 5571.217
AT ITER 27 NEW BEST:: SOT 19800 SOS 11195 HAS SOPS 9670 HAS SOUS 6989 HAS SOUPS 5560 WITH SCORE 5571.195
AT ITER 29 NEW BEST:: SOT 19786 SOS 11181 HAS SOPS 9670 HAS SOUS 6975 HAS SOUPS 5560 WITH SCORE 5571.181
AT ITER 32 NEW BEST:: SOT 19749 SOS 11146 HAS SOPS 9646 HAS SOUS 6914 HAS SOUPS 5510 WITH SCORE 5521.146
AT ITER 37 NEW BEST:: SOT 19760 SOS 11264 HAS SOPS 9657 HAS SOUS 6938 HAS SOUPS 5483 WITH SCORE 5494.264
AT ITER 41 NEW BEST:: SOT 19760 SOS 11359 HAS SOPS 9657 HAS SOUS 6943 HAS SOUPS 5438 WITH SCORE 5449.359
AT ITER 43 NEW BEST:: SOT 19769 SOS 11356 HAS SOPS 9654 HAS SOUS 6941 HAS SOUPS 5436 WITH SCORE 5447.356
AT ITER 45 NEW BEST:: SOT 19736 SOS 11323 HAS SOPS 9604 HAS SOUS 6891 HAS SOUPS 5369 WITH SCORE 5380.323
AT ITER 46 NEW BEST:: SOT 19727 SOS 11323 HAS SOPS 9604 HAS SOUS 6882 HAS SOUPS 5360 WITH SCORE 5371.323
AT ITER 54 NEW BEST:: SOT 19669 SOS 11223 HAS SOPS 9546 HAS SOUS 6808 HAS SOUPS 5328 WITH SCORE 5339.223
AT ITER 56 NEW BEST:: SOT 19671 SOS 11226 HAS SOPS 9549 HAS SOUS 6790 HAS SOUPS 5310 WITH SCORE 5321.226
AT ITER 58 NEW BEST:: SOT 19645 SOS 11200 HAS SOPS 9523 HAS SOUS 6764 HAS SOUPS 5284 WITH SCORE 5295.2
AT ITER 61 NEW BEST:: SOT 19613 SOS 11202 HAS SOPS 9529 HAS SOUS 6734 HAS SOUPS 5258 WITH SCORE 5269.202
AT ITER 63 NEW BEST:: SOT 19599 SOS 11174 HAS SOPS 9515 HAS SOUS 6706 HAS SOUPS 5244 WITH SCORE 5255.174
AT ITER 65 NEW BEST:: SOT 19557 SOS 11178 HAS SOPS 9535 HAS SOUS 6676 HAS SOUPS 5230 WITH SCORE 5241.178
AT ITER 67 NEW BEST:: SOT 19522 SOS 11168 HAS SOPS 9525 HAS SOUS 6661 HAS SOUPS 5215 WITH SCORE 5226.168
AT ITER 69 NEW BEST:: SOT 19522 SOS 11190 HAS SOPS 9447 HAS SOUS 6698 HAS SOUPS 5154 WITH SCORE 5165.19
AT ITER 70 NEW BEST:: SOT 19525 SOS 11190 HAS SOPS 9431 HAS SOUS 6701 HAS SOUPS 5141 WITH SCORE 5152.19
AT ITER 73 NEW BEST:: SOT 19525 SOS 11294 HAS SOPS 9431 HAS SOUS 6717 HAS SOUPS 5097 WITH SCORE 5108.294
AT ITER 76 NEW BEST:: SOT 19426 SOS 11241 HAS SOPS 9406 HAS SOUS 6655 HAS SOUPS 5063 WITH SCORE 5074.241
AT ITER 77 NEW BEST:: SOT 19403 SOS 11218 HAS SOPS 9383 HAS SOUS 6609 HAS SOUPS 5017 WITH SCORE 5028.218
AT ITER 81 NEW BEST:: SOT 19403 SOS 11319 HAS SOPS 9383 HAS SOUS 6628 HAS SOUPS 4976 WITH SCORE 4987.319
AT ITER 87 NEW BEST:: SOT 19393 SOS 11309 HAS SOPS 9373 HAS SOUS 6628 HAS SOUPS 4976 WITH SCORE 4987.309
AT ITER 91 NEW BEST:: SOT 19391 SOS 11307 HAS SOPS 9371 HAS SOUS 6623 HAS SOUPS 4971 WITH SCORE 4982.307
AT ITER 92 NEW BEST:: SOT 19390 SOS 11306 HAS SOPS 9370 HAS SOUS 6622 HAS SOUPS 4970 WITH SCORE 4981.306
AT ITER 94 NEW BEST:: SOT 19361 SOS 11306 HAS SOPS 9370 HAS SOUS 6593 HAS SOUPS 4941 WITH SCORE 4952.306
AT ITER 95 NEW BEST:: SOT 19297 SOS 11069 HAS SOPS 9306 HAS SOUS 6400 HAS SOUPS 4862 WITH SCORE 4873.069
AT ITER 97 NEW BEST:: SOT 19295 SOS 9957 HAS SOPS 8194 HAS SOUS 6335 HAS SOUPS 4797 WITH SCORE 4806.957
AT ITER 124 NEW BEST:: SOT 20025 SOS 10034 HAS SOPS 7205 HAS SOUS 7078 HAS SOUPS 4523 WITH SCORE 4533.034
AT ITER 125 NEW BEST:: SOT 18897 SOS 9038 HAS SOPS 6209 HAS SOUS 5959 HAS SOUPS 3404 WITH SCORE 3413.038
AT ITER 126 NEW BEST:: SOT 18871 SOS 8989 HAS SOPS 6183 HAS SOUS 5921 HAS SOUPS 3389 WITH SCORE 3397.989
AT ITER 130 NEW BEST:: SOT 18860 SOS 8978 HAS SOPS 6172 HAS SOUS 5899 HAS SOUPS 3367 WITH SCORE 3375.978
AT ITER 131 NEW BEST:: SOT 18854 SOS 8972 HAS SOPS 6170 HAS SOUS 5892 HAS SOUPS 3364 WITH SCORE 3372.972
AT ITER 140 NEW BEST:: SOT 18854 SOS 8974 HAS SOPS 6166 HAS SOUS 5890 HAS SOUPS 3360 WITH SCORE 3368.974
AT ITER 142 NEW BEST:: SOT 18818 SOS 8922 HAS SOPS 6139 HAS SOUS 5870 HAS SOUPS 3359 WITH SCORE 3367.922
AT ITER 147 NEW BEST:: SOT 18819 SOS 8936 HAS SOPS 6127 HAS SOUS 5870 HAS SOUPS 3333 WITH SCORE 3341.936
AT ITER 162 NEW BEST:: SOT 18819 SOS 8934 HAS SOPS 6127 HAS SOUS 5868 HAS SOUPS 3333 WITH SCORE 3341.934
AT ITER 163 NEW BEST:: SOT 18819 SOS 8914 HAS SOPS 6127 HAS SOUS 5848 HAS SOUPS 3333 WITH SCORE 3341.914
AT ITER 164 NEW BEST:: SOT 18837 SOS 8955 HAS SOPS 6125 HAS SOUS 5881 HAS SOUPS 3328 WITH SCORE 3336.955
AT ITER 168 NEW BEST:: SOT 18830 SOS 8938 HAS SOPS 6119 HAS SOUS 5867 HAS SOUPS 3325 WITH SCORE 3333.938
AT ITER 180 NEW BEST:: SOT 18811 SOS 8908 HAS SOPS 6103 HAS SOUS 5831 HAS SOUPS 3303 WITH SCORE 3311.908
AT ITER 182 NEW BEST:: SOT 18805 SOS 8896 HAS SOPS 6097 HAS SOUS 5819 HAS SOUPS 3297 WITH SCORE 3305.896
AT ITER 190 NEW BEST:: SOT 18781 SOS 8857 HAS SOPS 6073 HAS SOUS 5781 HAS SOUPS 3274 WITH SCORE 3282.857
AT ITER 191 NEW BEST:: SOT 18750 SOS 8826 HAS SOPS 6047 HAS SOUS 5750 HAS SOUPS 3248 WITH SCORE 3256.826
AT ITER 207 NEW BEST:: SOT 18739 SOS 8834 HAS SOPS 6035 HAS SOUS 5759 HAS SOUPS 3237 WITH SCORE 3245.834
AT ITER 211 NEW BEST:: SOT 18731 SOS 8984 HAS SOPS 6185 HAS SOUS 5744 HAS SOUPS 3222 WITH SCORE 3230.984
AT ITER 225 NEW BEST:: SOT 18689 SOS 8942 HAS SOPS 6155 HAS SOUS 5701 HAS SOUPS 3191 WITH SCORE 3199.942
AT ITER 228 NEW BEST:: SOT 18660 SOS 8913 HAS SOPS 6126 HAS SOUS 5678 HAS SOUPS 3168 WITH SCORE 3176.913
AT ITER 232 NEW BEST:: SOT 18656 SOS 8909 HAS SOPS 6122 HAS SOUS 5664 HAS SOUPS 3154 WITH SCORE 3162.909
AT ITER 234 NEW BEST:: SOT 18684 SOS 9000 HAS SOPS 6081 HAS SOUS 5717 HAS SOUPS 3108 WITH SCORE 3117.0
AT ITER 236 NEW BEST:: SOT 18684 SOS 8997 HAS SOPS 6081 HAS SOUS 5714 HAS SOUPS 3108 WITH SCORE 3116.997
AT ITER 246 NEW BEST:: SOT 18683 SOS 8996 HAS SOPS 6080 HAS SOUS 5712 HAS SOUPS 3106 WITH SCORE 3114.996
AT ITER 254 NEW BEST:: SOT 18681 SOS 8992 HAS SOPS 6078 HAS SOUS 5708 HAS SOUPS 3104 WITH SCORE 3112.992
AT ITER 258 NEW BEST:: SOT 18582 SOS 9080 HAS SOPS 6162 HAS SOUS 5626 HAS SOUPS 3018 WITH SCORE 3027.08
AT ITER 262 NEW BEST:: SOT 18548 SOS 10142 HAS SOPS 7176 HAS SOUS 5625 HAS SOUPS 2969 WITH SCORE 2979.142
AT ITER 266 NEW BEST:: SOT 18548 SOS 10180 HAS SOPS 7133 HAS SOUS 5628 HAS SOUPS 2916 WITH SCORE 2926.18
AT ITER 268 NEW BEST:: SOT 18548 SOS 10180 HAS SOPS 7053 HAS SOUS 5628 HAS SOUPS 2836 WITH SCORE 2846.18
AT ITER 276 NEW BEST:: SOT 18548 SOS 10167 HAS SOPS 7053 HAS SOUS 5628 HAS SOUPS 2836 WITH SCORE 2846.167
AT ITER 280 NEW BEST:: SOT 18548 SOS 10167 HAS SOPS 7053 HAS SOUS 5627 HAS SOUPS 2835 WITH SCORE 2845.167
AT ITER 294 NEW BEST:: SOT 18445 SOS 9973 HAS SOPS 6983 HAS SOUS 5510 HAS SOUPS 2809 WITH SCORE 2818.973
AT ITER 295 NEW BEST:: SOT 18438 SOS 9955 HAS SOPS 6942 HAS SOUS 5500 HAS SOUPS 2776 WITH SCORE 2785.955
AT ITER 304 NEW BEST:: SOT 18422 SOS 9931 HAS SOPS 6926 HAS SOUS 5476 HAS SOUPS 2760 WITH SCORE 2769.931
AT ITER 310 NEW BEST:: SOT 18415 SOS 9940 HAS SOPS 6919 HAS SOUS 5485 HAS SOUPS 2753 WITH SCORE 2762.94
AT ITER 315 NEW BEST:: SOT 18401 SOS 9926 HAS SOPS 6905 HAS SOUS 5485 HAS SOUPS 2753 WITH SCORE 2762.926
AT ITER 316 NEW BEST:: SOT 18401 SOS 9926 HAS SOPS 6903 HAS SOUS 5485 HAS SOUPS 2751 WITH SCORE 2760.926
AT ITER 329 NEW BEST:: SOT 18457 SOS 10065 HAS SOPS 6878 HAS SOUS 5575 HAS SOUPS 2716 WITH SCORE 2726.065
AT ITER 353 NEW BEST:: SOT 18457 SOS 10052 HAS SOPS 6865 HAS SOUS 5592 HAS SOUPS 2716 WITH SCORE 2726.052
AT ITER 366 NEW BEST:: SOT 18443 SOS 10823 HAS SOPS 7631 HAS SOUS 5564 HAS SOUPS 2688 WITH SCORE 2698.823
AT ITER 368 NEW BEST:: SOT 18443 SOS 10803 HAS SOPS 7631 HAS SOUS 5544 HAS SOUPS 2688 WITH SCORE 2698.803
AT ITER 393 NEW BEST:: SOT 18432 SOS 10791 HAS SOPS 7620 HAS SOUS 5521 HAS SOUPS 2666 WITH SCORE 2676.791
AT ITER 403 NEW BEST:: SOT 18467 SOS 10667 HAS SOPS 7375 HAS SOUS 5422 HAS SOUPS 2580 WITH SCORE 2590.667
AT ITER 430 NEW BEST:: SOT 18467 SOS 10760 HAS SOPS 7375 HAS SOUS 5423 HAS SOUPS 2576 WITH SCORE 2586.76
AT ITER 431 NEW BEST:: SOT 18459 SOS 10752 HAS SOPS 7367 HAS SOUS 5419 HAS SOUPS 2572 WITH SCORE 2582.752
AT ITER 444 NEW BEST:: SOT 18459 SOS 10736 HAS SOPS 7367 HAS SOUS 5403 HAS SOUPS 2572 WITH SCORE 2582.736
AT ITER 459 NEW BEST:: SOT 18459 SOS 10736 HAS SOPS 7337 HAS SOUS 5403 HAS SOUPS 2542 WITH SCORE 2552.736
AT ITER 462 NEW BEST:: SOT 18460 SOS 10740 HAS SOPS 7334 HAS SOUS 5394 HAS SOUPS 2539 WITH SCORE 2549.74
AT ITER 468 NEW BEST:: SOT 18460 SOS 10494 HAS SOPS 7096 HAS SOUS 5386 HAS SOUPS 2539 WITH SCORE 2549.494
AT ITER 472 NEW BEST:: SOT 18452 SOS 10486 HAS SOPS 7088 HAS SOUS 5382 HAS SOUPS 2535 WITH SCORE 2545.486
AT ITER 477 NEW BEST:: SOT 18502 SOS 10628 HAS SOPS 7103 HAS SOUS 5446 HAS SOUPS 2511 WITH SCORE 2521.628
AT ITER 481 NEW BEST:: SOT 18502 SOS 10714 HAS SOPS 7175 HAS SOUS 5446 HAS SOUPS 2497 WITH SCORE 2507.714
AT ITER 489 NEW BEST:: SOT 18492 SOS 10704 HAS SOPS 7165 HAS SOUS 5436 HAS SOUPS 2487 WITH SCORE 2497.704
AT ITER 510 NEW BEST:: SOT 18492 SOS 10704 HAS SOPS 7165 HAS SOUS 5433 HAS SOUPS 2484 WITH SCORE 2494.704
AT ITER 513 NEW BEST:: SOT 18485 SOS 10697 HAS SOPS 7158 HAS SOUS 5431 HAS SOUPS 2482 WITH SCORE 2492.697
AT ITER 537 NEW BEST:: SOT 18481 SOS 10693 HAS SOPS 7154 HAS SOUS 5425 HAS SOUPS 2476 WITH SCORE 2486.693
AT ITER 546 NEW BEST:: SOT 18445 SOS 10657 HAS SOPS 7118 HAS SOUS 5399 HAS SOUPS 2450 WITH SCORE 2460.657
AT ITER 549 NEW BEST:: SOT 18395 SOS 10716 HAS SOPS 7239 HAS SOUS 5356 HAS SOUPS 2438 WITH SCORE 2448.716
AT ITER 554 NEW BEST:: SOT 18294 SOS 10528 HAS SOPS 7160 HAS SOUS 5239 HAS SOUPS 2386 WITH SCORE 2396.528
AT ITER 562 NEW BEST:: SOT 18296 SOS 10549 HAS SOPS 7143 HAS SOUS 5241 HAS SOUPS 2350 WITH SCORE 2360.549
AT ITER 567 NEW BEST:: SOT 18276 SOS 10402 HAS SOPS 7123 HAS SOUS 5139 HAS SOUPS 2313 WITH SCORE 2323.402
AT ITER 579 NEW BEST:: SOT 18255 SOS 10432 HAS SOPS 7102 HAS SOUS 5169 HAS SOUPS 2292 WITH SCORE 2302.432
AT ITER 584 NEW BEST:: SOT 18243 SOS 10420 HAS SOPS 7090 HAS SOUS 5157 HAS SOUPS 2280 WITH SCORE 2290.42
AT ITER 616 NEW BEST:: SOT 18251 SOS 10446 HAS SOPS 7077 HAS SOUS 5162 HAS SOUPS 2246 WITH SCORE 2256.446
AT ITER 649 NEW BEST:: SOT 18218 SOS 10413 HAS SOPS 7044 HAS SOUS 5156 HAS SOUPS 2240 WITH SCORE 2250.413
AT ITER 652 NEW BEST:: SOT 18225 SOS 10464 HAS SOPS 7029 HAS SOUS 5163 HAS SOUPS 2203 WITH SCORE 2213.464
AT ITER 658 NEW BEST:: SOT 18225 SOS 10464 HAS SOPS 7015 HAS SOUS 5156 HAS SOUPS 2189 WITH SCORE 2199.464
AT ITER 660 NEW BEST:: SOT 18225 SOS 10461 HAS SOPS 7015 HAS SOUS 5156 HAS SOUPS 2189 WITH SCORE 2199.461
AT ITER 678 NEW BEST:: SOT 18225 SOS 10464 HAS SOPS 7006 HAS SOUS 5156 HAS SOUPS 2177 WITH SCORE 2187.464
AT ITER 703 NEW BEST:: SOT 18225 SOS 10472 HAS SOPS 6986 HAS SOUS 5142 HAS SOUPS 2149 WITH SCORE 2159.472
AT ITER 708 NEW BEST:: SOT 18236 SOS 10514 HAS SOPS 6966 HAS SOUS 5122 HAS SOUPS 2098 WITH SCORE 2108.514
AT ITER 709 NEW BEST:: SOT 18236 SOS 10500 HAS SOPS 6966 HAS SOUS 5122 HAS SOUPS 2098 WITH SCORE 2108.5
AT ITER 711 NEW BEST:: SOT 18242 SOS 10511 HAS SOPS 6937 HAS SOUS 5098 HAS SOUPS 2034 WITH SCORE 2044.511
AT ITER 716 NEW BEST:: SOT 18224 SOS 10474 HAS SOPS 6919 HAS SOUS 5079 HAS SOUPS 2034 WITH SCORE 2044.474
AT ITER 725 NEW BEST:: SOT 18296 SOS 10584 HAS SOPS 6953 HAS SOUS 5146 HAS SOUPS 2025 WITH SCORE 2035.584
AT ITER 726 NEW BEST:: SOT 18282 SOS 10553 HAS SOPS 6939 HAS SOUS 5101 HAS SOUPS 1997 WITH SCORE 2007.553
AT ITER 750 NEW BEST:: SOT 18282 SOS 10533 HAS SOPS 6939 HAS SOUS 5101 HAS SOUPS 1997 WITH SCORE 2007.533
AT ITER 782 NEW BEST:: SOT 18282 SOS 10529 HAS SOPS 6939 HAS SOUS 5101 HAS SOUPS 1997 WITH SCORE 2007.529
AT ITER 919 NEW BEST:: SOT 18287 SOS 10489 HAS SOPS 6859 HAS SOUS 5066 HAS SOUPS 1962 WITH SCORE 1972.489
AT ITER 921 NEW BEST:: SOT 18278 SOS 10543 HAS SOPS 6888 HAS SOUS 5044 HAS SOUPS 1915 WITH SCORE 1925.543
AT ITER 926 NEW BEST:: SOT 18278 SOS 10550 HAS SOPS 6881 HAS SOUS 5044 HAS SOUPS 1901 WITH SCORE 1911.55
AT ITER 957 NEW BEST:: SOT 18276 SOS 10546 HAS SOPS 6879 HAS SOUS 5042 HAS SOUPS 1901 WITH SCORE 1911.546
AT ITER 958 NEW BEST:: SOT 18273 SOS 10543 HAS SOPS 6876 HAS SOUS 5036 HAS SOUPS 1895 WITH SCORE 1905.543
AT ITER 985 NEW BEST:: SOT 18271 SOS 10541 HAS SOPS 6874 HAS SOUS 5034 HAS SOUPS 1893 WITH SCORE 1903.541
AT ITER 988 NEW BEST:: SOT 18262 SOS 10532 HAS SOPS 6865 HAS SOUS 5016 HAS SOUPS 1875 WITH SCORE 1885.532
AT ITER 991 NEW BEST:: SOT 18260 SOS 10530 HAS SOPS 6863 HAS SOUS 5012 HAS SOUPS 1871 WITH SCORE 1881.53
AT ITER 998 NEW BEST:: SOT 18260 SOS 10514 HAS SOPS 6863 HAS SOUS 5012 HAS SOUPS 1871 WITH SCORE 1881.514
AT ITER 1004 NEW BEST:: SOT 18258 SOS 10512 HAS SOPS 6861 HAS SOUS 5008 HAS SOUPS 1867 WITH SCORE 1877.512
AT ITER 1007 NEW BEST:: SOT 18258 SOS 10485 HAS SOPS 6861 HAS SOUS 5008 HAS SOUPS 1867 WITH SCORE 1877.485
AT ITER 1023 NEW BEST:: SOT 18255 SOS 10476 HAS SOPS 6858 HAS SOUS 5002 HAS SOUPS 1864 WITH SCORE 1874.476
AT ITER 1032 NEW BEST:: SOT 18273 SOS 10498 HAS SOPS 6842 HAS SOUS 5020 HAS SOUPS 1863 WITH SCORE 1873.498
AT ITER 1042 NEW BEST:: SOT 18272 SOS 10497 HAS SOPS 6841 HAS SOUS 5018 HAS SOUPS 1861 WITH SCORE 1871.497
AT ITER 1044 NEW BEST:: SOT 18272 SOS 10480 HAS SOPS 6841 HAS SOUS 5018 HAS SOUPS 1861 WITH SCORE 1871.48
AT ITER 1045 NEW BEST:: SOT 18275 SOS 10486 HAS SOPS 6841 HAS SOUS 5021 HAS SOUPS 1858 WITH SCORE 1868.486
AT ITER 1063 NEW BEST:: SOT 18229 SOS 10402 HAS SOPS 6799 HAS SOUS 4963 HAS SOUPS 1829 WITH SCORE 1839.402
AT ITER 1066 NEW BEST:: SOT 18200 SOS 10373 HAS SOPS 6765 HAS SOUS 4929 HAS SOUPS 1790 WITH SCORE 1800.373
AT ITER 1068 NEW BEST:: SOT 18167 SOS 10343 HAS SOPS 6753 HAS SOUS 4896 HAS SOUPS 1775 WITH SCORE 1785.343
AT ITER 1089 NEW BEST:: SOT 18156 SOS 10339 HAS SOPS 6760 HAS SOUS 4885 HAS SOUPS 1775 WITH SCORE 1785.339
AT ITER 1113 NEW BEST:: SOT 18106 SOS 10270 HAS SOPS 6710 HAS SOUS 4816 HAS SOUPS 1725 WITH SCORE 1735.27
AT ITER 1133 NEW BEST:: SOT 18106 SOS 10267 HAS SOPS 6710 HAS SOUS 4813 HAS SOUPS 1725 WITH SCORE 1735.267
AT ITER 1182 NEW BEST:: SOT 18106 SOS 10202 HAS SOPS 6710 HAS SOUS 4813 HAS SOUPS 1725 WITH SCORE 1735.202
AT ITER 1266 NEW BEST:: SOT 18106 SOS 10185 HAS SOPS 6710 HAS SOUS 4813 HAS SOUPS 1725 WITH SCORE 1735.185
AT ITER 1285 NEW BEST:: SOT 18168 SOS 10102 HAS SOPS 6549 HAS SOUS 4812 HAS SOUPS 1724 WITH SCORE 1734.102
AT ITER 1298 NEW BEST:: SOT 18168 SOS 10083 HAS SOPS 6549 HAS SOUS 4812 HAS SOUPS 1724 WITH SCORE 1734.083
AT ITER 1323 NEW BEST:: SOT 18168 SOS 10081 HAS SOPS 6549 HAS SOUS 4812 HAS SOUPS 1724 WITH SCORE 1734.081
AT ITER 1352 NEW BEST:: SOT 18168 SOS 10058 HAS SOPS 6549 HAS SOUS 4812 HAS SOUPS 1724 WITH SCORE 1734.058
AT ITER 1384 NEW BEST:: SOT 18220 SOS 10128 HAS SOPS 6559 HAS SOUS 4820 HAS SOUPS 1714 WITH SCORE 1724.128
AT ITER 1418 NEW BEST:: SOT 18225 SOS 9821 HAS SOPS 6238 HAS SOUS 4817 HAS SOUPS 1697 WITH SCORE 1706.821
AT ITER 1435 NEW BEST:: SOT 18251 SOS 9899 HAS SOPS 6238 HAS SOUS 4817 HAS SOUPS 1671 WITH SCORE 1680.899
AT ITER 1444 NEW BEST:: SOT 18257 SOS 9987 HAS SOPS 6244 HAS SOUS 4849 HAS SOUPS 1663 WITH SCORE 1672.987
AT ITER 1482 NEW BEST:: SOT 18255 SOS 9985 HAS SOPS 6240 HAS SOUS 4845 HAS SOUPS 1659 WITH SCORE 1668.985
AT ITER 1552 NEW BEST:: SOT 18255 SOS 9985 HAS SOPS 6240 HAS SOUS 4843 HAS SOUPS 1657 WITH SCORE 1666.985
AT ITER 1568 NEW BEST:: SOT 18248 SOS 9978 HAS SOPS 6233 HAS SOUS 4829 HAS SOUPS 1643 WITH SCORE 1652.978
AT ITER 1639 NEW BEST:: SOT 18242 SOS 9972 HAS SOPS 6235 HAS SOUS 4817 HAS SOUPS 1631 WITH SCORE 1640.972
AT ITER 1644 NEW BEST:: SOT 18309 SOS 10070 HAS SOPS 6271 HAS SOUS 4874 HAS SOUPS 1626 WITH SCORE 1636.07
AT ITER 1649 NEW BEST:: SOT 18316 SOS 10079 HAS SOPS 6276 HAS SOUS 4875 HAS SOUPS 1623 WITH SCORE 1633.079
AT ITER 1690 NEW BEST:: SOT 18333 SOS 10130 HAS SOPS 6276 HAS SOUS 4892 HAS SOUPS 1606 WITH SCORE 1616.13
AT ITER 1714 NEW BEST:: SOT 18340 SOS 10247 HAS SOPS 6283 HAS SOUS 4906 HAS SOUPS 1598 WITH SCORE 1608.247
AT ITER 1733 NEW BEST:: SOT 18340 SOS 10245 HAS SOPS 6283 HAS SOUS 4906 HAS SOUPS 1598 WITH SCORE 1608.245
AT ITER 1751 NEW BEST:: SOT 18335 SOS 10240 HAS SOPS 6278 HAS SOUS 4896 HAS SOUPS 1588 WITH SCORE 1598.24
AT ITER 1757 NEW BEST:: SOT 18336 SOS 10241 HAS SOPS 6279 HAS SOUS 4895 HAS SOUPS 1587 WITH SCORE 1597.241
AT ITER 1776 NEW BEST:: SOT 18336 SOS 10241 HAS SOPS 6279 HAS SOUS 4893 HAS SOUPS 1585 WITH SCORE 1595.241
AT ITER 1777 NEW BEST:: SOT 18336 SOS 10186 HAS SOPS 6216 HAS SOUS 4891 HAS SOUPS 1579 WITH SCORE 1589.186
AT ITER 1811 NEW BEST:: SOT 18343 SOS 10205 HAS SOPS 6223 HAS SOUS 4897 HAS SOUPS 1573 WITH SCORE 1583.205
AT ITER 1938 NEW BEST:: SOT 18341 SOS 10201 HAS SOPS 6221 HAS SOUS 4893 HAS SOUPS 1571 WITH SCORE 1581.201
AT ITER 2014 NEW BEST:: SOT 18341 SOS 10160 HAS SOPS 6144 HAS SOUS 4901 HAS SOUPS 1561 WITH SCORE 1571.16
AT ITER 2057 NEW BEST:: SOT 18341 SOS 10164 HAS SOPS 6140 HAS SOUS 4901 HAS SOUPS 1553 WITH SCORE 1563.164
AT ITER 2123 NEW BEST:: SOT 18341 SOS 10087 HAS SOPS 6041 HAS SOUS 4894 HAS SOUPS 1535 WITH SCORE 1545.087
AT ITER 2157 NEW BEST:: SOT 18329 SOS 10075 HAS SOPS 6017 HAS SOUS 4847 HAS SOUPS 1511 WITH SCORE 1521.075
AT ITER 2184 NEW BEST:: SOT 18325 SOS 10068 HAS SOPS 6013 HAS SOUS 4843 HAS SOUPS 1510 WITH SCORE 1520.068
AT ITER 2214 NEW BEST:: SOT 18325 SOS 10066 HAS SOPS 6013 HAS SOUS 4843 HAS SOUPS 1510 WITH SCORE 1520.066
AT ITER 2239 NEW BEST:: SOT 18323 SOS 10064 HAS SOPS 6011 HAS SOUS 4841 HAS SOUPS 1508 WITH SCORE 1518.064
AT ITER 2340 NEW BEST:: SOT 18321 SOS 10062 HAS SOPS 6009 HAS SOUS 4841 HAS SOUPS 1508 WITH SCORE 1518.062
AT ITER 2394 NEW BEST:: SOT 18321 SOS 10062 HAS SOPS 6009 HAS SOUS 4840 HAS SOUPS 1507 WITH SCORE 1517.062
AT ITER 2505 NEW BEST:: SOT 18321 SOS 10062 HAS SOPS 6009 HAS SOUS 4839 HAS SOUPS 1506 WITH SCORE 1516.062
AT ITER 2536 NEW BEST:: SOT 18319 SOS 10058 HAS SOPS 6007 HAS SOUS 4835 HAS SOUPS 1504 WITH SCORE 1514.058
AT ITER 2550 NEW BEST:: SOT 18319 SOS 10058 HAS SOPS 6002 HAS SOUS 4825 HAS SOUPS 1494 WITH SCORE 1504.058
AT ITER 2572 NEW BEST:: SOT 18313 SOS 10052 HAS SOPS 5996 HAS SOUS 4817 HAS SOUPS 1486 WITH SCORE 1496.052
AT ITER 2670 NEW BEST:: SOT 18313 SOS 10039 HAS SOPS 5996 HAS SOUS 4817 HAS SOUPS 1486 WITH SCORE 1496.039
AT ITER 2727 NEW BEST:: SOT 18313 SOS 10039 HAS SOPS 5996 HAS SOUS 4814 HAS SOUPS 1483 WITH SCORE 1493.039
AT ITER 2744 NEW BEST:: SOT 18313 SOS 10031 HAS SOPS 5996 HAS SOUS 4814 HAS SOUPS 1483 WITH SCORE 1493.031
AT ITER 2780 NEW BEST:: SOT 18316 SOS 10040 HAS SOPS 5996 HAS SOUS 4817 HAS SOUPS 1480 WITH SCORE 1490.04
AT ITER 2978 NEW BEST:: SOT 18311 SOS 10035 HAS SOPS 6001 HAS SOUS 4812 HAS SOUPS 1480 WITH SCORE 1490.035
AT ITER 3013 NEW BEST:: SOT 18307 SOS 10031 HAS SOPS 5993 HAS SOUS 4804 HAS SOUPS 1472 WITH SCORE 1482.031
AT ITER 3028 NEW BEST:: SOT 18297 SOS 10013 HAS SOPS 5983 HAS SOUS 4789 HAS SOUPS 1465 WITH SCORE 1475.013
AT ITER 3156 NEW BEST:: SOT 18297 SOS 10009 HAS SOPS 5983 HAS SOUS 4785 HAS SOUPS 1465 WITH SCORE 1475.009
AT ITER 3180 NEW BEST:: SOT 18297 SOS 9986 HAS SOPS 5983 HAS SOUS 4785 HAS SOUPS 1465 WITH SCORE 1474.986
AT ITER 3212 NEW BEST:: SOT 18301 SOS 9829 HAS SOPS 5821 HAS SOUS 4789 HAS SOUPS 1464 WITH SCORE 1473.829
AT ITER 3265 NEW BEST:: SOT 18299 SOS 9827 HAS SOPS 5817 HAS SOUS 4785 HAS SOUPS 1460 WITH SCORE 1469.827
AT ITER 3270 NEW BEST:: SOT 18300 SOS 9830 HAS SOPS 5817 HAS SOUS 4786 HAS SOUPS 1459 WITH SCORE 1468.83
AT ITER 3340 NEW BEST:: SOT 18300 SOS 9814 HAS SOPS 5795 HAS SOUS 4785 HAS SOUPS 1455 WITH SCORE 1464.814
AT ITER 3352 NEW BEST:: SOT 18302 SOS 9820 HAS SOPS 5795 HAS SOUS 4787 HAS SOUPS 1453 WITH SCORE 1462.82
AT ITER 3418 NEW BEST:: SOT 18297 SOS 9815 HAS SOPS 5785 HAS SOUS 4777 HAS SOUPS 1443 WITH SCORE 1452.815
AT ITER 3439 NEW BEST:: SOT 18297 SOS 9810 HAS SOPS 5774 HAS SOUS 4778 HAS SOUPS 1441 WITH SCORE 1450.81
AT ITER 3453 NEW BEST:: SOT 18296 SOS 9809 HAS SOPS 5773 HAS SOUS 4778 HAS SOUPS 1441 WITH SCORE 1450.809
AT ITER 3596 NEW BEST:: SOT 18296 SOS 9809 HAS SOPS 5773 HAS SOUS 4777 HAS SOUPS 1440 WITH SCORE 1449.809
AT ITER 3635 NEW BEST:: SOT 18286 SOS 9799 HAS SOPS 5753 HAS SOUS 4757 HAS SOUPS 1420 WITH SCORE 1429.799
AT ITER 3858 NEW BEST:: SOT 18285 SOS 9796 HAS SOPS 5752 HAS SOUS 4755 HAS SOUPS 1419 WITH SCORE 1428.796
AT ITER 3919 NEW BEST:: SOT 18285 SOS 9796 HAS SOPS 5752 HAS SOUS 4754 HAS SOUPS 1418 WITH SCORE 1427.796
AT ITER 3937 NEW BEST:: SOT 18231 SOS 9754 HAS SOPS 5758 HAS SOUS 4700 HAS SOUPS 1412 WITH SCORE 1421.754
AT ITER 3946 NEW BEST:: SOT 18231 SOS 9753 HAS SOPS 5758 HAS SOUS 4700 HAS SOUPS 1412 WITH SCORE 1421.753
AT ITER 3972 NEW BEST:: SOT 18231 SOS 9752 HAS SOPS 5758 HAS SOUS 4700 HAS SOUPS 1412 WITH SCORE 1421.752
AT ITER 4199 NEW BEST:: SOT 18229 SOS 9746 HAS SOPS 5756 HAS SOUS 4696 HAS SOUPS 1410 WITH SCORE 1419.746
AT ITER 4228 NEW BEST:: SOT 18229 SOS 9742 HAS SOPS 5756 HAS SOUS 4692 HAS SOUPS 1410 WITH SCORE 1419.742
AT ITER 4245 NEW BEST:: SOT 18234 SOS 9757 HAS SOPS 5756 HAS SOUS 4697 HAS SOUPS 1405 WITH SCORE 1414.757
AT ITER 4399 NEW BEST:: SOT 18234 SOS 9754 HAS SOPS 5756 HAS SOUS 4696 HAS SOUPS 1404 WITH SCORE 1413.754
AT ITER 4419 NEW BEST:: SOT 18235 SOS 9755 HAS SOPS 5757 HAS SOUS 4692 HAS SOUPS 1400 WITH SCORE 1409.755
AT ITER 4844 NEW BEST:: SOT 18235 SOS 9755 HAS SOPS 5751 HAS SOUS 4690 HAS SOUPS 1395 WITH SCORE 1404.755
AT ITER 4868 NEW BEST:: SOT 18233 SOS 9753 HAS SOPS 5751 HAS SOUS 4688 HAS SOUPS 1395 WITH SCORE 1404.753
AT ITER 4983 NEW BEST:: SOT 18233 SOS 9751 HAS SOPS 5751 HAS SOUS 4686 HAS SOUPS 1395 WITH SCORE 1404.751
AT ITER 5045 NEW BEST:: SOT 18231 SOS 9759 HAS SOPS 5760 HAS SOUS 4684 HAS SOUPS 1394 WITH SCORE 1403.759
AT ITER 5167 NEW BEST:: SOT 18231 SOS 9742 HAS SOPS 5760 HAS SOUS 4684 HAS SOUPS 1394 WITH SCORE 1403.742
AT ITER 5246 NEW BEST:: SOT 18231 SOS 9738 HAS SOPS 5760 HAS SOUS 4684 HAS SOUPS 1394 WITH SCORE 1403.738
AT ITER 5405 NEW BEST:: SOT 18232 SOS 9720 HAS SOPS 5740 HAS SOUS 4684 HAS SOUPS 1393 WITH SCORE 1402.72
AT ITER 5628 NEW BEST:: SOT 18243 SOS 9717 HAS SOPS 5726 HAS SOUS 4684 HAS SOUPS 1393 WITH SCORE 1402.717
AT ITER 5970 NEW BEST:: SOT 18243 SOS 9715 HAS SOPS 5726 HAS SOUS 4682 HAS SOUPS 1393 WITH SCORE 1402.715
AT ITER 6018 NEW BEST:: SOT 18243 SOS 9708 HAS SOPS 5726 HAS SOUS 4675 HAS SOUPS 1393 WITH SCORE 1402.708
AT ITER 6075 NEW BEST:: SOT 18242 SOS 9707 HAS SOPS 5725 HAS SOUS 4673 HAS SOUPS 1391 WITH SCORE 1400.707
AT ITER 6169 NEW BEST:: SOT 18241 SOS 9704 HAS SOPS 5724 HAS SOUS 4671 HAS SOUPS 1390 WITH SCORE 1399.704
AT ITER 6319 NEW BEST:: SOT 18246 SOS 9719 HAS SOPS 5724 HAS SOUS 4676 HAS SOUPS 1385 WITH SCORE 1394.719
AT ITER 6337 NEW BEST:: SOT 18247 SOS 9720 HAS SOPS 5725 HAS SOUS 4668 HAS SOUPS 1377 WITH SCORE 1386.72
AT ITER 6620 NEW BEST:: SOT 18250 SOS 9729 HAS SOPS 5725 HAS SOUS 4671 HAS SOUPS 1374 WITH SCORE 1383.729
AT ITER 7075 NEW BEST:: SOT 18250 SOS 9729 HAS SOPS 5725 HAS SOUS 4669 HAS SOUPS 1372 WITH SCORE 1381.729
AT ITER 7122 NEW BEST:: SOT 18250 SOS 9717 HAS SOPS 5703 HAS SOUS 4670 HAS SOUPS 1368 WITH SCORE 1377.717
AT ITER 7322 NEW BEST:: SOT 18249 SOS 9716 HAS SOPS 5702 HAS SOUS 4668 HAS SOUPS 1366 WITH SCORE 1375.716
AT ITER 7679 NEW BEST:: SOT 18248 SOS 9715 HAS SOPS 5700 HAS SOUS 4665 HAS SOUPS 1363 WITH SCORE 1372.715
AT ITER 7794 NEW BEST:: SOT 18248 SOS 9715 HAS SOPS 5700 HAS SOUS 4663 HAS SOUPS 1361 WITH SCORE 1370.715
AT ITER 8247 NEW BEST:: SOT 18248 SOS 9713 HAS SOPS 5700 HAS SOUS 4662 HAS SOUPS 1361 WITH SCORE 1370.713
AT ITER 8282 NEW BEST:: SOT 18248 SOS 9713 HAS SOPS 5700 HAS SOUS 4659 HAS SOUPS 1358 WITH SCORE 1367.713
AT ITER 9345 NEW BEST:: SOT 18248 SOS 9713 HAS SOPS 5700 HAS SOUS 4658 HAS SOUPS 1357 WITH SCORE 1366.713
AT ITER 9570 NEW BEST:: SOT 18248 SOS 9713 HAS SOPS 5700 HAS SOUS 4657 HAS SOUPS 1356 WITH SCORE 1365.713
AT ITER 9592 NEW BEST:: SOT 18246 SOS 9711 HAS SOPS 5696 HAS SOUS 4653 HAS SOUPS 1352 WITH SCORE 1361.711
AT ITER 9617 NEW BEST:: SOT 18246 SOS 9712 HAS SOPS 5695 HAS SOUS 4653 HAS SOUPS 1350 WITH SCORE 1359.712
AT ITER 9705 NEW BEST:: SOT 18246 SOS 9712 HAS SOPS 5695 HAS SOUS 4651 HAS SOUPS 1348 WITH SCORE 1357.712
AT ITER 9779 NEW BEST:: SOT 18245 SOS 9711 HAS SOPS 5693 HAS SOUS 4649 HAS SOUPS 1346 WITH SCORE 1355.711
AT ITER 9820 NEW BEST:: SOT 18245 SOS 9711 HAS SOPS 5693 HAS SOUS 4647 HAS SOUPS 1344 WITH SCORE 1353.711
AT ITER 9895 NEW BEST:: SOT 18246 SOS 9714 HAS SOPS 5693 HAS SOUS 4648 HAS SOUPS 1343 WITH SCORE 1352.714
STATE_SPACE STATES 308303 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 68 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1339104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472787509

--------------------
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="AirplaneLD-PT-0020"
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 AirplaneLD-PT-0020, 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-167813590600256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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