Log files for model pnueli-zuck.10 and tool configuration prism_from-prism_to-umb-gz_ex
Log file: prism_from-prism_to-umb-gz_ex_pnueli-zuck.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: 122.147 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:55:01 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.4958207/tmpv8og4twoprism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958207/tmpfnm01phbprism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958207/tmpv8og4twoprism_from-prism_to-umb-gz_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... 203171 414693 627611 827302 1038350 1247862 1449934 1660743 1860842 2062330 2276409 2465006 2662907 2841199 3017100 3219708 3415794 3609315 3820125 3988951 4182868 4364209 4528671 4698054 4879011 5056722 5245257 5443018 5651890 5835866 6041736 6221050 6403678 6590811 6767368 6958692 7129533 7308795 7475054 7609414
##############################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_pnueli-zuck.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: 139.078 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:09:29 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956550/tmpxmnk7m_xprism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956550/tmp8ge866k9prism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956550/tmpxmnk7m_xprism_from-prism_to-umb-gz_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... 200231 408154 611402 818466 1013800 1199281 1382124 1574873 1770217 1947804 2146071 2335866 2524195 2696941 2886182 3036160 3223314 3395929 3578758 3779189 3976184 4137374 4334230 4495894 4676593 4854528 5002301 5162228 5345468 5497919 5660667 5843799 6032526 6202557 6395496 6597114 6789719 6994755 7175225 7335815 7510666 7679100 7844304 8002796 8160747
##############################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_pnueli-zuck.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: 145.931 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:31:15 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955006/tmpcrpljmahprism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955006/tmp0oy9ko0kprism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955006/tmpcrpljmahprism_from-prism_to-umb-gz_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... 197254 395754 585486 784479 991244 1173168 1372880 1566921 1767239 1961785 2167119 2344825 2520169 2680529 2865292 3013679 3183127 3364235 3519100 3701619 3867703 4058499 4241708 4407058 4571756 4728953 4891178 5059042 5224579 5397802 5560746 5719535 5900522 6082560 6236221 6405945 6595547 6742876 6921305 7099670 7248933 7405441 7563619 7697629 7842786 7983984 8135967
##############################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_pnueli-zuck.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: 139.183 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:21:02 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.4956995/tmp1u1ypo__prism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956995/tmpss6c201pprism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956995/tmp1u1ypo__prism_from-prism_to-umb-gz_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... 194294 395128 582387 782113 972903 1152638 1341249 1537105 1720841 1906121 2101574 2276673 2470454 2669950 2861881 3045520 3229850 3413287 3584433 3769145 3940753 4134296 4313770 4489359 4667424 4808145 4966580 5118485 5278292 5455996 5613841 5756589 5935176 6114586 6303948 6496039 6698031 6893499 7094135 7290769 7463750 7631269 7802449 7954274 8101623
##############################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_pnueli-zuck.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: 133.252 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:38:21 GMT+02:00 2026
Hostname: n23m0102.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957633/tmpnvhvej9tprism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957633/tmpkmgs8968prism_from-prism_to-umb-gz_ex_pnueli-zuck.10_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957633/tmpnvhvej9tprism_from-prism_to-umb-gz_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... 201742 409363 615359 820314 1020200 1213457 1411858 1611237 1818896 2021501 2222329 2398802 2605163 2771080 2921818 3105281 3274312 3470163 3650782 3817721 3983250 4159558 4303525 4454148 4629650 4771313 4915030 5061560 5230604 5415480 5587160 5759556 5931132 6102498 6283014 6455093 6611491 6787445 6963347 7129270 7302329 7470185 7622649
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: File does not exist.