[MO, MO, MO, MO, MO]

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 572.004 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:29:18 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962352/tmpfd4u3434prism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962352/tmpfd4u3434prism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism"...

Type:        MDP
Modules:     arbiter ghost0 ghost1 pacman
Actions:     [] [g0] [stop0] [g1] [stop1] [p] [left] [right] [up] [down]
Variables:   pMove steps xG0 yG0 dG0 xG1 yG1 dG1 xP yP dP
Labels:      "Crash"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 174204 351639 528369 700022 876606 1047495 1223776 1393962 1569383 1745849 1910279 2080279 2258848 2436440 2603272 2775772 2957398 3130009 3307100 3478695 3660187 3824746 4004792 4170634 4339283 4518240 4695188 4861829 5038203 5206702 5377858 5558411 5738319 5899784 6056082 6225401 6398750 6574986 6757021 6935475 7100062 7272584 7452678 7621312 7800576 7969500 8139189 8319028 8491841 8673398 8834702 8995520 9161672 9327095 9503834 9683953 9862376 10025309 10191143 10371553 10550500 10721554 10901329 11066916 11233624 11412323 11589030 11750890 11928128 12097693 12269878 12439905 12619263 12797848 12966713 13127392 13274701 13442833 13610715 13771667 13945299 14096210 14268997 14438217 14613955 14789391 14949391 15116424 15279306 15443871 15620297 15798740 15966909 16141879 16306620 16480796 16658108 16838300 17001781 17167381 17341103 17513353 17685087 17865532 18031363 18198466 18371924 18545801 18724140 18903178 19063544 19237414 19401896 19579586 19727176 19890910 20050191 20194922 20344807 20513247 20683448 20839342 21017140 21190502 21353508 21530919 21697901 21878276 22055178 22215941 22388524 22557026 22733584 22911294 23085494 23243044 23406353 23587100 23764832 23943842 24106701 24280991 24442597 24622228 24797970 24966031 25144558 25311731 25485356 25665335 25832732 26013774 26188970 26340016 26511184 26666661 26845851 27026756 27202794 27363249 27526637 27707939 27885687 28065177 28226151 28399444 28553263 28722860 28882264 29033590 29199414 29360159 29506172 29672873 29840437 29994649 30170210 30341098 30495091 30669914 30843394 31005440 31168927 31338246 31494886 31668605 31831183 32007947 32179827 32350045
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 675.176 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 08:56:36 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964244/tmp_pje6wfgprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964244/tmp_pje6wfgprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism"...

Type:        MDP
Modules:     arbiter ghost0 ghost1 pacman
Actions:     [] [g0] [stop0] [g1] [stop1] [p] [left] [right] [up] [down]
Variables:   pMove steps xG0 yG0 dG0 xG1 yG1 dG1 xP yP dP
Labels:      "Crash"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 144653 293416 444248 596870 743090 892168 1038202 1188749 1339183 1478220 1629290 1774535 1917817 2067118 2212276 2359908 2508241 2654354 2816044 2961900 3112665 3254474 3399199 3550377 3700920 3845505 3994430 4127658 4264336 4410107 4557906 4705842 4852533 5002621 5144996 5290627 5441773 5593130 5737568 5888364 6019220 6152654 6301340 6454857 6594667 6749396 6899133 7037675 7173245 7321820 7468897 7610700 7758936 7896606 8045218 8185016 8339089 8484160 8637683 8789908 8941977 9073822 9206645 9354221 9500333 9654146 9805271 9947603 10086904 10228978 10385407 10529755 10682928 10838078 10979900 11120564 11266388 11410903 11564144 11715452 11858615 12009409 12153460 12296190 12448468 12601261 12743508 12897732 13044880 13175489 13306048 13448753 13597511 13740978 13889177 14027069 14173527 14314040 14464471 14612161 14764353 14914527 15056220 15205729 15351299 15507248 15658962 15806909 15959190 16101553 16251767 16389743 16539127 16684415 16824991 16976311 17117094 17265489 17406673 17555377 17697071 17838525 17989644 18128411 18279126 18423015 18579852 18717114 18869000 19017487 19156686 19296501 19442879 19583877 19721727 19862129 20001538 20128594 20261655 20390078 20544003 20688125 20826482 20962477 21110541 21248063 21377627 21529377 21678655 21814366 21964634 22112059 22247814 22396854 22549870 22690700 22840473 22992495 23140250 23276247 23419343 23559308 23707507 23854635 24005178 24133908 24279537 24411662 24559172 24708428 24853646 24991685 25144405 25289560 25419285 25566547 25717521 25855314 26006150 26155138 26283778 26432140 26574199 26716823 26869543 27021249 27161922 27286365 27433152 27571545 27725933 27871935 28024520 28159195 28308340 28446244 28582570 28726583 28866541 28992022 29130413 29265933 29400203 29522910 29661416 29804494 29932084 30082620 30226127 30372351 30498686 30644201 30794789 30930825 31081390 31215946 31361326 31488413 31637527 31794465 31933460 32080916 32224972
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 685.364 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:18:38 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961926/tmpuk0kpvowprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961926/tmpuk0kpvowprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism"...

