Log files for model speed-ind.2100 and tool configuration prism_from-prism_to-tra-xz_ex
[158.42, 157.103, 156.174, 161.168, 153.555]
Log file: prism_from-prism_to-tra-xz_ex_speed-ind.2100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 166.251 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:17:37 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956863/tmpl_ada76nprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956863/tmpzc2yyh0sprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956863/tmpl_ada76nprism_from-prism_to-tra-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... 332371 663947 743424 states
Reachable states exploration and model construction done in 6.629 secs.
Sorting reachable states list...
Time for model construction: 7.21 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956863/tmpzc2yyh0sprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp"...
Time for exporting: 158.42 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 19862796 bytes
Log file: prism_from-prism_to-tra-xz_ex_speed-ind.2100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 164.995 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:30:25 GMT+02:00 2026
Hostname: n23m0336.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957397/tmpeyn7y2smprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957397/tmpl4c96i2uprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957397/tmpeyn7y2smprism_from-prism_to-tra-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... 329185 663124 743424 states
Reachable states exploration and model construction done in 6.629 secs.
Sorting reachable states list...
Time for model construction: 7.264 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957397/tmpl4c96i2uprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp"...
Time for exporting: 157.103 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 19862796 bytes
Log file: prism_from-prism_to-tra-xz_ex_speed-ind.2100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 164.074 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:53:00 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.4955885/tmp7wi0943aprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955885/tmpa2p84m0cprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955885/tmp7wi0943aprism_from-prism_to-tra-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... 330733 657166 743424 states
Reachable states exploration and model construction done in 6.773 secs.
Sorting reachable states list...
Time for model construction: 7.272 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955885/tmpa2p84m0cprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp"...
Time for exporting: 156.174 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 19862796 bytes
Log file: prism_from-prism_to-tra-xz_ex_speed-ind.2100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 169.245 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:28:39 GMT+02:00 2026
Hostname: n23m0040.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957314/tmpgrt67nvvprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957314/tmpo4gmewszprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957314/tmpgrt67nvvprism_from-prism_to-tra-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... 323734 653906 743424 states
Reachable states exploration and model construction done in 6.741 secs.
Sorting reachable states list...
Time for model construction: 7.408 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957314/tmpo4gmewszprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp"...
Time for exporting: 161.168 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 19862796 bytes
Log file: prism_from-prism_to-tra-xz_ex_speed-ind.2100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 161.531 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:48:59 GMT+02:00 2026
Hostname: n23m0269.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955713/tmp92wsmu_bprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955713/tmpbjrtc2lpprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955713/tmp92wsmu_bprism_from-prism_to-tra-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... 333885 661552 743424 states
Reachable states exploration and model construction done in 6.65 secs.
Sorting reachable states list...
Time for model construction: 7.364 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955713/tmpbjrtc2lpprism_from-prism_to-tra-xz_ex_speed-ind.2100_tmp_outdir_/model.pexp"...
Time for exporting: 153.555 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 19862796 bytes