Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:28 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crowds/crowds.prism --const TotalRuns=6,CrowdSize=10 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 3, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 84, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 573, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137233 loops (27446/sec), 9920327 sampling steps, 8218 aborted
loop condition 0.40488, exit probability 0.14606 in initial state
56797 explored states, 660 states in BSSCs (660 absorbing)
125924 component updates, 9141521 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](24609), [0.018023+9.81977e-01]@[0.00000](3542), [0.087712+9.12288e-01]@[0.00000](17862), [0.0014749+8.41238e-01]@[0.00000](386), [0.018023+8.17839e-01]@[0.00000](3528), [4.2119e-05+8.41402e-01]@[0.00000](164), [0.0015430+8.35657e-01]@[0.00000](383), [0.036111+7.87907e-01]@[0.00000](5427), [7.9225e-05+8.40730e-01]@[0.00000](193), [0.0016293+8.42168e-01]@[0.00000](386) ... (660)
Sep 13, 2024 10:47:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287175 loops (29988/sec), 20799331 sampling steps, 9111 aborted
loop condition 0.31959, exit probability 0.087040 in initial state
73630 explored states, 660 states in BSSCs (660 absorbing)
274285 component updates, 19910335 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](51712), [0.018023+9.81977e-01]@[0.00000](7352), [0.087712+9.12288e-01]@[0.00000](37351), [0.0028860+8.36024e-01]@[0.00000](872), [0.018023+8.17839e-01]@[0.00000](7229), [0.00042894+8.31766e-01]@[0.00000](361), [0.0027865+8.27762e-01]@[0.00000](818), [0.036111+7.87907e-01]@[0.00000](11274), [0.00050638+8.33224e-01]@[0.00000](424), [0.0028202+8.37108e-01]@[0.00000](787) ... (660)
Sep 13, 2024 10:47:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441094 loops (30783/sec), 31972873 sampling steps, 10110 aborted
loop condition 0.28670, exit probability 0.068905 in initial state
84130 explored states, 660 states in BSSCs (660 absorbing)
426825 component updates, 30985567 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](79584), [0.018023+9.81977e-01]@[0.00000](11205), [0.087712+9.12288e-01]@[0.00000](57674), [0.0030341+8.35159e-01]@[0.00000](1326), [0.018023+8.17839e-01]@[0.00000](11177), [0.00093778+8.28809e-01]@[0.00000](571), [0.0029942+8.26115e-01]@[0.00000](1283), [0.036111+7.87907e-01]@[0.00000](17412), [0.00091255+8.30330e-01]@[0.00000](625), [0.0030085+8.35416e-01]@[0.00000](1210) ... (660)
Sep 13, 2024 10:47:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
593751 loops (30531/sec), 43060393 sampling steps, 11130 aborted
loop condition 0.26672, exit probability 0.059211 in initial state
91735 explored states, 660 states in BSSCs (660 absorbing)
578185 component updates, 41979687 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](107354), [0.018023+9.81977e-01]@[0.00000](14961), [0.087712+9.12288e-01]@[0.00000](77682), [0.0030451+8.35017e-01]@[0.00000](1765), [0.018023+8.17839e-01]@[0.00000](14754), [0.0013514+8.27198e-01]@[0.00000](790), [0.0030391+8.25787e-01]@[0.00000](1721), [0.036111+7.87907e-01]@[0.00000](23578), [0.0012991+8.27820e-01]@[0.00000](835), [0.0030384+8.35067e-01]@[0.00000](1653) ... (660)
Sep 13, 2024 10:47:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
745523 loops (30354/sec), 54079506 sampling steps, 12135 aborted
loop condition 0.25322, exit probability 0.053198 in initial state
98057 explored states, 660 states in BSSCs (660 absorbing)
728704 component updates, 52908841 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](134962), [0.018023+9.81977e-01]@[0.00000](18689), [0.087712+9.12288e-01]@[0.00000](97609), [0.0030463+8.35002e-01]@[0.00000](2255), [0.018023+8.17839e-01]@[0.00000](18559), [0.0016132+8.26500e-01]@[0.00000](1002), [0.0030453+8.25704e-01]@[0.00000](2147), [0.036111+7.87907e-01]@[0.00000](29600), [0.0015814+8.26927e-01]@[0.00000](1066), [0.0030458+8.35006e-01]@[0.00000](2111) ... (660)
Sep 13, 2024 10:47:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
900395 loops (30974/sec), 65337409 sampling steps, 13277 aborted
loop condition 0.24385, exit probability 0.048872 in initial state
103125 explored states, 660 states in BSSCs (660 absorbing)
882240 component updates, 64068785 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](162869), [0.018023+9.81977e-01]@[0.00000](22577), [0.087712+9.12288e-01]@[0.00000](117694), [0.0030464+8.35001e-01]@[0.00000](2696), [0.018023+8.17839e-01]@[0.00000](22450), [0.0017763+8.26178e-01]@[0.00000](1212), [0.0030462+8.25690e-01]@[0.00000](2619), [0.036111+7.87907e-01]@[0.00000](35695), [0.0017470+8.26273e-01]@[0.00000](1293), [0.0030464+8.35000e-01]@[0.00000](2584) ... (660)
Sep 13, 2024 10:48:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1049870 loops (29895/sec), 76189008 sampling steps, 14393 aborted
loop condition 0.23731, exit probability 0.045895 in initial state
107609 explored states, 660 states in BSSCs (660 absorbing)
1030446 component updates, 74827809 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](189650), [0.018023+9.81977e-01]@[0.00000](26397), [0.087712+9.12288e-01]@[0.00000](137433), [0.0030465+8.35000e-01]@[0.00000](3155), [0.018023+8.17839e-01]@[0.00000](26219), [0.0018639+8.26011e-01]@[0.00000](1433), [0.0030464+8.25685e-01]@[0.00000](3039), [0.036111+7.87907e-01]@[0.00000](41584), [0.0018553+8.25974e-01]@[0.00000](1497), [0.0030464+8.35000e-01]@[0.00000](3023) ... (660)
Sep 13, 2024 10:48:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1202248 loops (30475/sec), 87262602 sampling steps, 15480 aborted
loop condition 0.23216, exit probability 0.043743 in initial state
111608 explored states, 660 states in BSSCs (660 absorbing)
1181589 component updates, 85811214 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](217327), [0.018023+9.81977e-01]@[0.00000](30236), [0.087712+9.12288e-01]@[0.00000](157530), [0.0030465+8.35000e-01]@[0.00000](3584), [0.018023+8.17839e-01]@[0.00000](30106), [0.0018984+8.25822e-01]@[0.00000](1636), [0.0030465+8.25684e-01]@[0.00000](3503), [0.036111+7.87907e-01]@[0.00000](47678), [0.0019017+8.25682e-01]@[0.00000](1693), [0.0030465+8.35000e-01]@[0.00000](3449) ... (660)
Sep 13, 2024 10:48:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1354895 loops (30529/sec), 98343880 sampling steps, 16648 aborted
loop condition 0.22779, exit probability 0.041861 in initial state
115521 explored states, 660 states in BSSCs (660 absorbing)
1332919 component updates, 96795764 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](244723), [0.018023+9.81977e-01]@[0.00000](34044), [0.087712+9.12288e-01]@[0.00000](177713), [0.0030465+8.35000e-01]@[0.00000](4025), [0.018023+8.17839e-01]@[0.00000](33950), [0.0019185+8.25646e-01]@[0.00000](1845), [0.0030465+8.25684e-01]@[0.00000](3937), [0.036111+7.87907e-01]@[0.00000](53866), [0.0019235+8.25533e-01]@[0.00000](1926), [0.0030465+8.35000e-01]@[0.00000](3890) ... (660)
Sep 13, 2024 10:48:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1507451 loops (30511/sec), 109418489 sampling steps, 17837 aborted
loop condition 0.22375, exit probability 0.040369 in initial state
119099 explored states, 660 states in BSSCs (660 absorbing)
1484165 component updates, 107773876 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](272258), [0.018023+9.81977e-01]@[0.00000](37926), [0.087712+9.12288e-01]@[0.00000](197645), [0.0030465+8.35000e-01]@[0.00000](4474), [0.018023+8.17839e-01]@[0.00000](37724), [0.0019279+8.25533e-01]@[0.00000](2061), [0.0030465+8.25684e-01]@[0.00000](4397), [0.036111+7.87907e-01]@[0.00000](59881), [0.0019327+8.25482e-01]@[0.00000](2112), [0.0030465+8.35000e-01]@[0.00000](4355) ... (660)
Sep 13, 2024 10:48:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1659086 loops (30327/sec), 120438033 sampling steps, 19054 aborted
loop condition 0.22006, exit probability 0.039222 in initial state
122310 explored states, 660 states in BSSCs (660 absorbing)
1634473 component updates, 118696759 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](299756), [0.018023+9.81977e-01]@[0.00000](41702), [0.087712+9.12288e-01]@[0.00000](217634), [0.0030465+8.35000e-01]@[0.00000](4893), [0.018023+8.17839e-01]@[0.00000](41526), [0.0019352+8.25467e-01]@[0.00000](2279), [0.0030465+8.25684e-01]@[0.00000](4878), [0.036111+7.87907e-01]@[0.00000](65763), [0.0019374+8.25447e-01]@[0.00000](2306), [0.0030465+8.35000e-01]@[0.00000](4801) ... (660)
Sep 13, 2024 10:48:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1811473 loops (30477/sec), 131503813 sampling steps, 20215 aborted
loop condition 0.21644, exit probability 0.038170 in initial state
125315 explored states, 660 states in BSSCs (660 absorbing)
1785586 component updates, 129669305 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](327168), [0.018023+9.81977e-01]@[0.00000](45439), [0.087712+9.12288e-01]@[0.00000](237788), [0.0030465+8.35000e-01]@[0.00000](5369), [0.018023+8.17839e-01]@[0.00000](45438), [0.0019387+8.25437e-01]@[0.00000](2499), [0.0030465+8.25684e-01]@[0.00000](5368), [0.036111+7.87907e-01]@[0.00000](71787), [0.0019402+8.25420e-01]@[0.00000](2537), [0.0030465+8.35000e-01]@[0.00000](5222) ... (660)
Sep 13, 2024 10:48:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1962874 loops (30280/sec), 142505322 sampling steps, 21358 aborted
loop condition 0.21303, exit probability 0.037248 in initial state
128267 explored states, 660 states in BSSCs (660 absorbing)
1935735 component updates, 140578321 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](354604), [0.018023+9.81977e-01]@[0.00000](49259), [0.087712+9.12288e-01]@[0.00000](257584), [0.0030465+8.35000e-01]@[0.00000](5808), [0.018023+8.17839e-01]@[0.00000](49238), [0.0019411+8.25393e-01]@[0.00000](2696), [0.0030465+8.25684e-01]@[0.00000](5838), [0.036111+7.87907e-01]@[0.00000](77661), [0.0019416+8.25399e-01]@[0.00000](2729), [0.0030465+8.35000e-01]@[0.00000](5631) ... (660)
Sep 13, 2024 10:48:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2115002 loops (30425/sec), 153546933 sampling steps, 22559 aborted
loop condition 0.20977, exit probability 0.036472 in initial state
130830 explored states, 660 states in BSSCs (660 absorbing)
2086561 component updates, 151524780 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](382022), [0.018023+9.81977e-01]@[0.00000](52970), [0.087712+9.12288e-01]@[0.00000](277486), [0.0030465+8.35000e-01]@[0.00000](6270), [0.018023+8.17839e-01]@[0.00000](53055), [0.0019421+8.25372e-01]@[0.00000](2904), [0.0030465+8.25684e-01]@[0.00000](6313), [0.036111+7.87907e-01]@[0.00000](83727), [0.0019424+8.25388e-01]@[0.00000](2917), [0.0030465+8.35000e-01]@[0.00000](6067) ... (660)
Sep 13, 2024 10:48:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2267758 loops (30551/sec), 164636506 sampling steps, 23711 aborted
loop condition 0.20653, exit probability 0.035818 in initial state
133150 explored states, 660 states in BSSCs (660 absorbing)
2238090 component updates, 162523738 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](409575), [0.018023+9.81977e-01]@[0.00000](56808), [0.087712+9.12288e-01]@[0.00000](297466), [0.0030465+8.35000e-01]@[0.00000](6713), [0.018023+8.17839e-01]@[0.00000](56929), [0.0019427+8.25361e-01]@[0.00000](3127), [0.0030465+8.25684e-01]@[0.00000](6752), [0.036111+7.87907e-01]@[0.00000](89688), [0.0019430+8.25360e-01]@[0.00000](3140), [0.0030465+8.35000e-01]@[0.00000](6512) ... (660)
Sep 13, 2024 10:48:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2420717 loops (30591/sec), 175745889 sampling steps, 24965 aborted
loop condition 0.20340, exit probability 0.035241 in initial state
135347 explored states, 660 states in BSSCs (660 absorbing)
2389735 component updates, 173536590 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](436941), [0.018023+9.81977e-01]@[0.00000](60611), [0.087712+9.12288e-01]@[0.00000](317615), [0.0030465+8.35000e-01]@[0.00000](7131), [0.018023+8.17839e-01]@[0.00000](60631), [0.0019430+8.25353e-01]@[0.00000](3342), [0.0030465+8.25684e-01]@[0.00000](7159), [0.036111+7.87907e-01]@[0.00000](95829), [0.0019435+8.25335e-01]@[0.00000](3370), [0.0030465+8.35000e-01]@[0.00000](6955) ... (660)
Sep 13, 2024 10:48:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2573364 loops (30529/sec), 186839469 sampling steps, 26243 aborted
loop condition 0.20045, exit probability 0.034738 in initial state
137463 explored states, 660 states in BSSCs (660 absorbing)
2541042 component updates, 184531232 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](464524), [0.018023+9.81977e-01]@[0.00000](64465), [0.087712+9.12288e-01]@[0.00000](337682), [0.0030465+8.35000e-01]@[0.00000](7566), [0.018023+8.17839e-01]@[0.00000](64463), [0.0019432+8.25346e-01]@[0.00000](3545), [0.0030465+8.25684e-01]@[0.00000](7609), [0.036111+7.87907e-01]@[0.00000](101932), [0.0019437+8.25325e-01]@[0.00000](3584), [0.0030465+8.35000e-01]@[0.00000](7361) ... (660)
Sep 13, 2024 10:48:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2728147 loops (30956/sec), 198075406 sampling steps, 27452 aborted
loop condition 0.19762, exit probability 0.034261 in initial state
139368 explored states, 660 states in BSSCs (660 absorbing)
2694553 component updates, 195673780 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](492351), [0.018023+9.81977e-01]@[0.00000](68332), [0.087712+9.12288e-01]@[0.00000](357775), [0.0030465+8.35000e-01]@[0.00000](8014), [0.018023+8.17839e-01]@[0.00000](68387), [0.0019433+8.25343e-01]@[0.00000](3719), [0.0030465+8.25684e-01]@[0.00000](8046), [0.036111+7.87907e-01]@[0.00000](108084), [0.0019437+8.25320e-01]@[0.00000](3783), [0.0030465+8.35000e-01]@[0.00000](7809) ... (660)
Sep 13, 2024 10:49:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2892904 loops (32951/sec), 210039205 sampling steps, 28715 aborted
loop condition 0.19475, exit probability 0.033812 in initial state
141314 explored states, 660 states in BSSCs (660 absorbing)
2857988 component updates, 207539631 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](521962), [0.018023+9.81977e-01]@[0.00000](72527), [0.087712+9.12288e-01]@[0.00000](379558), [0.0030465+8.35000e-01]@[0.00000](8512), [0.018023+8.17839e-01]@[0.00000](72551), [0.0019434+8.25337e-01]@[0.00000](3966), [0.0030465+8.25684e-01]@[0.00000](8543), [0.036111+7.87907e-01]@[0.00000](114521), [0.0019438+8.25316e-01]@[0.00000](4006), [0.0030465+8.35000e-01]@[0.00000](8264) ... (660)
Sep 13, 2024 10:49:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3057578 loops (32934/sec), 221991862 sampling steps, 29973 aborted
loop condition 0.19207, exit probability 0.033410 in initial state
143243 explored states, 660 states in BSSCs (660 absorbing)
3021341 component updates, 219395082 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](551515), [0.018023+9.81977e-01]@[0.00000](76659), [0.087712+9.12288e-01]@[0.00000](400960), [0.0030465+8.35000e-01]@[0.00000](8973), [0.018023+8.17839e-01]@[0.00000](76660), [0.0019435+8.25330e-01]@[0.00000](4230), [0.0030465+8.25684e-01]@[0.00000](9025), [0.036111+7.87907e-01]@[0.00000](121124), [0.0019438+8.25314e-01]@[0.00000](4234), [0.0030465+8.35000e-01]@[0.00000](8735) ... (660)
Sep 13, 2024 10:49:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3222836 loops (33051/sec), 233987196 sampling steps, 31301 aborted
loop condition 0.18963, exit probability 0.033057 in initial state
145178 explored states, 660 states in BSSCs (660 absorbing)
3185227 component updates, 231290660 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](581101), [0.018023+9.81977e-01]@[0.00000](80826), [0.087712+9.12288e-01]@[0.00000](422689), [0.0030465+8.35000e-01]@[0.00000](9462), [0.018023+8.17839e-01]@[0.00000](80847), [0.0019437+8.25319e-01]@[0.00000](4441), [0.0030465+8.25684e-01]@[0.00000](9518), [0.036111+7.87907e-01]@[0.00000](127545), [0.0019438+8.25313e-01]@[0.00000](4465), [0.0030465+8.35000e-01]@[0.00000](9208) ... (660)
Sep 13, 2024 10:49:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3388392 loops (33111/sec), 246010271 sampling steps, 32655 aborted
loop condition 0.18741, exit probability 0.032782 in initial state
147063 explored states, 660 states in BSSCs (660 absorbing)
3349367 component updates, 243209335 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](610888), [0.018023+9.81977e-01]@[0.00000](84981), [0.087712+9.12288e-01]@[0.00000](444276), [0.0030465+8.35000e-01]@[0.00000](9949), [0.018023+8.17839e-01]@[0.00000](85014), [0.0019438+8.25316e-01]@[0.00000](4680), [0.0030465+8.25684e-01]@[0.00000](10015), [0.036111+7.87907e-01]@[0.00000](134142), [0.0019439+8.25312e-01]@[0.00000](4708), [0.0030465+8.35000e-01]@[0.00000](9689) ... (660)
Sep 13, 2024 10:49:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3553277 loops (32977/sec), 257989227 sampling steps, 34023 aborted
loop condition 0.18534, exit probability 0.032519 in initial state
148963 explored states, 660 states in BSSCs (660 absorbing)
3512827 component updates, 255083703 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](640729), [0.018023+9.81977e-01]@[0.00000](89159), [0.087712+9.12288e-01]@[0.00000](465889), [0.0030465+8.35000e-01]@[0.00000](10465), [0.018023+8.17839e-01]@[0.00000](89142), [0.0019438+8.25314e-01]@[0.00000](4888), [0.0030465+8.25684e-01]@[0.00000](10512), [0.036111+7.87907e-01]@[0.00000](140466), [0.0019439+8.25312e-01]@[0.00000](4943), [0.0030465+8.35000e-01]@[0.00000](10160) ... (660)
Sep 13, 2024 10:49:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3716070 loops (32558/sec), 269814370 sampling steps, 35331 aborted
loop condition 0.18345, exit probability 0.032284 in initial state
150806 explored states, 660 states in BSSCs (660 absorbing)
3674257 component updates, 266808787 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](670104), [0.018023+9.81977e-01]@[0.00000](93288), [0.087712+9.12288e-01]@[0.00000](487277), [0.0030465+8.35000e-01]@[0.00000](10965), [0.018023+8.17839e-01]@[0.00000](93324), [0.0019438+8.25314e-01]@[0.00000](5092), [0.0030465+8.25684e-01]@[0.00000](10974), [0.036111+7.87907e-01]@[0.00000](146881), [0.0019439+8.25312e-01]@[0.00000](5180), [0.0030465+8.35000e-01]@[0.00000](10634) ... (660)
Sep 13, 2024 10:49:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3878248 loops (32435/sec), 281592797 sampling steps, 36677 aborted
loop condition 0.18166, exit probability 0.032056 in initial state
152363 explored states, 660 states in BSSCs (660 absorbing)
3835040 component updates, 278485046 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](699470), [0.018023+9.81977e-01]@[0.00000](97278), [0.087712+9.12288e-01]@[0.00000](508716), [0.0030465+8.35000e-01]@[0.00000](11421), [0.018023+8.17839e-01]@[0.00000](97420), [0.0019438+8.25313e-01]@[0.00000](5309), [0.0030465+8.25684e-01]@[0.00000](11510), [0.036111+7.87907e-01]@[0.00000](153174), [0.0019439+8.25311e-01]@[0.00000](5405), [0.0030465+8.35000e-01]@[0.00000](11078) ... (660)
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4043303 loops (33011/sec), 293573842 sampling steps, 37952 aborted
loop condition 0.18002, exit probability 0.031855 in initial state
153652 explored states, 660 states in BSSCs (660 absorbing)
3998787 component updates, 290369296 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](729055), [0.018023+9.81977e-01]@[0.00000](101271), [0.087712+9.12288e-01]@[0.00000](530358), [0.0030465+8.35000e-01]@[0.00000](11934), [0.018023+8.17839e-01]@[0.00000](101570), [0.0019438+8.25312e-01]@[0.00000](5549), [0.0030465+8.25684e-01]@[0.00000](11983), [0.036111+7.87907e-01]@[0.00000](159739), [0.0019439+8.25311e-01]@[0.00000](5604), [0.0030465+8.35000e-01]@[0.00000](11567) ... (660)
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4208382 loops (33015/sec), 305565592 sampling steps, 39287 aborted
loop condition 0.17848, exit probability 0.031674 in initial state
155049 explored states, 660 states in BSSCs (660 absorbing)
4162490 component updates, 302259195 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](758947), [0.018023+9.81977e-01]@[0.00000](105354), [0.087712+9.12288e-01]@[0.00000](551959), [0.0030465+8.35000e-01]@[0.00000](12391), [0.018023+8.17839e-01]@[0.00000](105597), [0.0019439+8.25312e-01]@[0.00000](5779), [0.0030465+8.25684e-01]@[0.00000](12469), [0.036111+7.87907e-01]@[0.00000](166186), [0.0019439+8.25311e-01]@[0.00000](5844), [0.0030465+8.35000e-01]@[0.00000](12094) ... (660)
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4373501 loops (33023/sec), 317557489 sampling steps, 40648 aborted
loop condition 0.17706, exit probability 0.031506 in initial state
156572 explored states, 660 states in BSSCs (660 absorbing)
4326207 component updates, 314147626 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](788552), [0.018023+9.81977e-01]@[0.00000](109527), [0.087712+9.12288e-01]@[0.00000](573613), [0.0030465+8.35000e-01]@[0.00000](12834), [0.018023+8.17839e-01]@[0.00000](109613), [0.0019439+8.25312e-01]@[0.00000](6013), [0.0030465+8.25684e-01]@[0.00000](12967), [0.036111+7.87907e-01]@[0.00000](172700), [0.0019439+8.25311e-01]@[0.00000](6056), [0.0030465+8.35000e-01]@[0.00000](12584) ... (660)
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4538090 loops (32917/sec), 329511984 sampling steps, 41956 aborted
loop condition 0.17574, exit probability 0.031353 in initial state
158009 explored states, 660 states in BSSCs (660 absorbing)
4489447 component updates, 326002199 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](818496), [0.018023+9.81977e-01]@[0.00000](113664), [0.087712+9.12288e-01]@[0.00000](595077), [0.0030465+8.35000e-01]@[0.00000](13281), [0.018023+8.17839e-01]@[0.00000](113794), [0.0019439+8.25312e-01]@[0.00000](6238), [0.0030465+8.25684e-01]@[0.00000](13460), [0.036111+7.87907e-01]@[0.00000](179227), [0.0019439+8.25311e-01]@[0.00000](6291), [0.0030465+8.35000e-01]@[0.00000](13056) ... (660)
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4700456 loops (32473/sec), 341313846 sampling steps, 43276 aborted
loop condition 0.17455, exit probability 0.031210 in initial state
159348 explored states, 660 states in BSSCs (660 absorbing)
4650452 component updates, 337704282 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](847815), [0.018023+9.81977e-01]@[0.00000](117717), [0.087712+9.12288e-01]@[0.00000](616207), [0.0030465+8.35000e-01]@[0.00000](13801), [0.018023+8.17839e-01]@[0.00000](117867), [0.0019439+8.25312e-01]@[0.00000](6451), [0.0030465+8.25684e-01]@[0.00000](13916), [0.036111+7.87907e-01]@[0.00000](185654), [0.0019439+8.25311e-01]@[0.00000](6528), [0.0030465+8.35000e-01]@[0.00000](13522) ... (660)
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4858204 loops (31549/sec), 352767503 sampling steps, 44509 aborted
loop condition 0.17348, exit probability 0.031088 in initial state
160450 explored states, 660 states in BSSCs (660 absorbing)
4806939 component updates, 349065273 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](876413), [0.018023+9.81977e-01]@[0.00000](121731), [0.087712+9.12288e-01]@[0.00000](636775), [0.0030465+8.35000e-01]@[0.00000](14229), [0.018023+8.17839e-01]@[0.00000](121790), [0.0019439+8.25311e-01]@[0.00000](6636), [0.0030465+8.25684e-01]@[0.00000](14325), [0.036111+7.87907e-01]@[0.00000](191989), [0.0019439+8.25311e-01]@[0.00000](6738), [0.0030465+8.35000e-01]@[0.00000](13992) ... (660)
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5014462 loops (31251/sec), 364110057 sampling steps, 45797 aborted
loop condition 0.17251, exit probability 0.030970 in initial state
161589 explored states, 660 states in BSSCs (660 absorbing)
4961887 component updates, 360312141 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](904570), [0.018023+9.81977e-01]@[0.00000](125568), [0.087712+9.12288e-01]@[0.00000](657430), [0.0030465+8.35000e-01]@[0.00000](14671), [0.018023+8.17839e-01]@[0.00000](125668), [0.0019439+8.25311e-01]@[0.00000](6842), [0.0030465+8.25684e-01]@[0.00000](14768), [0.036111+7.87907e-01]@[0.00000](198325), [0.0019439+8.25311e-01]@[0.00000](6968), [0.0030465+8.35000e-01]@[0.00000](14425) ... (660)
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5171520 loops (31411/sec), 375518602 sampling steps, 47095 aborted
loop condition 0.17159, exit probability 0.030859 in initial state
162590 explored states, 660 states in BSSCs (660 absorbing)
5117624 component updates, 371623220 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](933151), [0.018023+9.81977e-01]@[0.00000](129562), [0.087712+9.12288e-01]@[0.00000](677819), [0.0030465+8.35000e-01]@[0.00000](15129), [0.018023+8.17839e-01]@[0.00000](129568), [0.0019439+8.25311e-01]@[0.00000](7043), [0.0030465+8.25684e-01]@[0.00000](15255), [0.036111+7.87907e-01]@[0.00000](204476), [0.0019439+8.25311e-01]@[0.00000](7179), [0.0030465+8.35000e-01]@[0.00000](14891) ... (660)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5329307 loops (31557/sec), 386978606 sampling steps, 48386 aborted
loop condition 0.17072, exit probability 0.030749 in initial state
163848 explored states, 660 states in BSSCs (660 absorbing)
5274083 component updates, 382984904 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](961809), [0.018023+9.81977e-01]@[0.00000](133528), [0.087712+9.12288e-01]@[0.00000](698349), [0.0030465+8.35000e-01]@[0.00000](15540), [0.018023+8.17839e-01]@[0.00000](133554), [0.0019439+8.25311e-01]@[0.00000](7259), [0.0030465+8.25684e-01]@[0.00000](15699), [0.036111+7.87907e-01]@[0.00000](210718), [0.0019439+8.25311e-01]@[0.00000](7401), [0.0030465+8.35000e-01]@[0.00000](15357) ... (660)
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5487077 loops (31554/sec), 398432326 sampling steps, 49691 aborted
loop condition 0.16989, exit probability 0.030648 in initial state
165046 explored states, 660 states in BSSCs (660 absorbing)
5430512 component updates, 394340582 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](990010), [0.018023+9.81977e-01]@[0.00000](137562), [0.087712+9.12288e-01]@[0.00000](719238), [0.0030465+8.35000e-01]@[0.00000](16036), [0.018023+8.17839e-01]@[0.00000](137515), [0.0019439+8.25311e-01]@[0.00000](7454), [0.0030465+8.25684e-01]@[0.00000](16164), [0.036111+7.87907e-01]@[0.00000](217029), [0.0019439+8.25311e-01]@[0.00000](7604), [0.0030465+8.35000e-01]@[0.00000](15829) ... (660)
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5644974 loops (31579/sec), 409895091 sampling steps, 51029 aborted
loop condition 0.16913, exit probability 0.030556 in initial state
166047 explored states, 660 states in BSSCs (660 absorbing)
5587038 component updates, 405701911 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1018338), [0.018023+9.81977e-01]@[0.00000](141551), [0.087712+9.12288e-01]@[0.00000](740049), [0.0030465+8.35000e-01]@[0.00000](16519), [0.018023+8.17839e-01]@[0.00000](141517), [0.0019439+8.25311e-01]@[0.00000](7694), [0.0030465+8.25684e-01]@[0.00000](16599), [0.036111+7.87907e-01]@[0.00000](223287), [0.0019439+8.25311e-01]@[0.00000](7819), [0.0030465+8.35000e-01]@[0.00000](16305) ... (660)
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5802241 loops (31453/sec), 421311923 sampling steps, 52263 aborted
loop condition 0.16839, exit probability 0.030463 in initial state
167019 explored states, 660 states in BSSCs (660 absorbing)
5743049 component updates, 417026617 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1046606), [0.018023+9.81977e-01]@[0.00000](145505), [0.087712+9.12288e-01]@[0.00000](760776), [0.0030465+8.35000e-01]@[0.00000](16967), [0.018023+8.17839e-01]@[0.00000](145506), [0.0019439+8.25311e-01]@[0.00000](7906), [0.0030465+8.25684e-01]@[0.00000](17066), [0.036111+7.87907e-01]@[0.00000](229447), [0.0019439+8.25311e-01]@[0.00000](8043), [0.0030465+8.35000e-01]@[0.00000](16778) ... (660)
Sep 13, 2024 10:50:35 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 2365, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:50:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5859122 loops (4923/sec), 425444112 sampling steps, 52730 aborted
loop condition 0.16814, exit probability 0.030433 in initial state
167371 explored states, 3025 states in BSSCs (3025 absorbing)
5799455 component updates, 421123691 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1056919), [0.018023+9.81977e-01]@[0.00000](146941), [0.087712+9.12288e-01]@[0.00000](768238), [0.0030465+8.35000e-01]@[0.00000](17137), [0.018023+8.17839e-01]@[0.00000](146980), [0.0019439+8.25311e-01]@[0.00000](7966), [0.0030465+8.25684e-01]@[0.00000](17218), [0.036111+7.87907e-01]@[0.00000](231670), [0.0019439+8.25311e-01]@[0.00000](8133), [0.0030465+8.35000e-01]@[0.00000](16938) ... (3025)
Sep 13, 2024 10:50:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5934497 loops (15075/sec), 430918024 sampling steps, 52741 aborted
loop condition 0.16781, exit probability 0.029340 in initial state
167859 explored states, 3025 states in BSSCs (3025 absorbing)
5874806 component updates, 426595739 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1070390), [0.018023+9.81977e-01]@[0.00000](148828), [0.087712+9.12288e-01]@[0.00000](778047), [0.0030465+8.35000e-01]@[0.00000](17361), [0.018023+8.17839e-01]@[0.00000](148863), [0.0019439+8.25311e-01]@[0.00000](8063), [0.0030465+8.25684e-01]@[0.00000](17440), [0.036111+7.87907e-01]@[0.00000](234704), [0.0019439+8.25311e-01]@[0.00000](8234), [0.0030465+8.35000e-01]@[0.00000](17168) ... (3025)
Sep 13, 2024 10:50:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6008474 loops (14795/sec), 436294464 sampling steps, 52755 aborted
loop condition 0.16749, exit probability 0.027910 in initial state
168401 explored states, 3025 states in BSSCs (3025 absorbing)
5948748 component updates, 431969652 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1083658), [0.018023+9.81977e-01]@[0.00000](150664), [0.087712+9.12288e-01]@[0.00000](787631), [0.0030465+8.35000e-01]@[0.00000](17588), [0.018023+8.17839e-01]@[0.00000](150782), [0.0019439+8.25311e-01]@[0.00000](8159), [0.0030465+8.25684e-01]@[0.00000](17654), [0.036111+7.87907e-01]@[0.00000](237642), [0.0019439+8.25311e-01]@[0.00000](8329), [0.0030465+8.35000e-01]@[0.00000](17403) ... (3025)
Sep 13, 2024 10:51:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6084417 loops (15188/sec), 441811345 sampling steps, 52761 aborted
loop condition 0.16717, exit probability 0.026579 in initial state
168810 explored states, 3025 states in BSSCs (3025 absorbing)
6024675 component updates, 437485461 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1097383), [0.018023+9.81977e-01]@[0.00000](152578), [0.087712+9.12288e-01]@[0.00000](797609), [0.0030465+8.35000e-01]@[0.00000](17816), [0.018023+8.17839e-01]@[0.00000](152762), [0.0019439+8.25311e-01]@[0.00000](8286), [0.0030465+8.25684e-01]@[0.00000](17864), [0.036111+7.87907e-01]@[0.00000](240620), [0.0019439+8.25311e-01]@[0.00000](8448), [0.0030465+8.35000e-01]@[0.00000](17643) ... (3025)
Sep 13, 2024 10:51:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6156942 loops (14505/sec), 447075654 sampling steps, 52776 aborted
loop condition 0.16688, exit probability 0.025447 in initial state
169345 explored states, 3025 states in BSSCs (3025 absorbing)
6097168 component updates, 442747362 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1110362), [0.018023+9.81977e-01]@[0.00000](154471), [0.087712+9.12288e-01]@[0.00000](807143), [0.0030465+8.35000e-01]@[0.00000](18044), [0.018023+8.17839e-01]@[0.00000](154563), [0.0019439+8.25311e-01]@[0.00000](8374), [0.0030465+8.25684e-01]@[0.00000](18080), [0.036111+7.87907e-01]@[0.00000](243484), [0.0019439+8.25311e-01]@[0.00000](8547), [0.0030465+8.35000e-01]@[0.00000](17847) ... (3025)
Sep 13, 2024 10:51:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6228399 loops (14291/sec), 452265568 sampling steps, 52788 aborted
loop condition 0.16660, exit probability 0.024449 in initial state
169713 explored states, 3025 states in BSSCs (3025 absorbing)
6168606 component updates, 447935807 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1123200), [0.018023+9.81977e-01]@[0.00000](156293), [0.087712+9.12288e-01]@[0.00000](816585), [0.0030465+8.35000e-01]@[0.00000](18245), [0.018023+8.17839e-01]@[0.00000](156377), [0.0019439+8.25311e-01]@[0.00000](8474), [0.0030465+8.25684e-01]@[0.00000](18292), [0.036111+7.87907e-01]@[0.00000](246245), [0.0019439+8.25311e-01]@[0.00000](8647), [0.0030465+8.35000e-01]@[0.00000](18065) ... (3025)
Sep 13, 2024 10:51:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6298935 loops (14107/sec), 457384642 sampling steps, 52799 aborted
loop condition 0.16634, exit probability 0.023515 in initial state
170216 explored states, 3025 states in BSSCs (3025 absorbing)
6239116 component updates, 453052948 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1135799), [0.018023+9.81977e-01]@[0.00000](158106), [0.087712+9.12288e-01]@[0.00000](825947), [0.0030465+8.35000e-01]@[0.00000](18441), [0.018023+8.17839e-01]@[0.00000](158052), [0.0019439+8.25311e-01]@[0.00000](8572), [0.0030465+8.25684e-01]@[0.00000](18515), [0.036111+7.87907e-01]@[0.00000](249062), [0.0019439+8.25311e-01]@[0.00000](8753), [0.0030465+8.35000e-01]@[0.00000](18261) ... (3025)
Sep 13, 2024 10:51:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6370709 loops (14354/sec), 462595304 sampling steps, 52812 aborted
loop condition 0.16608, exit probability 0.022607 in initial state
170677 explored states, 3025 states in BSSCs (3025 absorbing)
6310864 component updates, 458261576 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1148805), [0.018023+9.81977e-01]@[0.00000](159926), [0.087712+9.12288e-01]@[0.00000](835373), [0.0030465+8.35000e-01]@[0.00000](18671), [0.018023+8.17839e-01]@[0.00000](159884), [0.0019439+8.25311e-01]@[0.00000](8658), [0.0030465+8.25684e-01]@[0.00000](18709), [0.036111+7.87907e-01]@[0.00000](251895), [0.0019439+8.25311e-01]@[0.00000](8877), [0.0030465+8.35000e-01]@[0.00000](18480) ... (3025)
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6441648 loops (14187/sec), 467741133 sampling steps, 52814 aborted
loop condition 0.16584, exit probability 0.021814 in initial state
171042 explored states, 3025 states in BSSCs (3025 absorbing)
6381789 component updates, 463406458 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1161564), [0.018023+9.81977e-01]@[0.00000](161713), [0.087712+9.12288e-01]@[0.00000](844604), [0.0030465+8.35000e-01]@[0.00000](18868), [0.018023+8.17839e-01]@[0.00000](161637), [0.0019439+8.25311e-01]@[0.00000](8761), [0.0030465+8.25684e-01]@[0.00000](18933), [0.036111+7.87907e-01]@[0.00000](254686), [0.0019439+8.25311e-01]@[0.00000](8985), [0.0030465+8.35000e-01]@[0.00000](18677) ... (3025)
Sep 13, 2024 10:51:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6511916 loops (14053/sec), 472842370 sampling steps, 52823 aborted
loop condition 0.16558, exit probability 0.021047 in initial state
171405 explored states, 3025 states in BSSCs (3025 absorbing)
6452039 component updates, 468506373 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1174188), [0.018023+9.81977e-01]@[0.00000](163433), [0.087712+9.12288e-01]@[0.00000](853726), [0.0030465+8.35000e-01]@[0.00000](19054), [0.018023+8.17839e-01]@[0.00000](163379), [0.0019439+8.25311e-01]@[0.00000](8867), [0.0030465+8.25684e-01]@[0.00000](19129), [0.036111+7.87907e-01]@[0.00000](257479), [0.0019439+8.25311e-01]@[0.00000](9090), [0.0030465+8.35000e-01]@[0.00000](18896) ... (3025)
Sep 13, 2024 10:51:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6580841 loops (13785/sec), 477846554 sampling steps, 52833 aborted
loop condition 0.16534, exit probability 0.020389 in initial state
171787 explored states, 3025 states in BSSCs (3025 absorbing)
6520945 component updates, 473509057 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1186618), [0.018023+9.81977e-01]@[0.00000](165180), [0.087712+9.12288e-01]@[0.00000](862606), [0.0030465+8.35000e-01]@[0.00000](19249), [0.018023+8.17839e-01]@[0.00000](165109), [0.0019439+8.25311e-01]@[0.00000](8982), [0.0030465+8.25684e-01]@[0.00000](19325), [0.036111+7.87907e-01]@[0.00000](260247), [0.0019439+8.25311e-01]@[0.00000](9181), [0.0030465+8.35000e-01]@[0.00000](19076) ... (3025)
Sep 13, 2024 10:51:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6649547 loops (13741/sec), 482834742 sampling steps, 52845 aborted
loop condition 0.16510, exit probability 0.019798 in initial state
172154 explored states, 3025 states in BSSCs (3025 absorbing)
6589633 component updates, 478495931 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1199226), [0.018023+9.81977e-01]@[0.00000](166917), [0.087712+9.12288e-01]@[0.00000](871575), [0.0030465+8.35000e-01]@[0.00000](19434), [0.018023+8.17839e-01]@[0.00000](166844), [0.0019439+8.25311e-01]@[0.00000](9074), [0.0030465+8.25684e-01]@[0.00000](19527), [0.036111+7.87907e-01]@[0.00000](262970), [0.0019439+8.25311e-01]@[0.00000](9287), [0.0030465+8.35000e-01]@[0.00000](19271) ... (3025)
Sep 13, 2024 10:51:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6719905 loops (14071/sec), 487944000 sampling steps, 52854 aborted
loop condition 0.16487, exit probability 0.019267 in initial state
172525 explored states, 3025 states in BSSCs (3025 absorbing)
6659971 component updates, 483603729 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1211933), [0.018023+9.81977e-01]@[0.00000](168613), [0.087712+9.12288e-01]@[0.00000](880875), [0.0030465+8.35000e-01]@[0.00000](19626), [0.018023+8.17839e-01]@[0.00000](168564), [0.0019439+8.25311e-01]@[0.00000](9166), [0.0030465+8.25684e-01]@[0.00000](19732), [0.036111+7.87907e-01]@[0.00000](265685), [0.0019439+8.25311e-01]@[0.00000](9401), [0.0030465+8.35000e-01]@[0.00000](19474) ... (3025)
Sep 13, 2024 10:51:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6789506 loops (13920/sec), 493001905 sampling steps, 52861 aborted
loop condition 0.16466, exit probability 0.018755 in initial state
172846 explored states, 3025 states in BSSCs (3025 absorbing)
6729558 component updates, 488660602 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1224630), [0.018023+9.81977e-01]@[0.00000](170366), [0.087712+9.12288e-01]@[0.00000](889933), [0.0030465+8.35000e-01]@[0.00000](19818), [0.018023+8.17839e-01]@[0.00000](170295), [0.0019439+8.25311e-01]@[0.00000](9264), [0.0030465+8.25684e-01]@[0.00000](19955), [0.036111+7.87907e-01]@[0.00000](268341), [0.0019439+8.25311e-01]@[0.00000](9510), [0.0030465+8.35000e-01]@[0.00000](19651) ... (3025)
Sep 13, 2024 10:51:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6857426 loops (13584/sec), 497935067 sampling steps, 52873 aborted
loop condition 0.16444, exit probability 0.018291 in initial state
173265 explored states, 3025 states in BSSCs (3025 absorbing)
6797453 component updates, 493591976 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1236998), [0.018023+9.81977e-01]@[0.00000](172053), [0.087712+9.12288e-01]@[0.00000](898818), [0.0030465+8.35000e-01]@[0.00000](20002), [0.018023+8.17839e-01]@[0.00000](172049), [0.0019439+8.25311e-01]@[0.00000](9368), [0.0030465+8.25684e-01]@[0.00000](20156), [0.036111+7.87907e-01]@[0.00000](271061), [0.0019439+8.25311e-01]@[0.00000](9598), [0.0030465+8.35000e-01]@[0.00000](19832) ... (3025)
Sep 13, 2024 10:52:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6926038 loops (13722/sec), 502910032 sampling steps, 52886 aborted
loop condition 0.16421, exit probability 0.017858 in initial state
173657 explored states, 3025 states in BSSCs (3025 absorbing)
6866039 component updates, 498564994 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1249562), [0.018023+9.81977e-01]@[0.00000](173774), [0.087712+9.12288e-01]@[0.00000](907831), [0.0030465+8.35000e-01]@[0.00000](20195), [0.018023+8.17839e-01]@[0.00000](173762), [0.0019439+8.25311e-01]@[0.00000](9459), [0.0030465+8.25684e-01]@[0.00000](20354), [0.036111+7.87907e-01]@[0.00000](273762), [0.0019439+8.25311e-01]@[0.00000](9703), [0.0030465+8.35000e-01]@[0.00000](20034) ... (3025)
Sep 13, 2024 10:52:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6994186 loops (13629/sec), 507860027 sampling steps, 52900 aborted
loop condition 0.16401, exit probability 0.017449 in initial state
174103 explored states, 3025 states in BSSCs (3025 absorbing)
6934161 component updates, 503513156 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1261638), [0.018023+9.81977e-01]@[0.00000](175465), [0.087712+9.12288e-01]@[0.00000](916794), [0.0030465+8.35000e-01]@[0.00000](20404), [0.018023+8.17839e-01]@[0.00000](175531), [0.0019439+8.25311e-01]@[0.00000](9566), [0.0030465+8.25684e-01]@[0.00000](20559), [0.036111+7.87907e-01]@[0.00000](276411), [0.0019439+8.25311e-01]@[0.00000](9803), [0.0030465+8.35000e-01]@[0.00000](20195) ... (3025)
Sep 13, 2024 10:52:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7062070 loops (13576/sec), 512795030 sampling steps, 52911 aborted
loop condition 0.16380, exit probability 0.017063 in initial state
174512 explored states, 3025 states in BSSCs (3025 absorbing)
7002023 component updates, 508446557 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1273906), [0.018023+9.81977e-01]@[0.00000](177207), [0.087712+9.12288e-01]@[0.00000](925518), [0.0030465+8.35000e-01]@[0.00000](20589), [0.018023+8.17839e-01]@[0.00000](177324), [0.0019439+8.25311e-01]@[0.00000](9649), [0.0030465+8.25684e-01]@[0.00000](20763), [0.036111+7.87907e-01]@[0.00000](279067), [0.0019439+8.25311e-01]@[0.00000](9922), [0.0030465+8.35000e-01]@[0.00000](20390) ... (3025)
Sep 13, 2024 10:52:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7132575 loops (14101/sec), 517916215 sampling steps, 52924 aborted
loop condition 0.16360, exit probability 0.016685 in initial state
174844 explored states, 3025 states in BSSCs (3025 absorbing)
7072503 component updates, 513565889 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1286752), [0.018023+9.81977e-01]@[0.00000](178941), [0.087712+9.12288e-01]@[0.00000](934675), [0.0030465+8.35000e-01]@[0.00000](20780), [0.018023+8.17839e-01]@[0.00000](179106), [0.0019439+8.25311e-01]@[0.00000](9751), [0.0030465+8.25684e-01]@[0.00000](20955), [0.036111+7.87907e-01]@[0.00000](281831), [0.0019439+8.25311e-01]@[0.00000](10027), [0.0030465+8.35000e-01]@[0.00000](20593) ... (3025)
Sep 13, 2024 10:52:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7203098 loops (14104/sec), 523039498 sampling steps, 52935 aborted
loop condition 0.16340, exit probability 0.016341 in initial state
175264 explored states, 3025 states in BSSCs (3025 absorbing)
7143000 component updates, 518687219 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1299554), [0.018023+9.81977e-01]@[0.00000](180692), [0.087712+9.12288e-01]@[0.00000](943805), [0.0030465+8.35000e-01]@[0.00000](20989), [0.018023+8.17839e-01]@[0.00000](180812), [0.0019439+8.25311e-01]@[0.00000](9852), [0.0030465+8.25684e-01]@[0.00000](21157), [0.036111+7.87907e-01]@[0.00000](284636), [0.0019439+8.25311e-01]@[0.00000](10132), [0.0030465+8.35000e-01]@[0.00000](20787) ... (3025)
Sep 13, 2024 10:52:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7273662 loops (14112/sec), 528164471 sampling steps, 52943 aborted
loop condition 0.16319, exit probability 0.016017 in initial state
175588 explored states, 3025 states in BSSCs (3025 absorbing)
7213549 component updates, 523811145 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1312252), [0.018023+9.81977e-01]@[0.00000](182543), [0.087712+9.12288e-01]@[0.00000](953152), [0.0030465+8.35000e-01]@[0.00000](21179), [0.018023+8.17839e-01]@[0.00000](182548), [0.0019439+8.25311e-01]@[0.00000](9957), [0.0030465+8.25684e-01]@[0.00000](21368), [0.036111+7.87907e-01]@[0.00000](287325), [0.0019439+8.25311e-01]@[0.00000](10250), [0.0030465+8.35000e-01]@[0.00000](20995) ... (3025)
Sep 13, 2024 10:52:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7345425 loops (14352/sec), 533380621 sampling steps, 52953 aborted
loop condition 0.16300, exit probability 0.015718 in initial state
175949 explored states, 3025 states in BSSCs (3025 absorbing)
7285290 component updates, 529025629 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1325149), [0.018023+9.81977e-01]@[0.00000](184323), [0.087712+9.12288e-01]@[0.00000](962475), [0.0030465+8.35000e-01]@[0.00000](21407), [0.018023+8.17839e-01]@[0.00000](184323), [0.0019439+8.25311e-01]@[0.00000](10046), [0.0030465+8.25684e-01]@[0.00000](21594), [0.036111+7.87907e-01]@[0.00000](290171), [0.0019439+8.25311e-01]@[0.00000](10355), [0.0030465+8.35000e-01]@[0.00000](21202) ... (3025)
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7416823 loops (14279/sec), 538564237 sampling steps, 52965 aborted
loop condition 0.16280, exit probability 0.015427 in initial state
176409 explored states, 3025 states in BSSCs (3025 absorbing)
7356657 component updates, 534206865 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1337974), [0.018023+9.81977e-01]@[0.00000](186127), [0.087712+9.12288e-01]@[0.00000](971961), [0.0030465+8.35000e-01]@[0.00000](21615), [0.018023+8.17839e-01]@[0.00000](186113), [0.0019439+8.25311e-01]@[0.00000](10156), [0.0030465+8.25684e-01]@[0.00000](21819), [0.036111+7.87907e-01]@[0.00000](292965), [0.0019439+8.25311e-01]@[0.00000](10452), [0.0030465+8.35000e-01]@[0.00000](21397) ... (3025)
Sep 13, 2024 10:52:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7489825 loops (14600/sec), 543862497 sampling steps, 52978 aborted
loop condition 0.16262, exit probability 0.015147 in initial state
176757 explored states, 3025 states in BSSCs (3025 absorbing)
7429635 component updates, 539503324 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1350942), [0.018023+9.81977e-01]@[0.00000](187946), [0.087712+9.12288e-01]@[0.00000](981532), [0.0030465+8.35000e-01]@[0.00000](21854), [0.018023+8.17839e-01]@[0.00000](187914), [0.0019439+8.25311e-01]@[0.00000](10249), [0.0030465+8.25684e-01]@[0.00000](21996), [0.036111+7.87907e-01]@[0.00000](295860), [0.0019439+8.25311e-01]@[0.00000](10556), [0.0030465+8.35000e-01]@[0.00000](21604) ... (3025)
Sep 13, 2024 10:52:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7562695 loops (14574/sec), 549155407 sampling steps, 52989 aborted
loop condition 0.16242, exit probability 0.014887 in initial state
177117 explored states, 3025 states in BSSCs (3025 absorbing)
7502482 component updates, 544794538 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1364055), [0.018023+9.81977e-01]@[0.00000](189802), [0.087712+9.12288e-01]@[0.00000](990992), [0.0030465+8.35000e-01]@[0.00000](22071), [0.018023+8.17839e-01]@[0.00000](189796), [0.0019439+8.25311e-01]@[0.00000](10342), [0.0030465+8.25684e-01]@[0.00000](22233), [0.036111+7.87907e-01]@[0.00000](298845), [0.0019439+8.25311e-01]@[0.00000](10652), [0.0030465+8.35000e-01]@[0.00000](21816) ... (3025)
Sep 13, 2024 10:52:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7634452 loops (14351/sec), 554369031 sampling steps, 53005 aborted
loop condition 0.16224, exit probability 0.014650 in initial state
177500 explored states, 3025 states in BSSCs (3025 absorbing)
7574216 component updates, 550006438 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1377120), [0.018023+9.81977e-01]@[0.00000](191676), [0.087712+9.12288e-01]@[0.00000](1000281), [0.0030465+8.35000e-01]@[0.00000](22297), [0.018023+8.17839e-01]@[0.00000](191586), [0.0019439+8.25311e-01]@[0.00000](10449), [0.0030465+8.25684e-01]@[0.00000](22463), [0.036111+7.87907e-01]@[0.00000](301726), [0.0019439+8.25311e-01]@[0.00000](10745), [0.0030465+8.35000e-01]@[0.00000](22056) ... (3025)
Sep 13, 2024 10:52:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7706742 loops (14458/sec), 559611207 sampling steps, 53016 aborted
loop condition 0.16206, exit probability 0.014419 in initial state
177829 explored states, 3025 states in BSSCs (3025 absorbing)
7646487 component updates, 555247184 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1390163), [0.018023+9.81977e-01]@[0.00000](193520), [0.087712+9.12288e-01]@[0.00000](1009740), [0.0030465+8.35000e-01]@[0.00000](22511), [0.018023+8.17839e-01]@[0.00000](193403), [0.0019439+8.25311e-01]@[0.00000](10544), [0.0030465+8.25684e-01]@[0.00000](22672), [0.036111+7.87907e-01]@[0.00000](304675), [0.0019439+8.25311e-01]@[0.00000](10856), [0.0030465+8.35000e-01]@[0.00000](22251) ... (3025)
Sep 13, 2024 10:53:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7779913 loops (14634/sec), 564921136 sampling steps, 53024 aborted
loop condition 0.16187, exit probability 0.014189 in initial state
178104 explored states, 3025 states in BSSCs (3025 absorbing)
7719645 component updates, 560556126 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1403453), [0.018023+9.81977e-01]@[0.00000](195366), [0.087712+9.12288e-01]@[0.00000](1019423), [0.0030465+8.35000e-01]@[0.00000](22736), [0.018023+8.17839e-01]@[0.00000](195242), [0.0019439+8.25311e-01]@[0.00000](10640), [0.0030465+8.25684e-01]@[0.00000](22892), [0.036111+7.87907e-01]@[0.00000](307484), [0.0019439+8.25311e-01]@[0.00000](10955), [0.0030465+8.35000e-01]@[0.00000](22461) ... (3025)
Sep 13, 2024 10:53:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7853444 loops (14706/sec), 570258980 sampling steps, 53035 aborted
loop condition 0.16169, exit probability 0.013969 in initial state
178498 explored states, 3025 states in BSSCs (3025 absorbing)
7793157 component updates, 565892548 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1416883), [0.018023+9.81977e-01]@[0.00000](197191), [0.087712+9.12288e-01]@[0.00000](1029043), [0.0030465+8.35000e-01]@[0.00000](22946), [0.018023+8.17839e-01]@[0.00000](197088), [0.0019439+8.25311e-01]@[0.00000](10739), [0.0030465+8.25684e-01]@[0.00000](23104), [0.036111+7.87907e-01]@[0.00000](310335), [0.0019439+8.25311e-01]@[0.00000](11042), [0.0030465+8.35000e-01]@[0.00000](22663) ... (3025)
Sep 13, 2024 10:53:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7928485 loops (15008/sec), 575710299 sampling steps, 53047 aborted
loop condition 0.16151, exit probability 0.013756 in initial state
178819 explored states, 3025 states in BSSCs (3025 absorbing)
7868176 component updates, 571342326 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1430454), [0.018023+9.81977e-01]@[0.00000](198967), [0.087712+9.12288e-01]@[0.00000](1038857), [0.0030465+8.35000e-01]@[0.00000](23164), [0.018023+8.17839e-01]@[0.00000](199053), [0.0019439+8.25311e-01]@[0.00000](10843), [0.0030465+8.25684e-01]@[0.00000](23310), [0.036111+7.87907e-01]@[0.00000](313285), [0.0019439+8.25311e-01]@[0.00000](11137), [0.0030465+8.35000e-01]@[0.00000](22876) ... (3025)
Sep 13, 2024 10:53:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8003730 loops (15049/sec), 581175612 sampling steps, 53057 aborted
loop condition 0.16133, exit probability 0.013563 in initial state
179157 explored states, 3025 states in BSSCs (3025 absorbing)
7943402 component updates, 576806156 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1444028), [0.018023+9.81977e-01]@[0.00000](200902), [0.087712+9.12288e-01]@[0.00000](1048597), [0.0030465+8.35000e-01]@[0.00000](23378), [0.018023+8.17839e-01]@[0.00000](200904), [0.0019439+8.25311e-01]@[0.00000](10951), [0.0030465+8.25684e-01]@[0.00000](23534), [0.036111+7.87907e-01]@[0.00000](316217), [0.0019439+8.25311e-01]@[0.00000](11238), [0.0030465+8.35000e-01]@[0.00000](23096) ... (3025)
Sep 13, 2024 10:53:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8078792 loops (15012/sec), 586629988 sampling steps, 53074 aborted
loop condition 0.16116, exit probability 0.013377 in initial state
179525 explored states, 3025 states in BSSCs (3025 absorbing)
8018439 component updates, 582258800 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1457506), [0.018023+9.81977e-01]@[0.00000](202836), [0.087712+9.12288e-01]@[0.00000](1058459), [0.0030465+8.35000e-01]@[0.00000](23594), [0.018023+8.17839e-01]@[0.00000](202833), [0.0019439+8.25311e-01]@[0.00000](11057), [0.0030465+8.25684e-01]@[0.00000](23755), [0.036111+7.87907e-01]@[0.00000](319189), [0.0019439+8.25311e-01]@[0.00000](11334), [0.0030465+8.35000e-01]@[0.00000](23328) ... (3025)
Sep 13, 2024 10:53:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8154416 loops (15124/sec), 592126594 sampling steps, 53083 aborted
loop condition 0.16099, exit probability 0.013190 in initial state
179833 explored states, 3025 states in BSSCs (3025 absorbing)
8094050 component updates, 587754450 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1470892), [0.018023+9.81977e-01]@[0.00000](204679), [0.087712+9.12288e-01]@[0.00000](1068468), [0.0030465+8.35000e-01]@[0.00000](23808), [0.018023+8.17839e-01]@[0.00000](204804), [0.0019439+8.25311e-01]@[0.00000](11153), [0.0030465+8.25684e-01]@[0.00000](23977), [0.036111+7.87907e-01]@[0.00000](322255), [0.0019439+8.25311e-01]@[0.00000](11436), [0.0030465+8.35000e-01]@[0.00000](23562) ... (3025)
Sep 13, 2024 10:53:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8229266 loops (14970/sec), 597560922 sampling steps, 53101 aborted
loop condition 0.16081, exit probability 0.013005 in initial state
180213 explored states, 3025 states in BSSCs (3025 absorbing)
8168871 component updates, 593186693 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1484477), [0.018023+9.81977e-01]@[0.00000](206477), [0.087712+9.12288e-01]@[0.00000](1078278), [0.0030465+8.35000e-01]@[0.00000](24023), [0.018023+8.17839e-01]@[0.00000](206691), [0.0019439+8.25311e-01]@[0.00000](11244), [0.0030465+8.25684e-01]@[0.00000](24190), [0.036111+7.87907e-01]@[0.00000](325153), [0.0019439+8.25311e-01]@[0.00000](11539), [0.0030465+8.35000e-01]@[0.00000](23813) ... (3025)
Sep 13, 2024 10:53:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8303225 loops (14791/sec), 602940591 sampling steps, 53110 aborted
loop condition 0.16064, exit probability 0.012839 in initial state
180489 explored states, 3025 states in BSSCs (3025 absorbing)
8242816 component updates, 598565333 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1497639), [0.018023+9.81977e-01]@[0.00000](208281), [0.087712+9.12288e-01]@[0.00000](1087852), [0.0030465+8.35000e-01]@[0.00000](24250), [0.018023+8.17839e-01]@[0.00000](208570), [0.0019439+8.25311e-01]@[0.00000](11354), [0.0030465+8.25684e-01]@[0.00000](24407), [0.036111+7.87907e-01]@[0.00000](328131), [0.0019439+8.25311e-01]@[0.00000](11646), [0.0030465+8.35000e-01]@[0.00000](24045) ... (3025)
Sep 13, 2024 10:53:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8378609 loops (15076/sec), 608413954 sampling steps, 53124 aborted
loop condition 0.16048, exit probability 0.012674 in initial state
180814 explored states, 3025 states in BSSCs (3025 absorbing)
8318180 component updates, 604037248 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1511365), [0.018023+9.81977e-01]@[0.00000](210162), [0.087712+9.12288e-01]@[0.00000](1097718), [0.0030465+8.35000e-01]@[0.00000](24455), [0.018023+8.17839e-01]@[0.00000](210440), [0.0019439+8.25311e-01]@[0.00000](11462), [0.0030465+8.25684e-01]@[0.00000](24668), [0.036111+7.87907e-01]@[0.00000](331114), [0.0019439+8.25311e-01]@[0.00000](11757), [0.0030465+8.35000e-01]@[0.00000](24273) ... (3025)
Sep 13, 2024 10:53:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8453205 loops (14919/sec), 613836248 sampling steps, 53134 aborted
loop condition 0.16032, exit probability 0.012501 in initial state
181147 explored states, 3025 states in BSSCs (3025 absorbing)
8392759 component updates, 609458280 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1524662), [0.018023+9.81977e-01]@[0.00000](212032), [0.087712+9.12288e-01]@[0.00000](1107553), [0.0030465+8.35000e-01]@[0.00000](24675), [0.018023+8.17839e-01]@[0.00000](212310), [0.0019439+8.25311e-01]@[0.00000](11577), [0.0030465+8.25684e-01]@[0.00000](24878), [0.036111+7.87907e-01]@[0.00000](334103), [0.0019439+8.25311e-01]@[0.00000](11860), [0.0030465+8.35000e-01]@[0.00000](24495) ... (3025)
Sep 13, 2024 10:53:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8526319 loops (14622/sec), 619143590 sampling steps, 53145 aborted
loop condition 0.16016, exit probability 0.012344 in initial state
181458 explored states, 3025 states in BSSCs (3025 absorbing)
8465855 component updates, 614764303 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1538005), [0.018023+9.81977e-01]@[0.00000](213836), [0.087712+9.12288e-01]@[0.00000](1117178), [0.0030465+8.35000e-01]@[0.00000](24903), [0.018023+8.17839e-01]@[0.00000](214156), [0.0019439+8.25311e-01]@[0.00000](11678), [0.0030465+8.25684e-01]@[0.00000](25096), [0.036111+7.87907e-01]@[0.00000](337008), [0.0019439+8.25311e-01]@[0.00000](11962), [0.0030465+8.35000e-01]@[0.00000](24690) ... (3025)
Sep 13, 2024 10:53:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8601378 loops (15011/sec), 624594953 sampling steps, 53155 aborted
loop condition 0.16000, exit probability 0.012191 in initial state
181802 explored states, 3025 states in BSSCs (3025 absorbing)
8540896 component updates, 620214399 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1551504), [0.018023+9.81977e-01]@[0.00000](215644), [0.087712+9.12288e-01]@[0.00000](1126974), [0.0030465+8.35000e-01]@[0.00000](25112), [0.018023+8.17839e-01]@[0.00000](216065), [0.0019439+8.25311e-01]@[0.00000](11788), [0.0030465+8.25684e-01]@[0.00000](25316), [0.036111+7.87907e-01]@[0.00000](340041), [0.0019439+8.25311e-01]@[0.00000](12075), [0.0030465+8.35000e-01]@[0.00000](24904) ... (3025)
Sep 13, 2024 10:54:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8676883 loops (15101/sec), 630077216 sampling steps, 53164 aborted
loop condition 0.15985, exit probability 0.012047 in initial state
182124 explored states, 3025 states in BSSCs (3025 absorbing)
8616382 component updates, 625695351 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1565227), [0.018023+9.81977e-01]@[0.00000](217501), [0.087712+9.12288e-01]@[0.00000](1136938), [0.0030465+8.35000e-01]@[0.00000](25356), [0.018023+8.17839e-01]@[0.00000](217926), [0.0019439+8.25311e-01]@[0.00000](11880), [0.0030465+8.25684e-01]@[0.00000](25540), [0.036111+7.87907e-01]@[0.00000](343067), [0.0019439+8.25311e-01]@[0.00000](12170), [0.0030465+8.35000e-01]@[0.00000](25132) ... (3025)
Sep 13, 2024 10:54:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8753889 loops (15401/sec), 635670455 sampling steps, 53176 aborted
loop condition 0.15969, exit probability 0.011903 in initial state
182401 explored states, 3025 states in BSSCs (3025 absorbing)
8693371 component updates, 631287308 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1579036), [0.018023+9.81977e-01]@[0.00000](219438), [0.087712+9.12288e-01]@[0.00000](1147093), [0.0030465+8.35000e-01]@[0.00000](25602), [0.018023+8.17839e-01]@[0.00000](219918), [0.0019439+8.25311e-01]@[0.00000](11986), [0.0030465+8.25684e-01]@[0.00000](25759), [0.036111+7.87907e-01]@[0.00000](346118), [0.0019439+8.25311e-01]@[0.00000](12270), [0.0030465+8.35000e-01]@[0.00000](25354) ... (3025)
Sep 13, 2024 10:54:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8829922 loops (15206/sec), 641195686 sampling steps, 53189 aborted
loop condition 0.15953, exit probability 0.011757 in initial state
182761 explored states, 3025 states in BSSCs (3025 absorbing)
8769381 component updates, 636810860 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1592698), [0.018023+9.81977e-01]@[0.00000](221397), [0.087712+9.12288e-01]@[0.00000](1156970), [0.0030465+8.35000e-01]@[0.00000](25802), [0.018023+8.17839e-01]@[0.00000](221783), [0.0019439+8.25311e-01]@[0.00000](12079), [0.0030465+8.25684e-01]@[0.00000](25997), [0.036111+7.87907e-01]@[0.00000](349070), [0.0019439+8.25311e-01]@[0.00000](12379), [0.0030465+8.35000e-01]@[0.00000](25566) ... (3025)
Sep 13, 2024 10:54:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8907931 loops (15601/sec), 646861388 sampling steps, 53201 aborted
loop condition 0.15937, exit probability 0.011613 in initial state
183113 explored states, 3025 states in BSSCs (3025 absorbing)
8847368 component updates, 642474929 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1606736), [0.018023+9.81977e-01]@[0.00000](223381), [0.087712+9.12288e-01]@[0.00000](1167074), [0.0030465+8.35000e-01]@[0.00000](26027), [0.018023+8.17839e-01]@[0.00000](223780), [0.0019439+8.25311e-01]@[0.00000](12184), [0.0030465+8.25684e-01]@[0.00000](26214), [0.036111+7.87907e-01]@[0.00000](352115), [0.0019439+8.25311e-01]@[0.00000](12501), [0.0030465+8.35000e-01]@[0.00000](25784) ... (3025)
Sep 13, 2024 10:54:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8985753 loops (15564/sec), 652513081 sampling steps, 53214 aborted
loop condition 0.15921, exit probability 0.011476 in initial state
183470 explored states, 3025 states in BSSCs (3025 absorbing)
8925166 component updates, 648124764 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1620577), [0.018023+9.81977e-01]@[0.00000](225377), [0.087712+9.12288e-01]@[0.00000](1177278), [0.0030465+8.35000e-01]@[0.00000](26254), [0.018023+8.17839e-01]@[0.00000](225674), [0.0019439+8.25311e-01]@[0.00000](12277), [0.0030465+8.25684e-01]@[0.00000](26445), [0.036111+7.87907e-01]@[0.00000](355166), [0.0019439+8.25311e-01]@[0.00000](12613), [0.0030465+8.35000e-01]@[0.00000](25988) ... (3025)
Sep 13, 2024 10:54:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9062462 loops (15341/sec), 658080337 sampling steps, 53229 aborted
loop condition 0.15906, exit probability 0.011337 in initial state
183830 explored states, 3025 states in BSSCs (3025 absorbing)
9001850 component updates, 653690088 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1634348), [0.018023+9.81977e-01]@[0.00000](227244), [0.087712+9.12288e-01]@[0.00000](1187360), [0.0030465+8.35000e-01]@[0.00000](26489), [0.018023+8.17839e-01]@[0.00000](227566), [0.0019439+8.25311e-01]@[0.00000](12392), [0.0030465+8.25684e-01]@[0.00000](26665), [0.036111+7.87907e-01]@[0.00000](358090), [0.0019439+8.25311e-01]@[0.00000](12723), [0.0030465+8.35000e-01]@[0.00000](26192) ... (3025)
Sep 13, 2024 10:54:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9140143 loops (15536/sec), 663721951 sampling steps, 53239 aborted
loop condition 0.15890, exit probability 0.011208 in initial state
184218 explored states, 3025 states in BSSCs (3025 absorbing)
9079507 component updates, 659329959 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1648311), [0.018023+9.81977e-01]@[0.00000](229205), [0.087712+9.12288e-01]@[0.00000](1197380), [0.0030465+8.35000e-01]@[0.00000](26688), [0.018023+8.17839e-01]@[0.00000](229586), [0.0019439+8.25311e-01]@[0.00000](12482), [0.0030465+8.25684e-01]@[0.00000](26897), [0.036111+7.87907e-01]@[0.00000](361187), [0.0019439+8.25311e-01]@[0.00000](12836), [0.0030465+8.35000e-01]@[0.00000](26428) ... (3025)
Sep 13, 2024 10:54:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9217565 loops (15484/sec), 669348082 sampling steps, 53248 aborted
loop condition 0.15875, exit probability 0.011079 in initial state
184498 explored states, 3025 states in BSSCs (3025 absorbing)
9156916 component updates, 664955128 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1662235), [0.018023+9.81977e-01]@[0.00000](231101), [0.087712+9.12288e-01]@[0.00000](1207647), [0.0030465+8.35000e-01]@[0.00000](26922), [0.018023+8.17839e-01]@[0.00000](231560), [0.0019439+8.25311e-01]@[0.00000](12595), [0.0030465+8.25684e-01]@[0.00000](27103), [0.036111+7.87907e-01]@[0.00000](364256), [0.0019439+8.25311e-01]@[0.00000](12920), [0.0030465+8.35000e-01]@[0.00000](26680) ... (3025)
Sep 13, 2024 10:54:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9293759 loops (15238/sec), 674877688 sampling steps, 53269 aborted
loop condition 0.15860, exit probability 0.010949 in initial state
184820 explored states, 3025 states in BSSCs (3025 absorbing)
9233082 component updates, 670482601 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1676167), [0.018023+9.81977e-01]@[0.00000](232948), [0.087712+9.12288e-01]@[0.00000](1217541), [0.0030465+8.35000e-01]@[0.00000](27127), [0.018023+8.17839e-01]@[0.00000](233401), [0.0019439+8.25311e-01]@[0.00000](12706), [0.0030465+8.25684e-01]@[0.00000](27339), [0.036111+7.87907e-01]@[0.00000](367320), [0.0019439+8.25311e-01]@[0.00000](13018), [0.0030465+8.35000e-01]@[0.00000](26934) ... (3025)
Sep 13, 2024 10:54:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9370295 loops (15307/sec), 680437757 sampling steps, 53284 aborted
loop condition 0.15845, exit probability 0.010832 in initial state
185038 explored states, 3025 states in BSSCs (3025 absorbing)
9309599 component updates, 676041304 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1690047), [0.018023+9.81977e-01]@[0.00000](234879), [0.087712+9.12288e-01]@[0.00000](1227594), [0.0030465+8.35000e-01]@[0.00000](27344), [0.018023+8.17839e-01]@[0.00000](235286), [0.0019439+8.25311e-01]@[0.00000](12825), [0.0030465+8.25684e-01]@[0.00000](27571), [0.036111+7.87907e-01]@[0.00000](370279), [0.0019439+8.25311e-01]@[0.00000](13114), [0.0030465+8.35000e-01]@[0.00000](27172) ... (3025)
Sep 13, 2024 10:54:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9447728 loops (15486/sec), 686071919 sampling steps, 53300 aborted
loop condition 0.15830, exit probability 0.010720 in initial state
185303 explored states, 3025 states in BSSCs (3025 absorbing)
9387011 component updates, 681673915 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1704176), [0.018023+9.81977e-01]@[0.00000](236949), [0.087712+9.12288e-01]@[0.00000](1237747), [0.0030465+8.35000e-01]@[0.00000](27591), [0.018023+8.17839e-01]@[0.00000](237217), [0.0019439+8.25311e-01]@[0.00000](12920), [0.0030465+8.25684e-01]@[0.00000](27789), [0.036111+7.87907e-01]@[0.00000](373346), [0.0019439+8.25311e-01]@[0.00000](13227), [0.0030465+8.35000e-01]@[0.00000](27376) ... (3025)
Sep 13, 2024 10:54:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9525777 loops (15609/sec), 691739445 sampling steps, 53318 aborted
loop condition 0.15816, exit probability 0.010608 in initial state
185639 explored states, 3025 states in BSSCs (3025 absorbing)
9465032 component updates, 687339297 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1718476), [0.018023+9.81977e-01]@[0.00000](238923), [0.087712+9.12288e-01]@[0.00000](1248057), [0.0030465+8.35000e-01]@[0.00000](27814), [0.018023+8.17839e-01]@[0.00000](239174), [0.0019439+8.25311e-01]@[0.00000](13039), [0.0030465+8.25684e-01]@[0.00000](28024), [0.036111+7.87907e-01]@[0.00000](376426), [0.0019439+8.25311e-01]@[0.00000](13356), [0.0030465+8.35000e-01]@[0.00000](27627) ... (3025)
Sep 13, 2024 10:55:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9604392 loops (15723/sec), 697451620 sampling steps, 53333 aborted
loop condition 0.15802, exit probability 0.010495 in initial state
186005 explored states, 3025 states in BSSCs (3025 absorbing)
9543621 component updates, 693049424 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1732600), [0.018023+9.81977e-01]@[0.00000](240915), [0.087712+9.12288e-01]@[0.00000](1258400), [0.0030465+8.35000e-01]@[0.00000](28045), [0.018023+8.17839e-01]@[0.00000](241191), [0.0019439+8.25311e-01]@[0.00000](13160), [0.0030465+8.25684e-01]@[0.00000](28230), [0.036111+7.87907e-01]@[0.00000](379548), [0.0019439+8.25311e-01]@[0.00000](13467), [0.0030465+8.35000e-01]@[0.00000](27862) ... (3025)
Sep 13, 2024 10:55:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9682351 loops (15591/sec), 703110197 sampling steps, 53345 aborted
loop condition 0.15788, exit probability 0.010394 in initial state
186289 explored states, 3025 states in BSSCs (3025 absorbing)
9621562 component updates, 698706627 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1746547), [0.018023+9.81977e-01]@[0.00000](242900), [0.087712+9.12288e-01]@[0.00000](1268777), [0.0030465+8.35000e-01]@[0.00000](28273), [0.018023+8.17839e-01]@[0.00000](243122), [0.0019439+8.25311e-01]@[0.00000](13263), [0.0030465+8.25684e-01]@[0.00000](28473), [0.036111+7.87907e-01]@[0.00000](382607), [0.0019439+8.25311e-01]@[0.00000](13582), [0.0030465+8.35000e-01]@[0.00000](28081) ... (3025)
Sep 13, 2024 10:55:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9760875 loops (15704/sec), 708807766 sampling steps, 53361 aborted
loop condition 0.15774, exit probability 0.010297 in initial state
186568 explored states, 3025 states in BSSCs (3025 absorbing)
9700063 component updates, 704402472 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1760578), [0.018023+9.81977e-01]@[0.00000](244852), [0.087712+9.12288e-01]@[0.00000](1279147), [0.0030465+8.35000e-01]@[0.00000](28521), [0.018023+8.17839e-01]@[0.00000](245131), [0.0019439+8.25311e-01]@[0.00000](13366), [0.0030465+8.25684e-01]@[0.00000](28692), [0.036111+7.87907e-01]@[0.00000](385820), [0.0019439+8.25311e-01]@[0.00000](13702), [0.0030465+8.35000e-01]@[0.00000](28331) ... (3025)
Sep 13, 2024 10:55:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9839362 loops (15697/sec), 714509641 sampling steps, 53372 aborted
loop condition 0.15760, exit probability 0.010204 in initial state
186860 explored states, 3025 states in BSSCs (3025 absorbing)
9778534 component updates, 710103136 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1774735), [0.018023+9.81977e-01]@[0.00000](246858), [0.087712+9.12288e-01]@[0.00000](1289516), [0.0030465+8.35000e-01]@[0.00000](28730), [0.018023+8.17839e-01]@[0.00000](247018), [0.0019439+8.25311e-01]@[0.00000](13482), [0.0030465+8.25684e-01]@[0.00000](28960), [0.036111+7.87907e-01]@[0.00000](389025), [0.0019439+8.25311e-01]@[0.00000](13822), [0.0030465+8.35000e-01]@[0.00000](28552) ... (3025)
Sep 13, 2024 10:55:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9917258 loops (15579/sec), 720166952 sampling steps, 53381 aborted
loop condition 0.15746, exit probability 0.010106 in initial state
187164 explored states, 3025 states in BSSCs (3025 absorbing)
9856411 component updates, 715758985 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1788815), [0.018023+9.81977e-01]@[0.00000](248894), [0.087712+9.12288e-01]@[0.00000](1299505), [0.0030465+8.35000e-01]@[0.00000](28941), [0.018023+8.17839e-01]@[0.00000](248965), [0.0019439+8.25311e-01]@[0.00000](13591), [0.0030465+8.25684e-01]@[0.00000](29201), [0.036111+7.87907e-01]@[0.00000](392058), [0.0019439+8.25311e-01]@[0.00000](13943), [0.0030465+8.35000e-01]@[0.00000](28768) ... (3025)
Sep 13, 2024 10:55:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9995796 loops (15707/sec), 725874540 sampling steps, 53392 aborted
loop condition 0.15732, exit probability 0.010011 in initial state
187439 explored states, 3025 states in BSSCs (3025 absorbing)
9934930 component updates, 721465120 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1803115), [0.018023+9.81977e-01]@[0.00000](250857), [0.087712+9.12288e-01]@[0.00000](1309567), [0.0030465+8.35000e-01]@[0.00000](29179), [0.018023+8.17839e-01]@[0.00000](250927), [0.0019439+8.25311e-01]@[0.00000](13709), [0.0030465+8.25684e-01]@[0.00000](29457), [0.036111+7.87907e-01]@[0.00000](395212), [0.0019439+8.25311e-01]@[0.00000](14048), [0.0030465+8.35000e-01]@[0.00000](28988) ... (3025)
Sep 13, 2024 10:55:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10072928 loops (15426/sec), 731474364 sampling steps, 53409 aborted
loop condition 0.15719, exit probability 0.0099255 in initial state
187749 explored states, 3025 states in BSSCs (3025 absorbing)
10012036 component updates, 727062937 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1817199), [0.018023+9.81977e-01]@[0.00000](252740), [0.087712+9.12288e-01]@[0.00000](1319658), [0.0030465+8.35000e-01]@[0.00000](29395), [0.018023+8.17839e-01]@[0.00000](252834), [0.0019439+8.25311e-01]@[0.00000](13834), [0.0030465+8.25684e-01]@[0.00000](29680), [0.036111+7.87907e-01]@[0.00000](398326), [0.0019439+8.25311e-01]@[0.00000](14166), [0.0030465+8.35000e-01]@[0.00000](29211) ... (3025)
Sep 13, 2024 10:55:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10149999 loops (15414/sec), 737074647 sampling steps, 53429 aborted
loop condition 0.15707, exit probability 0.0098335 in initial state
188045 explored states, 3025 states in BSSCs (3025 absorbing)
10089076 component updates, 732660885 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1831152), [0.018023+9.81977e-01]@[0.00000](254616), [0.087712+9.12288e-01]@[0.00000](1329747), [0.0030465+8.35000e-01]@[0.00000](29616), [0.018023+8.17839e-01]@[0.00000](254792), [0.0019439+8.25311e-01]@[0.00000](13959), [0.0030465+8.25684e-01]@[0.00000](29896), [0.036111+7.87907e-01]@[0.00000](401353), [0.0019439+8.25311e-01]@[0.00000](14277), [0.0030465+8.35000e-01]@[0.00000](29443) ... (3025)
Sep 13, 2024 10:55:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10227224 loops (15445/sec), 742683700 sampling steps, 53444 aborted
loop condition 0.15693, exit probability 0.0097392 in initial state
188421 explored states, 3025 states in BSSCs (3025 absorbing)
10166272 component updates, 738267880 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1845045), [0.018023+9.81977e-01]@[0.00000](256564), [0.087712+9.12288e-01]@[0.00000](1339830), [0.0030465+8.35000e-01]@[0.00000](29798), [0.018023+8.17839e-01]@[0.00000](256759), [0.0019439+8.25311e-01]@[0.00000](14064), [0.0030465+8.25684e-01]@[0.00000](30129), [0.036111+7.87907e-01]@[0.00000](404413), [0.0019439+8.25311e-01]@[0.00000](14387), [0.0030465+8.35000e-01]@[0.00000](29662) ... (3025)
Sep 13, 2024 10:55:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10304351 loops (15425/sec), 748278293 sampling steps, 53450 aborted
loop condition 0.15680, exit probability 0.0096556 in initial state
188707 explored states, 3025 states in BSSCs (3025 absorbing)
10243385 component updates, 743861447 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1858912), [0.018023+9.81977e-01]@[0.00000](258486), [0.087712+9.12288e-01]@[0.00000](1349888), [0.0030465+8.35000e-01]@[0.00000](30013), [0.018023+8.17839e-01]@[0.00000](258754), [0.0019439+8.25311e-01]@[0.00000](14171), [0.0030465+8.25684e-01]@[0.00000](30360), [0.036111+7.87907e-01]@[0.00000](407473), [0.0019439+8.25311e-01]@[0.00000](14507), [0.0030465+8.35000e-01]@[0.00000](29899) ... (3025)
Sep 13, 2024 10:55:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10383530 loops (15835/sec), 754024787 sampling steps, 53461 aborted
loop condition 0.15667, exit probability 0.0095736 in initial state
188966 explored states, 3025 states in BSSCs (3025 absorbing)
10322545 component updates, 749606517 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1873232), [0.018023+9.81977e-01]@[0.00000](260524), [0.087712+9.12288e-01]@[0.00000](1360234), [0.0030465+8.35000e-01]@[0.00000](30257), [0.018023+8.17839e-01]@[0.00000](260735), [0.0019439+8.25311e-01]@[0.00000](14287), [0.0030465+8.25684e-01]@[0.00000](30599), [0.036111+7.87907e-01]@[0.00000](410610), [0.0019439+8.25311e-01]@[0.00000](14612), [0.0030465+8.35000e-01]@[0.00000](30096) ... (3025)
Sep 13, 2024 10:55:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10462381 loops (15770/sec), 759756531 sampling steps, 53474 aborted
loop condition 0.15654, exit probability 0.0094914 in initial state
189248 explored states, 3025 states in BSSCs (3025 absorbing)
10401377 component updates, 755336870 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1887292), [0.018023+9.81977e-01]@[0.00000](262475), [0.087712+9.12288e-01]@[0.00000](1370604), [0.0030465+8.35000e-01]@[0.00000](30488), [0.018023+8.17839e-01]@[0.00000](262791), [0.0019439+8.25311e-01]@[0.00000](14389), [0.0030465+8.25684e-01]@[0.00000](30839), [0.036111+7.87907e-01]@[0.00000](413703), [0.0019439+8.25311e-01]@[0.00000](14717), [0.0030465+8.35000e-01]@[0.00000](30340) ... (3025)
Sep 13, 2024 10:56:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10541136 loops (15751/sec), 765479435 sampling steps, 53489 aborted
loop condition 0.15641, exit probability 0.0094035 in initial state
189564 explored states, 3025 states in BSSCs (3025 absorbing)
10480110 component updates, 761057975 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1901457), [0.018023+9.81977e-01]@[0.00000](264446), [0.087712+9.12288e-01]@[0.00000](1380909), [0.0030465+8.35000e-01]@[0.00000](30726), [0.018023+8.17839e-01]@[0.00000](264778), [0.0019439+8.25311e-01]@[0.00000](14507), [0.0030465+8.25684e-01]@[0.00000](31079), [0.036111+7.87907e-01]@[0.00000](416819), [0.0019439+8.25311e-01]@[0.00000](14839), [0.0030465+8.35000e-01]@[0.00000](30557) ... (3025)
Sep 13, 2024 10:56:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10620540 loops (15880/sec), 771248073 sampling steps, 53507 aborted
loop condition 0.15628, exit probability 0.0093206 in initial state
189861 explored states, 3025 states in BSSCs (3025 absorbing)
10559491 component updates, 766824878 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1915866), [0.018023+9.81977e-01]@[0.00000](266443), [0.087712+9.12288e-01]@[0.00000](1391306), [0.0030465+8.35000e-01]@[0.00000](30953), [0.018023+8.17839e-01]@[0.00000](266794), [0.0019439+8.25311e-01]@[0.00000](14629), [0.0030465+8.25684e-01]@[0.00000](31306), [0.036111+7.87907e-01]@[0.00000](419923), [0.0019439+8.25311e-01]@[0.00000](14957), [0.0030465+8.35000e-01]@[0.00000](30774) ... (3025)
Sep 13, 2024 10:56:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10698798 loops (15651/sec), 776931085 sampling steps, 53524 aborted
loop condition 0.15615, exit probability 0.0092408 in initial state
190231 explored states, 3025 states in BSSCs (3025 absorbing)
10637725 component updates, 772506115 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1930016), [0.018023+9.81977e-01]@[0.00000](268402), [0.087712+9.12288e-01]@[0.00000](1401605), [0.0030465+8.35000e-01]@[0.00000](31176), [0.018023+8.17839e-01]@[0.00000](268745), [0.0019439+8.25311e-01]@[0.00000](14749), [0.0030465+8.25684e-01]@[0.00000](31521), [0.036111+7.87907e-01]@[0.00000](423033), [0.0019439+8.25311e-01]@[0.00000](15062), [0.0030465+8.35000e-01]@[0.00000](30994) ... (3025)
Sep 13, 2024 10:56:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10778681 loops (15976/sec), 782726849 sampling steps, 53540 aborted
loop condition 0.15603, exit probability 0.0091685 in initial state
190503 explored states, 3025 states in BSSCs (3025 absorbing)
10717591 component updates, 778300610 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1944105), [0.018023+9.81977e-01]@[0.00000](270433), [0.087712+9.12288e-01]@[0.00000](1412069), [0.0030465+8.35000e-01]@[0.00000](31405), [0.018023+8.17839e-01]@[0.00000](270735), [0.0019439+8.25311e-01]@[0.00000](14845), [0.0030465+8.25684e-01]@[0.00000](31745), [0.036111+7.87907e-01]@[0.00000](426224), [0.0019439+8.25311e-01]@[0.00000](15169), [0.0030465+8.35000e-01]@[0.00000](31222) ... (3025)
Sep 13, 2024 10:56:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10858070 loops (15877/sec), 788504206 sampling steps, 53551 aborted
loop condition 0.15591, exit probability 0.0090958 in initial state
190790 explored states, 3025 states in BSSCs (3025 absorbing)
10796967 component updates, 784076976 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1958401), [0.018023+9.81977e-01]@[0.00000](272413), [0.087712+9.12288e-01]@[0.00000](1422480), [0.0030465+8.35000e-01]@[0.00000](31649), [0.018023+8.17839e-01]@[0.00000](272716), [0.0019439+8.25311e-01]@[0.00000](14971), [0.0030465+8.25684e-01]@[0.00000](31988), [0.036111+7.87907e-01]@[0.00000](429404), [0.0019439+8.25311e-01]@[0.00000](15277), [0.0030465+8.35000e-01]@[0.00000](31470) ... (3025)
Sep 13, 2024 10:56:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10935361 loops (15458/sec), 794116114 sampling steps, 53563 aborted
loop condition 0.15579, exit probability 0.0090215 in initial state
191061 explored states, 3025 states in BSSCs (3025 absorbing)
10874240 component updates, 789687485 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1972330), [0.018023+9.81977e-01]@[0.00000](274338), [0.087712+9.12288e-01]@[0.00000](1432636), [0.0030465+8.35000e-01]@[0.00000](31865), [0.018023+8.17839e-01]@[0.00000](274616), [0.0019439+8.25311e-01]@[0.00000](15090), [0.0030465+8.25684e-01]@[0.00000](32222), [0.036111+7.87907e-01]@[0.00000](432554), [0.0019439+8.25311e-01]@[0.00000](15393), [0.0030465+8.35000e-01]@[0.00000](31689) ... (3025)
Sep 13, 2024 10:56:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11012671 loops (15462/sec), 799727780 sampling steps, 53576 aborted
loop condition 0.15567, exit probability 0.0089488 in initial state
191286 explored states, 3025 states in BSSCs (3025 absorbing)
10951530 component updates, 795297657 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](1986371), [0.018023+9.81977e-01]@[0.00000](276319), [0.087712+9.12288e-01]@[0.00000](1442805), [0.0030465+8.35000e-01]@[0.00000](32096), [0.018023+8.17839e-01]@[0.00000](276541), [0.0019439+8.25311e-01]@[0.00000](15191), [0.0030465+8.25684e-01]@[0.00000](32443), [0.036111+7.87907e-01]@[0.00000](435645), [0.0019439+8.25311e-01]@[0.00000](15505), [0.0030465+8.35000e-01]@[0.00000](31912) ... (3025)
Sep 13, 2024 10:56:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11090343 loops (15534/sec), 805363574 sampling steps, 53585 aborted
loop condition 0.15554, exit probability 0.0088824 in initial state
191496 explored states, 3025 states in BSSCs (3025 absorbing)
11029190 component updates, 800932545 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2000334), [0.018023+9.81977e-01]@[0.00000](278312), [0.087712+9.12288e-01]@[0.00000](1452995), [0.0030465+8.35000e-01]@[0.00000](32321), [0.018023+8.17839e-01]@[0.00000](278458), [0.0019439+8.25311e-01]@[0.00000](15302), [0.0030465+8.25684e-01]@[0.00000](32643), [0.036111+7.87907e-01]@[0.00000](438808), [0.0019439+8.25311e-01]@[0.00000](15613), [0.0030465+8.35000e-01]@[0.00000](32111) ... (3025)
Sep 13, 2024 10:56:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11169403 loops (15812/sec), 811118894 sampling steps, 53596 aborted
loop condition 0.15542, exit probability 0.0088157 in initial state
191777 explored states, 3025 states in BSSCs (3025 absorbing)
11108231 component updates, 806686375 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2014786), [0.018023+9.81977e-01]@[0.00000](280307), [0.087712+9.12288e-01]@[0.00000](1463331), [0.0030465+8.35000e-01]@[0.00000](32556), [0.018023+8.17839e-01]@[0.00000](280429), [0.0019439+8.25311e-01]@[0.00000](15420), [0.0030465+8.25684e-01]@[0.00000](32876), [0.036111+7.87907e-01]@[0.00000](441943), [0.0019439+8.25311e-01]@[0.00000](15730), [0.0030465+8.35000e-01]@[0.00000](32339) ... (3025)
Sep 13, 2024 10:56:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11249099 loops (15939/sec), 816910237 sampling steps, 53605 aborted
loop condition 0.15529, exit probability 0.0087517 in initial state
192060 explored states, 3025 states in BSSCs (3025 absorbing)
11187910 component updates, 812476319 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2029194), [0.018023+9.81977e-01]@[0.00000](282322), [0.087712+9.12288e-01]@[0.00000](1473867), [0.0030465+8.35000e-01]@[0.00000](32821), [0.018023+8.17839e-01]@[0.00000](282395), [0.0019439+8.25311e-01]@[0.00000](15527), [0.0030465+8.25684e-01]@[0.00000](33122), [0.036111+7.87907e-01]@[0.00000](445080), [0.0019439+8.25311e-01]@[0.00000](15836), [0.0030465+8.35000e-01]@[0.00000](32559) ... (3025)
Sep 13, 2024 10:56:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11327896 loops (15759/sec), 822638877 sampling steps, 53616 aborted
loop condition 0.15518, exit probability 0.0086940 in initial state
192276 explored states, 3025 states in BSSCs (3025 absorbing)
11266692 component updates, 818203806 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2043395), [0.018023+9.81977e-01]@[0.00000](284326), [0.087712+9.12288e-01]@[0.00000](1484270), [0.0030465+8.35000e-01]@[0.00000](33074), [0.018023+8.17839e-01]@[0.00000](284398), [0.0019439+8.25311e-01]@[0.00000](15642), [0.0030465+8.25684e-01]@[0.00000](33337), [0.036111+7.87907e-01]@[0.00000](448207), [0.0019439+8.25311e-01]@[0.00000](15973), [0.0030465+8.35000e-01]@[0.00000](32790) ... (3025)
Sep 13, 2024 10:56:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11408261 loops (16073/sec), 828475788 sampling steps, 53629 aborted
loop condition 0.15507, exit probability 0.0086326 in initial state
192534 explored states, 3025 states in BSSCs (3025 absorbing)
11347038 component updates, 824039333 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2057809), [0.018023+9.81977e-01]@[0.00000](286333), [0.087712+9.12288e-01]@[0.00000](1494714), [0.0030465+8.35000e-01]@[0.00000](33301), [0.018023+8.17839e-01]@[0.00000](286429), [0.0019439+8.25311e-01]@[0.00000](15744), [0.0030465+8.25684e-01]@[0.00000](33574), [0.036111+7.87907e-01]@[0.00000](451440), [0.0019439+8.25311e-01]@[0.00000](16090), [0.0030465+8.35000e-01]@[0.00000](33012) ... (3025)
Sep 13, 2024 10:57:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11488293 loops (16006/sec), 834286051 sampling steps, 53640 aborted
loop condition 0.15496, exit probability 0.0085703 in initial state
192763 explored states, 3025 states in BSSCs (3025 absorbing)
11427057 component updates, 829848655 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2072149), [0.018023+9.81977e-01]@[0.00000](288303), [0.087712+9.12288e-01]@[0.00000](1505276), [0.0030465+8.35000e-01]@[0.00000](33516), [0.018023+8.17839e-01]@[0.00000](288453), [0.0019439+8.25311e-01]@[0.00000](15871), [0.0030465+8.25684e-01]@[0.00000](33806), [0.036111+7.87907e-01]@[0.00000](454598), [0.0019439+8.25311e-01]@[0.00000](16195), [0.0030465+8.35000e-01]@[0.00000](33239) ... (3025)
Sep 13, 2024 10:57:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11567793 loops (15900/sec), 840060248 sampling steps, 53652 aborted
loop condition 0.15484, exit probability 0.0085046 in initial state
193052 explored states, 3025 states in BSSCs (3025 absorbing)
11506539 component updates, 835621505 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2086437), [0.018023+9.81977e-01]@[0.00000](290346), [0.087712+9.12288e-01]@[0.00000](1515603), [0.0030465+8.35000e-01]@[0.00000](33764), [0.018023+8.17839e-01]@[0.00000](290397), [0.0019439+8.25311e-01]@[0.00000](15992), [0.0030465+8.25684e-01]@[0.00000](34004), [0.036111+7.87907e-01]@[0.00000](457807), [0.0019439+8.25311e-01]@[0.00000](16296), [0.0030465+8.35000e-01]@[0.00000](33478) ... (3025)
Sep 13, 2024 10:57:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11647786 loops (15998/sec), 845878075 sampling steps, 53668 aborted
loop condition 0.15472, exit probability 0.0084388 in initial state
193343 explored states, 3025 states in BSSCs (3025 absorbing)
11586507 component updates, 841437476 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2100809), [0.018023+9.81977e-01]@[0.00000](292337), [0.087712+9.12288e-01]@[0.00000](1526022), [0.0030465+8.35000e-01]@[0.00000](33993), [0.018023+8.17839e-01]@[0.00000](292497), [0.0019439+8.25311e-01]@[0.00000](16102), [0.0030465+8.25684e-01]@[0.00000](34236), [0.036111+7.87907e-01]@[0.00000](460980), [0.0019439+8.25311e-01]@[0.00000](16407), [0.0030465+8.35000e-01]@[0.00000](33689) ... (3025)
Sep 13, 2024 10:57:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11726708 loops (15784/sec), 851614076 sampling steps, 53680 aborted
loop condition 0.15461, exit probability 0.0083792 in initial state
193605 explored states, 3025 states in BSSCs (3025 absorbing)
11665412 component updates, 847172224 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2115027), [0.018023+9.81977e-01]@[0.00000](294406), [0.087712+9.12288e-01]@[0.00000](1536437), [0.0030465+8.35000e-01]@[0.00000](34207), [0.018023+8.17839e-01]@[0.00000](294313), [0.0019439+8.25311e-01]@[0.00000](16218), [0.0030465+8.25684e-01]@[0.00000](34470), [0.036111+7.87907e-01]@[0.00000](464107), [0.0019439+8.25311e-01]@[0.00000](16499), [0.0030465+8.35000e-01]@[0.00000](33928) ... (3025)
Sep 13, 2024 10:57:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11805774 loops (15813/sec), 857354297 sampling steps, 53692 aborted
loop condition 0.15449, exit probability 0.0083236 in initial state
193814 explored states, 3025 states in BSSCs (3025 absorbing)
11744461 component updates, 852911195 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2129333), [0.018023+9.81977e-01]@[0.00000](296424), [0.087712+9.12288e-01]@[0.00000](1546867), [0.0030465+8.35000e-01]@[0.00000](34419), [0.018023+8.17839e-01]@[0.00000](296316), [0.0019439+8.25311e-01]@[0.00000](16331), [0.0030465+8.25684e-01]@[0.00000](34717), [0.036111+7.87907e-01]@[0.00000](467287), [0.0019439+8.25311e-01]@[0.00000](16633), [0.0030465+8.35000e-01]@[0.00000](34157) ... (3025)
Sep 13, 2024 10:57:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11884200 loops (15685/sec), 863045778 sampling steps, 53707 aborted
loop condition 0.15438, exit probability 0.0082631 in initial state
194028 explored states, 3025 states in BSSCs (3025 absorbing)
11822866 component updates, 858601068 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2143534), [0.018023+9.81977e-01]@[0.00000](298406), [0.087712+9.12288e-01]@[0.00000](1557315), [0.0030465+8.35000e-01]@[0.00000](34648), [0.018023+8.17839e-01]@[0.00000](298239), [0.0019439+8.25311e-01]@[0.00000](16437), [0.0030465+8.25684e-01]@[0.00000](34920), [0.036111+7.87907e-01]@[0.00000](470383), [0.0019439+8.25311e-01]@[0.00000](16755), [0.0030465+8.35000e-01]@[0.00000](34397) ... (3025)
Sep 13, 2024 10:57:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11962944 loops (15748/sec), 868764610 sampling steps, 53718 aborted
loop condition 0.15427, exit probability 0.0082029 in initial state
194299 explored states, 3025 states in BSSCs (3025 absorbing)
11901597 component updates, 864318903 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2157826), [0.018023+9.81977e-01]@[0.00000](300434), [0.087712+9.12288e-01]@[0.00000](1567595), [0.0030465+8.35000e-01]@[0.00000](34877), [0.018023+8.17839e-01]@[0.00000](300200), [0.0019439+8.25311e-01]@[0.00000](16566), [0.0030465+8.25684e-01]@[0.00000](35147), [0.036111+7.87907e-01]@[0.00000](473503), [0.0019439+8.25311e-01]@[0.00000](16891), [0.0030465+8.35000e-01]@[0.00000](34617) ... (3025)
Sep 13, 2024 10:57:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12043155 loops (16042/sec), 874589641 sampling steps, 53730 aborted
loop condition 0.15417, exit probability 0.0081421 in initial state
194571 explored states, 3025 states in BSSCs (3025 absorbing)
11981791 component updates, 870142641 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2172447), [0.018023+9.81977e-01]@[0.00000](302338), [0.087712+9.12288e-01]@[0.00000](1578115), [0.0030465+8.35000e-01]@[0.00000](35108), [0.018023+8.17839e-01]@[0.00000](302237), [0.0019439+8.25311e-01]@[0.00000](16685), [0.0030465+8.25684e-01]@[0.00000](35396), [0.036111+7.87907e-01]@[0.00000](476658), [0.0019439+8.25311e-01]@[0.00000](17003), [0.0030465+8.35000e-01]@[0.00000](34859) ... (3025)
Sep 13, 2024 10:57:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12122992 loops (15967/sec), 880386863 sampling steps, 53743 aborted
loop condition 0.15407, exit probability 0.0080840 in initial state
194835 explored states, 3025 states in BSSCs (3025 absorbing)
12061606 component updates, 875938224 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2187081), [0.018023+9.81977e-01]@[0.00000](304360), [0.087712+9.12288e-01]@[0.00000](1588476), [0.0030465+8.35000e-01]@[0.00000](35329), [0.018023+8.17839e-01]@[0.00000](304215), [0.0019439+8.25311e-01]@[0.00000](16793), [0.0030465+8.25684e-01]@[0.00000](35615), [0.036111+7.87907e-01]@[0.00000](479865), [0.0019439+8.25311e-01]@[0.00000](17117), [0.0030465+8.35000e-01]@[0.00000](35074) ... (3025)
Sep 13, 2024 10:57:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12202493 loops (15900/sec), 886160627 sampling steps, 53765 aborted
loop condition 0.15397, exit probability 0.0080235 in initial state
195061 explored states, 3025 states in BSSCs (3025 absorbing)
12141081 component updates, 881710015 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2201399), [0.018023+9.81977e-01]@[0.00000](306304), [0.087712+9.12288e-01]@[0.00000](1598834), [0.0030465+8.35000e-01]@[0.00000](35547), [0.018023+8.17839e-01]@[0.00000](306184), [0.0019439+8.25311e-01]@[0.00000](16912), [0.0030465+8.25684e-01]@[0.00000](35845), [0.036111+7.87907e-01]@[0.00000](483085), [0.0019439+8.25311e-01]@[0.00000](17232), [0.0030465+8.35000e-01]@[0.00000](35297) ... (3025)
Sep 13, 2024 10:57:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12282584 loops (16018/sec), 891989241 sampling steps, 53781 aborted
loop condition 0.15386, exit probability 0.0079628 in initial state
195413 explored states, 3025 states in BSSCs (3025 absorbing)
12221146 component updates, 887536784 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2216102), [0.018023+9.81977e-01]@[0.00000](308284), [0.087712+9.12288e-01]@[0.00000](1609256), [0.0030465+8.35000e-01]@[0.00000](35814), [0.018023+8.17839e-01]@[0.00000](308125), [0.0019439+8.25311e-01]@[0.00000](17028), [0.0030465+8.25684e-01]@[0.00000](36073), [0.036111+7.87907e-01]@[0.00000](486275), [0.0019439+8.25311e-01]@[0.00000](17327), [0.0030465+8.35000e-01]@[0.00000](35515) ... (3025)
Sep 13, 2024 10:57:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12360524 loops (15588/sec), 897652739 sampling steps, 53790 aborted
loop condition 0.15376, exit probability 0.0079048 in initial state
195622 explored states, 3025 states in BSSCs (3025 absorbing)
12299071 component updates, 893199147 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2230235), [0.018023+9.81977e-01]@[0.00000](310199), [0.087712+9.12288e-01]@[0.00000](1619454), [0.0030465+8.35000e-01]@[0.00000](36058), [0.018023+8.17839e-01]@[0.00000](310041), [0.0019439+8.25311e-01]@[0.00000](17138), [0.0030465+8.25684e-01]@[0.00000](36305), [0.036111+7.87907e-01]@[0.00000](489421), [0.0019439+8.25311e-01]@[0.00000](17444), [0.0030465+8.35000e-01]@[0.00000](35767) ... (3025)
Sep 13, 2024 10:58:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12438035 loops (15502/sec), 903280243 sampling steps, 53804 aborted
loop condition 0.15366, exit probability 0.0078524 in initial state
195878 explored states, 3025 states in BSSCs (3025 absorbing)
12376559 component updates, 898824935 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2244212), [0.018023+9.81977e-01]@[0.00000](312199), [0.087712+9.12288e-01]@[0.00000](1629741), [0.0030465+8.35000e-01]@[0.00000](36260), [0.018023+8.17839e-01]@[0.00000](311924), [0.0019439+8.25311e-01]@[0.00000](17256), [0.0030465+8.25684e-01]@[0.00000](36532), [0.036111+7.87907e-01]@[0.00000](492502), [0.0019439+8.25311e-01]@[0.00000](17553), [0.0030465+8.35000e-01]@[0.00000](35990) ... (3025)
Sep 13, 2024 10:58:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12517824 loops (15957/sec), 909081395 sampling steps, 53821 aborted
loop condition 0.15356, exit probability 0.0077967 in initial state
196120 explored states, 3025 states in BSSCs (3025 absorbing)
12456327 component updates, 904624504 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2258852), [0.018023+9.81977e-01]@[0.00000](314217), [0.087712+9.12288e-01]@[0.00000](1640089), [0.0030465+8.35000e-01]@[0.00000](36499), [0.018023+8.17839e-01]@[0.00000](313883), [0.0019439+8.25311e-01]@[0.00000](17381), [0.0030465+8.25684e-01]@[0.00000](36776), [0.036111+7.87907e-01]@[0.00000](495636), [0.0019439+8.25311e-01]@[0.00000](17669), [0.0030465+8.35000e-01]@[0.00000](36219) ... (3025)
Sep 13, 2024 10:58:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12595210 loops (15477/sec), 914697686 sampling steps, 53835 aborted
loop condition 0.15346, exit probability 0.0077460 in initial state
196406 explored states, 3025 states in BSSCs (3025 absorbing)
12533693 component updates, 910239312 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2272778), [0.018023+9.81977e-01]@[0.00000](316174), [0.087712+9.12288e-01]@[0.00000](1650233), [0.0030465+8.35000e-01]@[0.00000](36722), [0.018023+8.17839e-01]@[0.00000](315796), [0.0019439+8.25311e-01]@[0.00000](17482), [0.0030465+8.25684e-01]@[0.00000](36995), [0.036111+7.87907e-01]@[0.00000](498786), [0.0019439+8.25311e-01]@[0.00000](17780), [0.0030465+8.35000e-01]@[0.00000](36449) ... (3025)
Sep 13, 2024 10:58:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12673467 loops (15651/sec), 920385641 sampling steps, 53842 aborted
loop condition 0.15337, exit probability 0.0076938 in initial state
196604 explored states, 3025 states in BSSCs (3025 absorbing)
12611940 component updates, 915926509 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2286997), [0.018023+9.81977e-01]@[0.00000](318144), [0.087712+9.12288e-01]@[0.00000](1660473), [0.0030465+8.35000e-01]@[0.00000](36946), [0.018023+8.17839e-01]@[0.00000](317782), [0.0019439+8.25311e-01]@[0.00000](17593), [0.0030465+8.25684e-01]@[0.00000](37221), [0.036111+7.87907e-01]@[0.00000](501901), [0.0019439+8.25311e-01]@[0.00000](17890), [0.0030465+8.35000e-01]@[0.00000](36667) ... (3025)
Sep 13, 2024 10:58:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12752122 loops (15731/sec), 926099661 sampling steps, 53859 aborted
loop condition 0.15327, exit probability 0.0076423 in initial state
196789 explored states, 3025 states in BSSCs (3025 absorbing)
12690577 component updates, 921639148 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2301118), [0.018023+9.81977e-01]@[0.00000](320229), [0.087712+9.12288e-01]@[0.00000](1670593), [0.0030465+8.35000e-01]@[0.00000](37169), [0.018023+8.17839e-01]@[0.00000](319726), [0.0019439+8.25311e-01]@[0.00000](17706), [0.0030465+8.25684e-01]@[0.00000](37436), [0.036111+7.87907e-01]@[0.00000](505049), [0.0019439+8.25311e-01]@[0.00000](18001), [0.0030465+8.35000e-01]@[0.00000](36900) ... (3025)
Sep 13, 2024 10:58:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12831642 loops (15904/sec), 931872706 sampling steps, 53871 aborted
loop condition 0.15318, exit probability 0.0075956 in initial state
196970 explored states, 3025 states in BSSCs (3025 absorbing)
12770080 component updates, 927410946 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2315488), [0.018023+9.81977e-01]@[0.00000](322237), [0.087712+9.12288e-01]@[0.00000](1681015), [0.0030465+8.35000e-01]@[0.00000](37362), [0.018023+8.17839e-01]@[0.00000](321745), [0.0019439+8.25311e-01]@[0.00000](17826), [0.0030465+8.25684e-01]@[0.00000](37656), [0.036111+7.87907e-01]@[0.00000](508273), [0.0019439+8.25311e-01]@[0.00000](18121), [0.0030465+8.35000e-01]@[0.00000](37127) ... (3025)
Sep 13, 2024 10:58:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12908553 loops (15382/sec), 937452160 sampling steps, 53887 aborted
loop condition 0.15308, exit probability 0.0075504 in initial state
197210 explored states, 3025 states in BSSCs (3025 absorbing)
12846972 component updates, 932988980 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2329287), [0.018023+9.81977e-01]@[0.00000](324148), [0.087712+9.12288e-01]@[0.00000](1691087), [0.0030465+8.35000e-01]@[0.00000](37579), [0.018023+8.17839e-01]@[0.00000](323729), [0.0019439+8.25311e-01]@[0.00000](17940), [0.0030465+8.25684e-01]@[0.00000](37868), [0.036111+7.87907e-01]@[0.00000](511444), [0.0019439+8.25311e-01]@[0.00000](18225), [0.0030465+8.35000e-01]@[0.00000](37354) ... (3025)
Sep 13, 2024 10:58:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12984346 loops (15158/sec), 942957666 sampling steps, 53903 aborted
loop condition 0.15298, exit probability 0.0075064 in initial state
197401 explored states, 3025 states in BSSCs (3025 absorbing)
12922748 component updates, 938493147 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2343175), [0.018023+9.81977e-01]@[0.00000](326023), [0.087712+9.12288e-01]@[0.00000](1701056), [0.0030465+8.35000e-01]@[0.00000](37794), [0.018023+8.17839e-01]@[0.00000](325694), [0.0019439+8.25311e-01]@[0.00000](18041), [0.0030465+8.25684e-01]@[0.00000](38093), [0.036111+7.87907e-01]@[0.00000](514361), [0.0019439+8.25311e-01]@[0.00000](18340), [0.0030465+8.35000e-01]@[0.00000](37562) ... (3025)
Sep 13, 2024 10:58:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13063331 loops (15797/sec), 948691603 sampling steps, 53913 aborted
loop condition 0.15288, exit probability 0.0074590 in initial state
197662 explored states, 3025 states in BSSCs (3025 absorbing)
13001715 component updates, 944225791 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2357441), [0.018023+9.81977e-01]@[0.00000](328033), [0.087712+9.12288e-01]@[0.00000](1711621), [0.0030465+8.35000e-01]@[0.00000](38016), [0.018023+8.17839e-01]@[0.00000](327679), [0.0019439+8.25311e-01]@[0.00000](18152), [0.0030465+8.25684e-01]@[0.00000](38319), [0.036111+7.87907e-01]@[0.00000](517500), [0.0019439+8.25311e-01]@[0.00000](18456), [0.0030465+8.35000e-01]@[0.00000](37787) ... (3025)
Sep 13, 2024 10:58:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13141898 loops (15713/sec), 954395470 sampling steps, 53923 aborted
loop condition 0.15277, exit probability 0.0074160 in initial state
197862 explored states, 3025 states in BSSCs (3025 absorbing)
13080266 component updates, 949928483 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2371596), [0.018023+9.81977e-01]@[0.00000](330038), [0.087712+9.12288e-01]@[0.00000](1721889), [0.0030465+8.35000e-01]@[0.00000](38227), [0.018023+8.17839e-01]@[0.00000](329699), [0.0019439+8.25311e-01]@[0.00000](18266), [0.0030465+8.25684e-01]@[0.00000](38530), [0.036111+7.87907e-01]@[0.00000](520540), [0.0019439+8.25311e-01]@[0.00000](18565), [0.0030465+8.35000e-01]@[0.00000](38018) ... (3025)
Sep 13, 2024 10:58:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13219632 loops (15546/sec), 960036142 sampling steps, 53932 aborted
loop condition 0.15267, exit probability 0.0073711 in initial state
198050 explored states, 3025 states in BSSCs (3025 absorbing)
13157988 component updates, 955568300 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2385625), [0.018023+9.81977e-01]@[0.00000](332039), [0.087712+9.12288e-01]@[0.00000](1731927), [0.0030465+8.35000e-01]@[0.00000](38457), [0.018023+8.17839e-01]@[0.00000](331660), [0.0019439+8.25311e-01]@[0.00000](18369), [0.0030465+8.25684e-01]@[0.00000](38744), [0.036111+7.87907e-01]@[0.00000](523602), [0.0019439+8.25311e-01]@[0.00000](18682), [0.0030465+8.35000e-01]@[0.00000](38276) ... (3025)
Sep 13, 2024 10:58:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13298223 loops (15718/sec), 965754862 sampling steps, 53940 aborted
loop condition 0.15257, exit probability 0.0073247 in initial state
198318 explored states, 3025 states in BSSCs (3025 absorbing)
13236562 component updates, 961285824 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2399883), [0.018023+9.81977e-01]@[0.00000](334083), [0.087712+9.12288e-01]@[0.00000](1742033), [0.0030465+8.35000e-01]@[0.00000](38682), [0.018023+8.17839e-01]@[0.00000](333701), [0.0019439+8.25311e-01]@[0.00000](18484), [0.0030465+8.25684e-01]@[0.00000](39014), [0.036111+7.87907e-01]@[0.00000](526648), [0.0019439+8.25311e-01]@[0.00000](18793), [0.0030465+8.35000e-01]@[0.00000](38488) ... (3025)
Sep 13, 2024 10:59:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13375586 loops (15472/sec), 971375143 sampling steps, 53955 aborted
loop condition 0.15249, exit probability 0.0072843 in initial state
198512 explored states, 3025 states in BSSCs (3025 absorbing)
13313906 component updates, 966904626 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2413798), [0.018023+9.81977e-01]@[0.00000](336061), [0.087712+9.12288e-01]@[0.00000](1752197), [0.0030465+8.35000e-01]@[0.00000](38908), [0.018023+8.17839e-01]@[0.00000](335587), [0.0019439+8.25311e-01]@[0.00000](18598), [0.0030465+8.25684e-01]@[0.00000](39242), [0.036111+7.87907e-01]@[0.00000](529747), [0.0019439+8.25311e-01]@[0.00000](18888), [0.0030465+8.35000e-01]@[0.00000](38725) ... (3025)
Sep 13, 2024 10:59:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13453560 loops (15594/sec), 977036544 sampling steps, 53969 aborted
loop condition 0.15239, exit probability 0.0072449 in initial state
198742 explored states, 3025 states in BSSCs (3025 absorbing)
13391855 component updates, 972564192 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2427979), [0.018023+9.81977e-01]@[0.00000](337983), [0.087712+9.12288e-01]@[0.00000](1762467), [0.0030465+8.35000e-01]@[0.00000](39129), [0.018023+8.17839e-01]@[0.00000](337548), [0.0019439+8.25311e-01]@[0.00000](18699), [0.0030465+8.25684e-01]@[0.00000](39476), [0.036111+7.87907e-01]@[0.00000](532910), [0.0019439+8.25311e-01]@[0.00000](18995), [0.0030465+8.35000e-01]@[0.00000](38945) ... (3025)
Sep 13, 2024 10:59:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13529419 loops (15171/sec), 982547559 sampling steps, 53978 aborted
loop condition 0.15231, exit probability 0.0072009 in initial state
198934 explored states, 3025 states in BSSCs (3025 absorbing)
13467702 component updates, 978074303 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2441709), [0.018023+9.81977e-01]@[0.00000](339956), [0.087712+9.12288e-01]@[0.00000](1772390), [0.0030465+8.35000e-01]@[0.00000](39343), [0.018023+8.17839e-01]@[0.00000](339476), [0.0019439+8.25311e-01]@[0.00000](18811), [0.0030465+8.25684e-01]@[0.00000](39697), [0.036111+7.87907e-01]@[0.00000](535882), [0.0019439+8.25311e-01]@[0.00000](19104), [0.0030465+8.35000e-01]@[0.00000](39177) ... (3025)
Sep 13, 2024 10:59:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13605318 loops (15179/sec), 988057884 sampling steps, 53987 aborted
loop condition 0.15222, exit probability 0.0071611 in initial state
199101 explored states, 3025 states in BSSCs (3025 absorbing)
13543586 component updates, 983583529 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2455520), [0.018023+9.81977e-01]@[0.00000](341890), [0.087712+9.12288e-01]@[0.00000](1782419), [0.0030465+8.35000e-01]@[0.00000](39563), [0.018023+8.17839e-01]@[0.00000](341316), [0.0019439+8.25311e-01]@[0.00000](18923), [0.0030465+8.25684e-01]@[0.00000](39900), [0.036111+7.87907e-01]@[0.00000](538816), [0.0019439+8.25311e-01]@[0.00000](19210), [0.0030465+8.35000e-01]@[0.00000](39384) ... (3025)
Sep 13, 2024 10:59:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13686506 loops (16237/sec), 993954526 sampling steps, 54005 aborted
loop condition 0.15213, exit probability 0.0071164 in initial state
199376 explored states, 3025 states in BSSCs (3025 absorbing)
13624747 component updates, 989478110 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2470092), [0.018023+9.81977e-01]@[0.00000](343915), [0.087712+9.12288e-01]@[0.00000](1793000), [0.0030465+8.35000e-01]@[0.00000](39784), [0.018023+8.17839e-01]@[0.00000](343367), [0.0019439+8.25311e-01]@[0.00000](19052), [0.0030465+8.25684e-01]@[0.00000](40151), [0.036111+7.87907e-01]@[0.00000](542038), [0.0019439+8.25311e-01]@[0.00000](19322), [0.0030465+8.35000e-01]@[0.00000](39653) ... (3025)
Sep 13, 2024 10:59:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13767612 loops (16221/sec), 999845422 sampling steps, 54018 aborted
loop condition 0.15203, exit probability 0.0070784 in initial state
199539 explored states, 3025 states in BSSCs (3025 absorbing)
13705838 component updates, 995368020 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2484719), [0.018023+9.81977e-01]@[0.00000](345934), [0.087712+9.12288e-01]@[0.00000](1803553), [0.0030465+8.35000e-01]@[0.00000](40028), [0.018023+8.17839e-01]@[0.00000](345371), [0.0019439+8.25311e-01]@[0.00000](19167), [0.0030465+8.25684e-01]@[0.00000](40401), [0.036111+7.87907e-01]@[0.00000](545466), [0.0019439+8.25311e-01]@[0.00000](19444), [0.0030465+8.35000e-01]@[0.00000](39885) ... (3025)
Sep 13, 2024 10:59:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13847531 loops (15983/sec), 1005651707 sampling steps, 54028 aborted
loop condition 0.15195, exit probability 0.0070420 in initial state
199724 explored states, 3025 states in BSSCs (3025 absorbing)
13785744 component updates, 1001173352 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2499046), [0.018023+9.81977e-01]@[0.00000](347904), [0.087712+9.12288e-01]@[0.00000](1813974), [0.0030465+8.35000e-01]@[0.00000](40245), [0.018023+8.17839e-01]@[0.00000](347385), [0.0019439+8.25311e-01]@[0.00000](19281), [0.0030465+8.25684e-01]@[0.00000](40665), [0.036111+7.87907e-01]@[0.00000](548703), [0.0019439+8.25311e-01]@[0.00000](19555), [0.0030465+8.35000e-01]@[0.00000](40127) ... (3025)
Sep 13, 2024 10:59:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13928207 loops (16135/sec), 1011510230 sampling steps, 54045 aborted
loop condition 0.15186, exit probability 0.0070034 in initial state
199993 explored states, 3025 states in BSSCs (3025 absorbing)
13866397 component updates, 1007030125 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2513698), [0.018023+9.81977e-01]@[0.00000](349920), [0.087712+9.12288e-01]@[0.00000](1824551), [0.0030465+8.35000e-01]@[0.00000](40450), [0.018023+8.17839e-01]@[0.00000](349304), [0.0019439+8.25311e-01]@[0.00000](19405), [0.0030465+8.25684e-01]@[0.00000](40896), [0.036111+7.87907e-01]@[0.00000](551824), [0.0019439+8.25311e-01]@[0.00000](19670), [0.0030465+8.35000e-01]@[0.00000](40363) ... (3025)
Sep 13, 2024 10:59:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14007662 loops (15891/sec), 1017280598 sampling steps, 54055 aborted
loop condition 0.15177, exit probability 0.0069673 in initial state
200189 explored states, 3025 states in BSSCs (3025 absorbing)
13945837 component updates, 1012799408 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2527940), [0.018023+9.81977e-01]@[0.00000](351977), [0.087712+9.12288e-01]@[0.00000](1834896), [0.0030465+8.35000e-01]@[0.00000](40678), [0.018023+8.17839e-01]@[0.00000](351336), [0.0019439+8.25311e-01]@[0.00000](19535), [0.0030465+8.25684e-01]@[0.00000](41142), [0.036111+7.87907e-01]@[0.00000](554984), [0.0019439+8.25311e-01]@[0.00000](19768), [0.0030465+8.35000e-01]@[0.00000](40606) ... (3025)
Sep 13, 2024 10:59:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14088668 loops (16201/sec), 1023168535 sampling steps, 54073 aborted
loop condition 0.15168, exit probability 0.0069269 in initial state
200410 explored states, 3025 states in BSSCs (3025 absorbing)
14026824 component updates, 1018686001 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2542624), [0.018023+9.81977e-01]@[0.00000](354036), [0.087712+9.12288e-01]@[0.00000](1845365), [0.0030465+8.35000e-01]@[0.00000](40889), [0.018023+8.17839e-01]@[0.00000](353406), [0.0019439+8.25311e-01]@[0.00000](19664), [0.0030465+8.25684e-01]@[0.00000](41383), [0.036111+7.87907e-01]@[0.00000](558161), [0.0019439+8.25311e-01]@[0.00000](19888), [0.0030465+8.35000e-01]@[0.00000](40829) ... (3025)
Sep 13, 2024 10:59:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14169183 loops (16103/sec), 1029015977 sampling steps, 54088 aborted
loop condition 0.15160, exit probability 0.0068875 in initial state
200668 explored states, 3025 states in BSSCs (3025 absorbing)
14107318 component updates, 1024531852 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2556956), [0.018023+9.81977e-01]@[0.00000](356029), [0.087712+9.12288e-01]@[0.00000](1855937), [0.0030465+8.35000e-01]@[0.00000](41122), [0.018023+8.17839e-01]@[0.00000](355510), [0.0019439+8.25311e-01]@[0.00000](19787), [0.0030465+8.25684e-01]@[0.00000](41631), [0.036111+7.87907e-01]@[0.00000](561251), [0.0019439+8.25311e-01]@[0.00000](20000), [0.0030465+8.35000e-01]@[0.00000](41062) ... (3025)
Sep 13, 2024 10:59:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14248149 loops (15793/sec), 1034748181 sampling steps, 54107 aborted
loop condition 0.15151, exit probability 0.0068493 in initial state
200878 explored states, 3025 states in BSSCs (3025 absorbing)
14186264 component updates, 1030262582 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2571152), [0.018023+9.81977e-01]@[0.00000](357985), [0.087712+9.12288e-01]@[0.00000](1866127), [0.0030465+8.35000e-01]@[0.00000](41341), [0.018023+8.17839e-01]@[0.00000](357489), [0.0019439+8.25311e-01]@[0.00000](19904), [0.0030465+8.25684e-01]@[0.00000](41851), [0.036111+7.87907e-01]@[0.00000](564429), [0.0019439+8.25311e-01]@[0.00000](20106), [0.0030465+8.35000e-01]@[0.00000](41300) ... (3025)
Sep 13, 2024 11:00:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14326555 loops (15681/sec), 1040445049 sampling steps, 54116 aborted
loop condition 0.15143, exit probability 0.0068110 in initial state
201035 explored states, 3025 states in BSSCs (3025 absorbing)
14264657 component updates, 1035958442 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2585203), [0.018023+9.81977e-01]@[0.00000](359991), [0.087712+9.12288e-01]@[0.00000](1876459), [0.0030465+8.35000e-01]@[0.00000](41575), [0.018023+8.17839e-01]@[0.00000](359467), [0.0019439+8.25311e-01]@[0.00000](20014), [0.0030465+8.25684e-01]@[0.00000](42100), [0.036111+7.87907e-01]@[0.00000](567604), [0.0019439+8.25311e-01]@[0.00000](20224), [0.0030465+8.35000e-01]@[0.00000](41544) ... (3025)
Sep 13, 2024 11:00:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14405065 loops (15702/sec), 1046147709 sampling steps, 54130 aborted
loop condition 0.15135, exit probability 0.0067760 in initial state
201243 explored states, 3025 states in BSSCs (3025 absorbing)
14343151 component updates, 1041659897 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2599214), [0.018023+9.81977e-01]@[0.00000](361995), [0.087712+9.12288e-01]@[0.00000](1886782), [0.0030465+8.35000e-01]@[0.00000](41817), [0.018023+8.17839e-01]@[0.00000](361486), [0.0019439+8.25311e-01]@[0.00000](20150), [0.0030465+8.25684e-01]@[0.00000](42323), [0.036111+7.87907e-01]@[0.00000](570741), [0.0019439+8.25311e-01]@[0.00000](20346), [0.0030465+8.35000e-01]@[0.00000](41773) ... (3025)
Sep 13, 2024 11:00:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14484550 loops (15897/sec), 1051912362 sampling steps, 54144 aborted
loop condition 0.15127, exit probability 0.0067403 in initial state
201523 explored states, 3025 states in BSSCs (3025 absorbing)
14422618 component updates, 1047423226 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2613689), [0.018023+9.81977e-01]@[0.00000](363958), [0.087712+9.12288e-01]@[0.00000](1897141), [0.0030465+8.35000e-01]@[0.00000](42046), [0.018023+8.17839e-01]@[0.00000](363496), [0.0019439+8.25311e-01]@[0.00000](20265), [0.0030465+8.25684e-01]@[0.00000](42533), [0.036111+7.87907e-01]@[0.00000](573827), [0.0019439+8.25311e-01]@[0.00000](20479), [0.0030465+8.35000e-01]@[0.00000](42016) ... (3025)
Sep 13, 2024 11:00:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14564953 loops (16080/sec), 1057749588 sampling steps, 54158 aborted
loop condition 0.15118, exit probability 0.0067016 in initial state
201770 explored states, 3025 states in BSSCs (3025 absorbing)
14503002 component updates, 1053259022 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2628292), [0.018023+9.81977e-01]@[0.00000](365946), [0.087712+9.12288e-01]@[0.00000](1907663), [0.0030465+8.35000e-01]@[0.00000](42276), [0.018023+8.17839e-01]@[0.00000](365519), [0.0019439+8.25311e-01]@[0.00000](20396), [0.0030465+8.25684e-01]@[0.00000](42774), [0.036111+7.87907e-01]@[0.00000](577004), [0.0019439+8.25311e-01]@[0.00000](20593), [0.0030465+8.35000e-01]@[0.00000](42217) ... (3025)
Sep 13, 2024 11:00:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14644356 loops (15880/sec), 1063514102 sampling steps, 54175 aborted
loop condition 0.15110, exit probability 0.0066669 in initial state
202002 explored states, 3025 states in BSSCs (3025 absorbing)
14582380 component updates, 1059021523 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2642751), [0.018023+9.81977e-01]@[0.00000](367969), [0.087712+9.12288e-01]@[0.00000](1918081), [0.0030465+8.35000e-01]@[0.00000](42493), [0.018023+8.17839e-01]@[0.00000](367505), [0.0019439+8.25311e-01]@[0.00000](20493), [0.0030465+8.25684e-01]@[0.00000](43013), [0.036111+7.87907e-01]@[0.00000](580109), [0.0019439+8.25311e-01]@[0.00000](20707), [0.0030465+8.35000e-01]@[0.00000](42445) ... (3025)
Sep 13, 2024 11:00:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14725541 loops (16237/sec), 1069399839 sampling steps, 54188 aborted
loop condition 0.15102, exit probability 0.0066322 in initial state
202210 explored states, 3025 states in BSSCs (3025 absorbing)
14663547 component updates, 1064905878 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2657396), [0.018023+9.81977e-01]@[0.00000](370042), [0.087712+9.12288e-01]@[0.00000](1928701), [0.0030465+8.35000e-01]@[0.00000](42721), [0.018023+8.17839e-01]@[0.00000](369544), [0.0019439+8.25311e-01]@[0.00000](20618), [0.0030465+8.25684e-01]@[0.00000](43286), [0.036111+7.87907e-01]@[0.00000](583361), [0.0019439+8.25311e-01]@[0.00000](20812), [0.0030465+8.35000e-01]@[0.00000](42707) ... (3025)
Sep 13, 2024 11:00:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14805885 loops (16068/sec), 1075233543 sampling steps, 54199 aborted
loop condition 0.15094, exit probability 0.0065977 in initial state
202423 explored states, 3025 states in BSSCs (3025 absorbing)
14743877 component updates, 1070738470 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2671634), [0.018023+9.81977e-01]@[0.00000](372016), [0.087712+9.12288e-01]@[0.00000](1939114), [0.0030465+8.35000e-01]@[0.00000](42957), [0.018023+8.17839e-01]@[0.00000](371568), [0.0019439+8.25311e-01]@[0.00000](20720), [0.0030465+8.25684e-01]@[0.00000](43576), [0.036111+7.87907e-01]@[0.00000](586640), [0.0019439+8.25311e-01]@[0.00000](20921), [0.0030465+8.35000e-01]@[0.00000](42943) ... (3025)
Sep 13, 2024 11:00:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14885593 loops (15941/sec), 1081024028 sampling steps, 54213 aborted
loop condition 0.15086, exit probability 0.0065640 in initial state
202669 explored states, 3025 states in BSSCs (3025 absorbing)
14823564 component updates, 1076527266 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2686150), [0.018023+9.81977e-01]@[0.00000](374067), [0.087712+9.12288e-01]@[0.00000](1949519), [0.0030465+8.35000e-01]@[0.00000](43178), [0.018023+8.17839e-01]@[0.00000](373529), [0.0019439+8.25311e-01]@[0.00000](20814), [0.0030465+8.25684e-01]@[0.00000](43817), [0.036111+7.87907e-01]@[0.00000](589888), [0.0019439+8.25311e-01]@[0.00000](21033), [0.0030465+8.35000e-01]@[0.00000](43155) ... (3025)
Sep 13, 2024 11:00:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14965891 loops (16059/sec), 1086860080 sampling steps, 54224 aborted
loop condition 0.15078, exit probability 0.0065285 in initial state
202845 explored states, 3025 states in BSSCs (3025 absorbing)
14903845 component updates, 1082362087 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2700651), [0.018023+9.81977e-01]@[0.00000](376011), [0.087712+9.12288e-01]@[0.00000](1960076), [0.0030465+8.35000e-01]@[0.00000](43410), [0.018023+8.17839e-01]@[0.00000](375529), [0.0019439+8.25311e-01]@[0.00000](20925), [0.0030465+8.25684e-01]@[0.00000](44025), [0.036111+7.87907e-01]@[0.00000](593074), [0.0019439+8.25311e-01]@[0.00000](21151), [0.0030465+8.35000e-01]@[0.00000](43364) ... (3025)
Sep 13, 2024 11:00:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15044975 loops (15816/sec), 1092600565 sampling steps, 54242 aborted
loop condition 0.15070, exit probability 0.0064951 in initial state
203039 explored states, 3025 states in BSSCs (3025 absorbing)
14982909 component updates, 1088101119 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2715006), [0.018023+9.81977e-01]@[0.00000](378027), [0.087712+9.12288e-01]@[0.00000](1970301), [0.0030465+8.35000e-01]@[0.00000](43631), [0.018023+8.17839e-01]@[0.00000](377510), [0.0019439+8.25311e-01]@[0.00000](21051), [0.0030465+8.25684e-01]@[0.00000](44268), [0.036111+7.87907e-01]@[0.00000](596214), [0.0019439+8.25311e-01]@[0.00000](21262), [0.0030465+8.35000e-01]@[0.00000](43598) ... (3025)
Sep 13, 2024 11:00:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15124243 loops (15853/sec), 1098352434 sampling steps, 54254 aborted
loop condition 0.15062, exit probability 0.0064635 in initial state
203205 explored states, 3025 states in BSSCs (3025 absorbing)
15062162 component updates, 1093851821 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2729445), [0.018023+9.81977e-01]@[0.00000](379988), [0.087712+9.12288e-01]@[0.00000](1980661), [0.0030465+8.35000e-01]@[0.00000](43875), [0.018023+8.17839e-01]@[0.00000](379506), [0.0019439+8.25311e-01]@[0.00000](21158), [0.0030465+8.25684e-01]@[0.00000](44497), [0.036111+7.87907e-01]@[0.00000](599387), [0.0019439+8.25311e-01]@[0.00000](21385), [0.0030465+8.35000e-01]@[0.00000](43821) ... (3025)
Sep 13, 2024 11:00:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15202868 loops (15725/sec), 1104057775 sampling steps, 54265 aborted
loop condition 0.15055, exit probability 0.0064302 in initial state
203340 explored states, 3025 states in BSSCs (3025 absorbing)
15140774 component updates, 1099556192 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2743505), [0.018023+9.81977e-01]@[0.00000](381997), [0.087712+9.12288e-01]@[0.00000](1991043), [0.0030465+8.35000e-01]@[0.00000](44122), [0.018023+8.17839e-01]@[0.00000](381465), [0.0019439+8.25311e-01]@[0.00000](21268), [0.0030465+8.25684e-01]@[0.00000](44731), [0.036111+7.87907e-01]@[0.00000](602555), [0.0019439+8.25311e-01]@[0.00000](21473), [0.0030465+8.35000e-01]@[0.00000](44052) ... (3025)
Sep 13, 2024 11:01:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15281180 loops (15662/sec), 1109740560 sampling steps, 54280 aborted
loop condition 0.15048, exit probability 0.0064023 in initial state
203522 explored states, 3025 states in BSSCs (3025 absorbing)
15219068 component updates, 1105237670 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2757778), [0.018023+9.81977e-01]@[0.00000](383961), [0.087712+9.12288e-01]@[0.00000](2001229), [0.0030465+8.35000e-01]@[0.00000](44328), [0.018023+8.17839e-01]@[0.00000](383472), [0.0019439+8.25311e-01]@[0.00000](21376), [0.0030465+8.25684e-01]@[0.00000](44944), [0.036111+7.87907e-01]@[0.00000](605614), [0.0019439+8.25311e-01]@[0.00000](21577), [0.0030465+8.35000e-01]@[0.00000](44279) ... (3025)
Sep 13, 2024 11:01:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15361180 loops (16000/sec), 1115552914 sampling steps, 54290 aborted
loop condition 0.15040, exit probability 0.0063730 in initial state
203731 explored states, 3025 states in BSSCs (3025 absorbing)
15299049 component updates, 1111048600 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2772144), [0.018023+9.81977e-01]@[0.00000](385981), [0.087712+9.12288e-01]@[0.00000](2011697), [0.0030465+8.35000e-01]@[0.00000](44561), [0.018023+8.17839e-01]@[0.00000](385511), [0.0019439+8.25311e-01]@[0.00000](21467), [0.0030465+8.25684e-01]@[0.00000](45180), [0.036111+7.87907e-01]@[0.00000](608851), [0.0019439+8.25311e-01]@[0.00000](21692), [0.0030465+8.35000e-01]@[0.00000](44504) ... (3025)
Sep 13, 2024 11:01:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15440316 loops (15827/sec), 1121306394 sampling steps, 54310 aborted
loop condition 0.15033, exit probability 0.0063435 in initial state
203952 explored states, 3025 states in BSSCs (3025 absorbing)
15378163 component updates, 1116800437 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2786597), [0.018023+9.81977e-01]@[0.00000](387896), [0.087712+9.12288e-01]@[0.00000](2022079), [0.0030465+8.35000e-01]@[0.00000](44805), [0.018023+8.17839e-01]@[0.00000](387532), [0.0019439+8.25311e-01]@[0.00000](21575), [0.0030465+8.25684e-01]@[0.00000](45405), [0.036111+7.87907e-01]@[0.00000](611969), [0.0019439+8.25311e-01]@[0.00000](21798), [0.0030465+8.35000e-01]@[0.00000](44714) ... (3025)
Sep 13, 2024 11:01:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15520031 loops (15943/sec), 1127098118 sampling steps, 54322 aborted
loop condition 0.15026, exit probability 0.0063124 in initial state
204129 explored states, 3025 states in BSSCs (3025 absorbing)
15457863 component updates, 1122590931 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2801006), [0.018023+9.81977e-01]@[0.00000](389891), [0.087712+9.12288e-01]@[0.00000](2032547), [0.0030465+8.35000e-01]@[0.00000](45022), [0.018023+8.17839e-01]@[0.00000](389541), [0.0019439+8.25311e-01]@[0.00000](21690), [0.0030465+8.25684e-01]@[0.00000](45632), [0.036111+7.87907e-01]@[0.00000](615043), [0.0019439+8.25311e-01]@[0.00000](21918), [0.0030465+8.35000e-01]@[0.00000](44944) ... (3025)
Sep 13, 2024 11:01:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15600573 loops (16108/sec), 1132945891 sampling steps, 54333 aborted
loop condition 0.15018, exit probability 0.0062830 in initial state
204321 explored states, 3025 states in BSSCs (3025 absorbing)
15538389 component updates, 1128437407 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2815609), [0.018023+9.81977e-01]@[0.00000](391988), [0.087712+9.12288e-01]@[0.00000](2043104), [0.0030465+8.35000e-01]@[0.00000](45273), [0.018023+8.17839e-01]@[0.00000](391517), [0.0019439+8.25311e-01]@[0.00000](21824), [0.0030465+8.25684e-01]@[0.00000](45856), [0.036111+7.87907e-01]@[0.00000](618106), [0.0019439+8.25311e-01]@[0.00000](22026), [0.0030465+8.35000e-01]@[0.00000](45173) ... (3025)
Sep 13, 2024 11:01:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15679797 loops (15844/sec), 1138706602 sampling steps, 54350 aborted
loop condition 0.15011, exit probability 0.0062528 in initial state
204559 explored states, 3025 states in BSSCs (3025 absorbing)
15617589 component updates, 1134196271 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2829800), [0.018023+9.81977e-01]@[0.00000](394044), [0.087712+9.12288e-01]@[0.00000](2053427), [0.0030465+8.35000e-01]@[0.00000](45490), [0.018023+8.17839e-01]@[0.00000](393556), [0.0019439+8.25311e-01]@[0.00000](21938), [0.0030465+8.25684e-01]@[0.00000](46093), [0.036111+7.87907e-01]@[0.00000](621221), [0.0019439+8.25311e-01]@[0.00000](22164), [0.0030465+8.35000e-01]@[0.00000](45385) ... (3025)
Sep 13, 2024 11:01:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15760207 loops (16082/sec), 1144552991 sampling steps, 54361 aborted
loop condition 0.15003, exit probability 0.0062216 in initial state
204745 explored states, 3025 states in BSSCs (3025 absorbing)
15697982 component updates, 1140041356 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2844509), [0.018023+9.81977e-01]@[0.00000](396012), [0.087712+9.12288e-01]@[0.00000](2064067), [0.0030465+8.35000e-01]@[0.00000](45717), [0.018023+8.17839e-01]@[0.00000](395698), [0.0019439+8.25311e-01]@[0.00000](22064), [0.0030465+8.25684e-01]@[0.00000](46346), [0.036111+7.87907e-01]@[0.00000](624354), [0.0019439+8.25311e-01]@[0.00000](22276), [0.0030465+8.35000e-01]@[0.00000](45620) ... (3025)
Sep 13, 2024 11:01:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15840178 loops (15994/sec), 1150358753 sampling steps, 54375 aborted
loop condition 0.14996, exit probability 0.0061932 in initial state
204915 explored states, 3025 states in BSSCs (3025 absorbing)
15777937 component updates, 1145845845 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2859076), [0.018023+9.81977e-01]@[0.00000](398001), [0.087712+9.12288e-01]@[0.00000](2074442), [0.0030465+8.35000e-01]@[0.00000](45954), [0.018023+8.17839e-01]@[0.00000](397708), [0.0019439+8.25311e-01]@[0.00000](22162), [0.0030465+8.25684e-01]@[0.00000](46588), [0.036111+7.87907e-01]@[0.00000](627547), [0.0019439+8.25311e-01]@[0.00000](22391), [0.0030465+8.35000e-01]@[0.00000](45866) ... (3025)
Sep 13, 2024 11:01:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15918031 loops (15570/sec), 1156017166 sampling steps, 54383 aborted
loop condition 0.14988, exit probability 0.0061636 in initial state
205072 explored states, 3025 states in BSSCs (3025 absorbing)
15855778 component updates, 1151503306 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2873068), [0.018023+9.81977e-01]@[0.00000](399958), [0.087712+9.12288e-01]@[0.00000](2084592), [0.0030465+8.35000e-01]@[0.00000](46173), [0.018023+8.17839e-01]@[0.00000](399694), [0.0019439+8.25311e-01]@[0.00000](22277), [0.0030465+8.25684e-01]@[0.00000](46852), [0.036111+7.87907e-01]@[0.00000](630626), [0.0019439+8.25311e-01]@[0.00000](22504), [0.0030465+8.35000e-01]@[0.00000](46082) ... (3025)
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15996383 loops (15670/sec), 1161709456 sampling steps, 54397 aborted
loop condition 0.14982, exit probability 0.0061339 in initial state
205310 explored states, 3025 states in BSSCs (3025 absorbing)
15934111 component updates, 1157194108 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2887255), [0.018023+9.81977e-01]@[0.00000](401927), [0.087712+9.12288e-01]@[0.00000](2094701), [0.0030465+8.35000e-01]@[0.00000](46420), [0.018023+8.17839e-01]@[0.00000](401715), [0.0019439+8.25311e-01]@[0.00000](22369), [0.0030465+8.25684e-01]@[0.00000](47084), [0.036111+7.87907e-01]@[0.00000](633725), [0.0019439+8.25311e-01]@[0.00000](22616), [0.0030465+8.35000e-01]@[0.00000](46303) ... (3025)
Sep 13, 2024 11:01:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16075055 loops (15734/sec), 1167416624 sampling steps, 54415 aborted
loop condition 0.14975, exit probability 0.0061068 in initial state
205525 explored states, 3025 states in BSSCs (3025 absorbing)
16012759 component updates, 1162899436 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2901272), [0.018023+9.81977e-01]@[0.00000](403837), [0.087712+9.12288e-01]@[0.00000](2104986), [0.0030465+8.35000e-01]@[0.00000](46641), [0.018023+8.17839e-01]@[0.00000](403721), [0.0019439+8.25311e-01]@[0.00000](22486), [0.0030465+8.25684e-01]@[0.00000](47280), [0.036111+7.87907e-01]@[0.00000](636858), [0.0019439+8.25311e-01]@[0.00000](22734), [0.0030465+8.35000e-01]@[0.00000](46551) ... (3025)
Sep 13, 2024 11:01:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16154631 loops (15915/sec), 1173200040 sampling steps, 54436 aborted
loop condition 0.14968, exit probability 0.0060793 in initial state
205730 explored states, 3025 states in BSSCs (3025 absorbing)
16092310 component updates, 1168681059 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2915664), [0.018023+9.81977e-01]@[0.00000](405863), [0.087712+9.12288e-01]@[0.00000](2115342), [0.0030465+8.35000e-01]@[0.00000](46880), [0.018023+8.17839e-01]@[0.00000](405706), [0.0019439+8.25311e-01]@[0.00000](22599), [0.0030465+8.25684e-01]@[0.00000](47508), [0.036111+7.87907e-01]@[0.00000](639960), [0.0019439+8.25311e-01]@[0.00000](22848), [0.0030465+8.35000e-01]@[0.00000](46794) ... (3025)
Sep 13, 2024 11:02:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16234787 loops (16031/sec), 1179022382 sampling steps, 54446 aborted
loop condition 0.14962, exit probability 0.0060522 in initial state
205890 explored states, 3025 states in BSSCs (3025 absorbing)
16172452 component updates, 1174502296 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2930209), [0.018023+9.81977e-01]@[0.00000](407832), [0.087712+9.12288e-01]@[0.00000](2125759), [0.0030465+8.35000e-01]@[0.00000](47114), [0.018023+8.17839e-01]@[0.00000](407674), [0.0019439+8.25311e-01]@[0.00000](22723), [0.0030465+8.25684e-01]@[0.00000](47737), [0.036111+7.87907e-01]@[0.00000](643129), [0.0019439+8.25311e-01]@[0.00000](22967), [0.0030465+8.35000e-01]@[0.00000](47017) ... (3025)
Sep 13, 2024 11:02:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16313834 loops (15809/sec), 1184769999 sampling steps, 54457 aborted
loop condition 0.14955, exit probability 0.0060242 in initial state
206043 explored states, 3025 states in BSSCs (3025 absorbing)
16251484 component updates, 1180248820 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2944541), [0.018023+9.81977e-01]@[0.00000](409802), [0.087712+9.12288e-01]@[0.00000](2135963), [0.0030465+8.35000e-01]@[0.00000](47332), [0.018023+8.17839e-01]@[0.00000](409683), [0.0019439+8.25311e-01]@[0.00000](22830), [0.0030465+8.25684e-01]@[0.00000](47994), [0.036111+7.87907e-01]@[0.00000](646295), [0.0019439+8.25311e-01]@[0.00000](23078), [0.0030465+8.35000e-01]@[0.00000](47216) ... (3025)
Sep 13, 2024 11:02:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16393776 loops (15988/sec), 1190574913 sampling steps, 54473 aborted
loop condition 0.14948, exit probability 0.0059964 in initial state
206253 explored states, 3025 states in BSSCs (3025 absorbing)
16331407 component updates, 1186052292 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2958819), [0.018023+9.81977e-01]@[0.00000](411828), [0.087712+9.12288e-01]@[0.00000](2146565), [0.0030465+8.35000e-01]@[0.00000](47551), [0.018023+8.17839e-01]@[0.00000](411642), [0.0019439+8.25311e-01]@[0.00000](22947), [0.0030465+8.25684e-01]@[0.00000](48221), [0.036111+7.87907e-01]@[0.00000](649470), [0.0019439+8.25311e-01]@[0.00000](23191), [0.0030465+8.35000e-01]@[0.00000](47448) ... (3025)
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16473749 loops (15994/sec), 1196382309 sampling steps, 54490 aborted
loop condition 0.14941, exit probability 0.0059671 in initial state
206488 explored states, 3025 states in BSSCs (3025 absorbing)
16411354 component updates, 1191857781 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2973265), [0.018023+9.81977e-01]@[0.00000](413769), [0.087712+9.12288e-01]@[0.00000](2157071), [0.0030465+8.35000e-01]@[0.00000](47812), [0.018023+8.17839e-01]@[0.00000](413648), [0.0019439+8.25311e-01]@[0.00000](23085), [0.0030465+8.25684e-01]@[0.00000](48450), [0.036111+7.87907e-01]@[0.00000](652632), [0.0019439+8.25311e-01]@[0.00000](23286), [0.0030465+8.35000e-01]@[0.00000](47683) ... (3025)
Sep 13, 2024 11:02:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16553490 loops (15948/sec), 1202180509 sampling steps, 54500 aborted
loop condition 0.14934, exit probability 0.0059388 in initial state
206607 explored states, 3025 states in BSSCs (3025 absorbing)
16491085 component updates, 1197655226 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](2987844), [0.018023+9.81977e-01]@[0.00000](415803), [0.087712+9.12288e-01]@[0.00000](2167439), [0.0030465+8.35000e-01]@[0.00000](48038), [0.018023+8.17839e-01]@[0.00000](415635), [0.0019439+8.25311e-01]@[0.00000](23197), [0.0030465+8.25684e-01]@[0.00000](48699), [0.036111+7.87907e-01]@[0.00000](655772), [0.0019439+8.25311e-01]@[0.00000](23390), [0.0030465+8.35000e-01]@[0.00000](47919) ... (3025)
Sep 13, 2024 11:02:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16633981 loops (16098/sec), 1208026033 sampling steps, 54507 aborted
loop condition 0.14927, exit probability 0.0059093 in initial state
206762 explored states, 3025 states in BSSCs (3025 absorbing)
16571566 component updates, 1203499965 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3002464), [0.018023+9.81977e-01]@[0.00000](417830), [0.087712+9.12288e-01]@[0.00000](2177874), [0.0030465+8.35000e-01]@[0.00000](48268), [0.018023+8.17839e-01]@[0.00000](417637), [0.0019439+8.25311e-01]@[0.00000](23321), [0.0030465+8.25684e-01]@[0.00000](48938), [0.036111+7.87907e-01]@[0.00000](658976), [0.0019439+8.25311e-01]@[0.00000](23508), [0.0030465+8.35000e-01]@[0.00000](48145) ... (3025)
Sep 13, 2024 11:02:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16712139 loops (15631/sec), 1213707467 sampling steps, 54519 aborted
loop condition 0.14921, exit probability 0.0058808 in initial state
206940 explored states, 3025 states in BSSCs (3025 absorbing)
16649708 component updates, 1209180297 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3016443), [0.018023+9.81977e-01]@[0.00000](419808), [0.087712+9.12288e-01]@[0.00000](2188110), [0.0030465+8.35000e-01]@[0.00000](48479), [0.018023+8.17839e-01]@[0.00000](419579), [0.0019439+8.25311e-01]@[0.00000](23423), [0.0030465+8.25684e-01]@[0.00000](49155), [0.036111+7.87907e-01]@[0.00000](661915), [0.0019439+8.25311e-01]@[0.00000](23625), [0.0030465+8.35000e-01]@[0.00000](48356) ... (3025)
Sep 13, 2024 11:02:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16790067 loops (15585/sec), 1219374275 sampling steps, 54529 aborted
loop condition 0.14915, exit probability 0.0058551 in initial state
207150 explored states, 3025 states in BSSCs (3025 absorbing)
16727621 component updates, 1214846049 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3030611), [0.018023+9.81977e-01]@[0.00000](421712), [0.087712+9.12288e-01]@[0.00000](2198368), [0.0030465+8.35000e-01]@[0.00000](48703), [0.018023+8.17839e-01]@[0.00000](421558), [0.0019439+8.25311e-01]@[0.00000](23539), [0.0030465+8.25684e-01]@[0.00000](49390), [0.036111+7.87907e-01]@[0.00000](664942), [0.0019439+8.25311e-01]@[0.00000](23738), [0.0030465+8.35000e-01]@[0.00000](48583) ... (3025)
Sep 13, 2024 11:02:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16867677 loops (15522/sec), 1225005743 sampling steps, 54546 aborted
loop condition 0.14909, exit probability 0.0058288 in initial state
207314 explored states, 3025 states in BSSCs (3025 absorbing)
16805213 component updates, 1220476141 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3044555), [0.018023+9.81977e-01]@[0.00000](423598), [0.087712+9.12288e-01]@[0.00000](2208570), [0.0030465+8.35000e-01]@[0.00000](48936), [0.018023+8.17839e-01]@[0.00000](423579), [0.0019439+8.25311e-01]@[0.00000](23648), [0.0030465+8.25684e-01]@[0.00000](49635), [0.036111+7.87907e-01]@[0.00000](668033), [0.0019439+8.25311e-01]@[0.00000](23846), [0.0030465+8.35000e-01]@[0.00000](48834) ... (3025)
Sep 13, 2024 11:02:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16945299 loops (15524/sec), 1230642615 sampling steps, 54551 aborted
loop condition 0.14903, exit probability 0.0058018 in initial state
207463 explored states, 3025 states in BSSCs (3025 absorbing)
16882826 component updates, 1226112285 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3058508), [0.018023+9.81977e-01]@[0.00000](425483), [0.087712+9.12288e-01]@[0.00000](2218724), [0.0030465+8.35000e-01]@[0.00000](49153), [0.018023+8.17839e-01]@[0.00000](425536), [0.0019439+8.25311e-01]@[0.00000](23738), [0.0030465+8.25684e-01]@[0.00000](49867), [0.036111+7.87907e-01]@[0.00000](671179), [0.0019439+8.25311e-01]@[0.00000](23940), [0.0030465+8.35000e-01]@[0.00000](49056) ... (3025)
Sep 13, 2024 11:02:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17024394 loops (15819/sec), 1236378262 sampling steps, 54566 aborted
loop condition 0.14897, exit probability 0.0057765 in initial state
207580 explored states, 3025 states in BSSCs (3025 absorbing)
16961905 component updates, 1231846711 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3072887), [0.018023+9.81977e-01]@[0.00000](427486), [0.087712+9.12288e-01]@[0.00000](2229099), [0.0030465+8.35000e-01]@[0.00000](49370), [0.018023+8.17839e-01]@[0.00000](427533), [0.0019439+8.25311e-01]@[0.00000](23837), [0.0030465+8.25684e-01]@[0.00000](50134), [0.036111+7.87907e-01]@[0.00000](674392), [0.0019439+8.25311e-01]@[0.00000](24047), [0.0030465+8.35000e-01]@[0.00000](49292) ... (3025)
Sep 13, 2024 11:02:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17102985 loops (15718/sec), 1242084875 sampling steps, 54578 aborted
loop condition 0.14891, exit probability 0.0057518 in initial state
207751 explored states, 3025 states in BSSCs (3025 absorbing)
17040482 component updates, 1237552285 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3087222), [0.018023+9.81977e-01]@[0.00000](429464), [0.087712+9.12288e-01]@[0.00000](2239415), [0.0030465+8.35000e-01]@[0.00000](49585), [0.018023+8.17839e-01]@[0.00000](429512), [0.0019439+8.25311e-01]@[0.00000](23954), [0.0030465+8.25684e-01]@[0.00000](50381), [0.036111+7.87907e-01]@[0.00000](677436), [0.0019439+8.25311e-01]@[0.00000](24175), [0.0030465+8.35000e-01]@[0.00000](49514) ... (3025)
Sep 13, 2024 11:03:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17181098 loops (15622/sec), 1247756004 sampling steps, 54585 aborted
loop condition 0.14885, exit probability 0.0057249 in initial state
207898 explored states, 3025 states in BSSCs (3025 absorbing)
17118587 component updates, 1243222825 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3101315), [0.018023+9.81977e-01]@[0.00000](431477), [0.087712+9.12288e-01]@[0.00000](2249654), [0.0030465+8.35000e-01]@[0.00000](49825), [0.018023+8.17839e-01]@[0.00000](431365), [0.0019439+8.25311e-01]@[0.00000](24070), [0.0030465+8.25684e-01]@[0.00000](50613), [0.036111+7.87907e-01]@[0.00000](680575), [0.0019439+8.25311e-01]@[0.00000](24274), [0.0030465+8.35000e-01]@[0.00000](49760) ... (3025)
Sep 13, 2024 11:03:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17259934 loops (15767/sec), 1253479321 sampling steps, 54600 aborted
loop condition 0.14879, exit probability 0.0057011 in initial state
208055 explored states, 3025 states in BSSCs (3025 absorbing)
17197406 component updates, 1248944886 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3115536), [0.018023+9.81977e-01]@[0.00000](433377), [0.087712+9.12288e-01]@[0.00000](2259819), [0.0030465+8.35000e-01]@[0.00000](50034), [0.018023+8.17839e-01]@[0.00000](433416), [0.0019439+8.25311e-01]@[0.00000](24187), [0.0030465+8.25684e-01]@[0.00000](50873), [0.036111+7.87907e-01]@[0.00000](683763), [0.0019439+8.25311e-01]@[0.00000](24375), [0.0030465+8.35000e-01]@[0.00000](49995) ... (3025)
Sep 13, 2024 11:03:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17337135 loops (15440/sec), 1259091904 sampling steps, 54614 aborted
loop condition 0.14872, exit probability 0.0056806 in initial state
208292 explored states, 3025 states in BSSCs (3025 absorbing)
17274587 component updates, 1254555954 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3129589), [0.018023+9.81977e-01]@[0.00000](435317), [0.087712+9.12288e-01]@[0.00000](2269893), [0.0030465+8.35000e-01]@[0.00000](50283), [0.018023+8.17839e-01]@[0.00000](435328), [0.0019439+8.25311e-01]@[0.00000](24293), [0.0030465+8.25684e-01]@[0.00000](51119), [0.036111+7.87907e-01]@[0.00000](686711), [0.0019439+8.25311e-01]@[0.00000](24492), [0.0030465+8.35000e-01]@[0.00000](50202) ... (3025)
Sep 13, 2024 11:03:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17416489 loops (15870/sec), 1264861252 sampling steps, 54630 aborted
loop condition 0.14866, exit probability 0.0056571 in initial state
208444 explored states, 3025 states in BSSCs (3025 absorbing)
17353921 component updates, 1260323846 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3143943), [0.018023+9.81977e-01]@[0.00000](437319), [0.087712+9.12288e-01]@[0.00000](2280255), [0.0030465+8.35000e-01]@[0.00000](50503), [0.018023+8.17839e-01]@[0.00000](437281), [0.0019439+8.25311e-01]@[0.00000](24391), [0.0030465+8.25684e-01]@[0.00000](51354), [0.036111+7.87907e-01]@[0.00000](689781), [0.0019439+8.25311e-01]@[0.00000](24610), [0.0030465+8.35000e-01]@[0.00000](50450) ... (3025)
Sep 13, 2024 11:03:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17495434 loops (15789/sec), 1270600117 sampling steps, 54649 aborted
loop condition 0.14861, exit probability 0.0056343 in initial state
208606 explored states, 3025 states in BSSCs (3025 absorbing)
17432844 component updates, 1266060989 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3158040), [0.018023+9.81977e-01]@[0.00000](439275), [0.087712+9.12288e-01]@[0.00000](2290491), [0.0030465+8.35000e-01]@[0.00000](50735), [0.018023+8.17839e-01]@[0.00000](439256), [0.0019439+8.25311e-01]@[0.00000](24501), [0.0030465+8.25684e-01]@[0.00000](51607), [0.036111+7.87907e-01]@[0.00000](692857), [0.0019439+8.25311e-01]@[0.00000](24735), [0.0030465+8.35000e-01]@[0.00000](50669) ... (3025)
Sep 13, 2024 11:03:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17573179 loops (15549/sec), 1276239928 sampling steps, 54661 aborted
loop condition 0.14855, exit probability 0.0056113 in initial state
208700 explored states, 3025 states in BSSCs (3025 absorbing)
17510576 component updates, 1271699885 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3171991), [0.018023+9.81977e-01]@[0.00000](441259), [0.087712+9.12288e-01]@[0.00000](2300758), [0.0030465+8.35000e-01]@[0.00000](50968), [0.018023+8.17839e-01]@[0.00000](441225), [0.0019439+8.25311e-01]@[0.00000](24611), [0.0030465+8.25684e-01]@[0.00000](51851), [0.036111+7.87907e-01]@[0.00000](695998), [0.0019439+8.25311e-01]@[0.00000](24842), [0.0030465+8.35000e-01]@[0.00000](50900) ... (3025)
Sep 13, 2024 11:03:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17650649 loops (15494/sec), 1281867412 sampling steps, 54668 aborted
loop condition 0.14849, exit probability 0.0055868 in initial state
208802 explored states, 3025 states in BSSCs (3025 absorbing)
17588038 component updates, 1277326741 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3185816), [0.018023+9.81977e-01]@[0.00000](443164), [0.087712+9.12288e-01]@[0.00000](2310876), [0.0030465+8.35000e-01]@[0.00000](51206), [0.018023+8.17839e-01]@[0.00000](443176), [0.0019439+8.25311e-01]@[0.00000](24723), [0.0030465+8.25684e-01]@[0.00000](52090), [0.036111+7.87907e-01]@[0.00000](699011), [0.0019439+8.25311e-01]@[0.00000](24960), [0.0030465+8.35000e-01]@[0.00000](51089) ... (3025)
Sep 13, 2024 11:03:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17728728 loops (15615/sec), 1287539018 sampling steps, 54682 aborted
loop condition 0.14844, exit probability 0.0055628 in initial state
208992 explored states, 3025 states in BSSCs (3025 absorbing)
17666099 component updates, 1282997014 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3199867), [0.018023+9.81977e-01]@[0.00000](445083), [0.087712+9.12288e-01]@[0.00000](2321056), [0.0030465+8.35000e-01]@[0.00000](51451), [0.018023+8.17839e-01]@[0.00000](445154), [0.0019439+8.25311e-01]@[0.00000](24830), [0.0030465+8.25684e-01]@[0.00000](52313), [0.036111+7.87907e-01]@[0.00000](702134), [0.0019439+8.25311e-01]@[0.00000](25076), [0.0030465+8.35000e-01]@[0.00000](51299) ... (3025)
Sep 13, 2024 11:03:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17806131 loops (15480/sec), 1293163946 sampling steps, 54699 aborted
loop condition 0.14838, exit probability 0.0055403 in initial state
209173 explored states, 3025 states in BSSCs (3025 absorbing)
17743484 component updates, 1288620519 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3213944), [0.018023+9.81977e-01]@[0.00000](447094), [0.087712+9.12288e-01]@[0.00000](2331028), [0.0030465+8.35000e-01]@[0.00000](51686), [0.018023+8.17839e-01]@[0.00000](447045), [0.0019439+8.25311e-01]@[0.00000](24940), [0.0030465+8.25684e-01]@[0.00000](52522), [0.036111+7.87907e-01]@[0.00000](705202), [0.0019439+8.25311e-01]@[0.00000](25172), [0.0030465+8.35000e-01]@[0.00000](51528) ... (3025)
Sep 13, 2024 11:03:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17885291 loops (15832/sec), 1298911111 sampling steps, 54715 aborted
loop condition 0.14833, exit probability 0.0055191 in initial state
209317 explored states, 3025 states in BSSCs (3025 absorbing)
17822626 component updates, 1294366393 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3228027), [0.018023+9.81977e-01]@[0.00000](449099), [0.087712+9.12288e-01]@[0.00000](2341336), [0.0030465+8.35000e-01]@[0.00000](51888), [0.018023+8.17839e-01]@[0.00000](449022), [0.0019439+8.25311e-01]@[0.00000](25066), [0.0030465+8.25684e-01]@[0.00000](52775), [0.036111+7.87907e-01]@[0.00000](708325), [0.0019439+8.25311e-01]@[0.00000](25279), [0.0030465+8.35000e-01]@[0.00000](51745) ... (3025)
Sep 13, 2024 11:03:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17963033 loops (15548/sec), 1304558133 sampling steps, 54730 aborted
loop condition 0.14828, exit probability 0.0054975 in initial state
209480 explored states, 3025 states in BSSCs (3025 absorbing)
17900351 component updates, 1300012149 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3242148), [0.018023+9.81977e-01]@[0.00000](451098), [0.087712+9.12288e-01]@[0.00000](2351596), [0.0030465+8.35000e-01]@[0.00000](52121), [0.018023+8.17839e-01]@[0.00000](450970), [0.0019439+8.25311e-01]@[0.00000](25182), [0.0030465+8.25684e-01]@[0.00000](53011), [0.036111+7.87907e-01]@[0.00000](711452), [0.0019439+8.25311e-01]@[0.00000](25379), [0.0030465+8.35000e-01]@[0.00000](51977) ... (3025)
Sep 13, 2024 11:03:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18042364 loops (15866/sec), 1310315312 sampling steps, 54743 aborted
loop condition 0.14823, exit probability 0.0054758 in initial state
209678 explored states, 3025 states in BSSCs (3025 absorbing)
17979663 component updates, 1305767965 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3256490), [0.018023+9.81977e-01]@[0.00000](453136), [0.087712+9.12288e-01]@[0.00000](2361999), [0.0030465+8.35000e-01]@[0.00000](52345), [0.018023+8.17839e-01]@[0.00000](452941), [0.0019439+8.25311e-01]@[0.00000](25298), [0.0030465+8.25684e-01]@[0.00000](53247), [0.036111+7.87907e-01]@[0.00000](714589), [0.0019439+8.25311e-01]@[0.00000](25501), [0.0030465+8.35000e-01]@[0.00000](52181) ... (3025)
Sep 13, 2024 11:04:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18121191 loops (15765/sec), 1316032560 sampling steps, 54760 aborted
loop condition 0.14817, exit probability 0.0054538 in initial state
209832 explored states, 3025 states in BSSCs (3025 absorbing)
18058472 component updates, 1311483902 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3270525), [0.018023+9.81977e-01]@[0.00000](455077), [0.087712+9.12288e-01]@[0.00000](2372278), [0.0030465+8.35000e-01]@[0.00000](52591), [0.018023+8.17839e-01]@[0.00000](454960), [0.0019439+8.25311e-01]@[0.00000](25412), [0.0030465+8.25684e-01]@[0.00000](53500), [0.036111+7.87907e-01]@[0.00000](717716), [0.0019439+8.25311e-01]@[0.00000](25613), [0.0030465+8.35000e-01]@[0.00000](52429) ... (3025)
Sep 13, 2024 11:04:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18198949 loops (15551/sec), 1321681026 sampling steps, 54775 aborted
loop condition 0.14812, exit probability 0.0054330 in initial state
210012 explored states, 3025 states in BSSCs (3025 absorbing)
18136209 component updates, 1317130789 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3284741), [0.018023+9.81977e-01]@[0.00000](457062), [0.087712+9.12288e-01]@[0.00000](2382394), [0.0030465+8.35000e-01]@[0.00000](52803), [0.018023+8.17839e-01]@[0.00000](456973), [0.0019439+8.25311e-01]@[0.00000](25514), [0.0030465+8.25684e-01]@[0.00000](53708), [0.036111+7.87907e-01]@[0.00000](720791), [0.0019439+8.25311e-01]@[0.00000](25715), [0.0030465+8.35000e-01]@[0.00000](52671) ... (3025)
Sep 13, 2024 11:04:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18277715 loops (15753/sec), 1327392690 sampling steps, 54780 aborted
loop condition 0.14807, exit probability 0.0054115 in initial state
210134 explored states, 3025 states in BSSCs (3025 absorbing)
18214966 component updates, 1322841842 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3298996), [0.018023+9.81977e-01]@[0.00000](459098), [0.087712+9.12288e-01]@[0.00000](2392719), [0.0030465+8.35000e-01]@[0.00000](53027), [0.018023+8.17839e-01]@[0.00000](458974), [0.0019439+8.25311e-01]@[0.00000](25632), [0.0030465+8.25684e-01]@[0.00000](53934), [0.036111+7.87907e-01]@[0.00000](723889), [0.0019439+8.25311e-01]@[0.00000](25824), [0.0030465+8.35000e-01]@[0.00000](52918) ... (3025)
Sep 13, 2024 11:04:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18356547 loops (15766/sec), 1333113040 sampling steps, 54790 aborted
loop condition 0.14801, exit probability 0.0053910 in initial state
210288 explored states, 3025 states in BSSCs (3025 absorbing)
18293784 component updates, 1328561119 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3313334), [0.018023+9.81977e-01]@[0.00000](461065), [0.087712+9.12288e-01]@[0.00000](2403013), [0.0030465+8.35000e-01]@[0.00000](53251), [0.018023+8.17839e-01]@[0.00000](461006), [0.0019439+8.25311e-01]@[0.00000](25756), [0.0030465+8.25684e-01]@[0.00000](54177), [0.036111+7.87907e-01]@[0.00000](727004), [0.0019439+8.25311e-01]@[0.00000](25905), [0.0030465+8.35000e-01]@[0.00000](53162) ... (3025)
Sep 13, 2024 11:04:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18433689 loops (15428/sec), 1338712921 sampling steps, 54805 aborted
loop condition 0.14796, exit probability 0.0053709 in initial state
210440 explored states, 3025 states in BSSCs (3025 absorbing)
18370908 component updates, 1334159698 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3327326), [0.018023+9.81977e-01]@[0.00000](463029), [0.087712+9.12288e-01]@[0.00000](2413172), [0.0030465+8.35000e-01]@[0.00000](53485), [0.018023+8.17839e-01]@[0.00000](462995), [0.0019439+8.25311e-01]@[0.00000](25883), [0.0030465+8.25684e-01]@[0.00000](54384), [0.036111+7.87907e-01]@[0.00000](730149), [0.0019439+8.25311e-01]@[0.00000](26017), [0.0030465+8.35000e-01]@[0.00000](53374) ... (3025)
Sep 13, 2024 11:04:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18511032 loops (15468/sec), 1344330831 sampling steps, 54813 aborted
loop condition 0.14791, exit probability 0.0053501 in initial state
210632 explored states, 3025 states in BSSCs (3025 absorbing)
18448239 component updates, 1339776672 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3341242), [0.018023+9.81977e-01]@[0.00000](464959), [0.087712+9.12288e-01]@[0.00000](2423272), [0.0030465+8.35000e-01]@[0.00000](53721), [0.018023+8.17839e-01]@[0.00000](464950), [0.0019439+8.25311e-01]@[0.00000](26004), [0.0030465+8.25684e-01]@[0.00000](54611), [0.036111+7.87907e-01]@[0.00000](733224), [0.0019439+8.25311e-01]@[0.00000](26135), [0.0030465+8.35000e-01]@[0.00000](53591) ... (3025)
Sep 13, 2024 11:04:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18588973 loops (15588/sec), 1349992005 sampling steps, 54828 aborted
loop condition 0.14786, exit probability 0.0053294 in initial state
210780 explored states, 3025 states in BSSCs (3025 absorbing)
18526164 component updates, 1345436633 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3355352), [0.018023+9.81977e-01]@[0.00000](466946), [0.087712+9.12288e-01]@[0.00000](2433419), [0.0030465+8.35000e-01]@[0.00000](53936), [0.018023+8.17839e-01]@[0.00000](466912), [0.0019439+8.25311e-01]@[0.00000](26109), [0.0030465+8.25684e-01]@[0.00000](54863), [0.036111+7.87907e-01]@[0.00000](736285), [0.0019439+8.25311e-01]@[0.00000](26244), [0.0030465+8.35000e-01]@[0.00000](53814) ... (3025)
Sep 13, 2024 11:04:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18667667 loops (15738/sec), 1355711862 sampling steps, 54836 aborted
loop condition 0.14780, exit probability 0.0053089 in initial state
210897 explored states, 3025 states in BSSCs (3025 absorbing)
18604849 component updates, 1351155783 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3369521), [0.018023+9.81977e-01]@[0.00000](468898), [0.087712+9.12288e-01]@[0.00000](2443732), [0.0030465+8.35000e-01]@[0.00000](54151), [0.018023+8.17839e-01]@[0.00000](468840), [0.0019439+8.25311e-01]@[0.00000](26230), [0.0030465+8.25684e-01]@[0.00000](55085), [0.036111+7.87907e-01]@[0.00000](739362), [0.0019439+8.25311e-01]@[0.00000](26341), [0.0030465+8.35000e-01]@[0.00000](54045) ... (3025)
Sep 13, 2024 11:04:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18746925 loops (15851/sec), 1361470876 sampling steps, 54857 aborted
loop condition 0.14775, exit probability 0.0052881 in initial state
211044 explored states, 3025 states in BSSCs (3025 absorbing)
18684083 component updates, 1356913039 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3383795), [0.018023+9.81977e-01]@[0.00000](470927), [0.087712+9.12288e-01]@[0.00000](2453971), [0.0030465+8.35000e-01]@[0.00000](54387), [0.018023+8.17839e-01]@[0.00000](470796), [0.0019439+8.25311e-01]@[0.00000](26346), [0.0030465+8.25684e-01]@[0.00000](55301), [0.036111+7.87907e-01]@[0.00000](742539), [0.0019439+8.25311e-01]@[0.00000](26444), [0.0030465+8.35000e-01]@[0.00000](54295) ... (3025)
Sep 13, 2024 11:04:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18825481 loops (15711/sec), 1367180212 sampling steps, 54866 aborted
loop condition 0.14770, exit probability 0.0052687 in initial state
211176 explored states, 3025 states in BSSCs (3025 absorbing)
18762628 component updates, 1362621466 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3398219), [0.018023+9.81977e-01]@[0.00000](472989), [0.087712+9.12288e-01]@[0.00000](2464248), [0.0030465+8.35000e-01]@[0.00000](54613), [0.018023+8.17839e-01]@[0.00000](472773), [0.0019439+8.25311e-01]@[0.00000](26448), [0.0030465+8.25684e-01]@[0.00000](55532), [0.036111+7.87907e-01]@[0.00000](745682), [0.0019439+8.25311e-01]@[0.00000](26560), [0.0030465+8.35000e-01]@[0.00000](54549) ... (3025)
Sep 13, 2024 11:04:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18904783 loops (15860/sec), 1372936909 sampling steps, 54883 aborted
loop condition 0.14765, exit probability 0.0052472 in initial state
211342 explored states, 3025 states in BSSCs (3025 absorbing)
18841908 component updates, 1368376553 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3412455), [0.018023+9.81977e-01]@[0.00000](475016), [0.087712+9.12288e-01]@[0.00000](2474790), [0.0030465+8.35000e-01]@[0.00000](54847), [0.018023+8.17839e-01]@[0.00000](474761), [0.0019439+8.25311e-01]@[0.00000](26567), [0.0030465+8.25684e-01]@[0.00000](55769), [0.036111+7.87907e-01]@[0.00000](748877), [0.0019439+8.25311e-01]@[0.00000](26683), [0.0030465+8.35000e-01]@[0.00000](54787) ... (3025)
Sep 13, 2024 11:04:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18983728 loops (15789/sec), 1378666995 sampling steps, 54900 aborted
loop condition 0.14760, exit probability 0.0052273 in initial state
211555 explored states, 3025 states in BSSCs (3025 absorbing)
18920833 component updates, 1374105095 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3426797), [0.018023+9.81977e-01]@[0.00000](476942), [0.087712+9.12288e-01]@[0.00000](2485323), [0.0030465+8.35000e-01]@[0.00000](55080), [0.018023+8.17839e-01]@[0.00000](476742), [0.0019439+8.25311e-01]@[0.00000](26688), [0.0030465+8.25684e-01]@[0.00000](56003), [0.036111+7.87907e-01]@[0.00000](752049), [0.0019439+8.25311e-01]@[0.00000](26783), [0.0030465+8.35000e-01]@[0.00000](55035) ... (3025)
Sep 13, 2024 11:05:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19062242 loops (15702/sec), 1384363305 sampling steps, 54916 aborted
loop condition 0.14756, exit probability 0.0052077 in initial state
211719 explored states, 3025 states in BSSCs (3025 absorbing)
18999329 component updates, 1379799980 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3440771), [0.018023+9.81977e-01]@[0.00000](478945), [0.087712+9.12288e-01]@[0.00000](2495614), [0.0030465+8.35000e-01]@[0.00000](55308), [0.018023+8.17839e-01]@[0.00000](478771), [0.0019439+8.25311e-01]@[0.00000](26807), [0.0030465+8.25684e-01]@[0.00000](56238), [0.036111+7.87907e-01]@[0.00000](755234), [0.0019439+8.25311e-01]@[0.00000](26904), [0.0030465+8.35000e-01]@[0.00000](55281) ... (3025)
Sep 13, 2024 11:05:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19141507 loops (15853/sec), 1390121837 sampling steps, 54935 aborted
loop condition 0.14750, exit probability 0.0051879 in initial state
211872 explored states, 3025 states in BSSCs (3025 absorbing)
19078571 component updates, 1385556765 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3455148), [0.018023+9.81977e-01]@[0.00000](481011), [0.087712+9.12288e-01]@[0.00000](2505888), [0.0030465+8.35000e-01]@[0.00000](55538), [0.018023+8.17839e-01]@[0.00000](480791), [0.0019439+8.25311e-01]@[0.00000](26915), [0.0030465+8.25684e-01]@[0.00000](56445), [0.036111+7.87907e-01]@[0.00000](758406), [0.0019439+8.25311e-01]@[0.00000](27039), [0.0030465+8.35000e-01]@[0.00000](55512) ... (3025)
Sep 13, 2024 11:05:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19218927 loops (15484/sec), 1395741851 sampling steps, 54950 aborted
loop condition 0.14745, exit probability 0.0051685 in initial state
212005 explored states, 3025 states in BSSCs (3025 absorbing)
19155972 component updates, 1391175424 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3469060), [0.018023+9.81977e-01]@[0.00000](482920), [0.087712+9.12288e-01]@[0.00000](2516056), [0.0030465+8.35000e-01]@[0.00000](55778), [0.018023+8.17839e-01]@[0.00000](482827), [0.0019439+8.25311e-01]@[0.00000](27024), [0.0030465+8.25684e-01]@[0.00000](56670), [0.036111+7.87907e-01]@[0.00000](761488), [0.0019439+8.25311e-01]@[0.00000](27156), [0.0030465+8.35000e-01]@[0.00000](55743) ... (3025)
Sep 13, 2024 11:05:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19296401 loops (15494/sec), 1401365127 sampling steps, 54960 aborted
loop condition 0.14741, exit probability 0.0051504 in initial state
212159 explored states, 3025 states in BSSCs (3025 absorbing)
19233433 component updates, 1396797813 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3483033), [0.018023+9.81977e-01]@[0.00000](484878), [0.087712+9.12288e-01]@[0.00000](2526054), [0.0030465+8.35000e-01]@[0.00000](55983), [0.018023+8.17839e-01]@[0.00000](484808), [0.0019439+8.25311e-01]@[0.00000](27146), [0.0030465+8.25684e-01]@[0.00000](56903), [0.036111+7.87907e-01]@[0.00000](764457), [0.0019439+8.25311e-01]@[0.00000](27255), [0.0030465+8.35000e-01]@[0.00000](55949) ... (3025)
Sep 13, 2024 11:05:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19373624 loops (15444/sec), 1406982310 sampling steps, 54977 aborted
loop condition 0.14736, exit probability 0.0051310 in initial state
212301 explored states, 3025 states in BSSCs (3025 absorbing)
19310636 component updates, 1402413578 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3497081), [0.018023+9.81977e-01]@[0.00000](486841), [0.087712+9.12288e-01]@[0.00000](2536108), [0.0030465+8.35000e-01]@[0.00000](56237), [0.018023+8.17839e-01]@[0.00000](486753), [0.0019439+8.25311e-01]@[0.00000](27262), [0.0030465+8.25684e-01]@[0.00000](57145), [0.036111+7.87907e-01]@[0.00000](767483), [0.0019439+8.25311e-01]@[0.00000](27369), [0.0030465+8.35000e-01]@[0.00000](56181) ... (3025)
Sep 13, 2024 11:05:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19450807 loops (15436/sec), 1412585837 sampling steps, 54996 aborted
loop condition 0.14732, exit probability 0.0051110 in initial state
212440 explored states, 3025 states in BSSCs (3025 absorbing)
19387799 component updates, 1408015519 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3511151), [0.018023+9.81977e-01]@[0.00000](488791), [0.087712+9.12288e-01]@[0.00000](2546326), [0.0030465+8.35000e-01]@[0.00000](56430), [0.018023+8.17839e-01]@[0.00000](488669), [0.0019439+8.25311e-01]@[0.00000](27368), [0.0030465+8.25684e-01]@[0.00000](57361), [0.036111+7.87907e-01]@[0.00000](770573), [0.0019439+8.25311e-01]@[0.00000](27471), [0.0030465+8.35000e-01]@[0.00000](56404) ... (3025)
Sep 13, 2024 11:05:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19530411 loops (15920/sec), 1418366251 sampling steps, 55008 aborted
loop condition 0.14727, exit probability 0.0050913 in initial state
212648 explored states, 3025 states in BSSCs (3025 absorbing)
19467385 component updates, 1413794540 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3525503), [0.018023+9.81977e-01]@[0.00000](490811), [0.087712+9.12288e-01]@[0.00000](2556728), [0.0030465+8.35000e-01]@[0.00000](56666), [0.018023+8.17839e-01]@[0.00000](490698), [0.0019439+8.25311e-01]@[0.00000](27490), [0.0030465+8.25684e-01]@[0.00000](57602), [0.036111+7.87907e-01]@[0.00000](773674), [0.0019439+8.25311e-01]@[0.00000](27579), [0.0030465+8.35000e-01]@[0.00000](56616) ... (3025)
Sep 13, 2024 11:05:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19609660 loops (15849/sec), 1424128779 sampling steps, 55019 aborted
loop condition 0.14722, exit probability 0.0050734 in initial state
212798 explored states, 3025 states in BSSCs (3025 absorbing)
19546619 component updates, 1419556033 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3539590), [0.018023+9.81977e-01]@[0.00000](492788), [0.087712+9.12288e-01]@[0.00000](2567136), [0.0030465+8.35000e-01]@[0.00000](56919), [0.018023+8.17839e-01]@[0.00000](492673), [0.0019439+8.25311e-01]@[0.00000](27597), [0.0030465+8.25684e-01]@[0.00000](57833), [0.036111+7.87907e-01]@[0.00000](776740), [0.0019439+8.25311e-01]@[0.00000](27691), [0.0030465+8.35000e-01]@[0.00000](56834) ... (3025)
Sep 13, 2024 11:05:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19688204 loops (15708/sec), 1429829834 sampling steps, 55035 aborted
loop condition 0.14718, exit probability 0.0050558 in initial state
212914 explored states, 3025 states in BSSCs (3025 absorbing)
19625145 component updates, 1425255761 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3553602), [0.018023+9.81977e-01]@[0.00000](494770), [0.087712+9.12288e-01]@[0.00000](2577552), [0.0030465+8.35000e-01]@[0.00000](57165), [0.018023+8.17839e-01]@[0.00000](494558), [0.0019439+8.25311e-01]@[0.00000](27719), [0.0030465+8.25684e-01]@[0.00000](58063), [0.036111+7.87907e-01]@[0.00000](779895), [0.0019439+8.25311e-01]@[0.00000](27803), [0.0030465+8.35000e-01]@[0.00000](57047) ... (3025)
Sep 13, 2024 11:05:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19767361 loops (15831/sec), 1435579613 sampling steps, 55052 aborted
loop condition 0.14713, exit probability 0.0050386 in initial state
213045 explored states, 3025 states in BSSCs (3025 absorbing)
19704282 component updates, 1431003953 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3567685), [0.018023+9.81977e-01]@[0.00000](496665), [0.087712+9.12288e-01]@[0.00000](2588013), [0.0030465+8.35000e-01]@[0.00000](57394), [0.018023+8.17839e-01]@[0.00000](496553), [0.0019439+8.25311e-01]@[0.00000](27829), [0.0030465+8.25684e-01]@[0.00000](58293), [0.036111+7.87907e-01]@[0.00000](783055), [0.0019439+8.25311e-01]@[0.00000](27905), [0.0030465+8.35000e-01]@[0.00000](57271) ... (3025)
Sep 13, 2024 11:05:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19845708 loops (15669/sec), 1441276220 sampling steps, 55064 aborted
loop condition 0.14708, exit probability 0.0050208 in initial state
213232 explored states, 3025 states in BSSCs (3025 absorbing)
19782611 component updates, 1436699256 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3581686), [0.018023+9.81977e-01]@[0.00000](498738), [0.087712+9.12288e-01]@[0.00000](2598415), [0.0030465+8.35000e-01]@[0.00000](57584), [0.018023+8.17839e-01]@[0.00000](498561), [0.0019439+8.25311e-01]@[0.00000](27962), [0.0030465+8.25684e-01]@[0.00000](58529), [0.036111+7.87907e-01]@[0.00000](786110), [0.0019439+8.25311e-01]@[0.00000](28013), [0.0030465+8.35000e-01]@[0.00000](57488) ... (3025)
Sep 13, 2024 11:05:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19925536 loops (15965/sec), 1447070539 sampling steps, 55072 aborted
loop condition 0.14704, exit probability 0.0050043 in initial state
213369 explored states, 3025 states in BSSCs (3025 absorbing)
19862429 component updates, 1442492786 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3595967), [0.018023+9.81977e-01]@[0.00000](500762), [0.087712+9.12288e-01]@[0.00000](2608943), [0.0030465+8.35000e-01]@[0.00000](57839), [0.018023+8.17839e-01]@[0.00000](500624), [0.0019439+8.25311e-01]@[0.00000](28082), [0.0030465+8.25684e-01]@[0.00000](58751), [0.036111+7.87907e-01]@[0.00000](789209), [0.0019439+8.25311e-01]@[0.00000](28108), [0.0030465+8.35000e-01]@[0.00000](57722) ... (3025)
Sep 13, 2024 11:06:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20004920 loops (15876/sec), 1452834563 sampling steps, 55081 aborted
loop condition 0.14699, exit probability 0.0049886 in initial state
213487 explored states, 3025 states in BSSCs (3025 absorbing)
19941801 component updates, 1448255883 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3610218), [0.018023+9.81977e-01]@[0.00000](502706), [0.087712+9.12288e-01]@[0.00000](2619509), [0.0030465+8.35000e-01]@[0.00000](58056), [0.018023+8.17839e-01]@[0.00000](502633), [0.0019439+8.25311e-01]@[0.00000](28177), [0.0030465+8.25684e-01]@[0.00000](58973), [0.036111+7.87907e-01]@[0.00000](792457), [0.0019439+8.25311e-01]@[0.00000](28212), [0.0030465+8.35000e-01]@[0.00000](57941) ... (3025)
Sep 13, 2024 11:06:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20082820 loops (15580/sec), 1458487988 sampling steps, 55092 aborted
loop condition 0.14695, exit probability 0.0049728 in initial state
213601 explored states, 3025 states in BSSCs (3025 absorbing)
20019690 component updates, 1453908547 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3624316), [0.018023+9.81977e-01]@[0.00000](504700), [0.087712+9.12288e-01]@[0.00000](2629644), [0.0030465+8.35000e-01]@[0.00000](58291), [0.018023+8.17839e-01]@[0.00000](504613), [0.0019439+8.25311e-01]@[0.00000](28283), [0.0030465+8.25684e-01]@[0.00000](59163), [0.036111+7.87907e-01]@[0.00000](795587), [0.0019439+8.25311e-01]@[0.00000](28335), [0.0030465+8.35000e-01]@[0.00000](58166) ... (3025)
Sep 13, 2024 11:06:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20160156 loops (15467/sec), 1464101081 sampling steps, 55100 aborted
loop condition 0.14691, exit probability 0.0049545 in initial state
213770 explored states, 3025 states in BSSCs (3025 absorbing)
20097011 component updates, 1459520530 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3638218), [0.018023+9.81977e-01]@[0.00000](506635), [0.087712+9.12288e-01]@[0.00000](2639910), [0.0030465+8.35000e-01]@[0.00000](58487), [0.018023+8.17839e-01]@[0.00000](506603), [0.0019439+8.25311e-01]@[0.00000](28393), [0.0030465+8.25684e-01]@[0.00000](59393), [0.036111+7.87907e-01]@[0.00000](798626), [0.0019439+8.25311e-01]@[0.00000](28447), [0.0030465+8.35000e-01]@[0.00000](58400) ... (3025)
Sep 13, 2024 11:06:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20237701 loops (15509/sec), 1469732205 sampling steps, 55110 aborted
loop condition 0.14687, exit probability 0.0049368 in initial state
213909 explored states, 3025 states in BSSCs (3025 absorbing)
20174543 component updates, 1465150711 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3652383), [0.018023+9.81977e-01]@[0.00000](508622), [0.087712+9.12288e-01]@[0.00000](2649989), [0.0030465+8.35000e-01]@[0.00000](58726), [0.018023+8.17839e-01]@[0.00000](508466), [0.0019439+8.25311e-01]@[0.00000](28494), [0.0030465+8.25684e-01]@[0.00000](59612), [0.036111+7.87907e-01]@[0.00000](801694), [0.0019439+8.25311e-01]@[0.00000](28560), [0.0030465+8.35000e-01]@[0.00000](58625) ... (3025)
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20316867 loops (15833/sec), 1475478535 sampling steps, 55126 aborted
loop condition 0.14682, exit probability 0.0049199 in initial state
214060 explored states, 3025 states in BSSCs (3025 absorbing)
20253691 component updates, 1470895681 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3666722), [0.018023+9.81977e-01]@[0.00000](510572), [0.087712+9.12288e-01]@[0.00000](2660348), [0.0030465+8.35000e-01]@[0.00000](58963), [0.018023+8.17839e-01]@[0.00000](510383), [0.0019439+8.25311e-01]@[0.00000](28623), [0.0030465+8.25684e-01]@[0.00000](59854), [0.036111+7.87907e-01]@[0.00000](804836), [0.0019439+8.25311e-01]@[0.00000](28657), [0.0030465+8.35000e-01]@[0.00000](58860) ... (3025)
Sep 13, 2024 11:06:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20396517 loops (15930/sec), 1481275097 sampling steps, 55141 aborted
loop condition 0.14678, exit probability 0.0049040 in initial state
214212 explored states, 3025 states in BSSCs (3025 absorbing)
20333323 component updates, 1476690779 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3681161), [0.018023+9.81977e-01]@[0.00000](512637), [0.087712+9.12288e-01]@[0.00000](2670680), [0.0030465+8.35000e-01]@[0.00000](59195), [0.018023+8.17839e-01]@[0.00000](512370), [0.0019439+8.25311e-01]@[0.00000](28711), [0.0030465+8.25684e-01]@[0.00000](60074), [0.036111+7.87907e-01]@[0.00000](808007), [0.0019439+8.25311e-01]@[0.00000](28771), [0.0030465+8.35000e-01]@[0.00000](59105) ... (3025)
Sep 13, 2024 11:06:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20474935 loops (15683/sec), 1486971378 sampling steps, 55149 aborted
loop condition 0.14674, exit probability 0.0048882 in initial state
214321 explored states, 3025 states in BSSCs (3025 absorbing)
20411731 component updates, 1482386314 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3695446), [0.018023+9.81977e-01]@[0.00000](514592), [0.087712+9.12288e-01]@[0.00000](2680770), [0.0030465+8.35000e-01]@[0.00000](59411), [0.018023+8.17839e-01]@[0.00000](514333), [0.0019439+8.25311e-01]@[0.00000](28834), [0.0030465+8.25684e-01]@[0.00000](60293), [0.036111+7.87907e-01]@[0.00000](811133), [0.0019439+8.25311e-01]@[0.00000](28873), [0.0030465+8.35000e-01]@[0.00000](59340) ... (3025)
Sep 13, 2024 11:06:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20554721 loops (15957/sec), 1492768047 sampling steps, 55165 aborted
loop condition 0.14670, exit probability 0.0048711 in initial state
214439 explored states, 3025 states in BSSCs (3025 absorbing)
20491499 component updates, 1488181666 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3709790), [0.018023+9.81977e-01]@[0.00000](516637), [0.087712+9.12288e-01]@[0.00000](2691393), [0.0030465+8.35000e-01]@[0.00000](59640), [0.018023+8.17839e-01]@[0.00000](516352), [0.0019439+8.25311e-01]@[0.00000](28958), [0.0030465+8.25684e-01]@[0.00000](60554), [0.036111+7.87907e-01]@[0.00000](814273), [0.0019439+8.25311e-01]@[0.00000](28975), [0.0030465+8.35000e-01]@[0.00000](59581) ... (3025)
Sep 13, 2024 11:06:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20634149 loops (15885/sec), 1498535477 sampling steps, 55174 aborted
loop condition 0.14666, exit probability 0.0048543 in initial state
214550 explored states, 3025 states in BSSCs (3025 absorbing)
20570918 component updates, 1493948394 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3724310), [0.018023+9.81977e-01]@[0.00000](518623), [0.087712+9.12288e-01]@[0.00000](2701822), [0.0030465+8.35000e-01]@[0.00000](59870), [0.018023+8.17839e-01]@[0.00000](518294), [0.0019439+8.25311e-01]@[0.00000](29066), [0.0030465+8.25684e-01]@[0.00000](60779), [0.036111+7.87907e-01]@[0.00000](817483), [0.0019439+8.25311e-01]@[0.00000](29087), [0.0030465+8.35000e-01]@[0.00000](59799) ... (3025)
Sep 13, 2024 11:06:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20712751 loops (15720/sec), 1504246907 sampling steps, 55186 aborted
loop condition 0.14662, exit probability 0.0048373 in initial state
214667 explored states, 3025 states in BSSCs (3025 absorbing)
20649506 component updates, 1499658821 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3738398), [0.018023+9.81977e-01]@[0.00000](520502), [0.087712+9.12288e-01]@[0.00000](2712274), [0.0030465+8.35000e-01]@[0.00000](60120), [0.018023+8.17839e-01]@[0.00000](520281), [0.0019439+8.25311e-01]@[0.00000](29179), [0.0030465+8.25684e-01]@[0.00000](61009), [0.036111+7.87907e-01]@[0.00000](820544), [0.0019439+8.25311e-01]@[0.00000](29201), [0.0030465+8.35000e-01]@[0.00000](60017) ... (3025)
Sep 13, 2024 11:06:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20792113 loops (15872/sec), 1510011612 sampling steps, 55203 aborted
loop condition 0.14657, exit probability 0.0048213 in initial state
214789 explored states, 3025 states in BSSCs (3025 absorbing)
20728849 component updates, 1505422117 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3752596), [0.018023+9.81977e-01]@[0.00000](522556), [0.087712+9.12288e-01]@[0.00000](2722629), [0.0030465+8.35000e-01]@[0.00000](60375), [0.018023+8.17839e-01]@[0.00000](522275), [0.0019439+8.25311e-01]@[0.00000](29301), [0.0030465+8.25684e-01]@[0.00000](61249), [0.036111+7.87907e-01]@[0.00000](823673), [0.0019439+8.25311e-01]@[0.00000](29313), [0.0030465+8.35000e-01]@[0.00000](60248) ... (3025)
Sep 13, 2024 11:06:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20870060 loops (15589/sec), 1515671522 sampling steps, 55218 aborted
loop condition 0.14654, exit probability 0.0048058 in initial state
214936 explored states, 3025 states in BSSCs (3025 absorbing)
20806778 component updates, 1511080634 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3766617), [0.018023+9.81977e-01]@[0.00000](524515), [0.087712+9.12288e-01]@[0.00000](2733015), [0.0030465+8.35000e-01]@[0.00000](60615), [0.018023+8.17839e-01]@[0.00000](524205), [0.0019439+8.25311e-01]@[0.00000](29402), [0.0030465+8.25684e-01]@[0.00000](61477), [0.036111+7.87907e-01]@[0.00000](826748), [0.0019439+8.25311e-01]@[0.00000](29434), [0.0030465+8.35000e-01]@[0.00000](60475) ... (3025)
Sep 13, 2024 11:07:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20948265 loops (15641/sec), 1521352736 sampling steps, 55232 aborted
loop condition 0.14649, exit probability 0.0047892 in initial state
215123 explored states, 3025 states in BSSCs (3025 absorbing)
20884964 component updates, 1516760395 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3780871), [0.018023+9.81977e-01]@[0.00000](526392), [0.087712+9.12288e-01]@[0.00000](2743343), [0.0030465+8.35000e-01]@[0.00000](60824), [0.018023+8.17839e-01]@[0.00000](526169), [0.0019439+8.25311e-01]@[0.00000](29516), [0.0030465+8.25684e-01]@[0.00000](61713), [0.036111+7.87907e-01]@[0.00000](829846), [0.0019439+8.25311e-01]@[0.00000](29551), [0.0030465+8.35000e-01]@[0.00000](60707) ... (3025)
Sep 13, 2024 11:07:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21025432 loops (15433/sec), 1526953424 sampling steps, 55243 aborted
loop condition 0.14646, exit probability 0.0047731 in initial state
215244 explored states, 3025 states in BSSCs (3025 absorbing)
20962119 component updates, 1522360204 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3794893), [0.018023+9.81977e-01]@[0.00000](528334), [0.087712+9.12288e-01]@[0.00000](2753475), [0.0030465+8.35000e-01]@[0.00000](61043), [0.018023+8.17839e-01]@[0.00000](528172), [0.0019439+8.25311e-01]@[0.00000](29630), [0.0030465+8.25684e-01]@[0.00000](61912), [0.036111+7.87907e-01]@[0.00000](832894), [0.0019439+8.25311e-01]@[0.00000](29650), [0.0030465+8.35000e-01]@[0.00000](60910) ... (3025)
Sep 13, 2024 11:07:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21101809 loops (15275/sec), 1532499787 sampling steps, 55250 aborted
loop condition 0.14642, exit probability 0.0047580 in initial state
215378 explored states, 3025 states in BSSCs (3025 absorbing)
21038484 component updates, 1527905656 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3808690), [0.018023+9.81977e-01]@[0.00000](530255), [0.087712+9.12288e-01]@[0.00000](2763518), [0.0030465+8.35000e-01]@[0.00000](61273), [0.018023+8.17839e-01]@[0.00000](530038), [0.0019439+8.25311e-01]@[0.00000](29729), [0.0030465+8.25684e-01]@[0.00000](62143), [0.036111+7.87907e-01]@[0.00000](835945), [0.0019439+8.25311e-01]@[0.00000](29757), [0.0030465+8.35000e-01]@[0.00000](61152) ... (3025)
Sep 13, 2024 11:07:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21181485 loops (15935/sec), 1538285889 sampling steps, 55269 aborted
loop condition 0.14638, exit probability 0.0047426 in initial state
215559 explored states, 3025 states in BSSCs (3025 absorbing)
21118134 component updates, 1533689742 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3823233), [0.018023+9.81977e-01]@[0.00000](532242), [0.087712+9.12288e-01]@[0.00000](2773923), [0.0030465+8.35000e-01]@[0.00000](61511), [0.018023+8.17839e-01]@[0.00000](532022), [0.0019439+8.25311e-01]@[0.00000](29832), [0.0030465+8.25684e-01]@[0.00000](62388), [0.036111+7.87907e-01]@[0.00000](839154), [0.0019439+8.25311e-01]@[0.00000](29882), [0.0030465+8.35000e-01]@[0.00000](61388) ... (3025)
Sep 13, 2024 11:07:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21260766 loops (15856/sec), 1544044188 sampling steps, 55281 aborted
loop condition 0.14634, exit probability 0.0047270 in initial state
215685 explored states, 3025 states in BSSCs (3025 absorbing)
21197401 component updates, 1539447020 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3837427), [0.018023+9.81977e-01]@[0.00000](534328), [0.087712+9.12288e-01]@[0.00000](2784281), [0.0030465+8.35000e-01]@[0.00000](61725), [0.018023+8.17839e-01]@[0.00000](534088), [0.0019439+8.25311e-01]@[0.00000](29950), [0.0030465+8.25684e-01]@[0.00000](62651), [0.036111+7.87907e-01]@[0.00000](842269), [0.0019439+8.25311e-01]@[0.00000](29985), [0.0030465+8.35000e-01]@[0.00000](61594) ... (3025)
Sep 13, 2024 11:07:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21339576 loops (15762/sec), 1549763491 sampling steps, 55298 aborted
loop condition 0.14629, exit probability 0.0047103 in initial state
215859 explored states, 3025 states in BSSCs (3025 absorbing)
21276189 component updates, 1545164660 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3851595), [0.018023+9.81977e-01]@[0.00000](536279), [0.087712+9.12288e-01]@[0.00000](2794631), [0.0030465+8.35000e-01]@[0.00000](61960), [0.018023+8.17839e-01]@[0.00000](536121), [0.0019439+8.25311e-01]@[0.00000](30070), [0.0030465+8.25684e-01]@[0.00000](62885), [0.036111+7.87907e-01]@[0.00000](845523), [0.0019439+8.25311e-01]@[0.00000](30098), [0.0030465+8.35000e-01]@[0.00000](61814) ... (3025)
Sep 13, 2024 11:07:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21418532 loops (15791/sec), 1555486856 sampling steps, 55305 aborted
loop condition 0.14626, exit probability 0.0046942 in initial state
215990 explored states, 3025 states in BSSCs (3025 absorbing)
21355137 component updates, 1550887430 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3865872), [0.018023+9.81977e-01]@[0.00000](538273), [0.087712+9.12288e-01]@[0.00000](2805073), [0.0030465+8.35000e-01]@[0.00000](62175), [0.018023+8.17839e-01]@[0.00000](538070), [0.0019439+8.25311e-01]@[0.00000](30167), [0.0030465+8.25684e-01]@[0.00000](63126), [0.036111+7.87907e-01]@[0.00000](848717), [0.0019439+8.25311e-01]@[0.00000](30213), [0.0030465+8.35000e-01]@[0.00000](62057) ... (3025)
Sep 13, 2024 11:07:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21496769 loops (15647/sec), 1561170506 sampling steps, 55320 aborted
loop condition 0.14622, exit probability 0.0046791 in initial state
216116 explored states, 3025 states in BSSCs (3025 absorbing)
21433358 component updates, 1556569915 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3880085), [0.018023+9.81977e-01]@[0.00000](540252), [0.087712+9.12288e-01]@[0.00000](2815316), [0.0030465+8.35000e-01]@[0.00000](62388), [0.018023+8.17839e-01]@[0.00000](540031), [0.0019439+8.25311e-01]@[0.00000](30280), [0.0030465+8.25684e-01]@[0.00000](63346), [0.036111+7.87907e-01]@[0.00000](851816), [0.0019439+8.25311e-01]@[0.00000](30335), [0.0030465+8.35000e-01]@[0.00000](62295) ... (3025)
Sep 13, 2024 11:07:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21576013 loops (15848/sec), 1566928522 sampling steps, 55331 aborted
loop condition 0.14618, exit probability 0.0046638 in initial state
216263 explored states, 3025 states in BSSCs (3025 absorbing)
21512587 component updates, 1562326880 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3894402), [0.018023+9.81977e-01]@[0.00000](542265), [0.087712+9.12288e-01]@[0.00000](2825725), [0.0030465+8.35000e-01]@[0.00000](62604), [0.018023+8.17839e-01]@[0.00000](542047), [0.0019439+8.25311e-01]@[0.00000](30381), [0.0030465+8.25684e-01]@[0.00000](63562), [0.036111+7.87907e-01]@[0.00000](854979), [0.0019439+8.25311e-01]@[0.00000](30458), [0.0030465+8.35000e-01]@[0.00000](62516) ... (3025)
Sep 13, 2024 11:07:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21653734 loops (15544/sec), 1572573145 sampling steps, 55344 aborted
loop condition 0.14615, exit probability 0.0046505 in initial state
216388 explored states, 3025 states in BSSCs (3025 absorbing)
21590291 component updates, 1567970265 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3908379), [0.018023+9.81977e-01]@[0.00000](544246), [0.087712+9.12288e-01]@[0.00000](2835849), [0.0030465+8.35000e-01]@[0.00000](62851), [0.018023+8.17839e-01]@[0.00000](543969), [0.0019439+8.25311e-01]@[0.00000](30480), [0.0030465+8.25684e-01]@[0.00000](63796), [0.036111+7.87907e-01]@[0.00000](858058), [0.0019439+8.25311e-01]@[0.00000](30572), [0.0030465+8.35000e-01]@[0.00000](62732) ... (3025)
Sep 13, 2024 11:07:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21731215 loops (15496/sec), 1578205274 sampling steps, 55362 aborted
loop condition 0.14611, exit probability 0.0046356 in initial state
216544 explored states, 3025 states in BSSCs (3025 absorbing)
21667751 component updates, 1573600912 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3922503), [0.018023+9.81977e-01]@[0.00000](546144), [0.087712+9.12288e-01]@[0.00000](2845942), [0.0030465+8.35000e-01]@[0.00000](63066), [0.018023+8.17839e-01]@[0.00000](545912), [0.0019439+8.25311e-01]@[0.00000](30600), [0.0030465+8.25684e-01]@[0.00000](64035), [0.036111+7.87907e-01]@[0.00000](861102), [0.0019439+8.25311e-01]@[0.00000](30680), [0.0030465+8.35000e-01]@[0.00000](62949) ... (3025)
Sep 13, 2024 11:07:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21807821 loops (15321/sec), 1583771706 sampling steps, 55374 aborted
loop condition 0.14608, exit probability 0.0046226 in initial state
216763 explored states, 3025 states in BSSCs (3025 absorbing)
21744338 component updates, 1579165922 transient state updates
Bounds: [0.087599+9.12401e-01]@[0.00000](3936186), [0.018023+9.81977e-01]@[0.00000](548162), [0.087712+9.12288e-01]@[0.00000](2855950), [0.0030465+8.35000e-01]@[0.00000](63258), [0.018023+8.17839e-01]@[0.00000](547858), [0.0019439+8.25311e-01]@[0.00000](30702), [0.0030465+8.25684e-01]@[0.00000](64247), [0.036111+7.87907e-01]@[0.00000](864229), [0.0019439+8.25311e-01]@[0.00000](30797), [0.0030465+8.35000e-01]@[0.00000](63165) ... (3025)