Log kanban.5_prism_from-prism_to-tra

Log file: prism_from-prism_to-tra_ex_kanban.5_rep1.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 64.938 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 00:00:46 GMT+02:00 2026
Hostname: n23m0102.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958431/tmpk03_khbiprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958431/tmpgu3v3zmhprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958431/tmpk03_khbiprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     k1 k2 k3 k4
Actions:     [] [in] [s1] [s2]
Variables:   w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards:     "throughput"

Building model (engine:explicit)...

Computing reachable states... 346640 643749 918897 1170905 1416925 1650264 1903638 2148303 2405683 2546432 states
Reachable states exploration and model construction done in 28.155 secs.
Sorting reachable states list...

Time for model construction: 31.848 seconds.

Type:        CTMC
States:      2546432 (1 initial)
Transitions: 24460016

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958431/tmpgu3v3zmhprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp"...
Time for exporting: 32.328 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	Size of output file is 515012604 bytes

Log file: prism_from-prism_to-tra_ex_kanban.5_rep2.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 61.532 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:57:19 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958288/tmp0lj_u8puprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958288/tmpm9yx_n9sprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958288/tmp0lj_u8puprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     k1 k2 k3 k4
Actions:     [] [in] [s1] [s2]
Variables:   w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards:     "throughput"

Building model (engine:explicit)...

Computing reachable states... 358905 686370 981524 1262265 1531013 1799900 2082659 2367587 2546432 states
Reachable states exploration and model construction done in 25.561 secs.
Sorting reachable states list...

Time for model construction: 29.08 seconds.

Type:        CTMC
States:      2546432 (1 initial)
Transitions: 24460016

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958288/tmpm9yx_n9sprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp"...
Time for exporting: 31.782 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	Size of output file is 515012604 bytes

Log file: prism_from-prism_to-tra_ex_kanban.5_rep3.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 67.415 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:51:53 GMT+02:00 2026
Hostname: n23m0280.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955843/tmp49vh6zclprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955843/tmp233aj4kbprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955843/tmp49vh6zclprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     k1 k2 k3 k4
Actions:     [] [in] [s1] [s2]
Variables:   w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards:     "throughput"

Building model (engine:explicit)...

Computing reachable states... 336495 625062 904349 1156102 1414436 1643474 1886854 2130854 2403262 2546432 states
Reachable states exploration and model construction done in 28.582 secs.
Sorting reachable states list...

Time for model construction: 32.393 seconds.

Type:        CTMC
States:      2546432 (1 initial)
Transitions: 24460016

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955843/tmp233aj4kbprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp"...
Time for exporting: 34.303 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	Size of output file is 515012604 bytes

Log file: prism_from-prism_to-tra_ex_kanban.5_rep4.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 62.923 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:46:08 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955613/tmpg2cij1y3prism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955613/tmp6oh5y7paprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955613/tmpg2cij1y3prism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     k1 k2 k3 k4
Actions:     [] [in] [s1] [s2]
Variables:   w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards:     "throughput"

Building model (engine:explicit)...

Computing reachable states... 358660 682625 980712 1258773 1519608 1773554 2053302 2341344 2546432 states
Reachable states exploration and model construction done in 25.93 secs.
Sorting reachable states list...

Time for model construction: 29.381 seconds.

Type:        CTMC
States:      2546432 (1 initial)
Transitions: 24460016

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955613/tmp6oh5y7paprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp"...
Time for exporting: 32.879 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	Size of output file is 515012604 bytes

Log file: prism_from-prism_to-tra_ex_kanban.5_rep5.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 68.008 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:07:41 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956478/tmp2v0xawkeprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956478/tmpkxh56e1jprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956478/tmp2v0xawkeprism_from-prism_to-tra_ex_kanban.5_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     k1 k2 k3 k4
Actions:     [] [in] [s1] [s2]
Variables:   w1 x1 y1 z1 w2 x2 y2 z2 w3 x3 y3 z3 w4 x4 y4 z4
Rewards:     "throughput"

Building model (engine:explicit)...

Computing reachable states... 336958 633385 914634 1144872 1378350 1579980 1806045 2035733 2238392 2536749 2546432 states
Reachable states exploration and model construction done in 30.111 secs.
Sorting reachable states list...

Time for model construction: 34.05 seconds.

Type:        CTMC
States:      2546432 (1 initial)
Transitions: 24460016

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956478/tmpkxh56e1jprism_from-prism_to-tra_ex_kanban.5_tmp_outdir_/model.pexp"...
Time for exporting: 33.251 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	Size of output file is 515012604 bytes

Log files for model kanban.5 and tool configuration prism_from-prism_to-tra_ex