sds.default-abs.ap-sample

Model:	(nand)
Parameter(s)	N = 40, K = 4

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/nand/nand.prism --const N=40,K=4  approximate --sampling SAMPLE_TARGET  --precision 0.001

default engine and absolute (default) error criterion

Walltime (MC-Time):	1267.9322731494904s (NA)
Return code:	0
Note(s):	Tool does not support file export.

(9,40,4,2,0,0,0,0): 0.205151 (+ 0.0000)
(9,40,4,3,0,0,0,0): 0.147808 (+ 0.0000)
(9,40,4,4,0,0,0,0): 0.141381 (+ 0.0000)
(9,40,4,0,0,0,0,0): 0.140728 (+ 0.0000)
(9,40,4,1,0,0,0,0): 0.124910 (+ 0.0000)
(9,40,4,5,0,0,0,0): 0.0876482 (+ 0.0000)
(9,40,4,6,0,0,0,0): 0.0641553 (+ 0.0000)
(9,40,4,7,0,0,0,0): 0.0359874 (+ 0.0000)
(9,40,4,8,0,0,0,0): 0.0227374 (+ 0.0000)
(9,40,4,9,0,0,0,0): 0.0121529 (+ 0.0000)
(9,40,4,10,0,0,0,0): 0.00718454 (+ 0.0000)
(9,40,4,11,0,0,0,0): 0.00385550 (+ 0.0000)
(9,40,4,12,0,0,0,0): 0.00221924 (+ 0.0000)
(9,40,4,13,0,0,0,0): 0.00124504 (+ 0.0000)
(9,40,4,14,0,0,0,0): 0.000749150 (+ 0.0000)
(9,40,4,15,0,0,0,0): 0.000442668 (+ 0.0000)
(9,40,4,16,0,0,0,0): 0.000271507 (+ 0.0000)
(9,40,4,17,0,0,0,0): 0.000163414 (+ 0.0000)
(9,40,4,18,0,0,0,0): 9.86540e-05 (+ 0.0000)
(9,40,4,19,0,0,0,0): 5.73067e-05 (+ 0.0000)
(9,40,4,20,0,0,0,0): 3.08089e-05 (+ 0.0000)
(9,40,4,21,0,0,0,0): 1.51546e-05 (+ 0.0000)
(9,40,4,22,0,0,0,0): 6.24965e-06 (+ 0.0000)
(9,40,4,23,0,0,0,0): 1.67737e-06 (+ 0.0000)	

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/nand/nand.prism --const N=40,K=4 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:01 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 2, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    18748 loops (3749/sec), 20829037 sampling steps, 9276 aborted
    loop condition 0.99607, exit probability 0.99600 in initial state
    87934 explored states, 2 states in BSSCs (2 absorbing)
    1355 component updates, 3995354 transient state updates
    Bounds: [0.0017569+9.96044e-01]@[0.00000](647), [0.0021778+9.96082e-01]@[0.00000](708)
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    34448 loops (3140/sec), 42328580 sampling steps, 21717 aborted
    loop condition 0.94781, exit probability 0.94762 in initial state
    108843 explored states, 2 states in BSSCs (2 absorbing)
    2913 component updates, 8529959 transient state updates
    Bounds: [0.023624+9.47751e-01]@[0.00000](1385), [0.028567+9.47857e-01]@[0.00000](1528)
Sep 13, 2024 10:49:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    49538 loops (3018/sec), 63375733 sampling steps, 34231 aborted
    loop condition 0.89780, exit probability 0.89756 in initial state
    122526 explored states, 2 states in BSSCs (2 absorbing)
    4412 component updates, 12896012 transient state updates
    Bounds: [0.046589+8.97648e-01]@[0.00000](2101), [0.055608+8.97934e-01]@[0.00000](2311)
Sep 13, 2024 10:49:16 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 10, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    53367 loops (765/sec), 68673318 sampling steps, 35161 aborted
    loop condition 0.81098, exit probability 0.81057 in initial state
    131148 explored states, 12 states in BSSCs (12 absorbing)
    6713 component updates, 57542694 transient state updates
    Bounds: [0.071170+8.10894e-01]@[0.00000](2262), [0.083662+8.11156e-01]@[0.00000](2458), [6.3097e-09+8.11029e-01]@[0.00000](137), [0.0093573+8.10922e-01]@[0.00000](193), [0.014894+8.10902e-01]@[0.00000](213), [3.2186e-06+8.10803e-01]@[0.00000](213), [0.0063168+8.10921e-01]@[0.00000](204), [0.0025615+8.10994e-01]@[0.00000](208), [3.4122e-05+8.10932e-01]@[0.00000](197), [0.00082263+8.10944e-01]@[0.00000](221) ... (12)
Sep 13, 2024 10:49:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    57313 loops (789/sec), 74007755 sampling steps, 35764 aborted
    loop condition 0.55510, exit probability 0.55442 in initial state
    142827 explored states, 12 states in BSSCs (12 absorbing)
    9144 component updates, 101063654 transient state updates
    Bounds: [0.088535+5.55038e-01]@[0.00000](2468), [0.10179+5.55228e-01]@[0.00000](2640), [2.5624e-06+5.55337e-01]@[0.00000](277), [0.062925+5.54948e-01]@[0.00000](435), [0.091994+5.55394e-01]@[0.00000](431), [0.00033108+5.55407e-01]@[0.00000](417), [0.051601+5.54918e-01]@[0.00000](440), [0.026856+5.55283e-01]@[0.00000](422), [0.0016596+5.55078e-01]@[0.00000](409), [0.013903+5.55003e-01]@[0.00000](408) ... (12)
Sep 13, 2024 10:49:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    61307 loops (798/sec), 79292975 sampling steps, 36369 aborted
    loop condition 0.36274, exit probability 0.36194 in initial state
    155515 explored states, 12 states in BSSCs (12 absorbing)
    11529 component updates, 143381647 transient state updates
    Bounds: [0.10051+3.62727e-01]@[0.00000](2646), [0.11436+3.62919e-01]@[0.00000](2869), [3.1734e-05+3.62865e-01]@[0.00000](384), [0.097936+3.63002e-01]@[0.00000](683), [0.14001+3.62502e-01]@[0.00000](674), [0.0015671+3.62756e-01]@[0.00000](594), [0.085874+3.62974e-01]@[0.00000](691), [0.048622+3.62833e-01]@[0.00000](626), [0.0054468+3.62811e-01]@[0.00000](618), [0.029423+3.62833e-01]@[0.00000](621) ... (12)
Sep 13, 2024 10:49:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    65423 loops (823/sec), 84675785 sampling steps, 37066 aborted
    loop condition 0.24807, exit probability 0.24736 in initial state
    167870 explored states, 12 states in BSSCs (12 absorbing)
    13956 component updates, 186111154 transient state updates
    Bounds: [0.10837+2.47990e-01]@[0.00000](2869), [0.12278+2.48015e-01]@[0.00000](3097), [0.00012347+2.48358e-01]@[0.00000](483), [0.11647+2.48258e-01]@[0.00000](901), [0.16469+2.47920e-01]@[0.00000](969), [0.0032133+2.48156e-01]@[0.00000](740), [0.10520+2.48379e-01]@[0.00000](940), [0.061693+2.48046e-01]@[0.00000](826), [0.0091680+2.48736e-01]@[0.00000](820), [0.039981+2.47910e-01]@[0.00000](843) ... (12)
Sep 13, 2024 10:49:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    69534 loops (822/sec), 90036619 sampling steps, 37785 aborted
    loop condition 0.18181, exit probability 0.18118 in initial state
    179972 explored states, 12 states in BSSCs (12 absorbing)
    16369 component updates, 228336216 transient state updates
    Bounds: [0.11313+1.81852e-01]@[0.00000](3104), [0.12792+1.81799e-01]@[0.00000](3309), [0.00027081+1.82000e-01]@[0.00000](598), [0.12638+1.81811e-01]@[0.00000](1157), [0.17770+1.81720e-01]@[0.00000](1242), [0.0046442+1.81942e-01]@[0.00000](883), [0.11593+1.81969e-01]@[0.00000](1182), [0.069098+1.81929e-01]@[0.00000](1037), [0.011916+1.82308e-01]@[0.00000](989), [0.046313+1.81782e-01]@[0.00000](1071) ... (12)
Sep 13, 2024 10:49:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    73614 loops (816/sec), 95398902 sampling steps, 38543 aborted
    loop condition 0.13912, exit probability 0.13848 in initial state
    191146 explored states, 12 states in BSSCs (12 absorbing)
    18808 component updates, 271022710 transient state updates
    Bounds: [0.11630+1.39222e-01]@[0.00000](3297), [0.13135+1.39229e-01]@[0.00000](3545), [0.00044568+1.39207e-01]@[0.00000](687), [0.13241+1.39116e-01]@[0.00000](1403), [0.18558+1.39022e-01]@[0.00000](1535), [0.0057994+1.39144e-01]@[0.00000](1036), [0.12263+1.39224e-01]@[0.00000](1460), [0.073813+1.39056e-01]@[0.00000](1255), [0.013923+1.39439e-01]@[0.00000](1170), [0.050452+1.39152e-01]@[0.00000](1298) ... (12)
Sep 13, 2024 10:49:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    77630 loops (803/sec), 100691878 sampling steps, 39358 aborted
    loop condition 0.11129, exit probability 0.11063 in initial state
    201286 explored states, 12 states in BSSCs (12 absorbing)
    21200 component updates, 312521674 transient state updates
    Bounds: [0.11833+1.11585e-01]@[0.00000](3509), [0.13358+1.11306e-01]@[0.00000](3752), [0.00062545+1.11239e-01]@[0.00000](790), [0.13617+1.11227e-01]@[0.00000](1657), [0.19045+1.11195e-01]@[0.00000](1768), [0.0066855+1.11230e-01]@[0.00000](1169), [0.12688+1.11447e-01]@[0.00000](1729), [0.076839+1.11286e-01]@[0.00000](1506), [0.015375+1.11389e-01]@[0.00000](1352), [0.053221+1.11205e-01]@[0.00000](1504) ... (12)
Sep 13, 2024 10:49:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    81459 loops (765/sec), 105788472 sampling steps, 40126 aborted
    loop condition 0.092949, exit probability 0.092305 in initial state
    210183 explored states, 12 states in BSSCs (12 absorbing)
    23561 component updates, 353436319 transient state updates
    Bounds: [0.11967+9.31246e-02]@[0.00000](3721), [0.13504+9.29406e-02]@[0.00000](4013), [0.00078215+9.30294e-02]@[0.00000](880), [0.13855+9.28989e-02]@[0.00000](1918), [0.19352+9.29169e-02]@[0.00000](2001), [0.0073301+9.29131e-02]@[0.00000](1292), [0.12965+9.31191e-02]@[0.00000](1981), [0.078827+9.29308e-02]@[0.00000](1739), [0.016388+9.30162e-02]@[0.00000](1519), [0.055065+9.28511e-02]@[0.00000](1711) ... (12)
Sep 13, 2024 10:50:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    85305 loops (769/sec), 110926267 sampling steps, 40937 aborted
    loop condition 0.079899, exit probability 0.079246 in initial state
    218637 explored states, 12 states in BSSCs (12 absorbing)
    25950 component updates, 394623936 transient state updates
    Bounds: [0.12059+8.01939e-02]@[0.00000](3944), [0.13605+7.99783e-02]@[0.00000](4211), [0.00093009+7.98939e-02]@[0.00000](977), [0.14019+7.98440e-02]@[0.00000](2180), [0.19562+7.98777e-02]@[0.00000](2243), [0.0078379+7.99113e-02]@[0.00000](1445), [0.13161+7.99566e-02]@[0.00000](2243), [0.080230+7.98921e-02]@[0.00000](1969), [0.017164+7.98709e-02]@[0.00000](1671), [0.056399+7.98000e-02]@[0.00000](1945) ... (12)
Sep 13, 2024 10:50:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    89165 loops (772/sec), 116105338 sampling steps, 41760 aborted
    loop condition 0.069462, exit probability 0.068787 in initial state
    226665 explored states, 12 states in BSSCs (12 absorbing)
    28361 component updates, 436165895 transient state updates
    Bounds: [0.12133+6.96925e-02]@[0.00000](4185), [0.13684+6.95747e-02]@[0.00000](4472), [0.0010706+6.93871e-02]@[0.00000](1059), [0.14147+6.93807e-02]@[0.00000](2421), [0.19725+6.94202e-02]@[0.00000](2474), [0.0082708+6.94425e-02]@[0.00000](1616), [0.13314+6.95220e-02]@[0.00000](2502), [0.081345+6.94837e-02]@[0.00000](2210), [0.017804+6.94297e-02]@[0.00000](1828), [0.057471+6.93879e-02]@[0.00000](2154) ... (12)
Sep 13, 2024 10:50:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    93035 loops (774/sec), 121316323 sampling steps, 42597 aborted
    loop condition 0.061623, exit probability 0.060945 in initial state
    234074 explored states, 12 states in BSSCs (12 absorbing)
    30802 component updates, 478307364 transient state updates
    Bounds: [0.12187+6.17180e-02]@[0.00000](4421), [0.13741+6.17247e-02]@[0.00000](4742), [0.0012028+6.15599e-02]@[0.00000](1157), [0.14239+6.15590e-02]@[0.00000](2687), [0.19842+6.16001e-02]@[0.00000](2748), [0.0086323+6.15150e-02]@[0.00000](1748), [0.13427+6.16944e-02]@[0.00000](2721), [0.082175+6.17034e-02]@[0.00000](2430), [0.018316+6.16167e-02]@[0.00000](2021), [0.058294+6.15273e-02]@[0.00000](2371) ... (12)
Sep 13, 2024 10:50:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    96768 loops (746/sec), 126359353 sampling steps, 43381 aborted
    loop condition 0.055412, exit probability 0.054751 in initial state
    240897 explored states, 12 states in BSSCs (12 absorbing)
    33209 component updates, 519597929 transient state updates
    Bounds: [0.12229+5.54722e-02]@[0.00000](4646), [0.13787+5.54789e-02]@[0.00000](4957), [0.0013168+5.53427e-02]@[0.00000](1249), [0.14311+5.53935e-02]@[0.00000](2948), [0.19933+5.54169e-02]@[0.00000](2987), [0.0089198+5.53164e-02]@[0.00000](1880), [0.13516+5.54914e-02]@[0.00000](2968), [0.082838+5.54369e-02]@[0.00000](2697), [0.018728+5.53634e-02]@[0.00000](2202), [0.058940+5.53399e-02]@[0.00000](2600) ... (12)
Sep 13, 2024 10:50:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    100405 loops (727/sec), 131305269 sampling steps, 44166 aborted
    loop condition 0.050071, exit probability 0.049414 in initial state
    246961 explored states, 12 states in BSSCs (12 absorbing)
    35596 component updates, 560491976 transient state updates
    Bounds: [0.12264+5.00840e-02]@[0.00000](4896), [0.13826+5.01754e-02]@[0.00000](5173), [0.0014290+4.99525e-02]@[0.00000](1345), [0.14372+5.00733e-02]@[0.00000](3198), [0.20010+5.00830e-02]@[0.00000](3218), [0.0091791+4.99706e-02]@[0.00000](2039), [0.13592+5.01010e-02]@[0.00000](3225), [0.083401+5.00886e-02]@[0.00000](2934), [0.019089+5.00501e-02]@[0.00000](2364), [0.059502+5.00000e-02]@[0.00000](2835) ... (12)
Sep 13, 2024 10:50:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    104086 loops (736/sec), 136325957 sampling steps, 44981 aborted
    loop condition 0.045955, exit probability 0.045325 in initial state
    253143 explored states, 12 states in BSSCs (12 absorbing)
    37985 component updates, 601328931 transient state updates
    Bounds: [0.12290+4.60198e-02]@[0.00000](5150), [0.13855+4.60081e-02]@[0.00000](5436), [0.0015234+4.59075e-02]@[0.00000](1438), [0.14417+4.60037e-02]@[0.00000](3433), [0.20069+4.59646e-02]@[0.00000](3466), [0.0093847+4.58991e-02]@[0.00000](2176), [0.13650+4.59794e-02]@[0.00000](3461), [0.083836+4.59353e-02]@[0.00000](3168), [0.019376+4.59225e-02]@[0.00000](2535), [0.059938+4.58873e-02]@[0.00000](3063) ... (12)
Sep 13, 2024 10:50:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    107752 loops (733/sec), 141332136 sampling steps, 45822 aborted
    loop condition 0.042487, exit probability 0.041876 in initial state
    258867 explored states, 12 states in BSSCs (12 absorbing)
    40368 component updates, 641928256 transient state updates
    Bounds: [0.12312+4.25481e-02]@[0.00000](5359), [0.13879+4.25209e-02]@[0.00000](5668), [0.0016151+4.24390e-02]@[0.00000](1528), [0.14455+4.25501e-02]@[0.00000](3688), [0.20116+4.25218e-02]@[0.00000](3728), [0.0095693+4.24332e-02]@[0.00000](2329), [0.13699+4.24404e-02]@[0.00000](3730), [0.084195+4.24871e-02]@[0.00000](3402), [0.019623+4.25060e-02]@[0.00000](2702), [0.060308+4.24198e-02]@[0.00000](3294) ... (12)
Sep 13, 2024 10:50:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    111426 loops (734/sec), 146366642 sampling steps, 46651 aborted
    loop condition 0.039519, exit probability 0.038905 in initial state
    264305 explored states, 12 states in BSSCs (12 absorbing)
    42794 component updates, 683075452 transient state updates
    Bounds: [0.12330+3.95703e-02]@[0.00000](5602), [0.13899+3.94950e-02]@[0.00000](5919), [0.0016999+3.94917e-02]@[0.00000](1610), [0.14487+3.95934e-02]@[0.00000](3928), [0.20156+3.95747e-02]@[0.00000](3969), [0.0097321+3.94925e-02]@[0.00000](2468), [0.13740+3.94685e-02]@[0.00000](4016), [0.084502+3.95151e-02]@[0.00000](3644), [0.019845+3.94834e-02]@[0.00000](2880), [0.060624+3.94735e-02]@[0.00000](3505) ... (12)
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    115102 loops (735/sec), 151419858 sampling steps, 47510 aborted
    loop condition 0.036909, exit probability 0.036303 in initial state
    269594 explored states, 12 states in BSSCs (12 absorbing)
    45211 component updates, 724026804 transient state updates
    Bounds: [0.12346+3.69332e-02]@[0.00000](5837), [0.13916+3.69322e-02]@[0.00000](6143), [0.0017788+3.68469e-02]@[0.00000](1702), [0.14514+3.69979e-02]@[0.00000](4189), [0.20191+3.69341e-02]@[0.00000](4222), [0.0098763+3.69000e-02]@[0.00000](2608), [0.13775+3.68668e-02]@[0.00000](4270), [0.084774+3.68900e-02]@[0.00000](3889), [0.020039+3.68683e-02]@[0.00000](3047), [0.060905+3.68591e-02]@[0.00000](3716) ... (12)
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    118752 loops (730/sec), 156449417 sampling steps, 48375 aborted
    loop condition 0.034839, exit probability 0.034243 in initial state
    274427 explored states, 12 states in BSSCs (12 absorbing)
    47623 component updates, 764794770 transient state updates
    Bounds: [0.12358+3.48797e-02]@[0.00000](6072), [0.13929+3.48622e-02]@[0.00000](6397), [0.0018483+3.47802e-02]@[0.00000](1814), [0.14536+3.49268e-02]@[0.00000](4430), [0.20217+3.48887e-02]@[0.00000](4474), [0.0099969+3.48061e-02]@[0.00000](2730), [0.13803+3.48056e-02]@[0.00000](4507), [0.084987+3.48023e-02]@[0.00000](4134), [0.020197+3.47692e-02]@[0.00000](3226), [0.061126+3.47965e-02]@[0.00000](3937) ... (12)
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    122396 loops (728/sec), 161481088 sampling steps, 49213 aborted
    loop condition 0.033086, exit probability 0.032489 in initial state
    279227 explored states, 12 states in BSSCs (12 absorbing)
    50059 component updates, 806006226 transient state updates
    Bounds: [0.12369+3.31135e-02]@[0.00000](6331), [0.13940+3.30960e-02]@[0.00000](6651), [0.0019120+3.29970e-02]@[0.00000](1900), [0.14554+3.31459e-02]@[0.00000](4695), [0.20239+3.31568e-02]@[0.00000](4738), [0.010102+3.30372e-02]@[0.00000](2878), [0.13826+3.30711e-02]@[0.00000](4740), [0.085166+3.30503e-02]@[0.00000](4367), [0.020333+3.30285e-02]@[0.00000](3398), [0.061314+3.30548e-02]@[0.00000](4156) ... (12)
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    126056 loops (731/sec), 166558431 sampling steps, 50124 aborted
    loop condition 0.031385, exit probability 0.030785 in initial state
    283557 explored states, 12 states in BSSCs (12 absorbing)
    52482 component updates, 846860572 transient state updates
    Bounds: [0.12378+3.14122e-02]@[0.00000](6558), [0.13951+3.13748e-02]@[0.00000](6914), [0.0019752+3.12739e-02]@[0.00000](1997), [0.14572+3.14427e-02]@[0.00000](4937), [0.20261+3.14736e-02]@[0.00000](4990), [0.010204+3.13525e-02]@[0.00000](3020), [0.13848+3.13994e-02]@[0.00000](5009), [0.085338+3.13562e-02]@[0.00000](4558), [0.020468+3.13028e-02]@[0.00000](3601), [0.061498+3.13528e-02]@[0.00000](4379) ... (12)
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    129654 loops (719/sec), 171543812 sampling steps, 50953 aborted
    loop condition 0.029873, exit probability 0.029280 in initial state
    287799 explored states, 12 states in BSSCs (12 absorbing)
    54927 component updates, 887916860 transient state updates
    Bounds: [0.12387+2.99031e-02]@[0.00000](6776), [0.13961+2.98491e-02]@[0.00000](7171), [0.0020344+2.97722e-02]@[0.00000](2095), [0.14587+2.99242e-02]@[0.00000](5185), [0.20280+2.99489e-02]@[0.00000](5251), [0.010297+2.98689e-02]@[0.00000](3180), [0.13868+2.99024e-02]@[0.00000](5274), [0.085488+2.98767e-02]@[0.00000](4792), [0.020587+2.98164e-02]@[0.00000](3778), [0.061663+2.98285e-02]@[0.00000](4593) ... (12)
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    133279 loops (725/sec), 176592224 sampling steps, 51821 aborted
    loop condition 0.028483, exit probability 0.027905 in initial state
    292053 explored states, 12 states in BSSCs (12 absorbing)
    57379 component updates, 929148655 transient state updates
    Bounds: [0.12395+2.85040e-02]@[0.00000](7044), [0.13969+2.84726e-02]@[0.00000](7442), [0.0020898+2.83723e-02]@[0.00000](2193), [0.14601+2.85188e-02]@[0.00000](5415), [0.20297+2.85438e-02]@[0.00000](5491), [0.010382+2.84891e-02]@[0.00000](3336), [0.13886+2.85170e-02]@[0.00000](5512), [0.085626+2.85061e-02]@[0.00000](5036), [0.020697+2.84326e-02]@[0.00000](3951), [0.061811+2.84565e-02]@[0.00000](4839) ... (12)
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    136918 loops (727/sec), 181637694 sampling steps, 52732 aborted
    loop condition 0.027280, exit probability 0.026711 in initial state
    296148 explored states, 12 states in BSSCs (12 absorbing)
    59796 component updates, 969754567 transient state updates
    Bounds: [0.12401+2.73146e-02]@[0.00000](7279), [0.13976+2.72657e-02]@[0.00000](7682), [0.0021422+2.71812e-02]@[0.00000](2282), [0.14613+2.73064e-02]@[0.00000](5666), [0.20312+2.73276e-02]@[0.00000](5753), [0.010460+2.72842e-02]@[0.00000](3489), [0.13902+2.73177e-02]@[0.00000](5739), [0.085746+2.73048e-02]@[0.00000](5278), [0.020794+2.72534e-02]@[0.00000](4160), [0.061941+2.72530e-02]@[0.00000](5040) ... (12)
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    140527 loops (721/sec), 186662186 sampling steps, 53574 aborted
    loop condition 0.026157, exit probability 0.025592 in initial state
    299915 explored states, 12 states in BSSCs (12 absorbing)
    62271 component updates, 1011241059 transient state updates
    Bounds: [0.12407+2.61948e-02]@[0.00000](7523), [0.13982+2.61650e-02]@[0.00000](7928), [0.0021927+2.60584e-02]@[0.00000](2365), [0.14624+2.61733e-02]@[0.00000](5926), [0.20325+2.62078e-02]@[0.00000](6016), [0.010534+2.61658e-02]@[0.00000](3626), [0.13916+2.62074e-02]@[0.00000](6020), [0.085859+2.61715e-02]@[0.00000](5502), [0.020888+2.61142e-02]@[0.00000](4342), [0.062063+2.61405e-02]@[0.00000](5262) ... (12)
Sep 13, 2024 10:51:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    144107 loops (716/sec), 191666668 sampling steps, 54452 aborted
    loop condition 0.025197, exit probability 0.024642 in initial state
    303250 explored states, 12 states in BSSCs (12 absorbing)
    64726 component updates, 1052283426 transient state updates
    Bounds: [0.12412+2.52419e-02]@[0.00000](7758), [0.13988+2.52194e-02]@[0.00000](8176), [0.0022392+2.51065e-02]@[0.00000](2447), [0.14633+2.52201e-02]@[0.00000](6199), [0.20337+2.52314e-02]@[0.00000](6251), [0.010598+2.52096e-02]@[0.00000](3782), [0.13928+2.52416e-02]@[0.00000](6268), [0.085953+2.52253e-02]@[0.00000](5726), [0.020970+2.51439e-02]@[0.00000](4520), [0.062166+2.51910e-02]@[0.00000](5510) ... (12)
Sep 13, 2024 10:51:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    147684 loops (714/sec), 196666106 sampling steps, 55348 aborted
    loop condition 0.024285, exit probability 0.023731 in initial state
    306564 explored states, 12 states in BSSCs (12 absorbing)
    67156 component updates, 1092878053 transient state updates
    Bounds: [0.12417+2.43454e-02]@[0.00000](7997), [0.13993+2.43099e-02]@[0.00000](8421), [0.0022840+2.41929e-02]@[0.00000](2541), [0.14641+2.43086e-02]@[0.00000](6440), [0.20347+2.43152e-02]@[0.00000](6500), [0.010660+2.42892e-02]@[0.00000](3909), [0.13940+2.43304e-02]@[0.00000](6506), [0.086042+2.43153e-02]@[0.00000](5970), [0.021047+2.42327e-02]@[0.00000](4701), [0.062266+2.42787e-02]@[0.00000](5726) ... (12)
Sep 13, 2024 10:51:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    151253 loops (713/sec), 201661909 sampling steps, 56209 aborted
    loop condition 0.023404, exit probability 0.022856 in initial state
    309918 explored states, 12 states in BSSCs (12 absorbing)
    69615 component updates, 1133888489 transient state updates
    Bounds: [0.12421+2.34647e-02]@[0.00000](8237), [0.13998+2.34273e-02]@[0.00000](8676), [0.0023267+2.33234e-02]@[0.00000](2630), [0.14650+2.34285e-02]@[0.00000](6692), [0.20357+2.34511e-02]@[0.00000](6755), [0.010720+2.33933e-02]@[0.00000](4038), [0.13951+2.34438e-02]@[0.00000](6772), [0.086130+2.34264e-02]@[0.00000](6207), [0.021121+2.33555e-02]@[0.00000](4885), [0.062362+2.33966e-02]@[0.00000](5963) ... (12)
Sep 13, 2024 10:51:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    154791 loops (707/sec), 206631729 sampling steps, 57086 aborted
    loop condition 0.022606, exit probability 0.022062 in initial state
    312876 explored states, 12 states in BSSCs (12 absorbing)
    72062 component updates, 1174589985 transient state updates
    Bounds: [0.12425+2.26652e-02]@[0.00000](8470), [0.14002+2.26376e-02]@[0.00000](8900), [0.0023668+2.25297e-02]@[0.00000](2726), [0.14657+2.26263e-02]@[0.00000](6957), [0.20366+2.26508e-02]@[0.00000](6991), [0.010775+2.25860e-02]@[0.00000](4185), [0.13961+2.26431e-02]@[0.00000](7029), [0.086208+2.26379e-02]@[0.00000](6447), [0.021189+2.25644e-02]@[0.00000](5079), [0.062449+2.26007e-02]@[0.00000](6192) ... (12)
