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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 364K
-rw-r--r-- 1 mcc users 4.1K Apr 13 14:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 13 14:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 13 14:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 13 14:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Apr 13 12:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 4.4K Apr 13 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 13 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 13 14:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 13 14:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 13 14:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 13 14:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 174K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589644962501

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

Filename model.pnml
Petri model created: 231 places, 202 transitions, 846 arcs.
AT ITER 0 NEW BEST:: SOT 27791 SOS 6064 HAS SOPS 5679 HAS SOUS 5557 HAS SOUPS 5282 WITH SCORE 5288.064
AT ITER 27 NEW BEST:: SOT 27707 SOS 6025 HAS SOPS 5640 HAS SOUS 5501 HAS SOUPS 5226 WITH SCORE 5232.025
AT ITER 30 NEW BEST:: SOT 27707 SOS 6016 HAS SOPS 5631 HAS SOUS 5492 HAS SOUPS 5217 WITH SCORE 5223.016
AT ITER 32 NEW BEST:: SOT 27707 SOS 6016 HAS SOPS 5631 HAS SOUS 5491 HAS SOUPS 5216 WITH SCORE 5222.016
AT ITER 34 NEW BEST:: SOT 27693 SOS 6002 HAS SOPS 5617 HAS SOUS 5487 HAS SOUPS 5212 WITH SCORE 5218.002
AT ITER 59 NEW BEST:: SOT 27692 SOS 6000 HAS SOPS 5615 HAS SOUS 5485 HAS SOUPS 5210 WITH SCORE 5216.0
AT ITER 67 NEW BEST:: SOT 27690 SOS 5998 HAS SOPS 5619 HAS SOUS 5483 HAS SOUPS 5210 WITH SCORE 5215.998
AT ITER 89 NEW BEST:: SOT 27691 SOS 6014 HAS SOPS 5618 HAS SOUS 5499 HAS SOUPS 5209 WITH SCORE 5215.014
AT ITER 91 NEW BEST:: SOT 27617 SOS 6126 HAS SOPS 5709 HAS SOUS 5456 HAS SOUPS 5147 WITH SCORE 5153.126
AT ITER 117 NEW BEST:: SOT 27612 SOS 6114 HAS SOPS 5692 HAS SOUS 5444 HAS SOUPS 5130 WITH SCORE 5136.114
AT ITER 130 NEW BEST:: SOT 27573 SOS 6075 HAS SOPS 5633 HAS SOUS 5391 HAS SOUPS 5057 WITH SCORE 5063.075
AT ITER 134 NEW BEST:: SOT 27571 SOS 6067 HAS SOPS 5631 HAS SOUS 5374 HAS SOUPS 5042 WITH SCORE 5048.067
AT ITER 256 NEW BEST:: SOT 27565 SOS 6049 HAS SOPS 5613 HAS SOUS 5363 HAS SOUPS 5031 WITH SCORE 5037.049
AT ITER 282 NEW BEST:: SOT 27565 SOS 6010 HAS SOPS 5574 HAS SOUS 5350 HAS SOUPS 5018 WITH SCORE 5024.01
AT ITER 291 NEW BEST:: SOT 27560 SOS 5961 HAS SOPS 5571 HAS SOUS 5324 HAS SOUPS 5015 WITH SCORE 5020.961
AT ITER 322 NEW BEST:: SOT 27560 SOS 5970 HAS SOPS 5580 HAS SOUS 5322 HAS SOUPS 5013 WITH SCORE 5018.97
AT ITER 327 NEW BEST:: SOT 27550 SOS 5948 HAS SOPS 5546 HAS SOUS 5300 HAS SOUPS 4979 WITH SCORE 4984.948
AT ITER 341 NEW BEST:: SOT 27541 SOS 5939 HAS SOPS 5528 HAS SOUS 5287 HAS SOUPS 4959 WITH SCORE 4964.939
AT ITER 353 NEW BEST:: SOT 27526 SOS 5922 HAS SOPS 5511 HAS SOUS 5270 HAS SOUPS 4942 WITH SCORE 4947.922
AT ITER 376 NEW BEST:: SOT 27515 SOS 5903 HAS SOPS 5481 HAS SOUS 5256 HAS SOUPS 4917 WITH SCORE 4922.903
AT ITER 404 NEW BEST:: SOT 27512 SOS 5902 HAS SOPS 5477 HAS SOUS 5255 HAS SOUPS 4913 WITH SCORE 4918.902
AT ITER 418 NEW BEST:: SOT 27510 SOS 5896 HAS SOPS 5471 HAS SOUS 5249 HAS SOUPS 4907 WITH SCORE 4912.896
AT ITER 436 NEW BEST:: SOT 27510 SOS 5887 HAS SOPS 5462 HAS SOUS 5240 HAS SOUPS 4898 WITH SCORE 4903.887
AT ITER 457 NEW BEST:: SOT 27498 SOS 5888 HAS SOPS 5463 HAS SOUS 5237 HAS SOUPS 4895 WITH SCORE 4900.888
AT ITER 479 NEW BEST:: SOT 27488 SOS 5879 HAS SOPS 5442 HAS SOUS 5228 HAS SOUPS 4874 WITH SCORE 4879.879
AT ITER 497 NEW BEST:: SOT 27529 SOS 5843 HAS SOPS 5466 HAS SOUS 5181 HAS SOUPS 4853 WITH SCORE 4858.843
AT ITER 504 NEW BEST:: SOT 27538 SOS 5794 HAS SOPS 5417 HAS SOUS 5163 HAS SOUPS 4835 WITH SCORE 4840.794
AT ITER 532 NEW BEST:: SOT 27528 SOS 5729 HAS SOPS 5378 HAS SOUS 5131 HAS SOUPS 4816 WITH SCORE 4821.729
AT ITER 549 NEW BEST:: SOT 27503 SOS 5733 HAS SOPS 5371 HAS SOUS 5120 HAS SOUPS 4794 WITH SCORE 4799.733
AT ITER 560 NEW BEST:: SOT 27503 SOS 5733 HAS SOPS 5371 HAS SOUS 5117 HAS SOUPS 4791 WITH SCORE 4796.733
AT ITER 561 NEW BEST:: SOT 27336 SOS 5551 HAS SOPS 5185 HAS SOUS 4935 HAS SOUPS 4605 WITH SCORE 4610.551
AT ITER 581 NEW BEST:: SOT 27329 SOS 5547 HAS SOPS 5173 HAS SOUS 4931 HAS SOUPS 4593 WITH SCORE 4598.547
AT ITER 596 NEW BEST:: SOT 27329 SOS 5544 HAS SOPS 5170 HAS SOUS 4928 HAS SOUPS 4590 WITH SCORE 4595.544
AT ITER 600 NEW BEST:: SOT 27317 SOS 5548 HAS SOPS 5162 HAS SOUS 4928 HAS SOUPS 4578 WITH SCORE 4583.548
AT ITER 638 NEW BEST:: SOT 27305 SOS 5532 HAS SOPS 5146 HAS SOUS 4912 HAS SOUPS 4562 WITH SCORE 4567.532
AT ITER 704 NEW BEST:: SOT 27293 SOS 5520 HAS SOPS 5122 HAS SOUS 4898 HAS SOUPS 4537 WITH SCORE 4542.52
AT ITER 727 NEW BEST:: SOT 27297 SOS 5524 HAS SOPS 5126 HAS SOUS 4895 HAS SOUPS 4534 WITH SCORE 4539.524
AT ITER 776 NEW BEST:: SOT 27284 SOS 5511 HAS SOPS 5113 HAS SOUS 4882 HAS SOUPS 4521 WITH SCORE 4526.511
AT ITER 798 NEW BEST:: SOT 27268 SOS 5495 HAS SOPS 5089 HAS SOUS 4858 HAS SOUPS 4489 WITH SCORE 4494.495
AT ITER 823 NEW BEST:: SOT 27254 SOS 5474 HAS SOPS 5041 HAS SOUS 4813 HAS SOUPS 4437 WITH SCORE 4442.474
AT ITER 826 NEW BEST:: SOT 27253 SOS 5469 HAS SOPS 5039 HAS SOUS 4808 HAS SOUPS 4435 WITH SCORE 4440.469
AT ITER 831 NEW BEST:: SOT 27254 SOS 5458 HAS SOPS 5028 HAS SOUS 4805 HAS SOUPS 4432 WITH SCORE 4437.458
AT ITER 871 NEW BEST:: SOT 27259 SOS 5482 HAS SOPS 5031 HAS SOUS 4805 HAS SOUPS 4421 WITH SCORE 4426.482
AT ITER 879 NEW BEST:: SOT 27256 SOS 5499 HAS SOPS 5012 HAS SOUS 4822 HAS SOUPS 4402 WITH SCORE 4407.499
AT ITER 898 NEW BEST:: SOT 27245 SOS 5477 HAS SOPS 4986 HAS SOUS 4796 HAS SOUPS 4376 WITH SCORE 4381.477
AT ITER 902 NEW BEST:: SOT 27242 SOS 5454 HAS SOPS 4959 HAS SOUS 4773 HAS SOUPS 4349 WITH SCORE 4354.454
AT ITER 915 NEW BEST:: SOT 27243 SOS 5405 HAS SOPS 4893 HAS SOUS 4753 HAS SOUPS 4320 WITH SCORE 4325.405
AT ITER 925 NEW BEST:: SOT 27242 SOS 5404 HAS SOPS 4891 HAS SOUS 4752 HAS SOUPS 4318 WITH SCORE 4323.404
AT ITER 985 NEW BEST:: SOT 27224 SOS 5389 HAS SOPS 4867 HAS SOUS 4731 HAS SOUPS 4297 WITH SCORE 4302.389
AT ITER 996 NEW BEST:: SOT 27224 SOS 5386 HAS SOPS 4865 HAS SOUS 4728 HAS SOUPS 4295 WITH SCORE 4300.386
AT ITER 1016 NEW BEST:: SOT 27222 SOS 5385 HAS SOPS 4863 HAS SOUS 4727 HAS SOUPS 4293 WITH SCORE 4298.385
AT ITER 1073 NEW BEST:: SOT 27228 SOS 5391 HAS SOPS 4846 HAS SOUS 4706 HAS SOUPS 4267 WITH SCORE 4272.391
AT ITER 1087 NEW BEST:: SOT 27228 SOS 5396 HAS SOPS 4844 HAS SOUS 4711 HAS SOUPS 4265 WITH SCORE 4270.396
AT ITER 1142 NEW BEST:: SOT 27225 SOS 5398 HAS SOPS 4846 HAS SOUS 4700 HAS SOUPS 4254 WITH SCORE 4259.398
AT ITER 1187 NEW BEST:: SOT 27225 SOS 5398 HAS SOPS 4846 HAS SOUS 4697 HAS SOUPS 4251 WITH SCORE 4256.398
AT ITER 1193 NEW BEST:: SOT 27215 SOS 5403 HAS SOPS 4835 HAS SOUS 4689 HAS SOUPS 4242 WITH SCORE 4247.403
AT ITER 1314 NEW BEST:: SOT 27221 SOS 5409 HAS SOPS 4826 HAS SOUS 4672 HAS SOUPS 4225 WITH SCORE 4230.409
AT ITER 1320 NEW BEST:: SOT 27213 SOS 5388 HAS SOPS 4805 HAS SOUS 4657 HAS SOUPS 4210 WITH SCORE 4215.388
AT ITER 1322 NEW BEST:: SOT 27190 SOS 5365 HAS SOPS 4782 HAS SOUS 4635 HAS SOUPS 4188 WITH SCORE 4193.365
AT ITER 1331 NEW BEST:: SOT 27190 SOS 5361 HAS SOPS 4782 HAS SOUS 4631 HAS SOUPS 4188 WITH SCORE 4193.361
AT ITER 1340 NEW BEST:: SOT 27190 SOS 5341 HAS SOPS 4762 HAS SOUS 4621 HAS SOUPS 4178 WITH SCORE 4183.341
AT ITER 1350 NEW BEST:: SOT 27187 SOS 5339 HAS SOPS 4760 HAS SOUS 4619 HAS SOUPS 4176 WITH SCORE 4181.339
AT ITER 1368 NEW BEST:: SOT 27167 SOS 5333 HAS SOPS 4754 HAS SOUS 4613 HAS SOUPS 4170 WITH SCORE 4175.333
AT ITER 1377 NEW BEST:: SOT 27170 SOS 5259 HAS SOPS 4701 HAS SOUS 4563 HAS SOUPS 4120 WITH SCORE 4125.259
AT ITER 1404 NEW BEST:: SOT 27167 SOS 5254 HAS SOPS 4700 HAS SOUS 4562 HAS SOUPS 4119 WITH SCORE 4124.254
AT ITER 1405 NEW BEST:: SOT 27167 SOS 5252 HAS SOPS 4698 HAS SOUS 4560 HAS SOUPS 4117 WITH SCORE 4122.252
AT ITER 1474 NEW BEST:: SOT 27155 SOS 5263 HAS SOPS 4677 HAS SOUS 4533 HAS SOUPS 4076 WITH SCORE 4081.263
AT ITER 1523 NEW BEST:: SOT 27153 SOS 5261 HAS SOPS 4675 HAS SOUS 4531 HAS SOUPS 4074 WITH SCORE 4079.261
AT ITER 1542 NEW BEST:: SOT 27147 SOS 5256 HAS SOPS 4664 HAS SOUS 4527 HAS SOUPS 4064 WITH SCORE 4069.256
AT ITER 1558 NEW BEST:: SOT 27128 SOS 5181 HAS SOPS 4663 HAS SOUS 4452 HAS SOUPS 4063 WITH SCORE 4068.181
AT ITER 1590 NEW BEST:: SOT 27130 SOS 5165 HAS SOPS 4655 HAS SOUS 4450 HAS SOUPS 4063 WITH SCORE 4068.165
AT ITER 1605 NEW BEST:: SOT 27130 SOS 5162 HAS SOPS 4652 HAS SOUS 4447 HAS SOUPS 4060 WITH SCORE 4065.162
AT ITER 1632 NEW BEST:: SOT 27132 SOS 5140 HAS SOPS 4630 HAS SOUS 4429 HAS SOUPS 4042 WITH SCORE 4047.14
AT ITER 1669 NEW BEST:: SOT 27131 SOS 5139 HAS SOPS 4629 HAS SOUS 4428 HAS SOUPS 4041 WITH SCORE 4046.139
AT ITER 1685 NEW BEST:: SOT 27128 SOS 5140 HAS SOPS 4630 HAS SOUS 4421 HAS SOUPS 4034 WITH SCORE 4039.14
AT ITER 1705 NEW BEST:: SOT 27113 SOS 5114 HAS SOPS 4615 HAS SOUS 4400 HAS SOUPS 4017 WITH SCORE 4022.114
AT ITER 1727 NEW BEST:: SOT 27110 SOS 5111 HAS SOPS 4612 HAS SOUS 4393 HAS SOUPS 4010 WITH SCORE 4015.111
AT ITER 1734 NEW BEST:: SOT 27110 SOS 5100 HAS SOPS 4601 HAS SOUS 4392 HAS SOUPS 4009 WITH SCORE 4014.1
AT ITER 1753 NEW BEST:: SOT 27110 SOS 5097 HAS SOPS 4599 HAS SOUS 4389 HAS SOUPS 4007 WITH SCORE 4012.097
AT ITER 1784 NEW BEST:: SOT 27107 SOS 5094 HAS SOPS 4584 HAS SOUS 4377 HAS SOUPS 3995 WITH SCORE 4000.094
AT ITER 1828 NEW BEST:: SOT 27104 SOS 5085 HAS SOPS 4575 HAS SOUS 4371 HAS SOUPS 3989 WITH SCORE 3994.085
AT ITER 1849 NEW BEST:: SOT 27095 SOS 5076 HAS SOPS 4567 HAS SOUS 4360 HAS SOUPS 3979 WITH SCORE 3984.076
AT ITER 1866 NEW BEST:: SOT 27082 SOS 5050 HAS SOPS 4541 HAS SOUS 4334 HAS SOUPS 3953 WITH SCORE 3958.05
AT ITER 1870 NEW BEST:: SOT 27073 SOS 5040 HAS SOPS 4531 HAS SOUS 4324 HAS SOUPS 3943 WITH SCORE 3948.04
AT ITER 1910 NEW BEST:: SOT 27060 SOS 5013 HAS SOPS 4504 HAS SOUS 4297 HAS SOUPS 3916 WITH SCORE 3921.013
AT ITER 2098 NEW BEST:: SOT 27054 SOS 5023 HAS SOPS 4499 HAS SOUS 4307 HAS SOUPS 3911 WITH SCORE 3916.023
AT ITER 2100 NEW BEST:: SOT 27053 SOS 5022 HAS SOPS 4497 HAS SOUS 4307 HAS SOUPS 3910 WITH SCORE 3915.022
AT ITER 2222 NEW BEST:: SOT 27041 SOS 5010 HAS SOPS 4497 HAS SOUS 4295 HAS SOUPS 3910 WITH SCORE 3915.01
AT ITER 2235 NEW BEST:: SOT 27026 SOS 4987 HAS SOPS 4489 HAS SOUS 4277 HAS SOUPS 3902 WITH SCORE 3906.987
AT ITER 2279 NEW BEST:: SOT 27026 SOS 4977 HAS SOPS 4479 HAS SOUS 4267 HAS SOUPS 3892 WITH SCORE 3896.977
AT ITER 2337 NEW BEST:: SOT 27025 SOS 4976 HAS SOPS 4478 HAS SOUS 4266 HAS SOUPS 3891 WITH SCORE 3895.976
AT ITER 2360 NEW BEST:: SOT 27023 SOS 4974 HAS SOPS 4474 HAS SOUS 4266 HAS SOUPS 3889 WITH SCORE 3893.974
AT ITER 2361 NEW BEST:: SOT 27016 SOS 4967 HAS SOPS 4467 HAS SOUS 4259 HAS SOUPS 3882 WITH SCORE 3886.967
AT ITER 2463 NEW BEST:: SOT 27009 SOS 4960 HAS SOPS 4453 HAS SOUS 4243 HAS SOUPS 3863 WITH SCORE 3867.96
AT ITER 2467 NEW BEST:: SOT 27007 SOS 4939 HAS SOPS 4451 HAS SOUS 4224 HAS SOUPS 3861 WITH SCORE 3865.939
AT ITER 2487 NEW BEST:: SOT 27004 SOS 4936 HAS SOPS 4451 HAS SOUS 4224 HAS SOUPS 3861 WITH SCORE 3865.936
AT ITER 2566 NEW BEST:: SOT 27014 SOS 4930 HAS SOPS 4445 HAS SOUS 4218 HAS SOUPS 3855 WITH SCORE 3859.93
AT ITER 2583 NEW BEST:: SOT 27014 SOS 4928 HAS SOPS 4443 HAS SOUS 4216 HAS SOUPS 3853 WITH SCORE 3857.928
AT ITER 2589 NEW BEST:: SOT 27003 SOS 4926 HAS SOPS 4441 HAS SOUS 4212 HAS SOUPS 3849 WITH SCORE 3853.926
AT ITER 2623 NEW BEST:: SOT 27001 SOS 4908 HAS SOPS 4439 HAS SOUS 4194 HAS SOUPS 3847 WITH SCORE 3851.908
AT ITER 2659 NEW BEST:: SOT 27001 SOS 4890 HAS SOPS 4421 HAS SOUS 4174 HAS SOUPS 3836 WITH SCORE 3840.89
AT ITER 2747 NEW BEST:: SOT 26994 SOS 4877 HAS SOPS 4408 HAS SOUS 4161 HAS SOUPS 3823 WITH SCORE 3827.877
AT ITER 2748 NEW BEST:: SOT 26996 SOS 4867 HAS SOPS 4398 HAS SOUS 4151 HAS SOUPS 3813 WITH SCORE 3817.867
AT ITER 2770 NEW BEST:: SOT 26993 SOS 4854 HAS SOPS 4391 HAS SOUS 4151 HAS SOUPS 3813 WITH SCORE 3817.854
AT ITER 2796 NEW BEST:: SOT 26991 SOS 4852 HAS SOPS 4390 HAS SOUS 4149 HAS SOUPS 3812 WITH SCORE 3816.852
AT ITER 2802 NEW BEST:: SOT 26994 SOS 4861 HAS SOPS 4393 HAS SOUS 4142 HAS SOUPS 3806 WITH SCORE 3810.861
AT ITER 2855 NEW BEST:: SOT 26980 SOS 4867 HAS SOPS 4398 HAS SOUS 4138 HAS SOUPS 3802 WITH SCORE 3806.867
AT ITER 2874 NEW BEST:: SOT 26979 SOS 4866 HAS SOPS 4398 HAS SOUS 4137 HAS SOUPS 3802 WITH SCORE 3806.866
AT ITER 2909 NEW BEST:: SOT 26975 SOS 4862 HAS SOPS 4394 HAS SOUS 4132 HAS SOUPS 3797 WITH SCORE 3801.862
AT ITER 2917 NEW BEST:: SOT 26975 SOS 4859 HAS SOPS 4394 HAS SOUS 4129 HAS SOUPS 3797 WITH SCORE 3801.859
AT ITER 2918 NEW BEST:: SOT 26966 SOS 4851 HAS SOPS 4386 HAS SOUS 4121 HAS SOUPS 3789 WITH SCORE 3793.851
AT ITER 2931 NEW BEST:: SOT 26965 SOS 4847 HAS SOPS 4383 HAS SOUS 4117 HAS SOUPS 3786 WITH SCORE 3790.847
AT ITER 2939 NEW BEST:: SOT 26964 SOS 4845 HAS SOPS 4381 HAS SOUS 4115 HAS SOUPS 3784 WITH SCORE 3788.845
AT ITER 3144 NEW BEST:: SOT 26965 SOS 4853 HAS SOPS 4380 HAS SOUS 4123 HAS SOUPS 3783 WITH SCORE 3787.853
AT ITER 3204 NEW BEST:: SOT 26965 SOS 4853 HAS SOPS 4378 HAS SOUS 4123 HAS SOUPS 3781 WITH SCORE 3785.853
AT ITER 3215 NEW BEST:: SOT 26971 SOS 4852 HAS SOPS 4377 HAS SOUS 4122 HAS SOUPS 3780 WITH SCORE 3784.852
AT ITER 3220 NEW BEST:: SOT 26967 SOS 4846 HAS SOPS 4373 HAS SOUS 4116 HAS SOUPS 3776 WITH SCORE 3780.846
AT ITER 3222 NEW BEST:: SOT 26960 SOS 4814 HAS SOPS 4341 HAS SOUS 4098 HAS SOUPS 3758 WITH SCORE 3762.814
AT ITER 3244 NEW BEST:: SOT 26960 SOS 4812 HAS SOPS 4336 HAS SOUS 4096 HAS SOUPS 3753 WITH SCORE 3757.812
AT ITER 3280 NEW BEST:: SOT 26956 SOS 4807 HAS SOPS 4331 HAS SOUS 4091 HAS SOUPS 3748 WITH SCORE 3752.807
AT ITER 3315 NEW BEST:: SOT 26956 SOS 4807 HAS SOPS 4331 HAS SOUS 4089 HAS SOUPS 3746 WITH SCORE 3750.807
AT ITER 3413 NEW BEST:: SOT 26953 SOS 4802 HAS SOPS 4326 HAS SOUS 4089 HAS SOUPS 3743 WITH SCORE 3747.802
AT ITER 3475 NEW BEST:: SOT 26953 SOS 4802 HAS SOPS 4322 HAS SOUS 4091 HAS SOUPS 3741 WITH SCORE 3745.802
AT ITER 3483 NEW BEST:: SOT 26953 SOS 4800 HAS SOPS 4320 HAS SOUS 4089 HAS SOUPS 3739 WITH SCORE 3743.8
AT ITER 3566 NEW BEST:: SOT 26961 SOS 4783 HAS SOPS 4303 HAS SOUS 4083 HAS SOUPS 3733 WITH SCORE 3737.783
AT ITER 3588 NEW BEST:: SOT 26960 SOS 4782 HAS SOPS 4302 HAS SOUS 4081 HAS SOUPS 3731 WITH SCORE 3735.782
AT ITER 3684 NEW BEST:: SOT 26960 SOS 4779 HAS SOPS 4294 HAS SOUS 4078 HAS SOUPS 3723 WITH SCORE 3727.779
AT ITER 3735 NEW BEST:: SOT 26958 SOS 4777 HAS SOPS 4292 HAS SOUS 4076 HAS SOUPS 3721 WITH SCORE 3725.777
AT ITER 3778 NEW BEST:: SOT 26957 SOS 4780 HAS SOPS 4287 HAS SOUS 4079 HAS SOUPS 3716 WITH SCORE 3720.78
AT ITER 3794 NEW BEST:: SOT 26954 SOS 4775 HAS SOPS 4279 HAS SOUS 4074 HAS SOUPS 3708 WITH SCORE 3712.775
AT ITER 3811 NEW BEST:: SOT 26947 SOS 4771 HAS SOPS 4275 HAS SOUS 4070 HAS SOUPS 3704 WITH SCORE 3708.771
AT ITER 3910 NEW BEST:: SOT 26941 SOS 4761 HAS SOPS 4266 HAS SOUS 4060 HAS SOUPS 3695 WITH SCORE 3699.761
AT ITER 4011 NEW BEST:: SOT 26941 SOS 4761 HAS SOPS 4265 HAS SOUS 4060 HAS SOUPS 3694 WITH SCORE 3698.761
AT ITER 4041 NEW BEST:: SOT 26940 SOS 4760 HAS SOPS 4264 HAS SOUS 4058 HAS SOUPS 3692 WITH SCORE 3696.76
AT ITER 4044 NEW BEST:: SOT 26939 SOS 4762 HAS SOPS 4262 HAS SOUS 4057 HAS SOUPS 3687 WITH SCORE 3691.762
AT ITER 4081 NEW BEST:: SOT 26953 SOS 4750 HAS SOPS 4251 HAS SOUS 4054 HAS SOUPS 3685 WITH SCORE 3689.75
AT ITER 4095 NEW BEST:: SOT 26951 SOS 4748 HAS SOPS 4249 HAS SOUS 4052 HAS SOUPS 3683 WITH SCORE 3687.748
AT ITER 4109 NEW BEST:: SOT 26951 SOS 4743 HAS SOPS 4244 HAS SOUS 4041 HAS SOUPS 3672 WITH SCORE 3676.743
AT ITER 4201 NEW BEST:: SOT 26967 SOS 4660 HAS SOPS 4197 HAS SOUS 4031 HAS SOUPS 3663 WITH SCORE 3667.66
AT ITER 4215 NEW BEST:: SOT 26971 SOS 4660 HAS SOPS 4197 HAS SOUS 4023 HAS SOUPS 3655 WITH SCORE 3659.66
AT ITER 4240 NEW BEST:: SOT 26962 SOS 4642 HAS SOPS 4179 HAS SOUS 4005 HAS SOUPS 3637 WITH SCORE 3641.642
AT ITER 4265 NEW BEST:: SOT 26961 SOS 4638 HAS SOPS 4175 HAS SOUS 4003 HAS SOUPS 3635 WITH SCORE 3639.638
AT ITER 4284 NEW BEST:: SOT 26962 SOS 4639 HAS SOPS 4174 HAS SOUS 4004 HAS SOUPS 3634 WITH SCORE 3638.639
AT ITER 4315 NEW BEST:: SOT 26962 SOS 4639 HAS SOPS 4174 HAS SOUS 4003 HAS SOUPS 3633 WITH SCORE 3637.639
AT ITER 4401 NEW BEST:: SOT 26960 SOS 4635 HAS SOPS 4170 HAS SOUS 3999 HAS SOUPS 3629 WITH SCORE 3633.635
AT ITER 4412 NEW BEST:: SOT 26957 SOS 4634 HAS SOPS 4169 HAS SOUS 3998 HAS SOUPS 3628 WITH SCORE 3632.634
AT ITER 4532 NEW BEST:: SOT 26957 SOS 4629 HAS SOPS 4169 HAS SOUS 3993 HAS SOUPS 3628 WITH SCORE 3632.629
AT ITER 4658 NEW BEST:: SOT 26952 SOS 4624 HAS SOPS 4167 HAS SOUS 3988 HAS SOUPS 3626 WITH SCORE 3630.624
AT ITER 4724 NEW BEST:: SOT 26949 SOS 4752 HAS SOPS 4223 HAS SOUS 3987 HAS SOUPS 3624 WITH SCORE 3628.752
AT ITER 4884 NEW BEST:: SOT 26949 SOS 4752 HAS SOPS 4223 HAS SOUS 3985 HAS SOUPS 3622 WITH SCORE 3626.752
AT ITER 4894 NEW BEST:: SOT 26943 SOS 4730 HAS SOPS 4219 HAS SOUS 3963 HAS SOUPS 3618 WITH SCORE 3622.73
AT ITER 4958 NEW BEST:: SOT 26943 SOS 4716 HAS SOPS 4205 HAS SOUS 3963 HAS SOUPS 3618 WITH SCORE 3622.716
AT ITER 5013 NEW BEST:: SOT 26943 SOS 4711 HAS SOPS 4200 HAS SOUS 3958 HAS SOUPS 3613 WITH SCORE 3617.711
AT ITER 5066 NEW BEST:: SOT 26930 SOS 4704 HAS SOPS 4189 HAS SOUS 3946 HAS SOUPS 3599 WITH SCORE 3603.704
AT ITER 5166 NEW BEST:: SOT 26930 SOS 4700 HAS SOPS 4189 HAS SOUS 3942 HAS SOUPS 3599 WITH SCORE 3603.7
AT ITER 5205 NEW BEST:: SOT 26930 SOS 4699 HAS SOPS 4188 HAS SOUS 3941 HAS SOUPS 3598 WITH SCORE 3602.699
AT ITER 5215 NEW BEST:: SOT 26932 SOS 4716 HAS SOPS 4205 HAS SOUS 3938 HAS SOUPS 3595 WITH SCORE 3599.716
AT ITER 5297 NEW BEST:: SOT 26930 SOS 4712 HAS SOPS 4204 HAS SOUS 3934 HAS SOUPS 3594 WITH SCORE 3598.712
AT ITER 5325 NEW BEST:: SOT 26932 SOS 4712 HAS SOPS 4204 HAS SOUS 3933 HAS SOUPS 3593 WITH SCORE 3597.712
AT ITER 5328 NEW BEST:: SOT 26932 SOS 4708 HAS SOPS 4208 HAS SOUS 3929 HAS SOUPS 3593 WITH SCORE 3597.708
AT ITER 5340 NEW BEST:: SOT 26932 SOS 4703 HAS SOPS 4204 HAS SOUS 3930 HAS SOUPS 3593 WITH SCORE 3597.703
AT ITER 5381 NEW BEST:: SOT 26931 SOS 4702 HAS SOPS 4202 HAS SOUS 3929 HAS SOUPS 3591 WITH SCORE 3595.702
AT ITER 5413 NEW BEST:: SOT 26930 SOS 4701 HAS SOPS 4198 HAS SOUS 3928 HAS SOUPS 3587 WITH SCORE 3591.701
AT ITER 5420 NEW BEST:: SOT 26930 SOS 4701 HAS SOPS 4197 HAS SOUS 3928 HAS SOUPS 3586 WITH SCORE 3590.701
AT ITER 5574 NEW BEST:: SOT 26920 SOS 4698 HAS SOPS 4194 HAS SOUS 3908 HAS SOUPS 3566 WITH SCORE 3570.698
AT ITER 5616 NEW BEST:: SOT 26919 SOS 4698 HAS SOPS 4194 HAS SOUS 3908 HAS SOUPS 3565 WITH SCORE 3569.698
AT ITER 5659 NEW BEST:: SOT 26918 SOS 4695 HAS SOPS 4191 HAS SOUS 3905 HAS SOUPS 3562 WITH SCORE 3566.695
AT ITER 5700 NEW BEST:: SOT 26918 SOS 4695 HAS SOPS 4187 HAS SOUS 3905 HAS SOUPS 3558 WITH SCORE 3562.695
AT ITER 5753 NEW BEST:: SOT 26918 SOS 4632 HAS SOPS 4145 HAS SOUS 3902 HAS SOUPS 3555 WITH SCORE 3559.632
AT ITER 5836 NEW BEST:: SOT 26915 SOS 4629 HAS SOPS 4142 HAS SOUS 3899 HAS SOUPS 3552 WITH SCORE 3556.629
AT ITER 5863 NEW BEST:: SOT 26914 SOS 4626 HAS SOPS 4141 HAS SOUS 3897 HAS SOUPS 3552 WITH SCORE 3556.626
AT ITER 5978 NEW BEST:: SOT 26913 SOS 4626 HAS SOPS 4140 HAS SOUS 3897 HAS SOUPS 3551 WITH SCORE 3555.626
AT ITER 6028 NEW BEST:: SOT 26897 SOS 4617 HAS SOPS 4131 HAS SOUS 3888 HAS SOUPS 3542 WITH SCORE 3546.617
AT ITER 6166 NEW BEST:: SOT 26895 SOS 4617 HAS SOPS 4129 HAS SOUS 3888 HAS SOUPS 3540 WITH SCORE 3544.617
AT ITER 6207 NEW BEST:: SOT 26894 SOS 4616 HAS SOPS 4128 HAS SOUS 3886 HAS SOUPS 3538 WITH SCORE 3542.616
AT ITER 6276 NEW BEST:: SOT 26862 SOS 4635 HAS SOPS 4147 HAS SOUS 3869 HAS SOUPS 3521 WITH SCORE 3525.635
AT ITER 6279 NEW BEST:: SOT 26862 SOS 4623 HAS SOPS 4141 HAS SOUS 3857 HAS SOUPS 3515 WITH SCORE 3519.623
AT ITER 6306 NEW BEST:: SOT 26864 SOS 4625 HAS SOPS 4131 HAS SOUS 3862 HAS SOUPS 3512 WITH SCORE 3516.625
AT ITER 6428 NEW BEST:: SOT 26864 SOS 4624 HAS SOPS 4131 HAS SOUS 3861 HAS SOUPS 3512 WITH SCORE 3516.624
AT ITER 6435 NEW BEST:: SOT 26855 SOS 4622 HAS SOPS 4121 HAS SOUS 3859 HAS SOUPS 3502 WITH SCORE 3506.622
AT ITER 6464 NEW BEST:: SOT 26855 SOS 4622 HAS SOPS 4121 HAS SOUS 3838 HAS SOUPS 3481 WITH SCORE 3485.622
AT ITER 6471 NEW BEST:: SOT 26883 SOS 4636 HAS SOPS 4112 HAS SOUS 3851 HAS SOUPS 3474 WITH SCORE 3478.636
AT ITER 6478 NEW BEST:: SOT 26880 SOS 4635 HAS SOPS 4109 HAS SOUS 3844 HAS SOUPS 3468 WITH SCORE 3472.635
AT ITER 6500 NEW BEST:: SOT 26872 SOS 4627 HAS SOPS 4101 HAS SOUS 3836 HAS SOUPS 3460 WITH SCORE 3464.627
AT ITER 6524 NEW BEST:: SOT 26872 SOS 4587 HAS SOPS 4061 HAS SOUS 3826 HAS SOUPS 3450 WITH SCORE 3454.587
AT ITER 6621 NEW BEST:: SOT 26865 SOS 4582 HAS SOPS 4047 HAS SOUS 3818 HAS SOUPS 3434 WITH SCORE 3438.582
AT ITER 6769 NEW BEST:: SOT 26865 SOS 4582 HAS SOPS 4047 HAS SOUS 3811 HAS SOUPS 3427 WITH SCORE 3431.582
AT ITER 6821 NEW BEST:: SOT 26864 SOS 4587 HAS SOPS 4040 HAS SOUS 3816 HAS SOUPS 3420 WITH SCORE 3424.587
AT ITER 6824 NEW BEST:: SOT 26855 SOS 4578 HAS SOPS 4031 HAS SOUS 3807 HAS SOUPS 3411 WITH SCORE 3415.578
AT ITER 6834 NEW BEST:: SOT 26852 SOS 4577 HAS SOPS 4030 HAS SOUS 3806 HAS SOUPS 3410 WITH SCORE 3414.577
AT ITER 6864 NEW BEST:: SOT 26849 SOS 4574 HAS SOPS 4027 HAS SOUS 3806 HAS SOUPS 3410 WITH SCORE 3414.574
AT ITER 6982 NEW BEST:: SOT 26847 SOS 4572 HAS SOPS 4025 HAS SOUS 3804 HAS SOUPS 3408 WITH SCORE 3412.572
AT ITER 6989 NEW BEST:: SOT 26846 SOS 4570 HAS SOPS 4024 HAS SOUS 3802 HAS SOUPS 3407 WITH SCORE 3411.57
AT ITER 7008 NEW BEST:: SOT 26843 SOS 4561 HAS SOPS 4018 HAS SOUS 3793 HAS SOUPS 3401 WITH SCORE 3405.561
AT ITER 7030 NEW BEST:: SOT 26850 SOS 4561 HAS SOPS 4003 HAS SOUS 3786 HAS SOUPS 3385 WITH SCORE 3389.561
AT ITER 7032 NEW BEST:: SOT 26842 SOS 4557 HAS SOPS 3999 HAS SOUS 3782 HAS SOUPS 3381 WITH SCORE 3385.557
AT ITER 7047 NEW BEST:: SOT 26836 SOS 4564 HAS SOPS 4006 HAS SOUS 3773 HAS SOUPS 3372 WITH SCORE 3376.564
AT ITER 7050 NEW BEST:: SOT 26830 SOS 4559 HAS SOPS 4003 HAS SOUS 3768 HAS SOUPS 3369 WITH SCORE 3373.559
AT ITER 7068 NEW BEST:: SOT 26830 SOS 4558 HAS SOPS 4003 HAS SOUS 3768 HAS SOUPS 3369 WITH SCORE 3373.558
AT ITER 7077 NEW BEST:: SOT 26830 SOS 4558 HAS SOPS 4003 HAS SOUS 3767 HAS SOUPS 3368 WITH SCORE 3372.558
AT ITER 7131 NEW BEST:: SOT 26830 SOS 4557 HAS SOPS 4003 HAS SOUS 3766 HAS SOUPS 3368 WITH SCORE 3372.557
AT ITER 7338 NEW BEST:: SOT 26835 SOS 4558 HAS SOPS 4004 HAS SOUS 3765 HAS SOUPS 3367 WITH SCORE 3371.558
AT ITER 7501 NEW BEST:: SOT 26836 SOS 4559 HAS SOPS 4005 HAS SOUS 3764 HAS SOUPS 3366 WITH SCORE 3370.559
AT ITER 7512 NEW BEST:: SOT 26831 SOS 4551 HAS SOPS 3997 HAS SOUS 3752 HAS SOUPS 3354 WITH SCORE 3358.551
AT ITER 7531 NEW BEST:: SOT 26830 SOS 4551 HAS SOPS 3997 HAS SOUS 3752 HAS SOUPS 3353 WITH SCORE 3357.551
AT ITER 7617 NEW BEST:: SOT 26830 SOS 4548 HAS SOPS 3994 HAS SOUS 3749 HAS SOUPS 3350 WITH SCORE 3354.548
AT ITER 7642 NEW BEST:: SOT 26829 SOS 4547 HAS SOPS 3993 HAS SOUS 3749 HAS SOUPS 3350 WITH SCORE 3354.547
AT ITER 7669 NEW BEST:: SOT 26828 SOS 4546 HAS SOPS 3992 HAS SOUS 3748 HAS SOUPS 3349 WITH SCORE 3353.546
AT ITER 7685 NEW BEST:: SOT 26829 SOS 4538 HAS SOPS 3985 HAS SOUS 3740 HAS SOUPS 3342 WITH SCORE 3346.538
AT ITER 7836 NEW BEST:: SOT 26827 SOS 4536 HAS SOPS 3983 HAS SOUS 3738 HAS SOUPS 3340 WITH SCORE 3344.536
AT ITER 7838 NEW BEST:: SOT 26826 SOS 4512 HAS SOPS 3971 HAS SOUS 3729 HAS SOUPS 3338 WITH SCORE 3342.512
AT ITER 7872 NEW BEST:: SOT 26825 SOS 4511 HAS SOPS 3969 HAS SOUS 3727 HAS SOUPS 3335 WITH SCORE 3339.511
AT ITER 7879 NEW BEST:: SOT 26825 SOS 4510 HAS SOPS 3967 HAS SOUS 3727 HAS SOUPS 3335 WITH SCORE 3339.51
AT ITER 7915 NEW BEST:: SOT 26819 SOS 4505 HAS SOPS 3962 HAS SOUS 3721 HAS SOUPS 3329 WITH SCORE 3333.505
AT ITER 8012 NEW BEST:: SOT 26816 SOS 4497 HAS SOPS 3957 HAS SOUS 3709 HAS SOUPS 3320 WITH SCORE 3324.497
AT ITER 8074 NEW BEST:: SOT 26804 SOS 4490 HAS SOPS 3939 HAS SOUS 3702 HAS SOUPS 3302 WITH SCORE 3306.49
AT ITER 8125 NEW BEST:: SOT 26804 SOS 4490 HAS SOPS 3932 HAS SOUS 3702 HAS SOUPS 3295 WITH SCORE 3299.49
AT ITER 8186 NEW BEST:: SOT 26804 SOS 4488 HAS SOPS 3930 HAS SOUS 3700 HAS SOUPS 3293 WITH SCORE 3297.488
AT ITER 8329 NEW BEST:: SOT 26805 SOS 4483 HAS SOPS 3925 HAS SOUS 3699 HAS SOUPS 3292 WITH SCORE 3296.483
AT ITER 8413 NEW BEST:: SOT 26795 SOS 4473 HAS SOPS 3915 HAS SOUS 3680 HAS SOUPS 3273 WITH SCORE 3277.473
AT ITER 8430 NEW BEST:: SOT 26793 SOS 4460 HAS SOPS 3902 HAS SOUS 3672 HAS SOUPS 3265 WITH SCORE 3269.46
AT ITER 8521 NEW BEST:: SOT 26793 SOS 4458 HAS SOPS 3900 HAS SOUS 3671 HAS SOUPS 3264 WITH SCORE 3268.458
AT ITER 8575 NEW BEST:: SOT 26793 SOS 4455 HAS SOPS 3897 HAS SOUS 3669 HAS SOUPS 3262 WITH SCORE 3266.455
AT ITER 8596 NEW BEST:: SOT 26795 SOS 4457 HAS SOPS 3895 HAS SOUS 3670 HAS SOUPS 3260 WITH SCORE 3264.457
AT ITER 8598 NEW BEST:: SOT 26793 SOS 4452 HAS SOPS 3893 HAS SOUS 3666 HAS SOUPS 3258 WITH SCORE 3262.452
AT ITER 8703 NEW BEST:: SOT 26787 SOS 4446 HAS SOPS 3889 HAS SOUS 3660 HAS SOUPS 3254 WITH SCORE 3258.446
AT ITER 8774 NEW BEST:: SOT 26788 SOS 4444 HAS SOPS 3887 HAS SOUS 3658 HAS SOUPS 3252 WITH SCORE 3256.444
AT ITER 8792 NEW BEST:: SOT 26786 SOS 4442 HAS SOPS 3885 HAS SOUS 3656 HAS SOUPS 3250 WITH SCORE 3254.442
AT ITER 8934 NEW BEST:: SOT 26785 SOS 4441 HAS SOPS 3884 HAS SOUS 3654 HAS SOUPS 3248 WITH SCORE 3252.441
AT ITER 9020 NEW BEST:: SOT 26776 SOS 4432 HAS SOPS 3875 HAS SOUS 3645 HAS SOUPS 3239 WITH SCORE 3243.432
AT ITER 9048 NEW BEST:: SOT 26780 SOS 4424 HAS SOPS 3867 HAS SOUS 3645 HAS SOUPS 3239 WITH SCORE 3243.424
AT ITER 9129 NEW BEST:: SOT 26782 SOS 4422 HAS SOPS 3865 HAS SOUS 3643 HAS SOUPS 3237 WITH SCORE 3241.422
AT ITER 9145 NEW BEST:: SOT 26777 SOS 4401 HAS SOPS 3844 HAS SOUS 3637 HAS SOUPS 3231 WITH SCORE 3235.401
AT ITER 9305 NEW BEST:: SOT 26775 SOS 4356 HAS SOPS 3799 HAS SOUS 3627 HAS SOUPS 3221 WITH SCORE 3225.356
AT ITER 9399 NEW BEST:: SOT 26771 SOS 4352 HAS SOPS 3795 HAS SOUS 3623 HAS SOUPS 3217 WITH SCORE 3221.352
AT ITER 9595 NEW BEST:: SOT 26772 SOS 4245 HAS SOPS 3771 HAS SOUS 3605 HAS SOUPS 3211 WITH SCORE 3215.245
AT ITER 9646 NEW BEST:: SOT 26772 SOS 4241 HAS SOPS 3769 HAS SOUS 3603 HAS SOUPS 3211 WITH SCORE 3215.241
AT ITER 9677 NEW BEST:: SOT 26773 SOS 4212 HAS SOPS 3740 HAS SOUS 3600 HAS SOUPS 3208 WITH SCORE 3212.212
AT ITER 9696 NEW BEST:: SOT 26768 SOS 4203 HAS SOPS 3737 HAS SOUS 3585 HAS SOUPS 3199 WITH SCORE 3203.203
AT ITER 9835 NEW BEST:: SOT 26768 SOS 4201 HAS SOPS 3735 HAS SOUS 3583 HAS SOUPS 3197 WITH SCORE 3201.201
AT ITER 9836 NEW BEST:: SOT 26767 SOS 4201 HAS SOPS 3736 HAS SOUS 3581 HAS SOUPS 3196 WITH SCORE 3200.201
AT ITER 9871 NEW BEST:: SOT 26769 SOS 4200 HAS SOPS 3735 HAS SOUS 3580 HAS SOUPS 3195 WITH SCORE 3199.2
AT ITER 9953 NEW BEST:: SOT 26774 SOS 4197 HAS SOPS 3732 HAS SOUS 3577 HAS SOUPS 3192 WITH SCORE 3196.197
STATE_SPACE STATES 1657242 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 6746379 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589644974269

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

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