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.r259-smll-167863534500400.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 ParamProductionCell-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534500400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 9.3K Feb 26 17:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 17:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 17:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 17:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 17:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 17:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 17:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 174K 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 1678770977189

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=ParamProductionCell-PT-4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 4
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: 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 18 NEW BEST:: SOT 27786 SOS 6048 HAS SOPS 5658 HAS SOUS 5541 HAS SOUPS 5261 WITH SCORE 5267.048
AT ITER 69 NEW BEST:: SOT 27778 SOS 6008 HAS SOPS 5555 HAS SOUS 5512 HAS SOUPS 5201 WITH SCORE 5207.008
AT ITER 109 NEW BEST:: SOT 27759 SOS 5992 HAS SOPS 5505 HAS SOUS 5502 HAS SOUPS 5158 WITH SCORE 5163.992
AT ITER 126 NEW BEST:: SOT 27755 SOS 5990 HAS SOPS 5502 HAS SOUS 5499 HAS SOUPS 5154 WITH SCORE 5159.99
AT ITER 128 NEW BEST:: SOT 27737 SOS 5936 HAS SOPS 5496 HAS SOUS 5467 HAS SOUPS 5140 WITH SCORE 5145.936
AT ITER 144 NEW BEST:: SOT 27631 SOS 6517 HAS SOPS 5863 HAS SOUS 5430 HAS SOUPS 5072 WITH SCORE 5078.517
AT ITER 154 NEW BEST:: SOT 27624 SOS 6509 HAS SOPS 5859 HAS SOUS 5422 HAS SOUPS 5068 WITH SCORE 5074.509
AT ITER 165 NEW BEST:: SOT 27624 SOS 6509 HAS SOPS 5850 HAS SOUS 5419 HAS SOUPS 5062 WITH SCORE 5068.509
AT ITER 218 NEW BEST:: SOT 27668 SOS 6554 HAS SOPS 5803 HAS SOUS 5427 HAS SOUPS 5046 WITH SCORE 5052.554
AT ITER 219 NEW BEST:: SOT 27681 SOS 6567 HAS SOPS 5790 HAS SOUS 5425 HAS SOUPS 5033 WITH SCORE 5039.567
AT ITER 222 NEW BEST:: SOT 27712 SOS 6495 HAS SOPS 5814 HAS SOUS 5422 HAS SOUPS 5032 WITH SCORE 5038.495
AT ITER 230 NEW BEST:: SOT 27652 SOS 6489 HAS SOPS 5808 HAS SOUS 5377 HAS SOUPS 4987 WITH SCORE 4993.489
AT ITER 241 NEW BEST:: SOT 27652 SOS 6487 HAS SOPS 5806 HAS SOUS 5375 HAS SOUPS 4985 WITH SCORE 4991.487
AT ITER 298 NEW BEST:: SOT 27650 SOS 6459 HAS SOPS 5778 HAS SOUS 5365 HAS SOUPS 4975 WITH SCORE 4981.459
AT ITER 327 NEW BEST:: SOT 27646 SOS 6445 HAS SOPS 5768 HAS SOUS 5351 HAS SOUPS 4965 WITH SCORE 4971.445
AT ITER 342 NEW BEST:: SOT 27638 SOS 6437 HAS SOPS 5752 HAS SOUS 5344 HAS SOUPS 4949 WITH SCORE 4955.437
AT ITER 347 NEW BEST:: SOT 27631 SOS 6427 HAS SOPS 5742 HAS SOUS 5335 HAS SOUPS 4940 WITH SCORE 4946.427
AT ITER 351 NEW BEST:: SOT 27631 SOS 6422 HAS SOPS 5742 HAS SOUS 5330 HAS SOUPS 4940 WITH SCORE 4946.422
AT ITER 365 NEW BEST:: SOT 27637 SOS 6428 HAS SOPS 5748 HAS SOUS 5319 HAS SOUPS 4929 WITH SCORE 4935.428
AT ITER 395 NEW BEST:: SOT 27622 SOS 6434 HAS SOPS 5737 HAS SOUS 5310 HAS SOUPS 4918 WITH SCORE 4924.434
AT ITER 400 NEW BEST:: SOT 27607 SOS 6419 HAS SOPS 5722 HAS SOUS 5307 HAS SOUPS 4915 WITH SCORE 4921.419
AT ITER 406 NEW BEST:: SOT 27599 SOS 6411 HAS SOPS 5701 HAS SOUS 5306 HAS SOUPS 4914 WITH SCORE 4920.411
AT ITER 410 NEW BEST:: SOT 27603 SOS 6384 HAS SOPS 5678 HAS SOUS 5301 HAS SOUPS 4913 WITH SCORE 4919.384
AT ITER 444 NEW BEST:: SOT 27600 SOS 6378 HAS SOPS 5672 HAS SOUS 5295 HAS SOUPS 4907 WITH SCORE 4913.378
AT ITER 453 NEW BEST:: SOT 27535 SOS 6336 HAS SOPS 5630 HAS SOUS 5195 HAS SOUPS 4807 WITH SCORE 4813.336
AT ITER 460 NEW BEST:: SOT 27535 SOS 6336 HAS SOPS 5615 HAS SOUS 5195 HAS SOUPS 4792 WITH SCORE 4798.336
AT ITER 481 NEW BEST:: SOT 27516 SOS 6317 HAS SOPS 5612 HAS SOUS 5176 HAS SOUPS 4789 WITH SCORE 4795.317
AT ITER 512 NEW BEST:: SOT 27515 SOS 6341 HAS SOPS 5601 HAS SOUS 5200 HAS SOUPS 4778 WITH SCORE 4784.341
AT ITER 517 NEW BEST:: SOT 27506 SOS 6336 HAS SOPS 5596 HAS SOUS 5195 HAS SOUPS 4773 WITH SCORE 4779.336
AT ITER 541 NEW BEST:: SOT 27503 SOS 6345 HAS SOPS 5589 HAS SOUS 5204 HAS SOUPS 4766 WITH SCORE 4772.345
AT ITER 553 NEW BEST:: SOT 27491 SOS 6321 HAS SOPS 5565 HAS SOUS 5180 HAS SOUPS 4742 WITH SCORE 4748.321
AT ITER 566 NEW BEST:: SOT 27492 SOS 6320 HAS SOPS 5565 HAS SOUS 5180 HAS SOUPS 4742 WITH SCORE 4748.32
AT ITER 568 NEW BEST:: SOT 27485 SOS 6318 HAS SOPS 5565 HAS SOUS 5178 HAS SOUPS 4742 WITH SCORE 4748.318
AT ITER 581 NEW BEST:: SOT 27466 SOS 6287 HAS SOPS 5529 HAS SOUS 5139 HAS SOUPS 4703 WITH SCORE 4709.287
AT ITER 615 NEW BEST:: SOT 27461 SOS 6282 HAS SOPS 5524 HAS SOUS 5134 HAS SOUPS 4698 WITH SCORE 4704.282
AT ITER 646 NEW BEST:: SOT 27461 SOS 6276 HAS SOPS 5520 HAS SOUS 5134 HAS SOUPS 4698 WITH SCORE 4704.276
AT ITER 652 NEW BEST:: SOT 27431 SOS 6264 HAS SOPS 5508 HAS SOUS 5110 HAS SOUPS 4674 WITH SCORE 4680.264
AT ITER 660 NEW BEST:: SOT 27418 SOS 6244 HAS SOPS 5497 HAS SOUS 5068 HAS SOUPS 4639 WITH SCORE 4645.244
AT ITER 745 NEW BEST:: SOT 27418 SOS 6243 HAS SOPS 5496 HAS SOUS 5067 HAS SOUPS 4638 WITH SCORE 4644.243
AT ITER 769 NEW BEST:: SOT 27391 SOS 6209 HAS SOPS 5462 HAS SOUS 5064 HAS SOUPS 4635 WITH SCORE 4641.209
AT ITER 773 NEW BEST:: SOT 27392 SOS 6214 HAS SOPS 5458 HAS SOUS 5069 HAS SOUPS 4631 WITH SCORE 4637.214
AT ITER 793 NEW BEST:: SOT 27410 SOS 6211 HAS SOPS 5455 HAS SOUS 5069 HAS SOUPS 4631 WITH SCORE 4637.211
AT ITER 794 NEW BEST:: SOT 27396 SOS 6198 HAS SOPS 5451 HAS SOUS 5056 HAS SOUPS 4627 WITH SCORE 4633.198
AT ITER 798 NEW BEST:: SOT 27396 SOS 6192 HAS SOPS 5437 HAS SOUS 5050 HAS SOUPS 4613 WITH SCORE 4619.192
AT ITER 862 NEW BEST:: SOT 27396 SOS 5749 HAS SOPS 5149 HAS SOUS 5027 HAS SOUPS 4611 WITH SCORE 4616.749
AT ITER 937 NEW BEST:: SOT 27393 SOS 5744 HAS SOPS 5141 HAS SOUS 5022 HAS SOUPS 4603 WITH SCORE 4608.744
AT ITER 955 NEW BEST:: SOT 27391 SOS 5744 HAS SOPS 5156 HAS SOUS 5018 HAS SOUPS 4599 WITH SCORE 4604.744
AT ITER 991 NEW BEST:: SOT 27399 SOS 5752 HAS SOPS 5148 HAS SOUS 5026 HAS SOUPS 4591 WITH SCORE 4596.752
AT ITER 1061 NEW BEST:: SOT 27390 SOS 5743 HAS SOPS 5130 HAS SOUS 5023 HAS SOUPS 4579 WITH SCORE 4584.743
AT ITER 1068 NEW BEST:: SOT 27390 SOS 5743 HAS SOPS 5130 HAS SOUS 5004 HAS SOUPS 4560 WITH SCORE 4565.743
AT ITER 1089 NEW BEST:: SOT 27388 SOS 5743 HAS SOPS 5128 HAS SOUS 5004 HAS SOUPS 4558 WITH SCORE 4563.743
AT ITER 1109 NEW BEST:: SOT 27391 SOS 5727 HAS SOPS 5128 HAS SOUS 4988 HAS SOUPS 4558 WITH SCORE 4563.727
AT ITER 1113 NEW BEST:: SOT 27389 SOS 5728 HAS SOPS 5129 HAS SOUS 4983 HAS SOUPS 4553 WITH SCORE 4558.728
AT ITER 1167 NEW BEST:: SOT 27376 SOS 5704 HAS SOPS 5105 HAS SOUS 4968 HAS SOUPS 4538 WITH SCORE 4543.704
AT ITER 1202 NEW BEST:: SOT 27372 SOS 5697 HAS SOPS 5098 HAS SOUS 4961 HAS SOUPS 4531 WITH SCORE 4536.697
AT ITER 1234 NEW BEST:: SOT 27371 SOS 5693 HAS SOPS 5095 HAS SOUS 4957 HAS SOUPS 4528 WITH SCORE 4533.693
AT ITER 1249 NEW BEST:: SOT 27371 SOS 5686 HAS SOPS 5095 HAS SOUS 4950 HAS SOUPS 4528 WITH SCORE 4533.686
AT ITER 1263 NEW BEST:: SOT 27363 SOS 5678 HAS SOPS 5070 HAS SOUS 4925 HAS SOUPS 4503 WITH SCORE 4508.678
AT ITER 1295 NEW BEST:: SOT 27356 SOS 5678 HAS SOPS 5060 HAS SOUS 4925 HAS SOUPS 4493 WITH SCORE 4498.678
AT ITER 1350 NEW BEST:: SOT 27350 SOS 5662 HAS SOPS 5056 HAS SOUS 4924 HAS SOUPS 4492 WITH SCORE 4497.662
AT ITER 1352 NEW BEST:: SOT 27357 SOS 5664 HAS SOPS 5053 HAS SOUS 4926 HAS SOUPS 4489 WITH SCORE 4494.664
AT ITER 1361 NEW BEST:: SOT 27352 SOS 5656 HAS SOPS 5045 HAS SOUS 4918 HAS SOUPS 4481 WITH SCORE 4486.656
AT ITER 1366 NEW BEST:: SOT 27304 SOS 5672 HAS SOPS 5071 HAS SOUS 4902 HAS SOUPS 4465 WITH SCORE 4470.672
AT ITER 1390 NEW BEST:: SOT 27298 SOS 5668 HAS SOPS 5067 HAS SOUS 4898 HAS SOUPS 4461 WITH SCORE 4466.668
AT ITER 1450 NEW BEST:: SOT 27298 SOS 5666 HAS SOPS 5067 HAS SOUS 4896 HAS SOUPS 4461 WITH SCORE 4466.666
AT ITER 1451 NEW BEST:: SOT 27298 SOS 5663 HAS SOPS 5059 HAS SOUS 4893 HAS SOUPS 4453 WITH SCORE 4458.663
AT ITER 1461 NEW BEST:: SOT 27296 SOS 5649 HAS SOPS 5049 HAS SOUS 4879 HAS SOUPS 4443 WITH SCORE 4448.649
AT ITER 1474 NEW BEST:: SOT 27296 SOS 5647 HAS SOPS 5047 HAS SOUS 4877 HAS SOUPS 4441 WITH SCORE 4446.647
AT ITER 1482 NEW BEST:: SOT 27276 SOS 5620 HAS SOPS 5020 HAS SOUS 4850 HAS SOUPS 4414 WITH SCORE 4419.62
AT ITER 1497 NEW BEST:: SOT 27274 SOS 5618 HAS SOPS 5016 HAS SOUS 4846 HAS SOUPS 4410 WITH SCORE 4415.618
AT ITER 1504 NEW BEST:: SOT 27274 SOS 5618 HAS SOPS 5007 HAS SOUS 4846 HAS SOUPS 4401 WITH SCORE 4406.618
AT ITER 1505 NEW BEST:: SOT 27254 SOS 5622 HAS SOPS 4993 HAS SOUS 4833 HAS SOUPS 4388 WITH SCORE 4393.622
AT ITER 1554 NEW BEST:: SOT 27229 SOS 5595 HAS SOPS 4953 HAS SOUS 4806 HAS SOUPS 4348 WITH SCORE 4353.595
AT ITER 1563 NEW BEST:: SOT 27226 SOS 5588 HAS SOPS 4946 HAS SOUS 4803 HAS SOUPS 4345 WITH SCORE 4350.588
AT ITER 1578 NEW BEST:: SOT 27228 SOS 5604 HAS SOPS 4943 HAS SOUS 4796 HAS SOUPS 4338 WITH SCORE 4343.604
AT ITER 1630 NEW BEST:: SOT 27227 SOS 5593 HAS SOPS 4942 HAS SOUS 4794 HAS SOUPS 4336 WITH SCORE 4341.593
AT ITER 1656 NEW BEST:: SOT 27227 SOS 5601 HAS SOPS 4920 HAS SOUS 4802 HAS SOUPS 4314 WITH SCORE 4319.601
AT ITER 1660 NEW BEST:: SOT 27219 SOS 5593 HAS SOPS 4912 HAS SOUS 4794 HAS SOUPS 4306 WITH SCORE 4311.593
AT ITER 1815 NEW BEST:: SOT 27218 SOS 5593 HAS SOPS 4911 HAS SOUS 4794 HAS SOUPS 4305 WITH SCORE 4310.593
AT ITER 1817 NEW BEST:: SOT 27201 SOS 5585 HAS SOPS 4903 HAS SOUS 4786 HAS SOUPS 4297 WITH SCORE 4302.585
AT ITER 1821 NEW BEST:: SOT 27177 SOS 5574 HAS SOPS 4907 HAS SOUS 4767 HAS SOUPS 4278 WITH SCORE 4283.574
AT ITER 1970 NEW BEST:: SOT 27162 SOS 5548 HAS SOPS 4886 HAS SOUS 4741 HAS SOUPS 4257 WITH SCORE 4262.548
AT ITER 2095 NEW BEST:: SOT 27161 SOS 5547 HAS SOPS 4881 HAS SOUS 4743 HAS SOUPS 4255 WITH SCORE 4260.547
AT ITER 2124 NEW BEST:: SOT 27161 SOS 5519 HAS SOPS 4857 HAS SOUS 4729 HAS SOUPS 4243 WITH SCORE 4248.519
AT ITER 2137 NEW BEST:: SOT 27152 SOS 5581 HAS SOPS 4840 HAS SOUS 4733 HAS SOUPS 4232 WITH SCORE 4237.581
AT ITER 2140 NEW BEST:: SOT 27151 SOS 5577 HAS SOPS 4837 HAS SOUS 4729 HAS SOUPS 4229 WITH SCORE 4234.577
AT ITER 2191 NEW BEST:: SOT 27151 SOS 5576 HAS SOPS 4836 HAS SOUS 4723 HAS SOUPS 4223 WITH SCORE 4228.576
AT ITER 2192 NEW BEST:: SOT 27166 SOS 5569 HAS SOPS 4825 HAS SOUS 4727 HAS SOUPS 4220 WITH SCORE 4225.569
AT ITER 2232 NEW BEST:: SOT 27162 SOS 5551 HAS SOPS 4807 HAS SOUS 4719 HAS SOUPS 4212 WITH SCORE 4217.551
AT ITER 2266 NEW BEST:: SOT 27154 SOS 5533 HAS SOPS 4791 HAS SOUS 4701 HAS SOUPS 4196 WITH SCORE 4201.533
AT ITER 2304 NEW BEST:: SOT 27152 SOS 5531 HAS SOPS 4787 HAS SOUS 4695 HAS SOUPS 4190 WITH SCORE 4195.531
AT ITER 2309 NEW BEST:: SOT 27137 SOS 5493 HAS SOPS 4749 HAS SOUS 4660 HAS SOUPS 4155 WITH SCORE 4160.493
AT ITER 2323 NEW BEST:: SOT 27137 SOS 5491 HAS SOPS 4747 HAS SOUS 4658 HAS SOUPS 4153 WITH SCORE 4158.491
AT ITER 2337 NEW BEST:: SOT 27129 SOS 5483 HAS SOPS 4739 HAS SOUS 4650 HAS SOUPS 4145 WITH SCORE 4150.483
AT ITER 2351 NEW BEST:: SOT 27117 SOS 5471 HAS SOPS 4727 HAS SOUS 4616 HAS SOUPS 4111 WITH SCORE 4116.471
AT ITER 2407 NEW BEST:: SOT 27115 SOS 5467 HAS SOPS 4725 HAS SOUS 4614 HAS SOUPS 4109 WITH SCORE 4114.467
AT ITER 2453 NEW BEST:: SOT 27117 SOS 5476 HAS SOPS 4724 HAS SOUS 4623 HAS SOUPS 4108 WITH SCORE 4113.476
AT ITER 2462 NEW BEST:: SOT 27117 SOS 5490 HAS SOPS 4746 HAS SOUS 4616 HAS SOUPS 4103 WITH SCORE 4108.49
AT ITER 2594 NEW BEST:: SOT 27119 SOS 5504 HAS SOPS 4738 HAS SOUS 4630 HAS SOUPS 4095 WITH SCORE 4100.504
AT ITER 2604 NEW BEST:: SOT 27076 SOS 5455 HAS SOPS 4703 HAS SOUS 4581 HAS SOUPS 4060 WITH SCORE 4065.455
AT ITER 2632 NEW BEST:: SOT 27076 SOS 5435 HAS SOPS 4691 HAS SOUS 4577 HAS SOUPS 4060 WITH SCORE 4065.435
AT ITER 2772 NEW BEST:: SOT 27075 SOS 5434 HAS SOPS 4689 HAS SOUS 4575 HAS SOUPS 4058 WITH SCORE 4063.434
AT ITER 2781 NEW BEST:: SOT 27069 SOS 5453 HAS SOPS 4708 HAS SOUS 4563 HAS SOUPS 4046 WITH SCORE 4051.453
AT ITER 2788 NEW BEST:: SOT 27060 SOS 5443 HAS SOPS 4698 HAS SOUS 4551 HAS SOUPS 4034 WITH SCORE 4039.443
AT ITER 2793 NEW BEST:: SOT 27040 SOS 5423 HAS SOPS 4678 HAS SOUS 4531 HAS SOUPS 4014 WITH SCORE 4019.423
AT ITER 2798 NEW BEST:: SOT 27028 SOS 5407 HAS SOPS 4662 HAS SOUS 4513 HAS SOUPS 3998 WITH SCORE 4003.407
AT ITER 2841 NEW BEST:: SOT 27025 SOS 5405 HAS SOPS 4660 HAS SOUS 4511 HAS SOUPS 3996 WITH SCORE 4001.405
AT ITER 2842 NEW BEST:: SOT 27023 SOS 5403 HAS SOPS 4658 HAS SOUS 4509 HAS SOUPS 3994 WITH SCORE 3999.403
AT ITER 2901 NEW BEST:: SOT 27021 SOS 5390 HAS SOPS 4645 HAS SOUS 4505 HAS SOUPS 3990 WITH SCORE 3995.39
AT ITER 2943 NEW BEST:: SOT 27015 SOS 5381 HAS SOPS 4636 HAS SOUS 4496 HAS SOUPS 3981 WITH SCORE 3986.381
AT ITER 2949 NEW BEST:: SOT 27011 SOS 5377 HAS SOPS 4636 HAS SOUS 4492 HAS SOUPS 3981 WITH SCORE 3986.377
AT ITER 2969 NEW BEST:: SOT 27011 SOS 5375 HAS SOPS 4634 HAS SOUS 4490 HAS SOUPS 3979 WITH SCORE 3984.375
AT ITER 2980 NEW BEST:: SOT 27013 SOS 5377 HAS SOPS 4629 HAS SOUS 4492 HAS SOUPS 3974 WITH SCORE 3979.377
AT ITER 2994 NEW BEST:: SOT 27013 SOS 5374 HAS SOPS 4627 HAS SOUS 4489 HAS SOUPS 3972 WITH SCORE 3977.374
AT ITER 3004 NEW BEST:: SOT 27010 SOS 5368 HAS SOPS 4624 HAS SOUS 4483 HAS SOUPS 3969 WITH SCORE 3974.368
AT ITER 3075 NEW BEST:: SOT 26997 SOS 5354 HAS SOPS 4610 HAS SOUS 4482 HAS SOUPS 3968 WITH SCORE 3973.354
AT ITER 3088 NEW BEST:: SOT 26995 SOS 5352 HAS SOPS 4606 HAS SOUS 4480 HAS SOUPS 3964 WITH SCORE 3969.352
AT ITER 3096 NEW BEST:: SOT 26995 SOS 5343 HAS SOPS 4597 HAS SOUS 4480 HAS SOUPS 3964 WITH SCORE 3969.343
AT ITER 3148 NEW BEST:: SOT 26982 SOS 5330 HAS SOPS 4578 HAS SOUS 4474 HAS SOUPS 3958 WITH SCORE 3963.33
AT ITER 3168 NEW BEST:: SOT 26974 SOS 5318 HAS SOPS 4566 HAS SOUS 4457 HAS SOUPS 3943 WITH SCORE 3948.318
AT ITER 3185 NEW BEST:: SOT 26968 SOS 5312 HAS SOPS 4554 HAS SOUS 4445 HAS SOUPS 3931 WITH SCORE 3936.312
AT ITER 3229 NEW BEST:: SOT 26967 SOS 5311 HAS SOPS 4553 HAS SOUS 4444 HAS SOUPS 3930 WITH SCORE 3935.311
AT ITER 3266 NEW BEST:: SOT 26957 SOS 5301 HAS SOPS 4538 HAS SOUS 4434 HAS SOUPS 3915 WITH SCORE 3920.301
AT ITER 3272 NEW BEST:: SOT 26942 SOS 5286 HAS SOPS 4523 HAS SOUS 4419 HAS SOUPS 3900 WITH SCORE 3905.286
AT ITER 3338 NEW BEST:: SOT 26927 SOS 5291 HAS SOPS 4528 HAS SOUS 4413 HAS SOUPS 3894 WITH SCORE 3899.291
AT ITER 3370 NEW BEST:: SOT 26922 SOS 5283 HAS SOPS 4520 HAS SOUS 4405 HAS SOUPS 3886 WITH SCORE 3891.283
AT ITER 3371 NEW BEST:: SOT 26921 SOS 5282 HAS SOPS 4520 HAS SOUS 4404 HAS SOUPS 3885 WITH SCORE 3890.282
AT ITER 3392 NEW BEST:: SOT 26921 SOS 5282 HAS SOPS 4508 HAS SOUS 4394 HAS SOUPS 3875 WITH SCORE 3880.282
AT ITER 3396 NEW BEST:: SOT 26921 SOS 5289 HAS SOPS 4508 HAS SOUS 4400 HAS SOUPS 3874 WITH SCORE 3879.289
AT ITER 3440 NEW BEST:: SOT 26920 SOS 5288 HAS SOPS 4507 HAS SOUS 4399 HAS SOUPS 3873 WITH SCORE 3878.288
AT ITER 3518 NEW BEST:: SOT 26918 SOS 5276 HAS SOPS 4499 HAS SOUS 4392 HAS SOUPS 3867 WITH SCORE 3872.276
AT ITER 3529 NEW BEST:: SOT 26913 SOS 5281 HAS SOPS 4504 HAS SOUS 4364 HAS SOUPS 3839 WITH SCORE 3844.281
AT ITER 3567 NEW BEST:: SOT 26912 SOS 5280 HAS SOPS 4500 HAS SOUS 4359 HAS SOUPS 3834 WITH SCORE 3839.28
AT ITER 3575 NEW BEST:: SOT 26912 SOS 5278 HAS SOPS 4498 HAS SOUS 4357 HAS SOUPS 3832 WITH SCORE 3837.278
AT ITER 3591 NEW BEST:: SOT 26906 SOS 5267 HAS SOPS 4491 HAS SOUS 4346 HAS SOUPS 3825 WITH SCORE 3830.267
AT ITER 3661 NEW BEST:: SOT 26903 SOS 5264 HAS SOPS 4488 HAS SOUS 4346 HAS SOUPS 3825 WITH SCORE 3830.264
AT ITER 3705 NEW BEST:: SOT 26901 SOS 5260 HAS SOPS 4486 HAS SOUS 4342 HAS SOUPS 3823 WITH SCORE 3828.26
AT ITER 3728 NEW BEST:: SOT 26899 SOS 5241 HAS SOPS 4483 HAS SOUS 4316 HAS SOUPS 3813 WITH SCORE 3818.241
AT ITER 3739 NEW BEST:: SOT 26899 SOS 5238 HAS SOPS 4480 HAS SOUS 4313 HAS SOUPS 3810 WITH SCORE 3815.238
AT ITER 3787 NEW BEST:: SOT 26900 SOS 5224 HAS SOPS 4477 HAS SOUS 4299 HAS SOUPS 3807 WITH SCORE 3812.224
AT ITER 3867 NEW BEST:: SOT 26899 SOS 5227 HAS SOPS 4476 HAS SOUS 4302 HAS SOUPS 3806 WITH SCORE 3811.227
AT ITER 3983 NEW BEST:: SOT 26903 SOS 5232 HAS SOPS 4474 HAS SOUS 4307 HAS SOUPS 3804 WITH SCORE 3809.232
AT ITER 4024 NEW BEST:: SOT 26900 SOS 5229 HAS SOPS 4471 HAS SOUS 4301 HAS SOUPS 3798 WITH SCORE 3803.229
AT ITER 4037 NEW BEST:: SOT 26900 SOS 5228 HAS SOPS 4470 HAS SOUS 4300 HAS SOUPS 3797 WITH SCORE 3802.228
AT ITER 4099 NEW BEST:: SOT 26907 SOS 5208 HAS SOPS 4468 HAS SOUS 4280 HAS SOUPS 3795 WITH SCORE 3800.208
AT ITER 4110 NEW BEST:: SOT 26907 SOS 5207 HAS SOPS 4466 HAS SOUS 4279 HAS SOUPS 3793 WITH SCORE 3798.207
AT ITER 4155 NEW BEST:: SOT 26900 SOS 5196 HAS SOPS 4455 HAS SOUS 4268 HAS SOUPS 3782 WITH SCORE 3787.196
AT ITER 4205 NEW BEST:: SOT 26899 SOS 5189 HAS SOPS 4451 HAS SOUS 4261 HAS SOUPS 3778 WITH SCORE 3783.189
AT ITER 4299 NEW BEST:: SOT 26897 SOS 5185 HAS SOPS 4447 HAS SOUS 4256 HAS SOUPS 3774 WITH SCORE 3779.185
AT ITER 4331 NEW BEST:: SOT 26896 SOS 5180 HAS SOPS 4442 HAS SOUS 4251 HAS SOUPS 3769 WITH SCORE 3774.18
AT ITER 4351 NEW BEST:: SOT 26899 SOS 5171 HAS SOPS 4439 HAS SOUS 4241 HAS SOUPS 3759 WITH SCORE 3764.171
AT ITER 4517 NEW BEST:: SOT 26905 SOS 5165 HAS SOPS 4433 HAS SOUS 4235 HAS SOUPS 3753 WITH SCORE 3758.165
AT ITER 4544 NEW BEST:: SOT 26904 SOS 5166 HAS SOPS 4429 HAS SOUS 4236 HAS SOUPS 3749 WITH SCORE 3754.166
AT ITER 4634 NEW BEST:: SOT 26913 SOS 5175 HAS SOPS 4430 HAS SOUS 4227 HAS SOUPS 3739 WITH SCORE 3744.175
AT ITER 4655 NEW BEST:: SOT 26913 SOS 5168 HAS SOPS 4423 HAS SOUS 4227 HAS SOUPS 3739 WITH SCORE 3744.168
AT ITER 4686 NEW BEST:: SOT 26905 SOS 5160 HAS SOPS 4415 HAS SOUS 4217 HAS SOUPS 3729 WITH SCORE 3734.16
AT ITER 4779 NEW BEST:: SOT 26898 SOS 5153 HAS SOPS 4407 HAS SOUS 4208 HAS SOUPS 3720 WITH SCORE 3725.153
AT ITER 4804 NEW BEST:: SOT 26898 SOS 5150 HAS SOPS 4408 HAS SOUS 4206 HAS SOUPS 3719 WITH SCORE 3724.15
AT ITER 4835 NEW BEST:: SOT 26897 SOS 5147 HAS SOPS 4407 HAS SOUS 4204 HAS SOUPS 3717 WITH SCORE 3722.147
AT ITER 4973 NEW BEST:: SOT 26899 SOS 5148 HAS SOPS 4408 HAS SOUS 4201 HAS SOUPS 3714 WITH SCORE 3719.148
AT ITER 4979 NEW BEST:: SOT 26891 SOS 5137 HAS SOPS 4403 HAS SOUS 4190 HAS SOUPS 3709 WITH SCORE 3714.137
AT ITER 5084 NEW BEST:: SOT 26891 SOS 5133 HAS SOPS 4399 HAS SOUS 4186 HAS SOUPS 3705 WITH SCORE 3710.133
AT ITER 5123 NEW BEST:: SOT 26878 SOS 5120 HAS SOPS 4396 HAS SOUS 4178 HAS SOUPS 3697 WITH SCORE 3702.12
AT ITER 5136 NEW BEST:: SOT 26877 SOS 5118 HAS SOPS 4394 HAS SOUS 4176 HAS SOUPS 3695 WITH SCORE 3700.118
AT ITER 5153 NEW BEST:: SOT 26876 SOS 5117 HAS SOPS 4394 HAS SOUS 4176 HAS SOUPS 3695 WITH SCORE 3700.117
AT ITER 5176 NEW BEST:: SOT 26873 SOS 5111 HAS SOPS 4388 HAS SOUS 4170 HAS SOUPS 3689 WITH SCORE 3694.111
AT ITER 5280 NEW BEST:: SOT 26874 SOS 5112 HAS SOPS 4388 HAS SOUS 4169 HAS SOUPS 3688 WITH SCORE 3693.112
AT ITER 5341 NEW BEST:: SOT 26871 SOS 5110 HAS SOPS 4386 HAS SOUS 4164 HAS SOUPS 3683 WITH SCORE 3688.11
AT ITER 5400 NEW BEST:: SOT 26864 SOS 5103 HAS SOPS 4384 HAS SOUS 4162 HAS SOUPS 3681 WITH SCORE 3686.103
AT ITER 5420 NEW BEST:: SOT 26862 SOS 5094 HAS SOPS 4374 HAS SOUS 4152 HAS SOUPS 3671 WITH SCORE 3676.094
AT ITER 5464 NEW BEST:: SOT 26859 SOS 5090 HAS SOPS 4370 HAS SOUS 4148 HAS SOUPS 3667 WITH SCORE 3672.09
AT ITER 5488 NEW BEST:: SOT 26860 SOS 5091 HAS SOPS 4363 HAS SOUS 4140 HAS SOUPS 3659 WITH SCORE 3664.091
AT ITER 5499 NEW BEST:: SOT 26863 SOS 5092 HAS SOPS 4360 HAS SOUS 4137 HAS SOUPS 3655 WITH SCORE 3660.092
AT ITER 5508 NEW BEST:: SOT 26861 SOS 5088 HAS SOPS 4360 HAS SOUS 4133 HAS SOUPS 3655 WITH SCORE 3660.088
AT ITER 5548 NEW BEST:: SOT 26861 SOS 5087 HAS SOPS 4359 HAS SOUS 4132 HAS SOUPS 3654 WITH SCORE 3659.087
AT ITER 5832 NEW BEST:: SOT 26861 SOS 5086 HAS SOPS 4358 HAS SOUS 4131 HAS SOUPS 3653 WITH SCORE 3658.086
AT ITER 5854 NEW BEST:: SOT 26861 SOS 5086 HAS SOPS 4350 HAS SOUS 4131 HAS SOUPS 3646 WITH SCORE 3651.086
AT ITER 5895 NEW BEST:: SOT 26861 SOS 5087 HAS SOPS 4347 HAS SOUS 4130 HAS SOUPS 3643 WITH SCORE 3648.087
AT ITER 5905 NEW BEST:: SOT 26861 SOS 5086 HAS SOPS 4346 HAS SOUS 4129 HAS SOUPS 3642 WITH SCORE 3647.086
AT ITER 6076 NEW BEST:: SOT 26893 SOS 5115 HAS SOPS 4342 HAS SOUS 4122 HAS SOUPS 3635 WITH SCORE 3640.115
AT ITER 6111 NEW BEST:: SOT 26894 SOS 5090 HAS SOPS 4327 HAS SOUS 4115 HAS SOUPS 3633 WITH SCORE 3638.09
AT ITER 6159 NEW BEST:: SOT 26892 SOS 5087 HAS SOPS 4324 HAS SOUS 4112 HAS SOUPS 3630 WITH SCORE 3635.087
AT ITER 6174 NEW BEST:: SOT 26894 SOS 5086 HAS SOPS 4324 HAS SOUS 4111 HAS SOUPS 3630 WITH SCORE 3635.086
AT ITER 6183 NEW BEST:: SOT 26877 SOS 5077 HAS SOPS 4345 HAS SOUS 4113 HAS SOUPS 3629 WITH SCORE 3634.077
AT ITER 6185 NEW BEST:: SOT 26875 SOS 5070 HAS SOPS 4340 HAS SOUS 4106 HAS SOUPS 3624 WITH SCORE 3629.07
AT ITER 6221 NEW BEST:: SOT 26880 SOS 5069 HAS SOPS 4331 HAS SOUS 4103 HAS SOUPS 3616 WITH SCORE 3621.069
AT ITER 6229 NEW BEST:: SOT 26880 SOS 5068 HAS SOPS 4330 HAS SOUS 4102 HAS SOUPS 3615 WITH SCORE 3620.068
AT ITER 6299 NEW BEST:: SOT 26853 SOS 5039 HAS SOPS 4301 HAS SOUS 4073 HAS SOUPS 3586 WITH SCORE 3591.039
AT ITER 6327 NEW BEST:: SOT 26847 SOS 5033 HAS SOPS 4295 HAS SOUS 4071 HAS SOUPS 3584 WITH SCORE 3589.033
AT ITER 6362 NEW BEST:: SOT 26859 SOS 5010 HAS SOPS 4272 HAS SOUS 4068 HAS SOUPS 3581 WITH SCORE 3586.01
AT ITER 6684 NEW BEST:: SOT 26858 SOS 5009 HAS SOPS 4272 HAS SOUS 4067 HAS SOUPS 3581 WITH SCORE 3586.009
AT ITER 6690 NEW BEST:: SOT 26852 SOS 5001 HAS SOPS 4270 HAS SOUS 4059 HAS SOUPS 3579 WITH SCORE 3584.001
AT ITER 6697 NEW BEST:: SOT 26852 SOS 4995 HAS SOPS 4268 HAS SOUS 4055 HAS SOUPS 3577 WITH SCORE 3581.995
AT ITER 6750 NEW BEST:: SOT 26848 SOS 4988 HAS SOPS 4261 HAS SOUS 4048 HAS SOUPS 3570 WITH SCORE 3574.988
AT ITER 6912 NEW BEST:: SOT 26848 SOS 4990 HAS SOPS 4261 HAS SOUS 4046 HAS SOUPS 3568 WITH SCORE 3572.99
AT ITER 6999 NEW BEST:: SOT 26848 SOS 4987 HAS SOPS 4258 HAS SOUS 4043 HAS SOUPS 3565 WITH SCORE 3569.987
AT ITER 7093 NEW BEST:: SOT 26844 SOS 4985 HAS SOPS 4256 HAS SOUS 4040 HAS SOUPS 3562 WITH SCORE 3566.985
AT ITER 7116 NEW BEST:: SOT 26842 SOS 4983 HAS SOPS 4259 HAS SOUS 4031 HAS SOUPS 3553 WITH SCORE 3557.983
AT ITER 7264 NEW BEST:: SOT 26824 SOS 4969 HAS SOPS 4230 HAS SOUS 4017 HAS SOUPS 3524 WITH SCORE 3528.969
AT ITER 7277 NEW BEST:: SOT 26820 SOS 4966 HAS SOPS 4222 HAS SOUS 4014 HAS SOUPS 3516 WITH SCORE 3520.966
AT ITER 7511 NEW BEST:: SOT 26817 SOS 4963 HAS SOPS 4219 HAS SOUS 4011 HAS SOUPS 3513 WITH SCORE 3517.963
AT ITER 7548 NEW BEST:: SOT 26813 SOS 4959 HAS SOPS 4215 HAS SOUS 4007 HAS SOUPS 3509 WITH SCORE 3513.959
AT ITER 7550 NEW BEST:: SOT 26811 SOS 4950 HAS SOPS 4206 HAS SOUS 4003 HAS SOUPS 3505 WITH SCORE 3509.95
AT ITER 7772 NEW BEST:: SOT 26811 SOS 4948 HAS SOPS 4202 HAS SOUS 4000 HAS SOUPS 3501 WITH SCORE 3505.948
AT ITER 7937 NEW BEST:: SOT 26810 SOS 4947 HAS SOPS 4201 HAS SOUS 3999 HAS SOUPS 3500 WITH SCORE 3504.947
AT ITER 8021 NEW BEST:: SOT 26810 SOS 4942 HAS SOPS 4201 HAS SOUS 3997 HAS SOUPS 3500 WITH SCORE 3504.942
AT ITER 8035 NEW BEST:: SOT 26804 SOS 4918 HAS SOPS 4183 HAS SOUS 3985 HAS SOUPS 3494 WITH SCORE 3498.918
AT ITER 8053 NEW BEST:: SOT 26803 SOS 4902 HAS SOPS 4167 HAS SOUS 3982 HAS SOUPS 3491 WITH SCORE 3495.902
AT ITER 8125 NEW BEST:: SOT 26798 SOS 4902 HAS SOPS 4162 HAS SOUS 3982 HAS SOUPS 3486 WITH SCORE 3490.902
AT ITER 8127 NEW BEST:: SOT 26795 SOS 4893 HAS SOPS 4156 HAS SOUS 3973 HAS SOUPS 3480 WITH SCORE 3484.893
AT ITER 8255 NEW BEST:: SOT 26786 SOS 4875 HAS SOPS 4136 HAS SOUS 3955 HAS SOUPS 3460 WITH SCORE 3464.875
AT ITER 8437 NEW BEST:: SOT 26785 SOS 4873 HAS SOPS 4134 HAS SOUS 3954 HAS SOUPS 3459 WITH SCORE 3463.873
AT ITER 8574 NEW BEST:: SOT 26775 SOS 4863 HAS SOPS 4124 HAS SOUS 3944 HAS SOUPS 3449 WITH SCORE 3453.863
AT ITER 8600 NEW BEST:: SOT 26775 SOS 4862 HAS SOPS 4123 HAS SOUS 3943 HAS SOUPS 3448 WITH SCORE 3452.862
AT ITER 8684 NEW BEST:: SOT 26772 SOS 4858 HAS SOPS 4120 HAS SOUS 3939 HAS SOUPS 3445 WITH SCORE 3449.858
AT ITER 8711 NEW BEST:: SOT 26767 SOS 4848 HAS SOPS 4113 HAS SOUS 3929 HAS SOUPS 3438 WITH SCORE 3442.848
AT ITER 8731 NEW BEST:: SOT 26767 SOS 4848 HAS SOPS 4112 HAS SOUS 3929 HAS SOUPS 3437 WITH SCORE 3441.848
AT ITER 8885 NEW BEST:: SOT 26765 SOS 4847 HAS SOPS 4111 HAS SOUS 3928 HAS SOUPS 3436 WITH SCORE 3440.847
AT ITER 8888 NEW BEST:: SOT 26754 SOS 4836 HAS SOPS 4106 HAS SOUS 3917 HAS SOUPS 3431 WITH SCORE 3435.836
AT ITER 8951 NEW BEST:: SOT 26754 SOS 4831 HAS SOPS 4101 HAS SOUS 3912 HAS SOUPS 3426 WITH SCORE 3430.831
AT ITER 8973 NEW BEST:: SOT 26752 SOS 4822 HAS SOPS 4100 HAS SOUS 3903 HAS SOUPS 3425 WITH SCORE 3429.822
AT ITER 9120 NEW BEST:: SOT 26751 SOS 4822 HAS SOPS 4099 HAS SOUS 3903 HAS SOUPS 3424 WITH SCORE 3428.822
AT ITER 9271 NEW BEST:: SOT 26748 SOS 4818 HAS SOPS 4094 HAS SOUS 3899 HAS SOUPS 3419 WITH SCORE 3423.818
AT ITER 9281 NEW BEST:: SOT 26748 SOS 4817 HAS SOPS 4092 HAS SOUS 3898 HAS SOUPS 3417 WITH SCORE 3421.817
AT ITER 9431 NEW BEST:: SOT 26742 SOS 4811 HAS SOPS 4086 HAS SOUS 3892 HAS SOUPS 3411 WITH SCORE 3415.811
AT ITER 9773 NEW BEST:: SOT 26736 SOS 4808 HAS SOPS 4083 HAS SOUS 3889 HAS SOUPS 3408 WITH SCORE 3412.808
AT ITER 9869 NEW BEST:: SOT 26733 SOS 4798 HAS SOPS 4074 HAS SOUS 3879 HAS SOUPS 3399 WITH SCORE 3403.798
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 1678770988789

--------------------
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"
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 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 r259-smll-167863534500400"
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 ;