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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 6.9K Feb 26 17:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 17:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 16:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 16:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K 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.3K 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 8.2K Feb 26 17:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 17:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 17:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K 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 1679261003425

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-b10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 21:23:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 21:23:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:23:25] [INFO ] Load time of PNML (sax parser for PT used): 295 ms
[2023-03-19 21:23:25] [INFO ] Transformed 568 places.
[2023-03-19 21:23:25] [INFO ] Transformed 8320 transitions.
[2023-03-19 21:23:25] [INFO ] Parsed PT model containing 568 places and 8320 transitions and 33408 arcs in 407 ms.
[2023-03-19 21:23:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 568 places, 8320 transitions and 33408 arcs took 66 ms.
Total runtime 507 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Szymanski (PT), instance b10
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 123 NEW BEST:: SOT 1142264 SOS 998530 HAS SOPS 996813 HAS SOUS 218773 HAS SOUPS 217875 WITH SCORE 218873.53
AT ITER 238 NEW BEST:: SOT 1142264 SOS 998466 HAS SOPS 996749 HAS SOUS 218765 HAS SOUPS 217867 WITH SCORE 218865.466
AT ITER 265 NEW BEST:: SOT 1142264 SOS 995138 HAS SOPS 993421 HAS SOUS 218751 HAS SOUPS 217853 WITH SCORE 218848.138
AT ITER 310 NEW BEST:: SOT 1127913 SOS 981013 HAS SOPS 979183 HAS SOUS 204626 HAS SOUPS 203615 WITH SCORE 204596.013
AT ITER 323 NEW BEST:: SOT 1111283 SOS 964383 HAS SOPS 962553 HAS SOUS 187996 HAS SOUPS 186985 WITH SCORE 187949.383
AT ITER 371 NEW BEST:: SOT 1093280 SOS 946380 HAS SOPS 944601 HAS SOUS 169993 HAS SOUPS 169033 WITH SCORE 169979.38
AT ITER 539 NEW BEST:: SOT 1081528 SOS 934630 HAS SOPS 932914 HAS SOUS 158243 HAS SOUPS 157346 WITH SCORE 158280.63
AT ITER 605 NEW BEST:: SOT 1081528 SOS 924774 HAS SOPS 923058 HAS SOUS 158242 HAS SOUPS 157345 WITH SCORE 158269.774
AT ITER 624 NEW BEST:: SOT 1081528 SOS 923878 HAS SOPS 922162 HAS SOUS 158242 HAS SOUPS 157345 WITH SCORE 158268.878
AT ITER 871 NEW BEST:: SOT 1079303 SOS 927999 HAS SOPS 923017 HAS SOUS 151487 HAS SOUPS 150497 WITH SCORE 151424.999
AT ITER 908 NEW BEST:: SOT 1054544 SOS 905227 HAS SOPS 903531 HAS SOUS 119917 HAS SOUPS 119031 WITH SCORE 119936.227
AT ITER 1004 NEW BEST:: SOT 1054536 SOS 905219 HAS SOPS 903523 HAS SOUS 119901 HAS SOUPS 119015 WITH SCORE 119920.219
AT ITER 1131 NEW BEST:: SOT 1054536 SOS 898435 HAS SOPS 896739 HAS SOUS 119894 HAS SOUPS 119008 WITH SCORE 119906.435
AT ITER 1322 NEW BEST:: SOT 1053804 SOS 897703 HAS SOPS 896007 HAS SOUS 119771 HAS SOUPS 118885 WITH SCORE 119782.703
AT ITER 1486 NEW BEST:: SOT 1053622 SOS 897521 HAS SOPS 895825 HAS SOUS 119520 HAS SOUPS 118634 WITH SCORE 119531.521
AT ITER 1598 NEW BEST:: SOT 1053720 SOS 898604 HAS SOPS 896928 HAS SOUS 118964 HAS SOUPS 118088 WITH SCORE 118986.604
AT ITER 1799 NEW BEST:: SOT 1048791 SOS 893675 HAS SOPS 891999 HAS SOUS 114035 HAS SOUPS 113159 WITH SCORE 114052.675
AT ITER 1988 NEW BEST:: SOT 1051328 SOS 896212 HAS SOPS 894536 HAS SOUS 113975 HAS SOUPS 113099 WITH SCORE 113995.212
AT ITER 2101 NEW BEST:: SOT 1051328 SOS 899796 HAS SOPS 898120 HAS SOUS 113969 HAS SOUPS 113093 WITH SCORE 113992.796
AT ITER 2161 NEW BEST:: SOT 1051328 SOS 898516 HAS SOPS 896840 HAS SOUS 113968 HAS SOUPS 113092 WITH SCORE 113990.516
AT ITER 2286 NEW BEST:: SOT 1051207 SOS 898395 HAS SOPS 896719 HAS SOUS 113843 HAS SOUPS 112967 WITH SCORE 113865.395
AT ITER 2359 NEW BEST:: SOT 1051207 SOS 898011 HAS SOPS 896335 HAS SOUS 113841 HAS SOUPS 112965 WITH SCORE 113863.011
AT ITER 3097 NEW BEST:: SOT 1050778 SOS 897582 HAS SOPS 895906 HAS SOUS 113412 HAS SOUPS 112536 WITH SCORE 113433.582
AT ITER 3275 NEW BEST:: SOT 1050778 SOS 894446 HAS SOPS 892770 HAS SOUS 113412 HAS SOUPS 112536 WITH SCORE 113430.446
AT ITER 3493 NEW BEST:: SOT 1046376 SOS 890044 HAS SOPS 888368 HAS SOUS 109010 HAS SOUPS 108134 WITH SCORE 109024.044
AT ITER 3660 NEW BEST:: SOT 1046376 SOS 889660 HAS SOPS 887984 HAS SOUS 109010 HAS SOUPS 108134 WITH SCORE 109023.66
AT ITER 4313 NEW BEST:: SOT 1046376 SOS 888892 HAS SOPS 887216 HAS SOUS 109010 HAS SOUPS 108134 WITH SCORE 109022.892
AT ITER 4353 NEW BEST:: SOT 1046376 SOS 884476 HAS SOPS 882800 HAS SOUS 109010 HAS SOUPS 108134 WITH SCORE 109018.476
AT ITER 4445 NEW BEST:: SOT 1046373 SOS 884473 HAS SOPS 882797 HAS SOUS 109005 HAS SOUPS 108129 WITH SCORE 109013.473
AT ITER 4536 NEW BEST:: SOT 1047221 SOS 885321 HAS SOPS 883645 HAS SOUS 108982 HAS SOUPS 108106 WITH SCORE 108991.321
AT ITER 4659 NEW BEST:: SOT 1049282 SOS 887271 HAS SOPS 885659 HAS SOUS 108790 HAS SOUPS 107947 WITH SCORE 108834.271
AT ITER 4665 NEW BEST:: SOT 1049282 SOS 886887 HAS SOPS 885275 HAS SOUS 108781 HAS SOUPS 107938 WITH SCORE 108824.887
AT ITER 4696 NEW BEST:: SOT 1049282 SOS 882983 HAS SOPS 881371 HAS SOUS 108777 HAS SOUPS 107934 WITH SCORE 108816.983
AT ITER 4831 NEW BEST:: SOT 1046973 SOS 880674 HAS SOPS 879062 HAS SOUS 103947 HAS SOUPS 103104 WITH SCORE 103984.674
AT ITER 4834 NEW BEST:: SOT 1047020 SOS 880717 HAS SOPS 879107 HAS SOUS 103919 HAS SOUPS 103077 WITH SCORE 103957.717
AT ITER 4854 NEW BEST:: SOT 1047010 SOS 880707 HAS SOPS 879097 HAS SOUS 103899 HAS SOUPS 103057 WITH SCORE 103937.707
AT ITER 5168 NEW BEST:: SOT 1047010 SOS 880323 HAS SOPS 878713 HAS SOUS 103896 HAS SOUPS 103054 WITH SCORE 103934.323
AT ITER 5169 NEW BEST:: SOT 1046958 SOS 880271 HAS SOPS 878661 HAS SOUS 103792 HAS SOUPS 102950 WITH SCORE 103830.271
AT ITER 5302 NEW BEST:: SOT 1047731 SOS 878612 HAS SOPS 877002 HAS SOUS 103771 HAS SOUPS 102929 WITH SCORE 103807.612
AT ITER 5557 NEW BEST:: SOT 1048120 SOS 878923 HAS SOPS 877361 HAS SOUS 103267 HAS SOUPS 102449 WITH SCORE 103327.923
AT ITER 5817 NEW BEST:: SOT 1048120 SOS 876363 HAS SOPS 874801 HAS SOUS 103262 HAS SOUPS 102444 WITH SCORE 103320.363
AT ITER 6040 NEW BEST:: SOT 1047358 SOS 875601 HAS SOPS 874039 HAS SOUS 102480 HAS SOUPS 101662 WITH SCORE 102537.601
AT ITER 6107 NEW BEST:: SOT 1047353 SOS 875596 HAS SOPS 874034 HAS SOUS 102475 HAS SOUPS 101657 WITH SCORE 102532.596
AT ITER 6249 NEW BEST:: SOT 1047333 SOS 875576 HAS SOPS 874014 HAS SOUS 102419 HAS SOUPS 101601 WITH SCORE 102476.576
AT ITER 6284 NEW BEST:: SOT 1048487 SOS 881187 HAS SOPS 878956 HAS SOUS 102375 HAS SOUPS 101551 WITH SCORE 102432.187
AT ITER 6440 NEW BEST:: SOT 1048463 SOS 881163 HAS SOPS 878932 HAS SOUS 102252 HAS SOUPS 101428 WITH SCORE 102309.163
AT ITER 6721 NEW BEST:: SOT 1048381 SOS 884808 HAS SOPS 883246 HAS SOUS 102200 HAS SOUPS 101382 WITH SCORE 102266.808
AT ITER 6799 NEW BEST:: SOT 1050991 SOS 887705 HAS SOPS 886201 HAS SOUS 100890 HAS SOUPS 100102 WITH SCORE 100989.705
AT ITER 6805 NEW BEST:: SOT 1050333 SOS 887047 HAS SOPS 885543 HAS SOUS 100091 HAS SOUPS 99303 WITH SCORE 100190.047
AT ITER 6970 NEW BEST:: SOT 1050081 SOS 886795 HAS SOPS 885291 HAS SOUS 99565 HAS SOUPS 98777 WITH SCORE 99663.795
AT ITER 7283 NEW BEST:: SOT 1050071 SOS 886785 HAS SOPS 885281 HAS SOUS 99549 HAS SOUPS 98761 WITH SCORE 99647.785
AT ITER 7347 NEW BEST:: SOT 1050116 SOS 886828 HAS SOPS 885326 HAS SOUS 99529 HAS SOUPS 98742 WITH SCORE 99628.828
AT ITER 7429 NEW BEST:: SOT 1050116 SOS 884268 HAS SOPS 882766 HAS SOUS 99509 HAS SOUPS 98722 WITH SCORE 99606.268
AT ITER 7860 NEW BEST:: SOT 1050103 SOS 884255 HAS SOPS 882753 HAS SOUS 99437 HAS SOUPS 98650 WITH SCORE 99534.255
AT ITER 8058 NEW BEST:: SOT 1048963 SOS 883115 HAS SOPS 881613 HAS SOUS 98998 HAS SOUPS 98211 WITH SCORE 99094.115
AT ITER 8096 NEW BEST:: SOT 1048889 SOS 883041 HAS SOPS 881539 HAS SOUS 98937 HAS SOUPS 98150 WITH SCORE 99033.041
AT ITER 8178 NEW BEST:: SOT 1048889 SOS 882401 HAS SOPS 880899 HAS SOUS 98936 HAS SOUPS 98149 WITH SCORE 99031.401
AT ITER 8255 NEW BEST:: SOT 1048871 SOS 882383 HAS SOPS 880881 HAS SOUS 98851 HAS SOUPS 98064 WITH SCORE 98946.383
AT ITER 8271 NEW BEST:: SOT 1048869 SOS 882381 HAS SOPS 880879 HAS SOUS 98847 HAS SOUPS 98060 WITH SCORE 98942.381
AT ITER 8328 NEW BEST:: SOT 1049735 SOS 883186 HAS SOPS 881744 HAS SOUS 97053 HAS SOUPS 96297 WITH SCORE 97180.186
AT ITER 8333 NEW BEST:: SOT 1049729 SOS 883180 HAS SOPS 881738 HAS SOUS 97041 HAS SOUPS 96285 WITH SCORE 97168.18
AT ITER 8360 NEW BEST:: SOT 1049729 SOS 883116 HAS SOPS 881674 HAS SOUS 97041 HAS SOUPS 96285 WITH SCORE 97168.116
AT ITER 8452 NEW BEST:: SOT 1049477 SOS 882864 HAS SOPS 881422 HAS SOUS 97029 HAS SOUPS 96273 WITH SCORE 97155.864
AT ITER 8496 NEW BEST:: SOT 1049477 SOS 882096 HAS SOPS 880654 HAS SOUS 97023 HAS SOUPS 96267 WITH SCORE 97149.096
AT ITER 8519 NEW BEST:: SOT 1049863 SOS 883549 HAS SOPS 882125 HAS SOUS 96876 HAS SOUPS 96129 WITH SCORE 97012.549
AT ITER 8626 NEW BEST:: SOT 1049508 SOS 883194 HAS SOPS 881770 HAS SOUS 96736 HAS SOUPS 95989 WITH SCORE 96872.194
AT ITER 8748 NEW BEST:: SOT 1049464 SOS 883150 HAS SOPS 881726 HAS SOUS 96701 HAS SOUPS 95954 WITH SCORE 96837.15
AT ITER 8926 NEW BEST:: SOT 1049413 SOS 883099 HAS SOPS 881675 HAS SOUS 96398 HAS SOUPS 95651 WITH SCORE 96534.099
AT ITER 8937 NEW BEST:: SOT 1049362 SOS 883048 HAS SOPS 881624 HAS SOUS 96309 HAS SOUPS 95562 WITH SCORE 96445.048
AT ITER 9084 NEW BEST:: SOT 1049117 SOS 882803 HAS SOPS 881379 HAS SOUS 96034 HAS SOUPS 95287 WITH SCORE 96169.803
AT ITER 9120 NEW BEST:: SOT 1049117 SOS 882803 HAS SOPS 881379 HAS SOUS 96002 HAS SOUPS 95255 WITH SCORE 96137.803
AT ITER 9324 NEW BEST:: SOT 1049017 SOS 882703 HAS SOPS 881279 HAS SOUS 95920 HAS SOUPS 95173 WITH SCORE 96055.703
AT ITER 9365 NEW BEST:: SOT 1048378 SOS 882064 HAS SOPS 880640 HAS SOUS 95643 HAS SOUPS 94896 WITH SCORE 95778.064
AT ITER 9479 NEW BEST:: SOT 1048411 SOS 879793 HAS SOPS 878369 HAS SOUS 95635 HAS SOUPS 94888 WITH SCORE 95767.793
AT ITER 9537 NEW BEST:: SOT 1048407 SOS 879789 HAS SOPS 878365 HAS SOUS 95629 HAS SOUPS 94882 WITH SCORE 95761.789
AT ITER 9581 NEW BEST:: SOT 1048407 SOS 879725 HAS SOPS 878301 HAS SOUS 95629 HAS SOUPS 94882 WITH SCORE 95761.725
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6237776 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16113204 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-b10"
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-b10, 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-167912710600488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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