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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 972K
-rw-r--r-- 1 mcc users 3.4K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.7K 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.3K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 786K 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 1590406014446

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

Filename model.pnml
Petri model created: 1380 places, 1640 transitions, 6560 arcs.
AT ITER 0 NEW BEST:: SOT 1183984 SOS 109927 HAS SOPS 109927 HAS SOUS 73454 HAS SOUPS 73454 WITH SCORE 73563.927
AT ITER 76 NEW BEST:: SOT 1183973 SOS 109883 HAS SOPS 109883 HAS SOUS 73432 HAS SOUPS 73432 WITH SCORE 73541.883
AT ITER 116 NEW BEST:: SOT 1183889 SOS 109715 HAS SOPS 109715 HAS SOUS 73320 HAS SOUPS 73320 WITH SCORE 73429.715
AT ITER 214 NEW BEST:: SOT 1183885 SOS 109707 HAS SOPS 109707 HAS SOUS 73292 HAS SOUPS 73292 WITH SCORE 73401.707
AT ITER 250 NEW BEST:: SOT 1183873 SOS 109695 HAS SOPS 109695 HAS SOUS 73280 HAS SOUPS 73280 WITH SCORE 73389.695
AT ITER 391 NEW BEST:: SOT 1183861 SOS 109647 HAS SOPS 109647 HAS SOUS 73256 HAS SOUPS 73256 WITH SCORE 73365.647
AT ITER 480 NEW BEST:: SOT 1183824 SOS 109499 HAS SOPS 109499 HAS SOUS 73182 HAS SOUPS 73182 WITH SCORE 73291.499
AT ITER 483 NEW BEST:: SOT 1183824 SOS 109436 HAS SOPS 109436 HAS SOUS 73161 HAS SOUPS 73161 WITH SCORE 73270.436
AT ITER 546 NEW BEST:: SOT 1183822 SOS 109276 HAS SOPS 109276 HAS SOUS 73158 HAS SOUPS 73158 WITH SCORE 73267.276
AT ITER 580 NEW BEST:: SOT 1183822 SOS 109276 HAS SOPS 109276 HAS SOUS 73152 HAS SOUPS 73152 WITH SCORE 73261.276
AT ITER 685 NEW BEST:: SOT 1183729 SOS 109152 HAS SOPS 109152 HAS SOUS 73028 HAS SOUPS 73028 WITH SCORE 73137.152
AT ITER 697 NEW BEST:: SOT 1183737 SOS 109012 HAS SOPS 109012 HAS SOUS 73022 HAS SOUPS 73022 WITH SCORE 73131.012
AT ITER 777 NEW BEST:: SOT 1183713 SOS 109030 HAS SOPS 109030 HAS SOUS 72980 HAS SOUPS 72980 WITH SCORE 73089.03
AT ITER 821 NEW BEST:: SOT 1183713 SOS 109030 HAS SOPS 109030 HAS SOUS 72947 HAS SOUPS 72947 WITH SCORE 73056.03
AT ITER 1087 NEW BEST:: SOT 1183708 SOS 109010 HAS SOPS 109010 HAS SOUS 72937 HAS SOUPS 72937 WITH SCORE 73046.01
AT ITER 1100 NEW BEST:: SOT 1183677 SOS 108886 HAS SOPS 108886 HAS SOUS 72875 HAS SOUPS 72875 WITH SCORE 72983.886
AT ITER 1150 NEW BEST:: SOT 1183660 SOS 108852 HAS SOPS 108852 HAS SOUS 72841 HAS SOUPS 72841 WITH SCORE 72949.852
AT ITER 1200 NEW BEST:: SOT 1183573 SOS 108736 HAS SOPS 108736 HAS SOUS 72713 HAS SOUPS 72713 WITH SCORE 72821.736
AT ITER 1283 NEW BEST:: SOT 1183563 SOS 108726 HAS SOPS 108726 HAS SOUS 72697 HAS SOUPS 72697 WITH SCORE 72805.726
AT ITER 1388 NEW BEST:: SOT 1183551 SOS 108702 HAS SOPS 108702 HAS SOUS 72673 HAS SOUPS 72673 WITH SCORE 72781.702
AT ITER 1429 NEW BEST:: SOT 1183535 SOS 108670 HAS SOPS 108670 HAS SOUS 72631 HAS SOUPS 72631 WITH SCORE 72739.67
AT ITER 1551 NEW BEST:: SOT 1183535 SOS 108670 HAS SOPS 108670 HAS SOUS 72583 HAS SOUPS 72583 WITH SCORE 72691.67
AT ITER 1556 NEW BEST:: SOT 1183535 SOS 108630 HAS SOPS 108630 HAS SOUS 72583 HAS SOUPS 72583 WITH SCORE 72691.63
AT ITER 1578 NEW BEST:: SOT 1183535 SOS 108630 HAS SOPS 108630 HAS SOUS 72555 HAS SOUPS 72555 WITH SCORE 72663.63
AT ITER 1594 NEW BEST:: SOT 1183463 SOS 108534 HAS SOPS 108534 HAS SOUS 72459 HAS SOUPS 72459 WITH SCORE 72567.534
AT ITER 1649 NEW BEST:: SOT 1183461 SOS 108526 HAS SOPS 108526 HAS SOUS 72455 HAS SOUPS 72455 WITH SCORE 72563.526
AT ITER 1680 NEW BEST:: SOT 1183362 SOS 108394 HAS SOPS 108394 HAS SOUS 72323 HAS SOUPS 72323 WITH SCORE 72431.394
AT ITER 1713 NEW BEST:: SOT 1183352 SOS 108224 HAS SOPS 108224 HAS SOUS 72308 HAS SOUPS 72308 WITH SCORE 72416.224
AT ITER 1755 NEW BEST:: SOT 1183331 SOS 108203 HAS SOPS 108203 HAS SOUS 72287 HAS SOUPS 72287 WITH SCORE 72395.203
AT ITER 1790 NEW BEST:: SOT 1183292 SOS 108151 HAS SOPS 108151 HAS SOUS 72235 HAS SOUPS 72235 WITH SCORE 72343.151
AT ITER 1837 NEW BEST:: SOT 1183292 SOS 108151 HAS SOPS 108151 HAS SOUS 72205 HAS SOUPS 72205 WITH SCORE 72313.151
AT ITER 1890 NEW BEST:: SOT 1183290 SOS 108045 HAS SOPS 108045 HAS SOUS 72202 HAS SOUPS 72202 WITH SCORE 72310.045
AT ITER 2002 NEW BEST:: SOT 1183264 SOS 108019 HAS SOPS 108019 HAS SOUS 72176 HAS SOUPS 72176 WITH SCORE 72284.019
AT ITER 2029 NEW BEST:: SOT 1183144 SOS 107740 HAS SOPS 107740 HAS SOUS 71977 HAS SOUPS 71977 WITH SCORE 72084.74
AT ITER 2133 NEW BEST:: SOT 1183131 SOS 107727 HAS SOPS 107727 HAS SOUS 71954 HAS SOUPS 71954 WITH SCORE 72061.727
AT ITER 2247 NEW BEST:: SOT 1183131 SOS 107685 HAS SOPS 107685 HAS SOUS 71940 HAS SOUPS 71940 WITH SCORE 72047.685
AT ITER 2279 NEW BEST:: SOT 1183014 SOS 107529 HAS SOPS 107529 HAS SOUS 71768 HAS SOUPS 71768 WITH SCORE 71875.529
AT ITER 2391 NEW BEST:: SOT 1182981 SOS 107397 HAS SOPS 107397 HAS SOUS 71702 HAS SOUPS 71702 WITH SCORE 71809.397
AT ITER 2455 NEW BEST:: SOT 1182993 SOS 107421 HAS SOPS 107421 HAS SOUS 71684 HAS SOUPS 71684 WITH SCORE 71791.421
AT ITER 2465 NEW BEST:: SOT 1182993 SOS 107417 HAS SOPS 107417 HAS SOUS 71680 HAS SOUPS 71680 WITH SCORE 71787.417
AT ITER 2483 NEW BEST:: SOT 1182991 SOS 107415 HAS SOPS 107415 HAS SOUS 71678 HAS SOUPS 71678 WITH SCORE 71785.415
AT ITER 2497 NEW BEST:: SOT 1182991 SOS 107451 HAS SOPS 107451 HAS SOUS 71672 HAS SOUPS 71672 WITH SCORE 71779.451
AT ITER 2550 NEW BEST:: SOT 1182991 SOS 107475 HAS SOPS 107475 HAS SOUS 71654 HAS SOUPS 71654 WITH SCORE 71761.475
AT ITER 2588 NEW BEST:: SOT 1182989 SOS 107473 HAS SOPS 107473 HAS SOUS 71654 HAS SOUPS 71654 WITH SCORE 71761.473
AT ITER 2648 NEW BEST:: SOT 1182977 SOS 107461 HAS SOPS 107461 HAS SOUS 71642 HAS SOUPS 71642 WITH SCORE 71749.461
AT ITER 2695 NEW BEST:: SOT 1182965 SOS 107437 HAS SOPS 107437 HAS SOUS 71618 HAS SOUPS 71618 WITH SCORE 71725.437
AT ITER 2757 NEW BEST:: SOT 1182965 SOS 107437 HAS SOPS 107437 HAS SOUS 71612 HAS SOUPS 71612 WITH SCORE 71719.437
AT ITER 2805 NEW BEST:: SOT 1182934 SOS 107313 HAS SOPS 107313 HAS SOUS 71550 HAS SOUPS 71550 WITH SCORE 71657.313
AT ITER 2872 NEW BEST:: SOT 1182912 SOS 107291 HAS SOPS 107291 HAS SOUS 71528 HAS SOUPS 71528 WITH SCORE 71635.291
AT ITER 3006 NEW BEST:: SOT 1182899 SOS 107265 HAS SOPS 107265 HAS SOUS 71476 HAS SOUPS 71476 WITH SCORE 71583.265
AT ITER 3071 NEW BEST:: SOT 1182878 SOS 107244 HAS SOPS 107244 HAS SOUS 71440 HAS SOUPS 71440 WITH SCORE 71547.244
AT ITER 3073 NEW BEST:: SOT 1182887 SOS 107262 HAS SOPS 107262 HAS SOUS 71418 HAS SOUPS 71418 WITH SCORE 71525.262
AT ITER 3121 NEW BEST:: SOT 1182887 SOS 107262 HAS SOPS 107262 HAS SOUS 71384 HAS SOUPS 71384 WITH SCORE 71491.262
AT ITER 3214 NEW BEST:: SOT 1182893 SOS 107268 HAS SOPS 107268 HAS SOUS 71378 HAS SOUPS 71378 WITH SCORE 71485.268
AT ITER 3298 NEW BEST:: SOT 1182866 SOS 107160 HAS SOPS 107160 HAS SOUS 71324 HAS SOUPS 71324 WITH SCORE 71431.16
AT ITER 3348 NEW BEST:: SOT 1182866 SOS 107160 HAS SOPS 107160 HAS SOUS 71312 HAS SOUPS 71312 WITH SCORE 71419.16
AT ITER 3357 NEW BEST:: SOT 1182866 SOS 107160 HAS SOPS 107160 HAS SOUS 71310 HAS SOUPS 71310 WITH SCORE 71417.16
AT ITER 3430 NEW BEST:: SOT 1182860 SOS 107130 HAS SOPS 107130 HAS SOUS 71292 HAS SOUPS 71292 WITH SCORE 71399.13
AT ITER 3456 NEW BEST:: SOT 1182858 SOS 107102 HAS SOPS 107102 HAS SOUS 71290 HAS SOUPS 71290 WITH SCORE 71397.102
AT ITER 3575 NEW BEST:: SOT 1182858 SOS 107095 HAS SOPS 107095 HAS SOUS 71279 HAS SOUPS 71279 WITH SCORE 71386.095
AT ITER 3677 NEW BEST:: SOT 1182848 SOS 107075 HAS SOPS 107075 HAS SOUS 71225 HAS SOUPS 71225 WITH SCORE 71332.075
AT ITER 3681 NEW BEST:: SOT 1182846 SOS 106987 HAS SOPS 106987 HAS SOUS 71222 HAS SOUPS 71222 WITH SCORE 71328.987
AT ITER 3707 NEW BEST:: SOT 1182837 SOS 106978 HAS SOPS 106978 HAS SOUS 71211 HAS SOUPS 71211 WITH SCORE 71317.978
AT ITER 3712 NEW BEST:: SOT 1182837 SOS 106978 HAS SOPS 106978 HAS SOUS 71175 HAS SOUPS 71175 WITH SCORE 71281.978
AT ITER 3785 NEW BEST:: SOT 1182771 SOS 106890 HAS SOPS 106890 HAS SOUS 71061 HAS SOUPS 71061 WITH SCORE 71167.89
AT ITER 3797 NEW BEST:: SOT 1182747 SOS 106794 HAS SOPS 106794 HAS SOUS 71013 HAS SOUPS 71013 WITH SCORE 71119.794
AT ITER 3821 NEW BEST:: SOT 1182729 SOS 106704 HAS SOPS 106704 HAS SOUS 71013 HAS SOUPS 71013 WITH SCORE 71119.704
AT ITER 3835 NEW BEST:: SOT 1182643 SOS 106532 HAS SOPS 106532 HAS SOUS 70909 HAS SOUPS 70909 WITH SCORE 71015.532
AT ITER 3851 NEW BEST:: SOT 1182643 SOS 106532 HAS SOPS 106532 HAS SOUS 70903 HAS SOUPS 70903 WITH SCORE 71009.532
AT ITER 3866 NEW BEST:: SOT 1182641 SOS 106524 HAS SOPS 106524 HAS SOUS 70899 HAS SOUPS 70899 WITH SCORE 71005.524
AT ITER 3873 NEW BEST:: SOT 1182641 SOS 106423 HAS SOPS 106423 HAS SOUS 70866 HAS SOUPS 70866 WITH SCORE 70972.423
AT ITER 3879 NEW BEST:: SOT 1182542 SOS 106291 HAS SOPS 106291 HAS SOUS 70734 HAS SOUPS 70734 WITH SCORE 70840.291
AT ITER 3945 NEW BEST:: SOT 1182528 SOS 106155 HAS SOPS 106155 HAS SOUS 70713 HAS SOUPS 70713 WITH SCORE 70819.155
AT ITER 3960 NEW BEST:: SOT 1182528 SOS 106179 HAS SOPS 106179 HAS SOUS 70697 HAS SOUPS 70697 WITH SCORE 70803.179
AT ITER 3995 NEW BEST:: SOT 1182465 SOS 106053 HAS SOPS 106053 HAS SOUS 70613 HAS SOUPS 70613 WITH SCORE 70719.053
AT ITER 4060 NEW BEST:: SOT 1182402 SOS 105969 HAS SOPS 105969 HAS SOUS 70529 HAS SOUPS 70529 WITH SCORE 70634.969
AT ITER 4076 NEW BEST:: SOT 1182402 SOS 105969 HAS SOPS 105969 HAS SOUS 70503 HAS SOUPS 70503 WITH SCORE 70608.969
AT ITER 4392 NEW BEST:: SOT 1182402 SOS 105969 HAS SOPS 105969 HAS SOUS 70498 HAS SOUPS 70498 WITH SCORE 70603.969
AT ITER 4416 NEW BEST:: SOT 1182402 SOS 105969 HAS SOPS 105969 HAS SOUS 70492 HAS SOUPS 70492 WITH SCORE 70597.969
AT ITER 4456 NEW BEST:: SOT 1182318 SOS 105857 HAS SOPS 105857 HAS SOUS 70364 HAS SOUPS 70364 WITH SCORE 70469.857
AT ITER 4490 NEW BEST:: SOT 1182318 SOS 105857 HAS SOPS 105857 HAS SOUS 70363 HAS SOUPS 70363 WITH SCORE 70468.857
AT ITER 4526 NEW BEST:: SOT 1182298 SOS 105777 HAS SOPS 105777 HAS SOUS 70323 HAS SOUPS 70323 WITH SCORE 70428.777
AT ITER 4617 NEW BEST:: SOT 1182298 SOS 105777 HAS SOPS 105777 HAS SOUS 70302 HAS SOUPS 70302 WITH SCORE 70407.777
AT ITER 4718 NEW BEST:: SOT 1182289 SOS 105741 HAS SOPS 105741 HAS SOUS 70284 HAS SOUPS 70284 WITH SCORE 70389.741
AT ITER 4767 NEW BEST:: SOT 1182231 SOS 105625 HAS SOPS 105625 HAS SOUS 70218 HAS SOUPS 70218 WITH SCORE 70323.625
AT ITER 4835 NEW BEST:: SOT 1182211 SOS 105525 HAS SOPS 105525 HAS SOUS 70204 HAS SOUPS 70204 WITH SCORE 70309.525
AT ITER 4877 NEW BEST:: SOT 1182121 SOS 105405 HAS SOPS 105405 HAS SOUS 70084 HAS SOUPS 70084 WITH SCORE 70189.405
AT ITER 4895 NEW BEST:: SOT 1182118 SOS 105401 HAS SOPS 105401 HAS SOUS 70080 HAS SOUPS 70080 WITH SCORE 70185.401
AT ITER 5025 NEW BEST:: SOT 1182118 SOS 105401 HAS SOPS 105401 HAS SOUS 70063 HAS SOUPS 70063 WITH SCORE 70168.401
AT ITER 5121 NEW BEST:: SOT 1182118 SOS 105439 HAS SOPS 105439 HAS SOUS 70057 HAS SOUPS 70057 WITH SCORE 70162.439
AT ITER 5150 NEW BEST:: SOT 1182110 SOS 105431 HAS SOPS 105431 HAS SOUS 70044 HAS SOUPS 70044 WITH SCORE 70149.431
AT ITER 5163 NEW BEST:: SOT 1182074 SOS 105359 HAS SOPS 105359 HAS SOUS 69996 HAS SOUPS 69996 WITH SCORE 70101.359
AT ITER 5189 NEW BEST:: SOT 1182060 SOS 105331 HAS SOPS 105331 HAS SOUS 69958 HAS SOUPS 69958 WITH SCORE 70063.331
AT ITER 5190 NEW BEST:: SOT 1182060 SOS 105331 HAS SOPS 105331 HAS SOUS 69950 HAS SOUPS 69950 WITH SCORE 70055.331
AT ITER 5195 NEW BEST:: SOT 1182025 SOS 105281 HAS SOPS 105281 HAS SOUS 69910 HAS SOUPS 69910 WITH SCORE 70015.281
AT ITER 5226 NEW BEST:: SOT 1182040 SOS 105311 HAS SOPS 105311 HAS SOUS 69896 HAS SOUPS 69896 WITH SCORE 70001.311
AT ITER 5257 NEW BEST:: SOT 1181937 SOS 105105 HAS SOPS 105105 HAS SOUS 69788 HAS SOUPS 69788 WITH SCORE 69893.105
AT ITER 5278 NEW BEST:: SOT 1181895 SOS 105063 HAS SOPS 105063 HAS SOUS 69746 HAS SOUPS 69746 WITH SCORE 69851.063
AT ITER 5305 NEW BEST:: SOT 1181905 SOS 105083 HAS SOPS 105083 HAS SOUS 69736 HAS SOUPS 69736 WITH SCORE 69841.083
AT ITER 5601 NEW BEST:: SOT 1181857 SOS 104987 HAS SOPS 104987 HAS SOUS 69672 HAS SOUPS 69672 WITH SCORE 69776.987
AT ITER 5659 NEW BEST:: SOT 1181857 SOS 104987 HAS SOPS 104987 HAS SOUS 69668 HAS SOUPS 69668 WITH SCORE 69772.987
AT ITER 5762 NEW BEST:: SOT 1181847 SOS 104947 HAS SOPS 104947 HAS SOUS 69648 HAS SOUPS 69648 WITH SCORE 69752.947
AT ITER 5820 NEW BEST:: SOT 1181855 SOS 104963 HAS SOPS 104963 HAS SOUS 69568 HAS SOUPS 69568 WITH SCORE 69672.963
AT ITER 5889 NEW BEST:: SOT 1181865 SOS 104973 HAS SOPS 104973 HAS SOUS 69557 HAS SOUPS 69557 WITH SCORE 69661.973
AT ITER 5954 NEW BEST:: SOT 1181799 SOS 104885 HAS SOPS 104885 HAS SOUS 69469 HAS SOUPS 69469 WITH SCORE 69573.885
AT ITER 6296 NEW BEST:: SOT 1181754 SOS 104840 HAS SOPS 104840 HAS SOUS 69424 HAS SOUPS 69424 WITH SCORE 69528.84
AT ITER 6300 NEW BEST:: SOT 1181739 SOS 104820 HAS SOPS 104820 HAS SOUS 69394 HAS SOUPS 69394 WITH SCORE 69498.82
AT ITER 6338 NEW BEST:: SOT 1181679 SOS 104760 HAS SOPS 104760 HAS SOUS 69334 HAS SOUPS 69334 WITH SCORE 69438.76
AT ITER 6363 NEW BEST:: SOT 1181643 SOS 104688 HAS SOPS 104688 HAS SOUS 69290 HAS SOUPS 69290 WITH SCORE 69394.688
AT ITER 6404 NEW BEST:: SOT 1181633 SOS 104648 HAS SOPS 104648 HAS SOUS 69270 HAS SOUPS 69270 WITH SCORE 69374.648
AT ITER 6491 NEW BEST:: SOT 1181633 SOS 104694 HAS SOPS 104694 HAS SOUS 69254 HAS SOUPS 69254 WITH SCORE 69358.694
AT ITER 6743 NEW BEST:: SOT 1181603 SOS 104612 HAS SOPS 104612 HAS SOUS 69236 HAS SOUPS 69236 WITH SCORE 69340.612
AT ITER 7056 NEW BEST:: SOT 1181583 SOS 104592 HAS SOPS 104592 HAS SOUS 69216 HAS SOUPS 69216 WITH SCORE 69320.592
AT ITER 7126 NEW BEST:: SOT 1181574 SOS 104580 HAS SOPS 104580 HAS SOUS 69196 HAS SOUPS 69196 WITH SCORE 69300.58
AT ITER 7181 NEW BEST:: SOT 1181578 SOS 104588 HAS SOPS 104588 HAS SOUS 69158 HAS SOUPS 69158 WITH SCORE 69262.588
AT ITER 7232 NEW BEST:: SOT 1181550 SOS 104476 HAS SOPS 104476 HAS SOUS 69102 HAS SOUPS 69102 WITH SCORE 69206.476
AT ITER 7309 NEW BEST:: SOT 1181514 SOS 104428 HAS SOPS 104428 HAS SOUS 69054 HAS SOUPS 69054 WITH SCORE 69158.428
AT ITER 7339 NEW BEST:: SOT 1181460 SOS 104374 HAS SOPS 104374 HAS SOUS 69000 HAS SOUPS 69000 WITH SCORE 69104.374
AT ITER 7342 NEW BEST:: SOT 1181457 SOS 104370 HAS SOPS 104370 HAS SOUS 68994 HAS SOUPS 68994 WITH SCORE 69098.37
AT ITER 7472 NEW BEST:: SOT 1181400 SOS 104294 HAS SOPS 104294 HAS SOUS 68920 HAS SOUPS 68920 WITH SCORE 69024.294
AT ITER 7559 NEW BEST:: SOT 1181417 SOS 104328 HAS SOPS 104328 HAS SOUS 68852 HAS SOUPS 68852 WITH SCORE 68956.328
AT ITER 7648 NEW BEST:: SOT 1181322 SOS 104160 HAS SOPS 104160 HAS SOUS 68754 HAS SOUPS 68754 WITH SCORE 68858.16
AT ITER 7650 NEW BEST:: SOT 1181314 SOS 104144 HAS SOPS 104144 HAS SOUS 68722 HAS SOUPS 68722 WITH SCORE 68826.144
AT ITER 7795 NEW BEST:: SOT 1181312 SOS 104230 HAS SOPS 104230 HAS SOUS 68697 HAS SOUPS 68697 WITH SCORE 68801.23
AT ITER 7847 NEW BEST:: SOT 1181312 SOS 104292 HAS SOPS 104292 HAS SOUS 68691 HAS SOUPS 68691 WITH SCORE 68795.292
AT ITER 7901 NEW BEST:: SOT 1181242 SOS 104162 HAS SOPS 104162 HAS SOUS 68641 HAS SOUPS 68641 WITH SCORE 68745.162
AT ITER 7904 NEW BEST:: SOT 1181239 SOS 104159 HAS SOPS 104159 HAS SOUS 68638 HAS SOUPS 68638 WITH SCORE 68742.159
AT ITER 7948 NEW BEST:: SOT 1181239 SOS 104159 HAS SOPS 104159 HAS SOUS 68635 HAS SOUPS 68635 WITH SCORE 68739.159
AT ITER 7998 NEW BEST:: SOT 1181215 SOS 104135 HAS SOPS 104135 HAS SOUS 68611 HAS SOUPS 68611 WITH SCORE 68715.135
AT ITER 8008 NEW BEST:: SOT 1181203 SOS 104057 HAS SOPS 104057 HAS SOUS 68611 HAS SOUPS 68611 WITH SCORE 68715.057
AT ITER 8070 NEW BEST:: SOT 1181203 SOS 104057 HAS SOPS 104057 HAS SOUS 68607 HAS SOUPS 68607 WITH SCORE 68711.057
AT ITER 8193 NEW BEST:: SOT 1181158 SOS 103967 HAS SOPS 103967 HAS SOUS 68547 HAS SOUPS 68547 WITH SCORE 68650.967
AT ITER 8211 NEW BEST:: SOT 1181164 SOS 103975 HAS SOPS 103975 HAS SOUS 68533 HAS SOUPS 68533 WITH SCORE 68636.975
AT ITER 8239 NEW BEST:: SOT 1181092 SOS 103831 HAS SOPS 103831 HAS SOUS 68453 HAS SOUPS 68453 WITH SCORE 68556.831
AT ITER 8346 NEW BEST:: SOT 1181054 SOS 103793 HAS SOPS 103793 HAS SOUS 68415 HAS SOUPS 68415 WITH SCORE 68518.793
AT ITER 8367 NEW BEST:: SOT 1180985 SOS 103655 HAS SOPS 103655 HAS SOUS 68323 HAS SOUPS 68323 WITH SCORE 68426.655
AT ITER 8422 NEW BEST:: SOT 1180985 SOS 103655 HAS SOPS 103655 HAS SOUS 68315 HAS SOUPS 68315 WITH SCORE 68418.655
AT ITER 8445 NEW BEST:: SOT 1180985 SOS 103655 HAS SOPS 103655 HAS SOUS 68307 HAS SOUPS 68307 WITH SCORE 68410.655
AT ITER 8509 NEW BEST:: SOT 1180982 SOS 103651 HAS SOPS 103651 HAS SOUS 68303 HAS SOUPS 68303 WITH SCORE 68406.651
AT ITER 8736 NEW BEST:: SOT 1180948 SOS 103515 HAS SOPS 103515 HAS SOUS 68235 HAS SOUPS 68235 WITH SCORE 68338.515
AT ITER 8767 NEW BEST:: SOT 1180948 SOS 103515 HAS SOPS 103515 HAS SOUS 68223 HAS SOUPS 68223 WITH SCORE 68326.515
AT ITER 8774 NEW BEST:: SOT 1180948 SOS 103515 HAS SOPS 103515 HAS SOUS 68218 HAS SOUPS 68218 WITH SCORE 68321.515
AT ITER 8775 NEW BEST:: SOT 1180948 SOS 103535 HAS SOPS 103535 HAS SOUS 68198 HAS SOUPS 68198 WITH SCORE 68301.535
AT ITER 8968 NEW BEST:: SOT 1180942 SOS 103529 HAS SOPS 103529 HAS SOUS 68196 HAS SOUPS 68196 WITH SCORE 68299.529
AT ITER 9009 NEW BEST:: SOT 1180925 SOS 103461 HAS SOPS 103461 HAS SOUS 68162 HAS SOUPS 68162 WITH SCORE 68265.461
AT ITER 9010 NEW BEST:: SOT 1180925 SOS 103461 HAS SOPS 103461 HAS SOUS 68161 HAS SOUPS 68161 WITH SCORE 68264.461
AT ITER 9033 NEW BEST:: SOT 1180909 SOS 103429 HAS SOPS 103429 HAS SOUS 68137 HAS SOUPS 68137 WITH SCORE 68240.429
AT ITER 9100 NEW BEST:: SOT 1180896 SOS 103441 HAS SOPS 103441 HAS SOUS 68069 HAS SOUPS 68069 WITH SCORE 68172.441
AT ITER 9122 NEW BEST:: SOT 1180830 SOS 103309 HAS SOPS 103309 HAS SOUS 67981 HAS SOUPS 67981 WITH SCORE 68084.309
AT ITER 9161 NEW BEST:: SOT 1180785 SOS 103204 HAS SOPS 103204 HAS SOUS 67906 HAS SOUPS 67906 WITH SCORE 68009.204
AT ITER 9239 NEW BEST:: SOT 1180752 SOS 103039 HAS SOPS 103039 HAS SOUS 67807 HAS SOUPS 67807 WITH SCORE 67910.039
AT ITER 9246 NEW BEST:: SOT 1180706 SOS 102947 HAS SOPS 102947 HAS SOUS 67759 HAS SOUPS 67759 WITH SCORE 67861.947
AT ITER 9293 NEW BEST:: SOT 1180706 SOS 102947 HAS SOPS 102947 HAS SOUS 67754 HAS SOUPS 67754 WITH SCORE 67856.947
AT ITER 9294 NEW BEST:: SOT 1180646 SOS 102827 HAS SOPS 102827 HAS SOUS 67674 HAS SOUPS 67674 WITH SCORE 67776.827
AT ITER 9617 NEW BEST:: SOT 1180641 SOS 102822 HAS SOPS 102822 HAS SOUS 67669 HAS SOUPS 67669 WITH SCORE 67771.822
AT ITER 9720 NEW BEST:: SOT 1180641 SOS 102822 HAS SOPS 102822 HAS SOUS 67665 HAS SOUPS 67665 WITH SCORE 67767.822
AT ITER 9775 NEW BEST:: SOT 1180638 SOS 102816 HAS SOPS 102816 HAS SOUS 67661 HAS SOUPS 67661 WITH SCORE 67763.816
AT ITER 9869 NEW BEST:: SOT 1180634 SOS 102812 HAS SOPS 102812 HAS SOUS 67657 HAS SOUPS 67657 WITH SCORE 67759.812

BK_STOP 1590406790649

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

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

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