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-S06J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r24sr-ovh1-140198150601418
=====================================================================

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

BK_START 1401987948755

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: 894 NrTr: 14334)

net check time: 0m0sec

place and transition orderings generation:4m30sec

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

894 1095 1173 1314 1330 1330 1595 1600 1607 1607 2169 2199 2211 2218 2218 2223 2223 2223 2223 2223 2223 3419 3443 3457 3457 3462 3462 3462 3462 3462 3462 3467 3467 3467 3467 3467 3467 3467 3467 3467 3467 5665 5665 5665 5665 5665 5665 5665 5665 5665 5665 5721 5721 5721 5721 5721 5721 5721 5721 5721 5721 6679 6679 7475 9746 9907 9907 11271 11411 11865 12169 12374 12757 13003 13233 13533 13871 14124 14434 14796 16199 18774 23396 23451 27323 27427 27790 28216 29110 29562 29712 29713 29717 29840 29971 30094 30221 30225 30352 30478 30500 30514 30525 30542 30594 30594 32163 32317 32303 32304 32344 32378 32390 32438 32490 33475 33525 34510 34563 35538 35592 35592 36560 36607 37566 37618 38572 38623 39565 39613 39613 39994 40231 40347 40352 40356 40360 40476 40588 40682 40784 40956 41109 41245 41259 41270 41287 41310 41339 41417 41676 41676 41952 42064 42064 42282 42418 42418 42380 42357 42358 42503 42641 42697 42705 42753 42753 43028 43164 43164 43169 43173 43289 43401 43565 43664 43766 43925 44078 44214 44228 44239 44256 44279 44308 44290 44311 44311 44333 44337 44487 44635 44773 44773 44786 44761 44761 44602 44537 44467 44458 44768 44938 44943 45061 45066 45070 45074 45190 45300 45394 45668 45668 45821 45957 45971 45999 46022 46051 46050 46050 46149 46116 46046 46060 46118 46015 46015 45901 45880 45887 46025 46025 45907 46028 46118 46120 46263 46244 46223 46336 46341 46341 46451 46460 46571 46581 46588 46599 46616 46639 46668 46661 46693 46693 46684 46683 46707 46685 46657 46546 46533 46506 46509 46619 46682 46684 46805 46786 46775 46802 46829 46844 46871 47022 47022 47143 47175 47189 47217 47240 47269 47240 47242 47270 47239 47232 47094 47088 47077 47033 46983 46927 47059 47029 47072 47074 47082 47082 47229 47346 47459 47558 47665 47829 47983 48119 48133 48144 48184 48213 48170 48170 48021 47883 47715 47699 47571 47443 47307 47076 47076 47250 47586 48090 48410 48605 49496 49769 49769 50433 50434 51638 51960 52335 52524 52742 53222 53947 53694 54012 54151 54669 54355 54991 55242 55745 55776 56057 55860 56149 56492 56699 56824 56827 57169 57875 58052 58082 58088 58076 58092 58132 58132 58132 59000 59145 59227 59189 59183 59177 59193 59233 59233 59233 59955 60029 60010 59991 59970 59986 60026 60026 60026 60912 60944 61089 61163 61113 61129 61169 61169 61169 62178 62210 62258 62332 62313 62294 62271 62311 62311 62986 62998 63002 63076 63038 63011 63012 63012 63140 64014 64028 64205 64241 64229 64245 64276 64285 64285 64413 67714 71541 71583 71691 71751 71947 71998 72000 72000 72114 72114 72114 72113 72018 71869 71867 71879 71862 71868 71972 72312 72729 73935 74402 74709 74931 75048 75193 75192 75173 75168 75204 75324 75434 75577 75585 75588 75872 76155 76440 76462 76473 76490 76513 76542 78241 78464 78561 78612 78839 78993 78972 78869 78869 78833 78833 78755 78678 78744 78747 79872 79907 80049 80085 80068 80094 80122 80134 80353 80611 80507 80507 80543 80544 80505 80505 80505 80505 81638 81788 81807 81843 81826 81852 81892 82111 82266 82304 82268 82268 82304 82266 82289 82266 82266 82266 83394 83563 83612 83637 83582 83608 83648 83876 84033 84035 84035 84035 84109 84033 84033 84033 84033 84033 85041 85073 85147 85147 85109 85069 85022 85201 85350 85352 85352 85352 85426 85388 85350 85378 85350 85350 86463 86537 86499 86499 86475 86501 86533 86706 86860 86862 86911 86936 86898 86860 86834 86834 86834 87831 87842 87924 87886 87864 87887 87890 87926 88110 88263 88231 88307 88269 88269 88231 88205 88205 88205 89178 89206 89209 89283 89245 89213 89226 89226 89313 89453 89427 89408 89482 89482 89444 89406 89393 90042 90250 90743 90861 91015 91015 91003 91009 90994 90981 91201 91298 91478 91584 91571 91911 92221 92494 92516 92527 92544 92567 92596 92668 92734 92734 92734 92725 92975 93275 93291 93295 93303 93376 93360 93372 93356 93496 93605 93926 93958 93964 94062 94039 94023 94035 94019 94267 94576 94568 94574 94529 94602 94602 94614 94598 94830 94853 94848 94846 94795 94789 94778 94762 94776 94776 94964 95111 95159 95187 95165 95037 94944 94918 95145 95007 95142 95145 95270 95268 95236 95217 95196 95170 95154 95188 95188 95192 95204 95176 95174 95123 95096 95096 95070 95054 95806 95712 96126 96251 96223 96226 96236 96249 96498 96595 96964 97175 97281 97195 97530 97863 98163 98185 98213 98236 98265 98249 98334 98337 98251 98328 98373 98469 98479 98530 98558 98552 98463 98427 98499 98561 98598 98577 98478 98570 98689 98603 98706 98835 98876 98876 98927 98949 98860 99058 99072 99176 99129 99132 99145 99164 99164 99064 99028 98979 98872 98929 98876 98859 98859 98767 98815 98815 98713 98753 98741 98700 98679 98583 99038 98999 99175 99305 99288 99294 99275 99254 99464 99668 99848 99950 99856 100114 100371 100610 100632 100643 100660 100683 100712 100647 100647 100553 100497 100505 100609 100505 100513 100416 100278 100281 100187 100176 100147 100251 100147 100155 100058 99942 99916 99910 99899 99915 99915 99767 99718 99624 99431 99447 99429 99382 99240 99367 99370 98998 98966 98947 98920 98810 99106 99132 99134 99143 99136 99090 99095 99100 99105 99070 99079 99190 99303 99310 99321 99338 99361 99390 99288 99178 99092 99077 99077 98965 98907 98762 98659 98659 98561 98551 98469 98339 98321 98288 98176 98176 98103 97957 97838 97780 97639 97639 97814 97850 97813 97812 97945 98076 98236 98247 98069 98040 97853 97659 97641 97423 97339 97318 98001 98199 98946 98907 99050 99172 99172 99187 99193 99205 99585 99810 99995 100208 100331 100329 100327 100898 101403 101539 101561 101572 101589 101612 101641 101980 102008 102036 102029 102066 102068 102118 102135 102125 102123 102073 102081 102048 102044 102194 102201 102229 102208 101998 101998 102000 101976 101961 101985 102107 102135 102142 102149 102055 101939 101605 101775 101692 101840 101917 101907 101869 101839 101839 101882 101882 101882 101914 101962 101952 101940 101878 101879 101867 101898 101804 101804 101798 101589 101562 101579 101507 101514 101504 101537 101443 101443 101287 101057 100980 100847 100837 100759 100762 100754 100665 100665 101313 100886 101070 101795 101699 102261 102616 102870 103174 103557 103707 103921 103477 103882 103802 103438 103072 103072 102719 102719 102321 102348 102358 102346 102236 102236 102518 102518 102713 103499 103389 104107 104339 104680 104855 105258 105602 105183 105156 105546 105466 104698 104762 104762 104453 104453 104061 104061 104075 104063 103939 104738 104240 104489 104489 105413 105315 106300 106388 106782 106969 107354 107568 107194 107479 107576 107496 106723 106786 106786 106476 106476 106133 106164 106183 106187 106175 106063 106834 106374 106633 106633 107595 107493 108498 108612 109000 109136 109513 109727 109377 109714 109671 109319 108902 108961 108961 108621 108621 108338 108338 108361 108349 108233 108233 108584 108584 108860 109879 109774 110651 110876 111133 111366 111749 112081 111701 111674 112082 112002 111641 111279 111279 110930 110930 110611 110635 110647 110654 110642 110523 111330 110875 111161 111822 112216 112108 113167 113360 113665 113905 114346 114560 114140 114476 114442 114076 113712 113712 113712 113361 112950 112971 112971 112985 112973 112851 109009 107814 106615 104809 104681 105495 105718 106028 106620 106761 106761 108577 108740 109605 109739 110356 110613 111313 111473 112252 111452 112250 112204 112221 112835 113058 112867 112416 112986 112505 113014 113212 113559 113913 114102 113913 113696 114024 114552 115042 115354 115430 115233 115281 115338 115338 115338 116092 116105 116517 116609 116464 116375 116406 116458 116458 116458 117126 117140 117138 117232 116971 117008 117056 117056 117056 118129 118206 118601 118782 118530 118578 118635 118635 118635 119291 119310 119426 119406 119377 119490 119141 119195 119195 119865 119939 119938 119863 119947 119764 119489 119491 119491 120329 120348 120824 121183 121063 121043 121091 121148 121148 121148 122249 124777 129967 130967 131839 132035 132183 132133 132145 132275 132275 132275 132282 131907 131544 131646 131760 131760 131765 131817 132261 132678 134040 134507 135237 135774 135818 136081 136148 136162 136125 136125 136125 136161 136160 136294 136302 136305 136664 137022 137382 137404 137415 137432 137455 137484 139676 139913 140236 140564 140740 140652 140807 140961 140677 140409 140327 140327 140373 140091 139858 139929 139932 141324 141690 141641 141923 141720 141759 141813 142035 142300 142603 142623 142779 142787 142528 142653 142631 142643 142643 144021 144373 144310 144592 144431 144470 144524 144746 145014 145323 145370 145465 145459 145242 145345 145373 145357 145357 146962 147294 147354 147467 147194 147233 147287 147509 147724 148001 148135 148108 148281 147952 148055 148067 148067 149449 149469 149593 149555 149526 149639 149146 149095 149267 149529 149864 150075 150033 150054 150138 149955 149785 149769 149769 151062 151312 151310 151404 151124 151163 151195 151355 151606 151847 151835 151930 152022 151720 151682 151694 151694 151694 152972 153058 153150 153101 152877 152916 152957 153135 153393 153620 153586 153584 153678 153376 153344 153356 153356 154605 154625 154723 154663 154634 154706 154368 154381 154468 154629 154950 154998 155132 154900 154984 154617 154607 154607 156323 156951 156964 156947 157174 157202 157174 157140 157080 157027 156981 157201 157189 157369 157475 157845 157845 158187 158469 158491 158519 158542 158571 158764 158895 158844 158817 158747 158738 159055 159087 159338 159341 159317 159261 159334 159330 159352 159321 159343 159289 159259 159264 159159 159491 159829 159726 159739 159729 159802 159798 159820 159820 159789 159757 159727 159732 159627 159845 159975 160191 160213 160117 160041 160114 160110 160079 160145 160120 160069 160039 160044 159939 160287 160606 160470 160464 160459 160171 160167 160189 160189 160181 160225 160149 160162 160162 160162 160591 160939 160954 161086 161097 160792 160558 160520 160444 160302 160263 160397 160400 160627 160639 160506 160509 160302 160289 160293 160315 160334 160359 160283 160154 160183 160183 160398 160424 160550 160296 160291 160243 159999 159999 159995 160017 159875 159894 159919 159843 159714 159753 160899 161539 161576 161809 161761 161770 161785 161789 162070 162025 162475 162699 162805 162719 163090 163521 163876 163898 163909 163926 163949 163978 164099 164169 164147 164121 164035 164282 164335 164430 164458 164455 164604 164653 164564 164716 164746 164873 164725 164767 164771 164755 164570 164496 164615 164529 164790 164930 164998 164995 164995 165144 165193 165104 165370 165394 165758 165843 165840 165746 165810 165810 165810 165827 165884 165761 165614 165494 165594 165631 165628 165551 165485 165314 165374 165374 165560 165526 165595 165467 165470 165248 165152 166154 165810 165986 165988 166031 166009 165923 165908 165883 166093 166297 166477 166579 166437 166695 166952 167191 167213 167224 167241 167264 167293 167318 167278 167216 167109 166983 167086 166836 166798 166782 166635 166562 166499 166444 166302 166156 166132 166063 166025 166009 165881 165872 165846 165834 165680 165696 165696 165617 165558 165451 165308 165260 165276 165112 165097 165052 164778 164905 164908 164908 164712 164446 164227 164227 164027 164377 164380 164471 164466 164336 164341 164346 164351 164351 164316 164325 164436 164549 164556 164567 164584 164607 164636 164678 164534 164424 164323 164225 164215 164090 164090 164032 163887 163784 163676 163551 163551 163533 163339 163321 163346 163288 163176 163161 163161 163103 162957 162916 162764 162605 162605 162859 162926 162928 162845 162990 163109 163288 163299 163080 163009 162749 162514 162488 162488 162201 162033 162081 162531 162554 162339 162484 162605 162616 162415 162201 161776 161776 161822 161822 161845 162103 161999 162934 163563 164283 164399 164932 165043 165813 165856 165102 165439 165322 164609 163972 163353 163353 162777 162176 162453 162767 162876 162508 162390 162059 162781 162160 162176 162300 162316 162316 163825 164209 164739 165130 165425 166033 166325 165467 165175 165879 165670 164333 164333 163607 163075 163075 162703 162786 163108 163085 162641 162329 163058 162398 162418 162418 162673 162566 164040 164266 164986 165105 165609 165666 166397 166440 165646 166111 165945 165240 164603 163845 163845 163312 162758 163038 163322 163644 163621 163206 162646 162646 162712 162712 162740 163003 162904 163844 164457 165225 165459 165836 166048 166656 166895 166793 165814 166535 166326 165625 164988 164232 164232 163669 163148 163435 163718 164053 164030 163614 163501 163063 163582 163152 163176 163435 163332 164260 164875 165289 165828 166259 166479 167087 167173 167216 166241 166968 166759 166048 165411 164650 164650 164078 163548 163836 164039 164367 164344 163926 163809 163373 163630 163188 163200 163447 163332 164238 164835 165400 165579 165908 166042 166664 166704 165947 165655 166295 166086 164734 163974 163974 163400 163400 163026 163037 163282 163259 162888 162355 158048 156849 155646 154439 153705 154231 154669 154793 154793 155078 155079 157784 157997 159015 159255 159928 160185 161169 161314 161985 160578 161751 162207 161253 162007 161620 161805 161669 161840 161491 161794 162126 162354 162669 162490 162263 162591

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