Log files for model pnueli-zuck.5 and tool configuration prism_from-prism_to-umb-gz_ex
[8797971.0, 8797971.0, 8797994.0, 8797971.0, 8797971.0]
Log file: prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_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: 4.688 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:44:25 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955527/tmpxwm1uylbprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955527/tmp1e0e2uchprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955527/tmpxwm1uylbprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 397435 states
Reachable states exploration and model construction done in 2.813 secs.
Sorting reachable states list...
Time for model construction: 3.593 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955527/tmp1e0e2uchprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz"...
Time for exporting: 0.429 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8797971 bytes
Log file: prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_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: 4.755 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:05:21 GMT+02:00 2026
Hostname: n23m0310.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956379/tmpehtpoahqprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956379/tmpi1k6e2d5prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956379/tmpehtpoahqprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 396570 397435 states
Reachable states exploration and model construction done in 3.011 secs.
Sorting reachable states list...
Time for model construction: 3.641 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956379/tmpi1k6e2d5prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz"...
Time for exporting: 0.437 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8797971 bytes
Log file: prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_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: 4.622 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:01:50 GMT+02:00 2026
Hostname: n23m0144.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956215/tmps9pafrybprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956215/tmp0ixql05nprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956215/tmps9pafrybprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 397435 states
Reachable states exploration and model construction done in 2.958 secs.
Sorting reachable states list...
Time for model construction: 3.579 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956215/tmp0ixql05nprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz"...
Time for exporting: 0.451 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8797994 bytes
Log file: prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_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: 4.578 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:28:39 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.4957315/tmpzsb0xbvqprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957315/tmp3cbj99spprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957315/tmpzsb0xbvqprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 397435 states
Reachable states exploration and model construction done in 2.867 secs.
Sorting reachable states list...
Time for model construction: 3.448 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957315/tmp3cbj99spprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz"...
Time for exporting: 0.45 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8797971 bytes
Log file: prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_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: 5.849 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:28:59 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954912/tmpztl6ymi5prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954912/tmpnfzb04ctprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954912/tmpztl6ymi5prism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 397435 states
Reachable states exploration and model construction done in 2.874 secs.
Sorting reachable states list...
Time for model construction: 3.576 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4954912/tmpnfzb04ctprism_from-prism_to-umb-gz_ex_pnueli-zuck.5_tmp_outdir_/model.umbgz"...
Time for exporting: 0.442 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8797971 bytes