sds.default-abs.ap-sample

Benchmark
Model: (nand)
Parameter(s)N = 40, K = 2
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/nand/nand.prism --const N=40,K=2  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):425.45849657058716s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(5,40,4,2,0,0,0,0): 0.168985 (+ 0.0000)
(5,40,4,4,0,0,0,0): 0.147130 (+ 0.0000)
(5,40,4,3,0,0,0,0): 0.129505 (+ 0.0000)
(5,40,4,5,0,0,0,0): 0.101118 (+ 0.0000)
(5,40,4,0,0,0,0,0): 0.0972592 (+ 0.0000)
(5,40,4,6,0,0,0,0): 0.0892511 (+ 0.0000)
(5,40,4,1,0,0,0,0): 0.0880291 (+ 0.0000)
(5,40,4,7,0,0,0,0): 0.0574458 (+ 0.0000)
(5,40,4,8,0,0,0,0): 0.0438537 (+ 0.0000)
(5,40,4,9,0,0,0,0): 0.0272469 (+ 0.0000)
(5,40,4,10,0,0,0,0): 0.0189882 (+ 0.0000)
(5,40,4,11,0,0,0,0): 0.0115782 (+ 0.0000)
(5,40,4,12,0,0,0,0): 0.00757438 (+ 0.0000)
(5,40,4,13,0,0,0,0): 0.00449739 (+ 0.0000)
(5,40,4,14,0,0,0,0): 0.00280791 (+ 0.0000)
(5,40,4,15,0,0,0,0): 0.00165261 (+ 0.0000)
(5,40,4,16,0,0,0,0): 0.000979639 (+ 0.0000)
(5,40,4,17,0,0,0,0): 0.000549999 (+ 0.0000)
(5,40,4,18,0,0,0,0): 0.000300006 (+ 0.0000)
(5,40,4,19,0,0,0,0): 0.000150838 (+ 0.0000)
(5,40,4,20,0,0,0,0): 6.71997e-05 (+ 0.0000)
(5,40,4,21,0,0,0,0): 2.35607e-05 (+ 0.0000)
(5,40,4,22,0,0,0,0): 5.49998e-06 (+ 0.0000)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:31 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/nand/nand.prism --const N=40,K=2 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:48:32 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 3, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    11681 loops (2336/sec), 7620129 sampling steps, 5931 aborted
    loop condition 0.96216, exit probability 0.96208 in initial state
    50658 explored states, 3 states in BSSCs (3 absorbing)
    1116 component updates, 2765109 transient state updates
    Bounds: [0.015336+9.62140e-01]@[0.00000](310), [0.010005+9.62195e-01]@[0.00000](501), [0.012502+9.62131e-01]@[0.00000](305)
Sep 13, 2024 10:48:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    23926 loops (2449/sec), 17095531 sampling steps, 15638 aborted
    loop condition 0.81955, exit probability 0.81944 in initial state
    64849 explored states, 3 states in BSSCs (3 absorbing)
    2530 component updates, 6203406 transient state updates
    Bounds: [0.059338+8.19460e-01]@[0.00000](690), [0.069784+8.19504e-01]@[0.00000](1159), [0.051328+8.19746e-01]@[0.00000](681)
Sep 13, 2024 10:48:44 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:48:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    29545 loops (1123/sec), 21480711 sampling steps, 19365 aborted
    loop condition 0.74040, exit probability 0.74034 in initial state
    71862 explored states, 13 states in BSSCs (13 absorbing)
    3906 component updates, 19755615 transient state updates
    Bounds: [0.078038+7.40349e-01]@[0.00000](848), [0.11137+7.40394e-01]@[0.00000](1453), [0.069049+7.40524e-01]@[0.00000](844), [5.7880e-11+7.40441e-01]@[0.00000](56), [0.00014293+7.40389e-01]@[0.00000](76), [4.6113e-05+7.40414e-01]@[0.00000](80), [4.5079e-13+7.40413e-01]@[0.00000](61), [9.6155e-07+7.40415e-01]@[0.00000](88), [0.00038250+7.40517e-01]@[0.00000](87), [8.7224e-06+7.40479e-01]@[0.00000](88) ... (13)
Sep 13, 2024 10:48:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    34705 loops (1032/sec), 25437986 sampling steps, 20536 aborted
    loop condition 0.35514, exit probability 0.35424 in initial state
    84706 explored states, 13 states in BSSCs (13 absorbing)
    6987 component updates, 53936063 transient state updates
    Bounds: [0.090589+3.55049e-01]@[0.00000](1023), [0.14874+3.58042e-01]@[0.00000](1728), [0.081441+3.55015e-01]@[0.00000](1041), [6.1776e-05+3.55436e-01]@[0.00000](292), [0.059334+3.54631e-01]@[0.00000](314), [0.042081+3.55325e-01]@[0.00000](349), [2.5484e-06+3.54601e-01]@[0.00000](237), [0.0093268+3.54645e-01]@[0.00000](364), [0.096532+3.55874e-01]@[0.00000](344), [0.020129+3.55270e-01]@[0.00000](373) ... (13)
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    40708 loops (1200/sec), 29947246 sampling steps, 22032 aborted
    loop condition 0.15234, exit probability 0.15160 in initial state
    99449 explored states, 13 states in BSSCs (13 absorbing)
    10372 component updates, 90002883 transient state updates
    Bounds: [0.095073+1.52472e-01]@[0.00000](1233), [0.16238+1.53442e-01]@[0.00000](2020), [0.085870+1.52556e-01]@[0.00000](1247), [0.0012638+1.52872e-01]@[0.00000](499), [0.088675+1.52244e-01]@[0.00000](582), [0.072850+1.52258e-01]@[0.00000](658), [0.00013721+1.52383e-01]@[0.00000](449), [0.026942+1.52040e-01]@[0.00000](633), [0.13346+1.52571e-01]@[0.00000](654), [0.042339+1.52235e-01]@[0.00000](671) ... (13)
Sep 13, 2024 10:49:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    45964 loops (1050/sec), 33924356 sampling steps, 23454 aborted
    loop condition 0.093492, exit probability 0.092734 in initial state
    109819 explored states, 13 states in BSSCs (13 absorbing)
    13417 component updates, 121877928 transient state updates
    Bounds: [0.096214+9.34172e-02]@[0.00000](1453), [0.16582+9.40442e-02]@[0.00000](2291), [0.087000+9.34331e-02]@[0.00000](1475), [0.0032584+9.37747e-02]@[0.00000](682), [0.095112+9.37199e-02]@[0.00000](851), [0.080836+9.34648e-02]@[0.00000](922), [0.00066806+9.33582e-02]@[0.00000](613), [0.034132+9.33075e-02]@[0.00000](863), [0.14082+9.34857e-02]@[0.00000](938), [0.049338+9.33400e-02]@[0.00000](921) ... (13)
Sep 13, 2024 10:49:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    50841 loops (975/sec), 37660367 sampling steps, 24881 aborted
    loop condition 0.068551, exit probability 0.067919 in initial state
    117572 explored states, 13 states in BSSCs (13 absorbing)
    16288 component updates, 151742990 transient state updates
    Bounds: [0.096615+6.88030e-02]@[0.00000](1697), [0.16705+6.88509e-02]@[0.00000](2548), [0.087402+6.85826e-02]@[0.00000](1706), [0.0048280+6.84520e-02]@[0.00000](845), [0.097446+6.86478e-02]@[0.00000](1114), [0.083901+6.85137e-02]@[0.00000](1177), [0.0013400+6.84406e-02]@[0.00000](753), [0.037304+6.84039e-02]@[0.00000](1099), [0.14335+6.85307e-02]@[0.00000](1198), [0.052146+6.85681e-02]@[0.00000](1139) ... (13)
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    55863 loops (1004/sec), 41531189 sampling steps, 26432 aborted
    loop condition 0.054760, exit probability 0.054190 in initial state
    124455 explored states, 13 states in BSSCs (13 absorbing)
    19249 component updates, 182351566 transient state updates
    Bounds: [0.096831+5.49823e-02]@[0.00000](1924), [0.16766+5.50340e-02]@[0.00000](2842), [0.087611+5.48071e-02]@[0.00000](1923), [0.0059784+5.46781e-02]@[0.00000](1006), [0.098579+5.48519e-02]@[0.00000](1389), [0.085460+5.47826e-02]@[0.00000](1418), [0.0019821+5.47110e-02]@[0.00000](886), [0.039027+5.46528e-02]@[0.00000](1339), [0.14455+5.48058e-02]@[0.00000](1484), [0.053638+5.46844e-02]@[0.00000](1368) ... (13)
Sep 13, 2024 10:49:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    60915 loops (1010/sec), 45440660 sampling steps, 27955 aborted
    loop condition 0.046151, exit probability 0.045639 in initial state
    130457 explored states, 13 states in BSSCs (13 absorbing)
    22346 component updates, 214198608 transient state updates
    Bounds: [0.096945+4.62771e-02]@[0.00000](2167), [0.16802+4.63193e-02]@[0.00000](3153), [0.087720+4.62524e-02]@[0.00000](2167), [0.0068111+4.61410e-02]@[0.00000](1145), [0.099227+4.63265e-02]@[0.00000](1627), [0.086392+4.61684e-02]@[0.00000](1690), [0.0025341+4.60930e-02]@[0.00000](1024), [0.040095+4.60632e-02]@[0.00000](1603), [0.14524+4.61638e-02]@[0.00000](1782), [0.054537+4.60826e-02]@[0.00000](1634) ... (13)
