sds.default-abs.ap-naive

Model:	(lumbroso)
Parameter(s)	N = 16000

	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=16000  approximate --sampling SAMPLE_NAIVE  --precision 0.001

default engine and absolute (default) error criterion

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

Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:30 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/lumbroso/lumbroso.prism --const N=16000 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 11, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 221, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:31 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1700, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:31 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 6635, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    21987 loops (4397/sec), 310831 sampling steps, 15362 aborted
    loop condition 0.73096, exit probability 0.67061 in initial state
    30430 explored states, 8567 states in BSSCs (8567 absorbing)
    6575 component updates, 92970 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](1), [6.1035e-05+9.99878e-01]@[0.00000](1), [0.0000+1.00000e+00]@[0.00000](0), [6.1035e-05+9.99939e-01]@[0.00000](3), [6.1035e-05+9.99878e-01]@[0.00000](1), [9.5367e-07+9.99999e-01]@[0.00000](1), [6.1035e-05+9.99939e-01]@[0.00000](1), [6.1035e-05+9.99939e-01]@[0.00000](2), [0.0000+1.00000e+00]@[0.00000](0), [6.1035e-05+9.99939e-01]@[0.00000](2) ... (8567)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    62400 loops (8082/sec), 882593 sampling steps, 34211 aborted
    loop condition 0.49882, exit probability 0.48723 in initial state
    38263 explored states, 8567 states in BSSCs (8567 absorbing)
    28133 component updates, 397949 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](3), [6.1989e-05+9.99876e-01]@[0.00000](3), [6.1035e-05+9.99878e-01]@[0.00000](3), [6.1035e-05+9.99939e-01]@[0.00000](4), [6.1035e-05+9.99878e-01]@[0.00000](7), [6.1989e-05+9.99877e-01]@[0.00000](4), [6.1035e-05+9.99878e-01]@[0.00000](6), [6.1035e-05+9.99939e-01]@[0.00000](4), [6.1035e-05+9.99939e-01]@[0.00000](2), [6.1035e-05+9.99939e-01]@[0.00000](8) ... (8567)
Sep 13, 2024 10:48:41 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 7147, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    64715 loops (244/sec), 915345 sampling steps, 35287 aborted
    loop condition 0.49575, exit probability 0.48574 in initial state
    38472 explored states, 15714 states in BSSCs (15714 absorbing)
    29372 component updates, 415457 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](3), [6.1989e-05+9.99876e-01]@[0.00000](3), [6.1035e-05+9.99878e-01]@[0.00000](3), [6.1035e-05+9.99939e-01]@[0.00000](4), [6.1035e-05+9.99878e-01]@[0.00000](7), [6.1989e-05+9.99877e-01]@[0.00000](4), [6.1035e-05+9.99878e-01]@[0.00000](8), [6.1035e-05+9.99939e-01]@[0.00000](4), [6.1035e-05+9.99939e-01]@[0.00000](2), [6.1035e-05+9.99939e-01]@[0.00000](8) ... (15714)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    83672 loops (3791/sec), 1183621 sampling steps, 35617 aborted
    loop condition 0.18770, exit probability 0.088698 in initial state
    40044 explored states, 15714 states in BSSCs (15714 absorbing)
    47998 component updates, 679050 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](3), [6.1989e-05+9.99876e-01]@[0.00000](6), [6.1035e-05+9.99878e-01]@[0.00000](4), [6.1035e-05+9.99878e-01]@[0.00000](5), [6.1035e-05+9.99878e-01]@[0.00000](10), [6.1989e-05+9.99877e-01]@[0.00000](8), [6.1035e-05+9.99878e-01]@[0.00000](8), [6.1035e-05+9.99878e-01]@[0.00000](5), [6.1989e-05+9.99876e-01]@[0.00000](4), [6.1035e-05+9.99939e-01]@[0.00000](8) ... (15714)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    103031 loops (3871/sec), 1457597 sampling steps, 35982 aborted
    loop condition 0.084592, exit probability 0.044142 in initial state
    41411 explored states, 15714 states in BSSCs (15714 absorbing)
    66990 component updates, 947802 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](3), [6.1989e-05+9.99876e-01]@[0.00000](6), [6.1035e-05+9.99878e-01]@[0.00000](6), [6.1035e-05+9.99878e-01]@[0.00000](9), [6.1989e-05+9.99876e-01]@[0.00000](12), [6.1989e-05+9.99877e-01]@[0.00000](10), [6.1035e-05+9.99878e-01]@[0.00000](9), [6.1035e-05+9.99878e-01]@[0.00000](5), [6.1989e-05+9.99876e-01]@[0.00000](6), [6.1035e-05+9.99878e-01]@[0.00000](10) ... (15714)
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    122339 loops (3861/sec), 1730831 sampling steps, 36350 aborted
    loop condition 0.054113, exit probability 0.039066 in initial state
    42590 explored states, 15714 states in BSSCs (15714 absorbing)
    85926 component updates, 1215725 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](3), [6.1989e-05+9.99876e-01]@[0.00000](7), [6.1035e-05+9.99878e-01]@[0.00000](6), [6.1035e-05+9.99878e-01]@[0.00000](10), [6.1989e-05+9.99876e-01]@[0.00000](15), [6.1989e-05+9.99877e-01]@[0.00000](10), [6.1035e-05+9.99878e-01]@[0.00000](9), [6.1065e-05+9.99878e-01]@[0.00000](6), [6.1989e-05+9.99876e-01]@[0.00000](6), [6.1035e-05+9.99878e-01]@[0.00000](12) ... (15714)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    141824 loops (3897/sec), 2006575 sampling steps, 36718 aborted
    loop condition 0.043780, exit probability 0.037935 in initial state
    43710 explored states, 15714 states in BSSCs (15714 absorbing)
    105042 component updates, 1486231 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](6), [6.1989e-05+9.99876e-01]@[0.00000](8), [6.1035e-05+9.99878e-01]@[0.00000](7), [6.1035e-05+9.99878e-01]@[0.00000](10), [6.1989e-05+9.99876e-01]@[0.00000](16), [6.1989e-05+9.99877e-01]@[0.00000](10), [6.1035e-05+9.99878e-01]@[0.00000](11), [6.1065e-05+9.99878e-01]@[0.00000](6), [6.1989e-05+9.99876e-01]@[0.00000](7), [6.1035e-05+9.99878e-01]@[0.00000](13) ... (15714)
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    162008 loops (4036/sec), 2292276 sampling steps, 37099 aborted
    loop condition 0.039656, exit probability 0.037067 in initial state
    44688 explored states, 15714 states in BSSCs (15714 absorbing)
    124845 component updates, 1766544 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](6), [6.1989e-05+9.99876e-01]@[0.00000](10), [6.1035e-05+9.99878e-01]@[0.00000](9), [6.1035e-05+9.99878e-01]@[0.00000](12), [6.1989e-05+9.99876e-01]@[0.00000](17), [6.1989e-05+9.99877e-01]@[0.00000](12), [6.1035e-05+9.99878e-01]@[0.00000](12), [6.1065e-05+9.99878e-01]@[0.00000](7), [6.1989e-05+9.99876e-01]@[0.00000](7), [6.1035e-05+9.99878e-01]@[0.00000](15) ... (15714)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    182266 loops (4051/sec), 2579045 sampling steps, 37439 aborted
    loop condition 0.038667, exit probability 0.036501 in initial state
    45653 explored states, 15714 states in BSSCs (15714 absorbing)
    144763 component updates, 2048484 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](6), [6.1989e-05+9.99876e-01]@[0.00000](10), [6.1035e-05+9.99878e-01]@[0.00000](10), [6.1035e-05+9.99878e-01]@[0.00000](12), [6.1989e-05+9.99876e-01]@[0.00000](17), [6.1989e-05+9.99877e-01]@[0.00000](14), [6.1035e-05+9.99878e-01]@[0.00000](14), [6.1065e-05+9.99878e-01]@[0.00000](9), [6.1989e-05+9.99876e-01]@[0.00000](7), [6.1035e-05+9.99878e-01]@[0.00000](16) ... (15714)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    202195 loops (3985/sec), 2861156 sampling steps, 37762 aborted
    loop condition 0.038140, exit probability 0.035891 in initial state
    46521 explored states, 15714 states in BSSCs (15714 absorbing)
    164369 component updates, 2326021 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](8), [6.1989e-05+9.99876e-01]@[0.00000](10), [6.1035e-05+9.99878e-01]@[0.00000](11), [6.1035e-05+9.99878e-01]@[0.00000](12), [6.1989e-05+9.99876e-01]@[0.00000](18), [6.1989e-05+9.99877e-01]@[0.00000](14), [6.1035e-05+9.99878e-01]@[0.00000](14), [6.1065e-05+9.99878e-01]@[0.00000](10), [6.1989e-05+9.99876e-01]@[0.00000](7), [6.1035e-05+9.99878e-01]@[0.00000](16) ... (15714)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    222233 loops (4007/sec), 3144644 sampling steps, 38103 aborted
    loop condition 0.037778, exit probability 0.035377 in initial state
    47356 explored states, 15714 states in BSSCs (15714 absorbing)
    184066 component updates, 2604652 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](8), [6.1989e-05+9.99876e-01]@[0.00000](11), [6.1035e-05+9.99878e-01]@[0.00000](12), [6.1035e-05+9.99878e-01]@[0.00000](13), [6.1989e-05+9.99876e-01]@[0.00000](18), [6.1989e-05+9.99877e-01]@[0.00000](16), [6.1035e-05+9.99878e-01]@[0.00000](14), [6.1065e-05+9.99878e-01]@[0.00000](10), [6.1989e-05+9.99876e-01]@[0.00000](7), [6.1035e-05+9.99878e-01]@[0.00000](19) ... (15714)
Sep 13, 2024 10:49:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    242045 loops (3962/sec), 3424782 sampling steps, 38440 aborted
    loop condition 0.037493, exit probability 0.034884 in initial state
    48099 explored states, 15714 states in BSSCs (15714 absorbing)
    203541 component updates, 2880029 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](9), [6.2019e-05+9.99876e-01]@[0.00000](13), [6.1035e-05+9.99878e-01]@[0.00000](12), [6.1035e-05+9.99878e-01]@[0.00000](14), [6.1989e-05+9.99876e-01]@[0.00000](18), [6.1989e-05+9.99877e-01]@[0.00000](17), [6.1035e-05+9.99878e-01]@[0.00000](14), [6.1065e-05+9.99878e-01]@[0.00000](10), [6.1989e-05+9.99876e-01]@[0.00000](8), [6.1035e-05+9.99878e-01]@[0.00000](20) ... (15714)
Sep 13, 2024 10:49:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    261933 loops (3977/sec), 3705910 sampling steps, 38784 aborted
    loop condition 0.037214, exit probability 0.034415 in initial state
    48728 explored states, 15714 states in BSSCs (15714 absorbing)
    223085 component updates, 3156254 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](10), [6.2019e-05+9.99876e-01]@[0.00000](14), [6.1035e-05+9.99878e-01]@[0.00000](13), [6.1035e-05+9.99878e-01]@[0.00000](17), [6.1989e-05+9.99876e-01]@[0.00000](18), [6.1989e-05+9.99877e-01]@[0.00000](18), [6.1035e-05+9.99878e-01]@[0.00000](15), [6.1065e-05+9.99878e-01]@[0.00000](14), [6.1989e-05+9.99876e-01]@[0.00000](9), [6.1035e-05+9.99878e-01]@[0.00000](23) ... (15714)
Sep 13, 2024 10:49:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    281804 loops (3974/sec), 3986958 sampling steps, 39118 aborted
    loop condition 0.036921, exit probability 0.033945 in initial state
    49393 explored states, 15714 states in BSSCs (15714 absorbing)
    242621 component updates, 3432551 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](11), [6.2019e-05+9.99876e-01]@[0.00000](15), [6.1035e-05+9.99878e-01]@[0.00000](13), [6.1035e-05+9.99878e-01]@[0.00000](17), [6.1989e-05+9.99876e-01]@[0.00000](19), [6.1989e-05+9.99877e-01]@[0.00000](18), [6.1035e-05+9.99878e-01]@[0.00000](16), [6.1065e-05+9.99878e-01]@[0.00000](15), [6.1989e-05+9.99876e-01]@[0.00000](11), [6.1035e-05+9.99878e-01]@[0.00000](24) ... (15714)
