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-2270
Executing tool marcie
Input is BridgeAndVehicles-COL-V20P20N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190su-smll-143330904500089
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1433426256076

Model: BridgeAndVehicles-COL-V20P20N20
reachability algorithm:
Saturation-based algorithm
variable ordering algorithm:
Calculated like in [Noa99]
--memory=6 --suppress --rs-algorithm=3 --place-order=5

Marcie rev. 1429:1432M (built: crohr on 2014-10-22)
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 --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

Unfolding complete |P|=78|T|=968|A|=6927
Time for unfolding: 0m0sec

(NrP: 78 NrTr: 968 NrArc: 6927)

net check time: 0m0sec

parse formulas successfull
formulas created successfully
place and transition orderings generation:0m0sec

init dd package: 0m3sec


RS generation: 0m59sec


-> reachability set: #nodes 665401 (6.7e+05) #states 1,290,214 (6)



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

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

-> the formula is TRUE

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

MC time: 8m33sec


Total processing time: 10m3sec


BK_STOP 1433426860130

--------------------
content from stderr:

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: 0m0sec

233 3016 5597 8216 10855 12254 14882 17485 20045 22544 24964 27287 29495 31570 33494 35249 36817 38180 39323 40231 40886 44977 45184 45427 45859 46192 46561 46966 47407 47884 48397 48679 48693 48717 48746 48779 48816 48856 48879 48926 48977 49004 49061 49121 49154 49221 49256 49329 49405 49446 49487 49572 49660 49707 49754 49850 50355 50358 50366 50375 50396 50407 50398 50407 50416 50420 50429 50462 50443 50452 50456 50465 50506 50479 50488 50492 50539 50506 50510 50519 50570 77635 93781 93841 93893 93939 93980 94015 94041 94081 94461 94805 94805 94813 94822 94831 94840 94865 94854 94863 94872 94876 94885 94920 94899 94908 94912 94921 94964 94935 94939 94948 94997 94962 94966 95017 113114 112808 112352 111869 111268 110671 110120 109597 108818 100516 100519 100535 100544 100541 100550 100559 100568 100572 100581 100612 100623 100604 100613 100617 100656 100665 100640 100644 100689 100700 100667 100671 100722 100685 100689 116979 116601 116061 115611 115089 114495 113829 113091 105226 105235 105245 105242 105251 105260 105269 105278 105282 105291 105322 105305 105314 105318 105327 105366 105341 105350 105354 105399 105368 105377 105381 105432 105395 105399 120788 120377 119921 119328 118731 118136 117613 117116 109688 109691 109699 109708 109717 109740 109731 109740 109749 109753 109762 109771 109806 109785 109794 109798 109839 109812 109821 109825 109872 109839 109843 109852 109903 124541 124218 123739 123341 122669 122141 121549 120977 117229 113901 113909 113918 113927 113936 113945 113949 113958 113967 113998 113981 113990 113994 114003 114042 114017 114026 114030 114075 114044 114048 114057 114108 114071 114075 127662 127212 126717 126312 125745 125170 124737 120987 117867 117875 117884 117893 117902 117906 117915 117924 117953 117938 117947 117956 117960 117969 118008 117983 117987 117996 118041 118010 118014 118063 118072 118037 118041 130727 130307 129845 129392 128795 128277 127703 121586 121595 121593 121602 121611 121620 121629 121633 121642 121651 121682 121665 121674 121678 121687 121726 121701 121710 121714 121759 121728 121737 121741 121792 121755 121759 133466 133024 132556 132179 131552 131009 130736 125059 125059 125067 125076 125085 125094 125119 125108 125117 125126 125130 125139 125174 125153 125162 125166 125175 125218 125189 125193 125240 125251 125216 125220 125271 136217 135861 135393 135033 134457 134013 133521 128278 128281 128289 128308 128303 128312 128321 128330 128334 128343 128352 128385 128366 128375 128379 128388 128429 128402 128406 128415 128462 128429 128433 128484 128447 128451 138291 137873 137444 137103 136509 136058 131252 131261 131271 131268 131277 131286 131295 131304 131308 131317 131348 131331 131340 131349 131353 131392 131367 131376 131380 131425 131394 131403 131407 131458 131421 131425 140377 139997 139607 139144 138757 138347 133978 133981 133989 134008 134003 134012 134021 134030 134034 134043 134052 134085 134066 134075 134079 134088 134129 134102 134106 134115 134162 134129 134133 134184 134147 134151 142143 141777 141387 141090 140757 140388 136456 136459 136467 136476 136485 136494 136519 136508 136517 136526 136530 136539 136574 136553 136562 136566 136575 136618 136589 136593 136640 136607 136616 136620 136671 143949 143669 143301 142941 142661 142349 140349 138685 138693 138702 138711 138720 138724 138733 138742 138771 138782 138765 138774 138778 138787 138826 138801 138805 138814 138859 138828 138832 138841 138892 138855 138859 145147 144881 144608 144272 144013 143726 140668 140671 140679 140688 140697 140706 140731 140720 140729 140738 140742 140751 140786 140765 140774 140778 140787 140830 140801 140805 140852 140863 140828 140832 140883 146349 146079 145863 145593 145269 145023 142402 142405 142413 142432 142427 142436 142445 142454 142458 142467 142476 142509 142490 142499 142503 142512 142553 142526 142530 142539 142586 142553 142557 142608 142571 142575 147011 146811 146547 146372 146177 144927 143887 143895 143904 143913 143922 143931 143935 143944 143953 143984 143967 143976 143980 143989 144028 144003 144012 144016 144061 144030 144034 144043 144094 144057 144061 147653 147485 147317 147113 146957 145957 145125 145133 145142 145151 145160 145164 145173 145182 145211 145196 145205 145214 145218 145255 145266 145241 145245 145254 145299 145268 145272 145321 145286 145295 145299 148035 147885 147759 147606 147489 146739 146115 146123 146132 146141 146145 146154 146163 146172 146201 146186 146195 146199 146208 146245 146222 146231 146235 146278 146289 146258 146262 146311 146276 146280 146289 148137 148061 147953 147851 147773 147273 146857 146865 146874 146883 146887 146896 146905 146914 146943 146928 146937 146941 146950 146987 146964 146973 146977 147020 147029 147000 147004 147053 147018 147022 147031 147991 147953 147899 147848 147809 147559 379320 498147 570861 631215 665401
iterations count:708104 (731), effective:6273 (6)

