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-167912696000672.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 TokenRing-PT-015, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696000672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 41M
-rw-r--r-- 1 mcc users 369K Feb 25 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Feb 25 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4M Feb 25 14:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 13M Feb 25 14:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 134K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 472K Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.2M Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 274K Feb 25 15:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Feb 25 15:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0M Feb 25 15:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11M Feb 25 15:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 28K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 71K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.7M 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 1679174967897

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=TokenRing-PT-015
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 015
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: 256 places, 3616 transitions, 14464 arcs.
AT ITER 0 NEW BEST:: SOT 505270 SOS 126880 HAS SOPS 80324 HAS SOUS 69673 HAS SOUPS 65924 WITH SCORE 66050.88
AT ITER 2 NEW BEST:: SOT 505052 SOS 126555 HAS SOPS 80441 HAS SOUS 69562 HAS SOUPS 65826 WITH SCORE 65952.555
AT ITER 42 NEW BEST:: SOT 505125 SOS 126877 HAS SOPS 80834 HAS SOUS 69466 HAS SOUPS 65733 WITH SCORE 65859.877
AT ITER 58 NEW BEST:: SOT 505060 SOS 126778 HAS SOPS 80874 HAS SOUS 69435 HAS SOUPS 65709 WITH SCORE 65835.778
AT ITER 265 NEW BEST:: SOT 505216 SOS 127720 HAS SOPS 81802 HAS SOUS 69429 HAS SOUPS 65702 WITH SCORE 65829.72
AT ITER 273 NEW BEST:: SOT 505308 SOS 127969 HAS SOPS 82130 HAS SOUS 69351 HAS SOUPS 65624 WITH SCORE 65751.969
AT ITER 292 NEW BEST:: SOT 505308 SOS 127960 HAS SOPS 82280 HAS SOUS 69296 HAS SOUPS 65575 WITH SCORE 65702.96
AT ITER 302 NEW BEST:: SOT 505218 SOS 128483 HAS SOPS 82994 HAS SOUS 69263 HAS SOUPS 65557 WITH SCORE 65685.483
AT ITER 328 NEW BEST:: SOT 505365 SOS 129263 HAS SOPS 83773 HAS SOUS 69081 HAS SOUPS 65374 WITH SCORE 65503.263
AT ITER 333 NEW BEST:: SOT 505332 SOS 129200 HAS SOPS 83710 HAS SOUS 68982 HAS SOUPS 65275 WITH SCORE 65404.2
AT ITER 361 NEW BEST:: SOT 505462 SOS 129757 HAS SOPS 84248 HAS SOUS 68973 HAS SOUPS 65264 WITH SCORE 65393.757
AT ITER 371 NEW BEST:: SOT 506063 SOS 131440 HAS SOPS 86001 HAS SOUS 68736 HAS SOUPS 65028 WITH SCORE 65159.44
AT ITER 376 NEW BEST:: SOT 505988 SOS 131410 HAS SOPS 85896 HAS SOUS 68621 HAS SOUPS 64913 WITH SCORE 65044.41
AT ITER 382 NEW BEST:: SOT 506074 SOS 131639 HAS SOPS 86178 HAS SOUS 68593 HAS SOUPS 64885 WITH SCORE 65016.639
AT ITER 395 NEW BEST:: SOT 505909 SOS 131454 HAS SOPS 86321 HAS SOUS 68464 HAS SOUPS 64765 WITH SCORE 64896.454
AT ITER 398 NEW BEST:: SOT 505598 SOS 131161 HAS SOPS 86255 HAS SOUS 68359 HAS SOUPS 64677 WITH SCORE 64808.161
AT ITER 432 NEW BEST:: SOT 505658 SOS 131311 HAS SOPS 86465 HAS SOUS 68351 HAS SOUPS 64669 WITH SCORE 64800.311
AT ITER 439 NEW BEST:: SOT 505738 SOS 131631 HAS SOPS 86783 HAS SOUS 68319 HAS SOUPS 64635 WITH SCORE 64766.631
AT ITER 478 NEW BEST:: SOT 505886 SOS 132152 HAS SOPS 87415 HAS SOUS 68237 HAS SOUPS 64556 WITH SCORE 64688.152
AT ITER 481 NEW BEST:: SOT 505852 SOS 132195 HAS SOPS 87589 HAS SOUS 68122 HAS SOUPS 64451 WITH SCORE 64583.195
AT ITER 490 NEW BEST:: SOT 505824 SOS 132559 HAS SOPS 88097 HAS SOUS 67540 HAS SOUPS 63880 WITH SCORE 64012.559
AT ITER 493 NEW BEST:: SOT 506012 SOS 133299 HAS SOPS 88725 HAS SOUS 67320 HAS SOUPS 63651 WITH SCORE 63784.299
AT ITER 502 NEW BEST:: SOT 506164 SOS 134089 HAS SOPS 89353 HAS SOUS 67337 HAS SOUPS 63649 WITH SCORE 63783.089
AT ITER 529 NEW BEST:: SOT 505773 SOS 133912 HAS SOPS 89346 HAS SOUS 67228 HAS SOUPS 63531 WITH SCORE 63664.912
AT ITER 530 NEW BEST:: SOT 505683 SOS 134322 HAS SOPS 89550 HAS SOUS 66733 HAS SOUPS 63037 WITH SCORE 63171.322
AT ITER 539 NEW BEST:: SOT 505696 SOS 134655 HAS SOPS 89847 HAS SOUS 66621 HAS SOUPS 62925 WITH SCORE 63059.655
AT ITER 571 NEW BEST:: SOT 505710 SOS 134759 HAS SOPS 89953 HAS SOUS 66543 HAS SOUPS 62848 WITH SCORE 62982.759
AT ITER 614 NEW BEST:: SOT 505703 SOS 134743 HAS SOPS 90226 HAS SOUS 66337 HAS SOUPS 62655 WITH SCORE 62789.743
AT ITER 623 NEW BEST:: SOT 505690 SOS 134729 HAS SOPS 90213 HAS SOUS 66309 HAS SOUPS 62628 WITH SCORE 62762.729
AT ITER 629 NEW BEST:: SOT 505517 SOS 134562 HAS SOPS 90060 HAS SOUS 66291 HAS SOUPS 62608 WITH SCORE 62742.562
AT ITER 636 NEW BEST:: SOT 505602 SOS 135360 HAS SOPS 90641 HAS SOUS 66068 HAS SOUPS 62383 WITH SCORE 62518.36
AT ITER 669 NEW BEST:: SOT 505703 SOS 135721 HAS SOPS 91096 HAS SOUS 66016 HAS SOUPS 62332 WITH SCORE 62467.721
AT ITER 701 NEW BEST:: SOT 505758 SOS 135888 HAS SOPS 91285 HAS SOUS 65947 HAS SOUPS 62263 WITH SCORE 62398.888
AT ITER 739 NEW BEST:: SOT 505713 SOS 136104 HAS SOPS 91394 HAS SOUS 65902 HAS SOUPS 62211 WITH SCORE 62347.104
AT ITER 759 NEW BEST:: SOT 505734 SOS 136472 HAS SOPS 91847 HAS SOUS 65560 HAS SOUPS 61870 WITH SCORE 62006.472
AT ITER 807 NEW BEST:: SOT 505745 SOS 136563 HAS SOPS 91982 HAS SOUS 65491 HAS SOUPS 61801 WITH SCORE 61937.563
AT ITER 818 NEW BEST:: SOT 505749 SOS 136576 HAS SOPS 92004 HAS SOUS 65486 HAS SOUPS 61796 WITH SCORE 61932.576
AT ITER 855 NEW BEST:: SOT 505824 SOS 136651 HAS SOPS 92058 HAS SOUS 65472 HAS SOUPS 61778 WITH SCORE 61914.651
AT ITER 864 NEW BEST:: SOT 505858 SOS 136777 HAS SOPS 92184 HAS SOUS 65414 HAS SOUPS 61720 WITH SCORE 61856.777
AT ITER 872 NEW BEST:: SOT 505793 SOS 136581 HAS SOPS 92119 HAS SOUS 65256 HAS SOUPS 61576 WITH SCORE 61712.581
AT ITER 875 NEW BEST:: SOT 505805 SOS 136729 HAS SOPS 92267 HAS SOUS 65196 HAS SOUPS 61516 WITH SCORE 61652.729
AT ITER 912 NEW BEST:: SOT 505785 SOS 136893 HAS SOPS 92303 HAS SOUS 65108 HAS SOUPS 61428 WITH SCORE 61564.893
AT ITER 931 NEW BEST:: SOT 505744 SOS 136837 HAS SOPS 92262 HAS SOUS 65018 HAS SOUPS 61342 WITH SCORE 61478.837
AT ITER 945 NEW BEST:: SOT 505946 SOS 137025 HAS SOPS 92453 HAS SOUS 64998 HAS SOUPS 61333 WITH SCORE 61470.025
AT ITER 966 NEW BEST:: SOT 506025 SOS 137255 HAS SOPS 92758 HAS SOUS 64943 HAS SOUPS 61276 WITH SCORE 61413.255
AT ITER 1003 NEW BEST:: SOT 506088 SOS 137433 HAS SOPS 93103 HAS SOUS 64683 HAS SOUPS 61029 WITH SCORE 61166.433
AT ITER 1046 NEW BEST:: SOT 506119 SOS 137570 HAS SOPS 93240 HAS SOUS 64608 HAS SOUPS 60954 WITH SCORE 61091.57
AT ITER 1061 NEW BEST:: SOT 506112 SOS 137621 HAS SOPS 93219 HAS SOUS 64543 HAS SOUPS 60889 WITH SCORE 61026.621
AT ITER 1093 NEW BEST:: SOT 506581 SOS 138981 HAS SOPS 94238 HAS SOUS 64553 HAS SOUPS 60872 WITH SCORE 61010.981
AT ITER 1143 NEW BEST:: SOT 506592 SOS 139010 HAS SOPS 94277 HAS SOUS 64530 HAS SOUPS 60850 WITH SCORE 60989.01
AT ITER 1151 NEW BEST:: SOT 506590 SOS 139010 HAS SOPS 94307 HAS SOUS 64494 HAS SOUPS 60816 WITH SCORE 60955.01
AT ITER 1174 NEW BEST:: SOT 506297 SOS 138743 HAS SOPS 94104 HAS SOUS 64377 HAS SOUPS 60703 WITH SCORE 60841.743
AT ITER 1179 NEW BEST:: SOT 506287 SOS 138632 HAS SOPS 94146 HAS SOUS 64260 HAS SOUPS 60599 WITH SCORE 60737.632
AT ITER 1183 NEW BEST:: SOT 506200 SOS 138881 HAS SOPS 94107 HAS SOUS 64053 HAS SOUPS 60392 WITH SCORE 60530.881
AT ITER 1189 NEW BEST:: SOT 506189 SOS 139140 HAS SOPS 94158 HAS SOUS 64026 HAS SOUPS 60365 WITH SCORE 60504.14
AT ITER 1209 NEW BEST:: SOT 506222 SOS 139316 HAS SOPS 94367 HAS SOUS 63928 HAS SOUPS 60266 WITH SCORE 60405.316
AT ITER 1211 NEW BEST:: SOT 506255 SOS 139470 HAS SOPS 94554 HAS SOUS 63852 HAS SOUPS 60189 WITH SCORE 60328.47
AT ITER 1213 NEW BEST:: SOT 506233 SOS 139439 HAS SOPS 94526 HAS SOUS 63823 HAS SOUPS 60161 WITH SCORE 60300.439
AT ITER 1229 NEW BEST:: SOT 505878 SOS 138463 HAS SOPS 93933 HAS SOUS 63577 HAS SOUPS 59947 WITH SCORE 60085.463
AT ITER 1237 NEW BEST:: SOT 505963 SOS 138706 HAS SOPS 94252 HAS SOUS 63562 HAS SOUPS 59931 WITH SCORE 60069.706
AT ITER 1258 NEW BEST:: SOT 505853 SOS 138658 HAS SOPS 94102 HAS SOUS 63397 HAS SOUPS 59766 WITH SCORE 59904.658
AT ITER 1281 NEW BEST:: SOT 505847 SOS 138652 HAS SOPS 94096 HAS SOUS 63391 HAS SOUPS 59760 WITH SCORE 59898.652
AT ITER 1315 NEW BEST:: SOT 505802 SOS 138594 HAS SOPS 94025 HAS SOUS 63329 HAS SOUPS 59700 WITH SCORE 59838.594
AT ITER 1324 NEW BEST:: SOT 505761 SOS 138521 HAS SOPS 93954 HAS SOUS 63288 HAS SOUPS 59661 WITH SCORE 59799.521
AT ITER 1354 NEW BEST:: SOT 505686 SOS 138373 HAS SOPS 93906 HAS SOUS 63084 HAS SOUPS 59487 WITH SCORE 59625.373
AT ITER 1361 NEW BEST:: SOT 505940 SOS 138642 HAS SOPS 93853 HAS SOUS 62942 HAS SOUPS 59356 WITH SCORE 59494.642
AT ITER 1384 NEW BEST:: SOT 506023 SOS 138580 HAS SOPS 93791 HAS SOUS 62930 HAS SOUPS 59347 WITH SCORE 59485.58
AT ITER 1438 NEW BEST:: SOT 505969 SOS 138398 HAS SOPS 93675 HAS SOUS 62908 HAS SOUPS 59331 WITH SCORE 59469.398
AT ITER 1440 NEW BEST:: SOT 506076 SOS 139266 HAS SOPS 94556 HAS SOUS 62846 HAS SOUPS 59270 WITH SCORE 59409.266
AT ITER 1473 NEW BEST:: SOT 506160 SOS 139907 HAS SOPS 95198 HAS SOUS 62501 HAS SOUPS 58925 WITH SCORE 59064.907
AT ITER 1565 NEW BEST:: SOT 506382 SOS 140238 HAS SOPS 95103 HAS SOUS 62516 HAS SOUPS 58912 WITH SCORE 59052.238
AT ITER 1634 NEW BEST:: SOT 506376 SOS 140220 HAS SOPS 95097 HAS SOUS 62498 HAS SOUPS 58906 WITH SCORE 59046.22
AT ITER 1667 NEW BEST:: SOT 507022 SOS 142168 HAS SOPS 96551 HAS SOUS 62450 HAS SOUPS 58820 WITH SCORE 58962.168
AT ITER 1708 NEW BEST:: SOT 506978 SOS 142062 HAS SOPS 96521 HAS SOUS 62346 HAS SOUPS 58721 WITH SCORE 58863.062
AT ITER 1726 NEW BEST:: SOT 506759 SOS 142149 HAS SOPS 96170 HAS SOUS 62338 HAS SOUPS 58676 WITH SCORE 58818.149
AT ITER 1755 NEW BEST:: SOT 506501 SOS 142157 HAS SOPS 95780 HAS SOUS 62079 HAS SOUPS 58413 WITH SCORE 58555.157
AT ITER 1770 NEW BEST:: SOT 506456 SOS 142122 HAS SOPS 95645 HAS SOUS 62056 HAS SOUPS 58388 WITH SCORE 58530.122
AT ITER 1783 NEW BEST:: SOT 506544 SOS 142378 HAS SOPS 95345 HAS SOUS 62036 HAS SOUPS 58343 WITH SCORE 58485.378
AT ITER 1849 NEW BEST:: SOT 506515 SOS 142709 HAS SOPS 95500 HAS SOUS 61815 HAS SOUPS 58116 WITH SCORE 58258.709
AT ITER 1920 NEW BEST:: SOT 506509 SOS 142689 HAS SOPS 95490 HAS SOUS 61807 HAS SOUPS 58109 WITH SCORE 58251.689
AT ITER 1946 NEW BEST:: SOT 506453 SOS 142633 HAS SOPS 95434 HAS SOUS 61751 HAS SOUPS 58053 WITH SCORE 58195.633
AT ITER 1957 NEW BEST:: SOT 506553 SOS 142742 HAS SOPS 95322 HAS SOUS 61716 HAS SOUPS 58011 WITH SCORE 58153.742
AT ITER 2054 NEW BEST:: SOT 506488 SOS 142647 HAS SOPS 95275 HAS SOUS 61505 HAS SOUPS 57811 WITH SCORE 57953.647
AT ITER 2113 NEW BEST:: SOT 506528 SOS 142853 HAS SOPS 95521 HAS SOUS 61443 HAS SOUPS 57751 WITH SCORE 57893.853
AT ITER 2117 NEW BEST:: SOT 506509 SOS 142825 HAS SOPS 95502 HAS SOUS 61401 HAS SOUPS 57711 WITH SCORE 57853.825
AT ITER 2175 NEW BEST:: SOT 506346 SOS 142542 HAS SOPS 95121 HAS SOUS 61316 HAS SOUPS 57626 WITH SCORE 57768.542
AT ITER 2216 NEW BEST:: SOT 505979 SOS 142338 HAS SOPS 95010 HAS SOUS 61280 HAS SOUPS 57601 WITH SCORE 57743.338
AT ITER 2236 NEW BEST:: SOT 505639 SOS 142301 HAS SOPS 94392 HAS SOUS 60988 HAS SOUPS 57303 WITH SCORE 57445.301
AT ITER 2246 NEW BEST:: SOT 505536 SOS 142175 HAS SOPS 94289 HAS SOUS 60764 HAS SOUPS 57088 WITH SCORE 57230.175
AT ITER 2251 NEW BEST:: SOT 505562 SOS 142381 HAS SOPS 94521 HAS SOUS 60626 HAS SOUPS 56948 WITH SCORE 57090.381
AT ITER 2288 NEW BEST:: SOT 505496 SOS 142285 HAS SOPS 94365 HAS SOUS 60581 HAS SOUPS 56906 WITH SCORE 57048.285
AT ITER 2355 NEW BEST:: SOT 505613 SOS 142546 HAS SOPS 94710 HAS SOUS 60536 HAS SOUPS 56861 WITH SCORE 57003.546
AT ITER 2376 NEW BEST:: SOT 505507 SOS 142317 HAS SOPS 94482 HAS SOUS 60377 HAS SOUPS 56703 WITH SCORE 56845.317
AT ITER 2388 NEW BEST:: SOT 505542 SOS 142377 HAS SOPS 94621 HAS SOUS 60355 HAS SOUPS 56683 WITH SCORE 56825.377
AT ITER 2396 NEW BEST:: SOT 505510 SOS 142321 HAS SOPS 94589 HAS SOUS 60283 HAS SOUPS 56615 WITH SCORE 56757.321
AT ITER 2418 NEW BEST:: SOT 505534 SOS 142429 HAS SOPS 94721 HAS SOUS 60236 HAS SOUPS 56567 WITH SCORE 56709.429
AT ITER 2423 NEW BEST:: SOT 505483 SOS 142381 HAS SOPS 94452 HAS SOUS 60053 HAS SOUPS 56390 WITH SCORE 56532.381
AT ITER 2443 NEW BEST:: SOT 505351 SOS 142198 HAS SOPS 94280 HAS SOUS 59876 HAS SOUPS 56219 WITH SCORE 56361.198
AT ITER 2456 NEW BEST:: SOT 505424 SOS 142533 HAS SOPS 94615 HAS SOUS 59783 HAS SOUPS 56126 WITH SCORE 56268.533
AT ITER 2471 NEW BEST:: SOT 505920 SOS 143385 HAS SOPS 95839 HAS SOUS 59427 HAS SOUPS 55803 WITH SCORE 55946.385
AT ITER 2581 NEW BEST:: SOT 505944 SOS 143463 HAS SOPS 95917 HAS SOUS 59403 HAS SOUPS 55779 WITH SCORE 55922.463
AT ITER 2587 NEW BEST:: SOT 505910 SOS 143425 HAS SOPS 95849 HAS SOUS 59375 HAS SOUPS 55751 WITH SCORE 55894.425
AT ITER 2645 NEW BEST:: SOT 506370 SOS 144748 HAS SOPS 96891 HAS SOUS 59276 HAS SOUPS 55633 WITH SCORE 55777.748
AT ITER 2654 NEW BEST:: SOT 506366 SOS 144734 HAS SOPS 96887 HAS SOUS 59266 HAS SOUPS 55624 WITH SCORE 55768.734
AT ITER 2676 NEW BEST:: SOT 506425 SOS 144870 HAS SOPS 97028 HAS SOUS 59233 HAS SOUPS 55591 WITH SCORE 55735.87
AT ITER 2701 NEW BEST:: SOT 506454 SOS 144944 HAS SOPS 97101 HAS SOUS 59217 HAS SOUPS 55575 WITH SCORE 55719.944
AT ITER 2766 NEW BEST:: SOT 506434 SOS 144839 HAS SOPS 97105 HAS SOUS 59122 HAS SOUPS 55490 WITH SCORE 55634.839
AT ITER 2807 NEW BEST:: SOT 506373 SOS 144671 HAS SOPS 97116 HAS SOUS 59104 HAS SOUPS 55484 WITH SCORE 55628.671
AT ITER 2821 NEW BEST:: SOT 506339 SOS 144603 HAS SOPS 97048 HAS SOUS 59008 HAS SOUPS 55388 WITH SCORE 55532.603
AT ITER 2858 NEW BEST:: SOT 506392 SOS 144805 HAS SOPS 97315 HAS SOUS 58992 HAS SOUPS 55370 WITH SCORE 55514.805
AT ITER 2918 NEW BEST:: SOT 506480 SOS 145069 HAS SOPS 97579 HAS SOUS 58904 HAS SOUPS 55282 WITH SCORE 55427.069
AT ITER 3054 NEW BEST:: SOT 506408 SOS 145057 HAS SOPS 97493 HAS SOUS 58778 HAS SOUPS 55156 WITH SCORE 55301.057
AT ITER 3061 NEW BEST:: SOT 506392 SOS 145031 HAS SOPS 97477 HAS SOUS 58744 HAS SOUPS 55122 WITH SCORE 55267.031
AT ITER 3081 NEW BEST:: SOT 506379 SOS 145015 HAS SOPS 97464 HAS SOUS 58702 HAS SOUPS 55082 WITH SCORE 55227.015
AT ITER 3108 NEW BEST:: SOT 506468 SOS 145105 HAS SOPS 97520 HAS SOUS 58674 HAS SOUPS 55050 WITH SCORE 55195.105
AT ITER 3195 NEW BEST:: SOT 506469 SOS 145107 HAS SOPS 97507 HAS SOUS 58661 HAS SOUPS 55037 WITH SCORE 55182.107
AT ITER 3221 NEW BEST:: SOT 506357 SOS 145000 HAS SOPS 97319 HAS SOUS 58544 HAS SOUPS 54920 WITH SCORE 55065.0
AT ITER 3246 NEW BEST:: SOT 506220 SOS 144711 HAS SOPS 96968 HAS SOUS 58525 HAS SOUPS 54903 WITH SCORE 55047.711
AT ITER 3328 NEW BEST:: SOT 506279 SOS 144682 HAS SOPS 96933 HAS SOUS 58504 HAS SOUPS 54882 WITH SCORE 55026.682
AT ITER 3361 NEW BEST:: SOT 506160 SOS 144606 HAS SOPS 96267 HAS SOUS 58114 HAS SOUPS 54479 WITH SCORE 54623.606
AT ITER 3400 NEW BEST:: SOT 506157 SOS 144600 HAS SOPS 96264 HAS SOUS 58108 HAS SOUPS 54476 WITH SCORE 54620.6
AT ITER 3422 NEW BEST:: SOT 506095 SOS 144458 HAS SOPS 96132 HAS SOUS 58094 HAS SOUPS 54464 WITH SCORE 54608.458
AT ITER 3452 NEW BEST:: SOT 506089 SOS 144452 HAS SOPS 96126 HAS SOUS 58088 HAS SOUPS 54458 WITH SCORE 54602.452
AT ITER 3498 NEW BEST:: SOT 506016 SOS 144355 HAS SOPS 96029 HAS SOUS 58039 HAS SOUPS 54409 WITH SCORE 54553.355
AT ITER 3526 NEW BEST:: SOT 506011 SOS 144349 HAS SOPS 96082 HAS SOUS 57987 HAS SOUPS 54360 WITH SCORE 54504.349
AT ITER 3588 NEW BEST:: SOT 506014 SOS 144362 HAS SOPS 96101 HAS SOUS 57982 HAS SOUPS 54355 WITH SCORE 54499.362
AT ITER 3604 NEW BEST:: SOT 505948 SOS 144250 HAS SOPS 96035 HAS SOUS 57834 HAS SOUPS 54215 WITH SCORE 54359.25
AT ITER 3839 NEW BEST:: SOT 505917 SOS 144224 HAS SOPS 95877 HAS SOUS 57733 HAS SOUPS 54109 WITH SCORE 54253.224
AT ITER 3923 NEW BEST:: SOT 505753 SOS 144069 HAS SOPS 95617 HAS SOUS 57583 HAS SOUPS 53958 WITH SCORE 54102.069
AT ITER 3939 NEW BEST:: SOT 505780 SOS 144152 HAS SOPS 95686 HAS SOUS 57562 HAS SOUPS 53937 WITH SCORE 54081.152
AT ITER 3956 NEW BEST:: SOT 505788 SOS 144059 HAS SOPS 95718 HAS SOUS 57543 HAS SOUPS 53926 WITH SCORE 54070.059
AT ITER 4050 NEW BEST:: SOT 505685 SOS 143820 HAS SOPS 95467 HAS SOUS 57542 HAS SOUPS 53925 WITH SCORE 54068.82
AT ITER 4090 NEW BEST:: SOT 505597 SOS 143784 HAS SOPS 95353 HAS SOUS 57412 HAS SOUPS 53795 WITH SCORE 53938.784
AT ITER 4117 NEW BEST:: SOT 505625 SOS 143852 HAS SOPS 95421 HAS SOUS 57400 HAS SOUPS 53783 WITH SCORE 53926.852
AT ITER 4133 NEW BEST:: SOT 505962 SOS 143996 HAS SOPS 95471 HAS SOUS 57300 HAS SOUPS 53676 WITH SCORE 53819.996
AT ITER 4146 NEW BEST:: SOT 506000 SOS 144075 HAS SOPS 95260 HAS SOUS 57213 HAS SOUPS 53570 WITH SCORE 53714.075
AT ITER 4267 NEW BEST:: SOT 506022 SOS 144181 HAS SOPS 95366 HAS SOUS 57151 HAS SOUPS 53508 WITH SCORE 53652.181
AT ITER 4341 NEW BEST:: SOT 506033 SOS 144197 HAS SOPS 95311 HAS SOUS 57144 HAS SOUPS 53496 WITH SCORE 53640.197
AT ITER 4356 NEW BEST:: SOT 505973 SOS 144171 HAS SOPS 95159 HAS SOUS 57146 HAS SOUPS 53492 WITH SCORE 53636.171
AT ITER 4374 NEW BEST:: SOT 506126 SOS 144579 HAS SOPS 95548 HAS SOUS 57108 HAS SOUPS 53452 WITH SCORE 53596.579
AT ITER 4385 NEW BEST:: SOT 506093 SOS 144543 HAS SOPS 95475 HAS SOUS 57072 HAS SOUPS 53419 WITH SCORE 53563.543
AT ITER 4449 NEW BEST:: SOT 506159 SOS 144701 HAS SOPS 95633 HAS SOUS 57046 HAS SOUPS 53393 WITH SCORE 53537.701
AT ITER 4549 NEW BEST:: SOT 506004 SOS 144572 HAS SOPS 95380 HAS SOUS 56870 HAS SOUPS 53217 WITH SCORE 53361.572
AT ITER 4572 NEW BEST:: SOT 505995 SOS 144565 HAS SOPS 95329 HAS SOUS 56833 HAS SOUPS 53178 WITH SCORE 53322.565
AT ITER 4602 NEW BEST:: SOT 505931 SOS 144484 HAS SOPS 95203 HAS SOUS 56791 HAS SOUPS 53136 WITH SCORE 53280.484
AT ITER 4616 NEW BEST:: SOT 505928 SOS 144468 HAS SOPS 95200 HAS SOUS 56785 HAS SOUPS 53131 WITH SCORE 53275.468
AT ITER 4660 NEW BEST:: SOT 505927 SOS 144510 HAS SOPS 94930 HAS SOUS 56718 HAS SOUPS 53046 WITH SCORE 53190.51
AT ITER 4697 NEW BEST:: SOT 505934 SOS 144517 HAS SOPS 94617 HAS SOUS 56440 HAS SOUPS 52749 WITH SCORE 52893.517
AT ITER 4742 NEW BEST:: SOT 505839 SOS 144472 HAS SOPS 94648 HAS SOUS 56367 HAS SOUPS 52682 WITH SCORE 52826.472
AT ITER 4759 NEW BEST:: SOT 505971 SOS 144593 HAS SOPS 94956 HAS SOUS 56302 HAS SOUPS 52630 WITH SCORE 52774.593
AT ITER 4760 NEW BEST:: SOT 505931 SOS 144553 HAS SOPS 94872 HAS SOUS 56202 HAS SOUPS 52526 WITH SCORE 52670.553
AT ITER 4769 NEW BEST:: SOT 505924 SOS 144504 HAS SOPS 94841 HAS SOUS 56173 HAS SOUPS 52501 WITH SCORE 52645.504
AT ITER 4830 NEW BEST:: SOT 505862 SOS 144410 HAS SOPS 94747 HAS SOUS 56143 HAS SOUPS 52471 WITH SCORE 52615.41
AT ITER 4885 NEW BEST:: SOT 505998 SOS 144722 HAS SOPS 95059 HAS SOUS 56103 HAS SOUPS 52431 WITH SCORE 52575.722
AT ITER 4939 NEW BEST:: SOT 506119 SOS 145024 HAS SOPS 95502 HAS SOUS 56088 HAS SOUPS 52409 WITH SCORE 52554.024
AT ITER 4981 NEW BEST:: SOT 505855 SOS 144836 HAS SOPS 95351 HAS SOUS 56066 HAS SOUPS 52394 WITH SCORE 52538.836
AT ITER 5095 NEW BEST:: SOT 505937 SOS 145216 HAS SOPS 95743 HAS SOUS 55978 HAS SOUPS 52306 WITH SCORE 52451.216
AT ITER 5168 NEW BEST:: SOT 505895 SOS 145201 HAS SOPS 95685 HAS SOUS 55912 HAS SOUPS 52240 WITH SCORE 52385.201
AT ITER 5248 NEW BEST:: SOT 505761 SOS 144976 HAS SOPS 95401 HAS SOUS 55840 HAS SOUPS 52168 WITH SCORE 52312.976
AT ITER 5538 NEW BEST:: SOT 505757 SOS 144972 HAS SOPS 95393 HAS SOUS 55836 HAS SOUPS 52164 WITH SCORE 52308.972
AT ITER 5565 NEW BEST:: SOT 505784 SOS 145094 HAS SOPS 95500 HAS SOUS 55784 HAS SOUPS 52111 WITH SCORE 52256.094
AT ITER 5603 NEW BEST:: SOT 505593 SOS 144985 HAS SOPS 95477 HAS SOUS 55691 HAS SOUPS 52028 WITH SCORE 52172.985
AT ITER 5683 NEW BEST:: SOT 505588 SOS 144951 HAS SOPS 95498 HAS SOUS 55683 HAS SOUPS 52022 WITH SCORE 52166.951
AT ITER 5703 NEW BEST:: SOT 505621 SOS 145039 HAS SOPS 95619 HAS SOUS 55673 HAS SOUPS 52011 WITH SCORE 52156.039
AT ITER 5710 NEW BEST:: SOT 505594 SOS 145013 HAS SOPS 95509 HAS SOUS 55602 HAS SOUPS 51937 WITH SCORE 52082.013
AT ITER 5784 NEW BEST:: SOT 505585 SOS 144999 HAS SOPS 95500 HAS SOUS 55582 HAS SOUPS 51918 WITH SCORE 52062.999
AT ITER 5916 NEW BEST:: SOT 505618 SOS 145084 HAS SOPS 95555 HAS SOUS 55530 HAS SOUPS 51867 WITH SCORE 52012.084
AT ITER 5967 NEW BEST:: SOT 505628 SOS 145088 HAS SOPS 95559 HAS SOUS 55518 HAS SOUPS 51855 WITH SCORE 52000.088
AT ITER 6001 NEW BEST:: SOT 505597 SOS 145071 HAS SOPS 95560 HAS SOUS 55497 HAS SOUPS 51836 WITH SCORE 51981.071
AT ITER 6054 NEW BEST:: SOT 505648 SOS 145225 HAS SOPS 95765 HAS SOUS 55458 HAS SOUPS 51797 WITH SCORE 51942.225
AT ITER 6163 NEW BEST:: SOT 505648 SOS 145203 HAS SOPS 95743 HAS SOUS 55436 HAS SOUPS 51775 WITH SCORE 51920.203
AT ITER 6171 NEW BEST:: SOT 505637 SOS 145172 HAS SOPS 95722 HAS SOUS 55429 HAS SOUPS 51769 WITH SCORE 51914.172
AT ITER 6210 NEW BEST:: SOT 505635 SOS 145168 HAS SOPS 95714 HAS SOUS 55429 HAS SOUPS 51769 WITH SCORE 51914.168
AT ITER 6304 NEW BEST:: SOT 505634 SOS 145167 HAS SOPS 95713 HAS SOUS 55428 HAS SOUPS 51768 WITH SCORE 51913.167
AT ITER 6337 NEW BEST:: SOT 505490 SOS 144795 HAS SOPS 95341 HAS SOUS 55384 HAS SOUPS 51724 WITH SCORE 51868.795
AT ITER 6439 NEW BEST:: SOT 505379 SOS 144573 HAS SOPS 95000 HAS SOUS 55361 HAS SOUPS 51706 WITH SCORE 51850.573
AT ITER 6505 NEW BEST:: SOT 505645 SOS 144661 HAS SOPS 95031 HAS SOUS 55351 HAS SOUPS 51689 WITH SCORE 51833.661
AT ITER 6510 NEW BEST:: SOT 505660 SOS 144708 HAS SOPS 95080 HAS SOUS 55334 HAS SOUPS 51672 WITH SCORE 51816.708
AT ITER 6573 NEW BEST:: SOT 505634 SOS 144669 HAS SOPS 95014 HAS SOUS 55317 HAS SOUPS 51657 WITH SCORE 51801.669
AT ITER 6577 NEW BEST:: SOT 505632 SOS 144641 HAS SOPS 95012 HAS SOUS 55309 HAS SOUPS 51651 WITH SCORE 51795.641
AT ITER 6588 NEW BEST:: SOT 505631 SOS 144640 HAS SOPS 95011 HAS SOUS 55308 HAS SOUPS 51650 WITH SCORE 51794.64
AT ITER 6781 NEW BEST:: SOT 505548 SOS 144577 HAS SOPS 94960 HAS SOUS 55285 HAS SOUPS 51630 WITH SCORE 51774.577
AT ITER 6906 NEW BEST:: SOT 505516 SOS 144587 HAS SOPS 94958 HAS SOUS 55225 HAS SOUPS 51570 WITH SCORE 51714.587
AT ITER 6953 NEW BEST:: SOT 505563 SOS 144679 HAS SOPS 95059 HAS SOUS 55211 HAS SOUPS 51557 WITH SCORE 51701.679
AT ITER 6957 NEW BEST:: SOT 505620 SOS 144814 HAS SOPS 95194 HAS SOUS 55190 HAS SOUPS 51536 WITH SCORE 51680.814
AT ITER 7062 NEW BEST:: SOT 505355 SOS 144563 HAS SOPS 94967 HAS SOUS 55041 HAS SOUPS 51394 WITH SCORE 51538.563
AT ITER 7075 NEW BEST:: SOT 505286 SOS 144449 HAS SOPS 94842 HAS SOUS 55033 HAS SOUPS 51385 WITH SCORE 51529.449
AT ITER 7112 NEW BEST:: SOT 505283 SOS 144446 HAS SOPS 94839 HAS SOUS 55030 HAS SOUPS 51382 WITH SCORE 51526.446
AT ITER 7167 NEW BEST:: SOT 505340 SOS 144666 HAS SOPS 95066 HAS SOUS 54924 HAS SOUPS 51276 WITH SCORE 51420.666
AT ITER 7398 NEW BEST:: SOT 505424 SOS 144898 HAS SOPS 95298 HAS SOUS 54892 HAS SOUPS 51244 WITH SCORE 51388.898
AT ITER 7436 NEW BEST:: SOT 505427 SOS 144920 HAS SOPS 95277 HAS SOUS 54892 HAS SOUPS 51243 WITH SCORE 51387.92
AT ITER 7468 NEW BEST:: SOT 505893 SOS 145854 HAS SOPS 96211 HAS SOUS 54890 HAS SOUPS 51241 WITH SCORE 51386.854
AT ITER 7521 NEW BEST:: SOT 505893 SOS 145812 HAS SOPS 96211 HAS SOUS 54884 HAS SOUPS 51238 WITH SCORE 51383.812
AT ITER 7742 NEW BEST:: SOT 505802 SOS 145530 HAS SOPS 96062 HAS SOUS 54840 HAS SOUPS 51203 WITH SCORE 51348.53
AT ITER 7912 NEW BEST:: SOT 505676 SOS 145476 HAS SOPS 95933 HAS SOUS 54716 HAS SOUPS 51074 WITH SCORE 51219.476
AT ITER 7925 NEW BEST:: SOT 505676 SOS 145474 HAS SOPS 95931 HAS SOUS 54714 HAS SOUPS 51072 WITH SCORE 51217.474
AT ITER 7957 NEW BEST:: SOT 505676 SOS 145471 HAS SOPS 95928 HAS SOUS 54711 HAS SOUPS 51069 WITH SCORE 51214.471
AT ITER 7961 NEW BEST:: SOT 505677 SOS 145475 HAS SOPS 95929 HAS SOUS 54709 HAS SOUPS 51067 WITH SCORE 51212.475
AT ITER 7965 NEW BEST:: SOT 505758 SOS 145688 HAS SOPS 96114 HAS SOUS 54692 HAS SOUPS 51050 WITH SCORE 51195.688
AT ITER 8016 NEW BEST:: SOT 505743 SOS 145682 HAS SOPS 96119 HAS SOUS 54680 HAS SOUPS 51039 WITH SCORE 51184.682
AT ITER 8160 NEW BEST:: SOT 505717 SOS 145612 HAS SOPS 96093 HAS SOUS 54618 HAS SOUPS 50982 WITH SCORE 51127.612
AT ITER 8421 NEW BEST:: SOT 505718 SOS 145611 HAS SOPS 96092 HAS SOUS 54617 HAS SOUPS 50981 WITH SCORE 51126.611
AT ITER 8508 NEW BEST:: SOT 505610 SOS 145512 HAS SOPS 95482 HAS SOUS 54218 HAS SOUPS 50557 WITH SCORE 50702.512
AT ITER 8520 NEW BEST:: SOT 505609 SOS 145513 HAS SOPS 95481 HAS SOUS 54215 HAS SOUPS 50554 WITH SCORE 50699.513
AT ITER 8664 NEW BEST:: SOT 505729 SOS 145559 HAS SOPS 95525 HAS SOUS 54141 HAS SOUPS 50480 WITH SCORE 50625.559
AT ITER 8818 NEW BEST:: SOT 505716 SOS 145531 HAS SOPS 95512 HAS SOUS 54111 HAS SOUPS 50452 WITH SCORE 50597.531
AT ITER 8869 NEW BEST:: SOT 505737 SOS 145585 HAS SOPS 95557 HAS SOUS 54102 HAS SOUPS 50443 WITH SCORE 50588.585
AT ITER 8898 NEW BEST:: SOT 505816 SOS 145762 HAS SOPS 95734 HAS SOUS 54083 HAS SOUPS 50424 WITH SCORE 50569.762
AT ITER 8973 NEW BEST:: SOT 505732 SOS 145580 HAS SOPS 95552 HAS SOUS 54082 HAS SOUPS 50424 WITH SCORE 50569.58
AT ITER 8979 NEW BEST:: SOT 505757 SOS 145581 HAS SOPS 95553 HAS SOUS 54075 HAS SOUPS 50417 WITH SCORE 50562.581
AT ITER 8993 NEW BEST:: SOT 505784 SOS 145650 HAS SOPS 95622 HAS SOUS 54060 HAS SOUPS 50402 WITH SCORE 50547.65
AT ITER 9042 NEW BEST:: SOT 505778 SOS 145624 HAS SOPS 95670 HAS SOUS 53994 HAS SOUPS 50341 WITH SCORE 50486.624
AT ITER 9166 NEW BEST:: SOT 505773 SOS 145610 HAS SOPS 95665 HAS SOUS 53982 HAS SOUPS 50330 WITH SCORE 50475.61
AT ITER 9270 NEW BEST:: SOT 505633 SOS 145360 HAS SOPS 95375 HAS SOUS 53941 HAS SOUPS 50290 WITH SCORE 50435.36
AT ITER 9305 NEW BEST:: SOT 505632 SOS 145359 HAS SOPS 95374 HAS SOUS 53940 HAS SOUPS 50289 WITH SCORE 50434.359
AT ITER 9354 NEW BEST:: SOT 505632 SOS 145355 HAS SOPS 95370 HAS SOUS 53936 HAS SOUPS 50285 WITH SCORE 50430.355
AT ITER 9502 NEW BEST:: SOT 505627 SOS 145285 HAS SOPS 95365 HAS SOUS 53916 HAS SOUPS 50270 WITH SCORE 50415.285
AT ITER 9553 NEW BEST:: SOT 505592 SOS 145224 HAS SOPS 95304 HAS SOUS 53907 HAS SOUPS 50261 WITH SCORE 50406.224
AT ITER 9640 NEW BEST:: SOT 505578 SOS 145209 HAS SOPS 95290 HAS SOUS 53892 HAS SOUPS 50247 WITH SCORE 50392.209
AT ITER 9644 NEW BEST:: SOT 505627 SOS 145351 HAS SOPS 95481 HAS SOUS 53860 HAS SOUPS 50214 WITH SCORE 50359.351
AT ITER 9751 NEW BEST:: SOT 505620 SOS 145309 HAS SOPS 95474 HAS SOUS 53840 HAS SOUPS 50197 WITH SCORE 50342.309
AT ITER 9875 NEW BEST:: SOT 505668 SOS 145429 HAS SOPS 95594 HAS SOUS 53816 HAS SOUPS 50173 WITH SCORE 50318.429
AT ITER 9914 NEW BEST:: SOT 505666 SOS 145415 HAS SOPS 95592 HAS SOUS 53810 HAS SOUPS 50168 WITH SCORE 50313.415
STATE_SPACE STATES 35357924 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 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 265182780 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679175206477

--------------------
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="TokenRing-PT-015"
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 TokenRing-PT-015, 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-167912696000672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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