Log files for model pnueli-zuck.10 and tool configuration prism_from-prism_to-umb_ex
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 130.051 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:56 GMT+02:00 2026
Hostname: n23m0046.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957940/tmpbb791avgprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957940/tmpptn9roraprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957940/tmpbb791avgprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions: []
Variables: p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 205266 411929 621296 821038 1036645 1244486 1449473 1656126 1860804 2070711 2287158 2478422 2682690 2869024 3046519 3240757 3434434 3634141 3835043 4041628 4244734 4414632 4589201 4768135 4953789 5137757 5311301 5499285 5686580 5881668 6087397 6275102 6489924 6689009 6892912 7068926 7253121 7429088 7608658 7772514 7950806 8122113
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 136.809 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:00:05 GMT+02:00 2026
Hostname: n23m0264.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956157/tmppvlgs22zprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956157/tmpgyszyoylprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956157/tmppvlgs22zprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions: []
Variables: p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 196268 399657 600830 805885 1000862 1194160 1384158 1580058 1791501 1979171 2170802 2357316 2561636 2728942 2893578 3060418 3243150 3424791 3609490 3794765 3951683 4131773 4290935 4403324 4560920 4710973 4842881 4979460 5116827 5295801 5465041 5637817 5807606 5977140 6151419 6330120 6500656 6662608 6835200 7003019 7146673 7305052 7447547 7571087
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 139.631 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:29:35 GMT+02:00 2026
Hostname: n23m0280.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954936/tmpho9yqd6fprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954936/tmp7k72z3agprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954936/tmpho9yqd6fprism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions: []
Variables: p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 193661 394098 589755 791465 993095 1186952 1383947 1571255 1767446 1960065 2150188 2357177 2525705 2700233 2863753 3026632 3219467 3420153 3604280 3787992 3968103 4156657 4329599 4496134 4670710 4836766 5019195 5208454 5407793 5596045 5785835 5976519 6151287 6330277 6505346 6689741 6877753 7042390 7203551 7371503 7527043 7693605
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 139.632 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:24:29 GMT+02:00 2026
Hostname: n23m0355.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957148/tmpzlxi5794prism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957148/tmpbqqaniq9prism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957148/tmpzlxi5794prism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions: []
Variables: p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 202588 412001 599457 809927 992729 1180776 1377142 1572101 1753034 1949570 2117683 2283062 2473369 2647012 2835455 3006138 3210152 3386513 3563618 3745922 3904171 4106093 4309224 4482388 4654442 4838940 5018788 5156630 5342023 5503646 5659730 5828097 6000168 6151065 6313001 6519231 6711220 6922555 7124507 7330007 7517312 7680599 7859235 8030032 8201592
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 124.788 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:44 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.4958114/tmp5iz83en3prism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958114/tmp_1hlp1w5prism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958114/tmp5iz83en3prism_from-prism_to-umb_ex_pnueli-zuck.10_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions: []
Variables: p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 206397 421642 636892 834355 1048969 1256192 1454076 1666572 1867996 2073955 2275760 2482867 2686723 2860575 3053316 3235806 3450503 3652235 3850653 4044575 4238281 4413154 4575404 4760295 4937653 5107533 5279876 5489783 5681438 5883687 6074412 6276723 6475430 6674572 6857705 7044216 7225881 7405723 7583541 7764344 7920559
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: File does not exist.