Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/cluster/cluster.prism --const N=64 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6047 loops (1209/sec), 19857157 sampling steps, 5 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
60424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8671 loops (524/sec), 39615212 sampling steps, 170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
85883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11054 loops (476/sec), 60787539 sampling steps, 2307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
93568 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13451 loops (479/sec), 82295204 sampling steps, 4632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
96968 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15835 loops (476/sec), 103756969 sampling steps, 6978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
99075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18150 loops (462/sec), 124636125 sampling steps, 9275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
100451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20441 loops (458/sec), 145337386 sampling steps, 11557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
101512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22760 loops (463/sec), 166272832 sampling steps, 13867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
102436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25091 loops (466/sec), 187257148 sampling steps, 16183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
103227 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27415 loops (464/sec), 208245932 sampling steps, 18501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
103802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29736 loops (464/sec), 229224852 sampling steps, 20810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
104390 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31998 loops (452/sec), 249670769 sampling steps, 23065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
104930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34261 loops (452/sec), 270089777 sampling steps, 25326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36559 loops (459/sec), 290847234 sampling steps, 27619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38879 loops (463/sec), 311768158 sampling steps, 29931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106160 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41207 loops (465/sec), 332730033 sampling steps, 32259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106484 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43521 loops (462/sec), 353660350 sampling steps, 34569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45839 loops (463/sec), 374583882 sampling steps, 36882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107232 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48172 loops (466/sec), 395570174 sampling steps, 39211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50504 loops (466/sec), 416553968 sampling steps, 41538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107939 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52834 loops (466/sec), 437537117 sampling steps, 43862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55162 loops (465/sec), 458527303 sampling steps, 46184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108515 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57484 loops (464/sec), 479515291 sampling steps, 48505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59796 loops (462/sec), 500465636 sampling steps, 50816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62113 loops (463/sec), 521411763 sampling steps, 53133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64425 loops (462/sec), 542256857 sampling steps, 55443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66762 loops (467/sec), 563267248 sampling steps, 57778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109700 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69095 loops (466/sec), 584290173 sampling steps, 60109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109941 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71421 loops (465/sec), 605292757 sampling steps, 62432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73752 loops (466/sec), 626283021 sampling steps, 64763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76085 loops (466/sec), 647283453 sampling steps, 67096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78415 loops (466/sec), 668267314 sampling steps, 69421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80738 loops (464/sec), 689256640 sampling steps, 71743 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83064 loops (465/sec), 710269237 sampling steps, 74066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85396 loops (466/sec), 731289546 sampling steps, 76397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87718 loops (464/sec), 752289360 sampling steps, 78719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111458 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90042 loops (464/sec), 773258999 sampling steps, 81041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92352 loops (462/sec), 794085780 sampling steps, 83347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111890 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94628 loops (455/sec), 814626080 sampling steps, 85623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96953 loops (464/sec), 835652455 sampling steps, 87948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99280 loops (465/sec), 856638865 sampling steps, 90274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101605 loops (465/sec), 877622606 sampling steps, 92597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103934 loops (465/sec), 898683344 sampling steps, 94925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106257 loops (464/sec), 919673451 sampling steps, 97248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108571 loops (462/sec), 940599333 sampling steps, 99561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112900 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110908 loops (467/sec), 961631699 sampling steps, 101896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113233 loops (465/sec), 982610645 sampling steps, 104219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115556 loops (464/sec), 1003591401 sampling steps, 106541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117873 loops (463/sec), 1024519110 sampling steps, 108857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120187 loops (462/sec), 1045389767 sampling steps, 111169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122508 loops (464/sec), 1066379080 sampling steps, 113488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124836 loops (465/sec), 1087394136 sampling steps, 115815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127174 loops (467/sec), 1108428044 sampling steps, 118152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129498 loops (464/sec), 1129398360 sampling steps, 120476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131778 loops (456/sec), 1149996463 sampling steps, 122755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134096 loops (463/sec), 1170970317 sampling steps, 125072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114344 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136404 loops (461/sec), 1191797710 sampling steps, 127380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138694 loops (457/sec), 1212455348 sampling steps, 129668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141023 loops (465/sec), 1233473277 sampling steps, 131996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143353 loops (466/sec), 1254472524 sampling steps, 134324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145679 loops (465/sec), 1275488422 sampling steps, 136650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147989 loops (461/sec), 1296386277 sampling steps, 138960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150322 loops (466/sec), 1317390972 sampling steps, 141293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152645 loops (464/sec), 1338345171 sampling steps, 143616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154989 loops (468/sec), 1359375207 sampling steps, 145960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157324 loops (467/sec), 1380417892 sampling steps, 148294 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159654 loops (465/sec), 1401467978 sampling steps, 150624 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161962 loops (461/sec), 1422272523 sampling steps, 152932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164298 loops (467/sec), 1443333895 sampling steps, 155268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166619 loops (464/sec), 1464325410 sampling steps, 157589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168955 loops (467/sec), 1485376133 sampling steps, 159924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171283 loops (465/sec), 1506399113 sampling steps, 162251 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173611 loops (465/sec), 1527413979 sampling steps, 164579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175931 loops (463/sec), 1548318915 sampling steps, 166897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116033 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178256 loops (465/sec), 1569348537 sampling steps, 169222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180586 loops (466/sec), 1590360580 sampling steps, 171552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182923 loops (467/sec), 1611405813 sampling steps, 173888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185253 loops (465/sec), 1632485056 sampling steps, 176218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187583 loops (465/sec), 1653538748 sampling steps, 178548 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189914 loops (466/sec), 1674589041 sampling steps, 180879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192248 loops (466/sec), 1695598438 sampling steps, 183213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194578 loops (465/sec), 1716616154 sampling steps, 185542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116757 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196914 loops (467/sec), 1737662845 sampling steps, 187878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199247 loops (466/sec), 1758705676 sampling steps, 190210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201568 loops (464/sec), 1779680547 sampling steps, 192530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203890 loops (464/sec), 1800610980 sampling steps, 194852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206173 loops (456/sec), 1821211898 sampling steps, 197134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208508 loops (466/sec), 1842254776 sampling steps, 199469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117253 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210839 loops (466/sec), 1863311795 sampling steps, 201800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117324 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213176 loops (467/sec), 1884394704 sampling steps, 204136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215517 loops (468/sec), 1905447713 sampling steps, 206475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217835 loops (463/sec), 1926363141 sampling steps, 208792 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220164 loops (465/sec), 1947431138 sampling steps, 211121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222492 loops (465/sec), 1968481090 sampling steps, 213449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117728 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224825 loops (466/sec), 1989534191 sampling steps, 215782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227163 loops (467/sec), 2010577098 sampling steps, 218120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229485 loops (464/sec), 2031533743 sampling steps, 220442 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231800 loops (463/sec), 2052418656 sampling steps, 222757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234131 loops (466/sec), 2073463507 sampling steps, 225088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118049 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236465 loops (466/sec), 2094505995 sampling steps, 227422 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238787 loops (464/sec), 2115538676 sampling steps, 229742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118203 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241114 loops (465/sec), 2136581624 sampling steps, 232069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243450 loops (467/sec), 2157626754 sampling steps, 234405 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245774 loops (464/sec), 2178634221 sampling steps, 236728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248068 loops (458/sec), 2199337584 sampling steps, 239022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250385 loops (463/sec), 2220312372 sampling steps, 241337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252672 loops (457/sec), 2240958937 sampling steps, 243624 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255005 loops (466/sec), 2261976320 sampling steps, 245957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257317 loops (462/sec), 2282907427 sampling steps, 248267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118713 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259631 loops (462/sec), 2303801802 sampling steps, 250581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261966 loops (466/sec), 2324865748 sampling steps, 252916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264282 loops (463/sec), 2345853054 sampling steps, 255232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266599 loops (463/sec), 2366835288 sampling steps, 257547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268937 loops (467/sec), 2387876620 sampling steps, 259885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271268 loops (466/sec), 2408885581 sampling steps, 262216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273591 loops (464/sec), 2429901623 sampling steps, 264539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275918 loops (465/sec), 2450903329 sampling steps, 266866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278241 loops (464/sec), 2471924751 sampling steps, 269189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280560 loops (463/sec), 2492907806 sampling steps, 271508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282887 loops (465/sec), 2513920882 sampling steps, 273835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285213 loops (465/sec), 2534939078 sampling steps, 276160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287526 loops (462/sec), 2555828417 sampling steps, 278473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289856 loops (465/sec), 2576869892 sampling steps, 280801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292180 loops (464/sec), 2597871600 sampling steps, 283125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294513 loops (466/sec), 2618904633 sampling steps, 285457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296840 loops (465/sec), 2639934208 sampling steps, 287784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299171 loops (466/sec), 2660953855 sampling steps, 290115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301501 loops (465/sec), 2681998861 sampling steps, 292445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303839 loops (467/sec), 2703086105 sampling steps, 294783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306171 loops (466/sec), 2724162829 sampling steps, 297115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308500 loops (465/sec), 2745230388 sampling steps, 299444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119936 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310823 loops (464/sec), 2766246931 sampling steps, 301767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313146 loops (464/sec), 2787219979 sampling steps, 304089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315465 loops (463/sec), 2808158235 sampling steps, 306408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317797 loops (466/sec), 2829205237 sampling steps, 308740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320126 loops (465/sec), 2850238253 sampling steps, 311067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322408 loops (456/sec), 2870763055 sampling steps, 313349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324732 loops (464/sec), 2891765110 sampling steps, 315673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120298 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327061 loops (465/sec), 2912789200 sampling steps, 318002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329392 loops (466/sec), 2933853959 sampling steps, 320333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331723 loops (466/sec), 2954920322 sampling steps, 322664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334047 loops (464/sec), 2975867175 sampling steps, 324987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336366 loops (463/sec), 2996853275 sampling steps, 327306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120500 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338679 loops (462/sec), 3017733987 sampling steps, 329618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341005 loops (465/sec), 3038688147 sampling steps, 331944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343331 loops (465/sec), 3059647941 sampling steps, 334269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345665 loops (466/sec), 3080699038 sampling steps, 336603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347991 loops (465/sec), 3101735171 sampling steps, 338929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350324 loops (466/sec), 3122801776 sampling steps, 341262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
352665 loops (468/sec), 3143865574 sampling steps, 343603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354995 loops (466/sec), 3164950723 sampling steps, 345933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357325 loops (465/sec), 3185975542 sampling steps, 348263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359660 loops (466/sec), 3207044801 sampling steps, 350598 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361989 loops (465/sec), 3228093217 sampling steps, 352927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364321 loops (466/sec), 3249137448 sampling steps, 355259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366652 loops (466/sec), 3270161264 sampling steps, 357590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368977 loops (465/sec), 3291128635 sampling steps, 359915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371302 loops (464/sec), 3312088471 sampling steps, 362239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373637 loops (467/sec), 3333148572 sampling steps, 364574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375961 loops (464/sec), 3354184964 sampling steps, 366898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378295 loops (466/sec), 3375234772 sampling steps, 369232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380633 loops (467/sec), 3396325721 sampling steps, 371570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382966 loops (466/sec), 3417394976 sampling steps, 373903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385310 loops (468/sec), 3438484331 sampling steps, 376247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121332 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387642 loops (466/sec), 3459564903 sampling steps, 378579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389966 loops (464/sec), 3480644549 sampling steps, 380903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392304 loops (467/sec), 3501726872 sampling steps, 383241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121474 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394633 loops (465/sec), 3522751213 sampling steps, 385570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396962 loops (465/sec), 3543753419 sampling steps, 387899 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399285 loops (464/sec), 3564724778 sampling steps, 390222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121582 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401618 loops (466/sec), 3585761894 sampling steps, 392553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403945 loops (465/sec), 3606819201 sampling steps, 394879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406285 loops (468/sec), 3627898206 sampling steps, 397219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
408600 loops (463/sec), 3648847370 sampling steps, 399533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121776 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410932 loops (466/sec), 3669897538 sampling steps, 401865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121820 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413264 loops (466/sec), 3690935652 sampling steps, 404197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415600 loops (467/sec), 3711968759 sampling steps, 406532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417931 loops (466/sec), 3732992862 sampling steps, 408863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420267 loops (467/sec), 3754053524 sampling steps, 411199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422587 loops (464/sec), 3775025091 sampling steps, 413519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424915 loops (465/sec), 3796009653 sampling steps, 415847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427228 loops (462/sec), 3816890044 sampling steps, 418160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429554 loops (465/sec), 3837877731 sampling steps, 420485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431869 loops (463/sec), 3858785225 sampling steps, 422800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434193 loops (464/sec), 3879804373 sampling steps, 425124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436519 loops (465/sec), 3900801910 sampling steps, 427450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
438857 loops (467/sec), 3921844355 sampling steps, 429788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441195 loops (467/sec), 3942922447 sampling steps, 432125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443463 loops (453/sec), 3963438097 sampling steps, 434393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445790 loops (465/sec), 3984440360 sampling steps, 436720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448119 loops (465/sec), 4005432520 sampling steps, 439049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450436 loops (463/sec), 4026308380 sampling steps, 441366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452750 loops (462/sec), 4047226009 sampling steps, 443680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
455061 loops (462/sec), 4068081667 sampling steps, 445991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457382 loops (464/sec), 4089075217 sampling steps, 448312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459703 loops (464/sec), 4110063146 sampling steps, 450633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462022 loops (463/sec), 4131011922 sampling steps, 452952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464346 loops (464/sec), 4151968886 sampling steps, 455276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466672 loops (465/sec), 4172976022 sampling steps, 457602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
469001 loops (465/sec), 4193956226 sampling steps, 459931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471323 loops (464/sec), 4214935373 sampling steps, 462253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473659 loops (467/sec), 4235925783 sampling steps, 464589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475987 loops (465/sec), 4256956710 sampling steps, 466917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478307 loops (463/sec), 4277888754 sampling steps, 469237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122693 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480624 loops (463/sec), 4298819097 sampling steps, 471554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
482939 loops (462/sec), 4319684098 sampling steps, 473869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
485265 loops (465/sec), 4340685382 sampling steps, 476195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487596 loops (466/sec), 4361720387 sampling steps, 478526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489922 loops (465/sec), 4382688421 sampling steps, 480852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492247 loops (464/sec), 4403694558 sampling steps, 483177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494587 loops (467/sec), 4424769673 sampling steps, 485517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
496921 loops (466/sec), 4445784192 sampling steps, 487851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
499244 loops (464/sec), 4466761759 sampling steps, 490174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501581 loops (467/sec), 4487825134 sampling steps, 492511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503910 loops (465/sec), 4508879608 sampling steps, 494840 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506233 loops (464/sec), 4529800373 sampling steps, 497163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508560 loops (465/sec), 4550767893 sampling steps, 499490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123056 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
510864 loops (460/sec), 4571642351 sampling steps, 501794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
513202 loops (467/sec), 4592699891 sampling steps, 504131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
515547 loops (469/sec), 4613764907 sampling steps, 506476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517877 loops (466/sec), 4634804651 sampling steps, 508806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520215 loops (467/sec), 4655852171 sampling steps, 511143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
522547 loops (466/sec), 4676939065 sampling steps, 513475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
524876 loops (465/sec), 4697983644 sampling steps, 515804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
527198 loops (464/sec), 4718960163 sampling steps, 518126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123309 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529530 loops (466/sec), 4740016634 sampling steps, 520458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531855 loops (465/sec), 4761021629 sampling steps, 522783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
534185 loops (465/sec), 4781977470 sampling steps, 525113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536509 loops (464/sec), 4802968991 sampling steps, 527437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123458 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538821 loops (462/sec), 4823843935 sampling steps, 529749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123480 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541137 loops (463/sec), 4844785572 sampling steps, 532065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
543465 loops (465/sec), 4865793535 sampling steps, 534393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
545791 loops (465/sec), 4886770734 sampling steps, 536719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123557 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548110 loops (463/sec), 4907744702 sampling steps, 539038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
550447 loops (467/sec), 4928777415 sampling steps, 541375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552771 loops (464/sec), 4949748301 sampling steps, 543699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123628 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555099 loops (465/sec), 4970747796 sampling steps, 546027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
557426 loops (465/sec), 4991746925 sampling steps, 548354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
559754 loops (465/sec), 5012771501 sampling steps, 550682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
562076 loops (464/sec), 5033726378 sampling steps, 553004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564348 loops (454/sec), 5054210895 sampling steps, 555276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
566654 loops (461/sec), 5075023983 sampling steps, 557582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
568977 loops (464/sec), 5095991695 sampling steps, 559905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123799 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
571302 loops (464/sec), 5116971839 sampling steps, 562230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573630 loops (465/sec), 5137946496 sampling steps, 564558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
575955 loops (465/sec), 5158952183 sampling steps, 566883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123872 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
578281 loops (465/sec), 5179936388 sampling steps, 569209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
580612 loops (466/sec), 5200938373 sampling steps, 571540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123928 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582947 loops (466/sec), 5221980479 sampling steps, 573875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
585267 loops (464/sec), 5242975403 sampling steps, 576195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123968 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
587598 loops (466/sec), 5263951809 sampling steps, 578526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123996 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
589913 loops (462/sec), 5284881323 sampling steps, 580841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592233 loops (463/sec), 5305851481 sampling steps, 583161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594545 loops (462/sec), 5326681799 sampling steps, 585473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
596875 loops (465/sec), 5347711886 sampling steps, 587803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
599202 loops (465/sec), 5368747970 sampling steps, 590130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601527 loops (465/sec), 5389735260 sampling steps, 592455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
603858 loops (466/sec), 5410774821 sampling steps, 594786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124132 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
606185 loops (465/sec), 5431784092 sampling steps, 597113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
608509 loops (464/sec), 5452808517 sampling steps, 599437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
610841 loops (466/sec), 5473865354 sampling steps, 601769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
613174 loops (466/sec), 5494922013 sampling steps, 604102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
615503 loops (465/sec), 5515955342 sampling steps, 606431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
617831 loops (465/sec), 5536942013 sampling steps, 608759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
620153 loops (464/sec), 5557880589 sampling steps, 611081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124274 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
622473 loops (464/sec), 5578797457 sampling steps, 613400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124302 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624809 loops (467/sec), 5599879336 sampling steps, 615735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
627146 loops (467/sec), 5620943468 sampling steps, 618072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629478 loops (466/sec), 5641982531 sampling steps, 620404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
631806 loops (465/sec), 5663028282 sampling steps, 622732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124430 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
634138 loops (466/sec), 5684092378 sampling steps, 625064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
636477 loops (467/sec), 5705149461 sampling steps, 627403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
638810 loops (466/sec), 5726238832 sampling steps, 629736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
641147 loops (467/sec), 5747287490 sampling steps, 632073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
643485 loops (467/sec), 5768339281 sampling steps, 634411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
645827 loops (468/sec), 5789397254 sampling steps, 636752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
648147 loops (463/sec), 5810374094 sampling steps, 639072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
650466 loops (463/sec), 5831312738 sampling steps, 641391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124632 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
652795 loops (465/sec), 5852403938 sampling steps, 643720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
655128 loops (466/sec), 5873469122 sampling steps, 646053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124676 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
657464 loops (467/sec), 5894565074 sampling steps, 648389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
659801 loops (467/sec), 5915629773 sampling steps, 650726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124713 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
662131 loops (465/sec), 5936688869 sampling steps, 653056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
664471 loops (467/sec), 5957778428 sampling steps, 655396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124767 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
666805 loops (466/sec), 5978838469 sampling steps, 657730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
669131 loops (465/sec), 5999897469 sampling steps, 660055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671475 loops (468/sec), 6020990210 sampling steps, 662399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124859 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
673802 loops (465/sec), 6042014224 sampling steps, 664726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
676132 loops (465/sec), 6063009000 sampling steps, 667056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
678446 loops (462/sec), 6083930423 sampling steps, 669370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
680774 loops (465/sec), 6104972591 sampling steps, 671698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
683107 loops (466/sec), 6126043807 sampling steps, 674031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
685439 loops (466/sec), 6147092161 sampling steps, 676363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
687771 loops (456/sec), 6168125433 sampling steps, 678695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
690100 loops (465/sec), 6189132376 sampling steps, 681024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
692429 loops (465/sec), 6210175302 sampling steps, 683353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
694757 loops (465/sec), 6231194541 sampling steps, 685681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
697091 loops (466/sec), 6252202160 sampling steps, 688015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125135 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699413 loops (464/sec), 6273177224 sampling steps, 690337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
701735 loops (464/sec), 6294140308 sampling steps, 692659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
704061 loops (465/sec), 6315067655 sampling steps, 694985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125177 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
706373 loops (462/sec), 6335995709 sampling steps, 697297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
708697 loops (464/sec), 6357016528 sampling steps, 699621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
711027 loops (466/sec), 6378047801 sampling steps, 701951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
713364 loops (467/sec), 6399129356 sampling steps, 704288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125264 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
715697 loops (466/sec), 6420142511 sampling steps, 706621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
718026 loops (465/sec), 6441161611 sampling steps, 708949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720354 loops (465/sec), 6462161431 sampling steps, 711277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
722682 loops (465/sec), 6483170877 sampling steps, 713605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
725009 loops (465/sec), 6504192143 sampling steps, 715932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
727342 loops (466/sec), 6525236384 sampling steps, 718265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125409 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
729670 loops (465/sec), 6546230062 sampling steps, 720593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
731997 loops (465/sec), 6567203665 sampling steps, 722920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125437 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
734326 loops (465/sec), 6588146084 sampling steps, 725249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125465 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
736655 loops (465/sec), 6609197835 sampling steps, 727578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
738986 loops (466/sec), 6630203164 sampling steps, 729909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
741324 loops (467/sec), 6651281274 sampling steps, 732247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125508 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
743648 loops (464/sec), 6672290910 sampling steps, 734571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
745972 loops (464/sec), 6693289658 sampling steps, 736895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125556 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
748296 loops (464/sec), 6714330085 sampling steps, 739219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
750588 loops (458/sec), 6735042015 sampling steps, 741511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
752904 loops (463/sec), 6755944620 sampling steps, 743827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
755229 loops (465/sec), 6776931158 sampling steps, 746152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
757550 loops (464/sec), 6797900907 sampling steps, 748473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125607 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
759855 loops (460/sec), 6818755862 sampling steps, 750778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762166 loops (462/sec), 6839572805 sampling steps, 753089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
764493 loops (465/sec), 6860550146 sampling steps, 755416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
766828 loops (466/sec), 6881604399 sampling steps, 757751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
769150 loops (464/sec), 6902611159 sampling steps, 760073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125700 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
771479 loops (465/sec), 6923605750 sampling steps, 762402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773803 loops (464/sec), 6944615536 sampling steps, 764726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
776128 loops (464/sec), 6965618291 sampling steps, 767051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125779 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778466 loops (467/sec), 6986635586 sampling steps, 769389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
780794 loops (465/sec), 7007633441 sampling steps, 771717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125820 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
783123 loops (465/sec), 7028632551 sampling steps, 774046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
785433 loops (461/sec), 7049542200 sampling steps, 776356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
787771 loops (467/sec), 7070525752 sampling steps, 778694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125859 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790076 loops (460/sec), 7091334027 sampling steps, 780999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
792389 loops (462/sec), 7112272414 sampling steps, 783312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
794716 loops (465/sec), 7133244131 sampling steps, 785639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
797040 loops (464/sec), 7154220255 sampling steps, 787963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
799364 loops (464/sec), 7175200295 sampling steps, 790287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125938 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
801673 loops (461/sec), 7196068870 sampling steps, 792596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
803989 loops (463/sec), 7217009272 sampling steps, 794912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
806311 loops (464/sec), 7237999829 sampling steps, 797233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
808647 loops (467/sec), 7259048102 sampling steps, 799569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
810962 loops (462/sec), 7280010363 sampling steps, 801883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
813223 loops (452/sec), 7300367948 sampling steps, 804144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
815542 loops (463/sec), 7321308640 sampling steps, 806463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
817852 loops (461/sec), 7342171133 sampling steps, 808773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
820181 loops (465/sec), 7363163861 sampling steps, 811102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
822495 loops (462/sec), 7384085275 sampling steps, 813416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126108 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
824815 loops (464/sec), 7405045753 sampling steps, 815736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126133 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
827150 loops (467/sec), 7426072579 sampling steps, 818071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
829482 loops (466/sec), 7447134477 sampling steps, 820403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
831809 loops (465/sec), 7468130581 sampling steps, 822730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
834137 loops (465/sec), 7489148251 sampling steps, 825058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126188 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
836475 loops (467/sec), 7510210953 sampling steps, 827396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
838809 loops (466/sec), 7531249881 sampling steps, 829730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0070321559906 seconds since the total time limit of 1800.0 seconds was exceeded.