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.r190-csrt-159033382900592.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 TriangularGrid-PT-5046, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033382900592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 2.9K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 5 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rwxr-xr-x 1 mcc users 185K Apr 27 14:36 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 1590408945358

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

Filename model.pnml
Petri model created: 280 places, 240 transitions, 960 arcs.
AT ITER 0 NEW BEST:: SOT 36933 SOS 6421 HAS SOPS 6421 HAS SOUS 4978 HAS SOUPS 4978 WITH SCORE 4984.421
AT ITER 33 NEW BEST:: SOT 36921 SOS 6397 HAS SOPS 6397 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4968.397
AT ITER 125 NEW BEST:: SOT 36919 SOS 6339 HAS SOPS 6339 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4964.339
AT ITER 133 NEW BEST:: SOT 36919 SOS 6339 HAS SOPS 6339 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4961.339
AT ITER 162 NEW BEST:: SOT 36919 SOS 6339 HAS SOPS 6339 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4959.339
AT ITER 201 NEW BEST:: SOT 36918 SOS 6326 HAS SOPS 6326 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4954.326
AT ITER 234 NEW BEST:: SOT 36910 SOS 6310 HAS SOPS 6310 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4942.31
AT ITER 286 NEW BEST:: SOT 36904 SOS 6292 HAS SOPS 6292 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4930.292
AT ITER 326 NEW BEST:: SOT 36899 SOS 6281 HAS SOPS 6281 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4919.281
AT ITER 371 NEW BEST:: SOT 36868 SOS 6222 HAS SOPS 6222 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4878.222
AT ITER 502 NEW BEST:: SOT 36859 SOS 6195 HAS SOPS 6195 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4860.195
AT ITER 551 NEW BEST:: SOT 36857 SOS 6182 HAS SOPS 6182 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4853.182
AT ITER 556 NEW BEST:: SOT 36851 SOS 6176 HAS SOPS 6176 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4847.176
AT ITER 567 NEW BEST:: SOT 36843 SOS 6160 HAS SOPS 6160 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4835.16
AT ITER 578 NEW BEST:: SOT 36841 SOS 6156 HAS SOPS 6156 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4832.156
AT ITER 591 NEW BEST:: SOT 36834 SOS 6154 HAS SOPS 6154 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4830.154
AT ITER 741 NEW BEST:: SOT 36832 SOS 6140 HAS SOPS 6140 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4823.14
AT ITER 807 NEW BEST:: SOT 36818 SOS 6112 HAS SOPS 6112 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4802.112
AT ITER 829 NEW BEST:: SOT 36810 SOS 6088 HAS SOPS 6088 HAS SOUS 4786 HAS SOUPS 4786 WITH SCORE 4792.088
AT ITER 841 NEW BEST:: SOT 36795 SOS 6043 HAS SOPS 6043 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4762.043
AT ITER 898 NEW BEST:: SOT 36794 SOS 6040 HAS SOPS 6040 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4760.04
AT ITER 906 NEW BEST:: SOT 36794 SOS 6037 HAS SOPS 6037 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4760.037
AT ITER 977 NEW BEST:: SOT 36782 SOS 6019 HAS SOPS 6019 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4742.019
AT ITER 986 NEW BEST:: SOT 36782 SOS 6019 HAS SOPS 6019 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4741.019
AT ITER 1058 NEW BEST:: SOT 36782 SOS 6004 HAS SOPS 6004 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4731.004
AT ITER 1086 NEW BEST:: SOT 36778 SOS 5998 HAS SOPS 5998 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4724.998
AT ITER 1161 NEW BEST:: SOT 36778 SOS 5970 HAS SOPS 5970 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.97
AT ITER 1332 NEW BEST:: SOT 36780 SOS 5978 HAS SOPS 5978 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4711.978
AT ITER 1349 NEW BEST:: SOT 36780 SOS 5978 HAS SOPS 5978 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4710.978
AT ITER 1358 NEW BEST:: SOT 36783 SOS 5967 HAS SOPS 5967 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4708.967
AT ITER 1434 NEW BEST:: SOT 36763 SOS 5937 HAS SOPS 5937 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4679.937
AT ITER 1442 NEW BEST:: SOT 36773 SOS 5923 HAS SOPS 5923 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4678.923
AT ITER 1461 NEW BEST:: SOT 36773 SOS 5908 HAS SOPS 5908 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4668.908
AT ITER 1582 NEW BEST:: SOT 36757 SOS 5878 HAS SOPS 5878 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.878
AT ITER 1606 NEW BEST:: SOT 36752 SOS 5870 HAS SOPS 5870 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4644.87
AT ITER 1607 NEW BEST:: SOT 36736 SOS 5835 HAS SOPS 5835 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4638.835
AT ITER 1664 NEW BEST:: SOT 36729 SOS 5833 HAS SOPS 5833 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4636.833
AT ITER 1688 NEW BEST:: SOT 36727 SOS 5829 HAS SOPS 5829 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.829
AT ITER 1700 NEW BEST:: SOT 36716 SOS 5807 HAS SOPS 5807 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.807
AT ITER 1779 NEW BEST:: SOT 36718 SOS 5802 HAS SOPS 5802 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.802
AT ITER 1825 NEW BEST:: SOT 36715 SOS 5790 HAS SOPS 5790 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4600.79
AT ITER 1844 NEW BEST:: SOT 36711 SOS 5784 HAS SOPS 5784 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4595.784
AT ITER 1868 NEW BEST:: SOT 36701 SOS 5765 HAS SOPS 5765 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.765
AT ITER 1901 NEW BEST:: SOT 36701 SOS 5755 HAS SOPS 5755 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.755
AT ITER 1909 NEW BEST:: SOT 36701 SOS 5751 HAS SOPS 5751 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4582.751
AT ITER 1927 NEW BEST:: SOT 36698 SOS 5742 HAS SOPS 5742 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.742
AT ITER 1928 NEW BEST:: SOT 36696 SOS 5740 HAS SOPS 5740 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.74
AT ITER 1959 NEW BEST:: SOT 36687 SOS 5727 HAS SOPS 5727 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4563.727
AT ITER 2014 NEW BEST:: SOT 36671 SOS 5695 HAS SOPS 5695 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4546.695
AT ITER 2020 NEW BEST:: SOT 36667 SOS 5687 HAS SOPS 5687 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.687
AT ITER 2025 NEW BEST:: SOT 36665 SOS 5681 HAS SOPS 5681 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4536.681
AT ITER 2030 NEW BEST:: SOT 36654 SOS 5670 HAS SOPS 5670 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.67
AT ITER 2063 NEW BEST:: SOT 36629 SOS 5620 HAS SOPS 5620 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.62
AT ITER 2071 NEW BEST:: SOT 36622 SOS 5623 HAS SOPS 5623 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4482.623
AT ITER 2084 NEW BEST:: SOT 36620 SOS 5620 HAS SOPS 5620 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.62
AT ITER 2174 NEW BEST:: SOT 36620 SOS 5619 HAS SOPS 5619 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.619
AT ITER 2197 NEW BEST:: SOT 36603 SOS 5595 HAS SOPS 5595 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.595
AT ITER 2242 NEW BEST:: SOT 36602 SOS 5592 HAS SOPS 5592 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4472.592
AT ITER 2251 NEW BEST:: SOT 36602 SOS 5592 HAS SOPS 5592 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.592
AT ITER 2263 NEW BEST:: SOT 36598 SOS 5588 HAS SOPS 5588 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4462.588
AT ITER 2288 NEW BEST:: SOT 36594 SOS 5578 HAS SOPS 5578 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4454.578
AT ITER 2298 NEW BEST:: SOT 36593 SOS 5577 HAS SOPS 5577 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4451.577
AT ITER 2379 NEW BEST:: SOT 36585 SOS 5558 HAS SOPS 5558 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4439.558
AT ITER 2533 NEW BEST:: SOT 36579 SOS 5534 HAS SOPS 5534 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4433.534
AT ITER 2543 NEW BEST:: SOT 36577 SOS 5528 HAS SOPS 5528 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4425.528
AT ITER 2873 NEW BEST:: SOT 36577 SOS 5528 HAS SOPS 5528 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4424.528
AT ITER 2883 NEW BEST:: SOT 36578 SOS 5525 HAS SOPS 5525 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.525
AT ITER 2907 NEW BEST:: SOT 36578 SOS 5522 HAS SOPS 5522 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.522
AT ITER 2943 NEW BEST:: SOT 36578 SOS 5520 HAS SOPS 5520 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4423.52
AT ITER 3040 NEW BEST:: SOT 36574 SOS 5512 HAS SOPS 5512 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4419.512
AT ITER 3078 NEW BEST:: SOT 36564 SOS 5497 HAS SOPS 5497 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4404.497
AT ITER 3126 NEW BEST:: SOT 36562 SOS 5495 HAS SOPS 5495 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4402.495
AT ITER 3300 NEW BEST:: SOT 36560 SOS 5482 HAS SOPS 5482 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4395.482
AT ITER 3353 NEW BEST:: SOT 36558 SOS 5463 HAS SOPS 5463 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4389.463
AT ITER 3506 NEW BEST:: SOT 36550 SOS 5458 HAS SOPS 5458 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4383.458
AT ITER 3522 NEW BEST:: SOT 36545 SOS 5450 HAS SOPS 5450 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4373.45
AT ITER 3574 NEW BEST:: SOT 36544 SOS 5447 HAS SOPS 5447 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4371.447
AT ITER 3581 NEW BEST:: SOT 36545 SOS 5446 HAS SOPS 5446 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4371.446
AT ITER 3658 NEW BEST:: SOT 36545 SOS 5446 HAS SOPS 5446 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4365.446
AT ITER 3668 NEW BEST:: SOT 36537 SOS 5434 HAS SOPS 5434 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4351.434
AT ITER 3682 NEW BEST:: SOT 36535 SOS 5431 HAS SOPS 5431 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4348.431
AT ITER 3704 NEW BEST:: SOT 36535 SOS 5427 HAS SOPS 5427 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4348.427
AT ITER 3706 NEW BEST:: SOT 36535 SOS 5431 HAS SOPS 5431 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4346.431
AT ITER 3760 NEW BEST:: SOT 36515 SOS 5391 HAS SOPS 5391 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4322.391
AT ITER 3854 NEW BEST:: SOT 36516 SOS 5392 HAS SOPS 5392 HAS SOUS 4315 HAS SOUPS 4315 WITH SCORE 4320.392
AT ITER 3922 NEW BEST:: SOT 36515 SOS 5389 HAS SOPS 5389 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4318.389
AT ITER 3949 NEW BEST:: SOT 36509 SOS 5377 HAS SOPS 5377 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4309.377
AT ITER 3950 NEW BEST:: SOT 36503 SOS 5374 HAS SOPS 5374 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4302.374
AT ITER 4107 NEW BEST:: SOT 36491 SOS 5338 HAS SOPS 5338 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4278.338
AT ITER 4115 NEW BEST:: SOT 36491 SOS 5335 HAS SOPS 5335 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4275.335
AT ITER 4126 NEW BEST:: SOT 36482 SOS 5326 HAS SOPS 5326 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4266.326
AT ITER 4165 NEW BEST:: SOT 36480 SOS 5329 HAS SOPS 5329 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4264.329
AT ITER 4259 NEW BEST:: SOT 36479 SOS 5328 HAS SOPS 5328 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.328
AT ITER 4304 NEW BEST:: SOT 36479 SOS 5321 HAS SOPS 5321 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4253.321
AT ITER 4338 NEW BEST:: SOT 36478 SOS 5318 HAS SOPS 5318 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4250.318
AT ITER 4371 NEW BEST:: SOT 36476 SOS 5316 HAS SOPS 5316 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4242.316
AT ITER 4420 NEW BEST:: SOT 36473 SOS 5313 HAS SOPS 5313 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4239.313
AT ITER 4604 NEW BEST:: SOT 36459 SOS 5285 HAS SOPS 5285 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4218.285
AT ITER 4718 NEW BEST:: SOT 36453 SOS 5264 HAS SOPS 5264 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4202.264
AT ITER 4736 NEW BEST:: SOT 36445 SOS 5256 HAS SOPS 5256 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4193.256
AT ITER 4778 NEW BEST:: SOT 36440 SOS 5240 HAS SOPS 5240 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4186.24
AT ITER 4829 NEW BEST:: SOT 36435 SOS 5225 HAS SOPS 5225 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4180.225
AT ITER 5031 NEW BEST:: SOT 36429 SOS 5218 HAS SOPS 5218 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4175.218
AT ITER 5177 NEW BEST:: SOT 36424 SOS 5193 HAS SOPS 5193 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.193
AT ITER 5308 NEW BEST:: SOT 36424 SOS 5192 HAS SOPS 5192 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4159.192
AT ITER 5555 NEW BEST:: SOT 36419 SOS 5163 HAS SOPS 5163 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4146.163
AT ITER 5668 NEW BEST:: SOT 36423 SOS 5154 HAS SOPS 5154 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4134.154
AT ITER 5912 NEW BEST:: SOT 36421 SOS 5148 HAS SOPS 5148 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4130.148
AT ITER 6101 NEW BEST:: SOT 36418 SOS 5139 HAS SOPS 5139 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4124.139
AT ITER 6239 NEW BEST:: SOT 36418 SOS 5134 HAS SOPS 5134 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4120.134
AT ITER 6283 NEW BEST:: SOT 36413 SOS 5126 HAS SOPS 5126 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4114.126
AT ITER 6619 NEW BEST:: SOT 36412 SOS 5124 HAS SOPS 5124 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4112.124
AT ITER 6641 NEW BEST:: SOT 36408 SOS 5099 HAS SOPS 5099 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4095.099
AT ITER 6650 NEW BEST:: SOT 36406 SOS 5096 HAS SOPS 5096 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4091.096
AT ITER 6757 NEW BEST:: SOT 36406 SOS 5092 HAS SOPS 5092 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4087.092
AT ITER 6823 NEW BEST:: SOT 36406 SOS 5087 HAS SOPS 5087 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4086.087
AT ITER 6902 NEW BEST:: SOT 36403 SOS 5078 HAS SOPS 5078 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4080.078
AT ITER 7008 NEW BEST:: SOT 36403 SOS 5075 HAS SOPS 5075 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4078.075
AT ITER 7070 NEW BEST:: SOT 36402 SOS 5072 HAS SOPS 5072 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4076.072
AT ITER 7273 NEW BEST:: SOT 36398 SOS 5056 HAS SOPS 5056 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4070.056
AT ITER 7352 NEW BEST:: SOT 36396 SOS 5046 HAS SOPS 5046 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4068.046
AT ITER 7672 NEW BEST:: SOT 36396 SOS 5043 HAS SOPS 5043 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4068.043
AT ITER 7715 NEW BEST:: SOT 36398 SOS 5041 HAS SOPS 5041 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4068.041
AT ITER 8109 NEW BEST:: SOT 36391 SOS 5030 HAS SOPS 5030 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4062.03
AT ITER 8114 NEW BEST:: SOT 36387 SOS 5024 HAS SOPS 5024 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4056.024
AT ITER 8195 NEW BEST:: SOT 36387 SOS 5024 HAS SOPS 5024 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4055.024
AT ITER 8302 NEW BEST:: SOT 36380 SOS 5007 HAS SOPS 5007 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4042.007
AT ITER 8320 NEW BEST:: SOT 36379 SOS 5004 HAS SOPS 5004 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4039.004
AT ITER 8405 NEW BEST:: SOT 36377 SOS 5001 HAS SOPS 5001 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4037.001
AT ITER 8474 NEW BEST:: SOT 36378 SOS 5000 HAS SOPS 5000 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4037.0
AT ITER 8610 NEW BEST:: SOT 36374 SOS 4959 HAS SOPS 4959 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4022.959
AT ITER 8805 NEW BEST:: SOT 36371 SOS 4958 HAS SOPS 4958 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4022.958
AT ITER 8836 NEW BEST:: SOT 36371 SOS 4959 HAS SOPS 4959 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4021.959
AT ITER 8848 NEW BEST:: SOT 36365 SOS 4950 HAS SOPS 4950 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.95
AT ITER 8891 NEW BEST:: SOT 36363 SOS 4948 HAS SOPS 4948 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4008.948
AT ITER 8919 NEW BEST:: SOT 36361 SOS 4944 HAS SOPS 4944 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4005.944
AT ITER 8953 NEW BEST:: SOT 36360 SOS 4944 HAS SOPS 4944 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4002.944
AT ITER 9174 NEW BEST:: SOT 36361 SOS 4942 HAS SOPS 4942 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.942
AT ITER 9411 NEW BEST:: SOT 36359 SOS 4932 HAS SOPS 4932 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3997.932
AT ITER 9473 NEW BEST:: SOT 36356 SOS 4927 HAS SOPS 4927 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3992.927
AT ITER 9494 NEW BEST:: SOT 36354 SOS 4919 HAS SOPS 4919 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3986.919
AT ITER 9745 NEW BEST:: SOT 36350 SOS 4912 HAS SOPS 4912 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.912
AT ITER 9772 NEW BEST:: SOT 36349 SOS 4911 HAS SOPS 4911 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3979.911
AT ITER 9857 NEW BEST:: SOT 36347 SOS 4907 HAS SOPS 4907 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3976.907
AT ITER 9863 NEW BEST:: SOT 36330 SOS 4878 HAS SOPS 4878 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3954.878
AT ITER 9892 NEW BEST:: SOT 36330 SOS 4877 HAS SOPS 4877 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3953.877
AT ITER 9980 NEW BEST:: SOT 36332 SOS 4883 HAS SOPS 4883 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3952.883

BK_STOP 1590410172942

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 367 Aborted ${SMART} ${INPUT_SM}

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="TriangularGrid-PT-5046"
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 TriangularGrid-PT-5046, 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 r190-csrt-159033382900592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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