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.r491-tall-167912710600496.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 Szymanski-PT-b12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710600496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 6.7K Feb 26 17:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 17:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 17:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 17:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 173K Feb 26 17:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 17:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 17:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.7M 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 1679262061241

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=Szymanski-PT-b12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:41:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:41:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:41:03] [INFO ] Load time of PNML (sax parser for PT used): 370 ms
[2023-03-19 21:41:03] [INFO ] Transformed 568 places.
[2023-03-19 21:41:03] [INFO ] Transformed 8320 transitions.
[2023-03-19 21:41:03] [INFO ] Parsed PT model containing 568 places and 8320 transitions and 33408 arcs in 637 ms.
[2023-03-19 21:41:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 568 places, 8320 transitions and 33408 arcs took 61 ms.
Total runtime 733 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Szymanski (PT), instance b12
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: 568 places, 8320 transitions, 33408 arcs.
AT ITER 0 NEW BEST:: SOT 1142264 SOS 996354 HAS SOPS 994637 HAS SOUS 218794 HAS SOUPS 217896 WITH SCORE 218892.354
AT ITER 358 NEW BEST:: SOT 1142264 SOS 998018 HAS SOPS 996301 HAS SOUS 218769 HAS SOUPS 217871 WITH SCORE 218869.018
AT ITER 458 NEW BEST:: SOT 1142264 SOS 991234 HAS SOPS 989517 HAS SOUS 218775 HAS SOUPS 217877 WITH SCORE 218868.234
AT ITER 510 NEW BEST:: SOT 1111296 SOS 962408 HAS SOPS 960692 HAS SOUS 180108 HAS SOUPS 179211 WITH SCORE 180173.408
AT ITER 703 NEW BEST:: SOT 1111288 SOS 962400 HAS SOPS 960684 HAS SOUS 180098 HAS SOUPS 179201 WITH SCORE 180163.4
AT ITER 765 NEW BEST:: SOT 1095237 SOS 948251 HAS SOPS 946535 HAS SOUS 155415 HAS SOUPS 154518 WITH SCORE 155466.251
AT ITER 798 NEW BEST:: SOT 1095227 SOS 948241 HAS SOPS 946525 HAS SOUS 155395 HAS SOUPS 154498 WITH SCORE 155446.241
AT ITER 825 NEW BEST:: SOT 1095209 SOS 948223 HAS SOPS 946507 HAS SOUS 155359 HAS SOUPS 154462 WITH SCORE 155410.223
AT ITER 829 NEW BEST:: SOT 1097060 SOS 949954 HAS SOPS 948298 HAS SOUS 155256 HAS SOUPS 154389 WITH SCORE 155338.954
AT ITER 909 NEW BEST:: SOT 1097060 SOS 942402 HAS SOPS 940746 HAS SOUS 155240 HAS SOUPS 154373 WITH SCORE 155315.402
AT ITER 1039 NEW BEST:: SOT 1082425 SOS 930714 HAS SOPS 929066 HAS SOUS 128183 HAS SOUPS 127321 WITH SCORE 128251.714
AT ITER 1160 NEW BEST:: SOT 1082425 SOS 924314 HAS SOPS 922666 HAS SOUS 128159 HAS SOUPS 127297 WITH SCORE 128221.314
AT ITER 1384 NEW BEST:: SOT 1082529 SOS 924418 HAS SOPS 922770 HAS SOUS 128137 HAS SOUPS 127275 WITH SCORE 128199.418
AT ITER 1388 NEW BEST:: SOT 1082529 SOS 924354 HAS SOPS 922706 HAS SOUS 128135 HAS SOUPS 127273 WITH SCORE 128197.354
AT ITER 1429 NEW BEST:: SOT 1082525 SOS 924350 HAS SOPS 922702 HAS SOUS 128127 HAS SOUPS 127265 WITH SCORE 128189.35
AT ITER 1505 NEW BEST:: SOT 1080889 SOS 922714 HAS SOPS 921066 HAS SOUS 126778 HAS SOUPS 125916 WITH SCORE 126838.714
AT ITER 1521 NEW BEST:: SOT 1080873 SOS 922698 HAS SOPS 921050 HAS SOUS 126762 HAS SOUPS 125900 WITH SCORE 126822.698
AT ITER 1617 NEW BEST:: SOT 1086464 SOS 928289 HAS SOPS 926641 HAS SOUS 126693 HAS SOUPS 125831 WITH SCORE 126759.289
AT ITER 1662 NEW BEST:: SOT 1079878 SOS 921703 HAS SOPS 920055 HAS SOUS 123754 HAS SOUPS 122892 WITH SCORE 123813.703
AT ITER 1732 NEW BEST:: SOT 1071820 SOS 913645 HAS SOPS 911997 HAS SOUS 121578 HAS SOUPS 120716 WITH SCORE 121629.645
AT ITER 1852 NEW BEST:: SOT 1071820 SOS 908781 HAS SOPS 907133 HAS SOUS 121577 HAS SOUPS 120715 WITH SCORE 121623.781
AT ITER 2182 NEW BEST:: SOT 1071820 SOS 909293 HAS SOPS 907645 HAS SOUS 121573 HAS SOUPS 120711 WITH SCORE 121620.293
AT ITER 2279 NEW BEST:: SOT 1065358 SOS 902831 HAS SOPS 901183 HAS SOUS 118625 HAS SOUPS 117763 WITH SCORE 118665.831
AT ITER 2318 NEW BEST:: SOT 1065356 SOS 902829 HAS SOPS 901181 HAS SOUS 118621 HAS SOUPS 117759 WITH SCORE 118661.829
AT ITER 2479 NEW BEST:: SOT 1065356 SOS 902061 HAS SOPS 900413 HAS SOUS 118621 HAS SOUPS 117759 WITH SCORE 118661.061
AT ITER 4007 NEW BEST:: SOT 1065356 SOS 900653 HAS SOPS 899005 HAS SOUS 118618 HAS SOUPS 117756 WITH SCORE 118656.653
AT ITER 4495 NEW BEST:: SOT 1054448 SOS 889745 HAS SOPS 888097 HAS SOUS 108525 HAS SOUPS 107663 WITH SCORE 108552.745
AT ITER 4586 NEW BEST:: SOT 1060276 SOS 895573 HAS SOPS 893925 HAS SOUS 108415 HAS SOUPS 107553 WITH SCORE 108448.573
AT ITER 4978 NEW BEST:: SOT 1061116 SOS 899852 HAS SOPS 895199 HAS SOUS 106727 HAS SOUPS 105839 WITH SCORE 106738.852
AT ITER 5291 NEW BEST:: SOT 1061116 SOS 900300 HAS SOPS 895647 HAS SOUS 106726 HAS SOUPS 105838 WITH SCORE 106738.3
AT ITER 5985 NEW BEST:: SOT 1061116 SOS 900428 HAS SOPS 895775 HAS SOUS 106725 HAS SOUPS 105837 WITH SCORE 106737.428
AT ITER 6153 NEW BEST:: SOT 1060899 SOS 899736 HAS SOPS 894413 HAS SOUS 105833 HAS SOUPS 104945 WITH SCORE 105844.736
AT ITER 6155 NEW BEST:: SOT 1061198 SOS 900035 HAS SOPS 894712 HAS SOUS 105645 HAS SOUPS 104757 WITH SCORE 105657.035
AT ITER 6269 NEW BEST:: SOT 1061126 SOS 899963 HAS SOPS 894640 HAS SOUS 105573 HAS SOUPS 104685 WITH SCORE 105584.963
AT ITER 6276 NEW BEST:: SOT 1061126 SOS 896443 HAS SOPS 891120 HAS SOUS 105573 HAS SOUPS 104685 WITH SCORE 105581.443
AT ITER 6374 NEW BEST:: SOT 1060203 SOS 895520 HAS SOPS 890197 HAS SOUS 105235 HAS SOUPS 104347 WITH SCORE 105242.52
AT ITER 6488 NEW BEST:: SOT 1060800 SOS 897741 HAS SOPS 890778 HAS SOUS 104802 HAS SOUPS 103914 WITH SCORE 104811.741
AT ITER 6526 NEW BEST:: SOT 1061282 SOS 898194 HAS SOPS 891246 HAS SOUS 104478 HAS SOUPS 103602 WITH SCORE 104500.194
AT ITER 6598 NEW BEST:: SOT 1061282 SOS 897426 HAS SOPS 890478 HAS SOUS 104478 HAS SOUPS 103602 WITH SCORE 104499.426
AT ITER 6696 NEW BEST:: SOT 1061218 SOS 897362 HAS SOPS 890414 HAS SOUS 104350 HAS SOUPS 103474 WITH SCORE 104371.362
AT ITER 6763 NEW BEST:: SOT 1061210 SOS 897354 HAS SOPS 890406 HAS SOUS 104342 HAS SOUPS 103466 WITH SCORE 104363.354
AT ITER 6771 NEW BEST:: SOT 1061200 SOS 897344 HAS SOPS 890396 HAS SOUS 104322 HAS SOUPS 103446 WITH SCORE 104343.344
AT ITER 6818 NEW BEST:: SOT 1062283 SOS 902393 HAS SOPS 900847 HAS SOUS 102479 HAS SOUPS 101689 WITH SCORE 102591.393
AT ITER 6855 NEW BEST:: SOT 1062247 SOS 902357 HAS SOPS 900811 HAS SOUS 102425 HAS SOUPS 101635 WITH SCORE 102537.357
AT ITER 7295 NEW BEST:: SOT 1061601 SOS 901711 HAS SOPS 900165 HAS SOUS 102261 HAS SOUPS 101471 WITH SCORE 102372.711
AT ITER 7409 NEW BEST:: SOT 1060149 SOS 900259 HAS SOPS 898713 HAS SOUS 102151 HAS SOUPS 101361 WITH SCORE 102261.259
AT ITER 7419 NEW BEST:: SOT 1059859 SOS 899969 HAS SOPS 898423 HAS SOUS 102006 HAS SOUPS 101216 WITH SCORE 102115.969
AT ITER 7440 NEW BEST:: SOT 1060388 SOS 900836 HAS SOPS 898949 HAS SOUS 101840 HAS SOUPS 101058 WITH SCORE 101958.836
AT ITER 7562 NEW BEST:: SOT 1060388 SOS 900708 HAS SOPS 898821 HAS SOUS 101839 HAS SOUPS 101057 WITH SCORE 101957.708
AT ITER 7565 NEW BEST:: SOT 1060314 SOS 900634 HAS SOPS 898747 HAS SOUS 101765 HAS SOUPS 100983 WITH SCORE 101883.634
AT ITER 8053 NEW BEST:: SOT 1060286 SOS 900606 HAS SOPS 898719 HAS SOUS 101737 HAS SOUPS 100955 WITH SCORE 101855.606
AT ITER 8077 NEW BEST:: SOT 1058362 SOS 898682 HAS SOPS 896795 HAS SOUS 100969 HAS SOUPS 100187 WITH SCORE 101085.682
AT ITER 8649 NEW BEST:: SOT 1058839 SOS 899139 HAS SOPS 897272 HAS SOUS 100810 HAS SOUPS 100038 WITH SCORE 100937.139
AT ITER 8688 NEW BEST:: SOT 1058819 SOS 899119 HAS SOPS 897252 HAS SOUS 100790 HAS SOUPS 100018 WITH SCORE 100917.119
AT ITER 8736 NEW BEST:: SOT 1058623 SOS 898923 HAS SOPS 897056 HAS SOUS 100550 HAS SOUPS 99778 WITH SCORE 100676.923
AT ITER 8817 NEW BEST:: SOT 1058619 SOS 898919 HAS SOPS 897052 HAS SOUS 100542 HAS SOUPS 99770 WITH SCORE 100668.919
AT ITER 8854 NEW BEST:: SOT 1058574 SOS 898874 HAS SOPS 897007 HAS SOUS 100326 HAS SOUPS 99554 WITH SCORE 100452.874
AT ITER 8898 NEW BEST:: SOT 1058574 SOS 898618 HAS SOPS 896751 HAS SOUS 100321 HAS SOUPS 99549 WITH SCORE 100447.618
AT ITER 8960 NEW BEST:: SOT 1058152 SOS 898196 HAS SOPS 896329 HAS SOUS 99863 HAS SOUPS 99091 WITH SCORE 99989.196
AT ITER 8977 NEW BEST:: SOT 1058148 SOS 898192 HAS SOPS 896325 HAS SOUS 99861 HAS SOUPS 99089 WITH SCORE 99987.192
AT ITER 9048 NEW BEST:: SOT 1058130 SOS 898174 HAS SOPS 896307 HAS SOUS 99825 HAS SOUPS 99053 WITH SCORE 99951.174
AT ITER 9294 NEW BEST:: SOT 1058130 SOS 898174 HAS SOPS 896307 HAS SOUS 99823 HAS SOUPS 99051 WITH SCORE 99949.174
AT ITER 9658 NEW BEST:: SOT 1058130 SOS 895102 HAS SOPS 893235 HAS SOUS 99823 HAS SOUPS 99051 WITH SCORE 99946.102
AT ITER 9726 NEW BEST:: SOT 1060228 SOS 897186 HAS SOPS 895333 HAS SOUS 99513 HAS SOUPS 98749 WITH SCORE 99646.186

BK_STOP 1679265168489

--------------------
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: 484 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="Szymanski-PT-b12"
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 Szymanski-PT-b12, 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 r491-tall-167912710600496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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