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_PolyORBLF-COL-S02J04T06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r173kn-ebro-146433147101039
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1464818568332


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

parse successfull
net created successfully

Unfolding complete |P|=476|T|=920|A|=4794
Time for unfolding: 0m13.646sec

Net: PolyORBLF_COL_S02J04T06
(NrP: 476 NrTr: 920 NrArc: 4242)

net check time: 0m 0.006sec

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

init dd package: 0m 7.199sec


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

904 1343 2155 3033 3697 3808 4062 4283 4815 5168 6138 6898 7623 7925 8143 8266 8313 8550 8605 8641 9380 9401 9723 10304 10366 10708 10757 10834 10989 11033 11258 11445 12192 12730 12957 12992 13082 13312 13359 13418 13664 13799 14511 14847 15218 15270 15424 15449 15513 15585 15792 15936 16650 16934 17214 17246 17309 17410 17423 17492 17632 17767 18454 18745 18862 18895 18969 18985 18995 19005 19044 19206 27056 28248 29217 30163 30505 31146 32283 53846 57104 59150 60557 61839 63035 65298 66028 66366 66489 66879 67942 67838 68818 69682 71903 72308 73519 73556 75211 75310 75252 75194 75314 76011 76555 76538 76418 76291 77153 77712 77532 77380 78037 78067 78167 78077 78089 78245 78175 78473 78892 78621 78829 78842 79072 80688 81000 81599 81816 81923 82694 83862 83754 83714 83881 84149 83980 83890 84496 84692 84647 84769 84683 85038 85377 85173 85350 85043 85356 85805 85974 87050 87328 87265 87357 89197 89083 89074 89099 89307 89165 89119 89460 89202 89470 89636 89597 89598 89850 89497 89500 89765 89889 90867 91113 91007 91015 92725 92616 92554 92657 92573 92523 92633 92547 92408 92481 92612 92658 92093 92215 92334 92433 93374 93594 93470 93534 94902 94840 94779 94686 94686 94589 94608 94506 93975 93878 93852 93973 94634 95187 95292 95650 96052 96369 96384 96311 96221 96319 96371 114651 116759 117547 118941 120061 121325 122026 170542 175599 177319 179869 182085 185201 186603 188004 188545 188370 188508 190713 191079 192081 194090 197404 197814 200542 200848 204632 204237 204067 203942 204216 204575 206088 206451 207505 207530 207116 207129 207469 208248 209827 209521 208986 208965 209879 209629 209565 209332 209422 209878 209413 209582 209988 209580 209362 210250 209187 213055 212506 213448 214946 215283 215493 218896 219067 218896 218752 218844 218687 219144 218968 218798 219246 219560 219067 219195 219007 218961 219292 218993 218878 218912 218281 219133 218762 218839 220145 220574 221106 220831 223856 223736 223649 223655 223977 223862 223584 223519 223805 223460 223402 223703 223255 222715 222593 222527 221538 221534 221364 222444 222430 222836 222507 222563 225028 225042 224878 225095 224939 224765 225009 224847 224669 224185 223724 222145 221776 221872 222737 223031 222823 223026 224788 225000 224842 224714 224303 223501 222927 221867 221951 222793 223669 224039 224802 225603 225956 225892 225680 225270 225126 225210 245544 248335 249777 251120 252051 252415 253810 316170 320029 323104 325430 327014 330058 331448 332736 332737 332738 332648 336494 334575 335037 335962 339897 341288 345724 346016 349692 350492 350367 350250 350086 351379 351722 353542 355446 355602 355464 354925 355127 356395 359825 358762 358403 358129 358533 358957 358261 357738 357697 357127 356715 356458 356254 356154 355741 355650 355719 355740 359291 361090 362079 363289 363715 363738 368197 368362 367929 368621 368065 368664 368517 368109 368034 368699 367761 366884 366411 366289 366134 365740 365629 365561 364985 365090 365851 364606 364637 365027 366011 366361 366675 370071 369937 370081 369759 370633 370489 370079 369890 369334 369118 367467 365818 364461 364492 364413 365010 364899 365176 367414 367504 367507 367264 367154 366447 365940 364242 363324 361362 361176 361008 361189 360931 360597 362313 362041 361878 361198 360670 357885 356144 356356 357193 357398 358000 357963 358952 358580 358404 356710 356721 371562 373315 373919 374111 374441 373900 374392 419427 422692 423949 424321 423928 423646 424678 425521 425701 425702 426041 429190 427583 426027 426202 430229 431831 437069 438191 442049 442746 442812 442735 442541 445388 444641 446327 448551 448724 448586 448313 448427 449613 450480 451660 451339 451293 451597 451396 450111 450178 450368 447981 447763 447546 447385 447301 447302 447117 447108 447217 450874 453149 453737 455306 456356 456882 461272 460883 460853 460948 460738 460795 460399 459274 458121 456907 457691 455776 455813 455789 456629 456932 457641 460336 460183 459953 459945 459891 459470 459198 456978 456529 456286 454279 454439 453938 454455 454131 453576 454993 454920 454653 454254 453988 451265 448381 448402 447887 447318 447015 446237 445536 445317 444703 444287 441405 438112 438128 438738 438468 438785 437676 437697 437354 436492 434284 434281 441723 442139 442101 441938 440708 439431 439561 465947 462648 462525 460986 456407 456675 456809 457380 457381 457497 456815 459174 456133 456173 456600 460807 461601 468383 469869 473602 473952 474036 473923 473677 475522 477240 478009 479416 479072 479061 479514 479186 480084 480811 480944 480707 480796 480851 480033 479814 479234 478760 481390 483103 484411 486063 487238 488484 490817 490760 490470 490486 490603 490994 490428 488995 490042 488914 486907 486935 487241 487666 489353 488678 489725 489574 489307 489162 489518 487327 487153 484728 484759 484151 484471 484675 483967 483181 482852 482994 482837 480613 479468 477335 477272 475720 475291 473676 472339 470604 470363 469691 465915 463752 463779 464141 463359 463226 461640 460585 460138 456567 456567 460482 460175 459979 459528 459502 457817 456042 456040 464231 463540 462553 458866 454994 454966 454986 455234 455236 455226 460252 456640 453835 458000 458794 466163 467958 471805 472155 472239 472126 471880 473725 475290 476093 476251 475907 475896 476217 475873 476523 476724 476638 476490 476562 476571 476151 476081 475996 476031 479328 482012 482498 484150 485903 487004 488105 488003 488009 488089 487510 486935 487515 485314 485130 484898 486159 486788 486873 486892 486857 486633 486170 485617 483009 482777 482136 482698 481911 481371 479913 479788 479282 477771 475207 475236 474162 473330 472200 470297 466842 466532 465826 460553 460555 460381 459865 458465 458026 456852 455317 451876 451887 455265 454858 454373 453929 453140 450206 450073 462933 454529 453492 452518 448835 444412 443912 443855 443850 444101 443164 445635 442657 445782 447097 448157 452626 453955 457516 457744 457433 457246 459090 459175 460689 460921 463507 464322 465681 466740 467429 468798 468734 468536 468747 468489 467203 467226 466873 467465 468141 467954 468062 468078 467985 468041 467690 465871 465211 465327 465135 464323 463009 462932 462930 460018 460039 459476 458300 457620 455795 452530 452465 450499 448530 448356 448128 447317 446333 444961 444096 441402 441384 443968 443636 443270 442831 442377 440284 440064 450150 443075 442343 440801 436615 436371 435931 435893 435833 435769 435359 435025 434865 435218 435585 435588 435687 435593 435635 436583 437103 439288 445064 446624 451213 453542 456414 457069 458326 459576 459754 460597 460727 460969 460600 460323 460265 462236 465609 465371 464737 467795 468890 468427 468052 467933 466881 465958 465701 465658 465757 464891 464362 464036 462210 462633 462340 463075 462289 462168 462119 461768 461647 460119 459139 458960 458803 458819 457655 457173 455835 451289 453629 454924 457267 458875 459969 461742 460814 461471 460930 460024 459058 456831 455750 454020 452296 452341 452364 455295 457124 459092 460092 462512 461509 460503 461354 460237 459695 458389 456680 454708 451576 451591 451637 451684 454071 455894 457416 457729 457938 459336 458224 459260 458543 458019 456791 454631 453207 451040 449125 449149 449190 451619 452670 456932 455175 455472 457888 456942 458580 456808 455542 455462 454146 453115 451150 448381 448408 448414 447251 455527 456457 456689 457092 457168 457400 480013 482947 483896 484177 484641 485140 485474 485477 485576 485706 485409 485263 484748 486518 487274 488665 490597 490918 491535 491171 492176 492192 490978 490416 490071 489775 487976 486873 486906 486611 488224 489631 489923 492182 491895 492447 493038 493103 493157 491945 491458 491114 491009 489940 487809 487839 487870 487599 489171 490487 490783 492761 492546 493173 492889 493678 493704 493003 492607 492174 491719 491487 490745 488712 488728 488769 488372 489929 490596 492172 493339 493571 494229 493773 494360 494306 493641 493399 492822 492814 492372 491180 491158 491185 493640 502246 502023 502694 503106 502753 502756 502758 503014 503068 503220 504034 511650 513415 516658 520260 522708 523310 524025 524665 524723 524691 524763 527593 528685 530481 530297 530060 530083 529941 534277 534178 537736 538411 538668 538474 538639 538619 538620 538730 538602 537883 535920 535396 532825 530007 529879 530880 529725 531151 531362 531619 531401 531334 531314 531188 531122 528523 526919 524609 523757 520908 517574 516131 519223 521541 523061 524483 525165 527081 525695 527574 526193 525239 523642 521469 519321 517376 515056 515099 514922 517543 518742 520737 521522 522004 524034 522894 523128 523025 522065 521014 519708 517505 515128 511741 511736 511783 511353 514993 516386 520034 518051 518403 520807 518743 522079 519598 518473 517697 515621 515741 513211 510495 510506 510522 513270 513932 514032 514055 514287 523954 527519 527699 529814 530046 530331 530447 530515 530368 530410 530034 529838 530259 531350 531995 533199 533107 533417 533781 533818 533157 532952 532674 532501 531064 531084 531112 530847 531786 532480 533367 533458 533919 533743 534122 534142 533549 533402 533186 532942 532181 531573 531596 531640 531383 532527 533342 533937 534006 534378 534496 534448 534098 534010 533743 533492 532889 532894 532879 532157 537239 537029 537833 537746 537751 537826 537758 538051 538046 537604 537493 538115 540956 546496 549292 555023 556178 556765 557330 557432 557676 558592 560595 561917 562289 561393 561413 566186 565922 566059 569533 569687 569776 570200 570200 570206 569995 568763 567232 564699 561337 561368 562049 562436 563213 562481 562590 562767 562690 562527 560526 559294 556466 554680 552128 549607 548032 551640 554257 557001 558117 561397 560282 559694 560093 558625 557281 555833 552474 550431 546781 546838 546509 549264 550429 551544 553465 553836 556025 554750 554217 554752 553886 552757 551312 549743 546734 543159 543183 543198 542662 546418 547365 547758 549819 549597 552225 550765 549881 550958 549667 549165 547545 546641 544054 541687 541714 541720 539851 542488 542500 542734 546729 549206 550872 550988 551432 551513 551421 551521 551429 550982 550853 551165 551792 552362 552602 553002 552980 552997 552663 552614 552430 552139 551661 551673 551703 551458 552157 552747 552895 553179 553194 553098 553057 552788 552744 552383 552361 552388 552308 553824 553705 554495 554508 554755 554444 554522 554763 554737 554528 554303 561584 561720 562666 565076 564992 566120 565984 584385 589613 604258 609074 610555 627081 631998 637911 649970 651171 651472 651758 651989 653055 653834 654234 655308 655632 655760 656130 656163 656413 655752 655052 654750 654806 655142 653491 653767 654739 655157 655361 655499 655729 657208 657028 658439 658393 658288 658146 658043 657967 657979 658094 656940 656728 656555 656382 655531 654868 659959 659859 659925 659996 660856 660633 661945 661793 661703 661562 661591 661372 661632 661535 661464 661414 661394 661509 659913 659709 659551 658922 663492 663669 663807 663941 664042 664735 664650 664571 664519 664716 664753 664670 664608 664482 665260 665136 665128 665157 662860 662764 662417 667206 667299 667454 667543 668053 667986 667925 668209 668147 668067 668240 668176 668094 668711 668596 668527 666043 665905 671729 671825 672125 672092 672193 672160 672196 672159 672349 672316 671488 671400 684198 684286 684868 686056 689172 690316 691768 692737 693213 693236 693359 693267 695301 696596 696210 695875 694884 697345 697498 697523 698602 698862 699202 699136 698938 697810 699493 699592 700110 700429 700239 700315 700343 699121 699775 700739 701128 701098 701147 701099 699756 701366 701538 701540 701646 706422 711217 712022 712124 714196 717436 717827 717487 717535 718279 719058 719749 718268 714815 715000 718055 718673 731904 731494 736164 741772 743534 743269 743167 742955 742571 742305 741917 742482 743225 743271 743119 743247 742948 743115 741734 741501 740768 740615 739253 738203 739439 739016 739047 738976 738908 739064 739353 739037 740086 740003 739901 739754 739686 739458 739750 738403 738491 738532 738557 737518 736888 737411 737655 737591 737524 737411 737289 737779 737702 737570 737423 737342 737262 737350 737407 737315 737256 737196 737218 735694 735608 735424 734777 734629 735803 735769 735714 735658 735723 735732 735649 735591 735538 735837 735747 735671 735617 736102 736068 736021 736109 735996 733712 733376 733230 734453 734412 734382 734143 734084 734051 734246 734204 734169 734266 734230 734191 734574 734562 734486 731899 731887 731993 732476 732324 732327 732392 732378 732414 732400 732573 732559 731687 731634 742154 742199 742267 742470 742633 740678 740612 738638 741998 741922 741827 741635 742701 742039 742267 741829 741271 739647 741595 741383 741274 741426 741664 741596 741384 740432 739782 740007 739801 739863 739973 740029 739831 739859 738430 737352 737278 737246 737269 737302 737240 735815 735295 735230 735234 736512 734809 738091 739649 739559 741482 742209 742667 745483 747217 748008 748775 750245 752044 753050 753091 753005 753219 753522 753313 752892 752639 752164 753004 750788 750814 750777 749237 748999 749241 751642 750891 747259 748287 749774 750523 751041 753059 754784 755558 757032 757314 757881 758549 759466 759398 759672 759662 759490 759089 758843 757093 760037 762754 760369 762175 762319 763352 763641 762520 760402 759177 762276 762894 765626 765218 768892 773572 775624 775080 774972 774760 774658 774236 773796 774330 775058 775139 774983 775098 774688 774819 771958 771231 771328 769843 768116 767973 768045 768076 768005 768221 767977 768544 768186 769231 769148 769046 768899 768847 768603 768747 765735 765593 765616 764908 764597 763424 762514 763926 763910 763831 763718 763596 764077 764001 763899 763786 763653 763561 763693 763735 763614 763589 763502 763417 760232 760114 759958 759207 758975 759848 759814 759759 759703 759862 759799 759798 759662 759584 759870 759785 759706 759650 760182 760173 760126 760086 760116 756169 755733 755511 756530 756489 756459 756195 756159 756120 756287 756275 756238 756307 756295 756256 756704 756692 756579 752291 752243 752173 752634 752545 752441 752502 752488 752524 752510 752708 752694 750838 750707 755554 755485 755548 755742 755919 753784 753706 751732 753540 754771 754717 754953 755857 755422 756403 756860 757711 757250 757390 757946 757880 756422 755439 753879 754451 754259 754055 753706 753382 753670 753588 753390 751901 752504 751035 750939 750635 750697 750817 750804 749327 748654 747577 747306 747314 747520 747394 745843 745080 744933 744924 744904 745596 744395 732318 731096 728871 727715 728431 729158 729154 729548 730528 731173 731834 732583 733829 733798 733931 733792 734006 734078 733809 733126 732800 731899 730765 726417 726421 725913 724849 723751 724246 725650 725174 724694 724031 723701 723345 721776 719674 717373 717052 716876 716805 716530 715123 714202 713866 711729 709492 700398 699500 700467 699244 699754 698450 698543 698306 697387 696445 694400 691594 692036 691866 691778 691512 690842 690175 689821 687683 687099 685680 678295 677314 677472 677528 673347 671723 669587 667427 677313 679216 681600 690780 694049 702610 703645 707461 709165 710411 711240 713112 714428 715009 715111 715026 715080 715310 715021 714661 714509 714285 716382 717395 718880 719105 719116 718772 718571 718963 720385 722336 729856 731986 735123 735833 738365 738449 738853 738797 738980 738986 738931 738870 739254 739165 738422 737564 738775 738436 740056 742000 742013 745437 745625 746738 747962 747652 746287 745951 747074 746096 747955 747223 746118 749125 747752 746321 746885 748960 750280 751162 750006 750093 749935 749602 748431 746247 743264 742988 742768 742309 742139 741794 741301 740990 740159 738892 738456 738148 736028 735995 735778 735251 732873 732207 724979 731713 733430 736103 736942 738745 738855 739139 739371 739456 739319 739412 739365 739077 739518 738823 738073 739302 738771 739663 741419 741933 743536 743692 744600 744875 745274 743821 743071 743423 742663 744888 744296 742709 742660 744516 743552 742913 743051 744709 743583 743158 742943 742893 742464 741549 739808 738320 736867 736817 736763 736413 736412 734569 734007 732067 730139 730050 729640 728975 726117 725808 724742 723193 721588 712147 713043 712402 711633 711286 711963 711270 710826 709887 708598 707722 707333 707006 706361 706592 706430 705140 703930 701698 697318 696206 695792 694391 693485 693137 692059 691893 691731 688996 687928 683261 683212 681106 678594 678594 675219 675454 685429 686506 687316 697543 700435 708277 708837 712578 714968 715419 716328 718086 719516 719735 720590 720523 720785 721122 721823 721761 721822 721868 721190 720214 719243 721636 722148 723623 724739 724560 724476 724570 723572 723222 725553 725976 726911 727539 727500 726513 726316 726420 727530 728148 735679 736348 739067 741057 741611 743824 744086 744195 744249 744740 744631 745034 745139 745061 743779 744454 744441 745756 747525 748222 751161 751392 751789 752186 752399 750636 750526 749529 750341 750957 752381 752885 755474 755641 756158 756761 756949 755856 754431 753245 753212 754951 753985 753310 753317 755028 753478 754005 755197 757517 756894 756999 756808 756634 756362 755724 754642 752872 751683 751525 751388 751465 751371 751875 751929 751797 751245 750345 749526 748802 748549 748558 747969 747877 747836 747861 746881 746355 745178 744684 743999 743900 743846 742436 742286 741892 739803 739240 733434 739651 741825 742637 744340 746413 746557 746805 746863 747400 747251 747586 747388 747627 746381 747040 747004 747655 749121 750239 752617 752755 753260 753829 754006 753944 751787 751050 751079 751086 751925 753188 752929 754233 754744 755566 755369 755492 753332 753051 751744 751835 753355 751808 751756 754295 753479 751952 750850 752273 752883 752151 751846 751743 751613 751369 750314 748716 747264 746434 746265 746295 746047 746809 746672 746674 746328 744577 743639 741580 740504 740313 739796 739553 739453 739358 739340 736938 735993 733829 733589 733099 733013 732945 730322 729965 729268 727136 725769 716974 717000 717828 716733 716830 717487 717243 716677 716092 716091 715775 715977 715804 716016 714613 713645 709859 710006 709725 709770 709562 708991 708276 708332 708545 706276 705413 702555 702559 702088 701601 700272 699536 697558 696882 696921 696968 696765 693999 692874 689641 688054 686854 685056 681686 680662 680839 687457 690579 692073 699876 704400 713164 714151 715962 720295 721251 722007 723007 724311 725520 726467 726596 726693 726722 727159 727976 727739 727809 728099 726647 725952 727184 727831 728003 729715 730954 730758 730742 730862 729802 729351 731753 731935 732832 733649 733588 733770 733713 733715 732164 734144 734732 735212 735460 735411 733949 734034 735912 736889 743293 745547 747072 747604 750110 750344 750327 750832 751190 751303 751437 750128 750806 751040 752734 754669 755130 758367 758680 759023 759519 757511 757581 756609

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_PolyORBLF-COL-S02J04T06"
export BK_EXAMINATION="CTLFireability"
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_PolyORBLF-COL-S02J04T06.tgz
mv S_PolyORBLF-COL-S02J04T06 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_PolyORBLF-COL-S02J04T06, examination is CTLFireability"
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-146433147101039"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.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 ;