Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:29 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/haddad-monmege/haddad-monmege.pm --const N=300,p=0.7 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142524 loops (28504/sec), 42748558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
141973 component updates, 7098650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](99589), [0.0000+1.00000e+00]@[0.00000](42384)
Sep 13, 2024 10:47:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291224 loops (29740/sec), 87358558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
290673 component updates, 14533650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](203502), [0.0000+1.00000e+00]@[0.00000](87171)
Sep 13, 2024 10:47:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443626 loops (30480/sec), 133079158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
443075 component updates, 22153750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](310129), [0.0000+1.00000e+00]@[0.00000](132946)
Sep 13, 2024 10:47:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594915 loops (30257/sec), 178465858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
594364 component updates, 29718200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](415904), [0.0000+1.00000e+00]@[0.00000](178460)
Sep 13, 2024 10:47:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746919 loops (30400/sec), 224067058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
746368 component updates, 37318400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](522330), [0.0000+1.00000e+00]@[0.00000](224038)
Sep 13, 2024 10:47:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
899058 loops (30427/sec), 269708758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
898507 component updates, 44925350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](629081), [0.0000+1.00000e+00]@[0.00000](269426)
Sep 13, 2024 10:48:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1049169 loops (30022/sec), 314742058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1048618 component updates, 52430900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](733907), [0.0000+1.00000e+00]@[0.00000](314711)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1200668 loops (30299/sec), 360191758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1200117 component updates, 60005850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](839970), [0.0000+1.00000e+00]@[0.00000](360147)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1350973 loops (30061/sec), 405283258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1350422 component updates, 67521100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](944994), [0.0000+1.00000e+00]@[0.00000](405428)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1502973 loops (30400/sec), 450883258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1502422 component updates, 75121100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1051523), [0.0000+1.00000e+00]@[0.00000](450899)
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1654313 loops (30268/sec), 496285258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1653762 component updates, 82688100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1157476), [0.0000+1.00000e+00]@[0.00000](496286)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1806374 loops (30412/sec), 541903558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1805823 component updates, 90291150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1263904), [0.0000+1.00000e+00]@[0.00000](541919)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1966395 loops (32004/sec), 589909858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
1965844 component updates, 98292200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1375909), [0.0000+1.00000e+00]@[0.00000](589935)
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2127079 loops (32136/sec), 638115058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2126528 component updates, 106326400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1488335), [0.0000+1.00000e+00]@[0.00000](638193)
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2290381 loops (32660/sec), 687105658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2289830 component updates, 114491500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1602833), [0.0000+1.00000e+00]@[0.00000](686997)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2454950 loops (32913/sec), 736476358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2454399 component updates, 122719950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1718062), [0.0000+1.00000e+00]@[0.00000](736337)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2616150 loops (32240/sec), 784836358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2615599 component updates, 130779950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1830957), [0.0000+1.00000e+00]@[0.00000](784642)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2769759 loops (30721/sec), 830919058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2769208 component updates, 138460400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](1938364), [0.0000+1.00000e+00]@[0.00000](830844)
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2927523 loops (31552/sec), 878248258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
2926972 component updates, 146348600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2048757), [0.0000+1.00000e+00]@[0.00000](878215)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3088042 loops (32103/sec), 926403958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3087491 component updates, 154374550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2161241), [0.0000+1.00000e+00]@[0.00000](926250)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3250762 loops (32544/sec), 975219958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3250211 component updates, 162510550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2275266), [0.0000+1.00000e+00]@[0.00000](974945)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3414571 loops (32761/sec), 1024362658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3414020 component updates, 170701000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2390124), [0.0000+1.00000e+00]@[0.00000](1023896)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3577452 loops (32576/sec), 1073226958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3576901 component updates, 178845050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2504109), [0.0000+1.00000e+00]@[0.00000](1072792)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3735289 loops (31567/sec), 1120578058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3734738 component updates, 186736900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2614486), [0.0000+1.00000e+00]@[0.00000](1120252)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3893743 loops (31690/sec), 1168114258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
3893192 component updates, 194659600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2725224), [0.0000+1.00000e+00]@[0.00000](1167968)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4053438 loops (31939/sec), 1216022758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4052887 component updates, 202644350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2837106), [0.0000+1.00000e+00]@[0.00000](1215781)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4213730 loops (32058/sec), 1264110358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4213179 component updates, 210658950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](2949556), [0.0000+1.00000e+00]@[0.00000](1263623)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4374282 loops (32110/sec), 1312275958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4373731 component updates, 218686550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3062182), [0.0000+1.00000e+00]@[0.00000](1311549)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4535567 loops (32257/sec), 1360661458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4535016 component updates, 226750800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3175216), [0.0000+1.00000e+00]@[0.00000](1359800)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4693587 loops (31604/sec), 1408067458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4693036 component updates, 234651800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3285708), [0.0000+1.00000e+00]@[0.00000](1407328)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4853050 loops (31892/sec), 1455906358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
4852499 component updates, 242624950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3397578), [0.0000+1.00000e+00]@[0.00000](1454921)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5013119 loops (32013/sec), 1503927058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5012568 component updates, 250628400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3509704), [0.0000+1.00000e+00]@[0.00000](1502864)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5174142 loops (32204/sec), 1552233958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5173591 component updates, 258679550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3622387), [0.0000+1.00000e+00]@[0.00000](1551204)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5334807 loops (32133/sec), 1600433458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5334256 component updates, 266712800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3734913), [0.0000+1.00000e+00]@[0.00000](1599343)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5495394 loops (32117/sec), 1648609558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5494843 component updates, 274742150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3847182), [0.0000+1.00000e+00]@[0.00000](1647661)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5653402 loops (31601/sec), 1696011958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5652851 component updates, 282642550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](3957780), [0.0000+1.00000e+00]@[0.00000](1695071)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5814636 loops (32246/sec), 1744382158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5814085 component updates, 290704250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4070893), [0.0000+1.00000e+00]@[0.00000](1743192)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5978516 loops (32776/sec), 1793546158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
5977965 component updates, 298898250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4185526), [0.0000+1.00000e+00]@[0.00000](1792439)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6142287 loops (32754/sec), 1842677458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6141736 component updates, 307086800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4300058), [0.0000+1.00000e+00]@[0.00000](1841678)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6305943 loops (32731/sec), 1891774258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6305392 component updates, 315269600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4414430), [0.0000+1.00000e+00]@[0.00000](1890962)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6469801 loops (32771/sec), 1940931658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6469250 component updates, 323462500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4529162), [0.0000+1.00000e+00]@[0.00000](1940088)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6631340 loops (32307/sec), 1989393358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6630789 component updates, 331539450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4641954), [0.0000+1.00000e+00]@[0.00000](1988835)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6786538 loops (31039/sec), 2035952758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6785987 component updates, 339299350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4750680), [0.0000+1.00000e+00]@[0.00000](2035307)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6942699 loops (31232/sec), 2082801058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
6942148 component updates, 347107400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4860377), [0.0000+1.00000e+00]@[0.00000](2081771)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7100757 loops (31611/sec), 2130218458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7100206 component updates, 355010300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](4970875), [0.0000+1.00000e+00]@[0.00000](2129331)
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7257128 loops (31274/sec), 2177129758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7256577 component updates, 362828850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5080361), [0.0000+1.00000e+00]@[0.00000](2176216)
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7412733 loops (31121/sec), 2223811258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7412182 component updates, 370609100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5189212), [0.0000+1.00000e+00]@[0.00000](2222970)
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7570295 loops (31512/sec), 2271079858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7569744 component updates, 378487200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5299226), [0.0000+1.00000e+00]@[0.00000](2270518)
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7728833 loops (31707/sec), 2318641258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7728282 component updates, 386414100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5410101), [0.0000+1.00000e+00]@[0.00000](2318181)
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7888029 loops (31839/sec), 2366400058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
7887478 component updates, 394373900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5521484), [0.0000+1.00000e+00]@[0.00000](2365994)
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8049578 loops (32309/sec), 2414864758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8049027 component updates, 402451350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5634754), [0.0000+1.00000e+00]@[0.00000](2414273)
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8213767 loops (32837/sec), 2464121458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8213216 component updates, 410660800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5749231), [0.0000+1.00000e+00]@[0.00000](2463985)
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8377673 loops (32781/sec), 2513293258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8377122 component updates, 418856100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5864294), [0.0000+1.00000e+00]@[0.00000](2512828)
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8541841 loops (32833/sec), 2562543658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8541290 component updates, 427064500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](5979302), [0.0000+1.00000e+00]@[0.00000](2561988)
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8699318 loops (31495/sec), 2609786758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8698767 component updates, 434938350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6089432), [0.0000+1.00000e+00]@[0.00000](2609335)
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8859826 loops (32101/sec), 2657939158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
8859275 component updates, 442963750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6201745), [0.0000+1.00000e+00]@[0.00000](2657530)
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9023455 loops (32725/sec), 2707027858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9022904 component updates, 451145200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6316509), [0.0000+1.00000e+00]@[0.00000](2706395)
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9187669 loops (32842/sec), 2756292058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9187118 component updates, 459355900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6431701), [0.0000+1.00000e+00]@[0.00000](2755417)
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9351782 loops (32822/sec), 2805525958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9351231 component updates, 467561550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6546631), [0.0000+1.00000e+00]@[0.00000](2804600)
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9515673 loops (32778/sec), 2854693258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9515122 component updates, 475756100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6661149), [0.0000+1.00000e+00]@[0.00000](2853973)
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9679932 loops (32851/sec), 2903970958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9679381 component updates, 483969050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6776360), [0.0000+1.00000e+00]@[0.00000](2903021)
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9844503 loops (32914/sec), 2953342258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
9843952 component updates, 492197600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](6891525), [0.0000+1.00000e+00]@[0.00000](2952427)
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10008735 loops (32846/sec), 3002611858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10008184 component updates, 500409200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7006749), [0.0000+1.00000e+00]@[0.00000](3001435)
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10172538 loops (32760/sec), 3051752758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10171987 component updates, 508599350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7121365), [0.0000+1.00000e+00]@[0.00000](3050622)
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10336084 loops (32709/sec), 3100816558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10335533 component updates, 516776650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7235774), [0.0000+1.00000e+00]@[0.00000](3099759)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10499853 loops (32753/sec), 3149947258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10499302 component updates, 524965100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7350208), [0.0000+1.00000e+00]@[0.00000](3149094)
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10660894 loops (32208/sec), 3198259558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10660343 component updates, 533017150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7462491), [0.0000+1.00000e+00]@[0.00000](3197852)
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10819027 loops (31626/sec), 3245699458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10818476 component updates, 540923800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7573390), [0.0000+1.00000e+00]@[0.00000](3245086)
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10980683 loops (32331/sec), 3294196258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
10980132 component updates, 549006600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7686462), [0.0000+1.00000e+00]@[0.00000](3293670)
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11142141 loops (32291/sec), 3342633658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11141590 component updates, 557079500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7799467), [0.0000+1.00000e+00]@[0.00000](3342123)
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11303845 loops (32340/sec), 3391144858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11303294 component updates, 565164700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](7912575), [0.0000+1.00000e+00]@[0.00000](3390719)
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11464017 loops (32034/sec), 3439196458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11463466 component updates, 573173300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8024650), [0.0000+1.00000e+00]@[0.00000](3438816)
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11623157 loops (31828/sec), 3486938458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11622606 component updates, 581130300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8136184), [0.0000+1.00000e+00]@[0.00000](3486422)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11783893 loops (32147/sec), 3535159258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11783342 component updates, 589167100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8248596), [0.0000+1.00000e+00]@[0.00000](3534746)
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11941639 loops (31549/sec), 3582483058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
11941088 component updates, 597054400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8359211), [0.0000+1.00000e+00]@[0.00000](3581877)
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12103049 loops (32282/sec), 3630906058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12102498 component updates, 605124900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8472299), [0.0000+1.00000e+00]@[0.00000](3630199)
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12261428 loops (31675/sec), 3678419758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12260877 component updates, 613043850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8583447), [0.0000+1.00000e+00]@[0.00000](3677430)
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12419577 loops (31629/sec), 3725864458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12419026 component updates, 620951300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8694475), [0.0000+1.00000e+00]@[0.00000](3724551)
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12580705 loops (32225/sec), 3774202858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12580154 component updates, 629007700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8807179), [0.0000+1.00000e+00]@[0.00000](3772975)
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12740112 loops (31881/sec), 3822024958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12739561 component updates, 636978050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](8918782), [0.0000+1.00000e+00]@[0.00000](3820779)
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12900924 loops (32162/sec), 3870268558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
12900373 component updates, 645018650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9031215), [0.0000+1.00000e+00]@[0.00000](3869158)
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13062122 loops (32239/sec), 3918627958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13061571 component updates, 653078550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9143888), [0.0000+1.00000e+00]@[0.00000](3917683)
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13223064 loops (32188/sec), 3966910558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13222513 component updates, 661125650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9256593), [0.0000+1.00000e+00]@[0.00000](3965920)
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13384242 loops (32235/sec), 4015263958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13383691 component updates, 669184550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9369328), [0.0000+1.00000e+00]@[0.00000](4014363)
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13545363 loops (32224/sec), 4063600258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13544812 component updates, 677240600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9482460), [0.0000+1.00000e+00]@[0.00000](4062352)
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13705577 loops (32042/sec), 4111664458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13705026 component updates, 685251300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9594645), [0.0000+1.00000e+00]@[0.00000](4110381)
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13866150 loops (32114/sec), 4159836358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
13865599 component updates, 693279950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9706893), [0.0000+1.00000e+00]@[0.00000](4158706)
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14027062 loops (32182/sec), 4208109958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14026511 component updates, 701325550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9819855), [0.0000+1.00000e+00]@[0.00000](4206656)
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14188087 loops (32205/sec), 4256417458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14187536 component updates, 709376800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](9932307), [0.0000+1.00000e+00]@[0.00000](4255229)
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14349650 loops (32312/sec), 4304886358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14349099 component updates, 717454950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10045226), [0.0000+1.00000e+00]@[0.00000](4303873)
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14509547 loops (31979/sec), 4352855458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14508996 component updates, 725449800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10156999), [0.0000+1.00000e+00]@[0.00000](4351997)
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14669789 loops (32048/sec), 4400928058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14669238 component updates, 733461900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10269020), [0.0000+1.00000e+00]@[0.00000](4400218)
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14831787 loops (32399/sec), 4449527458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14831236 component updates, 741561800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10382381), [0.0000+1.00000e+00]@[0.00000](4448855)
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14993166 loops (32275/sec), 4497941158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
14992615 component updates, 749630750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10495461), [0.0000+1.00000e+00]@[0.00000](4497154)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15155189 loops (32404/sec), 4546548058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
15154638 component updates, 757731900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10609044), [0.0000+1.00000e+00]@[0.00000](4545594)
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15316884 loops (32339/sec), 4595056558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
15316333 component updates, 765816650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10722094), [0.0000+1.00000e+00]@[0.00000](4594239)
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15479004 loops (32424/sec), 4643692558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
15478453 component updates, 773922650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10835961), [0.0000+1.00000e+00]@[0.00000](4642492)
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15641554 loops (32510/sec), 4692457558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
15641003 component updates, 782050150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](10950005), [0.0000+1.00000e+00]@[0.00000](4690998)
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15803767 loops (32442/sec), 4741121458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
15803216 component updates, 790160800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11063461), [0.0000+1.00000e+00]@[0.00000](4739755)
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15965749 loops (32396/sec), 4789716058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
15965198 component updates, 798259900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11176796), [0.0000+1.00000e+00]@[0.00000](4788402)
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16127313 loops (32312/sec), 4838185258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
16126762 component updates, 806338100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11289865), [0.0000+1.00000e+00]@[0.00000](4836897)
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16288761 loops (32289/sec), 4886619658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
16288210 component updates, 814410500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11402839), [0.0000+1.00000e+00]@[0.00000](4885371)
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16449954 loops (32238/sec), 4934977558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
16449403 component updates, 822470150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11515313), [0.0000+1.00000e+00]@[0.00000](4934090)
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16610123 loops (32033/sec), 4983028258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
16609572 component updates, 830478600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11627437), [0.0000+1.00000e+00]@[0.00000](4982135)
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16772092 loops (32393/sec), 5031618958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
16771541 component updates, 838577050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11741278), [0.0000+1.00000e+00]@[0.00000](5030263)
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16933673 loops (32316/sec), 5080093258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
16933122 component updates, 846656100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11854594), [0.0000+1.00000e+00]@[0.00000](5078528)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17095363 loops (32338/sec), 5128600258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
17094812 component updates, 854740600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](11967993), [0.0000+1.00000e+00]@[0.00000](5126819)
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17257144 loops (32356/sec), 5177134558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
17256593 component updates, 862829650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12081120), [0.0000+1.00000e+00]@[0.00000](5175473)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17418785 loops (32328/sec), 5225626858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
17418234 component updates, 870911700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12194352), [0.0000+1.00000e+00]@[0.00000](5223882)
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17580511 loops (32345/sec), 5274144658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
17579960 component updates, 878998000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12307620), [0.0000+1.00000e+00]@[0.00000](5272340)
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17741760 loops (32249/sec), 5322519358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
17741209 component updates, 887060450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12420747), [0.0000+1.00000e+00]@[0.00000](5320462)
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17903550 loops (32358/sec), 5371056358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
17902999 component updates, 895149950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12533944), [0.0000+1.00000e+00]@[0.00000](5369055)
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18065472 loops (32384/sec), 5419632958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
18064921 component updates, 903246050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12647311), [0.0000+1.00000e+00]@[0.00000](5417610)
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18226900 loops (32285/sec), 5468061358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
18226349 component updates, 911317450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12760334), [0.0000+1.00000e+00]@[0.00000](5466015)
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18388444 loops (32308/sec), 5516524558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
18387893 component updates, 919394650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12873285), [0.0000+1.00000e+00]@[0.00000](5514608)
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18548974 loops (32106/sec), 5564683558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
18548423 component updates, 927421150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](12985829), [0.0000+1.00000e+00]@[0.00000](5562594)
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18711300 loops (32465/sec), 5613381358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
18710749 component updates, 935537450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13099680), [0.0000+1.00000e+00]@[0.00000](5611069)
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18872211 loops (32182/sec), 5661654658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
18871660 component updates, 943583000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13212474), [0.0000+1.00000e+00]@[0.00000](5659186)
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19033843 loops (32326/sec), 5710144258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
19033292 component updates, 951664600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13325366), [0.0000+1.00000e+00]@[0.00000](5707926)
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19195714 loops (32374/sec), 5758705558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
19195163 component updates, 959758150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13438554), [0.0000+1.00000e+00]@[0.00000](5756609)
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19357869 loops (32431/sec), 5807352058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
19357318 component updates, 967865900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13552066), [0.0000+1.00000e+00]@[0.00000](5805252)
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19519720 loops (32370/sec), 5855907358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
19519169 component updates, 975958450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13665250), [0.0000+1.00000e+00]@[0.00000](5853919)
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19681274 loops (32310/sec), 5904373558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
19680723 component updates, 984036150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13778400), [0.0000+1.00000e+00]@[0.00000](5902323)
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19857500 loops (35245/sec), 5957241358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
19856949 component updates, 992847450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](13902028), [0.0000+1.00000e+00]@[0.00000](5954921)
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20026271 loops (33754/sec), 6007872658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
20025720 component updates, 1001286000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14020432), [0.0000+1.00000e+00]@[0.00000](6005288)
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20200264 loops (34798/sec), 6060070558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
20199713 component updates, 1009985650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14142349), [0.0000+1.00000e+00]@[0.00000](6057364)
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20373311 loops (34609/sec), 6111984658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
20372760 component updates, 1018638000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14263775), [0.0000+1.00000e+00]@[0.00000](6108985)
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20544691 loops (34276/sec), 6163398658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
20544140 component updates, 1027207000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14383846), [0.0000+1.00000e+00]@[0.00000](6160294)
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20718163 loops (34694/sec), 6215440258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
20717612 component updates, 1035880600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14505276), [0.0000+1.00000e+00]@[0.00000](6212336)
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20889300 loops (34227/sec), 6266781358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
20888749 component updates, 1044437450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14625089), [0.0000+1.00000e+00]@[0.00000](6263660)
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21060018 loops (34143/sec), 6317996758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
21059467 component updates, 1052973350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14744248), [0.0000+1.00000e+00]@[0.00000](6315219)
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21233771 loops (34750/sec), 6370122658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
21233220 component updates, 1061661000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14866148), [0.0000+1.00000e+00]@[0.00000](6367072)
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21405842 loops (34414/sec), 6421743958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
21405291 component updates, 1070264550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](14986992), [0.0000+1.00000e+00]@[0.00000](6418299)
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21580607 loops (34953/sec), 6474173458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
21580056 component updates, 1079002800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15109475), [0.0000+1.00000e+00]@[0.00000](6470581)
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21753178 loops (34514/sec), 6525944758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
21752627 component updates, 1087631350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15230478), [0.0000+1.00000e+00]@[0.00000](6522149)
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21927293 loops (34823/sec), 6578179258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
21926742 component updates, 1096337100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15352358), [0.0000+1.00000e+00]@[0.00000](6574384)
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22102100 loops (34961/sec), 6630621358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
22101549 component updates, 1105077450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15474172), [0.0000+1.00000e+00]@[0.00000](6627377)
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22275149 loops (34609/sec), 6682536058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
22274598 component updates, 1113729900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15595177), [0.0000+1.00000e+00]@[0.00000](6679421)
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22449159 loops (34802/sec), 6734739058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
22448608 component updates, 1122430400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15717152), [0.0000+1.00000e+00]@[0.00000](6731456)
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22621274 loops (34423/sec), 6786373558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
22620723 component updates, 1131036150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15837836), [0.0000+1.00000e+00]@[0.00000](6782887)
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22794690 loops (34683/sec), 6838398358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
22794139 component updates, 1139706950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](15959261), [0.0000+1.00000e+00]@[0.00000](6834878)
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22969588 loops (34979/sec), 6890867758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
22969037 component updates, 1148451850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16081861), [0.0000+1.00000e+00]@[0.00000](6887176)
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23144390 loops (34960/sec), 6943308358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
23143839 component updates, 1157191950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16204150), [0.0000+1.00000e+00]@[0.00000](6939689)
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23319045 loops (34931/sec), 6995704858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
23318494 component updates, 1165924700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16326231), [0.0000+1.00000e+00]@[0.00000](6992263)
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23493673 loops (34925/sec), 7048093258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
23493122 component updates, 1174656100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16448311), [0.0000+1.00000e+00]@[0.00000](7044811)
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23668374 loops (34940/sec), 7100503558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
23667823 component updates, 1183391150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16570602), [0.0000+1.00000e+00]@[0.00000](7097221)
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23842094 loops (34744/sec), 7152619558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
23841543 component updates, 1192077150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16691861), [0.0000+1.00000e+00]@[0.00000](7149682)
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24015519 loops (34685/sec), 7204647058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
24014968 component updates, 1200748400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16813205), [0.0000+1.00000e+00]@[0.00000](7201763)
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24190176 loops (34931/sec), 7257044158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
24189625 component updates, 1209481250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](16935392), [0.0000+1.00000e+00]@[0.00000](7254233)
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24365005 loops (34965/sec), 7309492858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
24364454 component updates, 1218222700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17057454), [0.0000+1.00000e+00]@[0.00000](7307000)
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24538050 loops (34609/sec), 7361406358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
24537499 component updates, 1226874950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17178530), [0.0000+1.00000e+00]@[0.00000](7358969)
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24710400 loops (34470/sec), 7413111358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
24709849 component updates, 1235492450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17299675), [0.0000+1.00000e+00]@[0.00000](7410174)
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24884561 loops (34832/sec), 7465359658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
24884010 component updates, 1244200500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17421750), [0.0000+1.00000e+00]@[0.00000](7462260)
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25059008 loops (34889/sec), 7517693758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
25058457 component updates, 1252922850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17543719), [0.0000+1.00000e+00]@[0.00000](7514738)
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25233969 loops (34992/sec), 7570182058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
25233418 component updates, 1261670900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17666239), [0.0000+1.00000e+00]@[0.00000](7567179)
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25408948 loops (34995/sec), 7622675758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
25408397 component updates, 1270419850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17788560), [0.0000+1.00000e+00]@[0.00000](7619837)
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25583664 loops (34943/sec), 7675090558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
25583113 component updates, 1279155650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](17911049), [0.0000+1.00000e+00]@[0.00000](7672064)
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25758154 loops (34898/sec), 7727437558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
25757603 component updates, 1287880150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18033035), [0.0000+1.00000e+00]@[0.00000](7724568)
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25933045 loops (34978/sec), 7779904858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
25932494 component updates, 1296624700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18155562), [0.0000+1.00000e+00]@[0.00000](7776932)
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26107299 loops (34850/sec), 7832181058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
26106748 component updates, 1305337400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18277360), [0.0000+1.00000e+00]@[0.00000](7829388)
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26282568 loops (35053/sec), 7884761758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
26282017 component updates, 1314100850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18399839), [0.0000+1.00000e+00]@[0.00000](7882178)
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26457791 loops (35044/sec), 7937328658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
26457240 component updates, 1322862000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18522453), [0.0000+1.00000e+00]@[0.00000](7934787)
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26632164 loops (34874/sec), 7989640558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
26631613 component updates, 1331580650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18644236), [0.0000+1.00000e+00]@[0.00000](7987377)
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26804643 loops (34495/sec), 8041384258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
26804092 component updates, 1340204600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18765375), [0.0000+1.00000e+00]@[0.00000](8038717)
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26980099 loops (35091/sec), 8094021058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
26979548 component updates, 1348977400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](18887867), [0.0000+1.00000e+00]@[0.00000](8091681)
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27155312 loops (35042/sec), 8146584958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
27154761 component updates, 1357738050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19010622), [0.0000+1.00000e+00]@[0.00000](8144139)
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27330471 loops (35031/sec), 8199132658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
27329920 component updates, 1366496000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19133410), [0.0000+1.00000e+00]@[0.00000](8196510)
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27505795 loops (35064/sec), 8251729858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
27505244 component updates, 1375262200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19256220), [0.0000+1.00000e+00]@[0.00000](8249024)
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27681058 loops (35052/sec), 8304308758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
27680507 component updates, 1384025350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19379180), [0.0000+1.00000e+00]@[0.00000](8301327)
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27856442 loops (35076/sec), 8356923958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
27855891 component updates, 1392794550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19502139), [0.0000+1.00000e+00]@[0.00000](8353752)
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28031709 loops (35053/sec), 8409504058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
28031158 component updates, 1401557900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19625333), [0.0000+1.00000e+00]@[0.00000](8405825)
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28206953 loops (35048/sec), 8462077258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
28206402 component updates, 1410320100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19748034), [0.0000+1.00000e+00]@[0.00000](8458368)
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28382628 loops (35135/sec), 8514779758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
28382077 component updates, 1419103850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19871101), [0.0000+1.00000e+00]@[0.00000](8510976)
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28557978 loops (35070/sec), 8567384758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
28557427 component updates, 1427871350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](19993887), [0.0000+1.00000e+00]@[0.00000](8563540)
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28732603 loops (34925/sec), 8619772258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
28732052 component updates, 1436602600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20115837), [0.0000+1.00000e+00]@[0.00000](8616215)
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28905226 loops (34524/sec), 8671559158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
28904675 component updates, 1445233750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20236589), [0.0000+1.00000e+00]@[0.00000](8668086)
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29080514 loops (35057/sec), 8724145558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
29079963 component updates, 1453998150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20359369), [0.0000+1.00000e+00]@[0.00000](8720594)
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29255762 loops (35049/sec), 8776719958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
29255211 component updates, 1462760550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20481910), [0.0000+1.00000e+00]@[0.00000](8773301)
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29430887 loops (35025/sec), 8829257458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
29430336 component updates, 1471516800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20604481), [0.0000+1.00000e+00]@[0.00000](8825855)
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29606210 loops (35064/sec), 8881854358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
29605659 component updates, 1480282950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20727311), [0.0000+1.00000e+00]@[0.00000](8878348)
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29781538 loops (35065/sec), 8934452758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
29780987 component updates, 1489049350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20850094), [0.0000+1.00000e+00]@[0.00000](8930893)
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29956820 loops (35056/sec), 8987037358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
29956269 component updates, 1497813450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](20972859), [0.0000+1.00000e+00]@[0.00000](8983410)
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30132351 loops (35106/sec), 9039696658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
30131800 component updates, 1506590000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21095729), [0.0000+1.00000e+00]@[0.00000](9036071)
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30307296 loops (34989/sec), 9092180158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
30306745 component updates, 1515337250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21218290), [0.0000+1.00000e+00]@[0.00000](9088455)
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30482523 loops (35045/sec), 9144748258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
30481972 component updates, 1524098600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21341091), [0.0000+1.00000e+00]@[0.00000](9140881)
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30657795 loops (35054/sec), 9197329858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
30657244 component updates, 1532862200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21463844), [0.0000+1.00000e+00]@[0.00000](9193400)
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30832168 loops (34874/sec), 9249641758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
30831617 component updates, 1541580850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21585945), [0.0000+1.00000e+00]@[0.00000](9245672)
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31005204 loops (34607/sec), 9301552558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
31004653 component updates, 1550232650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21706955), [0.0000+1.00000e+00]@[0.00000](9297698)
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31180028 loops (34964/sec), 9353999758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
31179477 component updates, 1558973850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21829581), [0.0000+1.00000e+00]@[0.00000](9349896)
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31354911 loops (34976/sec), 9406464658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
31354360 component updates, 1567718000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](21952066), [0.0000+1.00000e+00]@[0.00000](9402294)
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31530301 loops (35078/sec), 9459081658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
31529750 component updates, 1576487500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22074624), [0.0000+1.00000e+00]@[0.00000](9455126)
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31705593 loops (35058/sec), 9511669258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
31705042 component updates, 1585252100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22197181), [0.0000+1.00000e+00]@[0.00000](9507861)
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31881233 loops (35128/sec), 9564361258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
31880682 component updates, 1594034100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22320091), [0.0000+1.00000e+00]@[0.00000](9560591)
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32056485 loops (35050/sec), 9616936858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
32055934 component updates, 1602796700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22442794), [0.0000+1.00000e+00]@[0.00000](9613140)
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32231649 loops (35032/sec), 9669486058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
32231098 component updates, 1611554900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22565398), [0.0000+1.00000e+00]@[0.00000](9665700)
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32407179 loops (35106/sec), 9722145058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
32406628 component updates, 1620331400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22688165), [0.0000+1.00000e+00]@[0.00000](9718463)
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32582311 loops (35026/sec), 9774684658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
32581760 component updates, 1629088000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22810602), [0.0000+1.00000e+00]@[0.00000](9771158)
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32757830 loops (35103/sec), 9827340358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
32757279 component updates, 1637863950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](22933290), [0.0000+1.00000e+00]@[0.00000](9823989)
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32932408 loops (34915/sec), 9879713758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
32931857 component updates, 1646592850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23055569), [0.0000+1.00000e+00]@[0.00000](9876288)
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33105356 loops (34589/sec), 9931598158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
33104805 component updates, 1655240250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23176735), [0.0000+1.00000e+00]@[0.00000](9928070)
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33280279 loops (34984/sec), 9984075058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
33279728 component updates, 1663986400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23299421), [0.0000+1.00000e+00]@[0.00000](9980307)
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33455599 loops (35064/sec), 10036671058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
33455048 component updates, 1672752400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23422162), [0.0000+1.00000e+00]@[0.00000](10032886)
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33630993 loops (35078/sec), 10089289258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
33630442 component updates, 1681522100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23545005), [0.0000+1.00000e+00]@[0.00000](10085437)
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33806464 loops (35094/sec), 10141930558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
33805913 component updates, 1690295650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23667699), [0.0000+1.00000e+00]@[0.00000](10138214)
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33982245 loops (35156/sec), 10194664858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
33981694 component updates, 1699084700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23790660), [0.0000+1.00000e+00]@[0.00000](10191034)
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34157659 loops (35082/sec), 10247289058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
34157108 component updates, 1707855400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](23913050), [0.0000+1.00000e+00]@[0.00000](10244058)
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34333253 loops (35118/sec), 10299967258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
34332702 component updates, 1716635100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24036140), [0.0000+1.00000e+00]@[0.00000](10296562)
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34508755 loops (35100/sec), 10352617858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
34508204 component updates, 1725410200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24158813), [0.0000+1.00000e+00]@[0.00000](10349391)
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34684464 loops (35141/sec), 10405330558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
34683913 component updates, 1734195650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24281561), [0.0000+1.00000e+00]@[0.00000](10402352)
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34860061 loops (35119/sec), 10458009658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
34859510 component updates, 1742975500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24404646), [0.0000+1.00000e+00]@[0.00000](10454864)
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35034509 loops (34889/sec), 10510344058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
35033958 component updates, 1751697900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24526763), [0.0000+1.00000e+00]@[0.00000](10507195)
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35207562 loops (34610/sec), 10562259958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
35207011 component updates, 1760350550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24647923), [0.0000+1.00000e+00]@[0.00000](10559088)
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35382868 loops (35061/sec), 10614851758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
35382317 component updates, 1769115850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24770518), [0.0000+1.00000e+00]@[0.00000](10611799)
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35558356 loops (35097/sec), 10667498158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
35557805 component updates, 1777890250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](24893451), [0.0000+1.00000e+00]@[0.00000](10664354)
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35733811 loops (35091/sec), 10720134658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
35733260 component updates, 1786663000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25015871), [0.0000+1.00000e+00]@[0.00000](10717389)
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35909069 loops (35051/sec), 10772712058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
35908518 component updates, 1795425900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25138669), [0.0000+1.00000e+00]@[0.00000](10769849)
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36084594 loops (35105/sec), 10825369558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
36084043 component updates, 1804202150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25261730), [0.0000+1.00000e+00]@[0.00000](10822313)
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36259691 loops (35019/sec), 10877898658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
36259140 component updates, 1812957000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25384415), [0.0000+1.00000e+00]@[0.00000](10874725)
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36434874 loops (35036/sec), 10930453558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
36434323 component updates, 1821716150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25507173), [0.0000+1.00000e+00]@[0.00000](10927150)
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36610139 loops (35053/sec), 10983033058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
36609588 component updates, 1830479400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25629924), [0.0000+1.00000e+00]@[0.00000](10979664)
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36785537 loops (35079/sec), 11035652458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
36784986 component updates, 1839249300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25752722), [0.0000+1.00000e+00]@[0.00000](11032264)
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36961154 loops (35123/sec), 11088337558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
36960603 component updates, 1848030150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25875596), [0.0000+1.00000e+00]@[0.00000](11085007)
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37135881 loops (34945/sec), 11140755658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
37135330 component updates, 1856766500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](25997681), [0.0000+1.00000e+00]@[0.00000](11137649)
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37308597 loops (34543/sec), 11192570458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
37308046 component updates, 1865402300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26118363), [0.0000+1.00000e+00]@[0.00000](11189683)
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37483983 loops (35077/sec), 11245186258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
37483432 component updates, 1874171600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26241267), [0.0000+1.00000e+00]@[0.00000](11242165)
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37659269 loops (35057/sec), 11297772058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
37658718 component updates, 1882935900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26363999), [0.0000+1.00000e+00]@[0.00000](11294719)
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37834312 loops (35008/sec), 11350284958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
37833761 component updates, 1891688050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26486314), [0.0000+1.00000e+00]@[0.00000](11347447)
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38009713 loops (35080/sec), 11402905258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
38009162 component updates, 1900458100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26609162), [0.0000+1.00000e+00]@[0.00000](11400000)
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38185033 loops (35064/sec), 11455501258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
38184482 component updates, 1909224100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26731752), [0.0000+1.00000e+00]@[0.00000](11452730)
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38360203 loops (35034/sec), 11508052258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
38359652 component updates, 1917982600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26854358), [0.0000+1.00000e+00]@[0.00000](11505294)
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38535550 loops (35069/sec), 11560656358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
38534999 component updates, 1926749950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](26977242), [0.0000+1.00000e+00]@[0.00000](11557757)
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38710692 loops (35028/sec), 11613198958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
38710141 component updates, 1935507050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27099902), [0.0000+1.00000e+00]@[0.00000](11610239)
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38885956 loops (35052/sec), 11665778158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
38885405 component updates, 1944270250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27222780), [0.0000+1.00000e+00]@[0.00000](11662625)
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39061388 loops (35086/sec), 11718407758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
39060837 component updates, 1953041850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27345465), [0.0000+1.00000e+00]@[0.00000](11715372)
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39235655 loops (34853/sec), 11770687858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
39235104 component updates, 1961755200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27467666), [0.0000+1.00000e+00]@[0.00000](11767438)
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39408439 loops (34556/sec), 11822523058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
39407888 component updates, 1970394400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27588576), [0.0000+1.00000e+00]@[0.00000](11819312)
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39583662 loops (35044/sec), 11875089958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
39583111 component updates, 1979155550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27711222), [0.0000+1.00000e+00]@[0.00000](11871889)
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39758520 loops (34971/sec), 11927547358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
39757969 component updates, 1987898450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27833776), [0.0000+1.00000e+00]@[0.00000](11924193)
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39933959 loops (35087/sec), 11980179058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
39933408 component updates, 1996670400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](27956671), [0.0000+1.00000e+00]@[0.00000](11976737)
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40109588 loops (35125/sec), 12032867758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
40109037 component updates, 2005451850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28079819), [0.0000+1.00000e+00]@[0.00000](12029218)
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40285054 loops (35093/sec), 12085507558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
40284503 component updates, 2014225150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28202605), [0.0000+1.00000e+00]@[0.00000](12081898)
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40460324 loops (35054/sec), 12138088558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
40459773 component updates, 2022988650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28325178), [0.0000+1.00000e+00]@[0.00000](12134595)
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40635862 loops (35107/sec), 12190749958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
40635311 component updates, 2031765550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28447965), [0.0000+1.00000e+00]@[0.00000](12187346)
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40811329 loops (35093/sec), 12243390058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
40810778 component updates, 2040538900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28570739), [0.0000+1.00000e+00]@[0.00000](12240039)
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40987000 loops (35134/sec), 12296091358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
40986449 component updates, 2049322450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28693748), [0.0000+1.00000e+00]@[0.00000](12292701)
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41162204 loops (35040/sec), 12348652558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
41161653 component updates, 2058082650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28816522), [0.0000+1.00000e+00]@[0.00000](12345131)
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41336533 loops (34865/sec), 12400951258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
41335982 component updates, 2066799100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](28938514), [0.0000+1.00000e+00]@[0.00000](12397468)
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41509287 loops (34550/sec), 12452777458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
41508736 component updates, 2075436800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29059388), [0.0000+1.00000e+00]@[0.00000](12449348)
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41684439 loops (35030/sec), 12505323058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
41683888 component updates, 2084194400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29182336), [0.0000+1.00000e+00]@[0.00000](12501552)
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41859618 loops (35035/sec), 12557876758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
41859067 component updates, 2092953350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29305017), [0.0000+1.00000e+00]@[0.00000](12554050)
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42034968 loops (35070/sec), 12610481758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
42034417 component updates, 2101720850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29427666), [0.0000+1.00000e+00]@[0.00000](12606751)
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42210187 loops (35043/sec), 12663047458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
42209636 component updates, 2110481800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29550402), [0.0000+1.00000e+00]@[0.00000](12659234)
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42385796 loops (35121/sec), 12715730158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
42385245 component updates, 2119262250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29673431), [0.0000+1.00000e+00]@[0.00000](12711814)
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42561151 loops (35071/sec), 12768336658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
42560600 component updates, 2128030000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29796511), [0.0000+1.00000e+00]@[0.00000](12764089)
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42736759 loops (35121/sec), 12821019058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
42736208 component updates, 2136810400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](29919195), [0.0000+1.00000e+00]@[0.00000](12817013)
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42912009 loops (35050/sec), 12873594058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
42911458 component updates, 2145572900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30041675), [0.0000+1.00000e+00]@[0.00000](12869783)
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43087546 loops (35107/sec), 12926255158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
43086995 component updates, 2154349750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30164586), [0.0000+1.00000e+00]@[0.00000](12922409)
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43262868 loops (35064/sec), 12978851758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
43262317 component updates, 2163115850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30287268), [0.0000+1.00000e+00]@[0.00000](12975049)
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43437067 loops (34839/sec), 13031111458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
43436516 component updates, 2171825800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30408813), [0.0000+1.00000e+00]@[0.00000](13027703)
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43609975 loops (34581/sec), 13082983858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
43609424 component updates, 2180471200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30529804), [0.0000+1.00000e+00]@[0.00000](13079620)
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43785176 loops (35040/sec), 13135544158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
43784625 component updates, 2189231250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30652285), [0.0000+1.00000e+00]@[0.00000](13132340)
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43960690 loops (35102/sec), 13188198358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
43960139 component updates, 2198006950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30775220), [0.0000+1.00000e+00]@[0.00000](13184919)
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44136093 loops (35080/sec), 13240819258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
44135542 component updates, 2206777100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](30898142), [0.0000+1.00000e+00]@[0.00000](13237400)
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44311469 loops (35075/sec), 13293432058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
44310918 component updates, 2215545900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31020921), [0.0000+1.00000e+00]@[0.00000](13289997)
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44487062 loops (35118/sec), 13346109958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
44486511 component updates, 2224325550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31143853), [0.0000+1.00000e+00]@[0.00000](13342658)
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44662641 loops (35115/sec), 13398783658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
44662090 component updates, 2233104500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31266430), [0.0000+1.00000e+00]@[0.00000](13395660)
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44837013 loops (34874/sec), 13451095258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
44836462 component updates, 2241823100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31388825), [0.0000+1.00000e+00]@[0.00000](13447637)
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45007868 loops (34171/sec), 13502351758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
45007317 component updates, 2250365850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31508525), [0.0000+1.00000e+00]@[0.00000](13498792)
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45181719 loops (34770/sec), 13554507058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
45181168 component updates, 2259058400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31630172), [0.0000+1.00000e+00]@[0.00000](13550996)
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45355076 loops (34671/sec), 13606514158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
45354525 component updates, 2267726250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31751580), [0.0000+1.00000e+00]@[0.00000](13602945)
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45522732 loops (33531/sec), 13656810958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
45522181 component updates, 2276109050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31868932), [0.0000+1.00000e+00]@[0.00000](13653249)
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45694285 loops (34310/sec), 13708276858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
45693734 component updates, 2284686700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](31989126), [0.0000+1.00000e+00]@[0.00000](13704608)
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45869121 loops (34967/sec), 13760727658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
45868570 component updates, 2293428500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32111285), [0.0000+1.00000e+00]@[0.00000](13757285)
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46043552 loops (34886/sec), 13813056958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
46043001 component updates, 2302150050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32233496), [0.0000+1.00000e+00]@[0.00000](13809505)
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46218405 loops (34970/sec), 13865512858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
46217854 component updates, 2310892700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32355775), [0.0000+1.00000e+00]@[0.00000](13862079)
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46392926 loops (34904/sec), 13917869158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
46392375 component updates, 2319618750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32477903), [0.0000+1.00000e+00]@[0.00000](13914472)
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46567647 loops (34944/sec), 13970285458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
46567096 component updates, 2328354800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32599956), [0.0000+1.00000e+00]@[0.00000](13967140)
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46742196 loops (34909/sec), 14022650158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
46741645 component updates, 2337082250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32721869), [0.0000+1.00000e+00]@[0.00000](14019776)
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46916889 loops (34938/sec), 14075058058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
46916338 component updates, 2345816900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32843975), [0.0000+1.00000e+00]@[0.00000](14072363)
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47091472 loops (34916/sec), 14127432958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
47090921 component updates, 2354546050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](32966374), [0.0000+1.00000e+00]@[0.00000](14124547)
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47266244 loops (34954/sec), 14179864558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
47265693 component updates, 2363284650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33088764), [0.0000+1.00000e+00]@[0.00000](14176929)
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47441113 loops (34973/sec), 14232325258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
47440562 component updates, 2372028100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33211363), [0.0000+1.00000e+00]@[0.00000](14229199)
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47615408 loops (34859/sec), 14284613758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
47614857 component updates, 2380742850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33333367), [0.0000+1.00000e+00]@[0.00000](14281490)
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47787819 loops (34482/sec), 14336337058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
47787268 component updates, 2389363400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33454208), [0.0000+1.00000e+00]@[0.00000](14333060)
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47962746 loops (34985/sec), 14388815158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
47962195 component updates, 2398109750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33576743), [0.0000+1.00000e+00]@[0.00000](14385452)
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48137706 loops (34992/sec), 14441303158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
48137155 component updates, 2406857750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33699166), [0.0000+1.00000e+00]@[0.00000](14437989)
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48312592 loops (34977/sec), 14493768958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
48312041 component updates, 2415602050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33821577), [0.0000+1.00000e+00]@[0.00000](14490464)
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48487511 loops (34983/sec), 14546244658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
48486960 component updates, 2424348000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](33943899), [0.0000+1.00000e+00]@[0.00000](14543061)
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48662645 loops (35026/sec), 14598784858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
48662094 component updates, 2433104700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34066932), [0.0000+1.00000e+00]@[0.00000](14595162)
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48837471 loops (34965/sec), 14651232658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
48836920 component updates, 2441846000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34189479), [0.0000+1.00000e+00]@[0.00000](14647441)
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49012090 loops (34923/sec), 14703618358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
49011539 component updates, 2450576950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34311881), [0.0000+1.00000e+00]@[0.00000](14699658)
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49186677 loops (34917/sec), 14755994458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
49186126 component updates, 2459306300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34434297), [0.0000+1.00000e+00]@[0.00000](14751829)
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49361426 loops (34949/sec), 14808419158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
49360875 component updates, 2468043750 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34556732), [0.0000+1.00000e+00]@[0.00000](14804143)
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49536025 loops (34919/sec), 14860798858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
49535474 component updates, 2476773700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34679027), [0.0000+1.00000e+00]@[0.00000](14856447)
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49710063 loops (34807/sec), 14913010258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
49709512 component updates, 2485475600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34800980), [0.0000+1.00000e+00]@[0.00000](14908532)
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49882495 loops (34486/sec), 14964739858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
49881944 component updates, 2494097200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](34921645), [0.0000+1.00000e+00]@[0.00000](14960299)
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50057019 loops (34904/sec), 15017097058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
50056468 component updates, 2502823400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35043973), [0.0000+1.00000e+00]@[0.00000](15012495)
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50237141 loops (36024/sec), 15071133658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
50236590 component updates, 2511829500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35170073), [0.0000+1.00000e+00]@[0.00000](15066517)
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50416885 loops (35948/sec), 15125056858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
50416334 component updates, 2520816700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35295927), [0.0000+1.00000e+00]@[0.00000](15120407)
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50593451 loops (35313/sec), 15178026658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
50592900 component updates, 2529645000 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35419525), [0.0000+1.00000e+00]@[0.00000](15173375)
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50768397 loops (34989/sec), 15230510458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
50767846 component updates, 2538392300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35541865), [0.0000+1.00000e+00]@[0.00000](15225981)
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50943218 loops (34964/sec), 15282956758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
50942667 component updates, 2547133350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35664300), [0.0000+1.00000e+00]@[0.00000](15278367)
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51117942 loops (34944/sec), 15335373958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
51117391 component updates, 2555869550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35786701), [0.0000+1.00000e+00]@[0.00000](15330690)
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51292535 loops (34918/sec), 15387751858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
51291984 component updates, 2564599200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](35908951), [0.0000+1.00000e+00]@[0.00000](15383033)
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51467039 loops (34900/sec), 15440103058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
51466488 component updates, 2573324400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36030915), [0.0000+1.00000e+00]@[0.00000](15435573)
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51641601 loops (34912/sec), 15492471658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
51641050 component updates, 2582052500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36152921), [0.0000+1.00000e+00]@[0.00000](15488129)
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51815274 loops (34734/sec), 15544573558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
51814723 component updates, 2590736150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36274122), [0.0000+1.00000e+00]@[0.00000](15540601)
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51987525 loops (34450/sec), 15596248858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
51986974 component updates, 2599348700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36394823), [0.0000+1.00000e+00]@[0.00000](15592151)
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52162036 loops (34902/sec), 15648602158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
52161485 component updates, 2608074250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36516727), [0.0000+1.00000e+00]@[0.00000](15644758)
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52336580 loops (34908/sec), 15700965358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
52336029 component updates, 2616801450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36638789), [0.0000+1.00000e+00]@[0.00000](15697240)
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52511547 loops (34993/sec), 15753455458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
52510996 component updates, 2625549800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36761588), [0.0000+1.00000e+00]@[0.00000](15749408)
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52686335 loops (34957/sec), 15805891858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
52685784 component updates, 2634289200 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](36884029), [0.0000+1.00000e+00]@[0.00000](15801755)
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52860993 loops (34931/sec), 15858289258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
52860442 component updates, 2643022100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37006299), [0.0000+1.00000e+00]@[0.00000](15854143)
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53036079 loops (35017/sec), 15910815058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
53035528 component updates, 2651776400 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37128668), [0.0000+1.00000e+00]@[0.00000](15906860)
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53211328 loops (35049/sec), 15963389758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
53210777 component updates, 2660538850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37251446), [0.0000+1.00000e+00]@[0.00000](15959331)
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53386208 loops (34976/sec), 16015853758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
53385657 component updates, 2669282850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37373863), [0.0000+1.00000e+00]@[0.00000](16011794)
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53560747 loops (34907/sec), 16068215458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
53560196 component updates, 2678009800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37495949), [0.0000+1.00000e+00]@[0.00000](16064247)
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53735701 loops (34990/sec), 16120701658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
53735150 component updates, 2686757500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37618156), [0.0000+1.00000e+00]@[0.00000](16116994)
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53909613 loops (34782/sec), 16172875258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
53909062 component updates, 2695453100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37739713), [0.0000+1.00000e+00]@[0.00000](16169349)
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54082041 loops (34485/sec), 16224603658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
54081490 component updates, 2704074500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37860654), [0.0000+1.00000e+00]@[0.00000](16220836)
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54256756 loops (34943/sec), 16277018158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
54256205 component updates, 2712810250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](37983045), [0.0000+1.00000e+00]@[0.00000](16273160)
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54431849 loops (35018/sec), 16329546058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
54431298 component updates, 2721564900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38105451), [0.0000+1.00000e+00]@[0.00000](16325847)
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54606665 loops (34963/sec), 16381990858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
54606114 component updates, 2730305700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38227624), [0.0000+1.00000e+00]@[0.00000](16378490)
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54781572 loops (34981/sec), 16434462958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
54781021 component updates, 2739051050 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38350104), [0.0000+1.00000e+00]@[0.00000](16430917)
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54956341 loops (34953/sec), 16486893658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
54955790 component updates, 2747789500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38472408), [0.0000+1.00000e+00]@[0.00000](16483382)
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55130781 loops (34888/sec), 16539225658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
55130230 component updates, 2756511500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38594482), [0.0000+1.00000e+00]@[0.00000](16535748)
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55305536 loops (34951/sec), 16591652158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
55304985 component updates, 2765249250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38716862), [0.0000+1.00000e+00]@[0.00000](16588123)
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55480013 loops (34895/sec), 16643995258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
55479462 component updates, 2773973100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38838724), [0.0000+1.00000e+00]@[0.00000](16640738)
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55654527 loops (34902/sec), 16696349458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
55653976 component updates, 2782698800 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](38961083), [0.0000+1.00000e+00]@[0.00000](16692893)
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55829078 loops (34910/sec), 16748714758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
55828527 component updates, 2791426350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39083553), [0.0000+1.00000e+00]@[0.00000](16744974)
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56002149 loops (34614/sec), 16800636058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
56001598 component updates, 2800079900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39204788), [0.0000+1.00000e+00]@[0.00000](16796810)
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56174389 loops (34448/sec), 16852308058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
56173838 component updates, 2808691900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39325505), [0.0000+1.00000e+00]@[0.00000](16848333)
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56349185 loops (34959/sec), 16904746858 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
56348634 component updates, 2817431700 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39447548), [0.0000+1.00000e+00]@[0.00000](16901086)
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56523817 loops (34926/sec), 16957136458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
56523266 component updates, 2826163300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39569425), [0.0000+1.00000e+00]@[0.00000](16953841)
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56698297 loops (34896/sec), 17009480458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
56697746 component updates, 2834887300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39691357), [0.0000+1.00000e+00]@[0.00000](17006389)
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56872938 loops (34928/sec), 17061872758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
56872387 component updates, 2843619350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39813433), [0.0000+1.00000e+00]@[0.00000](17058954)
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57047737 loops (34959/sec), 17114312458 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
57047186 component updates, 2852359300 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](39935739), [0.0000+1.00000e+00]@[0.00000](17111447)
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57222660 loops (34984/sec), 17166789358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
57222109 component updates, 2861105450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40058023), [0.0000+1.00000e+00]@[0.00000](17164086)
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57397568 loops (34981/sec), 17219261758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
57397017 component updates, 2869850850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40180518), [0.0000+1.00000e+00]@[0.00000](17216499)
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57572430 loops (34972/sec), 17271720358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
57571879 component updates, 2878593950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40303037), [0.0000+1.00000e+00]@[0.00000](17268842)
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57747669 loops (35047/sec), 17324292058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
57747118 component updates, 2887355900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40425725), [0.0000+1.00000e+00]@[0.00000](17321393)
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57922696 loops (35005/sec), 17376800158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
57922145 component updates, 2896107250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40548230), [0.0000+1.00000e+00]@[0.00000](17373915)
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58096754 loops (34811/sec), 17429017558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
58096203 component updates, 2904810150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40669764), [0.0000+1.00000e+00]@[0.00000](17426439)
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58268743 loops (34397/sec), 17480614258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
58268192 component updates, 2913409600 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40789898), [0.0000+1.00000e+00]@[0.00000](17478294)
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58443262 loops (34903/sec), 17532969958 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
58442711 component updates, 2922135550 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](40911653), [0.0000+1.00000e+00]@[0.00000](17531058)
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58617916 loops (34930/sec), 17585366158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
58617365 component updates, 2930868250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41034256), [0.0000+1.00000e+00]@[0.00000](17583109)
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58793558 loops (35128/sec), 17638058758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
58793007 component updates, 2939650350 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41157428), [0.0000+1.00000e+00]@[0.00000](17635579)
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58969068 loops (35102/sec), 17690711758 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
58968517 component updates, 2948425850 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41280211), [0.0000+1.00000e+00]@[0.00000](17688306)
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59144454 loops (35077/sec), 17743327558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
59143903 component updates, 2957195150 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41402866), [0.0000+1.00000e+00]@[0.00000](17741037)
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59320181 loops (35145/sec), 17796045658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
59319630 component updates, 2965981500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41526167), [0.0000+1.00000e+00]@[0.00000](17793463)
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59495424 loops (35048/sec), 17848618558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
59494873 component updates, 2974743650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41648536), [0.0000+1.00000e+00]@[0.00000](17846337)
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59670524 loops (35020/sec), 17901148558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
59669973 component updates, 2983498650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41770980), [0.0000+1.00000e+00]@[0.00000](17898993)
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59845670 loops (35029/sec), 17953692358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
59845119 component updates, 2992255950 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](41893552), [0.0000+1.00000e+00]@[0.00000](17951567)
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60021113 loops (35088/sec), 18006325258 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
60020562 component updates, 3001028100 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](42016220), [0.0000+1.00000e+00]@[0.00000](18004342)
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60195920 loops (34961/sec), 18058767358 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
60195369 component updates, 3009768450 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](42138576), [0.0000+1.00000e+00]@[0.00000](18056793)
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60368996 loops (34615/sec), 18110690158 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
60368445 component updates, 3018422250 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](42259593), [0.0000+1.00000e+00]@[0.00000](18108852)
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60543844 loops (34969/sec), 18163144558 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
60543293 component updates, 3027164650 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](42382204), [0.0000+1.00000e+00]@[0.00000](18161089)
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60719461 loops (35123/sec), 18215829658 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
60718910 component updates, 3035945500 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](42505132), [0.0000+1.00000e+00]@[0.00000](18213778)
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60894789 loops (35065/sec), 18268428058 sampling steps, 493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601 explored states, 2 states in BSSCs (2 absorbing)
60894238 component updates, 3044711900 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](42627750), [0.0000+1.00000e+00]@[0.00000](18266488)
----------
Computation aborted after 1800.0060291290283 seconds since the total time limit of 1800.0 seconds was exceeded.