fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r005kn-ebro-146347673000305
Last Updated
June 30, 2016

About the Execution of Marcie for BridgeAndVehicles-PT-V20P20N10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6853.650 1968853.00 1968230.00 29.80 T normal

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-2979
Executing tool marcie
Input is BridgeAndVehicles-PT-V20P20N10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r005kn-ebro-146347673000305
=====================================================================


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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V20P20N10-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1463598381372


Marcie rev. 8535M (built: crohr on 2016-04-27)
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 --mcc-file=ReachabilityDeadlock.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Net: BridgeAndVehicles_PT_V20P20N10
(NrP: 68 NrTr: 548 NrArc: 4070)

net check time: 0m 0.001sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.004sec

init dd package: 0m 7.603sec


RS generation: 0m38.876sec


-> reachability set: #nodes 113193 (1.1e+05) #states 6,732,570 (6)



starting MCC model checker
--------------------------

checking: EF [DEADLOCK]
normalized: E [true U DEADLOCK]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P20N10-ReachabilityDeadlock-0 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 31m28.098sec


Total processing time: 32m48.677sec


BK_STOP 1463600350225

--------------------
content from stderr:

check for maximal unmarked siphon
ok
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: 0m 0.001sec

920 3664 6200 7683 7694 7683 10730 10892 11134 11280 11331 11316 12344 15182 18012 19963 22697 22956 23108 23138 23176 24477 25362 27872 29417 25085 27487 27116 26930 26487 25819 27809 29786 31688 28752 30181 30764 30516 30079 29651 29167 31792 34029 36092 32376 34892 34668 34304 34064 33519 33152 36754 39245 41083 37014 39419 39306 38936 38426 38129 41347 42608 45046 46663 42331 44733 44413 44180 43741 43073 47679 49269 51462 49392 49377 50687 50390 49938 49619 49045 54294 56429 58480 54878 57394 57094 56954 56574 56018 55662 61539 64148 65779 62123 64641 64421 64033 63768 63276 65678 70996 72832 70157 71427 72012 71766 71331 70902 70419 73343 75914 78358 80285 80271 80249 79655 74351 76753 76418 76222 75753 75086 76423 79317 81665 82994 83065 82788 77354 79188 79370 79126 78689 78229 77771 80748 83290 85480 86306 86371 85980 80318 82834 82610 82225 81879 81455 82221 85879 87845 90032 90305 90187 89584 84299 86701 86381 86144 85701 85036 88634 91217 93547 94871 94936 94702 88880 91396 91121 90976 90566 90002 89648 95075 97119 99719 100149 99991 99592 94127 96497 96419 96047 95535 95177 98325 101763 104150 106009 106007 105893 101409 101314 102442 102141 101692 101340 100786 106863 109455 111694 112503 112546 112174 106517 109033 108809 108437 108044 107654 109777 111994 114421 116348 116400 116295 113280 110399 112527 112226 111795 111527 110500 110943 113313 115075 110533 111561 112073 112465 112753 112953 113123 113173 113191
iterations count:235690 (430), effective:9267 (16)

initing FirstDep: 0m 0.002sec