Sep 13, 2024 10:51:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    158308 loops (703/sec), 211572458 sampling steps, 57955 aborted
    loop condition 0.021868, exit probability 0.021327 in initial state
    315678 explored states, 12 states in BSSCs (12 absorbing)
    74498 component updates, 1215153508 transient state updates
    Bounds: [0.12429+2.19170e-02]@[0.00000](8705), [0.14006+2.19059e-02]@[0.00000](9139), [0.0024064+2.17801e-02]@[0.00000](2816), [0.14664+2.18888e-02]@[0.00000](7204), [0.20374+2.19046e-02]@[0.00000](7251), [0.010827+2.18418e-02]@[0.00000](4319), [0.13970+2.19055e-02]@[0.00000](7284), [0.086280+2.18984e-02]@[0.00000](6693), [0.021252+2.18438e-02]@[0.00000](5262), [0.062529+2.18700e-02]@[0.00000](6402) ... (12)
Sep 13, 2024 10:51:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    161827 loops (703/sec), 216515104 sampling steps, 58765 aborted
    loop condition 0.021177, exit probability 0.020643 in initial state
    318627 explored states, 12 states in BSSCs (12 absorbing)
    76990 component updates, 1256421369 transient state updates
    Bounds: [0.12432+2.12334e-02]@[0.00000](8938), [0.14010+2.12146e-02]@[0.00000](9414), [0.0024448+2.10864e-02]@[0.00000](2920), [0.14670+2.11932e-02]@[0.00000](7429), [0.20382+2.12042e-02]@[0.00000](7517), [0.010876+2.11478e-02]@[0.00000](4466), [0.13979+2.12208e-02]@[0.00000](7523), [0.086348+2.12034e-02]@[0.00000](6926), [0.021311+2.11648e-02]@[0.00000](5446), [0.062604+2.11833e-02]@[0.00000](6657) ... (12)
Sep 13, 2024 10:51:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    165358 loops (706/sec), 221470535 sampling steps, 59613 aborted
    loop condition 0.020578, exit probability 0.020048 in initial state
    321479 explored states, 12 states in BSSCs (12 absorbing)
    79457 component updates, 1297314295 transient state updates
    Bounds: [0.12435+2.06377e-02]@[0.00000](9181), [0.14013+2.06151e-02]@[0.00000](9654), [0.0024786+2.04953e-02]@[0.00000](3008), [0.14675+2.05945e-02]@[0.00000](7666), [0.20389+2.06039e-02]@[0.00000](7778), [0.010920+2.05356e-02]@[0.00000](4606), [0.13986+2.06210e-02]@[0.00000](7777), [0.086405+2.06114e-02]@[0.00000](7179), [0.021364+2.05633e-02]@[0.00000](5652), [0.062668+2.05927e-02]@[0.00000](6892) ... (12)
Sep 13, 2024 10:51:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    168862 loops (700/sec), 226419586 sampling steps, 60449 aborted
    loop condition 0.020055, exit probability 0.019527 in initial state
    324092 explored states, 12 states in BSSCs (12 absorbing)
    81940 component updates, 1338413092 transient state updates
    Bounds: [0.12438+2.01178e-02]@[0.00000](9453), [0.14016+2.00898e-02]@[0.00000](9902), [0.0025102+1.99791e-02]@[0.00000](3102), [0.14680+2.00651e-02]@[0.00000](7939), [0.20394+2.00807e-02]@[0.00000](8003), [0.010958+2.00104e-02]@[0.00000](4756), [0.13992+2.00999e-02]@[0.00000](8022), [0.086454+2.01026e-02]@[0.00000](7403), [0.021411+2.00333e-02]@[0.00000](5833), [0.062725+2.00662e-02]@[0.00000](7111) ... (12)
Sep 13, 2024 10:52:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    172396 loops (706/sec), 231400158 sampling steps, 61329 aborted
    loop condition 0.019532, exit probability 0.019008 in initial state
    326640 explored states, 12 states in BSSCs (12 absorbing)
    84409 component updates, 1379284659 transient state updates
    Bounds: [0.12440+1.95950e-02]@[0.00000](9699), [0.14018+1.95665e-02]@[0.00000](10162), [0.0025411+1.94721e-02]@[0.00000](3198), [0.14685+1.95375e-02]@[0.00000](8193), [0.20400+1.95570e-02]@[0.00000](8259), [0.010997+1.94765e-02]@[0.00000](4892), [0.13999+1.95786e-02]@[0.00000](8254), [0.086504+1.95811e-02]@[0.00000](7642), [0.021457+1.95125e-02]@[0.00000](6020), [0.062781+1.95544e-02]@[0.00000](7345) ... (12)
Sep 13, 2024 10:52:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    175951 loops (711/sec), 236386268 sampling steps, 62252 aborted
    loop condition 0.019042, exit probability 0.018526 in initial state
    329539 explored states, 12 states in BSSCs (12 absorbing)
    86826 component updates, 1419204201 transient state updates
    Bounds: [0.12443+1.91075e-02]@[0.00000](9942), [0.14021+1.90801e-02]@[0.00000](10372), [0.0025716+1.89822e-02]@[0.00000](3289), [0.14689+1.90366e-02]@[0.00000](8447), [0.20405+1.90571e-02]@[0.00000](8513), [0.011034+1.89822e-02]@[0.00000](5030), [0.14005+1.90963e-02]@[0.00000](8492), [0.086549+1.91027e-02]@[0.00000](7868), [0.021502+1.90139e-02]@[0.00000](6220), [0.062834+1.90624e-02]@[0.00000](7568) ... (12)
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    179419 loops (693/sec), 241262266 sampling steps, 63103 aborted
    loop condition 0.018594, exit probability 0.018084 in initial state
    332135 explored states, 12 states in BSSCs (12 absorbing)
    89250 component updates, 1459109392 transient state updates
    Bounds: [0.12445+1.86525e-02]@[0.00000](10172), [0.14023+1.86321e-02]@[0.00000](10602), [0.0025994+1.85331e-02]@[0.00000](3394), [0.14693+1.85825e-02]@[0.00000](8695), [0.20410+1.86122e-02]@[0.00000](8756), [0.011067+1.85404e-02]@[0.00000](5182), [0.14010+1.86527e-02]@[0.00000](8729), [0.086592+1.86538e-02]@[0.00000](8087), [0.021542+1.85634e-02]@[0.00000](6408), [0.062884+1.86075e-02]@[0.00000](7816) ... (12)
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    182934 loops (702/sec), 246211956 sampling steps, 63908 aborted
    loop condition 0.018149, exit probability 0.017640 in initial state
    334818 explored states, 12 states in BSSCs (12 absorbing)
    91754 component updates, 1500390177 transient state updates
    Bounds: [0.12447+1.82062e-02]@[0.00000](10406), [0.14025+1.81861e-02]@[0.00000](10867), [0.0026278+1.80792e-02]@[0.00000](3475), [0.14697+1.81432e-02]@[0.00000](8943), [0.20415+1.81684e-02]@[0.00000](9036), [0.011100+1.80970e-02]@[0.00000](5332), [0.14015+1.82074e-02]@[0.00000](8964), [0.086636+1.82009e-02]@[0.00000](8331), [0.021581+1.81208e-02]@[0.00000](6599), [0.062932+1.81624e-02]@[0.00000](8065) ... (12)
Sep 13, 2024 10:52:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    186429 loops (699/sec), 251142433 sampling steps, 64740 aborted
    loop condition 0.017762, exit probability 0.017258 in initial state
    337114 explored states, 12 states in BSSCs (12 absorbing)
    94243 component updates, 1541370821 transient state updates
    Bounds: [0.12449+1.78297e-02]@[0.00000](10659), [0.14027+1.78003e-02]@[0.00000](11122), [0.0026535+1.76862e-02]@[0.00000](3552), [0.14700+1.77657e-02]@[0.00000](9179), [0.20419+1.77832e-02]@[0.00000](9298), [0.011129+1.77083e-02]@[0.00000](5479), [0.14020+1.78231e-02]@[0.00000](9216), [0.086672+1.78131e-02]@[0.00000](8566), [0.021616+1.77373e-02]@[0.00000](6784), [0.062975+1.77632e-02]@[0.00000](8298) ... (12)
Sep 13, 2024 10:52:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    190015 loops (717/sec), 256189904 sampling steps, 65636 aborted
    loop condition 0.017387, exit probability 0.016887 in initial state
    339619 explored states, 12 states in BSSCs (12 absorbing)
    96739 component updates, 1582268634 transient state updates
    Bounds: [0.12450+1.74534e-02]@[0.00000](10872), [0.14029+1.74370e-02]@[0.00000](11376), [0.0026790+1.73104e-02]@[0.00000](3664), [0.14703+1.73962e-02]@[0.00000](9468), [0.20422+1.74049e-02]@[0.00000](9542), [0.011158+1.73369e-02]@[0.00000](5618), [0.14024+1.74391e-02]@[0.00000](9475), [0.086707+1.74461e-02]@[0.00000](8816), [0.021650+1.73683e-02]@[0.00000](6947), [0.063017+1.73757e-02]@[0.00000](8534) ... (12)
Sep 13, 2024 10:52:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    193497 loops (696/sec), 261095678 sampling steps, 66440 aborted
    loop condition 0.017033, exit probability 0.016539 in initial state
    342107 explored states, 12 states in BSSCs (12 absorbing)
    99234 component updates, 1623141407 transient state updates
    Bounds: [0.12452+1.71023e-02]@[0.00000](11108), [0.14031+1.70773e-02]@[0.00000](11649), [0.0027030+1.69588e-02]@[0.00000](3735), [0.14706+1.70457e-02]@[0.00000](9737), [0.20426+1.70474e-02]@[0.00000](9777), [0.011185+1.69885e-02]@[0.00000](5765), [0.14028+1.70821e-02]@[0.00000](9753), [0.086740+1.70904e-02]@[0.00000](9016), [0.021682+1.70195e-02]@[0.00000](7118), [0.063056+1.70163e-02]@[0.00000](8790) ... (12)
Sep 13, 2024 10:52:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    197007 loops (702/sec), 266055289 sampling steps, 67279 aborted
    loop condition 0.016704, exit probability 0.016215 in initial state
    344383 explored states, 12 states in BSSCs (12 absorbing)
    101736 component updates, 1664122680 transient state updates
    Bounds: [0.12453+1.67655e-02]@[0.00000](11375), [0.14032+1.67532e-02]@[0.00000](11910), [0.0027259+1.66326e-02]@[0.00000](3821), [0.14709+1.67198e-02]@[0.00000](10000), [0.20429+1.67211e-02]@[0.00000](10035), [0.011212+1.66575e-02]@[0.00000](5912), [0.14032+1.67539e-02]@[0.00000](10007), [0.086771+1.67628e-02]@[0.00000](9224), [0.021712+1.66883e-02]@[0.00000](7310), [0.063092+1.66838e-02]@[0.00000](9000) ... (12)
Sep 13, 2024 10:52:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    200522 loops (703/sec), 271018535 sampling steps, 68141 aborted
    loop condition 0.016393, exit probability 0.015909 in initial state
    346707 explored states, 12 states in BSSCs (12 absorbing)
    104210 component updates, 1704643506 transient state updates
    Bounds: [0.12455+1.64541e-02]@[0.00000](11633), [0.14034+1.64420e-02]@[0.00000](12135), [0.0027478+1.63277e-02]@[0.00000](3923), [0.14711+1.64063e-02]@[0.00000](10252), [0.20432+1.64053e-02]@[0.00000](10286), [0.011236+1.63517e-02]@[0.00000](6063), [0.14036+1.64382e-02]@[0.00000](10264), [0.086800+1.64480e-02]@[0.00000](9456), [0.021741+1.63839e-02]@[0.00000](7489), [0.063125+1.63781e-02]@[0.00000](9236) ... (12)
Sep 13, 2024 10:52:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    204026 loops (700/sec), 275977875 sampling steps, 69000 aborted
    loop condition 0.016096, exit probability 0.015612 in initial state
    348940 explored states, 12 states in BSSCs (12 absorbing)
    106696 component updates, 1745181021 transient state updates
    Bounds: [0.12456+1.61544e-02]@[0.00000](11881), [0.14035+1.61374e-02]@[0.00000](12385), [0.0027687+1.60334e-02]@[0.00000](4022), [0.14714+1.61136e-02]@[0.00000](10506), [0.20435+1.61148e-02]@[0.00000](10528), [0.011259+1.60568e-02]@[0.00000](6211), [0.14039+1.61438e-02]@[0.00000](10514), [0.086828+1.61528e-02]@[0.00000](9729), [0.021768+1.60806e-02]@[0.00000](7663), [0.063157+1.60821e-02]@[0.00000](9461) ... (12)
Sep 13, 2024 10:52:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    207566 loops (708/sec), 280978140 sampling steps, 69908 aborted
    loop condition 0.015823, exit probability 0.015344 in initial state
    351217 explored states, 12 states in BSSCs (12 absorbing)
    109165 component updates, 1785512269 transient state updates
    Bounds: [0.12457+1.58757e-02]@[0.00000](12116), [0.14037+1.58627e-02]@[0.00000](12635), [0.0027884+1.57622e-02]@[0.00000](4094), [0.14716+1.58395e-02]@[0.00000](10735), [0.20438+1.58433e-02]@[0.00000](10781), [0.011280+1.57866e-02]@[0.00000](6371), [0.14042+1.58735e-02]@[0.00000](10788), [0.086853+1.58809e-02]@[0.00000](9964), [0.021793+1.58109e-02]@[0.00000](7835), [0.063187+1.58078e-02]@[0.00000](9691) ... (12)
Sep 13, 2024 10:52:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    211099 loops (706/sec), 285979286 sampling steps, 70801 aborted
    loop condition 0.015560, exit probability 0.015086 in initial state
    353328 explored states, 12 states in BSSCs (12 absorbing)
    111654 component updates, 1826192526 transient state updates
    Bounds: [0.12459+1.56137e-02]@[0.00000](12367), [0.14038+1.56044e-02]@[0.00000](12887), [0.0028078+1.54930e-02]@[0.00000](4193), [0.14718+1.55715e-02]@[0.00000](10998), [0.20441+1.55784e-02]@[0.00000](11058), [0.011301+1.55277e-02]@[0.00000](6500), [0.14045+1.56163e-02]@[0.00000](11030), [0.086877+1.56164e-02]@[0.00000](10225), [0.021818+1.55413e-02]@[0.00000](8005), [0.063214+1.55511e-02]@[0.00000](9920) ... (12)
Sep 13, 2024 10:53:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    214611 loops (702/sec), 290954263 sampling steps, 71657 aborted
    loop condition 0.015311, exit probability 0.014841 in initial state
    355436 explored states, 12 states in BSSCs (12 absorbing)
    114158 component updates, 1867069922 transient state updates
    Bounds: [0.12460+1.53673e-02]@[0.00000](12601), [0.14039+1.53531e-02]@[0.00000](13138), [0.0028266+1.52424e-02]@[0.00000](4294), [0.14720+1.53153e-02]@[0.00000](11239), [0.20443+1.53276e-02]@[0.00000](11315), [0.011320+1.52772e-02]@[0.00000](6639), [0.14048+1.53700e-02]@[0.00000](11302), [0.086900+1.53673e-02]@[0.00000](10467), [0.021841+1.52914e-02]@[0.00000](8186), [0.063240+1.53099e-02]@[0.00000](10169) ... (12)
Sep 13, 2024 10:53:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    218040 loops (685/sec), 295824549 sampling steps, 72459 aborted
    loop condition 0.015096, exit probability 0.014628 in initial state
    357298 explored states, 12 states in BSSCs (12 absorbing)
    116650 component updates, 1907710398 transient state updates
    Bounds: [0.12461+1.51509e-02]@[0.00000](12849), [0.14040+1.51454e-02]@[0.00000](13396), [0.0028443+1.50256e-02]@[0.00000](4383), [0.14722+1.50980e-02]@[0.00000](11489), [0.20445+1.51145e-02]@[0.00000](11579), [0.011338+1.50609e-02]@[0.00000](6790), [0.14051+1.51501e-02]@[0.00000](11548), [0.086919+1.51571e-02]@[0.00000](10702), [0.021861+1.50788e-02]@[0.00000](8368), [0.063263+1.50934e-02]@[0.00000](10410) ... (12)
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    221447 loops (681/sec), 300659357 sampling steps, 73250 aborted
    loop condition 0.014876, exit probability 0.014408 in initial state
    359083 explored states, 12 states in BSSCs (12 absorbing)
    119136 component updates, 1948113223 transient state updates
    Bounds: [0.12462+1.49290e-02]@[0.00000](13078), [0.14041+1.49249e-02]@[0.00000](13633), [0.0028617+1.48057e-02]@[0.00000](4484), [0.14724+1.48763e-02]@[0.00000](11748), [0.20447+1.48959e-02]@[0.00000](11824), [0.011355+1.48482e-02]@[0.00000](6959), [0.14053+1.49294e-02]@[0.00000](11789), [0.086939+1.49416e-02]@[0.00000](10937), [0.021882+1.48561e-02]@[0.00000](8574), [0.063286+1.48724e-02]@[0.00000](10629) ... (12)
Sep 13, 2024 10:53:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    224963 loops (703/sec), 305655858 sampling steps, 74122 aborted
    loop condition 0.014680, exit probability 0.014215 in initial state
    360775 explored states, 12 states in BSSCs (12 absorbing)
    121659 component updates, 1989198197 transient state updates
    Bounds: [0.12462+1.47298e-02]@[0.00000](13297), [0.14042+1.47326e-02]@[0.00000](13897), [0.0028778+1.46069e-02]@[0.00000](4579), [0.14725+1.46840e-02]@[0.00000](12003), [0.20449+1.47003e-02]@[0.00000](12098), [0.011372+1.46506e-02]@[0.00000](7127), [0.14055+1.47313e-02]@[0.00000](12024), [0.086957+1.47431e-02]@[0.00000](11174), [0.021900+1.46612e-02]@[0.00000](8777), [0.063307+1.46764e-02]@[0.00000](10847) ... (12)
Sep 13, 2024 10:53:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    228460 loops (699/sec), 310613119 sampling steps, 74980 aborted
    loop condition 0.014485, exit probability 0.014023 in initial state
    362691 explored states, 12 states in BSSCs (12 absorbing)
    124156 component updates, 2029715997 transient state updates
    Bounds: [0.12463+1.45313e-02]@[0.00000](13566), [0.14043+1.45360e-02]@[0.00000](14118), [0.0028934+1.44156e-02]@[0.00000](4669), [0.14727+1.44900e-02]@[0.00000](12252), [0.20451+1.45044e-02]@[0.00000](12354), [0.011388+1.44521e-02]@[0.00000](7270), [0.14058+1.45365e-02]@[0.00000](12265), [0.086975+1.45449e-02]@[0.00000](11441), [0.021919+1.44635e-02]@[0.00000](8969), [0.063328+1.44826e-02]@[0.00000](11066) ... (12)
Sep 13, 2024 10:53:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    231945 loops (697/sec), 315552453 sampling steps, 75839 aborted
    loop condition 0.014308, exit probability 0.013848 in initial state
    364415 explored states, 12 states in BSSCs (12 absorbing)
    126649 component updates, 2070189802 transient state updates
    Bounds: [0.12464+1.43561e-02]@[0.00000](13832), [0.14043+1.43555e-02]@[0.00000](14364), [0.0029084+1.42384e-02]@[0.00000](4747), [0.14728+1.43110e-02]@[0.00000](12486), [0.20452+1.43268e-02]@[0.00000](12623), [0.011403+1.42782e-02]@[0.00000](7425), [0.14059+1.43606e-02]@[0.00000](12524), [0.086991+1.43686e-02]@[0.00000](11660), [0.021937+1.42791e-02]@[0.00000](9159), [0.063347+1.43047e-02]@[0.00000](11321) ... (12)
Sep 13, 2024 10:53:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    235370 loops (684/sec), 320418150 sampling steps, 76658 aborted
    loop condition 0.014130, exit probability 0.013670 in initial state
    366196 explored states, 12 states in BSSCs (12 absorbing)
    129125 component updates, 2110283087 transient state updates
    Bounds: [0.12465+1.41773e-02]@[0.00000](14068), [0.14044+1.41754e-02]@[0.00000](14606), [0.0029236+1.40551e-02]@[0.00000](4827), [0.14729+1.41335e-02]@[0.00000](12723), [0.20454+1.41512e-02]@[0.00000](12900), [0.011418+1.40994e-02]@[0.00000](7586), [0.14061+1.41813e-02]@[0.00000](12766), [0.087006+1.41939e-02]@[0.00000](11894), [0.021954+1.40967e-02]@[0.00000](9336), [0.063366+1.41292e-02]@[0.00000](11569) ... (12)
Sep 13, 2024 10:53:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    238814 loops (688/sec), 325317291 sampling steps, 77495 aborted
    loop condition 0.013968, exit probability 0.013512 in initial state
    367791 explored states, 12 states in BSSCs (12 absorbing)
    131618 component updates, 2150604455 transient state updates
    Bounds: [0.12465+1.40147e-02]@[0.00000](14333), [0.14045+1.40178e-02]@[0.00000](14821), [0.0029372+1.38941e-02]@[0.00000](4922), [0.14731+1.39775e-02]@[0.00000](12973), [0.20456+1.39914e-02]@[0.00000](13164), [0.011431+1.39376e-02]@[0.00000](7735), [0.14063+1.40148e-02]@[0.00000](13013), [0.087021+1.40349e-02]@[0.00000](12105), [0.021969+1.39347e-02]@[0.00000](9548), [0.063383+1.39652e-02]@[0.00000](11819) ... (12)
Sep 13, 2024 10:53:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    242282 loops (693/sec), 330241584 sampling steps, 78330 aborted
    loop condition 0.013805, exit probability 0.013351 in initial state
    369471 explored states, 12 states in BSSCs (12 absorbing)
    134123 component updates, 2191142717 transient state updates
    Bounds: [0.12466+1.38560e-02]@[0.00000](14606), [0.14046+1.38501e-02]@[0.00000](15067), [0.0029511+1.37291e-02]@[0.00000](5019), [0.14732+1.38162e-02]@[0.00000](13233), [0.20457+1.38305e-02]@[0.00000](13408), [0.011445+1.37754e-02]@[0.00000](7905), [0.14065+1.38503e-02]@[0.00000](13263), [0.087035+1.38744e-02]@[0.00000](12357), [0.021985+1.37720e-02]@[0.00000](9725), [0.063400+1.38037e-02]@[0.00000](12045) ... (12)
