[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Mon Oct 12 23:00:05 GMT+02:00 2026
Hostname: r23m0213.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956150/tmpjbn4vu38prism_from-prism_to-tra-gz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956150/tmpqlxbyt5pprism_from-prism_to-tra-gz_ex_pacman.100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956150/tmpjbn4vu38prism_from-prism_to-tra-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... 144404 296277 444039 595956 741990 895010 1044085 1197983 1343821 1491504 1639786 1797260 1936675 2085767 2234704 2390618 2538895 2685873 2829769 2984247 3130916 3274910 3415417 3562913 3717236 3861529 4014419 4153064 4287134 4440486 4592523 4744463 4887679 5039231 5185099 5332025 5488505 5644393 5783271 5926445 6067184 6212473 6367447 6520871 6665344 6817559 6970171 7111485 7253603 7408561 7560017 7704104 7857238 7998521 8140727 8295753 8450846 8593887 8746446 8897468 9038955 9181121 9328911 9483932 9633617 9788315 9926162 10060801 10190689 10315423 10462264 10616450 10770453 10917041 11056932 11203151 11357652 11506565 11660142 11816049 11957340 12105998 12248878 12403865 12557484 12700899 12853135 12995266 13141131 13281505 13436161 13590845 13731920 13876682 14023128 14163345 14304506 14461793 14614692 14761001 14914886 15053918 15189323 15323263 15465404 15612205 15763990 15904543 16054775 16189702 16334761 16491535 16641304 16797489 16937243 17085217 17221988 17355216 17502491 17644374 17791212 17927975 18073197 18208555 18350229 18491320 18638433 18784471 18921743 19067100 19197561 19340854 19474315 19619923 19764172 19908958 20042040 20184575 20316513 20450882 20598475 20740214 20883782 21018196 21162146 21296233 21438259 21580777 21726955 21874096 22008136 22153269 22289286 22427664 22561176 22696051 22830580 22967640 23079767 23202200 23323673 23433213 23566264 23696338 23820482 23950735 24071163 24204164 24334936 24455868 24591863 24726220 24858748 24983948 25119366 25251231 25368014 25500730 25635429 25767150 25888199 26022611 26154332 26285808 26400962 26530845 26655436 26778445 26914520 27050105 27182788 27308415 27441437 27574519 27710098 27834968 27971229 28106429 28238471 28353141 28483020 28614863 28731951 28859074 28982138 29102215 29222366 29325510 29446104 29573814 29698772 29833961 29969539 30104036 30234823 30354444 30484782 30606922 30743675 30877671 31013216 31147121 31251257 31382137 31510976 31629233 31765427 31897794 32030978 32163633 32275385 32401330 32527667 32661095 32796271 32927983 33063687 33185970 33319860 33451384 33568259 33703320 33842291 33980228
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:33:24 GMT+02:00 2026
Hostname: n23m0046.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957499/tmpcvbqzkdaprism_from-prism_to-tra-gz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957499/tmprc4ujb4qprism_from-prism_to-tra-gz_ex_pacman.100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957499/tmpcvbqzkdaprism_from-prism_to-tra-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... 142383 290670 436564 585193 726800 880268 1019950 1171518 1316132 1457611 1610602 1752492 1891330 2036574 2183625 2336879 2482501 2627755 2767325 2913266 3058544 3209511 3335957 3475019 3626116 3772232 3910174 4061489 4198895 4337447 4486419 4633043 4777113 4926556 5069458 5211911 5357842 5510917 5663722 5808330 5958008 6096510 6232833 6384534 6532869 6672163 6823865 6961777 7095503 7229023 7377759 7517468 7666379 7815853 7966248 8107944 8256282 8403079 8553260 8706958 8847792 8996920 9135013 9275103 9426792 9571732 9725464 9855294 9988368 10120833 10253727 10403672 10550306 10694523 10831001 10972196 11121147 11260331 11406516 11559192 11708827 11854136 12003020 12141186 12279335 12430386 12574105 12723540 12873632 13010136 13148465 13286177 13437378 13576768 13727817 13863619 14013557 14147670 14278263 14418377 14561274 14700225 14849854 14995453 15133625 15274781 15422439 15569483 15711892 15860090 16005015 16142645 16279043 16427821 16578272 16715079 16865269 17012598 17150760 17291267 17441752 17590295 17734681 17886932 18034272 18174181 18311889 18461455 18604929 18754648 18906624 19051077 19185518 19326578 19474847 19616130 19768119 19919077 20063560 20199086 20339149 20489115 20640987 20770295 20908953 21046567 21173620 21306392 21432710 21575945 21719104 21858343 21987517 22137434 22280169 22408526 22560550 22707111 22853764 22992749 23139580 23283806 23420857 23572862 23721952 23868342 24021519 24169672 24315384 24449953 24601032 24746029 24881375 25030278 25172621 25303089 25450256 25596222 25743272 25878750 26022258 26161945 26287818 26434703 26574913 26714782 26866921 27018350 27165336 27298353 27445396 27593137 27735027 27882495 28030110 28176341 28305852 28443423 28570894 28713461 28850618 28990658 29127646 29247530 29382669 29519617 29662004 29811755 29960434 30109743 30242336 30387571 30520896 30672135 30818929 30965845 31112000 31233344 31379516 31506605 31654590 31804645 31946588 32093080 32225209 32363353 32490228 32638700 32790901 32936729 33075231 33225373 33371433 33505026 33652397 33804441 33945907 34078791 34217969 34350162
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:26:53 GMT+02:00 2026
Hostname: n23m0168.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957245/tmpa3eboktoprism_from-prism_to-tra-gz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957245/tmp5_ua3sy7prism_from-prism_to-tra-gz_ex_pacman.100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957245/tmpa3eboktoprism_from-prism_to-tra-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... 146766 295312 440736 592783 739122 888769 1037206 1189897 1335732 1482107 1637258 1782479 1922333 2070720 2219583 2371939 2511081 2652756 2807823 2953899 3108406 3254464 3396123 3540545 3691347 3845593 3984228 4124360 4271084 4416150 4569570 4723456 4867689 5007521 5158004 5299805 5453626 5606325 5752836 5905570 6049819 6191497 6344848 6491110 6634591 6778705 6926086 7068862 7209302 7364483 7510870 7665081 7817376 7956481 8098902 8249457 8404166 8548259 8703583 8855235 8997209 9139312 9276942 9412547 9562120 9714935 9863923 10001565 10149344 10294459 10448993 10599837 10744705 10897747 11039438 11190355 11334572 11489371 11640271 11793496 11934028 12083666 12225284 12377489 12521696 12675652 12829109 12970791 13120373 13262585 13414911 13557372 13700381 13841235 13972649 14116453 14253410 14405781 14558002 14704573 14858011 15009018 15148416 15290567 15444246 15595631 15748740 15889743 16042238 16184335 16333673 16480436 16632906 16787535 16939078 17080475 17222098 17371820 17520910 17671196 17825338 17968093 18117753 18259037 18409575 18557640 18710895 18865638 19016473 19155637 19297967 19449093 19603106 19740863 19893843 20044947 20186870 20322980 20459437 20595629 20738120 20878303 21024517 21168427 21306807 21452289 21598212 21750845 21905327 22056823 22196206 22345071 22487746 22642409 22793719 22947179 23087573 23238197 23377716 23530591 23684871 23835699 23976963 24129112 24278172 24417473 24569207 24721759 24861819 25014918 25164750 25303121 25452836 25605188 25749802 25903510 26056116 26204812 26342902 26490610 26630464 26783451 26935529 27087504 27225087 27374338 27513616 27667670 27819492 27972412 28112888 28264355 28413364 28554388 28708474 28859751 28999290 29142084 29280590 29403164 29541585 29684467 29825338 29958650 30103298 30246635 30381583 30530381 30682772 30826809 30979577 31131535 31266221 31395656 31542329 31687880 31828955 31982253 32135348 32283666 32416830 32563505
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:06:29 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956432/tmp_gogxziuprism_from-prism_to-tra-gz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956432/tmptepqis73prism_from-prism_to-tra-gz_ex_pacman.100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956432/tmp_gogxziuprism_from-prism_to-tra-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... 145168 295207 442683 594967 743147 890996 1034965 1184186 1333807 1476067 1629942 1775030 1916685 2061342 2210429 2358698 2503232 2645888 2791447 2935043 3089257 3237141 3375205 3520203 3673872 3826957 3973052 4114771 4264691 4397194 4546457 4690873 4842182 4988576 5126574 5271770 5424788 5575552 5721903 5874678 6017775 6155164 6293207 6443532 6594139 6743874 6886553 7036268 7177835 7331445 7477037 7629706 7781903 7922926 8072042 8210290 8365459 8512272 8662493 8813800 8954267 9097960 9237638 9381327 9516020 9666198 9812081 9963176 10099663 10247585 10401792 10548081 10701641 10854887 10991990 11141505 11285639 11440761 11584251 11736640 11887771 12030228 12171043 12318782 12472916 12616602 12770729 12923304 13064696 13212710 13365115 13518618 13670749 13816242 13951713 14088988 14222432 14362864 14513840 14654062 14808871 14961075 15095667 15244565 15388372 15541852 15694484 15840905 15990052 16139949 16281452 16434213 16580667 16735156 16888845 17026493 17176291 17317762 17471911 17615454 17769910 17924154 18064356 18213871 18355013 18509746 18656030 18811612 18964812 19101505 19247199 19389126 19543561 19695435 19839780 19992621 20131501 20281139 20423804 20578857 20729530 20868041 21019077 21158450 21296211 21428046 21569895 21702182 21847870 21997242 22141301 22274291 22421544 22573318 22711028 22865155 23017747 23167748 23307551 23455987 23599819 23753628 23907809 24060800 24206171 24354194 24503049 24650189 24803524 24957398 25108586 25245283 25393364 25530486 25685485 25836665 25988305 26137751 26273506 26421444 26556607 26708705 26860414 27013083 27147947 27297220 27443219 27584807 27739229 27889429 28041228 28179285 28327972 28465111 28615356 28765100 28916249 29052154 29191729 29326835 29449675 29584512 29723379 29861619 29998267 30149272 30298544 30433409 30581470 30735932 30885787 31028189 31171113 31319606 31452837 31597044 31748642 31883078 32036668 32189019 32337866 32471630 32619902 32770257 32921565 33075980 33226733 33362403 33507352 33653935 33796428 33948238 34101748 34252943
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:31:48 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.4955019/tmp7r0y7_c4prism_from-prism_to-tra-gz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955019/tmpncfbo0o4prism_from-prism_to-tra-gz_ex_pacman.100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955019/tmp7r0y7_c4prism_from-prism_to-tra-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... 148079 302810 455729 610222 762176 915137 1069313 1225103 1372974 1522679 1678777 1834505 1969866 2123741 2270603 2426397 2574210 2726866 2871288 3023928 3181371 3324214 3471003 3629274 3784354 3933837 4088935 4220078 4366286 4524326 4679730 4836696 4981212 5126480 5281593 5432874 5588220 5741084 5881383 6021496 6164692 6318626 6465640 6622978 6778587 6924097 7075862 7221071 7379175 7529315 7687906 7843187 7985138 8131591 8281786 8440357 8589404 8738529 8881370 9024847 9170715 9315062 9471504 9618139 9774991 9928115 10074512 10217466 10375208 10531156 10675783 10834178 10981335 11135537 11271275 11412329 11557585 11702186 11857687 12000074 12147044 12298980 12449378 12605883 12763689 12911113 13064990 13212160 13367999 13517631 13675009 13832552 13978737 14132049 14278677 14435978 14579826 14738799 14894181 15034838 15176136 15311371 15456252 15601312 15749447 15904025 16055012 16197306 16343843 16502505 16657346 16806152 16961893 17108029 17261133 17405821 17563610 17716299 17864856 18019908 18166411 18318945 18469111 18625091 18780341 18925170 19080334 19226844 19378882 19530776 19688606 19845885 20001648 20145073 20290246 20443298 20601799 20746802 20902862 21058251 21202532 21355162 21492770 21638669 21783403 21929501 22062478 22206116 22350397 22495065 22652735 22807932 22950613 23107711 23261546 23401205 23557961 23714595 23870408 24015633 24170847 24322291 24475578 24633205 24787816 24932679 25089069 25241910 25383833 25533853 25691361 25835638 25993663 26149092 26292258 26445470 26596585 26742038 26899891 27057195 27211709 27353185 27505033 27653684 27811156 27969148 28125041 28266235 28407440 28546837 28685129 28828573 28972190 29114905 29249580 29400410 29540087 29697372 29853898 30011043 30167418 30306580 30458340 30600941 30759273 30913108 31072038 31201594 31355989 31506952 31652093 31810543 31964881 32112914 32268373 32421806 32563506 32721239 32875133 33029792 33173907 33325187 33477984 33618470 33777336 33931819 34069187 34215338 34356096
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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