Log files for model speed-ind.2100 and tool configuration prism_from-prism_to-umb-gz_ex
[71229483.0, 71229515.0, 71229501.0, 71229483.0, 71229484.0]
Log file: prism_from-prism_to-umb-gz_ex_speed-ind.2100_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: 11.256 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:43:20 GMT+02:00 2026
Hostname: n23m0033.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956683/tmpjb6fz5piprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956683/tmptr0263e3prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956683/tmpjb6fz5piprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: S1_def S2_def S3_def S4_def Y_def Z_def CC_def XX_def
Actions: []
Variables: S1 S2 S3 S4 Y Z CC XX
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 318247 642681 743424 states
Reachable states exploration and model construction done in 7.006 secs.
Sorting reachable states list...
Time for model construction: 7.531 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956683/tmptr0263e3prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz"...
Time for exporting: 3.109 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 71229483 bytes
Log file: prism_from-prism_to-umb-gz_ex_speed-ind.2100_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: 10.841 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:50:26 GMT+02:00 2026
Hostname: n23m0265.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957999/tmpe3ctiz9lprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957999/tmpmkk0fwk4prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957999/tmpe3ctiz9lprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: S1_def S2_def S3_def S4_def Y_def Z_def CC_def XX_def
Actions: []
Variables: S1 S2 S3 S4 Y Z CC XX
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 330736 665886 743424 states
Reachable states exploration and model construction done in 6.679 secs.
Sorting reachable states list...
Time for model construction: 7.334 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957999/tmpmkk0fwk4prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz"...
Time for exporting: 2.867 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 71229515 bytes
Log file: prism_from-prism_to-umb-gz_ex_speed-ind.2100_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: 11.460 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:15:56 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956772/tmp9xua3e_eprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956772/tmpg3auj_r7prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956772/tmp9xua3e_eprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: S1_def S2_def S3_def S4_def Y_def Z_def CC_def XX_def
Actions: []
Variables: S1 S2 S3 S4 Y Z CC XX
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 288143 606677 743424 states
Reachable states exploration and model construction done in 7.333 secs.
Sorting reachable states list...
Time for model construction: 7.83 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956772/tmpg3auj_r7prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz"...
Time for exporting: 2.982 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 71229501 bytes
Log file: prism_from-prism_to-umb-gz_ex_speed-ind.2100_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: 10.972 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:59:35 GMT+02:00 2026
Hostname: r23m0202.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958384/tmp5i9tevx3prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958384/tmp27iqvw8pprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958384/tmp5i9tevx3prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: S1_def S2_def S3_def S4_def Y_def Z_def CC_def XX_def
Actions: []
Variables: S1 S2 S3 S4 Y Z CC XX
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 329730 647521 743424 states
Reachable states exploration and model construction done in 6.888 secs.
Sorting reachable states list...
Time for model construction: 7.425 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958384/tmp27iqvw8pprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz"...
Time for exporting: 2.934 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 71229483 bytes
Log file: prism_from-prism_to-umb-gz_ex_speed-ind.2100_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: 10.746 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:48:24 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955696/tmpgylj3oy1prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955696/tmp42hwkskrprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955696/tmpgylj3oy1prism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: S1_def S2_def S3_def S4_def Y_def Z_def CC_def XX_def
Actions: []
Variables: S1 S2 S3 S4 Y Z CC XX
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 335258 663159 743424 states
Reachable states exploration and model construction done in 6.624 secs.
Sorting reachable states list...
Time for model construction: 7.256 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955696/tmp42hwkskrprism_from-prism_to-umb-gz_ex_speed-ind.2100_tmp_outdir_/model.umbgz"...
Time for exporting: 2.871 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 71229484 bytes