[MO, MO, MO, MO, MO]

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 695.487 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:22:17 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965480/tmpmo4577cbprism_from-prism_check_ex_pacman.100_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4965480/tmpmo4577cbprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965480/tmpmo4577cbprism_from-prism_check_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"

Parsing properties file "/w0/tmp/slurm_tq429871.4965480/tmpmo4577cbprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props"...

1 property:
(1) "crash": Pmin=? [ F "Crash" ]

---------------------------------------------------------------------

Model checking: "crash": Pmin=? [ F "Crash" ]

Building model (engine:explicit)...

Computing reachable states... 141809 288764 433105 578988 722642 865945 999019 1143667 1291256 1424509 1567957 1718617 1855180 1991301 2139873 2283047 2431915 2565572 2704313 2847341 2998338 3146443 3279218 3408638 3556723 3702461 3849659 3989501 4128110 4273373 4417571 4566706 4700285 4840674 4983162 5113859 5254465 5401699 5543990 5694149 5841738 5977597 6121813 6261871 6410356 6557082 6696922 6844292 6982697 7126678 7262545 7404584 7545600 7682702 7829774 7970196 8101886 8246539 8388173 8536094 8686119 8822542 8969138 9107426 9250789 9394746 9541905 9690671 9837514 9971428 10106418 10234021 10372581 10511701 10656404 10802749 10936262 11078846 11210861 11358310 11507448 11643942 11792543 11938937 12077000 12213409 12361135 12502705 12652743 12802168 12949123 13086431 13223687 13371714 13518744 13665100 13803925 13936411 14068676 14193543 14325491 14466473 14615007 14761692 14905544 15041672 15179468 15324059 15473742 15613514 15763375 15910194 16047098 16192064 16327893 16477296 16624677 16773156 16913041 17059474 17196224 17336428 17475689 17621628 17769694 17917202 18054243 18199524 18336968 18485321 18631636 18781614 18930738 19075984 19211889 19348875 19497878 19646238 19793530 19932262 20079689 20223312 20357104 20487336 20612336 20747729 20887415 21030397 21160228 21305230 21445595 21586428 21734469 21883658 22029245 22162801 22307039 22442149 22592442 22739972 22888761 23023330 23170407 23314113 23448425 23593283 23737741 23884641 24024147 24170031 24310929 24455628 24604212 24751450 24889251 25037454 25183464 25317036 25460628 25608191 25748719 25897447 26046028 26191768 26325681 26468946 26600419 26742059 26888019 27036001 27181596 27314051 27457283 27596204 27743383 27890040 28038409 28167657 28302000 28425445 28558968 28696380 28832205 28971609 29106059 29245359 29374007 29505461 29650486 29789353 29918643 30068205 30214261 30357304 30487718 30632291 30775857 30903999 31053414 31183476 31321626 31439045 31578597 31725471 31854482 32002126 32150746 32294962 32419130 32561023 32701113
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 691.353 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:47:01 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966785/tmp0g4mdrtdprism_from-prism_check_ex_pacman.100_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4966785/tmp0g4mdrtdprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966785/tmp0g4mdrtdprism_from-prism_check_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"

Parsing properties file "/w0/tmp/slurm_tq429871.4966785/tmp0g4mdrtdprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props"...

1 property:
(1) "crash": Pmin=? [ F "Crash" ]

---------------------------------------------------------------------

Model checking: "crash": Pmin=? [ F "Crash" ]

Building model (engine:explicit)...

