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


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

BK_START 1400686410948

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: 1000 NrTr: 40400)

net check time: 0m0sec

place and transition orderings generation:5m19sec

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: 5m39sec

1085 1112 1133 1151 1169 1181 1196 1208 1220 1229 1241 1250 1259 1268 1277 1286 1295 1301 1310 1319 1325 1331 1340 1346 2048 2083 2107 2125 2143 2158 2170 2182 2194 2206 2215 2227 2236 2245 2254 2263 2272 2278 2287 2296 2302 2308 2317 2323 2020 2071 2098 2119 2134 2152 2164 2179 2191 2200 2209 2221 2230 2239 2248 2257 2266 2275 2281 2290 2296 2305 2311 2320 2012 2707 2737 2758 2776 2791 2806 2818 2833 2842 2854 2863 2875 2884 2893 2902 2911 2920 2926 2935 2941 2950 2956 2965 2971 2565 2578 2602 2623 2638 2653 2668 2677 2689 2701 2713 2722 2731 2740 2749 2758 2767 2773 2782 2791 2797 2806 2812 2818 3038 3019 3043 3064 3082 3097 3109 3124 3133 3145 3157 3166 3175 3184 3193 3202 3211 3220 3226 3235 3241 3250 3256 3265 2929 3477 3504 3525 3543 3558 3573 3588 3600 3609 3621 3630 3639 3648 3657 3666 3675 3684 3693 3699 3708 3714 3723 3729 3735 3973 3999 4020 4038 4056 4071 4083 4098 4107 4119 4128 4137 4149 4158 4167 4173 4182 4191 4200 4206 4215 4221 4227 4236 4480 4476 4500 4521 4536 4554 4566 4578 4590 4602 4611 4620 4632 4641 4650 4659 4665 4674 4683 4689 4698 4704 4713 4719 4973 4924 4951 4972 4990 5005 5020 5032 5044 5056 5065 5077 5086 5095 5104 5113 5122 5128 5137 5146 5152 5161 5167 5173 4882 5583 5613 5634 5652 5670 5685 5697 5709 5721 5733 5742 5751 5763 5772 5781 5790 5796 5805 5814 5820 5829 5835 5841 5850 5445 5439 5463 5484 5502 5517 5529 5544 5553 5565 5574 5586 5595 5604 5613 5622 5631 5637 5646 5652 5661 5667 5676 5682 5996 5958 5982 6003 6021 6036 6051 6063 6075 6087 6099 6108 6117 6126 6135 6144 6153 6162 6168 6177 6183 6192 6198 6204 5969 6508 6535 6559 6577 6592 6607 6619 6631 6643 6652 6664 6673 6682 6691 6700 6709 6718 6724 6733 6742 6748 6754 6763 6769 6963 6975 6999 7017 7035 7047 7059 7074 7086 7095 7107 7116 7125 7134 7143 7152 7161 7170 7176 7185 7191 7200 7206 7212 7393 7370 7394 7415 7433 7448 7463 7475 7487 7499 7508 7520 7526 7538 7547 7553 7562 7571 7580 7586 7595 7601 7607 7616 8016 7938 7965 7989 8004 8022 8034 8049 8061 8073 8082 8091 8103 8112 8121 8130 8136 8145 8154 8160 8169 8175 8184 8190 8196 8463 8493 8514 8532 8550 8562 8577 8589 8601 8613 8622 8631 8643 8652 8661 8667 8676 8685 8694 8700 8709 8715 8721 8730 8700 8687 8711 8732 8747 8762 8777 8789 8801 8813 8825 8834 8843 8852 8861 8870 8876 8885 8894 8900 8909 8915 8924 8930 9303 9245 9272 9293 9311 9326 9338 9353 9365 9374 9386 9395 9407 9416 9425 9434 9443 9449 9458 9467 9473 9482 9488 9494 9057 9586 9613 9634 9652 9670 9685 9697 9709 9721 9733 9742 9751 9763 9772 9781 9790 9796 9805 9814 9820 9829 9835 9841 9850 9806 9790 9814 9835 9850 9865 9880 9892 9904 9913 9925 9934 9946 9955 9964 9973 9979 9988 9997 10003 10012 10018 10027 10033 10167 10101 10125 10146 10164 10179 10194 10206 10218 10230 10242 10251 10260 10272 10281 10290 10296 10305 10314 10320 10329 10335 10344 10350 10356 10460 10490 10511 10532 10547 10562 10577 10589 10601 10610 10622 10631 10640 10649 10658 10667 10676 10685 10691 10700 10706 10715 10721 10727 10353 10322 10346 10367 10385 10400 10412 10424 10436 10448 10460 10469 10478 10487 10496 10505 10514 10523 10529 10538 10547 10553 10559 10568 10170 10701 10728 10749 10767 10782 10797 10809 10821 10833 10842 10854 10863 10872 10881 10890 10899 10908 10917 10923 10932 10938 10947 10953 10959 11037 11043 11067 11085 11103 11118 11130 11142 11154 11166 11175 11187 11196 11205 11214 11220 11229 11238 11244 11253 11262 11268 11274 11283 11658 11632 11656 11674 11692 11707 11719 11734 11746 11755 11767 11776 11785 11797 11806 11812 11821 11830 11839 11845 11854 11860 11866 11875 12017 11928 11955 11976 11994 12009 12024 12036 12048 12060 12072 12081 12090 12099 12108 12117 12126 12135 12144 12150 12159 12165 12174 12180 12186 12194 12197 12221 12239 12257 12272 12284 12296 12308 12320 12332 12341 12350 12359 12368 12374 12383 12392 12401 12407 12416 12422 12428 12437 12871 12912 12936 12957 12975 12990 13002 13014 13026 13038 13050 13059 13068 13077 13086 13095 13104 13113 13119 13128 13137 13143 13149 13158 12239 12765 12792 12813 12831 12846 12861 12873 12885 12897 12909 12918 12927 12936 12945 12954 12963 12972 12981 12987 12996 13002 13011 13017 13023 13136 13137 13161 13179 13197 13212 13224 13236 13248 13260 13269 13281 13290 13299 13308 13314 13323 13332 13338 13347 13356 13362 13368

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