Log files for model speed-ind.2100 and tool configuration prism_from-prism_to-umb-xz_ex
[71.395, 70.652, 57.423, 60.267, 57.901]
Log file: prism_from-prism_to-umb-xz_ex_speed-ind.2100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 79.836 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:21 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957918/tmp2juid46uprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957918/tmphrttsmr4prism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957918/tmp2juid46uprism_from-prism_to-umb-xz_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... 316657 636966 743424 states
Reachable states exploration and model construction done in 7.173 secs.
Sorting reachable states list...
Time for model construction: 7.812 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957918/tmphrttsmr4prism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz"...
Time for exporting: 71.395 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 46457860 bytes
Log file: prism_from-prism_to-umb-xz_ex_speed-ind.2100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 78.882 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:19:20 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956935/tmpfzcaio68prism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956935/tmprh72068fprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956935/tmpfzcaio68prism_from-prism_to-umb-xz_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... 321083 644079 743424 states
Reachable states exploration and model construction done in 6.892 secs.
Sorting reachable states list...
Time for model construction: 7.596 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956935/tmprh72068fprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz"...
Time for exporting: 70.652 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 46457860 bytes
Log file: prism_from-prism_to-umb-xz_ex_speed-ind.2100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 65.274 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:40 GMT+02:00 2026
Hostname: r23m0215.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955781/tmprd4dtdikprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955781/tmpjurdv2toprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955781/tmprd4dtdikprism_from-prism_to-umb-xz_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... 339800 674525 743424 states
Reachable states exploration and model construction done in 6.528 secs.
Sorting reachable states list...
Time for model construction: 7.235 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955781/tmpjurdv2toprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz"...
Time for exporting: 57.423 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 46457860 bytes
Log file: prism_from-prism_to-umb-xz_ex_speed-ind.2100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 70.422 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:37:00 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.4955232/tmpmik6fpsjprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955232/tmpqj_xlqd3prism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955232/tmpmik6fpsjprism_from-prism_to-umb-xz_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... 325334 649786 743424 states
Reachable states exploration and model construction done in 6.846 secs.
Sorting reachable states list...
Time for model construction: 7.573 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955232/tmpqj_xlqd3prism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz"...
Time for exporting: 60.267 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 46457860 bytes
Log file: prism_from-prism_to-umb-xz_ex_speed-ind.2100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 65.886 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:55 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957939/tmppiebdcbjprism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957939/tmpgaizy3g4prism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957939/tmppiebdcbjprism_from-prism_to-umb-xz_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... 326862 649651 743424 states
Reachable states exploration and model construction done in 6.773 secs.
Sorting reachable states list...
Time for model construction: 7.368 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957939/tmpgaizy3g4prism_from-prism_to-umb-xz_ex_speed-ind.2100_tmp_outdir_/model.umbxz"...
Time for exporting: 57.901 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 46457860 bytes