Log files for model speed-ind.2100 and tool configuration prism_from-tra-gz_import_ex
[20.557, 19.432, 19.63, 20.041, 19.864]
Log file: prism_from-tra-gz_import_ex_speed-ind.2100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 23.257 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:35:56 GMT+02:00 2026
Hostname: n23m0258.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4962668/tmpbfh0b5h7prism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962668/tmpbfh0b5h7prism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 20.557 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_speed-ind.2100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 22.006 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:32:17 GMT+02:00 2026
Hostname: n23m0295.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966073/tmpnlynxso6prism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4966073/tmpnlynxso6prism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 19.432 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_speed-ind.2100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 22.267 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:04:57 GMT+02:00 2026
Hostname: n23m0046.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961351/tmp5thtes1rprism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961351/tmp5thtes1rprism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 19.63 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_speed-ind.2100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 24.316 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:29:54 GMT+02:00 2026
Hostname: n23m0170.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965934/tmpl34r1a8cprism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4965934/tmpl34r1a8cprism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 20.041 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_speed-ind.2100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 22.613 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:55:31 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 -importmodel '/w0/tmp/slurm_tq429871.4964204/tmp6bqclolkprism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4964204/tmp6bqclolkprism_from-tra-gz_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp.gz"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 19.864 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g