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_NAIVE --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:
70 loops (13/sec), 839 sampling steps, 11 aborted
loop condition 0.99924, exit probability 0.99910 in initial state
588 explored states, 2 states in BSSCs (0 absorbing)
21 component updates, 282 transient state updates
Bounds: [0.00089947+9.99101e-01]@[0.15906](21)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161 loops (18/sec), 2033 sampling steps, 11 aborted
loop condition 0.99487, exit probability 0.99459 in initial state
1189 explored states, 2 states in BSSCs (0 absorbing)
90 component updates, 1199 transient state updates
Bounds: [0.0051318+9.94868e-01]@[0.00018](90)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261 loops (19/sec), 3449 sampling steps, 12 aborted
loop condition 0.98933, exit probability 0.98899 in initial state
1790 explored states, 2 states in BSSCs (0 absorbing)
174 component updates, 2437 transient state updates
Bounds: [0.010667+9.89333e-01]@[0.00000](174)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414 loops (30/sec), 5736 sampling steps, 12 aborted
loop condition 0.97569, exit probability 0.97525 in initial state
2569 explored states, 2 states in BSSCs (0 absorbing)
315 component updates, 4580 transient state updates
Bounds: [0.024309+9.75691e-01]@[0.00000](315)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629 loops (42/sec), 9094 sampling steps, 14 aborted
loop condition 0.95499, exit probability 0.95418 in initial state
3425 explored states, 2 states in BSSCs (0 absorbing)
519 component updates, 7791 transient state updates
Bounds: [0.045009+9.54991e-01]@[0.00000](519)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
903 loops (54/sec), 13300 sampling steps, 15 aborted
loop condition 0.92772, exit probability 0.92677 in initial state
4369 explored states, 2 states in BSSCs (0 absorbing)
783 component updates, 11843 transient state updates
Bounds: [0.072282+9.27718e-01]@[0.00000](783)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1233 loops (65/sec), 18393 sampling steps, 16 aborted
loop condition 0.89648, exit probability 0.89533 in initial state
5356 explored states, 2 states in BSSCs (0 absorbing)
1105 component updates, 16823 transient state updates
Bounds: [0.10352+8.96476e-01]@[0.00000](1105)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1598 loops (72/sec), 24000 sampling steps, 18 aborted
loop condition 0.85849, exit probability 0.85691 in initial state
6328 explored states, 2 states in BSSCs (0 absorbing)
1464 component updates, 22347 transient state updates
Bounds: [0.14151+8.58492e-01]@[0.00000](1464)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2093 loops (98/sec), 31861 sampling steps, 22 aborted
loop condition 0.81356, exit probability 0.81189 in initial state
7267 explored states, 2 states in BSSCs (0 absorbing)
1955 component updates, 30181 transient state updates
Bounds: [0.18644+8.13561e-01]@[0.00000](1955)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2573 loops (95/sec), 39610 sampling steps, 24 aborted
loop condition 0.76909, exit probability 0.76742 in initial state
8206 explored states, 2 states in BSSCs (0 absorbing)
2433 component updates, 37908 transient state updates
Bounds: [0.23091+7.69086e-01]@[0.00000](2433)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3086 loops (102/sec), 48047 sampling steps, 28 aborted
loop condition 0.72665, exit probability 0.72502 in initial state
9040 explored states, 2 states in BSSCs (0 absorbing)
2938 component updates, 46243 transient state updates
Bounds: [0.27335+7.26655e-01]@[0.00000](2938)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3640 loops (110/sec), 56785 sampling steps, 30 aborted
loop condition 0.68414, exit probability 0.68237 in initial state
9860 explored states, 2 states in BSSCs (0 absorbing)
3489 component updates, 54951 transient state updates
Bounds: [0.31586+6.84140e-01]@[0.00000](3489)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4388 loops (149/sec), 68567 sampling steps, 33 aborted
loop condition 0.63129, exit probability 0.62957 in initial state
10727 explored states, 2 states in BSSCs (0 absorbing)
4234 component updates, 66693 transient state updates
Bounds: [0.36871+6.31294e-01]@[0.00000](4234)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5236 loops (168/sec), 82232 sampling steps, 37 aborted
loop condition 0.57707, exit probability 0.57539 in initial state
11572 explored states, 2 states in BSSCs (0 absorbing)
5078 component updates, 80305 transient state updates
Bounds: [0.42293+5.77074e-01]@[0.00000](5078)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6183 loops (189/sec), 97297 sampling steps, 42 aborted
loop condition 0.52549, exit probability 0.52367 in initial state
12387 explored states, 2 states in BSSCs (0 absorbing)
6020 component updates, 95319 transient state updates
Bounds: [0.47451+5.25494e-01]@[0.00000](6020)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7244 loops (212/sec), 114583 sampling steps, 49 aborted
loop condition 0.47462, exit probability 0.47280 in initial state
13181 explored states, 2 states in BSSCs (0 absorbing)
7074 component updates, 112528 transient state updates
Bounds: [0.52538+4.74621e-01]@[0.00000](7074)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8403 loops (231/sec), 133125 sampling steps, 55 aborted
loop condition 0.42951, exit probability 0.42769 in initial state
13904 explored states, 2 states in BSSCs (0 absorbing)
8227 component updates, 131004 transient state updates
Bounds: [0.57049+4.29506e-01]@[0.00000](8227)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9754 loops (269/sec), 154341 sampling steps, 58 aborted
loop condition 0.38366, exit probability 0.38228 in initial state
14546 explored states, 2 states in BSSCs (0 absorbing)
9575 component updates, 152185 transient state updates
Bounds: [0.61634+3.83663e-01]@[0.00000](9575)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11300 loops (309/sec), 179204 sampling steps, 64 aborted
loop condition 0.33915, exit probability 0.33757 in initial state
15247 explored states, 2 states in BSSCs (0 absorbing)
11115 component updates, 176970 transient state updates
Bounds: [0.66085+3.39148e-01]@[0.00000](11115)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13151 loops (370/sec), 208952 sampling steps, 80 aborted
loop condition 0.29403, exit probability 0.29223 in initial state
15904 explored states, 2 states in BSSCs (0 absorbing)
12950 component updates, 206505 transient state updates
Bounds: [0.70597+2.94035e-01]@[0.00000](12950)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15211 loops (411/sec), 241639 sampling steps, 94 aborted
loop condition 0.25288, exit probability 0.25105 in initial state
16542 explored states, 2 states in BSSCs (0 absorbing)
14996 component updates, 239021 transient state updates
Bounds: [0.74712+2.52882e-01]@[0.00000](14996)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17666 loops (490/sec), 280804 sampling steps, 104 aborted
loop condition 0.21224, exit probability 0.21046 in initial state
17180 explored states, 2 states in BSSCs (0 absorbing)
17441 component updates, 278101 transient state updates
Bounds: [0.78776+2.12238e-01]@[0.00000](17441)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20340 loops (534/sec), 324063 sampling steps, 114 aborted
loop condition 0.18025, exit probability 0.17864 in initial state
17756 explored states, 2 states in BSSCs (0 absorbing)
20105 component updates, 321258 transient state updates
Bounds: [0.81975+1.80247e-01]@[0.00000](20105)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23076 loops (547/sec), 367931 sampling steps, 122 aborted
loop condition 0.15413, exit probability 0.15296 in initial state
18245 explored states, 2 states in BSSCs (0 absorbing)
22833 component updates, 365058 transient state updates
Bounds: [0.84587+1.54133e-01]@[0.00000](22833)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26501 loops (684/sec), 422662 sampling steps, 141 aborted
loop condition 0.12956, exit probability 0.12855 in initial state
18721 explored states, 2 states in BSSCs (0 absorbing)
26239 component updates, 419569 transient state updates
Bounds: [0.87044+1.29562e-01]@[0.00000](26239)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30342 loops (767/sec), 483079 sampling steps, 162 aborted
loop condition 0.10958, exit probability 0.10877 in initial state
19136 explored states, 2 states in BSSCs (0 absorbing)
30059 component updates, 479738 transient state updates
Bounds: [0.89042+1.09578e-01]@[0.00000](30059)
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34330 loops (797/sec), 546185 sampling steps, 182 aborted
loop condition 0.091374, exit probability 0.090537 in initial state
19539 explored states, 2 states in BSSCs (0 absorbing)
34027 component updates, 542631 transient state updates
Bounds: [0.90863+9.13743e-02]@[0.00000](34027)
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38674 loops (868/sec), 615321 sampling steps, 201 aborted
loop condition 0.076150, exit probability 0.075339 in initial state
19897 explored states, 2 states in BSSCs (0 absorbing)
38352 component updates, 611574 transient state updates
Bounds: [0.92385+7.61503e-02]@[0.00000](38352)
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43276 loops (919/sec), 689227 sampling steps, 224 aborted
loop condition 0.063978, exit probability 0.063198 in initial state
20230 explored states, 2 states in BSSCs (0 absorbing)
42931 component updates, 685224 transient state updates
Bounds: [0.93602+6.39785e-02]@[0.00000](42931)
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48102 loops (964/sec), 766713 sampling steps, 248 aborted
loop condition 0.054513, exit probability 0.053811 in initial state
20495 explored states, 2 states in BSSCs (0 absorbing)
47733 component updates, 762423 transient state updates
Bounds: [0.94549+5.45126e-02]@[0.00000](47733)
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52909 loops (961/sec), 843817 sampling steps, 272 aborted
loop condition 0.046975, exit probability 0.046387 in initial state
20740 explored states, 2 states in BSSCs (0 absorbing)
52516 component updates, 839283 transient state updates
Bounds: [0.95303+4.69749e-02]@[0.00000](52516)
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58225 loops (1063/sec), 928906 sampling steps, 299 aborted
loop condition 0.040868, exit probability 0.040293 in initial state
20953 explored states, 2 states in BSSCs (0 absorbing)
57805 component updates, 924096 transient state updates
Bounds: [0.95913+4.08682e-02]@[0.00000](57805)
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64368 loops (1228/sec), 1026315 sampling steps, 330 aborted
loop condition 0.035104, exit probability 0.034575 in initial state
21168 explored states, 2 states in BSSCs (0 absorbing)
63917 component updates, 1021188 transient state updates
Bounds: [0.96490+3.51044e-02]@[0.00000](63917)
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70816 loops (1288/sec), 1129681 sampling steps, 371 aborted
loop condition 0.030540, exit probability 0.030036 in initial state
21364 explored states, 2 states in BSSCs (0 absorbing)
70324 component updates, 1124120 transient state updates
Bounds: [0.96946+3.05397e-02]@[0.00000](70324)
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77923 loops (1421/sec), 1243249 sampling steps, 409 aborted
loop condition 0.026542, exit probability 0.026071 in initial state
21537 explored states, 2 states in BSSCs (0 absorbing)
77393 component updates, 1237270 transient state updates
Bounds: [0.97346+2.65419e-02]@[0.00000](77393)
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85083 loops (1431/sec), 1357957 sampling steps, 438 aborted
loop condition 0.023190, exit probability 0.022796 in initial state
21699 explored states, 2 states in BSSCs (0 absorbing)
84524 component updates, 1351635 transient state updates
Bounds: [0.97681+2.31903e-02]@[0.00000](84524)
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92814 loops (1546/sec), 1481624 sampling steps, 478 aborted
loop condition 0.020149, exit probability 0.019797 in initial state
21844 explored states, 2 states in BSSCs (0 absorbing)
92215 component updates, 1474824 transient state updates
Bounds: [0.97985+2.01486e-02]@[0.00000](92215)
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100800 loops (1597/sec), 1607712 sampling steps, 512 aborted
loop condition 0.018023, exit probability 0.017705 in initial state
21968 explored states, 2 states in BSSCs (0 absorbing)
100167 component updates, 1600537 transient state updates
Bounds: [0.98198+1.80233e-02]@[0.00000](100167)
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109290 loops (1698/sec), 1742456 sampling steps, 562 aborted
loop condition 0.015803, exit probability 0.015565 in initial state
22087 explored states, 2 states in BSSCs (0 absorbing)
108607 component updates, 1734703 transient state updates
Bounds: [0.98420+1.58030e-02]@[0.00000](108607)
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117668 loops (1675/sec), 1875415 sampling steps, 608 aborted
loop condition 0.014240, exit probability 0.013986 in initial state
22200 explored states, 2 states in BSSCs (0 absorbing)
116939 component updates, 1867154 transient state updates
Bounds: [0.98576+1.42401e-02]@[0.00000](116939)
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125727 loops (1611/sec), 2004282 sampling steps, 653 aborted
loop condition 0.012643, exit probability 0.012369 in initial state
22320 explored states, 2 states in BSSCs (0 absorbing)
124953 component updates, 1995482 transient state updates
Bounds: [0.98736+1.26429e-02]@[0.00000](124953)
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133235 loops (1501/sec), 2124184 sampling steps, 684 aborted
loop condition 0.011400, exit probability 0.011124 in initial state
22409 explored states, 2 states in BSSCs (0 absorbing)
132430 component updates, 2115025 transient state updates
Bounds: [0.98860+1.14000e-02]@[0.00000](132430)
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141324 loops (1617/sec), 2252456 sampling steps, 741 aborted
loop condition 0.010414, exit probability 0.010160 in initial state
22487 explored states, 2 states in BSSCs (0 absorbing)
140462 component updates, 2242700 transient state updates
Bounds: [0.98959+1.04138e-02]@[0.00000](140462)
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149245 loops (1584/sec), 2379441 sampling steps, 775 aborted
loop condition 0.0094833, exit probability 0.0092451 in initial state
22561 explored states, 2 states in BSSCs (0 absorbing)
148349 component updates, 2369274 transient state updates
Bounds: [0.99052+9.48334e-03]@[0.00000](148349)
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156928 loops (1536/sec), 2502843 sampling steps, 829 aborted
loop condition 0.0084491, exit probability 0.0082110 in initial state
22646 explored states, 2 states in BSSCs (0 absorbing)
155978 component updates, 2492057 transient state updates
Bounds: [0.99155+8.44912e-03]@[0.00000](155978)
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164863 loops (1587/sec), 2629717 sampling steps, 866 aborted
loop condition 0.0077829, exit probability 0.0075825 in initial state
22710 explored states, 2 states in BSSCs (0 absorbing)
163876 component updates, 2618476 transient state updates
Bounds: [0.99222+7.78293e-03]@[0.00000](163876)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173116 loops (1650/sec), 2760848 sampling steps, 906 aborted
loop condition 0.0071875, exit probability 0.0069946 in initial state
22772 explored states, 2 states in BSSCs (0 absorbing)
172089 component updates, 2749195 transient state updates
Bounds: [0.99281+7.18747e-03]@[0.00000](172089)
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180948 loops (1566/sec), 2885877 sampling steps, 951 aborted
loop condition 0.0065834, exit probability 0.0064245 in initial state
22835 explored states, 2 states in BSSCs (0 absorbing)
179876 component updates, 2873702 transient state updates
Bounds: [0.99342+6.58345e-03]@[0.00000](179876)
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188804 loops (1571/sec), 3010919 sampling steps, 994 aborted
loop condition 0.0061175, exit probability 0.0059676 in initial state
22880 explored states, 2 states in BSSCs (0 absorbing)
187689 component updates, 2998254 transient state updates
Bounds: [0.99388+6.11752e-03]@[0.00000](187689)
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196869 loops (1613/sec), 3139312 sampling steps, 1028 aborted
loop condition 0.0056931, exit probability 0.0055404 in initial state
22926 explored states, 2 states in BSSCs (0 absorbing)
195720 component updates, 3126302 transient state updates
Bounds: [0.99431+5.69308e-03]@[0.00000](195720)
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205301 loops (1686/sec), 3272930 sampling steps, 1069 aborted
loop condition 0.0053170, exit probability 0.0051820 in initial state
22974 explored states, 2 states in BSSCs (0 absorbing)
204111 component updates, 3259410 transient state updates
Bounds: [0.99468+5.31698e-03]@[0.00000](204111)
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213494 loops (1638/sec), 3404768 sampling steps, 1106 aborted
loop condition 0.0049009, exit probability 0.0047564 in initial state
23025 explored states, 2 states in BSSCs (0 absorbing)
212267 component updates, 3390795 transient state updates
Bounds: [0.99510+4.90089e-03]@[0.00000](212267)
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221842 loops (1669/sec), 3537201 sampling steps, 1148 aborted
loop condition 0.0046182, exit probability 0.0045029 in initial state
23060 explored states, 2 states in BSSCs (0 absorbing)
220573 component updates, 3522799 transient state updates
Bounds: [0.99538+4.61817e-03]@[0.00000](220573)
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230352 loops (1702/sec), 3672027 sampling steps, 1196 aborted
loop condition 0.0042977, exit probability 0.0041986 in initial state
23095 explored states, 2 states in BSSCs (0 absorbing)
229035 component updates, 3657081 transient state updates
Bounds: [0.99570+4.29770e-03]@[0.00000](229035)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239079 loops (1745/sec), 3810755 sampling steps, 1238 aborted
loop condition 0.0040850, exit probability 0.0039875 in initial state
23123 explored states, 2 states in BSSCs (0 absorbing)
237720 component updates, 3795332 transient state updates
Bounds: [0.99591+4.08503e-03]@[0.00000](237720)
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247411 loops (1666/sec), 3943642 sampling steps, 1282 aborted
loop condition 0.0038853, exit probability 0.0037885 in initial state
23155 explored states, 2 states in BSSCs (0 absorbing)
246008 component updates, 3927726 transient state updates
Bounds: [0.99611+3.88531e-03]@[0.00000](246008)
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255666 loops (1651/sec), 4074821 sampling steps, 1328 aborted
loop condition 0.0035755, exit probability 0.0034988 in initial state
23193 explored states, 2 states in BSSCs (0 absorbing)
254217 component updates, 4058421 transient state updates
Bounds: [0.99642+3.57546e-03]@[0.00000](254217)
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264310 loops (1727/sec), 4211884 sampling steps, 1385 aborted
loop condition 0.0033551, exit probability 0.0032822 in initial state
23225 explored states, 2 states in BSSCs (0 absorbing)
262804 component updates, 4194824 transient state updates
Bounds: [0.99664+3.35512e-03]@[0.00000](262804)
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272938 loops (1725/sec), 4349701 sampling steps, 1440 aborted
loop condition 0.0031846, exit probability 0.0031248 in initial state
23251 explored states, 2 states in BSSCs (0 absorbing)
271377 component updates, 4332036 transient state updates
Bounds: [0.99682+3.18457e-03]@[0.00000](271377)
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281364 loops (1685/sec), 4483805 sampling steps, 1482 aborted
loop condition 0.0029800, exit probability 0.0029294 in initial state
23278 explored states, 2 states in BSSCs (0 absorbing)
279761 component updates, 4465694 transient state updates
Bounds: [0.99702+2.97995e-03]@[0.00000](279761)
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289809 loops (1689/sec), 4619044 sampling steps, 1528 aborted
loop condition 0.0028277, exit probability 0.0027801 in initial state
23305 explored states, 2 states in BSSCs (0 absorbing)
288160 component updates, 4600466 transient state updates
Bounds: [0.99717+2.82769e-03]@[0.00000](288160)
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298584 loops (1755/sec), 4758107 sampling steps, 1581 aborted
loop condition 0.0026667, exit probability 0.0026166 in initial state
23337 explored states, 2 states in BSSCs (0 absorbing)
296882 component updates, 4738954 transient state updates
Bounds: [0.99733+2.66674e-03]@[0.00000](296882)
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307380 loops (1759/sec), 4898633 sampling steps, 1618 aborted
loop condition 0.0025662, exit probability 0.0025160 in initial state
23355 explored states, 2 states in BSSCs (0 absorbing)
305641 component updates, 4879046 transient state updates
Bounds: [0.99743+2.56616e-03]@[0.00000](305641)
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316109 loops (1745/sec), 5037988 sampling steps, 1662 aborted
loop condition 0.0025048, exit probability 0.0024534 in initial state
23368 explored states, 2 states in BSSCs (0 absorbing)
314326 component updates, 5017919 transient state updates
Bounds: [0.99750+2.50483e-03]@[0.00000](314326)
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324891 loops (1756/sec), 5177413 sampling steps, 1712 aborted
loop condition 0.0023999, exit probability 0.0023486 in initial state
23392 explored states, 2 states in BSSCs (0 absorbing)
323058 component updates, 5156785 transient state updates
Bounds: [0.99760+2.39986e-03]@[0.00000](323058)
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333834 loops (1788/sec), 5319145 sampling steps, 1772 aborted
loop condition 0.0023528, exit probability 0.0022988 in initial state
23404 explored states, 2 states in BSSCs (0 absorbing)
331941 component updates, 5297891 transient state updates
Bounds: [0.99765+2.35279e-03]@[0.00000](331941)
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342504 loops (1734/sec), 5456694 sampling steps, 1810 aborted
loop condition 0.0022461, exit probability 0.0021922 in initial state
23422 explored states, 2 states in BSSCs (0 absorbing)
340573 component updates, 5435023 transient state updates
Bounds: [0.99775+2.24609e-03]@[0.00000](340573)
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351136 loops (1726/sec), 5593700 sampling steps, 1852 aborted
loop condition 0.0021453, exit probability 0.0021001 in initial state
23439 explored states, 2 states in BSSCs (0 absorbing)
349163 component updates, 5571565 transient state updates
Bounds: [0.99785+2.14530e-03]@[0.00000](349163)
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360331 loops (1839/sec), 5740735 sampling steps, 1890 aborted
loop condition 0.0020512, exit probability 0.0020060 in initial state
23459 explored states, 2 states in BSSCs (0 absorbing)
358320 component updates, 5718134 transient state updates
Bounds: [0.99795+2.05116e-03]@[0.00000](358320)
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369293 loops (1792/sec), 5883680 sampling steps, 1932 aborted
loop condition 0.0019572, exit probability 0.0019129 in initial state
23475 explored states, 2 states in BSSCs (0 absorbing)
367240 component updates, 5860608 transient state updates
Bounds: [0.99804+1.95718e-03]@[0.00000](367240)
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378140 loops (1769/sec), 6023762 sampling steps, 1971 aborted
loop condition 0.0019197, exit probability 0.0018753 in initial state
23487 explored states, 2 states in BSSCs (0 absorbing)
376048 component updates, 6000261 transient state updates
Bounds: [0.99808+1.91966e-03]@[0.00000](376048)
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386918 loops (1755/sec), 6163396 sampling steps, 2016 aborted
loop condition 0.0018422, exit probability 0.0017973 in initial state
23505 explored states, 2 states in BSSCs (0 absorbing)
384781 component updates, 6139429 transient state updates
Bounds: [0.99816+1.84224e-03]@[0.00000](384781)
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395747 loops (1765/sec), 6304251 sampling steps, 2070 aborted
loop condition 0.0017569, exit probability 0.0017077 in initial state
23525 explored states, 2 states in BSSCs (0 absorbing)
393556 component updates, 6279642 transient state updates
Bounds: [0.99824+1.75688e-03]@[0.00000](393556)
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404465 loops (1743/sec), 6443281 sampling steps, 2101 aborted
loop condition 0.0016723, exit probability 0.0016317 in initial state
23541 explored states, 2 states in BSSCs (0 absorbing)
402243 component updates, 6418306 transient state updates
Bounds: [0.99833+1.67233e-03]@[0.00000](402243)
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413203 loops (1747/sec), 6581637 sampling steps, 2144 aborted
loop condition 0.0016272, exit probability 0.0015868 in initial state
23552 explored states, 2 states in BSSCs (0 absorbing)
410938 component updates, 6556155 transient state updates
Bounds: [0.99837+1.62721e-03]@[0.00000](410938)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422295 loops (1818/sec), 6726030 sampling steps, 2178 aborted
loop condition 0.0015233, exit probability 0.0014829 in initial state
23568 explored states, 2 states in BSSCs (0 absorbing)
419996 component updates, 6700168 transient state updates
Bounds: [0.99848+1.52334e-03]@[0.00000](419996)
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431335 loops (1808/sec), 6868927 sampling steps, 2222 aborted
loop condition 0.0014892, exit probability 0.0014488 in initial state
23576 explored states, 2 states in BSSCs (0 absorbing)
428992 component updates, 6842573 transient state updates
Bounds: [0.99851+1.48921e-03]@[0.00000](428992)
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
440209 loops (1774/sec), 7009011 sampling steps, 2264 aborted
loop condition 0.0014524, exit probability 0.0014136 in initial state
23586 explored states, 2 states in BSSCs (0 absorbing)
437824 component updates, 6982204 transient state updates
Bounds: [0.99855+1.45235e-03]@[0.00000](437824)
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
449165 loops (1791/sec), 7151444 sampling steps, 2324 aborted
loop condition 0.0013905, exit probability 0.0013484 in initial state
23599 explored states, 2 states in BSSCs (0 absorbing)
446720 component updates, 7123885 transient state updates
Bounds: [0.99861+1.39053e-03]@[0.00000](446720)
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458256 loops (1818/sec), 7296514 sampling steps, 2367 aborted
loop condition 0.0013567, exit probability 0.0013148 in initial state
23610 explored states, 2 states in BSSCs (0 absorbing)
455768 component updates, 7268447 transient state updates
Bounds: [0.99864+1.35674e-03]@[0.00000](455768)
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467208 loops (1790/sec), 7439123 sampling steps, 2408 aborted
loop condition 0.0013284, exit probability 0.0012898 in initial state
23617 explored states, 2 states in BSSCs (0 absorbing)
464679 component updates, 7410684 transient state updates
Bounds: [0.99867+1.32839e-03]@[0.00000](464679)
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475955 loops (1749/sec), 7579325 sampling steps, 2455 aborted
loop condition 0.0012819, exit probability 0.0012446 in initial state
23627 explored states, 2 states in BSSCs (0 absorbing)
473379 component updates, 7550330 transient state updates
Bounds: [0.99872+1.28194e-03]@[0.00000](473379)
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
485126 loops (1834/sec), 7725123 sampling steps, 2508 aborted
loop condition 0.0012354, exit probability 0.0011952 in initial state
23638 explored states, 2 states in BSSCs (0 absorbing)
482497 component updates, 7695603 transient state updates
Bounds: [0.99876+1.23537e-03]@[0.00000](482497)
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494009 loops (1776/sec), 7865824 sampling steps, 2559 aborted
loop condition 0.0011889, exit probability 0.0011487 in initial state
23649 explored states, 2 states in BSSCs (0 absorbing)
491329 component updates, 7835744 transient state updates
Bounds: [0.99881+1.18886e-03]@[0.00000](491329)
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
502838 loops (1765/sec), 8005525 sampling steps, 2605 aborted
loop condition 0.0011583, exit probability 0.0011216 in initial state
23657 explored states, 2 states in BSSCs (0 absorbing)
500112 component updates, 7974967 transient state updates
Bounds: [0.99884+1.15832e-03]@[0.00000](500112)
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511810 loops (1794/sec), 8148416 sampling steps, 2636 aborted
loop condition 0.0011482, exit probability 0.0011115 in initial state
23662 explored states, 2 states in BSSCs (0 absorbing)
509053 component updates, 8117517 transient state updates
Bounds: [0.99885+1.14823e-03]@[0.00000](509053)
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520826 loops (1803/sec), 8292071 sampling steps, 2688 aborted
loop condition 0.0011098, exit probability 0.0010731 in initial state
23675 explored states, 2 states in BSSCs (0 absorbing)
518017 component updates, 8260589 transient state updates
Bounds: [0.99889+1.10984e-03]@[0.00000](518017)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529678 loops (1770/sec), 8433060 sampling steps, 2726 aborted
loop condition 0.0010636, exit probability 0.0010268 in initial state
23686 explored states, 2 states in BSSCs (0 absorbing)
526831 component updates, 8401163 transient state updates
Bounds: [0.99894+1.06357e-03]@[0.00000](526831)
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538454 loops (1755/sec), 8572065 sampling steps, 2760 aborted
loop condition 0.0010283, exit probability 0.00099148 in initial state
23696 explored states, 2 states in BSSCs (0 absorbing)
535573 component updates, 8539754 transient state updates
Bounds: [0.99897+1.02827e-03]@[0.00000](535573)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547561 loops (1821/sec), 8717190 sampling steps, 2811 aborted
loop condition 0.0010021, exit probability 0.00096535 in initial state
23706 explored states, 2 states in BSSCs (0 absorbing)
544629 component updates, 8684326 transient state updates
Bounds: [0.99900+1.00213e-03]@[0.00000](544629)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547949 loops (1771/sec), 8723425 sampling steps, 2814 aborted
loop condition 0.00099373, exit probability 0.00095694 in initial state
23707 explored states, 2 states in BSSCs (0 absorbing)
545014 component updates, 8690517 transient state updates
Bounds: [0.99901+9.93726e-04]@[0.00000](545014)