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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 676K
-rw-r--r-- 1 mcc users 3.5K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.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 3.8K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 505K 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 1590405986481

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

Filename model.pnml
Petri model created: 896 places, 1056 transitions, 4224 arcs.
AT ITER 0 NEW BEST:: SOT 500582 SOS 57267 HAS SOPS 57267 HAS SOUS 38202 HAS SOUPS 38202 WITH SCORE 38259.267
AT ITER 3 NEW BEST:: SOT 500560 SOS 57187 HAS SOPS 57187 HAS SOUS 38146 HAS SOUPS 38146 WITH SCORE 38203.187
AT ITER 51 NEW BEST:: SOT 500546 SOS 57159 HAS SOPS 57159 HAS SOUS 38110 HAS SOUPS 38110 WITH SCORE 38167.159
AT ITER 107 NEW BEST:: SOT 500546 SOS 57159 HAS SOPS 57159 HAS SOUS 38100 HAS SOUPS 38100 WITH SCORE 38157.159
AT ITER 174 NEW BEST:: SOT 500546 SOS 57159 HAS SOPS 57159 HAS SOUS 38086 HAS SOUPS 38086 WITH SCORE 38143.159
AT ITER 224 NEW BEST:: SOT 500546 SOS 57159 HAS SOPS 57159 HAS SOUS 38082 HAS SOUPS 38082 WITH SCORE 38139.159
AT ITER 227 NEW BEST:: SOT 500538 SOS 57151 HAS SOPS 57151 HAS SOUS 38074 HAS SOUPS 38074 WITH SCORE 38131.151
AT ITER 257 NEW BEST:: SOT 500539 SOS 57147 HAS SOPS 57147 HAS SOUS 38060 HAS SOUPS 38060 WITH SCORE 38117.147
AT ITER 281 NEW BEST:: SOT 500533 SOS 57123 HAS SOPS 57123 HAS SOUS 38048 HAS SOUPS 38048 WITH SCORE 38105.123
AT ITER 438 NEW BEST:: SOT 500521 SOS 57099 HAS SOPS 57099 HAS SOUS 38012 HAS SOUPS 38012 WITH SCORE 38069.099
AT ITER 497 NEW BEST:: SOT 500506 SOS 57069 HAS SOPS 57069 HAS SOUS 37970 HAS SOUPS 37970 WITH SCORE 38027.069
AT ITER 503 NEW BEST:: SOT 500511 SOS 57074 HAS SOPS 57074 HAS SOUS 37965 HAS SOUPS 37965 WITH SCORE 38022.074
AT ITER 521 NEW BEST:: SOT 500511 SOS 57074 HAS SOPS 57074 HAS SOUS 37943 HAS SOUPS 37943 WITH SCORE 38000.074
AT ITER 545 NEW BEST:: SOT 500511 SOS 57021 HAS SOPS 57021 HAS SOUS 37926 HAS SOUPS 37926 WITH SCORE 37983.021
AT ITER 554 NEW BEST:: SOT 500507 SOS 57013 HAS SOPS 57013 HAS SOUS 37918 HAS SOUPS 37918 WITH SCORE 37975.013
AT ITER 561 NEW BEST:: SOT 500507 SOS 57013 HAS SOPS 57013 HAS SOUS 37911 HAS SOUPS 37911 WITH SCORE 37968.013
AT ITER 582 NEW BEST:: SOT 500507 SOS 57011 HAS SOPS 57011 HAS SOUS 37911 HAS SOUPS 37911 WITH SCORE 37968.011
AT ITER 631 NEW BEST:: SOT 500507 SOS 57011 HAS SOPS 57011 HAS SOUS 37869 HAS SOUPS 37869 WITH SCORE 37926.011
AT ITER 769 NEW BEST:: SOT 500507 SOS 57009 HAS SOPS 57009 HAS SOUS 37867 HAS SOUPS 37867 WITH SCORE 37924.009
AT ITER 800 NEW BEST:: SOT 500468 SOS 56957 HAS SOPS 56957 HAS SOUS 37815 HAS SOUPS 37815 WITH SCORE 37871.957
AT ITER 851 NEW BEST:: SOT 500402 SOS 56869 HAS SOPS 56869 HAS SOUS 37737 HAS SOUPS 37737 WITH SCORE 37793.869
AT ITER 944 NEW BEST:: SOT 500375 SOS 56815 HAS SOPS 56815 HAS SOUS 37701 HAS SOUPS 37701 WITH SCORE 37757.815
AT ITER 1006 NEW BEST:: SOT 500375 SOS 56815 HAS SOPS 56815 HAS SOUS 37680 HAS SOUPS 37680 WITH SCORE 37736.815
AT ITER 1119 NEW BEST:: SOT 500352 SOS 56769 HAS SOPS 56769 HAS SOUS 37634 HAS SOUPS 37634 WITH SCORE 37690.769
AT ITER 1196 NEW BEST:: SOT 500336 SOS 56737 HAS SOPS 56737 HAS SOUS 37598 HAS SOUPS 37598 WITH SCORE 37654.737
AT ITER 1242 NEW BEST:: SOT 500330 SOS 56731 HAS SOPS 56731 HAS SOUS 37592 HAS SOUPS 37592 WITH SCORE 37648.731
AT ITER 1264 NEW BEST:: SOT 500308 SOS 56709 HAS SOPS 56709 HAS SOUS 37545 HAS SOUPS 37545 WITH SCORE 37601.709
AT ITER 1322 NEW BEST:: SOT 500308 SOS 56709 HAS SOPS 56709 HAS SOUS 37541 HAS SOUPS 37541 WITH SCORE 37597.709
AT ITER 1329 NEW BEST:: SOT 500300 SOS 56701 HAS SOPS 56701 HAS SOUS 37533 HAS SOUPS 37533 WITH SCORE 37589.701
AT ITER 1348 NEW BEST:: SOT 500279 SOS 56652 HAS SOPS 56652 HAS SOUS 37498 HAS SOUPS 37498 WITH SCORE 37554.652
AT ITER 1465 NEW BEST:: SOT 500260 SOS 56614 HAS SOPS 56614 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37502.614
AT ITER 1646 NEW BEST:: SOT 500248 SOS 56566 HAS SOPS 56566 HAS SOUS 37422 HAS SOUPS 37422 WITH SCORE 37478.566
AT ITER 1686 NEW BEST:: SOT 500264 SOS 56582 HAS SOPS 56582 HAS SOUS 37417 HAS SOUPS 37417 WITH SCORE 37473.582
AT ITER 1691 NEW BEST:: SOT 500252 SOS 56518 HAS SOPS 56518 HAS SOUS 37407 HAS SOUPS 37407 WITH SCORE 37463.518
AT ITER 1701 NEW BEST:: SOT 500241 SOS 56496 HAS SOPS 56496 HAS SOUS 37385 HAS SOUPS 37385 WITH SCORE 37441.496
AT ITER 1725 NEW BEST:: SOT 500241 SOS 56412 HAS SOPS 56412 HAS SOUS 37357 HAS SOUPS 37357 WITH SCORE 37413.412
AT ITER 1785 NEW BEST:: SOT 500224 SOS 56357 HAS SOPS 56357 HAS SOUS 37310 HAS SOUPS 37310 WITH SCORE 37366.357
AT ITER 1821 NEW BEST:: SOT 500228 SOS 56361 HAS SOPS 56361 HAS SOUS 37306 HAS SOUPS 37306 WITH SCORE 37362.361
AT ITER 1907 NEW BEST:: SOT 500168 SOS 56241 HAS SOPS 56241 HAS SOUS 37226 HAS SOUPS 37226 WITH SCORE 37282.241
AT ITER 1911 NEW BEST:: SOT 500069 SOS 56022 HAS SOPS 56022 HAS SOUS 37067 HAS SOUPS 37067 WITH SCORE 37123.022
AT ITER 1973 NEW BEST:: SOT 500069 SOS 56054 HAS SOPS 56054 HAS SOUS 37057 HAS SOUPS 37057 WITH SCORE 37113.054
AT ITER 1988 NEW BEST:: SOT 499997 SOS 55958 HAS SOPS 55958 HAS SOUS 36961 HAS SOUPS 36961 WITH SCORE 37016.958
AT ITER 2020 NEW BEST:: SOT 499976 SOS 55853 HAS SOPS 55853 HAS SOUS 36898 HAS SOUPS 36898 WITH SCORE 36953.853
AT ITER 2111 NEW BEST:: SOT 499964 SOS 55841 HAS SOPS 55841 HAS SOUS 36886 HAS SOUPS 36886 WITH SCORE 36941.841
AT ITER 2182 NEW BEST:: SOT 499932 SOS 55713 HAS SOPS 55713 HAS SOUS 36822 HAS SOUPS 36822 WITH SCORE 36877.713
AT ITER 2187 NEW BEST:: SOT 499919 SOS 55661 HAS SOPS 55661 HAS SOUS 36796 HAS SOUPS 36796 WITH SCORE 36851.661
AT ITER 2201 NEW BEST:: SOT 499896 SOS 55637 HAS SOPS 55637 HAS SOUS 36786 HAS SOUPS 36786 WITH SCORE 36841.637
AT ITER 2210 NEW BEST:: SOT 499833 SOS 55511 HAS SOPS 55511 HAS SOUS 36702 HAS SOUPS 36702 WITH SCORE 36757.511
AT ITER 2258 NEW BEST:: SOT 499833 SOS 55511 HAS SOPS 55511 HAS SOUS 36697 HAS SOUPS 36697 WITH SCORE 36752.511
AT ITER 2268 NEW BEST:: SOT 499755 SOS 55357 HAS SOPS 55357 HAS SOUS 36611 HAS SOUPS 36611 WITH SCORE 36666.357
AT ITER 2317 NEW BEST:: SOT 499739 SOS 55341 HAS SOPS 55341 HAS SOUS 36595 HAS SOUPS 36595 WITH SCORE 36650.341
AT ITER 2356 NEW BEST:: SOT 499673 SOS 55253 HAS SOPS 55253 HAS SOUS 36521 HAS SOUPS 36521 WITH SCORE 36576.253
AT ITER 2484 NEW BEST:: SOT 499667 SOS 55247 HAS SOPS 55247 HAS SOUS 36503 HAS SOUPS 36503 WITH SCORE 36558.247
AT ITER 2496 NEW BEST:: SOT 499667 SOS 55247 HAS SOPS 55247 HAS SOUS 36491 HAS SOUPS 36491 WITH SCORE 36546.247
AT ITER 2574 NEW BEST:: SOT 499663 SOS 55277 HAS SOPS 55277 HAS SOUS 36465 HAS SOUPS 36465 WITH SCORE 36520.277
AT ITER 2618 NEW BEST:: SOT 499663 SOS 55277 HAS SOPS 55277 HAS SOUS 36461 HAS SOUPS 36461 WITH SCORE 36516.277
AT ITER 2680 NEW BEST:: SOT 499653 SOS 55251 HAS SOPS 55251 HAS SOUS 36439 HAS SOUPS 36439 WITH SCORE 36494.251
AT ITER 2697 NEW BEST:: SOT 499647 SOS 55243 HAS SOPS 55243 HAS SOUS 36427 HAS SOUPS 36427 WITH SCORE 36482.243
AT ITER 2719 NEW BEST:: SOT 499623 SOS 55147 HAS SOPS 55147 HAS SOUS 36379 HAS SOUPS 36379 WITH SCORE 36434.147
AT ITER 2816 NEW BEST:: SOT 499600 SOS 55101 HAS SOPS 55101 HAS SOUS 36299 HAS SOUPS 36299 WITH SCORE 36354.101
AT ITER 2849 NEW BEST:: SOT 499558 SOS 55045 HAS SOPS 55045 HAS SOUS 36243 HAS SOUPS 36243 WITH SCORE 36298.045
AT ITER 2850 NEW BEST:: SOT 499550 SOS 55005 HAS SOPS 55005 HAS SOUS 36219 HAS SOUPS 36219 WITH SCORE 36274.005
AT ITER 2868 NEW BEST:: SOT 499547 SOS 54993 HAS SOPS 54993 HAS SOUS 36213 HAS SOUPS 36213 WITH SCORE 36267.993
AT ITER 2885 NEW BEST:: SOT 499548 SOS 55037 HAS SOPS 55037 HAS SOUS 36211 HAS SOUPS 36211 WITH SCORE 36266.037
AT ITER 2900 NEW BEST:: SOT 499513 SOS 54967 HAS SOPS 54967 HAS SOUS 36175 HAS SOUPS 36175 WITH SCORE 36229.967
AT ITER 2981 NEW BEST:: SOT 499441 SOS 54871 HAS SOPS 54871 HAS SOUS 36067 HAS SOUPS 36067 WITH SCORE 36121.871
AT ITER 2985 NEW BEST:: SOT 499393 SOS 54839 HAS SOPS 54839 HAS SOUS 36049 HAS SOUPS 36049 WITH SCORE 36103.839
AT ITER 3015 NEW BEST:: SOT 499306 SOS 54665 HAS SOPS 54665 HAS SOUS 35933 HAS SOUPS 35933 WITH SCORE 35987.665
AT ITER 3049 NEW BEST:: SOT 499306 SOS 54665 HAS SOPS 54665 HAS SOUS 35898 HAS SOUPS 35898 WITH SCORE 35952.665
AT ITER 3125 NEW BEST:: SOT 499306 SOS 54665 HAS SOPS 54665 HAS SOUS 35871 HAS SOUPS 35871 WITH SCORE 35925.665
AT ITER 3145 NEW BEST:: SOT 499296 SOS 54630 HAS SOPS 54630 HAS SOUS 35846 HAS SOUPS 35846 WITH SCORE 35900.63
AT ITER 3202 NEW BEST:: SOT 499281 SOS 54570 HAS SOPS 54570 HAS SOUS 35816 HAS SOUPS 35816 WITH SCORE 35870.57
AT ITER 3246 NEW BEST:: SOT 499227 SOS 54498 HAS SOPS 54498 HAS SOUS 35732 HAS SOUPS 35732 WITH SCORE 35786.498
AT ITER 3347 NEW BEST:: SOT 499234 SOS 54437 HAS SOPS 54437 HAS SOUS 35721 HAS SOUPS 35721 WITH SCORE 35775.437
AT ITER 3356 NEW BEST:: SOT 499231 SOS 54439 HAS SOPS 54439 HAS SOUS 35715 HAS SOUPS 35715 WITH SCORE 35769.439
AT ITER 3544 NEW BEST:: SOT 499209 SOS 54344 HAS SOPS 54344 HAS SOUS 35654 HAS SOUPS 35654 WITH SCORE 35708.344
AT ITER 3550 NEW BEST:: SOT 499209 SOS 54335 HAS SOPS 54335 HAS SOUS 35651 HAS SOUPS 35651 WITH SCORE 35705.335
AT ITER 3693 NEW BEST:: SOT 499209 SOS 54327 HAS SOPS 54327 HAS SOUS 35651 HAS SOUPS 35651 WITH SCORE 35705.327
AT ITER 3743 NEW BEST:: SOT 499203 SOS 54297 HAS SOPS 54297 HAS SOUS 35651 HAS SOUPS 35651 WITH SCORE 35705.297
AT ITER 3758 NEW BEST:: SOT 499143 SOS 54177 HAS SOPS 54177 HAS SOUS 35587 HAS SOUPS 35587 WITH SCORE 35641.177
AT ITER 3771 NEW BEST:: SOT 499165 SOS 54221 HAS SOPS 54221 HAS SOUS 35547 HAS SOUPS 35547 WITH SCORE 35601.221
AT ITER 3818 NEW BEST:: SOT 499162 SOS 54215 HAS SOPS 54215 HAS SOUS 35523 HAS SOUPS 35523 WITH SCORE 35577.215
AT ITER 3847 NEW BEST:: SOT 499131 SOS 54091 HAS SOPS 54091 HAS SOUS 35461 HAS SOUPS 35461 WITH SCORE 35515.091
AT ITER 3974 NEW BEST:: SOT 499128 SOS 54087 HAS SOPS 54087 HAS SOUS 35455 HAS SOUPS 35455 WITH SCORE 35509.087
AT ITER 4098 NEW BEST:: SOT 499112 SOS 54065 HAS SOPS 54065 HAS SOUS 35437 HAS SOUPS 35437 WITH SCORE 35491.065
AT ITER 4103 NEW BEST:: SOT 499121 SOS 54074 HAS SOPS 54074 HAS SOUS 35431 HAS SOUPS 35431 WITH SCORE 35485.074
AT ITER 4125 NEW BEST:: SOT 499109 SOS 54040 HAS SOPS 54040 HAS SOUS 35413 HAS SOUPS 35413 WITH SCORE 35467.04
AT ITER 4146 NEW BEST:: SOT 499028 SOS 53878 HAS SOPS 53878 HAS SOUS 35305 HAS SOUPS 35305 WITH SCORE 35358.878
AT ITER 4269 NEW BEST:: SOT 499027 SOS 53874 HAS SOPS 53874 HAS SOUS 35301 HAS SOUPS 35301 WITH SCORE 35354.874
AT ITER 4366 NEW BEST:: SOT 499025 SOS 53872 HAS SOPS 53872 HAS SOUS 35299 HAS SOUPS 35299 WITH SCORE 35352.872
AT ITER 4490 NEW BEST:: SOT 499025 SOS 53872 HAS SOPS 53872 HAS SOUS 35281 HAS SOUPS 35281 WITH SCORE 35334.872
AT ITER 4509 NEW BEST:: SOT 499016 SOS 53863 HAS SOPS 53863 HAS SOUS 35272 HAS SOUPS 35272 WITH SCORE 35325.863
AT ITER 4673 NEW BEST:: SOT 499021 SOS 53822 HAS SOPS 53822 HAS SOUS 35265 HAS SOUPS 35265 WITH SCORE 35318.822
AT ITER 4698 NEW BEST:: SOT 499040 SOS 53841 HAS SOPS 53841 HAS SOUS 35254 HAS SOUPS 35254 WITH SCORE 35307.841
AT ITER 4754 NEW BEST:: SOT 499040 SOS 53841 HAS SOPS 53841 HAS SOUS 35227 HAS SOUPS 35227 WITH SCORE 35280.841
AT ITER 4788 NEW BEST:: SOT 499032 SOS 53833 HAS SOPS 53833 HAS SOUS 35219 HAS SOUPS 35219 WITH SCORE 35272.833
AT ITER 4799 NEW BEST:: SOT 498969 SOS 53749 HAS SOPS 53749 HAS SOUS 35135 HAS SOUPS 35135 WITH SCORE 35188.749
AT ITER 4818 NEW BEST:: SOT 498953 SOS 53733 HAS SOPS 53733 HAS SOUS 35127 HAS SOUPS 35127 WITH SCORE 35180.733
AT ITER 4883 NEW BEST:: SOT 498917 SOS 53553 HAS SOPS 53553 HAS SOUS 35091 HAS SOUPS 35091 WITH SCORE 35144.553
AT ITER 4906 NEW BEST:: SOT 498903 SOS 53525 HAS SOPS 53525 HAS SOUS 35055 HAS SOUPS 35055 WITH SCORE 35108.525
AT ITER 4952 NEW BEST:: SOT 498835 SOS 53389 HAS SOPS 53389 HAS SOUS 34991 HAS SOUPS 34991 WITH SCORE 35044.389
AT ITER 4974 NEW BEST:: SOT 498835 SOS 53383 HAS SOPS 53383 HAS SOUS 34989 HAS SOUPS 34989 WITH SCORE 35042.383
AT ITER 5035 NEW BEST:: SOT 498808 SOS 53347 HAS SOPS 53347 HAS SOUS 34987 HAS SOUPS 34987 WITH SCORE 35040.347
AT ITER 5064 NEW BEST:: SOT 498808 SOS 53343 HAS SOPS 53343 HAS SOUS 34987 HAS SOUPS 34987 WITH SCORE 35040.343
AT ITER 5092 NEW BEST:: SOT 498802 SOS 53331 HAS SOPS 53331 HAS SOUS 34975 HAS SOUPS 34975 WITH SCORE 35028.331
AT ITER 5130 NEW BEST:: SOT 498798 SOS 53327 HAS SOPS 53327 HAS SOUS 34971 HAS SOUPS 34971 WITH SCORE 35024.327
AT ITER 5156 NEW BEST:: SOT 498780 SOS 53255 HAS SOPS 53255 HAS SOUS 34935 HAS SOUPS 34935 WITH SCORE 34988.255
AT ITER 5173 NEW BEST:: SOT 498756 SOS 53187 HAS SOPS 53187 HAS SOUS 34915 HAS SOUPS 34915 WITH SCORE 34968.187
AT ITER 5210 NEW BEST:: SOT 498756 SOS 53187 HAS SOPS 53187 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 34958.187
AT ITER 5211 NEW BEST:: SOT 498756 SOS 53187 HAS SOPS 53187 HAS SOUS 34883 HAS SOUPS 34883 WITH SCORE 34936.187
AT ITER 5240 NEW BEST:: SOT 498734 SOS 53099 HAS SOPS 53099 HAS SOUS 34839 HAS SOUPS 34839 WITH SCORE 34892.099
AT ITER 5241 NEW BEST:: SOT 498721 SOS 53047 HAS SOPS 53047 HAS SOUS 34813 HAS SOUPS 34813 WITH SCORE 34866.047
AT ITER 5315 NEW BEST:: SOT 498695 SOS 52995 HAS SOPS 52995 HAS SOUS 34743 HAS SOUPS 34743 WITH SCORE 34795.995
AT ITER 5380 NEW BEST:: SOT 498695 SOS 52995 HAS SOPS 52995 HAS SOUS 34723 HAS SOUPS 34723 WITH SCORE 34775.995
AT ITER 5405 NEW BEST:: SOT 498680 SOS 52935 HAS SOPS 52935 HAS SOUS 34693 HAS SOUPS 34693 WITH SCORE 34745.935
AT ITER 5406 NEW BEST:: SOT 498667 SOS 52922 HAS SOPS 52922 HAS SOUS 34656 HAS SOUPS 34656 WITH SCORE 34708.922
AT ITER 5421 NEW BEST:: SOT 498713 SOS 53037 HAS SOPS 53037 HAS SOUS 34653 HAS SOUPS 34653 WITH SCORE 34706.037
AT ITER 5423 NEW BEST:: SOT 498686 SOS 53001 HAS SOPS 53001 HAS SOUS 34611 HAS SOUPS 34611 WITH SCORE 34664.001
AT ITER 5479 NEW BEST:: SOT 498668 SOS 52929 HAS SOPS 52929 HAS SOUS 34563 HAS SOUPS 34563 WITH SCORE 34615.929
AT ITER 5574 NEW BEST:: SOT 498668 SOS 52929 HAS SOPS 52929 HAS SOUS 34551 HAS SOUPS 34551 WITH SCORE 34603.929
AT ITER 5630 NEW BEST:: SOT 498668 SOS 52929 HAS SOPS 52929 HAS SOUS 34544 HAS SOUPS 34544 WITH SCORE 34596.929
AT ITER 5696 NEW BEST:: SOT 498668 SOS 52918 HAS SOPS 52918 HAS SOUS 34533 HAS SOUPS 34533 WITH SCORE 34585.918
AT ITER 5779 NEW BEST:: SOT 498653 SOS 52903 HAS SOPS 52903 HAS SOUS 34520 HAS SOUPS 34520 WITH SCORE 34572.903
AT ITER 5821 NEW BEST:: SOT 498632 SOS 52882 HAS SOPS 52882 HAS SOUS 34499 HAS SOUPS 34499 WITH SCORE 34551.882
AT ITER 5827 NEW BEST:: SOT 498630 SOS 52878 HAS SOPS 52878 HAS SOUS 34479 HAS SOUPS 34479 WITH SCORE 34531.878
AT ITER 5856 NEW BEST:: SOT 498630 SOS 52878 HAS SOPS 52878 HAS SOUS 34477 HAS SOUPS 34477 WITH SCORE 34529.878
AT ITER 5878 NEW BEST:: SOT 498614 SOS 52846 HAS SOPS 52846 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34497.846
AT ITER 5917 NEW BEST:: SOT 498575 SOS 52768 HAS SOPS 52768 HAS SOUS 34393 HAS SOUPS 34393 WITH SCORE 34445.768
AT ITER 5922 NEW BEST:: SOT 498552 SOS 52724 HAS SOPS 52724 HAS SOUS 34315 HAS SOUPS 34315 WITH SCORE 34367.724
AT ITER 6098 NEW BEST:: SOT 498545 SOS 52710 HAS SOPS 52710 HAS SOUS 34301 HAS SOUPS 34301 WITH SCORE 34353.71
AT ITER 6128 NEW BEST:: SOT 498538 SOS 52682 HAS SOPS 52682 HAS SOUS 34288 HAS SOUPS 34288 WITH SCORE 34340.682
AT ITER 6214 NEW BEST:: SOT 498538 SOS 52682 HAS SOPS 52682 HAS SOUS 34283 HAS SOUPS 34283 WITH SCORE 34335.682
AT ITER 6377 NEW BEST:: SOT 498538 SOS 52682 HAS SOPS 52682 HAS SOUS 34276 HAS SOUPS 34276 WITH SCORE 34328.682
AT ITER 6397 NEW BEST:: SOT 498527 SOS 52671 HAS SOPS 52671 HAS SOUS 34254 HAS SOUPS 34254 WITH SCORE 34306.671
AT ITER 6439 NEW BEST:: SOT 498513 SOS 52635 HAS SOPS 52635 HAS SOUS 34218 HAS SOUPS 34218 WITH SCORE 34270.635
AT ITER 6721 NEW BEST:: SOT 498492 SOS 52581 HAS SOPS 52581 HAS SOUS 34196 HAS SOUPS 34196 WITH SCORE 34248.581
AT ITER 6946 NEW BEST:: SOT 498480 SOS 52575 HAS SOPS 52575 HAS SOUS 34156 HAS SOUPS 34156 WITH SCORE 34208.575
AT ITER 6954 NEW BEST:: SOT 498468 SOS 52559 HAS SOPS 52559 HAS SOUS 34132 HAS SOUPS 34132 WITH SCORE 34184.559
AT ITER 6965 NEW BEST:: SOT 498468 SOS 52561 HAS SOPS 52561 HAS SOUS 34130 HAS SOUPS 34130 WITH SCORE 34182.561
AT ITER 6971 NEW BEST:: SOT 498459 SOS 52549 HAS SOPS 52549 HAS SOUS 34118 HAS SOUPS 34118 WITH SCORE 34170.549
AT ITER 7016 NEW BEST:: SOT 498445 SOS 52479 HAS SOPS 52479 HAS SOUS 34118 HAS SOUPS 34118 WITH SCORE 34170.479
AT ITER 7070 NEW BEST:: SOT 498427 SOS 52455 HAS SOPS 52455 HAS SOUS 34094 HAS SOUPS 34094 WITH SCORE 34146.455
AT ITER 7094 NEW BEST:: SOT 498427 SOS 52455 HAS SOPS 52455 HAS SOUS 34092 HAS SOUPS 34092 WITH SCORE 34144.455
AT ITER 7170 NEW BEST:: SOT 498405 SOS 52433 HAS SOPS 52433 HAS SOUS 34070 HAS SOUPS 34070 WITH SCORE 34122.433
AT ITER 7206 NEW BEST:: SOT 498405 SOS 52433 HAS SOPS 52433 HAS SOUS 34058 HAS SOUPS 34058 WITH SCORE 34110.433
AT ITER 7224 NEW BEST:: SOT 498384 SOS 52349 HAS SOPS 52349 HAS SOUS 34016 HAS SOUPS 34016 WITH SCORE 34068.349
AT ITER 7274 NEW BEST:: SOT 498384 SOS 52349 HAS SOPS 52349 HAS SOUS 33998 HAS SOUPS 33998 WITH SCORE 34050.349
AT ITER 7279 NEW BEST:: SOT 498324 SOS 52253 HAS SOPS 52253 HAS SOUS 33942 HAS SOUPS 33942 WITH SCORE 33994.253
AT ITER 7333 NEW BEST:: SOT 498310 SOS 52195 HAS SOPS 52195 HAS SOUS 33934 HAS SOUPS 33934 WITH SCORE 33986.195
AT ITER 7442 NEW BEST:: SOT 498298 SOS 52170 HAS SOPS 52170 HAS SOUS 33919 HAS SOUPS 33919 WITH SCORE 33971.17
AT ITER 7491 NEW BEST:: SOT 498306 SOS 52132 HAS SOPS 52132 HAS SOUS 33916 HAS SOUPS 33916 WITH SCORE 33968.132
AT ITER 7627 NEW BEST:: SOT 498268 SOS 52052 HAS SOPS 52052 HAS SOUS 33874 HAS SOUPS 33874 WITH SCORE 33926.052
AT ITER 7633 NEW BEST:: SOT 498214 SOS 51944 HAS SOPS 51944 HAS SOUS 33802 HAS SOUPS 33802 WITH SCORE 33853.944
AT ITER 7637 NEW BEST:: SOT 498214 SOS 51944 HAS SOPS 51944 HAS SOUS 33800 HAS SOUPS 33800 WITH SCORE 33851.944
AT ITER 7714 NEW BEST:: SOT 498214 SOS 51944 HAS SOPS 51944 HAS SOUS 33786 HAS SOUPS 33786 WITH SCORE 33837.944
AT ITER 7772 NEW BEST:: SOT 498214 SOS 51944 HAS SOPS 51944 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33833.944
AT ITER 7831 NEW BEST:: SOT 498211 SOS 51924 HAS SOPS 51924 HAS SOUS 33728 HAS SOUPS 33728 WITH SCORE 33779.924
AT ITER 7866 NEW BEST:: SOT 498210 SOS 51920 HAS SOPS 51920 HAS SOUS 33726 HAS SOUPS 33726 WITH SCORE 33777.92
AT ITER 7872 NEW BEST:: SOT 498210 SOS 51920 HAS SOPS 51920 HAS SOUS 33724 HAS SOUPS 33724 WITH SCORE 33775.92
AT ITER 8106 NEW BEST:: SOT 498210 SOS 51920 HAS SOPS 51920 HAS SOUS 33722 HAS SOUPS 33722 WITH SCORE 33773.92
AT ITER 8301 NEW BEST:: SOT 498208 SOS 51916 HAS SOPS 51916 HAS SOUS 33720 HAS SOUPS 33720 WITH SCORE 33771.916
AT ITER 8377 NEW BEST:: SOT 498216 SOS 51782 HAS SOPS 51782 HAS SOUS 33714 HAS SOUPS 33714 WITH SCORE 33765.782
AT ITER 8441 NEW BEST:: SOT 498213 SOS 51770 HAS SOPS 51770 HAS SOUS 33708 HAS SOUPS 33708 WITH SCORE 33759.77
AT ITER 8553 NEW BEST:: SOT 498213 SOS 51755 HAS SOPS 51755 HAS SOUS 33705 HAS SOUPS 33705 WITH SCORE 33756.755
AT ITER 8570 NEW BEST:: SOT 498213 SOS 51751 HAS SOPS 51751 HAS SOUS 33701 HAS SOUPS 33701 WITH SCORE 33752.751
AT ITER 8587 NEW BEST:: SOT 498210 SOS 51747 HAS SOPS 51747 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33748.747
AT ITER 8787 NEW BEST:: SOT 498202 SOS 51707 HAS SOPS 51707 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33748.707
AT ITER 8853 NEW BEST:: SOT 498193 SOS 51698 HAS SOPS 51698 HAS SOUS 33688 HAS SOUPS 33688 WITH SCORE 33739.698
AT ITER 8909 NEW BEST:: SOT 498193 SOS 51695 HAS SOPS 51695 HAS SOUS 33685 HAS SOUPS 33685 WITH SCORE 33736.695
AT ITER 8976 NEW BEST:: SOT 498163 SOS 51655 HAS SOPS 51655 HAS SOUS 33645 HAS SOUPS 33645 WITH SCORE 33696.655
AT ITER 9047 NEW BEST:: SOT 498139 SOS 51631 HAS SOPS 51631 HAS SOUS 33621 HAS SOUPS 33621 WITH SCORE 33672.631
AT ITER 9128 NEW BEST:: SOT 498097 SOS 51577 HAS SOPS 51577 HAS SOUS 33599 HAS SOUPS 33599 WITH SCORE 33650.577
AT ITER 9181 NEW BEST:: SOT 498095 SOS 51569 HAS SOPS 51569 HAS SOUS 33595 HAS SOUPS 33595 WITH SCORE 33646.569
AT ITER 9186 NEW BEST:: SOT 498108 SOS 51582 HAS SOPS 51582 HAS SOUS 33587 HAS SOUPS 33587 WITH SCORE 33638.582
AT ITER 9226 NEW BEST:: SOT 498099 SOS 51570 HAS SOPS 51570 HAS SOUS 33569 HAS SOUPS 33569 WITH SCORE 33620.57
AT ITER 9545 NEW BEST:: SOT 498087 SOS 51534 HAS SOPS 51534 HAS SOUS 33561 HAS SOUPS 33561 WITH SCORE 33612.534
AT ITER 9679 NEW BEST:: SOT 498085 SOS 51532 HAS SOPS 51532 HAS SOUS 33557 HAS SOUPS 33557 WITH SCORE 33608.532
AT ITER 9687 NEW BEST:: SOT 498014 SOS 51390 HAS SOPS 51390 HAS SOUS 33481 HAS SOUPS 33481 WITH SCORE 33532.39
AT ITER 9713 NEW BEST:: SOT 498001 SOS 51338 HAS SOPS 51338 HAS SOUS 33455 HAS SOUPS 33455 WITH SCORE 33506.338
AT ITER 9735 NEW BEST:: SOT 497985 SOS 51298 HAS SOPS 51298 HAS SOUS 33431 HAS SOUPS 33431 WITH SCORE 33482.298
AT ITER 9754 NEW BEST:: SOT 497977 SOS 51266 HAS SOPS 51266 HAS SOUS 33415 HAS SOUPS 33415 WITH SCORE 33466.266
AT ITER 9885 NEW BEST:: SOT 497968 SOS 51258 HAS SOPS 51258 HAS SOUS 33397 HAS SOUPS 33397 WITH SCORE 33448.258
AT ITER 9957 NEW BEST:: SOT 497968 SOS 51258 HAS SOPS 51258 HAS SOUS 33395 HAS SOUPS 33395 WITH SCORE 33446.258

BK_STOP 1590406793586

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 471 Segmentation fault ${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-080408"
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-080408, 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-159033382400224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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