fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r04kn-qhx2-140043542802588
Last Updated
Sept. 1, 2014

About the Execution

Execution Summary
Max Memory
Used (MB)
CPU Usage (ms) I/O Wait (ms) Competition Result Execution
Status
- - - DNF timeout

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...........................................................................................................................
=====================================================================
Generated by BenchKit 2-1667
Executing tool marcie
Input is Railroad-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043542802588
=====================================================================


--------------------
content from stdout:

BK_START 1400455535615

Marcie rev. 1291 (build: mcc on 2014-04-30)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mem=4

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 1018 NrTr: 10506)

net check time: 0m0sec

place and transition orderings generation:0m17sec

init dd package: 0m5sec


BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m2sec

1018 1018 1018 1018 1018 1018 1018 1018 1018 1018 1342 1342 1342 1342 1342 1342 1342 1342 1342 1342 1600 1600 1600 1600 1600 1600 1600 1600 1600 1600 1657 1657 1657 1657 1657 1657 1657 1657 1657 1657 1604 1604 1604 1604 1604 1604 1604 1604 1604 1604 1654 1654 1654 1654 1654 1654 1654 1654 1654 1654 1608 1608 1608 1608 1608 1608 1608 1608 1608 1608 1651 1651 1651 1651 1651 1651 1651 1651 1651 1651 1612 1612 1612 1612 1612 1612 1612 1612 1612 1612 1612 1647 1647 1647 1647 1647 1647 1647 1647 1647 1647 1616 1616 1616 1616 1616 1616 1616 1616 1616 1616 1644 1644 1644 1644 1644 1644 1644 1644 1644 1644 1620 1620 1620 1620 1620 1620 1620 1620 1620 1620 1641 1641 1641 1641 1641 1641 1641 1641 1641 1641 1624 1624 1624 1624 1624 1624 1624 1624 1624 1624 1638 1638 1638 1638 1638 1638 1638 1638 1638 1638 1628 1628 1628 1628 1628 1628 1628 1628 1628 1628 1628 1635 1635 1635 1635 1635 1635 1635 1635 1635 1635 1632 1632 1632 1632 1632 1632 1632 1632 1632 1632 1683 1683 1941 1941 1941 1941 1941 1941 1941 1941 1941 1941 2093 2093 2093 2093 2093 2093 2093 2235 2235 2235 2235 2235 2235 2235 2235 2235 2235 2316 2316 2316 2316 2383 2383 2383 2383 2383 2383 2383 2383 2383 2383 2566 2566 2566 2566 2566 2566 2566 2566 2731 2731 2731 2731 2731 2731 2731 2731 2731 2731 2886 2886 2886 2886 2886 2886 3019 3019 3019 3019 3019 3019 3019 3019 3019 3019 3019 3118 3118 3118 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3377 3377 3377 3377 3377 3377 3377 3377 3533 3533 3533 3533 3533 3533 3533 3533 3533 3533 3712 3712 3712 3712 3712 3712 3712 3857 3857 3857 3857 3857 3857 3857 3857 3857 3857 4034 4034 4034 4034 4034 4034 4034 4173 4173 4173 4173 4173 4173 4173 4173 4173 4173 4394 4394 4394 4394 4394 4394 4394 4394 4573 4573 4573 4573 4573 4573 4573 4573 4573 4573 4573 4836 4836 4836 4836 4836 4836 4836 4836 4836 5053 5053 5053 5053 5053 5053 5053 5053 5053 5053 5119 5164 5164 5164 5164 5164 5164 5164 5164 5164 5164 5420 5420 5420 5420 5420 5420 5420 5420 5420 5622 5622 5622 5622 5622 5622 5622 5622 5622 5622 5908 5908 5908 5908 5908 5908 5908 5908 5908 6136 6136 6136 6136 6136 6136 6136 6136 6136 6136 6136 6420 6420 6420 6420 6420 6420 6420 6420 6420 6642 6642 6642 6642 6642 6642 6642 6642 6642 6642 6884 6884 6884 6884 6884 6884 6884 6884 7060 7060 7060 7060 7060 7060 7060 7060 7060 7060 7301 7301 7301 7301 7301 7301 7301 7301 7472 7472 7472 7472 7472 7472 7472 7472 7472 7472 7794 7794 7794 7794 7794 7794 7794 7794 7794 7794 8042 8042 8042 8042 8042 8042 8042 8042 8042 8042 8268 8268 8268 8268 8268 8268 8268 8416 8416 8416 8416 8416 8416 8416 8416 8416 8416 8416 8735 8735 8735 8735 8735 8735 8735 8735 8735 8972 8972 8972 8972 8972 8972 8972 8972 8972 8972 8972 9143 9143 9143 9143 9228 9228 9228 9228 9228 9228 9228 9228 9228 9228 9411 9411 9411 9411 9411 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9636 9636 9674 9674 9674 9674 9674 9674 9674 9674 9674 9674 10023 10023 10023 10023 10023 10023 10023 10023 10023 10023 10274 10274 10274 10274 10274 10274 10274 10274 10274 10274 10423 10423 10470 10470 10470 10470 10470 10470 10470 10470 10470 10470 10470 10629 10629 10682 10682 10682 10682 10682 10682 10682 10682 10682 10682 10682 10988 10988 10988 10988 10988 10988 10988 10988 11184 11184 11184 11184 11184 11184 11184 11184 11184 11184 11184 11414 11414 11414 11414 11414 11530 11530 11530 11530 11530 11530 11530 11530 11530 11530 11530 11856 11856 11856 11856 11856 11856 11856 11856 11856 12064 12064 12064 12064 12064 12064 12064 12064 12064 12064 12268 12268 12268 12268 12350 12350 12350 12350 12350 12350 12350 12350 12350 12350 12516 12516 12556 12556 12556 12556 12556 12556 12556 12556 12556 12556 12556 12791 12791 12791 12791 12791 12896 12896 12896 12896 12896 12896 12896 12896 12896 12896 13100 13100 13100 13100 13170 13170 13170 13170 13170 13170 13170 13170 13170 13170 13427 13427 13427 13427 13427 13427 13546 13546 13546 13546 13546 13546 13546 13546 13546 13546 13730 13730 13772 13772 13772 13772 13772 13772 13772 13772 13772 13772 14049 14049 14049 14049 14049 14049 14049 14180 14180 14180 14180 14180 14180 14180 14180 14180 14180 14483 14483 14483 14483 14483 14483 14483 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14852 14852 14852 14914 14914 14914 14914 14914 14914 14914 14914 14914 14914 15260 15260 15260 15260 15260 15260 15260 15260 15260 15448 15448 15448 15448 15448 15448 15448 15448 15448 15448 15634 15634 15634 15634 15634 15634 15634 15634 15634 15634 15634 15982 15982 15982 15982 15982 15982 15982 15982 16164 16164 16164 16164 16164 16164 16164 16164 16164 16164 16368 16368 16402 16402 16402 16402 16402 16402 16402 16402 16402 16402 16815 16815 16815 16815 16815 16815 16815 16815 16815 16815 17054 17054 17054 17054 17054 17054 17054 17054 17054 17054 17252 17272 17272 17272 17272 17272 17272 17272 17272 17272 17272 17564 17564 17564 17564 17564 17564 17674 17674 17674 17674 17674 17674 17674 17674 17674 17674 17936 17936 17936 17936 18012 18012 18012 18012 18012 18012 18012 18012 18012 18012 18315 18315 18315 18315 18315 18315 18428 18428 18428 18428 18428 18428 18428 18428 18428 18428 18816 18816 18816 18816 18816 18816 18816 18816 18816 19010 19010 19010 19010 19010 19010 19010 19010 19010 19010 19382 19382 19382 19382

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="Railroad-PT-100"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/Railroad-PT-100.tgz
mv Railroad-PT-100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool marcie"
echo " Input is Railroad-PT-100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043542802588"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo -n "BK_START "
date -u +%s%3N
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 ;