Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651100328.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Solitaire-PT-FrnCT7x7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651100328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 6.0K Feb 26 13:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 13:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 12:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 12:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 13:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 13:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 13:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 13:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K Mar 5 18:23 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 1679315960830

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Solitaire-PT-FrnCT7x7
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 12:39:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 12:39:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 12:39:24] [INFO ] Load time of PNML (sax parser for PT used): 121 ms
[2023-03-20 12:39:24] [INFO ] Transformed 75 places.
[2023-03-20 12:39:24] [INFO ] Transformed 92 transitions.
[2023-03-20 12:39:24] [INFO ] Parsed PT model containing 75 places and 92 transitions and 644 arcs in 276 ms.
[2023-03-20 12:39:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 75 places, 92 transitions and 644 arcs took 9 ms.
Total runtime 356 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Solitaire (PT), instance FrnCT7x7
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 75 places, 92 transitions, 644 arcs.
AT ITER 0 NEW BEST:: SOT 6094 SOS 4952 HAS SOPS 4952 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4456.952
AT ITER 5 NEW BEST:: SOT 5502 SOS 4404 HAS SOPS 4404 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.404
AT ITER 7 NEW BEST:: SOT 5500 SOS 4402 HAS SOPS 4402 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.402
AT ITER 15 NEW BEST:: SOT 5094 SOS 4054 HAS SOPS 4054 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3478.054
AT ITER 32 NEW BEST:: SOT 5094 SOS 4056 HAS SOPS 4056 HAS SOUS 3473 HAS SOUPS 3473 WITH SCORE 3477.056
AT ITER 35 NEW BEST:: SOT 5072 SOS 4034 HAS SOPS 4034 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3455.034
AT ITER 41 NEW BEST:: SOT 5072 SOS 4034 HAS SOPS 4034 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3454.034
AT ITER 43 NEW BEST:: SOT 5072 SOS 4042 HAS SOPS 4042 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3451.042
AT ITER 60 NEW BEST:: SOT 5072 SOS 4042 HAS SOPS 4042 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3433.042
AT ITER 62 NEW BEST:: SOT 5072 SOS 3994 HAS SOPS 3994 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3388.994
AT ITER 73 NEW BEST:: SOT 5054 SOS 3976 HAS SOPS 3976 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3368.976
AT ITER 108 NEW BEST:: SOT 5036 SOS 3958 HAS SOPS 3958 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3350.958
AT ITER 126 NEW BEST:: SOT 5036 SOS 3966 HAS SOPS 3966 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3345.966
AT ITER 136 NEW BEST:: SOT 5022 SOS 3952 HAS SOPS 3952 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.952
AT ITER 159 NEW BEST:: SOT 4998 SOS 3928 HAS SOPS 3928 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3307.928
AT ITER 169 NEW BEST:: SOT 4998 SOS 3932 HAS SOPS 3932 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3305.932
AT ITER 171 NEW BEST:: SOT 4996 SOS 3930 HAS SOPS 3930 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3303.93
AT ITER 175 NEW BEST:: SOT 4996 SOS 3930 HAS SOPS 3930 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.93
AT ITER 176 NEW BEST:: SOT 4996 SOS 3926 HAS SOPS 3926 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.926
AT ITER 178 NEW BEST:: SOT 4996 SOS 3962 HAS SOPS 3962 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3268.962
AT ITER 180 NEW BEST:: SOT 4996 SOS 3942 HAS SOPS 3942 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.942
AT ITER 182 NEW BEST:: SOT 5004 SOS 3962 HAS SOPS 3962 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.962
AT ITER 183 NEW BEST:: SOT 5004 SOS 3964 HAS SOPS 3964 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3254.964
AT ITER 184 NEW BEST:: SOT 4644 SOS 3790 HAS SOPS 3790 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.79
AT ITER 186 NEW BEST:: SOT 4644 SOS 3790 HAS SOPS 3790 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.79
AT ITER 196 NEW BEST:: SOT 4644 SOS 3790 HAS SOPS 3790 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.79
AT ITER 213 NEW BEST:: SOT 4634 SOS 3780 HAS SOPS 3780 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2885.78
AT ITER 217 NEW BEST:: SOT 4630 SOS 3776 HAS SOPS 3776 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.776
AT ITER 240 NEW BEST:: SOT 4594 SOS 4594 HAS SOPS 4594 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2860.594
AT ITER 250 NEW BEST:: SOT 4574 SOS 4574 HAS SOPS 4574 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2830.574
AT ITER 254 NEW BEST:: SOT 4554 SOS 4554 HAS SOPS 4554 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2810.554
AT ITER 268 NEW BEST:: SOT 4526 SOS 4526 HAS SOPS 4526 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2736.526
AT ITER 271 NEW BEST:: SOT 4524 SOS 4524 HAS SOPS 4524 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2734.524
AT ITER 295 NEW BEST:: SOT 4524 SOS 4524 HAS SOPS 4524 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2728.524
AT ITER 318 NEW BEST:: SOT 4512 SOS 4512 HAS SOPS 4512 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2720.512
AT ITER 376 NEW BEST:: SOT 4510 SOS 4510 HAS SOPS 4510 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2718.51
AT ITER 381 NEW BEST:: SOT 4480 SOS 4480 HAS SOPS 4480 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2679.48
AT ITER 406 NEW BEST:: SOT 4480 SOS 4480 HAS SOPS 4480 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2677.48
AT ITER 411 NEW BEST:: SOT 4476 SOS 4476 HAS SOPS 4476 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2672.476
AT ITER 437 NEW BEST:: SOT 4470 SOS 4470 HAS SOPS 4470 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2664.47
AT ITER 497 NEW BEST:: SOT 4474 SOS 4474 HAS SOPS 4474 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2662.474
AT ITER 516 NEW BEST:: SOT 4492 SOS 4492 HAS SOPS 4492 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2646.492
AT ITER 520 NEW BEST:: SOT 4492 SOS 4492 HAS SOPS 4492 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2634.492
AT ITER 550 NEW BEST:: SOT 4492 SOS 4492 HAS SOPS 4492 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2630.492
AT ITER 557 NEW BEST:: SOT 4490 SOS 4490 HAS SOPS 4490 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2625.49
AT ITER 566 NEW BEST:: SOT 4490 SOS 4490 HAS SOPS 4490 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2609.49
AT ITER 569 NEW BEST:: SOT 4488 SOS 4488 HAS SOPS 4488 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2607.488
AT ITER 623 NEW BEST:: SOT 4486 SOS 4486 HAS SOPS 4486 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2605.486
AT ITER 649 NEW BEST:: SOT 4486 SOS 4486 HAS SOPS 4486 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2576.486
AT ITER 728 NEW BEST:: SOT 4468 SOS 4468 HAS SOPS 4468 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2560.468
AT ITER 780 NEW BEST:: SOT 4448 SOS 4448 HAS SOPS 4448 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2542.448
AT ITER 794 NEW BEST:: SOT 4446 SOS 4446 HAS SOPS 4446 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2542.446
AT ITER 839 NEW BEST:: SOT 4444 SOS 4444 HAS SOPS 4444 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2539.444
AT ITER 853 NEW BEST:: SOT 4426 SOS 4426 HAS SOPS 4426 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2530.426
AT ITER 886 NEW BEST:: SOT 4414 SOS 4414 HAS SOPS 4414 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2518.414
AT ITER 888 NEW BEST:: SOT 4410 SOS 4410 HAS SOPS 4410 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2515.41
AT ITER 893 NEW BEST:: SOT 4412 SOS 4412 HAS SOPS 4412 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2507.412
AT ITER 897 NEW BEST:: SOT 4412 SOS 4412 HAS SOPS 4412 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2497.412
AT ITER 905 NEW BEST:: SOT 4416 SOS 4416 HAS SOPS 4416 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2494.416
AT ITER 911 NEW BEST:: SOT 4416 SOS 4416 HAS SOPS 4416 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2492.416
AT ITER 913 NEW BEST:: SOT 4412 SOS 4412 HAS SOPS 4412 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2485.412
AT ITER 951 NEW BEST:: SOT 4412 SOS 4412 HAS SOPS 4412 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2479.412
AT ITER 952 NEW BEST:: SOT 4406 SOS 4406 HAS SOPS 4406 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2452.406
AT ITER 962 NEW BEST:: SOT 4404 SOS 4404 HAS SOPS 4404 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2444.404
AT ITER 1000 NEW BEST:: SOT 4412 SOS 4412 HAS SOPS 4412 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2442.412
AT ITER 1013 NEW BEST:: SOT 4408 SOS 4408 HAS SOPS 4408 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2437.408
AT ITER 1042 NEW BEST:: SOT 4408 SOS 3946 HAS SOPS 3946 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2436.946
AT ITER 1112 NEW BEST:: SOT 4408 SOS 3946 HAS SOPS 3946 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2434.946
AT ITER 1116 NEW BEST:: SOT 4408 SOS 3922 HAS SOPS 3922 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2430.922
AT ITER 1134 NEW BEST:: SOT 4406 SOS 3920 HAS SOPS 3920 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2428.92
AT ITER 1154 NEW BEST:: SOT 4406 SOS 3920 HAS SOPS 3920 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2426.92
AT ITER 1183 NEW BEST:: SOT 4406 SOS 3920 HAS SOPS 3920 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2423.92
AT ITER 1206 NEW BEST:: SOT 4402 SOS 3904 HAS SOPS 3904 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2414.904
AT ITER 1231 NEW BEST:: SOT 4402 SOS 3908 HAS SOPS 3908 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2411.908
AT ITER 1244 NEW BEST:: SOT 4400 SOS 3906 HAS SOPS 3906 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.906
AT ITER 1414 NEW BEST:: SOT 4400 SOS 3860 HAS SOPS 3860 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2406.86
AT ITER 1482 NEW BEST:: SOT 4384 SOS 3844 HAS SOPS 3844 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2392.844
AT ITER 1508 NEW BEST:: SOT 4380 SOS 3840 HAS SOPS 3840 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2388.84
AT ITER 1549 NEW BEST:: SOT 4378 SOS 3838 HAS SOPS 3838 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2386.838
AT ITER 1554 NEW BEST:: SOT 4374 SOS 3834 HAS SOPS 3834 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.834
AT ITER 1597 NEW BEST:: SOT 4360 SOS 3820 HAS SOPS 3820 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2362.82
AT ITER 1693 NEW BEST:: SOT 4358 SOS 3818 HAS SOPS 3818 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2354.818
AT ITER 1886 NEW BEST:: SOT 4356 SOS 4196 HAS SOPS 4196 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2325.196
AT ITER 1911 NEW BEST:: SOT 4354 SOS 4194 HAS SOPS 4194 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2323.194
AT ITER 1914 NEW BEST:: SOT 4342 SOS 4182 HAS SOPS 4182 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2311.182
AT ITER 1946 NEW BEST:: SOT 4342 SOS 4182 HAS SOPS 4182 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2303.182
AT ITER 2166 NEW BEST:: SOT 4340 SOS 4180 HAS SOPS 4180 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2301.18
AT ITER 2207 NEW BEST:: SOT 4326 SOS 4166 HAS SOPS 4166 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2285.166
AT ITER 2220 NEW BEST:: SOT 4324 SOS 4164 HAS SOPS 4164 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2283.164
AT ITER 2322 NEW BEST:: SOT 4324 SOS 4164 HAS SOPS 4164 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2278.164
AT ITER 2446 NEW BEST:: SOT 4320 SOS 4160 HAS SOPS 4160 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2268.16
AT ITER 2518 NEW BEST:: SOT 4326 SOS 4166 HAS SOPS 4166 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2266.166
AT ITER 2584 NEW BEST:: SOT 4322 SOS 4162 HAS SOPS 4162 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2264.162
AT ITER 2639 NEW BEST:: SOT 4318 SOS 4158 HAS SOPS 4158 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2261.158
AT ITER 2723 NEW BEST:: SOT 4318 SOS 4158 HAS SOPS 4158 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2259.158
AT ITER 2750 NEW BEST:: SOT 4316 SOS 4156 HAS SOPS 4156 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2258.156
AT ITER 2866 NEW BEST:: SOT 4316 SOS 4156 HAS SOPS 4156 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2256.156
AT ITER 2880 NEW BEST:: SOT 4314 SOS 4154 HAS SOPS 4154 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2253.154
AT ITER 3020 NEW BEST:: SOT 4312 SOS 4152 HAS SOPS 4152 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2249.152
AT ITER 3026 NEW BEST:: SOT 4310 SOS 4150 HAS SOPS 4150 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2246.15
AT ITER 3664 NEW BEST:: SOT 4302 SOS 4142 HAS SOPS 4142 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2240.142
AT ITER 3757 NEW BEST:: SOT 4298 SOS 4138 HAS SOPS 4138 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2236.138
AT ITER 4152 NEW BEST:: SOT 4296 SOS 4136 HAS SOPS 4136 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2234.136
AT ITER 4337 NEW BEST:: SOT 4294 SOS 4134 HAS SOPS 4134 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2232.134
AT ITER 4342 NEW BEST:: SOT 4296 SOS 4136 HAS SOPS 4136 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2230.136
AT ITER 4421 NEW BEST:: SOT 4296 SOS 4000 HAS SOPS 4000 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2230.0
AT ITER 4710 NEW BEST:: SOT 4294 SOS 3998 HAS SOPS 3998 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2227.998
AT ITER 4740 NEW BEST:: SOT 4296 SOS 4000 HAS SOPS 4000 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2224.0
AT ITER 4748 NEW BEST:: SOT 4292 SOS 3996 HAS SOPS 3996 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2217.996
AT ITER 5474 NEW BEST:: SOT 4294 SOS 3998 HAS SOPS 3998 HAS SOUS 2213 HAS SOUPS 2213 WITH SCORE 2216.998
AT ITER 5634 NEW BEST:: SOT 4286 SOS 3990 HAS SOPS 3990 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2205.99
AT ITER 5871 NEW BEST:: SOT 4286 SOS 3990 HAS SOPS 3990 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2200.99
AT ITER 6736 NEW BEST:: SOT 4286 SOS 3990 HAS SOPS 3990 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2199.99
AT ITER 7409 NEW BEST:: SOT 4284 SOS 3988 HAS SOPS 3988 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2199.988
AT ITER 8084 NEW BEST:: SOT 4282 SOS 3986 HAS SOPS 3986 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2195.986

BK_STOP 1679319227830

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 480 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Solitaire-PT-FrnCT7x7"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is Solitaire-PT-FrnCT7x7, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651100328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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