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.r291-tall-167873942300032.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 PhaseVariation-PT-D05CS100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942300032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.4K Feb 26 15:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 15:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 15:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 15:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 15:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 633K 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 1678775516243

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=PhaseVariation-PT-D05CS100
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D05CS100
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: 77 places, 677 transitions, 4685 arcs.
AT ITER 0 NEW BEST:: SOT 46635 SOS 33492 HAS SOPS 28721 HAS SOUS 23309 HAS SOUPS 22271 WITH SCORE 22304.492
AT ITER 1 NEW BEST:: SOT 46635 SOS 33554 HAS SOPS 28793 HAS SOUS 23119 HAS SOUPS 22037 WITH SCORE 22070.554
AT ITER 2 NEW BEST:: SOT 46635 SOS 33711 HAS SOPS 28979 HAS SOUS 23000 HAS SOUPS 21918 WITH SCORE 21951.711
AT ITER 3 NEW BEST:: SOT 46635 SOS 33673 HAS SOPS 28991 HAS SOUS 22849 HAS SOUPS 21784 WITH SCORE 21817.673
AT ITER 5 NEW BEST:: SOT 46839 SOS 34236 HAS SOPS 29453 HAS SOUS 22495 HAS SOUPS 21416 WITH SCORE 21450.236
AT ITER 6 NEW BEST:: SOT 46839 SOS 34199 HAS SOPS 29603 HAS SOUS 22492 HAS SOUPS 21413 WITH SCORE 21447.199
AT ITER 9 NEW BEST:: SOT 46839 SOS 34133 HAS SOPS 29603 HAS SOUS 22337 HAS SOUPS 21323 WITH SCORE 21357.133
AT ITER 13 NEW BEST:: SOT 46839 SOS 34048 HAS SOPS 29603 HAS SOUS 22334 HAS SOUPS 21320 WITH SCORE 21354.048
AT ITER 14 NEW BEST:: SOT 46839 SOS 34047 HAS SOPS 29597 HAS SOUS 22255 HAS SOUPS 21241 WITH SCORE 21275.047
AT ITER 15 NEW BEST:: SOT 46839 SOS 34037 HAS SOPS 29565 HAS SOUS 22201 HAS SOUPS 21187 WITH SCORE 21221.037
AT ITER 16 NEW BEST:: SOT 46839 SOS 34117 HAS SOPS 29945 HAS SOUS 21594 HAS SOUPS 20674 WITH SCORE 20708.117
AT ITER 17 NEW BEST:: SOT 46839 SOS 34127 HAS SOPS 29945 HAS SOUS 21584 HAS SOUPS 20664 WITH SCORE 20698.127
AT ITER 18 NEW BEST:: SOT 46839 SOS 34012 HAS SOPS 29861 HAS SOUS 21517 HAS SOUPS 20604 WITH SCORE 20638.012
AT ITER 19 NEW BEST:: SOT 46959 SOS 34489 HAS SOPS 30347 HAS SOUS 21437 HAS SOUPS 20507 WITH SCORE 20541.489
AT ITER 20 NEW BEST:: SOT 46959 SOS 34653 HAS SOPS 30467 HAS SOUS 21121 HAS SOUPS 20174 WITH SCORE 20208.653
AT ITER 21 NEW BEST:: SOT 46959 SOS 34780 HAS SOPS 30495 HAS SOUS 20971 HAS SOUPS 19972 WITH SCORE 20006.78
AT ITER 22 NEW BEST:: SOT 46959 SOS 34881 HAS SOPS 31179 HAS SOUS 20705 HAS SOUPS 19743 WITH SCORE 19777.881
AT ITER 27 NEW BEST:: SOT 46959 SOS 34923 HAS SOPS 31179 HAS SOUS 20645 HAS SOUPS 19701 WITH SCORE 19735.923
AT ITER 29 NEW BEST:: SOT 46959 SOS 34926 HAS SOPS 31203 HAS SOUS 20631 HAS SOUPS 19700 WITH SCORE 19734.926
AT ITER 30 NEW BEST:: SOT 46959 SOS 35097 HAS SOPS 31083 HAS SOUS 20324 HAS SOUPS 19336 WITH SCORE 19371.097
AT ITER 31 NEW BEST:: SOT 46959 SOS 35095 HAS SOPS 31083 HAS SOUS 20322 HAS SOUPS 19334 WITH SCORE 19369.095
AT ITER 33 NEW BEST:: SOT 46959 SOS 34980 HAS SOPS 30993 HAS SOUS 20224 HAS SOUPS 19236 WITH SCORE 19270.98
AT ITER 34 NEW BEST:: SOT 46959 SOS 34905 HAS SOPS 30929 HAS SOUS 20127 HAS SOUPS 19139 WITH SCORE 19173.905
AT ITER 36 NEW BEST:: SOT 46959 SOS 34630 HAS SOPS 30845 HAS SOUS 19889 HAS SOUPS 18901 WITH SCORE 18935.63
AT ITER 37 NEW BEST:: SOT 46959 SOS 34538 HAS SOPS 30749 HAS SOUS 19386 HAS SOUPS 18477 WITH SCORE 18511.538
AT ITER 39 NEW BEST:: SOT 46959 SOS 34576 HAS SOPS 30653 HAS SOUS 19392 HAS SOUPS 18475 WITH SCORE 18509.576
AT ITER 40 NEW BEST:: SOT 46959 SOS 34576 HAS SOPS 30653 HAS SOUS 19385 HAS SOUPS 18468 WITH SCORE 18502.576
AT ITER 43 NEW BEST:: SOT 46959 SOS 34513 HAS SOPS 30509 HAS SOUS 19414 HAS SOUPS 18456 WITH SCORE 18490.513
AT ITER 46 NEW BEST:: SOT 46959 SOS 34514 HAS SOPS 30517 HAS SOUS 19351 HAS SOUPS 18400 WITH SCORE 18434.514
AT ITER 47 NEW BEST:: SOT 47203 SOS 34671 HAS SOPS 31061 HAS SOUS 18610 HAS SOUPS 17743 WITH SCORE 17777.671
AT ITER 48 NEW BEST:: SOT 46767 SOS 34251 HAS SOPS 30649 HAS SOUS 18175 HAS SOUPS 17316 WITH SCORE 17350.251
AT ITER 52 NEW BEST:: SOT 46767 SOS 34236 HAS SOPS 30721 HAS SOUS 17945 HAS SOUPS 17103 WITH SCORE 17137.236
AT ITER 54 NEW BEST:: SOT 46767 SOS 34430 HAS SOPS 31177 HAS SOUS 17791 HAS SOUPS 16971 WITH SCORE 17005.43
AT ITER 59 NEW BEST:: SOT 46767 SOS 34406 HAS SOPS 31177 HAS SOUS 17777 HAS SOUPS 16959 WITH SCORE 16993.406
AT ITER 60 NEW BEST:: SOT 46767 SOS 34434 HAS SOPS 31201 HAS SOUS 17775 HAS SOUPS 16957 WITH SCORE 16991.434
AT ITER 64 NEW BEST:: SOT 46795 SOS 34597 HAS SOPS 31397 HAS SOUS 17707 HAS SOUPS 16905 WITH SCORE 16939.597
AT ITER 69 NEW BEST:: SOT 46795 SOS 34669 HAS SOPS 31673 HAS SOUS 17474 HAS SOUPS 16775 WITH SCORE 16809.669
AT ITER 76 NEW BEST:: SOT 46795 SOS 34736 HAS SOPS 31889 HAS SOUS 17357 HAS SOUPS 16688 WITH SCORE 16722.736
AT ITER 77 NEW BEST:: SOT 46902 SOS 34425 HAS SOPS 30844 HAS SOUS 17579 HAS SOUPS 16682 WITH SCORE 16716.425
AT ITER 79 NEW BEST:: SOT 43324 SOS 36208 HAS SOPS 27030 HAS SOUS 13545 HAS SOUPS 12658 WITH SCORE 12694.208
AT ITER 82 NEW BEST:: SOT 43454 SOS 36338 HAS SOPS 27160 HAS SOUS 13529 HAS SOUPS 12642 WITH SCORE 12678.338
AT ITER 83 NEW BEST:: SOT 43454 SOS 36338 HAS SOPS 27160 HAS SOUS 13520 HAS SOUPS 12633 WITH SCORE 12669.338
AT ITER 84 NEW BEST:: SOT 43400 SOS 36284 HAS SOPS 27106 HAS SOUS 13389 HAS SOUPS 12498 WITH SCORE 12534.284
AT ITER 85 NEW BEST:: SOT 43400 SOS 36204 HAS SOPS 27220 HAS SOUS 13228 HAS SOUPS 12356 WITH SCORE 12392.204
AT ITER 86 NEW BEST:: SOT 43588 SOS 36392 HAS SOPS 27864 HAS SOUS 12948 HAS SOUPS 12113 WITH SCORE 12149.392
AT ITER 89 NEW BEST:: SOT 43588 SOS 36392 HAS SOPS 27882 HAS SOUS 12398 HAS SOUPS 11618 WITH SCORE 11654.392
AT ITER 94 NEW BEST:: SOT 43588 SOS 36392 HAS SOPS 27744 HAS SOUS 12345 HAS SOUPS 11565 WITH SCORE 11601.392
AT ITER 100 NEW BEST:: SOT 43588 SOS 36251 HAS SOPS 27600 HAS SOUS 12325 HAS SOUPS 11545 WITH SCORE 11581.251
AT ITER 106 NEW BEST:: SOT 43588 SOS 36251 HAS SOPS 27456 HAS SOUS 12127 HAS SOUPS 11366 WITH SCORE 11402.251
AT ITER 110 NEW BEST:: SOT 43588 SOS 36308 HAS SOPS 27690 HAS SOUS 12096 HAS SOUPS 11343 WITH SCORE 11379.308
AT ITER 112 NEW BEST:: SOT 43608 SOS 36328 HAS SOPS 27750 HAS SOUS 11969 HAS SOUPS 11266 WITH SCORE 11302.328
AT ITER 113 NEW BEST:: SOT 43608 SOS 36328 HAS SOPS 28014 HAS SOUS 11928 HAS SOUPS 11225 WITH SCORE 11261.328
AT ITER 114 NEW BEST:: SOT 43608 SOS 36328 HAS SOPS 28086 HAS SOUS 11908 HAS SOUPS 11218 WITH SCORE 11254.328
AT ITER 116 NEW BEST:: SOT 43608 SOS 36328 HAS SOPS 28170 HAS SOUS 11654 HAS SOUPS 11010 WITH SCORE 11046.328
AT ITER 118 NEW BEST:: SOT 43448 SOS 36168 HAS SOPS 28010 HAS SOUS 11611 HAS SOUPS 10967 WITH SCORE 11003.168
AT ITER 121 NEW BEST:: SOT 43448 SOS 36080 HAS SOPS 27962 HAS SOUS 11611 HAS SOUPS 10967 WITH SCORE 11003.08
AT ITER 122 NEW BEST:: SOT 43448 SOS 36080 HAS SOPS 27962 HAS SOUS 11597 HAS SOUPS 10953 WITH SCORE 10989.08
AT ITER 129 NEW BEST:: SOT 43448 SOS 36080 HAS SOPS 28088 HAS SOUS 11589 HAS SOUPS 10945 WITH SCORE 10981.08
AT ITER 131 NEW BEST:: SOT 40574 SOS 33206 HAS SOPS 27050 HAS SOUS 8639 HAS SOUPS 8364 WITH SCORE 8397.206
AT ITER 132 NEW BEST:: SOT 40560 SOS 33192 HAS SOPS 27036 HAS SOUS 8546 HAS SOUPS 8271 WITH SCORE 8304.192
AT ITER 133 NEW BEST:: SOT 40772 SOS 33404 HAS SOPS 27248 HAS SOUS 8342 HAS SOUPS 8067 WITH SCORE 8100.404
AT ITER 143 NEW BEST:: SOT 40779 SOS 33411 HAS SOPS 27271 HAS SOUS 8308 HAS SOUPS 8035 WITH SCORE 8068.411
AT ITER 145 NEW BEST:: SOT 40810 SOS 33432 HAS SOPS 27098 HAS SOUS 8269 HAS SOUPS 7999 WITH SCORE 8032.432
AT ITER 146 NEW BEST:: SOT 40810 SOS 33249 HAS SOPS 27166 HAS SOUS 8213 HAS SOUPS 7974 WITH SCORE 8007.249
AT ITER 153 NEW BEST:: SOT 40810 SOS 33249 HAS SOPS 27230 HAS SOUS 8195 HAS SOUPS 7960 WITH SCORE 7993.249
AT ITER 160 NEW BEST:: SOT 40768 SOS 33215 HAS SOPS 27260 HAS SOUS 7982 HAS SOUPS 7747 WITH SCORE 7780.215
AT ITER 175 NEW BEST:: SOT 40816 SOS 33263 HAS SOPS 27308 HAS SOUS 7910 HAS SOUPS 7675 WITH SCORE 7708.263
AT ITER 176 NEW BEST:: SOT 40690 SOS 33137 HAS SOPS 27182 HAS SOUS 7695 HAS SOUPS 7460 WITH SCORE 7493.137
AT ITER 177 NEW BEST:: SOT 40690 SOS 33140 HAS SOPS 27230 HAS SOUS 7683 HAS SOUPS 7452 WITH SCORE 7485.14
AT ITER 178 NEW BEST:: SOT 40775 SOS 33225 HAS SOPS 27315 HAS SOUS 7532 HAS SOUPS 7301 WITH SCORE 7334.225
AT ITER 179 NEW BEST:: SOT 41003 SOS 33453 HAS SOPS 27543 HAS SOUS 7422 HAS SOUPS 7191 WITH SCORE 7224.453
AT ITER 180 NEW BEST:: SOT 41003 SOS 33547 HAS SOPS 27651 HAS SOUS 7408 HAS SOUPS 7180 WITH SCORE 7213.547
AT ITER 182 NEW BEST:: SOT 40685 SOS 35473 HAS SOPS 35293 HAS SOUS 7055 HAS SOUPS 7033 WITH SCORE 7068.473
AT ITER 199 NEW BEST:: SOT 40703 SOS 35491 HAS SOPS 35311 HAS SOUS 7050 HAS SOUPS 7028 WITH SCORE 7063.491
AT ITER 203 NEW BEST:: SOT 40523 SOS 35311 HAS SOPS 35131 HAS SOUS 7045 HAS SOUPS 7023 WITH SCORE 7058.311
AT ITER 209 NEW BEST:: SOT 40675 SOS 35463 HAS SOPS 35283 HAS SOUS 6881 HAS SOUPS 6859 WITH SCORE 6894.463
AT ITER 210 NEW BEST:: SOT 40627 SOS 35415 HAS SOPS 35235 HAS SOUS 6831 HAS SOUPS 6809 WITH SCORE 6844.415
AT ITER 215 NEW BEST:: SOT 40568 SOS 35356 HAS SOPS 35176 HAS SOUS 6828 HAS SOUPS 6806 WITH SCORE 6841.356
AT ITER 216 NEW BEST:: SOT 40572 SOS 35360 HAS SOPS 35180 HAS SOUS 6815 HAS SOUPS 6793 WITH SCORE 6828.36
AT ITER 219 NEW BEST:: SOT 40494 SOS 35282 HAS SOPS 35102 HAS SOUS 6671 HAS SOUPS 6649 WITH SCORE 6684.282
AT ITER 223 NEW BEST:: SOT 40398 SOS 35186 HAS SOPS 35006 HAS SOUS 6663 HAS SOUPS 6641 WITH SCORE 6676.186
AT ITER 224 NEW BEST:: SOT 40342 SOS 35130 HAS SOPS 34950 HAS SOUS 6639 HAS SOUPS 6617 WITH SCORE 6652.13
AT ITER 225 NEW BEST:: SOT 40129 SOS 34917 HAS SOPS 34737 HAS SOUS 6570 HAS SOUPS 6548 WITH SCORE 6582.917
AT ITER 226 NEW BEST:: SOT 40229 SOS 34875 HAS SOPS 34767 HAS SOUS 6554 HAS SOUPS 6532 WITH SCORE 6566.875
AT ITER 228 NEW BEST:: SOT 40257 SOS 34903 HAS SOPS 34795 HAS SOUS 6542 HAS SOUPS 6520 WITH SCORE 6554.903
AT ITER 230 NEW BEST:: SOT 40248 SOS 34894 HAS SOPS 34786 HAS SOUS 6540 HAS SOUPS 6518 WITH SCORE 6552.894
AT ITER 238 NEW BEST:: SOT 40248 SOS 34894 HAS SOPS 34786 HAS SOUS 6533 HAS SOUPS 6511 WITH SCORE 6545.894
AT ITER 240 NEW BEST:: SOT 40248 SOS 34984 HAS SOPS 34874 HAS SOUS 6530 HAS SOUPS 6508 WITH SCORE 6542.984
AT ITER 247 NEW BEST:: SOT 40234 SOS 34970 HAS SOPS 34860 HAS SOUS 6526 HAS SOUPS 6504 WITH SCORE 6538.97
AT ITER 248 NEW BEST:: SOT 40088 SOS 34824 HAS SOPS 34714 HAS SOUS 6342 HAS SOUPS 6320 WITH SCORE 6354.824
AT ITER 249 NEW BEST:: SOT 40156 SOS 34892 HAS SOPS 34782 HAS SOUS 6307 HAS SOUPS 6285 WITH SCORE 6319.892
AT ITER 258 NEW BEST:: SOT 40151 SOS 34887 HAS SOPS 34777 HAS SOUS 6305 HAS SOUPS 6283 WITH SCORE 6317.887
AT ITER 259 NEW BEST:: SOT 40151 SOS 34875 HAS SOPS 34773 HAS SOUS 6302 HAS SOUPS 6281 WITH SCORE 6315.875
AT ITER 270 NEW BEST:: SOT 40137 SOS 34732 HAS SOPS 34631 HAS SOUS 6255 HAS SOUPS 6234 WITH SCORE 6268.732
AT ITER 271 NEW BEST:: SOT 40214 SOS 35021 HAS SOPS 34960 HAS SOUS 6195 HAS SOUPS 6181 WITH SCORE 6216.021
AT ITER 278 NEW BEST:: SOT 40247 SOS 35054 HAS SOPS 34993 HAS SOUS 6134 HAS SOUPS 6120 WITH SCORE 6155.054
AT ITER 282 NEW BEST:: SOT 40248 SOS 35055 HAS SOPS 34994 HAS SOUS 6129 HAS SOUPS 6115 WITH SCORE 6150.055
AT ITER 283 NEW BEST:: SOT 40264 SOS 32842 HAS SOPS 31902 HAS SOUS 6142 HAS SOUPS 6104 WITH SCORE 6136.842
AT ITER 290 NEW BEST:: SOT 40261 SOS 32839 HAS SOPS 31899 HAS SOUS 6142 HAS SOUPS 6104 WITH SCORE 6136.839
AT ITER 291 NEW BEST:: SOT 40261 SOS 32715 HAS SOPS 31731 HAS SOUS 6063 HAS SOUPS 6025 WITH SCORE 6057.715
AT ITER 327 NEW BEST:: SOT 40021 SOS 32475 HAS SOPS 31491 HAS SOUS 6049 HAS SOUPS 6011 WITH SCORE 6043.475
AT ITER 331 NEW BEST:: SOT 40024 SOS 32781 HAS SOPS 31938 HAS SOUS 6008 HAS SOUPS 5983 WITH SCORE 6015.781
AT ITER 333 NEW BEST:: SOT 40019 SOS 32695 HAS SOPS 31825 HAS SOUS 5946 HAS SOUPS 5921 WITH SCORE 5953.695
AT ITER 339 NEW BEST:: SOT 40019 SOS 32695 HAS SOPS 31825 HAS SOUS 5941 HAS SOUPS 5916 WITH SCORE 5948.695
AT ITER 343 NEW BEST:: SOT 40015 SOS 32691 HAS SOPS 31821 HAS SOUS 5935 HAS SOUPS 5910 WITH SCORE 5942.691
AT ITER 351 NEW BEST:: SOT 40061 SOS 32737 HAS SOPS 31867 HAS SOUS 5923 HAS SOUPS 5898 WITH SCORE 5930.737
AT ITER 354 NEW BEST:: SOT 40075 SOS 32751 HAS SOPS 31881 HAS SOUS 5845 HAS SOUPS 5820 WITH SCORE 5852.751
AT ITER 361 NEW BEST:: SOT 40075 SOS 32727 HAS SOPS 31845 HAS SOUS 5845 HAS SOUPS 5820 WITH SCORE 5852.727
AT ITER 374 NEW BEST:: SOT 39897 SOS 32549 HAS SOPS 31667 HAS SOUS 5817 HAS SOUPS 5792 WITH SCORE 5824.549
AT ITER 378 NEW BEST:: SOT 39761 SOS 32413 HAS SOPS 31531 HAS SOUS 5659 HAS SOUPS 5634 WITH SCORE 5666.413
AT ITER 393 NEW BEST:: SOT 39702 SOS 32354 HAS SOPS 31472 HAS SOUS 5613 HAS SOUPS 5588 WITH SCORE 5620.354
AT ITER 395 NEW BEST:: SOT 39686 SOS 32338 HAS SOPS 31456 HAS SOUS 5601 HAS SOUPS 5576 WITH SCORE 5608.338
AT ITER 413 NEW BEST:: SOT 39684 SOS 32336 HAS SOPS 31454 HAS SOUS 5595 HAS SOUPS 5570 WITH SCORE 5602.336
AT ITER 416 NEW BEST:: SOT 39684 SOS 32304 HAS SOPS 31422 HAS SOUS 5595 HAS SOUPS 5570 WITH SCORE 5602.304
AT ITER 417 NEW BEST:: SOT 39720 SOS 32340 HAS SOPS 31458 HAS SOUS 5586 HAS SOUPS 5561 WITH SCORE 5593.34
AT ITER 418 NEW BEST:: SOT 39717 SOS 32337 HAS SOPS 31455 HAS SOUS 5573 HAS SOUPS 5548 WITH SCORE 5580.337
AT ITER 464 NEW BEST:: SOT 39619 SOS 32239 HAS SOPS 31357 HAS SOUS 5564 HAS SOUPS 5539 WITH SCORE 5571.239
AT ITER 479 NEW BEST:: SOT 39411 SOS 32031 HAS SOPS 31149 HAS SOUS 5543 HAS SOUPS 5518 WITH SCORE 5550.031
AT ITER 502 NEW BEST:: SOT 39377 SOS 31997 HAS SOPS 31115 HAS SOUS 5541 HAS SOUPS 5516 WITH SCORE 5547.997
AT ITER 503 NEW BEST:: SOT 39431 SOS 32051 HAS SOPS 31169 HAS SOUS 5372 HAS SOUPS 5347 WITH SCORE 5379.051
AT ITER 505 NEW BEST:: SOT 39401 SOS 32021 HAS SOPS 31139 HAS SOUS 5329 HAS SOUPS 5304 WITH SCORE 5336.021
AT ITER 516 NEW BEST:: SOT 39401 SOS 32009 HAS SOPS 31127 HAS SOUS 5329 HAS SOUPS 5304 WITH SCORE 5336.009
AT ITER 535 NEW BEST:: SOT 39244 SOS 31852 HAS SOPS 30970 HAS SOUS 5243 HAS SOUPS 5218 WITH SCORE 5249.852
AT ITER 539 NEW BEST:: SOT 39248 SOS 31856 HAS SOPS 30974 HAS SOUS 5240 HAS SOUPS 5215 WITH SCORE 5246.856
AT ITER 573 NEW BEST:: SOT 39192 SOS 31800 HAS SOPS 30918 HAS SOUS 5178 HAS SOUPS 5153 WITH SCORE 5184.8
AT ITER 576 NEW BEST:: SOT 39170 SOS 31778 HAS SOPS 30896 HAS SOUS 5160 HAS SOUPS 5135 WITH SCORE 5166.778
AT ITER 579 NEW BEST:: SOT 39171 SOS 31779 HAS SOPS 30897 HAS SOUS 5156 HAS SOUPS 5131 WITH SCORE 5162.779
AT ITER 585 NEW BEST:: SOT 39175 SOS 31783 HAS SOPS 30901 HAS SOUS 5153 HAS SOUPS 5128 WITH SCORE 5159.783
AT ITER 592 NEW BEST:: SOT 39163 SOS 31771 HAS SOPS 30889 HAS SOUS 5143 HAS SOUPS 5118 WITH SCORE 5149.771
AT ITER 603 NEW BEST:: SOT 39184 SOS 31792 HAS SOPS 30910 HAS SOUS 5117 HAS SOUPS 5092 WITH SCORE 5123.792
AT ITER 625 NEW BEST:: SOT 39206 SOS 31814 HAS SOPS 30932 HAS SOUS 5116 HAS SOUPS 5091 WITH SCORE 5122.814
AT ITER 626 NEW BEST:: SOT 39211 SOS 31945 HAS SOPS 31153 HAS SOUS 5087 HAS SOUPS 5071 WITH SCORE 5102.945
AT ITER 689 NEW BEST:: SOT 39203 SOS 31937 HAS SOPS 31145 HAS SOUS 5081 HAS SOUPS 5065 WITH SCORE 5096.937
AT ITER 690 NEW BEST:: SOT 39212 SOS 31946 HAS SOPS 31154 HAS SOUS 5057 HAS SOUPS 5041 WITH SCORE 5072.946
AT ITER 705 NEW BEST:: SOT 39236 SOS 31970 HAS SOPS 31178 HAS SOUS 5055 HAS SOUPS 5039 WITH SCORE 5070.97
AT ITER 706 NEW BEST:: SOT 39222 SOS 31956 HAS SOPS 31164 HAS SOUS 5052 HAS SOUPS 5036 WITH SCORE 5067.956
AT ITER 708 NEW BEST:: SOT 39228 SOS 32142 HAS SOPS 31458 HAS SOUS 5036 HAS SOUPS 5028 WITH SCORE 5060.142
AT ITER 715 NEW BEST:: SOT 39228 SOS 32070 HAS SOPS 31362 HAS SOUS 5036 HAS SOUPS 5028 WITH SCORE 5060.07
AT ITER 722 NEW BEST:: SOT 39226 SOS 32068 HAS SOPS 31360 HAS SOUS 5032 HAS SOUPS 5024 WITH SCORE 5056.068
AT ITER 744 NEW BEST:: SOT 39243 SOS 32157 HAS SOPS 31521 HAS SOUS 5020 HAS SOUPS 5018 WITH SCORE 5050.157
AT ITER 759 NEW BEST:: SOT 39308 SOS 32222 HAS SOPS 31586 HAS SOUS 5018 HAS SOUPS 5016 WITH SCORE 5048.222
AT ITER 761 NEW BEST:: SOT 39308 SOS 32126 HAS SOPS 31466 HAS SOUS 5012 HAS SOUPS 5010 WITH SCORE 5042.126
AT ITER 763 NEW BEST:: SOT 39355 SOS 32173 HAS SOPS 31513 HAS SOUS 5000 HAS SOUPS 4998 WITH SCORE 5030.173
AT ITER 776 NEW BEST:: SOT 39371 SOS 32189 HAS SOPS 31529 HAS SOUS 4990 HAS SOUPS 4988 WITH SCORE 5020.189
AT ITER 778 NEW BEST:: SOT 39369 SOS 32536 HAS SOPS 32535 HAS SOUS 4987 HAS SOUPS 4986 WITH SCORE 5018.536
AT ITER 783 NEW BEST:: SOT 39369 SOS 32536 HAS SOPS 32535 HAS SOUS 4972 HAS SOUPS 4971 WITH SCORE 5003.536
AT ITER 785 NEW BEST:: SOT 39353 SOS 32520 HAS SOPS 32519 HAS SOUS 4969 HAS SOUPS 4968 WITH SCORE 5000.52
AT ITER 805 NEW BEST:: SOT 39325 SOS 32492 HAS SOPS 32491 HAS SOUS 4927 HAS SOUPS 4926 WITH SCORE 4958.492
AT ITER 809 NEW BEST:: SOT 39173 SOS 32340 HAS SOPS 32339 HAS SOUS 4863 HAS SOUPS 4862 WITH SCORE 4894.34
AT ITER 847 NEW BEST:: SOT 39166 SOS 32333 HAS SOPS 32332 HAS SOUS 4862 HAS SOUPS 4861 WITH SCORE 4893.333
AT ITER 868 NEW BEST:: SOT 39159 SOS 32326 HAS SOPS 32325 HAS SOUS 4858 HAS SOUPS 4857 WITH SCORE 4889.326
AT ITER 885 NEW BEST:: SOT 39159 SOS 32254 HAS SOPS 32253 HAS SOUS 4858 HAS SOUPS 4857 WITH SCORE 4889.254
AT ITER 932 NEW BEST:: SOT 39147 SOS 32242 HAS SOPS 32241 HAS SOUS 4852 HAS SOUPS 4851 WITH SCORE 4883.242
AT ITER 936 NEW BEST:: SOT 39151 SOS 32246 HAS SOPS 32245 HAS SOUS 4850 HAS SOUPS 4849 WITH SCORE 4881.246
AT ITER 940 NEW BEST:: SOT 39151 SOS 32198 HAS SOPS 32197 HAS SOUS 4850 HAS SOUPS 4849 WITH SCORE 4881.198
AT ITER 951 NEW BEST:: SOT 39160 SOS 32207 HAS SOPS 32206 HAS SOUS 4845 HAS SOUPS 4844 WITH SCORE 4876.207
AT ITER 962 NEW BEST:: SOT 39159 SOS 32206 HAS SOPS 32205 HAS SOUS 4840 HAS SOUPS 4839 WITH SCORE 4871.206
AT ITER 1057 NEW BEST:: SOT 39147 SOS 32194 HAS SOPS 32193 HAS SOUS 4831 HAS SOUPS 4830 WITH SCORE 4862.194
AT ITER 1066 NEW BEST:: SOT 39150 SOS 32209 HAS SOPS 32208 HAS SOUS 4826 HAS SOUPS 4825 WITH SCORE 4857.209
AT ITER 1093 NEW BEST:: SOT 39150 SOS 32185 HAS SOPS 32184 HAS SOUS 4826 HAS SOUPS 4825 WITH SCORE 4857.185
AT ITER 1126 NEW BEST:: SOT 39146 SOS 32181 HAS SOPS 32180 HAS SOUS 4826 HAS SOUPS 4825 WITH SCORE 4857.181
AT ITER 1140 NEW BEST:: SOT 39137 SOS 32172 HAS SOPS 32171 HAS SOUS 4826 HAS SOUPS 4825 WITH SCORE 4857.172
AT ITER 1186 NEW BEST:: SOT 39145 SOS 32180 HAS SOPS 32179 HAS SOUS 4815 HAS SOUPS 4814 WITH SCORE 4846.18
AT ITER 1228 NEW BEST:: SOT 39145 SOS 32180 HAS SOPS 32179 HAS SOUS 4801 HAS SOUPS 4800 WITH SCORE 4832.18
AT ITER 1262 NEW BEST:: SOT 39127 SOS 32162 HAS SOPS 32161 HAS SOUS 4786 HAS SOUPS 4785 WITH SCORE 4817.162
AT ITER 1276 NEW BEST:: SOT 39135 SOS 32170 HAS SOPS 32169 HAS SOUS 4781 HAS SOUPS 4780 WITH SCORE 4812.17
AT ITER 1299 NEW BEST:: SOT 39175 SOS 32210 HAS SOPS 32209 HAS SOUS 4773 HAS SOUPS 4772 WITH SCORE 4804.21
AT ITER 1345 NEW BEST:: SOT 39175 SOS 32210 HAS SOPS 32209 HAS SOUS 4772 HAS SOUPS 4771 WITH SCORE 4803.21
AT ITER 1362 NEW BEST:: SOT 39173 SOS 32208 HAS SOPS 32207 HAS SOUS 4753 HAS SOUPS 4752 WITH SCORE 4784.208
AT ITER 1367 NEW BEST:: SOT 39171 SOS 32206 HAS SOPS 32205 HAS SOUS 4736 HAS SOUPS 4735 WITH SCORE 4767.206
AT ITER 1425 NEW BEST:: SOT 39189 SOS 32224 HAS SOPS 32223 HAS SOUS 4733 HAS SOUPS 4732 WITH SCORE 4764.224
AT ITER 1470 NEW BEST:: SOT 39166 SOS 32195 HAS SOPS 32128 HAS SOUS 4739 HAS SOUPS 4732 WITH SCORE 4764.195
AT ITER 1558 NEW BEST:: SOT 39151 SOS 32180 HAS SOPS 32113 HAS SOUS 4725 HAS SOUPS 4718 WITH SCORE 4750.18
AT ITER 1570 NEW BEST:: SOT 39152 SOS 31831 HAS SOPS 31394 HAS SOUS 4726 HAS SOUPS 4717 WITH SCORE 4748.831
AT ITER 1655 NEW BEST:: SOT 39144 SOS 31823 HAS SOPS 31386 HAS SOUS 4717 HAS SOUPS 4708 WITH SCORE 4739.823
AT ITER 1801 NEW BEST:: SOT 39144 SOS 31827 HAS SOPS 31434 HAS SOUS 4709 HAS SOUPS 4704 WITH SCORE 4735.827
AT ITER 1830 NEW BEST:: SOT 39158 SOS 31841 HAS SOPS 31448 HAS SOUS 4702 HAS SOUPS 4697 WITH SCORE 4728.841
AT ITER 1977 NEW BEST:: SOT 39133 SOS 31816 HAS SOPS 31423 HAS SOUS 4690 HAS SOUPS 4685 WITH SCORE 4716.816
AT ITER 2035 NEW BEST:: SOT 39049 SOS 31732 HAS SOPS 31339 HAS SOUS 4685 HAS SOUPS 4680 WITH SCORE 4711.732
AT ITER 2066 NEW BEST:: SOT 39049 SOS 31724 HAS SOPS 31331 HAS SOUS 4685 HAS SOUPS 4680 WITH SCORE 4711.724
AT ITER 2101 NEW BEST:: SOT 39041 SOS 31665 HAS SOPS 31275 HAS SOUS 4682 HAS SOUPS 4677 WITH SCORE 4708.665
AT ITER 2139 NEW BEST:: SOT 39019 SOS 31643 HAS SOPS 31253 HAS SOUS 4673 HAS SOUPS 4668 WITH SCORE 4699.643
AT ITER 2160 NEW BEST:: SOT 39007 SOS 31631 HAS SOPS 31241 HAS SOUS 4669 HAS SOUPS 4664 WITH SCORE 4695.631
AT ITER 2222 NEW BEST:: SOT 38957 SOS 31581 HAS SOPS 31191 HAS SOUS 4668 HAS SOUPS 4663 WITH SCORE 4694.581
AT ITER 2252 NEW BEST:: SOT 38951 SOS 31545 HAS SOPS 31113 HAS SOUS 4670 HAS SOUPS 4663 WITH SCORE 4694.545
AT ITER 2265 NEW BEST:: SOT 38951 SOS 31521 HAS SOPS 31077 HAS SOUS 4670 HAS SOUPS 4663 WITH SCORE 4694.521
AT ITER 2352 NEW BEST:: SOT 38939 SOS 31509 HAS SOPS 31065 HAS SOUS 4662 HAS SOUPS 4655 WITH SCORE 4686.509
AT ITER 2354 NEW BEST:: SOT 38936 SOS 31506 HAS SOPS 31062 HAS SOUS 4650 HAS SOUPS 4643 WITH SCORE 4674.506
AT ITER 2373 NEW BEST:: SOT 38934 SOS 31504 HAS SOPS 31060 HAS SOUS 4650 HAS SOUPS 4643 WITH SCORE 4674.504
AT ITER 2459 NEW BEST:: SOT 38936 SOS 31506 HAS SOPS 31062 HAS SOUS 4646 HAS SOUPS 4639 WITH SCORE 4670.506
AT ITER 2539 NEW BEST:: SOT 38913 SOS 31483 HAS SOPS 31039 HAS SOUS 4643 HAS SOUPS 4636 WITH SCORE 4667.483
AT ITER 2568 NEW BEST:: SOT 38913 SOS 31572 HAS SOPS 31127 HAS SOUS 4642 HAS SOUPS 4635 WITH SCORE 4666.572
AT ITER 2571 NEW BEST:: SOT 38881 SOS 31540 HAS SOPS 31095 HAS SOUS 4614 HAS SOUPS 4607 WITH SCORE 4638.54
AT ITER 2686 NEW BEST:: SOT 38887 SOS 31546 HAS SOPS 31101 HAS SOUS 4613 HAS SOUPS 4606 WITH SCORE 4637.546
AT ITER 2692 NEW BEST:: SOT 38887 SOS 31546 HAS SOPS 31101 HAS SOUS 4610 HAS SOUPS 4603 WITH SCORE 4634.546
AT ITER 2693 NEW BEST:: SOT 38912 SOS 31571 HAS SOPS 31126 HAS SOUS 4599 HAS SOUPS 4592 WITH SCORE 4623.571
AT ITER 2778 NEW BEST:: SOT 38913 SOS 31572 HAS SOPS 31127 HAS SOUS 4597 HAS SOUPS 4590 WITH SCORE 4621.572
AT ITER 2822 NEW BEST:: SOT 38853 SOS 31512 HAS SOPS 31067 HAS SOUS 4579 HAS SOUPS 4572 WITH SCORE 4603.512
AT ITER 2827 NEW BEST:: SOT 38853 SOS 31512 HAS SOPS 31067 HAS SOUS 4578 HAS SOUPS 4571 WITH SCORE 4602.512
AT ITER 2936 NEW BEST:: SOT 38858 SOS 31517 HAS SOPS 31072 HAS SOUS 4575 HAS SOUPS 4568 WITH SCORE 4599.517
AT ITER 3054 NEW BEST:: SOT 38858 SOS 31926 HAS SOPS 31073 HAS SOUS 4574 HAS SOUPS 4567 WITH SCORE 4598.926
AT ITER 3060 NEW BEST:: SOT 38858 SOS 32341 HAS SOPS 31066 HAS SOUS 4574 HAS SOUPS 4566 WITH SCORE 4598.341
AT ITER 3115 NEW BEST:: SOT 38850 SOS 33653 HAS SOPS 33650 HAS SOUS 4566 HAS SOUPS 4563 WITH SCORE 4596.653
AT ITER 3149 NEW BEST:: SOT 38836 SOS 33639 HAS SOPS 33636 HAS SOUS 4560 HAS SOUPS 4557 WITH SCORE 4590.639
AT ITER 3283 NEW BEST:: SOT 38836 SOS 33639 HAS SOPS 33636 HAS SOUS 4543 HAS SOUPS 4540 WITH SCORE 4573.639
AT ITER 3430 NEW BEST:: SOT 38844 SOS 33647 HAS SOPS 33644 HAS SOUS 4538 HAS SOUPS 4535 WITH SCORE 4568.647
AT ITER 3443 NEW BEST:: SOT 38841 SOS 36309 HAS SOPS 33529 HAS SOUS 4537 HAS SOUPS 4532 WITH SCORE 4568.309
AT ITER 3554 NEW BEST:: SOT 38840 SOS 36308 HAS SOPS 33528 HAS SOUS 4527 HAS SOUPS 4522 WITH SCORE 4558.308
AT ITER 3628 NEW BEST:: SOT 38837 SOS 36305 HAS SOPS 33525 HAS SOUS 4524 HAS SOUPS 4519 WITH SCORE 4555.305
AT ITER 3682 NEW BEST:: SOT 38846 SOS 36314 HAS SOPS 33534 HAS SOUS 4510 HAS SOUPS 4505 WITH SCORE 4541.314
AT ITER 3780 NEW BEST:: SOT 38850 SOS 36318 HAS SOPS 33538 HAS SOUS 4505 HAS SOUPS 4500 WITH SCORE 4536.318
AT ITER 3815 NEW BEST:: SOT 38845 SOS 37539 HAS SOPS 37537 HAS SOUS 4497 HAS SOUPS 4495 WITH SCORE 4532.539
AT ITER 3878 NEW BEST:: SOT 38843 SOS 37537 HAS SOPS 37535 HAS SOUS 4492 HAS SOUPS 4490 WITH SCORE 4527.537
AT ITER 3928 NEW BEST:: SOT 38841 SOS 38180 HAS SOPS 37520 HAS SOUS 4489 HAS SOUPS 4488 WITH SCORE 4526.18
AT ITER 4041 NEW BEST:: SOT 38860 SOS 38199 HAS SOPS 37539 HAS SOUS 4444 HAS SOUPS 4443 WITH SCORE 4481.199
AT ITER 4170 NEW BEST:: SOT 38826 SOS 38165 HAS SOPS 37505 HAS SOUS 4441 HAS SOUPS 4440 WITH SCORE 4478.165
AT ITER 4291 NEW BEST:: SOT 38806 SOS 38145 HAS SOPS 37485 HAS SOUS 4414 HAS SOUPS 4413 WITH SCORE 4451.145
AT ITER 4779 NEW BEST:: SOT 38810 SOS 38149 HAS SOPS 37489 HAS SOUS 4413 HAS SOUPS 4412 WITH SCORE 4450.149
AT ITER 4833 NEW BEST:: SOT 38762 SOS 38101 HAS SOPS 37441 HAS SOUS 4402 HAS SOUPS 4401 WITH SCORE 4439.101
AT ITER 5153 NEW BEST:: SOT 38762 SOS 38101 HAS SOPS 37441 HAS SOUS 4383 HAS SOUPS 4382 WITH SCORE 4420.101
AT ITER 5351 NEW BEST:: SOT 38778 SOS 38117 HAS SOPS 37457 HAS SOUS 4382 HAS SOUPS 4381 WITH SCORE 4419.117
AT ITER 5919 NEW BEST:: SOT 38802 SOS 38141 HAS SOPS 37481 HAS SOUS 4381 HAS SOUPS 4380 WITH SCORE 4418.141
AT ITER 6236 NEW BEST:: SOT 38806 SOS 38145 HAS SOPS 37485 HAS SOUS 4380 HAS SOUPS 4379 WITH SCORE 4417.145
AT ITER 7035 NEW BEST:: SOT 38794 SOS 38133 HAS SOPS 37473 HAS SOUS 4379 HAS SOUPS 4378 WITH SCORE 4416.133
AT ITER 7708 NEW BEST:: SOT 38776 SOS 38115 HAS SOPS 37455 HAS SOUS 4363 HAS SOUPS 4362 WITH SCORE 4400.115
AT ITER 7770 NEW BEST:: SOT 38775 SOS 38775 HAS SOPS 38774 HAS SOUS 4362 HAS SOUPS 4361 WITH SCORE 4399.775
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7526552 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149924 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="PhaseVariation-PT-D05CS100"
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 PhaseVariation-PT-D05CS100, 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 r291-tall-167873942300032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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