fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r24sr-ovh1-140198150100716
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 Diffusion2D-PT-D40N150, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150100716
=====================================================================


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

BK_START 1401984661393

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: 1600 NrTr: 12324)

net check time: 0m0sec

place and transition orderings generation:0m14sec

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

1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1732 1968 1954 1944 1932 1926 1915 1911 1903 1895 1892 1884 1878 1873 1869 1864 2208 2180 2158 2134 2124 2102 2092 2076 2060 2052 2040 2026 2014 2008 1998 2449 2410 2374 2341 2320 2293 2272 2254 2227 2215 2200 2176 2158 2146 2134 2700 2640 2592 2552 2520 2484 2456 2432 2400 2376 2360 2328 2300 2288 2272 2967 2872 2807 2762 2722 2677 2642 2617 2572 2542 2522 2482 2447 2427 2412 3238 3112 3040 2980 2926 2872 2824 2800 2746 2704 2686 2638 2590 2572 2554 3524 3356 3265 3202 3125 3076 3013 2978 2922 2873 2845 2789 2747 2712 2691 2656 3620 3508 3428 3332 3284 3196 3164 3100 3036 3012 2948 2900 2860 2828 2788 3874 3748 3649 3550 3496 3397 3352 3280 3208 3172 3118 3055 3001 2974 2929 4132 3992 3872 3762 3692 3602 3532 3472 3382 3342 3292 3212 3152 3112 3072 4416 4229 4097 3987 3899 3800 3723 3657 3569 3503 3459 3371 3294 3261 3217 4696 4468 4312 4204 4108 4000 3916 3856 3748 3676 3628 3532 3448 3400 3364 4995 4735 4566 4436 4319 4202 4098 4046 3929 3838 3799 3695 3591 3552 3513 5316 4980 4798 4686 4518 4420 4294 4238 4112 4014 3958 3860 3762 3692 3650 3580 5272 5062 4912 4732 4642 4492 4417 4297 4192 4132 4012 3922 3847 3802 3712 5540 5316 5140 4964 4868 4708 4612 4484 4356 4292 4196 4084 3988 3940 3860 5812 5574 5370 5183 5081 4911 4792 4690 4537 4469 4384 4248 4146 4078 4010 6124 5818 5602 5422 5278 5116 4990 4882 4738 4630 4558 4414 4288 4234 4162 6425 6064 5817 5646 5494 5323 5190 5095 4924 4810 4734 4582 4449 4373 4316 6752 6352 6092 5892 5712 5532 5372 5292 5112 4972 4912 4752 4592 4532 4472 7108 6646 6331 6163 5911 5764 5575 5491 5302 5155 5071 4924 4777 4672 4609 4504 6924 6616 6396 6132 6000 5780 5670 5494 5340 5252 5076 4944 4834 4768 4636 7206 6884 6631 6378 6240 6010 5872 5688 5504 5412 5274 5113 4975 4906 4791 7492 7156 6868 6604 6460 6220 6052 5908 5692 5596 5476 5284 5140 5068 4948 7832 7407 7107 6857 6657 6432 6257 6107 5907 5757 5657 5457 5282 5207 5107 8154 7660 7348 7088 6880 6646 6464 6334 6100 5944 5840 5632 5450 5372 5268 8509 7969 7618 7348 7105 6862 6646 6538 6295 6106 6025 5809 5593 5512 5431 8928 8284 7892 7640 7304 7108 6856 6744 6492 6296 6184 5988 5792 5652 5568 5428 8576 8170 7880 7532 7387 7068 6923 6691 6488 6372 6198 5966 5821 5734 5560 8872 8482 8122 7792 7612 7312 7132 6892 6652 6532 6352 6142 5962 5872 5722 9172 8738 8366 8056 7839 7529 7312 7126 6847 6723 6568 6320 6134 6041 5886 9540 8996 8612 8292 8036 7748 7524 7332 7076 6884 6756 6500 6276 6180 6052 9883 9256 8860 8530 8266 7969 7738 7573 7276 7078 6946 6682 6451 6352 6220 10300 9586 9144 8838 8498 8192 7920 7784 7478 7274 7138 6866 6594 6492 6390 10727 9922 9432 9117 8732 8487 8137 7997 7682 7437 7297 7052 6807 6667 6527 6352 10264 9724 9364 8932 8752 8356 8176 7888 7636 7492 7276 6988 6808 6700 6484 10538 10057 9613 9206 8984 8614 8392 8096 7800 7652 7430 7171 6949 6838 6653 10852 10320 9864 9484 9218 8838 8610 8344 8002 7850 7660 7356 7128 7014 6862 11248 10585 10117 9727 9415 9064 8791 8557 8245

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="Diffusion2D-PT-D40N150"
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/Diffusion2D-PT-D40N150.tgz
mv Diffusion2D-PT-D40N150 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 Diffusion2D-PT-D40N150, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r24sr-ovh1-140198150100716"
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 ;