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-V20P10N10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r005kn-ebro-146347672900279
=====================================================================

--------------------
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-V20P10N10-ReachabilityFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-9

=== Now, execution of the tool begins

BK_START 1463598320190


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=ReachabilityFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

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

net check time: 0m 0.004sec

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

init dd package: 0m 7.714sec


RS generation: 0m32.730sec


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



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

checking: EF [[[~ [~ [[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]]] & IS_FIREABLE [liberation_A]] & IS_FIREABLE [liberation_A]]]
normalized: E [true U [IS_FIREABLE [liberation_A] & [IS_FIREABLE [liberation_A] & [IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-3 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.240sec

checking: AG [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_20]]]
normalized: ~ [E [true U ~ [[IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-9 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 18m30.395sec

checking: AG [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]]]
normalized: ~ [E [true U ~ [[IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P10N10-ReachabilityFireability-14 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 5.210sec

checking: EF [[[IS_FIREABLE [liberation_A] & [[IS_FIREABLE [liberation_B] & [IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]] & ~ [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]]]]] | [IS_FIREABLE [altern_cpt_10_1] | IS_FIREABLE [altern_cpt_10_2]]]]
normalized: E [true U [[IS_FIREABLE [altern_cpt_10_1] | IS_FIREABLE [altern_cpt_10_2]] | [IS_FIREABLE [liberation_A] & [~ [[IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [liberation_B] & [IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]]]]]]


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

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

97229 103875 104098 104225 103923 103611 103275 103031 102020 101935 101795 101586 101289 101138 100951 100650 100481 100101 99951 99570 99377 98984 98721 98374 97919 97284 97620 103886 104121 104209 103946 103602 103298 103050 102040 101959 101769 101595 101300 101158 100911 100670 100484 100082 99973 99590 99399 98950 98616 98337 97864 97240 99497 103905 104272 104144 103941 103553 103248 103028 101998 101926 101790 101407 101319 101133 100780 100641 100463 100086 99946 99521 99345 98969 98562 98090 97655 97160 103947 104068 104201 104108 103864 103456 103195 102991 101992 101896 101724 101358 101289 101111 100722 100611 100301 100070 99843 99534 99087 98893 98477 98002 97508 96932 103952 104175 104220 104000 103704 103352 103118 102094 102009 101869 101668 101354 101212 100960 100724 100540 100121 99979 99562 99405 99007 98597 98220 97690 97195 103956 104101 104236 104141 103883 103489 103228 103028 102025 101929 101757 101370 101324 101120 100740 100646 100231 100089 99761 99515 99120 98871 98464 97980 97310 99560 103974 104318 104210 103989 103601 103314 103094 102040 101992 101812 101473 101345 101201 100809 100709 100480 100152 99942 99578 99234 98939 98525 98050 97497 98090 103994 104220 104266 104047 103685 103384 103137 102108 102006 101868 101594 101399 101213 100860 100721 100522 100166 99980 99592 99340 99003 98542 98067 97565 97732 104003 104229 104299 104059 103716 103412 103152 102076 101974 101836 101586 101372 101186 100838 100699 100500 100149 99965 99583 99310 98968 98537 98067 97497 98250 102818 103045 103047 102862 102461 102175 101975 101111 101040 100860 100563 100459 100279 99954 99858 99521 99379 99027 98832 98471 98137 97745 97254 102595 102712 102847 102752 102494 102110 101855 101689 100943 100799 100626 100367 100235 100048 99827 99616 99316 99128 98839 98550 98293 97929 97490 98514 102332 102626 102564 102307 101963 101678 101482 100792 100679 100507 100224 100126 99956 99699 99511 99204 99060 98741 98509 98214 97871 97410 98882 102088 102360 102347 102010 101670 101395 101210 100619 100523 100328 100080 99936 99746 99520 99342 99091 98879 98595 98243 97963 97631 97061 101842 102073 102118 101898 101607 101270 101041 100484 100410 100243 99941 99885 99707 99440 99298 98989 98833 98548 98255 98031 97686 97150 101612 101852 101871 101710 101365 101036 100816 100324 100250 100114 99795 99739 99561 99315 99167 98871 98720 98450 98129 97881 97522 97035 101351 101714 101586 101365 100987 100710 100510 100139 100041 99869 99651 99498 99268 99127 98924 98696 98405 98228 97944 97627 97171 101104 101335 101380 101160 100869 100532 100303 99998 99929 99747 99509 99396 99206 99005 98814 98631 98348 98153 97862 97564 97117 100865 101087 101133 100914 100541 100258 100044 99829 99716 99544 99354 99201 98964 98862 98605 98429 98159 97960 97705 97339 100498 99508 98940 98368 97938 97579 97298 97034 98434 104709 104935 105002 104760 104416 104112 103852 102854 102773 102583 102390 102114 101972 101725 101487 101298 100893 100785 100404 100211 99773 99483 99179 98724 98054 99199 104720 104955 104980 104782 104404 104106 103872 102846 102746 102603 102372 102134 101992 101680 101504 101320 100901 100777 100381 100185 99790 99377 99105 98620 98074 100702 104742 105040 104978 104739 104369 104067 103851 102808 102760 102580 102241 102157 101967 101614 101475 101276 100926 100734 100346 100153 99807 99347 98924 98489 97898 104781 104902 105142 104922 104650 104286 104015 103815 102838 102730 102558 102171 102125 101903 101541 101447 101032 100890 100606 100316 99921 99703 99286 98836 98256 98508 104774 105009 105097 104834 104490 104186 103938 102928 102847 102657 102440 102188 102046 101734 101562 101349 100955 100813 100393 100241 99838 99431 98959 98524 97933 104814 104935 105175 104955 104683 104302 104048 103848 102859 102763 102593 102222 102108 101936 101574 101432 101065 100923 100494 100351 99908 99649 99269 98794 98144 101139 104805 105083 105046 104787 104433 104133 103917 102874 102828 102646 102307 102171 102007 101598 101493 101267 100986 100751 100416 99969 99775 99363 98888 98250 99666 104821 105053 105057 104893 104489 104181 103957 102867 102795 102659 102281 102193 102007 101659 101520 101317 100973 100764 100401 100085 99789 99358 98888 98318 98823 103634 103865 103869 103702 103287 103010 102806 101912 101862 101682 101419 101281 101101 100776 100678 100394 100199 99913 99673 99296 99017 98662 98213 100099 103394 103668 103675 103318 103008 102727 102523 101757 101659 101487 101190 101092 100922 100656 100479 100139 99995 99668 99490 99162 98800 98427 97805 103165 103384 103493 103209 102886 102577 102348 101604 101551 101415 101136 100998 100818 100523 100427 100122 99930 99619 99442 99136 98749 98388 97816 102911 103142 103230 102967 102628 102339 102099 101444 101394 101214 100911 100855 100677 100395 100251 99931 99820 99479 99301 99011 98635 98259 99464 102670 102942 102909 102592 102252 101977 101792 101295 101151 100978 100761 100617 100357 100216 100013 99767 99552 99295 98981 98647 98311 98360 102424 102744 102659 102420 102060 101773 101577 101127 101029 100857 100628 100520 100312 100086 99908 99691 99457 99198 98905 98566 98273 101929 102345 102453 102400 102106 101748 101476 101303 100973 100823 100642 100473 100296 100005 99907 99640 99476 99179 99010 98724 98405 97937 101942 102164 102210 101991 101618 101335 101121 100806 100708 100551 100335 100227 100013 99823 99624 99408 99149 98957 98691 98393 97946 101695 101917 101963 101744 101371 101088 100866 100659 100546 100374 100175 100031 99803 99692 99468 99293 98980 98811 98563 98251 101461 100439 99804 99279 98824 98441 98150 97893 98471 105531 105766 105811 105610 105308 104943 104709 103685 103603 103458 103251 102945 102851 102636 102321 102175 101806 101616 101235 101061 100649 100434 100039 99588 99003 98914 105563 105786 105913 105611 105299 104963 104719 103705 103620 103480 103271 102974 102823 102616 102338 102149 101744 101636 101255 101062 100624 100329 100002 99555 98905 100417 105576 105807 105809 105642 105222 104930 104706 103642 103591 103453 103160 102987 102812 102445 102317 102126 101760 101609 101177 101037 100634 100227 99800 99320 98857 105608 105758 105866 105813 105519 105151 104864 104666 103672 103561 103404 103008 102954 102774 102372 102276 102008 101773 101534 101195 100752 100556 100142 99670 99224 98549 105605 105840 105885 105703 105372 105033 104793 103759 103674 103534 103325 103028 102877 102645 102392 102203 101801 101692 101266 101091 100669 100262 99935 99355 98892 105645 105766 105899 105826 105552 105169 104897 104699 103705 103594 103422 103056 102987 102809 102420 102309 101957 101754 101470 101180 100785 100563 100127 99674 98975 100854 105632 105870 105874 105692 105286 104985 104765 103684 103612 103476 103098 103014 102824 102448 102337 102110 101790 101581 101221 100925 100606 100175 99708 99216 99143 104452 104683 104750 104510 104153 103867 103640 102733 102680 102544 102237 102107 101961 101603 101509 101292 101031 100816 100520 100205 99949 99574 99104 99651 104219 104446 104448 104263 103866 103576 103376 102597 102526 102346 102063 101959 101779 101469 101373 101052 100876 100575 100382 100034 99694 99350 98846 103973 104114 104291 104136 103811 103500 103227 102849 102421 102277 102092 101874 101724 101434 101293 101094 100848 100616 100335 100010 99762 99409 98947 103732 103873 104008 103893 103621 103267 103016 102836 102271 102121 101940 101732 101582 101307 101166 100963 100739 100505 100241 99889 99609 99277 98788 103490 103745 103764 103603 103259 102933 102714 102162 102058 101920 101671 101533 101353 101100 100959 100637 100527 100196 100027 99755 99398 99000 103247 103388 103523 103408 103153 102782 102531 102351 101950 101806 101621 101442 101251 100977 100861 100606 100464 100115 99956 99675 99362 98982 103003 103144 103321 103164 102841 102523 102268 101876 101791 101603 101382 101244 101108 100841 100700 100413 100302 100009 99789 99522 99160 98674 102758 102991 102993 102826 102411 102134 101921 101646 101533 101361 101148 101016 100789 100648 100445 100233 99974 99782 99516 99218 98771 102512 102743 102810 102568 102229 101927 101700 101470 101372 101215 101013 100905 100657 100516 100313 100117 99821 99662 99409 99106 98696 101334 100727 100196 99688 99343 99029 98749 99298 106376 106505 106636 106551 106149 105832 105571 104678 104427 104285 104121 103772 103676 103506 103142 103000 102633 102491 102163 101917 101522 101328 100916 100440 99994 99319 106378 106682 106656 106533 106165 105838 105578 104428 104453 104305 104143 103792 103696 103502 103171 103020 102653 102513 102082 101937 101542 101293 100884 100461 99850 99760 106397 106632 106741 106457 106145 105805 105565 104551 104466 104291 104125 103811 103669 103417 103181 102995 102593 102484 102073 101910 101467 101103 100807 100292 99751 102749 106415 106693 106656 106397 106043 105743 105527 104505 104436 104256 103917 103789 103645 103262 103151 102924 102599 102412 102022 101770 101431 100975 100600 100110 99376 106432 106577 106710 106641 106240 105920 105649 104887 104507 104359 104195 103846 103750 103556 103216 103074 102679 102517 102136 101943 101505 101234 100883 100379 99786 102779 106444 106723 106689 106414 106088 105773 105553 104472 104426 104244 103910 103774 103610 103206 103114 102901 102599 102364 102030 101668 101396 100987 100517 100001 99956 105265 105496 105563 105321 104966 104680 104453 103546 103493 103355 103050 102964 102774 102461 102359 102137 101882 101648 101350 101018 100794 100439 100022 99718 105027 105258 105325 105083 104728 104442 104215 103393 103340 103204 102911 102773 102637 102301 102185 101949 101722 101453 101244 100854 100594 100259 99831 101584 104790 105062 105029 104712 104372 104097 103912 103248 103138 102968 102683 102585 102373 102161 101970 101663 101521 101206 100986 100673 100328 99971 100235 104548 104911 104783 104562 104197 103907 103707 103099 102983 102853 102560 102444 102272 102038 101890 101565 101409 101107 100917 100598 100272 99896 101012 104309 104581 104588 104231 103906 103628 103436 102925 102829 102634 102400 102268 102081 101855 101675 101445 101230 100963 100638 100368 100056 99534 104065 104296 104423 104121 103814 103493 103264 102768 102718 102538 102263 102207 102029 101777 101635 101330 101186 100921 100643 100419 100093 99598 103822 104053 104098 103897 103587 103250 103031 102610 102560 102380 102134 102065 101843 101648 101460 101217 101029 100824 100483 100251 99897 99763 103581 103852 103815 103538 103222 102922 102722 102451 102355 102143 101974 101824 101572 101470 101248 101055 100740 100583 100310 100015 99561 103342 103564 103610 103391 103018 102735 102521 102291 102193 102021 101834 101726 101478 101337 101134 100938 100681 100483 100258 99950 99508 102259 101618 101037 100564 100178 99867 99611 100120 107201 107325 107480 107347 107022 106696 106419 105863 105249 105155 104960 104612 104508 104326 103964 103870 103455 103313 103078 102791 102344 102148 101734 101283 100844 100141 107200 107345 107478 107409 107008 106688 106417 105655 105269 105136 104963 104614 104518 104348 103984 103842 103475 103333 103005 102759 102364 102146 101758 101279 100785 100161 107219 107454 107499 107317 106986 106647 106407 105373 105291 105146 104939 104633 104503 104264 104003 103834 103454 103304 102923 102730 102292 101997 101670 101187 100573 102826 107237 107584 107476 107255 106885 106580 106360 105330 105258 105122 104739 104651 104465 104112 103973 103774 103424 103232 102844 102651 102273 101845 101422 100987 100300 107271 107394 107574 107419 107098 106765 106495 106069 105287 105184 104989 104628 104532 104362 104003 103861 103499 103359 102933 102790 102352 102113 101722 101268 100608 102008 106075 106392 106307 106068 105708 105421 105225 104350 104302 104120 103823 103719 103539 103229 103116 102832 102637 102351 102140 101779 101512 101194 100724 101024 105835 106066 106070 105903 105488 105211 105007 104198 104148 103968 103719 103581 103401 103091 102993 102674 102530 102244 102021 101662 101383 101047 100639 102393 105599 105871 105858 105521 105196 104918 104721 104045 103947 103775 103507 103394 103204 102967 102779 102484 102328 102018 101819 101530 101187 100834 100260 105358 105589 105635 105416 105059 104760 104546 103891 103841 103661 103406 103302 103122 102854 102698 102417 102265 101932 101773 101476 101135 100797 100304 105118 105349 105353 105201 104787 104507 104290 103736 103688 103506 103211 103123 102941 102716 102574 102265 102109 101830 101610 101333 101028 100597 104877 105018 105153 105038 104766 104412 104161 103981 103580 103436 103251 103072 102927 102643 102504 102303 102092 101827 101634 101357 101022 100696 101431 104637 104909 104876 104559 104219 103944 103759 103423 103279 103115 102932 102782 102515 102413 102189 101980 101704 101512 101248 100963 100595 104392 104533 104688 104555 104230 103919 103646 103350 103267 103077 102870 102732 102568 102332 102188 101929 101773 101542 101300 101054 100725 100582 104148 104422 104385 104108 103777 103493 103281 103115 102962 102798 102637 102495 102220 102104 101869 101705 101451 101252 101001 100713 100608 102968 102342 101824 101308 100951 100643 100383 100936 107996 108300 108274 108151 107783 107456 107196 106046 106071 105923 105761 105425 105314 105120 104789 104638 104271 104129 103757 103555 103160 102938 102525 102075 101608 100957 108031 108275 108294 108133 107784 107448 107216 106170 106085 105943 105762 105442 105334 105117 104800 104658 104291 104117 103720 103577 103134 102919 102524 102069 101434 101769 108044 108270 108337 108095 107751 107447 107187 106189 106108 105918 105720 105455 105307 105015 104819 104635 104216 104092 103696 103500 103099 102692 102390 101878 101361 104758 108049 108328 108355 108001 107678 107379 107147 106077 106031 105849 105515 105379 105215 104856 104756 104527 104204 103998 103638 103342 103051 102592 102176 101716 101014 106890 107172 107146 107023 106655 106329 106103 105235 105153 105006 104804 104569 104425 104190 104016 103803 103487 103345 102999 102800 102475 102100 101753 101280 106636 106777 106912 106797 106525 106171 105920 105740 105008 104864 104691 104432 104334 104122 103892 103704 103381 103237 102901 102736 102424 102048 101691 101188 106420 106540 106673 106562 106203 105898 105642 105105 104850 104703 104501 104300 104150 103860 103719 103541 103274 103088 102811 102482 102258 101941 101501 102097 106161 106481 106396 106157 105797 105510 105314 104694 104596 104439 104173 104057 103885 103645 103503 103166 103040 102729 102551 102259 101935 101572 101609 105928 106285 106157 105954 105571 105281 105081 104558 104442 104312 104033 103917 103747 103526 103349 103069 102913 102634 102414 102137 101832 101401 105706 105823 105958 105843 105605 105217 104966 104800 104391 104241 104079 103880 103730 103485 103344 103122 102897 102632 102437 102163 101845 101529 101377 105444 105761 105676 105437 105077 104790 104594 104229 104131 103959 103744 103636 103428 103217 103037 102836 102604 102393 102084 101788 101492 101904 105201 105473 105460 105123 104798 104520 104328 104072 103928 103764 103595 103445 103193 103054 102818 102676 102361 102202 101957 101659 101244 104956 105187 105232 105031 104737 104384 104165 103935 103864 103684 103463 103347 103177 103010 102824 102611 102399 102202 101929 101650 101335 104323 103497 102869 102366 101940 101596 101334 101139 105139 108805 109083 109046 108787 108433 108133 107917 106874 106826 106646 106307 106219 106033 105680 105541 105363 104986 104846 104412 104249 103869 103462 103060 102555 102131 105530 108825 109103 109127 108771 108448 108149 107928 106915 106846 106666 106327 106199 106053 105700 105561 105358 105012 104820 104432 104239 103893 103433 103010 102575 102048 108840 108984 109122 109029 108787 108379 108118 107914 106883 106772 106600 106224 106170 105992 105593 105497 105213 104999 104760 104426 104041 103792 103383 102937 102475 101805 107664 107943 107938 107777 107433 107107 106888 106027 105942 105800 105596 105361 105217 104967 104808 104595 104279 104137 103791 103613 103287 102907 102597 102102 107449 107570 107703 107630 107356 106983 106722 106543 105804 105694 105524 105225 105127 104957 104685 104543 104186 104076 103748 103550 103250 102938 102566 102096 107217 107334 107467 107374 107130 106732 106486 106311 105641 105545 105350 105088 104990 104778 104566 104375 104080 103924 103614 103415 103126 102786 102428 101856 106956 107187 107232 107031 106721 106384 106165 105543 105439 105301 105038 104908 104762 104458 104342 104106 103911 103612 103417 103110 102833 102501 102039 106718 106859 106992 106907 106505 106203 105957 105421 105336 105159 104986 104811 104623 104370 104231 104030 103803 103521 103326 103031 102751 102415 101918 106491 106710 106837 106535 106228 105907 105678 105206 105132 104965 104725 104621 104441 104191 104047 103759 103648 103341 103142 102881 102571 102183 106239 106380 106620 106400 106128 105762 105523 105343 105027 104883 104698 104533 104356 104074 103967 103728 103586 103293 103095 102832 102565 102238 106022 106139 106379 106159 105887 105521 105276 105102 104874 104729 104525 104388 104200 103953 103840 103577 103425 103154 102976 102708 102431 102011 105768 105987 106096 105812 105489 105180 104951 104714 104666 104484 104245 104147 103957 103812 103599 103411 103179 102971 102729 102453 102163 105192 104322 103692 103205 102755 102411 102149 101940 105566 109609 109930 109845 109606 109236 108934 108718 107699 107627 107491 107108 107020 106834 106481 106342 106162 105796 105645 105225 105073 104673 104263 103911 103423 102960 105957 109622 109901 109867 109610 109256 108956 108740 107650 107602 107422 107088 107004 106814 106466 106327 106128 105777 105591 105217 105041 104670 104268 103801 103371 102913 108471 108588 108721 108628 108384 107986 107740 107565 106725 106627 106455 106144 106056 105874 105601 105445 105156 105014 104662 104486 104118 103868 103569 103141 102652 108213 108444 108532 108269 107930 107641 107401 106630 106526 106388 106097 106009 105821 105560 105419 105197 104961 104746 104478 104131 103935 103569 103216 102624 107978 108209 108254 108053 107759 107406 107187 106511 106381 106238 106034 105873 105685 105439 105298 105076 104853 104621 104357 104061 103815 103491 103080 103429 107742 108085 107977 107756 107378 107101 106895 106293 106184 106047 105757 105688 105484 105226 105082 104801 104649 104316 104157 103892 103522 103205 102657 107505 107736 107781 107580 107286 106933 106714 106177 106073 105935 105686 105548 105412 105103 105005 104734 104592 104308 104115 103821 103484 103172 102672 107279 107498 107586 107323 106984 106695 106462 105970 105920 105740 105513 105409 105231 104979 104835 104547 104436 104129 103951 103697 103359 103023 107052 107169 107302 107209 106965 106567 106321 106146 105822 105672 105510 105325 105175 104945 104804 104582 104373 104125 103930 103671 103354 103081 103584 106790 107062 107049 106712 106387 106109 105912 105670 105526 105353 105178 105034 104819 104678 104456 104263 104032 103839 103598 103298 102973 106568 106688 106843 106710 106368 106060 105801 105590 105507 105317 105124 104986 104806 104601 104457 104214 104058 103844 103620 103344 103084 103010 105370 104744 104226 103710 103353 103045 102785 103338 110394 110698 110674 110554 110187 109860 109600 108403 108428 108280 108118 107787 107676 107486 107156 107005 106643 106501 106134 105932 105542 105320 104941 104467 104005 103359 109235 109451 109494 109314 108988 108659 108439 107583 107498 107356 107152 106917 106773 106538 106362 106176 105847 105691 105350 105196 104873 104545 104153 103799 105172 108990 109284 109222 108965 108621 108336 108140 107350 107302 107120 106837 106733 106553 106243 106145 105826 105682 105413 105202 104877 104649 104316 103906 103441 108762 108984 109030 108811 108454 108155 107941 107204 107151 107015 106736 106606 106462 106132 106025 105821 105592 105360 105115 104808 104580 104243 103813 104454 108518 108838 108753 108514 108154 107867 107671 107069 106953 106823 106533 106464 106260 106002 105858 105577 105425 105131 104933 104666 104313 104011 103520 108282 108582 108556 108414 108051 107739 107513 106985 106902 106712 106522 106375 106187 105934 105795 105594 105367 105085 104940 104595 104343 104031 103590 108063 108188 108319 108196 107828 107516 107276 106833 106750 106560 106325 106239 106049 105775 105659 105404 105260 104995 104802 104523 104193 103892 103464 107813 108040 108042 107857 107456 107170 106970 106595 106497 106340 106098 106000 105830 105636 105445 105202 105014 104807 104550 104304 103964 103565 107568 107799 107844 107624 107333 106996 106767 106465 106391 106211 105979 105908 105706 105514 105366 105093 104951 104718 104476 104230 103929 103491 107328 107559 107563 107411 106997 106717 106500 106286 106188 106031 105817 105719 105507 105343 105152 104983 104751 104543 104304 104022 103759 106872 105913 105354 104826 104367 104041 103746 103514 104838 109400 109633 109635 109468 109053 108763 108563 107681 107628 107492 107185 107097 106909 106633 106492 106289 106021 105827 105524 105304 105003 104628 104333 103842 105964 109170 109442 109409 109092 108752 108477 108292 107546 107433 107261 106985 106916 106712 106424 106295 106007 105863 105530 105385 105004 104773 104474 104045 103875 108944 109166 109191 108993 108620 108324 108115 107386 107333 107197 106918 106788 106644 106314 106220 106003 105812 105559 105297 105018 104772 104448 104058 104139 108701 108934 108936 108769 108354 108064 107864 107255 107184 107004 106755 106645 106465 106200 106087 105800 105658 105357 105162 104855 104578 104246 103846 108490 108607 108828 108627 108338 107989 107742 107512 107090 106940 106778 106559 106415 106155 106014 105834 105601 105415 105172 104879 104655 104347 103945 107980 108396 108504 108451 108157 107784 107527 107344 106942 106837 106625 106422 106290 106103 105903 105712 105495 105309 105085 104808 104562 104258 103879 108014 108134 108267 108156 107797 107492 107236 106866 106781 106604 106431 106284 106096 105837 105721 105482 105338 105090 104897 104638 104322 104046 104460 107755 108029 108036 107679 107369 107088 106884 106628 106532 106337 106154 106001 105786 105645 105446 105282 105046 104823 104563 104271 104010 104312 107518 107790 107757 107440 107100 106825 106640 106474 106330 106168 106011 105861 105624 105485 105265 105121 104864 104666 104439 104160 103895 106849 106037 105429 104930 104504 104156 103898 103703 106373 109668 109942 109949 109592 109282 109001 108797 108049 107933 107803 107518 107414 107236 106939 106826 106507 106363 106111 105883 105586 105340 105026 104647 104079 109436 109667 109712 109511 109217 108864 108645 107969 107886 107696 107506 107331 107189 106897 106756 106578 106317 106125 105848 105580 105321 105026 104671 104099 109203 109482 109477 109316 108972 108646 108427 107821 107736 107548 107372 107200 107055 106778 106637 106434 106211 105996 105762 105451 105231 104929 104551 104656 108975 109332 109204 109001 108618 108328 108128 107587 107539 107357 107068 107012 106834 106567 106423 106170 106006 105729 105531 105282 104948 104636 104136 108734 108965 109010 108809 108499 108162 107943 107491 107387 107249 107014 106876 106740 106446 106348 106093 105951 105684 105491 105212 104897 104605 104153 108498 108729 108775 108556 108199 107900 107686 107307 107236 107056 106810 106739 106537 106333 106180 105893 105767 105498 105308 105043 104774 104427 108285 108402 108642 108422 108150 107784 107539 107365 107134 106990 106805 106654 106477 106210 106103 105880 105736 105505 105312 105071 104774 104488 108047 108164 108299 108204 107946 107562 107307 107141 106981 106837 106652 106515 106338 106095 105979 105772 105630 105332 105173 104946 104667 104402 107395 106569 105941 105438 105012 104668 104406 104211 106880 110177 110449 110436 110099 109774 109496 109304 108623 108525 108353 108091 108022 107818 107557 107416 107144 107000 106684 106508 106176 105907 105631 105204 105630 109943 110306 110178 109957 109579 109302 109102 108497 108428 108246 107991 107887 107707 107442 107329 107042 106898 106599 106423 106100 105820 105523 105197 106506 109712 109984 109951 109634 109294 109019 108834 108340 108230 108060 107818 107705 107511 107308 107120 106845 106701 106425 106247 105973 105671 105353 104877 109476 109707 109774 109532 109177 108891 108664 108203 108129 107962 107728 107618 107438 107188 107092 106835 106643 106398 106206 105954 105624 105326 104895 109241 109472 109539 109299 108942 108656 108429 108029 107979 107799 107538 107482 107304 107067 106923 106651 106540 106241 106072 105836 105540 105240 108755 109171 109279 109226 108932 108559 108302 108119 107878 107734 107570 107395 107251 107036 106895 106692 106532 106249 106104 105813 105569 105263 104950 108771 109065 109003 108746 108402 108117 107921 107726 107628 107458 107257 107125 106913 106772 106594 106423 106191 106014 105741 105483 105227 108553 107531 106896 106371 105916 105533 105242 104985 105563 110669 110900 110946 110727 110370 110071 109857 109205 109152 109016 108751 108665 108475 108207 108105 107867 107676 107442 107195 106917 106671 106370 106017 105875 110437 110670 110672 110487 110090 109800 109600 109076 109005 108825 108590 108480 108300 108050 107939 107666 107524 107240 107045 106756 106498 106186 105807 110204 110345 110522 110365 110042 109724 109469 109165 108907 108763 108578 108396 108252 108007 107866 107688 107472 107261 107059 106782 106536 106246 105908 109970 110111 110246 110131 109876 109505 109254 109074 108758 108614 108452 108261 108117 107887 107746 107568 107365 107153 106920 106667 106399 106127 105762 109735 110035 110009 109867 109504 109192 108966 108665 108558 108420 108213 108075 107939 107690 107579 107354 107162 106897 106740 106493 106245 105938 109523 109640 109775 109680 109422 109038 108783 108617 108463 108313 108132 107988 107846 107607 107468 107248 107104 106890 106697 106474 106193 105906 109153 108163 107595 107023 106593 106234 105943 105689 107085 111149 111492 111384 111163 110785 110508 110302 109767 109719 109537 109296 109192 109014 108747 108651 108378 108236 107952 107757 107468 107210 106898 106519 110941 111058 111279 111078 110789 110440 110195 110021 109620 109476 109314 109118 108965 108720 108631 108399 108188 107994 107773 107495 107299 107011 106652 107389 110684 110958 110965 110608 110298 110017 109813 109472 109374 109202 108975 108877 108683 108513 108322 108088 107937 107684 107427 107231 106962 106613 110474 110591 110726 110611 110356 109985 109734 109554 109329 109179 109017 108846 108696 108481 108340 108137 107977 107741 107547 107258 107063 106783 106373 110215 110446 110471 110298 109884 109604 109387 109191 109082 108945 108722 108606 108436 108272 108081 107870 107702 107509 107288 107012 106780 106423 109340 108572 108017 107536 107119 106812 106540 107012 111614 111755 111888 111819 111418 111113 110857 110402 110320 110173 109971 109812 109662 109417 109276 109098 108879 108671 108467 108192 107968 107683 107318 108087 111382 111656 111663 111306 110981 110703 110511 110170 110072 109900 109688 109575 109381 109211 109020 108777 108635 108388 108125 107927 107658 107342 107945 111151 111423 111390 111073 110733 110458 110273 110022 109926 109731 109539 109407 109180 109050 108859 108674 108488 108298 108029 107762 107510 107166 110930 111170 111189 111009 110683 110354 110134 109927 109823 109685 109492 109354 109174 108981 108825 108582 108472 108218 108040 107812 107559 107294 110421 109502 108903 108429 107943 107620 107324 107107 108859 112065 112337 112304 111987 111647 111372 111187 110863 110753 110583 110354 110256 110062 109892 109701 109458 109314 109069 108849 108608 108362 108062 108536 111831 112105 112129 111773 111445 111164 110964 110704 110606 110434 110221 110123 109929 109771 109583 109356 109188 108981 108739 108519 108264 107985 111598 111739 111894 111761 111436 111125 110852 110641 110556 110414 110210 110087 109899 109661 109554 109347 109203 108989 108796 108571 108292 108057 108160 110405 109780 109265 108765 108397 108092 107839 108397 112495 112726 112730 112563 112148 111871 111667 111389 111320 111138 110906 110835 110657 110444 110291 110032 109922 109654 109477 109253 109005 108726 108697 112263 112537 112561 112205 111892 111608 111396 111233 111123 110953 110752 110654 110442 110319 110106 109924 109732 109559 109308 109060 108828 108501 111538 110719 110173 109627 109234 108899 108618 108457 112930 113050 113183 113072 112713 112408 112152 111952 111867 111725 111486 111398 111210 111017 110878 110658 110514 110300 110105 109882 109657 109392 109084 111903 111254 110631 110190 109781 109467 109207 109710 112771 111945 111405 110878 110476 110163 109888 109731
iterations count:4171515 (7612), effective:117289 (214)

iterations count:758 (1), effective:20 (0)
11929 13454 14793 15637 17383 18526 19086 21702 27351 34843 39773 44251 44805 45135 45371 45367 45379 45355 45375 45360 45361 45355 45351 45347 48138 52788 56015 56323 56608 57010 56860 56587 56471 56224 56072 55809 55619 55364 55028 54702 58426 64418 64798 65121 66131 66027 65847 65597 65455 65159 64982 64705 64363 64081 63732 63293 66088 72023 72655 72978 74634 74496 74316 74015 73862 73507 73351 73018 72668 72384 71887 71115 72057 75783 79586 79894 80179 82420 82267 81927 81746 81547 81169 80818 80542 80106 79596 79123 78204 78340 82859 85929 86342 86512 89672 89528 89058 88917 88714 88244 87842 87534 86968 86401 85755 84512 84666 86742 91533 91821 92062 96329 96231 96059 95525 95348 94732 94576 93940 93468 93065 92361 91100 90087 90125 92299 96356 96650 96920 102382 102284 101982 101452 101266 100534 100357 99603 98867 98592 97734 96250 94893 94923 95845 100434 100719 100963 107852 107783 107579 106766 106622 105761 105597 104674 104476 103543 102487 101445 99508 99912 100629 101247 101497 101590 101642 101645 102589 103408 103894 104406 104604 104716 104854 105662 106438 107482 108098 108592 108800 109012 109120 110145 111115 112420 113190 113821 114065 114303 114535 114425 116905 117973 118945 119997 120319 120601 120843 120951 122450 123808 125054 126713 127420 127804 128140 128428 128635 130272 131824 133248 134544

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-V20P10N10"
export BK_EXAMINATION="ReachabilityFireability"
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-V20P10N10.tgz
mv BridgeAndVehicles-PT-V20P10N10 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-V20P10N10, examination is ReachabilityFireability"
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-146347672900279"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;