fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r218st-ebro-143344929700365
Last Updated
August 19, 2015

About the Execution of Marcie for S_PolyORBLF-PT-S04J06T06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5972.110 3600000.00 3599550.00 509.20 [undef] Time out reached

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-PT-S04J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r218st-ebro-143344929700365
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1433759874714

Model: S_PolyORBLF-PT-S04J06T06
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 --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

(NrP: 618 NrTr: 3190 NrArc: 21570)

net check time: 0m0sec

place and transition orderings generation:0m11sec

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

902 1014 1406 2210 2655 3581 4037 4560 5234 5835 6585 7056 7815 8448 8926 9341 9353 9684 10144 10603 10738 10773 10685 11027 11519 11961 12210 12177 12094 12413 12784 13284 13340 13146 13436 13848 14219 14356 14065 14243 14243 14371 14702 14546 14580 14688 14692 14895 15045 15481 15202 15253 15296 15347 15827 15711 16059 15866 15889 15953 16001 16243 16243 16891 16611 16669 16765 16829 16829 17062 17245 17730 17438 17499 17545 17599 17836 17836 18519 18230 18272 18350 18405 18406 18614 18728 18840 19228 19450 19563 20279 20697 21715 22284 22515 22969 23539 24064 24640 25019 25403 25489 27317 27486 28596 28913 29037 29555 29716 29829 30264 30400 30400 30798 30885 31208 31195 31203 31545 31809 31660 31883 32312 32237 33058 33520 34056 34301 34391 34484 34523 34781 34530 34457 34332 34539 34786 34844 34935 35762 36218 36314 36426 36417 36513 36296 36420 36610 37063 37029 37637 38122 38239 38325 38105 38413 38778 39221 39210 39867 39842 39713 39795 39824 40264 40344 39854 39896 39932 39934 39995 40021 40223 40675 40042 40088 40140 40166 40171 40226 40253 40767 40702 40296 40350 40404 40400 40479 40484 40806 41180 40514 40535 40561 40574 40634 40634 40656 41206 41020 40711 40733 40777 40773 40652 40671 41094 41322 40682 40736 40755 40721 40436 40553 40667 41167 41280 41389 41502 42668 42928 44777 45360 45635 46150 46451 47241 47720 48877 48857 50775 51689 52525 53521 53977 53815 54701 55213 55855 55788 56126 56484 56444 56570 56975 56941 57214 57849 57612 57781 57923 58507 58438 59851 60010 60609 60597 60728 60775 60835 60781 60716 61150 60808 60588 60526 60489 60835 61382 61061 62051 62098 62496 62500 62548 62450 62379 62313 62911 63788 63543 64045 64361 64391 64409 65169 65881 66265 66400 66841 66686 66756 66756 66780 67830 67118 66837 66861 66909 66911 66975 66990 67192 67816 67001 67025 67036 67047 67574 67106 67427 68285 67132 67151 67179 67193 67267 67267 67289 68341 67831 67319 67363 67407 67407 67466 67496 68154 68405 67518 67569 67629 67659 67653 67532 67559 68347 68376 67597 67651 67678 67653 67174 67291 67405 67788 67901 68010 68123 69177 69424 71545 71882 72065 72550 73443 74025 74072 75162 74954 76902 77651 78350 79477 79750 80451 80695 81132 81943 81653 82207 82618 82617 82449 83245 83160 83574 84125 83377 83955 83809 84151 84294 85437 85851 86021 86055 86018 85963 86000 85883 86019 85812 85600 85417 85473 85714 86524 85987 86618 86692 86796 86863 86763 86608 86623 86464 87310 88002 87719 88203 88328 88383 88356 88976 89493 90732 90400 90424 90263 90083 90083 90083 91171 90926 90083 90083 90083 90083 90085 90085 90275 91655 90412 90085 90085 90085 90090 90084 90078 91170 90858 90072 90072 90072 90068 90068 90068 90245 90810 90068 90068 90068 90068 90068 90067 90066 91451 90735 90065 90065 90065 90063 89546 88914 88487 89573 88055 88055 88055 88055 86416 83816 83598 83183 83571 83021 82733 83561 83805 84779 86150 85568 85971 86483 86972 87697 87488 88041 88033 90061 90501 91555 91703 91489 92519 92788 93558 93329 93646 94007 93746 93983 94507 94382 94872 95186 94887 94552 95375 94876 95725 95975 96103 96160 96075 95979 96025 95737 95878 95673 95498 95344 95818 95430 95592 95514 95693 95880 95816 95756 95717 95577 95480 96166 95852 96480 95916 95942 95931 95916 95863 96669 96879 97036 96862 95945 95827 95810 95821 95832 97467 96284 95843 95843 95843 95845 95845 95845 97052 96402 95845 95845 95845 95845 95850 95850 96030 97550 96124 95850 95850 95850 95846 96088 95844 96032 97266 95843 95843 95843 95843 95843 95843 96131 97443 95843 95843 95843 95843 95837 94795 94554 94621 93821 93257 93257 93257 92391 88482 88215 87177 87565 87078 86464 85824 86411 86656 88733 87451 87557 87656 87832 88271 88247 87605 88858 88978 90051 89919 89909 90533 90213 90488 91281 90962 90805 91400 91307 91746 91772 91554 92031 91318 91679 91528 91124 90796 91272 91495 91277 91281 91112 91050 90918 90848 90984 90566 90429 90384 90626 90555 89827 89686 89757 89619 89574 89460 89266 89278 88985 89210 89041 88136 87607 87650 87435 87377 87465 87439 87306 86352 85138 84241 83450 83450 83450 84644 83450 83450 83450 83450 83452 83453 83454 84658 83455 83455 83455 83455 83460 83452 83444 85005 83436 83436 83436 83432 83677 83422 83601 84624 83417 83417 83417 83417 83417 83417 84605 83417 83417 83417 83417 83413 82197 81965 81663 80285 80285 80285 80285 79056 75066 74087 73021 73257 72457 71346 70234 70271 70308 71624 70385 70489 70634 71076 70655 70984 70388 71371 71598 72389 72091 72704 73234 72792 73273 73530 73484 73730 73224 73409 73360 72833 72931 72980 73204 73065 72993 72748 72817 72509 72338 72606 72395 71916 71578 71654 71550 71426 71301 71050 71357 70361 70337 69317 69382 69123 69059 69488 68372 68726 67372 66337 65748 65478 65478 65478 66784 65478 65478 65478 65478 65471 65471 65764 66784 65471 65471 65471 65472 65467 65461 65648 65709 65455 65455 65455 65451 65424 65424 66729 65424 65424 65424 65424 65424 65415 65414 66728 65413 65413 65413 65413 65026 64108 63869 63742 62415 62415 62415 61858 57548 57130 56582 55840 55040 53758 52206 52194 52217 52539 52240 52231 52242 52564 52243 52243 52424 52243 52239 52239 52522 52239 52211 52209 52397 52208 52438 52199 52384 52199 51000 50759 50229 49873 50375 51587 51660 52529 55535 55555 56129 56559 56920 57326 57994 58017 58559 59036 59542 59340 59650 59779 60304 60030 60053 60148 61000 61253 61950 62138 66014 67160 69095 70263 70707 71299 71950 72319 71924 72692 72856 73875 73647 70143 69824 69387 69382 69170 68819 67547 67935 67713 67962 68023 68023 68040 68040 68029 68029 68023 68023 68022 67487 66941 66958 66969 66980 68204 66991 66991 67092 67106 67110 67088 67098 67099 67100 68333 67101 67101 67198 67205 67212 67181 67189 67175 67161 68382 67147 67147 67240 67220 67261 67216 67216 67215 67209 68423 67203 67209 67310 67316 67320 67288 67312 67311 67310 68527 67309 67309 67399 67399 67399 67397 67393 67107 66812 66766 65768 65768 65853 65853 65853 65502 64820 65001 65881 66707 68705 69650 69551 70167 70569 70715 71019 71607 71655 73089 73183 73525 73228 74236 74437 74228 73811 74522 74810 74452 75137 76323 75945 71425 71436 71447 71692 72236 71458 71458 71458 71458 71460 71461 71462 71716 72260 71463 71463 71463 71463 71467 71453 71439 72374 71425 71425 71425 71425 71421 71421 71415 71409 72337 71403 71403 71403 71403 71403 71388 71387 71386 72792 71385 71385 71385 71385 71383 70870 69720 68940 67119 65757 65757 65757 65757 65185 69875 69888 69899 70296 70308 70317 70331 70726 70738 71568 73756 73762 74449 76630 76638 80725 80872 84025 91474 89911 90688 90718 91729 91797 92311 93371 93420 93478 94607 94697 94703 94707 95946 96052 96110 96150 96155 96316 96459 97334 97635 97506 97463 98128 98274 97908 98016 98725 98791 98571 98430 101948 105002 105301 105764 105159 107811 108257 108668 109721 109844 109428 111200 110998 111352 113090 113576 113298 113535 113452 114293 114575 114217 114904 115366 114974 115032 115661 116475 115553 116213 117079 116922 117313 116980 116946 117190 117278 117508 117292 116888 116776 116834 116465 116412 116230 116032 115864 117404 117969 118113 118276 118153 118024 118063 117998 117952 117906 118523 118589 118215 117583 117403 116967 116633 116219 116814 116648 116942 117320 117685 118038 117923 118032 118051 118745 119631 120023 120527 120540 120718 120989 121460 121716 122057 122090 122359 122163 122231 122481 122764 122810 123651 123717 124337 124376 124543 124634 124948 125032 125249 125075 124971 125142 125416 125989 125799 126165 126084 126187 126457 127052 127392 127742 127356 127132 127417 127267 128314 128458 129220 129211 129278 129410 129544 129550 129688 129835 129848 129897 130081 129937 130260 130112 130421 130393 130459 130378 130388 130398 130573 130481 130271 130869 130574 130587 131275 130705 131258 131592 131910 132265 131810 131586 131746 131896 132009 132203 132105 131980 131917 131810 131751 131553 131545 131505 131200 131529 131118 131288 131082 130933 130852 130769 130498 130472 130779 130282 130147 130841 130701 130915 131474 131781 132183 132143 132281 132750 132713 133760 134109 134062 133953 134063 134044 134439 134423 134600 134780 134645 134485 134571 134455 134780 134765 134545 134695 134544 134352 134428 134894 134233 134259 134908 134744 135032 135594 134779 134578 135605 135669 136659 136412 136518 137251 137683 137907 138044 138300 138254 138523 138558 139249 139370 139282 139171 139060 138745 138586 138546 138759 138698 138591 138298 138300 139042 138944 139146 139715 140072 140399 140755 140966 141416 141520 142503 142474 142336 142100 142944 142718 143430 143121 142829 142819 142847 143073 143093 142798 142408 142217 143106 142893 143129 143461 144850 145187 145045 146066 145893 146035 147373 146850 146159 148252 147017 147143 148031 148105 148955 148986 149244 149069 149389 149623 149756 149867 150027 150353 150172 150683 150892 150777 150558 150344 150028 149858 149769 150257 150454 150208 149959 150112 149843 149354 151310 151634 151912 152856 153105 153074 153282 154976 155049 155801 161070 159962 160906 161436 161969 162402 163169 163920 164639 165001 164931 165994 166077 166761 166596 166964 167031 167630 167550 167450 167525 167255 167455 168170 170123 169536 170133 170835 172373 172206 173177 173488 174637 174043 173451 174391 174352 173991 174825 174809 174362 173657 173919 173887 174575 173898 173909 175856 175123 173920 173920 173920 173920 173920 173922 173922 173924 174815 176388 173925 173933 173925 173925 173925 173930 173922 173916 174781 176354 173888 173890 173888 173888 173887 173884 173879 173872 174341 176157 173866 173872 173866 173866 173866 173866 173866 173865 174739 176327 173863 173863 173876 173891 173900 173859 173462 173100 172863 174564 172618 172618 172618 172618 172618 172105 166641 166716 166505 167091 166441 166056 164606 166413 165954 166542 170035 169798 170202 170589 170916 171928 172607 172434 172769 172849 174416 174614 175468 174937 175190 175938 176367 176337 176082 175779 175828 175885 176264 175310 174857 174586 174645 174067 174638 174078 174089 175361 174100 174100 174100 174100 174100 174624 174103 174104 174481 174105 174105 174105 174105 174105 174109 174095 174081 175350 174067 174067 174067 174108 174063 174063 174057 174051 175738 174045 174045 174075 174079 174045 174045 174044 174043 175733 174042 174042 174042 174042 174040 173420 171967 171388 170054 168344 168344 168344 168344 167589 162227 162858 167973 164331 165082 169628 167602 168566 168955 169426 169917 170366 170541 170645 176172 175397 174695 171362 171241 171394 171469 170846 170986 171008 172796 174603 171162 171246 171303 171347 171463 171520 171625 171677 172808 172161 172663 172973 173284 173608 173770 173773 174003 174073 174303 174304 174449 174138 174366 174639 174636 174742 175049 174322 174810 175169 174810 175861 175903 176690 176701 176790 176909 177115 177351 177433 177635 177754 177920 178192 178315 178349 178277 178226 178107 178023 177913 179211 179310 179624 179140 180214 179906 180765 180493 180530 180811 181027 181270 181370 181608 181673 181943 181627 181777 182011 181857 181746 181719 181563 181392 181760 182379 182264 182205 181992 182590 182720 183236 183227 183373 183531 183787 183830 184054 184104 184399 184010 184081 184175 184079 183934 183828 183701 183545 183200 184521 183943 183424 184065 184792 184892 184329 184276 185030 185208 185711 185743 186068 186347 186659 186710 186898 186972 187147 186934 187009 187130 187014 186711 186564 186399 186075 185762 185768 185585 185570 185688 186518 185735 186233 186528 186891 187149 187104 186840 187220 186953 187184 187429 187421 187199 187676 187468 187577 187712 187395 187447 187257 187163 187098 187010 186875 186705 186699 186595 186389 185964 186392 185635 185635 186605 186825 186799 186812 187902 188152 188892 189083 189255 189227 189783 189641 189704 189921 189971 190161 190806 190513 190554 190406 190139 190042 189986 189695 189799 189884 189639 189208 188824 188707 187969 189061 188014 188494 188780 189079 189434 189736 189404 189759 189510 189715 189321 189768 189502 189905 189485 189501 189383 189064 189028 189120 188695 188563 188185 187461 188022 187390 187445 187484 187623 187239 187233 186311 185287 182212 182289 182303 182338 183155 185204 182422 182513 182538 182645 182686 182762 182879 183041 183280 183579 183916 184246 184811 184903 185386 185229 185544 185814 185815 185612 185727 185590 185894 185865 185965 186159 186119 185489 186005 186305 186669 186646 185140 185943 185037 185046 185037 185037 184700 183230 183329 183325 184134 186870 183363 183412 183457 183498 183559 183630 183716 183809 184755 184225 184750 185102 185436 185755 186622 185897 186424 186695 186482 186661 186961 186267 186805 186802 186855 187099 187037 186411 186644 187221 187525 187605 186364 187266 185941 185941 185941 185961 185941 184090 184217 184221 184251 188016 184292 184402 184457 184493 184563 184599 184716 184791 185884 185370 185554 186103 186420 186743 186856 187271 187127 187163 187502 187733 187504 187831 187254 187786 188087 188147 188413 187359 187983 187643 187953 188289 188610 188281 187252 187289 186968 186974 186968 186968 186634 185213 185213 185246 186451 188779 185322 185401 185462 185497 185608 185608 185730 185821 186880 186300 186557 186875 187411 187511 187842 188464 188115 188116 188398 188470 188714 188882 188445 188633 188848 188968 189292 189485 189142 188555 188745 189077 189602 189702 189369 188947 188265 187967 187967 187967 187967 187289 185928 185859 185047 183149 184956 181487 181560 181620 181650 181755 181815 181935 181961 182152 181505 181776 182311 182627 182948 183090 183093 183322 183394 183623 183624 183397 183840 183690 183990 183964 184043 184288 183061 183649 183099 183400 183727 184046 183962 182303 182422 181509 181509 181523 181532 181537 179633 180943 180955 182067 184863 183438 183762 183808 184377 184425 184711 185446 185549 185552 185553 186238 186238 186317 186367 187133 187237 187239 187200 187244 187270 187715 187558 187634 187645 187852 188157 188476 187751 187981 188279 188254 188341 187859 188242 188093 188392 188363 188445 188776 187975 188923 188140 188638 188974 189296 189372 187768 187779 187816 187502 187506 187502 187502 187163 185656 187629 186202 186206 186162 185970 186349 187382 185945 185887 185805 185734 185650 186346 185620 186142 186447 186823 187153 186210 185672 185928 186488 186794 187110 185675 185662 185887 186229 186568 186896 187228 186411 185615 186133 186431 186795 186858 185255 185285 184935 184935 184935 184935 183539 183207 183211 183227 184514 183243 183259 183291 183307 183323 183324 183372 183369 183379 183648 184786 183399 183409 183429 183439 183439 183477 183472 183506 183874 184907 183547 183569 183583 183601 183619 183634 183649 183649 183920 185385 183683 183690 183709 183726 183735 183714 183657 183657 183668 185388 183680 183681 183700 183714 183719 183699 185073 185083 186258 189335 187831 188118 188118 188620 188627 189035 189699 189719 189721 189765 190428 190457 190459 190546 191254 191257 191284 191312 191349 191430 191821 191650 191904 191860 192095 192287 192377 191790 192312 192555 192366 192367 192397 191946 192148 192168 192407 192734 192190 192577 191977 192193 192750 193057 193142 191577 191674 191704 191354 191354 191354 191354 190335 189632 190072 190124 190095 189997 189892 191186 189888 189853 189745 189679 189605 189539 189511 189367 189225 190512 189214 189124 189050 188977 188896 188822 188807 188808 188817 190107 188826 188840 188847 188854 188861 188863 188881 188885 188904 190195 188923 188953 188968 189015 189037 189000 189018 189009 189027 190849 189045 189073 189112 189133 189154 189118 189095 189088 189106 190908 189124 189152 189191 189211 189232 189197 194060 190616 191819 194943 193423 193701 193701 194254 194258 194604 195254 195348 195351 195328 196074 196047 196047 196047 196742 196779 196781 196809 196837 196961 197002 197221 197446 197599 197918 197781 197751 197602 197917 198176 198177 197459 198178 197444 197741 197970 197971 198292 197437 198300 197504 198025 198357 198674 198651 197241 197935 197236 196921 196921 196941 196947 195101 197185 195605 195648 196824 195517 195409 197235 195402 195327 195275 195213 195143 195006 194986 194866 194722 196522 194709 194622 194564 194461 194364 194286 194254 194110 193941 195746 193904 193858 193803 193705 193613 193536 193550 193551 193563 195300 193587 193601 193611 193635 193635 193635 193645 193640 194027 195387 193679 193692 193718 193731 193731 193721 193714 193722 194096 195129 193748 193774 193787 193800 193800 195274 198692 196496 198912 200167 198430 198461 198974 198974 199044 199459 200079 200101 200155 200831 200831 200925 200925 201645 201779 201781 201782 201743 201795 202485 201826 201928 202460 202562 202885 202224 202224 202436 202495 203041 203042 202813 202916 202391 202657 202997 203225 203550 203320 203013 202382 202597 202942 203470 203564 202934 202116 202785 201858 201858 201868 201882 201888 200096 202178 200613 200633 200609 200526 200420 202162 200398 200346 200294 200234 200166 200015 200006 199862 199712 201526 199693 199590 199506 199456 199374 199259 199235 199075 198907 200198 198900 198862 198749 198681 198607 198554 198527 198486 198151 198528 199561 198119 198062 197978 197906 197824 197725 197740 197740 197754 199485 197777 197792 197819 197834 197847 197815 197809 197809 197820 199636 197831 197843 197873 197885 197895 197863 199283 199260 200546 203708 202216 202483 202518 203015 203019 203092 204126 204146 204218 204243 204896 204929 205000 205003 205712 205715 205787 205827 205810 205880 206469 205860 206184 206174 206488 206810 206787 206249 206433 206543 206757 207072 206850 206957 206506 206694 206909 207020 207344 207537 206510 207193 206495 206981 207324 207644 207634 206456 206140 206170 205834 205841 205848 205834 205834 204045 206178 204661 204682 204638 204555 204720 206185 204427 204362 204307 204244 204173 204089 204045 203901 203744 205551 203718 203599 203513 203424 203326 203279 203249 204338 202891 203162 204300 202858 202780 202714 202640 202601 202468 202437 202282 202099 203899 202086 201993 201920 201872 201759 201668 201639 201450 201252 202534 201236 201189 201061 200982 200894 200888 200783 200777 200781 201140 202173 200789 200800 200818 200830 200843 200806 202264 202247 203536 206711 205214 205481 205525 206012 206087 206433 207110 207130 207181 207223 207851 207945 207976 207978 208687 208690 208692 208759 208759 208843 209234 209050 209129 209119 209299 209542 209943 209203 209432 209731 209699 209700 209301 209876 209514 209814 209802 209858 210103 209278 210252 209456 209950 210246 210552 210646 209416 209195 209228 208884 208888 208899 208884 208884 207058 209262 207657 207658 207628 207545 207436 209175 207414 207352 207298 207235 207163 207043 206998 206854 206696 208508 206669 206551 206459 206372 206270 206207 206186 207349 205828 206099 207237 205800 205717 205584 205498 205485 205405 205377 205222 205039 206839 205026 204936 204880 204812 204736 204611 204578 204389 204190 205471 204173 204075 203993 203916 203824 203774 203724 204869 203269 203523 204661 203207 203107 202940 202837 202824 202713 197544 197550 197556 197562 197574 197580 197586 197379 197134 197256 196991 197590 199867 199402 201862 202110 203684 208475 206386 207321 207335 208457 208496 209491 209566 209625 209628 210831 210886 210890 210923 212186 212212 212305 212346 212366 212536 212812 212872 212892 212897 212959 213024 213050 213140 214516 214114 214226 214355 214366 214410 216241 214454 214582 214729 214856 214987 215433 215451 215504 215563 215640 215653 215687 217430 215755 215842 215955 216073 216185 216614 216633 216568 216675 216675 216698 216973 218111 216740 216855 216936 217028 217187 217538 217617 217471 217603 217608 217644 218937 217680 217790 217881 217987 218163 218604 218623 218686 218554 218622 218622 218657 220396 218727 218841 218968 219090 219216 219640 219659 219807 219615 220572 219645 219919 221057 219705 219868 219973 220089 220263 220593 220670 220535 221389 221401 222219 225860 223235 223374 223374 223671 223675 224042 224062 224042 224067 224482 224484 224486 224489 224944 224910 224910 224950 224910 224909 224921 224921 224927 224939 224736 224715 224642 224724 224672 224571 224446 225720 224422 224311 224226 224134 224042 224017 224021 224008 223777 223808 223812 223828 225115 223844 223860 223892 223908 223924 223924 223964 225236 223971 224240 225378 223991 224001 224021 224031 224031 224060 224055 224066 224457 225817 224130 224152 224166 224184 224238 224208 224223 224223 224494 225959 224257 224264 224283 224300 224309 224279 224222 224222 224233 226019 224244 224246 224264 224279 224284 224255 225040 225041 225752 229384 226680 226745 226745 226937 226941 227187 227187 227209 227212 227498 227501 227503 227505 227823 227826 227789 227829 227789 227788 227799 227798 227797 227840 227615 229141 227602 227654 227611 227510 227392 229214 227375 227277 227224 227154 227076 226939 226922 226778 226620 228426 226593 226477 226415 226336 226249 226114 226121 226122 226131 227956 226140 226154 226186 226200 226214 226178 226195 226199 226218 228024 226237 226267 226307 226328 226350 226315 226327 226323 226341 228077 226373 226396 226425 226415 226467 226432 226404 226402 226691 228156 226452 226475 226480 226494 226508 226511 227075 227058 227561 231738 228301 228301 228411 228415 228419 228586 228590 228569 228751 228778 228781 228783 228957 228957 228957 228995 228998 228957 228948 228959 228958 228955 229001 228821 230311 228731 228763 228704 228615 228750 230215 228432 228379 228221 228128 228105 228023 227975 227855 228039 229476 227607 227526 227369 227267 227244 227152 227107 226758 227112 228145 226682 226603 226450 226350 226323 226283 226268 226281 226553 227691 226305 226329 226341 226353 226353 226375 226358 226371 226640 227400 226397 226423 226436 226449 226449 226436 226425 226438 227723 226451 226464 226490 226503 226557 226516 226931 226864 227205 230433 227751 227759 227759 227829 227836 227931 227951 227953 227931 228075 228077 228079 228082 228217 228183 228221 228223 228183 228182 228187 228202 228203 228199 228081 228082 227993 228024 227962 227861 227731 229000 227702 227585 227494 227407 227314 227261 227185 227016 226853 227103 227863 226773 226616 226530 226438 226427 226314 226272 226125 226190 227655 225870 225797 225724 225643 225554 225421 226329 225193 224987 226784 224951 224826 224755 224670 224577 224454 224450 224450 224464 225746 224478 224496 224505 224514 224523 224523 224529 224519 224530 224795 225507 224547 224559 224565 224571 224571 224784 224735 224859 226439 227940 225168 225168 225169 225169 225178 225204 225186 225210 225211 225239 225241 225243 225244 225279 225281 225244 225285 225244 225244 225245 225257 225254 225255 225038 226513 225017 224987 224943 224735 225101 226134 224691 224615 224548 224473 224390 224271 224214 224094 223929 225708 223895 223760 223686 223597 223463 223396 223325 223162 222978 224253 222955 222913 222762 222677 222583 222577 222482 222416 222254 222298 223763 221980 221890 221810 221722 221626 221496 221441 221246 221023 222821 220982 220833 220732 220628 220515 220466 220396 220390 220394 220648 221786 220402 220406 220410 220414 220456 220419 218431 217897 217447 220506 216986 216986 216897 216901 216905 216825 216829 216808 216808 216746 216749 216719 216630 216630 216667 216668 216671 216630 215962 215697 215690 215181 214656 214084 213156 211004 210990 210884 210798 210668 212386 210612 210537 210470 210394 210309 209698 209396 209252 209084 210886 209047 208921 208825 208734 208628 208163 207714 207525 207336 207590 208728 207272 207184 207027 206929 206916 206103 205949 205788 205578 207351 205538 205414 205341 205256 205163 204439 204092 203886 203651 204896 203598 203458 203355 203257 203144 202815 201646 202312 200539 200359 201492 200021 199918 199731 199618 199605 197546 202574 201249 203082 210236 209541 210428 210442 211473 211490 212496 212609 212628 213039 214195 214286 214291 214295 215425 215531 215626 215592 215634 215779 215965 217352 218106 218505 218930 219807 220426 220193 221202 220804 221477 221293 222078 221721 222134 221696 222110 221731 222404 222341 222635 223516 222440 222256 224123 223597 224610 224760 225364 224609 224323 223792 224658 224025 223097 223134 223143 223395 223741 224077 224664 224755 223609 223640 223845 223332 225343 225883 226835 227208 227935 227948 228296 228438 228899 228854 228971 229414 229900 229970 230157 230476 231064 231390 230912 230305 230257 230429 230018 230724 231049 230956 230876 230687 230625 230517 230592 231148 230589 231138 231504 231833 232174 231311 230915 231045 230707 230974 231050 231003 230757 230772 231526 230758 231283 231635 231962 232299 231487 230765 240843 241379 239502 239836 240773 243045 243437 244213 243509 244034 244373 244715 245042 244932 244212 243883 244296 243932 244597 244266 244382 245108 244725 244803 244908 245245 245106 244511 244636 244691 244365 245359 245397 246276 249555 247540 247964 248021 248622 248705 249364 249410 249427 249776 250548 250636 250641 250740 251438 251566 251647 251649 251654 251804 251919 251909 252093 252100 251943 252267 252596 252478 252208 252237 252453 252270 252583 252488 252082 252260 252473 252287 252610 252938 252205 252880 252410 252710 252923 253044 253097 251817 252692 251681 251681 251681 251698 251711 249819 250815 250815 250849 254619 255438 252827 253213 253242 253772 253782 254442 254492 254535 254857 255510 255603 255577 255663 256270 256343 256382 256476 256441 256656 257338 256759 257279 257306 257296 257621 257330 256841 257361 257664 257639 257630 256884 256956 257104 257404 257376 257464 257655 256881 257556 257098 257410 257616 257749 257647 256750 256820 256431 256440 256431 256431 255412 254616 255415 255404 256005 259127 257013 257363 257374 257854 257912 258489 258545 258618 258607 259454 259584 259627 259631 260105 260208 260213 260178 260261 260430 260647 260703 260890 261179 261169 261488 260727 260718 260947 261530 261531 261522 260751 261318 260745 261276 261274 261315 261556 260728 261761 260821 261342 261610 261690 261601 260571 261235 260310 260310 260310 260310 259963 258451 259119 259144 259667 262608 261008 260964 261004 261477 261560 261576 262321 262359 262348 262717 263286 263321 263358 263851 263949 264061 264064 264069 264225 264335 264338 264547 264613 264827 264949 265140 264977 264400 264629 264968 265183 265174 264546 264538 264755 265091 265304 265425 265615 264556 265232 264536 265038 265314 265382 265367 264196 265064 264046 264046 264046 264070 264076 262226 262693 262693 262692 265449 266268 264034 264079 264107 264500 264537 265228 265299 265357 265618 266123 266206 266249 266251 266677 266703 266794 266854 266852 267060 267813 267108 267135 267384 267698 268020 267827 267208 267411 267450 267664 267807 267980 267345 267335 267545 267824 267893 268214 268456 267307 268113 267319 267805 268104 268416 268516 267862 267697 267046 266814 266822 266814 266814 266814 265017 265161 264262 263850 265115 264099 263367 263409 263730 263831 263837 264511 264545 264587 264955 265357 265399 265401 265403 265756 265795 265799 265908 266013 265459 265476 265683 265687 265683 265803 266025 266089 265522 265749 266025 266026 266017 265551 265552 265756 266029 266027 266094 266336 265181 265772 264978 265472 265768 265756 265850 264631 265020 264435 264132 264132 264132 264132 263433 261730 258874 258900 253522 254000 254026 254148 255119 255409 254585 256242 257528 255657 255682 255841 255841 255911 255912 255917 256193 256409 256437 256439 256441 256636 256671 256764 256727 256768 256760 256843 256925 256958 256976 256862 257081 257420 257984 258310 258124 257490 257672 257740 258173 257905 258087 258058 257956 258035 258454 258055 258942 259706 259535 259660 260235 260329 260560 260608 260804 260771 261058 260777 261201 260634 261156 261497 261829 262160 261446 261273 261095 261395 261362 261386 261225 260934 260910 261100 260596 260922 260926 260748 260708 260467 260156 260006 259986 260328 260059 260357 260711 261052 261381 260653 260487 260300 260397 259877 259945 259624 259303 259259 259427 259006 258814 258752 258586 258321 258915 258274 258792 259090 259403 259718 258888 258249 263468 263547 261066 258524 258524 259310 259384 258926 258836 258439 257091 257805 257053 257553 257882 258202 258517 258474 258293 257988 257897 257637 257475 257124 256631 256402 256097 255594 255025 254622 254672 254350 254352 253129 252527 253074 252240 252127 251763 251655 251470 253356 251771 251896 251942 252043 252119 252060 252045 252060 252367 252519 252521 252548 252622 252702 252769 252764 252804 252759 252784 253176 252695 252713 253251 253241 253565 253049 252908 253126 253196 253426 253417 253239 253395 253115 253410 253382 253452 253780 252977 253494 252798 253296 253565 253634 253710 252505 252610 253214 252311 252311 252328 252329 252342 250449 250077 249803 249459 250220 250253 249849 249848 249920 249917 249969 249881 249868 250136 250222 250222 250222 250303 250300 250336 250321 250414 250375 250463 250766 250361 250558 251114 251104 251429 250638 250505 250735 251319 251320 251311 250507 250507 250724 250998 250962 251096 251275 250933 250333 250551 251108 251096 251181 249946 250110 250820 249790 249790 249806 249814 249790 247786 247527 247050 246478 248362 246706 246771 246749 246795 246792 246622 246620 246622 246877 246913 246969 246971 246967 246860 246814 246809 246842 246892 246859 247266 246785 247310 247616 247606 247925 247470 246981 247266 247802 247778 247769 247453 247047 247236 247499 247488 247806 246951 247559 246765 247286 247579 247619 247596 246488 246555 246624 246232 246234 246232 246232 245173 244045 243822 243291 243614 244766 242722 242738 242632 242620 242690 242481 242455 242420 242789 242629 242602 242692 242687 242577 242602 242599 242594 242555 242447 242361 242501 242558 242801 242894 243114 243076 242509 242738 243077 243321 243312 242981 242575 242761 243097 243314 243636 243406 243030 242401 242623 242961 243176 243270 242944 241978 242633 242048 241748 241748 241748 241748 240348 239681 239457 237826 238789 240074 238018 238027 237876 237860 237931 237656 237616 237854 237713 237732 237834 237828 237523 237549 237565 237644 237640 237506 237488 237405 237538 237600 237914 238236 238479 238076 237509 237508 238033 238034 238349 237520 237699 237829 238128 238126 238498 238760 237553 238157 237363 237849 238148 238460 238560 237285 237030 237692 236676 236676 236676 236676 236676 235264 234096 233768 229989 229410 230664 228559 228547 228307 228362 228360 227977 227936 228194 227949 228016 228058 228052 227637 227663 227648 227590 227737 227297 226856 226495 226479 226539 226751 226871 227062 226777 225994 226221 226497 226467 226489 226424 225664 225943 225958 226173 226493 226265 225549 224949 225144 225473 225686 225780 225448 224198 224020 222975 222672 222672 222672 222672 221959 220296 217953 218305 218378 218378 218389 218389 218390 218390 218382 218376 218371 218370 218355 218354 217913 217782 201059 201065 201076 200807 200834 200615 200359 200838 199349 200116 200189 200189 200200 200200 200201 200201 200187 200187 200181 200166 200165 199431 199362 197589 197929 197966 198211 200898 198858 199185 199493 199807 199981 199966 200023 200023 200034 200170 202539 200056 200060 200087 200092 200058 200058 200059 200060 202563 200061 200069 200092 200099 200062 200054 200048 200451 202525 200020 200020 200020 200020 200016 201530 200004 200414 201885 199998 199998 199998 199998 199998 201864 199996 200409 201880 199995 199995 199995 200033 199991 199322 197860 196634 196661 194032 194037 194060 194072 192258 192910 192986 193534 193814 193825 194006 194311 194315 194506 194811 194811 195007 195351 195356 195580 195915 195915 196150 196488 196488 196731 202117 203318 203385 202486 202490 202501 202507 203105 203093 202859 204903 205103 207816 207776 207753 207755 207758 207955 207697 207683 207689 207609 208427 208377 211286 211279 212560 211220 211213 211191 211196 211357 210960 210877 211371 211159 214001 213996 214256 213960 213944 213934 213756 213965 213846 213705 213473 213026 215921 215889 216010 215725 215725 215704 215533 215771 215615 215319 214750 214087 216933 216919 217109 216802 216532 216479 216628 216599 216432 216124 215070 214176 218150 216893 217980 216780 216480 216261 217303 216358 216191 215883 214341 212937 213330 214642 214838 215132 216091 215324 215592 215592 215596 216093 216093 216093 216289 216619 216624 216848 217136 217136 217371 217723 217723 217966 223264 223272 223583 223592 223604 223610 223927 223932 223941 226554 226754 232386 229051 229028 229030 229033 228972 228972 228958 228964 228881 229675 229625 231559 231544 231508 231493 231473 231470 231355 231224 231220 231613 231401 232928 232819 232809 233933 232705 232695 232455 232442 232323 232076 232109 231662 232599 232554 232359 232359 232353 232324 232085 231943 231636 231544 231176 230513 231044 230969 230923 230642 230589 231515 230424 230097 229850 229032 228138 227611 227599 227307 227295 226567 226519 226383 227364 225811 225464 223437 221980 264285 264299 269731 272041 272968 272988 275314 275324 275332 274548 274945 269482 269875 269886 269900 269912 272923 280962 280975 291409 291424 297547 301576 310453 325226 328316 328218 328409 332070 332442 332541 335196 335342 335322 339184 339590 339543 343665 344315 344413 344443 348603 349363 349287 349569 349607 350386 350992 353054 352882 354018 353779 354214 354722 354580 355559 356824 355822 355918 356726 356574 356410 357831 357398 357873 357118 357600 357854 357337 357511 364080 362978 363167 362619 363294 363610 366438 370223 370538 372599 372774 372539 375830 375065 376046 377713 377410 378611 378487 378032 379229 379150 378311 379658 379960 379240 379227 380015 380731 379876 380761 379819 384219 384909 385883 386229 386449 388460 387786 387309 388553 388874 389363 389480 389203 389986 390157 389403 389665 389706 390450 390551 390113 389660 389361 388909 388558 388041 387925 386622 384924 385190 384908 384439 383868 382890 381522 380910 380567 381915 385353 385354 387618 386670 387821 390651 390366 390777 390894 392349 392728 392733 392119 392200 392094 391397 392717 393078 392339 392719 393058 393411 393750 393397 392502 392890 393838 395197 395265 395522 395411 396169 396229 396268 397177 397216 397035 397092 395947 395721 395853 395694 395714 395676 395392 395365 395855 395953 396218 396066 395369 395119 394888 395054 394696 394699 395020 393508 393271 392579 391495 390435 386280 383779 381687 380134 381720 381241 382013 382794 382920 382926 383640 383732 383768 384388 384481 384455 385144 385215 385344 385351 385000 384983 385517 386570 386480 388591 388928 390643 390862 391478 391338 391755 392315 392440 392664 392758 393382 393639 395435 395904 395673 395506 395997 396619 396032 396425 398031 397997 398981 399039 399446 399615 400064 400032 400235 400160 400482 400114 401360 401611 401738 401256 401005 402392 402266 403964 404113 403994 405189 404435 405195 405865 405913 405972 406809 406837 407489 407597 407649 408225 408361 408430 408393 407393 407206 407028 407900 407268 409031 409356 410962 411130 411263 411316 411624 412130 412012 412553 412453 412468 412908 414151 414120 413822 413646 413504 413984 413416 414249 414175 414492 414353 414544 414506 414294 414371 414837 415240 415209 414685 414048 415046 414290 415413 415596 415333 416555 416365 416413 416480 417284 417314 417989 418047 418149 418741 418832 418837 418871 419538 419690 419658 419557 417897 417911 418040 417269 417685 418229 418778 418639 418935 419124 418992 419067 419656 419773 419784 419179 419262 419465 418727 419602 419209 419313 419022 419288 419131 418697 418446 418551 418654 418623 418005 417300 418051 417139 417077 417273 417015 422270 421449 421905 423192 423373 424056 425136 424404 424808 425462 425455 425202 425617 425703 425978 425427 425887 426681 426522 426338 426885 427059 426939 426901 426593 426739 426624 426650 426670 427198 427431 427909 427861 428059 427999 428097 427834 428078 427504 427538 426714 426562 427071 427875 428795 429355 429799 429941 430965 430924 430038 430447 430944 430746 430746 430692 431503 431426 431783 431283 431359 431870 431505 431442 431358 432543 432065 432274 431885 431692 432099 431571 431460 431423 433689 431205 432533 431809 433003 432851 432917 432987 432769 432951 433207 433872 433919 434636 434752 434770 435426 435525 435531 436190 436234 436238 436900 437036 437105 437068 436427 436986 436739 436984 436691 437087 438676 438210 439171 438935 438873 439220 439362 439559 439473 439496 439491 439719 439225 439931 440496 440268 439964 440025 439898 440820 440463 441479 441508 441538 441407 441367 441675 441368 441593 441616 441796 441582 441902 442296 441116 440933 440815 441534 442258 441469 441736 441760 442479 442547 443250 443356 443360 444020 444099 444104 444743 444883 444890 444519 443491 444077 444056 443755 443793 443673 445100 444815 445953 445818 445753 445973 446020 446107 445846 446240 446017 446038 446066 446352 445907 446245 445458 445812 445470 445545 445118 444898 444789 444492 444437 444512 443637 443762 443770 442610 442324 442204 442013 442604 441354 441978 442063 442666 442782 442800 443412 443511 443517 444129 444173 444178 444803 444939 445008 444971 443977 442516

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