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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1463590943438


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=ReachabilityDeadlock.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=68|T|=548|A|=4070
Time for unfolding: 0m 2.292sec

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

net check time: 0m 0.001sec

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

init dd package: 0m 7.328sec


RS generation: 1m27.315sec


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



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

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

-> the formula is TRUE

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

MC time: 7m40.817sec


Total processing time: 9m31.082sec


BK_STOP 1463591514751

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

372 650 968 1280 1524 5318 41826 41852 41842 42114 42132 45336 46872 49278 50532 52464 53918 54136 54329 54557 54734 54945 55099 55230 57667 57889 58147 58297 58507 59055 59178 59266 59378 59500 59591 60399 60927 61683 62111 62228 62332 62460 62612 62735 62829 62425 62407 62402 62419 62447 62495 62591 62657 62789 62945 62873 62734 62554 62284 62368 62432 62496 62560 62608 62668 67028 67028 67024 67316 67688 68204 68756 69194 69710 70016 70234 70265 70301 70355 70447 70515 70587 70659 70704 70847 74986 74986 74982 75262 75616 76090 76606 77206 77428 77644 77838 77875 77911 77947 78055 78121 78193 78256 78319 79322 82160 82156 82406 82568 83072 83486 83954 84242 84434 84670 84689 84737 84773 84855 84919 84985 85075 85120 85207 88598 88594 88608 88850 89276 89732 90146 90338 90590 90718 90815 90851 90893 90975 91039 91103 91173 91227 91323 94344 94344 94358 94588 95110 95482 95662 95914 96082 96258 96277 96331 96355 96431 96495 96575 96643 96688 96775 99458 99454 99674 99860 100274 100442 100682 100844 101071 101110 101147 101183 101195 101303 101367 101431 101497 101551 102462 103868 103878 104116 104434 104650 104818 105046 105190 105311 105342 105372 105396 105488 105552 105616 105680 105721 105864 107625 107625 107847 108075 108225 108441 108585 108789 108883 108902 108938 108956 109038 109102 109166 109230 109285 109370 110801 110801 110970 111147 111291 111495 111627 111821 111888 111913 111937 111961 112377 112761 113241 113625 113865 114079 111952 111996 111951 112114 112861 113239 113629 113851 114091 114735 113852 112958 112274 112028 112316 112604 112892 113180 113360 112767 111113 111104 111216 111820 112018 112216 112360 112576 112570 112194 111550 111088 111058 111250 111442 111634 111802 111904 110272 110264 110244 110442 110731 110827 110947 111091 111421 110994 110552 110108 109994 110090 110186 110294 110378 110438 109439 109432 109417 109495 109567 109639 109687 109759 109914 109607 109367 109133 109215 109407 109599 109791 109959 110061 108690 108696 108676 108732 108972 109246 109396 109498 109642 109918 109323 108851 108479 108389 108485 108581 108677 108749 108817 108129 108137 108111 108219 108346 108418 108478 108550 108704 108516 108319 108211 108175 108223 108271 108319 108355 108397 108418 107732 107721 107757 107787 107823 107847 107883 107876 107765 107609 107429 107433 107529 107625 107745 107805 107861 107321 107313 107313 107370 107478 107646 107700 107760 107916 107737 107609 107418 107310 107370 107418 107472 107520 107550 107582 107233 107232 107259 107289 107325 107349 107385 107468 107385 107303 107249 107205 107371 107467 107563 107647 107731 108621 106880 106878 106894 106966 107056 107134 107182 107254 107370 107045 106769 106535 106461 106509 106557 106605 106647 106675 106397 106397 106385 106445 106505 106529 106559 106595 106652 106553 106433 106379 106399 106447 106495 106543 106579 106621 106734 106351 106342 106402 106432 106468 106498 106534 106589 106493 106385 106331 106343 106391 106439 106487 106523 106565 106686 106303 106293 106341 106377 106401 106437 106467 106514 106397 106331 106259 106281 106335 106389 106437 106473 106503 105914 105914 105915 105939 105975 106005 106041 106089 105992 105881 105755 105443 158306 226088 302786
iterations count:488431 (891), effective:8888 (16)