Sep 13, 2024 10:53:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    245761 loops (695/sec), 335164371 sampling steps, 79142 aborted
    loop condition 0.013644, exit probability 0.013195 in initial state
    371267 explored states, 12 states in BSSCs (12 absorbing)
    136643 component updates, 2231957442 transient state updates
    Bounds: [0.12467+1.37001e-02]@[0.00000](14857), [0.14046+1.36913e-02]@[0.00000](15323), [0.0029649+1.35694e-02]@[0.00000](5086), [0.14733+1.36532e-02]@[0.00000](13480), [0.20459+1.36738e-02]@[0.00000](13648), [0.011458+1.36146e-02]@[0.00000](8066), [0.14067+1.36874e-02]@[0.00000](13504), [0.087049+1.37177e-02]@[0.00000](12615), [0.022000+1.36103e-02]@[0.00000](9920), [0.063418+1.36411e-02]@[0.00000](12290) ... (12)
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    249248 loops (697/sec), 340116478 sampling steps, 79984 aborted
    loop condition 0.013498, exit probability 0.013052 in initial state
    373103 explored states, 12 states in BSSCs (12 absorbing)
    139157 component updates, 2272479920 transient state updates
    Bounds: [0.12467+1.35506e-02]@[0.00000](15089), [0.14047+1.35488e-02]@[0.00000](15572), [0.0029774+1.34317e-02]@[0.00000](5183), [0.14734+1.35085e-02]@[0.00000](13746), [0.20460+1.35279e-02]@[0.00000](13909), [0.011471+1.34717e-02]@[0.00000](8203), [0.14068+1.35439e-02]@[0.00000](13761), [0.087062+1.35702e-02]@[0.00000](12865), [0.022014+1.34638e-02]@[0.00000](10113), [0.063433+1.34937e-02]@[0.00000](12534) ... (12)
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    252775 loops (705/sec), 345131796 sampling steps, 80903 aborted
    loop condition 0.013354, exit probability 0.012907 in initial state
    374765 explored states, 12 states in BSSCs (12 absorbing)
    141648 component updates, 2312583280 transient state updates
    Bounds: [0.12468+1.34054e-02]@[0.00000](15314), [0.14048+1.34048e-02]@[0.00000](15837), [0.0029896+1.32888e-02]@[0.00000](5268), [0.14735+1.33638e-02]@[0.00000](14009), [0.20461+1.33826e-02]@[0.00000](14149), [0.011483+1.33291e-02]@[0.00000](8367), [0.14070+1.33981e-02]@[0.00000](13996), [0.087075+1.34220e-02]@[0.00000](13096), [0.022028+1.33215e-02]@[0.00000](10313), [0.063448+1.33537e-02]@[0.00000](12755) ... (12)
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    256270 loops (699/sec), 350100805 sampling steps, 81749 aborted
    loop condition 0.013218, exit probability 0.012772 in initial state
    376445 explored states, 12 states in BSSCs (12 absorbing)
    144176 component updates, 2353367387 transient state updates
    Bounds: [0.12468+1.32673e-02]@[0.00000](15559), [0.14048+1.32623e-02]@[0.00000](16099), [0.0030018+1.31517e-02]@[0.00000](5377), [0.14736+1.32316e-02]@[0.00000](14262), [0.20462+1.32492e-02]@[0.00000](14375), [0.011494+1.31919e-02]@[0.00000](8535), [0.14071+1.32614e-02]@[0.00000](14250), [0.087088+1.32854e-02]@[0.00000](13337), [0.022042+1.31807e-02]@[0.00000](10493), [0.063462+1.32186e-02]@[0.00000](13003) ... (12)
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    259721 loops (690/sec), 355004218 sampling steps, 82558 aborted
    loop condition 0.013078, exit probability 0.012633 in initial state
    378021 explored states, 12 states in BSSCs (12 absorbing)
    146700 component updates, 2394062287 transient state updates
    Bounds: [0.12469+1.31252e-02]@[0.00000](15804), [0.14049+1.31221e-02]@[0.00000](16372), [0.0030140+1.30135e-02]@[0.00000](5464), [0.14737+1.30913e-02]@[0.00000](14498), [0.20464+1.31097e-02]@[0.00000](14634), [0.011506+1.30540e-02]@[0.00000](8701), [0.14073+1.31202e-02]@[0.00000](14516), [0.087100+1.31417e-02]@[0.00000](13565), [0.022055+1.30407e-02]@[0.00000](10689), [0.063476+1.30830e-02]@[0.00000](13244) ... (12)
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    263207 loops (697/sec), 359963233 sampling steps, 83431 aborted
    loop condition 0.012934, exit probability 0.012490 in initial state
    379571 explored states, 12 states in BSSCs (12 absorbing)
    149194 component updates, 2434253920 transient state updates
    Bounds: [0.12470+1.29827e-02]@[0.00000](16042), [0.14050+1.29748e-02]@[0.00000](16634), [0.0030259+1.28742e-02]@[0.00000](5545), [0.14739+1.29440e-02]@[0.00000](14759), [0.20465+1.29641e-02]@[0.00000](14909), [0.011518+1.29082e-02]@[0.00000](8853), [0.14075+1.29764e-02]@[0.00000](14775), [0.087113+1.30000e-02]@[0.00000](13790), [0.022069+1.28970e-02]@[0.00000](10871), [0.063492+1.29398e-02]@[0.00000](13462) ... (12)
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    266709 loops (700/sec), 364949142 sampling steps, 84334 aborted
    loop condition 0.012804, exit probability 0.012363 in initial state
    380944 explored states, 12 states in BSSCs (12 absorbing)
    151693 component updates, 2474509237 transient state updates
    Bounds: [0.12470+1.28526e-02]@[0.00000](16266), [0.14050+1.28437e-02]@[0.00000](16873), [0.0030370+1.27492e-02]@[0.00000](5636), [0.14740+1.28106e-02]@[0.00000](15024), [0.20466+1.28340e-02]@[0.00000](15158), [0.011529+1.27781e-02]@[0.00000](9026), [0.14076+1.28487e-02]@[0.00000](15042), [0.087125+1.28690e-02]@[0.00000](14032), [0.022082+1.27659e-02]@[0.00000](11042), [0.063505+1.28134e-02]@[0.00000](13682) ... (12)
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    270157 loops (689/sec), 369858728 sampling steps, 85154 aborted
    loop condition 0.012672, exit probability 0.012235 in initial state
    382385 explored states, 12 states in BSSCs (12 absorbing)
    154219 component updates, 2515112177 transient state updates
    Bounds: [0.12471+1.27178e-02]@[0.00000](16520), [0.14051+1.27145e-02]@[0.00000](17103), [0.0030488+1.26139e-02]@[0.00000](5743), [0.14741+1.26815e-02]@[0.00000](15290), [0.20467+1.26999e-02]@[0.00000](15413), [0.011541+1.26435e-02]@[0.00000](9170), [0.14077+1.27191e-02]@[0.00000](15289), [0.087136+1.27404e-02]@[0.00000](14304), [0.022095+1.26331e-02]@[0.00000](11266), [0.063519+1.26785e-02]@[0.00000](13885) ... (12)
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    273602 loops (689/sec), 374757170 sampling steps, 85972 aborted
    loop condition 0.012549, exit probability 0.012113 in initial state
    383963 explored states, 12 states in BSSCs (12 absorbing)
    156729 component updates, 2555460747 transient state updates
    Bounds: [0.12471+1.25889e-02]@[0.00000](16775), [0.14051+1.25893e-02]@[0.00000](17362), [0.0030600+1.24830e-02]@[0.00000](5844), [0.14741+1.25587e-02]@[0.00000](15552), [0.20469+1.25773e-02]@[0.00000](15671), [0.011552+1.25187e-02]@[0.00000](9340), [0.14079+1.25979e-02]@[0.00000](15538), [0.087147+1.26184e-02]@[0.00000](14552), [0.022107+1.25086e-02]@[0.00000](11439), [0.063532+1.25555e-02]@[0.00000](14102) ... (12)
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    277073 loops (694/sec), 379703738 sampling steps, 86836 aborted
    loop condition 0.012432, exit probability 0.011998 in initial state
    385382 explored states, 12 states in BSSCs (12 absorbing)
    159235 component updates, 2595580953 transient state updates
    Bounds: [0.12472+1.24713e-02]@[0.00000](17009), [0.14052+1.24680e-02]@[0.00000](17632), [0.0030708+1.23631e-02]@[0.00000](5922), [0.14742+1.24393e-02]@[0.00000](15803), [0.20470+1.24609e-02]@[0.00000](15943), [0.011562+1.24024e-02]@[0.00000](9497), [0.14080+1.24827e-02]@[0.00000](15797), [0.087157+1.25037e-02]@[0.00000](14775), [0.022118+1.23901e-02]@[0.00000](11630), [0.063544+1.24390e-02]@[0.00000](14330) ... (12)
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    280557 loops (696/sec), 384668899 sampling steps, 87700 aborted
    loop condition 0.012322, exit probability 0.011890 in initial state
    386761 explored states, 12 states in BSSCs (12 absorbing)
    161748 component updates, 2635818685 transient state updates
    Bounds: [0.12472+1.23603e-02]@[0.00000](17268), [0.14052+1.23573e-02]@[0.00000](17888), [0.0030813+1.22500e-02]@[0.00000](6002), [0.14743+1.23279e-02]@[0.00000](16069), [0.20470+1.23508e-02]@[0.00000](16195), [0.011571+1.22936e-02]@[0.00000](9646), [0.14081+1.23758e-02]@[0.00000](16041), [0.087167+1.23938e-02]@[0.00000](15024), [0.022129+1.22799e-02]@[0.00000](11839), [0.063556+1.23279e-02]@[0.00000](14550) ... (12)
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    284024 loops (693/sec), 389602246 sampling steps, 88566 aborted
    loop condition 0.012208, exit probability 0.011780 in initial state
    388274 explored states, 12 states in BSSCs (12 absorbing)
    164241 component updates, 2675781559 transient state updates
    Bounds: [0.12472+1.22503e-02]@[0.00000](17492), [0.14053+1.22393e-02]@[0.00000](18129), [0.0030917+1.21360e-02]@[0.00000](6105), [0.14744+1.22125e-02]@[0.00000](16309), [0.20471+1.22394e-02]@[0.00000](16437), [0.011581+1.21807e-02]@[0.00000](9799), [0.14082+1.22600e-02]@[0.00000](16302), [0.087177+1.22774e-02]@[0.00000](15275), [0.022139+1.21700e-02]@[0.00000](12027), [0.063568+1.22118e-02]@[0.00000](14801) ... (12)
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    287475 loops (690/sec), 394519100 sampling steps, 89373 aborted
    loop condition 0.012100, exit probability 0.011676 in initial state
    389610 explored states, 12 states in BSSCs (12 absorbing)
    166791 component updates, 2716648411 transient state updates
    Bounds: [0.12473+1.21420e-02]@[0.00000](17720), [0.14053+1.21319e-02]@[0.00000](18392), [0.0031013+1.20272e-02]@[0.00000](6200), [0.14745+1.21051e-02]@[0.00000](16549), [0.20472+1.21314e-02]@[0.00000](16718), [0.011590+1.20737e-02]@[0.00000](9965), [0.14083+1.21509e-02]@[0.00000](16562), [0.087187+1.21684e-02]@[0.00000](15504), [0.022149+1.20640e-02]@[0.00000](12225), [0.063579+1.21028e-02]@[0.00000](15033) ... (12)
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    290974 loops (699/sec), 399505543 sampling steps, 90261 aborted
    loop condition 0.012000, exit probability 0.011578 in initial state
    390950 explored states, 12 states in BSSCs (12 absorbing)
    169302 component updates, 2756778207 transient state updates
    Bounds: [0.12473+1.20420e-02]@[0.00000](17945), [0.14054+1.20316e-02]@[0.00000](18636), [0.0031108+1.19229e-02]@[0.00000](6290), [0.14746+1.20084e-02]@[0.00000](16793), [0.20473+1.20341e-02]@[0.00000](16969), [0.011598+1.19752e-02]@[0.00000](10120), [0.14085+1.20504e-02]@[0.00000](16826), [0.087195+1.20668e-02]@[0.00000](15759), [0.022159+1.19638e-02]@[0.00000](12418), [0.063590+1.20015e-02]@[0.00000](15263) ... (12)
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    294487 loops (702/sec), 404514020 sampling steps, 91160 aborted
    loop condition 0.011900, exit probability 0.011479 in initial state
    392380 explored states, 12 states in BSSCs (12 absorbing)
    171814 component updates, 2796909682 transient state updates
    Bounds: [0.12474+1.19391e-02]@[0.00000](18233), [0.14054+1.19314e-02]@[0.00000](18876), [0.0031205+1.18206e-02]@[0.00000](6372), [0.14746+1.19071e-02]@[0.00000](17038), [0.20474+1.19387e-02]@[0.00000](17229), [0.011607+1.18772e-02]@[0.00000](10280), [0.14086+1.19518e-02]@[0.00000](17050), [0.087204+1.19641e-02]@[0.00000](15999), [0.022169+1.18581e-02]@[0.00000](12605), [0.063601+1.18995e-02]@[0.00000](15509) ... (12)
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    297918 loops (686/sec), 409408785 sampling steps, 92010 aborted
    loop condition 0.011804, exit probability 0.011388 in initial state
    393583 explored states, 12 states in BSSCs (12 absorbing)
    174309 component updates, 2836780161 transient state updates
    Bounds: [0.12474+1.18421e-02]@[0.00000](18483), [0.14054+1.18380e-02]@[0.00000](19140), [0.0031293+1.17276e-02]@[0.00000](6460), [0.14747+1.18135e-02]@[0.00000](17279), [0.20475+1.18458e-02]@[0.00000](17475), [0.011615+1.17819e-02]@[0.00000](10447), [0.14087+1.18514e-02]@[0.00000](17295), [0.087213+1.18651e-02]@[0.00000](16236), [0.022178+1.17655e-02]@[0.00000](12791), [0.063611+1.18033e-02]@[0.00000](15739) ... (12)
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    301355 loops (687/sec), 414298887 sampling steps, 92841 aborted
    loop condition 0.011713, exit probability 0.011299 in initial state
    395070 explored states, 12 states in BSSCs (12 absorbing)
    176808 component updates, 2876687982 transient state updates
    Bounds: [0.12474+1.17546e-02]@[0.00000](18745), [0.14055+1.17491e-02]@[0.00000](19403), [0.0031380+1.16371e-02]@[0.00000](6551), [0.14748+1.17213e-02]@[0.00000](17522), [0.20476+1.17542e-02]@[0.00000](17721), [0.011623+1.16925e-02]@[0.00000](10605), [0.14088+1.17583e-02]@[0.00000](17521), [0.087221+1.17731e-02]@[0.00000](16491), [0.022187+1.16761e-02]@[0.00000](13002), [0.063620+1.17163e-02]@[0.00000](15944) ... (12)
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    304808 loops (690/sec), 419230962 sampling steps, 93736 aborted
    loop condition 0.011622, exit probability 0.011210 in initial state
    396260 explored states, 12 states in BSSCs (12 absorbing)
    179279 component updates, 2915979683 transient state updates
    Bounds: [0.12475+1.16637e-02]@[0.00000](19029), [0.14055+1.16576e-02]@[0.00000](19635), [0.0031469+1.15441e-02]@[0.00000](6646), [0.14748+1.16301e-02]@[0.00000](17769), [0.20477+1.16646e-02]@[0.00000](17962), [0.011631+1.16009e-02]@[0.00000](10753), [0.14089+1.16660e-02]@[0.00000](17751), [0.087229+1.16822e-02]@[0.00000](16749), [0.022195+1.15895e-02]@[0.00000](13204), [0.063630+1.16238e-02]@[0.00000](16151) ... (12)
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    308284 loops (695/sec), 424187623 sampling steps, 94604 aborted
    loop condition 0.011527, exit probability 0.011116 in initial state
    397444 explored states, 12 states in BSSCs (12 absorbing)
    181801 component updates, 2956303337 transient state updates
    Bounds: [0.12475+1.15712e-02]@[0.00000](19300), [0.14056+1.15601e-02]@[0.00000](19880), [0.0031560+1.14493e-02]@[0.00000](6735), [0.14749+1.15325e-02]@[0.00000](17984), [0.20477+1.15683e-02]@[0.00000](18217), [0.011639+1.15047e-02]@[0.00000](10906), [0.14090+1.15710e-02]@[0.00000](17998), [0.087238+1.15866e-02]@[0.00000](17006), [0.022204+1.14939e-02]@[0.00000](13392), [0.063640+1.15269e-02]@[0.00000](16401) ... (12)
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    311729 loops (689/sec), 429107961 sampling steps, 95429 aborted
    loop condition 0.011447, exit probability 0.011038 in initial state
    398464 explored states, 12 states in BSSCs (12 absorbing)
    184345 component updates, 2996819466 transient state updates
    Bounds: [0.12475+1.14908e-02]@[0.00000](19550), [0.14056+1.14828e-02]@[0.00000](20112), [0.0031641+1.13695e-02]@[0.00000](6829), [0.14750+1.14511e-02]@[0.00000](18257), [0.20478+1.14863e-02]@[0.00000](18480), [0.011646+1.14264e-02]@[0.00000](11073), [0.14091+1.14921e-02]@[0.00000](18239), [0.087244+1.15085e-02]@[0.00000](17254), [0.022212+1.14154e-02]@[0.00000](13586), [0.063648+1.14475e-02]@[0.00000](16641) ... (12)
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    315204 loops (695/sec), 434067631 sampling steps, 96321 aborted
    loop condition 0.011373, exit probability 0.010967 in initial state
    399688 explored states, 12 states in BSSCs (12 absorbing)
    186840 component updates, 3036358737 transient state updates
    Bounds: [0.12476+1.14164e-02]@[0.00000](19802), [0.14056+1.14114e-02]@[0.00000](20366), [0.0031719+1.12955e-02]@[0.00000](6939), [0.14750+1.13781e-02]@[0.00000](18522), [0.20479+1.14091e-02]@[0.00000](18727), [0.011653+1.13523e-02]@[0.00000](11228), [0.14091+1.14196e-02]@[0.00000](18499), [0.087251+1.14349e-02]@[0.00000](17494), [0.022219+1.13467e-02]@[0.00000](13749), [0.063656+1.13728e-02]@[0.00000](16872) ... (12)
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    318681 loops (695/sec), 439024189 sampling steps, 97192 aborted
    loop condition 0.011292, exit probability 0.010888 in initial state
    400906 explored states, 12 states in BSSCs (12 absorbing)
    189358 component updates, 3076578169 transient state updates
    Bounds: [0.12476+1.13357e-02]@[0.00000](20078), [0.14057+1.13339e-02]@[0.00000](20615), [0.0031802+1.12136e-02]@[0.00000](7018), [0.14751+1.12978e-02]@[0.00000](18763), [0.20480+1.13287e-02]@[0.00000](18958), [0.011660+1.12731e-02]@[0.00000](11395), [0.14092+1.13375e-02]@[0.00000](18766), [0.087258+1.13530e-02]@[0.00000](17731), [0.022227+1.12685e-02]@[0.00000](13948), [0.063664+1.12948e-02]@[0.00000](17104) ... (12)
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    322125 loops (688/sec), 443954736 sampling steps, 98069 aborted
    loop condition 0.011226, exit probability 0.010824 in initial state
    401835 explored states, 12 states in BSSCs (12 absorbing)
    191865 component updates, 3116398998 transient state updates
    Bounds: [0.12476+1.12691e-02]@[0.00000](20306), [0.14057+1.12699e-02]@[0.00000](20849), [0.0031873+1.11484e-02]@[0.00000](7130), [0.14751+1.12291e-02]@[0.00000](18999), [0.20480+1.12619e-02]@[0.00000](19223), [0.011665+1.12095e-02]@[0.00000](11558), [0.14093+1.12707e-02]@[0.00000](18990), [0.087263+1.12859e-02]@[0.00000](18005), [0.022233+1.12026e-02]@[0.00000](14148), [0.063671+1.12295e-02]@[0.00000](17349) ... (12)
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    325560 loops (686/sec), 448859163 sampling steps, 98909 aborted
    loop condition 0.011159, exit probability 0.010758 in initial state
    403030 explored states, 12 states in BSSCs (12 absorbing)
    194377 component updates, 3156273410 transient state updates
    Bounds: [0.12476+1.12039e-02]@[0.00000](20553), [0.14057+1.12018e-02]@[0.00000](21102), [0.0031946+1.10803e-02]@[0.00000](7223), [0.14752+1.11601e-02]@[0.00000](19241), [0.20481+1.11955e-02]@[0.00000](19479), [0.011671+1.11428e-02]@[0.00000](11709), [0.14094+1.12061e-02]@[0.00000](19228), [0.087269+1.12187e-02]@[0.00000](18246), [0.022240+1.11360e-02]@[0.00000](14345), [0.063678+1.11635e-02]@[0.00000](17611) ... (12)
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    329038 loops (695/sec), 453822734 sampling steps, 99804 aborted
    loop condition 0.011087, exit probability 0.010686 in initial state
    404229 explored states, 12 states in BSSCs (12 absorbing)
    196873 component updates, 3196024498 transient state updates
    Bounds: [0.12477+1.11328e-02]@[0.00000](20806), [0.14057+1.11296e-02]@[0.00000](21327), [0.0032023+1.10063e-02]@[0.00000](7308), [0.14752+1.10867e-02]@[0.00000](19472), [0.20481+1.11217e-02]@[0.00000](19735), [0.011678+1.10699e-02]@[0.00000](11884), [0.14094+1.11348e-02]@[0.00000](19482), [0.087275+1.11474e-02]@[0.00000](18500), [0.022247+1.10639e-02]@[0.00000](14537), [0.063685+1.10927e-02]@[0.00000](17855) ... (12)
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    332459 loops (684/sec), 458720348 sampling steps, 100651 aborted
    loop condition 0.011019, exit probability 0.010619 in initial state
    405280 explored states, 12 states in BSSCs (12 absorbing)
    199383 component updates, 3235860527 transient state updates
    Bounds: [0.12477+1.10677e-02]@[0.00000](21027), [0.14058+1.10598e-02]@[0.00000](21565), [0.0032095+1.09377e-02]@[0.00000](7407), [0.14753+1.10199e-02]@[0.00000](19721), [0.20482+1.10534e-02]@[0.00000](19991), [0.011684+1.10032e-02]@[0.00000](12056), [0.14095+1.10682e-02]@[0.00000](19773), [0.087281+1.10780e-02]@[0.00000](18725), [0.022253+1.09968e-02]@[0.00000](14767), [0.063692+1.10227e-02]@[0.00000](18071) ... (12)
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    335893 loops (686/sec), 463629530 sampling steps, 101475 aborted
    loop condition 0.010939, exit probability 0.010542 in initial state
    406276 explored states, 12 states in BSSCs (12 absorbing)
    201925 component updates, 3276259788 transient state updates
    Bounds: [0.12477+1.09863e-02]@[0.00000](21292), [0.14058+1.09772e-02]@[0.00000](21789), [0.0032168+1.08631e-02]@[0.00000](7503), [0.14753+1.09388e-02]@[0.00000](19958), [0.20483+1.09753e-02]@[0.00000](20259), [0.011690+1.09259e-02]@[0.00000](12215), [0.14096+1.09909e-02]@[0.00000](20023), [0.087288+1.09988e-02]@[0.00000](18980), [0.022261+1.09182e-02]@[0.00000](14965), [0.063701+1.09433e-02]@[0.00000](18313) ... (12)
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    339334 loops (688/sec), 468543245 sampling steps, 102340 aborted
    loop condition 0.010872, exit probability 0.010477 in initial state
    407325 explored states, 12 states in BSSCs (12 absorbing)
    204428 component updates, 3315815043 transient state updates
    Bounds: [0.12477+1.09199e-02]@[0.00000](21519), [0.14058+1.09098e-02]@[0.00000](22071), [0.0032236+1.07991e-02]@[0.00000](7591), [0.14754+1.08708e-02]@[0.00000](20212), [0.20483+1.09080e-02]@[0.00000](20520), [0.011696+1.08579e-02]@[0.00000](12355), [0.14096+1.09234e-02]@[0.00000](20260), [0.087294+1.09328e-02]@[0.00000](19243), [0.022267+1.08522e-02]@[0.00000](15145), [0.063708+1.08747e-02]@[0.00000](18533) ... (12)
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    342731 loops (679/sec), 473389983 sampling steps, 103142 aborted
    loop condition 0.010806, exit probability 0.010413 in initial state
    408462 explored states, 12 states in BSSCs (12 absorbing)
    206946 component updates, 3355644851 transient state updates
    Bounds: [0.12478+1.08539e-02]@[0.00000](21765), [0.14058+1.08427e-02]@[0.00000](22318), [0.0032305+1.07337e-02]@[0.00000](7699), [0.14754+1.08059e-02]@[0.00000](20454), [0.20484+1.08418e-02]@[0.00000](20759), [0.011702+1.07925e-02]@[0.00000](12496), [0.14097+1.08564e-02]@[0.00000](20519), [0.087299+1.08685e-02]@[0.00000](19494), [0.022274+1.07881e-02]@[0.00000](15377), [0.063715+1.08047e-02]@[0.00000](18759) ... (12)
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    346118 loops (677/sec), 478231875 sampling steps, 103955 aborted
    loop condition 0.010746, exit probability 0.010357 in initial state
    409525 explored states, 12 states in BSSCs (12 absorbing)
    209450 component updates, 3395246679 transient state updates
    Bounds: [0.12478+1.07941e-02]@[0.00000](22000), [0.14059+1.07829e-02]@[0.00000](22579), [0.0032368+1.06760e-02]@[0.00000](7779), [0.14755+1.07458e-02]@[0.00000](20695), [0.20484+1.07823e-02]@[0.00000](20982), [0.011708+1.07317e-02]@[0.00000](12653), [0.14098+1.07955e-02]@[0.00000](20780), [0.087304+1.08088e-02]@[0.00000](19748), [0.022279+1.07285e-02]@[0.00000](15590), [0.063721+1.07455e-02]@[0.00000](18997) ... (12)
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    349547 loops (685/sec), 483132010 sampling steps, 104789 aborted
    loop condition 0.010687, exit probability 0.010300 in initial state
    410531 explored states, 12 states in BSSCs (12 absorbing)
    211971 component updates, 3435138615 transient state updates
    Bounds: [0.12478+1.07328e-02]@[0.00000](22262), [0.14059+1.07247e-02]@[0.00000](22837), [0.0032431+1.06187e-02]@[0.00000](7877), [0.14755+1.06868e-02]@[0.00000](20950), [0.20485+1.07239e-02]@[0.00000](21234), [0.011713+1.06715e-02]@[0.00000](12810), [0.14098+1.07333e-02]@[0.00000](21018), [0.087309+1.07490e-02]@[0.00000](20004), [0.022285+1.06704e-02]@[0.00000](15787), [0.063727+1.06856e-02]@[0.00000](19226) ... (12)
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    352967 loops (684/sec), 488018957 sampling steps, 105618 aborted
    loop condition 0.010628, exit probability 0.010244 in initial state
    411579 explored states, 12 states in BSSCs (12 absorbing)
    214489 component updates, 3474926081 transient state updates
    Bounds: [0.12478+1.06719e-02]@[0.00000](22489), [0.14059+1.06657e-02]@[0.00000](23109), [0.0032493+1.05611e-02]@[0.00000](7964), [0.14756+1.06284e-02]@[0.00000](21211), [0.20485+1.06656e-02]@[0.00000](21501), [0.011719+1.06136e-02]@[0.00000](12971), [0.14099+1.06724e-02]@[0.00000](21288), [0.087314+1.06877e-02]@[0.00000](20209), [0.022291+1.06140e-02]@[0.00000](15994), [0.063733+1.06271e-02]@[0.00000](19467) ... (12)
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    356398 loops (681/sec), 492920823 sampling steps, 106446 aborted
    loop condition 0.010569, exit probability 0.010186 in initial state
    412625 explored states, 12 states in BSSCs (12 absorbing)
    217019 component updates, 3514905930 transient state updates
    Bounds: [0.12479+1.06085e-02]@[0.00000](22737), [0.14059+1.06042e-02]@[0.00000](23359), [0.0032555+1.05012e-02]@[0.00000](8056), [0.14756+1.05697e-02]@[0.00000](21452), [0.20486+1.06075e-02]@[0.00000](21760), [0.011724+1.05540e-02]@[0.00000](13141), [0.14100+1.06139e-02]@[0.00000](21519), [0.087319+1.06284e-02]@[0.00000](20477), [0.022297+1.05539e-02]@[0.00000](16182), [0.063740+1.05682e-02]@[0.00000](19691) ... (12)
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    359810 loops (682/sec), 497801372 sampling steps, 107243 aborted
    loop condition 0.010510, exit probability 0.010127 in initial state
    413639 explored states, 12 states in BSSCs (12 absorbing)
    219563 component updates, 3555000268 transient state updates
    Bounds: [0.12479+1.05482e-02]@[0.00000](22991), [0.14060+1.05467e-02]@[0.00000](23606), [0.0032616+1.04423e-02]@[0.00000](8140), [0.14756+1.05109e-02]@[0.00000](21716), [0.20486+1.05502e-02]@[0.00000](22038), [0.011729+1.04962e-02]@[0.00000](13311), [0.14100+1.05533e-02]@[0.00000](21762), [0.087324+1.05710e-02]@[0.00000](20704), [0.022303+1.04940e-02]@[0.00000](16364), [0.063746+1.05090e-02]@[0.00000](19948) ... (12)
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    363203 loops (678/sec), 502655317 sampling steps, 108054 aborted
    loop condition 0.010453, exit probability 0.010072 in initial state
    414599 explored states, 12 states in BSSCs (12 absorbing)
    222077 component updates, 3594684359 transient state updates
    Bounds: [0.12479+1.04939e-02]@[0.00000](23229), [0.14060+1.04909e-02]@[0.00000](23853), [0.0032678+1.03843e-02]@[0.00000](8223), [0.14757+1.04571e-02]@[0.00000](21994), [0.20487+1.04954e-02]@[0.00000](22299), [0.011734+1.04417e-02]@[0.00000](13469), [0.14101+1.04954e-02]@[0.00000](22017), [0.087329+1.05134e-02]@[0.00000](20932), [0.022309+1.04355e-02]@[0.00000](16556), [0.063751+1.04530e-02]@[0.00000](20190) ... (12)
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    366649 loops (689/sec), 507576577 sampling steps, 108903 aborted
    loop condition 0.010400, exit probability 0.010022 in initial state
    415628 explored states, 12 states in BSSCs (12 absorbing)
    224598 component updates, 3634448729 transient state updates
    Bounds: [0.12479+1.04429e-02]@[0.00000](23474), [0.14060+1.04360e-02]@[0.00000](24115), [0.0032734+1.03334e-02]@[0.00000](8307), [0.14757+1.04045e-02]@[0.00000](22245), [0.20487+1.04430e-02]@[0.00000](22552), [0.011739+1.03897e-02]@[0.00000](13614), [0.14101+1.04422e-02]@[0.00000](22298), [0.087334+1.04583e-02]@[0.00000](21181), [0.022314+1.03809e-02]@[0.00000](16763), [0.063757+1.03993e-02]@[0.00000](20408) ... (12)
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    370097 loops (689/sec), 512506566 sampling steps, 109772 aborted
    loop condition 0.010345, exit probability 0.0099690 in initial state
    416567 explored states, 12 states in BSSCs (12 absorbing)
    227112 component updates, 3674205661 transient state updates
    Bounds: [0.12479+1.03890e-02]@[0.00000](23723), [0.14060+1.03799e-02]@[0.00000](24356), [0.0032791+1.02817e-02]@[0.00000](8398), [0.14758+1.03499e-02]@[0.00000](22521), [0.20487+1.03899e-02]@[0.00000](22825), [0.011744+1.03349e-02]@[0.00000](13770), [0.14102+1.03880e-02]@[0.00000](22554), [0.087338+1.04022e-02]@[0.00000](21406), [0.022320+1.03248e-02]@[0.00000](16928), [0.063763+1.03457e-02]@[0.00000](20662) ... (12)
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    373583 loops (697/sec), 517483421 sampling steps, 110689 aborted
    loop condition 0.010290, exit probability 0.0099160 in initial state
    417649 explored states, 12 states in BSSCs (12 absorbing)
    229606 component updates, 3713586642 transient state updates
    Bounds: [0.12480+1.03324e-02]@[0.00000](23952), [0.14060+1.03241e-02]@[0.00000](24578), [0.0032848+1.02273e-02]@[0.00000](8493), [0.14758+1.02980e-02]@[0.00000](22759), [0.20488+1.03353e-02]@[0.00000](23077), [0.011749+1.02782e-02]@[0.00000](13947), [0.14103+1.03318e-02]@[0.00000](22795), [0.087343+1.03457e-02]@[0.00000](21653), [0.022325+1.02684e-02]@[0.00000](17103), [0.063768+1.02906e-02]@[0.00000](20924) ... (12)
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    377007 loops (684/sec), 522383079 sampling steps, 111528 aborted
    loop condition 0.010237, exit probability 0.0098651 in initial state
    418683 explored states, 12 states in BSSCs (12 absorbing)
    232126 component updates, 3753334898 transient state updates
    Bounds: [0.12480+1.02783e-02]@[0.00000](24217), [0.14061+1.02707e-02]@[0.00000](24809), [0.0032905+1.01723e-02]@[0.00000](8590), [0.14758+1.02464e-02]@[0.00000](23010), [0.20488+1.02849e-02]@[0.00000](23313), [0.011754+1.02232e-02]@[0.00000](14122), [0.14103+1.02764e-02]@[0.00000](23045), [0.087348+1.02916e-02]@[0.00000](21899), [0.022331+1.02150e-02]@[0.00000](17285), [0.063774+1.02366e-02]@[0.00000](21172) ... (12)
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    380448 loops (688/sec), 527298799 sampling steps, 112375 aborted
    loop condition 0.010181, exit probability 0.0098122 in initial state
    419641 explored states, 12 states in BSSCs (12 absorbing)
    234654 component updates, 3793058375 transient state updates
    Bounds: [0.12480+1.02223e-02]@[0.00000](24460), [0.14061+1.02174e-02]@[0.00000](25046), [0.0032963+1.01163e-02]@[0.00000](8691), [0.14759+1.01909e-02]@[0.00000](23280), [0.20489+1.02304e-02]@[0.00000](23561), [0.011759+1.01673e-02]@[0.00000](14277), [0.14104+1.02169e-02]@[0.00000](23272), [0.087353+1.02338e-02]@[0.00000](22147), [0.022336+1.01612e-02]@[0.00000](17477), [0.063780+1.01807e-02]@[0.00000](21457) ... (12)
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    383865 loops (683/sec), 532186767 sampling steps, 113195 aborted
    loop condition 0.010132, exit probability 0.0097664 in initial state
    420587 explored states, 12 states in BSSCs (12 absorbing)
    237180 component updates, 3832738119 transient state updates
    Bounds: [0.12480+1.01736e-02]@[0.00000](24714), [0.14061+1.01695e-02]@[0.00000](25300), [0.0033017+1.00664e-02]@[0.00000](8774), [0.14759+1.01410e-02]@[0.00000](23569), [0.20489+1.01828e-02]@[0.00000](23813), [0.011764+1.01181e-02]@[0.00000](14428), [0.14104+1.01663e-02]@[0.00000](23513), [0.087357+1.01821e-02]@[0.00000](22380), [0.022341+1.01130e-02]@[0.00000](17667), [0.063784+1.01341e-02]@[0.00000](21710) ... (12)
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    387244 loops (675/sec), 537015845 sampling steps, 113986 aborted
    loop condition 0.010084, exit probability 0.0097201 in initial state
    421496 explored states, 12 states in BSSCs (12 absorbing)
    239700 component updates, 3872417356 transient state updates
    Bounds: [0.12480+1.01249e-02]@[0.00000](24964), [0.14061+1.01206e-02]@[0.00000](25524), [0.0033069+1.00181e-02]@[0.00000](8872), [0.14759+1.00912e-02]@[0.00000](23829), [0.20489+1.01359e-02]@[0.00000](24065), [0.011768+1.00685e-02]@[0.00000](14607), [0.14105+1.01170e-02]@[0.00000](23767), [0.087361+1.01338e-02]@[0.00000](22626), [0.022345+1.00662e-02]@[0.00000](17842), [0.063789+1.00887e-02]@[0.00000](21932) ... (12)
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    390671 loops (685/sec), 541918131 sampling steps, 114814 aborted
    loop condition 0.010041, exit probability 0.0096785 in initial state
    422427 explored states, 12 states in BSSCs (12 absorbing)
    242240 component updates, 3912235221 transient state updates
    Bounds: [0.12480+1.00811e-02]@[0.00000](25206), [0.14061+1.00779e-02]@[0.00000](25766), [0.0033118+9.97493e-03]@[0.00000](8969), [0.14760+1.00480e-02]@[0.00000](24073), [0.20490+1.00927e-02]@[0.00000](24317), [0.011772+1.00259e-02]@[0.00000](14769), [0.14105+1.00736e-02]@[0.00000](24007), [0.087365+1.00891e-02]@[0.00000](22863), [0.022350+1.00244e-02]@[0.00000](18043), [0.063794+1.00448e-02]@[0.00000](22180) ... (12)
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    394089 loops (683/sec), 546802738 sampling steps, 115620 aborted
    loop condition 0.0099968, exit probability 0.0096370 in initial state
    423422 explored states, 12 states in BSSCs (12 absorbing)
    244780 component updates, 3952133549 transient state updates
    Bounds: [0.12481+1.00390e-02]@[0.00000](25449), [0.14062+1.00335e-02]@[0.00000](26039), [0.0033167+9.93073e-03]@[0.00000](9053), [0.14760+1.00039e-02]@[0.00000](24307), [0.20490+1.00489e-02]@[0.00000](24580), [0.011776+9.98210e-03]@[0.00000](14919), [0.14106+1.00292e-02]@[0.00000](24277), [0.087369+1.00446e-02]@[0.00000](23114), [0.022354+9.98004e-03]@[0.00000](18248), [0.063798+1.00003e-02]@[0.00000](22428) ... (12)
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    397498 loops (681/sec), 551677345 sampling steps, 116451 aborted
    loop condition 0.0099535, exit probability 0.0095954 in initial state
    424465 explored states, 12 states in BSSCs (12 absorbing)
    247290 component updates, 3991691310 transient state updates
    Bounds: [0.12481+9.99432e-03]@[0.00000](25695), [0.14062+9.99119e-03]@[0.00000](26289), [0.0033216+9.88807e-03]@[0.00000](9141), [0.14760+9.96095e-03]@[0.00000](24543), [0.20490+1.00057e-02]@[0.00000](24838), [0.011780+9.93866e-03]@[0.00000](15071), [0.14106+9.98659e-03]@[0.00000](24509), [0.087372+9.99857e-03]@[0.00000](23370), [0.022358+9.93648e-03]@[0.00000](18440), [0.063803+9.95683e-03]@[0.00000](22647) ... (12)
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    400939 loops (688/sec), 556588472 sampling steps, 117278 aborted
    loop condition 0.0099111, exit probability 0.0095548 in initial state
    425559 explored states, 12 states in BSSCs (12 absorbing)
    249820 component updates, 4031486312 transient state updates
    Bounds: [0.12481+9.95260e-03]@[0.00000](25939), [0.14062+9.94925e-03]@[0.00000](26527), [0.0033265+9.84732e-03]@[0.00000](9239), [0.14760+9.91776e-03]@[0.00000](24792), [0.20491+9.96344e-03]@[0.00000](25086), [0.011784+9.89692e-03]@[0.00000](15229), [0.14106+9.94504e-03]@[0.00000](24770), [0.087376+9.95307e-03]@[0.00000](23593), [0.022363+9.89542e-03]@[0.00000](18632), [0.063807+9.91326e-03]@[0.00000](22912) ... (12)
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    404304 loops (673/sec), 561406657 sampling steps, 118075 aborted
    loop condition 0.0098730, exit probability 0.0095191 in initial state
    426319 explored states, 12 states in BSSCs (12 absorbing)
    252333 component updates, 4070951715 transient state updates
    Bounds: [0.12481+9.91488e-03]@[0.00000](26179), [0.14062+9.91027e-03]@[0.00000](26791), [0.0033309+9.81040e-03]@[0.00000](9324), [0.14761+9.88041e-03]@[0.00000](25053), [0.20491+9.92423e-03]@[0.00000](25335), [0.011788+9.85831e-03]@[0.00000](15401), [0.14107+9.90790e-03]@[0.00000](25011), [0.087379+9.91300e-03]@[0.00000](23828), [0.022366+9.85837e-03]@[0.00000](18838), [0.063811+9.87549e-03]@[0.00000](23140) ... (12)
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    407720 loops (683/sec), 566294334 sampling steps, 118888 aborted
    loop condition 0.0098356, exit probability 0.0094838 in initial state
    427085 explored states, 12 states in BSSCs (12 absorbing)
    254876 component updates, 4110830391 transient state updates
    Bounds: [0.12481+9.87652e-03]@[0.00000](26429), [0.14062+9.87229e-03]@[0.00000](27054), [0.0033351+9.77429e-03]@[0.00000](9420), [0.14761+9.84371e-03]@[0.00000](25277), [0.20491+9.88732e-03]@[0.00000](25599), [0.011791+9.82025e-03]@[0.00000](15584), [0.14107+9.87116e-03]@[0.00000](25260), [0.087383+9.87494e-03]@[0.00000](24059), [0.022370+9.82100e-03]@[0.00000](19029), [0.063815+9.83832e-03]@[0.00000](23384) ... (12)
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    411148 loops (685/sec), 571199199 sampling steps, 119741 aborted
    loop condition 0.0097977, exit probability 0.0094480 in initial state
    427919 explored states, 12 states in BSSCs (12 absorbing)
    257393 component updates, 4150402702 transient state updates
    Bounds: [0.12481+9.83789e-03]@[0.00000](26680), [0.14062+9.83483e-03]@[0.00000](27313), [0.0033395+9.73729e-03]@[0.00000](9515), [0.14761+9.80676e-03]@[0.00000](25522), [0.20492+9.84931e-03]@[0.00000](25857), [0.011795+9.78241e-03]@[0.00000](15750), [0.14108+9.83401e-03]@[0.00000](25516), [0.087386+9.83618e-03]@[0.00000](24277), [0.022374+9.78351e-03]@[0.00000](19217), [0.063819+9.79959e-03]@[0.00000](23617) ... (12)
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    414552 loops (680/sec), 576072847 sampling steps, 120554 aborted
    loop condition 0.0097588, exit probability 0.0094112 in initial state
    428775 explored states, 12 states in BSSCs (12 absorbing)
    259925 component updates, 4190156196 transient state updates
    Bounds: [0.12481+9.79769e-03]@[0.00000](26935), [0.14062+9.79669e-03]@[0.00000](27558), [0.0033439+9.69877e-03]@[0.00000](9604), [0.14761+9.76989e-03]@[0.00000](25768), [0.20492+9.81118e-03]@[0.00000](26098), [0.011799+9.74347e-03]@[0.00000](15896), [0.14108+9.79576e-03]@[0.00000](25770), [0.087389+9.79697e-03]@[0.00000](24539), [0.022378+9.74446e-03]@[0.00000](19429), [0.063823+9.75949e-03]@[0.00000](23870) ... (12)
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    417950 loops (679/sec), 580930507 sampling steps, 121398 aborted
    loop condition 0.0097210, exit probability 0.0093745 in initial state
    429656 explored states, 12 states in BSSCs (12 absorbing)
    262413 component updates, 4229112652 transient state updates
    Bounds: [0.12482+9.75815e-03]@[0.00000](27148), [0.14063+9.75970e-03]@[0.00000](27813), [0.0033483+9.66103e-03]@[0.00000](9707), [0.14762+9.73165e-03]@[0.00000](26011), [0.20492+9.77621e-03]@[0.00000](26352), [0.011802+9.70632e-03]@[0.00000](16047), [0.14108+9.75720e-03]@[0.00000](26026), [0.087392+9.75851e-03]@[0.00000](24794), [0.022381+9.70738e-03]@[0.00000](19607), [0.063827+9.72160e-03]@[0.00000](24094) ... (12)
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    421386 loops (687/sec), 585852623 sampling steps, 122233 aborted
    loop condition 0.0096839, exit probability 0.0093397 in initial state
    430431 explored states, 12 states in BSSCs (12 absorbing)
    264963 component updates, 4269103089 transient state updates
    Bounds: [0.12482+9.72205e-03]@[0.00000](27402), [0.14063+9.72391e-03]@[0.00000](28071), [0.0033527+9.62417e-03]@[0.00000](9810), [0.14762+9.69338e-03]@[0.00000](26255), [0.20493+9.73897e-03]@[0.00000](26604), [0.011806+9.66953e-03]@[0.00000](16215), [0.14109+9.71979e-03]@[0.00000](26271), [0.087395+9.72142e-03]@[0.00000](25034), [0.022385+9.66974e-03]@[0.00000](19814), [0.063831+9.68457e-03]@[0.00000](24328) ... (12)
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    424810 loops (684/sec), 590746265 sampling steps, 123081 aborted
    loop condition 0.0096500, exit probability 0.0093072 in initial state
    431404 explored states, 12 states in BSSCs (12 absorbing)
    267463 component updates, 4308278788 transient state updates
    Bounds: [0.12482+9.68879e-03]@[0.00000](27653), [0.14063+9.69152e-03]@[0.00000](28317), [0.0033568+9.58996e-03]@[0.00000](9899), [0.14762+9.65845e-03]@[0.00000](26496), [0.20493+9.70506e-03]@[0.00000](26846), [0.011809+9.63716e-03]@[0.00000](16383), [0.14109+9.68435e-03]@[0.00000](26509), [0.087398+9.68856e-03]@[0.00000](25300), [0.022389+9.63518e-03]@[0.00000](20028), [0.063834+9.65021e-03]@[0.00000](24551) ... (12)
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    428239 loops (685/sec), 595647675 sampling steps, 123926 aborted
    loop condition 0.0096181, exit probability 0.0092769 in initial state
    432354 explored states, 12 states in BSSCs (12 absorbing)
    269979 component updates, 4347751183 transient state updates
    Bounds: [0.12482+9.65587e-03]@[0.00000](27911), [0.14063+9.65994e-03]@[0.00000](28535), [0.0033608+9.55780e-03]@[0.00000](9997), [0.14762+9.62705e-03]@[0.00000](26738), [0.20493+9.67362e-03]@[0.00000](27124), [0.011812+9.60578e-03]@[0.00000](16544), [0.14109+9.65129e-03]@[0.00000](26753), [0.087400+9.65711e-03]@[0.00000](25543), [0.022392+9.60391e-03]@[0.00000](20204), [0.063837+9.61968e-03]@[0.00000](24784) ... (12)
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    431632 loops (678/sec), 600512015 sampling steps, 124740 aborted
    loop condition 0.0095847, exit probability 0.0092452 in initial state
    433051 explored states, 12 states in BSSCs (12 absorbing)
    272511 component updates, 4387236484 transient state updates
    Bounds: [0.12482+9.62425e-03]@[0.00000](28184), [0.14063+9.62591e-03]@[0.00000](28779), [0.0033648+9.52470e-03]@[0.00000](10075), [0.14763+9.59481e-03]@[0.00000](26998), [0.20493+9.63914e-03]@[0.00000](27380), [0.011815+9.57122e-03]@[0.00000](16713), [0.14110+9.61774e-03]@[0.00000](26995), [0.087403+9.62436e-03]@[0.00000](25789), [0.022395+9.57036e-03]@[0.00000](20394), [0.063841+9.58701e-03]@[0.00000](25006) ... (12)
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    435036 loops (680/sec), 605387859 sampling steps, 125560 aborted
    loop condition 0.0095507, exit probability 0.0092132 in initial state
    433840 explored states, 12 states in BSSCs (12 absorbing)
    275039 component updates, 4426881474 transient state updates
    Bounds: [0.12482+9.59109e-03]@[0.00000](28414), [0.14063+9.59178e-03]@[0.00000](29049), [0.0033688+9.49094e-03]@[0.00000](10165), [0.14763+9.56136e-03]@[0.00000](27249), [0.20494+9.60553e-03]@[0.00000](27646), [0.011818+9.53723e-03]@[0.00000](16869), [0.14110+9.58255e-03]@[0.00000](27229), [0.087406+9.58844e-03]@[0.00000](26032), [0.022399+9.53704e-03]@[0.00000](20578), [0.063844+9.55353e-03]@[0.00000](25248) ... (12)
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    438497 loops (692/sec), 610337755 sampling steps, 126425 aborted
    loop condition 0.0095183, exit probability 0.0091830 in initial state
    434785 explored states, 12 states in BSSCs (12 absorbing)
    277565 component updates, 4466383668 transient state updates
    Bounds: [0.12482+9.55883e-03]@[0.00000](28680), [0.14063+9.55956e-03]@[0.00000](29292), [0.0033726+9.45930e-03]@[0.00000](10264), [0.14763+9.52830e-03]@[0.00000](27503), [0.20494+9.57212e-03]@[0.00000](27881), [0.011822+9.50530e-03]@[0.00000](17004), [0.14110+9.54970e-03]@[0.00000](27475), [0.087409+9.55657e-03]@[0.00000](26293), [0.022402+9.50509e-03]@[0.00000](20765), [0.063847+9.52146e-03]@[0.00000](25495) ... (12)
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    441927 loops (686/sec), 615252051 sampling steps, 127267 aborted
    loop condition 0.0094837, exit probability 0.0091500 in initial state
    435547 explored states, 12 states in BSSCs (12 absorbing)
    280106 component updates, 4506103460 transient state updates
    Bounds: [0.12482+9.52448e-03]@[0.00000](28936), [0.14063+9.52369e-03]@[0.00000](29522), [0.0033767+9.42397e-03]@[0.00000](10355), [0.14763+9.49461e-03]@[0.00000](27750), [0.20494+9.53795e-03]@[0.00000](28120), [0.011825+9.47205e-03]@[0.00000](17170), [0.14111+9.51550e-03]@[0.00000](27694), [0.087411+9.52163e-03]@[0.00000](26539), [0.022405+9.47074e-03]@[0.00000](20996), [0.063851+9.48805e-03]@[0.00000](25747) ... (12)
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    445343 loops (683/sec), 620134084 sampling steps, 128087 aborted
    loop condition 0.0094527, exit probability 0.0091204 in initial state
    436483 explored states, 12 states in BSSCs (12 absorbing)
    282635 component updates, 4545755215 transient state updates
    Bounds: [0.12482+9.49377e-03]@[0.00000](29165), [0.14064+9.49295e-03]@[0.00000](29759), [0.0033804+9.39318e-03]@[0.00000](10468), [0.14763+9.46270e-03]@[0.00000](28001), [0.20494+9.50658e-03]@[0.00000](28383), [0.011828+9.44068e-03]@[0.00000](17333), [0.14111+9.48397e-03]@[0.00000](27937), [0.087414+9.49077e-03]@[0.00000](26809), [0.022409+9.44052e-03]@[0.00000](21180), [0.063854+9.45682e-03]@[0.00000](25966) ... (12)
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    448739 loops (679/sec), 625006140 sampling steps, 128912 aborted
    loop condition 0.0094201, exit probability 0.0090894 in initial state
    437068 explored states, 12 states in BSSCs (12 absorbing)
    285167 component updates, 4585228516 transient state updates
    Bounds: [0.12483+9.46076e-03]@[0.00000](29406), [0.14064+9.46034e-03]@[0.00000](30016), [0.0033844+9.36172e-03]@[0.00000](10557), [0.14764+9.43126e-03]@[0.00000](28259), [0.20495+9.47383e-03]@[0.00000](28647), [0.011831+9.40710e-03]@[0.00000](17501), [0.14111+9.45020e-03]@[0.00000](28176), [0.087417+9.45856e-03]@[0.00000](27044), [0.022412+9.40882e-03]@[0.00000](21381), [0.063857+9.42467e-03]@[0.00000](26221) ... (12)
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    452163 loops (684/sec), 629908322 sampling steps, 129752 aborted
    loop condition 0.0093900, exit probability 0.0090606 in initial state
    437840 explored states, 12 states in BSSCs (12 absorbing)
    287692 component updates, 4624535372 transient state updates
    Bounds: [0.12483+9.42997e-03]@[0.00000](29638), [0.14064+9.43258e-03]@[0.00000](30292), [0.0033879+9.33263e-03]@[0.00000](10654), [0.14764+9.40107e-03]@[0.00000](28487), [0.20495+9.44304e-03]@[0.00000](28890), [0.011834+9.37688e-03]@[0.00000](17663), [0.14112+9.42078e-03]@[0.00000](28419), [0.087419+9.42778e-03]@[0.00000](27277), [0.022415+9.37858e-03]@[0.00000](21592), [0.063860+9.39603e-03]@[0.00000](26436) ... (12)
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    455627 loops (692/sec), 634865959 sampling steps, 130645 aborted
    loop condition 0.0093608, exit probability 0.0090325 in initial state
    438776 explored states, 12 states in BSSCs (12 absorbing)
    290199 component updates, 4663671222 transient state updates
    Bounds: [0.12483+9.40027e-03]@[0.00000](29866), [0.14064+9.40450e-03]@[0.00000](30528), [0.0033914+9.30351e-03]@[0.00000](10742), [0.14764+9.37396e-03]@[0.00000](28755), [0.20495+9.41278e-03]@[0.00000](29162), [0.011837+9.34755e-03]@[0.00000](17811), [0.14112+9.39031e-03]@[0.00000](28653), [0.087421+9.39949e-03]@[0.00000](27508), [0.022418+9.35029e-03]@[0.00000](21790), [0.063863+9.36625e-03]@[0.00000](26689) ... (12)
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    459084 loops (691/sec), 639812671 sampling steps, 131517 aborted
    loop condition 0.0093301, exit probability 0.0090035 in initial state
    439597 explored states, 12 states in BSSCs (12 absorbing)
    292722 component updates, 4703021644 transient state updates
    Bounds: [0.12483+9.36953e-03]@[0.00000](30109), [0.14064+9.37379e-03]@[0.00000](30773), [0.0033949+9.27388e-03]@[0.00000](10825), [0.14764+9.34382e-03]@[0.00000](29006), [0.20495+9.38216e-03]@[0.00000](29409), [0.011840+9.31726e-03]@[0.00000](17995), [0.14112+9.35912e-03]@[0.00000](28898), [0.087424+9.36951e-03]@[0.00000](27758), [0.022421+9.31973e-03]@[0.00000](21981), [0.063866+9.33568e-03]@[0.00000](26960) ... (12)
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    462531 loops (689/sec), 644748656 sampling steps, 132353 aborted
    loop condition 0.0093018, exit probability 0.0089767 in initial state
    440424 explored states, 12 states in BSSCs (12 absorbing)
    295270 component updates, 4742687940 transient state updates
    Bounds: [0.12483+9.34075e-03]@[0.00000](30319), [0.14064+9.34467e-03]@[0.00000](31022), [0.0033982+9.24676e-03]@[0.00000](10927), [0.14764+9.31599e-03]@[0.00000](29248), [0.20495+9.35412e-03]@[0.00000](29680), [0.011842+9.29015e-03]@[0.00000](18174), [0.14112+9.33087e-03]@[0.00000](29171), [0.087426+9.34082e-03]@[0.00000](27997), [0.022424+9.29188e-03]@[0.00000](22163), [0.063869+9.30733e-03]@[0.00000](27210) ... (12)
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    465964 loops (686/sec), 649661760 sampling steps, 133213 aborted
    loop condition 0.0092710, exit probability 0.0089476 in initial state
    441133 explored states, 12 states in BSSCs (12 absorbing)
    297790 component updates, 4782066938 transient state updates
    Bounds: [0.12483+9.30944e-03]@[0.00000](30577), [0.14064+9.31338e-03]@[0.00000](31285), [0.0034018+9.21629e-03]@[0.00000](11018), [0.14765+9.28516e-03]@[0.00000](29502), [0.20496+9.32375e-03]@[0.00000](29909), [0.011845+9.25966e-03]@[0.00000](18346), [0.14113+9.29937e-03]@[0.00000](29412), [0.087429+9.30993e-03]@[0.00000](28253), [0.022427+9.26152e-03]@[0.00000](22363), [0.063872+9.27583e-03]@[0.00000](27430) ... (12)
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    469342 loops (675/sec), 654501095 sampling steps, 134015 aborted
    loop condition 0.0092442, exit probability 0.0089221 in initial state
    441920 explored states, 12 states in BSSCs (12 absorbing)
    300312 component updates, 4821310586 transient state updates
    Bounds: [0.12483+9.28266e-03]@[0.00000](30812), [0.14064+9.28559e-03]@[0.00000](31547), [0.0034051+9.18974e-03]@[0.00000](11117), [0.14765+9.25861e-03]@[0.00000](29743), [0.20496+9.29697e-03]@[0.00000](30184), [0.011848+9.23265e-03]@[0.00000](18510), [0.14113+9.27211e-03]@[0.00000](29665), [0.087431+9.28245e-03]@[0.00000](28501), [0.022430+9.23534e-03]@[0.00000](22551), [0.063875+9.24888e-03]@[0.00000](27666) ... (12)
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    472753 loops (682/sec), 659389145 sampling steps, 134872 aborted
    loop condition 0.0092170, exit probability 0.0088965 in initial state
    442593 explored states, 12 states in BSSCs (12 absorbing)
    302820 component updates, 4860358832 transient state updates
    Bounds: [0.12483+9.25543e-03]@[0.00000](31061), [0.14064+9.25698e-03]@[0.00000](31795), [0.0034085+9.16225e-03]@[0.00000](11193), [0.14765+9.23218e-03]@[0.00000](29989), [0.20496+9.26980e-03]@[0.00000](30438), [0.011850+9.20623e-03]@[0.00000](18676), [0.14113+9.24506e-03]@[0.00000](29908), [0.087433+9.25499e-03]@[0.00000](28710), [0.022432+9.20882e-03]@[0.00000](22772), [0.063878+9.22199e-03]@[0.00000](27904) ... (12)
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    476157 loops (680/sec), 664260153 sampling steps, 135697 aborted
    loop condition 0.0091876, exit probability 0.0088687 in initial state
    443312 explored states, 12 states in BSSCs (12 absorbing)
    305342 component updates, 4899735809 transient state updates
    Bounds: [0.12483+9.22564e-03]@[0.00000](31311), [0.14064+9.22671e-03]@[0.00000](32072), [0.0034119+9.13358e-03]@[0.00000](11289), [0.14765+9.20250e-03]@[0.00000](30211), [0.20496+9.23969e-03]@[0.00000](30708), [0.011853+9.17713e-03]@[0.00000](18864), [0.14114+9.21529e-03]@[0.00000](30149), [0.087435+9.22770e-03]@[0.00000](28930), [0.022435+9.18003e-03]@[0.00000](22968), [0.063881+9.19229e-03]@[0.00000](28152) ... (12)
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    479618 loops (688/sec), 669213809 sampling steps, 136558 aborted
    loop condition 0.0091592, exit probability 0.0088422 in initial state
    444100 explored states, 12 states in BSSCs (12 absorbing)
    307887 component updates, 4939367405 transient state updates
    Bounds: [0.12483+9.19766e-03]@[0.00000](31565), [0.14065+9.19967e-03]@[0.00000](32306), [0.0034152+9.10583e-03]@[0.00000](11381), [0.14765+9.17504e-03]@[0.00000](30457), [0.20497+9.21126e-03]@[0.00000](30967), [0.011856+9.14816e-03]@[0.00000](19018), [0.14114+9.18664e-03]@[0.00000](30399), [0.087438+9.19883e-03]@[0.00000](29181), [0.022438+9.15217e-03]@[0.00000](23206), [0.063884+9.16393e-03]@[0.00000](28389) ... (12)
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    483054 loops (687/sec), 674136915 sampling steps, 137401 aborted
    loop condition 0.0091323, exit probability 0.0088170 in initial state
    444872 explored states, 12 states in BSSCs (12 absorbing)
    310430 component updates, 4978964172 transient state updates
    Bounds: [0.12484+9.17145e-03]@[0.00000](31831), [0.14065+9.17322e-03]@[0.00000](32572), [0.0034185+9.07892e-03]@[0.00000](11469), [0.14765+9.14887e-03]@[0.00000](30715), [0.20497+9.18504e-03]@[0.00000](31235), [0.011859+9.12114e-03]@[0.00000](19183), [0.14114+9.16038e-03]@[0.00000](30619), [0.087440+9.17139e-03]@[0.00000](29401), [0.022441+9.12534e-03]@[0.00000](23404), [0.063887+9.13569e-03]@[0.00000](28601) ... (12)
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    486515 loops (692/sec), 679095706 sampling steps, 138262 aborted
    loop condition 0.0091055, exit probability 0.0087914 in initial state
    445658 explored states, 12 states in BSSCs (12 absorbing)
    312978 component updates, 5018790341 transient state updates
    Bounds: [0.12484+9.14666e-03]@[0.00000](32084), [0.14065+9.14726e-03]@[0.00000](32839), [0.0034215+9.05353e-03]@[0.00000](11574), [0.14766+9.12250e-03]@[0.00000](30949), [0.20497+9.15913e-03]@[0.00000](31465), [0.011861+9.09390e-03]@[0.00000](19347), [0.14114+9.13347e-03]@[0.00000](30867), [0.087442+9.14342e-03]@[0.00000](29619), [0.022444+9.09844e-03]@[0.00000](23597), [0.063889+9.10637e-03]@[0.00000](28855) ... (12)
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    489962 loops (689/sec), 684039964 sampling steps, 139105 aborted
    loop condition 0.0090769, exit probability 0.0087646 in initial state
    446342 explored states, 12 states in BSSCs (12 absorbing)
    315534 component updates, 5058729055 transient state updates
    Bounds: [0.12484+9.11697e-03]@[0.00000](32345), [0.14065+9.11910e-03]@[0.00000](33103), [0.0034248+9.02524e-03]@[0.00000](11660), [0.14766+9.09440e-03]@[0.00000](31206), [0.20497+9.12890e-03]@[0.00000](31734), [0.011864+9.06472e-03]@[0.00000](19527), [0.14115+9.10697e-03]@[0.00000](31093), [0.087444+9.11526e-03]@[0.00000](29856), [0.022446+9.07044e-03]@[0.00000](23783), [0.063892+9.07748e-03]@[0.00000](29106) ... (12)
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    493375 loops (682/sec), 688936638 sampling steps, 139922 aborted
    loop condition 0.0090493, exit probability 0.0087390 in initial state
    446986 explored states, 12 states in BSSCs (12 absorbing)
    318086 component updates, 5098354322 transient state updates
    Bounds: [0.12484+9.08855e-03]@[0.00000](32603), [0.14065+9.09131e-03]@[0.00000](33360), [0.0034281+8.99719e-03]@[0.00000](11770), [0.14766+9.06875e-03]@[0.00000](31444), [0.20497+9.10097e-03]@[0.00000](32004), [0.011867+9.03629e-03]@[0.00000](19674), [0.14115+9.07992e-03]@[0.00000](31352), [0.087446+9.08824e-03]@[0.00000](30078), [0.022449+9.04297e-03]@[0.00000](23987), [0.063895+9.04937e-03]@[0.00000](29328) ... (12)
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    496799 loops (684/sec), 693841439 sampling steps, 140729 aborted
    loop condition 0.0090231, exit probability 0.0087152 in initial state
    447753 explored states, 12 states in BSSCs (12 absorbing)
    320646 component updates, 5138247641 transient state updates
    Bounds: [0.12484+9.06125e-03]@[0.00000](32857), [0.14065+9.06527e-03]@[0.00000](33614), [0.0034313+8.97002e-03]@[0.00000](11856), [0.14766+9.04243e-03]@[0.00000](31710), [0.20498+9.07601e-03]@[0.00000](32251), [0.011869+9.01012e-03]@[0.00000](19842), [0.14115+9.05545e-03]@[0.00000](31604), [0.087449+9.06238e-03]@[0.00000](30329), [0.022452+9.01681e-03]@[0.00000](24194), [0.063898+9.02268e-03]@[0.00000](29557) ... (12)
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    500258 loops (691/sec), 698794757 sampling steps, 141606 aborted
    loop condition 0.0090005, exit probability 0.0086935 in initial state
    448610 explored states, 12 states in BSSCs (12 absorbing)
    323167 component updates, 5177377192 transient state updates
    Bounds: [0.12484+9.03879e-03]@[0.00000](33118), [0.14065+9.04280e-03]@[0.00000](33853), [0.0034340+8.94798e-03]@[0.00000](11942), [0.14766+9.01910e-03]@[0.00000](31975), [0.20498+9.05299e-03]@[0.00000](32503), [0.011872+8.98763e-03]@[0.00000](20008), [0.14115+9.03291e-03]@[0.00000](31871), [0.087450+9.03976e-03]@[0.00000](30566), [0.022454+8.99337e-03]@[0.00000](24387), [0.063900+8.99958e-03]@[0.00000](29769) ... (12)
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    503634 loops (675/sec), 703635286 sampling steps, 142428 aborted
    loop condition 0.0089769, exit probability 0.0086718 in initial state
    449196 explored states, 12 states in BSSCs (12 absorbing)
    325678 component updates, 5216417888 transient state updates
    Bounds: [0.12484+9.01613e-03]@[0.00000](33386), [0.14065+9.01990e-03]@[0.00000](34087), [0.0034369+8.92371e-03]@[0.00000](12043), [0.14766+8.99516e-03]@[0.00000](32213), [0.20498+9.02924e-03]@[0.00000](32754), [0.011874+8.96467e-03]@[0.00000](20165), [0.14116+9.00919e-03]@[0.00000](32114), [0.087452+9.01553e-03]@[0.00000](30818), [0.022457+8.97013e-03]@[0.00000](24575), [0.063903+8.97613e-03]@[0.00000](30010) ... (12)
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    507028 loops (678/sec), 708503255 sampling steps, 143271 aborted
    loop condition 0.0089526, exit probability 0.0086489 in initial state
    449791 explored states, 12 states in BSSCs (12 absorbing)
    328186 component updates, 5255621502 transient state updates
    Bounds: [0.12484+8.99224e-03]@[0.00000](33619), [0.14065+8.99569e-03]@[0.00000](34337), [0.0034398+8.89977e-03]@[0.00000](12140), [0.14767+8.97001e-03]@[0.00000](32496), [0.20498+9.00457e-03]@[0.00000](33010), [0.011876+8.94023e-03]@[0.00000](20322), [0.14116+8.98420e-03]@[0.00000](32343), [0.087454+8.99065e-03]@[0.00000](31050), [0.022459+8.94729e-03]@[0.00000](24754), [0.063905+8.95141e-03]@[0.00000](30248) ... (12)
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    510482 loops (690/sec), 713449649 sampling steps, 144140 aborted
    loop condition 0.0089302, exit probability 0.0086274 in initial state
    450545 explored states, 12 states in BSSCs (12 absorbing)
    330714 component updates, 5294803639 transient state updates
    Bounds: [0.12484+8.97007e-03]@[0.00000](33838), [0.14065+8.97310e-03]@[0.00000](34573), [0.0034425+8.87778e-03]@[0.00000](12223), [0.14767+8.94749e-03]@[0.00000](32776), [0.20498+8.98118e-03]@[0.00000](33252), [0.011878+8.91739e-03]@[0.00000](20466), [0.14116+8.96105e-03]@[0.00000](32614), [0.087456+8.96823e-03]@[0.00000](31296), [0.022461+8.92455e-03]@[0.00000](24954), [0.063907+8.92920e-03]@[0.00000](30503) ... (12)
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    513905 loops (684/sec), 718351778 sampling steps, 144967 aborted
    loop condition 0.0089072, exit probability 0.0086055 in initial state
    451318 explored states, 12 states in BSSCs (12 absorbing)
    333257 component updates, 5334285057 transient state updates
    Bounds: [0.12484+8.94588e-03]@[0.00000](34071), [0.14065+8.94929e-03]@[0.00000](34816), [0.0034452+8.85535e-03]@[0.00000](12299), [0.14767+8.92567e-03]@[0.00000](33022), [0.20499+8.95834e-03]@[0.00000](33532), [0.011881+8.89367e-03]@[0.00000](20628), [0.14116+8.93759e-03]@[0.00000](32858), [0.087458+8.94522e-03]@[0.00000](31554), [0.022464+8.90175e-03]@[0.00000](25170), [0.063910+8.90704e-03]@[0.00000](30740) ... (12)
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    517283 loops (675/sec), 723192978 sampling steps, 145736 aborted
    loop condition 0.0088849, exit probability 0.0085843 in initial state
    451939 explored states, 12 states in BSSCs (12 absorbing)
    335823 component updates, 5374178627 transient state updates
    Bounds: [0.12484+8.92330e-03]@[0.00000](34326), [0.14066+8.92722e-03]@[0.00000](35064), [0.0034479+8.83292e-03]@[0.00000](12383), [0.14767+8.90274e-03]@[0.00000](33304), [0.20499+8.93668e-03]@[0.00000](33759), [0.011883+8.87083e-03]@[0.00000](20793), [0.14116+8.91521e-03]@[0.00000](33076), [0.087460+8.92256e-03]@[0.00000](31811), [0.022466+8.87955e-03]@[0.00000](25373), [0.063912+8.88444e-03]@[0.00000](30974) ... (12)
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    520691 loops (681/sec), 728075967 sampling steps, 146567 aborted
    loop condition 0.0088613, exit probability 0.0085619 in initial state
    452621 explored states, 12 states in BSSCs (12 absorbing)
    338356 component updates, 5413420545 transient state updates
    Bounds: [0.12484+8.89963e-03]@[0.00000](34575), [0.14066+8.90366e-03]@[0.00000](35329), [0.0034507+8.80856e-03]@[0.00000](12476), [0.14767+8.87864e-03]@[0.00000](33558), [0.20499+8.91218e-03]@[0.00000](34050), [0.011885+8.84767e-03]@[0.00000](20971), [0.14117+8.89145e-03]@[0.00000](33324), [0.087462+8.89988e-03]@[0.00000](32034), [0.022468+8.85596e-03]@[0.00000](25557), [0.063914+8.86021e-03]@[0.00000](31193) ... (12)
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    524139 loops (689/sec), 733013554 sampling steps, 147431 aborted
    loop condition 0.0088383, exit probability 0.0085405 in initial state
    453318 explored states, 12 states in BSSCs (12 absorbing)
    340889 component updates, 5452631318 transient state updates
    Bounds: [0.12484+8.87586e-03]@[0.00000](34861), [0.14066+8.88131e-03]@[0.00000](35575), [0.0034534+8.78689e-03]@[0.00000](12567), [0.14767+8.85500e-03]@[0.00000](33800), [0.20499+8.88949e-03]@[0.00000](34322), [0.011887+8.82443e-03]@[0.00000](21137), [0.14117+8.86770e-03]@[0.00000](33580), [0.087463+8.87681e-03]@[0.00000](32283), [0.022471+8.83296e-03]@[0.00000](25749), [0.063917+8.83670e-03]@[0.00000](31408) ... (12)
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    527577 loops (687/sec), 737933023 sampling steps, 148282 aborted
    loop condition 0.0088168, exit probability 0.0085202 in initial state
    454072 explored states, 12 states in BSSCs (12 absorbing)
    343422 component updates, 5491866487 transient state updates
    Bounds: [0.12485+8.85397e-03]@[0.00000](35101), [0.14066+8.86186e-03]@[0.00000](35819), [0.0034559+8.76622e-03]@[0.00000](12658), [0.14767+8.83392e-03]@[0.00000](34044), [0.20499+8.86781e-03]@[0.00000](34585), [0.011890+8.80213e-03]@[0.00000](21308), [0.14117+8.84573e-03]@[0.00000](33821), [0.087465+8.85465e-03]@[0.00000](32536), [0.022473+8.81189e-03]@[0.00000](25955), [0.063919+8.81459e-03]@[0.00000](31647) ... (12)
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    530982 loops (680/sec), 742818987 sampling steps, 149100 aborted
    loop condition 0.0087957, exit probability 0.0084998 in initial state
    454705 explored states, 12 states in BSSCs (12 absorbing)
    345967 component updates, 5531181935 transient state updates
    Bounds: [0.12485+8.83209e-03]@[0.00000](35335), [0.14066+8.83970e-03]@[0.00000](36078), [0.0034583+8.74702e-03]@[0.00000](12768), [0.14768+8.81221e-03]@[0.00000](34291), [0.20499+8.84631e-03]@[0.00000](34833), [0.011892+8.78062e-03]@[0.00000](21486), [0.14117+8.82393e-03]@[0.00000](34060), [0.087467+8.83292e-03]@[0.00000](32785), [0.022475+8.79122e-03]@[0.00000](26151), [0.063921+8.79354e-03]@[0.00000](31870) ... (12)
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    534387 loops (680/sec), 747709368 sampling steps, 149916 aborted
    loop condition 0.0087748, exit probability 0.0084798 in initial state
    455275 explored states, 12 states in BSSCs (12 absorbing)
    348520 component updates, 5570670543 transient state updates
    Bounds: [0.12485+8.81059e-03]@[0.00000](35591), [0.14066+8.81782e-03]@[0.00000](36324), [0.0034610+8.72598e-03]@[0.00000](12864), [0.14768+8.79121e-03]@[0.00000](34558), [0.20499+8.82497e-03]@[0.00000](35079), [0.011894+8.76003e-03]@[0.00000](21628), [0.14117+8.80433e-03]@[0.00000](34334), [0.087469+8.81152e-03]@[0.00000](33023), [0.022477+8.77050e-03]@[0.00000](26350), [0.063923+8.77246e-03]@[0.00000](32117) ... (12)
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    537809 loops (684/sec), 752621026 sampling steps, 150782 aborted
    loop condition 0.0087541, exit probability 0.0084600 in initial state
    455847 explored states, 12 states in BSSCs (12 absorbing)
    351040 component updates, 5609656466 transient state updates
    Bounds: [0.12485+8.78964e-03]@[0.00000](35816), [0.14066+8.79671e-03]@[0.00000](36569), [0.0034634+8.70596e-03]@[0.00000](12943), [0.14768+8.77026e-03]@[0.00000](34803), [0.20500+8.80336e-03]@[0.00000](35352), [0.011896+8.73970e-03]@[0.00000](21803), [0.14118+8.78298e-03]@[0.00000](34606), [0.087470+8.79095e-03]@[0.00000](33262), [0.022479+8.74998e-03]@[0.00000](26551), [0.063925+8.75267e-03]@[0.00000](32358) ... (12)
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    541243 loops (686/sec), 757542535 sampling steps, 151670 aborted
    loop condition 0.0087334, exit probability 0.0084404 in initial state
    456564 explored states, 12 states in BSSCs (12 absorbing)
    353535 component updates, 5648256115 transient state updates
    Bounds: [0.12485+8.76888e-03]@[0.00000](36057), [0.14066+8.77578e-03]@[0.00000](36814), [0.0034660+8.68500e-03]@[0.00000](13043), [0.14768+8.74906e-03]@[0.00000](35032), [0.20500+8.78200e-03]@[0.00000](35595), [0.011898+8.71942e-03]@[0.00000](21950), [0.14118+8.76103e-03]@[0.00000](34865), [0.087472+8.77010e-03]@[0.00000](33505), [0.022481+8.73025e-03]@[0.00000](26738), [0.063927+8.73212e-03]@[0.00000](32598) ... (12)
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    544600 loops (671/sec), 762358203 sampling steps, 152456 aborted
    loop condition 0.0087121, exit probability 0.0084199 in initial state
    457133 explored states, 12 states in BSSCs (12 absorbing)
    356068 component updates, 5687337659 transient state updates
    Bounds: [0.12485+8.74658e-03]@[0.00000](36308), [0.14066+8.75305e-03]@[0.00000](37088), [0.0034686+8.66316e-03]@[0.00000](13143), [0.14768+8.72818e-03]@[0.00000](35267), [0.20500+8.76075e-03]@[0.00000](35838), [0.011900+8.69823e-03]@[0.00000](22113), [0.14118+8.74008e-03]@[0.00000](35094), [0.087474+8.74872e-03]@[0.00000](33754), [0.022483+8.70984e-03]@[0.00000](26932), [0.063930+8.71035e-03]@[0.00000](32813) ... (12)
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    547994 loops (678/sec), 767211655 sampling steps, 153242 aborted
    loop condition 0.0086916, exit probability 0.0084014 in initial state
    457981 explored states, 12 states in BSSCs (12 absorbing)
    358613 component updates, 5726822271 transient state updates
    Bounds: [0.12485+8.72634e-03]@[0.00000](36553), [0.14066+8.73329e-03]@[0.00000](37353), [0.0034711+8.64298e-03]@[0.00000](13244), [0.14768+8.70888e-03]@[0.00000](35528), [0.20500+8.73974e-03]@[0.00000](36092), [0.011902+8.67757e-03]@[0.00000](22254), [0.14118+8.71932e-03]@[0.00000](35349), [0.087475+8.72841e-03]@[0.00000](34007), [0.022485+8.68993e-03]@[0.00000](27104), [0.063932+8.68962e-03]@[0.00000](33080) ... (12)
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    551427 loops (686/sec), 772130659 sampling steps, 154093 aborted
    loop condition 0.0086741, exit probability 0.0083852 in initial state
    458743 explored states, 12 states in BSSCs (12 absorbing)
    361140 component updates, 5765881489 transient state updates
    Bounds: [0.12485+8.70931e-03]@[0.00000](36793), [0.14066+8.71604e-03]@[0.00000](37595), [0.0034733+8.62507e-03]@[0.00000](13347), [0.14768+8.69172e-03]@[0.00000](35786), [0.20500+8.72281e-03]@[0.00000](36352), [0.011903+8.65921e-03]@[0.00000](22411), [0.14118+8.70071e-03]@[0.00000](35604), [0.087477+8.71031e-03]@[0.00000](34255), [0.022487+8.67425e-03]@[0.00000](27322), [0.063933+8.67243e-03]@[0.00000](33307) ... (12)
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    554821 loops (678/sec), 777003042 sampling steps, 154912 aborted
    loop condition 0.0086581, exit probability 0.0083700 in initial state
    459272 explored states, 12 states in BSSCs (12 absorbing)
    363679 component updates, 5805068496 transient state updates
    Bounds: [0.12485+8.69224e-03]@[0.00000](37068), [0.14066+8.69927e-03]@[0.00000](37863), [0.0034754+8.60869e-03]@[0.00000](13451), [0.14768+8.67556e-03]@[0.00000](36042), [0.20500+8.70738e-03]@[0.00000](36578), [0.011905+8.64319e-03]@[0.00000](22553), [0.14119+8.68463e-03]@[0.00000](35861), [0.087478+8.69472e-03]@[0.00000](34498), [0.022489+8.65878e-03]@[0.00000](27509), [0.063935+8.65594e-03]@[0.00000](33528) ... (12)
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    558210 loops (677/sec), 781857134 sampling steps, 155723 aborted
    loop condition 0.0086393, exit probability 0.0083517 in initial state
    459914 explored states, 12 states in BSSCs (12 absorbing)
    366208 component updates, 5844190276 transient state updates
    Bounds: [0.12485+8.67311e-03]@[0.00000](37302), [0.14066+8.68106e-03]@[0.00000](38112), [0.0034777+8.59035e-03]@[0.00000](13566), [0.14769+8.65762e-03]@[0.00000](36296), [0.20501+8.68889e-03]@[0.00000](36831), [0.011907+8.62423e-03]@[0.00000](22734), [0.14119+8.66519e-03]@[0.00000](36079), [0.087479+8.67610e-03]@[0.00000](34740), [0.022490+8.64122e-03]@[0.00000](27705), [0.063937+8.63545e-03]@[0.00000](33756) ... (12)
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    561648 loops (687/sec), 786780999 sampling steps, 156564 aborted
    loop condition 0.0086215, exit probability 0.0083351 in initial state
    460648 explored states, 12 states in BSSCs (12 absorbing)
    368754 component updates, 5883507011 transient state updates
    Bounds: [0.12485+8.65434e-03]@[0.00000](37524), [0.14066+8.66164e-03]@[0.00000](38373), [0.0034799+8.57245e-03]@[0.00000](13670), [0.14769+8.64040e-03]@[0.00000](36543), [0.20501+8.67113e-03]@[0.00000](37066), [0.011909+8.60520e-03]@[0.00000](22880), [0.14119+8.64821e-03]@[0.00000](36358), [0.087481+8.65817e-03]@[0.00000](35005), [0.022492+8.62418e-03]@[0.00000](27915), [0.063939+8.61704e-03]@[0.00000](33976) ... (12)