Sep 13, 2024 10:49:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    66536 loops (1124/sec), 49818748 sampling steps, 29619 aborted
    loop condition 0.039468, exit probability 0.038950 in initial state
    136146 explored states, 13 states in BSSCs (13 absorbing)
    25891 component updates, 250459310 transient state updates
    Bounds: [0.097025+3.96036e-02]@[0.00000](2456), [0.16827+3.95874e-02]@[0.00000](3461), [0.087798+3.95274e-02]@[0.00000](2471), [0.0075333+3.94653e-02]@[0.00000](1350), [0.099710+3.95367e-02]@[0.00000](1933), [0.087068+3.96150e-02]@[0.00000](1994), [0.0030653+3.93753e-02]@[0.00000](1189), [0.040911+3.93858e-02]@[0.00000](1865), [0.14574+3.94323e-02]@[0.00000](2110), [0.055213+3.94119e-02]@[0.00000](1926) ... (13)
Sep 13, 2024 10:49:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    71851 loops (1063/sec), 53975173 sampling steps, 31119 aborted
    loop condition 0.034856, exit probability 0.034360 in initial state
    140942 explored states, 13 states in BSSCs (13 absorbing)
    29355 component updates, 285843596 transient state updates
    Bounds: [0.097077+3.49858e-02]@[0.00000](2743), [0.16843+3.48936e-02]@[0.00000](3794), [0.087847+3.49718e-02]@[0.00000](2764), [0.0080822+3.48699e-02]@[0.00000](1494), [0.10001+3.49192e-02]@[0.00000](2230), [0.087521+3.49715e-02]@[0.00000](2293), [0.0035040+3.47757e-02]@[0.00000](1342), [0.041466+3.47953e-02]@[0.00000](2151), [0.14604+3.48632e-02]@[0.00000](2424), [0.055654+3.48576e-02]@[0.00000](2207) ... (13)