Sep 13, 2024 10:49:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    301706 loops (3980/sec), 4268678 sampling steps, 39473 aborted
    loop condition 0.036624, exit probability 0.033431 in initial state
    50099 explored states, 15714 states in BSSCs (15714 absorbing)
    262168 component updates, 3709249 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](13), [6.2019e-05+9.99876e-01]@[0.00000](16), [6.1035e-05+9.99878e-01]@[0.00000](16), [6.1035e-05+9.99878e-01]@[0.00000](19), [6.1989e-05+9.99876e-01]@[0.00000](22), [6.1989e-05+9.99877e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](18), [6.1065e-05+9.99878e-01]@[0.00000](15), [6.1989e-05+9.99876e-01]@[0.00000](14), [6.1035e-05+9.99878e-01]@[0.00000](25) ... (15714)
Sep 13, 2024 10:49:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    321353 loops (3929/sec), 4546947 sampling steps, 39838 aborted
    loop condition 0.036327, exit probability 0.032951 in initial state
    50814 explored states, 15714 states in BSSCs (15714 absorbing)
    281450 component updates, 3982365 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](15), [6.2019e-05+9.99876e-01]@[0.00000](16), [6.1035e-05+9.99878e-01]@[0.00000](17), [6.1035e-05+9.99878e-01]@[0.00000](20), [6.1989e-05+9.99876e-01]@[0.00000](22), [6.1989e-05+9.99877e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](19), [6.1065e-05+9.99878e-01]@[0.00000](16), [6.1989e-05+9.99876e-01]@[0.00000](16), [6.1035e-05+9.99878e-01]@[0.00000](26) ... (15714)
Sep 13, 2024 10:50:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    341072 loops (3943/sec), 4825659 sampling steps, 40197 aborted
    loop condition 0.036076, exit probability 0.032561 in initial state
    51340 explored states, 15714 states in BSSCs (15714 absorbing)
    300810 component updates, 4256001 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](15), [6.2019e-05+9.99876e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](22), [6.1989e-05+9.99876e-01]@[0.00000](23), [6.1989e-05+9.99877e-01]@[0.00000](20), [6.1035e-05+9.99878e-01]@[0.00000](20), [6.1065e-05+9.99878e-01]@[0.00000](17), [6.1989e-05+9.99876e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](26) ... (15714)
Sep 13, 2024 10:50:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    361440 loops (4073/sec), 5114089 sampling steps, 40584 aborted
    loop condition 0.035777, exit probability 0.032119 in initial state
    51894 explored states, 15714 states in BSSCs (15714 absorbing)
    320791 component updates, 4538987 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](15), [6.2019e-05+9.99876e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](23), [6.1989e-05+9.99876e-01]@[0.00000](24), [6.1989e-05+9.99877e-01]@[0.00000](23), [6.1035e-05+9.99878e-01]@[0.00000](20), [6.1065e-05+9.99878e-01]@[0.00000](17), [6.1989e-05+9.99876e-01]@[0.00000](20), [6.1035e-05+9.99878e-01]@[0.00000](27) ... (15714)
Sep 13, 2024 10:50:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    382040 loops (4120/sec), 5405567 sampling steps, 40977 aborted
    loop condition 0.035493, exit probability 0.031719 in initial state
    52438 explored states, 15714 states in BSSCs (15714 absorbing)
    340997 component updates, 4824888 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](15), [6.2019e-05+9.99876e-01]@[0.00000](21), [6.1035e-05+9.99878e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](24), [6.1989e-05+9.99876e-01]@[0.00000](27), [6.1989e-05+9.99877e-01]@[0.00000](26), [6.1035e-05+9.99878e-01]@[0.00000](22), [6.1065e-05+9.99878e-01]@[0.00000](19), [6.1989e-05+9.99876e-01]@[0.00000](23), [6.1035e-05+9.99878e-01]@[0.00000](28) ... (15714)
Sep 13, 2024 10:50:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    402164 loops (4024/sec), 5690220 sampling steps, 41317 aborted
    loop condition 0.035229, exit probability 0.031327 in initial state
    52928 explored states, 15714 states in BSSCs (15714 absorbing)
    360781 component updates, 5104750 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](17), [6.2019e-05+9.99876e-01]@[0.00000](22), [6.1035e-05+9.99878e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](25), [6.1989e-05+9.99876e-01]@[0.00000](29), [6.1989e-05+9.99877e-01]@[0.00000](27), [6.1035e-05+9.99878e-01]@[0.00000](24), [6.1065e-05+9.99878e-01]@[0.00000](22), [6.1989e-05+9.99876e-01]@[0.00000](26), [6.1035e-05+9.99878e-01]@[0.00000](28) ... (15714)
Sep 13, 2024 10:50:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    422685 loops (4104/sec), 5980526 sampling steps, 41697 aborted
    loop condition 0.034984, exit probability 0.030998 in initial state
    53399 explored states, 15714 states in BSSCs (15714 absorbing)
    380922 component updates, 5389698 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](21), [6.2019e-05+9.99876e-01]@[0.00000](22), [6.1035e-05+9.99878e-01]@[0.00000](19), [6.1035e-05+9.99878e-01]@[0.00000](26), [6.1989e-05+9.99876e-01]@[0.00000](29), [6.1989e-05+9.99877e-01]@[0.00000](28), [6.1035e-05+9.99878e-01]@[0.00000](29), [6.1065e-05+9.99878e-01]@[0.00000](25), [6.1989e-05+9.99876e-01]@[0.00000](26), [6.1035e-05+9.99878e-01]@[0.00000](29) ... (15714)
Sep 13, 2024 10:50:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    443115 loops (4086/sec), 6269618 sampling steps, 42022 aborted
    loop condition 0.034709, exit probability 0.030606 in initial state
    53879 explored states, 15714 states in BSSCs (15714 absorbing)
    401026 component updates, 5674149 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](23), [6.2019e-05+9.99876e-01]@[0.00000](22), [6.1035e-05+9.99878e-01]@[0.00000](20), [6.1035e-05+9.99878e-01]@[0.00000](29), [6.1989e-05+9.99876e-01]@[0.00000](29), [6.1989e-05+9.99877e-01]@[0.00000](29), [6.1035e-05+9.99878e-01]@[0.00000](29), [6.1065e-05+9.99878e-01]@[0.00000](25), [6.1989e-05+9.99876e-01]@[0.00000](28), [6.1035e-05+9.99878e-01]@[0.00000](31) ... (15714)
Sep 13, 2024 10:50:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    463518 loops (4080/sec), 6558093 sampling steps, 42412 aborted
    loop condition 0.034473, exit probability 0.030274 in initial state
    54268 explored states, 15714 states in BSSCs (15714 absorbing)
    421039 component updates, 5957088 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](24), [6.2019e-05+9.99876e-01]@[0.00000](23), [6.1035e-05+9.99878e-01]@[0.00000](21), [6.1035e-05+9.99878e-01]@[0.00000](30), [6.1989e-05+9.99876e-01]@[0.00000](29), [6.1989e-05+9.99877e-01]@[0.00000](30), [6.1035e-05+9.99878e-01]@[0.00000](33), [6.1065e-05+9.99878e-01]@[0.00000](25), [6.1989e-05+9.99876e-01]@[0.00000](31), [6.1035e-05+9.99878e-01]@[0.00000](32) ... (15714)
Sep 13, 2024 10:50:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    483085 loops (3913/sec), 6835235 sampling steps, 42728 aborted
    loop condition 0.034230, exit probability 0.029942 in initial state
    54723 explored states, 15714 states in BSSCs (15714 absorbing)
    440290 component updates, 6229753 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](27), [6.2019e-05+9.99876e-01]@[0.00000](24), [6.1035e-05+9.99878e-01]@[0.00000](23), [6.1035e-05+9.99878e-01]@[0.00000](31), [6.1989e-05+9.99876e-01]@[0.00000](30), [6.1989e-05+9.99877e-01]@[0.00000](32), [6.1035e-05+9.99878e-01]@[0.00000](36), [6.1065e-05+9.99878e-01]@[0.00000](25), [6.1989e-05+9.99876e-01]@[0.00000](33), [6.1035e-05+9.99878e-01]@[0.00000](34) ... (15714)
Sep 13, 2024 10:50:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    503023 loops (3987/sec), 7117660 sampling steps, 43098 aborted
    loop condition 0.033968, exit probability 0.029585 in initial state
    55208 explored states, 15714 states in BSSCs (15714 absorbing)
    459858 component updates, 6506903 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](28), [6.2019e-05+9.99876e-01]@[0.00000](27), [6.1035e-05+9.99878e-01]@[0.00000](24), [6.1035e-05+9.99878e-01]@[0.00000](34), [6.1989e-05+9.99876e-01]@[0.00000](31), [6.1989e-05+9.99877e-01]@[0.00000](33), [6.1035e-05+9.99878e-01]@[0.00000](36), [6.1065e-05+9.99878e-01]@[0.00000](27), [6.1989e-05+9.99876e-01]@[0.00000](33), [6.1035e-05+9.99878e-01]@[0.00000](35) ... (15714)
Sep 13, 2024 10:50:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    522977 loops (3990/sec), 7399909 sampling steps, 43500 aborted
    loop condition 0.033742, exit probability 0.029268 in initial state
    55603 explored states, 15714 states in BSSCs (15714 absorbing)
    479410 component updates, 6783475 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](30), [6.2019e-05+9.99876e-01]@[0.00000](27), [6.1035e-05+9.99878e-01]@[0.00000](24), [6.1035e-05+9.99878e-01]@[0.00000](34), [6.1989e-05+9.99876e-01]@[0.00000](33), [6.1989e-05+9.99877e-01]@[0.00000](34), [6.1035e-05+9.99878e-01]@[0.00000](37), [6.1065e-05+9.99878e-01]@[0.00000](27), [6.1989e-05+9.99876e-01]@[0.00000](34), [6.1035e-05+9.99878e-01]@[0.00000](36) ... (15714)
Sep 13, 2024 10:50:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    542322 loops (3869/sec), 7673785 sampling steps, 43834 aborted
    loop condition 0.033511, exit probability 0.028941 in initial state
    55991 explored states, 15714 states in BSSCs (15714 absorbing)
    498421 component updates, 7052617 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](31), [6.2019e-05+9.99876e-01]@[0.00000](31), [6.1035e-05+9.99878e-01]@[0.00000](26), [6.1035e-05+9.99878e-01]@[0.00000](35), [6.1989e-05+9.99876e-01]@[0.00000](34), [6.1989e-05+9.99877e-01]@[0.00000](34), [6.1035e-05+9.99878e-01]@[0.00000](38), [6.1065e-05+9.99878e-01]@[0.00000](28), [6.1989e-05+9.99876e-01]@[0.00000](36), [6.1035e-05+9.99878e-01]@[0.00000](38) ... (15714)
Sep 13, 2024 10:50:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    562285 loops (3992/sec), 7956169 sampling steps, 44182 aborted
    loop condition 0.033283, exit probability 0.028621 in initial state
    56341 explored states, 15714 states in BSSCs (15714 absorbing)
    518036 component updates, 7330057 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](34), [6.2019e-05+9.99876e-01]@[0.00000](32), [6.1035e-05+9.99878e-01]@[0.00000](26), [6.1035e-05+9.99878e-01]@[0.00000](36), [6.1989e-05+9.99876e-01]@[0.00000](34), [6.1989e-05+9.99877e-01]@[0.00000](34), [6.1035e-05+9.99878e-01]@[0.00000](39), [6.1065e-05+9.99878e-01]@[0.00000](29), [6.1989e-05+9.99876e-01]@[0.00000](37), [6.1035e-05+9.99878e-01]@[0.00000](41) ... (15714)
