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

About the Execution of Marcie for S_BridgeAndVehicles-PT-V20P10N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7452.930 3600000.00 3600500.00 69.70 [undef] Time out reached

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 S_BridgeAndVehicles-PT-V20P10N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r173kn-ebro-146433145400287
=====================================================================


--------------------
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-V20P10N20-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1464792450405


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_V20P10N20
(NrP: 78 NrTr: 968 NrArc: 7350)

net check time: 0m 0.002sec

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

init dd package: 0m 9.298sec


RS generation: 1m19.238sec


-> reachability set: #nodes 148918 (1.5e+05) #states 9,076,326 (6)



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

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


BK_TIME_CONFINEMENT_REACHED

--------------------
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.002sec

850 2277 4385 6779 7712 7754 7767 8456 9054 9380 9664 10175 10444 10680 10890 11176 11293 11368 11419 11433 11433 11385 12061 12099 14508 16686 19392 20605 21142 21164 22120 22459 22755 23311 23571 23819 24176 24330 24429 24500 24521 24548 24544 24505 24450 25775 26099 28557 29970 30875 28765 26084 26439 27093 27401 27981 28253 28513 28958 28944 28864 28661 28353 28136 27869 27574 27256 26856 28830 29713 32115 33476 33556 30862 29139 29828 30148 30752 31036 31308 31816 32032 31999 31772 31614 31427 31191 30924 30529 29953 29913 32538 34070 35845 37481 36899 33998 32847 33536 34134 34460 34744 35255 35524 35740 35560 35486 35337 35135 34899 34466 34006 33623 35399 36901 38878 40684 42045 40911 37181 37210 37899 38527 38823 39352 39639 39887 40025 39973 39865 39700 39498 39096 38688 38388 37988 41167 41921 44056 45749 47064 45526 42230 42252 43208 43547 43843 44399 44659 44907 45067 45010 44885 44720 44395 44002 43728 43410 43010 47221 47600 49843 51763 52692 51138 47909 47931 48892 49226 49522 50078 50338 50580 50751 50689 50564 50374 49943 49689 49409 49091 48691 53938 53940 56549 58147 59213 57388 54249 54271 55258 55566 56118 56418 56678 56914 57109 57029 56906 56665 56289 56044 55751 55433 55033 60941 61215 63552 65158 66186 64361 61252 61274 62261 62569 63121 63421 63681 63915 64112 64034 63911 63646 63294 63049 62756 62438 62038 68229 68611 71220 72818 73824 72059 68920 68942 69929 70237 70789 71089 71349 71583 71782 71704 71581 71316 70964 70719 70426 70108 69708 75540 76304 78541 80467 81201 79812 76613 76635 77596 77930 78226 78782 79042 79282 79458 79399 79276 79086 78640 78414 78121 77803 77403 82862 84010 86176 87771 89096 87557 84319 84341 85297 85636 85932 86488 86748 86998 87160 87107 86984 86821 86453 86103 85829 85511 85111 89429 91729 93790 95536 96807 95674 92009 92060 92727 93355 93651 94180 94469 94719 94790 94828 94705 94542 94315 93866 93538 93232 92832 96387 99461 101094 103169 104336 103492 100098 99770 100459 101062 101383 101667 102203 102453 102671 102538 102439 102276 102076 101789 101304 100955 100566 103759 107206 108621 110527 112060 111658 109157 107515 108204 108524 109128 109414 109922 110200 110418 110360 110163 110023 109823 109589 109297 108789 108303 111078 114964 115509 118152 119550 119810 117475 115273 115962 116282 116857 117174 117448 117933 118178 118147 118042 117761 117583 117349 117084 116791 116261 116073 121959 123008 125418 126975 127874 125798 123044 123066 124053 124363 124923 125221 125483 125925 125920 125842 125719 125314 125108 124857 124564 124246 123846 128189 130519 132670 134280 135608 134124 130828 130850 131806 132149 132447 133007 133269 133519 133681 133628 133505 133342 133017 132624 132350 132032 131632 134828 138316 139893 142024 143197 142617 139476 138625 139316 139922 140246 140532 141068 141318 141536 141317 141304 141141 140941 140707 140235 139820 139431 142609 146207 148577 150145 151105 148975 146258 146638 146980 147286 147798 148008 148190 148346 148478 148678 148750 148806 148848 148878 148910 148916 148918
iterations count:482542 (498), effective:10984 (11)

initing FirstDep: 0m 0.002sec