initing FirstDep: 0m 0.001sec

1487 1655 1759 1831 1872 2992 4232 4351 4402 4415 4434 4451 4470 4667 4743 4822 4822 4822 5819 5991 6574 6587 6580 6572 6563 6893 7856 8555 8693 8820 8843 9002 9022 9015 9007 8999 8991 9110 9373 9468 9583 9612 9739 9770 9791 9989 10004 9996 9988 9980 9971 10272 10568 10677 10720 10729 10740 10855 10942 10966 10978 11181 11237 11230 11222 11214 11206 11397 11816 11967 12099 12111 12120 12131 12167 12262 12338 12382 12408 12417 12431 12720 12715 12707 12699 12689 12916 13369 13592 13694 13743 13752 13763 13770 13782 13823 13918 13945 14061 14069 14103 14107 14118 14443 14453 14445 14437 14429 14553 15136 15457 15566 15626 15638 15648 15658 15666 15674 15686 15690 15814 15844 15868 15985 16010 16038 16051 16055 16074 16448 16442 16434 16426 16418 16698 17308 17603 17699 17771 17783 17792 17803 17811 17818 17831 17835 17849 17852 17972 18005 18030 18052 18181 18208 18220 18252 18256 18261 18639 18695 18687 18679 18671 18661 19264 19730 20077 20101 20173 20185 20195 20205 20213 20221 20233 20237 20251 20255 20269 20273 20325 20422 20449 20470 20491 20606 20664 20669 20711 20716 20720 20725 21162 21201 21193 21185 21177 21168 21877 22602 22726 22750 22846 24113 24329 24641 25913 26147 26483 27776 28028 28376 29404 29995 30355 30751 31789 32454 32838 33162 34530 35184 35478 35922 36402 38122 38472 38928 39300 41148 41780 42065 42557 42953 45059 45680 45965 46466 47018 47432 52423 52619 52782 52913 53038 53234 53437 53634 53826 54030 54228 54418 54625 54810 55055 55250 57462 57502 57600 57695 58116 58162 58198 58242 58289 58384 58468 58562 58628 63783 63891 64009 64095 64149 68928 74921 82037 87560 87977 87980 87984 88077 88080 88084 88182 88185 88189 88289 88301 88305 88309 88414 88426 88430 88433 88545 88556 88559 88563 88567 88690 88694 88698 88701 88825 88834 88837 88841 88845 88974 88982 88986 88989 88993 88996 89055 89079 89097 89121 89145 89931 90088 90116 90138 90159 90178 90207 90236 90266 90280 90308 90334 90360 90386 90398 90424 90448 90458 90603 91171 91200 91205 91209 91214 91324 91329 91333 91338 91342 91347 91351 91356 91360 92324 94141 95267 96528 101942 102098 102233 102449 102665 102935 103161 104192 105546 106135 106621 106852 107075 107237 107446 107500 107648 107843 107843 107897 108031 108031 108181 108157 108199 108330 108461 108619 108750 108855 108979 109046 109116 109096 109010 108957 108887 108889 108865 108829 108793 108763 108745 108809 108853 108894 108956 108974 109074 109102 109164 109218 109213 109179 109119 109053 109009 108939 108936 108900 108864 108834 108798 108830 108845 108844 108885 108907 108906 108945 108960 108959 108998 109020 109051 109045 109015 108949 108900 108835 108760 108755 108719 108683 108659 108623 108611 108645 108658 108664 108697 108710 108709 108721 108755 108768 108767 108801 108814 108847 108854 108848 108817 108800 108702 108632 108552 108542 108518 108482 108446 108416 108398 108428 108438 108437 108447 108482 108486 108497 108502 108531 108535 108546 108564 108580 108584 108600 108618 108623 108617 108582 108566 108464 108393 108311 108297 108273 108237 108201 108171 108153 108178 108186 108194 108193 108217 108225 108233 108242 108246 108265 108273 108281 108286 108305 108313 108321 108321 108350 108350 108347 108340 108302 108239 108187 108113 108027 108004 107974 107938 107914 107878 107866 107885 107891 107898 107897 107903 107926 107928 107934 107941 107944 107963 107965 107971 107991 107977 107996 108002 108009 108008 108029 108027 108023 108017 107989 107968 107903 107816 107776 107683 107653 107629 107593 107557 107527 107537 107544 107548 107549 107554 107556 107569 107574 107578 107582 107581 107585 107600 107604 107608 107609 107612 107626 107627 107631 107635 107635 107648 107644 107639 107635 107632 107585 107572 107470 107392 107296 107270 107246 107210 107174 107144 107126 107120 107095 107084 107065 107050 107008 106822 106571 106326 106027 105852 105761 105623 105557 105455 105377 105353 105363 105365 105367 105367 105371 105373 105377 105378 105378 105378 105377 105378 105378 105385 105387 105390 105392 105394 105395 105400 105401 105401 105400 105400 105401 105401 105408 105410 105413 105415 105417 105418 105423 105423 105423 105422 105422 105423 105430 105432 105434 105437 105439 105443 105444 105444 105443 105443 105444 116679 118313 118346 118390 118507 118543 118591 118643 118747 118799 118857 118959 119012 119070 119119 119232 119289 119336 119406 119518 119560 119626 119700 119748 119857 119922 119979 120059 120169 120211 120282 120364 120427 120536 120594 120650 120736 120802 120925 120983 121037 121129 121225 121297 122062 122072 122078 122085 122092 122095 122102 122106 122112 122116 122123 122127 122130 122130 122130 122148 133707 135256 135300 135346 135494 135542 135592 135630 135747 135799 135844 135958 136013 136057 136123 136232 136276 136340 136411 136505 136563 136631 136687 136805 136859 136909 136986 137046 137156 137214 137289 137351 137435 137523 137581 137658 137723 137811 137925 137970 138046 138140 138212 138669 139049 139059 139066 139073 139079 139083 139090 139093 139100 139104 139110 139114 139117 139117 139117 139573 150994 152090 152134 152169 152329 152377 152415 152574 152625 152664 152725 152836 152878 152938 152988 153097 153156 153222 153276 153383 153444 153496 153571 153670 153724 153793 153851 153931 154034 154079 154154 154237 154300 154401 154463 154523 154610 154698 154790 154852 154934 155005 155101 155533 155917 155926 155932 155939 155946 155949 155956 155960 155967 155970 155977 155981 155983 155983 155983 156455 168462 168790 168834 168882 169041 169077 169129 169286 169325 169379 169425 169575 169631 169693 169737 169850 169910 169961 170025 170136 170183 170253 170310 170421 170479 170551 170610 170680 170773 170835 170913 170976 171049 171154 171202 171283 171371 171437 171543 171609 171673 171768 171840 172646 172658 172667 172674 172681 172687 172691 172698 172705 172708 172712 172719 172722 172724 172724 172724 173210 185035 185374 185418 185455 185614 185662 185716 185859 185911 185967 186047 186162 186218 186266 186419 186473 186518 186587 186705 186744 186807 186880 186937 187042 187104 187159 187238 187288 187395 187461 187521 187605 187723 187762 187828 187913 187979 188055 188166 188217 188304 188376 188472 189216 189225 189238 189249 189252 189259 189266 189270 189276 189280 189287 189290 189294 189295 189295 189309 199708 201569 201691 201735 201815 201932 201980 202022 202178 202230 202273 202429 202482 202524 202589 202737 202779 202841 202911 203041 203095 203161 203216 203283 203392 203440 203514 203594 203692 203746 203817 203878 203962 204059 204113 204185 204249 204337 204438 204480 204550 204642 204714 204810 205176 205188 205198 205208 205220 205224 205230 205234 205241 205245 205251 205255 205258 205258 205258 205612 216238 216349 216393 216589 216694 216742 216796 216939 216991 217047 217127 217242 217298 217346 217499 217553 217598 217667 217815 217854 217917 217990 218047 218176 218238 218293 218372 218490 218529 218595 218676 218739 218857 218911 218962 219047 219113 219167 219278 219329 219416 219512 219584 219974 219985 219995 220006 220014 220021 220034 220037 220044 220048 220055 220058 220062 220062 220062 220443 229875 229997 230030 230245 230362 230398 230452 230739 230778 230834 230990 231029 231085 231150 231286 231340 231402 231454 231602 231656 231704 231777 231834 231963 232025 232099 232159 232294 232333 232399 232480 232543 232661 232715 232766 232851 232939 232971 233082 233152 233220 233316 233388 233778 233789 233799 233810 233822 233825 233838 233842 233855 233859 233866 233870 233873 233873 233873 234300 242551 242673 242706 242921 243038 243086 243128 243431 243483 243526 243841 243894 243936 244001 244149 244191 244253 244323 244453 244507 244573 244628 244719 244814 244876 244950 245010 245145 245199 245250 245331 245415 245521 245575 245647 245711 245799 245831 245942 246012 246104 246176 246272 246638 246650 246659 246670 246682 246686 246698 246702 246716 246719 246734 246738 246741 246741 246741 247211 254290 254412 254456 254660 254777 254825 254867 255170 255222 255280 255596 255649 255707 255756 256092 256149 256196 256266 256408 256450 256516 256590 256662 256771 256836 256893 256973 257088 257142 257213 257274 257358 257476 257518 257590 257676 257742 257843 257901 257955 258047 258119 258215 258581 258593 258603 258614 258625 258629 258642 258645 258659 258663 258677 258681 258693 258693 258693 259205 264850 264868 264892 265068 265086 265110 265276 265323 265344 265392 265587 265602 265638 265698 265893 265915 265957 266004 266215 266237 266266 266326 266394 266406 266436 266491 266545 266598 266620 266649 266709 266766 266819 266841 266870 266930 267008 267041 267063 267103 267149 267227 267296 271854 272568 272590 272632 272786 272808 272850 273026 273044 273080 273123 273306 273332 273366 273573 273617 273638 273686 273737 273953 273979 274027 274078 274305 274327 274356 274416 274473 274510 274536 274570 274635 274696 274731 274757 274805 274856 274916 274958 274979 275025 275094 275157 275842 279485 279540 279561 279710 279758 279779 279827 279996 280014 280056 280262 280274 280304 280359 280568 280586 280622 280665 280909 280927 280951 281006 281060 281294 281320 281368 281419 281678 281690 281720 281775 281829 281899 281917 281941 281996 282070 282092 282139 282173 282215 282289 282355 283046 285766 285784 285820 285984 286002 286038 286192 286239 286269 286308 286503 286525 286554 286614 286813 286831 286873 286938 287150 287172 287214 287261 287525 287543 287567 287622 287676 287945 287967 288009 288056 288134 288372 288394 288436 288483 288561 288598 288616 288656 288720 288780 289038 291130 291314 291332 291374 291532 291550 291592 291771 291786 291822 292008 292048 292074 292122 292315 292359 292389 292428 292657 292700 292721 292769 292839 293069 293091 293133 293180 293454 293495 293516 293564 293634 293913 293953 293983 294022 294092 294133 294390 294416 294450 294515 294597 295139 295223 295289 295297 295347 295368 295405 295429 295441 295477 295497 295507 295537 295549 295565 295577 295596 295605 295617 295629 295632 295649 295655 295663 295671 295673 295681 295685 295689 295692 295695 296326 296383 296410 296425 296426 296418 296439 296433 296425 296440 296434 296430 296439 296433 296427 296423 296427 296422 296416 296410 296410 296407 296401 296395 296391 296386 296361 296338 296327 296310 296297 296897 296978 296981 296996 296997 296989 297008 297004 297011 297011 297005 296996 297009 297004 296998 296989 296998 296992 296987 296981 296981 296977 296972 296966 296960 296957 296932 296909 296890 296881 296868 297451 297525 297528 297543 297544 297536 297555 297551 297558 297558 297552 297543 297556 297551 297545 297536 297545 297540 297534 297528 297528 297525 297519 297513 297509 297501 297479 297456 297445 297428 297415 297448 297545 297577 297615 297650 297671 297714 297732 297766 297786 297806 297842 297851 297863 297879 297895 297914 297923 297935 297947 297960 297968 297976 297982 297990 297996 298004 298007 298011 298015 298018 298670 298725 298746 298738 298754 298745 298760 298755 298746 298758 298752 298747 298749 298747 298741 298736 298736 298733 298727 298722 298713 298716 298710 298705 298699 298690 298679 298655 298634 298624 298609 298585 299217 299270 299261 299279 299274 299280 299280 299274 299282 299278 299272 299264 299273 299267 299261 299253 299259 299253 299247 299242 299240 299236 299230 299225 299219 299215 299190 299167 299148 299139 299126 299681 299736 299755 299763 299765 299756 299771 299766 299757 299769 299763 299758 299760 299758 299752 299747 299747 299744 299739 299733 299724 299727 299722 299716 299712 299706 299691 299666 299654 299635 299620 299592 300149 300213 300215 300229 300225 300217 300230 300226 300218 300228 300222 300218 300223 300217 300213 300207 300209 300203 300199 300193 300185 300188 300182 300176 300171 300162 300151 300127 300106 300089 300081 300051 300673 300782 300880 301098 301258 301503 301510 301520 301524 301533 301543 301546 301557 301568 301573 301576 301589 301593 301616 301634 301668 301912 304108 304962 305009 305026 305033 305066 305100 305135 305373 305517 305520 305521 305527 305541 305563 305608 305671 305862 305965 305961 305952 305965 305970 305995 306021 306048 306230 306338 306339 306333 306326 306337 306346 306362 306390 306407 306581 306651 306650 306645 306636 306639 306647 306655 306673 306701 306811 306891 306900 306894 306888 306880 306882 306888 306894 306914 306929 307015 307075 307081 307075 307069 307064 307060 307061 307065 307073 307087 307110 307178 307198 307194 307188 307182 307177 307170 307172 307174 307179 307188 307196 307237 307239 307225 307202 307184 307169 307136 307135 307136 307135 307139 307143 307157 307157 308057 308138 308246 308354 308462 308625 308868 308959 309036 309113 309172 309215 309289 309313 309384 309414 309481 309499 309527 309537 309555 309635 309699 309748 309762 309805 309825 309855 309879 309889 309920 309940 309949 309966 309986 310002 310009 310028 310037 310049 310061 310062 310075 310083 310091 310097 310099 310106 310110 310114 310117 310119 313678 316279 317016 317068 317062 317050 317038 317020 317017 317044 317080 317116 317143 317179 317187 317589 317517 317536 317527 317518 317503 317491 317479 317467 317499 317531 317555 317587 317610 317751 317922 317882 317883 317875 317866 317854 317842 317830 317823 317833 317854 317882 317910 317931 317944 318231 318141 318156 318150 318139 318133 318121 318109 318091 318089 318097 318121 318139 318163 318187 318192 318426 318336 318346 318342 318336 318325 318316 318304 318292 318282 318273 318293 318313 318328 318348 318357 318579 318489 318463 318459 318453 318447 318436 318427 318415 318403 318392 318383 318399 318411 318427 318443 318450 318572 318528 318499 318495 318489 318483 318475 318466 318454 318442 318430 318419 318421 318430 318442 318454 318463 318468 318543 318471 318456 318450 318445 318439 318430 318421 318415 318397 318385 318376 318371 318379 318385 318393 318399 318404 318444 318354 318326 318301 318280 318270 318255 318234 318228 318216 318204 318186 318176 318177 318181 318184 318188 318191 318192 318161 318071 318983 319037 319145 319253 319361 319515 319712 319759 319778 319794 319799 319807 319817 319817 319824 319824 319828 319828 319829 319824 319821 319788 319831 319884 319875 319893 319887 319898 319892 319888 319895 319890 319884 319886 319884 319879 319873 319873 319870 319864 319859 319850 319853 319847 319842 319836 319827 319817 319812 319806 319800 319796 320391 321600 322234 322308 322299 322293 322278 322263 322251 322228 322222 322217 322211 322207 322201 322068 322008 322006 322022 321988 321982 321970 321952 321940 321909 321904 321898 321894 321888 321882 321733 321673 321668 321664 321653 321647 321635 321623 321608 321594 321567 321561 321557 321551 321546 321537 321371 321323 321326 321320 321312 321303 321291 321279 321267 321253 321226 321220 321215 321209 321203 321199 321042 320994 320983 320977 320973 320962 320953 320944 320932 320914 320906 320878 320872 320868 320862 320856 320848 320686 320638 320635 320629 320624 320615 320606 320597 320582 320570 320558 320531 320525 320520 320514 320510 320504 320363 320303 320286 320282 320276 320270 320259 320253 320241 320229 320217 320200 320179 320173 320167 320162 320156 320152 320001 319941 319933 319927 319921 319917 319911 319900 319891 319879 319867 319849 319825 319821 319815 319809 319804 319798 319735 319612 319578 319553 319530 319511 319502 319489 319423 319365 319304 319255 319208 319179 319164 319139 319118 319102 319089 318954 318602 319163 319178 319259 319340 319448 319610 319710 319916 319954 319973 319989 320002 320002 320012 320012 320019 320019 320023 320023 320024 320019 320015 319983 320026 320079 320070 320088 320082 320093 320087 320083 320090 320085 320079 320081 320079 320074 320068 320068 320065 320059 320054 320045 320048 320042 320037 320031 320029 320012 320007 320001 319995 319991 319983 320928 321250 321293 321318 321309 321297 321285 321270 321245 321241 321235 321229 321224 321218 321157 321127 321103 321122 321113 321104 321095 321083 321065 321054 321026 321020 321016 321010 321004 320996 320909 320885 320897 320892 320883 320874 320862 320847 320835 320813 320797 320791 320785 320781 320775 320767 320681 320657 320666 320660 320652 320643 320631 320619 320607 320595 320566 320561 320555 320549 320545 320539 320461 320437 320429 320428 320422 320414 320405 320396 320381 320369 320357 320329 320324 320318 320312 320308 320302 320225 320201 320191 320189 320184 320178 320169 320160 320151 320136 320121 320102 320086 320080 320076 320070 320064 320056 319973 319949 319949 319944 319938 319934 319923 319917 319905 319893 319881 319864 319841 319837 319831 319826 319820 319811 319735 319711 319703 319697 319693 319687 319681 319670 319661 319649 319637 319625 319608 319591 319586 319580 319576 319570 319562 319481 319457 319440 319415 319395 319378 319365 319311 319261 319208 319153 319110 319076 319040 319026 319003 318985 318970 318951 318768 318658 319228 319250 319331 319439 319547 319655 319875 319977 319999 320018 320034 320047 320047 320057 320057 320064 320064 320068 320068 320067 320063 320060 320028 320102 320123 320115 320131 320122 320137 320132 320123 320135 320129 320124 320128 320124 320118 320112 320114 320110 320104 320098 320090 320093 320087 320081 320076 320067 320057 320051 320046 320040 320034 320028 320102 320093 320087 320075 320063 320045 320023 320019 320013 320007 320002 319996 320006 320009 320000 319991 319982 319967 319952 319941 319913 319907 319903 319897 319891 319883 319901 319895 319887 319875 319866 319851 319839 319817 319801 319795 319791 319785 319779 319771 319786 319780 319772 319763 319754 319742 319727 319715 319687 319681 319675 319671 319665 319660 319664 319663 319658 319649 319640 319634 319622 319607 319592 319565 319559 319555 319549 319543 319538 319540 319539 319533 319527 319518 319509 319500 319488 319476 319459 319437 319431 319425 319420 319414 319410 319412 319406 319402 319396 319385 319379 319367 319355 319343 319331 319305 319300 319294 319290 319284 319278 319277 319273 319267 319262 319256 319247 319238 319229 319217 319205 319188 319168 319162 319156 319151 319145 319141 319126 319101 319089 319070 319055 319020 318956 318910 318852 318793 318762 318733 318706 318693 318672 318655 318643
iterations count:2686908 (4903), effective:16465 (30)

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V20P20N10.tgz
mv BridgeAndVehicles-COL-V20P20N10 execution

# this is for BenchKit: explicit launching of the test

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