Type:        MDP
Modules:     arbiter ghost0 ghost1 pacman
Actions:     [] [g0] [stop0] [g1] [stop1] [p] [left] [right] [up] [down]
Variables:   pMove steps xG0 yG0 dG0 xG1 yG1 dG1 xP yP dP
Labels:      "Crash"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 148949 302475 454713 608666 763577 913517 1061568 1213157 1359084 1510121 1669044 1817507 1961892 2119489 2271791 2426246 2573103 2724679 2870120 3026200 3175626 3322944 3471291 3627383 3781512 3929953 4085507 4231113 4378199 4526351 4679751 4828322 4981237 5123596 5278812 5431162 5589325 5746900 5891592 6037329 6175171 6320976 6475260 6631527 6785236 6935796 7073728 7216039 7375110 7531578 7676301 7834000 7979604 8131717 8275729 8431373 8586110 8733172 8889887 9036487 9188814 9328649 9474141 9622824 9769455 9920786 10060073 10211349 10360862 10520525 10676901 10834356 10977621 11130548 11276611 11432721 11583909 11728047 11883906 12025059 12176410 12325088 12483194 12631183 12789306 12945228 13089272 13234349 13391008 13547500 13698854 13837066 13980612 14112916 14255037 14410684 14565174 14719249 14865483 15020816 15161612 15308817 15457315 15613940 15771947 15926266 16069162 16219165 16366298 16523631 16677372 16825192 16979281 17123559 17275956 17420137 17577029 17729447 17886210 18031159 18184505 18328560 18484267 18638823 18783102 18939762 19092609 19235675 19377343 19534919 19689754 19834634 19990253 20135166 20287718 20431723 20588742 20735235 20875450 21015199 21151233 21278606 21407429 21558234 21710760 21861245 22010698 22148599 22299797 22439652 22597338 22751728 22909134 23050556 23205831 23357162 23503102 23661575 23815417 23972142 24129565 24282574 24424772 24581428 24738559 24894360 25039212 25190711 25340755 25480938 25638553 25794817 25940699 26097040 26250657 26391580 26544806 26697497 26841856 26999837 27154772 27306489 27446403 27600857 27746927 27904383 28061140 28213368 28352987 28501869 28656154 28791932 28937389 29081143 29222739 29346333 29480789 29619652 29776105 29931874 30088906 30242413 30381571 30532055 30679816 30836669 30992669 31146722 31274334 31422659 31560226 31711868 31865911 32021470 32176808 32311072 32459734 32592852 32748024 32897803 33050924 33190038 33340596 33490600 33627660 33784360 33938773
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 741.368 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:43:18 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966570/tmp00sbm13jprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966570/tmp00sbm13jprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism"...

