Log files for model rabin.10 and tool configuration prism_from-prism_to-tra-gz_ex
Log file: prism_from-prism_to-tra-gz_ex_rabin.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 178.833 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:07:41 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956476/tmp6bymgq8cprism_from-prism_to-tra-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956476/tmpb44xgxt_prism_from-prism_to-tra-gz_ex_rabin.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956476/tmp6bymgq8cprism_from-prism_to-tra-gz_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... 171425 333894 489825 654043 816853 984155 1143678 1313278 1460503 1615139 1785860 1948678 2106044 2266717 2417953 2575636 2744188 2898020 3039785 3192973 3345670 3493969 3642094 3794138 3946167 4002103 4150701 4279947 4411154 4553119 4663727 4796220 4935931 5092803 5255275 5406642 5562239 5720177 5872552 6017704 6153097 6289020 6436932 6576651 6702095 6834447 6951029 7073662 7210599 7341718 7509696 7693398 7845224 7992669 8154685 8309140 8456925 8602337 8758737
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_rabin.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 170.502 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:03:36 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956283/tmpkjjcw8x5prism_from-prism_to-tra-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956283/tmpg7muovadprism_from-prism_to-tra-gz_ex_rabin.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956283/tmpkjjcw8x5prism_from-prism_to-tra-gz_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... 179413 361094 533226 712944 892824 1069243 1242121 1413010 1584324 1756376 1929811 2095640 2272230 2431200 2601534 2772768 2915772 3081603 3241957 3412010 3546393 3711034 3787111 3931973 4075503 4234302 4392078 4531596 4657461 4818054 4968529 5142169 5310159 5462857 5608635 5755583 5898519 6033893 6176880 6309190 6449927 6570074 6729751 6869248 7011055 7145694 7285989 7447051 7618592 7776690 7927363 8072566 8212432 8349329 8494497 8650951
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_rabin.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 153.196 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:51:18 GMT+02:00 2026
Hostname: n23m0057.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955812/tmp1sfd6q5eprism_from-prism_to-tra-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955812/tmpqx6phki0prism_from-prism_to-tra-gz_ex_rabin.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955812/tmp1sfd6q5eprism_from-prism_to-tra-gz_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... 193708 390599 588347 760896 952503 1134730 1334640 1528551 1711882 1905367 2079652 2263401 2437354 2617030 2794911 2985367 3164192 3351676 3519182 3611030 3784201 3947853 4121765 4290631 4452871 4630050 4803987 4969266 5159497 5334522 5512040 5680597 5846931 5990731 6149138 6304392 6455804 6619386 6784650 6953374 7120568 7278518 7463040 7665987 7851445 8018067 8186183 8352667 8521707 8688008
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_rabin.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 167.048 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:40:24 GMT+02:00 2026
Hostname: n23m0040.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955370/tmpf4sak5vkprism_from-prism_to-tra-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955370/tmpjfbnxfhzprism_from-prism_to-tra-gz_ex_rabin.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955370/tmpf4sak5vkprism_from-prism_to-tra-gz_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... 174759 353409 519475 695572 865295 1040357 1204429 1385101 1541354 1716639 1873949 2043044 2201215 2365164 2518240 2677734 2839290 2998584 3159255 3316583 3484034 3553406 3700892 3855193 4006144 4158676 4297857 4457976 4619449 4770744 4922120 5078913 5242319 5403696 5552231 5695895 5847480 5994573 6136403 6273080 6421873 6573114 6723235 6873260 7028194 7184600 7341870 7520136 7693823 7846964 7994604 8153590 8317387 8480114
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_rabin.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 172.176 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:38:41 GMT+02:00 2026
Hostname: n23m0034.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955300/tmpdy2xlqy2prism_from-prism_to-tra-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955300/tmpw1r5y2loprism_from-prism_to-tra-gz_ex_rabin.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955300/tmpdy2xlqy2prism_from-prism_to-tra-gz_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... 173651 332882 503313 659249 814779 981916 1135415 1291249 1458497 1590657 1763612 1917645 2060608 2226050 2385053 2534102 2709279 2859731 3011112 3163618 3315560 3478506 3624814 3779294 3927133 4065137 4197298 4343508 4473299 4614515 4744756 4864775 5008900 5135064 5268063 5426334 5583753 5744156 5895489 6045496 6191102 6344201 6487062 6627249 6763511 6898057 7026360 7164205 7295533 7432809 7600095 7753127 7900167 8060798 8209856 8356130
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.