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

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955351/tmphv_8mt5fprism_from-prism_to-umb-xz_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... 146514 298324 447870 600128 744709 896899 1041763 1191186 1337130 1482278 1630128 1783702 1916879 2061761 2213907 2359506 2506024 2638631 2787971 2933347 3086919 3229078 3363003 3506352 3656296 3804832 3944893 4093487 4233944 4376624 4527345 4676139 4815093 4965173 5104886 5245487 5397307 5546334 5689314 5841105 5989814 6138081 6280819 6431944 6583851 6734839 6871359 7016291 7162453 7305731 7456982 7607537 7757115 7897153 8046122 8187618 8340772 8484916 8638625 8790450 8927864 9074767 9213264 9344392 9481835 9624878 9773705 9913053 10063904 10206683 10361779 10508513 10663005 10818558 10963479 11115219 11257523 11414576 11567964 11707329 11859494 12008375 12147907 12294617 12438925 12590540 12743350 12884212 13035686 13178434 13328764 13473111 13624971 13777642 13913705 14050153 14176904 14308743 14458850 14609458 14754578 14905638 15053299 15190976 15331349 15484423 15637058 15791203 15941737 16080579 16223255 16373763 16528417 16673083 16825355 16975229 17116331 17265514 17409842 17564320 17713235 17858582 18010408 18149029 18298174 18441363 18592476 18741648 18884505 19034358 19175246 19325244 19470097 19624016 19775711 19916012 20067753 20207317 20355039 20497738 20648811 20792261 20933536 21082553 21220747 21348982 21475606 21615522 21753092 21894486 22035863 22164992 22306658 22431989 22584289 22731707 22881296 23028250 23163442 23309233 23445641 23598711 23746911 23891026 24020367 24170428 24316756 24450181 24600219 24748999 24896840 25035124 25185051 25331384 25468211 25619439 25771855 25914367 26071129 26224542 26364735 26516885 26665547 26817286 26954393 27105574 27271820 27428333 27606948 27773902 27956372 28135756 28310642 28468868 28623893 28765512 28911337 29053964 29192935 29315190 29450867 29585213 29731699 29885285 30041035 30190945 30328606 30479316 30620329 30776468 30928077 31084281 31222772 31359656 31503128 31637099 31793589 31946897 32103521 32248467 32399133 32547727 32694675 32849925 33004671 33160728 33298844 33450187 33588379 33744027 33898972 34052542
##############################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: 700.219 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956292/tmp32uz3y3wprism_from-prism_to-umb-xz_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... 142885 293063 440556 591600 737590 889551 1036942 1185005 1330680 1479541 1635508 1784753 1928367 2082832 2218913 2371090 2513176 2657615 2802303 2950379 3097503 3247229 3383678 3533471 3684841 3824199 3980185 4115862 4247156 4393667 4545414 4697119 4840634 4991970 5136536 5282935 5438249 5591318 5738403 5891075 6022724 6153325 6302038 6442639 6596569 6750857 6899224 7036258 7177950 7331667 7482002 7623433 7775998 7926516 8068980 8208833 8364874 8516720 8661239 8813717 8950806 9084982 9216953 9365745 9513946 9666377 9815185 9950759 10097530 10236488 10392876 10535746 10688519 10843405 10981146 11132242 11276828 11433542 11586024 11727251 11882730 12024957 12176444 12320223 12475819 12628394 12775446 12929277 13066153 13205073 13338351 13480855 13623221 13776881 13921690 14055268 14203203 14344944 14497974 14640585 14793276 14943095 15081398 15229413 15374457 15528658 15676068 15829843 15980891 16119550 16267136 16418775 16571625 16708439 16862555 17011707 17146585 17288506 17438487 17578193 17730048 17882805 18018177 18167160 18308616 18454932 18609841 18760400 18902297 19053784 19195588 19338687 19474492 19609710 19738823 19870218 20013788 20153019 20282127 20431978 20582248 20717170 20866511 21016330 21161689 21302035 21450600 21595154 21747111 21901038 22052037 22189788 22337280 22479120 22633665 22783705 22936195 23072722 23222750 23358283 23506012 23660534 23794502 23947764 24099647 24245381 24381640 24531260 24674439 24827668 24982833 25133930 25272452 25421370 25564435 25718361 25870787 26024472 26154889 26301527 26438532 26579215 26730849 26882903 27022231 27173200 27322677 27453943 27603905 27747381 27902733 28057647 28209287 28347728 28496799 28631417 28775611 28918627 29061324 29201806 29319544 29453241 29585775 29733631 29878328 30027460 30173063 30306862 30454238 30593078 30747952 30897118 31050889 31175969 31327104 31474704 31611933 31767395 31916929 32057975 32211935 32356507 32475570 32623883 32779824 32928852 33070324 33222451 33369457 33507303 33656490 33810969
##############################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: 712.802 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957720/tmpp0oymo9hprism_from-prism_to-umb-xz_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... 142119 288846 436618 586454 725746 879449 1019134 1166116 1314350 1456042 1604618 1749720 1886883 2028446 2180455 2325892 2470470 2610171 2752637 2901948 3052791 3198001 3338215 3469010 3617893 3763316 3905760 4056110 4190953 4333475 4486006 4625190 4776436 4915298 5044851 5181897 5324902 5477670 5630009 5772426 5923319 6065379 6206004 6359335 6507950 6648097 6799042 6938136 7078717 7217317 7354142 7492875 7635323 7785667 7931745 8066944 8205730 8359226 8500060 8653658 8804087 8943681 9086158 9230289 9376552 9526057 9675280 9818914 9964962 10102289 10242054 10393749 10541412 10690599 10822005 10959059 11086863 11223443 11368423 11511525 11661503 11813154 11957565 12098333 12245920 12390611 12543809 12695355 12845110 12981648 13118282 13264438 13407139 13556073 13695658 13845157 13992095 14132838 14270732 14419846 14566966 14722374 14876410 15021703 15165628 15316454 15467761 15622498 15778862 15919085 16071131 16205815 16333229 16476725 16615942 16764507 16902778 17056396 17189823 17339091 17484975 17636094 17787152 17940469 18082292 18233157 18376733 18533422 18678300 18835035 18986708 19125493 19273536 19416722 19571974 19720847 19867832 20019661 20165271 20317865 20458184 20611158 20763767 20909835 21063170 21214624 21357605 21511569 21656886 21812353 21966408 22107378 22259367 22402901 22556391 22697949 22853405 23005650 23154406 23305825 23441522 23597461 23750896 23889800 24042605 24192001 24329388 24463848 24602059 24742797 24881551 25011699 25150756 25283526 25408125 25556145 25702809 25841925 25976179 26123841 26264526 26382271 26526401 26674199 26821213 26956283 27105155 27248627 27382577 27528562 27680087 27816874 27968901 28118116 28264179 28398034 28543872 28694906 28833411 28984599 29131664 29275158 29408044 29541959 29681177 29833748 29982858 30129001 30274721 30395700 30527069 30653535 30792630 30930551 31072733 31197693 31318813 31463979 31597657 31749537 31896560 32046182 32193351 32325035 32470265 32594421 32741823 32886012 33030322 33177172 33309243 33452960 33583544 33734836 33882672 34028676
##############################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: 650.132 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956081/tmpw5_z9h31prism_from-prism_to-umb-xz_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... 147556 300178 451165 606026 757157 911244 1054966 1206097 1351954 1501669 1659372 1805268 1947640 2099224 2243463 2398949 2544067 2692617 2841489 2997025 3149344 3286613 3420654 3576613 3728107 3876084 4032155 4176644 4324784 4481303 4626055 4769934 4919912 5059525 5203134 5359059 5514211 5668877 5815768 5967932 6111267 6256815 6411729 6564829 6720093 6864028 7016296 7159615 7308460 7464782 7620782 7773563 7916373 8060158 8209305 8363852 8518988 8675604 8829334 8965330 9103665 9233493 9380236 9534650 9688971 9840749 9979381 10130192 10273641 10430935 10575772 10732424 10887374 11027901 11178973 11326476 11482096 11624753 11780384 11933778 12078252 12219885 12374701 12522864 12679170 12834847 12977658 13127699 13260738 13396874 13524988 13672457 13825340 13966359 14115814 14255809 14409963 14564006 14709006 14863299 15015274 15167496 15309619 15465960 15611240 15767536 15921929 16061617 16214094 16361598 16517643 16661391 16820397 16972426 17117311 17269368 17415411 17571914 17716338 17874496 18027731 18170502 18315331 18470874 18625816 18773227 18930510 19077434 19231124 19376992 19534433 19688529 19828202 19972052 20113237 20247361 20382199 20534603 20687561 20837143 20981426 21135213 21287441 21431572 21589307 21743738 21891899 22047026 22199737 22341143 22494071 22640450 22793037 22945712 23092500 23229617 23378374 23518692 23672828 23822657 23976098 24125908 24264016 24411696 24554408 24707353 24857915 25010704 25151897 25300805 25438006 25589223 25741700 25880849 26034144 26184627 26324338 26472570 26621128 26760560 26914360 27066991 27216844 27355235 27503472 27648823 27801558 27954165 28106004 28242984 28392227 28526068 28668666 28808786 28949946 29091571 29220225 29357968 29477829 29627085 29773861 29917420 30064794 30199994 30348789 30484693 30635574 30787603 30935582 31072301 31210740 31352564 31483775 31632593 31785507 31932389
##############################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: 755.681 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957677/tmpeer38tx9prism_from-prism_to-umb-xz_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... 144984 295701 445064 597633 740956 893144 1042531 1198841 1343234 1483667 1638865 1789344 1930893 2069739 2220110 2368066 2514205 2651910 2799568 2950611 3101119 3244700 3389194 3529405 3676479 3827645 3970175 4114581 4256514 4401298 4555789 4709708 4854096 5006499 5149772 5291612 5446338 5592415 5746717 5897671 6037883 6171281 6306290 6457708 6608639 6752774 6908075 7050390 7189837 7346232 7499080 7642480 7795532 7936518 8078859 8228190 8379536 8534762 8691930 8833940 8986693 9125254 9255801 9397641 9540774 9694046 9843040 9991102 10131682 10275660 10432135 10573417 10727622 10880091 11021683 11165701 11311077 11455585 11595521 11734330 11864211 12003448 12133751 12261971 12401538 12540155 12669479 12811362 12951064 13081843 13213726 13353446 13494099 13626980 13768840 13893304 14021966 14139313 14259396 14390052 14524196 14651310 14790667 14925589 15051270 15184654 15310487 15449912 15579618 15718439 15855534 15986152 16111943 16240049 16378023 16512135 16651601 16794532 16932772 17060860 17191635 17327488 17461520 17598516 17737578 17879645 18007110 18145028 18274539 18405156 18548472 18684850 18826434 18955699 19091799 19219722 19353900 19486365 19624509 19758649 19887591 20027998 20164957 20292310 20417420 20556404 20692795 20810258 20951902 21088775 21213020 21339526 21460066 21588891 21715199 21832793 21965443 22094597 22220052 22339556 22474192 22614578 22738129 22879114 23016797 23152490 23271934 23403029 23537529 23663522 23802117 23943263 24080795 24215051 24336192 24469429 24598639 24741874 24881217 25018038 25152047 25275214 25413381 25539524 25684246 25823893 25964224 26102652 26222665 26358562 26489111 26604924 26740308 26874619 27011077 27147590 27266385 27401091 27523158 27663239 27801964 27940378 28079958 28201375 28337076 28461557 28591979 28722102 28847790 28976251 29090017 29219870 29342730 29460845 29594557 29729803 29861364 29995743 30121043 30256578 30392643 30517446 30655167 30794112 30928612 31056083 31183266 31319688 31444267 31581243 31724963 31862379 31988946 32129322 32263754 32400189 32522332 32656982 32796169 32922553 33063094 33198378 33330822 33455130 33588544 33726314 33843338 33966880 34095093 34221766 34342723
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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