Sep 13, 2024 10:49:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    77282 loops (1086/sec), 58234143 sampling steps, 32807 aborted
    loop condition 0.031641, exit probability 0.031167 in initial state
    144994 explored states, 13 states in BSSCs (13 absorbing)
    32793 component updates, 320813881 transient state updates
    Bounds: [0.097111+3.17661e-02]@[0.00000](3056), [0.16853+3.16522e-02]@[0.00000](4102), [0.087881+3.17420e-02]@[0.00000](3048), [0.0084954+3.16519e-02]@[0.00000](1661), [0.10021+3.17051e-02]@[0.00000](2549), [0.087815+3.17591e-02]@[0.00000](2604), [0.0038570+3.15803e-02]@[0.00000](1489), [0.041847+3.15555e-02]@[0.00000](2396), [0.14624+3.16642e-02]@[0.00000](2754), [0.055949+3.16675e-02]@[0.00000](2511) ... (13)
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    82163 loops (976/sec), 62074080 sampling steps, 34238 aborted
    loop condition 0.029414, exit probability 0.028964 in initial state
    148234 explored states, 13 states in BSSCs (13 absorbing)
    36017 component updates, 353535541 transient state updates
    Bounds: [0.097130+2.95157e-02]@[0.00000](3351), [0.16860+2.94747e-02]@[0.00000](4407), [0.087901+2.95109e-02]@[0.00000](3295), [0.0087975+2.94447e-02]@[0.00000](1826), [0.10034+2.94170e-02]@[0.00000](2814), [0.088008+2.95462e-02]@[0.00000](2911), [0.0041321+2.93631e-02]@[0.00000](1598), [0.042104+2.93523e-02]@[0.00000](2644), [0.14636+2.94346e-02]@[0.00000](3077), [0.056149+2.94397e-02]@[0.00000](2779) ... (13)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    86721 loops (911/sec), 65664841 sampling steps, 35607 aborted
    loop condition 0.027730, exit probability 0.027290 in initial state
    150912 explored states, 13 states in BSSCs (13 absorbing)
    39007 component updates, 383721590 transient state updates
    Bounds: [0.097146+2.78280e-02]@[0.00000](3584), [0.16864+2.77896e-02]@[0.00000](4691), [0.087917+2.77886e-02]@[0.00000](3552), [0.0090291+2.77665e-02]@[0.00000](1969), [0.10044+2.76955e-02]@[0.00000](3072), [0.088158+2.78377e-02]@[0.00000](3181), [0.0043496+2.76951e-02]@[0.00000](1736), [0.042296+2.76665e-02]@[0.00000](2871), [0.14646+2.77688e-02]@[0.00000](3372), [0.056295+2.77629e-02]@[0.00000](2993) ... (13)
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    91751 loops (1006/sec), 69629793 sampling steps, 37106 aborted
    loop condition 0.026139, exit probability 0.025715 in initial state
    153829 explored states, 13 states in BSSCs (13 absorbing)
    42319 component updates, 417197717 transient state updates
    Bounds: [0.097160+2.62590e-02]@[0.00000](3882), [0.16869+2.61731e-02]@[0.00000](5001), [0.087931+2.62083e-02]@[0.00000](3858), [0.0092611+2.61580e-02]@[0.00000](2144), [0.10052+2.61317e-02]@[0.00000](3359), [0.088291+2.62409e-02]@[0.00000](3489), [0.0045741+2.60986e-02]@[0.00000](1869), [0.042472+2.60926e-02]@[0.00000](3110), [0.14654+2.61591e-02]@[0.00000](3680), [0.056431+2.61713e-02]@[0.00000](3254) ... (13)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    96745 loops (998/sec), 73575878 sampling steps, 38601 aborted
    loop condition 0.024758, exit probability 0.024341 in initial state
    156367 explored states, 13 states in BSSCs (13 absorbing)
    45638 component updates, 450545566 transient state updates
    Bounds: [0.097171+2.48509e-02]@[0.00000](4161), [0.16872+2.47873e-02]@[0.00000](5331), [0.087944+2.48030e-02]@[0.00000](4165), [0.0094633+2.47774e-02]@[0.00000](2303), [0.10059+2.47539e-02]@[0.00000](3647), [0.088405+2.48372e-02]@[0.00000](3788), [0.0047813+2.46847e-02]@[0.00000](1999), [0.042625+2.47243e-02]@[0.00000](3322), [0.14661+2.47729e-02]@[0.00000](3988), [0.056548+2.47844e-02]@[0.00000](3511) ... (13)
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    101846 loops (1020/sec), 77605329 sampling steps, 40068 aborted
    loop condition 0.023586, exit probability 0.023193 in initial state
    159037 explored states, 13 states in BSSCs (13 absorbing)
    49083 component updates, 485180344 transient state updates
    Bounds: [0.097182+2.36664e-02]@[0.00000](4458), [0.16875+2.36542e-02]@[0.00000](5650), [0.087953+2.36436e-02]@[0.00000](4457), [0.0096400+2.35847e-02]@[0.00000](2467), [0.10065+2.35977e-02]@[0.00000](3970), [0.088499+2.36513e-02]@[0.00000](4092), [0.0049683+2.34940e-02]@[0.00000](2123), [0.042751+2.35785e-02]@[0.00000](3584), [0.14667+2.35885e-02]@[0.00000](4305), [0.056647+2.36028e-02]@[0.00000](3802) ... (13)
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    107114 loops (1053/sec), 81774066 sampling steps, 41610 aborted
    loop condition 0.022610, exit probability 0.022229 in initial state
    161656 explored states, 13 states in BSSCs (13 absorbing)
    52627 component updates, 520680925 transient state updates
    Bounds: [0.097190+2.26855e-02]@[0.00000](4738), [0.16877+2.26969e-02]@[0.00000](6014), [0.087961+2.26721e-02]@[0.00000](4760), [0.0097880+2.25987e-02]@[0.00000](2624), [0.10070+2.26418e-02]@[0.00000](4298), [0.088578+2.26540e-02]@[0.00000](4394), [0.0051278+2.25124e-02]@[0.00000](2260), [0.042855+2.26067e-02]@[0.00000](3887), [0.14672+2.26339e-02]@[0.00000](4652), [0.056726+2.26405e-02]@[0.00000](4050) ... (13)
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    111904 loops (958/sec), 85570073 sampling steps, 43029 aborted
    loop condition 0.021855, exit probability 0.021487 in initial state
    163790 explored states, 13 states in BSSCs (13 absorbing)
    55848 component updates, 552891034 transient state updates
    Bounds: [0.097197+2.19448e-02]@[0.00000](5017), [0.16879+2.19691e-02]@[0.00000](6339), [0.087968+2.19210e-02]@[0.00000](5037), [0.0099007+2.18468e-02]@[0.00000](2776), [0.10074+2.19050e-02]@[0.00000](4614), [0.088638+2.18861e-02]@[0.00000](4713), [0.0052509+2.17672e-02]@[0.00000](2367), [0.042935+2.18477e-02]@[0.00000](4137), [0.14676+2.18822e-02]@[0.00000](4947), [0.056788+2.18757e-02]@[0.00000](4273) ... (13)
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    116379 loops (894/sec), 89118633 sampling steps, 44347 aborted
    loop condition 0.021249, exit probability 0.020891 in initial state
    165632 explored states, 13 states in BSSCs (13 absorbing)
    58882 component updates, 583199463 transient state updates
    Bounds: [0.097202+2.13369e-02]@[0.00000](5272), [0.16881+2.13694e-02]@[0.00000](6630), [0.087973+2.12992e-02]@[0.00000](5301), [0.0099941+2.12476e-02]@[0.00000](2925), [0.10077+2.12857e-02]@[0.00000](4883), [0.088684+2.12765e-02]@[0.00000](4990), [0.0053591+2.11664e-02]@[0.00000](2498), [0.042997+2.12531e-02]@[0.00000](4348), [0.14679+2.12633e-02]@[0.00000](5235), [0.056834+2.12864e-02]@[0.00000](4522) ... (13)
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    121500 loops (1024/sec), 93185075 sampling steps, 45864 aborted
    loop condition 0.020617, exit probability 0.020275 in initial state
    167293 explored states, 13 states in BSSCs (13 absorbing)
    62374 component updates, 617987932 transient state updates
    Bounds: [0.097207+2.07119e-02]@[0.00000](5587), [0.16882+2.07308e-02]@[0.00000](6929), [0.087978+2.06784e-02]@[0.00000](5607), [0.010092+2.06221e-02]@[0.00000](3092), [0.10080+2.06608e-02]@[0.00000](5201), [0.088731+2.06458e-02]@[0.00000](5298), [0.0054731+2.05355e-02]@[0.00000](2621), [0.043062+2.06291e-02]@[0.00000](4619), [0.14682+2.06318e-02]@[0.00000](5565), [0.056882+2.06594e-02]@[0.00000](4828) ... (13)
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    126594 loops (1018/sec), 97234214 sampling steps, 47358 aborted
    loop condition 0.020076, exit probability 0.019748 in initial state
    168982 explored states, 13 states in BSSCs (13 absorbing)
    65864 component updates, 652769350 transient state updates
    Bounds: [0.097212+2.01703e-02]@[0.00000](5870), [0.16884+2.01798e-02]@[0.00000](7255), [0.087983+2.01424e-02]@[0.00000](5884), [0.010180+2.00752e-02]@[0.00000](3247), [0.10082+2.01161e-02]@[0.00000](5517), [0.088772+2.00802e-02]@[0.00000](5598), [0.0055733+2.00018e-02]@[0.00000](2774), [0.043115+2.01017e-02]@[0.00000](4882), [0.14684+2.00928e-02]@[0.00000](5893), [0.056921+2.01313e-02]@[0.00000](5128) ... (13)
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    132046 loops (1090/sec), 101566316 sampling steps, 48909 aborted
    loop condition 0.019591, exit probability 0.019281 in initial state
    170857 explored states, 13 states in BSSCs (13 absorbing)
    69639 component updates, 690315199 transient state updates
    Bounds: [0.097217+1.96840e-02]@[0.00000](6242), [0.16885+1.96620e-02]@[0.00000](7608), [0.087987+1.96460e-02]@[0.00000](6202), [0.010256+1.95998e-02]@[0.00000](3437), [0.10084+1.96317e-02]@[0.00000](5869), [0.088805+1.96090e-02]@[0.00000](5920), [0.0056643+1.95309e-02]@[0.00000](2904), [0.043162+1.96261e-02]@[0.00000](5149), [0.14686+1.96225e-02]@[0.00000](6287), [0.056955+1.96619e-02]@[0.00000](5444) ... (13)
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    136458 loops (882/sec), 105076479 sampling steps, 50134 aborted
    loop condition 0.019268, exit probability 0.018960 in initial state
    171975 explored states, 13 states in BSSCs (13 absorbing)
    72746 component updates, 721145822 transient state updates
    Bounds: [0.097219+1.93462e-02]@[0.00000](6515), [0.16886+1.93330e-02]@[0.00000](7925), [0.087990+1.93171e-02]@[0.00000](6470), [0.010309+1.92730e-02]@[0.00000](3563), [0.10086+1.93152e-02]@[0.00000](6148), [0.088827+1.92863e-02]@[0.00000](6182), [0.0057282+1.92042e-02]@[0.00000](3006), [0.043195+1.93011e-02]@[0.00000](5398), [0.14688+1.92987e-02]@[0.00000](6591), [0.056979+1.93323e-02]@[0.00000](5692) ... (13)
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    140697 loops (847/sec), 108448543 sampling steps, 51326 aborted
    loop condition 0.018947, exit probability 0.018643 in initial state
    173164 explored states, 13 states in BSSCs (13 absorbing)
    75714 component updates, 750595044 transient state updates
    Bounds: [0.097222+1.90206e-02]@[0.00000](6767), [0.16887+1.90098e-02]@[0.00000](8186), [0.087992+1.89954e-02]@[0.00000](6719), [0.010361+1.89466e-02]@[0.00000](3713), [0.10087+1.89980e-02]@[0.00000](6428), [0.088850+1.89601e-02]@[0.00000](6465), [0.0057886+1.88913e-02]@[0.00000](3105), [0.043227+1.89803e-02]@[0.00000](5641), [0.14689+1.89782e-02]@[0.00000](6848), [0.057003+1.90117e-02]@[0.00000](5950) ... (13)
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    144815 loops (823/sec), 111721325 sampling steps, 52518 aborted
    loop condition 0.018667, exit probability 0.018371 in initial state
    174424 explored states, 13 states in BSSCs (13 absorbing)
    78551 component updates, 778766672 transient state updates
    Bounds: [0.097225+1.87293e-02]@[0.00000](7011), [0.16888+1.87331e-02]@[0.00000](8459), [0.087994+1.87151e-02]@[0.00000](6996), [0.010407+1.86655e-02]@[0.00000](3847), [0.10089+1.87275e-02]@[0.00000](6669), [0.088870+1.86769e-02]@[0.00000](6720), [0.0058427+1.86206e-02]@[0.00000](3197), [0.043255+1.87001e-02]@[0.00000](5857), [0.14691+1.86866e-02]@[0.00000](7106), [0.057025+1.87253e-02]@[0.00000](6175) ... (13)
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    149108 loops (858/sec), 115138727 sampling steps, 53779 aborted
    loop condition 0.018399, exit probability 0.018110 in initial state
    175670 explored states, 13 states in BSSCs (13 absorbing)
    81506 component updates, 808054621 transient state updates
    Bounds: [0.097227+1.84588e-02]@[0.00000](7274), [0.16888+1.84711e-02]@[0.00000](8756), [0.087996+1.84528e-02]@[0.00000](7261), [0.010451+1.84019e-02]@[0.00000](3995), [0.10090+1.84628e-02]@[0.00000](6900), [0.088889+1.84031e-02]@[0.00000](6961), [0.0058959+1.83539e-02]@[0.00000](3312), [0.043280+1.84454e-02]@[0.00000](6068), [0.14692+1.84166e-02]@[0.00000](7371), [0.057044+1.84518e-02]@[0.00000](6450) ... (13)
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    154156 loops (1009/sec), 119156572 sampling steps, 55227 aborted
    loop condition 0.018088, exit probability 0.017805 in initial state
    176972 explored states, 13 states in BSSCs (13 absorbing)
    85018 component updates, 842814509 transient state updates
    Bounds: [0.097229+1.81409e-02]@[0.00000](7587), [0.16889+1.81585e-02]@[0.00000](9080), [0.087999+1.81415e-02]@[0.00000](7585), [0.010503+1.80918e-02]@[0.00000](4180), [0.10091+1.81393e-02]@[0.00000](7240), [0.088911+1.80805e-02]@[0.00000](7283), [0.0059568+1.80502e-02]@[0.00000](3426), [0.043312+1.81337e-02]@[0.00000](6304), [0.14693+1.81138e-02]@[0.00000](7721), [0.057067+1.81417e-02]@[0.00000](6708) ... (13)
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    159474 loops (1063/sec), 123378700 sampling steps, 56721 aborted
    loop condition 0.017783, exit probability 0.017504 in initial state
    178446 explored states, 13 states in BSSCs (13 absorbing)
    88727 component updates, 879527599 transient state updates
    Bounds: [0.097231+1.78317e-02]@[0.00000](7895), [0.16890+1.78608e-02]@[0.00000](9419), [0.088000+1.78528e-02]@[0.00000](7951), [0.010554+1.77880e-02]@[0.00000](4371), [0.10092+1.78318e-02]@[0.00000](7566), [0.088931+1.77827e-02]@[0.00000](7590), [0.0060190+1.77406e-02]@[0.00000](3578), [0.043342+1.78318e-02]@[0.00000](6597), [0.14695+1.78161e-02]@[0.00000](8062), [0.057089+1.78395e-02]@[0.00000](7006) ... (13)
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    164447 loops (994/sec), 127337342 sampling steps, 58197 aborted
    loop condition 0.017529, exit probability 0.017255 in initial state
    179721 explored states, 13 states in BSSCs (13 absorbing)
    92136 component updates, 913219765 transient state updates
    Bounds: [0.097233+1.75804e-02]@[0.00000](8179), [0.16890+1.76078e-02]@[0.00000](9739), [0.088002+1.76040e-02]@[0.00000](8233), [0.010598+1.75263e-02]@[0.00000](4544), [0.10094+1.75798e-02]@[0.00000](7854), [0.088948+1.75354e-02]@[0.00000](7889), [0.0060718+1.74878e-02]@[0.00000](3709), [0.043367+1.75774e-02]@[0.00000](6858), [0.14696+1.75663e-02]@[0.00000](8385), [0.057107+1.75922e-02]@[0.00000](7284) ... (13)
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    169500 loops (1010/sec), 131365817 sampling steps, 59652 aborted
    loop condition 0.017317, exit probability 0.017046 in initial state
    180786 explored states, 13 states in BSSCs (13 absorbing)
    95661 component updates, 948028272 transient state updates
    Bounds: [0.097234+1.73657e-02]@[0.00000](8491), [0.16890+1.73938e-02]@[0.00000](10065), [0.088004+1.73914e-02]@[0.00000](8532), [0.010634+1.73146e-02]@[0.00000](4714), [0.10094+1.73632e-02]@[0.00000](8155), [0.088962+1.73250e-02]@[0.00000](8184), [0.0061159+1.72795e-02]@[0.00000](3850), [0.043389+1.73596e-02]@[0.00000](7127), [0.14696+1.73604e-02]@[0.00000](8699), [0.057121+1.73833e-02]@[0.00000](7593) ... (13)
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    174630 loops (1026/sec), 135452557 sampling steps, 61131 aborted
    loop condition 0.017104, exit probability 0.016838 in initial state
    182113 explored states, 13 states in BSSCs (13 absorbing)
    99231 component updates, 983245214 transient state updates
    Bounds: [0.097236+1.71569e-02]@[0.00000](8829), [0.16891+1.71796e-02]@[0.00000](10411), [0.088005+1.71761e-02]@[0.00000](8834), [0.010671+1.70974e-02]@[0.00000](4891), [0.10095+1.71599e-02]@[0.00000](8456), [0.088976+1.71167e-02]@[0.00000](8517), [0.0061610+1.70719e-02]@[0.00000](3979), [0.043410+1.71388e-02]@[0.00000](7408), [0.14697+1.71488e-02]@[0.00000](9026), [0.057136+1.71733e-02]@[0.00000](7861) ... (13)
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    179575 loops (989/sec), 139391280 sampling steps, 62530 aborted
    loop condition 0.016909, exit probability 0.016645 in initial state
    183210 explored states, 13 states in BSSCs (13 absorbing)
    102703 component updates, 1017476646 transient state updates
    Bounds: [0.097237+1.69627e-02]@[0.00000](9124), [0.16891+1.69788e-02]@[0.00000](10732), [0.088007+1.69742e-02]@[0.00000](9133), [0.010705+1.68974e-02]@[0.00000](5057), [0.10096+1.69642e-02]@[0.00000](8772), [0.088988+1.69211e-02]@[0.00000](8810), [0.0062035+1.68813e-02]@[0.00000](4102), [0.043430+1.69410e-02]@[0.00000](7692), [0.14698+1.69493e-02]@[0.00000](9346), [0.057149+1.69795e-02]@[0.00000](8137) ... (13)
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    184584 loops (1001/sec), 143383191 sampling steps, 63943 aborted
    loop condition 0.016735, exit probability 0.016475 in initial state
    184298 explored states, 13 states in BSSCs (13 absorbing)
    106230 component updates, 1052211896 transient state updates
    Bounds: [0.097238+1.67930e-02]@[0.00000](9421), [0.16892+1.68014e-02]@[0.00000](11098), [0.088008+1.68024e-02]@[0.00000](9431), [0.010734+1.67207e-02]@[0.00000](5219), [0.10097+1.67863e-02]@[0.00000](9088), [0.088999+1.67518e-02]@[0.00000](9149), [0.0062423+1.67075e-02]@[0.00000](4233), [0.043447+1.67659e-02]@[0.00000](7962), [0.14699+1.67716e-02]@[0.00000](9654), [0.057161+1.68077e-02]@[0.00000](8429) ... (13)