Sep 13, 2024 11:01:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 12, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 11:01:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    564115 loops (493/sec), 790316823 sampling steps, 157196 aborted
    loop condition 0.0086091, exit probability 0.0083235 in initial state
    461134 explored states, 24 states in BSSCs (24 absorbing)
    370554 component updates, 5915861703 transient state updates
    Bounds: [0.12485+8.64212e-03]@[0.00000](37717), [0.14067+8.64891e-03]@[0.00000](38573), [0.0034816+8.55969e-03]@[0.00000](13746), [0.14769+8.62802e-03]@[0.00000](36719), [0.20501+8.65842e-03]@[0.00000](37219), [0.011910+8.59268e-03]@[0.00000](22989), [0.14119+8.63648e-03]@[0.00000](36538), [0.087482+8.64605e-03]@[0.00000](35153), [0.022493+8.61199e-03]@[0.00000](28033), [0.063940+8.60460e-03]@[0.00000](34142) ... (24)
Sep 13, 2024 11:01:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    565694 loops (315/sec), 792555369 sampling steps, 157695 aborted
    loop condition 0.0085859, exit probability 0.0082997 in initial state
    462233 explored states, 24 states in BSSCs (24 absorbing)
    371567 component updates, 5961941083 transient state updates
    Bounds: [0.12485+8.61858e-03]@[0.00000](37793), [0.14067+8.62478e-03]@[0.00000](38634), [0.0034841+8.53503e-03]@[0.00000](13794), [0.14769+8.60476e-03]@[0.00000](36773), [0.20501+8.63490e-03]@[0.00000](37278), [0.011912+8.57063e-03]@[0.00000](23049), [0.14119+8.61296e-03]@[0.00000](36602), [0.087484+8.62201e-03]@[0.00000](35218), [0.022496+8.58942e-03]@[0.00000](28103), [0.063943+8.58185e-03]@[0.00000](34191) ... (24)
