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-3.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:
2922940 loops (584588/sec), 13857638 sampling steps, 757070 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
2165870 component updates, 10829350 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](2165870)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5983613 loops (612134/sec), 28367006 sampling steps, 1551067 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
4432546 component updates, 22162730 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](4432546)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9056895 loops (614656/sec), 42934780 sampling steps, 2349703 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
6707192 component updates, 33535960 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](6707192)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12121173 loops (612855/sec), 57461202 sampling steps, 3144671 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
8976502 component updates, 44882510 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](8976502)
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15203645 loops (616494/sec), 72074243 sampling steps, 3943990 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
11259655 component updates, 56298275 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](11259655)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18252610 loops (609793/sec), 86529703 sampling steps, 4733355 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
13519255 component updates, 67596275 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](13519255)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21303857 loops (610249/sec), 100995413 sampling steps, 5523880 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
15779977 component updates, 78899885 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](15779977)
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24363326 loops (611893/sec), 115500438 sampling steps, 6316200 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
18047126 component updates, 90235630 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](18047126)
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27422250 loops (611784/sec), 130002959 sampling steps, 7108299 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
20313951 component updates, 101569755 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](20313951)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30485520 loops (612654/sec), 144524698 sampling steps, 7902910 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
22582610 component updates, 112913050 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](22582610)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33545339 loops (611963/sec), 159031233 sampling steps, 8695470 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
24849869 component updates, 124249345 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](24849869)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36606788 loops (612289/sec), 173544644 sampling steps, 9489304 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
27117484 component updates, 135587420 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](27117484)
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39664873 loops (611617/sec), 188043344 sampling steps, 10281029 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
29383844 component updates, 146919220 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](29383844)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42728383 loops (612702/sec), 202567369 sampling steps, 11074554 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
31653829 component updates, 158269145 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](31653829)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45796056 loops (613534/sec), 217108667 sampling steps, 11871621 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
33924435 component updates, 169622175 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](33924435)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48868548 loops (614498/sec), 231675059 sampling steps, 12667689 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
36200859 component updates, 181004295 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](36200859)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51940181 loops (614326/sec), 246238188 sampling steps, 13462725 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
38477456 component updates, 192387280 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](38477456)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55010539 loops (614071/sec), 260793794 sampling steps, 14258909 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
40751630 component updates, 203758150 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](40751630)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58082085 loops (614309/sec), 275355632 sampling steps, 15054801 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
43027284 component updates, 215136420 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](43027284)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61154288 loops (614440/sec), 289918415 sampling steps, 15853033 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
45301255 component updates, 226506275 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](45301255)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64224695 loops (614081/sec), 304473745 sampling steps, 16649738 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
47574957 component updates, 237874785 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](47574957)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67294941 loops (614049/sec), 319028653 sampling steps, 17446060 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
49848881 component updates, 249244405 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](49848881)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70366758 loops (614363/sec), 333590692 sampling steps, 18243106 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
52123652 component updates, 260618260 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](52123652)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73438421 loops (614332/sec), 348151897 sampling steps, 19040216 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
54398205 component updates, 271991025 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](54398205)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76500921 loops (612500/sec), 362671982 sampling steps, 19832631 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
56668290 component updates, 283341450 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](56668290)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79562912 loops (612398/sec), 377187922 sampling steps, 20626646 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
58936266 component updates, 294681330 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](58936266)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82632674 loops (613952/sec), 391740711 sampling steps, 21422667 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
61210007 component updates, 306050035 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](61210007)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85704759 loops (614417/sec), 406305470 sampling steps, 22218333 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
63486426 component updates, 317432130 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](63486426)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88776228 loops (614293/sec), 420866993 sampling steps, 23014155 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
65762073 component updates, 328810365 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](65762073)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91843842 loops (613522/sec), 435409762 sampling steps, 23809456 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
68034386 component updates, 340171930 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](68034386)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94914652 loops (614162/sec), 449967357 sampling steps, 24605911 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
70308741 component updates, 351543705 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](70308741)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97985966 loops (614262/sec), 464527314 sampling steps, 25402524 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
72583442 component updates, 362917210 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](72583442)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101055564 loops (613919/sec), 479079284 sampling steps, 26198544 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
74857020 component updates, 374285100 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](74857020)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104127769 loops (614441/sec), 493642249 sampling steps, 26996604 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
77131165 component updates, 385655825 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](77131165)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107200670 loops (614580/sec), 508209288 sampling steps, 27794070 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
79406600 component updates, 397033000 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](79406600)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110271769 loops (614219/sec), 522768986 sampling steps, 28589867 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
81681902 component updates, 408409510 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](81681902)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113337835 loops (613213/sec), 537303634 sampling steps, 29385549 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
83952286 component updates, 419761430 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](83952286)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116399414 loops (612315/sec), 551818203 sampling steps, 30178875 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
86220539 component updates, 431102695 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](86220539)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119467260 loops (613569/sec), 566362938 sampling steps, 30973370 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
88493890 component updates, 442469450 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](88493890)
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122538220 loops (614192/sec), 580921208 sampling steps, 31769900 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
90768320 component updates, 453841600 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](90768320)
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125613005 loops (614957/sec), 595497724 sampling steps, 32567309 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
93045696 component updates, 465228480 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](93045696)
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128685139 loops (614426/sec), 610061557 sampling steps, 33364146 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
95320993 component updates, 476604965 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](95320993)
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131755188 loops (614009/sec), 624617456 sampling steps, 34158492 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
97596696 component updates, 487983480 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](97596696)
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134827937 loops (614549/sec), 639185694 sampling steps, 34953999 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
99873938 component updates, 499369690 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](99873938)
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137914331 loops (617278/sec), 653816839 sampling steps, 35754824 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
102159507 component updates, 510797535 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](102159507)
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140994194 loops (615972/sec), 668418173 sampling steps, 36552805 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
104441389 component updates, 522206945 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](104441389)
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144069378 loops (615036/sec), 682997096 sampling steps, 37349802 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
106719576 component updates, 533597880 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](106719576)
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147145623 loops (615249/sec), 697581583 sampling steps, 38146540 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
108999083 component updates, 544995415 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](108999083)
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150208339 loops (612543/sec), 712101567 sampling steps, 38940136 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
111268203 component updates, 556341015 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](111268203)
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153267974 loops (611927/sec), 726607733 sampling steps, 39732145 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
113535829 component updates, 567679145 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](113535829)
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156336631 loops (613731/sec), 741155260 sampling steps, 40527903 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
115808728 component updates, 579043640 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](115808728)
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159411101 loops (614894/sec), 755730157 sampling steps, 41325356 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
118085745 component updates, 590428725 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](118085745)
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162491106 loops (616001/sec), 770330588 sampling steps, 42124950 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
120366156 component updates, 601830780 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](120366156)
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165585234 loops (618825/sec), 784999213 sampling steps, 42926965 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
122658269 component updates, 613291345 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](122658269)
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168681346 loops (619222/sec), 799676272 sampling steps, 43730466 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
124950880 component updates, 624754400 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](124950880)
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171771837 loops (618098/sec), 814326050 sampling steps, 44533143 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
127238694 component updates, 636193470 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](127238694)
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174861310 loops (617894/sec), 828972100 sampling steps, 45334458 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
129526852 component updates, 647634260 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](129526852)
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177947157 loops (617169/sec), 843602577 sampling steps, 46133216 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
131813941 component updates, 659069705 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](131813941)
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181036247 loops (617818/sec), 858246818 sampling steps, 46934425 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
134101822 component updates, 670509110 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](134101822)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184131161 loops (618982/sec), 872919740 sampling steps, 47736073 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
136395088 component updates, 681975440 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](136395088)
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187213477 loops (616463/sec), 887531617 sampling steps, 48535776 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
138677701 component updates, 693388505 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](138677701)
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190277511 loops (612806/sec), 902057477 sampling steps, 49330086 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
140947425 component updates, 704737125 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](140947425)
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193358488 loops (616195/sec), 916663366 sampling steps, 50129082 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
143229406 component updates, 716147030 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](143229406)
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196451063 loops (618515/sec), 931324934 sampling steps, 50930389 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
145520674 component updates, 727603370 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](145520674)
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199537269 loops (617241/sec), 945956055 sampling steps, 51730298 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
147806971 component updates, 739034855 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](147806971)
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202609223 loops (614390/sec), 960519764 sampling steps, 52526359 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
150082864 component updates, 750414320 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](150082864)
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205684038 loops (614963/sec), 975095943 sampling steps, 53324255 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
152359783 component updates, 761798915 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](152359783)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208774136 loops (618019/sec), 989744312 sampling steps, 54126376 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
154647760 component updates, 773238800 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](154647760)
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211855540 loops (616280/sec), 1004352787 sampling steps, 54924921 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
156930619 component updates, 784653095 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](156930619)
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214929701 loops (614832/sec), 1018926331 sampling steps, 55722182 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
159207519 component updates, 796037595 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](159207519)
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218003927 loops (614845/sec), 1033500431 sampling steps, 56519212 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
161484715 component updates, 807423575 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](161484715)
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221084594 loops (616133/sec), 1048105659 sampling steps, 57317319 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
163767275 component updates, 818836375 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](163767275)
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224162821 loops (615645/sec), 1062699133 sampling steps, 58114980 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
166047841 component updates, 830239205 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](166047841)
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227235578 loops (614551/sec), 1077265205 sampling steps, 58912693 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
168322885 component updates, 841614425 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](168322885)
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230315073 loops (615899/sec), 1091863034 sampling steps, 59712339 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
170602734 component updates, 853013670 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](170602734)
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233395823 loops (616150/sec), 1106466813 sampling steps, 60512310 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
172883513 component updates, 864417565 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](172883513)
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236481210 loops (617077/sec), 1121093943 sampling steps, 61312115 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
175169095 component updates, 875845475 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](175169095)
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239574011 loops (618560/sec), 1135756081 sampling steps, 62113982 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
177460029 component updates, 887300145 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](177460029)
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242661443 loops (617486/sec), 1150391646 sampling steps, 62915577 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
179745866 component updates, 898729330 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](179745866)
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245731589 loops (614029/sec), 1164945842 sampling steps, 63712111 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
182019478 component updates, 910097390 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](182019478)
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248808664 loops (615415/sec), 1179534047 sampling steps, 64509281 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
184299383 component updates, 921496915 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](184299383)
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251886616 loops (615590/sec), 1194125845 sampling steps, 65307243 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
186579373 component updates, 932896865 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](186579373)
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254962726 loops (615222/sec), 1208708613 sampling steps, 66105025 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
188857701 component updates, 944288505 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](188857701)
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258036995 loops (614853/sec), 1223284413 sampling steps, 66900570 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
191136425 component updates, 955682125 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](191136425)
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261109522 loops (614505/sec), 1237851841 sampling steps, 67695777 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
193413745 component updates, 967068725 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](193413745)
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264177978 loops (613691/sec), 1252397964 sampling steps, 68491934 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
195686044 component updates, 978430220 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](195686044)
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267251501 loops (614704/sec), 1266968128 sampling steps, 69289385 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
197962116 component updates, 989810580 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](197962116)
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270325469 loops (614793/sec), 1281540870 sampling steps, 70086483 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
200238986 component updates, 1001194930 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](200238986)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273400797 loops (615065/sec), 1296120073 sampling steps, 70883920 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
202516877 component updates, 1012584385 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](202516877)
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276480428 loops (615926/sec), 1310719382 sampling steps, 71682766 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
204797662 component updates, 1023988310 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](204797662)
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279555893 loops (615093/sec), 1325299002 sampling steps, 72480471 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
207075422 component updates, 1035377110 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](207075422)
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282629947 loops (614810/sec), 1339872739 sampling steps, 73277004 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
209352943 component updates, 1046764715 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](209352943)
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285707862 loops (615583/sec), 1354464653 sampling steps, 74074665 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
211633197 component updates, 1058165985 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](211633197)
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288782491 loops (614925/sec), 1369041315 sampling steps, 74871148 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
213911343 component updates, 1069556715 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](213911343)
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291857088 loops (614919/sec), 1383617580 sampling steps, 75667868 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
216189220 component updates, 1080946100 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](216189220)
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294931891 loops (614960/sec), 1398196573 sampling steps, 76462890 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
218469001 component updates, 1092345005 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](218469001)
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298005342 loops (614690/sec), 1412766829 sampling steps, 77259889 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
220745453 component updates, 1103727265 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](220745453)
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301071239 loops (613179/sec), 1427300514 sampling steps, 78055689 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
223015550 component updates, 1115077750 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](223015550)
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304144029 loops (614558/sec), 1441867195 sampling steps, 78852958 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
225291071 component updates, 1126455355 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](225291071)
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307219800 loops (615154/sec), 1456449368 sampling steps, 79649640 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
227570160 component updates, 1137850800 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](227570160)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310295065 loops (615053/sec), 1471029102 sampling steps, 80446231 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
229848834 component updates, 1149244170 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](229848834)
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313369972 loops (614981/sec), 1485606436 sampling steps, 81243432 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
232126540 component updates, 1160632700 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](232126540)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316443059 loops (614617/sec), 1500176485 sampling steps, 82038818 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
234404241 component updates, 1172021205 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](234404241)
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319517310 loops (614850/sec), 1514751277 sampling steps, 82835281 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
236682029 component updates, 1183410145 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](236682029)
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322597301 loops (615998/sec), 1529351844 sampling steps, 83634669 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
238962632 component updates, 1194813160 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](238962632)
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325671359 loops (614811/sec), 1543925286 sampling steps, 84431517 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
241239842 component updates, 1206199210 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](241239842)
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328745100 loops (614748/sec), 1558497537 sampling steps, 85227971 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
243517129 component updates, 1217585645 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](243517129)
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331819069 loops (614793/sec), 1573071260 sampling steps, 86024093 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
245794976 component updates, 1228974880 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](245794976)
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334901595 loops (616505/sec), 1587684826 sampling steps, 86823157 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
248078438 component updates, 1240392190 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](248078438)
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337983709 loops (616422/sec), 1602296598 sampling steps, 87621955 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
250361754 component updates, 1251808770 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](250361754)
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341070768 loops (617411/sec), 1616931139 sampling steps, 88422709 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
252648059 component updates, 1263240295 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](252648059)
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344143430 loops (614532/sec), 1631498467 sampling steps, 89218691 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
254924739 component updates, 1274623695 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](254924739)
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347218938 loops (615101/sec), 1646078291 sampling steps, 90016407 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
257202531 component updates, 1286012655 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](257202531)
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350292585 loops (614729/sec), 1660650248 sampling steps, 90812685 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
259479900 component updates, 1297399500 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](259479900)
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353381204 loops (617723/sec), 1675293296 sampling steps, 91612732 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
261768472 component updates, 1308842360 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](261768472)
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356456589 loops (615077/sec), 1689872857 sampling steps, 92410096 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
264046493 component updates, 1320232465 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](264046493)
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359530850 loops (614852/sec), 1704447952 sampling steps, 93206306 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
266324544 component updates, 1331622720 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](266324544)
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362622266 loops (618283/sec), 1719103925 sampling steps, 94007413 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
268614853 component updates, 1343074265 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](268614853)
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365703931 loops (616333/sec), 1733714754 sampling steps, 94804909 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
270899022 component updates, 1354495110 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](270899022)
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368792951 loops (617804/sec), 1748359747 sampling steps, 95605016 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
273187935 component updates, 1365939675 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](273187935)
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371876412 loops (616692/sec), 1762977923 sampling steps, 96404145 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
275472267 component updates, 1377361335 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](275472267)
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374960502 loops (616818/sec), 1777599256 sampling steps, 97203262 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
277757240 component updates, 1388786200 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](277757240)
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378052889 loops (618477/sec), 1792260213 sampling steps, 98004240 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
280048649 component updates, 1400243245 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](280048649)
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381145848 loops (618591/sec), 1806923247 sampling steps, 98806001 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
282339847 component updates, 1411699235 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](282339847)
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
384244938 loops (619818/sec), 1821615219 sampling steps, 99609479 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
284635459 component updates, 1423177295 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](284635459)
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387346625 loops (620337/sec), 1836318410 sampling steps, 100414723 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
286931902 component updates, 1434659510 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](286931902)
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390445493 loops (619773/sec), 1851009866 sampling steps, 101217607 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
289227886 component updates, 1446139430 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](289227886)
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393545444 loops (619990/sec), 1865707255 sampling steps, 102019973 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
291525471 component updates, 1457627355 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](291525471)
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396643781 loops (619667/sec), 1880395348 sampling steps, 102823565 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
293820216 component updates, 1469101080 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](293820216)
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399740243 loops (619292/sec), 1895074767 sampling steps, 103626456 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
296113787 component updates, 1480568935 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](296113787)
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402839444 loops (619840/sec), 1909767301 sampling steps, 104429927 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
298409517 component updates, 1492047585 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](298409517)
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405928480 loops (617807/sec), 1924412141 sampling steps, 105230267 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
300698213 component updates, 1503491065 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](300698213)
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409001321 loops (614568/sec), 1938979151 sampling steps, 106027462 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
302973859 component updates, 1514869295 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](302973859)
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412072768 loops (614289/sec), 1953540534 sampling steps, 106823314 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
305249454 component updates, 1526247270 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](305249454)
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415148155 loops (615077/sec), 1968119890 sampling steps, 107620893 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
307527262 component updates, 1537636310 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](307527262)
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418223568 loops (615082/sec), 1982699705 sampling steps, 108418143 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
309805425 component updates, 1549027125 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](309805425)
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
421302017 loops (615689/sec), 1997292106 sampling steps, 109217987 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
312084030 component updates, 1560420150 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](312084030)
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424383843 loops (616365/sec), 2011900610 sampling steps, 110018613 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
314365230 component updates, 1571826150 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](314365230)
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427461092 loops (615449/sec), 2026490047 sampling steps, 110815421 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
316645671 component updates, 1583228355 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](316645671)
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430541608 loops (616103/sec), 2041093269 sampling steps, 111614779 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
318926829 component updates, 1594634145 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](318926829)
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433623093 loops (616297/sec), 2055702770 sampling steps, 112412703 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
321210390 component updates, 1606051950 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](321210390)
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436696925 loops (614766/sec), 2070274339 sampling steps, 113210294 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
323486631 component updates, 1617433155 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](323486631)
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439776041 loops (615823/sec), 2084871345 sampling steps, 114008868 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
325767173 component updates, 1628835865 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](325767173)
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442854001 loops (615592/sec), 2099464768 sampling steps, 114805245 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
328048756 component updates, 1640243780 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](328048756)
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445926325 loops (614464/sec), 2114030754 sampling steps, 115600879 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
330325446 component updates, 1651627230 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](330325446)
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448995870 loops (613909/sec), 2128583017 sampling steps, 116396341 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
332599529 component updates, 1662997645 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](332599529)
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452078885 loops (616603/sec), 2143198202 sampling steps, 117196231 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
334882654 component updates, 1674413270 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](334882654)
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
455160589 loops (616340/sec), 2157808005 sampling steps, 117994948 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
337165641 component updates, 1685828205 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](337165641)
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458240128 loops (615907/sec), 2172408512 sampling steps, 118792136 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
339447992 component updates, 1697239960 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](339447992)
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461335974 loops (619169/sec), 2187085327 sampling steps, 119594551 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
341741423 component updates, 1708707115 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](341741423)
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464435040 loops (619813/sec), 2201776268 sampling steps, 120398940 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
344036100 component updates, 1720180500 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](344036100)
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467535203 loops (620032/sec), 2216473038 sampling steps, 121202985 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
346332218 component updates, 1731661090 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](346332218)
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470635455 loops (620050/sec), 2231169792 sampling steps, 122007491 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
348627964 component updates, 1743139820 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](348627964)
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473733997 loops (619708/sec), 2245860100 sampling steps, 122809893 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
350924104 component updates, 1754620520 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](350924104)
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
476834607 loops (620122/sec), 2260559130 sampling steps, 123613913 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
353220694 component updates, 1766103470 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](353220694)
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
479938155 loops (620709/sec), 2275273070 sampling steps, 124417713 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
355520442 component updates, 1777602210 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](355520442)
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483033900 loops (619149/sec), 2289949951 sampling steps, 125219557 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
357814343 component updates, 1789071715 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](357814343)
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486129541 loops (619128/sec), 2304626155 sampling steps, 126021558 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
360107983 component updates, 1800539915 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](360107983)
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489231741 loops (620440/sec), 2319332715 sampling steps, 126825998 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
362405743 component updates, 1812028715 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](362405743)
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492339896 loops (621631/sec), 2334067291 sampling steps, 127632197 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
364707699 component updates, 1823538495 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](364707699)
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
495445508 loops (621122/sec), 2348789960 sampling steps, 128437588 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
367007920 component updates, 1835039600 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](367007920)
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498564998 loops (623898/sec), 2363578151 sampling steps, 129246847 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
369318151 component updates, 1846590755 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](369318151)
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501695739 loops (626148/sec), 2378420218 sampling steps, 130058485 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
371637254 component updates, 1858186270 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](371637254)
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
504826266 loops (626105/sec), 2393261401 sampling steps, 130869937 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
373956329 component updates, 1869781645 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](373956329)
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
507954438 loops (625634/sec), 2408090878 sampling steps, 131681320 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
376273118 component updates, 1881365590 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](376273118)
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511084473 loops (626007/sec), 2422928782 sampling steps, 132493591 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
378590882 component updates, 1892954410 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](378590882)
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514217083 loops (626522/sec), 2437780301 sampling steps, 133305122 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
380911961 component updates, 1904559805 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](380911961)
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517352477 loops (627078/sec), 2452643665 sampling steps, 134118728 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
383233749 component updates, 1916168745 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](383233749)
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520480633 loops (625631/sec), 2467474726 sampling steps, 134928447 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
385552186 component updates, 1927760930 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](385552186)
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523579194 loops (619712/sec), 2482164480 sampling steps, 135731498 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
387847696 component updates, 1939238480 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](387847696)
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526678884 loops (619938/sec), 2496859310 sampling steps, 136535118 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
390143766 component updates, 1950718830 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](390143766)
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529777573 loops (619737/sec), 2511549436 sampling steps, 137338437 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
392439136 component updates, 1962195680 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](392439136)
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
532905497 loops (625584/sec), 2526377300 sampling steps, 138150193 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
394755304 component updates, 1973776520 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](394755304)
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536037161 loops (626332/sec), 2541223421 sampling steps, 138962392 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
397074769 component updates, 1985373845 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](397074769)
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539167838 loops (626135/sec), 2556065058 sampling steps, 139774140 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
399393698 component updates, 1996968490 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](399393698)
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
542297206 loops (625873/sec), 2570899775 sampling steps, 140586263 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
401710943 component updates, 2008554715 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](401710943)
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
545428593 loops (626277/sec), 2585745624 sampling steps, 141397349 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
404031244 component updates, 2020156220 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](404031244)
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548553724 loops (625026/sec), 2600560949 sampling steps, 142207679 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
406346045 component updates, 2031730225 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](406346045)
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
551679144 loops (625084/sec), 2615376735 sampling steps, 143018993 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
408660151 component updates, 2043300755 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](408660151)
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
554808751 loops (625921/sec), 2630212607 sampling steps, 143831156 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
410977595 component updates, 2054887975 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](410977595)
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
557934523 loops (625154/sec), 2645030554 sampling steps, 144642069 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
413292454 component updates, 2066462270 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](413292454)
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561053533 loops (623802/sec), 2659815820 sampling steps, 145451853 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
415601680 component updates, 2078008400 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](415601680)
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564183512 loops (625995/sec), 2674654524 sampling steps, 146263044 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
417920468 component updates, 2089602340 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](417920468)
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
567319595 loops (627216/sec), 2689521686 sampling steps, 147076297 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
420243298 component updates, 2101216490 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](420243298)
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
570454415 loops (626964/sec), 2704382431 sampling steps, 147889652 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
422564763 component updates, 2112823815 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](422564763)
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573586492 loops (626415/sec), 2719230659 sampling steps, 148701809 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
424884683 component updates, 2124423415 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](424884683)
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
576720452 loops (626792/sec), 2734087405 sampling steps, 149514863 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
427205589 component updates, 2136027945 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](427205589)
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
579848716 loops (625652/sec), 2748917485 sampling steps, 150326103 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
429522613 component updates, 2147613065 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](429522613)
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582980000 loops (626256/sec), 2763761161 sampling steps, 151138847 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
431841153 component updates, 2159205765 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](431841153)
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
586109155 loops (625831/sec), 2778596305 sampling steps, 151949478 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
434159677 component updates, 2170798385 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](434159677)
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
589244563 loops (627081/sec), 2793461272 sampling steps, 152761551 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
436483012 component updates, 2182415060 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](436483012)
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592376843 loops (626456/sec), 2808310263 sampling steps, 153573960 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
438802883 component updates, 2194014415 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](438802883)
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
595508693 loops (626370/sec), 2823158416 sampling steps, 154385057 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
441123636 component updates, 2205618180 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](441123636)
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
598630827 loops (624426/sec), 2837959863 sampling steps, 155194280 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
443436547 component updates, 2217182735 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](443436547)
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601759085 loops (625651/sec), 2852791223 sampling steps, 156004210 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
445754875 component updates, 2228774375 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](445754875)
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
604891418 loops (626466/sec), 2867641405 sampling steps, 156815693 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
448075725 component updates, 2240378625 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](448075725)
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
608010010 loops (623718/sec), 2882426131 sampling steps, 157623927 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
450386083 component updates, 2251930415 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](450386083)
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
611123074 loops (622612/sec), 2897185139 sampling steps, 158430239 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
452692835 component updates, 2263464175 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](452692835)
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
614243919 loops (624169/sec), 2911983012 sampling steps, 159236591 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
455007328 component updates, 2275036640 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](455007328)
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
617353998 loops (622015/sec), 2926727504 sampling steps, 160042494 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
457311504 component updates, 2286557520 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](457311504)
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
620465040 loops (622208/sec), 2941475067 sampling steps, 160850141 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
459614899 component updates, 2298074495 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](459614899)
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
623573037 loops (621599/sec), 2956209453 sampling steps, 161655740 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
461917297 component updates, 2309586485 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](461917297)
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
626687204 loops (622833/sec), 2970973119 sampling steps, 162462909 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
464224295 component updates, 2321121475 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](464224295)
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629800143 loops (622587/sec), 2985732067 sampling steps, 163268656 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
466531487 component updates, 2332657435 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](466531487)
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
632896098 loops (619191/sec), 3000408950 sampling steps, 164071548 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
468824550 component updates, 2344122750 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](468824550)
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
635988843 loops (618549/sec), 3015071574 sampling steps, 164872649 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
471116194 component updates, 2355580970 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](471116194)
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639089327 loops (620096/sec), 3029771297 sampling steps, 165675346 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
473413981 component updates, 2367069905 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](473413981)
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
642188085 loops (619751/sec), 3044461979 sampling steps, 166478454 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
475709631 component updates, 2378548155 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](475709631)
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
645292113 loops (620805/sec), 3059178493 sampling steps, 167282080 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
478010033 component updates, 2390050165 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](478010033)
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
648393827 loops (620342/sec), 3073882995 sampling steps, 168086148 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
480307679 component updates, 2401538395 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](480307679)
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
651513448 loops (623924/sec), 3088671768 sampling steps, 168895480 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
482617968 component updates, 2413089840 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](482617968)
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
654629047 loops (623119/sec), 3103441730 sampling steps, 169703513 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
484925534 component updates, 2424627670 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](484925534)
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
657754568 loops (625104/sec), 3118258722 sampling steps, 170514126 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
487240442 component updates, 2436202210 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](487240442)
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
660883753 loops (625837/sec), 3133092504 sampling steps, 171326269 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
489557484 component updates, 2447787420 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](489557484)
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
664013195 loops (625888/sec), 3147928164 sampling steps, 172137819 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
491875376 component updates, 2459376880 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](491875376)
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
667142525 loops (625866/sec), 3162763570 sampling steps, 172949063 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
494193462 component updates, 2470967310 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](494193462)
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
670270961 loops (625687/sec), 3177594602 sampling steps, 173760211 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
496510750 component updates, 2482553750 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](496510750)
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
673387689 loops (623345/sec), 3192369285 sampling steps, 174569168 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
498818521 component updates, 2494092605 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](498818521)
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
676513902 loops (625242/sec), 3207188291 sampling steps, 175381227 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
501132675 component updates, 2505663375 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](501132675)
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
679643461 loops (625911/sec), 3222025072 sampling steps, 176192241 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
503451220 component updates, 2517256100 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](503451220)
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
682777624 loops (626832/sec), 3236881784 sampling steps, 177006344 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
505771280 component updates, 2528856400 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](505771280)
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
685910649 loops (626605/sec), 3251734316 sampling steps, 177818937 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
508091712 component updates, 2540458560 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](508091712)
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
689042677 loops (626405/sec), 3266582739 sampling steps, 178630654 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
510412023 component updates, 2552060115 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](510412023)
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
692169848 loops (625434/sec), 3281407104 sampling steps, 179442144 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
512727704 component updates, 2563638520 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](512727704)
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
695280800 loops (622190/sec), 3296155294 sampling steps, 180248714 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
515032086 component updates, 2575160430 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](515032086)
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
698387105 loops (621261/sec), 3310881901 sampling steps, 181053632 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
517333473 component updates, 2586667365 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](517333473)
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
701493179 loops (621214/sec), 3325607210 sampling steps, 181858693 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
519634486 component updates, 2598172430 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](519634486)
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
704606434 loops (622651/sec), 3340366404 sampling steps, 182665774 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
521940660 component updates, 2609703300 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](521940660)
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
707705967 loops (619906/sec), 3355059942 sampling steps, 183469901 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
524236066 component updates, 2621180330 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](524236066)
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
710803297 loops (619466/sec), 3369743345 sampling steps, 184273148 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
526530149 component updates, 2632650745 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](526530149)
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
713909334 loops (621207/sec), 3384469363 sampling steps, 185077315 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
528832019 component updates, 2644160095 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](528832019)
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
717017884 loops (621710/sec), 3399205673 sampling steps, 185883755 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
531134129 component updates, 2655670645 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](531134129)
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720130260 loops (622475/sec), 3413961442 sampling steps, 186689866 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
533440394 component updates, 2667201970 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](533440394)
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
723243125 loops (622573/sec), 3428718294 sampling steps, 187497339 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
535745786 component updates, 2678728930 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](535745786)
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
726356965 loops (622768/sec), 3443481648 sampling steps, 188303185 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
538053780 component updates, 2690268900 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](538053780)
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
729465473 loops (621701/sec), 3458218140 sampling steps, 189109233 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
540356240 component updates, 2701781200 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](540356240)
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
732570605 loops (621026/sec), 3472938215 sampling steps, 189914818 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
542655787 component updates, 2713278935 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](542655787)
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
735683498 loops (622578/sec), 3487695702 sampling steps, 190721796 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
544961702 component updates, 2724808510 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](544961702)
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
738790486 loops (621397/sec), 3502425533 sampling steps, 191526905 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
547263581 component updates, 2736317905 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](547263581)
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
741900963 loops (622095/sec), 3517172588 sampling steps, 192332235 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
549568728 component updates, 2747843640 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](549568728)
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
745002466 loops (620300/sec), 3531875544 sampling steps, 193136794 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
551865672 component updates, 2759328360 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](551865672)
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
748094202 loops (618347/sec), 3546533633 sampling steps, 193937385 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
554156817 component updates, 2770784085 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](554156817)
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
751195362 loops (620232/sec), 3561236644 sampling steps, 194740174 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
556455188 component updates, 2782275940 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](556455188)
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
754307722 loops (622472/sec), 3575989505 sampling steps, 195549113 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
558758609 component updates, 2793793045 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](558758609)
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
757433555 loops (625166/sec), 3590808001 sampling steps, 196359782 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
561073773 component updates, 2805368865 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](561073773)
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760561004 loops (625489/sec), 3605634287 sampling steps, 197170741 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
563390263 component updates, 2816951315 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](563390263)
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
763690696 loops (625938/sec), 3620470876 sampling steps, 197982612 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
565708084 component updates, 2828540420 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](565708084)
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
766818050 loops (625470/sec), 3635295145 sampling steps, 198795113 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
568022937 component updates, 2840114685 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](568022937)
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
769944844 loops (625358/sec), 3650118506 sampling steps, 199605722 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
570339122 component updates, 2851695610 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](570339122)
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773069474 loops (624926/sec), 3664932204 sampling steps, 200415174 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
572654300 component updates, 2863271500 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](572654300)
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
776196834 loops (625472/sec), 3679759074 sampling steps, 201225104 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
574971730 component updates, 2874858650 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](574971730)
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
779325097 loops (625652/sec), 3694590978 sampling steps, 202034515 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
577290582 component updates, 2886452910 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](577290582)
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
782426169 loops (620214/sec), 3709292688 sampling steps, 202838165 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
579588004 component updates, 2897940020 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](579588004)
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
785519664 loops (618699/sec), 3723959032 sampling steps, 203639296 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
581880368 component updates, 2909401840 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](581880368)
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
788617373 loops (619541/sec), 3738643244 sampling steps, 204443629 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
584173744 component updates, 2920868720 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](584173744)
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
791711028 loops (618731/sec), 3753310117 sampling steps, 205245031 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
586465997 component updates, 2932329985 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](586465997)
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
794812981 loops (620390/sec), 3768014950 sampling steps, 206049963 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
588763018 component updates, 2943815090 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](588763018)
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
797910351 loops (619474/sec), 3782698841 sampling steps, 206852922 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
591057429 component updates, 2955287145 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](591057429)
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
801008864 loops (619702/sec), 3797388009 sampling steps, 207656319 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
593352545 component updates, 2966762725 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](593352545)
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
804110581 loops (620343/sec), 3812092099 sampling steps, 208460814 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
595649767 component updates, 2978248835 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](595649767)
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
807209691 loops (619822/sec), 3826785398 sampling steps, 209263065 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
597946626 component updates, 2989733130 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](597946626)
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
810282908 loops (614643/sec), 3841354357 sampling steps, 210060191 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
600222717 component updates, 3001113585 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](600222717)
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
813387074 loops (620833/sec), 3856069171 sampling steps, 210866207 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
602520867 component updates, 3012604335 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](602520867)
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
816474530 loops (617491/sec), 3870705848 sampling steps, 211666810 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
604807720 component updates, 3024038600 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](604807720)
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
819529987 loops (611091/sec), 3885191155 sampling steps, 212458788 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
607071199 component updates, 3035355995 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](607071199)
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
822598155 loops (613633/sec), 3899737323 sampling steps, 213253460 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
609344695 component updates, 3046723475 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](609344695)
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
825673706 loops (615110/sec), 3914317801 sampling steps, 214050737 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
611622969 component updates, 3058114845 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](611622969)
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
828749615 loops (615181/sec), 3928898979 sampling steps, 214849104 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
613900511 component updates, 3069502555 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](613900511)
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
831827785 loops (615634/sec), 3943492564 sampling steps, 215646369 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
616181416 component updates, 3080907080 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](616181416)
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
834906028 loops (615648/sec), 3958085327 sampling steps, 216444821 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
618461207 component updates, 3092306035 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](618461207)
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
837984289 loops (615652/sec), 3972678849 sampling steps, 217242604 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
620741685 component updates, 3103708425 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](620741685)
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
841065379 loops (616218/sec), 3987284795 sampling steps, 218042108 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
623023271 component updates, 3115116355 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](623023271)
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
844144083 loops (615740/sec), 4001878853 sampling steps, 218841570 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
625302513 component updates, 3126512565 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](625302513)
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
847221947 loops (615572/sec), 4016469982 sampling steps, 219639761 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
627582186 component updates, 3137910930 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](627582186)
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
850301861 loops (615982/sec), 4031070710 sampling steps, 220438603 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
629863258 component updates, 3149316290 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](629863258)
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853377483 loops (615124/sec), 4045652598 sampling steps, 221234825 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
632142658 component updates, 3160713290 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](632142658)
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
856451893 loops (614882/sec), 4060227456 sampling steps, 222032017 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
634419876 component updates, 3172099380 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](634419876)
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859523003 loops (614222/sec), 4074785855 sampling steps, 222829168 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
636693835 component updates, 3183469175 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](636693835)
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
862598328 loops (615065/sec), 4089365710 sampling steps, 223625938 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
638972390 component updates, 3194861950 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](638972390)
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865675716 loops (615477/sec), 4103954140 sampling steps, 224424448 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
641251268 component updates, 3206256340 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](641251268)
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
868752186 loops (615294/sec), 4118539143 sampling steps, 225221795 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
643530391 component updates, 3217651955 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](643530391)
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
871831727 loops (615908/sec), 4133138522 sampling steps, 226020121 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
645811606 component updates, 3229058030 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](645811606)
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
874910757 loops (615806/sec), 4147734465 sampling steps, 226819328 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
648091429 component updates, 3240457145 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](648091429)
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
877990146 loops (615877/sec), 4162333324 sampling steps, 227617414 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
650372732 component updates, 3251863660 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](650372732)
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
881068510 loops (615672/sec), 4176927226 sampling steps, 228415332 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
652653178 component updates, 3263265890 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](652653178)
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
884143370 loops (614972/sec), 4191504740 sampling steps, 229212118 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
654931252 component updates, 3274656260 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](654931252)
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
887221257 loops (615577/sec), 4206095486 sampling steps, 230010807 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
657210450 component updates, 3286052250 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](657210450)
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
890300892 loops (615927/sec), 4220694185 sampling steps, 230810283 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
659490609 component updates, 3297453045 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](659490609)
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
893375132 loops (614848/sec), 4235268629 sampling steps, 231607039 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
661768093 component updates, 3308840465 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](661768093)
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
896445474 loops (614068/sec), 4249824976 sampling steps, 232402402 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
664043072 component updates, 3320215360 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](664043072)
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
899520317 loops (614968/sec), 4264402827 sampling steps, 233198766 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
666321551 component updates, 3331607755 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](666321551)
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
902597521 loops (615440/sec), 4278990499 sampling steps, 233997114 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
668600407 component updates, 3343002035 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](668600407)
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
905673508 loops (615197/sec), 4293573209 sampling steps, 234794339 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
670879169 component updates, 3354395845 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](670879169)
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
908748116 loops (614921/sec), 4308150417 sampling steps, 235590171 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
673157945 component updates, 3365789725 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](673157945)
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
911824483 loops (615273/sec), 4322735539 sampling steps, 236386884 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
675437599 component updates, 3377187995 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](675437599)
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
914900924 loops (615288/sec), 4337319983 sampling steps, 237184645 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
677716279 component updates, 3388581395 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](677716279)
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
917979813 loops (615777/sec), 4351915820 sampling steps, 237983253 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
679996560 component updates, 3399982800 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](679996560)
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
921054273 loops (614892/sec), 4366491123 sampling steps, 238780250 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
682274023 component updates, 3411370115 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](682274023)
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
924130319 loops (615209/sec), 4381072393 sampling steps, 239579210 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
684551109 component updates, 3422755545 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](684551109)
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
927209960 loops (615928/sec), 4395671107 sampling steps, 240378701 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
686831259 component updates, 3434156295 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](686831259)
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
930284083 loops (614824/sec), 4410243963 sampling steps, 241176460 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
689107623 component updates, 3445538115 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](689107623)
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
933353414 loops (613866/sec), 4424794932 sampling steps, 241972146 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
691381268 component updates, 3456906340 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](691381268)
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
936427022 loops (614721/sec), 4439366185 sampling steps, 242768933 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
693658089 component updates, 3468290445 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](693658089)
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
939502179 loops (615031/sec), 4453943944 sampling steps, 243566959 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
695935220 component updates, 3479676100 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](695935220)
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
942576983 loops (614960/sec), 4468520833 sampling steps, 244364090 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
698212893 component updates, 3491064465 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](698212893)
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
945652713 loops (615146/sec), 4483102037 sampling steps, 245161536 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
700491177 component updates, 3502455885 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](700491177)
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
948728244 loops (615106/sec), 4497682782 sampling steps, 245958446 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
702769798 component updates, 3513848990 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](702769798)
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
951818759 loops (618103/sec), 4512333029 sampling steps, 246760774 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
705057985 component updates, 3525289925 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](705057985)
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
954906797 loops (617607/sec), 4526973244 sampling steps, 247560749 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
707346048 component updates, 3536730240 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](707346048)
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
957993595 loops (617359/sec), 4541607827 sampling steps, 248360156 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
709633439 component updates, 3548167195 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](709633439)
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
961075789 loops (616438/sec), 4556218621 sampling steps, 249160332 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
711915457 component updates, 3559577285 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](711915457)
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
964154625 loops (615767/sec), 4570815224 sampling steps, 249957909 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
714196716 component updates, 3570983580 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](714196716)
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
967235806 loops (616236/sec), 4585424972 sampling steps, 250754066 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
716481740 component updates, 3582408700 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](716481740)
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
970327243 loops (618287/sec), 4600080814 sampling steps, 251555409 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
718771834 component updates, 3593859170 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](718771834)
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
973426595 loops (619870/sec), 4614773977 sampling steps, 252359006 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
721067589 component updates, 3605337945 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](721067589)
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
976529239 loops (620528/sec), 4629481856 sampling steps, 253164347 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
723364892 component updates, 3616824460 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](723364892)
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
979629580 loops (620068/sec), 4644180786 sampling steps, 253967122 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
725662458 component updates, 3628312290 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](725662458)
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
982735643 loops (621212/sec), 4658904346 sampling steps, 254773877 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
727961766 component updates, 3639808830 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](727961766)
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
985847791 loops (622429/sec), 4673657553 sampling steps, 255581410 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
730266381 component updates, 3651331905 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](730266381)
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
988960465 loops (622534/sec), 4688413275 sampling steps, 256389058 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
732571407 component updates, 3662857035 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](732571407)
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
992076629 loops (623232/sec), 4703186798 sampling steps, 257196355 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
734880274 component updates, 3674401370 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](734880274)
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
995192104 loops (623095/sec), 4717957484 sampling steps, 258003044 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
737189060 component updates, 3685945300 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](737189060)
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
998309084 loops (623396/sec), 4732733503 sampling steps, 258811925 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
739497159 component updates, 3697485795 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](739497159)
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1001423174 loops (622818/sec), 4747496484 sampling steps, 259619394 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
741803780 component updates, 3709018900 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](741803780)
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1004536079 loops (622581/sec), 4762254249 sampling steps, 260426154 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
744109925 component updates, 3720549625 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](744109925)
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1007638708 loops (620525/sec), 4776963160 sampling steps, 261230388 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
746408320 component updates, 3732041600 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](746408320)
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1010744260 loops (621110/sec), 4791686253 sampling steps, 262035055 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
748709205 component updates, 3743546025 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](748709205)
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1013857213 loops (622590/sec), 4806443350 sampling steps, 262842723 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
751014490 component updates, 3755072450 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](751014490)
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1016966342 loops (621825/sec), 4821181852 sampling steps, 263649866 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
753316476 component updates, 3766582380 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](753316476)
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1020073212 loops (621374/sec), 4835912126 sampling steps, 264453942 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
755619270 component updates, 3778096350 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](755619270)
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1023181634 loops (621684/sec), 4850647585 sampling steps, 265260593 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
757921041 component updates, 3789605205 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](757921041)
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1026298349 loops (623343/sec), 4865423589 sampling steps, 266068164 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
760230185 component updates, 3801150925 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](760230185)
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1029408722 loops (622074/sec), 4880169574 sampling steps, 266874044 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
762534678 component updates, 3812673390 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](762534678)
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1032511517 loops (620559/sec), 4894880037 sampling steps, 267677556 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
764833961 component updates, 3824169805 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](764833961)
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1035619482 loops (621593/sec), 4909613885 sampling steps, 268483533 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
767135949 component updates, 3835679745 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](767135949)
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1038725493 loops (621202/sec), 4924339077 sampling steps, 269288396 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
769437097 component updates, 3847185485 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](769437097)
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1041830228 loops (620947/sec), 4939058401 sampling steps, 270092747 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
771737481 component updates, 3858687405 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](771737481)
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1044928586 loops (619671/sec), 4953746013 sampling steps, 270896925 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
774031661 component updates, 3870158305 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](774031661)
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1048032179 loops (620718/sec), 4968459844 sampling steps, 271701059 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
776331120 component updates, 3881655600 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](776331120)
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1051131680 loops (619900/sec), 4983154600 sampling steps, 272503808 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
778627872 component updates, 3893139360 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](778627872)
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1054230982 loops (619860/sec), 4997848018 sampling steps, 273306900 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
780924082 component updates, 3904620410 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](780924082)
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1057329652 loops (619734/sec), 5012538888 sampling steps, 274109380 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
783220272 component updates, 3916101360 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](783220272)
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1060428563 loops (619782/sec), 5027229674 sampling steps, 274913149 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
785515414 component updates, 3927577070 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](785515414)
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1063529780 loops (620243/sec), 5041932583 sampling steps, 275716325 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
787813455 component updates, 3939067275 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](787813455)
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1066632022 loops (620448/sec), 5056639398 sampling steps, 276520720 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
790111302 component updates, 3950556510 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](790111302)
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1069730400 loops (619675/sec), 5071326621 sampling steps, 277325387 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
792405013 component updates, 3962025065 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](792405013)
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1072831510 loops (620222/sec), 5086027687 sampling steps, 278129871 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
794701639 component updates, 3973508195 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](794701639)
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1075934146 loops (620527/sec), 5100737173 sampling steps, 278933565 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
797000581 component updates, 3985002905 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](797000581)
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1079032374 loops (619645/sec), 5115425605 sampling steps, 279736273 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
799296101 component updates, 3996480505 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](799296101)
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1082148724 loops (623270/sec), 5130200652 sampling steps, 280542976 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
801605748 component updates, 4008028740 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](801605748)
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1085279324 loops (626120/sec), 5145041896 sampling steps, 281354732 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
803924592 component updates, 4019622960 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](803924592)
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1088413513 loops (626837/sec), 5159900517 sampling steps, 282167056 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
806246457 component updates, 4031232285 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](806246457)
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1091544299 loops (626157/sec), 5174742752 sampling steps, 282978751 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
808565548 component updates, 4042827740 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](808565548)
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1094674947 loops (626129/sec), 5189584027 sampling steps, 283790716 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
810884231 component updates, 4054421155 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](810884231)
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1097809843 loops (626979/sec), 5204446258 sampling steps, 284602965 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
813206878 component updates, 4066034390 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](813206878)
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1100946123 loops (627256/sec), 5219314397 sampling steps, 285416226 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
815529897 component updates, 4077649485 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](815529897)
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1104082899 loops (627355/sec), 5234185515 sampling steps, 286228988 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
817853911 component updates, 4089269555 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](817853911)
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1107217488 loops (626917/sec), 5249044958 sampling steps, 287042490 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
820174998 component updates, 4100874990 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](820174998)
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1110357429 loops (627988/sec), 5263931056 sampling steps, 287856097 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
274 explored states, 1 states in BSSCs (1 absorbing)
822501332 component updates, 4112506660 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](822501332)
----------
Computation aborted after 1800.005665063858 seconds since the total time limit of 1800.0 seconds was exceeded.