Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:01 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/cluster/cluster.prism --const N=128 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6999 loops (1399/sec), 18611960 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10070 loops (614/sec), 37369751 sampling steps, 4 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
100663 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12400 loops (466/sec), 55924632 sampling steps, 6 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
123946 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14243 loops (368/sec), 73356175 sampling steps, 13 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
142310 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15886 loops (328/sec), 91046872 sampling steps, 20 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
158680 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17330 loops (288/sec), 108317921 sampling steps, 22 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
173100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18637 loops (261/sec), 125298983 sampling steps, 24 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
186156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19842 loops (240/sec), 142067508 sampling steps, 29 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
198158 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20954 loops (222/sec), 158639943 sampling steps, 32 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
209254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22005 loops (209/sec), 175184196 sampling steps, 34 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
219744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23003 loops (199/sec), 191604420 sampling steps, 39 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
229677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23946 loops (188/sec), 207854091 sampling steps, 41 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
239088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24840 loops (178/sec), 223982630 sampling steps, 49 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
247952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25699 loops (171/sec), 240056911 sampling steps, 52 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
256517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26517 loops (163/sec), 256079315 sampling steps, 53 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
264687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27306 loops (157/sec), 271988563 sampling steps, 57 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
272538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28058 loops (150/sec), 287666409 sampling steps, 112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
279813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28805 loops (149/sec), 303634238 sampling steps, 556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
284969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29550 loops (148/sec), 319644367 sampling steps, 1122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
288840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30291 loops (148/sec), 335751896 sampling steps, 1763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
291638 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31039 loops (149/sec), 351946477 sampling steps, 2417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
294305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31782 loops (148/sec), 368106624 sampling steps, 3072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
296672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32521 loops (147/sec), 384296168 sampling steps, 3743 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
298541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33265 loops (148/sec), 400545972 sampling steps, 4427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
300319 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34004 loops (147/sec), 416706558 sampling steps, 5117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
301834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34742 loops (147/sec), 432863764 sampling steps, 5799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
303358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35481 loops (147/sec), 449083915 sampling steps, 6494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
304677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36220 loops (147/sec), 465301752 sampling steps, 7192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
305966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36962 loops (148/sec), 481629475 sampling steps, 7892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
307237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37697 loops (147/sec), 497850846 sampling steps, 8600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
308266 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38438 loops (148/sec), 514134949 sampling steps, 9316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
309194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39175 loops (147/sec), 530402805 sampling steps, 10027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
310149 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39906 loops (146/sec), 546622301 sampling steps, 10732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
311180 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40643 loops (147/sec), 562900506 sampling steps, 11444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41389 loops (149/sec), 579243616 sampling steps, 12160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
312955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42121 loops (146/sec), 595503610 sampling steps, 12869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
313734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42862 loops (148/sec), 611685546 sampling steps, 13571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
314641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43594 loops (146/sec), 627917696 sampling steps, 14279 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
315522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44331 loops (147/sec), 644189625 sampling steps, 14986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45068 loops (147/sec), 660475899 sampling steps, 15709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
316966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45803 loops (146/sec), 676768976 sampling steps, 16430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
317538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46543 loops (147/sec), 693104268 sampling steps, 17148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318205 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47277 loops (146/sec), 709430653 sampling steps, 17862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
318910 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48009 loops (146/sec), 725685313 sampling steps, 18583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
319482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48742 loops (146/sec), 741930916 sampling steps, 19295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
320114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49474 loops (146/sec), 758191424 sampling steps, 20013 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:52:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50209 loops (147/sec), 774419606 sampling steps, 20730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50942 loops (146/sec), 790673892 sampling steps, 21448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
321906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51678 loops (147/sec), 806923912 sampling steps, 22173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322434 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52402 loops (144/sec), 823094436 sampling steps, 22887 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
322907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53137 loops (146/sec), 839387940 sampling steps, 23609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53872 loops (146/sec), 855658934 sampling steps, 24333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
323926 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54569 loops (139/sec), 871205548 sampling steps, 25023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55293 loops (144/sec), 887269033 sampling steps, 25734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
324856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56022 loops (145/sec), 903367798 sampling steps, 26445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56748 loops (145/sec), 919493363 sampling steps, 27161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
325834 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57466 loops (143/sec), 935516275 sampling steps, 27873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326226 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58189 loops (144/sec), 951604547 sampling steps, 28581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
326766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58912 loops (144/sec), 967737698 sampling steps, 29298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59636 loops (144/sec), 983801070 sampling steps, 30008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
327565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60362 loops (145/sec), 999844212 sampling steps, 30720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61078 loops (143/sec), 1015829592 sampling steps, 31428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61795 loops (143/sec), 1031894479 sampling steps, 32137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
328875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62518 loops (144/sec), 1047973616 sampling steps, 32853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63246 loops (145/sec), 1064143064 sampling steps, 33571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
329622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63978 loops (146/sec), 1080374835 sampling steps, 34296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330044 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64705 loops (145/sec), 1096544790 sampling steps, 35016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330407 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65429 loops (144/sec), 1112654167 sampling steps, 35725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
330885 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66150 loops (144/sec), 1128732638 sampling steps, 36440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66864 loops (142/sec), 1144694689 sampling steps, 37148 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67599 loops (146/sec), 1160872462 sampling steps, 37872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
331923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68320 loops (144/sec), 1176950883 sampling steps, 38589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69037 loops (143/sec), 1192966868 sampling steps, 39302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69766 loops (145/sec), 1209067191 sampling steps, 40023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
332876 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70495 loops (145/sec), 1225191347 sampling steps, 40750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71221 loops (145/sec), 1241297737 sampling steps, 41463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333550 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71946 loops (145/sec), 1257372835 sampling steps, 42180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
333891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72674 loops (145/sec), 1273512284 sampling steps, 42900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334182 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73396 loops (144/sec), 1289627913 sampling steps, 43620 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334412 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74119 loops (144/sec), 1305749771 sampling steps, 44337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74843 loops (144/sec), 1321839673 sampling steps, 45057 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
334933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75569 loops (145/sec), 1337993894 sampling steps, 45780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335205 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76290 loops (144/sec), 1354069365 sampling steps, 46497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77012 loops (144/sec), 1370144179 sampling steps, 47213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335712 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77731 loops (143/sec), 1386191951 sampling steps, 47931 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
335975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78458 loops (145/sec), 1402250227 sampling steps, 48658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336142 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79177 loops (143/sec), 1418310972 sampling steps, 49370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79907 loops (145/sec), 1434507516 sampling steps, 50096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80634 loops (145/sec), 1450644018 sampling steps, 50818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
336906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81359 loops (144/sec), 1466813302 sampling steps, 51539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82084 loops (144/sec), 1482922981 sampling steps, 52259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82809 loops (145/sec), 1499041919 sampling steps, 52981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83532 loops (144/sec), 1515152139 sampling steps, 53701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
337778 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84251 loops (143/sec), 1531225828 sampling steps, 54416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84974 loops (144/sec), 1547358540 sampling steps, 55134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85697 loops (144/sec), 1563479348 sampling steps, 55855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86415 loops (143/sec), 1579540254 sampling steps, 56568 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
338854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87133 loops (143/sec), 1595586495 sampling steps, 57280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87854 loops (144/sec), 1611648826 sampling steps, 57997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88583 loops (145/sec), 1627817824 sampling steps, 58720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89310 loops (145/sec), 1643990385 sampling steps, 59443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
339987 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90037 loops (145/sec), 1660161752 sampling steps, 60164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90763 loops (145/sec), 1676315436 sampling steps, 60885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91484 loops (144/sec), 1692455022 sampling steps, 61604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92218 loops (146/sec), 1708743100 sampling steps, 62335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
340879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92956 loops (147/sec), 1725107273 sampling steps, 63070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93686 loops (145/sec), 1741356006 sampling steps, 63795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94418 loops (146/sec), 1757710611 sampling steps, 64526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95149 loops (146/sec), 1773983121 sampling steps, 65251 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341671 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95881 loops (146/sec), 1790269325 sampling steps, 65976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
341892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96614 loops (146/sec), 1806630190 sampling steps, 66708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342119 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97351 loops (147/sec), 1822994916 sampling steps, 67439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98084 loops (146/sec), 1839368935 sampling steps, 68171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98815 loops (146/sec), 1855710378 sampling steps, 68902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342732 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99551 loops (147/sec), 1872069627 sampling steps, 69635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
342949 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100283 loops (146/sec), 1888416817 sampling steps, 70364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101014 loops (146/sec), 1904735887 sampling steps, 71092 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343326 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101750 loops (147/sec), 1921109079 sampling steps, 71826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343499 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102486 loops (147/sec), 1937520803 sampling steps, 72558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103213 loops (145/sec), 1953772689 sampling steps, 73280 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
343903 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103944 loops (146/sec), 1970089232 sampling steps, 74011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104672 loops (145/sec), 1986355554 sampling steps, 74734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344251 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105405 loops (146/sec), 2002671712 sampling steps, 75462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106140 loops (146/sec), 2019042460 sampling steps, 76195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106872 loops (146/sec), 2035387163 sampling steps, 76922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
344837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107605 loops (146/sec), 2051714001 sampling steps, 77653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108337 loops (146/sec), 2068038732 sampling steps, 78382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109072 loops (146/sec), 2084415470 sampling steps, 79113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109803 loops (146/sec), 2100764622 sampling steps, 79840 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110541 loops (147/sec), 2117188681 sampling steps, 80577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
345810 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111276 loops (146/sec), 2133593293 sampling steps, 81308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346046 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112015 loops (147/sec), 2149985478 sampling steps, 82043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112747 loops (146/sec), 2166295825 sampling steps, 82774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113475 loops (145/sec), 2182526682 sampling steps, 83499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346526 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114218 loops (148/sec), 2198928368 sampling steps, 84238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114956 loops (147/sec), 2215315596 sampling steps, 84971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
346906 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115691 loops (146/sec), 2231690223 sampling steps, 85704 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116426 loops (146/sec), 2248052826 sampling steps, 86435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117161 loops (146/sec), 2264495599 sampling steps, 87170 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347382 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117898 loops (147/sec), 2280916519 sampling steps, 87906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347520 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118633 loops (146/sec), 2297309174 sampling steps, 88637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347731 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119361 loops (145/sec), 2313672781 sampling steps, 89363 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
347923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120094 loops (146/sec), 2330076929 sampling steps, 90094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348082 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120825 loops (146/sec), 2346450383 sampling steps, 90820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121555 loops (145/sec), 2362785179 sampling steps, 91546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122288 loops (146/sec), 2379132932 sampling steps, 92277 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348639 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123020 loops (146/sec), 2395515444 sampling steps, 93009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123750 loops (146/sec), 2411861449 sampling steps, 93738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
348901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124484 loops (146/sec), 2428218625 sampling steps, 94469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125222 loops (147/sec), 2444619789 sampling steps, 95205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349237 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125957 loops (146/sec), 2461030146 sampling steps, 95938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126698 loops (148/sec), 2477486341 sampling steps, 96676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127431 loops (146/sec), 2493892973 sampling steps, 97409 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128165 loops (146/sec), 2510312049 sampling steps, 98141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
349851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128905 loops (147/sec), 2526743401 sampling steps, 98876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129645 loops (147/sec), 2543190520 sampling steps, 99614 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130385 loops (147/sec), 2559633441 sampling steps, 100352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131119 loops (146/sec), 2576025138 sampling steps, 101085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350449 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131856 loops (147/sec), 2592473971 sampling steps, 101820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350624 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132595 loops (147/sec), 2608915720 sampling steps, 102555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350782 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133329 loops (146/sec), 2625333900 sampling steps, 103283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
350978 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134064 loops (146/sec), 2641771643 sampling steps, 104018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134805 loops (148/sec), 2658245285 sampling steps, 104756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351244 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135540 loops (146/sec), 2674694492 sampling steps, 105488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136282 loops (148/sec), 2691124702 sampling steps, 106228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137027 loops (149/sec), 2707626266 sampling steps, 106972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351647 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137760 loops (146/sec), 2724021227 sampling steps, 107701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138493 loops (146/sec), 2740401611 sampling steps, 108430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
351961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139232 loops (147/sec), 2756805990 sampling steps, 109167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139968 loops (147/sec), 2773172588 sampling steps, 109903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140701 loops (146/sec), 2789558200 sampling steps, 110633 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141434 loops (146/sec), 2805928010 sampling steps, 111366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142172 loops (147/sec), 2822275787 sampling steps, 112104 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142908 loops (146/sec), 2838654896 sampling steps, 112836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143644 loops (147/sec), 2855030956 sampling steps, 113571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
352969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144377 loops (146/sec), 2871390632 sampling steps, 114302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145112 loops (146/sec), 2887776054 sampling steps, 115036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145851 loops (147/sec), 2904223212 sampling steps, 115772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146591 loops (147/sec), 2920691761 sampling steps, 116510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147332 loops (147/sec), 2937148197 sampling steps, 117249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353664 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148066 loops (146/sec), 2953523104 sampling steps, 117982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148802 loops (147/sec), 2969902872 sampling steps, 118715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
353921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149541 loops (147/sec), 2986370467 sampling steps, 119452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150275 loops (146/sec), 3002801607 sampling steps, 120184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151006 loops (146/sec), 3019189194 sampling steps, 120914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354335 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151744 loops (147/sec), 3035621364 sampling steps, 121651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152484 loops (148/sec), 3052028551 sampling steps, 122390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153220 loops (146/sec), 3068400665 sampling steps, 123125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153957 loops (147/sec), 3084774252 sampling steps, 123858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354858 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154690 loops (146/sec), 3101116988 sampling steps, 124590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
354950 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155419 loops (145/sec), 3117437372 sampling steps, 125318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355032 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156157 loops (147/sec), 3133771813 sampling steps, 126054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355197 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156890 loops (146/sec), 3150040328 sampling steps, 126783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157620 loops (145/sec), 3166349567 sampling steps, 127511 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158354 loops (146/sec), 3182705053 sampling steps, 128243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159091 loops (147/sec), 3199081418 sampling steps, 128979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159827 loops (147/sec), 3215470053 sampling steps, 129713 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160556 loops (145/sec), 3231779497 sampling steps, 130438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
355967 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161282 loops (145/sec), 3248078065 sampling steps, 131163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162014 loops (146/sec), 3264438128 sampling steps, 131893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162749 loops (146/sec), 3280834264 sampling steps, 132626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356279 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163483 loops (146/sec), 3297209747 sampling steps, 133360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164222 loops (147/sec), 3313621326 sampling steps, 134097 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164967 loops (148/sec), 3330094180 sampling steps, 134839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356645 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165702 loops (146/sec), 3346494469 sampling steps, 135572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166434 loops (146/sec), 3362839648 sampling steps, 136303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356860 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167167 loops (146/sec), 3379243806 sampling steps, 137035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
356986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167842 loops (134/sec), 3394296039 sampling steps, 137708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168577 loops (146/sec), 3410673032 sampling steps, 138440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169311 loops (146/sec), 3427062736 sampling steps, 139173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170050 loops (147/sec), 3443501411 sampling steps, 139911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170780 loops (145/sec), 3459817332 sampling steps, 140640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171514 loops (146/sec), 3476187339 sampling steps, 141369 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172247 loops (146/sec), 3492595701 sampling steps, 142099 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172983 loops (147/sec), 3508995620 sampling steps, 142835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
357866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173720 loops (147/sec), 3525392761 sampling steps, 143570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358013 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174455 loops (147/sec), 3541749405 sampling steps, 144303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358133 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175188 loops (146/sec), 3558119293 sampling steps, 145034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175929 loops (148/sec), 3574525973 sampling steps, 145773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176668 loops (147/sec), 3590949800 sampling steps, 146510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177402 loops (146/sec), 3607363890 sampling steps, 147244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178136 loops (146/sec), 3623764212 sampling steps, 147977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178872 loops (147/sec), 3640212424 sampling steps, 148712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358798 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179611 loops (147/sec), 3656663954 sampling steps, 149449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
358923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180342 loops (146/sec), 3673048355 sampling steps, 150178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181084 loops (148/sec), 3689531051 sampling steps, 150919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359100 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181815 loops (146/sec), 3705881689 sampling steps, 151649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359212 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182554 loops (147/sec), 3722338457 sampling steps, 152388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183289 loops (146/sec), 3738735741 sampling steps, 153122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184016 loops (145/sec), 3754983039 sampling steps, 153846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184745 loops (145/sec), 3771340314 sampling steps, 154575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185482 loops (147/sec), 3787777565 sampling steps, 155309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186219 loops (147/sec), 3804174894 sampling steps, 156046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186959 loops (147/sec), 3820650494 sampling steps, 156783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359896 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187696 loops (147/sec), 3837085298 sampling steps, 157519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
359986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188437 loops (148/sec), 3853530295 sampling steps, 158259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189168 loops (146/sec), 3869869075 sampling steps, 158988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189909 loops (148/sec), 3886256170 sampling steps, 159726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360310 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190644 loops (146/sec), 3902628796 sampling steps, 160460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191381 loops (147/sec), 3919006319 sampling steps, 161197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192117 loops (147/sec), 3935376630 sampling steps, 161932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192848 loops (146/sec), 3951660837 sampling steps, 162663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360680 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193588 loops (147/sec), 3968075340 sampling steps, 163401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194322 loops (146/sec), 3984467374 sampling steps, 164133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360858 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195059 loops (147/sec), 4000900380 sampling steps, 164869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
360971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195795 loops (147/sec), 4017271338 sampling steps, 165604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196537 loops (148/sec), 4033764707 sampling steps, 166343 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197273 loops (147/sec), 4050176530 sampling steps, 167078 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197999 loops (145/sec), 4066363547 sampling steps, 167803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361286 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198723 loops (144/sec), 4082549336 sampling steps, 168526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361367 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199454 loops (146/sec), 4098893028 sampling steps, 169257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200173 loops (143/sec), 4114917367 sampling steps, 169972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361591 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200902 loops (145/sec), 4131220270 sampling steps, 170701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201634 loops (146/sec), 4147484110 sampling steps, 171433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202370 loops (147/sec), 4163910315 sampling steps, 172167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361863 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203103 loops (146/sec), 4180301619 sampling steps, 172899 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203842 loops (147/sec), 4196760599 sampling steps, 173638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
361991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204577 loops (146/sec), 4213179687 sampling steps, 174373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205316 loops (147/sec), 4229664720 sampling steps, 175111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206051 loops (146/sec), 4246098188 sampling steps, 175846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362289 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206790 loops (147/sec), 4262521055 sampling steps, 176583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207531 loops (148/sec), 4278990867 sampling steps, 177324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208269 loops (147/sec), 4295429268 sampling steps, 178061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209010 loops (148/sec), 4311880492 sampling steps, 178801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362639 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209744 loops (146/sec), 4328285704 sampling steps, 179534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210479 loops (147/sec), 4344649412 sampling steps, 180269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362803 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211216 loops (147/sec), 4361089587 sampling steps, 181004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362907 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211958 loops (148/sec), 4377573298 sampling steps, 181746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
362983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212691 loops (146/sec), 4393968292 sampling steps, 182474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213429 loops (147/sec), 4410425385 sampling steps, 183209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363218 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214172 loops (148/sec), 4426915678 sampling steps, 183949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214913 loops (148/sec), 4443367097 sampling steps, 184690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363383 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215648 loops (146/sec), 4459790441 sampling steps, 185424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363459 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216381 loops (146/sec), 4476205297 sampling steps, 186156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363559 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217113 loops (146/sec), 4492580059 sampling steps, 186888 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363654 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217844 loops (146/sec), 4508942764 sampling steps, 187619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363715 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218578 loops (146/sec), 4525283114 sampling steps, 188351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219309 loops (146/sec), 4541561977 sampling steps, 189081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
363924 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220046 loops (147/sec), 4557990898 sampling steps, 189815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220782 loops (147/sec), 4574412093 sampling steps, 190551 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364131 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221521 loops (147/sec), 4590885062 sampling steps, 191289 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364203 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222261 loops (148/sec), 4607329304 sampling steps, 192029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364273 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222994 loops (146/sec), 4623737364 sampling steps, 192761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223731 loops (147/sec), 4640150318 sampling steps, 193496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224468 loops (147/sec), 4656570416 sampling steps, 194233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225206 loops (147/sec), 4673001342 sampling steps, 194970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225937 loops (146/sec), 4689360037 sampling steps, 195700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364686 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226675 loops (147/sec), 4705787788 sampling steps, 196437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227409 loops (146/sec), 4722168006 sampling steps, 197169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228142 loops (146/sec), 4738523676 sampling steps, 197900 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
364956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228878 loops (147/sec), 4754988410 sampling steps, 198636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229618 loops (147/sec), 4771446388 sampling steps, 199375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365092 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230355 loops (147/sec), 4787880020 sampling steps, 200109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365190 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231093 loops (147/sec), 4804294851 sampling steps, 200847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231838 loops (148/sec), 4820782240 sampling steps, 201592 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232580 loops (148/sec), 4837280868 sampling steps, 202334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233313 loops (146/sec), 4853655155 sampling steps, 203066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234049 loops (147/sec), 4870077862 sampling steps, 203801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234783 loops (146/sec), 4886489285 sampling steps, 204534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365698 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235515 loops (146/sec), 4902885676 sampling steps, 205265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236253 loops (147/sec), 4919272406 sampling steps, 206002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236988 loops (146/sec), 4935635092 sampling steps, 206734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
365915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237726 loops (147/sec), 4952063595 sampling steps, 207472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238465 loops (147/sec), 4968473505 sampling steps, 208209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239201 loops (147/sec), 4984870541 sampling steps, 208944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366156 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239931 loops (145/sec), 5001272240 sampling steps, 209673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366255 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240673 loops (148/sec), 5017729937 sampling steps, 210412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241409 loops (147/sec), 5034144968 sampling steps, 211147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242144 loops (146/sec), 5050578706 sampling steps, 211881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242882 loops (147/sec), 5067020417 sampling steps, 212616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366595 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243622 loops (147/sec), 5083474999 sampling steps, 213355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366699 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244352 loops (145/sec), 5099819062 sampling steps, 214085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245086 loops (146/sec), 5116179203 sampling steps, 214818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366820 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245812 loops (145/sec), 5132434248 sampling steps, 215543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246547 loops (146/sec), 5148819136 sampling steps, 216276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
366986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247290 loops (148/sec), 5165311690 sampling steps, 217018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248026 loops (147/sec), 5181702939 sampling steps, 217752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248761 loops (146/sec), 5198150263 sampling steps, 218487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367249 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249493 loops (146/sec), 5214538133 sampling steps, 219218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367301 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250229 loops (147/sec), 5230960214 sampling steps, 219953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367399 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250968 loops (147/sec), 5247374999 sampling steps, 220691 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367459 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251697 loops (145/sec), 5263746441 sampling steps, 221419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252433 loops (147/sec), 5280168505 sampling steps, 222155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253164 loops (146/sec), 5296493637 sampling steps, 222885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253898 loops (146/sec), 5312851156 sampling steps, 223619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254633 loops (146/sec), 5329222035 sampling steps, 224353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255367 loops (146/sec), 5345611513 sampling steps, 225087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256095 loops (145/sec), 5361979156 sampling steps, 225815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
367952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256825 loops (145/sec), 5378339186 sampling steps, 226545 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257560 loops (146/sec), 5394729300 sampling steps, 227279 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258289 loops (145/sec), 5411052447 sampling steps, 228006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259019 loops (145/sec), 5427347372 sampling steps, 228736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259752 loops (146/sec), 5443710320 sampling steps, 229469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260489 loops (147/sec), 5460086121 sampling steps, 230206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368344 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261224 loops (147/sec), 5476465273 sampling steps, 230941 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261956 loops (146/sec), 5492805347 sampling steps, 231673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262685 loops (145/sec), 5509109638 sampling steps, 232401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263420 loops (146/sec), 5525440112 sampling steps, 233136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264155 loops (146/sec), 5541836800 sampling steps, 233871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264883 loops (145/sec), 5558157998 sampling steps, 234599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368697 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265615 loops (146/sec), 5574501094 sampling steps, 235330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266347 loops (146/sec), 5590868165 sampling steps, 236062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267083 loops (147/sec), 5607213399 sampling steps, 236797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368869 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267821 loops (147/sec), 5623587720 sampling steps, 237535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
368922 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268549 loops (145/sec), 5639880703 sampling steps, 238261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369006 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269287 loops (147/sec), 5656288042 sampling steps, 238997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369067 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270026 loops (147/sec), 5672685014 sampling steps, 239735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270761 loops (146/sec), 5689068717 sampling steps, 240470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271490 loops (145/sec), 5705360019 sampling steps, 241198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369296 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272220 loops (145/sec), 5721657645 sampling steps, 241927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272960 loops (147/sec), 5738108671 sampling steps, 242666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273693 loops (146/sec), 5754484497 sampling steps, 243399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369501 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274427 loops (146/sec), 5770873116 sampling steps, 244133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275164 loops (147/sec), 5787295283 sampling steps, 244870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275898 loops (146/sec), 5803657167 sampling steps, 245603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276633 loops (146/sec), 5820051313 sampling steps, 246337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277368 loops (146/sec), 5836424095 sampling steps, 247070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369867 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278100 loops (146/sec), 5852757784 sampling steps, 247800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
369982 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278833 loops (146/sec), 5869160954 sampling steps, 248532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
370044 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0088376998901 seconds since the total time limit of 1800.0 seconds was exceeded.