Log files for model haddad-monmege.100-0.7 and tool configuration prism_from-tra-xz_import_ex
[0.037, 0.035, 0.084, 0.033, 0.033]
Log file: prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 1.356 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:12:52 GMT+02:00 2026
Hostname: n23m0111.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965049/tmpdb9khfebprism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4965049/tmpdb9khfebprism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz"...
Type: DTMC (from file header)
Variables: x
Labels: "Target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.037 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 1.404 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:51:49 GMT+02:00 2026
Hostname: n23m0294.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966962/tmpblewf5v7prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4966962/tmpblewf5v7prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz"...
Type: DTMC (from file header)
Variables: x
Labels: "Target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.035 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 1.435 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:06:34 GMT+02:00 2026
Hostname: r23m0204.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964787/tmp6htahpqvprism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4964787/tmp6htahpqvprism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz"...
Type: DTMC (from file header)
Variables: x
Labels: "Target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.084 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 1.328 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:06:03 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 -importmodel '/w0/tmp/slurm_tq429871.4961404/tmpblzbyy_4prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961404/tmpblzbyy_4prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz"...
Type: DTMC (from file header)
Variables: x
Labels: "Target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.033 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 1.305 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:47:33 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.4966809/tmpux2v1nb2prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4966809/tmpux2v1nb2prism_from-tra-xz_import_ex_haddad-monmege.100-0.7_tmp_indir_/prism.model.pexp.xz"...
Type: DTMC (from file header)
Variables: x
Labels: "Target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.033 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g