Log files for model nand.40-4 and tool configuration prism_from-tra-gz_import_ex
[7.959, 9.11, 8.345, 9.453, 9.188]
Log file: prism_from-tra-gz_import_ex_nand.40-4_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 9.415 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:02:22 GMT+02:00 2026
Hostname: r23m0198.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964586/tmpv21yjkmpprism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4964586/tmpv21yjkmpprism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz"...
Type: DTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 7.959 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_nand.40-4_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 10.909 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:39:49 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4962829/tmpjrz9g5b4prism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962829/tmpjrz9g5b4prism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz"...
Type: DTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 9.11 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_nand.40-4_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 9.963 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:52:53 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.4967017/tmpnyu6fozaprism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4967017/tmpnyu6fozaprism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz"...
Type: DTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 8.345 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_nand.40-4_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 11.321 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:39:14 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.4962804/tmpejjwnkh9prism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962804/tmpejjwnkh9prism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz"...
Type: DTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 9.453 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_nand.40-4_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 10.881 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:06:03 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964765/tmpjj0bcbw_prism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4964765/tmpjj0bcbw_prism_from-tra-gz_import_ex_nand.40-4_tmp_indir_/prism.model.pexp.gz"...
Type: DTMC (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 9.188 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g