sds.default-abs.ap-naive

Model:	(haddad-monmege)
Parameter(s)	N = 20, p = 0.7

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/haddad-monmege/haddad-monmege.pm --const N=20,p=0.7  approximate --sampling SAMPLE_NAIVE  --precision 0.001

default engine and absolute (default) error criterion

Walltime (MC-Time):	> 1800.0s (NA) (Timeout)
Note(s):	Tool does not support file export.

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/haddad-monmege/haddad-monmege.pm --const N=20,p=0.7 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: 1, 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: 1, 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:
    1453072 loops (290614/sec), 29061422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 0.25043 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    1453027 component updates, 29060540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](1017180), [8.1743e-07+9.99993e-01]@[0.00000](435847)
Sep 13, 2024 10:47:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2999138 loops (309213/sec), 59982742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 0.057454 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    2999093 component updates, 59981860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](2100528), [8.1743e-07+9.99993e-01]@[0.00000](898565)
Sep 13, 2024 10:47:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    4544846 loops (309141/sec), 90896902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 0.013153 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    4544801 component updates, 90896020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](3182806), [8.1743e-07+9.99993e-01]@[0.00000](1361995)
Sep 13, 2024 10:47:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6076805 loops (306391/sec), 121536082 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 0.0030484 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    6076760 component updates, 121535200 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](4254945), [8.1743e-07+9.99993e-01]@[0.00000](1821815)
Sep 13, 2024 10:47:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    7543320 loops (293303/sec), 150866382 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 0.00075320 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    7543275 component updates, 150865500 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](5281220), [8.1743e-07+9.99993e-01]@[0.00000](2262055)
Sep 13, 2024 10:47:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    9050848 loops (301505/sec), 181016942 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 0.00017917 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    9050803 component updates, 181016060 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](6337111), [8.1743e-07+9.99993e-01]@[0.00000](2713692)
Sep 13, 2024 10:48:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    10568342 loops (303498/sec), 211366822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2194e-05 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    10568297 component updates, 211365940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](7400032), [8.1743e-07+9.99993e-01]@[0.00000](3168265)
Sep 13, 2024 10:48:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    12089136 loops (304158/sec), 241782702 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.8717e-06 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    12089091 component updates, 241781820 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](8464545), [8.1743e-07+9.99993e-01]@[0.00000](3624546)
Sep 13, 2024 10:48:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    13618401 loops (305853/sec), 272368002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2983e-06 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    13618356 component updates, 272367120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](9535633), [8.1743e-07+9.99993e-01]@[0.00000](4082723)
Sep 13, 2024 10:48:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    15155448 loops (307409/sec), 303108942 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.3081e-07 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    15155403 component updates, 303108060 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](10610855), [8.1743e-07+9.99993e-01]@[0.00000](4544548)
Sep 13, 2024 10:48:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    16660067 loops (300923/sec), 333201322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2631e-07 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    16660022 component updates, 333200440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](11663796), [8.1743e-07+9.99993e-01]@[0.00000](4996226)
Sep 13, 2024 10:48:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    18135703 loops (295127/sec), 362714042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0920e-08 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    18135658 component updates, 362713160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](12696268), [8.1743e-07+9.99993e-01]@[0.00000](5439390)
Sep 13, 2024 10:48:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    19632076 loops (299274/sec), 392641502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.4198e-09 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    19632031 component updates, 392640620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](13743118), [8.1743e-07+9.99993e-01]@[0.00000](5888913)
Sep 13, 2024 10:48:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    21153681 loops (304321/sec), 423073602 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7361e-09 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    21153636 component updates, 423072720 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](14807979), [8.1743e-07+9.99993e-01]@[0.00000](6345657)
Sep 13, 2024 10:48:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    22674942 loops (304252/sec), 453498822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.0756e-10 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    22674897 component updates, 453497940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](15873772), [8.1743e-07+9.99993e-01]@[0.00000](6801125)
Sep 13, 2024 10:48:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    24182772 loops (301566/sec), 483655422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.6637e-11 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    24182727 component updates, 483654540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](16929010), [8.1743e-07+9.99993e-01]@[0.00000](7253717)
Sep 13, 2024 10:48:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    25701099 loops (303665/sec), 514021962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2734e-11 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    25701054 component updates, 514021080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](17991710), [8.1743e-07+9.99993e-01]@[0.00000](7709344)
Sep 13, 2024 10:48:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    27227984 loops (305377/sec), 544559662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.2953e-12 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    27227939 component updates, 544558780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](19060034), [8.1743e-07+9.99993e-01]@[0.00000](8167905)
Sep 13, 2024 10:49:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    28728425 loops (300088/sec), 574568482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2656e-12 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    28728380 component updates, 574567600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](20110171), [8.1743e-07+9.99993e-01]@[0.00000](8618209)
Sep 13, 2024 10:49:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    30236553 loops (301625/sec), 604731042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0042e-13 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    30236508 component updates, 604730160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](21165841), [8.1743e-07+9.99993e-01]@[0.00000](9070667)
Sep 13, 2024 10:49:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    31751667 loops (303022/sec), 635033322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.0803e-14 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    31751622 component updates, 635032440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](22226444), [8.1743e-07+9.99993e-01]@[0.00000](9525178)
Sep 13, 2024 10:49:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    33282884 loops (306243/sec), 665657662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6444e-14 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    33282839 component updates, 665656780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](23298348), [8.1743e-07+9.99993e-01]@[0.00000](9984491)
Sep 13, 2024 10:49:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    34814008 loops (306224/sec), 696280142 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.8171e-15 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    34813963 component updates, 696279260 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](24370091), [8.1743e-07+9.99993e-01]@[0.00000](10443872)
Sep 13, 2024 10:49:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    36337217 loops (304641/sec), 726744322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.9127e-16 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    36337172 component updates, 726743440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](25434530), [8.1743e-07+9.99993e-01]@[0.00000](10902642)
Sep 13, 2024 10:49:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    37861953 loops (304947/sec), 757239042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.0809e-16 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    37861908 component updates, 757238160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](26501733), [8.1743e-07+9.99993e-01]@[0.00000](11360175)
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    39394745 loops (306558/sec), 787894882 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.8216e-17 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    39394700 component updates, 787894000 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](27574062), [8.1743e-07+9.99993e-01]@[0.00000](11820638)
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    40922987 loops (305648/sec), 818459722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1224e-17 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    40922942 component updates, 818458840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](28643997), [8.1743e-07+9.99993e-01]@[0.00000](12278945)
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    42469632 loops (309329/sec), 849392622 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.5684e-18 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    42469587 component updates, 849391740 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](29726010), [8.1743e-07+9.99993e-01]@[0.00000](12743577)
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    44005234 loops (307120/sec), 880104662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.9340e-19 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    44005189 component updates, 880103780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](30800218), [8.1743e-07+9.99993e-01]@[0.00000](13204971)
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    45528528 loops (304658/sec), 910570542 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3878e-19 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    45528483 component updates, 910569660 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](31866547), [8.1743e-07+9.99993e-01]@[0.00000](13661936)
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    47051910 loops (304676/sec), 941038182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.2448e-20 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    47051865 component updates, 941037300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](32932849), [8.1743e-07+9.99993e-01]@[0.00000](14119016)
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    48567398 loops (303097/sec), 971347942 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.6604e-21 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    48567353 component updates, 971347060 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](33994088), [8.1743e-07+9.99993e-01]@[0.00000](14573265)
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    50090742 loops (304668/sec), 1001814822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7960e-21 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    50090697 component updates, 1001813940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](35060683), [8.1743e-07+9.99993e-01]@[0.00000](15030014)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    51609131 loops (303677/sec), 1032182602 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2209e-22 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    51609086 component updates, 1032181720 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](36123231), [8.1743e-07+9.99993e-01]@[0.00000](15485855)
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    53151222 loops (308418/sec), 1063024422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.7037e-23 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    53151177 component updates, 1063023540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](37202144), [8.1743e-07+9.99993e-01]@[0.00000](15949033)
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    54659786 loops (301712/sec), 1093195702 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.3016e-23 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    54659741 component updates, 1093194820 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](38257503), [8.1743e-07+9.99993e-01]@[0.00000](16402238)
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    56145967 loops (297236/sec), 1122919322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.5829e-24 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    56145922 component updates, 1122918440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](39297510), [8.1743e-07+9.99993e-01]@[0.00000](16848412)
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    57664525 loops (303711/sec), 1153290482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3118e-24 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    57664480 component updates, 1153289600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](40360089), [8.1743e-07+9.99993e-01]@[0.00000](17304391)
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    59193680 loops (305831/sec), 1183873582 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0512e-25 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    59193635 component updates, 1183872700 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](41430437), [8.1743e-07+9.99993e-01]@[0.00000](17763198)
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    60727289 loops (306721/sec), 1214545762 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.0674e-26 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    60727244 component updates, 1214544880 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](42503408), [8.1743e-07+9.99993e-01]@[0.00000](18223836)
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    62262815 loops (307105/sec), 1245256282 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6329e-26 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    62262770 component updates, 1245255400 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](43577568), [8.1743e-07+9.99993e-01]@[0.00000](18685202)
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    63792181 loops (305873/sec), 1275843602 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.7960e-27 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    63792136 component updates, 1275842720 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](44648195), [8.1743e-07+9.99993e-01]@[0.00000](19143941)
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    65274662 loops (296496/sec), 1305493222 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.2401e-28 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    65274617 component updates, 1305492340 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](45685878), [8.1743e-07+9.99993e-01]@[0.00000](19588739)
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    66765054 loops (298078/sec), 1335301062 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2283e-28 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    66765009 component updates, 1335300180 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](46729283), [8.1743e-07+9.99993e-01]@[0.00000](20035726)
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    68256979 loops (298385/sec), 1365139562 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.3767e-29 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    68256934 component updates, 1365138680 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](47774167), [8.1743e-07+9.99993e-01]@[0.00000](20482767)
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    69739851 loops (296574/sec), 1394797002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3075e-29 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    69739806 component updates, 1394796120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](48811936), [8.1743e-07+9.99993e-01]@[0.00000](20927870)
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    71240790 loops (300187/sec), 1424815782 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.1237e-30 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    71240745 component updates, 1424814900 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](49862154), [8.1743e-07+9.99993e-01]@[0.00000](21378591)
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    72729244 loops (297690/sec), 1454584862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.5518e-31 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    72729199 component updates, 1454583980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](50903883), [8.1743e-07+9.99993e-01]@[0.00000](21825316)
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    74206911 loops (295533/sec), 1484138202 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8436e-31 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    74206866 component updates, 1484137320 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](51937887), [8.1743e-07+9.99993e-01]@[0.00000](22268979)
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    75710151 loops (300648/sec), 1514203002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.4005e-32 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    75710106 component updates, 1514202120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](52990099), [8.1743e-07+9.99993e-01]@[0.00000](22720007)
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    77236445 loops (305258/sec), 1544728882 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0258e-32 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    77236400 component updates, 1544728000 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](54058408), [8.1743e-07+9.99993e-01]@[0.00000](23177992)
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    78773807 loops (307472/sec), 1575476122 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.3675e-33 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    78773762 component updates, 1575475240 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](55135096), [8.1743e-07+9.99993e-01]@[0.00000](23638666)
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    80311949 loops (307628/sec), 1606238962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.4601e-34 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    80311904 component updates, 1606238080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](56211522), [8.1743e-07+9.99993e-01]@[0.00000](24100382)
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    81844888 loops (306587/sec), 1636897742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2652e-34 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    81844843 component updates, 1636896860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](57284546), [8.1743e-07+9.99993e-01]@[0.00000](24560297)
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    83331868 loops (297396/sec), 1666637342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0648e-35 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    83331823 component updates, 1666636460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](58325011), [8.1743e-07+9.99993e-01]@[0.00000](25006812)
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    84847779 loops (303182/sec), 1696955562 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.2026e-36 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    84847734 component updates, 1696954680 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](59385192), [8.1743e-07+9.99993e-01]@[0.00000](25462542)
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    86378068 loops (306057/sec), 1727561342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6761e-36 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    86378023 component updates, 1727560460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](60457239), [8.1743e-07+9.99993e-01]@[0.00000](25920784)
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    87918849 loops (308156/sec), 1758376962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.8627e-37 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    87918804 component updates, 1758376080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](61535942), [8.1743e-07+9.99993e-01]@[0.00000](26382862)
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    89455214 loops (307273/sec), 1789104262 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.9269e-38 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    89455169 component updates, 1789103380 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](62611486), [8.1743e-07+9.99993e-01]@[0.00000](26843683)
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    90987246 loops (306406/sec), 1819744902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.0713e-38 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    90987201 component updates, 1819744020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](63683857), [8.1743e-07+9.99993e-01]@[0.00000](27303344)
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    92526046 loops (307760/sec), 1850520902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.7714e-39 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    92526001 component updates, 1850520020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](64760104), [8.1743e-07+9.99993e-01]@[0.00000](27765897)
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    94074269 loops (309644/sec), 1881485362 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0911e-39 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    94074224 component updates, 1881484480 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](65844059), [8.1743e-07+9.99993e-01]@[0.00000](28230165)
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    95619437 loops (309033/sec), 1912388722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.5018e-40 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    95619392 component updates, 1912387840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](66925396), [8.1743e-07+9.99993e-01]@[0.00000](28693996)
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    97155478 loops (307208/sec), 1943109542 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.7854e-41 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    97155433 component updates, 1943108660 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](68000584), [8.1743e-07+9.99993e-01]@[0.00000](29154849)
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    98697521 loops (308408/sec), 1973950402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3299e-41 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    98697476 component updates, 1973949520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](69080295), [8.1743e-07+9.99993e-01]@[0.00000](29617181)
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    100230342 loops (306564/sec), 2004606822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0804e-42 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    100230297 component updates, 2004605940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](70153577), [8.1743e-07+9.99993e-01]@[0.00000](30076720)
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    101724137 loops (298759/sec), 2034482722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.4264e-43 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    101724092 component updates, 2034481840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](71200460), [8.1743e-07+9.99993e-01]@[0.00000](30523632)
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    103209299 loops (297032/sec), 2064185962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8034e-43 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    103209254 component updates, 2064185080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](72240777), [8.1743e-07+9.99993e-01]@[0.00000](30968477)
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    104736792 loops (305498/sec), 2094735822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2013e-44 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    104736747 component updates, 2094734940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](73309988), [8.1743e-07+9.99993e-01]@[0.00000](31426759)
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    106265483 loops (305738/sec), 2125309642 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.7822e-45 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    106265438 component updates, 2125308760 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](74381466), [8.1743e-07+9.99993e-01]@[0.00000](31883972)
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    107781750 loops (303253/sec), 2155634982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.3067e-45 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    107781705 component updates, 2155634100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](75443786), [8.1743e-07+9.99993e-01]@[0.00000](32337919)
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    109285765 loops (300803/sec), 2185715282 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.5052e-46 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    109285720 component updates, 2185714400 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](76497666), [8.1743e-07+9.99993e-01]@[0.00000](32788054)
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    110786426 loops (300132/sec), 2215728502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3152e-46 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    110786381 component updates, 2215727620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](77547793), [8.1743e-07+9.99993e-01]@[0.00000](33238588)
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    112308388 loops (304392/sec), 2246167742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0788e-47 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    112308343 component updates, 2246166860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](78613359), [8.1743e-07+9.99993e-01]@[0.00000](33694984)
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    113806101 loops (299542/sec), 2276122002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.3851e-48 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    113806056 component updates, 2276121120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](79662308), [8.1743e-07+9.99993e-01]@[0.00000](34143748)
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    115299038 loops (298587/sec), 2305980742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7780e-48 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    115298993 component updates, 2305979860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](80706860), [8.1743e-07+9.99993e-01]@[0.00000](34592133)
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    116827500 loops (305692/sec), 2336549982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.1377e-49 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    116827455 component updates, 2336549100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](81776448), [8.1743e-07+9.99993e-01]@[0.00000](35051007)
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    118355576 loops (305615/sec), 2367111502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.6232e-50 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    118355531 component updates, 2367110620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](82845332), [8.1743e-07+9.99993e-01]@[0.00000](35510199)
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    119882072 loops (305299/sec), 2397641422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2446e-50 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    119882027 component updates, 2397640540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](83914832), [8.1743e-07+9.99993e-01]@[0.00000](35967195)
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    121409608 loops (305507/sec), 2428192142 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.2279e-51 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    121409563 component updates, 2428191260 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](84983713), [8.1743e-07+9.99993e-01]@[0.00000](36425850)
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    122947935 loops (307665/sec), 2458958682 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2064e-51 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    122947890 component updates, 2458957800 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](86060950), [8.1743e-07+9.99993e-01]@[0.00000](36886940)
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    124485217 loops (307456/sec), 2489704322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.7854e-52 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    124485172 component updates, 2489703440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](87136933), [8.1743e-07+9.99993e-01]@[0.00000](37348239)
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    126017117 loops (306380/sec), 2520342322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.4697e-53 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    126017072 component updates, 2520341440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](88209101), [8.1743e-07+9.99993e-01]@[0.00000](37807971)
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    127552445 loops (307065/sec), 2551048882 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4955e-53 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    127552400 component updates, 2551048000 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](89283493), [8.1743e-07+9.99993e-01]@[0.00000](38268907)
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    129088316 loops (307174/sec), 2581766302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.4502e-54 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    129088271 component updates, 2581765420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](90357219), [8.1743e-07+9.99993e-01]@[0.00000](38731052)
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    130611628 loops (304662/sec), 2612232542 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.0689e-55 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    130611583 component updates, 2612231660 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](91423721), [8.1743e-07+9.99993e-01]@[0.00000](39187862)
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    132156525 loops (308979/sec), 2643130482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8526e-55 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    132156480 component updates, 2643129600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](92505993), [8.1743e-07+9.99993e-01]@[0.00000](39650487)
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    133690896 loops (306874/sec), 2673817902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2846e-56 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    133690851 component updates, 2673817020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](93579386), [8.1743e-07+9.99993e-01]@[0.00000](40111465)
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    135225697 loops (306960/sec), 2704513922 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.9122e-57 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    135225652 component updates, 2704513040 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](94654440), [8.1743e-07+9.99993e-01]@[0.00000](40571212)
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    136766692 loops (308199/sec), 2735333822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2794e-57 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    136766647 component updates, 2735332940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](95731719), [8.1743e-07+9.99993e-01]@[0.00000](41034928)
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    138293594 loops (305380/sec), 2765871862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.3132e-58 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    138293549 component updates, 2765870980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](96800079), [8.1743e-07+9.99993e-01]@[0.00000](41493470)
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    139805248 loops (302330/sec), 2796104942 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2561e-58 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    139805203 component updates, 2796104060 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](97858296), [8.1743e-07+9.99993e-01]@[0.00000](41946907)
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    141332575 loops (305465/sec), 2826651482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.9283e-59 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    141332530 component updates, 2826650600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](98927497), [8.1743e-07+9.99993e-01]@[0.00000](42405033)
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    142869806 loops (307446/sec), 2857396102 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.7578e-60 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    142869761 component updates, 2857395220 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](100002422), [8.1743e-07+9.99993e-01]@[0.00000](42867339)
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    144402465 loops (306531/sec), 2888049282 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5676e-60 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    144402420 component updates, 2888048400 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](101074437), [8.1743e-07+9.99993e-01]@[0.00000](43327983)
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    145948896 loops (309286/sec), 2918977902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.5827e-61 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    145948851 component updates, 2918977020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](102156724), [8.1743e-07+9.99993e-01]@[0.00000](43792127)
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    147485526 loops (307326/sec), 2949710502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.2717e-62 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    147485481 component updates, 2949709620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](103232007), [8.1743e-07+9.99993e-01]@[0.00000](44253474)
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    149022100 loops (307314/sec), 2980441982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.9113e-62 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    149022055 component updates, 2980441100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](104307992), [8.1743e-07+9.99993e-01]@[0.00000](44714063)
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    150568105 loops (309201/sec), 3011362082 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.3729e-63 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    150568060 component updates, 3011361200 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](105389440), [8.1743e-07+9.99993e-01]@[0.00000](45178620)
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    152122295 loops (310838/sec), 3042445882 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.9331e-64 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    152122250 component updates, 3042445000 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](106477532), [8.1743e-07+9.99993e-01]@[0.00000](45644718)
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    153672968 loops (310134/sec), 3073459342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2680e-64 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    153672923 component updates, 3073458460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](107563614), [8.1743e-07+9.99993e-01]@[0.00000](46109309)
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    155223325 loops (310071/sec), 3104466482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.1690e-65 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    155223280 component updates, 3104465600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](108649507), [8.1743e-07+9.99993e-01]@[0.00000](46573773)
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    156741287 loops (303592/sec), 3134825722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2135e-65 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    156741242 component updates, 3134824840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](109711998), [8.1743e-07+9.99993e-01]@[0.00000](47029244)
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    158271873 loops (306117/sec), 3165437442 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.8201e-66 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    158271828 component updates, 3165436560 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](110783359), [8.1743e-07+9.99993e-01]@[0.00000](47488469)
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    159804622 loops (306549/sec), 3196092422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.5409e-67 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    159804577 component updates, 3196091540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](111856394), [8.1743e-07+9.99993e-01]@[0.00000](47948183)
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    161340592 loops (307194/sec), 3226811822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5128e-67 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    161340547 component updates, 3226810940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](112931954), [8.1743e-07+9.99993e-01]@[0.00000](48408593)
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    162873016 loops (306484/sec), 3257460302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.5084e-68 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    162872971 component updates, 3257459420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](114004588), [8.1743e-07+9.99993e-01]@[0.00000](48868383)
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    164412607 loops (307918/sec), 3288252122 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.0881e-69 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    164412562 component updates, 3288251240 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](115081959), [8.1743e-07+9.99993e-01]@[0.00000](49330603)
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    165965916 loops (310661/sec), 3319318302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8396e-69 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    165965871 component updates, 3319317420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](116169392), [8.1743e-07+9.99993e-01]@[0.00000](49796479)
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    167502788 loops (307374/sec), 3350055742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2478e-70 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    167502743 component updates, 3350054860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](117244939), [8.1743e-07+9.99993e-01]@[0.00000](50257804)
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    169043361 loops (308114/sec), 3380867202 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.7663e-71 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    169043316 component updates, 3380866320 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](118322727), [8.1743e-07+9.99993e-01]@[0.00000](50720589)
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    170590206 loops (309369/sec), 3411804102 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2339e-71 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    170590161 component updates, 3411803220 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](119405827), [8.1743e-07+9.99993e-01]@[0.00000](51184334)
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    172127063 loops (307371/sec), 3442541242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.1583e-72 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    172127018 component updates, 3442540360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](120481614), [8.1743e-07+9.99993e-01]@[0.00000](51645404)
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    173672416 loops (309070/sec), 3473448302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1815e-72 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    173672371 component updates, 3473447420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](121563609), [8.1743e-07+9.99993e-01]@[0.00000](52108762)
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    175190451 loops (303607/sec), 3503809002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.7827e-73 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    175190406 component updates, 3503808120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](122627338), [8.1743e-07+9.99993e-01]@[0.00000](52563068)
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    176694924 loops (300894/sec), 3533898462 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.6204e-74 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    176694879 component updates, 3533897580 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](123680162), [8.1743e-07+9.99993e-01]@[0.00000](53014717)
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    178225678 loops (306150/sec), 3564513542 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5390e-74 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    178225633 component updates, 3564512660 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](124751671), [8.1743e-07+9.99993e-01]@[0.00000](53473962)
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    179768954 loops (308655/sec), 3595379062 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.5315e-75 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    179768909 component updates, 3595378180 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](125832441), [8.1743e-07+9.99993e-01]@[0.00000](53936468)
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    181303319 loops (306873/sec), 3626066362 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.1533e-76 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    181303274 component updates, 3626065480 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](126906328), [8.1743e-07+9.99993e-01]@[0.00000](54396946)
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    182839284 loops (307193/sec), 3656785662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8840e-76 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    182839239 component updates, 3656784780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](127980677), [8.1743e-07+9.99993e-01]@[0.00000](54858562)
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    184375101 loops (307163/sec), 3687502002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.3524e-77 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    184375056 component updates, 3687501120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](129055286), [8.1743e-07+9.99993e-01]@[0.00000](55319770)
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    185906899 loops (306359/sec), 3718137962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0094e-77 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    185906854 component updates, 3718137080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](130127190), [8.1743e-07+9.99993e-01]@[0.00000](55779664)
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    187460781 loops (310776/sec), 3749215602 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2930e-78 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    187460736 component updates, 3749214720 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](131215294), [8.1743e-07+9.99993e-01]@[0.00000](56245442)
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    189039110 loops (315665/sec), 3780782182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.0918e-79 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    189039065 component updates, 3780781300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](132319634), [8.1743e-07+9.99993e-01]@[0.00000](56719431)
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    190597792 loops (311736/sec), 3811955822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1527e-79 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    190597747 component updates, 3811954940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](133411538), [8.1743e-07+9.99993e-01]@[0.00000](57186209)
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    192183661 loops (317173/sec), 3843673202 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.5382e-80 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    192183616 component updates, 3843672320 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](134521016), [8.1743e-07+9.99993e-01]@[0.00000](57662600)
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    193747225 loops (312712/sec), 3874944482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.7219e-81 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    193747180 component updates, 3874943600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](135616624), [8.1743e-07+9.99993e-01]@[0.00000](58130556)
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    195308628 loops (312280/sec), 3906172542 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2901e-81 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    195308583 component updates, 3906171660 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](136709644), [8.1743e-07+9.99993e-01]@[0.00000](58598939)
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    196879871 loops (314248/sec), 3937597402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.8799e-82 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    196879826 component updates, 3937596520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](137809216), [8.1743e-07+9.99993e-01]@[0.00000](59070610)
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    198459763 loops (315978/sec), 3969195242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.3889e-83 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    198459718 component updates, 3969194360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](138916300), [8.1743e-07+9.99993e-01]@[0.00000](59543418)
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    200018710 loops (311789/sec), 4000374182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4432e-83 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    200018665 component updates, 4000373300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](140006702), [8.1743e-07+9.99993e-01]@[0.00000](60011963)
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    201589087 loops (314075/sec), 4031781722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.2319e-84 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    201589042 component updates, 4031780840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](141106399), [8.1743e-07+9.99993e-01]@[0.00000](60482643)
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    203162154 loops (314613/sec), 4063243062 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.2131e-85 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    203162109 component updates, 4063242180 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](142207793), [8.1743e-07+9.99993e-01]@[0.00000](60954316)
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    204739127 loops (315394/sec), 4094782522 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6032e-85 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    204739082 component updates, 4094781640 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](143311527), [8.1743e-07+9.99993e-01]@[0.00000](61427555)
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    206313325 loops (314839/sec), 4126266482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.5706e-86 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    206313280 component updates, 4126265600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](144413176), [8.1743e-07+9.99993e-01]@[0.00000](61900104)
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    207878053 loops (312945/sec), 4157561042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.0331e-87 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    207878008 component updates, 4157560160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](145508633), [8.1743e-07+9.99993e-01]@[0.00000](62369375)
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    209444836 loops (313356/sec), 4188896702 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8077e-87 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    209444791 component updates, 4188895820 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](146606415), [8.1743e-07+9.99993e-01]@[0.00000](62838376)
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    211010895 loops (313211/sec), 4220217882 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.0653e-88 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    211010850 component updates, 4220217000 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](147703200), [8.1743e-07+9.99993e-01]@[0.00000](63307650)
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    212565520 loops (310925/sec), 4251310382 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.2205e-89 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    212565475 component updates, 4251309500 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](148790458), [8.1743e-07+9.99993e-01]@[0.00000](63775017)
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    214134815 loops (313859/sec), 4282696282 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.0681e-89 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    214134770 component updates, 4282695400 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](149890849), [8.1743e-07+9.99993e-01]@[0.00000](64243921)
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    215715162 loops (316069/sec), 4314303222 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.5827e-90 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    215715117 component updates, 4314302340 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](150996671), [8.1743e-07+9.99993e-01]@[0.00000](64718446)
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    217291140 loops (315195/sec), 4345822782 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0195e-90 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    217291095 component updates, 4345821900 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](152099903), [8.1743e-07+9.99993e-01]@[0.00000](65191192)
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    218874844 loops (316740/sec), 4377496862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2503e-91 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    218874799 component updates, 4377495980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](153208749), [8.1743e-07+9.99993e-01]@[0.00000](65666050)
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    220456043 loops (316239/sec), 4409120842 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.9774e-92 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    220455998 component updates, 4409119960 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](154315165), [8.1743e-07+9.99993e-01]@[0.00000](66140833)
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    222033668 loops (315525/sec), 4440673342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1055e-92 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    222033623 component updates, 4440672460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](155419068), [8.1743e-07+9.99993e-01]@[0.00000](66614555)
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    223619330 loops (317132/sec), 4472386582 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.4425e-93 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    223619285 component updates, 4472385700 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](156529153), [8.1743e-07+9.99993e-01]@[0.00000](67090132)
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    225208063 loops (317746/sec), 4504161242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.3722e-94 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    225208018 component updates, 4504160360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](157641901), [8.1743e-07+9.99993e-01]@[0.00000](67566117)
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    226781593 loops (314706/sec), 4535631842 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1990e-94 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    226781548 component updates, 4535630960 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](158744553), [8.1743e-07+9.99993e-01]@[0.00000](68036995)
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    228359772 loops (315635/sec), 4567195422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.6606e-95 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    228359727 component updates, 4567194540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](159849222), [8.1743e-07+9.99993e-01]@[0.00000](68510505)
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    229942577 loops (316561/sec), 4598851522 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.8747e-96 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    229942532 component updates, 4598850640 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](160956108), [8.1743e-07+9.99993e-01]@[0.00000](68986424)
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    231508116 loops (313107/sec), 4630162302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3203e-96 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    231508071 component updates, 4630161420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](162052588), [8.1743e-07+9.99993e-01]@[0.00000](69455483)
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    233066344 loops (311645/sec), 4661326862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.9893e-97 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    233066299 component updates, 4661325980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](163143673), [8.1743e-07+9.99993e-01]@[0.00000](69922626)
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    234628562 loops (312443/sec), 4692571222 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.7477e-98 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    234628517 component updates, 4692570340 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](164238178), [8.1743e-07+9.99993e-01]@[0.00000](70390339)
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    236198438 loops (313975/sec), 4723968742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5109e-98 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    236198393 component updates, 4723967860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](165337015), [8.1743e-07+9.99993e-01]@[0.00000](70861378)
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    237771650 loops (314642/sec), 4755432982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.3727e-99 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    237771605 component updates, 4755432100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](166438204), [8.1743e-07+9.99993e-01]@[0.00000](71333401)
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    239343803 loops (314430/sec), 4786876042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.5318e-100 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    239343758 component updates, 4786875160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](167539444), [8.1743e-07+9.99993e-01]@[0.00000](71804314)
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    240910510 loops (313341/sec), 4818210182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6941e-100 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    240910465 component updates, 4818209300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](168636457), [8.1743e-07+9.99993e-01]@[0.00000](72274008)
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    242478496 loops (313597/sec), 4849569902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.7972e-101 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    242478451 component updates, 4849569020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](169734094), [8.1743e-07+9.99993e-01]@[0.00000](72744357)
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    244046461 loops (313593/sec), 4880929202 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.5083e-102 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    244046416 component updates, 4880928320 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](170831440), [8.1743e-07+9.99993e-01]@[0.00000](73214976)
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    245622172 loops (315142/sec), 4912443422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8942e-102 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    245622127 component updates, 4912442540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](171933864), [8.1743e-07+9.99993e-01]@[0.00000](73688263)
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    247183972 loops (312360/sec), 4943679422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2765e-103 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    247183927 component updates, 4943678540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](173027596), [8.1743e-07+9.99993e-01]@[0.00000](74156331)
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    248756522 loops (314510/sec), 4975130422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.5519e-104 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    248756477 component updates, 4975129540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](174128361), [8.1743e-07+9.99993e-01]@[0.00000](74628116)
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    250309253 loops (310546/sec), 5006185042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.1734e-104 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    250309208 component updates, 5006184160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](175215485), [8.1743e-07+9.99993e-01]@[0.00000](75093723)
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    251862599 loops (310669/sec), 5037251962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.9432e-105 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    251862554 component updates, 5037251080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](176303192), [8.1743e-07+9.99993e-01]@[0.00000](75559362)
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    253412379 loops (309956/sec), 5068247562 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1296e-105 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    253412334 component updates, 5068246680 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](177389008), [8.1743e-07+9.99993e-01]@[0.00000](76023326)
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    254966251 loops (310774/sec), 5099325002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.5679e-106 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    254966206 component updates, 5099324120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](178477042), [8.1743e-07+9.99993e-01]@[0.00000](76489164)
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    256536403 loops (314030/sec), 5130728042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.7437e-107 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    256536358 component updates, 5130727160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](179576469), [8.1743e-07+9.99993e-01]@[0.00000](76959889)
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    258107570 loops (314233/sec), 5162151382 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2847e-107 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    258107525 component updates, 5162150500 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](180676290), [8.1743e-07+9.99993e-01]@[0.00000](77431235)
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    259685813 loops (315648/sec), 5193716242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.8570e-108 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    259685768 component updates, 5193715360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](181782321), [8.1743e-07+9.99993e-01]@[0.00000](77903447)
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    261270074 loops (316852/sec), 5225401462 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.3048e-109 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    261270029 component updates, 5225400580 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](182890306), [8.1743e-07+9.99993e-01]@[0.00000](78379723)
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    262851261 loops (316237/sec), 5257025202 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3960e-109 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    262851216 component updates, 5257024320 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](183997046), [8.1743e-07+9.99993e-01]@[0.00000](78854170)
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    264427083 loops (315164/sec), 5288541642 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.1079e-110 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    264427038 component updates, 5288540760 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](185100425), [8.1743e-07+9.99993e-01]@[0.00000](79326613)
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    266000820 loops (314747/sec), 5320016382 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.9389e-111 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    266000775 component updates, 5320015500 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](186202632), [8.1743e-07+9.99993e-01]@[0.00000](79798143)
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    267572070 loops (314250/sec), 5351441382 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5492e-111 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    267572025 component updates, 5351440500 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](187301493), [8.1743e-07+9.99993e-01]@[0.00000](80270532)
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    269121787 loops (309943/sec), 5382435722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.5370e-112 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    269121742 component updates, 5382434840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](188386713), [8.1743e-07+9.99993e-01]@[0.00000](80735029)
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    270683597 loops (312362/sec), 5413671922 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.9765e-113 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    270683552 component updates, 5413671040 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](189479357), [8.1743e-07+9.99993e-01]@[0.00000](81204195)
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    272252474 loops (313775/sec), 5445049462 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7887e-113 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    272252429 component updates, 5445048580 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](190578566), [8.1743e-07+9.99993e-01]@[0.00000](81673863)
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    273829121 loops (315329/sec), 5476582402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.9801e-114 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    273829076 component updates, 5476581520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](191682295), [8.1743e-07+9.99993e-01]@[0.00000](82146781)
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    275396454 loops (313466/sec), 5507929062 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.9224e-115 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    275396409 component updates, 5507928180 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](192779117), [8.1743e-07+9.99993e-01]@[0.00000](82617292)
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    276978409 loops (316391/sec), 5539568162 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.9758e-115 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    276978364 component updates, 5539567280 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](193887485), [8.1743e-07+9.99993e-01]@[0.00000](83090879)
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    278556527 loops (315623/sec), 5571130522 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.3875e-116 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    278556482 component updates, 5571129640 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](194991800), [8.1743e-07+9.99993e-01]@[0.00000](83564682)
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    280127309 loops (314156/sec), 5602546162 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.8180e-117 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    280127264 component updates, 5602545280 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](196091808), [8.1743e-07+9.99993e-01]@[0.00000](84035456)
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    281706786 loops (315895/sec), 5634135702 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.1743e-117 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    281706741 component updates, 5634134820 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](197196653), [8.1743e-07+9.99993e-01]@[0.00000](84510088)
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    283292529 loops (317148/sec), 5665850562 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.7910e-118 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    283292484 component updates, 5665849680 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](198306924), [8.1743e-07+9.99993e-01]@[0.00000](84985560)
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    284866364 loops (314767/sec), 5697327262 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0680e-118 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    284866319 component updates, 5697326380 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](199408432), [8.1743e-07+9.99993e-01]@[0.00000](85457887)
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    286427114 loops (312150/sec), 5728542262 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.4081e-119 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    286427069 component updates, 5728541380 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](200500084), [8.1743e-07+9.99993e-01]@[0.00000](85926985)
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    287977935 loops (310164/sec), 5759558682 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.4857e-120 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    287977890 component updates, 5759557800 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](201586050), [8.1743e-07+9.99993e-01]@[0.00000](86391840)
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    289542933 loops (312999/sec), 5790858642 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2348e-120 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    289542888 component updates, 5790857760 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](202682580), [8.1743e-07+9.99993e-01]@[0.00000](86860308)
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    291102426 loops (311898/sec), 5822048502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.7933e-121 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    291102381 component updates, 5822047620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](203774348), [8.1743e-07+9.99993e-01]@[0.00000](87328033)
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    292670749 loops (313664/sec), 5853414962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.2590e-122 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    292670704 component updates, 5853414080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](204871565), [8.1743e-07+9.99993e-01]@[0.00000](87799139)
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    294234954 loops (312841/sec), 5884699062 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4082e-122 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    294234909 component updates, 5884698180 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](205967214), [8.1743e-07+9.99993e-01]@[0.00000](88267695)
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    295805922 loops (314193/sec), 5916118422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.1492e-123 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    295805877 component updates, 5916117540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](207066501), [8.1743e-07+9.99993e-01]@[0.00000](88739376)
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    297401313 loops (319078/sec), 5948026242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.8649e-124 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    297401268 component updates, 5948025360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](208182712), [8.1743e-07+9.99993e-01]@[0.00000](89218556)
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    298977611 loops (315259/sec), 5979552202 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5232e-124 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    298977566 component updates, 5979551320 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](209284897), [8.1743e-07+9.99993e-01]@[0.00000](89692669)
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    300551968 loops (314871/sec), 6011039342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.3899e-125 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    300551923 component updates, 6011038460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](210386182), [8.1743e-07+9.99993e-01]@[0.00000](90165741)
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    302128787 loops (315363/sec), 6042575722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.5322e-126 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    302128742 component updates, 6042574840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](211490873), [8.1743e-07+9.99993e-01]@[0.00000](90637869)
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    303714394 loops (317121/sec), 6074287862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6591e-126 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    303714349 component updates, 6074286980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](212600856), [8.1743e-07+9.99993e-01]@[0.00000](91113493)
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    305288188 loops (314758/sec), 6105763742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.7052e-127 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    305288143 component updates, 6105762860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](213703208), [8.1743e-07+9.99993e-01]@[0.00000](91584935)
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    306839722 loops (310306/sec), 6136794422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.4313e-128 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    306839677 component updates, 6136793540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](214789620), [8.1743e-07+9.99993e-01]@[0.00000](92050057)
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    308398856 loops (311826/sec), 6167977102 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.9044e-128 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    308398811 component updates, 6167976220 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](215880571), [8.1743e-07+9.99993e-01]@[0.00000](92518240)
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    309972700 loops (314768/sec), 6199453982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2513e-129 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    309972655 component updates, 6199453100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](216982461), [8.1743e-07+9.99993e-01]@[0.00000](92990194)
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    311558571 loops (317174/sec), 6231171402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.3637e-130 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    311558526 component updates, 6231170520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](218092537), [8.1743e-07+9.99993e-01]@[0.00000](93465989)
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    313150926 loops (318471/sec), 6263018502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.0513e-130 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    313150881 component updates, 6263017620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](219207881), [8.1743e-07+9.99993e-01]@[0.00000](93943000)
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    314742918 loops (318398/sec), 6294858342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.4964e-131 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    314742873 component updates, 6294857460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](220322467), [8.1743e-07+9.99993e-01]@[0.00000](94420406)
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    316330217 loops (317459/sec), 6326604322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.8917e-132 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    316330172 component updates, 6326603440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](221433726), [8.1743e-07+9.99993e-01]@[0.00000](94896446)
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    317907471 loops (315450/sec), 6358149402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.1995e-132 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    317907426 component updates, 6358148520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](222538531), [8.1743e-07+9.99993e-01]@[0.00000](95368895)
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    319486012 loops (315708/sec), 6389720222 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.8751e-133 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    319485967 component updates, 6389719340 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](223643140), [8.1743e-07+9.99993e-01]@[0.00000](95842827)
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    321072147 loops (317227/sec), 6421442922 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0728e-133 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    321072102 component updates, 6421442040 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](224754032), [8.1743e-07+9.99993e-01]@[0.00000](96318070)
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    322661698 loops (317910/sec), 6453233942 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.3533e-134 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    322661653 component updates, 6453233060 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](225866631), [8.1743e-07+9.99993e-01]@[0.00000](96795022)
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    324245000 loops (316660/sec), 6484899982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.2003e-135 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    324244955 component updates, 6484899100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](226974474), [8.1743e-07+9.99993e-01]@[0.00000](97270481)
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    325798816 loops (310763/sec), 6515976302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1812e-135 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    325798771 component updates, 6515975420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](228062812), [8.1743e-07+9.99993e-01]@[0.00000](97735959)
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    327371534 loops (314543/sec), 6547430662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.6407e-136 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    327371489 component updates, 6547429780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](229165525), [8.1743e-07+9.99993e-01]@[0.00000](98205964)
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    328935171 loops (312727/sec), 6578703402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.9460e-137 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    328935126 component updates, 6578702520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](230259107), [8.1743e-07+9.99993e-01]@[0.00000](98676019)
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    330521079 loops (317181/sec), 6610421562 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3111e-137 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    330521034 component updates, 6610420680 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](231369048), [8.1743e-07+9.99993e-01]@[0.00000](99151986)
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    332106530 loops (317090/sec), 6642130582 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.8908e-138 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    332106485 component updates, 6642129700 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](232478976), [8.1743e-07+9.99993e-01]@[0.00000](99627509)
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    333686103 loops (315914/sec), 6673722042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.4106e-139 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    333686058 component updates, 6673721160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](233584948), [8.1743e-07+9.99993e-01]@[0.00000](100101110)
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    335276451 loops (318069/sec), 6705529002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4070e-139 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    335276406 component updates, 6705528120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](234697697), [8.1743e-07+9.99993e-01]@[0.00000](100578709)
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    336867934 loops (318296/sec), 6737358662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0818e-140 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    336867889 component updates, 6737357780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](235810647), [8.1743e-07+9.99993e-01]@[0.00000](101057242)
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    338463553 loops (319123/sec), 6769271042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.7324e-141 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    338463508 component updates, 6769270160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](236927505), [8.1743e-07+9.99993e-01]@[0.00000](101536003)
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    340052546 loops (317798/sec), 6801050902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4804e-141 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    340052501 component updates, 6801050020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](238039479), [8.1743e-07+9.99993e-01]@[0.00000](102013022)
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    341635177 loops (316526/sec), 6832703522 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.2726e-142 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    341635132 component updates, 6832702640 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](239147241), [8.1743e-07+9.99993e-01]@[0.00000](102487891)
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    343206241 loops (314212/sec), 6864124802 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.3190e-143 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    343206196 component updates, 6864123920 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](240247841), [8.1743e-07+9.99993e-01]@[0.00000](102958355)
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    344753293 loops (309410/sec), 6895065842 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6718e-143 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    344753248 component updates, 6895064960 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](241330235), [8.1743e-07+9.99993e-01]@[0.00000](103423013)
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    346311629 loops (311667/sec), 6926232562 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.7878e-144 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    346311584 component updates, 6926231680 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](242422048), [8.1743e-07+9.99993e-01]@[0.00000](103889536)
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    347871756 loops (312025/sec), 6957435102 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.5543e-145 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    347871711 component updates, 6957434220 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](243514157), [8.1743e-07+9.99993e-01]@[0.00000](104357554)
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    349444662 loops (314581/sec), 6988893222 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.9109e-145 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    349444617 component updates, 6988892340 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](244616307), [8.1743e-07+9.99993e-01]@[0.00000](104828310)
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    351025864 loops (316240/sec), 7020517262 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2259e-146 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    351025819 component updates, 7020516380 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](245722842), [8.1743e-07+9.99993e-01]@[0.00000](105302977)
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    352614435 loops (317714/sec), 7052288682 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.2972e-147 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    352614390 component updates, 7052287800 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](246835396), [8.1743e-07+9.99993e-01]@[0.00000](105778994)
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    354196239 loops (316360/sec), 7083924762 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.0603e-147 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    354196194 component updates, 7083923880 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](247943543), [8.1743e-07+9.99993e-01]@[0.00000](106252651)
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    355782940 loops (317340/sec), 7115658782 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.5358e-148 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    355782895 component updates, 7115657900 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](249053806), [8.1743e-07+9.99993e-01]@[0.00000](106729089)
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    357367264 loops (316864/sec), 7147345262 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0010e-148 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    357367219 component updates, 7147344380 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](250162245), [8.1743e-07+9.99993e-01]@[0.00000](107204974)
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    358947551 loops (316057/sec), 7178951002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2200e-149 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    358947506 component updates, 7178950120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](251268797), [8.1743e-07+9.99993e-01]@[0.00000](107678709)
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    360526974 loops (315884/sec), 7210539462 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.9189e-150 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    360526929 component updates, 7210538580 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](252374095), [8.1743e-07+9.99993e-01]@[0.00000](108152834)
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    362097371 loops (314079/sec), 7241947402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1004e-150 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    362097326 component updates, 7241946520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](253473826), [8.1743e-07+9.99993e-01]@[0.00000](108623500)
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    363668086 loops (314143/sec), 7273361702 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.4610e-151 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    363668041 component updates, 7273360820 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](254573581), [8.1743e-07+9.99993e-01]@[0.00000](109094460)
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    365247202 loops (315823/sec), 7304944022 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.4610e-152 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    365247157 component updates, 7304943140 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](255679218), [8.1743e-07+9.99993e-01]@[0.00000](109567939)
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    366823904 loops (315340/sec), 7336478062 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2170e-152 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    366823859 component updates, 7336477180 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](256783901), [8.1743e-07+9.99993e-01]@[0.00000](110039958)
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    368410426 loops (317304/sec), 7368208502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.6831e-153 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    368410381 component updates, 7368207620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](257894780), [8.1743e-07+9.99993e-01]@[0.00000](110515601)
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    369985113 loops (314937/sec), 7399702242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.9752e-154 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    369985068 component updates, 7399701360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](258996611), [8.1743e-07+9.99993e-01]@[0.00000](110988457)
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    371559539 loops (314885/sec), 7431190762 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3302e-154 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    371559494 component updates, 7431189880 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](260099444), [8.1743e-07+9.99993e-01]@[0.00000](111460050)
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    373132376 loops (314567/sec), 7462647502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.9664e-155 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    373132331 component updates, 7462646620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](261200594), [8.1743e-07+9.99993e-01]@[0.00000](111931737)
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    374717634 loops (317051/sec), 7494352662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.5384e-156 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    374717589 component updates, 7494351780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](262309501), [8.1743e-07+9.99993e-01]@[0.00000](112408088)
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    376309794 loops (318432/sec), 7526195862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4331e-156 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    376309749 component updates, 7526194980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](263423918), [8.1743e-07+9.99993e-01]@[0.00000](112885831)
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    377896560 loops (317353/sec), 7557931182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.1520e-157 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    377896515 component updates, 7557930300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](264534042), [8.1743e-07+9.99993e-01]@[0.00000](113362473)
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    379476064 loops (315900/sec), 7589521262 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.9884e-158 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    379476019 component updates, 7589520380 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](265639640), [8.1743e-07+9.99993e-01]@[0.00000](113836379)
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    381052970 loops (315381/sec), 7621059382 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5538e-158 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    381052925 component updates, 7621058500 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](266743751), [8.1743e-07+9.99993e-01]@[0.00000](114309174)
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    382611273 loops (311660/sec), 7652225442 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.5149e-159 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    382611228 component updates, 7652224560 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](267835348), [8.1743e-07+9.99993e-01]@[0.00000](114775880)
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    384167275 loops (311200/sec), 7683345482 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.9794e-160 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    384167230 component updates, 7683344600 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](268923877), [8.1743e-07+9.99993e-01]@[0.00000](115243353)
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    385745955 loops (315736/sec), 7714919082 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7688e-160 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    385745910 component updates, 7714918200 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](270028241), [8.1743e-07+9.99993e-01]@[0.00000](115717669)
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    387319013 loops (314611/sec), 7746380242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.9436e-161 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    387318968 component updates, 7746379360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](271129262), [8.1743e-07+9.99993e-01]@[0.00000](116189706)
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    388894900 loops (315177/sec), 7777897982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.7714e-162 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    388894855 component updates, 7777897100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](272232029), [8.1743e-07+9.99993e-01]@[0.00000](116662826)
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    390479612 loops (316942/sec), 7809592222 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.9343e-162 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    390479567 component updates, 7809591340 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](273340987), [8.1743e-07+9.99993e-01]@[0.00000](117138580)
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    392061366 loops (316350/sec), 7841227302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2735e-163 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    392061321 component updates, 7841226420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](274447521), [8.1743e-07+9.99993e-01]@[0.00000](117613800)
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    393628670 loops (313460/sec), 7872573382 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.5816e-164 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    393628625 component updates, 7872572500 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](275545093), [8.1743e-07+9.99993e-01]@[0.00000](118083532)
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    395213067 loops (316879/sec), 7904261322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.1152e-164 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    395213022 component updates, 7904260440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](276653703), [8.1743e-07+9.99993e-01]@[0.00000](118559319)
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    396791207 loops (315628/sec), 7935824122 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.6984e-165 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    396791162 component updates, 7935823240 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](277758151), [8.1743e-07+9.99993e-01]@[0.00000](119033011)
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    398362542 loops (314267/sec), 7967250822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0508e-165 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    398362497 component updates, 7967249940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](278858511), [8.1743e-07+9.99993e-01]@[0.00000](119503986)
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    399940010 loops (315493/sec), 7998800182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.3303e-166 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    399939965 component updates, 7998799300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](279961889), [8.1743e-07+9.99993e-01]@[0.00000](119978076)
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    401510241 loops (314046/sec), 8030204802 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.2141e-167 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    401510196 component updates, 8030203920 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](281062088), [8.1743e-07+9.99993e-01]@[0.00000](120448108)
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    403067444 loops (311440/sec), 8061348862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1793e-167 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    403067399 component updates, 8061347980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](282151298), [8.1743e-07+9.99993e-01]@[0.00000](120916101)
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    404647833 loops (316077/sec), 8092956642 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.6137e-168 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    404647788 component updates, 8092955760 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](283257020), [8.1743e-07+9.99993e-01]@[0.00000](121390768)
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    406224021 loops (315237/sec), 8124480402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.8078e-169 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    406223976 component updates, 8124479520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](284359936), [8.1743e-07+9.99993e-01]@[0.00000](121864040)
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    407810245 loops (317244/sec), 8156204882 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2796e-169 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    407810200 component updates, 8156204000 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](285469773), [8.1743e-07+9.99993e-01]@[0.00000](122340427)
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    409395923 loops (317135/sec), 8187918442 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.8208e-170 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    409395878 component updates, 8187917560 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](286580179), [8.1743e-07+9.99993e-01]@[0.00000](122815699)
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    410976763 loops (316168/sec), 8219535242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.2388e-171 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    410976718 component updates, 8219534360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](287686685), [8.1743e-07+9.99993e-01]@[0.00000](123290033)
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    412555272 loops (315701/sec), 8251105422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3830e-171 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    412555227 component updates, 8251104540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](288791798), [8.1743e-07+9.99993e-01]@[0.00000](123763429)
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    414139480 loops (316841/sec), 8282789582 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0487e-172 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    414139435 component updates, 8282788700 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](289900600), [8.1743e-07+9.99993e-01]@[0.00000](124238835)
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    415655194 loops (303142/sec), 8313103862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.1914e-173 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    415655149 component updates, 8313102980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](290961714), [8.1743e-07+9.99993e-01]@[0.00000](124693435)
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    417216906 loops (312342/sec), 8344338102 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6235e-173 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    417216861 component updates, 8344337220 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](292054232), [8.1743e-07+9.99993e-01]@[0.00000](125162629)
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    418777828 loops (312184/sec), 8375556542 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.6674e-174 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    418777783 component updates, 8375555660 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](293146898), [8.1743e-07+9.99993e-01]@[0.00000](125630885)
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    420318761 loops (308186/sec), 8406375202 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.4315e-175 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    420318716 component updates, 8406374320 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](294225205), [8.1743e-07+9.99993e-01]@[0.00000](126093511)
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    421867514 loops (309750/sec), 8437350262 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.9260e-175 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    421867469 component updates, 8437349380 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](295308611), [8.1743e-07+9.99993e-01]@[0.00000](126558858)
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    423453623 loops (317221/sec), 8469072442 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2411e-176 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    423453578 component updates, 8469071560 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](296419066), [8.1743e-07+9.99993e-01]@[0.00000](127034512)
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    425038546 loops (316984/sec), 8500770902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.3591e-177 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    425038501 component updates, 8500770020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](297528520), [8.1743e-07+9.99993e-01]@[0.00000](127509981)
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    426621555 loops (316601/sec), 8532431082 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.0708e-177 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    426621510 component updates, 8532430200 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](298636661), [8.1743e-07+9.99993e-01]@[0.00000](127984849)
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    428191322 loops (313953/sec), 8563826422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.6352e-178 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    428191277 component updates, 8563825540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](299735079), [8.1743e-07+9.99993e-01]@[0.00000](128456198)
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    429781739 loops (318083/sec), 8595634762 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0168e-178 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    429781694 component updates, 8595633880 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](300848736), [8.1743e-07+9.99993e-01]@[0.00000](128932958)
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    431358640 loops (315380/sec), 8627172782 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.2606e-179 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    431358595 component updates, 8627171900 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](301952823), [8.1743e-07+9.99993e-01]@[0.00000](129405772)
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    432924222 loops (313116/sec), 8658484422 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.0804e-180 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    432924177 component updates, 8658483540 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](303048464), [8.1743e-07+9.99993e-01]@[0.00000](129875713)
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    434493002 loops (313756/sec), 8689860022 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1386e-180 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    434492957 component updates, 8689859140 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](304147253), [8.1743e-07+9.99993e-01]@[0.00000](130345704)
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    436070184 loops (315436/sec), 8721403662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.5316e-181 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    436070139 component updates, 8721402780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](305251456), [8.1743e-07+9.99993e-01]@[0.00000](130818683)
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    437643313 loops (314625/sec), 8752866242 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.6412e-182 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    437643268 component updates, 8752865360 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](306351573), [8.1743e-07+9.99993e-01]@[0.00000](131291695)
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    439197042 loops (310745/sec), 8783940822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2807e-182 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    439196997 component updates, 8783939940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](307438146), [8.1743e-07+9.99993e-01]@[0.00000](131758851)
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    440750985 loops (310788/sec), 8815019682 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.9092e-183 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    440750940 component updates, 8815018800 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](308526629), [8.1743e-07+9.99993e-01]@[0.00000](132224311)
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    442326079 loops (315018/sec), 8846521562 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.4845e-184 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    442326034 component updates, 8846520680 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](309629510), [8.1743e-07+9.99993e-01]@[0.00000](132696524)
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    443904549 loops (315694/sec), 8878090962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4385e-184 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    443904504 component updates, 8878090080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](310734273), [8.1743e-07+9.99993e-01]@[0.00000](133170231)
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    445482749 loops (315640/sec), 8909654962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.1926e-185 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    445482704 component updates, 8909654080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](311838798), [8.1743e-07+9.99993e-01]@[0.00000](133643906)
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    447060437 loops (315537/sec), 8941208722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.0943e-186 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    447060392 component updates, 8941207840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](312943365), [8.1743e-07+9.99993e-01]@[0.00000](134117027)
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    448638345 loops (315581/sec), 8972766882 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5733e-186 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    448638300 component updates, 8972766000 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](314047831), [8.1743e-07+9.99993e-01]@[0.00000](134590469)
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    450221601 loops (316651/sec), 9004432002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.4761e-187 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    450221556 component updates, 9004431120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](315156462), [8.1743e-07+9.99993e-01]@[0.00000](135065094)
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    451797381 loops (315156/sec), 9035947602 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.7255e-188 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    451797336 component updates, 9035946720 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](316259197), [8.1743e-07+9.99993e-01]@[0.00000](135538139)
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    453376171 loops (315758/sec), 9067523402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7132e-188 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    453376126 component updates, 9067522520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](317364906), [8.1743e-07+9.99993e-01]@[0.00000](136011220)
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    454960676 loops (316901/sec), 9099213502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.7780e-189 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    454960631 component updates, 9099212620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](318473833), [8.1743e-07+9.99993e-01]@[0.00000](136486798)
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    456533205 loops (314505/sec), 9130664082 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.4376e-190 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    456533160 component updates, 9130663200 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](319574722), [8.1743e-07+9.99993e-01]@[0.00000](136958438)
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    458098909 loops (313140/sec), 9161978162 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8960e-190 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    458098864 component updates, 9161977280 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](320671715), [8.1743e-07+9.99993e-01]@[0.00000](137427149)
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    459650010 loops (310220/sec), 9193000182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.3210e-191 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    459649965 component updates, 9192999300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](321757139), [8.1743e-07+9.99993e-01]@[0.00000](137892826)
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    461218078 loops (313613/sec), 9224361542 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.6693e-192 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    461218033 component updates, 9224360660 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](322854139), [8.1743e-07+9.99993e-01]@[0.00000](138363894)
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    462783318 loops (313048/sec), 9255666342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.1729e-192 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    462783273 component updates, 9255665460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](323950229), [8.1743e-07+9.99993e-01]@[0.00000](138833044)
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    464351773 loops (313691/sec), 9287035442 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.8690e-193 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    464351728 component updates, 9287034560 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](325048429), [8.1743e-07+9.99993e-01]@[0.00000](139303299)
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    465929830 loops (315611/sec), 9318596582 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0809e-193 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    465929785 component updates, 9318595700 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](326152462), [8.1743e-07+9.99993e-01]@[0.00000](139777323)
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    467509827 loops (315999/sec), 9350196522 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.3993e-194 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    467509782 component updates, 9350195640 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](327258612), [8.1743e-07+9.99993e-01]@[0.00000](140251170)
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    469085934 loops (315221/sec), 9381718662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.3423e-195 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    469085889 component updates, 9381717780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](328362179), [8.1743e-07+9.99993e-01]@[0.00000](140723710)
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    470660916 loops (314996/sec), 9413218302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1898e-195 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    470660871 component updates, 9413217420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](329464763), [8.1743e-07+9.99993e-01]@[0.00000](141196108)
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    472239866 loops (315790/sec), 9444797302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.6400e-196 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    472239821 component updates, 9444796420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](330569718), [8.1743e-07+9.99993e-01]@[0.00000](141670103)
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    473799599 loops (311946/sec), 9475991962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.9496e-197 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    473799554 component updates, 9475991080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](331660514), [8.1743e-07+9.99993e-01]@[0.00000](142139040)
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    475353942 loops (310868/sec), 9507078822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3502e-197 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    475353897 component updates, 9507077940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](332748299), [8.1743e-07+9.99993e-01]@[0.00000](142605598)
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    476887508 loops (306713/sec), 9537750142 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.1285e-198 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    476887463 component updates, 9537749260 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](333822017), [8.1743e-07+9.99993e-01]@[0.00000](143065446)
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    478440215 loops (310541/sec), 9568804282 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.1183e-199 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    478440170 component updates, 9568803400 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](334908054), [8.1743e-07+9.99993e-01]@[0.00000](143532116)
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    480009617 loops (313880/sec), 9600192322 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5924e-199 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    480009572 component updates, 9600191440 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](336005600), [8.1743e-07+9.99993e-01]@[0.00000](144003972)
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    481580584 loops (314193/sec), 9631611662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.5600e-200 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    481580539 component updates, 9631610780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](337104989), [8.1743e-07+9.99993e-01]@[0.00000](144475550)
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    483168442 loops (317571/sec), 9663368822 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.8352e-201 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    483168397 component updates, 9663367940 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](338217181), [8.1743e-07+9.99993e-01]@[0.00000](144951216)
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    484738932 loops (314098/sec), 9694778622 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7518e-201 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    484738887 component updates, 9694777740 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](339316268), [8.1743e-07+9.99993e-01]@[0.00000](145422619)
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    486309043 loops (314022/sec), 9726180842 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.9150e-202 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    486308998 component updates, 9726179960 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](340414547), [8.1743e-07+9.99993e-01]@[0.00000](145894451)
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    487885354 loops (315262/sec), 9757707062 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.7015e-203 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    487885309 component updates, 9757706180 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](341518471), [8.1743e-07+9.99993e-01]@[0.00000](146366838)
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    489456512 loops (314231/sec), 9789130222 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.9462e-203 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    489456467 component updates, 9789129340 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](342618756), [8.1743e-07+9.99993e-01]@[0.00000](146837711)
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    491027503 loops (314198/sec), 9820550042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.3495e-204 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    491027458 component updates, 9820549160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](343718065), [8.1743e-07+9.99993e-01]@[0.00000](147309393)
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    492608721 loops (316243/sec), 9852174402 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.6463e-205 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    492608676 component updates, 9852173520 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](344825564), [8.1743e-07+9.99993e-01]@[0.00000](147783112)
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    494190640 loops (316383/sec), 9883812782 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.1323e-205 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    494190595 component updates, 9883811900 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](345932537), [8.1743e-07+9.99993e-01]@[0.00000](148258058)
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    495735216 loops (308915/sec), 9914704302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.8840e-206 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    495735171 component updates, 9914703420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](347012897), [8.1743e-07+9.99993e-01]@[0.00000](148722274)
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    497277566 loops (308470/sec), 9945551302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1226e-206 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    497277521 component updates, 9945550420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](348093060), [8.1743e-07+9.99993e-01]@[0.00000](149184461)
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    498819549 loops (308396/sec), 9976390962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.5826e-207 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    498819504 component updates, 9976390080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](349173694), [8.1743e-07+9.99993e-01]@[0.00000](149645810)
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    500379610 loops (312012/sec), 10007592182 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.8348e-208 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    500379565 component updates, 10007591300 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](350266046), [8.1743e-07+9.99993e-01]@[0.00000](150113519)
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    501949926 loops (314063/sec), 10038998502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3035e-208 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    501949881 component updates, 10038997620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](351365010), [8.1743e-07+9.99993e-01]@[0.00000](150584871)
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    503512787 loops (312572/sec), 10070255722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.9337e-209 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    503512742 component updates, 10070254840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](352458962), [8.1743e-07+9.99993e-01]@[0.00000](151053780)
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    505066396 loops (310721/sec), 10101327902 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.6626e-210 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    505066351 component updates, 10101327020 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](353545269), [8.1743e-07+9.99993e-01]@[0.00000](151521082)
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    506624749 loops (311670/sec), 10132494962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.5075e-210 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    506624704 component updates, 10132494080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](354636186), [8.1743e-07+9.99993e-01]@[0.00000](151988518)
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    508185566 loops (312163/sec), 10163711302 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.4057e-211 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    508185521 component updates, 10163710420 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](355729003), [8.1743e-07+9.99993e-01]@[0.00000](152456518)
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    509754438 loops (313774/sec), 10195088742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.6265e-212 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    509754393 component updates, 10195087860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](356828366), [8.1743e-07+9.99993e-01]@[0.00000](152926027)
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    511314618 loops (312036/sec), 10226292342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.7210e-212 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    511314573 component updates, 10226291460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](357919936), [8.1743e-07+9.99993e-01]@[0.00000](153394637)
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    512884687 loops (314013/sec), 10257693722 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.8541e-213 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    512884642 component updates, 10257692840 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](359019874), [8.1743e-07+9.99993e-01]@[0.00000](153864768)
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    514423486 loops (307759/sec), 10288469702 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.8773e-214 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    514423441 component updates, 10288468820 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](360097044), [8.1743e-07+9.99993e-01]@[0.00000](154326397)
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    515972881 loops (309879/sec), 10319457602 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.0251e-214 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    515972836 component updates, 10319456720 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](361181843), [8.1743e-07+9.99993e-01]@[0.00000](154790993)
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    517520958 loops (309615/sec), 10350419142 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.6261e-215 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    517520913 component updates, 10350418260 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](362265662), [8.1743e-07+9.99993e-01]@[0.00000](155255251)
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    519088230 loops (313454/sec), 10381764582 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0366e-215 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    519088185 component updates, 10381763700 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](363362013), [8.1743e-07+9.99993e-01]@[0.00000](155726172)
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    520648838 loops (312121/sec), 10412976742 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.3425e-216 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    520648793 component updates, 10412975860 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](364455361), [8.1743e-07+9.99993e-01]@[0.00000](156193432)
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    522221941 loops (314620/sec), 10444438802 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.2089e-217 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    522221896 component updates, 10444437920 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](365555236), [8.1743e-07+9.99993e-01]@[0.00000](156666660)
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    523787108 loops (313033/sec), 10475742142 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.1693e-217 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    523787063 component updates, 10475741260 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](366650938), [8.1743e-07+9.99993e-01]@[0.00000](157136125)
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    525347523 loops (312083/sec), 10506950442 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.6411e-218 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    525347478 component updates, 10506949560 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](367742928), [8.1743e-07+9.99993e-01]@[0.00000](157604550)
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    526916405 loops (313776/sec), 10538328082 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.9164e-219 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    526916360 component updates, 10538327200 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](368841234), [8.1743e-07+9.99993e-01]@[0.00000](158075126)
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    528473918 loops (311502/sec), 10569478342 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.3406e-219 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    528473873 component updates, 10569477460 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](369932100), [8.1743e-07+9.99993e-01]@[0.00000](158541773)
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    530023683 loops (309953/sec), 10600473642 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.0566e-220 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    530023638 component updates, 10600472760 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](371015863), [8.1743e-07+9.99993e-01]@[0.00000](159007775)
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    531574227 loops (310108/sec), 10631484522 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.9612e-221 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    531574182 component updates, 10631483640 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](372101423), [8.1743e-07+9.99993e-01]@[0.00000](159472759)
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    533114544 loops (308063/sec), 10662290862 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.6050e-221 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    533114499 component updates, 10662289980 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](373180589), [8.1743e-07+9.99993e-01]@[0.00000](159933910)
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    534673100 loops (311711/sec), 10693461982 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.6243e-222 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    534673055 component updates, 10693461100 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](374270833), [8.1743e-07+9.99993e-01]@[0.00000](160402222)
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    536226293 loops (310638/sec), 10724525842 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 8.2564e-223 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    536226248 component updates, 10724524960 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](375358815), [8.1743e-07+9.99993e-01]@[0.00000](160867433)
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    537784201 loops (311581/sec), 10755684002 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.8664e-223 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    537784156 component updates, 10755683120 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](376448310), [8.1743e-07+9.99993e-01]@[0.00000](161335846)
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    539332707 loops (309701/sec), 10786654122 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.2560e-224 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    539332662 component updates, 10786653240 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](377532135), [8.1743e-07+9.99993e-01]@[0.00000](161800527)
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    540892959 loops (312050/sec), 10817859162 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 9.6176e-225 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    540892914 component updates, 10817858280 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](378624919), [8.1743e-07+9.99993e-01]@[0.00000](162267995)
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    542447984 loops (311005/sec), 10848959662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.1807e-225 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    542447939 component updates, 10848958780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](379712474), [8.1743e-07+9.99993e-01]@[0.00000](162735465)
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    544009484 loops (312300/sec), 10880189662 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 4.9245e-226 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    544009439 component updates, 10880188780 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](380805602), [8.1743e-07+9.99993e-01]@[0.00000](163203837)
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    545583924 loops (314888/sec), 10911678462 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.0965e-226 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    545583879 component updates, 10911677580 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](381907352), [8.1743e-07+9.99993e-01]@[0.00000](163676527)
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    547161103 loops (315435/sec), 10943222042 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.4363e-227 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    547161058 component updates, 10943221160 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](383011951), [8.1743e-07+9.99993e-01]@[0.00000](164149107)
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    548729176 loops (313614/sec), 10974583502 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 5.4680e-228 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    548729131 component updates, 10974582620 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](384110247), [8.1743e-07+9.99993e-01]@[0.00000](164618884)
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    550301527 loops (314470/sec), 11006030522 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.2205e-228 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    550301482 component updates, 11006029640 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](385210804), [8.1743e-07+9.99993e-01]@[0.00000](165090678)
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    551858623 loops (311419/sec), 11037172442 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 2.7630e-229 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    551858578 component updates, 11037171560 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](386300951), [8.1743e-07+9.99993e-01]@[0.00000](165557627)
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    553423355 loops (312946/sec), 11068467082 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 6.2100e-230 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    553423310 component updates, 11068466200 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](387396295), [8.1743e-07+9.99993e-01]@[0.00000](166027015)
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    554985899 loops (312508/sec), 11099717962 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 1.4008e-230 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    554985854 component updates, 11099717080 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](388491118), [8.1743e-07+9.99993e-01]@[0.00000](166494736)
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    556555043 loops (313828/sec), 11131100842 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 3.1362e-231 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    556554998 component updates, 11131099960 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](389589936), [8.1743e-07+9.99993e-01]@[0.00000](166965062)
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    558121356 loops (313262/sec), 11162427102 sampling steps, 43 aborted
    loop condition 0.99999, exit probability 7.0419e-232 in initial state
    41 explored states, 2 states in BSSCs (2 absorbing)
    558121311 component updates, 11162426220 transient state updates
    Bounds: [4.4505e-06+9.99996e-01]@[0.00000](390686453), [8.1743e-07+9.99993e-01]@[0.00000](167434858)


----------
Computation aborted after 1800.0056228637695 seconds since the total time limit of 1800.0 seconds was exceeded.