Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:59 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/leader_sync/leader_sync.4-2.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:59 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:48:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5935923 loops (1187184/sec), 26710698 sampling steps, 2968924 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
2966999 component updates, 14834995 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](2966999)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12013802 loops (1215575/sec), 54059091 sampling steps, 6009926 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
6003876 component updates, 30019380 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](6003876)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18131531 loops (1223545/sec), 81591655 sampling steps, 9066007 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
9065524 component updates, 45327620 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](9065524)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24278021 loops (1229298/sec), 109249369 sampling steps, 12140743 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
12137278 component updates, 60686390 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](12137278)
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30274101 loops (1199216/sec), 136230002 sampling steps, 15140510 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
15133591 component updates, 75667955 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](15133591)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36156229 loops (1176425/sec), 162698601 sampling steps, 18082551 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
18073678 component updates, 90368390 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](18073678)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42095073 loops (1187768/sec), 189423370 sampling steps, 21052002 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
21043071 component updates, 105215355 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](21043071)
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48127891 loops (1206563/sec), 216572401 sampling steps, 24067061 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
24060830 component updates, 120304150 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](24060830)
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54113837 loops (1197189/sec), 243508861 sampling steps, 27060331 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
27053506 component updates, 135267530 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](27053506)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60063837 loops (1190000/sec), 270283171 sampling steps, 30036021 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
30027816 component updates, 150139080 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](30027816)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66046504 loops (1196533/sec), 297204409 sampling steps, 33028118 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
33018386 component updates, 165091930 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](33018386)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72049013 loops (1200501/sec), 324215728 sampling steps, 36029344 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
36019669 component updates, 180098345 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](36019669)
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78017752 loops (1193747/sec), 351075476 sampling steps, 39013291 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
39004461 component updates, 195022305 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](39004461)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83973157 loops (1191081/sec), 377874035 sampling steps, 41991757 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
41981400 component updates, 209907000 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](41981400)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89956292 loops (1196627/sec), 404797790 sampling steps, 44983677 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
44972615 component updates, 224863075 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](44972615)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95968249 loops (1202391/sec), 431851079 sampling steps, 47990173 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
47978076 component updates, 239890380 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](47978076)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101962494 loops (1198849/sec), 458825319 sampling steps, 50987158 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
50975336 component updates, 254876680 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](50975336)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107917394 loops (1190980/sec), 485622352 sampling steps, 53964625 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
53952769 component updates, 269763845 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](53952769)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113899275 loops (1196376/sec), 512543519 sampling steps, 56952863 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
56946412 component updates, 284732060 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](56946412)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119959734 loops (1212091/sec), 539815394 sampling steps, 59983283 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
59976451 component updates, 299882255 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](59976451)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125979040 loops (1203861/sec), 566904035 sampling steps, 62991172 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
62987868 component updates, 314939340 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](62987868)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132001450 loops (1204482/sec), 594007600 sampling steps, 65999657 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
66001793 component updates, 330008965 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](66001793)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138037851 loops (1207280/sec), 621171529 sampling steps, 69017733 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
69020118 component updates, 345100590 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](69020118)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144014256 loops (1195281/sec), 648065875 sampling steps, 72005412 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
72008844 component updates, 360044220 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](72008844)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149981472 loops (1193443/sec), 674919452 sampling steps, 74987915 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
74993557 component updates, 374967785 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](74993557)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156019349 loops (1207575/sec), 702090578 sampling steps, 78006174 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
78013175 component updates, 390065875 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](78013175)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162125461 loops (1221222/sec), 729569482 sampling steps, 81057830 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
81067631 component updates, 405338155 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](81067631)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168249079 loops (1224723/sec), 757125729 sampling steps, 84119673 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
84129406 component updates, 420647030 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](84129406)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174378637 loops (1225911/sec), 784709146 sampling steps, 87184046 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
87194591 component updates, 435972955 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](87194591)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180351912 loops (1194655/sec), 811587881 sampling steps, 90171686 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
90180226 component updates, 450901130 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](90180226)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186393300 loops (1208277/sec), 838773787 sampling steps, 93192720 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
93200580 component updates, 466002900 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](93200580)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192462008 loops (1213741/sec), 866081720 sampling steps, 96228327 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
96233681 component updates, 481168405 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](96233681)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198525782 loops (1212754/sec), 893368262 sampling steps, 99260655 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
99265127 component updates, 496325635 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](99265127)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204592075 loops (1213258/sec), 920665133 sampling steps, 102295249 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
102296826 component updates, 511484130 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](102296826)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210654749 loops (1212534/sec), 947946306 sampling steps, 105327446 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
105327303 component updates, 526636515 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](105327303)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216769921 loops (1223034/sec), 975464602 sampling steps, 108385010 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
108384911 component updates, 541924555 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](108384911)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222758314 loops (1197678/sec), 1002410958 sampling steps, 111380619 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
111377695 component updates, 556888475 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](111377695)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228751230 loops (1198583/sec), 1029378994 sampling steps, 114377163 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
114374067 component updates, 571870335 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](114374067)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234778847 loops (1205523/sec), 1056502515 sampling steps, 117391727 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
117387120 component updates, 586935600 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](117387120)
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240848329 loops (1213896/sec), 1083812151 sampling steps, 120429501 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
120418828 component updates, 602094140 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](120418828)
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246935071 loops (1217348/sec), 1111201659 sampling steps, 123473703 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
123461368 component updates, 617306840 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](123461368)
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253034512 loops (1219888/sec), 1138650462 sampling steps, 126522105 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
126512407 component updates, 632562035 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](126512407)
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259037552 loops (1200608/sec), 1165667110 sampling steps, 129520657 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
129516895 component updates, 647584475 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](129516895)
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265102858 loops (1213061/sec), 1192962189 sampling steps, 132552108 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
132550750 component updates, 662753750 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](132550750)
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271177222 loops (1214872/sec), 1220297106 sampling steps, 135589011 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
135588211 component updates, 677941055 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](135588211)
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277264919 loops (1217539/sec), 1247691448 sampling steps, 138633154 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
138631765 component updates, 693158825 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](138631765)
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283347138 loops (1216443/sec), 1275061178 sampling steps, 141674519 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
141672619 component updates, 708363095 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](141672619)
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289422744 loops (1215121/sec), 1302401357 sampling steps, 144712370 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
144710374 component updates, 723551870 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](144710374)
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295413215 loops (1198094/sec), 1329358368 sampling steps, 147707714 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
147705501 component updates, 738527505 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](147705501)
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301389059 loops (1195168/sec), 1356250248 sampling steps, 150695054 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
150694005 component updates, 753470025 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](150694005)
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307429032 loops (1207994/sec), 1383428125 sampling steps, 153717042 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
153711990 component updates, 768559950 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](153711990)
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313484213 loops (1211036/sec), 1410677669 sampling steps, 156743403 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
156740810 component updates, 783704050 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](156740810)
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319559342 loops (1215025/sec), 1438016010 sampling steps, 159780707 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
159778635 component updates, 798893175 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](159778635)
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325648457 loops (1217823/sec), 1465416704 sampling steps, 162825588 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
162822869 component updates, 814114345 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](162822869)
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331708650 loops (1212038/sec), 1492687738 sampling steps, 165855519 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
165853131 component updates, 829265655 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](165853131)
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337774099 loops (1213089/sec), 1519981552 sampling steps, 168888950 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
168885149 component updates, 844425745 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](168885149)
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343867016 loops (1218583/sec), 1547398830 sampling steps, 171936257 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
171930759 component updates, 859653795 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](171930759)
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349957393 loops (1218075/sec), 1574808332 sampling steps, 174978640 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
174978753 component updates, 874893765 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](174978753)
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356009777 loops (1210476/sec), 1602043897 sampling steps, 178004995 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
178004782 component updates, 890023910 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](178004782)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362079348 loops (1213914/sec), 1629358041 sampling steps, 181038706 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
181040642 component updates, 905203210 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](181040642)
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368132035 loops (1210537/sec), 1656595350 sampling steps, 184064832 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
184067203 component updates, 920336015 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](184067203)
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374184800 loops (1210553/sec), 1683830029 sampling steps, 187093978 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
187090822 component updates, 935454110 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](187090822)
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380246915 loops (1212423/sec), 1711110834 sampling steps, 190123748 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
190123167 component updates, 950615835 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](190123167)
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386320484 loops (1214713/sec), 1738441471 sampling steps, 193160956 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
193159528 component updates, 965797640 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](193159528)
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392383004 loops (1212504/sec), 1765719737 sampling steps, 196195290 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
196187714 component updates, 980938570 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](196187714)
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398441918 loops (1211782/sec), 1792984772 sampling steps, 199224825 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
199217093 component updates, 996085465 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](199217093)
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404510507 loops (1213717/sec), 1820293852 sampling steps, 202258690 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
202251817 component updates, 1011259085 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](202251817)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410532907 loops (1204480/sec), 1847396306 sampling steps, 205268236 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
205264671 component updates, 1026323355 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](205264671)
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416629815 loops (1219381/sec), 1874829964 sampling steps, 208319118 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
208310697 component updates, 1041553485 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](208310697)
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422679091 loops (1209855/sec), 1902051457 sampling steps, 211344005 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
211335086 component updates, 1056675430 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](211335086)
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428728670 loops (1209915/sec), 1929274511 sampling steps, 214368846 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
214359824 component updates, 1071799120 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](214359824)
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434786919 loops (1211649/sec), 1956534794 sampling steps, 217399808 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
217387111 component updates, 1086935555 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](217387111)
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
440835508 loops (1209717/sec), 1983752502 sampling steps, 220425045 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
220410463 component updates, 1102052315 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](220410463)
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
446861308 loops (1205160/sec), 2010868955 sampling steps, 223437592 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
223423716 component updates, 1117118580 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](223423716)
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452929407 loops (1213619/sec), 2038176289 sampling steps, 226470753 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
226458654 component updates, 1132293270 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](226458654)
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459045229 loops (1223164/sec), 2065697814 sampling steps, 229528338 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
229516891 component updates, 1147584455 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](229516891)
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465149404 loops (1220835/sec), 2093168961 sampling steps, 232578066 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
232571338 component updates, 1162856690 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](232571338)
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471235623 loops (1217243/sec), 2120557223 sampling steps, 235620899 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
235614724 component updates, 1178073620 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](235614724)
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477312342 loops (1215343/sec), 2147904117 sampling steps, 238657600 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
238654742 component updates, 1193273710 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](238654742)
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483389361 loops (1215403/sec), 2175251843 sampling steps, 241694969 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
241694392 component updates, 1208471960 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](241694392)
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489469527 loops (1216033/sec), 2202611795 sampling steps, 244735847 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
244733680 component updates, 1223668400 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](244733680)
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
495549534 loops (1216001/sec), 2229971589 sampling steps, 247776088 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
247773446 component updates, 1238867230 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](247773446)
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501605986 loops (1211290/sec), 2257228445 sampling steps, 250801492 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
250804494 component updates, 1254022470 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](250804494)
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
507696930 loops (1218188/sec), 2284638833 sampling steps, 253845824 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
253851106 component updates, 1269255530 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](253851106)
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
513766454 loops (1213904/sec), 2311952216 sampling steps, 256880061 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
256886393 component updates, 1284431965 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](256886393)
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
519823537 loops (1211416/sec), 2339207317 sampling steps, 259910375 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
259913162 component updates, 1299565810 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](259913162)
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
525907332 loops (1216759/sec), 2366584287 sampling steps, 262952380 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
262954952 component updates, 1314774760 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](262954952)
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531991561 loops (1216845/sec), 2393963205 sampling steps, 265994607 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
265996954 component updates, 1329984770 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](265996954)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538058782 loops (1213444/sec), 2421267225 sampling steps, 269026692 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
269032090 component updates, 1345160450 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](269032090)
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544126219 loops (1213487/sec), 2448571083 sampling steps, 272060019 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
272066200 component updates, 1360331000 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](272066200)
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
550228347 loops (1220425/sec), 2476030624 sampling steps, 275111118 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
275117229 component updates, 1375586145 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](275117229)
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
556307264 loops (1215783/sec), 2503384701 sampling steps, 278151626 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
278155638 component updates, 1390778190 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](278155638)
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
562384646 loops (1215476/sec), 2530733688 sampling steps, 281189549 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
281195097 component updates, 1405975485 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](281195097)
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
568473000 loops (1217670/sec), 2558129189 sampling steps, 284235818 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
284237182 component updates, 1421185910 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](284237182)
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
574581233 loops (1221646/sec), 2585614900 sampling steps, 287291272 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
287289961 component updates, 1436449805 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](287289961)
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
580701036 loops (1223960/sec), 2613154164 sampling steps, 290351023 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
290350013 component updates, 1451750065 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](290350013)
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
586734238 loops (1206640/sec), 2640304516 sampling steps, 293366681 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
293367557 component updates, 1466837785 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](293367557)
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592742400 loops (1201632/sec), 2667342271 sampling steps, 296369736 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
296372664 component updates, 1481863320 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](296372664)
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
598794365 loops (1210393/sec), 2694576072 sampling steps, 299395760 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
299398605 component updates, 1496993025 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](299398605)
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
604874115 loops (1215950/sec), 2721934232 sampling steps, 302436350 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
302437765 component updates, 1512188825 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](302437765)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
610953979 loops (1215972/sec), 2749291900 sampling steps, 305478002 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
305475977 component updates, 1527379885 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](305475977)
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
617055179 loops (1220240/sec), 2776745883 sampling steps, 308530019 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
308525160 component updates, 1542625800 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](308525160)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
623128181 loops (1214600/sec), 2804073337 sampling steps, 311567575 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
311560606 component updates, 1557803030 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](311560606)
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629195404 loops (1213444/sec), 2831376149 sampling steps, 314600878 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
314594526 component updates, 1572972630 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](314594526)
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
635290359 loops (1218991/sec), 2858803500 sampling steps, 317648302 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
317642057 component updates, 1588210285 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](317642057)
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
641358511 loops (1213630/sec), 2886109823 sampling steps, 320682739 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
320675772 component updates, 1603378860 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](320675772)
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
647449100 loops (1218117/sec), 2913517979 sampling steps, 323727528 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
323721572 component updates, 1618607860 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](323721572)
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
653528071 loops (1215794/sec), 2940873083 sampling steps, 326767279 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
326760792 component updates, 1633803960 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](326760792)
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
659606755 loops (1215736/sec), 2968227106 sampling steps, 329806676 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
329800079 component updates, 1649000395 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](329800079)
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665653634 loops (1209375/sec), 2995437188 sampling steps, 332830989 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
332822645 component updates, 1664113225 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](332822645)
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671710405 loops (1211354/sec), 3022693094 sampling steps, 335858938 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
335851467 component updates, 1679257335 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](335851467)
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
677796718 loops (1217262/sec), 3050082039 sampling steps, 338901558 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
338895160 component updates, 1694475800 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](338895160)
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
683901668 loops (1220990/sec), 3077555591 sampling steps, 341952756 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
341948912 component updates, 1709744560 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](341948912)
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
689998932 loops (1219452/sec), 3104992265 sampling steps, 345002402 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
344996530 component updates, 1724982650 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](344996530)
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
696115884 loops (1223390/sec), 3132517657 sampling steps, 348061770 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
348054114 component updates, 1740270570 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](348054114)
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
702205072 loops (1217837/sec), 3159917336 sampling steps, 351108031 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
351097041 component updates, 1755485205 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](351097041)
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
708272009 loops (1213387/sec), 3187219346 sampling steps, 354140706 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
354131303 component updates, 1770656515 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](354131303)
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
714365012 loops (1218600/sec), 3214640641 sampling steps, 357184426 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
357180586 component updates, 1785902930 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](357180586)
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720433509 loops (1213699/sec), 3241947157 sampling steps, 360220395 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
360213114 component updates, 1801065570 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](360213114)
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
726522497 loops (1217797/sec), 3269349258 sampling steps, 363263234 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
363259263 component updates, 1816296315 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](363259263)
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
732560167 loops (1207534/sec), 3296516072 sampling steps, 366284770 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
366275397 component updates, 1831376985 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](366275397)
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
738564785 loops (1200923/sec), 3323536348 sampling steps, 369287584 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
369277201 component updates, 1846386005 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](369277201)
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
744551045 loops (1197252/sec), 3350476452 sampling steps, 372278780 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
372272265 component updates, 1861361325 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](372272265)
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
750569732 loops (1203737/sec), 3377560678 sampling steps, 375287989 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
375281743 component updates, 1876408715 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](375281743)
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
756622834 loops (1210620/sec), 3404800365 sampling steps, 378313812 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
378309022 component updates, 1891545110 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](378309022)
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762733253 loops (1222083/sec), 3432298464 sampling steps, 381367808 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
381365445 component updates, 1906827225 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](381365445)
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
768798912 loops (1213131/sec), 3459591221 sampling steps, 384403346 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
384395566 component updates, 1921977830 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](384395566)
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
774834898 loops (1207197/sec), 3486753586 sampling steps, 387420911 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
387413987 component updates, 1937069935 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](387413987)
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
780925321 loops (1218084/sec), 3514159491 sampling steps, 390467121 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
390458200 component updates, 1952291000 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](390458200)
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
786969865 loops (1208908/sec), 3541360554 sampling steps, 393488778 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
393481087 component updates, 1967405435 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](393481087)
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
793030037 loops (1212034/sec), 3568631688 sampling steps, 396518504 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
396511533 component updates, 1982557665 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](396511533)
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
799071643 loops (1208321/sec), 3595817976 sampling steps, 399540246 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
399531397 component updates, 1997656985 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](399531397)
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
805081378 loops (1201947/sec), 3622861620 sampling steps, 402545277 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
402536101 component updates, 2012680505 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](402536101)
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
811090009 loops (1201726/sec), 3649901312 sampling steps, 405548740 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
405541269 component updates, 2027706345 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](405541269)
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
817146174 loops (1211233/sec), 3677155443 sampling steps, 408575434 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
408570740 component updates, 2042853700 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](408570740)
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
823212318 loops (1213228/sec), 3704451402 sampling steps, 411610195 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
411602123 component updates, 2058010615 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](411602123)
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
829270390 loops (1211614/sec), 3731714284 sampling steps, 414637673 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
414632717 component updates, 2073163585 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](414632717)
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
835310978 loops (1208117/sec), 3758895936 sampling steps, 417658961 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
417652017 component updates, 2088260085 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](417652017)
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
841346917 loops (1207187/sec), 3786059082 sampling steps, 420675510 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
420671407 component updates, 2103357035 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](420671407)
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
847390484 loops (1208713/sec), 3813255973 sampling steps, 423696454 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
423694030 component updates, 2118470150 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](423694030)
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853437393 loops (1209381/sec), 3840467239 sampling steps, 426719733 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
426717660 component updates, 2133588300 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](426717660)
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859476323 loops (1207786/sec), 3867644390 sampling steps, 429737232 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
429739091 component updates, 2148695455 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](429739091)
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865542147 loops (1213164/sec), 3894939655 sampling steps, 432771087 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
432771060 component updates, 2163855300 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](432771060)
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
871599694 loops (1211509/sec), 3922197653 sampling steps, 435800824 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
435798870 component updates, 2178994350 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](435798870)
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
877596622 loops (1199385/sec), 3949184697 sampling steps, 438798420 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
438798202 component updates, 2193991010 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](438798202)
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
883563917 loops (1193459/sec), 3976036882 sampling steps, 441782710 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
441781207 component updates, 2208906035 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](441781207)
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
889606410 loops (1208498/sec), 4003228354 sampling steps, 444803703 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
444802707 component updates, 2224013535 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](444802707)
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
895631752 loops (1205068/sec), 4030342371 sampling steps, 447816396 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
447815356 component updates, 2239076780 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](447815356)
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
901687940 loops (1211237/sec), 4057596459 sampling steps, 450843248 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
450844692 component updates, 2254223460 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](450844692)
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
907733717 loops (1209155/sec), 4084800514 sampling steps, 453868078 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
453865639 component updates, 2269328195 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](453865639)
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
913749393 loops (1203135/sec), 4111868474 sampling steps, 456878498 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
456870895 component updates, 2284354475 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](456870895)
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
919775694 loops (1205260/sec), 4138988661 sampling steps, 459889816 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
459885878 component updates, 2299429390 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](459885878)
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
925835235 loops (1211908/sec), 4166254468 sampling steps, 462921714 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
462913521 component updates, 2314567605 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](462913521)
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
931874344 loops (1207821/sec), 4193429389 sampling steps, 465942338 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
465932006 component updates, 2329660030 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](465932006)
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
937970291 loops (1219189/sec), 4220861938 sampling steps, 468989524 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
468980767 component updates, 2344903835 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](468980767)
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
944065469 loops (1219035/sec), 4248290139 sampling steps, 472037213 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
472028256 component updates, 2360141280 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](472028256)
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950152982 loops (1217502/sec), 4275683552 sampling steps, 475081365 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
475071617 component updates, 2375358085 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](475071617)
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956222850 loops (1213973/sec), 4302995556 sampling steps, 478118701 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
478104149 component updates, 2390520745 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](478104149)
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
962334795 loops (1222389/sec), 4330499736 sampling steps, 481174246 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
481160549 component updates, 2405802745 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](481160549)
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
968448752 loops (1222791/sec), 4358012301 sampling steps, 484231466 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
484217286 component updates, 2421086430 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](484217286)
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
974578891 loops (1226027/sec), 4385598303 sampling steps, 487296159 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
487282732 component updates, 2436413660 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](487282732)
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
980722091 loops (1228640/sec), 4413241758 sampling steps, 490368704 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
490353387 component updates, 2451766935 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](490353387)
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
986864171 loops (1228416/sec), 4440882387 sampling steps, 493438475 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
493425696 component updates, 2467128480 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](493425696)
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
993003202 loops (1227806/sec), 4468508770 sampling steps, 496507247 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
496495955 component updates, 2482479775 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](496495955)
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
999140374 loops (1227434/sec), 4496126611 sampling steps, 499575266 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
499565108 component updates, 2497825540 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](499565108)
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1005277463 loops (1227417/sec), 4523745866 sampling steps, 502641456 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
502636007 component updates, 2513180035 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](502636007)
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1011418725 loops (1228252/sec), 4551383517 sampling steps, 505710115 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
505708610 component updates, 2528543050 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](505708610)
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1017555358 loops (1227326/sec), 4578999315 sampling steps, 508777482 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
508777876 component updates, 2543889380 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](508777876)
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1023678269 loops (1224582/sec), 4606551937 sampling steps, 511839415 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
511838854 component updates, 2559194270 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](511838854)
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1029771306 loops (1218607/sec), 4633970428 sampling steps, 514886109 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
514885197 component updates, 2574425985 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](514885197)
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1035894143 loops (1224567/sec), 4661523798 sampling steps, 517946924 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
517947219 component updates, 2589736095 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](517947219)
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1042027455 loops (1226662/sec), 4689124710 sampling steps, 521012572 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
521014883 component updates, 2605074415 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](521014883)
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1048163474 loops (1227203/sec), 4716738300 sampling steps, 524079077 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
524084397 component updates, 2620421985 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](524084397)
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1054292832 loops (1225871/sec), 4744318928 sampling steps, 527145239 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
527147593 component updates, 2635737965 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](527147593)
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1060437671 loops (1228967/sec), 4771971686 sampling steps, 530216676 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
530220995 component updates, 2651104975 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](530220995)
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1066577520 loops (1227969/sec), 4799599148 sampling steps, 533288459 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
533289061 component updates, 2666445305 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](533289061)
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1072715609 loops (1227617/sec), 4827220484 sampling steps, 536357568 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
536358041 component updates, 2681790205 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](536358041)
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1078858082 loops (1228494/sec), 4854861735 sampling steps, 539428682 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
539429400 component updates, 2697147000 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](539429400)
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1084999456 loops (1228274/sec), 4882498308 sampling steps, 542498979 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
542500477 component updates, 2712502385 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](542500477)
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1091137482 loops (1227605/sec), 4910120218 sampling steps, 545567199 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
545570283 component updates, 2727851415 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](545570283)
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1097265480 loops (1225599/sec), 4937695108 sampling steps, 548632299 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
548633181 component updates, 2743165905 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](548633181)
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1103354999 loops (1217903/sec), 4965097553 sampling steps, 551677449 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
551677550 component updates, 2758387750 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](551677550)
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1109482680 loops (1225536/sec), 4992671099 sampling steps, 554742308 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
554740372 component updates, 2773701860 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](554740372)
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1115624469 loops (1228357/sec), 5020308265 sampling steps, 557814087 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
557810382 component updates, 2789051910 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](557810382)
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1121766694 loops (1228445/sec), 5047947636 sampling steps, 560885841 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
560880853 component updates, 2804404265 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](560880853)
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1127904141 loops (1227489/sec), 5075565682 sampling steps, 563955030 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
563949111 component updates, 2819745555 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](563949111)
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1134044890 loops (1228149/sec), 5103198560 sampling steps, 567025897 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
567018993 component updates, 2835094965 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](567018993)
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1140188345 loops (1228691/sec), 5130844880 sampling steps, 570096852 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
570091493 component updates, 2850457465 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](570091493)
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1146329697 loops (1228270/sec), 5158481547 sampling steps, 573166945 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
573162752 component updates, 2865813760 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](573162752)
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1152469178 loops (1227896/sec), 5186109718 sampling steps, 576236179 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
576232999 component updates, 2881164995 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](576232999)
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1158614456 loops (1229055/sec), 5213761797 sampling steps, 579310490 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
579303966 component updates, 2896519830 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](579303966)
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1164756001 loops (1228309/sec), 5241400419 sampling steps, 582379593 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
582376408 component updates, 2911882040 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](582376408)
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1170882470 loops (1225293/sec), 5268968663 sampling steps, 585443694 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
585438776 component updates, 2927193880 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](585438776)
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1176972859 loops (1218077/sec), 5296377055 sampling steps, 588487247 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
588485612 component updates, 2942428060 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](588485612)
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1183101927 loops (1225813/sec), 5323957864 sampling steps, 591551778 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
591550149 component updates, 2957750745 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](591550149)
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1189244718 loops (1228558/sec), 5351599644 sampling steps, 594623953 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
594620765 component updates, 2973103825 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](594620765)
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1195386035 loops (1228263/sec), 5379235032 sampling steps, 597695150 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
597690885 component updates, 2988454425 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](597690885)
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1201530745 loops (1228942/sec), 5406885369 sampling steps, 600768363 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
600762382 component updates, 3003811910 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](600762382)
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1207674394 loops (1228729/sec), 5434531365 sampling steps, 603840612 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
603833782 component updates, 3019168910 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](603833782)
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1213815418 loops (1228204/sec), 5462165755 sampling steps, 606911342 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
606904076 component updates, 3034520380 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](606904076)
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1219958391 loops (1228594/sec), 5489808788 sampling steps, 609983174 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
609975217 component updates, 3049876085 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](609975217)
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1226104609 loops (1229243/sec), 5517468401 sampling steps, 613054651 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
613049958 component updates, 3065249790 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](613049958)
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1232248690 loops (1228816/sec), 5545116943 sampling steps, 616126514 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
616122176 component updates, 3080610880 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](616122176)
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1238389424 loops (1228146/sec), 5572748803 sampling steps, 619198324 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
619191100 component updates, 3095955500 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](619191100)
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1244522866 loops (1226688/sec), 5600349619 sampling steps, 622264718 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
622258148 component updates, 3111290740 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](622258148)
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1250629580 loops (1221342/sec), 5627831593 sampling steps, 625316314 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
625313266 component updates, 3126566330 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](625313266)
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1256755077 loops (1225099/sec), 5655396538 sampling steps, 628378854 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
628376223 component updates, 3141881115 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](628376223)
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1262897327 loops (1228450/sec), 5683037115 sampling steps, 631449527 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
631447800 component updates, 3157239000 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](631447800)
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1269041602 loops (1228855/sec), 5710689455 sampling steps, 634518562 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
634523040 component updates, 3172615200 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](634523040)
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1275186362 loops (1228952/sec), 5738339948 sampling steps, 637591869 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
637594493 component updates, 3187972465 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](637594493)
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1281324780 loops (1227683/sec), 5765965045 sampling steps, 640658862 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
640665918 component updates, 3203329590 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](640665918)
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1287475571 loops (1230158/sec), 5793642227 sampling steps, 643735635 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
643739936 component updates, 3218699680 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](643739936)
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1293620468 loops (1228979/sec), 5821295456 sampling steps, 646806891 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
646813577 component updates, 3234067885 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](646813577)
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1299767267 loops (1229359/sec), 5848957007 sampling steps, 649879335 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
649887932 component updates, 3249439660 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](649887932)
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1305913948 loops (1229336/sec), 5876615009 sampling steps, 652954738 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
652959210 component updates, 3264796050 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](652959210)
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1312060797 loops (1229369/sec), 5904275224 sampling steps, 656028768 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
656032029 component updates, 3280160145 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](656032029)
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1318190769 loops (1225994/sec), 5931858981 sampling steps, 659094871 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
659095898 component updates, 3295479490 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](659095898)
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1324273948 loops (1216635/sec), 5959232179 sampling steps, 662137568 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
662136380 component updates, 3310681900 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](662136380)
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1330413049 loops (1227820/sec), 5986858826 sampling steps, 665206426 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
665206623 component updates, 3326033115 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](665206623)
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1336563336 loops (1230057/sec), 6014535434 sampling steps, 668281253 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
668282083 component updates, 3341410415 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](668282083)
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1342707058 loops (1228744/sec), 6042181141 sampling steps, 671354156 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
671352902 component updates, 3356764510 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](671352902)
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1348851128 loops (1228814/sec), 6069828101 sampling steps, 674427546 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
674423582 component updates, 3372117910 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](674423582)
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1355001255 loops (1230025/sec), 6097503029 sampling steps, 677503253 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
677498002 component updates, 3387490010 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](677498002)
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1361147234 loops (1229195/sec), 6125160590 sampling steps, 680575587 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
680571647 component updates, 3402858235 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](680571647)
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1367290948 loops (1228742/sec), 6152805936 sampling steps, 683648811 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
683642137 component updates, 3418210685 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](683642137)
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1373437777 loops (1229365/sec), 6180464109 sampling steps, 686724783 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
686712994 component updates, 3433564970 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](686712994)
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1379585682 loops (1229581/sec), 6208130804 sampling steps, 689797613 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
689788069 component updates, 3448940345 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](689788069)
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1385731973 loops (1229258/sec), 6235790646 sampling steps, 692869226 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
692862747 component updates, 3464313735 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](692862747)
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1391864346 loops (1226474/sec), 6263386312 sampling steps, 695935425 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
695928921 component updates, 3479644605 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](695928921)
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1397956081 loops (1218347/sec), 6290798962 sampling steps, 698981450 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
698974631 component updates, 3494873155 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](698974631)
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1404094881 loops (1227760/sec), 6318425412 sampling steps, 702049000 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
702045881 component updates, 3510229405 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](702045881)
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1410243690 loops (1229761/sec), 6346094008 sampling steps, 705124449 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
705119241 component updates, 3525596205 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](705119241)
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1416391127 loops (1229487/sec), 6373757518 sampling steps, 708198124 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
708193003 component updates, 3540965015 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](708193003)
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1422541371 loops (1230048/sec), 6401432697 sampling steps, 711274165 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
711267206 component updates, 3556336030 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](711267206)
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1428693488 loops (1230423/sec), 6429116842 sampling steps, 714350605 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
714342883 component updates, 3571714415 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](714342883)
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1434836082 loops (1228518/sec), 6456759471 sampling steps, 717420946 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
717415136 component updates, 3587075680 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](717415136)
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1440983432 loops (1229470/sec), 6484420721 sampling steps, 720496446 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
720486986 component updates, 3602434930 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](720486986)
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1447132280 loops (1229769/sec), 6512092914 sampling steps, 723568493 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
723563787 component updates, 3617818935 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](723563787)
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1453285145 loops (1230573/sec), 6539779689 sampling steps, 726646043 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
726639102 component updates, 3633195510 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](726639102)
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1459432361 loops (1229443/sec), 6567442970 sampling steps, 729718842 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
729713519 component updates, 3648567595 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](729713519)
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1465566371 loops (1226802/sec), 6595044112 sampling steps, 732787750 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
732778621 component updates, 3663893105 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](732778621)
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1471670018 loops (1220729/sec), 6622509204 sampling steps, 735840893 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
735829125 component updates, 3679145625 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](735829125)
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1477799542 loops (1225904/sec), 6650094536 sampling steps, 738903181 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
738896361 component updates, 3694481805 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](738896361)
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1483944304 loops (1228952/sec), 6677745339 sampling steps, 741976188 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
741968116 component updates, 3709840580 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](741968116)
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1490095429 loops (1230225/sec), 6705424553 sampling steps, 745052599 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
745042830 component updates, 3725214150 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](745042830)
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1496243682 loops (1229650/sec), 6733092327 sampling steps, 748126090 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
748117592 component updates, 3740587960 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](748117592)
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1502393853 loops (1230034/sec), 6760769566 sampling steps, 751199706 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
751194147 component updates, 3755970735 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](751194147)
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1508543872 loops (1230003/sec), 6788443488 sampling steps, 754275879 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
754267993 component updates, 3771339965 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](754267993)
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1514695515 loops (1230328/sec), 6816126225 sampling steps, 757351357 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
757344158 component updates, 3786720790 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](757344158)
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1520842840 loops (1229465/sec), 6843787795 sampling steps, 760426412 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
760416428 component updates, 3802082140 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](760416428)
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1526993955 loops (1230223/sec), 6871467751 sampling steps, 763502031 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
763491924 component updates, 3817459620 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](763491924)
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1533146008 loops (1230410/sec), 6899152266 sampling steps, 766577781 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
766568227 component updates, 3832841135 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](766568227)
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1539279155 loops (1226629/sec), 6926752451 sampling steps, 769643331 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
769635824 component updates, 3848179120 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](769635824)
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1545378220 loops (1219813/sec), 6954198418 sampling steps, 772692689 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
772685531 component updates, 3863427655 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](772685531)
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1551516914 loops (1227738/sec), 6981825188 sampling steps, 775759389 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
775757525 component updates, 3878787625 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](775757525)
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1557668790 loops (1230375/sec), 7009509591 sampling steps, 778834366 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
778834424 component updates, 3894172120 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](778834424)
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1563816329 loops (1229507/sec), 7037173036 sampling steps, 781908616 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
781907713 component updates, 3909538565 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](781907713)
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1569959849 loops (1228704/sec), 7064817400 sampling steps, 784981852 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
784977997 component updates, 3924889985 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](784977997)
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1576111054 loops (1230241/sec), 7092497510 sampling steps, 788057767 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
788053287 component updates, 3940266435 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](788053287)
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1582260858 loops (1229960/sec), 7120169276 sampling steps, 791135021 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
791125837 component updates, 3955629185 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](791125837)
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1588402308 loops (1228290/sec), 7147807458 sampling steps, 794204089 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
794198219 component updates, 3970991095 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](794198219)
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1594391552 loops (1197848/sec), 7174758847 sampling steps, 797198920 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
797192632 component updates, 3985963160 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](797192632)
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1600456007 loops (1212891/sec), 7202048050 sampling steps, 800231992 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
800224015 component updates, 4001120075 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](800224015)
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1606603128 loops (1229424/sec), 7229710136 sampling steps, 803305511 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
803297617 component updates, 4016488085 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](803297617)
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1612732586 loops (1225891/sec), 7257291528 sampling steps, 806371409 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
806361177 component updates, 4031805885 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](806361177)
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1618802841 loops (1214051/sec), 7284608195 sampling steps, 809406017 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
809396824 component updates, 4046984120 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](809396824)
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1624932542 loops (1225940/sec), 7312190720 sampling steps, 812471997 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
812460545 component updates, 4062302725 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](812460545)
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1631083187 loops (1230129/sec), 7339868027 sampling steps, 815547915 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
815535272 component updates, 4077676360 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](815535272)
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1637230007 loops (1229364/sec), 7367528488 sampling steps, 818621554 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
818608453 component updates, 4093042265 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](818608453)
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1643379406 loops (1229879/sec), 7395202313 sampling steps, 821694724 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
821684682 component updates, 4108423410 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](821684682)
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1649533169 loops (1230752/sec), 7422894596 sampling steps, 824771256 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
824761913 component updates, 4123809565 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](824761913)
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1655684888 loops (1230343/sec), 7450577515 sampling steps, 827846932 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
827837956 component updates, 4139189780 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](827837956)
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1661836106 loops (1230243/sec), 7478259544 sampling steps, 830920993 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
830915113 component updates, 4154575565 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](830915113)
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1667986427 loops (1230064/sec), 7505936457 sampling steps, 833995685 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
833990742 component updates, 4169953710 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](833990742)
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1674138021 loops (1230318/sec), 7533617698 sampling steps, 837072414 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
837065607 component updates, 4185328035 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](837065607)
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1680288043 loops (1230004/sec), 7561294688 sampling steps, 840145534 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
840142509 component updates, 4200712545 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](840142509)
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1686425479 loops (1227487/sec), 7588913409 sampling steps, 843213993 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
843211486 component updates, 4216057430 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](843211486)
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1692519944 loops (1218893/sec), 7616337239 sampling steps, 846262488 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
846257456 component updates, 4231287280 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](846257456)
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1698656873 loops (1227385/sec), 7643952435 sampling steps, 849331937 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
849324936 component updates, 4246624680 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](849324936)
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1704806577 loops (1229940/sec), 7671626657 sampling steps, 852406235 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
852400342 component updates, 4262001710 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](852400342)
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1710960417 loops (1230768/sec), 7699319451 sampling steps, 855482641 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
855477776 component updates, 4277388880 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](855477776)
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1717109661 loops (1229848/sec), 7726989719 sampling steps, 858558593 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
858551068 component updates, 4292755340 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](858551068)
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1723256756 loops (1229419/sec), 7754650579 sampling steps, 861633208 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
861623548 component updates, 4308117740 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](861623548)
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1729405220 loops (1229692/sec), 7782319435 sampling steps, 864706672 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
864698548 component updates, 4323492740 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](864698548)
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1735557511 loops (1230458/sec), 7810004047 sampling steps, 867783515 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
867773996 component updates, 4338869980 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](867773996)
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1741704595 loops (1229416/sec), 7837667260 sampling steps, 870855722 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
870848873 component updates, 4354244365 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](870848873)
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1747858374 loops (1230755/sec), 7865359590 sampling steps, 873932287 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
873926087 component updates, 4369630435 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](873926087)
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1754010853 loops (1230495/sec), 7893046369 sampling steps, 877007903 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
877002950 component updates, 4385014750 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](877002950)
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1760149639 loops (1227757/sec), 7920670706 sampling steps, 880077496 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
880072143 component updates, 4400360715 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](880072143)
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1766248615 loops (1219795/sec), 7948115886 sampling steps, 883127196 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
883121419 component updates, 4415607095 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](883121419)
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1772389818 loops (1228240/sec), 7975751840 sampling steps, 886197257 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
886192561 component updates, 4430962805 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](886192561)
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1778539120 loops (1229860/sec), 8003423841 sampling steps, 889271766 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
889267354 component updates, 4446336770 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](889267354)
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1784688606 loops (1229897/sec), 8031095145 sampling steps, 892347892 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
892340714 component updates, 4461703570 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](892340714)
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1790838723 loops (1230023/sec), 8058770037 sampling steps, 895423585 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
895415138 component updates, 4477075690 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](895415138)
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1796989229 loops (1230101/sec), 8086447847 sampling steps, 898498305 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
898490924 component updates, 4492454620 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](898490924)
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1803135604 loops (1229275/sec), 8114105858 sampling steps, 901572169 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
901563435 component updates, 4507817175 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](901563435)
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1809286065 loops (1230092/sec), 8141781882 sampling steps, 904648450 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
904637615 component updates, 4523188075 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](904637615)
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1815434729 loops (1229732/sec), 8169449725 sampling steps, 907723927 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
907710802 component updates, 4538554010 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](907710802)
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1821582502 loops (1229554/sec), 8197115072 sampling steps, 910797445 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
910785057 component updates, 4553925285 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](910785057)
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1827725903 loops (1228680/sec), 8224759982 sampling steps, 913869540 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
913856363 component updates, 4569281815 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](913856363)
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1833858643 loops (1226548/sec), 8252356927 sampling steps, 916936295 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
916922348 component updates, 4584611740 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](916922348)
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1839954871 loops (1219245/sec), 8279791793 sampling steps, 919982569 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
919972302 component updates, 4599861510 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](919972302)
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1846088509 loops (1226727/sec), 8307393157 sampling steps, 923049395 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
923039114 component updates, 4615195570 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](923039114)
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1852235178 loops (1229333/sec), 8335051344 sampling steps, 926124553 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
926110625 component updates, 4630553125 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](926110625)
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1858381953 loops (1229355/sec), 8362713846 sampling steps, 929195926 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
929186027 component updates, 4645930135 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](929186027)
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1864527639 loops (1229137/sec), 8390369874 sampling steps, 932268328 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
932259311 component updates, 4661296555 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](932259311)
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1870673668 loops (1229205/sec), 8418028745 sampling steps, 935339602 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
935334066 component updates, 4676670330 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](935334066)
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1876827370 loops (1230740/sec), 8445720086 sampling steps, 938416771 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
938410599 component updates, 4692052995 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](938410599)
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1882975602 loops (1229646/sec), 8473387291 sampling steps, 941490726 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
941484876 component updates, 4707424380 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](941484876)
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1889126448 loops (1230169/sec), 8501064727 sampling steps, 944567520 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
944558928 component updates, 4722794640 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](944558928)
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1895274701 loops (1229650/sec), 8528733172 sampling steps, 947640340 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
947634361 component updates, 4738171805 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](947634361)
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1901428352 loops (1230730/sec), 8556425674 sampling steps, 950716093 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
950712259 component updates, 4753561295 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](950712259)
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1907561919 loops (1226713/sec), 8584025225 sampling steps, 953784377 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
953777542 component updates, 4768887710 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](953777542)
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1913667897 loops (1221195/sec), 8611504296 sampling steps, 956835196 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
956832701 component updates, 4784163505 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](956832701)
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1919796982 loops (1225817/sec), 8639085654 sampling steps, 959899263 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
959897719 component updates, 4799488595 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](959897719)
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1925945887 loops (1229781/sec), 8666755015 sampling steps, 962974427 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
962971460 component updates, 4814857300 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](962971460)
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1932090219 loops (1228866/sec), 8694405195 sampling steps, 966045907 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
966044312 component updates, 4830221560 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](966044312)
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1938230932 loops (1228142/sec), 8722038265 sampling steps, 969116402 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
969114530 component updates, 4845572650 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](969114530)
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1944374308 loops (1228675/sec), 8749683585 sampling steps, 972187962 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
972186346 component updates, 4860931730 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](972186346)
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1950512825 loops (1227703/sec), 8777307416 sampling steps, 975256716 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
975256109 component updates, 4876280545 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](975256109)
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1956623670 loops (1222169/sec), 8804804676 sampling steps, 978313681 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
978309989 component updates, 4891549945 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](978309989)
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1962783158 loops (1231897/sec), 8832524108 sampling steps, 981391689 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
981391469 component updates, 4906957345 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](981391469)
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1968941680 loops (1231704/sec), 8860236404 sampling steps, 984472003 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
984469677 component updates, 4922348385 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](984469677)
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1975096882 loops (1231040/sec), 8887931808 sampling steps, 987552609 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
987544273 component updates, 4937721365 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](987544273)
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1981236763 loops (1227976/sec), 8915561346 sampling steps, 990622476 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
990614287 component updates, 4953071435 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](990614287)
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1987348912 loops (1222429/sec), 8943067549 sampling steps, 993677018 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
993671894 component updates, 4968359470 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](993671894)
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1993417915 loops (1213800/sec), 8970378226 sampling steps, 996711356 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
996706559 component updates, 4983532795 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](996706559)
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1999557273 loops (1227871/sec), 8998004697 sampling steps, 999781675 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
999775598 component updates, 4998877990 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](999775598)
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2005685060 loops (1225557/sec), 9025580293 sampling steps, 1002845014 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1002840046 component updates, 5014200230 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1002840046)
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2011812391 loops (1225466/sec), 9053153624 sampling steps, 1005908338 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1005904053 component updates, 5029520265 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1005904053)
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2017941932 loops (1225908/sec), 9080735660 sampling steps, 1008974007 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1008967925 component updates, 5044839625 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1008967925)
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2024047761 loops (1221165/sec), 9108211413 sampling steps, 1012027399 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1012020362 component updates, 5060101810 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1012020362)
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2030081604 loops (1206768/sec), 9135363602 sampling steps, 1015044425 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1015037179 component updates, 5075185895 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1015037179)
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2036175108 loops (1218700/sec), 9162785352 sampling steps, 1018090195 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1018084913 component updates, 5090424565 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1018084913)
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2042313446 loops (1227667/sec), 9190410405 sampling steps, 1021156832 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1021156614 component updates, 5105783070 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1021156614)
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2048465674 loops (1230445/sec), 9218093835 sampling steps, 1024234542 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1024231132 component updates, 5121155660 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1024231132)
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2054599431 loops (1226751/sec), 9245694395 sampling steps, 1027302767 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1027296664 component updates, 5136483320 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1027296664)
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2060701024 loops (1220318/sec), 9273154453 sampling steps, 1030350674 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1030350350 component updates, 5151751750 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1030350350)
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2066824516 loops (1224698/sec), 9300710154 sampling steps, 1033412433 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1033412083 component updates, 5167060415 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1033412083)
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2072965498 loops (1228196/sec), 9328344327 sampling steps, 1036483170 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1036482328 component updates, 5182411640 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1036482328)
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2079104332 loops (1227766/sec), 9355970963 sampling steps, 1039550704 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1039553628 component updates, 5197768140 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1039553628)
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2085227562 loops (1224646/sec), 9383527033 sampling steps, 1042610784 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1042616778 component updates, 5213083890 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1042616778)
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2091372485 loops (1228984/sec), 9411179476 sampling steps, 1045682956 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1045689529 component updates, 5228447645 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1045689529)
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2097519213 loops (1229345/sec), 9438839034 sampling steps, 1048757038 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1048762175 component updates, 5243810875 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1048762175)
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2103663565 loops (1228870/sec), 9466489044 sampling steps, 1051828788 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1051834777 component updates, 5259173885 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1051834777)
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2109800729 loops (1227432/sec), 9494106259 sampling steps, 1054897393 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1054903336 component updates, 5274516680 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1054903336)
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2115935334 loops (1226921/sec), 9521714344 sampling steps, 1057962333 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1057973001 component updates, 5289865005 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1057973001)
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2122084931 loops (1229919/sec), 9549387307 sampling steps, 1061037355 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1061047576 component updates, 5305237880 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1061047576)
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2128210078 loops (1225029/sec), 9576948603 sampling steps, 1064101794 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1064108284 component updates, 5320541420 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1064108284)
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2134312430 loops (1220470/sec), 9604408809 sampling steps, 1067153348 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1067159082 component updates, 5335795410 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1067159082)
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2140438014 loops (1225116/sec), 9631974378 sampling steps, 1070215699 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1070222315 component updates, 5351111575 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1070222315)
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2146588638 loops (1230124/sec), 9659651702 sampling steps, 1073291495 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1073297143 component updates, 5366485715 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1073297143)
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2152736301 loops (1229532/sec), 9687314876 sampling steps, 1076366636 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1076369665 component updates, 5381848325 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1076369665)
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2158874346 loops (1227609/sec), 9714935556 sampling steps, 1079436181 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1079438165 component updates, 5397190825 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1079438165)
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2165025111 loops (1230153/sec), 9742614448 sampling steps, 1082511114 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1082513997 component updates, 5412569985 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1082513997)
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2171162703 loops (1227518/sec), 9770231801 sampling steps, 1085581721 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1085580982 component updates, 5427904910 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1085580982)
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2177303867 loops (1228232/sec), 9797867944 sampling steps, 1088651398 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1088652469 component updates, 5443262345 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1088652469)
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2183454123 loops (1230051/sec), 9825543024 sampling steps, 1091727598 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1091726525 component updates, 5458632625 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1091726525)
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2189591400 loops (1227455/sec), 9853163537 sampling steps, 1094793470 aborted
loop condition 0.50000, exit probability 0.0000 in initial state
61 explored states, 1 states in BSSCs (1 absorbing)
1094797930 component updates, 5473989650 transient state updates
Bounds: [0.50000+5.00000e-01]@[0.00000](1094797930)
----------
Computation aborted after 1800.0048854351044 seconds since the total time limit of 1800.0 seconds was exceeded.