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

Version: 4.11
Date: Mon Oct 12 23:16:30 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.4956797/tmpm6x8jyoqprism_from-prism_to-tra_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956797/tmpi646s174prism_from-prism_to-tra_ex_pacman.100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956797/tmpm6x8jyoqprism_from-prism_to-tra_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... 148527 302139 455270 610491 763598 912904 1062188 1214737 1362594 1516008 1667509 1818162 1967579 2115825 2271946 2421887 2573914 2725254 2866258 3018999 3173457 3315393 3460569 3619913 3777115 3929805 4085836 4233653 4382836 4531901 4686154 4834813 4988298 5132719 5288278 5439213 5596500 5753578 5898458 6043670 6184522 6327542 6476200 6632093 6786247 6928009 7081875 7229888 7388487 7543340 7690663 7846047 7992507 8145579 8294038 8450749 8607137 8754219 8910265 9057506 9198126 9334324 9482019 9629026 9787442 9937954 10079197 10231360 10383817 10540785 10695038 10851665 10994213 11147131 11295118 11453470 11603172 11759648 11915719 12061992 12208956 12365661 12522484 12668103 12826196 12981945 13129062 13275552 13434076 13590355 13732242 13876668 14019524 14155707 14300053 14458026 14611345 14754557 14910941 15065851 15212622 15360006 15518821 15674515 15829726 15973595 16128273 16273451 16429837 16586376 16729828 16886854 17041009 17186767 17332659 17491067 17644238 17791308 17948408 18102937 18245739 18399129 18551294 18706759 18865600 19015617 19166532 19312000 19467415 19624509 19770668 19927872 20082138 20227291 20379700 20529326 20685763 20825026 20970593 21112793 21240090 21371343 21522554 21672927 21823468 21962850 22119455 22272602 22406768 22561517 22712626 22857937 23016530 23168073 23305560 23458232 23617141 23771102 23919062 24075300 24228636 24370807 24522973 24676582 24819305 24977370 25132758 25273675 25427460 25582257 25726913 25884048 26041286 26195455 26333138 26481411 26618780 26776365 26933343 27089313 27227754 27379850 27519582 27678361 27834009 27990531 28139266 28270936 28423610 28558141 28704216 28847932 28993372 29124462 29268581 29406906 29542578 29694796 29849652 30005905 30147574 30300889 30445646 30598106 30755480 30903581 31043523 31176742 31328967 31467057 31618149 31770591 31920737 32062075 32214428 32363469 32500649 32653333 32806741 32943429 33102204 33255723 33400994 33554085 33709207 33855297 34010183 34167619 34319786
##############################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: 664.014 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:04:46 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.4956342/tmp_efo114vprism_from-prism_to-tra_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956342/tmpr8two7nbprism_from-prism_to-tra_ex_pacman.100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956342/tmp_efo114vprism_from-prism_to-tra_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... 143989 295535 441252 591026 736061 882666 1025882 1173674 1320173 1461200 1610768 1759914 1903181 2045881 2196821 2341900 2496509 2639892 2786251 2932061 3085982 3232514 3369265 3515650 3668607 3821259 3968324 4119052 4263531 4400059 4546536 4692232 4846081 4990939 5128362 5273250 5428646 5581643 5736192 5881667 6023626 6159377 6307397 6460764 6609895 6757469 6898415 7047224 7188648 7341618 7494697 7636952 7789337 7940704 8082700 8224499 8378456 8527251 8678879 8817726 8967968 9101536 9225059 9368269 9517299 9667872 9817801 9956111 10105190 10245591 10401127 10547592 10701829 10853710 10992389 11143235 11286483 11441357 11593818 11737086 11890065 12032442 12183180 12328088 12480842 12633169 12787309 12931421 13081809 13212398 13344827 13471081 13621727 13771060 13907517 14055522 14192394 14341891 14495718 14639024 14793944 14946040 15087893 15237328 15380109 15530625 15679520 15833095 15974714 16125463 16268585 16421055 16565437 16719591 16874056 17014236 17161926 17298792 17450893 17592713 17745032 17898719 18041378 18184378 18331793 18478575 18632372 18784876 18938007 19078623 19227638 19370087 19523654 19668994 19822210 19974792 20114299 20252146 20382595 20524104 20658399 20803465 20953093 21100710 21237789 21385164 21527280 21680393 21833843 21986848 22124572 22273940 22413608 22567787 22719675 22872673 23012670 23164326 23313268 23452343 23605615 23754561 23892897 24045420 24194199 24327513 24471785 24626420 24769097 24923175 25075883 25225209 25365285 25514544 25658438 25811342 25964632 26116761 26252397 26399461 26539550 26690110 26841982 26996198 27134071 27284431 27423749 27572979 27726018 27877465 28017883 28171304 28321324 28459276 28611077 28764269 28897300 29038970 29178034 29311060 29433369 29564531 29704867 29842150 29987589 30133143 30273998 30401841 30543838 30680870 30831377 30982266 31134346 31272064 31404423 31550188 31693103 31845375 31996359 32148528
##############################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: 702.816 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956268/tmpe40juyl3prism_from-prism_to-tra_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... 146395 297742 447992 601513 750752 899405 1045358 1195390 1342160 1492403 1640512 1788707 1932426 2078866 2231224 2378939 2524606 2676298 2827768 2980337 3126802 3267266 3417938 3567645 3720522 3875857 4020867 4166341 4310885 4466296 4619484 4757972 4902682 5048743 5186976 5337593 5486273 5641988 5795744 5936738 6085403 6229091 6383623 6528417 6683382 6836045 6976235 7120033 7273256 7425690 7580755 7720707 7861176 7998440 8138947 8291905 8445478 8589343 8744613 8894137 9034775 9178720 9330792 9473652 9627870 9782743 9925527 10069612 10220052 10368517 10523975 10677357 10831585 10973558 11116190 11253585 11392045 11540589 11686658 11841075 11990668 12132880 12277585 12433348 12584622 12728058 12883767 13035503 13180105 13323303 13477956 13630237 13774578 13928024 14079040 14219081 14363642 14518068 14671303 14824977 14969065 15119572 15263426 15416671 15562476 15716851 15869138 16010328 16161148 16305027 16459646 16612259 16758486 16912524 17058805 17198146 17330033 17469525 17612835 17761317 17912015 18052859 18202602 18343143 18496563 18641105 18796821 18950975 19099640 19240771 19380417 19535630 19688499 19840034 19995538 20147483 20289526 20439824 20585943 20737919 20889423 21041238 21182033 21324520 21476963 21631338 21774100 21929495 22081666 22221839 22370494 22516453 22671244 22824461 22969440 23122845 23273449 23415397 23570133 23716486 23870609 24024638 24164275 24315120 24456665 24612027 24765401 24906233 25061677 25212849 25355273 25504954 25648872 25802241 25955242 26107701 26246358 26384680 26521719 26661743 26793720 26936992 27078095 27220074 27354718 27500712 27652414 27796919 27951876 28105189 28255890 28395378 28544100 28690862 28844864 28999660 29152585 29292042 29441604 29577127 29731894 29883681 30037959 30190544 30325648 30474558 30616459 30771442 30923040 31078089 31220421 31351459 31499176 31640919 31795889 31947690 32102732 32236372 32372473 32504200 32627314 32765448 32902236 33040862 33176557 33326025 33474799 33610724 33766121 33917914 34058587 34213790 34364406
##############################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: 707.904 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956480/tmp93_6vngtprism_from-prism_to-tra_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... 146771 296495 443295 596774 740912 892239 1040950 1189487 1336654 1487497 1640077 1789222 1927579 2076769 2227697 2383297 2528421 2677166 2818794 2970058 3117952 3267491 3406593 3557150 3709057 3851417 4005743 4135293 4270082 4421586 4569922 4725577 4871143 5018946 5164093 5309817 5464628 5618666 5763263 5910476 6053460 6184181 6332927 6485480 6637390 6784966 6915639 7055769 7200149 7349661 7502315 7643775 7795985 7947686 8086368 8229123 8385912 8531308 8687244 8839647 8979387 9123794 9273270 9423160 9574742 9728876 9867425 10002347 10131724 10274685 10426280 10571023 10711998 10865583 11003870 11154718 11294858 11442069 11596068 11750259 11898147 12049381 12193318 12338818 12494967 12649162 12802441 12938730 13080031 13225612 13376183 13528926 13674667 13825920 13972683 14112527 14253012 14398091 14551091 14704557 14842707 14986447 15118483 15251198 15399167 15544437 15698967 15852853 15999503 16148309 16287275 16441205 16585146 16737528 16890972 17028519 17175665 17317639 17471114 17609419 17762064 17916441 18056884 18208394 18350637 18505720 18649544 18804885 18958589 19098525 19246841 19390090 19544169 19686235 19840668 19991342 20127071 20277592 20417267 20571308 20716985 20866710 21017635 21155989 21305602 21449312 21603106 21747253 21903165 22055955 22196110 22337899 22469294 22606591 22730419 22871619 23014356 23154847 23275334 23422684 23567326 23697111 23850861 24002561 24148470 24284053 24431630 24583074 24739301 24893226 25045716 25194745 25334518 25482360 25624367 25776320 25929048 26078752 26209908 26361291 26496568 26641209 26793306 26943156 27092471 27223513 27368766 27495175 27646587 27798343 27950247 28102450 28241242 28390203 28528353 28682926 28833657 28982580 29110892 29252237 29387104 29514007 29656588 29797220 29930509 30061098 30207882 30355323 30491762 30644225 30797315 30937869 31093456 31234107 31383610 31519319 31671918 31822145 31962132 32114377 32259385 32398258 32545422 32696054 32837446 32990226 33140358 33287091 33421620 33569281 33721367 33865213 34016783 34169953 34317286
##############################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: 688.268 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:15:22 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.4956739/tmp9r80zg62prism_from-prism_to-tra_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956739/tmp_37i3p9nprism_from-prism_to-tra_ex_pacman.100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956739/tmp9r80zg62prism_from-prism_to-tra_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... 148487 302733 455429 610290 759993 915141 1060113 1218180 1362592 1506684 1660548 1813777 1949991 2093815 2252912 2399815 2545257 2691414 2836375 2996378 3142506 3280032 3425375 3582185 3736677 3886395 4040772 4186621 4330338 4470425 4611158 4767772 4916607 5056058 5199270 5347742 5505292 5658813 5802214 5954615 6096739 6244145 6402195 6557260 6705465 6861631 7004841 7151037 7300599 7457530 7613419 7756024 7908380 8054062 8195154 8352586 8508203 8648642 8803293 8950803 9096957 9238127 9398266 9553638 9701488 9859193 10001423 10136314 10275134 10423340 10572988 10723063 10862116 11012910 11157034 11304317 11463802 11615466 11753903 11911730 12052577 12203128 12354884 12511431 12661043 12818536 12972326 13117274 13263665 13421004 13571141 13728667 13881829 14020347 14162226 14313859 14464603 14619802 14777139 14919263 15062515 15200508 15331694 15470102 15613367 15767252 15919369 16063937 16206414 16359297 16508478 16665410 16822546 16975638 17118080 17260934 17413385 17561624 17713495 17870218 18022615 18160724 18297675 18452488 18599368 18754925 18911072 19063510 19206080 19350251 19507923 19654432 19810757 19967516 20107803 20260360 20401003 20560258 20702681 20852962 21009659 21147811 21297814 21443965 21601153 21738960 21898154 22049437 22187858 22341499 22489128 22648219 22788978 22947585 23101551 23240721 23381701 23515763 23658431 23796299 23932917 24081236 24222316 24352309 24505221 24663878 24802787 24961866 25117520 25267311 25407424 25562725 25719258 25867024 26025577 26180726 26320144 26472949 26624483 26768606 26927181 27084469 27238187 27377638 27527379 27675169 27831878 27989521 28144970 28283779 28435747 28568972 28713661 28852156 28992978 29132336 29252980 29391704 29526252 29684472 29841474 29998631 30154673 30290220 30440026 30574811 30729290 30879690 31033391 31158949 31306503 31454910 31594258 31747388 31900912 32058501 32199362 32353548 32489796 32644477 32802802 32956090 33098452 33253017 33394829 33519545 33673482 33832752
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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