Log files for model rabin.10 and tool configuration prism_from-prism_to-umb-gz_ex
Log file: prism_from-prism_to-umb-gz_ex_rabin.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 177.722 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:20:28 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956975/tmpvta77vvuprism_from-prism_to-umb-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956975/tmpn9xqydcmprism_from-prism_to-umb-gz_ex_rabin.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956975/tmpvta77vvuprism_from-prism_to-umb-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... 168665 344459 510615 682202 844005 1019477 1183492 1353756 1493168 1652839 1810893 1956747 2116063 2265901 2405736 2562980 2718017 2872655 3016142 3178490 3333650 3491444 3647124 3802866 3964773 4101875 4224662 4370904 4498193 4619457 4756630 4885319 5019614 5183613 5326513 5473894 5630532 5767975 5907677 6051361 6187322 6330148 6463790 6587056 6741185 6893489 7037344 7174909 7303746 7472450 7648401 7800407 7953295 8104306 8242024 8364622 8510741 8664220
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_rabin.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 184.896 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:00:11 GMT+02:00 2026
Hostname: n23m0311.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958417/tmpehlyjc5fprism_from-prism_to-umb-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958417/tmpbu0ay42gprism_from-prism_to-umb-gz_ex_rabin.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958417/tmpehlyjc5fprism_from-prism_to-umb-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... 168031 334114 496029 669967 839639 1026495 1189117 1364438 1523514 1699688 1861562 2037495 2210034 2373085 2524521 2708284 2851383 3011578 3163835 3321119 3468905 3622321 3774655 3904805 4042557 4170954 4301679 4409520 4527011 4648570 4769284 4878349 5010034 5157140 5299569 5432827 5551334 5691079 5823253 5958406 6069812 6180937 6300490 6442470 6579882 6694517 6826454 6956999 7096774 7234690 7377036 7552536 7711921 7860368 8006745 8152673 8306530 8454538 8599584 8746936
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_rabin.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 176.011 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:06 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.4954954/tmp1k0h0vthprism_from-prism_to-umb-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954954/tmpq9p7bpeiprism_from-prism_to-umb-gz_ex_rabin.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954954/tmp1k0h0vthprism_from-prism_to-umb-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... 176367 348955 520449 692204 859076 1037844 1198597 1364143 1522919 1661358 1830208 1983055 2134136 2285143 2435680 2582486 2745723 2894102 3039485 3183263 3346350 3496713 3658637 3809688 3971740 4104866 4259781 4398675 4544702 4684873 4823366 4931772 5078824 5234029 5371455 5525697 5675177 5814513 5965494 6101477 6211710 6362108 6504536 6644485 6789578 6933445 7075198 7206898 7340846 7504809 7687149 7850325 7994691 8159069 8312485 8467357 8621053
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_rabin.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 165.910 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:26:54 GMT+02:00 2026
Hostname: n23m0179.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957251/tmpyr2tk0v8prism_from-prism_to-umb-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957251/tmp22g19j5hprism_from-prism_to-umb-gz_ex_rabin.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957251/tmpyr2tk0v8prism_from-prism_to-umb-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... 175992 356595 539189 714161 888425 1070691 1249298 1426309 1598776 1769584 1936233 2109496 2271565 2433672 2597422 2760706 2932933 3110341 3263481 3432148 3517472 3667872 3821307 3985598 4143415 4291916 4462470 4631395 4785424 4936475 5119043 5279604 5434794 5591959 5753446 5903861 6057503 6194178 6349928 6511649 6671814 6824702 6982933 7136289 7289684 7464616 7649863 7819764 7972708 8134066 8286005 8439083 8587965
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.
Log file: prism_from-prism_to-umb-gz_ex_rabin.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 179.679 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:58:26 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958340/tmp_11r7ni1prism_from-prism_to-umb-gz_ex_rabin.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958340/tmpbgfj8srpprism_from-prism_to-umb-gz_ex_rabin.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958340/tmp_11r7ni1prism_from-prism_to-umb-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... 170046 347692 517441 685814 847651 1024925 1192942 1346566 1497532 1648157 1799387 1954630 2104810 2256501 2403877 2543355 2705293 2841769 2998037 3149901 3300140 3452954 3596405 3691640 3837708 3990197 4133941 4264473 4404290 4534505 4670718 4813908 4946374 5107540 5255218 5409769 5544133 5689127 5825599 5953367 6093327 6228117 6371034 6493372 6633815 6788122 6927503 7071284 7207131 7343181 7510816 7686394 7835351 7978459 8123459 8255959 8401709 8560461 8692185
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.