Log files for model oscillators.8-10-0.1-1-0.1-1.0 and tool configuration prism_from-umb_import_ex

Parsed values
[0.062, 0.062, 0.164, 0.152, 0.053]
Log file: prism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.351 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:10:46 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4964965/tmpxfm_i88qprism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

Type:        DTMC
Actions:     [step]
Variables:   x
Labels:      "target"
Rewards:     "time_to_synch"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.062 seconds.

Type:        DTMC
States:      24311 (1 initial)
Transitions: 76623


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.333 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:21:14 GMT+02:00 2026
Hostname: n23m0252.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965421/tmpzij_5cikprism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

Type:        DTMC
Actions:     [step]
Variables:   x
Labels:      "target"
Rewards:     "time_to_synch"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.062 seconds.

Type:        DTMC
States:      24311 (1 initial)
Transitions: 76623


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.397 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:06:02 GMT+02:00 2026
Hostname: r23m0211.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4964768/tmp18tc6wodprism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

Type:        DTMC
Actions:     [step]
Variables:   x
Labels:      "target"
Rewards:     "time_to_synch"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.164 seconds.

Type:        DTMC
States:      24311 (1 initial)
Transitions: 76623


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.364 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:29:07 GMT+02:00 2026
Hostname: r23m0199.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel /w0/tmp/slurm_tq429871.4965901/tmpjthqfqr7prism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

Type:        DTMC
Actions:     [step]
Variables:   x
Labels:      "target"
Rewards:     "time_to_synch"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.152 seconds.

Type:        DTMC
States:      24311 (1 initial)
Transitions: 76623


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.umb
Wallclock time: 1.376 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:32:38 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 -importmodel /w0/tmp/slurm_tq429871.4962507/tmpdaj6lt9oprism_from-umb_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/prism.model.umb

Importing model from "prism.model.umb"...

Type:        DTMC
Actions:     [step]
Variables:   x
Labels:      "target"
Rewards:     "time_to_synch"

---------------------------------------------------------------------

Building model (engine:explicit)...

Time for model construction: 0.053 seconds.

Type:        DTMC
States:      24311 (1 initial)
Transitions: 76623


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g