About the Execution of Marcie for S_BridgeAndVehicles-PT-V20P10N50
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7990.730 | 3600000.00 | 3600502.00 | 79.50 | F??????????????? | 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 S_BridgeAndVehicles-PT-V20P10N50, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r173kn-ebro-146433145400295
=====================================================================
--------------------
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-V20P10N50-ReachabilityCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-9
=== Now, execution of the tool begins
BK_START 1464792463380
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=ReachabilityCardinality.xml --mcc-mode --memory=6 --suppress
parse successfull
net created successfully
Net: BridgeAndVehicles_PT_V20P10N50
(NrP: 108 NrTr: 2228 NrArc: 17190)
net check time: 0m 0.004sec
parse formulas
formulas created successfully
place and transition orderings generation:0m 0.016sec
init dd package: 0m 8.101sec
RS generation: 3m23.359sec
-> reachability set: #nodes 148518 (1.5e+05) #states 9,080,862 (6)
starting MCC model checker
--------------------------
checking: AG [1<=ROUTE_B]
normalized: ~ [E [true U ~ [1<=ROUTE_B]]]
abstracting: (1<=ROUTE_B) states: 7,956,397 (6)
-> the formula is FALSE
FORMULA BridgeAndVehicles-COL-V20P10N50-ReachabilityCardinality-0 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
MC time: 6m10.175sec
checking: AG [~ [~ [[SORTI_A<=CAPACITE | 2<=ROUTE_B]]]]
normalized: ~ [E [true U ~ [[SORTI_A<=CAPACITE | 2<=ROUTE_B]]]]
abstracting: (2<=ROUTE_B) states: 6,929,934 (6)
abstracting: (SORTI_A<=CAPACITE) states: 4,267,600 (6)
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.005sec
880 880 961 3078 4946 6210 7546 7800 7784 7776 7776 7798 8165 8462 8494 8811 9091 9116 9409 9667 9690 9959 10190 10216 10461 10461 10694 10913 10913 11072 11185 11201 11302 11266 11377 11428 11428 11457 11450 11466 11457 11454 11394 11394 12072 12072 12092 13752 15841 17399 19407 20250 20857 21211 21211 21233 21566 21600 21929 22220 22246 22551 22820 22844 23125 23372 23394 23651 23871 23896 24109 24077 24270 24399 24399 24498 24554 24569 24614 24578 24635 24634 24634 24613 24559 24574 24519 24519 24519 25844 25844 26168 28081 29690 30770 30664 29391 27329 26119 26119 26141 26508 26810 26837 27154 27434 27459 27752 28010 28033 28302 28538 28559 28804 28993 29017 28981 28928 28899 28774 28774 28609 28388 28407 28171 28171 27904 27598 27609 27291 27151 26891 26891 28863 28865 28865 30233 31691 33150 34009 33317 31825 29173 29140 29140 29162 29529 29858 30144 30175 30480 30744 30773 31054 31296 31323 31580 31580 31825 32038 32038 32002 31903 31920 31795 31610 31630 31428 31428 31192 30913 30925 30632 30485 30314 29904 29914 29914 32539 32539 32539 34516 35818 37164 37469 36549 34740 32814 32814 32836 33174 33203 33532 33849 33849 34154 34447 34447 34728 34997 34997 35254 35479 35499 35712 35653 35676 35594 35469 35469 35304 35304 35102 34848 34866 34601 34574 34308 33979 33990 33590 33590 34985 36868 36868 37140 38949 40175 41523 42088 40753 38849 37143 37143 37165 37532 37532 37861 38178 38453 38483 38776 39029 39057 39326 39326 39583 39828 39826 40041 40005 40005 39923 39777 39798 39633 39531 39431 39197 39197 38932 38645 38639 38321 38321 37921 37921 40348 41854 41854 42127 44034 45562 46370 46924 45459 43545 42129 42129 42151 42518 42815 42847 43164 43444 43469 43762 44020 44043 44312 44543 44569 44814 44804 45027 44991 44991 44909 44768 44784 44619 44394 44419 44185 44185 43920 43609 43627 43309 43279 42909 42909 45612 47499 47499 47772 49665 51207 51976 52569 51104 49190 47774 47774 47796 48163 48460 48492 48809 49084 49114 49407 49660 49688 49957 50188 50214 50459 50449 50672 50636 50636 50554 50413 50429 50266 50059 50066 49832 49832 49567 49256 49274 48956 48956 48556 48556 51535 53805 53805 54077 55866 57112 58398 59055 57720 55837 54080 54080 54102 54469 54469 54798 55115 55390 55420 55713 55966 55994 56263 56263 56520 56765 56765 56978 56942 56942 56860 56714 56737 56574 56521 56374 56126 56140 55875 55633 55582 55264 55264 54864 54864 57740 60774 60774 60774 62407 64026 65321 65830 64805 63285 61049 61049 61071 61409 61438 61767 62084 62084 62389 62682 62682 62963 63232 63232 63489 63714 63734 63947 63888 63911 63831 63753 63708 63545 63545 63345 63091 63111 62846 62846 62553 62218 62235 61835 61835 64600 67646 68408 68408 69291 71189 72571 73135 72844 71471 68716 68683 68683 68705 69072 69401 69401 69718 70023 70287 70316 70597 70839 70866 71123 71123 71368 71581 71581 71547 71449 71467 71344 71119 71181 70981 70981 70747 70463 70482 70189 70136 69871 69461 69471 69471 74160 76067 76067 76340 78272 79775 80544 81044 79614 77552 76342 76342 76364 76731 77028 77060 77377 77657 77682 77975 78233 78256 78525 78756 78782 79027 79013 79242 79208 79208 79128 78988 79005 78842 78600 78642 78408 78408 78143 77832 77850 77532 77502 77132 77132 80299 83355 83739 83739 85217 86927 87976 88831 88160 86297 84014 84014 84014 84369 84403 84732 85023 85049 85354 85623 85647 85928 86175 86197 86454 86674 86701 86916 86814 86882 86802 86802 86679 86494 86516 86316 86191 86082 85817 85817 85524 85237 85206 84806 84806 84806 89124 91424 91424 91697 93590 95132 95901 96455 95029 93115 91699 91699 91721 92088 92385 92417 92734 93009 93039 93332 93585 93613 93882 94113 94141 94388 94378 94603 94569 94569 94489 94349 94366 94203 93996 94003 93769 93769 93504 93193 93211 92893 92893 92493 92493 95684 97968 99122 99122 100005 101853 103285 103849 103758 102185 99730 99397 99397 99419 99786 100115 100115 100432 100737 100737 101030 101311 101311 101582 101841 101841 102088 102303 102303 102269 102165 102189 102066 101919 101903 101703 101703 101469 101185 101204 100911 100911 100593 100183 100193 100193 103366 106446 106833 106833 108381 110021 111073 111919 111164 109391 107108 107108 107130 107463 107497 107826 108117 108143 108448 108717 108741 109024 109272 109295 109554 109774 109801 110016 109809 109982 109902 109902 109779 109600 109616 109416 109209 109182 108917 108917 108624 108289 108306 107906 107906 107906 111467 114555 114557 114557 116534 117878 119104 119770 118567 116589 114832 114832 114854 115221 115221 115550 115867 115867 116172 116467 116467 116750 117021 117021 117280 117527 117527 117742 117689 117708 117628 117421 117505 117342 117342 117142 116888 116908 116643 116541 116350 116021 116032 115632 115632 118793 119583 122294 122294 122566 124355 125601 126884 127487 126209 124326 122569 122569 122591 122958 122958 123287 123604 123879 123911 124206 124459 124489 124760 124760 125019 125266 125266 125481 125447 125447 125367 125221 125244 125081 125028 124881 124633 124647 124382 124140 124089 123771 123771 123371 123371 126571 127326 130044 130044 130316 132105 133351 134637 135237 133959 132076 130319 130319 130341 130708 130708 131037 131356 131631 131663 131958 132211 132241 132512 132512 132771 133018 133018 133233 133199 133199 133119 132973 132996 132833 132755 132633 132385 132399 132134 131876 131841 131523 131523 131123 131123 134325 134693 137805 137807 137807 139784 141149 142382 143020 141817 139839 138082 138082 138104 138471 138471 138802 139121 139121 139428 139723 139723 140006 140277 140277 140536 140783 140783 140998 140945 140964 140884 140738 140761 140598 140598 140398 140150 140164 139899 139752 139606 139288 139288 138888 138888 142052 142084 145191 145583 145583 147216 148820 149736 150647 149614 148094 145858 145858 146238 146238 146580 146580 146886 146886 147158 147158 147398 147398 147608 147608 147790 147790 147946 147946 148078 148078 148188 148188 148278 148278 148350 148350 148406 148406 148448 148448 148478 148478 148498 148498 148510 148510 148516 148516 148518 148518
iterations count:955510 (428), effective:11022 (4)
initing FirstDep: 0m 0.004sec
148518 148518
iterations count:2438 (1), effective:20 (0)
93854 94596 94596 95472 96271 96239 96897 97446 97886 98052 98221 98439 98552 100490 101874 101775 102809 103623 104084 103946 104216 104377 104471 104523 104514 104498 104496 104520 104463 104417 105618 109077 112118 113006 113047 113045 113041 113039 113037 113034 113019 113006 113006 113006 113006 113006 113006 113006 112973 117887 119539 119631 119693 119689 119706 119682 119678 119675 119659 119644 119631 119631 119631 119631 119631 119631 119631 119634 119544 119509 124898 125562 125645 125728 125741 125746 125742 125716 125712 125721 125726 125708 125673 125658 125648 125645 125645 125645 125645 125651 125651 125645 125645 125648 125593 125506 125384 128236 130730 130971 131048 131154 131181 131147 131198 131141 131170 131163 131132 131161 131111 131109 131103 131076 131067 131061 131051 131060 131048 131057 131048 131048 131057 131048 131060 131048 131054 131048 130945 130861 130755 130722 130600 135053 135691 135815 135920 135968 135982 136015 135988 136005 135953 136017 135947 135996 135925 135962 135904 135930 135888 135891 135868 135853 135859 135840 135840 135840 135849 135840 135849 135843 135849 135840 135852 135846 135840 135849 135840 135740 135660 135607 135504 135420 135314 135281 135159 139079 139761 139947 140077 140153 140169 140195 140234 140160 140218 140203 140168 140219 140142 140178 140159 140106 140141 140104 140113 140106 140069 140074 140058 140049 140052 140040 140034 140036 140027 140021 140033 140024 140033 140030 140021 140033 140030 140021 140039 140027 140021 139927 139841 139747 139653 139592 139511 139411 139324 139218 139185 139063 142814 143206 143429 143591 143716 143759 143760 143819 143838 143800 143748 143838 143766 143723 143795 143752 143699 143764 143732 143679 143703 143682 143661 143686 143682 143645 143636 143656 143631 143622 143619 143619 143610 143609 143606 143600 143591 143606 143603 143597 143591 143609 143600 143591 143615 143603 143591 143512 143497 143395 143301 143272 143178 143092 142998 142895 142843 142762 142659 142575 142469 142321 144811 146018 146018 146310 146528 146650 146735 146738 146738 146818 146820 146780 146710 146774 146776 146736 146683 146767 146734 146695 146657 146725 146694 146635 146634 146676 146657 146614 146613 146641 146623 146595 146594 146618 146593 146587 146578 146590 146578 146572 146563 146568 146565 146559 146550 146580 146550 146550 146553 146583 146568 146562 146553 146477 146462 146407 146309 146219 146109 146100 146011 145921 145844 145778 145673 145595 145501 145443 145362 145259 145175 145036 144914 147686 148210 148387 148668 148869 148982 149072 149088 149092 149087 149157 149151 149152 149092 149056 149152 149128 149087 149034 149081 149109 149065 149028 149006 149079 149025 149026 148989 149021 149036 149008 148974 148962 148994 148998 148974 148955 148946 148978 148963 148941 148935 148926 148947 148932 148926 148920 148911 148919 148919 148913 148907 148898 148931 148898 148913 148907 148870 148822 148810 148708 148660 148570 148501 148419 148358 148308 148214 148142 148048 147996 147898 147823 147732 147674 147576 147455 147394 147313 147210 147126 146990 146865 149769 149745 149961 150293 150505 150633 150791 150825 150830 150831 150825 150901 150943 150912 150869 150806 150837 150903 150863 150845 150806 150769 150852 150844 150823 150784 150741 150783 150815 150782 150764 150730 150721 150767 150771 150746 150712 150706 150697 150745 150730 150696 150690 150684 150724 150707 150682 150679 150673 150664 150670 150676 150667 150661 150655 150646 150657 150660 150651 150648 150633 150602 150548 150548 150453 150398 150321 150266 150166 150112 150060 150010 149930 149848 149766 149718 149660 149577 149491 149404 149353 149298 149200 149082 149028 148926 148848 148751 148646 148518 148460 148322 148174 151767 152105 152105 152078 152081 152350 152642 152642 152923 153193 153452 153452 153700 153937 154163 154378 154515 154641 154744 154878 154935 154984 154993 155292 155268 155054 155095 155093 155091 155088 155085 155083 155081 155067 155054 155054 155054 155054 155054 155054 155054 154993 155415 155316 155408 155470 155467 155464 155461 155458 155455 155452 155436 155421 155408 155408 155408 155408 155408 155408 155408 155408 155353 154993 155562 155530 155709 155791 155815 155787 155784 155780 155796 155796 155772 155754 155753 155742 155722 155709 155712 155715 155709 155709 155712 155715 155709 155709 155715 155681 155549 155244 154993 155744 155934 156008 156097 156112 156144 156105 156102 156141 156097 156119 156115 156085 156096 156053 156055 156036 156024 156017 156008 156014 156008 156014 156008 156008 156017 156011 156020 156008 156017 156008 155905 155781 155558 155354 155048 155622 155876 156148 156306 156417 156431 156493 156425 156472 156452 156442 156444 156411 156440 156390 156397 156370 156388 156351 156356 156337 156337 156319 156318 156312 156306 156315 156306 156315 156309 156324 156312 156318 156306 156306 156318 156306 156206 156154 155978 155840 155756 155531 155327 155048 155691 156324 156344 156604 156707 156753 156750 156830 156772 156759 156827 156749 156787 156781 156712 156771 156723 156718 156724 156671 156704 156671 156649 156666 156641 156632 156635 156623 156617 156619 156610 156619 156616 156607 156628 156604 156604 156616 156613 156604 156625 156613 156604 156513 156455 156357 156173 156119 155993 155790 155717 155537 155405 155129 155637 156533 156518 156832 156962 157038 157072 157070 157134 157153 157075 157121 157124 157063 157034 157105 157038 157011 157072 157015 156988 157041 157007 156973 156965 156994 156957 156948 156959 156943 156934 156931 156931 156922 156916 156924 156903 156903 156930 156903 156909 156903 156918 156912 156903 156930 156903 156909 156875 156815 156757 156659 156516 156402 156350 156252 156086 156032 155906 155707 155649 155435 155273 154993 156220 156684 156834 157064 157204 157350 157390 157395 157392 157484 157476 157413 157363 157442 157431 157371 157374 157411 157388 157331 157348 157368 157348 157295 157324 157330 157311 157274 157267 157304 157277 157258 157249 157272 157247 157241 157232 157247 157232 157226 157217 157222 157222 157216 157207 157237 157222 157216 157204 157240 157222 157204 157210 157176 157113 157061 157011 156917 156781 156687 156635 156537 156445 156306 156245 156147 155999 155945 155819 155639 155556 155366 155246 155003 156776 156808 156997 157278 157504 157612 157697 157701 157703 157696 157782 157782 157740 157681 157726 157768 157738 157668 157641 157691 157716 157675 157638 157616 157689 157635 157636 157599 157631 157646 157618 157584 157578 157626 157602 157584 157565 157556 157570 157576 157554 157548 157539 157560 157542 157521 157521 157521 157547 157532 157523 157517 157508 157529 157532 157523 157517 157508 157420 157423 157368 157270 157196 157114 156990 156975 156886 156825 156714 156565 156565 156463 156369 156207 156192 156090 155958 155861 155756 155619 155513 155339 155219 155000 156928 156928 157144 157476 157688 157837 157960 157984 158013 158014 158008 158062 158119 158095 158052 157995 158020 158086 158046 158028 157989 157952 158002 158033 158006 157967 157924 157966 157986 157986 157947 157913 157904 157937 157948 157929 157895 157889 157880 157931 157916 157861 157876 157861 157900 157881 157881 157862 157856 157850 157877 157853 157850 157847 157841 157832 157861 157840 157837 157831 157825 157816 157731 157737 157679 157629 157535 157464 157386 157267 157270 157215 157117 157043 156961 156837 156837 156735 156658 156572 156455 156405 156341 156247 156087 156035 155958 155825 155771 155641 155500 155393 155267 155021 158499 158570 158597 157964 157460 157432 157260 157040 156911 156827 156660 156432 156302 156163 156033 155912 155718 155565 155456 155338 155217 155101 154996 155295 155271 155053 155098 155096 155094 155092 155090 155087 155084 155070 155057 155057 155057 155057 155057 155057 155057 155057 154996 155394 155319 155411 155473 155470 155467 155464 155461 155458 155455 155439 155424 155411 155411 155411 155411 155411 155414 155414 155411 155411 155411 154996 155475 155533 155712 155780 155795 155791 155803 155808 155783 155779 155806 155773 155757 155740 155728 155718 155712 155712 155718 155712 155712 155715 155718 155712 155712 155712 155712 155576 155329 154996 155617 155719 155985 156053 156115 156158 156110 156161 156104 156133 156098 156095 156130 156075 156090 156056 156042 156047 156024 156023 156011 156020 156011 156017 156011 156011 156011 156014 156011 156011 156023 156011 155911 155827 155612 155462 155216 155373 155879 156157 156305 156380 156435 156451 156484 156428 156496 156422 156478 156416 156459 156424 156425 156407 156372 156367 156354 156362 156337 156337 156325 156309 156315 156309 156318 156309 156324 156312 156327 156315 156309 156318 156309 156324 156312 156227 156177 156079 155861 155788 155616 155480 155193 155015 156015 156353 156533 156607 156741 156755 156794 156818 156746 156799 156809 156739 156801 156764 156714 156766 156708 156690 156698 156671 156694 156674 156652 156660 156635 156635 156638 156626 156620 156622 156613 156622 156619 156610 156607 156619 156610 156631 156607 156607 156631 156616 156607 156510 156475 156381 156222 156125 156020 155875 155772 155568 155462 155303 154996 156129 156530 156656 156883 156984 157058 157076 157109 157170 157135 157065 157136 157129 157052 157068 157072 157048 157047 157067 157028 156991 157040 157010 156973 157012 156994 156960 156951 156962 156946 156937 156949 156934 156919 156919 156921 156918 156909 156936 156921 156906 156906 156921 156918 156909 156936 156921 156915 156906 156812 156760 156710 156590 156417 156405 156303 156135 156035 155955 155807 155704 155520 155414 155167 155415 156479 156681 156947 157139 157269 157367 157393 157398 157412 157498 157455 157416 157365 157458 157411 157374 157355 157420 157370 157334 157351 157377 157319 157298 157327 157333 157314 157277 157271 157307 157280 157261 157252 157266 157250 157244 157235 157238 157238 157232 157223 157225 157225 157219 157207 157207 157231 157207 157213 157207 157234 157222 157216 157207 157116 157116 157014 156937 156851 156690 156690 156588 156494 156354 156300 156198 156102 155954 155896 155739 155636 155472 155366 155112 155577 156829 156811 157156 157377 157511 157634 157700 157705 157705 157742 157809 157787 157744 157687 157707 157771 157702 157681 157644 157694 157719 157678 157641 157619 157680 157638 157639 157602 157595 157640 157621 157587 157581 157612 157614 157587 157568 157562 157554 157573 157557 157551 157539 157566 157545 157542 157536 157524 157553 157532 157529 157523 157511 157553 157532 157529 157523 157517 157429 157432 157371 157321 157227 157141 157032 156978 156926 156843 156782 156662 156574 156516 156418 156326 156195 156143 156045 155879 155829 155731 155571 155487 155318 155113 155438 156952 156937 157147 157479 157757 157887 157991 158009 158016 158005 158008 158065 158121 158098 158055 157998 158023 158089 158049 158031 157992 157955 158027 158036 158009 157970 157936 157927 158006 157989 157950 157916 157910 157965 157951 157932 157914 157895 157886 157939 157922 157898 157879 157873 157864 157902 157887 157847 157862 157847 157847 157871 157856 157850 157832 157838 157846 157855 157819 157837 157831 157825 157737 157746 157687 157632 157584 157494 157412 157324 157279 157218 157168 157074 156988 156894 156840 156788 156705 156644 156512 156452 156394 156296 156187 156096 156038 155917 155774 155722 155603 155500 155376 155240 154996 158570 158574 158418 157968 157460 157411 157264 157003 156915 156809 156664 156436 156302 156167 156037 155899 155706 155569 155448 155330 155221 155105 155000 155299 155275 155029 155102 155100 155098 155096 155094 155092 155090 155088 155074 155061 155061 155061 155061 155061 155061 155061 155061 155000 155398 155323 155415 155477 155475 155490 155490 155467 155465 155462 155459 155443 155428 155415 155415 155415 155415 155415 155415 155418 155415 155415 155415 155000 155434 155537 155689 155737 155799 155795 155793 155791 155787 155803 155782 155779 155774 155779 155744 155729 155722 155716 155716 155719 155716 155716 155719 155722 155716 155719 155722 155716 155610 155388 155000 155491 155723 155935 156015 156120 156146 156130 156142 156109 156148 156104 156137 156099 156106 156078 156076 156081 156043 156040 156028 156024 156015 156021 156015 156021 156015 156015 156015 156018 156024 156018 156015 156015 155918 155860 155668 155532 155306 155000 155797 156043 156236 156313 156441 156438 156500 156432 156456 156459 156454 156470 156420 156469 156398 156439 156393 156375 156377 156358 156363 156341 156335 156329 156331 156319 156313 156322 156313 156328 156316 156325 156319 156313 156325 156313 156331 156319 156313 156213 156111 155947 155844 155620 155514 155334 155000 155800 156211 156351 156611 156686 156759 156757 156802 156802 156750 156808 156793 156774 156811 156749 156717 156738 156696 156720 156712 156675 156707 156678 156656 156670 156645 156639 156642 156630 156624 156626 156617 156611 156626 156611 156611 156623 156611 156626 156623 156614 156626 156623 156614 156568 156514 156412 156298 156126 156074 155936 155776 155695 155520 155328 155136 155644 156357 156528 156764 156910 157035 157079 157076 157108 157182 157119 157068 157144 157112 157043 157087 157091 157034 157016 157074 157032 156995 157044 157014 156977 157016 156998 156955 156955 156975 156950 156941 156953 156938 156932 156923 156934 156922 156913 156910 156928 156919 156910 156937 156922 156916 156910 156931 156910 156910 156831 156816 156714 156620 156506 156409 156357 156232 156057 156007 155887 155714 155656 155472 155301 155109 155689 156679 156682 156971 157189 157291 157384 157401 157401 157433 157512 157462 157401 157423 157465 157417 157360 157395 157416 157375 157319 157333 157381 157323 157302 157331 157337 157318 157275 157275 157311 157284 157265 157256 157282 157239 157239 157239 157257 157242 157236 157227 157211 157235 157211 157217 157211 157238 157226 157220 157211 157229 157229 157223 157214 157138 157120 157068 156970 156880 156760 156700 156642 156544 156401 156304 156252 156154 156024 155952 155826 155661 155588 155424 155295 155028 155507 156830 156815 157160 157438 157515 157667 157703 157707 157709 157702 157803 157791 157748 157691 157746 157767 157722 157685 157648 157698 157723 157682 157645 157623 157684 157682 157643 157600 157600 157656 157606 157607 157585 157578 157621 157591 157560 157566 157559 157577 157561 157543 157549 157542 157549 157546 157528 157534 157515 157548 157533 157530 157515 157515 157548 157515 157530 157524 157515 157442 157427 157335 157277 157187 157103 156982 156982 156880 156832 156717 156572 156572 156470 156376 156253 156199 156097 156001 155871 155813 155675 155572 155428 155296 155085 155385 156953 156935 157333 157583 157761 157864 157995 158014 158002 158019 158012 158104 158125 158058 158059 158002 158027 158093 158031 158035 157996 157959 157994 158034 158013 157974 157940 157931 158014 157996 157954 157936 157914 157949 157955 157955 157918 157899 157887 157947 157920 157902 157886 157880 157871 157909 157888 157872 157866 157860 157851 157860 157866 157857 157851 157845 157836 157865 157847 157844 157838 157832 157823 157756 157738 157686 157636 157542 157456 157376 157274 157277 157222 157124 157050 156968 156859 156844 156755 156694 156583 156465 156450 156348 156254 156148 156094 155992 155878 155781 155676 155579 155452 155328 155220 155000 158575 158606 158423 157973 157465 157416 157269 157008 156897 156814 156669 156441 156307 156172 156042 155904 155711 155570 155453 155335 155226 155110 155005 155307 155280 155034 155066 155107 155104 155102 155099 155097 155095 155093 155079 155066 155066 155066 155066 155066 155066 155066 155066 155066 155005 155355 155302 155416 155464 155482 155479 155476 155473 155470 155467 155464 155462 155450 155433 155420 155420 155420 155420 155420 155420 155423 155420 155420 155420 155141 155349 155664 155638 155721 155804 155827 155800 155796 155817 155792 155788 155803 155784 155766 155765 155748 155734 155724 155721 155721 155724 155721 155721 155724 155721 155721 155724 155721 155721 155615 155393 155222 155030 155582 155946 156020 156089 156124 156163 156119 156170 156114 156142 156108 156135 156127 156084 156108 156065 156068 156048 156042 156033 156029 156020 156026 156020 156026 156020 156020 156020 156023 156020 156023 156020 156023 155992 155865 155673 155567 155366 155005 155550 155888 156163 156318 156390 156445 156473 156492 156437 156492 156431 156476 156456 156452 156453 156403 156440 156382 156402 156366 156387 156346 156346 156343 156331 156336 156324 156318 156327 156318 156327 156321 156318 156327 156318 156333 156321 156330 156324 156318 156218 156138 155952 155852 155745 155573 155381 155198 155397 156024 156356 156542 156616 156730 156765 156761 156838 156788 156787 156839 156761 156787 156792 156724 156749 156754 156701 156748 156717 156680 156701 156661 156661 156675 156650 156644 156647 156635 156629 156628 156622 156616 156628 156622 156616 156628 156622 156616 156628 156622 156616 156628 156622 156616 156525 156467 156346 156203 156131 156005 155856 155752 155577 155471 155312 155005 155657 156530 156645 156844 156974 157050 157085 157082 157130 157165 157105 157072 157162 157090 157048 157116 157096 157039 157067 157076 157013 157000 157039 157019 156982 157021 157003 156960 156960 156980 156955 156946 156960 156946 156937 156928 156942 156927 156921 156915 156936 156915 156915 156945 156930 156924 156915 156930 156927 156921 156887 156827 156769 156671 156545 156414 156362 156264 156144 156047 155942 155816 155713 155529 155423 155285 155005 156232 156684 156822 157076 157216 157317 157383 157404 157404 157471 157511 157434 157376 157441 157465 157422 157365 157400 157424 157380 157327 157338 157386 157328 157307 157300 157342 157323 157280 157280 157307 157289 157270 157261 157290 157275 157256 157247 157265 157247 157241 157235 157216 157243 157231 157225 157216 157234 157234 157228 157219 157252 157234 157216 157222 157216 157125 157073 157023 156929 156793 156711 156699 156597 156503 156363 156309 156207 156111 155957 155905 155748 155648 155541 155375 155258 155005 156308 156820 156981 157270 157455 157585 157686 157710 157715 157712 157768 157828 157796 157722 157680 157751 157772 157727 157690 157653 157703 157731 157687 157650 157628 157705 157687 157648 157614 157605 157666 157649 157612 157593 157584 157614 157614 157580 157574 157565 157597 157582 157563 157557 157548 157569 157554 157548 157542 157533 157541 157544 157535 157529 157520 157559 157541 157520 157532 157523 157453 157438 157380 157330 157236 157150 157041 156987 156935 156852 156766 156671 156577 156525 156427 156335 156204 156152 156054 155970 155870 155768 155631 155525 155405 155273 155060 156368 156958 156943 157338 157608 157766 157870 157989 158020 158007 158024 158017 158074 158130 158107 158064 158007 157987 158072 158083 158040 158001 157964 158024 158048 158018 157979 157945 157936 157987 158004 157978 157941 157922 157913 157960 157963 157923 157892 157898 157891 157925 157925 157891 157885 157879 157912 157905 157877 157874 157868 157856 157841 157865 157862 157859 157853 157844 157876 157852 157849 157846 157840 157831 157767 157743 157696 157641 157593 157503 157421 157333 157279 157227 157177 157097 157015 156940 156858 156797 156747 156653 156549 156464 156403 156323 156233 156099 156047 155970 155883 155783 155681 155530 155457 155303 155204 155005 158581 158612 158429 157979 157471 157422 157275 157014 156903 156820 156675 156447 156313 156178 156048 155910 155717 155576 155459 155341 155232 155116 155011 155313 155286 155040 155072 155113 155111 155109 155107 155105 155103 155101 155099 155085 155072 155072 155072 155072 155072 155072 155072 155072 155072 155011 155337 155529 155334 155426 155488 155485 155482 155479 155497 155476 155473 155470 155454 155439 155426 155429 155426 155426 155426 155426 155426 155429 155426 155426 155426 155255 155011 155625 155548 155727 155795 155810 155806 155828 155802 155798 155818 155794 155790 155808 155772 155755 155740 155740 155727 155733 155727 155727 155733 155727 155730 155727 155727 155733 155727 155727 155645 155420 155262 155011 155697 155734 156000 156047 156132 156157 156125 156123 156120 156147 156115 156134 156110 156145 156090 156110 156071 156073 156054 156045 156039 156032 156026 156032 156026 156032 156026 156032 156026 156032 156026 156032 156026 156032 156026 155923 155739 155597 155372 155231 155011 155808 156150 156247 156324 156452 156449 156498 156478 156472 156490 156437 156493 156431 156453 156440 156408 156441 156388 156407 156369 156380 156358 156352 156349 156337 156342 156330 156324 156333 156324 156342 156324 156324 156333 156324 156333 156324 156324 156333 156324 156233 156172 156072 155876 155803 155631 155499 155345 155011 155811 156222 156362 156598 156664 156758 156768 156809 156834 156761 156788 156824 156754 156805 156799 156730 156769 156734 156707 156750 156705 156686 156713 156673 156667 156681 156656 156650 156653 156641 156635 156640 156628 156622 156640 156628 156622 156634 156622 156622 156634 156631 156622 156643 156631 156622 156525 156473 156375 156237 156137 156057 155890 155790 155683 155531 155339 155147 155417 156144 156536 156671 156921 157013 157088 157090 157088 157174 157148 157080 157110 157129 157103 157054 157132 157071 157029 157057 157082 157025 157006 157044 157025 156988 157027 157009 156975 156966 156977 156961 156949 156948 156949 156943 156934 156936 156936 156927 156921 156945 156933 156921 156939 156936 156930 156921 156951 156936 156930 156921 156827 156789 156725 156631 156489 156423 156318 156222 156059 155998 155898 155740 155667 155535 155375 155154 155024 156238 156699 156852 157142 157222 157342 157407 157413 157410 157490 157491 157451 157382 157447 157471 157397 157355 157387 157430 157386 157333 157344 157392 157334 157313 157307 157357 157329 157295 157286 157325 157280 157276 157267 157282 157284 157262 157250 157270 157253 157250 157235 157235 157252 157222 157222 157222 157258 157243 157234 157228 157222 157249 157237 157231 157222 157146 157131 157042 156981 156891 156759 156705 156653 156555 156412 156324 156263 156165 156063 155963 155861 155754 155622 155487 155355 155155 155021 156566 156826 157015 157296 157505 157568 157683 157718 157721 157718 157774 157834 157802 157728 157686 157757 157778 157733 157696 157659 157728 157737 157693 157656 157634 157682 157696 157654 157620 157611 157657 157658 157618 157599 157590 157621 157623 157586 157580 157571 157606 157591 157569 157563 157554 157560 157566 157557 157551 157542 157568 157547 157544 157538 157526 157550 157547 157544 157526 157532 157526 157438 157438 157336 157288 157198 157084 156993 156993 156891 156843 156728 156598 156583 156481 156387 156307 156210 156158 156037 155894 155824 155724 155583 155506 155357 155237 155011 156374 156946 156946 157344 157614 157806 157876 157995 158026 158013 158031 158023 158080 158144 158113 158070 158013 157994 158094 158089 158046 158007 157967 157982 158059 158023 158004 157967 157945 157979 158013 157984 157947 157928 157919 157968 157972 157947 157913 157907 157898 157949 157931 157913 157894 157888 157879 157899 157902 157862 157877 157862 157862 157871 157874 157865 157862 157847 157847 157858 157861 157834 157849 157843 157834 157767 157752 157697 157647 157553 157467 157387 157303 157285 157233 157135 157089 156979 156873 156855 156803 156705 156615 156515 156461 156409 156311 156202 156111 156053 155955 155807 155757 155659 155515 155434 155288 155210 155011 158588 158592 158463 157986 157478 157429 157282 157021 156933 156827 156682 156454 156320 156185 156055 155917 155724 155587 155466 155348 155239 155123 155018 155049 155296 155047 155079 155120 155118 155116 155114 155112 155110 155108 155106 155105 155092 155079 155079 155079 155079 155079 155079 155079 155079 155079 155018 155049 155512 155341 155433 155495 155492 155512 155489 155486 155483 155480 155478 155477 155461 155446 155433 155433 155433 155433 155433 155433 155433 155433 155433 155433 155433 155296 155018 155542 155555 155707 155755 155817 155852 155813 155809 155830 155805 155801 155799 155797 155792 155797 155762 155750 155747 155734 155740 155734 155734 155740 155734 155737 155734 155734 155734 155734 155737 155734 155574 155406 155018 155509 155741 155956 156033 156124 156137 156176 156132 156169 156127 156175 156122 156167 156117 156146 156097 156112 156078 156080 156061 156052 156046 156039 156033 156039 156033 156039 156033 156039 156033 156039 156033 156042 156033 156042 156033 155930 155849 155686 155550 155379 155018 155647 155901 156176 156331 156411 156453 156456 156528 156450 156497 156477 156472 156487 156438 156474 156416 156414 156429 156395 156416 156376 156392 156365 156359 156356 156344 156349 156337 156331 156343 156331 156331 156337 156331 156343 156331 156343 156337 156331 156346 156334 156303 156231 156105 155965 155862 155638 155535 155352 155181 155037 156037 156378 156477 156629 156732 156769 156775 156820 156820 156768 156833 156811 156761 156823 156787 156737 156796 156748 156714 156757 156712 156693 156720 156680 156674 156688 156663 156657 156660 156648 156642 156641 156629 156629 156650 156638 156629 156641 156638 156629 156653 156638 156629 156629 156641 156632 156586 156532 156430 156334 156162 156112 156014 155848 155742 155590 155484 155325 155018 155781 156375 156546 156782 156928 157026 157095 157097 157131 157192 157157 157087 157146 157150 157088 157060 157132 157089 157036 157064 157055 157032 157013 157051 157032 156995 156990 157019 156982 156973 156996 156968 156962 156956 156962 156953 156944 156928 156946 156937 156928 156955 156928 156934 156928 156952 156940 156928 156928 156949 156928 156931 156846 156837 156748 156684 156524 156436 156375 156277 156157 156060 155955 155829 155726 155602 155439 155298 155046 155707 156501 156703 156969 157161 157229 157366 157417 157418 157417 157484 157500 157458 157389 157438 157437 157414 157362 157394 157437 157393 157340 157373 157399 157341 157320 157314 157355 157336 157302 157293 157337 157320 157286 157277 157272 157294 157257 157263 157257 157260 157257 157251 157242 157247 157250 157241 157229 157229 157256 157244 157238 157229 157262 157247 157241 157229 157201 157147 157086 157036 156942 156806 156724 156712 156610 156516 156391 156325 156220 156124 155979 155918 155818 155664 155606 155466 155334 155130 155449 156609 156842 157022 157303 157512 157637 157712 157725 157716 157722 157759 157841 157768 157745 157693 157764 157785 157740 157703 157666 157735 157741 157699 157663 157641 157708 157700 157661 157627 157618 157651 157662 157610 157597 157597 157651 157633 157609 157590 157581 157576 157595 157579 157573 157561 157584 157567 157564 157558 157552 157546 157566 157533 157548 157542 157533 157554 157557 157548 157542 157533 157445 157451 157393 157343 157249 157163 157054 157000 156948 156898 156804 156684 156590 156538 156488 156368 156232 156217 156115 155983 155889 155831 155693 155590 155486 155340 155244 155018 156381 156968 156953 157351 157621 157821 157883 158002 158033 158020 158037 158030 158109 158151 158120 158077 158014 158001 158071 158099 158052 158014 157980 157973 158054 158052 158011 157974 157952 157947 158023 157991 157972 157938 157929 157987 157982 157954 157905 157905 157905 157940 157947 157920 157901 157895 157886 157906 157915 157890 157884 157878 157869 157878 157887 157875 157854 157854 157857 157889 157874 157862 157859 157853 157844 157759 157756 157709 157654 157606 157516 157434 157380 157304 157292 157190 157142 157052 156953 156874 156862 156760 156683 156597 156468 156468 156366 156272 156181 156115 156010 155914 155796 155744 155625 155525 155418 155292 155217 155018 158529 158600 158627 157994 157490 157462 157290 157070 156941 156857 156690 156462 156332 156212 156081 155942 155748 155595 155486 155368 155247 155131 155026 155026 155307 155055 155087 155128 155126 155124 155123 155122 155120 155118 155116 155114 155100 155087 155087 155087 155087 155087 155087 155087 155087 155087 155087 155087 155026 155496 155349 155441 155483 155503 155500 155497 155494 155512 155491 155488 155485 155469 155468 155454 155441 155441 155444 155441 155441 155441 155441 155441 155441 155441 155441 155386 155026 155460 155563 155707 155742 155824 155824 155821 155839 155817 155813 155827 155809 155836 155805 155787 155791 155770 155755 155742 155742 155748 155742 155742 155748 155742 155745 155742 155742 155748 155742 155748 155742 155636 155414 155135 155051 155777 155877 156037 156091 156144 156172 156156 156166 156150 156160 156144 156129 156156 156124 156135 156105 156102 156086 156072 156069 156057 156054 156041 156041 156047 156041 156047 156041 156050 156041 156050 156041 156053 156041 156053 156041 155992 155886 155694 155588 155387 155216 155048 155671 156165 156262 156339 156452 156464 156499 156489 156458 156513 156452 156485 156473 156446 156495 156424 156455 156416 156403 156421 156384 156400 156373 156367 156364 156352 156339 156345 156339 156348 156339 156351 156339 156339 156354 156342 156339 156348 156339 156357 156345 156339 156239 156159 155973 155870 155789 155646 155510 155360 155026 155724 156045 156377 156605 156637 156771 156780 156783 156863 156805 156776 156852 156796 156769 156841 156772 156745 156800 156756 156722 156757 156720 156701 156728 156688 156682 156696 156671 156665 156662 156659 156650 156658 156646 156637 156661 156646 156637 156637 156649 156640 156652 156649 156637 156637 156649 156643 156637 156540 156488 156390 156252 156155 156050 155905 155805 155698 155546 155417 155196 155026 156159 156551 156666 156865 156936 157053 157093 157103 157150 157208 157144 157095 157166 157160 157099 157103 157143 157097 157044 157099 157063 157040 157021 157060 157040 157003 157031 157027 156990 156981 156992 156992 156970 156964 156973 156961 156952 156949 156957 156936 156936 156936 156954 156945 156936 156951 156951 156936 156936 156963 156948 156942 156936 156851 156790 156710 156620 156489 156435 156333 156237 156083 156033 155935 155788 155682 155550 155444 155306 155026 155623 156723 156708 156997 157215 157299 157397 157410 157428 157425 157517 157510 157439 157397 157474 157445 157423 157370 157402 157445 157401 157348 157381 157407 157381 157328 157322 157377 157344 157310 157301 157330 157331 157294 157282 157281 157305 157280 157274 157265 157283 157268 157262 157253 157258 157255 157252 157237 157237 157255 157255 157249 157240 157258 157255 157252 157246 157237 157161 157146 157044 156996 156885 156774 156720 156668 156570 156427 156330 156295 156201 156078 155978 155898 155769 155666 155562 155399 155279 155054 155607 156809 156841 157030 157311 157537 157645 157720 157733 157724 157730 157767 157849 157776 157753 157701 157737 157794 157732 157711 157674 157709 157755 157728 157662 157649 157705 157714 157688 157651 157629 157624 157670 157651 157617 157608 157642 157644 157617 157598 157592 157586 157615 157587 157584 157575 157569 157590 157575 157569 157563 157554 157580 157562 157559 157553 157544 157541 157571 157559 157553 157547 157541 157453 157453 157351 157303 157213 157099 157023 157008 156919 156858 156768 156652 156598 156546 156448 156322 156234 156173 156075 155991 155894 155789 155701 155598 155454 155348 155252 155026 156389 156976 156961 157359 157629 157829 157890 158009 158040 158028 158045 158038 158117 158153 158128 158085 158046 158009 158098 158104 158040 158041 157988 157982 158049 158063 158019 157982 157963 157957 158036 158019 157980 157946 157940 157933 157981 157981 157944 157925 157913 157953 157946 157946 157912 157906 157900 157893 157914 157914 157895 157889 157883 157877 157901 157886 157880 157862 157868 157862 157873 157876 157849 157864 157849 157849 157782 157764 157712
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-V20P10N50"
export BK_EXAMINATION="ReachabilityCardinality"
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-V20P10N50.tgz
mv S_BridgeAndVehicles-PT-V20P10N50 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-V20P10N50, examination is ReachabilityCardinality"
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-146433145400295"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '
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 ;