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.r515-tall-167987241900008.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 Anderson-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 416K
-rw-r--r-- 1 mcc users 6.4K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 92K Mar 26 22:42 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 1679873492532

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=Anderson-PT-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 04
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: 105 places, 200 transitions, 752 arcs.
AT ITER 0 NEW BEST:: SOT 12402 SOS 7515 HAS SOPS 7515 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4480.515
AT ITER 5 NEW BEST:: SOT 12373 SOS 7426 HAS SOPS 7426 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4417.426
AT ITER 25 NEW BEST:: SOT 12364 SOS 7408 HAS SOPS 7408 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4404.408
AT ITER 26 NEW BEST:: SOT 12351 SOS 7380 HAS SOPS 7358 HAS SOUS 4381 HAS SOUPS 4359 WITH SCORE 4366.38
AT ITER 37 NEW BEST:: SOT 12301 SOS 7344 HAS SOPS 7322 HAS SOUS 4345 HAS SOUPS 4323 WITH SCORE 4330.344
AT ITER 49 NEW BEST:: SOT 12295 SOS 7341 HAS SOPS 7319 HAS SOUS 4342 HAS SOUPS 4320 WITH SCORE 4327.341
AT ITER 52 NEW BEST:: SOT 12293 SOS 7333 HAS SOPS 7311 HAS SOUS 4340 HAS SOUPS 4318 WITH SCORE 4325.333
AT ITER 54 NEW BEST:: SOT 12297 SOS 7349 HAS SOPS 7322 HAS SOUS 4333 HAS SOUPS 4311 WITH SCORE 4318.349
AT ITER 73 NEW BEST:: SOT 12243 SOS 7219 HAS SOPS 7206 HAS SOUS 4324 HAS SOUPS 4311 WITH SCORE 4318.219
AT ITER 76 NEW BEST:: SOT 12031 SOS 6909 HAS SOPS 6909 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4167.909
AT ITER 99 NEW BEST:: SOT 11957 SOS 6836 HAS SOPS 6836 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4081.836
AT ITER 104 NEW BEST:: SOT 11955 SOS 6817 HAS SOPS 6817 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4075.817
AT ITER 119 NEW BEST:: SOT 11963 SOS 6819 HAS SOPS 6819 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4069.819
AT ITER 120 NEW BEST:: SOT 11963 SOS 6816 HAS SOPS 6816 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4066.816
AT ITER 123 NEW BEST:: SOT 11962 SOS 6815 HAS SOPS 6815 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4065.815
AT ITER 134 NEW BEST:: SOT 11962 SOS 6810 HAS SOPS 6810 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4065.81
AT ITER 135 NEW BEST:: SOT 11961 SOS 6816 HAS SOPS 6816 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4064.816
AT ITER 143 NEW BEST:: SOT 11976 SOS 6834 HAS SOPS 6834 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4058.834
AT ITER 158 NEW BEST:: SOT 11811 SOS 6770 HAS SOPS 6770 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3909.77
AT ITER 170 NEW BEST:: SOT 11808 SOS 6767 HAS SOPS 6767 HAS SOUS 3900 HAS SOUPS 3900 WITH SCORE 3906.767
AT ITER 179 NEW BEST:: SOT 11789 SOS 6748 HAS SOPS 6748 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3884.748
AT ITER 186 NEW BEST:: SOT 11823 SOS 6782 HAS SOPS 6782 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3862.782
AT ITER 197 NEW BEST:: SOT 11822 SOS 6781 HAS SOPS 6781 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3854.781
AT ITER 199 NEW BEST:: SOT 11825 SOS 6647 HAS SOPS 6647 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3842.647
AT ITER 205 NEW BEST:: SOT 11825 SOS 6632 HAS SOPS 6632 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3827.632
AT ITER 217 NEW BEST:: SOT 11840 SOS 6652 HAS SOPS 6652 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3811.652
AT ITER 222 NEW BEST:: SOT 11822 SOS 6634 HAS SOPS 6634 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3783.634
AT ITER 227 NEW BEST:: SOT 11830 SOS 6592 HAS SOPS 6592 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3775.592
AT ITER 268 NEW BEST:: SOT 11735 SOS 6492 HAS SOPS 6492 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3682.492
AT ITER 273 NEW BEST:: SOT 11726 SOS 6483 HAS SOPS 6483 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3673.483
AT ITER 279 NEW BEST:: SOT 11722 SOS 6480 HAS SOPS 6480 HAS SOUS 3663 HAS SOUPS 3663 WITH SCORE 3669.48
AT ITER 289 NEW BEST:: SOT 11682 SOS 6440 HAS SOPS 6440 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3624.44
AT ITER 299 NEW BEST:: SOT 11682 SOS 6440 HAS SOPS 6440 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3617.44
AT ITER 300 NEW BEST:: SOT 11666 SOS 6401 HAS SOPS 6401 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3607.401
AT ITER 316 NEW BEST:: SOT 11662 SOS 6393 HAS SOPS 6393 HAS SOUS 3595 HAS SOUPS 3595 WITH SCORE 3601.393
AT ITER 331 NEW BEST:: SOT 11654 SOS 6360 HAS SOPS 6360 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3598.36
AT ITER 344 NEW BEST:: SOT 11644 SOS 6324 HAS SOPS 6324 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3578.324
AT ITER 352 NEW BEST:: SOT 11642 SOS 6322 HAS SOPS 6322 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3576.322
AT ITER 357 NEW BEST:: SOT 11627 SOS 6365 HAS SOPS 6365 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3564.365
AT ITER 362 NEW BEST:: SOT 11618 SOS 6356 HAS SOPS 6356 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3564.356
AT ITER 370 NEW BEST:: SOT 11614 SOS 6352 HAS SOPS 6352 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3560.352
AT ITER 388 NEW BEST:: SOT 11606 SOS 6330 HAS SOPS 6330 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3550.33
AT ITER 396 NEW BEST:: SOT 11606 SOS 6330 HAS SOPS 6330 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3543.33
AT ITER 415 NEW BEST:: SOT 11605 SOS 6329 HAS SOPS 6329 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3541.329
AT ITER 451 NEW BEST:: SOT 11606 SOS 6330 HAS SOPS 6330 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3537.33
AT ITER 469 NEW BEST:: SOT 11598 SOS 6322 HAS SOPS 6322 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3529.322
AT ITER 485 NEW BEST:: SOT 11595 SOS 6319 HAS SOPS 6319 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3520.319
AT ITER 510 NEW BEST:: SOT 11595 SOS 6299 HAS SOPS 6299 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3518.299
AT ITER 525 NEW BEST:: SOT 11587 SOS 6283 HAS SOPS 6283 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3507.283
AT ITER 535 NEW BEST:: SOT 11587 SOS 6283 HAS SOPS 6283 HAS SOUS 3499 HAS SOUPS 3499 WITH SCORE 3505.283
AT ITER 582 NEW BEST:: SOT 11579 SOS 6275 HAS SOPS 6275 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3492.275
AT ITER 591 NEW BEST:: SOT 11569 SOS 6265 HAS SOPS 6265 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3489.265
AT ITER 616 NEW BEST:: SOT 11569 SOS 6265 HAS SOPS 6265 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3485.265
AT ITER 649 NEW BEST:: SOT 11575 SOS 6271 HAS SOPS 6271 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3463.271
AT ITER 650 NEW BEST:: SOT 11568 SOS 6264 HAS SOPS 6264 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3456.264
AT ITER 719 NEW BEST:: SOT 11568 SOS 6254 HAS SOPS 6254 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3456.254
AT ITER 730 NEW BEST:: SOT 11556 SOS 6208 HAS SOPS 6208 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3440.208
AT ITER 731 NEW BEST:: SOT 11556 SOS 6204 HAS SOPS 6204 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3440.204
AT ITER 732 NEW BEST:: SOT 11556 SOS 6188 HAS SOPS 6188 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3440.188
AT ITER 737 NEW BEST:: SOT 11552 SOS 6184 HAS SOPS 6184 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3440.184
AT ITER 739 NEW BEST:: SOT 11548 SOS 6176 HAS SOPS 6176 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3433.176
AT ITER 744 NEW BEST:: SOT 11543 SOS 6179 HAS SOPS 6179 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3432.179
AT ITER 750 NEW BEST:: SOT 11546 SOS 6192 HAS SOPS 6182 HAS SOUS 3434 HAS SOUPS 3424 WITH SCORE 3430.192
AT ITER 752 NEW BEST:: SOT 11545 SOS 6191 HAS SOPS 6181 HAS SOUS 3431 HAS SOUPS 3421 WITH SCORE 3427.191
AT ITER 753 NEW BEST:: SOT 11545 SOS 6191 HAS SOPS 6174 HAS SOUS 3435 HAS SOUPS 3418 WITH SCORE 3424.191
AT ITER 815 NEW BEST:: SOT 11543 SOS 6189 HAS SOPS 6172 HAS SOUS 3433 HAS SOUPS 3416 WITH SCORE 3422.189
AT ITER 835 NEW BEST:: SOT 11543 SOS 6185 HAS SOPS 6168 HAS SOUS 3432 HAS SOUPS 3415 WITH SCORE 3421.185
AT ITER 862 NEW BEST:: SOT 11519 SOS 6314 HAS SOPS 6297 HAS SOUS 3431 HAS SOUPS 3414 WITH SCORE 3420.314
AT ITER 870 NEW BEST:: SOT 11502 SOS 6297 HAS SOPS 6292 HAS SOUS 3412 HAS SOUPS 3407 WITH SCORE 3413.297
AT ITER 898 NEW BEST:: SOT 11499 SOS 6291 HAS SOPS 6286 HAS SOUS 3409 HAS SOUPS 3404 WITH SCORE 3410.291
AT ITER 914 NEW BEST:: SOT 11499 SOS 6279 HAS SOPS 6274 HAS SOUS 3409 HAS SOUPS 3404 WITH SCORE 3410.279
AT ITER 916 NEW BEST:: SOT 11490 SOS 6245 HAS SOPS 6240 HAS SOUS 3400 HAS SOUPS 3395 WITH SCORE 3401.245
AT ITER 952 NEW BEST:: SOT 11446 SOS 6197 HAS SOPS 6192 HAS SOUS 3333 HAS SOUPS 3328 WITH SCORE 3334.197
AT ITER 956 NEW BEST:: SOT 11443 SOS 6194 HAS SOPS 6189 HAS SOUS 3330 HAS SOUPS 3325 WITH SCORE 3331.194
AT ITER 996 NEW BEST:: SOT 11445 SOS 6214 HAS SOPS 6209 HAS SOUS 3326 HAS SOUPS 3321 WITH SCORE 3327.214
AT ITER 1002 NEW BEST:: SOT 11440 SOS 6209 HAS SOPS 6204 HAS SOUS 3316 HAS SOUPS 3311 WITH SCORE 3317.209
AT ITER 1018 NEW BEST:: SOT 11440 SOS 6205 HAS SOPS 6200 HAS SOUS 3316 HAS SOUPS 3311 WITH SCORE 3317.205
AT ITER 1022 NEW BEST:: SOT 11435 SOS 6200 HAS SOPS 6195 HAS SOUS 3306 HAS SOUPS 3301 WITH SCORE 3307.2
AT ITER 1032 NEW BEST:: SOT 11432 SOS 6197 HAS SOPS 6192 HAS SOUS 3300 HAS SOUPS 3295 WITH SCORE 3301.197
AT ITER 1038 NEW BEST:: SOT 11437 SOS 6202 HAS SOPS 6197 HAS SOUS 3277 HAS SOUPS 3272 WITH SCORE 3278.202
AT ITER 1048 NEW BEST:: SOT 11436 SOS 6200 HAS SOPS 6195 HAS SOUS 3275 HAS SOUPS 3270 WITH SCORE 3276.2
AT ITER 1049 NEW BEST:: SOT 11434 SOS 6198 HAS SOPS 6193 HAS SOUS 3271 HAS SOUPS 3266 WITH SCORE 3272.198
AT ITER 1058 NEW BEST:: SOT 11432 SOS 6172 HAS SOPS 6167 HAS SOUS 3269 HAS SOUPS 3264 WITH SCORE 3270.172
AT ITER 1118 NEW BEST:: SOT 11427 SOS 6167 HAS SOPS 6162 HAS SOUS 3264 HAS SOUPS 3259 WITH SCORE 3265.167
AT ITER 1135 NEW BEST:: SOT 11429 SOS 6147 HAS SOPS 6142 HAS SOUS 3263 HAS SOUPS 3258 WITH SCORE 3264.147
AT ITER 1154 NEW BEST:: SOT 11429 SOS 6139 HAS SOPS 6134 HAS SOUS 3263 HAS SOUPS 3258 WITH SCORE 3264.139
AT ITER 1187 NEW BEST:: SOT 11420 SOS 6121 HAS SOPS 6116 HAS SOUS 3245 HAS SOUPS 3240 WITH SCORE 3246.121
AT ITER 1212 NEW BEST:: SOT 11421 SOS 6118 HAS SOPS 6113 HAS SOUS 3245 HAS SOUPS 3240 WITH SCORE 3246.118
AT ITER 1280 NEW BEST:: SOT 11417 SOS 6122 HAS SOPS 6117 HAS SOUS 3239 HAS SOUPS 3234 WITH SCORE 3240.122
AT ITER 1304 NEW BEST:: SOT 11417 SOS 6122 HAS SOPS 6117 HAS SOUS 3238 HAS SOUPS 3233 WITH SCORE 3239.122
AT ITER 1309 NEW BEST:: SOT 11413 SOS 6118 HAS SOPS 6113 HAS SOUS 3234 HAS SOUPS 3229 WITH SCORE 3235.118
AT ITER 1330 NEW BEST:: SOT 11412 SOS 6116 HAS SOPS 6111 HAS SOUS 3232 HAS SOUPS 3227 WITH SCORE 3233.116
AT ITER 1367 NEW BEST:: SOT 11407 SOS 6111 HAS SOPS 6106 HAS SOUS 3222 HAS SOUPS 3217 WITH SCORE 3223.111
AT ITER 1393 NEW BEST:: SOT 11406 SOS 6110 HAS SOPS 6105 HAS SOUS 3220 HAS SOUPS 3215 WITH SCORE 3221.11
AT ITER 1485 NEW BEST:: SOT 11395 SOS 6097 HAS SOPS 6092 HAS SOUS 3220 HAS SOUPS 3215 WITH SCORE 3221.097
AT ITER 1541 NEW BEST:: SOT 11391 SOS 6201 HAS SOPS 6196 HAS SOUS 3219 HAS SOUPS 3214 WITH SCORE 3220.201
AT ITER 1618 NEW BEST:: SOT 11391 SOS 6197 HAS SOPS 6193 HAS SOUS 3217 HAS SOUPS 3213 WITH SCORE 3219.197
AT ITER 1624 NEW BEST:: SOT 11386 SOS 6192 HAS SOPS 6188 HAS SOUS 3207 HAS SOUPS 3203 WITH SCORE 3209.192
AT ITER 1665 NEW BEST:: SOT 11437 SOS 6254 HAS SOPS 6250 HAS SOUS 3189 HAS SOUPS 3185 WITH SCORE 3191.254
AT ITER 1689 NEW BEST:: SOT 11472 SOS 6292 HAS SOPS 6288 HAS SOUS 3185 HAS SOUPS 3181 WITH SCORE 3187.292
AT ITER 1715 NEW BEST:: SOT 11474 SOS 6296 HAS SOPS 6292 HAS SOUS 3182 HAS SOUPS 3178 WITH SCORE 3184.296
AT ITER 1753 NEW BEST:: SOT 11470 SOS 6292 HAS SOPS 6288 HAS SOUS 3171 HAS SOUPS 3167 WITH SCORE 3173.292
AT ITER 1757 NEW BEST:: SOT 11471 SOS 6290 HAS SOPS 6286 HAS SOUS 3169 HAS SOUPS 3165 WITH SCORE 3171.29
AT ITER 1826 NEW BEST:: SOT 11461 SOS 6289 HAS SOPS 6285 HAS SOUS 3167 HAS SOUPS 3163 WITH SCORE 3169.289
AT ITER 1829 NEW BEST:: SOT 11463 SOS 6283 HAS SOPS 6279 HAS SOUS 3164 HAS SOUPS 3160 WITH SCORE 3166.283
AT ITER 1888 NEW BEST:: SOT 11461 SOS 6281 HAS SOPS 6277 HAS SOUS 3158 HAS SOUPS 3154 WITH SCORE 3160.281
AT ITER 1927 NEW BEST:: SOT 11459 SOS 6279 HAS SOPS 6275 HAS SOUS 3155 HAS SOUPS 3151 WITH SCORE 3157.279
AT ITER 1937 NEW BEST:: SOT 11405 SOS 6225 HAS SOPS 6221 HAS SOUS 3149 HAS SOUPS 3145 WITH SCORE 3151.225
AT ITER 1975 NEW BEST:: SOT 11380 SOS 6189 HAS SOPS 6185 HAS SOUS 3114 HAS SOUPS 3110 WITH SCORE 3116.189
AT ITER 1976 NEW BEST:: SOT 11384 SOS 6109 HAS SOPS 6105 HAS SOUS 3111 HAS SOUPS 3107 WITH SCORE 3113.109
AT ITER 2002 NEW BEST:: SOT 11394 SOS 6119 HAS SOPS 6115 HAS SOUS 3107 HAS SOUPS 3103 WITH SCORE 3109.119
AT ITER 2013 NEW BEST:: SOT 11398 SOS 6054 HAS SOPS 6050 HAS SOUS 3103 HAS SOUPS 3099 WITH SCORE 3105.054
AT ITER 2014 NEW BEST:: SOT 11396 SOS 6052 HAS SOPS 6048 HAS SOUS 3101 HAS SOUPS 3097 WITH SCORE 3103.052
AT ITER 2048 NEW BEST:: SOT 11394 SOS 6056 HAS SOPS 6052 HAS SOUS 3097 HAS SOUPS 3093 WITH SCORE 3099.056
AT ITER 2085 NEW BEST:: SOT 11392 SOS 6052 HAS SOPS 6048 HAS SOUS 3095 HAS SOUPS 3091 WITH SCORE 3097.052
AT ITER 2099 NEW BEST:: SOT 11386 SOS 6050 HAS SOPS 6046 HAS SOUS 3092 HAS SOUPS 3088 WITH SCORE 3094.05
AT ITER 2107 NEW BEST:: SOT 11383 SOS 6053 HAS SOPS 6049 HAS SOUS 3089 HAS SOUPS 3085 WITH SCORE 3091.053
AT ITER 2135 NEW BEST:: SOT 11375 SOS 6045 HAS SOPS 6041 HAS SOUS 3081 HAS SOUPS 3077 WITH SCORE 3083.045
AT ITER 2202 NEW BEST:: SOT 11374 SOS 6044 HAS SOPS 6040 HAS SOUS 3080 HAS SOUPS 3076 WITH SCORE 3082.044
AT ITER 2219 NEW BEST:: SOT 11372 SOS 6094 HAS SOPS 6090 HAS SOUS 3078 HAS SOUPS 3074 WITH SCORE 3080.094
AT ITER 2301 NEW BEST:: SOT 11366 SOS 6088 HAS SOPS 6084 HAS SOUS 3070 HAS SOUPS 3066 WITH SCORE 3072.088
AT ITER 2405 NEW BEST:: SOT 11366 SOS 6087 HAS SOPS 6083 HAS SOUS 3069 HAS SOUPS 3065 WITH SCORE 3071.087
AT ITER 2437 NEW BEST:: SOT 11366 SOS 6083 HAS SOPS 6079 HAS SOUS 3068 HAS SOUPS 3064 WITH SCORE 3070.083
AT ITER 2473 NEW BEST:: SOT 11369 SOS 6080 HAS SOPS 6076 HAS SOUS 3068 HAS SOUPS 3064 WITH SCORE 3070.08
AT ITER 2484 NEW BEST:: SOT 11369 SOS 6078 HAS SOPS 6074 HAS SOUS 3068 HAS SOUPS 3064 WITH SCORE 3070.078
AT ITER 2566 NEW BEST:: SOT 11368 SOS 6078 HAS SOPS 6074 HAS SOUS 3067 HAS SOUPS 3063 WITH SCORE 3069.078
AT ITER 2636 NEW BEST:: SOT 11366 SOS 6076 HAS SOPS 6075 HAS SOUS 3063 HAS SOUPS 3062 WITH SCORE 3068.076
AT ITER 2642 NEW BEST:: SOT 11364 SOS 6074 HAS SOPS 6073 HAS SOUS 3061 HAS SOUPS 3060 WITH SCORE 3066.074
AT ITER 2716 NEW BEST:: SOT 11357 SOS 6077 HAS SOPS 6076 HAS SOUS 3060 HAS SOUPS 3059 WITH SCORE 3065.077
AT ITER 2815 NEW BEST:: SOT 11356 SOS 6077 HAS SOPS 6076 HAS SOUS 3058 HAS SOUPS 3057 WITH SCORE 3063.077
AT ITER 2927 NEW BEST:: SOT 11356 SOS 6073 HAS SOPS 6072 HAS SOUS 3056 HAS SOUPS 3055 WITH SCORE 3061.073
AT ITER 2955 NEW BEST:: SOT 11352 SOS 6105 HAS SOPS 6104 HAS SOUS 3051 HAS SOUPS 3050 WITH SCORE 3056.105
AT ITER 3039 NEW BEST:: SOT 11351 SOS 6103 HAS SOPS 6102 HAS SOUS 3049 HAS SOUPS 3048 WITH SCORE 3054.103
AT ITER 3054 NEW BEST:: SOT 11352 SOS 6104 HAS SOPS 6103 HAS SOUS 3045 HAS SOUPS 3044 WITH SCORE 3050.104
AT ITER 3068 NEW BEST:: SOT 11333 SOS 6085 HAS SOPS 6084 HAS SOUS 3026 HAS SOUPS 3025 WITH SCORE 3031.085
AT ITER 3164 NEW BEST:: SOT 11324 SOS 6066 HAS SOPS 6065 HAS SOUS 3026 HAS SOUPS 3025 WITH SCORE 3031.066
AT ITER 3218 NEW BEST:: SOT 11314 SOS 6069 HAS SOPS 6068 HAS SOUS 3019 HAS SOUPS 3018 WITH SCORE 3024.069
AT ITER 3228 NEW BEST:: SOT 11314 SOS 6063 HAS SOPS 6062 HAS SOUS 3019 HAS SOUPS 3018 WITH SCORE 3024.063
AT ITER 3307 NEW BEST:: SOT 11314 SOS 6045 HAS SOPS 6044 HAS SOUS 3019 HAS SOUPS 3018 WITH SCORE 3024.045
AT ITER 3414 NEW BEST:: SOT 11310 SOS 6041 HAS SOPS 6040 HAS SOUS 3015 HAS SOUPS 3014 WITH SCORE 3020.041
AT ITER 3465 NEW BEST:: SOT 11309 SOS 6039 HAS SOPS 6038 HAS SOUS 3014 HAS SOUPS 3013 WITH SCORE 3019.039
AT ITER 3468 NEW BEST:: SOT 11309 SOS 6033 HAS SOPS 6032 HAS SOUS 3014 HAS SOUPS 3013 WITH SCORE 3019.033
AT ITER 3698 NEW BEST:: SOT 11309 SOS 6037 HAS SOPS 6036 HAS SOUS 3012 HAS SOUPS 3011 WITH SCORE 3017.037
AT ITER 3744 NEW BEST:: SOT 11309 SOS 6023 HAS SOPS 6022 HAS SOUS 3012 HAS SOUPS 3011 WITH SCORE 3017.023
AT ITER 3801 NEW BEST:: SOT 11308 SOS 6022 HAS SOPS 6021 HAS SOUS 3011 HAS SOUPS 3010 WITH SCORE 3016.022
AT ITER 3831 NEW BEST:: SOT 11306 SOS 6018 HAS SOPS 6017 HAS SOUS 3009 HAS SOUPS 3008 WITH SCORE 3014.018
AT ITER 3854 NEW BEST:: SOT 11305 SOS 6018 HAS SOPS 6017 HAS SOUS 3007 HAS SOUPS 3006 WITH SCORE 3012.018
AT ITER 3859 NEW BEST:: SOT 11304 SOS 6017 HAS SOPS 6016 HAS SOUS 3005 HAS SOUPS 3004 WITH SCORE 3010.017
AT ITER 3936 NEW BEST:: SOT 11304 SOS 6015 HAS SOPS 6014 HAS SOUS 3004 HAS SOUPS 3003 WITH SCORE 3009.015
AT ITER 4060 NEW BEST:: SOT 11296 SOS 6011 HAS SOPS 6011 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3003.011
AT ITER 4086 NEW BEST:: SOT 11295 SOS 6009 HAS SOPS 6009 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3001.009
AT ITER 4197 NEW BEST:: SOT 11295 SOS 5989 HAS SOPS 5989 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3000.989
AT ITER 4368 NEW BEST:: SOT 11292 SOS 5983 HAS SOPS 5983 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2996.983
AT ITER 4381 NEW BEST:: SOT 11289 SOS 5980 HAS SOPS 5980 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2992.98
AT ITER 4407 NEW BEST:: SOT 11289 SOS 5979 HAS SOPS 5979 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2991.979
AT ITER 4422 NEW BEST:: SOT 11286 SOS 5980 HAS SOPS 5980 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2990.98
AT ITER 4478 NEW BEST:: SOT 11276 SOS 6004 HAS SOPS 6004 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2988.004
AT ITER 4494 NEW BEST:: SOT 11279 SOS 6006 HAS SOPS 6006 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2983.006
AT ITER 4500 NEW BEST:: SOT 11279 SOS 6006 HAS SOPS 6006 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2982.006
AT ITER 4583 NEW BEST:: SOT 11278 SOS 6004 HAS SOPS 6004 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2980.004
AT ITER 4652 NEW BEST:: SOT 11277 SOS 6003 HAS SOPS 6003 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2979.003
AT ITER 4714 NEW BEST:: SOT 11273 SOS 6003 HAS SOPS 6003 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2976.003
AT ITER 4797 NEW BEST:: SOT 11272 SOS 6003 HAS SOPS 6003 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2974.003
AT ITER 4799 NEW BEST:: SOT 11271 SOS 6002 HAS SOPS 6002 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2972.002
AT ITER 4995 NEW BEST:: SOT 11270 SOS 6012 HAS SOPS 6012 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2971.012
AT ITER 5014 NEW BEST:: SOT 11269 SOS 6004 HAS SOPS 6004 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2969.004
AT ITER 5049 NEW BEST:: SOT 11268 SOS 6008 HAS SOPS 6008 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2965.008
AT ITER 5087 NEW BEST:: SOT 11267 SOS 6004 HAS SOPS 6004 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2964.004
AT ITER 5116 NEW BEST:: SOT 11266 SOS 6003 HAS SOPS 6003 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2963.003
AT ITER 5123 NEW BEST:: SOT 11262 SOS 5980 HAS SOPS 5980 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2955.98
AT ITER 5125 NEW BEST:: SOT 11262 SOS 5978 HAS SOPS 5978 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2955.978
AT ITER 5146 NEW BEST:: SOT 11290 SOS 6006 HAS SOPS 6006 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2954.006
AT ITER 5156 NEW BEST:: SOT 11289 SOS 5993 HAS SOPS 5993 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2952.993
AT ITER 5215 NEW BEST:: SOT 11289 SOS 5991 HAS SOPS 5991 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2951.991
AT ITER 5271 NEW BEST:: SOT 11289 SOS 5996 HAS SOPS 5996 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2950.996
AT ITER 5302 NEW BEST:: SOT 11288 SOS 5995 HAS SOPS 5995 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2949.995
AT ITER 5349 NEW BEST:: SOT 11261 SOS 5968 HAS SOPS 5968 HAS SOUS 2941 HAS SOUPS 2941 WITH SCORE 2946.968
AT ITER 5500 NEW BEST:: SOT 11249 SOS 5956 HAS SOPS 5956 HAS SOUS 2941 HAS SOUPS 2941 WITH SCORE 2946.956
AT ITER 5520 NEW BEST:: SOT 11248 SOS 5955 HAS SOPS 5955 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2944.955
AT ITER 5591 NEW BEST:: SOT 11253 SOS 5959 HAS SOPS 5959 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2942.959
AT ITER 5749 NEW BEST:: SOT 11268 SOS 5974 HAS SOPS 5974 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2939.974
AT ITER 5786 NEW BEST:: SOT 11263 SOS 5961 HAS SOPS 5961 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2932.961
AT ITER 5922 NEW BEST:: SOT 11263 SOS 5959 HAS SOPS 5959 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2931.959
AT ITER 5980 NEW BEST:: SOT 11263 SOS 5959 HAS SOPS 5959 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2925.959
AT ITER 6005 NEW BEST:: SOT 11262 SOS 5958 HAS SOPS 5958 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2917.958
AT ITER 6017 NEW BEST:: SOT 11261 SOS 5962 HAS SOPS 5962 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2914.962
AT ITER 6043 NEW BEST:: SOT 11261 SOS 5966 HAS SOPS 5966 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2912.966
AT ITER 6163 NEW BEST:: SOT 11257 SOS 5964 HAS SOPS 5964 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2910.964
AT ITER 6257 NEW BEST:: SOT 11268 SOS 5975 HAS SOPS 5975 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2907.975
AT ITER 6304 NEW BEST:: SOT 11264 SOS 5972 HAS SOPS 5972 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2904.972
AT ITER 6640 NEW BEST:: SOT 11264 SOS 5972 HAS SOPS 5972 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2903.972
AT ITER 6676 NEW BEST:: SOT 11264 SOS 5966 HAS SOPS 5966 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2903.966
AT ITER 6712 NEW BEST:: SOT 11278 SOS 5980 HAS SOPS 5980 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2898.98
AT ITER 6723 NEW BEST:: SOT 11277 SOS 5979 HAS SOPS 5979 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2898.979
AT ITER 6774 NEW BEST:: SOT 11277 SOS 5978 HAS SOPS 5978 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2896.978
AT ITER 6858 NEW BEST:: SOT 11267 SOS 5968 HAS SOPS 5968 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2893.968
AT ITER 6930 NEW BEST:: SOT 11266 SOS 5963 HAS SOPS 5963 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2891.963
AT ITER 7041 NEW BEST:: SOT 11266 SOS 5961 HAS SOPS 5961 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2891.961
AT ITER 7051 NEW BEST:: SOT 11264 SOS 5955 HAS SOPS 5955 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2889.955
AT ITER 7138 NEW BEST:: SOT 11260 SOS 5950 HAS SOPS 5950 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2883.95
AT ITER 7334 NEW BEST:: SOT 11260 SOS 5946 HAS SOPS 5946 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2882.946
AT ITER 7395 NEW BEST:: SOT 11257 SOS 5946 HAS SOPS 5946 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2881.946
AT ITER 7456 NEW BEST:: SOT 11257 SOS 5943 HAS SOPS 5943 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2881.943
AT ITER 7471 NEW BEST:: SOT 11252 SOS 5939 HAS SOPS 5939 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2877.939
AT ITER 7619 NEW BEST:: SOT 11252 SOS 5936 HAS SOPS 5936 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2877.936
AT ITER 7736 NEW BEST:: SOT 11253 SOS 5934 HAS SOPS 5934 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2877.934
AT ITER 7760 NEW BEST:: SOT 11257 SOS 5900 HAS SOPS 5900 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2877.9
AT ITER 7794 NEW BEST:: SOT 11256 SOS 5898 HAS SOPS 5898 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2876.898
AT ITER 8097 NEW BEST:: SOT 11255 SOS 5897 HAS SOPS 5897 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2876.897
AT ITER 8196 NEW BEST:: SOT 11255 SOS 5897 HAS SOPS 5897 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2875.897
AT ITER 8229 NEW BEST:: SOT 11225 SOS 5866 HAS SOPS 5866 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2872.866
AT ITER 8278 NEW BEST:: SOT 11224 SOS 5865 HAS SOPS 5865 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2871.865
AT ITER 8304 NEW BEST:: SOT 11221 SOS 5862 HAS SOPS 5862 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2871.862
AT ITER 8355 NEW BEST:: SOT 11221 SOS 5850 HAS SOPS 5850 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2871.85
AT ITER 8662 NEW BEST:: SOT 11221 SOS 5852 HAS SOPS 5852 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2870.852
AT ITER 9010 NEW BEST:: SOT 11220 SOS 5851 HAS SOPS 5851 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2868.851
AT ITER 9018 NEW BEST:: SOT 11218 SOS 5849 HAS SOPS 5849 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2866.849
AT ITER 9021 NEW BEST:: SOT 11214 SOS 5845 HAS SOPS 5845 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2862.845
AT ITER 9209 NEW BEST:: SOT 11213 SOS 5837 HAS SOPS 5837 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2861.837
AT ITER 9303 NEW BEST:: SOT 11201 SOS 5825 HAS SOPS 5825 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2861.825
AT ITER 9515 NEW BEST:: SOT 11197 SOS 5821 HAS SOPS 5821 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2857.821
AT ITER 9526 NEW BEST:: SOT 11217 SOS 5841 HAS SOPS 5841 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2856.841
AT ITER 9599 NEW BEST:: SOT 11217 SOS 5841 HAS SOPS 5841 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2855.841
STATE_SPACE STATES 29641 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 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 97516 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679873507360

--------------------
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="Anderson-PT-04"
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 Anderson-PT-04, 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 r515-tall-167987241900008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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