Sep 13, 2024 10:51:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    189647 loops (1012/sec), 147416952 sampling steps, 65385 aborted
    loop condition 0.016553, exit probability 0.016298 in initial state
    185427 explored states, 13 states in BSSCs (13 absorbing)
    109778 component updates, 1087128197 transient state updates
    Bounds: [0.097239+1.66078e-02]@[0.00000](9738), [0.16892+1.66158e-02]@[0.00000](11424), [0.088009+1.66255e-02]@[0.00000](9756), [0.010766+1.65366e-02]@[0.00000](5383), [0.10097+1.66089e-02]@[0.00000](9398), [0.089009+1.65792e-02]@[0.00000](9438), [0.0062847+1.65217e-02]@[0.00000](4389), [0.043464+1.65825e-02]@[0.00000](8274), [0.14699+1.65885e-02]@[0.00000](9948), [0.057173+1.66248e-02]@[0.00000](8731) ... (13)
Sep 13, 2024 10:51:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    194579 loops (986/sec), 151351218 sampling steps, 66788 aborted
    loop condition 0.016392, exit probability 0.016142 in initial state
    186320 explored states, 13 states in BSSCs (13 absorbing)
    113248 component updates, 1121316413 transient state updates
    Bounds: [0.097240+1.64481e-02]@[0.00000](10017), [0.16892+1.64508e-02]@[0.00000](11740), [0.088010+1.64682e-02]@[0.00000](10080), [0.010794+1.63757e-02]@[0.00000](5544), [0.10098+1.64439e-02]@[0.00000](9702), [0.089019+1.64230e-02]@[0.00000](9752), [0.0063235+1.63594e-02]@[0.00000](4515), [0.043479+1.64193e-02]@[0.00000](8536), [0.14700+1.64260e-02]@[0.00000](10281), [0.057184+1.64596e-02]@[0.00000](8998) ... (13)
Sep 13, 2024 10:51:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    199393 loops (962/sec), 155190791 sampling steps, 68127 aborted
    loop condition 0.016243, exit probability 0.015998 in initial state
    187229 explored states, 13 states in BSSCs (13 absorbing)
    116659 component updates, 1154946688 transient state updates
    Bounds: [0.097241+1.63032e-02]@[0.00000](10310), [0.16893+1.63036e-02]@[0.00000](12058), [0.088011+1.63209e-02]@[0.00000](10398), [0.010819+1.62216e-02]@[0.00000](5733), [0.10099+1.62962e-02]@[0.00000](9994), [0.089029+1.62749e-02]@[0.00000](10061), [0.0063582+1.62088e-02]@[0.00000](4651), [0.043494+1.62661e-02]@[0.00000](8771), [0.14701+1.62766e-02]@[0.00000](10621), [0.057195+1.63066e-02]@[0.00000](9273) ... (13)
Sep 13, 2024 10:51:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    204075 loops (936/sec), 158923646 sampling steps, 69493 aborted
    loop condition 0.016125, exit probability 0.015885 in initial state
    188169 explored states, 13 states in BSSCs (13 absorbing)
    119915 component updates, 1186955682 transient state updates
    Bounds: [0.097242+1.61842e-02]@[0.00000](10602), [0.16893+1.61852e-02]@[0.00000](12362), [0.088012+1.62033e-02]@[0.00000](10695), [0.010840+1.61066e-02]@[0.00000](5871), [0.10099+1.61811e-02]@[0.00000](10282), [0.089036+1.61553e-02]@[0.00000](10315), [0.0063870+1.60916e-02]@[0.00000](4760), [0.043505+1.61464e-02]@[0.00000](9030), [0.14701+1.61566e-02]@[0.00000](10931), [0.057203+1.61885e-02]@[0.00000](9553) ... (13)
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    208616 loops (908/sec), 162545380 sampling steps, 70810 aborted
    loop condition 0.016012, exit probability 0.015774 in initial state
    188986 explored states, 13 states in BSSCs (13 absorbing)
    123089 component updates, 1218117915 transient state updates
    Bounds: [0.097243+1.60689e-02]@[0.00000](10907), [0.16893+1.60696e-02]@[0.00000](12661), [0.088012+1.60970e-02]@[0.00000](10935), [0.010859+1.59908e-02]@[0.00000](6016), [0.10100+1.60664e-02]@[0.00000](10598), [0.089044+1.60395e-02]@[0.00000](10580), [0.0064129+1.59796e-02]@[0.00000](4892), [0.043516+1.60303e-02]@[0.00000](9268), [0.14701+1.60394e-02]@[0.00000](11241), [0.057211+1.60769e-02]@[0.00000](9807) ... (13)
Sep 13, 2024 10:51:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    212934 loops (863/sec), 165989438 sampling steps, 72069 aborted
    loop condition 0.015904, exit probability 0.015673 in initial state
    189743 explored states, 13 states in BSSCs (13 absorbing)
    126098 component updates, 1247715885 transient state updates
    Bounds: [0.097243+1.59647e-02]@[0.00000](11168), [0.16893+1.59559e-02]@[0.00000](12939), [0.088013+1.59883e-02]@[0.00000](11196), [0.010877+1.58778e-02]@[0.00000](6166), [0.10100+1.59618e-02]@[0.00000](10845), [0.089051+1.59364e-02]@[0.00000](10841), [0.0064375+1.58756e-02]@[0.00000](4999), [0.043526+1.59231e-02]@[0.00000](9515), [0.14702+1.59282e-02]@[0.00000](11537), [0.057219+1.59619e-02]@[0.00000](10026) ... (13)
Sep 13, 2024 10:51:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    217792 loops (971/sec), 169863369 sampling steps, 73465 aborted
    loop condition 0.015790, exit probability 0.015564 in initial state
    190594 explored states, 13 states in BSSCs (13 absorbing)
    129500 component updates, 1281073127 transient state updates
    Bounds: [0.097244+1.58496e-02]@[0.00000](11447), [0.16893+1.58379e-02]@[0.00000](13285), [0.088014+1.58756e-02]@[0.00000](11499), [0.010896+1.57612e-02]@[0.00000](6327), [0.10100+1.58487e-02]@[0.00000](11144), [0.089058+1.58264e-02]@[0.00000](11136), [0.0064654+1.57568e-02]@[0.00000](5150), [0.043537+1.58093e-02]@[0.00000](9798), [0.14702+1.58130e-02]@[0.00000](11848), [0.057227+1.58449e-02]@[0.00000](10277) ... (13)
Sep 13, 2024 10:52:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    222810 loops (1003/sec), 173870863 sampling steps, 74881 aborted
    loop condition 0.015675, exit probability 0.015454 in initial state
    191336 explored states, 13 states in BSSCs (13 absorbing)
    133055 component updates, 1315884883 transient state updates
    Bounds: [0.097245+1.57395e-02]@[0.00000](11756), [0.16894+1.57222e-02]@[0.00000](13627), [0.088015+1.57593e-02]@[0.00000](11836), [0.010916+1.56475e-02]@[0.00000](6523), [0.10101+1.57322e-02]@[0.00000](11436), [0.089064+1.57133e-02]@[0.00000](11477), [0.0064938+1.56401e-02]@[0.00000](5277), [0.043547+1.56966e-02]@[0.00000](10080), [0.14703+1.56989e-02]@[0.00000](12181), [0.057234+1.57286e-02]@[0.00000](10551) ... (13)
