Log files for model speed-ind.2100 and tool configuration prism_from-tra_import_ex
[16.218, 15.289, 15.149, 16.596, 15.753]
Log file: prism_from-tra_import_ex_speed-ind.2100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 17.636 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:58:16 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4967269/tmp9hbtgefaprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4967269/tmp9hbtgefaprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 16.218 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_speed-ind.2100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 16.616 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:52:54 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4967011/tmp5vlchkx5prism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4967011/tmp5vlchkx5prism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 15.289 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_speed-ind.2100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 16.468 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:03:26 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4964637/tmprux20p3zprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4964637/tmprux20p3zprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 15.149 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_speed-ind.2100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 18.061 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:17:36 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965258/tmpqd_k89bjprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4965258/tmpqd_k89bjprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 16.596 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra_import_ex_speed-ind.2100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp
Wallclock time: 18.740 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:56:36 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4964263/tmp1jwqaalaprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp
Importing model from "/w0/tmp/slurm_tq429871.4964263/tmp1jwqaalaprism_from-tra_import_ex_speed-ind.2100_tmp_indir_/prism.model.pexp"...
Type: CTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 15.753 seconds.
Type: CTMC
States: 743424 (1 initial)
Transitions: 9518080
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g