[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Mon Oct 12 23:58:27 GMT+02:00 2026
Hostname: n23m0269.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958327/tmpj7mw9qqlprism_from-prism_to-tra_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958327/tmpguiizqd3prism_from-prism_to-tra_ex_pacman.60_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958327/tmpj7mw9qqlprism_from-prism_to-tra_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... 155673 317238 477503 635694 800150 954073 1113533 1272344 1426800 1588684 1744628 1893833 2049278 2215114 2373539 2531596 2693221 2855083 3021130 3178996 3321786 3476206 3643638 3797123 3963132 4118097 4273116 4439778 4589012 4746960 4905529 5050522 5198888 5359044 5525740 5692962 5846459 6008611 6155581 6306284 6454105 6615756 6773625 6926462 7073430 7227415 7390342 7549527 7702722 7863845 8017525 8160080 8314053 8477233 8642074 8794206 8955466 9108447 9250508 9393771 9545188 9697197 9857868 10005339 10149804 10302949 10466735 10627414 10780505 10940507 11085839 11228565 11391109 11556827 11699742 11864577 12011336 12165000 12317467 12481684 12640950 12792157 12953208 13101428 13250130 13409268 13568741 13715413 13860657 14008185 14141912 14280121 14440288 14589011 14754569 14918905 15068951 15220051 15380875 15544398 15696412 15860696 16014520 16170930 16321175 16482805 16650427 16820068 16974559 17138858 17289531 17447807 17610568 17777918 17931590 18096903 18251607 18414138 18568298 18724920 18890558 19042909 19204680 19358922 19526339 19686003 19853703 20019113 20171192 20325122 20485840 20650240 20796415 20952495 21104624 21248324 21392321 21548440 21708284 21866268 22010731 22174861 22334821 22484809 22651403 22815621 22966705 23133558 23297380 23446412 23611899 23773312 23930237 24097441 24259929 24411621 24576483 24741865 24896650 25064758 25226223 25375524 25538374 25705723 25861771 26027737 26189826 26339833 26499588 26663467 26813718 26978204 27142544 27292433 27453788 27618164 27775716 27942124 28107512 28256964 28419734 28570575 28718857 28863424 29016039 29167369 29301679 29448971 29597081 29760497 29920640 30084210 30229905 30391344 30540833 30707813 30871823 31038990 31181076 31345848 31504207 31669249 31836910 32002475 32155521 32311783 32455836 32588355 32745320 32897366 33042783 33188382 33329476 33474359 33626776 33786300 33932727 34066810 34222457 34371394
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:10:40 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.4956598/tmpa58v78wnprism_from-prism_to-tra_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956598/tmp_s4rf57tprism_from-prism_to-tra_ex_pacman.60_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956598/tmpa58v78wnprism_from-prism_to-tra_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... 148313 299975 450362 604672 753299 905980 1052501 1202891 1350184 1501899 1649693 1801269 1949386 2092982 2246357 2395623 2545274 2682549 2829183 2981948 3134972 3274206 3418009 3574314 3720316 3877420 4030626 4175634 4323272 4470823 4616746 4766803 4921664 5060980 5211836 5363358 5518920 5674978 5819537 5967926 6110746 6244283 6379775 6533236 6683209 6830606 6967089 7113388 7256848 7409012 7558905 7700818 7850521 7990531 8137199 8280059 8431838 8581450 8722594 8873625 9014532 9154493 9285918 9416264 9562321 9708988 9858985 10001490 10137598 10279507 10432545 10580967 10723600 10875799 11022944 11166527 11308537 11461171 11611232 11760853 11901232 12049174 12188583 12336896 12481156 12633563 12784990 12934545 13070815 13211136 13360929 13512238 13661906 13803712 13936231 14067471 14191732 14324898 14473803 14613758 14765579 14914911 15049944 15197604 15338317 15490108 15640018 15792724 15936087 16084954 16224753 16373021 16514985 16666038 16818397 16966934 17103457 17243291 17391228 17537270 17684882 17836650 17975345 18123805 18264462 18411727 18555902 18705192 18857219 18995189 19143297 19283330 19424559 19576399 19724977 19876609 20016298 20164497 20304218 20452231 20601775 20751762 20901227 21041342 21189692 21322899 21459628 21594264 21733800 21873305 22017081 22154116 22301709 22440047 22584036 22734110 22885602 23035013 23171258 23318292 23455038 23608422 23757384 23907948 24057995 24193956 24339851 24475829 24627993 24777550 24928098 25066104 25218564 25366389 25501662 25653422 25803469 25953971 26093181 26242198 26387549 26535822 26679857 26829238 26967731 27119063 27267067 27399782 27547328 27698843 27848003 27984943 28134981 28282599 28416916 28564042 28716070 28849504 28990260 29129193 29264798 29385633 29516958 29652182 29787006 29940203 30091071 30238095 30372836 30519161 30669019 30811175 30962281 31113298 31250570 31384115 31529402 31668284 31819753 31969028 32120130 32267756 32401773 32545849 32684886 32834923 32981277 33130440 33277198 33409346 33553445 33693497 33844731 33992104 34142842
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:29:01 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.4954915/tmp37vjn17zprism_from-prism_to-tra_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954915/tmpevxlhrtpprism_from-prism_to-tra_ex_pacman.60_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954915/tmp37vjn17zprism_from-prism_to-tra_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... 144668 292433 440090 590499 736644 885834 1026108 1173374 1317434 1457869 1600345 1751609 1886262 2024318 2170010 2318980 2460084 2603235 2747484 2898858 3050290 3194403 3336012 3485277 3629214 3779627 3922936 4069822 4211202 4350168 4501181 4652520 4799690 4937812 5069508 5196464 5342942 5491091 5630356 5777786 5926828 6066905 6207271 6360085 6503638 6656263 6805911 6944015 7090015 7228246 7380408 7519268 7656900 7791138 7922120 8058457 8196383 8346588 8489014 8640933 8788747 8925711 9065866 9212849 9358462 9508186 9658743 9809268 9944490 10084592 10231050 10373200 10523555 10670285 10818578 10952424 11098909 11227014 11357547 11501612 11643221 11783859 11932005 12067552 12215126 12359470 12511144 12660927 12801119 12951493 13091785 13239113 13383237 13531127 13678221 13820457 13966612 14101754 14248922 14386826 14532567 14673194 14820240 14964871 15103657 15239169 15384047 15536596 15686399 15833628 15984414 16125367 16271829 16416325 16565656 16712896 16849516 16996839 17128309 17254006 17391950 17525013 17659589 17807273 17951659 18079834 18224863 18358651 18510359 18659133 18800551 18950492 19096550 19233750 19372181 19524236 19671347 19819629 19955168 20101347 20246122 20379500 20529890 20672933 20816478 20965787 21112290 21246551 21381672 21531475 21679967 21830180 21971412 22118787 22255435 22401135 22544250 22695750 22847269 22996214 23131724 23278517 23414849 23565812 23712453 23849974 24000598 24144075 24280218 24426687 24565586 24715397 24864064 25000106 25147001 25292839 25430464 25579350 25721719 25870645 26021873 26170110 26306587 26442178 26569689 26711022 26847257 26975412 27114065 27245647 27369663 27514065 27659556 27802276 27935360 28084024 28231244 28365985 28508348 28650470 28791250 28928248 29079796 29227199 29358833 29498913 29640796 29772684 29917832 30065137 30208868 30328568 30471183 30613334 30744926 30890785 31042510 31172217 31310256 31449032 31584507 31713908 31847996 31979515 32110875 32239549 32350441 32480936 32601896 32752624 32898097 33045671 33192617 33319556 33462303 33586772 33739006 33890422 34034982 34183125
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:32:23 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955049/tmpbh937as3prism_from-prism_to-tra_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955049/tmpzank8nt7prism_from-prism_to-tra_ex_pacman.60_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955049/tmpbh937as3prism_from-prism_to-tra_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... 145953 295772 443884 595502 740597 891529 1034926 1182605 1327805 1477028 1624739 1772082 1913518 2056574 2202649 2356680 2500888 2648209 2796203 2949497 3093604 3240835 3382545 3529755 3683489 3837100 3982403 4124267 4257604 4406596 4558389 4709052 4857235 4993733 5134316 5284202 5432954 5586217 5739482 5878102 6026083 6168117 6321086 6465581 6619353 6771348 6912979 7054101 7183756 7325688 7477435 7628109 7774749 7912161 8062152 8203400 8357385 8508589 8652481 8806309 8956159 9091541 9236871 9384325 9535464 9688818 9840199 9979096 10120144 10269800 10424196 10559208 10700174 10839225 10985235 11122931 11272061 11425901 11571794 11723236 11875530 12015951 12163761 12302133 12454950 12606349 12745850 12899399 13048800 13190409 13331570 13484640 13633708 13786496 13926165 14075514 14218270 14361889 14515029 14666695 14819831 14960447 15110344 15243889 15380703 15508428 15650283 15798104 15939035 16090030 16224000 16373877 16524533 16668329 16822879 16972894 17113426 17261901 17405747 17559250 17707541 17850532 18001944 18143098 18291655 18434853 18585515 18733876 18877631 19029546 19169581 19318655 19460920 19613415 19762746 19904702 20057004 20199918 20349575 20493917 20646546 20791169 20932169 21083748 21228404 21377009 21522454 21674540 21823689 21973932 22112494 22261486 22400221 22552023 22696675 22847660 22994790 23126050 23264246 23395779 23537245 23671690 23813457 23958245 24099377 24232611 24362571 24503828 24635053 24782872 24930578 25078183 25218715 25352913 25494663 25635642 25786632 25934674 26080019 26212102 26356109 26487732 26603613 26753303 26902545 27045745 27179109 27306705 27444885 27579096 27731719 27874914 28018004 28157171 28304794 28447605 28585227 28736006 28881670 29030464 29155981 29291292 29415076 29531539 29665833 29788870 29906578 30036518 30183862 30323698 30454117 30595513 30737105 30880761 31010108 31151588 31294216 31428159 31569098 31714132 31857922 31985169 32136329 32281970 32414478 32558938 32706267 32851607 32988677 33137883 33277197 33397496 33538525 33684126 33818144 33961727 34112089 34255725
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:17:38 GMT+02:00 2026
Hostname: n23m0102.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956855/tmprhwd2avkprism_from-prism_to-tra_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956855/tmpzoe2xsxxprism_from-prism_to-tra_ex_pacman.60_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956855/tmprhwd2avkprism_from-prism_to-tra_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... 148920 300832 451007 605687 752825 906043 1052978 1210112 1355932 1503473 1658267 1810153 1949239 2099808 2258495 2408429 2551259 2694175 2850544 3001359 3158553 3301900 3447159 3594825 3751480 3907546 4048481 4182834 4330286 4480000 4637568 4795090 4939034 5091126 5236597 5388433 5542445 5697528 5847956 5988710 6133841 6287374 6436871 6594434 6749426 6900656 7042590 7184361 7340386 7493596 7635362 7790637 7933492 8085199 8216960 8357802 8511261 8664311 8813369 8948568 9100737 9243411 9399217 9546973 9704224 9857129 9997819 10148229 10292044 10448676 10599714 10741944 10897309 11036214 11187621 11334833 11492482 11632308 11779442 11924086 12055430 12187609 12339289 12494671 12637761 12792405 12944959 13082706 13226558 13380386 13534044 13678038 13829966 13973146 14123697 14263534 14417470 14563493 14719557 14873803 15012630 15163036 15303580 15456286 15596054 15752172 15905134 16043706 16185930 16334487 16482087 16634661 16790283 16934139 17085424 17224534 17355998 17496814 17620255 17759374 17907717 18051590 18186389 18325910 18479995 18634782 18787459 18932504 19084478 19224372 19374194 19529711 19676387 19831445 19984265 20115921 20259545 20398853 20555440 20707660 20840565 20994918 21145163 21286924 21437211 21584763 21738184 21892646 22044463 22184205 22329223 22479303 22633982 22775201 22931998 23082418 23221333 23371994 23511116 23662599 23805161 23947700 24076694 24224507 24360584 24505135 24661262 24805598 24961431 25114350 25253875 25404398 25547561 25703248 25854001 25993828 26149304 26298854 26437523 26569067 26710714 26853602 26992582 27125742 27247414 27379543 27504552 27650687 27796204 27942037 28082543 28235171 28383419 28520879 28674685 28826315 28967178 29119885 29269022 29405980 29554508 29709563 29851510 30006714 30158405 30306054 30441199 30586913 30736900 30869362 31025736 31165106 31313499 31450232 31598843 31739830 31886294 32029497 32169759 32307768 32432790 32566945 32697778 32844623 32997153 33150280 33294172 33427511 33574841 33718636 33873750 34025543 34174202
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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