Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469600516.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPs-PT-030B, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469600516
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 3.2K May 14 01:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 01:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 19:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 528K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-030B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590445856151

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 030B
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2043 places, 1893 transitions, 5226 arcs.
AT ITER 0 NEW BEST:: SOT 1980919 SOS 122543 HAS SOPS 122543 HAS SOUS 114054 HAS SOUPS 114054 WITH SCORE 114176.543
AT ITER 41 NEW BEST:: SOT 1980817 SOS 122445 HAS SOPS 122445 HAS SOUS 113952 HAS SOUPS 113952 WITH SCORE 114074.445
AT ITER 58 NEW BEST:: SOT 1980791 SOS 122419 HAS SOPS 122419 HAS SOUS 113926 HAS SOUPS 113926 WITH SCORE 114048.419
AT ITER 187 NEW BEST:: SOT 1980791 SOS 122419 HAS SOPS 122419 HAS SOUS 113908 HAS SOUPS 113908 WITH SCORE 114030.419
AT ITER 188 NEW BEST:: SOT 1980786 SOS 122414 HAS SOPS 122414 HAS SOUS 113903 HAS SOUPS 113903 WITH SCORE 114025.414
AT ITER 195 NEW BEST:: SOT 1980750 SOS 122305 HAS SOPS 122305 HAS SOUS 113849 HAS SOUPS 113849 WITH SCORE 113971.305
AT ITER 270 NEW BEST:: SOT 1980711 SOS 122304 HAS SOPS 122304 HAS SOUS 113848 HAS SOUPS 113848 WITH SCORE 113970.304
AT ITER 347 NEW BEST:: SOT 1980711 SOS 122303 HAS SOPS 122303 HAS SOUS 113847 HAS SOUPS 113847 WITH SCORE 113969.303
AT ITER 380 NEW BEST:: SOT 1980674 SOS 122342 HAS SOPS 122342 HAS SOUS 113818 HAS SOUPS 113818 WITH SCORE 113940.342
AT ITER 452 NEW BEST:: SOT 1980697 SOS 122358 HAS SOPS 122358 HAS SOUS 113811 HAS SOUPS 113811 WITH SCORE 113933.358
AT ITER 501 NEW BEST:: SOT 1980617 SOS 122298 HAS SOPS 122298 HAS SOUS 113751 HAS SOUPS 113751 WITH SCORE 113873.298
AT ITER 599 NEW BEST:: SOT 1980617 SOS 122293 HAS SOPS 122293 HAS SOUS 113746 HAS SOUPS 113746 WITH SCORE 113868.293
AT ITER 786 NEW BEST:: SOT 1980617 SOS 122286 HAS SOPS 122286 HAS SOUS 113739 HAS SOUPS 113739 WITH SCORE 113861.286
AT ITER 787 NEW BEST:: SOT 1980616 SOS 122279 HAS SOPS 122279 HAS SOUS 113732 HAS SOUPS 113732 WITH SCORE 113854.279
AT ITER 833 NEW BEST:: SOT 1980619 SOS 122304 HAS SOPS 122304 HAS SOUS 113720 HAS SOUPS 113720 WITH SCORE 113842.304
AT ITER 1059 NEW BEST:: SOT 1980600 SOS 122285 HAS SOPS 122285 HAS SOUS 113701 HAS SOUPS 113701 WITH SCORE 113823.285
AT ITER 1082 NEW BEST:: SOT 1980566 SOS 122271 HAS SOPS 122271 HAS SOUS 113694 HAS SOUPS 113694 WITH SCORE 113816.271
AT ITER 1149 NEW BEST:: SOT 1980566 SOS 122264 HAS SOPS 122264 HAS SOUS 113687 HAS SOUPS 113687 WITH SCORE 113809.264
AT ITER 1245 NEW BEST:: SOT 1980525 SOS 122279 HAS SOPS 122279 HAS SOUS 113685 HAS SOUPS 113685 WITH SCORE 113807.279
AT ITER 1311 NEW BEST:: SOT 1980525 SOS 122257 HAS SOPS 122257 HAS SOUS 113663 HAS SOUPS 113663 WITH SCORE 113785.257
AT ITER 1365 NEW BEST:: SOT 1980483 SOS 122236 HAS SOPS 122236 HAS SOUS 113628 HAS SOUPS 113628 WITH SCORE 113750.236
AT ITER 1399 NEW BEST:: SOT 1980457 SOS 122184 HAS SOPS 122184 HAS SOUS 113576 HAS SOUPS 113576 WITH SCORE 113698.184
AT ITER 1535 NEW BEST:: SOT 1980457 SOS 122179 HAS SOPS 122179 HAS SOUS 113571 HAS SOUPS 113571 WITH SCORE 113693.179
AT ITER 1572 NEW BEST:: SOT 1980456 SOS 122150 HAS SOPS 122150 HAS SOUS 113570 HAS SOUPS 113570 WITH SCORE 113692.15
AT ITER 1578 NEW BEST:: SOT 1980432 SOS 122095 HAS SOPS 122095 HAS SOUS 113545 HAS SOUPS 113545 WITH SCORE 113667.095
AT ITER 1590 NEW BEST:: SOT 1980451 SOS 121945 HAS SOPS 121945 HAS SOUS 113517 HAS SOUPS 113517 WITH SCORE 113638.945
AT ITER 1607 NEW BEST:: SOT 1980421 SOS 121732 HAS SOPS 121732 HAS SOUS 113424 HAS SOUPS 113424 WITH SCORE 113545.732
AT ITER 1619 NEW BEST:: SOT 1980421 SOS 121729 HAS SOPS 121729 HAS SOUS 113421 HAS SOUPS 113421 WITH SCORE 113542.729
AT ITER 1639 NEW BEST:: SOT 1980421 SOS 121729 HAS SOPS 121729 HAS SOUS 113399 HAS SOUPS 113399 WITH SCORE 113520.729
AT ITER 1747 NEW BEST:: SOT 1980419 SOS 121727 HAS SOPS 121727 HAS SOUS 113397 HAS SOUPS 113397 WITH SCORE 113518.727
AT ITER 1832 NEW BEST:: SOT 1980394 SOS 121726 HAS SOPS 121726 HAS SOUS 113371 HAS SOUPS 113371 WITH SCORE 113492.726
AT ITER 1835 NEW BEST:: SOT 1980388 SOS 121724 HAS SOPS 121724 HAS SOUS 113364 HAS SOUPS 113364 WITH SCORE 113485.724
AT ITER 1871 NEW BEST:: SOT 1980386 SOS 121661 HAS SOPS 121661 HAS SOUS 113332 HAS SOUPS 113332 WITH SCORE 113453.661
AT ITER 1892 NEW BEST:: SOT 1980360 SOS 121609 HAS SOPS 121609 HAS SOUS 113280 HAS SOUPS 113280 WITH SCORE 113401.609
AT ITER 2164 NEW BEST:: SOT 1980354 SOS 121607 HAS SOPS 121607 HAS SOUS 113273 HAS SOUPS 113273 WITH SCORE 113394.607
AT ITER 2218 NEW BEST:: SOT 1980330 SOS 121583 HAS SOPS 121583 HAS SOUS 113249 HAS SOUPS 113249 WITH SCORE 113370.583
AT ITER 2262 NEW BEST:: SOT 1980334 SOS 121578 HAS SOPS 121578 HAS SOUS 113244 HAS SOUPS 113244 WITH SCORE 113365.578
AT ITER 2288 NEW BEST:: SOT 1980325 SOS 121569 HAS SOPS 121569 HAS SOUS 113235 HAS SOUPS 113235 WITH SCORE 113356.569
AT ITER 2396 NEW BEST:: SOT 1980309 SOS 121552 HAS SOPS 121552 HAS SOUS 113218 HAS SOUPS 113218 WITH SCORE 113339.552
AT ITER 2424 NEW BEST:: SOT 1980330 SOS 121597 HAS SOPS 121597 HAS SOUS 113217 HAS SOUPS 113217 WITH SCORE 113338.597
AT ITER 2436 NEW BEST:: SOT 1980351 SOS 121614 HAS SOPS 121614 HAS SOUS 113213 HAS SOUPS 113213 WITH SCORE 113334.614
AT ITER 2471 NEW BEST:: SOT 1980351 SOS 121611 HAS SOPS 121611 HAS SOUS 113210 HAS SOUPS 113210 WITH SCORE 113331.611
AT ITER 2477 NEW BEST:: SOT 1980350 SOS 121609 HAS SOPS 121609 HAS SOUS 113208 HAS SOUPS 113208 WITH SCORE 113329.609
AT ITER 2526 NEW BEST:: SOT 1980204 SOS 121431 HAS SOPS 121431 HAS SOUS 113030 HAS SOUPS 113030 WITH SCORE 113151.431
AT ITER 2550 NEW BEST:: SOT 1980180 SOS 121405 HAS SOPS 121405 HAS SOUS 113005 HAS SOUPS 113005 WITH SCORE 113126.405
AT ITER 2589 NEW BEST:: SOT 1980160 SOS 121404 HAS SOPS 121404 HAS SOUS 113004 HAS SOUPS 113004 WITH SCORE 113125.404
AT ITER 2634 NEW BEST:: SOT 1980160 SOS 121388 HAS SOPS 121388 HAS SOUS 113004 HAS SOUPS 113004 WITH SCORE 113125.388
AT ITER 2759 NEW BEST:: SOT 1980079 SOS 121362 HAS SOPS 121362 HAS SOUS 112970 HAS SOUPS 112970 WITH SCORE 113091.362
AT ITER 2768 NEW BEST:: SOT 1980078 SOS 121355 HAS SOPS 121355 HAS SOUS 112963 HAS SOUPS 112963 WITH SCORE 113084.355
AT ITER 2796 NEW BEST:: SOT 1980078 SOS 121352 HAS SOPS 121352 HAS SOUS 112960 HAS SOUPS 112960 WITH SCORE 113081.352
AT ITER 2954 NEW BEST:: SOT 1980077 SOS 121351 HAS SOPS 121351 HAS SOUS 112959 HAS SOUPS 112959 WITH SCORE 113080.351
AT ITER 3116 NEW BEST:: SOT 1980075 SOS 121343 HAS SOPS 121343 HAS SOUS 112955 HAS SOUPS 112955 WITH SCORE 113076.343
AT ITER 3222 NEW BEST:: SOT 1980058 SOS 121326 HAS SOPS 121326 HAS SOUS 112938 HAS SOUPS 112938 WITH SCORE 113059.326
AT ITER 3299 NEW BEST:: SOT 1980058 SOS 121321 HAS SOPS 121321 HAS SOUS 112933 HAS SOUPS 112933 WITH SCORE 113054.321
AT ITER 3369 NEW BEST:: SOT 1980053 SOS 121320 HAS SOPS 121320 HAS SOUS 112923 HAS SOUPS 112923 WITH SCORE 113044.32
AT ITER 3621 NEW BEST:: SOT 1980051 SOS 121316 HAS SOPS 121316 HAS SOUS 112920 HAS SOUPS 112920 WITH SCORE 113041.316
AT ITER 3677 NEW BEST:: SOT 1980036 SOS 121301 HAS SOPS 121301 HAS SOUS 112905 HAS SOUPS 112905 WITH SCORE 113026.301
AT ITER 3724 NEW BEST:: SOT 1980037 SOS 121297 HAS SOPS 121297 HAS SOUS 112901 HAS SOUPS 112901 WITH SCORE 113022.297
AT ITER 3768 NEW BEST:: SOT 1980034 SOS 121294 HAS SOPS 121294 HAS SOUS 112901 HAS SOUPS 112901 WITH SCORE 113022.294
AT ITER 3792 NEW BEST:: SOT 1979995 SOS 121267 HAS SOPS 121267 HAS SOUS 112874 HAS SOUPS 112874 WITH SCORE 112995.267
AT ITER 3812 NEW BEST:: SOT 1980001 SOS 121273 HAS SOPS 121273 HAS SOUS 112830 HAS SOUPS 112830 WITH SCORE 112951.273
AT ITER 3900 NEW BEST:: SOT 1979998 SOS 121237 HAS SOPS 121237 HAS SOUS 112823 HAS SOUPS 112823 WITH SCORE 112944.237
AT ITER 4123 NEW BEST:: SOT 1979951 SOS 121190 HAS SOPS 121190 HAS SOUS 112823 HAS SOUPS 112823 WITH SCORE 112944.19
AT ITER 4175 NEW BEST:: SOT 1979994 SOS 121277 HAS SOPS 121277 HAS SOUS 112821 HAS SOUPS 112821 WITH SCORE 112942.277
AT ITER 4431 NEW BEST:: SOT 1979940 SOS 121241 HAS SOPS 121241 HAS SOUS 112785 HAS SOUPS 112785 WITH SCORE 112906.241
AT ITER 4516 NEW BEST:: SOT 1979940 SOS 121189 HAS SOPS 121189 HAS SOUS 112772 HAS SOUPS 112772 WITH SCORE 112893.189
AT ITER 4559 NEW BEST:: SOT 1979922 SOS 121117 HAS SOPS 121117 HAS SOUS 112754 HAS SOUPS 112754 WITH SCORE 112875.117
AT ITER 4567 NEW BEST:: SOT 1979921 SOS 121098 HAS SOPS 121098 HAS SOUS 112735 HAS SOUPS 112735 WITH SCORE 112856.098
AT ITER 4600 NEW BEST:: SOT 1979921 SOS 121070 HAS SOPS 121070 HAS SOUS 112735 HAS SOUPS 112735 WITH SCORE 112856.07
AT ITER 4603 NEW BEST:: SOT 1979921 SOS 121121 HAS SOPS 121121 HAS SOUS 112734 HAS SOUPS 112734 WITH SCORE 112855.121
AT ITER 4612 NEW BEST:: SOT 1979827 SOS 121074 HAS SOPS 121074 HAS SOUS 112687 HAS SOUPS 112687 WITH SCORE 112808.074
AT ITER 4710 NEW BEST:: SOT 1979825 SOS 121042 HAS SOPS 121042 HAS SOUS 112685 HAS SOUPS 112685 WITH SCORE 112806.042
AT ITER 4756 NEW BEST:: SOT 1979797 SOS 121014 HAS SOPS 121014 HAS SOUS 112657 HAS SOUPS 112657 WITH SCORE 112778.014
AT ITER 4798 NEW BEST:: SOT 1979797 SOS 120994 HAS SOPS 120994 HAS SOUS 112647 HAS SOUPS 112647 WITH SCORE 112767.994
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-00 (AU( ( ( ( ((potential((tk(P513)>=1) & (tk(P548)>=1)))) | ((potential((tk(P273)>=1)))) ) & ( ((potential((tk(P1395)>=1) & (tk(P1410)>=1)))) & ((potential((tk(P390)>=1) & (tk(P405)>=1)))) ) ) | (! ( ((potential((tk(P1471)>=1) & (tk(P1494)>=1)))) & ((potential((tk(P900)>=1)))) )) ) , ((potential((tk(P1194)>=1) & (tk(P1212)>=1)))) ))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-01 (EF( ( ( ((potential((tk(P1653)>=1) & (tk(P1686)>=1)))) | (AX( ((potential((tk(P1769)>=1)))))) ) | ((potential((tk(P1086)>=1)))) )))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-02 (AU( ( ((potential((tk(P993)>=1) & (tk(P1011)>=1)))) | (AG( ((potential((tk(P1785)>=1)))))) ) , (EF( ((potential((tk(P1998)>=1) & (tk(P2016)>=1)))))) ))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-03 (AF( ((potential((tk(P608)>=1))))))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-04 (AF( ( (AF( (! ((potential((tk(P1616)>=1))))))) & ((potential((tk(P1869)>=1)))) )))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-05 (AF( ((potential((tk(P1895)>=1))))))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-06 ( ((potential((tk(P1327)>=1)))) | (EF( ( (! (! ((potential((tk(P1554)>=1)))))) & ( (! ((potential((tk(P1978)>=1))))) | (! ((potential((tk(P839)>=1))))) ) ))) )
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-07 (AF( ((potential((tk(P1924)>=1) & (tk(P1949)>=1))))))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-08 (AF( ( (EU( ((potential((tk(P608)>=1)))) , ((potential((tk(P517)>=1) & (tk(P542)>=1)))) )) & (EX( ( ((potential((tk(P1683)>=1)))) & ((potential((tk(P8)>=1)))) ))) )))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-09 (EG( (EF( (! ( ((potential((tk(P1497)>=1)))) | ((potential((tk(P1921)>=1) & (tk(P1954)>=1)))) ))))))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-10 ( (AX( ( ( ((potential((tk(P1663)>=1) & (tk(P1681)>=1)))) & ( ((potential((tk(P1306)>=1)))) | ((potential((tk(P485)>=1)))) ) ) | (AF( ((potential((tk(P756)>=1)))))) ))) | ( ( (EF( ( ((potential((tk(P1603)>=1) & (tk(P1639)>=1)))) & ((potential((tk(P1736)>=1)))) ))) | (EG( (! ((potential((tk(P1792)>=1) & (tk(P1829)>=1))))))) ) & (AX( (EX( ((potential((tk(P908)>=1)))))))) ) )
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-11 (! (! (EF( ((potential((tk(P1250)>=1) & (tk(P1285)>=1))))))))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-12 (EF( (EX( (EG( ((potential((tk(P390)>=1) & (tk(P405)>=1))))))))))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-13 (AX( (EF( (EF( ((potential((tk(P1007)>=1))))))))))
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-14 ( (AG( (AG( (! ((potential((tk(P1723)>=1) & (tk(P1748)>=1))))))))) & (EX( (EF( ( ((potential((tk(P180)>=1)))) | ((potential((tk(P1516)>=1) & (tk(P1566)>=1)))) ))))) )
PROPERTY: ShieldPPPs-PT-030B-CTLFireability-15 ( (AF( (! ( (! ((potential((tk(P995)>=1) & (tk(P1035)>=1))))) | ( ((potential((tk(P846)>=1) & (tk(P896)>=1)))) | ((potential((tk(P1795)>=1)))) ) )))) & ( (! (! (EG( ((potential((tk(P5)>=1)))))))) | ( ( (! ( ((potential((tk(P1675)>=1)))) & ((potential((tk(P1488)>=1)))) )) | ( ( ((potential((tk(P1586)>=1) & (tk(P1619)>=1)))) & ((potential((tk(P955)>=1)))) ) & ((potential((tk(P1447)>=1)))) ) ) | (AF( ( ((potential((tk(P1873)>=1) & (tk(P1893)>=1)))) | ((potential((tk(P1732)>=1) & (tk(P1772)>=1)))) ))) ) ) )

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="ShieldPPPs-PT-030B"
export BK_EXAMINATION="CTLFireability"
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 ShieldPPPs-PT-030B, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469600516"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-030B.tgz
mv ShieldPPPs-PT-030B execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;