Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/speed-ind/speed-ind.prism approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9199 loops (1839/sec), 12288531 sampling steps, 39 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
91772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12767 loops (713/sec), 26336121 sampling steps, 155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
126841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15180 loops (482/sec), 40478514 sampling steps, 326 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
150033 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17069 loops (377/sec), 54628377 sampling steps, 583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
167398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18664 loops (318/sec), 68817610 sampling steps, 878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
181612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20031 loops (273/sec), 82924029 sampling steps, 1212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
193375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21315 loops (256/sec), 96944947 sampling steps, 1601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
203853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22467 loops (230/sec), 110768194 sampling steps, 2019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
212864 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23568 loops (220/sec), 124742437 sampling steps, 2519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
220709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24635 loops (213/sec), 138687724 sampling steps, 3037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
228050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25646 loops (201/sec), 152626015 sampling steps, 3594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
234554 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26646 loops (199/sec), 166565381 sampling steps, 4224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
240185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27594 loops (189/sec), 180392474 sampling steps, 4836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
245587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28505 loops (182/sec), 194172601 sampling steps, 5427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
250784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29429 loops (184/sec), 208044856 sampling steps, 6065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
255514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30299 loops (173/sec), 221856411 sampling steps, 6702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
259727 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:
31184 loops (176/sec), 235680649 sampling steps, 7359 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
263749 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:
32065 loops (176/sec), 249510674 sampling steps, 8045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
267560 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:
32933 loops (173/sec), 263278598 sampling steps, 8736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
271133 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:
33819 loops (177/sec), 277121298 sampling steps, 9480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
274339 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:
34674 loops (170/sec), 290899636 sampling steps, 10188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
277578 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:
35526 loops (170/sec), 304687375 sampling steps, 10921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
280659 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:
36396 loops (173/sec), 318519485 sampling steps, 11684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
283374 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:
37236 loops (168/sec), 332275489 sampling steps, 12430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
285940 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:
38062 loops (165/sec), 345985173 sampling steps, 13165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288390 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:
38890 loops (165/sec), 359715146 sampling steps, 13917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
290693 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:
39742 loops (170/sec), 373511698 sampling steps, 14695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
293075 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:
40592 loops (169/sec), 387313487 sampling steps, 15478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
295252 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:
41440 loops (169/sec), 401113771 sampling steps, 16254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
297402 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:
42278 loops (167/sec), 414910794 sampling steps, 17040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
299291 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:
43114 loops (167/sec), 428719728 sampling steps, 17826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301269 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:
43950 loops (167/sec), 442498537 sampling steps, 18604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
303201 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:
44781 loops (165/sec), 456306778 sampling steps, 19386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305006 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:
45611 loops (165/sec), 470093010 sampling steps, 20179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
306694 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:
46472 loops (172/sec), 483937312 sampling steps, 20995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308350 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:
47330 loops (171/sec), 497744042 sampling steps, 21801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309930 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:
48147 loops (163/sec), 511459830 sampling steps, 22574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311481 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:
48987 loops (167/sec), 525273059 sampling steps, 23382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312913 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:
49831 loops (168/sec), 539101372 sampling steps, 24195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314418 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:
50624 loops (158/sec), 552771808 sampling steps, 24952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315892 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:
51372 loops (149/sec), 565325814 sampling steps, 25673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317100 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:
52106 loops (146/sec), 577646596 sampling steps, 26382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318336 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:
52875 loops (153/sec), 590501937 sampling steps, 27129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319496 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:
53685 loops (161/sec), 604112372 sampling steps, 27913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320682 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:
54474 loops (157/sec), 617405223 sampling steps, 28679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321798 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:
55298 loops (164/sec), 631149513 sampling steps, 29485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322885 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:
56127 loops (165/sec), 644883260 sampling steps, 30302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323897 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:
56969 loops (168/sec), 658696272 sampling steps, 31120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325031 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:
57785 loops (163/sec), 672370904 sampling steps, 31920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326124 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:
58586 loops (160/sec), 686079435 sampling steps, 32698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327249 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:
59410 loops (164/sec), 699915601 sampling steps, 33509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328295 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:
60240 loops (165/sec), 713742549 sampling steps, 34325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329213 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:
61055 loops (163/sec), 727566521 sampling steps, 35122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330202 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:
61873 loops (163/sec), 741355623 sampling steps, 35919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331183 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:
62685 loops (162/sec), 755078609 sampling steps, 36716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332040 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:
63522 loops (167/sec), 768904168 sampling steps, 37538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332915 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:
64367 loops (168/sec), 782738941 sampling steps, 38366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333902 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:
65190 loops (164/sec), 796576537 sampling steps, 39173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334714 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:
65992 loops (160/sec), 810342361 sampling steps, 39956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335666 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:
66826 loops (166/sec), 824167448 sampling steps, 40783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336409 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:
67628 loops (160/sec), 837871288 sampling steps, 41563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337273 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:
68447 loops (163/sec), 851647065 sampling steps, 42372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338139 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:
69261 loops (162/sec), 865427244 sampling steps, 43174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338863 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:
70078 loops (163/sec), 879244486 sampling steps, 43983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339615 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:
70896 loops (163/sec), 893045884 sampling steps, 44797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340297 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:
71720 loops (164/sec), 906840301 sampling steps, 45610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341076 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:
72522 loops (160/sec), 920616778 sampling steps, 46399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341943 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:
73353 loops (166/sec), 934447870 sampling steps, 47219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342724 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:
74178 loops (164/sec), 948252143 sampling steps, 48035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343397 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:
74985 loops (161/sec), 961979479 sampling steps, 48828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344047 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:
75816 loops (166/sec), 975791978 sampling steps, 49654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344743 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:
76622 loops (161/sec), 989588852 sampling steps, 50453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345429 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:
77452 loops (165/sec), 1003354802 sampling steps, 51276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346113 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:
78264 loops (162/sec), 1017159203 sampling steps, 52079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346729 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:
79090 loops (165/sec), 1030949106 sampling steps, 52894 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347390 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:
79907 loops (163/sec), 1044722926 sampling steps, 53701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348039 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:
80739 loops (166/sec), 1058528327 sampling steps, 54523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348622 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:
81569 loops (165/sec), 1072356186 sampling steps, 55343 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349239 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:
82374 loops (160/sec), 1086075021 sampling steps, 56134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349930 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:
83200 loops (164/sec), 1099876411 sampling steps, 56953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350558 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:
83947 loops (149/sec), 1112298669 sampling steps, 57690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84764 loops (163/sec), 1126102017 sampling steps, 58500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85579 loops (162/sec), 1139946587 sampling steps, 59305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86377 loops (159/sec), 1153698020 sampling steps, 60093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352849 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87195 loops (163/sec), 1167433178 sampling steps, 60908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353363 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88030 loops (167/sec), 1181172577 sampling steps, 61737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353881 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88886 loops (171/sec), 1195067010 sampling steps, 62589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354347 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89710 loops (164/sec), 1208902621 sampling steps, 63403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90518 loops (161/sec), 1222716810 sampling steps, 64202 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91328 loops (161/sec), 1236518818 sampling steps, 65004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356078 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92160 loops (166/sec), 1250377279 sampling steps, 65832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356557 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92991 loops (166/sec), 1264221607 sampling steps, 66657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357009 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93799 loops (161/sec), 1278017275 sampling steps, 67459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94572 loops (154/sec), 1291281975 sampling steps, 68229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95346 loops (154/sec), 1304603429 sampling steps, 69000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96155 loops (161/sec), 1318077167 sampling steps, 69805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96954 loops (159/sec), 1331585181 sampling steps, 70598 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97767 loops (162/sec), 1345170780 sampling steps, 71406 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98585 loops (163/sec), 1358820808 sampling steps, 72218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99415 loops (165/sec), 1372502399 sampling steps, 73043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100213 loops (159/sec), 1386069895 sampling steps, 73838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100970 loops (151/sec), 1398920570 sampling steps, 74588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101684 loops (142/sec), 1410700053 sampling steps, 75299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102412 loops (145/sec), 1422830411 sampling steps, 76017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362343 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103159 loops (149/sec), 1435243422 sampling steps, 76761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362759 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103882 loops (144/sec), 1447577820 sampling steps, 77480 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363188 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104571 loops (137/sec), 1459339836 sampling steps, 78164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105218 loops (129/sec), 1470349899 sampling steps, 78805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105874 loops (131/sec), 1481243034 sampling steps, 79459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106502 loops (125/sec), 1492081946 sampling steps, 80083 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107162 loops (131/sec), 1503153465 sampling steps, 80740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364973 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107809 loops (129/sec), 1514310030 sampling steps, 81382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108504 loops (138/sec), 1525700864 sampling steps, 82075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109195 loops (138/sec), 1537100962 sampling steps, 82762 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109863 loops (133/sec), 1548528324 sampling steps, 83430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366276 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110549 loops (137/sec), 1560068616 sampling steps, 84115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111212 loops (132/sec), 1571514694 sampling steps, 84773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111900 loops (137/sec), 1583101532 sampling steps, 85457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112582 loops (136/sec), 1594697698 sampling steps, 86135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113264 loops (136/sec), 1606389230 sampling steps, 86811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113957 loops (138/sec), 1618097236 sampling steps, 87496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368345 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114635 loops (135/sec), 1629741848 sampling steps, 88170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115327 loops (138/sec), 1641398226 sampling steps, 88858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368926 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116013 loops (137/sec), 1653087307 sampling steps, 89538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369260 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116697 loops (136/sec), 1664739042 sampling steps, 90220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117417 loops (143/sec), 1676426923 sampling steps, 90935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118130 loops (142/sec), 1688296901 sampling steps, 91647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118849 loops (143/sec), 1700112223 sampling steps, 92363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119538 loops (137/sec), 1711920539 sampling steps, 93045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370686 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120261 loops (144/sec), 1723876201 sampling steps, 93764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120955 loops (138/sec), 1735642600 sampling steps, 94455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121674 loops (143/sec), 1747549366 sampling steps, 95170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371556 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122367 loops (138/sec), 1759299395 sampling steps, 95858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
371865 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123065 loops (139/sec), 1770900665 sampling steps, 96555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123745 loops (135/sec), 1782553051 sampling steps, 97231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124414 loops (133/sec), 1794271421 sampling steps, 97898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
372743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125127 loops (142/sec), 1806174728 sampling steps, 98604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125843 loops (142/sec), 1818155560 sampling steps, 99317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126527 loops (136/sec), 1830015013 sampling steps, 99999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127219 loops (138/sec), 1841676022 sampling steps, 100688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
373939 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127912 loops (138/sec), 1853410581 sampling steps, 101375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374290 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128617 loops (141/sec), 1865340900 sampling steps, 102078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374582 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129305 loops (137/sec), 1877149922 sampling steps, 102764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
374844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130018 loops (142/sec), 1889021691 sampling steps, 103476 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130714 loops (138/sec), 1900767475 sampling steps, 104169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131389 loops (134/sec), 1912431480 sampling steps, 104842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132092 loops (140/sec), 1924194434 sampling steps, 105544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
375898 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132793 loops (140/sec), 1935881028 sampling steps, 106240 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133481 loops (137/sec), 1947531637 sampling steps, 106928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134166 loops (136/sec), 1959240664 sampling steps, 107611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134861 loops (138/sec), 1971020480 sampling steps, 108305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
376997 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135577 loops (143/sec), 1982962763 sampling steps, 109017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136285 loops (141/sec), 1994904738 sampling steps, 109724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377475 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136974 loops (137/sec), 2006835929 sampling steps, 110412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
377749 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137682 loops (141/sec), 2018668432 sampling steps, 111115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378082 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138376 loops (138/sec), 2030557528 sampling steps, 111806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378331 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139056 loops (135/sec), 2042408865 sampling steps, 112482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139753 loops (139/sec), 2054211239 sampling steps, 113178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
378829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140470 loops (143/sec), 2066150114 sampling steps, 113893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141176 loops (141/sec), 2078177902 sampling steps, 114594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141909 loops (146/sec), 2090236364 sampling steps, 115323 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379628 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142605 loops (139/sec), 2102096179 sampling steps, 116013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
379977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143310 loops (140/sec), 2114088281 sampling steps, 116714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144019 loops (141/sec), 2125994377 sampling steps, 117423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380503 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144718 loops (139/sec), 2137777671 sampling steps, 118119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
380751 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145413 loops (138/sec), 2149629861 sampling steps, 118810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146113 loops (139/sec), 2161504587 sampling steps, 119506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146818 loops (140/sec), 2173315886 sampling steps, 120210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147509 loops (138/sec), 2185129879 sampling steps, 120900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148208 loops (139/sec), 2197002795 sampling steps, 121597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
381949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148886 loops (135/sec), 2208774366 sampling steps, 122271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149573 loops (137/sec), 2220592245 sampling steps, 122955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382430 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150287 loops (142/sec), 2232501555 sampling steps, 123668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150990 loops (140/sec), 2244359121 sampling steps, 124369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
382912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151681 loops (137/sec), 2256180614 sampling steps, 125057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383121 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152397 loops (143/sec), 2268111472 sampling steps, 125771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383339 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153101 loops (140/sec), 2280055853 sampling steps, 126473 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153807 loops (141/sec), 2291917154 sampling steps, 127176 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
383829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154503 loops (139/sec), 2303776900 sampling steps, 127869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155212 loops (141/sec), 2315664749 sampling steps, 128577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155935 loops (144/sec), 2327527609 sampling steps, 129297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156632 loops (139/sec), 2339422854 sampling steps, 129991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157335 loops (140/sec), 2351372346 sampling steps, 130690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
384902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158016 loops (136/sec), 2363179323 sampling steps, 131370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158730 loops (142/sec), 2375132516 sampling steps, 132080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159463 loops (146/sec), 2387141725 sampling steps, 132810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160177 loops (142/sec), 2399095670 sampling steps, 133522 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
385841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160885 loops (141/sec), 2410981065 sampling steps, 134229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161612 loops (145/sec), 2422952094 sampling steps, 134954 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386232 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162321 loops (141/sec), 2434901961 sampling steps, 135662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386386 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163023 loops (140/sec), 2446772852 sampling steps, 136363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163722 loops (139/sec), 2458669123 sampling steps, 137058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386738 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164420 loops (139/sec), 2470528744 sampling steps, 137755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
386937 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165120 loops (139/sec), 2482382868 sampling steps, 138455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387104 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165814 loops (138/sec), 2494274009 sampling steps, 139149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166535 loops (143/sec), 2506247517 sampling steps, 139869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167222 loops (137/sec), 2518097267 sampling steps, 140554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167928 loops (141/sec), 2530037008 sampling steps, 141259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
387890 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168649 loops (144/sec), 2542030283 sampling steps, 141979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169341 loops (138/sec), 2553886418 sampling steps, 142671 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170050 loops (141/sec), 2565822405 sampling steps, 143377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170737 loops (137/sec), 2577717658 sampling steps, 144062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171447 loops (141/sec), 2589676788 sampling steps, 144769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
388904 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172159 loops (142/sec), 2601564447 sampling steps, 145479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172864 loops (140/sec), 2613477735 sampling steps, 146182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173569 loops (140/sec), 2625442790 sampling steps, 146882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174290 loops (144/sec), 2637372241 sampling steps, 147601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175004 loops (142/sec), 2649381394 sampling steps, 148314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
389876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175708 loops (140/sec), 2661369513 sampling steps, 149018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176398 loops (138/sec), 2673263048 sampling steps, 149705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177102 loops (140/sec), 2685249541 sampling steps, 150407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177801 loops (139/sec), 2697194124 sampling steps, 151104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178499 loops (139/sec), 2709072733 sampling steps, 151802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
390839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179196 loops (139/sec), 2720845898 sampling steps, 152496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391036 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179885 loops (137/sec), 2732706274 sampling steps, 153185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391203 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180584 loops (139/sec), 2744574761 sampling steps, 153884 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181284 loops (139/sec), 2756348812 sampling steps, 154580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181994 loops (141/sec), 2768214725 sampling steps, 155289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391794 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182710 loops (143/sec), 2780165089 sampling steps, 156005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
391928 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183435 loops (144/sec), 2792073270 sampling steps, 156729 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184145 loops (141/sec), 2804071712 sampling steps, 157436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184845 loops (139/sec), 2815978778 sampling steps, 158135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392422 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185536 loops (138/sec), 2827870293 sampling steps, 158822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186237 loops (140/sec), 2839731963 sampling steps, 159520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
392829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186951 loops (142/sec), 2851735987 sampling steps, 160231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187679 loops (145/sec), 2863839128 sampling steps, 160957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188393 loops (142/sec), 2875834171 sampling steps, 161670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189086 loops (138/sec), 2887725527 sampling steps, 162361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189778 loops (138/sec), 2899517292 sampling steps, 163052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190487 loops (141/sec), 2911339244 sampling steps, 163760 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
393931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191170 loops (136/sec), 2922991751 sampling steps, 164441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191872 loops (140/sec), 2934709979 sampling steps, 165143 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192561 loops (137/sec), 2946446326 sampling steps, 165832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394409 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193265 loops (140/sec), 2958167440 sampling steps, 166533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193977 loops (142/sec), 2970006927 sampling steps, 167243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194659 loops (136/sec), 2981734679 sampling steps, 167923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
394975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195326 loops (133/sec), 2993148393 sampling steps, 168588 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395138 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196028 loops (140/sec), 3004909360 sampling steps, 169289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196741 loops (142/sec), 3016709902 sampling steps, 169999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197432 loops (138/sec), 3028436645 sampling steps, 170688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198096 loops (132/sec), 3039703616 sampling steps, 171350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198773 loops (135/sec), 3051106607 sampling steps, 172026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
395970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199472 loops (139/sec), 3062856454 sampling steps, 172725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200176 loops (140/sec), 3074642606 sampling steps, 173427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396306 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200856 loops (135/sec), 3086468720 sampling steps, 174106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396434 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201552 loops (139/sec), 3098324390 sampling steps, 174798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202243 loops (138/sec), 3110157566 sampling steps, 175488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202947 loops (140/sec), 3121951686 sampling steps, 176190 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
396949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203647 loops (139/sec), 3133799894 sampling steps, 176890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204368 loops (144/sec), 3145741994 sampling steps, 177610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205038 loops (134/sec), 3157516286 sampling steps, 178279 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397374 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205736 loops (139/sec), 3169318495 sampling steps, 178976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206452 loops (143/sec), 3181188151 sampling steps, 179691 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397676 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207176 loops (144/sec), 3193096537 sampling steps, 180415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207880 loops (140/sec), 3204903690 sampling steps, 181118 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
397971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208588 loops (141/sec), 3216803318 sampling steps, 181824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398145 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:
209280 loops (138/sec), 3228655104 sampling steps, 182514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398305 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:
210001 loops (144/sec), 3240546485 sampling steps, 183232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398499 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:
210693 loops (138/sec), 3252443240 sampling steps, 183923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398667 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:
211427 loops (146/sec), 3264445503 sampling steps, 184655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398816 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:
212133 loops (140/sec), 3276351164 sampling steps, 185360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
398982 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:
212844 loops (142/sec), 3288260509 sampling steps, 186070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399149 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:
213561 loops (143/sec), 3300215270 sampling steps, 186785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399282 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:
214240 loops (135/sec), 3312097683 sampling steps, 187461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399458 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:
214952 loops (142/sec), 3323962941 sampling steps, 188173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399569 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:
215674 loops (144/sec), 3335911650 sampling steps, 188893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399731 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:
216387 loops (142/sec), 3347866672 sampling steps, 189606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
399871 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:
217100 loops (142/sec), 3359804660 sampling steps, 190318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400002 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:
217798 loops (139/sec), 3371629860 sampling steps, 191016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400144 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:
218501 loops (140/sec), 3383542017 sampling steps, 191718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400297 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:
219191 loops (138/sec), 3395453158 sampling steps, 192407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400429 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:
219893 loops (140/sec), 3407334424 sampling steps, 193107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400567 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:
220620 loops (145/sec), 3419318852 sampling steps, 193834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400725 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:
221334 loops (142/sec), 3431264244 sampling steps, 194546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400852 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:
222037 loops (140/sec), 3443197789 sampling steps, 195248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
400945 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:
222719 loops (136/sec), 3454972008 sampling steps, 195930 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401061 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:
223410 loops (138/sec), 3466768486 sampling steps, 196620 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401186 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:
224130 loops (144/sec), 3478644004 sampling steps, 197337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401309 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:
224831 loops (139/sec), 3490504216 sampling steps, 198036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401442 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:
225536 loops (140/sec), 3502353193 sampling steps, 198739 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226237 loops (140/sec), 3514145989 sampling steps, 199440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226928 loops (138/sec), 3525982726 sampling steps, 200131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227642 loops (142/sec), 3537810663 sampling steps, 200843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
401995 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228352 loops (141/sec), 3549701035 sampling steps, 201553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229049 loops (139/sec), 3561599077 sampling steps, 202249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402252 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229765 loops (142/sec), 3573488378 sampling steps, 202964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230477 loops (142/sec), 3585369056 sampling steps, 203673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231176 loops (139/sec), 3597207557 sampling steps, 204369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231868 loops (138/sec), 3608985824 sampling steps, 205061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232599 loops (146/sec), 3620854196 sampling steps, 205790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
402924 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233303 loops (140/sec), 3632731078 sampling steps, 206494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234027 loops (144/sec), 3644637614 sampling steps, 207218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234714 loops (137/sec), 3656494416 sampling steps, 207904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235420 loops (141/sec), 3668291348 sampling steps, 208609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403420 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236121 loops (140/sec), 3680120734 sampling steps, 209310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403554 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236809 loops (137/sec), 3691935874 sampling steps, 209994 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237512 loops (140/sec), 3703732595 sampling steps, 210697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403836 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238242 loops (145/sec), 3715640693 sampling steps, 211425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
403994 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238920 loops (135/sec), 3727426027 sampling steps, 212102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239628 loops (141/sec), 3739245020 sampling steps, 212810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404289 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240308 loops (135/sec), 3750962429 sampling steps, 213489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241020 loops (142/sec), 3762793865 sampling steps, 214199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241727 loops (141/sec), 3774670961 sampling steps, 214906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242444 loops (143/sec), 3786515022 sampling steps, 215622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243140 loops (139/sec), 3798346531 sampling steps, 216317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243824 loops (136/sec), 3810184572 sampling steps, 217000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
404954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244545 loops (144/sec), 3822075762 sampling steps, 217721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245239 loops (138/sec), 3833840875 sampling steps, 218414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245959 loops (143/sec), 3845743122 sampling steps, 219133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246654 loops (138/sec), 3857599087 sampling steps, 219827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405441 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247350 loops (139/sec), 3869357697 sampling steps, 220521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248056 loops (141/sec), 3881222768 sampling steps, 221227 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248735 loops (135/sec), 3892905144 sampling steps, 221906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405797 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249421 loops (136/sec), 3904661346 sampling steps, 222592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
405892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250123 loops (140/sec), 3916525784 sampling steps, 223292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250830 loops (141/sec), 3928379189 sampling steps, 223998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251536 loops (141/sec), 3940241913 sampling steps, 224703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406233 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252237 loops (140/sec), 3952084172 sampling steps, 225403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406339 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252947 loops (141/sec), 3963913257 sampling steps, 226113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406418 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253653 loops (141/sec), 3975755250 sampling steps, 226817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254361 loops (141/sec), 3987616333 sampling steps, 227524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406713 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255069 loops (141/sec), 3999501160 sampling steps, 228232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255767 loops (139/sec), 4011372916 sampling steps, 228929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
406955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256471 loops (140/sec), 4023248667 sampling steps, 229631 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257165 loops (138/sec), 4034966721 sampling steps, 230324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407214 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257868 loops (140/sec), 4046857001 sampling steps, 231026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407323 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258572 loops (140/sec), 4058739673 sampling steps, 231728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407473 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259261 loops (137/sec), 4070559265 sampling steps, 232417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407545 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259970 loops (141/sec), 4082452578 sampling steps, 233126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407658 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260671 loops (140/sec), 4094330704 sampling steps, 233824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407810 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261384 loops (142/sec), 4106193509 sampling steps, 234535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
407916 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262077 loops (138/sec), 4117988273 sampling steps, 235228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262783 loops (141/sec), 4129848447 sampling steps, 235932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408115 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263467 loops (136/sec), 4141627288 sampling steps, 236613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264146 loops (135/sec), 4153389390 sampling steps, 237292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264845 loops (139/sec), 4165202005 sampling steps, 237990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265531 loops (136/sec), 4176929889 sampling steps, 238676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266243 loops (142/sec), 4188799535 sampling steps, 239386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266949 loops (141/sec), 4200635265 sampling steps, 240088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408810 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267648 loops (139/sec), 4212494040 sampling steps, 240785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
408937 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268373 loops (144/sec), 4224410391 sampling steps, 241510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409061 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269052 loops (135/sec), 4236163237 sampling steps, 242189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409149 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269746 loops (138/sec), 4247982037 sampling steps, 242882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409269 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270431 loops (136/sec), 4259785021 sampling steps, 243566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271110 loops (135/sec), 4271519743 sampling steps, 244245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409484 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271818 loops (141/sec), 4283394624 sampling steps, 244950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272512 loops (138/sec), 4295251804 sampling steps, 245642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273186 loops (134/sec), 4307028346 sampling steps, 246315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273869 loops (136/sec), 4318788156 sampling steps, 246997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
409974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274580 loops (142/sec), 4330798576 sampling steps, 247705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275283 loops (140/sec), 4342736535 sampling steps, 248408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275991 loops (141/sec), 4354706836 sampling steps, 249115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276697 loops (141/sec), 4366612367 sampling steps, 249818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410449 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277408 loops (142/sec), 4378468163 sampling steps, 250529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278122 loops (142/sec), 4390329226 sampling steps, 251242 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278826 loops (140/sec), 4402142161 sampling steps, 251945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279534 loops (141/sec), 4413988799 sampling steps, 252652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280233 loops (139/sec), 4425838905 sampling steps, 253351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
410947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280941 loops (141/sec), 4437694016 sampling steps, 254058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
411052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0079534053802 seconds since the total time limit of 1800.0 seconds was exceeded.