Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/oscillators/oscillators.8-10-0.1-1.prism --const mu=0.1,lambda=1.0 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:06 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98 loops (19/sec), 1167 sampling steps, 18 aborted
loop condition 0.99831, exit probability 0.99802 in initial state
824 explored states, 2 states in BSSCs (0 absorbing)
27 component updates, 454 transient state updates
Bounds: [0.0018597+9.98140e-01]@[0.09034](27)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212 loops (22/sec), 2993 sampling steps, 43 aborted
loop condition 0.99087, exit probability 0.99074 in initial state
1675 explored states, 2 states in BSSCs (0 absorbing)
76 component updates, 1900 transient state updates
Bounds: [0.0091382+9.90862e-01]@[0.00069](76)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336 loops (24/sec), 4992 sampling steps, 73 aborted
loop condition 0.98133, exit probability 0.98120 in initial state
2523 explored states, 2 states in BSSCs (0 absorbing)
130 component updates, 3602 transient state updates
Bounds: [0.018674+9.81326e-01]@[0.00000](130)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480 loops (28/sec), 7574 sampling steps, 109 aborted
loop condition 0.96596, exit probability 0.96580 in initial state
3370 explored states, 2 states in BSSCs (0 absorbing)
206 component updates, 5945 transient state updates
Bounds: [0.034037+9.65963e-01]@[0.00000](206)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
634 loops (30/sec), 10556 sampling steps, 161 aborted
loop condition 0.94800, exit probability 0.94784 in initial state
4232 explored states, 2 states in BSSCs (0 absorbing)
282 component updates, 8650 transient state updates
Bounds: [0.051998+9.48002e-01]@[0.00000](282)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
817 loops (36/sec), 14125 sampling steps, 219 aborted
loop condition 0.92583, exit probability 0.92567 in initial state
5065 explored states, 2 states in BSSCs (0 absorbing)
386 component updates, 12120 transient state updates
Bounds: [0.074166+9.25834e-01]@[0.00000](386)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
991 loops (34/sec), 17847 sampling steps, 280 aborted
loop condition 0.90283, exit probability 0.90267 in initial state
5915 explored states, 2 states in BSSCs (0 absorbing)
473 component updates, 15717 transient state updates
Bounds: [0.097171+9.02829e-01]@[0.00000](473)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1164 loops (34/sec), 21705 sampling steps, 339 aborted
loop condition 0.88054, exit probability 0.88020 in initial state
6737 explored states, 2 states in BSSCs (0 absorbing)
556 component updates, 19258 transient state updates
Bounds: [0.11946+8.80544e-01]@[0.00000](556)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1345 loops (36/sec), 25684 sampling steps, 392 aborted
loop condition 0.85098, exit probability 0.85063 in initial state
7552 explored states, 2 states in BSSCs (0 absorbing)
649 component updates, 22808 transient state updates
Bounds: [0.14902+8.50983e-01]@[0.00000](649)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1526 loops (36/sec), 29703 sampling steps, 447 aborted
loop condition 0.82358, exit probability 0.82322 in initial state
8381 explored states, 2 states in BSSCs (0 absorbing)
741 component updates, 26499 transient state updates
Bounds: [0.17642+8.23577e-01]@[0.00000](741)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1711 loops (36/sec), 34406 sampling steps, 518 aborted
loop condition 0.79305, exit probability 0.79269 in initial state
9222 explored states, 2 states in BSSCs (0 absorbing)
830 component updates, 30948 transient state updates
Bounds: [0.20695+7.93052e-01]@[0.00000](830)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1907 loops (38/sec), 38911 sampling steps, 591 aborted
loop condition 0.76066, exit probability 0.76028 in initial state
10057 explored states, 2 states in BSSCs (0 absorbing)
921 component updates, 35178 transient state updates
Bounds: [0.23934+7.60661e-01]@[0.00000](921)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2132 loops (44/sec), 44227 sampling steps, 671 aborted
loop condition 0.72059, exit probability 0.72040 in initial state
10866 explored states, 2 states in BSSCs (0 absorbing)
1044 component updates, 40360 transient state updates
Bounds: [0.27941+7.20587e-01]@[0.00000](1044)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2324 loops (38/sec), 49235 sampling steps, 741 aborted
loop condition 0.68530, exit probability 0.68511 in initial state
11673 explored states, 2 states in BSSCs (0 absorbing)
1138 component updates, 45063 transient state updates
Bounds: [0.31470+6.85301e-01]@[0.00000](1138)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2532 loops (41/sec), 54503 sampling steps, 824 aborted
loop condition 0.64787, exit probability 0.64766 in initial state
12470 explored states, 2 states in BSSCs (0 absorbing)
1231 component updates, 50048 transient state updates
Bounds: [0.35213+6.47872e-01]@[0.00000](1231)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2786 loops (50/sec), 61179 sampling steps, 932 aborted
loop condition 0.59776, exit probability 0.59730 in initial state
13266 explored states, 2 states in BSSCs (0 absorbing)
1355 component updates, 56623 transient state updates
Bounds: [0.40224+5.97757e-01]@[0.00000](1355)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3044 loops (51/sec), 68384 sampling steps, 1045 aborted
loop condition 0.54795, exit probability 0.54715 in initial state
14083 explored states, 2 states in BSSCs (0 absorbing)
1479 component updates, 63574 transient state updates
Bounds: [0.45205+5.47953e-01]@[0.00000](1479)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3309 loops (52/sec), 75512 sampling steps, 1159 aborted
loop condition 0.49627, exit probability 0.49544 in initial state
14901 explored states, 2 states in BSSCs (0 absorbing)
1605 component updates, 70526 transient state updates
Bounds: [0.50373+4.96269e-01]@[0.00000](1605)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3579 loops (53/sec), 83168 sampling steps, 1273 aborted
loop condition 0.43856, exit probability 0.43773 in initial state
15731 explored states, 2 states in BSSCs (0 absorbing)
1740 component updates, 78082 transient state updates
Bounds: [0.56144+4.38561e-01]@[0.00000](1740)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3869 loops (57/sec), 91953 sampling steps, 1407 aborted
loop condition 0.37058, exit probability 0.36940 in initial state
16560 explored states, 2 states in BSSCs (0 absorbing)
1871 component updates, 86695 transient state updates
Bounds: [0.62942+3.70585e-01]@[0.00000](1871)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4259 loops (77/sec), 104087 sampling steps, 1595 aborted
loop condition 0.29457, exit probability 0.29342 in initial state
17389 explored states, 2 states in BSSCs (0 absorbing)
2060 component updates, 98811 transient state updates
Bounds: [0.70543+2.94571e-01]@[0.00000](2060)
Sep 13, 2024 10:50:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4780 loops (103/sec), 120500 sampling steps, 1863 aborted
loop condition 0.21435, exit probability 0.21266 in initial state
18185 explored states, 2 states in BSSCs (0 absorbing)
2307 component updates, 115282 transient state updates
Bounds: [0.78565+2.14354e-01]@[0.00000](2307)
Sep 13, 2024 10:51:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5550 loops (153/sec), 143630 sampling steps, 2250 aborted
loop condition 0.14448, exit probability 0.14248 in initial state
18909 explored states, 2 states in BSSCs (0 absorbing)
2690 component updates, 138635 transient state updates
Bounds: [0.85552+1.44481e-01]@[0.00000](2690)
Sep 13, 2024 10:51:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6677 loops (225/sec), 176808 sampling steps, 2814 aborted
loop condition 0.094612, exit probability 0.093127 in initial state
19571 explored states, 2 states in BSSCs (0 absorbing)
3253 component updates, 172098 transient state updates
Bounds: [0.90539+9.46119e-02]@[0.00000](3253)
Sep 13, 2024 10:51:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7942 loops (253/sec), 212857 sampling steps, 3430 aborted
loop condition 0.063422, exit probability 0.062676 in initial state
20194 explored states, 2 states in BSSCs (0 absorbing)
3902 component updates, 208630 transient state updates
Bounds: [0.93658+6.34217e-02]@[0.00000](3902)
Sep 13, 2024 10:51:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9264 loops (264/sec), 249160 sampling steps, 4060 aborted
loop condition 0.044185, exit probability 0.043203 in initial state
20807 explored states, 2 states in BSSCs (0 absorbing)
4594 component updates, 245194 transient state updates
Bounds: [0.95581+4.41853e-02]@[0.00000](4594)
Sep 13, 2024 10:51:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10602 loops (267/sec), 284500 sampling steps, 4724 aborted
loop condition 0.028985, exit probability 0.027637 in initial state
21464 explored states, 2 states in BSSCs (0 absorbing)
5268 component updates, 280228 transient state updates
Bounds: [0.97102+2.89850e-02]@[0.00000](5268)
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11968 loops (273/sec), 318980 sampling steps, 5378 aborted
loop condition 0.017705, exit probability 0.015961 in initial state
22107 explored states, 2 states in BSSCs (0 absorbing)
5980 component updates, 314206 transient state updates
Bounds: [0.98229+1.77051e-02]@[0.00000](5980)
Sep 13, 2024 10:51:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13469 loops (299/sec), 354894 sampling steps, 6040 aborted
loop condition 0.010193, exit probability 0.0079618 in initial state
22733 explored states, 2 states in BSSCs (0 absorbing)
6819 component updates, 349219 transient state updates
Bounds: [0.98981+1.01932e-02]@[0.00000](6819)
Sep 13, 2024 10:51:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15109 loops (328/sec), 389999 sampling steps, 6684 aborted
loop condition 0.0056930, exit probability 0.0029260 in initial state
23336 explored states, 2 states in BSSCs (0 absorbing)
7815 component updates, 382610 transient state updates
Bounds: [0.99431+5.69301e-03]@[0.00000](7815)
Sep 13, 2024 10:51:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17452 loops (468/sec), 434724 sampling steps, 7282 aborted
loop condition 0.0036615, exit probability 0.00062698 in initial state
23857 explored states, 2 states in BSSCs (0 absorbing)
9560 component updates, 424188 transient state updates
Bounds: [0.99634+3.66148e-03]@[0.00000](9560)
Sep 13, 2024 10:51:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21842 loops (878/sec), 507615 sampling steps, 7617 aborted
loop condition 0.0029955, exit probability 9.8411e-05 in initial state
24122 explored states, 2 states in BSSCs (0 absorbing)
13615 component updates, 494977 transient state updates
Bounds: [0.99700+2.99553e-03]@[0.00000](13615)
Sep 13, 2024 10:51:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27629 loops (1157/sec), 601196 sampling steps, 7753 aborted
loop condition 0.0024875, exit probability 2.7704e-05 in initial state
24218 explored states, 2 states in BSSCs (0 absorbing)
19266 component updates, 587919 transient state updates
Bounds: [0.99751+2.48747e-03]@[0.00000](19266)
Sep 13, 2024 10:51:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33855 loops (1245/sec), 700627 sampling steps, 7829 aborted
loop condition 0.0021466, exit probability 1.0185e-05 in initial state
24258 explored states, 2 states in BSSCs (0 absorbing)
25416 component updates, 687031 transient state updates
Bounds: [0.99785+2.14658e-03]@[0.00000](25416)
Sep 13, 2024 10:52:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41033 loops (1435/sec), 814323 sampling steps, 7881 aborted
loop condition 0.0020119, exit probability 5.8999e-06 in initial state
24268 explored states, 2 states in BSSCs (0 absorbing)
32542 component updates, 800641 transient state updates
Bounds: [0.99799+2.01191e-03]@[0.00000](32542)
Sep 13, 2024 10:52:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48117 loops (1416/sec), 927804 sampling steps, 7940 aborted
loop condition 0.0017755, exit probability 2.7250e-06 in initial state
24282 explored states, 2 states in BSSCs (0 absorbing)
39567 component updates, 913812 transient state updates
Bounds: [0.99822+1.77547e-03]@[0.00000](39567)
Sep 13, 2024 10:52:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55066 loops (1389/sec), 1039044 sampling steps, 7979 aborted
loop condition 0.0015936, exit probability 1.9613e-06 in initial state
24288 explored states, 2 states in BSSCs (0 absorbing)
46477 component updates, 1025019 transient state updates
Bounds: [0.99841+1.59365e-03]@[0.00000](46477)
Sep 13, 2024 10:52:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61952 loops (1377/sec), 1148863 sampling steps, 8027 aborted
loop condition 0.0015040, exit probability 1.1515e-06 in initial state
24294 explored states, 2 states in BSSCs (0 absorbing)
53315 component updates, 1134839 transient state updates
Bounds: [0.99850+1.50404e-03]@[0.00000](53315)
Sep 13, 2024 10:52:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69006 loops (1410/sec), 1260989 sampling steps, 8061 aborted
loop condition 0.0013000, exit probability 5.4107e-07 in initial state
24301 explored states, 2 states in BSSCs (0 absorbing)
60335 component updates, 1246963 transient state updates
Bounds: [0.99870+1.30000e-03]@[0.00000](60335)
Sep 13, 2024 10:52:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76515 loops (1501/sec), 1380665 sampling steps, 8103 aborted
loop condition 0.0012128, exit probability 4.4488e-07 in initial state
24302 explored states, 2 states in BSSCs (0 absorbing)
67802 component updates, 1366679 transient state updates
Bounds: [0.99879+1.21282e-03]@[0.00000](67802)
Sep 13, 2024 10:52:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83655 loops (1428/sec), 1494922 sampling steps, 8138 aborted
loop condition 0.0011577, exit probability 1.8425e-07 in initial state
24304 explored states, 2 states in BSSCs (0 absorbing)
74907 component updates, 1480864 transient state updates
Bounds: [0.99884+1.15767e-03]@[0.00000](74907)
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90643 loops (1397/sec), 1605707 sampling steps, 8171 aborted
loop condition 0.0011143, exit probability 1.6109e-07 in initial state
24305 explored states, 2 states in BSSCs (0 absorbing)
81862 component updates, 1591600 transient state updates
Bounds: [0.99889+1.11431e-03]@[0.00000](81862)
Sep 13, 2024 10:52:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97561 loops (1383/sec), 1715825 sampling steps, 8223 aborted
loop condition 0.0010723, exit probability 1.1316e-07 in initial state
24305 explored states, 2 states in BSSCs (0 absorbing)
88728 component updates, 1701645 transient state updates
Bounds: [0.99893+1.07229e-03]@[0.00000](88728)
Sep 13, 2024 10:52:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105116 loops (1511/sec), 1836381 sampling steps, 8258 aborted
loop condition 0.0010209, exit probability 7.8845e-08 in initial state
24305 explored states, 2 states in BSSCs (0 absorbing)
96248 component updates, 1822222 transient state updates
Bounds: [0.99898+1.02092e-03]@[0.00000](96248)
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110186 loops (1443/sec), 1916766 sampling steps, 8289 aborted
loop condition 0.00098452, exit probability 7.8844e-08 in initial state
24305 explored states, 2 states in BSSCs (0 absorbing)
101287 component updates, 1902638 transient state updates
Bounds: [0.99902+9.84515e-04]@[0.00000](101287)