Log files for model majority.2100 and tool configuration prism_from-umb_import_ex
[0.352, 0.258, 0.246, 0.235, 0.219]
Log file: prism_from-umb_import_ex_majority.2100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.438 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:10:15 GMT+02:00 2026
Hostname: r23m0217.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4964951/tmp1tectuhdprism_from-umb_import_ex_majority.2100_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: []
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.352 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_majority.2100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.388 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:14:58 GMT+02:00 2026
Hostname: r23m0214.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965150/tmpyrvuhy50prism_from-umb_import_ex_majority.2100_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: []
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.258 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_majority.2100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.332 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:08:49 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.4961516/tmpm9bvkaqlprism_from-umb_import_ex_majority.2100_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: []
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.246 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_majority.2100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.303 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:07:09 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4961435/tmpl0yncdmgprism_from-umb_import_ex_majority.2100_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: []
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.235 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_majority.2100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.304 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:22:29 GMT+02:00 2026
Hostname: n23m0097.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4962059/tmp038cqi4iprism_from-umb_import_ex_majority.2100_tmp_indir_/prism.model.umb
Importing model from "prism.model.umb"...
Type: CTMC
Actions: []
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 0.219 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g