Log files for model rabin.10 and tool configuration prism_from-prism_to-tra-xz_ex
Log file: prism_from-prism_to-tra-xz_ex_rabin.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 157.122 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:50:26 GMT+02:00 2026
Hostname: n23m0269.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958000/tmp1f1pou7tprism_from-prism_to-tra-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958000/tmpzdvohps7prism_from-prism_to-tra-xz_ex_rabin.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958000/tmp1f1pou7tprism_from-prism_to-tra-xz_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... 187273 384196 569186 757267 943554 1130651 1327317 1504544 1681714 1873379 2036160 2214101 2388922 2532692 2720519 2887449 3074784 3244358 3415757 3533568 3700120 3867471 4024735 4184858 4339640 4504796 4661276 4826318 4975229 5147150 5304693 5462419 5616660 5777901 5937120 6091461 6235362 6398774 6562931 6729645 6887675 7051346 7209007 7365657 7550469 7728483 7889623 8054235 8217211 8370748 8534529
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_rabin.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 177.294 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:22:10 GMT+02:00 2026
Hostname: n23m0334.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957049/tmpiaao24s6prism_from-prism_to-tra-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957049/tmpf_ocwy9eprism_from-prism_to-tra-xz_ex_rabin.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957049/tmpiaao24s6prism_from-prism_to-tra-xz_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... 172620 344266 510894 682136 846534 1017743 1181409 1354191 1505484 1646681 1816183 1965030 2112620 2274245 2411416 2553505 2717376 2863427 3000872 3161122 3314592 3470022 3625152 3772353 3933818 4078167 4225529 4363337 4507961 4626250 4776770 4904384 5048210 5214180 5360073 5504266 5661493 5800802 5937366 6074858 6201734 6342532 6479777 6625855 6749848 6873047 7023198 7163268 7304432 7472475 7653455 7808118 7961116 8123927 8267469 8418684 8564709 8714816
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_rabin.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 179.662 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:51:52 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.4955839/tmps5x34h8zprism_from-prism_to-tra-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955839/tmp47xn_g_zprism_from-prism_to-tra-xz_ex_rabin.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955839/tmps5x34h8zprism_from-prism_to-tra-xz_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... 171135 339050 509639 676090 835994 1011409 1172431 1349083 1499541 1663094 1815056 1960164 2124949 2267534 2414154 2558161 2722611 2858343 3014662 3157715 3300948 3448366 3610039 3732971 3893619 4045629 4182997 4311387 4441057 4577205 4727567 4856969 5015842 5176114 5327577 5465117 5615161 5751322 5894404 6023181 6146349 6286146 6419479 6535520 6683459 6839613 6988122 7131969 7271066 7425036 7606591 7775236 7934068 8079046 8221531 8348744 8495060 8638716 8775982
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_rabin.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 178.995 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:00:05 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956159/tmpg7k2in5oprism_from-prism_to-tra-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956159/tmptogb59uzprism_from-prism_to-tra-xz_ex_rabin.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956159/tmpg7k2in5oprism_from-prism_to-tra-xz_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... 172410 335219 489871 662129 812194 983394 1146085 1303161 1461886 1615869 1779991 1926099 2087733 2249883 2401257 2558260 2725829 2878304 3027906 3178374 3341016 3493711 3640768 3789950 3933285 4046457 4188530 4329030 4466469 4607358 4729598 4846168 4965658 5131347 5290979 5452176 5600833 5746940 5899976 6049484 6191522 6337857 6485443 6629008 6760970 6883682 7022671 7145912 7263882 7399741 7576007 7742172 7903371 8058249 8208793 8355522 8499491 8648827
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_rabin.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 178.412 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:52:26 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.4955855/tmpbkep3v2hprism_from-prism_to-tra-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955855/tmp_fzz6kbgprism_from-prism_to-tra-xz_ex_rabin.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955855/tmpbkep3v2hprism_from-prism_to-tra-xz_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... 159997 338279 494603 664739 825070 1002623 1169195 1343667 1507494 1670042 1827110 1999776 2155844 2303239 2448217 2608420 2761426 2912740 3060592 3202555 3344320 3503862 3643112 3786882 3947055 4008057 4144528 4279514 4423208 4558252 4694550 4824679 4961356 5116621 5271491 5417387 5563196 5721337 5858625 5983605 6121320 6241740 6378354 6520473 6646625 6771277 6904553 7049992 7190467 7332965 7505730 7681023 7843567 7997342 8156989 8312983 8460565 8591280
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.