Log files for model cluster.128-2000-20 and tool configuration prism_from-prism_to-tra-xz_ex
[5818304.0, 5818304.0, 5818304.0, 5818304.0, 5818304.0]
Log file: prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 44.509 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:41:33 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955429/tmp4np3ciwrprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955429/tmp5vocm4vmprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955429/tmp4np3ciwrprism_from-prism_to-tra-xz_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.767 secs.
Sorting reachable states list...
Time for model construction: 3.224 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955429/tmp5vocm4vmprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp"...
Time for exporting: 40.615 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5818304 bytes
Log file: prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 44.218 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:19:52 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 /w0/tmp/slurm_tq429871.4956956/tmpi80n7hy1prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956956/tmp1f7a3lkyprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956956/tmpi80n7hy1prism_from-prism_to-tra-xz_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.81 secs.
Sorting reachable states list...
Time for model construction: 3.279 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956956/tmp1f7a3lkyprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp"...
Time for exporting: 40.298 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5818304 bytes
Log file: prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 53.860 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:38:41 GMT+02:00 2026
Hostname: n23m0071.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955309/tmp5z8ky4goprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955309/tmp5vzl34glprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955309/tmp5z8ky4goprism_from-prism_to-tra-xz_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.851 secs.
Sorting reachable states list...
Time for model construction: 3.24 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955309/tmp5vzl34glprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp"...
Time for exporting: 49.978 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5818304 bytes
Log file: prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 52.573 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:44:30 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 /w0/tmp/slurm_tq429871.4957852/tmp88lo8ysmprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957852/tmpryvtczobprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957852/tmp88lo8ysmprism_from-prism_to-tra-xz_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... 596125 597012 states
Reachable states exploration and model construction done in 3.075 secs.
Sorting reachable states list...
Time for model construction: 3.464 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957852/tmpryvtczobprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp"...
Time for exporting: 48.463 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5818304 bytes
Log file: prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 55.467 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:28:59 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.4954903/tmp52qeec5iprism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954903/tmped_v7rc9prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954903/tmp52qeec5iprism_from-prism_to-tra-xz_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.899 secs.
Sorting reachable states list...
Time for model construction: 3.36 seconds.
Type: CTMC
States: 597012 (1 initial)
Transitions: 2908192
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954903/tmped_v7rc9prism_from-prism_to-tra-xz_ex_cluster.128-2000-20_tmp_outdir_/model.pexp"...
Time for exporting: 49.772 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5818304 bytes