[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Tue Oct 13 09:02:55 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.4964607/tmpjz1higr5prism_from-prism_check_ex_pacman.60_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4964607/tmpjz1higr5prism_from-prism_check_ex_pacman.60_tmp_indir_/property.props

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

Parsing properties file "/w0/tmp/slurm_tq429871.4964607/tmpjz1higr5prism_from-prism_check_ex_pacman.60_tmp_indir_/property.props"...

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

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

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

Building model (engine:explicit)...

Computing reachable states... 147192 296205 446351 600713 749923 901984 1049699 1199714 1347146 1499204 1648204 1798461 1945536 2088584 2236741 2393635 2541615 2683012 2829189 2983769 3136330 3276327 3419665 3576767 3721069 3878328 4032664 4178087 4323358 4480136 4634705 4781583 4935501 5078301 5223361 5381261 5536647 5679255 5828188 5974119 6113778 6262930 6417850 6567270 6724015 6877598 7019489 7165256 7321206 7475953 7622814 7774413 7924523 8068274 8195605 8336157 8481580 8637380 8790323 8938849 9079703 9224720 9378740 9531421 9687382 9832558 9985591 10128635 10281293 10433428 10587568 10742049 10883122 11035230 11180446 11334213 11482018 11628817 11775087 11919911 12056028 12197657 12349488 12503078 12656959 12802473 12956571 13101634 13253126 13401221 13555802 13709787 13851299 14005854 14151049 14302001 14451307 14606178 14758612 14901440 15056190 15199339 15351561 15506242 15651833 15807720 15961023 16103514 16252713 16407128 16562981 16717510 16864646 17018144 17158345 17297195 17433085 17577568 17721401 17872936 18009562 18159431 18299186 18452631 18607576 18752561 18907872 19059172 19199933 19349900 19497923 19652370 19805124 19948980 20101647 20248452 20396593 20552474 20698363 20851672 21006182 21145378 21294598 21439230 21596314 21747891 21899379 22041625 22193310 22336218 22488026 22636507 22790919 22947023 23099258 23240643 23383868 23538249 23693426 23845996 23990926 24142231 24281617 24432879 24575525 24729539 24881959 25034449 25174801 25322461 25462419 25617004 25771679 25914749 26068925 26220592 26362044 26503090 26636625 26779930 26922345 27051192 27191788 27326020 27453275 27606298 27757568 27897222 28029127 28180505 28330111 28467597 28618946 28773072 28923662 29065227 29218063 29367177 29504906 29658611 29810655 29949240 30100098 30243496 30378302 30505734 30656484 30806413 30933568 31087592 31228122 31365677 31510782 31657854 31797883 31950629 32105810 32256447 32387480 32523624 32657439 32783600 32920078 33063478 33205150 33336382 33485112 33629041 33771307 33923477 34077133 34229587
##############################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: 613.192 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:36:29 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.4966262/tmpi8g7xdkcprism_from-prism_check_ex_pacman.60_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4966262/tmpi8g7xdkcprism_from-prism_check_ex_pacman.60_tmp_indir_/property.props

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

Parsing properties file "/w0/tmp/slurm_tq429871.4966262/tmpi8g7xdkcprism_from-prism_check_ex_pacman.60_tmp_indir_/property.props"...

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

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

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

Building model (engine:explicit)...

Computing reachable states... 168282 337978 508902 673463 848472 1023285 1192693 1358854 1530479 1702783 1863723 2025099 2195646 2375859 2536362 2697807 2866316 3029633 3208858 3361367 3540585 3696499 3868029 4035529 4204916 4373116 4550047 4730512 4906668 5073272 5241783 5413283 5592819 5756598 5919674 6074338 6220818 6391103 6558503 6739272 6901544 7066249 7241695 7415007 7595256 7766778 7943790 8108153 8276824 8456089 8623551 8803121 8971002 9139476 9314750 9483942 9664212 9841051 10001767 10167630 10343420 10514124 10691535 10869358 11026422 11193565 11369999 11542262 11700001 11866948 12016665 12165957 12336726 12500583 12678886 12855580 13015704 13181215 13348187 13526813 13702756 13858499 14035370 14200147 14367602 14544218 14706415 14885058 15048711 15216777 15380372 15545989 15720625 15895962 16056998 16222945 16388873 16569273 16746108 16911111 17086834 17250694 17418641 17588384 17756681 17920884 18067947 18219946 18367440 18545506 18709195 18867028 19043021 19204832 19376810 19547030 19726233 19906655 20079502 20242440 20405450 20585958 20759207 20913409 21089478 21236930 21384490 21562534 21731974 21911566 22084385 22241989 22404072 22582998 22757808 22934097 23095005 23268593 23429127 23607323 23770809 23948051 24120726 24279601 24441689 24620061 24794950 24971980 25137045 25309716 25471646 25648961 25816264 25995027 26168691 26331110 26492273 26655161 26827329 27001400 27172116 27331009 27490009 27653993 27818659 27983235 28135646 28292266 28443328 28607042 28774372 28940695 29118079 29278237 29432149 29607253 29777640 29956633 30132700 30305038 30465135 30636647 30793801 30964364 31140250 31299568 31454472 31617962 31797868 31973371 32148462 32302493 32476185 32634221 32813599 32988218 33165541 33316635 33474560 33618262 33785058 33943045 34106658
##############################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: 687.898 seconds
Return code: -9
##############################
PRISM
=====

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

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

Parsing properties file "/w0/tmp/slurm_tq429871.4966133/tmp5oon6ghnprism_from-prism_check_ex_pacman.60_tmp_indir_/property.props"...

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

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

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

Building model (engine:explicit)...

Computing reachable states... 150103 303662 458806 612929 766507 922049 1071831 1226147 1375038 1527392 1684018 1834770 1984882 2137857 2297970 2446932 2588536 2738115 2890675 3051457 3199029 3341592 3493227 3644516 3797417 3953655 4098562 4252870 4405707 4563971 4719113 4879440 5026607 5176655 5330513 5490609 5635618 5786194 5935388 6082896 6225617 6384076 6535999 6696222 6853222 6999394 7146112 7305276 7463407 7621572 7769605 7923411 8063854 8200097 8353788 8509071 8666448 8821086 8963882 9114378 9266075 9423748 9570183 9730202 9885573 10031427 10186461 10335869 10495875 10652349 10801944 10958875 11100136 11251482 11405104 11564642 11707609 11856372 11994507 12144444 12289743 12447937 12601100 12756407 12904650 13059460 13207085 13364294 13514969 13674673 13833342 13977537 14129781 14269685 14428079 14586270 14736248 14894409 15050071 15197052 15344805 15504682 15661763 15816461 15957676 16113067 16259185 16416143 16568336 16727358 16885819 17037653 17191201 17329202 17472811 17615467 17752112 17904735 18055846 18199553 18350059 18499501 18657334 18815253 18960839 19114394 19255301 19407315 19566748 19715453 19875384 20028683 20168648 20322029 20468539 20625827 20778953 20924285 21081387 21235330 21389141 21545223 21704788 21863882 22020668 22164785 22318217 22462218 22621932 22777556 22927386 23084878 23231765 23381702 23528963 23688544 23845398 24003281 24146747 24300889 24446984 24605537 24763227 24911348 25069860 25224376 25367986 25512263 25671426 25828581 25987375 26133339 26287324 26431996 26571374 26709300 26855133 27000918 27142826 27269349 27406665 27543402 27699484 27849896 28001678 28129324 28283707 28434765 28577778 28736104 28891995 29040010 29193810 29344991 29483355 29637194 29792109 29942044 30087384 30241277 30385481 30522541 30678721 30834905 30978773 31136402 31279291 31415641 31567417 31724573 31862630 32019804 32174468 32327713 32462323 32598730 32745210 32875835 33015312 33154133 33291765 33417608 33565744 33718582 33865171 34020401 34178318 34331645
##############################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: 616.879 seconds
Return code: -9
##############################
PRISM
=====

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

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

Parsing properties file "/w0/tmp/slurm_tq429871.4967235/tmp27jx5ymoprism_from-prism_check_ex_pacman.60_tmp_indir_/property.props"...

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

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

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

Building model (engine:explicit)...

Computing reachable states... 166908 337589 508905 677118 849405 1019772 1193307 1356008 1525235 1694152 1863094 2025640 2190959 2365430 2531899 2697856 2861338 3025831 3200925 3360212 3527869 3701838 3873032 4047551 4212991 4380041 4555897 4725684 4900571 5058538 5212400 5385634 5547126 5724831 5897118 6052898 6214190 6391421 6554675 6730797 6902754 7056482 7218028 7380632 7538595 7710421 7878267 8035421 8196595 8373241 8544386 8710099 8876536 9035840 9197114 9368328 9537710 9715775 9887698 10049593 10205578 10366974 10522127 10686898 10859140 11014405 11173947 11347343 11521203 11695541 11869907 12030739 12192985 12364798 12539754 12698235 12871724 13030262 13193369 13367557 13538075 13714672 13885196 14048150 14207894 14380014 14548645 14725001 14897343 15049113 15196071 15345647 15514966 15681717 15848089 16014810 16170524 16332327 16509040 16679994 16855686 17015039 17185341 17347490 17524382 17682453 17858863 18029098 18188972 18348946 18524037 18687914 18864679 19034866 19195851 19353862 19528355 19700595 19864209 20036682 20194827 20356279 20531166 20704508 20861721 21034704 21194658 21364211 21531587 21705897 21867432 22041531 22202618 22373522 22527493 22685529 22846058 22995589 23154463 23307850 23458029 23634733 23799643 23946712 24119581 24288278 24445977 24621561 24793181 24954587 25126736 25295760 25454345 25629701 25790331 25962172 26132208 26300607 26454894 26618601 26778878 26954336 27126345 27284277 27455082 27626877 27784891 27953137 28116602 28270033 28439145 28597778 28763124 28925821 29087271 29239427 29381250 29536768 29703558 29874921 30048358 30218533 30372288 30530820 30706664 30876150 31050709 31199994 31372475 31528118 31702652 31876749 32049101 32206652 32376686 32502438 32677870 32854089 33028146 33191860 33363755 33523383 33697779 33874584
##############################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: 574.067 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 06:57:23 GMT+02:00 2026
Hostname: n23m0044.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961012/tmpjs20imncprism_from-prism_check_ex_pacman.60_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4961012/tmpjs20imncprism_from-prism_check_ex_pacman.60_tmp_indir_/property.props

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

Parsing properties file "/w0/tmp/slurm_tq429871.4961012/tmpjs20imncprism_from-prism_check_ex_pacman.60_tmp_indir_/property.props"...

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

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

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

Building model (engine:explicit)...

Computing reachable states... 172984 350867 528923 705821 885219 1058072 1239858 1405292 1583971 1767247 1924062 2101427 2273629 2452826 2621851 2800226 2985913 3167506 3328034 3500141 3674921 3859618 4040139 4207991 4382770 4566812 4749800 4919247 5089734 5259023 5431848 5608076 5779108 5954198 6119570 6291814 6475984 6659911 6839705 7006446 7176269 7358472 7522753 7689713 7870338 8042487 8207376 8392164 8561264 8745723 8924505 9088578 9250819 9434973 9616045 9789465 9970036 10138465 10317701 10495089 10677315 10850433 11009593 11157903 11327512 11511345 11686357 11863012 12025045 12194888 12376361 12559276 12725652 12905152 13073387 13250826 13425942 13608076 13789714 13954292 14131735 14287382 14456032 14618704 14797743 14970971 15133803 15295487 15476789 15657269 15830076 16011338 16175122 16344052 16527635 16707460 16887050 17050997 17218342 17395135 17566634 17745014 17925521 18091816 18267143 18436421 18616517 18782150 18963552 19139699 19305491 19474954 19654556 19833354 20009940 20165235 20326631 20491673 20656143 20820689 20992849 21159440 21320961 21495377 21665410 21848499 22028465 22190989 22365473 22530788 22710425 22891689 23067950 23229817 23393510 23574857 23754501 23934671 24103333 24279844 24444616 24624503 24797834 24961951 25140938 25309890 25486044 25669342 25838990 26021281 26198016 26361345 26535956 26697776 26880180 27061727 27227293 27403573 27562452 27732645 27900256 28063210 28207305 28368144 28518262 28695515 28866374 29042186 29206868 29383014 29543528 29725083 29899201 30065237 30246070 30420654 30581879 30764436 30940551 31109231 31276092 31436655 31613502 31794343 31955590 32138450 32314656 32474986 32651258 32831062
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g