Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696400968.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 UtilityControlRoom-COL-Z2T3N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696400968
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 7.3K Feb 26 14:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 14:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679183914636

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=UtilityControlRoom-COL-Z2T3N06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 23:58:37] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 23:58:37] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 23:58:37] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 23:58:37] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 23:58:38] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 713 ms
[2023-03-18 23:58:38] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 106 PT places and 162.0 transition bindings in 18 ms.
[2023-03-18 23:58:38] [INFO ] Unfolded HLPN to a Petri net with 106 places and 162 transitions 510 arcs in 33 ms.
[2023-03-18 23:58:38] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 24 transitions
Reduce isomorphic transitions removed 24 transitions.
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
[2023-03-18 23:58:38] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 106 places, 126 transitions and 366 arcs took 10 ms.
Total runtime 981 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T3N06
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: 106 places, 126 transitions, 366 arcs.
AT ITER 0 NEW BEST:: SOT 9187 SOS 5260 HAS SOPS 5260 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4198.26
AT ITER 3 NEW BEST:: SOT 9187 SOS 5238 HAS SOPS 5238 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4180.238
AT ITER 6 NEW BEST:: SOT 9195 SOS 5187 HAS SOPS 5187 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4167.187
AT ITER 7 NEW BEST:: SOT 9195 SOS 5199 HAS SOPS 5199 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4134.199
AT ITER 19 NEW BEST:: SOT 9125 SOS 5143 HAS SOPS 5143 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4073.143
AT ITER 20 NEW BEST:: SOT 9125 SOS 5159 HAS SOPS 5159 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4069.159
AT ITER 23 NEW BEST:: SOT 8802 SOS 4991 HAS SOPS 4991 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3781.991
AT ITER 27 NEW BEST:: SOT 8813 SOS 4941 HAS SOPS 4941 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3773.941
AT ITER 30 NEW BEST:: SOT 8786 SOS 4896 HAS SOPS 4896 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.896
AT ITER 55 NEW BEST:: SOT 8792 SOS 4908 HAS SOPS 4908 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3747.908
AT ITER 58 NEW BEST:: SOT 8766 SOS 4834 HAS SOPS 4834 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3704.834
AT ITER 64 NEW BEST:: SOT 8766 SOS 4834 HAS SOPS 4834 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3698.834
AT ITER 71 NEW BEST:: SOT 8749 SOS 4798 HAS SOPS 4798 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.798
AT ITER 74 NEW BEST:: SOT 8763 SOS 4803 HAS SOPS 4803 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.803
AT ITER 76 NEW BEST:: SOT 8752 SOS 4792 HAS SOPS 4792 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.792
AT ITER 78 NEW BEST:: SOT 8627 SOS 5111 HAS SOPS 5111 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3542.111
AT ITER 84 NEW BEST:: SOT 8627 SOS 5091 HAS SOPS 5091 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3538.091
AT ITER 88 NEW BEST:: SOT 8611 SOS 5048 HAS SOPS 5048 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3524.048
AT ITER 91 NEW BEST:: SOT 8583 SOS 5006 HAS SOPS 5006 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3454.006
AT ITER 93 NEW BEST:: SOT 8575 SOS 5001 HAS SOPS 5001 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3444.001
AT ITER 105 NEW BEST:: SOT 8570 SOS 4983 HAS SOPS 4983 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3440.983
AT ITER 108 NEW BEST:: SOT 8578 SOS 4999 HAS SOPS 4999 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3424.999
AT ITER 117 NEW BEST:: SOT 8555 SOS 4870 HAS SOPS 4870 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3423.87
AT ITER 118 NEW BEST:: SOT 8557 SOS 4879 HAS SOPS 4879 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3420.879
AT ITER 119 NEW BEST:: SOT 8574 SOS 4858 HAS SOPS 4858 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3408.858
AT ITER 149 NEW BEST:: SOT 8568 SOS 4839 HAS SOPS 4839 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3405.839
AT ITER 154 NEW BEST:: SOT 8550 SOS 4817 HAS SOPS 4817 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3396.817
AT ITER 161 NEW BEST:: SOT 8554 SOS 4766 HAS SOPS 4766 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3385.766
AT ITER 164 NEW BEST:: SOT 8547 SOS 4750 HAS SOPS 4750 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3376.75
AT ITER 167 NEW BEST:: SOT 8547 SOS 4702 HAS SOPS 4702 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3366.702
AT ITER 177 NEW BEST:: SOT 8502 SOS 4648 HAS SOPS 4648 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3317.648
AT ITER 183 NEW BEST:: SOT 8502 SOS 4704 HAS SOPS 4704 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3286.704
AT ITER 188 NEW BEST:: SOT 8469 SOS 4681 HAS SOPS 4681 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3212.681
AT ITER 190 NEW BEST:: SOT 8435 SOS 4638 HAS SOPS 4638 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3102.638
AT ITER 194 NEW BEST:: SOT 8422 SOS 4612 HAS SOPS 4612 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3076.612
AT ITER 205 NEW BEST:: SOT 8407 SOS 4597 HAS SOPS 4597 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3004.597
AT ITER 217 NEW BEST:: SOT 8398 SOS 4579 HAS SOPS 4579 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2986.579
AT ITER 222 NEW BEST:: SOT 8383 SOS 4549 HAS SOPS 4549 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2971.549
AT ITER 223 NEW BEST:: SOT 8379 SOS 4204 HAS SOPS 4204 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2971.204
AT ITER 227 NEW BEST:: SOT 8374 SOS 4204 HAS SOPS 4204 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2966.204
AT ITER 239 NEW BEST:: SOT 8373 SOS 4182 HAS SOPS 4182 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2944.182
AT ITER 242 NEW BEST:: SOT 8362 SOS 4166 HAS SOPS 4166 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2933.166
AT ITER 244 NEW BEST:: SOT 8330 SOS 4042 HAS SOPS 4042 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2889.042
AT ITER 247 NEW BEST:: SOT 8326 SOS 4070 HAS SOPS 4070 HAS SOUS 2881 HAS SOUPS 2881 WITH SCORE 2885.07
AT ITER 270 NEW BEST:: SOT 8313 SOS 4070 HAS SOPS 4070 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2878.07
AT ITER 288 NEW BEST:: SOT 8313 SOS 4069 HAS SOPS 4069 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2874.069
AT ITER 294 NEW BEST:: SOT 8317 SOS 4066 HAS SOPS 4066 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2873.066
AT ITER 296 NEW BEST:: SOT 8300 SOS 4034 HAS SOPS 4034 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2841.034
AT ITER 300 NEW BEST:: SOT 8287 SOS 4016 HAS SOPS 4016 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2789.016
AT ITER 301 NEW BEST:: SOT 8284 SOS 4013 HAS SOPS 4013 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2786.013
AT ITER 304 NEW BEST:: SOT 8283 SOS 4002 HAS SOPS 4002 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2765.002
AT ITER 305 NEW BEST:: SOT 8289 SOS 4008 HAS SOPS 4008 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2759.008
AT ITER 317 NEW BEST:: SOT 8289 SOS 4006 HAS SOPS 4006 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2757.006
AT ITER 319 NEW BEST:: SOT 8274 SOS 3991 HAS SOPS 3991 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2726.991
AT ITER 326 NEW BEST:: SOT 8263 SOS 3969 HAS SOPS 3969 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2704.969
AT ITER 330 NEW BEST:: SOT 8261 SOS 3976 HAS SOPS 3976 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.976
AT ITER 332 NEW BEST:: SOT 8256 SOS 3981 HAS SOPS 3981 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2698.981
AT ITER 335 NEW BEST:: SOT 8254 SOS 3979 HAS SOPS 3979 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2695.979
AT ITER 337 NEW BEST:: SOT 8239 SOS 3955 HAS SOPS 3955 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.955
AT ITER 358 NEW BEST:: SOT 8228 SOS 3956 HAS SOPS 3956 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.956
AT ITER 365 NEW BEST:: SOT 8216 SOS 3932 HAS SOPS 3932 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2642.932
AT ITER 376 NEW BEST:: SOT 8206 SOS 3955 HAS SOPS 3955 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2632.955
AT ITER 405 NEW BEST:: SOT 8200 SOS 3943 HAS SOPS 3943 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.943
AT ITER 406 NEW BEST:: SOT 8177 SOS 3884 HAS SOPS 3884 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2594.884
AT ITER 424 NEW BEST:: SOT 8172 SOS 3879 HAS SOPS 3879 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2589.879
AT ITER 441 NEW BEST:: SOT 8172 SOS 3870 HAS SOPS 3870 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.87
AT ITER 462 NEW BEST:: SOT 8169 SOS 3860 HAS SOPS 3860 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2575.86
AT ITER 464 NEW BEST:: SOT 8169 SOS 3872 HAS SOPS 3872 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2569.872
AT ITER 465 NEW BEST:: SOT 8169 SOS 3872 HAS SOPS 3872 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.872
AT ITER 497 NEW BEST:: SOT 8171 SOS 3870 HAS SOPS 3870 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2565.87
AT ITER 521 NEW BEST:: SOT 8151 SOS 3834 HAS SOPS 3834 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2547.834
AT ITER 523 NEW BEST:: SOT 8151 SOS 3818 HAS SOPS 3818 HAS SOUS 2543 HAS SOUPS 2543 WITH SCORE 2546.818
AT ITER 526 NEW BEST:: SOT 8171 SOS 3886 HAS SOPS 3886 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2541.886
AT ITER 527 NEW BEST:: SOT 8168 SOS 3880 HAS SOPS 3880 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2539.88
AT ITER 538 NEW BEST:: SOT 8123 SOS 3766 HAS SOPS 3766 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2482.766
AT ITER 559 NEW BEST:: SOT 8105 SOS 3759 HAS SOPS 3759 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2443.759
AT ITER 560 NEW BEST:: SOT 8072 SOS 3699 HAS SOPS 3699 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2410.699
AT ITER 588 NEW BEST:: SOT 8070 SOS 3691 HAS SOPS 3691 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2406.691
AT ITER 589 NEW BEST:: SOT 8075 SOS 3661 HAS SOPS 3661 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.661
AT ITER 604 NEW BEST:: SOT 8069 SOS 3652 HAS SOPS 3652 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2391.652
AT ITER 608 NEW BEST:: SOT 8066 SOS 3645 HAS SOPS 3645 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2388.645
AT ITER 619 NEW BEST:: SOT 8065 SOS 3644 HAS SOPS 3644 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2387.644
AT ITER 640 NEW BEST:: SOT 8044 SOS 3592 HAS SOPS 3592 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2356.592
AT ITER 648 NEW BEST:: SOT 8033 SOS 3573 HAS SOPS 3573 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2341.573
AT ITER 673 NEW BEST:: SOT 8030 SOS 3521 HAS SOPS 3521 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2323.521
AT ITER 699 NEW BEST:: SOT 8026 SOS 3517 HAS SOPS 3517 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2319.517
AT ITER 710 NEW BEST:: SOT 8032 SOS 3477 HAS SOPS 3477 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2302.477
AT ITER 796 NEW BEST:: SOT 8003 SOS 3400 HAS SOPS 3400 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2257.4
AT ITER 812 NEW BEST:: SOT 7999 SOS 3400 HAS SOPS 3400 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2253.4
AT ITER 823 NEW BEST:: SOT 7999 SOS 3400 HAS SOPS 3400 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2251.4
AT ITER 853 NEW BEST:: SOT 7999 SOS 3384 HAS SOPS 3384 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2235.384
AT ITER 877 NEW BEST:: SOT 7991 SOS 3361 HAS SOPS 3361 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.361
AT ITER 905 NEW BEST:: SOT 8003 SOS 3380 HAS SOPS 3380 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2218.38
AT ITER 915 NEW BEST:: SOT 7993 SOS 3376 HAS SOPS 3376 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2214.376
AT ITER 918 NEW BEST:: SOT 7989 SOS 3361 HAS SOPS 3361 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.361
AT ITER 923 NEW BEST:: SOT 7987 SOS 3359 HAS SOPS 3359 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2208.359
AT ITER 926 NEW BEST:: SOT 7982 SOS 3322 HAS SOPS 3322 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2204.322
AT ITER 947 NEW BEST:: SOT 7972 SOS 3303 HAS SOPS 3303 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2194.303
AT ITER 964 NEW BEST:: SOT 7983 SOS 3312 HAS SOPS 3312 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2193.312
AT ITER 965 NEW BEST:: SOT 7973 SOS 3302 HAS SOPS 3302 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2193.302
AT ITER 982 NEW BEST:: SOT 7967 SOS 3296 HAS SOPS 3296 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2187.296
AT ITER 987 NEW BEST:: SOT 7961 SOS 3279 HAS SOPS 3279 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2180.279
AT ITER 1017 NEW BEST:: SOT 7921 SOS 3240 HAS SOPS 3240 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2142.24
AT ITER 1019 NEW BEST:: SOT 7908 SOS 3234 HAS SOPS 3234 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2129.234
AT ITER 1028 NEW BEST:: SOT 7908 SOS 3228 HAS SOPS 3228 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2123.228
AT ITER 1032 NEW BEST:: SOT 7904 SOS 3238 HAS SOPS 3238 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2119.238
AT ITER 1034 NEW BEST:: SOT 7906 SOS 3220 HAS SOPS 3220 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2116.22
AT ITER 1053 NEW BEST:: SOT 7902 SOS 3349 HAS SOPS 3349 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2115.349
AT ITER 1071 NEW BEST:: SOT 7901 SOS 3349 HAS SOPS 3349 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2114.349
AT ITER 1081 NEW BEST:: SOT 7889 SOS 3386 HAS SOPS 3386 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2109.386
AT ITER 1084 NEW BEST:: SOT 7876 SOS 3399 HAS SOPS 3399 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2096.399
AT ITER 1136 NEW BEST:: SOT 7838 SOS 3356 HAS SOPS 3356 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2056.356
AT ITER 1145 NEW BEST:: SOT 7820 SOS 3334 HAS SOPS 3334 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2018.334
AT ITER 1156 NEW BEST:: SOT 7812 SOS 3323 HAS SOPS 3323 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1994.323
AT ITER 1299 NEW BEST:: SOT 7811 SOS 3322 HAS SOPS 3322 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1994.322
AT ITER 1307 NEW BEST:: SOT 7813 SOS 3320 HAS SOPS 3320 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1984.32
AT ITER 1325 NEW BEST:: SOT 7812 SOS 3314 HAS SOPS 3314 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1982.314
AT ITER 1341 NEW BEST:: SOT 7809 SOS 3311 HAS SOPS 3311 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1976.311
AT ITER 1344 NEW BEST:: SOT 7808 SOS 3309 HAS SOPS 3309 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1975.309
AT ITER 1351 NEW BEST:: SOT 7800 SOS 3334 HAS SOPS 3334 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1970.334
AT ITER 1375 NEW BEST:: SOT 7800 SOS 3342 HAS SOPS 3342 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.342
AT ITER 1380 NEW BEST:: SOT 7800 SOS 3337 HAS SOPS 3337 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.337
AT ITER 1383 NEW BEST:: SOT 7800 SOS 3328 HAS SOPS 3328 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1945.328
AT ITER 1392 NEW BEST:: SOT 7786 SOS 3302 HAS SOPS 3302 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1932.302
AT ITER 1403 NEW BEST:: SOT 7785 SOS 3299 HAS SOPS 3299 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1930.299
AT ITER 1438 NEW BEST:: SOT 7774 SOS 3278 HAS SOPS 3278 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1914.278
AT ITER 1449 NEW BEST:: SOT 7760 SOS 3246 HAS SOPS 3246 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1904.246
AT ITER 1460 NEW BEST:: SOT 7758 SOS 3242 HAS SOPS 3242 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1902.242
AT ITER 1476 NEW BEST:: SOT 7752 SOS 3224 HAS SOPS 3224 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1890.224
AT ITER 1495 NEW BEST:: SOT 7757 SOS 3225 HAS SOPS 3225 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1889.225
AT ITER 1499 NEW BEST:: SOT 7751 SOS 3218 HAS SOPS 3218 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1884.218
AT ITER 1517 NEW BEST:: SOT 7754 SOS 3213 HAS SOPS 3213 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1883.213
AT ITER 1540 NEW BEST:: SOT 7753 SOS 3206 HAS SOPS 3206 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1882.206
AT ITER 1541 NEW BEST:: SOT 7758 SOS 3195 HAS SOPS 3195 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1881.195
AT ITER 1547 NEW BEST:: SOT 7764 SOS 3201 HAS SOPS 3201 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1878.201
AT ITER 1575 NEW BEST:: SOT 7763 SOS 3200 HAS SOPS 3200 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1877.2
AT ITER 1600 NEW BEST:: SOT 7761 SOS 3196 HAS SOPS 3196 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1875.196
AT ITER 1647 NEW BEST:: SOT 7761 SOS 3194 HAS SOPS 3194 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1874.194
AT ITER 1650 NEW BEST:: SOT 7760 SOS 3193 HAS SOPS 3193 HAS SOUS 1869 HAS SOUPS 1869 WITH SCORE 1872.193
AT ITER 1670 NEW BEST:: SOT 7739 SOS 3172 HAS SOPS 3172 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1843.172
AT ITER 1697 NEW BEST:: SOT 7739 SOS 3156 HAS SOPS 3156 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1841.156
AT ITER 1703 NEW BEST:: SOT 7741 SOS 3120 HAS SOPS 3120 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1834.12
AT ITER 1709 NEW BEST:: SOT 7733 SOS 3099 HAS SOPS 3099 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1824.099
AT ITER 1752 NEW BEST:: SOT 7739 SOS 3118 HAS SOPS 3118 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1823.118
AT ITER 1796 NEW BEST:: SOT 7739 SOS 3118 HAS SOPS 3118 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1815.118
AT ITER 1808 NEW BEST:: SOT 7737 SOS 3116 HAS SOPS 3116 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1813.116
AT ITER 1839 NEW BEST:: SOT 7734 SOS 3117 HAS SOPS 3117 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1809.117
AT ITER 1864 NEW BEST:: SOT 7729 SOS 3116 HAS SOPS 3116 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1808.116
AT ITER 1885 NEW BEST:: SOT 7725 SOS 3113 HAS SOPS 3113 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1805.113
AT ITER 1916 NEW BEST:: SOT 7718 SOS 3101 HAS SOPS 3101 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1794.101
AT ITER 1927 NEW BEST:: SOT 7714 SOS 3093 HAS SOPS 3093 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1786.093
AT ITER 1973 NEW BEST:: SOT 7713 SOS 3093 HAS SOPS 3093 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1784.093
AT ITER 2001 NEW BEST:: SOT 7713 SOS 3094 HAS SOPS 3094 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1783.094
AT ITER 2044 NEW BEST:: SOT 7710 SOS 3091 HAS SOPS 3091 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1779.091
AT ITER 2051 NEW BEST:: SOT 7710 SOS 3070 HAS SOPS 3070 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1779.07
AT ITER 2119 NEW BEST:: SOT 7708 SOS 3064 HAS SOPS 3064 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1775.064
AT ITER 2169 NEW BEST:: SOT 7708 SOS 3063 HAS SOPS 3063 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1775.063
AT ITER 2185 NEW BEST:: SOT 7705 SOS 3054 HAS SOPS 3054 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1769.054
AT ITER 2273 NEW BEST:: SOT 7703 SOS 3045 HAS SOPS 3045 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1762.045
AT ITER 2362 NEW BEST:: SOT 7697 SOS 3033 HAS SOPS 3033 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1752.033
AT ITER 2456 NEW BEST:: SOT 7696 SOS 3032 HAS SOPS 3032 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1751.032
AT ITER 2472 NEW BEST:: SOT 7694 SOS 3032 HAS SOPS 3032 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1747.032
AT ITER 2548 NEW BEST:: SOT 7691 SOS 3027 HAS SOPS 3027 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1743.027
AT ITER 2626 NEW BEST:: SOT 7684 SOS 3023 HAS SOPS 3023 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1741.023
AT ITER 2653 NEW BEST:: SOT 7684 SOS 3023 HAS SOPS 3023 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1739.023
AT ITER 2756 NEW BEST:: SOT 7684 SOS 3021 HAS SOPS 3021 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1738.021
AT ITER 2803 NEW BEST:: SOT 7684 SOS 3021 HAS SOPS 3021 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1737.021
AT ITER 3004 NEW BEST:: SOT 7683 SOS 3020 HAS SOPS 3020 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1734.02
AT ITER 3008 NEW BEST:: SOT 7679 SOS 3014 HAS SOPS 3014 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1728.014
AT ITER 3088 NEW BEST:: SOT 7677 SOS 3012 HAS SOPS 3012 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1723.012
AT ITER 3319 NEW BEST:: SOT 7677 SOS 3011 HAS SOPS 3011 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1722.011
AT ITER 3425 NEW BEST:: SOT 7676 SOS 3014 HAS SOPS 3014 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1721.014
AT ITER 3428 NEW BEST:: SOT 7670 SOS 3003 HAS SOPS 3003 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1712.003
AT ITER 3488 NEW BEST:: SOT 7668 SOS 3001 HAS SOPS 3001 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1708.001
AT ITER 3602 NEW BEST:: SOT 7665 SOS 2980 HAS SOPS 2980 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1706.98
AT ITER 3798 NEW BEST:: SOT 7661 SOS 2980 HAS SOPS 2980 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1698.98
AT ITER 3855 NEW BEST:: SOT 7662 SOS 2979 HAS SOPS 2979 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.979
AT ITER 3873 NEW BEST:: SOT 7661 SOS 2978 HAS SOPS 2978 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1696.978
AT ITER 3928 NEW BEST:: SOT 7659 SOS 2968 HAS SOPS 2968 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.968
AT ITER 3944 NEW BEST:: SOT 7659 SOS 2963 HAS SOPS 2963 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1691.963
AT ITER 3987 NEW BEST:: SOT 7659 SOS 2965 HAS SOPS 2965 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1690.965
AT ITER 4088 NEW BEST:: SOT 7656 SOS 2965 HAS SOPS 2965 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.965
AT ITER 4253 NEW BEST:: SOT 7656 SOS 2959 HAS SOPS 2959 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.959
AT ITER 4367 NEW BEST:: SOT 7655 SOS 2958 HAS SOPS 2958 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1682.958
AT ITER 4515 NEW BEST:: SOT 7653 SOS 2954 HAS SOPS 2954 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1680.954
AT ITER 4518 NEW BEST:: SOT 7652 SOS 2951 HAS SOPS 2951 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.951
AT ITER 4552 NEW BEST:: SOT 7652 SOS 2950 HAS SOPS 2950 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.95
AT ITER 4598 NEW BEST:: SOT 7652 SOS 2949 HAS SOPS 2949 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1677.949
AT ITER 4673 NEW BEST:: SOT 7650 SOS 2946 HAS SOPS 2946 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1672.946
AT ITER 4750 NEW BEST:: SOT 7650 SOS 2944 HAS SOPS 2944 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1672.944
AT ITER 4879 NEW BEST:: SOT 7649 SOS 2942 HAS SOPS 2942 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.942
AT ITER 5026 NEW BEST:: SOT 7651 SOS 2922 HAS SOPS 2922 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1668.922
AT ITER 5069 NEW BEST:: SOT 7646 SOS 2912 HAS SOPS 2912 HAS SOUS 1660 HAS SOUPS 1660 WITH SCORE 1662.912
AT ITER 5159 NEW BEST:: SOT 7646 SOS 2914 HAS SOPS 2914 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.914
AT ITER 5259 NEW BEST:: SOT 7645 SOS 2913 HAS SOPS 2913 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.913
AT ITER 5313 NEW BEST:: SOT 7641 SOS 2911 HAS SOPS 2911 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1651.911
AT ITER 5359 NEW BEST:: SOT 7641 SOS 2913 HAS SOPS 2913 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1650.913
AT ITER 5467 NEW BEST:: SOT 7640 SOS 2911 HAS SOPS 2911 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1650.911
AT ITER 5514 NEW BEST:: SOT 7646 SOS 2913 HAS SOPS 2913 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1649.913
AT ITER 5619 NEW BEST:: SOT 7649 SOS 2915 HAS SOPS 2915 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1648.915
AT ITER 5838 NEW BEST:: SOT 7647 SOS 2911 HAS SOPS 2911 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1644.911
AT ITER 6205 NEW BEST:: SOT 7646 SOS 2904 HAS SOPS 2904 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.904
AT ITER 6259 NEW BEST:: SOT 7645 SOS 2902 HAS SOPS 2902 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1642.902
AT ITER 6262 NEW BEST:: SOT 7644 SOS 2897 HAS SOPS 2897 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1642.897
AT ITER 6465 NEW BEST:: SOT 7643 SOS 2895 HAS SOPS 2895 HAS SOUS 1639 HAS SOUPS 1639 WITH SCORE 1641.895
AT ITER 6470 NEW BEST:: SOT 7643 SOS 2890 HAS SOPS 2890 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1640.89
AT ITER 6499 NEW BEST:: SOT 7643 SOS 2885 HAS SOPS 2885 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1640.885
AT ITER 6950 NEW BEST:: SOT 7641 SOS 2884 HAS SOPS 2884 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.884
AT ITER 6973 NEW BEST:: SOT 7641 SOS 2882 HAS SOPS 2882 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.882
AT ITER 7345 NEW BEST:: SOT 7640 SOS 2881 HAS SOPS 2881 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1634.881
AT ITER 7518 NEW BEST:: SOT 7641 SOS 2879 HAS SOPS 2879 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1634.879
AT ITER 7706 NEW BEST:: SOT 7641 SOS 2883 HAS SOPS 2883 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1633.883
AT ITER 7824 NEW BEST:: SOT 7641 SOS 2879 HAS SOPS 2879 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.879
AT ITER 8008 NEW BEST:: SOT 7640 SOS 2876 HAS SOPS 2876 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.876
AT ITER 8113 NEW BEST:: SOT 7640 SOS 2871 HAS SOPS 2871 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.871
AT ITER 8160 NEW BEST:: SOT 7640 SOS 2868 HAS SOPS 2868 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.868
AT ITER 8468 NEW BEST:: SOT 7640 SOS 2868 HAS SOPS 2868 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.868
AT ITER 9245 NEW BEST:: SOT 7651 SOS 2857 HAS SOPS 2857 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.857
AT ITER 9680 NEW BEST:: SOT 7658 SOS 2843 HAS SOPS 2843 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1626.843
STATE_SPACE STATES 26085150 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 209807220 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679183926641

--------------------
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="UtilityControlRoom-COL-Z2T3N06"
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 UtilityControlRoom-COL-Z2T3N06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696400968"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-COL-Z2T3N06.tgz
mv UtilityControlRoom-COL-Z2T3N06 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 ;