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


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

BK_START 1400279868024

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: 500 NrTr: 10200)

net check time: 0m0sec

place and transition orderings generation:0m24sec

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

575 602 623 641 659 671 1054 1084 1105 1123 1141 1156 1044 1077 1098 1119 1134 1149 1043 1076 1100 1118 1136 1148 1252 1285 1309 1327 1345 1360 1470 1509 1530 1551 1569 1584 1701 1743 1767 1785 1803 1818 1924 1969 1993 2014 2032 2047 2251 2305 2332 2353 2371 2386 1935 2291 2321 2342 2360 2375 2390 2277 2307 2331 2349 2364 2379 2228 2261 2285 2303 2318 2333 2522 2555 2579 2597 2612 2627 2729 2765 2789 2810 2825 2840 3035 3074 3095 3116 3134 3149 3274 3313 3337 3358 3376 3391 3432 3464 3491 3512 3527 3545 3715 3759 3786 3810 3825 3843 3855 3739 3766 3790 3808 3823 3838 3711 3741 3762 3780 3795 3810 3968 4001 4022 4040 4058 4073 4199 4232 4256 4274 4289 4304 4503 4539 4563 4581 4599 4614 4660 4696 4723 4741 4759 4774 4792 4837 4861 4882 4900 4915 5133 5145 5172 5193 5211 5226 5019 5309 5339 5357 5375 5393 5405 5548 5578 5599 5617 5632 5647 5877 5907 5931 5946 5964 5979 6166 6196 6220 6238 6256 6271 6134 6170 6194 6212 6227 6242 6402 6438 6462 6483 6501 6516 6523 6562 6589 6610 6625 6640 6827 6845 6872 6893 6911 6926 7177 7176 7206 7227 7242 7257 7203 7485 7512 7533 7551 7566 7581 7595 7625 7646 7664 7682 7694 7660 7690 7714 7732 7750 7765 7731 7764 7788 7809 7824 7839 7894 7930 7954 7975 7990 8005 7980 8025 8052 8070 8088 8103 8363 8363 8390 8411 8429 8441 8394 8673 8700 8721 8739 8754 8769 9043 9070 9094 9112 9127 9139 9403 9433 9454 9472 9490 9505 9452 9485 9509 9527 9545 9557 9776 9809 9833 9854 9869 9884 10126 10159 10186 10204 10222 10234 10464 10500 10524 10545 10560 10578 10617 10656 10683 10704 10722 10737 10770 10737 10764 10788 10803 10821 10806 11061 11088 11109 11127 11142 11157 11100 11130 11151 11169 11187 11199 11307 11340 11364 11382 11400 11415 11207 11240 11267 11285 11303 11318 11241 11280 11304 11325 11343 11358 11134 11481 11511 11532 11550 11568 11583 11894 11939 11966 11984 12002 12017 12032 12632 12619 12646 12667 12685 12700 12715 13416 13720 13753 13777 13798 13813 13828 13878 14032 15641 15680 15707 15725 15743 15758 15811 15965 19443 19735 19771 19798 19816 19834 19849 19902 20056 20742 27703 28015 28051 28075 28093 28111 28126 28176 28330 29016 29937 36914 37197 37230 37251 37272 37287 37302 37352 37747 38192 39113 40870 51367 51645 51678 51702 51723 51738 51753 51803 52198 52643 53564 55321 56982 99745 100057 100099 100126 100147 100165 100180 100192 100387 101073 101994 103751 105412 107713 107713 182978 183277 183310 183334 183352 183370

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