Log files for model csma.4-2 and tool configuration prism_from-prism_to-tra-gz_ex
[3.744, 3.486, 3.262, 3.59, 3.513]
Log file: prism_from-prism_to-tra-gz_ex_csma.4-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 9.798 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:43:20 GMT+02:00 2026
Hostname: n23m0293.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957810/tmp_dl98hobprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957810/tmpdkllykqlprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957810/tmp_dl98hobprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3 station4
Actions: [] [send1] [send2] [send3] [send4] [end1] [end2] [end3] [end4] [busy1] [busy2] [busy3] [busy4] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3 s4 x4 bc4 cd4
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 506522 761962 states
Reachable states exploration and model construction done in 4.544 secs.
Sorting reachable states list...
Time for model construction: 5.344 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957810/tmpdkllykqlprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp"...
Time for exporting: 3.744 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 5994753 bytes
Log file: prism_from-prism_to-tra-gz_ex_csma.4-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 9.151 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:14:12 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.4956691/tmpx1gw0_slprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956691/tmpnps4x5a0prism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956691/tmpx1gw0_slprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3 station4
Actions: [] [send1] [send2] [send3] [send4] [end1] [end2] [end3] [end4] [busy1] [busy2] [busy3] [busy4] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3 s4 x4 bc4 cd4
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 534225 761962 states
Reachable states exploration and model construction done in 4.303 secs.
Sorting reachable states list...
Time for model construction: 5.009 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956691/tmpnps4x5a0prism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp"...
Time for exporting: 3.486 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 5994753 bytes
Log file: prism_from-prism_to-tra-gz_ex_csma.4-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 8.933 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:43:49 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.4955519/tmpqab5q8uwprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955519/tmpramvo2fdprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955519/tmpqab5q8uwprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3 station4
Actions: [] [send1] [send2] [send3] [send4] [end1] [end2] [end3] [end4] [busy1] [busy2] [busy3] [busy4] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3 s4 x4 bc4 cd4
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 546655 761962 states
Reachable states exploration and model construction done in 4.239 secs.
Sorting reachable states list...
Time for model construction: 5.037 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955519/tmpramvo2fdprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp"...
Time for exporting: 3.262 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 5994753 bytes
Log file: prism_from-prism_to-tra-gz_ex_csma.4-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 9.345 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:40:53 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.4957690/tmpfu9jctkjprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957690/tmptf6gyrh7prism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957690/tmpfu9jctkjprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3 station4
Actions: [] [send1] [send2] [send3] [send4] [end1] [end2] [end3] [end4] [busy1] [busy2] [busy3] [busy4] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3 s4 x4 bc4 cd4
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 528345 761962 states
Reachable states exploration and model construction done in 4.371 secs.
Sorting reachable states list...
Time for model construction: 5.09 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957690/tmptf6gyrh7prism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp"...
Time for exporting: 3.59 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 5994753 bytes
Log file: prism_from-prism_to-tra-gz_ex_csma.4-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 9.389 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:08 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.4955768/tmpbr36wabsprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955768/tmpi3xrztcoprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955768/tmpbr36wabsprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_indir_/model.prism"...
Type: MDP
Modules: bus station1 station2 station3 station4
Actions: [] [send1] [send2] [send3] [send4] [end1] [end2] [end3] [end4] [busy1] [busy2] [busy3] [busy4] [cd] [time]
Variables: b y1 y2 s1 x1 bc1 cd1 s2 x2 bc2 cd2 s3 x3 bc3 cd3 s4 x4 bc4 cd4
Labels: "all_delivered" "collision_max_backoff"
Building model (engine:explicit)...
Computing reachable states... 502978 761962 states
Reachable states exploration and model construction done in 4.468 secs.
Sorting reachable states list...
Time for model construction: 5.223 seconds.
Type: MDP
States: 761962 (1 initial)
Transitions: 1327068
Choices: 825504
Max/avg: 4/1.08
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955768/tmpi3xrztcoprism_from-prism_to-tra-gz_ex_csma.4-2_tmp_outdir_/model.pexp"...
Time for exporting: 3.513 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 5994753 bytes