initing FirstDep: 0m0sec

30393 33677 35589 35656 35682 35709 35738 35790 35821 35853 35898 35933 35969 36028 36066 36105 36164 36206 36249 36293 38926 42836 43162 47269 49467 51330 55022 55342 59188 61251 63022 66416 68667 70350 73572 75731 77326 80682 83646 85667 87130 90222 93226 96115 97683 100467 103328 103397 103532 104076 133334 133418 133481 133544 135518 141128 141484 142050 142450 143104 143291 144119 144307 145119 145292 145481 146354 146519 146702 147644 147875 148050 148235 149194 149343 149510 149689 150537 150906 151065 151236 151417 152414 152547 152698 152861 153126 154124 154249 154392 154547 154714 154891 155878 156061 156202 156355 156520 156695 157659 157768 157895 158034 158265 158434 159277 159499 159609 159734 159871 160020 160266 161072 161279 161381 161498 161627 161768 161921 162086 162994 163079 163182 163297 163424 163563 163714 163877 164573 164790 164885 164992 165111 165242 165385 165540 165705 166374 166485 166578 166683 166800 166929 167070 167223 167386 167960 168059 168144 168241 168350 168471 168604 168749 168906 169217 174228 202955 203039 203102 203165 205397 205549 205724 205835 206039 206087 206320 206392 206650 206695 206745 207024 207067 207116 207365 207457 207525 207575 207884 207923 207968 208017 208294 208378 208440 208487 208537 208860 208895 208936 208981 209030 209319 209412 209451 209494 209541 209591 209912 209943 209980 210043 210090 210140 210454 210483 210518 210557 210600 210672 210949 211013 211043 211078 211117 211160 211207 211257 211557 211585 211618 211655 211696 211741 211790 212039 212095 212136 212169 212206 212247 212292 212341 212570 212622 212646 212691 212726 212765 212808 212855 212905 213124 213143 213168 213213 213248 213287 213330 213377 213427 213615 213632 213655 213697 213730 213767 213808 213853 213902 214022 215845 242543 242627 242711 242753 244985 245137 245354 245465 245696 245872 245976 246025 246283 246328 246378 246657 246724 246774 247070 247111 247158 247208 247517 247556 247601 247675 247993 248030 248073 248120 248170 248493 248528 248591 248638 248688 249012 249045 249084 249127 249174 249224 249560 249594 249633 249676 249723 249773 250087 250116 250170 250211 250256 250305 250582 250646 250676 250711 250771 250816 250865 251130 251190 251218 251251 251288 251329 251398 251448 251717 251740 251769 251802 251839 251880 251925 251999 252245 252266 252293 252324 252359 252398 252441 252488 252538 252766 252788 252815 252846 252881 252920 252963 253010 253060 253256 253276 253301 253330 253363 253400 253441 253486 253535 253655 255499 280233 280338 280401 282565 282720 282895 283110 283301 283433 283670 283717 283922 284022 284070 284299 284395 284441 284715 284807 284851 284900 285165 285253 285295 285342 285392 285728 285768 285813 285862 286147 286227 286265 286308 286380 286669 286745 286781 286822 286867 286916 287205 287293 287330 287371 287416 287465 287750 287818 287850 287907 287950 287997 288047 288350 288377 288410 288447 288488 288557 288607 288895 288920 288951 288986 289025 289068 289115 289389 289445 289471 289502 289537 289576 289619 289666 289716 289972 289996 290025 290058 290095 290136 290181 290230 290435 290493 290518 290547 290580 290617 290658 290703 290752 290929 290982 291005 291032 291063 291098 291137 291180 291227 291252 292956 293236 316092 316176 316218 318450 318602 318882 319097 319205 319432 319536 319585 319848 319893 319943 320243 320289 320339 320635 320676 320723 320773 321082 321121 321190 321240 321558 321595 321638 321685 321735 322058 322113 322156 322203 322253 322577 322610 322649 322692 322764 323053 323125 323159 323198 323241 323288 323338 323652 323698 323735 323776 323821 323870 324147 324211 324241 324295 324336 324381 324430 324695 324755 324783 324816 324853 324916 324963 325013 325282 325305 325334 325367 325404 325445 325514 325564 325810 325831 325858 325889 325924 325963 326006 326078 326283 326331 326353 326380 326411 326446 326485 326528 326600 326777 326821 326841 326866 326895 326928 326965 327006 327075 327100 328843 329103 349999 350125 350188 352420 352572 352789 352900 353151 353199 353483 353555 353870 353915 353965 354250 354293 354342 354591 354704 354751 354801 355110 355149 355194 355243 355520 355604 355666 355713 355763 356086 356121 356162 356207 356256 356605 356638 356677 356720 356767 356817 357138 357169 357226 357269 357316 357366 357680 357709 357744 357783 357826 357898 358175 358239 358269 358304 358343 358386 358433 358483 358783 358811 358844 358881 358922 358967 359016 359265 359333 359362 359395 359432 359473 359518 359567 359796 359848 359886 359917 359952 359991 360034 360081 360131 360350 360369 360408 360439 360474 360513 360556 360603 360653 360841 360858 360894 360923 360956 360993 361034 361079 361128 361248 363149 382085 382297 382381 384613 384765 384982 385093 385344 385392 385676 385723 385985 386108 386158 386501 386544 386593 386849 386941 386985 387059 387368 387407 387452 387501 387778 387862 387902 387971 388021 388344 388379 388420 388465 388514 388803 388879 388935 388978 389025 389075 389396 389427 389464 389505 389574 389624 389938 389967 390002 390041 390084 390131 390181 390497 390527 390562 390601 390644 390691 390741 391029 391069 391102 391139 391180 391225 391274 391523 391579 391605 391653 391690 391731 391776 391825 392054 392106 392130 392159 392210 392249 392292 392339 392389 392608 392627 392652 392681 392732 392771 392814 392861 392911 393099 393116 393139 393166 393214 393251 393292 393337 393386 393506 395424 395424 412742 412847 415079 415231 415448 415559 415810 415858 416142 416189 416451 416551 416624 416967 417010 417059 417380 417472 417516 417565 417907 417946 417991 418040 418317 418401 418441 418486 418560 418883 418918 418959 419004 419053 419342 419418 419454 419517 419564 419614 419935 419966 420003 420044 420089 420163 420477 420506 420541 420580 420623 420670 420720 421023 421066 421101 421140 421183 421230 421280 421568 421593 421641 421678 421719 421764 421813 422062 422118 422144 422175 422229 422270 422315 422364 422593 422645 422669 422698 422731 422788 422831 422878 422928 423147 423166 423191 423220 423253 423310 423353 423400 423450 423638 423655 423678 423705 423736 423790 423831 423876 423925 424045 425779 425979 441511 441637 443869 444021 444238 444349 444600 444648 444932 444979 445241 445341 445414 445757 445800 445849 446170 446262 446306 446355 446701 446809 446854 446903 447189 447273 447313 447358 447407 447755 447790 447831 447876 447925 448214 448290 448326 448389 448436 448486 448807 448838 448875 448916 448961 449010 449349 449378 449413 449452 449495 449542 449592 449895 449938 449973 450012 450055 450102 450152 450440 450465 450496 450550 450591 450636 450685 450934 450990 451016 451047 451082 451142 451187 451236 451465 451517 451541 451570 451603 451640 451703 451750 451800 452019 452038 452063 452092 452125 452162 452225 452272 452322 452510 452527 452550 452577 452608 452643 452703 452748 452797 452917 454686 454866 468635 468782 470946 471101 471276 471515 471766 471814 472098 472145 472407 472507 472555 472848 472966 473015 473336 473428 473472 473521 473867 473955 474020 474069 474437 474521 474561 474606 474655 474950 475048 475089 475134 475183 475472 475548 475584 475625 475694 475744 476065 476096 476133 476174 476219 476268 476553 476636 476671 476710 476753 476800 476850 477153 477180 477231 477270 477313 477360 477410 477698 477723 477754 477789 477849 477894 477943 478192 478248 478274 478305 478340 478379 478445 478494 478723 478775 478799 478828 478861 478898 478939 479008 479058 479277 479296 479321 479350 479383 479420 479461 479530 479580 479768 479785 479808 479835 479866 479901 479940 480006 480055 480175 481978 482138 482138 494377 496541 496696 496871 497086 497277 497409 497693 497740 498002 498102 498150 498443 498539 498585 498931 499023 499067 499116 499462 499550 499592 499639 500032 500116 500156 500201 500250 500637 500717 500755 500821 500870 501170 501246 501282 501323 501368 501417 501706 501794 501831 501872 501917 501966 502251 502319 502351 502408 502451 502498 502548 502851 502878 502911 502948 502989 503058 503108 503396 503421 503452 503487 503526 503569 503641 503890 503946 503972 504003 504038 504077 504120 504167 504217 504473 504497 504526 504559 504596 504637 504682 504731 504936 504994 505019 505048 505081 505118 505159 505204 505253 505430 505483 505506 505533 505564 505599 505638 505681 505728 505753 507709 507849 507849 518413 520619 520774 520949 521164 521355 521463 521690 521794 521843 522158 522228 522521 522617 522663 522713 523081 523122 523169 523540 523628 523670 523717 523767 524176 524213 524256 524328 524715 524795 524833 524876 524923 524973 525411 525463 525504 525549 525598 525899 525971 526005 526044 526087 526159 526444 526512 526544 526581 526622 526667 526716 526993 527071 527104 527141 527182 527227 527276 527541 527601 527645 527680 527719 527762 527809 527859 528128 528151 528180 528231 528270 528313 528360 528410 528656 528677 528704 528735 528789 528830 528875 528924 529129 529177 529199 529226 529257 529311 529352 529397 529446 529623 529667 529687 529712 529741 529792 529831 529874 529921 529946 531934 532054 532054 532054 541092 543324 543476 543693 543804 544055 544103 544387 544459 544774 544819 544869 545212 545255 545304 545625 545717 545785 545835 546225 546264 546309 546358 546726 546810 546872 546919 546969 547394 547429 547470 547515 547564 548027 548060 548099 548142 548189 548239 548687 548718 548775 548818 548865 548915 549242 549271 549306 549345 549388 549460 549737 549801 549831 549866 549905 549948 549995 550045 550345 550373 550406 550443 550484 550529 550578 550827 550895 550924 550957 550994 551035 551080 551129 551358 551410 551448 551479 551514 551553 551596 551643 551693 551912 551931 551970 552001 552036 552075 552118 552165 552215 552403 552420 552456 552485 552518 552555 552596 552641 552690 552810 554709 554809 554809 562197 564445 564600 564775 564990 565181 565289 565516 565620 565669 566006 566054 566347 566443 566489 566539 566907 566948 566995 567366 567454 567496 567543 567593 568002 568039 568082 568154 568541 568621 568659 568702 568749 568799 569237 569289 569330 569375 569424 569840 569912 569946 569985 570028 570100 570526 570594 570626 570663 570704 570749 570798 571089 571167 571200 571237 571278 571323 571372 571637 571697 571741 571776 571815 571858 571905 571955 572224 572247 572276 572327 572366 572409 572456 572506 572752 572773 572800 572848 572885 572926 572971 573020 573225 573273 573295 573322 573370 573407 573448 573493 573542 573719 573763 573783 573808 573837 573888 573927 573970 574017 574042 576091 576171 576171 576171 582100 584306 584461 584636 584851 585042 585150 585377 585505 585767 585867 585915 586208 586304 586350 586400 586788 586832 586881 587227 587315 587357 587404 587454 587881 587921 587966 588015 588402 588482 588520 588563 588635 589038 589114 589150 589191 589236 589285 589701 589773 589826 589867 589912 589961 590387 590455 590487 590524 590587 590634 590684 591143 591170 591203 591240 591281 591326 591400 591703 591728 591759 591794 591833 591876 591923 591973 592253 592279 592310 592345 592384 592427 592474 592524 592770 592804 592833 592866 592903 592944 592989 593038 593243 593291 593326 593355 593388 593425 593466 593511 593560 593737 593781 593813 593840 593871 593906 593945 593988 594035 594060 596138 596198 596198 596198 596198 602876 603031 603206 603421 603612 603720 603947 604051 604100 604437 604485 604778 604874 604920 604970 605338 605379 605451 605797 605885 605927 605974 606024 606433 606470 606536 606585 606972 607052 607090 607133 607180 607230 607668 607720 607761 607806 607855 608271 608343 608377 608416 608482 608531 608957 609025 609057 609094 609135 609180 609229 609713 609740 609773 609810 609851 609896 609945 610382 610442 610486 610521 610560 610603 610650 610700 610985 611008 611053 611088 611127 611170 611217 611267 611513 611534 611561 611609 611646 611687 611732 611781 611986 612034 612056 612083 612131 612168 612209 612254 612303 612480 612524 612544 612569 612614 612649 612688 612731 612778 612803 614909 614949 614949 614949 614949 618071 620303 620455 620672 620783 621034 621082 621366 621413 621753 621798 621848 622191 622234 622283 622604 622696 622764 622814 623204 623243 623288 623337 623705 623789 623851 623898 623948 624373 624408 624449 624494 624543 624946 625039 625078 625121 625168 625218 625666 625697 625734 625797 625844 625894 626349 626378 626413 626452 626495 626542 627000 627064 627094 627129 627168 627211 627258 627308 627780 627808 627841 627878 627919 627964 628013 628451 628507 628548 628581 628618 628659 628704 628753 628999 629051 629075 629120 629155 629194 629237 629284 629334 629553 629572 629597 629642 629677 629716 629759 629806 629856 630044 630061 630084 630126 630159 630196 630237 630282 630331 630451 632464 632484 632484 632484 632484 634237 636469 636621 636838 636949 637200 637451 637555 637604 637919 637964 638014 638357 638400 638474 638842 638883 638930 638980 639370 639409 639454 639503 639937 639974 640017 640064 640114 640539 640574 640615 640684 640734 641172 641205 641244 641287 641334 641384 641847 641881 641920 641963 642010 642060 642515 642544 642579 642639 642684 642733 643166 643230 643260 643295 643334 643400 643449 643886 643946 643974 644007 644044 644085 644130 644204 644662 644685 644714 644747 644784 644825 644870 644919 645397 645418 645445 645476 645511 645550 645593 645640 645690 645936 645958 645985 646016 646051 646090 646133 646180 646230 646426 646446 646471 646500 646533 646570 646611 646656 646705 646825 648864 652665 652820 652995 653234 653485 653533 653817 653864 654126 654226 654274 654567 654685 654734 655055 655147 655191 655240 655586 655674 655739 655788 656156 656240 656280 656325 656374 656761 656859 656900 656945 656994 657397 657473 657509 657550 657619 657669 658117 658148 658185 658226 658271 658320 658746 658829 658864 658903 658946 658993 659043 659502 659529 659580 659619 659662 659709 659759 660219 660244 660275 660310 660370 660415 660464 660902 660958 660984 661015 661050 661089 661155 661204 661640 661692 661716 661745 661778 661815 661856 661925 661975 662420 662439 662464 662493 662526 662563 662604 662673 662723 662930 662947 662970 662997 663028 663063 663102 663168 663217 663337 665401
iterations count:2054403 (2122), effective:5162 (5)

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-V20P20N20"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/root/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-V20P20N20.tgz
mv BridgeAndVehicles-COL-V20P20N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2270"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-COL-V20P20N20, 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 r190su-smll-143330904500089"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "ReachabilityComputeBounds" ] ; 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 ;