Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140100096.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 HexagonalGrid-PT-226, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 356K
-rw-r--r-- 1 mcc users 3.3K 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.9K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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 4.1K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rwxr-xr-x 1 mcc users 174K 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 1589610189955

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

Filename model.pnml
Petri model created: 169 places, 270 transitions, 1080 arcs.
AT ITER 0 NEW BEST:: SOT 29065 SOS 11826 HAS SOPS 11826 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5790.826
AT ITER 2 NEW BEST:: SOT 29065 SOS 11826 HAS SOPS 11826 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5787.826
AT ITER 11 NEW BEST:: SOT 29057 SOS 11766 HAS SOPS 11766 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5779.766
AT ITER 38 NEW BEST:: SOT 29057 SOS 11694 HAS SOPS 11694 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5755.694
AT ITER 53 NEW BEST:: SOT 29057 SOS 11678 HAS SOPS 11678 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5755.678
AT ITER 74 NEW BEST:: SOT 29057 SOS 11580 HAS SOPS 11580 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5737.58
AT ITER 96 NEW BEST:: SOT 29057 SOS 11572 HAS SOPS 11572 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5713.572
AT ITER 100 NEW BEST:: SOT 29051 SOS 11473 HAS SOPS 11473 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5694.473
AT ITER 124 NEW BEST:: SOT 29051 SOS 11407 HAS SOPS 11407 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5672.407
AT ITER 127 NEW BEST:: SOT 29045 SOS 11401 HAS SOPS 11401 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5666.401
AT ITER 131 NEW BEST:: SOT 29037 SOS 11385 HAS SOPS 11385 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5650.385
AT ITER 135 NEW BEST:: SOT 29037 SOS 11279 HAS SOPS 11279 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5624.279
AT ITER 140 NEW BEST:: SOT 29037 SOS 11331 HAS SOPS 11331 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5576.331
AT ITER 149 NEW BEST:: SOT 29002 SOS 11289 HAS SOPS 11289 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5534.289
AT ITER 163 NEW BEST:: SOT 29002 SOS 11261 HAS SOPS 11261 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5534.261
AT ITER 167 NEW BEST:: SOT 29002 SOS 11209 HAS SOPS 11209 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5534.209
AT ITER 171 NEW BEST:: SOT 28993 SOS 11200 HAS SOPS 11200 HAS SOUS 5514 HAS SOUPS 5514 WITH SCORE 5525.2
AT ITER 236 NEW BEST:: SOT 28992 SOS 11193 HAS SOPS 11193 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5522.193
AT ITER 244 NEW BEST:: SOT 28992 SOS 11163 HAS SOPS 11163 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5512.163
AT ITER 263 NEW BEST:: SOT 28991 SOS 11090 HAS SOPS 11090 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5499.09
AT ITER 303 NEW BEST:: SOT 28921 SOS 10966 HAS SOPS 10966 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5410.966
AT ITER 327 NEW BEST:: SOT 28921 SOS 10960 HAS SOPS 10960 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5408.96
AT ITER 329 NEW BEST:: SOT 28921 SOS 10956 HAS SOPS 10956 HAS SOUS 5394 HAS SOUPS 5394 WITH SCORE 5404.956
AT ITER 342 NEW BEST:: SOT 28921 SOS 10914 HAS SOPS 10914 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5390.914
AT ITER 377 NEW BEST:: SOT 28917 SOS 10895 HAS SOPS 10895 HAS SOUS 5373 HAS SOUPS 5373 WITH SCORE 5383.895
AT ITER 379 NEW BEST:: SOT 28934 SOS 10912 HAS SOPS 10912 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5381.912
AT ITER 380 NEW BEST:: SOT 28934 SOS 10827 HAS SOPS 10827 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5364.827
AT ITER 381 NEW BEST:: SOT 28932 SOS 10823 HAS SOPS 10823 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5360.823
AT ITER 393 NEW BEST:: SOT 28932 SOS 10788 HAS SOPS 10788 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5353.788
AT ITER 404 NEW BEST:: SOT 28923 SOS 10683 HAS SOPS 10683 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5328.683
AT ITER 414 NEW BEST:: SOT 28919 SOS 10679 HAS SOPS 10679 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5324.679
AT ITER 458 NEW BEST:: SOT 28919 SOS 10667 HAS SOPS 10667 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5320.667
AT ITER 460 NEW BEST:: SOT 28824 SOS 10553 HAS SOPS 10553 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5206.553
AT ITER 484 NEW BEST:: SOT 28824 SOS 10553 HAS SOPS 10553 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5201.553
AT ITER 487 NEW BEST:: SOT 28805 SOS 10495 HAS SOPS 10495 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5196.495
AT ITER 546 NEW BEST:: SOT 28789 SOS 10482 HAS SOPS 10482 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5183.482
AT ITER 558 NEW BEST:: SOT 28628 SOS 10336 HAS SOPS 10336 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5004.336
AT ITER 583 NEW BEST:: SOT 28645 SOS 10312 HAS SOPS 10312 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4967.312
AT ITER 585 NEW BEST:: SOT 28645 SOS 10312 HAS SOPS 10312 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4958.312
AT ITER 597 NEW BEST:: SOT 28645 SOS 10312 HAS SOPS 10312 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4957.312
AT ITER 599 NEW BEST:: SOT 28645 SOS 10307 HAS SOPS 10307 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4956.307
AT ITER 611 NEW BEST:: SOT 28645 SOS 10306 HAS SOPS 10306 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4955.306
AT ITER 629 NEW BEST:: SOT 28640 SOS 10300 HAS SOPS 10300 HAS SOUS 4939 HAS SOUPS 4939 WITH SCORE 4949.3
AT ITER 644 NEW BEST:: SOT 28640 SOS 10195 HAS SOPS 10195 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4932.195
AT ITER 659 NEW BEST:: SOT 28640 SOS 10132 HAS SOPS 10132 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4913.132
AT ITER 688 NEW BEST:: SOT 28633 SOS 10111 HAS SOPS 10111 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4900.111
AT ITER 691 NEW BEST:: SOT 28633 SOS 10081 HAS SOPS 10081 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4890.081
AT ITER 702 NEW BEST:: SOT 28621 SOS 10069 HAS SOPS 10069 HAS SOUS 4868 HAS SOUPS 4868 WITH SCORE 4878.069
AT ITER 719 NEW BEST:: SOT 28621 SOS 10140 HAS SOPS 10140 HAS SOUS 4866 HAS SOUPS 4866 WITH SCORE 4876.14
AT ITER 738 NEW BEST:: SOT 28623 SOS 10142 HAS SOPS 10142 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4874.142
AT ITER 763 NEW BEST:: SOT 28570 SOS 10092 HAS SOPS 10092 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4824.092
AT ITER 773 NEW BEST:: SOT 28570 SOS 9995 HAS SOPS 9995 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4806.995
AT ITER 795 NEW BEST:: SOT 28558 SOS 9861 HAS SOPS 9861 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4788.861
AT ITER 870 NEW BEST:: SOT 28558 SOS 9846 HAS SOPS 9846 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4785.846
AT ITER 874 NEW BEST:: SOT 28566 SOS 9846 HAS SOPS 9846 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4747.846
AT ITER 886 NEW BEST:: SOT 28565 SOS 9840 HAS SOPS 9840 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4741.84
AT ITER 894 NEW BEST:: SOT 28565 SOS 9834 HAS SOPS 9834 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4739.834
AT ITER 904 NEW BEST:: SOT 28560 SOS 9828 HAS SOPS 9828 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4729.828
AT ITER 934 NEW BEST:: SOT 28552 SOS 9814 HAS SOPS 9814 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4715.814
AT ITER 986 NEW BEST:: SOT 28551 SOS 9813 HAS SOPS 9813 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4714.813
AT ITER 995 NEW BEST:: SOT 28537 SOS 9799 HAS SOPS 9799 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4700.799
AT ITER 1011 NEW BEST:: SOT 28537 SOS 9763 HAS SOPS 9763 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4688.763
AT ITER 1034 NEW BEST:: SOT 28537 SOS 9748 HAS SOPS 9748 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4673.748
AT ITER 1074 NEW BEST:: SOT 28532 SOS 9743 HAS SOPS 9743 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4668.743
AT ITER 1097 NEW BEST:: SOT 28532 SOS 9754 HAS SOPS 9754 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4659.754
AT ITER 1174 NEW BEST:: SOT 28532 SOS 9759 HAS SOPS 9759 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4656.759
AT ITER 1175 NEW BEST:: SOT 28533 SOS 9755 HAS SOPS 9755 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4656.755
AT ITER 1218 NEW BEST:: SOT 28533 SOS 9737 HAS SOPS 9737 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4650.737
AT ITER 1309 NEW BEST:: SOT 28533 SOS 9737 HAS SOPS 9737 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4648.737
AT ITER 1323 NEW BEST:: SOT 28533 SOS 9737 HAS SOPS 9737 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4644.737
AT ITER 1334 NEW BEST:: SOT 28533 SOS 9745 HAS SOPS 9745 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4636.745
AT ITER 1353 NEW BEST:: SOT 28513 SOS 9725 HAS SOPS 9725 HAS SOUS 4600 HAS SOUPS 4600 WITH SCORE 4609.725
AT ITER 1362 NEW BEST:: SOT 28511 SOS 9724 HAS SOPS 9724 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4601.724
AT ITER 1374 NEW BEST:: SOT 28493 SOS 9706 HAS SOPS 9706 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4583.706
AT ITER 1375 NEW BEST:: SOT 28493 SOS 9706 HAS SOPS 9706 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4579.706
AT ITER 1393 NEW BEST:: SOT 28488 SOS 9701 HAS SOPS 9701 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4535.701
AT ITER 1440 NEW BEST:: SOT 28495 SOS 9708 HAS SOPS 9708 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4516.708
AT ITER 1480 NEW BEST:: SOT 28494 SOS 9700 HAS SOPS 9700 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4512.7
AT ITER 1494 NEW BEST:: SOT 28488 SOS 9622 HAS SOPS 9622 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4486.622
AT ITER 1538 NEW BEST:: SOT 28483 SOS 9617 HAS SOPS 9617 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4481.617
AT ITER 1612 NEW BEST:: SOT 28483 SOS 9615 HAS SOPS 9615 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4479.615
AT ITER 1635 NEW BEST:: SOT 28474 SOS 9561 HAS SOPS 9561 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4461.561
AT ITER 1645 NEW BEST:: SOT 28468 SOS 9538 HAS SOPS 9538 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4458.538
AT ITER 1652 NEW BEST:: SOT 28468 SOS 9538 HAS SOPS 9538 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4457.538
AT ITER 1704 NEW BEST:: SOT 28468 SOS 9544 HAS SOPS 9544 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4455.544
AT ITER 1748 NEW BEST:: SOT 28466 SOS 9519 HAS SOPS 9519 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4454.519
AT ITER 1786 NEW BEST:: SOT 28466 SOS 9516 HAS SOPS 9516 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4445.516
AT ITER 1798 NEW BEST:: SOT 28468 SOS 9519 HAS SOPS 9519 HAS SOUS 4424 HAS SOUPS 4424 WITH SCORE 4433.519
AT ITER 1817 NEW BEST:: SOT 28468 SOS 9445 HAS SOPS 9445 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4431.445
AT ITER 1840 NEW BEST:: SOT 28466 SOS 9459 HAS SOPS 9459 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4429.459
AT ITER 1846 NEW BEST:: SOT 28467 SOS 9431 HAS SOPS 9431 HAS SOUS 4420 HAS SOUPS 4420 WITH SCORE 4429.431
AT ITER 1852 NEW BEST:: SOT 28457 SOS 9421 HAS SOPS 9421 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4423.421
AT ITER 1854 NEW BEST:: SOT 28455 SOS 9419 HAS SOPS 9419 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4411.419
AT ITER 1866 NEW BEST:: SOT 28459 SOS 9414 HAS SOPS 9414 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4406.414
AT ITER 1887 NEW BEST:: SOT 28443 SOS 9398 HAS SOPS 9398 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4390.398
AT ITER 1892 NEW BEST:: SOT 28443 SOS 9398 HAS SOPS 9398 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4389.398
AT ITER 1897 NEW BEST:: SOT 28443 SOS 9390 HAS SOPS 9390 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4381.39
AT ITER 1935 NEW BEST:: SOT 28440 SOS 9384 HAS SOPS 9384 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4375.384
AT ITER 1948 NEW BEST:: SOT 28434 SOS 9375 HAS SOPS 9375 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4362.375
AT ITER 2000 NEW BEST:: SOT 28423 SOS 9364 HAS SOPS 9364 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4351.364
AT ITER 2021 NEW BEST:: SOT 28379 SOS 9311 HAS SOPS 9311 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4290.311
AT ITER 2110 NEW BEST:: SOT 28376 SOS 9284 HAS SOPS 9284 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4279.284
AT ITER 2136 NEW BEST:: SOT 28377 SOS 9285 HAS SOPS 9285 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4276.285
AT ITER 2160 NEW BEST:: SOT 28370 SOS 9277 HAS SOPS 9277 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4272.277
AT ITER 2170 NEW BEST:: SOT 28363 SOS 9271 HAS SOPS 9271 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4266.271
AT ITER 2225 NEW BEST:: SOT 28363 SOS 9296 HAS SOPS 9296 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4263.296
AT ITER 2264 NEW BEST:: SOT 28363 SOS 9299 HAS SOPS 9299 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4262.299
AT ITER 2272 NEW BEST:: SOT 28363 SOS 9287 HAS SOPS 9287 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4258.287
AT ITER 2305 NEW BEST:: SOT 28363 SOS 9285 HAS SOPS 9285 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4256.285
AT ITER 2308 NEW BEST:: SOT 28347 SOS 9269 HAS SOPS 9269 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4240.269
AT ITER 2399 NEW BEST:: SOT 28342 SOS 9278 HAS SOPS 9278 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4217.278
AT ITER 2443 NEW BEST:: SOT 28342 SOS 9272 HAS SOPS 9272 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4215.272
AT ITER 2550 NEW BEST:: SOT 28342 SOS 9272 HAS SOPS 9272 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4207.272
AT ITER 2559 NEW BEST:: SOT 28342 SOS 9236 HAS SOPS 9236 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4195.236
AT ITER 2585 NEW BEST:: SOT 28341 SOS 9220 HAS SOPS 9220 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4183.22
AT ITER 2588 NEW BEST:: SOT 28343 SOS 9237 HAS SOPS 9237 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4172.237
AT ITER 2597 NEW BEST:: SOT 28342 SOS 9197 HAS SOPS 9197 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4168.197
AT ITER 2632 NEW BEST:: SOT 28342 SOS 9231 HAS SOPS 9231 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4154.231
AT ITER 2634 NEW BEST:: SOT 28342 SOS 9231 HAS SOPS 9231 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4151.231
AT ITER 2722 NEW BEST:: SOT 28322 SOS 9187 HAS SOPS 9187 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4143.187
AT ITER 2745 NEW BEST:: SOT 28321 SOS 9185 HAS SOPS 9185 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4141.185
AT ITER 2758 NEW BEST:: SOT 28321 SOS 9185 HAS SOPS 9185 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4139.185
AT ITER 2847 NEW BEST:: SOT 28322 SOS 9177 HAS SOPS 9177 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4139.177
AT ITER 2886 NEW BEST:: SOT 28319 SOS 9156 HAS SOPS 9156 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4130.156
AT ITER 2985 NEW BEST:: SOT 28319 SOS 9156 HAS SOPS 9156 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4119.156
AT ITER 3022 NEW BEST:: SOT 28319 SOS 9156 HAS SOPS 9156 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4111.156
AT ITER 3034 NEW BEST:: SOT 28319 SOS 9155 HAS SOPS 9155 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4110.155
AT ITER 3040 NEW BEST:: SOT 28319 SOS 9145 HAS SOPS 9145 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4108.145
AT ITER 3046 NEW BEST:: SOT 28320 SOS 9136 HAS SOPS 9136 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4107.136
AT ITER 3177 NEW BEST:: SOT 28319 SOS 9130 HAS SOPS 9130 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4105.13
AT ITER 3324 NEW BEST:: SOT 28304 SOS 9115 HAS SOPS 9115 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4045.115
AT ITER 3364 NEW BEST:: SOT 28292 SOS 9100 HAS SOPS 9100 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4032.1
AT ITER 3390 NEW BEST:: SOT 28291 SOS 9089 HAS SOPS 9089 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4025.089
AT ITER 3436 NEW BEST:: SOT 28290 SOS 9029 HAS SOPS 9029 HAS SOUS 4004 HAS SOUPS 4004 WITH SCORE 4013.029
AT ITER 3528 NEW BEST:: SOT 28262 SOS 8985 HAS SOPS 8985 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3985.985
AT ITER 3597 NEW BEST:: SOT 28277 SOS 9002 HAS SOPS 9002 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3973.002
AT ITER 3644 NEW BEST:: SOT 28277 SOS 9002 HAS SOPS 9002 HAS SOUS 3963 HAS SOUPS 3963 WITH SCORE 3972.002
AT ITER 3646 NEW BEST:: SOT 28267 SOS 8945 HAS SOPS 8945 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3946.945
AT ITER 3672 NEW BEST:: SOT 28273 SOS 8911 HAS SOPS 8911 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3944.911
AT ITER 3691 NEW BEST:: SOT 28272 SOS 8909 HAS SOPS 8909 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3942.909
AT ITER 3719 NEW BEST:: SOT 28267 SOS 8905 HAS SOPS 8905 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3942.905
AT ITER 3793 NEW BEST:: SOT 28264 SOS 8887 HAS SOPS 8887 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3936.887
AT ITER 3794 NEW BEST:: SOT 28264 SOS 8764 HAS SOPS 8764 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3936.764
AT ITER 3853 NEW BEST:: SOT 28258 SOS 8758 HAS SOPS 8758 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3929.758
AT ITER 3907 NEW BEST:: SOT 28258 SOS 8752 HAS SOPS 8752 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3927.752
AT ITER 3925 NEW BEST:: SOT 28257 SOS 8751 HAS SOPS 8751 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3926.751
AT ITER 3981 NEW BEST:: SOT 28257 SOS 8747 HAS SOPS 8747 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3918.747
AT ITER 4088 NEW BEST:: SOT 28251 SOS 8741 HAS SOPS 8741 HAS SOUS 3908 HAS SOUPS 3908 WITH SCORE 3916.741
AT ITER 4099 NEW BEST:: SOT 28251 SOS 8729 HAS SOPS 8729 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3912.729
AT ITER 4139 NEW BEST:: SOT 28251 SOS 8724 HAS SOPS 8724 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3911.724
AT ITER 4161 NEW BEST:: SOT 28249 SOS 8722 HAS SOPS 8722 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3901.722
AT ITER 4180 NEW BEST:: SOT 28249 SOS 8722 HAS SOPS 8722 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3899.722
AT ITER 4220 NEW BEST:: SOT 28249 SOS 8706 HAS SOPS 8706 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3899.706
AT ITER 4243 NEW BEST:: SOT 28249 SOS 8700 HAS SOPS 8700 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3893.7
AT ITER 4365 NEW BEST:: SOT 28243 SOS 8704 HAS SOPS 8704 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3889.704
AT ITER 4625 NEW BEST:: SOT 28243 SOS 8704 HAS SOPS 8704 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3871.704
AT ITER 4651 NEW BEST:: SOT 28243 SOS 8704 HAS SOPS 8704 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3866.704
AT ITER 4655 NEW BEST:: SOT 28243 SOS 8698 HAS SOPS 8698 HAS SOUS 3856 HAS SOUPS 3856 WITH SCORE 3864.698
AT ITER 4876 NEW BEST:: SOT 28230 SOS 8671 HAS SOPS 8671 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3849.671
AT ITER 4969 NEW BEST:: SOT 28228 SOS 8659 HAS SOPS 8659 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3845.659
AT ITER 4981 NEW BEST:: SOT 28227 SOS 8656 HAS SOPS 8656 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3842.656
AT ITER 4988 NEW BEST:: SOT 28226 SOS 8649 HAS SOPS 8649 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3839.649
AT ITER 5017 NEW BEST:: SOT 28226 SOS 8633 HAS SOPS 8633 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3835.633
AT ITER 5051 NEW BEST:: SOT 28224 SOS 8631 HAS SOPS 8631 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3835.631
AT ITER 5069 NEW BEST:: SOT 28224 SOS 8625 HAS SOPS 8625 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3833.625
AT ITER 5084 NEW BEST:: SOT 28223 SOS 8624 HAS SOPS 8624 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3832.624
AT ITER 5092 NEW BEST:: SOT 28223 SOS 8618 HAS SOPS 8618 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3830.618
AT ITER 5101 NEW BEST:: SOT 28221 SOS 8603 HAS SOPS 8603 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3823.603
AT ITER 5131 NEW BEST:: SOT 28219 SOS 8589 HAS SOPS 8589 HAS SOUS 3809 HAS SOUPS 3809 WITH SCORE 3817.589
AT ITER 5219 NEW BEST:: SOT 28219 SOS 8584 HAS SOPS 8584 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3816.584
AT ITER 5402 NEW BEST:: SOT 28219 SOS 8580 HAS SOPS 8580 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3816.58
AT ITER 5575 NEW BEST:: SOT 28219 SOS 8574 HAS SOPS 8574 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3814.574
AT ITER 5593 NEW BEST:: SOT 28219 SOS 8584 HAS SOPS 8584 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3812.584
AT ITER 5681 NEW BEST:: SOT 28218 SOS 8585 HAS SOPS 8585 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3809.585
AT ITER 5725 NEW BEST:: SOT 28208 SOS 8565 HAS SOPS 8565 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3797.565
AT ITER 5806 NEW BEST:: SOT 28207 SOS 8564 HAS SOPS 8564 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3796.564
AT ITER 5940 NEW BEST:: SOT 28206 SOS 8561 HAS SOPS 8561 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3793.561
AT ITER 5988 NEW BEST:: SOT 28205 SOS 8554 HAS SOPS 8554 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3790.554
AT ITER 6030 NEW BEST:: SOT 28204 SOS 8518 HAS SOPS 8518 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3786.518
AT ITER 6192 NEW BEST:: SOT 28204 SOS 8494 HAS SOPS 8494 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3782.494
AT ITER 6205 NEW BEST:: SOT 28204 SOS 8494 HAS SOPS 8494 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3762.494
AT ITER 6364 NEW BEST:: SOT 28199 SOS 8488 HAS SOPS 8488 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3756.488
AT ITER 6399 NEW BEST:: SOT 28194 SOS 8487 HAS SOPS 8487 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3755.487
AT ITER 6427 NEW BEST:: SOT 28192 SOS 8485 HAS SOPS 8485 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3753.485
AT ITER 6507 NEW BEST:: SOT 28192 SOS 8479 HAS SOPS 8479 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3751.479
AT ITER 6735 NEW BEST:: SOT 28197 SOS 8484 HAS SOPS 8484 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3747.484
AT ITER 6796 NEW BEST:: SOT 28197 SOS 8472 HAS SOPS 8472 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3743.472
AT ITER 6823 NEW BEST:: SOT 28196 SOS 8471 HAS SOPS 8471 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3742.471
AT ITER 6827 NEW BEST:: SOT 28196 SOS 8465 HAS SOPS 8465 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3740.465
AT ITER 6847 NEW BEST:: SOT 28190 SOS 8447 HAS SOPS 8447 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3730.447
AT ITER 6992 NEW BEST:: SOT 28180 SOS 8425 HAS SOPS 8425 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3726.425
AT ITER 7094 NEW BEST:: SOT 28172 SOS 8417 HAS SOPS 8417 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3719.417
AT ITER 7164 NEW BEST:: SOT 28157 SOS 8387 HAS SOPS 8387 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3701.387
AT ITER 7227 NEW BEST:: SOT 28156 SOS 8386 HAS SOPS 8386 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3700.386
AT ITER 7334 NEW BEST:: SOT 28131 SOS 8311 HAS SOPS 8311 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3690.311
AT ITER 7528 NEW BEST:: SOT 28124 SOS 8305 HAS SOPS 8305 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3684.305
AT ITER 7561 NEW BEST:: SOT 28123 SOS 8300 HAS SOPS 8300 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3683.3
AT ITER 7745 NEW BEST:: SOT 28122 SOS 8294 HAS SOPS 8294 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3681.294
AT ITER 8060 NEW BEST:: SOT 28121 SOS 8304 HAS SOPS 8304 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3679.304
AT ITER 8347 NEW BEST:: SOT 28118 SOS 8295 HAS SOPS 8295 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3674.295
AT ITER 8825 NEW BEST:: SOT 28116 SOS 8293 HAS SOPS 8293 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3672.293
AT ITER 8842 NEW BEST:: SOT 28116 SOS 8291 HAS SOPS 8291 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3670.291
AT ITER 9022 NEW BEST:: SOT 28111 SOS 8266 HAS SOPS 8266 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3660.266
AT ITER 9056 NEW BEST:: SOT 28092 SOS 8241 HAS SOPS 8241 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3659.241
AT ITER 9192 NEW BEST:: SOT 28093 SOS 8241 HAS SOPS 8241 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3654.241
AT ITER 9264 NEW BEST:: SOT 28093 SOS 8235 HAS SOPS 8235 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3652.235
AT ITER 9469 NEW BEST:: SOT 28090 SOS 8241 HAS SOPS 8241 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3650.241
AT ITER 9613 NEW BEST:: SOT 28085 SOS 8233 HAS SOPS 8233 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3646.233
AT ITER 9708 NEW BEST:: SOT 28085 SOS 8210 HAS SOPS 8210 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3643.21
AT ITER 9729 NEW BEST:: SOT 28085 SOS 8195 HAS SOPS 8195 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3640.195
AT ITER 9902 NEW BEST:: SOT 28085 SOS 8189 HAS SOPS 8189 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3638.189

BK_TIME_CONFINEMENT_REACHED

--------------------
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="HexagonalGrid-PT-226"
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 HexagonalGrid-PT-226, 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 r093-oct2-158940140100096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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