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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 7 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 130K Apr 27 15:14 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 1590405811425

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

Filename model.pnml
Petri model created: 240 places, 272 transitions, 1088 arcs.
AT ITER 0 NEW BEST:: SOT 36594 SOS 7979 HAS SOPS 7979 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5329.979
AT ITER 12 NEW BEST:: SOT 36592 SOS 7977 HAS SOPS 7977 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5327.977
AT ITER 33 NEW BEST:: SOT 36583 SOS 7932 HAS SOPS 7932 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5300.932
AT ITER 62 NEW BEST:: SOT 36583 SOS 7932 HAS SOPS 7932 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5299.932
AT ITER 87 NEW BEST:: SOT 36574 SOS 7887 HAS SOPS 7887 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5272.887
AT ITER 139 NEW BEST:: SOT 36564 SOS 7846 HAS SOPS 7846 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5245.846
AT ITER 182 NEW BEST:: SOT 36540 SOS 7822 HAS SOPS 7822 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5221.822
AT ITER 184 NEW BEST:: SOT 36540 SOS 7822 HAS SOPS 7822 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5212.822
AT ITER 188 NEW BEST:: SOT 36540 SOS 7790 HAS SOPS 7790 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5196.79
AT ITER 204 NEW BEST:: SOT 36534 SOS 7784 HAS SOPS 7784 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5190.784
AT ITER 219 NEW BEST:: SOT 36530 SOS 7776 HAS SOPS 7776 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5182.776
AT ITER 226 NEW BEST:: SOT 36529 SOS 7774 HAS SOPS 7774 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5170.774
AT ITER 238 NEW BEST:: SOT 36489 SOS 7694 HAS SOPS 7694 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5128.694
AT ITER 278 NEW BEST:: SOT 36471 SOS 7670 HAS SOPS 7670 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5106.67
AT ITER 283 NEW BEST:: SOT 36469 SOS 7668 HAS SOPS 7668 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5104.668
AT ITER 287 NEW BEST:: SOT 36469 SOS 7668 HAS SOPS 7668 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5095.668
AT ITER 289 NEW BEST:: SOT 36469 SOS 7663 HAS SOPS 7663 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5080.663
AT ITER 312 NEW BEST:: SOT 36451 SOS 7645 HAS SOPS 7645 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5062.645
AT ITER 336 NEW BEST:: SOT 36451 SOS 7645 HAS SOPS 7645 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5060.645
AT ITER 370 NEW BEST:: SOT 36448 SOS 7638 HAS SOPS 7638 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5058.638
AT ITER 394 NEW BEST:: SOT 36433 SOS 7608 HAS SOPS 7608 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5038.608
AT ITER 460 NEW BEST:: SOT 36431 SOS 7600 HAS SOPS 7600 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5034.6
AT ITER 482 NEW BEST:: SOT 36413 SOS 7560 HAS SOPS 7560 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5010.56
AT ITER 489 NEW BEST:: SOT 36369 SOS 7472 HAS SOPS 7472 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4962.472
AT ITER 490 NEW BEST:: SOT 36365 SOS 7442 HAS SOPS 7442 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4940.442
AT ITER 536 NEW BEST:: SOT 36348 SOS 7408 HAS SOPS 7408 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4920.408
AT ITER 582 NEW BEST:: SOT 36348 SOS 7400 HAS SOPS 7400 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4920.4
AT ITER 606 NEW BEST:: SOT 36345 SOS 7394 HAS SOPS 7394 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4914.394
AT ITER 636 NEW BEST:: SOT 36338 SOS 7366 HAS SOPS 7366 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4900.366
AT ITER 739 NEW BEST:: SOT 36314 SOS 7342 HAS SOPS 7342 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4876.342
AT ITER 744 NEW BEST:: SOT 36313 SOS 7340 HAS SOPS 7340 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4864.34
AT ITER 772 NEW BEST:: SOT 36313 SOS 7356 HAS SOPS 7356 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4848.356
AT ITER 800 NEW BEST:: SOT 36313 SOS 7356 HAS SOPS 7356 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4844.356
AT ITER 802 NEW BEST:: SOT 36302 SOS 7349 HAS SOPS 7349 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4837.349
AT ITER 827 NEW BEST:: SOT 36295 SOS 7321 HAS SOPS 7321 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4823.321
AT ITER 886 NEW BEST:: SOT 36290 SOS 7339 HAS SOPS 7339 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4814.339
AT ITER 894 NEW BEST:: SOT 36275 SOS 7279 HAS SOPS 7279 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4784.279
AT ITER 896 NEW BEST:: SOT 36273 SOS 7275 HAS SOPS 7275 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4776.275
AT ITER 898 NEW BEST:: SOT 36273 SOS 7274 HAS SOPS 7274 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4775.274
AT ITER 919 NEW BEST:: SOT 36271 SOS 7264 HAS SOPS 7264 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4769.264
AT ITER 956 NEW BEST:: SOT 36271 SOS 7234 HAS SOPS 7234 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4759.234
AT ITER 963 NEW BEST:: SOT 36272 SOS 7240 HAS SOPS 7240 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4755.24
AT ITER 987 NEW BEST:: SOT 36265 SOS 7226 HAS SOPS 7226 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4741.226
AT ITER 1086 NEW BEST:: SOT 36259 SOS 7218 HAS SOPS 7218 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4737.218
AT ITER 1088 NEW BEST:: SOT 36241 SOS 7182 HAS SOPS 7182 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4713.182
AT ITER 1135 NEW BEST:: SOT 36196 SOS 7144 HAS SOPS 7144 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4687.144
AT ITER 1147 NEW BEST:: SOT 36196 SOS 7140 HAS SOPS 7140 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4685.14
AT ITER 1150 NEW BEST:: SOT 36191 SOS 7135 HAS SOPS 7135 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4676.135
AT ITER 1255 NEW BEST:: SOT 36191 SOS 7135 HAS SOPS 7135 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4672.135
AT ITER 1262 NEW BEST:: SOT 36191 SOS 7135 HAS SOPS 7135 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4670.135
AT ITER 1286 NEW BEST:: SOT 36155 SOS 7087 HAS SOPS 7087 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4620.087
AT ITER 1314 NEW BEST:: SOT 36155 SOS 7084 HAS SOPS 7084 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4619.084
AT ITER 1526 NEW BEST:: SOT 36146 SOS 7048 HAS SOPS 7048 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4601.048
AT ITER 1553 NEW BEST:: SOT 36134 SOS 7017 HAS SOPS 7017 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4595.017
AT ITER 1571 NEW BEST:: SOT 36130 SOS 6997 HAS SOPS 6997 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4594.997
AT ITER 1666 NEW BEST:: SOT 36124 SOS 6991 HAS SOPS 6991 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4582.991
AT ITER 1733 NEW BEST:: SOT 36117 SOS 6977 HAS SOPS 6977 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4568.977
AT ITER 1769 NEW BEST:: SOT 36117 SOS 6977 HAS SOPS 6977 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4561.977
AT ITER 1891 NEW BEST:: SOT 36117 SOS 6977 HAS SOPS 6977 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4557.977
AT ITER 1932 NEW BEST:: SOT 36117 SOS 6963 HAS SOPS 6963 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4555.963
AT ITER 1953 NEW BEST:: SOT 36117 SOS 6949 HAS SOPS 6949 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4551.949
AT ITER 1957 NEW BEST:: SOT 36117 SOS 6949 HAS SOPS 6949 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4547.949
AT ITER 2015 NEW BEST:: SOT 36116 SOS 6948 HAS SOPS 6948 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4546.948
AT ITER 2045 NEW BEST:: SOT 36105 SOS 6937 HAS SOPS 6937 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4507.937
AT ITER 2083 NEW BEST:: SOT 36105 SOS 6934 HAS SOPS 6934 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4506.934
AT ITER 2093 NEW BEST:: SOT 36105 SOS 6936 HAS SOPS 6936 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4504.936
AT ITER 2267 NEW BEST:: SOT 36096 SOS 6929 HAS SOPS 6929 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4497.929
AT ITER 2274 NEW BEST:: SOT 36096 SOS 6929 HAS SOPS 6929 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4496.929
AT ITER 2297 NEW BEST:: SOT 36096 SOS 6929 HAS SOPS 6929 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4493.929
AT ITER 2325 NEW BEST:: SOT 36081 SOS 6914 HAS SOPS 6914 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4478.914
AT ITER 2332 NEW BEST:: SOT 36066 SOS 6896 HAS SOPS 6896 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4453.896
AT ITER 2385 NEW BEST:: SOT 36057 SOS 6878 HAS SOPS 6878 HAS SOUS 4435 HAS SOUPS 4435 WITH SCORE 4441.878
AT ITER 2399 NEW BEST:: SOT 36046 SOS 6868 HAS SOPS 6868 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4437.868
AT ITER 2637 NEW BEST:: SOT 36022 SOS 6846 HAS SOPS 6846 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4415.846
AT ITER 2650 NEW BEST:: SOT 36011 SOS 6826 HAS SOPS 6826 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4401.826
AT ITER 2692 NEW BEST:: SOT 35996 SOS 6806 HAS SOPS 6806 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4383.806
AT ITER 2755 NEW BEST:: SOT 35981 SOS 6760 HAS SOPS 6760 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4365.76
AT ITER 2780 NEW BEST:: SOT 35981 SOS 6718 HAS SOPS 6718 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4365.718
AT ITER 2788 NEW BEST:: SOT 35981 SOS 6713 HAS SOPS 6713 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4356.713
AT ITER 2794 NEW BEST:: SOT 36000 SOS 6662 HAS SOPS 6662 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4355.662
AT ITER 2892 NEW BEST:: SOT 35998 SOS 6658 HAS SOPS 6658 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4347.658
AT ITER 2944 NEW BEST:: SOT 35990 SOS 6618 HAS SOPS 6618 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4323.618
AT ITER 3051 NEW BEST:: SOT 35990 SOS 6596 HAS SOPS 6596 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4323.596
AT ITER 3187 NEW BEST:: SOT 35985 SOS 6586 HAS SOPS 6586 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4299.586
AT ITER 3202 NEW BEST:: SOT 35985 SOS 6581 HAS SOPS 6581 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4294.581
AT ITER 3283 NEW BEST:: SOT 35985 SOS 6585 HAS SOPS 6585 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4290.585
AT ITER 3339 NEW BEST:: SOT 35985 SOS 6577 HAS SOPS 6577 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4290.577
AT ITER 3346 NEW BEST:: SOT 35980 SOS 6541 HAS SOPS 6541 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4264.541
AT ITER 3394 NEW BEST:: SOT 35970 SOS 6527 HAS SOPS 6527 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4256.527
AT ITER 3401 NEW BEST:: SOT 35969 SOS 6525 HAS SOPS 6525 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4254.525
AT ITER 3776 NEW BEST:: SOT 35966 SOS 6522 HAS SOPS 6522 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4251.522
AT ITER 3782 NEW BEST:: SOT 35966 SOS 6518 HAS SOPS 6518 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4247.518
AT ITER 3807 NEW BEST:: SOT 35966 SOS 6528 HAS SOPS 6528 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4245.528
AT ITER 3818 NEW BEST:: SOT 35965 SOS 6526 HAS SOPS 6526 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4243.526
AT ITER 3901 NEW BEST:: SOT 35963 SOS 6518 HAS SOPS 6518 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4239.518
AT ITER 4041 NEW BEST:: SOT 35959 SOS 6514 HAS SOPS 6514 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4235.514
AT ITER 4046 NEW BEST:: SOT 35957 SOS 6504 HAS SOPS 6504 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4223.504
AT ITER 4334 NEW BEST:: SOT 35950 SOS 6497 HAS SOPS 6497 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4201.497
AT ITER 4365 NEW BEST:: SOT 35947 SOS 6494 HAS SOPS 6494 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4198.494
AT ITER 4393 NEW BEST:: SOT 35945 SOS 6492 HAS SOPS 6492 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4198.492
AT ITER 4417 NEW BEST:: SOT 35945 SOS 6490 HAS SOPS 6490 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4198.49
AT ITER 4462 NEW BEST:: SOT 35940 SOS 6480 HAS SOPS 6480 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4194.48
AT ITER 4547 NEW BEST:: SOT 35939 SOS 6476 HAS SOPS 6476 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4188.476
AT ITER 4644 NEW BEST:: SOT 35930 SOS 6464 HAS SOPS 6464 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4178.464
AT ITER 4708 NEW BEST:: SOT 35915 SOS 6448 HAS SOPS 6448 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4164.448
AT ITER 4767 NEW BEST:: SOT 35915 SOS 6448 HAS SOPS 6448 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4163.448
AT ITER 4777 NEW BEST:: SOT 35906 SOS 6428 HAS SOPS 6428 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4151.428
AT ITER 4830 NEW BEST:: SOT 35903 SOS 6424 HAS SOPS 6424 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4147.424
AT ITER 4900 NEW BEST:: SOT 35921 SOS 6452 HAS SOPS 6452 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4145.452
AT ITER 4909 NEW BEST:: SOT 35917 SOS 6436 HAS SOPS 6436 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4137.436
AT ITER 5041 NEW BEST:: SOT 35905 SOS 6420 HAS SOPS 6420 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4113.42
AT ITER 5056 NEW BEST:: SOT 35901 SOS 6404 HAS SOPS 6404 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4105.404
AT ITER 5155 NEW BEST:: SOT 35900 SOS 6400 HAS SOPS 6400 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4103.4
AT ITER 5202 NEW BEST:: SOT 35881 SOS 6373 HAS SOPS 6373 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4082.373
AT ITER 5217 NEW BEST:: SOT 35875 SOS 6361 HAS SOPS 6361 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4074.361
AT ITER 5266 NEW BEST:: SOT 35866 SOS 6349 HAS SOPS 6349 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4062.349
AT ITER 5383 NEW BEST:: SOT 35860 SOS 6327 HAS SOPS 6327 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4058.327
AT ITER 5449 NEW BEST:: SOT 35859 SOS 6325 HAS SOPS 6325 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4056.325
AT ITER 5502 NEW BEST:: SOT 35854 SOS 6305 HAS SOPS 6305 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4051.305
AT ITER 5531 NEW BEST:: SOT 35854 SOS 6302 HAS SOPS 6302 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4048.302
AT ITER 5568 NEW BEST:: SOT 35854 SOS 6302 HAS SOPS 6302 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4042.302
AT ITER 5619 NEW BEST:: SOT 35854 SOS 6293 HAS SOPS 6293 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4039.293
AT ITER 5765 NEW BEST:: SOT 35857 SOS 6309 HAS SOPS 6309 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4027.309
AT ITER 5905 NEW BEST:: SOT 35854 SOS 6302 HAS SOPS 6302 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4022.302
AT ITER 6145 NEW BEST:: SOT 35852 SOS 6297 HAS SOPS 6297 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4019.297
AT ITER 6157 NEW BEST:: SOT 35847 SOS 6286 HAS SOPS 6286 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3998.286
AT ITER 6212 NEW BEST:: SOT 35841 SOS 6262 HAS SOPS 6262 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3986.262
AT ITER 6439 NEW BEST:: SOT 35837 SOS 6258 HAS SOPS 6258 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3976.258
AT ITER 6536 NEW BEST:: SOT 35831 SOS 6250 HAS SOPS 6250 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3968.25
AT ITER 6581 NEW BEST:: SOT 35831 SOS 6250 HAS SOPS 6250 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3964.25
AT ITER 6681 NEW BEST:: SOT 35827 SOS 6232 HAS SOPS 6232 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3962.232
AT ITER 6740 NEW BEST:: SOT 35827 SOS 6223 HAS SOPS 6223 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3959.223
AT ITER 6771 NEW BEST:: SOT 35821 SOS 6200 HAS SOPS 6200 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3946.2
AT ITER 6880 NEW BEST:: SOT 35821 SOS 6206 HAS SOPS 6206 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3940.206
AT ITER 6943 NEW BEST:: SOT 35821 SOS 6202 HAS SOPS 6202 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3938.202
AT ITER 7067 NEW BEST:: SOT 35808 SOS 6188 HAS SOPS 6188 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3938.188
AT ITER 7158 NEW BEST:: SOT 35807 SOS 6186 HAS SOPS 6186 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3936.186
AT ITER 7366 NEW BEST:: SOT 35795 SOS 6172 HAS SOPS 6172 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3920.172
AT ITER 7421 NEW BEST:: SOT 35791 SOS 6160 HAS SOPS 6160 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3912.16
AT ITER 7535 NEW BEST:: SOT 35790 SOS 6148 HAS SOPS 6148 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3908.148
AT ITER 7575 NEW BEST:: SOT 35788 SOS 6140 HAS SOPS 6140 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3904.14
AT ITER 7576 NEW BEST:: SOT 35789 SOS 6138 HAS SOPS 6138 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3904.138
AT ITER 7685 NEW BEST:: SOT 35788 SOS 6134 HAS SOPS 6134 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3902.134
AT ITER 7777 NEW BEST:: SOT 35788 SOS 6122 HAS SOPS 6122 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3896.122
AT ITER 7816 NEW BEST:: SOT 35785 SOS 6112 HAS SOPS 6112 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3896.112
AT ITER 7853 NEW BEST:: SOT 35784 SOS 6110 HAS SOPS 6110 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3894.11
AT ITER 8104 NEW BEST:: SOT 35784 SOS 6104 HAS SOPS 6104 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3894.104
AT ITER 8338 NEW BEST:: SOT 35783 SOS 6102 HAS SOPS 6102 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3892.102
AT ITER 8381 NEW BEST:: SOT 35782 SOS 6098 HAS SOPS 6098 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3890.098
AT ITER 8518 NEW BEST:: SOT 35780 SOS 6090 HAS SOPS 6090 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3886.09
AT ITER 8526 NEW BEST:: SOT 35779 SOS 6088 HAS SOPS 6088 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3882.088
AT ITER 8696 NEW BEST:: SOT 35779 SOS 6082 HAS SOPS 6082 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3882.082
AT ITER 8702 NEW BEST:: SOT 35761 SOS 5992 HAS SOPS 5992 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3863.992
AT ITER 8793 NEW BEST:: SOT 35759 SOS 5984 HAS SOPS 5984 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3859.984
AT ITER 8827 NEW BEST:: SOT 35759 SOS 5984 HAS SOPS 5984 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3854.984
AT ITER 9112 NEW BEST:: SOT 35759 SOS 5984 HAS SOPS 5984 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3841.984
AT ITER 9272 NEW BEST:: SOT 35756 SOS 5982 HAS SOPS 5982 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3839.982
AT ITER 9301 NEW BEST:: SOT 35756 SOS 5978 HAS SOPS 5978 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3835.978
AT ITER 9317 NEW BEST:: SOT 35760 SOS 5986 HAS SOPS 5986 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3832.986
AT ITER 9368 NEW BEST:: SOT 35760 SOS 5986 HAS SOPS 5986 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3828.986
AT ITER 9456 NEW BEST:: SOT 35758 SOS 5979 HAS SOPS 5979 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3825.979
AT ITER 9529 NEW BEST:: SOT 35755 SOS 5975 HAS SOPS 5975 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3811.975
AT ITER 9806 NEW BEST:: SOT 35754 SOS 5971 HAS SOPS 5971 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3809.971
AT ITER 9837 NEW BEST:: SOT 35751 SOS 5967 HAS SOPS 5967 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3795.967

BK_STOP 1590406921198

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

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

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