About the Execution of Marcie for BridgeAndVehicles-COL-V20P10N50
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6143.430 | 1122047.00 | 1121650.00 | 119.70 | 9.0809E+0006 3.1786E+0007 20 54 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is BridgeAndVehicles-COL-V20P10N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r005kn-ebro-146347672700109
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1463590856617
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-mode --memory=6 --suppress
parse successfull
net created successfully
Unfolding complete |P|=108|T|=2228|A|=17190
Time for unfolding: 0m 3.975sec
Net: BridgeAndVehicles_COL_V20P10N50
(NrP: 108 NrTr: 2228 NrArc: 17190)
net check time: 0m 0.005sec
place and transition orderings generation:0m 0.073sec
init dd package: 0m 7.888sec
RS generation: 18m 7.595sec
-> reachability set: #nodes 413962 (4.1e+05) #states 9,080,862 (6)
STATE_SPACE STATES 9080862 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
STATE_SPACE MAX_TOKEN_IN_PLACE 20 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
STATE_SPACE MAX_TOKEN_PER_MARKING 54 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
STATE_SPACE TRANSITIONS 31785878 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
Total processing time: 18m41.944sec
BK_STOP 1463591978664
--------------------
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.008sec
108 186 2699 8617 8931 9990 12577 13017 13048 13482 13606 14119 14157 14803 15379 15379 15424 16144 16773 16825 17397 17605 18277 18336 19162 19867 19933 19933 20791 21519 21592 22468 23209 23209 23289 24169 24913 25000 25870 26607 26607 26699 27527 28247 28344 29120 29813 29915 29915 30629 31285 31392 32034 32643 32755 33315 33867 33867 33984 34452 34937 35059 35425 35833 35960 36214 36535 36535 36667 36799 37023 37160 37392 37466 37492 37528 37528 37532 37545 37550 37566 37572 37591 37598 37620 37628 37653 37662 37690 37700 37731 37731 37742 37776 37788 37825 37838 37875 37889 37927 37942 37981 37997 38037 38054 38054 38095 38113 38155 38174 38217 38237 38281 38302 38347 38369 38438 48761 72422 72590 72686 72779 72863 72953 73022 73106 73187 73262 73322 73382 73460 73529 73595 73622 74462 93425 93575 95825 96425 99025 99175 101875 104345 104345 104495 107045 109385 109535 110885 111935 114145 114295 116545 118625 118625 118775 120875 122825 122975 124925 124925 126745 126895 128695 130385 130535 132035 132185 133745 133895 135395 136825 136975 138325 138325 139625 139775 140975 142145 142295 143345 144385 144385 144535 145435 146345 146495 147245 148025 148175 148775 149425 149425 149575 150025 150545 150695 150995 151385 151535 151685 151685 151945 152095 152225 152233 152318 152403 152421 152502 152519 152598 152598 152614 152691 152706 152781 152795 152868 152881 152952 152964 153033 153044 153111 153121 153186 153186 153195 153218 153218 153241 153241 153264 153264 153287 153287 153310 153310 153333 153333 153333 153356 153356 153379 153379 153402 153379 153379 175922 181072 180936 180828 180688 180580 180164 180068 179270 176737 176760 177174 177174 179207 179231 179639 179279 179304 179479 179704 179364 179390 179780 179780 179460 179487 179865 179565 179593 179901 179957 179677 179706 180054 179794 179824 180064 180154 179914 179945 180255 180035 180067 180355 180355 180155 180187 180443 180263 180295 180519 180359 180359 180391 180583 180443 180475 180635 180515 180547 180675 180675 180575 180607 180703 180623 180655 180719 180659 180691 180723 180723 180683 180715 180695 180673 180730 180789 180788 180842 180841 180841 180892 180891 180939 180938 180983 180982 181024 181023 181062 181061 181097 181096 181129 181128 181128 181168 181176 181175 181174 181173 181172 181171 181170 181169 181168 181167 181166 181165 181165 181164 181163 181162 181161 181137 181113 188376 191066 192255 193277 194046 194685 195063 195351 186274 186296 186428 186670 188488 188511 188879 188879 188556 188580 188940 188636 188661 188836 189011 188726 188752 189090 188824 188851 188851 189175 188928 188956 189264 189036 189036 189065 189355 189146 189176 189446 189256 189287 189287 189535 189364 189395 189612 189460 189491 189677 189677 189544 189575 189730 189616 189647 189771 189676 189707 189800 189800 189724 189755 189817 189760 189791 189822 189784 189815 189815 189796 189775 189829 189885 189884 189935 189934 189982 189981 190026 190025 190025 190067 190066 190105 190104 190140 190139 190172 190171 190201 190200 190237 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 199737 200834 201612 202428 203032 203397 203006 194374 194374 194395 194731 196346 196368 196632 196698 196410 196433 196755 196485 196509 196509 196821 196569 196594 196894 196660 196686 196686 196972 196756 196783 197053 196855 196883 196883 197135 196955 196984 197216 197054 197084 197264 197294 197150 197180 197360 197234 197264 197414 197306 197336 197336 197456 197366 197396 197486 197414 197444 197504 197450 197480 197480 197510 197474 197504 197486 197466 197517 197570 197569 197569 197617 197616 197661 197660 197702 197701 197740 197739 197775 197774 197807 197806 197836 197835 197835 197862 197861 197894 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 205554 206982 207814 208518 209060 209334 208966 201452 201472 201472 201772 203196 203217 203511 203511 203256 203278 203564 203326 203349 203602 203625 203404 203428 203692 203488 203513 203763 203763 203576 203602 203836 203666 203693 203909 203756 203756 203784 203980 203844 203873 204047 203928 203957 204102 204102 204000 204029 204145 204060 204089 204176 204108 204137 204195 204195 204144 204173 204202 204168 204197 204180 204161 204227 204209 204259 204258 204303 204302 204344 204343 204382 204381 204417 204416 204449 204448 204478 204478 204477 204504 204503 204527 204526 204555 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 211118 212398 213223 213803 214198 214393 214048 207576 207595 207842 207861 209106 209126 209386 209162 209183 209351 209435 209227 209249 209491 209299 209322 209483 209552 209376 209400 209616 209456 209481 209681 209681 209537 209563 209745 209617 209644 209806 209694 209722 209722 209862 209766 209794 209906 209826 209854 209938 209874 209902 209902 209958 209910 209938 209966 209934 209962 209946 209928 209928 209973 210020 210019 210061 210060 210099 210098 210134 210133 210166 210165 210195 210195 210194 210221 210220 210244 210243 210264 210263 210288 210293 210293 210293 210293 210293 210293 210293 210293 210293 210293 210293 216248 217206 217858 218306 218642 218320 218320 212814 212832 213066 214144 214163 214353 214391 214196 214216 214436 214256 214277 214466 214487 214322 214344 214542 214392 214415 214599 214599 214464 214488 214656 214536 214561 214711 214606 214632 214762 214762 214672 214699 214807 214732 214759 214840 214780 214807 214807 214861 214816 214843 214870 214840 214867 214852 214835 214835 214877 214921 214920 214959 214958 214994 214993 215026 215025 215055 215054 215081 215080 215114 215104 215103 215124 215123 215141 215140 215161 215165 215165 215165 215165 215165 215165 215165 215165 215165 220460 221228 221720 222032 222149 221850 217234 217251 217455 217455 218378 218396 218594 218426 218445 218635 218635 218481 218501 218681 218541 218562 218730 218604 218626 218626 218780 218668 218691 218829 218731 218755 218875 218875 218791 218816 218916 218846 218872 218950 218894 218920 218972 218972 218930 218956 218982 218954 218980 218966 218950 218989 218989 219030 219029 219065 219064 219097 219096 219126 219125 219152 219151 219175 219174 219195 219194 219194 219212 219211 219226 219225 219242 219245 219245 219245 219245 219245 219245 221526 223890 224487 224790 224982 224706 220904 220904 220920 221096 221876 221893 222063 221920 221938 221938 222100 221970 221989 222141 222024 222044 222164 222184 222080 222101 222227 222136 222158 222268 222190 222213 222213 222305 222240 222264 222336 222284 222309 222359 222320 222345 222345 222370 222344 222369 222356 222341 222377 222415 222414 222460 222447 222446 222476 222475 222502 222501 222525 222524 222545 222544 222562 222561 222576 222575 222593 222587 222586 222599 222601 222601 222601 222601 225922 226624 226978 227194 227209 226956 223904 223919 224069 224718 224734 224846 224878 224758 224775 224911 224803 224821 224947 224851 224851 224870 224984 224900 224920 225020 224948 224969 225053 225053 224993 225015 225081 225033 225056 225102 225066 225090 225114 225114 225090 225114 225102 225088 225121 225156 225155 225185 225184 225211 225211 225210 225234 225233 225254 225253 225271 225270 225285 225284 225296 225295 225304 225303 225313 225312 225313 225313 228195 228670 228865 228910 228680 226311 226325 226451 226451 226981 226996 227116 227017 227033 227145 227057 227074 227074 227176 227099 227117 227207 227141 227160 227236 227181 227181 227201 227261 227217 227238 227280 227247 227269 227291 227269 227269 227292 227281 227268 227298 227330 227329 227356 227355 227379 227378 227378 227399 227398 227416 227415 227430 227429 227441 227440 227449 227448 227454 227453 227458 227458 229858 230101 230182 229993 229993 228199 228212 228316 228739 228753 228851 228771 228786 228786 228876 228806 228822 228902 228842 228859 228927 228877 228877 228895 228949 228909 228928 228966 228936 228956 228976 228956 228956 228977 228967 228955 228982 229011 229010 229034 229033 229054 229053 229053 229071 229070 229085 229084 229096 229095 229104 229103 229109 229108 229111 230092 230964 231084 231092 230940 229622 229634 229718 230046 230059 230137 230137 230074 230088 230158 230104 230119 230179 230134 230150 230198 230198 230162 230179 230213 230186 230204 230222 230204 230223 230214 230214 230203 230227 230253 230252 230273 230272 230290 230289 230304 230303 230315 230315 230314 230323 230322 230328 230327 230330 231541 231720 231727 231608 230676 230687 230753 230998 231010 231070 231070 231022 231035 231087 231047 231061 231103 231071 231086 231116 231116 231092 231108 231124 231108 231125 231117 231107 231128 231128 231151 231150 231168 231167 231182 231181 231193 231192 231201 231200 231206 231205 231208 231208 232135 232147 232057 231430 231440 231490 231664 231675 231719 231719 231684 231696 231732 231704 231717 231743 231722 231736 231750 231750 231736 231751 231744 231735 231753 231773 231772 231787 231787 231786 231798 231797 231806 231805 231811 231810 231813 232360 232405 232340 231946 231955 231991 232106 232106 232116 232146 232122 232133 232155 232137 232149 232161 232149 232149 232162 232156 232148 232163 232180 232179 232191 232190 232199 232198 232208 232204 232203 232206 232547 232503 232503 232279 232287 232311 232379 232388 232406 232391 232401 232411 232411 232401 232412 232407 232400 232412 232426 232425 232434 232433 232439 232439 232438 232441 232612 232585 232477 232484 232484 232498 232531 232539 232547 232539 232548 232544 232538 232538 232547 232558 232557 232563 232562 232565 232632 232618 232593 232581 232587 232593 232605 232612 232609 232604 232610 232618 232618 232617 232620 232634 232629 232625 232630 232632 232628 232628 232631 232636 232735 232793 232853 232848 232908 232901 232966 232966 232957 233023 233012 233079 233066 233134 233119 233188 233171 233241 233222 233293 233272 233344 233344 233321 233367 233344 233390 233367 233413 233390 233436 233413 233459 233436 233482 233459 233505 233505 233482 233528 233505 233528 233505 233505 243614 245025 245662 246250 246703 247111 247361 247235 231848 231866 231866 232019 231812 231829 231962 231965 231761 231777 231897 231681 231696 231696 231801 231591 231605 231696 231493 231493 231506 231584 231389 231401 231467 231467 231281 231292 231347 231171 231181 231226 231061 231061 231070 231106 230953 230961 230989 230857 230864 230885 230885 230773 230779 230794 230701 230706 230716 230641 230645 230645 230651 230593 230596 230599 230557 230559 230560 230533 230534 230534 230521 230572 230623 230674 230674 230725 230718 230767 230758 230812 230812 230801 230854 230841 230893 230878 230929 230912 230962 230943 230992 230971 231019 230996 231019 231019 230996 231019 230996 231019 230996 231019 230996 231019 230996 231019 230996 231019 230996 230996 231019 230996 230996 235353 235950 236518 237062 237566 237798 237718 227570 227586 227651 227706 227554 227569 227674 227509 227509 227523 227614 227439 227452 227530 227530 227361 227373 227439 227277 227288 227343 227343 227189 227199 227244 227099 227108 227144 227009 227009 227017 227045 226921 226928 226949 226837 226843 226858 226858 226765 226770 226780 226705 226709 226715 226657 226660 226663 226663 226621 226623 226624 226597 226598 226585 226630 226675 226675 226720 226720 226765 226765 226810 226801 226844 226833 226883 226870 226919 226904 226952 226952 226935 226982 226963 227009 226988 227033 227010 227033 227010 227033 227010 227033 227010 227033 227033 227010 227033 227010 227033 227010 227033 227010 227010 229560 230735 231189 231743 232102 232199 232136 224033 224047 224138 224019 224019 224032 224110 223980 223992 224058 224058 223920 223931 223986 223854 223864 223909 223784 223784 223793 223829 223712 223720 223748 223640 223647 223668 223668 223570 223576 223591 223504 223509 223519 223444 223448 223448 223454 223396 223399 223402 223360 223362 223363 223336 223337 223337 223324 223363 223402 223441 223441 223480 223480 223519 223519 223558 223558 223547 223584 223571 223617 223602 223647 223630 223674 223655 223698 223677 223719 223696 223719 223719 223696 223719 223696 223719 223696 223719 223696 223719 223696 223719 223696 223696 225212 226365 226851 227193 227479 227431 221153 221153 221165 221231 221141 221152 221207 221108 221108 221118 221163 221058 221067 221103 221004 221012 221012 221040 220948 220955 220976 220892 220898 220913 220838 220838 220843 220853 220788 220792 220798 220744 220747 220750 220708 220708 220710 220711 220684 220685 220672 220705 220738 220771 220771 220771 220804 220804 220837 220837 220870 220870 220903 220890 220921 220906 220948 220931 220972 220972 220953 220993 220972 221011 220988 221011 220988 221011 220988 221011 220988 221011 220988 221037 221011 220988 220988 222753 223137 223462 223577 223542 218866 218876 218921 218921 218856 218865 218901 218829 218837 218865 218789 218796 218796 218817 218747 218753 218768 218705 218710 218720 218665 218665 218669 218675 218629 218632 218635 218599 218601 218602 218577 218577 218578 218565 218592 218619 218646 218646 218673 218673 218700 218700 218700 218727 218727 218754 218754 218781 218766 218791 218774 218812 218793 218830 218809 218845 218845 218822 218845 218822 218845 218822 218845 218822 218845 218822 218822 219727 220054 220363 220434 220410 217110 217118 217146 217102 217102 217109 217130 217081 217087 217102 217051 217056 217066 217021 217021 217025 217031 216993 216996 216999 216969 216971 216972 216951 216951 216952 216941 216962 216983 217004 217004 217025 217025 217046 217046 217046 217067 217067 217088 217088 217109 217109 217130 217113 217132 217113 217147 217126 217159 217159 217136 217159 217136 217159 217136 217159 217136 217136 217617 217857 217993 217978 215825 215831 215831 215846 215819 215824 215834 215804 215808 215814 215784 215787 215787 215790 215766 215768 215769 215752 215753 215744 215759 215759 215774 215789 215789 215804 215804 215819 215819 215834 215834 215849 215849 215864 215864 215864 215879 215879 215894 215875 215888 215867 215897 215874 215897 215874 215897 215874 215874 215874 216109 216203 216195 214957 214957 214961 214967 214953 214956 214959 214944 214946 214947 214934 214934 214935 214928 214937 214946 214955 214955 214964 214964 214973 214973 214973 214982 214982 214991 214991 215000 215000 215009 215009 215018 215018 215027 215006 215013 214990 214990 215013 214990 214990 214980 215020 215020 215017 214463 214465 214466 214461 214462 214458 214461 214466 214464 214467 214467 214470 214470 214473 214473 214476 214476 214479 214479 214482 214482 214487 214485 214485 214488 214488 214491 214491 214494 214471 214446 214388 214424 214424 214478 214478 214550 214550 214640 214640 214748 214748 214874 214874 215018 215018 215180 215180 215180 215360 215360 215558 215558 215774 215774 215981 215958 216142 216119 216280 216257 216395 216395 216372 216487 216464 216556 216533 216602 216579 216625 216602 216625 216602 216602 225372 236689 237087 237460 237723 238122 238320 238294 211558 211591 211591 211855 211676 211708 211940 211940 211580 211623 211924 211604 211653 211909 211954 211562 211611 211905 211513 211567 211567 211843 211465 211516 211771 211411 211466 211645 211691 211361 211410 211606 211306 211358 211518 211518 211258 211298 211418 211210 211249 211330 211174 211201 211255 211255 211138 211164 211192 211114 211128 211142 211090 211103 211103 211104 211078 211079 211066 211104 211135 211180 211180 211239 211239 211239 211312 211312 211399 211399 211500 211500 211615 211615 211744 211744 211887 211887 212044 212044 212044 212215 212215 212375 212351 212488 212465 212603 212580 212695 212672 212764 212741 212741 212810 212787 212833 212810 212833 212810 212810 225140 225638 226112 226493 226834 226863 226863 208714 208742 208917 208805 208830 208830 208980 208735 208771 208957 208747 208747 208783 208963 208711 208751 208916 208676 208713 208713 208861 208636 208676 208800 208600 208634 208736 208736 208560 208596 208671 208527 208554 208608 208491 208517 208545 208545 208467 208481 208495 208443 208456 208457 208431 208432 208419 208419 208449 208473 208509 208509 208557 208557 208617 208617 208689 208689 208773 208773 208773 208869 208869 208977 208977 209097 209097 209229 209229 209373 209373 209511 209511 209649 209649 209626 209741 209718 209810 209787 209856 209833 209879 209856 209879 209856 209856 209856 217307 217646 217965 218098 218098 206660 206681 206776 206786 206714 206734 206819 206669 206694 206794 206794 206669 206697 206785 206645 206670 206745 206617 206644 206644 206701 206593 206614 206656 206566 206588 206612 206546 206559 206559 206572 206524 206537 206538 206512 206513 206500 206523 206523 206542 206569 206569 206604 206604 206647 206647 206698 206698 206757 206757 206824 206824 206824 206899 206899 206982 206982 207073 207073 207172 207172 207263 207262 207353 207329 207397 207397 207374 207443 207420 207466 207443 207466 207443 207443 211074 211343 211535 211599 211599 205136 205152 205204 205164 205177 205177 205216 205136 205154 205193 205133 205148 205178 205115 205131 205131 205149 205101 205111 205121 205085 205095 205096 205076 205077 205077 205066 205081 205093 205111 205111 205135 205135 205165 205165 205201 205201 205201 205243 205243 205291 205291 205345 205345 205405 205405 205471 205471 205543 205543 205612 205612 205612 205681 205681 205750 205727 205773 205750 205773 205750 205750 206949 207123 207210 207210 204247 204256 204274 204274 204256 204264 204274 204244 204251 204258 204238 204245 204246 204246 204232 204233 204225 204233 204240 204249 204249 204260 204260 204260 204273 204273 204288 204288 204305 204305 204324 204324 204345 204345 204368 204368 204393 204393 204393 204420 204420 204442 204441 204463 204462 204484 204460 204459 204436 204436 204565 204607 204628 204628 203727 203731 203732 203732 203728 203729 203724 203801 203825 203861 203861 203909 203909 203909 203969 203969 204041 204041 204125 204125 204221 204221 204329 204329 204449 204449 204581 204581 204581 204725 204725 204863 204863 205001 205001 205139 205139 205277 205254 205369 205346 205438 205438 205415 205484 205461 205507 205484 205507 205484 205484 218511 219414 219661 219870 220035 220263 220263 220238 201628 201649 201814 201696 201721 201721 201901 201676 201701 201856 201616 201616 201645 201831 201621 201653 201833 201593 201593 201629 201795 201561 201592 201745 201525 201525 201558 201693 201495 201531 201642 201462 201489 201582 201582 201426 201452 201519 201402 201428 201469 201378 201392 201418 201419 201354 201367 201381 201342 201355 201356 201330 201331 201331 201318 201345 201364 201391 201391 201426 201426 201469 201469 201520 201520 201520 201579 201579 201646 201646 201721 201721 201804 201804 201895 201895 201994 201994 202085 202085 202084 202175 202174 202265 202264 202355 202331 202399 202376 202445 202422 202468 202445 202494 202468 202445 202445 209692 209986 210189 210459 210483 210483 199650 199666 199758 199698 199718 199718 199812 199682 199698 199776 199644 199665 199751 199752 199644 199668 199743 199623 199642 199707 199599 199617 199619 199671 199581 199603 199638 199561 199574 199599 199539 199539 199552 199566 199527 199540 199541 199515 199516 199503 199503 199521 199533 199551 199551 199575 199575 199605 199605 199641 199641 199683 199683 199731 199731 199731 199785 199785 199845 199845 199911 199911 199983 199983 200052 200052 200121 200121 200194 200190 200190 200259 200259 200328 200305 200351 200328 200351 200328 200328 203268 203609 203759 203859 203859 198501 198513 198552 198552 198522 198533 198570 198510 198520 198547 198493 198507 198530 198530 198488 198497 198514 198474 198483 198493 198466 198476 198477 198477 198457 198458 198447 198459 198467 198479 198479 198495 198495 198495 198515 198515 198539 198539 198567 198567 198599 198599 198635 198635 198675 198675 198719 198719 198719 198767 198767 198813 198813 198859 198859 198905 198905 198951 198951 198997 198974 198997 198997 198974 198974 199697 199782 199782 199782 197817 197822 197831 197821 197826 197832 197817 197822 197822 197823 197811 197812 197806 197809 197812 197815 197815 197818 197818 197818 197821 197821 197824 197824 197827 197827 197830 197830 197833 197833 197836 197836 197839 197839 197839 197842 197842 197841 197840 197839 197838 197837 197836 197835 197834 197833 197809 197810 197785 197597 197613 197637 197637 197669 197669 197709 197709 197757 197757 197757 197813 197813 197877 197877 197949 197949 198029 198029 198117 198117 198213 198213 198305 198305 198305 198397 198397 198489 198489 198581 198581 198673 198673 198765 198742 198811 198788 198834 198834 198811 198834 198811 198811 209146 209295 209497 209643 209733 209806 209782 195998 196014 196130 196130 196043 196063 196187 196027 196046 196168 196175 196007 196025 196136 195968 195992 196114 196115 195968 195995 196106 195944 195965 196067 196067 195917 195939 196029 195897 195921 195995 195875 195901 195955 195955 195851 195865 195905 195827 195840 195867 195815 195828 195828 195842 195803 195816 195817 195791 195792 195779 195800 195800 195812 195830 195830 195854 195854 195884 195884 195920 195920 195962 195962 196010 196010 196010 196064 196064 196124 196124 196190 196190 196262 196262 196331 196331 196400 196400 196469 196469 196469 196538 196538 196607 196607 196676 196653 196699 196676 196699 196676 196676 199929 201112 201303 201428 201489 201489 194684 194696 194747 194711 194722 194763 194774 194699 194711 194761 194689 194701 194739 194669 194669 194685 194719 194663 194673 194701 194647 194657 194678 194638 194638 194649 194661 194628 194640 194641 194617 194618 194605 194605 194619 194627 194639 194639 194655 194655 194675 194675 194699 194699 194727 194727 194727 194759 194759 194795 194795 194835 194835 194879 194879 194927 194927 194973 194973 195019 195019 195019 195065 195065 195111 195111 195157 195157 195203 195180 195203 195180 195180 196133 196313 196376 196376 193915 193920 193920 193933 193921 193926 193937 193917 193923 193930 193912 193918 193918 193919 193905 193906 193899 193902 193905 193908 193908 193908 193911 193911 193914 193914 193917 193917 193920 193920 193923 193923 193926 193926 193929 193929 193929 193932 193932 193935 193935 193934 193933 193932 193931 193930 193929 193928 193927 193926 193926 193925 193924 193900 193876 193660 193672 193690 193690 193714 193714 193744 193744 193744 193780 193780 193822 193822 193870 193870 193924 193924 193984 193984 194050 194050 194126 194122 194122 194191 194191 194260 194260 194329 194329 194398 194398 194467 194467 194536 194536 194536 194605 194582 194628 194605 194628 194605 194605 202620 202775 202904 203010 203108 203118 203095 192391 192403 192490 192422 192422 192437 192530 192410 192428 192521 192395 192395 192410 192503 192377 192391 192470 192350 192368 192368 192451 192347 192367 192439 192329 192351 192408 192408 192309 192322 192371 192287 192300 192340 192275 192288 192315 192315 192263 192276 192290 192251 192264 192265 192239 192240 192240 192227 192243 192251 192263 192263 192279 192279 192299 192299 192323 192323 192323 192351 192351 192383 192383 192419 192419 192459 192459 192503 192503 192551 192551 192597 192597 192597 192643 192643 192689 192689 192735 192735 192781 192781 192827 192827 192873 192850 192873 192873 192850 192850 195536 195685 195802 195802 191513 191469 191477 191507 191485 191495 191522 191477 191484 191509 191509 191467 191474 191496 191461 191468 191483 191451 191460 191470 191470 191446 191456 191457 191437 191438 191427 191435 191441 191439 191445 191445 191453 191453 191463 191463 191475 191475 191489 191489 191505 191505 191523 191523 191523 191543 191543 191565 191565 191589 191589 191612 191612 191635 191635 191658 191658 191658 191681 191681 191704 191704 191727 191727 191750 191727 191727 191951 191993 192007 192007 191069 191073 191074 191070 191070 191071 191066 191143 191155 191173 191173 191197 191197 191227 191227 191227 191263 191263 191305 191305 191353 191353 191407 191407 191467 191467 191533 191533 191605 191605 191605 191674 191674 191743 191743 191812 191812 191881 191881 191950 191950 192019 192019 192088 192088 192065 192111 192088 192111 192088 192088 198329 198428 198497 198563 198629 198607 189873 189873 189882 189948 189893 189903 189975 189885 189885 189897 189971 189875 189889 189961 189863 189879 189879 189945 189849 189865 189915 189825 189836 189887 189887 189815 189826 189871 189805 189817 189854 189794 189807 189834 189834 189782 189795 189809 189770 189783 189784 189758 189759 189746 189746 189758 189765 189774 189774 189785 189785 189798 189798 189813 189813 189833 189830 189830 189849 189849 189870 189870 189893 189893 189918 189918 189945 189945 189967 189966 189966 189988 189987 190009 190008 190030 190029 190051 190050 190072 190071 190093 190069 190068 190068 190045 190045 191590 191682 191705 191705 189008 189012 189029 189017 189022 189038 189038 189013 189019 189032 189008 189015 189023 189002 189010 189011 189011 188995 188996 188987 189060 189068 189080 189080 189096 189096 189096 189116 189116 189140 189140 189168 189168 189200 189200 189236 189236 189276 189276 189320 189320 189320 189368 189368 189414 189414 189460 189460 189506 189506 189552 189552 189598 189598 189644 189644 189644 189690 189690 189736 189713 189736 189713 189713 194989 195116 195168 195237 195264 195243 188149 188157 188190 188211 188165 188175 188232 188157 188169 188218 188225 188147 188161 188212 188135 188144 188193 188121 188121 188130 188176 188113 188122 188159 188099 188110 188144 188144 188094 188106 188131 188083 188096 188110 188071 188084 188085 188085 188059 188060 188047 188057 188061 188067 188067 188075 188075 188075 188085 188085 188097 188097 188111 188111 188127 188127 188145 188145 188165 188165 188187 188187 188187 188211 188211 188234 188234 188257 188257 188280 188280 188303 188303 188326 188326 188349 188349 188349 188372 188372 188395 188372 188372 189280 189355 189370 189370 187655 187659 187668 187660 187665 187671 187671 187656 187662 187663 187651 187652 187645 187720 187731 187728 187740 187740 187756 187756 187776 187776 187800 187800 187828 187828 187860 187860 187896 187896 187896 187936 187936 187980 187980 188028 188028 188074 188074 188120 188120 188166 188166 188212 188212 188212 188258 188258 188304 188304 188350 188350 188396 188373 188396 188373 188373 188373 192755 192805 192852 192873 192853 186807 186815 186844 186857 186818 186828 186870 186810 186817 186860 186860 186800 186807 186850 186794 186802 186843 186787 186796 186796 186833 186779 186789 186820 186770 186780 186801 186757 186769 186769 186782 186749 186762 186763 186737 186738 186725 186736 186736 186740 186746 186746 186754 186754 186764 186764 186776 186776 186790 186790 186806 186806 186806 186824 186824 186844 186844 186866 186866 186890 186890 186913 186913 186936 186936 186959 186959 186959 186982 186982 187005 187005 187028 187028 187051 187051 187074 187051 187051 187274 187333 187354 187354 186336 186340 186340 186341 186337 186338 186333 186410 186418 186430 186430 186449 186446 186446 186466 186466 186490 186490 186518 186518 186550 186550 186586 186586 186626 186626 186673 186670 186670 186718 186718 186764 186764 186810 186810 186856 186856 186902 186902 186948 186948 186948 186994 186994 187040 187040 187086 187063 187086 187063 187063 190399 190446 190476 190507 190506 190487 185495 185500 185533 185501 185506 185542 185542 185497 185503 185540 185492 185499 185535 185486 185494 185494 185527 185479 185488 185516 185471 185481 185502 185462 185473 185473 185485 185452 185463 185464 185440 185441 185429 185432 185432 185435 185438 185438 185441 185441 185444 185444 185447 185447 185450 185450 185453 185453 185453 185456 185456 185459 185459 185462 185462 185465 185465 185464 185463 185462 185461 185460 185460 185459 185458 185457 185456 185455 185454 185453 185452 185451 185450 185426 185402 185055 185069 185073 185079 185079 185087 185087 185097 185097 185109 185109 185123 185123 185123 185139 185139 185157 185157 185177 185177 185199 185199 185223 185223 185246 185246 185269 185269 185269 185292 185292 185315 185315 185338 185338 185361 185361 185384 185384 185407 185407 185432 185430 185407 185407 188010 188030 188051 188058 188040 184602 184606 184635 184608 184613 184638 184644 184604 184610 184641 184599 184606 184635 184593 184601 184601 184626 184586 184595 184614 184578 184588 184599 184569 184580 184580 184581 184559 184560 184548 184562 184566 184572 184572 184572 184580 184580 184590 184590 184602 184602 184616 184616 184632 184632 184650 184650 184670 184670 184670 184692 184692 184716 184716 184739 184739 184762 184762 184785 184785 184808 184808 184831 184831 184831 184854 184854 184877 184877 184900 184900 184923 184900 184900 187147 187179 187197 187209 187192 184086 184090 184115 184115 184091 184096 184122 184087 184093 184118 184082 184089 184111 184111 184076 184084 184101 184069 184078 184088 184061 184071 184072 184072 184052 184053 184042 184056 184060 184066 184066 184074 184074 184074 184084 184084 184096 184096 184110 184110 184126 184126 184144 184144 184164 184164 184186 184186 184186 184210 184210 184233 184233 184256 184256 184279 184279 184302 184302 184325 184325 184348 184348 184348 184371 184371 184394 184394 184417 184394 184394 186318 186341 186362 186361 186345 183581 183585 183606 183585 183590 183611 183581 183581 183587 183606 183576 183583 183598 183570 183578 183587 183563 183563 183572 183573 183555 183556 183546 183560 183564 183570 183570 183570 183578 183578 183588 183588 183600 183600 183614 183614 183630 183630 183648 183648 183668 183668 183668 183690 183690 183714 183714 183737 183737 183760 183760 183783 183783 183806 183806 183829 183829 183829 183852 183852 183875 183875 183898 183898 183921 183898 183898 185482 185507 185523 185523 185508 183086 183090 183107 183089 183094 183110 183085 183091 183104 183104 183080 183087 183095 183074 183082 183083 183067 183068 183068 183059 183073 183077 183083 183083 183091 183091 183101 183101 183113 183113 183113 183127 183127 183143 183143 183161 183161 183181 183181 183203 183203 183227 183227 183250 183250 183250 183273 183273 183296 183296 183319 183319 183342 183342 183365 183365 183388 183388 183411 183411 183411 183434 183411 183411 184676 184691 184694 184680 182600 182604 182617 182602 182607 182618 182618 182598 182604 182611 182593 182600 182601 182587 182588 182580 182580 182594 182598 182604 182604 182612 182612 182622 182622 182634 182634 182648 182648 182648 182664 182664 182682 182682 182702 182702 182724 182724 182748 182748 182771 182771 182796 182794 182794 182817 182817 182840 182840 182863 182863 182886 182886 182909 182909 182932 182932 182932 182955 182932 182932 183863 183871 183873 183860 182122 182126 182135 182123 182128 182134 182119 182119 182125 182126 182114 182115 182108 182122 182126 182132 182132 182132 182140 182140 182150 182150 182162 182162 182176 182176 182192 182192 182210 182210 182230 182230 182230 182252 182252 182276 182276 182299 182299 182322 182322 182345 182345 182368 182368 182368 182391 182391 182414 182414 182437 182437 182460 182460 182483 182460 182460 183049 183056 183059 183047 181651 181655 181655 181660 181651 181656 181657 181647 181648 181642 181656 181656 181660 181666 181666 181674 181674 181684 181684 181696 181696 181710 181710 181726 181726 181726 181744 181744 181764 181764 181786 181786 181810 181810 181833 181833 181856 181856 181879 181879 181879 181902 181902 181925 181925 181948 181948 181971 181971 181994 181994 182017 181994 182019 181994 182251 182251 182240 181186 181186 181190 181191 181185 181186 181181 181195 181199 181207 181205 181205 181213 181213 181223 181223 181235 181235 181249 181249 181265 181265 181283 181283 181305 181303 181303 181325 181325 181349 181349 181372 181372 181395 181395 181418 181418 181441 181441 181441 181464 181464 181487 181487 181510 181510 181533 181533 181556 181533 181533 181456 181451 181448 181438 180726 180727 180727 180724 180729 180733 180739 180739 180747 180747 180757 180757 180769 180769 180769 180783 180783 180799 180799 180817 180817 180837 180837 180859 180859 180883 180883 180906 180906 180906 180929 180929 180952 180952 180975 180975 180998 180998 181021 181021 181044 181044 181069 181067 181067 181090 181067 181067 180714 203303 224589 244622 263450 281119 297673 327682 341255 365818 387287 405994 413962
iterations count:4674296 (2097), effective:16048 (7)
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-COL-V20P10N50"
export BK_EXAMINATION="StateSpace"
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-COL-V20P10N50.tgz
mv BridgeAndVehicles-COL-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 BridgeAndVehicles-COL-V20P10N50, examination is StateSpace"
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-146347672700109"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 ;