Sep 13, 2024 11:01:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    567344 loops (330/sec), 794892813 sampling steps, 158080 aborted
    loop condition 0.0085498, exit probability 0.0082629 in initial state
    463834 explored states, 24 states in BSSCs (24 absorbing)
    372729 component updates, 6009458729 transient state updates
    Bounds: [0.12485+8.58026e-03]@[0.00000](37851), [0.14067+8.58765e-03]@[0.00000](38698), [0.0034877+8.49673e-03]@[0.00000](13861), [0.14769+8.56717e-03]@[0.00000](36844), [0.20501+8.59881e-03]@[0.00000](37350), [0.011915+8.53672e-03]@[0.00000](23101), [0.14120+8.57643e-03]@[0.00000](36662), [0.087487+8.58652e-03]@[0.00000](35293), [0.022499+8.55380e-03]@[0.00000](28174), [0.063947+8.54526e-03]@[0.00000](34261) ... (24)
Sep 13, 2024 11:01:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    568982 loops (327/sec), 797213557 sampling steps, 158396 aborted
    loop condition 0.0085105, exit probability 0.0082238 in initial state
    465694 explored states, 24 states in BSSCs (24 absorbing)
    373945 component updates, 6056324415 transient state updates
    Bounds: [0.12486+8.54030e-03]@[0.00000](37924), [0.14067+8.54830e-03]@[0.00000](38761), [0.0034915+8.45761e-03]@[0.00000](13922), [0.14769+8.52875e-03]@[0.00000](36920), [0.20502+8.55895e-03]@[0.00000](37416), [0.011919+8.49758e-03]@[0.00000](23167), [0.14120+8.53638e-03]@[0.00000](36725), [0.087490+8.54664e-03]@[0.00000](35347), [0.022504+8.51388e-03]@[0.00000](28237), [0.063951+8.50723e-03]@[0.00000](34328) ... (24)
Sep 13, 2024 11:01:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    570661 loops (335/sec), 799594401 sampling steps, 158715 aborted
    loop condition 0.0084641, exit probability 0.0081751 in initial state
    467786 explored states, 24 states in BSSCs (24 absorbing)
    375189 component updates, 6103871320 transient state updates
    Bounds: [0.12486+8.49355e-03]@[0.00000](37998), [0.14067+8.50045e-03]@[0.00000](38825), [0.0034962+8.40962e-03]@[0.00000](13976), [0.14770+8.48073e-03]@[0.00000](36986), [0.20502+8.51065e-03]@[0.00000](37468), [0.011923+8.45133e-03]@[0.00000](23246), [0.14121+8.49069e-03]@[0.00000](36785), [0.087494+8.49954e-03]@[0.00000](35416), [0.022508+8.46794e-03]@[0.00000](28297), [0.063955+8.46179e-03]@[0.00000](34385) ... (24)
Sep 13, 2024 11:01:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    572353 loops (338/sec), 802003663 sampling steps, 159000 aborted
    loop condition 0.0084102, exit probability 0.0081148 in initial state
    470004 explored states, 24 states in BSSCs (24 absorbing)
    376477 component updates, 6151464968 transient state updates
    Bounds: [0.12486+8.43958e-03]@[0.00000](38074), [0.14067+8.44689e-03]@[0.00000](38891), [0.0035011+8.35615e-03]@[0.00000](14044), [0.14770+8.42611e-03]@[0.00000](37047), [0.20502+8.45497e-03]@[0.00000](37535), [0.011928+8.39642e-03]@[0.00000](23300), [0.14121+8.43800e-03]@[0.00000](36856), [0.087498+8.44570e-03]@[0.00000](35471), [0.022513+8.41177e-03]@[0.00000](28355), [0.063960+8.40878e-03]@[0.00000](34459) ... (24)
Sep 13, 2024 11:02:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    574048 loops (338/sec), 804407115 sampling steps, 159270 aborted
    loop condition 0.0083489, exit probability 0.0080375 in initial state
    472547 explored states, 24 states in BSSCs (24 absorbing)
    377763 component updates, 6198214078 transient state updates
    Bounds: [0.12486+8.37778e-03]@[0.00000](38131), [0.14067+8.38502e-03]@[0.00000](38947), [0.0035060+8.29438e-03]@[0.00000](14111), [0.14770+8.36237e-03]@[0.00000](37109), [0.20503+8.39213e-03]@[0.00000](37595), [0.011932+8.33543e-03]@[0.00000](23362), [0.14121+8.37868e-03]@[0.00000](36924), [0.087502+8.38270e-03]@[0.00000](35536), [0.022518+8.34953e-03]@[0.00000](28422), [0.063965+8.34801e-03]@[0.00000](34526) ... (24)
Sep 13, 2024 11:02:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    575761 loops (342/sec), 806830660 sampling steps, 159530 aborted
    loop condition 0.0082730, exit probability 0.0079346 in initial state
    475225 explored states, 24 states in BSSCs (24 absorbing)
    379062 component updates, 6245034445 transient state updates
    Bounds: [0.12486+8.30002e-03]@[0.00000](38198), [0.14067+8.30815e-03]@[0.00000](39008), [0.0035109+8.21563e-03]@[0.00000](14166), [0.14771+8.28586e-03]@[0.00000](37192), [0.20503+8.31275e-03]@[0.00000](37656), [0.011936+8.25742e-03]@[0.00000](23418), [0.14122+8.30526e-03]@[0.00000](36988), [0.087505+8.30137e-03]@[0.00000](35609), [0.022522+8.27033e-03]@[0.00000](28489), [0.063969+8.26960e-03]@[0.00000](34580) ... (24)
Sep 13, 2024 11:02:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    577455 loops (338/sec), 809223731 sampling steps, 159752 aborted
    loop condition 0.0081816, exit probability 0.0078132 in initial state
    477767 explored states, 24 states in BSSCs (24 absorbing)
    380387 component updates, 6291699048 transient state updates
    Bounds: [0.12486+8.20645e-03]@[0.00000](38268), [0.14068+8.21458e-03]@[0.00000](39067), [0.0035165+8.12280e-03]@[0.00000](14229), [0.14771+8.19350e-03]@[0.00000](37256), [0.20503+8.21818e-03]@[0.00000](37717), [0.011941+8.16781e-03]@[0.00000](23475), [0.14122+8.21566e-03]@[0.00000](37054), [0.087509+8.20614e-03]@[0.00000](35685), [0.022527+8.17644e-03]@[0.00000](28550), [0.063973+8.17733e-03]@[0.00000](34638) ... (24)
Sep 13, 2024 11:02:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    579207 loops (350/sec), 811696713 sampling steps, 159972 aborted
    loop condition 0.0080652, exit probability 0.0076565 in initial state
    480539 explored states, 24 states in BSSCs (24 absorbing)
    381754 component updates, 6339222643 transient state updates
    Bounds: [0.12486+8.08677e-03]@[0.00000](38331), [0.14068+8.09505e-03]@[0.00000](39145), [0.0035226+8.00622e-03]@[0.00000](14293), [0.14771+8.07744e-03]@[0.00000](37321), [0.20504+8.10137e-03]@[0.00000](37798), [0.011945+8.05370e-03]@[0.00000](23540), [0.14123+8.10412e-03]@[0.00000](37122), [0.087513+8.08472e-03]@[0.00000](35768), [0.022532+8.05900e-03]@[0.00000](28613), [0.063978+8.06028e-03]@[0.00000](34709) ... (24)
Sep 13, 2024 11:02:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    580925 loops (343/sec), 814130889 sampling steps, 160192 aborted
    loop condition 0.0079332, exit probability 0.0074790 in initial state
    483290 explored states, 24 states in BSSCs (24 absorbing)
    383090 component updates, 6385106254 transient state updates
    Bounds: [0.12487+7.95836e-03]@[0.00000](38401), [0.14068+7.96304e-03]@[0.00000](39205), [0.0035295+7.87500e-03]@[0.00000](14347), [0.14771+7.94627e-03]@[0.00000](37403), [0.20504+7.96930e-03]@[0.00000](37868), [0.011950+7.92496e-03]@[0.00000](23601), [0.14123+7.97533e-03]@[0.00000](37200), [0.087517+7.94588e-03]@[0.00000](35825), [0.022537+7.92783e-03]@[0.00000](28673), [0.063983+7.92619e-03]@[0.00000](34765) ... (24)
