Log files for model wlan.5-0 and tool configuration prism_from-prism_to-umb-xz_ex
[18.15, 18.125, 18.911, 19.121, 19.33]
Log file: prism_from-prism_to-umb-xz_ex_wlan.5-0_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 25.744 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:42 GMT+02:00 2026
Hostname: r23m0212.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955779/tmpxpn8lwluprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955779/tmpo25fhjt3prism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955779/tmpxpn8lwluprism_from-prism_to-umb-xz_ex_wlan.5-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... 546271 1273295 1295218 states
Reachable states exploration and model construction done in 6.117 secs.
Sorting reachable states list...
Time for model construction: 6.955 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955779/tmpo25fhjt3prism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz"...
Time for exporting: 18.15 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1709700 bytes
Log file: prism_from-prism_to-umb-xz_ex_wlan.5-0_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 25.630 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:51:18 GMT+02:00 2026
Hostname: r23m0212.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955802/tmpruffqlixprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955802/tmpq4krf57aprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955802/tmpruffqlixprism_from-prism_to-umb-xz_ex_wlan.5-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... 545949 1255294 1295218 states
Reachable states exploration and model construction done in 6.18 secs.
Sorting reachable states list...
Time for model construction: 6.887 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955802/tmpq4krf57aprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz"...
Time for exporting: 18.125 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1709700 bytes
Log file: prism_from-prism_to-umb-xz_ex_wlan.5-0_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 29.897 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:36:37 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957556/tmp_lawoumjprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957556/tmp2v4x8ig8prism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957556/tmp_lawoumjprism_from-prism_to-umb-xz_ex_wlan.5-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... 567486 1294477 1295218 states
Reachable states exploration and model construction done in 6.008 secs.
Sorting reachable states list...
Time for model construction: 6.833 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957556/tmp2v4x8ig8prism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz"...
Time for exporting: 18.911 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1709700 bytes
Log file: prism_from-prism_to-umb-xz_ex_wlan.5-0_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 26.656 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:07 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955455/tmpisvd9i2iprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955455/tmpandfctmxprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955455/tmpisvd9i2iprism_from-prism_to-umb-xz_ex_wlan.5-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... 556748 1279948 1295218 states
Reachable states exploration and model construction done in 6.072 secs.
Sorting reachable states list...
Time for model construction: 6.893 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955455/tmpandfctmxprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz"...
Time for exporting: 19.121 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1709700 bytes
Log file: prism_from-prism_to-umb-xz_ex_wlan.5-0_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 27.198 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:51:35 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958050/tmpxl2ue4lqprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958050/tmp4844q3cnprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958050/tmpxl2ue4lqprism_from-prism_to-umb-xz_ex_wlan.5-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... 561016 1221299 1295218 states
Reachable states exploration and model construction done in 6.314 secs.
Sorting reachable states list...
Time for model construction: 7.241 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958050/tmp4844q3cnprism_from-prism_to-umb-xz_ex_wlan.5-0_tmp_outdir_/model.umbxz"...
Time for exporting: 19.33 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1714688 bytes