Log kanban.5_prism_from-prism_import

Log file: prism_from-prism_import_ex_kanban.5_rep1.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 30.372 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:37:32 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.4966310/tmploz7iabwprism_from-prism_import_ex_kanban.5_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966310/tmploz7iabwprism_from-prism_import_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... 353945 669648 966855 1243489 1490167 1753948 2023448 2309094 2546432 states
Reachable states exploration and model construction done in 26.132 secs.
Sorting reachable states list...

Time for model construction: 29.731 seconds.

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


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

Log file: prism_from-prism_import_ex_kanban.5_rep2.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 28.955 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:02:23 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964583/tmpxffof4fqprism_from-prism_import_ex_kanban.5_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964583/tmpxffof4fqprism_from-prism_import_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... 368444 699767 996326 1283366 1557699 1840138 2122363 2436239 2546432 states
Reachable states exploration and model construction done in 24.913 secs.
Sorting reachable states list...

Time for model construction: 28.308 seconds.

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


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

Log file: prism_from-prism_import_ex_kanban.5_rep3.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 29.842 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:09:22 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.4961539/tmp6tsd7jpmprism_from-prism_import_ex_kanban.5_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961539/tmp6tsd7jpmprism_from-prism_import_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... 359222 684028 980003 1259968 1527276 1793002 2074460 2372933 2546432 states
Reachable states exploration and model construction done in 25.652 secs.
Sorting reachable states list...

Time for model construction: 29.211 seconds.

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


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

Log file: prism_from-prism_import_ex_kanban.5_rep4.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 30.418 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:36:30 GMT+02:00 2026
Hostname: r23m0198.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966278/tmpghdmh6beprism_from-prism_import_ex_kanban.5_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966278/tmpghdmh6beprism_from-prism_import_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... 386336 709719 1012306 1284012 1575521 1853059 2156155 2486809 2546432 states
Reachable states exploration and model construction done in 24.473 secs.
Sorting reachable states list...

Time for model construction: 28.254 seconds.

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


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

Log file: prism_from-prism_import_ex_kanban.5_rep5.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 33.968 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:21:24 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.4962031/tmp_ezmkw7yprism_from-prism_import_ex_kanban.5_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962031/tmp_ezmkw7yprism_from-prism_import_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... 337423 631313 910622 1149114 1394073 1633855 1864386 2101733 2323618 2546432 states
Reachable states exploration and model construction done in 29.359 secs.
Sorting reachable states list...

Time for model construction: 33.228 seconds.

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


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

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