Sep 13, 2024 10:51:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    582275 loops (3998/sec), 8238964 sampling steps, 44536 aborted
    loop condition 0.033052, exit probability 0.028335 in initial state
    56684 explored states, 15714 states in BSSCs (15714 absorbing)
    537670 component updates, 7607799 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](35), [6.2019e-05+9.99876e-01]@[0.00000](32), [6.1035e-05+9.99878e-01]@[0.00000](28), [6.1989e-05+9.99876e-01]@[0.00000](38), [6.1989e-05+9.99876e-01]@[0.00000](35), [6.1989e-05+9.99877e-01]@[0.00000](37), [6.1035e-05+9.99878e-01]@[0.00000](39), [6.1065e-05+9.99878e-01]@[0.00000](29), [6.1989e-05+9.99876e-01]@[0.00000](39), [6.1035e-05+9.99878e-01]@[0.00000](42) ... (15714)
Sep 13, 2024 10:51:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    601926 loops (3930/sec), 8517166 sampling steps, 44863 aborted
    loop condition 0.032836, exit probability 0.028045 in initial state
    57026 explored states, 15714 states in BSSCs (15714 absorbing)
    556994 component updates, 7881370 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](37), [6.2019e-05+9.99876e-01]@[0.00000](35), [6.1989e-05+9.99876e-01]@[0.00000](30), [6.1989e-05+9.99876e-01]@[0.00000](38), [6.1989e-05+9.99876e-01]@[0.00000](35), [6.1989e-05+9.99876e-01]@[0.00000](41), [6.1035e-05+9.99878e-01]@[0.00000](40), [6.1065e-05+9.99878e-01]@[0.00000](30), [6.1989e-05+9.99876e-01]@[0.00000](40), [6.1989e-05+9.99876e-01]@[0.00000](43) ... (15714)
Sep 13, 2024 10:51:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    621982 loops (4011/sec), 8800925 sampling steps, 45200 aborted
    loop condition 0.032622, exit probability 0.027775 in initial state
    57344 explored states, 15714 states in BSSCs (15714 absorbing)
    576713 component updates, 8160353 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](38), [6.2019e-05+9.99876e-01]@[0.00000](36), [6.1989e-05+9.99876e-01]@[0.00000](30), [6.1989e-05+9.99876e-01]@[0.00000](39), [6.1989e-05+9.99876e-01]@[0.00000](35), [6.1989e-05+9.99876e-01]@[0.00000](42), [6.1035e-05+9.99878e-01]@[0.00000](43), [6.1065e-05+9.99878e-01]@[0.00000](32), [6.1989e-05+9.99876e-01]@[0.00000](40), [6.1989e-05+9.99876e-01]@[0.00000](44) ... (15714)
Sep 13, 2024 10:51:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    642021 loops (4007/sec), 9084552 sampling steps, 45549 aborted
    loop condition 0.032394, exit probability 0.027479 in initial state
    57669 explored states, 15714 states in BSSCs (15714 absorbing)
    596403 component updates, 8439027 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](39), [6.2019e-05+9.99876e-01]@[0.00000](36), [6.1989e-05+9.99876e-01]@[0.00000](31), [6.1989e-05+9.99876e-01]@[0.00000](40), [6.1989e-05+9.99876e-01]@[0.00000](41), [6.1989e-05+9.99876e-01]@[0.00000](45), [6.1035e-05+9.99878e-01]@[0.00000](45), [6.1065e-05+9.99878e-01]@[0.00000](34), [6.1989e-05+9.99876e-01]@[0.00000](41), [6.1989e-05+9.99876e-01]@[0.00000](45) ... (15714)
Sep 13, 2024 10:51:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    661694 loops (3934/sec), 9363150 sampling steps, 45876 aborted
    loop condition 0.032187, exit probability 0.027238 in initial state
    57969 explored states, 15714 states in BSSCs (15714 absorbing)
    615749 component updates, 8712989 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](39), [6.2019e-05+9.99876e-01]@[0.00000](37), [6.1989e-05+9.99876e-01]@[0.00000](34), [6.1989e-05+9.99876e-01]@[0.00000](41), [6.1989e-05+9.99876e-01]@[0.00000](44), [6.1989e-05+9.99876e-01]@[0.00000](48), [6.1035e-05+9.99878e-01]@[0.00000](46), [6.1065e-05+9.99878e-01]@[0.00000](35), [6.1989e-05+9.99876e-01]@[0.00000](43), [6.1989e-05+9.99876e-01]@[0.00000](48) ... (15714)
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    681753 loops (4011/sec), 9647004 sampling steps, 46238 aborted
    loop condition 0.031963, exit probability 0.026963 in initial state
    58299 explored states, 15714 states in BSSCs (15714 absorbing)
    635446 component updates, 8991734 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](41), [6.2019e-05+9.99876e-01]@[0.00000](37), [6.1989e-05+9.99876e-01]@[0.00000](36), [6.1989e-05+9.99876e-01]@[0.00000](42), [6.1989e-05+9.99876e-01]@[0.00000](45), [6.1989e-05+9.99876e-01]@[0.00000](50), [6.1035e-05+9.99878e-01]@[0.00000](47), [6.1065e-05+9.99878e-01]@[0.00000](35), [6.1989e-05+9.99876e-01]@[0.00000](43), [6.1989e-05+9.99876e-01]@[0.00000](50) ... (15714)
Sep 13, 2024 10:51:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    702479 loops (4145/sec), 9940126 sampling steps, 46591 aborted
    loop condition 0.031766, exit probability 0.026716 in initial state
    58600 explored states, 15714 states in BSSCs (15714 absorbing)
    655818 component updates, 9279852 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](43), [6.2019e-05+9.99876e-01]@[0.00000](38), [6.1989e-05+9.99876e-01]@[0.00000](37), [6.1989e-05+9.99876e-01]@[0.00000](44), [6.1989e-05+9.99876e-01]@[0.00000](46), [6.1989e-05+9.99876e-01]@[0.00000](51), [6.1035e-05+9.99878e-01]@[0.00000](50), [6.1065e-05+9.99878e-01]@[0.00000](35), [6.1989e-05+9.99876e-01]@[0.00000](45), [6.1989e-05+9.99876e-01]@[0.00000](51) ... (15714)
Sep 13, 2024 10:51:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    722260 loops (3956/sec), 10220113 sampling steps, 46968 aborted
    loop condition 0.031557, exit probability 0.026500 in initial state
    58897 explored states, 15714 states in BSSCs (15714 absorbing)
    675222 component updates, 9554503 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](44), [6.2019e-05+9.99876e-01]@[0.00000](41), [6.1989e-05+9.99876e-01]@[0.00000](41), [6.1989e-05+9.99876e-01]@[0.00000](45), [6.1989e-05+9.99876e-01]@[0.00000](48), [6.1989e-05+9.99876e-01]@[0.00000](51), [6.1035e-05+9.99878e-01]@[0.00000](50), [6.1065e-05+9.99878e-01]@[0.00000](36), [6.1989e-05+9.99876e-01]@[0.00000](46), [6.1989e-05+9.99876e-01]@[0.00000](52) ... (15714)
Sep 13, 2024 10:51:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    741729 loops (3893/sec), 10495655 sampling steps, 47320 aborted
    loop condition 0.031352, exit probability 0.026273 in initial state
    59167 explored states, 15714 states in BSSCs (15714 absorbing)
    694339 component updates, 9825071 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](45), [6.2019e-05+9.99876e-01]@[0.00000](44), [6.1989e-05+9.99876e-01]@[0.00000](44), [6.1989e-05+9.99876e-01]@[0.00000](45), [6.1989e-05+9.99876e-01]@[0.00000](50), [6.1989e-05+9.99876e-01]@[0.00000](53), [6.1035e-05+9.99878e-01]@[0.00000](51), [6.1065e-05+9.99878e-01]@[0.00000](37), [6.1989e-05+9.99876e-01]@[0.00000](47), [6.1989e-05+9.99876e-01]@[0.00000](52) ... (15714)
Sep 13, 2024 10:51:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    761509 loops (3956/sec), 10775269 sampling steps, 47692 aborted
    loop condition 0.031189, exit probability 0.026097 in initial state
    59397 explored states, 15714 states in BSSCs (15714 absorbing)
    713746 component updates, 10099390 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](46), [6.2019e-05+9.99876e-01]@[0.00000](46), [6.1989e-05+9.99876e-01]@[0.00000](47), [6.1989e-05+9.99876e-01]@[0.00000](46), [6.1989e-05+9.99876e-01]@[0.00000](51), [6.1989e-05+9.99876e-01]@[0.00000](54), [6.1035e-05+9.99878e-01]@[0.00000](51), [6.1065e-05+9.99878e-01]@[0.00000](37), [6.1989e-05+9.99876e-01]@[0.00000](48), [6.1989e-05+9.99876e-01]@[0.00000](52) ... (15714)
Sep 13, 2024 10:51:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    781783 loops (4054/sec), 11062200 sampling steps, 48054 aborted
    loop condition 0.030974, exit probability 0.025860 in initial state
    59654 explored states, 15714 states in BSSCs (15714 absorbing)
    733658 component updates, 10381186 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](48), [6.2019e-05+9.99876e-01]@[0.00000](47), [6.1989e-05+9.99876e-01]@[0.00000](48), [6.1989e-05+9.99876e-01]@[0.00000](47), [6.1989e-05+9.99876e-01]@[0.00000](53), [6.1989e-05+9.99876e-01]@[0.00000](56), [6.1035e-05+9.99878e-01]@[0.00000](54), [6.1065e-05+9.99878e-01]@[0.00000](38), [6.1989e-05+9.99876e-01]@[0.00000](50), [6.1989e-05+9.99876e-01]@[0.00000](52) ... (15714)
Sep 13, 2024 10:51:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    801351 loops (3913/sec), 11338974 sampling steps, 48427 aborted
    loop condition 0.030795, exit probability 0.025667 in initial state
    59872 explored states, 15714 states in BSSCs (15714 absorbing)
    752853 component updates, 10652684 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](48), [6.2019e-05+9.99876e-01]@[0.00000](47), [6.1989e-05+9.99876e-01]@[0.00000](51), [6.1989e-05+9.99876e-01]@[0.00000](48), [6.1989e-05+9.99876e-01]@[0.00000](55), [6.1989e-05+9.99876e-01]@[0.00000](58), [6.1035e-05+9.99878e-01]@[0.00000](55), [6.1065e-05+9.99878e-01]@[0.00000](40), [6.1989e-05+9.99876e-01]@[0.00000](51), [6.1989e-05+9.99876e-01]@[0.00000](52) ... (15714)
Sep 13, 2024 10:52:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    822114 loops (4152/sec), 11632951 sampling steps, 48817 aborted
    loop condition 0.030612, exit probability 0.025442 in initial state
    60176 explored states, 15714 states in BSSCs (15714 absorbing)
    773225 component updates, 10941140 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](48), [6.2019e-05+9.99876e-01]@[0.00000](47), [6.1989e-05+9.99876e-01]@[0.00000](52), [6.1989e-05+9.99876e-01]@[0.00000](52), [6.1989e-05+9.99876e-01]@[0.00000](58), [6.1989e-05+9.99876e-01]@[0.00000](58), [6.1035e-05+9.99878e-01]@[0.00000](57), [6.1065e-05+9.99878e-01]@[0.00000](40), [6.1989e-05+9.99876e-01]@[0.00000](52), [6.1989e-05+9.99876e-01]@[0.00000](52) ... (15714)
Sep 13, 2024 10:52:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    842572 loops (4091/sec), 11922514 sampling steps, 49193 aborted
    loop condition 0.030416, exit probability 0.025225 in initial state
    60411 explored states, 15714 states in BSSCs (15714 absorbing)
    793307 component updates, 11225359 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](49), [6.2019e-05+9.99876e-01]@[0.00000](48), [6.1989e-05+9.99876e-01]@[0.00000](55), [6.1989e-05+9.99876e-01]@[0.00000](52), [6.1989e-05+9.99876e-01]@[0.00000](58), [6.1989e-05+9.99876e-01]@[0.00000](60), [6.1035e-05+9.99878e-01]@[0.00000](59), [6.1065e-05+9.99878e-01]@[0.00000](43), [6.1989e-05+9.99876e-01]@[0.00000](53), [6.1989e-05+9.99876e-01]@[0.00000](54) ... (15714)
