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


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

BK_START 1401986818914

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: 554 NrTr: 2998)

net check time: 0m0sec

place and transition orderings generation:0m10sec

init dd package: 0m0sec


before gc: list nodes free: 1867660

after gc: idd nodes used:221403, unused:15778597; list nodes free:68245544

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

780 893 1349 1358 2259 2267 2267 4093 4103 4108 4111 7623 7623 7650 8010 8405 9361 9686 10482 11108 11650 12333 13020 13687 14141 14562 14865 15191 15510 16082 16004 15921 15928 16410 16960 17049 17144 17080 17689 17987 18503 18483 18370 18751 18961 19553 19163 18925 19115 19229 19459 19569 20007 20784 21031 22336 22593 23115 23840 24140 24682 25346 25346 26691 26913 28112 28270 28469 28713 28801 29247 29502 29853 29994 30115 30548 30796 31121 31191 31368 31772 31760 32311 32684 33257 33414 33497 33482 33450 33194 33173 33249 33516 33632 34179 34233 34719 34621 34561 34243 34178 34311 34677 34601 35709 36445 37273 37394 37528 37744 37860 37897 37763 37954 38007 38393 38936 38916 39403 39514 39383 39543 40014 40314 39767 39820 39909 40079 40546 40453 41062 40934 40633 40668 40756 40820 40999 41529 41829 41281 41324 41396 41441 41852 41768 42318 42275 41931 41989 42071 42075 42264 42494 42608 42829 43153 44232 44478 46987 47185 47489 48392 48693 49493 50515 50633 52454 53370 54703 55544 55899 56202 56526 56570 57062 57908 57984 58511 58559 58887 59692 59309 60239 60716 60533 60927 61614 61525 62679 62878 63689 63848 63847 64208 63743 63861 63862 63658 63488 63339 63275 63205 63651 64100 63994 65177 64976 65418 65312 65172 65070 64770 64459 64778 65260 64962 65895 65797 65500 65222 65752 66735 67026 67159 67769 67614 67674 67697 67878 68792 67710 67742 67774 67967 68006 68019 69232 68549 68052 68078 68091 68203 68203 68394 69308 68221 68241 68263 68273 68182 68199 69328 68737 68227 68261 68295 67937 68053 68283 68397 68618 68942 69688 69700 71915 71716 71844 72945 73226 74131 74862 74858 76657 77476 78847 79731 80123 80454 80777 80757 81603 82312 82271 83156 83130 83490 84096 84235 84802 85574 85084 85481 86349 85867 86718 87089 87606 87743 87764 87589 87320 87356 87228 86954 86753 86548 86411 86854 86987 87022 88057 87628 87810 87724 87398 87145 86846 86542 87088 86918 87415 87215 87258 87285 86982 86803 87630 88807 88586 88791 88696 88473 88771 89006 90787 89821 89646 90050 90283 90493 90493 90695 91686 90533 90571 90617 90640 91374 90774 91745 91892 90785 90803 90821 90819 90731 90742 92256 91162 90764 90786 90703 88298 87880 87655 87138 86842 87324 87953 89148 90349 89907 90347 91028 91420 91615 92614 92203 94431 95342 96521 96692 96474 97270 97301 97760 98243 98526 99208 99199 98796 99980 100648 101061 100791 101186 100801 101510 101252 101954 102260 102314 102309 102371 102043 101815 101581 101398 101076 100804 100599 100619 101302 100773 101108 101254 101234 101075 100890 100635 100264 100231 100180 100749 100293 100058 100137 99915 99670 100070 99991 101101 100544 100001 99908 99836 99836 100000 101394 99836 99836 99860 99923 100354 100055 101081 100509 100055 100055 100055 100101 100118 100118 101553 100604 100118 100118 100118 100116 99196 98970 99306 98036 97701 97701 97701 92663 92410 91602 91008 89710 90034 90582 91436 92726 91619 91697 91815 92261 91454 91733 90872 92712 94004 94409 94373 94975 94742 94718 95757 95964 96169 96538 96314 96714 96047 97401 97612 97216 97563 97528 96859 97038 97088 97358 97204 97019 96498 96113 95840 95574 95444 94839 94728 95123 94443 94438 94104 94172 94247 94166 93790 93533 93219 92937 93260 92541 92812 92066 91840 91493 91280 91121 91347 90689 90311 89390 88103 87314 87319 87324 88859 87329 87337 87351 87544 87544 87544 89107 87544 87544 87544 87607 87601 87762 89154 87589 87589 87589 87243 86495 85458 85286 84347 84347 84347 82786 78681 77338 76247 74145 74323 74312 74312 75341 74475 74829 75084 75179 74455 74653 73823 75037 76078 76369 76774 77005 77482 77739 77995 78175 78714 78523 78664 78253 78033 78008 78149 78347 78219 78000 77564 77365 77122 76863 76674 76526 75974 76131 76211 76114 75812 75694 75371 75436 75097 74548 74199 74327 74103 73900 73774 73174 72639 71508 71407 71111 71111 71134 72324 71179 71257 71308 71520 71518 71763 72620 71518 71518 71518 71581 71573 71577 72771 71581 71581 71581 71235 70393 69544 69650 68510 68510 68510 63758 63465 62407 61316 59089 59266 59264 59531 59300 59276 59276 59584 59273 59273 59436 59273 59260 59260 59260 58912 57930 57338 56994 57563 58531 58589 59695 62577 62496 63501 64204 64714 65405 65880 67240 67307 71020 72781 75257 75538 76603 77649 79023 78571 79751 79381 80231 81535 81659 82189 82545 82350 83371 83405 83790 84197 84534 84238 84698 85178 84997 85172 84952 85288 79081 78214 74960 74385 74775 74962 74961 75215 75241 75241 75242 75240 74805 74257 74294 74322 74350 75515 74639 74401 74522 74568 74610 74793 74793 74793 75148 76132 74793 74852 74863 74852 74852 74942 74936 74940 75303 76287 74936 74977 74977 74977 74978 74970 74707 74460 74151 73215 72986 73034 73058 73063 72178 72317 72984 72886 75761 74816 75630 75960 76444 76455 77044 77098 78833 78674 79236 79040 79884 79746 79726 79439 80246 79913 79627 79193 79558 74298 74337 73809 75384 73836 73891 73937 73978 74568 74263 74055 75537 74055 74055 74076 74085 74076 74070 74074 74437 74489 74070 74070 74097 73454 72932 71943 70514 69257 68837 68837 68866 70209 70181 70198 70207 70221 70511 71635 71646 71660 72477 73907 76015 78853 78958 80468 86881 86028 86601 87087 87904 88523 88591 89395 89476 89524 90399 90448 90565 96838 97643 99064 98203 98667 101623 102144 103555 103307 103385 104141 104308 103878 104662 105055 104425 104633 106836 106486 106904 107280 107479 107520 108094 109028 108519 109283 109371 109066 110470 110605 111308 110895 110850 110649 110733 110973 110924 110712 110740 110769 110710 110520 110324 109675 112106 112467 112101 112493 112558 112633 112695 112767 112830 112773 113057 113053 112641 112200 111859 111878 111659 111224 111409 112957 112867 113528 113045 114239 113933 114560 114130 115150 114689 115216 114825 115664 115252 115756 115635 115748 116266 116618 116936 117602 117842 118096 118205 118629 118685 119932 120663 121550 121835 122177 122293 122591 123312 123784 124052 123906 124170 124827 124863 125372 125165 126404 126562 126918 127004 127509 127702 128068 128266 128169 128407 128395 128505 128832 128908 128961 129934 129679 130221 130130 130377 130513 130833 130909 130892 131030 130846 130890 131238 131683 131889 132453 132751 133124 133960 133923 134095 134066 134245 134406 135018 135202 135569 135627 135663 135949 135918 135929 136134 136165 136579 136253 137026 137743 137764 138052 138065 138264 138402 138556 138940 139010 139106 139748 139703 140108 139816 140013 140152 140034 139875 140054 139962 139737 139703 140262 140033 140308 140818 141157 141876 141413 141255 141218 140935 141387 141058 141828 141992 141902 141533 141543 141492 141214 141339 141440 141555 141234 141765 141725 141715 141511 141031 140973 140744 140463 140443 140747 140451 140543 140814 140706 140601 140265 140801 140378 140819 141361 141627 142047 141752 141503 141409 141121 141428 141721 141892 141630 141442 141371 141389 141228 141270 141712 141409 141091 140899 140814 140736 140431 140587 140811 140441 140044 139843 139650 139319 141067 141803 142009 143010 142839 144410 144729 145421 145510 145361 145750 145567 146074 145995 145982 146173 146498 147475 147729 147553 147451 147317 147109 147038 147334 147606 147231 147094 147114 147759 147470 147588 148018 148224 148713 149011 149301 150218 149936 150623 150146 150397 149939 150724 150866 150646 151011 151059 150895 150857 150984 150598 150697 150599 150859 150594 150543 150172 150161 149947 150202 149941 149487 149068 148787 148760 149661 149698 153305 152957 151662 152021 152475 152546 153043 153083 153546 153650 154137 154258 154233 155007 154931 154913 155148 155156 155031 154857 155035 155518 155755 155571 155643 154997 155452 155506 155706 154992 155675 155053 155510 155786 155771 154773 155260 154560 154564 154560 154588 153086 153950 153953 154684 157267 155767 156044 156781 156876 157294 157415 157849 158002 158444 158503 158558 158779 158860 158993 159150 159436 159533 159706 159162 159349 159596 159821 159664 159649 159472 159722 159950 159978 159534 159827 159373 159786 160065 159836 160110 159235 159161 158963 158963 158963 158994 157459 158398 158422 159148 161487 160240 160472 160828 161241 161667 161730 162187 162323 162304 162862 162874 163030 163542 163312 163662 163759 163902 164021 163463 163694 164175 164158 164155 163583 164045 164097 164302 163669 164291 163873 164141 164404 164389 163512 163565 163241 163241 163263 163241 161719 165309 162627 166533 166019 164698 164751 165471 165527 166007 166099 166551 166605 167089 167197 167257 167994 167918 167624 168009 168068 168278 168360 168018 168068 168523 168485 168512 167940 168392 168634 168449 168209 168598 168022 168455 168751 168695 167736 168553 167599 167599 167612 167599 166397 169466 169790 170336 170563 170619 171319 174433 172973 176874 179127 177141 177166 178064 178121 178638 178638 179047 179051 179550 179579 179624 179661 184964 183881 180876 179960 180231 180102 180166 180586 180140 180666 180993 181280 181630 181979 181707 181816 181742 181679 181939 182645 183224 183149 183446 183339 183401 183752 183863 184243 184191 184460 184395 184263 184315 184335 184998 185026 185318 185266 185563 185665 185914 185930 185833 186071 186059 185926 185761 186085 185829 186410 186182 186512 186448 186542 186589 186870 186760 186779 186825 186864 186749 186787 186968 187517 187780 188132 188782 188394 188408 188077 188529 188194 188765 189275 189194 189236 189218 189269 189331 189342 189127 189601 189281 190220 190314 190706 190793 191032 191079 191408 191574 191939 192028 192177 192210 191906 192353 192011 191823 191873 191752 191596 191675 191529 191364 191844 191300 191795 192106 192631 192496 193138 192573 192658 192716 192440 192533 192845 192977 192817 192517 192353 192339 192061 192089 192099 191892 191742 191905 191942 191753 191381 191174 191083 190773 190712 190828 190428 190466 190033 189997 189883 189759 189786 189958 190501 190781 191140 191496 190994 191086 190758 191065 190929 191030 191056 190752 190589 190516 190543 190336 190230 190122 189872 189723 189583 189629 189667 189304 189321 188894 188497 188219 188094 188805 188094 188571 189092 189387 189355 189899 189655 189516 189739 189240 189734 188794 188198 187974 188284 187906 188078 187370 186788 186619 186872 186575 186178 185563 185044 184746 184968 184839 183635 183017 182525 183083 183796 182889 182652 183963 184426 184996 185209 185699 185640 186006 186025 186345 186254 186571 186929 187398 187411 187370 187054 186600 186377 185804 185508 185364 185230 184679 184382 183475 182825 182482 182461 182389 182323 185696 182677 182859 183289 183338 183499 183541 183666 183712 183829 183901 183926 183987 184006 184216 184686 184696 184807 184619 184261 184534 184997 184981 184083 184075 184270 184778 184775 184838 184613 184037 184469 184792 184758 183862 184617 183690 183745 183809 183831 182525 184067 182286 182061 184785 182386 182534 182790 182904 182997 183031 183112 183213 183186 183251 183210 183298 183717 183469 183538 183767 183790 183888 183364 183501 183778 184019 184003 183890 183461 183680 184142 184139 184193 183868 183435 183641 184073 184067 184137 183190 183228 182918 182918 182918 182918 181455 181482 183804 180752 181729 181880 181252 181458 181581 181663 181675 181744 181792 181822 181903 181898 181825 182599 181811 182067 182320 182389 182531 181875 182080 182587 182570 181978 181970 182170 182683 182663 182747 182554 181932 182392 182667 182652 181675 182105 181399 181406 181399 181426 179874 179525 178803 178081 181233 178192 178296 178556 178544 178594 178651 178610 178577 178580 178614 178667 177990 177981 178154 178445 178453 178559 178594 178234 178274 178739 178721 178042 178035 178250 178739 178736 178784 178440 177858 178291 178587 178531 177572 177899 177074 177074 177087 177074 176492 175274 172776 174237 174261 174839 179445 178450 179650 180325 181189 181380 181592 183346 183061 183624 186658 186583 187978 188567 189436 188390 188718 188978 187900 188682 188461 189166 190501 190651 190932 190874 191329 191980 191804 192102 192351 192396 192132 192647 192651 192845 192563 193223 193098 192654 192854 192504 192033 192173 192132 192141 192141 192734 192740 193036 193084 193084 193084 193079 192559 191460 193179 191497 191529 193129 193147 191578 191652 191697 191739 193430 193439 191878 193464 193485 191878 191878 191878 191909 191924 193559 191922 192399 194565 191918 191925 191918 191945 191914 192350 190946 190149 191222 188576 188580 188576 188576 186563 186913 188084 188086 190378 191474 191605 192267 192570 193478 193910 194045 194339 195694 195639 195659 196157 195868 196744 196880 197039 196705 196377 196304 196447 196206 196126 195391 194531 194393 194206 190256 190271 190298 190325 192096 190374 190416 190452 190590 190590 190590 190590 192109 190590 190601 190590 190590 191622 191625 190632 192533 190630 190630 190652 190630 190656 188985 188493 186923 185096 185096 185120 185096 177326 177318 177314 177306 177302 177294 177111 176868 176155 176304 176958 178475 180541 180643 183355 186871 185204 185258 186172 186820 186888 187746 187827 187875 188760 188809 188931 189083 189280 189341 189363 189347 189488 189994 189996 190470 191606 191747 191186 191383 191441 191643 191699 191943 191980 192193 192284 192288 192381 192464 192490 192554 192364 192756 192759 194108 195590 193668 193809 193850 194020 194057 194214 194247 194412 194500 194503 194639 194666 194706 194785 194610 197623 194919 196054 198351 195563 195587 195729 195817 195880 195969 196044 196133 196182 196225 196307 196359 196405 196430 196306 195923 195435 195196 197950 195054 195075 195168 195218 195283 195318 195373 195399 195512 195515 195314 195099 195141 194861 194093 193303 192306 192180 192159 192117 193495 192046 192046 192017 192003 192006 191959 191983 191958 191960 191942 192001 191816 191723 191467 191408 191186 192286 191457 191078 190993 190896 190896 190806 190830 190738 190741 190678 190682 190555 190429 190116 189966 189782 189722 190379 189361 189214 189067 189080 188918 188915 188788 188754 188670 188642 188503 188164 187708 187591 186868 187956 187127 186671 186445 186424 186224 186007 186023 185765 185787 185694 185631 185621 185326 184973 185003 183084 182191 183264 181655 181339 181327 181084 180786 180777 180473 180489 180420 179688 179337 178945 178730 180800 180912 182184 188754 188854 189180 189823 189902 190765 190781 191931 192012 192753 192843 192923 193040 194435 194896 194217 193632 194341 193752 196197 195936 197124 197323 196197 196880 197169 197268 196184 196802 196619 196790 198792 199152 199161 199028 199698 199652 200515 200306 200507 200296 200602 201543 201379 201081 201187 200898 201532 200969 201354 201055 200376 200426 200241 200906 200314 200782 201048 201380 201704 201343 201642 201346 203736 204684 204788 205374 205400 205588 205756 206175 206717 207148 207479 207773 207225 207669 206983 207418 207715 208024 208062 207807 207909 208451 208911 209157 209286 209141 209044 208995 208758 208801 208324 208751 208536 208805 209287 209562 209130 208642 209125 208347 208777 209083 209570 209478 209253 209243 209828 210058 209858 209478 209262 209093 208483 208471 208676 209157 209474 209763 209376 209638 209336 209723 209129 208781 208254 218593 219042 217644 218207 221959 222386 222981 220743 220781 220854 219567 220067 220193 220384 220384 220411 220411 220411 220405 220133 219992 220368 220754 220778 220983 222837 222296 222735 223136 223582 223651 223476 223391 228235 226468 223991 223756 223449 225511 223568 224059 225791 223670 223770 223909 224010 224077 224207 225276 224665 225101 225375 225631 225833 225811 225973 226460 226461 226524 226709 226070 226504 227006 227006 226788 226207 226436 226919 226892 226971 226576 226198 226639 227098 227134 227071 226317 226674 226402 227495 226928 227325 227411 226901 226847 226959 226236 227161 227780 226769 226572 228101 228869 229090 229449 229469 229497 230281 230688 231126 231092 231474 231164 231400 231411 231254 230794 230205 230024 229725 229374 229209 229091 228634 228269 227078 226297 226615 226504 225830 225573 225411 224889 224312 223877 223212 222459 221975 221800 223418 221817 218767 218855 218855 218874 221028 218910 219002 219123 219221 219240 219386 219552 219768 220015 220267 220678 220944 221605 221640 220921 221359 221346 221435 221857 221218 221405 221720 221907 221336 221805 221640 221890 222118 221692 221437 221248 220952 220954 220952 220688 219551 219668 220365 219687 221264 220187 219791 219899 220011 220073 220169 221109 220649 220827 221290 221552 221721 221722 221930 222184 222168 222252 222096 222224 222475 222731 222526 222848 222246 222708 222950 222700 222003 221937 221736 221736 221471 220896 219951 219908 219466 219565 220586 219202 219319 219416 219452 219551 219658 219883 219521 219955 220391 220660 221308 220623 220824 221056 220876 221111 220844 221036 221284 221541 221503 221577 220975 221427 221669 221217 220985 220876 220256 220260 220256 220022 218202 218681 218700 219108 222428 219754 220006 220375 220428 220812 220992 221435 221481 221862 221963 221964 222052 222519 222103 222568 222803 222821 222871 222906 222624 222859 222675 222714 222286 222409 222892 223145 223106 222812 222210 222665 222905 222653 221946 222549 221688 221688 221688 221426 220263 221367 219967 220503 220475 219748 221101 219994 219650 219606 219453 219423 219797 219666 219980 220511 220818 220240 220462 219708 220248 220553 220892 220133 219443 219940 220281 220798 219693 219503 219645 219955 220479 220567 219679 218825 218825 218835 218825 217184 217198 217194 217208 218795 217222 217241 217250 217257 217262 217854 217282 217296 218796 217321 217336 217354 217393 217335 217553 217348 217681 218858 217386 217410 217445 217461 217801 217776 217776 220812 221427 218890 218931 219319 219566 219646 219930 220320 220298 220613 220615 220674 220748 220738 220916 221004 221182 221200 221483 220771 220961 221210 221171 221276 221415 220760 220947 221262 221438 220748 220740 220922 221226 221232 221155 220461 221011 220285 220285 220295 220013 219154 219987 218436 218447 218412 218338 218444 219105 218173 218051 217974 217922 217840 218387 217695 217558 219039 217506 217455 217316 217235 217180 217192 217196 217211 218558 217226 217256 217282 217286 217301 217300 217300 217312 217540 218201 217336 217360 217393 217414 217388 219041 217512 218557 220651 218088 218257 218580 218812 218822 219117 219392 219457 219683 219732 219703 219762 219828 219977 220254 220244 220320 220253 219814 220060 220266 220313 220610 219802 220007 220514 220503 220345 219774 220236 220495 220011 219775 220188 219306 219306 219306 219033 217852 218985 217514 217743 218021 217297 218653 217280 217207 217170 217025 216983 216951 216832 216702 218284 216686 216618 216509 216445 216379 216607 216224 216286 217550 216022 215922 215877 215781 215707 215701 215702 215949 216610 215737 215755 215764 215774 218679 216996 213710 212520 214271 212075 212430 212480 212612 212653 213096 213096 213191 213318 213395 213098 213198 212637 212856 213114 213066 213197 212613 212244 212495 212486 212534 212735 211685 211883 212190 212377 212237 211822 211495 211984 211775 211771 210545 210543 209688 209688 209652 209446 207388 205386 205396 205861 205205 205095 206573 205037 204992 204862 204792 204308 204825 204141 204003 205483 203950 203912 203788 203721 203212 203681 202996 203034 204298 202760 202709 202583 202540 201940 202375 201410 200994 200990 199447 199402 199266 199218 197838 177605 177597 177227 176280 174314 174692 174822

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