Sep 13, 2024 11:02:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    582678 loops (350/sec), 816611954 sampling steps, 160386 aborted
    loop condition 0.0077763, exit probability 0.0072686 in initial state
    486231 explored states, 24 states in BSSCs (24 absorbing)
    384460 component updates, 6431133277 transient state updates
    Bounds: [0.12487+7.80474e-03]@[0.00000](38455), [0.14068+7.80378e-03]@[0.00000](39269), [0.0035367+7.71804e-03]@[0.00000](14410), [0.14772+7.78635e-03]@[0.00000](37469), [0.20504+7.80974e-03]@[0.00000](37938), [0.011955+7.76760e-03]@[0.00000](23664), [0.14123+7.82249e-03]@[0.00000](37274), [0.087520+7.78255e-03]@[0.00000](35891), [0.022542+7.76934e-03]@[0.00000](28743), [0.063987+7.76907e-03]@[0.00000](34845) ... (24)
Sep 13, 2024 11:02:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    584422 loops (348/sec), 819074336 sampling steps, 160594 aborted
    loop condition 0.0075925, exit probability 0.0070259 in initial state
    488968 explored states, 24 states in BSSCs (24 absorbing)
    385820 component updates, 6477526632 transient state updates
    Bounds: [0.12487+7.61751e-03]@[0.00000](38528), [0.14068+7.61790e-03]@[0.00000](39345), [0.0035451+7.52548e-03]@[0.00000](14455), [0.14772+7.59335e-03]@[0.00000](37535), [0.20504+7.62810e-03]@[0.00000](38004), [0.011960+7.58490e-03]@[0.00000](23736), [0.14124+7.64877e-03]@[0.00000](37336), [0.087524+7.59345e-03]@[0.00000](35957), [0.022548+7.58695e-03]@[0.00000](28797), [0.063992+7.58304e-03]@[0.00000](34921) ... (24)
Sep 13, 2024 11:02:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    586175 loops (350/sec), 821552488 sampling steps, 160796 aborted
    loop condition 0.0074014, exit probability 0.0067814 in initial state
    491749 explored states, 24 states in BSSCs (24 absorbing)
    387205 component updates, 6523043079 transient state updates
    Bounds: [0.12487+7.42996e-03]@[0.00000](38590), [0.14068+7.42695e-03]@[0.00000](39411), [0.0035530+7.33894e-03]@[0.00000](14514), [0.14772+7.40356e-03]@[0.00000](37586), [0.20505+7.44546e-03]@[0.00000](38077), [0.011965+7.39686e-03]@[0.00000](23809), [0.14124+7.46652e-03]@[0.00000](37417), [0.087527+7.39827e-03]@[0.00000](36035), [0.022553+7.39575e-03]@[0.00000](28859), [0.063996+7.39750e-03]@[0.00000](34985) ... (24)
Sep 13, 2024 11:02:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    587870 loops (339/sec), 823946728 sampling steps, 160964 aborted
    loop condition 0.0071913, exit probability 0.0065189 in initial state
    494375 explored states, 24 states in BSSCs (24 absorbing)
    388569 component updates, 6567725659 transient state updates
    Bounds: [0.12487+7.22098e-03]@[0.00000](38645), [0.14068+7.21646e-03]@[0.00000](39498), [0.0035618+7.12952e-03]@[0.00000](14575), [0.14772+7.19252e-03]@[0.00000](37657), [0.20505+7.23672e-03]@[0.00000](38157), [0.011970+7.19389e-03]@[0.00000](23874), [0.14125+7.26237e-03]@[0.00000](37489), [0.087531+7.19197e-03]@[0.00000](36092), [0.022558+7.18195e-03]@[0.00000](28945), [0.064000+7.18655e-03]@[0.00000](35050) ... (24)
Sep 13, 2024 11:02:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    589476 loops (321/sec), 826212544 sampling steps, 161156 aborted
    loop condition 0.0069880, exit probability 0.0062748 in initial state
    496985 explored states, 24 states in BSSCs (24 absorbing)
    389815 component updates, 6608972029 transient state updates
    Bounds: [0.12487+7.02508e-03]@[0.00000](38715), [0.14068+7.01397e-03]@[0.00000](39564), [0.0035703+6.92698e-03]@[0.00000](14630), [0.14773+7.00060e-03]@[0.00000](37696), [0.20505+7.03556e-03]@[0.00000](38216), [0.011974+7.00363e-03]@[0.00000](23936), [0.14125+7.07035e-03]@[0.00000](37552), [0.087534+6.99146e-03]@[0.00000](36151), [0.022563+6.98359e-03]@[0.00000](29011), [0.064005+6.98668e-03]@[0.00000](35108) ... (24)
Sep 13, 2024 11:02:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    591272 loops (359/sec), 828740237 sampling steps, 161340 aborted
    loop condition 0.0067446, exit probability 0.0059960 in initial state
    499966 explored states, 24 states in BSSCs (24 absorbing)
    391224 component updates, 6654173702 transient state updates
    Bounds: [0.12487+6.78936e-03]@[0.00000](38787), [0.14069+6.77505e-03]@[0.00000](39634), [0.0035801+6.68769e-03]@[0.00000](14685), [0.14773+6.75925e-03]@[0.00000](37761), [0.20505+6.80096e-03]@[0.00000](38278), [0.011980+6.76898e-03]@[0.00000](24003), [0.14125+6.83250e-03]@[0.00000](37622), [0.087537+6.75631e-03]@[0.00000](36226), [0.022568+6.74364e-03]@[0.00000](29079), [0.064009+6.75485e-03]@[0.00000](35180) ... (24)
Sep 13, 2024 11:02:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    593031 loops (351/sec), 831218894 sampling steps, 161521 aborted
    loop condition 0.0065130, exit probability 0.0057269 in initial state
    503077 explored states, 24 states in BSSCs (24 absorbing)
    392591 component updates, 6698520792 transient state updates
    Bounds: [0.12487+6.55901e-03]@[0.00000](38851), [0.14069+6.54647e-03]@[0.00000](39711), [0.0035900+6.45510e-03]@[0.00000](14749), [0.14773+6.52443e-03]@[0.00000](37832), [0.20506+6.56994e-03]@[0.00000](38357), [0.011985+6.53921e-03]@[0.00000](24070), [0.14126+6.59960e-03]@[0.00000](37687), [0.087541+6.52403e-03]@[0.00000](36294), [0.022573+6.50955e-03]@[0.00000](29151), [0.064013+6.52414e-03]@[0.00000](35234) ... (24)
Sep 13, 2024 11:03:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    594847 loops (363/sec), 833770267 sampling steps, 161696 aborted
    loop condition 0.0062678, exit probability 0.0054508 in initial state
    506203 explored states, 24 states in BSSCs (24 absorbing)
    394017 component updates, 6743615499 transient state updates
    Bounds: [0.12487+6.32037e-03]@[0.00000](38918), [0.14069+6.30100e-03]@[0.00000](39792), [0.0035998+6.21693e-03]@[0.00000](14817), [0.14773+6.27850e-03]@[0.00000](37890), [0.20506+6.32298e-03]@[0.00000](38427), [0.011990+6.29614e-03]@[0.00000](24135), [0.14126+6.35983e-03]@[0.00000](37766), [0.087544+6.27596e-03]@[0.00000](36359), [0.022579+6.26523e-03]@[0.00000](29230), [0.064018+6.28242e-03]@[0.00000](35308) ... (24)
Sep 13, 2024 11:03:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    596629 loops (356/sec), 836266589 sampling steps, 161864 aborted
    loop condition 0.0060353, exit probability 0.0051995 in initial state
    509549 explored states, 24 states in BSSCs (24 absorbing)
    395407 component updates, 6786783483 transient state updates
    Bounds: [0.12487+6.09166e-03]@[0.00000](38979), [0.14069+6.07500e-03]@[0.00000](39847), [0.0036098+5.98358e-03]@[0.00000](14878), [0.14774+6.04896e-03]@[0.00000](37961), [0.20506+6.09302e-03]@[0.00000](38482), [0.011995+6.06979e-03]@[0.00000](24204), [0.14126+6.13174e-03]@[0.00000](37843), [0.087547+6.04674e-03]@[0.00000](36423), [0.022584+6.03661e-03]@[0.00000](29294), [0.064022+6.04907e-03]@[0.00000](35380) ... (24)
Sep 13, 2024 11:03:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    598428 loops (359/sec), 838798593 sampling steps, 162041 aborted
    loop condition 0.0058092, exit probability 0.0049619 in initial state
    512573 explored states, 24 states in BSSCs (24 absorbing)
    396819 component updates, 6830448208 transient state updates
    Bounds: [0.12488+5.86070e-03]@[0.00000](39053), [0.14069+5.85211e-03]@[0.00000](39922), [0.0036190+5.76648e-03]@[0.00000](14933), [0.14774+5.82373e-03]@[0.00000](38049), [0.20506+5.86885e-03]@[0.00000](38546), [0.012001+5.84615e-03]@[0.00000](24260), [0.14127+5.90680e-03]@[0.00000](37914), [0.087550+5.82096e-03]@[0.00000](36488), [0.022589+5.81146e-03]@[0.00000](29366), [0.064027+5.82474e-03]@[0.00000](35442) ... (24)
Sep 13, 2024 11:03:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    600239 loops (362/sec), 841342274 sampling steps, 162200 aborted
    loop condition 0.0055939, exit probability 0.0047353 in initial state
    515496 explored states, 24 states in BSSCs (24 absorbing)
    398272 component updates, 6874319210 transient state updates
    Bounds: [0.12488+5.64824e-03]@[0.00000](39121), [0.14069+5.63334e-03]@[0.00000](39992), [0.0036286+5.55036e-03]@[0.00000](14996), [0.14774+5.60528e-03]@[0.00000](38139), [0.20507+5.65327e-03]@[0.00000](38636), [0.012006+5.62525e-03]@[0.00000](24325), [0.14127+5.69568e-03]@[0.00000](38000), [0.087554+5.60865e-03]@[0.00000](36555), [0.022594+5.60449e-03]@[0.00000](29427), [0.064031+5.61141e-03]@[0.00000](35505) ... (24)
Sep 13, 2024 11:03:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    602092 loops (370/sec), 843943456 sampling steps, 162388 aborted
    loop condition 0.0053795, exit probability 0.0045116 in initial state
    518628 explored states, 24 states in BSSCs (24 absorbing)
    399726 component updates, 6918544485 transient state updates
    Bounds: [0.12488+5.43775e-03]@[0.00000](39201), [0.14069+5.42276e-03]@[0.00000](40066), [0.0036379+5.33963e-03]@[0.00000](15063), [0.14774+5.39842e-03]@[0.00000](38209), [0.20507+5.43436e-03]@[0.00000](38720), [0.012011+5.41582e-03]@[0.00000](24403), [0.14128+5.47304e-03]@[0.00000](38090), [0.087557+5.39473e-03]@[0.00000](36631), [0.022599+5.39187e-03]@[0.00000](29482), [0.064035+5.39399e-03]@[0.00000](35574) ... (24)
Sep 13, 2024 11:03:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    603903 loops (362/sec), 846488364 sampling steps, 162562 aborted
    loop condition 0.0051779, exit probability 0.0043048 in initial state
    521553 explored states, 24 states in BSSCs (24 absorbing)
    401160 component updates, 6961495494 transient state updates
    Bounds: [0.12488+5.24241e-03]@[0.00000](39274), [0.14069+5.22423e-03]@[0.00000](40132), [0.0036468+5.14477e-03]@[0.00000](15133), [0.14774+5.19733e-03]@[0.00000](38268), [0.20507+5.23739e-03]@[0.00000](38779), [0.012016+5.21991e-03]@[0.00000](24472), [0.14128+5.27142e-03]@[0.00000](38160), [0.087560+5.18527e-03]@[0.00000](36711), [0.022603+5.18788e-03]@[0.00000](29550), [0.064039+5.20592e-03]@[0.00000](35659) ... (24)
Sep 13, 2024 11:03:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    605770 loops (373/sec), 849102125 sampling steps, 162751 aborted
    loop condition 0.0049739, exit probability 0.0040954 in initial state
    524938 explored states, 24 states in BSSCs (24 absorbing)
    402608 component updates, 7004765657 transient state updates
    Bounds: [0.12488+5.04079e-03]@[0.00000](39349), [0.14069+5.02702e-03]@[0.00000](40188), [0.0036559+4.94699e-03]@[0.00000](15186), [0.14775+4.99783e-03]@[0.00000](38337), [0.20508+5.03330e-03]@[0.00000](38858), [0.012021+5.02077e-03]@[0.00000](24543), [0.14128+5.06393e-03]@[0.00000](38245), [0.087563+4.97531e-03]@[0.00000](36783), [0.022608+4.98344e-03]@[0.00000](29626), [0.064043+5.00364e-03]@[0.00000](35716) ... (24)
Sep 13, 2024 11:03:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    607646 loops (375/sec), 851726255 sampling steps, 162949 aborted
    loop condition 0.0047853, exit probability 0.0039059 in initial state
    527896 explored states, 24 states in BSSCs (24 absorbing)
    404084 component updates, 7047731580 transient state updates
    Bounds: [0.12488+4.85113e-03]@[0.00000](39432), [0.14070+4.84119e-03]@[0.00000](40267), [0.0036648+4.75617e-03]@[0.00000](15254), [0.14775+4.81126e-03]@[0.00000](38406), [0.20508+4.84560e-03]@[0.00000](38941), [0.012026+4.83013e-03]@[0.00000](24604), [0.14128+4.87552e-03]@[0.00000](38316), [0.087566+4.78782e-03]@[0.00000](36868), [0.022613+4.79902e-03]@[0.00000](29699), [0.064047+4.82050e-03]@[0.00000](35794) ... (24)
Sep 13, 2024 11:03:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    609544 loops (379/sec), 854381193 sampling steps, 163140 aborted
    loop condition 0.0046055, exit probability 0.0037252 in initial state
    531017 explored states, 24 states in BSSCs (24 absorbing)
    405569 component updates, 7090811826 transient state updates
    Bounds: [0.12488+4.67394e-03]@[0.00000](39501), [0.14070+4.65972e-03]@[0.00000](40344), [0.0036735+4.57389e-03]@[0.00000](15315), [0.14775+4.64295e-03]@[0.00000](38488), [0.20508+4.66682e-03]@[0.00000](39008), [0.012031+4.64603e-03]@[0.00000](24674), [0.14129+4.70087e-03]@[0.00000](38391), [0.087569+4.61507e-03]@[0.00000](36943), [0.022618+4.62062e-03]@[0.00000](29775), [0.064051+4.63386e-03]@[0.00000](35860) ... (24)
Sep 13, 2024 11:03:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    611435 loops (378/sec), 857039592 sampling steps, 163321 aborted
    loop condition 0.0044348, exit probability 0.0035511 in initial state
    533945 explored states, 24 states in BSSCs (24 absorbing)
    407076 component updates, 7133468046 transient state updates
    Bounds: [0.12488+4.50422e-03]@[0.00000](39579), [0.14070+4.48975e-03]@[0.00000](40414), [0.0036815+4.40343e-03]@[0.00000](15394), [0.14775+4.47954e-03]@[0.00000](38556), [0.20508+4.50087e-03]@[0.00000](39087), [0.012036+4.47301e-03]@[0.00000](24734), [0.14129+4.52786e-03]@[0.00000](38452), [0.087572+4.44476e-03]@[0.00000](37036), [0.022622+4.44425e-03]@[0.00000](29851), [0.064055+4.47025e-03]@[0.00000](35935) ... (24)
Sep 13, 2024 11:03:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    613330 loops (379/sec), 859685483 sampling steps, 163486 aborted
    loop condition 0.0042665, exit probability 0.0033794 in initial state
    537088 explored states, 24 states in BSSCs (24 absorbing)
    408573 component updates, 7175534517 transient state updates
    Bounds: [0.12488+4.33707e-03]@[0.00000](39657), [0.14070+4.32322e-03]@[0.00000](40482), [0.0036898+4.23376e-03]@[0.00000](15468), [0.14775+4.31981e-03]@[0.00000](38649), [0.20508+4.33231e-03]@[0.00000](39157), [0.012040+4.30911e-03]@[0.00000](24809), [0.14129+4.35742e-03]@[0.00000](38521), [0.087575+4.27920e-03]@[0.00000](37116), [0.022627+4.27588e-03]@[0.00000](29927), [0.064059+4.30190e-03]@[0.00000](36007) ... (24)
Sep 13, 2024 11:03:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    615210 loops (375/sec), 862322540 sampling steps, 163681 aborted
    loop condition 0.0041060, exit probability 0.0032166 in initial state
    540059 explored states, 24 states in BSSCs (24 absorbing)
    410057 component updates, 7216795685 transient state updates
    Bounds: [0.12488+4.18117e-03]@[0.00000](39720), [0.14070+4.16827e-03]@[0.00000](40557), [0.0036975+4.07533e-03]@[0.00000](15534), [0.14776+4.16027e-03]@[0.00000](38734), [0.20509+4.17424e-03]@[0.00000](39240), [0.012045+4.15015e-03]@[0.00000](24881), [0.14130+4.19850e-03]@[0.00000](38594), [0.087578+4.11652e-03]@[0.00000](37190), [0.022631+4.11850e-03]@[0.00000](30001), [0.064062+4.14278e-03]@[0.00000](36086) ... (24)
Sep 13, 2024 11:04:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    617128 loops (383/sec), 865002632 sampling steps, 163884 aborted
    loop condition 0.0039541, exit probability 0.0030627 in initial state
    543320 explored states, 24 states in BSSCs (24 absorbing)
    411547 component updates, 7257831546 transient state updates
    Bounds: [0.12489+4.03362e-03]@[0.00000](39790), [0.14070+4.01211e-03]@[0.00000](40644), [0.0037049+3.92376e-03]@[0.00000](15594), [0.14776+4.01145e-03]@[0.00000](38806), [0.20509+4.01544e-03]@[0.00000](39313), [0.012049+3.99739e-03]@[0.00000](24956), [0.14130+4.04449e-03]@[0.00000](38672), [0.087580+3.96831e-03]@[0.00000](37263), [0.022635+3.96908e-03]@[0.00000](30078), [0.064066+3.99695e-03]@[0.00000](36161) ... (24)
Sep 13, 2024 11:04:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    619071 loops (388/sec), 867714781 sampling steps, 164078 aborted
    loop condition 0.0038066, exit probability 0.0029190 in initial state
    546398 explored states, 24 states in BSSCs (24 absorbing)
    413085 component updates, 7299569278 transient state updates
    Bounds: [0.12489+3.87959e-03]@[0.00000](39869), [0.14070+3.85859e-03]@[0.00000](40731), [0.0037123+3.77382e-03]@[0.00000](15673), [0.14776+3.85974e-03]@[0.00000](38886), [0.20509+3.86282e-03]@[0.00000](39386), [0.012054+3.84836e-03]@[0.00000](25020), [0.14130+3.89076e-03]@[0.00000](38758), [0.087583+3.81752e-03]@[0.00000](37345), [0.022639+3.82512e-03]@[0.00000](30164), [0.064069+3.85014e-03]@[0.00000](36232) ... (24)
Sep 13, 2024 11:04:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    621004 loops (386/sec), 870419902 sampling steps, 164286 aborted
    loop condition 0.0036756, exit probability 0.0027896 in initial state
    549401 explored states, 24 states in BSSCs (24 absorbing)
    414604 component updates, 7340166372 transient state updates
    Bounds: [0.12489+3.74570e-03]@[0.00000](39946), [0.14070+3.72905e-03]@[0.00000](40820), [0.0037186+3.64610e-03]@[0.00000](15744), [0.14776+3.71663e-03]@[0.00000](38970), [0.20509+3.72860e-03]@[0.00000](39468), [0.012058+3.71383e-03]@[0.00000](25083), [0.14131+3.75589e-03]@[0.00000](38846), [0.087585+3.68110e-03]@[0.00000](37427), [0.022643+3.69325e-03]@[0.00000](30235), [0.064072+3.71368e-03]@[0.00000](36324) ... (24)
Sep 13, 2024 11:04:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    622928 loops (384/sec), 873110120 sampling steps, 164472 aborted
    loop condition 0.0035532, exit probability 0.0026696 in initial state
    552325 explored states, 24 states in BSSCs (24 absorbing)
    416138 component updates, 7380804188 transient state updates
    Bounds: [0.12489+3.62373e-03]@[0.00000](40020), [0.14070+3.60881e-03]@[0.00000](40882), [0.0037247+3.52656e-03]@[0.00000](15812), [0.14776+3.59156e-03]@[0.00000](39055), [0.20510+3.60909e-03]@[0.00000](39543), [0.012062+3.58881e-03]@[0.00000](25156), [0.14131+3.62269e-03]@[0.00000](38928), [0.087587+3.56168e-03]@[0.00000](37517), [0.022647+3.57862e-03]@[0.00000](30314), [0.064075+3.58922e-03]@[0.00000](36409) ... (24)
Sep 13, 2024 11:04:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    624914 loops (397/sec), 875890707 sampling steps, 164696 aborted
    loop condition 0.0034305, exit probability 0.0025484 in initial state
    555246 explored states, 24 states in BSSCs (24 absorbing)
    417694 component updates, 7421151543 transient state updates
    Bounds: [0.12489+3.50016e-03]@[0.00000](40099), [0.14070+3.48920e-03]@[0.00000](40969), [0.0037308+3.40292e-03]@[0.00000](15885), [0.14776+3.46342e-03]@[0.00000](39143), [0.20510+3.48497e-03]@[0.00000](39617), [0.012065+3.46451e-03]@[0.00000](25244), [0.14131+3.49754e-03]@[0.00000](39009), [0.087590+3.43400e-03]@[0.00000](37592), [0.022650+3.46070e-03]@[0.00000](30393), [0.064079+3.46566e-03]@[0.00000](36493) ... (24)
Sep 13, 2024 11:04:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    626911 loops (399/sec), 878684542 sampling steps, 164928 aborted
    loop condition 0.0033125, exit probability 0.0024330 in initial state
    558216 explored states, 24 states in BSSCs (24 absorbing)
    419257 component updates, 7460915752 transient state updates
    Bounds: [0.12489+3.38200e-03]@[0.00000](40175), [0.14070+3.36966e-03]@[0.00000](41060), [0.0037370+3.28117e-03]@[0.00000](15960), [0.14777+3.34261e-03]@[0.00000](39218), [0.20510+3.36771e-03]@[0.00000](39701), [0.012069+3.34578e-03]@[0.00000](25323), [0.14131+3.37655e-03]@[0.00000](39094), [0.087592+3.31968e-03]@[0.00000](37671), [0.022654+3.33841e-03]@[0.00000](30470), [0.064082+3.34289e-03]@[0.00000](36563) ... (24)
Sep 13, 2024 11:04:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    628913 loops (400/sec), 881476526 sampling steps, 165154 aborted
    loop condition 0.0032009, exit probability 0.0023245 in initial state
    561380 explored states, 24 states in BSSCs (24 absorbing)
    420812 component updates, 7500189820 transient state updates
    Bounds: [0.12489+3.26924e-03]@[0.00000](40256), [0.14071+3.25698e-03]@[0.00000](41147), [0.0037427+3.16881e-03]@[0.00000](16027), [0.14777+3.22852e-03]@[0.00000](39303), [0.20510+3.26073e-03]@[0.00000](39783), [0.012073+3.23582e-03]@[0.00000](25417), [0.14132+3.26902e-03]@[0.00000](39176), [0.087594+3.20804e-03]@[0.00000](37736), [0.022657+3.22670e-03]@[0.00000](30547), [0.064085+3.22926e-03]@[0.00000](36648) ... (24)
Sep 13, 2024 11:04:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    630906 loops (398/sec), 884266476 sampling steps, 165365 aborted
    loop condition 0.0030961, exit probability 0.0022222 in initial state
    564408 explored states, 24 states in BSSCs (24 absorbing)
    422388 component updates, 7539223773 transient state updates
    Bounds: [0.12489+3.16067e-03]@[0.00000](40328), [0.14071+3.14675e-03]@[0.00000](41235), [0.0037481+3.06320e-03]@[0.00000](16102), [0.14777+3.12573e-03]@[0.00000](39373), [0.20510+3.15243e-03]@[0.00000](39887), [0.012076+3.13124e-03]@[0.00000](25507), [0.14132+3.15950e-03]@[0.00000](39258), [0.087596+3.10479e-03]@[0.00000](37817), [0.022661+3.12847e-03]@[0.00000](30624), [0.064088+3.12641e-03]@[0.00000](36735) ... (24)
Sep 13, 2024 11:04:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    632923 loops (403/sec), 887087912 sampling steps, 165602 aborted
    loop condition 0.0030022, exit probability 0.0021307 in initial state
    567506 explored states, 24 states in BSSCs (24 absorbing)
    423960 component updates, 7577515743 transient state updates
    Bounds: [0.12489+3.06599e-03]@[0.00000](40423), [0.14071+3.04889e-03]@[0.00000](41312), [0.0037530+2.96767e-03]@[0.00000](16184), [0.14777+3.02969e-03]@[0.00000](39457), [0.20510+3.05879e-03]@[0.00000](39971), [0.012079+3.03440e-03]@[0.00000](25601), [0.14132+3.06102e-03]@[0.00000](39344), [0.087598+3.01534e-03]@[0.00000](37894), [0.022664+3.03212e-03]@[0.00000](30706), [0.064090+3.02960e-03]@[0.00000](36811) ... (24)
Sep 13, 2024 11:04:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    634998 loops (414/sec), 889980904 sampling steps, 165840 aborted
    loop condition 0.0029022, exit probability 0.0020325 in initial state
    570563 explored states, 24 states in BSSCs (24 absorbing)
    425574 component updates, 7616778636 transient state updates
    Bounds: [0.12489+2.96084e-03]@[0.00000](40509), [0.14071+2.95302e-03]@[0.00000](41384), [0.0037580+2.87143e-03]@[0.00000](16261), [0.14777+2.92860e-03]@[0.00000](39539), [0.20511+2.96285e-03]@[0.00000](40061), [0.012083+2.93342e-03]@[0.00000](25689), [0.14132+2.95831e-03]@[0.00000](39433), [0.087600+2.91377e-03]@[0.00000](37999), [0.022667+2.92880e-03]@[0.00000](30785), [0.064093+2.92798e-03]@[0.00000](36873) ... (24)
Sep 13, 2024 11:04:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    637031 loops (406/sec), 892819993 sampling steps, 166068 aborted
    loop condition 0.0028104, exit probability 0.0019458 in initial state
    573622 explored states, 24 states in BSSCs (24 absorbing)
    427171 component updates, 7654546206 transient state updates
    Bounds: [0.12489+2.86886e-03]@[0.00000](40572), [0.14071+2.85592e-03]@[0.00000](41456), [0.0037628+2.77904e-03]@[0.00000](16338), [0.14777+2.83465e-03]@[0.00000](39628), [0.20511+2.86795e-03]@[0.00000](40149), [0.012086+2.84328e-03]@[0.00000](25764), [0.14133+2.86706e-03]@[0.00000](39517), [0.087602+2.82754e-03]@[0.00000](38086), [0.022670+2.83348e-03]@[0.00000](30864), [0.064096+2.83857e-03]@[0.00000](36954) ... (24)
Sep 13, 2024 11:04:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    639114 loops (416/sec), 895732648 sampling steps, 166301 aborted
    loop condition 0.0027252, exit probability 0.0018642 in initial state
    576475 explored states, 24 states in BSSCs (24 absorbing)
    428826 component updates, 7693151430 transient state updates
    Bounds: [0.12489+2.78494e-03]@[0.00000](40652), [0.14071+2.76946e-03]@[0.00000](41551), [0.0037673+2.69341e-03]@[0.00000](16394), [0.14777+2.75533e-03]@[0.00000](39733), [0.20511+2.77796e-03]@[0.00000](40226), [0.012089+2.75705e-03]@[0.00000](25834), [0.14133+2.77724e-03]@[0.00000](39607), [0.087604+2.75058e-03]@[0.00000](38181), [0.022673+2.74512e-03]@[0.00000](30939), [0.064098+2.75803e-03]@[0.00000](37039) ... (24)
