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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K 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.6K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K 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 4.1K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 183K 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 1590408889439

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TriangularGrid (PT), instance 5020
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 43 NEW BEST:: SOT 36925 SOS 6413 HAS SOPS 6413 HAS SOUS 4970 HAS SOUPS 4970 WITH SCORE 4976.413
AT ITER 52 NEW BEST:: SOT 36919 SOS 6394 HAS SOPS 6394 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4972.394
AT ITER 58 NEW BEST:: SOT 36911 SOS 6374 HAS SOPS 6374 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4956.374
AT ITER 71 NEW BEST:: SOT 36910 SOS 6373 HAS SOPS 6373 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.373
AT ITER 73 NEW BEST:: SOT 36899 SOS 6351 HAS SOPS 6351 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4941.351
AT ITER 101 NEW BEST:: SOT 36879 SOS 6321 HAS SOPS 6321 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4907.321
AT ITER 189 NEW BEST:: SOT 36879 SOS 6306 HAS SOPS 6306 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4897.306
AT ITER 198 NEW BEST:: SOT 36869 SOS 6291 HAS SOPS 6291 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4882.291
AT ITER 239 NEW BEST:: SOT 36863 SOS 6279 HAS SOPS 6279 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4870.279
AT ITER 246 NEW BEST:: SOT 36863 SOS 6276 HAS SOPS 6276 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4870.276
AT ITER 277 NEW BEST:: SOT 36862 SOS 6274 HAS SOPS 6274 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4868.274
AT ITER 281 NEW BEST:: SOT 36851 SOS 6251 HAS SOPS 6251 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4845.251
AT ITER 294 NEW BEST:: SOT 36847 SOS 6241 HAS SOPS 6241 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4837.241
AT ITER 313 NEW BEST:: SOT 36847 SOS 6232 HAS SOPS 6232 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4831.232
AT ITER 315 NEW BEST:: SOT 36845 SOS 6228 HAS SOPS 6228 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4825.228
AT ITER 319 NEW BEST:: SOT 36819 SOS 6189 HAS SOPS 6189 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.189
AT ITER 377 NEW BEST:: SOT 36809 SOS 6169 HAS SOPS 6169 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4768.169
AT ITER 378 NEW BEST:: SOT 36804 SOS 6172 HAS SOPS 6172 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4767.172
AT ITER 420 NEW BEST:: SOT 36804 SOS 6171 HAS SOPS 6171 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4767.171
AT ITER 431 NEW BEST:: SOT 36797 SOS 6162 HAS SOPS 6162 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4759.162
AT ITER 437 NEW BEST:: SOT 36775 SOS 6129 HAS SOPS 6129 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4726.129
AT ITER 458 NEW BEST:: SOT 36779 SOS 6125 HAS SOPS 6125 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4726.125
AT ITER 480 NEW BEST:: SOT 36779 SOS 6119 HAS SOPS 6119 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4726.119
AT ITER 497 NEW BEST:: SOT 36774 SOS 6104 HAS SOPS 6104 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4716.104
AT ITER 516 NEW BEST:: SOT 36758 SOS 6072 HAS SOPS 6072 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4700.072
AT ITER 563 NEW BEST:: SOT 36756 SOS 6068 HAS SOPS 6068 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4696.068
AT ITER 595 NEW BEST:: SOT 36756 SOS 6068 HAS SOPS 6068 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4687.068
AT ITER 600 NEW BEST:: SOT 36754 SOS 6064 HAS SOPS 6064 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4679.064
AT ITER 653 NEW BEST:: SOT 36750 SOS 6053 HAS SOPS 6053 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4673.053
AT ITER 740 NEW BEST:: SOT 36735 SOS 6008 HAS SOPS 6008 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4643.008
AT ITER 756 NEW BEST:: SOT 36730 SOS 5998 HAS SOPS 5998 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.998
AT ITER 802 NEW BEST:: SOT 36730 SOS 5993 HAS SOPS 5993 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.993
AT ITER 826 NEW BEST:: SOT 36730 SOS 5985 HAS SOPS 5985 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4632.985
AT ITER 937 NEW BEST:: SOT 36728 SOS 5979 HAS SOPS 5979 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4628.979
AT ITER 942 NEW BEST:: SOT 36728 SOS 5970 HAS SOPS 5970 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4628.97
AT ITER 944 NEW BEST:: SOT 36723 SOS 5948 HAS SOPS 5948 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.948
AT ITER 1014 NEW BEST:: SOT 36711 SOS 5918 HAS SOPS 5918 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4597.918
AT ITER 1042 NEW BEST:: SOT 36705 SOS 5909 HAS SOPS 5909 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4583.909
AT ITER 1054 NEW BEST:: SOT 36703 SOS 5906 HAS SOPS 5906 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4579.906
AT ITER 1068 NEW BEST:: SOT 36691 SOS 5888 HAS SOPS 5888 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4565.888
AT ITER 1089 NEW BEST:: SOT 36685 SOS 5882 HAS SOPS 5882 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4560.882
AT ITER 1160 NEW BEST:: SOT 36680 SOS 5874 HAS SOPS 5874 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4556.874
AT ITER 1173 NEW BEST:: SOT 36678 SOS 5870 HAS SOPS 5870 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4549.87
AT ITER 1184 NEW BEST:: SOT 36678 SOS 5870 HAS SOPS 5870 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4547.87
AT ITER 1225 NEW BEST:: SOT 36672 SOS 5861 HAS SOPS 5861 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.861
AT ITER 1229 NEW BEST:: SOT 36672 SOS 5852 HAS SOPS 5852 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4532.852
AT ITER 1233 NEW BEST:: SOT 36669 SOS 5849 HAS SOPS 5849 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4529.849
AT ITER 1258 NEW BEST:: SOT 36637 SOS 5801 HAS SOPS 5801 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4481.801
AT ITER 1363 NEW BEST:: SOT 36637 SOS 5801 HAS SOPS 5801 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4479.801
AT ITER 1402 NEW BEST:: SOT 36636 SOS 5798 HAS SOPS 5798 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4478.798
AT ITER 1471 NEW BEST:: SOT 36634 SOS 5797 HAS SOPS 5797 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4477.797
AT ITER 1535 NEW BEST:: SOT 36635 SOS 5760 HAS SOPS 5760 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4468.76
AT ITER 1651 NEW BEST:: SOT 36634 SOS 5755 HAS SOPS 5755 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4463.755
AT ITER 1784 NEW BEST:: SOT 36634 SOS 5747 HAS SOPS 5747 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4462.747
AT ITER 1834 NEW BEST:: SOT 36633 SOS 5740 HAS SOPS 5740 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4456.74
AT ITER 1849 NEW BEST:: SOT 36631 SOS 5738 HAS SOPS 5738 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4454.738
AT ITER 2119 NEW BEST:: SOT 36621 SOS 5726 HAS SOPS 5726 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4443.726
AT ITER 2132 NEW BEST:: SOT 36618 SOS 5720 HAS SOPS 5720 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4437.72
AT ITER 2483 NEW BEST:: SOT 36618 SOS 5720 HAS SOPS 5720 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.72
AT ITER 2522 NEW BEST:: SOT 36616 SOS 5718 HAS SOPS 5718 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4430.718
AT ITER 2527 NEW BEST:: SOT 36616 SOS 5716 HAS SOPS 5716 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.716
AT ITER 2530 NEW BEST:: SOT 36616 SOS 5717 HAS SOPS 5717 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4427.717
AT ITER 2576 NEW BEST:: SOT 36612 SOS 5717 HAS SOPS 5717 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4424.717
AT ITER 2609 NEW BEST:: SOT 36610 SOS 5715 HAS SOPS 5715 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4422.715
AT ITER 2648 NEW BEST:: SOT 36604 SOS 5704 HAS SOPS 5704 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4414.704
AT ITER 2725 NEW BEST:: SOT 36604 SOS 5702 HAS SOPS 5702 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4412.702
AT ITER 2774 NEW BEST:: SOT 36605 SOS 5695 HAS SOPS 5695 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.695
AT ITER 2852 NEW BEST:: SOT 36601 SOS 5679 HAS SOPS 5679 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4393.679
AT ITER 2871 NEW BEST:: SOT 36601 SOS 5678 HAS SOPS 5678 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4392.678
AT ITER 2886 NEW BEST:: SOT 36599 SOS 5663 HAS SOPS 5663 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4390.663
AT ITER 2901 NEW BEST:: SOT 36599 SOS 5654 HAS SOPS 5654 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4384.654
AT ITER 2948 NEW BEST:: SOT 36598 SOS 5652 HAS SOPS 5652 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.652
AT ITER 2980 NEW BEST:: SOT 36591 SOS 5623 HAS SOPS 5623 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4374.623
AT ITER 3024 NEW BEST:: SOT 36581 SOS 5603 HAS SOPS 5603 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4359.603
AT ITER 3144 NEW BEST:: SOT 36577 SOS 5597 HAS SOPS 5597 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4353.597
AT ITER 3232 NEW BEST:: SOT 36567 SOS 5577 HAS SOPS 5577 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4347.577
AT ITER 3248 NEW BEST:: SOT 36565 SOS 5576 HAS SOPS 5576 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4346.576
AT ITER 3336 NEW BEST:: SOT 36565 SOS 5576 HAS SOPS 5576 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4345.576
AT ITER 3368 NEW BEST:: SOT 36563 SOS 5570 HAS SOPS 5570 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4339.57
AT ITER 3401 NEW BEST:: SOT 36560 SOS 5561 HAS SOPS 5561 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4333.561
AT ITER 3420 NEW BEST:: SOT 36556 SOS 5549 HAS SOPS 5549 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4325.549
AT ITER 3763 NEW BEST:: SOT 36552 SOS 5537 HAS SOPS 5537 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4317.537
AT ITER 3965 NEW BEST:: SOT 36545 SOS 5516 HAS SOPS 5516 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4303.516
AT ITER 4076 NEW BEST:: SOT 36540 SOS 5509 HAS SOPS 5509 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4297.509
AT ITER 4436 NEW BEST:: SOT 36534 SOS 5503 HAS SOPS 5503 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4294.503
AT ITER 4567 NEW BEST:: SOT 36533 SOS 5492 HAS SOPS 5492 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4291.492
AT ITER 4599 NEW BEST:: SOT 36524 SOS 5478 HAS SOPS 5478 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4279.478
AT ITER 4645 NEW BEST:: SOT 36523 SOS 5476 HAS SOPS 5476 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4277.476
AT ITER 4649 NEW BEST:: SOT 36523 SOS 5476 HAS SOPS 5476 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4275.476
AT ITER 4673 NEW BEST:: SOT 36523 SOS 5476 HAS SOPS 5476 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4274.476
AT ITER 4732 NEW BEST:: SOT 36522 SOS 5476 HAS SOPS 5476 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4273.476
AT ITER 4784 NEW BEST:: SOT 36520 SOS 5473 HAS SOPS 5473 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4270.473
AT ITER 4792 NEW BEST:: SOT 36520 SOS 5471 HAS SOPS 5471 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4269.471
AT ITER 4858 NEW BEST:: SOT 36518 SOS 5465 HAS SOPS 5465 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4265.465
AT ITER 4911 NEW BEST:: SOT 36518 SOS 5459 HAS SOPS 5459 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4264.459
AT ITER 4945 NEW BEST:: SOT 36519 SOS 5454 HAS SOPS 5454 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4260.454
AT ITER 4961 NEW BEST:: SOT 36517 SOS 5446 HAS SOPS 5446 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4257.446
AT ITER 4982 NEW BEST:: SOT 36511 SOS 5431 HAS SOPS 5431 HAS SOUS 4240 HAS SOUPS 4240 WITH SCORE 4245.431
AT ITER 5074 NEW BEST:: SOT 36511 SOS 5431 HAS SOPS 5431 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.431
AT ITER 5127 NEW BEST:: SOT 36505 SOS 5422 HAS SOPS 5422 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4219.422
AT ITER 5193 NEW BEST:: SOT 36494 SOS 5375 HAS SOPS 5375 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4199.375
AT ITER 5254 NEW BEST:: SOT 36493 SOS 5371 HAS SOPS 5371 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4196.371
AT ITER 5286 NEW BEST:: SOT 36491 SOS 5367 HAS SOPS 5367 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4193.367
AT ITER 5320 NEW BEST:: SOT 36487 SOS 5357 HAS SOPS 5357 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4186.357
AT ITER 5321 NEW BEST:: SOT 36485 SOS 5351 HAS SOPS 5351 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4183.351
AT ITER 5337 NEW BEST:: SOT 36478 SOS 5301 HAS SOPS 5301 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4159.301
AT ITER 5358 NEW BEST:: SOT 36481 SOS 5302 HAS SOPS 5302 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4158.302
AT ITER 5372 NEW BEST:: SOT 36478 SOS 5297 HAS SOPS 5297 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4153.297
AT ITER 5402 NEW BEST:: SOT 36478 SOS 5297 HAS SOPS 5297 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.297
AT ITER 5427 NEW BEST:: SOT 36470 SOS 5273 HAS SOPS 5273 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4144.273
AT ITER 5526 NEW BEST:: SOT 36464 SOS 5264 HAS SOPS 5264 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4134.264
AT ITER 5587 NEW BEST:: SOT 36464 SOS 5249 HAS SOPS 5249 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4124.249
AT ITER 5708 NEW BEST:: SOT 36464 SOS 5247 HAS SOPS 5247 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4122.247
AT ITER 5818 NEW BEST:: SOT 36463 SOS 5241 HAS SOPS 5241 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4118.241
AT ITER 5868 NEW BEST:: SOT 36463 SOS 5245 HAS SOPS 5245 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4117.245
AT ITER 5916 NEW BEST:: SOT 36463 SOS 5244 HAS SOPS 5244 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4117.244
AT ITER 5972 NEW BEST:: SOT 36437 SOS 5191 HAS SOPS 5191 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.191
AT ITER 6003 NEW BEST:: SOT 36435 SOS 5186 HAS SOPS 5186 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4084.186
AT ITER 6129 NEW BEST:: SOT 36436 SOS 5184 HAS SOPS 5184 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4079.184
AT ITER 6161 NEW BEST:: SOT 36420 SOS 5154 HAS SOPS 5154 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4056.154
AT ITER 6261 NEW BEST:: SOT 36412 SOS 5130 HAS SOPS 5130 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4040.13
AT ITER 6320 NEW BEST:: SOT 36404 SOS 5096 HAS SOPS 5096 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4025.096
AT ITER 6425 NEW BEST:: SOT 36403 SOS 5100 HAS SOPS 5100 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4023.1
AT ITER 6515 NEW BEST:: SOT 36403 SOS 5102 HAS SOPS 5102 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4022.102
AT ITER 6855 NEW BEST:: SOT 36402 SOS 5115 HAS SOPS 5115 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4017.115
AT ITER 6862 NEW BEST:: SOT 36400 SOS 5114 HAS SOPS 5114 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4016.114
AT ITER 6942 NEW BEST:: SOT 36400 SOS 5111 HAS SOPS 5111 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4016.111
AT ITER 7012 NEW BEST:: SOT 36399 SOS 5108 HAS SOPS 5108 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4014.108
AT ITER 7057 NEW BEST:: SOT 36397 SOS 5094 HAS SOPS 5094 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4005.094
AT ITER 7062 NEW BEST:: SOT 36396 SOS 5093 HAS SOPS 5093 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4004.093
AT ITER 7118 NEW BEST:: SOT 36394 SOS 5084 HAS SOPS 5084 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3998.084
AT ITER 7130 NEW BEST:: SOT 36389 SOS 5076 HAS SOPS 5076 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3997.076
AT ITER 7301 NEW BEST:: SOT 36389 SOS 5076 HAS SOPS 5076 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3996.076
AT ITER 7343 NEW BEST:: SOT 36385 SOS 5064 HAS SOPS 5064 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3988.064
AT ITER 7584 NEW BEST:: SOT 36381 SOS 5057 HAS SOPS 5057 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3980.057
AT ITER 7628 NEW BEST:: SOT 36374 SOS 5044 HAS SOPS 5044 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3970.044
AT ITER 8201 NEW BEST:: SOT 36372 SOS 5041 HAS SOPS 5041 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3964.041
AT ITER 8607 NEW BEST:: SOT 36372 SOS 5041 HAS SOPS 5041 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3963.041
AT ITER 8943 NEW BEST:: SOT 36372 SOS 5033 HAS SOPS 5033 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3963.033
AT ITER 8945 NEW BEST:: SOT 36371 SOS 5025 HAS SOPS 5025 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3959.025
AT ITER 9009 NEW BEST:: SOT 36369 SOS 5022 HAS SOPS 5022 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3957.022
AT ITER 9248 NEW BEST:: SOT 36359 SOS 5010 HAS SOPS 5010 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3950.01
AT ITER 9305 NEW BEST:: SOT 36357 SOS 5002 HAS SOPS 5002 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3942.002
AT ITER 9355 NEW BEST:: SOT 36357 SOS 5001 HAS SOPS 5001 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3941.001
AT ITER 9584 NEW BEST:: SOT 36355 SOS 4995 HAS SOPS 4995 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.995
AT ITER 9623 NEW BEST:: SOT 36349 SOS 4982 HAS SOPS 4982 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3928.982

BK_STOP 1590410789388

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 370 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-5020"
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-5020, 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-159033382900584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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