Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/mapk_cascade/mapk_cascade.prism --const N=5 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9698 loops (1939/sec), 12647765 sampling steps, 1301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
87528 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:
13196 loops (699/sec), 28076352 sampling steps, 3475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108204 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:
16465 loops (653/sec), 44267312 sampling steps, 6247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120277 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:
19686 loops (644/sec), 60747617 sampling steps, 9276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
128272 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:
22927 loops (648/sec), 77436084 sampling steps, 12417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
134188 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:
26150 loops (644/sec), 94199548 sampling steps, 15577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138959 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:
29382 loops (646/sec), 110992779 sampling steps, 18778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142783 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:
32587 loops (641/sec), 127908403 sampling steps, 21973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146083 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:
35818 loops (646/sec), 144896131 sampling steps, 25191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148920 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:
39066 loops (649/sec), 161938170 sampling steps, 28430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151331 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:
42360 loops (658/sec), 179025772 sampling steps, 31720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
153494 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:
45670 loops (661/sec), 196155375 sampling steps, 35026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155338 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:
48927 loops (651/sec), 213194146 sampling steps, 38281 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157061 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:
52238 loops (662/sec), 230325145 sampling steps, 41589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158626 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:
55549 loops (662/sec), 247479715 sampling steps, 44900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
160064 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:
58866 loops (663/sec), 264619230 sampling steps, 48217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
161420 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:
62166 loops (660/sec), 281753663 sampling steps, 51516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
162747 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:
65453 loops (657/sec), 298921611 sampling steps, 54802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
163969 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:
68727 loops (654/sec), 316137360 sampling steps, 58075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
165081 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:
72039 loops (662/sec), 333370418 sampling steps, 61387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
166190 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:
75377 loops (667/sec), 350604685 sampling steps, 64725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
167222 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:
78663 loops (657/sec), 367812906 sampling steps, 68011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
168130 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:
81938 loops (655/sec), 385006704 sampling steps, 71285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
169053 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:
85267 loops (665/sec), 402208452 sampling steps, 74614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
169869 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:
88586 loops (663/sec), 419364500 sampling steps, 77933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
170669 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:
91966 loops (675/sec), 436560900 sampling steps, 81313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
171425 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:
95269 loops (660/sec), 453764016 sampling steps, 84616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
172218 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:
98530 loops (652/sec), 470967859 sampling steps, 87877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
172928 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:
101832 loops (660/sec), 488165543 sampling steps, 91179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
173639 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:
105138 loops (661/sec), 505367546 sampling steps, 94485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
174300 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:
108425 loops (657/sec), 522621703 sampling steps, 97772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
174964 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:
111598 loops (634/sec), 539168095 sampling steps, 100945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
175556 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:
114910 loops (662/sec), 556439314 sampling steps, 104257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
176127 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:
118264 loops (670/sec), 573709264 sampling steps, 107611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
176749 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:
121594 loops (665/sec), 590975692 sampling steps, 110941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
177303 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:
124840 loops (648/sec), 608234224 sampling steps, 114187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
177870 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:
128168 loops (665/sec), 625453006 sampling steps, 117515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
178399 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:
131427 loops (651/sec), 642667441 sampling steps, 120774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
178997 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:
134722 loops (659/sec), 659953479 sampling steps, 124069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
179472 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:
138028 loops (661/sec), 677202339 sampling steps, 127375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
180039 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:
141317 loops (657/sec), 694439997 sampling steps, 130664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
180524 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:
144604 loops (657/sec), 711655319 sampling steps, 133951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
180988 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:
147962 loops (671/sec), 728929389 sampling steps, 137309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
181439 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:
151342 loops (675/sec), 746264615 sampling steps, 140689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
181875 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:
154645 loops (660/sec), 763577487 sampling steps, 143992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
182286 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:
157952 loops (661/sec), 780886198 sampling steps, 147299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
182692 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:
161244 loops (658/sec), 798193399 sampling steps, 150591 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
183109 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:
164538 loops (658/sec), 815473591 sampling steps, 153885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
183507 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:
167882 loops (668/sec), 832698245 sampling steps, 157229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
183892 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:
170730 loops (569/sec), 847582409 sampling steps, 160077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
184213 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:
173524 loops (558/sec), 862218150 sampling steps, 162871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
184520 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:
176832 loops (661/sec), 879358435 sampling steps, 166179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
184934 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:
180145 loops (662/sec), 896601899 sampling steps, 169492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185320 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:
183428 loops (656/sec), 913851748 sampling steps, 172775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185672 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:
186756 loops (665/sec), 931131247 sampling steps, 176103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186008 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:
190034 loops (655/sec), 948402310 sampling steps, 179381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186379 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:
193337 loops (660/sec), 965711423 sampling steps, 182684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186758 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:
196647 loops (661/sec), 982999355 sampling steps, 185994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187085 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:
199941 loops (658/sec), 1000311051 sampling steps, 189288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187416 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:
203249 loops (661/sec), 1017428087 sampling steps, 192596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187748 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:
206501 loops (650/sec), 1034465776 sampling steps, 195848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188058 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:
209710 loops (641/sec), 1051237365 sampling steps, 199057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188405 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:
212878 loops (633/sec), 1067997701 sampling steps, 202225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188697 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:
216077 loops (639/sec), 1084993187 sampling steps, 205424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
188997 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:
219337 loops (652/sec), 1101954339 sampling steps, 208684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189293 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:
222609 loops (654/sec), 1118944642 sampling steps, 211956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189585 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:
225817 loops (641/sec), 1135812507 sampling steps, 215164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189895 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:
228952 loops (626/sec), 1152459533 sampling steps, 218299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190144 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:
232087 loops (627/sec), 1168978495 sampling steps, 221434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190424 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:
235270 loops (636/sec), 1185498709 sampling steps, 224617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190702 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:
238430 loops (632/sec), 1202098504 sampling steps, 227777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190978 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:
241611 loops (636/sec), 1218523454 sampling steps, 230958 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191205 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:
244768 loops (631/sec), 1235038048 sampling steps, 234115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191448 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:
247951 loops (636/sec), 1251580400 sampling steps, 237298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191678 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:
251111 loops (632/sec), 1268298166 sampling steps, 240458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191926 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:
254269 loops (631/sec), 1285017367 sampling steps, 243616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192158 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:
257404 loops (626/sec), 1301704488 sampling steps, 246751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192407 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:
260599 loops (638/sec), 1318506018 sampling steps, 249946 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192635 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:
263888 loops (657/sec), 1335278975 sampling steps, 253235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192883 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:
267046 loops (631/sec), 1351802985 sampling steps, 256393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193132 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:
270257 loops (642/sec), 1368449615 sampling steps, 259604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193386 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:
273424 loops (633/sec), 1384783788 sampling steps, 262771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193577 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:
276569 loops (628/sec), 1401194320 sampling steps, 265916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193789 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:
279703 loops (626/sec), 1417485143 sampling steps, 269050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193981 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:
282852 loops (629/sec), 1433667019 sampling steps, 272199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194182 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:
285787 loops (586/sec), 1448771376 sampling steps, 275134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194375 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:
288836 loops (609/sec), 1464641468 sampling steps, 278183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194565 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:
291869 loops (606/sec), 1480585495 sampling steps, 281216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194762 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:
294905 loops (607/sec), 1496491339 sampling steps, 284252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
194966 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:
297946 loops (607/sec), 1512259012 sampling steps, 287293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195154 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:
300992 loops (609/sec), 1528130764 sampling steps, 290339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195336 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:
304000 loops (601/sec), 1543858620 sampling steps, 293347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195531 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:
307069 loops (613/sec), 1559767497 sampling steps, 296416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195701 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:
310064 loops (599/sec), 1575349438 sampling steps, 299411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195884 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:
313052 loops (597/sec), 1591078940 sampling steps, 302399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196062 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:
316106 loops (610/sec), 1606768899 sampling steps, 305453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196250 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:
319186 loops (615/sec), 1622552102 sampling steps, 308533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196404 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:
322206 loops (604/sec), 1638247135 sampling steps, 311553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196592 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:
325262 loops (611/sec), 1653938437 sampling steps, 314609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196775 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:
328294 loops (606/sec), 1669599796 sampling steps, 317641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196950 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:
331337 loops (608/sec), 1685326754 sampling steps, 320684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197117 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:
334401 loops (612/sec), 1701117557 sampling steps, 323748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197278 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:
337458 loops (611/sec), 1716937250 sampling steps, 326805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197453 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:
340453 loops (598/sec), 1732733554 sampling steps, 329800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197628 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:
343432 loops (595/sec), 1748463875 sampling steps, 332779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197796 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:
346430 loops (599/sec), 1764143694 sampling steps, 335777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197953 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:
349438 loops (601/sec), 1779822564 sampling steps, 338785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198120 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:
352374 loops (587/sec), 1795023549 sampling steps, 341721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198263 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:
355327 loops (590/sec), 1810689178 sampling steps, 344674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198425 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:
358369 loops (608/sec), 1826420322 sampling steps, 347716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198587 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:
361359 loops (597/sec), 1842102861 sampling steps, 350706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198736 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:
364316 loops (591/sec), 1857414662 sampling steps, 353663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198861 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:
367267 loops (590/sec), 1872828892 sampling steps, 356614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199003 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:
370165 loops (579/sec), 1888147561 sampling steps, 359512 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199136 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:
373059 loops (578/sec), 1903128697 sampling steps, 362406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199250 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:
375872 loops (562/sec), 1918155502 sampling steps, 365219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199406 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:
378774 loops (580/sec), 1933270370 sampling steps, 368121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199549 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:
381587 loops (562/sec), 1948261685 sampling steps, 370934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199692 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:
384436 loops (569/sec), 1963200228 sampling steps, 373783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199842 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:
387301 loops (573/sec), 1978072500 sampling steps, 376648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200002 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:
390222 loops (583/sec), 1993026278 sampling steps, 379569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200129 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:
393041 loops (563/sec), 2007985482 sampling steps, 382388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200255 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:
395890 loops (569/sec), 2022794153 sampling steps, 385237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200365 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:
398787 loops (579/sec), 2037796934 sampling steps, 388134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200500 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:
401660 loops (574/sec), 2052784585 sampling steps, 391007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200644 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:
404522 loops (572/sec), 2067839248 sampling steps, 393869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200785 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:
407458 loops (587/sec), 2082880595 sampling steps, 396805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200921 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:
410369 loops (582/sec), 2097988461 sampling steps, 399716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201055 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:
413314 loops (589/sec), 2113054997 sampling steps, 402661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201167 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:
416237 loops (584/sec), 2128208633 sampling steps, 405584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201302 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:
419167 loops (586/sec), 2143471355 sampling steps, 408514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201429 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:
422163 loops (599/sec), 2159093055 sampling steps, 411510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201571 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:
425208 loops (609/sec), 2174868677 sampling steps, 414555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201696 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:
428225 loops (603/sec), 2190754191 sampling steps, 417572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201827 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:
431194 loops (593/sec), 2206625781 sampling steps, 420541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201962 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:
434297 loops (620/sec), 2222641081 sampling steps, 423644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202088 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:
437365 loops (613/sec), 2238616805 sampling steps, 426712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202208 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:
440413 loops (609/sec), 2254629156 sampling steps, 429760 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202330 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:
443458 loops (609/sec), 2270800615 sampling steps, 432805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202478 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:
446580 loops (624/sec), 2287112535 sampling steps, 435927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202583 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:
449707 loops (625/sec), 2303535455 sampling steps, 439054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202705 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:
452864 loops (631/sec), 2320177649 sampling steps, 442211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202846 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:
455998 loops (626/sec), 2336822607 sampling steps, 445345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202969 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:
459216 loops (643/sec), 2353349899 sampling steps, 448563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203096 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:
462374 loops (631/sec), 2369850936 sampling steps, 451721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203219 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:
465512 loops (627/sec), 2386449507 sampling steps, 454859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203351 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:
468721 loops (641/sec), 2403129046 sampling steps, 458068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203463 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:
471905 loops (636/sec), 2419854571 sampling steps, 461252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203573 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:
475109 loops (640/sec), 2436569959 sampling steps, 464456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203686 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:
478347 loops (647/sec), 2453268788 sampling steps, 467694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203811 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:
481384 loops (607/sec), 2469132405 sampling steps, 470731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203937 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:
484585 loops (640/sec), 2485894041 sampling steps, 473932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204044 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:
487774 loops (637/sec), 2502723412 sampling steps, 477121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204180 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:
491023 loops (649/sec), 2519622609 sampling steps, 480370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204291 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:
494249 loops (644/sec), 2536458093 sampling steps, 483596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204418 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:
497528 loops (655/sec), 2553348830 sampling steps, 486875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204533 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:
500752 loops (644/sec), 2570272774 sampling steps, 490099 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204640 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:
503970 loops (643/sec), 2587270553 sampling steps, 493317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204761 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:
507242 loops (654/sec), 2604390509 sampling steps, 496589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204883 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:
510508 loops (653/sec), 2621444122 sampling steps, 499855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204996 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:
513771 loops (652/sec), 2638509843 sampling steps, 503118 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205110 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:
517007 loops (647/sec), 2655593521 sampling steps, 506354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205225 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:
520281 loops (654/sec), 2672818037 sampling steps, 509628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205340 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:
523534 loops (650/sec), 2690009509 sampling steps, 512881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205470 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:
526808 loops (654/sec), 2707226278 sampling steps, 516155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205574 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:
530105 loops (659/sec), 2724445933 sampling steps, 519452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205673 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:
533439 loops (666/sec), 2741655082 sampling steps, 522786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205784 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:
536720 loops (655/sec), 2758832558 sampling steps, 526067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205896 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:
540003 loops (656/sec), 2775957194 sampling steps, 529350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206021 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:
543293 loops (657/sec), 2793137182 sampling steps, 532640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206132 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:
546586 loops (658/sec), 2810370422 sampling steps, 535933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206240 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:
549858 loops (654/sec), 2827589694 sampling steps, 539205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206369 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:
553179 loops (664/sec), 2844764802 sampling steps, 542526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206472 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:
556436 loops (651/sec), 2861947496 sampling steps, 545783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206584 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:
559744 loops (661/sec), 2879147167 sampling steps, 549091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206686 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:
563019 loops (654/sec), 2896328598 sampling steps, 552366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206783 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:
566355 loops (667/sec), 2913528797 sampling steps, 555702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206888 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:
569614 loops (651/sec), 2930732443 sampling steps, 558961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207015 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:
572926 loops (662/sec), 2947890387 sampling steps, 562273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207119 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:
576248 loops (664/sec), 2965131034 sampling steps, 565595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207223 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:
579532 loops (656/sec), 2982295740 sampling steps, 568879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207323 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:
582841 loops (661/sec), 2999497299 sampling steps, 572188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207418 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:
586111 loops (654/sec), 3016664834 sampling steps, 575458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207527 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:
589441 loops (666/sec), 3033886908 sampling steps, 578788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207632 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:
592772 loops (666/sec), 3051104794 sampling steps, 582119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207739 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:
596000 loops (645/sec), 3068334798 sampling steps, 585347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207839 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:
599293 loops (658/sec), 3085560479 sampling steps, 588640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207938 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:
602621 loops (665/sec), 3102783717 sampling steps, 591968 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208041 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:
605927 loops (660/sec), 3120051721 sampling steps, 595274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208127 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:
609187 loops (652/sec), 3137248753 sampling steps, 598534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208241 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:
612469 loops (656/sec), 3154434663 sampling steps, 601816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208343 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:
615721 loops (650/sec), 3171574864 sampling steps, 605068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208447 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:
619025 loops (660/sec), 3188671000 sampling steps, 608372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208543 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:
622311 loops (656/sec), 3205828508 sampling steps, 611658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208635 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:
625640 loops (665/sec), 3223056836 sampling steps, 614987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208740 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:
628957 loops (663/sec), 3240250411 sampling steps, 618304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208830 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:
632219 loops (652/sec), 3257480873 sampling steps, 621566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208913 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:
635516 loops (659/sec), 3274767708 sampling steps, 624863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209003 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:
638840 loops (664/sec), 3292032010 sampling steps, 628187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209096 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:
642161 loops (664/sec), 3309296513 sampling steps, 631508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209170 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:
645511 loops (670/sec), 3326568219 sampling steps, 634858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209273 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:
648823 loops (662/sec), 3343716529 sampling steps, 638170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209346 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:
652063 loops (647/sec), 3360535335 sampling steps, 641410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209433 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:
655305 loops (648/sec), 3377493978 sampling steps, 644652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209516 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:
658591 loops (657/sec), 3394476568 sampling steps, 647938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209590 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:
661873 loops (656/sec), 3411492072 sampling steps, 651220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209681 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:
665155 loops (656/sec), 3428589484 sampling steps, 654502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209771 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:
668423 loops (653/sec), 3445619612 sampling steps, 657770 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209866 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:
671735 loops (662/sec), 3462692682 sampling steps, 661082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209949 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:
675030 loops (659/sec), 3479772350 sampling steps, 664377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210049 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:
678317 loops (657/sec), 3496827528 sampling steps, 667664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210155 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:
681590 loops (654/sec), 3513865281 sampling steps, 670937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210238 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:
684717 loops (625/sec), 3530057323 sampling steps, 674064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210315 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:
687979 loops (652/sec), 3547090457 sampling steps, 677326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210409 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:
691246 loops (653/sec), 3564212019 sampling steps, 680593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210481 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:
694532 loops (657/sec), 3581277209 sampling steps, 683879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210546 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:
697810 loops (655/sec), 3598254357 sampling steps, 687157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210618 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:
701135 loops (665/sec), 3615277592 sampling steps, 690482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210697 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:
704444 loops (661/sec), 3632363186 sampling steps, 693791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210768 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:
707668 loops (644/sec), 3649409609 sampling steps, 697015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210862 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:
710942 loops (654/sec), 3666495268 sampling steps, 700289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210943 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:
714140 loops (639/sec), 3683538759 sampling steps, 703487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211019 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:
717382 loops (648/sec), 3700595665 sampling steps, 706729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211124 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:
720674 loops (658/sec), 3717614883 sampling steps, 710021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211199 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:
723962 loops (657/sec), 3734678715 sampling steps, 713309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211279 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:
727227 loops (653/sec), 3751734246 sampling steps, 716574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211369 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:
730471 loops (648/sec), 3768751338 sampling steps, 719818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211456 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:
733709 loops (647/sec), 3785754715 sampling steps, 723056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211524 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:
736968 loops (651/sec), 3802754761 sampling steps, 726315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211590 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:
740234 loops (653/sec), 3819803814 sampling steps, 729581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211679 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:
743467 loops (646/sec), 3836852509 sampling steps, 732814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211768 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:
746693 loops (645/sec), 3853831347 sampling steps, 736040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211854 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:
749950 loops (650/sec), 3870842784 sampling steps, 739297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211934 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:
753184 loops (646/sec), 3887882594 sampling steps, 742531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212020 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:
756452 loops (653/sec), 3904895620 sampling steps, 745799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212088 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:
759674 loops (644/sec), 3921704683 sampling steps, 749021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212155 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:
762955 loops (656/sec), 3938632099 sampling steps, 752302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212216 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:
766146 loops (638/sec), 3955164659 sampling steps, 755493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212284 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:
769324 loops (635/sec), 3971987156 sampling steps, 758671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212343 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:
772539 loops (643/sec), 3988820685 sampling steps, 761886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212413 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:
775792 loops (650/sec), 4005607575 sampling steps, 765139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212486 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:
778959 loops (633/sec), 4022384404 sampling steps, 768306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212567 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:
782146 loops (637/sec), 4039183385 sampling steps, 771493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212643 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:
785448 loops (660/sec), 4056032181 sampling steps, 774795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212728 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:
788684 loops (647/sec), 4072937551 sampling steps, 778031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212796 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:
791936 loops (650/sec), 4089821335 sampling steps, 781283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212854 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:
795184 loops (649/sec), 4106694742 sampling steps, 784531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212935 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:
798476 loops (658/sec), 4123550171 sampling steps, 787823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213011 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:
801758 loops (656/sec), 4140389489 sampling steps, 791105 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213077 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:
804967 loops (641/sec), 4157277592 sampling steps, 794314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213161 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:
808205 loops (647/sec), 4174168554 sampling steps, 797552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213231 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:
811485 loops (656/sec), 4191020598 sampling steps, 800832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213300 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:
814707 loops (644/sec), 4207820725 sampling steps, 804054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213400 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:
817964 loops (651/sec), 4224641067 sampling steps, 807311 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213459 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:
821212 loops (649/sec), 4241518981 sampling steps, 810559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213528 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:
824511 loops (659/sec), 4258454876 sampling steps, 813858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213594 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:
827786 loops (654/sec), 4275407367 sampling steps, 817133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213681 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:
831044 loops (651/sec), 4292297918 sampling steps, 820391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213752 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:
834324 loops (656/sec), 4309317475 sampling steps, 823671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213817 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:
837573 loops (649/sec), 4326411450 sampling steps, 826920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213894 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:
840854 loops (656/sec), 4343442933 sampling steps, 830201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213953 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:
844085 loops (646/sec), 4360490926 sampling steps, 833432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214014 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:
847316 loops (646/sec), 4377533804 sampling steps, 836663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214092 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:
850565 loops (649/sec), 4394541542 sampling steps, 839912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214150 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:
853843 loops (655/sec), 4411537264 sampling steps, 843190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214236 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:
857096 loops (650/sec), 4428510349 sampling steps, 846443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214325 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:
860348 loops (650/sec), 4445498311 sampling steps, 849695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214394 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:
863654 loops (661/sec), 4462517662 sampling steps, 853001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214455 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:
866901 loops (649/sec), 4479578201 sampling steps, 856248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214514 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:
870200 loops (659/sec), 4496794714 sampling steps, 859547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214593 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:
873444 loops (648/sec), 4514007276 sampling steps, 862791 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214649 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:
876715 loops (654/sec), 4531205771 sampling steps, 866062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214714 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:
879973 loops (651/sec), 4548398260 sampling steps, 869320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214783 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:
883285 loops (662/sec), 4565615123 sampling steps, 872632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214843 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:
886633 loops (669/sec), 4582890741 sampling steps, 875980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214907 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:
889954 loops (664/sec), 4600143355 sampling steps, 879301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214960 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:
893242 loops (657/sec), 4617377976 sampling steps, 882589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215027 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:
896341 loops (619/sec), 4633676204 sampling steps, 885688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215093 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:
899656 loops (663/sec), 4650891744 sampling steps, 889003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215151 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:
902945 loops (657/sec), 4668004307 sampling steps, 892292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215220 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:
906210 loops (653/sec), 4685137314 sampling steps, 895557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215273 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:
909492 loops (656/sec), 4702362042 sampling steps, 898839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215354 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:
912734 loops (648/sec), 4719524220 sampling steps, 902081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215424 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:
916078 loops (668/sec), 4736768749 sampling steps, 905425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215481 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:
919348 loops (653/sec), 4753984550 sampling steps, 908695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215545 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:
922646 loops (659/sec), 4771218354 sampling steps, 911993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215617 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:
925949 loops (660/sec), 4788429783 sampling steps, 915296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215675 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:
929220 loops (654/sec), 4805679832 sampling steps, 918567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215732 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:
932525 loops (661/sec), 4822830494 sampling steps, 921872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215794 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:
935831 loops (661/sec), 4839997215 sampling steps, 925178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215871 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:
939114 loops (656/sec), 4857219891 sampling steps, 928461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215947 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:
942430 loops (663/sec), 4874468615 sampling steps, 931777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216008 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:
945762 loops (666/sec), 4891716912 sampling steps, 935109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216071 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:
949007 loops (649/sec), 4908962297 sampling steps, 938354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216129 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:
952381 loops (674/sec), 4926242937 sampling steps, 941728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216198 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:
955730 loops (669/sec), 4943478308 sampling steps, 945077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216258 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:
958999 loops (653/sec), 4960704219 sampling steps, 948346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216322 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:
962280 loops (656/sec), 4977894626 sampling steps, 951627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216405 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:
965632 loops (670/sec), 4995142970 sampling steps, 954979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216468 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:
968936 loops (660/sec), 5012408521 sampling steps, 958283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216516 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:
972250 loops (662/sec), 5029641596 sampling steps, 961597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216570 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:
975531 loops (656/sec), 5046891120 sampling steps, 964878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216636 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:
978920 loops (677/sec), 5064214432 sampling steps, 968267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216698 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:
982249 loops (665/sec), 5081525824 sampling steps, 971596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216757 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:
985578 loops (665/sec), 5098817144 sampling steps, 974925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216823 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:
988908 loops (666/sec), 5116042124 sampling steps, 978255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216892 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:
992241 loops (666/sec), 5133375596 sampling steps, 981588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216941 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:
995478 loops (647/sec), 5150625267 sampling steps, 984825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217011 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:
998777 loops (659/sec), 5167916409 sampling steps, 988124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217076 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:
1002075 loops (659/sec), 5185202811 sampling steps, 991422 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217129 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:
1005373 loops (659/sec), 5202482140 sampling steps, 994720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217180 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:
1008673 loops (660/sec), 5219681792 sampling steps, 998020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217247 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:
1011867 loops (638/sec), 5236686361 sampling steps, 1001214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217314 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:
1014631 loops (552/sec), 5251149798 sampling steps, 1003978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217382 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:
1017508 loops (575/sec), 5266341140 sampling steps, 1006855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217447 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:
1020032 loops (504/sec), 5279355125 sampling steps, 1009379 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217495 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:
1022711 loops (535/sec), 5293296674 sampling steps, 1012058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217547 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:
1025518 loops (561/sec), 5307744545 sampling steps, 1014865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217585 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:
1028366 loops (569/sec), 5322407033 sampling steps, 1017713 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217644 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:
1030704 loops (467/sec), 5334634187 sampling steps, 1020051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217689 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:
1033371 loops (533/sec), 5348630336 sampling steps, 1022718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217749 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:
1035866 loops (499/sec), 5361630303 sampling steps, 1025213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217790 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:
1038358 loops (498/sec), 5374711380 sampling steps, 1027705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217835 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:
1041158 loops (559/sec), 5388979553 sampling steps, 1030505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217870 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:
1043966 loops (561/sec), 5403907042 sampling steps, 1033313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217909 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:
1046539 loops (514/sec), 5417421450 sampling steps, 1035886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217945 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:
1049183 loops (528/sec), 5431283335 sampling steps, 1038530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217980 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:
1051633 loops (489/sec), 5443941516 sampling steps, 1040980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218018 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:
1054140 loops (501/sec), 5457068536 sampling steps, 1043487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218054 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:
1056570 loops (486/sec), 5470062887 sampling steps, 1045917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218098 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:
1059283 loops (542/sec), 5484075878 sampling steps, 1048630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218143 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:
1061885 loops (520/sec), 5497784164 sampling steps, 1051232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218179 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:
1064746 loops (572/sec), 5512606232 sampling steps, 1054093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218214 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:
1067548 loops (560/sec), 5526816216 sampling steps, 1056895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218264 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:
1070006 loops (491/sec), 5539645873 sampling steps, 1059353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218299 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:
1072656 loops (529/sec), 5553448063 sampling steps, 1062003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218339 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:
1075055 loops (479/sec), 5566023251 sampling steps, 1064402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218380 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:
1077802 loops (548/sec), 5580494041 sampling steps, 1067149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218419 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:
1080186 loops (476/sec), 5592827581 sampling steps, 1069533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218451 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:
1082901 loops (542/sec), 5607030659 sampling steps, 1072248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218500 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:
1085372 loops (494/sec), 5619882484 sampling steps, 1074719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218541 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:
1088175 loops (560/sec), 5634396009 sampling steps, 1077522 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218576 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:
1090683 loops (501/sec), 5647546758 sampling steps, 1080030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218629 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:
1093481 loops (559/sec), 5662071370 sampling steps, 1082828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218680 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:
1096090 loops (521/sec), 5675843616 sampling steps, 1085437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218723 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:
1098945 loops (571/sec), 5690867842 sampling steps, 1088292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218766 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:
1101551 loops (521/sec), 5704584231 sampling steps, 1090898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218807 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:
1103806 loops (450/sec), 5716723060 sampling steps, 1093153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218846 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:
1106124 loops (463/sec), 5728740163 sampling steps, 1095471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218875 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:
1108667 loops (508/sec), 5741976127 sampling steps, 1098014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218907 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:
1111293 loops (525/sec), 5755902722 sampling steps, 1100640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218955 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:
1113998 loops (540/sec), 5769863579 sampling steps, 1103345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218992 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:
1116997 loops (599/sec), 5785383364 sampling steps, 1106344 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219041 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:
1119767 loops (553/sec), 5799847464 sampling steps, 1109114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219081 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:
1122556 loops (557/sec), 5814279524 sampling steps, 1111903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219130 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:
1125220 loops (532/sec), 5828327606 sampling steps, 1114567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219168 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:
1127903 loops (536/sec), 5842483149 sampling steps, 1117250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219203 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:
1130303 loops (479/sec), 5855095944 sampling steps, 1119650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219246 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:
1132872 loops (513/sec), 5868361853 sampling steps, 1122219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.00909948349 seconds since the total time limit of 1800.0 seconds was exceeded.