Sep 13, 2024 11:05:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    641189 loops (414/sec), 898633536 sampling steps, 166548 aborted
    loop condition 0.0026462, exit probability 0.0017901 in initial state
    579531 explored states, 24 states in BSSCs (24 absorbing)
    430435 component updates, 7730103843 transient state updates
    Bounds: [0.12489+2.70718e-03]@[0.00000](40729), [0.14071+2.69744e-03]@[0.00000](41642), [0.0037713+2.61620e-03]@[0.00000](16463), [0.14778+2.67546e-03]@[0.00000](39816), [0.20511+2.70075e-03]@[0.00000](40305), [0.012091+2.67613e-03]@[0.00000](25918), [0.14133+2.69808e-03]@[0.00000](39692), [0.087605+2.67343e-03]@[0.00000](38264), [0.022676+2.66633e-03]@[0.00000](31032), [0.064100+2.67753e-03]@[0.00000](37122) ... (24)
Sep 13, 2024 11:05:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    643248 loops (411/sec), 901517391 sampling steps, 166789 aborted
    loop condition 0.0025695, exit probability 0.0017128 in initial state
    582243 explored states, 24 states in BSSCs (24 absorbing)
    432076 component updates, 7766702618 transient state updates
    Bounds: [0.12489+2.62866e-03]@[0.00000](40804), [0.14071+2.62098e-03]@[0.00000](41714), [0.0037755+2.53625e-03]@[0.00000](16533), [0.14778+2.59810e-03]@[0.00000](39907), [0.20511+2.62169e-03]@[0.00000](40384), [0.012094+2.59837e-03]@[0.00000](25996), [0.14133+2.62135e-03]@[0.00000](39772), [0.087607+2.60169e-03]@[0.00000](38369), [0.022678+2.58758e-03]@[0.00000](31101), [0.064102+2.60114e-03]@[0.00000](37204) ... (24)
Sep 13, 2024 11:05:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    645397 loops (429/sec), 904530025 sampling steps, 167062 aborted
    loop condition 0.0024919, exit probability 0.0016371 in initial state
    585018 explored states, 24 states in BSSCs (24 absorbing)
    433764 component updates, 7803825910 transient state updates
    Bounds: [0.12490+2.55095e-03]@[0.00000](40885), [0.14071+2.54696e-03]@[0.00000](41809), [0.0037793+2.46515e-03]@[0.00000](16610), [0.14778+2.52127e-03]@[0.00000](39993), [0.20511+2.54202e-03]@[0.00000](40460), [0.012097+2.52014e-03]@[0.00000](26093), [0.14133+2.54183e-03]@[0.00000](39857), [0.087609+2.52565e-03]@[0.00000](38465), [0.022681+2.50778e-03]@[0.00000](31174), [0.064105+2.52501e-03]@[0.00000](37277) ... (24)
Sep 13, 2024 11:05:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    647481 loops (416/sec), 907444260 sampling steps, 167287 aborted
    loop condition 0.0024209, exit probability 0.0015684 in initial state
    587679 explored states, 24 states in BSSCs (24 absorbing)
    435434 component updates, 7840173833 transient state updates
    Bounds: [0.12490+2.48246e-03]@[0.00000](40974), [0.14071+2.47775e-03]@[0.00000](41899), [0.0037831+2.39300e-03]@[0.00000](16704), [0.14778+2.44919e-03]@[0.00000](40076), [0.20512+2.47124e-03]@[0.00000](40549), [0.012099+2.45257e-03]@[0.00000](26166), [0.14134+2.47567e-03]@[0.00000](39924), [0.087610+2.45941e-03]@[0.00000](38545), [0.022684+2.43809e-03]@[0.00000](31270), [0.064107+2.45184e-03]@[0.00000](37362) ... (24)
Sep 13, 2024 11:05:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    649582 loops (420/sec), 910384485 sampling steps, 167529 aborted
    loop condition 0.0023558, exit probability 0.0015061 in initial state
    590407 explored states, 24 states in BSSCs (24 absorbing)
    437100 component updates, 7875333007 transient state updates
    Bounds: [0.12490+2.41786e-03]@[0.00000](41066), [0.14071+2.41405e-03]@[0.00000](41979), [0.0037864+2.32997e-03]@[0.00000](16781), [0.14778+2.38363e-03]@[0.00000](40159), [0.20512+2.40177e-03]@[0.00000](40658), [0.012102+2.38468e-03]@[0.00000](26248), [0.14134+2.40653e-03]@[0.00000](40015), [0.087612+2.39279e-03]@[0.00000](38628), [0.022686+2.37135e-03]@[0.00000](31366), [0.064109+2.39099e-03]@[0.00000](37440) ... (24)
Sep 13, 2024 11:05:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    651668 loops (417/sec), 913290541 sampling steps, 167820 aborted
    loop condition 0.0022943, exit probability 0.0014470 in initial state
    593334 explored states, 24 states in BSSCs (24 absorbing)
    438696 component updates, 7908978621 transient state updates
    Bounds: [0.12490+2.35753e-03]@[0.00000](41153), [0.14071+2.35332e-03]@[0.00000](42051), [0.0037895+2.27005e-03]@[0.00000](16863), [0.14778+2.32674e-03]@[0.00000](40231), [0.20512+2.34316e-03]@[0.00000](40733), [0.012104+2.31763e-03]@[0.00000](26339), [0.14134+2.34489e-03]@[0.00000](40098), [0.087613+2.32860e-03]@[0.00000](38733), [0.022688+2.31045e-03]@[0.00000](31457), [0.064111+2.33271e-03]@[0.00000](37518) ... (24)
Sep 13, 2024 11:05:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    653870 loops (440/sec), 916363939 sampling steps, 168090 aborted
    loop condition 0.0022313, exit probability 0.0013867 in initial state
    596336 explored states, 24 states in BSSCs (24 absorbing)
    440419 component updates, 7944423855 transient state updates
    Bounds: [0.12490+2.29260e-03]@[0.00000](41258), [0.14071+2.29065e-03]@[0.00000](42149), [0.0037928+2.20873e-03]@[0.00000](16936), [0.14778+2.26286e-03]@[0.00000](40311), [0.20512+2.28311e-03]@[0.00000](40831), [0.012106+2.25887e-03]@[0.00000](26432), [0.14134+2.27661e-03]@[0.00000](40183), [0.087615+2.26553e-03]@[0.00000](38811), [0.022690+2.24947e-03]@[0.00000](31554), [0.064113+2.26745e-03]@[0.00000](37600) ... (24)
Sep 13, 2024 11:05:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    656114 loops (448/sec), 919496295 sampling steps, 168362 aborted
    loop condition 0.0021710, exit probability 0.0013312 in initial state
    599589 explored states, 24 states in BSSCs (24 absorbing)
    442175 component updates, 7979309629 transient state updates
    Bounds: [0.12490+2.23249e-03]@[0.00000](41348), [0.14071+2.22749e-03]@[0.00000](42259), [0.0037956+2.15523e-03]@[0.00000](17021), [0.14778+2.20471e-03]@[0.00000](40388), [0.20512+2.22227e-03]@[0.00000](40922), [0.012108+2.19955e-03]@[0.00000](26523), [0.14134+2.20946e-03]@[0.00000](40278), [0.087616+2.20286e-03]@[0.00000](38900), [0.022693+2.18521e-03]@[0.00000](31640), [0.064114+2.21177e-03]@[0.00000](37689) ... (24)
Sep 13, 2024 11:05:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    658366 loops (448/sec), 922659109 sampling steps, 168644 aborted
    loop condition 0.0021153, exit probability 0.0012782 in initial state
    602255 explored states, 24 states in BSSCs (24 absorbing)
    443966 component updates, 8013993234 transient state updates
    Bounds: [0.12490+2.17446e-03]@[0.00000](41449), [0.14071+2.16958e-03]@[0.00000](42340), [0.0037985+2.10011e-03]@[0.00000](17094), [0.14778+2.14940e-03]@[0.00000](40484), [0.20512+2.16491e-03]@[0.00000](41022), [0.012110+2.14385e-03]@[0.00000](26608), [0.14135+2.15459e-03]@[0.00000](40378), [0.087618+2.14529e-03]@[0.00000](38995), [0.022695+2.13183e-03]@[0.00000](31723), [0.064116+2.15652e-03]@[0.00000](37784) ... (24)
Sep 13, 2024 11:05:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    660680 loops (462/sec), 925895563 sampling steps, 168956 aborted
    loop condition 0.0020628, exit probability 0.0012282 in initial state
    605225 explored states, 24 states in BSSCs (24 absorbing)
    445767 component updates, 8048091759 transient state updates
    Bounds: [0.12490+2.12447e-03]@[0.00000](41551), [0.14071+2.11347e-03]@[0.00000](42422), [0.0038013+2.04679e-03]@[0.00000](17175), [0.14779+2.09763e-03]@[0.00000](40590), [0.20512+2.11238e-03]@[0.00000](41120), [0.012112+2.09288e-03]@[0.00000](26692), [0.14135+2.10113e-03]@[0.00000](40453), [0.087619+2.09034e-03]@[0.00000](39091), [0.022697+2.07856e-03]@[0.00000](31847), [0.064118+2.09941e-03]@[0.00000](37881) ... (24)
Sep 13, 2024 11:05:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    662971 loops (451/sec), 929110775 sampling steps, 169258 aborted
    loop condition 0.0020142, exit probability 0.0011814 in initial state
    607853 explored states, 24 states in BSSCs (24 absorbing)
    447577 component updates, 8081854656 transient state updates
    Bounds: [0.12490+2.07634e-03]@[0.00000](41655), [0.14072+2.06322e-03]@[0.00000](42501), [0.0038039+1.99806e-03]@[0.00000](17249), [0.14779+2.04948e-03]@[0.00000](40685), [0.20512+2.06700e-03]@[0.00000](41212), [0.012114+2.04353e-03]@[0.00000](26776), [0.14135+2.05325e-03]@[0.00000](40556), [0.087620+2.04561e-03]@[0.00000](39184), [0.022698+2.03068e-03]@[0.00000](31947), [0.064120+2.04571e-03]@[0.00000](37988) ... (24)
Sep 13, 2024 11:05:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    665359 loops (477/sec), 932444836 sampling steps, 169551 aborted
    loop condition 0.0019627, exit probability 0.0011337 in initial state
    611101 explored states, 24 states in BSSCs (24 absorbing)
    449437 component updates, 8115761761 transient state updates
    Bounds: [0.12490+2.02501e-03]@[0.00000](41743), [0.14072+2.01133e-03]@[0.00000](42593), [0.0038065+1.94795e-03]@[0.00000](17329), [0.14779+1.99886e-03]@[0.00000](40771), [0.20513+2.01161e-03]@[0.00000](41325), [0.012116+1.99156e-03]@[0.00000](26878), [0.14135+2.00432e-03]@[0.00000](40662), [0.087622+1.99261e-03]@[0.00000](39286), [0.022700+1.98122e-03]@[0.00000](32027), [0.064121+1.99607e-03]@[0.00000](38091) ... (24)
Sep 13, 2024 11:06:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    667687 loops (465/sec), 935707865 sampling steps, 169853 aborted
    loop condition 0.0019177, exit probability 0.0010902 in initial state
    613874 explored states, 24 states in BSSCs (24 absorbing)
    451277 component updates, 8148531929 transient state updates
    Bounds: [0.12490+1.97972e-03]@[0.00000](41821), [0.14072+1.96437e-03]@[0.00000](42700), [0.0038088+1.90582e-03]@[0.00000](17420), [0.14779+1.95293e-03]@[0.00000](40879), [0.20513+1.96938e-03]@[0.00000](41426), [0.012117+1.94635e-03]@[0.00000](26962), [0.14135+1.96132e-03]@[0.00000](40759), [0.087623+1.95113e-03]@[0.00000](39376), [0.022702+1.93560e-03]@[0.00000](32113), [0.064123+1.95365e-03]@[0.00000](38176) ... (24)
Sep 13, 2024 11:06:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    670058 loops (474/sec), 939031227 sampling steps, 170159 aborted
    loop condition 0.0018725, exit probability 0.0010472 in initial state
    616621 explored states, 24 states in BSSCs (24 absorbing)
    453157 component updates, 8181461561 transient state updates
    Bounds: [0.12490+1.93433e-03]@[0.00000](41929), [0.14072+1.91985e-03]@[0.00000](42792), [0.0038110+1.86254e-03]@[0.00000](17506), [0.14779+1.90934e-03]@[0.00000](40971), [0.20513+1.92563e-03]@[0.00000](41528), [0.012119+1.90372e-03]@[0.00000](27059), [0.14135+1.91486e-03]@[0.00000](40866), [0.087624+1.90947e-03]@[0.00000](39485), [0.022704+1.88859e-03]@[0.00000](32203), [0.064124+1.90850e-03]@[0.00000](38278) ... (24)
Sep 13, 2024 11:06:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    672467 loops (481/sec), 942404913 sampling steps, 170482 aborted
    loop condition 0.0018306, exit probability 0.0010064 in initial state
    619526 explored states, 24 states in BSSCs (24 absorbing)
    455045 component updates, 8213480543 transient state updates
    Bounds: [0.12490+1.89264e-03]@[0.00000](42005), [0.14072+1.87667e-03]@[0.00000](42905), [0.0038133+1.81957e-03]@[0.00000](17602), [0.14779+1.87128e-03]@[0.00000](41071), [0.20513+1.88435e-03]@[0.00000](41640), [0.012121+1.86204e-03]@[0.00000](27141), [0.14135+1.87060e-03]@[0.00000](40957), [0.087625+1.86656e-03]@[0.00000](39585), [0.022705+1.84723e-03]@[0.00000](32297), [0.064126+1.86762e-03]@[0.00000](38391) ... (24)
Sep 13, 2024 11:06:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    674940 loops (494/sec), 945881232 sampling steps, 170826 aborted
    loop condition 0.0017904, exit probability 0.00096794 in initial state
    622215 explored states, 24 states in BSSCs (24 absorbing)
    456995 component updates, 8245705471 transient state updates
    Bounds: [0.12490+1.84948e-03]@[0.00000](42119), [0.14072+1.83451e-03]@[0.00000](43005), [0.0038153+1.78194e-03]@[0.00000](17714), [0.14779+1.83193e-03]@[0.00000](41158), [0.20513+1.84141e-03]@[0.00000](41754), [0.012122+1.82040e-03]@[0.00000](27239), [0.14135+1.83092e-03]@[0.00000](41068), [0.087626+1.82489e-03]@[0.00000](39683), [0.022707+1.80575e-03]@[0.00000](32408), [0.064127+1.82598e-03]@[0.00000](38497) ... (24)
Sep 13, 2024 11:06:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    677443 loops (500/sec), 949385778 sampling steps, 171155 aborted
    loop condition 0.0017526, exit probability 0.00093243 in initial state
    625026 explored states, 24 states in BSSCs (24 absorbing)
    458970 component updates, 8277516156 transient state updates
    Bounds: [0.12490+1.80756e-03]@[0.00000](42225), [0.14072+1.79591e-03]@[0.00000](43099), [0.0038172+1.74444e-03]@[0.00000](17813), [0.14779+1.79523e-03]@[0.00000](41278), [0.20513+1.80233e-03]@[0.00000](41854), [0.012124+1.77993e-03]@[0.00000](27337), [0.14136+1.79329e-03]@[0.00000](41174), [0.087627+1.79159e-03]@[0.00000](39778), [0.022708+1.76679e-03]@[0.00000](32499), [0.064128+1.78695e-03]@[0.00000](38598) ... (24)
Sep 13, 2024 11:06:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    679935 loops (498/sec), 952885627 sampling steps, 171492 aborted
    loop condition 0.0017144, exit probability 0.00089713 in initial state
    627819 explored states, 24 states in BSSCs (24 absorbing)
    460939 component updates, 8308465398 transient state updates
    Bounds: [0.12490+1.76861e-03]@[0.00000](42324), [0.14072+1.76037e-03]@[0.00000](43213), [0.0038191+1.70758e-03]@[0.00000](17888), [0.14779+1.75754e-03]@[0.00000](41369), [0.20513+1.76512e-03]@[0.00000](41941), [0.012125+1.74490e-03]@[0.00000](27429), [0.14136+1.75711e-03]@[0.00000](41277), [0.087628+1.75091e-03]@[0.00000](39876), [0.022710+1.72850e-03]@[0.00000](32600), [0.064130+1.75108e-03]@[0.00000](38709) ... (24)
Sep 13, 2024 11:06:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    682485 loops (510/sec), 956469236 sampling steps, 171824 aborted
    loop condition 0.0016778, exit probability 0.00086247 in initial state
    630549 explored states, 24 states in BSSCs (24 absorbing)
    462974 component updates, 8339309926 transient state updates
    Bounds: [0.12490+1.73019e-03]@[0.00000](42433), [0.14072+1.72437e-03]@[0.00000](43323), [0.0038211+1.67114e-03]@[0.00000](17962), [0.14779+1.71584e-03]@[0.00000](41469), [0.20513+1.73024e-03]@[0.00000](42052), [0.012126+1.70756e-03]@[0.00000](27510), [0.14136+1.72199e-03]@[0.00000](41395), [0.087629+1.71193e-03]@[0.00000](39991), [0.022711+1.69121e-03]@[0.00000](32697), [0.064131+1.71541e-03]@[0.00000](38832) ... (24)
Sep 13, 2024 11:06:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    685049 loops (512/sec), 960063810 sampling steps, 172191 aborted
    loop condition 0.0016434, exit probability 0.00083067 in initial state
    633303 explored states, 24 states in BSSCs (24 absorbing)
    464990 component updates, 8369491520 transient state updates
    Bounds: [0.12490+1.69828e-03]@[0.00000](42531), [0.14072+1.68817e-03]@[0.00000](43444), [0.0038228+1.63708e-03]@[0.00000](18059), [0.14779+1.67861e-03]@[0.00000](41571), [0.20513+1.69127e-03]@[0.00000](42150), [0.012128+1.67010e-03]@[0.00000](27595), [0.14136+1.68636e-03]@[0.00000](41494), [0.087630+1.67709e-03]@[0.00000](40095), [0.022712+1.65801e-03]@[0.00000](32809), [0.064132+1.67829e-03]@[0.00000](38918) ... (24)
Sep 13, 2024 11:06:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    687663 loops (522/sec), 963739264 sampling steps, 172553 aborted
    loop condition 0.0016096, exit probability 0.00080024 in initial state
    636031 explored states, 24 states in BSSCs (24 absorbing)
    467064 component updates, 8399306863 transient state updates
    Bounds: [0.12490+1.66563e-03]@[0.00000](42636), [0.14072+1.65212e-03]@[0.00000](43548), [0.0038246+1.60321e-03]@[0.00000](18169), [0.14779+1.64426e-03]@[0.00000](41692), [0.20513+1.65446e-03]@[0.00000](42250), [0.012129+1.63866e-03]@[0.00000](27695), [0.14136+1.65426e-03]@[0.00000](41589), [0.087631+1.64424e-03]@[0.00000](40239), [0.022714+1.62579e-03]@[0.00000](32911), [0.064133+1.64117e-03]@[0.00000](39018) ... (24)
Sep 13, 2024 11:06:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    690372 loops (541/sec), 967548036 sampling steps, 172920 aborted
    loop condition 0.0015771, exit probability 0.00077102 in initial state
    638752 explored states, 24 states in BSSCs (24 absorbing)
    469221 component updates, 8429397765 transient state updates
    Bounds: [0.12490+1.63046e-03]@[0.00000](42742), [0.14072+1.61797e-03]@[0.00000](43647), [0.0038262+1.57348e-03]@[0.00000](18259), [0.14780+1.60940e-03]@[0.00000](41810), [0.20514+1.62191e-03]@[0.00000](42356), [0.012130+1.60477e-03]@[0.00000](27817), [0.14136+1.62536e-03]@[0.00000](41710), [0.087632+1.61241e-03]@[0.00000](40356), [0.022715+1.59692e-03]@[0.00000](33013), [0.064134+1.60969e-03]@[0.00000](39140) ... (24)
Sep 13, 2024 11:06:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    693075 loops (540/sec), 971350077 sampling steps, 173282 aborted
    loop condition 0.0015475, exit probability 0.00074208 in initial state
    641574 explored states, 24 states in BSSCs (24 absorbing)
    471361 component updates, 8458380349 transient state updates
    Bounds: [0.12490+1.60194e-03]@[0.00000](42854), [0.14072+1.58881e-03]@[0.00000](43761), [0.0038277+1.54391e-03]@[0.00000](18358), [0.14780+1.57968e-03]@[0.00000](41919), [0.20514+1.59272e-03]@[0.00000](42449), [0.012132+1.57357e-03]@[0.00000](27924), [0.14136+1.59364e-03]@[0.00000](41831), [0.087632+1.58367e-03]@[0.00000](40463), [0.022716+1.56700e-03]@[0.00000](33131), [0.064135+1.57953e-03]@[0.00000](39242) ... (24)
Sep 13, 2024 11:06:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    695858 loops (556/sec), 975258895 sampling steps, 173666 aborted
    loop condition 0.0015190, exit probability 0.00071589 in initial state
    644542 explored states, 24 states in BSSCs (24 absorbing)
    473553 component updates, 8487396582 transient state updates
    Bounds: [0.12490+1.57705e-03]@[0.00000](42983), [0.14072+1.55996e-03]@[0.00000](43879), [0.0038292+1.51537e-03]@[0.00000](18455), [0.14780+1.55140e-03]@[0.00000](42038), [0.20514+1.56430e-03]@[0.00000](42551), [0.012133+1.54634e-03]@[0.00000](28018), [0.14136+1.56568e-03]@[0.00000](41964), [0.087633+1.55416e-03]@[0.00000](40585), [0.022717+1.53851e-03]@[0.00000](33230), [0.064136+1.55118e-03]@[0.00000](39381) ... (24)
Sep 13, 2024 11:07:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    698699 loops (568/sec), 979256242 sampling steps, 174051 aborted
    loop condition 0.0014907, exit probability 0.00068925 in initial state
    647334 explored states, 24 states in BSSCs (24 absorbing)
    475822 component updates, 8516184741 transient state updates
    Bounds: [0.12490+1.54740e-03]@[0.00000](43114), [0.14072+1.53147e-03]@[0.00000](43990), [0.0038306+1.48835e-03]@[0.00000](18541), [0.14780+1.52366e-03]@[0.00000](42160), [0.20514+1.53687e-03]@[0.00000](42680), [0.012134+1.51657e-03]@[0.00000](28115), [0.14136+1.53725e-03]@[0.00000](42073), [0.087634+1.52930e-03]@[0.00000](40718), [0.022718+1.50688e-03]@[0.00000](33362), [0.064137+1.52294e-03]@[0.00000](39503) ... (24)
Sep 13, 2024 11:07:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    701519 loops (563/sec), 983234191 sampling steps, 174387 aborted
    loop condition 0.0014630, exit probability 0.00066444 in initial state
    649957 explored states, 24 states in BSSCs (24 absorbing)
    478124 component updates, 8544549372 transient state updates
    Bounds: [0.12490+1.51731e-03]@[0.00000](43235), [0.14072+1.50251e-03]@[0.00000](44126), [0.0038319+1.46270e-03]@[0.00000](18656), [0.14780+1.49580e-03]@[0.00000](42270), [0.20514+1.51181e-03]@[0.00000](42799), [0.012135+1.49017e-03]@[0.00000](28243), [0.14136+1.50863e-03]@[0.00000](42201), [0.087635+1.50304e-03]@[0.00000](40844), [0.022719+1.48028e-03]@[0.00000](33489), [0.064138+1.49480e-03]@[0.00000](39611) ... (24)
Sep 13, 2024 11:07:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    704396 loops (575/sec), 987286658 sampling steps, 174770 aborted
    loop condition 0.0014374, exit probability 0.00064011 in initial state
    652603 explored states, 24 states in BSSCs (24 absorbing)
    480444 component updates, 8572177050 transient state updates
    Bounds: [0.12490+1.48937e-03]@[0.00000](43365), [0.14072+1.47580e-03]@[0.00000](44248), [0.0038332+1.43951e-03]@[0.00000](18780), [0.14780+1.47005e-03]@[0.00000](42384), [0.20514+1.48735e-03]@[0.00000](42927), [0.012136+1.46376e-03]@[0.00000](28353), [0.14137+1.48082e-03]@[0.00000](42337), [0.087635+1.47728e-03]@[0.00000](40954), [0.022720+1.45738e-03]@[0.00000](33584), [0.064139+1.46791e-03]@[0.00000](39728) ... (24)
Sep 13, 2024 11:07:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    707300 loops (580/sec), 991369246 sampling steps, 175141 aborted
    loop condition 0.0014139, exit probability 0.00061646 in initial state
    655481 explored states, 24 states in BSSCs (24 absorbing)
    482776 component updates, 8599212346 transient state updates
    Bounds: [0.12491+1.46376e-03]@[0.00000](43485), [0.14072+1.45229e-03]@[0.00000](44365), [0.0038344+1.41561e-03]@[0.00000](18900), [0.14780+1.44773e-03]@[0.00000](42476), [0.20514+1.46502e-03]@[0.00000](43074), [0.012137+1.44130e-03]@[0.00000](28469), [0.14137+1.45759e-03]@[0.00000](42467), [0.087636+1.45313e-03]@[0.00000](41076), [0.022721+1.43676e-03]@[0.00000](33689), [0.064140+1.44430e-03]@[0.00000](39833) ... (24)
Sep 13, 2024 11:07:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    710314 loops (602/sec), 995609897 sampling steps, 175555 aborted
    loop condition 0.0013908, exit probability 0.00059258 in initial state
    658321 explored states, 24 states in BSSCs (24 absorbing)
    485183 component updates, 8625938059 transient state updates
    Bounds: [0.12491+1.44181e-03]@[0.00000](43620), [0.14072+1.42769e-03]@[0.00000](44493), [0.0038356+1.39198e-03]@[0.00000](19007), [0.14780+1.42443e-03]@[0.00000](42592), [0.20514+1.44280e-03]@[0.00000](43191), [0.012137+1.41654e-03]@[0.00000](28581), [0.14137+1.43426e-03]@[0.00000](42592), [0.087637+1.43065e-03]@[0.00000](41221), [0.022722+1.41437e-03]@[0.00000](33810), [0.064141+1.42173e-03]@[0.00000](39957) ... (24)
Sep 13, 2024 11:07:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    713366 loops (610/sec), 999912023 sampling steps, 175977 aborted
    loop condition 0.0013683, exit probability 0.00057245 in initial state
    661139 explored states, 24 states in BSSCs (24 absorbing)
    487621 component updates, 8652006519 transient state updates
    Bounds: [0.12491+1.41883e-03]@[0.00000](43732), [0.14072+1.40482e-03]@[0.00000](44624), [0.0038368+1.36923e-03]@[0.00000](19135), [0.14780+1.40218e-03]@[0.00000](42732), [0.20514+1.41968e-03]@[0.00000](43326), [0.012138+1.39330e-03]@[0.00000](28703), [0.14137+1.41249e-03]@[0.00000](42719), [0.087637+1.40731e-03]@[0.00000](41352), [0.022723+1.39013e-03]@[0.00000](33928), [0.064142+1.39860e-03]@[0.00000](40074) ... (24)
Sep 13, 2024 11:07:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    716507 loops (628/sec), 1004351700 sampling steps, 176440 aborted
    loop condition 0.0013469, exit probability 0.00055327 in initial state
    663860 explored states, 24 states in BSSCs (24 absorbing)
    490118 component updates, 8677867354 transient state updates
    Bounds: [0.12491+1.39835e-03]@[0.00000](43855), [0.14072+1.38620e-03]@[0.00000](44731), [0.0038380+1.34590e-03]@[0.00000](19243), [0.14780+1.38031e-03]@[0.00000](42869), [0.20514+1.39735e-03]@[0.00000](43455), [0.012139+1.37508e-03]@[0.00000](28848), [0.14137+1.38939e-03]@[0.00000](42855), [0.087638+1.38482e-03]@[0.00000](41466), [0.022724+1.36817e-03]@[0.00000](34067), [0.064142+1.37726e-03]@[0.00000](40196) ... (24)
Sep 13, 2024 11:07:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    719739 loops (646/sec), 1008898795 sampling steps, 176910 aborted
    loop condition 0.0013272, exit probability 0.00053477 in initial state
    666991 explored states, 24 states in BSSCs (24 absorbing)
    492662 component updates, 8703001937 transient state updates
    Bounds: [0.12491+1.37941e-03]@[0.00000](43976), [0.14072+1.36836e-03]@[0.00000](44856), [0.0038390+1.32636e-03]@[0.00000](19363), [0.14780+1.36018e-03]@[0.00000](42978), [0.20514+1.37637e-03]@[0.00000](43589), [0.012140+1.35494e-03]@[0.00000](28992), [0.14137+1.36942e-03]@[0.00000](42998), [0.087638+1.36587e-03]@[0.00000](41612), [0.022724+1.34903e-03]@[0.00000](34190), [0.064143+1.35877e-03]@[0.00000](40361) ... (24)
