Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism --const N=6 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12426 loops (2485/sec), 10739931 sampling steps, 843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117288 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:
16465 loops (807/sec), 25158489 sampling steps, 1931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151367 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:
19583 loops (623/sec), 40046971 sampling steps, 3588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
172801 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:
22243 loops (531/sec), 54465251 sampling steps, 5417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187361 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:
24891 loops (529/sec), 69618853 sampling steps, 7550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199614 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:
27480 loops (517/sec), 84979444 sampling steps, 9780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30015 loops (507/sec), 100427941 sampling steps, 12064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218166 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32573 loops (511/sec), 115937806 sampling steps, 14444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
225354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35128 loops (511/sec), 131463712 sampling steps, 16890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
231489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37643 loops (503/sec), 147010923 sampling steps, 19318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
236939 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40215 loops (514/sec), 162641275 sampling steps, 21817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
241907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42760 loops (509/sec), 178247445 sampling steps, 24307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
246342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45217 loops (491/sec), 193764788 sampling steps, 26720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
250629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47701 loops (496/sec), 209359994 sampling steps, 29165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
254404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50221 loops (503/sec), 225071650 sampling steps, 31655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
257867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52765 loops (508/sec), 240833668 sampling steps, 34190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
261080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55297 loops (506/sec), 256614101 sampling steps, 36708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
264093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57821 loops (504/sec), 272391750 sampling steps, 39221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
266919 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60358 loops (507/sec), 288189163 sampling steps, 41756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
269612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62898 loops (508/sec), 303969256 sampling steps, 44292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
272059 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65417 loops (503/sec), 319764943 sampling steps, 46806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
274368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67977 loops (512/sec), 335587999 sampling steps, 49357 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
276629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70525 loops (509/sec), 351404854 sampling steps, 51901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
278750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73056 loops (506/sec), 367232757 sampling steps, 54430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
280769 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75569 loops (502/sec), 382981973 sampling steps, 56940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
282781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78059 loops (497/sec), 398738305 sampling steps, 59428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
284696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80610 loops (509/sec), 414610209 sampling steps, 61973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
286452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83163 loops (510/sec), 430431852 sampling steps, 64524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85652 loops (497/sec), 446250711 sampling steps, 67012 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
289925 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88250 loops (519/sec), 462131576 sampling steps, 69609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
291518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90769 loops (503/sec), 477950283 sampling steps, 72128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
293065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93331 loops (512/sec), 493842348 sampling steps, 74689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
294559 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95875 loops (508/sec), 509714726 sampling steps, 77232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
296142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98456 loops (515/sec), 525618189 sampling steps, 79811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
297518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100964 loops (501/sec), 541490475 sampling steps, 82317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
298892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103527 loops (512/sec), 557358201 sampling steps, 84880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
300174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106059 loops (506/sec), 573185744 sampling steps, 87411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108596 loops (507/sec), 589003364 sampling steps, 89946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
302761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111145 loops (509/sec), 604911696 sampling steps, 92495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
304008 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113622 loops (495/sec), 620649279 sampling steps, 94971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116150 loops (505/sec), 636408949 sampling steps, 97498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
306363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118677 loops (505/sec), 652170647 sampling steps, 100024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
307489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121197 loops (504/sec), 668046761 sampling steps, 102544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123755 loops (511/sec), 683920145 sampling steps, 105102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126269 loops (502/sec), 699722594 sampling steps, 107616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
310688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128859 loops (517/sec), 715647969 sampling steps, 110206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131401 loops (508/sec), 731579413 sampling steps, 112748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133942 loops (507/sec), 747438771 sampling steps, 115289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
313742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136462 loops (503/sec), 763289257 sampling steps, 117809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138983 loops (504/sec), 779157776 sampling steps, 120330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315702 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141514 loops (505/sec), 795065822 sampling steps, 122861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316639 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144064 loops (510/sec), 810961990 sampling steps, 125411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146592 loops (505/sec), 826853999 sampling steps, 127939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149121 loops (505/sec), 842743018 sampling steps, 130468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151651 loops (506/sec), 858629630 sampling steps, 132998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320337 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154177 loops (505/sec), 874507827 sampling steps, 135524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156783 loops (520/sec), 890447193 sampling steps, 138130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321962 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159362 loops (515/sec), 906375014 sampling steps, 140709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161914 loops (510/sec), 922270859 sampling steps, 143261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164513 loops (519/sec), 938182569 sampling steps, 145860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167054 loops (508/sec), 954063683 sampling steps, 148401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169603 loops (509/sec), 969917038 sampling steps, 150950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172132 loops (505/sec), 985849042 sampling steps, 153479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326712 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174669 loops (507/sec), 1001798685 sampling steps, 156016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177258 loops (517/sec), 1017748303 sampling steps, 158605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328130 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179787 loops (505/sec), 1033653972 sampling steps, 161134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182335 loops (509/sec), 1049567618 sampling steps, 163681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184939 loops (520/sec), 1065496152 sampling steps, 166285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330365 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187542 loops (520/sec), 1081456366 sampling steps, 168888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190162 loops (524/sec), 1097334961 sampling steps, 171508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192718 loops (511/sec), 1113285010 sampling steps, 174064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195223 loops (500/sec), 1129162578 sampling steps, 176569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333048 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197721 loops (499/sec), 1144999492 sampling steps, 179067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199994 loops (454/sec), 1159373430 sampling steps, 181340 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202558 loops (512/sec), 1175254029 sampling steps, 183904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205092 loops (506/sec), 1191169017 sampling steps, 186438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335542 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207682 loops (518/sec), 1207094152 sampling steps, 189028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210227 loops (508/sec), 1223047699 sampling steps, 191573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212817 loops (518/sec), 1238978045 sampling steps, 194163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215408 loops (518/sec), 1254957095 sampling steps, 196754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338021 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217983 loops (514/sec), 1270924228 sampling steps, 199329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220521 loops (507/sec), 1286856032 sampling steps, 201867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339209 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223061 loops (508/sec), 1302800357 sampling steps, 204407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225639 loops (515/sec), 1318707672 sampling steps, 206985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228112 loops (494/sec), 1334543127 sampling steps, 209458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230661 loops (509/sec), 1350352712 sampling steps, 212007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233226 loops (512/sec), 1366267553 sampling steps, 214572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235739 loops (502/sec), 1382159974 sampling steps, 217084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238325 loops (517/sec), 1398095700 sampling steps, 219670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240862 loops (507/sec), 1413986932 sampling steps, 222207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243391 loops (505/sec), 1429905126 sampling steps, 224736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245931 loops (508/sec), 1445811644 sampling steps, 227276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344668 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248420 loops (497/sec), 1461675746 sampling steps, 229765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250934 loops (502/sec), 1477504523 sampling steps, 232279 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345750 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253493 loops (511/sec), 1493420435 sampling steps, 234838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256041 loops (509/sec), 1509274073 sampling steps, 237386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258557 loops (503/sec), 1525099249 sampling steps, 239902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261127 loops (514/sec), 1540960096 sampling steps, 242472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263650 loops (504/sec), 1556851130 sampling steps, 244995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266178 loops (505/sec), 1572776396 sampling steps, 247523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268750 loops (514/sec), 1588736954 sampling steps, 250094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271314 loops (512/sec), 1604672715 sampling steps, 252658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349713 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273826 loops (502/sec), 1620587973 sampling steps, 255170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276371 loops (509/sec), 1636536405 sampling steps, 257715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278912 loops (508/sec), 1652457639 sampling steps, 260256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351098 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281488 loops (515/sec), 1668413819 sampling steps, 262832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351530 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284085 loops (519/sec), 1684425343 sampling steps, 265429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351988 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
286630 loops (509/sec), 1700276753 sampling steps, 267974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289221 loops (517/sec), 1716212563 sampling steps, 270565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352890 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291798 loops (515/sec), 1732107661 sampling steps, 273142 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353318 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294329 loops (506/sec), 1748064622 sampling steps, 275673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353778 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296887 loops (511/sec), 1764027413 sampling steps, 278231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354226 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299476 loops (517/sec), 1780032242 sampling steps, 280820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
302011 loops (507/sec), 1795959940 sampling steps, 283355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304593 loops (516/sec), 1811920790 sampling steps, 285937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355503 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307137 loops (508/sec), 1827910249 sampling steps, 288481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309728 loops (518/sec), 1843898651 sampling steps, 291072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312293 loops (513/sec), 1859874060 sampling steps, 293637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314865 loops (514/sec), 1875858036 sampling steps, 296209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357155 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317405 loops (508/sec), 1891803030 sampling steps, 298749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319962 loops (511/sec), 1907708608 sampling steps, 301306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322505 loops (508/sec), 1923621990 sampling steps, 303849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325064 loops (511/sec), 1939530807 sampling steps, 306408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327631 loops (513/sec), 1955538715 sampling steps, 308975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330224 loops (518/sec), 1971543805 sampling steps, 311568 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332769 loops (508/sec), 1987494829 sampling steps, 314113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335341 loops (514/sec), 2003490978 sampling steps, 316685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360340 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337925 loops (516/sec), 2019466011 sampling steps, 319269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340463 loops (507/sec), 2035444440 sampling steps, 321807 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361130 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342982 loops (503/sec), 2051422354 sampling steps, 324326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345506 loops (504/sec), 2067375670 sampling steps, 326850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348011 loops (501/sec), 2083320575 sampling steps, 329355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350602 loops (518/sec), 2099240407 sampling steps, 331946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353117 loops (503/sec), 2115124642 sampling steps, 334461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355749 loops (526/sec), 2131134723 sampling steps, 337093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358305 loops (510/sec), 2147135692 sampling steps, 339649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360864 loops (511/sec), 2163129993 sampling steps, 342208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363452 loops (517/sec), 2179161709 sampling steps, 344796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366021 loops (513/sec), 2195146291 sampling steps, 347365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368626 loops (520/sec), 2211149309 sampling steps, 349970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371205 loops (515/sec), 2227165167 sampling steps, 352549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373722 loops (503/sec), 2243140913 sampling steps, 355066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365896 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376253 loops (506/sec), 2259122983 sampling steps, 357597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366239 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378860 loops (521/sec), 2275119915 sampling steps, 360204 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381373 loops (502/sec), 2291034505 sampling steps, 362717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383948 loops (514/sec), 2307012699 sampling steps, 365292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386465 loops (503/sec), 2322965974 sampling steps, 367809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367594 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388946 loops (496/sec), 2338387776 sampling steps, 370290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367926 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391441 loops (499/sec), 2353975455 sampling steps, 372785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368274 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393818 loops (475/sec), 2368908043 sampling steps, 375162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396224 loops (481/sec), 2384004730 sampling steps, 377568 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398838 loops (522/sec), 2400023051 sampling steps, 380182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401412 loops (514/sec), 2416006925 sampling steps, 382756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403931 loops (503/sec), 2431968740 sampling steps, 385275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406527 loops (518/sec), 2447957460 sampling steps, 387871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409057 loops (505/sec), 2463941857 sampling steps, 390401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411657 loops (519/sec), 2479857390 sampling steps, 393001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414229 loops (514/sec), 2495809883 sampling steps, 395573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371085 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416804 loops (514/sec), 2511798804 sampling steps, 398148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371369 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419409 loops (520/sec), 2527814932 sampling steps, 400753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422009 loops (519/sec), 2543827140 sampling steps, 403353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372003 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424533 loops (504/sec), 2559822777 sampling steps, 405877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
427124 loops (518/sec), 2575797057 sampling steps, 408468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372632 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
429724 loops (519/sec), 2591827446 sampling steps, 411068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432258 loops (506/sec), 2607792350 sampling steps, 413602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434834 loops (515/sec), 2623733091 sampling steps, 416178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
437369 loops (506/sec), 2639741115 sampling steps, 418713 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439947 loops (515/sec), 2655735931 sampling steps, 421291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442515 loops (513/sec), 2671685094 sampling steps, 423859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445085 loops (513/sec), 2687566299 sampling steps, 426429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447664 loops (515/sec), 2703574467 sampling steps, 429008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450249 loops (516/sec), 2719552845 sampling steps, 431593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375240 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
452792 loops (508/sec), 2735518226 sampling steps, 434136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
455370 loops (515/sec), 2751378099 sampling steps, 436714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457928 loops (511/sec), 2767368868 sampling steps, 439272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460530 loops (520/sec), 2783401581 sampling steps, 441874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376387 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
463123 loops (518/sec), 2799420863 sampling steps, 444467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465699 loops (515/sec), 2815384643 sampling steps, 447043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468216 loops (503/sec), 2831344857 sampling steps, 449560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470808 loops (518/sec), 2847331252 sampling steps, 452152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473398 loops (518/sec), 2863212884 sampling steps, 454742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475951 loops (510/sec), 2879209575 sampling steps, 457295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478468 loops (503/sec), 2895169912 sampling steps, 459812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481090 loops (524/sec), 2911205381 sampling steps, 462434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483638 loops (509/sec), 2927174852 sampling steps, 464982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379003 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486235 loops (519/sec), 2943166108 sampling steps, 467579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488804 loops (513/sec), 2959159037 sampling steps, 470148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491390 loops (516/sec), 2975105935 sampling steps, 472734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
493916 loops (505/sec), 2991089247 sampling steps, 475260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
496431 loops (503/sec), 3006834787 sampling steps, 477775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380310 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498921 loops (498/sec), 3022452834 sampling steps, 480265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
501377 loops (491/sec), 3037871280 sampling steps, 482721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503865 loops (497/sec), 3053511800 sampling steps, 485209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506401 loops (506/sec), 3069212857 sampling steps, 487745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508877 loops (495/sec), 3084903061 sampling steps, 490221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381523 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511422 loops (509/sec), 3100609659 sampling steps, 492766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
513883 loops (492/sec), 3116147465 sampling steps, 495227 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
516383 loops (500/sec), 3131503478 sampling steps, 497727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382290 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
518872 loops (497/sec), 3147078251 sampling steps, 500216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
521442 loops (513/sec), 3162740376 sampling steps, 502786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523946 loops (500/sec), 3178357062 sampling steps, 505290 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526421 loops (495/sec), 3193904384 sampling steps, 507765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528930 loops (501/sec), 3209507888 sampling steps, 510274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
531405 loops (495/sec), 3225062789 sampling steps, 512749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
533897 loops (498/sec), 3240536457 sampling steps, 515241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536087 loops (437/sec), 3253984082 sampling steps, 517431 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538584 loops (499/sec), 3269387702 sampling steps, 519928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541021 loops (487/sec), 3284765701 sampling steps, 522365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
543482 loops (492/sec), 3300101494 sampling steps, 524826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384868 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
546002 loops (503/sec), 3315561166 sampling steps, 527346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
548505 loops (500/sec), 3331029965 sampling steps, 529849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
550954 loops (489/sec), 3346207738 sampling steps, 532298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385492 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
553434 loops (495/sec), 3361364383 sampling steps, 534778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385682 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555882 loops (489/sec), 3376586449 sampling steps, 537226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385914 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558302 loops (483/sec), 3391624758 sampling steps, 539646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
560752 loops (490/sec), 3406830263 sampling steps, 542096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386356 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
563231 loops (495/sec), 3421960656 sampling steps, 544575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
565629 loops (479/sec), 3437189809 sampling steps, 546973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386790 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
568121 loops (498/sec), 3452523358 sampling steps, 549465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
570552 loops (486/sec), 3467846371 sampling steps, 551896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573033 loops (495/sec), 3483111164 sampling steps, 554377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
575331 loops (459/sec), 3497837722 sampling steps, 556675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
577733 loops (480/sec), 3513003489 sampling steps, 559077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387835 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
580195 loops (492/sec), 3528208364 sampling steps, 561539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
582656 loops (492/sec), 3543306179 sampling steps, 564000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
585075 loops (483/sec), 3558424666 sampling steps, 566419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
587536 loops (492/sec), 3573619515 sampling steps, 568880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388720 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
589973 loops (487/sec), 3588725359 sampling steps, 571317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592401 loops (485/sec), 3603847993 sampling steps, 573745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389108 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594823 loops (484/sec), 3618994178 sampling steps, 576167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389304 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
597273 loops (489/sec), 3634235887 sampling steps, 578617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
599678 loops (480/sec), 3649410645 sampling steps, 581022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
602105 loops (485/sec), 3664385617 sampling steps, 583449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389888 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
604452 loops (469/sec), 3679115888 sampling steps, 585796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
606794 loops (468/sec), 3693895389 sampling steps, 588138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
609130 loops (466/sec), 3708310351 sampling steps, 590474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390459 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
611473 loops (468/sec), 3722710481 sampling steps, 592817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
613836 loops (472/sec), 3737303451 sampling steps, 595180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
616160 loops (464/sec), 3751855196 sampling steps, 597504 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391047 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
618493 loops (466/sec), 3766390801 sampling steps, 599837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
620846 loops (470/sec), 3780887773 sampling steps, 602190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
623183 loops (467/sec), 3795359750 sampling steps, 604527 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
625483 loops (459/sec), 3809945171 sampling steps, 606827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
627809 loops (464/sec), 3824526061 sampling steps, 609153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
630126 loops (463/sec), 3839015156 sampling steps, 611470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
632491 loops (472/sec), 3853520710 sampling steps, 613835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
634852 loops (472/sec), 3868088618 sampling steps, 616196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
637173 loops (464/sec), 3882632275 sampling steps, 618517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639498 loops (464/sec), 3897089204 sampling steps, 620842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
641818 loops (464/sec), 3911550589 sampling steps, 623162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
644146 loops (465/sec), 3925977837 sampling steps, 625490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646453 loops (461/sec), 3940454434 sampling steps, 627797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
648723 loops (454/sec), 3954883740 sampling steps, 630067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
651050 loops (465/sec), 3969426585 sampling steps, 632394 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393843 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
653362 loops (462/sec), 3983931025 sampling steps, 634706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394010 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
655666 loops (460/sec), 3998363895 sampling steps, 637010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
657982 loops (463/sec), 4012894974 sampling steps, 639326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
660366 loops (476/sec), 4027481994 sampling steps, 641710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
662702 loops (467/sec), 4042082270 sampling steps, 644046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665018 loops (463/sec), 4056603338 sampling steps, 646362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
667408 loops (478/sec), 4071377256 sampling steps, 648752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
669791 loops (476/sec), 4086225055 sampling steps, 651135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
672149 loops (471/sec), 4100885068 sampling steps, 653493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
674491 loops (468/sec), 4115415436 sampling steps, 655835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
676877 loops (477/sec), 4130023960 sampling steps, 658221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
679257 loops (475/sec), 4144683027 sampling steps, 660601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395807 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
681616 loops (471/sec), 4159435605 sampling steps, 662960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
684014 loops (479/sec), 4174332688 sampling steps, 665358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
686439 loops (485/sec), 4189346991 sampling steps, 667783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396339 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
688763 loops (464/sec), 4204277512 sampling steps, 670107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
691177 loops (482/sec), 4219270311 sampling steps, 672521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
693580 loops (480/sec), 4234304828 sampling steps, 674924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
696016 loops (487/sec), 4249392998 sampling steps, 677360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
698430 loops (482/sec), 4264559504 sampling steps, 679774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
700834 loops (480/sec), 4279685270 sampling steps, 682178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397350 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
703265 loops (486/sec), 4294851939 sampling steps, 684609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
705661 loops (479/sec), 4309950403 sampling steps, 687005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
708084 loops (484/sec), 4325139690 sampling steps, 689428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
710540 loops (490/sec), 4340395139 sampling steps, 691884 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398056 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
712963 loops (484/sec), 4355606593 sampling steps, 694307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
715452 loops (497/sec), 4371062155 sampling steps, 696796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
717936 loops (496/sec), 4386580572 sampling steps, 699280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720392 loops (490/sec), 4401960415 sampling steps, 701736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398728 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
722910 loops (503/sec), 4417516349 sampling steps, 704254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
725414 loops (500/sec), 4433093362 sampling steps, 706758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399098 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
727918 loops (500/sec), 4448607219 sampling steps, 709262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399266 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
730430 loops (502/sec), 4464185801 sampling steps, 711774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
732864 loops (486/sec), 4479715395 sampling steps, 714208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
735368 loops (500/sec), 4495170290 sampling steps, 716712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
737882 loops (502/sec), 4510659399 sampling steps, 719226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740356 loops (494/sec), 4526123577 sampling steps, 721700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
742817 loops (492/sec), 4541554150 sampling steps, 724161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
745354 loops (507/sec), 4557123898 sampling steps, 726698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
747841 loops (497/sec), 4572678514 sampling steps, 729185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
750327 loops (497/sec), 4588256560 sampling steps, 731671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400757 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
752845 loops (503/sec), 4603827416 sampling steps, 734189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400926 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
755346 loops (500/sec), 4619389308 sampling steps, 736690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
757853 loops (501/sec), 4635051202 sampling steps, 739197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760441 loops (517/sec), 4650795301 sampling steps, 741785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762949 loops (501/sec), 4666479829 sampling steps, 744293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401580 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
765454 loops (500/sec), 4682104938 sampling steps, 746798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
767970 loops (503/sec), 4697785183 sampling steps, 749314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
770491 loops (503/sec), 4713547532 sampling steps, 751835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
772951 loops (491/sec), 4729394723 sampling steps, 754295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
775493 loops (508/sec), 4745311111 sampling steps, 756837 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402447 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778023 loops (505/sec), 4761133738 sampling steps, 759367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
780601 loops (515/sec), 4776981882 sampling steps, 761945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
783127 loops (505/sec), 4792909086 sampling steps, 764471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
785649 loops (504/sec), 4808865714 sampling steps, 766993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
788245 loops (519/sec), 4824821306 sampling steps, 769589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790857 loops (522/sec), 4840833996 sampling steps, 772201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
793393 loops (507/sec), 4856772573 sampling steps, 774737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
795926 loops (506/sec), 4872589180 sampling steps, 777270 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
798504 loops (515/sec), 4888522918 sampling steps, 779848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
801055 loops (509/sec), 4904467475 sampling steps, 782399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
803602 loops (509/sec), 4920415898 sampling steps, 784946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
806131 loops (505/sec), 4936338075 sampling steps, 787475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
808742 loops (522/sec), 4952316183 sampling steps, 790086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
811271 loops (505/sec), 4968275916 sampling steps, 792615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
813829 loops (511/sec), 4984248879 sampling steps, 795173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
816396 loops (513/sec), 5000220425 sampling steps, 797740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405037 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
818954 loops (511/sec), 5016185899 sampling steps, 800298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
821509 loops (510/sec), 5032107355 sampling steps, 802853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405318 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
824033 loops (504/sec), 5048030705 sampling steps, 805377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
826569 loops (507/sec), 5063917691 sampling steps, 807913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
829101 loops (506/sec), 5079841159 sampling steps, 810445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
831618 loops (503/sec), 5095794905 sampling steps, 812962 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
834149 loops (506/sec), 5111775798 sampling steps, 815493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
836701 loops (510/sec), 5127770752 sampling steps, 818045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
839238 loops (507/sec), 5143766590 sampling steps, 820582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
841833 loops (519/sec), 5159785031 sampling steps, 823177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
844397 loops (512/sec), 5175776175 sampling steps, 825741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
846930 loops (506/sec), 5191765733 sampling steps, 828274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
849495 loops (513/sec), 5207747427 sampling steps, 830839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
852034 loops (507/sec), 5223723231 sampling steps, 833378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
854607 loops (514/sec), 5239689859 sampling steps, 835951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
857088 loops (496/sec), 5255524606 sampling steps, 838432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407442 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859717 loops (525/sec), 5271501942 sampling steps, 841061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
862281 loops (512/sec), 5287457698 sampling steps, 843625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
864725 loops (488/sec), 5302687605 sampling steps, 846069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
867206 loops (496/sec), 5318023111 sampling steps, 848550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
869713 loops (501/sec), 5333396837 sampling steps, 851057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408196 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
872272 loops (511/sec), 5349338321 sampling steps, 853616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
874814 loops (508/sec), 5365292209 sampling steps, 856158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
877408 loops (518/sec), 5381263430 sampling steps, 858752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408640 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
879972 loops (512/sec), 5397182815 sampling steps, 861316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
882540 loops (513/sec), 5413104447 sampling steps, 863884 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
885122 loops (516/sec), 5428999489 sampling steps, 866466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409116 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
887712 loops (517/sec), 5444867561 sampling steps, 869056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
890283 loops (514/sec), 5460715880 sampling steps, 871627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
892814 loops (506/sec), 5476611962 sampling steps, 874158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
895426 loops (522/sec), 5492544552 sampling steps, 876770 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
897949 loops (504/sec), 5508450767 sampling steps, 879293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
900471 loops (504/sec), 5524335611 sampling steps, 881815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
902997 loops (505/sec), 5540249069 sampling steps, 884341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
905596 loops (519/sec), 5556176192 sampling steps, 886940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
908135 loops (507/sec), 5572034558 sampling steps, 889479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
910679 loops (508/sec), 5587936734 sampling steps, 892023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
913215 loops (506/sec), 5603829544 sampling steps, 894559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0108947753906 seconds since the total time limit of 1800.0 seconds was exceeded.