Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:57 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/brp/brp.prism --const N=1024,MAX=5 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:46:58 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:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5149 loops (1029/sec), 25030667 sampling steps, 84 aborted
loop condition 0.63039, exit probability 0.62790 in initial state
29584 explored states, 1 states in BSSCs (1 absorbing)
2579 component updates, 16002902 transient state updates
Bounds: [0.36961+6.30388e-01]@[0.00000](2579)
Sep 13, 2024 10:47:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8526 loops (675/sec), 46027139 sampling steps, 177 aborted
loop condition 0.33730, exit probability 0.33661 in initial state
31987 explored states, 1 states in BSSCs (1 absorbing)
5844 component updates, 36341188 transient state updates
Bounds: [0.66270+3.37300e-01]@[0.00000](5844)
Sep 13, 2024 10:47:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11911 loops (677/sec), 67095347 sampling steps, 288 aborted
loop condition 0.19828, exit probability 0.19791 in initial state
33165 explored states, 1 states in BSSCs (1 absorbing)
9110 component updates, 56687362 transient state updates
Bounds: [0.80172+1.98277e-01]@[0.00000](9110)
Sep 13, 2024 10:47:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15317 loops (681/sec), 88312839 sampling steps, 404 aborted
loop condition 0.13037, exit probability 0.13013 in initial state
33838 explored states, 1 states in BSSCs (1 absorbing)
12400 component updates, 77182120 transient state updates
Bounds: [0.86963+1.30365e-01]@[0.00000](12400)
Sep 13, 2024 10:47:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18722 loops (681/sec), 109515353 sampling steps, 507 aborted
loop condition 0.093185, exit probability 0.093085 in initial state
34409 explored states, 1 states in BSSCs (1 absorbing)
15699 component updates, 97734784 transient state updates
Bounds: [0.90682+9.31848e-02]@[0.00000](15699)
Sep 13, 2024 10:47:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22122 loops (680/sec), 130692686 sampling steps, 616 aborted
loop condition 0.074672, exit probability 0.074616 in initial state
34970 explored states, 1 states in BSSCs (1 absorbing)
18989 component updates, 118229492 transient state updates
Bounds: [0.92533+7.46719e-02]@[0.00000](18989)
Sep 13, 2024 10:47:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25496 loops (674/sec), 151702661 sampling steps, 701 aborted
loop condition 0.065006, exit probability 0.064970 in initial state
35451 explored states, 1 states in BSSCs (1 absorbing)
22275 component updates, 138698010 transient state updates
Bounds: [0.93499+6.50057e-02]@[0.00000](22275)
Sep 13, 2024 10:47:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28890 loops (678/sec), 172842738 sampling steps, 816 aborted
loop condition 0.059497, exit probability 0.059471 in initial state
35955 explored states, 1 states in BSSCs (1 absorbing)
25553 component updates, 159116464 transient state updates
Bounds: [0.94050+5.94968e-02]@[0.00000](25553)
Sep 13, 2024 10:47:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32275 loops (676/sec), 193927966 sampling steps, 925 aborted
loop condition 0.055237, exit probability 0.055220 in initial state
36370 explored states, 1 states in BSSCs (1 absorbing)
28829 component updates, 179522852 transient state updates
Bounds: [0.94476+5.52370e-02]@[0.00000](28829)
Sep 13, 2024 10:47:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35666 loops (678/sec), 215044001 sampling steps, 1028 aborted
loop condition 0.052866, exit probability 0.052854 in initial state
36744 explored states, 1 states in BSSCs (1 absorbing)
32115 component updates, 199991834 transient state updates
Bounds: [0.94713+5.28657e-02]@[0.00000](32115)
Sep 13, 2024 10:47:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39042 loops (675/sec), 236068180 sampling steps, 1134 aborted
loop condition 0.051380, exit probability 0.051370 in initial state
37226 explored states, 1 states in BSSCs (1 absorbing)
35382 component updates, 220342984 transient state updates
Bounds: [0.94862+5.13797e-02]@[0.00000](35382)
Sep 13, 2024 10:47:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42426 loops (676/sec), 257148579 sampling steps, 1246 aborted
loop condition 0.050387, exit probability 0.050379 in initial state
37618 explored states, 1 states in BSSCs (1 absorbing)
38653 component updates, 240720676 transient state updates
Bounds: [0.94961+5.03872e-02]@[0.00000](38653)
Sep 13, 2024 10:48:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45798 loops (674/sec), 278153287 sampling steps, 1338 aborted
loop condition 0.049626, exit probability 0.049618 in initial state
37925 explored states, 1 states in BSSCs (1 absorbing)
41933 component updates, 261152126 transient state updates
Bounds: [0.95037+4.96262e-02]@[0.00000](41933)
Sep 13, 2024 10:48:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49166 loops (673/sec), 299134221 sampling steps, 1425 aborted
loop condition 0.049010, exit probability 0.049003 in initial state
38216 explored states, 1 states in BSSCs (1 absorbing)
45214 component updates, 281590742 transient state updates
Bounds: [0.95099+4.90104e-02]@[0.00000](45214)
Sep 13, 2024 10:48:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52526 loops (672/sec), 320060647 sampling steps, 1527 aborted
loop condition 0.048408, exit probability 0.048401 in initial state
38555 explored states, 1 states in BSSCs (1 absorbing)
48471 component updates, 301879894 transient state updates
Bounds: [0.95159+4.84081e-02]@[0.00000](48471)
Sep 13, 2024 10:48:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55917 loops (678/sec), 341184757 sampling steps, 1650 aborted
loop condition 0.047867, exit probability 0.047861 in initial state
38836 explored states, 1 states in BSSCs (1 absorbing)
51739 component updates, 322237384 transient state updates
Bounds: [0.95213+4.78674e-02]@[0.00000](51739)
Sep 13, 2024 10:48:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59300 loops (676/sec), 362255515 sampling steps, 1752 aborted
loop condition 0.047405, exit probability 0.047399 in initial state
39063 explored states, 1 states in BSSCs (1 absorbing)
55019 component updates, 342670496 transient state updates
Bounds: [0.95259+4.74053e-02]@[0.00000](55019)
Sep 13, 2024 10:48:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62694 loops (678/sec), 383398947 sampling steps, 1858 aborted
loop condition 0.046996, exit probability 0.046989 in initial state
39285 explored states, 1 states in BSSCs (1 absorbing)
58307 component updates, 363153418 transient state updates
Bounds: [0.95300+4.69956e-02]@[0.00000](58307)
Sep 13, 2024 10:48:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66088 loops (678/sec), 404543791 sampling steps, 1959 aborted
loop condition 0.046602, exit probability 0.046596 in initial state
39532 explored states, 1 states in BSSCs (1 absorbing)
61600 component updates, 383668604 transient state updates
Bounds: [0.95340+4.66017e-02]@[0.00000](61600)
Sep 13, 2024 10:48:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69467 loops (675/sec), 425593525 sampling steps, 2049 aborted
loop condition 0.046206, exit probability 0.046200 in initial state
39744 explored states, 1 states in BSSCs (1 absorbing)
64889 component updates, 404157252 transient state updates
Bounds: [0.95379+4.62059e-02]@[0.00000](64889)
Sep 13, 2024 10:48:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72839 loops (674/sec), 446598969 sampling steps, 2138 aborted
loop condition 0.045802, exit probability 0.045796 in initial state
39962 explored states, 1 states in BSSCs (1 absorbing)
68171 component updates, 424603470 transient state updates
Bounds: [0.95420+4.58022e-02]@[0.00000](68171)
Sep 13, 2024 10:48:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76216 loops (675/sec), 467635089 sampling steps, 2238 aborted
loop condition 0.045412, exit probability 0.045406 in initial state
40160 explored states, 1 states in BSSCs (1 absorbing)
71448 component updates, 445016482 transient state updates
Bounds: [0.95459+4.54123e-02]@[0.00000](71448)
Sep 13, 2024 10:48:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79605 loops (677/sec), 488747385 sampling steps, 2357 aborted
loop condition 0.045024, exit probability 0.045018 in initial state
40380 explored states, 1 states in BSSCs (1 absorbing)
74718 component updates, 465386974 transient state updates
Bounds: [0.95498+4.50236e-02]@[0.00000](74718)
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82979 loops (674/sec), 509765165 sampling steps, 2443 aborted
loop condition 0.044635, exit probability 0.044629 in initial state
40584 explored states, 1 states in BSSCs (1 absorbing)
78005 component updates, 485862616 transient state updates
Bounds: [0.95537+4.46349e-02]@[0.00000](78005)
Sep 13, 2024 10:49:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86356 loops (675/sec), 530793023 sampling steps, 2553 aborted
loop condition 0.044239, exit probability 0.044233 in initial state
40840 explored states, 1 states in BSSCs (1 absorbing)
81270 component updates, 506201960 transient state updates
Bounds: [0.95576+4.42390e-02]@[0.00000](81270)
Sep 13, 2024 10:49:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89717 loops (672/sec), 551729185 sampling steps, 2638 aborted
loop condition 0.043867, exit probability 0.043861 in initial state
41106 explored states, 1 states in BSSCs (1 absorbing)
84546 component updates, 526608340 transient state updates
Bounds: [0.95613+4.38667e-02]@[0.00000](84546)
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93068 loops (670/sec), 572604741 sampling steps, 2726 aborted
loop condition 0.043420, exit probability 0.043414 in initial state
41305 explored states, 1 states in BSSCs (1 absorbing)
87808 component updates, 546930346 transient state updates
Bounds: [0.95658+4.34202e-02]@[0.00000](87808)
Sep 13, 2024 10:49:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96454 loops (677/sec), 593700177 sampling steps, 2840 aborted
loop condition 0.043020, exit probability 0.043014 in initial state
41488 explored states, 1 states in BSSCs (1 absorbing)
91080 component updates, 567315554 transient state updates
Bounds: [0.95698+4.30200e-02]@[0.00000](91080)
Sep 13, 2024 10:49:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99824 loops (673/sec), 614693879 sampling steps, 2930 aborted
loop condition 0.042703, exit probability 0.042697 in initial state
41626 explored states, 1 states in BSSCs (1 absorbing)
94360 component updates, 587748166 transient state updates
Bounds: [0.95730+4.27025e-02]@[0.00000](94360)
Sep 13, 2024 10:49:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103203 loops (675/sec), 635743417 sampling steps, 3037 aborted
loop condition 0.042419, exit probability 0.042413 in initial state
41776 explored states, 1 states in BSSCs (1 absorbing)
97632 component updates, 608130632 transient state updates
Bounds: [0.95758+4.24189e-02]@[0.00000](97632)
Sep 13, 2024 10:49:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106588 loops (677/sec), 656830763 sampling steps, 3142 aborted
loop condition 0.042140, exit probability 0.042134 in initial state
41929 explored states, 1 states in BSSCs (1 absorbing)
100912 component updates, 628563772 transient state updates
Bounds: [0.95786+4.21398e-02]@[0.00000](100912)
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109967 loops (675/sec), 677880957 sampling steps, 3238 aborted
loop condition 0.041795, exit probability 0.041789 in initial state
42086 explored states, 1 states in BSSCs (1 absorbing)
104195 component updates, 649015514 transient state updates
Bounds: [0.95820+4.17951e-02]@[0.00000](104195)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113352 loops (677/sec), 698966193 sampling steps, 3341 aborted
loop condition 0.041504, exit probability 0.041499 in initial state
42229 explored states, 1 states in BSSCs (1 absorbing)
107477 component updates, 669458938 transient state updates
Bounds: [0.95850+4.15044e-02]@[0.00000](107477)
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116726 loops (674/sec), 719983357 sampling steps, 3450 aborted
loop condition 0.041199, exit probability 0.041194 in initial state
42395 explored states, 1 states in BSSCs (1 absorbing)
110742 component updates, 689796984 transient state updates
Bounds: [0.95880+4.11994e-02]@[0.00000](110742)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120107 loops (676/sec), 741042647 sampling steps, 3548 aborted
loop condition 0.040895, exit probability 0.040889 in initial state
42525 explored states, 1 states in BSSCs (1 absorbing)
114025 component updates, 710245606 transient state updates
Bounds: [0.95911+4.08946e-02]@[0.00000](114025)
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123488 loops (676/sec), 762105141 sampling steps, 3643 aborted
loop condition 0.040568, exit probability 0.040567 in initial state
42681 explored states, 1 states in BSSCs (1 absorbing)
117311 component updates, 730716070 transient state updates
Bounds: [0.95943+4.05678e-02]@[0.00000](117311)
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126845 loops (671/sec), 783016623 sampling steps, 3749 aborted
loop condition 0.040217, exit probability 0.040216 in initial state
42813 explored states, 1 states in BSSCs (1 absorbing)
120562 component updates, 750966902 transient state updates
Bounds: [0.95978+4.02172e-02]@[0.00000](120562)
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130209 loops (672/sec), 803973041 sampling steps, 3843 aborted
loop condition 0.039923, exit probability 0.039922 in initial state
42900 explored states, 1 states in BSSCs (1 absorbing)
123832 component updates, 771337450 transient state updates
Bounds: [0.96008+3.99226e-02]@[0.00000](123832)
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133571 loops (672/sec), 824917715 sampling steps, 3933 aborted
loop condition 0.039680, exit probability 0.039679 in initial state
43031 explored states, 1 states in BSSCs (1 absorbing)
127104 component updates, 791721164 transient state updates
Bounds: [0.96032+3.96800e-02]@[0.00000](127104)
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136964 loops (678/sec), 846054007 sampling steps, 4037 aborted
loop condition 0.039392, exit probability 0.039391 in initial state
43159 explored states, 1 states in BSSCs (1 absorbing)
130393 component updates, 812209196 transient state updates
Bounds: [0.96061+3.93922e-02]@[0.00000](130393)
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140349 loops (677/sec), 867141433 sampling steps, 4134 aborted
loop condition 0.039126, exit probability 0.039125 in initial state
43249 explored states, 1 states in BSSCs (1 absorbing)
133681 component updates, 832692160 transient state updates
Bounds: [0.96087+3.91260e-02]@[0.00000](133681)
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143739 loops (677/sec), 888259787 sampling steps, 4238 aborted
loop condition 0.038875, exit probability 0.038874 in initial state
43339 explored states, 1 states in BSSCs (1 absorbing)
136967 component updates, 853162428 transient state updates
Bounds: [0.96113+3.88749e-02]@[0.00000](136967)
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147125 loops (677/sec), 909353853 sampling steps, 4331 aborted
loop condition 0.038655, exit probability 0.038654 in initial state
43448 explored states, 1 states in BSSCs (1 absorbing)
140260 component updates, 873677010 transient state updates
Bounds: [0.96135+3.86548e-02]@[0.00000](140260)
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150513 loops (677/sec), 930458890 sampling steps, 4426 aborted
loop condition 0.038421, exit probability 0.038420 in initial state
43541 explored states, 1 states in BSSCs (1 absorbing)
143552 component updates, 894185360 transient state updates
Bounds: [0.96158+3.84210e-02]@[0.00000](143552)
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153898 loops (677/sec), 951546736 sampling steps, 4523 aborted
loop condition 0.038159, exit probability 0.038159 in initial state
43596 explored states, 1 states in BSSCs (1 absorbing)
146840 component updates, 914668616 transient state updates
Bounds: [0.96184+3.81595e-02]@[0.00000](146840)
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157268 loops (673/sec), 972539118 sampling steps, 4616 aborted
loop condition 0.037983, exit probability 0.037982 in initial state
43677 explored states, 1 states in BSSCs (1 absorbing)
150117 component updates, 935081278 transient state updates
Bounds: [0.96202+3.79831e-02]@[0.00000](150117)
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160636 loops (673/sec), 993515865 sampling steps, 4694 aborted
loop condition 0.037819, exit probability 0.037819 in initial state
43740 explored states, 1 states in BSSCs (1 absorbing)
153406 component updates, 955570278 transient state updates
Bounds: [0.96218+3.78192e-02]@[0.00000](153406)
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164015 loops (675/sec), 1014564703 sampling steps, 4774 aborted
loop condition 0.037625, exit probability 0.037625 in initial state
43821 explored states, 1 states in BSSCs (1 absorbing)
156705 component updates, 976120592 transient state updates
Bounds: [0.96237+3.76254e-02]@[0.00000](156705)
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167384 loops (673/sec), 1035552373 sampling steps, 4851 aborted
loop condition 0.037480, exit probability 0.037479 in initial state
43900 explored states, 1 states in BSSCs (1 absorbing)
159997 component updates, 996628592 transient state updates
Bounds: [0.96252+3.74795e-02]@[0.00000](159997)
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170758 loops (674/sec), 1056572187 sampling steps, 4948 aborted
loop condition 0.037337, exit probability 0.037337 in initial state
43952 explored states, 1 states in BSSCs (1 absorbing)
163274 component updates, 1017043662 transient state updates
Bounds: [0.96266+3.73373e-02]@[0.00000](163274)
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174120 loops (672/sec), 1077514197 sampling steps, 5043 aborted
loop condition 0.037195, exit probability 0.037195 in initial state
44018 explored states, 1 states in BSSCs (1 absorbing)
166541 component updates, 1037393484 transient state updates
Bounds: [0.96280+3.71954e-02]@[0.00000](166541)
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177486 loops (673/sec), 1098483269 sampling steps, 5122 aborted
loop condition 0.037077, exit probability 0.037076 in initial state
44092 explored states, 1 states in BSSCs (1 absorbing)
169828 component updates, 1057870420 transient state updates
Bounds: [0.96292+3.70770e-02]@[0.00000](169828)
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180859 loops (674/sec), 1119495145 sampling steps, 5204 aborted
loop condition 0.036887, exit probability 0.036887 in initial state
44160 explored states, 1 states in BSSCs (1 absorbing)
173119 component updates, 1078371408 transient state updates
Bounds: [0.96311+3.68871e-02]@[0.00000](173119)
Sep 13, 2024 10:51:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184237 loops (675/sec), 1140538933 sampling steps, 5314 aborted
loop condition 0.036749, exit probability 0.036748 in initial state
44234 explored states, 1 states in BSSCs (1 absorbing)
176387 component updates, 1098729726 transient state updates
Bounds: [0.96325+3.67491e-02]@[0.00000](176387)
Sep 13, 2024 10:51:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187619 loops (676/sec), 1161605303 sampling steps, 5412 aborted
loop condition 0.036602, exit probability 0.036602 in initial state
44302 explored states, 1 states in BSSCs (1 absorbing)
179671 component updates, 1119185416 transient state updates
Bounds: [0.96340+3.66023e-02]@[0.00000](179671)
Sep 13, 2024 10:51:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190991 loops (674/sec), 1182612185 sampling steps, 5501 aborted
loop condition 0.036454, exit probability 0.036454 in initial state
44348 explored states, 1 states in BSSCs (1 absorbing)
182954 component updates, 1139637492 transient state updates
Bounds: [0.96355+3.64545e-02]@[0.00000](182954)
Sep 13, 2024 10:51:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194370 loops (675/sec), 1203662759 sampling steps, 5601 aborted
loop condition 0.036290, exit probability 0.036290 in initial state
44398 explored states, 1 states in BSSCs (1 absorbing)
186233 component updates, 1160064936 transient state updates
Bounds: [0.96371+3.62902e-02]@[0.00000](186233)
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197742 loops (674/sec), 1224664813 sampling steps, 5686 aborted
loop condition 0.036169, exit probability 0.036168 in initial state
44494 explored states, 1 states in BSSCs (1 absorbing)
189519 component updates, 1180534212 transient state updates
Bounds: [0.96383+3.61690e-02]@[0.00000](189519)
Sep 13, 2024 10:51:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201127 loops (676/sec), 1245745592 sampling steps, 5787 aborted
loop condition 0.035999, exit probability 0.035998 in initial state
44549 explored states, 1 states in BSSCs (1 absorbing)
192802 component updates, 1200984768 transient state updates
Bounds: [0.96400+3.59988e-02]@[0.00000](192802)
Sep 13, 2024 10:51:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204505 loops (675/sec), 1266785554 sampling steps, 5891 aborted
loop condition 0.035838, exit probability 0.035837 in initial state
44632 explored states, 1 states in BSSCs (1 absorbing)
196075 component updates, 1221373586 transient state updates
Bounds: [0.96416+3.58375e-02]@[0.00000](196075)
Sep 13, 2024 10:52:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207872 loops (673/sec), 1287762440 sampling steps, 6003 aborted
loop condition 0.035679, exit probability 0.035679 in initial state
44688 explored states, 1 states in BSSCs (1 absorbing)
199330 component updates, 1241652218 transient state updates
Bounds: [0.96432+3.56790e-02]@[0.00000](199330)
Sep 13, 2024 10:52:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211240 loops (673/sec), 1308737185 sampling steps, 6112 aborted
loop condition 0.035549, exit probability 0.035549 in initial state
44732 explored states, 1 states in BSSCs (1 absorbing)
202588 component updates, 1261947356 transient state updates
Bounds: [0.96445+3.55490e-02]@[0.00000](202588)
Sep 13, 2024 10:52:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214595 loops (671/sec), 1329636755 sampling steps, 6213 aborted
loop condition 0.035439, exit probability 0.035438 in initial state
44781 explored states, 1 states in BSSCs (1 absorbing)
205842 component updates, 1282217374 transient state updates
Bounds: [0.96456+3.54389e-02]@[0.00000](205842)
Sep 13, 2024 10:52:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217985 loops (678/sec), 1350755973 sampling steps, 6316 aborted
loop condition 0.035341, exit probability 0.035341 in initial state
44820 explored states, 1 states in BSSCs (1 absorbing)
209129 component updates, 1302694656 transient state updates
Bounds: [0.96466+3.53414e-02]@[0.00000](209129)
Sep 13, 2024 10:52:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221360 loops (674/sec), 1371780335 sampling steps, 6412 aborted
loop condition 0.035209, exit probability 0.035209 in initial state
44898 explored states, 1 states in BSSCs (1 absorbing)
212408 component updates, 1323120726 transient state updates
Bounds: [0.96479+3.52093e-02]@[0.00000](212408)
Sep 13, 2024 10:52:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224745 loops (677/sec), 1392867357 sampling steps, 6508 aborted
loop condition 0.035054, exit probability 0.035054 in initial state
44967 explored states, 1 states in BSSCs (1 absorbing)
215697 component updates, 1343609674 transient state updates
Bounds: [0.96495+3.50542e-02]@[0.00000](215697)
Sep 13, 2024 10:52:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228134 loops (677/sec), 1413979483 sampling steps, 6612 aborted
loop condition 0.034923, exit probability 0.034923 in initial state
45015 explored states, 1 states in BSSCs (1 absorbing)
218982 component updates, 1364073678 transient state updates
Bounds: [0.96508+3.49231e-02]@[0.00000](218982)
Sep 13, 2024 10:52:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231514 loops (676/sec), 1435035099 sampling steps, 6725 aborted
loop condition 0.034793, exit probability 0.034792 in initial state
45093 explored states, 1 states in BSSCs (1 absorbing)
222249 component updates, 1384425100 transient state updates
Bounds: [0.96521+3.47926e-02]@[0.00000](222249)
Sep 13, 2024 10:52:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234895 loops (676/sec), 1456096986 sampling steps, 6821 aborted
loop condition 0.034654, exit probability 0.034653 in initial state
45202 explored states, 1 states in BSSCs (1 absorbing)
225533 component updates, 1404883556 transient state updates
Bounds: [0.96535+3.46539e-02]@[0.00000](225533)
Sep 13, 2024 10:52:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238272 loops (675/sec), 1477136306 sampling steps, 6926 aborted
loop condition 0.034513, exit probability 0.034513 in initial state
45270 explored states, 1 states in BSSCs (1 absorbing)
228805 component updates, 1425268264 transient state updates
Bounds: [0.96549+3.45133e-02]@[0.00000](228805)
Sep 13, 2024 10:52:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241647 loops (675/sec), 1498161808 sampling steps, 7026 aborted
loop condition 0.034418, exit probability 0.034418 in initial state
45339 explored states, 1 states in BSSCs (1 absorbing)
232080 component updates, 1445670492 transient state updates
Bounds: [0.96558+3.44184e-02]@[0.00000](232080)
Sep 13, 2024 10:52:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245028 loops (676/sec), 1519224418 sampling steps, 7125 aborted
loop condition 0.034301, exit probability 0.034301 in initial state
45374 explored states, 1 states in BSSCs (1 absorbing)
235362 component updates, 1466115930 transient state updates
Bounds: [0.96570+3.43013e-02]@[0.00000](235362)
Sep 13, 2024 10:53:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248409 loops (676/sec), 1540286740 sampling steps, 7229 aborted
loop condition 0.034184, exit probability 0.034184 in initial state
45424 explored states, 1 states in BSSCs (1 absorbing)
238639 component updates, 1486530170 transient state updates
Bounds: [0.96582+3.41841e-02]@[0.00000](238639)
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251777 loops (673/sec), 1561268442 sampling steps, 7336 aborted
loop condition 0.034055, exit probability 0.034054 in initial state
45476 explored states, 1 states in BSSCs (1 absorbing)
241900 component updates, 1506845028 transient state updates
Bounds: [0.96595+3.40547e-02]@[0.00000](241900)
Sep 13, 2024 10:53:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255153 loops (675/sec), 1582298566 sampling steps, 7438 aborted
loop condition 0.033945, exit probability 0.033944 in initial state
45502 explored states, 1 states in BSSCs (1 absorbing)
245174 component updates, 1527239678 transient state updates
Bounds: [0.96606+3.39445e-02]@[0.00000](245174)
Sep 13, 2024 10:53:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258533 loops (676/sec), 1603354572 sampling steps, 7535 aborted
loop condition 0.033827, exit probability 0.033827 in initial state
45551 explored states, 1 states in BSSCs (1 absorbing)
248457 component updates, 1547691262 transient state updates
Bounds: [0.96617+3.38271e-02]@[0.00000](248457)
Sep 13, 2024 10:53:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261914 loops (676/sec), 1624416436 sampling steps, 7631 aborted
loop condition 0.033741, exit probability 0.033740 in initial state
45602 explored states, 1 states in BSSCs (1 absorbing)
251742 component updates, 1568154978 transient state updates
Bounds: [0.96626+3.37407e-02]@[0.00000](251742)
Sep 13, 2024 10:53:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265302 loops (677/sec), 1645521670 sampling steps, 7727 aborted
loop condition 0.033640, exit probability 0.033640 in initial state
45645 explored states, 1 states in BSSCs (1 absorbing)
255034 component updates, 1588662028 transient state updates
Bounds: [0.96636+3.36401e-02]@[0.00000](255034)
Sep 13, 2024 10:53:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268689 loops (677/sec), 1666620586 sampling steps, 7818 aborted
loop condition 0.033552, exit probability 0.033552 in initial state
45669 explored states, 1 states in BSSCs (1 absorbing)
258330 component updates, 1609193852 transient state updates
Bounds: [0.96645+3.35522e-02]@[0.00000](258330)
Sep 13, 2024 10:53:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272070 loops (676/sec), 1687683278 sampling steps, 7927 aborted
loop condition 0.033439, exit probability 0.033439 in initial state
45715 explored states, 1 states in BSSCs (1 absorbing)
261602 component updates, 1629577416 transient state updates
Bounds: [0.96656+3.34391e-02]@[0.00000](261602)
Sep 13, 2024 10:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275451 loops (676/sec), 1708745326 sampling steps, 8028 aborted
loop condition 0.033332, exit probability 0.033331 in initial state
45776 explored states, 1 states in BSSCs (1 absorbing)
264882 component updates, 1650010126 transient state updates
Bounds: [0.96667+3.33318e-02]@[0.00000](264882)
Sep 13, 2024 10:53:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278839 loops (677/sec), 1729852596 sampling steps, 8121 aborted
loop condition 0.033254, exit probability 0.033254 in initial state
45801 explored states, 1 states in BSSCs (1 absorbing)
268177 component updates, 1670537806 transient state updates
Bounds: [0.96675+3.32540e-02]@[0.00000](268177)
Sep 13, 2024 10:53:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282225 loops (677/sec), 1750947710 sampling steps, 8226 aborted
loop condition 0.033154, exit probability 0.033153 in initial state
45849 explored states, 1 states in BSSCs (1 absorbing)
271458 component updates, 1690978470 transient state updates
Bounds: [0.96685+3.31537e-02]@[0.00000](271458)
Sep 13, 2024 10:53:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285603 loops (675/sec), 1771991688 sampling steps, 8321 aborted
loop condition 0.033062, exit probability 0.033062 in initial state
45891 explored states, 1 states in BSSCs (1 absorbing)
274741 component updates, 1711430306 transient state updates
Bounds: [0.96694+3.30623e-02]@[0.00000](274741)
Sep 13, 2024 10:54:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288975 loops (674/sec), 1792998210 sampling steps, 8414 aborted
loop condition 0.032989, exit probability 0.032989 in initial state
45935 explored states, 1 states in BSSCs (1 absorbing)
278020 component updates, 1731857302 transient state updates
Bounds: [0.96701+3.29895e-02]@[0.00000](278020)
Sep 13, 2024 10:54:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292350 loops (675/sec), 1814021800 sampling steps, 8511 aborted
loop condition 0.032923, exit probability 0.032923 in initial state
45969 explored states, 1 states in BSSCs (1 absorbing)
281298 component updates, 1752276466 transient state updates
Bounds: [0.96708+3.29229e-02]@[0.00000](281298)
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295699 loops (669/sec), 1834885216 sampling steps, 8596 aborted
loop condition 0.032839, exit probability 0.032839 in initial state
46010 explored states, 1 states in BSSCs (1 absorbing)
284562 component updates, 1772610084 transient state updates
Bounds: [0.96716+3.28393e-02]@[0.00000](284562)
Sep 13, 2024 10:54:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299092 loops (678/sec), 1856023356 sampling steps, 8702 aborted
loop condition 0.032787, exit probability 0.032787 in initial state
46032 explored states, 1 states in BSSCs (1 absorbing)
287849 component updates, 1793087710 transient state updates
Bounds: [0.96721+3.27869e-02]@[0.00000](287849)
Sep 13, 2024 10:54:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
302471 loops (675/sec), 1877073032 sampling steps, 8802 aborted
loop condition 0.032720, exit probability 0.032720 in initial state
46094 explored states, 1 states in BSSCs (1 absorbing)
291128 component updates, 1813513956 transient state updates
Bounds: [0.96728+3.27204e-02]@[0.00000](291128)
Sep 13, 2024 10:54:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305856 loops (677/sec), 1898159672 sampling steps, 8908 aborted
loop condition 0.032642, exit probability 0.032642 in initial state
46130 explored states, 1 states in BSSCs (1 absorbing)
294407 component updates, 1833939982 transient state updates
Bounds: [0.96736+3.26419e-02]@[0.00000](294407)
Sep 13, 2024 10:54:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309248 loops (678/sec), 1919289948 sampling steps, 9025 aborted
loop condition 0.032569, exit probability 0.032568 in initial state
46157 explored states, 1 states in BSSCs (1 absorbing)
297682 component updates, 1854341170 transient state updates
Bounds: [0.96743+3.25686e-02]@[0.00000](297682)
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312629 loops (676/sec), 1940349494 sampling steps, 9132 aborted
loop condition 0.032502, exit probability 0.032501 in initial state
46201 explored states, 1 states in BSSCs (1 absorbing)
300956 component updates, 1874733984 transient state updates
Bounds: [0.96750+3.25016e-02]@[0.00000](300956)
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316006 loops (675/sec), 1961387086 sampling steps, 9226 aborted
loop condition 0.032443, exit probability 0.032442 in initial state
46233 explored states, 1 states in BSSCs (1 absorbing)
304239 component updates, 1895185380 transient state updates
Bounds: [0.96756+3.24425e-02]@[0.00000](304239)
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319376 loops (674/sec), 1982379856 sampling steps, 9308 aborted
loop condition 0.032391, exit probability 0.032391 in initial state
46266 explored states, 1 states in BSSCs (1 absorbing)
307527 component updates, 1915667020 transient state updates
Bounds: [0.96761+3.23912e-02]@[0.00000](307527)
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322759 loops (676/sec), 2003454740 sampling steps, 9408 aborted
loop condition 0.032338, exit probability 0.032337 in initial state
46317 explored states, 1 states in BSSCs (1 absorbing)
310810 component updates, 1936118894 transient state updates
Bounds: [0.96766+3.23377e-02]@[0.00000](310810)
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326142 loops (676/sec), 2024529522 sampling steps, 9513 aborted
loop condition 0.032297, exit probability 0.032297 in initial state
46362 explored states, 1 states in BSSCs (1 absorbing)
314088 component updates, 1956539064 transient state updates
Bounds: [0.96770+3.22970e-02]@[0.00000](314088)
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329508 loops (673/sec), 2045497638 sampling steps, 9609 aborted
loop condition 0.032241, exit probability 0.032241 in initial state
46383 explored states, 1 states in BSSCs (1 absorbing)
317358 component updates, 1976908782 transient state updates
Bounds: [0.96776+3.22410e-02]@[0.00000](317358)
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332884 loops (675/sec), 2066527432 sampling steps, 9717 aborted
loop condition 0.032192, exit probability 0.032191 in initial state
46395 explored states, 1 states in BSSCs (1 absorbing)
320626 component updates, 1997265446 transient state updates
Bounds: [0.96781+3.21918e-02]@[0.00000](320626)
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336251 loops (673/sec), 2087502188 sampling steps, 9837 aborted
loop condition 0.032153, exit probability 0.032153 in initial state
46431 explored states, 1 states in BSSCs (1 absorbing)
323873 component updates, 2017492256 transient state updates
Bounds: [0.96785+3.21535e-02]@[0.00000](323873)
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
339624 loops (674/sec), 2108514352 sampling steps, 9931 aborted
loop condition 0.032112, exit probability 0.032112 in initial state
46469 explored states, 1 states in BSSCs (1 absorbing)
327152 component updates, 2037918784 transient state updates
Bounds: [0.96789+3.21119e-02]@[0.00000](327152)
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342991 loops (673/sec), 2129489842 sampling steps, 10015 aborted
loop condition 0.032078, exit probability 0.032078 in initial state
46510 explored states, 1 states in BSSCs (1 absorbing)
330435 component updates, 2058371254 transient state updates
Bounds: [0.96792+3.20783e-02]@[0.00000](330435)
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346370 loops (675/sec), 2150539926 sampling steps, 10114 aborted
loop condition 0.032037, exit probability 0.032037 in initial state
46539 explored states, 1 states in BSSCs (1 absorbing)
333715 component updates, 2078804480 transient state updates
Bounds: [0.96796+3.20370e-02]@[0.00000](333715)
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349763 loops (678/sec), 2171676524 sampling steps, 10235 aborted
loop condition 0.031973, exit probability 0.031973 in initial state
46555 explored states, 1 states in BSSCs (1 absorbing)
336987 component updates, 2099186956 transient state updates
Bounds: [0.96803+3.19733e-02]@[0.00000](336987)
Sep 13, 2024 10:55:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353128 loops (672/sec), 2192640034 sampling steps, 10321 aborted
loop condition 0.031929, exit probability 0.031929 in initial state
46573 explored states, 1 states in BSSCs (1 absorbing)
340266 component updates, 2119614504 transient state updates
Bounds: [0.96807+3.19291e-02]@[0.00000](340266)
Sep 13, 2024 10:55:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356511 loops (676/sec), 2213714842 sampling steps, 10431 aborted
loop condition 0.031896, exit probability 0.031895 in initial state
46612 explored states, 1 states in BSSCs (1 absorbing)
343539 component updates, 2140004060 transient state updates
Bounds: [0.96810+3.18957e-02]@[0.00000](343539)
Sep 13, 2024 10:55:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359892 loops (676/sec), 2234778166 sampling steps, 10543 aborted
loop condition 0.031863, exit probability 0.031863 in initial state
46638 explored states, 1 states in BSSCs (1 absorbing)
346808 component updates, 2160369226 transient state updates
Bounds: [0.96814+3.18633e-02]@[0.00000](346808)
Sep 13, 2024 10:55:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363261 loops (673/sec), 2255766292 sampling steps, 10639 aborted
loop condition 0.031835, exit probability 0.031835 in initial state
46677 explored states, 1 states in BSSCs (1 absorbing)
350081 component updates, 2180759288 transient state updates
Bounds: [0.96816+3.18351e-02]@[0.00000](350081)
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366630 loops (673/sec), 2276752542 sampling steps, 10732 aborted
loop condition 0.031801, exit probability 0.031800 in initial state
46693 explored states, 1 states in BSSCs (1 absorbing)
353357 component updates, 2201165914 transient state updates
Bounds: [0.96820+3.18007e-02]@[0.00000](353357)
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369990 loops (671/sec), 2297685812 sampling steps, 10828 aborted
loop condition 0.031781, exit probability 0.031781 in initial state
46717 explored states, 1 states in BSSCs (1 absorbing)
356621 component updates, 2221500890 transient state updates
Bounds: [0.96822+3.17810e-02]@[0.00000](356621)
Sep 13, 2024 10:56:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373351 loops (672/sec), 2318623110 sampling steps, 10921 aborted
loop condition 0.031759, exit probability 0.031759 in initial state
46725 explored states, 1 states in BSSCs (1 absorbing)
359889 component updates, 2241858544 transient state updates
Bounds: [0.96824+3.17588e-02]@[0.00000](359889)
Sep 13, 2024 10:56:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376701 loops (670/sec), 2339492094 sampling steps, 11015 aborted
loop condition 0.031707, exit probability 0.031707 in initial state
46750 explored states, 1 states in BSSCs (1 absorbing)
363145 component updates, 2262141930 transient state updates
Bounds: [0.96829+3.17073e-02]@[0.00000](363145)
Sep 13, 2024 10:56:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380071 loops (674/sec), 2360485350 sampling steps, 11115 aborted
loop condition 0.031660, exit probability 0.031660 in initial state
46773 explored states, 1 states in BSSCs (1 absorbing)
366415 component updates, 2282512052 transient state updates
Bounds: [0.96834+3.16605e-02]@[0.00000](366415)
Sep 13, 2024 10:56:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383440 loops (673/sec), 2381472066 sampling steps, 11210 aborted
loop condition 0.031631, exit probability 0.031630 in initial state
46806 explored states, 1 states in BSSCs (1 absorbing)
369689 component updates, 2302906698 transient state updates
Bounds: [0.96837+3.16306e-02]@[0.00000](369689)
Sep 13, 2024 10:56:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386799 loops (671/sec), 2402396376 sampling steps, 11306 aborted
loop condition 0.031608, exit probability 0.031607 in initial state
46820 explored states, 1 states in BSSCs (1 absorbing)
372952 component updates, 2323232928 transient state updates
Bounds: [0.96839+3.16075e-02]@[0.00000](372952)
Sep 13, 2024 10:56:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390165 loops (673/sec), 2423366232 sampling steps, 11391 aborted
loop condition 0.031588, exit probability 0.031588 in initial state
46843 explored states, 1 states in BSSCs (1 absorbing)
376233 component updates, 2343673008 transient state updates
Bounds: [0.96841+3.15880e-02]@[0.00000](376233)
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393525 loops (671/sec), 2444297648 sampling steps, 11485 aborted
loop condition 0.031573, exit probability 0.031572 in initial state
46874 explored states, 1 states in BSSCs (1 absorbing)
379499 component updates, 2364018824 transient state updates
Bounds: [0.96843+3.15725e-02]@[0.00000](379499)
Sep 13, 2024 10:56:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396884 loops (671/sec), 2465222860 sampling steps, 11577 aborted
loop condition 0.031547, exit probability 0.031547 in initial state
46890 explored states, 1 states in BSSCs (1 absorbing)
382766 component updates, 2384370902 transient state updates
Bounds: [0.96845+3.15469e-02]@[0.00000](382766)
Sep 13, 2024 10:56:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400253 loops (673/sec), 2486209652 sampling steps, 11678 aborted
loop condition 0.031514, exit probability 0.031514 in initial state
46921 explored states, 1 states in BSSCs (1 absorbing)
386034 component updates, 2404728206 transient state updates
Bounds: [0.96849+3.15138e-02]@[0.00000](386034)
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403616 loops (672/sec), 2507160290 sampling steps, 11782 aborted
loop condition 0.031473, exit probability 0.031472 in initial state
46947 explored states, 1 states in BSSCs (1 absorbing)
389293 component updates, 2425030544 transient state updates
Bounds: [0.96853+3.14726e-02]@[0.00000](389293)
Sep 13, 2024 10:56:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406992 loops (675/sec), 2528190794 sampling steps, 11908 aborted
loop condition 0.031438, exit probability 0.031438 in initial state
46962 explored states, 1 states in BSSCs (1 absorbing)
392543 component updates, 2445275946 transient state updates
Bounds: [0.96856+3.14384e-02]@[0.00000](392543)
Sep 13, 2024 10:57:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410344 loops (670/sec), 2549070258 sampling steps, 12003 aborted
loop condition 0.031411, exit probability 0.031411 in initial state
46986 explored states, 1 states in BSSCs (1 absorbing)
395800 component updates, 2465563436 transient state updates
Bounds: [0.96859+3.14109e-02]@[0.00000](395800)
Sep 13, 2024 10:57:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413712 loops (673/sec), 2570050912 sampling steps, 12113 aborted
loop condition 0.031388, exit probability 0.031388 in initial state
46997 explored states, 1 states in BSSCs (1 absorbing)
399058 component updates, 2485858480 transient state updates
Bounds: [0.96861+3.13881e-02]@[0.00000](399058)
Sep 13, 2024 10:57:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417045 loops (666/sec), 2590814076 sampling steps, 12195 aborted
loop condition 0.031358, exit probability 0.031358 in initial state
47024 explored states, 1 states in BSSCs (1 absorbing)
402309 component updates, 2506110490 transient state updates
Bounds: [0.96864+3.13581e-02]@[0.00000](402309)
Sep 13, 2024 10:57:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420415 loops (674/sec), 2611808652 sampling steps, 12298 aborted
loop condition 0.031331, exit probability 0.031330 in initial state
47034 explored states, 1 states in BSSCs (1 absorbing)
405576 component updates, 2526463172 transient state updates
Bounds: [0.96867+3.13306e-02]@[0.00000](405576)
Sep 13, 2024 10:57:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423777 loops (672/sec), 2632750838 sampling steps, 12390 aborted
loop condition 0.031311, exit probability 0.031310 in initial state
47035 explored states, 1 states in BSSCs (1 absorbing)
408846 component updates, 2546832106 transient state updates
Bounds: [0.96869+3.13108e-02]@[0.00000](408846)
Sep 13, 2024 10:57:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427145 loops (673/sec), 2653731186 sampling steps, 12478 aborted
loop condition 0.031291, exit probability 0.031291 in initial state
47055 explored states, 1 states in BSSCs (1 absorbing)
412126 component updates, 2567264070 transient state updates
Bounds: [0.96871+3.12912e-02]@[0.00000](412126)
Sep 13, 2024 10:57:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430517 loops (674/sec), 2674736392 sampling steps, 12589 aborted
loop condition 0.031272, exit probability 0.031272 in initial state
47068 explored states, 1 states in BSSCs (1 absorbing)
415387 component updates, 2587577376 transient state updates
Bounds: [0.96873+3.12720e-02]@[0.00000](415387)
Sep 13, 2024 10:57:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433882 loops (672/sec), 2695698882 sampling steps, 12678 aborted
loop condition 0.031261, exit probability 0.031261 in initial state
47093 explored states, 1 states in BSSCs (1 absorbing)
418663 component updates, 2607985374 transient state updates
Bounds: [0.96874+3.12610e-02]@[0.00000](418663)
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437255 loops (674/sec), 2716710986 sampling steps, 12777 aborted
loop condition 0.031244, exit probability 0.031244 in initial state
47120 explored states, 1 states in BSSCs (1 absorbing)
421937 component updates, 2628380524 transient state updates
Bounds: [0.96876+3.12439e-02]@[0.00000](421937)
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
440613 loops (671/sec), 2737629064 sampling steps, 12881 aborted
loop condition 0.031222, exit probability 0.031222 in initial state
47135 explored states, 1 states in BSSCs (1 absorbing)
425191 component updates, 2648649972 transient state updates
Bounds: [0.96878+3.12220e-02]@[0.00000](425191)
Sep 13, 2024 10:57:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443991 loops (675/sec), 2758674148 sampling steps, 12995 aborted
loop condition 0.031197, exit probability 0.031197 in initial state
47164 explored states, 1 states in BSSCs (1 absorbing)
428455 component updates, 2668984386 transient state updates
Bounds: [0.96880+3.11975e-02]@[0.00000](428455)
Sep 13, 2024 10:57:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447365 loops (674/sec), 2779690380 sampling steps, 13098 aborted
loop condition 0.031178, exit probability 0.031178 in initial state
47190 explored states, 1 states in BSSCs (1 absorbing)
431726 component updates, 2689358802 transient state updates
Bounds: [0.96882+3.11784e-02]@[0.00000](431726)
Sep 13, 2024 10:58:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450723 loops (671/sec), 2800611116 sampling steps, 13191 aborted
loop condition 0.031168, exit probability 0.031168 in initial state
47225 explored states, 1 states in BSSCs (1 absorbing)
434991 component updates, 2709699898 transient state updates
Bounds: [0.96883+3.11682e-02]@[0.00000](434991)
Sep 13, 2024 10:58:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454092 loops (673/sec), 2821599266 sampling steps, 13295 aborted
loop condition 0.031157, exit probability 0.031157 in initial state
47227 explored states, 1 states in BSSCs (1 absorbing)
438256 component updates, 2730040128 transient state updates
Bounds: [0.96884+3.11572e-02]@[0.00000](438256)
Sep 13, 2024 10:58:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457468 loops (675/sec), 2842631042 sampling steps, 13417 aborted
loop condition 0.031148, exit probability 0.031147 in initial state
47242 explored states, 1 states in BSSCs (1 absorbing)
441510 component updates, 2750311626 transient state updates
Bounds: [0.96885+3.11476e-02]@[0.00000](441510)
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460858 loops (678/sec), 2863748904 sampling steps, 13534 aborted
loop condition 0.031135, exit probability 0.031135 in initial state
47255 explored states, 1 states in BSSCs (1 absorbing)
444783 component updates, 2770700196 transient state updates
Bounds: [0.96886+3.11352e-02]@[0.00000](444783)
Sep 13, 2024 10:58:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464229 loops (674/sec), 2884749602 sampling steps, 13623 aborted
loop condition 0.031125, exit probability 0.031124 in initial state
47276 explored states, 1 states in BSSCs (1 absorbing)
448065 component updates, 2791146302 transient state updates
Bounds: [0.96888+3.11247e-02]@[0.00000](448065)
Sep 13, 2024 10:58:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467608 loops (675/sec), 2905799574 sampling steps, 13729 aborted
loop condition 0.031115, exit probability 0.031114 in initial state
47284 explored states, 1 states in BSSCs (1 absorbing)
451338 component updates, 2811535560 transient state updates
Bounds: [0.96889+3.11147e-02]@[0.00000](451338)
Sep 13, 2024 10:58:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470993 loops (677/sec), 2926887174 sampling steps, 13833 aborted
loop condition 0.031096, exit probability 0.031096 in initial state
47287 explored states, 1 states in BSSCs (1 absorbing)
454619 component updates, 2831975060 transient state updates
Bounds: [0.96890+3.10960e-02]@[0.00000](454619)
Sep 13, 2024 10:58:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
474368 loops (675/sec), 2947912228 sampling steps, 13928 aborted
loop condition 0.031078, exit probability 0.031078 in initial state
47311 explored states, 1 states in BSSCs (1 absorbing)
457899 component updates, 2852407956 transient state updates
Bounds: [0.96892+3.10781e-02]@[0.00000](457899)
Sep 13, 2024 10:58:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477752 loops (676/sec), 2968992994 sampling steps, 14038 aborted
loop condition 0.031050, exit probability 0.031050 in initial state
47334 explored states, 1 states in BSSCs (1 absorbing)
461173 component updates, 2872803120 transient state updates
Bounds: [0.96895+3.10504e-02]@[0.00000](461173)
Sep 13, 2024 10:58:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481134 loops (676/sec), 2990061336 sampling steps, 14138 aborted
loop condition 0.031033, exit probability 0.031033 in initial state
47347 explored states, 1 states in BSSCs (1 absorbing)
464455 component updates, 2893248174 transient state updates
Bounds: [0.96897+3.10334e-02]@[0.00000](464455)
Sep 13, 2024 10:58:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
484496 loops (672/sec), 3011003013 sampling steps, 14220 aborted
loop condition 0.031023, exit probability 0.031022 in initial state
47372 explored states, 1 states in BSSCs (1 absorbing)
467734 component updates, 2913674886 transient state updates
Bounds: [0.96898+3.10226e-02]@[0.00000](467734)
Sep 13, 2024 10:58:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487864 loops (673/sec), 3031983295 sampling steps, 14323 aborted
loop condition 0.031014, exit probability 0.031014 in initial state
47389 explored states, 1 states in BSSCs (1 absorbing)
470999 component updates, 2934013448 transient state updates
Bounds: [0.96899+3.10138e-02]@[0.00000](470999)
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491207 loops (668/sec), 3052809225 sampling steps, 14409 aborted
loop condition 0.030995, exit probability 0.030995 in initial state
47399 explored states, 1 states in BSSCs (1 absorbing)
474256 component updates, 2954303442 transient state updates
Bounds: [0.96901+3.09950e-02]@[0.00000](474256)
Sep 13, 2024 10:59:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494569 loops (672/sec), 3073752977 sampling steps, 14510 aborted
loop condition 0.030975, exit probability 0.030975 in initial state
47416 explored states, 1 states in BSSCs (1 absorbing)
477517 component updates, 2974617266 transient state updates
Bounds: [0.96902+3.09754e-02]@[0.00000](477517)
Sep 13, 2024 10:59:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
497921 loops (670/sec), 3094633975 sampling steps, 14598 aborted
loop condition 0.030963, exit probability 0.030962 in initial state
47430 explored states, 1 states in BSSCs (1 absorbing)
480781 component updates, 2994949834 transient state updates
Bounds: [0.96904+3.09627e-02]@[0.00000](480781)
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501285 loops (672/sec), 3115590625 sampling steps, 14682 aborted
loop condition 0.030943, exit probability 0.030943 in initial state
47473 explored states, 1 states in BSSCs (1 absorbing)
484061 component updates, 3015383122 transient state updates
Bounds: [0.96906+3.09431e-02]@[0.00000](484061)
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
504654 loops (673/sec), 3136577683 sampling steps, 14781 aborted
loop condition 0.030928, exit probability 0.030928 in initial state
47495 explored states, 1 states in BSSCs (1 absorbing)
487331 component updates, 3035753068 transient state updates
Bounds: [0.96907+3.09278e-02]@[0.00000](487331)
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508016 loops (672/sec), 3157521225 sampling steps, 14861 aborted
loop condition 0.030916, exit probability 0.030916 in initial state
47517 explored states, 1 states in BSSCs (1 absorbing)
490613 component updates, 3056198240 transient state updates
Bounds: [0.96908+3.09158e-02]@[0.00000](490613)
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511380 loops (672/sec), 3178475971 sampling steps, 14958 aborted
loop condition 0.030900, exit probability 0.030900 in initial state
47538 explored states, 1 states in BSSCs (1 absorbing)
493880 component updates, 3076548446 transient state updates
Bounds: [0.96910+3.08998e-02]@[0.00000](493880)
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514744 loops (672/sec), 3199430585 sampling steps, 15063 aborted
loop condition 0.030887, exit probability 0.030886 in initial state
47552 explored states, 1 states in BSSCs (1 absorbing)
497139 component updates, 3096848778 transient state updates
Bounds: [0.96911+3.08867e-02]@[0.00000](497139)
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518105 loops (672/sec), 3220366623 sampling steps, 15161 aborted
loop condition 0.030876, exit probability 0.030876 in initial state
47575 explored states, 1 states in BSSCs (1 absorbing)
500402 component updates, 3117174030 transient state updates
Bounds: [0.96912+3.08760e-02]@[0.00000](500402)
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
521463 loops (671/sec), 3241285753 sampling steps, 15248 aborted
loop condition 0.030861, exit probability 0.030860 in initial state
47594 explored states, 1 states in BSSCs (1 absorbing)
503673 component updates, 3137550928 transient state updates
Bounds: [0.96914+3.08605e-02]@[0.00000](503673)
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
524830 loops (673/sec), 3262260609 sampling steps, 15349 aborted
loop condition 0.030855, exit probability 0.030855 in initial state
47594 explored states, 1 states in BSSCs (1 absorbing)
506939 component updates, 3157896066 transient state updates
Bounds: [0.96915+3.08548e-02]@[0.00000](506939)
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528203 loops (674/sec), 3283274445 sampling steps, 15457 aborted
loop condition 0.030837, exit probability 0.030837 in initial state
47620 explored states, 1 states in BSSCs (1 absorbing)
510204 component updates, 3178236704 transient state updates
Bounds: [0.96916+3.08374e-02]@[0.00000](510204)
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531547 loops (668/sec), 3304107251 sampling steps, 15541 aborted
loop condition 0.030830, exit probability 0.030830 in initial state
47642 explored states, 1 states in BSSCs (1 absorbing)
513464 component updates, 3198545862 transient state updates
Bounds: [0.96917+3.08298e-02]@[0.00000](513464)
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
534895 loops (669/sec), 3324965433 sampling steps, 15637 aborted
loop condition 0.030808, exit probability 0.030808 in initial state
47669 explored states, 1 states in BSSCs (1 absorbing)
516716 component updates, 3218805642 transient state updates
Bounds: [0.96919+3.08078e-02]@[0.00000](516716)
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538245 loops (669/sec), 3345833585 sampling steps, 15739 aborted
loop condition 0.030794, exit probability 0.030794 in initial state
47670 explored states, 1 states in BSSCs (1 absorbing)
519964 component updates, 3239038100 transient state updates
Bounds: [0.96921+3.07943e-02]@[0.00000](519964)
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541627 loops (676/sec), 3366901363 sampling steps, 15857 aborted
loop condition 0.030784, exit probability 0.030784 in initial state
47678 explored states, 1 states in BSSCs (1 absorbing)
523228 component updates, 3259370676 transient state updates
Bounds: [0.96922+3.07842e-02]@[0.00000](523228)
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
545007 loops (675/sec), 3387957499 sampling steps, 15973 aborted
loop condition 0.030781, exit probability 0.030781 in initial state
47685 explored states, 1 states in BSSCs (1 absorbing)
526492 component updates, 3279703894 transient state updates
Bounds: [0.96922+3.07809e-02]@[0.00000](526492)
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548380 loops (674/sec), 3408969963 sampling steps, 16074 aborted
loop condition 0.030777, exit probability 0.030777 in initial state
47714 explored states, 1 states in BSSCs (1 absorbing)
529764 component updates, 3300086852 transient state updates
Bounds: [0.96922+3.07773e-02]@[0.00000](529764)
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
551748 loops (673/sec), 3429951573 sampling steps, 16169 aborted
loop condition 0.030775, exit probability 0.030775 in initial state
47722 explored states, 1 states in BSSCs (1 absorbing)
533037 component updates, 3320476286 transient state updates
Bounds: [0.96922+3.07755e-02]@[0.00000](533037)
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555132 loops (676/sec), 3451031353 sampling steps, 16274 aborted
loop condition 0.030770, exit probability 0.030770 in initial state
47774 explored states, 1 states in BSSCs (1 absorbing)
536316 component updates, 3340901596 transient state updates
Bounds: [0.96923+3.07699e-02]@[0.00000](536316)
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558495 loops (672/sec), 3471981319 sampling steps, 16354 aborted
loop condition 0.030766, exit probability 0.030766 in initial state
47802 explored states, 1 states in BSSCs (1 absorbing)
539599 component updates, 3361352732 transient state updates
Bounds: [0.96923+3.07662e-02]@[0.00000](539599)
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561881 loops (677/sec), 3493074065 sampling steps, 16463 aborted
loop condition 0.030762, exit probability 0.030762 in initial state
47829 explored states, 1 states in BSSCs (1 absorbing)
542876 component updates, 3381766306 transient state updates
Bounds: [0.96924+3.07624e-02]@[0.00000](542876)
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
565275 loops (678/sec), 3514217889 sampling steps, 16591 aborted
loop condition 0.030751, exit probability 0.030751 in initial state
47858 explored states, 1 states in BSSCs (1 absorbing)
546142 component updates, 3402111908 transient state updates
Bounds: [0.96925+3.07512e-02]@[0.00000](546142)
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
568647 loops (674/sec), 3535224109 sampling steps, 16688 aborted
loop condition 0.030735, exit probability 0.030735 in initial state
47880 explored states, 1 states in BSSCs (1 absorbing)
549417 component updates, 3422513566 transient state updates
Bounds: [0.96926+3.07352e-02]@[0.00000](549417)
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
572005 loops (671/sec), 3556141925 sampling steps, 16782 aborted
loop condition 0.030725, exit probability 0.030725 in initial state
47892 explored states, 1 states in BSSCs (1 absorbing)
552681 component updates, 3442845420 transient state updates
Bounds: [0.96928+3.07249e-02]@[0.00000](552681)
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
575365 loops (672/sec), 3577073593 sampling steps, 16887 aborted
loop condition 0.030721, exit probability 0.030721 in initial state
47919 explored states, 1 states in BSSCs (1 absorbing)
555936 component updates, 3463122820 transient state updates
Bounds: [0.96928+3.07208e-02]@[0.00000](555936)
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
578717 loops (670/sec), 3597954055 sampling steps, 16984 aborted
loop condition 0.030706, exit probability 0.030705 in initial state
47934 explored states, 1 states in BSSCs (1 absorbing)
559191 component updates, 3483398968 transient state updates
Bounds: [0.96929+3.07057e-02]@[0.00000](559191)
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582093 loops (675/sec), 3618984759 sampling steps, 17093 aborted
loop condition 0.030694, exit probability 0.030694 in initial state
47968 explored states, 1 states in BSSCs (1 absorbing)
562458 component updates, 3503750400 transient state updates
Bounds: [0.96931+3.06939e-02]@[0.00000](562458)
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
585457 loops (672/sec), 3639940459 sampling steps, 17187 aborted
loop condition 0.030692, exit probability 0.030692 in initial state
47976 explored states, 1 states in BSSCs (1 absorbing)
565728 component updates, 3524120156 transient state updates
Bounds: [0.96931+3.06919e-02]@[0.00000](565728)
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
588836 loops (675/sec), 3660991071 sampling steps, 17301 aborted
loop condition 0.030687, exit probability 0.030687 in initial state
47992 explored states, 1 states in BSSCs (1 absorbing)
568993 component updates, 3544460470 transient state updates
Bounds: [0.96931+3.06872e-02]@[0.00000](568993)
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592179 loops (668/sec), 3681815347 sampling steps, 17382 aborted
loop condition 0.030672, exit probability 0.030671 in initial state
48009 explored states, 1 states in BSSCs (1 absorbing)
572255 component updates, 3564780014 transient state updates
Bounds: [0.96933+3.06717e-02]@[0.00000](572255)
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
595552 loops (674/sec), 3702829307 sampling steps, 17478 aborted
loop condition 0.030662, exit probability 0.030662 in initial state
48009 explored states, 1 states in BSSCs (1 absorbing)
575532 component updates, 3585195890 transient state updates
Bounds: [0.96934+3.06621e-02]@[0.00000](575532)
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
598925 loops (674/sec), 3723842637 sampling steps, 17576 aborted
loop condition 0.030652, exit probability 0.030652 in initial state
48026 explored states, 1 states in BSSCs (1 absorbing)
578807 component updates, 3605598582 transient state updates
Bounds: [0.96935+3.06522e-02]@[0.00000](578807)
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
602296 loops (674/sec), 3744841637 sampling steps, 17669 aborted
loop condition 0.030645, exit probability 0.030645 in initial state
48026 explored states, 1 states in BSSCs (1 absorbing)
582085 component updates, 3626017868 transient state updates
Bounds: [0.96935+3.06454e-02]@[0.00000](582085)
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
605674 loops (675/sec), 3765885417 sampling steps, 17775 aborted
loop condition 0.030632, exit probability 0.030632 in initial state
48036 explored states, 1 states in BSSCs (1 absorbing)
585357 component updates, 3646400674 transient state updates
Bounds: [0.96937+3.06318e-02]@[0.00000](585357)
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
609035 loops (672/sec), 3786823687 sampling steps, 17861 aborted
loop condition 0.030627, exit probability 0.030626 in initial state
48060 explored states, 1 states in BSSCs (1 absorbing)
588632 component updates, 3666803106 transient state updates
Bounds: [0.96937+3.06267e-02]@[0.00000](588632)
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
612411 loops (675/sec), 3807855293 sampling steps, 17979 aborted
loop condition 0.030619, exit probability 0.030619 in initial state
48065 explored states, 1 states in BSSCs (1 absorbing)
591890 component updates, 3687099338 transient state updates
Bounds: [0.96938+3.06189e-02]@[0.00000](591890)
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
615774 loops (672/sec), 3828805539 sampling steps, 18087 aborted
loop condition 0.030610, exit probability 0.030610 in initial state
48080 explored states, 1 states in BSSCs (1 absorbing)
595145 component updates, 3707376206 transient state updates
Bounds: [0.96939+3.06102e-02]@[0.00000](595145)
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
619123 loops (669/sec), 3849669533 sampling steps, 18194 aborted
loop condition 0.030596, exit probability 0.030596 in initial state
48104 explored states, 1 states in BSSCs (1 absorbing)
598387 component updates, 3727573186 transient state updates
Bounds: [0.96940+3.05959e-02]@[0.00000](598387)
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
622483 loops (672/sec), 3870600457 sampling steps, 18280 aborted
loop condition 0.030593, exit probability 0.030592 in initial state
48108 explored states, 1 states in BSSCs (1 absorbing)
601661 component updates, 3747968456 transient state updates
Bounds: [0.96941+3.05926e-02]@[0.00000](601661)
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
625861 loops (675/sec), 3891640959 sampling steps, 18387 aborted
loop condition 0.030590, exit probability 0.030590 in initial state
48116 explored states, 1 states in BSSCs (1 absorbing)
604932 component updates, 3768342330 transient state updates
Bounds: [0.96941+3.05900e-02]@[0.00000](604932)
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629244 loops (676/sec), 3912715173 sampling steps, 18506 aborted
loop condition 0.030589, exit probability 0.030589 in initial state
48123 explored states, 1 states in BSSCs (1 absorbing)
608196 component updates, 3788674840 transient state updates
Bounds: [0.96941+3.05888e-02]@[0.00000](608196)
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
632625 loops (676/sec), 3933778345 sampling steps, 18628 aborted
loop condition 0.030588, exit probability 0.030588 in initial state
48125 explored states, 1 states in BSSCs (1 absorbing)
611455 component updates, 3808977648 transient state updates
Bounds: [0.96941+3.05878e-02]@[0.00000](611455)
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
635991 loops (673/sec), 3954747825 sampling steps, 18717 aborted
loop condition 0.030577, exit probability 0.030577 in initial state
48140 explored states, 1 states in BSSCs (1 absorbing)
614732 component updates, 3829392268 transient state updates
Bounds: [0.96942+3.05770e-02]@[0.00000](614732)
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639362 loops (674/sec), 3975748043 sampling steps, 18821 aborted
loop condition 0.030573, exit probability 0.030573 in initial state
48147 explored states, 1 states in BSSCs (1 absorbing)
617999 component updates, 3849744400 transient state updates
Bounds: [0.96943+3.05735e-02]@[0.00000](617999)
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
642726 loops (672/sec), 3996705443 sampling steps, 18916 aborted
loop condition 0.030570, exit probability 0.030569 in initial state
48147 explored states, 1 states in BSSCs (1 absorbing)
621268 component updates, 3870109412 transient state updates
Bounds: [0.96943+3.05697e-02]@[0.00000](621268)
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646080 loops (670/sec), 4017600783 sampling steps, 19005 aborted
loop condition 0.030568, exit probability 0.030568 in initial state
48166 explored states, 1 states in BSSCs (1 absorbing)
624533 component updates, 3890450424 transient state updates
Bounds: [0.96943+3.05683e-02]@[0.00000](624533)
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
649452 loops (674/sec), 4038606333 sampling steps, 19113 aborted
loop condition 0.030561, exit probability 0.030561 in initial state
48183 explored states, 1 states in BSSCs (1 absorbing)
627797 component updates, 3910782784 transient state updates
Bounds: [0.96944+3.05612e-02]@[0.00000](627797)
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
652811 loops (671/sec), 4059530079 sampling steps, 19211 aborted
loop condition 0.030560, exit probability 0.030559 in initial state
48190 explored states, 1 states in BSSCs (1 absorbing)
631058 component updates, 3931095742 transient state updates
Bounds: [0.96944+3.05597e-02]@[0.00000](631058)
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
656168 loops (671/sec), 4080443241 sampling steps, 19307 aborted
loop condition 0.030559, exit probability 0.030558 in initial state
48206 explored states, 1 states in BSSCs (1 absorbing)
634319 component updates, 3951410556 transient state updates
Bounds: [0.96944+3.05586e-02]@[0.00000](634319)
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
659508 loops (668/sec), 4101248713 sampling steps, 19399 aborted
loop condition 0.030558, exit probability 0.030557 in initial state
48207 explored states, 1 states in BSSCs (1 absorbing)
637567 component updates, 3971642844 transient state updates
Bounds: [0.96944+3.05575e-02]@[0.00000](637567)
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
662871 loops (672/sec), 4122198739 sampling steps, 19493 aborted
loop condition 0.030548, exit probability 0.030548 in initial state
48215 explored states, 1 states in BSSCs (1 absorbing)
640836 component updates, 3992006770 transient state updates
Bounds: [0.96945+3.05482e-02]@[0.00000](640836)
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
666241 loops (673/sec), 4143193609 sampling steps, 19579 aborted
loop condition 0.030547, exit probability 0.030547 in initial state
48215 explored states, 1 states in BSSCs (1 absorbing)
644120 component updates, 4012465706 transient state updates
Bounds: [0.96945+3.05474e-02]@[0.00000](644120)
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
669615 loops (674/sec), 4164212701 sampling steps, 19684 aborted
loop condition 0.030546, exit probability 0.030546 in initial state
48251 explored states, 1 states in BSSCs (1 absorbing)
647389 component updates, 4032830182 transient state updates
Bounds: [0.96945+3.05460e-02]@[0.00000](647389)
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
672989 loops (674/sec), 4185231769 sampling steps, 19788 aborted
loop condition 0.030545, exit probability 0.030545 in initial state
48258 explored states, 1 states in BSSCs (1 absorbing)
650659 component updates, 4053201100 transient state updates
Bounds: [0.96946+3.05450e-02]@[0.00000](650659)
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
676358 loops (673/sec), 4206219465 sampling steps, 19890 aborted
loop condition 0.030544, exit probability 0.030544 in initial state
48274 explored states, 1 states in BSSCs (1 absorbing)
653926 component updates, 4073553094 transient state updates
Bounds: [0.96946+3.05441e-02]@[0.00000](653926)
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
679728 loops (674/sec), 4227212903 sampling steps, 19987 aborted
loop condition 0.030539, exit probability 0.030539 in initial state
48286 explored states, 1 states in BSSCs (1 absorbing)
657199 component updates, 4093942070 transient state updates
Bounds: [0.96946+3.05391e-02]@[0.00000](657199)
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
683088 loops (672/sec), 4248145363 sampling steps, 20067 aborted
loop condition 0.030537, exit probability 0.030537 in initial state
48301 explored states, 1 states in BSSCs (1 absorbing)
660479 component updates, 4114375832 transient state updates
Bounds: [0.96946+3.05370e-02]@[0.00000](660479)
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
686458 loops (674/sec), 4269138825 sampling steps, 20159 aborted
loop condition 0.030533, exit probability 0.030533 in initial state
48310 explored states, 1 states in BSSCs (1 absorbing)
663757 component updates, 4134795762 transient state updates
Bounds: [0.96947+3.05334e-02]@[0.00000](663757)
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
689830 loops (674/sec), 4290144465 sampling steps, 20256 aborted
loop condition 0.030524, exit probability 0.030524 in initial state
48338 explored states, 1 states in BSSCs (1 absorbing)
667032 component updates, 4155196950 transient state updates
Bounds: [0.96948+3.05241e-02]@[0.00000](667032)
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
693202 loops (674/sec), 4311151261 sampling steps, 20364 aborted
loop condition 0.030523, exit probability 0.030523 in initial state
48378 explored states, 1 states in BSSCs (1 absorbing)
670296 component updates, 4175530730 transient state updates
Bounds: [0.96948+3.05229e-02]@[0.00000](670296)
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
696556 loops (670/sec), 4332044901 sampling steps, 20455 aborted
loop condition 0.030522, exit probability 0.030522 in initial state
48390 explored states, 1 states in BSSCs (1 absorbing)
673559 component updates, 4195857170 transient state updates
Bounds: [0.96948+3.05221e-02]@[0.00000](673559)
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699901 loops (669/sec), 4352884691 sampling steps, 20547 aborted
loop condition 0.030519, exit probability 0.030519 in initial state
48405 explored states, 1 states in BSSCs (1 absorbing)
676812 component updates, 4216123576 transient state updates
Bounds: [0.96948+3.05195e-02]@[0.00000](676812)
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
703272 loops (674/sec), 4373879221 sampling steps, 20654 aborted
loop condition 0.030515, exit probability 0.030515 in initial state
48444 explored states, 1 states in BSSCs (1 absorbing)
680075 component updates, 4236449158 transient state updates
Bounds: [0.96949+3.05149e-02]@[0.00000](680075)
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
706633 loops (672/sec), 4394813353 sampling steps, 20748 aborted
loop condition 0.030514, exit probability 0.030514 in initial state
48468 explored states, 1 states in BSSCs (1 absorbing)
683341 component updates, 4256795808 transient state updates
Bounds: [0.96949+3.05138e-02]@[0.00000](683341)
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
709985 loops (670/sec), 4415694529 sampling steps, 20819 aborted
loop condition 0.030513, exit probability 0.030513 in initial state
48489 explored states, 1 states in BSSCs (1 absorbing)
686622 component updates, 4277234282 transient state updates
Bounds: [0.96949+3.05130e-02]@[0.00000](686622)
Sep 13, 2024 11:04:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
713356 loops (674/sec), 4436693259 sampling steps, 20911 aborted
loop condition 0.030512, exit probability 0.030512 in initial state
48498 explored states, 1 states in BSSCs (1 absorbing)
689901 component updates, 4297659566 transient state updates
Bounds: [0.96949+3.05122e-02]@[0.00000](689901)
Sep 13, 2024 11:04:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
716721 loops (672/sec), 4457655935 sampling steps, 20997 aborted
loop condition 0.030508, exit probability 0.030508 in initial state
48514 explored states, 1 states in BSSCs (1 absorbing)
693180 component updates, 4318086208 transient state updates
Bounds: [0.96949+3.05084e-02]@[0.00000](693180)
Sep 13, 2024 11:04:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720098 loops (675/sec), 4478692909 sampling steps, 21098 aborted
loop condition 0.030499, exit probability 0.030499 in initial state
48539 explored states, 1 states in BSSCs (1 absorbing)
696456 component updates, 4338493532 transient state updates
Bounds: [0.96950+3.04994e-02]@[0.00000](696456)
Sep 13, 2024 11:04:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
723471 loops (674/sec), 4499704641 sampling steps, 21196 aborted
loop condition 0.030496, exit probability 0.030496 in initial state
48554 explored states, 1 states in BSSCs (1 absorbing)
699731 component updates, 4358894340 transient state updates
Bounds: [0.96950+3.04959e-02]@[0.00000](699731)
Sep 13, 2024 11:04:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
726843 loops (674/sec), 4520709785 sampling steps, 21299 aborted
loop condition 0.030494, exit probability 0.030494 in initial state
48568 explored states, 1 states in BSSCs (1 absorbing)
703000 component updates, 4379257424 transient state updates
Bounds: [0.96951+3.04941e-02]@[0.00000](703000)
Sep 13, 2024 11:04:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
730203 loops (672/sec), 4541641545 sampling steps, 21395 aborted
loop condition 0.030493, exit probability 0.030493 in initial state
48580 explored states, 1 states in BSSCs (1 absorbing)
706264 component updates, 4399590698 transient state updates
Bounds: [0.96951+3.04929e-02]@[0.00000](706264)
Sep 13, 2024 11:05:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
733548 loops (669/sec), 4562478091 sampling steps, 21502 aborted
loop condition 0.030492, exit probability 0.030492 in initial state
48599 explored states, 1 states in BSSCs (1 absorbing)
709502 component updates, 4419760442 transient state updates
Bounds: [0.96951+3.04921e-02]@[0.00000](709502)
Sep 13, 2024 11:05:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
736904 loops (671/sec), 4583385139 sampling steps, 21596 aborted
loop condition 0.030491, exit probability 0.030491 in initial state
48614 explored states, 1 states in BSSCs (1 absorbing)
712764 component updates, 4440081570 transient state updates
Bounds: [0.96951+3.04914e-02]@[0.00000](712764)
Sep 13, 2024 11:05:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740253 loops (669/sec), 4604247823 sampling steps, 21689 aborted
loop condition 0.030491, exit probability 0.030491 in initial state
48622 explored states, 1 states in BSSCs (1 absorbing)
716020 component updates, 4460364520 transient state updates
Bounds: [0.96951+3.04909e-02]@[0.00000](716020)
Sep 13, 2024 11:05:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
743612 loops (671/sec), 4625172027 sampling steps, 21789 aborted
loop condition 0.030490, exit probability 0.030490 in initial state
48636 explored states, 1 states in BSSCs (1 absorbing)
719279 component updates, 4480665724 transient state updates
Bounds: [0.96951+3.04903e-02]@[0.00000](719279)
Sep 13, 2024 11:05:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746974 loops (672/sec), 4646116473 sampling steps, 21882 aborted
loop condition 0.030490, exit probability 0.030489 in initial state
48643 explored states, 1 states in BSSCs (1 absorbing)
722548 component updates, 4501030580 transient state updates
Bounds: [0.96951+3.04897e-02]@[0.00000](722548)
Sep 13, 2024 11:05:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
750343 loops (673/sec), 4667104711 sampling steps, 21987 aborted
loop condition 0.030489, exit probability 0.030489 in initial state
48658 explored states, 1 states in BSSCs (1 absorbing)
725812 component updates, 4521364498 transient state updates
Bounds: [0.96951+3.04891e-02]@[0.00000](725812)
Sep 13, 2024 11:05:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
753724 loops (676/sec), 4688166975 sampling steps, 22091 aborted
loop condition 0.030489, exit probability 0.030488 in initial state
48658 explored states, 1 states in BSSCs (1 absorbing)
729089 component updates, 4541778690 transient state updates
Bounds: [0.96951+3.04887e-02]@[0.00000](729089)
Sep 13, 2024 11:05:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
757114 loops (677/sec), 4709285645 sampling steps, 22202 aborted
loop condition 0.030488, exit probability 0.030488 in initial state
48665 explored states, 1 states in BSSCs (1 absorbing)
732368 component updates, 4562205392 transient state updates
Bounds: [0.96951+3.04882e-02]@[0.00000](732368)
Sep 13, 2024 11:05:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760480 loops (673/sec), 4730253893 sampling steps, 22301 aborted
loop condition 0.030488, exit probability 0.030487 in initial state
48672 explored states, 1 states in BSSCs (1 absorbing)
735635 component updates, 4582556406 transient state updates
Bounds: [0.96951+3.04876e-02]@[0.00000](735635)
Sep 13, 2024 11:05:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
763841 loops (672/sec), 4751190639 sampling steps, 22383 aborted
loop condition 0.030487, exit probability 0.030487 in initial state
48705 explored states, 1 states in BSSCs (1 absorbing)
738914 component updates, 4602982224 transient state updates
Bounds: [0.96951+3.04870e-02]@[0.00000](738914)
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
767210 loops (673/sec), 4772178567 sampling steps, 22480 aborted
loop condition 0.030480, exit probability 0.030479 in initial state
48725 explored states, 1 states in BSSCs (1 absorbing)
742186 component updates, 4623365692 transient state updates
Bounds: [0.96952+3.04795e-02]@[0.00000](742186)
Sep 13, 2024 11:05:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
770577 loops (673/sec), 4793154401 sampling steps, 22570 aborted
loop condition 0.030479, exit probability 0.030478 in initial state
48725 explored states, 1 states in BSSCs (1 absorbing)
745463 component updates, 4643780522 transient state updates
Bounds: [0.96952+3.04785e-02]@[0.00000](745463)
Sep 13, 2024 11:06:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773947 loops (673/sec), 4814146841 sampling steps, 22678 aborted
loop condition 0.030478, exit probability 0.030478 in initial state
48732 explored states, 1 states in BSSCs (1 absorbing)
748725 component updates, 4664099840 transient state updates
Bounds: [0.96952+3.04779e-02]@[0.00000](748725)
Sep 13, 2024 11:06:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
777302 loops (671/sec), 4835046255 sampling steps, 22780 aborted
loop condition 0.030477, exit probability 0.030477 in initial state
48758 explored states, 1 states in BSSCs (1 absorbing)
751978 component updates, 4684364016 transient state updates
Bounds: [0.96952+3.04771e-02]@[0.00000](751978)
Sep 13, 2024 11:06:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
780648 loops (669/sec), 4855891265 sampling steps, 22876 aborted
loop condition 0.030476, exit probability 0.030476 in initial state
48784 explored states, 1 states in BSSCs (1 absorbing)
755228 component updates, 4704610708 transient state updates
Bounds: [0.96952+3.04764e-02]@[0.00000](755228)
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
784011 loops (672/sec), 4876840767 sampling steps, 22970 aborted
loop condition 0.030475, exit probability 0.030475 in initial state
48792 explored states, 1 states in BSSCs (1 absorbing)
758497 component updates, 4724974658 transient state updates
Bounds: [0.96952+3.04753e-02]@[0.00000](758497)
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
787384 loops (674/sec), 4897851659 sampling steps, 23058 aborted
loop condition 0.030475, exit probability 0.030475 in initial state
48800 explored states, 1 states in BSSCs (1 absorbing)
761782 component updates, 4745436852 transient state updates
Bounds: [0.96953+3.04748e-02]@[0.00000](761782)
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790764 loops (676/sec), 4918907291 sampling steps, 23165 aborted
loop condition 0.030474, exit probability 0.030474 in initial state
48826 explored states, 1 states in BSSCs (1 absorbing)
765055 component updates, 4765825716 transient state updates
Bounds: [0.96953+3.04740e-02]@[0.00000](765055)
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
794131 loops (673/sec), 4939882123 sampling steps, 23263 aborted
loop condition 0.030473, exit probability 0.030473 in initial state
48826 explored states, 1 states in BSSCs (1 absorbing)
768324 component updates, 4786189414 transient state updates
Bounds: [0.96953+3.04734e-02]@[0.00000](768324)
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
797511 loops (676/sec), 4960938415 sampling steps, 23368 aborted
loop condition 0.030473, exit probability 0.030472 in initial state
48853 explored states, 1 states in BSSCs (1 absorbing)
771599 component updates, 4806591170 transient state updates
Bounds: [0.96953+3.04726e-02]@[0.00000](771599)
Sep 13, 2024 11:06:39 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 4, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
800744 loops (646/sec), 4981078817 sampling steps, 23396 aborted
loop condition 0.030472, exit probability 0.020400 in initial state
48853 explored states, 5 states in BSSCs (5 absorbing)
774804 component updates, 4826556988 transient state updates
Bounds: [0.96953+3.04720e-02]@[0.00000](774742), [4.5320e-53+3.04724e-02]@[0.00000](3), [1.4235e-13+3.04724e-02]@[0.00000](59), [0.0000+3.04724e-02]@[0.00000](0), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
804062 loops (663/sec), 5001748649 sampling steps, 23396 aborted
loop condition 0.030471, exit probability 0.010220 in initial state
48885 explored states, 5 states in BSSCs (5 absorbing)
778122 component updates, 4847226820 transient state updates
Bounds: [0.96953+3.04710e-02]@[0.00000](777969), [1.9933e-43+3.04724e-02]@[0.00000](6), [8.1536e-11+3.04724e-02]@[0.00000](147), [0.0000+3.04724e-02]@[0.00000](0), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
807389 loops (665/sec), 5022475127 sampling steps, 23396 aborted
loop condition 0.030470, exit probability 0.0060930 in initial state
48897 explored states, 5 states in BSSCs (5 absorbing)
781449 component updates, 4867953298 transient state updates
Bounds: [0.96953+3.04699e-02]@[0.00000](781185), [5.2824e-33+3.04724e-02]@[0.00000](9), [4.5755e-09+3.04724e-02]@[0.00000](255), [0.0000+3.04724e-02]@[0.00000](0), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
810715 loops (665/sec), 5043196515 sampling steps, 23396 aborted
loop condition 0.030469, exit probability 0.0039560 in initial state
48904 explored states, 5 states in BSSCs (5 absorbing)
784775 component updates, 4888674686 transient state updates
Bounds: [0.96953+3.04692e-02]@[0.00000](784413), [5.7301e-31+3.04724e-02]@[0.00000](12), [5.0137e-08+3.04723e-02]@[0.00000](350), [0.0000+3.04724e-02]@[0.00000](0), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
814032 loops (663/sec), 5063861107 sampling steps, 23396 aborted
loop condition 0.030468, exit probability 0.0027813 in initial state
48919 explored states, 5 states in BSSCs (5 absorbing)
788092 component updates, 4909339278 transient state updates
Bounds: [0.96953+3.04685e-02]@[0.00000](787636), [4.3690e-29+3.04724e-02]@[0.00000](15), [3.3412e-07+3.04720e-02]@[0.00000](441), [0.0000+3.04724e-02]@[0.00000](0), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
817348 loops (663/sec), 5084518367 sampling steps, 23396 aborted
loop condition 0.030466, exit probability 0.0021303 in initial state
48924 explored states, 5 states in BSSCs (5 absorbing)
791408 component updates, 4929996538 transient state updates
Bounds: [0.96953+3.04679e-02]@[0.00000](790850), [5.3664e-27+3.04724e-02]@[0.00000](17), [1.6663e-06+3.04707e-02]@[0.00000](541), [0.0000+3.04724e-02]@[0.00000](0), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
820655 loops (661/sec), 5105119493 sampling steps, 23396 aborted
loop condition 0.030463, exit probability 0.0017814 in initial state
48938 explored states, 5 states in BSSCs (5 absorbing)
794715 component updates, 4950597664 transient state updates
Bounds: [0.96953+3.04673e-02]@[0.00000](794066), [1.5475e-21+3.04724e-02]@[0.00000](21), [4.7665e-06+3.04676e-02]@[0.00000](627), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
823979 loops (664/sec), 5125828677 sampling steps, 23396 aborted
loop condition 0.030451, exit probability 0.0015756 in initial state
48951 explored states, 5 states in BSSCs (5 absorbing)
798039 component updates, 4971306848 transient state updates
Bounds: [0.96953+3.04665e-02]@[0.00000](797281), [4.3119e-20+3.04724e-02]@[0.00000](22), [1.5805e-05+3.04565e-02]@[0.00000](735), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
827307 loops (665/sec), 5146561315 sampling steps, 23396 aborted
loop condition 0.030425, exit probability 0.0014535 in initial state
48958 explored states, 5 states in BSSCs (5 absorbing)
801367 component updates, 4992039486 transient state updates
Bounds: [0.96953+3.04658e-02]@[0.00000](800507), [4.3119e-20+3.04724e-02]@[0.00000](22), [4.1252e-05+3.04311e-02]@[0.00000](837), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
830648 loops (668/sec), 5167374767 sampling steps, 23396 aborted
loop condition 0.030366, exit probability 0.0013841 in initial state
48959 explored states, 5 states in BSSCs (5 absorbing)
804708 component updates, 5012852938 transient state updates
Bounds: [0.96953+3.04652e-02]@[0.00000](803746), [4.3119e-20+3.04724e-02]@[0.00000](22), [9.8788e-05+3.03735e-02]@[0.00000](939), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
833979 loops (666/sec), 5188123045 sampling steps, 23396 aborted
loop condition 0.030257, exit probability 0.0013380 in initial state
48967 explored states, 5 states in BSSCs (5 absorbing)
808039 component updates, 5033601216 transient state updates
Bounds: [0.96954+3.04646e-02]@[0.00000](806980), [4.3990e-20+3.04724e-02]@[0.00000](23), [0.00020745+3.02649e-02]@[0.00000](1035), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
837305 loops (665/sec), 5208842349 sampling steps, 23396 aborted
loop condition 0.030085, exit probability 0.0013037 in initial state
48967 explored states, 5 states in BSSCs (5 absorbing)
811365 component updates, 5054320520 transient state updates
Bounds: [0.96954+3.04643e-02]@[0.00000](810208), [8.0296e-18+3.04724e-02]@[0.00000](29), [0.00037888+3.00934e-02]@[0.00000](1127), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
840648 loops (668/sec), 5229668013 sampling steps, 23396 aborted
loop condition 0.029792, exit probability 0.0012790 in initial state
48983 explored states, 5 states in BSSCs (5 absorbing)
814708 component updates, 5075146184 transient state updates
Bounds: [0.96954+3.04639e-02]@[0.00000](813444), [2.0601e-16+3.04724e-02]@[0.00000](31), [0.00067196+2.98003e-02]@[0.00000](1232), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
843986 loops (667/sec), 5250465021 sampling steps, 23396 aborted
loop condition 0.029430, exit probability 0.0012597 in initial state
48991 explored states, 5 states in BSSCs (5 absorbing)
818046 component updates, 5095943192 transient state updates
Bounds: [0.96954+3.04633e-02]@[0.00000](816684), [2.3790e-16+3.04724e-02]@[0.00000](35), [0.0010334+2.94389e-02]@[0.00000](1326), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
847324 loops (667/sec), 5271260543 sampling steps, 23396 aborted
loop condition 0.028910, exit probability 0.0012419 in initial state
48992 explored states, 5 states in BSSCs (5 absorbing)
821384 component updates, 5116738714 transient state updates
Bounds: [0.96954+3.04626e-02]@[0.00000](819924), [5.5108e-16+3.04724e-02]@[0.00000](40), [0.0015526+2.89197e-02]@[0.00000](1419), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
850654 loops (666/sec), 5292004985 sampling steps, 23396 aborted
loop condition 0.028199, exit probability 0.0012255 in initial state
48992 explored states, 5 states in BSSCs (5 absorbing)
824714 component updates, 5137483156 transient state updates
Bounds: [0.96954+3.04622e-02]@[0.00000](823145), [5.6223e-16+3.04724e-02]@[0.00000](41), [0.0022631+2.82091e-02]@[0.00000](1527), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853981 loops (665/sec), 5312730897 sampling steps, 23396 aborted
loop condition 0.027453, exit probability 0.0012098 in initial state
48999 explored states, 5 states in BSSCs (5 absorbing)
828041 component updates, 5158209068 transient state updates
Bounds: [0.96954+3.04616e-02]@[0.00000](826373), [6.2977e-16+3.04724e-02]@[0.00000](44), [0.0030085+2.74636e-02]@[0.00000](1623), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
857304 loops (664/sec), 5333430955 sampling steps, 23396 aborted
loop condition 0.026767, exit probability 0.0011937 in initial state
49014 explored states, 5 states in BSSCs (5 absorbing)
831364 component updates, 5178909126 transient state updates
Bounds: [0.96954+3.04610e-02]@[0.00000](829613), [1.2572e-15+3.04724e-02]@[0.00000](46), [0.0036937+2.67784e-02]@[0.00000](1704), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
860614 loops (662/sec), 5354049636 sampling steps, 23396 aborted
loop condition 0.026009, exit probability 0.0011783 in initial state
49025 explored states, 5 states in BSSCs (5 absorbing)
834673 component updates, 5199523794 transient state updates
Bounds: [0.96954+3.04603e-02]@[0.00000](832838), [2.0305e-15+3.04724e-02]@[0.00000](52), [0.0044517+2.60203e-02]@[0.00000](1782), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
863943 loops (665/sec), 5374786880 sampling steps, 23396 aborted
loop condition 0.025066, exit probability 0.0011649 in initial state
49057 explored states, 5 states in BSSCs (5 absorbing)
838002 component updates, 5220261038 transient state updates
Bounds: [0.96954+3.04595e-02]@[0.00000](836057), [2.2483e-15+3.04724e-02]@[0.00000](54), [0.0053934+2.50786e-02]@[0.00000](1890), [4.2685e-87+3.04724e-02]@[0.00000](1), [0.0000+3.04724e-02]@[0.00000](0)
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
867265 loops (664/sec), 5395482076 sampling steps, 23396 aborted
loop condition 0.024245, exit probability 0.0011514 in initial state
49083 explored states, 5 states in BSSCs (5 absorbing)
841324 component updates, 5240956234 transient state updates
Bounds: [0.96954+3.04586e-02]@[0.00000](839289), [2.2924e-15+3.04724e-02]@[0.00000](55), [0.0062135+2.42586e-02]@[0.00000](1978), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.0897e-70+3.04724e-02]@[0.00000](1)
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
870585 loops (664/sec), 5416164852 sampling steps, 23396 aborted
loop condition 0.023530, exit probability 0.0011344 in initial state
49097 explored states, 5 states in BSSCs (5 absorbing)
844644 component updates, 5261639010 transient state updates
Bounds: [0.96954+3.04578e-02]@[0.00000](842515), [2.2924e-15+3.04724e-02]@[0.00000](55), [0.0069282+2.35439e-02]@[0.00000](2071), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.3609e-63+3.04724e-02]@[0.00000](2)
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
873900 loops (663/sec), 5436815544 sampling steps, 23396 aborted
loop condition 0.022490, exit probability 0.0011187 in initial state
49123 explored states, 5 states in BSSCs (5 absorbing)
847959 component updates, 5282289702 transient state updates
Bounds: [0.96954+3.04568e-02]@[0.00000](845723), [4.8745e-15+3.04724e-02]@[0.00000](59), [0.0079670+2.25050e-02]@[0.00000](2173), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
877224 loops (664/sec), 5457522130 sampling steps, 23396 aborted
loop condition 0.021614, exit probability 0.0011045 in initial state
49138 explored states, 5 states in BSSCs (5 absorbing)
851283 component updates, 5302996288 transient state updates
Bounds: [0.96954+3.04559e-02]@[0.00000](848955), [8.9600e-15+3.04724e-02]@[0.00000](62), [0.0088421+2.16299e-02]@[0.00000](2262), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
880541 loops (663/sec), 5478186194 sampling steps, 23396 aborted
loop condition 0.020777, exit probability 0.0010903 in initial state
49153 explored states, 5 states in BSSCs (5 absorbing)
854600 component updates, 5323660352 transient state updates
Bounds: [0.96955+3.04550e-02]@[0.00000](852173), [8.9998e-15+3.04724e-02]@[0.00000](63), [0.0096783+2.07937e-02]@[0.00000](2360), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
883873 loops (666/sec), 5498942230 sampling steps, 23396 aborted
loop condition 0.020105, exit probability 0.0010792 in initial state
49158 explored states, 5 states in BSSCs (5 absorbing)
857932 component updates, 5344416388 transient state updates
Bounds: [0.96955+3.04544e-02]@[0.00000](855421), [1.0721e-14+3.04724e-02]@[0.00000](64), [0.010349+2.01231e-02]@[0.00000](2443), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
887201 loops (665/sec), 5519674080 sampling steps, 23396 aborted
loop condition 0.019394, exit probability 0.0010686 in initial state
49170 explored states, 5 states in BSSCs (5 absorbing)
861260 component updates, 5365148238 transient state updates
Bounds: [0.96955+3.04539e-02]@[0.00000](858650), [1.1516e-14+3.04724e-02]@[0.00000](68), [0.011060+1.94121e-02]@[0.00000](2538), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
890515 loops (662/sec), 5540319766 sampling steps, 23396 aborted
loop condition 0.018575, exit probability 0.0010592 in initial state
49170 explored states, 5 states in BSSCs (5 absorbing)
864574 component updates, 5385793924 transient state updates
Bounds: [0.96955+3.04534e-02]@[0.00000](861862), [1.7969e-14+3.04724e-02]@[0.00000](72), [0.011878+1.85940e-02]@[0.00000](2636), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
893839 loops (664/sec), 5561026114 sampling steps, 23396 aborted
loop condition 0.018103, exit probability 0.0010487 in initial state
49181 explored states, 5 states in BSSCs (5 absorbing)
867898 component updates, 5406500272 transient state updates
Bounds: [0.96955+3.04526e-02]@[0.00000](865098), [3.3137e-14+3.04724e-02]@[0.00000](79), [0.012349+1.81225e-02]@[0.00000](2717), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
897157 loops (663/sec), 5581694436 sampling steps, 23396 aborted
loop condition 0.017429, exit probability 0.0010382 in initial state
49204 explored states, 5 states in BSSCs (5 absorbing)
871216 component updates, 5427168594 transient state updates
Bounds: [0.96955+3.04517e-02]@[0.00000](868322), [3.8148e-14+3.04724e-02]@[0.00000](81), [0.013023+1.74490e-02]@[0.00000](2809), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
900469 loops (662/sec), 5602327316 sampling steps, 23396 aborted
loop condition 0.017077, exit probability 0.0010296 in initial state
49232 explored states, 5 states in BSSCs (5 absorbing)
874528 component updates, 5447801474 transient state updates
Bounds: [0.96955+3.04510e-02]@[0.00000](871549), [6.9311e-14+3.04724e-02]@[0.00000](85), [0.013374+1.70982e-02]@[0.00000](2890), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
903793 loops (664/sec), 5623033502 sampling steps, 23396 aborted
loop condition 0.016643, exit probability 0.0010217 in initial state
49254 explored states, 5 states in BSSCs (5 absorbing)
877852 component updates, 5468507660 transient state updates
Bounds: [0.96955+3.04504e-02]@[0.00000](874766), [7.6342e-14+3.04724e-02]@[0.00000](86), [0.013807+1.66647e-02]@[0.00000](2996), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
907119 loops (665/sec), 5643753156 sampling steps, 23396 aborted
loop condition 0.016215, exit probability 0.0010130 in initial state
49261 explored states, 5 states in BSSCs (5 absorbing)
881178 component updates, 5489227314 transient state updates
Bounds: [0.96955+3.04499e-02]@[0.00000](877981), [8.3473e-14+3.04724e-02]@[0.00000](90), [0.014235+1.62371e-02]@[0.00000](3103), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
910444 loops (665/sec), 5664468358 sampling steps, 23396 aborted
loop condition 0.015793, exit probability 0.0010027 in initial state
49267 explored states, 5 states in BSSCs (5 absorbing)
884503 component updates, 5509942516 transient state updates
Bounds: [0.96955+3.04492e-02]@[0.00000](881193), [1.1373e-13+3.04724e-02]@[0.00000](91), [0.014656+1.58156e-02]@[0.00000](3215), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
913775 loops (666/sec), 5685217530 sampling steps, 23396 aborted
loop condition 0.015501, exit probability 0.00099323 in initial state
49284 explored states, 5 states in BSSCs (5 absorbing)
887834 component updates, 5530691688 transient state updates
Bounds: [0.96955+3.04487e-02]@[0.00000](884426), [1.2874e-13+3.04724e-02]@[0.00000](95), [0.014947+1.55246e-02]@[0.00000](3309), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
917108 loops (666/sec), 5705980680 sampling steps, 23396 aborted
loop condition 0.015157, exit probability 0.00098527 in initial state
49285 explored states, 5 states in BSSCs (5 absorbing)
891167 component updates, 5551454838 transient state updates
Bounds: [0.96955+3.04483e-02]@[0.00000](887643), [1.6170e-13+3.04724e-02]@[0.00000](100), [0.015291+1.51807e-02]@[0.00000](3420), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
920449 loops (668/sec), 5726793150 sampling steps, 23396 aborted
loop condition 0.014867, exit probability 0.00097673 in initial state
49303 explored states, 5 states in BSSCs (5 absorbing)
894508 component updates, 5572267308 transient state updates
Bounds: [0.96955+3.04478e-02]@[0.00000](890872), [2.9065e-13+3.04724e-02]@[0.00000](104), [0.015581+1.48912e-02]@[0.00000](3528), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
923782 loops (666/sec), 5747556012 sampling steps, 23396 aborted
loop condition 0.014635, exit probability 0.00096852 in initial state
49303 explored states, 5 states in BSSCs (5 absorbing)
897841 component updates, 5593030170 transient state updates
Bounds: [0.96955+3.04474e-02]@[0.00000](894111), [3.1298e-13+3.04724e-02]@[0.00000](107), [0.015812+1.46593e-02]@[0.00000](3619), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
927110 loops (665/sec), 5768287636 sampling steps, 23396 aborted
loop condition 0.014290, exit probability 0.00096040 in initial state
49311 explored states, 5 states in BSSCs (5 absorbing)
901169 component updates, 5613761794 transient state updates
Bounds: [0.96955+3.04469e-02]@[0.00000](897310), [4.4641e-13+3.04724e-02]@[0.00000](112), [0.016157+1.43148e-02]@[0.00000](3743), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:09:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
930436 loops (665/sec), 5789007762 sampling steps, 23396 aborted
loop condition 0.014007, exit probability 0.00095299 in initial state
49325 explored states, 5 states in BSSCs (5 absorbing)
904495 component updates, 5634481920 transient state updates
Bounds: [0.96955+3.04464e-02]@[0.00000](900543), [4.5877e-13+3.04724e-02]@[0.00000](114), [0.016439+1.40324e-02]@[0.00000](3834), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
933753 loops (663/sec), 5809672592 sampling steps, 23396 aborted
loop condition 0.013779, exit probability 0.00094605 in initial state
49332 explored states, 5 states in BSSCs (5 absorbing)
907812 component updates, 5655146750 transient state updates
Bounds: [0.96955+3.04458e-02]@[0.00000](903764), [4.9350e-13+3.04724e-02]@[0.00000](116), [0.016667+1.38044e-02]@[0.00000](3928), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
937069 loops (663/sec), 5830330170 sampling steps, 23396 aborted
loop condition 0.013492, exit probability 0.00093912 in initial state
49340 explored states, 5 states in BSSCs (5 absorbing)
911128 component updates, 5675804328 transient state updates
Bounds: [0.96955+3.04453e-02]@[0.00000](906956), [7.0452e-13+3.04724e-02]@[0.00000](120), [0.016953+1.35184e-02]@[0.00000](4048), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
940381 loops (662/sec), 5850963820 sampling steps, 23396 aborted
loop condition 0.013228, exit probability 0.00093348 in initial state
49347 explored states, 5 states in BSSCs (5 absorbing)
914440 component updates, 5696437978 transient state updates
Bounds: [0.96956+3.04448e-02]@[0.00000](910150), [7.8480e-13+3.04724e-02]@[0.00000](123), [0.017217+1.32545e-02]@[0.00000](4163), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
943710 loops (665/sec), 5871702074 sampling steps, 23396 aborted
loop condition 0.013002, exit probability 0.00092780 in initial state
49356 explored states, 5 states in BSSCs (5 absorbing)
917769 component updates, 5717176232 transient state updates
Bounds: [0.96956+3.04442e-02]@[0.00000](913379), [8.9074e-13+3.04724e-02]@[0.00000](126), [0.017442+1.30292e-02]@[0.00000](4260), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
947038 loops (665/sec), 5892435354 sampling steps, 23396 aborted
loop condition 0.012776, exit probability 0.00091917 in initial state
49378 explored states, 5 states in BSSCs (5 absorbing)
921097 component updates, 5737909512 transient state updates
Bounds: [0.96956+3.04434e-02]@[0.00000](916597), [9.0146e-13+3.04724e-02]@[0.00000](127), [0.017668+1.28040e-02]@[0.00000](4369), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950353 loops (663/sec), 5913086432 sampling steps, 23396 aborted
loop condition 0.012568, exit probability 0.00091133 in initial state
49385 explored states, 5 states in BSSCs (5 absorbing)
924412 component updates, 5758560590 transient state updates
Bounds: [0.96956+3.04429e-02]@[0.00000](919800), [1.1463e-12+3.04724e-02]@[0.00000](133), [0.017875+1.25966e-02]@[0.00000](4475), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
953632 loops (655/sec), 5933514788 sampling steps, 23396 aborted
loop condition 0.012365, exit probability 0.00090362 in initial state
49405 explored states, 5 states in BSSCs (5 absorbing)
927691 component updates, 5778988946 transient state updates
Bounds: [0.96956+3.04425e-02]@[0.00000](922967), [1.2914e-12+3.04724e-02]@[0.00000](136), [0.018078+1.23940e-02]@[0.00000](4584), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956919 loops (657/sec), 5953991878 sampling steps, 23396 aborted
loop condition 0.012148, exit probability 0.00089755 in initial state
49436 explored states, 5 states in BSSCs (5 absorbing)
930978 component updates, 5799466036 transient state updates
Bounds: [0.96956+3.04422e-02]@[0.00000](926151), [1.6250e-12+3.04724e-02]@[0.00000](138), [0.018294+1.21773e-02]@[0.00000](4685), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
960206 loops (657/sec), 5974467968 sampling steps, 23396 aborted
loop condition 0.011933, exit probability 0.00089187 in initial state
49453 explored states, 5 states in BSSCs (5 absorbing)
934265 component updates, 5819942126 transient state updates
Bounds: [0.96956+3.04416e-02]@[0.00000](929333), [1.6623e-12+3.04724e-02]@[0.00000](140), [0.018509+1.19626e-02]@[0.00000](4788), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
963493 loops (657/sec), 5994944212 sampling steps, 23396 aborted
loop condition 0.011765, exit probability 0.00088776 in initial state
49461 explored states, 5 states in BSSCs (5 absorbing)
937552 component updates, 5840418370 transient state updates
Bounds: [0.96956+3.04413e-02]@[0.00000](932517), [2.2246e-12+3.04724e-02]@[0.00000](145), [0.018676+1.17954e-02]@[0.00000](4886), [4.2685e-87+3.04724e-02]@[0.00000](1), [7.0286e-63+3.04724e-02]@[0.00000](3)
Sep 13, 2024 11:10:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
966767 loops (654/sec), 6015340416 sampling steps, 23396 aborted
loop condition 0.011630, exit probability 0.00088095 in initial state
49473 explored states, 5 states in BSSCs (5 absorbing)
940826 component updates, 5860814574 transient state updates
Bounds: [0.96956+3.04408e-02]@[0.00000](935701), [2.4128e-12+3.04724e-02]@[0.00000](147), [0.018811+1.16610e-02]@[0.00000](4973), [4.2685e-87+3.04724e-02]@[0.00000](1), [4.5473e-60+3.04724e-02]@[0.00000](4)
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
970047 loops (656/sec), 6035774334 sampling steps, 23396 aborted
loop condition 0.011468, exit probability 0.00087472 in initial state
49480 explored states, 5 states in BSSCs (5 absorbing)
944106 component updates, 5881248492 transient state updates
Bounds: [0.96956+3.04402e-02]@[0.00000](938885), [3.0196e-12+3.04724e-02]@[0.00000](151), [0.018972+1.14996e-02]@[0.00000](5065), [4.2685e-87+3.04724e-02]@[0.00000](1), [4.5473e-60+3.04724e-02]@[0.00000](4)
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
973334 loops (657/sec), 6056249812 sampling steps, 23396 aborted
loop condition 0.011296, exit probability 0.00086827 in initial state
49487 explored states, 5 states in BSSCs (5 absorbing)
947393 component updates, 5901723970 transient state updates
Bounds: [0.96956+3.04395e-02]@[0.00000](942073), [3.1173e-12+3.04724e-02]@[0.00000](152), [0.019144+1.13276e-02]@[0.00000](5163), [4.2685e-87+3.04724e-02]@[0.00000](1), [4.5473e-60+3.04724e-02]@[0.00000](4)
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
976610 loops (655/sec), 6076656706 sampling steps, 23396 aborted
loop condition 0.011127, exit probability 0.00086382 in initial state
49502 explored states, 5 states in BSSCs (5 absorbing)
950669 component updates, 5922130864 transient state updates
Bounds: [0.96956+3.04390e-02]@[0.00000](945252), [3.1615e-12+3.04724e-02]@[0.00000](154), [0.019312+1.11596e-02]@[0.00000](5257), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
979880 loops (654/sec), 6097027916 sampling steps, 23396 aborted
loop condition 0.010962, exit probability 0.00085584 in initial state
49538 explored states, 5 states in BSSCs (5 absorbing)
953939 component updates, 5942502074 transient state updates
Bounds: [0.96956+3.04384e-02]@[0.00000](948427), [3.1615e-12+3.04724e-02]@[0.00000](154), [0.019477+1.09946e-02]@[0.00000](5352), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
983168 loops (657/sec), 6117512400 sampling steps, 23396 aborted
loop condition 0.010757, exit probability 0.00084935 in initial state
49545 explored states, 5 states in BSSCs (5 absorbing)
957227 component updates, 5962986558 transient state updates
Bounds: [0.96956+3.04379e-02]@[0.00000](951605), [4.8591e-12+3.04724e-02]@[0.00000](159), [0.019681+1.07902e-02]@[0.00000](5457), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
986452 loops (656/sec), 6137970252 sampling steps, 23396 aborted
loop condition 0.010607, exit probability 0.00083837 in initial state
49557 explored states, 5 states in BSSCs (5 absorbing)
960511 component updates, 5983444410 transient state updates
Bounds: [0.96956+3.04373e-02]@[0.00000](954803), [5.4244e-12+3.04724e-02]@[0.00000](162), [0.019830+1.06409e-02]@[0.00000](5540), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
989742 loops (658/sec), 6158466676 sampling steps, 23396 aborted
loop condition 0.010460, exit probability 0.00083121 in initial state
49579 explored states, 5 states in BSSCs (5 absorbing)
963801 component updates, 6003940834 transient state updates
Bounds: [0.96956+3.04368e-02]@[0.00000](958004), [6.9031e-12+3.04724e-02]@[0.00000](166), [0.019977+1.04948e-02]@[0.00000](5625), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
993028 loops (657/sec), 6178935166 sampling steps, 23396 aborted
loop condition 0.010277, exit probability 0.00082506 in initial state
49586 explored states, 5 states in BSSCs (5 absorbing)
967087 component updates, 6024409324 transient state updates
Bounds: [0.96956+3.04365e-02]@[0.00000](961173), [8.6840e-12+3.04724e-02]@[0.00000](172), [0.020160+1.03118e-02]@[0.00000](5736), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
996313 loops (656/sec), 6199398652 sampling steps, 23396 aborted
loop condition 0.010145, exit probability 0.00081907 in initial state
49634 explored states, 5 states in BSSCs (5 absorbing)
970372 component updates, 6044872810 transient state updates
Bounds: [0.96956+3.04356e-02]@[0.00000](964366), [8.6840e-12+3.04724e-02]@[0.00000](172), [0.020291+1.01809e-02]@[0.00000](5828), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
999593 loops (656/sec), 6219832156 sampling steps, 23396 aborted
loop condition 0.0099938, exit probability 0.00081307 in initial state
49663 explored states, 5 states in BSSCs (5 absorbing)
973652 component updates, 6065306314 transient state updates
Bounds: [0.96957+3.04345e-02]@[0.00000](967542), [1.0872e-11+3.04724e-02]@[0.00000](177), [0.020441+1.00307e-02]@[0.00000](5927), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1002884 loops (658/sec), 6240333316 sampling steps, 23396 aborted
loop condition 0.0098663, exit probability 0.00080587 in initial state
49689 explored states, 5 states in BSSCs (5 absorbing)
976943 component updates, 6085807474 transient state updates
Bounds: [0.96957+3.04330e-02]@[0.00000](970742), [1.1329e-11+3.04724e-02]@[0.00000](179), [0.020567+9.90467e-03]@[0.00000](6016), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1006169 loops (656/sec), 6260797238 sampling steps, 23396 aborted
loop condition 0.0097099, exit probability 0.00080138 in initial state
49691 explored states, 5 states in BSSCs (5 absorbing)
980228 component updates, 6106271396 transient state updates
Bounds: [0.96957+3.04324e-02]@[0.00000](973920), [1.2034e-11+3.04724e-02]@[0.00000](181), [0.020723+9.74882e-03]@[0.00000](6121), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:11:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1009446 loops (655/sec), 6281211620 sampling steps, 23396 aborted
loop condition 0.0095622, exit probability 0.00079644 in initial state
49691 explored states, 5 states in BSSCs (5 absorbing)
983505 component updates, 6126685778 transient state updates
Bounds: [0.96957+3.04315e-02]@[0.00000](977089), [1.3477e-11+3.04724e-02]@[0.00000](186), [0.020869+9.60204e-03]@[0.00000](6224), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.5251e-54+3.04724e-02]@[0.00000](5)
Sep 13, 2024 11:12:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1012724 loops (655/sec), 6301633046 sampling steps, 23396 aborted
loop condition 0.0094285, exit probability 0.00079132 in initial state
49703 explored states, 5 states in BSSCs (5 absorbing)
986783 component updates, 6147107204 transient state updates
Bounds: [0.96957+3.04307e-02]@[0.00000](980268), [1.6511e-11+3.04724e-02]@[0.00000](191), [0.021002+9.46910e-03]@[0.00000](6317), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1015990 loops (653/sec), 6321978368 sampling steps, 23396 aborted
loop condition 0.0092836, exit probability 0.00078701 in initial state
49710 explored states, 5 states in BSSCs (5 absorbing)
990049 component updates, 6167452526 transient state updates
Bounds: [0.96957+3.04301e-02]@[0.00000](983431), [2.1098e-11+3.04724e-02]@[0.00000](194), [0.021147+9.32479e-03]@[0.00000](6417), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1019266 loops (655/sec), 6342385866 sampling steps, 23396 aborted
loop condition 0.0091176, exit probability 0.00078311 in initial state
49715 explored states, 5 states in BSSCs (5 absorbing)
993325 component updates, 6187860024 transient state updates
Bounds: [0.96957+3.04297e-02]@[0.00000](986590), [2.1549e-11+3.04724e-02]@[0.00000](197), [0.021312+9.15922e-03]@[0.00000](6531), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1022546 loops (655/sec), 6362819822 sampling steps, 23396 aborted
loop condition 0.0089670, exit probability 0.00078013 in initial state
49728 explored states, 5 states in BSSCs (5 absorbing)
996605 component updates, 6208293980 transient state updates
Bounds: [0.96957+3.04292e-02]@[0.00000](989775), [2.5203e-11+3.04724e-02]@[0.00000](199), [0.021462+9.00909e-03]@[0.00000](6624), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1025822 loops (655/sec), 6383229252 sampling steps, 23396 aborted
loop condition 0.0088398, exit probability 0.00077633 in initial state
49741 explored states, 5 states in BSSCs (5 absorbing)
999881 component updates, 6228703410 transient state updates
Bounds: [0.96957+3.04287e-02]@[0.00000](992957), [2.6260e-11+3.04724e-02]@[0.00000](201), [0.021589+8.88234e-03]@[0.00000](6716), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1029101 loops (655/sec), 6403655486 sampling steps, 23396 aborted
loop condition 0.0087529, exit probability 0.00077254 in initial state
49748 explored states, 5 states in BSSCs (5 absorbing)
1003160 component updates, 6249129644 transient state updates
Bounds: [0.96957+3.04282e-02]@[0.00000](996158), [2.6956e-11+3.04724e-02]@[0.00000](203), [0.021675+8.79590e-03]@[0.00000](6792), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1032381 loops (656/sec), 6424089410 sampling steps, 23396 aborted
loop condition 0.0086366, exit probability 0.00076754 in initial state
49748 explored states, 5 states in BSSCs (5 absorbing)
1006440 component updates, 6269563568 transient state updates
Bounds: [0.96957+3.04276e-02]@[0.00000](999342), [3.4654e-11+3.04724e-02]@[0.00000](208), [0.021791+8.68020e-03]@[0.00000](6883), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1035656 loops (654/sec), 6444490250 sampling steps, 23396 aborted
loop condition 0.0085240, exit probability 0.00076457 in initial state
49759 explored states, 5 states in BSSCs (5 absorbing)
1009715 component updates, 6289964408 transient state updates
Bounds: [0.96957+3.04271e-02]@[0.00000](1002528), [4.1096e-11+3.04724e-02]@[0.00000](211), [0.021903+8.56816e-03]@[0.00000](6969), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1038937 loops (656/sec), 6464928098 sampling steps, 23396 aborted
loop condition 0.0084217, exit probability 0.00076109 in initial state
49763 explored states, 5 states in BSSCs (5 absorbing)
1012996 component updates, 6310402256 transient state updates
Bounds: [0.96957+3.04265e-02]@[0.00000](1005715), [4.1943e-11+3.04724e-02]@[0.00000](212), [0.022005+8.46635e-03]@[0.00000](7062), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1042220 loops (656/sec), 6485378094 sampling steps, 23396 aborted
loop condition 0.0083099, exit probability 0.00075375 in initial state
49768 explored states, 5 states in BSSCs (5 absorbing)
1016279 component updates, 6330852252 transient state updates
Bounds: [0.96958+3.04225e-02]@[0.00000](1008900), [4.3421e-11+3.04724e-02]@[0.00000](215), [0.022113+8.35856e-03]@[0.00000](7157), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1045490 loops (654/sec), 6505748818 sampling steps, 23396 aborted
loop condition 0.0081483, exit probability 0.00074826 in initial state
49793 explored states, 5 states in BSSCs (5 absorbing)
1019549 component updates, 6351222976 transient state updates
Bounds: [0.96958+3.04203e-02]@[0.00000](1012060), [4.5247e-11+3.04724e-02]@[0.00000](216), [0.022272+8.19915e-03]@[0.00000](7266), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:12:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1048781 loops (658/sec), 6526250854 sampling steps, 23396 aborted
loop condition 0.0080314, exit probability 0.00074317 in initial state
49814 explored states, 5 states in BSSCs (5 absorbing)
1022840 component updates, 6371725012 transient state updates
Bounds: [0.96958+3.04190e-02]@[0.00000](1015254), [5.5417e-11+3.04724e-02]@[0.00000](222), [0.022388+8.08356e-03]@[0.00000](7357), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1052067 loops (657/sec), 6546720408 sampling steps, 23396 aborted
loop condition 0.0079365, exit probability 0.00073887 in initial state
49818 explored states, 5 states in BSSCs (5 absorbing)
1026126 component updates, 6392194566 transient state updates
Bounds: [0.96958+3.04181e-02]@[0.00000](1018438), [5.6853e-11+3.04724e-02]@[0.00000](223), [0.022482+7.98962e-03]@[0.00000](7458), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1055348 loops (656/sec), 6567158622 sampling steps, 23396 aborted
loop condition 0.0078218, exit probability 0.00073556 in initial state
49829 explored states, 5 states in BSSCs (5 absorbing)
1029407 component updates, 6412632780 transient state updates
Bounds: [0.96958+3.04176e-02]@[0.00000](1021631), [5.8345e-11+3.04724e-02]@[0.00000](226), [0.022596+7.87538e-03]@[0.00000](7543), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1058626 loops (655/sec), 6587579100 sampling steps, 23396 aborted
loop condition 0.0077140, exit probability 0.00073186 in initial state
49833 explored states, 5 states in BSSCs (5 absorbing)
1032685 component updates, 6433053258 transient state updates
Bounds: [0.96958+3.04169e-02]@[0.00000](1024805), [6.3393e-11+3.04724e-02]@[0.00000](227), [0.022703+7.76817e-03]@[0.00000](7646), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1061916 loops (658/sec), 6608073462 sampling steps, 23396 aborted
loop condition 0.0076057, exit probability 0.00072846 in initial state
49848 explored states, 5 states in BSSCs (5 absorbing)
1035975 component updates, 6453547620 transient state updates
Bounds: [0.96958+3.04165e-02]@[0.00000](1027993), [6.4390e-11+3.04724e-02]@[0.00000](229), [0.022811+7.66031e-03]@[0.00000](7746), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1065214 loops (659/sec), 6628617654 sampling steps, 23396 aborted
loop condition 0.0075193, exit probability 0.00072499 in initial state
49870 explored states, 5 states in BSSCs (5 absorbing)
1039273 component updates, 6474091812 transient state updates
Bounds: [0.96958+3.04156e-02]@[0.00000](1031199), [7.2081e-11+3.04724e-02]@[0.00000](233), [0.022896+7.57473e-03]@[0.00000](7834), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1068509 loops (659/sec), 6649144890 sampling steps, 23396 aborted
loop condition 0.0073879, exit probability 0.00072196 in initial state
49877 explored states, 5 states in BSSCs (5 absorbing)
1042568 component updates, 6494619048 transient state updates
Bounds: [0.96958+3.04151e-02]@[0.00000](1034386), [7.9218e-11+3.04724e-02]@[0.00000](235), [0.023027+7.44386e-03]@[0.00000](7940), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1071802 loops (658/sec), 6669658032 sampling steps, 23396 aborted
loop condition 0.0073010, exit probability 0.00071848 in initial state
49878 explored states, 5 states in BSSCs (5 absorbing)
1045861 component updates, 6515132190 transient state updates
Bounds: [0.96959+3.04144e-02]@[0.00000](1037590), [8.0016e-11+3.04724e-02]@[0.00000](236), [0.023113+7.35763e-03]@[0.00000](8028), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1075095 loops (658/sec), 6690172402 sampling steps, 23396 aborted
loop condition 0.0072229, exit probability 0.00071480 in initial state
49892 explored states, 5 states in BSSCs (5 absorbing)
1049154 component updates, 6535646560 transient state updates
Bounds: [0.96959+3.04138e-02]@[0.00000](1040808), [8.5210e-11+3.04724e-02]@[0.00000](238), [0.023191+7.28009e-03]@[0.00000](8101), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1078392 loops (659/sec), 6710711722 sampling steps, 23396 aborted
loop condition 0.0071045, exit probability 0.00071231 in initial state
49903 explored states, 5 states in BSSCs (5 absorbing)
1052451 component updates, 6556185880 transient state updates
Bounds: [0.96959+3.04132e-02]@[0.00000](1043992), [8.9628e-11+3.04724e-02]@[0.00000](242), [0.023309+7.16231e-03]@[0.00000](8210), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1081686 loops (658/sec), 6731232654 sampling steps, 23396 aborted
loop condition 0.0070350, exit probability 0.00070939 in initial state
49921 explored states, 5 states in BSSCs (5 absorbing)
1055745 component updates, 6576706812 transient state updates
Bounds: [0.96959+3.04125e-02]@[0.00000](1047199), [9.0984e-11+3.04724e-02]@[0.00000](243), [0.023378+7.09338e-03]@[0.00000](8296), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1084980 loops (658/sec), 6751751784 sampling steps, 23396 aborted
loop condition 0.0069328, exit probability 0.00070687 in initial state
49941 explored states, 5 states in BSSCs (5 absorbing)
1059039 component updates, 6597225942 transient state updates
Bounds: [0.96959+3.04119e-02]@[0.00000](1050396), [1.0477e-10+3.04724e-02]@[0.00000](246), [0.023479+6.99176e-03]@[0.00000](8390), [4.2685e-87+3.04724e-02]@[0.00000](1), [2.9888e-54+3.04724e-02]@[0.00000](6)
Sep 13, 2024 11:13:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1088269 loops (657/sec), 6772241496 sampling steps, 23396 aborted
loop condition 0.0068473, exit probability 0.00070423 in initial state
49950 explored states, 5 states in BSSCs (5 absorbing)
1062328 component updates, 6617715654 transient state updates
Bounds: [0.96959+3.04115e-02]@[0.00000](1053592), [1.0888e-10+3.04724e-02]@[0.00000](248), [0.023564+6.90673e-03]@[0.00000](8480), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1091555 loops (657/sec), 6792709942 sampling steps, 23396 aborted
loop condition 0.0067569, exit probability 0.00070091 in initial state
49961 explored states, 5 states in BSSCs (5 absorbing)
1065614 component updates, 6638184100 transient state updates
Bounds: [0.96959+3.04106e-02]@[0.00000](1056783), [1.1117e-10+3.04724e-02]@[0.00000](250), [0.023654+6.81717e-03]@[0.00000](8573), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1094834 loops (655/sec), 6813134954 sampling steps, 23396 aborted
loop condition 0.0066862, exit probability 0.00069876 in initial state
49973 explored states, 5 states in BSSCs (5 absorbing)
1068893 component updates, 6658609112 transient state updates
Bounds: [0.96959+3.04101e-02]@[0.00000](1059970), [1.2533e-10+3.04724e-02]@[0.00000](255), [0.023724+6.74707e-03]@[0.00000](8660), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1098094 loops (652/sec), 6833443726 sampling steps, 23396 aborted
loop condition 0.0065915, exit probability 0.00069634 in initial state
49988 explored states, 5 states in BSSCs (5 absorbing)
1072153 component updates, 6678917884 transient state updates
Bounds: [0.96959+3.04094e-02]@[0.00000](1063130), [1.2734e-10+3.04724e-02]@[0.00000](256), [0.023818+6.65300e-03]@[0.00000](8759), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1101381 loops (657/sec), 6853921210 sampling steps, 23396 aborted
loop condition 0.0064948, exit probability 0.00069356 in initial state
49992 explored states, 5 states in BSSCs (5 absorbing)
1075440 component updates, 6699395368 transient state updates
Bounds: [0.96959+3.04089e-02]@[0.00000](1066319), [1.2967e-10+3.04724e-02]@[0.00000](257), [0.023914+6.55675e-03]@[0.00000](8856), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1104662 loops (656/sec), 6874361182 sampling steps, 23396 aborted
loop condition 0.0064117, exit probability 0.00069056 in initial state
49992 explored states, 5 states in BSSCs (5 absorbing)
1078721 component updates, 6719835340 transient state updates
Bounds: [0.96959+3.04084e-02]@[0.00000](1069503), [1.4892e-10+3.04724e-02]@[0.00000](260), [0.023997+6.47413e-03]@[0.00000](8950), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1107951 loops (657/sec), 6894848908 sampling steps, 23396 aborted
loop condition 0.0063550, exit probability 0.00068832 in initial state
50012 explored states, 5 states in BSSCs (5 absorbing)
1082010 component updates, 6740323066 transient state updates
Bounds: [0.96959+3.04080e-02]@[0.00000](1072711), [1.5091e-10+3.04724e-02]@[0.00000](262), [0.024053+6.41783e-03]@[0.00000](9029), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1111237 loops (657/sec), 6915319100 sampling steps, 23396 aborted
loop condition 0.0062608, exit probability 0.00068569 in initial state
50026 explored states, 5 states in BSSCs (5 absorbing)
1085296 component updates, 6760793258 transient state updates
Bounds: [0.96959+3.04073e-02]@[0.00000](1075902), [1.5289e-10+3.04724e-02]@[0.00000](264), [0.024147+6.32418e-03]@[0.00000](9122), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1114527 loops (658/sec), 6935814730 sampling steps, 23396 aborted
loop condition 0.0061769, exit probability 0.00068399 in initial state
50048 explored states, 5 states in BSSCs (5 absorbing)
1088585 component updates, 6781282734 transient state updates
Bounds: [0.96959+3.04068e-02]@[0.00000](1079102), [1.7979e-10+3.04724e-02]@[0.00000](268), [0.024230+6.24077e-03]@[0.00000](9207), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1117816 loops (657/sec), 6956303596 sampling steps, 23396 aborted
loop condition 0.0061242, exit probability 0.00068242 in initial state
50053 explored states, 5 states in BSSCs (5 absorbing)
1091874 component updates, 6801771600 transient state updates
Bounds: [0.96959+3.04064e-02]@[0.00000](1082313), [1.8352e-10+3.04724e-02]@[0.00000](269), [0.024282+6.18847e-03]@[0.00000](9284), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1121099 loops (656/sec), 6976754862 sampling steps, 23396 aborted
loop condition 0.0060530, exit probability 0.00067820 in initial state
50072 explored states, 5 states in BSSCs (5 absorbing)
1095157 component updates, 6822222866 transient state updates
Bounds: [0.96960+3.04039e-02]@[0.00000](1085491), [2.1326e-10+3.04724e-02]@[0.00000](272), [0.024351+6.11979e-03]@[0.00000](9386), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1124383 loops (656/sec), 6997213064 sampling steps, 23396 aborted
loop condition 0.0059914, exit probability 0.00067239 in initial state
50072 explored states, 5 states in BSSCs (5 absorbing)
1098441 component updates, 6842681068 transient state updates
Bounds: [0.96960+3.03994e-02]@[0.00000](1088670), [2.1797e-10+3.04724e-02]@[0.00000](275), [0.024408+6.06273e-03]@[0.00000](9488), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:14:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1127661 loops (655/sec), 7017634418 sampling steps, 23396 aborted
loop condition 0.0059240, exit probability 0.00066966 in initial state
50088 explored states, 5 states in BSSCs (5 absorbing)
1101719 component updates, 6863102422 transient state updates
Bounds: [0.96960+3.03980e-02]@[0.00000](1091861), [2.4335e-10+3.04724e-02]@[0.00000](277), [0.024474+5.99657e-03]@[0.00000](9573), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1130921 loops (652/sec), 7037942434 sampling steps, 23396 aborted
loop condition 0.0058568, exit probability 0.00066807 in initial state
50088 explored states, 5 states in BSSCs (5 absorbing)
1104979 component updates, 6883410438 transient state updates
Bounds: [0.96960+3.03974e-02]@[0.00000](1095027), [2.5346e-10+3.04724e-02]@[0.00000](279), [0.024541+5.93006e-03]@[0.00000](9665), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1134194 loops (654/sec), 7058332110 sampling steps, 23396 aborted
loop condition 0.0057892, exit probability 0.00066515 in initial state
50103 explored states, 5 states in BSSCs (5 absorbing)
1108252 component updates, 6903800114 transient state updates
Bounds: [0.96960+3.03967e-02]@[0.00000](1098186), [2.7230e-10+3.04724e-02]@[0.00000](282), [0.024608+5.86304e-03]@[0.00000](9776), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1137469 loops (655/sec), 7078732698 sampling steps, 23396 aborted
loop condition 0.0057430, exit probability 0.00066266 in initial state
50103 explored states, 5 states in BSSCs (5 absorbing)
1111527 component updates, 6924200702 transient state updates
Bounds: [0.96960+3.03962e-02]@[0.00000](1101382), [3.0795e-10+3.04724e-02]@[0.00000](286), [0.024653+5.81738e-03]@[0.00000](9851), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1140755 loops (657/sec), 7099203600 sampling steps, 23396 aborted
loop condition 0.0056806, exit probability 0.00066113 in initial state
50124 explored states, 5 states in BSSCs (5 absorbing)
1114813 component updates, 6944671604 transient state updates
Bounds: [0.96960+3.03958e-02]@[0.00000](1104573), [3.1953e-10+3.04724e-02]@[0.00000](289), [0.024715+5.75536e-03]@[0.00000](9943), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1144041 loops (657/sec), 7119673010 sampling steps, 23396 aborted
loop condition 0.0056221, exit probability 0.00065902 in initial state
50124 explored states, 5 states in BSSCs (5 absorbing)
1118099 component updates, 6965141014 transient state updates
Bounds: [0.96960+3.03952e-02]@[0.00000](1107754), [3.1953e-10+3.04724e-02]@[0.00000](289), [0.024773+5.69751e-03]@[0.00000](10048), [4.2685e-87+3.04724e-02]@[0.00000](1), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1147330 loops (657/sec), 7140161992 sampling steps, 23396 aborted
loop condition 0.0055681, exit probability 0.00065734 in initial state
50124 explored states, 5 states in BSSCs (5 absorbing)
1121388 component updates, 6985629996 transient state updates
Bounds: [0.96961+3.03946e-02]@[0.00000](1110953), [3.4545e-10+3.04724e-02]@[0.00000](290), [0.024827+5.64401e-03]@[0.00000](10136), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1150623 loops (658/sec), 7160677386 sampling steps, 23396 aborted
loop condition 0.0055122, exit probability 0.00065575 in initial state
50140 explored states, 5 states in BSSCs (5 absorbing)
1124681 component updates, 7006145390 transient state updates
Bounds: [0.96961+3.03944e-02]@[0.00000](1114148), [3.5688e-10+3.04724e-02]@[0.00000](294), [0.024882+5.58840e-03]@[0.00000](10230), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.1314e-45+3.04724e-02]@[0.00000](7)
Sep 13, 2024 11:15:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1153952 loops (665/sec), 7181413652 sampling steps, 23396 aborted
loop condition 0.0054403, exit probability 0.00065445 in initial state
50147 explored states, 5 states in BSSCs (5 absorbing)
1128010 component updates, 7026881656 transient state updates
Bounds: [0.96961+3.03938e-02]@[0.00000](1117369), [3.6398e-10+3.04724e-02]@[0.00000](295), [0.024954+5.51705e-03]@[0.00000](10336), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:15:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1157224 loops (654/sec), 7201797792 sampling steps, 23396 aborted
loop condition 0.0053816, exit probability 0.00065274 in initial state
50148 explored states, 5 states in BSSCs (5 absorbing)
1131282 component updates, 7047265796 transient state updates
Bounds: [0.96961+3.03935e-02]@[0.00000](1120543), [3.9647e-10+3.04724e-02]@[0.00000](297), [0.025012+5.45865e-03]@[0.00000](10432), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:15:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1160492 loops (653/sec), 7222156744 sampling steps, 23396 aborted
loop condition 0.0053133, exit probability 0.00065128 in initial state
50155 explored states, 5 states in BSSCs (5 absorbing)
1134550 component updates, 7067624748 transient state updates
Bounds: [0.96961+3.03931e-02]@[0.00000](1123702), [4.3310e-10+3.04724e-02]@[0.00000](300), [0.025080+5.39065e-03]@[0.00000](10538), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:15:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1163766 loops (654/sec), 7242550226 sampling steps, 23396 aborted
loop condition 0.0052582, exit probability 0.00064985 in initial state
50171 explored states, 5 states in BSSCs (5 absorbing)
1137824 component updates, 7088018230 transient state updates
Bounds: [0.96961+3.03927e-02]@[0.00000](1126885), [5.0329e-10+3.04724e-02]@[0.00000](303), [0.025134+5.33600e-03]@[0.00000](10626), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:15:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1167047 loops (656/sec), 7262987926 sampling steps, 23396 aborted
loop condition 0.0051920, exit probability 0.00064922 in initial state
50172 explored states, 5 states in BSSCs (5 absorbing)
1141105 component updates, 7108455930 transient state updates
Bounds: [0.96961+3.03925e-02]@[0.00000](1130066), [5.3372e-10+3.04724e-02]@[0.00000](305), [0.025200+5.27001e-03]@[0.00000](10724), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:16:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1170318 loops (654/sec), 7283365494 sampling steps, 23396 aborted
loop condition 0.0051317, exit probability 0.00064798 in initial state
50186 explored states, 5 states in BSSCs (5 absorbing)
1144376 component updates, 7128833498 transient state updates
Bounds: [0.96961+3.03920e-02]@[0.00000](1133229), [5.6126e-10+3.04724e-02]@[0.00000](309), [0.025260+5.21005e-03]@[0.00000](10828), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:16:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1173571 loops (650/sec), 7303629260 sampling steps, 23396 aborted
loop condition 0.0050858, exit probability 0.00064638 in initial state
50196 explored states, 5 states in BSSCs (5 absorbing)
1147629 component updates, 7149097264 transient state updates
Bounds: [0.96961+3.03915e-02]@[0.00000](1136382), [5.8316e-10+3.04724e-02]@[0.00000](311), [0.025306+5.16471e-03]@[0.00000](10926), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:16:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1176822 loops (650/sec), 7323882904 sampling steps, 23396 aborted
loop condition 0.0050258, exit probability 0.00064480 in initial state
50214 explored states, 5 states in BSSCs (5 absorbing)
1150880 component updates, 7169350908 transient state updates
Bounds: [0.96961+3.03909e-02]@[0.00000](1139529), [5.8316e-10+3.04724e-02]@[0.00000](311), [0.025365+5.10525e-03]@[0.00000](11030), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.2569e-45+3.04724e-02]@[0.00000](8)
Sep 13, 2024 11:16:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1180088 loops (653/sec), 7344229716 sampling steps, 23396 aborted
loop condition 0.0049743, exit probability 0.00064290 in initial state
50220 explored states, 5 states in BSSCs (5 absorbing)
1154146 component updates, 7189697720 transient state updates
Bounds: [0.96961+3.03904e-02]@[0.00000](1142683), [6.5089e-10+3.04724e-02]@[0.00000](316), [0.025416+5.05432e-03]@[0.00000](11135), [4.6756e-87+3.04724e-02]@[0.00000](2), [1.4971e-37+3.04724e-02]@[0.00000](10)
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1183355 loops (653/sec), 7364581552 sampling steps, 23396 aborted
loop condition 0.0049316, exit probability 0.00064134 in initial state
50234 explored states, 5 states in BSSCs (5 absorbing)
1157413 component updates, 7210049556 transient state updates
Bounds: [0.96961+3.03899e-02]@[0.00000](1145853), [7.7681e-10+3.04724e-02]@[0.00000](319), [0.025458+5.01202e-03]@[0.00000](11228), [4.6756e-87+3.04724e-02]@[0.00000](2), [3.9237e-35+3.04724e-02]@[0.00000](11)
Sep 13, 2024 11:16:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1186618 loops (652/sec), 7384909134 sampling steps, 23396 aborted
loop condition 0.0048688, exit probability 0.00064007 in initial state
50235 explored states, 5 states in BSSCs (5 absorbing)
1160676 component updates, 7230377138 transient state updates
Bounds: [0.96961+3.03896e-02]@[0.00000](1148998), [8.3515e-10+3.04724e-02]@[0.00000](323), [0.025521+4.94958e-03]@[0.00000](11342), [4.6756e-87+3.04724e-02]@[0.00000](2), [3.9237e-35+3.04724e-02]@[0.00000](11)
Sep 13, 2024 11:16:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1189892 loops (654/sec), 7405304340 sampling steps, 23396 aborted
loop condition 0.0048326, exit probability 0.00063886 in initial state
50243 explored states, 5 states in BSSCs (5 absorbing)
1163950 component updates, 7250772344 transient state updates
Bounds: [0.96961+3.03893e-02]@[0.00000](1152178), [8.5158e-10+3.04724e-02]@[0.00000](324), [0.025557+4.91374e-03]@[0.00000](11435), [4.6756e-87+3.04724e-02]@[0.00000](2), [3.9237e-35+3.04724e-02]@[0.00000](11)
Sep 13, 2024 11:16:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1193166 loops (654/sec), 7425700244 sampling steps, 23396 aborted
loop condition 0.0047903, exit probability 0.00063753 in initial state
50247 explored states, 5 states in BSSCs (5 absorbing)
1167224 component updates, 7271168248 transient state updates
Bounds: [0.96961+3.03887e-02]@[0.00000](1155357), [8.6516e-10+3.04724e-02]@[0.00000](325), [0.025598+4.87196e-03]@[0.00000](11529), [4.6756e-87+3.04724e-02]@[0.00000](2), [3.9237e-35+3.04724e-02]@[0.00000](11)
Sep 13, 2024 11:16:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1196436 loops (654/sec), 7446067053 sampling steps, 23396 aborted
loop condition 0.0047485, exit probability 0.00063659 in initial state
50257 explored states, 5 states in BSSCs (5 absorbing)
1170493 component updates, 7291532662 transient state updates
Bounds: [0.96961+3.03883e-02]@[0.00000](1158523), [9.4678e-10+3.04724e-02]@[0.00000](330), [0.025640+4.83058e-03]@[0.00000](11627), [4.6756e-87+3.04724e-02]@[0.00000](2), [3.9237e-35+3.04724e-02]@[0.00000](11)
Sep 13, 2024 11:16:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1199709 loops (654/sec), 7466456571 sampling steps, 23396 aborted
loop condition 0.0047043, exit probability 0.00063522 in initial state
50257 explored states, 5 states in BSSCs (5 absorbing)
1173766 component updates, 7311922180 transient state updates
Bounds: [0.96961+3.03878e-02]@[0.00000](1161677), [1.0464e-09+3.04724e-02]@[0.00000](334), [0.025683+4.78688e-03]@[0.00000](11742), [4.6756e-87+3.04724e-02]@[0.00000](2), [3.9237e-35+3.04724e-02]@[0.00000](11)
Sep 13, 2024 11:16:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1202962 loops (650/sec), 7486722591 sampling steps, 23396 aborted
loop condition 0.0046470, exit probability 0.00063419 in initial state
50279 explored states, 5 states in BSSCs (5 absorbing)
1177019 component updates, 7332188200 transient state updates
Bounds: [0.96961+3.03873e-02]@[0.00000](1164819), [1.1501e-09+3.04724e-02]@[0.00000](338), [0.025740+4.73011e-03]@[0.00000](11848), [4.6756e-87+3.04724e-02]@[0.00000](2), [2.0867e-30+3.04724e-02]@[0.00000](12)
----------
Computation aborted after 1800.007631778717 seconds since the total time limit of 1800.0 seconds was exceeded.