Log files for model rabin.10 and tool configuration prism_from-prism_to-tra_ex
Log file: prism_from-prism_to-tra_ex_rabin.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 176.538 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:58:19 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.4956089/tmp1j2badofprism_from-prism_to-tra_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956089/tmpuekuig78prism_from-prism_to-tra_ex_rabin.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956089/tmp1j2badofprism_from-prism_to-tra_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... 169134 345010 511943 689064 853109 1025247 1185354 1352964 1501254 1658254 1814580 1964562 2129673 2275070 2425446 2594764 2742061 2893868 3045708 3209932 3357165 3513480 3671106 3832412 3943254 4097770 4228349 4362651 4494141 4632243 4755404 4871848 5022938 5173181 5323487 5480786 5631532 5777149 5926234 6064986 6200222 6348729 6485449 6627256 6764436 6890585 7030572 7169293 7300751 7460750 7636712 7796776 7957452 8112574 8252259 8393358 8546812
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_rabin.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 176.245 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:23:55 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.4957117/tmpshl50mtrprism_from-prism_to-tra_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957117/tmpt0sa3am2prism_from-prism_to-tra_ex_rabin.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957117/tmpshl50mtrprism_from-prism_to-tra_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... 173921 343757 516972 686110 851482 1028989 1194118 1362584 1510642 1673949 1835853 1973660 2144454 2286387 2432199 2587498 2751974 2882687 3042499 3200980 3350883 3506644 3656992 3818975 3889359 4045629 4187504 4321583 4469451 4606309 4721599 4859681 5006260 5155614 5297712 5429500 5569621 5721381 5858232 5981088 6110254 6237266 6384628 6523487 6655937 6785598 6940731 7087427 7226885 7365546 7552897 7731244 7892368 8056350 8215423 8367119 8523173 8659809
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_rabin.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 170.234 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:58:54 GMT+02:00 2026
Hostname: n23m0033.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956103/tmpnhhmnjyxprism_from-prism_to-tra_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956103/tmp4n05a0yzprism_from-prism_to-tra_ex_rabin.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956103/tmpnhhmnjyxprism_from-prism_to-tra_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... 176726 356182 528109 705511 881923 1058259 1226592 1405939 1575430 1746281 1916653 2090639 2251482 2406046 2558702 2722999 2888243 3063387 3214324 3383505 3536311 3698943 3774010 3938162 4068775 4224000 4379182 4520094 4656990 4814071 4964532 5127770 5295151 5455268 5608624 5751293 5898725 6046231 6188645 6332256 6470954 6596483 6737948 6880458 7031985 7188074 7345137 7525892 7709576 7871155 8033433 8189334 8330900 8483640 8644023 8782298
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_rabin.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 165.327 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:02:25 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956244/tmpaknrxj8qprism_from-prism_to-tra_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956244/tmpm7t_d90vprism_from-prism_to-tra_ex_rabin.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956244/tmpaknrxj8qprism_from-prism_to-tra_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... 176742 363036 536543 714568 895842 1078930 1253872 1424795 1597046 1762051 1934394 2100296 2274450 2431256 2582113 2760505 2926656 3104531 3255929 3364457 3530741 3682411 3836237 3991460 4159667 4328986 4484520 4647528 4810117 4973039 5139368 5295210 5452682 5607896 5751064 5904635 6040062 6198251 6353788 6508940 6666771 6826310 6981411 7137533 7293440 7457530 7631800 7791421 7944280 8105525 8267118 8431296 8592276 8723910
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.
Log file: prism_from-prism_to-tra_ex_rabin.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 160.707 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:35:16 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.4955151/tmphburl0d4prism_from-prism_to-tra_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955151/tmpsupr2q1cprism_from-prism_to-tra_ex_rabin.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955151/tmphburl0d4prism_from-prism_to-tra_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... 172262 336473 496342 660837 815129 993551 1159751 1329709 1495824 1654367 1811582 1983247 2141291 2304083 2456457 2603240 2756998 2907397 3052863 3205245 3357798 3510281 3644843 3807576 3951400 4051457 4198402 4347350 4496295 4638292 4768879 4900137 5046190 5194103 5347195 5493168 5637897 5790910 5925314 6056098 6185613 6328898 6473278 6605704 6724506 6855648 6982884 7112572 7244820 7381686 7565991 7740345
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: File does not exist.