[MO, MO, MO, MO, MO]

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 711.211 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:28:59 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954905/tmpc1p6bo61prism_from-prism_to-tra-xz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954905/tmpj8nv34mrprism_from-prism_to-tra-xz_ex_pacman.60_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954905/tmpc1p6bo61prism_from-prism_to-tra-xz_ex_pacman.60_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... 142276 289318 439186 592451 733347 883193 1030749 1177711 1322541 1470254 1614460 1772052 1918702 2060997 2208743 2364403 2510486 2657901 2810640 2967742 3107922 3248537 3399596 3549908 3704232 3853705 4007297 4142433 4280290 4432974 4582436 4734913 4873527 5011647 5162192 5301658 5451684 5599337 5754298 5896569 6044619 6189036 6336302 6490941 6646144 6792620 6945862 7079045 7216263 7367979 7517122 7668280 7805712 7957092 8101672 8240250 8393071 8545018 8698329 8838982 8989198 9131615 9275666 9431534 9582533 9729548 9882299 10023025 10174054 10303998 10447751 10584617 10736312 10886393 11019510 11167811 11313376 11468624 11614595 11754080 11903742 12043740 12188196 12340782 12495467 12639147 12793638 12945823 13087203 13232885 13387357 13539210 13683771 13838303 13977210 14124935 14269285 14421422 14563972 14720137 14870887 15007490 15144088 15277212 15414225 15560509 15710002 15849651 16003514 16144752 16295207 16439887 16592255 16744643 16894593 17035834 17180154 17328448 17472778 17625255 17776087 17927220 18068572 18216919 18355283 18507667 18663694 18818545 18970961 19111187 19253932 19403598 19551263 19706862 19860267 20010929 20144196 20282158 20432880 20577972 20727335 20878885 21029098 21163721 21303402 21452220 21597322 21753301 21909771 22061967 22200568 22342932 22495059 22639901 22785703 22931490 23070611 23194732 23326193 23446915 23600614 23750780 23893660 24034958 24165967 24312403 24443107 24596639 24749424 24899736 25037009 25189054 25337289 25475910 25629545 25781200 25932373 26072762 26221957 26364787 26500440 26644363 26790762 26922329 27075744 27222508 27362094 27484363 27635273 27785284 27922845 28073694 28222629 28357429 28506686 28659622 28796437 28939956 29078864 29210412 29332646 29460710 29587763 29730352 29880046 30026817 30172402 30312326 30445633 30592643 30736490 30888877 31041697 31176674 31303922 31451331 31595816 31739552 31889384 32040437 32189518 32318216 32465210 32597702 32750524 32897664 33047313 33195590 33327913 33476965 33607156 33762138 33914715 34066601
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.xz:	File does not exist.

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 701.310 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:46:41 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955626/tmpmr5547evprism_from-prism_to-tra-xz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955626/tmprg8dpv30prism_from-prism_to-tra-xz_ex_pacman.60_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955626/tmpmr5547evprism_from-prism_to-tra-xz_ex_pacman.60_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... 145907 296003 444295 594558 738739 889846 1032453 1181604 1331584 1475020 1623893 1771097 1916751 2059054 2211262 2363481 2509785 2651246 2797230 2943655 3098275 3245786 3384517 3528233 3681801 3832813 3975729 4125693 4270564 4408264 4558593 4702944 4855000 5000638 5141371 5286651 5441476 5595222 5748567 5893600 6033265 6164429 6310680 6464041 6615617 6765586 6911492 7045603 7187663 7342445 7494509 7635526 7788971 7939770 8080776 8222339 8377471 8529399 8683307 8827490 8978637 9121323 9253388 9392615 9540021 9685206 9835528 9980186 10115501 10254081 10408343 10557741 10708830 10847278 10996086 11137269 11286418 11433553 11586368 11737578 11882040 12032247 12173830 12323663 12471580 12624447 12776937 12927776 13067538 13209600 13360962 13514569 13666676 13799833 13939828 14068217 14205199 14349155 14501001 14649975 14796034 14949206 15087064 15232670 15376458 15529349 15678061 15822518 15973839 16116705 16266110 16409385 16562022 16713523 16852589 17004219 17145247 17291274 17432432 17586209 17736213 17889023 18030017 18178622 18319060 18470467 18612932 18766051 18919184 19059174 19208070 19348863 19500114 19651306 19794670 19945749 20094339 20233846 20374191 20523708 20672064 20808064 20948189 21085759 21214785 21343067 21482974 21631457 21779515 21929478 22069102 22218283 22355529 22506244 22658072 22808035 22950072 23100380 23248100 23386467 23536526 23685568 23832301 23973949 24124336 24271489 24405747 24555220 24706803 24845144 24997248 25145510 25291861 25425074 25570709 25719332 25856119 26004409 26150284 26281263 26424555 26560504 26697797 26845372 26992760 27139418 27271101 27415573 27559984 27699036 27846012 27998018 28149458 28288063 28437891 28575799 28717258 28857847 28998878 29138858 29264026 29399526 29535437 29689493 29843030 29994657 30144442 30278653 30424783 30562188 30717465 30869241 31022024 31151588 31300118 31444630 31578480 31729795 31877565 32030045 32168431 32319057 32466117 32596748 32751218 32900299 33036733 33183788 33331027 33467621 33615495 33770435 33921789
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.xz:	File does not exist.

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 716.315 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:37:33 GMT+02:00 2026
Hostname: r23m0212.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955247/tmpqptxwbooprism_from-prism_to-tra-xz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955247/tmp86lxo59eprism_from-prism_to-tra-xz_ex_pacman.60_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955247/tmpqptxwbooprism_from-prism_to-tra-xz_ex_pacman.60_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... 142316 288581 435005 585169 729097 878223 1019549 1169077 1307685 1449031 1587401 1734061 1876549 2017732 2166181 2308839 2459474 2600495 2743101 2892175 3041827 3188084 3323341 3458537 3603577 3751984 3894419 4041100 4184441 4332229 4479645 4630366 4774530 4924909 5057661 5190487 5337260 5485148 5632405 5774605 5924468 6065521 6210211 6355700 6504188 6653805 6802056 6939837 7079443 7226229 7372483 7521577 7659593 7800015 7938167 8078193 8215966 8368073 8516197 8658323 8807281 8953438 9092114 9229380 9380659 9529159 9678707 9816420 9963452 10102286 10247836 10390037 10531907 10671815 10819225 10954343 11097784 11233597 11383273 11533905 11673366 11823351 11969882 12109267 12248428 12398236 12548511 12697220 12836858 12984233 13122678 13269452 13412238 13562396 13711812 13858198 13995597 14134617 14280979 14423957 14574898 14724847 14872963 15007027 15138617 15263976 15398846 15539748 15689520 15836911 15981673 16113904 16257893 16398308 16548127 16695579 16845483 16981301 17128179 17267046 17414882 17565012 17702038 17852939 17999438 18137229 18275789 18422836 18573110 18718555 18869723 19016880 19151035 19297633 19438389 19588403 19734342 19884368 20022305 20167784 20306380 20452080 20595730 20744377 20892545 21039630 21175665 21320141 21458701 21608019 21748092 21898910 22046928 22183291 22320347 22449747 22590119 22727426 22868264 23013547 23146190 23288795 23417874 23568452 23716988 23864690 24013970 24148581 24293727 24428629 24577549 24726562 24873722 25012291 25159782 25305698 25439594 25587653 25736822 25884141 26021620 26170405 26315783 26448520 26588029 26736928 26872157 27023142 27170787 27315640 27449880 27597960 27747365 27884547 28034855 28181827 28326764 28461503 28608883 28745202 28885274 29024431 29161898 29293897 29412289 29539312 29682252 29832180 29981409 30129880 30275353 30408687 30551922 30693826 30843860 30993719 31142288 31278647 31408811 31550394 31690383 31839338 31985911 32134713 32270969 32416315 32558650 32698197 32846883 32994125 33143750 33275249 33421049 33554850 33703578 33854509 34000526 34150158
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.xz:	File does not exist.

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 687.349 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 00:00:45 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958438/tmpl6mb2uvpprism_from-prism_to-tra-xz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958438/tmppolo95lcprism_from-prism_to-tra-xz_ex_pacman.60_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958438/tmpl6mb2uvpprism_from-prism_to-tra-xz_ex_pacman.60_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... 149924 304237 457466 613723 767040 917916 1067528 1220596 1368996 1523438 1674260 1820121 1966762 2112743 2268872 2423619 2567729 2720586 2879019 3030790 3187741 3320843 3468516 3626374 3775446 3932873 4078099 4226672 4382862 4525663 4677032 4834014 4984691 5118357 5263634 5421030 5576632 5726877 5883801 6027971 6172593 6329858 6488123 6636998 6794563 6948981 7095381 7243798 7402455 7558828 7706669 7863644 8008433 8150747 8294879 8444376 8599808 8756034 8907493 9049826 9196110 9353974 9503094 9661896 9819156 9962386 10117440 10263798 10423658 10570409 10729587 10886735 11028772 11176623 11332323 11491502 11631030 11770117 11911729 12049721 12197568 12347845 12506548 12663119 12808738 12964944 13112177 13266572 13416698 13574255 13730932 13876439 14032861 14179114 14333077 14483283 14640289 14798805 14944230 15095805 15242840 15391644 15551305 15709464 15866076 16010342 16163818 16309812 16468717 16616360 16775486 16932095 17076761 17229128 17361597 17508127 17639825 17787367 17941334 18091556 18233895 18373797 18533493 18690021 18847621 18992579 19147085 19292722 19447651 19595423 19753019 19911271 20065758 20210944 20356027 20513562 20671170 20823226 20982134 21137549 21281921 21435242 21584871 21740761 21899011 22053966 22197920 22343518 22500018 22658136 22803801 22963399 23118422 23261187 23414285 23564952 23722986 23880177 24037296 24181871 24335302 24481181 24640482 24785845 24942188 25098035 25241600 25396577 25543467 25702124 25857933 26011094 26169595 26323330 26467711 26605508 26753734 26900930 27047139 27178243 27320210 27458635 27602774 27759019 27908707 28058810 28193768 28347033 28486885 28644029 28799991 28956295 29099348 29255473 29407631 29548482 29706983 29862493 30005515 30161778 30309432 30440322 30593892 30752337 30905141 31050189 31196462 31348122 31483433 31637449 31795685 31940249 32099211 32253205 32393206 32534666 32678544 32814527 32960305 33108721 33246283 33374028 33526974 33679570 33822550 33972397 34130776 34284569
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.xz:	File does not exist.

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 701.020 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:50:07 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955758/tmp2ceg9_j0prism_from-prism_to-tra-xz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955758/tmp3o2qruy0prism_from-prism_to-tra-xz_ex_pacman.60_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955758/tmp2ceg9_j0prism_from-prism_to-tra-xz_ex_pacman.60_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... 148504 302602 454750 607160 753789 908736 1057936 1208727 1354696 1503492 1652538 1801052 1945202 2089655 2244885 2396255 2546876 2694507 2852335 3002386 3156738 3301034 3446671 3601680 3748066 3894283 4034480 4182886 4318681 4471596 4624081 4780484 4922660 5069323 5216205 5366355 5521818 5678002 5826601 5980589 6127401 6266362 6412230 6566045 6720939 6863753 7013431 7154802 7308882 7458842 7614733 7766873 7911691 8062043 8202152 8354212 8508362 8659455 8801005 8954408 9091735 9225617 9377887 9529423 9684580 9837223 9972117 10125499 10265741 10422190 10563963 10719758 10874780 11013618 11164550 11310626 11466715 11617265 11761494 11914497 12048949 12201331 12347904 12504879 12659948 12806736 12961447 13106201 13249051 13405231 13546401 13692397 13834773 13965220 14109653 14249669 14400725 14547554 14702372 14854717 14997414 15146028 15290975 15446627 15593086 15747138 15898548 16036450 16184617 16323499 16475742 16624500 16758219 16907601 17051987 17189976 17329955 17479787 17623312 17766835 17916922 18061991 18199171 18337502 18492398 18642337 18799124 18954381 19096471 19241288 19390829 19542749 19698444 19854492 19991091 20144947 20286940 20424584 20582129 20734372 20870787 21016293 21146420 21281891 21411831 21563232 21711469 21863738 22008480 22162722 22303516 22455690 22613985 22766879 22914901 23070928 23220168 23357692 23509543 23664357 23804072 23961586 24112184 24260817 24399255 24549817 24694893 24850531 25005912 25158011 25297067 25449249 25604276 25751624 25907944 26063517 26216131 26354487 26502373 26635577 26791779 26946214 27098119 27232927 27383595 27518892 27675647 27828227 27981506 28136010 28272277 28423591 28558882 28702422 28843627 28983989 29122394 29245106 29379338 29515769 29671135 29825244 29979041 30117696 30271709 30419371 30556758 30712751 30863439 31018472 31151588 31304589 31454807 31594455 31752459 31905728 32047544 32201504 32352268 32491632 32643900 32799924 32936930 33094608 33244476 33394659 33531999 33682895 33839338 33970635 34114519 34255605 34391971
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp.xz:	File does not exist.