[0.286, 0.299, 0.296, 0.265, 0.275]

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

Version: 4.11
Date: Tue Oct 13 07:46:58 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4963157/tmpsdhq5be8prism_from-umb-xz_import_ex_firewire.false-36-800_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

Type:        MDP
Actions:     [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables:   x
Labels:      "done"
Rewards:     "time"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.286 seconds.

Type:        MDP
States:      212268 (1 initial)
Transitions: 481790
Choices:     478754
Max/avg:     3/2.26


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

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

Version: 4.11
Date: Tue Oct 13 08:56:04 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 -importmodel '/w0/tmp/slurm_tq429871.4964225/tmplyuejo33prism_from-umb-xz_import_ex_firewire.false-36-800_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

Type:        MDP
Actions:     [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables:   x
Labels:      "done"
Rewards:     "time"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.299 seconds.

Type:        MDP
States:      212268 (1 initial)
Transitions: 481790
Choices:     478754
Max/avg:     3/2.26


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

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

Version: 4.11
Date: Tue Oct 13 09:06:34 GMT+02:00 2026
Hostname: r23m0202.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964786/tmpnh_l7h3bprism_from-umb-xz_import_ex_firewire.false-36-800_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

Type:        MDP
Actions:     [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables:   x
Labels:      "done"
Rewards:     "time"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.296 seconds.

Type:        MDP
States:      212268 (1 initial)
Transitions: 481790
Choices:     478754
Max/avg:     3/2.26


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

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

Version: 4.11
Date: Tue Oct 13 07:08:16 GMT+02:00 2026
Hostname: n23m0044.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4961482/tmp589g1azyprism_from-umb-xz_import_ex_firewire.false-36-800_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

Type:        MDP
Actions:     [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables:   x
Labels:      "done"
Rewards:     "time"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.265 seconds.

Type:        MDP
States:      212268 (1 initial)
Transitions: 481790
Choices:     478754
Max/avg:     3/2.26


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

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

Version: 4.11
Date: Tue Oct 13 09:11:17 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 -importmodel '/w0/tmp/slurm_tq429871.4964992/tmpi92yeb30prism_from-umb-xz_import_ex_firewire.false-36-800_tmp_indir_/prism.model.umbxz:format=umb'

Importing model from "prism.model.umbxz"...

Type:        MDP
Actions:     [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables:   x
Labels:      "done"
Rewards:     "time"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.275 seconds.

Type:        MDP
States:      212268 (1 initial)
Transitions: 481790
Choices:     478754
Max/avg:     3/2.26


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