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_TARGET --precision 0.001
Sep 13, 2024 10:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3472 loops (694/sec), 60294752 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
34721 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:
4952 loops (295/sec), 122641232 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
49521 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:
5974 loops (204/sec), 178479224 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
59741 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:
6843 loops (173/sec), 234174303 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
68431 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:
7606 loops (152/sec), 289301816 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
76061 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:
8293 loops (137/sec), 343919003 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
82931 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:
8932 loops (127/sec), 398956712 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
89321 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:
9523 loops (118/sec), 453494783 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
95231 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:
10034 loops (102/sec), 503465984 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
100341 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:
10483 loops (89/sec), 549529343 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
104831 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:
10913 loops (85/sec), 595533323 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109131 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:
11322 loops (81/sec), 641006352 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113221 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:
11718 loops (79/sec), 686627928 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117181 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:
12099 loops (76/sec), 732001599 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120991 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:
12470 loops (74/sec), 777579320 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
124701 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:
12831 loops (72/sec), 823249791 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
128311 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:
13182 loops (70/sec), 868904712 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
131821 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:
13523 loops (68/sec), 914438783 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
135231 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:
13858 loops (66/sec), 960303968 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
138581 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:
14187 loops (65/sec), 1006439967 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
141871 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:
14508 loops (64/sec), 1052497368 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
145081 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:
14822 loops (62/sec), 1098547352 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
148221 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:
15130 loops (61/sec), 1144675280 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
151301 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:
15433 loops (60/sec), 1190980043 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
154331 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:
15730 loops (59/sec), 1237258880 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
157301 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:
16021 loops (58/sec), 1283458331 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
160211 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:
16304 loops (56/sec), 1329199904 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
163041 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:
16569 loops (52/sec), 1372758219 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
165691 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:
16836 loops (53/sec), 1417355496 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
168361 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:
17106 loops (53/sec), 1463178816 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
171061 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:
17374 loops (53/sec), 1509383624 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
173741 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:
17639 loops (52/sec), 1555777439 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
176391 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:
17899 loops (51/sec), 1601978399 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
178991 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:
18155 loops (51/sec), 1648129055 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
181551 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:
18408 loops (50/sec), 1694382768 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
184081 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:
18657 loops (49/sec), 1740530187 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186571 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:
18901 loops (48/sec), 1786352411 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
189011 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:
19140 loops (47/sec), 1831812840 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
191401 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:
19376 loops (47/sec), 1877263136 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193761 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:
19608 loops (46/sec), 1922485968 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
196081 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:
19818 loops (41/sec), 1963884528 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198181 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:
20022 loops (40/sec), 2004522552 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
200221 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:
20228 loops (41/sec), 2045981288 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
202281 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:
20432 loops (40/sec), 2087455712 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
204321 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:
20634 loops (40/sec), 2128933584 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
206341 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:
20833 loops (39/sec), 2170194443 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
208331 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:
21029 loops (39/sec), 2211220379 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
210291 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:
21225 loops (39/sec), 2252630475 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21419 loops (38/sec), 2293996319 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
214191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21611 loops (38/sec), 2335306271 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
216111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21801 loops (37/sec), 2376548811 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
218011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21990 loops (37/sec), 2417932440 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22178 loops (37/sec), 2459451488 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
221781 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:
22365 loops (37/sec), 2501100315 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
223651 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:
22550 loops (36/sec), 2542647800 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
225501 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:
22733 loops (36/sec), 2584082843 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
227331 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:
22915 loops (36/sec), 2625623615 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
229151 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:
23093 loops (35/sec), 2666571803 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
230931 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:
23271 loops (35/sec), 2707836831 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
232711 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:
23449 loops (35/sec), 2749418699 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
234491 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:
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:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23800 loops (34/sec), 2832342800 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
238001 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:
23973 loops (34/sec), 2873667483 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
239731 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:
24145 loops (34/sec), 2915049995 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
241451 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:
24316 loops (34/sec), 2956485176 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
243161 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:
24486 loops (33/sec), 2997967896 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
244861 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:
24654 loops (33/sec), 3039246504 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
246541 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:
24821 loops (33/sec), 3080559131 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
248211 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:
24986 loops (32/sec), 3121650896 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
249861 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:
25147 loops (32/sec), 3162008927 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
251471 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:
25311 loops (32/sec), 3203385471 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
253111 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:
25474 loops (32/sec), 3244776224 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
254741 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:
25636 loops (32/sec), 3286176296 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
256361 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:
25797 loops (32/sec), 3327580827 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
257971 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:
25957 loops (31/sec), 3368984987 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
259571 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:
26117 loops (31/sec), 3410645147 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
261171 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:
26276 loops (31/sec), 3452298536 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
262761 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:
26433 loops (31/sec), 3493676043 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
264331 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:
26588 loops (30/sec), 3534768248 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
265881 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:
26741 loops (30/sec), 3575565851 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
267411 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:
26894 loops (30/sec), 3616597544 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
268941 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:
27046 loops (30/sec), 3657592856 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
270461 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:
27197 loops (30/sec), 3698547227 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
271971 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:
27349 loops (30/sec), 3740003099 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
273491 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:
27501 loops (30/sec), 3781690011 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
275011 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:
27651 loops (29/sec), 3823054911 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
276511 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:
27801 loops (29/sec), 3864644811 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
278011 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:
27951 loops (29/sec), 3906459711 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
279511 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:
28100 loops (29/sec), 3948218600 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
281001 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:
28249 loops (29/sec), 3990199499 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
282491 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:
28397 loops (29/sec), 4032118427 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
283971 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:
28543 loops (29/sec), 4073685503 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
285431 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:
28687 loops (28/sec), 4114891967 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
286871 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:
28832 loops (28/sec), 4156594112 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288321 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:
28977 loops (28/sec), 4198506507 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
289771 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:
29121 loops (28/sec), 4240337931 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
291211 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:
29265 loops (28/sec), 4282376715 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
292651 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:
29407 loops (28/sec), 4324034687 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
294071 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:
29549 loops (28/sec), 4365894299 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
295491 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:
29691 loops (28/sec), 4407955551 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
296911 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:
29832 loops (28/sec), 4449920112 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
298321 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:
29973 loops (28/sec), 4492083483 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
299731 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:
30113 loops (27/sec), 4534144523 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301131 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:
30251 loops (27/sec), 4575796511 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
302511 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:
30388 loops (27/sec), 4617335048 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
303881 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:
30526 loops (27/sec), 4659366536 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305261 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:
30664 loops (27/sec), 4701588464 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
306641 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:
30801 loops (27/sec), 4743692811 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308011 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:
30938 loops (27/sec), 4785984848 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309381 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:
31073 loops (26/sec), 4827843083 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
310731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31208 loops (26/sec), 4869883568 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31343 loops (26/sec), 4912106303 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
313431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31477 loops (26/sec), 4954196507 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31611 loops (26/sec), 4996466271 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31744 loops (26/sec), 5038598144 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31876 loops (26/sec), 5080588136 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32008 loops (26/sec), 5122752368 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320081 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32139 loops (26/sec), 5164769439 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321391 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:
32271 loops (26/sec), 5207280831 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322711 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:
32402 loops (26/sec), 5249642432 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324021 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:
32532 loops (25/sec), 5291850312 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325321 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:
32661 loops (25/sec), 5333900571 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326611 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:
32790 loops (25/sec), 5376117240 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327901 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:
32919 loops (25/sec), 5418500319 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329191 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:
33048 loops (25/sec), 5461049808 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330481 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:
33176 loops (25/sec), 5503433936 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331761 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:
33302 loops (25/sec), 5545315832 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333021 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:
33427 loops (24/sec), 5587022207 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334271 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:
33553 loops (25/sec), 5629220363 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335531 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:
33679 loops (25/sec), 5671577279 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336791 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:
33803 loops (24/sec), 5713416863 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338031 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:
33927 loops (24/sec), 5755410207 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339271 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:
34051 loops (24/sec), 5797557311 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340511 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:
34174 loops (24/sec), 5839516424 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341741 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:
34298 loops (24/sec), 5881969808 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342981 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:
34421 loops (24/sec), 5924232731 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344211 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:
34544 loops (24/sec), 5966646944 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345441 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:
34666 loops (24/sec), 6008865776 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346661 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:
34787 loops (24/sec), 6050885567 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347871 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:
34908 loops (24/sec), 6093051768 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349081 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:
35029 loops (24/sec), 6135364379 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350291 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:
35150 loops (24/sec), 6177823400 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351501 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:
35270 loops (23/sec), 6220076120 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352701 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:
35390 loops (23/sec), 6262472840 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353901 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:
35509 loops (23/sec), 6304658459 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355091 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:
35627 loops (23/sec), 6346629407 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356271 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:
35745 loops (23/sec), 6388739595 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357451 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:
35864 loops (23/sec), 6431347664 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358641 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:
35982 loops (23/sec), 6473737512 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359821 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:
36098 loops (23/sec), 6515544608 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360981 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:
36213 loops (22/sec), 6557124123 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362131 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:
36329 loops (23/sec), 6599199179 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363291 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:
36445 loops (23/sec), 6641408795 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364451 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:
36560 loops (22/sec), 6683387360 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365601 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:
36675 loops (22/sec), 6725498175 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366751 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:
36790 loops (22/sec), 6767741240 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367901 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:
36904 loops (22/sec), 6809747504 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369041 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:
37017 loops (22/sec), 6851513547 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370171 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:
37131 loops (22/sec), 6893778591 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37244 loops (22/sec), 6935801144 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37357 loops (22/sec), 6977951387 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37468 loops (22/sec), 7019479928 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374681 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37580 loops (22/sec), 7061507480 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37692 loops (22/sec), 7103660472 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37803 loops (22/sec), 7145560863 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37914 loops (22/sec), 7187584464 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38025 loops (22/sec), 7229731275 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380251 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:
38136 loops (22/sec), 7272001296 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381361 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:
38246 loops (21/sec), 7314012056 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382461 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:
38355 loops (21/sec), 7355760255 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383551 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:
38465 loops (21/sec), 7398011915 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384651 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:
38575 loops (21/sec), 7440384575 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385751 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:
38683 loops (21/sec), 7482104543 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386831 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:
38790 loops (21/sec), 7523553240 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387901 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:
38899 loops (21/sec), 7565894399 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388991 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:
39007 loops (21/sec), 7607964287 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390071 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:
39115 loops (21/sec), 7650150815 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391151 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:
39223 loops (21/sec), 7692453983 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392231 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:
39328 loops (20/sec), 7733693888 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393281 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:
39414 loops (17/sec), 7767553464 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394141 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:
39499 loops (16/sec), 7801091999 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394991 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:
39584 loops (16/sec), 7834702784 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395841 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:
39669 loops (16/sec), 7868385819 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396691 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:
39753 loops (16/sec), 7901743563 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397531 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:
39835 loops (16/sec), 7934375135 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398351 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:
39919 loops (16/sec), 7967872319 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399191 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:
40003 loops (16/sec), 8001440063 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400031 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:
40087 loops (16/sec), 8035078367 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400871 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:
40171 loops (16/sec), 8068787231 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401711 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:
40255 loops (16/sec), 8102566655 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402551 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:
40339 loops (16/sec), 8136416639 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403391 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:
40423 loops (16/sec), 8170337183 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404231 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:
40506 loops (16/sec), 8203923216 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405061 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:
40589 loops (16/sec), 8237578139 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405891 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:
40672 loops (16/sec), 8271301952 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406721 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:
40753 loops (16/sec), 8304279563 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407531 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:
40834 loops (16/sec), 8337322784 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40917 loops (16/sec), 8371249947 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40999 loops (16/sec), 8404835999 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41081 loops (16/sec), 8438489291 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41163 loops (16/sec), 8472209823 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41245 loops (16/sec), 8505997595 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
412451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41327 loops (16/sec), 8539852607 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
413271 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41409 loops (16/sec), 8573774859 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
414091 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41491 loops (16/sec), 8607764351 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
414911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41572 loops (16/sec), 8641405352 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
415721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41652 loops (15/sec), 8674695432 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
416521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41731 loops (15/sec), 8707632191 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
417311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41812 loops (16/sec), 8741467592 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
418121 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:
41893 loops (16/sec), 8775368603 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
418931 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:
41974 loops (16/sec), 8809335224 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
419741 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:
42054 loops (15/sec), 8842946904 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
420541 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:
42134 loops (15/sec), 8876622584 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
421341 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:
42214 loops (15/sec), 8910362264 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
422141 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:
42294 loops (15/sec), 8944165944 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
422941 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:
42374 loops (15/sec), 8978033624 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
423741 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:
42454 loops (15/sec), 9011965304 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
424541 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:
42533 loops (15/sec), 9045535643 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
425331 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:
42611 loops (15/sec), 9078742271 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
426111 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:
42690 loops (15/sec), 9112436640 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
426901 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:
42769 loops (15/sec), 9146193419 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
427691 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:
42848 loops (15/sec), 9180012608 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
428481 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:
42927 loops (15/sec), 9213894207 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
429271 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:
43006 loops (15/sec), 9247838216 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430061 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:
43085 loops (15/sec), 9281844635 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
430851 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:
43164 loops (15/sec), 9315913464 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
431641 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:
43242 loops (15/sec), 9349612272 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
432421 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:
43320 loops (15/sec), 9383371920 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433201 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:
43398 loops (15/sec), 9417192408 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
433981 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:
43474 loops (15/sec), 9450204224 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
434741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43551 loops (15/sec), 9483709311 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
435511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43629 loops (15/sec), 9517709979 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43707 loops (15/sec), 9551771487 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43785 loops (15/sec), 9585893835 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
437851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43862 loops (15/sec), 9619638392 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
438621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43939 loops (15/sec), 9653442239 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
439391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44016 loops (15/sec), 9687305376 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
440161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:51 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:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44170 loops (15/sec), 9755209520 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
441701 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:
44247 loops (15/sec), 9789250527 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
442471 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:
44323 loops (14/sec), 9822907583 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443231 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:
44397 loops (14/sec), 9855734427 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
443971 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:
44473 loops (15/sec), 9889505483 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
444731 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:
44549 loops (15/sec), 9923334299 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
445491 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:
44625 loops (15/sec), 9957220875 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
446251 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:
44701 loops (15/sec), 9991165211 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447011 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:
44777 loops (15/sec), 10025167307 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
447771 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:
44853 loops (15/sec), 10059227163 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
448531 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:
44929 loops (15/sec), 10093344779 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
449291 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:
45005 loops (15/sec), 10127520155 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450051 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:
45080 loops (14/sec), 10161302480 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
450801 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:
45155 loops (14/sec), 10195141055 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
451551 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:
45230 loops (14/sec), 10229035880 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
452301 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:
45305 loops (14/sec), 10262986955 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453051 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:
45380 loops (14/sec), 10296994280 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
453801 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:
45455 loops (14/sec), 10331057855 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
454551 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:
45529 loops (14/sec), 10364722379 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
455291 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:
45603 loops (14/sec), 10398441663 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
456031 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:
45677 loops (14/sec), 10432215707 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
456771 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:
45751 loops (14/sec), 10466044511 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
457511 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:
45825 loops (14/sec), 10499928075 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
458251 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:
45899 loops (14/sec), 10533866399 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
458991 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:
45973 loops (14/sec), 10567859483 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
459731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46047 loops (14/sec), 10601907327 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
460471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46120 loops (14/sec), 10635548720 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
461201 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:
46193 loops (14/sec), 10669243403 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
461931 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:
46266 loops (14/sec), 10702991376 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
462661 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:
46339 loops (14/sec), 10736792639 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
463391 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:
46412 loops (14/sec), 10770647192 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
464121 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:
46485 loops (14/sec), 10804555035 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
464851 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:
46558 loops (14/sec), 10838516168 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
465581 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:
46631 loops (14/sec), 10872530591 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
466311 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:
46704 loops (14/sec), 10906598304 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
467041 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:
46776 loops (14/sec), 10940251536 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
467761 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:
46848 loops (14/sec), 10973956608 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
468481 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:
46920 loops (14/sec), 11007713520 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
469201 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:
46991 loops (14/sec), 11041052351 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
469911 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:
47063 loops (14/sec), 11074912223 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
470631 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:
47135 loops (14/sec), 11108823935 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
471351 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:
47207 loops (14/sec), 11142787487 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
472071 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:
47279 loops (14/sec), 11176802879 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
472791 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:
47350 loops (14/sec), 11210396600 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
473501 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:
47421 loops (14/sec), 11244040731 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
474211 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:
47492 loops (14/sec), 11277735272 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
474921 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:
47563 loops (14/sec), 11311480223 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
475631 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:
47634 loops (14/sec), 11345275584 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
476341 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:
47705 loops (14/sec), 11379121355 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
477051 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:
47776 loops (14/sec), 11413017536 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
477761 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:
47847 loops (14/sec), 11446964127 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
478471 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:
47918 loops (14/sec), 11480961128 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
479181 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:
47988 loops (13/sec), 11514528648 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
479881 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:
48059 loops (14/sec), 11548625759 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
480591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48130 loops (14/sec), 11582773280 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
481301 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:
48200 loops (13/sec), 11616489200 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
482001 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:
48270 loops (13/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:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48340 loops (13/sec), 11684068040 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
483401 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:
48410 loops (13/sec), 11717930960 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
484101 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:
48480 loops (13/sec), 11751842880 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
484801 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:
48550 loops (13/sec), 11785803800 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
485501 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:
48620 loops (13/sec), 11819813720 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
486201 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:
48690 loops (13/sec), 11853872640 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
486901 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:
48760 loops (13/sec), 11887980560 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
487601 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:
48830 loops (13/sec), 11922137480 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
488301 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:
48899 loops (13/sec), 11955854399 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
488991 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:
48968 loops (13/sec), 11989618928 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
489681 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:
49037 loops (13/sec), 12023431067 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
490371 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:
49106 loops (13/sec), 12057290816 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
491061 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:
49175 loops (13/sec), 12091198175 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
491751 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:
49244 loops (13/sec), 12125153144 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
492441 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:
49313 loops (13/sec), 12159155723 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
493131 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:
49382 loops (13/sec), 12193205912 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
493821 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:
49451 loops (13/sec), 12227303711 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
494511 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:
49519 loops (13/sec), 12260953919 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
495191 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:
49587 loops (13/sec), 12294650367 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
495871 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:
49656 loops (13/sec), 12328889616 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
496561 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:
49724 loops (13/sec), 12362679224 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
497241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49792 loops (13/sec), 12396515072 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
497921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49860 loops (13/sec), 12430397160 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
498601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49928 loops (13/sec), 12464325488 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
499281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49996 loops (13/sec), 12498300056 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
499961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50064 loops (13/sec), 12532320864 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
500641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50132 loops (13/sec), 12566387912 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
501321 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:
50200 loops (13/sec), 12600501200 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
502001 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:
50267 loops (13/sec), 12634158047 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
502671 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:
50334 loops (13/sec), 12667859784 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
503341 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:
50401 loops (13/sec), 12701606411 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
504011 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:
50468 loops (13/sec), 12735397928 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
504681 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:
50535 loops (13/sec), 12769234335 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
505351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50602 loops (13/sec), 12803115632 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
506021 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:
50669 loops (13/sec), 12837041819 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
506691 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:
50736 loops (13/sec), 12871012896 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
507361 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:
50803 loops (13/sec), 12905028863 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
508031 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:
50870 loops (13/sec), 12939089720 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
508701 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:
50937 loops (13/sec), 12973195467 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
509371 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:
51003 loops (13/sec), 13006836063 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
510031 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:
51069 loops (13/sec), 13040520219 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
510691 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:
51135 loops (13/sec), 13074247935 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
511351 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:
51201 loops (13/sec), 13108019211 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
512011 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:
51267 loops (13/sec), 13141834047 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
512671 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:
51333 loops (13/sec), 13175692443 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513331 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51399 loops (13/sec), 13209594399 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
513991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51465 loops (13/sec), 13243539915 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
514651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51531 loops (13/sec), 13277528991 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
515311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51596 loops (13/sec), 13311045656 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
515961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51661 loops (13/sec), 13344604571 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
516611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51726 loops (12/sec), 13378205736 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
517261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51791 loops (12/sec), 13411849151 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
517911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51856 loops (12/sec), 13445534816 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
518561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51921 loops (12/sec), 13479262731 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519211 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:
51986 loops (12/sec), 13513032896 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
519861 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:
52051 loops (13/sec), 13546845311 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
520511 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:
52116 loops (12/sec), 13580699976 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521161 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:
52181 loops (12/sec), 13614596891 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
521811 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:
52246 loops (12/sec), 13648536056 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
522461 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:
52311 loops (12/sec), 13682517471 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
523111 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:
52376 loops (12/sec), 13716541136 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
523761 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:
52441 loops (12/sec), 13750607051 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
524411 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:
52505 loops (12/sec), 13784190155 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
525051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0088856220245 seconds since the total time limit of 1800.0 seconds was exceeded.