Sep 13, 2024 10:52:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    227867 loops (1011/sec), 177903373 sampling steps, 76308 aborted
    loop condition 0.015560, exit probability 0.015342 in initial state
    192224 explored states, 13 states in BSSCs (13 absorbing)
    136623 component updates, 1350906393 transient state updates
    Bounds: [0.097246+1.56290e-02]@[0.00000](12071), [0.16894+1.56001e-02]@[0.00000](13950), [0.088015+1.56391e-02]@[0.00000](12139), [0.010935+1.55334e-02]@[0.00000](6688), [0.10101+1.56153e-02]@[0.00000](11733), [0.089072+1.56000e-02]@[0.00000](11781), [0.0065222+1.55232e-02]@[0.00000](5425), [0.043558+1.55821e-02]@[0.00000](10353), [0.14703+1.55847e-02]@[0.00000](12502), [0.057242+1.56136e-02]@[0.00000](10876) ... (13)
Sep 13, 2024 10:52:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    232483 loops (923/sec), 181586528 sampling steps, 77637 aborted
    loop condition 0.015454, exit probability 0.015239 in initial state
    192977 explored states, 13 states in BSSCs (13 absorbing)
    139865 component updates, 1382662004 transient state updates
    Bounds: [0.097246+1.55263e-02]@[0.00000](12354), [0.16894+1.54852e-02]@[0.00000](14279), [0.088016+1.55314e-02]@[0.00000](12433), [0.010952+1.54308e-02]@[0.00000](6857), [0.10102+1.55128e-02]@[0.00000](12011), [0.089079+1.54928e-02]@[0.00000](12084), [0.0065467+1.54143e-02]@[0.00000](5558), [0.043567+1.54824e-02]@[0.00000](10601), [0.14704+1.54792e-02]@[0.00000](12766), [0.057250+1.55088e-02]@[0.00000](11139) ... (13)
Sep 13, 2024 10:52:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    236617 loops (824/sec), 184882439 sampling steps, 78779 aborted
    loop condition 0.015371, exit probability 0.015157 in initial state
    193667 explored states, 13 states in BSSCs (13 absorbing)
    142810 component updates, 1411510051 transient state updates
    Bounds: [0.097247+1.54415e-02]@[0.00000](12598), [0.16894+1.53981e-02]@[0.00000](14546), [0.088016+1.54486e-02]@[0.00000](12702), [0.010966+1.53487e-02]@[0.00000](6995), [0.10102+1.54262e-02]@[0.00000](12286), [0.089084+1.54096e-02]@[0.00000](12376), [0.0065669+1.53324e-02]@[0.00000](5680), [0.043575+1.54001e-02]@[0.00000](10813), [0.14704+1.53928e-02]@[0.00000](13003), [0.057255+1.54222e-02]@[0.00000](11367) ... (13)
Sep 13, 2024 10:52:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    240710 loops (818/sec), 188149065 sampling steps, 79934 aborted
    loop condition 0.015298, exit probability 0.015086 in initial state
    194348 explored states, 13 states in BSSCs (13 absorbing)
    145704 component updates, 1439861413 transient state updates
    Bounds: [0.097247+1.53681e-02]@[0.00000](12866), [0.16894+1.53224e-02]@[0.00000](14813), [0.088017+1.53743e-02]@[0.00000](12952), [0.010978+1.52758e-02]@[0.00000](7133), [0.10102+1.53537e-02]@[0.00000](12553), [0.089088+1.53372e-02]@[0.00000](12598), [0.0065858+1.52575e-02]@[0.00000](5791), [0.043582+1.53270e-02]@[0.00000](11041), [0.14704+1.53188e-02]@[0.00000](13285), [0.057260+1.53490e-02]@[0.00000](11585) ... (13)
Sep 13, 2024 10:52:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    244913 loops (840/sec), 191505546 sampling steps, 81159 aborted
    loop condition 0.015218, exit probability 0.015008 in initial state
    194944 explored states, 13 states in BSSCs (13 absorbing)
    148645 component updates, 1468687216 transient state updates
    Bounds: [0.097247+1.52872e-02]@[0.00000](13124), [0.16895+1.52398e-02]@[0.00000](15090), [0.088017+1.52890e-02]@[0.00000](13220), [0.010992+1.51968e-02]@[0.00000](7269), [0.10103+1.52755e-02]@[0.00000](12780), [0.089093+1.52578e-02]@[0.00000](12867), [0.0066058+1.51761e-02]@[0.00000](5902), [0.043589+1.52459e-02]@[0.00000](11276), [0.14704+1.52372e-02]@[0.00000](13580), [0.057266+1.52665e-02]@[0.00000](11800) ... (13)
Sep 13, 2024 10:52:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    249489 loops (915/sec), 195159850 sampling steps, 82445 aborted
    loop condition 0.015136, exit probability 0.014928 in initial state
    195655 explored states, 13 states in BSSCs (13 absorbing)
    151887 component updates, 1500453930 transient state updates
    Bounds: [0.097248+1.52060e-02]@[0.00000](13386), [0.16895+1.51578e-02]@[0.00000](15420), [0.088018+1.52059e-02]@[0.00000](13510), [0.011006+1.51177e-02]@[0.00000](7417), [0.10103+1.51943e-02]@[0.00000](13058), [0.089098+1.51751e-02]@[0.00000](13147), [0.0066268+1.50947e-02]@[0.00000](6013), [0.043597+1.51665e-02]@[0.00000](11530), [0.14705+1.51553e-02]@[0.00000](13873), [0.057271+1.51833e-02]@[0.00000](12083) ... (13)
Sep 13, 2024 10:52:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    254359 loops (973/sec), 199045454 sampling steps, 83807 aborted
    loop condition 0.015053, exit probability 0.014848 in initial state
    196411 explored states, 13 states in BSSCs (13 absorbing)
    155343 component updates, 1534253344 transient state updates
    Bounds: [0.097248+1.51233e-02]@[0.00000](13674), [0.16895+1.50734e-02]@[0.00000](15729), [0.088018+1.51222e-02]@[0.00000](13807), [0.011020+1.50358e-02]@[0.00000](7608), [0.10103+1.51103e-02]@[0.00000](13358), [0.089103+1.50902e-02]@[0.00000](13419), [0.0066478+1.50113e-02]@[0.00000](6147), [0.043604+1.50865e-02]@[0.00000](11830), [0.14705+1.50739e-02]@[0.00000](14240), [0.057277+1.50984e-02]@[0.00000](12351) ... (13)
Sep 13, 2024 10:52:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    259519 loops (1032/sec), 203164064 sampling steps, 85306 aborted
    loop condition 0.014968, exit probability 0.014766 in initial state
    197235 explored states, 13 states in BSSCs (13 absorbing)
    158951 component updates, 1569554608 transient state updates
    Bounds: [0.097248+1.50451e-02]@[0.00000](13989), [0.16895+1.49873e-02]@[0.00000](16035), [0.088018+1.50354e-02]@[0.00000](14115), [0.011034+1.49530e-02]@[0.00000](7777), [0.10103+1.50261e-02]@[0.00000](13694), [0.089108+1.50056e-02]@[0.00000](13737), [0.0066693+1.49262e-02]@[0.00000](6301), [0.043612+1.50014e-02]@[0.00000](12113), [0.14705+1.49878e-02]@[0.00000](14578), [0.057282+1.50132e-02]@[0.00000](12643) ... (13)
Sep 13, 2024 10:52:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    264693 loops (1032/sec), 207301082 sampling steps, 86713 aborted
    loop condition 0.014891, exit probability 0.014692 in initial state
    197769 explored states, 13 states in BSSCs (13 absorbing)
    162690 component updates, 1606159803 transient state updates
    Bounds: [0.097249+1.49671e-02]@[0.00000](14320), [0.16895+1.49107e-02]@[0.00000](16388), [0.088019+1.49602e-02]@[0.00000](14432), [0.011048+1.48762e-02]@[0.00000](7980), [0.10104+1.49487e-02]@[0.00000](14022), [0.089112+1.49309e-02]@[0.00000](14089), [0.0066897+1.48505e-02]@[0.00000](6445), [0.043619+1.49248e-02]@[0.00000](12400), [0.14705+1.49124e-02]@[0.00000](14921), [0.057287+1.49380e-02]@[0.00000](12926) ... (13)
Sep 13, 2024 10:52:48 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:52:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    267427 loops (546/sec), 209465512 sampling steps, 87472 aborted
    loop condition 0.014774, exit probability 0.014574 in initial state
    199000 explored states, 23 states in BSSCs (23 absorbing)
    164599 component updates, 1645335042 transient state updates
    Bounds: [0.097249+1.48467e-02]@[0.00000](14442), [0.16895+1.47959e-02]@[0.00000](16504), [0.088019+1.48388e-02]@[0.00000](14547), [0.011069+1.47619e-02]@[0.00000](8077), [0.10104+1.48305e-02]@[0.00000](14130), [0.089119+1.48121e-02]@[0.00000](14208), [0.0067190+1.47335e-02]@[0.00000](6544), [0.043630+1.48093e-02]@[0.00000](12524), [0.14706+1.47974e-02]@[0.00000](15048), [0.057294+1.48218e-02]@[0.00000](13043) ... (23)
Sep 13, 2024 10:52:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    270218 loops (558/sec), 211666498 sampling steps, 88024 aborted
    loop condition 0.014525, exit probability 0.014304 in initial state
    201871 explored states, 23 states in BSSCs (23 absorbing)
    166694 component updates, 1689254473 transient state updates
    Bounds: [0.097250+1.45877e-02]@[0.00000](14539), [0.16895+1.45565e-02]@[0.00000](16600), [0.088020+1.45832e-02]@[0.00000](14624), [0.011113+1.45123e-02]@[0.00000](8184), [0.10105+1.45743e-02]@[0.00000](14245), [0.089132+1.45558e-02]@[0.00000](14313), [0.0067791+1.44804e-02]@[0.00000](6659), [0.043652+1.45591e-02]@[0.00000](12627), [0.14706+1.45434e-02]@[0.00000](15151), [0.057309+1.45694e-02]@[0.00000](13148) ... (23)