Sep 13, 2024 11:07:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    722918 loops (635/sec), 1013393599 sampling steps, 177329 aborted
    loop condition 0.0013079, exit probability 0.00051614 in initial state
    669617 explored states, 24 states in BSSCs (24 absorbing)
    495253 component updates, 8728034875 transient state updates
    Bounds: [0.12491+1.35948e-03]@[0.00000](44113), [0.14072+1.34888e-03]@[0.00000](44996), [0.0038399+1.30992e-03]@[0.00000](19452), [0.14780+1.34163e-03]@[0.00000](43123), [0.20514+1.35626e-03]@[0.00000](43716), [0.012141+1.33470e-03]@[0.00000](29112), [0.14137+1.35106e-03]@[0.00000](43135), [0.087639+1.34698e-03]@[0.00000](41756), [0.022725+1.32960e-03]@[0.00000](34316), [0.064144+1.34076e-03]@[0.00000](40502) ... (24)
Sep 13, 2024 11:07:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    726275 loops (671/sec), 1018140980 sampling steps, 177785 aborted
    loop condition 0.0012880, exit probability 0.00049738 in initial state
    672377 explored states, 24 states in BSSCs (24 absorbing)
    497975 component updates, 8752899426 transient state updates
    Bounds: [0.12491+1.33927e-03]@[0.00000](44246), [0.14072+1.32988e-03]@[0.00000](45161), [0.0038408+1.29101e-03]@[0.00000](19581), [0.14780+1.32205e-03]@[0.00000](43258), [0.20514+1.33527e-03]@[0.00000](43862), [0.012141+1.31656e-03]@[0.00000](29246), [0.14137+1.33165e-03]@[0.00000](43280), [0.087640+1.32644e-03]@[0.00000](41896), [0.022726+1.30864e-03]@[0.00000](34436), [0.064145+1.32140e-03]@[0.00000](40637) ... (24)
Sep 13, 2024 11:07:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    729631 loops (671/sec), 1022877488 sampling steps, 178251 aborted
    loop condition 0.0012694, exit probability 0.00048069 in initial state
    675327 explored states, 24 states in BSSCs (24 absorbing)
    500668 component updates, 8776941515 transient state updates
    Bounds: [0.12491+1.31872e-03]@[0.00000](44374), [0.14072+1.31032e-03]@[0.00000](45288), [0.0038418+1.27264e-03]@[0.00000](19707), [0.14780+1.30434e-03]@[0.00000](43396), [0.20514+1.31602e-03]@[0.00000](44024), [0.012142+1.29662e-03]@[0.00000](29384), [0.14137+1.31119e-03]@[0.00000](43411), [0.087640+1.30763e-03]@[0.00000](42037), [0.022727+1.29175e-03]@[0.00000](34586), [0.064145+1.30447e-03]@[0.00000](40794) ... (24)
Sep 13, 2024 11:07:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    733058 loops (685/sec), 1027723287 sampling steps, 178718 aborted
    loop condition 0.0012511, exit probability 0.00046397 in initial state
    678001 explored states, 24 states in BSSCs (24 absorbing)
    503456 component updates, 8800380290 transient state updates
    Bounds: [0.12491+1.30004e-03]@[0.00000](44535), [0.14072+1.29348e-03]@[0.00000](45450), [0.0038427+1.25457e-03]@[0.00000](19842), [0.14780+1.28586e-03]@[0.00000](43553), [0.20514+1.29735e-03]@[0.00000](44155), [0.012143+1.27804e-03]@[0.00000](29512), [0.14137+1.29195e-03]@[0.00000](43547), [0.087641+1.28851e-03]@[0.00000](42197), [0.022727+1.27234e-03]@[0.00000](34719), [0.064146+1.28727e-03]@[0.00000](40932) ... (24)
Sep 13, 2024 11:08:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    736566 loops (701/sec), 1032686093 sampling steps, 179186 aborted
    loop condition 0.0012349, exit probability 0.00044823 in initial state
    680633 explored states, 24 states in BSSCs (24 absorbing)
    506330 component updates, 8823432441 transient state updates
    Bounds: [0.12491+1.28309e-03]@[0.00000](44689), [0.14072+1.27762e-03]@[0.00000](45613), [0.0038435+1.23963e-03]@[0.00000](19996), [0.14780+1.27015e-03]@[0.00000](43675), [0.20514+1.28141e-03]@[0.00000](44296), [0.012143+1.26282e-03]@[0.00000](29664), [0.14137+1.27519e-03]@[0.00000](43686), [0.087641+1.27084e-03]@[0.00000](42350), [0.022728+1.25574e-03]@[0.00000](34858), [0.064146+1.27217e-03]@[0.00000](41087) ... (24)
Sep 13, 2024 11:08:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    740168 loops (720/sec), 1037786145 sampling steps, 179711 aborted
    loop condition 0.0012192, exit probability 0.00043241 in initial state
    683310 explored states, 24 states in BSSCs (24 absorbing)
    509231 component updates, 8845741103 transient state updates
    Bounds: [0.12491+1.26466e-03]@[0.00000](44864), [0.14072+1.26067e-03]@[0.00000](45784), [0.0038442+1.22598e-03]@[0.00000](20106), [0.14780+1.25408e-03]@[0.00000](43841), [0.20514+1.26502e-03]@[0.00000](44475), [0.012144+1.24614e-03]@[0.00000](29794), [0.14137+1.25904e-03]@[0.00000](43832), [0.087642+1.25408e-03]@[0.00000](42486), [0.022729+1.24131e-03]@[0.00000](35000), [0.064147+1.25502e-03]@[0.00000](41246) ... (24)
Sep 13, 2024 11:08:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    743890 loops (744/sec), 1043053628 sampling steps, 180242 aborted
    loop condition 0.0012033, exit probability 0.00041741 in initial state
    686184 explored states, 24 states in BSSCs (24 absorbing)
    512241 component updates, 8867773268 transient state updates
    Bounds: [0.12491+1.25032e-03]@[0.00000](45010), [0.14072+1.24548e-03]@[0.00000](45933), [0.0038450+1.21105e-03]@[0.00000](20224), [0.14780+1.24031e-03]@[0.00000](44012), [0.20514+1.24780e-03]@[0.00000](44618), [0.012145+1.22957e-03]@[0.00000](29973), [0.14137+1.24172e-03]@[0.00000](43993), [0.087642+1.23825e-03]@[0.00000](42649), [0.022729+1.22600e-03]@[0.00000](35165), [0.064148+1.23840e-03]@[0.00000](41393) ... (24)
Sep 13, 2024 11:08:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    747663 loops (750/sec), 1048404186 sampling steps, 180774 aborted
    loop condition 0.0011880, exit probability 0.00040403 in initial state
    688971 explored states, 24 states in BSSCs (24 absorbing)
    515289 component updates, 8888900872 transient state updates
    Bounds: [0.12491+1.23438e-03]@[0.00000](45172), [0.14073+1.22928e-03]@[0.00000](46081), [0.0038457+1.19787e-03]@[0.00000](20342), [0.14780+1.22425e-03]@[0.00000](44202), [0.20515+1.23123e-03]@[0.00000](44777), [0.012145+1.21296e-03]@[0.00000](30122), [0.14137+1.22513e-03]@[0.00000](44140), [0.087643+1.22347e-03]@[0.00000](42798), [0.022730+1.20836e-03]@[0.00000](35346), [0.064148+1.22517e-03]@[0.00000](41556) ... (24)
Sep 13, 2024 11:08:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    751560 loops (779/sec), 1053919973 sampling steps, 181349 aborted
    loop condition 0.0011746, exit probability 0.00039129 in initial state
    691739 explored states, 24 states in BSSCs (24 absorbing)
    518427 component updates, 8909901637 transient state updates
    Bounds: [0.12491+1.22104e-03]@[0.00000](45330), [0.14073+1.21662e-03]@[0.00000](46245), [0.0038463+1.18527e-03]@[0.00000](20474), [0.14780+1.21019e-03]@[0.00000](44355), [0.20515+1.21591e-03]@[0.00000](44962), [0.012146+1.19792e-03]@[0.00000](30277), [0.14137+1.21140e-03]@[0.00000](44301), [0.087643+1.20944e-03]@[0.00000](42988), [0.022730+1.19471e-03]@[0.00000](35507), [0.064149+1.21095e-03]@[0.00000](41716) ... (24)
Sep 13, 2024 11:08:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    755596 loops (807/sec), 1059616301 sampling steps, 181973 aborted
    loop condition 0.0011613, exit probability 0.00037825 in initial state
    694719 explored states, 24 states in BSSCs (24 absorbing)
    521638 component updates, 8930093083 transient state updates
    Bounds: [0.12491+1.20687e-03]@[0.00000](45480), [0.14073+1.20368e-03]@[0.00000](46417), [0.0038470+1.17266e-03]@[0.00000](20617), [0.14780+1.19602e-03]@[0.00000](44527), [0.20515+1.20291e-03]@[0.00000](45150), [0.012147+1.18276e-03]@[0.00000](30441), [0.14138+1.19895e-03]@[0.00000](44467), [0.087643+1.19611e-03]@[0.00000](43149), [0.022731+1.18326e-03]@[0.00000](35659), [0.064149+1.19795e-03]@[0.00000](41893) ... (24)
Sep 13, 2024 11:08:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    759669 loops (814/sec), 1065388756 sampling steps, 182527 aborted
    loop condition 0.0011485, exit probability 0.00036563 in initial state
    697660 explored states, 24 states in BSSCs (24 absorbing)
    524960 component updates, 8950002255 transient state updates
    Bounds: [0.12491+1.19325e-03]@[0.00000](45645), [0.14073+1.19050e-03]@[0.00000](46579), [0.0038476+1.16056e-03]@[0.00000](20776), [0.14780+1.18345e-03]@[0.00000](44702), [0.20515+1.18776e-03]@[0.00000](45320), [0.012147+1.17018e-03]@[0.00000](30613), [0.14138+1.18432e-03]@[0.00000](44633), [0.087644+1.18180e-03]@[0.00000](43325), [0.022731+1.17015e-03]@[0.00000](35827), [0.064149+1.18611e-03]@[0.00000](42095) ... (24)
Sep 13, 2024 11:08:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    763857 loops (837/sec), 1071327767 sampling steps, 183184 aborted
    loop condition 0.0011367, exit probability 0.00035314 in initial state
    700357 explored states, 24 states in BSSCs (24 absorbing)
    528322 component updates, 8968880490 transient state updates
    Bounds: [0.12491+1.18081e-03]@[0.00000](45805), [0.14073+1.17744e-03]@[0.00000](46764), [0.0038482+1.14881e-03]@[0.00000](20944), [0.14781+1.17117e-03]@[0.00000](44870), [0.20515+1.17642e-03]@[0.00000](45499), [0.012148+1.15845e-03]@[0.00000](30759), [0.14138+1.17179e-03]@[0.00000](44806), [0.087644+1.16941e-03]@[0.00000](43519), [0.022732+1.15822e-03]@[0.00000](35985), [0.064150+1.17418e-03]@[0.00000](42285) ... (24)
Sep 13, 2024 11:08:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    768105 loops (849/sec), 1077360569 sampling steps, 183826 aborted
    loop condition 0.0011248, exit probability 0.00034099 in initial state
    703214 explored states, 24 states in BSSCs (24 absorbing)
    531743 component updates, 8987186360 transient state updates
    Bounds: [0.12491+1.16812e-03]@[0.00000](45969), [0.14073+1.16428e-03]@[0.00000](46935), [0.0038488+1.13692e-03]@[0.00000](21111), [0.14781+1.15911e-03]@[0.00000](45060), [0.20515+1.16418e-03]@[0.00000](45663), [0.012148+1.14627e-03]@[0.00000](30927), [0.14138+1.15840e-03]@[0.00000](44990), [0.087644+1.15707e-03]@[0.00000](43697), [0.022732+1.14659e-03]@[0.00000](36153), [0.064150+1.16213e-03]@[0.00000](42457) ... (24)
Sep 13, 2024 11:08:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    772449 loops (868/sec), 1083524780 sampling steps, 184502 aborted
    loop condition 0.0011142, exit probability 0.00032996 in initial state
    705985 explored states, 24 states in BSSCs (24 absorbing)
    535236 component updates, 9004700418 transient state updates
    Bounds: [0.12491+1.15881e-03]@[0.00000](46147), [0.14073+1.15321e-03]@[0.00000](47123), [0.0038494+1.12599e-03]@[0.00000](21257), [0.14781+1.14863e-03]@[0.00000](45222), [0.20515+1.15354e-03]@[0.00000](45846), [0.012148+1.13513e-03]@[0.00000](31103), [0.14138+1.14639e-03]@[0.00000](45180), [0.087645+1.14625e-03]@[0.00000](43879), [0.022733+1.13564e-03]@[0.00000](36338), [0.064151+1.15127e-03]@[0.00000](42647) ... (24)
Sep 13, 2024 11:08:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    776970 loops (904/sec), 1089943444 sampling steps, 185185 aborted
    loop condition 0.0011035, exit probability 0.00031908 in initial state
    708735 explored states, 24 states in BSSCs (24 absorbing)
    538891 component updates, 9022195711 transient state updates
    Bounds: [0.12491+1.14849e-03]@[0.00000](46316), [0.14073+1.14214e-03]@[0.00000](47316), [0.0038499+1.11512e-03]@[0.00000](21423), [0.14781+1.13799e-03]@[0.00000](45419), [0.20515+1.14232e-03]@[0.00000](46052), [0.012149+1.12377e-03]@[0.00000](31281), [0.14138+1.13587e-03]@[0.00000](45340), [0.087645+1.13547e-03]@[0.00000](44100), [0.022733+1.12403e-03]@[0.00000](36539), [0.064151+1.14018e-03]@[0.00000](42863) ... (24)
Sep 13, 2024 11:08:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    781511 loops (908/sec), 1096395794 sampling steps, 185859 aborted
    loop condition 0.0010938, exit probability 0.00030906 in initial state
    711549 explored states, 24 states in BSSCs (24 absorbing)
    542575 component updates, 9038588674 transient state updates
    Bounds: [0.12491+1.13765e-03]@[0.00000](46504), [0.14073+1.13301e-03]@[0.00000](47505), [0.0038504+1.10614e-03]@[0.00000](21580), [0.14781+1.12761e-03]@[0.00000](45625), [0.20515+1.13342e-03]@[0.00000](46232), [0.012149+1.11201e-03]@[0.00000](31472), [0.14138+1.12663e-03]@[0.00000](45536), [0.087645+1.12525e-03]@[0.00000](44277), [0.022734+1.11285e-03]@[0.00000](36735), [0.064152+1.13048e-03]@[0.00000](43060) ... (24)
Sep 13, 2024 11:09:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    786262 loops (950/sec), 1103142729 sampling steps, 186628 aborted
    loop condition 0.0010847, exit probability 0.00029953 in initial state
    714692 explored states, 24 states in BSSCs (24 absorbing)
    546356 component updates, 9054327467 transient state updates
    Bounds: [0.12491+1.12735e-03]@[0.00000](46724), [0.14073+1.12397e-03]@[0.00000](47698), [0.0038509+1.09684e-03]@[0.00000](21739), [0.14781+1.11791e-03]@[0.00000](45829), [0.20515+1.12580e-03]@[0.00000](46408), [0.012150+1.10357e-03]@[0.00000](31660), [0.14138+1.11687e-03]@[0.00000](45728), [0.087646+1.11524e-03]@[0.00000](44446), [0.022734+1.10280e-03]@[0.00000](36937), [0.064152+1.12034e-03]@[0.00000](43281) ... (24)
Sep 13, 2024 11:09:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    791109 loops (969/sec), 1110025901 sampling steps, 187380 aborted
    loop condition 0.0010760, exit probability 0.00029022 in initial state
    717741 explored states, 24 states in BSSCs (24 absorbing)
    550251 component updates, 9069600980 transient state updates
    Bounds: [0.12491+1.11765e-03]@[0.00000](46916), [0.14073+1.11439e-03]@[0.00000](47898), [0.0038513+1.08773e-03]@[0.00000](21920), [0.14781+1.10944e-03]@[0.00000](46046), [0.20515+1.11602e-03]@[0.00000](46629), [0.012150+1.09393e-03]@[0.00000](31869), [0.14138+1.10903e-03]@[0.00000](45925), [0.087646+1.10516e-03]@[0.00000](44660), [0.022734+1.09412e-03]@[0.00000](37135), [0.064152+1.10952e-03]@[0.00000](43484) ... (24)
Sep 13, 2024 11:09:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    796075 loops (993/sec), 1117074074 sampling steps, 188152 aborted
    loop condition 0.0010676, exit probability 0.00028177 in initial state
    720895 explored states, 24 states in BSSCs (24 absorbing)
    554238 component updates, 9084213225 transient state updates
    Bounds: [0.12491+1.10854e-03]@[0.00000](47143), [0.14073+1.10604e-03]@[0.00000](48093), [0.0038518+1.07873e-03]@[0.00000](22148), [0.14781+1.10128e-03]@[0.00000](46256), [0.20515+1.10775e-03]@[0.00000](46837), [0.012150+1.08505e-03]@[0.00000](32076), [0.14138+1.10067e-03]@[0.00000](46125), [0.087646+1.09682e-03]@[0.00000](44857), [0.022735+1.08595e-03]@[0.00000](37337), [0.064153+1.10078e-03]@[0.00000](43696) ... (24)
Sep 13, 2024 11:09:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    801079 loops (1000/sec), 1124196055 sampling steps, 188914 aborted
    loop condition 0.0010594, exit probability 0.00027374 in initial state
    723822 explored states, 24 states in BSSCs (24 absorbing)
    558299 component updates, 9098384982 transient state updates
    Bounds: [0.12491+1.10003e-03]@[0.00000](47367), [0.14073+1.09768e-03]@[0.00000](48302), [0.0038523+1.06945e-03]@[0.00000](22358), [0.14781+1.09431e-03]@[0.00000](46458), [0.20515+1.09934e-03]@[0.00000](47045), [0.012151+1.07728e-03]@[0.00000](32275), [0.14138+1.09162e-03]@[0.00000](46321), [0.087646+1.08885e-03]@[0.00000](45056), [0.022735+1.07718e-03]@[0.00000](37562), [0.064153+1.09079e-03]@[0.00000](43905) ... (24)
Sep 13, 2024 11:09:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    806219 loops (1028/sec), 1131516710 sampling steps, 189741 aborted
    loop condition 0.0010521, exit probability 0.00026607 in initial state
    726804 explored states, 24 states in BSSCs (24 absorbing)
    562436 component updates, 9111929815 transient state updates
    Bounds: [0.12491+1.09212e-03]@[0.00000](47610), [0.14073+1.09003e-03]@[0.00000](48510), [0.0038527+1.06213e-03]@[0.00000](22508), [0.14781+1.08731e-03]@[0.00000](46656), [0.20515+1.09138e-03]@[0.00000](47259), [0.012151+1.06918e-03]@[0.00000](32502), [0.14138+1.08328e-03]@[0.00000](46560), [0.087647+1.08094e-03]@[0.00000](45247), [0.022735+1.06878e-03]@[0.00000](37802), [0.064153+1.08356e-03]@[0.00000](44105) ... (24)
Sep 13, 2024 11:09:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    811499 loops (1055/sec), 1139048427 sampling steps, 190502 aborted
    loop condition 0.0010451, exit probability 0.00025838 in initial state
    729345 explored states, 24 states in BSSCs (24 absorbing)
    566805 component updates, 9125100200 transient state updates
    Bounds: [0.12491+1.08400e-03]@[0.00000](47857), [0.14073+1.08214e-03]@[0.00000](48726), [0.0038530+1.05455e-03]@[0.00000](22714), [0.14781+1.08031e-03]@[0.00000](46894), [0.20515+1.08458e-03]@[0.00000](47500), [0.012151+1.06235e-03]@[0.00000](32711), [0.14138+1.07679e-03]@[0.00000](46778), [0.087647+1.07382e-03]@[0.00000](45476), [0.022736+1.06156e-03]@[0.00000](38010), [0.064154+1.07488e-03]@[0.00000](44349) ... (24)
Sep 13, 2024 11:09:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    816870 loops (1074/sec), 1146691058 sampling steps, 191388 aborted
    loop condition 0.0010388, exit probability 0.00025080 in initial state
    732197 explored states, 24 states in BSSCs (24 absorbing)
    571102 component updates, 9137284410 transient state updates
    Bounds: [0.12491+1.07745e-03]@[0.00000](48088), [0.14073+1.07395e-03]@[0.00000](48950), [0.0038534+1.04786e-03]@[0.00000](22918), [0.14781+1.07365e-03]@[0.00000](47152), [0.20515+1.07743e-03]@[0.00000](47715), [0.012152+1.05566e-03]@[0.00000](32935), [0.14138+1.07000e-03]@[0.00000](46995), [0.087647+1.06724e-03]@[0.00000](45704), [0.022736+1.05483e-03]@[0.00000](38234), [0.064154+1.06835e-03]@[0.00000](44563) ... (24)
Sep 13, 2024 11:09:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    822500 loops (1126/sec), 1154711882 sampling steps, 192246 aborted
    loop condition 0.0010327, exit probability 0.00024382 in initial state
    735011 explored states, 24 states in BSSCs (24 absorbing)
    575697 component updates, 9149252809 transient state updates
    Bounds: [0.12491+1.07069e-03]@[0.00000](48337), [0.14073+1.06698e-03]@[0.00000](49172), [0.0038537+1.04070e-03]@[0.00000](23124), [0.14781+1.06868e-03]@[0.00000](47388), [0.20515+1.06993e-03]@[0.00000](47970), [0.012152+1.04964e-03]@[0.00000](33178), [0.14138+1.06318e-03]@[0.00000](47238), [0.087647+1.06188e-03]@[0.00000](45941), [0.022736+1.04815e-03]@[0.00000](38481), [0.064154+1.06136e-03]@[0.00000](44782) ... (24)
Sep 13, 2024 11:09:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    828145 loops (1129/sec), 1162757805 sampling steps, 193156 aborted
    loop condition 0.0010271, exit probability 0.00023691 in initial state
    737813 explored states, 24 states in BSSCs (24 absorbing)
    580254 component updates, 9160421377 transient state updates
    Bounds: [0.12491+1.06420e-03]@[0.00000](48591), [0.14073+1.05986e-03]@[0.00000](49386), [0.0038541+1.03397e-03]@[0.00000](23344), [0.14781+1.06308e-03]@[0.00000](47610), [0.20515+1.06440e-03]@[0.00000](48221), [0.012152+1.04381e-03]@[0.00000](33417), [0.14138+1.05655e-03]@[0.00000](47497), [0.087647+1.05663e-03]@[0.00000](46172), [0.022736+1.04335e-03]@[0.00000](38715), [0.064154+1.05654e-03]@[0.00000](45002) ... (24)
Sep 13, 2024 11:09:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    833853 loops (1141/sec), 1170896338 sampling steps, 194076 aborted
    loop condition 0.0010218, exit probability 0.00023037 in initial state
    740419 explored states, 24 states in BSSCs (24 absorbing)
    584880 component updates, 9170925779 transient state updates
    Bounds: [0.12491+1.05875e-03]@[0.00000](48842), [0.14073+1.05473e-03]@[0.00000](49619), [0.0038544+1.02772e-03]@[0.00000](23567), [0.14781+1.05721e-03]@[0.00000](47841), [0.20515+1.05924e-03]@[0.00000](48456), [0.012152+1.03825e-03]@[0.00000](33651), [0.14138+1.04962e-03]@[0.00000](47791), [0.087648+1.05125e-03]@[0.00000](46425), [0.022737+1.03895e-03]@[0.00000](38927), [0.064154+1.05134e-03]@[0.00000](45236) ... (24)
Sep 13, 2024 11:09:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    839775 loops (1184/sec), 1179336330 sampling steps, 194985 aborted
    loop condition 0.0010167, exit probability 0.00022380 in initial state
    743278 explored states, 24 states in BSSCs (24 absorbing)
    589717 component updates, 9181474051 transient state updates
    Bounds: [0.12491+1.05233e-03]@[0.00000](49114), [0.14073+1.05013e-03]@[0.00000](49883), [0.0038547+1.02202e-03]@[0.00000](23807), [0.14781+1.05201e-03]@[0.00000](48105), [0.20515+1.05382e-03]@[0.00000](48711), [0.012152+1.03317e-03]@[0.00000](33909), [0.14138+1.04426e-03]@[0.00000](48023), [0.087648+1.04628e-03]@[0.00000](46677), [0.022737+1.03445e-03]@[0.00000](39173), [0.064155+1.04638e-03]@[0.00000](45492) ... (24)
Sep 13, 2024 11:09:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    845520 loops (1149/sec), 1187536871 sampling steps, 195869 aborted
    loop condition 0.0010118, exit probability 0.00021766 in initial state
    746076 explored states, 24 states in BSSCs (24 absorbing)
    594411 component updates, 9191403422 transient state updates
    Bounds: [0.12491+1.04704e-03]@[0.00000](49343), [0.14073+1.04522e-03]@[0.00000](50091), [0.0038549+1.01691e-03]@[0.00000](24046), [0.14781+1.04612e-03]@[0.00000](48386), [0.20515+1.04781e-03]@[0.00000](48987), [0.012153+1.02846e-03]@[0.00000](34157), [0.14138+1.04002e-03]@[0.00000](48276), [0.087648+1.04115e-03]@[0.00000](46912), [0.022737+1.03017e-03]@[0.00000](39405), [0.064155+1.04212e-03]@[0.00000](45718) ... (24)
Sep 13, 2024 11:10:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    851434 loops (1182/sec), 1195973623 sampling steps, 196813 aborted
    loop condition 0.0010070, exit probability 0.00021199 in initial state
    748825 explored states, 24 states in BSSCs (24 absorbing)
    599203 component updates, 9201066887 transient state updates
    Bounds: [0.12491+1.04243e-03]@[0.00000](49578), [0.14073+1.03977e-03]@[0.00000](50366), [0.0038552+1.01224e-03]@[0.00000](24288), [0.14781+1.04204e-03]@[0.00000](48623), [0.20515+1.04248e-03]@[0.00000](49233), [0.012153+1.02456e-03]@[0.00000](34376), [0.14138+1.03501e-03]@[0.00000](48542), [0.087648+1.03641e-03]@[0.00000](47175), [0.022737+1.02569e-03]@[0.00000](39636), [0.064155+1.03672e-03]@[0.00000](45985) ... (24)
Sep 13, 2024 11:10:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    857530 loops (1219/sec), 1204673417 sampling steps, 197804 aborted
    loop condition 0.0010021, exit probability 0.00020640 in initial state
    751491 explored states, 24 states in BSSCs (24 absorbing)
    604143 component updates, 9210546281 transient state updates
    Bounds: [0.12491+1.03822e-03]@[0.00000](49835), [0.14073+1.03498e-03]@[0.00000](50618), [0.0038554+1.00709e-03]@[0.00000](24516), [0.14781+1.03754e-03]@[0.00000](48897), [0.20515+1.03699e-03]@[0.00000](49489), [0.012153+1.02086e-03]@[0.00000](34623), [0.14138+1.03063e-03]@[0.00000](48825), [0.087648+1.03271e-03]@[0.00000](47423), [0.022737+1.02044e-03]@[0.00000](39877), [0.064155+1.03198e-03]@[0.00000](46249) ... (24)
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    860175 loops (1161/sec), 1208448549 sampling steps, 198233 aborted
    loop condition 0.0010000, exit probability 0.00020419 in initial state
    752667 explored states, 24 states in BSSCs (24 absorbing)
    606287 component updates, 9214576721 transient state updates
    Bounds: [0.12491+1.03594e-03]@[0.00000](49944), [0.14073+1.03283e-03]@[0.00000](50738), [0.0038555+1.00560e-03]@[0.00000](24604), [0.14781+1.03614e-03]@[0.00000](48998), [0.20515+1.03495e-03]@[0.00000](49601), [0.012153+1.01893e-03]@[0.00000](34750), [0.14138+1.02901e-03]@[0.00000](48932), [0.087648+1.03100e-03]@[0.00000](47529), [0.022737+1.01823e-03]@[0.00000](39989), [0.064155+1.03030e-03]@[0.00000](46367) ... (24)