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_NAIVE --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12399 loops (2479/sec), 10631239 sampling steps, 859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116836 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:
16391 loops (798/sec), 24771005 sampling steps, 1999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150353 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:
19356 loops (593/sec), 38830375 sampling steps, 3533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
170847 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:
22056 loops (540/sec), 53525370 sampling steps, 5331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186534 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:
24699 loops (528/sec), 68682841 sampling steps, 7416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198995 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:
27245 loops (509/sec), 83659460 sampling steps, 9588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209065 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:
29738 loops (498/sec), 98647226 sampling steps, 11845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217120 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:
32225 loops (497/sec), 113755691 sampling steps, 14149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
224190 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:
34691 loops (493/sec), 128966347 sampling steps, 16471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
230424 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:
37169 loops (495/sec), 144095547 sampling steps, 18875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
235742 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:
39628 loops (491/sec), 159405705 sampling steps, 21262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
240702 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:
42103 loops (495/sec), 174742423 sampling steps, 23684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
245254 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:
44602 loops (499/sec), 189998330 sampling steps, 26154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
249121 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:
47056 loops (490/sec), 205275924 sampling steps, 28571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
252959 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:
49518 loops (492/sec), 220607427 sampling steps, 31017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
256323 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:
52008 loops (498/sec), 235901325 sampling steps, 33484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
259535 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:
54507 loops (499/sec), 251370480 sampling steps, 35962 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
262542 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:
56998 loops (498/sec), 266643423 sampling steps, 38441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
265257 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:
59456 loops (491/sec), 282034331 sampling steps, 40887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
267835 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:
61928 loops (494/sec), 297439436 sampling steps, 43347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
270282 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:
64433 loops (501/sec), 312786976 sampling steps, 45841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
272643 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:
66903 loops (494/sec), 328249802 sampling steps, 48305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
274859 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:
69328 loops (484/sec), 343538696 sampling steps, 50726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
277013 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:
71760 loops (486/sec), 358885348 sampling steps, 53152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
279136 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:
74228 loops (493/sec), 374206703 sampling steps, 55616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
281039 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:
76675 loops (489/sec), 389626953 sampling steps, 58061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
283032 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:
79075 loops (479/sec), 405069505 sampling steps, 60457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
284980 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:
81522 loops (489/sec), 420399280 sampling steps, 62904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
286696 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:
84038 loops (503/sec), 435902466 sampling steps, 65418 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288340 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:
86470 loops (486/sec), 451082481 sampling steps, 67848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
290019 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:
88949 loops (495/sec), 466455260 sampling steps, 70326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
291570 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:
91433 loops (496/sec), 481952697 sampling steps, 72808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
293052 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:
93902 loops (493/sec), 497320335 sampling steps, 75276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
294475 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:
96435 loops (506/sec), 512874251 sampling steps, 77809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
295833 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:
98886 loops (490/sec), 528368912 sampling steps, 80258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
297248 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:
101368 loops (496/sec), 543772762 sampling steps, 82739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
298655 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:
103829 loops (492/sec), 559351614 sampling steps, 85199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
299918 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:
106268 loops (487/sec), 574714643 sampling steps, 87636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301199 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:
108795 loops (505/sec), 590280282 sampling steps, 90163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
302390 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:
111251 loops (491/sec), 605698895 sampling steps, 92619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
303674 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:
113698 loops (489/sec), 620988947 sampling steps, 95065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
304879 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:
116195 loops (499/sec), 636504058 sampling steps, 97561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
306038 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:
118708 loops (502/sec), 651885930 sampling steps, 100074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
307127 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:
121206 loops (499/sec), 667533148 sampling steps, 102572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308225 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:
123662 loops (491/sec), 683059607 sampling steps, 105028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309305 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:
126163 loops (500/sec), 698490837 sampling steps, 107527 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
310381 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:
128658 loops (498/sec), 714063972 sampling steps, 110022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311373 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:
131185 loops (505/sec), 729865956 sampling steps, 112549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312413 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:
133645 loops (491/sec), 745357140 sampling steps, 115009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
313466 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:
136106 loops (492/sec), 760846603 sampling steps, 117470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314429 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:
138551 loops (488/sec), 776185867 sampling steps, 119915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315384 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:
141038 loops (497/sec), 791734689 sampling steps, 122402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316353 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:
143548 loops (501/sec), 807178999 sampling steps, 124912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317281 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:
146024 loops (495/sec), 822738058 sampling steps, 127388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318244 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:
148554 loops (506/sec), 838341943 sampling steps, 129918 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319047 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:
151004 loops (489/sec), 853782581 sampling steps, 132368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319930 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:
153480 loops (495/sec), 869430066 sampling steps, 134844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320804 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:
155988 loops (501/sec), 885022196 sampling steps, 137352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321705 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:
158434 loops (489/sec), 900445428 sampling steps, 139798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322466 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:
160960 loops (504/sec), 916004459 sampling steps, 142323 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323259 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:
163392 loops (486/sec), 931312136 sampling steps, 144755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324057 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:
165897 loops (501/sec), 946825970 sampling steps, 147260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324857 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:
168428 loops (506/sec), 962489089 sampling steps, 149791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325607 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:
170916 loops (497/sec), 977922065 sampling steps, 152279 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326378 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:
173393 loops (495/sec), 993484542 sampling steps, 154756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327166 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:
175630 loops (447/sec), 1007579413 sampling steps, 156993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327799 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:
178138 loops (501/sec), 1023014740 sampling steps, 159501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328562 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:
180679 loops (508/sec), 1038587005 sampling steps, 162042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329280 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:
183153 loops (494/sec), 1054188659 sampling steps, 164516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329999 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:
185653 loops (499/sec), 1069587141 sampling steps, 167016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330696 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:
188128 loops (494/sec), 1085150322 sampling steps, 169491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331375 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:
190622 loops (498/sec), 1100726696 sampling steps, 171985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332021 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:
193122 loops (499/sec), 1116286812 sampling steps, 174485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332636 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:
195605 loops (496/sec), 1131763175 sampling steps, 176968 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333272 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:
198121 loops (503/sec), 1147242489 sampling steps, 179484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333879 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:
200640 loops (503/sec), 1162929040 sampling steps, 182003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334519 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:
203146 loops (501/sec), 1178395079 sampling steps, 184509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335116 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:
205647 loops (500/sec), 1193986603 sampling steps, 187010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335730 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:
208142 loops (499/sec), 1209532499 sampling steps, 189505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336325 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:
210614 loops (494/sec), 1225032282 sampling steps, 191977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336913 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:
213158 loops (508/sec), 1240659552 sampling steps, 194521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337472 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:
215643 loops (497/sec), 1256127648 sampling steps, 197006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338050 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:
218128 loops (496/sec), 1271792385 sampling steps, 199491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338642 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:
220651 loops (504/sec), 1287412940 sampling steps, 202014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339199 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:
223112 loops (492/sec), 1302684435 sampling steps, 204475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339727 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:
225623 loops (502/sec), 1318217926 sampling steps, 206986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340275 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:
228067 loops (488/sec), 1333675210 sampling steps, 209430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340811 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:
230589 loops (504/sec), 1349257629 sampling steps, 211952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341379 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:
233079 loops (497/sec), 1364897748 sampling steps, 214442 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341960 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:
235533 loops (490/sec), 1380341040 sampling steps, 216896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342495 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:
238086 loops (510/sec), 1395963216 sampling steps, 219449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342982 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:
240572 loops (497/sec), 1411436310 sampling steps, 221935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343479 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:
243089 loops (503/sec), 1427028540 sampling steps, 224452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343998 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:
245627 loops (507/sec), 1442505546 sampling steps, 226990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344520 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:
248124 loops (499/sec), 1457972943 sampling steps, 229487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344986 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:
250706 loops (516/sec), 1473725954 sampling steps, 232069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345520 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:
253193 loops (497/sec), 1489224595 sampling steps, 234556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345980 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:
255723 loops (506/sec), 1504790268 sampling steps, 237086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346443 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:
258179 loops (491/sec), 1520243413 sampling steps, 239542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346945 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:
260673 loops (498/sec), 1535802050 sampling steps, 242036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347444 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:
263209 loops (507/sec), 1551390204 sampling steps, 244572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347956 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:
265747 loops (507/sec), 1566936769 sampling steps, 247110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348383 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:
268306 loops (511/sec), 1582578049 sampling steps, 249669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348855 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:
270786 loops (495/sec), 1598173432 sampling steps, 252149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349325 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:
273265 loops (495/sec), 1613649030 sampling steps, 254628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349806 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:
275754 loops (497/sec), 1629255863 sampling steps, 257117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350253 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:
278217 loops (492/sec), 1644841502 sampling steps, 259580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350669 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:
280663 loops (489/sec), 1660346272 sampling steps, 262026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351116 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:
283224 loops (512/sec), 1675982142 sampling steps, 264587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351564 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:
285745 loops (504/sec), 1691398334 sampling steps, 267108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351993 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:
288197 loops (490/sec), 1706984077 sampling steps, 269560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352452 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:
290654 loops (491/sec), 1722539711 sampling steps, 272017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352901 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:
293145 loops (498/sec), 1738029393 sampling steps, 274508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353306 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:
295629 loops (496/sec), 1753631383 sampling steps, 276992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353736 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:
298091 loops (492/sec), 1769085566 sampling steps, 279454 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354175 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:
300607 loops (503/sec), 1784785732 sampling steps, 281970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354615 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:
303139 loops (506/sec), 1800388834 sampling steps, 284502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355042 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:
305593 loops (490/sec), 1815872572 sampling steps, 286956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355469 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:
308121 loops (505/sec), 1831495274 sampling steps, 289484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355873 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:
310618 loops (499/sec), 1847037424 sampling steps, 291981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356306 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:
313095 loops (495/sec), 1862590857 sampling steps, 294458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356720 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:
315659 loops (512/sec), 1878242276 sampling steps, 297022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357127 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:
318152 loops (498/sec), 1893722574 sampling steps, 299515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357567 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:
320716 loops (512/sec), 1909369837 sampling steps, 302079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357970 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:
323209 loops (498/sec), 1924974211 sampling steps, 304572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358372 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:
325732 loops (504/sec), 1940485083 sampling steps, 307095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358723 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:
328242 loops (502/sec), 1956079469 sampling steps, 309605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359084 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:
330734 loops (498/sec), 1971559260 sampling steps, 312097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359465 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:
333251 loops (503/sec), 1987256781 sampling steps, 314614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359832 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:
335799 loops (509/sec), 2002879440 sampling steps, 317162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360252 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:
338282 loops (496/sec), 2018360248 sampling steps, 319645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360603 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:
340754 loops (494/sec), 2034055052 sampling steps, 322117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361000 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:
343279 loops (504/sec), 2049538874 sampling steps, 324642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361407 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:
345755 loops (495/sec), 2065053093 sampling steps, 327118 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361790 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:
348258 loops (500/sec), 2080746099 sampling steps, 329621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362141 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:
350724 loops (493/sec), 2096332279 sampling steps, 332087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362508 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:
353214 loops (498/sec), 2111855805 sampling steps, 334577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362845 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:
355743 loops (505/sec), 2127457602 sampling steps, 337106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363173 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:
358303 loops (512/sec), 2143086456 sampling steps, 339666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363517 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:
360844 loops (508/sec), 2158777262 sampling steps, 342207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363872 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:
363333 loops (497/sec), 2174297561 sampling steps, 344696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364234 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:
365878 loops (509/sec), 2189772299 sampling steps, 347241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364577 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:
368367 loops (497/sec), 2205211946 sampling steps, 349730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364929 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:
370917 loops (510/sec), 2220961864 sampling steps, 352280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365251 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:
373576 loops (531/sec), 2237472180 sampling steps, 354939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365592 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:
376324 loops (549/sec), 2254200240 sampling steps, 357687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365982 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:
379022 loops (539/sec), 2270944120 sampling steps, 360385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366360 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:
381692 loops (533/sec), 2287680790 sampling steps, 363055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366717 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:
384387 loops (538/sec), 2304413964 sampling steps, 365750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367084 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:
387029 loops (528/sec), 2321162807 sampling steps, 368392 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367416 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:
389715 loops (537/sec), 2337881707 sampling steps, 371078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367752 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:
392429 loops (542/sec), 2354622822 sampling steps, 373792 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368097 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:
395069 loops (527/sec), 2371345259 sampling steps, 376432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368437 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:
397751 loops (536/sec), 2388060120 sampling steps, 379114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368832 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:
400494 loops (548/sec), 2404843601 sampling steps, 381857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369161 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:
403166 loops (534/sec), 2421384333 sampling steps, 384529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369473 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:
405883 loops (543/sec), 2438079847 sampling steps, 387246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369797 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:
408597 loops (542/sec), 2454786596 sampling steps, 389960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370114 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:
411283 loops (536/sec), 2471549220 sampling steps, 392646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370434 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:
413994 loops (542/sec), 2488298519 sampling steps, 395357 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370757 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:
416720 loops (545/sec), 2505068268 sampling steps, 398083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371099 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:
419398 loops (535/sec), 2521808844 sampling steps, 400761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371465 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:
422126 loops (545/sec), 2538577319 sampling steps, 403489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371773 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:
424822 loops (538/sec), 2555332490 sampling steps, 406185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372093 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:
427489 loops (533/sec), 2572093685 sampling steps, 408852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372400 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:
430199 loops (542/sec), 2588869853 sampling steps, 411562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372693 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:
432923 loops (544/sec), 2605651354 sampling steps, 414286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373017 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:
435561 loops (527/sec), 2622233642 sampling steps, 416924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373313 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:
438271 loops (541/sec), 2638936088 sampling steps, 419634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373601 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:
440985 loops (542/sec), 2655639398 sampling steps, 422348 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373910 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:
443644 loops (531/sec), 2672358198 sampling steps, 425007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374237 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:
446290 loops (529/sec), 2689067333 sampling steps, 427653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374544 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:
448996 loops (541/sec), 2705810263 sampling steps, 430359 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374856 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:
451698 loops (540/sec), 2722564673 sampling steps, 433061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375148 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:
454388 loops (538/sec), 2739302922 sampling steps, 435751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375414 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:
457083 loops (539/sec), 2756065246 sampling steps, 438446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375702 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:
459729 loops (529/sec), 2772815241 sampling steps, 441092 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376013 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:
462403 loops (534/sec), 2789578903 sampling steps, 443766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376296 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:
465034 loops (526/sec), 2806299365 sampling steps, 446397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376589 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:
467687 loops (530/sec), 2822871149 sampling steps, 449050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376876 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:
470387 loops (540/sec), 2839547375 sampling steps, 451750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377141 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:
473004 loops (523/sec), 2856238437 sampling steps, 454367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377424 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:
475637 loops (526/sec), 2872967366 sampling steps, 457000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377718 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:
478333 loops (539/sec), 2889735761 sampling steps, 459696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377967 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:
480975 loops (528/sec), 2906491360 sampling steps, 462338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378230 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:
483604 loops (525/sec), 2923244398 sampling steps, 464967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378513 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:
486336 loops (546/sec), 2940038329 sampling steps, 467699 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378814 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:
489003 loops (533/sec), 2956805543 sampling steps, 470366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379085 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:
491719 loops (542/sec), 2973594326 sampling steps, 473082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379365 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:
494415 loops (539/sec), 2990373088 sampling steps, 475778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379680 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:
497071 loops (531/sec), 3007128892 sampling steps, 478434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379955 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:
499716 loops (528/sec), 3023719064 sampling steps, 481079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380201 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:
502122 loops (481/sec), 3038628736 sampling steps, 483485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380417 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:
504791 loops (533/sec), 3055293341 sampling steps, 486154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380687 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:
507496 loops (541/sec), 3072032236 sampling steps, 488859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380993 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:
510163 loops (533/sec), 3088751814 sampling steps, 491526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381282 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:
512821 loops (531/sec), 3105475134 sampling steps, 494184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381577 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:
515432 loops (522/sec), 3122182463 sampling steps, 496795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381833 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:
518135 loops (540/sec), 3138905895 sampling steps, 499498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382098 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:
520799 loops (532/sec), 3155621441 sampling steps, 502162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382379 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:
523487 loops (537/sec), 3172366442 sampling steps, 504850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382628 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:
526176 loops (537/sec), 3189090906 sampling steps, 507539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382899 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:
528892 loops (543/sec), 3205826867 sampling steps, 510255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383132 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:
531580 loops (537/sec), 3222357305 sampling steps, 512943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383391 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:
534282 loops (540/sec), 3239026240 sampling steps, 515645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383651 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:
537000 loops (543/sec), 3255707749 sampling steps, 518363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383911 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:
539723 loops (544/sec), 3272475765 sampling steps, 521086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384159 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:
542438 loops (543/sec), 3289230606 sampling steps, 523801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384384 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:
545088 loops (530/sec), 3305977941 sampling steps, 526451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384645 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:
547857 loops (553/sec), 3322762462 sampling steps, 529220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384922 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:
550576 loops (543/sec), 3339514416 sampling steps, 531939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385174 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:
553275 loops (539/sec), 3356271685 sampling steps, 534638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385433 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:
555961 loops (537/sec), 3373029568 sampling steps, 537324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385665 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:
558678 loops (543/sec), 3389786715 sampling steps, 540041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385897 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:
561363 loops (537/sec), 3406554394 sampling steps, 542726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386150 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:
564013 loops (529/sec), 3423067718 sampling steps, 545376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386398 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:
566649 loops (527/sec), 3439763013 sampling steps, 548012 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386632 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:
569312 loops (532/sec), 3456497386 sampling steps, 550675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386862 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:
571977 loops (532/sec), 3473281316 sampling steps, 553340 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387101 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:
574673 loops (539/sec), 3490088173 sampling steps, 556036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387339 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:
577273 loops (520/sec), 3506334562 sampling steps, 558636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387569 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:
579945 loops (534/sec), 3523095636 sampling steps, 561308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387851 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:
582626 loops (536/sec), 3539848598 sampling steps, 563989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388094 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:
585289 loops (532/sec), 3556588416 sampling steps, 566652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388329 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:
588004 loops (543/sec), 3573357764 sampling steps, 569367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388582 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:
590694 loops (537/sec), 3590111491 sampling steps, 572057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388818 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:
593381 loops (537/sec), 3606878575 sampling steps, 574744 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389075 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:
596047 loops (533/sec), 3623437857 sampling steps, 577410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389310 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:
598712 loops (533/sec), 3640065192 sampling steps, 580075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389541 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:
601408 loops (538/sec), 3656796046 sampling steps, 582771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389752 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:
604043 loops (527/sec), 3673566008 sampling steps, 585406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389950 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:
606830 loops (557/sec), 3690378430 sampling steps, 588193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390176 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:
609558 loops (545/sec), 3707148703 sampling steps, 590921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390405 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:
612338 loops (556/sec), 3723947629 sampling steps, 593701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390606 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:
615036 loops (539/sec), 3740734536 sampling steps, 596399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390835 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:
617779 loops (548/sec), 3757543054 sampling steps, 599142 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391043 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:
620423 loops (528/sec), 3773918469 sampling steps, 601786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391247 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:
623120 loops (539/sec), 3790684246 sampling steps, 604483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391457 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:
625801 loops (536/sec), 3807420534 sampling steps, 607164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391695 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:
628456 loops (530/sec), 3824013680 sampling steps, 609819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391920 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:
631088 loops (526/sec), 3840471254 sampling steps, 612451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392133 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:
633783 loops (539/sec), 3857169480 sampling steps, 615146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392350 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:
636476 loops (538/sec), 3873957357 sampling steps, 617839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392548 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:
639171 loops (538/sec), 3890728610 sampling steps, 620534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392769 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:
641917 loops (549/sec), 3907535322 sampling steps, 623280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392976 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:
644624 loops (541/sec), 3924320512 sampling steps, 625987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393197 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:
647279 loops (530/sec), 3941030511 sampling steps, 628642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393401 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:
650011 loops (546/sec), 3957799191 sampling steps, 631374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393599 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:
652667 loops (531/sec), 3974513636 sampling steps, 634030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393778 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:
655360 loops (538/sec), 3991262428 sampling steps, 636723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393964 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:
658062 loops (540/sec), 4008014653 sampling steps, 639425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394170 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:
660698 loops (527/sec), 4024555948 sampling steps, 642061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394378 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:
663357 loops (531/sec), 4041184368 sampling steps, 644720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394601 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:
665955 loops (519/sec), 4057823791 sampling steps, 647318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394810 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:
668682 loops (545/sec), 4074549942 sampling steps, 650045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394983 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:
671354 loops (534/sec), 4091256559 sampling steps, 652717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395198 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:
674007 loops (530/sec), 4107972748 sampling steps, 655370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395416 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:
676713 loops (541/sec), 4124713076 sampling steps, 658076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395610 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:
679399 loops (536/sec), 4141446925 sampling steps, 660762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395815 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:
682104 loops (540/sec), 4158187865 sampling steps, 663467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396030 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:
684829 loops (544/sec), 4174948505 sampling steps, 666192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396219 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:
687471 loops (528/sec), 4191662195 sampling steps, 668834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396410 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:
690154 loops (536/sec), 4208400619 sampling steps, 671517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396640 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:
692817 loops (532/sec), 4224951029 sampling steps, 674180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396841 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:
695485 loops (533/sec), 4241619238 sampling steps, 676848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397013 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:
698125 loops (527/sec), 4258278380 sampling steps, 679488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397211 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:
700809 loops (536/sec), 4275006769 sampling steps, 682172 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397404 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:
703494 loops (536/sec), 4291721336 sampling steps, 684857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397615 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:
706233 loops (547/sec), 4308496635 sampling steps, 687596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397779 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:
708919 loops (536/sec), 4325248198 sampling steps, 690282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397974 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:
711590 loops (534/sec), 4341993363 sampling steps, 692953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398161 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:
714320 loops (545/sec), 4358759905 sampling steps, 695683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398345 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:
717015 loops (538/sec), 4375503593 sampling steps, 698378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398554 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:
719737 loops (544/sec), 4392262615 sampling steps, 701100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398754 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:
722452 loops (543/sec), 4409029744 sampling steps, 703815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398939 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:
725174 loops (544/sec), 4425779491 sampling steps, 706537 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399128 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:
727889 loops (542/sec), 4442529439 sampling steps, 709252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399311 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:
730578 loops (537/sec), 4459272121 sampling steps, 711941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399511 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:
733192 loops (522/sec), 4475823180 sampling steps, 714555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399692 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:
735805 loops (522/sec), 4492469960 sampling steps, 717168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399875 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:
738500 loops (539/sec), 4509174076 sampling steps, 719863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400073 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:
741165 loops (532/sec), 4525914383 sampling steps, 722528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400265 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:
743826 loops (531/sec), 4542654611 sampling steps, 725189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400458 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:
746524 loops (539/sec), 4559421467 sampling steps, 727887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400633 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:
749225 loops (539/sec), 4576185802 sampling steps, 730588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400796 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:
751974 loops (549/sec), 4592976006 sampling steps, 733337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400964 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:
754620 loops (529/sec), 4609707921 sampling steps, 735983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401152 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:
757303 loops (536/sec), 4626305035 sampling steps, 738666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401352 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:
759980 loops (535/sec), 4642973035 sampling steps, 741343 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401536 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:
762631 loops (529/sec), 4659671193 sampling steps, 743994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401714 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:
765343 loops (542/sec), 4676433338 sampling steps, 746706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401883 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:
768022 loops (535/sec), 4693183375 sampling steps, 749385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402075 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:
770740 loops (543/sec), 4709955522 sampling steps, 752103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402258 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:
773427 loops (537/sec), 4726730942 sampling steps, 754790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402428 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:
776119 loops (538/sec), 4743483933 sampling steps, 757482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402606 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:
778748 loops (525/sec), 4760202174 sampling steps, 760111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402775 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:
781470 loops (544/sec), 4776985432 sampling steps, 762833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402934 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:
784134 loops (532/sec), 4793740408 sampling steps, 765497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403091 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:
786788 loops (530/sec), 4810473062 sampling steps, 768151 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403264 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:
789460 loops (534/sec), 4827045378 sampling steps, 770823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403447 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:
792143 loops (536/sec), 4843708499 sampling steps, 773506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403611 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:
794803 loops (532/sec), 4860404451 sampling steps, 776166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403790 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:
797478 loops (534/sec), 4877158406 sampling steps, 778841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403996 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:
800195 loops (543/sec), 4893940257 sampling steps, 781558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404161 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:
802892 loops (539/sec), 4910702272 sampling steps, 784255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404329 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:
805635 loops (548/sec), 4927495137 sampling steps, 786998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404494 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:
808265 loops (526/sec), 4944231924 sampling steps, 789628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404689 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:
810952 loops (537/sec), 4960995635 sampling steps, 792315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404844 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:
813654 loops (540/sec), 4977762554 sampling steps, 795017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404988 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:
816345 loops (537/sec), 4994532624 sampling steps, 797708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405133 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:
819004 loops (531/sec), 5011296344 sampling steps, 800367 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405284 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:
821698 loops (538/sec), 5027815883 sampling steps, 803061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405450 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:
824363 loops (533/sec), 5044460651 sampling steps, 805726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405594 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:
827038 loops (535/sec), 5061122722 sampling steps, 808401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405761 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:
829709 loops (534/sec), 5077843502 sampling steps, 811072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405909 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:
832346 loops (527/sec), 5094345176 sampling steps, 813709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406049 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:
835038 loops (537/sec), 5111013196 sampling steps, 816401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406217 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:
837704 loops (533/sec), 5127676952 sampling steps, 819067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406354 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:
840366 loops (532/sec), 5144311146 sampling steps, 821729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406512 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:
843015 loops (529/sec), 5160809558 sampling steps, 824378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406662 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:
845647 loops (526/sec), 5177492597 sampling steps, 827010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406805 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:
848357 loops (542/sec), 5194180346 sampling steps, 829720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406945 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:
851024 loops (533/sec), 5210881255 sampling steps, 832387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407108 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:
853693 loops (533/sec), 5227406516 sampling steps, 835056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407275 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:
856343 loops (530/sec), 5243989531 sampling steps, 837706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407416 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:
858987 loops (528/sec), 5260534512 sampling steps, 840350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407559 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:
861665 loops (535/sec), 5277102644 sampling steps, 843028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407723 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:
864288 loops (524/sec), 5293716576 sampling steps, 845651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407918 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:
866944 loops (531/sec), 5310272055 sampling steps, 848307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408051 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:
869628 loops (536/sec), 5326919610 sampling steps, 850991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408203 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:
872265 loops (527/sec), 5343470036 sampling steps, 853628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408340 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:
874970 loops (540/sec), 5360198025 sampling steps, 856333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408486 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:
877679 loops (541/sec), 5376809128 sampling steps, 859042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408649 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:
880377 loops (539/sec), 5393510689 sampling steps, 861740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408787 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:
882696 loops (463/sec), 5408027178 sampling steps, 864059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408902 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:
885283 loops (517/sec), 5424299479 sampling steps, 866646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409032 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:
887871 loops (517/sec), 5440594695 sampling steps, 869234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409180 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:
890506 loops (526/sec), 5457128172 sampling steps, 871869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409339 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:
893170 loops (532/sec), 5473588360 sampling steps, 874533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409487 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:
895859 loops (537/sec), 5490258421 sampling steps, 877222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409619 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:
898475 loops (523/sec), 5506834711 sampling steps, 879838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409764 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:
901166 loops (538/sec), 5523486381 sampling steps, 882529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409918 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:
903824 loops (531/sec), 5540008914 sampling steps, 885187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410058 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:
906489 loops (532/sec), 5556630845 sampling steps, 887852 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410209 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:
909151 loops (532/sec), 5573220189 sampling steps, 890514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410360 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:
911823 loops (534/sec), 5589852636 sampling steps, 893186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410499 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:
914513 loops (537/sec), 5606483166 sampling steps, 895876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410623 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:
917091 loops (515/sec), 5622807464 sampling steps, 898454 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410759 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:
919698 loops (521/sec), 5639111089 sampling steps, 901061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410910 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:
922383 loops (536/sec), 5655638312 sampling steps, 903746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411054 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:
925014 loops (526/sec), 5672234813 sampling steps, 906377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411190 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:
927672 loops (531/sec), 5688738085 sampling steps, 909035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411337 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:
930340 loops (533/sec), 5705407058 sampling steps, 911703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411473 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:
932986 loops (529/sec), 5721918294 sampling steps, 914349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411624 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:
935689 loops (540/sec), 5738466015 sampling steps, 917052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411760 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:
938319 loops (526/sec), 5754980156 sampling steps, 919682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411890 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:
940942 loops (524/sec), 5771566391 sampling steps, 922305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
412046 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:
943596 loops (530/sec), 5788011956 sampling steps, 924959 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
412186 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:
946278 loops (536/sec), 5804609456 sampling steps, 927641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
412317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.012263059616 seconds since the total time limit of 1800.0 seconds was exceeded.