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.r195-smll-167840342400424.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 HexagonalGrid-PT-816, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342400424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 7.9K Feb 26 17:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 17:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 17:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 17:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 17:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 2.6M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678518972421

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=HexagonalGrid-PT-816
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 816
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: 3391 places, 6174 transitions, 24696 arcs.
AT ITER 0 NEW BEST:: SOT 11073023 SOS 1129524 HAS SOPS 1129524 HAS SOUS 566016 HAS SOUPS 566016 WITH SCORE 567145.524
AT ITER 35 NEW BEST:: SOT 11073098 SOS 1129674 HAS SOPS 1129674 HAS SOUS 565706 HAS SOUPS 565706 WITH SCORE 566835.674
AT ITER 51 NEW BEST:: SOT 11073066 SOS 1129642 HAS SOPS 1129642 HAS SOUS 565639 HAS SOUPS 565639 WITH SCORE 566768.642
AT ITER 73 NEW BEST:: SOT 11073066 SOS 1129522 HAS SOPS 1129522 HAS SOUS 565599 HAS SOUPS 565599 WITH SCORE 566728.522
AT ITER 131 NEW BEST:: SOT 11073066 SOS 1129418 HAS SOPS 1129418 HAS SOUS 565599 HAS SOUPS 565599 WITH SCORE 566728.418
AT ITER 159 NEW BEST:: SOT 11072776 SOS 1129070 HAS SOPS 1129070 HAS SOUS 565251 HAS SOUPS 565251 WITH SCORE 566380.07
AT ITER 182 NEW BEST:: SOT 11072566 SOS 1128650 HAS SOPS 1128650 HAS SOUS 564999 HAS SOUPS 564999 WITH SCORE 566127.65
AT ITER 204 NEW BEST:: SOT 11072636 SOS 1128720 HAS SOPS 1128720 HAS SOUS 564994 HAS SOUPS 564994 WITH SCORE 566122.72
AT ITER 313 NEW BEST:: SOT 11072636 SOS 1128720 HAS SOPS 1128720 HAS SOUS 564985 HAS SOUPS 564985 WITH SCORE 566113.72
AT ITER 372 NEW BEST:: SOT 11072586 SOS 1128660 HAS SOPS 1128660 HAS SOUS 564893 HAS SOUPS 564893 WITH SCORE 566021.66
AT ITER 387 NEW BEST:: SOT 11072514 SOS 1128228 HAS SOPS 1128228 HAS SOUS 564749 HAS SOUPS 564749 WITH SCORE 565877.228
AT ITER 402 NEW BEST:: SOT 11072514 SOS 1128228 HAS SOPS 1128228 HAS SOUS 564709 HAS SOUPS 564709 WITH SCORE 565837.228
AT ITER 464 NEW BEST:: SOT 11072086 SOS 1127372 HAS SOPS 1127372 HAS SOUS 564213 HAS SOUPS 564213 WITH SCORE 565340.372
AT ITER 532 NEW BEST:: SOT 11072086 SOS 1127100 HAS SOPS 1127100 HAS SOUS 564185 HAS SOUPS 564185 WITH SCORE 565312.1
AT ITER 592 NEW BEST:: SOT 11072086 SOS 1127046 HAS SOPS 1127046 HAS SOUS 564131 HAS SOUPS 564131 WITH SCORE 565258.046
AT ITER 638 NEW BEST:: SOT 11072009 SOS 1126892 HAS SOPS 1126892 HAS SOUS 563977 HAS SOUPS 563977 WITH SCORE 565103.892
AT ITER 764 NEW BEST:: SOT 11071928 SOS 1126406 HAS SOPS 1126406 HAS SOUS 563815 HAS SOUPS 563815 WITH SCORE 564941.406
AT ITER 809 NEW BEST:: SOT 11071847 SOS 1125920 HAS SOPS 1125920 HAS SOUS 563653 HAS SOUPS 563653 WITH SCORE 564778.92
AT ITER 814 NEW BEST:: SOT 11071847 SOS 1125920 HAS SOPS 1125920 HAS SOUS 563601 HAS SOUPS 563601 WITH SCORE 564726.92
AT ITER 832 NEW BEST:: SOT 11071816 SOS 1125734 HAS SOPS 1125734 HAS SOUS 563539 HAS SOUPS 563539 WITH SCORE 564664.734
AT ITER 833 NEW BEST:: SOT 11071816 SOS 1125717 HAS SOPS 1125717 HAS SOUS 563522 HAS SOUPS 563522 WITH SCORE 564647.717
AT ITER 934 NEW BEST:: SOT 11071783 SOS 1125711 HAS SOPS 1125711 HAS SOUS 563516 HAS SOUPS 563516 WITH SCORE 564641.711
AT ITER 1039 NEW BEST:: SOT 11071593 SOS 1125293 HAS SOPS 1125293 HAS SOUS 563250 HAS SOUPS 563250 WITH SCORE 564375.293
AT ITER 1103 NEW BEST:: SOT 11071535 SOS 1125235 HAS SOPS 1125235 HAS SOUS 563134 HAS SOUPS 563134 WITH SCORE 564259.235
AT ITER 1211 NEW BEST:: SOT 11071443 SOS 1124976 HAS SOPS 1124976 HAS SOUS 562951 HAS SOUPS 562951 WITH SCORE 564075.976
AT ITER 1216 NEW BEST:: SOT 11071392 SOS 1124670 HAS SOPS 1124670 HAS SOUS 562849 HAS SOUPS 562849 WITH SCORE 563973.67
AT ITER 1253 NEW BEST:: SOT 11071307 SOS 1124568 HAS SOPS 1124568 HAS SOUS 562451 HAS SOUPS 562451 WITH SCORE 563575.568
AT ITER 1272 NEW BEST:: SOT 11071142 SOS 1124370 HAS SOPS 1124370 HAS SOUS 562253 HAS SOUPS 562253 WITH SCORE 563377.37
AT ITER 1282 NEW BEST:: SOT 11071072 SOS 1123935 HAS SOPS 1123935 HAS SOUS 562054 HAS SOUPS 562054 WITH SCORE 563177.935
AT ITER 1351 NEW BEST:: SOT 11071013 SOS 1123817 HAS SOPS 1123817 HAS SOUS 561936 HAS SOUPS 561936 WITH SCORE 563059.817
AT ITER 1390 NEW BEST:: SOT 11071013 SOS 1123589 HAS SOPS 1123589 HAS SOUS 561860 HAS SOUPS 561860 WITH SCORE 562983.589
AT ITER 1429 NEW BEST:: SOT 11070798 SOS 1123159 HAS SOPS 1123159 HAS SOUS 561602 HAS SOUPS 561602 WITH SCORE 562725.159
AT ITER 1457 NEW BEST:: SOT 11070750 SOS 1122967 HAS SOPS 1122967 HAS SOUS 561602 HAS SOUPS 561602 WITH SCORE 562724.967
AT ITER 1460 NEW BEST:: SOT 11070750 SOS 1123111 HAS SOPS 1123111 HAS SOUS 561554 HAS SOUPS 561554 WITH SCORE 562677.111
AT ITER 1465 NEW BEST:: SOT 11070750 SOS 1123111 HAS SOPS 1123111 HAS SOUS 561506 HAS SOUPS 561506 WITH SCORE 562629.111
AT ITER 1600 NEW BEST:: SOT 11070750 SOS 1123111 HAS SOPS 1123111 HAS SOUS 561464 HAS SOUPS 561464 WITH SCORE 562587.111
AT ITER 1716 NEW BEST:: SOT 11070750 SOS 1122859 HAS SOPS 1122859 HAS SOUS 561456 HAS SOUPS 561456 WITH SCORE 562578.859
AT ITER 1723 NEW BEST:: SOT 11070748 SOS 1122494 HAS SOPS 1122494 HAS SOUS 561419 HAS SOUPS 561419 WITH SCORE 562541.494
AT ITER 1736 NEW BEST:: SOT 11070748 SOS 1122494 HAS SOPS 1122494 HAS SOUS 561388 HAS SOUPS 561388 WITH SCORE 562510.494
AT ITER 1767 NEW BEST:: SOT 11070700 SOS 1122158 HAS SOPS 1122158 HAS SOUS 561244 HAS SOUPS 561244 WITH SCORE 562366.158
AT ITER 1859 NEW BEST:: SOT 11070700 SOS 1122143 HAS SOPS 1122143 HAS SOUS 561241 HAS SOUPS 561241 WITH SCORE 562363.143
AT ITER 1864 NEW BEST:: SOT 11070700 SOS 1122143 HAS SOPS 1122143 HAS SOUS 561200 HAS SOUPS 561200 WITH SCORE 562322.143
AT ITER 1869 NEW BEST:: SOT 11070700 SOS 1121837 HAS SOPS 1121837 HAS SOUS 561098 HAS SOUPS 561098 WITH SCORE 562219.837
AT ITER 1878 NEW BEST:: SOT 11070550 SOS 1121537 HAS SOPS 1121537 HAS SOUS 560918 HAS SOUPS 560918 WITH SCORE 562039.537
AT ITER 1912 NEW BEST:: SOT 11070583 SOS 1121570 HAS SOPS 1121570 HAS SOUS 560906 HAS SOUPS 560906 WITH SCORE 562027.57
AT ITER 1960 NEW BEST:: SOT 11070583 SOS 1121185 HAS SOPS 1121185 HAS SOUS 560829 HAS SOUPS 560829 WITH SCORE 561950.185
AT ITER 1975 NEW BEST:: SOT 11070576 SOS 1121260 HAS SOPS 1121260 HAS SOUS 560792 HAS SOUPS 560792 WITH SCORE 561913.26
AT ITER 1992 NEW BEST:: SOT 11070576 SOS 1120865 HAS SOPS 1120865 HAS SOUS 560713 HAS SOUPS 560713 WITH SCORE 561833.865
AT ITER 1994 NEW BEST:: SOT 11070576 SOS 1120865 HAS SOPS 1120865 HAS SOUS 560566 HAS SOUPS 560566 WITH SCORE 561686.865
AT ITER 2086 NEW BEST:: SOT 11070576 SOS 1120865 HAS SOPS 1120865 HAS SOUS 560533 HAS SOUPS 560533 WITH SCORE 561653.865
AT ITER 2111 NEW BEST:: SOT 11070181 SOS 1120391 HAS SOPS 1120391 HAS SOUS 560047 HAS SOUPS 560047 WITH SCORE 561167.391
AT ITER 2114 NEW BEST:: SOT 11070221 SOS 1120471 HAS SOPS 1120471 HAS SOUS 560023 HAS SOUPS 560023 WITH SCORE 561143.471
AT ITER 2135 NEW BEST:: SOT 11070217 SOS 1120023 HAS SOPS 1120023 HAS SOUS 559935 HAS SOUPS 559935 WITH SCORE 561055.023
AT ITER 2150 NEW BEST:: SOT 11070127 SOS 1119533 HAS SOPS 1119533 HAS SOUS 559693 HAS SOUPS 559693 WITH SCORE 560812.533
AT ITER 2331 NEW BEST:: SOT 11070127 SOS 1119533 HAS SOPS 1119533 HAS SOUS 559679 HAS SOUPS 559679 WITH SCORE 560798.533
AT ITER 2387 NEW BEST:: SOT 11070022 SOS 1119407 HAS SOPS 1119407 HAS SOUS 559553 HAS SOUPS 559553 WITH SCORE 560672.407
AT ITER 2444 NEW BEST:: SOT 11069949 SOS 1118969 HAS SOPS 1118969 HAS SOUS 559407 HAS SOUPS 559407 WITH SCORE 560525.969
AT ITER 2499 NEW BEST:: SOT 11069889 SOS 1118849 HAS SOPS 1118849 HAS SOUS 559335 HAS SOUPS 559335 WITH SCORE 560453.849
AT ITER 2536 NEW BEST:: SOT 11069524 SOS 1118411 HAS SOPS 1118411 HAS SOUS 558897 HAS SOUPS 558897 WITH SCORE 560015.411
AT ITER 2582 NEW BEST:: SOT 11069524 SOS 1118411 HAS SOPS 1118411 HAS SOUS 558850 HAS SOUPS 558850 WITH SCORE 559968.411
AT ITER 2594 NEW BEST:: SOT 11069524 SOS 1118411 HAS SOPS 1118411 HAS SOUS 558777 HAS SOUPS 558777 WITH SCORE 559895.411
AT ITER 2608 NEW BEST:: SOT 11069509 SOS 1118321 HAS SOPS 1118321 HAS SOUS 558747 HAS SOUPS 558747 WITH SCORE 559865.321
AT ITER 2611 NEW BEST:: SOT 11069509 SOS 1118321 HAS SOPS 1118321 HAS SOUS 558733 HAS SOUPS 558733 WITH SCORE 559851.321
AT ITER 2825 NEW BEST:: SOT 11069509 SOS 1118321 HAS SOPS 1118321 HAS SOUS 558687 HAS SOUPS 558687 WITH SCORE 559805.321
AT ITER 2830 NEW BEST:: SOT 11069303 SOS 1117909 HAS SOPS 1117909 HAS SOUS 558459 HAS SOUPS 558459 WITH SCORE 559576.909
AT ITER 2931 NEW BEST:: SOT 11069303 SOS 1117909 HAS SOPS 1117909 HAS SOUS 558335 HAS SOUPS 558335 WITH SCORE 559452.909
AT ITER 2981 NEW BEST:: SOT 11069303 SOS 1117399 HAS SOPS 1117399 HAS SOUS 558165 HAS SOUPS 558165 WITH SCORE 559282.399
AT ITER 3052 NEW BEST:: SOT 11069363 SOS 1117439 HAS SOPS 1117439 HAS SOUS 557853 HAS SOUPS 557853 WITH SCORE 558970.439
AT ITER 3100 NEW BEST:: SOT 11068993 SOS 1116699 HAS SOPS 1116699 HAS SOUS 557409 HAS SOUPS 557409 WITH SCORE 558525.699
AT ITER 3173 NEW BEST:: SOT 11068633 SOS 1116267 HAS SOPS 1116267 HAS SOUS 557017 HAS SOUPS 557017 WITH SCORE 558133.267
AT ITER 3176 NEW BEST:: SOT 11068541 SOS 1115663 HAS SOPS 1115663 HAS SOUS 556749 HAS SOUPS 556749 WITH SCORE 557864.663
AT ITER 3180 NEW BEST:: SOT 11068541 SOS 1115636 HAS SOPS 1115636 HAS SOUS 556722 HAS SOUPS 556722 WITH SCORE 557837.636
AT ITER 3236 NEW BEST:: SOT 11068461 SOS 1115556 HAS SOPS 1115556 HAS SOUS 556642 HAS SOUPS 556642 WITH SCORE 557757.556
AT ITER 3345 NEW BEST:: SOT 11068116 SOS 1114797 HAS SOPS 1114797 HAS SOUS 556159 HAS SOUPS 556159 WITH SCORE 557273.797
AT ITER 3374 NEW BEST:: SOT 11067941 SOS 1114447 HAS SOPS 1114447 HAS SOUS 555949 HAS SOUPS 555949 WITH SCORE 557063.447
AT ITER 3414 NEW BEST:: SOT 11067846 SOS 1114352 HAS SOPS 1114352 HAS SOUS 555854 HAS SOUPS 555854 WITH SCORE 556968.352
AT ITER 3543 NEW BEST:: SOT 11067626 SOS 1113912 HAS SOPS 1113912 HAS SOUS 555590 HAS SOUPS 555590 WITH SCORE 556703.912
AT ITER 3546 NEW BEST:: SOT 11067176 SOS 1112940 HAS SOPS 1112940 HAS SOUS 554978 HAS SOUPS 554978 WITH SCORE 556090.94
AT ITER 3644 NEW BEST:: SOT 11067056 SOS 1112330 HAS SOPS 1112330 HAS SOUS 554944 HAS SOUPS 554944 WITH SCORE 556056.33
AT ITER 3665 NEW BEST:: SOT 11067056 SOS 1112330 HAS SOPS 1112330 HAS SOUS 554836 HAS SOUPS 554836 WITH SCORE 555948.33
AT ITER 3723 NEW BEST:: SOT 11067056 SOS 1112321 HAS SOPS 1112321 HAS SOUS 554827 HAS SOUPS 554827 WITH SCORE 555939.321
AT ITER 3801 NEW BEST:: SOT 11066796 SOS 1112061 HAS SOPS 1112061 HAS SOUS 554567 HAS SOUPS 554567 WITH SCORE 555679.061
AT ITER 3854 NEW BEST:: SOT 11066826 SOS 1112037 HAS SOPS 1112037 HAS SOUS 554519 HAS SOUPS 554519 WITH SCORE 555631.037
AT ITER 3873 NEW BEST:: SOT 11066606 SOS 1111553 HAS SOPS 1111553 HAS SOUS 554211 HAS SOUPS 554211 WITH SCORE 555322.553
AT ITER 3896 NEW BEST:: SOT 11066606 SOS 1111545 HAS SOPS 1111545 HAS SOUS 554211 HAS SOUPS 554211 WITH SCORE 555322.545
AT ITER 3910 NEW BEST:: SOT 11066606 SOS 1111545 HAS SOPS 1111545 HAS SOUS 554031 HAS SOUPS 554031 WITH SCORE 555142.545
AT ITER 3935 NEW BEST:: SOT 11066241 SOS 1111107 HAS SOPS 1111107 HAS SOUS 553593 HAS SOUPS 553593 WITH SCORE 554704.107
AT ITER 4098 NEW BEST:: SOT 11066241 SOS 1110825 HAS SOPS 1110825 HAS SOUS 553499 HAS SOUPS 553499 WITH SCORE 554609.825
AT ITER 4129 NEW BEST:: SOT 11065841 SOS 1110345 HAS SOPS 1110345 HAS SOUS 553019 HAS SOUPS 553019 WITH SCORE 554129.345
AT ITER 4192 NEW BEST:: SOT 11065841 SOS 1110497 HAS SOPS 1110497 HAS SOUS 552963 HAS SOUPS 552963 WITH SCORE 554073.497
AT ITER 4202 NEW BEST:: SOT 11065841 SOS 1110462 HAS SOPS 1110462 HAS SOUS 552928 HAS SOUPS 552928 WITH SCORE 554038.462
AT ITER 4234 NEW BEST:: SOT 11065841 SOS 1110462 HAS SOPS 1110462 HAS SOUS 552858 HAS SOUPS 552858 WITH SCORE 553968.462
AT ITER 4261 NEW BEST:: SOT 11065841 SOS 1110462 HAS SOPS 1110462 HAS SOUS 552832 HAS SOUPS 552832 WITH SCORE 553942.462
AT ITER 4273 NEW BEST:: SOT 11065773 SOS 1110054 HAS SOPS 1110054 HAS SOUS 552696 HAS SOUPS 552696 WITH SCORE 553806.054
AT ITER 4298 NEW BEST:: SOT 11065773 SOS 1109532 HAS SOPS 1109532 HAS SOUS 552522 HAS SOUPS 552522 WITH SCORE 553631.532
AT ITER 4360 NEW BEST:: SOT 11065773 SOS 1109079 HAS SOPS 1109079 HAS SOUS 552437 HAS SOUPS 552437 WITH SCORE 553546.079
AT ITER 4407 NEW BEST:: SOT 11065773 SOS 1109159 HAS SOPS 1109159 HAS SOUS 552405 HAS SOUPS 552405 WITH SCORE 553514.159
AT ITER 4413 NEW BEST:: SOT 11065684 SOS 1108625 HAS SOPS 1108625 HAS SOUS 552227 HAS SOUPS 552227 WITH SCORE 553335.625
AT ITER 4510 NEW BEST:: SOT 11065651 SOS 1108301 HAS SOPS 1108301 HAS SOUS 552147 HAS SOUPS 552147 WITH SCORE 553255.301
AT ITER 4542 NEW BEST:: SOT 11065651 SOS 1108104 HAS SOPS 1108104 HAS SOUS 552122 HAS SOUPS 552122 WITH SCORE 553230.104
AT ITER 4543 NEW BEST:: SOT 11065216 SOS 1107582 HAS SOPS 1107582 HAS SOUS 551568 HAS SOUPS 551568 WITH SCORE 552675.582
AT ITER 4545 NEW BEST:: SOT 11065204 SOS 1107570 HAS SOPS 1107570 HAS SOUS 551547 HAS SOUPS 551547 WITH SCORE 552654.57
AT ITER 4590 NEW BEST:: SOT 11065204 SOS 1107551 HAS SOPS 1107551 HAS SOUS 551528 HAS SOUPS 551528 WITH SCORE 552635.551
AT ITER 4918 NEW BEST:: SOT 11065204 SOS 1107447 HAS SOPS 1107447 HAS SOUS 551528 HAS SOUPS 551528 WITH SCORE 552635.447
AT ITER 4950 NEW BEST:: SOT 11065226 SOS 1107469 HAS SOPS 1107469 HAS SOUS 551524 HAS SOUPS 551524 WITH SCORE 552631.469
AT ITER 4994 NEW BEST:: SOT 11065226 SOS 1107451 HAS SOPS 1107451 HAS SOUS 551524 HAS SOUPS 551524 WITH SCORE 552631.451
AT ITER 5010 NEW BEST:: SOT 11065149 SOS 1106912 HAS SOPS 1106912 HAS SOUS 551293 HAS SOUPS 551293 WITH SCORE 552399.912
AT ITER 5029 NEW BEST:: SOT 11065087 SOS 1106788 HAS SOPS 1106788 HAS SOUS 551169 HAS SOUPS 551169 WITH SCORE 552275.788
AT ITER 5042 NEW BEST:: SOT 11065087 SOS 1106761 HAS SOPS 1106761 HAS SOUS 551142 HAS SOUPS 551142 WITH SCORE 552248.761
AT ITER 5102 NEW BEST:: SOT 11065054 SOS 1106751 HAS SOPS 1106751 HAS SOUS 551132 HAS SOUPS 551132 WITH SCORE 552238.751
AT ITER 5122 NEW BEST:: SOT 11064704 SOS 1106014 HAS SOPS 1106014 HAS SOUS 550675 HAS SOUPS 550675 WITH SCORE 551781.014
AT ITER 5192 NEW BEST:: SOT 11064649 SOS 1105959 HAS SOPS 1105959 HAS SOUS 550620 HAS SOUPS 550620 WITH SCORE 551725.959
AT ITER 5197 NEW BEST:: SOT 11064569 SOS 1105863 HAS SOPS 1105863 HAS SOUS 550296 HAS SOUPS 550296 WITH SCORE 551401.863
AT ITER 5203 NEW BEST:: SOT 11064554 SOS 1105845 HAS SOPS 1105845 HAS SOUS 550266 HAS SOUPS 550266 WITH SCORE 551371.845
AT ITER 5210 NEW BEST:: SOT 11064434 SOS 1105581 HAS SOPS 1105581 HAS SOUS 550098 HAS SOUPS 550098 WITH SCORE 551203.581
AT ITER 5214 NEW BEST:: SOT 11064434 SOS 1105581 HAS SOPS 1105581 HAS SOUS 550035 HAS SOUPS 550035 WITH SCORE 551140.581
AT ITER 5282 NEW BEST:: SOT 11064434 SOS 1105705 HAS SOPS 1105705 HAS SOUS 549911 HAS SOUPS 549911 WITH SCORE 551016.705
AT ITER 5343 NEW BEST:: SOT 11064434 SOS 1105705 HAS SOPS 1105705 HAS SOUS 549850 HAS SOUPS 549850 WITH SCORE 550955.705
AT ITER 5526 NEW BEST:: SOT 11064387 SOS 1105356 HAS SOPS 1105356 HAS SOUS 549689 HAS SOUPS 549689 WITH SCORE 550794.356
AT ITER 5600 NEW BEST:: SOT 11064387 SOS 1105331 HAS SOPS 1105331 HAS SOUS 549684 HAS SOUPS 549684 WITH SCORE 550789.331
AT ITER 5728 NEW BEST:: SOT 11064387 SOS 1104809 HAS SOPS 1104809 HAS SOUS 549510 HAS SOUPS 549510 WITH SCORE 550614.809
AT ITER 5730 NEW BEST:: SOT 11064387 SOS 1104701 HAS SOPS 1104701 HAS SOUS 549474 HAS SOUPS 549474 WITH SCORE 550578.701
AT ITER 5831 NEW BEST:: SOT 11064387 SOS 1104685 HAS SOPS 1104685 HAS SOUS 549458 HAS SOUPS 549458 WITH SCORE 550562.685
AT ITER 5854 NEW BEST:: SOT 11064376 SOS 1104608 HAS SOPS 1104608 HAS SOUS 549425 HAS SOUPS 549425 WITH SCORE 550529.608
AT ITER 5868 NEW BEST:: SOT 11064141 SOS 1104091 HAS SOPS 1104091 HAS SOUS 549096 HAS SOUPS 549096 WITH SCORE 550200.091
AT ITER 6023 NEW BEST:: SOT 11064141 SOS 1104091 HAS SOPS 1104091 HAS SOUS 549027 HAS SOUPS 549027 WITH SCORE 550131.091
AT ITER 6030 NEW BEST:: SOT 11063756 SOS 1103436 HAS SOPS 1103436 HAS SOUS 548552 HAS SOUPS 548552 WITH SCORE 549655.436
AT ITER 6095 NEW BEST:: SOT 11063756 SOS 1103436 HAS SOPS 1103436 HAS SOUS 548532 HAS SOUPS 548532 WITH SCORE 549635.436
AT ITER 6103 NEW BEST:: SOT 11063756 SOS 1102950 HAS SOPS 1102950 HAS SOUS 548370 HAS SOUPS 548370 WITH SCORE 549472.95
AT ITER 6138 NEW BEST:: SOT 11063833 SOS 1103027 HAS SOPS 1103027 HAS SOUS 548317 HAS SOUPS 548317 WITH SCORE 549420.027
AT ITER 6177 NEW BEST:: SOT 11063775 SOS 1102679 HAS SOPS 1102679 HAS SOUS 548201 HAS SOUPS 548201 WITH SCORE 549303.679
AT ITER 6206 NEW BEST:: SOT 11063775 SOS 1102639 HAS SOPS 1102639 HAS SOUS 548201 HAS SOUPS 548201 WITH SCORE 549303.639
AT ITER 6214 NEW BEST:: SOT 11063804 SOS 1102392 HAS SOPS 1102392 HAS SOUS 548198 HAS SOUPS 548198 WITH SCORE 549300.392
AT ITER 6223 NEW BEST:: SOT 11063712 SOS 1102300 HAS SOPS 1102300 HAS SOUS 548106 HAS SOUPS 548106 WITH SCORE 549208.3
AT ITER 6231 NEW BEST:: SOT 11063737 SOS 1102297 HAS SOPS 1102297 HAS SOUS 548051 HAS SOUPS 548051 WITH SCORE 549153.297
AT ITER 6335 NEW BEST:: SOT 11063737 SOS 1101793 HAS SOPS 1101793 HAS SOUS 547883 HAS SOUPS 547883 WITH SCORE 548984.793
AT ITER 6409 NEW BEST:: SOT 11063737 SOS 1101793 HAS SOPS 1101793 HAS SOUS 547851 HAS SOUPS 547851 WITH SCORE 548952.793
AT ITER 6424 NEW BEST:: SOT 11063737 SOS 1101793 HAS SOPS 1101793 HAS SOUS 547836 HAS SOUPS 547836 WITH SCORE 548937.793
AT ITER 6428 NEW BEST:: SOT 11063737 SOS 1101469 HAS SOPS 1101469 HAS SOUS 547728 HAS SOUPS 547728 WITH SCORE 548829.469
AT ITER 6432 NEW BEST:: SOT 11063542 SOS 1101235 HAS SOPS 1101235 HAS SOUS 547338 HAS SOUPS 547338 WITH SCORE 548439.235
AT ITER 6470 NEW BEST:: SOT 11063692 SOS 1101535 HAS SOPS 1101535 HAS SOUS 547150 HAS SOUPS 547150 WITH SCORE 548251.535
AT ITER 6497 NEW BEST:: SOT 11063681 SOS 1101524 HAS SOPS 1101524 HAS SOUS 547139 HAS SOUPS 547139 WITH SCORE 548240.524
AT ITER 6523 NEW BEST:: SOT 11063681 SOS 1101139 HAS SOPS 1101139 HAS SOUS 547062 HAS SOUPS 547062 WITH SCORE 548163.139
AT ITER 6587 NEW BEST:: SOT 11063681 SOS 1101007 HAS SOPS 1101007 HAS SOUS 547018 HAS SOUPS 547018 WITH SCORE 548119.007
AT ITER 6638 NEW BEST:: SOT 11063681 SOS 1100859 HAS SOPS 1100859 HAS SOUS 547018 HAS SOUPS 547018 WITH SCORE 548118.859
AT ITER 6688 NEW BEST:: SOT 11063681 SOS 1100929 HAS SOPS 1100929 HAS SOUS 546976 HAS SOUPS 546976 WITH SCORE 548076.929
AT ITER 6809 NEW BEST:: SOT 11063681 SOS 1100509 HAS SOPS 1100509 HAS SOUS 546836 HAS SOUPS 546836 WITH SCORE 547936.509
AT ITER 6820 NEW BEST:: SOT 11063591 SOS 1099994 HAS SOPS 1099994 HAS SOUS 546589 HAS SOUPS 546589 WITH SCORE 547688.994
AT ITER 6950 NEW BEST:: SOT 11063523 SOS 1099518 HAS SOPS 1099518 HAS SOUS 546385 HAS SOUPS 546385 WITH SCORE 547484.518
AT ITER 6952 NEW BEST:: SOT 11063509 SOS 1099434 HAS SOPS 1099434 HAS SOUS 546357 HAS SOUPS 546357 WITH SCORE 547456.434
AT ITER 6968 NEW BEST:: SOT 11063509 SOS 1099434 HAS SOPS 1099434 HAS SOUS 546297 HAS SOUPS 546297 WITH SCORE 547396.434
AT ITER 7035 NEW BEST:: SOT 11063466 SOS 1099348 HAS SOPS 1099348 HAS SOUS 546199 HAS SOUPS 546199 WITH SCORE 547298.348
AT ITER 7044 NEW BEST:: SOT 11063466 SOS 1099309 HAS SOPS 1099309 HAS SOUS 546160 HAS SOUPS 546160 WITH SCORE 547259.309
AT ITER 7079 NEW BEST:: SOT 11063466 SOS 1099369 HAS SOPS 1099369 HAS SOUS 546100 HAS SOUPS 546100 WITH SCORE 547199.369
AT ITER 7082 NEW BEST:: SOT 11063460 SOS 1099363 HAS SOPS 1099363 HAS SOUS 546094 HAS SOUPS 546094 WITH SCORE 547193.363
AT ITER 7214 NEW BEST:: SOT 11063460 SOS 1099087 HAS SOPS 1099087 HAS SOUS 546002 HAS SOUPS 546002 WITH SCORE 547101.087
AT ITER 7231 NEW BEST:: SOT 11063447 SOS 1099061 HAS SOPS 1099061 HAS SOUS 545976 HAS SOUPS 545976 WITH SCORE 547075.061
AT ITER 7281 NEW BEST:: SOT 11063447 SOS 1099061 HAS SOPS 1099061 HAS SOUS 545920 HAS SOUPS 545920 WITH SCORE 547019.061
AT ITER 7286 NEW BEST:: SOT 11063447 SOS 1099061 HAS SOPS 1099061 HAS SOUS 545802 HAS SOUPS 545802 WITH SCORE 546901.061
AT ITER 7323 NEW BEST:: SOT 11063002 SOS 1098527 HAS SOPS 1098527 HAS SOUS 545120 HAS SOUPS 545120 WITH SCORE 546218.527
AT ITER 7390 NEW BEST:: SOT 11063002 SOS 1098527 HAS SOPS 1098527 HAS SOUS 545096 HAS SOUPS 545096 WITH SCORE 546194.527
AT ITER 7440 NEW BEST:: SOT 11063022 SOS 1098513 HAS SOPS 1098513 HAS SOUS 545066 HAS SOUPS 545066 WITH SCORE 546164.513
AT ITER 7524 NEW BEST:: SOT 11062996 SOS 1097959 HAS SOPS 1097959 HAS SOUS 544980 HAS SOUPS 544980 WITH SCORE 546077.959
AT ITER 7611 NEW BEST:: SOT 11062996 SOS 1097413 HAS SOPS 1097413 HAS SOUS 544798 HAS SOUPS 544798 WITH SCORE 545895.413
AT ITER 7690 NEW BEST:: SOT 11062996 SOS 1097413 HAS SOPS 1097413 HAS SOUS 544738 HAS SOUPS 544738 WITH SCORE 545835.413
AT ITER 7712 NEW BEST:: SOT 11062996 SOS 1097413 HAS SOPS 1097413 HAS SOUS 544652 HAS SOUPS 544652 WITH SCORE 545749.413
AT ITER 7776 NEW BEST:: SOT 11062676 SOS 1096773 HAS SOPS 1096773 HAS SOUS 544268 HAS SOUPS 544268 WITH SCORE 545364.773
AT ITER 7823 NEW BEST:: SOT 11062740 SOS 1096777 HAS SOPS 1096777 HAS SOUS 544192 HAS SOUPS 544192 WITH SCORE 545288.777
AT ITER 7843 NEW BEST:: SOT 11062530 SOS 1096525 HAS SOPS 1096525 HAS SOUS 543936 HAS SOUPS 543936 WITH SCORE 545032.525
AT ITER 7865 NEW BEST:: SOT 11062530 SOS 1096525 HAS SOPS 1096525 HAS SOUS 543871 HAS SOUPS 543871 WITH SCORE 544967.525
AT ITER 7923 NEW BEST:: SOT 11062530 SOS 1096405 HAS SOPS 1096405 HAS SOUS 543847 HAS SOUPS 543847 WITH SCORE 544943.405
AT ITER 7932 NEW BEST:: SOT 11062530 SOS 1096395 HAS SOPS 1096395 HAS SOUS 543837 HAS SOUPS 543837 WITH SCORE 544933.395
AT ITER 7956 NEW BEST:: SOT 11062530 SOS 1096191 HAS SOPS 1096191 HAS SOUS 543769 HAS SOUPS 543769 WITH SCORE 544865.191
AT ITER 7971 NEW BEST:: SOT 11062530 SOS 1096191 HAS SOPS 1096191 HAS SOUS 543713 HAS SOUPS 543713 WITH SCORE 544809.191
AT ITER 8162 NEW BEST:: SOT 11062129 SOS 1095389 HAS SOPS 1095389 HAS SOUS 543359 HAS SOUPS 543359 WITH SCORE 544454.389
AT ITER 8305 NEW BEST:: SOT 11061679 SOS 1094849 HAS SOPS 1094849 HAS SOUS 542771 HAS SOUPS 542771 WITH SCORE 543865.849
AT ITER 8318 NEW BEST:: SOT 11061679 SOS 1094849 HAS SOPS 1094849 HAS SOUS 542751 HAS SOUPS 542751 WITH SCORE 543845.849
AT ITER 8393 NEW BEST:: SOT 11061289 SOS 1093991 HAS SOPS 1093991 HAS SOUS 542205 HAS SOUPS 542205 WITH SCORE 543298.991
AT ITER 8400 NEW BEST:: SOT 11061199 SOS 1093441 HAS SOPS 1093441 HAS SOUS 541951 HAS SOUPS 541951 WITH SCORE 543044.441
AT ITER 8420 NEW BEST:: SOT 11061099 SOS 1093221 HAS SOPS 1093221 HAS SOUS 541811 HAS SOUPS 541811 WITH SCORE 542904.221
AT ITER 8476 NEW BEST:: SOT 11061099 SOS 1092789 HAS SOPS 1092789 HAS SOUS 541739 HAS SOUPS 541739 WITH SCORE 542831.789
AT ITER 8490 NEW BEST:: SOT 11060679 SOS 1092285 HAS SOPS 1092285 HAS SOUS 541235 HAS SOUPS 541235 WITH SCORE 542327.285
AT ITER 8511 NEW BEST:: SOT 11060504 SOS 1091935 HAS SOPS 1091935 HAS SOUS 541025 HAS SOUPS 541025 WITH SCORE 542116.935
AT ITER 8524 NEW BEST:: SOT 11060504 SOS 1091731 HAS SOPS 1091731 HAS SOUS 540957 HAS SOUPS 540957 WITH SCORE 542048.731
AT ITER 8544 NEW BEST:: SOT 11060451 SOS 1091413 HAS SOPS 1091413 HAS SOUS 540851 HAS SOUPS 540851 WITH SCORE 541942.413
AT ITER 8572 NEW BEST:: SOT 11060236 SOS 1090983 HAS SOPS 1090983 HAS SOUS 540593 HAS SOUPS 540593 WITH SCORE 541683.983
AT ITER 8584 NEW BEST:: SOT 11060226 SOS 1090973 HAS SOPS 1090973 HAS SOUS 540583 HAS SOUPS 540583 WITH SCORE 541673.973
AT ITER 8587 NEW BEST:: SOT 11060226 SOS 1091293 HAS SOPS 1091293 HAS SOUS 540439 HAS SOUPS 540439 WITH SCORE 541530.293
AT ITER 8614 NEW BEST:: SOT 11060226 SOS 1091103 HAS SOPS 1091103 HAS SOUS 540401 HAS SOUPS 540401 WITH SCORE 541492.103
AT ITER 8623 NEW BEST:: SOT 11060226 SOS 1091103 HAS SOPS 1091103 HAS SOUS 540186 HAS SOUPS 540186 WITH SCORE 541277.103
AT ITER 8659 NEW BEST:: SOT 11060226 SOS 1091103 HAS SOPS 1091103 HAS SOUS 540171 HAS SOUPS 540171 WITH SCORE 541262.103
AT ITER 8687 NEW BEST:: SOT 11060226 SOS 1090617 HAS SOPS 1090617 HAS SOUS 540009 HAS SOUPS 540009 WITH SCORE 541099.617
AT ITER 8769 NEW BEST:: SOT 11060136 SOS 1090182 HAS SOPS 1090182 HAS SOUS 539778 HAS SOUPS 539778 WITH SCORE 540868.182
AT ITER 8789 NEW BEST:: SOT 11060176 SOS 1090180 HAS SOPS 1090180 HAS SOUS 539744 HAS SOUPS 539744 WITH SCORE 540834.18
AT ITER 8808 NEW BEST:: SOT 11059796 SOS 1089344 HAS SOPS 1089344 HAS SOUS 539212 HAS SOUPS 539212 WITH SCORE 540301.344
AT ITER 8955 NEW BEST:: SOT 11059731 SOS 1089031 HAS SOPS 1089031 HAS SOUS 539135 HAS SOUPS 539135 WITH SCORE 540224.031
AT ITER 8982 NEW BEST:: SOT 11059731 SOS 1089116 HAS SOPS 1089116 HAS SOUS 539128 HAS SOUPS 539128 WITH SCORE 540217.116
AT ITER 9044 NEW BEST:: SOT 11059665 SOS 1088984 HAS SOPS 1088984 HAS SOUS 538996 HAS SOUPS 538996 WITH SCORE 540084.984
AT ITER 9067 NEW BEST:: SOT 11059665 SOS 1088846 HAS SOPS 1088846 HAS SOUS 538950 HAS SOUPS 538950 WITH SCORE 540038.846
AT ITER 9111 NEW BEST:: SOT 11059665 SOS 1088846 HAS SOPS 1088846 HAS SOUS 538945 HAS SOUPS 538945 WITH SCORE 540033.846
AT ITER 9131 NEW BEST:: SOT 11059659 SOS 1088818 HAS SOPS 1088818 HAS SOUS 538917 HAS SOUPS 538917 WITH SCORE 540005.818
AT ITER 9199 NEW BEST:: SOT 11059304 SOS 1088108 HAS SOPS 1088108 HAS SOUS 538491 HAS SOUPS 538491 WITH SCORE 539579.108
AT ITER 9255 NEW BEST:: SOT 11058934 SOS 1087664 HAS SOPS 1087664 HAS SOUS 537811 HAS SOUPS 537811 WITH SCORE 538898.664
AT ITER 9315 NEW BEST:: SOT 11058934 SOS 1087394 HAS SOPS 1087394 HAS SOUS 537721 HAS SOUPS 537721 WITH SCORE 538808.394
AT ITER 9362 NEW BEST:: SOT 11058934 SOS 1087382 HAS SOPS 1087382 HAS SOUS 537721 HAS SOUPS 537721 WITH SCORE 538808.382
AT ITER 9375 NEW BEST:: SOT 11058892 SOS 1087352 HAS SOPS 1087352 HAS SOUS 537691 HAS SOUPS 537691 WITH SCORE 538778.352
AT ITER 9380 NEW BEST:: SOT 11058889 SOS 1087364 HAS SOPS 1087364 HAS SOUS 537687 HAS SOUPS 537687 WITH SCORE 538774.364
AT ITER 9394 NEW BEST:: SOT 11058802 SOS 1086842 HAS SOPS 1086842 HAS SOUS 537513 HAS SOUPS 537513 WITH SCORE 538599.842
AT ITER 9439 NEW BEST:: SOT 11058802 SOS 1086622 HAS SOPS 1086622 HAS SOUS 537469 HAS SOUPS 537469 WITH SCORE 538555.622
AT ITER 9485 NEW BEST:: SOT 11058802 SOS 1086622 HAS SOPS 1086622 HAS SOUS 537449 HAS SOUPS 537449 WITH SCORE 538535.622
AT ITER 9548 NEW BEST:: SOT 11058757 SOS 1086532 HAS SOPS 1086532 HAS SOUS 537295 HAS SOUPS 537295 WITH SCORE 538381.532
AT ITER 9587 NEW BEST:: SOT 11058757 SOS 1086298 HAS SOPS 1086298 HAS SOUS 537217 HAS SOUPS 537217 WITH SCORE 538303.298
AT ITER 9617 NEW BEST:: SOT 11058757 SOS 1086142 HAS SOPS 1086142 HAS SOUS 537165 HAS SOUPS 537165 WITH SCORE 538251.142
AT ITER 9659 NEW BEST:: SOT 11058757 SOS 1086142 HAS SOPS 1086142 HAS SOUS 537156 HAS SOUPS 537156 WITH SCORE 538242.142
AT ITER 9719 NEW BEST:: SOT 11058735 SOS 1086322 HAS SOPS 1086322 HAS SOUS 537112 HAS SOUPS 537112 WITH SCORE 538198.322
AT ITER 9722 NEW BEST:: SOT 11058695 SOS 1086234 HAS SOPS 1086234 HAS SOUS 537056 HAS SOUPS 537056 WITH SCORE 538142.234
AT ITER 9734 NEW BEST:: SOT 11058695 SOS 1086234 HAS SOPS 1086234 HAS SOUS 536930 HAS SOUPS 536930 WITH SCORE 538016.234
AT ITER 9938 NEW BEST:: SOT 11058695 SOS 1086215 HAS SOPS 1086215 HAS SOUS 536911 HAS SOUPS 536911 WITH SCORE 537997.215
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10713344 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16146936 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="HexagonalGrid-PT-816"
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 HexagonalGrid-PT-816, 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 r195-smll-167840342400424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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