Log files for model bluetooth.1 and tool configuration prism_from-prism_import_ex

Parsed values
[MO, MO, MO, MO, MO]
Log file: prism_from-prism_import_ex_bluetooth.1_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 17.602 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:58:17 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.4967267/tmp0v5t4o5oprism_from-prism_import_ex_bluetooth.1_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4967267/tmp0v5t4o5oprism_from-prism_import_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
Log file: prism_from-prism_import_ex_bluetooth.1_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 16.397 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 08:52:36 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964126/tmpirouaw5yprism_from-prism_import_ex_bluetooth.1_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964126/tmpirouaw5yprism_from-prism_import_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
Log file: prism_from-prism_import_ex_bluetooth.1_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 15.901 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:30:11 GMT+02:00 2026
Hostname: n23m0135.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965946/tmprlrxu6ziprism_from-prism_import_ex_bluetooth.1_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965946/tmprlrxu6ziprism_from-prism_import_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
Log file: prism_from-prism_import_ex_bluetooth.1_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 18.400 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:15:56 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961808/tmp7c9hj4p9prism_from-prism_import_ex_bluetooth.1_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961808/tmp7c9hj4p9prism_from-prism_import_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
Log file: prism_from-prism_import_ex_bluetooth.1_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 20.717 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:43:18 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966568/tmpm6qynsl9prism_from-prism_import_ex_bluetooth.1_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966568/tmpm6qynsl9prism_from-prism_import_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