Sep 13, 2024 10:52:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    862365 loops (3958/sec), 12202368 sampling steps, 49556 aborted
    loop condition 0.030249, exit probability 0.025064 in initial state
    60616 explored states, 15714 states in BSSCs (15714 absorbing)
    812737 component updates, 11500092 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](49), [6.2019e-05+9.99876e-01]@[0.00000](50), [6.1989e-05+9.99876e-01]@[0.00000](55), [6.1989e-05+9.99876e-01]@[0.00000](52), [6.1989e-05+9.99876e-01]@[0.00000](59), [6.1989e-05+9.99876e-01]@[0.00000](63), [6.1035e-05+9.99878e-01]@[0.00000](61), [6.1065e-05+9.99878e-01]@[0.00000](44), [6.1989e-05+9.99876e-01]@[0.00000](54), [6.1989e-05+9.99876e-01]@[0.00000](54) ... (15714)
Sep 13, 2024 10:52:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    882413 loops (4009/sec), 12486035 sampling steps, 49904 aborted
    loop condition 0.030074, exit probability 0.024885 in initial state
    60825 explored states, 15714 states in BSSCs (15714 absorbing)
    832436 component updates, 11778825 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](49), [6.2019e-05+9.99876e-01]@[0.00000](50), [6.2466e-05+9.99875e-01]@[0.00000](57), [6.1989e-05+9.99876e-01]@[0.00000](55), [6.1989e-05+9.99876e-01]@[0.00000](60), [6.1989e-05+9.99876e-01]@[0.00000](63), [6.1035e-05+9.99878e-01]@[0.00000](62), [6.1065e-05+9.99878e-01]@[0.00000](46), [6.1989e-05+9.99876e-01]@[0.00000](55), [6.1989e-05+9.99876e-01]@[0.00000](56) ... (15714)
Sep 13, 2024 10:52:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    902414 loops (4000/sec), 12769269 sampling steps, 50278 aborted
    loop condition 0.029890, exit probability 0.024710 in initial state
    61018 explored states, 15714 states in BSSCs (15714 absorbing)
    852063 component updates, 12056774 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](49), [6.2019e-05+9.99876e-01]@[0.00000](50), [6.2466e-05+9.99875e-01]@[0.00000](57), [6.1989e-05+9.99876e-01]@[0.00000](59), [6.1989e-05+9.99876e-01]@[0.00000](61), [6.1989e-05+9.99876e-01]@[0.00000](64), [6.1035e-05+9.99878e-01]@[0.00000](63), [6.1065e-05+9.99878e-01]@[0.00000](46), [6.1989e-05+9.99876e-01]@[0.00000](55), [6.1989e-05+9.99876e-01]@[0.00000](56) ... (15714)
Sep 13, 2024 10:52:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    922269 loops (3971/sec), 13050425 sampling steps, 50600 aborted
    loop condition 0.029706, exit probability 0.024546 in initial state
    61238 explored states, 15714 states in BSSCs (15714 absorbing)
    871596 component updates, 12333364 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](52), [6.2019e-05+9.99876e-01]@[0.00000](51), [6.2466e-05+9.99875e-01]@[0.00000](59), [6.1989e-05+9.99876e-01]@[0.00000](60), [6.1989e-05+9.99876e-01]@[0.00000](62), [6.1989e-05+9.99876e-01]@[0.00000](64), [6.1035e-05+9.99878e-01]@[0.00000](65), [6.1065e-05+9.99878e-01]@[0.00000](47), [6.1989e-05+9.99876e-01]@[0.00000](57), [6.1989e-05+9.99876e-01]@[0.00000](56) ... (15714)
Sep 13, 2024 10:52:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    942067 loops (3959/sec), 13330486 sampling steps, 50936 aborted
    loop condition 0.029561, exit probability 0.024406 in initial state
    61435 explored states, 15714 states in BSSCs (15714 absorbing)
    891058 component updates, 12608690 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](52), [6.2019e-05+9.99876e-01]@[0.00000](56), [6.2466e-05+9.99875e-01]@[0.00000](60), [6.1989e-05+9.99876e-01]@[0.00000](63), [6.1989e-05+9.99876e-01]@[0.00000](64), [6.1989e-05+9.99876e-01]@[0.00000](65), [6.1035e-05+9.99878e-01]@[0.00000](67), [6.1065e-05+9.99878e-01]@[0.00000](48), [6.1989e-05+9.99876e-01]@[0.00000](60), [6.1989e-05+9.99876e-01]@[0.00000](56) ... (15714)
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    961543 loops (3895/sec), 13606123 sampling steps, 51288 aborted
    loop condition 0.029401, exit probability 0.024240 in initial state
    61610 explored states, 15714 states in BSSCs (15714 absorbing)
    910182 component updates, 12879362 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](52), [6.2019e-05+9.99876e-01]@[0.00000](58), [6.2466e-05+9.99875e-01]@[0.00000](65), [6.1989e-05+9.99876e-01]@[0.00000](63), [6.1989e-05+9.99876e-01]@[0.00000](65), [6.1989e-05+9.99876e-01]@[0.00000](67), [6.1035e-05+9.99878e-01]@[0.00000](70), [6.1065e-05+9.99878e-01]@[0.00000](48), [6.1989e-05+9.99876e-01]@[0.00000](60), [6.1989e-05+9.99876e-01]@[0.00000](60) ... (15714)
Sep 13, 2024 10:52:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    981310 loops (3953/sec), 13885518 sampling steps, 51628 aborted
    loop condition 0.029256, exit probability 0.024101 in initial state
    61778 explored states, 15714 states in BSSCs (15714 absorbing)
    929609 component updates, 13153940 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](53), [6.2019e-05+9.99876e-01]@[0.00000](60), [6.2466e-05+9.99875e-01]@[0.00000](65), [6.1989e-05+9.99876e-01]@[0.00000](64), [6.1989e-05+9.99876e-01]@[0.00000](65), [6.1989e-05+9.99876e-01]@[0.00000](68), [6.1035e-05+9.99878e-01]@[0.00000](71), [6.1065e-05+9.99878e-01]@[0.00000](50), [6.1989e-05+9.99876e-01]@[0.00000](61), [6.1989e-05+9.99876e-01]@[0.00000](61) ... (15714)
Sep 13, 2024 10:52:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1001656 loops (4069/sec), 14173474 sampling steps, 52014 aborted
    loop condition 0.029083, exit probability 0.023931 in initial state
    62014 explored states, 15714 states in BSSCs (15714 absorbing)
    949569 component updates, 13436410 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](54), [6.2019e-05+9.99876e-01]@[0.00000](63), [6.2466e-05+9.99875e-01]@[0.00000](66), [6.1989e-05+9.99876e-01]@[0.00000](65), [6.1989e-05+9.99876e-01]@[0.00000](66), [6.1989e-05+9.99876e-01]@[0.00000](69), [6.1035e-05+9.99878e-01]@[0.00000](72), [6.1065e-05+9.99878e-01]@[0.00000](52), [6.1989e-05+9.99876e-01]@[0.00000](63), [6.1989e-05+9.99876e-01]@[0.00000](63) ... (15714)
Sep 13, 2024 10:52:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1022054 loops (4079/sec), 14462239 sampling steps, 52397 aborted
    loop condition 0.028922, exit probability 0.023759 in initial state
    62222 explored states, 15714 states in BSSCs (15714 absorbing)
    969584 component updates, 13719758 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](57), [6.2019e-05+9.99876e-01]@[0.00000](64), [6.2466e-05+9.99875e-01]@[0.00000](67), [6.1989e-05+9.99876e-01]@[0.00000](66), [6.1989e-05+9.99876e-01]@[0.00000](66), [6.1989e-05+9.99876e-01]@[0.00000](70), [6.1035e-05+9.99878e-01]@[0.00000](73), [6.1065e-05+9.99878e-01]@[0.00000](52), [6.1989e-05+9.99876e-01]@[0.00000](63), [6.1989e-05+9.99876e-01]@[0.00000](64) ... (15714)
Sep 13, 2024 10:52:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1042033 loops (3995/sec), 14744990 sampling steps, 52759 aborted
    loop condition 0.028776, exit probability 0.023631 in initial state
    62357 explored states, 15714 states in BSSCs (15714 absorbing)
    989201 component updates, 13997368 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](58), [6.2019e-05+9.99876e-01]@[0.00000](66), [6.2466e-05+9.99875e-01]@[0.00000](67), [6.1989e-05+9.99876e-01]@[0.00000](68), [6.1989e-05+9.99876e-01]@[0.00000](66), [6.1989e-05+9.99876e-01]@[0.00000](70), [6.1035e-05+9.99878e-01]@[0.00000](74), [6.1065e-05+9.99878e-01]@[0.00000](53), [6.1989e-05+9.99876e-01]@[0.00000](65), [6.1989e-05+9.99876e-01]@[0.00000](64) ... (15714)
Sep 13, 2024 10:53:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1062256 loops (4044/sec), 15031301 sampling steps, 53127 aborted
    loop condition 0.028613, exit probability 0.023485 in initial state
    62552 explored states, 15714 states in BSSCs (15714 absorbing)
    1009056 component updates, 14278466 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](59), [6.2019e-05+9.99876e-01]@[0.00000](67), [6.2466e-05+9.99875e-01]@[0.00000](68), [6.1989e-05+9.99876e-01]@[0.00000](70), [6.1989e-05+9.99876e-01]@[0.00000](69), [6.1989e-05+9.99876e-01]@[0.00000](72), [6.1035e-05+9.99878e-01]@[0.00000](74), [6.1065e-05+9.99878e-01]@[0.00000](53), [6.1989e-05+9.99876e-01]@[0.00000](66), [6.1989e-05+9.99876e-01]@[0.00000](67) ... (15714)
Sep 13, 2024 10:53:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1082458 loops (4040/sec), 15317227 sampling steps, 53479 aborted
    loop condition 0.028470, exit probability 0.023353 in initial state
    62731 explored states, 15714 states in BSSCs (15714 absorbing)
    1028906 component updates, 14559413 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](61), [6.2019e-05+9.99876e-01]@[0.00000](68), [6.2466e-05+9.99875e-01]@[0.00000](69), [6.1989e-05+9.99876e-01]@[0.00000](71), [6.1989e-05+9.99876e-01]@[0.00000](70), [6.1989e-05+9.99876e-01]@[0.00000](72), [6.1035e-05+9.99878e-01]@[0.00000](74), [6.1065e-05+9.99878e-01]@[0.00000](55), [6.1989e-05+9.99876e-01]@[0.00000](69), [6.1989e-05+9.99876e-01]@[0.00000](68) ... (15714)
Sep 13, 2024 10:53:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1102890 loops (4086/sec), 15606319 sampling steps, 53849 aborted
    loop condition 0.028331, exit probability 0.023225 in initial state
    62886 explored states, 15714 states in BSSCs (15714 absorbing)
    1048968 component updates, 14843301 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](64), [6.2019e-05+9.99876e-01]@[0.00000](68), [6.2466e-05+9.99875e-01]@[0.00000](70), [6.1989e-05+9.99876e-01]@[0.00000](74), [6.1989e-05+9.99876e-01]@[0.00000](71), [6.1989e-05+9.99876e-01]@[0.00000](75), [6.1035e-05+9.99878e-01]@[0.00000](77), [6.1065e-05+9.99878e-01]@[0.00000](58), [6.1989e-05+9.99876e-01]@[0.00000](70), [6.1989e-05+9.99876e-01]@[0.00000](68) ... (15714)
