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/kanban/kanban.prism --const t=5 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32193 loops (6438/sec), 4121615 sampling steps, 461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55291 loops (4619/sec), 10104099 sampling steps, 1178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
543747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74924 loops (3926/sec), 17490889 sampling steps, 2152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
733217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90584 loops (3132/sec), 25202454 sampling steps, 3293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
881948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103876 loops (2658/sec), 33361672 sampling steps, 4586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1006202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116223 loops (2469/sec), 42603553 sampling steps, 6175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1119458 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126827 loops (2120/sec), 52077443 sampling steps, 7952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1214243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136419 loops (1918/sec), 61948079 sampling steps, 9925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1298177 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144897 loops (1695/sec), 71935325 sampling steps, 12114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1369387 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152715 loops (1563/sec), 82229975 sampling steps, 14528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1432819 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159807 loops (1418/sec), 92497814 sampling steps, 17019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1488214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166482 loops (1335/sec), 103004930 sampling steps, 19790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1537612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171808 loops (660/sec), 112016652 sampling steps, 22217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1575800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177615 loops (1161/sec), 122503525 sampling steps, 25095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1615710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183003 loops (1077/sec), 132962664 sampling steps, 28021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1651284 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188383 loops (1076/sec), 143521833 sampling steps, 31162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1684697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193680 loops (1059/sec), 154473039 sampling steps, 34500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1716104 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198876 loops (1039/sec), 165546269 sampling steps, 37864 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1745862 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203920 loops (1008/sec), 176550334 sampling steps, 41338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1772832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208793 loops (974/sec), 187647406 sampling steps, 44904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1797581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213539 loops (949/sec), 198721710 sampling steps, 48441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1820636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218324 loops (957/sec), 210023190 sampling steps, 52148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1842611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222833 loops (901/sec), 220928886 sampling steps, 55700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1862532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227453 loops (924/sec), 232120820 sampling steps, 59468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1881462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231979 loops (905/sec), 243312514 sampling steps, 63259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1898956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236573 loops (918/sec), 254677129 sampling steps, 67163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1916134 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240991 loops (883/sec), 265929042 sampling steps, 71002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1931871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245405 loops (882/sec), 277155801 sampling steps, 74853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1947196 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249888 loops (885/sec), 288554829 sampling steps, 78820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1961752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254356 loops (893/sec), 299959911 sampling steps, 82820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1975332 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258607 loops (850/sec), 311087371 sampling steps, 86679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1987581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262901 loops (858/sec), 322183662 sampling steps, 90602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1999385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267224 loops (864/sec), 333653286 sampling steps, 94617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2010865 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271460 loops (847/sec), 344897305 sampling steps, 98594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2021269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275720 loops (852/sec), 356135578 sampling steps, 102560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2031719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279916 loops (838/sec), 367515709 sampling steps, 106520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2041487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284313 loops (879/sec), 379091664 sampling steps, 110688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2051139 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288550 loops (847/sec), 390475617 sampling steps, 114715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2060208 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292757 loops (841/sec), 401896442 sampling steps, 118724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2069046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297022 loops (853/sec), 413295241 sampling steps, 122788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2077578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301319 loops (859/sec), 424826762 sampling steps, 126897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2085789 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305580 loops (851/sec), 436273133 sampling steps, 131005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2093586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309859 loops (855/sec), 447695850 sampling steps, 135136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2100817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314007 loops (829/sec), 459154685 sampling steps, 139142 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2108287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318325 loops (863/sec), 470758808 sampling steps, 143330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2115315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322541 loops (843/sec), 482279365 sampling steps, 147458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2121733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326776 loops (847/sec), 493763939 sampling steps, 151602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2127873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330975 loops (839/sec), 505261283 sampling steps, 155699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2134012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335238 loops (852/sec), 516860430 sampling steps, 159862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2140121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
339487 loops (849/sec), 528276592 sampling steps, 164026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2145703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343651 loops (832/sec), 539572299 sampling steps, 168104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2151291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347878 loops (845/sec), 551127993 sampling steps, 172259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2156731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
352131 loops (850/sec), 562935589 sampling steps, 176440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2162046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356302 loops (833/sec), 574336682 sampling steps, 180540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2166999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360302 loops (800/sec), 585287512 sampling steps, 184484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2171738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364156 loops (770/sec), 595891699 sampling steps, 188295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2176060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368200 loops (808/sec), 606922543 sampling steps, 192289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2180323 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372354 loops (830/sec), 618480811 sampling steps, 196400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2184813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376644 loops (858/sec), 630047979 sampling steps, 200640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2189087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380897 loops (850/sec), 641724349 sampling steps, 204835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2193416 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385101 loops (840/sec), 653361693 sampling steps, 209005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2197478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389352 loops (850/sec), 664999832 sampling steps, 213220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2201293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393579 loops (845/sec), 676606941 sampling steps, 217419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2205254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397757 loops (835/sec), 688271162 sampling steps, 221549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2209304 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402052 loops (859/sec), 699852567 sampling steps, 225802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2213042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406297 loops (849/sec), 711389806 sampling steps, 230014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2216630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410569 loops (853/sec), 722906986 sampling steps, 234260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2219987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414827 loops (851/sec), 734600037 sampling steps, 238481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2223487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418938 loops (822/sec), 745969793 sampling steps, 242556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2226860 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423080 loops (828/sec), 757360662 sampling steps, 246668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2230167 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427312 loops (846/sec), 768863918 sampling steps, 250873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2233438 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431574 loops (852/sec), 780570669 sampling steps, 255102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2236618 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
435768 loops (838/sec), 792114043 sampling steps, 259267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2239466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439963 loops (839/sec), 803614819 sampling steps, 263426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2242603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
444184 loops (844/sec), 815285577 sampling steps, 267632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2245470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448331 loops (829/sec), 826684940 sampling steps, 271766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2248104 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452559 loops (845/sec), 838230763 sampling steps, 275976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2250788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456770 loops (842/sec), 849714175 sampling steps, 280159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2253571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461004 loops (846/sec), 861111344 sampling steps, 284366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2256217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465103 loops (819/sec), 872441826 sampling steps, 288444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2258740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
469407 loops (860/sec), 883910349 sampling steps, 292732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2261230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473371 loops (792/sec), 895002440 sampling steps, 296679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2263571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477610 loops (847/sec), 906478873 sampling steps, 300899 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2265873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481764 loops (830/sec), 917744914 sampling steps, 305036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2268144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
485859 loops (819/sec), 929182903 sampling steps, 309114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2270545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
490025 loops (830/sec), 940694973 sampling steps, 313268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2272812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494126 loops (820/sec), 952205218 sampling steps, 317351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2275066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498275 loops (829/sec), 963670312 sampling steps, 321483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2277281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
502437 loops (832/sec), 975089793 sampling steps, 325634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2279355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506605 loops (833/sec), 986459962 sampling steps, 329788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2281549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
510728 loops (824/sec), 997721859 sampling steps, 333902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2283511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514893 loops (833/sec), 1009110893 sampling steps, 338051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2285601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
519091 loops (839/sec), 1020524114 sampling steps, 342236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2287611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523335 loops (848/sec), 1032003672 sampling steps, 346470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2289474 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
527575 loops (847/sec), 1043473712 sampling steps, 350700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2291447 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531705 loops (825/sec), 1054824663 sampling steps, 354822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2293379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
535833 loops (825/sec), 1066171672 sampling steps, 358938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2295214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539902 loops (813/sec), 1077504856 sampling steps, 362997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2296995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
543986 loops (816/sec), 1088915407 sampling steps, 367072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2298711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548007 loops (804/sec), 1100115944 sampling steps, 371087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2300483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552121 loops (822/sec), 1111367309 sampling steps, 375189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2302224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
556225 loops (820/sec), 1122724094 sampling steps, 379289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2303809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
560421 loops (839/sec), 1134018020 sampling steps, 383477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2305401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564597 loops (835/sec), 1145376397 sampling steps, 387643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2306980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
568605 loops (801/sec), 1156573957 sampling steps, 391638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2308561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
572645 loops (808/sec), 1167692819 sampling steps, 395667 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2309984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
576602 loops (791/sec), 1178660312 sampling steps, 399618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2311472 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
580622 loops (804/sec), 1189703761 sampling steps, 403632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2312954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
584725 loops (820/sec), 1200815703 sampling steps, 407729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2314434 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
588665 loops (788/sec), 1211758426 sampling steps, 411663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2315882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592682 loops (803/sec), 1222853148 sampling steps, 415674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2317400 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
596696 loops (802/sec), 1233915594 sampling steps, 419682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2318790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
600736 loops (808/sec), 1244999939 sampling steps, 423719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2320218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
604821 loops (817/sec), 1256082327 sampling steps, 427796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2321725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
608922 loops (820/sec), 1267201788 sampling steps, 431893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2323029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
612928 loops (801/sec), 1278144642 sampling steps, 435891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2324396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
616916 loops (797/sec), 1289107682 sampling steps, 439877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2325664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
620853 loops (787/sec), 1300045909 sampling steps, 443806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2327027 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624859 loops (801/sec), 1310960510 sampling steps, 447808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2328357 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
628799 loops (788/sec), 1321835653 sampling steps, 451740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2329754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
632704 loops (781/sec), 1332706602 sampling steps, 455644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2330933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
636678 loops (794/sec), 1343628614 sampling steps, 459617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2332156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
640604 loops (785/sec), 1354341457 sampling steps, 463538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2333280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
644608 loops (800/sec), 1365092134 sampling steps, 467538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2334385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
648517 loops (781/sec), 1375807605 sampling steps, 471445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2335535 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
652460 loops (788/sec), 1386543001 sampling steps, 475387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2336629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
656378 loops (783/sec), 1397268875 sampling steps, 479302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2337734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
660343 loops (792/sec), 1408120177 sampling steps, 483261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2338817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
664283 loops (788/sec), 1418901139 sampling steps, 487198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2339924 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
668228 loops (788/sec), 1429652281 sampling steps, 491137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2341157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
672102 loops (774/sec), 1440405924 sampling steps, 495004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2342190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
675997 loops (779/sec), 1451121411 sampling steps, 498898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2343251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
679949 loops (790/sec), 1461838125 sampling steps, 502844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2344305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
683860 loops (782/sec), 1472509055 sampling steps, 506751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2345419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
687701 loops (767/sec), 1483145801 sampling steps, 510585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2346408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
691526 loops (765/sec), 1493843793 sampling steps, 514403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2347448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
695435 loops (781/sec), 1504663991 sampling steps, 518308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2348456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699418 loops (796/sec), 1515669155 sampling steps, 522289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2349396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
703460 loops (808/sec), 1526656425 sampling steps, 526329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2350353 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
707501 loops (808/sec), 1537728336 sampling steps, 530369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2351265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
711544 loops (808/sec), 1548886413 sampling steps, 534407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2352338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
715529 loops (796/sec), 1560069763 sampling steps, 538390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2353282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
719561 loops (806/sec), 1571331914 sampling steps, 542414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2354224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
723688 loops (825/sec), 1582730761 sampling steps, 546539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2355287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
727846 loops (831/sec), 1594027212 sampling steps, 550695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2356223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
731880 loops (806/sec), 1605191927 sampling steps, 554721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2357222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
735929 loops (809/sec), 1616376939 sampling steps, 558766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2358118 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740072 loops (828/sec), 1627627844 sampling steps, 562908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2358879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
744136 loops (812/sec), 1638966630 sampling steps, 566970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2359840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
748265 loops (825/sec), 1650322687 sampling steps, 571093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2360785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
752418 loops (830/sec), 1661707045 sampling steps, 575246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2361683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
756582 loops (832/sec), 1673206755 sampling steps, 579407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2362567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760749 loops (833/sec), 1684677945 sampling steps, 583572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2363404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
764935 loops (837/sec), 1696183257 sampling steps, 587751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2364351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
769047 loops (822/sec), 1707692897 sampling steps, 591860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2365260 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
773283 loops (847/sec), 1719317396 sampling steps, 596094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2366164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
777490 loops (841/sec), 1730923981 sampling steps, 600298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2367004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
781628 loops (827/sec), 1742538933 sampling steps, 604434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2367809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
785856 loops (845/sec), 1754129046 sampling steps, 608660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2368606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790036 loops (836/sec), 1765744439 sampling steps, 612839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2369379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
794287 loops (850/sec), 1777329731 sampling steps, 617089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2370182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
798460 loops (834/sec), 1788931175 sampling steps, 621258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2370994 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
802622 loops (832/sec), 1800476904 sampling steps, 625419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2371790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
806814 loops (838/sec), 1812081161 sampling steps, 629608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2372589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
810947 loops (826/sec), 1823598541 sampling steps, 633735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2373366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
815110 loops (832/sec), 1835131503 sampling steps, 637896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2374178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
819346 loops (847/sec), 1846643183 sampling steps, 642130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2374947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
823575 loops (845/sec), 1858261751 sampling steps, 646357 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2375742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
827770 loops (839/sec), 1869821534 sampling steps, 650549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2376433 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
832068 loops (859/sec), 1881413693 sampling steps, 654845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2377186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
836260 loops (838/sec), 1893014507 sampling steps, 659035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2377952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
840396 loops (827/sec), 1904636462 sampling steps, 663171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2378683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
844680 loops (856/sec), 1916271215 sampling steps, 667449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2379463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
848893 loops (842/sec), 1927884152 sampling steps, 671662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2380198 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853155 loops (852/sec), 1939501307 sampling steps, 675924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2380839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
857360 loops (841/sec), 1951214293 sampling steps, 680127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2381544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
861629 loops (853/sec), 1962841040 sampling steps, 684394 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2382187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865826 loops (839/sec), 1974470152 sampling steps, 688588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2382824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
870077 loops (850/sec), 1986189242 sampling steps, 692837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2383491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
874315 loops (847/sec), 1997857728 sampling steps, 697074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2384189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
878563 loops (849/sec), 2009526089 sampling steps, 701321 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2384906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
882873 loops (861/sec), 2021174915 sampling steps, 705627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2385609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
887036 loops (832/sec), 2032823642 sampling steps, 709789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2386224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
891260 loops (844/sec), 2044528112 sampling steps, 714013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2386855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
895632 loops (874/sec), 2056226438 sampling steps, 718381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2387550 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
899870 loops (847/sec), 2067927418 sampling steps, 722615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2388198 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
904132 loops (852/sec), 2079559370 sampling steps, 726877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2388925 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
908355 loops (844/sec), 2091240057 sampling steps, 731100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2389512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912611 loops (851/sec), 2102930184 sampling steps, 735354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2390192 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
916835 loops (844/sec), 2114607844 sampling steps, 739575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2390789 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
921026 loops (838/sec), 2126266045 sampling steps, 743765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2391382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
925182 loops (831/sec), 2137955969 sampling steps, 747920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2391957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
929416 loops (846/sec), 2149663227 sampling steps, 752154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2392607 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
933766 loops (870/sec), 2161469876 sampling steps, 756502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2393210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
938088 loops (864/sec), 2173272431 sampling steps, 760822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2393753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
942369 loops (856/sec), 2185057996 sampling steps, 765102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2394371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
946585 loops (843/sec), 2196827290 sampling steps, 769317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2394973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950817 loops (846/sec), 2208612630 sampling steps, 773549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2395524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
955106 loops (857/sec), 2220392780 sampling steps, 777836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2396164 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
959345 loops (847/sec), 2232203041 sampling steps, 782074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2396696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
963636 loops (858/sec), 2243983853 sampling steps, 786363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2397314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
967859 loops (844/sec), 2255776118 sampling steps, 790583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2398007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
972110 loops (850/sec), 2267568992 sampling steps, 794832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2398535 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
976358 loops (849/sec), 2279362087 sampling steps, 799079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2399071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
980604 loops (849/sec), 2291142280 sampling steps, 803325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2399590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
984870 loops (853/sec), 2302948233 sampling steps, 807591 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2400129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
989198 loops (865/sec), 2314778273 sampling steps, 811919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2400696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
993511 loops (862/sec), 2326608255 sampling steps, 816231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2401236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
997785 loops (854/sec), 2338448310 sampling steps, 820505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2401712 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1002015 loops (846/sec), 2350204062 sampling steps, 824734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2402281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1006274 loops (851/sec), 2361955768 sampling steps, 828992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2402834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1010537 loops (852/sec), 2373770598 sampling steps, 833253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2403397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1014887 loops (870/sec), 2385583347 sampling steps, 837601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2403949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1019220 loops (866/sec), 2397418538 sampling steps, 841933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2404498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1023494 loops (854/sec), 2409223877 sampling steps, 846206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2405006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1027799 loops (860/sec), 2421043920 sampling steps, 850510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2405610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1032071 loops (854/sec), 2432879270 sampling steps, 854781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2406091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1036396 loops (865/sec), 2444687423 sampling steps, 859106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2406527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1040659 loops (852/sec), 2456512259 sampling steps, 863369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2407069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1045005 loops (869/sec), 2468341387 sampling steps, 867715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2407598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1049214 loops (841/sec), 2480079767 sampling steps, 871923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2408076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1053452 loops (847/sec), 2491898679 sampling steps, 876161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2408545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1057699 loops (849/sec), 2503638785 sampling steps, 880407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2409092 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1062017 loops (863/sec), 2515442671 sampling steps, 884724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2409545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1066324 loops (861/sec), 2527239791 sampling steps, 889031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2410039 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1070589 loops (853/sec), 2539095482 sampling steps, 893296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2410479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1074915 loops (865/sec), 2550947988 sampling steps, 897621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2410904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1079172 loops (851/sec), 2562753562 sampling steps, 901877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2411396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1083421 loops (849/sec), 2574525638 sampling steps, 906126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2411778 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1087690 loops (853/sec), 2586361500 sampling steps, 910395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2412224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1091994 loops (860/sec), 2598144061 sampling steps, 914699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2412596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1096231 loops (847/sec), 2609949717 sampling steps, 918936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2413028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1100454 loops (844/sec), 2621752849 sampling steps, 923159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2413460 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1104850 loops (879/sec), 2633577296 sampling steps, 927554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2413886 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1109117 loops (853/sec), 2645353314 sampling steps, 931821 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2414312 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1113369 loops (850/sec), 2657155118 sampling steps, 936071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2414803 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1117629 loops (852/sec), 2668957893 sampling steps, 940331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2415251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1121900 loops (854/sec), 2680795672 sampling steps, 944602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2415674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1126184 loops (856/sec), 2692649852 sampling steps, 948886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2416083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1130446 loops (852/sec), 2704437130 sampling steps, 953148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2416526 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1134691 loops (848/sec), 2716219083 sampling steps, 957392 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2416956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1138996 loops (861/sec), 2728003319 sampling steps, 961696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2417452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1143351 loops (870/sec), 2739802764 sampling steps, 966051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2417831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1147593 loops (848/sec), 2751563977 sampling steps, 970291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2418246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1151799 loops (841/sec), 2763324406 sampling steps, 974497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2418606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1156086 loops (857/sec), 2775070772 sampling steps, 978784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2419006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1160331 loops (849/sec), 2786797292 sampling steps, 983027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2419390 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1164650 loops (863/sec), 2798590721 sampling steps, 987346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2419790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1168936 loops (856/sec), 2810382935 sampling steps, 991630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2420222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1173209 loops (854/sec), 2822174994 sampling steps, 995903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2420572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1177445 loops (847/sec), 2833971599 sampling steps, 1000138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2420981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1181736 loops (858/sec), 2845754893 sampling steps, 1004429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2421367 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1185942 loops (841/sec), 2857552912 sampling steps, 1008634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2421795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1190251 loops (861/sec), 2869378459 sampling steps, 1012942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2422115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1194468 loops (843/sec), 2881164843 sampling steps, 1017159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2422448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1198786 loops (863/sec), 2892963995 sampling steps, 1021476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2422852 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1203120 loops (866/sec), 2904760257 sampling steps, 1025809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2423238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1207354 loops (846/sec), 2916537575 sampling steps, 1030041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2423565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1211594 loops (848/sec), 2928274122 sampling steps, 1034280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2423940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1215908 loops (862/sec), 2940085301 sampling steps, 1038592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2424276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1220183 loops (855/sec), 2951885224 sampling steps, 1042867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2424621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1224456 loops (854/sec), 2963674931 sampling steps, 1047140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2425016 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1228757 loops (860/sec), 2975466349 sampling steps, 1051440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2425397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1232999 loops (848/sec), 2987275015 sampling steps, 1055682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2425719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1237290 loops (858/sec), 2999067189 sampling steps, 1059973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2426020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1241532 loops (848/sec), 3010842191 sampling steps, 1064215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2426382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1245786 loops (850/sec), 3022638744 sampling steps, 1068469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2426752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1250003 loops (843/sec), 3034425121 sampling steps, 1072686 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2427066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1254280 loops (855/sec), 3046208019 sampling steps, 1076963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2427443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1258571 loops (857/sec), 3057996572 sampling steps, 1081254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2427755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1262861 loops (858/sec), 3069759838 sampling steps, 1085543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2428101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1267206 loops (868/sec), 3081556797 sampling steps, 1089886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2428431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1271464 loops (851/sec), 3093382068 sampling steps, 1094143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2428797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1275687 loops (844/sec), 3105169590 sampling steps, 1098365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2429124 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1279981 loops (858/sec), 3116970591 sampling steps, 1102659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2429394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1284265 loops (856/sec), 3128787286 sampling steps, 1106942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2429727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1288578 loops (862/sec), 3140611937 sampling steps, 1111255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2430036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1292780 loops (840/sec), 3152413297 sampling steps, 1115457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2430356 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1296996 loops (843/sec), 3164210972 sampling steps, 1119673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2430651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1301236 loops (848/sec), 3176001202 sampling steps, 1123913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2430977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1305483 loops (849/sec), 3187770367 sampling steps, 1128159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2431389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1309741 loops (851/sec), 3199558741 sampling steps, 1132416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2431727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1314025 loops (856/sec), 3211315619 sampling steps, 1136700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2431999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1318302 loops (855/sec), 3223124964 sampling steps, 1140977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2432279 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1322628 loops (865/sec), 3234935097 sampling steps, 1145302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2432571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1326986 loops (871/sec), 3246736662 sampling steps, 1149659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2432891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1331320 loops (866/sec), 3258545188 sampling steps, 1153993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1335576 loops (851/sec), 3270351743 sampling steps, 1158249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1339896 loops (864/sec), 3282171155 sampling steps, 1162569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1344185 loops (857/sec), 3293996069 sampling steps, 1166858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1348480 loops (859/sec), 3305801679 sampling steps, 1171153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1352776 loops (859/sec), 3317610431 sampling steps, 1175448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434639 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1357021 loops (849/sec), 3329394648 sampling steps, 1179693 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2434965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1361221 loops (839/sec), 3341160185 sampling steps, 1183893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1365506 loops (856/sec), 3352921187 sampling steps, 1188177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1369724 loops (843/sec), 3364721985 sampling steps, 1192395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2435756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1373988 loops (852/sec), 3376538481 sampling steps, 1196658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1378282 loops (858/sec), 3388349497 sampling steps, 1200952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1382596 loops (862/sec), 3400144105 sampling steps, 1205266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1386819 loops (844/sec), 3411932292 sampling steps, 1209489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2436784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1391085 loops (853/sec), 3423744513 sampling steps, 1213753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1395404 loops (863/sec), 3435559160 sampling steps, 1218072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1399723 loops (863/sec), 3447383056 sampling steps, 1222391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437646 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1403986 loops (852/sec), 3459187664 sampling steps, 1226654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1408236 loops (850/sec), 3470938014 sampling steps, 1230903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1412569 loops (866/sec), 3482729193 sampling steps, 1235236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438370 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1416833 loops (852/sec), 3494507341 sampling steps, 1239500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1421087 loops (850/sec), 3506326282 sampling steps, 1243754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2438855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1425351 loops (852/sec), 3518148226 sampling steps, 1248017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2439143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1429540 loops (837/sec), 3529958356 sampling steps, 1252206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2439410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1433809 loops (853/sec), 3541791371 sampling steps, 1256474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2439684 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1438131 loops (864/sec), 3553606556 sampling steps, 1260796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1442475 loops (868/sec), 3565412663 sampling steps, 1265139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440318 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1446714 loops (847/sec), 3577201520 sampling steps, 1269378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1450966 loops (850/sec), 3589012797 sampling steps, 1273630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2440899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1455173 loops (841/sec), 3600818367 sampling steps, 1277837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1459427 loops (850/sec), 3612585539 sampling steps, 1282091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441380 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1463704 loops (855/sec), 3624346014 sampling steps, 1286368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1467975 loops (854/sec), 3636109369 sampling steps, 1290638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2441869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1472210 loops (846/sec), 3647904023 sampling steps, 1294873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1476439 loops (845/sec), 3659627703 sampling steps, 1299101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1480683 loops (848/sec), 3671343419 sampling steps, 1303345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442605 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1484951 loops (853/sec), 3683063403 sampling steps, 1307613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1489109 loops (831/sec), 3694782773 sampling steps, 1311771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1493290 loops (835/sec), 3706472246 sampling steps, 1315952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1497522 loops (846/sec), 3718206119 sampling steps, 1320183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443568 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1501796 loops (854/sec), 3729948189 sampling steps, 1324457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2443837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1506141 loops (868/sec), 3741660049 sampling steps, 1328802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1510379 loops (847/sec), 3753354988 sampling steps, 1333039 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1514631 loops (850/sec), 3765011212 sampling steps, 1337291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1518913 loops (856/sec), 3776669380 sampling steps, 1341573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2444756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1523156 loops (848/sec), 3788401031 sampling steps, 1345816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1527399 loops (848/sec), 3800077178 sampling steps, 1350059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1531571 loops (834/sec), 3811743121 sampling steps, 1354230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1535805 loops (846/sec), 3823515401 sampling steps, 1358464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1540092 loops (857/sec), 3835298338 sampling steps, 1362751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2445954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1544304 loops (842/sec), 3847001068 sampling steps, 1366962 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1548542 loops (847/sec), 3858717456 sampling steps, 1371200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1552798 loops (851/sec), 3870453860 sampling steps, 1375456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1557017 loops (843/sec), 3882198896 sampling steps, 1379675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1561293 loops (855/sec), 3893932369 sampling steps, 1383949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1565564 loops (854/sec), 3905613996 sampling steps, 1388220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1569759 loops (839/sec), 3917258945 sampling steps, 1392415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447506 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1573951 loops (838/sec), 3928968831 sampling steps, 1396607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447714 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1578177 loops (845/sec), 3940693333 sampling steps, 1400832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2447987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1582454 loops (855/sec), 3952419434 sampling steps, 1405109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1586681 loops (845/sec), 3964132988 sampling steps, 1409336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1590866 loops (837/sec), 3975859764 sampling steps, 1413521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1595198 loops (866/sec), 3987682794 sampling steps, 1417853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2448855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1599468 loops (854/sec), 3999487133 sampling steps, 1422123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2449072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1603684 loops (843/sec), 4011223318 sampling steps, 1426339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2449270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1607884 loops (839/sec), 4023034325 sampling steps, 1430539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2449458 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1612144 loops (852/sec), 4034770568 sampling steps, 1434799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2449663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1616369 loops (844/sec), 4046440957 sampling steps, 1439024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2449851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1620594 loops (844/sec), 4058117779 sampling steps, 1443249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2450035 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1624856 loops (852/sec), 4069882326 sampling steps, 1447511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2450240 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1629123 loops (853/sec), 4081622763 sampling steps, 1451778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2450429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1633398 loops (855/sec), 4093395861 sampling steps, 1456052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2450624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1637657 loops (851/sec), 4105103670 sampling steps, 1460311 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2450874 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0259556770325 seconds since the total time limit of 1800.0 seconds was exceeded.