Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:30 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/leader_sync/leader_sync.5-4.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:48:30 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
472288 loops (94457/sec), 2776605 sampling steps, 57133 aborted
loop condition 0.12109, exit probability 1.5797e-199 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
415155 component updates, 2490930 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](415155)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
926737 loops (90889/sec), 5447798 sampling steps, 112634 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
814103 component updates, 4884618 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](814103)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1422208 loops (99094/sec), 8360762 sampling steps, 172496 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
1249712 component updates, 7498272 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](1249712)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1917025 loops (98963/sec), 11269895 sampling steps, 232265 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
1684760 component updates, 10108560 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](1684760)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2393204 loops (95235/sec), 14069123 sampling steps, 290111 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
2103093 component updates, 12618558 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](2103093)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2873582 loops (96075/sec), 16893289 sampling steps, 348213 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
2525369 component updates, 15152214 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](2525369)
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3354348 loops (96153/sec), 19719498 sampling steps, 406600 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
2947748 component updates, 17686488 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](2947748)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3841425 loops (97415/sec), 22583349 sampling steps, 465211 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
3376214 component updates, 20257284 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](3376214)
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4331939 loops (98102/sec), 25467153 sampling steps, 524491 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
3807448 component updates, 22844688 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](3807448)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4820213 loops (97654/sec), 28338341 sampling steps, 582947 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
4237266 component updates, 25423596 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](4237266)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5303375 loops (96632/sec), 31178387 sampling steps, 641873 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
4661502 component updates, 27969012 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](4661502)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5782739 loops (95872/sec), 33996664 sampling steps, 699780 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
5082959 component updates, 30497754 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](5082959)
Sep 13, 2024 10:49:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6269228 loops (97297/sec), 36856943 sampling steps, 758435 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
5510793 component updates, 33064758 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](5510793)
Sep 13, 2024 10:49:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6758106 loops (97775/sec), 39731171 sampling steps, 817475 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
5940631 component updates, 35643786 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](5940631)
Sep 13, 2024 10:49:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7246486 loops (97676/sec), 42602793 sampling steps, 876133 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
6370353 component updates, 38222118 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](6370353)
Sep 13, 2024 10:49:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7735254 loops (97753/sec), 45476633 sampling steps, 934901 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
6800353 component updates, 40802118 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](6800353)
Sep 13, 2024 10:49:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8223983 loops (97745/sec), 48349777 sampling steps, 994131 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
7229852 component updates, 43379112 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](7229852)
Sep 13, 2024 10:50:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8710154 loops (97234/sec), 51207622 sampling steps, 1053312 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
7656842 component updates, 45941052 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](7656842)
Sep 13, 2024 10:50:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9196228 loops (97214/sec), 54065671 sampling steps, 1111707 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
8084521 component updates, 48507126 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](8084521)
Sep 13, 2024 10:50:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9681773 loops (97109/sec), 56920379 sampling steps, 1170269 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
8511504 component updates, 51069024 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](8511504)
Sep 13, 2024 10:50:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10170665 loops (97778/sec), 59794519 sampling steps, 1229481 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
8941184 component updates, 53647104 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](8941184)
Sep 13, 2024 10:50:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10660296 loops (97926/sec), 62673230 sampling steps, 1288556 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
9371740 component updates, 56230440 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](9371740)
Sep 13, 2024 10:50:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11150925 loops (98125/sec), 65557055 sampling steps, 1348505 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
9802420 component updates, 58814520 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](9802420)
Sep 13, 2024 10:50:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11631092 loops (96033/sec), 68379994 sampling steps, 1406568 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
10224524 component updates, 61347144 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](10224524)
Sep 13, 2024 10:50:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12119073 loops (97596/sec), 71248604 sampling steps, 1465844 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
10653229 component updates, 63919374 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](10653229)
Sep 13, 2024 10:50:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12609324 loops (98050/sec), 74130696 sampling steps, 1525258 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
11084066 component updates, 66504396 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](11084066)
Sep 13, 2024 10:50:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13098520 loops (97839/sec), 77006529 sampling steps, 1584601 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
11513919 component updates, 69083514 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](11513919)
Sep 13, 2024 10:50:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13587960 loops (97888/sec), 79884203 sampling steps, 1643567 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
11944393 component updates, 71666358 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](11944393)
Sep 13, 2024 10:50:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14076794 loops (97766/sec), 82758061 sampling steps, 1702713 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
12374081 component updates, 74244486 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](12374081)
Sep 13, 2024 10:51:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14563421 loops (97325/sec), 85619146 sampling steps, 1761390 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
12802031 component updates, 76812186 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](12802031)
Sep 13, 2024 10:51:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15050736 loops (97463/sec), 88483986 sampling steps, 1820440 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
13230296 component updates, 79381776 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](13230296)
Sep 13, 2024 10:51:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15536839 loops (97220/sec), 91341910 sampling steps, 1879134 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
13657705 component updates, 81946230 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](13657705)
Sep 13, 2024 10:51:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16025904 loops (97813/sec), 94216852 sampling steps, 1938582 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
14087322 component updates, 84523932 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](14087322)
Sep 13, 2024 10:51:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16516386 loops (98096/sec), 97100089 sampling steps, 1998237 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
14518149 component updates, 87108894 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](14518149)
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17003567 loops (97436/sec), 99964103 sampling steps, 2057309 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
14946258 component updates, 89677548 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](14946258)
Sep 13, 2024 10:51:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17489960 loops (97278/sec), 102823660 sampling steps, 2116110 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
15373850 component updates, 92243100 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](15373850)
Sep 13, 2024 10:51:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17974718 loops (96951/sec), 105673482 sampling steps, 2174836 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
15799882 component updates, 94799292 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](15799882)
Sep 13, 2024 10:51:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18462355 loops (97527/sec), 108540512 sampling steps, 2233628 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
16228727 component updates, 97372362 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](16228727)
Sep 13, 2024 10:51:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18950771 loops (97683/sec), 111411639 sampling steps, 2292997 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
16657774 component updates, 99946644 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](16657774)
Sep 13, 2024 10:51:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19437833 loops (97412/sec), 114274933 sampling steps, 2352075 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
17085758 component updates, 102514548 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](17085758)
Sep 13, 2024 10:51:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19926663 loops (97766/sec), 117148883 sampling steps, 2411105 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
17515558 component updates, 105093348 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](17515558)
Sep 13, 2024 10:52:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20412397 loops (97146/sec), 120004420 sampling steps, 2469972 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
17942425 component updates, 107654550 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](17942425)
Sep 13, 2024 10:52:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20895015 loops (96523/sec), 122841561 sampling steps, 2528539 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
18366476 component updates, 110198856 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](18366476)
Sep 13, 2024 10:52:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21379846 loops (96966/sec), 125691581 sampling steps, 2587505 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
18792341 component updates, 112754046 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](18792341)
Sep 13, 2024 10:52:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21869239 loops (97878/sec), 128568567 sampling steps, 2646877 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
19222362 component updates, 115334172 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](19222362)
Sep 13, 2024 10:52:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22357502 loops (97652/sec), 131438841 sampling steps, 2706181 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
19651321 component updates, 117907926 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](19651321)
Sep 13, 2024 10:52:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22846219 loops (97743/sec), 134312259 sampling steps, 2765065 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
20081154 component updates, 120486924 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](20081154)
Sep 13, 2024 10:52:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23334852 loops (97726/sec), 137184500 sampling steps, 2824622 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
20510230 component updates, 123061380 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](20510230)
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23823140 loops (97657/sec), 140055402 sampling steps, 2883448 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
20939692 component updates, 125638152 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](20939692)
Sep 13, 2024 10:52:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24312215 loops (97815/sec), 142930580 sampling steps, 2942720 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
21369495 component updates, 128216970 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](21369495)
Sep 13, 2024 10:52:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24801808 loops (97918/sec), 145808194 sampling steps, 3002664 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
21799144 component updates, 130794864 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](21799144)
Sep 13, 2024 10:52:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25291476 loops (97933/sec), 148686933 sampling steps, 3061933 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
22229543 component updates, 133377258 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](22229543)
Sep 13, 2024 10:52:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25781268 loops (97958/sec), 151566488 sampling steps, 3121130 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
22660138 component updates, 135960828 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](22660138)
Sep 13, 2024 10:53:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26269531 loops (97633/sec), 154436690 sampling steps, 3180506 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
23089025 component updates, 138534150 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](23089025)
Sep 13, 2024 10:53:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26750400 loops (96173/sec), 157263505 sampling steps, 3238905 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
23511495 component updates, 141068970 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](23511495)
Sep 13, 2024 10:53:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27235223 loops (96964/sec), 160114000 sampling steps, 3297348 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
23937875 component updates, 143627250 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](23937875)
Sep 13, 2024 10:53:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27725430 loops (98041/sec), 162996037 sampling steps, 3356553 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
24368877 component updates, 146213262 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](24368877)
Sep 13, 2024 10:53:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28215019 loops (97917/sec), 165874218 sampling steps, 3415906 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
24799113 component updates, 148794678 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](24799113)
Sep 13, 2024 10:53:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28699076 loops (96811/sec), 168719704 sampling steps, 3474762 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
25224314 component updates, 151345884 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](25224314)
Sep 13, 2024 10:53:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29187842 loops (97753/sec), 171593393 sampling steps, 3533669 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
25654173 component updates, 153925038 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](25654173)
Sep 13, 2024 10:53:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29677213 loops (97874/sec), 174470594 sampling steps, 3592694 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
26084519 component updates, 156507114 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](26084519)
Sep 13, 2024 10:53:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30167592 loops (98075/sec), 177353352 sampling steps, 3652210 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
26515382 component updates, 159092292 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](26515382)
Sep 13, 2024 10:53:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30656929 loops (97867/sec), 180230188 sampling steps, 3711396 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
26945533 component updates, 161673198 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](26945533)
Sep 13, 2024 10:53:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31146143 loops (97842/sec), 183106457 sampling steps, 3770411 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
27375732 component updates, 164254392 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](27375732)
Sep 13, 2024 10:53:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31635454 loops (97862/sec), 185983264 sampling steps, 3829470 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
27805984 component updates, 166835904 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](27805984)
Sep 13, 2024 10:54:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32122450 loops (97399/sec), 188846749 sampling steps, 3887961 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
28234489 component updates, 169406934 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](28234489)
Sep 13, 2024 10:54:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32610138 loops (97537/sec), 191714028 sampling steps, 3946810 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
28663328 component updates, 171979968 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](28663328)
Sep 13, 2024 10:54:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33095764 loops (97125/sec), 194569177 sampling steps, 4005417 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
29090347 component updates, 174542082 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](29090347)
Sep 13, 2024 10:54:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33586035 loops (98054/sec), 197451272 sampling steps, 4064948 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
29521087 component updates, 177126522 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](29521087)
Sep 13, 2024 10:54:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34076045 loops (98002/sec), 200331775 sampling steps, 4124505 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
29951540 component updates, 179709240 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](29951540)
Sep 13, 2024 10:54:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34566534 loops (98097/sec), 203215125 sampling steps, 4184089 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
30382445 component updates, 182294670 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](30382445)
Sep 13, 2024 10:54:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35057065 loops (98106/sec), 206098738 sampling steps, 4243662 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
30813403 component updates, 184880418 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](30813403)
Sep 13, 2024 10:54:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35547577 loops (98102/sec), 208982546 sampling steps, 4302926 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
31244651 component updates, 187467906 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](31244651)
Sep 13, 2024 10:54:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36037024 loops (97889/sec), 211860127 sampling steps, 4362027 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
31674997 component updates, 190049982 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](31674997)
Sep 13, 2024 10:54:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36527467 loops (98088/sec), 214743466 sampling steps, 4421346 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
32106121 component updates, 192636726 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](32106121)
Sep 13, 2024 10:54:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37017583 loops (98023/sec), 217624972 sampling steps, 4480536 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
32537047 component updates, 195222282 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](32537047)
Sep 13, 2024 10:54:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37506860 loops (97855/sec), 220501237 sampling steps, 4539933 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
32966927 component updates, 197801562 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](32966927)
Sep 13, 2024 10:55:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37993438 loops (97315/sec), 223361891 sampling steps, 4598747 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
33394691 component updates, 200368146 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](33394691)
Sep 13, 2024 10:55:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38480049 loops (97322/sec), 226222676 sampling steps, 4657628 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
33822421 component updates, 202934526 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](33822421)
Sep 13, 2024 10:55:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38966345 loops (97259/sec), 229081652 sampling steps, 4716428 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
34249917 component updates, 205499502 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](34249917)
Sep 13, 2024 10:55:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39456501 loops (98031/sec), 231963022 sampling steps, 4775994 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
34680507 component updates, 208083042 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](34680507)
Sep 13, 2024 10:55:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39946599 loops (98019/sec), 234844152 sampling steps, 4835452 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
35111147 component updates, 210666882 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](35111147)
Sep 13, 2024 10:55:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40437005 loops (98081/sec), 237727180 sampling steps, 4894860 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
35542145 component updates, 213252870 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](35542145)
Sep 13, 2024 10:55:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40927280 loops (98055/sec), 240609434 sampling steps, 4954256 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
35973024 component updates, 215838144 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](35973024)
Sep 13, 2024 10:55:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41417402 loops (98024/sec), 243490825 sampling steps, 5013597 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
36403805 component updates, 218422830 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](36403805)
Sep 13, 2024 10:55:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41907467 loops (98013/sec), 246371867 sampling steps, 5072945 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
36834522 component updates, 221007132 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](36834522)
Sep 13, 2024 10:55:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42396916 loops (97889/sec), 249249463 sampling steps, 5132043 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
37264873 component updates, 223589238 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](37264873)
Sep 13, 2024 10:55:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42887549 loops (98126/sec), 252133746 sampling steps, 5191558 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
37695991 component updates, 226175946 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](37695991)
Sep 13, 2024 10:55:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43376623 loops (97814/sec), 255009182 sampling steps, 5250566 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
38126057 component updates, 228756342 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](38126057)
Sep 13, 2024 10:56:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43864612 loops (97597/sec), 257878067 sampling steps, 5309615 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
38554997 component updates, 231329982 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](38554997)
Sep 13, 2024 10:56:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44352416 loops (97560/sec), 260745698 sampling steps, 5368808 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
38983608 component updates, 233901648 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](38983608)
Sep 13, 2024 10:56:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44838001 loops (97117/sec), 263600368 sampling steps, 5427648 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
39410353 component updates, 236462118 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](39410353)
Sep 13, 2024 10:56:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45327499 loops (97899/sec), 266478609 sampling steps, 5486395 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
39841104 component updates, 239046624 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](39841104)
Sep 13, 2024 10:56:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45817282 loops (97956/sec), 269357915 sampling steps, 5545787 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
40271495 component updates, 241628970 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](40271495)
Sep 13, 2024 10:56:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46306555 loops (97854/sec), 272234420 sampling steps, 5604920 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
40701635 component updates, 244209810 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](40701635)
Sep 13, 2024 10:56:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46796461 loops (97981/sec), 275114090 sampling steps, 5664686 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
41131775 component updates, 246790650 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](41131775)
Sep 13, 2024 10:56:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47286685 loops (98044/sec), 277996181 sampling steps, 5723939 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
41562746 component updates, 249376476 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](41562746)
Sep 13, 2024 10:56:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47776411 loops (97945/sec), 280875346 sampling steps, 5783130 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
41993281 component updates, 251959686 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](41993281)
Sep 13, 2024 10:56:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48266397 loops (97997/sec), 283755643 sampling steps, 5842749 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
42423648 component updates, 254541888 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](42423648)
Sep 13, 2024 10:56:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48756843 loops (98089/sec), 286638888 sampling steps, 5902180 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
42854663 component updates, 257127978 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](42854663)
Sep 13, 2024 10:56:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49246807 loops (97992/sec), 289519230 sampling steps, 5961622 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
43285185 component updates, 259711110 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](43285185)
Sep 13, 2024 10:57:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49734562 loops (97551/sec), 292386807 sampling steps, 6020575 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
43713987 component updates, 262283922 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](43713987)
Sep 13, 2024 10:57:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50223395 loops (97766/sec), 295260800 sampling steps, 6079580 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
44143815 component updates, 264862890 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](44143815)
Sep 13, 2024 10:57:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50710633 loops (97447/sec), 298125119 sampling steps, 6138689 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
44571944 component updates, 267431664 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](44571944)
Sep 13, 2024 10:57:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51200578 loops (97989/sec), 301005265 sampling steps, 6198213 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
45002365 component updates, 270014190 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](45002365)
Sep 13, 2024 10:57:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51690791 loops (98042/sec), 303886923 sampling steps, 6257833 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
45432958 component updates, 272597748 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](45432958)
Sep 13, 2024 10:57:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52180294 loops (97900/sec), 306764505 sampling steps, 6317269 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
45863025 component updates, 275178150 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](45863025)
Sep 13, 2024 10:57:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52669952 loops (97931/sec), 309643479 sampling steps, 6376243 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
46293709 component updates, 277762254 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](46293709)
Sep 13, 2024 10:57:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53160360 loops (98081/sec), 312526606 sampling steps, 6435564 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
46724796 component updates, 280348776 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](46724796)
Sep 13, 2024 10:57:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53650112 loops (97950/sec), 315406276 sampling steps, 6494406 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
47155706 component updates, 282934236 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](47155706)
Sep 13, 2024 10:57:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54140066 loops (97990/sec), 318286787 sampling steps, 6553619 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
47586447 component updates, 285518682 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](47586447)
Sep 13, 2024 10:57:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54630176 loops (98022/sec), 321168271 sampling steps, 6612795 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
48017381 component updates, 288104286 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](48017381)
Sep 13, 2024 10:57:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55114162 loops (96797/sec), 324013642 sampling steps, 6671340 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
48442822 component updates, 290656932 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](48442822)
Sep 13, 2024 10:58:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55600360 loops (97239/sec), 326871898 sampling steps, 6730272 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
48870088 component updates, 293220528 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](48870088)
Sep 13, 2024 10:58:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56082497 loops (96427/sec), 329706620 sampling steps, 6788372 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
49294125 component updates, 295764750 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](49294125)
Sep 13, 2024 10:58:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56568696 loops (97239/sec), 332564795 sampling steps, 6847391 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
49721305 component updates, 298327830 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](49721305)
Sep 13, 2024 10:58:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57058563 loops (97973/sec), 335444707 sampling steps, 6906681 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
50151882 component updates, 300911292 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](50151882)
Sep 13, 2024 10:58:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57547710 loops (97829/sec), 338320274 sampling steps, 6965996 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
50581714 component updates, 303490284 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](50581714)
Sep 13, 2024 10:58:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58038234 loops (98104/sec), 341203625 sampling steps, 7025789 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
51012445 component updates, 306074670 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](51012445)
Sep 13, 2024 10:58:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58527721 loops (97897/sec), 344080785 sampling steps, 7085551 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
51442170 component updates, 308653020 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](51442170)
Sep 13, 2024 10:58:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59017511 loops (97958/sec), 346960258 sampling steps, 7144818 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
51872693 component updates, 311236158 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](51872693)
Sep 13, 2024 10:58:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59508074 loops (98112/sec), 349844110 sampling steps, 7204344 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
52303730 component updates, 313822380 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](52303730)
Sep 13, 2024 10:58:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59998532 loops (98091/sec), 352727507 sampling steps, 7263695 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
52734837 component updates, 316409022 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](52734837)
Sep 13, 2024 10:58:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60488758 loops (98045/sec), 355609713 sampling steps, 7322845 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
53165913 component updates, 318995478 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](53165913)
Sep 13, 2024 10:58:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60979172 loops (98082/sec), 358493051 sampling steps, 7381991 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
53597181 component updates, 321583086 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](53597181)
Sep 13, 2024 10:59:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61466817 loops (97529/sec), 361359789 sampling steps, 7441123 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
54025694 component updates, 324154164 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](54025694)
Sep 13, 2024 10:59:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61954469 loops (97530/sec), 364227034 sampling steps, 7499790 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
54454679 component updates, 326728074 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](54454679)
Sep 13, 2024 10:59:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62440368 loops (97179/sec), 367083295 sampling steps, 7558923 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
54881445 component updates, 329288670 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](54881445)
Sep 13, 2024 10:59:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62931124 loops (98151/sec), 369968184 sampling steps, 7618570 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
55312554 component updates, 331875324 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](55312554)
Sep 13, 2024 10:59:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63420851 loops (97945/sec), 372847342 sampling steps, 7677774 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
55743077 component updates, 334458462 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](55743077)
Sep 13, 2024 10:59:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63911027 loops (98035/sec), 375728823 sampling steps, 7737349 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
56173678 component updates, 337042068 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](56173678)
Sep 13, 2024 10:59:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64400551 loops (97904/sec), 378606879 sampling steps, 7796437 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
56604114 component updates, 339624684 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](56604114)
Sep 13, 2024 10:59:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64891092 loops (98108/sec), 381490706 sampling steps, 7855856 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
57035236 component updates, 342211416 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](57035236)
Sep 13, 2024 10:59:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65381211 loops (98023/sec), 384372098 sampling steps, 7915178 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
57466033 component updates, 344796198 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](57466033)
Sep 13, 2024 10:59:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65871507 loops (98059/sec), 387254360 sampling steps, 7974692 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
57896815 component updates, 347380890 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](57896815)
Sep 13, 2024 10:59:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66361798 loops (98058/sec), 390136697 sampling steps, 8034101 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
58327697 component updates, 349966182 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](58327697)
Sep 13, 2024 10:59:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66851613 loops (97963/sec), 393016584 sampling steps, 8093104 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
58758509 component updates, 352551054 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](58758509)
Sep 13, 2024 11:00:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67340025 loops (97682/sec), 395887500 sampling steps, 8152660 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
59187365 component updates, 355124190 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](59187365)
Sep 13, 2024 11:00:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67826914 loops (97377/sec), 398749921 sampling steps, 8211573 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
59615341 component updates, 357692046 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](59615341)
Sep 13, 2024 11:00:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68314113 loops (97439/sec), 401614568 sampling steps, 8270120 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
60043993 component updates, 360263958 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](60043993)
Sep 13, 2024 11:00:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68804868 loops (98151/sec), 404499685 sampling steps, 8329533 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
60475335 component updates, 362852010 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](60475335)
Sep 13, 2024 11:00:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69294731 loops (97972/sec), 407380036 sampling steps, 8388360 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
60906371 component updates, 365438226 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](60906371)
Sep 13, 2024 11:00:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69784958 loops (98045/sec), 410262091 sampling steps, 8447667 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
61337291 component updates, 368023746 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](61337291)
Sep 13, 2024 11:00:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70275398 loops (98088/sec), 413145414 sampling steps, 8506984 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
61768414 component updates, 370610484 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](61768414)
Sep 13, 2024 11:00:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70765494 loops (98019/sec), 416026619 sampling steps, 8566355 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
62199139 component updates, 373194834 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](62199139)
Sep 13, 2024 11:00:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71255269 loops (97955/sec), 418906098 sampling steps, 8625526 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
62629743 component updates, 375778458 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](62629743)
Sep 13, 2024 11:00:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71745487 loops (98043/sec), 421787908 sampling steps, 8685024 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
63060463 component updates, 378362778 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](63060463)
Sep 13, 2024 11:00:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72236132 loops (98129/sec), 424671873 sampling steps, 8744929 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
63491203 component updates, 380947218 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](63491203)
Sep 13, 2024 11:00:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72726538 loops (98081/sec), 427554715 sampling steps, 8804523 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
63922015 component updates, 383532090 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](63922015)
Sep 13, 2024 11:01:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73215146 loops (97721/sec), 430427009 sampling steps, 8863877 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
64351269 component updates, 386107614 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](64351269)
Sep 13, 2024 11:01:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73702848 loops (97540/sec), 433293860 sampling steps, 8923238 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
64779610 component updates, 388677660 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](64779610)
Sep 13, 2024 11:01:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74189758 loops (97382/sec), 436156042 sampling steps, 8982516 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
65207242 component updates, 391243452 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](65207242)
Sep 13, 2024 11:01:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74680202 loops (98088/sec), 439039322 sampling steps, 9041900 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
65638302 component updates, 393829812 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](65638302)
Sep 13, 2024 11:01:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75170597 loops (98079/sec), 441922229 sampling steps, 9101363 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
66069234 component updates, 396415404 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](66069234)
Sep 13, 2024 11:01:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75660865 loops (98053/sec), 444804632 sampling steps, 9160568 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
66500297 component updates, 399001782 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](66500297)
Sep 13, 2024 11:01:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76151181 loops (98063/sec), 447687483 sampling steps, 9219613 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
66931568 component updates, 401589408 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](66931568)
Sep 13, 2024 11:01:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76640319 loops (97827/sec), 450563089 sampling steps, 9278835 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
67361484 component updates, 404168904 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](67361484)
Sep 13, 2024 11:01:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77129686 loops (97873/sec), 453440134 sampling steps, 9337992 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
67791694 component updates, 406750164 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](67791694)
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77618758 loops (97814/sec), 456315724 sampling steps, 9396834 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
68221924 component updates, 409331544 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](68221924)
Sep 13, 2024 11:01:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78107988 loops (97846/sec), 459191874 sampling steps, 9456064 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
68651924 component updates, 411911544 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](68651924)
Sep 13, 2024 11:01:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78598350 loops (98072/sec), 462074942 sampling steps, 9515168 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
69083182 component updates, 414499092 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](69083182)
Sep 13, 2024 11:02:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79085594 loops (97448/sec), 464938906 sampling steps, 9574668 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
69510926 component updates, 417065556 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](69510926)
Sep 13, 2024 11:02:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79572656 loops (97412/sec), 467802324 sampling steps, 9633622 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
69939034 component updates, 419634204 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](69939034)
Sep 13, 2024 11:02:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80058781 loops (97225/sec), 470659713 sampling steps, 9692983 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
70365798 component updates, 422194788 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](70365798)
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80548426 loops (97929/sec), 473538456 sampling steps, 9752110 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
70796316 component updates, 424777896 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](70796316)
Sep 13, 2024 11:02:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81037492 loops (97813/sec), 476413502 sampling steps, 9811460 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
71226032 component updates, 427356192 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](71226032)
Sep 13, 2024 11:02:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81526893 loops (97880/sec), 479290834 sampling steps, 9870534 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
71656359 component updates, 429938154 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](71656359)
Sep 13, 2024 11:02:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82016127 loops (97846/sec), 482167457 sampling steps, 9929315 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
72086812 component updates, 432520872 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](72086812)
Sep 13, 2024 11:02:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82505610 loops (97896/sec), 485045425 sampling steps, 9988245 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
72517365 component updates, 435104190 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](72517365)
Sep 13, 2024 11:02:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82994499 loops (97777/sec), 487919456 sampling steps, 10047548 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
72946951 component updates, 437681706 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](72946951)
Sep 13, 2024 11:02:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83482514 loops (97603/sec), 490788485 sampling steps, 10106609 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
73375905 component updates, 440255430 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](73375905)
Sep 13, 2024 11:02:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83971917 loops (97880/sec), 493665505 sampling steps, 10166007 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
73805910 component updates, 442835460 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](73805910)
Sep 13, 2024 11:02:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84461515 loops (97919/sec), 496543806 sampling steps, 10225294 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
74236221 component updates, 445417326 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](74236221)
Sep 13, 2024 11:03:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84948073 loops (97311/sec), 499404215 sampling steps, 10284233 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
74663840 component updates, 447983040 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](74663840)
Sep 13, 2024 11:03:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85435955 loops (97576/sec), 502272417 sampling steps, 10343323 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
75092632 component updates, 450555792 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](75092632)
Sep 13, 2024 11:03:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85921477 loops (97104/sec), 505126972 sampling steps, 10401900 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
75519577 component updates, 453117462 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](75519577)
Sep 13, 2024 11:03:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86410737 loops (97852/sec), 508003178 sampling steps, 10461254 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
75949483 component updates, 455696898 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](75949483)
Sep 13, 2024 11:03:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86900067 loops (97866/sec), 510879873 sampling steps, 10520539 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
76379528 component updates, 458277168 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](76379528)
Sep 13, 2024 11:03:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87389463 loops (97879/sec), 513756656 sampling steps, 10580132 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
76809331 component updates, 460855986 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](76809331)
Sep 13, 2024 11:03:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87878275 loops (97762/sec), 516630473 sampling steps, 10639187 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
77239088 component updates, 463434528 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](77239088)
Sep 13, 2024 11:03:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88367810 loops (97907/sec), 519508152 sampling steps, 10698718 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
77669092 component updates, 466014552 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](77669092)
Sep 13, 2024 11:03:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88856881 loops (97814/sec), 522382908 sampling steps, 10758388 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
78098493 component updates, 468590958 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](78098493)
Sep 13, 2024 11:03:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89346739 loops (97971/sec), 525262603 sampling steps, 10817841 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
78528898 component updates, 471173388 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](78528898)
Sep 13, 2024 11:03:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89836156 loops (97883/sec), 528139831 sampling steps, 10877115 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
78959041 component updates, 473754246 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](78959041)
Sep 13, 2024 11:03:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90325812 loops (97931/sec), 531018318 sampling steps, 10936564 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
79389248 component updates, 476335488 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](79389248)
Sep 13, 2024 11:04:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90813302 loops (97498/sec), 533884350 sampling steps, 10995472 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
79817830 component updates, 478906980 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](79817830)
Sep 13, 2024 11:04:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91301423 loops (97624/sec), 536754468 sampling steps, 11054080 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
80247343 component updates, 481484058 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](80247343)
Sep 13, 2024 11:04:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91786669 loops (97049/sec), 539607426 sampling steps, 11112598 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
80674071 component updates, 484044426 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](80674071)
Sep 13, 2024 11:04:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92275646 loops (97795/sec), 542482190 sampling steps, 11171696 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
81103950 component updates, 486623700 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](81103950)
Sep 13, 2024 11:04:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92765746 loops (98020/sec), 545363828 sampling steps, 11230658 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
81535088 component updates, 489210528 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](81535088)
Sep 13, 2024 11:04:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93255133 loops (97877/sec), 548241029 sampling steps, 11289779 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
81965354 component updates, 491792124 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](81965354)
Sep 13, 2024 11:04:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93746187 loops (98210/sec), 551127758 sampling steps, 11349374 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
82396813 component updates, 494380878 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](82396813)
Sep 13, 2024 11:04:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94235481 loops (97858/sec), 554004485 sampling steps, 11408411 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
82827070 component updates, 496962420 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](82827070)
Sep 13, 2024 11:04:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94725419 loops (97987/sec), 556884813 sampling steps, 11467711 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
83257708 component updates, 499546248 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](83257708)
Sep 13, 2024 11:04:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95215675 loops (98051/sec), 559766956 sampling steps, 11527104 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
83688571 component updates, 502131426 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](83688571)
Sep 13, 2024 11:04:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95706320 loops (98129/sec), 562651571 sampling steps, 11586359 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
84119961 component updates, 504719766 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](84119961)
Sep 13, 2024 11:04:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96195916 loops (97919/sec), 565530044 sampling steps, 11645462 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
84550454 component updates, 507302724 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](84550454)
Sep 13, 2024 11:05:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96682735 loops (97363/sec), 568392282 sampling steps, 11704138 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
84978597 component updates, 509871582 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](84978597)
Sep 13, 2024 11:05:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97169704 loops (97393/sec), 571255131 sampling steps, 11763103 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
85406601 component updates, 512439606 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](85406601)
Sep 13, 2024 11:05:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97656762 loops (97411/sec), 574118326 sampling steps, 11822256 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
85834506 component updates, 515007036 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](85834506)
Sep 13, 2024 11:05:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98147057 loops (98059/sec), 577000771 sampling steps, 11881581 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
86265476 component updates, 517592856 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](86265476)
Sep 13, 2024 11:05:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98636897 loops (97968/sec), 579880337 sampling steps, 11941055 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
86695842 component updates, 520175052 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](86695842)
Sep 13, 2024 11:05:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99126686 loops (97957/sec), 582759314 sampling steps, 12000812 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
87125874 component updates, 522755244 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](87125874)
Sep 13, 2024 11:05:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99617409 loops (98144/sec), 585644574 sampling steps, 12059890 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
87557519 component updates, 525345114 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](87557519)
Sep 13, 2024 11:05:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100107364 loops (97991/sec), 588525484 sampling steps, 12118710 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
87988654 component updates, 527931924 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](87988654)
Sep 13, 2024 11:05:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100597484 loops (98024/sec), 591406465 sampling steps, 12178449 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
88419035 component updates, 530514210 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](88419035)
Sep 13, 2024 11:05:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101087538 loops (98010/sec), 594287644 sampling steps, 12237594 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
88849944 component updates, 533099664 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](88849944)
Sep 13, 2024 11:05:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101578155 loops (98123/sec), 597171856 sampling steps, 12297084 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
89281071 component updates, 535686426 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](89281071)
Sep 13, 2024 11:05:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102068398 loops (98048/sec), 600054107 sampling steps, 12356291 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
89712107 component updates, 538272642 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](89712107)
Sep 13, 2024 11:06:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102556218 loops (97564/sec), 602922158 sampling steps, 12415160 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
90141058 component updates, 540846348 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](90141058)
Sep 13, 2024 11:06:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103044727 loops (97701/sec), 605793778 sampling steps, 12474594 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
90570133 component updates, 543420798 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](90570133)
Sep 13, 2024 11:06:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103532190 loops (97492/sec), 608659259 sampling steps, 12533891 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
90998299 component updates, 545989794 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](90998299)
Sep 13, 2024 11:06:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104021675 loops (97897/sec), 611536819 sampling steps, 12593241 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
91428434 component updates, 548570604 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](91428434)
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104512270 loops (98119/sec), 614420944 sampling steps, 12652686 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
91859584 component updates, 551157504 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](91859584)
Sep 13, 2024 11:06:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105002303 loops (98006/sec), 617301730 sampling steps, 12712098 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
92290205 component updates, 553741230 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](92290205)
Sep 13, 2024 11:06:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105493373 loops (98214/sec), 620188776 sampling steps, 12771472 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
92721901 component updates, 556331406 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](92721901)
Sep 13, 2024 11:06:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105983280 loops (97981/sec), 623068789 sampling steps, 12830901 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
93152379 component updates, 558914274 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](93152379)
Sep 13, 2024 11:06:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106474185 loops (98181/sec), 625955138 sampling steps, 12889982 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
93584203 component updates, 561505218 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](93584203)
Sep 13, 2024 11:06:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106964647 loops (98092/sec), 628838691 sampling steps, 12949201 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
94015446 component updates, 564092676 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](94015446)
Sep 13, 2024 11:06:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107454604 loops (97991/sec), 631719474 sampling steps, 13008160 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
94446444 component updates, 566678664 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](94446444)
Sep 13, 2024 11:06:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107944915 loops (98062/sec), 634601780 sampling steps, 13067720 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
94877195 component updates, 569263170 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](94877195)
Sep 13, 2024 11:07:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108432152 loops (97447/sec), 637466516 sampling steps, 13126406 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
95305746 component updates, 571834476 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](95305746)
Sep 13, 2024 11:07:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108921006 loops (97770/sec), 640340268 sampling steps, 13185778 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
95735228 component updates, 574411368 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](95735228)
Sep 13, 2024 11:07:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109408226 loops (97444/sec), 643204669 sampling steps, 13244697 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
96163529 component updates, 576981174 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](96163529)
Sep 13, 2024 11:07:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109898738 loops (98102/sec), 646088357 sampling steps, 13304081 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
96594657 component updates, 579567942 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](96594657)
Sep 13, 2024 11:07:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110388951 loops (98042/sec), 648969972 sampling steps, 13363744 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
97025207 component updates, 582151242 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](97025207)
Sep 13, 2024 11:07:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110878967 loops (98003/sec), 651851087 sampling steps, 13422725 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
97456242 component updates, 584737452 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](97456242)
Sep 13, 2024 11:07:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111370208 loops (98248/sec), 654739061 sampling steps, 13482197 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
97888011 component updates, 587328066 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](97888011)
Sep 13, 2024 11:07:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111861140 loops (98186/sec), 657625454 sampling steps, 13541396 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
98319744 component updates, 589918464 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](98319744)
Sep 13, 2024 11:07:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112351946 loops (98161/sec), 660510956 sampling steps, 13600730 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
98751216 component updates, 592507296 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](98751216)
Sep 13, 2024 11:07:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112842937 loops (98198/sec), 663397422 sampling steps, 13660210 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
99182727 component updates, 595096362 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](99182727)
Sep 13, 2024 11:07:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113333479 loops (98108/sec), 666281150 sampling steps, 13719734 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
99613745 component updates, 597682470 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](99613745)
Sep 13, 2024 11:07:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113825257 loops (98355/sec), 669172202 sampling steps, 13779350 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
100045907 component updates, 600275442 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](100045907)
Sep 13, 2024 11:08:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114314320 loops (97812/sec), 672047191 sampling steps, 13838739 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
100475581 component updates, 602853486 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](100475581)
Sep 13, 2024 11:08:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114803530 loops (97842/sec), 674923400 sampling steps, 13897790 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
100905740 component updates, 605434440 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](100905740)
Sep 13, 2024 11:08:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115290970 loops (97488/sec), 677788950 sampling steps, 13956880 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
101334090 component updates, 608004540 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](101334090)
Sep 13, 2024 11:08:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115782104 loops (98226/sec), 680676670 sampling steps, 14015964 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
101766140 component updates, 610596840 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](101766140)
Sep 13, 2024 11:08:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116272606 loops (98100/sec), 683560183 sampling steps, 14075463 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
102197143 component updates, 613182858 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](102197143)
Sep 13, 2024 11:08:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116762808 loops (98040/sec), 686441629 sampling steps, 14135229 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
102627579 component updates, 615765474 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](102627579)
Sep 13, 2024 11:08:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117253632 loops (98164/sec), 689327418 sampling steps, 14194384 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
103059248 component updates, 618355488 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](103059248)
Sep 13, 2024 11:08:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117744652 loops (98204/sec), 692213969 sampling steps, 14253953 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
103490699 component updates, 620944194 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](103490699)
Sep 13, 2024 11:08:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118235640 loops (98197/sec), 695100129 sampling steps, 14313721 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
103921919 component updates, 623531514 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](103921919)
Sep 13, 2024 11:08:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118725807 loops (98033/sec), 697982231 sampling steps, 14372621 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
104353186 component updates, 626119116 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](104353186)
Sep 13, 2024 11:08:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119217494 loops (98337/sec), 700872768 sampling steps, 14432206 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
104785288 component updates, 628711728 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](104785288)
Sep 13, 2024 11:08:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119708538 loops (98208/sec), 703759762 sampling steps, 14491476 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
105217062 component updates, 631302372 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](105217062)
Sep 13, 2024 11:09:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120196996 loops (97691/sec), 706631546 sampling steps, 14550440 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
105646556 component updates, 633879336 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](105646556)
Sep 13, 2024 11:09:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120686132 loops (97827/sec), 709507159 sampling steps, 14609643 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
106076489 component updates, 636458934 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](106076489)
Sep 13, 2024 11:09:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121173451 loops (97463/sec), 712372082 sampling steps, 14668634 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
106504817 component updates, 639028902 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](106504817)
Sep 13, 2024 11:09:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121664110 loops (98131/sec), 715257210 sampling steps, 14727460 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
106936650 component updates, 641619900 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](106936650)
Sep 13, 2024 11:09:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122154992 loops (98176/sec), 718142841 sampling steps, 14787121 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
107367871 component updates, 644207226 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](107367871)
Sep 13, 2024 11:09:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122646758 loops (98353/sec), 721033594 sampling steps, 14846964 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
107799794 component updates, 646798764 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](107799794)
Sep 13, 2024 11:09:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123137933 loops (98235/sec), 723921402 sampling steps, 14906206 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
108231727 component updates, 649390362 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](108231727)
Sep 13, 2024 11:09:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123629648 loops (98343/sec), 726812313 sampling steps, 14965585 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
108664063 component updates, 651984378 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](108664063)
Sep 13, 2024 11:09:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124120774 loops (98225/sec), 729699897 sampling steps, 15024757 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
109096017 component updates, 654576102 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](109096017)
Sep 13, 2024 11:09:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124607800 loops (97405/sec), 732563049 sampling steps, 15083761 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
109524039 component updates, 657144234 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](109524039)
Sep 13, 2024 11:09:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125091766 loops (96793/sec), 735408313 sampling steps, 15142293 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
109949473 component updates, 659696838 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](109949473)
Sep 13, 2024 11:09:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125582047 loops (98056/sec), 738290679 sampling steps, 15201613 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
110380434 component updates, 662282604 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](110380434)
Sep 13, 2024 11:10:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126069957 loops (97582/sec), 741159361 sampling steps, 15260391 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
110809566 component updates, 664857396 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](110809566)
Sep 13, 2024 11:10:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126555161 loops (97040/sec), 744011912 sampling steps, 15319064 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
111236097 component updates, 667416582 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](111236097)
Sep 13, 2024 11:10:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127035873 loops (96142/sec), 746838007 sampling steps, 15377241 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
111658632 component updates, 669951792 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](111658632)
Sep 13, 2024 11:10:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127528566 loops (98538/sec), 749734544 sampling steps, 15436862 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
112091704 component updates, 672550224 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](112091704)
Sep 13, 2024 11:10:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128022403 loops (98767/sec), 752637901 sampling steps, 15496527 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
112525876 component updates, 675155256 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](112525876)
Sep 13, 2024 11:10:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128516000 loops (98719/sec), 755539566 sampling steps, 15556444 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
112959556 component updates, 677757336 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](112959556)
Sep 13, 2024 11:10:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129008340 loops (98468/sec), 758434254 sampling steps, 15615796 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
113392544 component updates, 680355264 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](113392544)
Sep 13, 2024 11:10:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129502609 loops (98853/sec), 761339878 sampling steps, 15675786 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
113826823 component updates, 682960938 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](113826823)
Sep 13, 2024 11:10:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129996318 loops (98741/sec), 764242278 sampling steps, 15735640 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
114260678 component updates, 685564068 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](114260678)
Sep 13, 2024 11:10:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130489920 loops (98720/sec), 767144187 sampling steps, 15795343 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
114694577 component updates, 688167462 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](114694577)
Sep 13, 2024 11:10:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130984173 loops (98850/sec), 770049502 sampling steps, 15855546 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
115128627 component updates, 690771762 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](115128627)
Sep 13, 2024 11:10:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131477508 loops (98667/sec), 772949716 sampling steps, 15915342 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
115562166 component updates, 693372996 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](115562166)
Sep 13, 2024 11:11:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131968756 loops (98249/sec), 775838097 sampling steps, 15974449 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
115994307 component updates, 695965842 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](115994307)
Sep 13, 2024 11:11:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132460938 loops (98436/sec), 778731552 sampling steps, 16034086 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
116426852 component updates, 698561112 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](116426852)
Sep 13, 2024 11:11:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132951664 loops (98145/sec), 781616460 sampling steps, 16093534 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
116858130 component updates, 701148780 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](116858130)
Sep 13, 2024 11:11:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133445719 loops (98811/sec), 784520751 sampling steps, 16153573 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
117292146 component updates, 703752876 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](117292146)
Sep 13, 2024 11:11:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133939646 loops (98785/sec), 787424643 sampling steps, 16213243 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
117726403 component updates, 706358418 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](117726403)
Sep 13, 2024 11:11:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134432560 loops (98582/sec), 790322155 sampling steps, 16273215 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
118159345 component updates, 708956070 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](118159345)
Sep 13, 2024 11:11:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134926121 loops (98712/sec), 793223897 sampling steps, 16332839 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
118593282 component updates, 711559692 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](118593282)
Sep 13, 2024 11:11:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135420206 loops (98817/sec), 796128685 sampling steps, 16392561 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
119027645 component updates, 714165870 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](119027645)
Sep 13, 2024 11:11:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135913594 loops (98677/sec), 799029295 sampling steps, 16452279 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
119461315 component updates, 716767890 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](119461315)
Sep 13, 2024 11:11:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136407040 loops (98689/sec), 801930209 sampling steps, 16512041 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
119894999 component updates, 719369994 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](119894999)
Sep 13, 2024 11:11:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136900682 loops (98728/sec), 804832320 sampling steps, 16571782 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
120328900 component updates, 721973400 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](120328900)
Sep 13, 2024 11:11:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137394181 loops (98699/sec), 807733367 sampling steps, 16631729 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
120762452 component updates, 724574712 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](120762452)
Sep 13, 2024 11:12:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137886122 loops (98388/sec), 810625719 sampling steps, 16691023 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
121195099 component updates, 727170594 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](121195099)
Sep 13, 2024 11:12:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138379490 loops (98673/sec), 813526254 sampling steps, 16750696 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
121628794 component updates, 729772764 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](121628794)
Sep 13, 2024 11:12:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138873501 loops (98802/sec), 816430664 sampling steps, 16810352 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
122063149 component updates, 732378894 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](122063149)
Sep 13, 2024 11:12:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139366889 loops (98677/sec), 819331312 sampling steps, 16870032 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
122496857 component updates, 734981142 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](122496857)
Sep 13, 2024 11:12:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139860351 loops (98692/sec), 822232168 sampling steps, 16929948 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
122930403 component updates, 737582418 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](122930403)
Sep 13, 2024 11:12:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140353509 loops (98631/sec), 825131128 sampling steps, 16989936 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
123363573 component updates, 740181438 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](123363573)
Sep 13, 2024 11:12:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140847194 loops (98737/sec), 828033788 sampling steps, 17049386 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
123797808 component updates, 742786848 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](123797808)
Sep 13, 2024 11:12:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141341180 loops (98797/sec), 830937612 sampling steps, 17109478 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
124231702 component updates, 745390212 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](124231702)
Sep 13, 2024 11:12:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141834534 loops (98670/sec), 833837970 sampling steps, 17169244 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
124665290 component updates, 747991740 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](124665290)
Sep 13, 2024 11:12:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142328003 loops (98693/sec), 836738816 sampling steps, 17229212 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
125098791 component updates, 750592746 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](125098791)
Sep 13, 2024 11:12:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142821282 loops (98655/sec), 839638743 sampling steps, 17288959 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
125532323 component updates, 753193938 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](125532323)
Sep 13, 2024 11:12:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143315493 loops (98842/sec), 842543746 sampling steps, 17349222 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
125966271 component updates, 755797626 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](125966271)
Sep 13, 2024 11:13:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143807395 loops (98380/sec), 845435514 sampling steps, 17408866 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
126398529 component updates, 758391174 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](126398529)
Sep 13, 2024 11:13:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144299368 loops (98394/sec), 848327473 sampling steps, 17468745 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
126830623 component updates, 760983738 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](126830623)
Sep 13, 2024 11:13:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144789963 loops (98119/sec), 851211965 sampling steps, 17527823 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
127262140 component updates, 763572840 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](127262140)
Sep 13, 2024 11:13:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145283833 loops (98774/sec), 854115205 sampling steps, 17587803 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
127696030 component updates, 766176180 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](127696030)
Sep 13, 2024 11:13:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145777627 loops (98758/sec), 857018315 sampling steps, 17647457 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
128130170 component updates, 768781020 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](128130170)
Sep 13, 2024 11:13:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146271523 loops (98779/sec), 859921825 sampling steps, 17707323 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
128564200 component updates, 771385200 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](128564200)
Sep 13, 2024 11:13:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146765061 loops (98707/sec), 862823197 sampling steps, 17767179 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
128997882 component updates, 773987292 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](128997882)
Sep 13, 2024 11:13:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147259282 loops (98844/sec), 865728686 sampling steps, 17827016 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
129432266 component updates, 776593596 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](129432266)
Sep 13, 2024 11:13:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147752976 loops (98738/sec), 868630612 sampling steps, 17887254 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
129865722 component updates, 779194332 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](129865722)
Sep 13, 2024 11:13:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148246165 loops (98637/sec), 871529883 sampling steps, 17947117 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
130299048 component updates, 781794288 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](130299048)
Sep 13, 2024 11:13:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148739998 loops (98766/sec), 874432914 sampling steps, 18007084 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
130732914 component updates, 784397484 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](130732914)
Sep 13, 2024 11:13:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149233669 loops (98734/sec), 877335379 sampling steps, 18066645 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
131167024 component updates, 787002144 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](131167024)
Sep 13, 2024 11:14:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149724961 loops (98258/sec), 880223479 sampling steps, 18126297 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
131598664 component updates, 789591984 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](131598664)
Sep 13, 2024 11:14:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150216196 loops (98247/sec), 883111516 sampling steps, 18185670 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
132030526 component updates, 792183156 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](132030526)
Sep 13, 2024 11:14:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150706981 loops (98157/sec), 885996976 sampling steps, 18244920 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
132462061 component updates, 794772366 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](132462061)
Sep 13, 2024 11:14:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151200810 loops (98765/sec), 888899761 sampling steps, 18305109 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
132895701 component updates, 797374206 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](132895701)
Sep 13, 2024 11:14:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151695197 loops (98877/sec), 891805439 sampling steps, 18365753 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
133329444 component updates, 799976664 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](133329444)
Sep 13, 2024 11:14:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152188887 loops (98738/sec), 894707600 sampling steps, 18425732 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
133763155 component updates, 802578930 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](133763155)
Sep 13, 2024 11:14:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152682449 loops (98712/sec), 897609371 sampling steps, 18485333 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
134197116 component updates, 805182696 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](134197116)
Sep 13, 2024 11:14:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153176130 loops (98736/sec), 900511766 sampling steps, 18545024 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
134631106 component updates, 807786636 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](134631106)
Sep 13, 2024 11:14:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153669972 loops (98768/sec), 903414947 sampling steps, 18604895 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
135065077 component updates, 810390462 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](135065077)
Sep 13, 2024 11:14:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154163784 loops (98762/sec), 906317799 sampling steps, 18664915 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
135498869 component updates, 812993214 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](135498869)
Sep 13, 2024 11:14:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154657623 loops (98767/sec), 909220981 sampling steps, 18724767 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
135932856 component updates, 815597136 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](135932856)
Sep 13, 2024 11:14:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155150995 loops (98674/sec), 912121169 sampling steps, 18784811 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
136366184 component updates, 818197104 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](136366184)
Sep 13, 2024 11:15:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155642663 loops (98333/sec), 915011854 sampling steps, 18844134 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
136798529 component updates, 820791174 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](136798529)
Sep 13, 2024 11:15:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156134799 loops (98427/sec), 917905083 sampling steps, 18903721 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
137231078 component updates, 823386468 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](137231078)
Sep 13, 2024 11:15:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156625023 loops (98044/sec), 920787165 sampling steps, 18962983 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
137662040 component updates, 825972240 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](137662040)
Sep 13, 2024 11:15:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157119503 loops (98896/sec), 923694046 sampling steps, 19022982 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
138096521 component updates, 828579126 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](138096521)
Sep 13, 2024 11:15:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157612979 loops (98695/sec), 926595110 sampling steps, 19082774 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
138530205 component updates, 831181230 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](138530205)
Sep 13, 2024 11:15:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158107196 loops (98843/sec), 929500449 sampling steps, 19142737 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
138964459 component updates, 833786754 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](138964459)
Sep 13, 2024 11:15:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158600433 loops (98647/sec), 932400592 sampling steps, 19202016 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
139398417 component updates, 836390502 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](139398417)
Sep 13, 2024 11:15:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159094825 loops (98878/sec), 935307346 sampling steps, 19261614 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
139833211 component updates, 838999266 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](139833211)
Sep 13, 2024 11:15:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159588492 loops (98733/sec), 938209864 sampling steps, 19321098 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
140267394 component updates, 841604364 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](140267394)
Sep 13, 2024 11:15:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160082114 loops (98724/sec), 941111669 sampling steps, 19381025 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
140701089 component updates, 844206534 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](140701089)
Sep 13, 2024 11:15:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160575987 loops (98774/sec), 944015250 sampling steps, 19440682 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
141135305 component updates, 846811830 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](141135305)
Sep 13, 2024 11:15:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161069389 loops (98680/sec), 946916135 sampling steps, 19500209 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
141569180 component updates, 849415080 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](141569180)
Sep 13, 2024 11:16:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161561316 loops (98385/sec), 949807903 sampling steps, 19560003 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
142001313 component updates, 852007878 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](142001313)
Sep 13, 2024 11:16:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162053831 loops (98503/sec), 952703659 sampling steps, 19619337 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
142434494 component updates, 854606964 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](142434494)
Sep 13, 2024 11:16:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162544655 loops (98164/sec), 955588932 sampling steps, 19679008 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
142865647 component updates, 857193882 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](142865647)
Sep 13, 2024 11:16:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163038840 loops (98837/sec), 958494476 sampling steps, 19738574 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
143300266 component updates, 859801596 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](143300266)
Sep 13, 2024 11:16:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163533635 loops (98959/sec), 961403197 sampling steps, 19798623 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
143735012 component updates, 862410072 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](143735012)
Sep 13, 2024 11:16:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164026920 loops (98657/sec), 964303541 sampling steps, 19857989 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
144168931 component updates, 865013586 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](144168931)
Sep 13, 2024 11:16:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164521023 loops (98820/sec), 967208152 sampling steps, 19917996 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
144603027 component updates, 867618162 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](144603027)
Sep 13, 2024 11:16:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165014469 loops (98689/sec), 970108842 sampling steps, 19977982 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
145036487 component updates, 870218922 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](145036487)
Sep 13, 2024 11:16:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165508551 loops (98816/sec), 973013707 sampling steps, 20037609 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
145470942 component updates, 872825652 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](145470942)
Sep 13, 2024 11:16:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166001833 loops (98656/sec), 975913442 sampling steps, 20097566 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
145904267 component updates, 875425602 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](145904267)
Sep 13, 2024 11:16:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166495648 loops (98763/sec), 978816674 sampling steps, 20157224 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
146338424 component updates, 878030544 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](146338424)
Sep 13, 2024 11:16:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166989362 loops (98742/sec), 981719135 sampling steps, 20217047 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
146772315 component updates, 880633890 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](146772315)
Sep 13, 2024 11:17:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167481922 loops (98512/sec), 984614942 sampling steps, 20276600 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
147205322 component updates, 883231932 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](147205322)
Sep 13, 2024 11:17:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167974121 loops (98439/sec), 987508303 sampling steps, 20336433 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
147637688 component updates, 885826128 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](147637688)
Sep 13, 2024 11:17:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168464907 loops (98157/sec), 990393323 sampling steps, 20396129 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
148068778 component updates, 888412668 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](148068778)
Sep 13, 2024 11:17:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168958554 loops (98729/sec), 993295551 sampling steps, 20455783 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
148502771 component updates, 891016626 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](148502771)
Sep 13, 2024 11:17:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169452554 loops (98800/sec), 996199905 sampling steps, 20515429 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
148937125 component updates, 893622750 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](148937125)
Sep 13, 2024 11:17:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169946007 loops (98690/sec), 999101222 sampling steps, 20574830 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
149371177 component updates, 896227062 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](149371177)
Sep 13, 2024 11:17:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170440063 loops (98811/sec), 1002006289 sampling steps, 20634099 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
149805964 component updates, 898835784 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](149805964)
Sep 13, 2024 11:17:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170933630 loops (98713/sec), 1004907796 sampling steps, 20693994 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
150239636 component updates, 901437816 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](150239636)
Sep 13, 2024 11:17:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171427560 loops (98786/sec), 1007811688 sampling steps, 20753682 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
150673878 component updates, 904043268 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](150673878)
Sep 13, 2024 11:17:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171922143 loops (98916/sec), 1010719322 sampling steps, 20813546 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
151108597 component updates, 906651582 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](151108597)
Sep 13, 2024 11:17:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172416378 loops (98847/sec), 1013624779 sampling steps, 20873499 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
151542879 component updates, 909257274 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](151542879)
Sep 13, 2024 11:17:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172910235 loops (98771/sec), 1016528118 sampling steps, 20933302 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
151976933 component updates, 911861598 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](151976933)
Sep 13, 2024 11:18:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173402663 loops (98485/sec), 1019422999 sampling steps, 20992989 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
152409674 component updates, 914458044 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](152409674)
Sep 13, 2024 11:18:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173895429 loops (98553/sec), 1022319855 sampling steps, 21052729 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
152842700 component updates, 917056200 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](152842700)
Sep 13, 2024 11:18:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174385544 loops (98023/sec), 1025201392 sampling steps, 21111882 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
153273662 component updates, 919641972 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](153273662)
Sep 13, 2024 11:18:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174879833 loops (98857/sec), 1028107499 sampling steps, 21171509 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
153708324 component updates, 922249944 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](153708324)
Sep 13, 2024 11:18:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175373331 loops (98699/sec), 1031008801 sampling steps, 21231195 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
154142136 component updates, 924852816 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](154142136)
Sep 13, 2024 11:18:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175867266 loops (98787/sec), 1033912531 sampling steps, 21291075 aborted
loop condition 0.12109, exit probability 0.0000 in initial state
4244 explored states, 1 states in BSSCs (1 absorbing)
154576191 component updates, 927457146 transient state updates
Bounds: [0.87891+1.21094e-01]@[0.00000](154576191)
----------
Computation aborted after 1800.0066294670105 seconds since the total time limit of 1800.0 seconds was exceeded.