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


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

BK_START 1401984734741

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: 2500 NrTr: 19404)

net check time: 0m0sec

place and transition orderings generation:0m33sec

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

2500 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 2772 3290 3276 3265 3254 3248 3238 3232 3224 3216 3212 3206 3199 3193 3190 3185 3178 3172 3169 3166 3160 3154 3148 3145 3142 3139 3134 3128 3123 3119 3116 3114 3111 3107 3101 3097 3091 3089 3087 3084 3082 3079 3073 3068 3064 3060 3058 3055 3053 3051 3049 3044 3816 3786 3760 3740 3726 3708 3694 3680 3664 3654 3646 3628 3616 3610 3602 3586 3572 3566 3560 3554 3538 3528 3520 3514 3508 3500 3488 3478 3468 3462 3456 3452 3446 3432 3424 3414 3406 3402 3398 3392 3388 3376 3366 3358 3348 3344 3340 3336 3330 3326 3320 4356 4299 4260 4230 4206 4179 4158 4143 4116 4098 4086 4062 4041 4032 4020 3999 3981 3966 3957 3948 3927 3909 3894 3885 3879 3870 3849 3834 3816 3810 3801 3792 3786 3765 3753 3738 3726 3720 3711 3705 3699 3684 3666 3654 3639 3633 3624 3618 3612 3606 3597 4916 4820 4768 4736 4688 4660 4624 4608 4572 4544 4528 4500 4472 4452 4440 4412 4388 4368 4356 4344 4316 4296 4272 4260 4248 4236 4212 4192 4172 4156 4148 4136 4128 4100 4084 4064 4048 4036 4028 4016 4008 3992 3968 3952 3936 3920 3912 3904 3892 3884 3876 3860 5362 5287 5237 5177 5147 5097 5072 5027 4992 4972 4942 4907 4877 4862 4832 4797 4772 4752 4737 4712 4682 4652 4637 4622 4607 4582 4552 4527 4507 4492 4482 4467 4442 4417 4392 4367 4357 4342 4332 4322 4307 4277 4252 4232 4212 4197 4187 4177 4167 4157 4132 5898 5808 5736 5676 5634 5574 5538 5496 5448 5418 5388 5340 5304 5286 5262 5214 5172 5154 5136 5112 5070 5040 5010 4998 4980 4956 4914 4884 4854 4842 4824 4812 4794 4752 4722 4692 4674 4662 4650 4632 4620 4584 4554 4530 4500 4488 4476 4464 4446 4434 4410 6461 6328 6237 6174 6118 6055 6006 5971 5908 5866 5838 5782 5733 5705 5684 5628 5586 5558 5537 5516 5460 5425 5390 5369 5348 5327 5278 5250 5208 5194 5173 5152 5138 5089 5061 5026 4998 4984 4963 4949 4928 4900 4858 4830 4795 4774 4760 4746 4732 4718 4697 7052 6868 6764 6692 6604 6548 6476 6436 6364 6316 6284 6220 6164 6132 6108 6052 6004 5964 5940 5916 5860 5812 5772 5748 5724 5700 5652 5612 5564 5540 5524 5500 5476 5428 5396 5356 5316 5300 5284 5260 5244 5212 5164 5132 5100 5068 5052 5036 5012 4996 4980 4948 7425 7290 7200 7092 7047 6948 6903 6831 6768 6732 6678 6606 6561 6534 6480 6417 6363 6336 6309 6264 6210 6147 6129 6102 6075 6030 5976 5931 5895 5868 5850 5823 5778 5733 5688 5643 5625 5598 5580 5562 5526 5472 5436 5400 5364 5337 5319 5301 5283 5256 5220 7972 7832 7712 7602 7542 7442 7372 7312 7222 7182 7132 7052 6992 6962 6912 6842 6772 6742 6712 6672 6602 6542 6502 6472 6452 6402 6342 6292 6242 6222 6192 6172 6132 6072 6022 5972 5942 5922 5902 5872 5852 5782 5742 5702 5652 5632 5612 5582 5562 5542 5502 8558 8360 8217 8118 8030 7931 7843 7788 7689 7634 7590 7491 7425 7381 7348 7260 7194 7150 7117 7073 6996 6941 6886 6853 6820 6787 6710 6655 6600 6567 6545 6512 6479 6413 6358 6314 6270 6237 6215 6193 6160 6094 6050 6006 5951 5918 5896 5874 5852 5830 5797 9156 8904 8748 8640 8520 8436 8328 8268 8160 8088 8040 7944 7860 7812 7776 7680 7620 7560 7512 7476 7392 7332 7272 7236 7200 7164 7080 7032 6960 6924 6888 6864 6828 6756 6696 6648 6588 6564 6540 6504 6480 6420 6360 6312 6264 6216 6192 6156 6132 6108 6084 6036 9480 9298 9168 9012 8934 8804 8739 8635 8544 8492 8388 8310 8245 8206 8128 8037 7959 7920 7881 7816 7725 7647 7608 7582 7543 7478 7400 7335 7283 7244 7205 7179 7114 7049 6984 6919 6893 6854 6828 6789 6750 6672 6620 6568 6503 6477 6451 6425 6399 6360 6308 10038 9856 9674 9534 9436 9296 9212 9100 8988 8946 8862 8764 8680 8624 8568 8456 8372 8330 8288 8218 8134 8050 7994 7952 7924 7854 7770 7700 7630 7602 7560 7532 7476 7392 7322 7252 7210 7182 7140 7112 7070 6986 6930 6874 6804 6776 6748 6706 6678 6650 6594 10647 10392 10197 10047 9942 9792 9687 9612 9477 9402 9342 9207 9117 9057 9012 8892 8787 8742 8697 8637 8532 8457 8382 8337 8292 8247 8142 8067 7992 7947 7917 7872 7827 7737 7662 7602 7542 7497 7467 7437 7392 7302 7242 7182 7092 7062 7032 7002 6972 6927 6897 11268 10948 10740 10580 10436 10292 10164 10100 9956 9844 9796 9668 9540 9492 9444 9316 9220 9140 9092 9044 8932

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