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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.8K Apr 13 14:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 13 14:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 13 14:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.3K Apr 13 12:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 17K 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 16K Apr 13 14:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 13 14:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 13 14:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 149K 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 1589644632489

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

Filename model.pnml
Petri model created: 198 places, 176 transitions, 730 arcs.
AT ITER 0 NEW BEST:: SOT 21244 SOS 5428 HAS SOPS 5092 HAS SOUS 4960 HAS SOUPS 4725 WITH SCORE 4730.428
AT ITER 11 NEW BEST:: SOT 21223 SOS 5388 HAS SOPS 5031 HAS SOUS 4918 HAS SOUPS 4664 WITH SCORE 4669.388
AT ITER 27 NEW BEST:: SOT 21220 SOS 5380 HAS SOPS 5023 HAS SOUS 4910 HAS SOUPS 4656 WITH SCORE 4661.38
AT ITER 47 NEW BEST:: SOT 21231 SOS 5391 HAS SOPS 5017 HAS SOUS 4921 HAS SOUPS 4650 WITH SCORE 4655.391
AT ITER 58 NEW BEST:: SOT 21231 SOS 5391 HAS SOPS 5017 HAS SOUS 4919 HAS SOUPS 4648 WITH SCORE 4653.391
AT ITER 99 NEW BEST:: SOT 21232 SOS 5381 HAS SOPS 5012 HAS SOUS 4916 HAS SOUPS 4647 WITH SCORE 4652.381
AT ITER 101 NEW BEST:: SOT 21179 SOS 5354 HAS SOPS 4979 HAS SOUS 4872 HAS SOUPS 4597 WITH SCORE 4602.354
AT ITER 115 NEW BEST:: SOT 21181 SOS 5368 HAS SOPS 4960 HAS SOUS 4899 HAS SOUPS 4589 WITH SCORE 4594.368
AT ITER 126 NEW BEST:: SOT 21173 SOS 5342 HAS SOPS 4958 HAS SOUS 4883 HAS SOUPS 4581 WITH SCORE 4586.342
AT ITER 138 NEW BEST:: SOT 21173 SOS 5340 HAS SOPS 4956 HAS SOUS 4881 HAS SOUPS 4579 WITH SCORE 4584.34
AT ITER 140 NEW BEST:: SOT 21168 SOS 5328 HAS SOPS 4944 HAS SOUS 4869 HAS SOUPS 4567 WITH SCORE 4572.328
AT ITER 142 NEW BEST:: SOT 21130 SOS 5356 HAS SOPS 4972 HAS SOUS 4857 HAS SOUPS 4555 WITH SCORE 4560.356
AT ITER 156 NEW BEST:: SOT 21118 SOS 5362 HAS SOPS 4908 HAS SOUS 4825 HAS SOUPS 4510 WITH SCORE 4515.362
AT ITER 167 NEW BEST:: SOT 21144 SOS 5359 HAS SOPS 4934 HAS SOUS 4806 HAS SOUPS 4496 WITH SCORE 4501.359
AT ITER 173 NEW BEST:: SOT 21123 SOS 5314 HAS SOPS 4866 HAS SOUS 4738 HAS SOUPS 4428 WITH SCORE 4433.314
AT ITER 176 NEW BEST:: SOT 21123 SOS 5281 HAS SOPS 4833 HAS SOUS 4738 HAS SOUPS 4428 WITH SCORE 4433.281
AT ITER 182 NEW BEST:: SOT 21075 SOS 5376 HAS SOPS 4899 HAS SOUS 4687 HAS SOUPS 4377 WITH SCORE 4382.376
AT ITER 186 NEW BEST:: SOT 21056 SOS 5371 HAS SOPS 4894 HAS SOUS 4682 HAS SOUPS 4372 WITH SCORE 4377.371
AT ITER 199 NEW BEST:: SOT 21060 SOS 5270 HAS SOPS 4793 HAS SOUS 4668 HAS SOUPS 4358 WITH SCORE 4363.27
AT ITER 218 NEW BEST:: SOT 21058 SOS 5268 HAS SOPS 4791 HAS SOUS 4666 HAS SOUPS 4356 WITH SCORE 4361.268
AT ITER 230 NEW BEST:: SOT 21029 SOS 5251 HAS SOPS 4773 HAS SOUS 4636 HAS SOUPS 4326 WITH SCORE 4331.251
AT ITER 235 NEW BEST:: SOT 21029 SOS 5251 HAS SOPS 4777 HAS SOUS 4632 HAS SOUPS 4322 WITH SCORE 4327.251
AT ITER 238 NEW BEST:: SOT 20874 SOS 5120 HAS SOPS 4643 HAS SOUS 4484 HAS SOUPS 4174 WITH SCORE 4179.12
AT ITER 260 NEW BEST:: SOT 20869 SOS 5111 HAS SOPS 4629 HAS SOUS 4470 HAS SOUPS 4160 WITH SCORE 4165.111
AT ITER 265 NEW BEST:: SOT 20859 SOS 5116 HAS SOPS 4624 HAS SOUS 4470 HAS SOUPS 4150 WITH SCORE 4155.116
AT ITER 271 NEW BEST:: SOT 20866 SOS 5137 HAS SOPS 4634 HAS SOUS 4475 HAS SOUPS 4144 WITH SCORE 4149.137
AT ITER 302 NEW BEST:: SOT 20874 SOS 5140 HAS SOPS 4627 HAS SOUS 4470 HAS SOUPS 4139 WITH SCORE 4144.14
AT ITER 311 NEW BEST:: SOT 20874 SOS 5138 HAS SOPS 4625 HAS SOUS 4446 HAS SOUPS 4115 WITH SCORE 4120.138
AT ITER 335 NEW BEST:: SOT 20871 SOS 5135 HAS SOPS 4622 HAS SOUS 4444 HAS SOUPS 4113 WITH SCORE 4118.135
AT ITER 339 NEW BEST:: SOT 20864 SOS 5128 HAS SOPS 4615 HAS SOUS 4437 HAS SOUPS 4106 WITH SCORE 4111.128
AT ITER 378 NEW BEST:: SOT 20863 SOS 5127 HAS SOPS 4615 HAS SOUS 4436 HAS SOUPS 4106 WITH SCORE 4111.127
AT ITER 381 NEW BEST:: SOT 20858 SOS 5122 HAS SOPS 4605 HAS SOUS 4431 HAS SOUPS 4096 WITH SCORE 4101.122
AT ITER 413 NEW BEST:: SOT 20846 SOS 5153 HAS SOPS 4636 HAS SOUS 4423 HAS SOUPS 4088 WITH SCORE 4093.153
AT ITER 427 NEW BEST:: SOT 20854 SOS 5186 HAS SOPS 4627 HAS SOUS 4456 HAS SOUPS 4079 WITH SCORE 4084.186
AT ITER 436 NEW BEST:: SOT 20854 SOS 5183 HAS SOPS 4627 HAS SOUS 4451 HAS SOUPS 4077 WITH SCORE 4082.183
AT ITER 440 NEW BEST:: SOT 20857 SOS 5188 HAS SOPS 4622 HAS SOUS 4459 HAS SOUPS 4075 WITH SCORE 4080.188
AT ITER 499 NEW BEST:: SOT 20850 SOS 5177 HAS SOPS 4611 HAS SOUS 4448 HAS SOUPS 4064 WITH SCORE 4069.177
AT ITER 526 NEW BEST:: SOT 20834 SOS 5173 HAS SOPS 4595 HAS SOUS 4452 HAS SOUPS 4056 WITH SCORE 4061.173
AT ITER 547 NEW BEST:: SOT 20812 SOS 5280 HAS SOPS 4702 HAS SOUS 4441 HAS SOUPS 4045 WITH SCORE 4050.28
AT ITER 576 NEW BEST:: SOT 20810 SOS 5273 HAS SOPS 4695 HAS SOUS 4436 HAS SOUPS 4040 WITH SCORE 4045.273
AT ITER 592 NEW BEST:: SOT 20810 SOS 5206 HAS SOPS 4668 HAS SOUS 4409 HAS SOUPS 4020 WITH SCORE 4025.206
AT ITER 609 NEW BEST:: SOT 20805 SOS 5198 HAS SOPS 4648 HAS SOUS 4399 HAS SOUPS 4010 WITH SCORE 4015.198
AT ITER 664 NEW BEST:: SOT 20805 SOS 5148 HAS SOPS 4618 HAS SOUS 4374 HAS SOUPS 3993 WITH SCORE 3998.148
AT ITER 681 NEW BEST:: SOT 20803 SOS 5146 HAS SOPS 4614 HAS SOUS 4375 HAS SOUPS 3992 WITH SCORE 3997.146
AT ITER 705 NEW BEST:: SOT 20793 SOS 5136 HAS SOPS 4594 HAS SOUS 4365 HAS SOUPS 3972 WITH SCORE 3977.136
AT ITER 744 NEW BEST:: SOT 20796 SOS 5139 HAS SOPS 4582 HAS SOUS 4371 HAS SOUPS 3971 WITH SCORE 3976.139
AT ITER 775 NEW BEST:: SOT 20793 SOS 5136 HAS SOPS 4576 HAS SOUS 4354 HAS SOUPS 3954 WITH SCORE 3959.136
AT ITER 778 NEW BEST:: SOT 20790 SOS 5120 HAS SOPS 4567 HAS SOUS 4338 HAS SOUPS 3947 WITH SCORE 3952.12
AT ITER 779 NEW BEST:: SOT 20794 SOS 5108 HAS SOPS 4555 HAS SOUS 4326 HAS SOUPS 3935 WITH SCORE 3940.108
AT ITER 782 NEW BEST:: SOT 20790 SOS 5104 HAS SOPS 4547 HAS SOUS 4322 HAS SOUPS 3927 WITH SCORE 3932.104
AT ITER 847 NEW BEST:: SOT 20790 SOS 5102 HAS SOPS 4547 HAS SOUS 4317 HAS SOUPS 3924 WITH SCORE 3929.102
AT ITER 903 NEW BEST:: SOT 20790 SOS 5101 HAS SOPS 4546 HAS SOUS 4317 HAS SOUPS 3924 WITH SCORE 3929.101
AT ITER 918 NEW BEST:: SOT 20790 SOS 5072 HAS SOPS 4517 HAS SOUS 4295 HAS SOUPS 3902 WITH SCORE 3907.072
AT ITER 942 NEW BEST:: SOT 20793 SOS 5075 HAS SOPS 4508 HAS SOUS 4286 HAS SOUPS 3887 WITH SCORE 3892.075
AT ITER 994 NEW BEST:: SOT 20772 SOS 5054 HAS SOPS 4505 HAS SOUS 4260 HAS SOUPS 3868 WITH SCORE 3873.054
AT ITER 1039 NEW BEST:: SOT 20734 SOS 5016 HAS SOPS 4486 HAS SOUS 4229 HAS SOUPS 3837 WITH SCORE 3842.016
AT ITER 1050 NEW BEST:: SOT 20730 SOS 5012 HAS SOPS 4485 HAS SOUS 4231 HAS SOUPS 3836 WITH SCORE 3841.012
AT ITER 1053 NEW BEST:: SOT 20716 SOS 5011 HAS SOPS 4484 HAS SOUS 4229 HAS SOUPS 3834 WITH SCORE 3839.011
AT ITER 1069 NEW BEST:: SOT 20714 SOS 5009 HAS SOPS 4484 HAS SOUS 4227 HAS SOUPS 3834 WITH SCORE 3839.009
AT ITER 1130 NEW BEST:: SOT 20707 SOS 4999 HAS SOPS 4474 HAS SOUS 4217 HAS SOUPS 3824 WITH SCORE 3828.999
AT ITER 1194 NEW BEST:: SOT 20712 SOS 4999 HAS SOPS 4469 HAS SOUS 4212 HAS SOUPS 3819 WITH SCORE 3823.999
AT ITER 1196 NEW BEST:: SOT 20711 SOS 4998 HAS SOPS 4467 HAS SOUS 4212 HAS SOUPS 3818 WITH SCORE 3822.998
AT ITER 1225 NEW BEST:: SOT 20647 SOS 5078 HAS SOPS 4478 HAS SOUS 4172 HAS SOUPS 3762 WITH SCORE 3767.078
AT ITER 1250 NEW BEST:: SOT 20646 SOS 5084 HAS SOPS 4470 HAS SOUS 4178 HAS SOUPS 3754 WITH SCORE 3759.084
AT ITER 1268 NEW BEST:: SOT 20641 SOS 5084 HAS SOPS 4453 HAS SOUS 4171 HAS SOUPS 3730 WITH SCORE 3735.084
AT ITER 1308 NEW BEST:: SOT 20640 SOS 5082 HAS SOPS 4451 HAS SOUS 4169 HAS SOUPS 3728 WITH SCORE 3733.082
AT ITER 1350 NEW BEST:: SOT 20632 SOS 5068 HAS SOPS 4444 HAS SOUS 4155 HAS SOUPS 3721 WITH SCORE 3726.068
AT ITER 1362 NEW BEST:: SOT 20629 SOS 5065 HAS SOPS 4441 HAS SOUS 4152 HAS SOUPS 3718 WITH SCORE 3723.065
AT ITER 1417 NEW BEST:: SOT 20632 SOS 5068 HAS SOPS 4434 HAS SOUS 4148 HAS SOUPS 3714 WITH SCORE 3719.068
AT ITER 1426 NEW BEST:: SOT 20632 SOS 5071 HAS SOPS 4432 HAS SOUS 4146 HAS SOUPS 3710 WITH SCORE 3715.071
AT ITER 1437 NEW BEST:: SOT 20632 SOS 5017 HAS SOPS 4393 HAS SOUS 4146 HAS SOUPS 3710 WITH SCORE 3715.017
AT ITER 1447 NEW BEST:: SOT 20632 SOS 5017 HAS SOPS 4392 HAS SOUS 4145 HAS SOUPS 3709 WITH SCORE 3714.017
AT ITER 1453 NEW BEST:: SOT 20625 SOS 5008 HAS SOPS 4383 HAS SOUS 4137 HAS SOUPS 3701 WITH SCORE 3706.008
AT ITER 1517 NEW BEST:: SOT 20625 SOS 4974 HAS SOPS 4349 HAS SOUS 4137 HAS SOUPS 3701 WITH SCORE 3705.974
AT ITER 1566 NEW BEST:: SOT 20626 SOS 4975 HAS SOPS 4344 HAS SOUS 4135 HAS SOUPS 3700 WITH SCORE 3704.975
AT ITER 1635 NEW BEST:: SOT 20624 SOS 4973 HAS SOPS 4344 HAS SOUS 4133 HAS SOUPS 3700 WITH SCORE 3704.973
AT ITER 1644 NEW BEST:: SOT 20624 SOS 4963 HAS SOPS 4334 HAS SOUS 4128 HAS SOUPS 3695 WITH SCORE 3699.963
AT ITER 1671 NEW BEST:: SOT 20594 SOS 4958 HAS SOPS 4329 HAS SOUS 4123 HAS SOUPS 3690 WITH SCORE 3694.958
AT ITER 1697 NEW BEST:: SOT 20592 SOS 4997 HAS SOPS 4396 HAS SOUS 4102 HAS SOUPS 3677 WITH SCORE 3681.997
AT ITER 1718 NEW BEST:: SOT 20578 SOS 4983 HAS SOPS 4382 HAS SOUS 4066 HAS SOUPS 3641 WITH SCORE 3645.983
AT ITER 1739 NEW BEST:: SOT 20561 SOS 4927 HAS SOPS 4326 HAS SOUS 4030 HAS SOUPS 3605 WITH SCORE 3609.927
AT ITER 1757 NEW BEST:: SOT 20556 SOS 4931 HAS SOPS 4321 HAS SOUS 4034 HAS SOUPS 3600 WITH SCORE 3604.931
AT ITER 1763 NEW BEST:: SOT 20555 SOS 4915 HAS SOPS 4296 HAS SOUS 4028 HAS SOUPS 3585 WITH SCORE 3589.915
AT ITER 1795 NEW BEST:: SOT 20555 SOS 4924 HAS SOPS 4292 HAS SOUS 4037 HAS SOUPS 3581 WITH SCORE 3585.924
AT ITER 1804 NEW BEST:: SOT 20557 SOS 4917 HAS SOPS 4278 HAS SOUS 4030 HAS SOUPS 3567 WITH SCORE 3571.917
AT ITER 1805 NEW BEST:: SOT 20547 SOS 4911 HAS SOPS 4276 HAS SOUS 4024 HAS SOUPS 3565 WITH SCORE 3569.911
AT ITER 1836 NEW BEST:: SOT 20544 SOS 4908 HAS SOPS 4276 HAS SOUS 4021 HAS SOUPS 3565 WITH SCORE 3569.908
AT ITER 1883 NEW BEST:: SOT 20542 SOS 4873 HAS SOPS 4246 HAS SOUS 4011 HAS SOUPS 3557 WITH SCORE 3561.873
AT ITER 1936 NEW BEST:: SOT 20542 SOS 4869 HAS SOPS 4238 HAS SOUS 4007 HAS SOUPS 3549 WITH SCORE 3553.869
AT ITER 1964 NEW BEST:: SOT 20538 SOS 4868 HAS SOPS 4237 HAS SOUS 4006 HAS SOUPS 3548 WITH SCORE 3552.868
AT ITER 1994 NEW BEST:: SOT 20532 SOS 4863 HAS SOPS 4232 HAS SOUS 4001 HAS SOUPS 3543 WITH SCORE 3547.863
AT ITER 2007 NEW BEST:: SOT 20528 SOS 4869 HAS SOPS 4227 HAS SOUS 3974 HAS SOUPS 3516 WITH SCORE 3520.869
AT ITER 2017 NEW BEST:: SOT 20514 SOS 4877 HAS SOPS 4235 HAS SOUS 3966 HAS SOUPS 3508 WITH SCORE 3512.877
AT ITER 2040 NEW BEST:: SOT 20514 SOS 4876 HAS SOPS 4234 HAS SOUS 3965 HAS SOUPS 3507 WITH SCORE 3511.876
AT ITER 2041 NEW BEST:: SOT 20512 SOS 4874 HAS SOPS 4232 HAS SOUS 3963 HAS SOUPS 3505 WITH SCORE 3509.874
AT ITER 2050 NEW BEST:: SOT 20493 SOS 4865 HAS SOPS 4223 HAS SOUS 3954 HAS SOUPS 3496 WITH SCORE 3500.865
AT ITER 2078 NEW BEST:: SOT 20493 SOS 4864 HAS SOPS 4222 HAS SOUS 3950 HAS SOUPS 3495 WITH SCORE 3499.864
AT ITER 2102 NEW BEST:: SOT 20507 SOS 4868 HAS SOPS 4226 HAS SOUS 3954 HAS SOUPS 3494 WITH SCORE 3498.868
AT ITER 2109 NEW BEST:: SOT 20493 SOS 4854 HAS SOPS 4226 HAS SOUS 3940 HAS SOUPS 3494 WITH SCORE 3498.854
AT ITER 2127 NEW BEST:: SOT 20493 SOS 4818 HAS SOPS 4205 HAS SOUS 3910 HAS SOUPS 3479 WITH SCORE 3483.818
AT ITER 2159 NEW BEST:: SOT 20497 SOS 4771 HAS SOPS 4198 HAS SOUS 3863 HAS SOUPS 3472 WITH SCORE 3476.771
AT ITER 2185 NEW BEST:: SOT 20495 SOS 4758 HAS SOPS 4196 HAS SOUS 3857 HAS SOUPS 3470 WITH SCORE 3474.758
AT ITER 2237 NEW BEST:: SOT 20494 SOS 4745 HAS SOPS 4193 HAS SOUS 3849 HAS SOUPS 3467 WITH SCORE 3471.745
AT ITER 2264 NEW BEST:: SOT 20491 SOS 4743 HAS SOPS 4191 HAS SOUS 3847 HAS SOUPS 3465 WITH SCORE 3469.743
AT ITER 2284 NEW BEST:: SOT 20468 SOS 4727 HAS SOPS 4185 HAS SOUS 3834 HAS SOUPS 3447 WITH SCORE 3451.727
AT ITER 2300 NEW BEST:: SOT 20467 SOS 4726 HAS SOPS 4183 HAS SOUS 3833 HAS SOUPS 3445 WITH SCORE 3449.726
AT ITER 2415 NEW BEST:: SOT 20471 SOS 4730 HAS SOPS 4187 HAS SOUS 3827 HAS SOUPS 3439 WITH SCORE 3443.73
AT ITER 2421 NEW BEST:: SOT 20471 SOS 4727 HAS SOPS 4184 HAS SOUS 3824 HAS SOUPS 3436 WITH SCORE 3440.727
AT ITER 2438 NEW BEST:: SOT 20466 SOS 4709 HAS SOPS 4168 HAS SOUS 3820 HAS SOUPS 3434 WITH SCORE 3438.709
AT ITER 2449 NEW BEST:: SOT 20464 SOS 4708 HAS SOPS 4167 HAS SOUS 3819 HAS SOUPS 3433 WITH SCORE 3437.708
AT ITER 2455 NEW BEST:: SOT 20464 SOS 4708 HAS SOPS 4167 HAS SOUS 3816 HAS SOUPS 3430 WITH SCORE 3434.708
AT ITER 2497 NEW BEST:: SOT 20470 SOS 4700 HAS SOPS 4162 HAS SOUS 3801 HAS SOUPS 3415 WITH SCORE 3419.7
AT ITER 2502 NEW BEST:: SOT 20470 SOS 4699 HAS SOPS 4161 HAS SOUS 3800 HAS SOUPS 3414 WITH SCORE 3418.699
AT ITER 2534 NEW BEST:: SOT 20470 SOS 4692 HAS SOPS 4154 HAS SOUS 3793 HAS SOUPS 3407 WITH SCORE 3411.692
AT ITER 2547 NEW BEST:: SOT 20470 SOS 4686 HAS SOPS 4148 HAS SOUS 3793 HAS SOUPS 3407 WITH SCORE 3411.686
AT ITER 2592 NEW BEST:: SOT 20468 SOS 4682 HAS SOPS 4144 HAS SOUS 3789 HAS SOUPS 3403 WITH SCORE 3407.682
AT ITER 2617 NEW BEST:: SOT 20468 SOS 4652 HAS SOPS 4102 HAS SOUS 3764 HAS SOUPS 3378 WITH SCORE 3382.652
AT ITER 2648 NEW BEST:: SOT 20468 SOS 4646 HAS SOPS 4096 HAS SOUS 3758 HAS SOUPS 3372 WITH SCORE 3376.646
AT ITER 2665 NEW BEST:: SOT 20462 SOS 4640 HAS SOPS 4094 HAS SOUS 3756 HAS SOUPS 3370 WITH SCORE 3374.64
AT ITER 2775 NEW BEST:: SOT 20465 SOS 4638 HAS SOPS 4092 HAS SOUS 3754 HAS SOUPS 3368 WITH SCORE 3372.638
AT ITER 2794 NEW BEST:: SOT 20463 SOS 4628 HAS SOPS 4082 HAS SOUS 3750 HAS SOUPS 3364 WITH SCORE 3368.628
AT ITER 2799 NEW BEST:: SOT 20463 SOS 4619 HAS SOPS 4081 HAS SOUS 3746 HAS SOUPS 3364 WITH SCORE 3368.619
AT ITER 2894 NEW BEST:: SOT 20461 SOS 4617 HAS SOPS 4080 HAS SOUS 3744 HAS SOUPS 3363 WITH SCORE 3367.617
AT ITER 2895 NEW BEST:: SOT 20461 SOS 4616 HAS SOPS 4080 HAS SOUS 3743 HAS SOUPS 3363 WITH SCORE 3367.616
AT ITER 2949 NEW BEST:: SOT 20454 SOS 4611 HAS SOPS 4076 HAS SOUS 3735 HAS SOUPS 3356 WITH SCORE 3360.611
AT ITER 2962 NEW BEST:: SOT 20453 SOS 4611 HAS SOPS 4076 HAS SOUS 3733 HAS SOUPS 3355 WITH SCORE 3359.611
AT ITER 3023 NEW BEST:: SOT 20453 SOS 4596 HAS SOPS 4062 HAS SOUS 3718 HAS SOUPS 3341 WITH SCORE 3345.596
AT ITER 3040 NEW BEST:: SOT 20456 SOS 4581 HAS SOPS 4047 HAS SOUS 3715 HAS SOUPS 3338 WITH SCORE 3342.581
AT ITER 3135 NEW BEST:: SOT 20454 SOS 4547 HAS SOPS 4013 HAS SOUS 3707 HAS SOUPS 3330 WITH SCORE 3334.547
AT ITER 3165 NEW BEST:: SOT 20451 SOS 4544 HAS SOPS 4010 HAS SOUS 3705 HAS SOUPS 3328 WITH SCORE 3332.544
AT ITER 3182 NEW BEST:: SOT 20452 SOS 4528 HAS SOPS 3987 HAS SOUS 3668 HAS SOUPS 3293 WITH SCORE 3297.528
AT ITER 3255 NEW BEST:: SOT 20457 SOS 4508 HAS SOPS 3967 HAS SOUS 3664 HAS SOUPS 3289 WITH SCORE 3293.508
AT ITER 3265 NEW BEST:: SOT 20459 SOS 4488 HAS SOPS 3947 HAS SOUS 3656 HAS SOUPS 3281 WITH SCORE 3285.488
AT ITER 3278 NEW BEST:: SOT 20453 SOS 4482 HAS SOPS 3941 HAS SOUS 3644 HAS SOUPS 3275 WITH SCORE 3279.482
AT ITER 3285 NEW BEST:: SOT 20449 SOS 4478 HAS SOPS 3936 HAS SOUS 3640 HAS SOUPS 3270 WITH SCORE 3274.478
AT ITER 3356 NEW BEST:: SOT 20448 SOS 4477 HAS SOPS 3934 HAS SOUS 3628 HAS SOUPS 3257 WITH SCORE 3261.477
AT ITER 3385 NEW BEST:: SOT 20447 SOS 4463 HAS SOPS 3925 HAS SOUS 3614 HAS SOUPS 3248 WITH SCORE 3252.463
AT ITER 3490 NEW BEST:: SOT 20441 SOS 4455 HAS SOPS 3917 HAS SOUS 3603 HAS SOUPS 3237 WITH SCORE 3241.455
AT ITER 3552 NEW BEST:: SOT 20440 SOS 4454 HAS SOPS 3916 HAS SOUS 3602 HAS SOUPS 3236 WITH SCORE 3240.454
AT ITER 3689 NEW BEST:: SOT 20438 SOS 4350 HAS SOPS 3812 HAS SOUS 3591 HAS SOUPS 3225 WITH SCORE 3229.35
AT ITER 3757 NEW BEST:: SOT 20437 SOS 4345 HAS SOPS 3807 HAS SOUS 3586 HAS SOUPS 3220 WITH SCORE 3224.345
AT ITER 3778 NEW BEST:: SOT 20429 SOS 4331 HAS SOPS 3797 HAS SOUS 3572 HAS SOUPS 3210 WITH SCORE 3214.331
AT ITER 3792 NEW BEST:: SOT 20437 SOS 4295 HAS SOPS 3770 HAS SOUS 3560 HAS SOUPS 3207 WITH SCORE 3211.295
AT ITER 3793 NEW BEST:: SOT 20437 SOS 4280 HAS SOPS 3766 HAS SOUS 3550 HAS SOUPS 3200 WITH SCORE 3204.28
AT ITER 3840 NEW BEST:: SOT 20433 SOS 4275 HAS SOPS 3761 HAS SOUS 3544 HAS SOUPS 3194 WITH SCORE 3198.275
AT ITER 3891 NEW BEST:: SOT 20431 SOS 4273 HAS SOPS 3759 HAS SOUS 3542 HAS SOUPS 3192 WITH SCORE 3196.273
AT ITER 4071 NEW BEST:: SOT 20417 SOS 4272 HAS SOPS 3771 HAS SOUS 3523 HAS SOUPS 3180 WITH SCORE 3184.272
AT ITER 4118 NEW BEST:: SOT 20413 SOS 4302 HAS SOPS 3766 HAS SOUS 3549 HAS SOUPS 3175 WITH SCORE 3179.302
AT ITER 4139 NEW BEST:: SOT 20412 SOS 4298 HAS SOPS 3764 HAS SOUS 3545 HAS SOUPS 3173 WITH SCORE 3177.298
AT ITER 4212 NEW BEST:: SOT 20412 SOS 4291 HAS SOPS 3757 HAS SOUS 3538 HAS SOUPS 3166 WITH SCORE 3170.291
AT ITER 4266 NEW BEST:: SOT 20411 SOS 4290 HAS SOPS 3756 HAS SOUS 3537 HAS SOUPS 3165 WITH SCORE 3169.29
AT ITER 4272 NEW BEST:: SOT 20407 SOS 4286 HAS SOPS 3752 HAS SOUS 3533 HAS SOUPS 3161 WITH SCORE 3165.286
AT ITER 4324 NEW BEST:: SOT 20406 SOS 4277 HAS SOPS 3750 HAS SOUS 3524 HAS SOUPS 3159 WITH SCORE 3163.277
AT ITER 4337 NEW BEST:: SOT 20402 SOS 4269 HAS SOPS 3742 HAS SOUS 3516 HAS SOUPS 3151 WITH SCORE 3155.269
AT ITER 4458 NEW BEST:: SOT 20401 SOS 4268 HAS SOPS 3741 HAS SOUS 3515 HAS SOUPS 3150 WITH SCORE 3154.268
AT ITER 4478 NEW BEST:: SOT 20415 SOS 4282 HAS SOPS 3739 HAS SOUS 3518 HAS SOUPS 3148 WITH SCORE 3152.282
AT ITER 4490 NEW BEST:: SOT 20412 SOS 4287 HAS SOPS 3744 HAS SOUS 3511 HAS SOUPS 3141 WITH SCORE 3145.287
AT ITER 4549 NEW BEST:: SOT 20411 SOS 4286 HAS SOPS 3743 HAS SOUS 3511 HAS SOUPS 3141 WITH SCORE 3145.286
AT ITER 4612 NEW BEST:: SOT 20411 SOS 4291 HAS SOPS 3742 HAS SOUS 3515 HAS SOUPS 3139 WITH SCORE 3143.291
AT ITER 4615 NEW BEST:: SOT 20411 SOS 4282 HAS SOPS 3732 HAS SOUS 3503 HAS SOUPS 3127 WITH SCORE 3131.282
AT ITER 4651 NEW BEST:: SOT 20402 SOS 4273 HAS SOPS 3723 HAS SOUS 3494 HAS SOUPS 3118 WITH SCORE 3122.273
AT ITER 4733 NEW BEST:: SOT 20401 SOS 4272 HAS SOPS 3721 HAS SOUS 3492 HAS SOUPS 3116 WITH SCORE 3120.272
AT ITER 4887 NEW BEST:: SOT 20398 SOS 4273 HAS SOPS 3720 HAS SOUS 3491 HAS SOUPS 3115 WITH SCORE 3119.273
AT ITER 4931 NEW BEST:: SOT 20396 SOS 4274 HAS SOPS 3715 HAS SOUS 3494 HAS SOUPS 3112 WITH SCORE 3116.274
AT ITER 4944 NEW BEST:: SOT 20392 SOS 4270 HAS SOPS 3707 HAS SOUS 3490 HAS SOUPS 3104 WITH SCORE 3108.27
AT ITER 4952 NEW BEST:: SOT 20407 SOS 4254 HAS SOPS 3691 HAS SOUS 3490 HAS SOUPS 3104 WITH SCORE 3108.254
AT ITER 5056 NEW BEST:: SOT 20407 SOS 4243 HAS SOPS 3691 HAS SOUS 3479 HAS SOUPS 3104 WITH SCORE 3108.243
AT ITER 5100 NEW BEST:: SOT 20407 SOS 4243 HAS SOPS 3691 HAS SOUS 3478 HAS SOUPS 3103 WITH SCORE 3107.243
AT ITER 5101 NEW BEST:: SOT 20409 SOS 4240 HAS SOPS 3683 HAS SOUS 3477 HAS SOUPS 3097 WITH SCORE 3101.24
AT ITER 5143 NEW BEST:: SOT 20411 SOS 4248 HAS SOPS 3687 HAS SOUS 3479 HAS SOUPS 3095 WITH SCORE 3099.248
AT ITER 5163 NEW BEST:: SOT 20411 SOS 4249 HAS SOPS 3688 HAS SOUS 3477 HAS SOUPS 3093 WITH SCORE 3097.249
AT ITER 5190 NEW BEST:: SOT 20429 SOS 4246 HAS SOPS 3685 HAS SOUS 3474 HAS SOUPS 3090 WITH SCORE 3094.246
AT ITER 5224 NEW BEST:: SOT 20426 SOS 4240 HAS SOPS 3685 HAS SOUS 3471 HAS SOUPS 3090 WITH SCORE 3094.24
AT ITER 5234 NEW BEST:: SOT 20432 SOS 4236 HAS SOPS 3687 HAS SOUS 3460 HAS SOUPS 3083 WITH SCORE 3087.236
AT ITER 5275 NEW BEST:: SOT 20432 SOS 4233 HAS SOPS 3686 HAS SOUS 3458 HAS SOUPS 3082 WITH SCORE 3086.233
AT ITER 5284 NEW BEST:: SOT 20432 SOS 4231 HAS SOPS 3684 HAS SOUS 3458 HAS SOUPS 3082 WITH SCORE 3086.231
AT ITER 5303 NEW BEST:: SOT 20431 SOS 4230 HAS SOPS 3683 HAS SOUS 3457 HAS SOUPS 3081 WITH SCORE 3085.23
AT ITER 5394 NEW BEST:: SOT 20431 SOS 4230 HAS SOPS 3683 HAS SOUS 3456 HAS SOUPS 3080 WITH SCORE 3084.23
AT ITER 5444 NEW BEST:: SOT 20430 SOS 4227 HAS SOPS 3680 HAS SOUS 3453 HAS SOUPS 3077 WITH SCORE 3081.227
AT ITER 5460 NEW BEST:: SOT 20429 SOS 4226 HAS SOPS 3679 HAS SOUS 3452 HAS SOUPS 3076 WITH SCORE 3080.226
AT ITER 5549 NEW BEST:: SOT 20429 SOS 4211 HAS SOPS 3664 HAS SOUS 3452 HAS SOUPS 3076 WITH SCORE 3080.211
AT ITER 5727 NEW BEST:: SOT 20428 SOS 4210 HAS SOPS 3663 HAS SOUS 3451 HAS SOUPS 3075 WITH SCORE 3079.21
AT ITER 5797 NEW BEST:: SOT 20423 SOS 4205 HAS SOPS 3663 HAS SOUS 3446 HAS SOUPS 3075 WITH SCORE 3079.205
AT ITER 5805 NEW BEST:: SOT 20422 SOS 4199 HAS SOPS 3663 HAS SOUS 3440 HAS SOUPS 3075 WITH SCORE 3079.199
AT ITER 5918 NEW BEST:: SOT 20420 SOS 4199 HAS SOPS 3659 HAS SOUS 3440 HAS SOUPS 3071 WITH SCORE 3075.199
AT ITER 5972 NEW BEST:: SOT 20417 SOS 4196 HAS SOPS 3657 HAS SOUS 3434 HAS SOUPS 3066 WITH SCORE 3070.196
AT ITER 6058 NEW BEST:: SOT 20420 SOS 4193 HAS SOPS 3654 HAS SOUS 3431 HAS SOUPS 3063 WITH SCORE 3067.193
AT ITER 6078 NEW BEST:: SOT 20411 SOS 4184 HAS SOPS 3645 HAS SOUS 3422 HAS SOUPS 3054 WITH SCORE 3058.184
AT ITER 6116 NEW BEST:: SOT 20408 SOS 4182 HAS SOPS 3643 HAS SOUS 3420 HAS SOUPS 3052 WITH SCORE 3056.182
AT ITER 6117 NEW BEST:: SOT 20410 SOS 4176 HAS SOPS 3637 HAS SOUS 3418 HAS SOUPS 3050 WITH SCORE 3054.176
AT ITER 6118 NEW BEST:: SOT 20404 SOS 4177 HAS SOPS 3636 HAS SOUS 3405 HAS SOUPS 3040 WITH SCORE 3044.177
AT ITER 6123 NEW BEST:: SOT 20395 SOS 4198 HAS SOPS 3657 HAS SOUS 3400 HAS SOUPS 3035 WITH SCORE 3039.198
AT ITER 6141 NEW BEST:: SOT 20386 SOS 4179 HAS SOPS 3647 HAS SOUS 3381 HAS SOUPS 3025 WITH SCORE 3029.179
AT ITER 6176 NEW BEST:: SOT 20380 SOS 4176 HAS SOPS 3644 HAS SOUS 3378 HAS SOUPS 3022 WITH SCORE 3026.176
AT ITER 6180 NEW BEST:: SOT 20380 SOS 4173 HAS SOPS 3641 HAS SOUS 3375 HAS SOUPS 3019 WITH SCORE 3023.173
AT ITER 6253 NEW BEST:: SOT 20380 SOS 4172 HAS SOPS 3640 HAS SOUS 3375 HAS SOUPS 3019 WITH SCORE 3023.172
AT ITER 6357 NEW BEST:: SOT 20380 SOS 4164 HAS SOPS 3638 HAS SOUS 3367 HAS SOUPS 3017 WITH SCORE 3021.164
AT ITER 6402 NEW BEST:: SOT 20375 SOS 4181 HAS SOPS 3657 HAS SOUS 3351 HAS SOUPS 3013 WITH SCORE 3017.181
AT ITER 6462 NEW BEST:: SOT 20365 SOS 4171 HAS SOPS 3657 HAS SOUS 3341 HAS SOUPS 3013 WITH SCORE 3017.171
AT ITER 6494 NEW BEST:: SOT 20366 SOS 4172 HAS SOPS 3655 HAS SOUS 3342 HAS SOUPS 3011 WITH SCORE 3015.172
AT ITER 6506 NEW BEST:: SOT 20364 SOS 4171 HAS SOPS 3654 HAS SOUS 3341 HAS SOUPS 3010 WITH SCORE 3014.171
AT ITER 6564 NEW BEST:: SOT 20363 SOS 4170 HAS SOPS 3655 HAS SOUS 3340 HAS SOUPS 3009 WITH SCORE 3013.17
AT ITER 6619 NEW BEST:: SOT 20359 SOS 4166 HAS SOPS 3651 HAS SOUS 3336 HAS SOUPS 3005 WITH SCORE 3009.166
AT ITER 6751 NEW BEST:: SOT 20358 SOS 4165 HAS SOPS 3650 HAS SOUS 3335 HAS SOUPS 3004 WITH SCORE 3008.165
AT ITER 6804 NEW BEST:: SOT 20344 SOS 4137 HAS SOPS 3622 HAS SOUS 3307 HAS SOUPS 2976 WITH SCORE 2980.137
AT ITER 6939 NEW BEST:: SOT 20344 SOS 4133 HAS SOPS 3622 HAS SOUS 3307 HAS SOUPS 2976 WITH SCORE 2980.133
AT ITER 7085 NEW BEST:: SOT 20342 SOS 4131 HAS SOPS 3622 HAS SOUS 3305 HAS SOUPS 2976 WITH SCORE 2980.131
AT ITER 7209 NEW BEST:: SOT 20341 SOS 4130 HAS SOPS 3621 HAS SOUS 3304 HAS SOUPS 2975 WITH SCORE 2979.13
AT ITER 7236 NEW BEST:: SOT 20341 SOS 4121 HAS SOPS 3617 HAS SOUS 3300 HAS SOUPS 2971 WITH SCORE 2975.121
AT ITER 7376 NEW BEST:: SOT 20339 SOS 4122 HAS SOPS 3618 HAS SOUS 3298 HAS SOUPS 2969 WITH SCORE 2973.122
AT ITER 7930 NEW BEST:: SOT 20339 SOS 4119 HAS SOPS 3615 HAS SOUS 3297 HAS SOUPS 2968 WITH SCORE 2972.119
AT ITER 8015 NEW BEST:: SOT 20339 SOS 4113 HAS SOPS 3615 HAS SOUS 3297 HAS SOUPS 2968 WITH SCORE 2972.113
AT ITER 8034 NEW BEST:: SOT 20338 SOS 4110 HAS SOPS 3612 HAS SOUS 3293 HAS SOUPS 2964 WITH SCORE 2968.11
AT ITER 8157 NEW BEST:: SOT 20334 SOS 4109 HAS SOPS 3611 HAS SOUS 3292 HAS SOUPS 2963 WITH SCORE 2967.109
AT ITER 8328 NEW BEST:: SOT 20333 SOS 4106 HAS SOPS 3608 HAS SOUS 3289 HAS SOUPS 2960 WITH SCORE 2964.106
AT ITER 8371 NEW BEST:: SOT 20331 SOS 4104 HAS SOPS 3606 HAS SOUS 3287 HAS SOUPS 2958 WITH SCORE 2962.104
AT ITER 8395 NEW BEST:: SOT 20330 SOS 4064 HAS SOPS 3566 HAS SOUS 3276 HAS SOUPS 2947 WITH SCORE 2951.064
AT ITER 8403 NEW BEST:: SOT 20330 SOS 4063 HAS SOPS 3566 HAS SOUS 3275 HAS SOUPS 2947 WITH SCORE 2951.063
AT ITER 8411 NEW BEST:: SOT 20326 SOS 4065 HAS SOPS 3560 HAS SOUS 3277 HAS SOUPS 2941 WITH SCORE 2945.065
AT ITER 8440 NEW BEST:: SOT 20322 SOS 4049 HAS SOPS 3560 HAS SOUS 3277 HAS SOUPS 2941 WITH SCORE 2945.049
AT ITER 8628 NEW BEST:: SOT 20321 SOS 4047 HAS SOPS 3558 HAS SOUS 3275 HAS SOUPS 2939 WITH SCORE 2943.047
AT ITER 8678 NEW BEST:: SOT 20315 SOS 4041 HAS SOPS 3550 HAS SOUS 3269 HAS SOUPS 2931 WITH SCORE 2935.041
AT ITER 8691 NEW BEST:: SOT 20315 SOS 4041 HAS SOPS 3549 HAS SOUS 3269 HAS SOUPS 2930 WITH SCORE 2934.041
AT ITER 8752 NEW BEST:: SOT 20317 SOS 4033 HAS SOPS 3541 HAS SOUS 3271 HAS SOUPS 2930 WITH SCORE 2934.033
AT ITER 8814 NEW BEST:: SOT 20315 SOS 4030 HAS SOPS 3538 HAS SOUS 3268 HAS SOUPS 2927 WITH SCORE 2931.03
AT ITER 8897 NEW BEST:: SOT 20317 SOS 4029 HAS SOPS 3537 HAS SOUS 3267 HAS SOUPS 2926 WITH SCORE 2930.029
AT ITER 8943 NEW BEST:: SOT 20317 SOS 4028 HAS SOPS 3536 HAS SOUS 3266 HAS SOUPS 2925 WITH SCORE 2929.028
AT ITER 8952 NEW BEST:: SOT 20315 SOS 4022 HAS SOPS 3530 HAS SOUS 3260 HAS SOUPS 2919 WITH SCORE 2923.022
AT ITER 8974 NEW BEST:: SOT 20315 SOS 4015 HAS SOPS 3523 HAS SOUS 3253 HAS SOUPS 2912 WITH SCORE 2916.015
AT ITER 9054 NEW BEST:: SOT 20315 SOS 4014 HAS SOPS 3522 HAS SOUS 3252 HAS SOUPS 2911 WITH SCORE 2915.014
AT ITER 9258 NEW BEST:: SOT 20314 SOS 3955 HAS SOPS 3487 HAS SOUS 3242 HAS SOUPS 2904 WITH SCORE 2907.955
AT ITER 9315 NEW BEST:: SOT 20311 SOS 3950 HAS SOPS 3482 HAS SOUS 3237 HAS SOUPS 2899 WITH SCORE 2902.95
AT ITER 9357 NEW BEST:: SOT 20311 SOS 3957 HAS SOPS 3475 HAS SOUS 3237 HAS SOUPS 2892 WITH SCORE 2895.957
AT ITER 9405 NEW BEST:: SOT 20308 SOS 3946 HAS SOPS 3464 HAS SOUS 3230 HAS SOUPS 2885 WITH SCORE 2888.946
AT ITER 9551 NEW BEST:: SOT 20308 SOS 3944 HAS SOPS 3462 HAS SOUS 3228 HAS SOUPS 2883 WITH SCORE 2886.944
AT ITER 9625 NEW BEST:: SOT 20303 SOS 3942 HAS SOPS 3456 HAS SOUS 3224 HAS SOUPS 2877 WITH SCORE 2880.942
AT ITER 9668 NEW BEST:: SOT 20302 SOS 3939 HAS SOPS 3454 HAS SOUS 3221 HAS SOUPS 2875 WITH SCORE 2878.939
AT ITER 9703 NEW BEST:: SOT 20302 SOS 3938 HAS SOPS 3453 HAS SOUS 3220 HAS SOUPS 2874 WITH SCORE 2877.938
AT ITER 9726 NEW BEST:: SOT 20299 SOS 3930 HAS SOPS 3451 HAS SOUS 3212 HAS SOUPS 2872 WITH SCORE 2875.93
AT ITER 9998 NEW BEST:: SOT 20300 SOS 3872 HAS SOPS 3432 HAS SOUS 3201 HAS SOUPS 2867 WITH SCORE 2870.872
STATE_SPACE STATES 2776936 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 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13152132 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589644643393

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

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