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 SurpriseNeoElection-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r09ks-qhx2-140069008801938
=====================================================================
--------------------
content from stdout:
BK_START 1400807432910
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: 4830 NrTr: 8435)
net check time: 0m0sec
place and transition orderings generation:0m36sec
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: 0m3sec
8859 8937 13968 24830 24830 25605 25807 29985 29985 32438 33270 32784 33108 33108 32609 34525 37120 39029 39029 39029 40946 40946 50119 50119 53413 50480 55154 55154 56486 51630 55242 56228 56635 57098 57098 58398 53468 55622 55988 58602 58156 61161 62585 66695 66695 66424 68184 70299 70299 70299 70299 76607 82501 82501 82501 85459 85460 82593 82593 91731 100327 100327 100327 103271 103272 100405 100405 112126 123424 123424 123424 126310 126311 123444 138453 138453 152453 152453 155453 155453 155454 152587 169928 186630 186630 186630 189514 189515 186648 186648 353877 353877 353877 515599 517245 517245 517245 530088
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="SurpriseNeoElection-PT-6"
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/SurpriseNeoElection-PT-6.tgz
mv SurpriseNeoElection-PT-6 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 SurpriseNeoElection-PT-6, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r09ks-qhx2-140069008801938"
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 ;