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/majority/majority.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8751 loops (1750/sec), 16406081 sampling steps, 3489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
62072 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:
14431 loops (1135/sec), 34153831 sampling steps, 8511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
76758 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:
20157 loops (1144/sec), 52814128 sampling steps, 13969 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
85056 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:
25748 loops (1118/sec), 71487170 sampling steps, 19428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
90874 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:
31333 loops (1117/sec), 90384800 sampling steps, 24929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
95204 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:
36927 loops (1118/sec), 109135260 sampling steps, 30470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
98553 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:
42495 loops (1113/sec), 127858793 sampling steps, 35988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
101351 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:
48156 loops (1132/sec), 146766027 sampling steps, 41629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
103581 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:
53785 loops (1125/sec), 165640392 sampling steps, 47230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105785 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:
59355 loops (1114/sec), 184308028 sampling steps, 52772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107560 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:
65010 loops (1131/sec), 203087961 sampling steps, 58404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109115 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:
70591 loops (1115/sec), 221817238 sampling steps, 63961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110596 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:
76091 loops (1100/sec), 240349942 sampling steps, 69447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111955 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:
81638 loops (1109/sec), 258992137 sampling steps, 74983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113197 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:
87181 loops (1108/sec), 277696126 sampling steps, 80516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114331 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:
92609 loops (1085/sec), 295984602 sampling steps, 85925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115486 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:
98151 loops (1108/sec), 314675470 sampling steps, 91456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116493 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:
103641 loops (1097/sec), 333363610 sampling steps, 96936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117447 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:
109117 loops (1095/sec), 351983635 sampling steps, 102403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118364 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:
114694 loops (1115/sec), 370712694 sampling steps, 107975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119061 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:
120288 loops (1118/sec), 389345641 sampling steps, 113563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119797 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:
125910 loops (1124/sec), 408192881 sampling steps, 119180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120525 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:
131443 loops (1106/sec), 426901736 sampling steps, 124702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121295 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:
137009 loops (1113/sec), 445605177 sampling steps, 130260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121889 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:
142594 loops (1117/sec), 464163420 sampling steps, 135840 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122565 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:
148177 loops (1116/sec), 482910531 sampling steps, 141421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123076 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:
153723 loops (1109/sec), 501661814 sampling steps, 146962 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123683 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:
159364 loops (1128/sec), 520640333 sampling steps, 152602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124236 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:
165002 loops (1127/sec), 539675618 sampling steps, 158234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124792 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:
170768 loops (1152/sec), 558743584 sampling steps, 163995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125333 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:
176408 loops (1128/sec), 577795269 sampling steps, 169630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125853 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:
182136 loops (1145/sec), 596866380 sampling steps, 175356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126313 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:
187883 loops (1149/sec), 615937089 sampling steps, 181097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126865 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:
193557 loops (1134/sec), 634983875 sampling steps, 186769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
127360 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:
199175 loops (1123/sec), 654006813 sampling steps, 192385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
127809 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:
204688 loops (1102/sec), 672733681 sampling steps, 197893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
128346 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:
210094 loops (1081/sec), 690950645 sampling steps, 203294 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
128749 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:
215608 loops (1102/sec), 709577646 sampling steps, 208808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
129127 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:
221263 loops (1131/sec), 728415381 sampling steps, 214458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
129535 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:
226803 loops (1107/sec), 747094238 sampling steps, 219996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
129882 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:
232334 loops (1106/sec), 765785563 sampling steps, 225525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
130300 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:
238002 loops (1133/sec), 784661606 sampling steps, 231191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
130684 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:
243602 loops (1120/sec), 803414595 sampling steps, 236791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
130988 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:
249132 loops (1105/sec), 822089999 sampling steps, 242316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
131340 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:
254691 loops (1111/sec), 840823494 sampling steps, 247872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
131707 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:
260280 loops (1117/sec), 859519816 sampling steps, 253460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
132000 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:
265850 loops (1114/sec), 878260893 sampling steps, 259024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
132332 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:
271464 loops (1122/sec), 897023989 sampling steps, 264635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
132617 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:
277052 loops (1117/sec), 915977332 sampling steps, 270221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
132922 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:
282743 loops (1137/sec), 934923301 sampling steps, 275910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133229 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:
288411 loops (1133/sec), 953757599 sampling steps, 281575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133537 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:
294083 loops (1134/sec), 972592345 sampling steps, 287244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133810 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:
299789 loops (1141/sec), 991587720 sampling steps, 292949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134108 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:
305436 loops (1129/sec), 1010664443 sampling steps, 298593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134351 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:
311105 loops (1133/sec), 1029658410 sampling steps, 304261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134593 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:
316685 loops (1116/sec), 1048575326 sampling steps, 309839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134868 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:
322374 loops (1137/sec), 1067655347 sampling steps, 315528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135047 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:
328009 loops (1126/sec), 1086719230 sampling steps, 321162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135319 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:
333528 loops (1103/sec), 1105290885 sampling steps, 326680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135582 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:
339150 loops (1124/sec), 1124251711 sampling steps, 332301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135828 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:
344791 loops (1128/sec), 1143182086 sampling steps, 337939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136062 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:
350418 loops (1125/sec), 1162089067 sampling steps, 343564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136326 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:
356028 loops (1122/sec), 1181007292 sampling steps, 349172 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136577 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:
361663 loops (1127/sec), 1200079339 sampling steps, 354806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136785 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:
367409 loops (1149/sec), 1219140523 sampling steps, 360550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137031 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:
373128 loops (1143/sec), 1238182846 sampling steps, 366268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137262 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:
378763 loops (1126/sec), 1257223716 sampling steps, 371902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137463 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:
384489 loops (1145/sec), 1276280937 sampling steps, 377627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137635 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:
390196 loops (1141/sec), 1295333675 sampling steps, 383333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
137799 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:
396018 loops (1164/sec), 1314369255 sampling steps, 389154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138011 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:
401693 loops (1135/sec), 1333400535 sampling steps, 394829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138197 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:
407321 loops (1125/sec), 1352428672 sampling steps, 400453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138427 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:
412946 loops (1125/sec), 1371337805 sampling steps, 406078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138610 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:
418486 loops (1108/sec), 1390031443 sampling steps, 411615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138794 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:
424075 loops (1117/sec), 1408868465 sampling steps, 417204 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138921 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:
429714 loops (1127/sec), 1427777350 sampling steps, 422843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139073 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:
435207 loops (1098/sec), 1446500748 sampling steps, 428334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139235 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:
440820 loops (1122/sec), 1465408583 sampling steps, 433945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139429 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:
446428 loops (1121/sec), 1484173351 sampling steps, 439552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139609 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:
452018 loops (1118/sec), 1502967073 sampling steps, 445141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139803 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:
457589 loops (1114/sec), 1521810108 sampling steps, 450709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140023 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:
463289 loops (1140/sec), 1540645473 sampling steps, 456408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140193 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:
468810 loops (1104/sec), 1559477402 sampling steps, 461928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140350 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:
474358 loops (1109/sec), 1577938745 sampling steps, 467474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140488 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:
479969 loops (1122/sec), 1596846968 sampling steps, 473085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140627 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:
485626 loops (1131/sec), 1615797722 sampling steps, 478740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140800 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:
491293 loops (1133/sec), 1634801389 sampling steps, 484407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
140925 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:
496968 loops (1135/sec), 1653829612 sampling steps, 490081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141061 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:
502600 loops (1126/sec), 1672841856 sampling steps, 495712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141219 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:
508263 loops (1132/sec), 1691885545 sampling steps, 501374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141356 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:
513939 loops (1135/sec), 1710957476 sampling steps, 507049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141502 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:
519578 loops (1127/sec), 1729984197 sampling steps, 512684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141643 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:
525301 loops (1144/sec), 1749034463 sampling steps, 518406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141773 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:
530960 loops (1131/sec), 1768122659 sampling steps, 524065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141894 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:
536593 loops (1126/sec), 1787166490 sampling steps, 529696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142047 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:
542274 loops (1136/sec), 1806215406 sampling steps, 535376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142207 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:
547842 loops (1113/sec), 1824971027 sampling steps, 540942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142321 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:
553485 loops (1128/sec), 1843848411 sampling steps, 546584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142420 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:
559174 loops (1137/sec), 1862922197 sampling steps, 552271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142516 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:
564769 loops (1119/sec), 1881989070 sampling steps, 557866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142625 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:
570436 loops (1133/sec), 1901055655 sampling steps, 563532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142785 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:
576112 loops (1135/sec), 1920127963 sampling steps, 569206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142939 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:
581771 loops (1131/sec), 1939197547 sampling steps, 574863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143068 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:
587383 loops (1122/sec), 1958256960 sampling steps, 580475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143171 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:
593081 loops (1139/sec), 1977340958 sampling steps, 586172 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143317 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:
598792 loops (1141/sec), 1996467668 sampling steps, 591883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143463 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:
604469 loops (1135/sec), 2015528630 sampling steps, 597560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143586 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:
610024 loops (1111/sec), 2034051479 sampling steps, 603115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143697 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:
615650 loops (1125/sec), 2053011128 sampling steps, 608739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143839 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:
621309 loops (1131/sec), 2072040666 sampling steps, 614398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143962 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:
627056 loops (1149/sec), 2090982790 sampling steps, 620144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144073 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:
632679 loops (1124/sec), 2110035687 sampling steps, 625766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144212 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:
638398 loops (1143/sec), 2129074549 sampling steps, 631485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144355 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:
644035 loops (1127/sec), 2148067654 sampling steps, 637122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144461 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:
649747 loops (1142/sec), 2166976576 sampling steps, 642833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144536 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:
655322 loops (1115/sec), 2185733758 sampling steps, 648408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144624 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:
660927 loops (1121/sec), 2204590453 sampling steps, 654013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144709 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:
666557 loops (1126/sec), 2223529192 sampling steps, 659640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144840 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:
672231 loops (1134/sec), 2242439737 sampling steps, 665314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
144931 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:
677797 loops (1113/sec), 2261480057 sampling steps, 670879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145033 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:
683556 loops (1151/sec), 2280492677 sampling steps, 676637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145139 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:
689157 loops (1120/sec), 2299549361 sampling steps, 682237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145232 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:
694786 loops (1125/sec), 2318652235 sampling steps, 687866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145345 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:
700516 loops (1146/sec), 2337782780 sampling steps, 693595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145434 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:
706224 loops (1141/sec), 2356913102 sampling steps, 699302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145542 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:
711929 loops (1141/sec), 2376052263 sampling steps, 705007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145623 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:
717674 loops (1149/sec), 2395188216 sampling steps, 710752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145720 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:
723339 loops (1133/sec), 2414247772 sampling steps, 716417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145811 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:
729021 loops (1136/sec), 2433298979 sampling steps, 722098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145924 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:
734553 loops (1106/sec), 2452080772 sampling steps, 727630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146007 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:
740194 loops (1128/sec), 2471010223 sampling steps, 733271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146078 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:
745770 loops (1115/sec), 2489826572 sampling steps, 738847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146152 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:
751309 loops (1107/sec), 2508592260 sampling steps, 744386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146219 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:
756662 loops (1070/sec), 2526790267 sampling steps, 749738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146318 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:
762168 loops (1101/sec), 2545553721 sampling steps, 755243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146413 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:
767682 loops (1102/sec), 2564128694 sampling steps, 760756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146529 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:
773253 loops (1114/sec), 2582791158 sampling steps, 766326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146655 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:
778839 loops (1117/sec), 2601567320 sampling steps, 771911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146781 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:
784407 loops (1113/sec), 2620371922 sampling steps, 777479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146875 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:
789917 loops (1102/sec), 2639067117 sampling steps, 782989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146956 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:
795507 loops (1118/sec), 2657785240 sampling steps, 788577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147084 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:
801084 loops (1115/sec), 2676634047 sampling steps, 794154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147178 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:
806721 loops (1127/sec), 2695429538 sampling steps, 799791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147280 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:
812340 loops (1123/sec), 2714272613 sampling steps, 805410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147360 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:
817963 loops (1124/sec), 2733260912 sampling steps, 811030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147523 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:
823633 loops (1134/sec), 2752281056 sampling steps, 816700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147598 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:
829320 loops (1137/sec), 2771334771 sampling steps, 822385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147722 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:
834999 loops (1135/sec), 2790232139 sampling steps, 828063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147848 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:
840553 loops (1110/sec), 2809010729 sampling steps, 833617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147905 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:
846152 loops (1119/sec), 2827873123 sampling steps, 839216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
147988 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:
851740 loops (1117/sec), 2846674927 sampling steps, 844804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148039 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:
857308 loops (1113/sec), 2865528099 sampling steps, 850372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148101 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:
862852 loops (1108/sec), 2884304708 sampling steps, 855915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148171 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:
868512 loops (1132/sec), 2903098775 sampling steps, 861575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148244 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:
874079 loops (1113/sec), 2921992225 sampling steps, 867141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148341 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:
879654 loops (1115/sec), 2940715246 sampling steps, 872715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148424 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:
885148 loops (1098/sec), 2959376512 sampling steps, 878209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148514 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:
890733 loops (1117/sec), 2978187909 sampling steps, 883794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148577 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:
896388 loops (1130/sec), 2997149142 sampling steps, 889449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148655 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:
901763 loops (1075/sec), 3015303573 sampling steps, 894823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148722 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:
907423 loops (1132/sec), 3034131275 sampling steps, 900482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148786 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:
913073 loops (1130/sec), 3052978262 sampling steps, 906132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148836 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:
918708 loops (1126/sec), 3071891682 sampling steps, 911767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148917 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:
924353 loops (1129/sec), 3090938595 sampling steps, 917411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149016 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:
929988 loops (1126/sec), 3109995288 sampling steps, 923046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149080 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:
935680 loops (1138/sec), 3129078005 sampling steps, 928738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149150 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:
941392 loops (1142/sec), 3148163472 sampling steps, 934450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149239 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:
947109 loops (1143/sec), 3167221526 sampling steps, 940167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149296 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:
952769 loops (1132/sec), 3186203058 sampling steps, 945827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149368 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:
958381 loops (1122/sec), 3205225253 sampling steps, 951438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149452 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:
964039 loops (1131/sec), 3224302776 sampling steps, 957096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149505 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:
969773 loops (1146/sec), 3243409518 sampling steps, 962830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149569 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:
975420 loops (1129/sec), 3262495716 sampling steps, 968475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149643 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:
981098 loops (1135/sec), 3281593427 sampling steps, 974153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149711 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:
986669 loops (1114/sec), 3300684379 sampling steps, 979724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149780 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:
992256 loops (1117/sec), 3319787117 sampling steps, 985311 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149845 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:
997960 loops (1140/sec), 3338899854 sampling steps, 991014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149902 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:
1003649 loops (1137/sec), 3357881868 sampling steps, 996702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149983 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:
1009303 loops (1130/sec), 3376798966 sampling steps, 1002354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150081 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:
1014897 loops (1118/sec), 3395889207 sampling steps, 1007948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150149 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:
1020592 loops (1139/sec), 3414939688 sampling steps, 1013642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150245 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:
1026305 loops (1142/sec), 3434024055 sampling steps, 1019355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150296 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:
1032009 loops (1140/sec), 3453165318 sampling steps, 1025058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150384 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:
1037635 loops (1125/sec), 3472301681 sampling steps, 1030684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150426 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:
1043293 loops (1131/sec), 3491336477 sampling steps, 1036341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150525 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:
1048714 loops (1084/sec), 3509890403 sampling steps, 1041762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150581 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:
1054413 loops (1139/sec), 3528946509 sampling steps, 1047461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150646 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:
1059988 loops (1115/sec), 3547967842 sampling steps, 1053036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150681 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:
1065658 loops (1134/sec), 3567005699 sampling steps, 1058704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150754 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:
1071335 loops (1135/sec), 3586053631 sampling steps, 1064381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150821 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:
1076984 loops (1129/sec), 3605101531 sampling steps, 1070029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150870 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:
1082680 loops (1138/sec), 3624151153 sampling steps, 1075723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150944 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:
1088344 loops (1132/sec), 3643130811 sampling steps, 1081387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151001 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:
1094002 loops (1131/sec), 3662142221 sampling steps, 1087044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151060 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:
1099669 loops (1133/sec), 3681198840 sampling steps, 1092711 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151118 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:
1105351 loops (1136/sec), 3700305345 sampling steps, 1098393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151190 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:
1111101 loops (1150/sec), 3719392844 sampling steps, 1104143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151267 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:
1116734 loops (1126/sec), 3738468743 sampling steps, 1109776 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151337 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:
1122311 loops (1115/sec), 3757427451 sampling steps, 1115353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151379 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:
1127929 loops (1123/sec), 3776146257 sampling steps, 1120970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151447 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:
1133471 loops (1108/sec), 3795058456 sampling steps, 1126511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151520 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:
1139043 loops (1114/sec), 3813852155 sampling steps, 1132083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151574 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:
1144728 loops (1137/sec), 3832785727 sampling steps, 1137768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151630 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:
1150376 loops (1129/sec), 3851714258 sampling steps, 1143414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151719 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:
1155968 loops (1118/sec), 3870490978 sampling steps, 1149006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151775 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:
1161621 loops (1130/sec), 3889307111 sampling steps, 1154659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151815 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:
1167359 loops (1147/sec), 3908354948 sampling steps, 1160397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151885 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:
1172939 loops (1116/sec), 3927282366 sampling steps, 1165977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151935 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:
1178603 loops (1132/sec), 3946283908 sampling steps, 1171641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151997 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:
1184268 loops (1133/sec), 3965334812 sampling steps, 1177306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152065 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:
1190024 loops (1151/sec), 3984469997 sampling steps, 1183060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152142 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:
1195636 loops (1122/sec), 4003397797 sampling steps, 1188671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152211 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:
1201209 loops (1114/sec), 4021698979 sampling steps, 1194244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152259 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:
1206825 loops (1122/sec), 4040507572 sampling steps, 1199860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152319 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:
1212382 loops (1111/sec), 4059287480 sampling steps, 1205417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152386 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:
1217898 loops (1103/sec), 4078020029 sampling steps, 1210932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152454 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:
1223445 loops (1109/sec), 4096671470 sampling steps, 1216479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152510 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:
1228990 loops (1109/sec), 4115605471 sampling steps, 1222024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152570 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:
1234698 loops (1141/sec), 4134618983 sampling steps, 1227732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152628 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:
1240266 loops (1113/sec), 4153548568 sampling steps, 1233299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152712 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:
1245955 loops (1137/sec), 4172650681 sampling steps, 1238988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152761 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:
1251560 loops (1121/sec), 4191704961 sampling steps, 1244593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152837 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:
1257234 loops (1134/sec), 4210755873 sampling steps, 1250267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152900 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:
1262802 loops (1113/sec), 4229836092 sampling steps, 1255835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152966 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:
1268450 loops (1129/sec), 4248933664 sampling steps, 1261483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153008 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:
1274159 loops (1141/sec), 4268059002 sampling steps, 1267192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153051 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:
1279889 loops (1146/sec), 4287182839 sampling steps, 1272922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153090 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:
1285607 loops (1143/sec), 4306274790 sampling steps, 1278639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153153 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:
1291281 loops (1134/sec), 4325276397 sampling steps, 1284312 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153204 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:
1297066 loops (1157/sec), 4344322217 sampling steps, 1290097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153252 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:
1302755 loops (1137/sec), 4363406877 sampling steps, 1295786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153289 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:
1308448 loops (1138/sec), 4382491786 sampling steps, 1301478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153383 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:
1314029 loops (1116/sec), 4401445609 sampling steps, 1307059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153426 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:
1319675 loops (1128/sec), 4420189443 sampling steps, 1312704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153487 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:
1325352 loops (1135/sec), 4439072028 sampling steps, 1318381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153527 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:
1330976 loops (1124/sec), 4457964979 sampling steps, 1324005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153562 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:
1336674 loops (1139/sec), 4477070391 sampling steps, 1329703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153612 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:
1342274 loops (1119/sec), 4496165479 sampling steps, 1335303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153652 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:
1347915 loops (1128/sec), 4515093327 sampling steps, 1340944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153687 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:
1353364 loops (1089/sec), 4533316976 sampling steps, 1346393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153731 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:
1358931 loops (1113/sec), 4552096407 sampling steps, 1351960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153769 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:
1364478 loops (1109/sec), 4570843189 sampling steps, 1357507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153824 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:
1370226 loops (1149/sec), 4589927507 sampling steps, 1363255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153886 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:
1375894 loops (1133/sec), 4608951439 sampling steps, 1368923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153918 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:
1381578 loops (1136/sec), 4627928989 sampling steps, 1374607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153972 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:
1387243 loops (1133/sec), 4647004746 sampling steps, 1380271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154025 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:
1392873 loops (1125/sec), 4666073666 sampling steps, 1385901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154069 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:
1398546 loops (1134/sec), 4685148521 sampling steps, 1391573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154136 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:
1404232 loops (1137/sec), 4704231575 sampling steps, 1397259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154154 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:
1409888 loops (1131/sec), 4723321279 sampling steps, 1402915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154197 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:
1415624 loops (1147/sec), 4742436114 sampling steps, 1408651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154242 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:
1421349 loops (1145/sec), 4761525422 sampling steps, 1414376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154285 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:
1426992 loops (1128/sec), 4780537074 sampling steps, 1420019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154352 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:
1432653 loops (1131/sec), 4799580700 sampling steps, 1425680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154403 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:
1438279 loops (1124/sec), 4818681757 sampling steps, 1431306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154434 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:
1443935 loops (1131/sec), 4837777272 sampling steps, 1436962 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154477 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:
1449617 loops (1136/sec), 4856880477 sampling steps, 1442644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154520 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:
1455231 loops (1122/sec), 4875871851 sampling steps, 1448258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154577 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:
1460876 loops (1129/sec), 4894729675 sampling steps, 1453903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154629 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:
1466515 loops (1127/sec), 4913597470 sampling steps, 1459542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154666 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:
1472194 loops (1135/sec), 4932479133 sampling steps, 1465221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154726 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:
1477993 loops (1159/sec), 4951508204 sampling steps, 1471019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154771 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:
1483561 loops (1113/sec), 4970317110 sampling steps, 1476587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154802 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:
1489156 loops (1119/sec), 4989186045 sampling steps, 1482182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154835 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:
1494763 loops (1121/sec), 5008192083 sampling steps, 1487789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154875 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:
1500427 loops (1132/sec), 5027115997 sampling steps, 1493453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154917 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:
1505853 loops (1085/sec), 5045387120 sampling steps, 1498879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154949 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:
1511420 loops (1113/sec), 5064140305 sampling steps, 1504446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154972 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:
1517000 loops (1116/sec), 5082866629 sampling steps, 1510025 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155016 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:
1522623 loops (1124/sec), 5101705654 sampling steps, 1515648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155079 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:
1528216 loops (1118/sec), 5120439888 sampling steps, 1521241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155123 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:
1533816 loops (1120/sec), 5139342300 sampling steps, 1526840 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155183 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:
1539561 loops (1149/sec), 5158429080 sampling steps, 1532584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155223 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:
1545191 loops (1126/sec), 5177473038 sampling steps, 1538214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155258 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:
1550918 loops (1145/sec), 5196561725 sampling steps, 1543941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155289 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:
1556533 loops (1123/sec), 5215618624 sampling steps, 1549556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155312 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:
1562115 loops (1116/sec), 5234619293 sampling steps, 1555138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155361 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:
1567804 loops (1137/sec), 5253642565 sampling steps, 1560827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155381 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:
1573460 loops (1130/sec), 5272717078 sampling steps, 1566482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155414 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:
1579177 loops (1143/sec), 5291809430 sampling steps, 1572197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155468 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:
1584913 loops (1147/sec), 5310913010 sampling steps, 1577933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155511 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:
1590593 loops (1136/sec), 5330002835 sampling steps, 1583613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155544 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:
1596368 loops (1155/sec), 5349113170 sampling steps, 1589388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155582 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:
1602062 loops (1138/sec), 5368207382 sampling steps, 1595081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155625 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:
1607661 loops (1119/sec), 5387113674 sampling steps, 1600680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155668 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:
1613280 loops (1123/sec), 5405982249 sampling steps, 1606299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155718 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:
1618906 loops (1125/sec), 5424910706 sampling steps, 1611925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155762 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:
1624395 loops (1097/sec), 5443811992 sampling steps, 1617414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155792 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:
1630027 loops (1126/sec), 5462667856 sampling steps, 1623046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155839 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:
1635792 loops (1153/sec), 5481765749 sampling steps, 1628811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155863 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:
1641467 loops (1135/sec), 5500888297 sampling steps, 1634486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155891 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:
1647151 loops (1136/sec), 5519873079 sampling steps, 1640170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155949 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:
1652765 loops (1122/sec), 5538707465 sampling steps, 1645784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155973 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:
1658317 loops (1110/sec), 5557696237 sampling steps, 1651336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156002 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:
1663831 loops (1102/sec), 5576208719 sampling steps, 1656849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156044 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:
1669542 loops (1142/sec), 5595266096 sampling steps, 1662560 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156079 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:
1675246 loops (1140/sec), 5614339666 sampling steps, 1668264 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156109 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:
1680909 loops (1132/sec), 5633402989 sampling steps, 1673927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156151 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:
1686617 loops (1141/sec), 5652474269 sampling steps, 1679635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156192 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:
1692206 loops (1117/sec), 5671534456 sampling steps, 1685224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156212 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:
1697821 loops (1123/sec), 5690497019 sampling steps, 1690839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156246 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:
1703447 loops (1125/sec), 5709326625 sampling steps, 1696465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156268 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:
1709063 loops (1123/sec), 5728142383 sampling steps, 1702081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156306 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:
1714618 loops (1111/sec), 5747002501 sampling steps, 1707636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156327 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:
1720165 loops (1109/sec), 5765823363 sampling steps, 1713183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156348 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:
1725798 loops (1126/sec), 5784781499 sampling steps, 1718816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156386 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:
1731363 loops (1113/sec), 5803604021 sampling steps, 1724381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156425 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:
1736986 loops (1124/sec), 5822605459 sampling steps, 1730004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156449 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:
1742612 loops (1125/sec), 5841442350 sampling steps, 1735629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156494 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:
1748250 loops (1127/sec), 5860275793 sampling steps, 1741267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156533 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:
1753866 loops (1123/sec), 5879045097 sampling steps, 1746883 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156594 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:
1759432 loops (1113/sec), 5897939825 sampling steps, 1752449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156655 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:
1765099 loops (1133/sec), 5916852040 sampling steps, 1758116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156672 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:
1770725 loops (1125/sec), 5935656404 sampling steps, 1763742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156710 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:
1776398 loops (1134/sec), 5954509231 sampling steps, 1769413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156749 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:
1781962 loops (1112/sec), 5973452294 sampling steps, 1774977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156785 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:
1787654 loops (1138/sec), 5992584667 sampling steps, 1780669 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156822 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:
1793241 loops (1117/sec), 6011699472 sampling steps, 1786256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156853 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:
1798908 loops (1133/sec), 6030809212 sampling steps, 1791923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156878 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:
1804596 loops (1137/sec), 6049927348 sampling steps, 1797611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156904 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:
1810277 loops (1136/sec), 6069055944 sampling steps, 1803292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156937 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:
1815862 loops (1117/sec), 6087599583 sampling steps, 1808877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156955 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:
1821497 loops (1126/sec), 6106610238 sampling steps, 1814512 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
156975 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:
1827142 loops (1129/sec), 6125629727 sampling steps, 1820157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157002 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:
1832690 loops (1109/sec), 6144284633 sampling steps, 1825705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157015 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:
1838322 loops (1126/sec), 6163179922 sampling steps, 1831337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157059 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:
1843823 loops (1100/sec), 6181938616 sampling steps, 1836838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157115 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:
1849423 loops (1120/sec), 6200841684 sampling steps, 1842438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157148 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:
1855041 loops (1123/sec), 6219694000 sampling steps, 1848056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157170 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:
1860705 loops (1132/sec), 6238633885 sampling steps, 1853720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157192 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:
1866306 loops (1119/sec), 6257558618 sampling steps, 1859320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157224 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:
1871988 loops (1136/sec), 6276484681 sampling steps, 1865002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157279 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:
1877520 loops (1106/sec), 6295356475 sampling steps, 1870534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157314 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:
1883152 loops (1126/sec), 6314261945 sampling steps, 1876166 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157342 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:
1888736 loops (1116/sec), 6333101584 sampling steps, 1881750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157362 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:
1894418 loops (1136/sec), 6352136005 sampling steps, 1887432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157401 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:
1900088 loops (1134/sec), 6371180000 sampling steps, 1893102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157436 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:
1905757 loops (1133/sec), 6390245348 sampling steps, 1898771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157473 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:
1911380 loops (1124/sec), 6409342840 sampling steps, 1904393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157521 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:
1917101 loops (1144/sec), 6428467074 sampling steps, 1910113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157556 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:
1922779 loops (1135/sec), 6447536552 sampling steps, 1915790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157601 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:
1928456 loops (1135/sec), 6466642700 sampling steps, 1921467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157633 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:
1934120 loops (1132/sec), 6485755349 sampling steps, 1927131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157649 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:
1939807 loops (1137/sec), 6504889351 sampling steps, 1932818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157695 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:
1945490 loops (1136/sec), 6524008854 sampling steps, 1938501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157724 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:
1951189 loops (1139/sec), 6543133912 sampling steps, 1944199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157760 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:
1956846 loops (1131/sec), 6562256088 sampling steps, 1949856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157804 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:
1962530 loops (1136/sec), 6581354392 sampling steps, 1955540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157835 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:
1968135 loops (1121/sec), 6600385827 sampling steps, 1961145 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157864 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:
1973642 loops (1101/sec), 6618849332 sampling steps, 1966652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157877 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:
1979300 loops (1131/sec), 6637884237 sampling steps, 1972310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157906 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:
1984933 loops (1126/sec), 6656902092 sampling steps, 1977942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157947 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:
1990544 loops (1122/sec), 6675942199 sampling steps, 1983553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157972 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:
1996155 loops (1122/sec), 6694991374 sampling steps, 1989164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157995 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:
2001800 loops (1129/sec), 6713881793 sampling steps, 1994809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158011 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:
2007366 loops (1113/sec), 6732728918 sampling steps, 2000375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158044 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:
2013041 loops (1135/sec), 6751752247 sampling steps, 2006050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158092 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:
2018628 loops (1117/sec), 6770642415 sampling steps, 2011637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158139 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:
2024235 loops (1121/sec), 6789445111 sampling steps, 2017244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.007331609726 seconds since the total time limit of 1800.0 seconds was exceeded.