Log files for model rabin.10 and tool configuration prism_from-prism_to-umb_ex
Log file: prism_from-prism_to-umb_ex_rabin.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 179.363 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:31:49 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955017/tmpnt7hgoo4prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955017/tmpa8i1prl6prism_from-prism_to-umb_ex_rabin.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955017/tmpnt7hgoo4prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions: []
Variables: c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 163988 324008 496054 668989 833111 1014812 1179415 1347913 1508514 1664785 1839848 1998270 2167875 2318833 2477345 2635890 2796697 2938854 3085882 3236284 3391896 3533760 3681828 3781801 3923469 4060035 4212732 4339965 4464169 4590661 4732730 4879143 5036251 5195491 5348552 5483448 5626361 5766323 5904201 6040402 6179592 6307426 6439973 6559065 6673759 6804344 6943690 7088478 7211695 7331708 7492954 7663323 7829175 7988326 8151250 8297674 8439960 8578515
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_rabin.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 178.946 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:32:13 GMT+02:00 2026
Hostname: r23m0207.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957462/tmpnrco6qt8prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957462/tmpgmeh7emaprism_from-prism_to-umb_ex_rabin.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957462/tmpnrco6qt8prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions: []
Variables: c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 174773 356896 527058 697317 867727 1038440 1200821 1365059 1523547 1696337 1850777 2019756 2173341 2333095 2483956 2648458 2800520 2955594 3110434 3261296 3420519 3580934 3730569 3857364 4021261 4164289 4308509 4462045 4606112 4741682 4883863 5025904 5156542 5293799 5433016 5566505 5712546 5843763 5970737 6097376 6217199 6353551 6485049 6604718 6733869 6880022 7022940 7155134 7294114 7435388 7582648 7744965 7887608 8022633 8172230 8322010 8461303 8594513
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_rabin.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 169.451 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:13:01 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956655/tmpo8r1mla_prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956655/tmpmvfc78cyprism_from-prism_to-umb_ex_rabin.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956655/tmpo8r1mla_prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions: []
Variables: c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 177859 357923 530727 710122 889286 1064396 1235101 1409022 1581399 1751975 1923603 2089858 2262078 2423153 2567084 2744786 2894290 3068595 3231671 3402944 3508408 3671509 3835119 3972686 4128411 4279235 4430088 4596519 4713505 4845041 5000110 5135902 5274117 5420067 5553440 5685863 5824561 5946010 6080771 6217898 6367396 6524703 6680953 6828667 6984023 7135625 7284184 7451301 7620602 7778677 7931407 8091094 8243866 8382404 8532124
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_rabin.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 157.545 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:06 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954951/tmprlb96pu9prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954951/tmpmiiymvfbprism_from-prism_to-umb_ex_rabin.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954951/tmprlb96pu9prism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions: []
Variables: c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 169918 345709 510640 688432 851166 1022812 1180970 1346415 1491939 1641711 1807392 1952947 2106426 2255030 2404589 2543130 2720581 2857967 3006694 3158975 3319927 3470336 3609082 3770097 3928146 4069384 4225491 4260422 4396753 4524266 4644453 4780656 4909752 5046523 5181257 5311309 5456729 5584154 5703509 5838119 5973693 6111723 6230147 6381851 6515892 6645871 6770158 6886693 7020309 7142636 7274469
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_rabin.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 186.599 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:56:34 GMT+02:00 2026
Hostname: n23m0313.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956026/tmppi8h7ptqprism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956026/tmpauchn9pxprism_from-prism_to-umb_ex_rabin.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956026/tmppi8h7ptqprism_from-prism_to-umb_ex_rabin.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions: []
Variables: c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 161764 329113 496863 654240 813446 987195 1138575 1313357 1472699 1625067 1798066 1951711 2118405 2268274 2427158 2575933 2741939 2886820 3049680 3188740 3331268 3490857 3624403 3764988 3826258 3975927 4115187 4262722 4393741 4512324 4646988 4782503 4926759 5085956 5249757 5410295 5549147 5699206 5846963 5986998 6122208 6246655 6386719 6529118 6652631 6768266 6901185 7036742 7172660 7308777 7470975 7647968 7812949 7968564 8137620 8294990 8441936 8583672 8725461
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.