Log files for model majority.2100 and tool configuration prism_from-prism_import_ex
[1.662, 1.734, 1.52, 1.736, 1.586]
Log file: prism_from-prism_import_ex_majority.2100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.277 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:56:35 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 /w0/tmp/slurm_tq429871.4964255/tmp34wd9ytpprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964255/tmp34wd9ytpprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: D_def Y_def Z_def CC_def XX_def EE_def
Actions: []
Variables: D Y Z CC XX EE
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 192000 states
Reachable states exploration and model construction done in 1.486 secs.
Sorting reachable states list...
Time for model construction: 1.662 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_majority.2100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.378 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:44:13 GMT+02:00 2026
Hostname: n23m0032.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4963034/tmp5ret0l10prism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4963034/tmp5ret0l10prism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: D_def Y_def Z_def CC_def XX_def EE_def
Actions: []
Variables: D Y Z CC XX EE
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 192000 states
Reachable states exploration and model construction done in 1.494 secs.
Sorting reachable states list...
Time for model construction: 1.734 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_majority.2100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.081 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:00:14 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964444/tmp_c_kgkxdprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964444/tmp_c_kgkxdprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: D_def Y_def Z_def CC_def XX_def EE_def
Actions: []
Variables: D Y Z CC XX EE
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 192000 states
Reachable states exploration and model construction done in 1.372 secs.
Sorting reachable states list...
Time for model construction: 1.52 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_majority.2100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.486 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:08:49 GMT+02:00 2026
Hostname: n23m0058.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961517/tmpst5n6qsoprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961517/tmpst5n6qsoprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: D_def Y_def Z_def CC_def XX_def EE_def
Actions: []
Variables: D Y Z CC XX EE
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 192000 states
Reachable states exploration and model construction done in 1.393 secs.
Sorting reachable states list...
Time for model construction: 1.736 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_majority.2100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.199 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:17:05 GMT+02:00 2026
Hostname: n23m0252.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965232/tmpf3x842sbprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965232/tmpf3x842sbprism_from-prism_import_ex_majority.2100_tmp_indir_/model.prism"...
Type: CTMC
Modules: D_def Y_def Z_def CC_def XX_def EE_def
Actions: []
Variables: D Y Z CC XX EE
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 192000 states
Reachable states exploration and model construction done in 1.423 secs.
Sorting reachable states list...
Time for model construction: 1.586 seconds.
Type: CTMC
States: 192000 (1 initial)
Transitions: 1961600
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g