Log files for model csma.3-4 and tool configuration prism_from-prism_to-umb-gz_ex
[0.655, 0.474, 0.487, 0.516, 0.476]
Log file: prism_from-prism_to-umb-gz_ex_csma.3-4_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: 9.385 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:33:32 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955092/tmpm3tfcpuqprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955092/tmpgvvf8gqtprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955092/tmpm3tfcpuqprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3
Actions: [] [send1] [send2] [send3] [end1] [end2] [end3] [busy1] [busy2] [busy3] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 636617 1318248 1460287 states
Reachable states exploration and model construction done in 6.766 secs.
Sorting reachable states list...
Time for model construction: 8.056 seconds.
Type: MDP
States: 1460287 (1 initial)
Transitions: 2396727
Choices: 1471059
Max/avg: 3/1.01
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955092/tmpgvvf8gqtprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.655 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8529323 bytes
Log file: prism_from-prism_to-umb-gz_ex_csma.3-4_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: 8.555 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:55:56 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955993/tmp_vhggtknprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955993/tmp8nfvu7qfprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955993/tmp_vhggtknprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3
Actions: [] [send1] [send2] [send3] [end1] [end2] [end3] [busy1] [busy2] [busy3] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 692531 1376804 1460287 states
Reachable states exploration and model construction done in 6.365 secs.
Sorting reachable states list...
Time for model construction: 7.481 seconds.
Type: MDP
States: 1460287 (1 initial)
Transitions: 2396727
Choices: 1471059
Max/avg: 3/1.01
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955993/tmp8nfvu7qfprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.474 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8529323 bytes
Log file: prism_from-prism_to-umb-gz_ex_csma.3-4_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: 9.705 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:46:45 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.4957888/tmprp6w7h14prism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957888/tmp_zz5pgniprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957888/tmprp6w7h14prism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3
Actions: [] [send1] [send2] [send3] [end1] [end2] [end3] [busy1] [busy2] [busy3] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 597470 1245637 1460287 states
Reachable states exploration and model construction done in 7.412 secs.
Sorting reachable states list...
Time for model construction: 8.562 seconds.
Type: MDP
States: 1460287 (1 initial)
Transitions: 2396727
Choices: 1471059
Max/avg: 3/1.01
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957888/tmp_zz5pgniprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.487 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8529317 bytes
Log file: prism_from-prism_to-umb-gz_ex_csma.3-4_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: 9.541 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:07 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955454/tmpu2lvfbu9prism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955454/tmpuocaofu8prism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955454/tmpu2lvfbu9prism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3
Actions: [] [send1] [send2] [send3] [end1] [end2] [end3] [busy1] [busy2] [busy3] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 675247 1312046 1460287 states
Reachable states exploration and model construction done in 6.76 secs.
Sorting reachable states list...
Time for model construction: 8.224 seconds.
Type: MDP
States: 1460287 (1 initial)
Transitions: 2396727
Choices: 1471059
Max/avg: 3/1.01
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955454/tmpuocaofu8prism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.516 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8529323 bytes
Log file: prism_from-prism_to-umb-gz_ex_csma.3-4_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: 8.574 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:14:12 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956688/tmpn9u_pqnnprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956688/tmpumwr_42eprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956688/tmpn9u_pqnnprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3
Actions: [] [send1] [send2] [send3] [end1] [end2] [end3] [busy1] [busy2] [busy3] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 687835 1379523 1460287 states
Reachable states exploration and model construction done in 6.436 secs.
Sorting reachable states list...
Time for model construction: 7.514 seconds.
Type: MDP
States: 1460287 (1 initial)
Transitions: 2396727
Choices: 1471059
Max/avg: 3/1.01
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956688/tmpumwr_42eprism_from-prism_to-umb-gz_ex_csma.3-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.476 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 8529303 bytes