Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism --const N=5 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9753 loops (1950/sec), 12773396 sampling steps, 1368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
87643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13294 loops (708/sec), 28089990 sampling steps, 3617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108059 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16570 loops (655/sec), 44062091 sampling steps, 6420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19813 loops (648/sec), 60386718 sampling steps, 9471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
127932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22993 loops (635/sec), 76713547 sampling steps, 12560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26103 loops (622/sec), 92794184 sampling steps, 15619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29122 loops (603/sec), 108854684 sampling steps, 18603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32216 loops (618/sec), 125004169 sampling steps, 21682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35312 loops (619/sec), 141199601 sampling steps, 24766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38416 loops (620/sec), 157434450 sampling steps, 27863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41466 loops (609/sec), 173641658 sampling steps, 30906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152762 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44560 loops (618/sec), 189845738 sampling steps, 33996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47633 loops (614/sec), 206016980 sampling steps, 37064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156457 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50739 loops (621/sec), 222244441 sampling steps, 40169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157992 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53820 loops (616/sec), 238490044 sampling steps, 43245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
159469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56961 loops (628/sec), 254821587 sampling steps, 46386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
160812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60115 loops (630/sec), 271157147 sampling steps, 49538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
162089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63255 loops (627/sec), 287464906 sampling steps, 52678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
163222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66324 loops (613/sec), 303756752 sampling steps, 55745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
164378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69407 loops (616/sec), 320020885 sampling steps, 58828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
165430 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72532 loops (624/sec), 336381067 sampling steps, 61952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
166398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75600 loops (613/sec), 352692755 sampling steps, 65019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
167298 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78716 loops (623/sec), 369023784 sampling steps, 68135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
168164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81831 loops (623/sec), 385338641 sampling steps, 71250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
169020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84893 loops (612/sec), 401584926 sampling steps, 74312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
169830 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88061 loops (633/sec), 417870904 sampling steps, 77479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
170663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91206 loops (629/sec), 434228171 sampling steps, 80624 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
171467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94366 loops (632/sec), 450585312 sampling steps, 83784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
172146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97507 loops (628/sec), 466966145 sampling steps, 86925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
172816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100620 loops (622/sec), 483323022 sampling steps, 90038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
173512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103808 loops (637/sec), 499705818 sampling steps, 93226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
174191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106876 loops (590/sec), 515918204 sampling steps, 96294 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
174841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110002 loops (625/sec), 532269131 sampling steps, 99420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
175462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113067 loops (613/sec), 548607940 sampling steps, 102485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
176089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116188 loops (624/sec), 564999504 sampling steps, 105606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
176687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119360 loops (634/sec), 581402201 sampling steps, 108778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
177260 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122468 loops (621/sec), 597725930 sampling steps, 111886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
177802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125572 loops (620/sec), 614085687 sampling steps, 114990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
178341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128718 loops (629/sec), 630497910 sampling steps, 118136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
178816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131818 loops (619/sec), 646891980 sampling steps, 121236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
179321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134911 loops (618/sec), 663280701 sampling steps, 124329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
179791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138025 loops (622/sec), 679695074 sampling steps, 127443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
180250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141205 loops (636/sec), 696126168 sampling steps, 130623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
180725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144322 loops (623/sec), 712539055 sampling steps, 133740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
181203 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147460 loops (627/sec), 728913884 sampling steps, 136878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
181654 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150619 loops (631/sec), 745313621 sampling steps, 140037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
182060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153779 loops (632/sec), 761752623 sampling steps, 143197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
182439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156892 loops (622/sec), 778122326 sampling steps, 146310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
182802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160013 loops (624/sec), 794438710 sampling steps, 149431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
183201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163132 loops (623/sec), 810775598 sampling steps, 152550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
183640 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166250 loops (623/sec), 827166873 sampling steps, 155668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
184041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169394 loops (628/sec), 843585985 sampling steps, 158812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
184405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172569 loops (634/sec), 859986868 sampling steps, 161987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
184751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175742 loops (634/sec), 876427320 sampling steps, 165160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178900 loops (631/sec), 892876650 sampling steps, 168318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182025 loops (624/sec), 909338364 sampling steps, 171443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185807 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185168 loops (628/sec), 925777673 sampling steps, 174586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188307 loops (627/sec), 942220498 sampling steps, 177725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191448 loops (628/sec), 958659812 sampling steps, 180866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186836 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194593 loops (629/sec), 975075607 sampling steps, 184011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197752 loops (631/sec), 991430036 sampling steps, 187170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200864 loops (622/sec), 1007825421 sampling steps, 190282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203958 loops (618/sec), 1024253105 sampling steps, 193376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207147 loops (637/sec), 1040709468 sampling steps, 196565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210270 loops (624/sec), 1057173976 sampling steps, 199688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188640 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213416 loops (629/sec), 1073656810 sampling steps, 202834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216591 loops (634/sec), 1090142528 sampling steps, 206009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219760 loops (633/sec), 1106599579 sampling steps, 209178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189480 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222923 loops (632/sec), 1123054788 sampling steps, 212341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226062 loops (627/sec), 1139461921 sampling steps, 215480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229159 loops (619/sec), 1155914537 sampling steps, 218577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232349 loops (638/sec), 1172353292 sampling steps, 221767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235461 loops (622/sec), 1188730068 sampling steps, 224879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238618 loops (631/sec), 1205135219 sampling steps, 228036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241768 loops (629/sec), 1221596575 sampling steps, 231186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244873 loops (620/sec), 1237979720 sampling steps, 234291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248023 loops (629/sec), 1254425634 sampling steps, 237441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251184 loops (632/sec), 1270897757 sampling steps, 240602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254308 loops (624/sec), 1287356483 sampling steps, 243726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257477 loops (633/sec), 1303819018 sampling steps, 246895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260618 loops (628/sec), 1320283159 sampling steps, 250036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192713 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263750 loops (626/sec), 1336783371 sampling steps, 253168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266908 loops (631/sec), 1353264209 sampling steps, 256326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270076 loops (633/sec), 1369733667 sampling steps, 259494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273240 loops (632/sec), 1386170642 sampling steps, 262658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193623 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276384 loops (628/sec), 1402619835 sampling steps, 265802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279520 loops (627/sec), 1419106549 sampling steps, 268938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282517 loops (599/sec), 1434674457 sampling steps, 271935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285643 loops (624/sec), 1451141171 sampling steps, 275061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288765 loops (624/sec), 1467596232 sampling steps, 278183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291864 loops (619/sec), 1484045218 sampling steps, 281282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194828 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295014 loops (629/sec), 1500520955 sampling steps, 284432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195048 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298144 loops (626/sec), 1516977293 sampling steps, 287562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301264 loops (623/sec), 1533444057 sampling steps, 290682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304390 loops (625/sec), 1549883800 sampling steps, 293808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307553 loops (632/sec), 1566352633 sampling steps, 296971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310659 loops (621/sec), 1582733430 sampling steps, 300077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196021 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313797 loops (627/sec), 1599179931 sampling steps, 303215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196188 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316948 loops (630/sec), 1615643553 sampling steps, 306366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320092 loops (628/sec), 1632096073 sampling steps, 309510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323235 loops (628/sec), 1648447417 sampling steps, 312653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326295 loops (612/sec), 1664738999 sampling steps, 315713 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329474 loops (635/sec), 1681099265 sampling steps, 318892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332631 loops (631/sec), 1697429759 sampling steps, 322049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335773 loops (628/sec), 1713822045 sampling steps, 325191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338850 loops (615/sec), 1730152639 sampling steps, 328268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341918 loops (613/sec), 1746502174 sampling steps, 331336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197712 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345054 loops (627/sec), 1762838225 sampling steps, 334472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348164 loops (621/sec), 1779136908 sampling steps, 337582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351252 loops (617/sec), 1795458996 sampling steps, 340670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354401 loops (629/sec), 1811801732 sampling steps, 343819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357525 loops (624/sec), 1828138147 sampling steps, 346943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360705 loops (636/sec), 1844514214 sampling steps, 350123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363848 loops (628/sec), 1860899996 sampling steps, 353266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366983 loops (627/sec), 1877275004 sampling steps, 356401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199044 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370109 loops (625/sec), 1893614357 sampling steps, 359527 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373253 loops (628/sec), 1910009537 sampling steps, 362671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376403 loops (629/sec), 1926374488 sampling steps, 365821 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379568 loops (633/sec), 1942739965 sampling steps, 368986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382710 loops (628/sec), 1959082615 sampling steps, 372128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385867 loops (631/sec), 1975358844 sampling steps, 375285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389027 loops (632/sec), 1991725902 sampling steps, 378445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392161 loops (626/sec), 2008132893 sampling steps, 381579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395364 loops (640/sec), 2024543634 sampling steps, 384782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398527 loops (632/sec), 2040954961 sampling steps, 387945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200580 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401643 loops (623/sec), 2057303587 sampling steps, 391061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404763 loops (624/sec), 2073661841 sampling steps, 394181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407897 loops (626/sec), 2090005885 sampling steps, 397315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201015 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411035 loops (627/sec), 2106380262 sampling steps, 400453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414190 loops (631/sec), 2122727672 sampling steps, 403608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417366 loops (634/sec), 2139105742 sampling steps, 406784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201418 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420483 loops (623/sec), 2155424422 sampling steps, 409901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423576 loops (618/sec), 2171720338 sampling steps, 412994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
426721 loops (629/sec), 2188084766 sampling steps, 416139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429816 loops (618/sec), 2204427788 sampling steps, 419234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432962 loops (629/sec), 2220820020 sampling steps, 422380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436067 loops (620/sec), 2237182949 sampling steps, 425485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202226 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439134 loops (613/sec), 2253520761 sampling steps, 428552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442331 loops (639/sec), 2269935046 sampling steps, 431749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445515 loops (636/sec), 2286356514 sampling steps, 434933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448673 loops (631/sec), 2302745296 sampling steps, 438091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451822 loops (629/sec), 2319080609 sampling steps, 441240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454951 loops (625/sec), 2335460891 sampling steps, 444369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458053 loops (620/sec), 2351807322 sampling steps, 447471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461158 loops (621/sec), 2368102329 sampling steps, 450576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464282 loops (624/sec), 2384470933 sampling steps, 453700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467395 loops (622/sec), 2400837519 sampling steps, 456813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470560 loops (632/sec), 2417241270 sampling steps, 459978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203638 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473723 loops (632/sec), 2433639669 sampling steps, 463141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
476672 loops (589/sec), 2449064124 sampling steps, 466090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203863 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
479763 loops (618/sec), 2465380036 sampling steps, 469181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
482909 loops (629/sec), 2481763313 sampling steps, 472327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486062 loops (630/sec), 2498117513 sampling steps, 475480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489225 loops (632/sec), 2514510692 sampling steps, 478643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204316 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492367 loops (628/sec), 2530904486 sampling steps, 481785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
495506 loops (627/sec), 2547264541 sampling steps, 484924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498585 loops (615/sec), 2563494633 sampling steps, 488003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501728 loops (628/sec), 2579835726 sampling steps, 491146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
504894 loops (633/sec), 2596208086 sampling steps, 494312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508009 loops (623/sec), 2612567843 sampling steps, 497427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511138 loops (625/sec), 2628937938 sampling steps, 500556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514238 loops (620/sec), 2645281184 sampling steps, 503656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517290 loops (610/sec), 2661621439 sampling steps, 506708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520404 loops (622/sec), 2677969892 sampling steps, 509822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523576 loops (634/sec), 2694382799 sampling steps, 512994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526719 loops (628/sec), 2710776011 sampling steps, 516137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205712 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529904 loops (636/sec), 2727182775 sampling steps, 519322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
533014 loops (621/sec), 2743518117 sampling steps, 522432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205910 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536106 loops (618/sec), 2759788591 sampling steps, 525524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539212 loops (621/sec), 2776106770 sampling steps, 528630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
542282 loops (613/sec), 2792437730 sampling steps, 531700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
545449 loops (633/sec), 2808823634 sampling steps, 534867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206324 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548593 loops (628/sec), 2825221623 sampling steps, 538011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
551691 loops (619/sec), 2841573993 sampling steps, 541109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
554753 loops (612/sec), 2857936515 sampling steps, 544171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206640 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
557913 loops (632/sec), 2874331263 sampling steps, 547331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561114 loops (640/sec), 2890688514 sampling steps, 550532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564208 loops (618/sec), 2907044134 sampling steps, 553626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
567349 loops (628/sec), 2923411609 sampling steps, 556767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
570452 loops (620/sec), 2939770389 sampling steps, 559870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573607 loops (631/sec), 2956063515 sampling steps, 563025 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207284 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
576748 loops (628/sec), 2972381665 sampling steps, 566166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207390 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
579902 loops (630/sec), 2988748644 sampling steps, 569320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
583043 loops (628/sec), 3005113614 sampling steps, 572461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
586197 loops (630/sec), 3021496463 sampling steps, 575615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
589370 loops (634/sec), 3037857982 sampling steps, 578788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592511 loops (628/sec), 3054224058 sampling steps, 581929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
595657 loops (629/sec), 3070632407 sampling steps, 585075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
598801 loops (628/sec), 3087017017 sampling steps, 588219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601924 loops (624/sec), 3103362839 sampling steps, 591342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
605125 loops (640/sec), 3119776462 sampling steps, 594543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
608298 loops (634/sec), 3136162473 sampling steps, 597716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
611465 loops (633/sec), 3152524477 sampling steps, 600883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
614606 loops (628/sec), 3168892758 sampling steps, 604024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
617746 loops (627/sec), 3185319547 sampling steps, 607164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
620876 loops (625/sec), 3201716360 sampling steps, 610294 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208699 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624044 loops (633/sec), 3218145639 sampling steps, 613462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
627155 loops (622/sec), 3234533348 sampling steps, 616573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
630292 loops (627/sec), 3250908274 sampling steps, 619710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208988 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
633483 loops (638/sec), 3267345426 sampling steps, 622901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
636716 loops (646/sec), 3283786815 sampling steps, 626134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639881 loops (632/sec), 3300204271 sampling steps, 629299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
643028 loops (629/sec), 3316629500 sampling steps, 632446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646162 loops (626/sec), 3333012627 sampling steps, 635580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
649290 loops (625/sec), 3349351070 sampling steps, 638708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209523 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
652424 loops (626/sec), 3365731091 sampling steps, 641842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
655591 loops (633/sec), 3382164958 sampling steps, 645009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
658760 loops (633/sec), 3398593969 sampling steps, 648178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
661883 loops (624/sec), 3415002088 sampling steps, 651301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665035 loops (630/sec), 3431433608 sampling steps, 654453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209967 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
668189 loops (630/sec), 3447856008 sampling steps, 657607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671388 loops (639/sec), 3464296054 sampling steps, 660806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
674515 loops (625/sec), 3480714160 sampling steps, 663933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
677705 loops (637/sec), 3497162789 sampling steps, 667123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210318 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
680670 loops (592/sec), 3512618216 sampling steps, 670088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
683868 loops (639/sec), 3529008187 sampling steps, 673286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
687067 loops (639/sec), 3545347104 sampling steps, 676485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
690255 loops (637/sec), 3561734901 sampling steps, 679673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
693385 loops (626/sec), 3578076275 sampling steps, 682803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
696495 loops (622/sec), 3594439317 sampling steps, 685913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699631 loops (627/sec), 3610844075 sampling steps, 689049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
702799 loops (633/sec), 3627262551 sampling steps, 692217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
705958 loops (631/sec), 3643704147 sampling steps, 695376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211027 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
709098 loops (628/sec), 3660102878 sampling steps, 698516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
712230 loops (626/sec), 3676484719 sampling steps, 701648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
715426 loops (639/sec), 3692864573 sampling steps, 704844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
718484 loops (611/sec), 3709198642 sampling steps, 707902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211353 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
721611 loops (625/sec), 3725553081 sampling steps, 711029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
724705 loops (618/sec), 3741883651 sampling steps, 714123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
727840 loops (626/sec), 3758254010 sampling steps, 717258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
730992 loops (630/sec), 3774679797 sampling steps, 720410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211628 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
734123 loops (625/sec), 3791078067 sampling steps, 723541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
737283 loops (632/sec), 3807495209 sampling steps, 726701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740439 loops (631/sec), 3823875294 sampling steps, 729857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
743602 loops (632/sec), 3840286177 sampling steps, 733020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746767 loops (633/sec), 3856676175 sampling steps, 736185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
749938 loops (633/sec), 3873068977 sampling steps, 739356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212102 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
753073 loops (626/sec), 3889447195 sampling steps, 742491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
756177 loops (620/sec), 3905788790 sampling steps, 745595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212262 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
759283 loops (621/sec), 3922143310 sampling steps, 748701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762433 loops (630/sec), 3938405382 sampling steps, 751851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212409 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
765522 loops (617/sec), 3954702871 sampling steps, 754940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
768677 loops (631/sec), 3971074945 sampling steps, 758095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
771806 loops (625/sec), 3987433685 sampling steps, 761224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
774898 loops (618/sec), 4003787962 sampling steps, 764316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212705 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778049 loops (630/sec), 4020185836 sampling steps, 767467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
781143 loops (618/sec), 4036561870 sampling steps, 770561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
784246 loops (620/sec), 4052896125 sampling steps, 773664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
787326 loops (615/sec), 4069240515 sampling steps, 776744 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790371 loops (608/sec), 4085579903 sampling steps, 779789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
793529 loops (631/sec), 4101988406 sampling steps, 782947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
796629 loops (620/sec), 4118344710 sampling steps, 786047 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
799769 loops (628/sec), 4134657189 sampling steps, 789187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213294 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
802889 loops (624/sec), 4150989529 sampling steps, 792307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
806046 loops (631/sec), 4167383409 sampling steps, 795464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213438 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
809141 loops (618/sec), 4183775034 sampling steps, 798559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
812279 loops (627/sec), 4200155123 sampling steps, 801697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
815400 loops (624/sec), 4216512370 sampling steps, 804818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
818606 loops (641/sec), 4232905704 sampling steps, 808024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213716 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
821765 loops (631/sec), 4249293293 sampling steps, 811183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
824904 loops (627/sec), 4265702088 sampling steps, 814322 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213843 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
828053 loops (629/sec), 4282113123 sampling steps, 817471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
831251 loops (639/sec), 4298549788 sampling steps, 820669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
834339 loops (617/sec), 4314900577 sampling steps, 823757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214039 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
837467 loops (625/sec), 4331302980 sampling steps, 826885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
840595 loops (625/sec), 4347718685 sampling steps, 830013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214167 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
843715 loops (623/sec), 4364105314 sampling steps, 833133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
846834 loops (623/sec), 4380542095 sampling steps, 836252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
849952 loops (623/sec), 4396902996 sampling steps, 839370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853086 loops (626/sec), 4413304370 sampling steps, 842504 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
856249 loops (632/sec), 4429718566 sampling steps, 845667 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859333 loops (616/sec), 4446117360 sampling steps, 848751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
862490 loops (631/sec), 4462540902 sampling steps, 851908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865588 loops (619/sec), 4478920133 sampling steps, 855006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
868717 loops (625/sec), 4495341023 sampling steps, 858135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
871849 loops (626/sec), 4511741467 sampling steps, 861267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214803 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
874950 loops (620/sec), 4528046862 sampling steps, 864368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
878063 loops (622/sec), 4544384510 sampling steps, 867481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214941 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
881224 loops (632/sec), 4560771608 sampling steps, 870642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
884401 loops (635/sec), 4577168743 sampling steps, 873819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
887594 loops (638/sec), 4593564021 sampling steps, 877012 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215116 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
890614 loops (604/sec), 4608965580 sampling steps, 880032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
893752 loops (627/sec), 4625324332 sampling steps, 883170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
896853 loops (620/sec), 4641655811 sampling steps, 886271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215290 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
899971 loops (623/sec), 4657998037 sampling steps, 889389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
903120 loops (629/sec), 4674369770 sampling steps, 892538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215400 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
906269 loops (629/sec), 4690727911 sampling steps, 895687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
909380 loops (622/sec), 4707045553 sampling steps, 898798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215535 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912428 loops (609/sec), 4723311543 sampling steps, 901846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
915549 loops (624/sec), 4739632274 sampling steps, 904967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
918703 loops (630/sec), 4756000588 sampling steps, 908121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
921832 loops (625/sec), 4772394055 sampling steps, 911250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215782 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
924929 loops (619/sec), 4788785076 sampling steps, 914347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
928073 loops (628/sec), 4805169324 sampling steps, 917491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
931217 loops (628/sec), 4821574405 sampling steps, 920635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
934376 loops (631/sec), 4837950712 sampling steps, 923794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216015 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
937522 loops (629/sec), 4854331265 sampling steps, 926940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
940662 loops (628/sec), 4870707965 sampling steps, 930080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
943812 loops (630/sec), 4887102474 sampling steps, 933230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
946934 loops (624/sec), 4903477594 sampling steps, 936352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950124 loops (637/sec), 4919852258 sampling steps, 939542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216327 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
953241 loops (623/sec), 4936216961 sampling steps, 942659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956419 loops (635/sec), 4952614617 sampling steps, 945837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
959602 loops (636/sec), 4969028527 sampling steps, 949020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
962711 loops (621/sec), 4985432976 sampling steps, 952129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
965866 loops (630/sec), 5001867941 sampling steps, 955284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
969018 loops (630/sec), 5018302910 sampling steps, 958436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216680 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
972149 loops (626/sec), 5034714261 sampling steps, 961567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216745 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
975272 loops (624/sec), 5051148596 sampling steps, 964690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
978438 loops (633/sec), 5067587596 sampling steps, 967856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216848 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
981605 loops (633/sec), 5084034617 sampling steps, 971023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
984748 loops (628/sec), 5100422173 sampling steps, 974166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
987927 loops (635/sec), 5116774643 sampling steps, 977345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
991050 loops (624/sec), 5133138198 sampling steps, 980468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217067 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
994175 loops (625/sec), 5149542481 sampling steps, 983593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
997307 loops (626/sec), 5165936678 sampling steps, 986725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1000495 loops (637/sec), 5182351341 sampling steps, 989913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217206 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1003579 loops (616/sec), 5198728796 sampling steps, 992997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1006699 loops (624/sec), 5215077917 sampling steps, 996117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1009822 loops (624/sec), 5231441540 sampling steps, 999240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217380 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1012894 loops (614/sec), 5247807536 sampling steps, 1002312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217435 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1016003 loops (621/sec), 5264202857 sampling steps, 1005421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1019110 loops (621/sec), 5280579610 sampling steps, 1008528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1022208 loops (619/sec), 5296948102 sampling steps, 1011626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1025287 loops (615/sec), 5313245508 sampling steps, 1014705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217656 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1028511 loops (644/sec), 5329632992 sampling steps, 1017929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1031610 loops (619/sec), 5346041713 sampling steps, 1021028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217767 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1034791 loops (636/sec), 5362490225 sampling steps, 1024209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1037917 loops (625/sec), 5378874299 sampling steps, 1027335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1041053 loops (627/sec), 5395267765 sampling steps, 1030471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1044174 loops (623/sec), 5411657424 sampling steps, 1033592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1047316 loops (628/sec), 5428023004 sampling steps, 1036734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1050446 loops (626/sec), 5444400670 sampling steps, 1039864 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1053623 loops (635/sec), 5460811004 sampling steps, 1043041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218154 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1056759 loops (626/sec), 5477207562 sampling steps, 1046177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1059832 loops (614/sec), 5493545879 sampling steps, 1049250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1062978 loops (628/sec), 5509882589 sampling steps, 1052396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218304 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1066125 loops (629/sec), 5526249746 sampling steps, 1055543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218353 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1069265 loops (628/sec), 5542685752 sampling steps, 1058683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1072468 loops (640/sec), 5559118642 sampling steps, 1061886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1075633 loops (633/sec), 5575543167 sampling steps, 1065051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1078914 loops (656/sec), 5592683990 sampling steps, 1068332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1082226 loops (662/sec), 5610028607 sampling steps, 1071644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218623 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1085517 loops (658/sec), 5627326600 sampling steps, 1074935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1088805 loops (657/sec), 5644632237 sampling steps, 1078223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1092107 loops (660/sec), 5661926992 sampling steps, 1081525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1095487 loops (676/sec), 5679290087 sampling steps, 1084905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1098815 loops (665/sec), 5696602639 sampling steps, 1088233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1102117 loops (660/sec), 5713857192 sampling steps, 1091535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1105272 loops (616/sec), 5730543575 sampling steps, 1094690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218963 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1108561 loops (657/sec), 5747793900 sampling steps, 1097979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1111837 loops (655/sec), 5765079922 sampling steps, 1101255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1115205 loops (673/sec), 5782390532 sampling steps, 1104623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219095 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1118500 loops (658/sec), 5799676265 sampling steps, 1107918 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1121799 loops (659/sec), 5816948458 sampling steps, 1111217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219205 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1125098 loops (659/sec), 5834262652 sampling steps, 1114516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1128416 loops (663/sec), 5851581708 sampling steps, 1117834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1131723 loops (661/sec), 5868917161 sampling steps, 1121141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1135091 loops (673/sec), 5886287562 sampling steps, 1124509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0087609291077 seconds since the total time limit of 1800.0 seconds was exceeded.