Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:32 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/fms/fms.prism --const n=9 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32890 loops (6578/sec), 5978126 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328900 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53750 loops (4172/sec), 14956657 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
537490 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68126 loops (2875/sec), 24959210 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
681250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77765 loops (1924/sec), 33976495 sampling steps, 11 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
777598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88048 loops (2056/sec), 46280349 sampling steps, 14 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
880421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96649 loops (1720/sec), 59087346 sampling steps, 25 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
966410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103948 loops (1459/sec), 71997892 sampling steps, 43 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1039313 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110440 loops (1298/sec), 85332696 sampling steps, 61 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1104172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116205 loops (1153/sec), 98705922 sampling steps, 85 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1161691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121457 loops (1050/sec), 112178769 sampling steps, 103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1214141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126277 loops (964/sec), 125878222 sampling steps, 130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1262234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130625 loops (869/sec), 139475266 sampling steps, 166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1305578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134687 loops (812/sec), 153139144 sampling steps, 204 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1346032 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138539 loops (770/sec), 166835714 sampling steps, 254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1384405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142139 loops (720/sec), 180703708 sampling steps, 320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1420188 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145474 loops (667/sec), 194402747 sampling steps, 384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1453355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148663 loops (637/sec), 208172249 sampling steps, 443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1485057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151663 loops (600/sec), 221932864 sampling steps, 519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1514709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154517 loops (570/sec), 235663779 sampling steps, 601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1542951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156981 loops (492/sec), 248174630 sampling steps, 690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1567299 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159611 loops (526/sec), 261885611 sampling steps, 784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1593254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162171 loops (512/sec), 275631000 sampling steps, 905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1618412 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164547 loops (475/sec), 289009214 sampling steps, 1042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1641585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166903 loops (471/sec), 302771958 sampling steps, 1174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1664620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169257 loops (470/sec), 316893280 sampling steps, 1336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1687540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171525 loops (453/sec), 330875619 sampling steps, 1490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1709688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173691 loops (433/sec), 344835069 sampling steps, 1647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1730775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175813 loops (424/sec), 358895241 sampling steps, 1835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1751270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177881 loops (413/sec), 372827772 sampling steps, 2018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1771239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179872 loops (398/sec), 386693837 sampling steps, 2207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1790408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181821 loops (389/sec), 400663310 sampling steps, 2435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1809029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183697 loops (375/sec), 414445170 sampling steps, 2663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1826887 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185527 loops (366/sec), 428295337 sampling steps, 2903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1844244 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187348 loops (364/sec), 442263291 sampling steps, 3144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1861606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189090 loops (348/sec), 456019645 sampling steps, 3408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1878009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190808 loops (343/sec), 469859193 sampling steps, 3657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1894164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192481 loops (334/sec), 483635148 sampling steps, 3944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1909768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194160 loops (335/sec), 497625434 sampling steps, 4249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1925275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195814 loops (330/sec), 511431943 sampling steps, 4590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1940472 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197415 loops (320/sec), 525208104 sampling steps, 4897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1955189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198964 loops (309/sec), 538964503 sampling steps, 5215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1969387 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200542 loops (315/sec), 552786268 sampling steps, 5566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1983606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201993 loops (290/sec), 566245582 sampling steps, 5906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1996747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203460 loops (293/sec), 579749126 sampling steps, 6272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2009920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204982 loops (304/sec), 593759252 sampling steps, 6679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2023374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206455 loops (294/sec), 607724598 sampling steps, 7068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2036454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207925 loops (293/sec), 621686497 sampling steps, 7459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2049587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209351 loops (285/sec), 635480833 sampling steps, 7855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2062117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210667 loops (263/sec), 648637038 sampling steps, 8263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2073506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212033 loops (272/sec), 662288573 sampling steps, 8672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2085312 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213336 loops (260/sec), 675545872 sampling steps, 9076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2096569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214660 loops (264/sec), 688920809 sampling steps, 9533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2107761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215994 loops (266/sec), 702570846 sampling steps, 9986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2119113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217294 loops (260/sec), 715992127 sampling steps, 10438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2130052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218605 loops (262/sec), 729569107 sampling steps, 10927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2140903 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219891 loops (257/sec), 743132894 sampling steps, 11372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2151681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221153 loops (252/sec), 756633245 sampling steps, 11876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2162042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222420 loops (253/sec), 770231389 sampling steps, 12352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2172494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223674 loops (250/sec), 783814002 sampling steps, 12806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2182982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224921 loops (249/sec), 797300552 sampling steps, 13298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2193163 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226145 loops (244/sec), 810837413 sampling steps, 13806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2203002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227322 loops (235/sec), 823788923 sampling steps, 14286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2212478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228535 loops (242/sec), 837254775 sampling steps, 14842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2221910 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229732 loops (239/sec), 850815054 sampling steps, 15381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2231378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230933 loops (240/sec), 864352389 sampling steps, 15929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2240825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232116 loops (236/sec), 877754178 sampling steps, 16457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2250148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233291 loops (234/sec), 891328683 sampling steps, 16988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2259454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234431 loops (228/sec), 904779862 sampling steps, 17510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2268281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235622 loops (238/sec), 918458909 sampling steps, 18071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2277429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236771 loops (229/sec), 932023925 sampling steps, 18652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2285932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237902 loops (226/sec), 945400288 sampling steps, 19200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2294658 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239042 loops (227/sec), 959012822 sampling steps, 19772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2303121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240185 loops (228/sec), 972528073 sampling steps, 20347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2311729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241342 loops (231/sec), 986162947 sampling steps, 20942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2320200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242478 loops (227/sec), 999790663 sampling steps, 21546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2328442 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243593 loops (222/sec), 1013242748 sampling steps, 22161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2336634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244722 loops (225/sec), 1026834572 sampling steps, 22749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2344965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245786 loops (211/sec), 1039817042 sampling steps, 23345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2352530 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246888 loops (220/sec), 1053411635 sampling steps, 23952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2360509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247990 loops (220/sec), 1066983486 sampling steps, 24584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2368255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249076 loops (217/sec), 1080538134 sampling steps, 25198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2376022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250188 loops (222/sec), 1094141426 sampling steps, 25852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2383806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251283 loops (219/sec), 1107772370 sampling steps, 26492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2391361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252349 loops (213/sec), 1121407883 sampling steps, 27095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2398918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253437 loops (217/sec), 1135001796 sampling steps, 27762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2406299 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254516 loops (215/sec), 1148521045 sampling steps, 28392 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2413677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255606 loops (217/sec), 1162138123 sampling steps, 29036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2421173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256679 loops (214/sec), 1175507673 sampling steps, 29673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2428463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257742 loops (212/sec), 1189123570 sampling steps, 30346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435365 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258818 loops (215/sec), 1202734738 sampling steps, 31014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259885 loops (213/sec), 1216337115 sampling steps, 31710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2449358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260932 loops (209/sec), 1229881296 sampling steps, 32390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2456141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261978 loops (209/sec), 1243461601 sampling steps, 33082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2462802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263048 loops (214/sec), 1257021484 sampling steps, 33766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2469542 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264066 loops (203/sec), 1270406840 sampling steps, 34460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2475771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265123 loops (211/sec), 1283991785 sampling steps, 35152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2482429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266162 loops (207/sec), 1297547589 sampling steps, 35850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2489014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267181 loops (203/sec), 1311265750 sampling steps, 36563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2495324 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268221 loops (208/sec), 1324854795 sampling steps, 37281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2501730 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269287 loops (213/sec), 1338565246 sampling steps, 38023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2508051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270293 loops (201/sec), 1351951938 sampling steps, 38697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2514267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271347 loops (210/sec), 1365678708 sampling steps, 39416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2520681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272374 loops (205/sec), 1379325055 sampling steps, 40107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2527102 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273413 loops (207/sec), 1392960712 sampling steps, 40830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2533222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274463 loops (209/sec), 1406753653 sampling steps, 41577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2539320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275509 loops (209/sec), 1420522256 sampling steps, 42331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2545604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276542 loops (206/sec), 1434101869 sampling steps, 43026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2551956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277562 loops (204/sec), 1447849997 sampling steps, 43772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2557786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278580 loops (203/sec), 1461568919 sampling steps, 44504 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2563710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279589 loops (201/sec), 1475267233 sampling steps, 45234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2569578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280619 loops (206/sec), 1489016019 sampling steps, 45982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2575579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281648 loops (205/sec), 1502568779 sampling steps, 46712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2581618 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282658 loops (201/sec), 1516290373 sampling steps, 47455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2587239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283665 loops (201/sec), 1529990979 sampling steps, 48202 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2592987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284669 loops (200/sec), 1543693057 sampling steps, 48955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2598682 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285674 loops (200/sec), 1557379356 sampling steps, 49729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2604213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
286688 loops (202/sec), 1571017884 sampling steps, 50485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2609813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287686 loops (199/sec), 1584668494 sampling steps, 51242 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2615265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288683 loops (199/sec), 1598345396 sampling steps, 52002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2620812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289684 loops (200/sec), 1612098007 sampling steps, 52763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2626186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290701 loops (203/sec), 1625761583 sampling steps, 53537 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2631655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291693 loops (198/sec), 1639429361 sampling steps, 54291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2637022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292716 loops (204/sec), 1653185638 sampling steps, 55069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2642319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293733 loops (203/sec), 1666954760 sampling steps, 55848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2647764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294757 loops (204/sec), 1680692431 sampling steps, 56641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2653157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295747 loops (197/sec), 1694251439 sampling steps, 57406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2658232 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296714 loops (193/sec), 1707923451 sampling steps, 58156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2663314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297697 loops (196/sec), 1721607450 sampling steps, 58941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2668277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298690 loops (198/sec), 1735409057 sampling steps, 59720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2673352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299685 loops (198/sec), 1749070782 sampling steps, 60510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2678333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300675 loops (198/sec), 1762794784 sampling steps, 61285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2683571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301663 loops (197/sec), 1776493532 sampling steps, 62064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2688570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
302643 loops (195/sec), 1790199349 sampling steps, 62861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2693422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303629 loops (197/sec), 1803870907 sampling steps, 63655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2698192 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304640 loops (202/sec), 1817606124 sampling steps, 64477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2703044 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305621 loops (196/sec), 1831284011 sampling steps, 65266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2707891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306607 loops (197/sec), 1845066817 sampling steps, 66056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2712723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307576 loops (193/sec), 1858634730 sampling steps, 66855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2717353 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308564 loops (197/sec), 1872286313 sampling steps, 67661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2722032 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309555 loops (198/sec), 1886020262 sampling steps, 68464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2726704 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310521 loops (192/sec), 1899733252 sampling steps, 69263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2731209 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311487 loops (193/sec), 1913366184 sampling steps, 70046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2735880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312435 loops (189/sec), 1927074013 sampling steps, 70833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2740335 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313402 loops (193/sec), 1940808018 sampling steps, 71630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2744893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314392 loops (198/sec), 1954550131 sampling steps, 72448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2749510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315362 loops (193/sec), 1968227450 sampling steps, 73266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2753872 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316335 loops (194/sec), 1982023822 sampling steps, 74084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2758171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317292 loops (191/sec), 1995737775 sampling steps, 74868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2762722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318257 loops (193/sec), 2009493152 sampling steps, 75681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2767006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319226 loops (193/sec), 2023118599 sampling steps, 76483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2771554 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320193 loops (192/sec), 2036787191 sampling steps, 77281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2776156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321146 loops (190/sec), 2050459297 sampling steps, 78101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2780386 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322125 loops (195/sec), 2064171887 sampling steps, 78922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2784750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323077 loops (190/sec), 2077962639 sampling steps, 79729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2788980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324049 loops (194/sec), 2091749320 sampling steps, 80542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2793337 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325008 loops (191/sec), 2105515978 sampling steps, 81353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2797678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325968 loops (191/sec), 2119200454 sampling steps, 82169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2801845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326931 loops (192/sec), 2133023711 sampling steps, 82992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2806031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327890 loops (191/sec), 2146824227 sampling steps, 83814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2810185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328860 loops (193/sec), 2160516718 sampling steps, 84655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2814187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329826 loops (193/sec), 2174295936 sampling steps, 85483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2818242 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330781 loops (190/sec), 2188061194 sampling steps, 86305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2822184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331717 loops (187/sec), 2201691031 sampling steps, 87111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2826214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332665 loops (189/sec), 2215405884 sampling steps, 87946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2830141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333594 loops (185/sec), 2229156703 sampling steps, 88756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2834023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334560 loops (192/sec), 2242955072 sampling steps, 89584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2837916 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335527 loops (193/sec), 2256698157 sampling steps, 90419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2841913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336486 loops (191/sec), 2270466132 sampling steps, 91249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2845834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337446 loops (191/sec), 2284285569 sampling steps, 92096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2849375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338403 loops (191/sec), 2297907833 sampling steps, 92934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2853234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
339343 loops (188/sec), 2311670951 sampling steps, 93758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2856971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340287 loops (188/sec), 2325472210 sampling steps, 94600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2860655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341250 loops (192/sec), 2339190595 sampling steps, 95441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2864445 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342201 loops (190/sec), 2352924564 sampling steps, 96272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2868359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343177 loops (195/sec), 2366663227 sampling steps, 97134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2872107 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344134 loops (191/sec), 2380316927 sampling steps, 97970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2875962 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345074 loops (187/sec), 2393987135 sampling steps, 98800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2879598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346021 loops (189/sec), 2407698006 sampling steps, 99643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2883212 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346974 loops (190/sec), 2421402638 sampling steps, 100474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2886904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347925 loops (190/sec), 2435193426 sampling steps, 101316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2890598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348880 loops (190/sec), 2448989265 sampling steps, 102164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2894176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349852 loops (194/sec), 2462696724 sampling steps, 103039 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2897748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350805 loops (190/sec), 2476423823 sampling steps, 103882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2901277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351760 loops (190/sec), 2490178710 sampling steps, 104713 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2904959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
352709 loops (189/sec), 2503899520 sampling steps, 105562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2908515 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353656 loops (189/sec), 2517636414 sampling steps, 106397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2912168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354590 loops (186/sec), 2531377015 sampling steps, 107235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2915744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355553 loops (192/sec), 2545102473 sampling steps, 108089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2919292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356521 loops (193/sec), 2558930141 sampling steps, 108984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2922491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357445 loops (184/sec), 2572683157 sampling steps, 109815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2925952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358389 loops (188/sec), 2586407604 sampling steps, 110673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2929428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359347 loops (191/sec), 2600173859 sampling steps, 111520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2933096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360277 loops (185/sec), 2613976297 sampling steps, 112355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2936436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361213 loops (187/sec), 2627685930 sampling steps, 113200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2939818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362160 loops (189/sec), 2641459462 sampling steps, 114037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2943392 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363084 loops (184/sec), 2655198471 sampling steps, 114875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2946722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364009 loops (184/sec), 2669001580 sampling steps, 115708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2950086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364964 loops (190/sec), 2682737292 sampling steps, 116572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2953489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365904 loops (187/sec), 2696419865 sampling steps, 117424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2956845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366840 loops (187/sec), 2710221493 sampling steps, 118258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2960334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367774 loops (186/sec), 2723940788 sampling steps, 119107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2963626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368726 loops (190/sec), 2737696126 sampling steps, 119964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2967062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369667 loops (188/sec), 2751498029 sampling steps, 120822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2970288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370600 loops (186/sec), 2765252256 sampling steps, 121683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2973436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371557 loops (191/sec), 2779064273 sampling steps, 122567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2976478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372503 loops (189/sec), 2792854605 sampling steps, 123436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2979654 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373429 loops (184/sec), 2806535260 sampling steps, 124276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2982819 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374385 loops (191/sec), 2820372475 sampling steps, 125147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2986015 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375325 loops (187/sec), 2834188545 sampling steps, 126011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2989270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376260 loops (187/sec), 2847861745 sampling steps, 126865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2992486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377183 loops (184/sec), 2861619267 sampling steps, 127723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2995502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378119 loops (187/sec), 2875299851 sampling steps, 128581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2998630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379071 loops (190/sec), 2889080681 sampling steps, 129447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3001630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379984 loops (182/sec), 2902842893 sampling steps, 130275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3004763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380928 loops (188/sec), 2916587819 sampling steps, 131140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3007800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381868 loops (188/sec), 2930397029 sampling steps, 132022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3010672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382821 loops (190/sec), 2944149901 sampling steps, 132917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3013567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383757 loops (187/sec), 2957947103 sampling steps, 133766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3016629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
384713 loops (191/sec), 2971702915 sampling steps, 134650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3019690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385661 loops (189/sec), 2985435720 sampling steps, 135510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3022752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386609 loops (189/sec), 2999221139 sampling steps, 136392 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3025755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387540 loops (186/sec), 3012856399 sampling steps, 137265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3028668 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388465 loops (184/sec), 3026563710 sampling steps, 138130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3031503 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389391 loops (185/sec), 3040243242 sampling steps, 138992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3034284 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390320 loops (185/sec), 3053907919 sampling steps, 139846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3037217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391260 loops (187/sec), 3067663203 sampling steps, 140723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3040246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392194 loops (186/sec), 3081333500 sampling steps, 141595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3043063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393140 loops (189/sec), 3095059663 sampling steps, 142475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3045986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394098 loops (191/sec), 3108838261 sampling steps, 143371 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3048821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395016 loops (183/sec), 3122602436 sampling steps, 144228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3051568 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395977 loops (192/sec), 3136389466 sampling steps, 145129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3054228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396900 loops (184/sec), 3150047562 sampling steps, 145981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3057109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397854 loops (190/sec), 3163798036 sampling steps, 146868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3059922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398789 loops (187/sec), 3177414991 sampling steps, 147720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3062730 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399743 loops (190/sec), 3191152569 sampling steps, 148591 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3065714 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400670 loops (185/sec), 3204842703 sampling steps, 149472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3068357 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401593 loops (184/sec), 3218482272 sampling steps, 150342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3071047 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402532 loops (187/sec), 3232205457 sampling steps, 151218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3073807 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403457 loops (184/sec), 3245862997 sampling steps, 152091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3076414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404380 loops (184/sec), 3259601187 sampling steps, 152947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3079189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405328 loops (189/sec), 3273368607 sampling steps, 153837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3081829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406260 loops (186/sec), 3287116115 sampling steps, 154702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3084706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407209 loops (189/sec), 3300843615 sampling steps, 155596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3087373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
408143 loops (186/sec), 3314671521 sampling steps, 156473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3090084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409076 loops (186/sec), 3328465632 sampling steps, 157350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3092771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410019 loops (188/sec), 3342169397 sampling steps, 158240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3095465 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410963 loops (188/sec), 3355875819 sampling steps, 159128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3098050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411886 loops (184/sec), 3369554628 sampling steps, 160000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3100681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412806 loops (184/sec), 3383286252 sampling steps, 160853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3103484 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413729 loops (184/sec), 3397048429 sampling steps, 161723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3106152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414662 loops (186/sec), 3410797051 sampling steps, 162616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3108648 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415613 loops (190/sec), 3424503470 sampling steps, 163510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3111245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416552 loops (187/sec), 3438251800 sampling steps, 164390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3113837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417465 loops (182/sec), 3451998215 sampling steps, 165250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3116403 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418410 loops (188/sec), 3465760707 sampling steps, 166134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3119011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419331 loops (184/sec), 3479508053 sampling steps, 166999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3121448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420254 loops (184/sec), 3493246401 sampling steps, 167865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3123987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
421200 loops (189/sec), 3507059127 sampling steps, 168753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3126618 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422134 loops (186/sec), 3520736073 sampling steps, 169633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3129103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423058 loops (184/sec), 3534478986 sampling steps, 170501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3131675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423971 loops (182/sec), 3548226247 sampling steps, 171372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3134064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424896 loops (184/sec), 3562028701 sampling steps, 172236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3136649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425824 loops (185/sec), 3575744150 sampling steps, 173110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3139301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
426757 loops (186/sec), 3589523732 sampling steps, 173998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3141620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427670 loops (182/sec), 3603221771 sampling steps, 174860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3144046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428625 loops (190/sec), 3616995216 sampling steps, 175764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3146585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429563 loops (187/sec), 3630774141 sampling steps, 176659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3148996 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430485 loops (184/sec), 3644550011 sampling steps, 177532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3151446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431413 loops (185/sec), 3658278977 sampling steps, 178413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3153798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432353 loops (188/sec), 3672143331 sampling steps, 179301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3156283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
433284 loops (186/sec), 3685876399 sampling steps, 180179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3158677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434208 loops (184/sec), 3699605135 sampling steps, 181064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3160999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
435118 loops (181/sec), 3713320401 sampling steps, 181940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3163330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436048 loops (185/sec), 3727185814 sampling steps, 182811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3165881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436985 loops (187/sec), 3740975282 sampling steps, 183708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3168140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437934 loops (189/sec), 3754808898 sampling steps, 184610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3170574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
438868 loops (186/sec), 3768606536 sampling steps, 185496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3172923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439809 loops (188/sec), 3782452164 sampling steps, 186396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3175352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
440726 loops (183/sec), 3796239348 sampling steps, 187271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3177805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441652 loops (185/sec), 3810062263 sampling steps, 188150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3180127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442596 loops (188/sec), 3823871047 sampling steps, 189058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3182348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443535 loops (187/sec), 3837677345 sampling steps, 189939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3184774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444452 loops (183/sec), 3851355909 sampling steps, 190798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3187110 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445390 loops (187/sec), 3865099729 sampling steps, 191670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3189706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
446314 loops (184/sec), 3878870663 sampling steps, 192547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3192009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447252 loops (187/sec), 3892708794 sampling steps, 193433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3194407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448178 loops (184/sec), 3906522041 sampling steps, 194312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3196710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
449100 loops (184/sec), 3920372186 sampling steps, 195178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3199109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450021 loops (184/sec), 3934160400 sampling steps, 196053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3201422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450959 loops (187/sec), 3947963722 sampling steps, 196951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3203691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451893 loops (186/sec), 3961834194 sampling steps, 197834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3205985 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452830 loops (187/sec), 3975616507 sampling steps, 198731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3208202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
453761 loops (186/sec), 3989412244 sampling steps, 199617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3210528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454680 loops (183/sec), 4003095992 sampling steps, 200499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3212765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
455619 loops (187/sec), 4016845463 sampling steps, 201393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3214868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456539 loops (183/sec), 4030562520 sampling steps, 202273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3216959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457462 loops (184/sec), 4044304191 sampling steps, 203153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3219272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458398 loops (187/sec), 4058022551 sampling steps, 204032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3221719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459322 loops (184/sec), 4071792159 sampling steps, 204928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3223880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460246 loops (184/sec), 4085490549 sampling steps, 205809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3226090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461175 loops (185/sec), 4099253446 sampling steps, 206687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3228449 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462100 loops (184/sec), 4113030519 sampling steps, 207572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3230682 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
463025 loops (184/sec), 4126786753 sampling steps, 208449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3233043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
463950 loops (184/sec), 4140583734 sampling steps, 209332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3235373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464856 loops (181/sec), 4154312359 sampling steps, 210204 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3237380 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465778 loops (184/sec), 4168092258 sampling steps, 211090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3239684 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466688 loops (182/sec), 4181755156 sampling steps, 211966 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3241803 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467623 loops (186/sec), 4195532193 sampling steps, 212860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3244091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468557 loops (186/sec), 4209280377 sampling steps, 213758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3246132 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
469495 loops (187/sec), 4223084337 sampling steps, 214658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3248290 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470428 loops (186/sec), 4236852156 sampling steps, 215549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3250402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471353 loops (184/sec), 4250596530 sampling steps, 216436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3252536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
472284 loops (186/sec), 4264392238 sampling steps, 217328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3254591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473196 loops (182/sec), 4278135067 sampling steps, 218212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3256660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
474091 loops (178/sec), 4291705035 sampling steps, 219071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3258717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475000 loops (181/sec), 4305350689 sampling steps, 219948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3260735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475935 loops (186/sec), 4319149537 sampling steps, 220830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3262848 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
476857 loops (184/sec), 4332894403 sampling steps, 221710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3265078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477779 loops (184/sec), 4346570507 sampling steps, 222600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3266944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478717 loops (187/sec), 4360365186 sampling steps, 223493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3269121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
479633 loops (183/sec), 4374161233 sampling steps, 224378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3271148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480572 loops (187/sec), 4388037315 sampling steps, 225272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3273201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481484 loops (182/sec), 4401826537 sampling steps, 226152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3275334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
482409 loops (184/sec), 4415591470 sampling steps, 227046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3277408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483332 loops (184/sec), 4429420989 sampling steps, 227945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3279313 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
484250 loops (183/sec), 4443167558 sampling steps, 228831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3281324 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
485178 loops (185/sec), 4456981669 sampling steps, 229727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3283219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486081 loops (180/sec), 4470701276 sampling steps, 230595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3285317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487012 loops (186/sec), 4484429308 sampling steps, 231486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3287399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
487950 loops (187/sec), 4498180729 sampling steps, 232389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3289358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488864 loops (182/sec), 4511902877 sampling steps, 233270 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3291338 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:
489826 loops (192/sec), 4525754299 sampling steps, 234203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3293321 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:
490749 loops (184/sec), 4539557196 sampling steps, 235094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3295340 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:
491687 loops (187/sec), 4553377105 sampling steps, 236004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3297297 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:
492600 loops (182/sec), 4567117956 sampling steps, 236888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3299288 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:
493540 loops (187/sec), 4580823085 sampling steps, 237793 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3301221 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:
494481 loops (187/sec), 4594579963 sampling steps, 238700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3303146 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:
495397 loops (183/sec), 4608290789 sampling steps, 239593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3304990 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:
496322 loops (184/sec), 4622048164 sampling steps, 240484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3307017 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:
497256 loops (186/sec), 4635804325 sampling steps, 241387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3309027 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:
498176 loops (183/sec), 4649556755 sampling steps, 242272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3310945 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:
499101 loops (184/sec), 4663306675 sampling steps, 243160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3312884 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:
500005 loops (180/sec), 4676976228 sampling steps, 244024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3314885 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:
500947 loops (188/sec), 4690715983 sampling steps, 244931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3316736 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:
501869 loops (184/sec), 4704491093 sampling steps, 245822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3318675 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:
502807 loops (187/sec), 4718270755 sampling steps, 246721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3320633 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:
503734 loops (185/sec), 4732091320 sampling steps, 247613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3322596 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:
504643 loops (181/sec), 4745882321 sampling steps, 248491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3324421 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:
505567 loops (184/sec), 4759724534 sampling steps, 249394 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3326256 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:
506478 loops (182/sec), 4773508845 sampling steps, 250280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3328076 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:
507402 loops (184/sec), 4787299574 sampling steps, 251175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3329985 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:
508341 loops (187/sec), 4801093832 sampling steps, 252083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3331895 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:
509281 loops (187/sec), 4814944057 sampling steps, 252993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3333808 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:
510180 loops (179/sec), 4828649394 sampling steps, 253863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3335709 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:
511098 loops (182/sec), 4842446558 sampling steps, 254752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3337731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512037 loops (187/sec), 4856248863 sampling steps, 255657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3339612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512975 loops (187/sec), 4870050448 sampling steps, 256565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3341411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
513893 loops (183/sec), 4883885261 sampling steps, 257456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3343286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514806 loops (182/sec), 4897698071 sampling steps, 258341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3345128 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0183627605438 seconds since the total time limit of 1800.0 seconds was exceeded.