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-V20P10N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190su-smll-143330904500050
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1433424568305

Model: BridgeAndVehicles-COL-V20P10N20
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: 0m57sec


-> reachability set: #nodes 636061 (6.4e+05) #states 1,131,034 (6)



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

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

-> the formula is TRUE

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

MC time: 8m20sec


Total processing time: 9m49sec


BK_STOP 1433425157453

--------------------
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 29441 31366 33068 34553 35827 36896 37769 38455 38960 42667 42874 43117 43549 43882 44245 44620 45007 45406 45817 46039 46053 46077 46106 46139 46176 46216 46239 46286 46337 46364 46421 46479 46510 46569 46598 46657 46715 46746 46775 46834 46892 46923 46952 47010 47443 47446 47454 47463 47484 47495 47486 47495 47504 47508 47517 47550 47531 47540 47544 47553 47586 47567 47576 47580 47613 47594 47598 47607 47638 70915 85429 85489 85541 85569 85569 85569 85569 85569 85769 85973 85973 85981 85990 85999 86008 86033 86022 86031 86040 86044 86053 86086 86067 86076 86080 86089 86122 86103 86107 86116 86149 86130 86134 86165 101850 101544 101088 100605 100053 99585 99201 98865 98409 91684 91687 91703 91712 91709 91718 91727 91736 91740 91749 91780 91791 91772 91781 91785 91818 91825 91808 91812 91845 91854 91835 91839 91872 91853 91857 105843 105465 104925 104493 104061 103629 103197 102765 96394 96403 96413 96410 96419 96428 96437 96446 96450 96459 96490 96473 96482 96486 96495 96528 96509 96518 96522 96555 96536 96545 96549 96582 96563 96567 109780 109369 108913 108361 107893 107485 107161 106873 100856 100859 100867 100876 100885 100908 100899 100908 100917 100921 100930 100939 100972 100953 100962 100966 100999 100980 100989 100993 101026 101007 101011 101020 101051 113661 113338 112859 112461 111885 111501 111117 110781 107805 105069 105077 105086 105095 105104 105113 105117 105126 105135 105166 105149 105158 105162 105171 105204 105185 105194 105198 105231 105212 105216 105225 105258 105239 105243 116910 116460 115965 115605 115173 114789 114525 111600 109035 109043 109052 109061 109070 109074 109083 109092 109121 109106 109115 109124 109128 109137 109170 109151 109155 109164 109197 109178 109182 109215 109222 109205 109209 120103 119683 119221 118825 118381 118045 117709 112754 112763 112761 112770 112779 112788 112797 112801 112810 112819 112850 112833 112842 112846 112855 112888 112869 112878 112882 112915 112896 112905 112909 112942 112923 112927 122970 122528 122073 121761 121317 120981 120825 116227 116227 116235 116244 116253 116262 116287 116276 116285 116294 116298 116307 116340 116321 116330 116334 116343 116376 116357 116361 116394 116403 116384 116388 116419 125849 125493 125025 124701 124269 123981 123693 119446 119449 119457 119476 119471 119480 119489 119498 119502 119511 119520 119553 119534 119543 119547 119556 119589 119570 119574 119583 119616 119597 119601 119634 119615 119619 128051 127633 127237 126973 126577 126313 122420 122429 122439 122436 122445 122454 122463 122472 122476 122485 122516 122499 122508 122517 122521 122554 122535 122544 122548 122581 122562 122571 122575 122608 122589 122593 130265 129885 129525 129177 128925 128685 125146 125149 125157 125176 125171 125180 125189 125198 125202 125211 125220 125253 125234 125243 125247 125256 125289 125270 125274 125283 125316 125297 125301 125334 125315 125319 132159 131793 131457 131241 131025 130809 127624 127627 127635 127644 127653 127662 127687 127676 127685 127694 127698 127707 127740 127721 127730 127734 127743 127776 127757 127761 127794 127775 127784 127788 127819 134077 133797 133437 133149 132957 132765 131205 129837 129845 129854 129863 129872 129876 129885 129894 129923 129934 129917 129926 129930 129939 129972 129953 129957 129966 129999 129980 129984 129993 130026 130007 130011 135389 135123 134871 134619 134451 134283 131806 131809 131817 131826 131835 131844 131869 131858 131867 131876 131880 131889 131922 131903 131912 131916 131925 131958 131939 131943 131976 131985 131966 131970 132001 136707 136437 136227 136011 135795 135651 133528 133531 133539 133558 133553 133562 133571 133580 133584 133593 133602 133635 133616 133625 133629 133638 133671 133652 133656 133665 133698 133679 133683 133716 133697 133701 137487 137289 137073 136953 136833 135858 135003 135011 135020 135029 135038 135047 135051 135060 135069 135100 135083 135092 135096 135105 135138 135119 135128 135132 135165 135146 135150 135159 135192 135173 135177 138249 138081 137937 137793 137697 136917 136233 136241 136250 136259 136268 136272 136281 136290 136319 136304 136313 136322 136326 136359 136368 136349 136353 136362 136395 136376 136380 136413 136394 136403 136407 138753 138603 138495 138387 138315 137730 137217 137225 137234 137243 137247 137256 137265 137274 137303 137288 137297 137301 137310 137343 137324 137333 137337 137370 137379 137360 137364 137397 137378 137382 137391 138979 138903 138807 138735 138687 138297 137955 137963 137972 137981 137985 137994 138003 138012 138041 138026 138035 138039 138048 138081 138062 138071 138075 138108 138115 138098 138102 138135 138116 138120 138129 138959 138921 138873 138837 138813 138618 361014 476135 546101 603707 636061
iterations count:708104 (731), effective:6273 (6)

