Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:49:34 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/fms/fms.prism --const n=9 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25707 loops (5139/sec), 3954601 sampling steps, 0 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
257071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43660 loops (3590/sec), 9950050 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
436601 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55570 loops (2382/sec), 16024063 sampling steps, 1 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
555701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64418 loops (1769/sec), 21993743 sampling steps, 3 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
644174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73521 loops (1820/sec), 29716107 sampling steps, 7 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
735186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81667 loops (1629/sec), 38393072 sampling steps, 9 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
816637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85533 loops (773/sec), 43085066 sampling steps, 13 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
855274 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91166 loops (1126/sec), 50815750 sampling steps, 24 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
911539 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96175 loops (1001/sec), 58443374 sampling steps, 31 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
961611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101512 loops (1067/sec), 67646684 sampling steps, 44 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1014947 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106250 loops (947/sec), 76774891 sampling steps, 57 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1062263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110234 loops (796/sec), 85051637 sampling steps, 71 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1102035 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113717 loops (696/sec), 92941801 sampling steps, 83 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1136822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117256 loops (707/sec), 101636759 sampling steps, 101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1172159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120948 loops (738/sec), 111250108 sampling steps, 117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1209000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124030 loops (616/sec), 119916626 sampling steps, 137 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1239740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126698 loops (533/sec), 127751257 sampling steps, 155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1266345 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129330 loops (526/sec), 135973154 sampling steps, 177 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1292602 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132254 loops (584/sec), 145547215 sampling steps, 205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1321733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134941 loops (537/sec), 154875266 sampling steps, 236 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1348483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137450 loops (501/sec), 163803166 sampling steps, 268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1373468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139713 loops (452/sec), 172323218 sampling steps, 296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1395981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141990 loops (455/sec), 181135783 sampling steps, 331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1418623 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144351 loops (472/sec), 190843378 sampling steps, 371 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1442093 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146448 loops (419/sec), 199733909 sampling steps, 423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1462892 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148449 loops (400/sec), 208405958 sampling steps, 462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1482771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150181 loops (346/sec), 216200490 sampling steps, 503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1499930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152251 loops (414/sec), 225685575 sampling steps, 569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1520376 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154195 loops (388/sec), 234939504 sampling steps, 623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1539612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155865 loops (334/sec), 243190506 sampling steps, 681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1556090 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157120 loops (250/sec), 249397760 sampling steps, 734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1568445 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158758 loops (327/sec), 257934924 sampling steps, 788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1584634 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160472 loops (342/sec), 267202464 sampling steps, 847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1601547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162015 loops (308/sec), 275648228 sampling steps, 929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1616679 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163482 loops (293/sec), 284026609 sampling steps, 1008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1631052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164981 loops (299/sec), 292390975 sampling steps, 1085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1645753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166631 loops (329/sec), 302109021 sampling steps, 1194 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1661866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168215 loops (316/sec), 311749406 sampling steps, 1285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1677383 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169743 loops (305/sec), 321115580 sampling steps, 1401 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1692250 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171260 loops (303/sec), 330676135 sampling steps, 1508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1707053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172732 loops (294/sec), 340215340 sampling steps, 1635 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1721335 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174156 loops (284/sec), 349683662 sampling steps, 1768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1735054 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175601 loops (288/sec), 359303320 sampling steps, 1901 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1748955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176859 loops (251/sec), 367751320 sampling steps, 2016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1761113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178063 loops (240/sec), 376006944 sampling steps, 2147 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1772637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179396 loops (266/sec), 385317090 sampling steps, 2270 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1785514 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180792 loops (279/sec), 395159849 sampling steps, 2434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1798795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182076 loops (256/sec), 404509308 sampling steps, 2577 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1811170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183378 loops (260/sec), 414015024 sampling steps, 2752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1823513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184633 loops (251/sec), 423400115 sampling steps, 2912 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1835482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185940 loops (261/sec), 433397357 sampling steps, 3082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1847877 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
187198 loops (251/sec), 442951435 sampling steps, 3273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1859677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188314 loops (222/sec), 451800551 sampling steps, 3461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1870179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189341 loops (205/sec), 460137782 sampling steps, 3617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1879866 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190439 loops (219/sec), 468828246 sampling steps, 3802 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1890058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191572 loops (226/sec), 478226632 sampling steps, 3999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1900569 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192663 loops (218/sec), 487438679 sampling steps, 4207 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1910606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193732 loops (213/sec), 496224336 sampling steps, 4412 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1920442 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194645 loops (182/sec), 504042030 sampling steps, 4580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1928891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195717 loops (214/sec), 513124878 sampling steps, 4793 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1938781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196858 loops (228/sec), 522877067 sampling steps, 5015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1949223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197781 loops (184/sec), 530988865 sampling steps, 5203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1957710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198705 loops (184/sec), 539175092 sampling steps, 5405 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1966129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199667 loops (192/sec), 547778776 sampling steps, 5613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1974921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200694 loops (205/sec), 556881061 sampling steps, 5844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1984204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201746 loops (210/sec), 566219081 sampling steps, 6106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
1993572 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202617 loops (174/sec), 574263981 sampling steps, 6319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2001455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203530 loops (182/sec), 582567433 sampling steps, 6536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2009653 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204502 loops (194/sec), 591603060 sampling steps, 6779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2018365 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205520 loops (203/sec), 601073919 sampling steps, 7048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2027404 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206435 loops (182/sec), 609647900 sampling steps, 7284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2035562 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207306 loops (174/sec), 617745824 sampling steps, 7500 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2043245 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208201 loops (179/sec), 626271623 sampling steps, 7741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2051105 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209164 loops (192/sec), 635667245 sampling steps, 8031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2059471 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210145 loops (196/sec), 645006975 sampling steps, 8309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2068026 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211019 loops (174/sec), 653694174 sampling steps, 8582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2075608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211911 loops (178/sec), 662623321 sampling steps, 8869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2083275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212865 loops (190/sec), 672058846 sampling steps, 9178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2091490 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213816 loops (190/sec), 681777936 sampling steps, 9461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2099759 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214717 loops (179/sec), 690792132 sampling steps, 9756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2107509 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215628 loops (182/sec), 700001031 sampling steps, 10048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2115378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216499 loops (174/sec), 709050616 sampling steps, 10355 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2122621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
217438 loops (187/sec), 718771215 sampling steps, 10697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2130446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218355 loops (183/sec), 728394014 sampling steps, 11041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2138129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
219247 loops (178/sec), 737767202 sampling steps, 11362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2145505 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220151 loops (180/sec), 747201002 sampling steps, 11708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2152957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220977 loops (164/sec), 756185866 sampling steps, 12021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2159889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221858 loops (176/sec), 765728386 sampling steps, 12360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2167120 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
222730 loops (174/sec), 775134326 sampling steps, 12677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2174341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223484 loops (150/sec), 783328736 sampling steps, 12996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2180447 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224262 loops (155/sec), 791685724 sampling steps, 13315 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2186746 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225071 loops (161/sec), 800484326 sampling steps, 13642 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2193377 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
225904 loops (166/sec), 809723674 sampling steps, 14019 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2199956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226736 loops (166/sec), 818860645 sampling steps, 14362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2206691 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227484 loops (149/sec), 827086285 sampling steps, 14661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2212721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228219 loops (146/sec), 835310228 sampling steps, 14967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2218606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229033 loops (162/sec), 844497843 sampling steps, 15339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2225032 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229846 loops (162/sec), 853738801 sampling steps, 15702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2231448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230614 loops (153/sec), 862434092 sampling steps, 16060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2237436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231384 loops (153/sec), 871309034 sampling steps, 16404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2243454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232193 loops (161/sec), 880529956 sampling steps, 16776 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2249825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233034 loops (168/sec), 890208850 sampling steps, 17142 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2256504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233861 loops (165/sec), 899483504 sampling steps, 17522 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2262848 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234641 loops (155/sec), 908537906 sampling steps, 17865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2269087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235440 loops (159/sec), 917829921 sampling steps, 18263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2275129 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236238 loops (159/sec), 927257026 sampling steps, 18666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2281150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237044 loops (161/sec), 936481819 sampling steps, 19092 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2286999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237825 loops (155/sec), 945628036 sampling steps, 19479 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2292836 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238575 loops (149/sec), 954429605 sampling steps, 19856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2298611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239318 loops (148/sec), 963304393 sampling steps, 20237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2304160 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240092 loops (154/sec), 972534748 sampling steps, 20658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2309809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240902 loops (162/sec), 982121466 sampling steps, 21056 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2315955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241658 loops (150/sec), 991095931 sampling steps, 21449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2321483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242409 loops (150/sec), 1000047626 sampling steps, 21844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2326964 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243122 loops (142/sec), 1008546024 sampling steps, 22192 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2332341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243923 loops (160/sec), 1018155793 sampling steps, 22626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2338191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
244698 loops (154/sec), 1027524021 sampling steps, 23067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2343811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245414 loops (142/sec), 1036401516 sampling steps, 23463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2349107 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246148 loops (146/sec), 1045405328 sampling steps, 23861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2354312 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
246892 loops (148/sec), 1054590667 sampling steps, 24284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2359554 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247621 loops (145/sec), 1063668945 sampling steps, 24677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2364823 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248422 loops (160/sec), 1073351341 sampling steps, 25129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2370548 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249158 loops (147/sec), 1082588341 sampling steps, 25538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2375842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
249922 loops (152/sec), 1091849790 sampling steps, 25981 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2381068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250647 loops (144/sec), 1101109593 sampling steps, 26407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2386196 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
251393 loops (149/sec), 1110617459 sampling steps, 26858 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2391348 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252102 loops (141/sec), 1119406484 sampling steps, 27273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2396280 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252710 loops (121/sec), 1127235291 sampling steps, 27622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2400551 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253327 loops (123/sec), 1135056721 sampling steps, 27998 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2404787 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254058 loops (146/sec), 1144395681 sampling steps, 28423 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2409925 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254776 loops (143/sec), 1153663701 sampling steps, 28860 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2414816 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255421 loops (128/sec), 1161969755 sampling steps, 29266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2419088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256056 loops (126/sec), 1170096155 sampling steps, 29659 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2423394 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256725 loops (133/sec), 1178488561 sampling steps, 30066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2427902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
257500 loops (155/sec), 1188401268 sampling steps, 30524 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2433355 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258179 loops (135/sec), 1197124664 sampling steps, 30928 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2437975 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258846 loops (133/sec), 1205568833 sampling steps, 31339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2442440 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
259488 loops (128/sec), 1213752048 sampling steps, 31759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2446657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260225 loops (147/sec), 1223135162 sampling steps, 32252 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2451373 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260973 loops (149/sec), 1232506055 sampling steps, 32718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2456381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261609 loops (127/sec), 1240669416 sampling steps, 33153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2460425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262222 loops (122/sec), 1248517385 sampling steps, 33557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2464311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262896 loops (134/sec), 1257233531 sampling steps, 33999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2468651 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263643 loops (149/sec), 1266868154 sampling steps, 34495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2473423 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264274 loops (125/sec), 1275135710 sampling steps, 34907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2477511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
264965 loops (138/sec), 1284187894 sampling steps, 35361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2481889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
265632 loops (133/sec), 1292954364 sampling steps, 35809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2486060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266333 loops (140/sec), 1302239789 sampling steps, 36263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2490669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267062 loops (145/sec), 1311868009 sampling steps, 36748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2495258 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
267735 loops (134/sec), 1320697826 sampling steps, 37187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2499448 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
268397 loops (132/sec), 1329519577 sampling steps, 37645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2503632 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269043 loops (129/sec), 1337973618 sampling steps, 38080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2507684 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269749 loops (141/sec), 1347170699 sampling steps, 38581 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2511965 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
270462 loops (142/sec), 1356587179 sampling steps, 39073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2516436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271122 loops (131/sec), 1365334067 sampling steps, 39530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2520559 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271800 loops (135/sec), 1374232538 sampling steps, 39988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2524726 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
272505 loops (140/sec), 1383575989 sampling steps, 40483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2528902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273223 loops (143/sec), 1393151421 sampling steps, 40976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2533303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
273880 loops (131/sec), 1402135837 sampling steps, 41457 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2537169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274541 loops (131/sec), 1411015254 sampling steps, 41916 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2541191 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275202 loops (132/sec), 1419873042 sampling steps, 42376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2545225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
275924 loops (144/sec), 1429405634 sampling steps, 42915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2549359 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
276596 loops (134/sec), 1438553440 sampling steps, 43405 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2553261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277252 loops (131/sec), 1447422352 sampling steps, 43879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2557167 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277910 loops (131/sec), 1456334766 sampling steps, 44346 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2561053 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
278579 loops (133/sec), 1465337850 sampling steps, 44836 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2564931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279289 loops (141/sec), 1474789377 sampling steps, 45333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2569112 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
279954 loops (132/sec), 1483922076 sampling steps, 45832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2572839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280604 loops (130/sec), 1492535896 sampling steps, 46314 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2576425 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281220 loops (123/sec), 1500888450 sampling steps, 46757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2579959 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
281894 loops (134/sec), 1509997231 sampling steps, 47266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2583647 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282572 loops (135/sec), 1519209396 sampling steps, 47794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2587272 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283208 loops (127/sec), 1527823007 sampling steps, 48253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2590872 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
283825 loops (123/sec), 1536037874 sampling steps, 48718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2594261 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
284466 loops (128/sec), 1544673705 sampling steps, 49200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2597829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285140 loops (134/sec), 1553904475 sampling steps, 49707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2601633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285810 loops (133/sec), 1562852062 sampling steps, 50225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2605146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
286445 loops (126/sec), 1571606583 sampling steps, 50702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2608678 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287029 loops (116/sec), 1579627148 sampling steps, 51155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2611774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
287691 loops (132/sec), 1588602421 sampling steps, 51649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2615438 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288370 loops (135/sec), 1597980197 sampling steps, 52167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2619069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288971 loops (120/sec), 1606205273 sampling steps, 52618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2622324 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
289578 loops (121/sec), 1614519301 sampling steps, 53070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2625727 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290227 loops (129/sec), 1623264826 sampling steps, 53556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2629291 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290906 loops (135/sec), 1632512237 sampling steps, 54077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2632915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
291570 loops (132/sec), 1641812671 sampling steps, 54596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2636521 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292165 loops (118/sec), 1650081676 sampling steps, 55053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2639832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
292761 loops (119/sec), 1658302124 sampling steps, 55529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2642808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293405 loops (128/sec), 1667285460 sampling steps, 56044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2646125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294098 loops (138/sec), 1676871396 sampling steps, 56579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2649763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
294740 loops (128/sec), 1685589309 sampling steps, 57065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2653354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295336 loops (119/sec), 1693892876 sampling steps, 57541 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2656469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
295907 loops (114/sec), 1701836139 sampling steps, 57992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2659469 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296617 loops (141/sec), 1711340791 sampling steps, 58557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2662956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297281 loops (131/sec), 1720638148 sampling steps, 59093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2666176 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
297901 loops (123/sec), 1729265192 sampling steps, 59589 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2669364 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
298507 loops (121/sec), 1737568662 sampling steps, 60061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2672563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299115 loops (121/sec), 1746080427 sampling steps, 60546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2675617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299794 loops (135/sec), 1755462925 sampling steps, 61080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2679127 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
300462 loops (133/sec), 1764664800 sampling steps, 61597 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2682542 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301086 loops (124/sec), 1773408445 sampling steps, 62113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2685665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301698 loops (122/sec), 1782015334 sampling steps, 62617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2688557 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
302347 loops (129/sec), 1791245659 sampling steps, 63134 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2691835 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303027 loops (135/sec), 1800613267 sampling steps, 63674 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2695246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
303666 loops (127/sec), 1809360211 sampling steps, 64187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2698432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304241 loops (114/sec), 1817463234 sampling steps, 64646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2701220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304874 loops (126/sec), 1826203396 sampling steps, 65164 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2704278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
305528 loops (130/sec), 1835397972 sampling steps, 65689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2707537 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306180 loops (130/sec), 1844578684 sampling steps, 66216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2710733 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
306829 loops (129/sec), 1853707235 sampling steps, 66736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2713856 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307483 loops (130/sec), 1862944296 sampling steps, 67260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2717071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308155 loops (134/sec), 1872348635 sampling steps, 67816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2720219 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
308854 loops (139/sec), 1882085908 sampling steps, 68403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2723462 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309502 loops (129/sec), 1891221285 sampling steps, 68934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2726520 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310204 loops (140/sec), 1900758524 sampling steps, 69508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2729795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
310869 loops (133/sec), 1910234343 sampling steps, 70072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2732832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
311524 loops (130/sec), 1919604004 sampling steps, 70616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2735974 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312196 loops (134/sec), 1929022104 sampling steps, 71181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2738993 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312831 loops (126/sec), 1938120576 sampling steps, 71710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2742065 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
313494 loops (132/sec), 1947439343 sampling steps, 72253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2745221 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314165 loops (134/sec), 1956898518 sampling steps, 72821 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2748283 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
314819 loops (130/sec), 1966012279 sampling steps, 73338 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2751453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315394 loops (114/sec), 1974038882 sampling steps, 73834 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2753931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315962 loops (113/sec), 1982001916 sampling steps, 74298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2756621 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
316645 loops (136/sec), 1991585859 sampling steps, 74859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2759765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317266 loops (124/sec), 2000380565 sampling steps, 75387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2762511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
317832 loops (113/sec), 2008449660 sampling steps, 75857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2765169 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318492 loops (131/sec), 2017761961 sampling steps, 76405 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2768277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319121 loops (125/sec), 2026763993 sampling steps, 76922 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2771187 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
319720 loops (119/sec), 2035208530 sampling steps, 77426 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2773908 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320376 loops (131/sec), 2044391769 sampling steps, 77977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2776822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321032 loops (131/sec), 2053887529 sampling steps, 78523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2779826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
321648 loops (122/sec), 2062693939 sampling steps, 79058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2782435 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322292 loops (128/sec), 2071876832 sampling steps, 79604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2785354 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
322958 loops (133/sec), 2081255556 sampling steps, 80165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2788238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323618 loops (131/sec), 2090665290 sampling steps, 80721 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2791135 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324266 loops (129/sec), 2099751133 sampling steps, 81254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2794118 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
324949 loops (136/sec), 2109374550 sampling steps, 81835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2797113 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
325607 loops (131/sec), 2118733844 sampling steps, 82387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2800014 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326200 loops (118/sec), 2127065408 sampling steps, 82890 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2802516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326793 loops (118/sec), 2135428921 sampling steps, 83394 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2805101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
327469 loops (135/sec), 2145000223 sampling steps, 83977 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2807837 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328096 loops (125/sec), 2154158628 sampling steps, 84513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2810573 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
328731 loops (126/sec), 2163247969 sampling steps, 85053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2813384 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329349 loops (123/sec), 2172193265 sampling steps, 85593 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2816012 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330035 loops (137/sec), 2181662770 sampling steps, 86179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2818871 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
330665 loops (125/sec), 2190814311 sampling steps, 86718 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2821541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331282 loops (123/sec), 2199570254 sampling steps, 87244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2824175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331922 loops (127/sec), 2208549528 sampling steps, 87798 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2826935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
332645 loops (144/sec), 2218941534 sampling steps, 88409 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2830057 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
333425 loops (155/sec), 2230074311 sampling steps, 89079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2833331 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334106 loops (136/sec), 2240124255 sampling steps, 89657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2836210 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334701 loops (118/sec), 2248651611 sampling steps, 90171 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2838655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335323 loops (124/sec), 2257491292 sampling steps, 90707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2841175 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
335968 loops (128/sec), 2266828102 sampling steps, 91274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2843668 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
336522 loops (110/sec), 2274732538 sampling steps, 91749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2845990 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337048 loops (105/sec), 2282448976 sampling steps, 92202 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2848285 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337681 loops (126/sec), 2291430876 sampling steps, 92752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2850984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338298 loops (123/sec), 2300297361 sampling steps, 93270 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2853589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
338830 loops (106/sec), 2307984152 sampling steps, 93740 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2855698 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
339405 loops (114/sec), 2316287988 sampling steps, 94238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2858043 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340065 loops (131/sec), 2325874829 sampling steps, 94814 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2860615 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340782 loops (143/sec), 2336342834 sampling steps, 95436 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2863574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
341526 loops (148/sec), 2346881790 sampling steps, 96086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2866487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342313 loops (157/sec), 2358110104 sampling steps, 96780 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2869547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343136 loops (164/sec), 2369755274 sampling steps, 97498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2872729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
343946 loops (161/sec), 2381491555 sampling steps, 98219 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2875840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
344764 loops (163/sec), 2393364145 sampling steps, 98940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2879019 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345577 loops (162/sec), 2405099363 sampling steps, 99652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2882297 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
346412 loops (166/sec), 2417037400 sampling steps, 100397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2885468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
347221 loops (161/sec), 2428694686 sampling steps, 101107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2888672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348042 loops (164/sec), 2440534143 sampling steps, 101844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2891835 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348839 loops (159/sec), 2452237331 sampling steps, 102569 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2894933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
349664 loops (164/sec), 2464079038 sampling steps, 103319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2897824 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
350475 loops (162/sec), 2475797308 sampling steps, 104041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2900774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351289 loops (162/sec), 2487622273 sampling steps, 104775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2903710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
352086 loops (159/sec), 2499178220 sampling steps, 105478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2906710 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
352896 loops (161/sec), 2510995114 sampling steps, 106205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2909655 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
353699 loops (160/sec), 2522729826 sampling steps, 106908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2912670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354514 loops (163/sec), 2534641314 sampling steps, 107627 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2915754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
355341 loops (165/sec), 2546301212 sampling steps, 108361 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2918771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356142 loops (160/sec), 2558070085 sampling steps, 109074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2921747 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356937 loops (158/sec), 2569648140 sampling steps, 109777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2924728 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
357725 loops (157/sec), 2581172743 sampling steps, 110493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2927510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
358523 loops (159/sec), 2592626366 sampling steps, 111204 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2930413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359323 loops (159/sec), 2604206556 sampling steps, 111923 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2933293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360107 loops (156/sec), 2615560650 sampling steps, 112626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2936265 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
360923 loops (163/sec), 2627287044 sampling steps, 113358 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2939179 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
361745 loops (164/sec), 2639099502 sampling steps, 114093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2942062 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362562 loops (163/sec), 2651087951 sampling steps, 114824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2945094 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
363389 loops (165/sec), 2662956386 sampling steps, 115587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2947887 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
364208 loops (163/sec), 2674868464 sampling steps, 116329 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2950766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365026 loops (163/sec), 2686606258 sampling steps, 117059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2953630 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365835 loops (161/sec), 2698441552 sampling steps, 117792 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2956485 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
366633 loops (159/sec), 2710101185 sampling steps, 118516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2959223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367448 loops (162/sec), 2721899478 sampling steps, 119257 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2962168 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
368246 loops (159/sec), 2733574549 sampling steps, 119976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2964972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369066 loops (163/sec), 2745396192 sampling steps, 120714 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2967972 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
369873 loops (161/sec), 2757122659 sampling steps, 121449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2970709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370701 loops (165/sec), 2769004504 sampling steps, 122215 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2973385 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
371487 loops (157/sec), 2780675236 sampling steps, 122927 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2976084 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
372286 loops (159/sec), 2792411204 sampling steps, 123658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2978886 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373112 loops (165/sec), 2804323935 sampling steps, 124416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2981636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373921 loops (161/sec), 2816095815 sampling steps, 125167 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2984435 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
374727 loops (161/sec), 2827921348 sampling steps, 125909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2987000 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
375536 loops (161/sec), 2839654091 sampling steps, 126648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2989642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376338 loops (160/sec), 2851469128 sampling steps, 127383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2992365 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377147 loops (161/sec), 2863267738 sampling steps, 128129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2995047 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
377966 loops (163/sec), 2875160930 sampling steps, 128879 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2997822 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378781 loops (162/sec), 2886932525 sampling steps, 129619 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3000579 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
379596 loops (162/sec), 2898833848 sampling steps, 130378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3003228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
380407 loops (162/sec), 2910592661 sampling steps, 131116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3005880 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381220 loops (162/sec), 2922494105 sampling steps, 131867 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3008706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382015 loops (158/sec), 2934249471 sampling steps, 132595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3011432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
382841 loops (165/sec), 2946121402 sampling steps, 133351 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3014060 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
383653 loops (162/sec), 2957887130 sampling steps, 134095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3016694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
384478 loops (165/sec), 2969735113 sampling steps, 134855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3019397 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
385271 loops (158/sec), 2981454289 sampling steps, 135585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3022011 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386084 loops (162/sec), 2993281907 sampling steps, 136325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3024608 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
386870 loops (157/sec), 3005007451 sampling steps, 137048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3027298 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387692 loops (164/sec), 3016935942 sampling steps, 137816 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3029842 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
388483 loops (158/sec), 3028760455 sampling steps, 138557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3032224 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389288 loops (160/sec), 3040679341 sampling steps, 139291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3034811 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390104 loops (163/sec), 3052486969 sampling steps, 140047 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3037341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
390899 loops (158/sec), 3064400678 sampling steps, 140790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3039741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
391711 loops (162/sec), 3076240687 sampling steps, 141533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3042406 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392524 loops (162/sec), 3088087261 sampling steps, 142282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3044941 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
393315 loops (158/sec), 3099970270 sampling steps, 143018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3047421 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394116 loops (160/sec), 3111745037 sampling steps, 143756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3049927 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
394931 loops (162/sec), 3123624146 sampling steps, 144504 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3052463 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395720 loops (157/sec), 3135343238 sampling steps, 145234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3054883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
396538 loops (163/sec), 3147262553 sampling steps, 145989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3057372 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
397337 loops (159/sec), 3159132361 sampling steps, 146732 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3059783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398138 loops (160/sec), 3171048690 sampling steps, 147484 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3062086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398955 loops (163/sec), 3182869028 sampling steps, 148238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3064466 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
399760 loops (160/sec), 3194820395 sampling steps, 148978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3066971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400550 loops (157/sec), 3206635287 sampling steps, 149716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3069292 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
401365 loops (162/sec), 3218583467 sampling steps, 150474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3071708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402183 loops (163/sec), 3230407116 sampling steps, 151226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3074300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
402988 loops (160/sec), 3242344525 sampling steps, 151974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3076627 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403782 loops (158/sec), 3254125280 sampling steps, 152723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3078990 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
404600 loops (163/sec), 3266024419 sampling steps, 153494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3081311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
405388 loops (157/sec), 3277741312 sampling steps, 154222 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3083699 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406212 loops (164/sec), 3289662766 sampling steps, 154975 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3086334 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407029 loops (163/sec), 3301494712 sampling steps, 155749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3088592 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
407821 loops (158/sec), 3313252965 sampling steps, 156495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3090835 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
408614 loops (158/sec), 3325117683 sampling steps, 157242 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3093088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409415 loops (160/sec), 3336917946 sampling steps, 157987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3095346 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
410212 loops (159/sec), 3348827704 sampling steps, 158741 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3097658 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411015 loops (160/sec), 3360643467 sampling steps, 159482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3099905 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
411836 loops (164/sec), 3372518560 sampling steps, 160262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3102099 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412629 loops (158/sec), 3384255819 sampling steps, 161006 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3104389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
413440 loops (162/sec), 3396084207 sampling steps, 161760 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3106701 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414222 loops (156/sec), 3407849057 sampling steps, 162503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3108771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415004 loops (156/sec), 3419654586 sampling steps, 163245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3110923 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
415818 loops (162/sec), 3431476190 sampling steps, 164004 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3113325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
416635 loops (163/sec), 3443381400 sampling steps, 164767 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3115575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417416 loops (156/sec), 3455149669 sampling steps, 165506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3117800 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
418220 loops (160/sec), 3467029214 sampling steps, 166258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3120052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0298342704773 seconds since the total time limit of 1800.0 seconds was exceeded.