[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: 672.733 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956862/tmp9emvdxqoprism_from-prism_to-umb-gz_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... 142605 290306 436270 586347 731275 880453 1021223 1168976 1310412 1447352 1599754 1744815 1876325 2018820 2164361 2314826 2456833 2604771 2747259 2894232 3045718 3185731 3330565 3474288 3626459 3776921 3919846 4068693 4208669 4351957 4503274 4653169 4789901 4930184 5065021 5210413 5353472 5504180 5655626 5799057 5948390 6090045 6230110 6382100 6529275 6681587 6831494 6959518 7089375 7231707 7381398 7528650 7668070 7816100 7959598 8095013 8233890 8386247 8535066 8674851 8826223 8974647 9115188 9254229 9405602 9552968 9694476 9844454 9991732 10130797 10267659 10406369 10545813 10691825 10831044 10979810 11114880 11258477 11403087 11555013 11704265 11854681 11992526 12133343 12279032 12430770 12575361 12726001 12874928 13013460 13161129 13300676 13452332 13593753 13744842 13882953 14019782 14149429 14285836 14423660 14574789 14724793 14872412 15003619 15150989 15292630 15443639 15581617 15733538 15883805 16024494 16171502 16310228 16454312 16606343 16758030 16907839 17047242 17194006 17334087 17485805 17617893 17768768 17919802 18059145 18206465 18346190 18495713 18636838 18789076 18939703 19085430 19224232 19363891 19515385 19665756 19815110 19954497 20102263 20234972 20369761 20502604 20639851 20771489 20917365 21053531 21200306 21336971 21485792 21636465 21785398 21925748 22074197 22220530 22357436 22506110 22656318 22792493 22943297 23089544 23232466 23366444 23510685 23649187 23796257 23941287 24087655 24222685 24368303 24505820 24656621 24804575 24954622 25102904 25237844 25382664 25521781 25672096 25820981 25970900 26107708 26255048 26391720 26538882 26685618 26833586 26973394 27118230 27264508 27400974 27547516 27697900 27839119 27989549 28138262 28277285 28412264 28545035 28673499 28809543 28945375 29080427 29217611 29343418 29476023 29604701 29753442 29898789 30047903 30192009 30321932 30465602 30601849 30751834 30897662 31047207 31178811 31319691 31461358 31585383 31733761 31879430 32026786
##############################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: 658.320 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958178/tmp9rm90bv2prism_from-prism_to-umb-gz_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... 147710 301541 450896 605549 754189 906096 1058565 1210544 1356258 1508250 1666757 1814790 1955440 2105038 2260642 2414913 2561898 2711919 2862574 3020820 3176444 3309164 3454670 3606826 3761076 3911691 4066669 4207593 4355857 4513782 4656566 4809965 4961081 5103398 5250610 5408520 5554367 5712375 5860613 6013646 6155939 6295625 6436864 6591269 6742511 6893393 7031661 7175790 7329845 7486025 7639418 7788930 7940663 8082104 8229234 8388042 8534965 8692991 8847838 8983872 9121352 9260094 9415318 9551581 9710351 9862235 10001952 10147938 10299250 10447228 10602307 10758592 10899497 11052805 11196138 11343956 11501841 11647927 11804990 11951807 12105193 12250531 12400240 12558881 12715589 12855470 13011076 13142326 13275632 13422532 13563656 13714514 13865038 14005847 14145650 14297925 14446339 14600432 14756895 14904677 15059252 15205070 15353325 15510606 15663752 15808604 15962680 16103883 16248588 16401628 16542972 16699016 16854992 16993184 17145633 17285310 17430820 17586768 17736352 17882032 18034527 18179226 18327361 18483971 18638499 18781476 18937778 19090013 19232658 19378159 19534775 19682910 19839470 19994877 20132346 20265402 20406366 20544470 20687488 20835907 20985332 21128665 21280511 21413629 21569347 21723276 21874504 22027072 22169890 22321566 22464397 22622005 22775148 22919438 23075725 23229227 23367889 23519331 23675750 23815558 23970176 24122691 24260081 24409721 24564146 24708290 24861914 25018573 25168455 25306038 25456084 25602036 25759566 25915174 26070253 26209654 26361810 26504160 26654399 26807005 26961963 27100990 27253142 27392994 27545712 27701530 27854624 27996688 28149865 28302415 28438429 28589842 28742438 28890645 29037297 29181097 29309544 29451453 29593085 29732389 29880844 30029510 30173462 30304366 30454861 30595895 30753468 30906697 31065046 31209089 31345137 31494797 31636584 31793342 31947371 32105368 32245145 32399465
##############################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.264 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955347/tmpxrms_bwrprism_from-prism_to-umb-gz_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... 147763 299751 450158 600877 746883 899840 1047744 1201873 1344914 1487391 1639602 1795505 1929040 2080717 2220674 2374142 2517806 2665820 2817889 2975678 3131398 3274537 3420428 3576988 3721191 3875836 4017340 4149165 4293988 4445016 4597527 4747709 4904906 5047430 5187945 5343431 5497995 5646130 5800852 5946095 6087916 6219792 6372486 6518570 6675788 6830553 6967880 7115734 7264674 7417965 7558321 7714754 7858396 8008689 8145812 8281374 8430898 8581440 8735019 8878542 9028834 9180476 9325136 9479937 9633854 9782462 9934715 10080031 10221103 10376398 10532426 10674226 10829251 10981042 11111220 11244462 11391285 11533499 11685922 11839021 11977556 12131152 12274037 12429801 12576362 12733461 12888866 13032002 13183498 13330896 13484776 13635722 13781248 13919567 14056447 14191359 14324122 14476801 14626694 14776888 14918360 15069727 15213311 15365042 15515243 15669647 15825885 15968315 16121134 16264697 16419069 16565691 16719574 16873965 17022670 17171196 17312276 17467664 17601467 17746567 17890538 18020360 18161480 18296001 18449366 18605334 18747934 18904487 19055014 19195182 19346171 19494119 19652167 19807989 19961582 20102262 20253201 20387793 20543408 20696229 20832934 20976624 21117257 21241019 21375566 21517904 21652605 21808759 21961242 22105637 22235404 22386591 22541240 22687669 22843134 22997541 23144272 23280652 23424734 23561516 23709457 23858509 24010372 24144059 24294229 24429874 24584880 24739255 24890596 25043670 25169855 25309325 25438428 25580303 25723284 25864222 25996933 26152405 26301707 26441080 26586267 26741270 26893452 27036281 27187458 27335403 27472416 27624579 27772005 27900825 28055768 28207757 28351841 28503384 28656894 28800287 28957549 29112804 29263728 29404447 29555152 29711903 29858410 30013829 30167897 30318613 30445005 30580564 30715495 30858698 31000825 31135153 31255297 31384474 31534444 31673174 31828473 31981292 32134988 32284681 32423640 32571111 32718144 32872264 33026760 33180345 33315147 33466705
##############################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: 686.160 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956594/tmpmo46hskiprism_from-prism_to-umb-gz_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... 148509 302280 453915 609014 756931 911579 1060555 1219640 1364693 1509919 1663192 1814381 1950792 2096337 2254098 2400868 2541079 2682339 2836694 2990359 3134867 3280437 3425967 3580809 3729718 3887336 4032469 4172394 4310161 4465911 4618561 4771011 4912767 5059099 5209632 5359276 5514823 5668597 5813227 5957256 6092412 6231316 6383835 6533510 6680159 6834480 6977977 7127213 7271821 7427634 7581964 7727020 7880802 8025662 8177191 8326285 8482955 8639519 8782639 8935277 9065096 9191936 9332484 9489360 9638757 9790678 9931857 10082857 10225140 10379752 10534660 10680680 10837530 10989476 11133167 11273389 11430717 11585005 11727929 11881835 12020603 12162480 12313685 12460020 12610333 12751857 12906631 13048026 13190110 13324425 13455073 13593269 13741912 13880777 14033763 14171855 14316321 14473445 14625577 14779027 14935551 15076529 15227649 15370557 15523815 15667435 15821030 15970120 16113413 16253599 16406063 16552319 16703809 16858149 16999711 17149830 17288249 17433309 17587674 17733071 17879702 18032690 18177026 18317619 18472763 18626620 18760591 18913345 19060932 19200502 19345427 19499274 19640761 19786171 19928277 20058622 20197997 20322947 20476353 20628551 20767726 20904034 21060000 21214061 21357310 21512028 21666355 21812046 21967905 22118393 22258741 22407516 22555233 22713889 22871913 23027344 23165877 23318559 23461102 23620644 23773362 23926534 24064360 24219702 24370270 24515584 24671663 24825224 24963589 25115576 25262737 25401463 25553315 25710386 25852420 26009328 26161818 26301965 26452463 26593581 26752030 26907962 27063419 27214924 27366268 27488846 27644943 27799988 27955166 28103920 28260090 28410881 28546027 28691322 28831360 28961387 29104036 29244114 29376198 29513577 29659419 29809398 29953203 30110781 30264496 30400382 30546741 30700817 30842374 30998992 31147716 31278774 31406208 31557172 31714695 31859092 32012392 32165191 32316690 32454551 32602692 32751009 32901874 33056667 33207140 33341478 33493008
##############################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: 694.282 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:48: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.4955711/tmppwy7t4b9prism_from-prism_to-umb-gz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955711/tmpj06t_cipprism_from-prism_to-umb-gz_ex_pacman.100_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955711/tmppwy7t4b9prism_from-prism_to-umb-gz_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... 147630 299941 452959 607777 757059 912063 1061942 1213645 1355471 1508309 1660890 1812172 1957687 2106015 2260902 2417503 2562078 2714730 2869321 3025081 3177426 3312036 3451477 3607627 3760943 3916234 4063060 4210495 4359629 4518013 4672429 4816917 4968247 5110740 5257473 5416001 5572387 5730021 5875892 6028774 6172781 6329966 6475488 6633845 6790082 6934910 7087722 7234475 7391612 7545688 7685354 7829723 7969079 8118796 8263040 8420857 8575146 8724399 8880893 9030333 9183125 9332560 9489144 9645448 9802093 9945473 10091574 10242972 10397656 10555071 10712049 10867236 11003748 11137834 11280357 11430881 11585050 11737639 11890661 12031382 12176967 12331264 12488183 12636716 12793554 12948852 13094130 13240129 13396816 13552913 13707869 13852216 14008226 14153389 14304704 14451986 14604664 14761157 14905425 15058739 15203653 15349871 15506226 15660359 15816515 15959177 16112308 16245719 16387645 16524579 16669188 16822630 16965128 17117911 17256652 17410511 17566861 17709045 17864543 18016301 18158767 18309000 18454302 18609682 18763145 18910332 19062181 19199957 19346629 19491185 19644108 19794257 19930857 20075546 20221579 20357158 20504688 20639096 20773179 20920991 21058231 21203616 21335277 21481226 21632320 21780647 21938684 22092657 22236684 22379468 22535794 22691528 22839092 22996001 23149836 23294741 23438780 23598162 23753622 23899093 24056633 24207871 24341557 24479690 24624599 24767877 24910383 25055799 25193549 25344160 25471945 25629997 25786819 25940558 26093587 26229843 26381341 26524860 26679998 26834630 26989964 27132819 27286807 27436457 27582217 27739601 27894566 28038068 28194909 28347163 28483464 28639239 28795631 28950649 29092647 29242576 29393832 29523345 29665934 29806938 29934016 30069805 30207722 30346954 30480844 30629171 30786173 30927820 31081053 31219468 31367952 31505879 31659601 31801802 31957082 32113583 32266568 32405106 32556616 32711742 32855166 33011482 33167769 33317729 33453091 33601659 33745852 33900304 34055954 34212087
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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