Sep 13, 2024 10:53:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1123588 loops (4139/sec), 15899160 sampling steps, 54225 aborted
    loop condition 0.028184, exit probability 0.023097 in initial state
    63063 explored states, 15714 states in BSSCs (15714 absorbing)
    1069290 component updates, 15130846 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](65), [6.2019e-05+9.99876e-01]@[0.00000](68), [6.2466e-05+9.99875e-01]@[0.00000](70), [6.1989e-05+9.99876e-01]@[0.00000](76), [6.1989e-05+9.99876e-01]@[0.00000](72), [6.1989e-05+9.99876e-01]@[0.00000](75), [6.1035e-05+9.99878e-01]@[0.00000](77), [6.1065e-05+9.99878e-01]@[0.00000](59), [6.1989e-05+9.99876e-01]@[0.00000](71), [6.1989e-05+9.99876e-01]@[0.00000](69) ... (15714)
Sep 13, 2024 10:53:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1143969 loops (4076/sec), 16187467 sampling steps, 54576 aborted
    loop condition 0.028053, exit probability 0.022986 in initial state
    63219 explored states, 15714 states in BSSCs (15714 absorbing)
    1089320 component updates, 15414182 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](65), [6.2019e-05+9.99876e-01]@[0.00000](71), [6.2466e-05+9.99875e-01]@[0.00000](70), [6.1989e-05+9.99876e-01]@[0.00000](77), [6.1989e-05+9.99876e-01]@[0.00000](73), [6.1989e-05+9.99876e-01]@[0.00000](75), [6.1035e-05+9.99878e-01]@[0.00000](77), [6.1065e-05+9.99878e-01]@[0.00000](60), [6.1989e-05+9.99876e-01]@[0.00000](72), [6.1989e-05+9.99876e-01]@[0.00000](73) ... (15714)
Sep 13, 2024 10:53:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1164737 loops (4153/sec), 16481476 sampling steps, 54948 aborted
    loop condition 0.027894, exit probability 0.022860 in initial state
    63352 explored states, 15714 states in BSSCs (15714 absorbing)
    1109716 component updates, 15702914 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](66), [6.2019e-05+9.99876e-01]@[0.00000](73), [6.2466e-05+9.99875e-01]@[0.00000](71), [6.1989e-05+9.99876e-01]@[0.00000](78), [6.1989e-05+9.99876e-01]@[0.00000](73), [6.1989e-05+9.99876e-01]@[0.00000](75), [6.1035e-05+9.99878e-01]@[0.00000](77), [6.1065e-05+9.99878e-01]@[0.00000](62), [6.1989e-05+9.99876e-01]@[0.00000](73), [6.1989e-05+9.99876e-01]@[0.00000](74) ... (15714)
Sep 13, 2024 10:53:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1185055 loops (4063/sec), 16769179 sampling steps, 55319 aborted
    loop condition 0.027738, exit probability 0.022724 in initial state
    63502 explored states, 15714 states in BSSCs (15714 absorbing)
    1129663 component updates, 15985335 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](68), [6.2019e-05+9.99876e-01]@[0.00000](74), [6.2466e-05+9.99875e-01]@[0.00000](71), [6.1989e-05+9.99876e-01]@[0.00000](79), [6.1989e-05+9.99876e-01]@[0.00000](73), [6.1989e-05+9.99876e-01]@[0.00000](78), [6.1512e-05+9.99877e-01]@[0.00000](79), [6.1065e-05+9.99878e-01]@[0.00000](62), [6.1989e-05+9.99876e-01]@[0.00000](75), [6.1989e-05+9.99876e-01]@[0.00000](75) ... (15714)
Sep 13, 2024 10:53:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1205132 loops (4015/sec), 17052902 sampling steps, 55705 aborted
    loop condition 0.027616, exit probability 0.022611 in initial state
    63625 explored states, 15714 states in BSSCs (15714 absorbing)
    1149354 component updates, 16263597 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](70), [6.2019e-05+9.99876e-01]@[0.00000](75), [6.2466e-05+9.99875e-01]@[0.00000](72), [6.1989e-05+9.99876e-01]@[0.00000](80), [6.1989e-05+9.99876e-01]@[0.00000](74), [6.1989e-05+9.99876e-01]@[0.00000](80), [6.1512e-05+9.99877e-01]@[0.00000](81), [6.1065e-05+9.99878e-01]@[0.00000](63), [6.1989e-05+9.99876e-01]@[0.00000](76), [6.1989e-05+9.99876e-01]@[0.00000](76) ... (15714)
Sep 13, 2024 10:53:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1225114 loops (3996/sec), 17335695 sampling steps, 56050 aborted
    loop condition 0.027481, exit probability 0.022505 in initial state
    63757 explored states, 15714 states in BSSCs (15714 absorbing)
    1168991 component updates, 16541510 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](73), [6.2019e-05+9.99876e-01]@[0.00000](77), [6.2466e-05+9.99875e-01]@[0.00000](74), [6.1989e-05+9.99876e-01]@[0.00000](81), [6.1989e-05+9.99876e-01]@[0.00000](74), [6.1989e-05+9.99876e-01]@[0.00000](82), [6.1512e-05+9.99877e-01]@[0.00000](81), [6.1065e-05+9.99878e-01]@[0.00000](64), [6.1989e-05+9.99876e-01]@[0.00000](79), [6.1989e-05+9.99876e-01]@[0.00000](77) ... (15714)
Sep 13, 2024 10:53:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1245460 loops (4069/sec), 17623895 sampling steps, 56398 aborted
    loop condition 0.027327, exit probability 0.022371 in initial state
    63917 explored states, 15714 states in BSSCs (15714 absorbing)
    1188989 component updates, 16824784 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](75), [6.2019e-05+9.99876e-01]@[0.00000](78), [6.2466e-05+9.99875e-01]@[0.00000](75), [6.1989e-05+9.99876e-01]@[0.00000](83), [6.1989e-05+9.99876e-01]@[0.00000](76), [6.1989e-05+9.99876e-01]@[0.00000](85), [6.1512e-05+9.99877e-01]@[0.00000](82), [6.1065e-05+9.99878e-01]@[0.00000](64), [6.1989e-05+9.99876e-01]@[0.00000](80), [6.1989e-05+9.99876e-01]@[0.00000](78) ... (15714)
Sep 13, 2024 10:53:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1265848 loops (4077/sec), 17912453 sampling steps, 56794 aborted
    loop condition 0.027196, exit probability 0.022262 in initial state
    64082 explored states, 15714 states in BSSCs (15714 absorbing)
    1208981 component updates, 17107702 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](75), [6.2019e-05+9.99876e-01]@[0.00000](78), [6.2466e-05+9.99875e-01]@[0.00000](77), [6.1989e-05+9.99876e-01]@[0.00000](86), [6.1989e-05+9.99876e-01]@[0.00000](76), [6.1989e-05+9.99876e-01]@[0.00000](86), [6.1512e-05+9.99877e-01]@[0.00000](84), [6.1065e-05+9.99878e-01]@[0.00000](67), [6.1989e-05+9.99876e-01]@[0.00000](83), [6.1989e-05+9.99876e-01]@[0.00000](78) ... (15714)
Sep 13, 2024 10:53:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1286227 loops (4075/sec), 18200835 sampling steps, 57173 aborted
    loop condition 0.027060, exit probability 0.022151 in initial state
    64210 explored states, 15714 states in BSSCs (15714 absorbing)
    1228981 component updates, 17390720 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](77), [6.2019e-05+9.99876e-01]@[0.00000](80), [6.2466e-05+9.99875e-01]@[0.00000](77), [6.1989e-05+9.99876e-01]@[0.00000](86), [6.1989e-05+9.99876e-01]@[0.00000](77), [6.1989e-05+9.99876e-01]@[0.00000](87), [6.1512e-05+9.99877e-01]@[0.00000](87), [6.1065e-05+9.99878e-01]@[0.00000](67), [6.1989e-05+9.99876e-01]@[0.00000](84), [6.1989e-05+9.99876e-01]@[0.00000](79) ... (15714)
Sep 13, 2024 10:54:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1306605 loops (4075/sec), 18489082 sampling steps, 57541 aborted
    loop condition 0.026943, exit probability 0.022072 in initial state
    64294 explored states, 15714 states in BSSCs (15714 absorbing)
    1248991 component updates, 17673762 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](77), [6.2019e-05+9.99876e-01]@[0.00000](80), [6.2466e-05+9.99875e-01]@[0.00000](77), [6.1989e-05+9.99876e-01]@[0.00000](89), [6.1989e-05+9.99876e-01]@[0.00000](78), [6.1989e-05+9.99876e-01]@[0.00000](88), [6.1512e-05+9.99877e-01]@[0.00000](91), [6.2019e-05+9.99876e-01]@[0.00000](68), [6.1989e-05+9.99876e-01]@[0.00000](89), [6.1989e-05+9.99876e-01]@[0.00000](80) ... (15714)
Sep 13, 2024 10:54:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1327154 loops (4109/sec), 18780001 sampling steps, 57898 aborted
    loop condition 0.026811, exit probability 0.021993 in initial state
    64405 explored states, 15714 states in BSSCs (15714 absorbing)
    1269183 component updates, 17959619 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](77), [6.2019e-05+9.99876e-01]@[0.00000](83), [6.2466e-05+9.99875e-01]@[0.00000](79), [6.1989e-05+9.99876e-01]@[0.00000](89), [6.1989e-05+9.99876e-01]@[0.00000](78), [6.1989e-05+9.99876e-01]@[0.00000](89), [6.1512e-05+9.99877e-01]@[0.00000](91), [6.2019e-05+9.99876e-01]@[0.00000](68), [6.1989e-05+9.99876e-01]@[0.00000](89), [6.1989e-05+9.99876e-01]@[0.00000](81) ... (15714)
Sep 13, 2024 10:54:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1347986 loops (4166/sec), 19074743 sampling steps, 58263 aborted
    loop condition 0.026686, exit probability 0.021908 in initial state
    64516 explored states, 15714 states in BSSCs (15714 absorbing)
    1289650 component updates, 18249226 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](77), [6.2019e-05+9.99876e-01]@[0.00000](83), [6.2466e-05+9.99875e-01]@[0.00000](79), [6.1989e-05+9.99876e-01]@[0.00000](90), [6.1989e-05+9.99876e-01]@[0.00000](81), [6.1989e-05+9.99876e-01]@[0.00000](92), [6.1512e-05+9.99877e-01]@[0.00000](93), [6.2019e-05+9.99876e-01]@[0.00000](71), [6.1989e-05+9.99876e-01]@[0.00000](89), [6.1989e-05+9.99876e-01]@[0.00000](83) ... (15714)
Sep 13, 2024 10:54:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1368844 loops (4171/sec), 19369972 sampling steps, 58694 aborted
    loop condition 0.026557, exit probability 0.021817 in initial state
    64649 explored states, 15714 states in BSSCs (15714 absorbing)
    1310077 component updates, 18538364 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](77), [6.2019e-05+9.99876e-01]@[0.00000](83), [6.2466e-05+9.99875e-01]@[0.00000](80), [6.1989e-05+9.99876e-01]@[0.00000](92), [6.1989e-05+9.99876e-01]@[0.00000](82), [6.1989e-05+9.99876e-01]@[0.00000](96), [6.1512e-05+9.99877e-01]@[0.00000](93), [6.2019e-05+9.99876e-01]@[0.00000](72), [6.1989e-05+9.99876e-01]@[0.00000](90), [6.1989e-05+9.99876e-01]@[0.00000](83) ... (15714)
Sep 13, 2024 10:54:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1389652 loops (4161/sec), 19664368 sampling steps, 59039 aborted
    loop condition 0.026436, exit probability 0.021710 in initial state
    64767 explored states, 15714 states in BSSCs (15714 absorbing)
    1330540 component updates, 18827837 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](77), [6.2019e-05+9.99876e-01]@[0.00000](86), [6.2466e-05+9.99875e-01]@[0.00000](80), [6.1989e-05+9.99876e-01]@[0.00000](92), [6.1989e-05+9.99876e-01]@[0.00000](82), [6.1989e-05+9.99876e-01]@[0.00000](96), [6.1512e-05+9.99877e-01]@[0.00000](94), [6.2019e-05+9.99876e-01]@[0.00000](74), [6.1989e-05+9.99876e-01]@[0.00000](90), [6.1989e-05+9.99876e-01]@[0.00000](85) ... (15714)
