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.r075-smll-167814400700184.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 CircularTrains-PT-192, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814400700184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 7.2K Feb 26 04:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 04:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 04:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 04:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 04:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 26 04:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 147K Mar 5 18:22 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 1678259053274

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=CircularTrains-PT-192
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 07:04:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 07:04:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 07:04:16] [INFO ] Load time of PNML (sax parser for PT used): 91 ms
[2023-03-08 07:04:16] [INFO ] Transformed 384 places.
[2023-03-08 07:04:16] [INFO ] Transformed 192 transitions.
[2023-03-08 07:04:16] [INFO ] Parsed PT model containing 384 places and 192 transitions and 768 arcs in 198 ms.
[2023-03-08 07:04:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 384 places, 192 transitions and 768 arcs took 9 ms.
Total runtime 259 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CircularTrains (PT), instance 192
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: 384 places, 192 transitions, 768 arcs.
AT ITER 0 NEW BEST:: SOT 38005 SOS 2152 HAS SOPS 2152 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2154.152
AT ITER 48 NEW BEST:: SOT 38003 SOS 2146 HAS SOPS 2146 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.146
AT ITER 122 NEW BEST:: SOT 38000 SOS 2140 HAS SOPS 2140 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.14
AT ITER 600 NEW BEST:: SOT 37997 SOS 2137 HAS SOPS 2137 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.137
AT ITER 659 NEW BEST:: SOT 37995 SOS 2133 HAS SOPS 2133 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.133
AT ITER 788 NEW BEST:: SOT 37994 SOS 2132 HAS SOPS 2132 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.132
AT ITER 973 NEW BEST:: SOT 37994 SOS 2131 HAS SOPS 2131 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.131
AT ITER 994 NEW BEST:: SOT 37994 SOS 2130 HAS SOPS 2130 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.13
AT ITER 1129 NEW BEST:: SOT 37993 SOS 2129 HAS SOPS 2129 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.129
AT ITER 1132 NEW BEST:: SOT 37991 SOS 2127 HAS SOPS 2127 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.127
AT ITER 1226 NEW BEST:: SOT 37991 SOS 2126 HAS SOPS 2126 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.126
AT ITER 1264 NEW BEST:: SOT 37990 SOS 2124 HAS SOPS 2124 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.124
AT ITER 1785 NEW BEST:: SOT 37989 SOS 2123 HAS SOPS 2123 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.123
AT ITER 1886 NEW BEST:: SOT 37987 SOS 2120 HAS SOPS 2120 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.12
AT ITER 2955 NEW BEST:: SOT 37983 SOS 2114 HAS SOPS 2114 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.114
AT ITER 3063 NEW BEST:: SOT 37983 SOS 2113 HAS SOPS 2113 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.113
AT ITER 3137 NEW BEST:: SOT 37979 SOS 2107 HAS SOPS 2107 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2109.107
AT ITER 3267 NEW BEST:: SOT 37979 SOS 2106 HAS SOPS 2106 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.106
AT ITER 3366 NEW BEST:: SOT 37978 SOS 2105 HAS SOPS 2105 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.105
AT ITER 3433 NEW BEST:: SOT 37977 SOS 2104 HAS SOPS 2104 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2106.104
AT ITER 3605 NEW BEST:: SOT 37976 SOS 2103 HAS SOPS 2103 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.103
AT ITER 3681 NEW BEST:: SOT 37974 SOS 2101 HAS SOPS 2101 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.101
AT ITER 3815 NEW BEST:: SOT 37974 SOS 2100 HAS SOPS 2100 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.1
AT ITER 3995 NEW BEST:: SOT 37974 SOS 2099 HAS SOPS 2099 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2101.099
AT ITER 4016 NEW BEST:: SOT 37973 SOS 2098 HAS SOPS 2098 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.098
AT ITER 4277 NEW BEST:: SOT 37970 SOS 2095 HAS SOPS 2095 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.095
AT ITER 4285 NEW BEST:: SOT 37969 SOS 2094 HAS SOPS 2094 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.094
AT ITER 4497 NEW BEST:: SOT 37969 SOS 2093 HAS SOPS 2093 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.093
AT ITER 4639 NEW BEST:: SOT 37968 SOS 2092 HAS SOPS 2092 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.092
AT ITER 4679 NEW BEST:: SOT 37965 SOS 2082 HAS SOPS 2082 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.082
AT ITER 5312 NEW BEST:: SOT 37963 SOS 2080 HAS SOPS 2080 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2082.08
AT ITER 5386 NEW BEST:: SOT 37963 SOS 2079 HAS SOPS 2079 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.079
AT ITER 6077 NEW BEST:: SOT 37962 SOS 2077 HAS SOPS 2077 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.077
AT ITER 6545 NEW BEST:: SOT 37962 SOS 2076 HAS SOPS 2076 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.076
AT ITER 6622 NEW BEST:: SOT 37957 SOS 2070 HAS SOPS 2070 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.07
AT ITER 7204 NEW BEST:: SOT 37956 SOS 2068 HAS SOPS 2068 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.068
AT ITER 7233 NEW BEST:: SOT 37954 SOS 2067 HAS SOPS 2067 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.067
AT ITER 7246 NEW BEST:: SOT 37953 SOS 2066 HAS SOPS 2066 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.066
AT ITER 7332 NEW BEST:: SOT 37950 SOS 2063 HAS SOPS 2063 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.063
AT ITER 7757 NEW BEST:: SOT 37949 SOS 2058 HAS SOPS 2058 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2060.058
AT ITER 7923 NEW BEST:: SOT 37947 SOS 2052 HAS SOPS 2052 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.052
AT ITER 8094 NEW BEST:: SOT 37945 SOS 2051 HAS SOPS 2051 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2053.051
AT ITER 8560 NEW BEST:: SOT 37942 SOS 2048 HAS SOPS 2048 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.048
AT ITER 8622 NEW BEST:: SOT 37937 SOS 2042 HAS SOPS 2042 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.042
AT ITER 8649 NEW BEST:: SOT 37935 SOS 2040 HAS SOPS 2040 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.04
AT ITER 8749 NEW BEST:: SOT 37933 SOS 2038 HAS SOPS 2038 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.038
AT ITER 8868 NEW BEST:: SOT 37932 SOS 2037 HAS SOPS 2037 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.037
AT ITER 8875 NEW BEST:: SOT 37931 SOS 2036 HAS SOPS 2036 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2038.036
AT ITER 9000 NEW BEST:: SOT 37929 SOS 2032 HAS SOPS 2032 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.032
AT ITER 9256 NEW BEST:: SOT 37929 SOS 2031 HAS SOPS 2031 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.031
AT ITER 9260 NEW BEST:: SOT 37925 SOS 2026 HAS SOPS 2026 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.026
AT ITER 9413 NEW BEST:: SOT 37924 SOS 2023 HAS SOPS 2023 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.023
AT ITER 9463 NEW BEST:: SOT 37922 SOS 2021 HAS SOPS 2021 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.021
AT ITER 9536 NEW BEST:: SOT 37921 SOS 2020 HAS SOPS 2020 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.02
AT ITER 9916 NEW BEST:: SOT 37919 SOS 2018 HAS SOPS 2018 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.018
STATE_SPACE STATES 42702305279429960121441757316910224606536275 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 2 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 192 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1541642641305246753802302438117058097607621376 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678259089770

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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

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="CircularTrains-PT-192"
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 CircularTrains-PT-192, 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 r075-smll-167814400700184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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