Log files for model wlan.4-0 and tool configuration prism_from-prism_to-umb-gz_ex
[2561294.0, 2561294.0, 2561294.0, 2561294.0, 2561294.0]
Log file: prism_from-prism_to-umb-gz_ex_wlan.4-0_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 2.715 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:22:45 GMT+02:00 2026
Hostname: n23m0327.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957083/tmpt2a39gwwprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957083/tmpmes67wfuprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957083/tmpt2a39gwwprism_from-prism_to-umb-gz_ex_wlan.4-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... 345000 states
Reachable states exploration and model construction done in 1.612 secs.
Sorting reachable states list...
Time for model construction: 1.894 seconds.
Type: MDP
States: 345000 (1 initial)
Transitions: 762252
Choices: 440206
Max/avg: 3/1.28
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957083/tmpmes67wfuprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz"...
Time for exporting: 0.231 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 2561294 bytes
Log file: prism_from-prism_to-umb-gz_ex_wlan.4-0_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 2.890 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:58:54 GMT+02:00 2026
Hostname: n23m0313.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956120/tmp_7p2168fprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956120/tmpofm8dw99prism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956120/tmp_7p2168fprism_from-prism_to-umb-gz_ex_wlan.4-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... 345000 states
Reachable states exploration and model construction done in 1.574 secs.
Sorting reachable states list...
Time for model construction: 1.931 seconds.
Type: MDP
States: 345000 (1 initial)
Transitions: 762252
Choices: 440206
Max/avg: 3/1.28
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956120/tmpofm8dw99prism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz"...
Time for exporting: 0.297 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 2561294 bytes
Log file: prism_from-prism_to-umb-gz_ex_wlan.4-0_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 2.555 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:56:44 GMT+02:00 2026
Hostname: n23m0306.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958273/tmp_4_2mht0prism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958273/tmp14az0izxprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958273/tmp_4_2mht0prism_from-prism_to-umb-gz_ex_wlan.4-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... 345000 states
Reachable states exploration and model construction done in 1.468 secs.
Sorting reachable states list...
Time for model construction: 1.737 seconds.
Type: MDP
States: 345000 (1 initial)
Transitions: 762252
Choices: 440206
Max/avg: 3/1.28
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958273/tmp14az0izxprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz"...
Time for exporting: 0.23 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 2561294 bytes
Log file: prism_from-prism_to-umb-gz_ex_wlan.4-0_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 2.673 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:57:44 GMT+02:00 2026
Hostname: n23m0242.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956064/tmpf8sp3ds1prism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956064/tmpix_nusm5prism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956064/tmpf8sp3ds1prism_from-prism_to-umb-gz_ex_wlan.4-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... 345000 states
Reachable states exploration and model construction done in 1.503 secs.
Sorting reachable states list...
Time for model construction: 1.822 seconds.
Type: MDP
States: 345000 (1 initial)
Transitions: 762252
Choices: 440206
Max/avg: 3/1.28
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956064/tmpix_nusm5prism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz"...
Time for exporting: 0.233 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 2561294 bytes
Log file: prism_from-prism_to-umb-gz_ex_wlan.4-0_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 2.749 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:44 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958100/tmpqknp1qzeprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958100/tmphjknx1woprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958100/tmpqknp1qzeprism_from-prism_to-umb-gz_ex_wlan.4-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... 345000 states
Reachable states exploration and model construction done in 1.601 secs.
Sorting reachable states list...
Time for model construction: 1.91 seconds.
Type: MDP
States: 345000 (1 initial)
Transitions: 762252
Choices: 440206
Max/avg: 3/1.28
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958100/tmphjknx1woprism_from-prism_to-umb-gz_ex_wlan.4-0_tmp_outdir_/model.umbgz"...
Time for exporting: 0.228 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 2561294 bytes