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/polling/polling.12.prism approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6949 loops (1389/sec), 14432109 sampling steps, 1073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
63395 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:
9612 loops (532/sec), 32410953 sampling steps, 3735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
66637 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:
12326 loops (542/sec), 50789017 sampling steps, 6449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
68033 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:
15048 loops (544/sec), 69193077 sampling steps, 9171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
68875 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:
17787 loops (547/sec), 87653179 sampling steps, 11910 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69452 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:
20521 loops (546/sec), 106108362 sampling steps, 14644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69889 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:
23082 loops (512/sec), 123400147 sampling steps, 17205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70178 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:
25538 loops (491/sec), 139904624 sampling steps, 19661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70405 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:
28112 loops (514/sec), 157192497 sampling steps, 22235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70597 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:
30797 loops (537/sec), 175287893 sampling steps, 24920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70799 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:
33582 loops (556/sec), 193992891 sampling steps, 27705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70952 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:
36355 loops (554/sec), 212628303 sampling steps, 30478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71100 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:
39090 loops (547/sec), 231046152 sampling steps, 33213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71220 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:
41830 loops (548/sec), 249525095 sampling steps, 35953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71351 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:
44616 loops (557/sec), 268330291 sampling steps, 38739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71460 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:
47407 loops (558/sec), 287136637 sampling steps, 41530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71544 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:
50200 loops (558/sec), 305944183 sampling steps, 44323 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71634 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:
52958 loops (551/sec), 324557435 sampling steps, 47081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71709 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:
55724 loops (553/sec), 343247533 sampling steps, 49847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71794 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:
58512 loops (557/sec), 362069009 sampling steps, 52635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71870 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:
61302 loops (557/sec), 380896059 sampling steps, 55425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71934 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:
64036 loops (546/sec), 399393024 sampling steps, 58159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71992 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:
66795 loops (551/sec), 418027474 sampling steps, 60918 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72036 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:
69524 loops (545/sec), 436438398 sampling steps, 63647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72080 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:
72225 loops (540/sec), 454685080 sampling steps, 66348 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72123 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:
75010 loops (557/sec), 473444870 sampling steps, 69133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72170 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:
77797 loops (557/sec), 492263867 sampling steps, 71920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72224 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:
80575 loops (555/sec), 511043586 sampling steps, 74698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72265 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:
83371 loops (559/sec), 529841921 sampling steps, 77494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72314 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:
86164 loops (558/sec), 548659934 sampling steps, 80287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72342 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:
88956 loops (558/sec), 567434437 sampling steps, 83079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72381 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:
91749 loops (558/sec), 586239716 sampling steps, 85872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72414 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:
94529 loops (556/sec), 604981854 sampling steps, 88652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72446 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:
97291 loops (552/sec), 623612962 sampling steps, 91414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72482 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:
100038 loops (549/sec), 642099311 sampling steps, 94161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72509 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:
102817 loops (555/sec), 660831850 sampling steps, 96940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72539 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:
105597 loops (555/sec), 679555078 sampling steps, 99720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72568 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:
108379 loops (556/sec), 698292408 sampling steps, 102502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72595 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:
111155 loops (555/sec), 717040320 sampling steps, 105278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72619 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:
113951 loops (559/sec), 735870199 sampling steps, 108074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72650 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:
116737 loops (557/sec), 754651590 sampling steps, 110860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72674 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:
119489 loops (550/sec), 773209120 sampling steps, 113612 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72691 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:
122203 loops (542/sec), 791523163 sampling steps, 116326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72713 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:
124981 loops (555/sec), 810248858 sampling steps, 119104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72728 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:
127700 loops (543/sec), 828589255 sampling steps, 121823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72743 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:
130395 loops (539/sec), 846731237 sampling steps, 124518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72758 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:
133166 loops (554/sec), 865423294 sampling steps, 127289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72779 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:
135903 loops (547/sec), 883871515 sampling steps, 130026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72799 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:
138674 loops (554/sec), 902588758 sampling steps, 132797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72811 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:
141441 loops (553/sec), 921274506 sampling steps, 135564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72829 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:
144230 loops (557/sec), 940085194 sampling steps, 138353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72839 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:
147017 loops (557/sec), 958893819 sampling steps, 141140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72848 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:
149815 loops (559/sec), 977721700 sampling steps, 143938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72859 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:
152607 loops (558/sec), 996563332 sampling steps, 146730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72870 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:
155392 loops (557/sec), 1015283857 sampling steps, 149515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72883 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:
158144 loops (550/sec), 1033837776 sampling steps, 152267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72897 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:
160911 loops (553/sec), 1052555629 sampling steps, 155034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72915 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:
163696 loops (557/sec), 1071363703 sampling steps, 157819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72929 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:
166487 loops (558/sec), 1090192355 sampling steps, 160610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72935 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:
169268 loops (556/sec), 1108982001 sampling steps, 163391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72947 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:
172050 loops (556/sec), 1127758028 sampling steps, 166173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72966 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:
174841 loops (558/sec), 1146547131 sampling steps, 168964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72975 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:
177635 loops (558/sec), 1165401640 sampling steps, 171758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72982 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:
180443 loops (561/sec), 1184283992 sampling steps, 174566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72991 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:
183254 loops (562/sec), 1203168485 sampling steps, 177377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73001 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:
186038 loops (556/sec), 1221869487 sampling steps, 180161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73015 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:
188789 loops (550/sec), 1240395023 sampling steps, 182912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73030 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:
191570 loops (556/sec), 1259183835 sampling steps, 185693 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73043 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:
194366 loops (559/sec), 1278011711 sampling steps, 188489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73054 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:
197158 loops (558/sec), 1296772783 sampling steps, 191281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73057 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:
199959 loops (560/sec), 1315572341 sampling steps, 194082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73063 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:
202747 loops (557/sec), 1334377914 sampling steps, 196870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73075 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:
205528 loops (556/sec), 1353146397 sampling steps, 199651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73087 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:
208264 loops (547/sec), 1371610388 sampling steps, 202387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73092 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:
211057 loops (558/sec), 1390401681 sampling steps, 205180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73100 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:
213825 loops (553/sec), 1409095731 sampling steps, 207948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73104 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:
216580 loops (550/sec), 1427675695 sampling steps, 210703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73107 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:
219347 loops (553/sec), 1446347774 sampling steps, 213470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73120 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:
222130 loops (556/sec), 1465147434 sampling steps, 216253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73131 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:
224931 loops (560/sec), 1483978388 sampling steps, 219054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73134 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:
227734 loops (560/sec), 1502806987 sampling steps, 221857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73147 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:
230525 loops (558/sec), 1521631863 sampling steps, 224648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73154 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:
233314 loops (557/sec), 1540482480 sampling steps, 227437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73157 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:
236106 loops (558/sec), 1559305954 sampling steps, 230229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73162 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:
238893 loops (557/sec), 1578070349 sampling steps, 233016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73174 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:
241679 loops (557/sec), 1596847852 sampling steps, 235802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73179 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:
244453 loops (554/sec), 1615552468 sampling steps, 238576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73181 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:
247208 loops (551/sec), 1634139029 sampling steps, 241331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73184 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:
250012 loops (560/sec), 1652985804 sampling steps, 244135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73188 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:
252820 loops (561/sec), 1671860625 sampling steps, 246943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73196 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:
255610 loops (558/sec), 1690712831 sampling steps, 249733 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73197 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:
258409 loops (559/sec), 1709586256 sampling steps, 252532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73204 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:
261204 loops (559/sec), 1728475180 sampling steps, 255327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73207 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:
263953 loops (549/sec), 1747014394 sampling steps, 258076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73210 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:
266673 loops (543/sec), 1765346694 sampling steps, 260796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73213 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:
269394 loops (544/sec), 1783673884 sampling steps, 263517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73216 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:
272100 loops (541/sec), 1801930315 sampling steps, 266223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73222 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:
274825 loops (545/sec), 1820300330 sampling steps, 268948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73224 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:
277575 loops (550/sec), 1838853083 sampling steps, 271698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73227 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:
280349 loops (554/sec), 1857557781 sampling steps, 274472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73238 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:
283005 loops (531/sec), 1875459131 sampling steps, 277128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73241 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:
285568 loops (512/sec), 1892692423 sampling steps, 279691 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73242 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:
288180 loops (522/sec), 1910352306 sampling steps, 282303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73246 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:
290786 loops (521/sec), 1927920778 sampling steps, 284909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73250 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:
293373 loops (517/sec), 1945433140 sampling steps, 287496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73255 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:
295975 loops (520/sec), 1963000725 sampling steps, 290098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73259 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:
298588 loops (522/sec), 1980612071 sampling steps, 292711 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73260 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:
301157 loops (513/sec), 1997933804 sampling steps, 295280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73263 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:
303724 loops (513/sec), 2015261676 sampling steps, 297847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73264 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:
306359 loops (526/sec), 2033099111 sampling steps, 300482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73268 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:
309123 loops (552/sec), 2051758842 sampling steps, 303246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73271 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:
311914 loops (558/sec), 2070554432 sampling steps, 306037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73275 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:
314699 loops (557/sec), 2089321678 sampling steps, 308822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73278 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:
317491 loops (558/sec), 2108108109 sampling steps, 311614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73283 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:
320287 loops (559/sec), 2126911787 sampling steps, 314410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73288 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:
323088 loops (560/sec), 2145719919 sampling steps, 317211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73293 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:
325880 loops (558/sec), 2164535394 sampling steps, 320003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73296 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:
328650 loops (554/sec), 2183266268 sampling steps, 322773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73300 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:
331410 loops (551/sec), 2201822011 sampling steps, 325533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73303 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:
334163 loops (550/sec), 2220417394 sampling steps, 328286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73306 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:
336938 loops (554/sec), 2239107989 sampling steps, 331061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73308 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:
339724 loops (557/sec), 2257861143 sampling steps, 333847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73311 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:
342519 loops (558/sec), 2276696597 sampling steps, 336642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73315 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:
345317 loops (559/sec), 2295500898 sampling steps, 339440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73321 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:
348112 loops (559/sec), 2314343550 sampling steps, 342235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73325 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:
350907 loops (559/sec), 2333163710 sampling steps, 345030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73328 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:
353710 loops (560/sec), 2352008695 sampling steps, 347833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73331 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:
356471 loops (552/sec), 2370612690 sampling steps, 350594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73335 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:
359237 loops (552/sec), 2389194332 sampling steps, 353360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73336 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:
361981 loops (548/sec), 2407640627 sampling steps, 356104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73339 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:
364767 loops (557/sec), 2426379945 sampling steps, 358890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73340 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:
367539 loops (554/sec), 2445109970 sampling steps, 361662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73342 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:
370298 loops (551/sec), 2463774910 sampling steps, 364421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73345 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:
373076 loops (555/sec), 2482488077 sampling steps, 367199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73346 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:
375853 loops (555/sec), 2501267602 sampling steps, 369976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73349 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:
378627 loops (554/sec), 2520059015 sampling steps, 372750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73349 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:
381411 loops (556/sec), 2538839739 sampling steps, 375534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73353 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:
384201 loops (557/sec), 2557652703 sampling steps, 378324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73356 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:
386984 loops (556/sec), 2576372752 sampling steps, 381107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73361 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:
389731 loops (549/sec), 2594931346 sampling steps, 383854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73363 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:
392499 loops (553/sec), 2613568191 sampling steps, 386622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73365 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:
395285 loops (557/sec), 2632343072 sampling steps, 389408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73367 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:
398066 loops (556/sec), 2651090347 sampling steps, 392189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73373 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:
400850 loops (556/sec), 2669865326 sampling steps, 394973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73375 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:
403615 loops (552/sec), 2688540746 sampling steps, 397738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73381 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:
406392 loops (555/sec), 2707232849 sampling steps, 400515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73384 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:
409165 loops (554/sec), 2725999405 sampling steps, 403288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73389 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:
411948 loops (556/sec), 2744789140 sampling steps, 406071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73389 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:
414738 loops (558/sec), 2763581097 sampling steps, 408861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73392 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:
417494 loops (551/sec), 2782217207 sampling steps, 411617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73392 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:
420241 loops (549/sec), 2800715143 sampling steps, 414364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73398 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:
423024 loops (556/sec), 2819479866 sampling steps, 417147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73398 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:
425808 loops (556/sec), 2838273281 sampling steps, 419931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73399 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:
428560 loops (550/sec), 2856859745 sampling steps, 422683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73400 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:
431348 loops (557/sec), 2875613652 sampling steps, 425471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73402 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:
434132 loops (556/sec), 2894364903 sampling steps, 428255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73402 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:
436904 loops (554/sec), 2913064171 sampling steps, 431027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73403 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:
439663 loops (551/sec), 2931754811 sampling steps, 433786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73405 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:
442442 loops (555/sec), 2950524479 sampling steps, 436565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73407 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:
445219 loops (555/sec), 2969271159 sampling steps, 439342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73410 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:
447981 loops (552/sec), 2987878474 sampling steps, 442104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73412 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:
450731 loops (550/sec), 3006452830 sampling steps, 444854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73414 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:
453514 loops (556/sec), 3025254587 sampling steps, 447637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73416 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:
456306 loops (558/sec), 3044080667 sampling steps, 450429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73416 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:
459090 loops (556/sec), 3062891622 sampling steps, 453213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73417 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:
461877 loops (557/sec), 3081682779 sampling steps, 456000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73418 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:
464672 loops (558/sec), 3100484087 sampling steps, 458795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73422 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:
467460 loops (557/sec), 3119259991 sampling steps, 461583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73424 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:
470251 loops (558/sec), 3138014450 sampling steps, 464374 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73426 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:
473045 loops (558/sec), 3156759992 sampling steps, 467168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73428 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:
475820 loops (555/sec), 3175461597 sampling steps, 469943 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73428 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:
478578 loops (551/sec), 3194035731 sampling steps, 472701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73430 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:
481344 loops (553/sec), 3212739462 sampling steps, 475467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73431 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:
484133 loops (557/sec), 3231516286 sampling steps, 478256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73431 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:
486930 loops (559/sec), 3250335384 sampling steps, 481053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73433 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:
489712 loops (556/sec), 3269150514 sampling steps, 483835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73433 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:
492498 loops (557/sec), 3287967700 sampling steps, 486621 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73435 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:
495288 loops (558/sec), 3306788912 sampling steps, 489411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73435 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:
498079 loops (558/sec), 3325597176 sampling steps, 492202 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73437 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:
500830 loops (550/sec), 3344197566 sampling steps, 494953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73441 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:
503607 loops (555/sec), 3362873986 sampling steps, 497730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73444 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:
506367 loops (552/sec), 3381408742 sampling steps, 500490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73445 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:
509112 loops (549/sec), 3399895277 sampling steps, 503235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73445 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:
511906 loops (558/sec), 3418673937 sampling steps, 506029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73447 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:
514702 loops (559/sec), 3437472209 sampling steps, 508825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73449 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:
517494 loops (558/sec), 3456270754 sampling steps, 511617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73454 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:
520294 loops (560/sec), 3475054027 sampling steps, 514417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73455 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:
523092 loops (559/sec), 3493861287 sampling steps, 517215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73457 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:
525876 loops (556/sec), 3512672983 sampling steps, 519999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73457 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:
528680 loops (560/sec), 3531523115 sampling steps, 522803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73460 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:
531479 loops (559/sec), 3550354840 sampling steps, 525602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73460 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:
534265 loops (557/sec), 3569095852 sampling steps, 528388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73461 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:
537008 loops (548/sec), 3587626552 sampling steps, 531131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73462 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:
539758 loops (550/sec), 3606209621 sampling steps, 533881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73462 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:
542545 loops (557/sec), 3625011759 sampling steps, 536668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73462 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:
545349 loops (560/sec), 3643846243 sampling steps, 539472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73463 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:
548149 loops (560/sec), 3662675880 sampling steps, 542272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73463 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:
550942 loops (558/sec), 3681502424 sampling steps, 545065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73465 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:
553732 loops (558/sec), 3700346288 sampling steps, 547855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73467 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:
556536 loops (560/sec), 3719190383 sampling steps, 550659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73469 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:
559335 loops (559/sec), 3738036524 sampling steps, 553458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73469 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:
562138 loops (560/sec), 3756916230 sampling steps, 556261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73472 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:
564922 loops (556/sec), 3775667682 sampling steps, 559045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73472 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:
567679 loops (551/sec), 3794278751 sampling steps, 561802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73475 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:
570455 loops (555/sec), 3812965119 sampling steps, 564578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73478 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:
573235 loops (555/sec), 3831715464 sampling steps, 567358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73479 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:
576000 loops (553/sec), 3850333246 sampling steps, 570123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73479 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:
578780 loops (555/sec), 3869074481 sampling steps, 572903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73484 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:
581558 loops (555/sec), 3887837264 sampling steps, 575681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73485 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:
584342 loops (556/sec), 3906613518 sampling steps, 578465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73486 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:
587139 loops (559/sec), 3925389889 sampling steps, 581262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73486 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:
589931 loops (558/sec), 3944210160 sampling steps, 584054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73486 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:
592688 loops (551/sec), 3962809105 sampling steps, 586811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73486 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:
595428 loops (548/sec), 3981268839 sampling steps, 589551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73486 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:
598207 loops (555/sec), 3999995501 sampling steps, 592330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73487 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:
601032 loops (565/sec), 4019066105 sampling steps, 595155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73488 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:
603849 loops (563/sec), 4038106824 sampling steps, 597972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73488 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:
606672 loops (564/sec), 4057065821 sampling steps, 600795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73488 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:
609518 loops (569/sec), 4076251367 sampling steps, 603641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73489 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:
612361 loops (568/sec), 4095406149 sampling steps, 606484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73492 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:
615204 loops (568/sec), 4114568673 sampling steps, 609327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73495 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:
618045 loops (568/sec), 4133731400 sampling steps, 612168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73496 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:
620881 loops (567/sec), 4152893067 sampling steps, 615004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73497 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:
623732 loops (570/sec), 4172063011 sampling steps, 617855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73498 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:
626581 loops (569/sec), 4191246002 sampling steps, 620704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73502 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:
629414 loops (566/sec), 4210409372 sampling steps, 623537 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73504 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:
632258 loops (568/sec), 4229581826 sampling steps, 626381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73506 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:
635112 loops (570/sec), 4248756550 sampling steps, 629235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73508 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:
637936 loops (564/sec), 4267817509 sampling steps, 632059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73509 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:
640774 loops (567/sec), 4286898088 sampling steps, 634897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73509 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:
643616 loops (568/sec), 4306059821 sampling steps, 637739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73509 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:
646452 loops (567/sec), 4325233384 sampling steps, 640575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73509 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:
649260 loops (561/sec), 4344196397 sampling steps, 643383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73509 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:
652103 loops (568/sec), 4363354784 sampling steps, 646226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73509 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:
654942 loops (567/sec), 4382518503 sampling steps, 649065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73509 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:
657768 loops (565/sec), 4401626583 sampling steps, 651891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73510 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:
660610 loops (568/sec), 4420779328 sampling steps, 654733 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73511 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:
663455 loops (568/sec), 4439973038 sampling steps, 657578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73514 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:
666290 loops (567/sec), 4459133810 sampling steps, 660413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73514 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:
669136 loops (569/sec), 4478286058 sampling steps, 663259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73515 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:
671972 loops (567/sec), 4497376161 sampling steps, 666095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73519 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:
674801 loops (565/sec), 4516467646 sampling steps, 668924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73521 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:
677646 loops (569/sec), 4535673241 sampling steps, 671769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73524 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:
680500 loops (570/sec), 4554849849 sampling steps, 674623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73525 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:
683350 loops (569/sec), 4574034197 sampling steps, 677473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73528 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:
686204 loops (570/sec), 4593264745 sampling steps, 680327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73528 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:
689059 loops (570/sec), 4612507287 sampling steps, 683182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73528 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:
691914 loops (570/sec), 4631771156 sampling steps, 686037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73531 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:
694774 loops (572/sec), 4651025650 sampling steps, 688897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73534 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:
697630 loops (571/sec), 4670272906 sampling steps, 691753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73535 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:
700470 loops (568/sec), 4689398980 sampling steps, 694593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73535 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:
703317 loops (569/sec), 4708571813 sampling steps, 697440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73535 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:
706162 loops (568/sec), 4727704552 sampling steps, 700285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73535 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:
709000 loops (567/sec), 4746857759 sampling steps, 703123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73536 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:
711850 loops (570/sec), 4766088775 sampling steps, 705973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73537 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:
714700 loops (570/sec), 4785322691 sampling steps, 708823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73537 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:
717552 loops (570/sec), 4804540046 sampling steps, 711675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73537 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:
720405 loops (570/sec), 4823763510 sampling steps, 714528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73538 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:
723228 loops (564/sec), 4842755275 sampling steps, 717351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73540 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:
726073 loops (568/sec), 4861919282 sampling steps, 720196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73543 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:
728915 loops (568/sec), 4881089656 sampling steps, 723038 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73544 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:
731758 loops (568/sec), 4900250881 sampling steps, 725881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73544 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:
734608 loops (569/sec), 4919414805 sampling steps, 728731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73545 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:
737441 loops (566/sec), 4938570276 sampling steps, 731564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73546 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:
740277 loops (567/sec), 4957649513 sampling steps, 734400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73547 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:
743114 loops (567/sec), 4976762327 sampling steps, 737237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73548 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:
745947 loops (566/sec), 4995923466 sampling steps, 740070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73550 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:
748807 loops (572/sec), 5015108073 sampling steps, 742930 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73550 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:
751654 loops (569/sec), 5034298069 sampling steps, 745777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73550 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:
754502 loops (569/sec), 5053481638 sampling steps, 748625 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73553 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:
757356 loops (570/sec), 5072659808 sampling steps, 751479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73553 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:
760206 loops (570/sec), 5091905473 sampling steps, 754329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73555 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:
763069 loops (572/sec), 5111146255 sampling steps, 757192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73555 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:
765919 loops (569/sec), 5130412225 sampling steps, 760042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73555 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:
768775 loops (571/sec), 5149678471 sampling steps, 762898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73556 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:
771628 loops (570/sec), 5168914822 sampling steps, 765751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73556 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:
774477 loops (569/sec), 5188061379 sampling steps, 768600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73556 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:
777328 loops (570/sec), 5207233465 sampling steps, 771451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73557 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:
780181 loops (570/sec), 5226491637 sampling steps, 774304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73557 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:
783037 loops (571/sec), 5245734644 sampling steps, 777160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73559 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:
785895 loops (571/sec), 5264992170 sampling steps, 780018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73559 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:
788751 loops (571/sec), 5284257908 sampling steps, 782874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73560 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:
791608 loops (571/sec), 5303522520 sampling steps, 785731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73560 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:
794478 loops (573/sec), 5322806915 sampling steps, 788601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73560 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:
797303 loops (564/sec), 5341835465 sampling steps, 791426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73561 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:
800160 loops (571/sec), 5361070843 sampling steps, 794283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73561 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:
803010 loops (569/sec), 5380297092 sampling steps, 797133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73562 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:
805861 loops (570/sec), 5399483535 sampling steps, 799984 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73562 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:
808703 loops (568/sec), 5418602459 sampling steps, 802826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73563 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:
811543 loops (567/sec), 5437759873 sampling steps, 805666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73565 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:
814399 loops (571/sec), 5456977316 sampling steps, 808522 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73565 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:
817246 loops (569/sec), 5476179821 sampling steps, 811369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73565 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:
820100 loops (570/sec), 5495402450 sampling steps, 814223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73566 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:
822949 loops (569/sec), 5514623753 sampling steps, 817072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73566 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:
825800 loops (570/sec), 5533851099 sampling steps, 819923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73567 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:
828657 loops (571/sec), 5553095097 sampling steps, 822780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73568 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:
831514 loops (571/sec), 5572333709 sampling steps, 825637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73571 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:
834373 loops (571/sec), 5591574235 sampling steps, 828496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73572 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:
837223 loops (570/sec), 5610802490 sampling steps, 831346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73572 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:
840070 loops (569/sec), 5630005305 sampling steps, 834193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 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:
842908 loops (567/sec), 5649135465 sampling steps, 837031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 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:
845746 loops (567/sec), 5668278331 sampling steps, 839869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 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:
848598 loops (570/sec), 5687506196 sampling steps, 842721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 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:
851444 loops (569/sec), 5706725918 sampling steps, 845567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 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:
854291 loops (569/sec), 5725972242 sampling steps, 848414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 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:
857149 loops (571/sec), 5745235803 sampling steps, 851272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 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:
860012 loops (572/sec), 5764517576 sampling steps, 854135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73577 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:
862881 loops (573/sec), 5783779790 sampling steps, 857004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73577 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:
865748 loops (573/sec), 5803047575 sampling steps, 859871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73577 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:
868574 loops (565/sec), 5822131301 sampling steps, 862697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73580 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:
871427 loops (570/sec), 5841307348 sampling steps, 865550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73580 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:
874262 loops (567/sec), 5860491110 sampling steps, 868385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73580 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:
877098 loops (567/sec), 5879585854 sampling steps, 871221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73581 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:
879931 loops (566/sec), 5898679038 sampling steps, 874054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73582 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:
882784 loops (570/sec), 5917852249 sampling steps, 876907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73582 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:
885643 loops (571/sec), 5937048458 sampling steps, 879766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73584 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:
888485 loops (568/sec), 5956252892 sampling steps, 882608 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73587 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:
891344 loops (571/sec), 5975499473 sampling steps, 885467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73587 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:
894202 loops (571/sec), 5994753751 sampling steps, 888325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73587 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:
897059 loops (571/sec), 6013994639 sampling steps, 891182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73587 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:
899912 loops (570/sec), 6033233195 sampling steps, 894035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73588 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:
902766 loops (570/sec), 6052478265 sampling steps, 896889 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73588 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:
905627 loops (572/sec), 6071701368 sampling steps, 899750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73588 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:
908481 loops (570/sec), 6090946072 sampling steps, 902604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73588 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:
911329 loops (569/sec), 6110169654 sampling steps, 905452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73589 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:
914183 loops (570/sec), 6129360299 sampling steps, 908306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73590 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:
917041 loops (571/sec), 6148641546 sampling steps, 911164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73590 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:
919907 loops (573/sec), 6167928296 sampling steps, 914030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73591 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:
922772 loops (573/sec), 6187230315 sampling steps, 916895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73591 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:
925626 loops (570/sec), 6206524516 sampling steps, 919749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73591 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:
928494 loops (573/sec), 6225827111 sampling steps, 922617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73592 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:
931369 loops (575/sec), 6245148965 sampling steps, 925492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73593 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:
934230 loops (572/sec), 6264448415 sampling steps, 928353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73593 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:
937089 loops (571/sec), 6283758661 sampling steps, 931212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73593 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:
939960 loops (574/sec), 6303100640 sampling steps, 934083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73593 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:
942788 loops (565/sec), 6322185531 sampling steps, 936911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73594 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:
945635 loops (569/sec), 6341361392 sampling steps, 939758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73595 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:
948491 loops (571/sec), 6360575249 sampling steps, 942614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 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:
951350 loops (571/sec), 6379838631 sampling steps, 945473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 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:
954205 loops (571/sec), 6399095056 sampling steps, 948328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 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:
957066 loops (572/sec), 6418350172 sampling steps, 951189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
959932 loops (573/sec), 6437640691 sampling steps, 954055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
962798 loops (573/sec), 6456937707 sampling steps, 956921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
965655 loops (571/sec), 6476229163 sampling steps, 959778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
968521 loops (573/sec), 6495526934 sampling steps, 962644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
971397 loops (575/sec), 6514827778 sampling steps, 965520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
974256 loops (571/sec), 6534107756 sampling steps, 968379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
977116 loops (571/sec), 6553392539 sampling steps, 971239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 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:
979966 loops (569/sec), 6572609497 sampling steps, 974089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73598 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:
982817 loops (570/sec), 6591830088 sampling steps, 976940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73598 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:
985668 loops (570/sec), 6611132201 sampling steps, 979791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73599 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:
988524 loops (571/sec), 6630337442 sampling steps, 982647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73599 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:
991378 loops (570/sec), 6649621621 sampling steps, 985501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73601 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:
994230 loops (570/sec), 6668898591 sampling steps, 988353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 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:
997077 loops (569/sec), 6688103414 sampling steps, 991200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 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:
999939 loops (572/sec), 6707431726 sampling steps, 994062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 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:
1002798 loops (571/sec), 6726764728 sampling steps, 996921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 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:
1005663 loops (572/sec), 6746090571 sampling steps, 999786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 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:
1008547 loops (576/sec), 6765446311 sampling steps, 1002670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0064277648926 seconds since the total time limit of 1800.0 seconds was exceeded.