Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:48:02 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/leader_sync/leader_sync.5-3.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:48:02 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1299012 loops (259802/sec), 7457778 sampling steps, 336303 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
962709 component updates, 5776254 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](962709)
Sep 13, 2024 10:48:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2655273 loops (271252/sec), 15243317 sampling steps, 688330 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
1966943 component updates, 11801658 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](1966943)
Sep 13, 2024 10:48:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4023989 loops (273743/sec), 23101609 sampling steps, 1042334 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
2981655 component updates, 17889930 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](2981655)
Sep 13, 2024 10:48:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5396084 loops (274419/sec), 30977953 sampling steps, 1398560 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
3997524 component updates, 23985144 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](3997524)
Sep 13, 2024 10:48:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6761236 loops (273030/sec), 38814091 sampling steps, 1753334 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
5007902 component updates, 30047412 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](5007902)
Sep 13, 2024 10:48:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8140302 loops (275813/sec), 46731287 sampling steps, 2110534 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
6029768 component updates, 36178608 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](6029768)
Sep 13, 2024 10:48:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9513581 loops (274655/sec), 54615483 sampling steps, 2466012 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
7047569 component updates, 42285414 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](7047569)
Sep 13, 2024 10:48:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10891113 loops (275506/sec), 62524843 sampling steps, 2821844 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
8069269 component updates, 48415614 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](8069269)
Sep 13, 2024 10:48:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12249228 loops (271623/sec), 70321965 sampling steps, 3173412 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
9075816 component updates, 54454896 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](9075816)
Sep 13, 2024 10:48:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13601439 loops (270442/sec), 78084791 sampling steps, 3523852 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
10077587 component updates, 60465522 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](10077587)
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14976880 loops (275088/sec), 85980638 sampling steps, 3880651 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
11096229 component updates, 66577374 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](11096229)
Sep 13, 2024 10:49:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16349709 loops (274565/sec), 93862355 sampling steps, 4235908 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
12113801 component updates, 72682806 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](12113801)
Sep 13, 2024 10:49:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17723130 loops (274684/sec), 101747152 sampling steps, 4591637 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
13131493 component updates, 78788958 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](13131493)
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19101692 loops (275712/sec), 109660856 sampling steps, 4949305 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
14152387 component updates, 84914322 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](14152387)
Sep 13, 2024 10:49:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20473569 loops (274375/sec), 117536113 sampling steps, 5305310 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
15168259 component updates, 91009554 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](15168259)
Sep 13, 2024 10:49:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21846105 loops (274507/sec), 125415617 sampling steps, 5661022 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
16185083 component updates, 97110498 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](16185083)
Sep 13, 2024 10:49:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23225090 loops (275797/sec), 133331861 sampling steps, 6018688 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
17206402 component updates, 103238412 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](17206402)
Sep 13, 2024 10:49:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24611405 loops (277263/sec), 141289989 sampling steps, 6378450 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
18232955 component updates, 109397730 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](18232955)
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25962964 loops (270311/sec), 149048252 sampling steps, 6729541 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
19233423 component updates, 115400538 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](19233423)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27311076 loops (269622/sec), 156787034 sampling steps, 7079431 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
20231645 component updates, 121389870 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](20231645)
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28667901 loops (271365/sec), 164575887 sampling steps, 7431528 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
21236373 component updates, 127418238 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](21236373)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30027820 loops (271983/sec), 172383040 sampling steps, 7783889 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
22243931 component updates, 133463586 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](22243931)
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31396202 loops (273676/sec), 180238487 sampling steps, 8138734 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
23257468 component updates, 139544808 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](23257468)
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32771989 loops (275157/sec), 188136000 sampling steps, 8495943 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
24276046 component updates, 145656276 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](24276046)
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34121818 loops (269965/sec), 195884599 sampling steps, 8846318 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
25275500 component updates, 151653000 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](25275500)
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35462068 loops (268050/sec), 203578123 sampling steps, 9194294 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
26267774 component updates, 157606644 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](26267774)
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36825474 loops (272681/sec), 211405308 sampling steps, 9547545 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
27277929 component updates, 163667574 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](27277929)
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38194891 loops (273883/sec), 219267897 sampling steps, 9901458 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
28293433 component updates, 169760598 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](28293433)
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39573020 loops (275625/sec), 227179299 sampling steps, 10258830 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
29314190 component updates, 175885140 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](29314190)
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40898873 loops (265170/sec), 234791422 sampling steps, 10601825 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
30297048 component updates, 181782288 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](30297048)
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42218234 loops (263872/sec), 242365502 sampling steps, 10943911 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
31274323 component updates, 187645938 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](31274323)
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43519721 loops (260297/sec), 249837035 sampling steps, 11281300 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
32238421 component updates, 193430526 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](32238421)
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44842169 loops (264489/sec), 257429015 sampling steps, 11624008 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
33218161 component updates, 199308966 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](33218161)
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46212799 loops (274126/sec), 265298309 sampling steps, 11978494 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
34234305 component updates, 205405830 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](34234305)
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47597919 loops (277024/sec), 273248989 sampling steps, 12338534 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
35259385 component updates, 211556310 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](35259385)
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48963559 loops (273128/sec), 281088584 sampling steps, 12692779 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
36270780 component updates, 217624680 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](36270780)
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50341007 loops (275489/sec), 288996573 sampling steps, 13049478 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
37291529 component updates, 223749174 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](37291529)
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51705786 loops (272955/sec), 296831873 sampling steps, 13402852 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
38302934 component updates, 229817604 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](38302934)
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53063883 loops (271619/sec), 304628902 sampling steps, 13754405 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
39309478 component updates, 235856868 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](39309478)
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54433261 loops (273875/sec), 312489946 sampling steps, 14109629 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
40323632 component updates, 241941792 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](40323632)
Sep 13, 2024 10:51:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55805968 loops (274541/sec), 320371054 sampling steps, 14464763 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
41341205 component updates, 248047230 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](41341205)
Sep 13, 2024 10:51:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57174632 loops (273732/sec), 328229344 sampling steps, 14818457 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
42356175 component updates, 254137050 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](42356175)
Sep 13, 2024 10:51:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58533271 loops (271727/sec), 336028275 sampling steps, 15171360 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
43361911 component updates, 260171466 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](43361911)
Sep 13, 2024 10:51:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59886885 loops (270722/sec), 343798943 sampling steps, 15522376 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
44364509 component updates, 266187054 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](44364509)
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61226977 loops (268018/sec), 351491649 sampling steps, 15870222 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
45356755 component updates, 272140530 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](45356755)
Sep 13, 2024 10:51:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62551306 loops (264865/sec), 359094432 sampling steps, 16213413 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
46337893 component updates, 278027358 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](46337893)
Sep 13, 2024 10:51:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63906992 loops (271137/sec), 366877697 sampling steps, 16564264 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
47342728 component updates, 284056368 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](47342728)
Sep 13, 2024 10:52:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65272227 loops (273047/sec), 374716427 sampling steps, 16916944 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
48355283 component updates, 290131698 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](48355283)
Sep 13, 2024 10:52:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66644570 loops (274468/sec), 382594499 sampling steps, 17272930 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
49371640 component updates, 296229840 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](49371640)
Sep 13, 2024 10:52:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67987326 loops (268551/sec), 390303454 sampling steps, 17620511 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
50366815 component updates, 302200890 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](50366815)
Sep 13, 2024 10:52:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69299015 loops (262337/sec), 397833102 sampling steps, 17960997 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
51338018 component updates, 308028108 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](51338018)
Sep 13, 2024 10:52:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70608306 loops (261858/sec), 405349125 sampling steps, 18300720 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
52307586 component updates, 313845516 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](52307586)
Sep 13, 2024 10:52:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71932374 loops (264813/sec), 412950593 sampling steps, 18643660 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
53288714 component updates, 319732284 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](53288714)
Sep 13, 2024 10:52:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73282291 loops (269983/sec), 420699561 sampling steps, 18994194 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
54288097 component updates, 325728582 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](54288097)
Sep 13, 2024 10:52:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74649031 loops (273348/sec), 428544623 sampling steps, 19349572 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
55299459 component updates, 331796754 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](55299459)
Sep 13, 2024 10:52:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76028824 loops (275958/sec), 436465864 sampling steps, 19707089 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
56321735 component updates, 337930410 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](56321735)
Sep 13, 2024 10:52:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77413821 loops (276999/sec), 444417134 sampling steps, 20065801 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
57348020 component updates, 344088120 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](57348020)
Sep 13, 2024 10:52:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78792782 loops (275792/sec), 452334005 sampling steps, 20422696 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
58370086 component updates, 350220516 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](58370086)
Sep 13, 2024 10:52:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80168908 loops (275225/sec), 460233477 sampling steps, 20779980 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
59388928 component updates, 356333568 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](59388928)
Sep 13, 2024 10:53:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81515321 loops (269282/sec), 467962649 sampling steps, 21129286 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
60386035 component updates, 362316210 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](60386035)
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82831248 loops (263185/sec), 475515217 sampling steps, 21472280 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
61358968 component updates, 368153808 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](61358968)
Sep 13, 2024 10:53:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84159498 loops (265650/sec), 483140398 sampling steps, 21816599 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
62342899 component updates, 374057394 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](62342899)
Sep 13, 2024 10:53:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85511047 loops (270309/sec), 490899792 sampling steps, 22166499 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
63344548 component updates, 380067288 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](63344548)
Sep 13, 2024 10:53:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86859015 loops (269593/sec), 498637428 sampling steps, 22516671 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
64342344 component updates, 386054064 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](64342344)
Sep 13, 2024 10:53:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88209291 loops (270055/sec), 506388593 sampling steps, 22867162 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
65342129 component updates, 392052774 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](65342129)
Sep 13, 2024 10:53:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89549089 loops (267959/sec), 514080491 sampling steps, 23214052 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
66335037 component updates, 398010222 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](66335037)
Sep 13, 2024 10:53:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90900924 loops (270367/sec), 521840733 sampling steps, 23564820 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
67336104 component updates, 404016624 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](67336104)
Sep 13, 2024 10:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92278411 loops (275497/sec), 529748652 sampling steps, 23921823 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
68356588 component updates, 410139528 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](68356588)
Sep 13, 2024 10:53:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93655418 loops (275401/sec), 537653442 sampling steps, 24279075 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
69376343 component updates, 416258058 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](69376343)
Sep 13, 2024 10:53:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95030563 loops (275029/sec), 545548933 sampling steps, 24634454 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
70396109 component updates, 422376654 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](70396109)
Sep 13, 2024 10:53:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96381602 loops (270207/sec), 553304978 sampling steps, 24984643 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
71396959 component updates, 428381754 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](71396959)
Sep 13, 2024 10:54:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97738615 loops (271402/sec), 561095283 sampling steps, 25336416 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
72402199 component updates, 434413194 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](72402199)
Sep 13, 2024 10:54:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99109080 loops (274093/sec), 568962543 sampling steps, 25691946 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
73417134 component updates, 440502804 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](73417134)
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100490510 loops (276286/sec), 576893297 sampling steps, 26049772 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
74440738 component updates, 446644428 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](74440738)
Sep 13, 2024 10:54:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101879674 loops (277832/sec), 584868116 sampling steps, 26409937 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
75469737 component updates, 452818422 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](75469737)
Sep 13, 2024 10:54:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103260267 loops (276118/sec), 592793573 sampling steps, 26768038 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
76492229 component updates, 458953374 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](76492229)
Sep 13, 2024 10:54:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104636053 loops (275157/sec), 600692302 sampling steps, 27124025 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
77512028 component updates, 465072168 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](77512028)
Sep 13, 2024 10:54:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106012866 loops (275362/sec), 608596550 sampling steps, 27480655 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
78532211 component updates, 471193266 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](78532211)
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107384697 loops (274366/sec), 616472152 sampling steps, 27836039 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
79548658 component updates, 477291948 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](79548658)
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108760012 loops (275063/sec), 624366874 sampling steps, 28193207 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
80566805 component updates, 483400830 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](80566805)
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110119163 loops (271830/sec), 632169863 sampling steps, 28545124 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
81574039 component updates, 489444234 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](81574039)
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111472216 loops (270610/sec), 639936963 sampling steps, 28896342 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
82575874 component updates, 495455244 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](82575874)
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112821242 loops (269805/sec), 647681229 sampling steps, 29246232 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
83575010 component updates, 501450060 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](83575010)
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114159637 loops (267679/sec), 655364187 sampling steps, 29593644 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
84565993 component updates, 507395958 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](84565993)
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115506189 loops (269310/sec), 663095391 sampling steps, 29941752 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
85564437 component updates, 513386622 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](85564437)
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116854890 loops (269740/sec), 670838074 sampling steps, 30291275 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
86563615 component updates, 519381690 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](86563615)
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118205055 loops (270033/sec), 678588606 sampling steps, 30641733 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
87563322 component updates, 525379932 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](87563322)
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119589909 loops (276970/sec), 686538981 sampling steps, 31000482 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
88589427 component updates, 531536562 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](88589427)
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120970814 loops (276181/sec), 694465954 sampling steps, 31358939 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
89611875 component updates, 537671250 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](89611875)
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122354973 loops (276831/sec), 702412647 sampling steps, 31717200 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
90637773 component updates, 543826638 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](90637773)
Sep 13, 2024 10:55:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123711166 loops (271238/sec), 710197626 sampling steps, 32069379 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
91641787 component updates, 549850722 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](91641787)
Sep 13, 2024 10:55:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125082844 loops (274335/sec), 718071951 sampling steps, 32425122 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
92657722 component updates, 555946332 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](92657722)
Sep 13, 2024 10:55:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126447791 loops (272989/sec), 725908342 sampling steps, 32778413 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
93669378 component updates, 562016268 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](93669378)
Sep 13, 2024 10:55:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127826205 loops (275682/sec), 733821630 sampling steps, 33135609 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
94690596 component updates, 568143576 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](94690596)
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129213901 loops (277539/sec), 741789357 sampling steps, 33494058 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
95719843 component updates, 574319058 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](95719843)
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130604064 loops (278032/sec), 749769270 sampling steps, 33855123 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
96748941 component updates, 580493646 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](96748941)
Sep 13, 2024 10:56:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131977706 loops (274728/sec), 757653857 sampling steps, 34212388 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
97765318 component updates, 586591908 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](97765318)
Sep 13, 2024 10:56:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133363096 loops (277078/sec), 765607065 sampling steps, 34571520 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
98791576 component updates, 592749456 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](98791576)
Sep 13, 2024 10:56:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134746392 loops (276659/sec), 773548670 sampling steps, 34929691 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
99816701 component updates, 598900206 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](99816701)
Sep 13, 2024 10:56:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136127342 loops (276190/sec), 781476273 sampling steps, 35287788 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
100839554 component updates, 605037324 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](100839554)
Sep 13, 2024 10:56:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137503094 loops (275150/sec), 789374184 sampling steps, 35644389 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
101858705 component updates, 611152230 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](101858705)
Sep 13, 2024 10:56:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138858172 loops (271015/sec), 797153805 sampling steps, 35995236 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
102862936 component updates, 617177616 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](102862936)
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140199429 loops (268251/sec), 804852855 sampling steps, 36343728 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
103855701 component updates, 623134206 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](103855701)
Sep 13, 2024 10:56:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141557636 loops (271641/sec), 812649390 sampling steps, 36696435 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
104861201 component updates, 629167206 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](104861201)
Sep 13, 2024 10:56:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142905118 loops (269496/sec), 820385366 sampling steps, 37045351 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
105859767 component updates, 635158602 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](105859767)
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144235527 loops (266081/sec), 828023243 sampling steps, 37389928 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
106845599 component updates, 641073594 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](106845599)
Sep 13, 2024 10:56:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145551968 loops (263288/sec), 835580675 sampling steps, 37731142 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
107820826 component updates, 646924956 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](107820826)
Sep 13, 2024 10:57:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146881952 loops (265996/sec), 843215840 sampling steps, 38075881 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
108806071 component updates, 652836426 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](108806071)
Sep 13, 2024 10:57:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148250057 loops (273621/sec), 851071240 sampling steps, 38429111 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
109820946 component updates, 658925676 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](109820946)
Sep 13, 2024 10:57:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149630498 loops (276088/sec), 858995600 sampling steps, 38787397 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
110843101 component updates, 665058606 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](110843101)
Sep 13, 2024 10:57:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151004988 loops (274898/sec), 866886807 sampling steps, 39143130 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
111861858 component updates, 671171148 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](111861858)
Sep 13, 2024 10:57:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152377877 loops (274577/sec), 874767889 sampling steps, 39499382 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
112878495 component updates, 677270970 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](112878495)
Sep 13, 2024 10:57:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153767743 loops (277973/sec), 882747593 sampling steps, 39858874 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
113908869 component updates, 683453214 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](113908869)
Sep 13, 2024 10:57:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155135130 loops (273477/sec), 890597463 sampling steps, 40213326 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
114921804 component updates, 689530824 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](114921804)
Sep 13, 2024 10:57:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156508857 loops (274745/sec), 898484223 sampling steps, 40568928 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
115939929 component updates, 695639574 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](115939929)
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157898693 loops (277967/sec), 906463703 sampling steps, 40928464 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
116970229 component updates, 701821374 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](116970229)
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159367558 loops (293773/sec), 914896687 sampling steps, 41308670 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
118058888 component updates, 708353328 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](118058888)
Sep 13, 2024 10:57:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160938333 loops (314155/sec), 923914433 sampling steps, 41715574 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
119222759 component updates, 715336554 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](119222759)
Sep 13, 2024 10:57:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162483347 loops (309002/sec), 932783886 sampling steps, 42116205 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
120367142 component updates, 722202852 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](120367142)
Sep 13, 2024 10:58:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163991881 loops (301706/sec), 941444142 sampling steps, 42507153 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
121484728 component updates, 728908368 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](121484728)
Sep 13, 2024 10:58:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165543641 loops (310352/sec), 950352479 sampling steps, 42909376 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
122634265 component updates, 735805590 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](122634265)
Sep 13, 2024 10:58:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167046348 loops (300541/sec), 958979872 sampling steps, 43298225 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
123748123 component updates, 742488738 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](123748123)
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168602039 loops (311138/sec), 967910434 sampling steps, 43701809 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
124900230 component updates, 749401380 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](124900230)
Sep 13, 2024 10:58:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170168863 loops (313364/sec), 976905575 sampling steps, 44107612 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
126061251 component updates, 756367506 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](126061251)
Sep 13, 2024 10:58:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171708626 loops (307952/sec), 985745323 sampling steps, 44506442 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
127202184 component updates, 763213104 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](127202184)
Sep 13, 2024 10:58:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173214771 loops (301229/sec), 994392356 sampling steps, 44896279 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
128318492 component updates, 769910952 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](128318492)
Sep 13, 2024 10:58:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174734983 loops (304042/sec), 1003119539 sampling steps, 45290368 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
129444615 component updates, 776667690 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](129444615)
Sep 13, 2024 10:58:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176246185 loops (302240/sec), 1011794174 sampling steps, 45682945 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
130563240 component updates, 783379440 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](130563240)
Sep 13, 2024 10:58:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177788076 loops (308378/sec), 1020645549 sampling steps, 46082916 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
131705160 component updates, 790230960 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](131705160)
Sep 13, 2024 10:58:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179313487 loops (305082/sec), 1029402893 sampling steps, 46478038 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
132835449 component updates, 797012694 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](132835449)
Sep 13, 2024 10:58:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180847407 loops (306784/sec), 1038208709 sampling steps, 46875742 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
133971665 component updates, 803829990 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](133971665)
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182359759 loops (302470/sec), 1046890726 sampling steps, 47267837 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
135091922 component updates, 810551532 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](135091922)
Sep 13, 2024 10:59:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183868773 loops (301802/sec), 1055553552 sampling steps, 47659095 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
136209678 component updates, 817258068 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](136209678)
Sep 13, 2024 10:59:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185375403 loops (301326/sec), 1064203014 sampling steps, 48049413 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
137325990 component updates, 823955940 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](137325990)
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186911637 loops (307246/sec), 1073021556 sampling steps, 48448275 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
138463362 component updates, 830780172 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](138463362)
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188459881 loops (309648/sec), 1081909721 sampling steps, 48849574 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
139610307 component updates, 837661842 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](139610307)
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190018339 loops (311691/sec), 1090856720 sampling steps, 49253323 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
140765016 component updates, 844590096 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](140765016)
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191584161 loops (313164/sec), 1099845379 sampling steps, 49659596 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
141924565 component updates, 851547390 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](141924565)
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193153211 loops (313810/sec), 1108852830 sampling steps, 50066445 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
143086766 component updates, 858520596 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](143086766)
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194719801 loops (313318/sec), 1117847220 sampling steps, 50471595 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
144248206 component updates, 865489236 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](144248206)
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196247845 loops (305608/sec), 1126617883 sampling steps, 50869196 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
145378649 component updates, 872271894 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](145378649)
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197778199 loops (306070/sec), 1135403486 sampling steps, 51265717 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
146512482 component updates, 879074892 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](146512482)
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199302026 loops (304765/sec), 1144151795 sampling steps, 51660370 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
147641656 component updates, 885849936 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](147641656)
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200791402 loops (297875/sec), 1152701636 sampling steps, 52046785 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
148744617 component updates, 892467702 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](148744617)
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202245605 loops (290840/sec), 1161050471 sampling steps, 52423168 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
149822437 component updates, 898934622 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](149822437)
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203691965 loops (289272/sec), 1169353561 sampling steps, 52798238 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
150893727 component updates, 905362362 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](150893727)
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205149488 loops (291504/sec), 1177720307 sampling steps, 53176630 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
151972858 component updates, 911837148 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](151972858)
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206623735 loops (294849/sec), 1186184087 sampling steps, 53558332 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
153065403 component updates, 918392418 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](153065403)
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208125905 loops (300434/sec), 1194806654 sampling steps, 53948785 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
154177120 component updates, 925062720 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](154177120)
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209644141 loops (303647/sec), 1203521994 sampling steps, 54342861 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
155301280 component updates, 931807680 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](155301280)
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211151612 loops (301494/sec), 1212174990 sampling steps, 54734691 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
156416921 component updates, 938501526 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](156416921)
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212674342 loops (304546/sec), 1220916425 sampling steps, 55129636 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
157544706 component updates, 945268236 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](157544706)
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214220935 loops (309318/sec), 1229795460 sampling steps, 55530159 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
158690776 component updates, 952144656 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](158690776)
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215750962 loops (306005/sec), 1238578711 sampling steps, 55927070 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
159823892 component updates, 958943352 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](159823892)
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217271628 loops (304133/sec), 1247307926 sampling steps, 56321851 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
160949777 component updates, 965698662 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](160949777)
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218752431 loops (296160/sec), 1255808001 sampling steps, 56706594 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
162045837 component updates, 972275022 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](162045837)
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220238278 loops (297169/sec), 1264337192 sampling steps, 57092485 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
163145793 component updates, 978874758 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](163145793)
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221738686 loops (300081/sec), 1272950994 sampling steps, 57481131 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
164257555 component updates, 985545330 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](164257555)
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223257734 loops (303809/sec), 1281671330 sampling steps, 57875083 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
165382651 component updates, 992295906 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](165382651)
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224785642 loops (305581/sec), 1290441330 sampling steps, 58272531 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
166513111 component updates, 999078666 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](166513111)
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226342002 loops (311272/sec), 1299375403 sampling steps, 58676618 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
167665384 component updates, 1005992304 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](167665384)
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227830873 loops (297774/sec), 1307922209 sampling steps, 59063038 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
168767835 component updates, 1012607010 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](168767835)
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229370996 loops (308024/sec), 1316763559 sampling steps, 59462426 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
169908570 component updates, 1019451420 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](169908570)
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230909422 loops (307685/sec), 1325595276 sampling steps, 59861265 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
171048157 component updates, 1026288942 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](171048157)
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232428413 loops (303798/sec), 1334315434 sampling steps, 60255053 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
172173360 component updates, 1033040160 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](172173360)
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233968493 loops (308016/sec), 1343156560 sampling steps, 60654407 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
173314086 component updates, 1039884516 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](173314086)
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235551261 loops (316553/sec), 1352242619 sampling steps, 61064956 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
174486305 component updates, 1046917830 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](174486305)
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237119092 loops (313566/sec), 1361242374 sampling steps, 61472187 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
175646905 component updates, 1053881430 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](175646905)
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238682940 loops (312769/sec), 1370219245 sampling steps, 61878404 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
176804536 component updates, 1060827216 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](176804536)
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240239398 loops (311291/sec), 1379155004 sampling steps, 62281393 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
177958005 component updates, 1067748030 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](177958005)
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241785842 loops (309288/sec), 1388034022 sampling steps, 62681039 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
179104803 component updates, 1074628818 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](179104803)
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243292670 loops (301365/sec), 1396685259 sampling steps, 63070770 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
180221900 component updates, 1081331400 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](180221900)
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244835063 loops (308478/sec), 1405539992 sampling steps, 63470395 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
181364668 component updates, 1088188008 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](181364668)
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246373637 loops (307714/sec), 1414372918 sampling steps, 63868913 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
182504724 component updates, 1095028344 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](182504724)
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247920456 loops (309363/sec), 1423252872 sampling steps, 64269873 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
183650583 component updates, 1101903498 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](183650583)
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249422554 loops (300419/sec), 1431875468 sampling steps, 64659865 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
184762689 component updates, 1108576134 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](184762689)
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250937575 loops (303004/sec), 1440573006 sampling steps, 65052453 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
185885122 component updates, 1115310732 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](185885122)
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252434270 loops (299339/sec), 1449165137 sampling steps, 65440492 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
186993778 component updates, 1121962668 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](186993778)
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253908028 loops (294751/sec), 1457625535 sampling steps, 65822642 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
188085386 component updates, 1128512316 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](188085386)
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255443276 loops (307049/sec), 1466439479 sampling steps, 66220186 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
189223090 component updates, 1135338540 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](189223090)
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256975442 loops (306433/sec), 1475235010 sampling steps, 66617651 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
190357791 component updates, 1142146746 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](190357791)
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258513653 loops (307642/sec), 1484066211 sampling steps, 67015716 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
191497937 component updates, 1148987622 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](191497937)
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260073169 loops (311903/sec), 1493018984 sampling steps, 67420039 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
192653130 component updates, 1155918780 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](192653130)
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261624399 loops (310246/sec), 1501924666 sampling steps, 67821737 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
193802662 component updates, 1162815972 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](193802662)
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263153690 loops (305858/sec), 1510704434 sampling steps, 68217715 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
194935975 component updates, 1169615850 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](194935975)
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264704044 loops (310070/sec), 1519605003 sampling steps, 68619270 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
196084774 component updates, 1176508644 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](196084774)
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266241754 loops (307542/sec), 1528431527 sampling steps, 69019006 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
197222748 component updates, 1183336488 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](197222748)
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267801912 loops (312031/sec), 1537388371 sampling steps, 69423110 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
198378802 component updates, 1190272812 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](198378802)
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269362990 loops (312215/sec), 1546349932 sampling steps, 69828017 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
199534973 component updates, 1197209838 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](199534973)
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270921257 loops (311653/sec), 1555296187 sampling steps, 70231364 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
200689893 component updates, 1204139358 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](200689893)
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272467725 loops (309293/sec), 1564175175 sampling steps, 70631184 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
201836541 component updates, 1211019246 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](201836541)
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273979882 loops (302431/sec), 1572855388 sampling steps, 71023913 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
202955969 component updates, 1217735814 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](202955969)
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275481113 loops (300246/sec), 1581472930 sampling steps, 71413757 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
204067356 component updates, 1224404136 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](204067356)
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276987403 loops (301258/sec), 1590120520 sampling steps, 71803907 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
205183496 component updates, 1231100976 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](205183496)
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278521894 loops (306898/sec), 1598930082 sampling steps, 72201291 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
206320603 component updates, 1237923618 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](206320603)
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280060939 loops (307809/sec), 1607765603 sampling steps, 72600040 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
207460899 component updates, 1244765394 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](207460899)
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281602518 loops (308315/sec), 1616615492 sampling steps, 72999625 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
208602893 component updates, 1251617358 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](208602893)
Sep 13, 2024 11:04:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283145958 loops (308688/sec), 1625476472 sampling steps, 73399285 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
209746673 component updates, 1258480038 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](209746673)
Sep 13, 2024 11:04:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284704645 loops (311737/sec), 1634424364 sampling steps, 73803515 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
210901130 component updates, 1265406780 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](210901130)
Sep 13, 2024 11:04:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
286261648 loops (311400/sec), 1643362907 sampling steps, 74206990 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
212054658 component updates, 1272327948 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](212054658)
Sep 13, 2024 11:04:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287814977 loops (310665/sec), 1652281112 sampling steps, 74608759 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
213206218 component updates, 1279237308 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](213206218)
Sep 13, 2024 11:04:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289340522 loops (305109/sec), 1661039082 sampling steps, 75004059 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
214336463 component updates, 1286018778 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](214336463)
Sep 13, 2024 11:04:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290854418 loops (302779/sec), 1669729672 sampling steps, 75396845 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
215457573 component updates, 1292745438 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](215457573)
Sep 13, 2024 11:05:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292359924 loops (301101/sec), 1678372875 sampling steps, 75786678 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
216573246 component updates, 1299439476 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](216573246)
Sep 13, 2024 11:05:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293853062 loops (298627/sec), 1686944386 sampling steps, 76173995 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
217679067 component updates, 1306074402 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](217679067)
Sep 13, 2024 11:05:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295385263 loops (306440/sec), 1695740742 sampling steps, 76570845 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
218814418 component updates, 1312886508 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](218814418)
Sep 13, 2024 11:05:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296940524 loops (311052/sec), 1704668614 sampling steps, 76974539 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
219965985 component updates, 1319795910 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](219965985)
Sep 13, 2024 11:05:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298480897 loops (308074/sec), 1713512458 sampling steps, 77372933 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
221107964 component updates, 1326647784 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](221107964)
Sep 13, 2024 11:05:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300021954 loops (308211/sec), 1722358902 sampling steps, 77772831 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
222249123 component updates, 1333494738 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](222249123)
Sep 13, 2024 11:05:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301547594 loops (305128/sec), 1731117610 sampling steps, 78167963 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
223379631 component updates, 1340277786 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](223379631)
Sep 13, 2024 11:05:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303077918 loops (306064/sec), 1739902087 sampling steps, 78565430 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
224512488 component updates, 1347074928 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](224512488)
Sep 13, 2024 11:05:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304601039 loops (304624/sec), 1748646533 sampling steps, 78959710 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
225641329 component updates, 1353847974 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](225641329)
Sep 13, 2024 11:05:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306103171 loops (300426/sec), 1757269556 sampling steps, 79349479 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
226753692 component updates, 1360522152 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](226753692)
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307556632 loops (290692/sec), 1765613135 sampling steps, 79726666 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
227829966 component updates, 1366979796 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](227829966)
Sep 13, 2024 11:05:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309004736 loops (289620/sec), 1773927103 sampling steps, 80101322 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
228903414 component updates, 1373420484 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](228903414)
Sep 13, 2024 11:06:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310465552 loops (292163/sec), 1782313683 sampling steps, 80479638 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
229985914 component updates, 1379915484 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](229985914)
Sep 13, 2024 11:06:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311990386 loops (304966/sec), 1791068442 sampling steps, 80873883 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
231116503 component updates, 1386699018 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](231116503)
Sep 13, 2024 11:06:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313521444 loops (306211/sec), 1799857679 sampling steps, 81270994 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
232250450 component updates, 1393502700 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](232250450)
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315083888 loops (312488/sec), 1808826363 sampling steps, 81676974 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
233406914 component updates, 1400441484 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](233406914)
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316607577 loops (304737/sec), 1817573809 sampling steps, 82071662 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
234535915 component updates, 1407215490 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](234535915)
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318138194 loops (306123/sec), 1826359790 sampling steps, 82469383 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
235668811 component updates, 1414012866 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](235668811)
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319705781 loops (313517/sec), 1835359547 sampling steps, 82875148 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
236830633 component updates, 1420983798 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](236830633)
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321271631 loops (313170/sec), 1844348572 sampling steps, 83281223 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
237990408 component updates, 1427942448 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](237990408)
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322836643 loops (313002/sec), 1853332354 sampling steps, 83687513 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
239149130 component updates, 1434894780 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](239149130)
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324398669 loops (312405/sec), 1862300594 sampling steps, 84091429 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
240307240 component updates, 1441843440 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](240307240)
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325936494 loops (307565/sec), 1871128477 sampling steps, 84490496 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
241445998 component updates, 1448675988 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](241445998)
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327457791 loops (304259/sec), 1879862382 sampling steps, 84884373 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
242573418 component updates, 1455440508 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](242573418)
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328987197 loops (305881/sec), 1888642105 sampling steps, 85281086 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
243706111 component updates, 1462236666 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](243706111)
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330507248 loops (304010/sec), 1897368453 sampling steps, 85675044 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
244832204 component updates, 1468993224 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](244832204)
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332025417 loops (303633/sec), 1906084281 sampling steps, 86068230 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
245957187 component updates, 1475743122 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](245957187)
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333536241 loops (302164/sec), 1914757912 sampling steps, 86459543 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
247076698 component updates, 1482460188 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](247076698)
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335031266 loops (299005/sec), 1923339976 sampling steps, 86847629 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
248183637 component updates, 1489101822 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](248183637)
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336535688 loops (300884/sec), 1931976396 sampling steps, 87237741 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
249297947 component updates, 1495787682 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](249297947)
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338039205 loops (300703/sec), 1940607307 sampling steps, 87627932 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
250411273 component updates, 1502467638 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](250411273)
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
339542035 loops (300566/sec), 1949235104 sampling steps, 88017115 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
251524920 component updates, 1509149520 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](251524920)
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341077277 loops (307048/sec), 1958049114 sampling steps, 88414557 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
252662720 component updates, 1515976320 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](252662720)
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342626218 loops (309788/sec), 1966942030 sampling steps, 88815287 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
253810931 component updates, 1522865586 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](253810931)
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344180857 loops (310927/sec), 1975867717 sampling steps, 89217434 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
254963423 component updates, 1529780538 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](254963423)
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345735102 loops (310849/sec), 1984789771 sampling steps, 89620850 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
256114252 component updates, 1536685512 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](256114252)
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347290081 loops (310995/sec), 1993717122 sampling steps, 90023373 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
257266708 component updates, 1543600248 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](257266708)
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348830599 loops (308103/sec), 2002561293 sampling steps, 90422310 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
258408289 component updates, 1550449734 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](258408289)
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350362483 loops (306376/sec), 2011355475 sampling steps, 90819432 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
259543051 component updates, 1557258306 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](259543051)
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351893061 loops (306115/sec), 2020142511 sampling steps, 91215864 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
260677197 component updates, 1564063182 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](260677197)
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353381476 loops (297683/sec), 2028687798 sampling steps, 91601067 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
261780409 component updates, 1570682454 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](261780409)
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354855310 loops (294766/sec), 2037148432 sampling steps, 91983437 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
262871873 component updates, 1577231238 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](262871873)
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356318849 loops (292707/sec), 2045549790 sampling steps, 92363313 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
263955536 component updates, 1583733216 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](263955536)
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357759694 loops (288169/sec), 2053820499 sampling steps, 92737674 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
265022020 component updates, 1590132120 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](265022020)
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359211101 loops (290281/sec), 2062152136 sampling steps, 93114479 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
266096622 component updates, 1596579732 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](266096622)
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360654756 loops (288731/sec), 2070439576 sampling steps, 93488969 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
267165787 component updates, 1602994722 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](267165787)
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362172658 loops (303580/sec), 2079154065 sampling steps, 93881892 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
268290766 component updates, 1609744596 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](268290766)
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363690102 loops (303488/sec), 2087866147 sampling steps, 94274474 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
269415628 component updates, 1616493768 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](269415628)
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365252318 loops (312443/sec), 2096834633 sampling steps, 94679284 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
270573034 component updates, 1623438204 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](270573034)
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366814674 loops (312471/sec), 2105803893 sampling steps, 95084160 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
271730514 component updates, 1630383084 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](271730514)
Sep 13, 2024 11:09:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368371555 loops (311376/sec), 2114741567 sampling steps, 95487772 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
272883783 component updates, 1637302698 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](272883783)
Sep 13, 2024 11:09:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369930056 loops (311700/sec), 2123688537 sampling steps, 95891808 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
274038248 component updates, 1644229488 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](274038248)
Sep 13, 2024 11:09:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371478738 loops (309736/sec), 2132580100 sampling steps, 96292337 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
275186401 component updates, 1651118406 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](275186401)
Sep 13, 2024 11:09:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373038695 loops (311991/sec), 2141536359 sampling steps, 96695820 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
276342875 component updates, 1658057250 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](276342875)
Sep 13, 2024 11:09:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374593752 loops (311011/sec), 2150462909 sampling steps, 97099612 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
277494140 component updates, 1664964840 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](277494140)
Sep 13, 2024 11:09:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376153826 loops (312014/sec), 2159419238 sampling steps, 97503727 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
278650099 component updates, 1671900594 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](278650099)
Sep 13, 2024 11:09:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377712877 loops (311810/sec), 2168369763 sampling steps, 97907508 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
279805369 component updates, 1678832214 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](279805369)
Sep 13, 2024 11:09:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379270736 loops (311571/sec), 2177313364 sampling steps, 98311061 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
280959675 component updates, 1685758050 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](280959675)
Sep 13, 2024 11:09:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380817840 loops (309420/sec), 2186195508 sampling steps, 98711541 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
282106299 component updates, 1692637794 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](282106299)
Sep 13, 2024 11:09:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382381521 loops (312736/sec), 2195171819 sampling steps, 99117316 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
283264205 component updates, 1699585230 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](283264205)
Sep 13, 2024 11:10:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383923331 loops (308362/sec), 2204023181 sampling steps, 99516814 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
284406517 component updates, 1706439102 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](284406517)
Sep 13, 2024 11:10:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385464138 loops (308161/sec), 2212869068 sampling steps, 99915769 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
285548369 component updates, 1713290214 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](285548369)
Sep 13, 2024 11:10:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387022312 loops (311634/sec), 2221814546 sampling steps, 100319335 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
286702977 component updates, 1720217862 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](286702977)
Sep 13, 2024 11:10:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388595031 loops (314543/sec), 2230844672 sampling steps, 100725523 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
287869508 component updates, 1727217048 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](287869508)
Sep 13, 2024 11:10:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390168356 loops (314665/sec), 2239876669 sampling steps, 101133476 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
289034880 component updates, 1734209280 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](289034880)
Sep 13, 2024 11:10:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391737063 loops (313741/sec), 2248881110 sampling steps, 101541277 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
290195786 component updates, 1741174716 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](290195786)
Sep 13, 2024 11:10:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393300307 loops (312648/sec), 2257854899 sampling steps, 101946952 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
291353355 component updates, 1748120130 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](291353355)
Sep 13, 2024 11:10:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394870937 loops (314126/sec), 2266870948 sampling steps, 102354683 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
292516254 component updates, 1755097524 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](292516254)
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396444204 loops (314653/sec), 2275902507 sampling steps, 102762726 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
293681478 component updates, 1762088868 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](293681478)
Sep 13, 2024 11:10:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398014471 loops (314053/sec), 2284917393 sampling steps, 103169442 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
294845029 component updates, 1769070174 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](294845029)
Sep 13, 2024 11:10:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399574780 loops (312061/sec), 2293875348 sampling steps, 103573341 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
296001439 component updates, 1776008634 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](296001439)
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401145736 loops (314191/sec), 2302892814 sampling steps, 103981611 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
297164125 component updates, 1782984750 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](297164125)
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402642846 loops (299422/sec), 2311488035 sampling steps, 104369050 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
298273796 component updates, 1789642776 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](298273796)
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404148092 loops (301049/sec), 2320129392 sampling steps, 104759169 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
299388923 component updates, 1796333538 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](299388923)
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405654160 loops (301213/sec), 2328775178 sampling steps, 105149791 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
300504369 component updates, 1803026214 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](300504369)
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407209508 loops (311069/sec), 2337703731 sampling steps, 105553326 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
301656182 component updates, 1809937092 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](301656182)
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
408759641 loops (310026/sec), 2346603261 sampling steps, 105954594 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
302805047 component updates, 1816830282 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](302805047)
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410307964 loops (309664/sec), 2355492561 sampling steps, 106355232 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
303952732 component updates, 1823716392 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](303952732)
Sep 13, 2024 11:11:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411846908 loops (307788/sec), 2364327682 sampling steps, 106753775 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
305093133 component updates, 1830558798 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](305093133)
Sep 13, 2024 11:11:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413391188 loops (308856/sec), 2373193035 sampling steps, 107154102 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
306237086 component updates, 1837422516 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](306237086)
Sep 13, 2024 11:11:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414941107 loops (309983/sec), 2382090809 sampling steps, 107555842 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
307385265 component updates, 1844311590 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](307385265)
Sep 13, 2024 11:11:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416495911 loops (310960/sec), 2391016932 sampling steps, 107958543 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
308537368 component updates, 1851224208 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](308537368)
Sep 13, 2024 11:11:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418056112 loops (312040/sec), 2399973904 sampling steps, 108362777 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
309693335 component updates, 1858160010 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](309693335)
Sep 13, 2024 11:11:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419568920 loops (302561/sec), 2408658342 sampling steps, 108755187 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
310813733 component updates, 1864882398 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](310813733)
Sep 13, 2024 11:12:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
421081560 loops (302528/sec), 2417342446 sampling steps, 109146923 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
311934637 component updates, 1871607822 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](311934637)
Sep 13, 2024 11:12:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422588139 loops (301315/sec), 2425990588 sampling steps, 109538255 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
313049884 component updates, 1878299304 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](313049884)
Sep 13, 2024 11:12:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424101456 loops (302663/sec), 2434678818 sampling steps, 109929927 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
314171529 component updates, 1885029174 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](314171529)
Sep 13, 2024 11:12:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425670047 loops (313718/sec), 2443683564 sampling steps, 110336727 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
315333320 component updates, 1891999920 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](315333320)
Sep 13, 2024 11:12:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427235335 loops (313057/sec), 2452669935 sampling steps, 110742084 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
316493251 component updates, 1898959506 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](316493251)
Sep 13, 2024 11:12:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428740978 loops (301128/sec), 2461313601 sampling steps, 111132276 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
317608702 component updates, 1905652212 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](317608702)
Sep 13, 2024 11:12:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430239970 loops (299798/sec), 2469919390 sampling steps, 111520439 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
318719531 component updates, 1912317186 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](318719531)
Sep 13, 2024 11:12:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431772318 loops (306469/sec), 2478716134 sampling steps, 111917783 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
319854535 component updates, 1919127210 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](319854535)
Sep 13, 2024 11:12:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433356555 loops (316847/sec), 2487809982 sampling steps, 112329357 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
321027198 component updates, 1926163188 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](321027198)
Sep 13, 2024 11:12:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434921530 loops (312995/sec), 2496794347 sampling steps, 112734842 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
322186688 component updates, 1933120128 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](322186688)
Sep 13, 2024 11:12:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436438252 loops (303344/sec), 2505501919 sampling steps, 113127602 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
323310650 component updates, 1939863900 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](323310650)
Sep 13, 2024 11:12:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437964707 loops (305291/sec), 2514265495 sampling steps, 113522756 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
324441951 component updates, 1946651706 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](324441951)
Sep 13, 2024 11:13:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439534846 loops (314027/sec), 2523278012 sampling steps, 113931073 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
325603773 component updates, 1953622638 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](325603773)
Sep 13, 2024 11:13:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441094122 loops (311855/sec), 2532230062 sampling steps, 114334679 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
326759443 component updates, 1960556658 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](326759443)
Sep 13, 2024 11:13:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442632183 loops (307612/sec), 2541059717 sampling steps, 114733390 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
327898793 component updates, 1967392758 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](327898793)
Sep 13, 2024 11:13:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444162792 loops (306121/sec), 2549846101 sampling steps, 115130660 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
329032132 component updates, 1974192792 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](329032132)
Sep 13, 2024 11:13:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445686202 loops (304682/sec), 2558591371 sampling steps, 115525850 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
330160352 component updates, 1980962112 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](330160352)
Sep 13, 2024 11:13:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447200427 loops (302845/sec), 2567284094 sampling steps, 115918477 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
331281950 component updates, 1987691700 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](331281950)
Sep 13, 2024 11:13:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448734664 loops (306847/sec), 2576092375 sampling steps, 116315618 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
332419046 component updates, 1994514276 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](332419046)
Sep 13, 2024 11:13:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450270767 loops (307220/sec), 2584911329 sampling steps, 116713282 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
333557485 component updates, 2001344910 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](333557485)
Sep 13, 2024 11:13:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451812467 loops (308340/sec), 2593761562 sampling steps, 117113249 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
334699218 component updates, 2008195308 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](334699218)
Sep 13, 2024 11:13:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
453305787 loops (298664/sec), 2602335006 sampling steps, 117499725 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
335806062 component updates, 2014836372 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](335806062)
Sep 13, 2024 11:13:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454796361 loops (298114/sec), 2610892198 sampling steps, 117885977 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
336910384 component updates, 2021462304 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](336910384)
Sep 13, 2024 11:13:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456283364 loops (297400/sec), 2619429706 sampling steps, 118270487 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
338012877 component updates, 2028077262 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](338012877)
Sep 13, 2024 11:14:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457813775 loops (306082/sec), 2628215454 sampling steps, 118667205 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
339146570 component updates, 2034879420 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](339146570)
Sep 13, 2024 11:14:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459347800 loops (306805/sec), 2637021281 sampling steps, 119065528 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
340282272 component updates, 2041693632 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](340282272)
Sep 13, 2024 11:14:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460885015 loops (307443/sec), 2645846153 sampling steps, 119463946 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
341421069 component updates, 2048526414 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](341421069)
Sep 13, 2024 11:14:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462446137 loops (312224/sec), 2654808778 sampling steps, 119868053 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
342578084 component updates, 2055468504 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](342578084)
Sep 13, 2024 11:14:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464006380 loops (312048/sec), 2663765161 sampling steps, 120273128 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
343733252 component updates, 2062399512 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](343733252)
Sep 13, 2024 11:14:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465591385 loops (317001/sec), 2672864410 sampling steps, 120683909 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
344907476 component updates, 2069444856 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](344907476)
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467164001 loops (314523/sec), 2681892902 sampling steps, 121091113 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
346072888 component updates, 2076437328 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](346072888)
Sep 13, 2024 11:14:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468664247 loops (300049/sec), 2690505657 sampling steps, 121479834 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
347184413 component updates, 2083106478 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](347184413)
Sep 13, 2024 11:14:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470197472 loops (306645/sec), 2699308126 sampling steps, 121876715 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
348320757 component updates, 2089924542 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](348320757)
Sep 13, 2024 11:14:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471702219 loops (300949/sec), 2707947229 sampling steps, 122266094 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
349436125 component updates, 2096616750 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](349436125)
Sep 13, 2024 11:14:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473153911 loops (290338/sec), 2716280876 sampling steps, 122642599 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
350511312 component updates, 2103067872 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](350511312)
Sep 13, 2024 11:14:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
474598132 loops (288844/sec), 2724571875 sampling steps, 123016926 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
351581206 component updates, 2109487236 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](351581206)
Sep 13, 2024 11:15:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
476028023 loops (285978/sec), 2732780142 sampling steps, 123388005 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
352640018 component updates, 2115840108 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](352640018)
Sep 13, 2024 11:15:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477468664 loops (288128/sec), 2741051086 sampling steps, 123760907 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
353707757 component updates, 2122246542 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](353707757)
Sep 13, 2024 11:15:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478903534 loops (286974/sec), 2749287926 sampling steps, 124133287 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
354770247 component updates, 2128621482 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](354770247)
Sep 13, 2024 11:15:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480326356 loops (284564/sec), 2757456018 sampling steps, 124502127 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
355824229 component updates, 2134945374 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](355824229)
Sep 13, 2024 11:15:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481847583 loops (304245/sec), 2766188929 sampling steps, 124896578 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
356951005 component updates, 2141706030 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](356951005)
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483422925 loops (315068/sec), 2775232774 sampling steps, 125304785 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
358118140 component updates, 2148708840 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](358118140)
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
484949314 loops (305277/sec), 2783993584 sampling steps, 125702309 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
359247005 component updates, 2155482030 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](359247005)
Sep 13, 2024 11:15:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486496595 loops (309456/sec), 2792876835 sampling steps, 126102744 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
360393851 component updates, 2162363106 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](360393851)
Sep 13, 2024 11:15:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488014394 loops (303559/sec), 2801589995 sampling steps, 126496378 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
361518016 component updates, 2169108096 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](361518016)
Sep 13, 2024 11:15:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489531824 loops (303486/sec), 2810301235 sampling steps, 126889718 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
362642106 component updates, 2175852636 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](362642106)
Sep 13, 2024 11:15:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491083501 loops (310335/sec), 2819209443 sampling steps, 127291572 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
363791929 component updates, 2182751574 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](363791929)
Sep 13, 2024 11:15:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492646697 loops (312639/sec), 2828183836 sampling steps, 127696355 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
364950342 component updates, 2189702052 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](364950342)
Sep 13, 2024 11:16:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494206688 loops (311998/sec), 2837139434 sampling steps, 128100703 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
366105985 component updates, 2196635910 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](366105985)
Sep 13, 2024 11:16:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
495747857 loops (308233/sec), 2845985431 sampling steps, 128501720 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
367246137 component updates, 2203476822 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](367246137)
Sep 13, 2024 11:16:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
497289484 loops (308325/sec), 2854835723 sampling steps, 128901190 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
368388294 component updates, 2210329764 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](368388294)
Sep 13, 2024 11:16:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498841928 loops (310488/sec), 2863747745 sampling steps, 129303832 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
369538096 component updates, 2217228576 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](369538096)
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
500385969 loops (308808/sec), 2872611431 sampling steps, 129704392 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
370681577 component updates, 2224089462 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](370681577)
Sep 13, 2024 11:16:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501931955 loops (309197/sec), 2881486135 sampling steps, 130105604 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
371826351 component updates, 2230958106 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](371826351)
Sep 13, 2024 11:16:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503483386 loops (310286/sec), 2890392696 sampling steps, 130507629 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
372975757 component updates, 2237854542 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](372975757)
Sep 13, 2024 11:16:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
504971012 loops (297525/sec), 2898932367 sampling steps, 130893714 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
374077298 component updates, 2244463788 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](374077298)
Sep 13, 2024 11:16:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506477113 loops (301220/sec), 2907578990 sampling steps, 131283697 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
375193416 component updates, 2251160496 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](375193416)
Sep 13, 2024 11:16:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508025197 loops (309616/sec), 2916466113 sampling steps, 131685078 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
376340119 component updates, 2258040714 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](376340119)
Sep 13, 2024 11:16:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
509564200 loops (307800/sec), 2925301229 sampling steps, 132083980 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
377480220 component updates, 2264881320 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](377480220)
Sep 13, 2024 11:16:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511097792 loops (306718/sec), 2934104772 sampling steps, 132481989 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
378615803 component updates, 2271694818 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](378615803)
Sep 13, 2024 11:17:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512621083 loops (304658/sec), 2942849763 sampling steps, 132876744 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
379744339 component updates, 2278466034 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](379744339)
Sep 13, 2024 11:17:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514138661 loops (303515/sec), 2951562097 sampling steps, 133269878 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
380868783 component updates, 2285212698 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](380868783)
Sep 13, 2024 11:17:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
515649849 loops (302237/sec), 2960237648 sampling steps, 133661455 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
381988394 component updates, 2291930364 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](381988394)
Sep 13, 2024 11:17:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517167190 loops (303468/sec), 2968948903 sampling steps, 134054246 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
383112944 component updates, 2298677664 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](383112944)
Sep 13, 2024 11:17:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518705784 loops (307718/sec), 2977782188 sampling steps, 134452525 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
384253259 component updates, 2305519554 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](384253259)
Sep 13, 2024 11:17:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520263260 loops (311495/sec), 2986722733 sampling steps, 134856836 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
385406424 component updates, 2312438544 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](385406424)
Sep 13, 2024 11:17:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
521779370 loops (303222/sec), 2995425653 sampling steps, 135250576 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
386528794 component updates, 2319172764 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](386528794)
Sep 13, 2024 11:17:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523318723 loops (307870/sec), 3004262535 sampling steps, 135649812 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
387668911 component updates, 2326013466 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](387668911)
Sep 13, 2024 11:17:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
524883954 loops (313046/sec), 3013248513 sampling steps, 136055220 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
388828734 component updates, 2332972404 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](388828734)
Sep 13, 2024 11:17:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526438606 loops (310930/sec), 3022173675 sampling steps, 136457970 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
389980636 component updates, 2339883816 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](389980636)
Sep 13, 2024 11:17:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
527995608 loops (311400/sec), 3031112090 sampling steps, 136861567 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
391134041 component updates, 2346804246 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](391134041)
Sep 13, 2024 11:17:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529549176 loops (310713/sec), 3040030323 sampling steps, 137264742 aborted
loop condition 0.25926, exit probability 0.0000 in initial state
1050 explored states, 1 states in BSSCs (1 absorbing)
392284434 component updates, 2353706604 transient state updates
Bounds: [0.74074+2.59259e-01]@[0.00000](392284434)
----------
Computation aborted after 1800.0058336257935 seconds since the total time limit of 1800.0 seconds was exceeded.