fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r173kn-ebro-146433144900135
Last Updated
June 30, 2016

About the Execution of Marcie for S_BridgeAndVehicles-COL-V20P20N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9233.520 3600000.00 3600596.00 79.10 F???T?T????????? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is S_BridgeAndVehicles-COL-V20P20N20, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r173kn-ebro-146433144900135
=====================================================================


--------------------
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-ReachabilityFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-9

=== Now, execution of the tool begins

BK_START 1464785286509


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=ReachabilityFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=78|T|=968|A|=7350
Time for unfolding: 0m 2.406sec

Net: pnml4307959554366864385
(NrP: 78 NrTr: 968 NrArc: 7350)

net check time: 0m 0.001sec

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

init dd package: 0m 9.681sec


RS generation: 19m 7.594sec


-> reachability set: #nodes 2128736 (2.1e+06) #states 9,783,606 (6)



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

checking: AG [~ [[IS_FIREABLE [altern_cpt_20_0] | IS_FIREABLE [altern_cpt_20_1]]]]
normalized: ~ [E [true U [IS_FIREABLE [altern_cpt_20_0] | IS_FIREABLE [altern_cpt_20_1]]]]

-> the formula is FALSE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-0 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 4m 7.119sec

checking: EF [[IS_FIREABLE [altern_cpt_20_0] | IS_FIREABLE [altern_cpt_20_1]]]
normalized: E [true U [IS_FIREABLE [altern_cpt_20_0] | IS_FIREABLE [altern_cpt_20_1]]]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-12 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 2m34.288sec

checking: EF [[IS_FIREABLE [altern_cpt_20_0] | IS_FIREABLE [altern_cpt_20_1]]]
normalized: E [true U [IS_FIREABLE [altern_cpt_20_0] | IS_FIREABLE [altern_cpt_20_1]]]

-> the formula is TRUE

FORMULA BridgeAndVehicles-COL-V20P20N20-ReachabilityFireability-14 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 2m34.368sec

