Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:02 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.12.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6034 loops (1205/sec), 8333320 sampling steps, 187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
59765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7788 loops (350/sec), 20097204 sampling steps, 1922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
64818 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9030 loops (248/sec), 28436249 sampling steps, 3164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
66169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10267 loops (247/sec), 36782344 sampling steps, 4401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
67026 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11907 loops (327/sec), 47847467 sampling steps, 6041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
67874 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13467 loops (312/sec), 58344148 sampling steps, 7601 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
68405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14724 loops (251/sec), 66832731 sampling steps, 8858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
68763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15958 loops (246/sec), 75207532 sampling steps, 10092 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17652 loops (338/sec), 86613330 sampling steps, 11786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69416 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19196 loops (308/sec), 97017942 sampling steps, 13330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20453 loops (251/sec), 105512448 sampling steps, 14587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
69873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21889 loops (287/sec), 115186442 sampling steps, 16023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23676 loops (357/sec), 127211009 sampling steps, 17810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24934 loops (251/sec), 135733560 sampling steps, 19068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70396 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26185 loops (250/sec), 144171374 sampling steps, 20319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27731 loops (309/sec), 154601381 sampling steps, 21865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29396 loops (333/sec), 165835753 sampling steps, 23530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30651 loops (251/sec), 174302298 sampling steps, 24785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31888 loops (247/sec), 182667837 sampling steps, 26022 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
70915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33578 loops (337/sec), 194092374 sampling steps, 27712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71029 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35692 loops (422/sec), 208309426 sampling steps, 29826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71130 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38250 loops (511/sec), 225503459 sampling steps, 32384 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71242 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40835 loops (516/sec), 242926566 sampling steps, 34969 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71349 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43685 loops (570/sec), 262113325 sampling steps, 37819 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46545 loops (571/sec), 281463486 sampling steps, 40679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49427 loops (576/sec), 300924911 sampling steps, 43561 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52312 loops (576/sec), 320374839 sampling steps, 46446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71748 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55216 loops (580/sec), 339928790 sampling steps, 49350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58107 loops (578/sec), 359401214 sampling steps, 52241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60997 loops (577/sec), 378900819 sampling steps, 55131 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
71967 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63813 loops (563/sec), 397832083 sampling steps, 57947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72030 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66704 loops (578/sec), 417296422 sampling steps, 60838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69573 loops (573/sec), 436698147 sampling steps, 63707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72140 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72459 loops (577/sec), 456159054 sampling steps, 66593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75327 loops (573/sec), 475566482 sampling steps, 69461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72216 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78210 loops (576/sec), 494982248 sampling steps, 72344 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72256 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81092 loops (576/sec), 514368843 sampling steps, 75226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72294 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83961 loops (573/sec), 533726224 sampling steps, 78095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72330 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86867 loops (581/sec), 553232336 sampling steps, 81001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72371 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89742 loops (574/sec), 572683164 sampling steps, 83876 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72401 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92638 loops (579/sec), 592219143 sampling steps, 86772 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72427 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95510 loops (574/sec), 611630620 sampling steps, 89644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98360 loops (569/sec), 630845618 sampling steps, 92494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101242 loops (576/sec), 650262385 sampling steps, 95376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104088 loops (569/sec), 669444654 sampling steps, 98222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72542 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106968 loops (575/sec), 688846610 sampling steps, 101102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72568 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109851 loops (576/sec), 708313943 sampling steps, 103985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112748 loops (579/sec), 727845864 sampling steps, 106882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115618 loops (574/sec), 747185635 sampling steps, 109752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118509 loops (578/sec), 766611769 sampling steps, 112643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121398 loops (577/sec), 786050105 sampling steps, 115532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124287 loops (577/sec), 805536324 sampling steps, 118421 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72698 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127177 loops (578/sec), 824989430 sampling steps, 121311 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72718 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130069 loops (578/sec), 844505694 sampling steps, 124203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132948 loops (575/sec), 863926237 sampling steps, 127082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135808 loops (571/sec), 883194774 sampling steps, 129942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72769 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138697 loops (577/sec), 902635296 sampling steps, 132831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72786 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141590 loops (578/sec), 922132518 sampling steps, 135724 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144486 loops (579/sec), 941604207 sampling steps, 138620 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72819 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147378 loops (578/sec), 961074809 sampling steps, 141512 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150254 loops (575/sec), 980461546 sampling steps, 144388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72850 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153138 loops (576/sec), 999959280 sampling steps, 147272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156024 loops (577/sec), 1019440623 sampling steps, 150158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72886 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158927 loops (580/sec), 1038994016 sampling steps, 153061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161829 loops (580/sec), 1058470282 sampling steps, 155963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164733 loops (580/sec), 1078020489 sampling steps, 158867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167634 loops (580/sec), 1097533900 sampling steps, 161768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72938 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170530 loops (579/sec), 1117064420 sampling steps, 164664 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173418 loops (577/sec), 1136564905 sampling steps, 167552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72960 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176299 loops (576/sec), 1155969501 sampling steps, 170433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179185 loops (577/sec), 1175450210 sampling steps, 173319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182083 loops (579/sec), 1194886986 sampling steps, 176217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
72996 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184979 loops (579/sec), 1214331511 sampling steps, 179113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73007 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187855 loops (575/sec), 1233740864 sampling steps, 181989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73020 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190757 loops (580/sec), 1253256166 sampling steps, 184891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73031 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193646 loops (577/sec), 1272714147 sampling steps, 187780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73037 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196545 loops (579/sec), 1292272128 sampling steps, 190679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199440 loops (578/sec), 1311770850 sampling steps, 193574 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202331 loops (578/sec), 1331302700 sampling steps, 196465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73066 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205219 loops (577/sec), 1350760998 sampling steps, 199353 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208081 loops (572/sec), 1370090306 sampling steps, 202215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73080 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210974 loops (578/sec), 1389507083 sampling steps, 205108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73089 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213870 loops (579/sec), 1409020128 sampling steps, 208004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216758 loops (577/sec), 1428525242 sampling steps, 210892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73106 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219648 loops (578/sec), 1447974371 sampling steps, 213782 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222541 loops (578/sec), 1467424735 sampling steps, 216675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225430 loops (577/sec), 1486906922 sampling steps, 219564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73126 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228332 loops (580/sec), 1506417023 sampling steps, 222466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231216 loops (576/sec), 1525906828 sampling steps, 225350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234118 loops (580/sec), 1545452631 sampling steps, 228252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237002 loops (576/sec), 1564916904 sampling steps, 231136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239902 loops (580/sec), 1584430990 sampling steps, 234036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242780 loops (575/sec), 1603890332 sampling steps, 236914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245650 loops (573/sec), 1623183540 sampling steps, 239784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248352 loops (540/sec), 1641450188 sampling steps, 242486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251064 loops (542/sec), 1659744456 sampling steps, 245198 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73181 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253744 loops (536/sec), 1677733942 sampling steps, 247878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73185 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256278 loops (506/sec), 1694777423 sampling steps, 250412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258810 loops (506/sec), 1711791974 sampling steps, 252944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73195 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261375 loops (513/sec), 1729101297 sampling steps, 255509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263940 loops (513/sec), 1746395865 sampling steps, 258074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266580 loops (527/sec), 1764241728 sampling steps, 260714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73208 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269137 loops (511/sec), 1781496919 sampling steps, 263271 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271728 loops (518/sec), 1798936772 sampling steps, 265862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274401 loops (534/sec), 1816931782 sampling steps, 268535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277062 loops (532/sec), 1834918749 sampling steps, 271196 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73234 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279736 loops (534/sec), 1852903741 sampling steps, 273870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73236 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282202 loops (493/sec), 1869538630 sampling steps, 276336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73244 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284852 loops (530/sec), 1887400392 sampling steps, 278986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287508 loops (531/sec), 1905335029 sampling steps, 281642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290176 loops (533/sec), 1923262992 sampling steps, 284310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73253 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292755 loops (515/sec), 1940689977 sampling steps, 286889 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295410 loops (531/sec), 1958580877 sampling steps, 289544 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73267 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298078 loops (533/sec), 1976525774 sampling steps, 292212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300517 loops (487/sec), 1992940848 sampling steps, 294651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303189 loops (534/sec), 2010899304 sampling steps, 297323 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73279 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305849 loops (532/sec), 2028825890 sampling steps, 299983 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308504 loops (531/sec), 2046771447 sampling steps, 302638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73287 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311127 loops (524/sec), 2064485820 sampling steps, 305261 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313778 loops (530/sec), 2082418973 sampling steps, 307912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316422 loops (528/sec), 2100245753 sampling steps, 310556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319088 loops (533/sec), 2118169626 sampling steps, 313222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73302 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321733 loops (528/sec), 2136002981 sampling steps, 315867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324313 loops (516/sec), 2153418950 sampling steps, 318447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73317 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326957 loops (528/sec), 2171255345 sampling steps, 321091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329482 loops (505/sec), 2188275386 sampling steps, 323616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73327 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332086 loops (520/sec), 2205889248 sampling steps, 326220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73329 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334731 loops (529/sec), 2223707489 sampling steps, 328865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73333 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337364 loops (526/sec), 2241494007 sampling steps, 331498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73336 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340007 loops (528/sec), 2259254045 sampling steps, 334141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73338 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342655 loops (529/sec), 2277068811 sampling steps, 336789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345288 loops (526/sec), 2294838771 sampling steps, 339422 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347922 loops (526/sec), 2312553963 sampling steps, 342056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73350 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350546 loops (524/sec), 2330268149 sampling steps, 344680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353190 loops (528/sec), 2348051042 sampling steps, 347324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73360 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355793 loops (520/sec), 2365542387 sampling steps, 349927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73366 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358423 loops (526/sec), 2383292374 sampling steps, 352557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73368 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361047 loops (524/sec), 2400981751 sampling steps, 355181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73370 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363674 loops (525/sec), 2418693034 sampling steps, 357808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366303 loops (525/sec), 2436423400 sampling steps, 360437 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73375 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368921 loops (523/sec), 2454001821 sampling steps, 363055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73376 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371517 loops (519/sec), 2471479499 sampling steps, 365651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374111 loops (518/sec), 2488951068 sampling steps, 368245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376709 loops (519/sec), 2506478442 sampling steps, 370843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379299 loops (517/sec), 2523964720 sampling steps, 373433 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73387 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381980 loops (536/sec), 2542053281 sampling steps, 376114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
384857 loops (575/sec), 2561457570 sampling steps, 378991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387738 loops (576/sec), 2580934621 sampling steps, 381872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73391 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390626 loops (577/sec), 2600400858 sampling steps, 384760 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73393 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393516 loops (577/sec), 2619940370 sampling steps, 387650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396403 loops (577/sec), 2639394726 sampling steps, 390537 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399300 loops (579/sec), 2658932426 sampling steps, 393434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73398 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402195 loops (578/sec), 2678405022 sampling steps, 396329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405095 loops (579/sec), 2697961437 sampling steps, 399229 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73405 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407986 loops (578/sec), 2717466780 sampling steps, 402120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73408 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410883 loops (579/sec), 2737011439 sampling steps, 405017 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73410 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413764 loops (576/sec), 2756379030 sampling steps, 407898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73412 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416665 loops (580/sec), 2775876981 sampling steps, 410799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
419553 loops (577/sec), 2795409784 sampling steps, 413687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
422456 loops (580/sec), 2814997396 sampling steps, 416590 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73416 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425357 loops (580/sec), 2834501176 sampling steps, 419491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428224 loops (573/sec), 2853856161 sampling steps, 422358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431104 loops (576/sec), 2873289063 sampling steps, 425238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73424 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434003 loops (579/sec), 2892827021 sampling steps, 428137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73427 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436891 loops (577/sec), 2912319347 sampling steps, 431025 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73431 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439804 loops (582/sec), 2931869148 sampling steps, 433938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73434 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442701 loops (579/sec), 2951339963 sampling steps, 436835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73437 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445597 loops (579/sec), 2970869999 sampling steps, 439731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
448479 loops (576/sec), 2990289973 sampling steps, 442613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73443 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
451363 loops (576/sec), 3009740899 sampling steps, 445497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
454257 loops (578/sec), 3029266452 sampling steps, 448391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
457132 loops (575/sec), 3048705507 sampling steps, 451266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
460022 loops (578/sec), 3068187360 sampling steps, 454156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73450 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
462915 loops (578/sec), 3087675914 sampling steps, 457049 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73451 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
465808 loops (578/sec), 3107188873 sampling steps, 459942 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
468711 loops (580/sec), 3126738022 sampling steps, 462845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73459 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
471604 loops (578/sec), 3146262578 sampling steps, 465738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
474498 loops (578/sec), 3165769944 sampling steps, 468632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
477399 loops (580/sec), 3185325429 sampling steps, 471533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
480291 loops (578/sec), 3204792645 sampling steps, 474425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73470 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483169 loops (575/sec), 3224221987 sampling steps, 477303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73472 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486054 loops (576/sec), 3243676080 sampling steps, 480188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73472 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
488951 loops (579/sec), 3263231697 sampling steps, 483085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
491838 loops (577/sec), 3282743775 sampling steps, 485972 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73478 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494743 loops (581/sec), 3302313042 sampling steps, 488877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
497647 loops (580/sec), 3321863345 sampling steps, 491781 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
500531 loops (576/sec), 3341314734 sampling steps, 494665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503414 loops (576/sec), 3360836443 sampling steps, 497548 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73488 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
506317 loops (580/sec), 3380407530 sampling steps, 500451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73489 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
509213 loops (579/sec), 3399946767 sampling steps, 503347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73490 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
512134 loops (584/sec), 3419524233 sampling steps, 506268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73491 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
515027 loops (578/sec), 3439028186 sampling steps, 509161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517921 loops (578/sec), 3458528588 sampling steps, 512055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73494 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
520800 loops (575/sec), 3477937980 sampling steps, 514934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
523693 loops (578/sec), 3497484844 sampling steps, 517827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
526602 loops (581/sec), 3517019347 sampling steps, 520736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
529510 loops (581/sec), 3536583852 sampling steps, 523644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
532419 loops (581/sec), 3556141919 sampling steps, 526553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73499 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
535317 loops (579/sec), 3575667471 sampling steps, 529451 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73502 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538222 loops (581/sec), 3595201210 sampling steps, 532356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73505 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541122 loops (580/sec), 3614700003 sampling steps, 535256 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73507 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544024 loops (580/sec), 3634294503 sampling steps, 538158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73507 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
546919 loops (579/sec), 3653833194 sampling steps, 541053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73512 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
549821 loops (580/sec), 3673421639 sampling steps, 543955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
552708 loops (577/sec), 3692861121 sampling steps, 546842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555600 loops (578/sec), 3712405337 sampling steps, 549734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73515 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558500 loops (580/sec), 3731943426 sampling steps, 552634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73518 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561409 loops (581/sec), 3751523440 sampling steps, 555543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73522 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564310 loops (580/sec), 3771048777 sampling steps, 558444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
567226 loops (583/sec), 3790638159 sampling steps, 561360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73524 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
570121 loops (579/sec), 3810161864 sampling steps, 564255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
573028 loops (581/sec), 3829767818 sampling steps, 567162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
575875 loops (569/sec), 3849013874 sampling steps, 570009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
578771 loops (579/sec), 3868524611 sampling steps, 572905 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
581661 loops (577/sec), 3887964966 sampling steps, 575795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
584549 loops (577/sec), 3907459668 sampling steps, 578683 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73532 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
587418 loops (573/sec), 3926863251 sampling steps, 581552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
590308 loops (577/sec), 3946358275 sampling steps, 584442 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
593208 loops (579/sec), 3965888121 sampling steps, 587342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73534 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
596114 loops (581/sec), 3985469928 sampling steps, 590248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73536 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
599012 loops (579/sec), 4005003884 sampling steps, 593146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
601917 loops (581/sec), 4024583785 sampling steps, 596051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
604811 loops (578/sec), 4044097538 sampling steps, 598945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73538 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
607702 loops (578/sec), 4063658970 sampling steps, 601836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73540 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
610591 loops (577/sec), 4083159588 sampling steps, 604725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
613498 loops (581/sec), 4102716338 sampling steps, 607632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
616400 loops (580/sec), 4122247233 sampling steps, 610534 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
619309 loops (581/sec), 4141822738 sampling steps, 613443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
622195 loops (577/sec), 4161256298 sampling steps, 616329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
625097 loops (580/sec), 4180768197 sampling steps, 619231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
627986 loops (577/sec), 4200287236 sampling steps, 622120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
630899 loops (582/sec), 4219839574 sampling steps, 625033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73546 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
633793 loops (578/sec), 4239347665 sampling steps, 627927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
636697 loops (580/sec), 4258928832 sampling steps, 630831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
639594 loops (579/sec), 4278405015 sampling steps, 633728 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73549 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
642497 loops (580/sec), 4297969803 sampling steps, 636631 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73550 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
645371 loops (574/sec), 4317352829 sampling steps, 639505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73550 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
648187 loops (563/sec), 4336333241 sampling steps, 642321 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
651074 loops (577/sec), 4355782245 sampling steps, 645208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
653960 loops (577/sec), 4375249709 sampling steps, 648094 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
656779 loops (563/sec), 4394318218 sampling steps, 650913 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
659651 loops (574/sec), 4413633933 sampling steps, 653785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73556 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
662547 loops (579/sec), 4433104194 sampling steps, 656681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73557 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
665452 loops (580/sec), 4452665675 sampling steps, 659586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73558 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
668338 loops (577/sec), 4472127231 sampling steps, 662472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73559 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671239 loops (580/sec), 4491657364 sampling steps, 665373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73559 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
674134 loops (578/sec), 4511143608 sampling steps, 668268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
677034 loops (580/sec), 4530722741 sampling steps, 671168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
679930 loops (579/sec), 4550215617 sampling steps, 674064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
682836 loops (581/sec), 4569799009 sampling steps, 676970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
685727 loops (578/sec), 4589324200 sampling steps, 679861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
688635 loops (581/sec), 4608904519 sampling steps, 682769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
691505 loops (573/sec), 4628322800 sampling steps, 685639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
694397 loops (578/sec), 4647845245 sampling steps, 688531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
697294 loops (579/sec), 4667350731 sampling steps, 691428 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
700208 loops (582/sec), 4686944539 sampling steps, 694342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
703099 loops (578/sec), 4706462158 sampling steps, 697233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
706006 loops (581/sec), 4726059921 sampling steps, 700140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
708903 loops (579/sec), 4745591251 sampling steps, 703037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
711815 loops (582/sec), 4765227299 sampling steps, 705949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73567 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
714713 loops (579/sec), 4784768428 sampling steps, 708847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73568 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
717626 loops (582/sec), 4804315419 sampling steps, 711760 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
720529 loops (580/sec), 4823824506 sampling steps, 714663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
723397 loops (573/sec), 4843153013 sampling steps, 717531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
726283 loops (577/sec), 4862544499 sampling steps, 720417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
729169 loops (577/sec), 4881985027 sampling steps, 723303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
732046 loops (575/sec), 4901416217 sampling steps, 726180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73570 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
734950 loops (580/sec), 4921006187 sampling steps, 729084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
737843 loops (578/sec), 4940528598 sampling steps, 731977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73571 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740737 loops (578/sec), 4960063892 sampling steps, 734871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
743640 loops (580/sec), 4979594978 sampling steps, 737774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746541 loops (580/sec), 4999127017 sampling steps, 740675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73573 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
749429 loops (577/sec), 5018660415 sampling steps, 743563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73573 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
752322 loops (578/sec), 5038178392 sampling steps, 746456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73573 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
755213 loops (578/sec), 5057683667 sampling steps, 749347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
758109 loops (579/sec), 5077210563 sampling steps, 752243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760988 loops (575/sec), 5096645072 sampling steps, 755122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
763885 loops (579/sec), 5116117889 sampling steps, 758019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
766787 loops (580/sec), 5135663105 sampling steps, 760921 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
769696 loops (581/sec), 5155250491 sampling steps, 763830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
772600 loops (580/sec), 5174845577 sampling steps, 766734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
775517 loops (583/sec), 5194393766 sampling steps, 769651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
778409 loops (578/sec), 5213889432 sampling steps, 772543 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73577 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
781298 loops (577/sec), 5233438206 sampling steps, 775432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73577 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
784206 loops (581/sec), 5253022701 sampling steps, 778340 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73578 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
787114 loops (581/sec), 5272547780 sampling steps, 781248 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73580 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790020 loops (581/sec), 5292115789 sampling steps, 784154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73582 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
792926 loops (581/sec), 5311619449 sampling steps, 787060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73583 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
795783 loops (571/sec), 5330904417 sampling steps, 789917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
798675 loops (578/sec), 5350367749 sampling steps, 792809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
801576 loops (580/sec), 5369896672 sampling steps, 795710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
804460 loops (576/sec), 5389391062 sampling steps, 798594 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
807361 loops (580/sec), 5408939940 sampling steps, 801495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
810257 loops (579/sec), 5428412153 sampling steps, 804391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73584 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
813157 loops (580/sec), 5448012056 sampling steps, 807291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73585 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
816057 loops (580/sec), 5467540817 sampling steps, 810191 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
818962 loops (580/sec), 5487084563 sampling steps, 813096 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
821865 loops (580/sec), 5506615565 sampling steps, 815999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73588 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
824764 loops (579/sec), 5526205881 sampling steps, 818898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
827661 loops (579/sec), 5545736277 sampling steps, 821795 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
830564 loops (580/sec), 5565247228 sampling steps, 824698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
833437 loops (574/sec), 5584716433 sampling steps, 827571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
836341 loops (580/sec), 5604309972 sampling steps, 830475 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
839232 loops (578/sec), 5623841687 sampling steps, 833366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73594 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
842133 loops (580/sec), 5643424728 sampling steps, 836267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73595 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
845027 loops (578/sec), 5662950689 sampling steps, 839161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
847934 loops (581/sec), 5682493594 sampling steps, 842068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
850825 loops (578/sec), 5702015794 sampling steps, 844959 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
853724 loops (579/sec), 5721572454 sampling steps, 847858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
856622 loops (579/sec), 5741111387 sampling steps, 850756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73596 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859525 loops (580/sec), 5760634597 sampling steps, 853659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73597 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
862404 loops (575/sec), 5780052449 sampling steps, 856538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73599 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865285 loops (576/sec), 5799469847 sampling steps, 859419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73599 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
868007 loops (544/sec), 5817746812 sampling steps, 862141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73599 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
870199 loops (438/sec), 5832492293 sampling steps, 864333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
872268 loops (413/sec), 5846423954 sampling steps, 866402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
874482 loops (442/sec), 5861352736 sampling steps, 868616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
876724 loops (448/sec), 5876427182 sampling steps, 870858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
878788 loops (412/sec), 5890265061 sampling steps, 872922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
880989 loops (440/sec), 5905076364 sampling steps, 875123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
883158 loops (433/sec), 5919697063 sampling steps, 877292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
885612 loops (490/sec), 5936230145 sampling steps, 879746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73603 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
887702 loops (418/sec), 5950338817 sampling steps, 881836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
889981 loops (455/sec), 5965676779 sampling steps, 884115 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
892074 loops (418/sec), 5979734485 sampling steps, 886208 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
894166 loops (418/sec), 5993852895 sampling steps, 888300 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73607 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
896241 loops (415/sec), 6007835270 sampling steps, 890375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
898610 loops (473/sec), 6023837314 sampling steps, 892744 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
900877 loops (453/sec), 6039090262 sampling steps, 895011 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
903046 loops (433/sec), 6053698971 sampling steps, 897180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
905207 loops (432/sec), 6068264313 sampling steps, 899341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
907773 loops (512/sec), 6085508385 sampling steps, 901907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
909994 loops (444/sec), 6100483127 sampling steps, 904128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912424 loops (485/sec), 6116853760 sampling steps, 906558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
914477 loops (410/sec), 6130678976 sampling steps, 908611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
916632 loops (431/sec), 6145187753 sampling steps, 910766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
918867 loops (446/sec), 6160252178 sampling steps, 913001 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
920793 loops (385/sec), 6173229914 sampling steps, 914927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
922901 loops (421/sec), 6187411537 sampling steps, 917035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
925224 loops (464/sec), 6203029794 sampling steps, 919358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
927239 loops (402/sec), 6216619047 sampling steps, 921373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
929527 loops (457/sec), 6232052262 sampling steps, 923661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
931871 loops (468/sec), 6247861872 sampling steps, 926005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
934039 loops (433/sec), 6262454298 sampling steps, 928173 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
936421 loops (476/sec), 6278479268 sampling steps, 930555 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
938822 loops (480/sec), 6294677128 sampling steps, 932956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
940989 loops (433/sec), 6309319080 sampling steps, 935123 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
943380 loops (478/sec), 6325433721 sampling steps, 937514 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
945620 loops (448/sec), 6340552701 sampling steps, 939754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
947921 loops (460/sec), 6356087772 sampling steps, 942055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73619 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950055 loops (426/sec), 6370474866 sampling steps, 944189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
952125 loops (414/sec), 6384397809 sampling steps, 946259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73620 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
954278 loops (430/sec), 6398889230 sampling steps, 948412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956486 loops (441/sec), 6413753914 sampling steps, 950620 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
958571 loops (417/sec), 6427800469 sampling steps, 952705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
960975 loops (480/sec), 6444020426 sampling steps, 955109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
963304 loops (465/sec), 6459713126 sampling steps, 957438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
965574 loops (454/sec), 6474998303 sampling steps, 959708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
968015 loops (488/sec), 6491445610 sampling steps, 962149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
73622 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0078279972076 seconds since the total time limit of 1800.0 seconds was exceeded.