Log files for model oscillators.8-10-0.1-1-0.1-1.0 and tool configuration prism_from-prism_to-tra-xz_ex
[1.869, 1.732, 1.797, 1.805, 1.748]
Log file: prism_from-prism_to-tra-xz_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.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 166.323 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:28:03 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957289/tmp8ts9lcuiprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957289/tmp02kcaw7uprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957289/tmp8ts9lcuiprism_from-prism_to-tra-xz_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... 490 972 1454 1936 2395 2790 3165 3636 4043 4437 4908 5325 5711 6166 6585 6993 7516 8013 8515 9068 9546 10012 10521 10987 11455 11922 12390 12858 13324 13795 14268 14738 15129 15534 16003 16397 16802 17274 17664 18073 18540 18929 19340 19844 20345 20812 21279 21747 22215 22685 23158 23634 24108 24311 states
Reachable states exploration and model construction done in 160.612 secs.
Sorting reachable states list...
Time for model construction: 161.359 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957289/tmp02kcaw7uprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 1.869 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 222912 bytes
Log file: prism_from-prism_to-tra-xz_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.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 122.043 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:17:04 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956840/tmps7zkaer4prism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956840/tmpdzr9xxhbprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956840/tmps7zkaer4prism_from-prism_to-tra-xz_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... 543 1150 1725 2325 2947 3585 4188 4775 5393 6013 6631 7251 7870 8490 9112 9735 10361 10997 11630 12260 12901 13533 14164 14805 15442 16075 16720 17361 17991 18597 19237 19880 20521 21164 21808 22453 23101 23748 24311 states
Reachable states exploration and model construction done in 116.708 secs.
Sorting reachable states list...
Time for model construction: 117.37 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956840/tmpdzr9xxhbprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 1.732 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 222912 bytes
Log file: prism_from-prism_to-tra-xz_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.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 165.309 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:04:12 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.4956316/tmp8i148d95prism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956316/tmpdylcb7myprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956316/tmp8i148d95prism_from-prism_to-tra-xz_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... 430 833 1246 1722 2129 2535 3015 3430 3834 4372 4882 5358 5835 6313 6789 7264 7740 8217 8694 9157 9595 9998 10462 10905 11311 11772 12218 12625 13078 13528 13961 14519 15024 15504 15986 16468 16950 17433 17916 18394 18873 19292 19777 20187 20605 21094 21512 21922 22414 22841 23244 23736 24233 24311 states
Reachable states exploration and model construction done in 159.59 secs.
Sorting reachable states list...
Time for model construction: 160.431 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956316/tmpdylcb7myprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 1.797 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 222912 bytes
Log file: prism_from-prism_to-tra-xz_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.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 158.562 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:04:28 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958547/tmpkey16xzcprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958547/tmpz0gj7y43prism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958547/tmpkey16xzcprism_from-prism_to-tra-xz_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... 379 876 1307 1693 2079 2466 2849 3428 3982 4542 5080 5600 6121 6626 7112 7563 8064 8508 8894 9284 9674 10061 10616 11171 11740 12286 12821 13344 13849 14342 14793 15293 15762 16148 16538 16928 17317 17883 18444 19022 19572 20114 20644 21159 21661 22117 22622 23120 23512 23906 24301 24311 states
Reachable states exploration and model construction done in 153.272 secs.
Sorting reachable states list...
Time for model construction: 153.952 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958547/tmpz0gj7y43prism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 1.805 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 222912 bytes
Log file: prism_from-prism_to-tra-xz_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.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 122.111 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:00:11 GMT+02:00 2026
Hostname: n23m0071.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958412/tmpc2zjzav5prism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958412/tmpu5xttg3mprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958412/tmpc2zjzav5prism_from-prism_to-tra-xz_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... 527 1134 1742 2349 2960 3574 4198 4815 5441 6066 6682 7309 7933 8551 9181 9805 10426 11059 11653 12280 12908 13532 14156 14780 15406 16033 16662 17293 17933 18569 19216 19859 20497 21148 21795 22434 23090 23743 24311 states
Reachable states exploration and model construction done in 116.755 secs.
Sorting reachable states list...
Time for model construction: 117.432 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958412/tmpu5xttg3mprism_from-prism_to-tra-xz_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_outdir_/model.pexp"...
Time for exporting: 1.748 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 222912 bytes