[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Mon Oct 12 22:27:52 GMT+02:00 2026
Hostname: r23m0217.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954855/tmpeilo00p0prism_from-prism_to-umb-gz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954855/tmpg8wfjs5eprism_from-prism_to-umb-gz_ex_pacman.60_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954855/tmpeilo00p0prism_from-prism_to-umb-gz_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... 146521 296280 444928 593506 745470 897151 1044755 1196251 1342471 1477269 1628808 1773811 1917094 2068508 2214210 2363351 2510302 2652309 2809456 2964700 3112053 3261201 3403812 3553704 3702004 3854149 4004116 4136460 4266721 4418547 4569013 4708879 4863861 5006604 5154585 5301400 5454399 5606890 5754241 5907564 6038361 6178958 6328601 6473475 6629080 6782361 6921237 7068181 7210523 7365958 7508170 7661444 7814233 7947537 8090211 8239494 8385407 8536757 8679528 8824107 8959880 9103506 9243953 9393030 9546210 9701384 9848006 9998707 10143680 10283058 10437596 10587944 10731117 10882854 11024772 11166108 11316434 11472074 11610017 11761858 11909596 12059650 12202503 12347553 12491147 12627043 12763862 12914175 13054076 13205747 13352055 13506050 13653076 13808393 13955705 14106242 14249662 14390598 14542901 14696896 14841303 14993375 15134405 15282912 15428917 15581039 15732884 15869607 16023389 16167466 16310746 16466098 16617972 16764250 16917607 17068235 17208033 17351419 17505967 17648452 17801409 17953013 18090255 18228906 18359216 18504737 18638853 18789027 18939490 19081708 19216311 19362477 19517776 19671671 19823905 19964822 20117693 20266570 20407118 20563586 20699465 20852222 21001621 21147375 21287768 21434471 21581471 21734543 21886826 22035983 22176565 22324711 22462159 22618458 22769976 22916588 23070253 23221266 23362195 23513825 23661812 23814978 23967660 24118154 24252911 24399021 24543271 24697346 24845570 24985394 25133748 25281187 25418271 25567583 25713088 25868208 26022685 26173712 26313524 26462509 26596917 26749697 26900178 27039780 27192111 27339807 27479617 27631481 27778989 27924561 28065942 28203375 28329877 28466738 28599839 28746036 28887339 29035140 29180517 29314154 29461083 29586199 29740064 29889989 30044467 30195980 30332243 30479300 30623392 30778652 30928603 31082026 31216763 31367270 31504611 31657012 31810233 31959780 32100431 32252171 32403284 32537659 32689351 32842541 32994086 33137627 33287833 33429622 33550488 33691939 33837140
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:51:19 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.4955814/tmpr55yt865prism_from-prism_to-umb-gz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955814/tmpb3e2p0mdprism_from-prism_to-umb-gz_ex_pacman.60_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955814/tmpr55yt865prism_from-prism_to-umb-gz_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... 147798 299939 451179 605438 756958 910341 1056334 1208175 1355686 1503846 1653181 1808043 1948028 2096584 2249929 2404052 2545261 2698739 2850903 3008498 3154610 3307160 3454609 3611875 3758954 3915951 4060639 4196864 4346255 4500364 4646085 4802652 4951658 5097597 5249351 5401287 5556969 5704569 5860990 6007652 6140926 6283330 6436545 6591195 6743567 6891105 7031984 7176718 7333086 7487720 7630699 7786215 7931652 8081738 8220887 8377702 8520691 8678761 8833446 8978879 9124993 9267750 9411093 9551407 9706311 9854621 10007506 10150523 10300377 10448459 10602416 10757718 10902922 11053256 11195588 11347118 11496641 11650445 11805564 11945979 12096114 12236107 12386481 12538687 12680256 12831019 12978694 13113517 13257235 13406509 13556343 13707202 13845151 13980986 14113822 14241295 14378992 14528652 14678139 14829613 14967829 15118920 15262304 15416310 15562422 15717895 15872392 16014456 16165509 16308145 16462967 16616130 16763266 16917364 17069180 17212328 17355592 17514217 17665744 17810237 17965527 18118445 18261623 18405271 18561057 18713820 18860273 19015354 19160347 19311281 19458289 19614154 19767652 19912626 20066706 20210736 20362331 20511218 20667428 20805913 20949344 21089185 21215568 21344847 21488696 21640687 21791051 21944080 22086301 22238577 22375665 22530770 22685896 22839181 22984280 23137809 23289965 23430299 23586553 23740004 23884148 24039290 24190523 24329963 24481031 24637510 24779249 24935694 25089315 25240430 25380217 25531893 25687580 25830881 25986605 26140593 26279098 26430821 26575435 26720793 26877479 27033235 27185807 27324958 27473830 27616345 27773006 27928625 28083496 28236215 28373255 28522640 28657009 28800346 28943035 29085752 29226006 29351220 29494738 29637260 29791991 29946003 30100815 30234459 30385316 30523088 30678107 30833228 30988088 31130249 31274611 31425609 31562185 31717632 31871315 32025951 32164346 32317273 32467660 32607154 32764767 32916329 33058062 33208350 33359329 33499539 33651107 33807192
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:28:25 GMT+02:00 2026
Hostname: n23m0265.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954889/tmpb2ykb2yuprism_from-prism_to-umb-gz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954889/tmpin53s1hfprism_from-prism_to-umb-gz_ex_pacman.60_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954889/tmpb2ykb2yuprism_from-prism_to-umb-gz_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... 148136 299647 450811 606117 755509 906914 1060734 1214211 1359913 1507895 1655105 1803504 1944092 2093684 2245665 2402263 2540969 2686268 2842893 2991793 3146503 3287879 3427103 3581291 3732443 3878296 4032617 4177813 4325467 4482606 4625813 4773028 4920552 5058961 5204855 5361395 5516890 5671948 5813700 5967186 6111948 6249828 6397097 6545725 6699764 6850399 6989578 7140270 7288747 7443753 7597889 7741380 7895042 8047017 8187393 8342008 8488645 8645575 8800291 8939977 9075276 9213338 9366118 9517353 9668912 9810335 9964091 10109285 10261917 10419677 10564047 10719987 10875096 11018493 11170745 11317918 11471752 11621484 11765225 11919863 12062124 12214641 12362827 12519867 12675403 12820266 12976560 13119568 13257764 13387367 13525555 13676506 13820784 13974795 14112095 14264926 14410534 14567011 14720790 14865025 15020198 15162276 15311375 15460361 15614843 15770806 15923485 16067190 16212224 16363849 16512279 16665633 16821890 16964824 17117716 17261992 17414852 17563791 17716066 17871756 18017629 18156053 18295874 18448118 18594830 18746852 18901420 19052714 19195566 19337816 19492286 19644325 19787419 19930798 20070885 20198129 20337876 20480792 20635461 20785031 20937417 21077918 21229937 21372846 21528808 21684072 21837543 21975999 22129110 22273129 22424961 22580604 22724978 22881917 23035911 23187681 23327134 23477141 23626362 23781303 23937280 24090162 24230708 24381268 24524977 24681095 24834216 24989326 25131110 25279905 25421541 25574478 25729224 25882618 26027101 26181901 26327951 26479451 26626932 26770229 26926770 27081860 27234197 27374690 27525217 27673812 27828443 27983543 28137391 28277063 28425597 28558473 28703022 28845557 28988191 29118757 29259383 29395737 29527635 29679351 29828055 29972282 30097005 30246874 30398160 30529187 30683112 30835412 30978910 31132468 31264761 31412626 31539591 31692200 31842882 31968502 32123377 32274383 32415048 32564228 32718659 32859152 33012975 33167388 33317034 33455035 33603849 33759369 33900024 34053833 34207714 34356374
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:44:59 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955552/tmpery_rw31prism_from-prism_to-umb-gz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955552/tmp1rpbvr12prism_from-prism_to-umb-gz_ex_pacman.60_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955552/tmpery_rw31prism_from-prism_to-umb-gz_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... 146590 296491 447976 603002 750240 903499 1053858 1208554 1356086 1496530 1646397 1802224 1942843 2088681 2237291 2394304 2538203 2676736 2827665 2976998 3126916 3267114 3407917 3563137 3708703 3864629 4017488 4164606 4318097 4462261 4611707 4757691 4913554 5046074 5190411 5336641 5489805 5644812 5789978 5940861 6084758 6227764 6381965 6535514 6689120 6829922 6975899 7112493 7254267 7405582 7560340 7713809 7855050 8008261 8152862 8304223 8449639 8605614 8760376 8896526 9041788 9189679 9337033 9492434 9643539 9782719 9935174 10072479 10208427 10345411 10497845 10643833 10800024 10947499 11090252 11236587 11391461 11538469 11687790 11834843 11984670 12120723 12270640 12417407 12570402 12725611 12877001 13015992 13156101 13306879 13456692 13610558 13765705 13904072 14056225 14201425 14345787 14501096 14652477 14797388 14945692 15081009 15215316 15352411 15488510 15635328 15785879 15931312 16083974 16224337 16374376 16523384 16677576 16834371 16985656 17125455 17268701 17421683 17568090 17720384 17872820 18024047 18158038 18296152 18449627 18596020 18750539 18906258 19053426 19191848 19333854 19482634 19626331 19782097 19936909 20085518 20236916 20380534 20536671 20682483 20834423 20989329 21126052 21275792 21418473 21573526 21711656 21867130 22017560 22154593 22305319 22442600 22596893 22737729 22893248 23046323 23181892 23323040 23455357 23600553 23740311 23874960 24023318 24166035 24290564 24438515 24591751 24724737 24879261 25032675 25178410 25314140 25464433 25615999 25761763 25914341 26065750 26215335 26355122 26502061 26639149 26792640 26946368 27097615 27233113 27383690 27528478 27671774 27822525 27972632 28119486 28253191 28399415 28530668 28685017 28834693 28984528 29131755 29251034 29387926 29514013 29657272 29800832 29941644 30084391 30219296 30367093 30497033 30645689 30793061 30939226 31075441 31206357 31350070 31478573 31616679 31764085 31902931 32029795 32172777 32312300 32450103 32591101 32740102 32886011 33025942 33179011 33326584 33449920 33599300 33753014 33888479 34043145 34195009 34340559
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:52:43 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958107/tmpfljbwmtqprism_from-prism_to-umb-gz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958107/tmpgqk39peoprism_from-prism_to-umb-gz_ex_pacman.60_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958107/tmpfljbwmtqprism_from-prism_to-umb-gz_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... 145781 295945 444046 595499 742128 890834 1031224 1182144 1325354 1461271 1610355 1764379 1902128 2040650 2190355 2336277 2478566 2625310 2767061 2915296 3067490 3204977 3342035 3492241 3637424 3789442 3939456 4080727 4219003 4361540 4516314 4666389 4806433 4957840 5094779 5223489 5366169 5506633 5655246 5804791 5946398 6089982 6239259 6385686 6538669 6691747 6841296 6979883 7115907 7259814 7412092 7559919 7700891 7841860 7976641 8113998 8262100 8405856 8559085 8710358 8846935 8997142 9139228 9281505 9436353 9585659 9738436 9877822 10022026 10171683 10311183 10463907 10611990 10750610 10900119 11030012 11152289 11284705 11430700 11578372 11725259 11863987 12013401 12155642 12304664 12449376 12601657 12754300 12892486 13042919 13186157 13328687 13480920 13629206 13781731 13914849 14057704 14206088 14342832 14493223 14633293 14784805 14932136 15071832 15210606 15358991 15505843 15656886 15810185 15953497 16103184 16244060 16379331 16519329 16657878 16789175 16935977 17074596 17204799 17346352 17487833 17632267 17782511 17922680 18070055 18205871 18350839 18502978 18648018 18800116 18950867 19086480 19234195 19372987 19525739 19672186 19808704 19954662 20099701 20238199 20372059 20523931 20674066 20808999 20943327 21091894 21227863 21371934 21508897 21661256 21813008 21964329 22101549 22250425 22387979 22539499 22682870 22834429 22985800 23122035 23252483 23390114 23537512 23686617 23822903 23973882 24121510 24259932 24404989 24543166 24695926 24845311 24990179 25132990 25266993 25391785 25523041 25648577 25791184 25936208 26081466 26221428 26355996 26501870 26633018 26784277 26937505 27088998 27226219 27375783 27515740 27667932 27819467 27968742 28114914 28247497 28391747 28524215 28676443 28826391 28976903 29116713 29242863 29389784 29524761 29677416 29829898 29981631 30118974 30260193 30397841 30523323 30663022 30802387 30943567 31075714 31213723 31362266 31495278 31645569 31798756 31947570 32089459 32239126 32383799 32503203 32652197 32806071 32942925 33098015 33247703 33395253 33529967 33679057 33830556 33964987 34119472 34269763
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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