Computing reachable states... 149378 302832 455197 610575 763643 914154 1063135 1216455 1364763 1516921 1670795 1816406 1957680 2108327 2258999 2412336 2554634 2706853 2856879 3014163 3162900 3310065 3454357 3612614 3756035 3910371 4060238 4201924 4351684 4507508 4662731 4808829 4964701 5110096 5257098 5415474 5571288 5727103 5872903 6019819 6164533 6302724 6447710 6602432 6756744 6907561 7050435 7196401 7354637 7508733 7652795 7805633 7950771 8104767 8251369 8409993 8565378 8715968 8872914 9018871 9159697 9294108 9437613 9582780 9741443 9893921 10034001 10188063 10337047 10495434 10650369 10807787 10951893 11105285 11249020 11406363 11556022 11711300 11868665 12011709 12164414 12309264 12466163 12621158 12769475 12925890 13071105 13225363 13372587 13529244 13685198 13829701 13974072 14106129 14241866 14392166 14538286 14696728 14853503 15004947 15146735 15290045 15447069 15599340 15753079 15910132 16064986 16210066 16356533 16515077 16670928 16829109 16972248 17126630 17272022 17427653 17578096 17733147 17890636 18033812 18187345 18332602 18489301 18645653 18794812 18948980 19099554 19240051 19384652 19542762 19696332 19851422 19999525 20153759 20300228 20453077 20611386 20767430 20903006 21045430 21175819 21312271 21448266 21601150 21753391 21907758 22049394 22203206 22343876 22498700 22655476 22811014 22954018 23110874 23265115 23409351 23567397 23723809 23869224 24025044 24175959 24315830 24467882 24625617 24780318 24924755 25080905 25233736 25375764 25529420 25686063 25830706 25988594 26143755 26281145 26434546 26580995 26727662 26885412 27041499 27194798 27335771 27488197 27634776 27792124 27949105 28105162 28250488 28404007 28550867 28694371 28839120 28983886 29127176 29254424 29391615 29526104 29681571 29838003 29992854 30148312 30285312 30436059 30572113 30730707 30885686 31042838 31164270 31318898 31470644 31612625 31771318 31925176 32080415 32218726 32372568 32511802 32667684 32824629 32979154 33123238 33278311 33432142 33571720 33724731 33879515 34019306 34174525 34324061
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 611.208 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:39:14 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962799/tmp4ttgdehuprism_from-prism_check_ex_pacman.100_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4962799/tmp4ttgdehuprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962799/tmp4ttgdehuprism_from-prism_check_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"

Parsing properties file "/w0/tmp/slurm_tq429871.4962799/tmp4ttgdehuprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props"...

1 property:
(1) "crash": Pmin=? [ F "Crash" ]

---------------------------------------------------------------------

Model checking: "crash": Pmin=? [ F "Crash" ]

Building model (engine:explicit)...

Computing reachable states... 169846 341038 513152 680275 851359 1017132 1192633 1352853 1517259 1688518 1851559 2006719 2177428 2339370 2504625 2655160 2825389 3001648 3169486 3320945 3476613 3639503 3813261 3985602 4147334 4310269 4481493 4655796 4812336 4971099 5125398 5294374 5457891 5630833 5800936 5960284 6122273 6293546 6459037 6634018 6788232 6945041 7103548 7258221 7431399 7603253 7766218 7931055 8100967 8264834 8439643 8599887 8775108 8945112 9104812 9262851 9437929 9599561 9774571 9932124 10078062 10226239 10390694 10566662 10742582 10905876 11059157 11220511 11395371 11569634 11728785 11903670 12065225 12228052 12403699 12577523 12740817 12915639 13076419 13247557 13415363 13589209 13756930 13896604 14054633 14198386 14344346 14514835 14678862 14828096 14999416 15157143 15326591 15496135 15670701 15845640 16003251 16167095 16335749 16505658 16680541 16857338 17017021 17187322 17348039 17526032 17681349 17858288 18029528 18189793 18351664 18521798 18680924 18855439 19017437 19187956 19347692 19515376 19690971 19867218 20029380 20199751 20344168 20491843 20655906 20810169 20962252 21123369 21275095 21430405 21606746 21778820 21939076 22111607 22267740 22435700 22612412 22773924 22951357 23122270 23281877 23451095 23615733 23788742 23964080 24134278 24288587 24446852 24604132 24778572 24953183 25124572 25275999 25439351 25614200 25787458 25960549 26118684 26290177 26448392 26610747 26785208 26952781 27129641 27300326 27456352 27630244 27803911 27957204 28117843 28264386 28397315 28556561 28722283 28874520 29039243 29199807 29354057 29523519 29687073 29863177 30038933 30210861 30364368 30532724 30696670 30871481 31047103 31204710 31359110 31527697 31689425 31863725 32037648 32210055 32355679 32512117 32672747 32849507 33023668 33197082 33353300 33522161
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 677.632 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 08:59:12 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964383/tmp0_4had03prism_from-prism_check_ex_pacman.100_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4964383/tmp0_4had03prism_from-prism_check_ex_pacman.100_tmp_indir_/property.props

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964383/tmp0_4had03prism_from-prism_check_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"

Parsing properties file "/w0/tmp/slurm_tq429871.4964383/tmp0_4had03prism_from-prism_check_ex_pacman.100_tmp_indir_/property.props"...

1 property:
(1) "crash": Pmin=? [ F "Crash" ]

---------------------------------------------------------------------

Model checking: "crash": Pmin=? [ F "Crash" ]

Building model (engine:explicit)...

