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=64 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:49:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4866 loops (973/sec), 13126966 sampling steps, 2 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
48641 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:
6846 loops (395/sec), 25195265 sampling steps, 4 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
68425 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:
8282 loops (287/sec), 36266758 sampling steps, 19 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
82730 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:
9454 loops (234/sec), 46509640 sampling steps, 873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
89176 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:
10917 loops (292/sec), 59516135 sampling steps, 2235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
92959 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:
12091 loops (234/sec), 70002278 sampling steps, 3371 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
94905 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:
13279 loops (237/sec), 80663393 sampling steps, 4527 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
96504 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:
14449 loops (233/sec), 91222696 sampling steps, 5677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
97637 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:
15581 loops (226/sec), 101403289 sampling steps, 6795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
98560 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:
16588 loops (201/sec), 110497250 sampling steps, 7794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
99267 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:
17590 loops (200/sec), 119526074 sampling steps, 8786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
99894 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:
18588 loops (199/sec), 128521557 sampling steps, 9772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
100575 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:
19593 loops (200/sec), 137556990 sampling steps, 10765 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
101104 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:
20604 loops (201/sec), 146660861 sampling steps, 11773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
101538 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:
21615 loops (202/sec), 155756144 sampling steps, 12781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
101925 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:
22604 loops (197/sec), 164670458 sampling steps, 13763 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
102320 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:
23604 loops (200/sec), 173719361 sampling steps, 14755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
102714 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:
24588 loops (196/sec), 182642361 sampling steps, 15735 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
103053 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:
25586 loops (199/sec), 191621614 sampling steps, 16732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
103299 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:
26577 loops (198/sec), 200603722 sampling steps, 17718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
103626 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:
27569 loops (198/sec), 209547552 sampling steps, 18706 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
103928 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:
28583 loops (202/sec), 218660599 sampling steps, 19717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
104187 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:
29781 loops (239/sec), 229467935 sampling steps, 20912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
104445 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:
30924 loops (228/sec), 239817530 sampling steps, 22051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
104712 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:
32229 loops (260/sec), 251643232 sampling steps, 23352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105000 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:
33636 loops (281/sec), 264321136 sampling steps, 24757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105270 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:
34665 loops (205/sec), 273599835 sampling steps, 25783 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105503 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:
35673 loops (201/sec), 282748138 sampling steps, 26789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105691 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:
36693 loops (203/sec), 291960109 sampling steps, 27808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
105897 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:
37711 loops (203/sec), 301168268 sampling steps, 28825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106091 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:
38742 loops (206/sec), 310469831 sampling steps, 29855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106286 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:
39760 loops (203/sec), 319671952 sampling steps, 30871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106445 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:
40792 loops (206/sec), 328989742 sampling steps, 31903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106597 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:
41823 loops (206/sec), 338266639 sampling steps, 32934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106761 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:
42846 loops (204/sec), 347537688 sampling steps, 33956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
106932 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:
43851 loops (200/sec), 356605785 sampling steps, 34958 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107085 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:
44866 loops (202/sec), 365799006 sampling steps, 35973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107214 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:
45873 loops (201/sec), 374855161 sampling steps, 36979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107367 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:
46891 loops (203/sec), 384093147 sampling steps, 37997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107562 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:
47922 loops (205/sec), 393414470 sampling steps, 39026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107664 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:
48921 loops (199/sec), 402411845 sampling steps, 40024 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107824 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:
49938 loops (203/sec), 411607027 sampling steps, 41040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
107929 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:
50974 loops (207/sec), 420954351 sampling steps, 42076 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108051 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:
52147 loops (234/sec), 431557453 sampling steps, 43246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108190 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:
53324 loops (235/sec), 442199019 sampling steps, 44421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108353 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:
54645 loops (264/sec), 454100529 sampling steps, 45740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108535 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:
56044 loops (279/sec), 466744560 sampling steps, 47139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108664 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:
57098 loops (210/sec), 476229615 sampling steps, 48192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108766 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:
58112 loops (202/sec), 485396167 sampling steps, 49206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108850 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:
59152 loops (207/sec), 494792569 sampling steps, 50245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
108976 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:
60199 loops (209/sec), 504220635 sampling steps, 51292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109053 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:
61226 loops (205/sec), 513486775 sampling steps, 52318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109160 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:
62259 loops (206/sec), 522812218 sampling steps, 53350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109250 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:
63274 loops (202/sec), 531985546 sampling steps, 54365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109344 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:
64285 loops (202/sec), 541087092 sampling steps, 55375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109459 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:
65299 loops (202/sec), 550268633 sampling steps, 56388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109572 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:
66297 loops (199/sec), 559259787 sampling steps, 57385 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109676 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:
67327 loops (205/sec), 568524448 sampling steps, 58415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109773 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:
68343 loops (202/sec), 577704245 sampling steps, 59430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109845 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:
69340 loops (199/sec), 586689454 sampling steps, 60425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
109956 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:
70358 loops (203/sec), 595841625 sampling steps, 61442 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110059 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:
71366 loops (201/sec), 604923890 sampling steps, 62450 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110147 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:
72372 loops (201/sec), 614023753 sampling steps, 63456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110280 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:
73379 loops (201/sec), 623108122 sampling steps, 64463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110345 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:
74576 loops (239/sec), 633959015 sampling steps, 65660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110432 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:
75714 loops (227/sec), 644235956 sampling steps, 66797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77047 loops (266/sec), 656252310 sampling steps, 68129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78444 loops (279/sec), 668869251 sampling steps, 69526 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79462 loops (203/sec), 678117803 sampling steps, 70544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80475 loops (202/sec), 687254938 sampling steps, 71557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
110952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81512 loops (207/sec), 696599989 sampling steps, 72593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111054 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82554 loops (208/sec), 706001870 sampling steps, 73635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83554 loops (199/sec), 715043861 sampling steps, 74635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84560 loops (201/sec), 724171438 sampling steps, 75639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85600 loops (207/sec), 733544078 sampling steps, 76678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111362 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86616 loops (203/sec), 742711058 sampling steps, 77694 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111437 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87620 loops (200/sec), 751785174 sampling steps, 78698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88624 loops (200/sec), 760878138 sampling steps, 79702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89630 loops (201/sec), 769950227 sampling steps, 80708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90648 loops (203/sec), 779149041 sampling steps, 81724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91626 loops (195/sec), 787932048 sampling steps, 82701 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111799 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92643 loops (203/sec), 797104903 sampling steps, 83718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93661 loops (203/sec), 806258102 sampling steps, 84736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94677 loops (203/sec), 815438261 sampling steps, 85752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
111984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95693 loops (203/sec), 824592205 sampling steps, 86766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96847 loops (230/sec), 834971858 sampling steps, 87920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98067 loops (244/sec), 846001408 sampling steps, 89139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112217 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99376 loops (261/sec), 857813783 sampling steps, 90448 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112328 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100728 loops (270/sec), 870029228 sampling steps, 91798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101763 loops (206/sec), 879388657 sampling steps, 92832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102780 loops (203/sec), 888578317 sampling steps, 93849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103782 loops (200/sec), 897681555 sampling steps, 94851 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104828 loops (209/sec), 907123839 sampling steps, 95897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105832 loops (200/sec), 916196906 sampling steps, 96901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112821 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106868 loops (207/sec), 925501240 sampling steps, 97936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112911 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107877 loops (201/sec), 934639164 sampling steps, 98945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
112969 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108905 loops (205/sec), 943910171 sampling steps, 99973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113023 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109923 loops (203/sec), 953088605 sampling steps, 100991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110927 loops (200/sec), 962133670 sampling steps, 101995 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113114 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111939 loops (202/sec), 971229462 sampling steps, 103007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113163 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112947 loops (201/sec), 980316041 sampling steps, 104013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113976 loops (205/sec), 989580507 sampling steps, 105041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113299 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114977 loops (200/sec), 998628442 sampling steps, 106042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113361 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116001 loops (204/sec), 1007880383 sampling steps, 107066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113409 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117014 loops (202/sec), 1017001114 sampling steps, 108079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118017 loops (200/sec), 1026017669 sampling steps, 109082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119110 loops (218/sec), 1035891272 sampling steps, 110175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120349 loops (247/sec), 1047065403 sampling steps, 111414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121666 loops (263/sec), 1058953084 sampling steps, 112731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113769 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123061 loops (278/sec), 1071544553 sampling steps, 114126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113851 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124088 loops (205/sec), 1080819924 sampling steps, 115153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125115 loops (205/sec), 1090061867 sampling steps, 116180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
113958 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126132 loops (203/sec), 1099262060 sampling steps, 117197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127168 loops (207/sec), 1108652574 sampling steps, 118233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114064 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128178 loops (201/sec), 1117724387 sampling steps, 119243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129197 loops (203/sec), 1126901089 sampling steps, 120262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130237 loops (208/sec), 1136331917 sampling steps, 121302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114208 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131282 loops (208/sec), 1145797456 sampling steps, 122347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114252 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132316 loops (206/sec), 1155151999 sampling steps, 123381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133346 loops (205/sec), 1164465114 sampling steps, 124410 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134398 loops (210/sec), 1173964136 sampling steps, 125461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135426 loops (205/sec), 1183257981 sampling steps, 126489 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136452 loops (205/sec), 1192509554 sampling steps, 127515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137462 loops (201/sec), 1201658780 sampling steps, 128525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138471 loops (201/sec), 1210801111 sampling steps, 129534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139474 loops (200/sec), 1219845379 sampling steps, 130537 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140504 loops (205/sec), 1229126926 sampling steps, 131567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141802 loops (259/sec), 1240830530 sampling steps, 132865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114760 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142958 loops (231/sec), 1251285543 sampling steps, 134021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144179 loops (244/sec), 1262308999 sampling steps, 135242 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145581 loops (280/sec), 1274961135 sampling steps, 136644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
114929 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146568 loops (197/sec), 1283923359 sampling steps, 137631 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115027 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147572 loops (200/sec), 1292969880 sampling steps, 138635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148576 loops (200/sec), 1302050776 sampling steps, 139639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149594 loops (203/sec), 1311260222 sampling steps, 140657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150599 loops (200/sec), 1320338297 sampling steps, 141662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151609 loops (201/sec), 1329453423 sampling steps, 142672 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152613 loops (200/sec), 1338494066 sampling steps, 143676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115262 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153613 loops (200/sec), 1347561434 sampling steps, 144676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154654 loops (208/sec), 1356946362 sampling steps, 145717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155678 loops (204/sec), 1366205681 sampling steps, 146740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156689 loops (202/sec), 1375374698 sampling steps, 147750 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115411 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157698 loops (201/sec), 1384531826 sampling steps, 148759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158719 loops (203/sec), 1393686524 sampling steps, 149779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115519 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159737 loops (203/sec), 1402889669 sampling steps, 150796 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160743 loops (201/sec), 1411973608 sampling steps, 151802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115604 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161765 loops (204/sec), 1421154616 sampling steps, 152823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115641 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162792 loops (205/sec), 1430413576 sampling steps, 153850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115685 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164066 loops (254/sec), 1441920207 sampling steps, 155123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165151 loops (217/sec), 1451687814 sampling steps, 156208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115782 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166462 loops (261/sec), 1463522108 sampling steps, 157519 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115838 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167872 loops (281/sec), 1476263588 sampling steps, 158929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115882 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168894 loops (204/sec), 1485514102 sampling steps, 159951 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115903 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169927 loops (206/sec), 1494795938 sampling steps, 160983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170970 loops (208/sec), 1504179491 sampling steps, 162026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
115979 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171995 loops (204/sec), 1513447737 sampling steps, 163050 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116021 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:
173034 loops (207/sec), 1522848112 sampling steps, 164089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116055 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:
174079 loops (208/sec), 1532302604 sampling steps, 165133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116097 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:
175117 loops (207/sec), 1541644546 sampling steps, 166171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116139 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:
176168 loops (210/sec), 1551133578 sampling steps, 167222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116168 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:
177197 loops (205/sec), 1560426789 sampling steps, 168251 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116211 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:
178241 loops (208/sec), 1569846739 sampling steps, 169295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116251 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:
179291 loops (210/sec), 1579303141 sampling steps, 170345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116288 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:
180310 loops (203/sec), 1588522258 sampling steps, 171364 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116319 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:
181349 loops (207/sec), 1597907681 sampling steps, 172403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116355 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:
182366 loops (203/sec), 1607081241 sampling steps, 173420 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116386 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:
183425 loops (211/sec), 1616616711 sampling steps, 174478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116438 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:
184451 loops (205/sec), 1625883499 sampling steps, 175504 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116465 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:
185479 loops (205/sec), 1635172204 sampling steps, 176532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116498 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:
186788 loops (261/sec), 1646988387 sampling steps, 177841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116551 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:
188088 loops (259/sec), 1658752836 sampling steps, 179141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116618 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:
189363 loops (254/sec), 1670255268 sampling steps, 180416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116654 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:
190592 loops (245/sec), 1681371046 sampling steps, 181645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116694 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:
191612 loops (203/sec), 1690550743 sampling steps, 182665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116723 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:
192644 loops (206/sec), 1699880511 sampling steps, 183697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116772 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:
193672 loops (205/sec), 1709170807 sampling steps, 184725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116796 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:
194693 loops (204/sec), 1718401768 sampling steps, 185746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116838 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:
195720 loops (205/sec), 1727615265 sampling steps, 186773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116871 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:
196752 loops (206/sec), 1736968721 sampling steps, 187805 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116930 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:
197764 loops (202/sec), 1746060598 sampling steps, 188816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
116963 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:
198787 loops (204/sec), 1755307363 sampling steps, 189839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117001 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:
199821 loops (206/sec), 1764655672 sampling steps, 190873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117032 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:
200864 loops (208/sec), 1774043704 sampling steps, 191916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117056 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:
201929 loops (212/sec), 1783656433 sampling steps, 192981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117087 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:
202961 loops (206/sec), 1792948683 sampling steps, 194013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117117 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:
203962 loops (200/sec), 1801976240 sampling steps, 195014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117148 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:
205011 loops (209/sec), 1811443418 sampling steps, 196063 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117177 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:
206036 loops (204/sec), 1820703765 sampling steps, 197088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117211 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:
207062 loops (205/sec), 1829994394 sampling steps, 198114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117251 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:
208106 loops (208/sec), 1839391356 sampling steps, 199158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117290 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:
209436 loops (265/sec), 1851378737 sampling steps, 200488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117333 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:
210759 loops (264/sec), 1863289260 sampling steps, 201811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117369 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:
212162 loops (280/sec), 1875929912 sampling steps, 203214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117403 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:
213187 loops (204/sec), 1885179564 sampling steps, 204239 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117439 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:
214221 loops (206/sec), 1894496068 sampling steps, 205273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117470 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:
215242 loops (204/sec), 1903704986 sampling steps, 206294 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117485 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:
216257 loops (202/sec), 1912876038 sampling steps, 207309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117504 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:
217292 loops (207/sec), 1922214877 sampling steps, 208344 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117524 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:
218325 loops (206/sec), 1931552667 sampling steps, 209377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117544 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:
219362 loops (207/sec), 1940872960 sampling steps, 210414 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117581 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:
220403 loops (208/sec), 1950207742 sampling steps, 211454 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117616 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:
221427 loops (204/sec), 1959444334 sampling steps, 212478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117649 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:
222441 loops (202/sec), 1968576513 sampling steps, 213492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117675 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:
223446 loops (200/sec), 1977680908 sampling steps, 214497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117695 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:
224472 loops (205/sec), 1986925943 sampling steps, 215523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117739 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:
225502 loops (206/sec), 1996200160 sampling steps, 216552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117776 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:
226512 loops (201/sec), 2005307876 sampling steps, 217562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117790 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:
227539 loops (205/sec), 2014556497 sampling steps, 218589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117810 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:
228556 loops (203/sec), 2023703192 sampling steps, 219605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117849 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:
229589 loops (206/sec), 2033037049 sampling steps, 220638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117862 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:
230631 loops (208/sec), 2042426056 sampling steps, 221680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117886 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:
231948 loops (263/sec), 2054310710 sampling steps, 222997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117931 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:
233268 loops (264/sec), 2066237244 sampling steps, 224317 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
117966 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:
234693 loops (284/sec), 2079090001 sampling steps, 225742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118016 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:
235736 loops (208/sec), 2088486203 sampling steps, 226785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118043 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:
236770 loops (206/sec), 2097749455 sampling steps, 227818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118078 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:
237854 loops (216/sec), 2107547560 sampling steps, 228902 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118118 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:
238877 loops (204/sec), 2116773480 sampling steps, 229925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118139 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:
239916 loops (207/sec), 2126185474 sampling steps, 230964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118179 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:
240927 loops (202/sec), 2135292742 sampling steps, 231975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118207 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:
241949 loops (204/sec), 2144511112 sampling steps, 232997 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118224 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:
242967 loops (203/sec), 2153721232 sampling steps, 234015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118251 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:
243980 loops (202/sec), 2162913057 sampling steps, 235028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118282 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:
245004 loops (204/sec), 2172133321 sampling steps, 236052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118300 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:
246001 loops (199/sec), 2181111912 sampling steps, 237049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118324 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:
247021 loops (203/sec), 2190345700 sampling steps, 238069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118358 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:
248034 loops (202/sec), 2199481759 sampling steps, 239081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118387 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:
249047 loops (202/sec), 2208633551 sampling steps, 240094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118423 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:
250048 loops (200/sec), 2217651161 sampling steps, 241095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118476 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:
251067 loops (203/sec), 2226839167 sampling steps, 242114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118502 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:
252086 loops (203/sec), 2236038418 sampling steps, 243133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118533 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:
253113 loops (205/sec), 2245276269 sampling steps, 244160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118547 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:
254432 loops (263/sec), 2257148367 sampling steps, 245479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118572 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:
255777 loops (269/sec), 2269296392 sampling steps, 246824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118586 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:
257128 loops (270/sec), 2281466089 sampling steps, 248174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118619 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:
258212 loops (216/sec), 2291248084 sampling steps, 249258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118645 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:
259260 loops (209/sec), 2300737865 sampling steps, 250306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118675 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:
260296 loops (207/sec), 2310075244 sampling steps, 251342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118692 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:
261309 loops (202/sec), 2319198339 sampling steps, 252355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118714 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:
262341 loops (206/sec), 2328506567 sampling steps, 253387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118738 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:
263358 loops (203/sec), 2337686729 sampling steps, 254403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118775 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:
264400 loops (208/sec), 2347067128 sampling steps, 255445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118804 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:
265443 loops (208/sec), 2356468412 sampling steps, 256488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118829 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:
266503 loops (211/sec), 2366019162 sampling steps, 257548 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118845 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:
267555 loops (210/sec), 2375497276 sampling steps, 258600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118863 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:
268591 loops (207/sec), 2384839354 sampling steps, 259636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118884 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:
269608 loops (203/sec), 2394008557 sampling steps, 260653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118917 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:
270611 loops (200/sec), 2403086780 sampling steps, 261656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118940 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:
271618 loops (201/sec), 2412179503 sampling steps, 262662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
118988 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:
272645 loops (205/sec), 2421422059 sampling steps, 263689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119007 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:
273644 loops (199/sec), 2430417775 sampling steps, 264687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119035 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:
274652 loops (201/sec), 2439519591 sampling steps, 265695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119057 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:
275659 loops (201/sec), 2448643729 sampling steps, 266702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119067 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:
276991 loops (266/sec), 2460691858 sampling steps, 268034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119103 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:
278322 loops (265/sec), 2472718389 sampling steps, 269365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119127 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:
279731 loops (281/sec), 2485488023 sampling steps, 270774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119158 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:
280783 loops (210/sec), 2494995836 sampling steps, 271826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119172 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:
281807 loops (204/sec), 2504263263 sampling steps, 272850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119195 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:
282831 loops (204/sec), 2513464747 sampling steps, 273874 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119216 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:
283861 loops (206/sec), 2522710639 sampling steps, 274904 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119238 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:
284895 loops (206/sec), 2532068177 sampling steps, 275938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119274 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:
285913 loops (203/sec), 2541241291 sampling steps, 276955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119307 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:
286928 loops (202/sec), 2550386988 sampling steps, 277970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119324 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:
287947 loops (203/sec), 2559571167 sampling steps, 278989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119355 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:
288951 loops (200/sec), 2568638931 sampling steps, 279993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119382 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:
289972 loops (204/sec), 2577848547 sampling steps, 281014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119399 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:
290966 loops (198/sec), 2586820147 sampling steps, 282008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119410 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:
291966 loops (199/sec), 2595867994 sampling steps, 283008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119425 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:
292976 loops (201/sec), 2604983608 sampling steps, 284018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119454 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:
293993 loops (203/sec), 2614168916 sampling steps, 285035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119471 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:
295035 loops (208/sec), 2623588659 sampling steps, 286077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119482 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:
296076 loops (208/sec), 2632960208 sampling steps, 287118 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119488 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:
297109 loops (206/sec), 2642285682 sampling steps, 288151 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119533 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:
298139 loops (205/sec), 2651586559 sampling steps, 289181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119559 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:
299466 loops (265/sec), 2663548197 sampling steps, 290507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119592 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:
300790 loops (264/sec), 2675498316 sampling steps, 291831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119610 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:
302354 loops (312/sec), 2689653445 sampling steps, 293395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119672 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:
304891 loops (507/sec), 2712628333 sampling steps, 295932 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119707 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:
307443 loops (510/sec), 2735713512 sampling steps, 298484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119765 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:
309999 loops (511/sec), 2758787502 sampling steps, 301040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119823 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:
312461 loops (492/sec), 2780960420 sampling steps, 303501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119906 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:
313496 loops (206/sec), 2790309925 sampling steps, 304536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119931 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:
314540 loops (208/sec), 2799734182 sampling steps, 305580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119950 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:
315571 loops (206/sec), 2809040366 sampling steps, 306611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
119975 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:
316586 loops (202/sec), 2818207115 sampling steps, 307626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120001 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:
317620 loops (206/sec), 2827530439 sampling steps, 308660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120011 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:
318622 loops (200/sec), 2836597816 sampling steps, 309662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120019 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:
319630 loops (201/sec), 2845661190 sampling steps, 310670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120046 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:
320599 loops (193/sec), 2854378559 sampling steps, 311639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120056 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:
321626 loops (205/sec), 2863621075 sampling steps, 312666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120075 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:
322650 loops (204/sec), 2872866756 sampling steps, 313690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120099 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:
323676 loops (205/sec), 2882124246 sampling steps, 314716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120118 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:
324721 loops (209/sec), 2891541735 sampling steps, 315761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120134 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:
325750 loops (205/sec), 2900838398 sampling steps, 316790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120153 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:
326771 loops (204/sec), 2910034705 sampling steps, 317811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120188 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:
327793 loops (204/sec), 2919231068 sampling steps, 318833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120205 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:
328806 loops (202/sec), 2928386077 sampling steps, 319846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120217 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:
329841 loops (206/sec), 2937668532 sampling steps, 320881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120233 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:
330855 loops (202/sec), 2946805991 sampling steps, 321895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120243 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:
332194 loops (267/sec), 2958889886 sampling steps, 323234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120257 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:
333525 loops (266/sec), 2970895417 sampling steps, 324565 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120276 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:
334941 loops (283/sec), 2983706866 sampling steps, 325981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120313 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:
335970 loops (205/sec), 2993029021 sampling steps, 327010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120335 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:
336991 loops (204/sec), 3002247656 sampling steps, 328031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120344 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:
338006 loops (203/sec), 3011449689 sampling steps, 329046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120359 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:
339029 loops (204/sec), 3020670256 sampling steps, 330069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120388 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:
340029 loops (199/sec), 3029739523 sampling steps, 331069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120398 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:
341039 loops (201/sec), 3038843696 sampling steps, 332079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120414 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:
342069 loops (205/sec), 3048119993 sampling steps, 333109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120436 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:
343076 loops (201/sec), 3057181061 sampling steps, 334116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120446 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:
344100 loops (204/sec), 3066429821 sampling steps, 335140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120458 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:
345127 loops (205/sec), 3075697549 sampling steps, 336167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120476 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:
346128 loops (200/sec), 3084771796 sampling steps, 337168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120502 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:
347140 loops (202/sec), 3093893242 sampling steps, 338180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120542 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:
348155 loops (202/sec), 3103026180 sampling steps, 339195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120557 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:
349171 loops (203/sec), 3112184806 sampling steps, 340211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120568 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:
350185 loops (202/sec), 3121391849 sampling steps, 341225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120573 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:
351203 loops (203/sec), 3130568906 sampling steps, 342243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120585 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:
352232 loops (205/sec), 3139878831 sampling steps, 343272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120599 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:
353249 loops (203/sec), 3149074569 sampling steps, 344288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120625 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:
354564 loops (262/sec), 3160941571 sampling steps, 345603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120638 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:
355914 loops (269/sec), 3173089117 sampling steps, 346952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120677 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:
357297 loops (276/sec), 3185579020 sampling steps, 348335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120691 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:
358350 loops (210/sec), 3195039749 sampling steps, 349388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120721 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:
359369 loops (203/sec), 3204243720 sampling steps, 350407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120739 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:
360374 loops (200/sec), 3213309862 sampling steps, 351412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120760 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:
361389 loops (202/sec), 3222470338 sampling steps, 352427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120782 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:
362386 loops (199/sec), 3231464002 sampling steps, 353424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120794 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:
363418 loops (206/sec), 3240773322 sampling steps, 354456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120801 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:
364413 loops (198/sec), 3249779135 sampling steps, 355451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120835 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:
365433 loops (203/sec), 3258994770 sampling steps, 356471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120848 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:
366447 loops (202/sec), 3268126552 sampling steps, 357485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120865 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:
367456 loops (201/sec), 3277201371 sampling steps, 358493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120899 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:
368466 loops (201/sec), 3286335486 sampling steps, 359503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120908 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:
369492 loops (205/sec), 3295585668 sampling steps, 360529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120936 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:
370510 loops (203/sec), 3304759355 sampling steps, 361547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120955 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:
371509 loops (199/sec), 3313795635 sampling steps, 362546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
120976 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:
372528 loops (203/sec), 3323004578 sampling steps, 363564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121013 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:
373531 loops (200/sec), 3332075666 sampling steps, 364567 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121021 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:
374554 loops (204/sec), 3341301863 sampling steps, 365590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121040 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:
375573 loops (203/sec), 3350491396 sampling steps, 366609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121060 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:
376867 loops (258/sec), 3362131433 sampling steps, 367903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121086 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:
378183 loops (263/sec), 3373985657 sampling steps, 369219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121111 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:
379285 loops (220/sec), 3383887310 sampling steps, 370321 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121136 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:
380646 loops (272/sec), 3396171053 sampling steps, 371682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121152 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:
381675 loops (205/sec), 3405447506 sampling steps, 372711 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121168 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:
382720 loops (208/sec), 3414843436 sampling steps, 373756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121185 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:
383746 loops (205/sec), 3424159617 sampling steps, 374782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121197 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:
384783 loops (207/sec), 3433508656 sampling steps, 375819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121206 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:
385813 loops (205/sec), 3442782677 sampling steps, 376849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121232 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:
386841 loops (205/sec), 3452062490 sampling steps, 377877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121251 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:
387890 loops (209/sec), 3461525186 sampling steps, 378926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121272 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:
388892 loops (200/sec), 3470607882 sampling steps, 379928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121280 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:
389937 loops (208/sec), 3479964064 sampling steps, 380973 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121281 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:
390967 loops (205/sec), 3489248900 sampling steps, 382003 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121299 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:
391990 loops (204/sec), 3498442282 sampling steps, 383026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121313 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:
393001 loops (202/sec), 3507588123 sampling steps, 384037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121329 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:
394000 loops (199/sec), 3516589696 sampling steps, 385036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121348 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:
395013 loops (202/sec), 3525694976 sampling steps, 386049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
121384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0099992752075 seconds since the total time limit of 1800.0 seconds was exceeded.