Log files for model csma.4-2 and tool configuration prism_from-tra-gz_import_ex
[2.107, 2.23, 2.204, 2.189, 2.267]
Log file: prism_from-tra-gz_import_ex_csma.4-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 2.972 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:08:16 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.4961489/tmp766ukpecprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961489/tmp766ukpecprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz"...
Type: MDP (from file header)
Variables: x
Labels: "all_delivered" "collision_max_backoff"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 2.107 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_csma.4-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 3.104 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:01:07 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.4961187/tmp77p8edwwprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961187/tmp77p8edwwprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz"...
Type: MDP (from file header)
Variables: x
Labels: "all_delivered" "collision_max_backoff"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 2.23 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_csma.4-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 3.098 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:19:13 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961940/tmpjokk8s43prism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4961940/tmpjokk8s43prism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz"...
Type: MDP (from file header)
Variables: x
Labels: "all_delivered" "collision_max_backoff"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 2.204 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_csma.4-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 3.220 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:45:57 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966746/tmp7floahjyprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4966746/tmp7floahjyprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz"...
Type: MDP (from file header)
Variables: x
Labels: "all_delivered" "collision_max_backoff"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 2.189 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-gz_import_ex_csma.4-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.gz:format=explicit
Wallclock time: 3.155 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:41:13 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.4966481/tmpvhv6bebkprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4966481/tmpvhv6bebkprism_from-tra-gz_import_ex_csma.4-2_tmp_indir_/prism.model.pexp.gz"...
Type: MDP (from file header)
Variables: x
Labels: "all_delivered" "collision_max_backoff"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 2.267 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g