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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 8.4K Feb 26 17:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 17:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 17:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 17:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 17:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:29 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 1678770749207

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-2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ParamProductionCell (PT), instance 2
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 27793 SOS 6071 HAS SOPS 5686 HAS SOUS 5564 HAS SOUPS 5289 WITH SCORE 5295.071
AT ITER 1 NEW BEST:: SOT 27793 SOS 6067 HAS SOPS 5666 HAS SOUS 5560 HAS SOUPS 5269 WITH SCORE 5275.067
AT ITER 4 NEW BEST:: SOT 27777 SOS 6049 HAS SOPS 5632 HAS SOUS 5541 HAS SOUPS 5235 WITH SCORE 5241.049
AT ITER 11 NEW BEST:: SOT 27763 SOS 6054 HAS SOPS 5637 HAS SOUS 5538 HAS SOUPS 5232 WITH SCORE 5238.054
AT ITER 12 NEW BEST:: SOT 27704 SOS 6014 HAS SOPS 5597 HAS SOUS 5476 HAS SOUPS 5170 WITH SCORE 5176.014
AT ITER 14 NEW BEST:: SOT 27747 SOS 6056 HAS SOPS 5562 HAS SOUS 5521 HAS SOUPS 5162 WITH SCORE 5168.056
AT ITER 16 NEW BEST:: SOT 27730 SOS 6022 HAS SOPS 5511 HAS SOUS 5487 HAS SOUPS 5128 WITH SCORE 5134.022
AT ITER 20 NEW BEST:: SOT 27713 SOS 6007 HAS SOPS 5462 HAS SOUS 5479 HAS SOUPS 5086 WITH SCORE 5092.007
AT ITER 41 NEW BEST:: SOT 27713 SOS 6007 HAS SOPS 5461 HAS SOUS 5479 HAS SOUPS 5085 WITH SCORE 5091.007
AT ITER 133 NEW BEST:: SOT 27694 SOS 5993 HAS SOPS 5428 HAS SOUS 5448 HAS SOUPS 5052 WITH SCORE 5057.993
AT ITER 183 NEW BEST:: SOT 27697 SOS 5999 HAS SOPS 5425 HAS SOUS 5454 HAS SOUPS 5049 WITH SCORE 5054.999
AT ITER 194 NEW BEST:: SOT 27643 SOS 5957 HAS SOPS 5383 HAS SOUS 5444 HAS SOUPS 5039 WITH SCORE 5044.957
AT ITER 204 NEW BEST:: SOT 27641 SOS 5938 HAS SOPS 5364 HAS SOUS 5434 HAS SOUPS 5029 WITH SCORE 5034.938
AT ITER 242 NEW BEST:: SOT 27631 SOS 5923 HAS SOPS 5339 HAS SOUS 5419 HAS SOUPS 5004 WITH SCORE 5009.923
AT ITER 332 NEW BEST:: SOT 27631 SOS 5920 HAS SOPS 5336 HAS SOUS 5419 HAS SOUPS 5004 WITH SCORE 5009.92
AT ITER 334 NEW BEST:: SOT 27631 SOS 5919 HAS SOPS 5335 HAS SOUS 5418 HAS SOUPS 5003 WITH SCORE 5008.919
AT ITER 345 NEW BEST:: SOT 27631 SOS 5919 HAS SOPS 5323 HAS SOUS 5416 HAS SOUPS 4990 WITH SCORE 4995.919
AT ITER 364 NEW BEST:: SOT 27610 SOS 5899 HAS SOPS 5282 HAS SOUS 5375 HAS SOUPS 4949 WITH SCORE 4954.899
AT ITER 372 NEW BEST:: SOT 27591 SOS 5871 HAS SOPS 5281 HAS SOUS 5347 HAS SOUPS 4948 WITH SCORE 4953.871
AT ITER 388 NEW BEST:: SOT 27565 SOS 5821 HAS SOPS 5205 HAS SOUS 5273 HAS SOUPS 4874 WITH SCORE 4879.821
AT ITER 396 NEW BEST:: SOT 27549 SOS 5739 HAS SOPS 5148 HAS SOUS 5219 HAS SOUPS 4837 WITH SCORE 4842.739
AT ITER 464 NEW BEST:: SOT 27557 SOS 5718 HAS SOPS 5119 HAS SOUS 5215 HAS SOUPS 4833 WITH SCORE 4838.718
AT ITER 477 NEW BEST:: SOT 27557 SOS 5718 HAS SOPS 5117 HAS SOUS 5215 HAS SOUPS 4831 WITH SCORE 4836.718
AT ITER 483 NEW BEST:: SOT 27557 SOS 5705 HAS SOPS 5104 HAS SOUS 5202 HAS SOUPS 4818 WITH SCORE 4823.705
AT ITER 491 NEW BEST:: SOT 27557 SOS 5701 HAS SOPS 5100 HAS SOUS 5198 HAS SOUPS 4814 WITH SCORE 4819.701
AT ITER 507 NEW BEST:: SOT 27557 SOS 5700 HAS SOPS 5099 HAS SOUS 5197 HAS SOUPS 4813 WITH SCORE 4818.7
AT ITER 558 NEW BEST:: SOT 27557 SOS 5702 HAS SOPS 5098 HAS SOUS 5199 HAS SOUPS 4812 WITH SCORE 4817.702
AT ITER 598 NEW BEST:: SOT 27557 SOS 5700 HAS SOPS 5096 HAS SOUS 5197 HAS SOUPS 4810 WITH SCORE 4815.7
AT ITER 614 NEW BEST:: SOT 27557 SOS 5699 HAS SOPS 5086 HAS SOUS 5196 HAS SOUPS 4800 WITH SCORE 4805.699
AT ITER 657 NEW BEST:: SOT 27550 SOS 5696 HAS SOPS 5076 HAS SOUS 5193 HAS SOUPS 4790 WITH SCORE 4795.696
AT ITER 676 NEW BEST:: SOT 27546 SOS 5702 HAS SOPS 5075 HAS SOUS 5185 HAS SOUPS 4772 WITH SCORE 4777.702
AT ITER 677 NEW BEST:: SOT 27550 SOS 5694 HAS SOPS 5067 HAS SOUS 5184 HAS SOUPS 4771 WITH SCORE 4776.694
AT ITER 681 NEW BEST:: SOT 27543 SOS 5635 HAS SOPS 5034 HAS SOUS 5152 HAS SOUPS 4757 WITH SCORE 4762.635
AT ITER 689 NEW BEST:: SOT 27536 SOS 5634 HAS SOPS 5033 HAS SOUS 5151 HAS SOUPS 4756 WITH SCORE 4761.634
AT ITER 715 NEW BEST:: SOT 27533 SOS 5631 HAS SOPS 5030 HAS SOUS 5148 HAS SOUPS 4753 WITH SCORE 4758.631
AT ITER 720 NEW BEST:: SOT 27539 SOS 5609 HAS SOPS 4950 HAS SOUS 5102 HAS SOUPS 4707 WITH SCORE 4712.609
AT ITER 730 NEW BEST:: SOT 27542 SOS 5604 HAS SOPS 4945 HAS SOUS 5097 HAS SOUPS 4702 WITH SCORE 4707.604
AT ITER 736 NEW BEST:: SOT 27541 SOS 5603 HAS SOPS 4942 HAS SOUS 5094 HAS SOUPS 4697 WITH SCORE 4702.603
AT ITER 738 NEW BEST:: SOT 27524 SOS 5588 HAS SOPS 4891 HAS SOUS 5054 HAS SOUPS 4656 WITH SCORE 4661.588
AT ITER 740 NEW BEST:: SOT 27523 SOS 5587 HAS SOPS 4885 HAS SOUS 5048 HAS SOUPS 4650 WITH SCORE 4655.587
AT ITER 782 NEW BEST:: SOT 27518 SOS 5587 HAS SOPS 4880 HAS SOUS 5046 HAS SOUPS 4643 WITH SCORE 4648.587
AT ITER 927 NEW BEST:: SOT 27511 SOS 5571 HAS SOPS 4871 HAS SOUS 5030 HAS SOUPS 4634 WITH SCORE 4639.571
AT ITER 938 NEW BEST:: SOT 27511 SOS 5571 HAS SOPS 4866 HAS SOUS 5025 HAS SOUPS 4629 WITH SCORE 4634.571
AT ITER 942 NEW BEST:: SOT 27509 SOS 5569 HAS SOPS 4862 HAS SOUS 5023 HAS SOUPS 4625 WITH SCORE 4630.569
AT ITER 972 NEW BEST:: SOT 27503 SOS 5563 HAS SOPS 4862 HAS SOUS 5017 HAS SOUPS 4625 WITH SCORE 4630.563
AT ITER 990 NEW BEST:: SOT 27493 SOS 5533 HAS SOPS 4826 HAS SOUS 4987 HAS SOUPS 4589 WITH SCORE 4594.533
AT ITER 1029 NEW BEST:: SOT 27484 SOS 5528 HAS SOPS 4813 HAS SOUS 4980 HAS SOUPS 4574 WITH SCORE 4579.528
AT ITER 1111 NEW BEST:: SOT 27471 SOS 5508 HAS SOPS 4800 HAS SOUS 4960 HAS SOUPS 4561 WITH SCORE 4566.508
AT ITER 1126 NEW BEST:: SOT 27462 SOS 5501 HAS SOPS 4796 HAS SOUS 4953 HAS SOUPS 4557 WITH SCORE 4562.501
AT ITER 1133 NEW BEST:: SOT 27461 SOS 5497 HAS SOPS 4793 HAS SOUS 4950 HAS SOUPS 4555 WITH SCORE 4560.497
AT ITER 1136 NEW BEST:: SOT 27453 SOS 5504 HAS SOPS 4781 HAS SOUS 4957 HAS SOUPS 4543 WITH SCORE 4548.504
AT ITER 1150 NEW BEST:: SOT 27453 SOS 5500 HAS SOPS 4777 HAS SOUS 4953 HAS SOUPS 4539 WITH SCORE 4544.5
AT ITER 1171 NEW BEST:: SOT 27382 SOS 5629 HAS SOPS 4905 HAS SOUS 4934 HAS SOUPS 4520 WITH SCORE 4525.629
AT ITER 1173 NEW BEST:: SOT 27382 SOS 5628 HAS SOPS 4904 HAS SOUS 4933 HAS SOUPS 4519 WITH SCORE 4524.628
AT ITER 1210 NEW BEST:: SOT 27377 SOS 5618 HAS SOPS 4894 HAS SOUS 4923 HAS SOUPS 4509 WITH SCORE 4514.618
AT ITER 1239 NEW BEST:: SOT 27377 SOS 5612 HAS SOPS 4888 HAS SOUS 4924 HAS SOUPS 4509 WITH SCORE 4514.612
AT ITER 1244 NEW BEST:: SOT 27375 SOS 5589 HAS SOPS 4865 HAS SOUS 4908 HAS SOUPS 4495 WITH SCORE 4500.589
AT ITER 1271 NEW BEST:: SOT 27367 SOS 5581 HAS SOPS 4857 HAS SOUS 4900 HAS SOUPS 4487 WITH SCORE 4492.581
AT ITER 1278 NEW BEST:: SOT 27357 SOS 5587 HAS SOPS 4856 HAS SOUS 4905 HAS SOUPS 4485 WITH SCORE 4490.587
AT ITER 1282 NEW BEST:: SOT 27366 SOS 5572 HAS SOPS 4841 HAS SOUS 4902 HAS SOUPS 4482 WITH SCORE 4487.572
AT ITER 1329 NEW BEST:: SOT 27366 SOS 5568 HAS SOPS 4837 HAS SOUS 4898 HAS SOUPS 4478 WITH SCORE 4483.568
AT ITER 1341 NEW BEST:: SOT 27346 SOS 5580 HAS SOPS 4822 HAS SOUS 4853 HAS SOUPS 4433 WITH SCORE 4438.58
AT ITER 1393 NEW BEST:: SOT 27327 SOS 5547 HAS SOPS 4789 HAS SOUS 4828 HAS SOUPS 4408 WITH SCORE 4413.547
AT ITER 1394 NEW BEST:: SOT 27335 SOS 5549 HAS SOPS 4720 HAS SOUS 4826 HAS SOUPS 4390 WITH SCORE 4395.549
AT ITER 1422 NEW BEST:: SOT 27331 SOS 5545 HAS SOPS 4716 HAS SOUS 4820 HAS SOUPS 4384 WITH SCORE 4389.545
AT ITER 1465 NEW BEST:: SOT 27331 SOS 5544 HAS SOPS 4716 HAS SOUS 4819 HAS SOUPS 4384 WITH SCORE 4389.544
AT ITER 1580 NEW BEST:: SOT 27331 SOS 5535 HAS SOPS 4708 HAS SOUS 4820 HAS SOUPS 4384 WITH SCORE 4389.535
AT ITER 1637 NEW BEST:: SOT 27329 SOS 5533 HAS SOPS 4706 HAS SOUS 4818 HAS SOUPS 4382 WITH SCORE 4387.533
AT ITER 1648 NEW BEST:: SOT 27329 SOS 5532 HAS SOPS 4705 HAS SOUS 4818 HAS SOUPS 4382 WITH SCORE 4387.532
AT ITER 1652 NEW BEST:: SOT 27325 SOS 5525 HAS SOPS 4698 HAS SOUS 4811 HAS SOUPS 4375 WITH SCORE 4380.525
AT ITER 1672 NEW BEST:: SOT 27317 SOS 5516 HAS SOPS 4690 HAS SOUS 4802 HAS SOUPS 4367 WITH SCORE 4372.516
AT ITER 1685 NEW BEST:: SOT 27317 SOS 5520 HAS SOPS 4689 HAS SOUS 4806 HAS SOUPS 4366 WITH SCORE 4371.52
AT ITER 1692 NEW BEST:: SOT 27316 SOS 5514 HAS SOPS 4682 HAS SOUS 4793 HAS SOUPS 4353 WITH SCORE 4358.514
AT ITER 1707 NEW BEST:: SOT 27314 SOS 5490 HAS SOPS 4669 HAS SOUS 4769 HAS SOUPS 4340 WITH SCORE 4345.49
AT ITER 1734 NEW BEST:: SOT 27321 SOS 5495 HAS SOPS 4681 HAS SOUS 4765 HAS SOUPS 4336 WITH SCORE 4341.495
AT ITER 1741 NEW BEST:: SOT 27319 SOS 5493 HAS SOPS 4679 HAS SOUS 4763 HAS SOUPS 4334 WITH SCORE 4339.493
AT ITER 1752 NEW BEST:: SOT 27303 SOS 5477 HAS SOPS 4663 HAS SOUS 4747 HAS SOUPS 4318 WITH SCORE 4323.477
AT ITER 1814 NEW BEST:: SOT 27299 SOS 5469 HAS SOPS 4655 HAS SOUS 4739 HAS SOUPS 4310 WITH SCORE 4315.469
AT ITER 1864 NEW BEST:: SOT 27291 SOS 5625 HAS SOPS 4754 HAS SOUS 4753 HAS SOUPS 4309 WITH SCORE 4314.625
AT ITER 1888 NEW BEST:: SOT 27291 SOS 5623 HAS SOPS 4752 HAS SOUS 4751 HAS SOUPS 4307 WITH SCORE 4312.623
AT ITER 1958 NEW BEST:: SOT 27286 SOS 5619 HAS SOPS 4749 HAS SOUS 4747 HAS SOUPS 4304 WITH SCORE 4309.619
AT ITER 1962 NEW BEST:: SOT 27286 SOS 5615 HAS SOPS 4749 HAS SOUS 4743 HAS SOUPS 4304 WITH SCORE 4309.615
AT ITER 2003 NEW BEST:: SOT 27286 SOS 5605 HAS SOPS 4748 HAS SOUS 4733 HAS SOUPS 4303 WITH SCORE 4308.605
AT ITER 2024 NEW BEST:: SOT 27286 SOS 5581 HAS SOPS 4735 HAS SOUS 4708 HAS SOUPS 4290 WITH SCORE 4295.581
AT ITER 2032 NEW BEST:: SOT 27277 SOS 5557 HAS SOPS 4711 HAS SOUS 4684 HAS SOUPS 4266 WITH SCORE 4271.557
AT ITER 2036 NEW BEST:: SOT 27239 SOS 5515 HAS SOPS 4715 HAS SOUS 4661 HAS SOUPS 4251 WITH SCORE 4256.515
AT ITER 2147 NEW BEST:: SOT 27235 SOS 5511 HAS SOPS 4715 HAS SOUS 4660 HAS SOUPS 4251 WITH SCORE 4256.511
AT ITER 2208 NEW BEST:: SOT 27223 SOS 5498 HAS SOPS 4702 HAS SOUS 4647 HAS SOUPS 4238 WITH SCORE 4243.498
AT ITER 2302 NEW BEST:: SOT 27216 SOS 5491 HAS SOPS 4697 HAS SOUS 4642 HAS SOUPS 4233 WITH SCORE 4238.491
AT ITER 2389 NEW BEST:: SOT 27126 SOS 5401 HAS SOPS 4603 HAS SOUS 4552 HAS SOUPS 4139 WITH SCORE 4144.401
AT ITER 2415 NEW BEST:: SOT 27113 SOS 5388 HAS SOPS 4580 HAS SOUS 4541 HAS SOUPS 4118 WITH SCORE 4123.388
AT ITER 2451 NEW BEST:: SOT 27109 SOS 5384 HAS SOPS 4576 HAS SOUS 4537 HAS SOUPS 4114 WITH SCORE 4119.384
AT ITER 2537 NEW BEST:: SOT 27107 SOS 5382 HAS SOPS 4574 HAS SOUS 4535 HAS SOUPS 4112 WITH SCORE 4117.382
AT ITER 2549 NEW BEST:: SOT 27107 SOS 5380 HAS SOPS 4572 HAS SOUS 4534 HAS SOUPS 4111 WITH SCORE 4116.38
AT ITER 2550 NEW BEST:: SOT 27103 SOS 5367 HAS SOPS 4559 HAS SOUS 4521 HAS SOUPS 4098 WITH SCORE 4103.367
AT ITER 2563 NEW BEST:: SOT 27106 SOS 5370 HAS SOPS 4553 HAS SOUS 4515 HAS SOUPS 4092 WITH SCORE 4097.37
AT ITER 2569 NEW BEST:: SOT 27105 SOS 5363 HAS SOPS 4547 HAS SOUS 4508 HAS SOUPS 4086 WITH SCORE 4091.363
AT ITER 2576 NEW BEST:: SOT 27099 SOS 5345 HAS SOPS 4535 HAS SOUS 4490 HAS SOUPS 4074 WITH SCORE 4079.345
AT ITER 2578 NEW BEST:: SOT 27078 SOS 5241 HAS SOPS 4473 HAS SOUS 4455 HAS SOUPS 4051 WITH SCORE 4056.241
AT ITER 2587 NEW BEST:: SOT 27076 SOS 5230 HAS SOPS 4471 HAS SOUS 4443 HAS SOUPS 4045 WITH SCORE 4050.23
AT ITER 2611 NEW BEST:: SOT 27073 SOS 5232 HAS SOPS 4468 HAS SOUS 4445 HAS SOUPS 4042 WITH SCORE 4047.232
AT ITER 2622 NEW BEST:: SOT 27060 SOS 5187 HAS SOPS 4438 HAS SOUS 4417 HAS SOUPS 4028 WITH SCORE 4033.187
AT ITER 2655 NEW BEST:: SOT 27058 SOS 5224 HAS SOPS 4471 HAS SOUS 4410 HAS SOUPS 4021 WITH SCORE 4026.224
AT ITER 2690 NEW BEST:: SOT 27055 SOS 5221 HAS SOPS 4465 HAS SOUS 4407 HAS SOUPS 4015 WITH SCORE 4020.221
AT ITER 2705 NEW BEST:: SOT 27051 SOS 5217 HAS SOPS 4461 HAS SOUS 4402 HAS SOUPS 4010 WITH SCORE 4015.217
AT ITER 2767 NEW BEST:: SOT 27044 SOS 5210 HAS SOPS 4448 HAS SOUS 4395 HAS SOUPS 3997 WITH SCORE 4002.21
AT ITER 2805 NEW BEST:: SOT 27044 SOS 5206 HAS SOPS 4448 HAS SOUS 4391 HAS SOUPS 3997 WITH SCORE 4002.206
AT ITER 2832 NEW BEST:: SOT 27044 SOS 5199 HAS SOPS 4448 HAS SOUS 4382 HAS SOUPS 3995 WITH SCORE 4000.199
AT ITER 2840 NEW BEST:: SOT 27037 SOS 5179 HAS SOPS 4428 HAS SOUS 4362 HAS SOUPS 3975 WITH SCORE 3980.179
AT ITER 2843 NEW BEST:: SOT 27034 SOS 5166 HAS SOPS 4422 HAS SOUS 4360 HAS SOUPS 3974 WITH SCORE 3979.166
AT ITER 2877 NEW BEST:: SOT 27033 SOS 5164 HAS SOPS 4420 HAS SOUS 4358 HAS SOUPS 3972 WITH SCORE 3977.164
AT ITER 2880 NEW BEST:: SOT 27025 SOS 5153 HAS SOPS 4409 HAS SOUS 4353 HAS SOUPS 3967 WITH SCORE 3972.153
AT ITER 2986 NEW BEST:: SOT 27023 SOS 5151 HAS SOPS 4407 HAS SOUS 4350 HAS SOUPS 3964 WITH SCORE 3969.151
AT ITER 3010 NEW BEST:: SOT 27026 SOS 5113 HAS SOPS 4375 HAS SOUS 4337 HAS SOUPS 3954 WITH SCORE 3959.113
AT ITER 3031 NEW BEST:: SOT 27026 SOS 5112 HAS SOPS 4375 HAS SOUS 4336 HAS SOUPS 3954 WITH SCORE 3959.112
AT ITER 3110 NEW BEST:: SOT 27024 SOS 5109 HAS SOPS 4370 HAS SOUS 4333 HAS SOUPS 3949 WITH SCORE 3954.109
AT ITER 3140 NEW BEST:: SOT 27020 SOS 5103 HAS SOPS 4366 HAS SOUS 4329 HAS SOUPS 3945 WITH SCORE 3950.103
AT ITER 3166 NEW BEST:: SOT 27015 SOS 5098 HAS SOPS 4366 HAS SOUS 4324 HAS SOUPS 3940 WITH SCORE 3945.098
AT ITER 3225 NEW BEST:: SOT 27000 SOS 5083 HAS SOPS 4358 HAS SOUS 4309 HAS SOUPS 3921 WITH SCORE 3926.083
AT ITER 3226 NEW BEST:: SOT 27000 SOS 5082 HAS SOPS 4373 HAS SOUS 4306 HAS SOUPS 3920 WITH SCORE 3925.082
AT ITER 3252 NEW BEST:: SOT 26998 SOS 5072 HAS SOPS 4369 HAS SOUS 4296 HAS SOUPS 3916 WITH SCORE 3921.072
AT ITER 3319 NEW BEST:: SOT 26988 SOS 5092 HAS SOPS 4389 HAS SOUS 4294 HAS SOUPS 3914 WITH SCORE 3919.092
AT ITER 3368 NEW BEST:: SOT 26988 SOS 5089 HAS SOPS 4386 HAS SOUS 4291 HAS SOUPS 3911 WITH SCORE 3916.089
AT ITER 3373 NEW BEST:: SOT 26987 SOS 5085 HAS SOPS 4382 HAS SOUS 4287 HAS SOUPS 3907 WITH SCORE 3912.085
AT ITER 3380 NEW BEST:: SOT 26982 SOS 5083 HAS SOPS 4380 HAS SOUS 4285 HAS SOUPS 3905 WITH SCORE 3910.083
AT ITER 3385 NEW BEST:: SOT 26974 SOS 5079 HAS SOPS 4372 HAS SOUS 4281 HAS SOUPS 3897 WITH SCORE 3902.079
AT ITER 3391 NEW BEST:: SOT 26976 SOS 5081 HAS SOPS 4376 HAS SOUS 4271 HAS SOUPS 3893 WITH SCORE 3898.081
AT ITER 3406 NEW BEST:: SOT 26977 SOS 5089 HAS SOPS 4377 HAS SOUS 4275 HAS SOUPS 3890 WITH SCORE 3895.089
AT ITER 3434 NEW BEST:: SOT 26977 SOS 5094 HAS SOPS 4378 HAS SOUS 4275 HAS SOUPS 3886 WITH SCORE 3891.094
AT ITER 3455 NEW BEST:: SOT 26981 SOS 5079 HAS SOPS 4363 HAS SOUS 4270 HAS SOUPS 3881 WITH SCORE 3886.079
AT ITER 3481 NEW BEST:: SOT 26977 SOS 5075 HAS SOPS 4359 HAS SOUS 4266 HAS SOUPS 3877 WITH SCORE 3882.075
AT ITER 3510 NEW BEST:: SOT 26977 SOS 5071 HAS SOPS 4351 HAS SOUS 4262 HAS SOUPS 3869 WITH SCORE 3874.071
AT ITER 3525 NEW BEST:: SOT 26972 SOS 5071 HAS SOPS 4351 HAS SOUS 4257 HAS SOUPS 3864 WITH SCORE 3869.071
AT ITER 3580 NEW BEST:: SOT 26966 SOS 5060 HAS SOPS 4340 HAS SOUS 4246 HAS SOUPS 3853 WITH SCORE 3858.06
AT ITER 3651 NEW BEST:: SOT 26964 SOS 5058 HAS SOPS 4336 HAS SOUS 4244 HAS SOUPS 3849 WITH SCORE 3854.058
AT ITER 3702 NEW BEST:: SOT 26964 SOS 5057 HAS SOPS 4336 HAS SOUS 4243 HAS SOUPS 3849 WITH SCORE 3854.057
AT ITER 3744 NEW BEST:: SOT 26958 SOS 5046 HAS SOPS 4330 HAS SOUS 4232 HAS SOUPS 3843 WITH SCORE 3848.046
AT ITER 3908 NEW BEST:: SOT 26961 SOS 5033 HAS SOPS 4317 HAS SOUS 4226 HAS SOUPS 3837 WITH SCORE 3842.033
AT ITER 4211 NEW BEST:: SOT 26960 SOS 5026 HAS SOPS 4313 HAS SOUS 4219 HAS SOUPS 3833 WITH SCORE 3838.026
AT ITER 4235 NEW BEST:: SOT 26959 SOS 5024 HAS SOPS 4310 HAS SOUS 4217 HAS SOUPS 3830 WITH SCORE 3835.024
AT ITER 4243 NEW BEST:: SOT 26947 SOS 5015 HAS SOPS 4301 HAS SOUS 4211 HAS SOUPS 3824 WITH SCORE 3829.015
AT ITER 4261 NEW BEST:: SOT 26946 SOS 5014 HAS SOPS 4302 HAS SOUS 4211 HAS SOUPS 3824 WITH SCORE 3829.014
AT ITER 4265 NEW BEST:: SOT 26945 SOS 5007 HAS SOPS 4295 HAS SOUS 4209 HAS SOUPS 3822 WITH SCORE 3827.007
AT ITER 4318 NEW BEST:: SOT 26932 SOS 4991 HAS SOPS 4279 HAS SOUS 4194 HAS SOUPS 3807 WITH SCORE 3811.991
AT ITER 4329 NEW BEST:: SOT 26928 SOS 4987 HAS SOPS 4269 HAS SOUS 4190 HAS SOUPS 3797 WITH SCORE 3801.987
AT ITER 4376 NEW BEST:: SOT 26918 SOS 4965 HAS SOPS 4247 HAS SOUS 4165 HAS SOUPS 3772 WITH SCORE 3776.965
AT ITER 4455 NEW BEST:: SOT 26918 SOS 4957 HAS SOPS 4241 HAS SOUS 4157 HAS SOUPS 3766 WITH SCORE 3770.957
AT ITER 4486 NEW BEST:: SOT 26914 SOS 4953 HAS SOPS 4237 HAS SOUS 4153 HAS SOUPS 3762 WITH SCORE 3766.953
AT ITER 4499 NEW BEST:: SOT 26914 SOS 4949 HAS SOPS 4233 HAS SOUS 4149 HAS SOUPS 3758 WITH SCORE 3762.949
AT ITER 4513 NEW BEST:: SOT 26915 SOS 4956 HAS SOPS 4227 HAS SOUS 4156 HAS SOUPS 3752 WITH SCORE 3756.956
AT ITER 4543 NEW BEST:: SOT 26905 SOS 4946 HAS SOPS 4212 HAS SOUS 4146 HAS SOUPS 3737 WITH SCORE 3741.946
AT ITER 4578 NEW BEST:: SOT 26905 SOS 4945 HAS SOPS 4211 HAS SOUS 4145 HAS SOUPS 3736 WITH SCORE 3740.945
AT ITER 4605 NEW BEST:: SOT 26905 SOS 4947 HAS SOPS 4204 HAS SOUS 4146 HAS SOUPS 3728 WITH SCORE 3732.947
AT ITER 4699 NEW BEST:: SOT 26878 SOS 4886 HAS SOPS 4166 HAS SOUS 4084 HAS SOUPS 3689 WITH SCORE 3693.886
AT ITER 4703 NEW BEST:: SOT 26877 SOS 4885 HAS SOPS 4162 HAS SOUS 4083 HAS SOUPS 3685 WITH SCORE 3689.885
AT ITER 4711 NEW BEST:: SOT 26877 SOS 4885 HAS SOPS 4162 HAS SOUS 4081 HAS SOUPS 3683 WITH SCORE 3687.885
AT ITER 4733 NEW BEST:: SOT 26881 SOS 4892 HAS SOPS 4157 HAS SOUS 4086 HAS SOUPS 3676 WITH SCORE 3680.892
AT ITER 4741 NEW BEST:: SOT 26881 SOS 4891 HAS SOPS 4156 HAS SOUS 4084 HAS SOUPS 3674 WITH SCORE 3678.891
AT ITER 4825 NEW BEST:: SOT 26874 SOS 4888 HAS SOPS 4153 HAS SOUS 4078 HAS SOUPS 3668 WITH SCORE 3672.888
AT ITER 4887 NEW BEST:: SOT 26873 SOS 4887 HAS SOPS 4152 HAS SOUS 4077 HAS SOUPS 3667 WITH SCORE 3671.887
AT ITER 4903 NEW BEST:: SOT 26873 SOS 4887 HAS SOPS 4151 HAS SOUS 4077 HAS SOUPS 3666 WITH SCORE 3670.887
AT ITER 5047 NEW BEST:: SOT 26878 SOS 4867 HAS SOPS 4131 HAS SOUS 4077 HAS SOUPS 3666 WITH SCORE 3670.867
AT ITER 5111 NEW BEST:: SOT 26871 SOS 4860 HAS SOPS 4130 HAS SOUS 4070 HAS SOUPS 3665 WITH SCORE 3669.86
AT ITER 5122 NEW BEST:: SOT 26867 SOS 4846 HAS SOPS 4128 HAS SOUS 4056 HAS SOUPS 3663 WITH SCORE 3667.846
AT ITER 5436 NEW BEST:: SOT 26868 SOS 4845 HAS SOPS 4126 HAS SOUS 4055 HAS SOUPS 3661 WITH SCORE 3665.845
AT ITER 5453 NEW BEST:: SOT 26868 SOS 4837 HAS SOPS 4118 HAS SOUS 4055 HAS SOUPS 3661 WITH SCORE 3665.837
AT ITER 5463 NEW BEST:: SOT 26863 SOS 4834 HAS SOPS 4113 HAS SOUS 4052 HAS SOUPS 3656 WITH SCORE 3660.834
AT ITER 5488 NEW BEST:: SOT 26861 SOS 4830 HAS SOPS 4111 HAS SOUS 4050 HAS SOUPS 3654 WITH SCORE 3658.83
AT ITER 5497 NEW BEST:: SOT 26860 SOS 4827 HAS SOPS 4109 HAS SOUS 4046 HAS SOUPS 3651 WITH SCORE 3655.827
AT ITER 5526 NEW BEST:: SOT 26855 SOS 4817 HAS SOPS 4099 HAS SOUS 4036 HAS SOUPS 3641 WITH SCORE 3645.817
AT ITER 5564 NEW BEST:: SOT 26852 SOS 4814 HAS SOPS 4096 HAS SOUS 4033 HAS SOUPS 3638 WITH SCORE 3642.814
AT ITER 5606 NEW BEST:: SOT 26852 SOS 4812 HAS SOPS 4096 HAS SOUS 4031 HAS SOUPS 3638 WITH SCORE 3642.812
AT ITER 5622 NEW BEST:: SOT 26849 SOS 4801 HAS SOPS 4088 HAS SOUS 4023 HAS SOUPS 3633 WITH SCORE 3637.801
AT ITER 5626 NEW BEST:: SOT 26845 SOS 4784 HAS SOPS 4085 HAS SOUS 4008 HAS SOUPS 3632 WITH SCORE 3636.784
AT ITER 5813 NEW BEST:: SOT 26839 SOS 4778 HAS SOPS 4081 HAS SOUS 4004 HAS SOUPS 3628 WITH SCORE 3632.778
AT ITER 5873 NEW BEST:: SOT 26839 SOS 4769 HAS SOPS 4077 HAS SOUS 3993 HAS SOUPS 3622 WITH SCORE 3626.769
AT ITER 5915 NEW BEST:: SOT 26838 SOS 4771 HAS SOPS 4075 HAS SOUS 3992 HAS SOUPS 3617 WITH SCORE 3621.771
AT ITER 5926 NEW BEST:: SOT 26832 SOS 4765 HAS SOPS 4069 HAS SOUS 3986 HAS SOUPS 3611 WITH SCORE 3615.765
AT ITER 5978 NEW BEST:: SOT 26828 SOS 4720 HAS SOPS 4048 HAS SOUS 3978 HAS SOUPS 3604 WITH SCORE 3608.72
AT ITER 6024 NEW BEST:: SOT 26826 SOS 4717 HAS SOPS 4045 HAS SOUS 3976 HAS SOUPS 3602 WITH SCORE 3606.717
AT ITER 6171 NEW BEST:: SOT 26826 SOS 4715 HAS SOPS 4043 HAS SOUS 3973 HAS SOUPS 3599 WITH SCORE 3603.715
AT ITER 6223 NEW BEST:: SOT 26823 SOS 4706 HAS SOPS 4043 HAS SOUS 3964 HAS SOUPS 3599 WITH SCORE 3603.706
AT ITER 6232 NEW BEST:: SOT 26821 SOS 4705 HAS SOPS 4041 HAS SOUS 3963 HAS SOUPS 3597 WITH SCORE 3601.705
AT ITER 6253 NEW BEST:: SOT 26812 SOS 4692 HAS SOPS 4031 HAS SOUS 3950 HAS SOUPS 3587 WITH SCORE 3591.692
AT ITER 6274 NEW BEST:: SOT 26807 SOS 4686 HAS SOPS 4030 HAS SOUS 3939 HAS SOUPS 3581 WITH SCORE 3585.686
AT ITER 6300 NEW BEST:: SOT 26804 SOS 4680 HAS SOPS 4024 HAS SOUS 3933 HAS SOUPS 3575 WITH SCORE 3579.68
AT ITER 6308 NEW BEST:: SOT 26802 SOS 4678 HAS SOPS 4022 HAS SOUS 3931 HAS SOUPS 3573 WITH SCORE 3577.678
AT ITER 6323 NEW BEST:: SOT 26800 SOS 4676 HAS SOPS 4022 HAS SOUS 3928 HAS SOUPS 3571 WITH SCORE 3575.676
AT ITER 6329 NEW BEST:: SOT 26800 SOS 4676 HAS SOPS 4021 HAS SOUS 3928 HAS SOUPS 3570 WITH SCORE 3574.676
AT ITER 6353 NEW BEST:: SOT 26791 SOS 4658 HAS SOPS 4003 HAS SOUS 3919 HAS SOUPS 3561 WITH SCORE 3565.658
AT ITER 6414 NEW BEST:: SOT 26790 SOS 4657 HAS SOPS 4002 HAS SOUS 3917 HAS SOUPS 3559 WITH SCORE 3563.657
AT ITER 6424 NEW BEST:: SOT 26790 SOS 4655 HAS SOPS 4000 HAS SOUS 3915 HAS SOUPS 3557 WITH SCORE 3561.655
AT ITER 6595 NEW BEST:: SOT 26789 SOS 4652 HAS SOPS 3997 HAS SOUS 3912 HAS SOUPS 3554 WITH SCORE 3558.652
AT ITER 6732 NEW BEST:: SOT 26789 SOS 4651 HAS SOPS 3996 HAS SOUS 3912 HAS SOUPS 3554 WITH SCORE 3558.651
AT ITER 6765 NEW BEST:: SOT 26789 SOS 4649 HAS SOPS 3995 HAS SOUS 3910 HAS SOUPS 3553 WITH SCORE 3557.649
AT ITER 6867 NEW BEST:: SOT 26797 SOS 4689 HAS SOPS 3993 HAS SOUS 3891 HAS SOUPS 3534 WITH SCORE 3538.689
AT ITER 7021 NEW BEST:: SOT 26798 SOS 4683 HAS SOPS 3987 HAS SOUS 3890 HAS SOUPS 3533 WITH SCORE 3537.683
AT ITER 7084 NEW BEST:: SOT 26795 SOS 4677 HAS SOPS 3981 HAS SOUS 3884 HAS SOUPS 3527 WITH SCORE 3531.677
AT ITER 7104 NEW BEST:: SOT 26793 SOS 4675 HAS SOPS 3953 HAS SOUS 3868 HAS SOUPS 3511 WITH SCORE 3515.675
AT ITER 7175 NEW BEST:: SOT 26787 SOS 4667 HAS SOPS 3945 HAS SOUS 3860 HAS SOUPS 3503 WITH SCORE 3507.667
AT ITER 7219 NEW BEST:: SOT 26785 SOS 4665 HAS SOPS 3943 HAS SOUS 3858 HAS SOUPS 3501 WITH SCORE 3505.665
AT ITER 7343 NEW BEST:: SOT 26785 SOS 4665 HAS SOPS 3943 HAS SOUS 3855 HAS SOUPS 3498 WITH SCORE 3502.665
AT ITER 7344 NEW BEST:: SOT 26785 SOS 4663 HAS SOPS 3941 HAS SOUS 3853 HAS SOUPS 3496 WITH SCORE 3500.663
AT ITER 7523 NEW BEST:: SOT 26783 SOS 4655 HAS SOPS 3933 HAS SOUS 3847 HAS SOUPS 3490 WITH SCORE 3494.655
AT ITER 7650 NEW BEST:: SOT 26784 SOS 4656 HAS SOPS 3934 HAS SOUS 3845 HAS SOUPS 3488 WITH SCORE 3492.656
AT ITER 7660 NEW BEST:: SOT 26784 SOS 4653 HAS SOPS 3934 HAS SOUS 3842 HAS SOUPS 3488 WITH SCORE 3492.653
AT ITER 7719 NEW BEST:: SOT 26781 SOS 4650 HAS SOPS 3928 HAS SOUS 3839 HAS SOUPS 3482 WITH SCORE 3486.65
AT ITER 7762 NEW BEST:: SOT 26778 SOS 4642 HAS SOPS 3919 HAS SOUS 3830 HAS SOUPS 3472 WITH SCORE 3476.642
AT ITER 7898 NEW BEST:: SOT 26777 SOS 4641 HAS SOPS 3918 HAS SOUS 3829 HAS SOUPS 3471 WITH SCORE 3475.641
AT ITER 8108 NEW BEST:: SOT 26775 SOS 4622 HAS SOPS 3898 HAS SOUS 3802 HAS SOUPS 3451 WITH SCORE 3455.622
AT ITER 8194 NEW BEST:: SOT 26774 SOS 4621 HAS SOPS 3896 HAS SOUS 3802 HAS SOUPS 3450 WITH SCORE 3454.621
AT ITER 8208 NEW BEST:: SOT 26768 SOS 4632 HAS SOPS 3897 HAS SOUS 3802 HAS SOUPS 3440 WITH SCORE 3444.632
AT ITER 8397 NEW BEST:: SOT 26763 SOS 4617 HAS SOPS 3882 HAS SOUS 3787 HAS SOUPS 3425 WITH SCORE 3429.617
AT ITER 8652 NEW BEST:: SOT 26763 SOS 4624 HAS SOPS 3881 HAS SOUS 3794 HAS SOUPS 3424 WITH SCORE 3428.624
AT ITER 8705 NEW BEST:: SOT 26763 SOS 4630 HAS SOPS 3884 HAS SOUS 3796 HAS SOUPS 3423 WITH SCORE 3427.63
AT ITER 8993 NEW BEST:: SOT 26762 SOS 4629 HAS SOPS 3881 HAS SOUS 3791 HAS SOUPS 3418 WITH SCORE 3422.629
AT ITER 9000 NEW BEST:: SOT 26761 SOS 4629 HAS SOPS 3875 HAS SOUS 3791 HAS SOUPS 3412 WITH SCORE 3416.629
AT ITER 9044 NEW BEST:: SOT 26767 SOS 4635 HAS SOPS 3874 HAS SOUS 3797 HAS SOUPS 3411 WITH SCORE 3415.635
AT ITER 9178 NEW BEST:: SOT 26768 SOS 4637 HAS SOPS 3873 HAS SOUS 3799 HAS SOUPS 3410 WITH SCORE 3414.637
AT ITER 9442 NEW BEST:: SOT 26767 SOS 4643 HAS SOPS 3874 HAS SOUS 3802 HAS SOUPS 3408 WITH SCORE 3412.643
AT ITER 9469 NEW BEST:: SOT 26762 SOS 4639 HAS SOPS 3865 HAS SOUS 3798 HAS SOUPS 3400 WITH SCORE 3404.639
AT ITER 9504 NEW BEST:: SOT 26744 SOS 4626 HAS SOPS 3840 HAS SOUS 3781 HAS SOUPS 3375 WITH SCORE 3379.626
AT ITER 9510 NEW BEST:: SOT 26747 SOS 4624 HAS SOPS 3837 HAS SOUS 3781 HAS SOUPS 3374 WITH SCORE 3378.624
AT ITER 9514 NEW BEST:: SOT 26738 SOS 4613 HAS SOPS 3826 HAS SOUS 3774 HAS SOUPS 3367 WITH SCORE 3371.613
AT ITER 9522 NEW BEST:: SOT 26732 SOS 4607 HAS SOPS 3821 HAS SOUS 3768 HAS SOUPS 3362 WITH SCORE 3366.607
AT ITER 9638 NEW BEST:: SOT 26732 SOS 4602 HAS SOPS 3814 HAS SOUS 3763 HAS SOUPS 3355 WITH SCORE 3359.602
AT ITER 9676 NEW BEST:: SOT 26735 SOS 4605 HAS SOPS 3807 HAS SOUS 3756 HAS SOUPS 3348 WITH SCORE 3352.605
AT ITER 9695 NEW BEST:: SOT 26734 SOS 4600 HAS SOPS 3802 HAS SOUS 3751 HAS SOUPS 3343 WITH SCORE 3347.6
AT ITER 9737 NEW BEST:: SOT 26730 SOS 4596 HAS SOPS 3798 HAS SOUS 3748 HAS SOUPS 3340 WITH SCORE 3344.596
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 1678770760707

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