Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979300144.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVs-PT-040B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979300144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1004K
-rw-r--r-- 1 mcc users 8.5K Feb 26 18:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 18:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 18:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 18:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 26 18:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 18:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 18:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:02 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:02 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 498K 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 1679380331960

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=ShieldRVs-PT-040B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 06:32:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 06:32:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 06:32:13] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-21 06:32:13] [INFO ] Transformed 1603 places.
[2023-03-21 06:32:13] [INFO ] Transformed 1803 transitions.
[2023-03-21 06:32:13] [INFO ] Found NUPN structural information;
[2023-03-21 06:32:13] [INFO ] Parsed PT model containing 1603 places and 1803 transitions and 5760 arcs in 185 ms.
[2023-03-21 06:32:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1603 places, 1803 transitions and 5760 arcs took 18 ms.
Total runtime 229 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 040B
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: 1603 places, 1803 transitions, 5760 arcs.
AT ITER 0 NEW BEST:: SOT 1460204 SOS 75384 HAS SOPS 75384 HAS SOUS 61795 HAS SOUPS 61795 WITH SCORE 61870.384
AT ITER 100 NEW BEST:: SOT 1460187 SOS 75267 HAS SOPS 75267 HAS SOUS 61773 HAS SOUPS 61773 WITH SCORE 61848.267
AT ITER 176 NEW BEST:: SOT 1460187 SOS 75266 HAS SOPS 75266 HAS SOUS 61772 HAS SOUPS 61772 WITH SCORE 61847.266
AT ITER 210 NEW BEST:: SOT 1460184 SOS 75257 HAS SOPS 75257 HAS SOUS 61763 HAS SOUPS 61763 WITH SCORE 61838.257
AT ITER 590 NEW BEST:: SOT 1460173 SOS 75179 HAS SOPS 75179 HAS SOUS 61755 HAS SOUPS 61755 WITH SCORE 61830.179
AT ITER 805 NEW BEST:: SOT 1460141 SOS 75167 HAS SOPS 75167 HAS SOUS 61743 HAS SOUPS 61743 WITH SCORE 61818.167
AT ITER 877 NEW BEST:: SOT 1460110 SOS 75166 HAS SOPS 75166 HAS SOUS 61742 HAS SOUPS 61742 WITH SCORE 61817.166
AT ITER 1005 NEW BEST:: SOT 1460072 SOS 75153 HAS SOPS 75153 HAS SOUS 61729 HAS SOUPS 61729 WITH SCORE 61804.153
AT ITER 1367 NEW BEST:: SOT 1460072 SOS 75136 HAS SOPS 75136 HAS SOUS 61729 HAS SOUPS 61729 WITH SCORE 61804.136
AT ITER 1670 NEW BEST:: SOT 1460051 SOS 75116 HAS SOPS 75116 HAS SOUS 61685 HAS SOUPS 61685 WITH SCORE 61760.116
AT ITER 1676 NEW BEST:: SOT 1460051 SOS 75112 HAS SOPS 75112 HAS SOUS 61681 HAS SOUPS 61681 WITH SCORE 61756.112
AT ITER 1705 NEW BEST:: SOT 1460033 SOS 75094 HAS SOPS 75094 HAS SOUS 61663 HAS SOUPS 61663 WITH SCORE 61738.094
AT ITER 1896 NEW BEST:: SOT 1460033 SOS 75090 HAS SOPS 75090 HAS SOUS 61659 HAS SOUPS 61659 WITH SCORE 61734.09
AT ITER 1929 NEW BEST:: SOT 1460019 SOS 75032 HAS SOPS 75032 HAS SOUS 61657 HAS SOUPS 61657 WITH SCORE 61732.032
AT ITER 1932 NEW BEST:: SOT 1460005 SOS 74974 HAS SOPS 74974 HAS SOUS 61643 HAS SOUPS 61643 WITH SCORE 61717.974
AT ITER 1958 NEW BEST:: SOT 1460005 SOS 74956 HAS SOPS 74956 HAS SOUS 61625 HAS SOUPS 61625 WITH SCORE 61699.956
AT ITER 1978 NEW BEST:: SOT 1460003 SOS 74944 HAS SOPS 74944 HAS SOUS 61622 HAS SOUPS 61622 WITH SCORE 61696.944
AT ITER 2047 NEW BEST:: SOT 1460003 SOS 74944 HAS SOPS 74944 HAS SOUS 61571 HAS SOUPS 61571 WITH SCORE 61645.944
AT ITER 2080 NEW BEST:: SOT 1459959 SOS 74816 HAS SOPS 74816 HAS SOUS 61523 HAS SOUPS 61523 WITH SCORE 61597.816
AT ITER 2148 NEW BEST:: SOT 1459959 SOS 74796 HAS SOPS 74796 HAS SOUS 61503 HAS SOUPS 61503 WITH SCORE 61577.796
AT ITER 2353 NEW BEST:: SOT 1459959 SOS 74795 HAS SOPS 74795 HAS SOUS 61502 HAS SOUPS 61502 WITH SCORE 61576.795
AT ITER 2387 NEW BEST:: SOT 1459959 SOS 74775 HAS SOPS 74775 HAS SOUS 61482 HAS SOUPS 61482 WITH SCORE 61556.775
AT ITER 2537 NEW BEST:: SOT 1459957 SOS 74773 HAS SOPS 74773 HAS SOUS 61480 HAS SOUPS 61480 WITH SCORE 61554.773
AT ITER 2552 NEW BEST:: SOT 1459936 SOS 74752 HAS SOPS 74752 HAS SOUS 61459 HAS SOUPS 61459 WITH SCORE 61533.752
AT ITER 2561 NEW BEST:: SOT 1459936 SOS 74734 HAS SOPS 74734 HAS SOUS 61441 HAS SOUPS 61441 WITH SCORE 61515.734
AT ITER 2968 NEW BEST:: SOT 1459936 SOS 74719 HAS SOPS 74719 HAS SOUS 61426 HAS SOUPS 61426 WITH SCORE 61500.719
AT ITER 3067 NEW BEST:: SOT 1459894 SOS 74705 HAS SOPS 74705 HAS SOUS 61398 HAS SOUPS 61398 WITH SCORE 61472.705
AT ITER 3242 NEW BEST:: SOT 1459854 SOS 74609 HAS SOPS 74609 HAS SOUS 61354 HAS SOUPS 61354 WITH SCORE 61428.609
AT ITER 3278 NEW BEST:: SOT 1459846 SOS 74601 HAS SOPS 74601 HAS SOUS 61346 HAS SOUPS 61346 WITH SCORE 61420.601
AT ITER 3590 NEW BEST:: SOT 1459842 SOS 74601 HAS SOPS 74601 HAS SOUS 61342 HAS SOUPS 61342 WITH SCORE 61416.601
AT ITER 3642 NEW BEST:: SOT 1459841 SOS 74600 HAS SOPS 74600 HAS SOUS 61341 HAS SOUPS 61341 WITH SCORE 61415.6
AT ITER 3682 NEW BEST:: SOT 1459814 SOS 74573 HAS SOPS 74573 HAS SOUS 61314 HAS SOUPS 61314 WITH SCORE 61388.573
AT ITER 3698 NEW BEST:: SOT 1459817 SOS 74543 HAS SOPS 74543 HAS SOUS 61313 HAS SOUPS 61313 WITH SCORE 61387.543
AT ITER 3868 NEW BEST:: SOT 1459803 SOS 74393 HAS SOPS 74393 HAS SOUS 61251 HAS SOUPS 61251 WITH SCORE 61325.393
AT ITER 3901 NEW BEST:: SOT 1459781 SOS 74227 HAS SOPS 74227 HAS SOUS 61176 HAS SOUPS 61176 WITH SCORE 61250.227
AT ITER 4092 NEW BEST:: SOT 1459781 SOS 74226 HAS SOPS 74226 HAS SOUS 61175 HAS SOUPS 61175 WITH SCORE 61249.226
AT ITER 4311 NEW BEST:: SOT 1459781 SOS 74225 HAS SOPS 74225 HAS SOUS 61174 HAS SOUPS 61174 WITH SCORE 61248.225
AT ITER 4326 NEW BEST:: SOT 1459766 SOS 74216 HAS SOPS 74216 HAS SOUS 61163 HAS SOUPS 61163 WITH SCORE 61237.216
AT ITER 4549 NEW BEST:: SOT 1459766 SOS 74209 HAS SOPS 74209 HAS SOUS 61156 HAS SOUPS 61156 WITH SCORE 61230.209
AT ITER 4571 NEW BEST:: SOT 1459766 SOS 74194 HAS SOPS 74194 HAS SOUS 61141 HAS SOUPS 61141 WITH SCORE 61215.194
AT ITER 4695 NEW BEST:: SOT 1459714 SOS 74292 HAS SOPS 74292 HAS SOUS 61114 HAS SOUPS 61114 WITH SCORE 61188.292
AT ITER 4788 NEW BEST:: SOT 1459714 SOS 74291 HAS SOPS 74291 HAS SOUS 61113 HAS SOUPS 61113 WITH SCORE 61187.291
AT ITER 4835 NEW BEST:: SOT 1459697 SOS 74179 HAS SOPS 74179 HAS SOUS 61092 HAS SOUPS 61092 WITH SCORE 61166.179
AT ITER 5357 NEW BEST:: SOT 1459676 SOS 74172 HAS SOPS 74172 HAS SOUS 61071 HAS SOUPS 61071 WITH SCORE 61145.172
AT ITER 5377 NEW BEST:: SOT 1459668 SOS 74147 HAS SOPS 74147 HAS SOUS 61046 HAS SOUPS 61046 WITH SCORE 61120.147
AT ITER 5755 NEW BEST:: SOT 1459644 SOS 74007 HAS SOPS 74007 HAS SOUS 60976 HAS SOUPS 60976 WITH SCORE 61050.007
AT ITER 5791 NEW BEST:: SOT 1459628 SOS 73953 HAS SOPS 73953 HAS SOUS 60956 HAS SOUPS 60956 WITH SCORE 61029.953
AT ITER 5885 NEW BEST:: SOT 1459626 SOS 73963 HAS SOPS 73963 HAS SOUS 60954 HAS SOUPS 60954 WITH SCORE 61027.963
AT ITER 5949 NEW BEST:: SOT 1459604 SOS 73962 HAS SOPS 73962 HAS SOUS 60953 HAS SOUPS 60953 WITH SCORE 61026.962
AT ITER 5988 NEW BEST:: SOT 1459576 SOS 73952 HAS SOPS 73952 HAS SOUS 60943 HAS SOUPS 60943 WITH SCORE 61016.952
AT ITER 6047 NEW BEST:: SOT 1459545 SOS 73951 HAS SOPS 73951 HAS SOUS 60942 HAS SOUPS 60942 WITH SCORE 61015.951
AT ITER 6111 NEW BEST:: SOT 1459545 SOS 73930 HAS SOPS 73930 HAS SOUS 60921 HAS SOUPS 60921 WITH SCORE 60994.93
AT ITER 6426 NEW BEST:: SOT 1459545 SOS 73911 HAS SOPS 73911 HAS SOUS 60902 HAS SOUPS 60902 WITH SCORE 60975.911
AT ITER 6933 NEW BEST:: SOT 1459503 SOS 73883 HAS SOPS 73883 HAS SOUS 60860 HAS SOUPS 60860 WITH SCORE 60933.883
AT ITER 6984 NEW BEST:: SOT 1459506 SOS 73877 HAS SOPS 73877 HAS SOUS 60854 HAS SOUPS 60854 WITH SCORE 60927.877
AT ITER 7083 NEW BEST:: SOT 1459509 SOS 73876 HAS SOPS 73876 HAS SOUS 60853 HAS SOUPS 60853 WITH SCORE 60926.876
AT ITER 7191 NEW BEST:: SOT 1459495 SOS 73870 HAS SOPS 73870 HAS SOUS 60834 HAS SOUPS 60834 WITH SCORE 60907.87
AT ITER 7413 NEW BEST:: SOT 1459494 SOS 73843 HAS SOPS 73843 HAS SOUS 60809 HAS SOUPS 60809 WITH SCORE 60882.843
AT ITER 7453 NEW BEST:: SOT 1459494 SOS 73828 HAS SOPS 73828 HAS SOUS 60809 HAS SOUPS 60809 WITH SCORE 60882.828
AT ITER 7532 NEW BEST:: SOT 1459484 SOS 73812 HAS SOPS 73812 HAS SOUS 60799 HAS SOUPS 60799 WITH SCORE 60872.812
AT ITER 7577 NEW BEST:: SOT 1459470 SOS 73656 HAS SOPS 73656 HAS SOUS 60721 HAS SOUPS 60721 WITH SCORE 60794.656
AT ITER 7695 NEW BEST:: SOT 1459441 SOS 73609 HAS SOPS 73609 HAS SOUS 60665 HAS SOUPS 60665 WITH SCORE 60738.609
AT ITER 7776 NEW BEST:: SOT 1459440 SOS 73605 HAS SOPS 73605 HAS SOUS 60663 HAS SOUPS 60663 WITH SCORE 60736.605
AT ITER 7816 NEW BEST:: SOT 1459431 SOS 73599 HAS SOPS 73599 HAS SOUS 60654 HAS SOUPS 60654 WITH SCORE 60727.599
AT ITER 7833 NEW BEST:: SOT 1459386 SOS 73554 HAS SOPS 73554 HAS SOUS 60609 HAS SOUPS 60609 WITH SCORE 60682.554
AT ITER 7882 NEW BEST:: SOT 1459383 SOS 73525 HAS SOPS 73525 HAS SOUS 60606 HAS SOUPS 60606 WITH SCORE 60679.525
AT ITER 8058 NEW BEST:: SOT 1459358 SOS 73524 HAS SOPS 73524 HAS SOUS 60605 HAS SOUPS 60605 WITH SCORE 60678.524
AT ITER 8207 NEW BEST:: SOT 1459358 SOS 73511 HAS SOPS 73511 HAS SOUS 60592 HAS SOUPS 60592 WITH SCORE 60665.511
AT ITER 8584 NEW BEST:: SOT 1459337 SOS 73349 HAS SOPS 73349 HAS SOUS 60517 HAS SOUPS 60517 WITH SCORE 60590.349
AT ITER 8716 NEW BEST:: SOT 1459337 SOS 73343 HAS SOPS 73343 HAS SOUS 60514 HAS SOUPS 60514 WITH SCORE 60587.343
AT ITER 8729 NEW BEST:: SOT 1459337 SOS 73336 HAS SOPS 73336 HAS SOUS 60507 HAS SOUPS 60507 WITH SCORE 60580.336
AT ITER 8759 NEW BEST:: SOT 1459337 SOS 73319 HAS SOPS 73319 HAS SOUS 60507 HAS SOUPS 60507 WITH SCORE 60580.319
AT ITER 8875 NEW BEST:: SOT 1459326 SOS 73308 HAS SOPS 73308 HAS SOUS 60496 HAS SOUPS 60496 WITH SCORE 60569.308
AT ITER 8889 NEW BEST:: SOT 1459332 SOS 73149 HAS SOPS 73149 HAS SOUS 60463 HAS SOUPS 60463 WITH SCORE 60536.149
AT ITER 9066 NEW BEST:: SOT 1459330 SOS 73137 HAS SOPS 73137 HAS SOUS 60460 HAS SOUPS 60460 WITH SCORE 60533.137
AT ITER 9188 NEW BEST:: SOT 1459310 SOS 73133 HAS SOPS 73133 HAS SOUS 60441 HAS SOUPS 60441 WITH SCORE 60514.133
AT ITER 9197 NEW BEST:: SOT 1459309 SOS 73129 HAS SOPS 73129 HAS SOUS 60439 HAS SOUPS 60439 WITH SCORE 60512.129
AT ITER 9288 NEW BEST:: SOT 1459273 SOS 73111 HAS SOPS 73111 HAS SOUS 60403 HAS SOUPS 60403 WITH SCORE 60476.111
AT ITER 9374 NEW BEST:: SOT 1459273 SOS 73102 HAS SOPS 73102 HAS SOUS 60394 HAS SOUPS 60394 WITH SCORE 60467.102
AT ITER 9424 NEW BEST:: SOT 1459238 SOS 73032 HAS SOPS 73032 HAS SOUS 60359 HAS SOUPS 60359 WITH SCORE 60432.032
AT ITER 9495 NEW BEST:: SOT 1459231 SOS 72909 HAS SOPS 72909 HAS SOUS 60351 HAS SOUPS 60351 WITH SCORE 60423.909
AT ITER 9560 NEW BEST:: SOT 1459201 SOS 72899 HAS SOPS 72899 HAS SOUS 60331 HAS SOUPS 60331 WITH SCORE 60403.899
AT ITER 9825 NEW BEST:: SOT 1459201 SOS 72898 HAS SOPS 72898 HAS SOUS 60330 HAS SOUPS 60330 WITH SCORE 60402.898
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 2559708 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16123068 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="ShieldRVs-PT-040B"
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 ShieldRVs-PT-040B, 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 r427-tajo-167905979300144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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