[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Mon Oct 12 23:24:28 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.4957146/tmpau71l6zqprism_from-prism_to-umb-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957146/tmptykzgm4lprism_from-prism_to-umb-xz_ex_pacman.100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957146/tmpau71l6zqprism_from-prism_to-umb-xz_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... 152943 308942 463941 616107 772483 925118 1078478 1233417 1387762 1542873 1700915 1850301 1999963 2161407 2315382 2472245 2623824 2776511 2936682 3091840 3251016 3389588 3542027 3701161 3853215 4013324 4163562 4315209 4476383 4629670 4789819 4947474 5078064 5225668 5368155 5523161 5680031 5831041 5981520 6129560 6281636 6441333 6600468 6752399 6911135 7056332 7205262 7366571 7516388 7659500 7802518 7950053 8093933 8239343 8400335 8554661 8716554 8874668 9022630 9171622 9329102 9487513 9638040 9799124 9948363 10105028 10253899 10416331 10573523 10726113 10884113 11029112 11172911 11310842 11464755 11615568 11773516 11928854 12073097 12227833 12378902 12538828 12696983 12847809 13006475 13151835 13300793 13461817 13620361 13779768 13923943 14080715 14229927 14387757 14539684 14699725 14858399 15003775 15152229 15307095 15460703 15621043 15782281 15939142 16084020 16225151 16361831 16505998 16642361 16795509 16947251 17089952 17243521 17389068 17549215 17695333 17856977 18014759 18162196 18316878 18468806 18629145 18788268 18937233 19094613 19242515 19397919 19550661 19709674 19870106 20026652 20171345 20313370 20470681 20629574 20776165 20936734 21093594 21240849 21388833 21548961 21707997 21866715 22016429 22173896 22320995 22473729 22635671 22794355 22954988 23100460 23256553 23404252 23563688 23711537 23871252 24031847 24184348 24340439 24479157 24626730 24773308 24918767 25054026 25199805 25346200 25488994 25649785 25806709 25948254 26106478 26262534 26402152 26556607 26715784 26860750 27021491 27179943 27334607 27477193 27636078 27794194 27944313 28104442 28260943 28403027 28556365 28716557 28860664 29019804 29176631 29316514 29465284 29620666 29764094 29910624 30057486 30200880 30327242 30469394 30614161 30761686 30917124 31077521 31223142 31363614 31516782 31661966 31822226 31980238 32137533 32279115 32435178 32578339 32739416 32896828 33056176 33213543 33355769 33509275 33651428 33812857 33969421 34129397
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:52:44 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.4958099/tmpssbet7fsprism_from-prism_to-umb-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958099/tmpcg70lggaprism_from-prism_to-umb-xz_ex_pacman.100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958099/tmpssbet7fsprism_from-prism_to-umb-xz_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... 151560 309294 463967 620728 772414 927989 1083620 1236545 1396623 1556478 1710838 1865683 2022208 2183438 2347296 2505442 2662676 2822415 2990253 3153269 3313306 3470238 3638127 3796262 3965446 4117047 4275713 4446127 4613518 4774466 4941253 5098699 5244328 5394421 5547535 5715379 5878007 6033978 6190717 6360312 6518523 6688244 6854369 7009980 7153791 7310101 7457768 7607782 7759392 7918135 8065270 8224122 8384444 8547763 8712349 8872199 9018667 9170580 9331659 9496882 9660424 9824312 9969867 10121332 10280447 10433896 10598119 10763457 10909119 11045876 11182887 11326224 11490520 11645877 11800423 11946189 12100377 12258385 12415552 12579921 12743967 12892921 13051757 13199913 13358606 13509198 13669453 13833759 13987074 14141093 14296330 14451290 14613550 14765249 14894138 15056932 15211648 15368088 15530963 15693235 15847304 16011375 16165599 16325993 16470938 16617863 16769360 16914556 17075612 17228932 17393274 17555622 17717301 17877252 18024077 18186484 18336498 18500520 18658080 18826314 18988108 19138322 19299201 19454599 19619773 19777824 19929976 20093029 20245511 20404047 20565203 20730163 20893586 21044449 21204126 21354432 21520909 21677791 21845006 22009963 22160430 22322905 22475341 22639936 22801544 22953412 23118060 23268781 23430982 23591449 23754383 23920926 24072977 24233939 24383753 24547474 24705144 24871809 25036766 25188637 25337822 25478666 25633043 25786292 25927612 26078387 26228366 26365632 26526896 26683061 26830358 26996922 27157986 27314801 27460608 27622058 27772490 27937178 28093005 28240683 28378749 28539222 28703745 28869145 29030178 29189824 29336129 29497618 29649126 29816099 29978997 30141944 30287451 30447764 30594122 30747711 30898335 31048767 31187271 31317109 31459862 31583470 31739313 31895749 32054323 32211241 32357143 32515941 32668448 32836041 32999594 33164360 33311293 33470985 33615347 33783073 33944420 34107441
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:28:03 GMT+02:00 2026
Hostname: n23m0327.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957301/tmpy653p3u6prism_from-prism_to-umb-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957301/tmp6b55w3jsprism_from-prism_to-umb-xz_ex_pacman.100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957301/tmpy653p3u6prism_from-prism_to-umb-xz_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... 145055 295120 444389 597230 742690 892556 1036719 1185336 1328704 1478564 1633247 1784191 1926036 2069981 2222365 2368176 2517002 2662210 2805969 2951537 3102514 3243296 3388320 3537076 3691401 3834564 3989152 4132793 4278362 4434243 4587988 4733258 4885600 5028116 5169472 5305035 5455517 5605375 5754787 5893980 6043597 6187587 6343249 6494663 6652278 6807488 6949967 7091739 7244135 7388621 7530737 7674842 7826787 7973723 8112072 8263234 8413096 8567419 8723013 8866589 9018281 9161004 9313458 9468193 9611411 9766814 9918273 10057135 10200603 10354402 10502191 10656250 10811328 10954859 11093518 11224959 11370148 11524031 11669748 11824201 11974922 12116565 12263609 12421540 12577305 12729028 12910121 13074305 13242586 13424443 13604424 13776371 13954129 14112155 14258695 14415051 14571776 14717056 14871130 15020505 15173657 15316598 15474099 15622974 15780364 15934563 16078055 16226919 16363962 16509413 16644863 16794722 16946721 17083541 17235277 17378201 17535934 17687768 17834054 17988240 18140059 18284899 18431511 18589850 18744892 18901959 19045432 19198122 19342123 19498373 19646373 19803449 19960310 20112302 20252875 20397025 20555460 20711527 20852449 21008376 21161664 21303257 21447490 21605818 21761400 21919574 22063571 22218000 22363790 22519568 22669853 22827619 22985868 23136116 23288717 23432564 23591027 23746601 23892330 24048431 24201931 24347589 24491037 24648004 24801188 24952657 25099793 25239583 25369689 25505837 25640404 25788001 25939514 26089100 26225453 26379117 26529346 26673029 26827814 26984073 27138482 27276942 27422429 27567713 27725836 27881259 28037753 28189963 28343966 28486633 28644255 28801334 28957900 29113618 29254993 29407637 29547154 29705801 29860242 30016812 30159460 30314772 30455792 30598794 30741086 30875795 31010329 31149851 31276695 31418722 31559352 31716857 31872291 32016634 32173840 32328041 32469166 32621682 32779587 32920130 33077483 33232336 33384957 33524050 33677796 33830406 33982474 34140108 34291845
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:59:28 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956124/tmp3p6mruhiprism_from-prism_to-umb-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956124/tmpwoutc6oxprism_from-prism_to-umb-xz_ex_pacman.100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956124/tmp3p6mruhiprism_from-prism_to-umb-xz_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... 165437 331913 499206 661110 828881 990697 1168016 1335235 1503631 1674177 1829575 1990219 2157449 2327833 2490754 2654921 2810720 2975040 3143633 3300929 3462605 3637523 3798952 3974527 4135421 4298673 4474828 4648832 4814868 4972044 5119587 5283648 5456235 5614798 5786036 5943019 6110967 6276252 6451069 6616562 6790913 6957902 7119252 7277808 7437964 7609537 7764075 7934316 8086541 8254949 8417707 8592350 8769321 8921081 9066271 9211387 9378315 9538874 9687498 9849498 9986861 10122367 10254001 10419133 10576419 10748540 10911109 11059254 11220602 11380634 11552139 11709029 11886529 12042286 12203672 12366205 12541985 12716953 12883617 13048269 13211109 13386765 13556374 13734002 13908800 14072527 14237234 14413371 14578909 14757354 14926967 15073458 15220744 15368895 15537373 15709254 15876090 16050950 16198890 16350785 16522574 16688451 16847308 17019530 17183479 17346100 17524403 17694969 17859902 18033018 18190702 18357640 18530932 18703354 18867880 19038701 19197596 19361656 19525840 19694634 19867030 20029415 20200368 20363729 20531382 20706322 20877204 21037756 21202184 21353876 21500663 21648536 21818267 21985773 22133022 22293701 22444856 22615706 22765277 22923334 23077010 23214016 23358526 23507742 23674760 23837119 24000419 24147372 24291644 24445599 24601591 24762701 24922113 25078792 25223883 25380363 25527906 25694622 25851071 26013532 26161094 26318623 26462537 26621250 26781654 26943813 27095775 27253116 27401307 27561175 27718890 27880949 28034030 28194704 28347763 28475703 28627702 28784407 28921920 29074056 29222802 29369959 29522170 29673705 29822703 29973348 30136093 30291915 30440606 30601566 30761756 30909029 31075652 31223173 31364725 31523735 31683570 31833721 31996587 32156961 32307928 32451203 32603278 32757496 32921594 33086208 33242266 33382613 33539280 33685794 33846192 34004327 34164238
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 23:47:21 GMT+02:00 2026
Hostname: n23m0071.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957923/tmpaqlo0k1_prism_from-prism_to-umb-xz_ex_pacman.100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957923/tmprcaa5mjkprism_from-prism_to-umb-xz_ex_pacman.100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957923/tmpaqlo0k1_prism_from-prism_to-umb-xz_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... 148056 299538 450520 604650 755481 905418 1052583 1198671 1347922 1495904 1653408 1799992 1942981 2088943 2242329 2396281 2542371 2686389 2831317 2981481 3137517 3278821 3425009 3575544 3731490 3888350 4034972 4181467 4325358 4465037 4616995 4766004 4919340 5055684 5202027 5358565 5514713 5662127 5819148 5963423 6111114 6248218 6393670 6546768 6701736 6853517 6996544 7142042 7297115 7442901 7597937 7747106 7888915 8039315 8189874 8337541 8494115 8651138 8797645 8951294 9097392 9228847 9370198 9518005 9666166 9819316 9967254 10109346 10254000 10412205 10566436 10712737 10866606 11014869 11159927 11304189 11461168 11615437 11759495 11915288 12067366 12211778 12366133 12515284 12671476 12826927 12970532 13122160 13266385 13422438 13563537 13708234 13848430 13986691 14119826 14269644 14415043 14571671 14727699 14881706 15025161 15176201 15318543 15475065 15620794 15777987 15931680 16073458 16224897 16370643 16526961 16680286 16827859 16980059 17124166 17274703 17421325 17575730 17718764 17875218 18028083 18169575 18320328 18475054 18630781 18785369 18930187 19084196 19228951 19378741 19528928 19683777 19838302 19991681 20133840 20277281 20428805 20585455 20720459 20857041 20996853 21123719 21257749 21392871 21537347 21692668 21848116 22000445 22140977 22293058 22434551 22592134 22745894 22899848 23042695 23195162 23338727 23491035 23647562 23799947 23946307 24100545 24252387 24391095 24544222 24697019 24837737 24993559 25146567 25285728 25437637 25591310 25735220 25890296 26045977 26199066 26340680 26491783 26632707 26789137 26945180 27099603 27239108 27390358 27531432 27688043 27841985 27994736 28145802 28284813 28436418 28569794 28714012 28855962 28999411 29129463 29271199 29408045 29544250 29699911 29853876 30008824 30149143 30296715 30445872 30597358 30753630 30906361 31046389 31178024 31324470 31459375 31608405 31763225 31915757 32059821 32212964 32364299 32502488 32655158 32811094 32949070 33104845 33255059
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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