Sep 13, 2024 10:54:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1410007 loops (4071/sec), 19952549 sampling steps, 59386 aborted
    loop condition 0.026312, exit probability 0.021625 in initial state
    64867 explored states, 15714 states in BSSCs (15714 absorbing)
    1350548 component updates, 19111112 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](78), [6.2019e-05+9.99876e-01]@[0.00000](86), [6.2466e-05+9.99875e-01]@[0.00000](81), [6.1989e-05+9.99876e-01]@[0.00000](92), [6.1989e-05+9.99876e-01]@[0.00000](84), [6.1989e-05+9.99876e-01]@[0.00000](97), [6.1512e-05+9.99877e-01]@[0.00000](95), [6.2019e-05+9.99876e-01]@[0.00000](75), [6.1989e-05+9.99876e-01]@[0.00000](91), [6.1989e-05+9.99876e-01]@[0.00000](85) ... (15714)
Sep 13, 2024 10:54:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1430481 loops (4094/sec), 20241997 sampling steps, 59749 aborted
    loop condition 0.026217, exit probability 0.021544 in initial state
    64972 explored states, 15714 states in BSSCs (15714 absorbing)
    1370659 component updates, 19395417 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](80), [6.2019e-05+9.99876e-01]@[0.00000](89), [6.2466e-05+9.99875e-01]@[0.00000](82), [6.1989e-05+9.99876e-01]@[0.00000](93), [6.1989e-05+9.99876e-01]@[0.00000](86), [6.1989e-05+9.99876e-01]@[0.00000](99), [6.1512e-05+9.99877e-01]@[0.00000](96), [6.2019e-05+9.99876e-01]@[0.00000](75), [6.1989e-05+9.99876e-01]@[0.00000](92), [6.1989e-05+9.99876e-01]@[0.00000](85) ... (15714)
Sep 13, 2024 10:54:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1450956 loops (4095/sec), 20531576 sampling steps, 60085 aborted
    loop condition 0.026117, exit probability 0.021462 in initial state
    65063 explored states, 15714 states in BSSCs (15714 absorbing)
    1390798 component updates, 19680225 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](80), [6.2019e-05+9.99876e-01]@[0.00000](90), [6.2466e-05+9.99875e-01]@[0.00000](83), [6.1989e-05+9.99876e-01]@[0.00000](94), [6.1989e-05+9.99876e-01]@[0.00000](88), [6.1989e-05+9.99876e-01]@[0.00000](101), [6.1512e-05+9.99877e-01]@[0.00000](97), [6.2019e-05+9.99876e-01]@[0.00000](76), [6.1989e-05+9.99876e-01]@[0.00000](93), [6.1989e-05+9.99876e-01]@[0.00000](88) ... (15714)
Sep 13, 2024 10:54:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1471419 loops (4092/sec), 20821063 sampling steps, 60481 aborted
    loop condition 0.025998, exit probability 0.021380 in initial state
    65177 explored states, 15714 states in BSSCs (15714 absorbing)
    1410865 component updates, 19964118 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](81), [6.2019e-05+9.99876e-01]@[0.00000](91), [6.2466e-05+9.99875e-01]@[0.00000](84), [6.1989e-05+9.99876e-01]@[0.00000](96), [6.1989e-05+9.99876e-01]@[0.00000](91), [6.1989e-05+9.99876e-01]@[0.00000](102), [6.1512e-05+9.99877e-01]@[0.00000](99), [6.2019e-05+9.99876e-01]@[0.00000](77), [6.1989e-05+9.99876e-01]@[0.00000](93), [6.1989e-05+9.99876e-01]@[0.00000](90) ... (15714)
Sep 13, 2024 10:54:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1491755 loops (4050/sec), 21108564 sampling steps, 60832 aborted
    loop condition 0.025888, exit probability 0.021297 in initial state
    65304 explored states, 15714 states in BSSCs (15714 absorbing)
    1430850 component updates, 20246665 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](81), [6.2019e-05+9.99876e-01]@[0.00000](93), [6.2466e-05+9.99875e-01]@[0.00000](86), [6.1989e-05+9.99876e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](91), [6.1989e-05+9.99876e-01]@[0.00000](102), [6.1512e-05+9.99877e-01]@[0.00000](100), [6.2019e-05+9.99876e-01]@[0.00000](78), [6.1989e-05+9.99876e-01]@[0.00000](95), [6.1989e-05+9.99876e-01]@[0.00000](92) ... (15714)
Sep 13, 2024 10:54:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1512330 loops (4115/sec), 21399804 sampling steps, 61165 aborted
    loop condition 0.025781, exit probability 0.021221 in initial state
    65419 explored states, 15714 states in BSSCs (15714 absorbing)
    1451092 component updates, 20533209 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](81), [6.2019e-05+9.99876e-01]@[0.00000](93), [6.2466e-05+9.99875e-01]@[0.00000](88), [6.1989e-05+9.99876e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](92), [6.1989e-05+9.99876e-01]@[0.00000](102), [6.1512e-05+9.99877e-01]@[0.00000](101), [6.2019e-05+9.99876e-01]@[0.00000](80), [6.1989e-05+9.99876e-01]@[0.00000](98), [6.1989e-05+9.99876e-01]@[0.00000](94) ... (15714)
Sep 13, 2024 10:54:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1532889 loops (4111/sec), 21690912 sampling steps, 61525 aborted
    loop condition 0.025657, exit probability 0.021138 in initial state
    65518 explored states, 15714 states in BSSCs (15714 absorbing)
    1471291 component updates, 20819240 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](81), [6.2019e-05+9.99876e-01]@[0.00000](94), [6.2466e-05+9.99875e-01]@[0.00000](91), [6.1989e-05+9.99876e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](95), [6.1989e-05+9.99876e-01]@[0.00000](106), [6.1512e-05+9.99877e-01]@[0.00000](104), [6.2019e-05+9.99876e-01]@[0.00000](83), [6.1989e-05+9.99876e-01]@[0.00000](98), [6.1989e-05+9.99876e-01]@[0.00000](95) ... (15714)
Sep 13, 2024 10:55:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1553408 loops (4103/sec), 21981158 sampling steps, 61927 aborted
    loop condition 0.025552, exit probability 0.021059 in initial state
    65619 explored states, 15714 states in BSSCs (15714 absorbing)
    1491408 component updates, 21103811 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](81), [6.2019e-05+9.99876e-01]@[0.00000](94), [6.2466e-05+9.99875e-01]@[0.00000](91), [6.1989e-05+9.99876e-01]@[0.00000](107), [6.2466e-05+9.99875e-01]@[0.00000](98), [6.1989e-05+9.99876e-01]@[0.00000](106), [6.1512e-05+9.99877e-01]@[0.00000](107), [6.2019e-05+9.99876e-01]@[0.00000](83), [6.1989e-05+9.99876e-01]@[0.00000](99), [6.1989e-05+9.99876e-01]@[0.00000](97) ... (15714)
Sep 13, 2024 10:55:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1573896 loops (4097/sec), 22270839 sampling steps, 62268 aborted
    loop condition 0.025466, exit probability 0.021005 in initial state
    65702 explored states, 15714 states in BSSCs (15714 absorbing)
    1511555 component updates, 21388711 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](81), [6.2019e-05+9.99876e-01]@[0.00000](95), [6.2466e-05+9.99875e-01]@[0.00000](91), [6.1989e-05+9.99876e-01]@[0.00000](108), [6.2466e-05+9.99875e-01]@[0.00000](98), [6.1989e-05+9.99876e-01]@[0.00000](107), [6.1512e-05+9.99877e-01]@[0.00000](108), [6.2019e-05+9.99876e-01]@[0.00000](84), [6.1989e-05+9.99876e-01]@[0.00000](99), [6.1989e-05+9.99876e-01]@[0.00000](98) ... (15714)
Sep 13, 2024 10:55:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1594322 loops (4085/sec), 22560080 sampling steps, 62627 aborted
    loop condition 0.025358, exit probability 0.020931 in initial state
    65819 explored states, 15714 states in BSSCs (15714 absorbing)
    1531622 component updates, 21672888 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](82), [6.2019e-05+9.99876e-01]@[0.00000](95), [6.2466e-05+9.99875e-01]@[0.00000](93), [6.1989e-05+9.99876e-01]@[0.00000](110), [6.2466e-05+9.99875e-01]@[0.00000](99), [6.1989e-05+9.99876e-01]@[0.00000](107), [6.1512e-05+9.99877e-01]@[0.00000](108), [6.2019e-05+9.99876e-01]@[0.00000](84), [6.1989e-05+9.99876e-01]@[0.00000](99), [6.1989e-05+9.99876e-01]@[0.00000](100) ... (15714)
Sep 13, 2024 10:55:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1615226 loops (4180/sec), 22855666 sampling steps, 63005 aborted
    loop condition 0.025267, exit probability 0.020869 in initial state
    65905 explored states, 15714 states in BSSCs (15714 absorbing)
    1552148 component updates, 21963100 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](83), [6.2019e-05+9.99876e-01]@[0.00000](95), [6.2466e-05+9.99875e-01]@[0.00000](95), [6.1989e-05+9.99876e-01]@[0.00000](111), [6.2466e-05+9.99875e-01]@[0.00000](99), [6.1989e-05+9.99876e-01]@[0.00000](108), [6.1512e-05+9.99877e-01]@[0.00000](111), [6.2019e-05+9.99876e-01]@[0.00000](84), [6.1989e-05+9.99876e-01]@[0.00000](101), [6.1989e-05+9.99876e-01]@[0.00000](101) ... (15714)
Sep 13, 2024 10:55:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1636121 loops (4179/sec), 23151201 sampling steps, 63387 aborted
    loop condition 0.025171, exit probability 0.020815 in initial state
    66005 explored states, 15714 states in BSSCs (15714 absorbing)
    1572661 component updates, 22253217 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](87), [6.2019e-05+9.99876e-01]@[0.00000](96), [6.2466e-05+9.99875e-01]@[0.00000](96), [6.1989e-05+9.99876e-01]@[0.00000](111), [6.2466e-05+9.99875e-01]@[0.00000](101), [6.1989e-05+9.99876e-01]@[0.00000](114), [6.1512e-05+9.99877e-01]@[0.00000](112), [6.2019e-05+9.99876e-01]@[0.00000](86), [6.1989e-05+9.99876e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](102) ... (15714)
Sep 13, 2024 10:55:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1657025 loops (4180/sec), 23447013 sampling steps, 63765 aborted
    loop condition 0.025077, exit probability 0.020764 in initial state
    66101 explored states, 15714 states in BSSCs (15714 absorbing)
    1593187 component updates, 22543686 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](88), [6.2019e-05+9.99876e-01]@[0.00000](97), [6.2466e-05+9.99875e-01]@[0.00000](99), [6.1989e-05+9.99876e-01]@[0.00000](113), [6.2466e-05+9.99875e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](117), [6.1512e-05+9.99877e-01]@[0.00000](112), [6.2019e-05+9.99876e-01]@[0.00000](89), [6.1989e-05+9.99876e-01]@[0.00000](104), [6.1989e-05+9.99876e-01]@[0.00000](103) ... (15714)
Sep 13, 2024 10:55:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1677889 loops (4172/sec), 23742344 sampling steps, 64143 aborted
    loop condition 0.024988, exit probability 0.020698 in initial state
    66191 explored states, 15714 states in BSSCs (15714 absorbing)
    1613673 component updates, 22833659 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](89), [6.2019e-05+9.99876e-01]@[0.00000](100), [6.2466e-05+9.99875e-01]@[0.00000](100), [6.1989e-05+9.99876e-01]@[0.00000](113), [6.2466e-05+9.99875e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](118), [6.2466e-05+9.99875e-01]@[0.00000](113), [6.2019e-05+9.99876e-01]@[0.00000](91), [6.1989e-05+9.99876e-01]@[0.00000](108), [6.1989e-05+9.99876e-01]@[0.00000](105) ... (15714)