Sep 13, 2024 10:53:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    272793 loops (514/sec), 213694245 sampling steps, 88390 aborted
    loop condition 0.013786, exit probability 0.013282 in initial state
    205132 explored states, 23 states in BSSCs (23 absorbing)
    168720 component updates, 1729441114 transient state updates
    Bounds: [0.097250+1.38308e-02]@[0.00000](14639), [0.16896+1.38381e-02]@[0.00000](16722), [0.088020+1.38254e-02]@[0.00000](14731), [0.011158+1.37636e-02]@[0.00000](8280), [0.10105+1.38203e-02]@[0.00000](14351), [0.089142+1.38435e-02]@[0.00000](14405), [0.0068532+1.37348e-02]@[0.00000](6774), [0.043671+1.38154e-02]@[0.00000](12719), [0.14707+1.38245e-02]@[0.00000](15264), [0.057322+1.38507e-02]@[0.00000](13249) ... (23)
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    275010 loops (443/sec), 215441624 sampling steps, 88691 aborted
    loop condition 0.012412, exit probability 0.011642 in initial state
    208317 explored states, 23 states in BSSCs (23 absorbing)
    170460 component updates, 1763271685 transient state updates
    Bounds: [0.097251+1.24845e-02]@[0.00000](14720), [0.16896+1.24612e-02]@[0.00000](16813), [0.088021+1.24539e-02]@[0.00000](14818), [0.011197+1.23923e-02]@[0.00000](8360), [0.10106+1.24603e-02]@[0.00000](14448), [0.089150+1.24811e-02]@[0.00000](14476), [0.0069285+1.23644e-02]@[0.00000](6859), [0.043685+1.24409e-02]@[0.00000](12804), [0.14707+1.24999e-02]@[0.00000](15352), [0.057331+1.24953e-02]@[0.00000](13324) ... (23)
Sep 13, 2024 10:53:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    277462 loops (490/sec), 217369760 sampling steps, 88958 aborted
    loop condition 0.010726, exit probability 0.0098126 in initial state
    212098 explored states, 23 states in BSSCs (23 absorbing)
    172405 component updates, 1799850205 transient state updates
    Bounds: [0.097251+1.08702e-02]@[0.00000](14812), [0.16896+1.08033e-02]@[0.00000](16923), [0.088021+1.07839e-02]@[0.00000](14914), [0.011238+1.07329e-02]@[0.00000](8445), [0.10106+1.07922e-02]@[0.00000](14551), [0.089158+1.08227e-02]@[0.00000](14595), [0.0070112+1.06991e-02]@[0.00000](6943), [0.043699+1.08138e-02]@[0.00000](12912), [0.14708+1.08787e-02]@[0.00000](15445), [0.057341+1.08376e-02]@[0.00000](13417) ... (23)
Sep 13, 2024 10:53:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    280158 loops (538/sec), 219479446 sampling steps, 89259 aborted
    loop condition 0.0090121, exit probability 0.0080297 in initial state
    216251 explored states, 23 states in BSSCs (23 absorbing)
    174535 component updates, 1838725926 transient state updates
    Bounds: [0.097251+9.16585e-03]@[0.00000](14908), [0.16896+9.11077e-03]@[0.00000](17025), [0.088022+9.08278e-03]@[0.00000](15011), [0.011282+9.03947e-03]@[0.00000](8544), [0.10107+9.04706e-03]@[0.00000](14659), [0.089166+9.07814e-03]@[0.00000](14719), [0.0070979+8.97564e-03]@[0.00000](7050), [0.043715+9.08972e-03]@[0.00000](13012), [0.14708+9.16933e-03]@[0.00000](15558), [0.057350+9.14228e-03]@[0.00000](13542) ... (23)
Sep 13, 2024 10:53:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    282772 loops (522/sec), 221526692 sampling steps, 89524 aborted
    loop condition 0.0075688, exit probability 0.0065895 in initial state
    220292 explored states, 23 states in BSSCs (23 absorbing)
    176631 component updates, 1875876381 transient state updates
    Bounds: [0.097252+7.75014e-03]@[0.00000](15003), [0.16896+7.67692e-03]@[0.00000](17128), [0.088022+7.64450e-03]@[0.00000](15124), [0.011323+7.57384e-03]@[0.00000](8635), [0.10107+7.59147e-03]@[0.00000](14768), [0.089175+7.61493e-03]@[0.00000](14827), [0.0071743+7.53550e-03]@[0.00000](7163), [0.043730+7.64273e-03]@[0.00000](13111), [0.14708+7.71994e-03]@[0.00000](15688), [0.057360+7.71033e-03]@[0.00000](13647) ... (23)
Sep 13, 2024 10:53:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    285394 loops (524/sec), 223574488 sampling steps, 89768 aborted
    loop condition 0.0064226, exit probability 0.0054832 in initial state
    224383 explored states, 23 states in BSSCs (23 absorbing)
    178738 component updates, 1912132343 transient state updates
    Bounds: [0.097252+6.58142e-03]@[0.00000](15088), [0.16896+6.52083e-03]@[0.00000](17229), [0.088023+6.52653e-03]@[0.00000](15228), [0.011357+6.44265e-03]@[0.00000](8735), [0.10108+6.50725e-03]@[0.00000](14867), [0.089182+6.46848e-03]@[0.00000](14943), [0.0072358+6.41858e-03]@[0.00000](7244), [0.043743+6.51210e-03]@[0.00000](13202), [0.14709+6.56210e-03]@[0.00000](15810), [0.057368+6.54374e-03]@[0.00000](13763) ... (23)
Sep 13, 2024 10:53:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    287951 loops (511/sec), 225567238 sampling steps, 89988 aborted
    loop condition 0.0055509, exit probability 0.0046270 in initial state
    228364 explored states, 23 states in BSSCs (23 absorbing)
    180814 component updates, 1946578848 transient state updates
    Bounds: [0.097253+5.71522e-03]@[0.00000](15191), [0.16897+5.64277e-03]@[0.00000](17334), [0.088023+5.63810e-03]@[0.00000](15341), [0.011386+5.55886e-03]@[0.00000](8833), [0.10108+5.64567e-03]@[0.00000](14990), [0.089188+5.59150e-03]@[0.00000](15039), [0.0072862+5.54868e-03]@[0.00000](7325), [0.043755+5.61740e-03]@[0.00000](13322), [0.14709+5.67539e-03]@[0.00000](15905), [0.057376+5.65634e-03]@[0.00000](13878) ... (23)
Sep 13, 2024 10:53:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    290703 loops (550/sec), 227715529 sampling steps, 90222 aborted
    loop condition 0.0047970, exit probability 0.0038869 in initial state
    232339 explored states, 23 states in BSSCs (23 absorbing)
    183060 component updates, 1982357937 transient state updates
    Bounds: [0.097253+4.92293e-03]@[0.00000](15291), [0.16897+4.88119e-03]@[0.00000](17441), [0.088024+4.91110e-03]@[0.00000](15462), [0.011414+4.80165e-03]@[0.00000](8948), [0.10108+4.87854e-03]@[0.00000](15095), [0.089195+4.82131e-03]@[0.00000](15137), [0.0073322+4.78812e-03]@[0.00000](7431), [0.043766+4.87318e-03]@[0.00000](13442), [0.14710+4.91445e-03]@[0.00000](16035), [0.057384+4.87868e-03]@[0.00000](13989) ... (23)
Sep 13, 2024 10:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    293616 loops (582/sec), 229995382 sampling steps, 90481 aborted
    loop condition 0.0041487, exit probability 0.0032508 in initial state
    236163 explored states, 23 states in BSSCs (23 absorbing)
    185466 component updates, 2019277557 transient state updates
    Bounds: [0.097254+4.26997e-03]@[0.00000](15404), [0.16897+4.22807e-03]@[0.00000](17560), [0.088024+4.25860e-03]@[0.00000](15579), [0.011439+4.13513e-03]@[0.00000](9081), [0.10109+4.21710e-03]@[0.00000](15225), [0.089202+4.18059e-03]@[0.00000](15252), [0.0073722+4.14345e-03]@[0.00000](7545), [0.043777+4.21333e-03]@[0.00000](13557), [0.14710+4.27150e-03]@[0.00000](16158), [0.057391+4.21057e-03]@[0.00000](14114) ... (23)
Sep 13, 2024 10:53:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    296508 loops (578/sec), 232253462 sampling steps, 90722 aborted
    loop condition 0.0036183, exit probability 0.0027310 in initial state
    240113 explored states, 23 states in BSSCs (23 absorbing)
    187855 component updates, 2054340891 transient state updates
    Bounds: [0.097254+3.72613e-03]@[0.00000](15520), [0.16897+3.67199e-03]@[0.00000](17674), [0.088025+3.72159e-03]@[0.00000](15709), [0.011460+3.60776e-03]@[0.00000](9197), [0.10109+3.69592e-03]@[0.00000](15340), [0.089208+3.65074e-03]@[0.00000](15401), [0.0074066+3.61116e-03]@[0.00000](7651), [0.043787+3.66436e-03]@[0.00000](13656), [0.14710+3.74054e-03]@[0.00000](16295), [0.057398+3.66312e-03]@[0.00000](14240) ... (23)