Type:        MDP
Modules:     arbiter ghost0 ghost1 pacman
Actions:     [] [g0] [stop0] [g1] [stop1] [p] [left] [right] [up] [down]
Variables:   pMove steps xG0 yG0 dG0 xG1 yG1 dG1 xP yP dP
Labels:      "Crash"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 138390 284246 423333 568098 712884 866214 1012015 1157065 1303695 1443724 1588045 1731067 1873319 2008975 2154704 2295369 2443067 2580840 2718739 2858360 3003370 3146467 3277247 3416432 3563603 3706927 3846287 3991873 4127967 4266049 4398164 4542507 4686623 4831580 4971289 5105883 5241338 5390556 5530823 5679396 5823064 5958247 6097587 6236909 6387228 6531047 6667221 6815850 6954506 7082416 7207743 7355701 7499455 7641615 7774039 7918802 8056461 8198098 8338737 8483152 8628472 8770032 8914013 9056594 9197292 9332768 9480377 9626456 9774680 9911409 10056322 10192242 10331076 10477869 10613080 10752730 10885894 11022599 11162061 11301651 11442089 11591616 11728618 11878624 12023437 12159782 12294596 12441395 12588379 12725522 12872517 13015440 13147894 13284866 13433081 13580902 13723845 13859627 14004479 14140931 14277450 14425112 14569877 14706009 14852285 14996313 15130947 15267781 15412447 15557392 15694476 15842372 15987132 16115390 16244016 16373745 16514497 16660871 16806978 16941714 17084269 17212210 17353122 17496426 17639018 17783817 17929799 18067215 18210839 18346641 18494135 18629262 18775263 18920687 19065926 19200230 19333186 19478018 19623615 19758980 19906325 20049108 20180127 20321563 20458385 20607003 20752261 20882865 21030423 21174495 21312810 21451435 21599880 21745516 21892634 22025650 22169378 22302893 22441724 22578744 22725317 22873872 23019911 23150019 23291786 23425987 23577266 23715844 23860120 24008188 24151251 24283994 24413391 24545667 24679840 24801693 24935521 25068086 25198010 25308489 25446182 25581062 25712698 25832513 25975177 26119211 26255739 26380505 26517599 26654707 26781770 26919498 27056248 27188588 27309486 27443670 27578669 27705522 27841125 27977792 28112132 28245161 28357445 28486464 28610393 28751943 28886225 29017602 29144828 29254680 29390948 29527379 29655422 29792621 29930190 30072101 30208928 30316114 30432658 30536846 30664312 30790994 30911191 31035944 31151588 31263887 31397888 31516210 31654001 31787718 31913439 32047782 32164252 32300771 32436390 32558915 32699791 32834412 32967420 33091827 33229282 33365947 33491114 33627901 33769107 33903003
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 619.835 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:50:09 GMT+02:00 2026
Hostname: n23m0135.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966885/tmpsdl84nbuprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966885/tmpsdl84nbuprism_from-prism_import_ex_pacman.100_tmp_indir_/model.prism"...

Type:        MDP
Modules:     arbiter ghost0 ghost1 pacman
Actions:     [] [g0] [stop0] [g1] [stop1] [p] [left] [right] [up] [down]
Variables:   pMove steps xG0 yG0 dG0 xG1 yG1 dG1 xP yP dP
Labels:      "Crash"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 173816 350229 528379 698661 876912 1048555 1226157 1396985 1572206 1746505 1914992 2083020 2254183 2433587 2598980 2772066 2948213 3120282 3284297 3449993 3632693 3807429 3977393 4146659 4317223 4500338 4680274 4849314 5015426 5173535 5348976 5516157 5691097 5868952 6036480 6203342 6385085 6549523 6730244 6907452 7074701 7246855 7411095 7570061 7746133 7917923 8081333 8249458 8430907 8609392 8779248 8956452 9122563 9283513 9458013 9635788 9801496 9976651 10145316 10305031 10471998 10630842 10806009 10968733 11141435 11302907 11483283 11654532 11835208 12003629 12171437 12348039 12520052 12701415 12880430 13041129 13201869 13376848 13545898 13723444 13879310 14053866 14217286 14383995 14560311 14735227 14888471 15061704 15212284 15360086 15511264 15677182 15847411 15995643 16167044 16326380 16504807 16668212 16845563 17014733 17177426 17340716 17519228 17679602 17857812 18027623 18183910 18345247 18522097 18685356 18863605 19033511 19191450 19345720 19519692 19678698 19856184 20027253 20184122 20342665 20518656 20692943 20850241 21024350 21182833 21346349 21523630 21698830 21862400 22031527 22190075 22361916 22526159 22700700 22862887 23036374 23193003 23352842 23507805 23672001 23817186 23980898 24139526 24288103 24435318 24610712 24761668 24940442 25113314 25280911 25451346 25624759 25786000 25961350 26132980 26287141 26457259 26620579 26783397 26959054 27128801 27278224 27448103 27605832 27781367 27955171 28125839 28274590 28439629 28575494 28740203 28900228 29059020 29214667 29352873 29503631 29664770 29835984 30008456 30167024 30340002 30496271 30669621 30841343 31012917 31155178 31326431 31481442 31654222 31827284 31996351 32154443 32325064 32477385 32648459 32823958 32987419 33163627 33319650 33454455 33622971 33801402 33955506 34132949 34299833
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g