Log files for model wlan.6-0 and tool configuration prism_from-prism_to-umb_ex
[0.423, 0.418, 0.397, 0.533, 0.384]
Log file: prism_from-prism_to-umb_ex_wlan.6-0_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 27.719 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:55:21 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955963/tmphh32cn2oprism_from-prism_to-umb_ex_wlan.6-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955963/tmpioy6futaprism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955963/tmphh32cn2oprism_from-prism_to-umb_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... 534528 1210176 1684592 2186630 2585638 3255316 4188642 5007548 states
Reachable states exploration and model construction done in 23.994 secs.
Sorting reachable states list...
Time for model construction: 26.669 seconds.
Type: MDP
States: 5007548 (1 initial)
Transitions: 11475748
Choices: 6350470
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955963/tmpioy6futaprism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb"...
Time for exporting: 0.423 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 301139968 bytes
Log file: prism_from-prism_to-umb_ex_wlan.6-0_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 30.946 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:57:07 GMT+02:00 2026
Hostname: n23m0301.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956048/tmpqjmjr_j8prism_from-prism_to-umb_ex_wlan.6-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956048/tmpo91k5mxuprism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956048/tmpqjmjr_j8prism_from-prism_to-umb_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... 515035 1109999 1665436 2076090 2566798 2826148 3692705 4486829 5007548 states
Reachable states exploration and model construction done in 26.422 secs.
Sorting reachable states list...
Time for model construction: 29.88 seconds.
Type: MDP
States: 5007548 (1 initial)
Transitions: 11475748
Choices: 6350470
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956048/tmpo91k5mxuprism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb"...
Time for exporting: 0.418 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 301139968 bytes
Log file: prism_from-prism_to-umb_ex_wlan.6-0_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 28.064 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:53:01 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955882/tmpj0_9o78dprism_from-prism_to-umb_ex_wlan.6-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955882/tmpsdrni2deprism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955882/tmpj0_9o78dprism_from-prism_to-umb_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... 543854 1184144 1693317 2235037 2596377 3332820 4232088 5007548 states
Reachable states exploration and model construction done in 23.783 secs.
Sorting reachable states list...
Time for model construction: 26.819 seconds.
Type: MDP
States: 5007548 (1 initial)
Transitions: 11475748
Choices: 6350470
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955882/tmpsdrni2deprism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb"...
Time for exporting: 0.397 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 301139968 bytes
Log file: prism_from-prism_to-umb_ex_wlan.6-0_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 30.241 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:34:42 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.4955147/tmpgv7b8avfprism_from-prism_to-umb_ex_wlan.6-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955147/tmpououcfd2prism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955147/tmpgv7b8avfprism_from-prism_to-umb_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... 519912 1047100 1649519 2061623 2567105 2901964 3773348 4614213 5007548 states
Reachable states exploration and model construction done in 25.855 secs.
Sorting reachable states list...
Time for model construction: 28.946 seconds.
Type: MDP
States: 5007548 (1 initial)
Transitions: 11475748
Choices: 6350470
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955147/tmpououcfd2prism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb"...
Time for exporting: 0.533 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 301139968 bytes
Log file: prism_from-prism_to-umb_ex_wlan.6-0_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 28.519 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:54:46 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.4955950/tmpdkdjp610prism_from-prism_to-umb_ex_wlan.6-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955950/tmpl4ajpbv0prism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955950/tmpdkdjp610prism_from-prism_to-umb_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... 546283 1204173 1681522 2178323 2588210 3206743 4105495 4955820 5007548 states
Reachable states exploration and model construction done in 24.305 secs.
Sorting reachable states list...
Time for model construction: 27.471 seconds.
Type: MDP
States: 5007548 (1 initial)
Transitions: 11475748
Choices: 6350470
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955950/tmpl4ajpbv0prism_from-prism_to-umb_ex_wlan.6-0_tmp_outdir_/model.umb"...
Time for exporting: 0.384 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 301139968 bytes