Log files for model oscillators.8-10-0.1-1-0.1-1.0 and tool configuration prism_from-prism_to-tra-gz_ex
[0.444, 0.486, 0.499, 0.484, 0.483]
Log file: prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_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: 126.145 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:07 GMT+02:00 2026
Hostname: n23m0055.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955769/tmp50gqlmglprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955769/tmprncq337nprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955769/tmp50gqlmglprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism"...
Type: DTMC
Modules: oscillator_population
Actions: [step]
Variables: k_1 k_2 k_3 k_4 k_5 k_6 k_7 k_8 k_9 k_10
Labels: "target"
Rewards: "time_to_synch"
Building model (engine:explicit)...
Computing reachable states... 545 1195 1850 2510 3169 3825 4482 5147 5810 6474 7118 7740 8320 8888 9456 10026 10593 11161 11736 12311 12886 13456 14026 14597 15170 15742 16316 16889 17463 18038 18615 19194 19777 20358 20942 21528 22114 22703 23296 23888 24311 states
Reachable states exploration and model construction done in 122.285 secs.
Sorting reachable states list...
Time for model construction: 123.104 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955769/tmprncq337nprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 0.444 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 411092 bytes
Log file: prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_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: 118.541 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:18:45 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.4956911/tmpf4e6arbzprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956911/tmpclmi616dprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956911/tmpf4e6arbzprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism"...
Type: DTMC
Modules: oscillator_population
Actions: [step]
Variables: k_1 k_2 k_3 k_4 k_5 k_6 k_7 k_8 k_9 k_10
Labels: "target"
Rewards: "time_to_synch"
Building model (engine:explicit)...
Computing reachable states... 535 1162 1786 2405 3032 3659 4283 4916 5548 6177 6808 7413 8043 8674 9306 9940 10574 11209 11846 12485 13125 13770 14412 15055 15699 16344 16990 17641 18289 18938 19595 20250 20915 21540 22182 22842 23528 24214 24311 states
Reachable states exploration and model construction done in 114.545 secs.
Sorting reachable states list...
Time for model construction: 115.193 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956911/tmpclmi616dprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 0.486 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 411092 bytes
Log file: prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_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: 158.784 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:28:39 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957309/tmpf99eyc_6prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957309/tmp99ycwn69prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957309/tmpf99eyc_6prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism"...
Type: DTMC
Modules: oscillator_population
Actions: [step]
Variables: k_1 k_2 k_3 k_4 k_5 k_6 k_7 k_8 k_9 k_10
Labels: "target"
Rewards: "time_to_synch"
Building model (engine:explicit)...
Computing reachable states... 455 954 1430 1905 2383 2861 3341 3821 4301 4783 5178 5662 6083 6481 6963 7386 7784 8266 8692 9092 9578 10080 10630 11141 11664 12261 12747 13251 13787 14270 14752 15236 15720 16205 16690 17175 17665 18156 18579 18982 19474 19899 20302 20797 21228 21630 22126 22556 22966 23544 24086 24311 states
Reachable states exploration and model construction done in 154.573 secs.
Sorting reachable states list...
Time for model construction: 155.239 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957309/tmp99ycwn69prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 0.499 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 411092 bytes
Log file: prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_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: 120.042 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:01:54 GMT+02:00 2026
Hostname: n23m0306.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958499/tmpj3pbcr4bprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958499/tmpehqzcu0_prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958499/tmpj3pbcr4bprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism"...
Type: DTMC
Modules: oscillator_population
Actions: [step]
Variables: k_1 k_2 k_3 k_4 k_5 k_6 k_7 k_8 k_9 k_10
Labels: "target"
Rewards: "time_to_synch"
Building model (engine:explicit)...
Computing reachable states... 529 1141 1758 2376 2995 3616 4240 4861 5486 6114 6739 7366 7997 8617 9241 9867 10491 11121 11752 12383 13012 13638 14265 14897 15530 16169 16805 17440 18080 18719 19358 20003 20646 21290 21948 22590 23232 23882 24311 states
Reachable states exploration and model construction done in 116.106 secs.
Sorting reachable states list...
Time for model construction: 116.762 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958499/tmpehqzcu0_prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 0.484 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 411092 bytes
Log file: prism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_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: 165.007 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:34:07 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.4955114/tmpz3zhcmjwprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955114/tmp64jlu7ozprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955114/tmpz3zhcmjwprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism"...
Type: DTMC
Modules: oscillator_population
Actions: [step]
Variables: k_1 k_2 k_3 k_4 k_5 k_6 k_7 k_8 k_9 k_10
Labels: "target"
Rewards: "time_to_synch"
Building model (engine:explicit)...
Computing reachable states... 415 834 1230 1699 2123 2521 2983 3413 3841 4353 4848 5326 5804 6280 6750 7220 7693 8167 8641 9080 9541 9943 10381 10841 11245 11688 12145 12549 12990 13448 13883 14402 14893 15375 15855 16334 16815 17295 17777 18257 18733 19142 19630 20053 20455 20943 21372 21774 22259 22691 23098 23582 24074 24311 states
Reachable states exploration and model construction done in 160.647 secs.
Sorting reachable states list...
Time for model construction: 161.468 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955114/tmp64jlu7ozprism_from-prism_to-tra-gz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 0.483 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 411092 bytes