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-2265
Executing tool marcie
Input is S_PolyORBLF-COL-S06J06T08, examination is ReachabilityBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r218st-ebro-143344929600242
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1433752566898

Model: S_PolyORBLF-COL-S06J06T08
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=ReachabilityBounds.xml --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

Unfolding complete |P|=894|T|=14334|A|=140028
Time for unfolding: 0m1sec

(NrP: 894 NrTr: 14334 NrArc: 119772)

net check time: 0m0sec

parse formulas successfull
formulas created successfully
place and transition orderings generation:1m20sec

init dd package: 0m5sec


BK_TIME_CONFINEMENT_REACHED

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

894 1103 1286 1671 2598 3367 3367 5112 5854 6199 6552 6902 7186 7477 7780 8096 8323 8896 9482 10042 11180 11214 11494 12302 12812 12817 12902 13073 13257 13485 13624 13645 13685 14723 14848 14897 14918 14954 14969 15582 15777 16397 17150 17239 17793 18504 18579 19115 19231 19871 19901 20614 20942 21345 21447 21461 21542 21707 21933 22065 22234 22255 22324 22282 22346 22481 22703 22814 22785 22700 22613 22524 22433 22199 22929 22984 23449 23789 23971 24122 24208 24370 24517 24774 24798 24826 24878 24925 24927 25038 25260 25371 25350 25289 25218 25137 25046 25771 26101 26244 26574 26753 26869 26954 27116 27263 27520 27544 27572 27624 27657 27640 27663 27885 27996 27943 27876 27799 27712 28448 28774 28923 29243 29414 29526 29611 29772 29919 30176 30200 30228 30280 30311 30298 30254 30386 30497 30438 30365 30282 31040 31045 31517 31822 31985 32093 32178 32343 32490 32747 32761 32799 32851 32880 32871 32831 32781 32911 32846 32767 32831 33552 33850 34238 34311 34555 34564 34727 34889 35093 35218 35242 35293 35322 35349 35344 35262 35206 35223 35152 35601 35944 36253 36666 36706 36925 36934 37097 37259 37466 37605 37626 37666 37712 37720 37719 37645 37593 37531 37418 37872 38245 38245 39249 39629 39534 39547 39562 39590 39676 39728 39697 39697 39697 39701 39723 40222 40223 40635 40635 41677 42055 41958 41970 41984 42052 42095 42146 42113 42113 42113 42113 42113 42117 42640 43075 43075 44260 44515 44416 44429 44440 44466 44500 44542 44499 44563 44563 44564 44565 44568 45105 45105 45554 46753 47014 47014 46919 46934 46951 46984 47025 46980 47043 47043 47045 47047 47048 47599 47599 48062 49275 49152 49530 49435 49452 49465 49497 49537 49490 49552 49552 49555 49557 49558 50123 50123 50600 51827 51703 52077 51981 51997 52012 52040 52079 52030 52091 52091 52094 52095 52096 51913 52294 52477 52660 52843 53026 53209 53392 53575 54866 54866 55719 58523 59107 59843 60183 60482 60858 61238 61419 61800 62117 62378 62604 63022 63370 63509 63626 63721 63794 63845 63857 64141 64724 65288 65596 66099 66292 66467 66644 66894 68263 68469 68821 68821 68827 68839 68881 68881 68881 68884 68890 68912 71369 72866 72778 72914 73134 73242 73450 73478 73641 73853 73977 74493 75036 75057 75097 77010 76980 77090 77144 77330 77443 77530 77811 77841 77854 77832 77650 79119 79168 79187 79385 79479 79584 79930 79933 79937 80032 79949 79930 81348 81278 81284 81451 81560 81657 81964 81964 81966 81960 82052 81939 83333 83252 83289 83267 83422 83510 83472 83732 83625 83598 83532 83501 84684 84793 84799 84819 84910 85001 84963 85197 85053 84917 84886 84908 86033 86102 86104 86120 86100 86269 86250 86479 86328 86166 86021 85943 87170 87232 87229 87241 87272 87272 87353 87559 87465 87235 87086 86937 86875 88180 88143 88180 88208 88250 88275 88440 88338 88200 87960 87806 87633 88023 88182 88342 88568 88832 89022 90218 90691 90665 90633 90575 90573 90565 90565 90571 90574 90708 91721 92432 92458 92562 92753 92835 92940 93198 93368 93455 94619 94643 94671 94723 94598 94598 94598 94598 93970 94025 94107 94154 94111 94548 94772 95026 95091 95406 95421 95576 95629 95690 95910 95751 95801 95830 95860 96105 95912 95654 95795 95839 96134 95945 95759 95601 95661 95877 95692 95510 95249 95182 94837 94426 94216 94011 93746 93573 94016 94012 94169 94306 94445 94980 95773 96001 95995 95985 95989 96015 96015 96018 96021 96027 97760 97780 99104 99211 99399 99481 99581 99701 99847 99925 100694 100718 100746 100798 101149 101149 101149 101499 101409 101359 101349 101126 101349 101572 101699 102038 102165 102319 102486 102535 102586 102621 102935 102786 102748 102780 102814 102885 102735 102690 102728 102912 102744 102497 102441 102583 102305 102130 101887 101790 102151 102137 102248 102401 102536 102674 103678 103903 103896 103853 103836 103784 103780 103783 103786 103792 104807 105429 106312 106412 106585 106660 106696 106933 107023 107389 107711 107732 107772 108062 108062 108062 108322 108252 108222 108481 108395 108349 108178 108305 108441 108637 108738 108866 108918 108952 108940 109177 108933 108968 109006 109084 108841 108792 108832 108556 108387 108224 108602 108566 108580 108616 108840 108990 109652 110162 110147 110108 110034 110025 109985 109978 109981 109984 110136 111824 111966 112234 112316 112406 112561 112735 112783 113304 113318 113356 113408 113583 113583 113757 113707 113697 113832 113786 113958 113832 113566 113798 113904 113976 114070 114031 114071 114113 114011 113972 113801 113636 113477 113882 113842 113852 113864 113896 114124 114735 115269 115261 115211 115168 115104 115085 115049 115049 115052 115055 116743 116748 116860 117017 117035 117148 117365 117392 117783 117807 117835 117887 117980 118072 118042 118133 118087 118177 118071 118093 118041 117998 118123 118144 118023 117880 117741 117656 118072 118028 118042 118052 118064 118190 118872 119286 119271 119177 119130 119040 119024 119024 119024 119027 119188 120645 120416 120546 120555 120636 120801 121012 121151 121172 121212 121256 121270 121260 121255 121219 121225 121173 121117 121022 120658 121109 121076 121056 121061 121068 121088 121578 121916 122141 122083 122032 121930 121883 121839 121839 121839 121839 122925 122950 122927 122956 122812 122910 122934 122934 123202 123331 123677 123906 124270 124593 124793 125134 125380 125664 125945 125974 125217 124875 124623 124372 124117 123858 123511 123227 123227 123227 123227 123227 123324 123347 123347 123614 123751 124074 124315 124679 125002 125202 125543 125789 126073 126354 126383 125625 125282 125029 124777 124521 124261 123912 123627 123627 123627 123627 123627 123723 123723 123745 124011 124146 124468 124709 125073 125256 125596 125934 126183 126467 126748 126777 126018 125674 125420 125167 124910 124649 124298 124012 124012 124013 124014 124017 124112 124112 124133 124398 124614 124852 125093 125457 125640 125980 126318 126502 126851 127132 127161 126401 126056 125801 125547 125289 125027 124674 124387 124387 124389 124391 124392 124486 124486 124506 124770 124985 125222 125463 125828 126011 126351 126689 126938 127222 127503 127532 126770 126423 126167 125912 125653 125390 125035 124747 124747 124750 124752 124753 124385 124385 124404 124667 124796 125052 125293 125575 125898 126098 126439 126783 126969 127250 127279 126515 126166 125909 125653 125393 125129 124772 124181 123866 123143 122755 122341 119652 120033 119835 119636 119436 119235 119033 118830 118626 122018 124277 124277 131857 135020 135882 136916 138145 138929 139610 139804 140252 140414 140384 140666 141693 143144 142842 143048 143208 143582 143630 143635 143291 143864 144444 144992 146031 146840 147466 148186 148507 148647 152031 153393 153765 153821 153690 153740 153726 153722 153766 153785 153816 159198 160198 164106 164105 164996 165313 165766 165937 166094 166556 166834 166681 169817 169841 169869 169921 174728 175236 175829 175984 175921 175051 175666 175691 175692 175659 175094 178936 179295 179458 179993 180146 180291 181214 181366 181424 181313 181249 181022 184411 184337 184457 184799 185023 185121 185884 186163 186204 186019 186036 185643 189006 188924 189146 189098 189294 189363 189164 190091 189747 189673 189241 188972 191483 192149 192305 192419 192364 192404 192178 192906 192652 192214 192017 191520 193971 194597 194726 194786 194540 194666 194509 195195 195188 194454 193918 193271 195886 196505 196606 196639 196619 196310 196287 196683 196859 196176 195640 195046 194576 197956 197878 198037 197992 197906 197575 197849 198027 197604 196873 196269 195554 196429 197412 198016 198494 198871 199029 202190 203332 203599 203546 203401 202955 202714 202714 202720 202723 202857 205309 207367 207570 207891 208372 208529 208724 209196 209484 209614 212707 212731 212759 212811 212541 212500 212448 212437 210924 211300 211441 211316 210540 211330 211778 212200 212290 213409 213608 213959 214118 214188 215159 214928 214985 215032 214757 214897 215991 215588 214888 215027 214963 214956 215939 215493 214752 214688 214538 215399 214874 214431 213910 213081 213141 211832 211318 210411 209461 208494 208452 209527 209756 210281 210518 210524 210415 213325 213907 213997 213851 213706 213398 213421 213424 213427 213433 216998 217252 220437 220718 221146 221290 221454 221634 221826 221920 223315 223339 223367 223419 224155 224124 224092 224868 224827 224675 224564 224426 225062 225563 225527 225793 226179 226436 227054 226889 226969 227001 227006 227373 227301 227272 227182 227767 227340 227100 227010 227573 227318 226967 226397 226637 226011 225633 225190 224659 225742 225779 225960 226286 226338 226200 227883 228968 229294 229114 228940 228725 228336 228336 228342 228348 228491 231634 232507 233414 233584 233815 233869 234160 234238 234736 235178 235199 235239 235706 235675 235643 236080 235998 235947 236353 236263 236142 236123 236490 236584 236596 236673 236783 236914 236988 236982 236917 237019 236886 236805 236978 236729 236194 236254 235840 235370 234921 235837 236067 236225 236201 236206 236095 237231 238622 239131 238907 238756 238285 238021 237799 237799 237805 237808 242175 241228 241497 241751 241862 241874 242153 242183 242464 242727 242748 242788 243004 242972 243158 243137 243086 243250 243175 243359 243269 243173 243236 243334 243369 243411 243375 243406 243372 243144 242976 242733 242272 241905 242866 243146 243246 243219 243032 242731 243695 244831 245407 245458 245273 244715 244448 244197 244197 244200 244203 248149 246841 247074 247168 247256 247341 247506 247763 247787 247815 247867 247878 247878 247888 247898 247869 247888 247829 247842 247779 247735 247753 247350 247107 246827 246647 247809 248009 247979 247785 247453 247229 249176 249489 249875 249640 249353 248683 248427 248427 248427 248430 248591 250929 250884 250947 250999 250834 250330 250420 251522 251732 251702 251505 251167 251008 252569 253157 253284 253055 252765 252008 251699 251699 251699 251699 254144 255042 254008 254006 253843 253948 253948 253986 254266 255553 256002 256744 257654 258370 258628 259035 259221 259147 259057 259251 259128 257336 256699 256302 255928 255572 255234 254826 254392 254392 254392 254392 254392 254488 254488 254517 254788 255965 256564 257273 258294 258869 259343 259393 259782 259759 259556 259624 259034 257831 256806 256426 256069 256063 255724 255306 254871 254871 254871 254871 254871 254966 254994 254994 255264 256429 257038 257747 258768 259343 259820 259867 260256 260233 260030 260098 259504 257670 257277 256896 256538 256198 255857 255772 255336 255336 255337 255338 255341 255435 255462 255462 255623 256894 257754 258212 259274 259947 260285 260531 260400 260771 260605 260563 258768 258130 257736 257354 256995 256657 256315 255792 255792 255792 255794 255797 256813 255890 255916 255916 256075 257866 258089 259294 259727 260449 260866 260987 261032 261224 261058 261016 259219 258577 258176 257798 257438 257096 256672 256234 256234 256235 256239 256240 256267 255870 255895 256162 256052 257864 258542 259369 260085 260276 260750 260936 260862 260772 260966 260843 259044 258400 257998 257619 257258 256915 256489 256050 255431 254706 254317 253902 251201 251582 251382 251181 250979 250776 250572 250367 250161 256230 256230 260361 274275 277516 283354 286147 288912 290480 291284 291337 290891 291052 290300 292937 294159 293944 294059 293661 293741 293701 293396 293680 294263 294827 295113 299184 301323 302515 302867 302430 304987 310247 312343 312876 313049 312806 312113 311897 312158 312268 312432 312495 324844 332124 331996 333213 334828 335338 336003 336170 336490 336820 336769 338643 342396 342417 342457 351263 351877 353838 354409 354294 353439 351790 352310 352077 351787 351419 356262 358853 360416 361164 361674 361972 362160 364404 365067 364620 364423 364017 363164 369489 370250 370799 371138 371038 371302 372737 374087 373721 373434 372916 372036 378317 378598 379570 379834 379838 379127 380279 381169 380487 379914 379214 378045 384415 384164 385004 385669 385611 385318 385587 386413 385435 384501 383593 382273 388678 388596 388815 389651 389598 389282 389295 390137 389513 387988 386638 385239 391714 391632 392065 392069 392238 391946 391226 392589 392064 391230 389094 387230 393815 393733 394099 393851 393819 393611 392891 394070 393643 392888 390706 389005 388448 391476 394752 395900 396178 396058 398028 403148 404228 404564 404415 403979 402574 402690 402734 402753 402784 410351 406775 410421 411356 412707 413142 413592 413942 414292 414472 415889 419690 419711 419751 419507 419466 419311 419193 416356 417969 417572 417228 416196 414191 414587 415129 415279 416927 418338 418902 419256 419247 419503 419502 419595 419510 419468 421874 421170 421397 421702 421546 421558 421513 421406 421382 421313 423845 423061 422712 422543 422048 421894 421761 421737 421678 424074 423607 422801 421972 420915 421146 421004 420832 420779 420616 421889 421365 420731 419146 418028 417931 417746 417490 417344 417267 415143 413902 412861 410905 408630 408366 408110 407956 407763 407591 410486 411367 412350 412495 411962 411124 416004 417256 417563 417532 417200 416213 416246 416290 416309 416340 421912 421693 426282 426842 427585 427797 428005 428135 428253 428309 429704 429728 429756 429808 430569 430517 430431 431222 431191 431056 430903 431127 432424 432931 432541 432715 432957 433152 434076 433620 433746 433719 433576 434159 433770 433526 433438 433459 434241 433593 433124 432792 432796 433143 432618 431709 431234 431086 429900 429196 428364 427095 429336 430393 430827 431319 431215 429463 431432 433848 435010 435324 435166 434212 433733 433274 433295 433331 433345 442570 438600 439369 439905 440067 440216 440403 440437 440454 441101 441125 441153 441205 441491 441438 441416 441680 441648 441576 441839 441757 441703 441948 442517 442100 442139 442189 442202 442145 442288 442111 442277 441929 441858 441613 441417 440735 440463 439567 439154 438125 437687 440631 441460 441331 441180 440515 439503 443199 444338 444675 444353 443978 442661 442086 442086 442105 442136 442309 445851 446333 446491 446613 446719 446804 447018 447157 447178 447218 447276 447254 447254 447271 447250 447277 447255 447263 447241 447193 447294 447241 447340 447057 446939 446654 446289 446161 445208 444560 444383 447388 448239 448097 447399 446671 446017 448951 450099 450466 450144 449578 448232 447439 447439 447439 447470 452651 450933 450918 451011 451109 451161 451098 451074 450696 450653 449864 449624 452678 453074 453425 452698 451482 450347 451808 453871 455042 454755 454129 453276 451606 451606 451606 451620 451781 456108 454832 454821 454844 454655 454047 454047 457165 458132 458000 457277 456050 454472 457407 457775 459056 458834 458214 456219 455235 455235 455235 455235 455402 460767 458188 458112 457892 458543 457893 457894 458107 457988 462714 464515 466603 467796 468131 467718 466470 466951 465691 465573 462538 461386 460744 460167 459650 459176 458587 457899 457899 457899 457899 459375 457900 457901 457901 457996 462715 463500 466610 467804 467705 468300 467893 466907 465611 465589 462553 461400 460757 460179 459661 459186 458595 457906 457906 457906 457906 457906 457907 457908 457908 458125 461728 463627 464628 466781 467979 468270 467856 466819 465626 465605 464510 461419 460770 460191 459672 459196 458603 457913 457913 457914 457915 457918 457919 457919 457920 458139 458017 462812 464569 466770 467961 468288 467765 466838 465381 465811 464555 462588 460799 460211 459688 459211 458616 457925 457925 457925 457929 457930 457931 457931 457932 458153 458030 462760 464566 466655 467852 468191 467785 466856 467023 465767 465649 462609 460817 460231 459710 459229 458727 457937 457937 457938 457942 457943 458087 457064 456801 456370 456089 460301 461839 463636 464834 465174 464766 463523 464009 462754 462636 459594 458435 457212 456690 456211 455705 454913 454011 453536 452531 452006 444702 444109 444490 442879 442120 441422 440758 440097 439327 447305 446999 452387 462933 474708 485534 487030 494135 494934 496410 497078 496586 495161 493155 493315 494622 496843 495591 495665 495706 495678 495500 495808 495341 495924 496210 496758 501879 506164 508164 508695 508071 510130 517574 521120 522190 522445 522552 520750 520184 520439 520867 521054 521004 538571 548628 548430 550263 551683 553439 553922 554452 554624 554735 554424 556275 562223 562244 562284 572090 576475 579260 580657 578908 577036 573794 574184 573735 573488 572610 571748 583308 586525 589169 590177 590695 590903 593857 594536 595235 594432 593544 591639 600888 601363 603124 603709 603928 603915 606092 607463 608109 607403 606458 604706 613907 613693 615367 616606 616663 616339 617118 618591 617162 617124 615757 613573 622750 622668 623484 624626 625193 624720 624715 626216 625134 623044 622212 619534 628727 628645 629563 630161 630721 630190 628677 631201 630280 629010 626202 623442 629966 632637 633411 633483 633678 633552 632012 633318 633494 632360 629178 626464 632636 635272 635943 636427 635752 635239 633940 635102 635383 634374 632840 628071 627255 632624 636134 638925 639296 638516 637132 644434 648571 650183 650368 649509 648448 647043 646991 647069 646944 647114 651185 656344 657897 659978 660563 661149 661224 661440 661564 661613 667540 667564 667592 667644 667428 667292 667130 667130 664256 665079 663130 660843 655861 656289 656593 656616 659304 660552 662214 662802 663032 663224 663340 663366 663380 662871 666682 665775 666743 666614 666432 666718 666497 666428 666287 665843 669824 668879 668150 668501 667624 667798 667124 667041 666830 666338 669716 668832 667606 667340 666237 666001 665641 664986 664849 666620 665856 665169 664107 660933 660932 660699 660163 659333 658819 656403 655290 653533 651911 647138 646774 646193 645625 645053 644189 649099 649675 651292 651522 650494 648483 652455 656194 657715 657987 657460 656708 655392 655487 655615 655642 655779 660886 662968 666365 666908 667527 667726 667746 667784 667804 668213 668592 668613 668682 669072 669019 668943 668943 669311 669236 669143 669675 671292 671387 670782 670809 670867 670884 672077 671105 671346 671216 670839 670913 670940 670963 672357 671374 670996 670775 670213 670163 670195 670220 671633 670787 669793 669503 668812 668763 668668 668693 668707 668767 667758 666734 665956 665895 665804 665709 665708 663568 662537 661159 659187 658995 658865 658735 658575 663509 664085 664590 664722 663596 661428 664694 668257 669808 669577 669296 668494 666599 666516 666654 666691 666834 670691 671023 672358 672595 672896 672905 673118 673243 673278 673318 673383 673372 673350 673385 673363 673352 673376 673354 673343 673487 674279 674246 673514 673286 673364 673048 673051 672941 672445 672106 672110 671704 670900 670290 670294 668788 667665 666370 666359 671362 671943 672347 671783 670372 668077 670762 674174 675785 675486 674993 672870 671771 671692 671675 671734 671883 675141 675006 675596 675715 675827 675867 676026 676213 675898 675713 675379 675407 674981 674529 673696 673222 672455 677557 678164 678802 677248 675557 673292 674319 678823 680544 680606 679442 678562 677330 675731 675554 675605 675780 680520 678466 678454 678630 678670 678487 678556 678206 678065 677389 676924 680796 682906 683462 683105 681790 677055 677706 681606 683473 684202 683846 681754 680454 678632 678554 678364 678390 685122 680729 680502 680572 680624 680396 679764 683786 685912 686627 686303 682847 679638 679749 684175 685609 686518 686202 684053 682223 680206 680116 679914 679788 685387 681442 681167 681196 680957 680958 680959 680959 681046 688425 691210 692476 695357 696560 696446 695136 692940 689578 690084 689919 686601 685166 684391 683705 683092 682510 681790 680964 680964 680964 680964 680964 680965 680966 680966 681054 688433 691219 692486 695368 696572 696459 695149 692954 689593 690100 689935 686616 685180 684404 683717 683103 682520 681798 680971 680971 680971 680971 680971 680972 680973 680973 681176 688441 691252 692422 695345 696584 696364 695162 692968 693133 690042 689951 686631 685194 684417 683729 683114 682530 681806 680978 680978 680979 680980 680983 680984 680984 680985 681190 688478 689788 692437 695361 696601 696381 695180 692987 693153 690063 689972 686651 685213 684435 683746 683130 682545 681819 680990 680990 680992 680994 680995 680996 680996 680997 681204 688491 689803 692453 695379 696620 696400 695200 693008 693175 690086 689995 686672 685232 684453 683763 683146 682560 681832 681002 681002 681005 681007 681008 679559 678851 678851 676800 682762 685228 686132 689018 690226 690117 688807 686619 683259 683770 683605 680280 678838 677373 676755 676168 675527 675432 674154 673224 672724 671694 659792 658037 658418 656901 655641 654483 653461 652531 651594 650318 657554 662814 662814 684381 695281 701156 705074 709069 710863 711210 710340 710499 708164 704471 704757 705287 705607 705616 705612 705578 705483 705789 705540 705226 705515 706095 706643 713460 717389 719374 720054 719021 716501 723587 730709 733554 734505 734660 733754 730639 730860 731291 731295 731228 751040 762678 762412 764449 765991 767886 768388 768830 768873 768794 768511 769701 777172 777207 777247 789052 795137 797130 798201 798052 792636 787532 787879 787697 787232 786530 786046 800516 803780 807483 810223 810903 811096 814410 814963 815035 814682 813554 810560 821855 821812 823892 825402 825649 825579 828203 829769 830162 829997 828530 826082 837280 837208 838611 840057 840754 840369 840999 842823 841369 840690 839753 836484 847633 847553 848900 849637 850291 850163 848008 851554 850272 848793 846651 843995 850713 854430 855569 856463 856580 856432 854036 855812 856061 854667 852905 848519 855243 858923 859894 860620 860132 859935 857717 859212 860317 858357 856577 850964 858160 861836 862692 863304 863534 861879 859789 860170 862517 860563 858881 856186 851921 859126 863047 865295 865726 864409 861581 871157 874091 876276 876698 875913 874499 872289 872299 872315 871998 872129 875215 881245 883144 884551 886198 886595 886843 886885 886909 886918 892071 892095 892123 892175 892083 892008 891954 891910 887326 887401 886710 881848 874662 874746 874775 874809 874814 878758 880860 882203 882429 882292 883186 883267 882908 882635 885899 885760 886887 887431 886250 887096 886582 886550 886167 885072 889900 889479 888386 888776 888047 888634 887867 887063 886592 885385 889750 889211 888176 887882 886581 886093 885387 884555 883409 885629 885622 884680 883736 881727 880087 879596 878615 877485 875528 873463 872522 871642 869235

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-S06J06T08"
export BK_EXAMINATION="ReachabilityBounds"
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-S06J06T08.tgz
mv S_PolyORBLF-COL-S06J06T08 execution

# this is for BenchKit: explicit launching of the test

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