1401 1580 1701 2596 3488 4411 4787 4916 5027 5144 5255 5359 5464 5595 5683 5800 5868 5999 6087 6204 6272 6356 6491 6571 6643 6760 6852 6936 7012 7093 7211 7299 7379 7451 7515 7615 7703 7783 7855 7919 8019 8107 8187 8259 8323 8475 8780 9130 9469 9926 9926 9926 9926 9968 9968 9968 9968 10010 10010 10010 10010 10052 10052 10052 10052 10086 10094 10094 10094 10094 10128 10136 10136 10136 10136 10170 10178 10178 10178 10178 10212 10220 10220 10220 10220 10220 10262 10262 10262 10262 10262 10296 10584 10810 10890 10954 11018 11082 11528 11602 11677 11737 11797 12022 12279 12335 12419 12475 12531 12831 12986 13038 13103 13155 13194 13587 13636 13696 13744 13792 13996 14199 14243 14309 14353 14397 14650 14757 14817 14857 14897 14937 15233 15292 15337 15382 15418 15459 15746 21167 25801 26272 26411 26480 26432 26426 26404 26687 26681 26605 26481 26442 26333 26239 26160 26069 25976 25897 25769 25698 25601 25503 25405 25302 25210 30723 34780 35095 35008 34767 34430 34170 33996 34089 34041 33874 33707 33619 33433 33275 33136 32958 32786 32646 32436 32260 32109 31937 31710 31530 31364 40376 40814 40898 40862 40544 40227 39979 39819 39800 39704 39574 39371 39263 39083 38865 38760 38623 38437 38227 38056 37901 37669 37416 37239 36979 36796 45844 45967 46097 46025 45624 45352 45120 45010 44865 44723 44559 44357 44261 44067 43882 43740 43536 43362 43136 42962 42729 42562 42281 42043 41761 45570 50380 50741 50611 50406 50035 49779 49605 49308 49236 49100 48845 48757 48571 48353 48214 48015 47807 47615 47382 47221 46941 46648 46443 46130 45804 54306 54430 54559 54471 54069 53800 53578 53322 53063 52915 52753 52523 52415 52218 52002 51856 51568 51418 51164 50971 50657 50438 50217 49845 49504 57574 57716 57822 57766 57471 57136 56891 56743 56199 56088 55916 55640 55573 55393 55084 54990 54675 54533 54332 54064 53779 53554 53238 52900 52459 56490 60166 60438 60398 60120 59827 59559 59385 58665 58619 58437 58141 58033 57853 57544 57430 57241 56968 56777 56480 56155 55933 55588 55230 54733 58458 62137 62429 62365 62106 61787 61527 61353 60498 60452 60270 59955 59847 59667 59338 59224 59014 58741 58570 58214 57883 57658 57294 56906 56359 60246 63456 63730 63740 63386 63108 62866 62700 61611 61515 61358 61004 60935 60757 60381 60287 59901 59759 59439 59217 58769 58521 58182 57603 57081 63944 64085 64284 64105 63799 63497 63266 63160 63078 62928 62747 62640 62487 62357 62228 61996 61865 61671 61535 61372 61151 60956 60780 64284 69842 70073 70098 69925 69523 69273 69082 68991 68920 68740 68535 68479 68301 68136 67980 67811 67659 67445 67286 67147 66904 66709 66544 75060 75279 75406 75104 74809 74514 74306 74200 74126 73990 73795 73685 73505 73342 73201 73017 72865 72648 72494 72301 72110 71887 75176 79597 79940 79832 79593 79256 78996 78822 78740 78627 78455 78299 78186 77992 77879 77693 77518 77324 77187 76954 76782 76570 76304 83506 83722 83765 83585 83271 82963 82773 82622 82569 82433 82184 82128 81950 81773 81629 81418 81262 81079 80894 80670 80479 80198 86732 86963 87008 86788 86509 86202 85994 85860 85810 85630 85419 85331 85149 85017 84826 84653 84459 84270 84035 83848 83599 86118 89324 89596 89583 89246 88944 88693 88521 88456 88306 88144 88012 87835 87604 87506 87291 87139 86910 86738 86505 86295 86851 91263 91583 91498 91259 90922 90662 90488 90391 90295 90100 89950 89806 89563 89447 89232 89080 88851 88691 88439 88184 92581 92698 92831 92738 92494 92119 91900 91750 91685 91543 91332 91194 91014 90839 90697 90478 90284 90095 89860 89621 89267 93836 94292 94896 95412 95719 96030 96188 96806 103887 104008 104248 104028 103756 103375 103121 102921 101935 101839 101667 101301 101232 101054 100650 100554 100270 100051 99812 99473 99134 98884 98420 98051 97561 96897 103886 104031 104230 104051 103745 103398 103136 102839 101955 101859 101689 101300 101214 101032 100670 100574 100222 100019 99784 99497 99050 98854 98440 97968 97522 96847 103905 104209 104183 104060 103692 103351 103105 101955 101974 101832 101670 101319 101223 101006 100689 100547 100180 100006 99609 99435 99023 98784 98388 97929 97259 98773 103923 104158 104162 104010 103591 103296 103067 102046 101944 101806 101513 101340 101165 100798 100659 100479 100113 99964 99530 99367 98987 98580 98108 97673 97114 103964 104085 104220 104105 103850 103469 103198 102998 102021 101913 101741 101354 101268 101086 100736 100630 100215 100073 99745 99499 99104 98855 98446 97997 97331 98803 103962 104193 104195 104028 103608 103316 103092 102028 101977 101841 101527 101370 101184 100831 100692 100493 100143 99951 99569 99362 98972 98516 98113 97620 96917 103986 104254 104249 104107 103739 103403 103171 102125 102043 101898 101713 101394 101243 101031 100755 100569 100152 100028 99593 99436 99035 98628 98156 97721 97034 104006 104130 104285 104152 103827 103501 103224 102710 102054 101912 101748 101399 101303 101109 100775 100629 100178 100070 99661 99498 99049 98642 98265 97735 97112 104015 104138 104318 104163 103859 103509 103250 102948 102022 101880 101716 101372 101276 101082 100753 100607 100161 100053 99634 99459 99045 98640 98218 97743 96997 102830 102955 103086 102982 102595 102283 102043 101263 101090 100948 100744 100509 100367 100045 99904 99705 99430 99219 98930 98565 98345 97986 97527 97760 102571 102802 102806 102639 102224 101947 101743 100955 100884 100704 100373 100317 100139 99839 99683 99382 99218 98890 98692 98389 97983 97605 97015 102344 102584 102603 102423 102097 101768 101548 100834 100727 100589 100312 100182 100038 99699 99601 99298 99156 98838 98645 98312 97925 97567 96992 102086 102317 102405 102142 101803 101514 101274 100619 100569 100389 100086 100030 99852 99579 99426 99091 98947 98645 98455 98136 97812 97340 101842 101983 102118 102003 101748 101377 101126 100946 100460 100316 100131 99938 99761 99449 99342 99138 98927 98617 98425 98125 97800 97433 101621 101738 101871 101778 101534 101136 100890 100715 100300 100156 99975 99792 99615 99327 99211 98956 98780 98462 98308 98027 97691 97192 101351 101651 101625 101483 101120 100808 100582 100142 100089 99953 99663 99594 99390 99177 98989 98752 98558 98301 97994 97698 97404 101104 101245 101380 101265 101010 100639 100388 100208 99977 99835 99641 99444 99280 99053 98900 98629 98487 98253 97921 97635 97361 100877 100997 101152 101019 100677 100369 100110 99868 99764 99626 99366 99297 99093 98910 98722 98511 98299 98052 97799 97500 97064 99833 99161 98561 98102 97698 97397 97131 97640 104721 104845 105022 104865 104542 104209 103939 103518 102769 102673 102503 102114 102028 101846 101484 101388 101036 100847 100620 100311 99864 99668 99257 98833 98368 97661 104720 104865 104998 104887 104545 104222 103948 103268 102798 102695 102483 102134 102038 101868 101516 101377 100995 100853 100522 100279 99884 99666 99278 98799 98332 97681 104754 104974 105017 104837 104507 104167 103932 102893 102811 102666 102481 102153 102059 101844 101523 101354 100974 100824 100443 100250 99812 99526 99218 98743 98093 100349 104757 105124 104996 104793 104405 104104 103884 102850 102778 102642 102259 102171 101985 101632 101493 101315 100938 100752 100364 100171 99825 99365 98942 98507 97852 104774 104919 105118 104939 104633 104286 104024 103727 102843 102749 102554 102188 102092 101922 101558 101416 101049 100907 100535 100335 99910 99677 99282 98798 98128 100379 104790 105137 105029 104826 104438 104133 103913 102859 102811 102644 102292 102208 102018 101665 101526 101320 100974 100787 100400 100122 99808 99347 98893 98426 97751 104805 105040 105085 104884 104582 104233 103993 102959 102874 102734 102525 102225 102077 101805 101589 101405 100986 100844 100412 100272 99869 99434 98990 98527 97766 104833 104962 105095 105013 104612 104309 104034 103094 102843 102701 102539 102193 102099 101880 101571 101382 100985 100876 100416 100259 99866 99461 98994 98564 97850 103634 103775 103908 103823 103421 103119 102873 102170 101915 101768 101566 101331 101187 100937 100726 100546 100255 100061 99755 99466 99189 98829 98433 97793 103406 103625 103734 103450 103127 102818 102589 101811 101707 101569 101278 101140 101004 100668 100552 100300 100089 99803 99561 99212 98903 98531 98057 103177 103294 103515 103314 103025 102676 102429 102199 101607 101457 101276 101054 100904 100614 100473 100274 100028 99816 99515 99190 98942 98569 98073 102935 103052 103251 103072 102766 102431 102187 101872 101447 101300 101115 100905 100763 100458 100347 100123 99866 99631 99372 99059 98739 98374 97826 102668 102899 102966 102724 102369 102083 101856 101307 101236 101056 100761 100673 100491 100272 100095 99803 99661 99377 99081 98835 98492 98006 102424 102679 102698 102537 102193 101867 101648 101130 101077 100941 100670 100566 100386 100136 99992 99689 99545 99280 99002 98756 98377 97876 102188 102410 102456 102237 101864 101581 101367 100985 100869 100739 100485 100372 100178 99966 99775 99574 99342 99100 98822 98508 98178 101954 102074 102229 102096 101754 101446 101187 100891 100761 100618 100377 100273 100093 99879 99731 99458 99270 99030 98741 98464 98164 101707 101827 101982 101849 101507 101199 100940 100698 100594 100456 100181 100125 99947 99743 99552 99344 99133 98901 98659 98382 97928 100767 100027 99476 99005 98562 98258 97981 98471 105531 105676 105811 105696 105458 105060 104789 104603 103600 103504 103332 102951 102897 102717 102333 102219 101977 101712 101502 101141 100797 100547 100091 99716 99253 98626 105575 105696 105936 105716 105444 105063 104809 104609 103632 103524 103352 102986 102919 102715 102350 102239 101908 101698 101471 101162 100715 100519 100105 99654 99215 98512 105588 105717 105848 105763 105361 105044 104783 103890 103645 103497 103335 102984 102888 102694 102363 102212 101845 101705 101274 101131 100706 100485 100078 99623 98961 100064 105588 105823 105869 105650 105272 104974 104740 103714 103609 103471 103216 103002 102862 102463 102376 102144 101769 101627 101195 101055 100652 100245 99818 99338 98811 105605 105750 105885 105790 105546 105138 104877 104677 103674 103578 103406 103040 102973 102769 102389 102293 101941 101738 101454 101164 100769 100547 100111 99688 99050 100097 105621 105856 105881 105683 105305 105007 104773 103744 103642 103504 103230 103035 102863 102496 102357 102179 101802 101636 101228 101035 100637 100196 99806 99289 98582 105632 105779 105912 105792 105425 105098 104838 103641 103660 103518 103337 103010 102880 102701 102388 102199 101802 101693 101272 101076 100683 100278 99881 99381 98763 104452 104593 104770 104615 104290 103979 103706 103328 102736 102586 102424 102149 102005 101815 101594 101408 101067 100925 100570 100380 100055 99677 99279 98671 104231 104356 104487 104383 103996 103684 103444 102661 102576 102434 102230 102009 101867 101560 101419 101216 100958 100746 100480 100131 99885 99542 99069 100158 103976 104270 104210 103951 103607 103322 103117 102421 102323 102151 101886 101770 101600 101349 101172 100848 100704 100394 100195 99908 99565 99156 99419 103738 103965 103967 103764 103381 103091 102891 102283 102167 102037 101744 101628 101456 101222 101045 100749 100593 100297 100077 99782 99458 98986 103510 103631 103764 103691 103417 103044 102783 102604 102108 101964 101802 101583 101439 101179 101038 100835 100589 100374 100117 99803 99469 99136 98682 103253 103480 103482 103297 102896 102610 102406 101950 101852 101680 101439 101341 101147 100961 100748 100515 100304 100050 99725 99464 99097 99188 103006 103300 103238 102981 102637 102352 102156 101803 101693 101523 101303 101150 100920 100779 100576 100348 100100 99907 99616 99331 98932 102758 102901 103032 102947 102545 102243 101997 101685 101581 101443 101154 101098 100920 100704 100527 100283 100095 99855 99566 99289 99015 102512 102653 102830 102673 102350 102032 101777 101555 101425 101282 101055 100951 100771 100572 100395 100173 99979 99756 99488 99209 98891 101773 100954 100398 99862 99485 99134 98853 98692 103154 106364 106636 106643 106286 105966 105670 105446 104427 104381 104199 103860 103724 103588 103233 103094 102891 102545 102353 101965 101772 101426 101015 100543 100108 99645 106128 106570 106656 106623 106306 105956 105666 105456 104465 104358 104221 103880 103744 103564 103216 103116 102887 102562 102353 101985 101738 101394 100953 100563 100128 99473 106397 106542 106763 106562 106273 105909 105649 105455 104478 104370 104200 103811 103765 103543 103181 103087 102672 102530 102268 101973 101561 101367 100955 100476 99982 99358 106415 106650 106695 106494 106192 105843 105603 104569 104484 104344 104135 103838 103687 103475 103202 103013 102611 102502 102091 101928 101485 101121 100810 100284 99741 103137 106432 106710 106734 106378 106040 105756 105524 104519 104455 104273 103934 103798 103618 103225 103133 102915 102613 102378 102039 101672 101400 100986 100514 100068 99393 106444 106679 106727 106528 106227 105862 105628 104554 104472 104332 104123 103822 103680 103413 103197 103013 102611 102457 102042 101890 101492 101090 100623 100193 99575 105265 105406 105583 105428 105103 104792 104530 104141 103549 103399 103237 102962 102830 102643 102407 102219 101892 101736 101392 101214 100868 100493 100116 99619 105027 105168 105345 105188 104865 104554 104292 103903 103396 103246 103065 102832 102679 102459 102285 102053 101772 101584 101292 101042 100747 100406 100030 99476 104788 105019 105086 104844 104489 104203 103976 103260 103186 103019 102771 102633 102453 102173 102060 101757 101615 101297 101104 100774 100432 100077 99565 104548 104848 104822 104680 104317 104005 103779 103166 103083 102893 102689 102544 102354 102050 101934 101698 101503 101204 101009 100699 100343 100011 99463 104319 104538 104626 104363 104040 103735 103502 102925 102875 102695 102406 102350 102172 101914 101761 101457 101316 101013 100823 100522 100217 99786 104065 104206 104446 104226 103954 103588 103349 103169 102768 102624 102439 102260 102083 101786 101679 101424 101282 100972 100774 100493 100207 99860 103822 103963 104098 103983 103728 103357 103106 102926 102613 102466 102264 102113 101925 101648 101550 101283 101119 100822 100657 100367 100075 99614 103578 103809 103854 103653 103359 103006 102787 102451 102401 102221 101986 101870 101698 101518 101332 101106 100895 100675 100386 100088 99805 103354 103474 103629 103496 103154 102846 102587 102348 102241 102103 101876 101772 101592 101393 101216 100994 100800 100577 100306 100027 99740 102698 101848 101240 100741 100315 99971 99709 99514 103514 107180 107458 107421 107144 106808 106508 106292 105249 105201 105021 104682 104594 104408 104055 103916 103738 103361 103221 102787 102624 102244 101837 101435 100930 100506 103905 107200 107478 107502 107146 106823 106524 106292 105269 105221 105041 104702 104574 104430 104075 103936 103733 103381 103195 102807 102614 102236 101808 101385 100950 100391 107219 107364 107499 107404 107146 106752 106491 106291 105288 105192 105020 104639 104585 104407 104003 103907 103618 103404 103161 102826 102383 102187 101773 101322 100855 100180 107237 107520 107515 107373 107005 106683 106437 105152 105306 105164 104983 104663 104557 104338 104027 103881 103472 103322 102941 102748 102310 102015 101688 101184 100591 103585 107250 107552 107492 107238 106886 106584 106368 105299 105230 105050 104716 104588 104444 104066 103955 103728 103408 103221 102839 102566 102252 101793 101377 100913 100215 106087 106327 106346 106185 105840 105511 105291 104435 104350 104173 104000 103769 103625 103305 103164 102986 102693 102499 102190 101958 101677 101294 100899 100318 105835 105976 106109 106024 105622 105320 105074 104371 104201 104054 103852 103631 103487 103237 103041 102861 102586 102392 102103 101814 101555 101214 100838 100246 105597 105828 105916 105653 105314 105025 104785 104048 103995 103859 103580 103442 103278 102967 102869 102566 102422 102106 101911 101586 101290 100938 100485 105358 105499 105654 105521 105196 104885 104612 104149 103894 103747 103545 103352 103210 102933 102792 102589 102365 102131 101867 101515 101235 100903 100471 105118 105259 105392 105323 104922 104617 104357 103821 103736 103559 103386 103211 103023 102734 102618 102398 102203 101921 101728 101431 101082 100761 100564 104883 105110 105112 104909 104526 104236 104036 103580 103482 103325 103084 102971 102777 102589 102403 102148 101954 101732 101409 101122 100830 100329 104635 104866 104933 104691 104336 104050 103823 103423 103375 103193 102944 102828 102658 102464 102273 102036 101842 101602 101287 101064 100710 100577 104395 104689 104629 104370 104036 103736 103536 103265 103169 102974 102782 102638 102395 102282 102060 101867 101593 101395 101150 100852 100437 104148 104379 104424 104204 103913 103576 103347 103127 103058 102876 102637 102539 102349 102204 101972 101803 101571 101344 101123 100844 100472 103370 102568 102025 101481 101091 100764 100487 100330 107746 108188 108274 108241 107924 107574 107284 107074 106083 105976 105839 105498 105362 105198 104834 104734 104505 104177 103993 103609 103402 103032 102604 102181 101746 101251 108040 108161 108294 108221 107947 107564 107292 107094 106085 105989 105832 105484 105382 105202 104809 104704 104478 104197 103987 103626 103325 103032 102576 102201 101711 101047 108056 108180 108357 108200 107894 107544 107285 106895 106104 106010 105815 105467 105353 105181 104831 104692 104310 104168 103862 103594 103199 102981 102564 102114 101561 101045 108061 108284 108414 108114 107803 107467 107223 106159 106077 105937 105736 105427 105285 105038 104802 104616 104204 104110 103689 103514 103097 102695 102398 101865 101375 103668 107060 107146 107113 106799 106441 106181 105996 105165 105052 104880 104569 104481 104299 104026 103870 103581 103439 103087 102892 102534 102236 101940 101451 102323 106642 106869 106871 106668 106285 105995 105795 105020 104949 104769 104492 104382 104202 103907 103794 103475 103331 102998 102853 102463 102184 101868 101440 102833 106399 106673 106636 106341 106028 105744 105532 104862 104749 104577 104312 104196 104024 103769 103625 103286 103178 102823 102669 102352 101989 101637 101095 106176 106416 106435 106274 105930 105600 105380 104779 104649 104506 104243 104157 103967 103663 103547 103327 103116 102817 102622 102315 102038 101706 101217 105940 106222 106196 106073 105705 105379 105153 104625 104542 104352 104103 104017 103827 103538 103422 103151 103007 102725 102532 102235 101886 101565 101117 105682 105915 105917 105750 105335 105058 104845 104403 104287 104157 103892 103776 103606 103397 103206 102956 102779 102535 102260 102014 101690 101245 105456 105696 105715 105554 105209 104880 104660 104232 104179 104043 103786 103682 103502 103276 103123 102848 102692 102441 102184 101960 101633 101199 105211 105430 105518 105255 104916 104627 104394 104072 104024 103842 103589 103491 103321 103139 102953 102724 102516 102296 102013 101730 101456 104980 105097 105232 105117 104862 104491 104240 104060 103917 103772 103568 103447 103257 103022 102881 102611 102467 102253 102029 101753 101469 104735 103738 103082 102553 102098 101715 101424 101167 101745 108805 109040 109085 108903 108572 108233 107993 106959 106877 106732 106547 106231 106125 105906 105595 105449 105080 104906 104509 104366 103941 103720 103311 102888 102304 101817 108837 109060 109187 108885 108589 108237 107993 106979 106894 106754 106545 106248 106097 105885 105609 105423 105018 104910 104529 104336 103898 103627 103304 102849 102179 103691 108846 109078 109082 108933 108514 108206 107982 106922 106820 106682 106413 106221 106078 105684 105556 105365 104995 104853 104438 104286 103888 103486 103089 102589 102131 107684 107830 107938 107865 107591 107218 106957 106778 105942 105844 105672 105361 105273 105091 104818 104662 104373 104231 103879 103684 103326 103066 102772 102295 102369 107438 107660 107685 107487 107098 106818 106609 105816 105742 105575 105313 105175 105039 104694 104587 104383 104138 103923 103644 103347 103101 102758 102327 102382 107193 107424 107428 107261 106846 106569 106365 105641 105591 105411 105176 105038 104858 104578 104465 104162 104018 103702 103507 103176 102886 102534 102113 106956 107097 107232 107117 106862 106491 106240 106060 105489 105345 105181 104950 104806 104616 104442 104210 103967 103773 103515 103204 102984 102657 102241 103423 106718 106992 106999 106642 106332 106051 105847 105348 105238 105068 104811 104713 104501 104316 104130 103853 103665 103424 103131 102907 102599 102197 106479 106620 106860 106640 106368 106002 105757 105583 105182 105038 104853 104671 104529 104254 104143 103919 103694 103429 103234 102957 102642 102329 101923 106245 106602 106474 106271 105888 105598 105398 105042 104929 104757 104545 104432 104238 104065 103854 103634 103448 103189 102891 102668 102344 101910 106004 106361 106233 106030 105647 105357 105157 104871 104773 104601 104400 104292 104084 103888 103710 103525 103289 103047 102806 102508 102225 105780 105897 106118 105917 105628 105279 105032 104799 104714 104537 104333 104195 104059 103810 103666 103411 103267 103053 102801 102553 102269 102309 104554 103906 103394 102914 102546 102241 101988 102546 109621 109865 109884 109723 109374 109038 108799 107760 107675 107533 107352 107032 106924 106707 106390 106248 105881 105741 105310 105165 104770 104521 104112 103685 103132 102567 109622 109857 109905 109725 109405 109056 108816 107732 107653 107508 107323 107000 106906 106691 106381 106235 105831 105681 105305 105112 104688 104461 104094 103640 102980 103636 108447 108678 108682 108530 108116 107823 107619 106728 106675 106539 106232 106144 105956 105680 105539 105317 105065 104854 104568 104279 104024 103669 103277 102774 108237 108354 108553 108374 108068 107736 107489 107174 106576 106432 106268 106009 105913 105699 105469 105281 104958 104832 104490 104336 104031 103673 103350 102876 108002 108119 108254 108139 107901 107513 107262 107082 106426 106330 106118 105873 105775 105563 105348 105160 104865 104709 104390 104221 103911 103568 103216 102674 107742 108021 108016 107874 107511 107185 106973 106360 106277 106087 105911 105736 105548 105289 105178 104954 104749 104513 104251 103944 103677 103362 102996 107529 107646 107781 107666 107428 107040 106789 106623 106123 105979 105815 105607 105454 105249 105053 104873 104640 104454 104213 103918 103672 103349 102984 107291 107408 107607 107428 107122 106790 106543 106228 105970 105826 105641 105459 105317 105042 104931 104707 104482 104217 104022 103745 103463 103138 102686 107028 107259 107263 107111 106697 106404 106200 105834 105725 105588 105337 105221 105051 104857 104666 104423 104235 104028 103743 103515 103185 102759 106788 107019 107107 106844 106505 106216 105983 105682 105611 105431 105196 105080 104908 104731 104540 104319 104125 103902 103614 103401 103097 102729 106550 106821 106784 106507 106191 105891 105691 105505 105409 105214 105036 104892 104664 104553 104329 104152 103895 103697 103470 103191 102817 105772 104970 104427 103883 103493 103166 102889 102732 110144 110585 110673 110643 110328 109978 109688 109478 108440 108333 108196 107860 107724 107560 107201 107101 106872 106549 106365 105986 105779 105414 104991 104573 104143 103653 109244 109361 109494 109401 109157 108759 108513 108338 107498 107400 107228 106917 106829 106647 106374 106233 105929 105785 105435 105290 104945 104698 104365 103977 103379 109002 109218 109261 109081 108755 108426 108206 107435 107350 107173 107000 106783 106639 106334 106193 106013 105732 105544 105258 105038 104755 104396 104042 103539 108774 108894 109049 108916 108574 108266 108007 107544 107207 107057 106876 106657 106504 106299 106123 105937 105637 105486 105165 104975 104686 104343 103988 103416 108518 108773 108792 108631 108287 107961 107742 107136 107053 106863 106673 106512 106324 106065 105952 105730 105525 105291 105027 104738 104491 104178 103772 106999 108470 108556 108503 108209 107851 107579 107406 106900 106804 106609 106387 106279 106065 105880 105694 105417 105249 104991 104695 104499 104192 103792 104841 108047 108319 108286 107969 107629 107354 107169 106748 106652 106457 106237 106105 105933 105759 105527 105310 105124 104900 104595 104367 104033 103612 107825 107950 108081 107977 107590 107278 107038 106680 106550 106407 106186 106056 105912 105648 105535 105268 105104 104819 104665 104400 104135 103788 107568 107709 107844 107729 107474 107103 106852 106672 106441 106297 106112 105961 105770 105526 105410 105187 105045 104730 104571 104326 104051 103722 107328 107469 107602 107533 107132 106827 106571 106371 106241 106098 105905 105767 105587 105382 105238 104995 104839 104625 104401 104155 103893 103503 106182 105572 105018 104528 104180 103857 103593 103538 109400 109543 109674 109570 109187 108885 108639 107936 107684 107534 107353 107109 107001 106787 106548 106371 106069 105917 105615 105422 105053 104725 104468 104010 103859 109168 109399 109466 109224 108869 108583 108356 107585 107481 107343 107052 106964 106776 106515 106374 106171 105913 105727 105436 105165 104910 104574 104199 103693 108956 109076 109209 109098 108756 108448 108178 107641 107389 107239 107058 106839 106686 106481 106305 106119 105810 105668 105347 105157 104868 104525 104173 103685 108701 108844 108975 108871 108488 108186 107940 107319 107237 107092 106888 106701 106551 106276 106135 105957 105706 105520 105260 104949 104729 104427 104049 104402 108466 108809 108701 108480 108102 107825 107619 107102 106986 106856 106559 106511 106289 106073 105920 105613 105503 105184 105030 104729 104427 104109 103633 108239 108461 108507 108288 107915 107632 107410 106954 106883 106703 106428 106372 106194 105942 105798 105507 105397 105083 104918 104658 104372 104049 104427 107993 108267 108230 107935 107622 107338 107126 106793 106683 106513 106296 106188 105974 105821 105589 105388 105202 104960 104690 104422 104150 103751 107767 107986 108095 107811 107488 107179 106950 106628 106578 106398 106166 106097 105893 105701 105553 105280 105136 104905 104663 104417 104116 103738 107516 107747 107814 107572 107233 106931 106704 106474 106426 106244 106005 105907 105737 105570 105384 105171 104985 104760 104489 104264 103975 107299 106277 105642 105117 104662 104279 103988 103731 104058 109680 109899 110008 109724 109401 109092 108863 108116 107986 107843 107639 107464 107322 107015 106874 106696 106413 106225 105933 105737 105436 105080 104777 104331 109460 109577 109712 109597 109359 108971 108720 108554 107884 107788 107593 107331 107233 107043 106806 106664 106323 106213 105902 105704 105422 105129 104777 104410 109223 109369 109477 109404 109130 108757 108496 108317 107748 107638 107468 107212 107099 106905 106693 106516 106223 106082 105774 105620 105353 104983 104666 104205 108987 109269 109243 109120 108752 108426 108200 107672 107587 107410 107237 107065 106888 106658 106517 106295 106106 105872 105625 105336 105088 104793 104448 108734 108875 109010 108895 108640 108269 108018 107838 107437 107293 107131 106935 106782 106537 106396 106216 106002 105791 105589 105312 105056 104762 104383 108498 108639 108794 108661 108336 108025 107752 107371 107286 107144 106940 106792 106601 106378 106239 106038 105843 105595 105400 105144 104845 104552 104169 108261 108624 108496 108275 107897 107620 107420 107149 107036 106864 106666 106553 106359 106201 106015 105786 105600 105375 105087 104874 104622 104184 108023 108256 108258 108091 107676 107399 107186 106981 106883 106726 106527 106414 106220 106079 105866 105681 105466 105267 105002 104771 104482 107807 106810 106154 105625 105170 104787 104496 104239 104817 110187 110406 110494 110231 109892 109603 109370 108680 108573 108435 108158 108070 107882 107636 107495 107292 107050 106864 106590 106301 106060 105765 105410 104838 109943 110243 110217 110075 109712 109400 109174 108561 108476 108334 108140 107937 107793 107518 107377 107199 106948 106762 106505 106191 105993 105690 105354 104858 109710 109941 110008 109766 109411 109125 108898 108352 108278 108142 107891 107753 107589 107308 107210 106939 106795 106513 106318 106023 105771 105459 105080 109476 109617 109794 109637 109314 109003 108741 108352 108179 108035 107850 107674 107524 107279 107138 106939 106741 106529 106279 106008 105760 105464 105125 109241 109382 109559 109404 109079 108768 108495 108114 108032 107885 107683 107535 107358 107130 107019 106795 106586 106338 106162 105890 105642 105346 104912 109014 109236 109261 109063 108690 108407 108185 107878 107830 107648 107395 107307 107125 106951 106774 106530 106388 106155 105913 105689 105415 105022 108783 108999 109042 108862 108536 108207 107987 107729 107676 107540 107263 107207 107029 106822 106678 106435 106279 106062 105841 105617 105333 104976 107891 107119 106568 106097 105654 105350 105091 105563 110669 110810 110965 110832 110507 110196 109923 109460 109208 109058 108896 108663 108531 108344 108153 107967 107674 107530 107237 107059 106767 106443 106132 105671 110455 110580 110711 110607 110224 109908 109676 109140 109055 108913 108709 108536 108386 108126 107985 107807 107572 107386 107143 106850 106630 106347 105989 106389 110207 110501 110439 110182 109838 109553 109357 108907 108809 108652 108396 108298 108126 107916 107774 107484 107373 107057 106892 106632 106346 106053 105623 109976 110203 110205 110020 109623 109333 109133 108758 108667 108528 108261 108213 107991 107796 107654 107365 107239 106979 106780 106565 106269 105969 109485 109923 110009 109956 109662 109304 109032 108859 108617 108473 108300 108134 107981 107766 107625 107447 107260 107028 106832 106543 106348 106068 105658 109499 109732 109734 109567 109152 108875 108662 108475 108359 108229 107988 107890 107700 107553 107367 107160 106966 106760 106490 106296 106036 105674 108434 107816 107216 106757 106353 106042 105786 106295 111149 111428 111423 111281 110918 110592 110373 109852 109767 109590 109417 109242 109100 108838 108697 108498 108287 108076 107855 107562 107342 107059 106722 106604 110917 111260 111152 110931 110553 110276 110076 109620 109529 109392 109130 109061 108857 108629 108485 108236 108084 107785 107626 107397 107065 106788 106336 110696 110915 111024 110740 110417 110108 109879 109475 109422 109286 109063 108925 108745 108510 108414 108173 107997 107753 107561 107327 107016 106735 106355 110450 110683 110685 110500 110103 109813 109613 109341 109232 109095 108858 108742 108570 108396 108219 107975 107831 107597 107358 107162 106887 106604 110215 110356 110489 110420 110019 109714 109458 109258 109175 108985 108792 108706 108516 108284 108171 107964 107772 107521 107367 107138 106882 106594 109764 108805 108224 107718 107259 106933 106627 106406 108048 111614 111888 111912 111556 111228 110947 110747 110332 110219 110047 109824 109708 109538 109326 109184 108894 108783 108479 108325 108062 107756 107464 107033 111394 111613 111722 111438 111115 110806 110577 110173 110120 109984 109761 109623 109443 109223 109110 108871 108729 108479 108286 108025 107729 107457 107053 111149 111380 111447 111205 110850 110564 110337 110022 109972 109792 109545 109489 109311 109089 108945 108686 108578 108296 108127 107909 107661 107352 110939 111056 111189 111096 110852 110454 110208 110033 109873 109729 109567 109410 109260 109060 108919 108716 108534 108306 108130 107888 107630 107377 107385 109745 109119 108621 108103 107743 107432 107160 107713 112063 112294 112361 112119 111780 111478 111251 110875 110801 110634 110442 110304 110124 109904 109791 109552 109410 109160 108967 108709 108443 108168 107734 111843 112062 112189 111887 111580 111259 111030 110707 110654 110518 110309 110171 109991 109771 109675 109450 109258 109032 108834 108641 108341 108086 107780 111601 111872 111835 111558 111242 110942 110742 110556 110458 110286 110087 109989 109777 109652 109441 109253 109067 108894 108625 108395 108163 107806 110796 110005 109465 108938 108536 108210 107941 107791 112495 112636 112769 112684 112282 111980 111734 111453 111368 111226 111032 110888 110697 110489 110387 110165 109970 109739 109594 109303 109108 108856 108478 112263 112494 112621 112319 112012 111691 111462 111245 111171 111035 110812 110702 110522 110329 110173 109930 109820 109557 109392 109186 108959 108670 111950 110956 110385 109811 109378 109014 108733 108457 109343 112909 113183 113146 112851 112538 112254 112042 111867 111769 111597 111398 111300 111088 110963 110777 110564 110376 110203 109982 109736 109503 109233 112315 111486 110834 110350 109905 109575 109313 109104 113195 112180 111615 111061 110618 110276 109985 109731
iterations count:4769897 (8704), effective:132166 (241)

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="BridgeAndVehicles-PT-V20P20N10"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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/BridgeAndVehicles-PT-V20P20N10.tgz
mv BridgeAndVehicles-PT-V20P20N10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-PT-V20P20N10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r005kn-ebro-146347673000305"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
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 ;