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/speed-ind/speed-ind.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7202 loops (1440/sec), 7426625 sampling steps, 19 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10658 loops (691/sec), 17191850 sampling steps, 77 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12721 loops (412/sec), 26316114 sampling steps, 156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14201 loops (296/sec), 34660410 sampling steps, 258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15567 loops (273/sec), 43668398 sampling steps, 389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16488 loops (184/sec), 50737504 sampling steps, 511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
162098 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17329 loops (168/sec), 57645127 sampling steps, 649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
169769 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18057 loops (145/sec), 64291510 sampling steps, 783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
176325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18785 loops (145/sec), 71220452 sampling steps, 933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
182643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19424 loops (127/sec), 77656932 sampling steps, 1098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20022 loops (119/sec), 84000155 sampling steps, 1253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20583 loops (112/sec), 90165433 sampling steps, 1439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21121 loops (107/sec), 96250128 sampling steps, 1620 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21752 loops (126/sec), 103794133 sampling steps, 1842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22383 loops (126/sec), 111564675 sampling steps, 2095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211858 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23049 loops (133/sec), 119768264 sampling steps, 2407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216599 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23516 loops (93/sec), 125754297 sampling steps, 2643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23979 loops (92/sec), 131748852 sampling steps, 2873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
222902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24438 loops (91/sec), 137704382 sampling steps, 3095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
225935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24858 loops (83/sec), 143596191 sampling steps, 3316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
228733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25304 loops (89/sec), 149608152 sampling steps, 3566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
231518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25731 loops (85/sec), 155585513 sampling steps, 3811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
234221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26140 loops (81/sec), 161443967 sampling steps, 4051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
236741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26545 loops (80/sec), 167316876 sampling steps, 4292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
239260 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26973 loops (85/sec), 173454743 sampling steps, 4566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
241688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27482 loops (101/sec), 180791535 sampling steps, 4910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
244438 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28011 loops (105/sec), 188483411 sampling steps, 5274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
247255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28550 loops (107/sec), 196309530 sampling steps, 5639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
250078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28951 loops (79/sec), 202189928 sampling steps, 5907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
252280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29347 loops (78/sec), 208031676 sampling steps, 6195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
254251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29726 loops (75/sec), 213823145 sampling steps, 6479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
256054 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30103 loops (75/sec), 219651620 sampling steps, 6749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
257929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30474 loops (74/sec), 225454821 sampling steps, 7019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
259736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30847 loops (74/sec), 231213787 sampling steps, 7310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
261288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31219 loops (74/sec), 236989679 sampling steps, 7597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
262925 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31578 loops (71/sec), 242659993 sampling steps, 7883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
264487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32044 loops (92/sec), 249945723 sampling steps, 8243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
266558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32528 loops (96/sec), 257506932 sampling steps, 8633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
268485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32968 loops (87/sec), 264508836 sampling steps, 8977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
270370 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33393 loops (84/sec), 271187653 sampling steps, 9339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
271968 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33739 loops (69/sec), 276824499 sampling steps, 9628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
273291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34108 loops (73/sec), 282557341 sampling steps, 9931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
274655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34469 loops (72/sec), 288301751 sampling steps, 10238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
276030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34808 loops (67/sec), 293932848 sampling steps, 10514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
277419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35168 loops (71/sec), 299690303 sampling steps, 10827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
278593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35516 loops (69/sec), 305355987 sampling steps, 11125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
279801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35871 loops (70/sec), 311097496 sampling steps, 11426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
281009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36228 loops (71/sec), 316854809 sampling steps, 11739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
282089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36686 loops (91/sec), 324303608 sampling steps, 12139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
283567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37138 loops (90/sec), 331712566 sampling steps, 12526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
285084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37611 loops (94/sec), 339453563 sampling steps, 12940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
286534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37967 loops (71/sec), 345247385 sampling steps, 13259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
287620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38325 loops (71/sec), 351040998 sampling steps, 13576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38696 loops (74/sec), 356825898 sampling steps, 13901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
289657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39039 loops (68/sec), 362577338 sampling steps, 14203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
290703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39398 loops (71/sec), 368410168 sampling steps, 14532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
291629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39728 loops (65/sec), 374106678 sampling steps, 14819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
292659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40083 loops (70/sec), 379861066 sampling steps, 15144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
293599 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40431 loops (69/sec), 385592320 sampling steps, 15464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
294432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40862 loops (85/sec), 392671091 sampling steps, 15850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
295660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41247 loops (77/sec), 399194301 sampling steps, 16206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
296615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41625 loops (75/sec), 405568198 sampling steps, 16556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
297624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42048 loops (84/sec), 412819601 sampling steps, 16951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
298746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42392 loops (68/sec), 418594091 sampling steps, 17267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
299625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42753 loops (72/sec), 424323687 sampling steps, 17604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
300485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43110 loops (71/sec), 430125507 sampling steps, 17941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301349 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43461 loops (70/sec), 435865849 sampling steps, 18271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
302059 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43798 loops (67/sec), 441545295 sampling steps, 18595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
302822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44151 loops (70/sec), 447351387 sampling steps, 18932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
303516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44505 loops (70/sec), 453111291 sampling steps, 19271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
304177 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44853 loops (69/sec), 458827484 sampling steps, 19597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
304912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45297 loops (88/sec), 466160216 sampling steps, 20017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45735 loops (87/sec), 473585779 sampling steps, 20435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
306746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46210 loops (94/sec), 481569636 sampling steps, 20885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
307682 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46555 loops (68/sec), 487392768 sampling steps, 21215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46911 loops (71/sec), 493179569 sampling steps, 21556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47256 loops (68/sec), 498887481 sampling steps, 21878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47593 loops (67/sec), 504579743 sampling steps, 22197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
310379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47924 loops (65/sec), 510258893 sampling steps, 22511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48271 loops (69/sec), 515952312 sampling steps, 22842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311632 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48603 loops (66/sec), 521667759 sampling steps, 23156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312242 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48939 loops (66/sec), 527403670 sampling steps, 23479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49393 loops (90/sec), 534632979 sampling steps, 23920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
313611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49800 loops (81/sec), 541338443 sampling steps, 24311 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314207 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50223 loops (84/sec), 548358433 sampling steps, 24714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315008 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50690 loops (93/sec), 555886353 sampling steps, 25161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51024 loops (66/sec), 561666810 sampling steps, 25481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316332 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51370 loops (69/sec), 567401379 sampling steps, 25816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51708 loops (67/sec), 573165516 sampling steps, 26147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52040 loops (66/sec), 578927215 sampling steps, 26471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52370 loops (65/sec), 584559959 sampling steps, 26791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52717 loops (69/sec), 590336091 sampling steps, 27123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318996 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53060 loops (68/sec), 596011111 sampling steps, 27453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53388 loops (65/sec), 601656971 sampling steps, 27769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53811 loops (84/sec), 608855556 sampling steps, 28184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320618 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54225 loops (82/sec), 615872299 sampling steps, 28584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54645 loops (83/sec), 622945424 sampling steps, 28996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321819 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55042 loops (79/sec), 629094328 sampling steps, 29381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55383 loops (68/sec), 634899852 sampling steps, 29711 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55729 loops (69/sec), 640633965 sampling steps, 30052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323320 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56077 loops (69/sec), 646349337 sampling steps, 30391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323776 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56416 loops (67/sec), 652084279 sampling steps, 30726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56757 loops (68/sec), 657885973 sampling steps, 31058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57087 loops (65/sec), 663550992 sampling steps, 31372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57418 loops (65/sec), 669243391 sampling steps, 31697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57809 loops (78/sec), 675807356 sampling steps, 32073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58185 loops (74/sec), 682326886 sampling steps, 32441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58627 loops (88/sec), 689808386 sampling steps, 32872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327294 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59075 loops (89/sec), 697480166 sampling steps, 33312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59415 loops (67/sec), 703278369 sampling steps, 33649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59769 loops (70/sec), 709085498 sampling steps, 33994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60109 loops (67/sec), 714836241 sampling steps, 34329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60457 loops (69/sec), 720579631 sampling steps, 34667 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60802 loops (68/sec), 726351763 sampling steps, 35005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329828 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61138 loops (66/sec), 732132137 sampling steps, 35336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61496 loops (71/sec), 737889434 sampling steps, 35690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61844 loops (69/sec), 743623706 sampling steps, 36033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330967 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62260 loops (83/sec), 750645094 sampling steps, 36440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331460 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62692 loops (86/sec), 757816152 sampling steps, 36867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331884 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63106 loops (82/sec), 764837190 sampling steps, 37269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332377 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63465 loops (71/sec), 770952511 sampling steps, 37620 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63807 loops (68/sec), 776774631 sampling steps, 37955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64161 loops (70/sec), 782559987 sampling steps, 38301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333580 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64482 loops (64/sec), 788258233 sampling steps, 38614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64830 loops (69/sec), 794062453 sampling steps, 38959 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65180 loops (69/sec), 799851880 sampling steps, 39305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65516 loops (66/sec), 805588450 sampling steps, 39636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335017 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65858 loops (68/sec), 811305190 sampling steps, 39976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335337 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66261 loops (80/sec), 817987393 sampling steps, 40373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66629 loops (73/sec), 824144854 sampling steps, 40735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67050 loops (84/sec), 831313385 sampling steps, 41153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67507 loops (91/sec), 838698494 sampling steps, 41608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67859 loops (70/sec), 844554152 sampling steps, 41953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337372 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68201 loops (68/sec), 850369753 sampling steps, 42289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68538 loops (67/sec), 856118908 sampling steps, 42618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68893 loops (70/sec), 861915642 sampling steps, 42968 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69257 loops (72/sec), 867741442 sampling steps, 43328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69592 loops (66/sec), 873423344 sampling steps, 43658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338992 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69922 loops (65/sec), 879153796 sampling steps, 43983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70255 loops (66/sec), 884856865 sampling steps, 44312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339629 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70681 loops (85/sec), 892099053 sampling steps, 44734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340054 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71136 loops (90/sec), 899525933 sampling steps, 45186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71589 loops (90/sec), 907168886 sampling steps, 45630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71960 loops (74/sec), 913317840 sampling steps, 45996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72298 loops (67/sec), 919039279 sampling steps, 46328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72654 loops (71/sec), 924802020 sampling steps, 46679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341850 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73012 loops (71/sec), 930591977 sampling steps, 47035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73350 loops (67/sec), 936317882 sampling steps, 47370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73679 loops (65/sec), 942037218 sampling steps, 47697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342736 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74020 loops (68/sec), 947793350 sampling steps, 48030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74359 loops (67/sec), 953484222 sampling steps, 48366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74696 loops (67/sec), 959227618 sampling steps, 48696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75152 loops (91/sec), 966774576 sampling steps, 49148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75585 loops (86/sec), 974235924 sampling steps, 49579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76050 loops (92/sec), 982042800 sampling steps, 50035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76416 loops (73/sec), 988077886 sampling steps, 50396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345040 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76755 loops (67/sec), 993842812 sampling steps, 50731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77104 loops (69/sec), 999605080 sampling steps, 51078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77445 loops (68/sec), 1005329930 sampling steps, 51419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77782 loops (67/sec), 1011079074 sampling steps, 51749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78110 loops (65/sec), 1016775011 sampling steps, 52073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78451 loops (68/sec), 1022500311 sampling steps, 52409 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78797 loops (69/sec), 1028244569 sampling steps, 52752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347118 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79233 loops (87/sec), 1035376744 sampling steps, 53183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347450 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79613 loops (75/sec), 1041694269 sampling steps, 53560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347713 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80022 loops (81/sec), 1048662402 sampling steps, 53965 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80464 loops (87/sec), 1056035555 sampling steps, 54404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80803 loops (67/sec), 1061823527 sampling steps, 54738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81156 loops (70/sec), 1067560351 sampling steps, 55084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81503 loops (69/sec), 1073304136 sampling steps, 55426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81851 loops (69/sec), 1079055171 sampling steps, 55771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82201 loops (69/sec), 1084752966 sampling steps, 56119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82559 loops (71/sec), 1090567220 sampling steps, 56474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82895 loops (66/sec), 1096226670 sampling steps, 56808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83232 loops (67/sec), 1101928515 sampling steps, 57139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83649 loops (83/sec), 1108965075 sampling steps, 57556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83978 loops (65/sec), 1114440682 sampling steps, 57880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350997 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84402 loops (84/sec), 1121674139 sampling steps, 58300 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84745 loops (68/sec), 1127567712 sampling steps, 58639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85091 loops (68/sec), 1133393749 sampling steps, 58984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85440 loops (69/sec), 1139183802 sampling steps, 59330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85763 loops (64/sec), 1144842050 sampling steps, 59652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86107 loops (68/sec), 1150631227 sampling steps, 59994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86449 loops (68/sec), 1156385837 sampling steps, 60332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86796 loops (69/sec), 1162108641 sampling steps, 60674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87122 loops (65/sec), 1167783366 sampling steps, 60990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87523 loops (80/sec), 1174583981 sampling steps, 61387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87886 loops (72/sec), 1180752052 sampling steps, 61745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88318 loops (86/sec), 1187912328 sampling steps, 62175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88754 loops (86/sec), 1195233985 sampling steps, 62606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89093 loops (67/sec), 1201002852 sampling steps, 62943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89443 loops (69/sec), 1206837531 sampling steps, 63288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354953 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89782 loops (67/sec), 1212633533 sampling steps, 63626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90125 loops (68/sec), 1218440165 sampling steps, 63967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355365 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90473 loops (69/sec), 1224230726 sampling steps, 64315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90823 loops (69/sec), 1229958157 sampling steps, 64660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355760 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91160 loops (67/sec), 1235677351 sampling steps, 64993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91495 loops (67/sec), 1241386905 sampling steps, 65327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91924 loops (85/sec), 1248687895 sampling steps, 65754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92368 loops (88/sec), 1256142220 sampling steps, 66196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92826 loops (91/sec), 1263776679 sampling steps, 66647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93177 loops (70/sec), 1269785018 sampling steps, 66997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93524 loops (69/sec), 1275597256 sampling steps, 67342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93876 loops (70/sec), 1281404755 sampling steps, 67692 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94221 loops (68/sec), 1287118454 sampling steps, 68036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94566 loops (68/sec), 1292903301 sampling steps, 68379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94917 loops (70/sec), 1298689258 sampling steps, 68729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358188 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95245 loops (65/sec), 1304391698 sampling steps, 69056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358390 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95606 loops (72/sec), 1310202184 sampling steps, 69416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95966 loops (71/sec), 1316154828 sampling steps, 69773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358758 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96383 loops (83/sec), 1323375947 sampling steps, 70188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96825 loops (88/sec), 1330827380 sampling steps, 70627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97296 loops (93/sec), 1338809969 sampling steps, 71097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97642 loops (69/sec), 1344600311 sampling steps, 71439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97988 loops (69/sec), 1350348534 sampling steps, 71784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359928 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98339 loops (70/sec), 1356109798 sampling steps, 72131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98678 loops (67/sec), 1361910804 sampling steps, 72466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360349 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99011 loops (66/sec), 1367651435 sampling steps, 72796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99354 loops (68/sec), 1373432101 sampling steps, 73137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99686 loops (66/sec), 1379175002 sampling steps, 73468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100021 loops (66/sec), 1384873673 sampling steps, 73797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100474 loops (90/sec), 1392350100 sampling steps, 74245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100912 loops (87/sec), 1399760140 sampling steps, 74679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101352 loops (87/sec), 1407007599 sampling steps, 75116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101748 loops (79/sec), 1413594185 sampling steps, 75507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102089 loops (67/sec), 1419345626 sampling steps, 75846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102441 loops (70/sec), 1425131765 sampling steps, 76195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102793 loops (70/sec), 1430965577 sampling steps, 76547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103145 loops (70/sec), 1436785471 sampling steps, 76896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362979 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103485 loops (67/sec), 1442531743 sampling steps, 77230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103820 loops (66/sec), 1448291637 sampling steps, 77563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104172 loops (70/sec), 1454235429 sampling steps, 77914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104485 loops (62/sec), 1459910793 sampling steps, 78224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104914 loops (85/sec), 1467333184 sampling steps, 78651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105343 loops (85/sec), 1474856676 sampling steps, 79080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105815 loops (94/sec), 1482769136 sampling steps, 79548 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364507 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106135 loops (63/sec), 1488465637 sampling steps, 79866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106486 loops (70/sec), 1494229510 sampling steps, 80216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106827 loops (67/sec), 1499963679 sampling steps, 80555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107169 loops (68/sec), 1505691731 sampling steps, 80893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365158 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107521 loops (70/sec), 1511407400 sampling steps, 81244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107867 loops (69/sec), 1517166400 sampling steps, 81587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365526 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108223 loops (71/sec), 1523011778 sampling steps, 81940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108562 loops (67/sec), 1528730596 sampling steps, 82277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108980 loops (83/sec), 1535851058 sampling steps, 82692 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109361 loops (76/sec), 1542173960 sampling steps, 83073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109803 loops (88/sec), 1549356941 sampling steps, 83513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110262 loops (91/sec), 1556772273 sampling steps, 83968 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366594 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110605 loops (68/sec), 1562530576 sampling steps, 84310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110941 loops (67/sec), 1568268964 sampling steps, 84645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111305 loops (72/sec), 1574065241 sampling steps, 85008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111651 loops (69/sec), 1579781985 sampling steps, 85351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111996 loops (68/sec), 1585526566 sampling steps, 85695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112332 loops (67/sec), 1591215664 sampling steps, 86029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112667 loops (66/sec), 1596951659 sampling steps, 86361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113005 loops (67/sec), 1602731415 sampling steps, 86696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113444 loops (87/sec), 1610003137 sampling steps, 87129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113879 loops (86/sec), 1617383807 sampling steps, 87559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114341 loops (92/sec), 1625076723 sampling steps, 88019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368508 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114695 loops (70/sec), 1631187613 sampling steps, 88372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115040 loops (68/sec), 1636987762 sampling steps, 88717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115390 loops (69/sec), 1642800640 sampling steps, 89065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115727 loops (67/sec), 1648541335 sampling steps, 89401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116071 loops (68/sec), 1654317330 sampling steps, 89744 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116420 loops (69/sec), 1660116223 sampling steps, 90089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116768 loops (69/sec), 1665835334 sampling steps, 90437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117123 loops (70/sec), 1671606824 sampling steps, 90790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117494 loops (74/sec), 1678050540 sampling steps, 91160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369996 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117875 loops (76/sec), 1684676036 sampling steps, 91541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118306 loops (86/sec), 1692066727 sampling steps, 91971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118761 loops (90/sec), 1699856292 sampling steps, 92425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119119 loops (71/sec), 1705718959 sampling steps, 92781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119471 loops (70/sec), 1711514332 sampling steps, 93131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119801 loops (65/sec), 1717189479 sampling steps, 93458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120148 loops (69/sec), 1722982307 sampling steps, 93805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120499 loops (70/sec), 1728829820 sampling steps, 94155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120840 loops (68/sec), 1734543834 sampling steps, 94494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371475 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121165 loops (64/sec), 1740255072 sampling steps, 94818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121525 loops (71/sec), 1746079441 sampling steps, 95178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121989 loops (92/sec), 1753582913 sampling steps, 95637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122432 loops (88/sec), 1761088449 sampling steps, 96079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122875 loops (88/sec), 1768612816 sampling steps, 96519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372310 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123243 loops (73/sec), 1774710810 sampling steps, 96886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123567 loops (64/sec), 1780433338 sampling steps, 97209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123890 loops (64/sec), 1786106173 sampling steps, 97532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372762 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124241 loops (70/sec), 1791890414 sampling steps, 97881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124579 loops (67/sec), 1797620684 sampling steps, 98219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373026 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124934 loops (70/sec), 1803385979 sampling steps, 98573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373160 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125267 loops (66/sec), 1809112205 sampling steps, 98905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373290 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125613 loops (69/sec), 1814900427 sampling steps, 99249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373418 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125948 loops (66/sec), 1820556165 sampling steps, 99583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126400 loops (90/sec), 1828027240 sampling steps, 100033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126834 loops (86/sec), 1835465689 sampling steps, 100466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373900 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127310 loops (95/sec), 1843324527 sampling steps, 100941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127653 loops (68/sec), 1849117374 sampling steps, 101282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374209 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127988 loops (66/sec), 1854887395 sampling steps, 101615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128328 loops (67/sec), 1860643769 sampling steps, 101953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374542 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128657 loops (65/sec), 1866394337 sampling steps, 102281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129000 loops (68/sec), 1872173035 sampling steps, 102622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374823 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129335 loops (66/sec), 1877935188 sampling steps, 102955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129681 loops (69/sec), 1883711355 sampling steps, 103301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375063 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130022 loops (68/sec), 1889464066 sampling steps, 103642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130453 loops (86/sec), 1896795998 sampling steps, 104072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130911 loops (91/sec), 1904405546 sampling steps, 104529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131348 loops (87/sec), 1911945312 sampling steps, 104963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131701 loops (70/sec), 1917811962 sampling steps, 105313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375948 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132049 loops (69/sec), 1923624786 sampling steps, 105660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132392 loops (68/sec), 1929394962 sampling steps, 106003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132723 loops (66/sec), 1935101854 sampling steps, 106334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133057 loops (66/sec), 1940858823 sampling steps, 106668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376449 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133383 loops (65/sec), 1946583885 sampling steps, 106993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133720 loops (67/sec), 1952309206 sampling steps, 107330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134062 loops (68/sec), 1958074424 sampling steps, 107672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134468 loops (81/sec), 1964675167 sampling steps, 108078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376938 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134873 loops (80/sec), 1971313888 sampling steps, 108483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135312 loops (87/sec), 1978764752 sampling steps, 108919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135774 loops (92/sec), 1986458830 sampling steps, 109379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136119 loops (68/sec), 1992213405 sampling steps, 109722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136447 loops (64/sec), 1997944714 sampling steps, 110049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377652 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136790 loops (68/sec), 2003707295 sampling steps, 110389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137130 loops (67/sec), 2009477807 sampling steps, 110726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137462 loops (66/sec), 2015159840 sampling steps, 111058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137789 loops (65/sec), 2020856182 sampling steps, 111384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378205 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138135 loops (69/sec), 2026587177 sampling steps, 111725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138463 loops (65/sec), 2032207723 sampling steps, 112051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138888 loops (84/sec), 2039443450 sampling steps, 112474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139305 loops (83/sec), 2046594413 sampling steps, 112890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139688 loops (76/sec), 2053117105 sampling steps, 113273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140090 loops (79/sec), 2059868046 sampling steps, 113673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140427 loops (67/sec), 2065637920 sampling steps, 114010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379154 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140756 loops (65/sec), 2071377302 sampling steps, 114339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379268 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141099 loops (68/sec), 2077199759 sampling steps, 114681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141434 loops (66/sec), 2082938321 sampling steps, 115016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141784 loops (69/sec), 2088703918 sampling steps, 115366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142127 loops (68/sec), 2094471274 sampling steps, 115708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142483 loops (71/sec), 2100213234 sampling steps, 116064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142848 loops (73/sec), 2106009713 sampling steps, 116428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143283 loops (86/sec), 2113390777 sampling steps, 116860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143732 loops (89/sec), 2120871086 sampling steps, 117307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144182 loops (89/sec), 2128659146 sampling steps, 117756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380445 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144521 loops (67/sec), 2134443291 sampling steps, 118095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144857 loops (67/sec), 2140137920 sampling steps, 118429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145205 loops (69/sec), 2145919420 sampling steps, 118777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145552 loops (69/sec), 2151705723 sampling steps, 119122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145900 loops (69/sec), 2157448127 sampling steps, 119470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146248 loops (69/sec), 2163170409 sampling steps, 119817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146572 loops (64/sec), 2168864652 sampling steps, 120140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146918 loops (69/sec), 2174594061 sampling steps, 120485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147336 loops (83/sec), 2181733261 sampling steps, 120901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147770 loops (86/sec), 2188963313 sampling steps, 121335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148155 loops (76/sec), 2195764700 sampling steps, 121719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148522 loops (73/sec), 2202159129 sampling steps, 122086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148865 loops (68/sec), 2207945970 sampling steps, 122427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149187 loops (64/sec), 2213611963 sampling steps, 122749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149521 loops (66/sec), 2219359817 sampling steps, 123083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382257 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149862 loops (68/sec), 2225105711 sampling steps, 123424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150200 loops (67/sec), 2230858604 sampling steps, 123761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150536 loops (67/sec), 2236573366 sampling steps, 124096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150882 loops (69/sec), 2242327775 sampling steps, 124440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0166449546814 seconds since the total time limit of 1800.0 seconds was exceeded.