Sep 13, 2024 10:53:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    299545 loops (607/sec), 234622861 sampling steps, 90982 aborted
    loop condition 0.0031843, exit probability 0.0023102 in initial state
    244331 explored states, 23 states in BSSCs (23 absorbing)
    190348 component updates, 2088735098 transient state updates
    Bounds: [0.097255+3.29252e-03]@[0.00000](15647), [0.16897+3.23808e-03]@[0.00000](17813), [0.088025+3.28147e-03]@[0.00000](15829), [0.011479+3.17547e-03]@[0.00000](9307), [0.10109+3.25734e-03]@[0.00000](15486), [0.089214+3.21163e-03]@[0.00000](15530), [0.0074344+3.18611e-03]@[0.00000](7744), [0.043796+3.24645e-03]@[0.00000](13788), [0.14711+3.29796e-03]@[0.00000](16408), [0.057404+3.22984e-03]@[0.00000](14350) ... (23)
Sep 13, 2024 10:53:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    302253 loops (541/sec), 236734977 sampling steps, 91201 aborted
    loop condition 0.0028784, exit probability 0.0020244 in initial state
    247754 explored states, 23 states in BSSCs (23 absorbing)
    192597 component updates, 2118322230 transient state updates
    Bounds: [0.097255+2.98310e-03]@[0.00000](15759), [0.16897+2.91601e-03]@[0.00000](17912), [0.088025+2.96992e-03]@[0.00000](15954), [0.011492+2.86947e-03]@[0.00000](9407), [0.10110+2.94742e-03]@[0.00000](15589), [0.089218+2.91253e-03]@[0.00000](15648), [0.0074545+2.86999e-03]@[0.00000](7864), [0.043803+2.93201e-03]@[0.00000](13925), [0.14711+2.98617e-03]@[0.00000](16539), [0.057409+2.93364e-03]@[0.00000](14449) ... (23)
Sep 13, 2024 10:54:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    305180 loops (585/sec), 239018104 sampling steps, 91425 aborted
    loop condition 0.0026058, exit probability 0.0017582 in initial state
    251446 explored states, 23 states in BSSCs (23 absorbing)
    195050 component updates, 2148958025 transient state updates
    Bounds: [0.097256+2.70341e-03]@[0.00000](15875), [0.16898+2.64450e-03]@[0.00000](18037), [0.088026+2.69791e-03]@[0.00000](16079), [0.011504+2.60360e-03]@[0.00000](9523), [0.10110+2.67995e-03]@[0.00000](15720), [0.089222+2.63014e-03]@[0.00000](15778), [0.0074721+2.59872e-03]@[0.00000](7980), [0.043809+2.65403e-03]@[0.00000](14058), [0.14711+2.71262e-03]@[0.00000](16640), [0.057414+2.65890e-03]@[0.00000](14572) ... (23)
Sep 13, 2024 10:54:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    308320 loops (627/sec), 241464640 sampling steps, 91685 aborted
    loop condition 0.0023697, exit probability 0.0015302 in initial state
    255259 explored states, 23 states in BSSCs (23 absorbing)
    197669 component updates, 2179827184 transient state updates
    Bounds: [0.097256+2.46149e-03]@[0.00000](16029), [0.16898+2.39890e-03]@[0.00000](18182), [0.088026+2.44736e-03]@[0.00000](16229), [0.011514+2.37317e-03]@[0.00000](9644), [0.10110+2.44353e-03]@[0.00000](15838), [0.089226+2.40477e-03]@[0.00000](15933), [0.0074874+2.36307e-03]@[0.00000](8098), [0.043815+2.41207e-03]@[0.00000](14176), [0.14711+2.46572e-03]@[0.00000](16765), [0.057418+2.40830e-03]@[0.00000](14700) ... (23)
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    311695 loops (674/sec), 244103393 sampling steps, 91963 aborted
    loop condition 0.0021583, exit probability 0.0013291 in initial state
    259009 explored states, 23 states in BSSCs (23 absorbing)
    200515 component updates, 2211145082 transient state updates
    Bounds: [0.097256+2.24056e-03]@[0.00000](16177), [0.16898+2.18777e-03]@[0.00000](18334), [0.088027+2.21078e-03]@[0.00000](16362), [0.011523+2.17255e-03]@[0.00000](9788), [0.10110+2.21865e-03]@[0.00000](15986), [0.089229+2.19387e-03]@[0.00000](16052), [0.0075008+2.15809e-03]@[0.00000](8227), [0.043821+2.19859e-03]@[0.00000](14320), [0.14711+2.23864e-03]@[0.00000](16913), [0.057422+2.20092e-03]@[0.00000](14852) ... (23)
Sep 13, 2024 10:54:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    315281 loops (717/sec), 246910420 sampling steps, 92258 aborted
    loop condition 0.0019818, exit probability 0.0011596 in initial state
    262707 explored states, 23 states in BSSCs (23 absorbing)
    203562 component updates, 2242494271 transient state updates
    Bounds: [0.097257+2.04234e-03]@[0.00000](16323), [0.16898+2.01733e-03]@[0.00000](18479), [0.088027+2.03466e-03]@[0.00000](16497), [0.011532+1.99387e-03]@[0.00000](9943), [0.10111+2.03559e-03]@[0.00000](16165), [0.089232+2.02022e-03]@[0.00000](16201), [0.0075120+1.98752e-03]@[0.00000](8371), [0.043825+2.02467e-03]@[0.00000](14484), [0.14712+2.05253e-03]@[0.00000](17060), [0.057425+2.03366e-03]@[0.00000](15022) ... (23)
Sep 13, 2024 10:54:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    318916 loops (727/sec), 249760045 sampling steps, 92592 aborted
    loop condition 0.0018365, exit probability 0.0010191 in initial state
    266369 explored states, 23 states in BSSCs (23 absorbing)
    206620 component updates, 2271797870 transient state updates
    Bounds: [0.097257+1.89380e-03]@[0.00000](16463), [0.16898+1.87284e-03]@[0.00000](18647), [0.088027+1.87993e-03]@[0.00000](16647), [0.011538+1.85376e-03]@[0.00000](10084), [0.10111+1.88308e-03]@[0.00000](16330), [0.089235+1.87292e-03]@[0.00000](16342), [0.0075212+1.84483e-03]@[0.00000](8512), [0.043829+1.88506e-03]@[0.00000](14637), [0.14712+1.90282e-03]@[0.00000](17205), [0.057428+1.88457e-03]@[0.00000](15186) ... (23)
Sep 13, 2024 10:54:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    322610 loops (738/sec), 252653839 sampling steps, 92906 aborted
    loop condition 0.0017080, exit probability 0.00089510 in initial state
    269900 explored states, 23 states in BSSCs (23 absorbing)
    209767 component updates, 2299488892 transient state updates
    Bounds: [0.097257+1.75864e-03]@[0.00000](16614), [0.16898+1.75426e-03]@[0.00000](18788), [0.088027+1.75378e-03]@[0.00000](16813), [0.011544+1.72524e-03]@[0.00000](10244), [0.10111+1.74630e-03]@[0.00000](16490), [0.089237+1.74730e-03]@[0.00000](16512), [0.0075297+1.71482e-03]@[0.00000](8663), [0.043832+1.75694e-03]@[0.00000](14803), [0.14712+1.77047e-03]@[0.00000](17360), [0.057431+1.74385e-03]@[0.00000](15323) ... (23)
