Log files for model wlan.5-0 and tool configuration prism_from-prism_to-tra_ex
[61393511.0, 61393511.0, 61393511.0, 61393511.0, 61393511.0]
Log file: prism_from-prism_to-tra_ex_wlan.5-0_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 11.882 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:47:50 GMT+02:00 2026
Hostname: n23m0280.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955670/tmpccghu0pmprism_from-prism_to-tra_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955670/tmpd553hf1wprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955670/tmpccghu0pmprism_from-prism_to-tra_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... 547767 1249701 1295218 states
Reachable states exploration and model construction done in 6.185 secs.
Sorting reachable states list...
Time for model construction: 6.983 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955670/tmpd553hf1wprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp"...
Time for exporting: 4.213 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 61393511 bytes
Log file: prism_from-prism_to-tra_ex_wlan.5-0_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 11.625 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:46:13 GMT+02:00 2026
Hostname: r23m0204.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957874/tmpeduq6ioqprism_from-prism_to-tra_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957874/tmpo9rmofrpprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957874/tmpeduq6ioqprism_from-prism_to-tra_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... 552260 1278004 1295218 states
Reachable states exploration and model construction done in 6.08 secs.
Sorting reachable states list...
Time for model construction: 6.866 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957874/tmpo9rmofrpprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp"...
Time for exporting: 4.071 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 61393511 bytes
Log file: prism_from-prism_to-tra_ex_wlan.5-0_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 12.484 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:05:55 GMT+02:00 2026
Hostname: n23m0023.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956396/tmp8owzebfdprism_from-prism_to-tra_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956396/tmpfz9h6ocrprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956396/tmp8owzebfdprism_from-prism_to-tra_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... 515197 1167555 1295218 states
Reachable states exploration and model construction done in 6.582 secs.
Sorting reachable states list...
Time for model construction: 7.425 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956396/tmpfz9h6ocrprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp"...
Time for exporting: 4.312 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 61393511 bytes
Log file: prism_from-prism_to-tra_ex_wlan.5-0_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 12.320 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:44 GMT+02:00 2026
Hostname: n23m0307.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958117/tmp5kqgimzcprism_from-prism_to-tra_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958117/tmp_7_996iaprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958117/tmp5kqgimzcprism_from-prism_to-tra_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... 539126 1218116 1295218 states
Reachable states exploration and model construction done in 6.361 secs.
Sorting reachable states list...
Time for model construction: 7.027 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958117/tmp_7_996iaprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp"...
Time for exporting: 4.545 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 61393511 bytes
Log file: prism_from-prism_to-tra_ex_wlan.5-0_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 10.133 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:40 GMT+02:00 2026
Hostname: n23m0055.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955476/tmp8bx483yjprism_from-prism_to-tra_ex_wlan.5-0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955476/tmp_n3qwrokprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955476/tmp8bx483yjprism_from-prism_to-tra_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... 641801 1295218 states
Reachable states exploration and model construction done in 5.308 secs.
Sorting reachable states list...
Time for model construction: 6.035 seconds.
Type: MDP
States: 1295218 (1 initial)
Transitions: 2929960
Choices: 1646074
Max/avg: 3/1.27
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955476/tmp_n3qwrokprism_from-prism_to-tra_ex_wlan.5-0_tmp_outdir_/model.pexp"...
Time for exporting: 3.56 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 61393511 bytes