[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Mon Oct 12 23:17:38 GMT+02:00 2026
Hostname: n23m0301.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956869/tmpoihf22yyprism_from-prism_to-umb_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956869/tmp_t6xou5oprism_from-prism_to-umb_ex_pacman.100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956869/tmpoihf22yyprism_from-prism_to-umb_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... 149345 302923 455445 610252 761271 915486 1063511 1215290 1361270 1514892 1674459 1824680 1964814 2115283 2274131 2425113 2570260 2722344 2868871 3021351 3178859 3320303 3469453 3623216 3780742 3930564 4086595 4232715 4377558 4525867 4673659 4832451 4984095 5126194 5271184 5429728 5586114 5740083 5898095 6045350 6188489 6330463 6484333 6640257 6793866 6935500 7087492 7233029 7390922 7545746 7691876 7847135 7991716 8143288 8290303 8445675 8590140 8748283 8902644 9048455 9194621 9334107 9471392 9622325 9771290 9926529 10074982 10226538 10378229 10535718 10692057 10848815 10992022 11138349 11292305 11450354 11599029 11751068 11907329 12048261 12193196 12348871 12506321 12654320 12812849 12968329 13113611 13261464 13418664 13575305 13731621 13871854 14012214 14140579 14275596 14422917 14580932 14736350 14888318 15028594 15174441 15326512 15484308 15634019 15791774 15946180 16090905 16241197 16388661 16546556 16701697 16850643 17005905 17150839 17303991 17450778 17605165 17760992 17909422 18064407 18209330 18360126 18509236 18666075 18823651 18970779 19124560 19267478 19413589 19571775 19727218 19885009 20030592 20184445 20330479 20485455 20634627 20781237 20923894 21067957 21198886 21335189 21474586 21628226 21781424 21936819 22078996 22228173 22367621 22523507 22679319 22835014 22979937 23135350 23287678 23431155 23589803 23744922 23889965 24043822 24197472 24338004 24490666 24648455 24801364 24944787 25099112 25248829 25390906 25543719 25698608 25842448 25999723 26154730 26294840 26448128 26595558 26739676 26897514 27054264 27207980 27348626 27499292 27646254 27803599 27961149 28116606 28260381 28413991 28565955 28697664 28833390 28974344 29118742 29246656 29386377 29530939 29678200 29834199 29990588 30146524 30286304 30437781 30578909 30737977 30892342 31049140 31178084 31332335 31483073 31622552 31780551 31934544 32092889 32232432 32386558 32526751 32683380 32839609 32991064 33133919 33283951 33435735 33573648 33727595 33881971
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	File does not exist.

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

Version: 4.11
Date: Mon Oct 12 23:49:52 GMT+02:00 2026
Hostname: r23m0215.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957982/tmpfmxx9324prism_from-prism_to-umb_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957982/tmpz8gezxuuprism_from-prism_to-umb_ex_pacman.100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957982/tmpfmxx9324prism_from-prism_to-umb_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... 161444 328401 493795 659830 825558 994238 1164618 1329043 1494944 1664886 1822540 1969639 2133450 2295484 2462135 2616066 2773784 2932328 3091783 3252675 3397474 3544612 3702790 3871086 4030247 4186727 4352987 4515063 4684909 4836519 4987945 5130506 5280356 5448308 5607646 5761944 5930874 6087397 6242543 6410404 6564310 6725870 6879295 7023210 7159354 7310170 7480594 7650475 7801736 7964528 8118686 8274193 8443409 8611352 8778878 8932988 9089839 9239455 9393543 9545624 9694534 9859898 10007132 10155319 10312941 10481642 10646016 10800350 10964333 11119219 11274465 11443446 11609414 11756959 11911389 12051666 12188688 12352083 12509629 12656851 12822019 12976898 13136352 13286823 13445757 13609427 13782740 13942052 14100557 14265081 14404030 14550944 14690323 14848671 15006435 15157623 15314057 15487382 15649665 15824959 15996421 16146641 16294273 16461198 16619182 16792871 16962527 17118018 17276363 17447505 17606746 17771130 17918509 18052689 18213705 18379963 18545470 18712523 18884458 19032275 19181783 19322770 19467598 19624412 19775657 19930901 20084530 20239049 20385191 20555335 20721500 20883596 21040845 21209377 21364963 21530542 21677181 21847331 22017359 22182868 22336353 22493729 22662270 22825247 22983009 23121279 23285234 23428224 23592150 23754267 23905894 24074089 24238389 24393551 24560026 24721703 24895754 25067770 25217096 25376528 25531910 25700643 25861512 26028560 26176830 26318121 26459011 26614251 26774060 26930643 27078888 27213061 27362376 27504890 27672754 27842403 28015260 28175288 28347136 28503286 28679344 28846952 28999643 29173180 29340845 29491356 29655223 29825421 29983479 30155894 30323170 30475368 30642001 30816740 30974384 31151263 31311719 31469822 31642249 31817870 31969808 32132826 32286911 32433022 32582489 32734756 32883917 33056807 33229878 33388431 33560131 33724670 33902216 34078034 34252356
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	File does not exist.

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

Version: 4.11
Date: Mon Oct 12 22:53:36 GMT+02:00 2026
Hostname: n23m0049.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955906/tmpcidi8vzcprism_from-prism_to-umb_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955906/tmpyomhvoemprism_from-prism_to-umb_ex_pacman.100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955906/tmpcidi8vzcprism_from-prism_to-umb_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... 144897 295010 443949 596613 744260 893067 1037770 1184720 1332871 1473880 1617136 1765664 1903957 2048278 2200247 2348548 2501834 2646148 2796452 2951917 3100844 3251541 3392111 3540286 3693735 3847415 3992133 4133516 4282496 4431604 4585921 4740330 4883750 5023508 5153724 5302947 5454045 5604062 5747486 5899698 6042707 6184376 6338540 6491542 6634876 6788598 6939573 7078886 7221809 7376411 7516895 7658012 7802269 7949647 8086394 8235272 8381164 8534651 8689610 8840449 8980121 9128215 9270654 9425627 9567734 9723140 9874320 10013629 10162364 10307330 10461908 10612615 10756357 10907796 11043717 11178077 11318198 11465174 11614324 11764208 11913219 12052512 12194868 12346456 12500473 12652541 12796245 12948003 13088213 13237681 13382944 13536923 13690091 13841888 13982160 14130838 14272038 14424753 14568069 14721876 14873601 15024102 15164719 15306124 15460502 15613295 15766245 15908865 16059928 16199309 16347986 16488788 16628471 16767659 16893095 17040316 17182939 17323428 17477082 17619188 17772792 17925362 18068576 18218754 18359463 18513912 18665995 18818008 18959914 19110740 19251164 19399760 19554355 19698896 19852753 20005003 20144176 20292854 20435432 20589628 20740839 20882330 21034452 21182897 21320482 21463283 21617786 21769055 21922587 22063780 22214725 22355943 22507694 22652521 22805613 22959445 23109473 23249414 23389767 23542735 23696399 23847583 23989352 24140116 24276747 24424788 24569415 24722262 24873238 25025052 25165814 25314975 25446659 25586085 25718803 25858291 25996486 26135838 26267353 26412086 26550744 26681101 26834263 26987986 27138180 27276284 27424705 27572010 27716973 27868016 28021218 28170992 28309155 28457591 28595242 28747926 28898720 29051080 29200432 29331763 29475820 29615740 29768442 29918029 30070513 30204467 30347317 30485718 30604070 30741355 30878129 31014651 31136743 31259756 31388610 31522348 31667500 31817465 31967436 32105874 32257149 32406486 32539951 32690929 32843032 32993466 33144330 33289710 33437072 33572150 33723435 33873682 34008014 34160622 34309188
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	File does not exist.

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

Version: 4.11
Date: Tue Oct 13 00:02:27 GMT+02:00 2026
Hostname: r23m0209.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958524/tmp9ns9mg32prism_from-prism_to-umb_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958524/tmp4zhx5qtnprism_from-prism_to-umb_ex_pacman.100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958524/tmp9ns9mg32prism_from-prism_to-umb_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... 143039 289447 431155 574951 714233 867753 1008062 1158478 1297021 1437129 1585390 1728989 1871289 2011275 2157198 2296575 2447227 2585277 2730229 2877306 3028453 3160009 3296594 3437585 3581785 3726740 3866676 4007923 4146606 4287275 4432505 4581893 4732590 4873408 5020694 5161565 5289366 5430088 5573846 5709595 5856357 5998649 6131588 6272795 6424490 6573285 6723913 6860142 7006557 7147762 7291267 7443102 7594285 7730109 7866961 8010626 8148713 8299766 8448825 8593163 8744699 8889275 9027283 9165892 9313787 9464787 9601591 9752165 9899590 10034859 10172185 10321878 10474137 10617604 10771248 10919681 11056452 11189120 11318527 11459118 11601899 11744348 11895913 12035383 12170421 12310610 12460214 12609687 12759654 12901445 13049014 13181617 13320912 13472912 13623557 13770120 13921345 14062359 14211874 14353373 14505213 14654297 14791280 14940861 15078926 15217251 15365947 15509572 15659981 15812368 15958269 16091642 16232047 16373997 16508187 16642012 16782864 16923959 17060508 17202313 17339830 17492280 17634368 17786287 17934610 18070662 18217069 18350976 18502801 18652118 18792729 18941932 19086601 19223860 19359055 19510017 19655603 19791723 19939024 20090077 20230057 20373467 20517000 20668067 20814547 20956053 21106325 21244908 21392724 21536197 21686942 21837622 21985489 22122415 22269536 22405953 22556993 22699793 22850030 22999931 23136463 23282490 23420582 23567754 23715370 23855637 24007439 24155365 24294950 24431952 24571968 24710041 24845877 24971136 25104578 25240166 25364434 25506991 25652824 25791972 25920934 26070912 26216564 26344879 26491103 26636006 26772511 26926308 27077153 27224587 27360502 27507450 27659274 27798832 27951501 28101669 28244402 28378978 28523638 28662093 28814643 28964591 29106269 29244738 29371857 29515403 29650578 29790927 29929123 30069245 30204692 30325625 30457075 30590531 30742101 30890281 31041197 31179083 31304510 31448402 31569478 31721148 31869570 32016105 32162191 32298457 32443318 32573101 32725952 32871283 33017718 33154497 33304293 33451110 33584625 33736559 33886532 34033350
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	File does not exist.

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

Version: 4.11
Date: Mon Oct 12 23:46:46 GMT+02:00 2026
Hostname: n23m0113.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957886/tmptas9fw_zprism_from-prism_to-umb_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957886/tmplgr61x2oprism_from-prism_to-umb_ex_pacman.100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957886/tmptas9fw_zprism_from-prism_to-umb_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... 147976 300725 452506 606939 757897 908044 1054899 1208737 1356907 1510482 1668697 1812539 1959758 2104937 2259478 2412661 2563271 2715186 2858899 3011578 3167070 3307269 3450737 3609016 3764339 3909899 4065717 4212192 4353604 4501300 4647139 4805097 4956485 5097267 5249607 5401174 5556555 5714254 5859392 6009551 6147218 6288500 6445672 6600184 6753032 6902891 7045349 7191042 7349029 7503844 7650368 7806575 7960467 8104448 8249585 8407802 8561359 8719017 8861863 9015281 9146782 9282334 9429540 9584418 9739275 9888960 10025764 10171526 10325354 10483129 10626740 10785569 10939513 11082879 11229786 11386373 11543968 11695297 11838142 11992496 12138517 12284368 12441964 12597927 12748796 12905366 13050296 13203767 13346037 13498722 13635348 13778061 13913280 14042204 14160914 14300675 14444050 14570075 14718129 14863412 15006540 15138645 15275392 15424914 15556863 15702542 15845639 15987274 16114973 16249038 16386472 16529221 16676601 16823436 16956714 17098341 17218229 17354453 17505234 17634001 17781458 17901490 18048208 18183260 18325766 18459215 18604387 18729858 18878196 19022251 19157222 19295063 19425605 19574387 19710926 19860933 20009923 20143247 20272276 20421595 20564772 20708813 20839695 20978064 21108212 21235760 21358744 21500776 21653506 21803462 21946180 22101744 22251938 22388784 22544895 22700644 22845963 23002208 23155405 23298363 23449766 23608956 23763322 23906072 24061022 24213062 24353758 24506206 24664354 24810544 24969093 25124854 25266200 25419592 25574024 25719990 25878021 26035395 26189886 26331825 26483470 26625246 26783532 26941476 27095594 27235197 27388594 27535687 27694679 27850390 28007764 28163188 28304876 28457064 28594800 28740106 28883286 29027523 29167375 29290861 29425389 29559888 29714668 29869185 30019401 30152985 30293387 30439415 30572506 30728625 30879772 31033521 31160556 31309060 31457317 31592252 31746369 31898988 32043917 32200913 32354215 32492995 32646376 32804167 32950787 33110073 33263834 33416163 33558608 33714916 33871155 34014272 34171787 34325411
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	File does not exist.