Log files for model oscillators.8-10-0.1-1-0.1-1.0 and tool configuration prism_from-prism_import_ex
[107.101, 167.759, 158.511, 152.934, 116.461]
Log file: prism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 109.670 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:21:56 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962039/tmph4jdqbk_prism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962039/tmph4jdqbk_prism_from-prism_import_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... 587 1252 1917 2588 3262 3937 4610 5287 5965 6640 7320 7999 8681 9365 10050 10736 11424 12114 12805 13494 14181 14857 15544 16238 16931 17628 18317 19016 19718 20422 21130 21839 22551 23264 23976 24311 states
Reachable states exploration and model construction done in 106.506 secs.
Sorting reachable states list...
Time for model construction: 107.101 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 170.918 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:42:00 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.4962930/tmpr1w0xivwprism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962930/tmpr1w0xivwprism_from-prism_import_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... 373 776 1165 1664 2133 2578 3024 3471 3919 4359 4805 5253 5701 6107 6551 6932 7336 7783 8166 8565 9014 9396 9794 10249 10674 11168 11628 12085 12542 12997 13452 13898 14347 14801 15256 15640 16079 16497 16883 17317 17745 18132 18562 18988 19376 19804 20281 20797 21257 21718 22179 22640 23101 23560 24029 24311 states
Reachable states exploration and model construction done in 167.02 secs.
Sorting reachable states list...
Time for model construction: 167.759 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 161.498 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:23:12 GMT+02:00 2026
Hostname: n23m0049.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962090/tmpg2mieclgprism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962090/tmpg2mieclgprism_from-prism_import_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... 418 894 1369 1845 2327 2813 3295 3778 4177 4603 5078 5480 5909 6388 6788 7223 7692 8093 8529 9036 9553 10036 10519 11000 11482 11964 12448 12932 13417 13905 14317 14727 15212 15623 16036 16524 16933 17350 17840 18249 18670 19206 19725 20212 20701 21188 21676 22164 22653 23143 23633 24123 24311 states
Reachable states exploration and model construction done in 157.818 secs.
Sorting reachable states list...
Time for model construction: 158.511 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 156.044 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:31:15 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965987/tmp8dp6rw6vprism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965987/tmp8dp6rw6vprism_from-prism_import_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... 416 899 1384 1869 2356 2844 3333 3813 4258 4704 5147 5590 6036 6482 6930 7371 7832 8315 8803 9300 9781 10265 10756 11247 11739 12232 12726 13219 13709 14199 14698 15246 15892 16431 16924 17415 17908 18402 18908 19401 19895 20390 20851 21301 21756 22207 22660 23111 23563 24015 24311 states
Reachable states exploration and model construction done in 152.159 secs.
Sorting reachable states list...
Time for model construction: 152.934 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 119.302 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:42:00 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962933/tmpegso2v93prism_from-prism_import_ex_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962933/tmpegso2v93prism_from-prism_import_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... 532 1143 1758 2378 3001 3620 4246 4873 5496 6125 6753 7376 8007 8642 9256 9864 10494 11125 11756 12387 13011 13642 14276 14911 15552 16193 16840 17483 18124 18774 19421 20062 20700 21352 22004 22667 23295 23946 24311 states
Reachable states exploration and model construction done in 115.786 secs.
Sorting reachable states list...
Time for model construction: 116.461 seconds.
Type: DTMC
States: 24311 (1 initial)
Transitions: 76623
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g