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

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956174/tmp_vo3kam7prism_from-prism_to-tra-gz_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... 148431 301286 448691 602795 746557 898159 1046424 1199238 1340982 1486441 1638430 1792824 1923844 2073532 2223097 2376809 2521325 2668271 2826291 2976027 3131536 3276432 3420020 3575264 3717368 3872794 4023887 4162331 4306591 4463644 4614846 4762582 4915166 5044996 5179169 5326377 5468262 5624560 5775798 5928656 6073340 6214936 6369743 6521982 6667562 6820389 6965395 7114690 7260439 7412413 7558100 7701910 7838251 7974307 8117070 8251109 8404418 8553480 8708159 8851492 9003203 9146552 9291242 9446937 9598797 9745574 9897525 10041490 10181751 10333257 10490454 10625375 10776966 10925037 11054847 11194999 11340246 11484689 11630214 11769900 11910192 12039879 12181627 12333073 12486736 12631471 12786074 12939295 13082746 13228443 13380071 13532780 13675846 13827267 13975941 14118002 14257532 14410744 14564486 14709249 14861811 15004948 15154825 15297108 15442277 15595708 15747550 15899080 16041387 16185538 16334995 16482496 16637923 16794377 16943211 17092454 17235637 17382987 17533155 17666935 17805685 17941370 18065020 18202832 18340581 18493596 18642976 18784507 18939295 19089598 19229889 19378568 19527387 19681953 19836379 19989952 20130106 20280291 20421927 20575647 20726460 20863935 21015896 21165670 21306091 21453348 21599566 21751865 21906412 22058414 22193571 22342454 22485958 22641915 22793611 22939923 23092260 23239697 23391203 23533638 23690860 23841199 23994078 24135274 24284438 24419444 24573341 24726263 24862590 25018396 25168209 25300585 25451056 25597080 25753872 25908747 26062105 26201089 26351360 26492682 26632426 26787218 26941154 27093117 27224413 27373080 27498921 27637379 27778166 27903742 28042552 28179423 28312551 28434535 28570076 28715201 28839215 28993474 29147572 29298306 29432988 29580587 29733803 29872427 30027271 30176175 30324032 30461776 30612053 30753830 30906541 31063885 31206729 31339940 31489252 31635374 31770489 31921666 32075821 32215631 32332805 32482288 32614149 32759859 32900957 33043588 33185840 33306612 33444869 33576532 33710128 33864557 34016199 34169491
##############################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: 677.046 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:53:52 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.4958156/tmp_zj8kc7sprism_from-prism_to-tra-gz_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958156/tmp0de7jgmgprism_from-prism_to-tra-gz_ex_pacman.60_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958156/tmp_zj8kc7sprism_from-prism_to-tra-gz_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... 149207 299934 451276 608020 762483 918157 1067797 1219930 1368602 1521312 1677651 1827686 1973766 2127600 2280897 2435827 2581134 2733779 2890967 3049561 3199760 3347281 3503901 3660901 3808612 3967440 4111240 4251111 4402692 4558573 4709310 4867686 5015205 5169103 5327392 5485717 5634293 5792696 5937824 6078172 6220962 6375186 6528123 6678273 6835465 6983427 7137097 7287051 7445296 7602722 7750893 7907960 8054648 8205633 8365802 8522880 8678112 8837626 8982244 9118697 9262565 9420006 9568016 9728909 9883004 10023266 10172500 10326396 10483255 10630668 10789772 10944935 11091725 11237918 11396188 11555032 11702717 11861106 12007281 12161735 12300503 12446895 12591173 12737130 12890645 13040399 13187074 13336435 13495134 13651352 13809388 13954676 14107785 14262911 14420356 14571869 14731180 14887533 15033169 15185720 15332757 15491948 15646407 15795016 15951156 16096859 16246284 16395164 16553492 16710431 16868703 17012236 17164546 17303946 17447890 17586117 17730985 17885303 18037003 18190736 18331377 18489248 18644767 18793105 18951233 19105579 19249781 19393532 19552185 19708912 19866756 20012399 20168012 20313687 20469725 20626898 20771883 20929956 21084122 21227849 21380108 21530048 21685116 21841582 21988434 22144252 22289638 22442837 22602439 22750300 22907511 23063788 23207718 23361255 23510013 23670095 23826129 23971662 24128665 24280031 24424397 24581305 24731439 24888377 25045009 25187012 25340244 25476789 25615493 25752181 25884194 26029177 26171297 26316577 26454364 26607376 26762371 26903547 27062248 27218036 27360121 27514216 27672585 27817795 27977024 28135108 28289444 28432927 28588102 28734176 28893674 29052811 29208376 29348969 29500588 29657484 29804805 29963442 30121588 30276599 30418731 30570502 30720666 30877755 31036698 31163552 31307251 31449353 31576517 31724754 31870314 32017172 32156935 32306199 32457914 32593214 32750269 32906213 33050639 33206839 33360895 33503032 33656423 33816142
##############################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: 642.009 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956366/tmp0j6rlpazprism_from-prism_to-tra-gz_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... 162381 329205 497225 660977 825800 991212 1159848 1322669 1486113 1651569 1811656 1961454 2116261 2266625 2423032 2576054 2735741 2894228 3060949 3216796 3363929 3512968 3678079 3833075 3987401 4134639 4267336 4431807 4593386 4742199 4896829 5039912 5190141 5348815 5501389 5663824 5826667 5978505 6123272 6258078 6414594 6569746 6734092 6886559 7033222 7186515 7353348 7506800 7671524 7826781 7988535 8138941 8294115 8457513 8620426 8776391 8938002 9072685 9203642 9351116 9508029 9663700 9809776 9971434 10125748 10277455 10443489 10603320 10760122 10922085 11074161 11223585 11387189 11551587 11698857 11863747 12017217 12168192 12322854 12488007 12651914 12804391 12965726 13115891 13262728 13412852 13565008 13715339 13850029 14000401 14141779 14287936 14451578 14610634 14763687 14925957 15078731 15231862 15395119 15558970 15711554 15875585 16030257 16189821 16340804 16499246 16665338 16832292 16982483 17144126 17296134 17453158 17608004 17769111 17922669 18073929 18221108 18372946 18539374 18690457 18858054 19019789 19168750 19321290 19484523 19640548 19806804 19971442 20119383 20268530 20407410 20551738 20705447 20848799 20995594 21139361 21281882 21424403 21582137 21750599 21921648 22087260 22239982 22401618 22562122 22730917 22901057 23048992 23210273 23367505 23524652 23696081 23857958 24012062 24177830 24337781 24503314 24674796 24833411 25004630 25171870 25322044 25486628 25657421 25812333 25986442 26156328 26308568 26470853 26615537 26787348 26957637 27122939 27260960 27412340 27564661 27735043 27902945 28071776 28220633 28384565 28528042 28683741 28836567 28988910 29127310 29277086 29422777 29554948 29713511 29866959 30015933 30183684 30344837 30490507 30656195 30820665 30963910 31127121 31269666 31415502 31575445 31744578 31894216 32063284 32225896 32387413 32535519 32701495 32853081 33021371 33186967 33343139
##############################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: 701.643 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956202/tmpy60renjoprism_from-prism_to-tra-gz_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... 145507 298090 449622 604945 756931 909303 1054881 1213605 1351870 1503237 1655643 1799615 1944330 2090889 2235470 2390818 2534037 2682775 2833986 2993511 3149342 3291308 3436350 3587817 3734710 3892093 4040292 4189800 4337182 4494983 4641936 4797804 4941190 5073438 5215454 5366127 5519991 5674938 5816328 5970870 6115758 6262965 6421650 6578360 6734844 6878879 7020971 7164261 7302066 7451068 7598778 7753017 7900400 8037469 8182189 8334793 8477732 8635927 8790284 8933497 9073033 9213571 9356378 9508130 9660901 9808601 9961184 10107001 10250754 10409428 10560780 10703807 10857002 10998160 11144301 11292351 11448306 11585714 11726927 11866643 12015089 12152484 12296625 12454787 12610018 12766476 12908774 13062033 13208160 13355640 13511930 13666839 13811993 13966831 14109493 14250146 14393978 14534618 14663604 14815345 14963517 15100517 15243181 15394984 15549834 15698306 15854746 16007862 16152809 16295481 16451532 16597962 16755323 16911739 17047935 17197988 17341229 17497818 17639108 17795587 17947890 18086613 18232064 18381304 18529228 18683944 18840881 18986317 19139634 19284689 19437787 19577937 19722483 19868503 20010552 20142656 20279202 20410258 20568350 20719683 20862127 21001912 21151621 21282767 21434669 21589423 21722144 21877489 22031980 22183179 22323507 22474072 22622256 22776272 22932465 23083559 23223317 23372786 23516423 23671894 23823144 23977823 24115772 24265082 24397716 24548427 24702702 24843545 24999305 25150893 25294008 25447473 25601953 25746480 25901552 26056533 26208465 26346884 26495891 26623837 26767107 26905555 27045416 27184840 27299317 27431007 27562645 27718387 27871194 28022570 28168176 28296600 28447344 28590717 28746410 28900075 29057105 29193901 29346994 29486660 29643087 29799391 29954395 30108442 30264310 30415006 30553285 30710859 30864494 31020405 31151588 31303102 31451873 31588866 31745690 31897916 32040562 32187486 32330752 32453695 32584567 32731081 32874476 33007528 33161962 33312953 33454434 33603597 33761832 33907268 34063913 34220096 34370447
##############################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: 732.649 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957512/tmpj6leudl_prism_from-prism_to-tra-gz_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... 136431 277677 417850 567247 701889 847632 982075 1123671 1273373 1404396 1545447 1691498 1828816 1966015 2108277 2246301 2391178 2526929 2660187 2803363 2951537 3093694 3229124 3362978 3499775 3639957 3789317 3928430 4072999 4193661 4334501 4477158 4621432 4760049 4894624 5031501 5169654 5306658 5445877 5594389 5723792 5870073 5999820 6129921 6268115 6416040 6554646 6698210 6843927 6977037 7111325 7251490 7399077 7534022 7675633 7808768 7934216 8067543 8202567 8352647 8488988 8634696 8783339 8921320 9058546 9196046 9344750 9486891 9636128 9776831 9923492 10061272 10198823 10347249 10499951 10647737 10783075 10922802 11045825 11174595 11315959 11461296 11608111 11747647 11898058 12035138 12172362 12316459 12460766 12609657 12748980 12897604 13034248 13174383 13319829 13460952 13610945 13760909 13895996 14043083 14180305 14318155 14468980 14608186 14757021 14893407 15040252 15177582 15315967 15467389 15604489 15752311 15899327 16029119 16154622 16278548 16412682 16554622 16699141 16835428 16981303 17123844 17257784 17394551 17546950 17690369 17838445 17973000 18120146 18255069 18400627 18548396 18696604 18846223 18988677 19112802 19254039 19382462 19532823 19678488 19810928 19955949 20095832 20224057 20361375 20497247 20642642 20780560 20914423 21058600 21199628 21325886 21470253 21609601 21754842 21905065 22048429 22178376 22315930 22457925 22609926 22746126 22896446 23044428 23175874 23320258 23453100 23605617 23752631 23888932 24038917 24182666 24308028 24441348 24572189 24711360 24847257 24985933 25114194 25253264 25387265 25517396 25667917 25815247 25964415 26097494 26242958 26386286 26516974 26662145 26810344 26940765 27091167 27237869 27372887 27517762 27667383 27814647 27947323 28095425 28240019 28369235 28512984 28662423 28810724 28945733 29093669 29238850 29367000 29501525 29638862 29763800 29901686 30041216 30178431 30313384 30441844 30583732 30718804 30866110 31015285 31157826 31302515 31432119 31573650 31711922 31859517 32006155 32154653 32299296 32446133 32585384 32725213 32873418 33021556 33169791 33295946 33442267 33575064 33725202 33874339 34019753 34168448
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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