167 1433 1626 1777 1929 2101 2273 2457 2622 2807 2925 3002 3523 4276 5061 6103 6792 7693 8537 9126 9533 9820 10774 10866 10915 10938 10981 11020 11055 11071 11100 11125 11136 11155 11193 11193 11193 11193 11193 11193 11193 11193 11193 11193 11193 11228 11226 11225 11223 11222 11220 11218 11217 11215 11214 11212 11191 11225 11223 11222 11220 11219 11217 11215 11214 11212 11211 11209 11208 11222 11221 11219 11218 11216 11215 11213 11212 11210 11209 11207 11206 11187 11219 11217 11216 11214 11213 11211 11210 11208 11207 11205 11204 11203 11185 11216 11214 11213 11211 11210 11209 11207 11206 11204 11203 11202 11200 11199 11213 11212 11211 11209 11208 11206 11205 11204 11202 11201 11200 11198 11197 11181 11197 11196 11194 11193 11192 11190 11189 11188 11186 11185 11184 11182 11181 11180 11164 11181 11180 11179 11177 11176 11175 11173 11172 11171 11169 11168 11167 11166 11152 11224 11276 11350 11420 11464 11506 11584 11620 11654 11686 11744 11770 11794 11816 11854 11926 11978 12028 12122 12166 12208 12248 12322 12356 12388 12418 12459 12496 12518 12538 12556 12680 12730 12778 12824 12868 12950 12988 13024 13058 13090 13148 13174 13198 13220 13240 13330 13382 13432 13480 13526 13591 13652 13690 13726 13760 13792 13836 13876 13900 13922 13942 13960 14058 14134 14182 14228 14272 14314 14354 14410 14462 14494 14524 14552 14578 14602 14634 14662 14734 14786 14836 14884 14930 14974 15036 15094 15130 15164 15196 15226 15254 15280 15304 15336 15364 15436 15488 15538 15586 15632 15676 15718 15758 15814 15866 15898 15928 15956 15982 16006 16028 16048 16066 16138 16190 16264 16334 16378 16420 16460 16498 16534 16568 16600 16630 16658 16684 16708 16730 16750 16768 16866 16942 16990 17036 17080 17122 17162 17200 17236 17270 17302 17332 17360 17386 17410 17432 17452 17470 21835 27800 27843 28096 28399 28685 29220 29471 29935 30152 30454 30730 30838 31682 31850 31845 31850 31850 31783 31796 31765 31752 31680 31618 31602 31523 31640 31678 31667 31648 31613 31597 31569 31494 31457 31409 31421 31437 31432 31435 31417 31384 31359 31299 31258 31204 31161 31137 31193 31195 31178 31147 31134 31053 30982 30960 30878 30948 30946 30933 30916 30842 30797 30758 30704 30638 30712 30663 30676 30600 30553 30482 30436 30389 30428 30427 30349 30300 30255 30195 30131 30175 30156 30063 30014 29943 29924 29848 29848 29793 29744 29675 29588 29560 29514 29461 29389 29353 29285 29239 29186 29116 29050 29011 28958 28858 28817 28775 28694 28605 28566 28507 28415 28367 28261 28206 28116 28057 27987 27902 27835 31045 37808 37940 37919 38191 38774 39049 39519 39799 40240 40503 40688 40799 40858 41811 41858 41858 41861 41864 41830 41813 41785 41664 41613 41563 41492 41517 41612 41588 41573 41555 41522 41497 41408 41342 41258 41194 41166 41239 41239 41224 41207 41176 41073 41003 40941 40863 40788 40901 40878 40828 40841 40813 40681 40611 40551 40454 40506 40487 40488 40457 40444 40306 40201 40138 40031 40111 40087 40069 39950 39872 39798 39702 39624 39663 39665 39649 39499 39419 39311 39198 39224 39226 39113 39025 38903 38787 38793 38720 38616 38526 38406 38344 38215 38146 38050 37964 37827 37740 37674 37575 37449 37366 37278 37180 37048 36964 36876 36729 36635 36515 36408 36276 36182 36014 35903 35774 35659 35564 35427 35298 38488 45259 45371 45347 45653 46204 46478 46990 47228 47669 47932 48117 48252 49123 49257 49287 49289 49294 49295 49278 49262 49234 49120 49062 48993 48938 49027 49058 49037 49022 48988 48971 48943 48859 48761 48707 48629 48634 48709 48688 48673 48612 48625 48522 48452 48392 48299 48237 48321 48321 48306 48290 48262 48130 48060 47970 47948 47967 47945 47937 47906 47795 47717 47647 47559 47480 47554 47505 47518 47403 47321 47249 47123 47057 47112 47111 46992 46906 46828 46726 46647 46673 46672 46516 46430 46316 46262 46187 46165 46067 45933 45832 45738 45643 45593 45501 45375 45253 45168 45118 44980 44862 44733 44729 44583 44435 44322 44272 44134 44049 43957 43767 43697 43578 43443 43345 43205 43052 42961 42869 42742 49014 52746 52762 53038 53334 53891 54155 54643 54869 55221 55450 55597 55698 56533 56733 56711 56707 56710 56713 56697 56682 56587 56525 56473 56394 56332 56501 56478 56456 56439 56422 56391 56292 56226 56168 56098 56022 56152 56129 56108 56091 56033 56047 55921 55857 55773 55672 55787 55765 55758 55725 55670 55603 55531 55433 55345 55347 55371 55372 55344 55328 55190 55118 55020 54990 54968 54968 54953 54884 54798 54682 54596 54508 54547 54549 54533 54383 54303 54195 54082 54108 54110 53997 53909 53787 53671 53598 53598 53500 53410 53290 53228 53078 53028 52934 52808 52738 52621 52553 52459 52312 52250 52162 52030 51892 51766 51707 51569 51484 51390 51248 51160 51013 50903 50778 50660 50487 50420 50304 50177 56823 60193 60179 60442 60737 61294 61556 62044 62270 62622 62851 63042 63098 63952 64132 64109 64108 64115 64117 64118 64103 64008 63946 63868 63808 63773 63920 63896 63876 63860 63799 63812 63713 63647 63591 63505 63471 63571 63547 63529 63512 63481 63371 63344 63246 63168 63093 63206 63183 63133 63146 63118 62986 62916 62856 62759 62824 62804 62793 62762 62695 62613 62503 62413 62336 62413 62389 62374 62259 62177 62103 62009 61929 61968 61967 61848 61762 61684 61582 61503 61529 61528 61372 61286 61172 61118 61019 61021 60923 60789 60675 60594 60511 60449 60311 60205 60109 60024 59933 59836 59695 59601 59533 59409 59309 59190 59080 58948 58823 58761 58599 58493 58388 58299 58101 58012 57884 57735 57603 61167 67555 67559 67561 68127 68410 68711 69193 69657 69872 70135 70322 70462 71317 71462 71490 71495 71500 71505 71509 71510 71451 71383 71298 71255 71160 71291 71312 71304 71267 71250 71192 71206 71086 71026 70946 70940 70983 70963 70954 70918 70903 70875 70749 70683 70604 70537 70603 70584 70586 70525 70538 70431 70357 70293 70193 70159 70220 70200 70184 70156 70018 69944 69855 69818 69798 69796 69784 69768 69624 69548 69444 69336 69399 69375 69361 69211 69129 69021 68975 68936 68938 68825 68737 68615 68499 68426 68426 68328 68238 68118 68056 67924 67856 67762 67636 67566 67446 67381 67254 67123 66996 66992 66846 66698 66600 66535 66399 66284 66168 66032 65903 65793 65706 65558 65468 65291 65146 65010 68952 74923 74959 75170 75504 75786 76316 76566 77030 77233 77508 77745 77835 78688 78876 78878 78868 78874 78883 78886 78889 78844 78778 78692 78631 78553 78696 78693 78697 78658 78643 78612 78551 78481 78389 78341 78243 78375 78353 78347 78312 78296 78268 78142 78076 77992 77978 77980 77977 77979 77946 77921 77824 77750 77654 77578 77593 77592 77593 77565 77549 77411 77337 77241 77211 77216 77192 77174 77055 76977 76903 76807 76729 76768 76767 76696 76606 76484 76382 76303 76347 76328 76172 76086 75982 75918 75819 75821 75723 75589 75475 75394 75299 75251 75111 74991 74909 74833 74726 74638 74492 74398 74333 74195 74109 73978 73880 73725 73623 73513 73411 73287 73119 72999 72872 72758 72669 72525 72398 81935 82331 82313 82576 83109 83419 83678 84163 84564 84743 84972 85161 85219 86163 86222 86222 86232 86240 86250 86252 86256 86148 86097 86047 85976 86062 86093 86072 86057 86023 86006 85978 85894 85796 85742 85664 85685 85741 85726 85708 85675 85660 85557 85487 85397 85325 85342 85356 85357 85341 85310 85245 85167 85063 84979 84903 84971 84971 84956 84901 84832 84754 84650 84555 84600 84580 84568 84540 84396 84318 84216 84178 84174 84150 84133 83983 83901 83793 83747 83732 83708 83597 83507 83387 83287 83198 83198 83100 83010 82890 82828 82678 82628 82534 82408 82338 82203 82153 82015 81897 81762 81712 81620 81467 81369 81272 81127 81005 80942 80775 80669 80519 80396 80258 80137 80048 79914 79777 89547 89673 89646 89918 90491 90761 91020 91505 91946 92085 92380 92503 92561 93476 93586 93562 93573 93580 93560 93592 93596 93495 93437 93389 93313 93373 93412 93414 93397 93333 93346 93318 93198 93136 93084 93001 93039 93063 93066 93048 93015 92990 92897 92829 92737 92667 92701 92696 92698 92681 92650 92543 92469 92403 92319 92243 92311 92313 92296 92268 92130 92056 91992 91888 91910 91908 91896 91880 91736 91660 91556 91518 91487 91489 91473 91323 91243 91133 91087 91048 91047 90891 90805 90729 90604 90562 90538 90440 90308 90207 90113 90030 89970 89830 89710 89628 89543 89445 89326 89235 89102 89054 88916 88788 88697 88601 88459 88330 88234 88100 88005 87843 87718 87600 87427 87285 87129 91403 97001 96974 97246 97538 97819 98348 98596 99059 99262 99539 99785 99878 100694 100897 100883 100876 100888 100894 100898 100903 100836 100774 100720 100654 100581 100750 100727 100705 100688 100671 100640 100541 100475 100417 100345 100251 100399 100375 100357 100340 100309 100199 100172 100074 99996 99921 100032 100008 99990 99974 99946 99814 99744 99654 99632 99622 99620 99607 99590 99479 99401 99333 99226 99162 99217 99217 99162 99089 98969 98897 98791 98825 98802 98782 98678 98553 98476 98363 98384 98360 98246 98156 98076 97948 97872 97853 97749 97659 97550 97477 97345 97277 97183 97057 96987 96852 96802 96664 96546 96429 96361 96237 96137 96015 95908 95757 95651 95541 95439 95312 95143 95027 94909 94759 94615 94466 98699 104291 104264 104536 104828 105109 105638 105886 106349 106678 106829 107075 107168 107239 107415 107416 107421 107433 107439 107448 107448 107381 107319 107265 107201 107145 107293 107269 107248 107233 107172 107185 107086 107020 106964 106878 106887 106941 106919 106902 106885 106854 106751 106681 106619 106543 106494 106550 106552 106535 106504 106491 106359 106291 106201 106097 106165 106165 106150 106125 106024 105948 105844 105749 105793 105771 105762 105734 105590 105512 105410 105372 105341 105343 105327 105177 105097 104987 104876 104920 104901 104745 104659 104583 104458 104413 104342 104248 104162 104048 103926 103878 103774 103684 103566 103400 103397 103301 103169 103044 102956 102858 102728 102560 102501 102363 102278 102134 101998 101866 101761 101590 101476 101334 101242 101098 104588 110174 110168 110419 110711 110992 111521 111769 112232 112435 112712 112958 113051 113122 113299 113299 113304 113286 113322 113331 113331 113264 113202 113148 113084 113102 113149 113149 113133 113116 113083 113068 112969 112903 112821 112753 112790 112821 112800 112785 112724 112737 112634 112564 112504 112402 112395 112451 112435 112418 112387 112280 112206 112140 112056 112008 112069 112048 112033 112005 111867 111793 111704 111667 111672 111648 111630 111511 111475 111359 111263 111169 111239 111223 111104 111018 110940 110840 110758 110785 110724 110630 110502 110406 110314 110287 110225 110133 110005 109882 109755 109705 109611 109527 109388 109280 109230 109092 108974 108839 108789 108651 108565 108440 108338 108178 108073 107923 107837 107690 107555 107405 107235 107140 106981 109441 115370 115391 115602 115934 116215 116744 116992 117455 117658 117933 118170 118260 118345 118522 118522 118527 118509 118545 118554 118554 118487 118425 118371 118307 118300 118396 118372 118357 118339 118306 118291 118192 118126 118042 117976 117985 118041 118026 118008 117975 117960 117857 117787 117697 117625 117675 117671 117658 117627 117610 117503 117429 117363 117281 117247 117271 117272 117244 117228 117090 117018 116920 116815 116868 116870 116853 116738 116656 116584 116470 116478 116456 116436 116327 116243 116127 116033 116035 116011 115897 115807 115727 115585 115525 115501 115400 115312 115190 115073 114978 114930 114790 114670 114557 114506 114407 114273 114150 114062 113966 113810 113657 113607 113471 113305 113242 113075 112963 112794 112678 112540 112360 112211 112077 119962 119959 119937 120499 120780 121079 121557 121980 122235 122498 122685 122823 122910 123086 123087 123092 123104 123110 123119 123119 123052 122990 122936 122872 122865 122961 122937 122922 122904 122871 122856 122757 122691 122607 122541 122593 122588 122591 122573 122540 122515 122422 122354 122262 122192 122212 122233 122223 122190 122175 122068 121994 121902 121820 121827 121848 121837 121806 121739 121657 121547 121457 121408 121433 121433 121408 121303 121223 121113 121011 121039 121015 120998 120848 120766 120667 120612 120573 120572 120416 120330 120254 120129 120081 120013 119919 119833 119721 119543 119543 119445 119313 119201 119068 119018 118926 118760 118627 118577 118439 118353 118225 118078 117984 117855 117713 117528 117430 117252 117119 116975 116807 116647 123871 123844 123844 124408 124689 124959 125466 125703 126144 126407 126592 126732 126822 127022 127008 127001 127008 127019 127023 127028 126961 126899 126845 126779 126774 126870 126846 126831 126813 126780 126765 126666 126600 126516 126450 126474 126512 126500 126482 126449 126394 126333 126263 126171 126090 126133 126130 126132 126099 126074 125977 125903 125807 125731 125776 125754 125746 125715 125604 125526 125456 125366 125333 125354 125342 125314 125170 125092 124998 124913 124942 124893 124907 124757 124677 124569 124441 124494 124481 124325 124241 124125 124011 123972 123924 123789 123702 123575 123452 123402 123308 123182 123062 122983 122879 122747 122669 122542 122438 122308 122146 122081 121945 121776 121666 121564 121387 121277 121102 120911 120794 120559 127126 127099 127099 127403 127944 128214 128721 128958 129399 129662 129847 129958 130017 130262 130251 130256 130263 130274 130278 130283 130216 130149 130100 130034 130054 130101 130101 130086 130068 130035 130020 129921 129855 129771 129705 129729 129767 129755 129737 129704 129649 129588 129518 129426 129345 129416 129394 129387 129354 129299 129232 129160 129062 128974 129002 129006 128987 128970 128859 128781 128713 128606 128628 128606 128597 128569 128425 128347 128245 128137 128176 128175 128056 127970 127892 127790 127739 127737 127626 127536 127454 127346 127227 127227 127129 127039 126919 126802 126716 126609 126519 126399 126253 126187 126088 125962 125791 125741 125649 125496 125386 125257 125148 125019 124851 124692 124548 124410 124269 124086 123933 129603 129732 129702 129974 130547 130817 131076 131561 132002 132141 132436 132559 132617 132822 132854 132859 132866 132875 132881 132886 132855 132789 132703 132659 132657 132731 132707 132687 132671 132638 132623 132524 132458 132402 132308 132332 132370 132358 132340 132307 132252 132191 132121 132029 131948 132019 131988 131990 131957 131929 131837 131727 131665 131573 131603 131603 131588 131573 131462 131384 131287 131198 131229 131206 131185 131172 131028 130918 130850 130739 130791 130778 130659 130573 130497 130363 130340 130340 130229 130139 130027 129917 129851 129779 129689 129600 129486 129334 129310 129214 129080 128950 128847 128787 128647 128510 128403 128296 128164 127989 127939 127801 127634 127524 127392 127245 127082 126912 126742 126550 128359 131682 131667 131927 132219 132770 133029 133514 133740 134092 134321 134504 134568 134758 134807 134810 134819 134828 134834 134842 134841 134740 134684 134610 134566 134657 134657 134611 134624 134593 134576 134477 134411 134353 134283 134284 134308 134311 134293 134260 134205 134142 134074 133982 133912 133943 133941 133943 133910 133882 133790 133680 133618 133526 133583 133559 133541 133516 133415 133337 133235 133153 133180 133156 133138 133019 132941 132867 132771 132763 132741 132721 132612 132528 132412 132318 132314 132292 132184 132050 131972 131852 131798 131733 131639 131522 131405 131281 131213 131119 130993 130845 130788 130690 130558 130401 130347 130203 130079 129948 129844 129686 129575 129407 129254 129104 128965 128743 128581 128362 132958 132958 133230 133522 133833 134332 134580 135043 135395 135624 135769 135864 136070 136110 136112 136122 136128 136137 136140 136144 136043 135985 135913 135820 135989 135966 135964 135927 135910 135879 135780 135714 135656 135584 135616 135611 135614 135596 135563 135538 135445 135375 135285 135215 135246 135244 135246 135213 135185 135093 134983 134921 134829 134859 134859 134844 134819 134718 134642 134538 134456 134456 134456 134441 134326 134244 134170 134074 134064 134041 134021 133870 133789 133717 133599 133596 133595 133439 133353 133239 133111 133095 133038 132898 132816 132689 132566 132518 132378 132258 132112 132041 131947 131821 131665 131600 131462 131299 131195 131074 130878 130796 130648 130501 130284 130146 129977 129705 133574 133595 133846 134138 134419 134948 135196 135659 135862 136139 136374 136464 136489 136823 137376 142713 142324 141591 141439 141109 140843 140631 140437 140148 139875 139695 139507 139696 140949 140998 141475 141988 142477 143389 143858 144593 145121 145473 145741 145819 145895 145908 145894 145875 145839 145824 145796 145676 145614 145562 145474 145476 145486 145488 145471 145438 145423 145320 145250 145163 145088 144969 145077 145053 145038 145010 144994 144862 144792 144702 144624 144622 144600 144592 144561 144450 144372 144302 144212 144047 144124 144102 144085 143970 143888 143814 143720 143541 143598 143579 143457 143418 143296 143194 143005 143031 143030 142874 142788 142712 142576 142400 142400 142302 142212 142092 141934 141748 141698 141604 141490 141382 141151 141080 140986 140860 140623 140541 140437 140307 140056 139965 139821 139615 139431 139324 139005 138911 138766 138443 138329 138029 137741 137532 137150 137303 142674 142706 141782 141436 141267 140997 140701 140485 140291 139998 139787 139585 139414 140913 141045 141021 142004 142497 142964 143832 144613 144905 145413 145701 145817 145863 145910 145910 145895 145877 145844 145829 145730 145664 145580 145514 145433 145506 145509 145491 145474 145443 145333 145267 145208 145130 144989 145102 145079 145059 145042 145014 144878 144812 144750 144658 144630 144626 144612 144554 144568 144430 144358 144262 144067 144120 144120 144105 144036 143950 143834 143738 143561 143600 143602 143586 143436 143356 143246 143100 143075 143051 142940 142850 142730 142630 142445 142420 142322 142232 142152 142026 141768 141770 141630 141538 141404 141150 141152 141006 140880 140643 140555 140457 140325 140076 139988 139841 139667 139451 139344 139089 138928 138786 138463 138349 138016 137741 137528 137140 137188 142725 142543 141663 141428 141286 140928 140770 140447 140259 139978 139754 139587 139738 140997 141037 141041 142027 142516 143428 143851 144632 145160 145512 145751 145832 145919 145950 145929 145914 145880 145863 145835 145751 145653 145599 145521 145471 145546 145497 145510 145449 145462 145359 145289 145229 145136 145008 145092 145092 145077 145061 145033 144901 144831 144741 144670 144661 144639 144631 144600 144489 144411 144341 144253 144086 144160 144111 144124 144009 143927 143855 143729 143564 143619 143618 143499 143413 143335 143233 143044 143070 143069 142913 142827 142713 142604 142463 142441 142341 142209 142108 141882 141787 141737 141645 141519 141254 141169 141119 140981 140863 140580 140576 140430 140282 140004 139954 139816 139555 139463 139273 139016 138897 138564 138466 138117 137964 137653 137330 136883 139447 142770 142031 141623 141280 141122 140803 140636 140328 140062 139841 139669 139474 140386 141055 141055 141534 142533 143001 143869 144270 144938 145374 145694 145850 145856 145947 145947 145931 145914 145883 145866 145767 145701 145643 145573 145442 145543 145543 145498 145511 145480 145417 145341 145246 145193 145026 145112 145110 145112 145079 145051 144959 144849 144787 144695 144625 144663 144649 144591 144605 144467 144395 144299 144104 144184 144160 144142 144023 143987 143871 143775 143598 143658 143609 143623 143473 143358 143285 143062 143109 143087 142979 142849 142767 142647 142484 142460 142359 142269 142149 141991 141823 141755 141661 141535 141400 141187 141137 141045 140879 140652 140592 140448 140324 140031 139972 139834 139573 139479 139337 139062 138915 138625 138482 138135 137982 137671 137348 136901 139526 142787 141942 141565 141271 141117 140778 140596 140329 140059 139851 139654 139484 140939 141072 141072 141607 142551 143018 143886 144491 144955 145395 145755 145871 145892 145988 145964 145949 145931 145898 145883 145784 145718 145634 145568 145458 145584 145560 145545 145528 145497 145394 145324 145262 145184 145043 145154 145130 145112 145096 145068 144936 144866 144776 144726 144669 144665 144666 144635 144524 144446 144376 144286 144121 144195 144146 144159 144044 143962 143890 143764 143643 143669 143653 143534 143448 143370 143270 143079 143105 143104 142948 142862 142748 142595 142474 142424 142330 142244 142130 141917 141822 141728 141634 141514 141289 141204 141106 141018 140858 140624 140559 140421 140230 140048 139941 139790 139496 139448 139264 138982 138838 138553 138401 138070 137795 137582 137086 138213 142776 142311 141731 141481 141130 140983 140661 140473 140197 139956 139745 139563 139786 141073 141088 141567 142078 143034 143479 144303 144971 145407 145683 145867 145840 146011 145989 145984 145947 145930 145899 145838 145768 145676 145604 145475 145607 145576 145579 145544 145528 145500 145374 145308 145224 145168 145146 145143 145145 145112 145087 144990 144916 144820 144744 144682 144681 144682 144654 144638 144500 144426 144330 144236 144190 144190 144175 144106 144020 143904 143808 143631 143691 143669 143656 143506 143391 143318 143095 143121 143120 142964 142878 142802 142666 142490 142490 142392 142304 142184 141933 141838 141788 141696 141570 141305 141232 141172 141032 140895 140625 140575 140483 140315 140067 139970 139825 139524 139462 139300 139007 138902 138587 138417 138086 137831 137598 137075 138477 142818 142250 141746 141424 141120 140956 140652 140452 140190 139959 139736 139565 139801 141102 141103 141582 142147 143049 143542 144318 144986 145422 145698 145886 145855 146024 146001 145977 145962 145945 145914 145815 145749 145691 145619 145490 145591 145591 145546 145559 145528 145465 145389 145294 145241 145074 145187 145164 145144 145127 145099 144967 144897 144837 144733 144728 144708 144697 144666 144599 144517 144407 144317 144152 144205 144207 144190 144075 143993 143921 143807 143674 143700 143684 143565 143479 143401 143301 143095 143136 143135 142979 142895 142779 142615 142523 142455 142361 142275 142163 141907 141859 141755 141665 141547 141292 141235 141137 141005 140801 140640 140542 140426 140161 140073 139926 139752 139527 139431 139110 139015 138823 138533 138298 138053 137719 137396 137268 142805 142623 141743 141518 141343 141008 140850 140527 140322 140058 139834 139653 139818 141095 141117 141592 142107 142596 143508 143977 144712 145240 145592 145860 145942 146028 146024 146013 145994 145959 145943 145915 145795 145733 145655 145619 145596 145605 145608 145574 145557 145529 145403 145337 145281 145185 145191 145172 145174 145143 145126 145019 144945 144881 144781 144670 144710 144711 144695 144667 144529 144455 144359 144297 144248 144225 144204 144191 144047 143937 143869 143660 143720 143671 143685 143535 143420 143347 143124 143168 143149 142993 142907 142831 142695 142543 142521 142423 142289 142188 141962 141879 141819 141679 141559 141334 141249 141151 141063 140903 140654 140604 140466 140230 140090 139986 139812 139550 139443 139171 139027 138858 138544 138350 138096 137733 137410 137259 142845 142559 141730 141571 141310 140995 140823 140519 140301 140041 139830 139646 139831 141125 141148 141609 142120 142661 143521 144345 144725 145253 145609 145877 145882 146054 146034 146026 145989 145972 145914 145928 145808 145748 145668 145612 145649 145627 145621 145586 145570 145542 145416 145350 145266 145228 145188 145185 145187 145154 145129 145032 144958 144862 144786 144742 144738 144724 144666 144680 144542 144470 144374 144179 144256 144232 144217 144102 144020 143946 143852 143657 143727 143711 143592 143506 143428 143328 143122 143175 143162 143006 142922 142806 142571 142532 142482 142388 142304 142169 141880 141880 141782 141694 141536 141286 141262 141127 141034 140755 140673 140569 140439 140151 140058 139955 139648 139554 139412 139094 138992 138657 138507 138210 137993 137640 137117 139534 142857 142118 141685 141363 141209 140890 140723 140415 140149 139924 139746 139557 140785 140917 140893 141876 142369 142836 143704 144485 144777 145285 145573 145689 145776 145807 145787 145771 145737 145720 145692 145566 145510 145456 145378 145392 145387 145390 145372 145339 145314 145221 145153 145061 144991 144936 144960 144962 144945 144914 144807 144733 144667 144585 144465 144505 144506 144490 144462 144324 144250 144154 144100 144022 144022 144007 143938 143852 143736 143650 143472 143529 143510 143388 143349 143227 143125 142946 142987 142971 142815 142729 142615 142473 142370 142302 142208 142124 141989 141712 141712 141614 141492 141368 141107 141109 140963 140837 140614 140529 140430 140256 139989 139921 139783 139510 139394 139258 138956 138851 138500 138386 138054 137762 137408 137279 142616 142254 141494 141342 141035 140746 140554 140300 140051 139782 139598 139413 139347 140634 140649 141128 141639 142595 143040 143864 144532 144968 145244 145428 145409 145578 145555 145533 145516 145499 145468 145369 145303 145245 145175 145052 145179 145155 145140 145123 145092 144989 144919 144857 144779 144678 144734 144736 144719 144661 144675 144543 144475 144385 144218 144286 144286 144271 144246 144145 144069 143965 143883 143842 143820 143811 143783 143639 143561 143459 143349 143330 143281 143295 143145 143065 142957 142754 142780 142779 142623 142537 142423 142325 142189 142121 142027 141941 141829 141543 141543 141445 141323 141199 140951 140953 140807 140681 140444 140384 140240 140116 139859 139794 139633 139348 139285 139101 138856 138711 138406 138231 137944 137619 137221 139113 142347 141573 141177 140858 140726 140386 140221 139916 139646 139441 139252 139074 140367 140431 140407 141397 141886 142797 143221 144002 144530 144882 145094 145202 145330 145326 145315 145296 145261 145245 145217 145097 145035 144957 144921 144953 144931 144925 144890 144874 144846 144720 144654 144570 144526 144536 144513 144493 144476 144448 144312 144246 144186 144082 144068 144066 144053 144036 143925 143847 143777 143689 143614 143599 143599 143571 143427 143349 143281 143161 143106 143106 143092 142942 142860 142752 142656 142587 142586 142430 142344 142268 142132 142010 141939 141845 141759 141645 141373 141373 141275 141187 141029 140815 140749 140650 140524 140295 140241 140097 139973 139728 139631 139486 139233 139123 138919 138760 138568 138331 138039 137836 137511 137009 142131 141769 141009 140857 140550 140261 140069 139815 139566 139297 139113 138928 138862 140193 140164 140643 141208 142110 142603 143379 144047 144483 144759 144947 145025 145072 145072 145057 145039 145006 144991 144892 144826 144742 144676 144693 144706 144691 144673 144640 144613 144522 144452 144362 144290 144298 144294 144281 144250 144233 144126 144052 143988 143888 143864 143860 143846 143815 143802 143664 143592 143496 143333 143386 143386 143371 143256 143174 143066 142976 142931 142908 142888 142784 142656 142582 142469 142393 142395 142282 142194 142072 141972 141806 141808 141710 141576 141462 141256 141208 141104 141016 140874 140657 140591 140492 140366 140103 140099 139953 139809 139587 139489 139359 139108 139010 138759 138612 138351 138201 137883 137648 137302 138564 141887 141148 140715 140393 140239 139920 139753 139445 139179 138958 138786 138587 139880 139920 139924 140910 141399 142311 142734 143515 144043 144395 144634 144765 144864 144844 144836 144799 144782 144751 144738 144618 144558 144480 144352 144480 144456 144436 144421 144390 144327 144253 144155 144084 143994 144050 144052 144035 143977 143991 143859 143791 143701 143555 143623 143625 143608 143580 143442 143368 143304 143192 143199 143175 143157 143042 142960 142886 142790 142725 142709 142696 142577 142491 142384 142281 142225 142201 142087 141997 141917 141775 141622 141622 141524 141436 141316 141125 141030 140932 140842 140724 140477 140479 140333 140207 139958 139954 139808 139660 139466 139359 139204 139000 138868 138619 138517 138226 138074 137817 137505 137113 141642 141356 140527 140368 140107 139792 139620 139316 139098 138838 138627 138453 138373 139701 139675 140154 140719 141621 142114 142890 143558 143994 144270 144458 144565 144591 144593 144576 144558 144525 144500 144411 144347 144261 144197 144237 144217 144220 144186 144169 144141 144010 143949 143891 143806 143822 143820 143822 143789 143761 143669 143559 143497 143405 143429 143406 143357 143370 143259 143181 143113 142995 142988 142966 142957 142929 142785 142707 142605 142452 142509 142490 142371 142285 142207 142105 142004 142002 141889 141803 141719 141611 141516 141443 141339 141249 141129 140952 140857 140809 140669 140549 140341 140317 140173 140062 139812 139808 139662 139518 139326 139228 139073 138879 138735 138479 138369 138101 137968 137706 137433 137553 141396 140763 140324 139978 139708 139492 139212 138994 138736 138509 138310 138140 139344 139453 139429 140419 140908 141819 142243 143024 143552 143904 144116 144224 144352 144349 144353 144286 144299 144268 144207 144135 144045 143997 143877 144004 143980 143965 143948 143917 143814 143744 143682 143604 143594 143607 143591 143574 143543 143436 143362 143296 143212 143195 143191 143177 143146 143133 142995 142890 142827 142686 142741 142741 142686 142613 142493 142421 142315 142308 142284 142270 142120 142038 141930 141764 141805 141804 141648 141564 141448 141306 141260 141154 141063 140981 140839 140683 140633 140503 140415 140159 140156 140060 139928 139713 139661 139515 139371 139194 139096 138941 138766 138619 138377 138272 138011 137836 137617 137297 141122 141149 140198 139848 139683 139391 139127 138882 138690 138420 138190 137998 137826 139166 139182 139661 140172 141128 141573 142397 143065 143501 143777 143961 144080 144106 144108 144091 144073 144040 144015 143926 143862 143776 143712 143774 143754 143745 143709 143694 143666 143540 143474 143418 143322 143384 143360 143342 143326 143298 143166 143096 143006 142883 142975 142951 142936 142908 142767 142696 142630 142531 142548 142524 142509 142394 142312 142238 142144 142105 142082 142062 141958 141830 141756 141643 141625 141606 141450 141364 141288 141152 141064 141014 140920 140794 140688 140508 140458 140364 140238 140051 139994 139896 139764 139565 139511 139367 139243 139061 138963 138808 138646 138504 138268 138124 137929 137685 137482 137104 140901 140480 139829 139627 139274 139081 138779 138607 138297 138060 137867 137695 138828 138961 138937 139689 140413 140880 141748 142529 142821 143329 143617 143733 143894 143874 143866 143829 143812 143781 143768 143648 143588 143510 143473 143527 143505 143488 143471 143440 143337 143267 143205 143129 143143 143124 143126 143065 143078 142971 142897 142833 142733 142756 142734 142726 142695 142584 142506 142436 142348 142337 142315 142294 142278 142134 142056 141954 141826 141867 141866 141747 141661 141585 141464 141432 141408 141297 141207 141087 140985 140894 140826 140732 140646 140534 140353 140282 140188 140104 139952 139831 139733 139614 139450 139365 139230 139092 138927 138829 138674 138528 138386 138173 138023 137848 137573 137356 137329 140652 139913 139462 139095 138904 138568 138370 138048 137757 137515 137319 137109 137051 137382 139949 143272 142533 142125 141782 141624 141305 141138 140830 140564 140343 140171 139976 140255 141584 141566 142036 143033 143503 144176 144772 145440 145876 146156 146347 146309 146451 146449 146453 146416 146399 146368 146269 146203 146145 146073 145944 146076 146054 146048 146013 145997 145969 145843 145777 145693 145649 145631 145627 145614 145583 145566 145459 145385 145321 145221 145082 145174 145152 145135 145107 144966 144895 144829 144730 144649 144659 144659 144631 144487 144409 144341 144221 144170 144148 144128 144019 143935 143819 143710 143563 143599 143529 143435 143307 143211 142998 142977 142909 142815 142729 142617 142402 142307 142213 142119 141999 141774 141689 141598 141501 141360 141094 141044 140952 140784 140539 140474 140338 140075 139983 139793 139564 139417 139127 138984 138676 138536 138225 137850 137403 138702 143292 142800 142220 141970 141619 141472 141150 140980 140686 140451 140246 140052 140275 141546 141592 142056 142567 143522 143968 144792 145176 145704 146172 146340 146329 146488 146469 146473 146454 146419 146391 146375 146255 146193 146115 146069 146084 146080 146068 146050 146017 145989 145901 145796 145739 145658 145623 145632 145634 145617 145586 145473 145403 145339 145255 145102 145170 145170 145155 145140 145029 144951 144849 144765 144654 144679 144679 144654 144549 144469 144359 144257 144187 144171 144158 144039 143953 143846 143743 143569 143622 143609 143453 143369 143253 143018 143000 142929 142835 142749 142635 142422 142339 142279 142139 142033 141794 141721 141661 141521 141380 141135 141064 140970 140804 140544 140494 140358 140095 140003 139813 139556 139437 139104 139004 138657 138504 138245 137870 137423 139468 143311 142678 142239 141869 141623 141407 141127 140909 140651 140424 140225 140055 140294 141595 141596 142075 142640 143542 144035 144811 145479 145915 146191 146379 146348 146519 146497 146492 146455 146438 146407 146300 146238 146184 146112 145983 146115 146093 146087 146052 146036 146008 145882 145816 145732 145682 145642 145663 145653 145620 145605 145498 145424 145332 145250 145149 145210 145189 145174 145146 145008 144934 144845 144792 144729 144707 144698 144670 144526 144448 144346 144245 144205 144178 144164 144014 143932 143833 143758 143629 143629 143518 143428 143348 143220 143037 142998 142948 142856 142728 142601 142346 142346 142248 142116 142004 141731 141728 141632 141500 141221 141133 141035 140903 140654 140563 140467 140293 140020 139922 139684 139506 139364 139041 138927 138594 138299 138106 137664 137992 143329 142967 142207 142055 141748 141459 141267 141013 140764 140495 140311 140126 140315 141609 141632 142092 142604 143145 144005 144644 145209 145737 146093 146357 146427 146525 146521 146510 146491 146456 146440 146412 146292 146230 146152 146121 146121 146117 146105 146087 146054 146026 145938 145833 145776 145695 145631 145687 145671 145654 145623 145516 145442 145376 145292 145139 145207 145207 145192 145167 145066 144990 144886 144804 144731 144716 144716 144688 144544 144466 144398 144278 144198 144196 144185 144076 143992 143876 143767 143649 143647 143536 143448 143364 143256 143055 143016 142966 142872 142746 142638 142364 142364 142266 142178 142020 141800 141749 141648 141516 141298 141163 141063 140965 140672 140587 140485 140309 140038 139940 139719 139524 139382 139059 138921 138597 138282 138085 137601 138756 143319 142854 142274 142024 141673 141526 141204 141016 140750 140499 140288 140106 140329 141615 141631 142110 142621 143577 144022 144846 145514 145849 146226 146410 146383 146527 146523 146527 146488 146473 146442 146381 146311 146219 146153 146018 146123 146128 146122 146087 146071 146043 145917 145851 145767 145729 145677 145698 145688 145655 145640 145533 145459 145367 145285 145184 145224 145225 145209 145181 145043 144969 144873 144811 144735 144733 144721 144705 144561 144485 144383 144174 144237 144213 144199 144049 143967 143859 143733 143688 143666 143553 143463 143343 143243 143112 143039 142935 142845 142725 142603 142381 142331 142237 142123 142002 141781 141713 141621 141472 141228 141168

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="S_BridgeAndVehicles-PT-V20P10N20"
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/S_BridgeAndVehicles-PT-V20P10N20.tgz
mv S_BridgeAndVehicles-PT-V20P10N20 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 S_BridgeAndVehicles-PT-V20P10N20, 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 r173kn-ebro-146433145400287"
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 ;