Log wlan.6-0_prism_from-prism_import

Log file: prism_from-prism_import_ex_wlan.6-0_rep1.log

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

Version: 4.11
Date: Tue Oct 13 07:10:58 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961610/tmprm434_12prism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961610/tmprm434_12prism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism"...

Type:        MDP
Modules:     medium station1 station2
Actions:     [] [send1] [send2] [finish1] [finish2] [time]
Variables:   col c1 c2 x1 s1 slot1 backoff1 bc1 x2 s2 slot2 backoff2 bc2
Labels:      "target"

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

Building model (engine:explicit)...

Computing reachable states... 527543 1147096 1670568 2167672 2588534 3316339 4188392 5007548 states
Reachable states exploration and model construction done in 24.179 secs.
Sorting reachable states list...

Time for model construction: 26.914 seconds.

Type:        MDP
States:      5007548 (1 initial)
Transitions: 11475748
Choices:     6350470
Max/avg:     3/1.27


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

Log file: prism_from-prism_import_ex_wlan.6-0_rep2.log

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

Version: 4.11
Date: Tue Oct 13 09:27:32 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 /w0/tmp/slurm_tq429871.4965821/tmp41kenmkqprism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965821/tmp41kenmkqprism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism"...

Type:        MDP
Modules:     medium station1 station2
Actions:     [] [send1] [send2] [finish1] [finish2] [time]
Variables:   col c1 c2 x1 s1 slot1 backoff1 bc1 x2 s2 slot2 backoff2 bc2
Labels:      "target"

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

Building model (engine:explicit)...

Computing reachable states... 536958 1160999 1690717 2213565 2592907 3314445 4215880 5007548 states
Reachable states exploration and model construction done in 23.857 secs.
Sorting reachable states list...

Time for model construction: 27.009 seconds.

Type:        MDP
States:      5007548 (1 initial)
Transitions: 11475748
Choices:     6350470
Max/avg:     3/1.27


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

Log file: prism_from-prism_import_ex_wlan.6-0_rep3.log

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

Version: 4.11
Date: Tue Oct 13 09:07:07 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 /w0/tmp/slurm_tq429871.4964804/tmp2zdekgfdprism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964804/tmp2zdekgfdprism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism"...

Type:        MDP
Modules:     medium station1 station2
Actions:     [] [send1] [send2] [finish1] [finish2] [time]
Variables:   col c1 c2 x1 s1 slot1 backoff1 bc1 x2 s2 slot2 backoff2 bc2
Labels:      "target"

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

Building model (engine:explicit)...

Computing reachable states... 523567 1154593 1676457 2148599 2577792 2861680 3691955 4543781 5007548 states
Reachable states exploration and model construction done in 26.578 secs.
Sorting reachable states list...

Time for model construction: 29.435 seconds.

Type:        MDP
States:      5007548 (1 initial)
Transitions: 11475748
Choices:     6350470
Max/avg:     3/1.27


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

Log file: prism_from-prism_import_ex_wlan.6-0_rep4.log

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

Version: 4.11
Date: Tue Oct 13 07:33:44 GMT+02:00 2026
Hostname: n23m0049.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962564/tmp8kpxh7a5prism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962564/tmp8kpxh7a5prism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism"...

Type:        MDP
Modules:     medium station1 station2
Actions:     [] [send1] [send2] [finish1] [finish2] [time]
Variables:   col c1 c2 x1 s1 slot1 backoff1 bc1 x2 s2 slot2 backoff2 bc2
Labels:      "target"

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

Building model (engine:explicit)...

Computing reachable states... 526930 1123424 1652706 2072602 2569928 2841897 3704628 4551400 5007548 states
Reachable states exploration and model construction done in 26.05 secs.
Sorting reachable states list...

Time for model construction: 28.822 seconds.

Type:        MDP
States:      5007548 (1 initial)
Transitions: 11475748
Choices:     6350470
Max/avg:     3/1.27


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

Log file: prism_from-prism_import_ex_wlan.6-0_rep5.log

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

Version: 4.11
Date: Tue Oct 13 08:58:08 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.4964338/tmp36oc_a91prism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964338/tmp36oc_a91prism_from-prism_import_ex_wlan.6-0_tmp_indir_/model.prism"...

Type:        MDP
Modules:     medium station1 station2
Actions:     [] [send1] [send2] [finish1] [finish2] [time]
Variables:   col c1 c2 x1 s1 slot1 backoff1 bc1 x2 s2 slot2 backoff2 bc2
Labels:      "target"

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

Building model (engine:explicit)...

Computing reachable states... 570460 1245443 1708690 2321867 2627786 3518096 4466461 5007548 states
Reachable states exploration and model construction done in 23.001 secs.
Sorting reachable states list...

Time for model construction: 25.99 seconds.

Type:        MDP
States:      5007548 (1 initial)
Transitions: 11475748
Choices:     6350470
Max/avg:     3/1.27


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

Log files for model wlan.6-0 and tool configuration prism_from-prism_import_ex