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-159033469300360.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 ShieldIIPt-PT-040B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 848K
-rw-r--r-- 1 mcc users 3.6K May 14 01:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 13:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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 686K May 12 20:42 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 1590442242168

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

Filename model.pnml
Petri model created: 2803 places, 2603 transitions, 6486 arcs.
AT ITER 0 NEW BEST:: SOT 3711385 SOS 182277 HAS SOPS 182277 HAS SOUS 170109 HAS SOUPS 170109 WITH SCORE 170291.277
AT ITER 47 NEW BEST:: SOT 3711385 SOS 182221 HAS SOPS 182221 HAS SOUS 170053 HAS SOUPS 170053 WITH SCORE 170235.221
AT ITER 71 NEW BEST:: SOT 3711385 SOS 182220 HAS SOPS 182220 HAS SOUS 170052 HAS SOUPS 170052 WITH SCORE 170234.22
AT ITER 119 NEW BEST:: SOT 3711298 SOS 182200 HAS SOPS 182200 HAS SOUS 169984 HAS SOUPS 169984 WITH SCORE 170166.2
AT ITER 142 NEW BEST:: SOT 3711298 SOS 182186 HAS SOPS 182186 HAS SOUS 169969 HAS SOUPS 169969 WITH SCORE 170151.186
AT ITER 165 NEW BEST:: SOT 3711296 SOS 182181 HAS SOPS 182181 HAS SOUS 169964 HAS SOUPS 169964 WITH SCORE 170146.181
AT ITER 191 NEW BEST:: SOT 3711296 SOS 182180 HAS SOPS 182180 HAS SOUS 169963 HAS SOUPS 169963 WITH SCORE 170145.18
AT ITER 278 NEW BEST:: SOT 3711306 SOS 182216 HAS SOPS 182216 HAS SOUS 169917 HAS SOUPS 169917 WITH SCORE 170099.216
AT ITER 400 NEW BEST:: SOT 3711304 SOS 182210 HAS SOPS 182210 HAS SOUS 169911 HAS SOUPS 169911 WITH SCORE 170093.21
AT ITER 518 NEW BEST:: SOT 3711265 SOS 182093 HAS SOPS 182093 HAS SOUS 169824 HAS SOUPS 169824 WITH SCORE 170006.093
AT ITER 525 NEW BEST:: SOT 3711258 SOS 182079 HAS SOPS 182079 HAS SOUS 169810 HAS SOUPS 169810 WITH SCORE 169992.079
AT ITER 539 NEW BEST:: SOT 3711276 SOS 182061 HAS SOPS 182061 HAS SOUS 169790 HAS SOUPS 169790 WITH SCORE 169972.061
AT ITER 578 NEW BEST:: SOT 3711249 SOS 182034 HAS SOPS 182034 HAS SOUS 169763 HAS SOUPS 169763 WITH SCORE 169945.034
AT ITER 663 NEW BEST:: SOT 3711247 SOS 182029 HAS SOPS 182029 HAS SOUS 169758 HAS SOUPS 169758 WITH SCORE 169940.029
AT ITER 820 NEW BEST:: SOT 3711192 SOS 181864 HAS SOPS 181864 HAS SOUS 169648 HAS SOUPS 169648 WITH SCORE 169829.864
AT ITER 898 NEW BEST:: SOT 3711192 SOS 181902 HAS SOPS 181902 HAS SOUS 169633 HAS SOUPS 169633 WITH SCORE 169814.902
AT ITER 946 NEW BEST:: SOT 3711145 SOS 181808 HAS SOPS 181808 HAS SOUS 169539 HAS SOUPS 169539 WITH SCORE 169720.808
AT ITER 972 NEW BEST:: SOT 3711124 SOS 181745 HAS SOPS 181745 HAS SOUS 169476 HAS SOUPS 169476 WITH SCORE 169657.745
AT ITER 982 NEW BEST:: SOT 3711124 SOS 181771 HAS SOPS 181771 HAS SOUS 169469 HAS SOUPS 169469 WITH SCORE 169650.771
AT ITER 1079 NEW BEST:: SOT 3711080 SOS 181714 HAS SOPS 181714 HAS SOUS 169398 HAS SOUPS 169398 WITH SCORE 169579.714
AT ITER 1130 NEW BEST:: SOT 3711022 SOS 181658 HAS SOPS 181658 HAS SOUS 169340 HAS SOUPS 169340 WITH SCORE 169521.658
AT ITER 1375 NEW BEST:: SOT 3711016 SOS 181652 HAS SOPS 181652 HAS SOUS 169340 HAS SOUPS 169340 WITH SCORE 169521.652
AT ITER 1387 NEW BEST:: SOT 3710974 SOS 181610 HAS SOPS 181610 HAS SOUS 169298 HAS SOUPS 169298 WITH SCORE 169479.61
AT ITER 1429 NEW BEST:: SOT 3710974 SOS 181609 HAS SOPS 181609 HAS SOUS 169297 HAS SOUPS 169297 WITH SCORE 169478.609
AT ITER 1617 NEW BEST:: SOT 3710915 SOS 181555 HAS SOPS 181555 HAS SOUS 169174 HAS SOUPS 169174 WITH SCORE 169355.555
AT ITER 1621 NEW BEST:: SOT 3710914 SOS 181553 HAS SOPS 181553 HAS SOUS 169172 HAS SOUPS 169172 WITH SCORE 169353.553
AT ITER 1782 NEW BEST:: SOT 3710899 SOS 181509 HAS SOPS 181509 HAS SOUS 169128 HAS SOUPS 169128 WITH SCORE 169309.509
AT ITER 1818 NEW BEST:: SOT 3710861 SOS 181395 HAS SOPS 181395 HAS SOUS 169052 HAS SOUPS 169052 WITH SCORE 169233.395
AT ITER 1852 NEW BEST:: SOT 3710803 SOS 181338 HAS SOPS 181338 HAS SOUS 168923 HAS SOUPS 168923 WITH SCORE 169104.338
AT ITER 1874 NEW BEST:: SOT 3710803 SOS 181312 HAS SOPS 181312 HAS SOUS 168897 HAS SOUPS 168897 WITH SCORE 169078.312
AT ITER 2082 NEW BEST:: SOT 3710803 SOS 181288 HAS SOPS 181288 HAS SOUS 168873 HAS SOUPS 168873 WITH SCORE 169054.288
AT ITER 2197 NEW BEST:: SOT 3710803 SOS 181247 HAS SOPS 181247 HAS SOUS 168871 HAS SOUPS 168871 WITH SCORE 169052.247
AT ITER 2198 NEW BEST:: SOT 3710763 SOS 181167 HAS SOPS 181167 HAS SOUS 168791 HAS SOUPS 168791 WITH SCORE 168972.167
AT ITER 2329 NEW BEST:: SOT 3710739 SOS 181143 HAS SOPS 181143 HAS SOUS 168767 HAS SOUPS 168767 WITH SCORE 168948.143
AT ITER 2538 NEW BEST:: SOT 3710739 SOS 181135 HAS SOPS 181135 HAS SOUS 168759 HAS SOUPS 168759 WITH SCORE 168940.135
AT ITER 2583 NEW BEST:: SOT 3710730 SOS 181126 HAS SOPS 181126 HAS SOUS 168750 HAS SOUPS 168750 WITH SCORE 168931.126
AT ITER 2600 NEW BEST:: SOT 3710730 SOS 181125 HAS SOPS 181125 HAS SOUS 168749 HAS SOUPS 168749 WITH SCORE 168930.125
AT ITER 2858 NEW BEST:: SOT 3710719 SOS 181094 HAS SOPS 181094 HAS SOUS 168718 HAS SOUPS 168718 WITH SCORE 168899.094
AT ITER 2900 NEW BEST:: SOT 3710684 SOS 181063 HAS SOPS 181063 HAS SOUS 168687 HAS SOUPS 168687 WITH SCORE 168868.063
AT ITER 2912 NEW BEST:: SOT 3710696 SOS 180981 HAS SOPS 180981 HAS SOUS 168605 HAS SOUPS 168605 WITH SCORE 168785.981
AT ITER 3023 NEW BEST:: SOT 3710655 SOS 180957 HAS SOPS 180957 HAS SOUS 168575 HAS SOUPS 168575 WITH SCORE 168755.957
AT ITER 3042 NEW BEST:: SOT 3710625 SOS 180859 HAS SOPS 180859 HAS SOUS 168508 HAS SOUPS 168508 WITH SCORE 168688.859
AT ITER 3058 NEW BEST:: SOT 3710588 SOS 180819 HAS SOPS 180819 HAS SOUS 168502 HAS SOUPS 168502 WITH SCORE 168682.819
AT ITER 3146 NEW BEST:: SOT 3710587 SOS 180785 HAS SOPS 180785 HAS SOUS 168468 HAS SOUPS 168468 WITH SCORE 168648.785
AT ITER 3147 NEW BEST:: SOT 3710562 SOS 180760 HAS SOPS 180760 HAS SOUS 168443 HAS SOUPS 168443 WITH SCORE 168623.76
AT ITER 3252 NEW BEST:: SOT 3710531 SOS 180667 HAS SOPS 180667 HAS SOUS 168378 HAS SOUPS 168378 WITH SCORE 168558.667
AT ITER 3311 NEW BEST:: SOT 3710477 SOS 180559 HAS SOPS 180559 HAS SOUS 168324 HAS SOUPS 168324 WITH SCORE 168504.559
AT ITER 3313 NEW BEST:: SOT 3710501 SOS 180533 HAS SOPS 180533 HAS SOUS 168297 HAS SOUPS 168297 WITH SCORE 168477.533
AT ITER 3391 NEW BEST:: SOT 3710501 SOS 180524 HAS SOPS 180524 HAS SOUS 168296 HAS SOUPS 168296 WITH SCORE 168476.524
AT ITER 3430 NEW BEST:: SOT 3710504 SOS 180504 HAS SOPS 180504 HAS SOUS 168274 HAS SOUPS 168274 WITH SCORE 168454.504
AT ITER 3697 NEW BEST:: SOT 3710504 SOS 180455 HAS SOPS 180455 HAS SOUS 168225 HAS SOUPS 168225 WITH SCORE 168405.455
AT ITER 3724 NEW BEST:: SOT 3710504 SOS 180450 HAS SOPS 180450 HAS SOUS 168220 HAS SOUPS 168220 WITH SCORE 168400.45
AT ITER 3725 NEW BEST:: SOT 3710504 SOS 180447 HAS SOPS 180447 HAS SOUS 168212 HAS SOUPS 168212 WITH SCORE 168392.447
AT ITER 3731 NEW BEST:: SOT 3710496 SOS 180439 HAS SOPS 180439 HAS SOUS 168196 HAS SOUPS 168196 WITH SCORE 168376.439
AT ITER 3758 NEW BEST:: SOT 3710472 SOS 180445 HAS SOPS 180445 HAS SOUS 168139 HAS SOUPS 168139 WITH SCORE 168319.445
AT ITER 3790 NEW BEST:: SOT 3710472 SOS 180423 HAS SOPS 180423 HAS SOUS 168137 HAS SOUPS 168137 WITH SCORE 168317.423
AT ITER 3791 NEW BEST:: SOT 3710480 SOS 180430 HAS SOPS 180430 HAS SOUS 168134 HAS SOUPS 168134 WITH SCORE 168314.43
AT ITER 3795 NEW BEST:: SOT 3710479 SOS 180413 HAS SOPS 180413 HAS SOUS 168128 HAS SOUPS 168128 WITH SCORE 168308.413
AT ITER 3808 NEW BEST:: SOT 3710479 SOS 180408 HAS SOPS 180408 HAS SOUS 168123 HAS SOUPS 168123 WITH SCORE 168303.408
AT ITER 3909 NEW BEST:: SOT 3710479 SOS 180396 HAS SOPS 180396 HAS SOUS 168111 HAS SOUPS 168111 WITH SCORE 168291.396
AT ITER 3916 NEW BEST:: SOT 3710478 SOS 180393 HAS SOPS 180393 HAS SOUS 168108 HAS SOUPS 168108 WITH SCORE 168288.393
AT ITER 4150 NEW BEST:: SOT 3710478 SOS 180360 HAS SOPS 180360 HAS SOUS 168073 HAS SOUPS 168073 WITH SCORE 168253.36
AT ITER 4172 NEW BEST:: SOT 3710452 SOS 180333 HAS SOPS 180333 HAS SOUS 168046 HAS SOUPS 168046 WITH SCORE 168226.333
AT ITER 4217 NEW BEST:: SOT 3710452 SOS 180309 HAS SOPS 180309 HAS SOUS 168022 HAS SOUPS 168022 WITH SCORE 168202.309
AT ITER 4348 NEW BEST:: SOT 3710435 SOS 180256 HAS SOPS 180256 HAS SOUS 167987 HAS SOUPS 167987 WITH SCORE 168167.256
AT ITER 4440 NEW BEST:: SOT 3710422 SOS 180230 HAS SOPS 180230 HAS SOUS 167961 HAS SOUPS 167961 WITH SCORE 168141.23
AT ITER 4589 NEW BEST:: SOT 3710422 SOS 180230 HAS SOPS 180230 HAS SOUS 167960 HAS SOUPS 167960 WITH SCORE 168140.23
AT ITER 4590 NEW BEST:: SOT 3710464 SOS 180226 HAS SOPS 180226 HAS SOUS 167925 HAS SOUPS 167925 WITH SCORE 168105.226
AT ITER 4674 NEW BEST:: SOT 3710464 SOS 180192 HAS SOPS 180192 HAS SOUS 167891 HAS SOUPS 167891 WITH SCORE 168071.192
AT ITER 4720 NEW BEST:: SOT 3710464 SOS 180187 HAS SOPS 180187 HAS SOUS 167885 HAS SOUPS 167885 WITH SCORE 168065.187
AT ITER 4771 NEW BEST:: SOT 3710438 SOS 180135 HAS SOPS 180135 HAS SOUS 167833 HAS SOUPS 167833 WITH SCORE 168013.135
AT ITER 4779 NEW BEST:: SOT 3710437 SOS 180133 HAS SOPS 180133 HAS SOUS 167831 HAS SOUPS 167831 WITH SCORE 168011.133
AT ITER 4903 NEW BEST:: SOT 3710437 SOS 180098 HAS SOPS 180098 HAS SOUS 167796 HAS SOUPS 167796 WITH SCORE 167976.098
AT ITER 5072 NEW BEST:: SOT 3710434 SOS 180092 HAS SOPS 180092 HAS SOUS 167790 HAS SOUPS 167790 WITH SCORE 167970.092
AT ITER 5127 NEW BEST:: SOT 3710443 SOS 180066 HAS SOPS 180066 HAS SOUS 167764 HAS SOUPS 167764 WITH SCORE 167944.066
AT ITER 5209 NEW BEST:: SOT 3710387 SOS 179804 HAS SOPS 179804 HAS SOUS 167705 HAS SOUPS 167705 WITH SCORE 167884.804
AT ITER 5318 NEW BEST:: SOT 3710352 SOS 179734 HAS SOPS 179734 HAS SOUS 167595 HAS SOUPS 167595 WITH SCORE 167774.734
AT ITER 5334 NEW BEST:: SOT 3710352 SOS 179705 HAS SOPS 179705 HAS SOUS 167566 HAS SOUPS 167566 WITH SCORE 167745.705
AT ITER 5554 NEW BEST:: SOT 3710352 SOS 179671 HAS SOPS 179671 HAS SOUS 167532 HAS SOUPS 167532 WITH SCORE 167711.671
AT ITER 5561 NEW BEST:: SOT 3710352 SOS 179696 HAS SOPS 179696 HAS SOUS 167525 HAS SOUPS 167525 WITH SCORE 167704.696
AT ITER 5608 NEW BEST:: SOT 3710356 SOS 179644 HAS SOPS 179644 HAS SOUS 167455 HAS SOUPS 167455 WITH SCORE 167634.644
AT ITER 5648 NEW BEST:: SOT 3710325 SOS 179497 HAS SOPS 179497 HAS SOUS 167393 HAS SOUPS 167393 WITH SCORE 167572.497
AT ITER 5658 NEW BEST:: SOT 3710312 SOS 179539 HAS SOPS 179539 HAS SOUS 167382 HAS SOUPS 167382 WITH SCORE 167561.539
AT ITER 5665 NEW BEST:: SOT 3710312 SOS 179515 HAS SOPS 179515 HAS SOUS 167356 HAS SOUPS 167356 WITH SCORE 167535.515
AT ITER 5776 NEW BEST:: SOT 3710312 SOS 179510 HAS SOPS 179510 HAS SOUS 167349 HAS SOUPS 167349 WITH SCORE 167528.51
AT ITER 5779 NEW BEST:: SOT 3710312 SOS 179500 HAS SOPS 179500 HAS SOUS 167339 HAS SOUPS 167339 WITH SCORE 167518.5
AT ITER 5833 NEW BEST:: SOT 3710286 SOS 179448 HAS SOPS 179448 HAS SOUS 167247 HAS SOUPS 167247 WITH SCORE 167426.448
AT ITER 5924 NEW BEST:: SOT 3710243 SOS 179405 HAS SOPS 179405 HAS SOUS 167204 HAS SOUPS 167204 WITH SCORE 167383.405
AT ITER 6151 NEW BEST:: SOT 3710243 SOS 179381 HAS SOPS 179381 HAS SOUS 167178 HAS SOUPS 167178 WITH SCORE 167357.381
AT ITER 6274 NEW BEST:: SOT 3710227 SOS 179310 HAS SOPS 179310 HAS SOUS 167162 HAS SOUPS 167162 WITH SCORE 167341.31
AT ITER 6342 NEW BEST:: SOT 3710221 SOS 179307 HAS SOPS 179307 HAS SOUS 167159 HAS SOUPS 167159 WITH SCORE 167338.307
AT ITER 6370 NEW BEST:: SOT 3710220 SOS 179283 HAS SOPS 179283 HAS SOUS 167157 HAS SOUPS 167157 WITH SCORE 167336.283
AT ITER 6546 NEW BEST:: SOT 3710208 SOS 179271 HAS SOPS 179271 HAS SOUS 167145 HAS SOUPS 167145 WITH SCORE 167324.271
AT ITER 6580 NEW BEST:: SOT 3710155 SOS 179271 HAS SOPS 179271 HAS SOUS 167092 HAS SOUPS 167092 WITH SCORE 167271.271
AT ITER 6621 NEW BEST:: SOT 3710153 SOS 179269 HAS SOPS 179269 HAS SOUS 167090 HAS SOUPS 167090 WITH SCORE 167269.269
AT ITER 6680 NEW BEST:: SOT 3710086 SOS 179262 HAS SOPS 179262 HAS SOUS 167066 HAS SOUPS 167066 WITH SCORE 167245.262
AT ITER 6923 NEW BEST:: SOT 3710088 SOS 179261 HAS SOPS 179261 HAS SOUS 167065 HAS SOUPS 167065 WITH SCORE 167244.261
AT ITER 7004 NEW BEST:: SOT 3710115 SOS 179216 HAS SOPS 179216 HAS SOUS 167038 HAS SOUPS 167038 WITH SCORE 167217.216
AT ITER 7023 NEW BEST:: SOT 3710160 SOS 179236 HAS SOPS 179236 HAS SOUS 167013 HAS SOUPS 167013 WITH SCORE 167192.236
AT ITER 7029 NEW BEST:: SOT 3710151 SOS 179236 HAS SOPS 179236 HAS SOUS 167004 HAS SOUPS 167004 WITH SCORE 167183.236
AT ITER 7119 NEW BEST:: SOT 3710099 SOS 179210 HAS SOPS 179210 HAS SOUS 166978 HAS SOUPS 166978 WITH SCORE 167157.21
AT ITER 7271 NEW BEST:: SOT 3710084 SOS 179210 HAS SOPS 179210 HAS SOUS 166963 HAS SOUPS 166963 WITH SCORE 167142.21
AT ITER 7332 NEW BEST:: SOT 3710073 SOS 179188 HAS SOPS 179188 HAS SOUS 166941 HAS SOUPS 166941 WITH SCORE 167120.188
AT ITER 7335 NEW BEST:: SOT 3710053 SOS 179146 HAS SOPS 179146 HAS SOUS 166899 HAS SOUPS 166899 WITH SCORE 167078.146
AT ITER 7412 NEW BEST:: SOT 3710053 SOS 179146 HAS SOPS 179146 HAS SOUS 166884 HAS SOUPS 166884 WITH SCORE 167063.146
AT ITER 7429 NEW BEST:: SOT 3710052 SOS 179125 HAS SOPS 179125 HAS SOUS 166863 HAS SOUPS 166863 WITH SCORE 167042.125
AT ITER 7578 NEW BEST:: SOT 3710069 SOS 179118 HAS SOPS 179118 HAS SOUS 166856 HAS SOUPS 166856 WITH SCORE 167035.118
AT ITER 7581 NEW BEST:: SOT 3710069 SOS 179116 HAS SOPS 179116 HAS SOUS 166854 HAS SOUPS 166854 WITH SCORE 167033.116
AT ITER 7693 NEW BEST:: SOT 3710071 SOS 179116 HAS SOPS 179116 HAS SOUS 166852 HAS SOUPS 166852 WITH SCORE 167031.116
AT ITER 7709 NEW BEST:: SOT 3710022 SOS 179018 HAS SOPS 179018 HAS SOUS 166728 HAS SOUPS 166728 WITH SCORE 166907.018
AT ITER 7713 NEW BEST:: SOT 3709979 SOS 178974 HAS SOPS 178974 HAS SOUS 166668 HAS SOUPS 166668 WITH SCORE 166846.974
AT ITER 7721 NEW BEST:: SOT 3709957 SOS 178848 HAS SOPS 178848 HAS SOUS 166542 HAS SOUPS 166542 WITH SCORE 166720.848
AT ITER 7868 NEW BEST:: SOT 3709957 SOS 178833 HAS SOPS 178833 HAS SOUS 166542 HAS SOUPS 166542 WITH SCORE 166720.833
AT ITER 7928 NEW BEST:: SOT 3710006 SOS 178859 HAS SOPS 178859 HAS SOUS 166520 HAS SOUPS 166520 WITH SCORE 166698.859
AT ITER 7963 NEW BEST:: SOT 3709963 SOS 178620 HAS SOPS 178620 HAS SOUS 166380 HAS SOUPS 166380 WITH SCORE 166558.62
AT ITER 8083 NEW BEST:: SOT 3709963 SOS 178619 HAS SOPS 178619 HAS SOUS 166347 HAS SOUPS 166347 WITH SCORE 166525.619
AT ITER 8092 NEW BEST:: SOT 3709963 SOS 178556 HAS SOPS 178556 HAS SOUS 166284 HAS SOUPS 166284 WITH SCORE 166462.556
AT ITER 8132 NEW BEST:: SOT 3709954 SOS 178561 HAS SOPS 178561 HAS SOUS 166275 HAS SOUPS 166275 WITH SCORE 166453.561
AT ITER 8159 NEW BEST:: SOT 3709933 SOS 178495 HAS SOPS 178495 HAS SOUS 166231 HAS SOUPS 166231 WITH SCORE 166409.495
AT ITER 8202 NEW BEST:: SOT 3709898 SOS 178373 HAS SOPS 178373 HAS SOUS 166077 HAS SOUPS 166077 WITH SCORE 166255.373
AT ITER 8229 NEW BEST:: SOT 3709934 SOS 178343 HAS SOPS 178343 HAS SOUS 166047 HAS SOUPS 166047 WITH SCORE 166225.343
AT ITER 8450 NEW BEST:: SOT 3709875 SOS 178225 HAS SOPS 178225 HAS SOUS 165921 HAS SOUPS 165921 WITH SCORE 166099.225
AT ITER 8568 NEW BEST:: SOT 3709875 SOS 178197 HAS SOPS 178197 HAS SOUS 165892 HAS SOUPS 165892 WITH SCORE 166070.197
AT ITER 8849 NEW BEST:: SOT 3709875 SOS 178170 HAS SOPS 178170 HAS SOUS 165865 HAS SOUPS 165865 WITH SCORE 166043.17
AT ITER 8872 NEW BEST:: SOT 3709835 SOS 178159 HAS SOPS 178159 HAS SOUS 165854 HAS SOUPS 165854 WITH SCORE 166032.159
AT ITER 8940 NEW BEST:: SOT 3709780 SOS 178054 HAS SOPS 178054 HAS SOUS 165788 HAS SOUPS 165788 WITH SCORE 165966.054
AT ITER 9008 NEW BEST:: SOT 3709731 SOS 178025 HAS SOPS 178025 HAS SOUS 165739 HAS SOUPS 165739 WITH SCORE 165917.025
AT ITER 9176 NEW BEST:: SOT 3709692 SOS 177908 HAS SOPS 177908 HAS SOUS 165622 HAS SOUPS 165622 WITH SCORE 165799.908
AT ITER 9183 NEW BEST:: SOT 3709692 SOS 177850 HAS SOPS 177850 HAS SOUS 165564 HAS SOUPS 165564 WITH SCORE 165741.85
AT ITER 9197 NEW BEST:: SOT 3709692 SOS 177827 HAS SOPS 177827 HAS SOUS 165541 HAS SOUPS 165541 WITH SCORE 165718.827
AT ITER 9301 NEW BEST:: SOT 3709692 SOS 177822 HAS SOPS 177822 HAS SOUS 165536 HAS SOUPS 165536 WITH SCORE 165713.822
AT ITER 9318 NEW BEST:: SOT 3709691 SOS 177802 HAS SOPS 177802 HAS SOUS 165516 HAS SOUPS 165516 WITH SCORE 165693.802
AT ITER 9423 NEW BEST:: SOT 3709597 SOS 177755 HAS SOPS 177755 HAS SOUS 165469 HAS SOUPS 165469 WITH SCORE 165646.755
AT ITER 9477 NEW BEST:: SOT 3709553 SOS 177729 HAS SOPS 177729 HAS SOUS 165443 HAS SOUPS 165443 WITH SCORE 165620.729
AT ITER 9509 NEW BEST:: SOT 3709520 SOS 177706 HAS SOPS 177706 HAS SOUS 165420 HAS SOUPS 165420 WITH SCORE 165597.706
AT ITER 9904 NEW BEST:: SOT 3709520 SOS 177656 HAS SOPS 177656 HAS SOUS 165370 HAS SOUPS 165370 WITH SCORE 165547.656

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="ShieldIIPt-PT-040B"
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 ShieldIIPt-PT-040B, 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 r207-tajo-159033469300360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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