Log files for model bluetooth.1 and tool configuration prism_from-prism_to-tra-xz_ex
Log file: prism_from-prism_to-tra-xz_ex_bluetooth.1_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 16.544 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:47:49 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.4955668/tmpx4ud71vjprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955668/tmpl2q938gaprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955668/tmpx4ud71vjprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism"...
Type: DTMC
Modules: receiver1 frequency1 sender_frequency replies
Actions: [] [time] [reply]
Variables: y1 receiver freq1 train1 z1 f1 t1 send freq train c rep rec
Labels: "target"
Rewards: "time"
Building model (engine:explicit)...
Computing reachable states...
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_bluetooth.1_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 16.527 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:25:03 GMT+02:00 2026
Hostname: n23m0336.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957173/tmp7usy5le0prism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957173/tmp667zy5mzprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957173/tmp7usy5le0prism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism"...
Type: DTMC
Modules: receiver1 frequency1 sender_frequency replies
Actions: [] [time] [reply]
Variables: y1 receiver freq1 train1 z1 f1 t1 send freq train c rep rec
Labels: "target"
Rewards: "time"
Building model (engine:explicit)...
Computing reachable states...
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_bluetooth.1_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 20.708 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:35:51 GMT+02:00 2026
Hostname: n23m0060.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955192/tmpovlkxg36prism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955192/tmp_l4v0qovprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955192/tmpovlkxg36prism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism"...
Type: DTMC
Modules: receiver1 frequency1 sender_frequency replies
Actions: [] [time] [reply]
Variables: y1 receiver freq1 train1 z1 f1 t1 send freq train c rep rec
Labels: "target"
Rewards: "time"
Building model (engine:explicit)...
Computing reachable states...
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_bluetooth.1_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 15.996 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:43:15 GMT+02:00 2026
Hostname: r23m0214.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955487/tmpn010knmwprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955487/tmphh_m83anprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955487/tmpn010knmwprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism"...
Type: DTMC
Modules: receiver1 frequency1 sender_frequency replies
Actions: [] [time] [reply]
Variables: y1 receiver freq1 train1 z1 f1 t1 send freq train c rep rec
Labels: "target"
Rewards: "time"
Building model (engine:explicit)...
Computing reachable states...
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.
Log file: prism_from-prism_to-tra-xz_ex_bluetooth.1_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 17.017 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:41:28 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957734/tmpru0_2xm5prism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957734/tmppkaphiepprism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957734/tmpru0_2xm5prism_from-prism_to-tra-xz_ex_bluetooth.1_tmp_indir_/model.prism"...
Type: DTMC
Modules: receiver1 frequency1 sender_frequency replies
Actions: [] [time] [reply]
Variables: y1 receiver freq1 train1 z1 f1 t1 send freq train c rep rec
Labels: "target"
Rewards: "time"
Building model (engine:explicit)...
Computing reachable states...
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: File does not exist.