Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:58 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/brp/brp.prism --const N=2048,MAX=4 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:02 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5961 loops (1191/sec), 42410495 sampling steps, 23 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
56409 explored states, 1 states in BSSCs (1 absorbing)
472 component updates, 4872766 transient state updates
Bounds: [3.6095e-14+1.00000e+00]@[0.00000](472)
Sep 13, 2024 10:47:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7662 loops (340/sec), 63314233 sampling steps, 80 aborted
loop condition 0.99985, exit probability 0.99984 in initial state
60942 explored states, 1 states in BSSCs (1 absorbing)
2013 component updates, 24068704 transient state updates
Bounds: [0.00015091+9.99849e-01]@[0.00000](2013)
Sep 13, 2024 10:47:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9313 loops (330/sec), 83798733 sampling steps, 121 aborted
loop condition 0.95141, exit probability 0.95090 in initial state
63365 explored states, 1 states in BSSCs (1 absorbing)
3593 component updates, 43750964 transient state updates
Bounds: [0.048587+9.51413e-01]@[0.00000](3593)
Sep 13, 2024 10:47:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10980 loops (333/sec), 104535908 sampling steps, 163 aborted
loop condition 0.77083, exit probability 0.77018 in initial state
64880 explored states, 1 states in BSSCs (1 absorbing)
5207 component updates, 63856342 transient state updates
Bounds: [0.22917+7.70829e-01]@[0.00000](5207)
Sep 13, 2024 10:47:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12653 loops (334/sec), 125345548 sampling steps, 214 aborted
loop condition 0.64180, exit probability 0.64119 in initial state
66063 explored states, 1 states in BSSCs (1 absorbing)
6817 component updates, 83911328 transient state updates
Bounds: [0.35820+6.41805e-01]@[0.00000](6817)
Sep 13, 2024 10:47:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14322 loops (333/sec), 146133467 sampling steps, 266 aborted
loop condition 0.53482, exit probability 0.53412 in initial state
66845 explored states, 1 states in BSSCs (1 absorbing)
8431 component updates, 104018058 transient state updates
Bounds: [0.46518+5.34823e-01]@[0.00000](8431)
Sep 13, 2024 10:47:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15994 loops (334/sec), 166956080 sampling steps, 326 aborted
loop condition 0.44499, exit probability 0.44423 in initial state
67604 explored states, 1 states in BSSCs (1 absorbing)
10040 component updates, 124062410 transient state updates
Bounds: [0.55501+4.44985e-01]@[0.00000](10040)
Sep 13, 2024 10:47:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17670 loops (335/sec), 187832008 sampling steps, 390 aborted
loop condition 0.37395, exit probability 0.37319 in initial state
68145 explored states, 1 states in BSSCs (1 absorbing)
11651 component updates, 144129912 transient state updates
Bounds: [0.62605+3.73951e-01]@[0.00000](11651)
Sep 13, 2024 10:47:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19321 loops (330/sec), 208396352 sampling steps, 427 aborted
loop condition 0.31586, exit probability 0.31509 in initial state
68766 explored states, 1 states in BSSCs (1 absorbing)
13263 component updates, 164210818 transient state updates
Bounds: [0.68414+3.15861e-01]@[0.00000](13263)
Sep 13, 2024 10:47:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20992 loops (334/sec), 229210455 sampling steps, 479 aborted
loop condition 0.26558, exit probability 0.26486 in initial state
69316 explored states, 1 states in BSSCs (1 absorbing)
14881 component updates, 184365854 transient state updates
Bounds: [0.73442+2.65583e-01]@[0.00000](14881)
Sep 13, 2024 10:47:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22644 loops (330/sec), 249787734 sampling steps, 531 aborted
loop condition 0.22485, exit probability 0.22420 in initial state
69838 explored states, 1 states in BSSCs (1 absorbing)
16479 component updates, 204272726 transient state updates
Bounds: [0.77515+2.24851e-01]@[0.00000](16479)
Sep 13, 2024 10:47:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24312 loops (333/sec), 270562038 sampling steps, 578 aborted
loop condition 0.19396, exit probability 0.19338 in initial state
70338 explored states, 1 states in BSSCs (1 absorbing)
18098 component updates, 224440420 transient state updates
Bounds: [0.80604+1.93963e-01]@[0.00000](18098)
Sep 13, 2024 10:48:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25978 loops (333/sec), 291315796 sampling steps, 627 aborted
loop condition 0.16821, exit probability 0.16767 in initial state
70781 explored states, 1 states in BSSCs (1 absorbing)
19714 component updates, 244571510 transient state updates
Bounds: [0.83179+1.68205e-01]@[0.00000](19714)
Sep 13, 2024 10:48:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27643 loops (333/sec), 312055436 sampling steps, 671 aborted
loop condition 0.14906, exit probability 0.14856 in initial state
71162 explored states, 1 states in BSSCs (1 absorbing)
21335 component updates, 264763070 transient state updates
Bounds: [0.85094+1.49056e-01]@[0.00000](21335)
Sep 13, 2024 10:48:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29311 loops (333/sec), 332835210 sampling steps, 719 aborted
loop condition 0.13314, exit probability 0.13267 in initial state
71622 explored states, 1 states in BSSCs (1 absorbing)
22954 component updates, 284932932 transient state updates
Bounds: [0.86686+1.33136e-01]@[0.00000](22954)
Sep 13, 2024 10:48:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30991 loops (335/sec), 353753207 sampling steps, 778 aborted
loop condition 0.11963, exit probability 0.11920 in initial state
72065 explored states, 1 states in BSSCs (1 absorbing)
24573 component updates, 305102144 transient state updates
Bounds: [0.88037+1.19631e-01]@[0.00000](24573)
Sep 13, 2024 10:48:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32662 loops (334/sec), 374544540 sampling steps, 816 aborted
loop condition 0.10915, exit probability 0.10876 in initial state
72546 explored states, 1 states in BSSCs (1 absorbing)
26199 component updates, 325357776 transient state updates
Bounds: [0.89085+1.09150e-01]@[0.00000](26199)
Sep 13, 2024 10:48:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34330 loops (333/sec), 395298120 sampling steps, 862 aborted
loop condition 0.10126, exit probability 0.10096 in initial state
73062 explored states, 1 states in BSSCs (1 absorbing)
27816 component updates, 345501574 transient state updates
Bounds: [0.89874+1.01262e-01]@[0.00000](27816)
Sep 13, 2024 10:48:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36000 loops (334/sec), 416099240 sampling steps, 906 aborted
loop condition 0.095116, exit probability 0.094887 in initial state
73441 explored states, 1 states in BSSCs (1 absorbing)
29441 component updates, 365744538 transient state updates
Bounds: [0.90488+9.51160e-02]@[0.00000](29441)
Sep 13, 2024 10:48:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37656 loops (331/sec), 436728184 sampling steps, 954 aborted
loop condition 0.090257, exit probability 0.090073 in initial state
73842 explored states, 1 states in BSSCs (1 absorbing)
31049 component updates, 385775386 transient state updates
Bounds: [0.90974+9.02571e-02]@[0.00000](31049)
Sep 13, 2024 10:48:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39323 loops (333/sec), 457479845 sampling steps, 995 aborted
loop condition 0.085717, exit probability 0.085573 in initial state
74267 explored states, 1 states in BSSCs (1 absorbing)
32673 component updates, 406007066 transient state updates
Bounds: [0.91428+8.57170e-02]@[0.00000](32673)
Sep 13, 2024 10:48:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40997 loops (334/sec), 478318112 sampling steps, 1049 aborted
loop condition 0.082121, exit probability 0.082007 in initial state
74615 explored states, 1 states in BSSCs (1 absorbing)
34289 component updates, 426138646 transient state updates
Bounds: [0.91788+8.21207e-02]@[0.00000](34289)
Sep 13, 2024 10:48:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42665 loops (333/sec), 499090854 sampling steps, 1097 aborted
loop condition 0.079551, exit probability 0.079459 in initial state
74966 explored states, 1 states in BSSCs (1 absorbing)
35908 component updates, 446307204 transient state updates
Bounds: [0.92045+7.95513e-02]@[0.00000](35908)
Sep 13, 2024 10:48:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44332 loops (333/sec), 519844451 sampling steps, 1141 aborted
loop condition 0.077496, exit probability 0.077420 in initial state
75371 explored states, 1 states in BSSCs (1 absorbing)
37527 component updates, 466475936 transient state updates
Bounds: [0.92250+7.74961e-02]@[0.00000](37527)
Sep 13, 2024 10:49:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45996 loops (332/sec), 540559742 sampling steps, 1183 aborted
loop condition 0.075868, exit probability 0.075806 in initial state
75681 explored states, 1 states in BSSCs (1 absorbing)
39147 component updates, 486657314 transient state updates
Bounds: [0.92413+7.58678e-02]@[0.00000](39147)
Sep 13, 2024 10:49:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47653 loops (331/sec), 561200994 sampling steps, 1231 aborted
loop condition 0.074367, exit probability 0.074317 in initial state
76018 explored states, 1 states in BSSCs (1 absorbing)
40756 component updates, 506700402 transient state updates
Bounds: [0.92563+7.43675e-02]@[0.00000](40756)
Sep 13, 2024 10:49:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49304 loops (330/sec), 581768096 sampling steps, 1280 aborted
loop condition 0.073049, exit probability 0.073007 in initial state
76272 explored states, 1 states in BSSCs (1 absorbing)
42358 component updates, 526656950 transient state updates
Bounds: [0.92695+7.30488e-02]@[0.00000](42358)
Sep 13, 2024 10:49:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50952 loops (329/sec), 602294948 sampling steps, 1323 aborted
loop condition 0.071867, exit probability 0.071834 in initial state
76615 explored states, 1 states in BSSCs (1 absorbing)
43962 component updates, 546638736 transient state updates
Bounds: [0.92813+7.18673e-02]@[0.00000](43962)
Sep 13, 2024 10:49:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52621 loops (333/sec), 623084986 sampling steps, 1370 aborted
loop condition 0.070893, exit probability 0.070865 in initial state
76947 explored states, 1 states in BSSCs (1 absorbing)
45584 component updates, 566843242 transient state updates
Bounds: [0.92911+7.08931e-02]@[0.00000](45584)
Sep 13, 2024 10:49:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54298 loops (335/sec), 643954757 sampling steps, 1416 aborted
loop condition 0.069986, exit probability 0.069963 in initial state
77248 explored states, 1 states in BSSCs (1 absorbing)
47212 component updates, 587124216 transient state updates
Bounds: [0.93001+6.99865e-02]@[0.00000](47212)
Sep 13, 2024 10:49:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55968 loops (333/sec), 664758555 sampling steps, 1470 aborted
loop condition 0.069241, exit probability 0.069221 in initial state
77547 explored states, 1 states in BSSCs (1 absorbing)
48828 component updates, 607255430 transient state updates
Bounds: [0.93076+6.92411e-02]@[0.00000](48828)
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57627 loops (331/sec), 685423995 sampling steps, 1510 aborted
loop condition 0.068361, exit probability 0.068343 in initial state
77790 explored states, 1 states in BSSCs (1 absorbing)
50447 component updates, 627422310 transient state updates
Bounds: [0.93164+6.83610e-02]@[0.00000](50447)
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59292 loops (333/sec), 706163226 sampling steps, 1559 aborted
loop condition 0.067763, exit probability 0.067747 in initial state
78066 explored states, 1 states in BSSCs (1 absorbing)
52062 component updates, 647540650 transient state updates
Bounds: [0.93224+6.77631e-02]@[0.00000](52062)
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60965 loops (334/sec), 727005110 sampling steps, 1608 aborted
loop condition 0.067075, exit probability 0.067061 in initial state
78290 explored states, 1 states in BSSCs (1 absorbing)
53686 component updates, 667771764 transient state updates
Bounds: [0.93292+6.70754e-02]@[0.00000](53686)
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62632 loops (333/sec), 747772094 sampling steps, 1659 aborted
loop condition 0.066554, exit probability 0.066541 in initial state
78502 explored states, 1 states in BSSCs (1 absorbing)
55302 component updates, 687903236 transient state updates
Bounds: [0.93345+6.65538e-02]@[0.00000](55302)
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64297 loops (332/sec), 768513234 sampling steps, 1704 aborted
loop condition 0.066044, exit probability 0.066031 in initial state
78741 explored states, 1 states in BSSCs (1 absorbing)
56922 component updates, 708083530 transient state updates
Bounds: [0.93396+6.60439e-02]@[0.00000](56922)
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65966 loops (333/sec), 789292605 sampling steps, 1765 aborted
loop condition 0.065575, exit probability 0.065563 in initial state
79068 explored states, 1 states in BSSCs (1 absorbing)
58528 component updates, 728089988 transient state updates
Bounds: [0.93443+6.55746e-02]@[0.00000](58528)
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67641 loops (335/sec), 810149793 sampling steps, 1818 aborted
loop condition 0.065112, exit probability 0.065100 in initial state
79350 explored states, 1 states in BSSCs (1 absorbing)
60149 component updates, 748283158 transient state updates
Bounds: [0.93489+6.51117e-02]@[0.00000](60149)
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69307 loops (333/sec), 830903569 sampling steps, 1859 aborted
loop condition 0.064666, exit probability 0.064654 in initial state
79604 explored states, 1 states in BSSCs (1 absorbing)
61774 component updates, 768526048 transient state updates
Bounds: [0.93533+6.46657e-02]@[0.00000](61774)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70986 loops (335/sec), 851818345 sampling steps, 1909 aborted
loop condition 0.064191, exit probability 0.064180 in initial state
79817 explored states, 1 states in BSSCs (1 absorbing)
63403 component updates, 788817862 transient state updates
Bounds: [0.93581+6.41914e-02]@[0.00000](63403)
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72670 loops (336/sec), 872796475 sampling steps, 1966 aborted
loop condition 0.063720, exit probability 0.063709 in initial state
80065 explored states, 1 states in BSSCs (1 absorbing)
65030 component updates, 809085780 transient state updates
Bounds: [0.93628+6.37203e-02]@[0.00000](65030)
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74350 loops (336/sec), 893724717 sampling steps, 2021 aborted
loop condition 0.063289, exit probability 0.063278 in initial state
80235 explored states, 1 states in BSSCs (1 absorbing)
66655 component updates, 829328574 transient state updates
Bounds: [0.93671+6.32888e-02]@[0.00000](66655)
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76015 loops (332/sec), 914464909 sampling steps, 2065 aborted
loop condition 0.062867, exit probability 0.062856 in initial state
80459 explored states, 1 states in BSSCs (1 absorbing)
68276 component updates, 849520748 transient state updates
Bounds: [0.93713+6.28666e-02]@[0.00000](68276)
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77690 loops (334/sec), 935331959 sampling steps, 2115 aborted
loop condition 0.062426, exit probability 0.062416 in initial state
80671 explored states, 1 states in BSSCs (1 absorbing)
69901 component updates, 869764520 transient state updates
Bounds: [0.93757+6.24262e-02]@[0.00000](69901)
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79353 loops (332/sec), 956048315 sampling steps, 2159 aborted
loop condition 0.061985, exit probability 0.061975 in initial state
80886 explored states, 1 states in BSSCs (1 absorbing)
71520 component updates, 889932550 transient state updates
Bounds: [0.93801+6.19851e-02]@[0.00000](71520)
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81030 loops (335/sec), 976937039 sampling steps, 2215 aborted
loop condition 0.061571, exit probability 0.061561 in initial state
81151 explored states, 1 states in BSSCs (1 absorbing)
73141 component updates, 910123518 transient state updates
Bounds: [0.93843+6.15710e-02]@[0.00000](73141)
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82707 loops (335/sec), 997829189 sampling steps, 2267 aborted
loop condition 0.061120, exit probability 0.061110 in initial state
81331 explored states, 1 states in BSSCs (1 absorbing)
74766 component updates, 930367762 transient state updates
Bounds: [0.93888+6.11201e-02]@[0.00000](74766)
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84383 loops (335/sec), 1018706913 sampling steps, 2315 aborted
loop condition 0.060737, exit probability 0.060726 in initial state
81511 explored states, 1 states in BSSCs (1 absorbing)
76394 component updates, 950647444 transient state updates
Bounds: [0.93926+6.07366e-02]@[0.00000](76394)
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86056 loops (334/sec), 1039548893 sampling steps, 2365 aborted
loop condition 0.060362, exit probability 0.060352 in initial state
81714 explored states, 1 states in BSSCs (1 absorbing)
78017 component updates, 970866114 transient state updates
Bounds: [0.93964+6.03623e-02]@[0.00000](78017)
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87723 loops (333/sec), 1060315279 sampling steps, 2410 aborted
loop condition 0.059943, exit probability 0.059933 in initial state
81864 explored states, 1 states in BSSCs (1 absorbing)
79639 component updates, 991071676 transient state updates
Bounds: [0.94006+5.99433e-02]@[0.00000](79639)
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89385 loops (332/sec), 1081018439 sampling steps, 2464 aborted
loop condition 0.059584, exit probability 0.059574 in initial state
82025 explored states, 1 states in BSSCs (1 absorbing)
81247 component updates, 1011102148 transient state updates
Bounds: [0.94042+5.95838e-02]@[0.00000](81247)
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91055 loops (333/sec), 1101820703 sampling steps, 2513 aborted
loop condition 0.059197, exit probability 0.059187 in initial state
82186 explored states, 1 states in BSSCs (1 absorbing)
82868 component updates, 1031294088 transient state updates
Bounds: [0.94080+5.91970e-02]@[0.00000](82868)
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92715 loops (331/sec), 1122499801 sampling steps, 2558 aborted
loop condition 0.058814, exit probability 0.058804 in initial state
82357 explored states, 1 states in BSSCs (1 absorbing)
84483 component updates, 1051412680 transient state updates
Bounds: [0.94119+5.88142e-02]@[0.00000](84483)
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94365 loops (329/sec), 1143048220 sampling steps, 2606 aborted
loop condition 0.058500, exit probability 0.058490 in initial state
82541 explored states, 1 states in BSSCs (1 absorbing)
86084 component updates, 1071355958 transient state updates
Bounds: [0.94150+5.84996e-02]@[0.00000](86084)
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96027 loops (332/sec), 1163751586 sampling steps, 2656 aborted
loop condition 0.058151, exit probability 0.058141 in initial state
82722 explored states, 1 states in BSSCs (1 absorbing)
87696 component updates, 1091436366 transient state updates
Bounds: [0.94185+5.81508e-02]@[0.00000](87696)
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97682 loops (331/sec), 1184367946 sampling steps, 2701 aborted
loop condition 0.057767, exit probability 0.057758 in initial state
82896 explored states, 1 states in BSSCs (1 absorbing)
89306 component updates, 1111492150 transient state updates
Bounds: [0.94223+5.77675e-02]@[0.00000](89306)
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99339 loops (331/sec), 1205009588 sampling steps, 2743 aborted
loop condition 0.057452, exit probability 0.057442 in initial state
83011 explored states, 1 states in BSSCs (1 absorbing)
90921 component updates, 1131610528 transient state updates
Bounds: [0.94255+5.74523e-02]@[0.00000](90921)
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101008 loops (333/sec), 1225794236 sampling steps, 2802 aborted
loop condition 0.057084, exit probability 0.057074 in initial state
83197 explored states, 1 states in BSSCs (1 absorbing)
92530 component updates, 1151655044 transient state updates
Bounds: [0.94292+5.70836e-02]@[0.00000](92530)
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102677 loops (333/sec), 1246584254 sampling steps, 2855 aborted
loop condition 0.056771, exit probability 0.056761 in initial state
83323 explored states, 1 states in BSSCs (1 absorbing)
94146 component updates, 1171784492 transient state updates
Bounds: [0.94323+5.67711e-02]@[0.00000](94146)
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104346 loops (333/sec), 1267378034 sampling steps, 2904 aborted
loop condition 0.056411, exit probability 0.056401 in initial state
83526 explored states, 1 states in BSSCs (1 absorbing)
95766 component updates, 1191967400 transient state updates
Bounds: [0.94359+5.64111e-02]@[0.00000](95766)
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105976 loops (325/sec), 1287682774 sampling steps, 2957 aborted
loop condition 0.056111, exit probability 0.056102 in initial state
83627 explored states, 1 states in BSSCs (1 absorbing)
97343 component updates, 1211611732 transient state updates
Bounds: [0.94389+5.61113e-02]@[0.00000](97343)
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107629 loops (330/sec), 1308275502 sampling steps, 3005 aborted
loop condition 0.055783, exit probability 0.055773 in initial state
83754 explored states, 1 states in BSSCs (1 absorbing)
98948 component updates, 1231606418 transient state updates
Bounds: [0.94422+5.57827e-02]@[0.00000](98948)
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109267 loops (327/sec), 1328681160 sampling steps, 3054 aborted
loop condition 0.055491, exit probability 0.055481 in initial state
83887 explored states, 1 states in BSSCs (1 absorbing)
100537 component updates, 1251401624 transient state updates
Bounds: [0.94451+5.54909e-02]@[0.00000](100537)
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110929 loops (332/sec), 1349384018 sampling steps, 3102 aborted
loop condition 0.055137, exit probability 0.055128 in initial state
84076 explored states, 1 states in BSSCs (1 absorbing)
102151 component updates, 1271506460 transient state updates
Bounds: [0.94486+5.51371e-02]@[0.00000](102151)
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112592 loops (332/sec), 1370101718 sampling steps, 3154 aborted
loop condition 0.054774, exit probability 0.054764 in initial state
84243 explored states, 1 states in BSSCs (1 absorbing)
103762 component updates, 1291576120 transient state updates
Bounds: [0.94523+5.47736e-02]@[0.00000](103762)
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114260 loops (333/sec), 1390881006 sampling steps, 3201 aborted
loop condition 0.054388, exit probability 0.054378 in initial state
84377 explored states, 1 states in BSSCs (1 absorbing)
105383 component updates, 1311770072 transient state updates
Bounds: [0.94561+5.43877e-02]@[0.00000](105383)
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115929 loops (333/sec), 1411665319 sampling steps, 3248 aborted
loop condition 0.054046, exit probability 0.054036 in initial state
84515 explored states, 1 states in BSSCs (1 absorbing)
107004 component updates, 1331963216 transient state updates
Bounds: [0.94595+5.40459e-02]@[0.00000](107004)
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117593 loops (332/sec), 1432386261 sampling steps, 3292 aborted
loop condition 0.053688, exit probability 0.053678 in initial state
84637 explored states, 1 states in BSSCs (1 absorbing)
108624 component updates, 1352143106 transient state updates
Bounds: [0.94631+5.36876e-02]@[0.00000](108624)
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119246 loops (330/sec), 1452977819 sampling steps, 3332 aborted
loop condition 0.053358, exit probability 0.053349 in initial state
84750 explored states, 1 states in BSSCs (1 absorbing)
110237 component updates, 1372236380 transient state updates
Bounds: [0.94664+5.33582e-02]@[0.00000](110237)
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120902 loops (331/sec), 1473606583 sampling steps, 3383 aborted
loop condition 0.053046, exit probability 0.053037 in initial state
84893 explored states, 1 states in BSSCs (1 absorbing)
111841 component updates, 1392218918 transient state updates
Bounds: [0.94695+5.30463e-02]@[0.00000](111841)
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122546 loops (328/sec), 1494085585 sampling steps, 3428 aborted
loop condition 0.052725, exit probability 0.052716 in initial state
85018 explored states, 1 states in BSSCs (1 absorbing)
113440 component updates, 1412137148 transient state updates
Bounds: [0.94727+5.27252e-02]@[0.00000](113440)
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124209 loops (332/sec), 1514792751 sampling steps, 3489 aborted
loop condition 0.052399, exit probability 0.052390 in initial state
85150 explored states, 1 states in BSSCs (1 absorbing)
115042 component updates, 1432094272 transient state updates
Bounds: [0.94760+5.23994e-02]@[0.00000](115042)
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125850 loops (328/sec), 1535223238 sampling steps, 3533 aborted
loop condition 0.052122, exit probability 0.052112 in initial state
85246 explored states, 1 states in BSSCs (1 absorbing)
116638 component updates, 1451975620 transient state updates
Bounds: [0.94788+5.21217e-02]@[0.00000](116638)
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127479 loops (325/sec), 1555516592 sampling steps, 3567 aborted
loop condition 0.051845, exit probability 0.051836 in initial state
85363 explored states, 1 states in BSSCs (1 absorbing)
118233 component updates, 1471845334 transient state updates
Bounds: [0.94816+5.18449e-02]@[0.00000](118233)
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129113 loops (326/sec), 1575871994 sampling steps, 3614 aborted
loop condition 0.051566, exit probability 0.051556 in initial state
85467 explored states, 1 states in BSSCs (1 absorbing)
119820 component updates, 1491615106 transient state updates
Bounds: [0.94843+5.15655e-02]@[0.00000](119820)
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130758 loops (328/sec), 1596364356 sampling steps, 3668 aborted
loop condition 0.051347, exit probability 0.051337 in initial state
85571 explored states, 1 states in BSSCs (1 absorbing)
121411 component updates, 1511434672 transient state updates
Bounds: [0.94865+5.13466e-02]@[0.00000](121411)
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132396 loops (327/sec), 1616768652 sampling steps, 3708 aborted
loop condition 0.051072, exit probability 0.051063 in initial state
85672 explored states, 1 states in BSSCs (1 absorbing)
123009 component updates, 1531340410 transient state updates
Bounds: [0.94893+5.10717e-02]@[0.00000](123009)
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134033 loops (327/sec), 1637160706 sampling steps, 3753 aborted
loop condition 0.050832, exit probability 0.050823 in initial state
85791 explored states, 1 states in BSSCs (1 absorbing)
124600 component updates, 1551159470 transient state updates
Bounds: [0.94917+5.08318e-02]@[0.00000](124600)
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135681 loops (329/sec), 1657689708 sampling steps, 3805 aborted
loop condition 0.050582, exit probability 0.050573 in initial state
85920 explored states, 1 states in BSSCs (1 absorbing)
126196 component updates, 1571040770 transient state updates
Bounds: [0.94942+5.05819e-02]@[0.00000](126196)
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137309 loops (325/sec), 1677971488 sampling steps, 3859 aborted
loop condition 0.050291, exit probability 0.050282 in initial state
86005 explored states, 1 states in BSSCs (1 absorbing)
127770 component updates, 1590649896 transient state updates
Bounds: [0.94971+5.02914e-02]@[0.00000](127770)
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138942 loops (326/sec), 1698315388 sampling steps, 3900 aborted
loop condition 0.050005, exit probability 0.049996 in initial state
86154 explored states, 1 states in BSSCs (1 absorbing)
129362 component updates, 1610482982 transient state updates
Bounds: [0.94999+5.00053e-02]@[0.00000](129362)
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140589 loops (329/sec), 1718824826 sampling steps, 3962 aborted
loop condition 0.049796, exit probability 0.049787 in initial state
86246 explored states, 1 states in BSSCs (1 absorbing)
130947 component updates, 1630228146 transient state updates
Bounds: [0.95020+4.97959e-02]@[0.00000](130947)
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142235 loops (329/sec), 1739330258 sampling steps, 4013 aborted
loop condition 0.049535, exit probability 0.049526 in initial state
86341 explored states, 1 states in BSSCs (1 absorbing)
132542 component updates, 1650098104 transient state updates
Bounds: [0.95047+4.95346e-02]@[0.00000](132542)
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143879 loops (328/sec), 1759811298 sampling steps, 4064 aborted
loop condition 0.049284, exit probability 0.049276 in initial state
86538 explored states, 1 states in BSSCs (1 absorbing)
134135 component updates, 1669943570 transient state updates
Bounds: [0.95072+4.92845e-02]@[0.00000](134135)
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145470 loops (318/sec), 1779631086 sampling steps, 4112 aborted
loop condition 0.049050, exit probability 0.049041 in initial state
86606 explored states, 1 states in BSSCs (1 absorbing)
135678 component updates, 1689165198 transient state updates
Bounds: [0.95095+4.90504e-02]@[0.00000](135678)
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147097 loops (325/sec), 1799892079 sampling steps, 4172 aborted
loop condition 0.048783, exit probability 0.048774 in initial state
86734 explored states, 1 states in BSSCs (1 absorbing)
137244 component updates, 1708673804 transient state updates
Bounds: [0.95122+4.87828e-02]@[0.00000](137244)
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148712 loops (322/sec), 1820009791 sampling steps, 4219 aborted
loop condition 0.048530, exit probability 0.048521 in initial state
86817 explored states, 1 states in BSSCs (1 absorbing)
138812 component updates, 1728205682 transient state updates
Bounds: [0.95147+4.85298e-02]@[0.00000](138812)
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150349 loops (327/sec), 1840400861 sampling steps, 4255 aborted
loop condition 0.048224, exit probability 0.048215 in initial state
86948 explored states, 1 states in BSSCs (1 absorbing)
140413 component updates, 1748148154 transient state updates
Bounds: [0.95178+4.82242e-02]@[0.00000](140413)
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151981 loops (326/sec), 1860730957 sampling steps, 4313 aborted
loop condition 0.047960, exit probability 0.047952 in initial state
87040 explored states, 1 states in BSSCs (1 absorbing)
141987 component updates, 1767755434 transient state updates
Bounds: [0.95204+4.79604e-02]@[0.00000](141987)
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153619 loops (327/sec), 1881127567 sampling steps, 4364 aborted
loop condition 0.047675, exit probability 0.047666 in initial state
87142 explored states, 1 states in BSSCs (1 absorbing)
143573 component updates, 1787511962 transient state updates
Bounds: [0.95233+4.76746e-02]@[0.00000](143573)
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155253 loops (326/sec), 1901477993 sampling steps, 4422 aborted
loop condition 0.047414, exit probability 0.047405 in initial state
87253 explored states, 1 states in BSSCs (1 absorbing)
145149 component updates, 1807144952 transient state updates
Bounds: [0.95259+4.74138e-02]@[0.00000](145149)
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156885 loops (326/sec), 1921808271 sampling steps, 4479 aborted
loop condition 0.047166, exit probability 0.047157 in initial state
87353 explored states, 1 states in BSSCs (1 absorbing)
146724 component updates, 1826764954 transient state updates
Bounds: [0.95283+4.71662e-02]@[0.00000](146724)
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158512 loops (325/sec), 1942075649 sampling steps, 4520 aborted
loop condition 0.046932, exit probability 0.046923 in initial state
87459 explored states, 1 states in BSSCs (1 absorbing)
148310 component updates, 1846521388 transient state updates
Bounds: [0.95307+4.69317e-02]@[0.00000](148310)
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160149 loops (327/sec), 1962468367 sampling steps, 4570 aborted
loop condition 0.046710, exit probability 0.046701 in initial state
87547 explored states, 1 states in BSSCs (1 absorbing)
149897 component updates, 1866291272 transient state updates
Bounds: [0.95329+4.67097e-02]@[0.00000](149897)
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161778 loops (325/sec), 1982760361 sampling steps, 4619 aborted
loop condition 0.046515, exit probability 0.046506 in initial state
87594 explored states, 1 states in BSSCs (1 absorbing)
151477 component updates, 1885972936 transient state updates
Bounds: [0.95349+4.65147e-02]@[0.00000](151477)
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163410 loops (326/sec), 2003090391 sampling steps, 4666 aborted
loop condition 0.046314, exit probability 0.046305 in initial state
87679 explored states, 1 states in BSSCs (1 absorbing)
153062 component updates, 1905717518 transient state updates
Bounds: [0.95369+4.63138e-02]@[0.00000](153062)
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165023 loops (322/sec), 2023186329 sampling steps, 4716 aborted
loop condition 0.046083, exit probability 0.046074 in initial state
87739 explored states, 1 states in BSSCs (1 absorbing)
154625 component updates, 1925190412 transient state updates
Bounds: [0.95392+4.60827e-02]@[0.00000](154625)
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166649 loops (325/sec), 2043441317 sampling steps, 4770 aborted
loop condition 0.045889, exit probability 0.045880 in initial state
87775 explored states, 1 states in BSSCs (1 absorbing)
156197 component updates, 1944772534 transient state updates
Bounds: [0.95411+4.58885e-02]@[0.00000](156197)
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168281 loops (326/sec), 2063771847 sampling steps, 4825 aborted
loop condition 0.045728, exit probability 0.045719 in initial state
87869 explored states, 1 states in BSSCs (1 absorbing)
157774 component updates, 1964417946 transient state updates
Bounds: [0.95427+4.57280e-02]@[0.00000](157774)
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169917 loops (327/sec), 2084151689 sampling steps, 4867 aborted
loop condition 0.045513, exit probability 0.045505 in initial state
87930 explored states, 1 states in BSSCs (1 absorbing)
159368 component updates, 1984274716 transient state updates
Bounds: [0.95449+4.55131e-02]@[0.00000](159368)
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171561 loops (328/sec), 2104630753 sampling steps, 4923 aborted
loop condition 0.045319, exit probability 0.045310 in initial state
87986 explored states, 1 states in BSSCs (1 absorbing)
160956 component updates, 2004056036 transient state updates
Bounds: [0.95468+4.53188e-02]@[0.00000](160956)
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173192 loops (326/sec), 2124948141 sampling steps, 4965 aborted
loop condition 0.045133, exit probability 0.045125 in initial state
88069 explored states, 1 states in BSSCs (1 absorbing)
162545 component updates, 2023850152 transient state updates
Bounds: [0.95487+4.51334e-02]@[0.00000](162545)
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174830 loops (327/sec), 2145352087 sampling steps, 5025 aborted
loop condition 0.044948, exit probability 0.044939 in initial state
88156 explored states, 1 states in BSSCs (1 absorbing)
164123 component updates, 2043506368 transient state updates
Bounds: [0.95505+4.49476e-02]@[0.00000](164123)
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176456 loops (325/sec), 2165607904 sampling steps, 5059 aborted
loop condition 0.044755, exit probability 0.044747 in initial state
88202 explored states, 1 states in BSSCs (1 absorbing)
165714 component updates, 2063326978 transient state updates
Bounds: [0.95524+4.47554e-02]@[0.00000](165714)
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178085 loops (325/sec), 2185901166 sampling steps, 5108 aborted
loop condition 0.044579, exit probability 0.044571 in initial state
88274 explored states, 1 states in BSSCs (1 absorbing)
167294 component updates, 2083009662 transient state updates
Bounds: [0.95542+4.45792e-02]@[0.00000](167294)
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179720 loops (327/sec), 2206267478 sampling steps, 5150 aborted
loop condition 0.044419, exit probability 0.044410 in initial state
88329 explored states, 1 states in BSSCs (1 absorbing)
168887 component updates, 2102852610 transient state updates
Bounds: [0.95558+4.44187e-02]@[0.00000](168887)
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181359 loops (327/sec), 2226686056 sampling steps, 5202 aborted
loop condition 0.044267, exit probability 0.044258 in initial state
88381 explored states, 1 states in BSSCs (1 absorbing)
170474 component updates, 2122623078 transient state updates
Bounds: [0.95573+4.42669e-02]@[0.00000](170474)
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182999 loops (327/sec), 2247115752 sampling steps, 5256 aborted
loop condition 0.044116, exit probability 0.044108 in initial state
88449 explored states, 1 states in BSSCs (1 absorbing)
172060 component updates, 2142380390 transient state updates
Bounds: [0.95588+4.41163e-02]@[0.00000](172060)
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184636 loops (327/sec), 2267506944 sampling steps, 5312 aborted
loop condition 0.043955, exit probability 0.043947 in initial state
88531 explored states, 1 states in BSSCs (1 absorbing)
173641 component updates, 2162074026 transient state updates
Bounds: [0.95604+4.39550e-02]@[0.00000](173641)
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186269 loops (326/sec), 2287847838 sampling steps, 5364 aborted
loop condition 0.043810, exit probability 0.043801 in initial state
88600 explored states, 1 states in BSSCs (1 absorbing)
175222 component updates, 2181766878 transient state updates
Bounds: [0.95619+4.38097e-02]@[0.00000](175222)
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187887 loops (323/sec), 2308004082 sampling steps, 5415 aborted
loop condition 0.043637, exit probability 0.043629 in initial state
88645 explored states, 1 states in BSSCs (1 absorbing)
176789 component updates, 2201287704 transient state updates
Bounds: [0.95636+4.36370e-02]@[0.00000](176789)
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189519 loops (326/sec), 2328333694 sampling steps, 5461 aborted
loop condition 0.043479, exit probability 0.043470 in initial state
88700 explored states, 1 states in BSSCs (1 absorbing)
178375 component updates, 2221044198 transient state updates
Bounds: [0.95652+4.34788e-02]@[0.00000](178375)
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191156 loops (327/sec), 2348726984 sampling steps, 5509 aborted
loop condition 0.043321, exit probability 0.043312 in initial state
88731 explored states, 1 states in BSSCs (1 absorbing)
179964 component updates, 2240839200 transient state updates
Bounds: [0.95668+4.33205e-02]@[0.00000](179964)
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192781 loops (324/sec), 2368971614 sampling steps, 5554 aborted
loop condition 0.043145, exit probability 0.043137 in initial state
88839 explored states, 1 states in BSSCs (1 absorbing)
181544 component updates, 2260522892 transient state updates
Bounds: [0.95686+4.31449e-02]@[0.00000](181544)
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194417 loops (327/sec), 2389352006 sampling steps, 5601 aborted
loop condition 0.042990, exit probability 0.042981 in initial state
88891 explored states, 1 states in BSSCs (1 absorbing)
183133 component updates, 2280317432 transient state updates
Bounds: [0.95701+4.29897e-02]@[0.00000](183133)
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196046 loops (325/sec), 2409632811 sampling steps, 5633 aborted
loop condition 0.042809, exit probability 0.042801 in initial state
88973 explored states, 1 states in BSSCs (1 absorbing)
184729 component updates, 2300199260 transient state updates
Bounds: [0.95719+4.28085e-02]@[0.00000](184729)
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197679 loops (326/sec), 2429975617 sampling steps, 5673 aborted
loop condition 0.042638, exit probability 0.042632 in initial state
89032 explored states, 1 states in BSSCs (1 absorbing)
186322 component updates, 2320043556 transient state updates
Bounds: [0.95736+4.26379e-02]@[0.00000](186322)
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199319 loops (327/sec), 2450406017 sampling steps, 5729 aborted
loop condition 0.042483, exit probability 0.042478 in initial state
89094 explored states, 1 states in BSSCs (1 absorbing)
187906 component updates, 2339776292 transient state updates
Bounds: [0.95752+4.24826e-02]@[0.00000](187906)
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200957 loops (327/sec), 2470809603 sampling steps, 5776 aborted
loop condition 0.042330, exit probability 0.042326 in initial state
89147 explored states, 1 states in BSSCs (1 absorbing)
189497 component updates, 2359594456 transient state updates
Bounds: [0.95767+4.23300e-02]@[0.00000](189497)
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202595 loops (327/sec), 2491213127 sampling steps, 5825 aborted
loop condition 0.042197, exit probability 0.042193 in initial state
89205 explored states, 1 states in BSSCs (1 absorbing)
191086 component updates, 2379387420 transient state updates
Bounds: [0.95780+4.21970e-02]@[0.00000](191086)
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204221 loops (325/sec), 2511467875 sampling steps, 5877 aborted
loop condition 0.042032, exit probability 0.042028 in initial state
89256 explored states, 1 states in BSSCs (1 absorbing)
192660 component updates, 2398994038 transient state updates
Bounds: [0.95797+4.20318e-02]@[0.00000](192660)
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205842 loops (324/sec), 2531660683 sampling steps, 5910 aborted
loop condition 0.041894, exit probability 0.041892 in initial state
89308 explored states, 1 states in BSSCs (1 absorbing)
194248 component updates, 2418775532 transient state updates
Bounds: [0.95811+4.18944e-02]@[0.00000](194248)
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207450 loops (321/sec), 2551689405 sampling steps, 5954 aborted
loop condition 0.041774, exit probability 0.041772 in initial state
89364 explored states, 1 states in BSSCs (1 absorbing)
195812 component updates, 2438256072 transient state updates
Bounds: [0.95823+4.17744e-02]@[0.00000](195812)
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209075 loops (324/sec), 2571934141 sampling steps, 5998 aborted
loop condition 0.041626, exit probability 0.041624 in initial state
89418 explored states, 1 states in BSSCs (1 absorbing)
197393 component updates, 2457952552 transient state updates
Bounds: [0.95837+4.16265e-02]@[0.00000](197393)
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210708 loops (326/sec), 2592275579 sampling steps, 6055 aborted
loop condition 0.041471, exit probability 0.041469 in initial state
89471 explored states, 1 states in BSSCs (1 absorbing)
198969 component updates, 2477583916 transient state updates
Bounds: [0.95853+4.14715e-02]@[0.00000](198969)
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212338 loops (325/sec), 2612581701 sampling steps, 6106 aborted
loop condition 0.041328, exit probability 0.041326 in initial state
89534 explored states, 1 states in BSSCs (1 absorbing)
200548 component updates, 2497254692 transient state updates
Bounds: [0.95867+4.13277e-02]@[0.00000](200548)
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213971 loops (326/sec), 2632924315 sampling steps, 6148 aborted
loop condition 0.041187, exit probability 0.041185 in initial state
89599 explored states, 1 states in BSSCs (1 absorbing)
202139 component updates, 2517073888 transient state updates
Bounds: [0.95881+4.11870e-02]@[0.00000](202139)
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215598 loops (325/sec), 2653192711 sampling steps, 6199 aborted
loop condition 0.041049, exit probability 0.041047 in initial state
89650 explored states, 1 states in BSSCs (1 absorbing)
203715 component updates, 2536706634 transient state updates
Bounds: [0.95895+4.10488e-02]@[0.00000](203715)
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217225 loops (325/sec), 2673459984 sampling steps, 6250 aborted
loop condition 0.040910, exit probability 0.040908 in initial state
89702 explored states, 1 states in BSSCs (1 absorbing)
205290 component updates, 2556326830 transient state updates
Bounds: [0.95909+4.09095e-02]@[0.00000](205290)
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218856 loops (326/sec), 2693776752 sampling steps, 6302 aborted
loop condition 0.040779, exit probability 0.040777 in initial state
89768 explored states, 1 states in BSSCs (1 absorbing)
206869 component updates, 2575995716 transient state updates
Bounds: [0.95922+4.07790e-02]@[0.00000](206869)
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220471 loops (323/sec), 2713893748 sampling steps, 6339 aborted
loop condition 0.040643, exit probability 0.040641 in initial state
89825 explored states, 1 states in BSSCs (1 absorbing)
208447 component updates, 2595651794 transient state updates
Bounds: [0.95936+4.06426e-02]@[0.00000](208447)
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222107 loops (327/sec), 2734272746 sampling steps, 6391 aborted
loop condition 0.040494, exit probability 0.040493 in initial state
89876 explored states, 1 states in BSSCs (1 absorbing)
210031 component updates, 2615382950 transient state updates
Bounds: [0.95951+4.04945e-02]@[0.00000](210031)
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223734 loops (325/sec), 2754540638 sampling steps, 6432 aborted
loop condition 0.040366, exit probability 0.040364 in initial state
89920 explored states, 1 states in BSSCs (1 absorbing)
211617 component updates, 2635140026 transient state updates
Bounds: [0.95963+4.03660e-02]@[0.00000](211617)
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225364 loops (325/sec), 2774846102 sampling steps, 6474 aborted
loop condition 0.040236, exit probability 0.040235 in initial state
89987 explored states, 1 states in BSSCs (1 absorbing)
213205 component updates, 2654922336 transient state updates
Bounds: [0.95976+4.02361e-02]@[0.00000](213205)
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226990 loops (325/sec), 2795101330 sampling steps, 6531 aborted
loop condition 0.040119, exit probability 0.040117 in initial state
90029 explored states, 1 states in BSSCs (1 absorbing)
214774 component updates, 2674467276 transient state updates
Bounds: [0.95988+4.01188e-02]@[0.00000](214774)
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228619 loops (325/sec), 2815395642 sampling steps, 6582 aborted
loop condition 0.040007, exit probability 0.040005 in initial state
90072 explored states, 1 states in BSSCs (1 absorbing)
216352 component updates, 2694126228 transient state updates
Bounds: [0.95999+4.00066e-02]@[0.00000](216352)
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230232 loops (322/sec), 2835488952 sampling steps, 6626 aborted
loop condition 0.039894, exit probability 0.039892 in initial state
90115 explored states, 1 states in BSSCs (1 absorbing)
217921 component updates, 2713671320 transient state updates
Bounds: [0.96011+3.98938e-02]@[0.00000](217921)
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231873 loops (328/sec), 2855930910 sampling steps, 6678 aborted
loop condition 0.039767, exit probability 0.039765 in initial state
90166 explored states, 1 states in BSSCs (1 absorbing)
219510 component updates, 2733465600 transient state updates
Bounds: [0.96023+3.97667e-02]@[0.00000](219510)
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233498 loops (325/sec), 2876174050 sampling steps, 6730 aborted
loop condition 0.039658, exit probability 0.039656 in initial state
90242 explored states, 1 states in BSSCs (1 absorbing)
221083 component updates, 2753060354 transient state updates
Bounds: [0.96034+3.96576e-02]@[0.00000](221083)
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235087 loops (317/sec), 2895967034 sampling steps, 6764 aborted
loop condition 0.039555, exit probability 0.039554 in initial state
90264 explored states, 1 states in BSSCs (1 absorbing)
222638 component updates, 2772429712 transient state updates
Bounds: [0.96044+3.95551e-02]@[0.00000](222638)
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236711 loops (324/sec), 2916196850 sampling steps, 6801 aborted
loop condition 0.039466, exit probability 0.039464 in initial state
90306 explored states, 1 states in BSSCs (1 absorbing)
224225 component updates, 2792198472 transient state updates
Bounds: [0.96053+3.94656e-02]@[0.00000](224225)
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238340 loops (325/sec), 2936489982 sampling steps, 6842 aborted
loop condition 0.039346, exit probability 0.039345 in initial state
90345 explored states, 1 states in BSSCs (1 absorbing)
225813 component updates, 2811980540 transient state updates
Bounds: [0.96065+3.93463e-02]@[0.00000](225813)
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239979 loops (327/sec), 2956907142 sampling steps, 6898 aborted
loop condition 0.039223, exit probability 0.039221 in initial state
90383 explored states, 1 states in BSSCs (1 absorbing)
227396 component updates, 2831699710 transient state updates
Bounds: [0.96078+3.92226e-02]@[0.00000](227396)
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241611 loops (326/sec), 2977237518 sampling steps, 6935 aborted
loop condition 0.039107, exit probability 0.039106 in initial state
90414 explored states, 1 states in BSSCs (1 absorbing)
228991 component updates, 2851569028 transient state updates
Bounds: [0.96089+3.91069e-02]@[0.00000](228991)
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243238 loops (325/sec), 2997504570 sampling steps, 6979 aborted
loop condition 0.039002, exit probability 0.039000 in initial state
90451 explored states, 1 states in BSSCs (1 absorbing)
230574 component updates, 2871288116 transient state updates
Bounds: [0.96100+3.90017e-02]@[0.00000](230574)
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244854 loops (323/sec), 3017635252 sampling steps, 7029 aborted
loop condition 0.038903, exit probability 0.038901 in initial state
90496 explored states, 1 states in BSSCs (1 absorbing)
232140 component updates, 2890795922 transient state updates
Bounds: [0.96110+3.89027e-02]@[0.00000](232140)
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246469 loops (322/sec), 3037752558 sampling steps, 7067 aborted
loop condition 0.038807, exit probability 0.038806 in initial state
90545 explored states, 1 states in BSSCs (1 absorbing)
233717 component updates, 2910439862 transient state updates
Bounds: [0.96119+3.88069e-02]@[0.00000](233717)
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248085 loops (323/sec), 3057885284 sampling steps, 7122 aborted
loop condition 0.038722, exit probability 0.038720 in initial state
90567 explored states, 1 states in BSSCs (1 absorbing)
235278 component updates, 2929887410 transient state updates
Bounds: [0.96128+3.87217e-02]@[0.00000](235278)
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249716 loops (326/sec), 3078203086 sampling steps, 7179 aborted
loop condition 0.038626, exit probability 0.038625 in initial state
90633 explored states, 1 states in BSSCs (1 absorbing)
236852 component updates, 2949495242 transient state updates
Bounds: [0.96137+3.86264e-02]@[0.00000](236852)
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251345 loops (325/sec), 3098495802 sampling steps, 7234 aborted
loop condition 0.038550, exit probability 0.038549 in initial state
90661 explored states, 1 states in BSSCs (1 absorbing)
238426 component updates, 2969102668 transient state updates
Bounds: [0.96145+3.85500e-02]@[0.00000](238426)
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252968 loops (324/sec), 3118713588 sampling steps, 7277 aborted
loop condition 0.038478, exit probability 0.038477 in initial state
90694 explored states, 1 states in BSSCs (1 absorbing)
240006 component updates, 2988784596 transient state updates
Bounds: [0.96152+3.84784e-02]@[0.00000](240006)
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254603 loops (326/sec), 3139080730 sampling steps, 7336 aborted
loop condition 0.038390, exit probability 0.038389 in initial state
90750 explored states, 1 states in BSSCs (1 absorbing)
241582 component updates, 3008416664 transient state updates
Bounds: [0.96161+3.83901e-02]@[0.00000](241582)
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256237 loops (326/sec), 3159435106 sampling steps, 7384 aborted
loop condition 0.038289, exit probability 0.038288 in initial state
90774 explored states, 1 states in BSSCs (1 absorbing)
243168 component updates, 3028173202 transient state updates
Bounds: [0.96171+3.82893e-02]@[0.00000](243168)
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257855 loops (323/sec), 3179591226 sampling steps, 7419 aborted
loop condition 0.038194, exit probability 0.038193 in initial state
90797 explored states, 1 states in BSSCs (1 absorbing)
244751 component updates, 3047893388 transient state updates
Bounds: [0.96181+3.81943e-02]@[0.00000](244751)
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259485 loops (325/sec), 3199896540 sampling steps, 7465 aborted
loop condition 0.038118, exit probability 0.038116 in initial state
90831 explored states, 1 states in BSSCs (1 absorbing)
246335 component updates, 3067625684 transient state updates
Bounds: [0.96188+3.81176e-02]@[0.00000](246335)
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261110 loops (325/sec), 3220140966 sampling steps, 7515 aborted
loop condition 0.038041, exit probability 0.038040 in initial state
90854 explored states, 1 states in BSSCs (1 absorbing)
247910 component updates, 3087247066 transient state updates
Bounds: [0.96196+3.80410e-02]@[0.00000](247910)
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262730 loops (324/sec), 3240320734 sampling steps, 7555 aborted
loop condition 0.037962, exit probability 0.037961 in initial state
90890 explored states, 1 states in BSSCs (1 absorbing)
249490 component updates, 3106928282 transient state updates
Bounds: [0.96204+3.79625e-02]@[0.00000](249490)
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264348 loops (323/sec), 3260477282 sampling steps, 7597 aborted
loop condition 0.037872, exit probability 0.037871 in initial state
90907 explored states, 1 states in BSSCs (1 absorbing)
251066 component updates, 3126561556 transient state updates
Bounds: [0.96213+3.78717e-02]@[0.00000](251066)
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265968 loops (323/sec), 3280658516 sampling steps, 7648 aborted
loop condition 0.037798, exit probability 0.037797 in initial state
90950 explored states, 1 states in BSSCs (1 absorbing)
252635 component updates, 3146107266 transient state updates
Bounds: [0.96220+3.77983e-02]@[0.00000](252635)
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267595 loops (325/sec), 3300927140 sampling steps, 7694 aborted
loop condition 0.037733, exit probability 0.037732 in initial state
91003 explored states, 1 states in BSSCs (1 absorbing)
254216 component updates, 3165803008 transient state updates
Bounds: [0.96227+3.77334e-02]@[0.00000](254216)
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269222 loops (325/sec), 3321194774 sampling steps, 7738 aborted
loop condition 0.037632, exit probability 0.037631 in initial state
91035 explored states, 1 states in BSSCs (1 absorbing)
255799 component updates, 3185522486 transient state updates
Bounds: [0.96237+3.76317e-02]@[0.00000](255799)
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270861 loops (327/sec), 3341609505 sampling steps, 7798 aborted
loop condition 0.037552, exit probability 0.037551 in initial state
91077 explored states, 1 states in BSSCs (1 absorbing)
257377 component updates, 3205179696 transient state updates
Bounds: [0.96245+3.75518e-02]@[0.00000](257377)
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272491 loops (325/sec), 3361914801 sampling steps, 7844 aborted
loop condition 0.037479, exit probability 0.037478 in initial state
91108 explored states, 1 states in BSSCs (1 absorbing)
258961 component updates, 3224911846 transient state updates
Bounds: [0.96252+3.74789e-02]@[0.00000](258961)
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274132 loops (328/sec), 3382356649 sampling steps, 7895 aborted
loop condition 0.037410, exit probability 0.037409 in initial state
91137 explored states, 1 states in BSSCs (1 absorbing)
260551 component updates, 3244718480 transient state updates
Bounds: [0.96259+3.74104e-02]@[0.00000](260551)
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275759 loops (325/sec), 3402624519 sampling steps, 7946 aborted
loop condition 0.037335, exit probability 0.037334 in initial state
91167 explored states, 1 states in BSSCs (1 absorbing)
262127 component updates, 3264350848 transient state updates
Bounds: [0.96267+3.73348e-02]@[0.00000](262127)
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277388 loops (325/sec), 3422917893 sampling steps, 7992 aborted
loop condition 0.037263, exit probability 0.037262 in initial state
91197 explored states, 1 states in BSSCs (1 absorbing)
263710 component updates, 3284071044 transient state updates
Bounds: [0.96274+3.72631e-02]@[0.00000](263710)
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279016 loops (325/sec), 3443198163 sampling steps, 8043 aborted
loop condition 0.037197, exit probability 0.037196 in initial state
91212 explored states, 1 states in BSSCs (1 absorbing)
265287 component updates, 3303715986 transient state updates
Bounds: [0.96280+3.71967e-02]@[0.00000](265287)
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280651 loops (326/sec), 3463565555 sampling steps, 8097 aborted
loop condition 0.037131, exit probability 0.037130 in initial state
91245 explored states, 1 states in BSSCs (1 absorbing)
266868 component updates, 3323410750 transient state updates
Bounds: [0.96287+3.71309e-02]@[0.00000](266868)
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282275 loops (324/sec), 3483796201 sampling steps, 8138 aborted
loop condition 0.037056, exit probability 0.037055 in initial state
91269 explored states, 1 states in BSSCs (1 absorbing)
268451 component updates, 3343130380 transient state updates
Bounds: [0.96294+3.70558e-02]@[0.00000](268451)
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283905 loops (325/sec), 3504101275 sampling steps, 8186 aborted
loop condition 0.036999, exit probability 0.036998 in initial state
91325 explored states, 1 states in BSSCs (1 absorbing)
270033 component updates, 3362837078 transient state updates
Bounds: [0.96300+3.69989e-02]@[0.00000](270033)
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285526 loops (324/sec), 3524293143 sampling steps, 8224 aborted
loop condition 0.036921, exit probability 0.036920 in initial state
91368 explored states, 1 states in BSSCs (1 absorbing)
271616 component updates, 3382555532 transient state updates
Bounds: [0.96308+3.69205e-02]@[0.00000](271616)
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287155 loops (325/sec), 3544585951 sampling steps, 8278 aborted
loop condition 0.036855, exit probability 0.036854 in initial state
91378 explored states, 1 states in BSSCs (1 absorbing)
273191 component updates, 3402175464 transient state updates
Bounds: [0.96315+3.68548e-02]@[0.00000](273191)
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288785 loops (325/sec), 3564891147 sampling steps, 8323 aborted
loop condition 0.036781, exit probability 0.036780 in initial state
91406 explored states, 1 states in BSSCs (1 absorbing)
274776 component updates, 3421920186 transient state updates
Bounds: [0.96322+3.67807e-02]@[0.00000](274776)
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290409 loops (324/sec), 3585120261 sampling steps, 8375 aborted
loop condition 0.036698, exit probability 0.036697 in initial state
91449 explored states, 1 states in BSSCs (1 absorbing)
276348 component updates, 3441501628 transient state updates
Bounds: [0.96330+3.66976e-02]@[0.00000](276348)
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292040 loops (326/sec), 3605438521 sampling steps, 8424 aborted
loop condition 0.036627, exit probability 0.036626 in initial state
91482 explored states, 1 states in BSSCs (1 absorbing)
277930 component updates, 3461209656 transient state updates
Bounds: [0.96337+3.66270e-02]@[0.00000](277930)
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293667 loops (325/sec), 3625706293 sampling steps, 8473 aborted
loop condition 0.036540, exit probability 0.036539 in initial state
91533 explored states, 1 states in BSSCs (1 absorbing)
279508 component updates, 3480867272 transient state updates
Bounds: [0.96346+3.65401e-02]@[0.00000](279508)
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295300 loops (326/sec), 3646049061 sampling steps, 8520 aborted
loop condition 0.036450, exit probability 0.036449 in initial state
91564 explored states, 1 states in BSSCs (1 absorbing)
281094 component updates, 3500624532 transient state updates
Bounds: [0.96355+3.64503e-02]@[0.00000](281094)
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296935 loops (327/sec), 3666416035 sampling steps, 8566 aborted
loop condition 0.036367, exit probability 0.036367 in initial state
91591 explored states, 1 states in BSSCs (1 absorbing)
282683 component updates, 3520418394 transient state updates
Bounds: [0.96363+3.63675e-02]@[0.00000](282683)
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298565 loops (326/sec), 3686720667 sampling steps, 8607 aborted
loop condition 0.036296, exit probability 0.036295 in initial state
91636 explored states, 1 states in BSSCs (1 absorbing)
284272 component updates, 3540211980 transient state updates
Bounds: [0.96370+3.62957e-02]@[0.00000](284272)
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300185 loops (323/sec), 3706900615 sampling steps, 8656 aborted
loop condition 0.036220, exit probability 0.036219 in initial state
91678 explored states, 1 states in BSSCs (1 absorbing)
285843 component updates, 3559781636 transient state updates
Bounds: [0.96378+3.62198e-02]@[0.00000](285843)
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301819 loops (326/sec), 3727255423 sampling steps, 8709 aborted
loop condition 0.036148, exit probability 0.036147 in initial state
91707 explored states, 1 states in BSSCs (1 absorbing)
287424 component updates, 3579475952 transient state updates
Bounds: [0.96385+3.61483e-02]@[0.00000](287424)
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303430 loops (322/sec), 3747322717 sampling steps, 8757 aborted
loop condition 0.036077, exit probability 0.036076 in initial state
91736 explored states, 1 states in BSSCs (1 absorbing)
288987 component updates, 3598945470 transient state updates
Bounds: [0.96392+3.60773e-02]@[0.00000](288987)
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305047 loops (323/sec), 3767466209 sampling steps, 8806 aborted
loop condition 0.036023, exit probability 0.036022 in initial state
91772 explored states, 1 states in BSSCs (1 absorbing)
290555 component updates, 3618478436 transient state updates
Bounds: [0.96398+3.60228e-02]@[0.00000](290555)
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306676 loops (325/sec), 3787759241 sampling steps, 8864 aborted
loop condition 0.035959, exit probability 0.035958 in initial state
91809 explored states, 1 states in BSSCs (1 absorbing)
292126 component updates, 3638048904 transient state updates
Bounds: [0.96404+3.59589e-02]@[0.00000](292126)
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308299 loops (324/sec), 3807968330 sampling steps, 8904 aborted
loop condition 0.035904, exit probability 0.035903 in initial state
91858 explored states, 1 states in BSSCs (1 absorbing)
293708 component updates, 3657756538 transient state updates
Bounds: [0.96410+3.59036e-02]@[0.00000](293708)
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309920 loops (324/sec), 3828156814 sampling steps, 8939 aborted
loop condition 0.035852, exit probability 0.035851 in initial state
91904 explored states, 1 states in BSSCs (1 absorbing)
295294 component updates, 3677513008 transient state updates
Bounds: [0.96415+3.58516e-02]@[0.00000](295294)
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311545 loops (324/sec), 3848399414 sampling steps, 8988 aborted
loop condition 0.035808, exit probability 0.035807 in initial state
91945 explored states, 1 states in BSSCs (1 absorbing)
296870 component updates, 3697145284 transient state updates
Bounds: [0.96419+3.58081e-02]@[0.00000](296870)
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313164 loops (323/sec), 3868566302 sampling steps, 9029 aborted
loop condition 0.035774, exit probability 0.035773 in initial state
91981 explored states, 1 states in BSSCs (1 absorbing)
298448 component updates, 3716801436 transient state updates
Bounds: [0.96423+3.57742e-02]@[0.00000](298448)
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314782 loops (323/sec), 3888719410 sampling steps, 9080 aborted
loop condition 0.035730, exit probability 0.035729 in initial state
92025 explored states, 1 states in BSSCs (1 absorbing)
300015 component updates, 3736319306 transient state updates
Bounds: [0.96427+3.57302e-02]@[0.00000](300015)
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316391 loops (321/sec), 3908754289 sampling steps, 9123 aborted
loop condition 0.035663, exit probability 0.035662 in initial state
92061 explored states, 1 states in BSSCs (1 absorbing)
301580 component updates, 3755814202 transient state updates
Bounds: [0.96434+3.56630e-02]@[0.00000](301580)
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318011 loops (323/sec), 3928933919 sampling steps, 9164 aborted
loop condition 0.035601, exit probability 0.035600 in initial state
92095 explored states, 1 states in BSSCs (1 absorbing)
303159 component updates, 3775483020 transient state updates
Bounds: [0.96440+3.56005e-02]@[0.00000](303159)
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319635 loops (324/sec), 3949165821 sampling steps, 9214 aborted
loop condition 0.035528, exit probability 0.035528 in initial state
92132 explored states, 1 states in BSSCs (1 absorbing)
304733 component updates, 3795091616 transient state updates
Bounds: [0.96447+3.55285e-02]@[0.00000](304733)
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321256 loops (324/sec), 3969355261 sampling steps, 9266 aborted
loop condition 0.035465, exit probability 0.035464 in initial state
92142 explored states, 1 states in BSSCs (1 absorbing)
306302 component updates, 3814637868 transient state updates
Bounds: [0.96454+3.54648e-02]@[0.00000](306302)
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322871 loops (323/sec), 3989472245 sampling steps, 9312 aborted
loop condition 0.035408, exit probability 0.035408 in initial state
92187 explored states, 1 states in BSSCs (1 absorbing)
307871 component updates, 3834181742 transient state updates
Bounds: [0.96459+3.54083e-02]@[0.00000](307871)
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324479 loops (321/sec), 4009493331 sampling steps, 9359 aborted
loop condition 0.035365, exit probability 0.035364 in initial state
92220 explored states, 1 states in BSSCs (1 absorbing)
309432 component updates, 3853627528 transient state updates
Bounds: [0.96463+3.53650e-02]@[0.00000](309432)
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326089 loops (321/sec), 4029548773 sampling steps, 9404 aborted
loop condition 0.035310, exit probability 0.035310 in initial state
92252 explored states, 1 states in BSSCs (1 absorbing)
310997 component updates, 3873122148 transient state updates
Bounds: [0.96469+3.53105e-02]@[0.00000](310997)
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327681 loops (318/sec), 4049380273 sampling steps, 9450 aborted
loop condition 0.035258, exit probability 0.035257 in initial state
92262 explored states, 1 states in BSSCs (1 absorbing)
312543 component updates, 3892380304 transient state updates
Bounds: [0.96474+3.52578e-02]@[0.00000](312543)
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329298 loops (323/sec), 4069525285 sampling steps, 9508 aborted
loop condition 0.035207, exit probability 0.035207 in initial state
92283 explored states, 1 states in BSSCs (1 absorbing)
314102 component updates, 3911802702 transient state updates
Bounds: [0.96479+3.52073e-02]@[0.00000](314102)
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330900 loops (320/sec), 4089481897 sampling steps, 9562 aborted
loop condition 0.035167, exit probability 0.035167 in initial state
92318 explored states, 1 states in BSSCs (1 absorbing)
315650 component updates, 3931086598 transient state updates
Bounds: [0.96483+3.51673e-02]@[0.00000](315650)
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332510 loops (321/sec), 4109538277 sampling steps, 9612 aborted
loop condition 0.035122, exit probability 0.035122 in initial state
92343 explored states, 1 states in BSSCs (1 absorbing)
317210 component updates, 3950520262 transient state updates
Bounds: [0.96488+3.51223e-02]@[0.00000](317210)
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334122 loops (322/sec), 4129618907 sampling steps, 9657 aborted
loop condition 0.035071, exit probability 0.035071 in initial state
92356 explored states, 1 states in BSSCs (1 absorbing)
318777 component updates, 3970040394 transient state updates
Bounds: [0.96493+3.50713e-02]@[0.00000](318777)
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335728 loops (321/sec), 4149624815 sampling steps, 9708 aborted
loop condition 0.035025, exit probability 0.035024 in initial state
92371 explored states, 1 states in BSSCs (1 absorbing)
320332 component updates, 3989410866 transient state updates
Bounds: [0.96497+3.50251e-02]@[0.00000](320332)
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337341 loops (322/sec), 4169717831 sampling steps, 9762 aborted
loop condition 0.034981, exit probability 0.034980 in initial state
92392 explored states, 1 states in BSSCs (1 absorbing)
321891 component updates, 4008831070 transient state updates
Bounds: [0.96502+3.49806e-02]@[0.00000](321891)
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338954 loops (322/sec), 4189812847 sampling steps, 9806 aborted
loop condition 0.034932, exit probability 0.034931 in initial state
92429 explored states, 1 states in BSSCs (1 absorbing)
323460 component updates, 4028377816 transient state updates
Bounds: [0.96507+3.49320e-02]@[0.00000](323460)
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340559 loops (321/sec), 4209807087 sampling steps, 9851 aborted
loop condition 0.034878, exit probability 0.034877 in initial state
92459 explored states, 1 states in BSSCs (1 absorbing)
325020 component updates, 4047811116 transient state updates
Bounds: [0.96512+3.48776e-02]@[0.00000](325020)
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342151 loops (318/sec), 4229637893 sampling steps, 9906 aborted
loop condition 0.034827, exit probability 0.034826 in initial state
92502 explored states, 1 states in BSSCs (1 absorbing)
326557 component updates, 4066956746 transient state updates
Bounds: [0.96517+3.48269e-02]@[0.00000](326557)
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343745 loops (318/sec), 4249493831 sampling steps, 9944 aborted
loop condition 0.034753, exit probability 0.034753 in initial state
92505 explored states, 1 states in BSSCs (1 absorbing)
328113 component updates, 4086339396 transient state updates
Bounds: [0.96525+3.47533e-02]@[0.00000](328113)
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345345 loops (320/sec), 4269425719 sampling steps, 9989 aborted
loop condition 0.034706, exit probability 0.034705 in initial state
92527 explored states, 1 states in BSSCs (1 absorbing)
329668 component updates, 4105710544 transient state updates
Bounds: [0.96529+3.47059e-02]@[0.00000](329668)
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346955 loops (321/sec), 4289481593 sampling steps, 10039 aborted
loop condition 0.034641, exit probability 0.034641 in initial state
92558 explored states, 1 states in BSSCs (1 absorbing)
331228 component updates, 4125143508 transient state updates
Bounds: [0.96536+3.46415e-02]@[0.00000](331228)
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348565 loops (321/sec), 4309537909 sampling steps, 10079 aborted
loop condition 0.034582, exit probability 0.034581 in initial state
92580 explored states, 1 states in BSSCs (1 absorbing)
332798 component updates, 4144701358 transient state updates
Bounds: [0.96542+3.45820e-02]@[0.00000](332798)
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350182 loops (323/sec), 4329680453 sampling steps, 10132 aborted
loop condition 0.034538, exit probability 0.034537 in initial state
92594 explored states, 1 states in BSSCs (1 absorbing)
334362 component updates, 4164183758 transient state updates
Bounds: [0.96546+3.45376e-02]@[0.00000](334362)
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351796 loops (322/sec), 4349787397 sampling steps, 10178 aborted
loop condition 0.034497, exit probability 0.034496 in initial state
92618 explored states, 1 states in BSSCs (1 absorbing)
335930 component updates, 4183717474 transient state updates
Bounds: [0.96550+3.44967e-02]@[0.00000](335930)
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353405 loops (321/sec), 4369830957 sampling steps, 10221 aborted
loop condition 0.034453, exit probability 0.034453 in initial state
92639 explored states, 1 states in BSSCs (1 absorbing)
337496 component updates, 4203225276 transient state updates
Bounds: [0.96555+3.44532e-02]@[0.00000](337496)
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355005 loops (320/sec), 4389763277 sampling steps, 10257 aborted
loop condition 0.034408, exit probability 0.034407 in initial state
92653 explored states, 1 states in BSSCs (1 absorbing)
339060 component updates, 4222709058 transient state updates
Bounds: [0.96559+3.44080e-02]@[0.00000](339060)
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356615 loops (321/sec), 4409819847 sampling steps, 10309 aborted
loop condition 0.034370, exit probability 0.034370 in initial state
92676 explored states, 1 states in BSSCs (1 absorbing)
340618 component updates, 4242117846 transient state updates
Bounds: [0.96563+3.43704e-02]@[0.00000](340618)
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358212 loops (319/sec), 4429714749 sampling steps, 10357 aborted
loop condition 0.034332, exit probability 0.034331 in initial state
92734 explored states, 1 states in BSSCs (1 absorbing)
342167 component updates, 4261414692 transient state updates
Bounds: [0.96567+3.43317e-02]@[0.00000](342167)
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359812 loops (319/sec), 4449647179 sampling steps, 10404 aborted
loop condition 0.034291, exit probability 0.034291 in initial state
92757 explored states, 1 states in BSSCs (1 absorbing)
343720 component updates, 4280761446 transient state updates
Bounds: [0.96571+3.42914e-02]@[0.00000](343720)
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361406 loops (318/sec), 4469504101 sampling steps, 10447 aborted
loop condition 0.034256, exit probability 0.034255 in initial state
92768 explored states, 1 states in BSSCs (1 absorbing)
345271 component updates, 4300082448 transient state updates
Bounds: [0.96574+3.42555e-02]@[0.00000](345271)
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363002 loops (319/sec), 4489384877 sampling steps, 10496 aborted
loop condition 0.034220, exit probability 0.034219 in initial state
92788 explored states, 1 states in BSSCs (1 absorbing)
346818 component updates, 4319352854 transient state updates
Bounds: [0.96578+3.42197e-02]@[0.00000](346818)
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364610 loops (321/sec), 4509415143 sampling steps, 10545 aborted
loop condition 0.034178, exit probability 0.034177 in initial state
92800 explored states, 1 states in BSSCs (1 absorbing)
348377 component updates, 4338772586 transient state updates
Bounds: [0.96582+3.41775e-02]@[0.00000](348377)
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366214 loops (320/sec), 4529396125 sampling steps, 10584 aborted
loop condition 0.034145, exit probability 0.034144 in initial state
92813 explored states, 1 states in BSSCs (1 absorbing)
349942 component updates, 4358267746 transient state updates
Bounds: [0.96586+3.41445e-02]@[0.00000](349942)
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367829 loops (322/sec), 4549513539 sampling steps, 10635 aborted
loop condition 0.034114, exit probability 0.034114 in initial state
92826 explored states, 1 states in BSSCs (1 absorbing)
351506 component updates, 4377750048 transient state updates
Bounds: [0.96589+3.41143e-02]@[0.00000](351506)
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369432 loops (320/sec), 4569482529 sampling steps, 10696 aborted
loop condition 0.034084, exit probability 0.034083 in initial state
92852 explored states, 1 states in BSSCs (1 absorbing)
353048 component updates, 4396959102 transient state updates
Bounds: [0.96592+3.40839e-02]@[0.00000](353048)
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371030 loops (319/sec), 4589388773 sampling steps, 10738 aborted
loop condition 0.034039, exit probability 0.034038 in initial state
92861 explored states, 1 states in BSSCs (1 absorbing)
354604 component updates, 4416341940 transient state updates
Bounds: [0.96596+3.40386e-02]@[0.00000](354604)
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372618 loops (317/sec), 4609170073 sampling steps, 10780 aborted
loop condition 0.034015, exit probability 0.034014 in initial state
92907 explored states, 1 states in BSSCs (1 absorbing)
356150 component updates, 4435599982 transient state updates
Bounds: [0.96599+3.40146e-02]@[0.00000](356150)
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374228 loops (321/sec), 4629226089 sampling steps, 10845 aborted
loop condition 0.033985, exit probability 0.033984 in initial state
92930 explored states, 1 states in BSSCs (1 absorbing)
357695 component updates, 4454846220 transient state updates
Bounds: [0.96602+3.39846e-02]@[0.00000](357695)
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375830 loops (320/sec), 4649182951 sampling steps, 10892 aborted
loop condition 0.033950, exit probability 0.033949 in initial state
92961 explored states, 1 states in BSSCs (1 absorbing)
359250 component updates, 4474217480 transient state updates
Bounds: [0.96605+3.39497e-02]@[0.00000](359250)
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377437 loops (321/sec), 4669201443 sampling steps, 10953 aborted
loop condition 0.033910, exit probability 0.033909 in initial state
92985 explored states, 1 states in BSSCs (1 absorbing)
360796 component updates, 4493475630 transient state updates
Bounds: [0.96609+3.39096e-02]@[0.00000](360796)
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379042 loops (320/sec), 4689194979 sampling steps, 11008 aborted
loop condition 0.033860, exit probability 0.033860 in initial state
93038 explored states, 1 states in BSSCs (1 absorbing)
362346 component updates, 4512783824 transient state updates
Bounds: [0.96614+3.38603e-02]@[0.00000](362346)
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380642 loops (319/sec), 4709127173 sampling steps, 11054 aborted
loop condition 0.033820, exit probability 0.033820 in initial state
93078 explored states, 1 states in BSSCs (1 absorbing)
363900 component updates, 4532143008 transient state updates
Bounds: [0.96618+3.38203e-02]@[0.00000](363900)
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382243 loops (320/sec), 4729070273 sampling steps, 11101 aborted
loop condition 0.033787, exit probability 0.033787 in initial state
93113 explored states, 1 states in BSSCs (1 absorbing)
365454 component updates, 4551500724 transient state updates
Bounds: [0.96621+3.37874e-02]@[0.00000](365454)
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383838 loops (318/sec), 4748939311 sampling steps, 11141 aborted
loop condition 0.033745, exit probability 0.033744 in initial state
93131 explored states, 1 states in BSSCs (1 absorbing)
367009 component updates, 4570871632 transient state updates
Bounds: [0.96626+3.37449e-02]@[0.00000](367009)
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385439 loops (320/sec), 4768882177 sampling steps, 11182 aborted
loop condition 0.033712, exit probability 0.033711 in initial state
93145 explored states, 1 states in BSSCs (1 absorbing)
368569 component updates, 4590303768 transient state updates
Bounds: [0.96629+3.37118e-02]@[0.00000](368569)
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387033 loops (318/sec), 4788730551 sampling steps, 11227 aborted
loop condition 0.033687, exit probability 0.033686 in initial state
93172 explored states, 1 states in BSSCs (1 absorbing)
370118 component updates, 4609598998 transient state updates
Bounds: [0.96631+3.36866e-02]@[0.00000](370118)
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388632 loops (319/sec), 4808649045 sampling steps, 11269 aborted
loop condition 0.033662, exit probability 0.033662 in initial state
93194 explored states, 1 states in BSSCs (1 absorbing)
371675 component updates, 4628994114 transient state updates
Bounds: [0.96634+3.36621e-02]@[0.00000](371675)
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390236 loops (320/sec), 4828630613 sampling steps, 11317 aborted
loop condition 0.033636, exit probability 0.033636 in initial state
93219 explored states, 1 states in BSSCs (1 absorbing)
373231 component updates, 4648377676 transient state updates
Bounds: [0.96636+3.36361e-02]@[0.00000](373231)
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391842 loops (321/sec), 4848636731 sampling steps, 11365 aborted
loop condition 0.033606, exit probability 0.033605 in initial state
93223 explored states, 1 states in BSSCs (1 absorbing)
374789 component updates, 4667785674 transient state updates
Bounds: [0.96639+3.36057e-02]@[0.00000](374789)
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393454 loops (322/sec), 4868716835 sampling steps, 11424 aborted
loop condition 0.033582, exit probability 0.033582 in initial state
93239 explored states, 1 states in BSSCs (1 absorbing)
376342 component updates, 4687130834 transient state updates
Bounds: [0.96642+3.35823e-02]@[0.00000](376342)
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395060 loops (321/sec), 4888723535 sampling steps, 11472 aborted
loop condition 0.033564, exit probability 0.033563 in initial state
93282 explored states, 1 states in BSSCs (1 absorbing)
377900 component updates, 4706539512 transient state updates
Bounds: [0.96644+3.35640e-02]@[0.00000](377900)
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396656 loops (319/sec), 4908606139 sampling steps, 11517 aborted
loop condition 0.033545, exit probability 0.033545 in initial state
93325 explored states, 1 states in BSSCs (1 absorbing)
379451 component updates, 4725861602 transient state updates
Bounds: [0.96645+3.35452e-02]@[0.00000](379451)
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398260 loops (320/sec), 4928588193 sampling steps, 11571 aborted
loop condition 0.033530, exit probability 0.033529 in initial state
93338 explored states, 1 states in BSSCs (1 absorbing)
381001 component updates, 4745170846 transient state updates
Bounds: [0.96647+3.35299e-02]@[0.00000](381001)
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399848 loops (317/sec), 4948369845 sampling steps, 11616 aborted
loop condition 0.033507, exit probability 0.033507 in initial state
93389 explored states, 1 states in BSSCs (1 absorbing)
382544 component updates, 4764391794 transient state updates
Bounds: [0.96649+3.35074e-02]@[0.00000](382544)
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401438 loops (318/sec), 4968177161 sampling steps, 11669 aborted
loop condition 0.033474, exit probability 0.033473 in initial state
93424 explored states, 1 states in BSSCs (1 absorbing)
384081 component updates, 4783538792 transient state updates
Bounds: [0.96653+3.34737e-02]@[0.00000](384081)
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403029 loops (318/sec), 4987996249 sampling steps, 11704 aborted
loop condition 0.033436, exit probability 0.033436 in initial state
93440 explored states, 1 states in BSSCs (1 absorbing)
385637 component updates, 4802921684 transient state updates
Bounds: [0.96656+3.34362e-02]@[0.00000](385637)
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404626 loops (319/sec), 5007889089 sampling steps, 11741 aborted
loop condition 0.033404, exit probability 0.033404 in initial state
93475 explored states, 1 states in BSSCs (1 absorbing)
387197 component updates, 4822353604 transient state updates
Bounds: [0.96660+3.34044e-02]@[0.00000](387197)
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406227 loops (320/sec), 5027834001 sampling steps, 11787 aborted
loop condition 0.033378, exit probability 0.033377 in initial state
93497 explored states, 1 states in BSSCs (1 absorbing)
388752 component updates, 4841725550 transient state updates
Bounds: [0.96662+3.33776e-02]@[0.00000](388752)
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407829 loops (320/sec), 5047791635 sampling steps, 11838 aborted
loop condition 0.033336, exit probability 0.033336 in initial state
93534 explored states, 1 states in BSSCs (1 absorbing)
390303 component updates, 4861047728 transient state updates
Bounds: [0.96666+3.33365e-02]@[0.00000](390303)
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409428 loops (319/sec), 5067709745 sampling steps, 11881 aborted
loop condition 0.033309, exit probability 0.033309 in initial state
93541 explored states, 1 states in BSSCs (1 absorbing)
391859 component updates, 4880429934 transient state updates
Bounds: [0.96669+3.33094e-02]@[0.00000](391859)
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411022 loops (318/sec), 5087566131 sampling steps, 11937 aborted
loop condition 0.033283, exit probability 0.033282 in initial state
93574 explored states, 1 states in BSSCs (1 absorbing)
393397 component updates, 4899588994 transient state updates
Bounds: [0.96672+3.32829e-02]@[0.00000](393397)
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412597 loops (315/sec), 5107176143 sampling steps, 11967 aborted
loop condition 0.033251, exit probability 0.033251 in initial state
93587 explored states, 1 states in BSSCs (1 absorbing)
394942 component updates, 4918835016 transient state updates
Bounds: [0.96675+3.32514e-02]@[0.00000](394942)
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414187 loops (318/sec), 5126983891 sampling steps, 12012 aborted
loop condition 0.033227, exit probability 0.033227 in initial state
93626 explored states, 1 states in BSSCs (1 absorbing)
396487 component updates, 4938081950 transient state updates
Bounds: [0.96677+3.32274e-02]@[0.00000](396487)
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415779 loops (318/sec), 5146815523 sampling steps, 12057 aborted
loop condition 0.033200, exit probability 0.033200 in initial state
93650 explored states, 1 states in BSSCs (1 absorbing)
398034 component updates, 4957353004 transient state updates
Bounds: [0.96680+3.32002e-02]@[0.00000](398034)
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417368 loops (317/sec), 5166609479 sampling steps, 12101 aborted
loop condition 0.033176, exit probability 0.033176 in initial state
93689 explored states, 1 states in BSSCs (1 absorbing)
399579 component updates, 4976598736 transient state updates
Bounds: [0.96682+3.31760e-02]@[0.00000](399579)
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418958 loops (317/sec), 5186405394 sampling steps, 12164 aborted
loop condition 0.033158, exit probability 0.033157 in initial state
93725 explored states, 1 states in BSSCs (1 absorbing)
401106 component updates, 4995621792 transient state updates
Bounds: [0.96684+3.31578e-02]@[0.00000](401106)
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420533 loops (315/sec), 5206024730 sampling steps, 12205 aborted
loop condition 0.033130, exit probability 0.033129 in initial state
93738 explored states, 1 states in BSSCs (1 absorbing)
402640 component updates, 5014730136 transient state updates
Bounds: [0.96687+3.31299e-02]@[0.00000](402640)
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422112 loops (315/sec), 5225695722 sampling steps, 12248 aborted
loop condition 0.033102, exit probability 0.033101 in initial state
93771 explored states, 1 states in BSSCs (1 absorbing)
404176 component updates, 5033865534 transient state updates
Bounds: [0.96690+3.31017e-02]@[0.00000](404176)
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423691 loops (315/sec), 5245365452 sampling steps, 12293 aborted
loop condition 0.033079, exit probability 0.033078 in initial state
93800 explored states, 1 states in BSSCs (1 absorbing)
405710 component updates, 5052975440 transient state updates
Bounds: [0.96692+3.30788e-02]@[0.00000](405710)
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425269 loops (315/sec), 5265022410 sampling steps, 12341 aborted
loop condition 0.033052, exit probability 0.033052 in initial state
93814 explored states, 1 states in BSSCs (1 absorbing)
407240 component updates, 5072034416 transient state updates
Bounds: [0.96695+3.30524e-02]@[0.00000](407240)
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
426829 loops (312/sec), 5284456852 sampling steps, 12386 aborted
loop condition 0.033028, exit probability 0.033028 in initial state
93841 explored states, 1 states in BSSCs (1 absorbing)
408755 component updates, 5090908434 transient state updates
Bounds: [0.96697+3.30285e-02]@[0.00000](408755)
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428405 loops (315/sec), 5304089972 sampling steps, 12430 aborted
loop condition 0.033011, exit probability 0.033011 in initial state
93856 explored states, 1 states in BSSCs (1 absorbing)
410287 component updates, 5109993442 transient state updates
Bounds: [0.96699+3.30113e-02]@[0.00000](410287)
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429984 loops (315/sec), 5323758004 sampling steps, 12488 aborted
loop condition 0.032994, exit probability 0.032994 in initial state
93891 explored states, 1 states in BSSCs (1 absorbing)
411808 component updates, 5128940828 transient state updates
Bounds: [0.96701+3.29943e-02]@[0.00000](411808)
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431560 loops (315/sec), 5343391320 sampling steps, 12531 aborted
loop condition 0.032970, exit probability 0.032969 in initial state
93914 explored states, 1 states in BSSCs (1 absorbing)
413341 component updates, 5148038286 transient state updates
Bounds: [0.96703+3.29698e-02]@[0.00000](413341)
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433129 loops (313/sec), 5362937360 sampling steps, 12562 aborted
loop condition 0.032944, exit probability 0.032943 in initial state
93917 explored states, 1 states in BSSCs (1 absorbing)
414879 component updates, 5167198038 transient state updates
Bounds: [0.96706+3.29438e-02]@[0.00000](414879)
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434711 loops (316/sec), 5382643540 sampling steps, 12617 aborted
loop condition 0.032914, exit probability 0.032913 in initial state
93927 explored states, 1 states in BSSCs (1 absorbing)
416406 component updates, 5186218788 transient state updates
Bounds: [0.96709+3.29136e-02]@[0.00000](416406)
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436275 loops (312/sec), 5402127538 sampling steps, 12666 aborted
loop condition 0.032893, exit probability 0.032893 in initial state
93939 explored states, 1 states in BSSCs (1 absorbing)
417921 component updates, 5205092464 transient state updates
Bounds: [0.96711+3.28931e-02]@[0.00000](417921)
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437852 loops (315/sec), 5421772372 sampling steps, 12710 aborted
loop condition 0.032875, exit probability 0.032875 in initial state
93970 explored states, 1 states in BSSCs (1 absorbing)
419454 component updates, 5224189356 transient state updates
Bounds: [0.96712+3.28753e-02]@[0.00000](419454)
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439427 loops (314/sec), 5441392204 sampling steps, 12766 aborted
loop condition 0.032852, exit probability 0.032852 in initial state
93985 explored states, 1 states in BSSCs (1 absorbing)
420973 component updates, 5243111418 transient state updates
Bounds: [0.96715+3.28524e-02]@[0.00000](420973)
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
440992 loops (312/sec), 5460888596 sampling steps, 12807 aborted
loop condition 0.032823, exit probability 0.032823 in initial state
94029 explored states, 1 states in BSSCs (1 absorbing)
422497 component updates, 5262097104 transient state updates
Bounds: [0.96718+3.28233e-02]@[0.00000](422497)
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442571 loops (315/sec), 5480558384 sampling steps, 12856 aborted
loop condition 0.032801, exit probability 0.032801 in initial state
94037 explored states, 1 states in BSSCs (1 absorbing)
424027 component updates, 5281156064 transient state updates
Bounds: [0.96720+3.28013e-02]@[0.00000](424027)
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444149 loops (315/sec), 5500215278 sampling steps, 12900 aborted
loop condition 0.032784, exit probability 0.032783 in initial state
94040 explored states, 1 states in BSSCs (1 absorbing)
425561 component updates, 5300264738 transient state updates
Bounds: [0.96722+3.27835e-02]@[0.00000](425561)
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445734 loops (316/sec), 5519960898 sampling steps, 12956 aborted
loop condition 0.032764, exit probability 0.032763 in initial state
94058 explored states, 1 states in BSSCs (1 absorbing)
427090 component updates, 5319312650 transient state updates
Bounds: [0.96724+3.27639e-02]@[0.00000](427090)
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447305 loops (314/sec), 5539531116 sampling steps, 12991 aborted
loop condition 0.032742, exit probability 0.032742 in initial state
94076 explored states, 1 states in BSSCs (1 absorbing)
428626 component updates, 5338447682 transient state updates
Bounds: [0.96726+3.27420e-02]@[0.00000](428626)
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448877 loops (314/sec), 5559114610 sampling steps, 13026 aborted
loop condition 0.032723, exit probability 0.032723 in initial state
94092 explored states, 1 states in BSSCs (1 absorbing)
430163 component updates, 5357595004 transient state updates
Bounds: [0.96728+3.27230e-02]@[0.00000](430163)
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450452 loops (314/sec), 5578733104 sampling steps, 13072 aborted
loop condition 0.032705, exit probability 0.032704 in initial state
94114 explored states, 1 states in BSSCs (1 absorbing)
431692 component updates, 5376640136 transient state updates
Bounds: [0.96730+3.27049e-02]@[0.00000](431692)
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452023 loops (314/sec), 5598303300 sampling steps, 13116 aborted
loop condition 0.032680, exit probability 0.032680 in initial state
94145 explored states, 1 states in BSSCs (1 absorbing)
433219 component updates, 5395662220 transient state updates
Bounds: [0.96732+3.26803e-02]@[0.00000](433219)
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
453574 loops (310/sec), 5617624674 sampling steps, 13148 aborted
loop condition 0.032657, exit probability 0.032657 in initial state
94163 explored states, 1 states in BSSCs (1 absorbing)
434738 component updates, 5414584902 transient state updates
Bounds: [0.96734+3.26575e-02]@[0.00000](434738)
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
455138 loops (312/sec), 5637107868 sampling steps, 13192 aborted
loop condition 0.032638, exit probability 0.032637 in initial state
94168 explored states, 1 states in BSSCs (1 absorbing)
436258 component updates, 5433519688 transient state updates
Bounds: [0.96736+3.26379e-02]@[0.00000](436258)
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456702 loops (312/sec), 5656591638 sampling steps, 13230 aborted
loop condition 0.032623, exit probability 0.032622 in initial state
94184 explored states, 1 states in BSSCs (1 absorbing)
437784 component updates, 5452529628 transient state updates
Bounds: [0.96738+3.26228e-02]@[0.00000](437784)
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458277 loops (315/sec), 5676212254 sampling steps, 13289 aborted
loop condition 0.032609, exit probability 0.032609 in initial state
94203 explored states, 1 states in BSSCs (1 absorbing)
439300 component updates, 5471415220 transient state updates
Bounds: [0.96739+3.26091e-02]@[0.00000](439300)
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459852 loops (315/sec), 5695822105 sampling steps, 13340 aborted
loop condition 0.032595, exit probability 0.032594 in initial state
94235 explored states, 1 states in BSSCs (1 absorbing)
440824 component updates, 5490399994 transient state updates
Bounds: [0.96741+3.25948e-02]@[0.00000](440824)
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461423 loops (314/sec), 5715391583 sampling steps, 13380 aborted
loop condition 0.032577, exit probability 0.032577 in initial state
94249 explored states, 1 states in BSSCs (1 absorbing)
442355 component updates, 5509470960 transient state updates
Bounds: [0.96742+3.25773e-02]@[0.00000](442355)
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462993 loops (313/sec), 5734947119 sampling steps, 13434 aborted
loop condition 0.032562, exit probability 0.032561 in initial state
94278 explored states, 1 states in BSSCs (1 absorbing)
443871 component updates, 5528355282 transient state updates
Bounds: [0.96744+3.25620e-02]@[0.00000](443871)
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464564 loops (314/sec), 5754505033 sampling steps, 13488 aborted
loop condition 0.032550, exit probability 0.032550 in initial state
94312 explored states, 1 states in BSSCs (1 absorbing)
445388 component updates, 5547252350 transient state updates
Bounds: [0.96745+3.25500e-02]@[0.00000](445388)
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466122 loops (311/sec), 5773914199 sampling steps, 13527 aborted
loop condition 0.032527, exit probability 0.032526 in initial state
94332 explored states, 1 states in BSSCs (1 absorbing)
446907 component updates, 5566175348 transient state updates
Bounds: [0.96747+3.25268e-02]@[0.00000](446907)
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467674 loops (310/sec), 5793247955 sampling steps, 13572 aborted
loop condition 0.032511, exit probability 0.032510 in initial state
94340 explored states, 1 states in BSSCs (1 absorbing)
448414 component updates, 5584948428 transient state updates
Bounds: [0.96749+3.25106e-02]@[0.00000](448414)
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
469233 loops (311/sec), 5812667411 sampling steps, 13615 aborted
loop condition 0.032502, exit probability 0.032501 in initial state
94340 explored states, 1 states in BSSCs (1 absorbing)
449930 component updates, 5603832024 transient state updates
Bounds: [0.96750+3.25017e-02]@[0.00000](449930)
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470798 loops (312/sec), 5832162931 sampling steps, 13664 aborted
loop condition 0.032489, exit probability 0.032489 in initial state
94375 explored states, 1 states in BSSCs (1 absorbing)
451446 component updates, 5622716926 transient state updates
Bounds: [0.96751+3.24891e-02]@[0.00000](451446)
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
472358 loops (311/sec), 5851596145 sampling steps, 13700 aborted
loop condition 0.032470, exit probability 0.032470 in initial state
94397 explored states, 1 states in BSSCs (1 absorbing)
452970 component updates, 5641701710 transient state updates
Bounds: [0.96753+3.24701e-02]@[0.00000](452970)
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473920 loops (312/sec), 5871053725 sampling steps, 13750 aborted
loop condition 0.032456, exit probability 0.032456 in initial state
94424 explored states, 1 states in BSSCs (1 absorbing)
454482 component updates, 5660536192 transient state updates
Bounds: [0.96754+3.24563e-02]@[0.00000](454482)
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475481 loops (312/sec), 5890500599 sampling steps, 13797 aborted
loop condition 0.032441, exit probability 0.032440 in initial state
94426 explored states, 1 states in BSSCs (1 absorbing)
455996 component updates, 5679397564 transient state updates
Bounds: [0.96756+3.24405e-02]@[0.00000](455996)
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477029 loops (309/sec), 5909782807 sampling steps, 13842 aborted
loop condition 0.032425, exit probability 0.032424 in initial state
94433 explored states, 1 states in BSSCs (1 absorbing)
457499 component updates, 5698119338 transient state updates
Bounds: [0.96758+3.24249e-02]@[0.00000](457499)
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478594 loops (312/sec), 5929278323 sampling steps, 13891 aborted
loop condition 0.032411, exit probability 0.032411 in initial state
94445 explored states, 1 states in BSSCs (1 absorbing)
459015 component updates, 5717004274 transient state updates
Bounds: [0.96759+3.24113e-02]@[0.00000](459015)
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480147 loops (310/sec), 5948623007 sampling steps, 13941 aborted
loop condition 0.032396, exit probability 0.032396 in initial state
94471 explored states, 1 states in BSSCs (1 absorbing)
460518 component updates, 5735725880 transient state updates
Bounds: [0.96760+3.23965e-02]@[0.00000](460518)
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481710 loops (312/sec), 5968093717 sampling steps, 13988 aborted
loop condition 0.032382, exit probability 0.032382 in initial state
94489 explored states, 1 states in BSSCs (1 absorbing)
462034 component updates, 5754610932 transient state updates
Bounds: [0.96762+3.23824e-02]@[0.00000](462034)
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483273 loops (312/sec), 5987562405 sampling steps, 14029 aborted
loop condition 0.032362, exit probability 0.032362 in initial state
94515 explored states, 1 states in BSSCs (1 absorbing)
463556 component updates, 5773568852 transient state updates
Bounds: [0.96764+3.23623e-02]@[0.00000](463556)
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
484828 loops (310/sec), 6006933029 sampling steps, 14065 aborted
loop condition 0.032337, exit probability 0.032336 in initial state
94534 explored states, 1 states in BSSCs (1 absorbing)
465075 component updates, 5792490720 transient state updates
Bounds: [0.96766+3.23367e-02]@[0.00000](465075)
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486396 loops (313/sec), 6026466987 sampling steps, 14117 aborted
loop condition 0.032311, exit probability 0.032311 in initial state
94555 explored states, 1 states in BSSCs (1 absorbing)
466591 component updates, 5811376724 transient state updates
Bounds: [0.96769+3.23112e-02]@[0.00000](466591)
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487961 loops (312/sec), 6045961413 sampling steps, 14153 aborted
loop condition 0.032292, exit probability 0.032291 in initial state
94572 explored states, 1 states in BSSCs (1 absorbing)
468120 component updates, 5830422650 transient state updates
Bounds: [0.96771+3.22917e-02]@[0.00000](468120)
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489525 loops (312/sec), 6065446495 sampling steps, 14201 aborted
loop condition 0.032273, exit probability 0.032272 in initial state
94579 explored states, 1 states in BSSCs (1 absorbing)
469636 component updates, 5849309832 transient state updates
Bounds: [0.96773+3.22728e-02]@[0.00000](469636)
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491090 loops (312/sec), 6084941939 sampling steps, 14243 aborted
loop condition 0.032256, exit probability 0.032256 in initial state
94605 explored states, 1 states in BSSCs (1 absorbing)
471159 component updates, 5868282170 transient state updates
Bounds: [0.96774+3.22560e-02]@[0.00000](471159)
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492652 loops (312/sec), 6104401897 sampling steps, 14297 aborted
loop condition 0.032242, exit probability 0.032242 in initial state
94615 explored states, 1 states in BSSCs (1 absorbing)
472667 component updates, 5887069248 transient state updates
Bounds: [0.96776+3.22423e-02]@[0.00000](472667)
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494192 loops (308/sec), 6123586841 sampling steps, 14339 aborted
loop condition 0.032231, exit probability 0.032231 in initial state
94649 explored states, 1 states in BSSCs (1 absorbing)
474165 component updates, 5905730720 transient state updates
Bounds: [0.96777+3.22312e-02]@[0.00000](474165)
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
495748 loops (311/sec), 6142971587 sampling steps, 14381 aborted
loop condition 0.032217, exit probability 0.032216 in initial state
94665 explored states, 1 states in BSSCs (1 absorbing)
475679 component updates, 5924592480 transient state updates
Bounds: [0.96778+3.22168e-02]@[0.00000](475679)
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
497314 loops (313/sec), 6162477769 sampling steps, 14427 aborted
loop condition 0.032198, exit probability 0.032198 in initial state
94677 explored states, 1 states in BSSCs (1 absorbing)
477199 component updates, 5943525568 transient state updates
Bounds: [0.96780+3.21982e-02]@[0.00000](477199)
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498872 loops (311/sec), 6181885703 sampling steps, 14465 aborted
loop condition 0.032186, exit probability 0.032185 in initial state
94710 explored states, 1 states in BSSCs (1 absorbing)
478719 component updates, 5962460164 transient state updates
Bounds: [0.96781+3.21855e-02]@[0.00000](478719)
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
500428 loops (311/sec), 6201268867 sampling steps, 14500 aborted
loop condition 0.032174, exit probability 0.032174 in initial state
94725 explored states, 1 states in BSSCs (1 absorbing)
480240 component updates, 5981407234 transient state updates
Bounds: [0.96783+3.21743e-02]@[0.00000](480240)
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501998 loops (314/sec), 6220825723 sampling steps, 14556 aborted
loop condition 0.032165, exit probability 0.032165 in initial state
94737 explored states, 1 states in BSSCs (1 absorbing)
481754 component updates, 6000266382 transient state updates
Bounds: [0.96783+3.21653e-02]@[0.00000](481754)
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503554 loops (311/sec), 6240211163 sampling steps, 14604 aborted
loop condition 0.032152, exit probability 0.032151 in initial state
94783 explored states, 1 states in BSSCs (1 absorbing)
483262 component updates, 6019053822 transient state updates
Bounds: [0.96785+3.21516e-02]@[0.00000](483262)
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
505127 loops (314/sec), 6259805967 sampling steps, 14657 aborted
loop condition 0.032139, exit probability 0.032138 in initial state
94804 explored states, 1 states in BSSCs (1 absorbing)
484782 component updates, 6037988344 transient state updates
Bounds: [0.96786+3.21385e-02]@[0.00000](484782)
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506676 loops (309/sec), 6279102191 sampling steps, 14695 aborted
loop condition 0.032131, exit probability 0.032131 in initial state
94823 explored states, 1 states in BSSCs (1 absorbing)
486293 component updates, 6056811086 transient state updates
Bounds: [0.96787+3.21310e-02]@[0.00000](486293)
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508242 loops (313/sec), 6298611167 sampling steps, 14746 aborted
loop condition 0.032116, exit probability 0.032116 in initial state
94833 explored states, 1 states in BSSCs (1 absorbing)
487808 component updates, 6075684858 transient state updates
Bounds: [0.96788+3.21160e-02]@[0.00000](487808)
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
509803 loops (312/sec), 6318056729 sampling steps, 14791 aborted
loop condition 0.032102, exit probability 0.032101 in initial state
94848 explored states, 1 states in BSSCs (1 absorbing)
489324 component updates, 6094569640 transient state updates
Bounds: [0.96790+3.21017e-02]@[0.00000](489324)
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511364 loops (312/sec), 6337502781 sampling steps, 14840 aborted
loop condition 0.032088, exit probability 0.032087 in initial state
94863 explored states, 1 states in BSSCs (1 absorbing)
490836 component updates, 6113405328 transient state updates
Bounds: [0.96791+3.20879e-02]@[0.00000](490836)
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512923 loops (311/sec), 6356916771 sampling steps, 14896 aborted
loop condition 0.032079, exit probability 0.032078 in initial state
94880 explored states, 1 states in BSSCs (1 absorbing)
492339 component updates, 6132127852 transient state updates
Bounds: [0.96792+3.20788e-02]@[0.00000](492339)
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514476 loops (310/sec), 6376262285 sampling steps, 14939 aborted
loop condition 0.032069, exit probability 0.032069 in initial state
94898 explored states, 1 states in BSSCs (1 absorbing)
493849 component updates, 6150937534 transient state updates
Bounds: [0.96793+3.20692e-02]@[0.00000](493849)
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
516037 loops (312/sec), 6395707059 sampling steps, 14995 aborted
loop condition 0.032052, exit probability 0.032051 in initial state
94925 explored states, 1 states in BSSCs (1 absorbing)
495354 component updates, 6169684868 transient state updates
Bounds: [0.96795+3.20517e-02]@[0.00000](495354)
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517591 loops (310/sec), 6415064361 sampling steps, 15047 aborted
loop condition 0.032038, exit probability 0.032038 in initial state
94947 explored states, 1 states in BSSCs (1 absorbing)
496856 component updates, 6188394322 transient state updates
Bounds: [0.96796+3.20384e-02]@[0.00000](496856)
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
519143 loops (310/sec), 6434398867 sampling steps, 15083 aborted
loop condition 0.032028, exit probability 0.032027 in initial state
94974 explored states, 1 states in BSSCs (1 absorbing)
498372 component updates, 6207280272 transient state updates
Bounds: [0.96797+3.20277e-02]@[0.00000](498372)
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520686 loops (308/sec), 6453620921 sampling steps, 15134 aborted
loop condition 0.032013, exit probability 0.032013 in initial state
94985 explored states, 1 states in BSSCs (1 absorbing)
499864 component updates, 6225866724 transient state updates
Bounds: [0.96799+3.20135e-02]@[0.00000](499864)
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
522237 loops (310/sec), 6472942475 sampling steps, 15172 aborted
loop condition 0.032004, exit probability 0.032003 in initial state
95004 explored states, 1 states in BSSCs (1 absorbing)
501377 component updates, 6244714782 transient state updates
Bounds: [0.96800+3.20039e-02]@[0.00000](501377)
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523801 loops (312/sec), 6492425095 sampling steps, 15224 aborted
loop condition 0.031993, exit probability 0.031993 in initial state
95017 explored states, 1 states in BSSCs (1 absorbing)
502889 component updates, 6263549120 transient state updates
Bounds: [0.96801+3.19932e-02]@[0.00000](502889)
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
525359 loops (311/sec), 6511831937 sampling steps, 15269 aborted
loop condition 0.031983, exit probability 0.031982 in initial state
95039 explored states, 1 states in BSSCs (1 absorbing)
504402 component updates, 6282395236 transient state updates
Bounds: [0.96802+3.19827e-02]@[0.00000](504402)
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526924 loops (313/sec), 6531326817 sampling steps, 15318 aborted
loop condition 0.031976, exit probability 0.031975 in initial state
95053 explored states, 1 states in BSSCs (1 absorbing)
505918 component updates, 6301279850 transient state updates
Bounds: [0.96802+3.19758e-02]@[0.00000](505918)
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528491 loops (313/sec), 6550848295 sampling steps, 15372 aborted
loop condition 0.031968, exit probability 0.031967 in initial state
95061 explored states, 1 states in BSSCs (1 absorbing)
507431 component updates, 6320128502 transient state updates
Bounds: [0.96803+3.19675e-02]@[0.00000](507431)
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
530037 loops (309/sec), 6570107373 sampling steps, 15419 aborted
loop condition 0.031959, exit probability 0.031958 in initial state
95080 explored states, 1 states in BSSCs (1 absorbing)
508930 component updates, 6338802040 transient state updates
Bounds: [0.96804+3.19589e-02]@[0.00000](508930)
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531588 loops (310/sec), 6589427603 sampling steps, 15453 aborted
loop condition 0.031952, exit probability 0.031952 in initial state
95087 explored states, 1 states in BSSCs (1 absorbing)
510447 component updates, 6357698466 transient state updates
Bounds: [0.96805+3.19523e-02]@[0.00000](510447)
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
533132 loops (308/sec), 6608660619 sampling steps, 15495 aborted
loop condition 0.031945, exit probability 0.031945 in initial state
95097 explored states, 1 states in BSSCs (1 absorbing)
511949 component updates, 6376407994 transient state updates
Bounds: [0.96805+3.19452e-02]@[0.00000](511949)
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
534685 loops (310/sec), 6628005321 sampling steps, 15531 aborted
loop condition 0.031936, exit probability 0.031936 in initial state
95122 explored states, 1 states in BSSCs (1 absorbing)
513466 component updates, 6395304346 transient state updates
Bounds: [0.96806+3.19363e-02]@[0.00000](513466)
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536247 loops (312/sec), 6647462735 sampling steps, 15580 aborted
loop condition 0.031923, exit probability 0.031923 in initial state
95141 explored states, 1 states in BSSCs (1 absorbing)
514979 component updates, 6414150888 transient state updates
Bounds: [0.96808+3.19229e-02]@[0.00000](514979)
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
537808 loops (312/sec), 6666908487 sampling steps, 15620 aborted
loop condition 0.031913, exit probability 0.031912 in initial state
95148 explored states, 1 states in BSSCs (1 absorbing)
516500 component updates, 6433098064 transient state updates
Bounds: [0.96809+3.19126e-02]@[0.00000](516500)
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539377 loops (313/sec), 6686452069 sampling steps, 15674 aborted
loop condition 0.031904, exit probability 0.031903 in initial state
95173 explored states, 1 states in BSSCs (1 absorbing)
518015 component updates, 6451969020 transient state updates
Bounds: [0.96810+3.19038e-02]@[0.00000](518015)
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
540933 loops (311/sec), 6705835781 sampling steps, 15720 aborted
loop condition 0.031889, exit probability 0.031889 in initial state
95187 explored states, 1 states in BSSCs (1 absorbing)
519525 component updates, 6470779384 transient state updates
Bounds: [0.96811+3.18890e-02]@[0.00000](519525)
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
542493 loops (311/sec), 6725268905 sampling steps, 15766 aborted
loop condition 0.031880, exit probability 0.031880 in initial state
95195 explored states, 1 states in BSSCs (1 absorbing)
521039 component updates, 6489639430 transient state updates
Bounds: [0.96812+3.18803e-02]@[0.00000](521039)
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544047 loops (310/sec), 6744628695 sampling steps, 15809 aborted
loop condition 0.031874, exit probability 0.031874 in initial state
95216 explored states, 1 states in BSSCs (1 absorbing)
522550 component updates, 6508463710 transient state updates
Bounds: [0.96813+3.18743e-02]@[0.00000](522550)
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
545601 loops (310/sec), 6763987599 sampling steps, 15843 aborted
loop condition 0.031866, exit probability 0.031865 in initial state
95232 explored states, 1 states in BSSCs (1 absorbing)
524070 component updates, 6527398956 transient state updates
Bounds: [0.96813+3.18655e-02]@[0.00000](524070)
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547150 loops (309/sec), 6783282849 sampling steps, 15884 aborted
loop condition 0.031851, exit probability 0.031851 in initial state
95252 explored states, 1 states in BSSCs (1 absorbing)
525578 component updates, 6546183258 transient state updates
Bounds: [0.96815+3.18514e-02]@[0.00000](525578)
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548705 loops (310/sec), 6802652777 sampling steps, 15925 aborted
loop condition 0.031840, exit probability 0.031839 in initial state
95264 explored states, 1 states in BSSCs (1 absorbing)
527092 component updates, 6565042290 transient state updates
Bounds: [0.96816+3.18396e-02]@[0.00000](527092)
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
550262 loops (311/sec), 6822048753 sampling steps, 15971 aborted
loop condition 0.031831, exit probability 0.031831 in initial state
95275 explored states, 1 states in BSSCs (1 absorbing)
528603 component updates, 6583865086 transient state updates
Bounds: [0.96817+3.18312e-02]@[0.00000](528603)
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
551817 loops (311/sec), 6841421199 sampling steps, 16017 aborted
loop condition 0.031825, exit probability 0.031825 in initial state
95283 explored states, 1 states in BSSCs (1 absorbing)
530112 component updates, 6602664336 transient state updates
Bounds: [0.96817+3.18252e-02]@[0.00000](530112)
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
553377 loops (311/sec), 6860854421 sampling steps, 16061 aborted
loop condition 0.031820, exit probability 0.031820 in initial state
95292 explored states, 1 states in BSSCs (1 absorbing)
531628 component updates, 6621549082 transient state updates
Bounds: [0.96818+3.18200e-02]@[0.00000](531628)
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
554938 loops (312/sec), 6880299259 sampling steps, 16108 aborted
loop condition 0.031813, exit probability 0.031812 in initial state
95314 explored states, 1 states in BSSCs (1 absorbing)
533142 component updates, 6640408560 transient state updates
Bounds: [0.96819+3.18128e-02]@[0.00000](533142)
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
556490 loops (310/sec), 6899632681 sampling steps, 16157 aborted
loop condition 0.031805, exit probability 0.031805 in initial state
95314 explored states, 1 states in BSSCs (1 absorbing)
534645 component updates, 6659131528 transient state updates
Bounds: [0.96819+3.18052e-02]@[0.00000](534645)
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558063 loops (314/sec), 6919228033 sampling steps, 16211 aborted
loop condition 0.031801, exit probability 0.031800 in initial state
95340 explored states, 1 states in BSSCs (1 absorbing)
536164 component updates, 6678053944 transient state updates
Bounds: [0.96820+3.18007e-02]@[0.00000](536164)
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
559672 loops (321/sec), 6939271175 sampling steps, 16260 aborted
loop condition 0.031795, exit probability 0.031795 in initial state
95360 explored states, 1 states in BSSCs (1 absorbing)
537724 component updates, 6697486568 transient state updates
Bounds: [0.96821+3.17950e-02]@[0.00000](537724)
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561281 loops (321/sec), 6959314255 sampling steps, 16297 aborted
loop condition 0.031786, exit probability 0.031786 in initial state
95361 explored states, 1 states in BSSCs (1 absorbing)
539296 component updates, 6717068652 transient state updates
Bounds: [0.96821+3.17863e-02]@[0.00000](539296)
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
562899 loops (323/sec), 6979470625 sampling steps, 16341 aborted
loop condition 0.031777, exit probability 0.031777 in initial state
95381 explored states, 1 states in BSSCs (1 absorbing)
540870 component updates, 6736677034 transient state updates
Bounds: [0.96822+3.17771e-02]@[0.00000](540870)
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564521 loops (324/sec), 6999674483 sampling steps, 16390 aborted
loop condition 0.031769, exit probability 0.031769 in initial state
95394 explored states, 1 states in BSSCs (1 absorbing)
542443 component updates, 6756270288 transient state updates
Bounds: [0.96823+3.17690e-02]@[0.00000](542443)
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
566141 loops (324/sec), 7019856177 sampling steps, 16436 aborted
loop condition 0.031761, exit probability 0.031761 in initial state
95416 explored states, 1 states in BSSCs (1 absorbing)
544017 component updates, 6775878804 transient state updates
Bounds: [0.96824+3.17610e-02]@[0.00000](544017)
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
567759 loops (323/sec), 7040012341 sampling steps, 16486 aborted
loop condition 0.031754, exit probability 0.031754 in initial state
95430 explored states, 1 states in BSSCs (1 absorbing)
545585 component updates, 6795412444 transient state updates
Bounds: [0.96825+3.17543e-02]@[0.00000](545585)
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
569369 loops (321/sec), 7060069383 sampling steps, 16535 aborted
loop condition 0.031745, exit probability 0.031745 in initial state
95435 explored states, 1 states in BSSCs (1 absorbing)
547146 component updates, 6814858962 transient state updates
Bounds: [0.96825+3.17455e-02]@[0.00000](547146)
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
570965 loops (319/sec), 7079950649 sampling steps, 16573 aborted
loop condition 0.031741, exit probability 0.031741 in initial state
95440 explored states, 1 states in BSSCs (1 absorbing)
548704 component updates, 6834266652 transient state updates
Bounds: [0.96826+3.17409e-02]@[0.00000](548704)
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
572573 loops (321/sec), 7099982455 sampling steps, 16608 aborted
loop condition 0.031734, exit probability 0.031734 in initial state
95441 explored states, 1 states in BSSCs (1 absorbing)
550277 component updates, 6853862354 transient state updates
Bounds: [0.96827+3.17344e-02]@[0.00000](550277)
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
574169 loops (319/sec), 7119864667 sampling steps, 16647 aborted
loop condition 0.031727, exit probability 0.031727 in initial state
95462 explored states, 1 states in BSSCs (1 absorbing)
551834 component updates, 6873258556 transient state updates
Bounds: [0.96827+3.17271e-02]@[0.00000](551834)
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
575785 loops (323/sec), 7139995805 sampling steps, 16701 aborted
loop condition 0.031719, exit probability 0.031719 in initial state
95495 explored states, 1 states in BSSCs (1 absorbing)
553396 component updates, 6892716908 transient state updates
Bounds: [0.96828+3.17194e-02]@[0.00000](553396)
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
577398 loops (322/sec), 7160089083 sampling steps, 16746 aborted
loop condition 0.031713, exit probability 0.031713 in initial state
95512 explored states, 1 states in BSSCs (1 absorbing)
554964 component updates, 6912249564 transient state updates
Bounds: [0.96829+3.17131e-02]@[0.00000](554964)
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
579014 loops (323/sec), 7180219863 sampling steps, 16797 aborted
loop condition 0.031705, exit probability 0.031704 in initial state
95533 explored states, 1 states in BSSCs (1 absorbing)
556529 component updates, 6931745064 transient state updates
Bounds: [0.96830+3.17046e-02]@[0.00000](556529)
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
580633 loops (323/sec), 7200387631 sampling steps, 16855 aborted
loop condition 0.031698, exit probability 0.031697 in initial state
95538 explored states, 1 states in BSSCs (1 absorbing)
558090 component updates, 6951190144 transient state updates
Bounds: [0.96830+3.16977e-02]@[0.00000](558090)
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582251 loops (323/sec), 7220543645 sampling steps, 16902 aborted
loop condition 0.031688, exit probability 0.031688 in initial state
95545 explored states, 1 states in BSSCs (1 absorbing)
559661 component updates, 6970760472 transient state updates
Bounds: [0.96831+3.16879e-02]@[0.00000](559661)
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
583863 loops (322/sec), 7240625479 sampling steps, 16947 aborted
loop condition 0.031679, exit probability 0.031679 in initial state
95564 explored states, 1 states in BSSCs (1 absorbing)
561228 component updates, 6990281524 transient state updates
Bounds: [0.96832+3.16793e-02]@[0.00000](561228)
----------
Computation aborted after 1800.0099267959595 seconds since the total time limit of 1800.0 seconds was exceeded.