Sep 13, 2024 10:55:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1698647 loops (4151/sec), 24036051 sampling steps, 64525 aborted
    loop condition 0.024893, exit probability 0.020641 in initial state
    66257 explored states, 15714 states in BSSCs (15714 absorbing)
    1634049 component updates, 23121936 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](90), [6.2019e-05+9.99876e-01]@[0.00000](101), [6.2466e-05+9.99875e-01]@[0.00000](101), [6.1989e-05+9.99876e-01]@[0.00000](114), [6.2466e-05+9.99875e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](119), [6.2466e-05+9.99875e-01]@[0.00000](114), [6.2019e-05+9.99876e-01]@[0.00000](92), [6.1989e-05+9.99876e-01]@[0.00000](109), [6.1989e-05+9.99876e-01]@[0.00000](106) ... (15714)
Sep 13, 2024 10:55:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1719639 loops (4198/sec), 24333112 sampling steps, 64900 aborted
    loop condition 0.024792, exit probability 0.020587 in initial state
    66377 explored states, 15714 states in BSSCs (15714 absorbing)
    1654666 component updates, 23413661 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](92), [6.2019e-05+9.99876e-01]@[0.00000](102), [6.2466e-05+9.99875e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](117), [6.2466e-05+9.99875e-01]@[0.00000](105), [6.1989e-05+9.99876e-01]@[0.00000](119), [6.2466e-05+9.99875e-01]@[0.00000](115), [6.2019e-05+9.99876e-01]@[0.00000](94), [6.1989e-05+9.99876e-01]@[0.00000](109), [6.1989e-05+9.99876e-01]@[0.00000](106) ... (15714)
Sep 13, 2024 10:55:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1740631 loops (4198/sec), 24630240 sampling steps, 65262 aborted
    loop condition 0.024677, exit probability 0.020528 in initial state
    66467 explored states, 15714 states in BSSCs (15714 absorbing)
    1675296 component updates, 23705702 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](93), [6.2019e-05+9.99876e-01]@[0.00000](102), [6.2466e-05+9.99875e-01]@[0.00000](104), [6.1989e-05+9.99876e-01]@[0.00000](118), [6.2466e-05+9.99875e-01]@[0.00000](107), [6.1989e-05+9.99876e-01]@[0.00000](120), [6.2466e-05+9.99875e-01]@[0.00000](119), [6.2019e-05+9.99876e-01]@[0.00000](94), [6.1989e-05+9.99876e-01]@[0.00000](109), [6.1989e-05+9.99876e-01]@[0.00000](107) ... (15714)
Sep 13, 2024 10:55:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1761585 loops (4190/sec), 24926695 sampling steps, 65633 aborted
    loop condition 0.024584, exit probability 0.020481 in initial state
    66546 explored states, 15714 states in BSSCs (15714 absorbing)
    1695879 component updates, 23996906 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](93), [6.2019e-05+9.99876e-01]@[0.00000](102), [6.2466e-05+9.99875e-01]@[0.00000](105), [6.1989e-05+9.99876e-01]@[0.00000](119), [6.2466e-05+9.99875e-01]@[0.00000](109), [6.1989e-05+9.99876e-01]@[0.00000](120), [6.2466e-05+9.99875e-01]@[0.00000](121), [6.2019e-05+9.99876e-01]@[0.00000](98), [6.1989e-05+9.99876e-01]@[0.00000](109), [6.1989e-05+9.99876e-01]@[0.00000](109) ... (15714)
Sep 13, 2024 10:55:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1782274 loops (4137/sec), 25219389 sampling steps, 65997 aborted
    loop condition 0.024489, exit probability 0.020416 in initial state
    66645 explored states, 15714 states in BSSCs (15714 absorbing)
    1716204 component updates, 24284402 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](94), [6.2019e-05+9.99876e-01]@[0.00000](102), [6.2466e-05+9.99875e-01]@[0.00000](105), [6.1989e-05+9.99876e-01]@[0.00000](119), [6.2466e-05+9.99875e-01]@[0.00000](114), [6.1989e-05+9.99876e-01]@[0.00000](121), [6.2466e-05+9.99875e-01]@[0.00000](121), [6.2019e-05+9.99876e-01]@[0.00000](100), [6.1989e-05+9.99876e-01]@[0.00000](110), [6.1989e-05+9.99876e-01]@[0.00000](110) ... (15714)
Sep 13, 2024 10:56:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1803221 loops (4189/sec), 25515537 sampling steps, 66344 aborted
    loop condition 0.024407, exit probability 0.020366 in initial state
    66715 explored states, 15714 states in BSSCs (15714 absorbing)
    1736804 component updates, 24575655 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](96), [6.2019e-05+9.99876e-01]@[0.00000](102), [6.2466e-05+9.99875e-01]@[0.00000](107), [6.1989e-05+9.99876e-01]@[0.00000](120), [6.2466e-05+9.99875e-01]@[0.00000](118), [6.1989e-05+9.99876e-01]@[0.00000](122), [6.2466e-05+9.99875e-01]@[0.00000](122), [6.2019e-05+9.99876e-01]@[0.00000](102), [6.1989e-05+9.99876e-01]@[0.00000](112), [6.1989e-05+9.99876e-01]@[0.00000](111) ... (15714)
Sep 13, 2024 10:56:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1824178 loops (4191/sec), 25811927 sampling steps, 66721 aborted
    loop condition 0.024325, exit probability 0.020316 in initial state
    66789 explored states, 15714 states in BSSCs (15714 absorbing)
    1757384 component updates, 24866715 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](99), [6.2019e-05+9.99876e-01]@[0.00000](104), [6.2466e-05+9.99875e-01]@[0.00000](108), [6.1989e-05+9.99876e-01]@[0.00000](121), [6.2466e-05+9.99875e-01]@[0.00000](121), [6.1989e-05+9.99876e-01]@[0.00000](125), [6.2466e-05+9.99875e-01]@[0.00000](124), [6.2019e-05+9.99876e-01]@[0.00000](104), [6.1989e-05+9.99876e-01]@[0.00000](113), [6.1989e-05+9.99876e-01]@[0.00000](113) ... (15714)
Sep 13, 2024 10:56:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1845123 loops (4189/sec), 26108285 sampling steps, 67075 aborted
    loop condition 0.024227, exit probability 0.020255 in initial state
    66874 explored states, 15714 states in BSSCs (15714 absorbing)
    1777975 component updates, 25158052 transient state updates
    Bounds: [6.1035e-05+9.99878e-01]@[0.00000](99), [6.2019e-05+9.99876e-01]@[0.00000](106), [6.2466e-05+9.99875e-01]@[0.00000](108), [6.1989e-05+9.99876e-01]@[0.00000](122), [6.2466e-05+9.99875e-01]@[0.00000](121), [6.1989e-05+9.99876e-01]@[0.00000](126), [6.2466e-05+9.99875e-01]@[0.00000](124), [6.2019e-05+9.99876e-01]@[0.00000](104), [6.1989e-05+9.99876e-01]@[0.00000](118), [6.1989e-05+9.99876e-01]@[0.00000](113) ... (15714)
Sep 13, 2024 10:56:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1866083 loops (4192/sec), 26404764 sampling steps, 67405 aborted
    loop condition 0.024144, exit probability 0.020223 in initial state
    66937 explored states, 15714 states in BSSCs (15714 absorbing)
    1798605 component updates, 25449857 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](103), [6.2019e-05+9.99876e-01]@[0.00000](107), [6.2466e-05+9.99875e-01]@[0.00000](109), [6.1989e-05+9.99876e-01]@[0.00000](123), [6.2466e-05+9.99875e-01]@[0.00000](123), [6.1989e-05+9.99876e-01]@[0.00000](127), [6.2466e-05+9.99875e-01]@[0.00000](125), [6.2019e-05+9.99876e-01]@[0.00000](106), [6.1989e-05+9.99876e-01]@[0.00000](120), [6.1989e-05+9.99876e-01]@[0.00000](114) ... (15714)
Sep 13, 2024 10:56:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1886501 loops (4083/sec), 26693757 sampling steps, 67802 aborted
    loop condition 0.024057, exit probability 0.020176 in initial state
    67023 explored states, 15714 states in BSSCs (15714 absorbing)
    1818626 component updates, 25733235 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](103), [6.2019e-05+9.99876e-01]@[0.00000](109), [6.2466e-05+9.99875e-01]@[0.00000](110), [6.1989e-05+9.99876e-01]@[0.00000](126), [6.2466e-05+9.99875e-01]@[0.00000](126), [6.1989e-05+9.99876e-01]@[0.00000](129), [6.2466e-05+9.99875e-01]@[0.00000](127), [6.2019e-05+9.99876e-01]@[0.00000](110), [6.1989e-05+9.99876e-01]@[0.00000](123), [6.1989e-05+9.99876e-01]@[0.00000](115) ... (15714)
Sep 13, 2024 10:56:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1906937 loops (4087/sec), 26983062 sampling steps, 68175 aborted
    loop condition 0.023973, exit probability 0.020129 in initial state
    67108 explored states, 15714 states in BSSCs (15714 absorbing)
    1838688 component updates, 26017270 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](104), [6.2019e-05+9.99876e-01]@[0.00000](110), [6.2466e-05+9.99875e-01]@[0.00000](112), [6.1989e-05+9.99876e-01]@[0.00000](126), [6.2466e-05+9.99875e-01]@[0.00000](128), [6.1989e-05+9.99876e-01]@[0.00000](130), [6.2466e-05+9.99875e-01]@[0.00000](128), [6.2019e-05+9.99876e-01]@[0.00000](113), [6.1989e-05+9.99876e-01]@[0.00000](125), [6.1989e-05+9.99876e-01]@[0.00000](115) ... (15714)
Sep 13, 2024 10:56:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1927557 loops (4124/sec), 27274909 sampling steps, 68543 aborted
    loop condition 0.023889, exit probability 0.020085 in initial state
    67164 explored states, 15714 states in BSSCs (15714 absorbing)
    1858940 component updates, 26303914 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](106), [6.2019e-05+9.99876e-01]@[0.00000](111), [6.2466e-05+9.99875e-01]@[0.00000](113), [6.1989e-05+9.99876e-01]@[0.00000](129), [6.2466e-05+9.99875e-01]@[0.00000](129), [6.1989e-05+9.99876e-01]@[0.00000](135), [6.2466e-05+9.99875e-01]@[0.00000](129), [6.2019e-05+9.99876e-01]@[0.00000](113), [6.1989e-05+9.99876e-01]@[0.00000](127), [6.1989e-05+9.99876e-01]@[0.00000](116) ... (15714)
Sep 13, 2024 10:56:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1948260 loops (4140/sec), 27567957 sampling steps, 68920 aborted
    loop condition 0.023809, exit probability 0.020045 in initial state
    67233 explored states, 15714 states in BSSCs (15714 absorbing)
    1879266 component updates, 26591601 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](108), [6.2019e-05+9.99876e-01]@[0.00000](114), [6.2466e-05+9.99875e-01]@[0.00000](113), [6.1989e-05+9.99876e-01]@[0.00000](129), [6.2466e-05+9.99875e-01]@[0.00000](131), [6.1989e-05+9.99876e-01]@[0.00000](135), [6.2466e-05+9.99875e-01]@[0.00000](131), [6.2019e-05+9.99876e-01]@[0.00000](114), [6.1989e-05+9.99876e-01]@[0.00000](127), [6.1989e-05+9.99876e-01]@[0.00000](116) ... (15714)
Sep 13, 2024 10:56:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1968999 loops (4147/sec), 27861490 sampling steps, 69282 aborted
    loop condition 0.023724, exit probability 0.020011 in initial state
    67291 explored states, 15714 states in BSSCs (15714 absorbing)
    1899643 component updates, 26879998 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](109), [6.2019e-05+9.99876e-01]@[0.00000](114), [6.2466e-05+9.99875e-01]@[0.00000](114), [6.1989e-05+9.99876e-01]@[0.00000](130), [6.2466e-05+9.99875e-01]@[0.00000](133), [6.1989e-05+9.99876e-01]@[0.00000](136), [6.2466e-05+9.99875e-01]@[0.00000](132), [6.2019e-05+9.99876e-01]@[0.00000](114), [6.1989e-05+9.99876e-01]@[0.00000](130), [6.1989e-05+9.99876e-01]@[0.00000](118) ... (15714)