checking: AG [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]]]
normalized: ~ [E [true U ~ [[IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]


BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.004sec

230 2933 5550 8196 9788 12474 15138 17762 20328 22818 25214 27498 29652 31658 33498 35154 36608 37842 38844 39602 40098 44705 44999 45440 45734 46028 46322 46616 46910 47204 47498 47719 47731 47742 47754 47781 47811 47829 47847 47886 47928 47952 48001 48027 48082 48140 48172 48237 48306 48342 48417 48496 48579 48666 48757 48859 49347 49346 49348 49361 49355 49357 49362 49382 49370 49375 49377 49403 49385 49390 49395 49397 49402 49438 49410 49415 49420 49425 49430 49435 49437 49445 92624 92744 92864 92944 93040 93104 93184 93264 93324 93515 96726 101436 104782 110356 118004 126374 135306 144640 154216 163874 173454 182796 191740 200126 207794 214584 220336 224890 228086 229764 520788 521187 521814 522669 524379 525804 527457 529338 531447 533784 535101 535117 535132 535150 535189 535200 535231 535246 535282 535309 535312 535324 535346 535378 535397 535392 535407 535414 535426 535436 535444 535450 535454 535477 535669 535767 535774 535790 535831 535828 535849 535859 535897 535879 535888 535892 535895 535929 535891 535884 535873 535867 535850 535829 535804 535831 535801 535723 535705 535705 559579 558684 558115 557629 557326 557122 557011 556946 556963 556374 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 556528 562765 562480 561967 561226 560257 558376 556837 555070 553075 550852 550911 550985 550992 551005 551039 551038 551055 551062 551090 551099 551082 551083 551082 551102 551095 551062 551047 551038 551017 550992 550963 550930 550934 550895 547360 548638 549487 549988 550482 550816 551014 551212 551284 551930 552842 553070 553260 553412 553526 553602 553640 553640 553602 553526 553412 553260 553070 552842 551930 551930 572833 572563 572077 571375 570457 569323 567973 566407 564625 562627 562683 562756 562770 562803 562819 562855 562863 562890 562903 562936 562938 562959 562969 562987 563003 563031 563023 563034 563043 563047 563053 563057 563059 570296 570476 570602 570743 570845 570947 571049 571100 571370 572180 572378 572540 572666 572756 572810 572828 572810 572756 572666 572540 572378 572180 571946 571676 573308 583547 583088 582425 581558 580487 579212 577733 576050 575166 575183 575251 575287 575298 575327 575341 575374 575379 575402 575413 575433 575462 575459 575474 575481 575493 575503 575527 575514 575519 575522 581451 581643 581787 581901 582027 582123 582213 582267 582505 583219 583389 583525 583627 583695 583729 583729 583695 583627 583525 583389 583219 582505 582505 593118 592878 592446 591822 591006 589998 588798 587406 585822 585872 585937 585949 585978 585992 586024 586030 586053 586064 586093 586093 586110 586118 586132 586157 586168 586158 586165 586170 586172 586174 591178 591319 591433 591544 591634 591724 591529 591977 591977 592745 592857 592937 592985 591977 591977 591977 591977 591977 591977 591977 591977 600952 600727 600322 599737 598972 598027 596902 595597 594907 594985 594996 595010 595041 595048 595071 595082 595110 595111 595128 595136 595150 595174 595167 595176 595183 595186 595190 595192 599231 599357 599483 599567 599651 599735 599567 599957 599957 599957 599957 599957 599957 599957 599957 599957 600122 600347 600167 601259 607382 607088 606626 605996 605198 604232 603098 602496 602510 602566 602592 602621 602627 602638 602658 602684 602684 602692 602706 602729 602723 602732 602739 602742 602746 602748 605976 606102 606210 606297 606375 606453 606607 607069 607167 607237 607279 607293 607279 607237 607167 607069 606943 606607 612813 612618 612267 611760 611097 610278 609303 608783 608796 608848 608876 608883 608904 608914 608939 608940 608955 608962 608974 608995 608988 608995 608998 609002 609004 611554 611662 611755 611842 611914 611794 612080 612080 612080 612080 612080 612080 612080 612080 612080 612080 613028 617065 616813 616417 615877 615193 614365 613921 613933 613981 614007 614013 614032 614041 614064 614064 614077 614083 614093 614112 614104 614109 614111 614113 616082 616181 616280 616346 616412 616520 616844 616904 616940 616952 616940 616904 616844 616520 616520 620573 620408 620111 619682 619121 618428 618054 618065 618109 618133 618152 618155 618163 618184 618183 618194 618199 618207 618224 618215 618218 618219 619734 619821 619884 619944 619864 620062 620062 620062 620062 620370 620326 620260 620172 620712 623187 622977 622647 622197 621627 621317 621327 621376 621385 621406 621408 621415 621427 621445 621441 621445 621451 621466 621469 622492 622597 622654 622723 622672 622832 622832 622832 622832 622832 622832 622832 622832 625276 625141 624898 624547 623818 623847 623884 623889 623897 623916 623917 623928 623933 623949 623944 623949 623951 623953 624725 624773 624845 624893 624947 625109 625127 625127 625109 624947 624947 626768 626648 626432 626120 625712 625738 625771 625775 625782 625794 625810 625808 625812 625818 625831 625823 626307 626370 626412 626475 626515 626635 626643 626635 626611 626571 626823 627780 627633 627402 627087 627108 627136 627152 627153 627158 627166 627179 627174 627176 627178 627499 627553 627589 627635 627719 627719 627705 627677 627857 628492 628366 628168 628054 628060 628089 628094 628107 628105 628108 628112 628122 628289 628334 628364 628397 628451 628445 628427 628547 628937 628832 628667 628684 628705 628706 628713 628716 628726 628721 628812 628836 628872 628882 628912 628902 628974 629187 629103 629051 629055 629071 629077 629086 629082 629083 629140 629158 629162 629174 629210 629305 629242 629251 629263 629271 629268 629269 629294 629294 629300 629357 629327 629335 629344 629342 629346 629352 629352 629344 629416 629435 629357 629349 629344 629469 629344 629344 629344 629493 629344 629344 629344 629344 629497 629344 629344 629344 629344 629344 629344 629344 629344 629344 629347 626726 625552 625441 625341 625256 625182 625108 625037 625492 625608 625982 626054 626099 626120 626120 626102 626069 626024 625970 625910 625847 625784 625724 625670 625625 625592 625073 628422 628075 627598 627037 626440 625582 625105 624760 624595 624645 624662 624592 624588 624680 624574 624568 624568 624702 624707 624568 624568 624568 624710 624707 624568 624568 624568 624568 624568 624568 624568 624630 624611 619911 619781 619681 619617 619523 619457 619395 619801 619873 620188 620237 620263 620269 620258 620233 620197 620153 620104 620053 620003 619957 619873 619873 622086 621848 621485 621038 620555 620084 619673 619370 619223 619267 619282 619220 619212 619207 619300 619190 619183 619183 619312 619183 619183 619183 619183 619308 619302 619183 619183 619183 619183 619183 619183 619183 615202 615090 615006 614950 614876 614816 615125 615174 615408 615438 615449 615444 615426 615398 615363 615174 615174 615174 615174 615174 616606 616398 616089 615720 615339 614994 614733 614604 614642 614604 614661 614593 614588 614667 614571 614557 614549 614549 614669 614549 614549 614549 614549 614653 614549 614549 614549 614549 614549 614549 611207 611117 611057 610991 610943 611153 611183 611348 611363 611363 611351 611330 611303 611273 611183 611183 611183 612026 611848 611593 611302 611023 610804 610693 610725 610736 610690 610682 610677 610742 610660 610646 610638 610730 610621 610621 610621 610621 610621 610710 610621 610621 610621 610621 610621 607901 607829 607781 607721 607681 607771 607861 607861 607861 607861 607861 607909 607888 607871 607653 608218 608039 607826 607625 607484 607467 607451 607451 607444 607488 607430 607424 607411 607476 607388 607379 607360 607455 607360 607360 607360 607360 607360 607360 607395 605255 605191 605143 605095 605063 605119 605175 605175 605225 605211 605196 605183 605009 605267 605130 604983 604872 604857 604845 604845 604838 604870 604824 604818 604805 604852 604782 604773 604754 604816 604733 604733 604733 604733 604733 604733 603158 603122 603086 603050 603101 603098 603128 603098 603098 603098 603086 602998 602905 602848 602862 602867 602845 602841 602832 602855 602815 602808 602793 602825 602767 602747 602736 602713 602768 602713 602713 601681 601641 601617 601593 601615 601609 601618 601613 601527 601507 601454 601443 601450 601436 601432 601440 601418 601406 601399 601410 601376 601358 601348 601327 601342 601292 601279 600733 600717 600705 600693 600698 600693 600653 600614 600619 600640 600598 600594 600644 600580 600568 600561 600635 600538 600520 600510 600489 600595 600454 600428 600414 600414 600414 600414 600414 600513 600414 600414 600414 600414 598970 598736 598564 598387 598253 598119 597985 597917 598061 598221 598253 598274 598281 598281 598269 598254 598229 598205 598173 598146 598113 598089 598061 598029 597597 597466 597263 597011 596732 596450 596189 595973 595826 595786 595772 595772 595772 595819 595772 595772 595835 595843 595772 595772 595772 595867 595772 595772 595772 595772 595772 595772 595879 595772 595772 595772 595772 592286 592256 592202 592164 592132 592104 592076 592076 592174 592174 592174 592174 592174 592174 592174 592174 592174 592174 592174 592188 592036 592960 592823 592643 592442 592244 592073 591953 591920 591908 591908 591935 591933 591887 591881 591923 591861 591845 591836 591817 591879 591785 591761 591748 591721 591692 591793 591781 591692 591692 591692 588853 588811 588775 588739 588703 588679 588679 588739 588739 588739 588739 588739 588739 588739 588739 588739 588739 589071 588923 588791 588656 588542 588473 588487 588492 588473 588473 588473 588507 588473 588473 588473 588522 588473 588473 588473 588473 588542 588473 588473 588473 588473 588473 588473 588473 586653 586621 586597 586573 586557 586557 586589 586589 586589 586589 586603 586597 586491 586645 586571 586490 586424 586403 586397 586397 586409 586404 586376 586370 586388 586350 586334 586325 586306 586332 586274 586250 586237 586210 586181 586217 586203 586150 584806 584776 584758 584740 584728 584728 584752 584748 584745 584662 584653 584609 584576 584581 584583 584576 584576 584576 584589 584576 584576 584576 584595 584576 584576 584576 584576 584603 584576 584576 584576 584576 584576 584161 584155 584149 584143 584143 584145 584104 584087 584099 584079 584106 584068 584063 584100 584046 584032 584024 584007 584064 583978 583956 583944 583919 583996 583878 583848 583816 583799 583799 583799 583799 583799 583802 583212 582986 582812 582638 582522 582406 582290 582321 582258 582348 582368 582378 582384 582382 582372 582363 582348 582327 582312 582293 582270 582258 582244 581154 581206 581101 580952 580691 580502 580352 580223 580124 580138 580143 580124 580124 580153 580158 580124 580124 580124 580173 580124 580124 580124 580124 580193 580124 580124 580124 580124 580124 580124 580124 580124 580167 577820 577788 577758 577740 577716 577700 577700 577752 577752 577752 577752 577752 577752 577752 577752 577752 577752 577752 578094 577984 577885 577774 577660 577591 577558 577552 577552 577571 577552 577552 577552 577583 577552 577552 577552 577552 577599 577552 577552 577552 577552 577552 577619 577552 577552 577552 577552 575965 575935 575911 575893 575875 575914 575893 575920 575921 575918 575911 575907 575901 575807 575914 575831 575774 575723 575731 575734 575720 575716 575724 575716 575690 575683 575668 575680 575642 575632 575611 575588 575604 575550 575522 575492 575476 575443 575408 575408 574289 574269 574257 574245 574256 574247 574253 574251 574187 574155 574134 574113 574124 574105 574105 574134 574105 574105 574105 574149 574105 574105 574105 574105 574169 574105 574105 574105 574105 574105 574105 574199 574204 574105 574105 574105 574105 574174 574012 573859 573706 573604 573502 573499 573455 573511 573523 573532 573535 573532 573523 573517 573507 573493 573475 573466 573455 573442 572446 572258 572172 572073 571938 571824 571647 571560 571518 571512 571512 571531 571512 571512 571512 571543 571512 571512 571512 571555 571512 571512 571512 571512 571512 571575 571512 571512 571512 571512 571512 571512 571512 569706 569682 569664 569652 569634 569634 569664 569664 569664 569664 569664 569664 569664 569664 569664 569779 569732 569678 569576 569519 569490 569486 569486 569493 569475 569470 569459 569469 569439 569431 569414 569427 569385 569363 569351 569326 569299 569317 569255 569223 569189 569153 569134 569134 567869 567853 567841 567833 567847 567837 567837 567837 567837 567772 567746 567719 567691 567685 567685 567704 567708 567685 567685 567716 567685 567685 567685 567685 567732 567685 567685 567685 567685 567685 567685 567756 567685 567685 567685 567685 567685 567685 568142 567958 567820 567682 567590 567498 567477 567444 567481 567490 567493 567496 567495 567490 567481 567468 567462 567454 567444 567432 565660 566174 566091 566013 565911 565818 565743 565656 565664 565667 565656 565656 565656 565676 565656 565656 565656 565685 565656 565656 565656 565656 565697 565656 565656 565656 565656 565656 565656 565656 565656 565656 564404 564386 564374 564362 564350 564350 564368 564368 564368 564368 564368 564368 564368 564397 564367 564326 564263 564238 564236 564236 564245 564236 564236 564236 564251 564236 564236 564236 564257 564236 564236 564236 564236 564236 564267 564236 564236 564236 564236 564236 564236 563655 563647 563641 563635 563635 563637 563584 563567 563564 563568 563550 563546 563537 563553 563520 563513 563498 563520 563472 563452 563441 563418 563448 563380 563352 563322 563306 563273 563238 563201 563162 563162 563165 563420 563187 563035 562906 562820 562697 562661 562624 562638 562640 562648 562662 562664 562656 562653 562648 562641 562632 562621 561759 561346 561304 561238 561146 561089 561020 560939 560939 560939 560948 560939 560939 560939 560954 560939 560939 560939 560960 560939 560939 560939 560939 560939 560970 560939 560939 560939 560939 560939 560939 560939 560274 560266 560260 560254 560270 560262 560274 560274 560272 560268 560226 560265 560244 560188 560180 560183 560172 560172 560189 560172 560172 560172 560198 560172 560172 560172 560172 560210 560172 560172 560172 560172 560172 560172 560172 560172 560234 560172 560172 560172 560790 560638 560524 560448 560334 560299 560278 560295 560300 560301 560298 560298 560296 560292 560286 560278 560268 559496 559090 559048 558980 558908 558845 558770 558775 558777 558770 558770 558781 558770 558770 558770 558787 558789 558770 558770 558770 558795 558797 558770 558770 558770 558770 558770 558770 558770 558811 558813 558121 558111 558105 558099 558095 558101 558107 558105 558065 558065 558044 558015 558011 558011 558025 558011 558011 558011 558034 558011 558011 558011 558011 558046 558011 558011 558011 558011 558011 558061 558064 558011 558011 558011 558011 558011 558011 558506 558366 558261 558156 558086 558017 557992 558003 558008 558011 558012 558011 558008 558003 557996 557987 557273 556849 556805 556772 556727 556670 556601 556601 556601 556610 556601 556601 556601 556616 556601 556601 556601 556622 556601 556601 556601 556601 556601 556632 556601 556601 556601 556601 556601 556601 556601 555960 555950 555944 555940 555938 555940 555883 555866 555858 555861 555847 555843 555851 555843 555817 555810 555795 555807 555769 555759 555738 555715 555731 555677 555649 555619 555603 555570 555535 555498 555459 555418 555463 554953 555501 555373 555277 555213 555117 555077 555077 555077 555077 555077 555077 555077 555077 555077 555077 554015 553977 553944 553899 553842 553791 553789 553789 553798 553789 553789 553789 553804 553789 553789 553789 553810 553812 553789 553789 553789 553789 553820 553822 553789 553789 553789 553789 553789 553789 553789 554584 554473 554365 554284 554230 554194 554183 554188 554191 554192 554191 554167 554167 554167 553256 553241 553214 553175 553124 553076 553074 553074 553074 553085 553074 553074 553089 553091 553074 553074 553074 553097 553074 553074 553074 553074 553074 553074 553109 553074 553074 553074 553074 553074 553074 553677 553581 553485 553437 553365 553333 553333 553333 553333 553333 553333 553333 553333 552511 552484 552451 552406 552361 552359 552359 552368 552359 552359 552359 552374 552359 552359 552359 552380 552382 552359 552359 552359 552359 552390 552392 552359 552359 552359 552359 552359 552359 552359 552821 552716 552647 552590 552527 552499 552499 552499 552499 552499 552499 552499 551769 551754 551709 551662 551649 551651 551644 551644 551655 551644 551644 551644 551661 551644 551644 551644 551644 551669 551644 551644 551644 551644 551644 551644 551644 551644 551685 551687 551644 551644 551887 551815 551761 551707 551683 551675 551677 551677 551675 551671 551299 551015 550988 550947 550934 550936 550929 550929 550940 550929 550929 550929 550946 550948 550929 550929 550929 550954 550956 550929 550929 550929 550929 550929 550929 550929 550929 550972 550974 550929 551016 550956 550911 550866 550846 550839 550840 550831 550831 550294 550279 550252 550216 550214 550214 550223 550214 550214 550214 550229 550214 550214 550214 550214 550237 550214 550214 550214 550214 550214 550247 550214 550214 550214 550214 550214 550214 550214 550169 550109 550073 550037 550009 550003 550003 550001 549753 549555 549534 549501 549499 549499 549499 549510 549499 549499 549499 549516 549499 549499 549499 549522 549499 549499 549499 549499 549499 549499 549534 549499 549499 549499 549499 549499 549499 549283 549238 549211 549184 549172 549167 549166 548980 548825 548802 548789 548784 548793 548784 548784 548797 548799 548784 548784 548784 548805 548784 548784 548784 548784 548813 548815 548784 548784 548784 548784 548784 548784 548784 548787 548421 548391 548367 548349 548337 548329 548329 548098 548071 548069 548069 548078 548069 548069 548069 548084 548069 548069 548069 548090 548069 548069 548069 548069 548069 548100 548069 548069 548069 548069 548069 548069 548069 548072 547541 547523 547514 547505 547498 547436 547372 1269109 1768629 1965495 2055174 2128736
iterations count:2542360 (2626), effective:19691 (20)

initing FirstDep: 0m 0.002sec

20471 24053 27555 30977 34319 37259 40439 42449 45511 46887 49829 52691 55139 56959 58175 60797 62999 64705 67127 68183 70139 71731 72707 74499 74839 101553 101658 101721 101784 102137 104510 125436 162941 202132 240978 265435 306535 341223 384169 405866 427727 472075 492390 512873 548969 587381 606482 625663 671483 689034 706753 724556 762618 795544 811881 828302 844803 890319 905106 920061 935100 957812 1002510 1015915 1029488 1043145 1056886 1070707 1114143 1132251 1144484 1156801 1169202 1181683 1223413 1234054 1244863 1261234 1272253 1283356 1318563 1333134 1342477 1351946 1361499 1375986 1385749 1419053 1431572 1439533 1447620 1455791 1464046 1476586 1485047 1518995 1525490 1532153 1538900 1545731 1552646 1559645 1570297 1600763 1605876 1611157 1616522 1621971 1627504 1633121 1638822 1666635 1672998 1676813 1680754 1684779 1688888 1693081 1697358 1703931 1725183 1729494 1731927 1734486 1737129 1739856 1742667 1745562 1750062 1752990 2038897 2050252 2050312 2050342 2050351 2050356 2051151 2061455 2061497 2061518 2061530 2061533 2062327 2071621 2071655 2071666 2071675 2071676 2080741 2080796 2080817 2080829 2080831 2081626 2088995 2089029 2089044 2089049 2089050 2096314 2096352 2096370 2096377 2096380 2097174 2102837 2102863 2102870 2102873 2103667 2108553 2108571 2108578 2108581 2109375 2113536 2113551 2113556 2113557 2117819 2117840 2117852 2117854 2118649 2121515 2121524 2121529 2122324 2124623 2124632 2124637 2125432 2127226 2127233 2127236 2128030 2129376 2129381 2130176 2131129 2131134 2131929 2132552 2132555 2133349 2133699 2134494 2134636 2135408
iterations count:209618 (216), effective:941 (0)
20471 24053 27555 30977 34319 37259 40439 42449 45511 46887 49829 52691 55139 56959 58175 60797 62999 64705 67127 68183 70139 71731 72707 74499 74839 101553 101658 101721 101784 102137 104510 125436 162941 202132 240978 265435 306535 341223 384169 405866 427727 472075 492390 512873 548969 587381 606482 625663 671483 689034 706753 724556 762618 795544 811881 828302 844803 890319 905106 920061 935100 957812 1002510 1015915 1029488 1043145 1056886 1070707 1114143 1132251 1144484 1156801 1169202 1181683 1223413 1234054 1244863 1261234 1272253 1283356 1318563 1333134 1342477 1351946 1361499 1375986 1385749 1419053 1431572 1439533 1447620 1455791 1464046 1476586 1485047 1518995 1525490 1532153 1538900 1545731 1552646 1559645 1570297 1600763 1605876 1611157 1616522 1621971 1627504 1633121 1638822 1666635 1672998 1676813 1680754 1684779 1688888 1693081 1697358 1703931 1725183 1729494 1731927 1734486 1737129 1739856 1742667 1745562 1750062 1752990 2038897 2050252 2050312 2050342 2050351 2050356 2051151 2061455 2061497 2061518 2061530 2061533 2062327 2071621 2071655 2071666 2071675 2071676 2080741 2080796 2080817 2080829 2080831 2081626 2088995 2089029 2089044 2089049 2089050 2096314 2096352 2096370 2096377 2096380 2097174 2102837 2102863 2102870 2102873 2103667 2108553 2108571 2108578 2108581 2109375 2113536 2113551 2113556 2113557 2117819 2117840 2117852 2117854 2118649 2121515 2121524 2121529 2122324 2124623 2124632 2124637 2125432 2127226 2127233 2127236 2128030 2129376 2129381 2130176 2131129 2131134 2131929 2132552 2132555 2133349 2133699 2134494 2134636 2135408
iterations count:209618 (216), effective:941 (0)
20471 24053 27555 30977 34319 37259 40439 42449 45511 46887 49829 52691 55139 56959 58175 60797 62999 64705 67127 68183 70139 71731 72707 74499 74839 101553 101658 101721 101784 102137 104510 125436 162941 202132 240978 265435 306535 341223 384169 405866 427727 472075 492390 512873 548969 587381 606482 625663 671483 689034 706753 724556 762618 795544 811881 828302 844803 890319 905106 920061 935100 957812 1002510 1015915 1029488 1043145 1056886 1070707 1114143 1132251 1144484 1156801 1169202 1181683 1223413 1234054 1244863 1261234 1272253 1283356 1318563 1333134 1342477 1351946 1361499 1375986 1385749 1419053 1431572 1439533 1447620 1455791 1464046 1476586 1485047 1518995 1525490 1532153 1538900 1545731 1552646 1559645 1570297 1600763 1605876 1611157 1616522 1621971 1627504 1633121 1638822 1666635 1672998 1676813 1680754 1684779 1688888 1693081 1697358 1703931 1725183 1729494 1731927 1734486 1737129 1739856 1742667 1745562 1750062 1752990 2038897 2050252 2050312 2050342 2050351 2050356 2051151 2061455 2061497 2061518 2061530 2061533 2062327 2071621 2071655 2071666 2071675 2071676 2080741 2080796 2080817 2080829 2080831 2081626 2088995 2089029 2089044 2089049 2089050 2096314 2096352 2096370 2096377 2096380 2097174 2102837 2102863 2102870 2102873 2103667 2108553 2108571 2108578 2108581 2109375 2113536 2113551 2113556 2113557 2117819 2117840 2117852 2117854 2118649 2121515 2121524 2121529 2122324 2124623 2124632 2124637 2125432 2127226 2127233 2127236 2128030 2129376 2129381 2130176 2131129 2131134 2131929 2132552 2132555 2133349 2133699 2134494 2134636 2135408
iterations count:209618 (216), effective:941 (0)
400858 400601 400441 400321 400201 400121 404347 404147 403987 403867 403787 405586 407689 407529 407409 407289 407229 408986 410947 410787 410667 410587 410507 414241 414081 413921 413841 413721 417348 417171 417051 416931 416871 418442 420177 420017 419897 419837 421346 422979 422859 422739 422679 424126 425657 425537 425417 425337 428308 428171 428051 427991 429314 430681 430561 430461 431722 432987 432907 432807 434006 435169 435089 434969 437284 437187 437127 438202 439161 439101 440114 440971 440891 442714 442617 444276 444219 445594 445560 485601 519018 518784 518667 518550 518452 554079 557322 563250 570024 575337 581880 587877 594042 598080 608457 612315 619356 624765 628371 631905 640929 644283 649314 656967 661620 664722 667824 670854 680022 682872 687147 689997 697830 701727 704325 706923 709521 712047 722100 724446 726792 729138 731484 739065 742206 744300 747441 749535 751629 758922 761685 763527 765369 767211 769974 771744 779382 780972 782562 784152 785742 787332 789645 796653 797991 799329 800667 802005 803343 804681 805947 812760 813846 814932 816018 817104 818190 819276 820290 826131 826965 827799 828633 829467 830301 831135 831969 836202 837366 837948 838530 839112 839694 840276 840858 841440 844939 845275 845611 845947 846283 846619 846955 847291 847627 847804 898587 898519 898283 898096 898013 897945 897571 897503 897469 897369 896961 896927 897029 896961 896827 896759 896419 896317 896283 896249 896183 896115 895792 895673 895639 895605 895571 895537 895437 895029 894995 895199 895131 895063 894859 894825 894725 894317 894283 894521 894453 894385 894317 894249 894181 893979 893571 893537 893809 893741 893673 893605 893537 893469 893401 893267 893199 892944 892757 892995 892927 892859 892791 892723 892655 892587 892453 892385 892147 891943 891909 891875 892079 892011 891943 891875 891807 891739 891605 891537 891316 891095 891061 891027 891265 891197 891129 891061 890993 890925 890857 890723 890655 890451 890213 890179 890145 890417 890349 890281 890213 890145 890077 890009 889941 889807 889739 889552 889297 889263 889603 889535 889467 889399 889331 889263 889195 889127 889059 888991 888857 888381 888619 888823 888755 888687 888619 888551 888483 888415 888347 888279 888211 888143 887939 887905 887805 887397 887363 887873 887805 887737 887669 887601 887533 887465 887397 887329 887023 886989 886955 886921 886887 886787 886379 886345 886889 886821 886753 886685 886617 886549 886107 886073 886039 886005 885971 885937 885903 885869 885835 885735 885327 885293 885871 885803 885735 885157 885123 885089 885055 885021 884987 884953 884919 884885 884851 884817 884851 884717 884649 884547 884207 884173 884139 884105 884071 884037 884003 883969 883935 883901 883867 884071 884003 883935 883867 883799 883731 883597 883529 883087 883053 882866 882781 882747 882577 882526 882441 882407 882254 882203 882152 882033 881829 881795 881761 881727 881693 881625 881421 881387 881353 881319 881285 881251 881183 880979 880945 880911 880928 880877 880826 880741 880707 880622 880571 880520 880469 880418 880367 880316 880197 879993 879959 879925 879891 879857 879823 879789 879755 879721 879653 879449 879415 879381 879347 879398 879347 879296 879245 879194 879109 879075 879041 878990 878939 878888 878837 878786 878633 878599 878565 878531 878463 878259 878225 878191 878157 878123 878089 878055 878089 878038 877987 877936 877851 877817 877817 877766 877715 877664 877613 877562 877511 877460 877307 877273 877239 877205 877137 876933 876899 876865 876831 876797 876763 876729 876695 876746 876695 876644 876593 876542 876457 876423 876457 876406 876355 876304 876253 876202 876151 875947 875913 875879 875845 875811 875777 875743 875675 875471 875437 875403 875369 875335 875301 875420 875369 875318 875267 875216 875165 875114 875063 875012 874927 874893 874961 874910 874859 874808 874519 874485 874451 874417 874383 874349 874315 874281 874247 874213 874179 874111 874077 873873 874111 874060 874009 873958 873907 873856 873805 873754 873703 873652 873601 873550 873397 873363 873329 873295 873227 873023 872989 872955 872921 872887 872853 872819 872785 872751 872717 872819 872768 872717 872666 872615 872564 872513 872462 872377 872343 891141 890946 890829 890712 890614 924261 925638 927287 929225 930789 932574 934359 936042 938575 940156 941210 943335 944814 945800 946752 949455 950832 951750 954079 955354 956204 957054 957870 960641 961814 962596 963378 965775 966846 967560 968274 968988 971725 972694 973340 973986 974632 975278 977607 978474 979341 979919 980497 981075 983319 984084 984594 985104 985869 986379 986855 989201 989643 990085 990527 990969 991632 992040 994199 994573 994947 995321 995695 996069 996630 998415 998874 999180 999486 999792 1000098 1000404 1000710 1002427 1002784 1003022 1003260 1003498 1003736 1003974 1004212 1004535 1005929 1006099 1006269 1006439 1006609 1006779 1006949 1007119 1007292 1008365 1008469 1008573 1008677 1008781 1008885 1008989 1009093 1009249 1012894 1024252 1024188 1024004 1023972 1023908 1023724 1023692 1023628 1023596 1023460 1023412 1023364 1023284 1023252 1023132 1023084 1023036 1022988 1022908 1022876 1022772 1022724 1022676 1022628 1022580 1022468 1022284 1022252 1022220 1022188 1022156 1022124 1022092 1022028 1021844 1021812 1021780 1021748 1021716 1021684 1021668 1021588 1021556 1021500 1021452 1021404 1021356 1021308 1021260 1021212 1021164 1021084 1021052 1021012 1020964 1020916 1020740 1020708 1020676 1020644 1020612 1020580 1020516 1020332 1020300 1020268 1020236 1020204 1020172 1020204 1020156 1020108 1020060 1019980 1019948 1019940 1019892 1019844 1019796 1019748 1019700 1019652 1019508 1019476 1019444 1019412 1019348 1019164 1019132 1019100 1019068 1019036 1019004 1018972 1018940 1018908 1018924 1018876 1018828 1018748 1018716 1018740 1018692 1018644 1018596 1018548 1018500 1018452 1018404 1018356 1018212 1018180 1018148 1018116 1018052 1017868 1017836 1017804 1017772 1017740 1017708 1017676 1017644 1017612 1017660 1017612 1017564 1017516 1017468 1017388 1017356 1017412 1017364 1017316 1017268 1017220 1017172 1017124 1017076 1016884 1016852 1016820 1016788 1016756 1016724 1016692 1016628 1016444 1016412 1016380 1016348 1016316 1016284 1016252 1016364 1016316 1016268 1016220 1016172 1016124 1016076 1016028 1015980 1015900 1015868 1015956 1015908 1015860 1015812 1015764 1015492 1015460 1015428 1015396 1015364 1015332 1015300 1015268 1015236 1015204 1015172 1015108 1015076 1014892 1014860 1015084 1015036 1014988 1014940 1014892 1014844 1014796 1014748 1014700 1014652 1014604 1014556 1014412 1014380 1014348 1014316 1014252 1014068 1031409 1031253 1031097 1031019 1030901 1063299 1064259 1066115 1067859 1069891 1070979 1073187 1074243 1076099 1078083 1079043 1081507 1082435 1083363 1085475 1086771 1087635 1088899 1091491 1092291 1093091 1093891 1096131 1097235 1098339 1099075 1099779 1102371 1103043 1103715 1104387 1105059 1107299 1108515 1109123 1109731 1110339 1110915 1113379 1113923 1114739 1115283 1115827 1116339 1118691 1119171 1119651 1120131 1120851 1121331 1123331 1123955 1124371 1124787 1125203 1125619 1126035 1128099 1128627 1128979 1129331 1129683 1130035 1130387 1130739 1132707 1132995 1133283 1133571 1133859 1134147 1134435 1134723 1136195 1136643 1136867 1137091 1137315 1137539 1137763 1137987 1138179 1139571 1139731 1139891 1140051 1140211 1140371 1140531 1140691 1140774 1141833 1141931 1142029 1142127 1142225 1142323 1142421 1142519 1142617 1145898 1156561 1156531 1156381 1156306 1156276 1156141 1156096 1156021 1155991 1155871 1155826 1155781 1155706 1155511 1155571 1155526 1155421 1155391 1155331 1155166 1155136 1155106 1155076 1155046 1155016 1154956 1154791 1154761 1154731 1154701 1154671 1154656 1154581 1154551 1154491 1154446 1154401 1154356 1154311 1154266 1154221 1154146 1154116 1154071 1154026 1153981 1153936 1153891 1153771 1153741 1153711 1153651 1153486 1153456 1153426 1153396 1153366 1153336 1153306 1153276 1153246 1153186 1153156 1152991 1152961 1153051 1153006 1152961 1152916 1152871 1152826 1152781 1152736 1152661 1152631 1152631 1152586 1152541 1152496 1152316 1152286 1152256 1152226 1152196 1152166 1152136 1152076 1151911 1151881 1151851 1151821 1151791 1151761 1151821 1151776 1151731 1151686 1151641 1151596 1151521 1151491 1151521 1151476 1151431 1151386 1151341 1151296 1151116 1151086 1151056 1151026 1150996 1150966 1150936 1150876 1150711 1150681 1150651 1150621 1150591 1150561 1150531 1150606 1150561 1150516 1150471 1150426 1150381 1150336 1150261 1150231 1150291 1150246 1150201 1150156 1150111 1150066 1149856 1149826 1149796 1149766 1149736 1149706 1149676 1149646 1149616 1149556 1149391 1149361 1149331 1149301 1149271 1149406 1149361 1149316 1149271 1149226 1149181 1149136 1149091 1149046 1149001 1148956 1148881 1148686 1148941 1148896 1148851 1148566 1148536 1148506 1148476 1148446 1148416 1148386 1148356 1148326 1148296 1148266 1148236 1148221 1148146 1148116 1148221 1148176 1148131 1148086 1148041 1147996 1147951 1147906 1147861 1147816 1147771 1147726 1147681 1147531 1147501 1147471 1147441 1147411 1147351 1147186 1162967 1162811 1162694 1162577 1162498 1192874 1193774 1195514 1197149 1199054 1200074 1202144 1203599 1205804 1206734 1207634 1209944 1210814 1211684 1213664 1215284 1216094 1216874 1219304 1220054 1220804 1221554 1223654 1225034 1225724 1226414 1227074 1229504 1230134 1230764 1231709 1232309 1234694 1235264 1235834 1236404 1236974 1237514 1240079 1240589 1241099 1241609 1242119 1242599 1244804 1245254 1245929 1246379 1246829 1247279 1249154 1249739 1250129 1250519 1251104 1251494 1251884 1253624 1254119 1254449 1254779 1255109 1255439 1255934 1256234 1257944 1258214 1258484 1258754 1259024 1259294 1259699 1259939 1261424 1261634 1261844 1262054 1262264 1262474 1262684 1262999 1264154 1264379 1264529 1264679 1264829 1264979 1265129 1265354 1265504 1266362 1266500 1266592 1266684 1266776 1266868 1266960 1267098 1267190 1267237 1280200 1280144 1279997 1280011 1279941 1279913 1279794 1279752 1279682 1279519 1279549 1279507 1279465 1279367 1279220 1279276 1279164 1279136 1279108 1279052 1278905 1278877 1278849 1278821 1278793 1278765 1278709 1278562 1278534 1278506 1278478 1278450 1278422 1278366 1278338 1278191 1278163 1278205 1278163 1278121 1278079 1278037 1277967 1277939 1277904 1277862 1277820 1277778 1277736 1277694 1277596 1277568 1277512 1277365 1277337 1277309 1277281 1277253 1277225 1277197 1277169 1277141 1277113 1277057 1276910 1276882 1276854 1276826 1276882 1276840 1276798 1276756 1276714 1276672 1276602 1276574 1276581 1276539 1276497 1276455 1276413 1276371 1276231 1276203 1276175 1276147 1276119 1276063 1275916 1275888 1275860 1275832 1275804 1275776 1275748 1275720 1275692 1275706 1275664 1275622 1275552 1275524 1275559 1275517 1275475 1275433 1275391 1275349 1275307 1275265 1275223 1275181 1275069 1275041 1275013 1274957 1274810 1274782 1274754 1274726 1274698 1274670 1274642 1274614 1274586 1274558 1274530 1274544 1274502 1274460 1274390 1274362 1274425 1274383 1274341 1274299 1274257 1274215 1274173 1274131 1274089 1274047 1274005 1273879 1273851 1273823 1273795 1273739 1273592 1273564 1273536 1273508 1273480 1273452 1273424 1273396 1273368 1273340 1273312 1273354 1273312 1273270 1273228 1273186 1273116 1273088 1273179 1273137 1273095 1273053 1273011 1272969 1272927 1272885 1272843 1272661 1272633 1272605 1272577 1272549 1272521 1272493 1272465 1272409 1272262 1272234 1272206 1272178 1272150 1272122 1272094 1272066 1272178 1272136 1272094 1272052 1272010 1271968 1271926 1271884 1271842 1271800 1271730 1271702 1285916 1285760 1285604 1285526 1285408 1313762 1314602 1316226 1317752 1319530 1320482 1322414 1323338 1324962 1326698 1327538 1329694 1330506 1331318 1333166 1334300 1335056 1336162 1338430 1339130 1339830 1340530 1342490 1343456 1344100 1345066 1345682 1347950 1348538 1349126 1349714 1350302 1352262 1353326 1353858 1354390 1354922 1355426 1357582 1358058 1358534 1359248 1359724 1360172 1362230 1362650 1363070 1363490 1363910 1364540 1366290 1366836 1367200 1367564 1367928 1368292 1368656 1370462 1370924 1371232 1371540 1371848 1372156 1372464 1372772 1374368 1374746 1374998 1375250 1375502 1375754 1376006 1376258 1377546 1377938 1378134 1378330 1378526 1378722 1378918 1379114 1379282 1380500 1380640 1380780 1380920 1381060 1381200 1381340 1381480 1381553 1382480 1382566 1382652 1382738 1382824 1382910 1382996 1383082 1383168 1385778 1395115 1395089 1394972 1394907 1394881 1394777 1394738 1394673 1394647 1394556 1394517 1394478 1394413 1394387 1394309 1394270 1394231 1394192 1394127 1394101 1394036 1393997 1393958 1393919 1393841 1393789 1393659 1393737 1393607 1393581 1393555 1393529 1393503 1393451 1393321 1393295 1393269 1393243 1393217 1393191 1393165 1393139 1393087 1392957 1392931 1392905 1392944 1392905 1392866 1392827 1392788 1392723 1392697 1392684 1392645 1392606 1392567 1392528 1392489 1392450 1392359 1392333 1392281 1392151 1392125 1392099 1392073 1392047 1392021 1391995 1391969

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-COL-V20P20N20"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-COL-V20P20N20.tgz
mv S_BridgeAndVehicles-COL-V20P20N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is S_BridgeAndVehicles-COL-V20P20N20, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r173kn-ebro-146433144900135"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;