Log files for model rabin.10 and tool configuration prism_from-prism_to-umb-xz_ex
Log file: prism_from-prism_to-umb-xz_ex_rabin.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 165.265 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:01:53 GMT+02:00 2026
Hostname: r23m0209.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958487/tmp39x4cqcpprism_from-prism_to-umb-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958487/tmpn9aueoodprism_from-prism_to-umb-xz_ex_rabin.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958487/tmp39x4cqcpprism_from-prism_to-umb-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... 175414 354438 524328 705702 882306 1059366 1230176 1414531 1577010 1758320 1917968 2088950 2252675 2411391 2563434 2727012 2903350 3066477 3240509 3392945 3471440 3627760 3783323 3944915 4097217 4252550 4411446 4578224 4741144 4892998 5054341 5227187 5385981 5525665 5683815 5839024 5985228 6122887 6263055 6411494 6568494 6726949 6877128 7035341 7185252 7337563 7519284 7705761 7872130 8027064 8172649 8324822 8483309 8630606
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_rabin.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 169.025 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:54:27 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958181/tmpyslu9a5rprism_from-prism_to-umb-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958181/tmpb9tov0tkprism_from-prism_to-umb-xz_ex_rabin.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958181/tmpyslu9a5rprism_from-prism_to-umb-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... 176314 361407 536633 715300 898902 1073536 1246267 1414067 1588599 1761392 1934547 2100371 2275958 2442037 2592383 2765842 2932418 3086229 3261155 3435656 3555476 3719757 3883530 4037497 4199579 4362748 4517932 4684488 4831875 4993824 5166971 5338618 5499095 5655924 5801386 5955659 6104034 6240540 6365504 6517731 6672226 6813564 6961693 7090377 7222929 7371730 7541419 7699488 7859125 7995043 8133758 8276721 8440626 8601773 8760472
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_rabin.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 170.537 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:57:52 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958316/tmpjh26ihauprism_from-prism_to-umb-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958316/tmpt8mr_vb5prism_from-prism_to-umb-xz_ex_rabin.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958316/tmpjh26ihauprism_from-prism_to-umb-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... 177497 363685 535836 713221 887752 1060106 1231447 1406017 1578008 1750425 1922494 2099923 2263524 2422437 2583143 2749727 2915750 3092110 3250823 3421298 3505360 3658712 3807923 3968494 4129017 4286221 4430535 4590373 4754133 4912646 5077226 5251606 5409631 5552005 5709741 5865310 6010741 6145223 6243846 6375543 6523045 6673037 6809416 6942564 7076035 7217167 7352052 7505050 7670934 7815149 7957588 8119043 8280598 8423416 8566505 8707938
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_rabin.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 164.393 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:37:08 GMT+02:00 2026
Hostname: n23m0049.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957581/tmpwldbcpteprism_from-prism_to-umb-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957581/tmp_qqnqs41prism_from-prism_to-umb-xz_ex_rabin.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957581/tmpwldbcpteprism_from-prism_to-umb-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... 179404 365352 538999 718554 897838 1073053 1245843 1420652 1593142 1765683 1938772 2105951 2279887 2444295 2592652 2765012 2931311 3097226 3272007 3430248 3512660 3667143 3831470 3981966 4117399 4270483 4419223 4585539 4738051 4891352 5054878 5228995 5392967 5541071 5699427 5844217 5991769 6138041 6264915 6418765 6578574 6735633 6889259 7044407 7200578 7357645 7544015 7721960 7873838 8024157 8178739 8334312 8496277
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_rabin.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 179.642 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:55:22 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955967/tmpk8bdlsq7prism_from-prism_to-umb-xz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955967/tmplglwe7ydprism_from-prism_to-umb-xz_ex_rabin.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955967/tmpk8bdlsq7prism_from-prism_to-umb-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... 169879 332248 496652 658025 803609 980592 1136067 1294191 1448737 1606494 1772510 1929236 2089738 2236361 2394635 2543141 2710919 2845074 3001229 3142722 3289527 3439671 3583870 3720249 3868561 4013378 4142465 4269049 4418911 4552969 4683514 4828379 4963275 5125729 5285533 5441759 5564015 5715080 5851664 5984001 6103187 6225220 6363337 6491666 6617914 6765811 6887665 7031480 7167610 7297538 7460725 7641065 7804840 7961047 8126787 8275586 8420659 8565916
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.