sds.default-abs.ap-naive

Benchmark
Model: (crowds)
Parameter(s)TotalRuns = 6, CrowdSize = 10
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/crowds/crowds.prism --const TotalRuns=6,CrowdSize=10  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):1228.595517873764s (NA)
Return code:-9
Note(s):Tool does not support file export.
STDERR
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)