Log files for model herman.15 and tool configuration prism_from-umb-gz_import_ex
[0.666, 0.558, 0.585, 0.644, 0.834]
Log file: prism_from-umb-gz_import_ex_herman.15_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.703 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:17:06 GMT+02:00 2026
Hostname: n23m0291.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965246/tmpt0ex16skprism_from-umb-gz_import_ex_herman.15_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: DTMC
Actions: [step]
Variables: x
Labels: "stable"
Rewards: "steps"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.666 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_herman.15_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.501 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:01:07 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 -importmodel '/w0/tmp/slurm_tq429871.4961190/tmpbnsej4alprism_from-umb-gz_import_ex_herman.15_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: DTMC
Actions: [step]
Variables: x
Labels: "stable"
Rewards: "steps"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.558 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_herman.15_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.637 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:18:07 GMT+02:00 2026
Hostname: n23m0291.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965289/tmp5n1t_ts5prism_from-umb-gz_import_ex_herman.15_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: DTMC
Actions: [step]
Variables: x
Labels: "stable"
Rewards: "steps"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.585 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_herman.15_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 1.749 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:51:17 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966950/tmpqp3oey1gprism_from-umb-gz_import_ex_herman.15_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: DTMC
Actions: [step]
Variables: x
Labels: "stable"
Rewards: "steps"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.644 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb-gz_import_ex_herman.15_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umbgz:format=umb
Wallclock time: 2.689 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:23:19 GMT+02:00 2026
Hostname: n23m0135.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965554/tmp6juc6tc_prism_from-umb-gz_import_ex_herman.15_tmp_indir_/prism.model.umbgz:format=umb'
Importing model from "prism.model.umbgz"...
Type: DTMC
Actions: [step]
Variables: x
Labels: "stable"
Rewards: "steps"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.834 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g