[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Mon Oct 12 23:07:07 GMT+02:00 2026
Hostname: n23m0334.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956469/tmpwt0xzzlkprism_from-prism_to-umb_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956469/tmpx72t0_gwprism_from-prism_to-umb_ex_pacman.60_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956469/tmpwt0xzzlkprism_from-prism_to-umb_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... 152301 306780 463009 615620 769737 926231 1081892 1238942 1393327 1549810 1710491 1860109 2013169 2169253 2331612 2482704 2633652 2794269 2948096 3109640 3259212 3407731 3558438 3715556 3876062 4025654 4175249 4333615 4479539 4640567 4801095 4942732 5084802 5224883 5383900 5542244 5696830 5854701 6001221 6152644 6311978 6471588 6625495 6785346 6934853 7080899 7216080 7365800 7523302 7680942 7835415 7980157 8128872 8288362 8448082 8596606 8757740 8913394 9057625 9204420 9346514 9490237 9641748 9798508 9943056 10090069 10245268 10407434 10557665 10717945 10877122 11022988 11172643 11331041 11491755 11638043 11798257 11955129 12104433 12251089 12411582 12569969 12720261 12880845 13037978 13174761 13314964 13463418 13617630 13768491 13926053 14069073 14225678 14374464 14533518 14692416 14851361 14996144 15151325 15300399 15460331 15606858 15767484 15923884 16071373 16226417 16376976 16536911 16694067 16845944 17003672 17151040 17306267 17456946 17613806 17772481 17921445 18077916 18226126 18382208 18543109 18694090 18855104 19012329 19157879 19307121 19448828 19598318 19744436 19883082 20035076 20185585 20327599 20485085 20632187 20790041 20950345 21105144 21251573 21406311 21559622 21718347 21877707 22035239 22181162 22336327 22483141 22643082 22799985 22950283 23109041 23265676 23409432 23568804 23717459 23877345 24037481 24192142 24334503 24489406 24643208 24803163 24963546 25121088 25262852 25417605 25567703 25727605 25884000 26030446 26189438 26345311 26488940 26644850 26796347 26956600 27115904 27270927 27412766 27568982 27719946 27879150 28039188 28196162 28335448 28488470 28627697 28768171 28908388 29057131 29189008 29333722 29460275 29610325 29757492 29891909 30017561 30171540 30321676 30453238 30596615 30743421 30891346 31021230 31153641 31302370 31428407 31570510 31727241 31870887 32009644 32161855 32309833 32447640 32594647 32751358 32889193 33042187 33185962 33320407 33449640 33595619 33748048 33876569 34027065 34177554 34311413
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:03:36 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956284/tmphi12ja06prism_from-prism_to-umb_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956284/tmpjnusclpvprism_from-prism_to-umb_ex_pacman.60_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956284/tmphi12ja06prism_from-prism_to-umb_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... 149722 303058 452296 604284 756721 907775 1055670 1207240 1353615 1503679 1657977 1807417 1956191 2103595 2260276 2414844 2556802 2712340 2866714 3025722 3177794 3323123 3469608 3620437 3766250 3912239 4066976 4207962 4362122 4513084 4668263 4822560 4969558 5116293 5270619 5421975 5579706 5737865 5883613 6028189 6161269 6310612 6465691 6620448 6773847 6914414 7063039 7206160 7364186 7519241 7665897 7822511 7968309 8120560 8267866 8426323 8582074 8730110 8886548 9028982 9164705 9310200 9460824 9613635 9768566 9919007 10062963 10206758 10360169 10515178 10660924 10819425 10973517 11115622 11260478 11418607 11575233 11729899 11874611 12029063 12173635 12328036 12477390 12634684 12792330 12947277 13089927 13233625 13372082 13508339 13630762 13783443 13934736 14076653 14221866 14377281 14533819 14679170 14836377 14990613 15136059 15282112 15439054 15594193 15751132 15898026 16052827 16195907 16347295 16498332 16654508 16812696 16955707 17109874 17255268 17409179 17560830 17713910 17871506 18016624 18170146 18315245 18471096 18621162 18778889 18935638 19087883 19229887 19365417 19510692 19655229 19797759 19930982 20076755 20211818 20348217 20503453 20647089 20800614 20956803 21109362 21252096 21402156 21548720 21704390 21860478 22015094 22154923 22305399 22447303 22605218 22759000 22915533 23058104 23211621 23349201 23498570 23656276 23799669 23957143 24110949 24251204 24403298 24547296 24705395 24861839 25017405 25168942 25319793 25456141 25609572 25762522 25915736 26057744 26210880 26362448 26503177 26652710 26802283 26942630 27093329 27244685 27383638 27530755 27674486 27826998 27980409 28130097 28268312 28418718 28559769 28717639 28871904 29027974 29162066 29299957 29428419 29563009 29704803 29842521 29971338 30114572 30251104 30381533 30507216 30653474 30801401 30931825 31084740 31221458 31366998 31499411 31647652 31789563 31941704 32089594 32234049 32360947 32502179 32646604 32780000 32925012 33076380 33214699 33346373 33487915 33606159 33739059 33891090 34040348 34190724
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:49:34 GMT+02:00 2026
Hostname: r23m0211.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955733/tmp165qk5ntprism_from-prism_to-umb_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955733/tmp_tdcrftpprism_from-prism_to-umb_ex_pacman.60_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955733/tmp165qk5ntprism_from-prism_to-umb_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... 142773 288848 433776 582160 722858 870657 1011264 1156878 1297435 1433900 1578670 1729496 1867858 2007413 2151847 2297189 2440536 2582505 2723368 2870095 3017996 3158814 3298008 3437215 3579871 3720835 3869540 4014695 4151551 4292052 4442491 4580993 4727287 4872897 5009647 5147803 5294738 5437695 5586329 5735700 5873207 6012515 6140183 6279137 6426233 6572536 6718837 6863113 6999056 7139183 7282059 7431702 7581787 7732754 7872501 8017295 8157925 8302310 8455204 8606214 8758321 8898221 9038521 9171241 9313259 9461755 9611897 9763691 9909673 10048683 10191565 10343650 10498187 10641873 10795930 10945504 11086885 11224951 11374218 11525179 11665568 11819122 11969462 12107478 12244016 12397527 12550615 12692097 12845944 12997009 13139413 13281626 13436235 13588834 13730155 13872862 14007653 14145596 14286119 14437203 14587437 14729510 14881306 15031720 15173719 15313718 15463521 15614940 15767079 15910214 16061973 16202772 16351649 16495425 16647909 16800484 16937409 17083026 17221225 17364765 17505894 17651379 17799901 17941363 18087924 18225374 18367888 18510577 18658473 18806469 18954751 19088612 19232637 19369990 19523858 19663815 19817716 19970345 20110381 20259301 20400530 20555909 20699242 20839278 20977216 21115420 21240836 21368860 21514712 21663762 21813332 21961481 22094724 22245011 22379390 22532341 22684521 22836000 22976128 23128984 23278224 23417163 23570894 23722531 23873815 24017392 24168573 24317019 24452141 24605065 24757004 24895388 25048867 25198440 25329113 25477419 25630982 25783303 25922758 26075427 26225369 26362629 26511776 26657733 26798877 26952898 27105110 27254016 27389040 27536996 27680319 27834253 27988331 28139925 28276978 28426987 28572815 28702344 28841576 28982414 29125072 29262527 29398037 29533300 29674532 29826437 29979015 30131168 30256573 30400260 30537456 30686737 30837416 30989415 31141344 31257707 31402387 31536302 31686119 31833258 31982590 32135370 32271349 32420904 32556892 32710025 32861734 33012807 33149294 33292003 33437722 33566834 33714759 33863822 34010381
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:32:14 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957455/tmpj9bxyw0lprism_from-prism_to-umb_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957455/tmp0isyteyiprism_from-prism_to-umb_ex_pacman.60_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957455/tmpj9bxyw0lprism_from-prism_to-umb_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... 143316 288892 437769 589926 738240 884922 1027988 1177226 1326430 1474910 1621625 1772798 1914978 2059109 2210196 2356454 2507646 2650828 2800756 2954682 3100804 3251975 3391951 3537319 3690540 3843807 3986226 4130040 4278519 4425444 4578705 4732088 4875012 5013246 5162536 5305109 5458109 5611024 5755467 5907835 6042326 6174103 6324977 6475078 6623923 6769436 6906395 7047406 7195969 7343775 7497260 7649911 7800688 7942143 8083870 8231414 8384922 8529588 8683785 8834998 8976372 9113858 9247884 9392513 9541620 9687191 9838504 9979108 10116937 10260906 10415904 10567068 10719709 10857982 11007819 11148878 11298167 11444393 11597356 11746943 11891509 12040774 12181508 12331994 12485011 12628514 12781841 12933465 13072250 13215334 13354965 13502532 13652649 13788855 13923571 14049050 14183266 14318306 14471399 14616675 14752641 14905381 15056031 15197473 15330456 15481791 15629183 15781524 15925157 16075512 16214925 16355856 16509840 16659742 16801822 16952534 17099144 17236542 17378835 17532679 17677301 17817792 17967035 18107118 18255500 18395789 18549036 18691216 18845221 18996601 19134349 19275080 19424687 19570551 19722925 19875072 20025283 20163002 20297239 20440745 20586932 20738916 20872980 21015138 21148500 21283202 21409188 21556393 21702353 21848420 21981568 22132891 22281883 22415108 22568369 22717365 22868866 23009455 23160120 23305360 23437841 23588235 23733616 23866054 24019093 24168259 24310663 24458447 24611433 24761734 24902239 25054013 25202663 25338491 25485715 25637514 25778433 25931051 26082139 26230881 26361804 26504634 26642725 26780303 26932800 27084094 27229819 27356761 27500111 27638906 27791544 27943709 28095086 28243849 28377998 28521619 28653099 28793525 28932879 29072049 29208748 29329202 29460449 29594224 29743778 29890040 30042918 30192838 30323926 30465514 30602172 30755786 30901922 31049714 31170401 31312802 31459135 31592690 31745472 31895028 32046563 32183136 32332238 32478200 32615526 32768883 32914948 33048324 33198645 33346055 33481466 33628652 33782961 33932299 34063431 34202776 34338369
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Tue Oct 13 00:02:28 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.4958513/tmpnp278rhaprism_from-prism_to-umb_ex_pacman.60_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958513/tmp3bit7ktqprism_from-prism_to-umb_ex_pacman.60_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958513/tmpnp278rhaprism_from-prism_to-umb_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... 149316 304422 459229 614771 764914 914707 1068751 1222619 1367599 1518619 1673189 1829397 1968799 2121851 2269600 2423228 2570420 2723167 2869351 3021475 3180341 3322618 3472982 3631253 3781449 3939713 4082089 4225529 4376518 4530559 4684551 4826685 4981579 5126269 5275595 5433069 5588342 5727576 5874530 6018693 6163453 6322271 6474473 6634033 6791140 6935283 7083156 7237882 7385475 7539054 7688787 7843613 7988361 8136676 8275899 8422085 8565027 8719610 8869504 9014602 9165785 9316449 9474689 9630470 9781227 9936675 10084264 10228733 10389249 10538683 10694587 10851392 10996444 11143442 11296995 11445292 11602817 11757802 11910010 12059709 12211361 12344768 12481799 12618013 12763603 12918442 13062310 13207708 13364944 13517465 13674417 13832251 13974441 14114699 14268108 14424017 14579561 14730511 14885322 15026872 15174289 15325634 15472718 15630006 15786206 15932504 16087241 16234530 16384014 16539326 16683540 16843128 16997810 17144074 17289794 17439619 17595119 17751321 17900161 18053298 18192744 18324978 18470167 18612499 18762122 18915543 19066268 19200672 19345479 19504357 19659564 19812341 19959862 20116016 20258105 20411907 20571964 20721267 20878038 21034683 21175726 21327517 21473484 21631170 21783891 21941804 22082651 22235097 22378689 22534479 22688664 22832422 22987930 23140011 23283617 23436657 23588741 23747180 23905920 24063269 24204603 24358504 24504052 24661254 24814359 24961268 25116792 25269766 25410888 25562811 25709457 25867075 26023725 26177634 26316781 26457764 26607639 26765533 26923077 27068367 27225348 27367824 27522201 27682241 27821475 27967987 28111914 28252262 28380495 28514274 28662675 28811849 28962391 29113828 29250428 29404002 29536866 29694449 29852376 30010850 30155673 30313062 30465747 30611226 30770648 30925919 31085581 31224780 31378798 31519359 31674887 31832531 31988255 32132392 32288348 32442277 32581860 32741979 32885231 33012817 33163169 33308080 33446731 33587652 33733586 33877930
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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