fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r134st-blw3-143297580100472
Last Updated
August 19, 2015

About the Execution of Marcie for S_DotAndBoxes-COL-3

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5543.090 3600000.00 3600000.00 40.00 [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-2270
Executing tool marcie
Input is S_DotAndBoxes-COL-3, examination is CTLFireabilitySimple
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r134st-blw3-143297580100472
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1433391000029

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

parse successfull
net created successfully

Unfolding complete |P|=136|T|=1072|A|=11968
Time for unfolding: 0m0sec

(NrP: 136 NrTr: 1072 NrArc: 11968)

net check time: 0m0sec

parse formulas successfull
formulas created successfully
place and transition orderings generation:0m0sec

init dd package: 0m3sec


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

858 1462 1901 3002 4016 4779 5177 10722 12849 15564 20506 21489 24679 26153 30581 36009 36509 38142 40006 42529 42899 43780 44495 44710 44860 44813 44753 44930 48772 54440 56835 59734 62402 64976 67740 67467 68251 68587 70766 70804 70936 71278 71415 71519 71674 71884 72144 72335 72454 71903 72088 72274 72369 72349 72427 72530 71879 74128 74912 74851 74596 72381 71529 71760 71550 71353 71352 71410 71396 71345 71382 71319 71334 70908 69818 69417 69556 69255 68947 67815 67491 67310 67446 67563 67481 67453 67419 67345 67130 67116 67072 67119 66757 66576 66265 65822 65680 65622 65479 65310 65167 64882 64997 65029 65003 65131 65087 65028 64932 64719 64630 64332 64148 64016 63849 63224 62938 62820 62540 62366 62273 61939 63488 63712 64121 65101 64818 65822 66043 66153 66381 66411 66348 66294 66260 66400 66367 66327 66428 66616 66714 66670 66645 66688 66510 67156 67633 67779 68378 69064 69140 69348 69456 69332 69314 69399 69158 69199 69199 69183 70205 70802 70776 71495 72331 72472 72409 72439 72390 73363 74138 74233 75348 75546 75618 75647 75680 75755 76489 76797 76797 77022 77197 77154 77315 77521 77589 77713 77672 77617 77621 77696 78363 78300 78265 78241 78139 78618 79227 79520 79718 80281 80219 80316 80468 80439 80316 80077 79946 79652 79544 79462 79301 79601 79548 79566 79416 80421 80556 80765 80946 80899 81297 81372 81383 81388 82099 82262 82322 82843 83073 83396 83406 83445 83380 83371 83568 83693 83709 83909 83813 83744 83711 84173 84394 84660 85112 85295 85325 85354 85725 86060 86206 86373 86375 86397 86423 86575 86753 86786 86815 86912 86925 86880 86855 87087 87106 87039 86941 86939 87074 87096 87045 87030 86991 86949 86466 86539 86972 87067 87508 87722 87745 87837 87908 87993 88031 88079 88080 88374 88442 88629 88686 88660 88744 89009 89067 89011 88971 89120 89143 89183 89159 89246 89237 89307 89351 89453 89448 89444 89478 89578 89668 89668 89670 89660 89721 89784 89762 89731 89779 89799 89797 89875 89790 89782 89768 89727 89695 89646 89651 115210 117497 122635 125238 129101 130172 135827 135986 136096 136841 138799 145156 145511 146445 146617 147046 151452 152734 154741 156811 158541 160621 163282 163429 164356 166097 166634 167260 167423 167818 168953 169253 169648 170266 171447 172015 172527 172766 172655 173230 173349 173483 173955 174187 174400 174481 174924 174890 175348 175558 175931 176180 176310 176272 176221 176239 176256 176086 176029 177080 177359 177537 177605 177568 177499 176840 176805 176095 175727 175507 174950 174921 174719 174597 174989 174620 174563 174375 174366 174150 174220 174270 174244 174167 174090 173959 173859 173798 174620 174642 175360 175539 175572 175762 176039 176142 176206 176305 176385 176393 176386 176393 176331 176184 176147 176049 176090 176056 176037 176028 176768 177030 177108 177747 178008 178228 178311 178178 178119 178178 178146 178102 178231 178723 178936 178987 179434 179753 179752 179774 179679 179983 180196 180156 180169 180279 180956 181014 180954 180986 180861 180823 180776 180736 180755 181438 181451 181461 181346 181409 181330 181968 182076 182123 182176 182038 182053 181928 181893 181809 181785 181987 181991 182127 182064 182396 182421 182383 182338 182472 182617 182648 182630 182773 183145 183286 183480 183655 183945 184032 183965 184004 184076 184007 184125 184367 184474 184544 184693 184640 184591 184571 184704 184704 184695 184842 184864 184898 185113 185098 185130 185215 185319 185426 185548 185577 185556 185520 185489 185487 185232 185374 185251 185407 185424 185465 185485 185474 185740 185783 185985 185977 185943 186025 186151 186147 186194 186218 186278 186261 186364 186345 186373 186406 186422 186483 186566 186587 186599 186576 186588 186728 186681 186667 186649 186608 186637 223443 227551 236168 239685 245076 249130 260616 261506 263063 269622 270306 270792 270883 271109 271644 271843 272116 272986 273068 273076 273414 277977 278840 282019 283098 287633 288559 292040 291720 292546 296818 297507 297850 298112 298534 298745 298764 302443 303058 304188 305721 307559 307685 308601 309515 309724 309977 310007 310066 309840 309747 309681 309612 309168 308241 306825 306481 306468 306123 305714 305434 305023 304526 304187 303160 303122 303001 302956 302909 302791 302762 302692 302993 302205 302185 302209 302140 302010 301995 301938 301783 303714 304450 305766 305995 306904 307449 307667 307774 307884 307791 307822 307751 307716 308062 307955 307843 307661 307737 307789 307828 307690 307667 307691 307503 307439 307403 307431 307688 307811 307988 307439 307382 307312 307331 307154 307192 307058 307075 307116 307074 307039 307322 307358 307409 307137 306934 306779 306721 306605 307725 308699 309515 310226 310533 310492 310427 310469 311273 311692 311826 312048 312274 312191 312240 312332 312336 312391 312214 312055 312108 312214 312885 312811 312775 312734 313459 313608 313658 313622 313136 313168 312873 312720 312593 312368 312229 312155 312319 312218 312298 311928 311970 311898 311898 311952 313098 313153 313520 313326 313885 314190 314286 314270 314207 314150 314112 314496 314705 314534 314715 314783 314801 314756 314685 314668 314998 315131 315230 315309 315188 315073 315021 315283 315324 315444 315253 315054 315078 315277 315805 315964 315928 315962 315900 315899 315975 316205 316197 316489 316624 316685 316856 316856 316990 317042 317073 316760 316710 316797 316856 316725 316773 316629 316635 315910 316042 316595 316752 317293 317393 317497 317605 317687 317752 317787 317779 318229 318394 318607 318505 318454 318790 318822 318843 318819 318915 319006 319090 318978 319054 319187 319301 319365 319429 319524 319563 319669 319625 319604 319622 319832 319793 319668 319691 319713 319747 319974 319938 319916 319854 319836 319813 319720 319689 325524 323419 320714 320462 320297 320024 319695 319478 319180 319119 318497 318615 318410 318518 318369 318764 318953 318903 318931 318860 318969 319161 319261 319403 319527 319513 319512 318139 318138 318147 318158 318033 318057 318051 318054 317976 318031 318117 318129 318091 317908 317879 317832 317753 317690 317340 355333 356345 363041 365109 368523 369742 373853 374108 374118 375159 385732 388968 389487 390927 391260 391866 399221 400832 404058 406343 409721 413854 419293 419495 421282 421458 425259 425708 426804 427104 427193 427376 427658 428314 428337 428369 428469 428333 431614 431858 432764 434600 436317 437676 437391 437871 437900 437148 437597 437459 437282 437328 437350 437149 438008 438292 438573 438657 439231 438258 438623 438062 436715 434496 433781 432895 432010 432001 432200 432087 431831 431109 430754 430186 429449 428414 427648 427301 427042 426664 426592 426518 426456 426711 426368 426367 426409 426396 426105 425292 424696 424414 423843 423724 422655 422548 422240 422027 421706 421295 420649 420317 419481 418787 417251 416722 416429 416565 416560 415743 415452 414907 414042 413500 412006 411450 411131 410981 410859 409965 409727 409394 408494 408132 407772 407656 407482 407428 408677 409102 409653 409184 409232 409809 409811 410011 410249 410253 410279 410136 410075 410025 410082 409924 409838 409161 408661 408881 408890 408867 408876 408760 408728 408675 408645 410251 410741 410924 412023 412346 412538 412631 412594 412718 412548 412251 412211 412119 412058 412066 413392 413839 413935 414670 414979 415012 414770 414751 414637 415350 415532 415678 415640 415797 415708 415673 416345 416574 416582 416760 416354 416173 416152 416174 416229 416205 416054 415946 415997 416570 416467 416418 416193 416045 415931 416679 417344 417695 417909 418036 417712 417941 417428 416925 416454 415860 415324 415161 415059 414867 415122 414876 414997 414544 414588 414589 415422 415399 415720 415014 415134 415517 415618 415636 415535 415498 415460 416689 416961 417129 417674 417806 418254 418168 417980 417945 417924 418060 417986 417744 417574 417504 417444 418146 418424 418469 418748 418858 418824 418775 419168 419281 419300 419157 419059 419009 419053 419232 419261 419252 419461 419596 419684 419857 419857 420012 420067 419849 419574 419441 419503 419554 419470 419277 419132 419105 418378 418243 418900 418899 419068 419029 419290 419351 419449 419544 419590 419582 420144 420221 420502 420396 420342 420505 420652 420653 420627 420720 420901 420984 420840 420916 421092 421078 421078 421139 421233 421277 421417 421411 421352 421366 421526 421479 421375 421228 421233 421234 421307 421348 421340 421314 421231 421181 421090 421076 425187 424937 426416 426277 426824 426784 423719 422504 420687 420597 420637 420599 421228 420912 420907 420733 420769 420639 420745 420788 420859 420835 420849 420903 420417 420710 420404 420304 420248 420371 420269 420231 420022 419948 419871 419794 419723 419607 418788 419023 419089 419090 419111 419076 418899 418975 418927 418888 418880 418815 418764 418800 418842 418796 418790 418512 418487 418485 418483 418496 418468 418466 418444 418410 418430 418423 418431 418406 418413 418383 418382 418284 418204 418207 418172 418187 418181 445395 446687 455493 457440 460567 461961 473078 473645 475158 480814 481277 481582 481341 481256 481932 482105 482187 482894 483111 483058 483362 486789 486409 488831 488764 490469 493201 495966 495533 496179 498515 500418 500729 501017 501084 501499 501650 501790 503289 504168 505249 506161 507073 507612 508187 508636 509165 509269 509114 509203 509002 508976 509025 508673 507848 506502 506354 506227 505832 505510 505389 504999 504979 503492 503532 503394 503393 503341 503721 503081 503068 503115 502954 502713 502665 502623 502423 504166 504761 505965 505871 506471 507006 507126 507249 507336 507275 507283 507057 507019 507459 507236 507272 506748 506868 507040 506959 506905 506883 506889 506678 506988 507300 507261 506991 506740 506572 506584 506443 506327 506348 506262 506297 506312 506171 506263 506419 506221 506376 505626 505425 505337 505262 505784 506037 506329 506611 507029 507086 507036 506922 506837 507581 507886 507956 508142 508340 508415 508381 508309 508320 508393 508383 508030 507956 507977 508546 508553 508522 508471 509015 509103 509052 509156 508849 508702 508715 508595 508271 508018 507731 507512 507443 507562 507337 507456 507015 506968 506916 506921 506894 507906 508130 508694 508483 508696 508774 508836 508787 508788 509051 509248 509094 509174 509216 509252 509201 509096 509118 509246 509537 509627 509475 509369 509213 509137 509216 509141 509159 509164 509139 509032 509033 509258 509580 509510 509536 509480 509462 509511 509686 510017 510078 510120 510109 510120 510089 510075 510249 510325 510181 509843 509762 509795 509825 509621 509686 509580 509589 508875 508965 509482 509574 509763 509917 509924 510041 510093 510227 510257 510304 510305 510655 510648 510896 510872 510772 510880 511198 511100 510911 510839 510926 510935 511020 511037 511094 511162 511221 511269 511361 511359 511355 511385 511438 511571 511571 511573 511557 511577 511730 511707 511502 511359 511423 511427 511608 511477 511429 511396 511235 511181 511084 511054 514119 508797 505349 505043 504937 504578 504088 503814 503345 503191 502203 502121 501618 501374 501050 501382 501425 501232 500753 500542 500271 500543 500427 500364 499898 499432 499161 498700 498560 498193 496593 495827 495787 495773 495671 495454 495440 495412 495322 495255 495324 495373 495352 495172 495071 494703 494560 494520 494403 494126 493927 493903 493875 493750 493622 493595 493500 493346 493254 493229 493120 493032 492371 498515 498291 498697 498958 499959 501616 501093 502330 502875 503794 503998 504023 504215 504502 504546 504793 504836 504964 504997 505390 505082 505084 505354 505382 505478 505650 505714 505838 505834 505640 505620 505506 505188 504895 504813 504763 504719 504362 504753 504819 504911 504903 504932 504840 504899 504787 504701 504626 504656 504800 504868 504975 504988 504963 505138 505423 505371 505465 505421 505357 505427 505403 505327 505252 505289 505301 505308 505387 505434 505471 505479 505639 505387 505353 505328 505353 505368 505374 505387 505452 505446 505481 505664 505697 505716 505869 505838 505799 505810 505723 505723 505737 505711 505708 505693 505899 505864 505883 505905 505919 506065 506095 506059 506118 506023 506119 506055 506043 506090 506109 506150 506209 506241 506322 506242 506205 506178 506969 507053 507063 523031 523054 524252 525302 529284 532637 532654 533080 533137 533297 533371 534027 534427 534709 534817 534780 534817 539170 543080 547753 548516 548470 547449 547897 548273 548759 549013 548953 549084 549192 549202 549274 549367 549508 549691 549776 549808 549853 549986 550177 550156 550140 550515 550506 550755 550786 550759 550855 550875 550912 551044 551074 551134 551203 551196 551110 551449 551447 551486 551470 551539 551961 552172 552229 552226 552220 552246 552259 552319 552342 552346 552391 552397 552404 552462 552476 552522 552481 552502 552722 560613 561572 562192 562304 564471 566532 566883 566897 566963 567060 567113 567298 567351 567268 568908 570664 572809 573325 573306 572638 572773 572821 572885 572973 572964 572996 573040 573012 573020 573066 573080 573050 573140 573146 573248 573310 573320 573340 573235 573125 573122 573108 573119 573111 573099 573098 573170 573221 573209 573187 573220 573212 573214 573234 573199 573294 573295 573324 573269 573128 573175 573208 573311 573461 573514 573514 573523 573545 573548 573607 573572 573579 573527 573931 573925 573908 573927 573898 573869 573822 573774 573699 573699 575661 575638 576384 576538 576533 576647 576725 576822 576739 576682 576619 576637 577707 577499 577930 577835 577944 577912 577145 576563 576541 576492 576446 576337 576241 576211 576137 576091 576026 576023 576080 575844 575952 575902 575863 575820 575822 575717 575683 575647 575645 575597 575503 575378 575397 575416 575461 575456 575451 575495 575630 575557 575443 575427 575423 575427 575427 575431 575458 575457 576361 576316 576135 576444 576455 576524 576551 576569 576546 576461 576415 575518 575492 575503 575255 574110 574073 574083 574106 574157 574167 574154 574239 574214 574185 574189 574202 573853 573823 573762 573634 573580 573585 573588 573562 573602 573569 573610 573609 573609 573606 573583 573610 573603 573591 573560 573533 573496 573496 573467 573451 573451 573451 573507 573535 573539 573527 573531 573505 573534 573486 573498 573543 573496 573463 573467 573574 573552 573542 573547 573424 573347 573326 573153 573073 573052 573075 573075 573053 572961 572924 572902 573061 572988 573048 572977 572886 572880 572903 572896 572857 572804 572791 572780 572751 572703 572865 572778 572682 572733 572817 572830 572718 572705 572673 572625 572581 572528 572508 572400 584282 588425 590534 595472 598192 598364 598370 598362 599969 600131 603871 604023 603993 604034 604061 604119 603900 603869 603627 602762 602796 602697 603677 603724 605106 605324 605876 606490 606564 606648 606595 606531 606479 606475 606439 606438 606960 607069 607291 607264 607261 608287 608825 608896 609562 609848 609956 610693 610631 610808 610605 610933 610921 610883 610725 610653 610882 610901 610865 610857 611071 611223 611511 611621 611734 611749 611753 611704 611540 611366 612209 612071 612294 612345 612657 612636 612702 612719 612740 612768 612768 612883 612842 612954 612998 613003 612932 612923 613323 613236 613103 613235 613260 613309 613496 613502 613348 613354 613336 613325 613343 613410 613363 613302 613284 613275 613225 613193 613191 613352 613085 611932 611506 611702 612375 612515 612824 612913 613051 613154 613136 613211 613234 613089 613179 613188 613277 613308 613268 613531 613527 613550 613554 613546 613526 613556 613527 613477 613417 613359 613209 613190 613177 613119 613126 613128 613143 613163 613181 613191 613195 613159 613122 614913 614590 615656 616128 616046 615693 615615 615430 614845 614351 614317 614307 614109 614015 613250 612615 612476 611940 611382 611265 611447 611662 611884 611829 611839 611828 611762 611735 611657 611804 611837 611914 611908 611949 611961 611916 611901 611934 612044 612075 612150 612189 611875 611832 611874 611899 612046 612071 612125 612158 612000 612030 612021 611779 611816 611814 611802 611779 611778 611989 611990 612089 612194 612558 612628 612638 612633 612585 612566 612507 612407 612453 612458 612541 612646 612679 612755 612744 612813 612829 612859 612911 612915 612908 612928 613002 612988 612976 612963 612996 612986 612919 612747 612783 612797 612795 612828 612830 612812 612850 612850 612854 612867 612839 612861 612858 612822 612804 612804 612806 612931 611932 611723 611531 612764 616734 617284 618324 619133 619257 619180 619959 620612 620603 620492 620553 620442 620475 620643 619703 619125 619085 619293 619100 619125 619420 619490 619486 619740 619697 619574 619613 619573 619693 619619 619725 619836 620218 620119 620056 620067 620073 620099 620108 620181 620112 620166 620369 620381 620470 620449 620438 620784 620919 621003 621195 621205 621183 621082 620989 620989 620989 621285 621159 621182 621136 621149 621126 621112 621118 621085 621053 621109 621114 621218 621170 621255 621144 621124 621206 621121 620992 620962 620937 620947 620951 620965 620945 620997 620982 620953 620873 620884 620886 620893 620959 620965 620901 620844 620838 620837 620831 620886 620986 621052 621085 621131 621079 621207 621247 621217 621171 620893 620793 620861 620945 621005 621001 621066 620849 620841 620764 620709 620692 620613 620562 620566 620580 620611 620611 620600 620301 620650 620520 620577 620706 620578 620543 620610 620555 620540 620491 620471 620485 620545 620472 620482 620517 620514 620518 620487 620468 620354 620248 620142 620150 620148 620047 620008 619913 619780 619661 619588 619553 619571 633092 633093 632248 632139 630449 630410 630116 630031 629780 629820 629893 629649 629590 629628 629530 629535 629403 629309 629349 629287 629456 629374 629397 629269 629108 628999 628533 628544 628584 628572 628534 628474 628408 628167 628097 628112 628083 627873 627900 627949 627903 627817 627736 627677 627699 627707 627758 627837 627867 627965 627978 627958 628019 628018 627986 628011 628036 628062 628082 628094 628106 628024 627979 627448 627357 626797 627296 627108 626942 626595 625565 625096 624960 624736 624757 624571 624640 623985 623534 623481 623244 623060 622947 623097 622713 622689 622608 622568 622546 622622 622584 621483 620681 619874 619671 619640 619615 619641 619640 619698 619607 619364 619365 619309 619288 619326 619317 619351 619245 618893 618493 618363 618283 618258 617857 617816 617779 617679 617460 617363 617265 617274 617274 617362 617378 617383 617392 617400 617332 617302 617290 617063 619684 620287 620469 620480 620588 622004 622217 622136 622585 622808 623252 623218 623528 623018 622670 622425 622511 622486 622481 622367 622529 622703 622702 622705 622717 622670 622561 623053 622959 623137 623318 623149 623601 623706 623696 622714 622522 623019 622956 623144 624002 623794 624007 624135 624209 623699 623567 623557 623539 623523 623579 623650 623654 623743 623797 623759 623747 623627 623434 623322 623345 623719 623420 623603 622440 622060 621037 620013 620069 619958 619958 619454 619370 619085 619055 618964 618918 618932 619006 619101 619017 619103 619126 619170 619176 619224 619221 619173 619177 619180 619154 619170 619173 619189 619107 619037 618967 618957 618962 618916 619004 619021 618797 618789 618661 618692 618495 618357 618411 618421 618484 618490 618534 618593 618604 618572 618548 618606 618577 618574 618575 618640 618615 618590 618579 618537 618523 618508 618526 618529 618541 618529 618463 618435 618405 618340 618338 618277 618277 618321 618277 619045 619043 619046 619049 621033 622074 622607 623044 623068 623423 623703 624009 624396 624660 624932 625047 625145 625138 625155 625157 625122 625255 625355 625420 625429 626023 626614 626866 626980 626919 626923 626997 627031 626992 626937 627171 627262 627339 627315 627473 627567 627666 627628 627790 627927 627953 627837 627835 627814 627733 627705 631806 633466 633444 633836 633913 634551 634439 635001 635447 635416 635456 635486 635587 635607 635564 635570 635794 635839 635939 635963 635970 635970 635954 635874 635896 635855 635912 635817 635770 635800 635813 635787 635774 635784 635734 635722 635732 635749 635720 635761 635781 635829 635820 635810 635881 636693 636584 636704 636647 636656 636674 636789 636808 636732 636778 636725 636771 636698 637119 637354 637656 637556 637490 637332 637335 637817 638058 638229 638315 638255 638226 638237 638192 638207 638177 638180 638161 638130 638109 638122 638133 638174 638223 638225 638212 638154 638147 638134 638173 638174 638174 638439 638720 638711 638793 638736 639123 638955 638928 639053 639099 639079 639334 639279 639462 639527 639567 639570 639518 639562 639576 639633 639646 639658 639655 639628 639577 639655 639640 639614 639304 639303 639176 639178 638939 638980 639015 638992 639390 639320 639232 639252 639258 639429 639566 639536 639461 639447 639448 639366 639376 639435 639403 639412 639397 639348 639233 639179 639389 639613 639872 640121 640151 640363 640357 640171 640082 640061 645925 647200 648810 649656 650260 650693 650933 651253 651393 654237 653418 654974 655489 657337 657312 658291 658717 658990 659383 659094 659406 659473 659608 659805 659970 660070 660253 660580 660560 660536 660829 660976 661045 661270 661296 661329 661329 661203 661146 661239 661092 660977 660948 660897 660865 660853 660803 660940 660975 660868 660859 660804 660750 660927 660916 660941 661008 661121 661201 661182 661118 661066 661047 661194 661266 661428 661479 661544 661583 661528 661517 661551 661684 661700 661788 661883 661902 661930 662199 662154 662196 662203 662093 662026 661985 662169 662335 662372 662503 662528 662386 662400 662398 662398 662446 662493 662541 662525 662694 663072 663310 663562 663683 663727 663780 663804 663827 663846 663884 663960 664002 664085 664087 664167 664170 664159 664224 664221 664287 664410 664511 664683 664790 664923 664989 665059 665093 665336 665409 665469 665491 665495 665483 665501 665530 665536 665471 665560 665736 665697 665668 665735 665861 665873 665881 665909 665959 665932 665892 665897 665893 665926 665941 667808 668241 668616 669029 669124 668978 669013 669072 669157 669175 669049 669288 668533 668765 668910 668816 669000 669094 669237 669294 669342 669397 669392 669391 669465 669446 669487 669255 669258 669248 669248 669396 669467 669575 669612 669584 669684 669860 669893 669991 669999 670006 669970 669970 669971 669877 669897 670210 670357 670374 670451 670350 670275 670250 670222 670289 670310 670314 670359 670353 670345 670366 670345 670364 670367 670427 670489 670530 670489 670545 670609 670558 670469 670408 670308 670376 670376 670370 670373 670408 670382 670385 670385 670348 670265 670318 670307 670424 670272 670254 670237 670225 670146 670186 670176 671418 671184 670786 670943 670860 670945 670940 670917 670970 670468 670434 670348 670353 670400 670500 670570 670591 670639 670641 670740 670837 670925 670910 671035 671088 671043 671181 671110 671066 671133 671040 671100 671060 671059 670877 670872 670848 670833 670906 670943 670925 670974 671032 671038 671061 671206 671213 671238 671054 671080 671094 671050 671033 671974 672318 672586 672222 672368 672209 672188 672212 672034 671894 671879 671708 671213 671012 671042 671248 671330 671541 671694 671677 671706 671803 671827 671730 671711 671430 671506 671510 671545 671538 671557 671535 671525 671534 671538 671542 671473 671528 671585 671659 671620 671437 671492 671369 671075 670935 670878 670844 670816 670826 670799 670796 670791 670705 670696 670743 670679 670657 670625 670371 670233 670197 670206 670251 670233 670242 670227 670227 670167 670184 670171 670148 670740 671114 671216 671518 671562 671695 671587 671609 671615 672255 672625 672946 672878 672890 672878 673019 672968 672966 673084 673220 673159 673172 673171 673123 673151 673145 673158 673146 673159 673175 673203 673003 672982 672983 673064 673035 672806 672600 672438 672605 672584 672611 672416 672414 672270 671993 671994 671992 671950 671963 671963 671919 671758 671819 671728 671678 671442 671234 671025 670942 670693 670446 670038 669529 669495 669529 669148 669028 668680 668661 668767 668778 668856 668817 668888 668907 668915 668990 669088 668910 668904 668914 668926 669018 669002 669014 668999 668999 668996 668971 669002 669002 668971 669044 668853 668604 668396 668032 667701 667487 667397 667317 667250 667308 667283 667254 667260 667263 667258 667228 667163 667121 667089 667019 666825 666746 666607 666561 666575 666483 666480 667465 667892 668509 668713 668777 668910 668806 668680 668912 668888 669013 669105 668946 668939 668901 668885 669023 669148 669255 669250 669568 669544 669748 669802 669785 669798 669960 669924 669850 669853 669797 669671 669765 669714 669513 669430 669127 669040 669217 669321 669423 669444 669402 669321 669243 669224 669166 669124 668983 668977 668962 668948 668965 669024 669115 669087 669199 669158 669088 668919 668919 668845 669105 669368 669812 670302 670678 670633 670928 670986 671279 671325 671784 671931 672075 672076 672131 672200 672236 672248 672286 672306 672325 672316 672273 672362 672369 672386 672416 672466 672443 672442 672467 672469 672466 672438 672279 672317 672303 672603 673019 673137 673189 673267 673300 673515 673573 673547 673612 673631 673808 674027 674305 674398 674389 674396 674400 674403 674433 674460 674730 674603 674491 674501 674483 674425 674357 674382 674389 674401 674513 674443 674425 674492 676643 677416 677450 678455 679480 680105 680039 680095 679943 680038 680287 679999 680312 680289 680310 680688 680817 680833 680857 680843 680884 681009 681185 681171 681186 681256 681194 681148 681245 681577 681664 681775 681997 681987 681994 681879 681894 681806 681821 681739 681686 681504 681641 681650 681644 681487 681497 681475 681723 681829 681867 681943 681861 681794 681692 681834 681932 681927 681879 681768 681724 681713 681585 681454 681412 681251 681138 681115 681102 681102 681103 681074 681017 680985 680944 681025 681059 681108 681093 681089 680934 680909 680895 680780 680686 681219 681275 681299 681471 681199 681307 680955 680945 680824 680757 680622 680538 680405 680353 680431 680458 680749 680815 681040 681079 681111 681183 681192 681031 680885 680489 680273 680225 680136 680103 680299 680267 680296 680155 680103 680155 680190 680202 680208 680133 680137 680127 680122 680041 680148 680169 680225 680235 680224 680205 680352 680437 680530 680671 680752 680778 680698 680654 680679 680638 680639 680513 680406 680462 680471 680403 680412 680403 680467 680486 680490 680491 680488 680253 680271 680252 680252 680287 680291 679253 678800 677915 677773 677747 678627 678818 678962 679019 678973 678811 678918 679013 678973 679555 679570 679800 680028 680184 680107 680143 680181 680179 679903 679823 679794 679786 679832 679764 679749 679704 679584 679420 679192 678890 678620 678421 678289 678174 678002 677969 677921 677847 678004 678007 678080 677975 677926 677926 678337 678408 678520 678765 678790 678798 678808 678636 678606 678595 678595 678597 678613 678595 678558 678598 678598 695198 694760 692908 692319 690274 690225 690066 689919 689993 690031 689886 689776 689771 689662 689632 689492 689371 689297 689189 689203 688786 688762 688685 688541 688509 688490 688488 688444 688027 687609 687569 686685 686279 685780 685304 685091 685064 684854 684796 684721 684581 683829 683689 683676 683436 683405 683409 683225 681981 681707 680878 680793 680800 680807 680810 680851 680807 680640 680574 680325 680286 680247 680119 680119 680082 679980 679923 679923 679956 679725 679471 679458 679460 679416 679362 679119 679096 679035 678958 678853 678802 678781 678747 676384 676021 675796 673906 673736 673579 673723 673916 673966 673997 673969 673980 673988 673994 870131 881912 908269 927228 951409 956048 1007451 1009271 1009344 1011109 1012007 1017659 1042020 1044132 1045096 1046259 1047506 1047962 1047985 1047998 1048165 1048668 1048822 1048530 1049016 1049259 1048489 1051344 1052876 1054417 1055122 1055112 1055307 1055622 1057185 1057585 1057787 1063158 1065315 1068680 1070404 1074389 1072008 1075603 1074605 1075172 1075502 1075749 1075662 1075860 1075741 1075625 1076460 1076171 1076721 1076273 1075164 1072909 1072844 1072673 1072860 1072511 1072462 1071347 1070992 1070398 1070267 1070193 1070241 1069610 1068046 1066917 1066952 1067185 1067069 1066294 1066168 1066130 1065596 1065313 1064960 1064787 1064779 1064935 1064564 1064393 1064186 1064065 1064045 1063951 1066815 1066902 1066847 1066698 1066880 1066864 1066638 1066588 1066531 1066470 1069715 1070368 1073252 1073752 1074830 1075733 1075863 1076019 1076138 1076106 1076165 1075934 1075841 1075754 1075875 1075747 1075422 1075081 1074847 1075013 1074800 1075409 1075430 1075420 1075909 1076150 1076165 1076371 1076361 1076288 1076155 1076094 1076008 1075971 1076575 1076859 1076886 1076710 1076456 1077155 1077035 1076867 1077304 1077451 1077215 1076969 1076985 1078483 1078436 1078242 1077729 1077618 1077784 1080027 1080082 1080101 1080106 1080096 1081850 1082438 1082641 1082832 1083132 1083091 1083086 1083226 1083103 1082913 1082774 1082474 1082402 1082568 1082512 1082621 1082616 1082776 1082909 1082826 1082425 1082165 1083705 1083653 1083835 1084128 1084544 1084916 1084957 1084937 1084989 1084968 1084939 1085175 1085280 1085390 1085295 1085436 1085379 1085779 1085517 1085121 1085160 1085135 1085116 1085310 1085699 1085612 1085605 1085490 1085541 1085887 1085644 1085691 1085658 1085657 1086251 1086852 1087205 1087258 1087379 1087403 1087422 1087345 1087283 1087163 1086989 1086925 1086766 1086810 1086792 1086812 1086740 1086484 1086146 1085522 1087040 1087245 1087611 1088118 1088110 1088217 1088274 1088440 1088563 1088545 1088531 1088561 1088626 1088632 1088650 1088652 1088886 1089067 1089499 1089267 1089343 1089365 1089573 1089488 1089928 1089832 1089931 1089901 1089914 1089950 1089916 1089940 1089960 1090087 1090059 1090090 1090069 1090043 1090284 1090287 1090231 1090197 1090032 1090027 1090044 1090035 1090107 1089940 1089802 1089707 1104565 1104010 1103750 1103724 1103689 1103293 1102986 1102457 1101567 1101450 1101272 1102560 1102111 1102732 1101432 1100955 1100473 1099763 1099670 1099575 1099512 1099378 1099324 1098230 1097917 1097739 1097721 1097617 1097557 1097406 1097172 1096963 1097004 1096930 1096893 1096870 1096642 1097592 1092274 1090092 1089828 1089697 1089580 1089203 1088969 1088836 1088820 1088790 1088603 1088500 1113728 1115953 1124184 1125096 1126333 1131599 1138873 1139835 1139891 1139925 1144829 1154090 1154613 1155348 1155835 1156293 1163066 1164349 1166860 1169406 1173765 1177512 1182318 1182635 1186770 1187133 1188271 1188357 1188530 1189181 1188962 1189058 1188903 1191146 1191229 1191902 1193071 1194139 1194497 1195198 1194850 1195304 1195103 1195568 1195725 1195974 1196051 1196994 1196970 1197245 1197126 1197288 1197045 1196767 1196699 1196649 1196371 1196356 1196192 1198243 1199262 1199513 1199535 1199701 1199812 1199942 1200163 1200353 1199600 1199088 1199014 1198679 1198479 1197942 1197973 1198072 1198113 1197504 1197493 1197474 1197466 1197495 1197549 1197887 1197445 1197698 1197259 1196959 1196225 1195656 1195539 1195658 1195309 1195034 1194936 1194670 1194304 1193955 1193865 1193839 1193630 1193606 1194502 1194836 1195364 1195313 1195884 1196147 1196317 1196368 1196355 1196315 1196745 1196762 1196897 1196884 1196970 1196998 1196918 1196918 1196905 1196909 1198115 1198412 1198681 1199154 1199531 1199842 1200010 1200028 1200091 1200335 1200379 1200253 1200101 1199966 1199846 1199631 1199583 1199546 1199309 1200321 1200641 1200724 1201443 1201616 1202514 1202520 1202632 1202670 1202680 1202779 1202690 1202685 1203497 1203686 1203704 1203754 1203555 1203474 1203491 1203540 1204412 1204570 1204669 1204719 1204686 1204714 1204699 1204684 1204628 1205053 1205513 1205735 1205953 1206231 1206211 1206344 1206250 1206161 1205887 1205820 1206234 1206170 1206117 1206383 1206354 1206472 1206521 1206278 1206194 1206140 1207042 1207120 1207509 1206693 1207023 1207088 1207166 1207145 1207351 1207903 1208056 1208100 1208364 1208685 1208815 1208771 1208641 1208610 1208598 1208566 1208551 1208555 1208937 1208995 1209099 1209201 1209277 1209679 1209662 1209588 1209547 1209536 1209808 1209835 1209833 1209869 1210067 1210060 1210074 1209985 1209925 1210027 1210029 1210065 1210143 1210396 1210393 1210107 1210008 1210518 1210515 1210658 1210789 1210810 1210866 1210873 1211035 1211096 1211111 1211103 1211392 1211365 1211462 1211677 1211707 1211666 1211795 1211768 1211892 1211867 1212063 1212067 1212089 1212109 1212192 1212142 1212128 1212139 1212261 1212214 1212227 1212222 1212205 1212327 1220304 1220436 1222013 1222403 1223167 1223499 1222283 1222297 1221343 1221281 1221195 1221201 1221211 1221213 1221213 1221150 1221150 1242112 1244091 1254008 1257016 1262237 1265652 1277964 1278975 1280277 1288045 1288362 1288533 1288452 1288877 1289228 1289080 1289670 1293042 1292765 1295772 1299095 1300116 1300103 1300856 1301735 1302150 1304928 1305388 1305689 1305932 1306016 1307439 1308241 1308720 1309869 1310535 1310730 1310696 1310627 1310566 1310283 1310425 1309329 1309228 1308981 1308955 1308945 1309146 1309173 1309081 1309097 1309087 1308929 1309278 1309819 1310408 1311026 1311176 1311678 1311752 1312093 1312178 1312364 1312725 1312884 1312924 1313175 1313283 1313297 1313498 1313324 1313282 1313273 1313285 1313328 1313845 1314309 1314623 1314982 1315213 1315311 1315209 1315106 1315132 1314833 1314795 1315097 1314981 1315018 1315080 1315427 1315841 1316239 1316649 1317128 1317366 1317506 1317478 1317484 1317777 1318345 1318388 1318453 1318446 1318458 1318458 1318450 1318419 1318425 1318888 1319178 1319256 1319390 1319392 1319496 1319357 1319268 1319140 1319430 1319362 1319484 1319391 1319425 1319500 1319230 1319045 1319622 1319755 1320124 1320562 1320820 1320809 1320960 1320898 1320892 1321095 1321477 1321647 1321692 1321826 1322015 1321998 1321924 1321889 1321855 1321833 1321961 1321828 1321705 1321568 1321753 1321724 1321700 1321694 1321670 1322003 1322201 1322148 1321983 1321619 1322050 1322236 1322531 1322636 1322737 1322725 1322689 1322685 1322850 1322900 1322962 1322956 1322976 1322996 1323139 1328022 1327226 1325484 1325163 1325191 1324885 1324157 1324264 1324379 1323907 1323933 1324082 1324029 1323847 1323868 1324065 1323855 1324172 1324317 1324207 1324078 1324015 1323946 1323862 1322983 1322820 1322830 1322791 1322611 1322699 1322655 1322670 1322534 1322451 1322179 1322062 1321996 1321921 1321767 1321689 1321708 1321616 1321545 1321548 1321507 1321486 1321480 1321410 1321276 1320923 1320749 1320766 1320679 1320610 1320589 1320566 1320535 1320478 1320443 1320393 1320302 1320177 1319374 1325319 1325314 1325683 1325967 1326324 1327488 1327611 1329000 1329979 1330384 1331201 1331958 1332464 1332490 1333089 1333282 1333525 1333408 1333462 1333694 1333907 1334025 1334205 1334325 1334347 1334385 1334507 1334611 1334755 1334664 1334650 1334572 1334336 1334314 1334177 1334138 1333874 1334056 1334055 1334071 1334189 1334230 1334439 1334392 1334384 1334394 1334321 1334409 1334409 1334427 1334357 1334481 1334416 1334343 1334318 1334355 1334469 1334480 1334710 1335014 1334959 1335007 1334922 1335015 1335097 1335076 1335075 1335128 1335283 1335311 1335327 1335320 1335480 1335327 1335373 1335426 1335465 1335475 1335470 1335505 1335521 1335541 1335577 1335540 1335517 1335675 1335683 1335681 1335785 1335809 1335824 1335921 1335879 1335888 1335871 1335857 1335873 1335885 1335859 1336063 1336018 1336055 1336101 1336128 1336151 1336147 1336235 1336237 1336300 1336347 1336335 1336380 1336419 1336426 1336482 1336414 1336409 1336399 1336416 1336476 1337150 1337145 1337377 1337382 1348054 1348676 1349863 1349866 1352808 1356078 1356211 1356226 1356310 1356399 1356923 1357127 1357280 1357391 1357297 1358329 1358688 1360215 1362534 1363016 1362195 1362251 1362364 1362624 1362743 1362786 1362853 1363226 1363443 1363630 1363958 1363963 1364013 1364122 1364315 1364514 1364535 1364548 1364480 1364627 1364619 1364751 1364925 1365102 1365281 1365290 1365420 1365460 1365530 1365577 1365579 1365634 1365640 1365524 1365688 1365676 1365936 1366129 1366287 1366332 1366332 1366381 1366364 1366422 1366422 1366463 1366478 1366519 1366535 1367066 1373864 1373880 1374439 1374999 1378080 1378222 1378371 1378413 1378433 1378779 1378916 1378920 1378899 1378962 1378861 1379551 1379452 1380204 1381539 1381922 1381435 1381456 1381534 1381661 1381750 1381751 1381817 1381934 1381887 1381913 1382104 1382221 1382405 1382522 1382522 1382626 1382632 1382664 1382758 1382817 1382805 1382732 1382904 1382903 1382956 1382943 1382927 1383013 1383127 1383337 1383335 1383325 1383417 1383410 1383413 1383432 1383443 1383440 1383449 1383499 1383503 1383568 1383674 1383828 1383870 1383880 1383885 1383871 1383883 1383876 1383909 1383925 1383912 1383916 1383988 1383938 1384672 1384701 1384987 1385558 1385593 1385566 1385552 1385563 1385647

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_DotAndBoxes-COL-3"
export BK_EXAMINATION="CTLFireabilitySimple"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/user/u8/hulinhub/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_DotAndBoxes-COL-3.tgz
mv S_DotAndBoxes-COL-3 execution

# this is for BenchKit: explicit launching of the test

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