initing FirstDep: 0m0sec

28173 31457 33000 33058 33075 33093 33113 33147 33169 33192 33228 33254 33281 33322 33351 33381 33431 33464 33498 33533 35828 39104 39430 42987 44931 46582 49850 50212 53760 55695 57380 60644 62851 64532 67752 69911 71506 74830 77826 79847 81310 84402 87406 90026 91863 94647 97298 97367 97462 97806 125851 125956 126019 126082 127826 133326 133594 134002 134320 134800 134941 135496 135715 136345 136486 136645 137350 137491 137650 138280 138583 138814 138985 139840 139981 140140 140311 141103 141400 141550 141802 141983 142980 143113 143264 143427 143602 144484 144815 144958 145113 145280 145457 146444 146561 146696 146921 147086 147261 148225 148334 148461 148600 148751 148914 149843 150065 150175 150300 150437 150586 150747 150918 151800 151947 152064 152193 152334 152487 152652 153409 153601 153748 153863 153990 154129 154280 154443 155139 155316 155402 155558 155677 155808 155951 156106 156271 156940 157009 157096 157249 157366 157495 157636 157789 157952 158526 158587 158666 158807 158916 159037 159170 159315 159472 159783 164204 192014 192119 192182 192245 194182 194308 194436 194527 194677 194714 194889 194926 195077 195165 195227 195452 195489 195532 195737 195823 195863 195908 196140 196244 196287 196334 196593 196677 196717 196762 196811 197096 197194 197235 197280 197329 197618 197694 197730 197771 197840 197890 198211 198242 198279 198320 198365 198414 198699 198782 198817 198856 198899 198946 198996 199299 199326 199377 199416 199459 199506 199556 199844 199869 199900 199935 199995 200040 200089 200338 200394 200420 200451 200486 200525 200591 200640 200869 200921 200945 200974 201007 201044 201085 201154 201204 201423 201442 201467 201496 201529 201566 201607 201676 201726 201914 201931 201954 201981 202012 202047 202086 202152 202201 202321 203889 229903 230008 230092 230155 232092 232218 232388 232479 232632 232669 232844 232881 233032 233139 233182 233407 233444 233487 233692 233778 233818 233887 234162 234199 234242 234289 234548 234632 234672 234717 234791 235114 235149 235190 235235 235284 235573 235649 235685 235748 235795 235845 236166 236197 236234 236275 236320 236394 236708 236737 236772 236811 236854 236901 236951 237254 237297 237332 237371 237414 237461 237511 237799 237824 237872 237909 237950 237995 238044 238293 238349 238375 238406 238460 238501 238546 238595 238824 238876 238900 238929 238962 239019 239062 239109 239159 239378 239397 239422 239451 239484 239541 239584 239631 239681 239869 239886 239909 239936 239967 240021 240062 240107 240156 240276 241885 266147 266252 266336 268246 268315 268515 268684 268827 268917 269044 269133 269173 269373 269410 269453 269696 269736 269781 270031 270068 270111 270158 270433 270470 270536 270585 270885 270922 270965 271012 271062 271385 271420 271483 271530 271580 271904 271937 271976 272019 272066 272380 272452 272486 272525 272568 272615 272665 272979 273025 273062 273103 273148 273197 273474 273538 273568 273603 273663 273708 273757 274022 274082 274110 274143 274180 274221 274290 274340 274609 274632 274661 274694 274731 274772 274817 274891 275137 275158 275185 275216 275251 275290 275333 275380 275610 275658 275680 275707 275738 275773 275812 275855 275902 276104 276148 276168 276193 276222 276255 276292 276333 276378 276427 277996 278196 300729 300834 300918 302855 302981 303151 303242 303439 303476 303702 303739 303895 303983 304023 304270 304307 304350 304555 304641 304681 304726 304958 305043 305105 305152 305411 305495 305535 305580 305629 305914 305994 306053 306098 306147 306436 306512 306548 306589 306634 306708 307029 307060 307097 307138 307183 307232 307517 307600 307635 307674 307717 307764 307814 308117 308144 308177 308234 308277 308324 308374 308662 308687 308718 308753 308813 308858 308907 309156 309212 309238 309269 309304 309343 309409 309458 309687 309739 309763 309792 309825 309862 309903 309972 310022 310241 310260 310285 310314 310347 310384 310425 310470 310544 310732 310749 310772 310799 310830 310865 310904 310947 311019 311139 312627 312827 333654 333759 335648 335775 335917 336086 336229 336319 336493 336582 336809 336897 336937 337121 337208 337248 337293 337543 337580 337646 337878 337963 338003 338048 338097 338397 338434 338477 338549 338834 338914 338952 338995 339042 339092 339416 339468 339509 339554 339603 339892 339964 339998 340037 340103 340152 340437 340505 340537 340574 340615 340660 340709 341037 341064 341097 341134 341175 341220 341269 341534 341594 341638 341673 341712 341755 341802 341852 342121 342144 342189 342224 342263 342306 342353 342403 342649 342670 342697 342745 342782 342823 342868 342917 343122 343170 343192 343219 343267 343304 343345 343390 343439 343616 343660 343680 343705 343750 343785 343824 343867 343914 343939 345585 345785 364803 364929 366839 366965 367108 367277 367420 367510 367684 367773 367813 368070 368107 368150 368457 368497 368542 368799 368836 368879 368926 369201 369238 369304 369353 369653 369690 369733 369780 369830 370153 370208 370251 370298 370348 370672 370705 370744 370787 370834 371148 371220 371254 371293 371336 371383 371433 371747 371793 371830 371871 371916 371965 372242 372306 372336 372371 372431 372476 372525 372790 372850 372878 372911 372948 373011 373058 373108 373377 373400 373429 373462 373499 373540 373609 373659 373905 373926 373953 373984 374019 374058 374101 374148 374378 374426 374448 374475 374506 374541 374580 374623 374670 374872 374916 374936 374961 374990 375023 375060 375101 375146 375195 376878 377078 394224 394436 394499 396436 396562 396732 396823 397038 397212 397301 397341 397598 397635 397678 397967 398004 398070 398392 398429 398472 398519 398802 398839 398882 398929 399188 399291 399334 399381 399431 399754 399789 399830 399875 399949 400273 400306 400345 400388 400435 400485 400806 400855 400894 400937 400984 401034 401348 401377 401412 401451 401517 401566 401843 401907 401937 401972 402011 402054 402101 402391 402451 402479 402512 402549 402590 402635 402684 402933 403001 403030 403063 403100 403141 403186 403235 403464 403527 403554 403585 403620 403659 403702 403749 403799 404018 404049 404076 404107 404142 404181 404224 404271 404321 404509 404537 404562 404591 404624 404661 404702 404747 404796 404916 406715 406715 422289 422373 424310 424436 424606 424697 424894 424931 425157 425215 425472 425509 425552 425841 425878 425921 426198 426284 426346 426393 426749 426786 426829 426876 427144 427228 427268 427337 427387 427710 427745 427786 427831 427880 428169 428262 428301 428344 428391 428441 428762 428793 428830 428871 428940 428990 429304 429333 429368 429407 429450 429497 429547 429863 429893 429928 429967 430010 430057 430107 430395 430435 430468 430505 430546 430591 430640 430889 430945 430971 431019 431056 431097 431142 431191 431420 431472 431496 431541 431576 431615 431658 431705 431755 431974 431993 432018 432063 432098 432137 432180 432227 432277 432465 432482 432505 432532 432580 432617 432658 432703 432752 432872 434686 434686 448497 448623 450560 450686 450856 450947 451144 451181 451407 451444 451652 451740 451802 452091 452128 452171 452448 452534 452574 452619 452932 453036 453079 453126 453476 453560 453600 453645 453694 453989 454087 454128 454173 454222 454511 454587 454623 454664 454733 454783 455104 455135 455172 455213 455258 455307 455592 455675 455710 455749 455792 455839 455889 456192 456219 456270 456309 456352 456399 456449 456737 456762 456793 456847 456888 456933 456982 457231 457287 457313 457344 457379 457439 457484 457533 457762 457814 457838 457867 457900 457937 458000 458047 458097 458316 458335 458360 458389 458422 458459 458522 458569 458619 458807 458824 458847 458874 458905 458940 458979 459045 459094 459214 460882 461042 461042 473281 475170 475297 475439 475608 475751 475860 476086 476123 476331 476419 476459 476701 476788 476828 477127 477213 477253 477298 477611 477696 477736 477781 477830 478239 478279 478324 478373 478760 478840 478878 478921 478993 479293 479369 479405 479446 479491 479540 479829 479901 479954 479995 480040 480089 480374 480442 480474 480511 480574 480621 480671 480974 481001 481034 481071 481112 481157 481231 481519 481544 481575 481610 481649 481692 481739 481789 482069 482095 482126 482161 482200 482243 482290 482340 482586 482620 482649 482682 482719 482760 482805 482854 483059 483107 483142 483171 483204 483241 483282 483327 483376 483553 483597 483629 483656 483687 483722 483761 483804 483851 483876 485697 485837 485837 496380 498332 498459 498601 498770 498913 499003 499177 499266 499306 499563 499600 499643 499950 499990 500035 500357 500394 500437 500484 500840 500898 500943 500992 501383 501420 501463 501510 501560 501985 502040 502083 502130 502180 502618 502651 502690 502733 502805 503106 503178 503212 503251 503294 503341 503391 503705 503751 503788 503829 503874 503923 504200 504264 504294 504348 504389 504434 504483 504748 504808 504836 504869 504906 504969 505016 505066 505335 505358 505387 505420 505457 505498 505567 505617 505863 505884 505911 505942 505977 506016 506059 506131 506336 506384 506406 506433 506464 506499 506538 506581 506653 506830 506874 506894 506919 506948 506981 507018 507059 507128 507153 509006 509126 509126 509126 518164 520101 520227 520397 520488 520685 520722 520948 520985 521193 521281 521343 521632 521669 521712 521989 522075 522115 522160 522473 522576 522620 522667 523017 523101 523141 523186 523235 523622 523720 523761 523806 523855 524258 524334 524370 524411 524456 524530 524978 525009 525046 525087 525132 525181 525479 525562 525597 525636 525679 525726 525776 526079 526106 526157 526196 526239 526286 526336 526624 526649 526680 526715 526775 526820 526869 527118 527174 527200 527231 527266 527305 527371 527420 527649 527701 527725 527754 527787 527824 527865 527934 527984 528203 528222 528247 528276 528309 528346 528387 528456 528506 528694 528711 528734 528761 528792 528827 528866 528932 528981 529101 530865 530965 530965 530965 538458 540395 540521 540691 540782 540997 541171 541260 541300 541557 541594 541637 541926 541963 542028 542351 542388 542431 542478 542834 542871 542914 542961 543311 543414 543457 543504 543554 543979 544014 544055 544100 544174 544612 544645 544684 544727 544774 544824 545272 545321 545360 545403 545450 545500 545955 545984 546019 546058 546124 546173 546464 546528 546558 546593 546632 546675 546722 547012 547072 547100 547133 547170 547211 547256 547305 547554 547622 547651 547684 547721 547762 547807 547856 548085 548148 548175 548206 548241 548280 548323 548370 548420 548639 548670 548697 548728 548763 548802 548845 548892 548942 549130 549158 549183 549212 549245 549282 549323 549368 549417 549537 551411 551411 551411 551411 557403 559340 559466 559636 559852 559942 560116 560205 560245 560502 560539 560582 560871 560929 560974 561296 561333 561376 561423 561779 561816 561859 561931 562322 562359 562402 562449 562499 562924 562959 563000 563069 563119 563557 563590 563629 563672 563719 563769 564232 564266 564305 564348 564395 564445 564900 564929 564964 565024 565069 565118 565551 565615 565645 565680 565719 565785 565834 566114 566174 566202 566235 566272 566313 566358 566432 566701 566724 566753 566786 566823 566864 566909 566958 567229 567250 567277 567308 567343 567382 567425 567472 567522 567750 567772 567799 567830 567865 567904 567947 567994 568044 568240 568260 568285 568314 568347 568384 568425 568470 568519 568639 570522 570522 570522 570522 575057 576994 577120 577290 577381 577578 577615 577841 577899 578156 578193 578236 578525 578562 578605 578882 578968 579029 579077 579433 579470 579513 579560 579910 579994 580034 580103 580153 580578 580613 580654 580699 580748 581151 581227 581283 581326 581373 581423 581871 581902 581939 581980 582049 582099 582554 582583 582618 582657 582700 582747 582797 583269 583299 583334 583373 583416 583463 583513 583973 584013 584046 584083 584124 584169 584218 584483 584539 584565 584613 584650 584691 584736 584785 585014 585066 585090 585119 585170 585209 585252 585299 585349 585568 585587 585612 585641 585692 585731 585774 585821 585871 586059 586076 586099 586126 586174 586211 586252 586297 586346 586466 588317 588357 588357 588357 588357 593347 593474 593616 593785 593928 594018 594192 594281 594321 594596 594636 594878 594965 595005 595050 595372 595409 595452 595788 595873 595913 595958 596007 596398 596435 596478 596525 596937 597017 597055 597098 597145 597195 597633 597666 597726 597771 597820 598236 598308 598342 598381 598424 598471 598922 598990 599022 599059 599100 599145 599194 599627 599705 599738 599775 599816 599861 599910 600347 600407 600435 600486 600525 600568 600615 600665 601123 601146 601175 601208 601265 601308 601355 601405 601668 601689 601716 601747 601801 601842 601887 601936 602141 602189 602211 602238 602269 602304 602364 602409 602458 602635 602679 602699 602724 602753 602786 602843 602886 602933 602958 604956 604976 604976 604976 604976 604976 608597 608724 608866 609035 609178 609268 609442 609531 609758 609846 609886 610128 610215 610255 610300 610622 610659 610725 611038 611123 611163 611208 611257 611648 611685 611728 611800 612187 612267 612305 612348 612395 612445 612883 612935 612976 613021 613070 613486 613558 613592 613631 613697 613746 614172 614240 614272 614309 614350 614395 614444 614928 614955 614988 615025 615066 615111 615160 615597 615657 615701 615736 615775 615818 615865 615915 616373 616396 616441 616476 616515 616558 616605 616655 617108 617129 617156 617204 617241 617282 617327 617376 617599 617647 617669 617696 617744 617781 617822 617867 617916 618093 618137 618157 618182 618227 618262 618301 618344 618391 618416 620440 622098 624035 624161 624331 624422 624619 624656 624882 624940 625197 625234 625277 625566 625603 625646 625923 626009 626071 626118 626474 626511 626554 626601 626951 627035 627075 627144 627194 627619 627654 627695 627740 627789 628192 628285 628324 628367 628414 628464 628912 628943 628980 629043 629090 629140 629595 629624 629659 629698 629741 629788 630246 630310 630340 630375 630414 630457 630504 630554 631014 631054 631087 631124 631165 631210 631259 631697 631753 631794 631827 631864 631905 631950 631999 632435 632487 632511 632556 632591 632630 632673 632720 632770 633215 633234 633259 633304 633339 633378 633421 633468 633518 633725 633742 633765 633807 633840 633877 633918 633963 634012 634132 636061
iterations count:2056208 (2124), effective:6055 (6)

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-V20P10N20"
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-V20P10N20.tgz
mv BridgeAndVehicles-COL-V20P10N20 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-V20P10N20, 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-143330904500050"
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 ;