fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r24sr-ovh1-140198150801665
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-1668
Executing tool marcie
Input is PolyORBNT-PT-S10J60, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150801665
=====================================================================


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

BK_START 1401988464969

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: 1234 NrTr: 12920)

net check time: 0m0sec

place and transition orderings generation:6m25sec

init dd package: 0m0sec


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

1238 2424 3448 4603 5426 7749 8296 9132 9739 9932 9998 10021 10604 10604 10846 10882 11383 11383 11685 11735 12299 12299 12657 12723 13410 13410 13795 13877 14275 14617 14861 15016 15346 15633 15859 15925 16356 16734 16734 17167 17286 18119 18119 18404 18531 19170 19170 19571 19717 20381 20483 20812 20967 21382 21668 21962 22028 22657 22964 23349 23415 24171 24505 24505 24966 25158 26080 26080 26546 26754 27658 27658 28139 28365 29185 29295 29771 30073 30781 31083 31528 31594 32535 32913 32913 33548 33870 35133 35133 35756 36090 37180 37299 37906 37972 39259 39563 39563 40160 40514 41705 41705 42231 42598 43494 43793 43793 44328 44711 45887 45887 46589 46984 48003 48304 48797 48863 50154 50445 50445 51149 51566 52894 52894 53634 54063 55387 55460 56011 56077 57494 57842 57842 58552 59007 60377 60377 61137 61606 62757 63065 63745 63811 65429 65724 65724 66440 66934 68424 68424 69211 69710 71223 71223 71969 72550 73799 74125 74802 74868 76587 76871 76871 77628 78162 79751 79753 80470 80536 82349 82652 82652 83447 84010 85580 85580 86385 86955 88409 88541 89224 89290 91133 91487 91487 92256 92856 94238 94467 95178 95244 97169 97521 97521 98376 98995 100689 100689 101568 102199 103631 104013 104013 104902 105551 107321 107321 108162 108817 110343 110528 111312 111378 113490 113834 113834 114701 115387 117234 117234 118032 118098 120276 120650 120650 121591 122299 124192 124192 125002 125068 127308 127624 127624 128640 129371 131349 131349 132374 133119 135013 135135 136012 136078 138451 138748 138748 139834 140600 142734 142734 143741 144586 146360 146700 146700 147810 148598 150718 150718 151782 152586 154658 154658 155585 155651 158194 158550 158550 174751 175094 175080 175994 175979 175979 175996 175973 176289 176265 175976 175981 175986 176305 176268 175996 175999 176002 176273 176268 176008 176009 176010 176258 176258 176093 176012 176326 176244 176012 176013 176014 176481 176239 176016 176020 176024 176244 176237 176032 176032 176032 176235 176229 176160 176033 176349 176221 176221 176175 176037 176351 176212 176037 176037 176037 176456 176197 176037 176037 176037 176188 176183 176037

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="PolyORBNT-PT-S10J60"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/srv/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/PolyORBNT-PT-S10J60.tgz
mv PolyORBNT-PT-S10J60 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1668"
echo " Executing tool marcie"
echo " Input is PolyORBNT-PT-S10J60, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150801665"
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 ;