fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r03kn-qhx2-140036873102068
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 PermAdmissibility-PT-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r03kn-qhx2-140036873102068
=====================================================================


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

BK_START 1400404578166

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: 168 NrTr: 592)

net check time: 0m0sec

place and transition orderings generation:0m0sec

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

13199 32127 41167 42856 45485 47125 49009 50801 52128 54928 54155 55624 56974 58034 58262 58243 59205 60984 61729 62351 63075 63742 64751 64045 65266 65812 67368 69080 70624 71665 71727 71459 73846 74641 76022 76755 77838 77918 78773 86806 93189 93337 93948 93993 93793 98426 99973 100854 102706 103304 104848 104690 105362 105397 105916 106120 106664 107319 107446 107458 109626 110803 111534 113213 114364 115538 115671 115974 117312 117727 118753 119474 120170 121486 122075 123020 122582 123895 123466 125275 125496 125535 126120 141200 142613 142761 143063 143021 142820 143762 144104 144747 145134 145572 146033 146947 147106 146721 146554 146835 146600 146683 147344 146486 146606 148163 147102 148247 146629 146591 146548 146593 147198 147308 146890 147548 147268 147564 148242 148852 149317 149304 149009 150150 150020 149899 149847 158070 157975 157920 157731 157511 156940 157608 158020 158538 158544 159222 159387 159254 159306 159173 159070 159056 159055 159864 159615 159565 159185 159296 159274 159098 159286 159084 159082 160276 159261 160315 159524 159861 160496 160831 161373 161516 162330 162014 162551 162850 162752 162601 162476 162419 165546 177147 191199 194246 197856 198681 200693 203174 203945 210722 208610 213380 209714 212685 212754 212941 215896 216618 217062 216271 216666 216370 217521 218856 216644 219878 217836 217557 217357 217278 238091 238870 239348 242007 243215 243687 249398 250198 250548 250962 252417 252405 252579 254133 253755 254642 254725 254649 254553 254684 254877 254709 255461 255540 255704 258167 258322 259039 259550 260112 261004 261152 261515 263103 262866 262744 263449 263523 263716 264434 264923 265449 265427 265896 267365 263919 264282 264772 264772 265133 265141 266117 266145 266213 267163 267266 267660 267871 267759 268043 268341 268714 268861 269309 269263 271624 272091 272522 274310 274423 274718 275682 275736 276067 275709 289170 285465 285348 285620 285545 285655 286316 286447 286436 286584 286586 286587 287337 287083 287480 288895 288862 288424 288217 288399 288171 288132 289174 288082 289362 288081 289624 289320 289372 289351 289182 289167 289152 289857 289562 289985 289418 289466 289854 290108 290159 290161 290912 290607 291008 288112 284827 284903 284888 284612 284565 284565 284709 285510 284445 285639 284402 284796 285004 285040 285159 285258 285357 285243 285974 288278 286767 286623 286510 286915 286756 287160 286903 286851 285810 313333 325017 331969 340247 346660 350409 359989 364372 372742 373510 381222 379587 383420 383566 383884 402723 405014 406032 407837 409532 409547 411207 413887 413768 417212 417030 421419 422512 438136 444393 448769 450730 455298 460924 464942 466987 471939 472079 476921 487989 491935 492076 492365 541684 546691 549100 550670 551929 552387 556200 557937 576390 577796 578946 580334 582019 583373 584118 585011 584895 585515 592201 591255 590794 591240 591328 592786 592477 593307 592815 593626 593579 599311 599932 600994 601956 602963 603485 603628 603553 605998 606133 606488 606522 607049 607213 607459

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