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 PhilosophersDyn-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043542602328
=====================================================================

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

BK_START 1400454663377

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: 540 NrTr: 17220)

net check time: 0m0sec

place and transition orderings generation:2m57sec

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: 0m15sec

540 540 540 540 540 540 540 540 540 540 540 540 540 540 1008 1008 1008 1008 1008 1008 1008 1008 1008 1008 1008 1008 1597 1597 1597 1597 1597 1597 1597 1597 1597 1597 1597 1597 2620 2620 2620 2620 2620 2620 2620 2620 2620 2620 2620 2620 2692 2692 2692 2692 2692 2692 2692 2692 2692 2692 2692 2692 3274 3274 4151 4151 4151 5131 5131 5131 5131 5131 5131 5131 5131 5131 5131 5131 5131 5665 5665 5665 5665 5665 5665 5665 5665 5665 5665 5665 5665 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 8977 8977 8977 8991 8991 8991 8991 8991 8991 12221 12221 12221 12221 12221 12221 12221 12221 12221 12221 12221 12221 12780 12780 12780 12780 12780 12780 12780 12780 12780 12780 12780 12780 17750 17750 17750 17750 17750 17750 17750 17750 17750 17750 17750 17750 19558 19558 19558 21761 21761 21761 22905 22905 22905 22905 22917 22917 22917 22917 22917 22917 22917 22917 22917 22917 22917 22917 23515 23515 23515 23515 23515 23515 23515 23515 23515 23515 23515 23515 27124 27124 27124 27124 27124 27124 27124 27124 27124 27124 27124 27124 27783 27783 27783 27783 27783 27783 27783 27783 27783 27783 27783 27783 30173 30173 30173 30173 30173 30173 30173 30173 30173 32759 32759 32759 32759 32759 32759 32759 32759 32759 34291 34291 34291 34291 34291 34291 34291 34291 34291 34291 34291 34291 34420 34420 34420 34420 34420 34420 34420 34420 34420 34420 34420 34420 39032 39032 39032 39032 39032 39032 39032 39032 39032 39032 39032 39032 39830 39830 39830 39830 39830 39830 39830 39830 39830 39830 39830 39830 40713 40713 40713 40713 40713 40713 40713 40713 40713 40713 40713 40713 44821 44821 44821 44821 44821 44821 44821 44821 44821 44821 44821 44821 44821 44821 44821 44821 52279 52279 52279 52279 52279 52279 52279 52279 52279 52279 53311 53311 53311 53311 53311 53311 53311 53311 53311 53311 53311 53311 53384 53384 53384 53384 53384 53384 53384 53384 53384 53384 53384 53384 64052 64052 64052 64052 64052 64052 64052 64052 64052 64052 64052 64052 67941 67941 67941 67941 67941 67941 67941 72109 72109 72109 72109 72109 72109 72109 73609 73609 73609 73609 73609 73609 73609 73609 73609 73609 73609 74487 74487 74487 74487 74487 74487 74487 74487 74487 74487 74487 74521 74521 74521 74521 74521 74521 74521 74521 74521 74521 74521 74521 80687 81490 81490 81490 81490 81490 81490 81490 81490 81490 81490 81490 81490 82298 82298 82298 82298 82298 82298 82298 82298 82298 82298 82298 82298 83128 83128 83128 83128

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="PhilosophersDyn-PT-20"
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/PhilosophersDyn-PT-20.tgz
mv PhilosophersDyn-PT-20 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 PhilosophersDyn-PT-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043542602328"
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 ;