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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 860K
-rw-r--r-- 1 mcc users 16K Feb 26 01:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 26 01:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 01:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 01:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 37K Feb 26 01:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 300K Feb 26 01:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 01:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 01:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 78K 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 1678821530652

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=QuasiCertifProtocol-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (PT), instance 06
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: 270 places, 116 transitions, 659 arcs.
AT ITER 0 NEW BEST:: SOT 21864 SOS 8172 HAS SOPS 8172 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6382.172
AT ITER 3 NEW BEST:: SOT 21864 SOS 8150 HAS SOPS 8150 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6371.15
AT ITER 77 NEW BEST:: SOT 21916 SOS 8101 HAS SOPS 8101 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6322.101
AT ITER 102 NEW BEST:: SOT 21916 SOS 8049 HAS SOPS 8049 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6296.049
AT ITER 103 NEW BEST:: SOT 21956 SOS 8011 HAS SOPS 8011 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6258.011
AT ITER 159 NEW BEST:: SOT 21932 SOS 8003 HAS SOPS 8003 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6242.003
AT ITER 260 NEW BEST:: SOT 21899 SOS 8016 HAS SOPS 8016 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6240.016
AT ITER 268 NEW BEST:: SOT 21899 SOS 7991 HAS SOPS 7991 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6233.991
AT ITER 271 NEW BEST:: SOT 21893 SOS 7985 HAS SOPS 7985 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.985
AT ITER 285 NEW BEST:: SOT 21948 SOS 7961 HAS SOPS 7961 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6203.961
AT ITER 313 NEW BEST:: SOT 21947 SOS 7960 HAS SOPS 7960 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6202.96
AT ITER 338 NEW BEST:: SOT 21947 SOS 7954 HAS SOPS 7954 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6196.954
AT ITER 339 NEW BEST:: SOT 21947 SOS 7928 HAS SOPS 7928 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6191.928
AT ITER 342 NEW BEST:: SOT 21973 SOS 7927 HAS SOPS 7927 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6190.927
AT ITER 366 NEW BEST:: SOT 22070 SOS 7972 HAS SOPS 7972 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.972
AT ITER 374 NEW BEST:: SOT 22070 SOS 7905 HAS SOPS 7905 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6156.905
AT ITER 378 NEW BEST:: SOT 21583 SOS 10863 HAS SOPS 10863 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6074.863
AT ITER 427 NEW BEST:: SOT 21583 SOS 10850 HAS SOPS 10850 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6061.85
AT ITER 447 NEW BEST:: SOT 21454 SOS 10877 HAS SOPS 10877 HAS SOUS 6034 HAS SOUPS 6034 WITH SCORE 6044.877
AT ITER 453 NEW BEST:: SOT 21453 SOS 10876 HAS SOPS 10876 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6043.876
AT ITER 477 NEW BEST:: SOT 20739 SOS 10161 HAS SOPS 10161 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5328.161
AT ITER 487 NEW BEST:: SOT 20736 SOS 10148 HAS SOPS 10148 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5315.148
AT ITER 503 NEW BEST:: SOT 20736 SOS 10147 HAS SOPS 10147 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5314.147
AT ITER 530 NEW BEST:: SOT 20787 SOS 10142 HAS SOPS 10142 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5237.142
AT ITER 542 NEW BEST:: SOT 20805 SOS 10155 HAS SOPS 10155 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5232.155
AT ITER 550 NEW BEST:: SOT 20789 SOS 10147 HAS SOPS 10147 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5232.147
AT ITER 556 NEW BEST:: SOT 20789 SOS 10134 HAS SOPS 10134 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5219.134
AT ITER 597 NEW BEST:: SOT 20807 SOS 10060 HAS SOPS 10060 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5215.06
AT ITER 605 NEW BEST:: SOT 20800 SOS 10053 HAS SOPS 10053 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5208.053
AT ITER 658 NEW BEST:: SOT 20860 SOS 10081 HAS SOPS 10081 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5176.081
AT ITER 693 NEW BEST:: SOT 20859 SOS 10080 HAS SOPS 10080 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5175.08
AT ITER 694 NEW BEST:: SOT 20837 SOS 10062 HAS SOPS 10062 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5168.062
AT ITER 761 NEW BEST:: SOT 20823 SOS 10055 HAS SOPS 10055 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5168.055
AT ITER 776 NEW BEST:: SOT 20821 SOS 10053 HAS SOPS 10053 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5166.053
AT ITER 801 NEW BEST:: SOT 20821 SOS 10039 HAS SOPS 10039 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5138.039
AT ITER 825 NEW BEST:: SOT 20816 SOS 10034 HAS SOPS 10034 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5133.034
AT ITER 833 NEW BEST:: SOT 20794 SOS 10004 HAS SOPS 10004 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5103.004
AT ITER 834 NEW BEST:: SOT 20770 SOS 9992 HAS SOPS 9992 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5102.992
AT ITER 901 NEW BEST:: SOT 20738 SOS 9960 HAS SOPS 9960 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5086.96
AT ITER 935 NEW BEST:: SOT 20739 SOS 9960 HAS SOPS 9960 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5085.96
AT ITER 950 NEW BEST:: SOT 20735 SOS 9956 HAS SOPS 9956 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5081.956
AT ITER 976 NEW BEST:: SOT 20735 SOS 9941 HAS SOPS 9941 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5051.941
AT ITER 1025 NEW BEST:: SOT 20735 SOS 9940 HAS SOPS 9940 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5050.94
AT ITER 1032 NEW BEST:: SOT 20732 SOS 9937 HAS SOPS 9937 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5047.937
AT ITER 1092 NEW BEST:: SOT 20732 SOS 9930 HAS SOPS 9930 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5040.93
AT ITER 1218 NEW BEST:: SOT 20740 SOS 9897 HAS SOPS 9897 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5037.897
AT ITER 1274 NEW BEST:: SOT 20720 SOS 9887 HAS SOPS 9887 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5037.887
AT ITER 1292 NEW BEST:: SOT 20719 SOS 9886 HAS SOPS 9886 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5036.886
AT ITER 1301 NEW BEST:: SOT 20619 SOS 9808 HAS SOPS 9808 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5005.808
AT ITER 1322 NEW BEST:: SOT 20785 SOS 9911 HAS SOPS 9911 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4973.911
AT ITER 1371 NEW BEST:: SOT 20803 SOS 9958 HAS SOPS 9958 HAS SOUS 4963 HAS SOUPS 4963 WITH SCORE 4972.958
AT ITER 1373 NEW BEST:: SOT 20797 SOS 9952 HAS SOPS 9952 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4966.952
AT ITER 1401 NEW BEST:: SOT 20789 SOS 9947 HAS SOPS 9947 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4965.947
AT ITER 1441 NEW BEST:: SOT 20792 SOS 9950 HAS SOPS 9950 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4946.95
AT ITER 1537 NEW BEST:: SOT 20715 SOS 9844 HAS SOPS 9844 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4840.844
AT ITER 1634 NEW BEST:: SOT 20709 SOS 9838 HAS SOPS 9838 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4834.838
AT ITER 1637 NEW BEST:: SOT 20673 SOS 9820 HAS SOPS 9820 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4834.82
AT ITER 1640 NEW BEST:: SOT 20672 SOS 9819 HAS SOPS 9819 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4833.819
AT ITER 1658 NEW BEST:: SOT 20672 SOS 9812 HAS SOPS 9812 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4826.812
AT ITER 1688 NEW BEST:: SOT 20695 SOS 9830 HAS SOPS 9830 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4821.83
AT ITER 1705 NEW BEST:: SOT 20739 SOS 9830 HAS SOPS 9830 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4777.83
AT ITER 1720 NEW BEST:: SOT 20703 SOS 9812 HAS SOPS 9812 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4777.812
AT ITER 1761 NEW BEST:: SOT 20695 SOS 9808 HAS SOPS 9808 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4777.808
AT ITER 1811 NEW BEST:: SOT 20669 SOS 9793 HAS SOPS 9793 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4777.793
AT ITER 1821 NEW BEST:: SOT 20651 SOS 9775 HAS SOPS 9775 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4777.775
AT ITER 1822 NEW BEST:: SOT 20629 SOS 9753 HAS SOPS 9753 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4766.753
AT ITER 1850 NEW BEST:: SOT 20617 SOS 9741 HAS SOPS 9741 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4762.741
AT ITER 1858 NEW BEST:: SOT 20617 SOS 9737 HAS SOPS 9737 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4758.737
AT ITER 1872 NEW BEST:: SOT 20634 SOS 9737 HAS SOPS 9737 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4741.737
AT ITER 1903 NEW BEST:: SOT 20634 SOS 9736 HAS SOPS 9736 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4740.736
AT ITER 1918 NEW BEST:: SOT 20634 SOS 9731 HAS SOPS 9731 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4735.731
AT ITER 1925 NEW BEST:: SOT 20634 SOS 9730 HAS SOPS 9730 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4734.73
AT ITER 1934 NEW BEST:: SOT 20612 SOS 9715 HAS SOPS 9715 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4730.715
AT ITER 2050 NEW BEST:: SOT 20612 SOS 9709 HAS SOPS 9709 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4724.709
AT ITER 2085 NEW BEST:: SOT 20584 SOS 9685 HAS SOPS 9685 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4714.685
AT ITER 2109 NEW BEST:: SOT 20676 SOS 9729 HAS SOPS 9729 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4710.729
AT ITER 2173 NEW BEST:: SOT 20669 SOS 9722 HAS SOPS 9722 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4703.722
AT ITER 2182 NEW BEST:: SOT 20681 SOS 9722 HAS SOPS 9722 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4691.722
AT ITER 2227 NEW BEST:: SOT 20681 SOS 9721 HAS SOPS 9721 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4690.721
AT ITER 2257 NEW BEST:: SOT 20680 SOS 9720 HAS SOPS 9720 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4689.72
AT ITER 2317 NEW BEST:: SOT 20666 SOS 9713 HAS SOPS 9713 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4687.713
AT ITER 2349 NEW BEST:: SOT 20670 SOS 9714 HAS SOPS 9714 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4685.714
AT ITER 2355 NEW BEST:: SOT 20654 SOS 9706 HAS SOPS 9706 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4685.706
AT ITER 2376 NEW BEST:: SOT 20642 SOS 9694 HAS SOPS 9694 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4685.694
AT ITER 2398 NEW BEST:: SOT 20617 SOS 9685 HAS SOPS 9685 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4676.685
AT ITER 2443 NEW BEST:: SOT 20615 SOS 9684 HAS SOPS 9684 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4676.684
AT ITER 2516 NEW BEST:: SOT 20605 SOS 9679 HAS SOPS 9679 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4676.679
AT ITER 2540 NEW BEST:: SOT 20571 SOS 9645 HAS SOPS 9645 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4676.645
AT ITER 2577 NEW BEST:: SOT 20567 SOS 9641 HAS SOPS 9641 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4672.641
AT ITER 2578 NEW BEST:: SOT 20562 SOS 9630 HAS SOPS 9630 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4661.63
AT ITER 2619 NEW BEST:: SOT 20562 SOS 9620 HAS SOPS 9620 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4651.62
AT ITER 2622 NEW BEST:: SOT 20555 SOS 9613 HAS SOPS 9613 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4651.613
AT ITER 2681 NEW BEST:: SOT 20547 SOS 9605 HAS SOPS 9605 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4651.605
AT ITER 2682 NEW BEST:: SOT 20515 SOS 9573 HAS SOPS 9573 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4635.573
AT ITER 2798 NEW BEST:: SOT 20515 SOS 9572 HAS SOPS 9572 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4634.572
AT ITER 2809 NEW BEST:: SOT 20526 SOS 9582 HAS SOPS 9582 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4633.582
AT ITER 2847 NEW BEST:: SOT 20526 SOS 9580 HAS SOPS 9580 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4631.58
AT ITER 2860 NEW BEST:: SOT 20526 SOS 9579 HAS SOPS 9579 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4630.579
AT ITER 2916 NEW BEST:: SOT 20524 SOS 9577 HAS SOPS 9577 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4628.577
AT ITER 2935 NEW BEST:: SOT 20525 SOS 9576 HAS SOPS 9576 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4628.576
AT ITER 2979 NEW BEST:: SOT 20525 SOS 9575 HAS SOPS 9575 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4627.575
AT ITER 2984 NEW BEST:: SOT 20528 SOS 9575 HAS SOPS 9575 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4624.575
AT ITER 3071 NEW BEST:: SOT 20527 SOS 9574 HAS SOPS 9574 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4623.574
AT ITER 3080 NEW BEST:: SOT 20527 SOS 9573 HAS SOPS 9573 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4622.573
AT ITER 3089 NEW BEST:: SOT 20526 SOS 9572 HAS SOPS 9572 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4621.572
AT ITER 3100 NEW BEST:: SOT 20528 SOS 9573 HAS SOPS 9573 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4620.573
AT ITER 3123 NEW BEST:: SOT 20490 SOS 9554 HAS SOPS 9554 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4620.554
AT ITER 3134 NEW BEST:: SOT 20479 SOS 9544 HAS SOPS 9544 HAS SOUS 4609 HAS SOUPS 4609 WITH SCORE 4618.544
AT ITER 3178 NEW BEST:: SOT 20451 SOS 9516 HAS SOPS 9516 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4606.516
AT ITER 3200 NEW BEST:: SOT 20447 SOS 9512 HAS SOPS 9512 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4602.512
AT ITER 3263 NEW BEST:: SOT 20445 SOS 9510 HAS SOPS 9510 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4600.51
AT ITER 3287 NEW BEST:: SOT 20519 SOS 9581 HAS SOPS 9581 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4597.581
AT ITER 3294 NEW BEST:: SOT 20528 SOS 9590 HAS SOPS 9590 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4594.59
AT ITER 3312 NEW BEST:: SOT 20527 SOS 9589 HAS SOPS 9589 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4593.589
AT ITER 3337 NEW BEST:: SOT 20521 SOS 9586 HAS SOPS 9586 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4593.586
AT ITER 3342 NEW BEST:: SOT 20525 SOS 9590 HAS SOPS 9590 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4591.59
AT ITER 3373 NEW BEST:: SOT 20525 SOS 9583 HAS SOPS 9583 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4584.583
AT ITER 3377 NEW BEST:: SOT 20491 SOS 9566 HAS SOPS 9566 HAS SOUS 4575 HAS SOUPS 4575 WITH SCORE 4584.566
AT ITER 3398 NEW BEST:: SOT 20494 SOS 9565 HAS SOPS 9565 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4583.565
AT ITER 3432 NEW BEST:: SOT 20494 SOS 9563 HAS SOPS 9563 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4581.563
AT ITER 3482 NEW BEST:: SOT 20480 SOS 9549 HAS SOPS 9549 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4574.549
AT ITER 3491 NEW BEST:: SOT 20480 SOS 9544 HAS SOPS 9544 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4569.544
AT ITER 3570 NEW BEST:: SOT 20476 SOS 9540 HAS SOPS 9540 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4565.54
AT ITER 3588 NEW BEST:: SOT 20471 SOS 9537 HAS SOPS 9537 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4565.537
AT ITER 3596 NEW BEST:: SOT 20544 SOS 9563 HAS SOPS 9563 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4544.563
AT ITER 3607 NEW BEST:: SOT 20530 SOS 9556 HAS SOPS 9556 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4544.556
AT ITER 3614 NEW BEST:: SOT 20528 SOS 9554 HAS SOPS 9554 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4542.554
AT ITER 3736 NEW BEST:: SOT 20525 SOS 9551 HAS SOPS 9551 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4539.551
AT ITER 3796 NEW BEST:: SOT 20525 SOS 9550 HAS SOPS 9550 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4538.55
AT ITER 3869 NEW BEST:: SOT 20517 SOS 9546 HAS SOPS 9546 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4538.546
AT ITER 3879 NEW BEST:: SOT 20531 SOS 9546 HAS SOPS 9546 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4524.546
AT ITER 3885 NEW BEST:: SOT 20531 SOS 9448 HAS SOPS 9448 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4522.448
AT ITER 3937 NEW BEST:: SOT 20517 SOS 9441 HAS SOPS 9441 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4522.441
AT ITER 3994 NEW BEST:: SOT 20481 SOS 9423 HAS SOPS 9423 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4522.423
AT ITER 4004 NEW BEST:: SOT 20558 SOS 9457 HAS SOPS 9457 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4513.457
AT ITER 4115 NEW BEST:: SOT 20558 SOS 9456 HAS SOPS 9456 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4512.456
AT ITER 4120 NEW BEST:: SOT 20544 SOS 9444 HAS SOPS 9444 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4509.444
AT ITER 4128 NEW BEST:: SOT 20534 SOS 9439 HAS SOPS 9439 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4509.439
AT ITER 4137 NEW BEST:: SOT 20527 SOS 9432 HAS SOPS 9432 HAS SOUS 4493 HAS SOUPS 4493 WITH SCORE 4502.432
AT ITER 4147 NEW BEST:: SOT 20527 SOS 9428 HAS SOPS 9428 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4498.428
AT ITER 4243 NEW BEST:: SOT 20534 SOS 9430 HAS SOPS 9430 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4495.43
AT ITER 4317 NEW BEST:: SOT 20534 SOS 9427 HAS SOPS 9427 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4492.427
AT ITER 4320 NEW BEST:: SOT 20532 SOS 9425 HAS SOPS 9425 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4490.425
AT ITER 4347 NEW BEST:: SOT 20530 SOS 9423 HAS SOPS 9423 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4488.423
AT ITER 4491 NEW BEST:: SOT 20530 SOS 9422 HAS SOPS 9422 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4487.422
AT ITER 4521 NEW BEST:: SOT 20530 SOS 9421 HAS SOPS 9421 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4486.421
AT ITER 4573 NEW BEST:: SOT 20530 SOS 9419 HAS SOPS 9419 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4484.419
AT ITER 4618 NEW BEST:: SOT 20563 SOS 9436 HAS SOPS 9436 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4468.436
AT ITER 4657 NEW BEST:: SOT 20570 SOS 9440 HAS SOPS 9440 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4465.44
AT ITER 4693 NEW BEST:: SOT 20590 SOS 9449 HAS SOPS 9449 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4463.449
AT ITER 4696 NEW BEST:: SOT 20590 SOS 9444 HAS SOPS 9444 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4458.444
AT ITER 4842 NEW BEST:: SOT 20593 SOS 9445 HAS SOPS 9445 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4457.445
AT ITER 4944 NEW BEST:: SOT 20591 SOS 9444 HAS SOPS 9444 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4457.444
AT ITER 4999 NEW BEST:: SOT 20580 SOS 9433 HAS SOPS 9433 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4457.433
AT ITER 5178 NEW BEST:: SOT 20577 SOS 9430 HAS SOPS 9430 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4454.43
AT ITER 5192 NEW BEST:: SOT 20577 SOS 9427 HAS SOPS 9427 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4451.427
AT ITER 5211 NEW BEST:: SOT 20632 SOS 9453 HAS SOPS 9453 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4448.453
AT ITER 5281 NEW BEST:: SOT 20622 SOS 9448 HAS SOPS 9448 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4448.448
AT ITER 5285 NEW BEST:: SOT 20589 SOS 9415 HAS SOPS 9415 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4415.415
AT ITER 5322 NEW BEST:: SOT 20585 SOS 9411 HAS SOPS 9411 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4415.411
AT ITER 5351 NEW BEST:: SOT 20585 SOS 9407 HAS SOPS 9407 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4411.407
AT ITER 5414 NEW BEST:: SOT 20585 SOS 9405 HAS SOPS 9405 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4409.405
AT ITER 5487 NEW BEST:: SOT 20650 SOS 9436 HAS SOPS 9436 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4405.436
AT ITER 5498 NEW BEST:: SOT 20646 SOS 9433 HAS SOPS 9433 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4405.433
AT ITER 5526 NEW BEST:: SOT 20646 SOS 9412 HAS SOPS 9412 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4384.412
AT ITER 5595 NEW BEST:: SOT 20646 SOS 9411 HAS SOPS 9411 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4383.411
AT ITER 5668 NEW BEST:: SOT 20643 SOS 9408 HAS SOPS 9408 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4380.408
AT ITER 5954 NEW BEST:: SOT 20643 SOS 9400 HAS SOPS 9400 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4372.4
AT ITER 5988 NEW BEST:: SOT 20650 SOS 9387 HAS SOPS 9387 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4359.387
AT ITER 6091 NEW BEST:: SOT 20644 SOS 9384 HAS SOPS 9384 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4359.384
AT ITER 6100 NEW BEST:: SOT 20671 SOS 9407 HAS SOPS 9407 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4355.407
AT ITER 6209 NEW BEST:: SOT 20667 SOS 9406 HAS SOPS 9406 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4354.406
AT ITER 6262 NEW BEST:: SOT 20646 SOS 9370 HAS SOPS 9370 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4339.37
AT ITER 6317 NEW BEST:: SOT 20666 SOS 9370 HAS SOPS 9370 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4325.37
AT ITER 6390 NEW BEST:: SOT 20632 SOS 9352 HAS SOPS 9352 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4324.352
AT ITER 6426 NEW BEST:: SOT 20625 SOS 9345 HAS SOPS 9345 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4317.345
AT ITER 6469 NEW BEST:: SOT 20623 SOS 9344 HAS SOPS 9344 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4317.344
AT ITER 6598 NEW BEST:: SOT 20623 SOS 9341 HAS SOPS 9341 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4314.341
AT ITER 6643 NEW BEST:: SOT 20649 SOS 9352 HAS SOPS 9352 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4310.352
AT ITER 6661 NEW BEST:: SOT 20647 SOS 9350 HAS SOPS 9350 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4308.35
AT ITER 6693 NEW BEST:: SOT 20647 SOS 9349 HAS SOPS 9349 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4307.349
AT ITER 6822 NEW BEST:: SOT 20647 SOS 9348 HAS SOPS 9348 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4306.348
AT ITER 6852 NEW BEST:: SOT 20709 SOS 9399 HAS SOPS 9399 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4295.399
AT ITER 6934 NEW BEST:: SOT 20715 SOS 9394 HAS SOPS 9394 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4290.394
AT ITER 6943 NEW BEST:: SOT 20703 SOS 9388 HAS SOPS 9388 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4290.388
AT ITER 6952 NEW BEST:: SOT 20701 SOS 9387 HAS SOPS 9387 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4290.387
AT ITER 6958 NEW BEST:: SOT 20697 SOS 9385 HAS SOPS 9385 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4290.385
AT ITER 7158 NEW BEST:: SOT 20697 SOS 9384 HAS SOPS 9384 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4289.384
AT ITER 7161 NEW BEST:: SOT 20679 SOS 9371 HAS SOPS 9371 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4285.371
AT ITER 7165 NEW BEST:: SOT 20703 SOS 9386 HAS SOPS 9386 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4276.386
AT ITER 7194 NEW BEST:: SOT 20707 SOS 9374 HAS SOPS 9374 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4276.374
AT ITER 7208 NEW BEST:: SOT 20705 SOS 9373 HAS SOPS 9373 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4276.373
AT ITER 7232 NEW BEST:: SOT 20697 SOS 9365 HAS SOPS 9365 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4272.365
AT ITER 7322 NEW BEST:: SOT 20697 SOS 9357 HAS SOPS 9357 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4264.357
AT ITER 7441 NEW BEST:: SOT 20719 SOS 9349 HAS SOPS 9349 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4256.349
AT ITER 7514 NEW BEST:: SOT 20715 SOS 9347 HAS SOPS 9347 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4256.347
AT ITER 7703 NEW BEST:: SOT 20715 SOS 9340 HAS SOPS 9340 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4249.34
AT ITER 7719 NEW BEST:: SOT 20714 SOS 9339 HAS SOPS 9339 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4248.339
AT ITER 7734 NEW BEST:: SOT 20714 SOS 9333 HAS SOPS 9333 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4242.333
AT ITER 7756 NEW BEST:: SOT 20690 SOS 9316 HAS SOPS 9316 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4237.316
AT ITER 7791 NEW BEST:: SOT 20691 SOS 9310 HAS SOPS 9310 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4231.31
AT ITER 7846 NEW BEST:: SOT 20684 SOS 9303 HAS SOPS 9303 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4229.303
AT ITER 7980 NEW BEST:: SOT 20698 SOS 9310 HAS SOPS 9310 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4222.31
AT ITER 8008 NEW BEST:: SOT 20695 SOS 9288 HAS SOPS 9288 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4200.288
AT ITER 8014 NEW BEST:: SOT 20695 SOS 9286 HAS SOPS 9286 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4198.286
AT ITER 8015 NEW BEST:: SOT 20707 SOS 9256 HAS SOPS 9256 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4168.256
AT ITER 8084 NEW BEST:: SOT 20707 SOS 9255 HAS SOPS 9255 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4167.255
AT ITER 8145 NEW BEST:: SOT 20692 SOS 9240 HAS SOPS 9240 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4167.24
AT ITER 8168 NEW BEST:: SOT 20692 SOS 9239 HAS SOPS 9239 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4166.239
AT ITER 8178 NEW BEST:: SOT 20703 SOS 9250 HAS SOPS 9250 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4163.25
AT ITER 8301 NEW BEST:: SOT 20703 SOS 9249 HAS SOPS 9249 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4162.249
AT ITER 8318 NEW BEST:: SOT 20703 SOS 9247 HAS SOPS 9247 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4160.247
AT ITER 8414 NEW BEST:: SOT 20703 SOS 9244 HAS SOPS 9244 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4157.244
AT ITER 8595 NEW BEST:: SOT 20701 SOS 9242 HAS SOPS 9242 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4155.242
AT ITER 8682 NEW BEST:: SOT 20737 SOS 9278 HAS SOPS 9278 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4151.278
AT ITER 8706 NEW BEST:: SOT 20746 SOS 9280 HAS SOPS 9280 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4144.28
AT ITER 8815 NEW BEST:: SOT 20746 SOS 9278 HAS SOPS 9278 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4142.278
AT ITER 8839 NEW BEST:: SOT 20745 SOS 9277 HAS SOPS 9277 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4141.277
AT ITER 8926 NEW BEST:: SOT 20745 SOS 9276 HAS SOPS 9276 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4140.276
AT ITER 8999 NEW BEST:: SOT 20745 SOS 9274 HAS SOPS 9274 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4138.274
AT ITER 9234 NEW BEST:: SOT 20762 SOS 9282 HAS SOPS 9282 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4137.282
AT ITER 9243 NEW BEST:: SOT 20758 SOS 9278 HAS SOPS 9278 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4133.278
AT ITER 9291 NEW BEST:: SOT 20758 SOS 9270 HAS SOPS 9270 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4125.27
AT ITER 9361 NEW BEST:: SOT 20799 SOS 9304 HAS SOPS 9304 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4123.304
AT ITER 9568 NEW BEST:: SOT 20799 SOS 9291 HAS SOPS 9291 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4110.291
AT ITER 9597 NEW BEST:: SOT 20798 SOS 9290 HAS SOPS 9290 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4109.29
AT ITER 9614 NEW BEST:: SOT 20802 SOS 9290 HAS SOPS 9290 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4105.29
AT ITER 9711 NEW BEST:: SOT 20802 SOS 9288 HAS SOPS 9288 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4103.288
AT ITER 9712 NEW BEST:: SOT 20798 SOS 9284 HAS SOPS 9284 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4101.284
AT ITER 9918 NEW BEST:: SOT 20814 SOS 9288 HAS SOPS 9288 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4089.288
AT ITER 9962 NEW BEST:: SOT 20863 SOS 9305 HAS SOPS 9305 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4074.305
STATE_SPACE STATES 2271960 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 3 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 74 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 16007988 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678821547255

--------------------
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="QuasiCertifProtocol-PT-06"
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 QuasiCertifProtocol-PT-06, 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-167873943500872"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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