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-158961250600488.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-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250600488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 356K
-rw-r--r-- 1 mcc users 4.3K Apr 13 14:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 13 14:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 13 14:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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 4.4K Apr 13 12:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K 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.7K Apr 13 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 13 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 13 14:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 13 14:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K 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 1589644754476

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 2
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 27793 SOS 6071 HAS SOPS 5686 HAS SOUS 5564 HAS SOUPS 5289 WITH SCORE 5295.071
AT ITER 41 NEW BEST:: SOT 27570 SOS 5949 HAS SOPS 5535 HAS SOUS 5362 HAS SOUPS 5059 WITH SCORE 5064.949
AT ITER 44 NEW BEST:: SOT 27565 SOS 5932 HAS SOPS 5533 HAS SOUS 5337 HAS SOUPS 5039 WITH SCORE 5044.932
AT ITER 54 NEW BEST:: SOT 27565 SOS 5927 HAS SOPS 5528 HAS SOUS 5332 HAS SOUPS 5034 WITH SCORE 5039.927
AT ITER 55 NEW BEST:: SOT 27565 SOS 5925 HAS SOPS 5528 HAS SOUS 5330 HAS SOUPS 5034 WITH SCORE 5039.925
AT ITER 74 NEW BEST:: SOT 27558 SOS 5923 HAS SOPS 5518 HAS SOUS 5328 HAS SOUPS 5024 WITH SCORE 5029.923
AT ITER 79 NEW BEST:: SOT 27542 SOS 5893 HAS SOPS 5492 HAS SOUS 5305 HAS SOUPS 5002 WITH SCORE 5007.893
AT ITER 86 NEW BEST:: SOT 27542 SOS 5889 HAS SOPS 5484 HAS SOUS 5302 HAS SOUPS 4995 WITH SCORE 5000.889
AT ITER 90 NEW BEST:: SOT 27539 SOS 5880 HAS SOPS 5475 HAS SOUS 5293 HAS SOUPS 4986 WITH SCORE 4991.88
AT ITER 95 NEW BEST:: SOT 27534 SOS 5864 HAS SOPS 5454 HAS SOUS 5277 HAS SOUPS 4965 WITH SCORE 4970.864
AT ITER 111 NEW BEST:: SOT 27527 SOS 5861 HAS SOPS 5442 HAS SOUS 5274 HAS SOUPS 4953 WITH SCORE 4958.861
AT ITER 118 NEW BEST:: SOT 27520 SOS 5847 HAS SOPS 5428 HAS SOUS 5260 HAS SOUPS 4939 WITH SCORE 4944.847
AT ITER 131 NEW BEST:: SOT 27516 SOS 5839 HAS SOPS 5416 HAS SOUS 5248 HAS SOUPS 4927 WITH SCORE 4932.839
AT ITER 133 NEW BEST:: SOT 27516 SOS 5846 HAS SOPS 5404 HAS SOUS 5253 HAS SOUPS 4914 WITH SCORE 4919.846
AT ITER 146 NEW BEST:: SOT 27495 SOS 5804 HAS SOPS 5362 HAS SOUS 5211 HAS SOUPS 4872 WITH SCORE 4877.804
AT ITER 182 NEW BEST:: SOT 27485 SOS 5785 HAS SOPS 5343 HAS SOUS 5192 HAS SOUPS 4853 WITH SCORE 4858.785
AT ITER 190 NEW BEST:: SOT 27465 SOS 5764 HAS SOPS 5322 HAS SOUS 5187 HAS SOUPS 4848 WITH SCORE 4853.764
AT ITER 217 NEW BEST:: SOT 27469 SOS 5750 HAS SOPS 5308 HAS SOUS 5173 HAS SOUPS 4834 WITH SCORE 4839.75
AT ITER 219 NEW BEST:: SOT 27480 SOS 5791 HAS SOPS 5316 HAS SOUS 5174 HAS SOUPS 4822 WITH SCORE 4827.791
AT ITER 237 NEW BEST:: SOT 27477 SOS 5781 HAS SOPS 5306 HAS SOUS 5165 HAS SOUPS 4813 WITH SCORE 4818.781
AT ITER 253 NEW BEST:: SOT 27477 SOS 5786 HAS SOPS 5292 HAS SOUS 5168 HAS SOUPS 4799 WITH SCORE 4804.786
AT ITER 266 NEW BEST:: SOT 27464 SOS 5762 HAS SOPS 5274 HAS SOUS 5144 HAS SOUPS 4781 WITH SCORE 4786.762
AT ITER 270 NEW BEST:: SOT 27460 SOS 5758 HAS SOPS 5266 HAS SOUS 5140 HAS SOUPS 4773 WITH SCORE 4778.758
AT ITER 311 NEW BEST:: SOT 27443 SOS 5726 HAS SOPS 5219 HAS SOUS 5093 HAS SOUPS 4726 WITH SCORE 4731.726
AT ITER 332 NEW BEST:: SOT 27435 SOS 5698 HAS SOPS 5201 HAS SOUS 5065 HAS SOUPS 4708 WITH SCORE 4713.698
AT ITER 335 NEW BEST:: SOT 27435 SOS 5695 HAS SOPS 5197 HAS SOUS 5066 HAS SOUPS 4708 WITH SCORE 4713.695
AT ITER 359 NEW BEST:: SOT 27426 SOS 5681 HAS SOPS 5174 HAS SOUS 5077 HAS SOUPS 4707 WITH SCORE 4712.681
AT ITER 379 NEW BEST:: SOT 27426 SOS 5681 HAS SOPS 5171 HAS SOUS 5077 HAS SOUPS 4704 WITH SCORE 4709.681
AT ITER 381 NEW BEST:: SOT 27422 SOS 5672 HAS SOPS 5158 HAS SOUS 5071 HAS SOUPS 4694 WITH SCORE 4699.672
AT ITER 384 NEW BEST:: SOT 27413 SOS 5663 HAS SOPS 5140 HAS SOUS 5058 HAS SOUPS 4672 WITH SCORE 4677.663
AT ITER 437 NEW BEST:: SOT 27403 SOS 5687 HAS SOPS 5160 HAS SOUS 5054 HAS SOUPS 4666 WITH SCORE 4671.687
AT ITER 462 NEW BEST:: SOT 27403 SOS 5687 HAS SOPS 5147 HAS SOUS 5054 HAS SOUPS 4653 WITH SCORE 4658.687
AT ITER 470 NEW BEST:: SOT 27403 SOS 5690 HAS SOPS 5147 HAS SOUS 5056 HAS SOUPS 4652 WITH SCORE 4657.69
AT ITER 475 NEW BEST:: SOT 27404 SOS 5681 HAS SOPS 5139 HAS SOUS 5056 HAS SOUPS 4652 WITH SCORE 4657.681
AT ITER 551 NEW BEST:: SOT 27384 SOS 5661 HAS SOPS 5099 HAS SOUS 5016 HAS SOUPS 4612 WITH SCORE 4617.661
AT ITER 569 NEW BEST:: SOT 27382 SOS 5624 HAS SOPS 5020 HAS SOUS 4993 HAS SOUPS 4586 WITH SCORE 4591.624
AT ITER 631 NEW BEST:: SOT 27387 SOS 5630 HAS SOPS 5016 HAS SOUS 4999 HAS SOUPS 4582 WITH SCORE 4587.63
AT ITER 655 NEW BEST:: SOT 27385 SOS 5623 HAS SOPS 5011 HAS SOUS 4995 HAS SOUPS 4579 WITH SCORE 4584.623
AT ITER 668 NEW BEST:: SOT 27385 SOS 5599 HAS SOPS 4998 HAS SOUS 4989 HAS SOUPS 4577 WITH SCORE 4582.599
AT ITER 722 NEW BEST:: SOT 27383 SOS 5594 HAS SOPS 4993 HAS SOUS 4984 HAS SOUPS 4572 WITH SCORE 4577.594
AT ITER 737 NEW BEST:: SOT 27380 SOS 5591 HAS SOPS 4990 HAS SOUS 4981 HAS SOUPS 4569 WITH SCORE 4574.591
AT ITER 803 NEW BEST:: SOT 27380 SOS 5588 HAS SOPS 4987 HAS SOUS 4978 HAS SOUPS 4566 WITH SCORE 4571.588
AT ITER 867 NEW BEST:: SOT 27388 SOS 5553 HAS SOPS 4952 HAS SOUS 4967 HAS SOUPS 4555 WITH SCORE 4560.553
AT ITER 889 NEW BEST:: SOT 27388 SOS 5551 HAS SOPS 4948 HAS SOUS 4965 HAS SOUPS 4551 WITH SCORE 4556.551
AT ITER 928 NEW BEST:: SOT 27369 SOS 5528 HAS SOPS 4944 HAS SOUS 4942 HAS SOUPS 4547 WITH SCORE 4552.528
AT ITER 930 NEW BEST:: SOT 27368 SOS 5522 HAS SOPS 4938 HAS SOUS 4936 HAS SOUPS 4541 WITH SCORE 4546.522
AT ITER 935 NEW BEST:: SOT 27372 SOS 5514 HAS SOPS 4942 HAS SOUS 4924 HAS SOUPS 4533 WITH SCORE 4538.514
AT ITER 937 NEW BEST:: SOT 27372 SOS 5478 HAS SOPS 4930 HAS SOUS 4898 HAS SOUPS 4525 WITH SCORE 4530.478
AT ITER 959 NEW BEST:: SOT 27372 SOS 5472 HAS SOPS 4924 HAS SOUS 4879 HAS SOUPS 4506 WITH SCORE 4511.472
AT ITER 1031 NEW BEST:: SOT 27372 SOS 5472 HAS SOPS 4923 HAS SOUS 4879 HAS SOUPS 4505 WITH SCORE 4510.472
AT ITER 1070 NEW BEST:: SOT 27368 SOS 5470 HAS SOPS 4920 HAS SOUS 4876 HAS SOUPS 4501 WITH SCORE 4506.47
AT ITER 1073 NEW BEST:: SOT 27363 SOS 5465 HAS SOPS 4915 HAS SOUS 4871 HAS SOUPS 4496 WITH SCORE 4501.465
AT ITER 1094 NEW BEST:: SOT 27361 SOS 5463 HAS SOPS 4903 HAS SOUS 4863 HAS SOUPS 4484 WITH SCORE 4489.463
AT ITER 1115 NEW BEST:: SOT 27368 SOS 5483 HAS SOPS 4902 HAS SOUS 4883 HAS SOUPS 4483 WITH SCORE 4488.483
AT ITER 1127 NEW BEST:: SOT 27367 SOS 5482 HAS SOPS 4886 HAS SOUS 4871 HAS SOUPS 4467 WITH SCORE 4472.482
AT ITER 1174 NEW BEST:: SOT 27371 SOS 5486 HAS SOPS 4873 HAS SOUS 4865 HAS SOUPS 4455 WITH SCORE 4460.486
AT ITER 1238 NEW BEST:: SOT 27364 SOS 5478 HAS SOPS 4872 HAS SOUS 4857 HAS SOUPS 4454 WITH SCORE 4459.478
AT ITER 1245 NEW BEST:: SOT 27376 SOS 5439 HAS SOPS 4833 HAS SOUS 4854 HAS SOUPS 4451 WITH SCORE 4456.439
AT ITER 1253 NEW BEST:: SOT 27376 SOS 5438 HAS SOPS 4832 HAS SOUS 4854 HAS SOUPS 4451 WITH SCORE 4456.438
AT ITER 1259 NEW BEST:: SOT 27376 SOS 5412 HAS SOPS 4806 HAS SOUS 4843 HAS SOUPS 4440 WITH SCORE 4445.412
AT ITER 1298 NEW BEST:: SOT 27376 SOS 5412 HAS SOPS 4798 HAS SOUS 4843 HAS SOUPS 4432 WITH SCORE 4437.412
AT ITER 1318 NEW BEST:: SOT 27372 SOS 5412 HAS SOPS 4794 HAS SOUS 4843 HAS SOUPS 4428 WITH SCORE 4433.412
AT ITER 1334 NEW BEST:: SOT 27369 SOS 5410 HAS SOPS 4789 HAS SOUS 4838 HAS SOUPS 4423 WITH SCORE 4428.41
AT ITER 1336 NEW BEST:: SOT 27353 SOS 5348 HAS SOPS 4716 HAS SOUS 4797 HAS SOUPS 4382 WITH SCORE 4387.348
AT ITER 1384 NEW BEST:: SOT 27352 SOS 5347 HAS SOPS 4715 HAS SOUS 4796 HAS SOUPS 4381 WITH SCORE 4386.347
AT ITER 1415 NEW BEST:: SOT 27352 SOS 5347 HAS SOPS 4713 HAS SOUS 4792 HAS SOUPS 4377 WITH SCORE 4382.347
AT ITER 1417 NEW BEST:: SOT 27348 SOS 5334 HAS SOPS 4710 HAS SOUS 4774 HAS SOUPS 4369 WITH SCORE 4374.334
AT ITER 1425 NEW BEST:: SOT 27347 SOS 5332 HAS SOPS 4709 HAS SOUS 4773 HAS SOUPS 4368 WITH SCORE 4373.332
AT ITER 1445 NEW BEST:: SOT 27316 SOS 5310 HAS SOPS 4701 HAS SOUS 4751 HAS SOUPS 4360 WITH SCORE 4365.31
AT ITER 1451 NEW BEST:: SOT 27316 SOS 5288 HAS SOPS 4679 HAS SOUS 4751 HAS SOUPS 4360 WITH SCORE 4365.288
AT ITER 1504 NEW BEST:: SOT 27316 SOS 5283 HAS SOPS 4676 HAS SOUS 4750 HAS SOUPS 4360 WITH SCORE 4365.283
AT ITER 1506 NEW BEST:: SOT 27321 SOS 5248 HAS SOPS 4611 HAS SOUS 4744 HAS SOUPS 4354 WITH SCORE 4359.248
AT ITER 1524 NEW BEST:: SOT 27303 SOS 5228 HAS SOPS 4591 HAS SOUS 4708 HAS SOUPS 4318 WITH SCORE 4323.228
AT ITER 1547 NEW BEST:: SOT 27303 SOS 5227 HAS SOPS 4589 HAS SOUS 4707 HAS SOUPS 4316 WITH SCORE 4321.227
AT ITER 1560 NEW BEST:: SOT 27289 SOS 5217 HAS SOPS 4579 HAS SOUS 4695 HAS SOUPS 4304 WITH SCORE 4309.217
AT ITER 1567 NEW BEST:: SOT 27289 SOS 5201 HAS SOPS 4567 HAS SOUS 4691 HAS SOUPS 4300 WITH SCORE 4305.201
AT ITER 1570 NEW BEST:: SOT 27290 SOS 5209 HAS SOPS 4576 HAS SOUS 4686 HAS SOUPS 4295 WITH SCORE 4300.209
AT ITER 1595 NEW BEST:: SOT 27286 SOS 5205 HAS SOPS 4572 HAS SOUS 4681 HAS SOUPS 4290 WITH SCORE 4295.205
AT ITER 1603 NEW BEST:: SOT 27262 SOS 5221 HAS SOPS 4588 HAS SOUS 4664 HAS SOUPS 4273 WITH SCORE 4278.221
AT ITER 1697 NEW BEST:: SOT 27260 SOS 5219 HAS SOPS 4586 HAS SOUS 4662 HAS SOUPS 4271 WITH SCORE 4276.219
AT ITER 1764 NEW BEST:: SOT 27245 SOS 5129 HAS SOPS 4594 HAS SOUS 4629 HAS SOUPS 4261 WITH SCORE 4266.129
AT ITER 1851 NEW BEST:: SOT 27232 SOS 5108 HAS SOPS 4586 HAS SOUS 4608 HAS SOUPS 4253 WITH SCORE 4258.108
AT ITER 1859 NEW BEST:: SOT 27247 SOS 5080 HAS SOPS 4599 HAS SOUS 4587 HAS SOUPS 4241 WITH SCORE 4246.08
AT ITER 1902 NEW BEST:: SOT 27243 SOS 5067 HAS SOPS 4586 HAS SOUS 4574 HAS SOUPS 4228 WITH SCORE 4233.067
AT ITER 1908 NEW BEST:: SOT 27236 SOS 5077 HAS SOPS 4596 HAS SOUS 4571 HAS SOUPS 4225 WITH SCORE 4230.077
AT ITER 1915 NEW BEST:: SOT 27233 SOS 5050 HAS SOPS 4569 HAS SOUS 4560 HAS SOUPS 4214 WITH SCORE 4219.05
AT ITER 2020 NEW BEST:: SOT 27228 SOS 5055 HAS SOPS 4574 HAS SOUS 4554 HAS SOUPS 4208 WITH SCORE 4213.055
AT ITER 2070 NEW BEST:: SOT 27232 SOS 5033 HAS SOPS 4558 HAS SOUS 4545 HAS SOUPS 4204 WITH SCORE 4209.033
AT ITER 2074 NEW BEST:: SOT 27221 SOS 5013 HAS SOPS 4535 HAS SOUS 4525 HAS SOUPS 4181 WITH SCORE 4186.013
AT ITER 2079 NEW BEST:: SOT 27221 SOS 5005 HAS SOPS 4531 HAS SOUS 4517 HAS SOUPS 4177 WITH SCORE 4182.005
AT ITER 2081 NEW BEST:: SOT 27217 SOS 5001 HAS SOPS 4527 HAS SOUS 4511 HAS SOUPS 4171 WITH SCORE 4176.001
AT ITER 2094 NEW BEST:: SOT 27199 SOS 4983 HAS SOPS 4509 HAS SOUS 4493 HAS SOUPS 4153 WITH SCORE 4157.983
AT ITER 2177 NEW BEST:: SOT 27198 SOS 4984 HAS SOPS 4507 HAS SOUS 4494 HAS SOUPS 4151 WITH SCORE 4155.984
AT ITER 2199 NEW BEST:: SOT 27196 SOS 4982 HAS SOPS 4505 HAS SOUS 4492 HAS SOUPS 4149 WITH SCORE 4153.982
AT ITER 2253 NEW BEST:: SOT 27186 SOS 4967 HAS SOPS 4490 HAS SOUS 4475 HAS SOUPS 4132 WITH SCORE 4136.967
AT ITER 2265 NEW BEST:: SOT 27206 SOS 4989 HAS SOPS 4488 HAS SOUS 4483 HAS SOUPS 4126 WITH SCORE 4130.989
AT ITER 2328 NEW BEST:: SOT 27204 SOS 4987 HAS SOPS 4486 HAS SOUS 4481 HAS SOUPS 4124 WITH SCORE 4128.987
AT ITER 2350 NEW BEST:: SOT 27197 SOS 4972 HAS SOPS 4475 HAS SOUS 4464 HAS SOUPS 4113 WITH SCORE 4117.972
AT ITER 2361 NEW BEST:: SOT 27197 SOS 4968 HAS SOPS 4475 HAS SOUS 4460 HAS SOUPS 4113 WITH SCORE 4117.968
AT ITER 2461 NEW BEST:: SOT 27194 SOS 4965 HAS SOPS 4472 HAS SOUS 4457 HAS SOUPS 4110 WITH SCORE 4114.965
AT ITER 2464 NEW BEST:: SOT 27182 SOS 4958 HAS SOPS 4465 HAS SOUS 4445 HAS SOUPS 4098 WITH SCORE 4102.958
AT ITER 2483 NEW BEST:: SOT 27177 SOS 4944 HAS SOPS 4459 HAS SOUS 4431 HAS SOUPS 4092 WITH SCORE 4096.944
AT ITER 2547 NEW BEST:: SOT 27168 SOS 4934 HAS SOPS 4455 HAS SOUS 4421 HAS SOUPS 4088 WITH SCORE 4092.934
AT ITER 2576 NEW BEST:: SOT 27168 SOS 4929 HAS SOPS 4450 HAS SOUS 4420 HAS SOUPS 4087 WITH SCORE 4091.929
AT ITER 2587 NEW BEST:: SOT 27174 SOS 4903 HAS SOPS 4424 HAS SOUS 4418 HAS SOUPS 4085 WITH SCORE 4089.903
AT ITER 2595 NEW BEST:: SOT 27177 SOS 4914 HAS SOPS 4430 HAS SOUS 4414 HAS SOUPS 4081 WITH SCORE 4085.914
AT ITER 2611 NEW BEST:: SOT 27177 SOS 4914 HAS SOPS 4428 HAS SOUS 4412 HAS SOUPS 4079 WITH SCORE 4083.914
AT ITER 2686 NEW BEST:: SOT 27177 SOS 4913 HAS SOPS 4427 HAS SOUS 4412 HAS SOUPS 4079 WITH SCORE 4083.913
AT ITER 2711 NEW BEST:: SOT 27174 SOS 4907 HAS SOPS 4417 HAS SOUS 4410 HAS SOUPS 4077 WITH SCORE 4081.907
AT ITER 2737 NEW BEST:: SOT 27063 SOS 4856 HAS SOPS 4366 HAS SOUS 4328 HAS SOUPS 3995 WITH SCORE 3999.856
AT ITER 2738 NEW BEST:: SOT 27063 SOS 4847 HAS SOPS 4357 HAS SOUS 4322 HAS SOUPS 3989 WITH SCORE 3993.847
AT ITER 2814 NEW BEST:: SOT 27020 SOS 4833 HAS SOPS 4337 HAS SOUS 4284 HAS SOUPS 3945 WITH SCORE 3949.833
AT ITER 2817 NEW BEST:: SOT 27016 SOS 4825 HAS SOPS 4329 HAS SOUS 4280 HAS SOUPS 3937 WITH SCORE 3941.825
AT ITER 2924 NEW BEST:: SOT 27016 SOS 4814 HAS SOPS 4323 HAS SOUS 4277 HAS SOUPS 3935 WITH SCORE 3939.814
AT ITER 2929 NEW BEST:: SOT 27007 SOS 4826 HAS SOPS 4335 HAS SOUS 4276 HAS SOUPS 3934 WITH SCORE 3938.826
AT ITER 2972 NEW BEST:: SOT 27003 SOS 4829 HAS SOPS 4320 HAS SOUS 4258 HAS SOUPS 3916 WITH SCORE 3920.829
AT ITER 3009 NEW BEST:: SOT 27002 SOS 4837 HAS SOPS 4314 HAS SOUS 4255 HAS SOUPS 3908 WITH SCORE 3912.837
AT ITER 3062 NEW BEST:: SOT 26998 SOS 4837 HAS SOPS 4306 HAS SOUS 4255 HAS SOUPS 3900 WITH SCORE 3904.837
AT ITER 3127 NEW BEST:: SOT 26996 SOS 4827 HAS SOPS 4296 HAS SOUS 4248 HAS SOUPS 3893 WITH SCORE 3897.827
AT ITER 3183 NEW BEST:: SOT 26995 SOS 4822 HAS SOPS 4284 HAS SOUS 4243 HAS SOUPS 3881 WITH SCORE 3885.822
AT ITER 3198 NEW BEST:: SOT 26991 SOS 4817 HAS SOPS 4283 HAS SOUS 4239 HAS SOUPS 3881 WITH SCORE 3885.817
AT ITER 3219 NEW BEST:: SOT 26978 SOS 4805 HAS SOPS 4271 HAS SOUS 4217 HAS SOUPS 3859 WITH SCORE 3863.805
AT ITER 3401 NEW BEST:: SOT 26974 SOS 4793 HAS SOPS 4259 HAS SOUS 4205 HAS SOUPS 3847 WITH SCORE 3851.793
AT ITER 3449 NEW BEST:: SOT 26973 SOS 4792 HAS SOPS 4258 HAS SOUS 4204 HAS SOUPS 3846 WITH SCORE 3850.792
AT ITER 3519 NEW BEST:: SOT 26970 SOS 4786 HAS SOPS 4252 HAS SOUS 4201 HAS SOUPS 3843 WITH SCORE 3847.786
AT ITER 3570 NEW BEST:: SOT 26991 SOS 4761 HAS SOPS 4227 HAS SOUS 4199 HAS SOUPS 3841 WITH SCORE 3845.761
AT ITER 3593 NEW BEST:: SOT 26999 SOS 4704 HAS SOPS 4203 HAS SOUS 4175 HAS SOUPS 3824 WITH SCORE 3828.704
AT ITER 3617 NEW BEST:: SOT 26987 SOS 4689 HAS SOPS 4190 HAS SOUS 4148 HAS SOUPS 3803 WITH SCORE 3807.689
AT ITER 3627 NEW BEST:: SOT 26985 SOS 4687 HAS SOPS 4183 HAS SOUS 4146 HAS SOUPS 3796 WITH SCORE 3800.687
AT ITER 3740 NEW BEST:: SOT 26941 SOS 4732 HAS SOPS 4223 HAS SOUS 4123 HAS SOUPS 3769 WITH SCORE 3773.732
AT ITER 3745 NEW BEST:: SOT 26936 SOS 4722 HAS SOPS 4206 HAS SOUS 4120 HAS SOUPS 3759 WITH SCORE 3763.722
AT ITER 3755 NEW BEST:: SOT 26932 SOS 4719 HAS SOPS 4206 HAS SOUS 4117 HAS SOUPS 3759 WITH SCORE 3763.719
AT ITER 3827 NEW BEST:: SOT 26941 SOS 4714 HAS SOPS 4201 HAS SOUS 4117 HAS SOUPS 3759 WITH SCORE 3763.714
AT ITER 3856 NEW BEST:: SOT 26942 SOS 4713 HAS SOPS 4200 HAS SOUS 4116 HAS SOUPS 3758 WITH SCORE 3762.713
AT ITER 3866 NEW BEST:: SOT 26940 SOS 4711 HAS SOPS 4177 HAS SOUS 4107 HAS SOUPS 3744 WITH SCORE 3748.711
AT ITER 3870 NEW BEST:: SOT 26945 SOS 4716 HAS SOPS 4169 HAS SOUS 4091 HAS SOUPS 3728 WITH SCORE 3732.716
AT ITER 4007 NEW BEST:: SOT 26945 SOS 4711 HAS SOPS 4164 HAS SOUS 4086 HAS SOUPS 3723 WITH SCORE 3727.711
AT ITER 4010 NEW BEST:: SOT 26942 SOS 4705 HAS SOPS 4158 HAS SOUS 4080 HAS SOUPS 3717 WITH SCORE 3721.705
AT ITER 4012 NEW BEST:: SOT 26940 SOS 4703 HAS SOPS 4154 HAS SOUS 4078 HAS SOUPS 3713 WITH SCORE 3717.703
AT ITER 4093 NEW BEST:: SOT 26940 SOS 4684 HAS SOPS 4146 HAS SOUS 4059 HAS SOUPS 3705 WITH SCORE 3709.684
AT ITER 4179 NEW BEST:: SOT 26931 SOS 4693 HAS SOPS 4155 HAS SOUS 4041 HAS SOUPS 3687 WITH SCORE 3691.693
AT ITER 4194 NEW BEST:: SOT 26928 SOS 4688 HAS SOPS 4153 HAS SOUS 4036 HAS SOUPS 3685 WITH SCORE 3689.688
AT ITER 4308 NEW BEST:: SOT 26922 SOS 4658 HAS SOPS 4134 HAS SOUS 4021 HAS SOUPS 3676 WITH SCORE 3680.658
AT ITER 4318 NEW BEST:: SOT 26922 SOS 4656 HAS SOPS 4132 HAS SOUS 4019 HAS SOUPS 3674 WITH SCORE 3678.656
AT ITER 4382 NEW BEST:: SOT 26930 SOS 4654 HAS SOPS 4130 HAS SOUS 4019 HAS SOUPS 3674 WITH SCORE 3678.654
AT ITER 4392 NEW BEST:: SOT 26930 SOS 4644 HAS SOPS 4120 HAS SOUS 4017 HAS SOUPS 3670 WITH SCORE 3674.644
AT ITER 4461 NEW BEST:: SOT 26921 SOS 4635 HAS SOPS 4109 HAS SOUS 3999 HAS SOUPS 3652 WITH SCORE 3656.635
AT ITER 4496 NEW BEST:: SOT 26910 SOS 4623 HAS SOPS 4097 HAS SOUS 3987 HAS SOUPS 3640 WITH SCORE 3644.623
AT ITER 4559 NEW BEST:: SOT 26908 SOS 4612 HAS SOPS 4086 HAS SOUS 3976 HAS SOUPS 3629 WITH SCORE 3633.612
AT ITER 4641 NEW BEST:: SOT 26903 SOS 4607 HAS SOPS 4084 HAS SOUS 3971 HAS SOUPS 3627 WITH SCORE 3631.607
AT ITER 4670 NEW BEST:: SOT 26901 SOS 4605 HAS SOPS 4082 HAS SOUS 3969 HAS SOUPS 3625 WITH SCORE 3629.605
AT ITER 4729 NEW BEST:: SOT 26904 SOS 4608 HAS SOPS 4077 HAS SOUS 3972 HAS SOUPS 3620 WITH SCORE 3624.608
AT ITER 4733 NEW BEST:: SOT 26913 SOS 4622 HAS SOPS 4054 HAS SOUS 3973 HAS SOUPS 3619 WITH SCORE 3623.622
AT ITER 4878 NEW BEST:: SOT 26912 SOS 4622 HAS SOPS 4054 HAS SOUS 3971 HAS SOUPS 3617 WITH SCORE 3621.622
AT ITER 4914 NEW BEST:: SOT 26909 SOS 4618 HAS SOPS 4050 HAS SOUS 3967 HAS SOUPS 3613 WITH SCORE 3617.618
AT ITER 5005 NEW BEST:: SOT 26908 SOS 4617 HAS SOPS 4047 HAS SOUS 3967 HAS SOUPS 3613 WITH SCORE 3617.617
AT ITER 5073 NEW BEST:: SOT 26904 SOS 4613 HAS SOPS 4039 HAS SOUS 3966 HAS SOUPS 3612 WITH SCORE 3616.613
AT ITER 5142 NEW BEST:: SOT 26898 SOS 4607 HAS SOPS 4033 HAS SOUS 3964 HAS SOUPS 3610 WITH SCORE 3614.607
AT ITER 5195 NEW BEST:: SOT 26902 SOS 4576 HAS SOPS 4023 HAS SOUS 3933 HAS SOUPS 3585 WITH SCORE 3589.576
AT ITER 5212 NEW BEST:: SOT 26902 SOS 4573 HAS SOPS 4021 HAS SOUS 3930 HAS SOUPS 3583 WITH SCORE 3587.573
AT ITER 5225 NEW BEST:: SOT 26901 SOS 4572 HAS SOPS 4020 HAS SOUS 3929 HAS SOUPS 3582 WITH SCORE 3586.572
AT ITER 5263 NEW BEST:: SOT 26900 SOS 4568 HAS SOPS 4018 HAS SOUS 3925 HAS SOUPS 3580 WITH SCORE 3584.568
AT ITER 5275 NEW BEST:: SOT 26892 SOS 4565 HAS SOPS 4015 HAS SOUS 3922 HAS SOUPS 3577 WITH SCORE 3581.565
AT ITER 5375 NEW BEST:: SOT 26892 SOS 4562 HAS SOPS 4012 HAS SOUS 3919 HAS SOUPS 3574 WITH SCORE 3578.562
AT ITER 5376 NEW BEST:: SOT 26892 SOS 4562 HAS SOPS 4008 HAS SOUS 3915 HAS SOUPS 3570 WITH SCORE 3574.562
AT ITER 5389 NEW BEST:: SOT 26884 SOS 4560 HAS SOPS 4006 HAS SOUS 3913 HAS SOUPS 3568 WITH SCORE 3572.56
AT ITER 5430 NEW BEST:: SOT 26886 SOS 4541 HAS SOPS 3987 HAS SOUS 3881 HAS SOUPS 3536 WITH SCORE 3540.541
AT ITER 5482 NEW BEST:: SOT 26886 SOS 4545 HAS SOPS 3986 HAS SOUS 3885 HAS SOUPS 3535 WITH SCORE 3539.545
AT ITER 5486 NEW BEST:: SOT 26876 SOS 4487 HAS SOPS 3928 HAS SOUS 3859 HAS SOUPS 3509 WITH SCORE 3513.487
AT ITER 5534 NEW BEST:: SOT 26876 SOS 4488 HAS SOPS 3927 HAS SOUS 3860 HAS SOUPS 3508 WITH SCORE 3512.488
AT ITER 5698 NEW BEST:: SOT 26876 SOS 4483 HAS SOPS 3922 HAS SOUS 3855 HAS SOUPS 3503 WITH SCORE 3507.483
AT ITER 5703 NEW BEST:: SOT 26876 SOS 4482 HAS SOPS 3922 HAS SOUS 3854 HAS SOUPS 3503 WITH SCORE 3507.482
AT ITER 5917 NEW BEST:: SOT 26874 SOS 4452 HAS SOPS 3892 HAS SOUS 3850 HAS SOUPS 3499 WITH SCORE 3503.452
AT ITER 5970 NEW BEST:: SOT 26876 SOS 4456 HAS SOPS 3890 HAS SOUS 3855 HAS SOUPS 3497 WITH SCORE 3501.456
AT ITER 6122 NEW BEST:: SOT 26878 SOS 4452 HAS SOPS 3876 HAS SOUS 3851 HAS SOUPS 3493 WITH SCORE 3497.452
AT ITER 6186 NEW BEST:: SOT 26876 SOS 4446 HAS SOPS 3870 HAS SOUS 3845 HAS SOUPS 3487 WITH SCORE 3491.446
AT ITER 6203 NEW BEST:: SOT 26875 SOS 4444 HAS SOPS 3868 HAS SOUS 3843 HAS SOUPS 3485 WITH SCORE 3489.444
AT ITER 6205 NEW BEST:: SOT 26847 SOS 4453 HAS SOPS 3867 HAS SOUS 3831 HAS SOUPS 3463 WITH SCORE 3467.453
AT ITER 6207 NEW BEST:: SOT 26843 SOS 4375 HAS SOPS 3798 HAS SOUS 3818 HAS SOUPS 3450 WITH SCORE 3454.375
AT ITER 6284 NEW BEST:: SOT 26843 SOS 4374 HAS SOPS 3796 HAS SOUS 3817 HAS SOUPS 3448 WITH SCORE 3452.374
AT ITER 6294 NEW BEST:: SOT 26841 SOS 4375 HAS SOPS 3796 HAS SOUS 3814 HAS SOUPS 3446 WITH SCORE 3450.375
AT ITER 6307 NEW BEST:: SOT 26841 SOS 4373 HAS SOPS 3796 HAS SOUS 3814 HAS SOUPS 3446 WITH SCORE 3450.373
AT ITER 6311 NEW BEST:: SOT 26832 SOS 4378 HAS SOPS 3792 HAS SOUS 3818 HAS SOUPS 3441 WITH SCORE 3445.378
AT ITER 6329 NEW BEST:: SOT 26840 SOS 4377 HAS SOPS 3791 HAS SOUS 3817 HAS SOUPS 3440 WITH SCORE 3444.377
AT ITER 6461 NEW BEST:: SOT 26837 SOS 4374 HAS SOPS 3779 HAS SOUS 3806 HAS SOUPS 3428 WITH SCORE 3432.374
AT ITER 6543 NEW BEST:: SOT 26836 SOS 4374 HAS SOPS 3779 HAS SOUS 3805 HAS SOUPS 3427 WITH SCORE 3431.374
AT ITER 6568 NEW BEST:: SOT 26831 SOS 4369 HAS SOPS 3776 HAS SOUS 3799 HAS SOUPS 3423 WITH SCORE 3427.369
AT ITER 6586 NEW BEST:: SOT 26835 SOS 4365 HAS SOPS 3756 HAS SOUS 3774 HAS SOUPS 3401 WITH SCORE 3405.365
AT ITER 6653 NEW BEST:: SOT 26833 SOS 4363 HAS SOPS 3750 HAS SOUS 3771 HAS SOUPS 3395 WITH SCORE 3399.363
AT ITER 6726 NEW BEST:: SOT 26828 SOS 4355 HAS SOPS 3747 HAS SOUS 3763 HAS SOUPS 3392 WITH SCORE 3396.355
AT ITER 6818 NEW BEST:: SOT 26807 SOS 4378 HAS SOPS 3770 HAS SOUS 3762 HAS SOUPS 3391 WITH SCORE 3395.378
AT ITER 6908 NEW BEST:: SOT 26806 SOS 4378 HAS SOPS 3772 HAS SOUS 3759 HAS SOUPS 3390 WITH SCORE 3394.378
AT ITER 7013 NEW BEST:: SOT 26805 SOS 4377 HAS SOPS 3772 HAS SOUS 3758 HAS SOUPS 3390 WITH SCORE 3394.377
AT ITER 7015 NEW BEST:: SOT 26805 SOS 4376 HAS SOPS 3771 HAS SOUS 3757 HAS SOUPS 3389 WITH SCORE 3393.376
AT ITER 7250 NEW BEST:: SOT 26801 SOS 4366 HAS SOPS 3761 HAS SOUS 3747 HAS SOUPS 3379 WITH SCORE 3383.366
AT ITER 7292 NEW BEST:: SOT 26801 SOS 4365 HAS SOPS 3760 HAS SOUS 3746 HAS SOUPS 3378 WITH SCORE 3382.365
AT ITER 7327 NEW BEST:: SOT 26801 SOS 4362 HAS SOPS 3757 HAS SOUS 3743 HAS SOUPS 3375 WITH SCORE 3379.362
AT ITER 7358 NEW BEST:: SOT 26795 SOS 4363 HAS SOPS 3758 HAS SOUS 3740 HAS SOUPS 3372 WITH SCORE 3376.363
AT ITER 7367 NEW BEST:: SOT 26794 SOS 4358 HAS SOPS 3750 HAS SOUS 3735 HAS SOUPS 3364 WITH SCORE 3368.358
AT ITER 7446 NEW BEST:: SOT 26791 SOS 4346 HAS SOPS 3738 HAS SOUS 3723 HAS SOUPS 3352 WITH SCORE 3356.346
AT ITER 7478 NEW BEST:: SOT 26791 SOS 4345 HAS SOPS 3737 HAS SOUS 3722 HAS SOUPS 3351 WITH SCORE 3355.345
AT ITER 7514 NEW BEST:: SOT 26787 SOS 4341 HAS SOPS 3729 HAS SOUS 3726 HAS SOUPS 3351 WITH SCORE 3355.341
AT ITER 7556 NEW BEST:: SOT 26787 SOS 4341 HAS SOPS 3729 HAS SOUS 3725 HAS SOUPS 3350 WITH SCORE 3354.341
AT ITER 7585 NEW BEST:: SOT 26768 SOS 4344 HAS SOPS 3720 HAS SOUS 3694 HAS SOUPS 3319 WITH SCORE 3323.344
AT ITER 7594 NEW BEST:: SOT 26764 SOS 4332 HAS SOPS 3712 HAS SOUS 3685 HAS SOUPS 3314 WITH SCORE 3318.332
AT ITER 7756 NEW BEST:: SOT 26766 SOS 4330 HAS SOPS 3713 HAS SOUS 3682 HAS SOUPS 3311 WITH SCORE 3315.33
AT ITER 7842 NEW BEST:: SOT 26765 SOS 4324 HAS SOPS 3709 HAS SOUS 3679 HAS SOUPS 3309 WITH SCORE 3313.324
AT ITER 7899 NEW BEST:: SOT 26766 SOS 4323 HAS SOPS 3708 HAS SOUS 3678 HAS SOUPS 3308 WITH SCORE 3312.323
AT ITER 8052 NEW BEST:: SOT 26766 SOS 4320 HAS SOPS 3706 HAS SOUS 3677 HAS SOUPS 3308 WITH SCORE 3312.32
AT ITER 8077 NEW BEST:: SOT 26755 SOS 4313 HAS SOPS 3702 HAS SOUS 3670 HAS SOUPS 3304 WITH SCORE 3308.313
AT ITER 8134 NEW BEST:: SOT 26751 SOS 4302 HAS SOPS 3691 HAS SOUS 3659 HAS SOUPS 3293 WITH SCORE 3297.302
AT ITER 8168 NEW BEST:: SOT 26746 SOS 4300 HAS SOPS 3689 HAS SOUS 3657 HAS SOUPS 3291 WITH SCORE 3295.3
AT ITER 8181 NEW BEST:: SOT 26745 SOS 4297 HAS SOPS 3687 HAS SOUS 3654 HAS SOUPS 3289 WITH SCORE 3293.297
AT ITER 8183 NEW BEST:: SOT 26740 SOS 4289 HAS SOPS 3681 HAS SOUS 3651 HAS SOUPS 3288 WITH SCORE 3292.289
AT ITER 8193 NEW BEST:: SOT 26735 SOS 4288 HAS SOPS 3674 HAS SOUS 3650 HAS SOUPS 3281 WITH SCORE 3285.288
AT ITER 8398 NEW BEST:: SOT 26735 SOS 4288 HAS SOPS 3673 HAS SOUS 3649 HAS SOUPS 3280 WITH SCORE 3284.288
AT ITER 8454 NEW BEST:: SOT 26735 SOS 4288 HAS SOPS 3670 HAS SOUS 3649 HAS SOUPS 3277 WITH SCORE 3281.288
AT ITER 8476 NEW BEST:: SOT 26734 SOS 4287 HAS SOPS 3668 HAS SOUS 3648 HAS SOUPS 3275 WITH SCORE 3279.287
AT ITER 8498 NEW BEST:: SOT 26730 SOS 4276 HAS SOPS 3666 HAS SOUS 3637 HAS SOUPS 3273 WITH SCORE 3277.276
AT ITER 8679 NEW BEST:: SOT 26729 SOS 4276 HAS SOPS 3665 HAS SOUS 3637 HAS SOUPS 3272 WITH SCORE 3276.276
AT ITER 8705 NEW BEST:: SOT 26728 SOS 4274 HAS SOPS 3661 HAS SOUS 3636 HAS SOUPS 3271 WITH SCORE 3275.274
AT ITER 8753 NEW BEST:: SOT 26727 SOS 4266 HAS SOPS 3653 HAS SOUS 3628 HAS SOUPS 3263 WITH SCORE 3267.266
AT ITER 8776 NEW BEST:: SOT 26727 SOS 4265 HAS SOPS 3652 HAS SOUS 3627 HAS SOUPS 3262 WITH SCORE 3266.265
AT ITER 8821 NEW BEST:: SOT 26727 SOS 4261 HAS SOPS 3648 HAS SOUS 3623 HAS SOUPS 3258 WITH SCORE 3262.261
AT ITER 9038 NEW BEST:: SOT 26726 SOS 4260 HAS SOPS 3647 HAS SOUS 3622 HAS SOUPS 3257 WITH SCORE 3261.26
AT ITER 9115 NEW BEST:: SOT 26725 SOS 4259 HAS SOPS 3650 HAS SOUS 3621 HAS SOUPS 3256 WITH SCORE 3260.259
AT ITER 9161 NEW BEST:: SOT 26723 SOS 4256 HAS SOPS 3649 HAS SOUS 3618 HAS SOUPS 3255 WITH SCORE 3259.256
AT ITER 9178 NEW BEST:: SOT 26725 SOS 4252 HAS SOPS 3645 HAS SOUS 3614 HAS SOUPS 3251 WITH SCORE 3255.252
AT ITER 9223 NEW BEST:: SOT 26725 SOS 4252 HAS SOPS 3644 HAS SOUS 3614 HAS SOUPS 3250 WITH SCORE 3254.252
AT ITER 9269 NEW BEST:: SOT 26719 SOS 4241 HAS SOPS 3633 HAS SOUS 3603 HAS SOUPS 3239 WITH SCORE 3243.241
AT ITER 9396 NEW BEST:: SOT 26719 SOS 4240 HAS SOPS 3633 HAS SOUS 3602 HAS SOUPS 3239 WITH SCORE 3243.24
AT ITER 9481 NEW BEST:: SOT 26727 SOS 4222 HAS SOPS 3618 HAS SOUS 3598 HAS SOUPS 3238 WITH SCORE 3242.222
AT ITER 9492 NEW BEST:: SOT 26724 SOS 4215 HAS SOPS 3618 HAS SOUS 3591 HAS SOUPS 3238 WITH SCORE 3242.215
AT ITER 9629 NEW BEST:: SOT 26724 SOS 4212 HAS SOPS 3615 HAS SOUS 3588 HAS SOUPS 3235 WITH SCORE 3239.212
AT ITER 9842 NEW BEST:: SOT 26723 SOS 4213 HAS SOPS 3615 HAS SOUS 3587 HAS SOUPS 3233 WITH SCORE 3237.213
AT ITER 9864 NEW BEST:: SOT 26720 SOS 4208 HAS SOPS 3610 HAS SOUS 3582 HAS SOUPS 3228 WITH SCORE 3232.208
AT ITER 9908 NEW BEST:: SOT 26720 SOS 4207 HAS SOPS 3610 HAS SOUS 3581 HAS SOUPS 3228 WITH SCORE 3232.207
STATE_SPACE STATES 349874 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 1380742 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589644767304

--------------------
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-2"
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-2, 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-158961250600488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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