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

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955038/tmpcthhj7ftprism_from-prism_to-tra-xz_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... 164789 334453 499667 663174 834020 994118 1163660 1324275 1484259 1654545 1810217 1956702 2120305 2295610 2460218 2613624 2779365 2953734 3118091 3284341 3445696 3614137 3760486 3930826 4080039 4216383 4358169 4508667 4675134 4842082 4988802 5152479 5321410 5490998 5647776 5818278 5973288 6126474 6273190 6432010 6600101 6766735 6929125 7089072 7248872 7412862 7577247 7733118 7899637 8059940 8216229 8388296 8543977 8701994 8871912 9027150 9183297 9340061 9494052 9652792 9820148 9979485 10141091 10300268 10468821 10628217 10799992 10955347 11106223 11261194 11432656 11603760 11760798 11929436 12090376 12243249 12418069 12586452 12749979 12915247 13067021 13231290 13393285 13564101 13733520 13886055 14043737 14191561 14354253 14525256 14691224 14844396 15001892 15157133 15319147 15481557 15649696 15820763 15971521 16141632 16294902 16459417 16629415 16802799 16960222 17129620 17283967 17447183 17612716 17781593 17938409 18105830 18257436 18416467 18592503 18765413 18938430 19096964 19257604 19422895 19585935 19759186 19928913 20093253 20240989 20395936 20569566 20728515 20884957 21040451 21194829 21351832 21502658 21669454 21838053 22003295 22148946 22312717 22463102 22636341 22802290 22972899 23127902 23293426 23449368 23627039 23797469 23957475 24131363 24300602 24452215 24624660 24790691 24949462 25118592 25282380 25435947 25603947 25775631 25932729 26100895 26269881 26423190 26579265 26746126 26902015 27075574 27241177 27390799 27555772 27711799 27884051 28054033 28223727 28374221 28529247 28682601 28844796 29005602 29159667 29306473 29468629 29622663 29794408 29961684 30130941 30282792 30451338 30610269 30784403 30952946 31119133 31249414 31415480 31567432 31738163 31901971 32071687 32219287 32388966 32542006 32716338 32879173 33037103 33179614 33337715 33492908 33632849 33801657 33956638
##############################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: 705.891 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:36:24 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.4955199/tmpg0cjf_qlprism_from-prism_to-tra-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955199/tmpt7wohukwprism_from-prism_to-tra-xz_ex_pacman.100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955199/tmpg0cjf_qlprism_from-prism_to-tra-xz_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... 144962 294986 443043 594521 741768 889831 1033500 1182129 1327885 1475953 1623342 1770704 1914033 2054350 2205156 2350716 2499741 2644190 2792501 2943817 3087865 3239659 3368092 3515987 3666285 3811084 3951033 4096327 4238608 4382724 4536084 4687058 4831247 4981530 5121777 5264979 5418739 5569821 5715444 5867508 6001441 6133132 6278902 6428975 6577332 6726520 6878949 7019076 7166279 7313638 7464860 7615081 7755481 7905453 8043954 8185170 8337672 8488304 8630252 8783057 8931472 9065564 9201765 9342546 9492009 9636652 9789427 9932673 10065386 10206409 10360053 10512889 10662493 10806887 10957946 11100095 11241415 11394896 11546559 11691329 11834620 11984787 12126718 12267675 12421170 12573550 12717509 12869560 13019591 13158361 13299578 13451072 13600826 13744721 13887244 14023881 14152685 14286997 14436589 14580360 14735056 14886170 15030264 15170237 15310575 15463960 15614958 15755958 15909062 16059509 16201156 16340480 16494113 16644679 16788182 16941730 17091829 17230361 17372307 17525772 17674434 17818086 17969928 18119714 18258436 18401439 18555368 18706154 18859827 19002429 19152137 19293420 19442483 19587209 19737932 19891325 20032672 20182356 20324016 20471031 20624554 20773022 20926431 21068165 21217281 21348338 21487233 21623897 21764954 21907490 22053451 22186093 22333344 22470856 22625751 22776331 22929935 23080220 23217250 23364779 23506082 23660374 23810401 23963601 24114264 24251721 24399117 24541568 24694466 24845001 24997600 25134139 25282803 25419935 25571446 25724486 25875566 26014444 26167182 26315826 26454483 26602892 26755274 26906816 27047139 27198589 27346487 27483937 27636910 27788969 27927983 28080526 28230381 28365438 28513167 28665383 28816985 28946060 29086098 29223767 29346481 29477878 29609403 29755829 29895281 30048675 30198586 30333977 30482481 30632207 30773195 30923289 31076736 31216014 31350793 31499408 31644587 31797583 31944419 32097903 32247567 32377528 32521039 32659682 32813186 32963735 33117333 33266520 33396348 33543648 33684238 33837745 33987510 34140756
##############################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: 672.627 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954935/tmppmr1w8veprism_from-prism_to-tra-xz_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... 143998 294689 439912 590885 736920 884449 1026751 1174781 1323666 1463506 1616455 1761601 1904234 2047316 2194066 2345190 2489297 2635134 2784728 2937424 3085387 3223177 3361088 3510258 3656440 3810072 3961826 4102268 4231845 4376001 4527286 4677281 4822114 4972949 5114561 5257342 5411222 5562117 5691172 5843580 5982855 6116073 6260577 6411073 6549628 6703500 6850797 6994530 7138366 7289197 7433383 7585984 7738265 7879898 8021902 8170289 8307239 8459961 8612754 8755938 8907451 9037236 9171128 9313319 9458462 9610928 9763127 9908743 10045607 10185896 10337077 10490032 10628071 10781683 10931455 11073714 11216447 11368318 11521319 11658809 11811550 11961527 12101855 12249666 12393489 12545777 12697526 12837067 12987547 13126166 13262127 13403314 13540775 13689316 13834470 13973840 14118506 14266489 14412684 14565519 14718566 14869149 15009537 15157952 15300179 15452661 15594719 15748033 15897589 16036165 16184481 16324612 16476805 16626807 16767351 16919246 17067483 17208217 17354818 17498920 17647134 17798855 17951055 18101014 18240919 18381797 18535219 18686116 18837695 18977863 19127460 19268511 19416590 19562171 19715543 19869069 20019750 20151948 20283303 20420233 20558568 20702622 20849101 20996216 21139782 21288363 21422502 21576204 21726232 21877006 22027189 22166280 22314735 22454470 22608006 22758323 22910919 23052702 23202791 23339431 23488462 23642003 23790224 23932854 24083538 24230517 24368973 24518252 24659218 24810819 24964142 25114524 25250837 25398613 25537774 25690724 25840543 25991790 26141149 26276813 26421933 26559050 26712210 26862522 27014359 27153094 27301061 27434769 27584225 27735869 27885379 28027437 28178798 28327064 28455881 28595827 28739531 28868258 29007540 29144872 29277126 29395519 29523047 29657287 29788099 29923229 30060970 30192571 30296100 30434226 30569698 30705236 30850033 30995270 31136464 31264207 31386569 31523740 31646383 31792080 31926008 32066887 32209818
##############################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: 697.209 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:10:38 GMT+02:00 2026
Hostname: n23m0023.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956589/tmphgikcy8bprism_from-prism_to-tra-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956589/tmpzkdey_ltprism_from-prism_to-tra-xz_ex_pacman.100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956589/tmphgikcy8bprism_from-prism_to-tra-xz_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... 143459 292621 440928 592594 736805 887186 1036113 1185345 1332525 1475775 1629835 1778762 1908073 2052447 2201832 2355871 2501451 2646034 2784358 2933831 3081701 3230474 3370290 3518443 3661754 3809650 3957969 4102343 4236642 4379656 4533165 4685411 4830751 4981890 5123448 5269344 5424501 5575026 5730648 5882251 6027288 6157669 6298092 6448911 6601336 6753004 6886160 7030842 7178824 7325803 7479175 7629556 7775200 7927500 8068625 8209477 8366098 8518198 8660927 8813442 8951779 9086726 9219202 9371434 9519802 9661057 9814863 9955706 10106385 10246711 10402784 10548728 10702522 10855411 10995301 11138066 11286229 11432022 11584249 11725549 11879377 12019580 12163686 12313922 12462574 12615194 12755953 12911055 13053974 13196026 13333275 13467014 13612112 13758735 13893356 14045056 14179638 14320056 14473855 14624287 14776503 14918651 15068921 15208034 15348603 15497726 15644540 15797800 15945175 16085919 16226629 16376897 16523422 16676143 16830829 16969198 17119434 17260548 17401483 17555224 17697751 17841154 17990510 18128513 18277409 18418152 18570151 18706131 18858858 19006371 19143497 19283510 19432366 19577610 19727411 19880625 20019894 20166473 20295311 20420128 20557930 20695203 20817805 20960494 21101380 21234451 21378493 21520405 21660819 21813119 21964517 22110440 22243683 22389496 22529350 22681495 22831318 22981388 23127065 23260601 23406020 23546940 23698488 23846704 23998293 24128313 24274739 24407926 24558159 24710072 24858466 24993922 25146047 25293622 25429181 25580168 25731739 25880687 26019639 26166145 26305213 26437496 26576404 26727835 26864773 27016909 27165092 27307910 27456498 27607110 27746897 27899229 28051808 28198671 28329707 28476702 28609492 28742999 28871452 29010983 29151084 29271142 29407446 29536439 29680602 29822842 29967924 30117952 30247823 30393620 30525282 30677051 30825539 30974298 31124369 31243754 31390109 31520682 31671177 31822476 31968941 32111398 32262103 32409777 32542185 32693367 32844194 32991047 33123257 33265693 33410948
##############################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.195 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:42:41 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.4955478/tmpb58p84k_prism_from-prism_to-tra-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955478/tmp797kdwx_prism_from-prism_to-tra-xz_ex_pacman.100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955478/tmpb58p84k_prism_from-prism_to-tra-xz_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... 147940 299536 451404 605650 751872 903568 1046886 1195708 1346660 1491634 1648652 1801233 1938799 2086338 2241756 2390410 2533633 2681222 2826500 2979839 3126614 3272392 3413167 3563058 3717058 3871855 4017888 4162794 4309325 4466133 4620278 4759516 4905445 5052640 5193420 5350359 5499286 5657863 5813981 5959506 6111593 6245724 6390683 6534008 6692004 6844354 6991156 7133315 7288776 7436417 7593051 7748304 7893590 8046429 8191010 8348188 8489835 8637161 8788970 8930180 9080429 9221320 9378947 9533472 9679264 9835184 9985453 10129458 10281263 10431911 10586648 10743884 10898221 11039642 11186662 11341169 11498781 11635679 11780144 11924620 12062906 12203958 12359211 12516357 12670973 12814200 12967303 13111920 13264549 13421377 13568708 13723402 13877041 14020867 14172327 14316305 14473794 14628477 14783923 14924909 15078600 15223707 15378019 15526209 15682264 15838770 15983142 16134118 16276885 16432294 16575682 16722885 16868099 17010773 17146069 17285963 17441019 17593954 17738314 17894934 18047304 18191855 18335462 18491783 18645659 18798190 18945017 19098546 19243109 19392104 19543045 19699116 19855312 20010255 20149703 20293674 20443226 20598829 20744322 20899133 21053353 21196951 21348978 21497103 21653520 21809125 21952544 22105228 22243661 22394591 22543948 22698311 22853283 23007347 23150333 23298017 23447243 23604998 23752626 23906779 24060900 24196463 24335940 24469162 24616216 24760610 24897716 25047430 25195899 25325697 25477377 25634047 25773977 25931245 26086818 26240030 26380237 26531647 26679517 26822294 26979704 27134389 27277606 27427696 27580829 27729767 27883492 28039719 28193328 28333006 28484069 28628877 28786842 28943097 29098622 29248651 29400365 29539966 29677343 29810671 29945684 30087719 30226378 30352221 30495645 30639300 30794046 30947922 31103792 31233373 31385076 31522739 31673316 31828208 31982263 32124150 32273331 32426226 32563111 32717830 32872201 33024113 33165822 33319314 33471213 33606561 33761864 33915166
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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