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

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

BK_START 1401986556506

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: 536 NrTr: 1064)

net check time: 0m0sec

place and transition orderings generation:0m1sec

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

789 936 1449 1449 2327 2737 3442 4150 4566 5185 5907 6354 7153 7934 9011 9278 9659 10117 10797 10823 11250 11662 12066 12274 11776 11785 11811 12339 12790 12832 12824 12842 13150 13544 13840 13688 13670 13980 14338 14611 14308 14309 16561 16909 17700 19046 19806 20843 21722 22075 22558 23300 23426 23918 25057 26340 27270 27844 28207 28699 28964 28889 29855 31170 31151 31372 31593 31739 32058 32205 33047 34090 34073 34030 34070 34027 33860 33722 33648 33654 33780 34014 34424 34460 34804 35436 34973 34878 34033 33823 33769 33967 34008 34345 34438 35038 35026 34575 34510 34439 34627 34651 34870 34959 35134 35013 34941 35190 35652 35451 35385 35495 35566 35778 36426 35921 36023 36159 36239 36412 36865 36663 36539 36643 36779 36931 37397 37172 37138 37207 37369 38009 37930 37901 37741 37882 37957 38041 38211 38853 38352 38456 38600 38684 39099 39236 40098 40519 42033 44158 44603 46357 46838 47292 48185 48371 49495 50651 52878 54421 55281 55308 56545 56732 56799 57773 58014 60148 60040 60339 60839 60891 61637 62034 62907 63469 63252 63172 62578 61388 60978 61496 61011 61287 61625 62534 62707 63052 63693 63129 62649 61790 61575 61482 61867 61931 61989 62323 62915 62690 62121 61957 62295 62358 62671 62620 63138 62839 62588 62717 63417 62896 62801 62905 63009 63016 63125 64144 63143 63210 63278 63311 63408 64319 63730 63520 63608 63652 63739 64456 64083 63785 63883 63965 64862 64299 64959 64090 64182 64260 64258 64337 65361 64371 64458 64552 64599 64985 65053 65924 66355 67984 69938 70471 72358 72849 73233 74339 74630 76040 77346 79185 81723 81963 82799 83948 84762 85340 86006 86133 87596 87623 87970 88566 88612 89474 89578 90490 90700 90425 90264 88833 88095 87772 88828 87513 88191 88480 89826 90074 90384 90838 89759 89216 88903 88857 89191 89203 89093 89667 90027 90005 89476 89220 89185 89540 89432 89982 90439 90204 89986 89807 89935 90927 89962 90028 90112 90158 90267 91274 90585 90365 90409 90497 91517 90818 91587 90643 90711 90779 90865 91081 91850 90888 90987 91026 91065 91145 92250 91167 91221 91293 91329 91405 92400 91579 91531 91583 91687 91385 89131 89450 89688 91087 93001 93237 94115 95156 95626 95897 96633 96625 97918 99791 102253 102891 103816 104723 106000 106386 106086 107109 108421 108356 108907 109348 109375 109871 109968 110662 111037 110797 109622 109038 108261 108878 108205 107849 108656 108534 109812 109443 110070 109686 108734 108622 108167 108044 108231 108256 108620 108679 109243 108582 108242 108351 108195 108512 108321 108555 108909 108855 108609 108349 108359 109311 108657 108369 108369 108369 108376 109334 108525 108376 108374 108374 108373 108546 109282 108351 108351 108351 108351 108351 109384 108351 108348 108348 108348 108347 109301 108645 108346 108346 108346 108344 107371 107391 106257 105992 105992 105992 104821 97715 97485 97840 98817 100084 99481 99637 99831 100090 100109 99660 99868 101047 102736 103355 104275 105149 106399 106787 107233 107224 108281 108216 107192 107449 107399 107425 107363 107497 107595 107360 106087 105513 104673 104956 104322 103039 103248 102594 102758 101174 101436 100921 100002 99721 99065 97717 97937 97787 97771 97639 97673 96908 96518 96147 95991 96157 95969 95958 96106 95216 94730 93856 93856 94784 93856 93856 93856 93856 93860 94801 93857 93855 93855 93853 93854 94747 93854 93854 93854 93854 93854 94052 93854 93851 93851 93851 94064 93991 93835 93835 93835 91994 91556 90182 89819 89819 89819 87757 78907 77965 77604 77577 78463 77609 77763 77955 78146 78193 77762 77687 78353 79402 80594 81553 82354 83572 83435 83699 84417 84068 82956 83163 83113 83147 83101 83392 83594 83616 82667 82280 81353 80786 80089 79712 79314 79145 77895 78283 77359 76985 76347 75065 75334 75135 75103 74987 75019 74652 74241 73775 74011 73753 73717 73589 73361 72883 72192 72137 73022 72137 72137 72137 72144 72111 72953 72111 72109 72109 72108 72090 72981 72095 72095 72095 72082 72275 72238 72082 72079 72079 72056 73008 72190 72040 72040 72040 70022 69388 68134 67911 67911 67911 64370 55605 54271 54267 54232 54257 54211 54448 54187 54531 54163 54336 54141 54127 54127 54118 54117 52326 51509 49223 49667 51248 52168 52831 55207 55531 57807 58974 60511 61067 61856 62436 62640 63638 65366 66101 66607 67326 67622 68193 68824 69215 69561 70487 71021 71399 71571 71378 71619 71442 71693 72216 72806 73174 73119 73137 72969 73418 73233 73445 74151 74372 74106 74247 73816 74857 76210 76473 78041 79015 80013 79420 79745 79830 79325 78849 78827 78766 78652 78500 78166 78304 78299 78299 78299 78344 78347 79516 78669 78351 78478 78478 78478 78480 78551 78551 79809 78551 78702 78702 78702 78702 78703 78718 78728 79885 79043 78738 78867 78867 78867 78867 78914 78906 80179 78898 79012 79037 79043 79052 78933 78868 77758 77731 77298 77065 77065 77065 75787 70812 70765 70973 71578 71578 71588 71588 71585 71579 71579 71579 71554 71260 70694 71036 71026 70888 70707 71221 72270 72310 74489 74741 75114 75513 75938 76349 77487 78265 78651 78621 79006 79080 79217 79305 79240 79245 79585 79185 78941 79107 79275 78882 78836 78836 80076 78836 78858 78863 78872 79184 79197 79292 79122 78804 78804 78804 78804 78770 78770 79992 78770 78788 78770 78770 78771 78759 78769 80008 78779 78799 78811 78813 79181 78783 79184 79096 78763 78763 78763 78756 78340 77203 77151 75803 75120 75132 75135 70108 70611 73168 74335 78589 80002 80327 80713 81113 81472 81845 82147 82501 83467 85102 84770 86146 88106 88748 89723 90339 91041 91328 91444 91015 91094 91671 92419 92682 93169 92746 93116 93598 93088 94275 94109 94904 95198 88394 88339 88486 87815 87815 87834 88074 88043 87857 87853 87853 87853 87853 87857 87872 88125 88094 87891 87887 87887 87887 87887 87887 87892 89573 87897 87897 87921 87927 87936 87903 87915 87912 89591 87909 87909 87909 87934 87946 87911 87916 87910 89574 87891 87891 87914 87920 87931 87811 87759 85843 84782 83107 83107 83127 83139 83141 80933 81254 82587 82654 84905 84983 85515 85692 86069 86340 86539 87125 86789 86995 86993 87164 86703 86598 86807 86350 83660 83666 83919 83889 83720 83725 83734 84090 84109 84007 83928 83749 83728 83728 83728 83733 84097 83738 83738 83738 83739 83753 83750 84007 83747 83747 83747 83745 83744 83966 83936 83742 83748 83759 83785 81537 79514 78340 78359 78371 78373 86166 86356 86773 86768 86635 86500 86899 87250 88801 91126 98869 99047 103374 102732 103867 103991 104381 106060 106141 106145 107685 107823 107875 107977 109466 109710 109745 109747 109781 111502 111573 111700 111741 111704 112041 112354 112257 112208 112574 112387 113069 113118 113142 113037 112828 112844 113096 113519 113466 113491 113498 113518 113648 113442 113718 113705 114123 114349 113839 113578 113852 113835 114253 114722 113567 114234 114685 115549 118719 119135 122543 123596 124744 124315 124489 124580 126054 126475 126527 125899 125650 125756 125140 125473 125057 125961 124679 125235 125373 126060 128193 128206 129717 130641 131133 131807 132076 132170 132258 133563 133616 132856 132447 132239 132355 131676 131705 131855 131668 130233 130461 130606 131006 133080 133386 135641 137074 137707 137245 137336 137536 138356 138446 138258 137905 137556 137621 137004 137149 137678 136647 135708 135114 135222 135717 136845 136887 138115 138591 139310 139813 140058 140467 140591 141511 141908 141585 140549 140067 140185 140046 139548 139179 139595 137874 138847 138252 138508 139747 139622 139817 141207 142059 142567 142645 143272 143243 144388 144632 144571 143911 142797 142736 142756 141973 141920 142205 140901 139310 144620 142978 145371 147463 147626 148461 148983 148827 149115 149829 150272 149662 149972 150525 150711 149768 149019 148494 148099 147966 147974 147822 147668 147756 147723 147625 147689 148896 149249 148355 150754 152398 150977 150923 151585 153066 153938 155067 155675 155501 155706 155861 156113 155622 155218 154422 153786 153364 153069 152831 152403 152392 152072 151279 147801 149324 149431 152323 151515 152068 152166 152539 153900 154041 154077 155282 155476 155576 155580 156817 156976 156980 157036 157113 158588 158766 158770 158772 158765 158803 158985 159067 159116 159508 159090 159551 159430 159458 159231 159831 159597 159270 159557 159478 159627 159989 159989 159835 159442 159719 160048 160464 160601 159103 159128 158907 158674 158759 158789 157674 159002 159028 162011 161214 161637 161697 162104 163366 163581 163574 164719 164859 164864 164868 166192 166348 166352 166478 166481 167839 167911 167915 168007 168051 168095 168324 168172 168430 168509 168383 168853 168735 168758 168533 168744 168507 168538 168854 168771 168926 169133 168898 169033 168664 168870 168910 169312 169199 168689 167968 167616 167238 167252 167267 165980 169728 167587 170402 169318 170018 170092 170576 171784 171790 171909 173106 173238 173334 173338 174607 174671 174644 174676 176047 176300 176374 176377 176380 177114 176447 176642 176663 176677 176972 177335 176923 177229 177658 178059 178459 177664 177010 177226 177664 178027 178455 176928 176934 177157 177558 178008 178075 176908 176410 175855 175871 175876 175855 174145 175604 177628 177564 177955 178092 178134 179698 179810 179969 179975 181228 181231 181385 181388 182799 182882 182914 182918 184216 184372 184490 184494 184497 185402 184735 185301 185647 186000 186388 185252 184957 185246 185431 186011 186403 186570 185733 185082 185283 185693 186092 186487 184959 184999 185275 185375 185955 186108 184959 184971 184258 183917 183927 183913 183950 182224 183915 185993 186163 186456 186545 186614 188151 188263 188328 188422 189651 189654 189656 189805 191141 191145 191301 191306 192580 192685 192688 192652 192781 192828 193123 193078 193094 193044 193222 193709 193302 193595 193643 193866 193870 194086 193432 193640 193663 193921 193921 193333 193376 193681 193607 193954 194028 192984 192965 192656 191997 191997 191997 190710 192349 192349 195293 194295 195047 195178 195571 196919 197089 197096 198278 198531 198587 198591 199821 199949 200155 200161 200131 201573 201612 201668 201804 201803 201859 202003 201893 201944 201993 202161 202611 202178 202448 202466 202436 202440 202228 203001 202560 202533 202554 202812 202832 202247 202719 202396 202577 202622 202972 202996 201965 201956 201725 201243 201006 201006 201045 199702 205909 207930 208740 210003 210038 213313 212190 212224 212264 212632 213014 213017 213003 213445 213448 213595 213597 213947 214011 213982 214013 214301 214337 214386 214502 214503 215199 214532 214718 214726 214707 214743 214613 214624 214916 214903 214873 214877 214692 214704 214989 214908 215260 215260 214646 214632 214937 214845 215234 215583 214576 214623 214757 214663 215010 215359 215135 215396 214906 216331 216387 217372 217550 218562 218771 219295 219413 220082 219730 219641 219120 218450 218439 217612 216912 219376 216380 217722 217282 218211 218141 219349 219818 220730 221404 221673 221767 221853 221942 221891 220977 220555 220153 219935 219335 218861 218849 216588 216949 217415 218506 218474 219372 220728 221361 220936 220984 221172 221757 221809 221654 220518 220515 220311 219480 219556 219870 217368 217519 218145 218655 218488 219529 220453 220906 221365 221883 222002 221989 222144 222494 221801 220933 220496 220446 219747 219098 219389 217383 218641 218118 219038 218956 220111 220581 221266 221742 221975 222432 222530 222580 222838 222563 221346 220896 220849 220364 219727 219834 217545 219300 219724 219102 219766 221742 220955 220148 218198 218121 218025 220925 218602 218674 218662 219004 219096 219238 219240 219316 219465 219463 219465 219537 219531 219502 219660 219718 219914 219915 219903 219904 220607 219943 220127 220113 220224 220511 219978 219989 220280 220266 220236 220632 220051 220057 220341 220259 220609 220999 219999 220582 220216 220419 220895 221280 221280 220160 219653 219107 219107 219127 219140 217360 220172 216946 220590 217343 217420 217441 217726 217724 217866 217853 217822 217818 217815 217863 217903 217897 217868 218053 217940 217968 217969 217957 218121 218797 218130 218317 218325 218304 218340 218165

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