Log files for model pacman.60 and tool configuration prism_from-prism_import_ex
Log file: prism_from-prism_import_ex_pacman.60_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 588.623 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:57:37 GMT+02:00 2026
Hostname: r23m0198.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964316/tmpjya2jle_prism_from-prism_import_ex_pacman.60_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964316/tmpjya2jle_prism_from-prism_import_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... 175938 354400 533460 706058 885268 1058073 1239679 1408154 1586574 1763800 1910833 2080772 2262358 2440297 2613703 2797579 2968637 3152473 3318767 3483891 3660896 3835206 4011276 4185165 4360178 4542177 4712702 4892692 5061943 5232798 5416519 5594227 5773093 5938745 6106388 6269956 6443850 6623395 6792588 6967140 7137633 7319959 7495542 7678995 7858980 8030064 8199320 8383105 8552059 8736668 8913480 9079737 9247133 9413722 9578997 9758860 9932328 10098874 10270011 10455508 10635713 10808007 10987088 11155763 11329726 11513941 11692817 11864375 12042640 12207003 12388279 12562466 12743019 12921874 13087636 13257031 13440219 13621603 13803615 13961543 14115491 14278169 14450083 14626040 14801589 14967951 15145746 15313667 15487628 15671612 15854936 16023874 16201217 16369064 16547925 16718255 16899437 17076308 17242605 17413935 17594645 17765500 17948006 18126399 18291020 18463598 18645942 18827340 18991817 19170948 19338615 19520603 19694284 19877886 20057209 20224930 20390880 20572121 20751362 20908962 21076042 21229849 21383456 21561691 21739395 21918586 22085290 22262873 22424055 22607978 22787346 22960443 23141359 23318012 23485696 23670043 23837641 24022361 24201143 24367346 24546554 24728877 24897377 25079096 25255892 25418546 25594896 25762868 25942633 26122723 26284424 26461185 26632975 26801466 26983086 27161170 27322264 27494445 27665860 27846575 28028702 28206114 28365430 28534880 28702533 28867853 29033407 29192031 29334755 29499693 29670168 29850438 30030609 30194532 30371438 30534254 30716993 30895266 31075021 31228161 31404536 31565770 31748257 31925393 32092614 32272475 32448548 32607929 32789478 32965738 33132953 33307937 33469363 33645890 33829079
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pacman.60_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 629.822 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:38:07 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.4962753/tmpufvuvl4oprism_from-prism_import_ex_pacman.60_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962753/tmpufvuvl4oprism_from-prism_import_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... 162360 323845 489118 648083 814305 965860 1135161 1297749 1453154 1626569 1787382 1949470 2103945 2264951 2433194 2591374 2756615 2918357 3083884 3249139 3396946 3560234 3730931 3896058 4066549 4227274 4389226 4558632 4715416 4887608 5046503 5202583 5364028 5523308 5695619 5862245 6016540 6173911 6344667 6507726 6680968 6850864 7009856 7168037 7339292 7494374 7652152 7820345 7977355 8142742 8303937 8474681 8647404 8810864 8981034 9136847 9299590 9472358 9642252 9804429 9973089 10133427 10302565 10469891 10640070 10812148 10971673 11118316 11269382 11434833 11598805 11769389 11937807 12095032 12252552 12425670 12596916 12756132 12926242 13086887 13255422 13418946 13590359 13762139 13917279 14084273 14241404 14406035 14579971 14753368 14922601 15081622 15242359 15414196 15585841 15748214 15920434 16089793 16235661 16386125 16544035 16707072 16867242 17039575 17190626 17356836 17524804 17694118 17868719 18028358 18196168 18351981 18525622 18686314 18861181 19031636 19189888 19349021 19522244 19695207 19867818 20027187 20195694 20354853 20525677 20690755 20861999 21033306 21190819 21349855 21522065 21693114 21852486 22024667 22193295 22351036 22511761 22683920 22855256 23025143 23175664 23341964 23503513 23677812 23845086 24018227 24185329 24329662 24477595 24640929 24799960 24961077 25110319 25259960 25396973 25556497 25720893 25879497 26031772 26200288 26364937 26519697 26683907 26849470 27007265 27175755 27340838 27495965 27666588 27829359 28001632 28169659 28334778 28487572 28651008 28798463 28969119 29137165 29301283 29453839 29620448 29773541 29933906 30094170 30248708 30392547 30546598 30699569 30868827 31035009 31187951 31329961 31494349 31650340 31822106 31990424 32159230 32310280 32476130 32632274 32805138 32972379 33143448 33295156 33461967 33614007 33788312 33954671 34125168
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pacman.60_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 605.178 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:29:51 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962377/tmp414_b5a_prism_from-prism_import_ex_pacman.60_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962377/tmp414_b5a_prism_from-prism_import_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... 169679 342296 514679 682210 855547 1021750 1195804 1363651 1530856 1700192 1866104 2034880 2209286 2380459 2544804 2712438 2889519 3057650 3233000 3393066 3561463 3737856 3905548 4079477 4244754 4405605 4576136 4750213 4914514 5072716 5228436 5397346 5572938 5749056 5913663 6075263 6247532 6416106 6592869 6766320 6923290 7077614 7227050 7396228 7573148 7743202 7909894 8070215 8235246 8415020 8590799 8761101 8936361 9101100 9264829 9444790 9620468 9789046 9964051 10122508 10284651 10452532 10615779 10794404 10966588 11123837 11288873 11468568 11643606 11809086 11986253 12151938 12325960 12497537 12676681 12854215 13020104 13184400 13360328 13532526 13711734 13886544 14049649 14211594 14388184 14565539 14735156 14909903 15068717 15229331 15385882 15550229 15713223 15888733 16055879 16210418 16382477 16550114 16725827 16901443 17064768 17227799 17400579 17569475 17744782 17921395 18082695 18254639 18417152 18593635 18763137 18942390 19115578 19279889 19446134 19623422 19797216 19956590 20131460 20294834 20465984 20636856 20811688 20979835 21155724 21319797 21495769 21666000 21845647 22023961 22186548 22358381 22513713 22678930 22844347 22997989 23164035 23323961 23485930 23665716 23835114 23999928 24172977 24329832 24500298 24673993 24832737 25010960 25184723 25341803 25513897 25691954 25858165 26035498 26208589 26369320 26542800 26699923 26879192 27057710 27231460 27391338 27563456 27731787 27906942 28083941 28251699 28424250 28580942 28737207 28891365 29053386 29212409 29356033 29518939 29684113 29861496 30038746 30209418 30383086 30543300 30722945 30898031 31075092 31223677 31396179 31554153 31733119 31907990 32085815 32249341 32423148 32582578 32762117 32936052 33101198 33275680 33447629 33602084 33780483 33953771
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pacman.60_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 644.309 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:34:22 GMT+02:00 2026
Hostname: n23m0293.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966180/tmplwvfmga9prism_from-prism_import_ex_pacman.60_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966180/tmplwvfmga9prism_from-prism_import_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... 140024 284259 426752 574611 714684 859480 997325 1141580 1287635 1420648 1564935 1710768 1847135 1981129 2128705 2270891 2418619 2552054 2687136 2829975 2978517 3127253 3262189 3389870 3534891 3679624 3824612 3965119 4109235 4247615 4389334 4537112 4668387 4806574 4950694 5087395 5224119 5372483 5511440 5659865 5806784 5940882 6083766 6210052 6346565 6483809 6632460 6776616 6918136 7048980 7185439 7332974 7484644 7637536 7780606 7932502 8076008 8218276 8374226 8522443 8674840 8826737 9001157 9152379 9313443 9484656 9659177 9832221 9990720 10163368 10330985 10509346 10682719 10851140 11023951 11187844 11362961 11532851 11708470 11885575 12048121 12210811 12375332 12541030 12711955 12889848 13058282 13218630 13394677 13561756 13739462 13913294 14074462 14237302 14413731 14589847 14766610 14932469 15106146 15261290 15424690 15580831 15755662 15928127 16086092 16257476 16422686 16598849 16775646 16950854 17111872 17274022 17449793 17622426 17785973 17962353 18135053 18296443 18461781 18639348 18816226 18991606 19153471 19314420 19476152 19640433 19801775 19959235 20128346 20284508 20457681 20624750 20799660 20975752 21148926 21310689 21475925 21653312 21830094 22006532 22167136 22338612 22504745 22682173 22858343 23023513 23197972 23356671 23531164 23707477 23874340 24051213 24222532 24383723 24536900 24703698 24868094 25035675 25185897 25352590 25501341 25678064 25845625 26017535 26174176 26345522 26505237 26675509 26849978 27027024 27185410 27356971 27515674 27693538 27867249 28043886 28206617 28377755 28527436 28690269 28850132 28997043 29160325 29319417 29468215 29642137 29817481 29978667 30154504 30326274 30482820 30656853 30826040 30985222 31151588 31321745 31479165 31651751 31812506 31989279 32165148 32337048 32498492 32671996 32839921 33017236 33192391 33353050 33524624 33686089 33852745 34014146 34168362 34319610
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pacman.60_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 681.802 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:35:26 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966233/tmpz1s5pjphprism_from-prism_import_ex_pacman.60_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966233/tmpz1s5pjphprism_from-prism_import_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... 152836 312381 472778 635546 799297 958392 1127669 1285627 1441431 1599697 1760794 1907622 2068380 2220738 2383621 2533041 2690612 2856524 3022464 3176438 3322201 3484671 3644293 3810914 3974769 4117561 4268952 4433737 4594838 4751062 4908374 5051712 5205417 5370781 5527200 5682127 5836880 6000963 6150262 6313950 6470523 6631059 6795038 6947154 7106065 7262215 7426853 7576454 7728242 7877739 8029817 8172037 8334650 8497421 8653957 8818682 8979256 9132362 9286579 9453048 9615522 9762362 9921319 10074825 10234435 10401894 10558218 10724008 10887732 11030028 11175236 11319100 11475269 11630226 11788849 11940676 12101364 12251750 12415971 12567129 12732265 12894169 13043911 13200966 13359907 13523904 13686328 13835535 13995049 14148438 14295224 14447411 14588692 14737324 14897183 15045789 15205629 15358709 15523975 15686550 15841516 16003649 16157007 16315181 16462865 16625086 16789465 16936425 17098011 17250053 17405736 17570792 17712552 17866024 18016737 18153058 18296047 18447155 18607508 18761446 18912114 19068400 19211797 19366323 19515084 19669237 19835821 19990405 20129996 20285062 20431498 20591348 20744766 20883897 21040084 21178517 21312339 21467380 21609121 21757194 21908729 22054132 22181696 22315473 22442103 22597767 22748321 22902242 23029017 23181072 23331759 23464148 23621253 23777088 23936940 24080931 24228841 24367897 24525033 24688879 24847820 24994198 25153086 25308459 25449612 25601901 25743967 25862341 26023765 26180646 26328294 26480287 26608750 26753491 26897669 27042565 27181357 27301757 27442402 27589030 27746397 27898422 28050466 28197813 28326986 28483169 28636362 28798380 28945804 29092745 29217584 29364504 29497048 29647939 29798820 29950970 30097350 30253702 30402038 30534270 30685063 30834293 30982776 31127250 31255959 31401664 31535597 31675538 31814732 31945093 32078540 32206287 32353162 32498851 32634513 32791061 32939894 33089986 33249671 33412599 33553371 33721291 33892781 34045711 34215442 34379163
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g