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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 7.3K Feb 26 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 16:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 16:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 16:56 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 1679258745819

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-b08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 20:45:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 20:45:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 20:45:48] [INFO ] Load time of PNML (sax parser for PT used): 286 ms
[2023-03-19 20:45:48] [INFO ] Transformed 568 places.
[2023-03-19 20:45:48] [INFO ] Transformed 8320 transitions.
[2023-03-19 20:45:48] [INFO ] Parsed PT model containing 568 places and 8320 transitions and 33408 arcs in 403 ms.
[2023-03-19 20:45:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 568 places, 8320 transitions and 33408 arcs took 64 ms.
Total runtime 499 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Szymanski (PT), instance b08
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 46 NEW BEST:: SOT 1134572 SOS 993738 HAS SOPS 992041 HAS SOUS 198410 HAS SOUPS 197523 WITH SCORE 198516.738
AT ITER 104 NEW BEST:: SOT 1134532 SOS 993698 HAS SOPS 992001 HAS SOUS 198360 HAS SOUPS 197473 WITH SCORE 198466.698
AT ITER 132 NEW BEST:: SOT 1134520 SOS 993686 HAS SOPS 991989 HAS SOUS 198336 HAS SOUPS 197449 WITH SCORE 198442.686
AT ITER 166 NEW BEST:: SOT 1120032 SOS 979302 HAS SOPS 977606 HAS SOUS 183904 HAS SOUPS 183018 WITH SCORE 183997.302
AT ITER 188 NEW BEST:: SOT 1107942 SOS 967279 HAS SOPS 965583 HAS SOUS 178419 HAS SOUPS 177533 WITH SCORE 178500.279
AT ITER 501 NEW BEST:: SOT 1107942 SOS 960495 HAS SOPS 958799 HAS SOUS 178402 HAS SOUPS 177516 WITH SCORE 178476.495
AT ITER 562 NEW BEST:: SOT 1107942 SOS 957295 HAS SOPS 955599 HAS SOUS 178401 HAS SOUPS 177515 WITH SCORE 178472.295
AT ITER 818 NEW BEST:: SOT 1107942 SOS 951151 HAS SOPS 949455 HAS SOUS 178385 HAS SOUPS 177499 WITH SCORE 178450.151
AT ITER 1195 NEW BEST:: SOT 1107942 SOS 948207 HAS SOPS 946511 HAS SOUS 178385 HAS SOUPS 177499 WITH SCORE 178447.207
AT ITER 1352 NEW BEST:: SOT 1107942 SOS 947951 HAS SOPS 946255 HAS SOUS 178371 HAS SOUPS 177485 WITH SCORE 178432.951
AT ITER 1491 NEW BEST:: SOT 1091608 SOS 931944 HAS SOPS 930248 HAS SOUS 158301 HAS SOUPS 157415 WITH SCORE 158346.944
AT ITER 1679 NEW BEST:: SOT 1091608 SOS 931112 HAS SOPS 929416 HAS SOUS 158289 HAS SOUPS 157403 WITH SCORE 158334.112
AT ITER 1698 NEW BEST:: SOT 1091228 SOS 930732 HAS SOPS 929036 HAS SOUS 158193 HAS SOUPS 157307 WITH SCORE 158237.732
AT ITER 1756 NEW BEST:: SOT 1062740 SOS 902244 HAS SOPS 900548 HAS SOUS 129705 HAS SOUPS 128819 WITH SCORE 129721.244
AT ITER 1941 NEW BEST:: SOT 1062740 SOS 901796 HAS SOPS 900100 HAS SOUS 129702 HAS SOUPS 128816 WITH SCORE 129717.796
AT ITER 2030 NEW BEST:: SOT 1060911 SOS 899967 HAS SOPS 898271 HAS SOUS 128534 HAS SOUPS 127648 WITH SCORE 128547.967
AT ITER 2079 NEW BEST:: SOT 1060683 SOS 913755 HAS SOPS 912059 HAS SOUS 127904 HAS SOUPS 127018 WITH SCORE 127931.755
AT ITER 2217 NEW BEST:: SOT 1060664 SOS 913736 HAS SOPS 912040 HAS SOUS 127864 HAS SOUPS 126978 WITH SCORE 127891.736
AT ITER 2232 NEW BEST:: SOT 1060915 SOS 913987 HAS SOPS 912291 HAS SOUS 127384 HAS SOUPS 126498 WITH SCORE 127411.987
AT ITER 2274 NEW BEST:: SOT 1060909 SOS 913981 HAS SOPS 912285 HAS SOUS 127372 HAS SOUPS 126486 WITH SCORE 127399.981
AT ITER 2417 NEW BEST:: SOT 1060907 SOS 913979 HAS SOPS 912283 HAS SOUS 127368 HAS SOUPS 126482 WITH SCORE 127395.979
AT ITER 2448 NEW BEST:: SOT 1059159 SOS 912215 HAS SOPS 910535 HAS SOUS 118985 HAS SOUPS 118108 WITH SCORE 119020.215
AT ITER 2630 NEW BEST:: SOT 1059009 SOS 912065 HAS SOPS 910385 HAS SOUS 118767 HAS SOUPS 117890 WITH SCORE 118802.065
AT ITER 2664 NEW BEST:: SOT 1060100 SOS 915708 HAS SOPS 914080 HAS SOUS 118171 HAS SOUPS 117320 WITH SCORE 118235.708
AT ITER 2791 NEW BEST:: SOT 1058041 SOS 913649 HAS SOPS 912021 HAS SOUS 117359 HAS SOUPS 116508 WITH SCORE 117421.649
AT ITER 2859 NEW BEST:: SOT 1053723 SOS 909309 HAS SOPS 907703 HAS SOUS 108148 HAS SOUPS 107309 WITH SCORE 108218.309
AT ITER 2860 NEW BEST:: SOT 1053723 SOS 909309 HAS SOPS 907703 HAS SOUS 108133 HAS SOUPS 107294 WITH SCORE 108203.309
AT ITER 2868 NEW BEST:: SOT 1053302 SOS 908888 HAS SOPS 907282 HAS SOUS 107930 HAS SOUPS 107091 WITH SCORE 107999.888
AT ITER 2991 NEW BEST:: SOT 1053302 SOS 908504 HAS SOPS 906898 HAS SOUS 107927 HAS SOUPS 107088 WITH SCORE 107996.504
AT ITER 3003 NEW BEST:: SOT 1053302 SOS 908120 HAS SOPS 906514 HAS SOUS 107925 HAS SOUPS 107086 WITH SCORE 107994.12
AT ITER 3343 NEW BEST:: SOT 1053302 SOS 907992 HAS SOPS 906386 HAS SOUS 107923 HAS SOUPS 107084 WITH SCORE 107991.992
AT ITER 3461 NEW BEST:: SOT 1053244 SOS 907934 HAS SOPS 906328 HAS SOUS 107855 HAS SOUPS 107016 WITH SCORE 107923.934
AT ITER 3585 NEW BEST:: SOT 1052764 SOS 907454 HAS SOPS 905848 HAS SOUS 106841 HAS SOUPS 106002 WITH SCORE 106909.454
AT ITER 3756 NEW BEST:: SOT 1051149 SOS 905839 HAS SOPS 904233 HAS SOUS 106160 HAS SOUPS 105321 WITH SCORE 106226.839
AT ITER 3779 NEW BEST:: SOT 1051081 SOS 905771 HAS SOPS 904165 HAS SOUS 106016 HAS SOUPS 105177 WITH SCORE 106082.771
AT ITER 4187 NEW BEST:: SOT 1051699 SOS 906359 HAS SOPS 904783 HAS SOUS 105995 HAS SOUPS 105171 WITH SCORE 106077.359
AT ITER 4339 NEW BEST:: SOT 1051167 SOS 905827 HAS SOPS 904251 HAS SOUS 105463 HAS SOUPS 104639 WITH SCORE 105544.827
AT ITER 4357 NEW BEST:: SOT 1049799 SOS 904459 HAS SOPS 902883 HAS SOUS 104095 HAS SOUPS 103271 WITH SCORE 104175.459
AT ITER 4382 NEW BEST:: SOT 1049798 SOS 904458 HAS SOPS 902882 HAS SOUS 104094 HAS SOUPS 103270 WITH SCORE 104174.458
AT ITER 4495 NEW BEST:: SOT 1049769 SOS 904429 HAS SOPS 902853 HAS SOUS 103959 HAS SOUPS 103135 WITH SCORE 104039.429
AT ITER 4600 NEW BEST:: SOT 1048846 SOS 903506 HAS SOPS 901930 HAS SOUS 103595 HAS SOUPS 102771 WITH SCORE 103674.506
AT ITER 4697 NEW BEST:: SOT 1048844 SOS 903504 HAS SOPS 901928 HAS SOUS 103591 HAS SOUPS 102767 WITH SCORE 103670.504
AT ITER 4727 NEW BEST:: SOT 1048826 SOS 903486 HAS SOPS 901910 HAS SOUS 103570 HAS SOUPS 102746 WITH SCORE 103649.486
AT ITER 4821 NEW BEST:: SOT 1048632 SOS 903292 HAS SOPS 901716 HAS SOUS 103404 HAS SOUPS 102580 WITH SCORE 103483.292
AT ITER 5100 NEW BEST:: SOT 1048623 SOS 903283 HAS SOPS 901707 HAS SOUS 103385 HAS SOUPS 102561 WITH SCORE 103464.283
AT ITER 5169 NEW BEST:: SOT 1048623 SOS 902067 HAS SOPS 900491 HAS SOUS 103385 HAS SOUPS 102561 WITH SCORE 103463.067
AT ITER 5279 NEW BEST:: SOT 1048015 SOS 901459 HAS SOPS 899883 HAS SOUS 102777 HAS SOUPS 101953 WITH SCORE 102854.459
AT ITER 5456 NEW BEST:: SOT 1048015 SOS 896979 HAS SOPS 895403 HAS SOUS 102772 HAS SOUPS 101948 WITH SCORE 102844.979
AT ITER 5553 NEW BEST:: SOT 1047997 SOS 896961 HAS SOPS 895385 HAS SOUS 102736 HAS SOUPS 101912 WITH SCORE 102808.961
AT ITER 5742 NEW BEST:: SOT 1047993 SOS 896957 HAS SOPS 895381 HAS SOUS 102728 HAS SOUPS 101904 WITH SCORE 102800.957
AT ITER 5780 NEW BEST:: SOT 1046502 SOS 895466 HAS SOPS 893890 HAS SOUS 102140 HAS SOUPS 101316 WITH SCORE 102211.466
AT ITER 5827 NEW BEST:: SOT 1046452 SOS 895416 HAS SOPS 893840 HAS SOUS 102020 HAS SOUPS 101196 WITH SCORE 102091.416
AT ITER 5836 NEW BEST:: SOT 1046452 SOS 892600 HAS SOPS 891024 HAS SOUS 102009 HAS SOUPS 101185 WITH SCORE 102077.6
AT ITER 6089 NEW BEST:: SOT 1046444 SOS 892592 HAS SOPS 891016 HAS SOUS 101984 HAS SOUPS 101160 WITH SCORE 102052.592
AT ITER 6260 NEW BEST:: SOT 1046400 SOS 892548 HAS SOPS 890972 HAS SOUS 101929 HAS SOUPS 101105 WITH SCORE 101997.548
AT ITER 6327 NEW BEST:: SOT 1046400 SOS 890372 HAS SOPS 888796 HAS SOUS 101924 HAS SOUPS 101100 WITH SCORE 101990.372
AT ITER 6333 NEW BEST:: SOT 1046400 SOS 888708 HAS SOPS 887132 HAS SOUS 101907 HAS SOUPS 101083 WITH SCORE 101971.708
AT ITER 7026 NEW BEST:: SOT 1040160 SOS 882468 HAS SOPS 880892 HAS SOUS 95667 HAS SOUPS 94843 WITH SCORE 95725.468
AT ITER 7354 NEW BEST:: SOT 1040160 SOS 882468 HAS SOPS 880892 HAS SOUS 95664 HAS SOUPS 94840 WITH SCORE 95722.468
AT ITER 7450 NEW BEST:: SOT 1040132 SOS 882440 HAS SOPS 880864 HAS SOUS 95644 HAS SOUPS 94820 WITH SCORE 95702.44
AT ITER 7531 NEW BEST:: SOT 1040418 SOS 882700 HAS SOPS 881150 HAS SOUS 95080 HAS SOUPS 94269 WITH SCORE 95151.7
AT ITER 7671 NEW BEST:: SOT 1040658 SOS 883545 HAS SOPS 882005 HAS SOUS 94988 HAS SOUPS 94182 WITH SCORE 95065.545
AT ITER 7860 NEW BEST:: SOT 1040602 SOS 883489 HAS SOPS 881949 HAS SOUS 94852 HAS SOUPS 94046 WITH SCORE 94929.489
AT ITER 8320 NEW BEST:: SOT 1040614 SOS 883501 HAS SOPS 881961 HAS SOUS 94828 HAS SOUPS 94022 WITH SCORE 94905.501
AT ITER 8752 NEW BEST:: SOT 1041120 SOS 883985 HAS SOPS 882467 HAS SOUS 94751 HAS SOUPS 93956 WITH SCORE 94839.985
AT ITER 8885 NEW BEST:: SOT 1041058 SOS 881939 HAS SOPS 880421 HAS SOUS 94699 HAS SOUPS 93904 WITH SCORE 94785.939
AT ITER 9015 NEW BEST:: SOT 1041058 SOS 881491 HAS SOPS 879973 HAS SOUS 94699 HAS SOUPS 93904 WITH SCORE 94785.491
AT ITER 9427 NEW BEST:: SOT 1041055 SOS 880976 HAS SOPS 879458 HAS SOUS 94696 HAS SOUPS 93901 WITH SCORE 94781.976
AT ITER 9664 NEW BEST:: SOT 1041055 SOS 880976 HAS SOPS 879458 HAS SOUS 94695 HAS SOUPS 93900 WITH SCORE 94780.976
AT ITER 9677 NEW BEST:: SOT 1041022 SOS 880943 HAS SOPS 879425 HAS SOUS 94607 HAS SOUPS 93812 WITH SCORE 94692.943
AT ITER 9832 NEW BEST:: SOT 1040970 SOS 880891 HAS SOPS 879373 HAS SOUS 94567 HAS SOUPS 93772 WITH SCORE 94652.891
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3171096 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16111996 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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-b08"
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-b08, 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-167912710500480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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