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

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

BK_START 1401987290246

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: 618 NrTr: 3190)

net check time: 0m0sec

place and transition orderings generation:0m13sec

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

902 1012 1589 1599 2756 2770 2774 2778 5100 5130 5138 5142 5146 5146 9618 9618 9645 10434 10891 11664 12066 12806 13118 13722 14428 15308 15738 16527 17066 17554 17682 17939 18394 18847 19072 19109 19020 19215 19630 20145 20441 20457 20338 20624 21040 21631 21740 21714 21643 22021 22491 22563 22418 23570 23688 23803 23918 24944 25052 25444 26420 27027 28841 29299 29532 30241 30538 31093 31702 32155 32171 33464 33971 34483 35184 35377 35415 35958 36094 36488 36732 36866 37220 37256 37350 37661 37665 37903 38280 38072 38246 38607 38627 39282 39633 40147 40266 40341 40396 40510 40518 40588 40368 40519 40543 40886 40879 41532 41968 42018 42052 42111 42017 41873 42325 42927 42946 43769 43747 43955 43953 44217 44656 45007 45027 46222 46487 46980 47339 47325 47144 47295 47247 47078 46661 46626 46818 46951 47486 47527 47087 47139 47225 47236 47421 47580 48144 48358 47755 47832 47884 47944 48572 48152 48775 49214 48488 48537 48635 48696 48696 48938 49110 49695 49736 49290 49353 49449 49450 49663 49848 50220 50770 50045 50118 50166 50222 50472 50472 51052 51506 50862 50900 50982 51035 51035 51243 51358 51473 51585 51803 52191 53362 54062 56288 57457 57216 57663 58454 59065 59808 60306 60563 61985 62969 63172 64759 64845 65223 65809 65779 66012 66911 67091 67013 67562 67702 68063 67804 67996 68608 68519 68282 68807 68819 69074 69093 70297 70647 71153 70885 71060 70937 70980 70913 70934 70881 70995 70924 70722 70635 71085 71410 71188 72127 72128 72517 72430 72433 72457 72249 72150 72971 73993 73983 75350 75110 75386 75407 75855 76229 77315 77235 77887 77745 77481 77550 77573 78426 78470 77603 77654 77677 77700 77742 77746 77762 79156 78323 77779 77803 77827 77831 77888 77903 78759 78803 77920 77952 77982 77981 78400 78084 78286 79286 78102 78148 78198 78223 78221 78259 78290 79140 79154 78333 78403 78434 78465 78354 78354 78382 79773 78940 78427 78483 78511 78422 78115 78233 78463 78575 78679 78787 79175 80267 80953 84129 84004 84136 84925 85771 86642 86428 87528 87272 88992 89687 90194 91392 91679 91314 92272 92585 93114 93159 93588 94120 93904 94020 94693 94620 94305 95359 94860 95159 94877 95719 95409 96370 96558 97158 96867 96775 96621 96630 96529 96480 96484 96448 96350 96189 96963 96702 97116 96929 97262 97563 97397 97389 97296 97279 97208 97196 97863 99520 99238 100690 100134 100339 100293 100402 101327 102658 102449 102396 102182 101912 101980 102009 103187 102813 102053 102082 102140 102169 102169 102210 102226 103917 103015 102245 102277 102293 102309 102855 102382 102588 103920 102393 102410 102436 102449 102525 102525 102548 104211 103106 102579 102625 102671 102667 103123 102725 102925 104257 102736 102765 102803 102822 102817 102709 102729 104411 103506 102753 102793 102813 102629 100879 100558 100120 99843 99560 99179 99567 100391 100901 104260 103111 103272 103928 104231 104739 105527 105714 105365 106759 107279 107739 108929 109140 109342 109208 109595 110329 110104 110326 110951 110995 110772 111400 111452 111843 111453 111810 111384 112025 111570 112254 112460 112732 112698 112595 112405 112272 112237 112196 112165 112196 111869 112313 111831 112411 111789 112010 112244 112134 112001 111963 111911 111841 112419 112009 113379 112562 113506 113078 113121 113004 113010 113769 114204 113916 113169 112984 112731 112742 112753 114070 113923 112764 112764 112764 112764 112764 112764 113052 114650 112764 112764 112764 112764 112768 112768 112768 113978 113311 112768 112768 112768 112768 112767 112766 112765 114679 113310 112764 112764 112764 112760 113098 112749 112936 114388 112749 112749 112749 112749 112744 111560 111090 111193 109804 109256 109256 109256 108163 103637 102988 102379 101903 101250 100577 100965 101584 101901 104383 102835 102941 103050 103219 103849 103445 102894 103737 104083 104345 105516 105330 105696 105372 105568 106157 105922 105971 106578 106445 106275 106835 106748 107127 106720 106902 106302 106645 105933 106357 106443 106718 106587 106557 106209 106133 105985 105973 105840 105798 105369 105744 105015 105421 104572 104590 104798 104656 104468 104427 104291 104130 104554 103639 103894 102824 102691 102671 102714 102392 102398 102643 102027 101302 99735 99027 98368 98368 98368 99634 98368 98368 98368 98368 98368 98369 98370 99644 98371 98371 98371 98371 98375 98365 98539 100110 98345 98345 98345 98344 98341 98338 98519 99182 98335 98335 98335 98331 98319 98319 99577 98319 98319 98319 98319 98317 96862 96279 95339 93866 93866 93866 93866 92999 88691 87621 86691 85967 84901 83885 84117 84161 84199 85648 84237 84381 84496 84698 84886 84810 84345 85249 85425 86607 86304 86641 87022 86821 87204 87013 87412 87883 87359 87752 87088 87244 86816 87182 87538 87265 87246 87138 87067 87049 86775 87170 86582 86757 86071 86150 86372 86241 86100 85999 85897 86026 85367 84819 84227 84415 84446 84384 84621 83432 83753 82628 81731 81291 81274 81274 81558 82370 81274 81274 81274 81274 81274 81274 81274 82638 81274 81274 81274 81274 81273 81261 81450 82367 81255 81255 81255 81254 81228 81228 82305 81228 81228 81228 81228 81226 81211 81210 82290 81209 81209 81209 81209 81204 79654 79136 78539 77097 77097 77097 77097 72448 71191 70928 70530 68737 67928 68163 68181 68203 68548 68225 68218 68229 68572 68240 68240 68240 68564 68240 68234 68234 68234 68207 68206 68395 68204 68191 68191 68483 68191 67796 66475 65985 65423 66078 66787 67146 67189 68637 68927 69201 69994 70572 71141 71744 72407 72335 72918 72972 74085 74856 75174 75704 75936 75892 76227 76523 76534 76934 77381 77591 77562 77500 78083 78084 78567 78467 78873 79357 79432 79332 79823 79917 80354 80275 80539 80909 80718 80547 81404 81481 81343 82581 83067 84405 84306 84582 85320 85508 85573 85625 84674 80527 80027 79648 78214 78206 78696 78905 78905 79151 79213 79213 79234 79234 79221 79218 79217 79196 79195 78683 78088 78104 78371 78126 78529 78969 78137 78212 78212 78241 78212 78212 78510 78894 78263 78679 79064 78264 78328 78353 78360 78367 78337 78381 78365 78349 79391 79193 78333 78398 78417 78398 78438 78398 79030 78401 78397 79498 79218 78393 78486 78487 78500 78505 78467 78589 78588 78587 79685 79421 78586 78682 78689 78697 78706 78665 78660 78373 78093 78645 78447 77599 77676 77699 77704 77716 76535 76609 77070 77348 77441 78913 78373 78941 79279 79628 80032 79711 79867 80988 81226 81005 81056 80959 81718 81268 81551 81979 82053 82365 82303 81797 81683 77846 77846 77857 78441 79133 77879 77903 77909 77913 77879 77900 77901 77902 79237 77903 77928 77935 77942 77907 77876 77870 77854 79175 77838 77858 77863 77878 77838 77806 77805 77801 79123 77797 77815 77828 77833 77795 78352 77764 77763 79082 77762 77762 77791 77762 77762 77080 75962 75488 75159 73823 73823 73823 73823 72320 79568 79578 79586 79602 79611 79616 79999 80390 80404 81248 83439 83444 83433 84108 86293 89363 89518 91448 95497 94928 94982 95413 96383 96508 96517 97573 97651 97730 97735 98900 98903 98935 98982 100234 100313 100380 100343 100506 100826 105761 106287 108378 107450 107235 109715 109834 110814 110956 111160 111116 112229 112216 111997 113579 113929 113609 114144 114979 115041 115228 115432 115172 115592 116471 115604 116017 116329 116256 115790 116961 117006 117480 117291 117217 117234 117262 117804 117790 117701 117037 116912 117213 116915 116930 116797 117939 117612 118276 118316 118616 118639 118865 118706 118379 118521 118401 118988 118377 118157 117895 117722 117272 116874 116364 117064 117137 116840 116879 117437 117572 117180 117204 117888 117316 118147 117752 118283 117852 118414 118777 119147 119506 119857 119382 119680 119514 119554 119793 119716 121016 120862 121359 121432 121656 121749 121944 122158 122199 122513 122548 122611 122756 123077 122947 123978 124082 124868 124831 125407 125872 126203 126187 126327 126674 126650 126384 127092 126667 127240 127580 127959 128324 127554 128024 127677 127774 127813 127861 127648 128486 128496 128981 129110 129226 129304 129529 129607 129745 130001 129998 130035 129991 130219 130052 130782 130613 130713 130695 130696 130860 130801 130705 131263 131321 131650 132004 132660 132131 133053 132414 132433 132510 132163 132281 132299 132836 133069 133120 132899 132851 132908 132868 132964 132747 132744 132754 132772 132919 132793 132539 132533 132562 132527 133220 132964 133500 133863 134206 134538 135083 134794 134752 134445 134273 134599 135066 135268 135533 135248 135222 135140 135400 135308 135777 135512 135175 134834 134629 134762 135360 135428 135904 136061 135881 135844 136012 136657 136695 137126 136631 136621 137391 137590 138115 138177 138440 138479 138644 138747 138834 139145 139133 139178 139521 139656 139668 139603 139273 139205 139112 139539 139739 139397 139425 139472 140931 141180 140416 142242 141596 142113 142820 143089 143306 143481 143653 143829 144002 144086 144184 144622 144609 144503 144785 144855 144817 144671 144535 144392 144477 144481 144463 144106 144211 144038 144110 143857 144627 144082 144618 144970 145297 145626 145588 146234 145504 145288 145181 145203 144986 145339 144940 144913 144557 144783 144693 144529 143976 143957 143505 143599 143592 143770 143112 143029 142822 142816 142442 142430 141979 141964 143963 144287 144566 144834 145068 145254 145980 147904 147941 149317 154496 153166 154204 154812 155299 155726 157109 157044 158274 157947 158881 158249 161410 161242 162948 162561 162400 163317 163616 162930 163329 163620 164197 164766 165002 165329 165181 165421 165696 166518 166394 166556 166436 167114 167881 167850 167968 167884 168431 168028 167993 167555 167717 167547 167547 167558 167569 170134 167580 167580 167580 167580 167580 167580 167580 167581 167582 169089 169321 167583 167583 167583 167583 167583 167587 167571 167555 169048 167971 167539 167539 167539 167539 167538 167535 167534 167530 169024 167935 167526 167526 167526 167526 167526 167503 167502 167501 167996 169224 167500 167500 167500 167500 167537 167495 167060 166720 166743 168835 166242 166242 166265 166270 166282 164850 161535 161477 161096 160673 159868 160447 160762 162004 163192 165482 166599 166743 167213 167575 167892 168543 169506 169134 169666 170606 170903 171062 171798 171446 171850 172314 173085 172877 173387 173148 173430 173744 174206 173186 173118 172783 172931 172573 172573 172584 172595 174648 172606 172606 172606 172606 172606 172606 172607 172608 173002 172609 172609 172609 172609 172609 172613 172597 172581 172961 172565 172565 172565 172565 172565 172562 172561 172557 174666 172553 172553 172553 172553 172553 172530 172529 172528 172906 172527 172527 172527 172527 172564 171920 171853 170921 169101 169299 168022 168045 168050 168062 166124 164943 164949 165012 166173 169149 168102 168167 168528 169262 169402 169406 170112 170192 170196 170264 171133 171108 171204 171206 172136 172247 172252 172256 172398 173028 172483 172816 173155 173370 173502 173013 173548 173003 173535 173837 173897 174142 173190 173695 173399 173709 174272 174272 174057 173863 173282 173786 173865 174143 174469 172907 172973 172899 172676 172676 172676 172676 172330 170841 172809 171318 175305 172845 174066 177271 175687 176032 176078 177080 177142 177132 177853 177910 177935 177964 178750 178791 178796 178884 179674 179725 179690 179784 179885 180602 180082 180604 180907 180985 181088 180511 181044 180499 181045 181018 181101 181346 180692 180680 180934 181484 181484 181541 180730 180719 180987 181288 181216 181540 180378 181190 180480 180220 180220 180220 180220 178798 178404 178862 180467 180468 180470 183719 184723 183663 183721 184080 184737 184831 184839 185477 185594 185579 186262 186381 186434 186439 187146 187250 187217 187257 187287 187520 188195 187890 188205 188576 188679 188237 188094 188095 188320 188377 188616 188937 188392 188910 188242 188763 188819 189056 188547 188883 188520 188833 188791 189109 188899 188058 188708 187798 187800 187798 187798 187798 185934 187991 186406 190160 187908 189252 192523 190988 191381 191420 192471 192530 192520 193293 193419 193432 193459 194219 194271 194300 194376 195190 195352 195319 195360 195385 196111 195610 195763 196218 196321 196424 196002 196611 196113 196642 196640 196641 196967 196761 196911 196243 196741 197009 196982 197115 196766 196283 196556 196852 196767 197090 196227 196060 196512 195811 195811 195811 195811 195811 193960 196079 194502 196136 196136 197513 200804 199276 199669 199709 200771 200826 200918 201598 201670 201765 201748 202534 202617 202691 202695 203510 203536 203626 203688 203674 203937 203930 204123 204326 204652 204967 204847 204463 204464 204672 204954 205045 205369 205592 204580 204643 204839 205164 205404 205716 205816 205240 204659 205147 205226 205138 205459 204664 204400 204790 204095 204102 204115 204123 204132 202291 204397 202869 204479 204479 205852 208977 207616 207995 208027 208458 209141 209175 209217 209972 209977 210069 210787 210941 210945 210947 211743 211847 211851 211883 211924 212187 212204 212414 212588 212919 213022 212897 212729 212723 212976 213190 213014 213337 213512 213512 212906 213150 213671 213671 213671 212869 213012 213147 213470 213178 213498 213830 212596 213462 212447 212447 212447 212475 212447 211354 210560 212734 211754 212282 213184 213225 215553 218393 216089 216126 216422 216927 216998 216984 217423 217425 217481 217848 217876 217877 217880 218275 218275 218366 218405 218407 218483 222356 222060 220110 221372 219072 219172 219260 219302 219384 219761 219606 219940 220497 220813 220378 220686 220099 220199 219916 220142 220715 220765 221330 221430 221552 221760 221960 222050 222169 222500 222519 222775 222866 222881 222721 223526 223579 224157 224078 224434 224484 224619 224650 224679 225164 225049 225032 225548 225003 225546 225900 226228 226560 226585 226179 225788 225720 225744 225632 226070 226276 226500 226855 226787 227172 227177 227477 227535 227318 227395 227739 227424 227603 227688 227835 227909 227896 227828 227939 227850 227835 228423 227755 228273 228611 228950 229274

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