Sep 13, 2024 10:56:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    1989469 loops (4094/sec), 28151250 sampling steps, 69633 aborted
    loop condition 0.023647, exit probability 0.019973 in initial state
    67372 explored states, 15714 states in BSSCs (15714 absorbing)
    1919762 component updates, 27164789 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](109), [6.2019e-05+9.99876e-01]@[0.00000](116), [6.2466e-05+9.99875e-01]@[0.00000](115), [6.1989e-05+9.99876e-01]@[0.00000](134), [6.2466e-05+9.99875e-01]@[0.00000](136), [6.1989e-05+9.99876e-01]@[0.00000](137), [6.2466e-05+9.99875e-01]@[0.00000](133), [6.2019e-05+9.99876e-01]@[0.00000](117), [6.1989e-05+9.99876e-01]@[0.00000](130), [6.1989e-05+9.99876e-01]@[0.00000](119) ... (15714)
Sep 13, 2024 10:56:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2010113 loops (4128/sec), 28443552 sampling steps, 70037 aborted
    loop condition 0.023567, exit probability 0.019940 in initial state
    67450 explored states, 15714 states in BSSCs (15714 absorbing)
    1940002 component updates, 27451325 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](111), [6.2019e-05+9.99876e-01]@[0.00000](117), [6.2466e-05+9.99875e-01]@[0.00000](116), [6.1989e-05+9.99876e-01]@[0.00000](136), [6.2466e-05+9.99875e-01]@[0.00000](137), [6.1989e-05+9.99876e-01]@[0.00000](139), [6.2466e-05+9.99875e-01]@[0.00000](133), [6.2019e-05+9.99876e-01]@[0.00000](121), [6.1989e-05+9.99876e-01]@[0.00000](131), [6.1989e-05+9.99876e-01]@[0.00000](123) ... (15714)
Sep 13, 2024 10:56:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2030696 loops (4116/sec), 28734821 sampling steps, 70383 aborted
    loop condition 0.023494, exit probability 0.019904 in initial state
    67513 explored states, 15714 states in BSSCs (15714 absorbing)
    1960238 component updates, 27737626 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](112), [6.2019e-05+9.99876e-01]@[0.00000](118), [6.2466e-05+9.99875e-01]@[0.00000](116), [6.1989e-05+9.99876e-01]@[0.00000](136), [6.2466e-05+9.99875e-01]@[0.00000](137), [6.1989e-05+9.99876e-01]@[0.00000](140), [6.2466e-05+9.99875e-01]@[0.00000](133), [6.2019e-05+9.99876e-01]@[0.00000](122), [6.1989e-05+9.99876e-01]@[0.00000](133), [6.1989e-05+9.99876e-01]@[0.00000](123) ... (15714)
Sep 13, 2024 10:57:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2051234 loops (4107/sec), 29025542 sampling steps, 70784 aborted
    loop condition 0.023419, exit probability 0.019870 in initial state
    67575 explored states, 15714 states in BSSCs (15714 absorbing)
    1980375 component updates, 28022666 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](113), [6.2019e-05+9.99876e-01]@[0.00000](118), [6.2466e-05+9.99875e-01]@[0.00000](118), [6.1989e-05+9.99876e-01]@[0.00000](136), [6.2466e-05+9.99875e-01]@[0.00000](138), [6.1989e-05+9.99876e-01]@[0.00000](142), [6.2466e-05+9.99875e-01]@[0.00000](136), [6.2019e-05+9.99876e-01]@[0.00000](123), [6.1989e-05+9.99876e-01]@[0.00000](133), [6.1989e-05+9.99876e-01]@[0.00000](123) ... (15714)
Sep 13, 2024 10:57:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2071813 loops (4115/sec), 29316721 sampling steps, 71162 aborted
    loop condition 0.023368, exit probability 0.019846 in initial state
    67621 explored states, 15714 states in BSSCs (15714 absorbing)
    2000576 component updates, 28308501 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](117), [6.2019e-05+9.99876e-01]@[0.00000](119), [6.2466e-05+9.99875e-01]@[0.00000](119), [6.1989e-05+9.99876e-01]@[0.00000](137), [6.2466e-05+9.99875e-01]@[0.00000](142), [6.1989e-05+9.99876e-01]@[0.00000](143), [6.2466e-05+9.99875e-01]@[0.00000](138), [6.2019e-05+9.99876e-01]@[0.00000](125), [6.1989e-05+9.99876e-01]@[0.00000](134), [6.1989e-05+9.99876e-01]@[0.00000](126) ... (15714)
Sep 13, 2024 10:57:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2092158 loops (4069/sec), 29604626 sampling steps, 71552 aborted
    loop condition 0.023308, exit probability 0.019820 in initial state
    67692 explored states, 15714 states in BSSCs (15714 absorbing)
    2020531 component updates, 28590896 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](117), [6.2019e-05+9.99876e-01]@[0.00000](120), [6.2466e-05+9.99875e-01]@[0.00000](120), [6.1989e-05+9.99876e-01]@[0.00000](139), [6.2466e-05+9.99875e-01]@[0.00000](142), [6.1989e-05+9.99876e-01]@[0.00000](143), [6.2466e-05+9.99875e-01]@[0.00000](141), [6.2019e-05+9.99876e-01]@[0.00000](126), [6.1989e-05+9.99876e-01]@[0.00000](135), [6.1989e-05+9.99876e-01]@[0.00000](127) ... (15714)
Sep 13, 2024 10:57:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2112927 loops (4153/sec), 29898462 sampling steps, 71921 aborted
    loop condition 0.023242, exit probability 0.019776 in initial state
    67767 explored states, 15714 states in BSSCs (15714 absorbing)
    2040931 component updates, 28879516 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](121), [6.2019e-05+9.99876e-01]@[0.00000](120), [6.2466e-05+9.99875e-01]@[0.00000](121), [6.1989e-05+9.99876e-01]@[0.00000](140), [6.2466e-05+9.99875e-01]@[0.00000](142), [6.1989e-05+9.99876e-01]@[0.00000](145), [6.2466e-05+9.99875e-01]@[0.00000](141), [6.2019e-05+9.99876e-01]@[0.00000](127), [6.1989e-05+9.99876e-01]@[0.00000](135), [6.1989e-05+9.99876e-01]@[0.00000](127) ... (15714)
Sep 13, 2024 10:57:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2133661 loops (4146/sec), 30191694 sampling steps, 72317 aborted
    loop condition 0.023183, exit probability 0.019748 in initial state
    67835 explored states, 15714 states in BSSCs (15714 absorbing)
    2061269 component updates, 29167154 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](123), [6.2019e-05+9.99876e-01]@[0.00000](120), [6.2466e-05+9.99875e-01]@[0.00000](124), [6.1989e-05+9.99876e-01]@[0.00000](141), [6.2466e-05+9.99875e-01]@[0.00000](142), [6.1989e-05+9.99876e-01]@[0.00000](147), [6.2466e-05+9.99875e-01]@[0.00000](143), [6.2019e-05+9.99876e-01]@[0.00000](130), [6.1989e-05+9.99876e-01]@[0.00000](136), [6.1989e-05+9.99876e-01]@[0.00000](130) ... (15714)
Sep 13, 2024 10:57:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2154353 loops (4138/sec), 30484544 sampling steps, 72704 aborted
    loop condition 0.023114, exit probability 0.019722 in initial state
    67898 explored states, 15714 states in BSSCs (15714 absorbing)
    2081573 component updates, 29454504 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](124), [6.2019e-05+9.99876e-01]@[0.00000](121), [6.2466e-05+9.99875e-01]@[0.00000](125), [6.1989e-05+9.99876e-01]@[0.00000](141), [6.2466e-05+9.99875e-01]@[0.00000](143), [6.1989e-05+9.99876e-01]@[0.00000](148), [6.2466e-05+9.99875e-01]@[0.00000](145), [6.2019e-05+9.99876e-01]@[0.00000](131), [6.1989e-05+9.99876e-01]@[0.00000](136), [6.1989e-05+9.99876e-01]@[0.00000](134) ... (15714)
Sep 13, 2024 10:57:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2175013 loops (4132/sec), 30776770 sampling steps, 73074 aborted
    loop condition 0.023064, exit probability 0.019692 in initial state
    67987 explored states, 15714 states in BSSCs (15714 absorbing)
    2101863 component updates, 29741510 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](125), [6.2019e-05+9.99876e-01]@[0.00000](123), [6.2466e-05+9.99875e-01]@[0.00000](126), [6.1989e-05+9.99876e-01]@[0.00000](142), [6.2466e-05+9.99875e-01]@[0.00000](146), [6.1989e-05+9.99876e-01]@[0.00000](148), [6.2466e-05+9.99875e-01]@[0.00000](145), [6.2019e-05+9.99876e-01]@[0.00000](134), [6.1989e-05+9.99876e-01]@[0.00000](138), [6.1989e-05+9.99876e-01]@[0.00000](135) ... (15714)
Sep 13, 2024 10:57:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2195071 loops (4011/sec), 31060559 sampling steps, 73438 aborted
    loop condition 0.023005, exit probability 0.019658 in initial state
    68037 explored states, 15714 states in BSSCs (15714 absorbing)
    2121557 component updates, 30020126 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](125), [6.2019e-05+9.99876e-01]@[0.00000](124), [6.2466e-05+9.99875e-01]@[0.00000](128), [6.1989e-05+9.99876e-01]@[0.00000](142), [6.2466e-05+9.99875e-01]@[0.00000](146), [6.1989e-05+9.99876e-01]@[0.00000](148), [6.2466e-05+9.99875e-01]@[0.00000](148), [6.2019e-05+9.99876e-01]@[0.00000](134), [6.1989e-05+9.99876e-01]@[0.00000](139), [6.1989e-05+9.99876e-01]@[0.00000](135) ... (15714)
Sep 13, 2024 10:57:40 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 286, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2214160 loops (2544/sec), 31330603 sampling steps, 73760 aborted
    loop condition 0.022940, exit probability 0.019576 in initial state
    68108 explored states, 16000 states in BSSCs (16000 absorbing)
    2140324 component updates, 30285635 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](125), [6.2019e-05+9.99876e-01]@[0.00000](124), [6.2466e-05+9.99875e-01]@[0.00000](129), [6.1989e-05+9.99876e-01]@[0.00000](143), [6.2466e-05+9.99875e-01]@[0.00000](148), [6.1989e-05+9.99876e-01]@[0.00000](148), [6.2466e-05+9.99875e-01]@[0.00000](149), [6.2019e-05+9.99876e-01]@[0.00000](138), [6.1989e-05+9.99876e-01]@[0.00000](140), [6.1989e-05+9.99876e-01]@[0.00000](136) ... (16000)
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    2236373 loops (4442/sec), 31645052 sampling steps, 73760 aborted
    loop condition 0.0098619, exit probability 0.0039732 in initial state
    68178 explored states, 16000 states in BSSCs (16000 absorbing)
    2162537 component updates, 30600084 transient state updates
    Bounds: [6.1989e-05+9.99876e-01]@[0.00000](127), [6.2019e-05+9.99876e-01]@[0.00000](126), [6.2466e-05+9.99875e-01]@[0.00000](129), [6.1989e-05+9.99876e-01]@[0.00000](143), [6.2466e-05+9.99875e-01]@[0.00000](150), [6.1989e-05+9.99876e-01]@[0.00000](151), [6.2466e-05+9.99875e-01]@[0.00000](151), [6.2019e-05+9.99876e-01]@[0.00000](139), [6.1989e-05+9.99876e-01]@[0.00000](140), [6.1989e-05+9.99876e-01]@[0.00000](139) ... (16000)