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


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

BK_START 1401986495564

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: 752 NrTr: 1572)

net check time: 0m0sec

place and transition orderings generation:0m3sec

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

752 1043 1278 1739 2537 3234 3958 4333 4799 5729 6066 6628 6993 7880 8332 8783 9482 10310 11281 11624 12289 13065 13782 14631 14976 15322 15883 16129 16552 16837 17220 17339 17907 18140 18338 19624 19636 19652 19665 19995 20663 20901 21266 22076 22549 22895 22744 22744 22878 23190 23634 23092 23026 23223 23062 23062 23091 23135 23189 23400 23786 24205 24507 25225 25789 25911 25791 25669 25551 25779 25671 25617 25633 25650 25776 25785 26099 26540 26641 27231 27490 27909 27786 27705 27588 27929 27565 27559 27568 27653 27654 28002 28540 28747 29341 30117 30527 30449 30327 30491 30759 30296 30099 29977 30018 30047 30101 30310 30713 30873 31268 32069 32543 32548 32301 31894 31548 31599 31475 31387 31416 31470 31593 32090 32330 32542 32842 33372 33455 33233 33015 32868 32854 32866 33005 33360 33646 33954 34283 34556 34543 34393 34217 34060 34091 34150 34587 34913 35193 35332 35558 35516 35329 35249 35197 35200 35829 35904 36059 35832 35828 35660 35729 35853 35924 36001 36185 36286 36292 36953 36519 37150 36984 36893 36692 36761 36843 36975 37050 37137 37230 37332 37346 37538 38028 38157 37902 37883 37725 37845 37907 38049 38135 38227 38325 38330 38492 38901 39056 38828 38809 38646 38763 38822 38958 39041 39130 39225 39405 40706 41762 42527 42991 43676 45009 45808 46955 47494 48521 49836 50835 52258 52684 54202 54575 55271 55591 56903 57570 57741 58143 58714 58760 58792 59691 59768 60022 60034 62075 63460 63367 64774 67213 68447 70577 71162 71375 72236 73321 73239 73527 74684 74907 74815 74952 75698 76091 76283 76700 77600 78151 78312 79339 79258 79969 80106 80520 80547 80744 80779 81132 81070 81660 81617 81933 81760 82575 82891 84155 84226 84258 84255 84539 84434 84571 89608 89620 91389 89535 89301 89686 89969 90271 90686 91003 91133 91535 91444 91427 91479 92347 92424 92675 92671 93609 94481 94351 95887 97738 99456 99993 100195 101202 100796 100754 101791 101734 101649 101921 102208 102028 102964 103192 101891 102040 102512 101861 101176 101090 101453 101230 100470 100419 100629 99909 100012 101082 99519 99427 99415 98639 98601 98844 99231 99499 99886 100055 100288 100509 100795 100592 100558 100578 101255 101457 101652 101654 102188 102517 102960 104575 105497 106096 106097 106492 106081 106188 106132 106272 106514 106169 106241 106285 105998 105570 105751 105950 105226 105182 105305 104931 105005 104952 104831 104889 104636 104450 104550 104777 104777 104673 105108 105381 105911 106123 106156 106208 106928 107138 107345 107516 107426 108730 108858 110728 112273 113806 114050 114311 114173 114536 114382 114407 114378 113837 115010 114439 113721 113020 112846 113095 112598 113017 112151 111803 112088 111181 111399 111594 111767 111861 112087 112403 112821 113339 113090 113131 113167 114073 114187 114425 114105 114329 114506 115700 116708 117684 118053 117825 118163 117836 118039 117176 116476 114823 114939 113712 114528 113470 113339 112306 112274 112538 112503 112356 112395 112652 112786 113077 112996 112907 112925 113574 113651 113832 113898 113792 114660 114880 115511 116369 116396 116216 116256 116253 115591 115188 115324 114711 114352 114320 114429 114405 114381 114297 114538 114649 114825 114776 114780 114769 114796 115299 115376 115588 115588 116136 116456 116319 116838 117165 117224 117156 116901 116743 116155 115681 115649 115649 115682 115684 115568 115839 116146 116174 116367 116181 116153 116161 116977 117098 117304 117259 117994 119217 119889 120021 120137 120584 120801 120861 121141 121239 121134 121039 121120 121363 121164 121209 121615 121895 121804 121807 122135 122231 122236 122391 122346 122434 122518 122875 122717 122762 122825 123044 122828 122873 123279 123579 123506 123471 123672 123525 123337 123351 123239 123225 122905 123149 123224 123293 123311 123252 123203 123197 123552 123584 123790 123841 124447 124433 124309 123910 123866 123866 123865 123831 123715 123826 124121 124555 124954 124298 124057 124036 123938 124022 124082 124142 124287 124347 124407 124416 125455 124511 125029 125638 124840 124743 124740 124571 124638 124752 124809 124891 125005 125062 125048 125109 125109 125465 125825 126305 125582 125566 125134 125189 125310 125359 125482 125531 125580 125439 126345 125455 126064 126585 125692 125689 125672 125498 125597 125643 125760 125806 125898 125554 126521 127323 127913 128389 128550 131341 134147 136107 136450 137476 143416 145184 148097 150709 151855 155861 158377 158694 158993 162231 162615 163362 163687 166719 168289 168933 169904 170394 170754 170882 173080 174218 174699 174973 175219 179393 182147 183475 190722 194912 198671 200705 200741 201477 203437 205005 204725 205015 205894 206910 206518 207063 207193 209694 210727 214575 216143 216140 217080 219569 220562 222037 222051 222686 222292 223274 222878 223512 223068 225472 225314 225874 225578 227973 229020 232868 233263 233304 232716 233073 232728 232979 246177 246372 251466 251566 245318 246942 248161 249091 250012 251220 251812 252492 252393 252394 252497 254617 255739 256221 256290 256247 257581 259494 261275 266130 269300 273025 273027 275466 275089 276393 276800 277924 277702 277342 278720 278145 278024 281374 277978 277022 277120 277822 276559 274206 273699 274419 273370 271622 271595 271940 269891 270577 273418 268286 268167 267686 267192 264937 265609 266478 267076 270911 271219 271598 270784 267546 267492 267383 267207 268166 268654 268770 269272 269177 268974 269042 271441 271672 272202 272122 273776 274539 275629 279262 280830 281823 281822 282310 282445 282359 282729 282939 282781 282632 282297 282870 281477 280681 279893 279880 280492 278635 278432 278922 277635 278020 276592 276128 276341 275456 274879 275103 275297 275259 274771 276449 277031 278632 279328 279306 279577 281697 282936 283558 284010 283758 284510 286805 290607 293000 295806 295791 296936 297583 297786 297515 297815 297805 296244 297304 297254 294526 293241 290942 290903 291411 290736 292164 289274 288499 288807 286739 287374 287808 288251 288584 289918 290667 292015 293151 292802 292986 293144 296344 296821 297343 296951 297387 298048 300288 302318 303876 304803 305455 305672 305369 305239 304475 303051 300969 298664 299042 296200 297496 292611 292954 290547 290437 291095 290973 290443 290719 291730 292037 292546 292203 292064 292091 294188 294255 294657 294644 294453 296796 296796 297817 298556 298643 298377 298813 298354 297616 297272 296777 295837 295393 294338 294173 294296 294249 294098 293604 294663 294774 295051 294990 294821 294779 294819 296497 296647 296933 296843 298510 298914 298460 299389 299375 299483 299420 299246 299095 298781 297836 296776 296566 296611 296611 296469 295835 296896 296762 296929 296812 296717 296673 297405 298001 298093 298218 297935 300130 300346 300278 299580 299246 299037 299058 299034 298131 298165 299160 299075 299387 299105 298978 298944 298920 300185 300230 300498 300376 302117 301806 301444 301125 301102 301092 301063 300118 303145 300228 300560 303642 303466 301471 300721 300442 300293 300395 300453 300511 300627 300685 300743 300752 303619 300845 301210 304258 304082 302087 301075 301057 300930 300979 301077 301126 301175 301273 301259 301309 301312 301705 303534 304551 302556 301806 301788 301357 301435 301481 301573 301619 301711 301610 304367 301534 301868 304950 304774 302779 301767 301750 301585 301671 301721 301821 301871 301971 301865 304258 306085 307345 308305 308197 312330 316940 320022 320366 321693 330554 331854 339627 343153 344437 349207 353526 353928 354293 359404 359659 360053 360700 365580

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