Log files for model cluster.128-2000-20 and tool configuration prism_from-prism_import_ex
[3.426, 3.256, 3.48, 3.03, 3.327]
Log file: prism_from-prism_import_ex_cluster.128-2000-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 4.089 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:59:12 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964381/tmpxt7_dr4lprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964381/tmpxt7_dr4lprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism"...
Type: CTMC
Modules: Left Right Repairman Line ToLeft ToRight
Actions: [] [startLeft] [repairLeft] [startRight] [repairRight] [startToLeft] [startToRight] [startLine] [repairToLeft] [repairToRight] [repairLine]
Variables: left_n left right_n right r line line_n toleft toleft_n toright toright_n
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 597012 states
Reachable states exploration and model construction done in 2.999 secs.
Sorting reachable states list...
Time for model construction: 3.426 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_cluster.128-2000-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 3.911 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:44:12 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4963025/tmpq0jbme2hprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4963025/tmpq0jbme2hprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism"...
Type: CTMC
Modules: Left Right Repairman Line ToLeft ToRight
Actions: [] [startLeft] [repairLeft] [startRight] [repairRight] [startToLeft] [startToRight] [startLine] [repairToLeft] [repairToRight] [repairLine]
Variables: left_n left right_n right r line line_n toleft toleft_n toright toright_n
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 597012 states
Reachable states exploration and model construction done in 2.789 secs.
Sorting reachable states list...
Time for model construction: 3.256 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_cluster.128-2000-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 4.220 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:05:31 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 /w0/tmp/slurm_tq429871.4964729/tmpxsj94lcdprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964729/tmpxsj94lcdprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism"...
Type: CTMC
Modules: Left Right Repairman Line ToLeft ToRight
Actions: [] [startLeft] [repairLeft] [startRight] [repairRight] [startToLeft] [startToRight] [startLine] [repairToLeft] [repairToRight] [repairLine]
Variables: left_n left right_n right r line line_n toleft toleft_n toright toright_n
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 581320 597012 states
Reachable states exploration and model construction done in 3.142 secs.
Sorting reachable states list...
Time for model construction: 3.48 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_cluster.128-2000-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 3.647 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:51:48 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 /w0/tmp/slurm_tq429871.4966980/tmp7hi7hhnaprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966980/tmp7hi7hhnaprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism"...
Type: CTMC
Modules: Left Right Repairman Line ToLeft ToRight
Actions: [] [startLeft] [repairLeft] [startRight] [repairRight] [startToLeft] [startToRight] [startLine] [repairToLeft] [repairToRight] [repairLine]
Variables: left_n left right_n right r line line_n toleft toleft_n toright toright_n
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 597012 states
Reachable states exploration and model construction done in 2.565 secs.
Sorting reachable states list...
Time for model construction: 3.03 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_cluster.128-2000-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 3.961 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:15:29 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965163/tmpuad58h1wprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965163/tmpuad58h1wprism_from-prism_import_ex_cluster.128-2000-20_tmp_indir_/model.prism"...
Type: CTMC
Modules: Left Right Repairman Line ToLeft ToRight
Actions: [] [startLeft] [repairLeft] [startRight] [repairRight] [startToLeft] [startToRight] [startLine] [repairToLeft] [repairToRight] [repairLine]
Variables: left_n left right_n right r line line_n toleft toleft_n toright toright_n
Labels: "minimum"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 597012 states
Reachable states exploration and model construction done in 2.917 secs.
Sorting reachable states list...
Time for model construction: 3.327 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g