Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250600504.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ParamProductionCell-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250600504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 4.3K Apr 13 14:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 13 14:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 13 14:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 13 14:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Apr 13 12:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 13 12:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 13 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 13 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 13 14:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 13 14:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 13 14:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 13 14:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 174K Mar 24 05:37 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 1589644872459

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 231 places, 202 transitions, 846 arcs.
AT ITER 0 NEW BEST:: SOT 27791 SOS 6064 HAS SOPS 5679 HAS SOUS 5557 HAS SOUPS 5282 WITH SCORE 5288.064
AT ITER 4 NEW BEST:: SOT 27791 SOS 6062 HAS SOPS 5677 HAS SOUS 5555 HAS SOUPS 5280 WITH SCORE 5286.062
AT ITER 22 NEW BEST:: SOT 27770 SOS 6027 HAS SOPS 5621 HAS SOUS 5518 HAS SOUPS 5224 WITH SCORE 5230.027
AT ITER 43 NEW BEST:: SOT 27770 SOS 6026 HAS SOPS 5620 HAS SOUS 5517 HAS SOUPS 5223 WITH SCORE 5229.026
AT ITER 83 NEW BEST:: SOT 27765 SOS 6024 HAS SOPS 5614 HAS SOUS 5515 HAS SOUPS 5217 WITH SCORE 5223.024
AT ITER 98 NEW BEST:: SOT 27757 SOS 5982 HAS SOPS 5608 HAS SOUS 5490 HAS SOUPS 5205 WITH SCORE 5210.982
AT ITER 113 NEW BEST:: SOT 27728 SOS 5968 HAS SOPS 5594 HAS SOUS 5476 HAS SOUPS 5191 WITH SCORE 5196.968
AT ITER 120 NEW BEST:: SOT 27707 SOS 5929 HAS SOPS 5534 HAS SOUS 5437 HAS SOUPS 5131 WITH SCORE 5136.929
AT ITER 154 NEW BEST:: SOT 27707 SOS 5928 HAS SOPS 5533 HAS SOUS 5436 HAS SOUPS 5130 WITH SCORE 5135.928
AT ITER 157 NEW BEST:: SOT 27707 SOS 5923 HAS SOPS 5528 HAS SOUS 5431 HAS SOUPS 5125 WITH SCORE 5130.923
AT ITER 163 NEW BEST:: SOT 27703 SOS 5915 HAS SOPS 5516 HAS SOUS 5403 HAS SOUPS 5113 WITH SCORE 5118.915
AT ITER 190 NEW BEST:: SOT 27699 SOS 5907 HAS SOPS 5508 HAS SOUS 5395 HAS SOUPS 5105 WITH SCORE 5110.907
AT ITER 200 NEW BEST:: SOT 27692 SOS 5910 HAS SOPS 5499 HAS SOUS 5398 HAS SOUPS 5096 WITH SCORE 5101.91
AT ITER 211 NEW BEST:: SOT 27725 SOS 5889 HAS SOPS 5433 HAS SOUS 5410 HAS SOUPS 5079 WITH SCORE 5084.889
AT ITER 292 NEW BEST:: SOT 27725 SOS 5837 HAS SOPS 5401 HAS SOUS 5331 HAS SOUPS 4996 WITH SCORE 5001.837
AT ITER 367 NEW BEST:: SOT 27726 SOS 5842 HAS SOPS 5397 HAS SOUS 5336 HAS SOUPS 4992 WITH SCORE 4997.842
AT ITER 373 NEW BEST:: SOT 27708 SOS 5839 HAS SOPS 5388 HAS SOUS 5304 HAS SOUPS 4960 WITH SCORE 4965.839
AT ITER 400 NEW BEST:: SOT 27690 SOS 5808 HAS SOPS 5352 HAS SOUS 5264 HAS SOUPS 4920 WITH SCORE 4925.808
AT ITER 410 NEW BEST:: SOT 27683 SOS 5808 HAS SOPS 5342 HAS SOUS 5264 HAS SOUPS 4910 WITH SCORE 4915.808
AT ITER 441 NEW BEST:: SOT 27683 SOS 5807 HAS SOPS 5340 HAS SOUS 5263 HAS SOUPS 4908 WITH SCORE 4913.807
AT ITER 469 NEW BEST:: SOT 27675 SOS 5803 HAS SOPS 5336 HAS SOUS 5259 HAS SOUPS 4904 WITH SCORE 4909.803
AT ITER 483 NEW BEST:: SOT 27672 SOS 5797 HAS SOPS 5330 HAS SOUS 5253 HAS SOUPS 4898 WITH SCORE 4903.797
AT ITER 485 NEW BEST:: SOT 27627 SOS 5765 HAS SOPS 5274 HAS SOUS 5221 HAS SOUPS 4842 WITH SCORE 4847.765
AT ITER 530 NEW BEST:: SOT 27622 SOS 5756 HAS SOPS 5265 HAS SOUS 5212 HAS SOUPS 4833 WITH SCORE 4838.756
AT ITER 544 NEW BEST:: SOT 27603 SOS 5719 HAS SOPS 5227 HAS SOUS 5166 HAS SOUPS 4787 WITH SCORE 4792.719
AT ITER 552 NEW BEST:: SOT 27603 SOS 5719 HAS SOPS 5227 HAS SOUS 5165 HAS SOUPS 4786 WITH SCORE 4791.719
AT ITER 614 NEW BEST:: SOT 27604 SOS 5720 HAS SOPS 5221 HAS SOUS 5167 HAS SOUPS 4784 WITH SCORE 4789.72
AT ITER 622 NEW BEST:: SOT 27599 SOS 5713 HAS SOPS 5209 HAS SOUS 5162 HAS SOUPS 4775 WITH SCORE 4780.713
AT ITER 643 NEW BEST:: SOT 27596 SOS 5686 HAS SOPS 5192 HAS SOUS 5148 HAS SOUPS 4772 WITH SCORE 4777.686
AT ITER 644 NEW BEST:: SOT 27582 SOS 5669 HAS SOPS 5175 HAS SOUS 5127 HAS SOUPS 4751 WITH SCORE 4756.669
AT ITER 646 NEW BEST:: SOT 27557 SOS 5660 HAS SOPS 5166 HAS SOUS 5110 HAS SOUPS 4734 WITH SCORE 4739.66
AT ITER 683 NEW BEST:: SOT 27554 SOS 5672 HAS SOPS 5155 HAS SOUS 5118 HAS SOUPS 4719 WITH SCORE 4724.672
AT ITER 691 NEW BEST:: SOT 27545 SOS 5658 HAS SOPS 5118 HAS SOUS 5098 HAS SOUPS 4682 WITH SCORE 4687.658
AT ITER 706 NEW BEST:: SOT 27545 SOS 5655 HAS SOPS 5115 HAS SOUS 5095 HAS SOUPS 4679 WITH SCORE 4684.655
AT ITER 761 NEW BEST:: SOT 27545 SOS 5651 HAS SOPS 5115 HAS SOUS 5091 HAS SOUPS 4679 WITH SCORE 4684.651
AT ITER 797 NEW BEST:: SOT 27548 SOS 5642 HAS SOPS 5098 HAS SOUS 5083 HAS SOUPS 4663 WITH SCORE 4668.642
AT ITER 816 NEW BEST:: SOT 27543 SOS 5636 HAS SOPS 5092 HAS SOUS 5077 HAS SOUPS 4657 WITH SCORE 4662.636
AT ITER 824 NEW BEST:: SOT 27542 SOS 5634 HAS SOPS 5090 HAS SOUS 5075 HAS SOUPS 4655 WITH SCORE 4660.634
AT ITER 825 NEW BEST:: SOT 27527 SOS 5595 HAS SOPS 5051 HAS SOUS 5036 HAS SOUPS 4616 WITH SCORE 4621.595
AT ITER 839 NEW BEST:: SOT 27523 SOS 5591 HAS SOPS 5047 HAS SOUS 5032 HAS SOUPS 4612 WITH SCORE 4617.591
AT ITER 895 NEW BEST:: SOT 27516 SOS 5584 HAS SOPS 5040 HAS SOUS 5025 HAS SOUPS 4605 WITH SCORE 4610.584
AT ITER 915 NEW BEST:: SOT 27506 SOS 5569 HAS SOPS 5015 HAS SOUS 5010 HAS SOUPS 4580 WITH SCORE 4585.569
AT ITER 917 NEW BEST:: SOT 27494 SOS 5542 HAS SOPS 5004 HAS SOUS 4983 HAS SOUPS 4569 WITH SCORE 4574.542
AT ITER 928 NEW BEST:: SOT 27478 SOS 5551 HAS SOPS 4986 HAS SOUS 4992 HAS SOUPS 4551 WITH SCORE 4556.551
AT ITER 933 NEW BEST:: SOT 27474 SOS 5549 HAS SOPS 4984 HAS SOUS 4988 HAS SOUPS 4547 WITH SCORE 4552.549
AT ITER 982 NEW BEST:: SOT 27473 SOS 5548 HAS SOPS 4989 HAS SOUS 4987 HAS SOUPS 4546 WITH SCORE 4551.548
AT ITER 1015 NEW BEST:: SOT 27462 SOS 5541 HAS SOPS 4959 HAS SOUS 4960 HAS SOUPS 4517 WITH SCORE 4522.541
AT ITER 1044 NEW BEST:: SOT 27469 SOS 5534 HAS SOPS 4952 HAS SOUS 4952 HAS SOUPS 4509 WITH SCORE 4514.534
AT ITER 1053 NEW BEST:: SOT 27457 SOS 5524 HAS SOPS 4948 HAS SOUS 4946 HAS SOUPS 4509 WITH SCORE 4514.524
AT ITER 1063 NEW BEST:: SOT 27452 SOS 5506 HAS SOPS 4943 HAS SOUS 4928 HAS SOUPS 4504 WITH SCORE 4509.506
AT ITER 1066 NEW BEST:: SOT 27450 SOS 5500 HAS SOPS 4939 HAS SOUS 4922 HAS SOUPS 4500 WITH SCORE 4505.5
AT ITER 1113 NEW BEST:: SOT 27447 SOS 5477 HAS SOPS 4916 HAS SOUS 4910 HAS SOUPS 4488 WITH SCORE 4493.477
AT ITER 1135 NEW BEST:: SOT 27434 SOS 5464 HAS SOPS 4903 HAS SOUS 4897 HAS SOUPS 4475 WITH SCORE 4480.464
AT ITER 1167 NEW BEST:: SOT 27441 SOS 5457 HAS SOPS 4894 HAS SOUS 4884 HAS SOUPS 4462 WITH SCORE 4467.457
AT ITER 1186 NEW BEST:: SOT 27443 SOS 5456 HAS SOPS 4893 HAS SOUS 4883 HAS SOUPS 4461 WITH SCORE 4466.456
AT ITER 1189 NEW BEST:: SOT 27433 SOS 5430 HAS SOPS 4867 HAS SOUS 4849 HAS SOUPS 4427 WITH SCORE 4432.43
AT ITER 1203 NEW BEST:: SOT 27382 SOS 5539 HAS SOPS 4966 HAS SOUS 4851 HAS SOUPS 4419 WITH SCORE 4424.539
AT ITER 1213 NEW BEST:: SOT 27414 SOS 5457 HAS SOPS 4928 HAS SOUS 4819 HAS SOUPS 4388 WITH SCORE 4393.457
AT ITER 1264 NEW BEST:: SOT 27407 SOS 5450 HAS SOPS 4925 HAS SOUS 4812 HAS SOUPS 4385 WITH SCORE 4390.45
AT ITER 1270 NEW BEST:: SOT 27399 SOS 5442 HAS SOPS 4921 HAS SOUS 4798 HAS SOUPS 4375 WITH SCORE 4380.442
AT ITER 1276 NEW BEST:: SOT 27412 SOS 5385 HAS SOPS 4862 HAS SOUS 4781 HAS SOUPS 4349 WITH SCORE 4354.385
AT ITER 1298 NEW BEST:: SOT 27411 SOS 5383 HAS SOPS 4860 HAS SOUS 4779 HAS SOUPS 4347 WITH SCORE 4352.383
AT ITER 1307 NEW BEST:: SOT 27398 SOS 5357 HAS SOPS 4834 HAS SOUS 4748 HAS SOUPS 4321 WITH SCORE 4326.357
AT ITER 1380 NEW BEST:: SOT 27277 SOS 5248 HAS SOPS 4720 HAS SOUS 4633 HAS SOUPS 4201 WITH SCORE 4206.248
AT ITER 1392 NEW BEST:: SOT 27278 SOS 5172 HAS SOPS 4676 HAS SOUS 4608 HAS SOUPS 4185 WITH SCORE 4190.172
AT ITER 1470 NEW BEST:: SOT 27268 SOS 5162 HAS SOPS 4666 HAS SOUS 4598 HAS SOUPS 4175 WITH SCORE 4180.162
AT ITER 1477 NEW BEST:: SOT 27260 SOS 5160 HAS SOPS 4664 HAS SOUS 4594 HAS SOUPS 4171 WITH SCORE 4176.16
AT ITER 1482 NEW BEST:: SOT 27259 SOS 5159 HAS SOPS 4663 HAS SOUS 4592 HAS SOUPS 4169 WITH SCORE 4174.159
AT ITER 1517 NEW BEST:: SOT 27256 SOS 5156 HAS SOPS 4660 HAS SOUS 4589 HAS SOUPS 4166 WITH SCORE 4171.156
AT ITER 1526 NEW BEST:: SOT 27256 SOS 5152 HAS SOPS 4656 HAS SOUS 4585 HAS SOUPS 4162 WITH SCORE 4167.152
AT ITER 1563 NEW BEST:: SOT 27254 SOS 5149 HAS SOPS 4652 HAS SOUS 4582 HAS SOUPS 4158 WITH SCORE 4163.149
AT ITER 1570 NEW BEST:: SOT 27252 SOS 5145 HAS SOPS 4648 HAS SOUS 4578 HAS SOUPS 4154 WITH SCORE 4159.145
AT ITER 1579 NEW BEST:: SOT 27239 SOS 5132 HAS SOPS 4641 HAS SOUS 4570 HAS SOUPS 4147 WITH SCORE 4152.132
AT ITER 1582 NEW BEST:: SOT 27234 SOS 5127 HAS SOPS 4636 HAS SOUS 4560 HAS SOUPS 4137 WITH SCORE 4142.127
AT ITER 1649 NEW BEST:: SOT 27235 SOS 5120 HAS SOPS 4630 HAS SOUS 4553 HAS SOUPS 4131 WITH SCORE 4136.12
AT ITER 1678 NEW BEST:: SOT 27235 SOS 5118 HAS SOPS 4628 HAS SOUS 4551 HAS SOUPS 4129 WITH SCORE 4134.118
AT ITER 1742 NEW BEST:: SOT 27214 SOS 5116 HAS SOPS 4626 HAS SOUS 4540 HAS SOUPS 4118 WITH SCORE 4123.116
AT ITER 1768 NEW BEST:: SOT 27211 SOS 5113 HAS SOPS 4620 HAS SOUS 4531 HAS SOUPS 4109 WITH SCORE 4114.113
AT ITER 1805 NEW BEST:: SOT 27211 SOS 5100 HAS SOPS 4613 HAS SOUS 4522 HAS SOUPS 4104 WITH SCORE 4109.1
AT ITER 1809 NEW BEST:: SOT 27207 SOS 5092 HAS SOPS 4605 HAS SOUS 4514 HAS SOUPS 4096 WITH SCORE 4101.092
AT ITER 1851 NEW BEST:: SOT 27207 SOS 5087 HAS SOPS 4605 HAS SOUS 4509 HAS SOUPS 4096 WITH SCORE 4101.087
AT ITER 1863 NEW BEST:: SOT 27207 SOS 5086 HAS SOPS 4604 HAS SOUS 4505 HAS SOUPS 4092 WITH SCORE 4097.086
AT ITER 1907 NEW BEST:: SOT 27202 SOS 5080 HAS SOPS 4598 HAS SOUS 4499 HAS SOUPS 4086 WITH SCORE 4091.08
AT ITER 1927 NEW BEST:: SOT 27190 SOS 5085 HAS SOPS 4603 HAS SOUS 4492 HAS SOUPS 4079 WITH SCORE 4084.085
AT ITER 2020 NEW BEST:: SOT 27188 SOS 5082 HAS SOPS 4600 HAS SOUS 4489 HAS SOUPS 4076 WITH SCORE 4081.082
AT ITER 2023 NEW BEST:: SOT 27169 SOS 5018 HAS SOPS 4549 HAS SOUS 4417 HAS SOUPS 4023 WITH SCORE 4028.018
AT ITER 2095 NEW BEST:: SOT 27164 SOS 5003 HAS SOPS 4534 HAS SOUS 4402 HAS SOUPS 4008 WITH SCORE 4013.003
AT ITER 2124 NEW BEST:: SOT 27164 SOS 5003 HAS SOPS 4530 HAS SOUS 4402 HAS SOUPS 4004 WITH SCORE 4009.003
AT ITER 2125 NEW BEST:: SOT 27164 SOS 5003 HAS SOPS 4530 HAS SOUS 4399 HAS SOUPS 4001 WITH SCORE 4006.003
AT ITER 2155 NEW BEST:: SOT 27157 SOS 5004 HAS SOPS 4531 HAS SOUS 4392 HAS SOUPS 3994 WITH SCORE 3999.004
AT ITER 2156 NEW BEST:: SOT 27141 SOS 5006 HAS SOPS 4533 HAS SOUS 4386 HAS SOUPS 3988 WITH SCORE 3993.006
AT ITER 2181 NEW BEST:: SOT 27140 SOS 5005 HAS SOPS 4522 HAS SOUS 4389 HAS SOUPS 3981 WITH SCORE 3986.005
AT ITER 2195 NEW BEST:: SOT 27138 SOS 5000 HAS SOPS 4520 HAS SOUS 4385 HAS SOUPS 3980 WITH SCORE 3985.0
AT ITER 2219 NEW BEST:: SOT 27128 SOS 4994 HAS SOPS 4513 HAS SOUS 4378 HAS SOUPS 3971 WITH SCORE 3975.994
AT ITER 2247 NEW BEST:: SOT 27128 SOS 4985 HAS SOPS 4504 HAS SOUS 4372 HAS SOUPS 3965 WITH SCORE 3969.985
AT ITER 2344 NEW BEST:: SOT 27135 SOS 4992 HAS SOPS 4502 HAS SOUS 4379 HAS SOUPS 3963 WITH SCORE 3967.992
AT ITER 2379 NEW BEST:: SOT 27089 SOS 4991 HAS SOPS 4501 HAS SOUS 4345 HAS SOUPS 3929 WITH SCORE 3933.991
AT ITER 2423 NEW BEST:: SOT 27089 SOS 4984 HAS SOPS 4494 HAS SOUS 4338 HAS SOUPS 3922 WITH SCORE 3926.984
AT ITER 2437 NEW BEST:: SOT 27071 SOS 4989 HAS SOPS 4507 HAS SOUS 4330 HAS SOUPS 3914 WITH SCORE 3918.989
AT ITER 2500 NEW BEST:: SOT 27071 SOS 4988 HAS SOPS 4507 HAS SOUS 4329 HAS SOUPS 3914 WITH SCORE 3918.988
AT ITER 2533 NEW BEST:: SOT 27069 SOS 4986 HAS SOPS 4500 HAS SOUS 4327 HAS SOUPS 3907 WITH SCORE 3911.986
AT ITER 2538 NEW BEST:: SOT 27069 SOS 4983 HAS SOPS 4497 HAS SOUS 4324 HAS SOUPS 3904 WITH SCORE 3908.983
AT ITER 2554 NEW BEST:: SOT 27069 SOS 4977 HAS SOPS 4478 HAS SOUS 4303 HAS SOUPS 3887 WITH SCORE 3891.977
AT ITER 2634 NEW BEST:: SOT 27055 SOS 4963 HAS SOPS 4464 HAS SOUS 4289 HAS SOUPS 3873 WITH SCORE 3877.963
AT ITER 2643 NEW BEST:: SOT 27052 SOS 4953 HAS SOPS 4459 HAS SOUS 4279 HAS SOUPS 3868 WITH SCORE 3872.953
AT ITER 2672 NEW BEST:: SOT 27047 SOS 4915 HAS SOPS 4442 HAS SOUS 4241 HAS SOUPS 3851 WITH SCORE 3855.915
AT ITER 2707 NEW BEST:: SOT 27048 SOS 4864 HAS SOPS 4414 HAS SOUS 4221 HAS SOUPS 3838 WITH SCORE 3842.864
AT ITER 2711 NEW BEST:: SOT 27047 SOS 4863 HAS SOPS 4413 HAS SOUS 4220 HAS SOUPS 3837 WITH SCORE 3841.863
AT ITER 2785 NEW BEST:: SOT 27045 SOS 4861 HAS SOPS 4411 HAS SOUS 4218 HAS SOUPS 3835 WITH SCORE 3839.861
AT ITER 2805 NEW BEST:: SOT 27043 SOS 4859 HAS SOPS 4409 HAS SOUS 4216 HAS SOUPS 3833 WITH SCORE 3837.859
AT ITER 2819 NEW BEST:: SOT 27029 SOS 4839 HAS SOPS 4389 HAS SOUS 4196 HAS SOUPS 3813 WITH SCORE 3817.839
AT ITER 2825 NEW BEST:: SOT 27039 SOS 4849 HAS SOPS 4379 HAS SOUS 4178 HAS SOUPS 3795 WITH SCORE 3799.849
AT ITER 2881 NEW BEST:: SOT 27025 SOS 4822 HAS SOPS 4351 HAS SOUS 4151 HAS SOUPS 3767 WITH SCORE 3771.822
AT ITER 2928 NEW BEST:: SOT 27022 SOS 4809 HAS SOPS 4343 HAS SOUS 4138 HAS SOUPS 3759 WITH SCORE 3763.809
AT ITER 2944 NEW BEST:: SOT 27021 SOS 4808 HAS SOPS 4342 HAS SOUS 4137 HAS SOUPS 3758 WITH SCORE 3762.808
AT ITER 3126 NEW BEST:: SOT 27021 SOS 4806 HAS SOPS 4340 HAS SOUS 4135 HAS SOUPS 3756 WITH SCORE 3760.806
AT ITER 3144 NEW BEST:: SOT 27020 SOS 4804 HAS SOPS 4338 HAS SOUS 4133 HAS SOUPS 3754 WITH SCORE 3758.804
AT ITER 3174 NEW BEST:: SOT 27015 SOS 4789 HAS SOPS 4328 HAS SOUS 4118 HAS SOUPS 3744 WITH SCORE 3748.789
AT ITER 3177 NEW BEST:: SOT 27013 SOS 4787 HAS SOPS 4326 HAS SOUS 4116 HAS SOUPS 3742 WITH SCORE 3746.787
AT ITER 3182 NEW BEST:: SOT 27009 SOS 4779 HAS SOPS 4314 HAS SOUS 4114 HAS SOUPS 3736 WITH SCORE 3740.779
AT ITER 3193 NEW BEST:: SOT 27011 SOS 4776 HAS SOPS 4307 HAS SOUS 4111 HAS SOUPS 3729 WITH SCORE 3733.776
AT ITER 3431 NEW BEST:: SOT 27010 SOS 4775 HAS SOPS 4306 HAS SOUS 4110 HAS SOUPS 3728 WITH SCORE 3732.775
AT ITER 3440 NEW BEST:: SOT 27007 SOS 4770 HAS SOPS 4304 HAS SOUS 4105 HAS SOUPS 3726 WITH SCORE 3730.77
AT ITER 3461 NEW BEST:: SOT 27000 SOS 4760 HAS SOPS 4289 HAS SOUS 4096 HAS SOUPS 3712 WITH SCORE 3716.76
AT ITER 3471 NEW BEST:: SOT 26990 SOS 4711 HAS SOPS 4240 HAS SOUS 4068 HAS SOUPS 3684 WITH SCORE 3688.711
AT ITER 3478 NEW BEST:: SOT 26986 SOS 4711 HAS SOPS 4240 HAS SOUS 4066 HAS SOUPS 3682 WITH SCORE 3686.711
AT ITER 3482 NEW BEST:: SOT 26985 SOS 4712 HAS SOPS 4241 HAS SOUS 4063 HAS SOUPS 3679 WITH SCORE 3683.712
AT ITER 3534 NEW BEST:: SOT 26976 SOS 4607 HAS SOPS 4175 HAS SOUS 4005 HAS SOUPS 3647 WITH SCORE 3651.607
AT ITER 3554 NEW BEST:: SOT 26973 SOS 4605 HAS SOPS 4173 HAS SOUS 4002 HAS SOUPS 3644 WITH SCORE 3648.605
AT ITER 3561 NEW BEST:: SOT 26956 SOS 4553 HAS SOPS 4133 HAS SOUS 3946 HAS SOUPS 3604 WITH SCORE 3608.553
AT ITER 3575 NEW BEST:: SOT 26956 SOS 4541 HAS SOPS 4117 HAS SOUS 3948 HAS SOUPS 3602 WITH SCORE 3606.541
AT ITER 3591 NEW BEST:: SOT 26956 SOS 4542 HAS SOPS 4115 HAS SOUS 3949 HAS SOUPS 3600 WITH SCORE 3604.542
AT ITER 3594 NEW BEST:: SOT 26948 SOS 4526 HAS SOPS 4101 HAS SOUS 3927 HAS SOUPS 3583 WITH SCORE 3587.526
AT ITER 3630 NEW BEST:: SOT 26947 SOS 4525 HAS SOPS 4100 HAS SOUS 3909 HAS SOUPS 3565 WITH SCORE 3569.525
AT ITER 3681 NEW BEST:: SOT 26950 SOS 4526 HAS SOPS 4101 HAS SOUS 3906 HAS SOUPS 3562 WITH SCORE 3566.526
AT ITER 3684 NEW BEST:: SOT 26950 SOS 4517 HAS SOPS 4098 HAS SOUS 3897 HAS SOUPS 3559 WITH SCORE 3563.517
AT ITER 3714 NEW BEST:: SOT 26950 SOS 4495 HAS SOPS 4076 HAS SOUS 3895 HAS SOUPS 3557 WITH SCORE 3561.495
AT ITER 3753 NEW BEST:: SOT 26949 SOS 4495 HAS SOPS 4076 HAS SOUS 3893 HAS SOUPS 3555 WITH SCORE 3559.495
AT ITER 3830 NEW BEST:: SOT 26947 SOS 4489 HAS SOPS 4072 HAS SOUS 3887 HAS SOUPS 3551 WITH SCORE 3555.489
AT ITER 3833 NEW BEST:: SOT 26942 SOS 4484 HAS SOPS 4067 HAS SOUS 3881 HAS SOUPS 3545 WITH SCORE 3549.484
AT ITER 3870 NEW BEST:: SOT 26930 SOS 4472 HAS SOPS 4050 HAS SOUS 3867 HAS SOUPS 3526 WITH SCORE 3530.472
AT ITER 3965 NEW BEST:: SOT 26924 SOS 4462 HAS SOPS 4035 HAS SOUS 3850 HAS SOUPS 3511 WITH SCORE 3515.462
AT ITER 4006 NEW BEST:: SOT 26922 SOS 4460 HAS SOPS 4033 HAS SOUS 3849 HAS SOUPS 3510 WITH SCORE 3514.46
AT ITER 4082 NEW BEST:: SOT 26922 SOS 4460 HAS SOPS 4032 HAS SOUS 3849 HAS SOUPS 3509 WITH SCORE 3513.46
AT ITER 4202 NEW BEST:: SOT 26922 SOS 4438 HAS SOPS 4010 HAS SOUS 3843 HAS SOUPS 3503 WITH SCORE 3507.438
AT ITER 4216 NEW BEST:: SOT 26922 SOS 4430 HAS SOPS 4008 HAS SOUS 3841 HAS SOUPS 3503 WITH SCORE 3507.43
AT ITER 4252 NEW BEST:: SOT 26914 SOS 4422 HAS SOPS 4000 HAS SOUS 3833 HAS SOUPS 3495 WITH SCORE 3499.422
AT ITER 4269 NEW BEST:: SOT 26914 SOS 4419 HAS SOPS 3997 HAS SOUS 3830 HAS SOUPS 3492 WITH SCORE 3496.419
AT ITER 4303 NEW BEST:: SOT 26914 SOS 4423 HAS SOPS 3997 HAS SOUS 3830 HAS SOUPS 3485 WITH SCORE 3489.423
AT ITER 4426 NEW BEST:: SOT 26922 SOS 4460 HAS SOPS 4005 HAS SOUS 3821 HAS SOUPS 3481 WITH SCORE 3485.46
AT ITER 4548 NEW BEST:: SOT 26922 SOS 4459 HAS SOPS 4004 HAS SOUS 3820 HAS SOUPS 3480 WITH SCORE 3484.459
AT ITER 4597 NEW BEST:: SOT 26922 SOS 4457 HAS SOPS 4002 HAS SOUS 3818 HAS SOUPS 3478 WITH SCORE 3482.457
AT ITER 4805 NEW BEST:: SOT 26916 SOS 4449 HAS SOPS 3987 HAS SOUS 3810 HAS SOUPS 3463 WITH SCORE 3467.449
AT ITER 4817 NEW BEST:: SOT 26913 SOS 4443 HAS SOPS 3981 HAS SOUS 3804 HAS SOUPS 3457 WITH SCORE 3461.443
AT ITER 4884 NEW BEST:: SOT 26910 SOS 4438 HAS SOPS 3976 HAS SOUS 3799 HAS SOUPS 3452 WITH SCORE 3456.438
AT ITER 4891 NEW BEST:: SOT 26908 SOS 4436 HAS SOPS 3967 HAS SOUS 3790 HAS SOUPS 3442 WITH SCORE 3446.436
AT ITER 4932 NEW BEST:: SOT 26908 SOS 4427 HAS SOPS 3958 HAS SOUS 3779 HAS SOUPS 3431 WITH SCORE 3435.427
AT ITER 4981 NEW BEST:: SOT 26906 SOS 4426 HAS SOPS 3956 HAS SOUS 3777 HAS SOUPS 3429 WITH SCORE 3433.426
AT ITER 5051 NEW BEST:: SOT 26901 SOS 4425 HAS SOPS 3954 HAS SOUS 3776 HAS SOUPS 3427 WITH SCORE 3431.425
AT ITER 5110 NEW BEST:: SOT 26891 SOS 4423 HAS SOPS 3952 HAS SOUS 3773 HAS SOUPS 3424 WITH SCORE 3428.423
AT ITER 5223 NEW BEST:: SOT 26889 SOS 4419 HAS SOPS 3948 HAS SOUS 3769 HAS SOUPS 3420 WITH SCORE 3424.419
AT ITER 5254 NEW BEST:: SOT 26883 SOS 4409 HAS SOPS 3939 HAS SOUS 3762 HAS SOUPS 3414 WITH SCORE 3418.409
AT ITER 5277 NEW BEST:: SOT 26882 SOS 4406 HAS SOPS 3937 HAS SOUS 3759 HAS SOUPS 3412 WITH SCORE 3416.406
AT ITER 5315 NEW BEST:: SOT 26879 SOS 4403 HAS SOPS 3932 HAS SOUS 3761 HAS SOUPS 3412 WITH SCORE 3416.403
AT ITER 5345 NEW BEST:: SOT 26869 SOS 4399 HAS SOPS 3935 HAS SOUS 3757 HAS SOUPS 3408 WITH SCORE 3412.399
AT ITER 5358 NEW BEST:: SOT 26863 SOS 4393 HAS SOPS 3929 HAS SOUS 3751 HAS SOUPS 3402 WITH SCORE 3406.393
AT ITER 5385 NEW BEST:: SOT 26858 SOS 4351 HAS SOPS 3887 HAS SOUS 3737 HAS SOUPS 3388 WITH SCORE 3392.351
AT ITER 5399 NEW BEST:: SOT 26854 SOS 4342 HAS SOPS 3878 HAS SOUS 3728 HAS SOUPS 3379 WITH SCORE 3383.342
AT ITER 5432 NEW BEST:: SOT 26847 SOS 4331 HAS SOPS 3871 HAS SOUS 3723 HAS SOUPS 3374 WITH SCORE 3378.331
AT ITER 5442 NEW BEST:: SOT 26843 SOS 4327 HAS SOPS 3867 HAS SOUS 3719 HAS SOUPS 3370 WITH SCORE 3374.327
AT ITER 5449 NEW BEST:: SOT 26843 SOS 4309 HAS SOPS 3863 HAS SOUS 3695 HAS SOUPS 3360 WITH SCORE 3364.309
AT ITER 5465 NEW BEST:: SOT 26841 SOS 4307 HAS SOPS 3861 HAS SOUS 3693 HAS SOUPS 3358 WITH SCORE 3362.307
AT ITER 5486 NEW BEST:: SOT 26840 SOS 4303 HAS SOPS 3857 HAS SOUS 3688 HAS SOUPS 3353 WITH SCORE 3357.303
AT ITER 5491 NEW BEST:: SOT 26837 SOS 4296 HAS SOPS 3850 HAS SOUS 3681 HAS SOUPS 3346 WITH SCORE 3350.296
AT ITER 5598 NEW BEST:: SOT 26835 SOS 4294 HAS SOPS 3846 HAS SOUS 3681 HAS SOUPS 3342 WITH SCORE 3346.294
AT ITER 5606 NEW BEST:: SOT 26836 SOS 4297 HAS SOPS 3845 HAS SOUS 3684 HAS SOUPS 3341 WITH SCORE 3345.297
AT ITER 5641 NEW BEST:: SOT 26832 SOS 4302 HAS SOPS 3841 HAS SOUS 3685 HAS SOUPS 3339 WITH SCORE 3343.302
AT ITER 5745 NEW BEST:: SOT 26830 SOS 4296 HAS SOPS 3835 HAS SOUS 3674 HAS SOUPS 3328 WITH SCORE 3332.296
AT ITER 5772 NEW BEST:: SOT 26828 SOS 4294 HAS SOPS 3833 HAS SOUS 3672 HAS SOUPS 3326 WITH SCORE 3330.294
AT ITER 5801 NEW BEST:: SOT 26825 SOS 4291 HAS SOPS 3830 HAS SOUS 3669 HAS SOUPS 3323 WITH SCORE 3327.291
AT ITER 5868 NEW BEST:: SOT 26821 SOS 4284 HAS SOPS 3823 HAS SOUS 3662 HAS SOUPS 3316 WITH SCORE 3320.284
AT ITER 5977 NEW BEST:: SOT 26820 SOS 4282 HAS SOPS 3821 HAS SOUS 3660 HAS SOUPS 3314 WITH SCORE 3318.282
AT ITER 6150 NEW BEST:: SOT 26817 SOS 4282 HAS SOPS 3821 HAS SOUS 3659 HAS SOUPS 3313 WITH SCORE 3317.282
AT ITER 6190 NEW BEST:: SOT 26807 SOS 4272 HAS SOPS 3811 HAS SOUS 3650 HAS SOUPS 3304 WITH SCORE 3308.272
AT ITER 6264 NEW BEST:: SOT 26805 SOS 4270 HAS SOPS 3809 HAS SOUS 3648 HAS SOUPS 3302 WITH SCORE 3306.27
AT ITER 6269 NEW BEST:: SOT 26803 SOS 4268 HAS SOPS 3807 HAS SOUS 3644 HAS SOUPS 3298 WITH SCORE 3302.268
AT ITER 6303 NEW BEST:: SOT 26805 SOS 4265 HAS SOPS 3802 HAS SOUS 3641 HAS SOUPS 3293 WITH SCORE 3297.265
AT ITER 6367 NEW BEST:: SOT 26803 SOS 4263 HAS SOPS 3801 HAS SOUS 3639 HAS SOUPS 3292 WITH SCORE 3296.263
AT ITER 6623 NEW BEST:: SOT 26796 SOS 4256 HAS SOPS 3799 HAS SOUS 3632 HAS SOUPS 3290 WITH SCORE 3294.256
AT ITER 6700 NEW BEST:: SOT 26795 SOS 4251 HAS SOPS 3795 HAS SOUS 3627 HAS SOUPS 3286 WITH SCORE 3290.251
AT ITER 6728 NEW BEST:: SOT 26794 SOS 4250 HAS SOPS 3794 HAS SOUS 3626 HAS SOUPS 3285 WITH SCORE 3289.25
AT ITER 6819 NEW BEST:: SOT 26793 SOS 4249 HAS SOPS 3792 HAS SOUS 3626 HAS SOUPS 3284 WITH SCORE 3288.249
AT ITER 6831 NEW BEST:: SOT 26793 SOS 4249 HAS SOPS 3791 HAS SOUS 3626 HAS SOUPS 3283 WITH SCORE 3287.249
AT ITER 6859 NEW BEST:: SOT 26796 SOS 4252 HAS SOPS 3794 HAS SOUS 3616 HAS SOUPS 3273 WITH SCORE 3277.252
AT ITER 6912 NEW BEST:: SOT 26803 SOS 4259 HAS SOPS 3791 HAS SOUS 3615 HAS SOUPS 3270 WITH SCORE 3274.259
AT ITER 6938 NEW BEST:: SOT 26802 SOS 4257 HAS SOPS 3788 HAS SOUS 3613 HAS SOUPS 3267 WITH SCORE 3271.257
AT ITER 6986 NEW BEST:: SOT 26801 SOS 4256 HAS SOPS 3786 HAS SOUS 3612 HAS SOUPS 3265 WITH SCORE 3269.256
AT ITER 6991 NEW BEST:: SOT 26800 SOS 4255 HAS SOPS 3785 HAS SOUS 3611 HAS SOUPS 3264 WITH SCORE 3268.255
AT ITER 7043 NEW BEST:: SOT 26796 SOS 4253 HAS SOPS 3783 HAS SOUS 3609 HAS SOUPS 3262 WITH SCORE 3266.253
AT ITER 7137 NEW BEST:: SOT 26789 SOS 4246 HAS SOPS 3776 HAS SOUS 3595 HAS SOUPS 3248 WITH SCORE 3252.246
AT ITER 7225 NEW BEST:: SOT 26788 SOS 4245 HAS SOPS 3774 HAS SOUS 3591 HAS SOUPS 3243 WITH SCORE 3247.245
AT ITER 7228 NEW BEST:: SOT 26786 SOS 4243 HAS SOPS 3774 HAS SOUS 3591 HAS SOUPS 3243 WITH SCORE 3247.243
AT ITER 7277 NEW BEST:: SOT 26795 SOS 4260 HAS SOPS 3776 HAS SOUS 3593 HAS SOUPS 3240 WITH SCORE 3244.26
AT ITER 7415 NEW BEST:: SOT 26798 SOS 4263 HAS SOPS 3779 HAS SOUS 3592 HAS SOUPS 3239 WITH SCORE 3243.263
AT ITER 7457 NEW BEST:: SOT 26796 SOS 4266 HAS SOPS 3780 HAS SOUS 3588 HAS SOUPS 3233 WITH SCORE 3237.266
AT ITER 7598 NEW BEST:: SOT 26793 SOS 4263 HAS SOPS 3777 HAS SOUS 3585 HAS SOUPS 3230 WITH SCORE 3234.263
AT ITER 7753 NEW BEST:: SOT 26808 SOS 4278 HAS SOPS 3765 HAS SOUS 3586 HAS SOUPS 3222 WITH SCORE 3226.278
AT ITER 7880 NEW BEST:: SOT 26807 SOS 4277 HAS SOPS 3765 HAS SOUS 3585 HAS SOUPS 3222 WITH SCORE 3226.277
AT ITER 7882 NEW BEST:: SOT 26807 SOS 4248 HAS SOPS 3736 HAS SOUS 3584 HAS SOUPS 3221 WITH SCORE 3225.248
AT ITER 7967 NEW BEST:: SOT 26803 SOS 4252 HAS SOPS 3740 HAS SOUS 3583 HAS SOUPS 3220 WITH SCORE 3224.252
AT ITER 8058 NEW BEST:: SOT 26805 SOS 4254 HAS SOPS 3742 HAS SOUS 3582 HAS SOUPS 3219 WITH SCORE 3223.254
AT ITER 8111 NEW BEST:: SOT 26805 SOS 4254 HAS SOPS 3740 HAS SOUS 3582 HAS SOUPS 3217 WITH SCORE 3221.254
AT ITER 8211 NEW BEST:: SOT 26790 SOS 4172 HAS SOPS 3702 HAS SOUS 3556 HAS SOUPS 3205 WITH SCORE 3209.172
AT ITER 8312 NEW BEST:: SOT 26786 SOS 4162 HAS SOPS 3697 HAS SOUS 3546 HAS SOUPS 3200 WITH SCORE 3204.162
AT ITER 8530 NEW BEST:: SOT 26788 SOS 4164 HAS SOPS 3699 HAS SOUS 3541 HAS SOUPS 3195 WITH SCORE 3199.164
AT ITER 8609 NEW BEST:: SOT 26786 SOS 4161 HAS SOPS 3696 HAS SOUS 3538 HAS SOUPS 3192 WITH SCORE 3196.161
AT ITER 8611 NEW BEST:: SOT 26786 SOS 4159 HAS SOPS 3694 HAS SOUS 3537 HAS SOUPS 3191 WITH SCORE 3195.159
AT ITER 8717 NEW BEST:: SOT 26784 SOS 4155 HAS SOPS 3690 HAS SOUS 3533 HAS SOUPS 3187 WITH SCORE 3191.155
AT ITER 8763 NEW BEST:: SOT 26782 SOS 4153 HAS SOPS 3688 HAS SOUS 3531 HAS SOUPS 3185 WITH SCORE 3189.153
AT ITER 8853 NEW BEST:: SOT 26775 SOS 4166 HAS SOPS 3701 HAS SOUS 3527 HAS SOUPS 3181 WITH SCORE 3185.166
AT ITER 8941 NEW BEST:: SOT 26774 SOS 4166 HAS SOPS 3699 HAS SOUS 3527 HAS SOUPS 3179 WITH SCORE 3183.166
AT ITER 8972 NEW BEST:: SOT 26774 SOS 4169 HAS SOPS 3698 HAS SOUS 3530 HAS SOUPS 3178 WITH SCORE 3182.169
AT ITER 9016 NEW BEST:: SOT 26774 SOS 4168 HAS SOPS 3697 HAS SOUS 3529 HAS SOUPS 3177 WITH SCORE 3181.168
AT ITER 9107 NEW BEST:: SOT 26768 SOS 4162 HAS SOPS 3687 HAS SOUS 3522 HAS SOUPS 3166 WITH SCORE 3170.162
AT ITER 9133 NEW BEST:: SOT 26771 SOS 4157 HAS SOPS 3682 HAS SOUS 3521 HAS SOUPS 3165 WITH SCORE 3169.157
AT ITER 9289 NEW BEST:: SOT 26762 SOS 4190 HAS SOPS 3715 HAS SOUS 3512 HAS SOUPS 3156 WITH SCORE 3160.19
AT ITER 9368 NEW BEST:: SOT 26752 SOS 4205 HAS SOPS 3730 HAS SOUS 3505 HAS SOUPS 3149 WITH SCORE 3153.205
AT ITER 9429 NEW BEST:: SOT 26749 SOS 4199 HAS SOPS 3727 HAS SOUS 3499 HAS SOUPS 3146 WITH SCORE 3150.199
AT ITER 9467 NEW BEST:: SOT 26747 SOS 4202 HAS SOPS 3727 HAS SOUS 3496 HAS SOUPS 3143 WITH SCORE 3147.202
AT ITER 9558 NEW BEST:: SOT 26747 SOS 4202 HAS SOPS 3727 HAS SOUS 3494 HAS SOUPS 3141 WITH SCORE 3145.202
AT ITER 9754 NEW BEST:: SOT 26746 SOS 4200 HAS SOPS 3725 HAS SOUS 3492 HAS SOUPS 3139 WITH SCORE 3143.2
STATE_SPACE STATES 2409739 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 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9827662 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589644882702

--------------------
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="ParamProductionCell-PT-4"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is ParamProductionCell-PT-4, 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 r108-csrt-158961250600504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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