Computing reachable states... 148457 317512 487841 654924 823901 987882 1158645 1329600 1496760 1666623 1827661 1987494 2156681 2329035 2496610 2657151 2825294 2997865 3156888 3318403 3481656 3654343 3820382 3994306 4157010 4321943 4498716 4673341 4841051 5002910 5152298 5320234 5491984 5663790 5833764 5990169 6151866 6325645 6499301 6665617 6837118 6992327 7153640 7309216 7467799 7639830 7809455 7964105 8132675 8298473 8472712 8646767 8805820 8972651 9132974 9301665 9465248 9638773 9812629 9970762 10141238 10303801 10477947 10632752 10792486 10951132 11112023 11273998 11435076 11610783 11784534 11947022 12116205 12274260 12447638 12609560 12781540 12951808 13110778 13274128 13447844 13620787 13793293 13947903 14116918 14275843 14447710 14612948 14786541 14957289 15114421 15269167 15425467 15584784 15733751 15896223 16053810 16201563 16359817 16534103 16704678 16872948 17024537 17188964 17343282 17508534 17652244 17821266 17987088 18142802 18300793 18467425 18635424 18788103 18957469 19113380 19277060 19432688 19600633 19752218 19922190 20084157 20238108 20391008 20560678 20719114 20867233 21034720 21193648 21362503 21528571 21699520 21870302 22027824 22195835 22345181 22491255 22633913 22766523 22900230 23030164 23157309 23273350 23401690 23523094 23666046 23802702 23945172 24088557 24211456 24349819 24475234 24621440 24763187 24905089 25047223 25173739 25312667 25432687 25572192 25715331 25854201 25996860 26127602 26266980 26399659 26519205 26655018 26794409 26934179 27058269 27196580 27332960 27454752 27595182 27735000 27867620 27990171 28128338 28267757 28391430 28531336 28674522 28807849 28921730 29054161 29189128 29312838 29421820 29542491 29669582 29799833 29926392 30066736 30204905 30342309 30466251 30606129 30744620 30889300 31031479 31160007 31295946 31419448 31556859 31684111 31827496 31965425 32102976 32228784 32336662 32471616 32597300 32730391 32871497 33014020 33156015 33292582 33415789 33551591 33681271 33830849 33965613 34108111 34246445
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 657.899 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:28:35 GMT+02:00 2026
Hostname: n23m0111.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965866/tmpr2uwz47xprism_from-prism_check_ex_pacman.100_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4965866/tmpr2uwz47xprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965866/tmpr2uwz47xprism_from-prism_check_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"

Parsing properties file "/w0/tmp/slurm_tq429871.4965866/tmpr2uwz47xprism_from-prism_check_ex_pacman.100_tmp_indir_/property.props"...

1 property:
(1) "crash": Pmin=? [ F "Crash" ]

---------------------------------------------------------------------

Model checking: "crash": Pmin=? [ F "Crash" ]

Building model (engine:explicit)...

Computing reachable states... 153545 312360 471761 630039 789609 948683 1109017 1263720 1414567 1575596 1735574 1886214 2042078 2195918 2362143 2517884 2675089 2831045 2994483 3155179 3307352 3463733 3629814 3778185 3936915 4087502 4235907 4399058 4558519 4715940 4875169 5018459 5172528 5338845 5504166 5659476 5824383 5977042 6128985 6273462 6428002 6582390 6738420 6895044 7041358 7192727 7359505 7520764 7672809 7834044 7985045 8139132 8299936 8461476 8611889 8776575 8937233 9087711 9227802 9375272 9519644 9678887 9839857 9987239 10150318 10307178 10475498 10629612 10795868 10958140 11109300 11263106 11428770 11586906 11739442 11903459 12054686 12213453 12367075 12529726 12690055 12842717 13005529 13150498 13299984 13465820 13627526 13788981 13930607 14071838 14210717 14366581 14523403 14684839 14846105 15002719 15152186 15305043 15470960 15635602 15789865 15954614 16108390 16268060 16420916 16582753 16747391 16903131 17065803 17218179 17371960 17538805 17697359 17852077 18008583 18152976 18314817 18472311 18638438 18804405 18958971 19122394 19276734 19439041 19597052 19754589 19916923 20065055 20221356 20369501 20532135 20684862 20831406 20980376 21126557 21260052 21394714 21547872 21702278 21857764 22001901 22163832 22322466 22466862 22631401 22789488 22942010 23104209 23259935 23402883 23564918 23726830 23876359 24041520 24201636 24349564 24505990 24669736 24816564 24981079 25141909 25298806 25444147 25600658 25747528 25909977 26070000 26226108 26368308 26525918 26680730 26830509 26995220 27152505 27297399 27456547 27618959 27773159 27935907 28094935 28244463 28383144 28537717 28679778 28828039 28975632 29122985 29252156 29393759 29532217 29693146 29852582 30013709 30174824 30319739 30476838 30620551 30783475 30941191 31102391 31232845 31390099 31532759 31694413 31856813 32016233 32164768 32324152 32468896 32608117 32772977 32931859 33079895 33241746 33399195 33542404 33703666 33867685
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g