Sep 13, 2024 10:54:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    326592 loops (796/sec), 255780938 sampling steps, 93241 aborted
    loop condition 0.0015984, exit probability 0.00079063 in initial state
    273484 explored states, 23 states in BSSCs (23 absorbing)
    213170 component updates, 2326716770 transient state updates
    Bounds: [0.097258+1.64907e-03]@[0.00000](16793), [0.16898+1.65092e-03]@[0.00000](18961), [0.088028+1.64608e-03]@[0.00000](16975), [0.011550+1.60615e-03]@[0.00000](10425), [0.10111+1.64385e-03]@[0.00000](16647), [0.089239+1.64416e-03]@[0.00000](16680), [0.0075367+1.60587e-03]@[0.00000](8809), [0.043835+1.64843e-03]@[0.00000](14970), [0.14712+1.64514e-03]@[0.00000](17551), [0.057433+1.63136e-03]@[0.00000](15488) ... (23)
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    330740 loops (829/sec), 259043312 sampling steps, 93601 aborted
    loop condition 0.0014973, exit probability 0.00070103 in initial state
    276724 explored states, 23 states in BSSCs (23 absorbing)
    216741 component updates, 2352329367 transient state updates
    Bounds: [0.097258+1.54594e-03]@[0.00000](16979), [0.16898+1.54727e-03]@[0.00000](19151), [0.088028+1.54516e-03]@[0.00000](17142), [0.011555+1.50335e-03]@[0.00000](10601), [0.10111+1.53844e-03]@[0.00000](16804), [0.089241+1.54862e-03]@[0.00000](16851), [0.0075431+1.50705e-03]@[0.00000](8971), [0.043838+1.54737e-03]@[0.00000](15169), [0.14712+1.53921e-03]@[0.00000](17730), [0.057435+1.53411e-03]@[0.00000](15666) ... (23)
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    335085 loops (869/sec), 262464564 sampling steps, 93956 aborted
    loop condition 0.0014122, exit probability 0.00061829 in initial state
    280110 explored states, 23 states in BSSCs (23 absorbing)
    220511 component updates, 2376797178 transient state updates
    Bounds: [0.097258+1.45850e-03]@[0.00000](17171), [0.16898+1.46109e-03]@[0.00000](19358), [0.088028+1.45494e-03]@[0.00000](17328), [0.011559+1.41628e-03]@[0.00000](10773), [0.10111+1.45586e-03]@[0.00000](16991), [0.089243+1.46020e-03]@[0.00000](17050), [0.0075482+1.42642e-03]@[0.00000](9139), [0.043841+1.45604e-03]@[0.00000](15355), [0.14712+1.45680e-03]@[0.00000](17919), [0.057437+1.45039e-03]@[0.00000](15851) ... (23)
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    339321 loops (847/sec), 265796796 sampling steps, 94316 aborted
    loop condition 0.0013467, exit probability 0.00055299 in initial state
    283397 explored states, 23 states in BSSCs (23 absorbing)
    224169 component updates, 2397811428 transient state updates
    Bounds: [0.097258+1.38996e-03]@[0.00000](17346), [0.16898+1.38750e-03]@[0.00000](19523), [0.088028+1.38653e-03]@[0.00000](17495), [0.011562+1.35184e-03]@[0.00000](10934), [0.10111+1.38911e-03]@[0.00000](17177), [0.089244+1.39343e-03]@[0.00000](17237), [0.0075521+1.36463e-03]@[0.00000](9337), [0.043843+1.39323e-03]@[0.00000](15523), [0.14712+1.39537e-03]@[0.00000](18081), [0.057438+1.38082e-03]@[0.00000](16036) ... (23)
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    343655 loops (866/sec), 269214634 sampling steps, 94658 aborted
    loop condition 0.0012897, exit probability 0.00049887 in initial state
    286394 explored states, 23 states in BSSCs (23 absorbing)
    227961 component updates, 2417296773 transient state updates
    Bounds: [0.097258+1.33288e-03]@[0.00000](17536), [0.16898+1.32918e-03]@[0.00000](19717), [0.088028+1.32635e-03]@[0.00000](17690), [0.011565+1.29699e-03]@[0.00000](11118), [0.10111+1.33698e-03]@[0.00000](17366), [0.089245+1.33241e-03]@[0.00000](17425), [0.0075561+1.30216e-03]@[0.00000](9513), [0.043845+1.33119e-03]@[0.00000](15712), [0.14713+1.33802e-03]@[0.00000](18273), [0.057440+1.31987e-03]@[0.00000](16231) ... (23)
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    348334 loops (935/sec), 272912922 sampling steps, 95024 aborted
    loop condition 0.0012372, exit probability 0.00044890 in initial state
    289427 explored states, 23 states in BSSCs (23 absorbing)
    232095 component updates, 2436202988 transient state updates
    Bounds: [0.097258+1.27861e-03]@[0.00000](17755), [0.16898+1.27722e-03]@[0.00000](19938), [0.088028+1.27763e-03]@[0.00000](17882), [0.011567+1.24611e-03]@[0.00000](11324), [0.10111+1.28510e-03]@[0.00000](17574), [0.089246+1.27945e-03]@[0.00000](17598), [0.0075595+1.24879e-03]@[0.00000](9719), [0.043846+1.27545e-03]@[0.00000](15917), [0.14713+1.28211e-03]@[0.00000](18480), [0.057441+1.26799e-03]@[0.00000](16445) ... (23)
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    353093 loops (951/sec), 276672888 sampling steps, 95419 aborted
    loop condition 0.0011941, exit probability 0.00040862 in initial state
    292367 explored states, 23 states in BSSCs (23 absorbing)
    236277 component updates, 2453112317 transient state updates
    Bounds: [0.097259+1.23661e-03]@[0.00000](17967), [0.16898+1.23530e-03]@[0.00000](20134), [0.088029+1.23574e-03]@[0.00000](18117), [0.011569+1.20350e-03]@[0.00000](11522), [0.10112+1.24278e-03]@[0.00000](17754), [0.089247+1.23556e-03]@[0.00000](17816), [0.0075621+1.20579e-03]@[0.00000](9896), [0.043848+1.23238e-03]@[0.00000](16132), [0.14713+1.23613e-03]@[0.00000](18711), [0.057442+1.22585e-03]@[0.00000](16653) ... (23)
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    358407 loops (1062/sec), 280885987 sampling steps, 95875 aborted
    loop condition 0.0011547, exit probability 0.00036732 in initial state
    295317 explored states, 23 states in BSSCs (23 absorbing)
    240969 component updates, 2469542407 transient state updates
    Bounds: [0.097259+1.19674e-03]@[0.00000](18191), [0.16898+1.19548e-03]@[0.00000](20388), [0.088029+1.19801e-03]@[0.00000](18373), [0.011571+1.16436e-03]@[0.00000](11741), [0.10112+1.20269e-03]@[0.00000](18003), [0.089248+1.19758e-03]@[0.00000](18051), [0.0075647+1.16557e-03]@[0.00000](10096), [0.043849+1.19093e-03]@[0.00000](16342), [0.14713+1.19357e-03]@[0.00000](18948), [0.057443+1.18142e-03]@[0.00000](16889) ... (23)
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    364086 loops (1135/sec), 285378837 sampling steps, 96362 aborted
    loop condition 0.0011199, exit probability 0.00033014 in initial state
    298214 explored states, 23 states in BSSCs (23 absorbing)
    245971 component updates, 2484519118 transient state updates
    Bounds: [0.097259+1.16216e-03]@[0.00000](18433), [0.16898+1.15854e-03]@[0.00000](20648), [0.088029+1.16525e-03]@[0.00000](18627), [0.011573+1.13130e-03]@[0.00000](11965), [0.10112+1.16878e-03]@[0.00000](18241), [0.089248+1.16222e-03]@[0.00000](18279), [0.0075671+1.12717e-03]@[0.00000](10318), [0.043850+1.15668e-03]@[0.00000](16598), [0.14713+1.16117e-03]@[0.00000](19180), [0.057443+1.14819e-03]@[0.00000](17136) ... (23)
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    370180 loops (1218/sec), 290206205 sampling steps, 96864 aborted
    loop condition 0.0010903, exit probability 0.00029782 in initial state
    301077 explored states, 23 states in BSSCs (23 absorbing)
    251378 component updates, 2498272590 transient state updates
    Bounds: [0.097259+1.12882e-03]@[0.00000](18690), [0.16898+1.12642e-03]@[0.00000](20929), [0.088029+1.13625e-03]@[0.00000](18897), [0.011574+1.10230e-03]@[0.00000](12226), [0.10112+1.13306e-03]@[0.00000](18512), [0.089249+1.12848e-03]@[0.00000](18542), [0.0075690+1.09693e-03]@[0.00000](10563), [0.043851+1.12592e-03]@[0.00000](16868), [0.14713+1.13082e-03]@[0.00000](19453), [0.057444+1.11693e-03]@[0.00000](17399) ... (23)
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    377749 loops (1513/sec), 296193971 sampling steps, 97543 aborted
    loop condition 0.0010610, exit probability 0.00026629 in initial state
    304909 explored states, 23 states in BSSCs (23 absorbing)
    258030 component updates, 2512164898 transient state updates
    Bounds: [0.097259+1.09904e-03]@[0.00000](19014), [0.16898+1.09774e-03]@[0.00000](21229), [0.088029+1.10495e-03]@[0.00000](19250), [0.011576+1.07140e-03]@[0.00000](12543), [0.10112+1.10301e-03]@[0.00000](18841), [0.089250+1.09872e-03]@[0.00000](18882), [0.0075709+1.06563e-03]@[0.00000](10889), [0.043852+1.09437e-03]@[0.00000](17199), [0.14713+1.09977e-03]@[0.00000](19807), [0.057445+1.08792e-03]@[0.00000](17731) ... (23)
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    385912 loops (1632/sec), 302672921 sampling steps, 98241 aborted
    loop condition 0.0010366, exit probability 0.00023887 in initial state
    308392 explored states, 23 states in BSSCs (23 absorbing)
    265290 component updates, 2524226942 transient state updates
    Bounds: [0.097259+1.07614e-03]@[0.00000](19391), [0.16898+1.07239e-03]@[0.00000](21598), [0.088029+1.08055e-03]@[0.00000](19602), [0.011577+1.04843e-03]@[0.00000](12899), [0.10112+1.07807e-03]@[0.00000](19191), [0.089250+1.07308e-03]@[0.00000](19211), [0.0075724+1.04137e-03]@[0.00000](11208), [0.043853+1.06849e-03]@[0.00000](17585), [0.14713+1.07353e-03]@[0.00000](20172), [0.057445+1.06494e-03]@[0.00000](18110) ... (23)
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    394625 loops (1742/sec), 309581501 sampling steps, 99008 aborted
    loop condition 0.0010158, exit probability 0.00021507 in initial state
    312173 explored states, 23 states in BSSCs (23 absorbing)
    273016 component updates, 2534971239 transient state updates
    Bounds: [0.097259+1.05574e-03]@[0.00000](19724), [0.16899+1.05185e-03]@[0.00000](21992), [0.088029+1.06056e-03]@[0.00000](20000), [0.011578+1.02829e-03]@[0.00000](13252), [0.10112+1.05745e-03]@[0.00000](19599), [0.089251+1.05120e-03]@[0.00000](19575), [0.0075737+1.02004e-03]@[0.00000](11589), [0.043853+1.04871e-03]@[0.00000](17950), [0.14713+1.05423e-03]@[0.00000](20559), [0.057446+1.04753e-03]@[0.00000](18513) ... (23)
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    402089 loops (1622/sec), 315510583 sampling steps, 99660 aborted
    loop condition 0.0010000, exit probability 0.00019859 in initial state
    315197 explored states, 23 states in BSSCs (23 absorbing)
    279664 component updates, 2543008559 transient state updates
    Bounds: [0.097259+1.04369e-03]@[0.00000](20046), [0.16899+1.03793e-03]@[0.00000](22296), [0.088029+1.04772e-03]@[0.00000](20333), [0.011578+1.01409e-03]@[0.00000](13616), [0.10112+1.04270e-03]@[0.00000](19926), [0.089251+1.03547e-03]@[0.00000](19932), [0.0075744+1.00851e-03]@[0.00000](11876), [0.043854+1.03429e-03]@[0.00000](18260), [0.14713+1.03977e-03]@[0.00000](20878), [0.057446+1.03469e-03]@[0.00000](18830) ... (23)