Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:57 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-loop/crafted-loop.pm --const size=1000000 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3593 loops (718/sec), 64569803 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
35931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5092 loops (299/sec), 129672872 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
50921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6138 loops (209/sec), 188412048 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
61381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7046 loops (181/sec), 248272856 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7843 loops (159/sec), 307610303 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
78431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8518 loops (134/sec), 362832728 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
85181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9140 loops (124/sec), 417752840 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
91401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9697 loops (111/sec), 470217227 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
96971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10172 loops (94/sec), 517408952 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
101721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10610 loops (87/sec), 562924160 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11030 loops (83/sec), 608370680 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11444 loops (82/sec), 654894344 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11837 loops (78/sec), 700643867 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12225 loops (77/sec), 747326475 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
122251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12588 loops (72/sec), 792364248 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
125881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12953 loops (72/sec), 838978763 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
129531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13309 loops (71/sec), 885727259 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
133091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13653 loops (68/sec), 932103963 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
136531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13988 loops (66/sec), 978404648 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
139881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14316 loops (65/sec), 1024825176 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
143161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14638 loops (64/sec), 1071443048 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
146381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14959 loops (64/sec), 1118948159 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
149591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15266 loops (61/sec), 1165345376 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
152661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15570 loops (60/sec), 1212217920 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
155701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15866 loops (59/sec), 1258744976 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16161 loops (58/sec), 1305986571 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
161611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16445 loops (56/sec), 1352288795 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
164451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16709 loops (52/sec), 1396053659 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
167091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16966 loops (51/sec), 1439327576 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
169661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17235 loops (53/sec), 1485329535 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
172351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17508 loops (54/sec), 1532755368 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
175081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17772 loops (52/sec), 1579326552 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
177721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18031 loops (51/sec), 1625692991 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
180311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18290 loops (51/sec), 1672730240 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
182901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18539 loops (49/sec), 1718583839 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
185391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18788 loops (49/sec), 1765057448 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
187881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19032 loops (48/sec), 1811199312 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
190321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19275 loops (48/sec), 1857743775 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
192751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19508 loops (46/sec), 1902927368 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
195081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19731 loops (44/sec), 1946680191 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
197311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19937 loops (41/sec), 1987539467 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
199371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20147 loops (41/sec), 2029628927 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
201471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20357 loops (41/sec), 2072159387 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20562 loops (40/sec), 2114102592 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
205621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20763 loops (40/sec), 2155635423 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
207631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20963 loops (39/sec), 2197362623 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21160 loops (39/sec), 2238854960 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
211601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21356 loops (39/sec), 2280521816 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
213561 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:
21555 loops (39/sec), 2323219455 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
215551 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:
21751 loops (39/sec), 2365660511 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
217511 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:
21950 loops (39/sec), 2409144200 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219501 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:
22147 loops (39/sec), 2452580927 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
221471 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:
22341 loops (38/sec), 2495735451 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
223411 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:
22529 loops (37/sec), 2537914379 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
225291 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:
22717 loops (37/sec), 2580446747 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
227171 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:
22902 loops (36/sec), 2622645432 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
229021 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:
23087 loops (36/sec), 2665186367 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
230871 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:
23268 loops (36/sec), 2707138728 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
232681 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:
23447 loops (35/sec), 2748949727 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
234471 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:
23626 loops (35/sec), 2791081136 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
236261 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:
23804 loops (35/sec), 2833294904 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
238041 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:
23979 loops (34/sec), 2875106079 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
239791 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:
24157 loops (35/sec), 2917948187 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
241571 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:
24336 loops (35/sec), 2961350496 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
243361 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:
24510 loops (34/sec), 3003847560 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
245101 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:
24682 loops (34/sec), 3046153712 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
246821 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:
24858 loops (35/sec), 3089749968 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
248581 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:
25032 loops (34/sec), 3133155312 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
250321 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:
25204 loops (34/sec), 3176359304 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
252041 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:
25369 loops (32/sec), 3218083019 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
253691 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:
25536 loops (33/sec), 3260589696 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
255361 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:
25701 loops (32/sec), 3302861211 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
257011 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:
25865 loops (32/sec), 3345146315 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
258651 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:
26026 loops (32/sec), 3386919536 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
260261 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:
26187 loops (32/sec), 3428951967 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
261871 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:
26346 loops (31/sec), 3470716656 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
263461 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:
26506 loops (31/sec), 3512999216 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
265061 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:
26664 loops (31/sec), 3555004464 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
266641 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:
26824 loops (31/sec), 3597795824 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
268241 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:
26981 loops (31/sec), 3640033691 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
269811 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:
27135 loops (30/sec), 3681703935 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
271351 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:
27290 loops (30/sec), 3723884240 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
272901 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:
27443 loops (30/sec), 3765755903 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
274431 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:
27599 loops (31/sec), 3808689599 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
275991 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:
27751 loops (30/sec), 3850756511 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
277511 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:
27904 loops (30/sec), 3893333504 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
279041 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:
28059 loops (30/sec), 3936705759 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
280591 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:
28212 loops (30/sec), 3979753992 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
282121 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:
28365 loops (30/sec), 4023036315 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
283651 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:
28516 loops (30/sec), 4065982376 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
285161 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:
28666 loops (29/sec), 4108869776 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
286661 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:
28816 loops (29/sec), 4151982176 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288161 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:
28961 loops (28/sec), 4193871371 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
289611 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:
29108 loops (29/sec), 4236552968 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
291081 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:
29255 loops (29/sec), 4279450655 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
292551 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:
29403 loops (29/sec), 4322858463 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
294031 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:
29550 loops (29/sec), 4366189800 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
295501 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:
29692 loops (28/sec), 4408252472 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
296921 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:
29835 loops (28/sec), 4450815135 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
298351 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:
29978 loops (28/sec), 4493582288 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
299781 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:
30121 loops (28/sec), 4536553931 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301211 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:
30264 loops (28/sec), 4579730064 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
302641 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:
30407 loops (28/sec), 4623110687 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
304071 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:
30548 loops (28/sec), 4666084808 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305481 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:
30687 loops (27/sec), 4708643967 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
306871 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:
30826 loops (27/sec), 4751396336 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308261 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:
30966 loops (27/sec), 4794651576 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309661 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:
31106 loops (27/sec), 4838102816 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311061 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:
31246 loops (27/sec), 4881750056 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312461 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:
31385 loops (27/sec), 4925279435 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
313851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31525 loops (27/sec), 4969317275 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31665 loops (27/sec), 5013551115 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31804 loops (27/sec), 5057662904 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31943 loops (27/sec), 5101967903 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32078 loops (26/sec), 5145182888 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32211 loops (26/sec), 5187935871 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32345 loops (26/sec), 5231189195 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32480 loops (26/sec), 5274946880 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32614 loops (26/sec), 5318560664 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32748 loops (26/sec), 5362354008 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32881 loops (26/sec), 5405998091 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33010 loops (25/sec), 5448498560 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33139 loops (25/sec), 5491165439 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33268 loops (25/sec), 5533998728 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33398 loops (25/sec), 5577332408 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33531 loops (26/sec), 5621840991 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33663 loops (26/sec), 5666189823 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33793 loops (25/sec), 5710037003 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33924 loops (26/sec), 5754392424 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34052 loops (25/sec), 5797897832 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34179 loops (25/sec), 5841225279 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34306 loops (25/sec), 5884714016 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343061 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34431 loops (24/sec), 5927675391 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34557 loops (25/sec), 5971138587 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34685 loops (25/sec), 6015454235 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34813 loops (25/sec), 6059933723 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34940 loops (25/sec), 6104227640 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35067 loops (25/sec), 6148682847 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35193 loops (25/sec), 6192947403 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35318 loops (24/sec), 6237017528 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35444 loops (25/sec), 6281598344 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35569 loops (24/sec), 6325982219 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35694 loops (24/sec), 6370522344 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356941 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35818 loops (24/sec), 6414860528 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35942 loops (24/sec), 6459352472 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36065 loops (24/sec), 6503637515 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36187 loops (24/sec), 6547711967 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36309 loops (24/sec), 6591935259 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36430 loops (24/sec), 6635943080 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36550 loops (23/sec), 6679731800 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36669 loops (23/sec), 6723297819 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36789 loops (23/sec), 6767373339 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36908 loops (23/sec), 6811223768 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37026 loops (23/sec), 6854845536 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37141 loops (22/sec), 6897492251 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37256 loops (22/sec), 6940271216 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37371 loops (22/sec), 6983182431 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37486 loops (22/sec), 7026225896 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37600 loops (22/sec), 7069025600 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37716 loops (23/sec), 7112709576 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37833 loops (23/sec), 7156906443 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378331 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37948 loops (22/sec), 7200481208 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38064 loops (23/sec), 7244568864 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38180 loops (23/sec), 7288791080 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38296 loops (23/sec), 7333147856 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38411 loops (22/sec), 7377255071 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38526 loops (22/sec), 7421494536 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38640 loops (22/sec), 7465479840 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38754 loops (22/sec), 7509595104 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38867 loops (22/sec), 7553451647 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38979 loops (22/sec), 7597046079 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39089 loops (21/sec), 7639984139 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39199 loops (21/sec), 7683043199 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39310 loops (22/sec), 7726616360 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39401 loops (18/sec), 7762430411 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39490 loops (17/sec), 7797537440 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39579 loops (17/sec), 7832723679 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39667 loops (17/sec), 7867592447 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39755 loops (17/sec), 7902538655 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39845 loops (17/sec), 7938359195 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39935 loops (17/sec), 7974260735 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40024 loops (17/sec), 8009843024 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40113 loops (17/sec), 8045504523 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40201 loops (17/sec), 8080843211 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40287 loops (17/sec), 8115453567 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40375 loops (17/sec), 8150945375 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40463 loops (17/sec), 8186514623 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40551 loops (17/sec), 8222161311 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40639 loops (17/sec), 8257885439 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40727 loops (17/sec), 8293687007 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40815 loops (17/sec), 8329566015 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40903 loops (17/sec), 8365522463 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40990 loops (17/sec), 8401146440 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41077 loops (17/sec), 8436846107 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41164 loops (17/sec), 8472621464 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41248 loops (16/sec), 8507235008 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
412481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41334 loops (17/sec), 8542745784 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
413341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41421 loops (17/sec), 8578744731 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
414211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41507 loops (17/sec), 8614404287 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
415071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41593 loops (17/sec), 8650137803 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
415931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41679 loops (17/sec), 8685945279 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
416791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41765 loops (17/sec), 8721826715 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
417651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41851 loops (17/sec), 8757782111 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
418511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41937 loops (17/sec), 8793811467 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
419371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42022 loops (16/sec), 8829494552 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
420221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42107 loops (16/sec), 8865249887 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
421071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42191 loops (16/sec), 8900655551 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
421911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42274 loops (16/sec), 8935709024 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
422741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42359 loops (16/sec), 8971678559 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
423591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42443 loops (16/sec), 9007295903 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
424431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42528 loops (16/sec), 9043409088 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
425281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42613 loops (16/sec), 9079594523 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
426131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42697 loops (16/sec), 9115425227 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
426971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42781 loops (16/sec), 9151326491 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
427811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42865 loops (16/sec), 9187298315 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
428651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42949 loops (16/sec), 9223340699 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
429491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43032 loops (16/sec), 9259023312 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430321 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43113 loops (16/sec), 9293912523 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
431131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43193 loops (15/sec), 9328435403 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
431931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43275 loops (16/sec), 9363887775 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
432751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43357 loops (16/sec), 9399407387 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43440 loops (16/sec), 9435428640 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
434401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43523 loops (16/sec), 9471518783 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
435231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43605 loops (16/sec), 9507241755 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43687 loops (16/sec), 9543031967 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43769 loops (16/sec), 9578889419 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43851 loops (16/sec), 9614814111 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
438511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43933 loops (16/sec), 9650806043 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439331 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44014 loops (16/sec), 9686425064 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44093 loops (15/sec), 9721227803 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44173 loops (15/sec), 9756534683 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44253 loops (15/sec), 9791905563 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44334 loops (16/sec), 9827783784 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44415 loops (16/sec), 9863727615 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44496 loops (16/sec), 9899737056 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44577 loops (16/sec), 9935812107 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44658 loops (16/sec), 9971952768 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446581 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44739 loops (16/sec), 10008159039 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44820 loops (16/sec), 10044430920 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44900 loops (15/sec), 10080319400 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44979 loops (15/sec), 10115822079 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45056 loops (15/sec), 10150486016 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45136 loops (15/sec), 10186563296 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45215 loops (15/sec), 10222252415 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45294 loops (15/sec), 10258003944 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452941 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45373 loops (15/sec), 10293817883 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45452 loops (15/sec), 10329694232 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
454521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45531 loops (15/sec), 10365632991 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
455311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45609 loops (15/sec), 10401178059 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
456091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45687 loops (15/sec), 10436783967 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
456871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45765 loops (15/sec), 10472450715 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
457651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45843 loops (15/sec), 10508178303 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
458431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45920 loops (15/sec), 10543507520 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
459201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45997 loops (15/sec), 10578896027 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
459971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46074 loops (15/sec), 10614343824 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
460741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46152 loops (15/sec), 10650312432 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
461521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46230 loops (15/sec), 10686341880 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
462301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46308 loops (15/sec), 10722432168 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
463081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46385 loops (15/sec), 10758119435 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
463851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46462 loops (15/sec), 10793865992 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
464621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46539 loops (15/sec), 10829671839 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
465391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46616 loops (15/sec), 10865536976 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
466161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46693 loops (15/sec), 10901461403 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
466931 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:
46770 loops (15/sec), 10937445120 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
467701 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:
46846 loops (15/sec), 10973019656 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
468461 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:
46922 loops (15/sec), 11008651952 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
469221 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:
46998 loops (15/sec), 11044342008 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
469981 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:
47074 loops (15/sec), 11080089824 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
470741 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:
47150 loops (15/sec), 11115895400 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
471501 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:
47226 loops (15/sec), 11151758736 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
472261 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:
47302 loops (15/sec), 11187679832 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
473021 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:
47377 loops (14/sec), 11223184907 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
473771 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:
47452 loops (14/sec), 11258746232 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
474521 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:
47527 loops (14/sec), 11294363807 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
475271 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:
47602 loops (14/sec), 11330037632 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
476021 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:
47677 loops (14/sec), 11365767707 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
476771 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:
47751 loops (14/sec), 11401076511 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
477511 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:
47825 loops (14/sec), 11436440075 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
478251 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:
47900 loops (14/sec), 11472337400 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
479001 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:
47974 loops (14/sec), 11507811224 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
479741 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:
48048 loops (14/sec), 11543339808 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
480481 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:
48122 loops (14/sec), 11578923152 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
481221 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:
48196 loops (14/sec), 11614561256 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
481961 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:
48270 loops (14/sec), 11650254120 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
482701 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:
48344 loops (14/sec), 11686001744 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
483441 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:
48418 loops (14/sec), 11721804128 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
484181 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:
48492 loops (14/sec), 11757661272 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
484921 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:
48565 loops (14/sec), 11793087515 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
485651 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:
48638 loops (14/sec), 11828567048 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
486381 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:
48711 loops (14/sec), 11864099871 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
487111 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:
48784 loops (14/sec), 11899685984 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
487841 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:
48857 loops (14/sec), 11935325387 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
488571 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:
48930 loops (14/sec), 11971018080 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
489301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49003 loops (14/sec), 12006764063 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
490031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49076 loops (14/sec), 12042563336 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
490761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49148 loops (14/sec), 12077924408 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
491481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49220 loops (14/sec), 12113337320 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
492201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49292 loops (14/sec), 12148802072 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
492921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49364 loops (14/sec), 12184318664 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
493641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49436 loops (14/sec), 12219887096 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
494361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49508 loops (14/sec), 12255507368 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
495081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49579 loops (14/sec), 12290683679 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
495791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49651 loops (14/sec), 12326406911 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
496511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49723 loops (14/sec), 12362181983 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
497231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49795 loops (14/sec), 12398008895 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
497951 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49867 loops (14/sec), 12433887647 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
498671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49939 loops (14/sec), 12469818239 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
499391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50011 loops (14/sec), 12505800671 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
500111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50083 loops (14/sec), 12541834943 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
500831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50155 loops (14/sec), 12577921055 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
501551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50227 loops (14/sec), 12614059007 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
502271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50299 loops (14/sec), 12650248799 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
502991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50370 loops (14/sec), 12685986720 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
503701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50441 loops (14/sec), 12721775051 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
504411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50512 loops (14/sec), 12757613792 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
505121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50583 loops (14/sec), 12793502943 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
505831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50654 loops (14/sec), 12829442504 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
506541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50725 loops (14/sec), 12865432475 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50796 loops (14/sec), 12901472856 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50867 loops (14/sec), 12937563647 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
508671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50938 loops (14/sec), 12973704848 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
509381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51009 loops (14/sec), 13009896459 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
510091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51080 loops (14/sec), 13046138480 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
510801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51150 loops (13/sec), 13081919400 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
511501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51220 loops (13/sec), 13117749320 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
512201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51290 loops (13/sec), 13153628240 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
512901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51360 loops (13/sec), 13189556160 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51430 loops (13/sec), 13225533080 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
514301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51499 loops (13/sec), 13261043999 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
514991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51568 loops (13/sec), 13296602528 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
515681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51637 loops (13/sec), 13332208667 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
516371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51706 loops (13/sec), 13367862416 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
517061 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51775 loops (13/sec), 13403563775 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
517751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51845 loops (13/sec), 13439831195 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
518451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51914 loops (13/sec), 13475628464 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51983 loops (13/sec), 13511473343 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52052 loops (13/sec), 13547365832 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
520521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52121 loops (13/sec), 13583305931 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52190 loops (13/sec), 13619293640 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52259 loops (13/sec), 13655328959 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
522591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52328 loops (13/sec), 13691411888 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
523281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52397 loops (13/sec), 13727542427 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
523971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52466 loops (13/sec), 13763720576 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
524661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52535 loops (13/sec), 13799946335 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
525351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52604 loops (13/sec), 13836219704 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
526041 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52672 loops (13/sec), 13872013952 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
526721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52740 loops (13/sec), 13907854440 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
527401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52808 loops (13/sec), 13943741168 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
528081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52875 loops (13/sec), 13979145375 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
528751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52943 loops (13/sec), 14015123903 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
529431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53010 loops (13/sec), 14050618560 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
530101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53077 loops (13/sec), 14086158107 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
530771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53145 loops (13/sec), 14122273995 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
531451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53212 loops (13/sec), 14157903992 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
532121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53279 loops (13/sec), 14193578879 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
532791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53347 loops (13/sec), 14229832127 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
533471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53415 loops (13/sec), 14266131615 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
534151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53483 loops (13/sec), 14302477343 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
534831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.009741306305 seconds since the total time limit of 1800.0 seconds was exceeded.