Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:59 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/brp/brp.prism --const N=2048,MAX=5 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:04 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:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5469 loops (1092/sec), 36206081 sampling steps, 11 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
54337 explored states, 1 states in BSSCs (1 absorbing)
55 component updates, 335225 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](55)
Sep 13, 2024 10:47:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6605 loops (227/sec), 50071881 sampling steps, 32 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
58331 explored states, 1 states in BSSCs (1 absorbing)
1042 component updates, 12006362 transient state updates
Bounds: [7.4549e-09+1.00000e+00]@[0.00000](1042)
Sep 13, 2024 10:47:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8140 loops (307/sec), 69042789 sampling steps, 76 aborted
loop condition 0.99814, exit probability 0.99804 in initial state
61784 explored states, 1 states in BSSCs (1 absorbing)
2476 component updates, 29870154 transient state updates
Bounds: [0.0018560+9.98144e-01]@[0.00000](2476)
Sep 13, 2024 10:47:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9659 loops (303/sec), 87903352 sampling steps, 106 aborted
loop condition 0.91027, exit probability 0.90915 in initial state
63858 explored states, 1 states in BSSCs (1 absorbing)
3936 component updates, 48057114 transient state updates
Bounds: [0.089729+9.10271e-01]@[0.00000](3936)
Sep 13, 2024 10:47:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11179 loops (303/sec), 106832754 sampling steps, 152 aborted
loop condition 0.74627, exit probability 0.74531 in initial state
65209 explored states, 1 states in BSSCs (1 absorbing)
5405 component updates, 66357442 transient state updates
Bounds: [0.25373+7.46270e-01]@[0.00000](5405)
Sep 13, 2024 10:47:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12694 loops (302/sec), 125696255 sampling steps, 182 aborted
loop condition 0.63319, exit probability 0.63242 in initial state
66137 explored states, 1 states in BSSCs (1 absorbing)
6887 component updates, 84819206 transient state updates
Bounds: [0.36681+6.33186e-01]@[0.00000](6887)
Sep 13, 2024 10:47:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14174 loops (295/sec), 144131500 sampling steps, 220 aborted
loop condition 0.53693, exit probability 0.53630 in initial state
66791 explored states, 1 states in BSSCs (1 absorbing)
8327 component updates, 102758158 transient state updates
Bounds: [0.46307+5.36930e-01]@[0.00000](8327)
Sep 13, 2024 10:47:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15644 loops (293/sec), 162423734 sampling steps, 260 aborted
loop condition 0.45579, exit probability 0.45531 in initial state
67378 explored states, 1 states in BSSCs (1 absorbing)
9753 component updates, 120521420 transient state updates
Bounds: [0.54421+4.55787e-01]@[0.00000](9753)
Sep 13, 2024 10:47:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17171 loops (305/sec), 181444062 sampling steps, 310 aborted
loop condition 0.38854, exit probability 0.38815 in initial state
67846 explored states, 1 states in BSSCs (1 absorbing)
11228 component updates, 138895598 transient state updates
Bounds: [0.61146+3.88544e-01]@[0.00000](11228)
Sep 13, 2024 10:47:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18703 loops (306/sec), 200524441 sampling steps, 355 aborted
loop condition 0.32892, exit probability 0.32861 in initial state
68323 explored states, 1 states in BSSCs (1 absorbing)
12712 component updates, 157380806 transient state updates
Bounds: [0.67108+3.28917e-01]@[0.00000](12712)
Sep 13, 2024 10:47:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20219 loops (302/sec), 219395420 sampling steps, 393 aborted
loop condition 0.27951, exit probability 0.27927 in initial state
68892 explored states, 1 states in BSSCs (1 absorbing)
14187 component updates, 175754870 transient state updates
Bounds: [0.72049+2.79512e-01]@[0.00000](14187)
Sep 13, 2024 10:48:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21718 loops (299/sec), 238067574 sampling steps, 435 aborted
loop condition 0.23915, exit probability 0.23896 in initial state
69323 explored states, 1 states in BSSCs (1 absorbing)
15644 component updates, 193903732 transient state updates
Bounds: [0.76085+2.39154e-01]@[0.00000](15644)
Sep 13, 2024 10:48:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23211 loops (298/sec), 256656585 sampling steps, 485 aborted
loop condition 0.20819, exit probability 0.20803 in initial state
69785 explored states, 1 states in BSSCs (1 absorbing)
17085 component updates, 211855020 transient state updates
Bounds: [0.79181+2.08187e-01]@[0.00000](17085)
Sep 13, 2024 10:48:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24701 loops (298/sec), 275200206 sampling steps, 532 aborted
loop condition 0.18282, exit probability 0.18269 in initial state
70256 explored states, 1 states in BSSCs (1 absorbing)
18525 component updates, 229793386 transient state updates
Bounds: [0.81718+1.82817e-01]@[0.00000](18525)
Sep 13, 2024 10:48:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26231 loops (305/sec), 294255802 sampling steps, 586 aborted
loop condition 0.16221, exit probability 0.16211 in initial state
70771 explored states, 1 states in BSSCs (1 absorbing)
19999 component updates, 248155940 transient state updates
Bounds: [0.83779+1.62210e-01]@[0.00000](19999)
Sep 13, 2024 10:48:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27752 loops (304/sec), 313198113 sampling steps, 622 aborted
loop condition 0.14415, exit probability 0.14407 in initial state
71212 explored states, 1 states in BSSCs (1 absorbing)
21483 component updates, 266641080 transient state updates
Bounds: [0.85585+1.44149e-01]@[0.00000](21483)
Sep 13, 2024 10:48:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29278 loops (305/sec), 332199658 sampling steps, 671 aborted
loop condition 0.13022, exit probability 0.13016 in initial state
71608 explored states, 1 states in BSSCs (1 absorbing)
22959 component updates, 285029018 transient state updates
Bounds: [0.86978+1.30224e-01]@[0.00000](22959)
Sep 13, 2024 10:48:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30813 loops (306/sec), 351315867 sampling steps, 721 aborted
loop condition 0.11944, exit probability 0.11939 in initial state
72024 explored states, 1 states in BSSCs (1 absorbing)
24443 component updates, 303515066 transient state updates
Bounds: [0.88056+1.19444e-01]@[0.00000](24443)
Sep 13, 2024 10:48:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32337 loops (304/sec), 370302159 sampling steps, 758 aborted
loop condition 0.10949, exit probability 0.10945 in initial state
72408 explored states, 1 states in BSSCs (1 absorbing)
25930 component updates, 322040470 transient state updates
Bounds: [0.89051+1.09486e-01]@[0.00000](25930)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33866 loops (305/sec), 389346863 sampling steps, 797 aborted
loop condition 0.10193, exit probability 0.10189 in initial state
72728 explored states, 1 states in BSSCs (1 absorbing)
27419 component updates, 340588500 transient state updates
Bounds: [0.89807+1.01926e-01]@[0.00000](27419)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35363 loops (299/sec), 407990470 sampling steps, 848 aborted
loop condition 0.095939, exit probability 0.095913 in initial state
73096 explored states, 1 states in BSSCs (1 absorbing)
28864 component updates, 358589466 transient state updates
Bounds: [0.90406+9.59390e-02]@[0.00000](28864)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36860 loops (299/sec), 426638644 sampling steps, 891 aborted
loop condition 0.091290, exit probability 0.091270 in initial state
73465 explored states, 1 states in BSSCs (1 absorbing)
30318 component updates, 376701726 transient state updates
Bounds: [0.90871+9.12902e-02]@[0.00000](30318)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38355 loops (298/sec), 445261534 sampling steps, 942 aborted
loop condition 0.087243, exit probability 0.087227 in initial state
73844 explored states, 1 states in BSSCs (1 absorbing)
31762 component updates, 394689506 transient state updates
Bounds: [0.91276+8.72430e-02]@[0.00000](31762)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39884 loops (305/sec), 464293480 sampling steps, 992 aborted
loop condition 0.084079, exit probability 0.084066 in initial state
74172 explored states, 1 states in BSSCs (1 absorbing)
33238 component updates, 413075706 transient state updates
Bounds: [0.91592+8.40793e-02]@[0.00000](33238)
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41304 loops (283/sec), 481977252 sampling steps, 1037 aborted
loop condition 0.080955, exit probability 0.080944 in initial state
74510 explored states, 1 states in BSSCs (1 absorbing)
34612 component updates, 430191468 transient state updates
Bounds: [0.91904+8.09552e-02]@[0.00000](34612)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42704 loops (280/sec), 499418658 sampling steps, 1086 aborted
loop condition 0.079073, exit probability 0.079064 in initial state
74781 explored states, 1 states in BSSCs (1 absorbing)
35962 component updates, 447010466 transient state updates
Bounds: [0.92093+7.90730e-02]@[0.00000](35962)
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44213 loops (301/sec), 518215732 sampling steps, 1138 aborted
loop condition 0.077245, exit probability 0.077238 in initial state
75038 explored states, 1 states in BSSCs (1 absorbing)
37419 component updates, 465159628 transient state updates
Bounds: [0.92275+7.72453e-02]@[0.00000](37419)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45736 loops (304/sec), 537182194 sampling steps, 1189 aborted
loop condition 0.075577, exit probability 0.075571 in initial state
75370 explored states, 1 states in BSSCs (1 absorbing)
38889 component updates, 483470850 transient state updates
Bounds: [0.92442+7.55768e-02]@[0.00000](38889)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47253 loops (303/sec), 556077889 sampling steps, 1235 aborted
loop condition 0.074282, exit probability 0.074277 in initial state
75696 explored states, 1 states in BSSCs (1 absorbing)
40359 component updates, 501783330 transient state updates
Bounds: [0.92572+7.42822e-02]@[0.00000](40359)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48768 loops (303/sec), 574941936 sampling steps, 1278 aborted
loop condition 0.073083, exit probability 0.073078 in initial state
76003 explored states, 1 states in BSSCs (1 absorbing)
41830 component updates, 520106670 transient state updates
Bounds: [0.92692+7.30829e-02]@[0.00000](41830)
Sep 13, 2024 10:49:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50285 loops (303/sec), 593838916 sampling steps, 1319 aborted
loop condition 0.072097, exit probability 0.072094 in initial state
76225 explored states, 1 states in BSSCs (1 absorbing)
43306 component updates, 538492744 transient state updates
Bounds: [0.92790+7.20974e-02]@[0.00000](43306)
Sep 13, 2024 10:49:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51802 loops (303/sec), 612734293 sampling steps, 1358 aborted
loop condition 0.071238, exit probability 0.071234 in initial state
76431 explored states, 1 states in BSSCs (1 absorbing)
44783 component updates, 556892102 transient state updates
Bounds: [0.92876+7.12377e-02]@[0.00000](44783)
Sep 13, 2024 10:49:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53338 loops (307/sec), 631864462 sampling steps, 1408 aborted
loop condition 0.070443, exit probability 0.070440 in initial state
76691 explored states, 1 states in BSSCs (1 absorbing)
46268 component updates, 575390878 transient state updates
Bounds: [0.92956+7.04429e-02]@[0.00000](46268)
Sep 13, 2024 10:49:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54822 loops (296/sec), 650343751 sampling steps, 1446 aborted
loop condition 0.069740, exit probability 0.069738 in initial state
76915 explored states, 1 states in BSSCs (1 absorbing)
47713 component updates, 593390570 transient state updates
Bounds: [0.93026+6.97402e-02]@[0.00000](47713)
Sep 13, 2024 10:49:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56318 loops (299/sec), 668977152 sampling steps, 1493 aborted
loop condition 0.069090, exit probability 0.069088 in initial state
77154 explored states, 1 states in BSSCs (1 absorbing)
49160 component updates, 611414834 transient state updates
Bounds: [0.93091+6.90903e-02]@[0.00000](49160)
Sep 13, 2024 10:50:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57807 loops (297/sec), 687525160 sampling steps, 1535 aborted
loop condition 0.068515, exit probability 0.068512 in initial state
77393 explored states, 1 states in BSSCs (1 absorbing)
50607 component updates, 629439418 transient state updates
Bounds: [0.93149+6.85146e-02]@[0.00000](50607)
Sep 13, 2024 10:50:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59300 loops (298/sec), 706122892 sampling steps, 1578 aborted
loop condition 0.067922, exit probability 0.067920 in initial state
77618 explored states, 1 states in BSSCs (1 absorbing)
52057 component updates, 647501390 transient state updates
Bounds: [0.93208+6.79219e-02]@[0.00000](52057)
Sep 13, 2024 10:50:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60762 loops (292/sec), 724326405 sampling steps, 1618 aborted
loop condition 0.067446, exit probability 0.067444 in initial state
77866 explored states, 1 states in BSSCs (1 absorbing)
53478 component updates, 665201160 transient state updates
Bounds: [0.93255+6.74464e-02]@[0.00000](53478)
Sep 13, 2024 10:50:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62263 loops (300/sec), 743024433 sampling steps, 1660 aborted
loop condition 0.067008, exit probability 0.067006 in initial state
78185 explored states, 1 states in BSSCs (1 absorbing)
54937 component updates, 683375996 transient state updates
Bounds: [0.93299+6.70077e-02]@[0.00000](54937)
Sep 13, 2024 10:50:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63782 loops (303/sec), 761947243 sampling steps, 1708 aborted
loop condition 0.066541, exit probability 0.066540 in initial state
78425 explored states, 1 states in BSSCs (1 absorbing)
56408 component updates, 701700872 transient state updates
Bounds: [0.93346+6.65414e-02]@[0.00000](56408)
Sep 13, 2024 10:50:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65301 loops (303/sec), 780868685 sampling steps, 1754 aborted
loop condition 0.066066, exit probability 0.066065 in initial state
78655 explored states, 1 states in BSSCs (1 absorbing)
57881 component updates, 720049228 transient state updates
Bounds: [0.93393+6.60663e-02]@[0.00000](57881)
Sep 13, 2024 10:50:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66820 loops (303/sec), 799788181 sampling steps, 1795 aborted
loop condition 0.065643, exit probability 0.065641 in initial state
78877 explored states, 1 states in BSSCs (1 absorbing)
59357 component updates, 738435954 transient state updates
Bounds: [0.93436+6.56430e-02]@[0.00000](59357)
Sep 13, 2024 10:50:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68339 loops (303/sec), 818708817 sampling steps, 1839 aborted
loop condition 0.065211, exit probability 0.065209 in initial state
79163 explored states, 1 states in BSSCs (1 absorbing)
60832 component updates, 756808548 transient state updates
Bounds: [0.93479+6.52106e-02]@[0.00000](60832)
Sep 13, 2024 10:50:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69864 loops (304/sec), 837698908 sampling steps, 1881 aborted
loop condition 0.064766, exit probability 0.064765 in initial state
79414 explored states, 1 states in BSSCs (1 absorbing)
62314 component updates, 775269614 transient state updates
Bounds: [0.93523+6.47662e-02]@[0.00000](62314)
Sep 13, 2024 10:50:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71377 loops (302/sec), 856547248 sampling steps, 1913 aborted
loop condition 0.064367, exit probability 0.064365 in initial state
79640 explored states, 1 states in BSSCs (1 absorbing)
63795 component updates, 793719330 transient state updates
Bounds: [0.93563+6.43670e-02]@[0.00000](63795)
Sep 13, 2024 10:50:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72891 loops (302/sec), 875407078 sampling steps, 1954 aborted
loop condition 0.063991, exit probability 0.063990 in initial state
79826 explored states, 1 states in BSSCs (1 absorbing)
65268 component updates, 812068270 transient state updates
Bounds: [0.93601+6.39912e-02]@[0.00000](65268)
Sep 13, 2024 10:50:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74388 loops (299/sec), 894055502 sampling steps, 2003 aborted
loop condition 0.063614, exit probability 0.063613 in initial state
79975 explored states, 1 states in BSSCs (1 absorbing)
66716 component updates, 830106206 transient state updates
Bounds: [0.93639+6.36144e-02]@[0.00000](66716)
Sep 13, 2024 10:51:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75884 loops (299/sec), 912690511 sampling steps, 2054 aborted
loop condition 0.063219, exit probability 0.063218 in initial state
80195 explored states, 1 states in BSSCs (1 absorbing)
68160 component updates, 848093652 transient state updates
Bounds: [0.93678+6.32192e-02]@[0.00000](68160)
Sep 13, 2024 10:51:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77342 loops (291/sec), 930851243 sampling steps, 2102 aborted
loop condition 0.062899, exit probability 0.062898 in initial state
80333 explored states, 1 states in BSSCs (1 absorbing)
69570 component updates, 865656172 transient state updates
Bounds: [0.93710+6.28992e-02]@[0.00000](69570)
Sep 13, 2024 10:51:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78843 loops (300/sec), 949550645 sampling steps, 2153 aborted
loop condition 0.062564, exit probability 0.062563 in initial state
80482 explored states, 1 states in BSSCs (1 absorbing)
71020 component updates, 883720052 transient state updates
Bounds: [0.93744+6.25645e-02]@[0.00000](71020)
Sep 13, 2024 10:51:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80358 loops (303/sec), 968399666 sampling steps, 2206 aborted
loop condition 0.062235, exit probability 0.062234 in initial state
80735 explored states, 1 states in BSSCs (1 absorbing)
72478 component updates, 901881736 transient state updates
Bounds: [0.93776+6.22351e-02]@[0.00000](72478)
Sep 13, 2024 10:51:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81878 loops (303/sec), 987326959 sampling steps, 2240 aborted
loop condition 0.061890, exit probability 0.061889 in initial state
80957 explored states, 1 states in BSSCs (1 absorbing)
73962 component updates, 920367796 transient state updates
Bounds: [0.93811+6.18901e-02]@[0.00000](73962)
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83393 loops (303/sec), 1006199463 sampling steps, 2286 aborted
loop condition 0.061519, exit probability 0.061517 in initial state
81177 explored states, 1 states in BSSCs (1 absorbing)
75431 component updates, 938667090 transient state updates
Bounds: [0.93848+6.15188e-02]@[0.00000](75431)
Sep 13, 2024 10:51:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84906 loops (302/sec), 1025038640 sampling steps, 2319 aborted
loop condition 0.061143, exit probability 0.061142 in initial state
81349 explored states, 1 states in BSSCs (1 absorbing)
76910 component updates, 957090684 transient state updates
Bounds: [0.93886+6.11433e-02]@[0.00000](76910)
Sep 13, 2024 10:51:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86430 loops (304/sec), 1044023228 sampling steps, 2366 aborted
loop condition 0.060793, exit probability 0.060791 in initial state
81539 explored states, 1 states in BSSCs (1 absorbing)
78387 component updates, 975489842 transient state updates
Bounds: [0.93921+6.07928e-02]@[0.00000](78387)
Sep 13, 2024 10:51:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87947 loops (303/sec), 1062919504 sampling steps, 2418 aborted
loop condition 0.060382, exit probability 0.060381 in initial state
81693 explored states, 1 states in BSSCs (1 absorbing)
79852 component updates, 993738048 transient state updates
Bounds: [0.93962+6.03825e-02]@[0.00000](79852)
Sep 13, 2024 10:51:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89471 loops (304/sec), 1081903688 sampling steps, 2469 aborted
loop condition 0.059997, exit probability 0.059995 in initial state
81866 explored states, 1 states in BSSCs (1 absorbing)
81325 component updates, 1012086784 transient state updates
Bounds: [0.94000+5.99965e-02]@[0.00000](81325)
Sep 13, 2024 10:51:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90987 loops (303/sec), 1100789020 sampling steps, 2516 aborted
loop condition 0.059668, exit probability 0.059667 in initial state
82002 explored states, 1 states in BSSCs (1 absorbing)
82794 component updates, 1030386476 transient state updates
Bounds: [0.94033+5.96680e-02]@[0.00000](82794)
Sep 13, 2024 10:51:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92516 loops (305/sec), 1119836882 sampling steps, 2563 aborted
loop condition 0.059304, exit probability 0.059303 in initial state
82191 explored states, 1 states in BSSCs (1 absorbing)
84276 component updates, 1048848708 transient state updates
Bounds: [0.94070+5.93042e-02]@[0.00000](84276)
Sep 13, 2024 10:52:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94023 loops (301/sec), 1138608292 sampling steps, 2614 aborted
loop condition 0.058991, exit probability 0.058990 in initial state
82320 explored states, 1 states in BSSCs (1 absorbing)
85731 component updates, 1066972536 transient state updates
Bounds: [0.94101+5.89910e-02]@[0.00000](85731)
Sep 13, 2024 10:52:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95406 loops (276/sec), 1155837262 sampling steps, 2660 aborted
loop condition 0.058668, exit probability 0.058667 in initial state
82493 explored states, 1 states in BSSCs (1 absorbing)
87068 component updates, 1083628280 transient state updates
Bounds: [0.94133+5.86684e-02]@[0.00000](87068)
Sep 13, 2024 10:52:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96877 loops (294/sec), 1174150288 sampling steps, 2708 aborted
loop condition 0.058360, exit probability 0.058359 in initial state
82679 explored states, 1 states in BSSCs (1 absorbing)
88490 component updates, 1101341742 transient state updates
Bounds: [0.94164+5.83599e-02]@[0.00000](88490)
Sep 13, 2024 10:52:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98344 loops (293/sec), 1192424218 sampling steps, 2743 aborted
loop condition 0.058059, exit probability 0.058057 in initial state
82792 explored states, 1 states in BSSCs (1 absorbing)
89922 component updates, 1119179584 transient state updates
Bounds: [0.94194+5.80586e-02]@[0.00000](89922)
Sep 13, 2024 10:52:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99859 loops (303/sec), 1211297274 sampling steps, 2782 aborted
loop condition 0.057748, exit probability 0.057747 in initial state
82954 explored states, 1 states in BSSCs (1 absorbing)
91398 component updates, 1137566758 transient state updates
Bounds: [0.94225+5.77482e-02]@[0.00000](91398)
Sep 13, 2024 10:52:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101377 loops (303/sec), 1230201796 sampling steps, 2824 aborted
loop condition 0.057448, exit probability 0.057447 in initial state
83117 explored states, 1 states in BSSCs (1 absorbing)
92873 component updates, 1155941296 transient state updates
Bounds: [0.94255+5.74477e-02]@[0.00000](92873)
Sep 13, 2024 10:52:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102891 loops (302/sec), 1249061380 sampling steps, 2865 aborted
loop condition 0.057133, exit probability 0.057132 in initial state
83276 explored states, 1 states in BSSCs (1 absorbing)
94346 component updates, 1174289944 transient state updates
Bounds: [0.94287+5.71329e-02]@[0.00000](94346)
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104407 loops (303/sec), 1267946244 sampling steps, 2917 aborted
loop condition 0.056815, exit probability 0.056814 in initial state
83411 explored states, 1 states in BSSCs (1 absorbing)
95810 component updates, 1192526788 transient state updates
Bounds: [0.94318+5.68153e-02]@[0.00000](95810)
Sep 13, 2024 10:52:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105918 loops (302/sec), 1286769148 sampling steps, 2962 aborted
loop condition 0.056468, exit probability 0.056467 in initial state
83571 explored states, 1 states in BSSCs (1 absorbing)
97276 component updates, 1210789090 transient state updates
Bounds: [0.94353+5.64682e-02]@[0.00000](97276)
Sep 13, 2024 10:52:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107443 loops (305/sec), 1305767688 sampling steps, 3012 aborted
loop condition 0.056132, exit probability 0.056131 in initial state
83791 explored states, 1 states in BSSCs (1 absorbing)
98751 component updates, 1229164564 transient state updates
Bounds: [0.94387+5.61318e-02]@[0.00000](98751)
Sep 13, 2024 10:52:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108951 loops (301/sec), 1324552248 sampling steps, 3047 aborted
loop condition 0.055819, exit probability 0.055818 in initial state
83887 explored states, 1 states in BSSCs (1 absorbing)
100224 component updates, 1247513240 transient state updates
Bounds: [0.94418+5.58190e-02]@[0.00000](100224)
Sep 13, 2024 10:52:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110464 loops (302/sec), 1343396864 sampling steps, 3092 aborted
loop condition 0.055481, exit probability 0.055480 in initial state
84009 explored states, 1 states in BSSCs (1 absorbing)
101691 component updates, 1265787890 transient state updates
Bounds: [0.94452+5.54814e-02]@[0.00000](101691)
Sep 13, 2024 10:53:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111974 loops (301/sec), 1362195373 sampling steps, 3134 aborted
loop condition 0.055166, exit probability 0.055165 in initial state
84128 explored states, 1 states in BSSCs (1 absorbing)
103158 component updates, 1284061858 transient state updates
Bounds: [0.94483+5.51658e-02]@[0.00000](103158)
Sep 13, 2024 10:53:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113429 loops (290/sec), 1380320283 sampling steps, 3172 aborted
loop condition 0.054861, exit probability 0.054860 in initial state
84278 explored states, 1 states in BSSCs (1 absorbing)
104575 component updates, 1301713160 transient state updates
Bounds: [0.94514+5.48611e-02]@[0.00000](104575)
Sep 13, 2024 10:53:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114800 loops (274/sec), 1397398969 sampling steps, 3202 aborted
loop condition 0.054580, exit probability 0.054579 in initial state
84428 explored states, 1 states in BSSCs (1 absorbing)
105916 component updates, 1318417884 transient state updates
Bounds: [0.94542+5.45803e-02]@[0.00000](105916)
Sep 13, 2024 10:53:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116248 loops (289/sec), 1415436413 sampling steps, 3254 aborted
loop condition 0.054310, exit probability 0.054309 in initial state
84552 explored states, 1 states in BSSCs (1 absorbing)
107312 component updates, 1335807428 transient state updates
Bounds: [0.94569+5.43100e-02]@[0.00000](107312)
Sep 13, 2024 10:53:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117726 loops (295/sec), 1433848271 sampling steps, 3303 aborted
loop condition 0.054031, exit probability 0.054030 in initial state
84694 explored states, 1 states in BSSCs (1 absorbing)
108741 component updates, 1353608916 transient state updates
Bounds: [0.94597+5.40311e-02]@[0.00000](108741)
Sep 13, 2024 10:53:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119245 loops (303/sec), 1452768964 sampling steps, 3343 aborted
loop condition 0.053734, exit probability 0.053733 in initial state
84825 explored states, 1 states in BSSCs (1 absorbing)
110219 component updates, 1372020242 transient state updates
Bounds: [0.94627+5.37337e-02]@[0.00000](110219)
Sep 13, 2024 10:53:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120749 loops (300/sec), 1471503330 sampling steps, 3395 aborted
loop condition 0.053435, exit probability 0.053434 in initial state
84910 explored states, 1 states in BSSCs (1 absorbing)
111671 component updates, 1390106724 transient state updates
Bounds: [0.94656+5.34352e-02]@[0.00000](111671)
Sep 13, 2024 10:53:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122254 loops (300/sec), 1490250610 sampling steps, 3442 aborted
loop condition 0.053184, exit probability 0.053183 in initial state
85015 explored states, 1 states in BSSCs (1 absorbing)
113129 component updates, 1408268358 transient state updates
Bounds: [0.94682+5.31841e-02]@[0.00000](113129)
Sep 13, 2024 10:53:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123771 loops (303/sec), 1509148088 sampling steps, 3492 aborted
loop condition 0.052940, exit probability 0.052939 in initial state
85104 explored states, 1 states in BSSCs (1 absorbing)
114596 component updates, 1426542908 transient state updates
Bounds: [0.94706+5.29400e-02]@[0.00000](114596)
Sep 13, 2024 10:53:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125292 loops (304/sec), 1528094732 sampling steps, 3537 aborted
loop condition 0.052688, exit probability 0.052687 in initial state
85166 explored states, 1 states in BSSCs (1 absorbing)
116072 component updates, 1444928886 transient state updates
Bounds: [0.94731+5.26883e-02]@[0.00000](116072)
Sep 13, 2024 10:53:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126817 loops (305/sec), 1547093046 sampling steps, 3592 aborted
loop condition 0.052451, exit probability 0.052450 in initial state
85269 explored states, 1 states in BSSCs (1 absorbing)
117542 component updates, 1463241900 transient state updates
Bounds: [0.94755+5.24506e-02]@[0.00000](117542)
Sep 13, 2024 10:53:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128335 loops (303/sec), 1566003710 sampling steps, 3637 aborted
loop condition 0.052217, exit probability 0.052216 in initial state
85382 explored states, 1 states in BSSCs (1 absorbing)
119015 component updates, 1481592110 transient state updates
Bounds: [0.94778+5.22173e-02]@[0.00000](119015)
Sep 13, 2024 10:54:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129845 loops (301/sec), 1584814486 sampling steps, 3681 aborted
loop condition 0.051980, exit probability 0.051979 in initial state
85470 explored states, 1 states in BSSCs (1 absorbing)
120481 component updates, 1499854724 transient state updates
Bounds: [0.94802+5.19804e-02]@[0.00000](120481)
Sep 13, 2024 10:54:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131345 loops (300/sec), 1603501296 sampling steps, 3733 aborted
loop condition 0.051743, exit probability 0.051742 in initial state
85545 explored states, 1 states in BSSCs (1 absorbing)
121929 component updates, 1517893822 transient state updates
Bounds: [0.94826+5.17433e-02]@[0.00000](121929)
Sep 13, 2024 10:54:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132841 loops (299/sec), 1622135882 sampling steps, 3777 aborted
loop condition 0.051514, exit probability 0.051514 in initial state
85658 explored states, 1 states in BSSCs (1 absorbing)
123380 component updates, 1535968622 transient state updates
Bounds: [0.94849+5.15144e-02]@[0.00000](123380)
Sep 13, 2024 10:54:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134319 loops (295/sec), 1640547942 sampling steps, 3829 aborted
loop condition 0.051263, exit probability 0.051263 in initial state
85789 explored states, 1 states in BSSCs (1 absorbing)
124806 component updates, 1553732780 transient state updates
Bounds: [0.94874+5.12634e-02]@[0.00000](124806)
Sep 13, 2024 10:54:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135804 loops (296/sec), 1659047734 sampling steps, 3876 aborted
loop condition 0.051030, exit probability 0.051030 in initial state
85883 explored states, 1 states in BSSCs (1 absorbing)
126244 component updates, 1571646770 transient state updates
Bounds: [0.94897+5.10304e-02]@[0.00000](126244)
Sep 13, 2024 10:54:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137322 loops (303/sec), 1677958702 sampling steps, 3917 aborted
loop condition 0.050797, exit probability 0.050796 in initial state
85960 explored states, 1 states in BSSCs (1 absorbing)
127721 component updates, 1590046858 transient state updates
Bounds: [0.94920+5.07968e-02]@[0.00000](127721)
Sep 13, 2024 10:54:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138831 loops (301/sec), 1696756166 sampling steps, 3971 aborted
loop condition 0.050548, exit probability 0.050547 in initial state
86042 explored states, 1 states in BSSCs (1 absorbing)
129176 component updates, 1608171420 transient state updates
Bounds: [0.94945+5.05480e-02]@[0.00000](129176)
Sep 13, 2024 10:54:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140349 loops (303/sec), 1715666882 sampling steps, 4008 aborted
loop condition 0.050324, exit probability 0.050323 in initial state
86145 explored states, 1 states in BSSCs (1 absorbing)
130657 component updates, 1626621100 transient state updates
Bounds: [0.94968+5.03240e-02]@[0.00000](130657)
Sep 13, 2024 10:54:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141858 loops (301/sec), 1734465090 sampling steps, 4046 aborted
loop condition 0.050091, exit probability 0.050091 in initial state
86248 explored states, 1 states in BSSCs (1 absorbing)
132128 component updates, 1644945848 transient state updates
Bounds: [0.94991+5.00915e-02]@[0.00000](132128)
Sep 13, 2024 10:54:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143378 loops (303/sec), 1753398918 sampling steps, 4097 aborted
loop condition 0.049865, exit probability 0.049864 in initial state
86301 explored states, 1 states in BSSCs (1 absorbing)
133597 component updates, 1663244168 transient state updates
Bounds: [0.95013+4.98650e-02]@[0.00000](133597)
Sep 13, 2024 10:54:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144892 loops (302/sec), 1772258130 sampling steps, 4143 aborted
loop condition 0.049658, exit probability 0.049657 in initial state
86382 explored states, 1 states in BSSCs (1 absorbing)
135065 component updates, 1681529920 transient state updates
Bounds: [0.95034+4.96583e-02]@[0.00000](135065)
Sep 13, 2024 10:54:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146383 loops (298/sec), 1790832668 sampling steps, 4168 aborted
loop condition 0.049458, exit probability 0.049457 in initial state
86468 explored states, 1 states in BSSCs (1 absorbing)
136531 component updates, 1699793210 transient state updates
Bounds: [0.95054+4.94579e-02]@[0.00000](136531)
Sep 13, 2024 10:55:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147886 loops (300/sec), 1809555806 sampling steps, 4199 aborted
loop condition 0.049256, exit probability 0.049256 in initial state
86554 explored states, 1 states in BSSCs (1 absorbing)
138003 component updates, 1718130042 transient state updates
Bounds: [0.95074+4.92563e-02]@[0.00000](138003)
Sep 13, 2024 10:55:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149381 loops (298/sec), 1828179444 sampling steps, 4247 aborted
loop condition 0.049059, exit probability 0.049058 in initial state
86620 explored states, 1 states in BSSCs (1 absorbing)
139450 component updates, 1736155646 transient state updates
Bounds: [0.95094+4.90585e-02]@[0.00000](139450)
Sep 13, 2024 10:55:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150873 loops (298/sec), 1846764166 sampling steps, 4296 aborted
loop condition 0.048836, exit probability 0.048835 in initial state
86690 explored states, 1 states in BSSCs (1 absorbing)
140893 component updates, 1754129918 transient state updates
Bounds: [0.95116+4.88357e-02]@[0.00000](140893)
Sep 13, 2024 10:55:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152289 loops (283/sec), 1864402020 sampling steps, 4330 aborted
loop condition 0.048653, exit probability 0.048652 in initial state
86788 explored states, 1 states in BSSCs (1 absorbing)
142275 component updates, 1771343952 transient state updates
Bounds: [0.95135+4.86526e-02]@[0.00000](142275)
Sep 13, 2024 10:55:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153800 loops (302/sec), 1883217391 sampling steps, 4374 aborted
loop condition 0.048443, exit probability 0.048442 in initial state
86900 explored states, 1 states in BSSCs (1 absorbing)
143741 component updates, 1789605356 transient state updates
Bounds: [0.95156+4.84426e-02]@[0.00000](143741)
Sep 13, 2024 10:55:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155275 loops (294/sec), 1901590683 sampling steps, 4417 aborted
loop condition 0.048249, exit probability 0.048248 in initial state
86995 explored states, 1 states in BSSCs (1 absorbing)
145173 component updates, 1807442860 transient state updates
Bounds: [0.95175+4.82490e-02]@[0.00000](145173)
Sep 13, 2024 10:55:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156743 loops (293/sec), 1919878453 sampling steps, 4460 aborted
loop condition 0.048047, exit probability 0.048046 in initial state
87085 explored states, 1 states in BSSCs (1 absorbing)
146598 component updates, 1825194836 transient state updates
Bounds: [0.95195+4.80472e-02]@[0.00000](146598)
Sep 13, 2024 10:55:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158262 loops (303/sec), 1938800807 sampling steps, 4506 aborted
loop condition 0.047809, exit probability 0.047809 in initial state
87193 explored states, 1 states in BSSCs (1 absorbing)
148071 component updates, 1843544090 transient state updates
Bounds: [0.95219+4.78094e-02]@[0.00000](148071)
Sep 13, 2024 10:55:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159786 loops (304/sec), 1957785241 sampling steps, 4561 aborted
loop condition 0.047602, exit probability 0.047601 in initial state
87259 explored states, 1 states in BSSCs (1 absorbing)
149540 component updates, 1861843510 transient state updates
Bounds: [0.95240+4.76022e-02]@[0.00000](149540)
Sep 13, 2024 10:55:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161299 loops (302/sec), 1976631807 sampling steps, 4612 aborted
loop condition 0.047398, exit probability 0.047397 in initial state
87313 explored states, 1 states in BSSCs (1 absorbing)
151002 component updates, 1880055062 transient state updates
Bounds: [0.95260+4.73978e-02]@[0.00000](151002)
Sep 13, 2024 10:55:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162811 loops (302/sec), 1995469385 sampling steps, 4659 aborted
loop condition 0.047215, exit probability 0.047214 in initial state
87372 explored states, 1 states in BSSCs (1 absorbing)
152467 component updates, 1898307150 transient state updates
Bounds: [0.95278+4.72151e-02]@[0.00000](152467)
Sep 13, 2024 10:55:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164325 loops (302/sec), 2014331169 sampling steps, 4716 aborted
loop condition 0.047037, exit probability 0.047036 in initial state
87491 explored states, 1 states in BSSCs (1 absorbing)
153924 component updates, 1916458698 transient state updates
Bounds: [0.95296+4.70370e-02]@[0.00000](153924)
Sep 13, 2024 10:56:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165837 loops (302/sec), 2033162937 sampling steps, 4771 aborted
loop condition 0.046849, exit probability 0.046848 in initial state
87572 explored states, 1 states in BSSCs (1 absorbing)
155380 component updates, 1934594114 transient state updates
Bounds: [0.95315+4.68487e-02]@[0.00000](155380)
Sep 13, 2024 10:56:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167328 loops (298/sec), 2051736923 sampling steps, 4807 aborted
loop condition 0.046624, exit probability 0.046623 in initial state
87649 explored states, 1 states in BSSCs (1 absorbing)
156835 component updates, 1952719552 transient state updates
Bounds: [0.95338+4.66240e-02]@[0.00000](156835)
Sep 13, 2024 10:56:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168815 loops (297/sec), 2070261469 sampling steps, 4856 aborted
loop condition 0.046427, exit probability 0.046426 in initial state
87736 explored states, 1 states in BSSCs (1 absorbing)
158273 component updates, 1970633556 transient state updates
Bounds: [0.95357+4.64267e-02]@[0.00000](158273)
Sep 13, 2024 10:56:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170321 loops (301/sec), 2089022439 sampling steps, 4899 aborted
loop condition 0.046229, exit probability 0.046229 in initial state
87800 explored states, 1 states in BSSCs (1 absorbing)
159736 component updates, 1988858628 transient state updates
Bounds: [0.95377+4.62294e-02]@[0.00000](159736)
Sep 13, 2024 10:56:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171841 loops (303/sec), 2107950190 sampling steps, 4948 aborted
loop condition 0.046040, exit probability 0.046039 in initial state
87899 explored states, 1 states in BSSCs (1 absorbing)
161206 component updates, 2007171488 transient state updates
Bounds: [0.95396+4.60396e-02]@[0.00000](161206)
Sep 13, 2024 10:56:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173329 loops (297/sec), 2126486034 sampling steps, 4996 aborted
loop condition 0.045867, exit probability 0.045867 in initial state
87939 explored states, 1 states in BSSCs (1 absorbing)
162646 component updates, 2025109530 transient state updates
Bounds: [0.95413+4.58673e-02]@[0.00000](162646)
Sep 13, 2024 10:56:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174827 loops (299/sec), 2145146962 sampling steps, 5043 aborted
loop condition 0.045690, exit probability 0.045689 in initial state
88023 explored states, 1 states in BSSCs (1 absorbing)
164097 component updates, 2043184858 transient state updates
Bounds: [0.95431+4.56898e-02]@[0.00000](164097)
Sep 13, 2024 10:56:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176330 loops (300/sec), 2163869980 sampling steps, 5092 aborted
loop condition 0.045538, exit probability 0.045538 in initial state
88091 explored states, 1 states in BSSCs (1 absorbing)
165551 component updates, 2061297338 transient state updates
Bounds: [0.95446+4.55384e-02]@[0.00000](165551)
Sep 13, 2024 10:56:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177831 loops (300/sec), 2182567734 sampling steps, 5128 aborted
loop condition 0.045384, exit probability 0.045384 in initial state
88147 explored states, 1 states in BSSCs (1 absorbing)
167016 component updates, 2079546356 transient state updates
Bounds: [0.95462+4.53845e-02]@[0.00000](167016)
Sep 13, 2024 10:56:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179333 loops (300/sec), 2201278430 sampling steps, 5166 aborted
loop condition 0.045220, exit probability 0.045219 in initial state
88208 explored states, 1 states in BSSCs (1 absorbing)
168480 component updates, 2097783406 transient state updates
Bounds: [0.95478+4.52199e-02]@[0.00000](168480)
Sep 13, 2024 10:56:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180856 loops (304/sec), 2220249474 sampling steps, 5213 aborted
loop condition 0.045082, exit probability 0.045081 in initial state
88255 explored states, 1 states in BSSCs (1 absorbing)
169956 component updates, 2116168692 transient state updates
Bounds: [0.95492+4.50818e-02]@[0.00000](169956)
Sep 13, 2024 10:56:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182369 loops (302/sec), 2239097840 sampling steps, 5260 aborted
loop condition 0.044937, exit probability 0.044936 in initial state
88319 explored states, 1 states in BSSCs (1 absorbing)
171422 component updates, 2134431440 transient state updates
Bounds: [0.95506+4.49367e-02]@[0.00000](171422)
Sep 13, 2024 10:57:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183874 loops (300/sec), 2257846864 sampling steps, 5309 aborted
loop condition 0.044797, exit probability 0.044796 in initial state
88366 explored states, 1 states in BSSCs (1 absorbing)
172878 component updates, 2152569766 transient state updates
Bounds: [0.95520+4.47967e-02]@[0.00000](172878)
Sep 13, 2024 10:57:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185363 loops (297/sec), 2276394430 sampling steps, 5348 aborted
loop condition 0.044634, exit probability 0.044634 in initial state
88450 explored states, 1 states in BSSCs (1 absorbing)
174328 component updates, 2170631320 transient state updates
Bounds: [0.95537+4.46345e-02]@[0.00000](174328)
Sep 13, 2024 10:57:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186851 loops (297/sec), 2294929462 sampling steps, 5389 aborted
loop condition 0.044494, exit probability 0.044493 in initial state
88518 explored states, 1 states in BSSCs (1 absorbing)
175775 component updates, 2188655312 transient state updates
Bounds: [0.95551+4.44936e-02]@[0.00000](175775)
Sep 13, 2024 10:57:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188363 loops (302/sec), 2313763396 sampling steps, 5430 aborted
loop condition 0.044309, exit probability 0.044309 in initial state
88607 explored states, 1 states in BSSCs (1 absorbing)
177246 component updates, 2206978374 transient state updates
Bounds: [0.95569+4.43091e-02]@[0.00000](177246)
Sep 13, 2024 10:57:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189881 loops (303/sec), 2332673254 sampling steps, 5476 aborted
loop condition 0.044120, exit probability 0.044119 in initial state
88677 explored states, 1 states in BSSCs (1 absorbing)
178718 component updates, 2225315148 transient state updates
Bounds: [0.95588+4.41198e-02]@[0.00000](178718)
Sep 13, 2024 10:57:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191389 loops (301/sec), 2351457988 sampling steps, 5520 aborted
loop condition 0.043973, exit probability 0.043972 in initial state
88735 explored states, 1 states in BSSCs (1 absorbing)
180182 component updates, 2243551452 transient state updates
Bounds: [0.95603+4.39725e-02]@[0.00000](180182)
Sep 13, 2024 10:57:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192900 loops (302/sec), 2370280644 sampling steps, 5567 aborted
loop condition 0.043820, exit probability 0.043819 in initial state
88800 explored states, 1 states in BSSCs (1 absorbing)
181646 component updates, 2261788770 transient state updates
Bounds: [0.95618+4.38196e-02]@[0.00000](181646)
Sep 13, 2024 10:57:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194382 loops (296/sec), 2388742486 sampling steps, 5612 aborted
loop condition 0.043644, exit probability 0.043644 in initial state
88858 explored states, 1 states in BSSCs (1 absorbing)
183083 component updates, 2279689790 transient state updates
Bounds: [0.95636+4.36445e-02]@[0.00000](183083)
Sep 13, 2024 10:57:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195863 loops (296/sec), 2407192160 sampling steps, 5667 aborted
loop condition 0.043492, exit probability 0.043491 in initial state
88913 explored states, 1 states in BSSCs (1 absorbing)
184509 component updates, 2297454040 transient state updates
Bounds: [0.95651+4.34919e-02]@[0.00000](184509)
Sep 13, 2024 10:57:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197377 loops (302/sec), 2426051526 sampling steps, 5711 aborted
loop condition 0.043348, exit probability 0.043347 in initial state
88966 explored states, 1 states in BSSCs (1 absorbing)
185979 component updates, 2315765380 transient state updates
Bounds: [0.95665+4.33477e-02]@[0.00000](185979)
Sep 13, 2024 10:57:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198884 loops (301/sec), 2444824364 sampling steps, 5754 aborted
loop condition 0.043210, exit probability 0.043210 in initial state
89043 explored states, 1 states in BSSCs (1 absorbing)
187443 component updates, 2334002584 transient state updates
Bounds: [0.95679+4.32101e-02]@[0.00000](187443)
Sep 13, 2024 10:57:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200402 loops (303/sec), 2463733910 sampling steps, 5797 aborted
loop condition 0.043048, exit probability 0.043048 in initial state
89089 explored states, 1 states in BSSCs (1 absorbing)
188918 component updates, 2352376418 transient state updates
Bounds: [0.95695+4.30482e-02]@[0.00000](188918)
Sep 13, 2024 10:58:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201906 loops (300/sec), 2482469898 sampling steps, 5846 aborted
loop condition 0.042915, exit probability 0.042915 in initial state
89174 explored states, 1 states in BSSCs (1 absorbing)
190373 component updates, 2370502102 transient state updates
Bounds: [0.95708+4.29150e-02]@[0.00000](190373)
Sep 13, 2024 10:58:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203389 loops (296/sec), 2500944138 sampling steps, 5885 aborted
loop condition 0.042776, exit probability 0.042776 in initial state
89223 explored states, 1 states in BSSCs (1 absorbing)
191817 component updates, 2388490288 transient state updates
Bounds: [0.95722+4.27763e-02]@[0.00000](191817)
Sep 13, 2024 10:58:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204843 loops (290/sec), 2519051872 sampling steps, 5928 aborted
loop condition 0.042639, exit probability 0.042638 in initial state
89283 explored states, 1 states in BSSCs (1 absorbing)
193227 component updates, 2406054988 transient state updates
Bounds: [0.95736+4.26387e-02]@[0.00000](193227)
Sep 13, 2024 10:58:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206346 loops (300/sec), 2537774772 sampling steps, 5969 aborted
loop condition 0.042485, exit probability 0.042485 in initial state
89345 explored states, 1 states in BSSCs (1 absorbing)
194689 component updates, 2424267020 transient state updates
Bounds: [0.95751+4.24850e-02]@[0.00000](194689)
Sep 13, 2024 10:58:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207857 loops (302/sec), 2556597688 sampling steps, 6014 aborted
loop condition 0.042358, exit probability 0.042357 in initial state
89403 explored states, 1 states in BSSCs (1 absorbing)
196155 component updates, 2442529534 transient state updates
Bounds: [0.95764+4.23576e-02]@[0.00000](196155)
Sep 13, 2024 10:58:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209364 loops (301/sec), 2575370494 sampling steps, 6063 aborted
loop condition 0.042233, exit probability 0.042233 in initial state
89438 explored states, 1 states in BSSCs (1 absorbing)
197613 component updates, 2460691880 transient state updates
Bounds: [0.95777+4.22331e-02]@[0.00000](197613)
Sep 13, 2024 10:58:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210861 loops (299/sec), 2594019934 sampling steps, 6097 aborted
loop condition 0.042108, exit probability 0.042108 in initial state
89470 explored states, 1 states in BSSCs (1 absorbing)
199076 component updates, 2478917566 transient state updates
Bounds: [0.95789+4.21079e-02]@[0.00000](199076)
Sep 13, 2024 10:58:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212341 loops (295/sec), 2612456382 sampling steps, 6148 aborted
loop condition 0.041976, exit probability 0.041976 in initial state
89551 explored states, 1 states in BSSCs (1 absorbing)
200505 component updates, 2496718432 transient state updates
Bounds: [0.95802+4.19763e-02]@[0.00000](200505)
Sep 13, 2024 10:58:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213804 loops (292/sec), 2630680652 sampling steps, 6180 aborted
loop condition 0.041840, exit probability 0.041839 in initial state
89597 explored states, 1 states in BSSCs (1 absorbing)
201936 component updates, 2514544038 transient state updates
Bounds: [0.95816+4.18398e-02]@[0.00000](201936)
Sep 13, 2024 10:58:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215305 loops (300/sec), 2649378294 sampling steps, 6225 aborted
loop condition 0.041708, exit probability 0.041707 in initial state
89626 explored states, 1 states in BSSCs (1 absorbing)
203392 component updates, 2532680764 transient state updates
Bounds: [0.95829+4.17079e-02]@[0.00000](203392)
Sep 13, 2024 10:58:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216816 loops (302/sec), 2668201594 sampling steps, 6257 aborted
loop condition 0.041602, exit probability 0.041601 in initial state
89671 explored states, 1 states in BSSCs (1 absorbing)
204871 component updates, 2551105166 transient state updates
Bounds: [0.95840+4.16018e-02]@[0.00000](204871)
Sep 13, 2024 10:58:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218316 loops (300/sec), 2686886834 sampling steps, 6293 aborted
loop condition 0.041491, exit probability 0.041491 in initial state
89744 explored states, 1 states in BSSCs (1 absorbing)
206335 component updates, 2569341660 transient state updates
Bounds: [0.95851+4.14913e-02]@[0.00000](206335)
Sep 13, 2024 10:59:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219822 loops (301/sec), 2705646118 sampling steps, 6336 aborted
loop condition 0.041390, exit probability 0.041390 in initial state
89781 explored states, 1 states in BSSCs (1 absorbing)
207798 component updates, 2587564932 transient state updates
Bounds: [0.95861+4.13904e-02]@[0.00000](207798)
Sep 13, 2024 10:59:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221316 loops (298/sec), 2724256660 sampling steps, 6375 aborted
loop condition 0.041270, exit probability 0.041270 in initial state
89853 explored states, 1 states in BSSCs (1 absorbing)
209253 component updates, 2605689450 transient state updates
Bounds: [0.95873+4.12702e-02]@[0.00000](209253)
Sep 13, 2024 10:59:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222803 loops (297/sec), 2742781782 sampling steps, 6428 aborted
loop condition 0.041144, exit probability 0.041144 in initial state
89886 explored states, 1 states in BSSCs (1 absorbing)
210687 component updates, 2623554192 transient state updates
Bounds: [0.95886+4.11443e-02]@[0.00000](210687)
Sep 13, 2024 10:59:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224306 loops (300/sec), 2761506316 sampling steps, 6471 aborted
loop condition 0.041002, exit probability 0.041002 in initial state
89951 explored states, 1 states in BSSCs (1 absorbing)
212147 component updates, 2641742962 transient state updates
Bounds: [0.95900+4.10022e-02]@[0.00000](212147)
Sep 13, 2024 10:59:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225814 loops (301/sec), 2780291640 sampling steps, 6511 aborted
loop condition 0.040856, exit probability 0.040856 in initial state
90020 explored states, 1 states in BSSCs (1 absorbing)
213615 component updates, 2660029852 transient state updates
Bounds: [0.95914+4.08559e-02]@[0.00000](213615)
Sep 13, 2024 10:59:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227315 loops (300/sec), 2798988722 sampling steps, 6556 aborted
loop condition 0.040716, exit probability 0.040716 in initial state
90093 explored states, 1 states in BSSCs (1 absorbing)
215071 component updates, 2678166018 transient state updates
Bounds: [0.95928+4.07163e-02]@[0.00000](215071)
Sep 13, 2024 10:59:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228820 loops (300/sec), 2817735618 sampling steps, 6598 aborted
loop condition 0.040589, exit probability 0.040588 in initial state
90152 explored states, 1 states in BSSCs (1 absorbing)
216534 component updates, 2696389608 transient state updates
Bounds: [0.95941+4.05886e-02]@[0.00000](216534)
Sep 13, 2024 10:59:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230337 loops (303/sec), 2836633442 sampling steps, 6637 aborted
loop condition 0.040456, exit probability 0.040455 in initial state
90210 explored states, 1 states in BSSCs (1 absorbing)
218012 component updates, 2714801374 transient state updates
Bounds: [0.95954+4.04558e-02]@[0.00000](218012)
Sep 13, 2024 10:59:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231814 loops (295/sec), 2855031400 sampling steps, 6697 aborted
loop condition 0.040351, exit probability 0.040350 in initial state
90262 explored states, 1 states in BSSCs (1 absorbing)
219429 component updates, 2732451960 transient state updates
Bounds: [0.95965+4.03507e-02]@[0.00000](219429)
Sep 13, 2024 10:59:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233284 loops (294/sec), 2873342598 sampling steps, 6747 aborted
loop condition 0.040243, exit probability 0.040243 in initial state
90312 explored states, 1 states in BSSCs (1 absorbing)
220849 component updates, 2750140196 transient state updates
Bounds: [0.95976+4.02430e-02]@[0.00000](220849)
Sep 13, 2024 10:59:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234800 loops (303/sec), 2892229028 sampling steps, 6798 aborted
loop condition 0.040113, exit probability 0.040113 in initial state
90374 explored states, 1 states in BSSCs (1 absorbing)
222314 component updates, 2768390964 transient state updates
Bounds: [0.95989+4.01129e-02]@[0.00000](222314)
Sep 13, 2024 10:59:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236320 loops (304/sec), 2911158762 sampling steps, 6845 aborted
loop condition 0.039990, exit probability 0.039989 in initial state
90459 explored states, 1 states in BSSCs (1 absorbing)
223786 component updates, 2786727690 transient state updates
Bounds: [0.96001+3.99897e-02]@[0.00000](223786)
Sep 13, 2024 11:00:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237839 loops (303/sec), 2930080962 sampling steps, 6889 aborted
loop condition 0.039885, exit probability 0.039885 in initial state
90499 explored states, 1 states in BSSCs (1 absorbing)
225261 component updates, 2805101528 transient state updates
Bounds: [0.96011+3.98852e-02]@[0.00000](225261)
Sep 13, 2024 11:00:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239445 loops (321/sec), 2950087846 sampling steps, 6933 aborted
loop condition 0.039759, exit probability 0.039759 in initial state
90548 explored states, 1 states in BSSCs (1 absorbing)
226823 component updates, 2824560212 transient state updates
Bounds: [0.96024+3.97593e-02]@[0.00000](226823)
Sep 13, 2024 11:00:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241021 loops (315/sec), 2969720130 sampling steps, 6974 aborted
loop condition 0.039647, exit probability 0.039647 in initial state
90591 explored states, 1 states in BSSCs (1 absorbing)
228358 component updates, 2843681626 transient state updates
Bounds: [0.96035+3.96469e-02]@[0.00000](228358)
Sep 13, 2024 11:00:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242648 loops (325/sec), 2989989012 sampling steps, 7030 aborted
loop condition 0.039531, exit probability 0.039531 in initial state
90655 explored states, 1 states in BSSCs (1 absorbing)
229929 component updates, 2863252606 transient state updates
Bounds: [0.96047+3.95308e-02]@[0.00000](229929)
Sep 13, 2024 11:00:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244269 loops (324/sec), 3010181534 sampling steps, 7080 aborted
loop condition 0.039424, exit probability 0.039423 in initial state
90697 explored states, 1 states in BSSCs (1 absorbing)
231500 component updates, 2882822034 transient state updates
Bounds: [0.96058+3.94236e-02]@[0.00000](231500)
Sep 13, 2024 11:00:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245893 loops (324/sec), 3030412634 sampling steps, 7133 aborted
loop condition 0.039308, exit probability 0.039308 in initial state
90725 explored states, 1 states in BSSCs (1 absorbing)
233071 component updates, 2902392932 transient state updates
Bounds: [0.96069+3.93083e-02]@[0.00000](233071)
Sep 13, 2024 11:00:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247515 loops (324/sec), 3050616496 sampling steps, 7192 aborted
loop condition 0.039194, exit probability 0.039194 in initial state
90780 explored states, 1 states in BSSCs (1 absorbing)
234634 component updates, 2921861706 transient state updates
Bounds: [0.96081+3.91941e-02]@[0.00000](234634)
Sep 13, 2024 11:00:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249145 loops (325/sec), 3070920800 sampling steps, 7246 aborted
loop condition 0.039092, exit probability 0.039092 in initial state
90839 explored states, 1 states in BSSCs (1 absorbing)
236210 component updates, 2941493220 transient state updates
Bounds: [0.96091+3.90925e-02]@[0.00000](236210)
Sep 13, 2024 11:00:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250698 loops (310/sec), 3090267668 sampling steps, 7292 aborted
loop condition 0.038982, exit probability 0.038982 in initial state
90885 explored states, 1 states in BSSCs (1 absorbing)
237717 component updates, 2960267004 transient state updates
Bounds: [0.96102+3.89823e-02]@[0.00000](237717)
Sep 13, 2024 11:00:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252259 loops (312/sec), 3109713754 sampling steps, 7329 aborted
loop condition 0.038876, exit probability 0.038875 in initial state
90910 explored states, 1 states in BSSCs (1 absorbing)
239241 component updates, 2979252020 transient state updates
Bounds: [0.96112+3.88757e-02]@[0.00000](239241)
Sep 13, 2024 11:00:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253875 loops (323/sec), 3129839821 sampling steps, 7372 aborted
loop condition 0.038779, exit probability 0.038779 in initial state
90953 explored states, 1 states in BSSCs (1 absorbing)
240813 component updates, 2998833206 transient state updates
Bounds: [0.96122+3.87791e-02]@[0.00000](240813)
Sep 13, 2024 11:00:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255496 loops (324/sec), 3150032841 sampling steps, 7445 aborted
loop condition 0.038706, exit probability 0.038706 in initial state
91021 explored states, 1 states in BSSCs (1 absorbing)
242361 component updates, 3018116650 transient state updates
Bounds: [0.96129+3.87063e-02]@[0.00000](242361)
Sep 13, 2024 11:01:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257123 loops (325/sec), 3170300013 sampling steps, 7505 aborted
loop condition 0.038616, exit probability 0.038616 in initial state
91041 explored states, 1 states in BSSCs (1 absorbing)
243928 component updates, 3037636562 transient state updates
Bounds: [0.96138+3.86163e-02]@[0.00000](243928)
Sep 13, 2024 11:01:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258718 loops (319/sec), 3190169831 sampling steps, 7556 aborted
loop condition 0.038527, exit probability 0.038527 in initial state
91088 explored states, 1 states in BSSCs (1 absorbing)
245472 component updates, 3056870924 transient state updates
Bounds: [0.96147+3.85274e-02]@[0.00000](245472)
Sep 13, 2024 11:01:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260240 loops (304/sec), 3209128755 sampling steps, 7596 aborted
loop condition 0.038431, exit probability 0.038431 in initial state
91130 explored states, 1 states in BSSCs (1 absorbing)
246954 component updates, 3075331534 transient state updates
Bounds: [0.96157+3.84313e-02]@[0.00000](246954)
Sep 13, 2024 11:01:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261863 loops (324/sec), 3229344549 sampling steps, 7646 aborted
loop condition 0.038342, exit probability 0.038342 in initial state
91174 explored states, 1 states in BSSCs (1 absorbing)
248527 component updates, 3094924234 transient state updates
Bounds: [0.96166+3.83418e-02]@[0.00000](248527)
Sep 13, 2024 11:01:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263484 loops (324/sec), 3249537765 sampling steps, 7702 aborted
loop condition 0.038255, exit probability 0.038254 in initial state
91225 explored states, 1 states in BSSCs (1 absorbing)
250092 component updates, 3114419736 transient state updates
Bounds: [0.96175+3.82547e-02]@[0.00000](250092)
Sep 13, 2024 11:01:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265105 loops (324/sec), 3269731315 sampling steps, 7749 aborted
loop condition 0.038160, exit probability 0.038160 in initial state
91253 explored states, 1 states in BSSCs (1 absorbing)
251666 component updates, 3134027706 transient state updates
Bounds: [0.96184+3.81602e-02]@[0.00000](251666)
Sep 13, 2024 11:01:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266718 loops (322/sec), 3289823703 sampling steps, 7796 aborted
loop condition 0.038075, exit probability 0.038075 in initial state
91304 explored states, 1 states in BSSCs (1 absorbing)
253232 component updates, 3153534600 transient state updates
Bounds: [0.96193+3.80749e-02]@[0.00000](253232)
Sep 13, 2024 11:01:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268315 loops (319/sec), 3309719849 sampling steps, 7851 aborted
loop condition 0.037993, exit probability 0.037992 in initial state
91327 explored states, 1 states in BSSCs (1 absorbing)
254774 component updates, 3172745358 transient state updates
Bounds: [0.96201+3.79927e-02]@[0.00000](254774)
Sep 13, 2024 11:01:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269843 loops (305/sec), 3328754977 sampling steps, 7899 aborted
loop condition 0.037916, exit probability 0.037915 in initial state
91354 explored states, 1 states in BSSCs (1 absorbing)
256254 component updates, 3191182486 transient state updates
Bounds: [0.96208+3.79156e-02]@[0.00000](256254)
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271427 loops (316/sec), 3348488067 sampling steps, 7948 aborted
loop condition 0.037834, exit probability 0.037833 in initial state
91394 explored states, 1 states in BSSCs (1 absorbing)
257789 component updates, 3210305152 transient state updates
Bounds: [0.96217+3.78337e-02]@[0.00000](257789)
Sep 13, 2024 11:01:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273016 loops (317/sec), 3368283497 sampling steps, 7997 aborted
loop condition 0.037762, exit probability 0.037762 in initial state
91418 explored states, 1 states in BSSCs (1 absorbing)
259329 component updates, 3229489942 transient state updates
Bounds: [0.96224+3.77624e-02]@[0.00000](259329)
Sep 13, 2024 11:01:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274635 loops (323/sec), 3388452039 sampling steps, 8042 aborted
loop condition 0.037690, exit probability 0.037690 in initial state
91460 explored states, 1 states in BSSCs (1 absorbing)
260903 component updates, 3249097804 transient state updates
Bounds: [0.96231+3.76898e-02]@[0.00000](260903)
Sep 13, 2024 11:02:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276251 loops (323/sec), 3408583187 sampling steps, 8094 aborted
loop condition 0.037627, exit probability 0.037627 in initial state
91490 explored states, 1 states in BSSCs (1 absorbing)
262467 component updates, 3268581106 transient state updates
Bounds: [0.96237+3.76270e-02]@[0.00000](262467)
Sep 13, 2024 11:02:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277814 loops (312/sec), 3428053001 sampling steps, 8140 aborted
loop condition 0.037555, exit probability 0.037554 in initial state
91521 explored states, 1 states in BSSCs (1 absorbing)
263984 component updates, 3287477682 transient state updates
Bounds: [0.96245+3.75545e-02]@[0.00000](263984)
Sep 13, 2024 11:02:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279399 loops (316/sec), 3447797721 sampling steps, 8190 aborted
loop condition 0.037493, exit probability 0.037493 in initial state
91549 explored states, 1 states in BSSCs (1 absorbing)
265519 component updates, 3306599294 transient state updates
Bounds: [0.96251+3.74932e-02]@[0.00000](265519)
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281024 loops (324/sec), 3468041259 sampling steps, 8239 aborted
loop condition 0.037415, exit probability 0.037415 in initial state
91613 explored states, 1 states in BSSCs (1 absorbing)
267095 component updates, 3326232020 transient state updates
Bounds: [0.96259+3.74150e-02]@[0.00000](267095)
Sep 13, 2024 11:02:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282657 loops (326/sec), 3488384813 sampling steps, 8301 aborted
loop condition 0.037325, exit probability 0.037325 in initial state
91659 explored states, 1 states in BSSCs (1 absorbing)
268666 component updates, 3345802996 transient state updates
Bounds: [0.96268+3.73248e-02]@[0.00000](268666)
Sep 13, 2024 11:02:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284280 loops (324/sec), 3508603871 sampling steps, 8349 aborted
loop condition 0.037239, exit probability 0.037239 in initial state
91697 explored states, 1 states in BSSCs (1 absorbing)
270241 component updates, 3365423916 transient state updates
Bounds: [0.96276+3.72390e-02]@[0.00000](270241)
Sep 13, 2024 11:02:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285884 loops (320/sec), 3528583881 sampling steps, 8394 aborted
loop condition 0.037161, exit probability 0.037161 in initial state
91725 explored states, 1 states in BSSCs (1 absorbing)
271800 component updates, 3384842776 transient state updates
Bounds: [0.96284+3.71607e-02]@[0.00000](271800)
Sep 13, 2024 11:02:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287465 loops (316/sec), 3548279421 sampling steps, 8432 aborted
loop condition 0.037094, exit probability 0.037094 in initial state
91773 explored states, 1 states in BSSCs (1 absorbing)
273343 component updates, 3404064554 transient state updates
Bounds: [0.96291+3.70945e-02]@[0.00000](273343)
Sep 13, 2024 11:02:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289044 loops (315/sec), 3567950267 sampling steps, 8491 aborted
loop condition 0.037020, exit probability 0.037020 in initial state
91809 explored states, 1 states in BSSCs (1 absorbing)
274863 component updates, 3423000312 transient state updates
Bounds: [0.96298+3.70205e-02]@[0.00000](274863)
Sep 13, 2024 11:02:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290662 loops (323/sec), 3588105327 sampling steps, 8535 aborted
loop condition 0.036960, exit probability 0.036960 in initial state
91850 explored states, 1 states in BSSCs (1 absorbing)
276437 component updates, 3442606810 transient state updates
Bounds: [0.96304+3.69599e-02]@[0.00000](276437)
Sep 13, 2024 11:02:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292294 loops (326/sec), 3608434885 sampling steps, 8587 aborted
loop condition 0.036896, exit probability 0.036895 in initial state
91884 explored states, 1 states in BSSCs (1 absorbing)
278017 component updates, 3462288664 transient state updates
Bounds: [0.96310+3.68957e-02]@[0.00000](278017)
Sep 13, 2024 11:02:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293910 loops (323/sec), 3628564845 sampling steps, 8625 aborted
loop condition 0.036832, exit probability 0.036832 in initial state
91892 explored states, 1 states in BSSCs (1 absorbing)
279595 component updates, 3481945376 transient state updates
Bounds: [0.96317+3.68322e-02]@[0.00000](279595)
Sep 13, 2024 11:03:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295527 loops (323/sec), 3648708899 sampling steps, 8676 aborted
loop condition 0.036774, exit probability 0.036774 in initial state
91962 explored states, 1 states in BSSCs (1 absorbing)
281161 component updates, 3501453902 transient state updates
Bounds: [0.96323+3.67744e-02]@[0.00000](281161)
Sep 13, 2024 11:03:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297110 loops (316/sec), 3668429393 sampling steps, 8722 aborted
loop condition 0.036705, exit probability 0.036705 in initial state
92015 explored states, 1 states in BSSCs (1 absorbing)
282698 component updates, 3520601406 transient state updates
Bounds: [0.96330+3.67047e-02]@[0.00000](282698)
Sep 13, 2024 11:03:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298643 loops (306/sec), 3687524767 sampling steps, 8767 aborted
loop condition 0.036629, exit probability 0.036629 in initial state
92051 explored states, 1 states in BSSCs (1 absorbing)
284186 component updates, 3539136050 transient state updates
Bounds: [0.96337+3.66289e-02]@[0.00000](284186)
Sep 13, 2024 11:03:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300260 loops (323/sec), 3707667005 sampling steps, 8813 aborted
loop condition 0.036539, exit probability 0.036539 in initial state
92104 explored states, 1 states in BSSCs (1 absorbing)
285757 component updates, 3558705202 transient state updates
Bounds: [0.96346+3.65394e-02]@[0.00000](285757)
Sep 13, 2024 11:03:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301883 loops (324/sec), 3727883611 sampling steps, 8874 aborted
loop condition 0.036473, exit probability 0.036472 in initial state
92146 explored states, 1 states in BSSCs (1 absorbing)
287319 component updates, 3578161708 transient state updates
Bounds: [0.96353+3.64726e-02]@[0.00000](287319)
Sep 13, 2024 11:03:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303510 loops (325/sec), 3748150675 sampling steps, 8938 aborted
loop condition 0.036394, exit probability 0.036394 in initial state
92179 explored states, 1 states in BSSCs (1 absorbing)
288882 component updates, 3597631142 transient state updates
Bounds: [0.96361+3.63939e-02]@[0.00000](288882)
Sep 13, 2024 11:03:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305054 loops (308/sec), 3767384701 sampling steps, 8977 aborted
loop condition 0.036318, exit probability 0.036317 in initial state
92195 explored states, 1 states in BSSCs (1 absorbing)
290387 component updates, 3616379172 transient state updates
Bounds: [0.96368+3.63175e-02]@[0.00000](290387)
Sep 13, 2024 11:03:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306633 loops (315/sec), 3787054423 sampling steps, 9021 aborted
loop condition 0.036245, exit probability 0.036244 in initial state
92219 explored states, 1 states in BSSCs (1 absorbing)
291922 component updates, 3635500924 transient state updates
Bounds: [0.96376+3.62447e-02]@[0.00000](291922)
Sep 13, 2024 11:03:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308254 loops (324/sec), 3807249005 sampling steps, 9059 aborted
loop condition 0.036176, exit probability 0.036176 in initial state
92250 explored states, 1 states in BSSCs (1 absorbing)
293505 component updates, 3655221948 transient state updates
Bounds: [0.96382+3.61758e-02]@[0.00000](293505)
Sep 13, 2024 11:03:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309884 loops (325/sec), 3827555431 sampling steps, 9115 aborted
loop condition 0.036120, exit probability 0.036120 in initial state
92271 explored states, 1 states in BSSCs (1 absorbing)
295079 component updates, 3674830688 transient state updates
Bounds: [0.96388+3.61200e-02]@[0.00000](295079)
Sep 13, 2024 11:03:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311520 loops (327/sec), 3847934963 sampling steps, 9176 aborted
loop condition 0.036058, exit probability 0.036058 in initial state
92302 explored states, 1 states in BSSCs (1 absorbing)
296654 component updates, 3694450258 transient state updates
Bounds: [0.96394+3.60581e-02]@[0.00000](296654)
Sep 13, 2024 11:03:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313157 loops (327/sec), 3868326567 sampling steps, 9234 aborted
loop condition 0.036003, exit probability 0.036003 in initial state
92363 explored states, 1 states in BSSCs (1 absorbing)
298233 component updates, 3714119090 transient state updates
Bounds: [0.96400+3.60028e-02]@[0.00000](298233)
Sep 13, 2024 11:04:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314771 loops (322/sec), 3888432277 sampling steps, 9282 aborted
loop condition 0.035933, exit probability 0.035933 in initial state
92409 explored states, 1 states in BSSCs (1 absorbing)
299799 component updates, 3733626758 transient state updates
Bounds: [0.96407+3.59329e-02]@[0.00000](299799)
Sep 13, 2024 11:04:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316373 loops (320/sec), 3908388417 sampling steps, 9341 aborted
loop condition 0.035874, exit probability 0.035874 in initial state
92431 explored states, 1 states in BSSCs (1 absorbing)
301342 component updates, 3752847974 transient state updates
Bounds: [0.96413+3.58741e-02]@[0.00000](301342)
Sep 13, 2024 11:04:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317942 loops (313/sec), 3927933793 sampling steps, 9380 aborted
loop condition 0.035809, exit probability 0.035809 in initial state
92475 explored states, 1 states in BSSCs (1 absorbing)
302872 component updates, 3771907338 transient state updates
Bounds: [0.96419+3.58091e-02]@[0.00000](302872)
Sep 13, 2024 11:04:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319572 loops (325/sec), 3948236953 sampling steps, 9433 aborted
loop condition 0.035750, exit probability 0.035750 in initial state
92495 explored states, 1 states in BSSCs (1 absorbing)
304449 component updates, 3791549970 transient state updates
Bounds: [0.96425+3.57505e-02]@[0.00000](304449)
Sep 13, 2024 11:04:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321182 loops (322/sec), 3968292155 sampling steps, 9485 aborted
loop condition 0.035689, exit probability 0.035689 in initial state
92509 explored states, 1 states in BSSCs (1 absorbing)
306007 component updates, 3810957400 transient state updates
Bounds: [0.96431+3.56888e-02]@[0.00000](306007)
Sep 13, 2024 11:04:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322757 loops (314/sec), 3987912273 sampling steps, 9530 aborted
loop condition 0.035621, exit probability 0.035621 in initial state
92565 explored states, 1 states in BSSCs (1 absorbing)
307537 component updates, 3830016898 transient state updates
Bounds: [0.96438+3.56211e-02]@[0.00000](307537)
Sep 13, 2024 11:04:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324362 loops (320/sec), 4007906113 sampling steps, 9581 aborted
loop condition 0.035564, exit probability 0.035564 in initial state
92592 explored states, 1 states in BSSCs (1 absorbing)
309091 component updates, 3849375024 transient state updates
Bounds: [0.96444+3.55644e-02]@[0.00000](309091)
Sep 13, 2024 11:04:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325932 loops (313/sec), 4027462307 sampling steps, 9632 aborted
loop condition 0.035514, exit probability 0.035514 in initial state
92608 explored states, 1 states in BSSCs (1 absorbing)
310610 component updates, 3868296048 transient state updates
Bounds: [0.96449+3.55142e-02]@[0.00000](310610)
Sep 13, 2024 11:04:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327544 loops (322/sec), 4047544813 sampling steps, 9678 aborted
loop condition 0.035467, exit probability 0.035467 in initial state
92653 explored states, 1 states in BSSCs (1 absorbing)
312176 component updates, 3887805348 transient state updates
Bounds: [0.96453+3.54668e-02]@[0.00000](312176)
Sep 13, 2024 11:04:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329173 loops (325/sec), 4067837085 sampling steps, 9728 aborted
loop condition 0.035402, exit probability 0.035402 in initial state
92669 explored states, 1 states in BSSCs (1 absorbing)
313755 component updates, 3907474566 transient state updates
Bounds: [0.96460+3.54022e-02]@[0.00000](313755)
Sep 13, 2024 11:04:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330780 loops (321/sec), 4087855557 sampling steps, 9778 aborted
loop condition 0.035352, exit probability 0.035352 in initial state
92689 explored states, 1 states in BSSCs (1 absorbing)
315312 component updates, 3926869722 transient state updates
Bounds: [0.96465+3.53521e-02]@[0.00000](315312)
Sep 13, 2024 11:04:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332404 loops (324/sec), 4108085403 sampling steps, 9823 aborted
loop condition 0.035294, exit probability 0.035293 in initial state
92705 explored states, 1 states in BSSCs (1 absorbing)
316891 component updates, 3946539026 transient state updates
Bounds: [0.96471+3.52935e-02]@[0.00000](316891)
Sep 13, 2024 11:05:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334018 loops (322/sec), 4128192211 sampling steps, 9866 aborted
loop condition 0.035241, exit probability 0.035241 in initial state
92725 explored states, 1 states in BSSCs (1 absorbing)
318462 component updates, 3966110064 transient state updates
Bounds: [0.96476+3.52409e-02]@[0.00000](318462)
Sep 13, 2024 11:05:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335585 loops (313/sec), 4147713821 sampling steps, 9910 aborted
loop condition 0.035184, exit probability 0.035184 in initial state
92754 explored states, 1 states in BSSCs (1 absorbing)
319985 component updates, 3985083582 transient state updates
Bounds: [0.96482+3.51840e-02]@[0.00000](319985)
Sep 13, 2024 11:05:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337179 loops (318/sec), 4167571177 sampling steps, 9964 aborted
loop condition 0.035136, exit probability 0.035136 in initial state
92789 explored states, 1 states in BSSCs (1 absorbing)
321525 component updates, 4004268110 transient state updates
Bounds: [0.96486+3.51357e-02]@[0.00000](321525)
Sep 13, 2024 11:05:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338796 loops (323/sec), 4187715997 sampling steps, 10009 aborted
loop condition 0.035076, exit probability 0.035076 in initial state
92833 explored states, 1 states in BSSCs (1 absorbing)
323097 component updates, 4023852276 transient state updates
Bounds: [0.96492+3.50763e-02]@[0.00000](323097)
Sep 13, 2024 11:05:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340421 loops (324/sec), 4207959277 sampling steps, 10066 aborted
loop condition 0.035019, exit probability 0.035019 in initial state
92857 explored states, 1 states in BSSCs (1 absorbing)
324665 component updates, 4043385266 transient state updates
Bounds: [0.96498+3.50192e-02]@[0.00000](324665)
Sep 13, 2024 11:05:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342012 loops (318/sec), 4227777801 sampling steps, 10108 aborted
loop condition 0.034971, exit probability 0.034970 in initial state
92880 explored states, 1 states in BSSCs (1 absorbing)
326214 component updates, 4062680388 transient state updates
Bounds: [0.96503+3.49705e-02]@[0.00000](326214)
Sep 13, 2024 11:05:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343610 loops (319/sec), 4247684265 sampling steps, 10165 aborted
loop condition 0.034925, exit probability 0.034925 in initial state
92918 explored states, 1 states in BSSCs (1 absorbing)
327755 component updates, 4081876558 transient state updates
Bounds: [0.96507+3.49251e-02]@[0.00000](327755)
Sep 13, 2024 11:05:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345197 loops (317/sec), 4267453803 sampling steps, 10212 aborted
loop condition 0.034886, exit probability 0.034886 in initial state
92938 explored states, 1 states in BSSCs (1 absorbing)
329295 component updates, 4101060276 transient state updates
Bounds: [0.96511+3.48857e-02]@[0.00000](329295)
Sep 13, 2024 11:05:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346820 loops (324/sec), 4287665512 sampling steps, 10260 aborted
loop condition 0.034844, exit probability 0.034844 in initial state
92967 explored states, 1 states in BSSCs (1 absorbing)
330869 component updates, 4120666590 transient state updates
Bounds: [0.96516+3.48444e-02]@[0.00000](330869)
Sep 13, 2024 11:05:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348446 loops (325/sec), 4307922520 sampling steps, 10307 aborted
loop condition 0.034802, exit probability 0.034801 in initial state
93015 explored states, 1 states in BSSCs (1 absorbing)
332448 component updates, 4140337916 transient state updates
Bounds: [0.96520+3.48016e-02]@[0.00000](332448)
Sep 13, 2024 11:05:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350071 loops (324/sec), 4328165936 sampling steps, 10350 aborted
loop condition 0.034756, exit probability 0.034756 in initial state
93039 explored states, 1 states in BSSCs (1 absorbing)
334030 component updates, 4160045628 transient state updates
Bounds: [0.96524+3.47558e-02]@[0.00000](334030)
Sep 13, 2024 11:05:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351692 loops (324/sec), 4348360428 sampling steps, 10397 aborted
loop condition 0.034717, exit probability 0.034717 in initial state
93075 explored states, 1 states in BSSCs (1 absorbing)
335604 component updates, 4179654620 transient state updates
Bounds: [0.96528+3.47169e-02]@[0.00000](335604)
Sep 13, 2024 11:06:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353307 loops (322/sec), 4368478396 sampling steps, 10442 aborted
loop condition 0.034683, exit probability 0.034683 in initial state
93092 explored states, 1 states in BSSCs (1 absorbing)
337174 component updates, 4199212028 transient state updates
Bounds: [0.96532+3.46829e-02]@[0.00000](337174)
Sep 13, 2024 11:06:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354903 loops (319/sec), 4388358318 sampling steps, 10481 aborted
loop condition 0.034645, exit probability 0.034645 in initial state
93126 explored states, 1 states in BSSCs (1 absorbing)
338731 component updates, 4218606172 transient state updates
Bounds: [0.96535+3.46452e-02]@[0.00000](338731)
Sep 13, 2024 11:06:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356506 loops (320/sec), 4408327674 sampling steps, 10531 aborted
loop condition 0.034612, exit probability 0.034612 in initial state
93147 explored states, 1 states in BSSCs (1 absorbing)
340284 component updates, 4237952602 transient state updates
Bounds: [0.96539+3.46125e-02]@[0.00000](340284)
Sep 13, 2024 11:06:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358127 loops (324/sec), 4428521224 sampling steps, 10579 aborted
loop condition 0.034584, exit probability 0.034584 in initial state
93164 explored states, 1 states in BSSCs (1 absorbing)
341857 component updates, 4257547996 transient state updates
Bounds: [0.96542+3.45838e-02]@[0.00000](341857)
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359716 loops (317/sec), 4448315912 sampling steps, 10626 aborted
loop condition 0.034554, exit probability 0.034553 in initial state
93184 explored states, 1 states in BSSCs (1 absorbing)
343399 component updates, 4276757228 transient state updates
Bounds: [0.96545+3.45536e-02]@[0.00000](343399)
Sep 13, 2024 11:06:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361325 loops (321/sec), 4468359612 sampling steps, 10682 aborted
loop condition 0.034522, exit probability 0.034522 in initial state
93217 explored states, 1 states in BSSCs (1 absorbing)
344952 component updates, 4296103040 transient state updates
Bounds: [0.96548+3.45217e-02]@[0.00000](344952)
Sep 13, 2024 11:06:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362896 loops (314/sec), 4487930688 sampling steps, 10743 aborted
loop condition 0.034490, exit probability 0.034490 in initial state
93230 explored states, 1 states in BSSCs (1 absorbing)
346462 component updates, 4314914224 transient state updates
Bounds: [0.96551+3.44901e-02]@[0.00000](346462)
Sep 13, 2024 11:06:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364517 loops (324/sec), 4508123756 sampling steps, 10784 aborted
loop condition 0.034457, exit probability 0.034457 in initial state
93270 explored states, 1 states in BSSCs (1 absorbing)
348042 component updates, 4334596430 transient state updates
Bounds: [0.96554+3.44570e-02]@[0.00000](348042)
Sep 13, 2024 11:06:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366141 loops (324/sec), 4528352620 sampling steps, 10824 aborted
loop condition 0.034407, exit probability 0.034407 in initial state
93291 explored states, 1 states in BSSCs (1 absorbing)
349626 component updates, 4354326652 transient state updates
Bounds: [0.96559+3.44068e-02]@[0.00000](349626)
Sep 13, 2024 11:06:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367766 loops (324/sec), 4548595550 sampling steps, 10874 aborted
loop condition 0.034369, exit probability 0.034369 in initial state
93312 explored states, 1 states in BSSCs (1 absorbing)
351201 component updates, 4373946802 transient state updates
Bounds: [0.96563+3.43689e-02]@[0.00000](351201)
Sep 13, 2024 11:06:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369376 loops (321/sec), 4568651572 sampling steps, 10914 aborted
loop condition 0.034331, exit probability 0.034331 in initial state
93355 explored states, 1 states in BSSCs (1 absorbing)
352771 component updates, 4393504546 transient state updates
Bounds: [0.96567+3.43310e-02]@[0.00000](352771)
Sep 13, 2024 11:06:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370989 loops (322/sec), 4588743250 sampling steps, 10956 aborted
loop condition 0.034282, exit probability 0.034282 in initial state
93386 explored states, 1 states in BSSCs (1 absorbing)
354342 component updates, 4413072906 transient state updates
Bounds: [0.96572+3.42816e-02]@[0.00000](354342)
Sep 13, 2024 11:07:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372599 loops (322/sec), 4608799438 sampling steps, 10993 aborted
loop condition 0.034231, exit probability 0.034230 in initial state
93406 explored states, 1 states in BSSCs (1 absorbing)
355915 component updates, 4432668216 transient state updates
Bounds: [0.96577+3.42305e-02]@[0.00000](355915)
Sep 13, 2024 11:07:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374137 loops (307/sec), 4627958868 sampling steps, 11037 aborted
loop condition 0.034191, exit probability 0.034191 in initial state
93422 explored states, 1 states in BSSCs (1 absorbing)
357409 component updates, 4451279476 transient state updates
Bounds: [0.96581+3.41907e-02]@[0.00000](357409)
Sep 13, 2024 11:07:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375734 loops (319/sec), 4647853896 sampling steps, 11088 aborted
loop condition 0.034149, exit probability 0.034149 in initial state
93444 explored states, 1 states in BSSCs (1 absorbing)
358955 component updates, 4470538948 transient state updates
Bounds: [0.96585+3.41494e-02]@[0.00000](358955)
Sep 13, 2024 11:07:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377340 loops (321/sec), 4667860512 sampling steps, 11137 aborted
loop condition 0.034104, exit probability 0.034104 in initial state
93470 explored states, 1 states in BSSCs (1 absorbing)
360512 component updates, 4489935138 transient state updates
Bounds: [0.96590+3.41040e-02]@[0.00000](360512)
Sep 13, 2024 11:07:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378909 loops (313/sec), 4687406642 sampling steps, 11184 aborted
loop condition 0.034057, exit probability 0.034057 in initial state
93501 explored states, 1 states in BSSCs (1 absorbing)
362034 component updates, 4508895882 transient state updates
Bounds: [0.96594+3.40571e-02]@[0.00000](362034)
Sep 13, 2024 11:07:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380491 loops (316/sec), 4707113662 sampling steps, 11221 aborted
loop condition 0.034008, exit probability 0.034008 in initial state
93518 explored states, 1 states in BSSCs (1 absorbing)
363579 component updates, 4528141816 transient state updates
Bounds: [0.96599+3.40085e-02]@[0.00000](363579)
Sep 13, 2024 11:07:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382125 loops (326/sec), 4727460049 sampling steps, 11286 aborted
loop condition 0.033968, exit probability 0.033968 in initial state
93559 explored states, 1 states in BSSCs (1 absorbing)
365147 component updates, 4547675442 transient state updates
Bounds: [0.96603+3.39682e-02]@[0.00000](365147)
Sep 13, 2024 11:07:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383742 loops (323/sec), 4747603421 sampling steps, 11331 aborted
loop condition 0.033918, exit probability 0.033918 in initial state
93594 explored states, 1 states in BSSCs (1 absorbing)
366719 component updates, 4567258036 transient state updates
Bounds: [0.96608+3.39184e-02]@[0.00000](366719)
Sep 13, 2024 11:07:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385373 loops (326/sec), 4767922341 sampling steps, 11388 aborted
loop condition 0.033882, exit probability 0.033882 in initial state
93599 explored states, 1 states in BSSCs (1 absorbing)
368293 component updates, 4586866930 transient state updates
Bounds: [0.96612+3.38819e-02]@[0.00000](368293)
Sep 13, 2024 11:07:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386999 loops (325/sec), 4788178991 sampling steps, 11432 aborted
loop condition 0.033841, exit probability 0.033841 in initial state
93615 explored states, 1 states in BSSCs (1 absorbing)
369875 component updates, 4606575250 transient state updates
Bounds: [0.96616+3.38412e-02]@[0.00000](369875)
Sep 13, 2024 11:07:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388623 loops (324/sec), 4808407957 sampling steps, 11479 aborted
loop condition 0.033801, exit probability 0.033801 in initial state
93644 explored states, 1 states in BSSCs (1 absorbing)
371452 component updates, 4626218682 transient state updates
Bounds: [0.96620+3.38011e-02]@[0.00000](371452)
Sep 13, 2024 11:07:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390251 loops (325/sec), 4828688391 sampling steps, 11530 aborted
loop condition 0.033767, exit probability 0.033767 in initial state
93653 explored states, 1 states in BSSCs (1 absorbing)
373029 component updates, 4645864160 transient state updates
Bounds: [0.96623+3.37669e-02]@[0.00000](373029)
Sep 13, 2024 11:08:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391874 loops (324/sec), 4848906121 sampling steps, 11578 aborted
loop condition 0.033737, exit probability 0.033737 in initial state
93680 explored states, 1 states in BSSCs (1 absorbing)
374604 component updates, 4665483844 transient state updates
Bounds: [0.96626+3.37367e-02]@[0.00000](374604)
Sep 13, 2024 11:08:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393470 loops (319/sec), 4868787503 sampling steps, 11620 aborted
loop condition 0.033704, exit probability 0.033704 in initial state
93680 explored states, 1 states in BSSCs (1 absorbing)
376158 component updates, 4684842038 transient state updates
Bounds: [0.96630+3.37041e-02]@[0.00000](376158)
Sep 13, 2024 11:08:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395036 loops (313/sec), 4888294475 sampling steps, 11667 aborted
loop condition 0.033677, exit probability 0.033677 in initial state
93695 explored states, 1 states in BSSCs (1 absorbing)
377677 component updates, 4703763748 transient state updates
Bounds: [0.96632+3.36769e-02]@[0.00000](377677)
Sep 13, 2024 11:08:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396614 loops (315/sec), 4907951997 sampling steps, 11711 aborted
loop condition 0.033651, exit probability 0.033651 in initial state
93712 explored states, 1 states in BSSCs (1 absorbing)
379211 component updates, 4722873062 transient state updates
Bounds: [0.96635+3.36508e-02]@[0.00000](379211)
Sep 13, 2024 11:08:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398174 loops (311/sec), 4927385497 sampling steps, 11753 aborted
loop condition 0.033625, exit probability 0.033625 in initial state
93732 explored states, 1 states in BSSCs (1 absorbing)
380729 component updates, 4741783392 transient state updates
Bounds: [0.96638+3.36247e-02]@[0.00000](380729)
Sep 13, 2024 11:08:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399799 loops (325/sec), 4947628749 sampling steps, 11794 aborted
loop condition 0.033596, exit probability 0.033596 in initial state
93754 explored states, 1 states in BSSCs (1 absorbing)
382313 component updates, 4761515780 transient state updates
Bounds: [0.96640+3.35957e-02]@[0.00000](382313)
Sep 13, 2024 11:08:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401417 loops (323/sec), 4967785381 sampling steps, 11833 aborted
loop condition 0.033564, exit probability 0.033564 in initial state
93768 explored states, 1 states in BSSCs (1 absorbing)
383892 component updates, 4781186456 transient state updates
Bounds: [0.96644+3.35640e-02]@[0.00000](383892)
Sep 13, 2024 11:08:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403042 loops (325/sec), 4988028989 sampling steps, 11881 aborted
loop condition 0.033519, exit probability 0.033519 in initial state
93808 explored states, 1 states in BSSCs (1 absorbing)
385469 component updates, 4800831872 transient state updates
Bounds: [0.96648+3.35190e-02]@[0.00000](385469)
Sep 13, 2024 11:08:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404672 loops (325/sec), 5008334071 sampling steps, 11935 aborted
loop condition 0.033489, exit probability 0.033489 in initial state
93814 explored states, 1 states in BSSCs (1 absorbing)
387045 component updates, 4820463758 transient state updates
Bounds: [0.96651+3.34887e-02]@[0.00000](387045)
Sep 13, 2024 11:08:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406274 loops (320/sec), 5028291921 sampling steps, 11977 aborted
loop condition 0.033448, exit probability 0.033448 in initial state
93850 explored states, 1 states in BSSCs (1 absorbing)
388605 component updates, 4839898412 transient state updates
Bounds: [0.96655+3.34478e-02]@[0.00000](388605)
Sep 13, 2024 11:08:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407900 loops (325/sec), 5048546823 sampling steps, 12020 aborted
loop condition 0.033422, exit probability 0.033422 in initial state
93875 explored states, 1 states in BSSCs (1 absorbing)
390188 component updates, 4859617322 transient state updates
Bounds: [0.96658+3.34220e-02]@[0.00000](390188)
Sep 13, 2024 11:08:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409520 loops (323/sec), 5068726155 sampling steps, 12072 aborted
loop condition 0.033395, exit probability 0.033394 in initial state
93883 explored states, 1 states in BSSCs (1 absorbing)
391756 component updates, 4879148832 transient state updates
Bounds: [0.96661+3.33945e-02]@[0.00000](391756)
Sep 13, 2024 11:09:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411111 loops (318/sec), 5088546099 sampling steps, 12126 aborted
loop condition 0.033372, exit probability 0.033372 in initial state
93901 explored states, 1 states in BSSCs (1 absorbing)
393293 component updates, 4898295898 transient state updates
Bounds: [0.96663+3.33717e-02]@[0.00000](393293)
Sep 13, 2024 11:09:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412704 loops (318/sec), 5108390917 sampling steps, 12182 aborted
loop condition 0.033348, exit probability 0.033347 in initial state
93940 explored states, 1 states in BSSCs (1 absorbing)
394830 component updates, 4917443120 transient state updates
Bounds: [0.96665+3.33476e-02]@[0.00000](394830)
Sep 13, 2024 11:09:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414253 loops (309/sec), 5127686597 sampling steps, 12232 aborted
loop condition 0.033321, exit probability 0.033321 in initial state
93963 explored states, 1 states in BSSCs (1 absorbing)
396329 component updates, 4936115928 transient state updates
Bounds: [0.96668+3.33215e-02]@[0.00000](396329)
Sep 13, 2024 11:09:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415830 loops (315/sec), 5147330683 sampling steps, 12289 aborted
loop condition 0.033292, exit probability 0.033292 in initial state
94023 explored states, 1 states in BSSCs (1 absorbing)
397849 component updates, 4955049688 transient state updates
Bounds: [0.96671+3.32920e-02]@[0.00000](397849)
Sep 13, 2024 11:09:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417452 loops (324/sec), 5167535627 sampling steps, 12337 aborted
loop condition 0.033265, exit probability 0.033265 in initial state
94033 explored states, 1 states in BSSCs (1 absorbing)
399423 component updates, 4974656458 transient state updates
Bounds: [0.96673+3.32652e-02]@[0.00000](399423)
Sep 13, 2024 11:09:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419077 loops (325/sec), 5187778885 sampling steps, 12388 aborted
loop condition 0.033243, exit probability 0.033243 in initial state
94073 explored states, 1 states in BSSCs (1 absorbing)
400997 component updates, 4994264352 transient state updates
Bounds: [0.96676+3.32431e-02]@[0.00000](400997)
Sep 13, 2024 11:09:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420710 loops (326/sec), 5208121441 sampling steps, 12447 aborted
loop condition 0.033209, exit probability 0.033209 in initial state
94081 explored states, 1 states in BSSCs (1 absorbing)
402571 component updates, 5013871788 transient state updates
Bounds: [0.96679+3.32095e-02]@[0.00000](402571)
Sep 13, 2024 11:09:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422334 loops (324/sec), 5228350795 sampling steps, 12497 aborted
loop condition 0.033170, exit probability 0.033170 in initial state
94099 explored states, 1 states in BSSCs (1 absorbing)
404145 component updates, 5033478082 transient state updates
Bounds: [0.96683+3.31703e-02]@[0.00000](404145)
Sep 13, 2024 11:09:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423947 loops (322/sec), 5248444901 sampling steps, 12544 aborted
loop condition 0.033145, exit probability 0.033145 in initial state
94142 explored states, 1 states in BSSCs (1 absorbing)
405711 component updates, 5052986618 transient state updates
Bounds: [0.96685+3.31452e-02]@[0.00000](405711)
Sep 13, 2024 11:09:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425562 loops (322/sec), 5268563695 sampling steps, 12590 aborted
loop condition 0.033120, exit probability 0.033120 in initial state
94163 explored states, 1 states in BSSCs (1 absorbing)
407280 component updates, 5072532286 transient state updates
Bounds: [0.96688+3.31204e-02]@[0.00000](407280)
Sep 13, 2024 11:09:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427071 loops (301/sec), 5287363125 sampling steps, 12634 aborted
loop condition 0.033094, exit probability 0.033094 in initial state
94171 explored states, 1 states in BSSCs (1 absorbing)
408745 component updates, 5090783398 transient state updates
Bounds: [0.96691+3.30943e-02]@[0.00000](408745)
Sep 13, 2024 11:09:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428642 loops (314/sec), 5306932289 sampling steps, 12691 aborted
loop condition 0.033069, exit probability 0.033069 in initial state
94195 explored states, 1 states in BSSCs (1 absorbing)
410259 component updates, 5109642124 transient state updates
Bounds: [0.96693+3.30688e-02]@[0.00000](410259)
Sep 13, 2024 11:10:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430184 loops (308/sec), 5326141201 sampling steps, 12731 aborted
loop condition 0.033043, exit probability 0.033043 in initial state
94229 explored states, 1 states in BSSCs (1 absorbing)
411761 component updates, 5128352442 transient state updates
Bounds: [0.96696+3.30428e-02]@[0.00000](411761)
Sep 13, 2024 11:10:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431730 loops (309/sec), 5345400265 sampling steps, 12776 aborted
loop condition 0.033009, exit probability 0.033009 in initial state
94262 explored states, 1 states in BSSCs (1 absorbing)
413262 component updates, 5147050788 transient state updates
Bounds: [0.96699+3.30094e-02]@[0.00000](413262)
Sep 13, 2024 11:10:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433263 loops (306/sec), 5364497753 sampling steps, 12826 aborted
loop condition 0.032984, exit probability 0.032984 in initial state
94292 explored states, 1 states in BSSCs (1 absorbing)
414745 component updates, 5165525204 transient state updates
Bounds: [0.96702+3.29845e-02]@[0.00000](414745)
Sep 13, 2024 11:10:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434872 loops (321/sec), 5384540381 sampling steps, 12873 aborted
loop condition 0.032958, exit probability 0.032958 in initial state
94335 explored states, 1 states in BSSCs (1 absorbing)
416307 component updates, 5184982508 transient state updates
Bounds: [0.96704+3.29581e-02]@[0.00000](416307)
Sep 13, 2024 11:10:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436467 loops (318/sec), 5404408729 sampling steps, 12915 aborted
loop condition 0.032939, exit probability 0.032939 in initial state
94356 explored states, 1 states in BSSCs (1 absorbing)
417860 component updates, 5204327334 transient state updates
Bounds: [0.96706+3.29386e-02]@[0.00000](417860)
Sep 13, 2024 11:10:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
438052 loops (316/sec), 5424154089 sampling steps, 12967 aborted
loop condition 0.032921, exit probability 0.032921 in initial state
94383 explored states, 1 states in BSSCs (1 absorbing)
419393 component updates, 5223424708 transient state updates
Bounds: [0.96708+3.29210e-02]@[0.00000](419393)
Sep 13, 2024 11:10:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439662 loops (322/sec), 5444209303 sampling steps, 13017 aborted
loop condition 0.032890, exit probability 0.032890 in initial state
94417 explored states, 1 states in BSSCs (1 absorbing)
420953 component updates, 5242856840 transient state updates
Bounds: [0.96711+3.28905e-02]@[0.00000](420953)
Sep 13, 2024 11:10:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441266 loops (320/sec), 5464179671 sampling steps, 13063 aborted
loop condition 0.032871, exit probability 0.032871 in initial state
94451 explored states, 1 states in BSSCs (1 absorbing)
422510 component updates, 5262251624 transient state updates
Bounds: [0.96713+3.28706e-02]@[0.00000](422510)
Sep 13, 2024 11:10:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442863 loops (319/sec), 5484072377 sampling steps, 13113 aborted
loop condition 0.032844, exit probability 0.032844 in initial state
94467 explored states, 1 states in BSSCs (1 absorbing)
424057 component updates, 5281521180 transient state updates
Bounds: [0.96716+3.28441e-02]@[0.00000](424057)
Sep 13, 2024 11:10:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444474 loops (322/sec), 5504141821 sampling steps, 13167 aborted
loop condition 0.032824, exit probability 0.032824 in initial state
94467 explored states, 1 states in BSSCs (1 absorbing)
425614 component updates, 5300917922 transient state updates
Bounds: [0.96718+3.28245e-02]@[0.00000](425614)
Sep 13, 2024 11:10:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
446035 loops (312/sec), 5523587553 sampling steps, 13220 aborted
loop condition 0.032807, exit probability 0.032807 in initial state
94480 explored states, 1 states in BSSCs (1 absorbing)
427122 component updates, 5319703070 transient state updates
Bounds: [0.96719+3.28071e-02]@[0.00000](427122)
Sep 13, 2024 11:10:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447634 loops (319/sec), 5543507569 sampling steps, 13266 aborted
loop condition 0.032780, exit probability 0.032780 in initial state
94494 explored states, 1 states in BSSCs (1 absorbing)
428675 component updates, 5339049872 transient state updates
Bounds: [0.96722+3.27799e-02]@[0.00000](428675)
Sep 13, 2024 11:11:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
449187 loops (310/sec), 5562853483 sampling steps, 13305 aborted
loop condition 0.032762, exit probability 0.032762 in initial state
94523 explored states, 1 states in BSSCs (1 absorbing)
430189 component updates, 5357909704 transient state updates
Bounds: [0.96724+3.27621e-02]@[0.00000](430189)
Sep 13, 2024 11:11:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450666 loops (295/sec), 5581277241 sampling steps, 13357 aborted
loop condition 0.032720, exit probability 0.032720 in initial state
94556 explored states, 1 states in BSSCs (1 absorbing)
431616 component updates, 5375685790 transient state updates
Bounds: [0.96728+3.27200e-02]@[0.00000](431616)
Sep 13, 2024 11:11:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452160 loops (298/sec), 5599888591 sampling steps, 13392 aborted
loop condition 0.032703, exit probability 0.032702 in initial state
94581 explored states, 1 states in BSSCs (1 absorbing)
433075 component updates, 5393860914 transient state updates
Bounds: [0.96730+3.27025e-02]@[0.00000](433075)
Sep 13, 2024 11:11:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
453768 loops (321/sec), 5619919135 sampling steps, 13442 aborted
loop condition 0.032670, exit probability 0.032670 in initial state
94596 explored states, 1 states in BSSCs (1 absorbing)
434633 component updates, 5413268416 transient state updates
Bounds: [0.96733+3.26696e-02]@[0.00000](434633)
Sep 13, 2024 11:11:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
455370 loops (320/sec), 5639875367 sampling steps, 13494 aborted
loop condition 0.032638, exit probability 0.032638 in initial state
94601 explored states, 1 states in BSSCs (1 absorbing)
436183 component updates, 5432576794 transient state updates
Bounds: [0.96736+3.26378e-02]@[0.00000](436183)
Sep 13, 2024 11:11:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456974 loops (320/sec), 5659855649 sampling steps, 13537 aborted
loop condition 0.032622, exit probability 0.032622 in initial state
94620 explored states, 1 states in BSSCs (1 absorbing)
437744 component updates, 5452021280 transient state updates
Bounds: [0.96738+3.26216e-02]@[0.00000](437744)
Sep 13, 2024 11:11:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458579 loops (320/sec), 5679848027 sampling steps, 13588 aborted
loop condition 0.032608, exit probability 0.032608 in initial state
94631 explored states, 1 states in BSSCs (1 absorbing)
439298 component updates, 5471378330 transient state updates
Bounds: [0.96739+3.26084e-02]@[0.00000](439298)
Sep 13, 2024 11:11:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460176 loops (319/sec), 5699742341 sampling steps, 13630 aborted
loop condition 0.032595, exit probability 0.032595 in initial state
94653 explored states, 1 states in BSSCs (1 absorbing)
440853 component updates, 5490749130 transient state updates
Bounds: [0.96740+3.25952e-02]@[0.00000](440853)
Sep 13, 2024 11:11:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461768 loops (318/sec), 5719575131 sampling steps, 13685 aborted
loop condition 0.032575, exit probability 0.032575 in initial state
94660 explored states, 1 states in BSSCs (1 absorbing)
442390 component updates, 5509896662 transient state updates
Bounds: [0.96743+3.25749e-02]@[0.00000](442390)
Sep 13, 2024 11:11:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
463335 loops (313/sec), 5739095809 sampling steps, 13741 aborted
loop condition 0.032564, exit probability 0.032564 in initial state
94675 explored states, 1 states in BSSCs (1 absorbing)
443901 component updates, 5528719510 transient state updates
Bounds: [0.96744+3.25636e-02]@[0.00000](443901)
Sep 13, 2024 11:11:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464918 loops (316/sec), 5758817631 sampling steps, 13791 aborted
loop condition 0.032549, exit probability 0.032549 in initial state
94703 explored states, 1 states in BSSCs (1 absorbing)
445434 component updates, 5547818520 transient state updates
Bounds: [0.96745+3.25494e-02]@[0.00000](445434)
Sep 13, 2024 11:11:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466517 loops (319/sec), 5778723075 sampling steps, 13841 aborted
loop condition 0.032533, exit probability 0.032533 in initial state
94729 explored states, 1 states in BSSCs (1 absorbing)
446982 component updates, 5567100730 transient state updates
Bounds: [0.96747+3.25335e-02]@[0.00000](446982)
Sep 13, 2024 11:12:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468114 loops (319/sec), 5798616445 sampling steps, 13887 aborted
loop condition 0.032518, exit probability 0.032518 in initial state
94743 explored states, 1 states in BSSCs (1 absorbing)
448533 component updates, 5586420642 transient state updates
Bounds: [0.96748+3.25177e-02]@[0.00000](448533)
Sep 13, 2024 11:12:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
469650 loops (307/sec), 5817749567 sampling steps, 13936 aborted
loop condition 0.032504, exit probability 0.032504 in initial state
94755 explored states, 1 states in BSSCs (1 absorbing)
450020 component updates, 5604943276 transient state updates
Bounds: [0.96750+3.25045e-02]@[0.00000](450020)
Sep 13, 2024 11:12:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471228 loops (315/sec), 5837407427 sampling steps, 13975 aborted
loop condition 0.032492, exit probability 0.032492 in initial state
94768 explored states, 1 states in BSSCs (1 absorbing)
451559 component updates, 5624115144 transient state updates
Bounds: [0.96751+3.24919e-02]@[0.00000](451559)
Sep 13, 2024 11:12:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
472832 loops (320/sec), 5857388329 sampling steps, 14023 aborted
loop condition 0.032465, exit probability 0.032464 in initial state
94778 explored states, 1 states in BSSCs (1 absorbing)
453115 component updates, 5643497894 transient state updates
Bounds: [0.96754+3.24645e-02]@[0.00000](453115)
Sep 13, 2024 11:12:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
474420 loops (317/sec), 5877170001 sampling steps, 14065 aborted
loop condition 0.032445, exit probability 0.032445 in initial state
94802 explored states, 1 states in BSSCs (1 absorbing)
454661 component updates, 5662756230 transient state updates
Bounds: [0.96755+3.24454e-02]@[0.00000](454661)
Sep 13, 2024 11:12:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
476026 loops (321/sec), 5897175287 sampling steps, 14107 aborted
loop condition 0.032433, exit probability 0.032433 in initial state
94830 explored states, 1 states in BSSCs (1 absorbing)
456225 component updates, 5682238416 transient state updates
Bounds: [0.96757+3.24334e-02]@[0.00000](456225)
Sep 13, 2024 11:12:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477618 loops (318/sec), 5917003739 sampling steps, 14164 aborted
loop condition 0.032418, exit probability 0.032418 in initial state
94865 explored states, 1 states in BSSCs (1 absorbing)
457760 component updates, 5701357584 transient state updates
Bounds: [0.96758+3.24183e-02]@[0.00000](457760)
Sep 13, 2024 11:12:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
479200 loops (316/sec), 5936711029 sampling steps, 14222 aborted
loop condition 0.032401, exit probability 0.032401 in initial state
94877 explored states, 1 states in BSSCs (1 absorbing)
459284 component updates, 5720342158 transient state updates
Bounds: [0.96760+3.24011e-02]@[0.00000](459284)
Sep 13, 2024 11:12:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480751 loops (310/sec), 5956032151 sampling steps, 14268 aborted
loop condition 0.032385, exit probability 0.032385 in initial state
94906 explored states, 1 states in BSSCs (1 absorbing)
460789 component updates, 5739090154 transient state updates
Bounds: [0.96761+3.23852e-02]@[0.00000](460789)
Sep 13, 2024 11:12:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
482366 loops (322/sec), 5976150563 sampling steps, 14317 aborted
loop condition 0.032359, exit probability 0.032359 in initial state
94941 explored states, 1 states in BSSCs (1 absorbing)
462355 component updates, 5758597852 transient state updates
Bounds: [0.96764+3.23593e-02]@[0.00000](462355)
Sep 13, 2024 11:12:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483980 loops (322/sec), 5996255667 sampling steps, 14366 aborted
loop condition 0.032344, exit probability 0.032344 in initial state
94981 explored states, 1 states in BSSCs (1 absorbing)
463920 component updates, 5778092654 transient state updates
Bounds: [0.96766+3.23441e-02]@[0.00000](463920)
Sep 13, 2024 11:12:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
485593 loops (322/sec), 6016349405 sampling steps, 14413 aborted
loop condition 0.032328, exit probability 0.032328 in initial state
94986 explored states, 1 states in BSSCs (1 absorbing)
465486 component updates, 5797600948 transient state updates
Bounds: [0.96767+3.23276e-02]@[0.00000](465486)
Sep 13, 2024 11:13:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487201 loops (321/sec), 6036381043 sampling steps, 14470 aborted
loop condition 0.032315, exit probability 0.032314 in initial state
95002 explored states, 1 states in BSSCs (1 absorbing)
467037 component updates, 5816922442 transient state updates
Bounds: [0.96769+3.23146e-02]@[0.00000](467037)
Sep 13, 2024 11:13:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488771 loops (313/sec), 6055938781 sampling steps, 14522 aborted
loop condition 0.032303, exit probability 0.032303 in initial state
95003 explored states, 1 states in BSSCs (1 absorbing)
468555 component updates, 5835832204 transient state updates
Bounds: [0.96770+3.23031e-02]@[0.00000](468555)
Sep 13, 2024 11:13:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
490347 loops (315/sec), 6075572257 sampling steps, 14559 aborted
loop condition 0.032286, exit probability 0.032286 in initial state
95009 explored states, 1 states in BSSCs (1 absorbing)
470094 component updates, 5855004552 transient state updates
Bounds: [0.96771+3.22858e-02]@[0.00000](470094)
Sep 13, 2024 11:13:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491965 loops (323/sec), 6095730151 sampling steps, 14620 aborted
loop condition 0.032275, exit probability 0.032275 in initial state
95010 explored states, 1 states in BSSCs (1 absorbing)
471651 component updates, 5874402228 transient state updates
Bounds: [0.96773+3.22746e-02]@[0.00000](471651)
Sep 13, 2024 11:13:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
493572 loops (321/sec), 6115749227 sampling steps, 14658 aborted
loop condition 0.032259, exit probability 0.032259 in initial state
95044 explored states, 1 states in BSSCs (1 absorbing)
473220 component updates, 5893947882 transient state updates
Bounds: [0.96774+3.22593e-02]@[0.00000](473220)
Sep 13, 2024 11:13:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
495137 loops (313/sec), 6135245563 sampling steps, 14700 aborted
loop condition 0.032247, exit probability 0.032247 in initial state
95061 explored states, 1 states in BSSCs (1 absorbing)
474743 component updates, 5912921050 transient state updates
Bounds: [0.96775+3.22471e-02]@[0.00000](474743)
Sep 13, 2024 11:13:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
496701 loops (312/sec), 6154727503 sampling steps, 14737 aborted
loop condition 0.032233, exit probability 0.032233 in initial state
95082 explored states, 1 states in BSSCs (1 absorbing)
476270 component updates, 5931941956 transient state updates
Bounds: [0.96777+3.22333e-02]@[0.00000](476270)
Sep 13, 2024 11:13:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498310 loops (321/sec), 6174769889 sampling steps, 14778 aborted
loop condition 0.032219, exit probability 0.032219 in initial state
95104 explored states, 1 states in BSSCs (1 absorbing)
477838 component updates, 5951473430 transient state updates
Bounds: [0.96778+3.22190e-02]@[0.00000](477838)
Sep 13, 2024 11:13:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
499934 loops (324/sec), 6195000073 sampling steps, 14830 aborted
loop condition 0.032196, exit probability 0.032196 in initial state
95133 explored states, 1 states in BSSCs (1 absorbing)
479410 component updates, 5971055744 transient state updates
Bounds: [0.96780+3.21962e-02]@[0.00000](479410)
Sep 13, 2024 11:13:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501551 loops (323/sec), 6215142459 sampling steps, 14883 aborted
loop condition 0.032177, exit probability 0.032176 in initial state
95183 explored states, 1 states in BSSCs (1 absorbing)
480974 component updates, 5990537736 transient state updates
Bounds: [0.96782+3.21765e-02]@[0.00000](480974)
Sep 13, 2024 11:13:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503169 loops (323/sec), 6235299351 sampling steps, 14943 aborted
loop condition 0.032159, exit probability 0.032159 in initial state
95187 explored states, 1 states in BSSCs (1 absorbing)
482532 component updates, 6009946942 transient state updates
Bounds: [0.96784+3.21589e-02]@[0.00000](482532)
Sep 13, 2024 11:13:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
504785 loops (323/sec), 6255428513 sampling steps, 14999 aborted
loop condition 0.032145, exit probability 0.032145 in initial state
95199 explored states, 1 states in BSSCs (1 absorbing)
484092 component updates, 6029378238 transient state updates
Bounds: [0.96785+3.21454e-02]@[0.00000](484092)
Sep 13, 2024 11:14:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506392 loops (321/sec), 6275448357 sampling steps, 15042 aborted
loop condition 0.032134, exit probability 0.032134 in initial state
95208 explored states, 1 states in BSSCs (1 absorbing)
485656 component updates, 6048862262 transient state updates
Bounds: [0.96787+3.21341e-02]@[0.00000](485656)
Sep 13, 2024 11:14:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
507972 loops (315/sec), 6295131101 sampling steps, 15094 aborted
loop condition 0.032122, exit probability 0.032122 in initial state
95224 explored states, 1 states in BSSCs (1 absorbing)
487184 component updates, 6067897182 transient state updates
Bounds: [0.96788+3.21219e-02]@[0.00000](487184)
Sep 13, 2024 11:14:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
509518 loops (309/sec), 6314391057 sampling steps, 15136 aborted
loop condition 0.032114, exit probability 0.032114 in initial state
95237 explored states, 1 states in BSSCs (1 absorbing)
488688 component updates, 6086633460 transient state updates
Bounds: [0.96789+3.21139e-02]@[0.00000](488688)
Sep 13, 2024 11:14:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511065 loops (309/sec), 6333662923 sampling steps, 15190 aborted
loop condition 0.032100, exit probability 0.032100 in initial state
95263 explored states, 1 states in BSSCs (1 absorbing)
490181 component updates, 6105232426 transient state updates
Bounds: [0.96790+3.20996e-02]@[0.00000](490181)
Sep 13, 2024 11:14:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512626 loops (312/sec), 6353107799 sampling steps, 15243 aborted
loop condition 0.032082, exit probability 0.032082 in initial state
95283 explored states, 1 states in BSSCs (1 absorbing)
491689 component updates, 6124016994 transient state updates
Bounds: [0.96792+3.20818e-02]@[0.00000](491689)
Sep 13, 2024 11:14:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514227 loops (320/sec), 6373051487 sampling steps, 15296 aborted
loop condition 0.032063, exit probability 0.032063 in initial state
95291 explored states, 1 states in BSSCs (1 absorbing)
493237 component updates, 6143300386 transient state updates
Bounds: [0.96794+3.20628e-02]@[0.00000](493237)
Sep 13, 2024 11:14:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
515840 loops (322/sec), 6393144189 sampling steps, 15343 aborted
loop condition 0.032051, exit probability 0.032051 in initial state
95296 explored states, 1 states in BSSCs (1 absorbing)
494803 component updates, 6162807456 transient state updates
Bounds: [0.96795+3.20511e-02]@[0.00000](494803)
Sep 13, 2024 11:14:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517453 loops (322/sec), 6413237453 sampling steps, 15391 aborted
loop condition 0.032034, exit probability 0.032034 in initial state
95297 explored states, 1 states in BSSCs (1 absorbing)
496368 component updates, 6182302596 transient state updates
Bounds: [0.96797+3.20341e-02]@[0.00000](496368)
Sep 13, 2024 11:14:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
519072 loops (323/sec), 6433406433 sampling steps, 15442 aborted
loop condition 0.032024, exit probability 0.032024 in initial state
95312 explored states, 1 states in BSSCs (1 absorbing)
497936 component updates, 6201836066 transient state updates
Bounds: [0.96798+3.20244e-02]@[0.00000](497936)
Sep 13, 2024 11:14:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520700 loops (325/sec), 6453685529 sampling steps, 15506 aborted
loop condition 0.032017, exit probability 0.032017 in initial state
95324 explored states, 1 states in BSSCs (1 absorbing)
499500 component updates, 6221318090 transient state updates
Bounds: [0.96798+3.20174e-02]@[0.00000](499500)
Sep 13, 2024 11:14:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
522320 loops (324/sec), 6473865109 sampling steps, 15556 aborted
loop condition 0.032010, exit probability 0.032010 in initial state
95336 explored states, 1 states in BSSCs (1 absorbing)
501070 component updates, 6240874920 transient state updates
Bounds: [0.96799+3.20102e-02]@[0.00000](501070)
Sep 13, 2024 11:14:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523935 loops (323/sec), 6493984299 sampling steps, 15609 aborted
loop condition 0.031999, exit probability 0.031999 in initial state
95379 explored states, 1 states in BSSCs (1 absorbing)
502632 component updates, 6260333454 transient state updates
Bounds: [0.96800+3.19995e-02]@[0.00000](502632)
Sep 13, 2024 11:15:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
525482 loops (309/sec), 6513255625 sampling steps, 15653 aborted
loop condition 0.031990, exit probability 0.031990 in initial state
95383 explored states, 1 states in BSSCs (1 absorbing)
504135 component updates, 6279056734 transient state updates
Bounds: [0.96801+3.19901e-02]@[0.00000](504135)
Sep 13, 2024 11:15:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
527019 loops (307/sec), 6532402513 sampling steps, 15708 aborted
loop condition 0.031984, exit probability 0.031984 in initial state
95403 explored states, 1 states in BSSCs (1 absorbing)
505617 component updates, 6297518408 transient state updates
Bounds: [0.96802+3.19842e-02]@[0.00000](505617)
Sep 13, 2024 11:15:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528594 loops (314/sec), 6552024197 sampling steps, 15758 aborted
loop condition 0.031978, exit probability 0.031978 in initial state
95418 explored states, 1 states in BSSCs (1 absorbing)
507142 component updates, 6316517408 transient state updates
Bounds: [0.96802+3.19784e-02]@[0.00000](507142)
Sep 13, 2024 11:15:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
530205 loops (322/sec), 6572091795 sampling steps, 15800 aborted
loop condition 0.031964, exit probability 0.031964 in initial state
95428 explored states, 1 states in BSSCs (1 absorbing)
508711 component updates, 6336061464 transient state updates
Bounds: [0.96804+3.19644e-02]@[0.00000](508711)
Sep 13, 2024 11:15:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531818 loops (322/sec), 6592184365 sampling steps, 15841 aborted
loop condition 0.031950, exit probability 0.031950 in initial state
95450 explored states, 1 states in BSSCs (1 absorbing)
510283 component updates, 6355643160 transient state updates
Bounds: [0.96805+3.19503e-02]@[0.00000](510283)
Sep 13, 2024 11:15:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
533428 loops (321/sec), 6612239875 sampling steps, 15884 aborted
loop condition 0.031945, exit probability 0.031945 in initial state
95469 explored states, 1 states in BSSCs (1 absorbing)
511850 component updates, 6375162866 transient state updates
Bounds: [0.96806+3.19447e-02]@[0.00000](511850)
Sep 13, 2024 11:15:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
535043 loops (322/sec), 6632356991 sampling steps, 15932 aborted
loop condition 0.031936, exit probability 0.031936 in initial state
95475 explored states, 1 states in BSSCs (1 absorbing)
513417 component updates, 6394682328 transient state updates
Bounds: [0.96806+3.19358e-02]@[0.00000](513417)
Sep 13, 2024 11:15:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536663 loops (323/sec), 6652537407 sampling steps, 15985 aborted
loop condition 0.031927, exit probability 0.031926 in initial state
95495 explored states, 1 states in BSSCs (1 absorbing)
514984 component updates, 6414202576 transient state updates
Bounds: [0.96807+3.19265e-02]@[0.00000](514984)
Sep 13, 2024 11:15:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538262 loops (319/sec), 6672455291 sampling steps, 16037 aborted
loop condition 0.031913, exit probability 0.031913 in initial state
95503 explored states, 1 states in BSSCs (1 absorbing)
516531 component updates, 6433472720 transient state updates
Bounds: [0.96809+3.19126e-02]@[0.00000](516531)
Sep 13, 2024 11:15:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539833 loops (314/sec), 6692025135 sampling steps, 16082 aborted
loop condition 0.031905, exit probability 0.031905 in initial state
95518 explored states, 1 states in BSSCs (1 absorbing)
518057 component updates, 6452481960 transient state updates
Bounds: [0.96809+3.19051e-02]@[0.00000](518057)
Sep 13, 2024 11:15:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541418 loops (316/sec), 6711769337 sampling steps, 16124 aborted
loop condition 0.031897, exit probability 0.031897 in initial state
95525 explored states, 1 states in BSSCs (1 absorbing)
519600 component updates, 6471702814 transient state updates
Bounds: [0.96810+3.18968e-02]@[0.00000](519600)
Sep 13, 2024 11:15:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
543037 loops (323/sec), 6731937859 sampling steps, 16164 aborted
loop condition 0.031890, exit probability 0.031890 in initial state
95532 explored states, 1 states in BSSCs (1 absorbing)
521179 component updates, 6491373012 transient state updates
Bounds: [0.96811+3.18896e-02]@[0.00000](521179)
Sep 13, 2024 11:16:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544637 loops (320/sec), 6751868353 sampling steps, 16212 aborted
loop condition 0.031883, exit probability 0.031883 in initial state
95556 explored states, 1 states in BSSCs (1 absorbing)
522731 component updates, 6510705502 transient state updates
Bounds: [0.96812+3.18828e-02]@[0.00000](522731)
Sep 13, 2024 11:16:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
546166 loops (305/sec), 6770916043 sampling steps, 16262 aborted
loop condition 0.031877, exit probability 0.031877 in initial state
95563 explored states, 1 states in BSSCs (1 absorbing)
524210 component updates, 6529130098 transient state updates
Bounds: [0.96812+3.18770e-02]@[0.00000](524210)
Sep 13, 2024 11:16:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547712 loops (309/sec), 6790174101 sampling steps, 16316 aborted
loop condition 0.031874, exit probability 0.031874 in initial state
95587 explored states, 1 states in BSSCs (1 absorbing)
525702 component updates, 6547715436 transient state updates
Bounds: [0.96813+3.18737e-02]@[0.00000](525702)
Sep 13, 2024 11:16:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549284 loops (314/sec), 6809756005 sampling steps, 16363 aborted
loop condition 0.031870, exit probability 0.031870 in initial state
95611 explored states, 1 states in BSSCs (1 absorbing)
527227 component updates, 6566711766 transient state updates
Bounds: [0.96813+3.18698e-02]@[0.00000](527227)
Sep 13, 2024 11:16:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
550776 loops (298/sec), 6828342783 sampling steps, 16411 aborted
loop condition 0.031864, exit probability 0.031864 in initial state
95639 explored states, 1 states in BSSCs (1 absorbing)
528671 component updates, 6584700296 transient state updates
Bounds: [0.96814+3.18644e-02]@[0.00000](528671)
Sep 13, 2024 11:16:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552112 loops (267/sec), 6844985357 sampling steps, 16447 aborted
loop condition 0.031859, exit probability 0.031859 in initial state
95641 explored states, 1 states in BSSCs (1 absorbing)
529971 component updates, 6600894360 transient state updates
Bounds: [0.96814+3.18593e-02]@[0.00000](529971)
Sep 13, 2024 11:16:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
553428 loops (263/sec), 6861380205 sampling steps, 16494 aborted
loop condition 0.031851, exit probability 0.031851 in initial state
95642 explored states, 1 states in BSSCs (1 absorbing)
531240 component updates, 6616703608 transient state updates
Bounds: [0.96815+3.18509e-02]@[0.00000](531240)
Sep 13, 2024 11:16:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
554797 loops (273/sec), 6878433071 sampling steps, 16538 aborted
loop condition 0.031846, exit probability 0.031846 in initial state
95658 explored states, 1 states in BSSCs (1 absorbing)
532565 component updates, 6633208316 transient state updates
Bounds: [0.96815+3.18457e-02]@[0.00000](532565)
Sep 13, 2024 11:16:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555969 loops (234/sec), 6893032817 sampling steps, 16567 aborted
loop condition 0.031840, exit probability 0.031840 in initial state
95670 explored states, 1 states in BSSCs (1 absorbing)
533708 component updates, 6647446980 transient state updates
Bounds: [0.96816+3.18399e-02]@[0.00000](533708)
Sep 13, 2024 11:16:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
557268 loops (259/sec), 6909212303 sampling steps, 16603 aborted
loop condition 0.031824, exit probability 0.031824 in initial state
95678 explored states, 1 states in BSSCs (1 absorbing)
534971 component updates, 6663177970 transient state updates
Bounds: [0.96818+3.18235e-02]@[0.00000](534971)
Sep 13, 2024 11:16:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558463 loops (238/sec), 6924098163 sampling steps, 16644 aborted
loop condition 0.031814, exit probability 0.031814 in initial state
95690 explored states, 1 states in BSSCs (1 absorbing)
536125 component updates, 6677553076 transient state updates
Bounds: [0.96819+3.18141e-02]@[0.00000](536125)
Sep 13, 2024 11:16:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
559756 loops (258/sec), 6940205797 sampling steps, 16682 aborted
loop condition 0.031810, exit probability 0.031810 in initial state
95699 explored states, 1 states in BSSCs (1 absorbing)
537380 component updates, 6693187374 transient state updates
Bounds: [0.96819+3.18098e-02]@[0.00000](537380)
----------
Computation aborted after 1800.008362531662 seconds since the total time limit of 1800.0 seconds was exceeded.