Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism --const N=7 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14926 loops (2985/sec), 9199312 sampling steps, 665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143274 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19903 loops (995/sec), 22873720 sampling steps, 1432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23327 loops (684/sec), 36911241 sampling steps, 2424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26004 loops (535/sec), 50063801 sampling steps, 3599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
237451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28512 loops (501/sec), 63852126 sampling steps, 4940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
254748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30914 loops (480/sec), 78206984 sampling steps, 6480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
269583 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33243 loops (465/sec), 92624531 sampling steps, 8166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
282467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35473 loops (445/sec), 106997971 sampling steps, 9918 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
293646 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37670 loops (439/sec), 121387287 sampling steps, 11724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
303613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39850 loops (435/sec), 135880462 sampling steps, 13597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42032 loops (436/sec), 150375453 sampling steps, 15534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44191 loops (431/sec), 164856521 sampling steps, 17505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46301 loops (422/sec), 179390583 sampling steps, 19434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48400 loops (419/sec), 193873444 sampling steps, 21393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341166 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50562 loops (432/sec), 208525910 sampling steps, 23435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347144 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52662 loops (420/sec), 223109712 sampling steps, 25430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54714 loops (410/sec), 237696123 sampling steps, 27389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357924 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56862 loops (429/sec), 252322169 sampling steps, 29484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58979 loops (423/sec), 267035678 sampling steps, 31547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61079 loops (420/sec), 281670284 sampling steps, 33597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63204 loops (425/sec), 296348111 sampling steps, 35678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375605 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65300 loops (418/sec), 311066492 sampling steps, 37730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67390 loops (418/sec), 325713758 sampling steps, 39786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69508 loops (423/sec), 340435880 sampling steps, 41875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71585 loops (415/sec), 355093266 sampling steps, 43929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73671 loops (417/sec), 369767124 sampling steps, 45993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75777 loops (421/sec), 384432661 sampling steps, 48079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77880 loops (420/sec), 399104921 sampling steps, 50167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80011 loops (426/sec), 413781386 sampling steps, 52286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82116 loops (420/sec), 428551992 sampling steps, 54381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84234 loops (423/sec), 443274244 sampling steps, 56483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408648 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86348 loops (422/sec), 458046262 sampling steps, 58587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88454 loops (421/sec), 472752105 sampling steps, 60682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
414006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90544 loops (417/sec), 487510023 sampling steps, 62766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
416465 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92634 loops (418/sec), 502242100 sampling steps, 64848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
418880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94735 loops (420/sec), 516998361 sampling steps, 66942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
421283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96840 loops (420/sec), 531674477 sampling steps, 69042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
423516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98999 loops (431/sec), 546409005 sampling steps, 71194 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
425772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101136 loops (427/sec), 561189818 sampling steps, 73325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
427875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103222 loops (417/sec), 575911992 sampling steps, 75406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105341 loops (423/sec), 590684192 sampling steps, 77519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
432083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107455 loops (422/sec), 605487409 sampling steps, 79630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
434034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109564 loops (421/sec), 620245170 sampling steps, 81734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
435930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111681 loops (423/sec), 635054575 sampling steps, 83851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113783 loops (420/sec), 649849747 sampling steps, 85948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439680 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115891 loops (421/sec), 664665865 sampling steps, 88055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118075 loops (436/sec), 679502201 sampling steps, 90238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120199 loops (424/sec), 694324269 sampling steps, 92362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122300 loops (420/sec), 709059878 sampling steps, 94462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124400 loops (420/sec), 723835357 sampling steps, 96558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448493 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126549 loops (429/sec), 738666477 sampling steps, 98703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128721 loops (434/sec), 753501643 sampling steps, 100872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130881 loops (432/sec), 768294846 sampling steps, 103030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132992 loops (422/sec), 783146068 sampling steps, 105139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
454986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135137 loops (428/sec), 797965562 sampling steps, 107284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
456480 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137187 loops (409/sec), 812403715 sampling steps, 109332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
457920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139287 loops (419/sec), 827158217 sampling steps, 111430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
459393 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141377 loops (417/sec), 841929832 sampling steps, 113519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
460824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143490 loops (422/sec), 856722200 sampling steps, 115629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
462202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145596 loops (421/sec), 871503396 sampling steps, 117735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
463616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147733 loops (427/sec), 886272694 sampling steps, 119869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
465012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149857 loops (424/sec), 901061977 sampling steps, 121992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
466428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151925 loops (413/sec), 915841671 sampling steps, 124058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
467801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154122 loops (439/sec), 930756616 sampling steps, 126255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
469104 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156253 loops (426/sec), 945638823 sampling steps, 128386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
470389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158432 loops (435/sec), 960579737 sampling steps, 130565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
471637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160545 loops (422/sec), 975445067 sampling steps, 132676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
472902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162704 loops (431/sec), 990330629 sampling steps, 134834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
474197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164843 loops (427/sec), 1005210803 sampling steps, 136972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
475443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166906 loops (412/sec), 1019952734 sampling steps, 139032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
476755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169055 loops (429/sec), 1034821086 sampling steps, 141180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
478004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171184 loops (425/sec), 1049632546 sampling steps, 143307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
479200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173279 loops (418/sec), 1064408473 sampling steps, 145402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
480355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175395 loops (423/sec), 1079213564 sampling steps, 147517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
481541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177497 loops (420/sec), 1094064597 sampling steps, 149618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
482669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179604 loops (421/sec), 1108895491 sampling steps, 151725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
483796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181699 loops (418/sec), 1123737221 sampling steps, 153820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
484895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183836 loops (427/sec), 1138626879 sampling steps, 155956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
486056 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185955 loops (423/sec), 1153468077 sampling steps, 158075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
487125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188077 loops (424/sec), 1168339863 sampling steps, 160197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
488174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190154 loops (415/sec), 1183162716 sampling steps, 162272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
489258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192287 loops (426/sec), 1198041923 sampling steps, 164405 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
490329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194424 loops (427/sec), 1212883143 sampling steps, 166541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
491308 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196545 loops (424/sec), 1227717152 sampling steps, 168662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
492295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198666 loops (424/sec), 1242499256 sampling steps, 170783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
493245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200811 loops (429/sec), 1257333966 sampling steps, 172927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
494246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202928 loops (423/sec), 1272178116 sampling steps, 175044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
495236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205031 loops (420/sec), 1287011771 sampling steps, 177147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
496225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207120 loops (417/sec), 1301874319 sampling steps, 179236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
497212 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209224 loops (420/sec), 1316735796 sampling steps, 181339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
498176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211358 loops (426/sec), 1331612287 sampling steps, 183472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
499143 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213473 loops (422/sec), 1346540671 sampling steps, 185587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
500080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215576 loops (420/sec), 1361391716 sampling steps, 187690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
501060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217689 loops (422/sec), 1376293075 sampling steps, 189803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
501958 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219827 loops (427/sec), 1391163910 sampling steps, 191941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
502799 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221951 loops (424/sec), 1406057607 sampling steps, 194064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
503699 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224087 loops (427/sec), 1420921333 sampling steps, 196200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
504552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226243 loops (431/sec), 1435803111 sampling steps, 198356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
505351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228326 loops (416/sec), 1450700873 sampling steps, 200439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
506190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230479 loops (430/sec), 1465625956 sampling steps, 202592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507079 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232594 loops (423/sec), 1480541112 sampling steps, 204707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234730 loops (427/sec), 1495453179 sampling steps, 206842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
508774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236865 loops (426/sec), 1510337978 sampling steps, 208977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
509662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238997 loops (426/sec), 1525253402 sampling steps, 211109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
510496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241131 loops (426/sec), 1540125770 sampling steps, 213243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
511355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243243 loops (422/sec), 1555003381 sampling steps, 215355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
512218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245354 loops (422/sec), 1569878146 sampling steps, 217466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513040 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247484 loops (425/sec), 1584734047 sampling steps, 219595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249592 loops (421/sec), 1599526634 sampling steps, 221703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
514745 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251718 loops (425/sec), 1614360487 sampling steps, 223829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
515489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253809 loops (418/sec), 1629228962 sampling steps, 225919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
516277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255960 loops (430/sec), 1644136625 sampling steps, 228070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
517039 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258082 loops (424/sec), 1659021989 sampling steps, 230192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
517785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259863 loops (356/sec), 1671425096 sampling steps, 231973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
518400 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261976 loops (422/sec), 1686264592 sampling steps, 234086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264076 loops (419/sec), 1701062705 sampling steps, 236186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266219 loops (428/sec), 1715926793 sampling steps, 238329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
520589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268314 loops (419/sec), 1730716424 sampling steps, 240424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270453 loops (427/sec), 1745599244 sampling steps, 242563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
522100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272561 loops (421/sec), 1760390200 sampling steps, 244671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
522771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274685 loops (424/sec), 1775197093 sampling steps, 246795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
523533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276854 loops (433/sec), 1790066002 sampling steps, 248964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
524248 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278987 loops (426/sec), 1804984904 sampling steps, 251097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
524934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281062 loops (415/sec), 1819838124 sampling steps, 253171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
525657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283187 loops (425/sec), 1834707683 sampling steps, 255296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
526345 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285305 loops (423/sec), 1849615176 sampling steps, 257414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
527075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287399 loops (418/sec), 1864439788 sampling steps, 259508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
527742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289548 loops (429/sec), 1879362888 sampling steps, 261657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
528400 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291686 loops (427/sec), 1894237155 sampling steps, 263795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
529106 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293878 loops (438/sec), 1909144302 sampling steps, 265987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
529737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295998 loops (423/sec), 1924031207 sampling steps, 268107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
530398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298096 loops (419/sec), 1938946135 sampling steps, 270205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
531097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300220 loops (424/sec), 1953790917 sampling steps, 272329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
531727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
302360 loops (427/sec), 1968666664 sampling steps, 274469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
532351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304462 loops (420/sec), 1983546283 sampling steps, 276571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
533002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306615 loops (430/sec), 1998465218 sampling steps, 278724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
533630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308746 loops (426/sec), 2013353946 sampling steps, 280855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
534248 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310889 loops (428/sec), 2028309101 sampling steps, 282998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
534842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313055 loops (433/sec), 2043251565 sampling steps, 285164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
535433 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315191 loops (427/sec), 2058149020 sampling steps, 287300 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
536073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317297 loops (421/sec), 2073023174 sampling steps, 289406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
536678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319404 loops (421/sec), 2087934591 sampling steps, 291513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
537275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321502 loops (419/sec), 2102864359 sampling steps, 293610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
537890 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323607 loops (420/sec), 2117713709 sampling steps, 295715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
538491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325775 loops (433/sec), 2132570094 sampling steps, 297883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
539090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327879 loops (420/sec), 2147406388 sampling steps, 299987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
539689 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329991 loops (422/sec), 2162297384 sampling steps, 302099 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
540344 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332138 loops (429/sec), 2177195108 sampling steps, 304246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
540943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334305 loops (433/sec), 2192146538 sampling steps, 306413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
541494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336416 loops (422/sec), 2207057901 sampling steps, 308524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
542100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338544 loops (425/sec), 2221997257 sampling steps, 310652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
542706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340737 loops (438/sec), 2236964795 sampling steps, 312845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
543243 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342874 loops (427/sec), 2251866174 sampling steps, 314982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
543786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344973 loops (419/sec), 2266758680 sampling steps, 317081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
544371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347102 loops (425/sec), 2281675311 sampling steps, 319210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
544986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349239 loops (427/sec), 2296606293 sampling steps, 321347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
545574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351355 loops (423/sec), 2311447643 sampling steps, 323463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
546156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353518 loops (432/sec), 2326381153 sampling steps, 325626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
546751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355658 loops (428/sec), 2341303332 sampling steps, 327766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
547307 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357833 loops (434/sec), 2356264967 sampling steps, 329941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
547871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360012 loops (435/sec), 2371226797 sampling steps, 332120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
548420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362148 loops (427/sec), 2386192410 sampling steps, 334256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
548977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364299 loops (430/sec), 2401155722 sampling steps, 336406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
549512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366427 loops (425/sec), 2416093427 sampling steps, 338534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
550057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368539 loops (422/sec), 2431039141 sampling steps, 340646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
550604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370671 loops (426/sec), 2445975805 sampling steps, 342778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
551138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372809 loops (427/sec), 2460879907 sampling steps, 344916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
551683 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374929 loops (424/sec), 2475787499 sampling steps, 347036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
552228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377070 loops (428/sec), 2490673451 sampling steps, 349177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
552755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379162 loops (418/sec), 2505584753 sampling steps, 351269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
553260 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381349 loops (437/sec), 2520588640 sampling steps, 353456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
553717 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383483 loops (426/sec), 2535569687 sampling steps, 355590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
554248 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385649 loops (432/sec), 2550538124 sampling steps, 357756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
554795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387755 loops (421/sec), 2565467460 sampling steps, 359862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
555303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389858 loops (420/sec), 2580427868 sampling steps, 361965 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
555797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392005 loops (429/sec), 2595383242 sampling steps, 364112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
556280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394105 loops (419/sec), 2610341647 sampling steps, 366212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
556814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396265 loops (432/sec), 2625311363 sampling steps, 368372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
557295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398395 loops (425/sec), 2640299586 sampling steps, 370502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
557817 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400524 loops (425/sec), 2655215920 sampling steps, 372631 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
558303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402739 loops (443/sec), 2670152382 sampling steps, 374846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
558757 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404820 loops (416/sec), 2685042788 sampling steps, 376926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
559279 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406976 loops (431/sec), 2700027277 sampling steps, 379082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
559782 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409112 loops (427/sec), 2715004809 sampling steps, 381218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
560241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411221 loops (421/sec), 2729928346 sampling steps, 383327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
560738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413344 loops (424/sec), 2744892331 sampling steps, 385450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
561227 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415478 loops (426/sec), 2759884917 sampling steps, 387584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
561689 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417624 loops (429/sec), 2774847036 sampling steps, 389730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
562165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419813 loops (437/sec), 2789835958 sampling steps, 391919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
562662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
421932 loops (423/sec), 2804786961 sampling steps, 394038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
563165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
424086 loops (430/sec), 2819768023 sampling steps, 396192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
563650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
426191 loops (421/sec), 2834712992 sampling steps, 398297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
564171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428333 loops (428/sec), 2849632220 sampling steps, 400439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
564661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
430473 loops (427/sec), 2864568749 sampling steps, 402579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
565121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
432575 loops (420/sec), 2879515058 sampling steps, 404681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
565551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434739 loops (432/sec), 2894502814 sampling steps, 406845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
566001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436927 loops (437/sec), 2909491479 sampling steps, 409033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
566466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439059 loops (426/sec), 2924480683 sampling steps, 411165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
566895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
441199 loops (427/sec), 2939487355 sampling steps, 413305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
567363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443324 loops (424/sec), 2954459034 sampling steps, 415430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
567821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445456 loops (426/sec), 2969442794 sampling steps, 417562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
568275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447578 loops (424/sec), 2984397357 sampling steps, 419684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
568701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
449759 loops (436/sec), 2999421741 sampling steps, 421865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
569111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451927 loops (433/sec), 3014434484 sampling steps, 424033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
569574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454082 loops (430/sec), 3029382812 sampling steps, 426188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
569982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456241 loops (431/sec), 3044344506 sampling steps, 428347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
570407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
458339 loops (419/sec), 3059303702 sampling steps, 430445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
570892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460449 loops (421/sec), 3074277034 sampling steps, 432555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
571317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462592 loops (428/sec), 3089290591 sampling steps, 434698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
571718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464733 loops (428/sec), 3104285764 sampling steps, 436839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
572165 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
466867 loops (426/sec), 3119232987 sampling steps, 438973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
572598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468991 loops (424/sec), 3134192629 sampling steps, 441097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
573006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471157 loops (433/sec), 3149185291 sampling steps, 443263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
573416 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
473276 loops (423/sec), 3164137819 sampling steps, 445382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
573856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475439 loops (432/sec), 3179142042 sampling steps, 447545 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
574265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477552 loops (422/sec), 3194106023 sampling steps, 449658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
574675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
479674 loops (424/sec), 3208991150 sampling steps, 451780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
575087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481774 loops (420/sec), 3223868784 sampling steps, 453880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
575480 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483892 loops (423/sec), 3238792364 sampling steps, 455998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
575895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486007 loops (422/sec), 3253769355 sampling steps, 458113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
576326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488144 loops (427/sec), 3268769419 sampling steps, 460250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
576725 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
490256 loops (422/sec), 3283768474 sampling steps, 462362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
577180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492347 loops (418/sec), 3298735767 sampling steps, 464453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
577590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494513 loops (433/sec), 3313737191 sampling steps, 466619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
577980 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
496633 loops (423/sec), 3328715231 sampling steps, 468739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
578380 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
498732 loops (419/sec), 3343650392 sampling steps, 470838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
578772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
500872 loops (428/sec), 3358629039 sampling steps, 472978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
579156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
502971 loops (419/sec), 3373572125 sampling steps, 475077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
579617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
505090 loops (423/sec), 3388472053 sampling steps, 477196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
580001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
507211 loops (424/sec), 3403400528 sampling steps, 479317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
580389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
509330 loops (423/sec), 3418352680 sampling steps, 481436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
580805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511457 loops (425/sec), 3433296934 sampling steps, 483563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
581208 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
513596 loops (427/sec), 3448265292 sampling steps, 485702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
581604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
515747 loops (430/sec), 3463234606 sampling steps, 487853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582005 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517858 loops (422/sec), 3478186085 sampling steps, 489963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520029 loops (434/sec), 3493210381 sampling steps, 492134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
582779 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
522140 loops (422/sec), 3508172458 sampling steps, 494245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
583163 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
524248 loops (421/sec), 3523132652 sampling steps, 496353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
583565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526396 loops (429/sec), 3538111379 sampling steps, 498501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
583957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528529 loops (426/sec), 3553088130 sampling steps, 500634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
584334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
530676 loops (429/sec), 3567986663 sampling steps, 502781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
584679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
532810 loops (426/sec), 3582915545 sampling steps, 504914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
585057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
534948 loops (427/sec), 3597915875 sampling steps, 507052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
585416 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
537043 loops (419/sec), 3612891057 sampling steps, 509147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
585793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539199 loops (431/sec), 3627889258 sampling steps, 511303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
586157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541323 loops (424/sec), 3642858925 sampling steps, 513427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
586549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
543449 loops (425/sec), 3657887041 sampling steps, 515553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
586895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
545606 loops (431/sec), 3672926783 sampling steps, 517710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
587287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547754 loops (429/sec), 3687934615 sampling steps, 519858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
587678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549882 loops (425/sec), 3702927369 sampling steps, 521986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
588039 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552007 loops (424/sec), 3717896399 sampling steps, 524111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
588426 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
554146 loops (427/sec), 3732869931 sampling steps, 526250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
588770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
556254 loops (421/sec), 3747764960 sampling steps, 528358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
589162 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558357 loops (420/sec), 3762701001 sampling steps, 530461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
589491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
560480 loops (424/sec), 3777713420 sampling steps, 532584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
589826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
562644 loops (432/sec), 3792737746 sampling steps, 534748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
590190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564747 loops (420/sec), 3807698146 sampling steps, 536851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
590564 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
566922 loops (435/sec), 3822700445 sampling steps, 539026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
590913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
569051 loops (425/sec), 3837673595 sampling steps, 541155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
591306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
571195 loops (428/sec), 3852667879 sampling steps, 543299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
591668 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573373 loops (435/sec), 3867707557 sampling steps, 545477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
592031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
575493 loops (423/sec), 3882709803 sampling steps, 547597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
592373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
577661 loops (433/sec), 3897724172 sampling steps, 549765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
592752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
579812 loops (430/sec), 3912710211 sampling steps, 551916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
593091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
581957 loops (428/sec), 3927640144 sampling steps, 554061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
593418 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
584076 loops (423/sec), 3942565066 sampling steps, 556180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
593762 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
586217 loops (428/sec), 3957520548 sampling steps, 558321 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
594068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
588372 loops (431/sec), 3972511650 sampling steps, 560476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
594424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
590527 loops (431/sec), 3987486977 sampling steps, 562631 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
594814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
592641 loops (422/sec), 4002453882 sampling steps, 564745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
595178 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594800 loops (431/sec), 4017450715 sampling steps, 566904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
595519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
596936 loops (427/sec), 4032426113 sampling steps, 569040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
595870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
599077 loops (428/sec), 4047439862 sampling steps, 571181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
596220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601233 loops (431/sec), 4062467315 sampling steps, 573337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
596529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
603337 loops (420/sec), 4077425998 sampling steps, 575441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
596898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
605494 loops (431/sec), 4092428293 sampling steps, 577598 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
597258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
607647 loops (430/sec), 4107366574 sampling steps, 579751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
597608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
609809 loops (432/sec), 4122339841 sampling steps, 581913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
597932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
611923 loops (422/sec), 4137357296 sampling steps, 584027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
598265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
614040 loops (423/sec), 4152339279 sampling steps, 586144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
598610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
616208 loops (433/sec), 4167354846 sampling steps, 588312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
598975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
618353 loops (428/sec), 4182370679 sampling steps, 590457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
620522 loops (433/sec), 4197403515 sampling steps, 592626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
622708 loops (437/sec), 4212437685 sampling steps, 594812 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
599940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624870 loops (432/sec), 4227456621 sampling steps, 596974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
600249 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
627007 loops (427/sec), 4242472068 sampling steps, 599111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
600572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
629226 loops (443/sec), 4257561407 sampling steps, 601330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
600889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
631393 loops (433/sec), 4272556702 sampling steps, 603497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
633468 loops (414/sec), 4287443772 sampling steps, 605572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
635624 loops (431/sec), 4302427399 sampling steps, 607728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
601857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
637788 loops (432/sec), 4317455519 sampling steps, 609892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
602184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639952 loops (432/sec), 4332485502 sampling steps, 612056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
602513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
642040 loops (417/sec), 4347453729 sampling steps, 614144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
602836 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
644185 loops (428/sec), 4362455914 sampling steps, 616289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646325 loops (428/sec), 4377450852 sampling steps, 618429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
648467 loops (428/sec), 4392451366 sampling steps, 620571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
603791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
650642 loops (435/sec), 4407482652 sampling steps, 622746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
604122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
652764 loops (424/sec), 4422474537 sampling steps, 624868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
604422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
654920 loops (430/sec), 4437524183 sampling steps, 627024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
604704 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
657036 loops (422/sec), 4452491653 sampling steps, 629140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
605037 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
659171 loops (427/sec), 4467432685 sampling steps, 631275 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
605354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
661276 loops (421/sec), 4482373559 sampling steps, 633380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
605662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
663369 loops (418/sec), 4497331583 sampling steps, 635473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
605961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665504 loops (426/sec), 4512239076 sampling steps, 637608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
606279 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
667651 loops (429/sec), 4527207827 sampling steps, 639755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
606583 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
669800 loops (429/sec), 4542162305 sampling steps, 641904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
606905 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671936 loops (427/sec), 4557103917 sampling steps, 644040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
607209 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
674086 loops (429/sec), 4572085172 sampling steps, 646190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
607488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
676255 loops (433/sec), 4587094141 sampling steps, 648359 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
607772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
678402 loops (429/sec), 4602055039 sampling steps, 650506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608072 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
680509 loops (421/sec), 4617021834 sampling steps, 652613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608352 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
682650 loops (428/sec), 4631988581 sampling steps, 654754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
684767 loops (423/sec), 4646880113 sampling steps, 656871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
608951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
686912 loops (428/sec), 4661844132 sampling steps, 659016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
609222 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
689029 loops (423/sec), 4676828228 sampling steps, 661133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
609522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
691129 loops (420/sec), 4691770780 sampling steps, 663233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
609815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
693286 loops (431/sec), 4706723277 sampling steps, 665390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
695380 loops (418/sec), 4721652036 sampling steps, 667484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610403 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
697553 loops (434/sec), 4736696690 sampling steps, 669657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699704 loops (430/sec), 4751694157 sampling steps, 671808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
610958 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
701853 loops (429/sec), 4766692725 sampling steps, 673957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
611227 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
704033 loops (436/sec), 4781726936 sampling steps, 676137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
611520 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
706198 loops (432/sec), 4796844356 sampling steps, 678301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
611798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
708403 loops (440/sec), 4812260389 sampling steps, 680506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612107 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
710561 loops (431/sec), 4827605383 sampling steps, 682664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612435 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
712788 loops (445/sec), 4843009978 sampling steps, 684891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
612738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
714990 loops (440/sec), 4858439407 sampling steps, 687093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
613053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
717169 loops (435/sec), 4873890320 sampling steps, 689272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
613379 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
719358 loops (437/sec), 4889318292 sampling steps, 691461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
613679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
721564 loops (441/sec), 4904754108 sampling steps, 693667 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
613975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
723818 loops (450/sec), 4920218643 sampling steps, 695921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
614281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
725945 loops (425/sec), 4935605440 sampling steps, 698048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
614578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
728169 loops (444/sec), 4951032124 sampling steps, 700272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
614869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
730349 loops (435/sec), 4966455739 sampling steps, 702452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
615161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
732493 loops (428/sec), 4981825336 sampling steps, 704596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
615447 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
734711 loops (443/sec), 4997224422 sampling steps, 706814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
615751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
736902 loops (438/sec), 5012553971 sampling steps, 709005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616033 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
739105 loops (440/sec), 5027935020 sampling steps, 711208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
741350 loops (448/sec), 5043389303 sampling steps, 713453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
743550 loops (439/sec), 5058787260 sampling steps, 715653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
616870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
745804 loops (450/sec), 5074197749 sampling steps, 717907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
748008 loops (440/sec), 5089585084 sampling steps, 720111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
750214 loops (440/sec), 5105014049 sampling steps, 722317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
617707 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
752391 loops (435/sec), 5120410084 sampling steps, 724493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
618034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
754565 loops (434/sec), 5135804671 sampling steps, 726667 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
618298 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
756744 loops (435/sec), 5151177057 sampling steps, 728846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
618586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
758891 loops (429/sec), 5166568961 sampling steps, 730993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
618877 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
761094 loops (440/sec), 5181966535 sampling steps, 733196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619136 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
763240 loops (429/sec), 5197281232 sampling steps, 735342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
765449 loops (441/sec), 5212633129 sampling steps, 737551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
767638 loops (437/sec), 5228040388 sampling steps, 739740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
619971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
769812 loops (434/sec), 5243473969 sampling steps, 741914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
620247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
772032 loops (443/sec), 5258905964 sampling steps, 744133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
620571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
774239 loops (441/sec), 5274321020 sampling steps, 746340 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
620853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
776404 loops (432/sec), 5289732238 sampling steps, 748505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778162 loops (351/sec), 5302203862 sampling steps, 750263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621370 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
780352 loops (437/sec), 5317549293 sampling steps, 752453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
782573 loops (444/sec), 5332941932 sampling steps, 754674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
621909 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
784773 loops (439/sec), 5348297330 sampling steps, 756874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
622172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0096604824066 seconds since the total time limit of 1800.0 seconds was exceeded.